owner 1101610 ! thanks Hello. I'm going to fix this by increasing MEM_PER_CPU in debian/rules.
I think 12000 would work, but please allow me some time to perform some tests to calculate a good value [ The variable above was introduced precisely to support cases like the reported one, and the parameter just needs to be fine-tuned ] Thanks.
