Email Gateway (Nov 15 2021 at 09:26): Email Gateway (Nov 15 2021 at 09:26):From: Peter Lammich <lammich@in.tum.de>
Is the OOM killer still be able to kill PolyML process for no reason?
or
this issue does not exist anymore with Isabelle 2021-1?
I had no issue with that (yet), but unless something has changed, this
is to be expected if you don't have enough memory or too many memory
intensive applications open at once (in Linux). For me (32GB memory),
it usually happens if I have two Isabelle instances with large projects
open simultaneously. But it happening every 5 minutes either means you
don't have enough memory, or something strange is going on.
Last updated: Jul 15 2022 at 23:21 UTC