On Fri, 27 Jun 2014, Peter Lammich wrote:
>> If problems happen again with 4-8 GB JVM heap, you should describe what
>> really happens, with clear experimental setup.
>> Giving a clear experimental setup is a real problem for errors that
> appear nondeterministically.
The first thing is to describe the starting conditions:
* Precise CPU model + memory size
* Operating system
* ML options (heap size, threads)
* JVM options (heap size)
The second thing to point the the examples that were used, and give some
hints about the concrete situation.
Makarius