Re: RAM consumption of MonetDB