Re: [MonetDB-users] The maximum used memory option