Stream: Beginner Questions

Topic: ✔ changing ml memory limit


view this post on Zulip Leander Behr (May 11 2022 at 20:15):

In the jedit environment, how would I go about increasing the memory limit for the ML process? Around 10GB memory usage the ML process starts doing many cleanup runs, slowing isabelle to a crawl so I assume the limit is somewhere around there and would like to lift it.

view this post on Zulip Lukas Stevens (May 12 2022 at 07:32):

You can add ML_OPTIONS="--minheap 1G --maxheap 16G" to the file $ISABELLE_HOME_USER/etc/settings (usually something like ~/.isabelle/Isabelle2021-1/etc/settings)

view this post on Zulip Lukas Stevens (May 12 2022 at 07:37):

If you use the 64_32 mode of Isabelle you might be limited to 16GiB if I recall correctly.

view this post on Zulip Notification Bot (May 12 2022 at 10:31):

Leander Behr has marked this topic as resolved.


Last updated: Aug 13 2022 at 05:18 UTC