On 31/08/2012, at 1:25 PM, Christian Sternagel <[email protected]> wrote:
> Well, it almost worked now ;). > > even without -b all my memory was wasted and just as swapping started in > earnest I got an error message, i.e., I have to adapt JinjaThreads to some > previous changes. > > Still, I am nowhere close to the 3-4 GB RAM usage that seem to be possible. > Maybe the reason is that I'm on x86_64? Yes, that'll be it. Memory usage on x86_64 is almost twice that of the 32bit version (which makes sense if you think about it). Cheers, Gerwin _______________________________________________ isabelle-dev mailing list [email protected] https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
