Re: [MonetDB-users] SQL server crash