Re: [MonetDB-users] maximum memory usage