Re: [MonetDB-users] monetdb do not release the memory