Massimiliano Culpo f50377de7f environment: solve one spec per child process (#40876) ... Looking at the memory profiles of concurrent solves for environment with unify:false, it seems memory is only ramping up. This exchange in the potassco mailing list: https://sourceforge.net/p/potassco/mailman/potassco-users/thread/b55b5b8c2e8945409abb3fa3c935c27e%40lohn.at/#msg36517698 Seems to suggest that clingo doesn't release memory until end of the application. Since when unify:false we distribute work to processes, here we give a maxtaskperchild=1, so we clean memory after each solve.		2023-11-03 23:10:42 +00:00
..
spack	environment: solve one spec per child process (#40876)	2023-11-03 23:10:42 +00:00