Did some sub work for a “three star” partner that does not have any Check Point certified engineers on staff (ahem).
Anyways, nothing like making 40+ changes in SmartConsole and seeing this:

After a few more crashes I then got this one:

Was running the latest SmartConsole for R80.10. A reboot of the management server seemed to bring things back. Good times.
Fun With R80.10