[isabelle-dev] Fwd: [Isabelle-ci] Build failure in Isabelle (benchmark)
hupel at in.tum.de
Thu Mar 28 22:28:13 CET 2019
>> "Unable to increase stack" is one of the various messages that tells
>> you that PolyML has run out of resources. It doesn't really tell you
>> what the problem is though. It might be an actual problem or a
>> temporary problem caused by a machine being overloaded.
> This is likely connected to the recent change of platform. I will
> investigate this; maybe bumping the memory limit will resolve it.
Even after the switch to x86_64_32, this session keeps failing. Here are
ML_OPTIONS="-H 4000 --maxheap 8G"
jobs = 1, threads = 6, numa = false
Surely 8 GB of memory should be enough. The error message is still
Warning - Unable to increase stack - interrupting thread
More information about the isabelle-dev