> The canonical build parameters for this machine appear to be: > > isabelle build -j8 -o threads=6
I find this combination (8*6 = 48 threads) to be surprising, given that that machine has only access to 22 physical (non-HT) cores. Judging from your list below, this is the minimum number of threads you tried out (for distribution only). Or am I reading the numbers wrong? _______________________________________________ isabelle-dev mailing list isabelle-...@in.tum.de https://mailmanbroy.informatik.tu-muenchen.de/mailman/listinfo/isabelle-dev
