This time, the server socket timed out.
The same here 
Yeah, sorry about that. Server is working again.
The server is running under a special configuration that will help us discover more when it crashes. The disadvantage is that when it crashes, it will not restart automatically (it has to be restarted manually). And today being Christmas, we don’t check it continuously.