Re: [MonetDB-users] how to set the vm_maxsize and mem_maxsize