[MonetDB-users] MonetDB5 Server crashes and shuts-down