Check Point Security Gateway freezes, crashes, or reboots randomly. Core dump files are not created.
Even though the Security Gateway was configured according to sk31511 and sk61962, when experiencing the problem, the machine did not respond to input from keyboard.