Re: [Monetdb-developers] Memory use