When executing sequential simulations, old probcli's are left in running and new ones are started. These consume memory, currently for each simulation I have to close Rodin and re-open it. Rodin should reuse them or kill them and create new ones.
There is also an overhead taken by the java process that is not understood. It is not clear if this is purely down the GC or whether memory related to previous simulations is not released. For example, when running a simulation, after it finishes java consumes 4.5GB, after running the simulation again java consumes 6.15GB.
When executing sequential simulations, old probcli's are left in running and new ones are started. These consume memory, currently for each simulation I have to close Rodin and re-open it. Rodin should reuse them or kill them and create new ones.
There is also an overhead taken by the java process that is not understood. It is not clear if this is purely down the GC or whether memory related to previous simulations is not released. For example, when running a simulation, after it finishes java consumes 4.5GB, after running the simulation again java consumes 6.15GB.