RE: MonetDB crashing due to out of memory - monetdbd[2247] 1.7 (Aug2018-SP2)