On Sun, 5 Aug 2018, Christos Zoulas wrote:
Also, are there other print messages on the console?
The dump is written automatically. Messages on the console are lost. Since it's a productive server, I can not change the behavior. The server must be available again as soon as possible after a crash.
christos