01-27-2021, 05:16 PM
You're right - if I give it only 4GB, it stays below 3GB, and still runs fine. So it seems to be indeed related to the garbage collector. Also I gave it a bit more time, 10s per move, and it still runs with no problems.