On 04/21/15 12:34, Slawa Olhovchenkov wrote: > On Tue, Apr 14, 2015 at 10:05:00PM +0200, Baptiste Daroussin wrote: > >> Hi all, >> >> Final pkg 1.5.0 has been released. > Hi, Is there a way the external SAT solver functionality can be memory optimised? When trying to use this feature having +750 packages installed, the memory usage starts growing and growing beyond 4GBytes until PKG segfaults, even before the CNF export has started. env SAT_SOLVER=mysolver pkg upgrade --HPSReceived on Wed Jul 01 2015 - 09:35:22 UTC
This archive was generated by hypermail 2.4.0 : Wed May 19 2021 - 11:40:58 UTC