On Mon, Mar 28, 2016 at 05:37:49PM +0200, Santiago Vila wrote: > The first build was done on a virtual machine with 4GB RAM and 4GB swap. > The second build was done on a virtual machine with 8GB RAM and 4GB swap.
BTW: The first build tried to use up to 7200 MB of memory and the second build tried to build up to 13900 MB of memory. I know this because I had a cron job monitoring /proc/meminfo. So, assuming this is the same problem which happens in maxima, your theory that the reason for this is that garbage collection is not working properly seems to be consistent with observed data. Thanks.