The OS is some version of centOS, and the command line I run is: java tlc2.TLC -workers 80 -deadlock -config config.cfg spec.tla
Thanks.
On Wednesday, February 14, 2018 at 5:34:58 AM UTC-6, Markus Alexander Kuppe wrote:
On 13.02.2018 15:53, smo...@xxxxxxxx wrote:
> I have a several hundred line specification running on an 80 core HPC
> and after a day it is using 423GB of space. While I believe it is
> close to finished it is probably going to run out of space before it
> does. Is there a way to run TLC that uses less HDD space? I mean,
> there is 865GB of RAM in this machine. So I actually have more RAM
> available then HDD. It's currently only using 91 GB of RAM.
Hi,
what OS do you run TLC on? What parameters do you pass to TLC and its
Java VM if any?
Thanks
Markus