Re: [MonetDB-users] manually setting gdk_nr_threads to N?