tuned tracing; provide spare worker threads to saturate hardware while other workers wait during join;
tuned tracing;
provide spare worker threads to saturate hardware while other workers wait during join;

MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle,MerelyAPseudonym/isabelle