tuned message;

more robust test: virtualization may provide misleading information;

implicit use of NUMA policy, absorbing potential errors;

tuned signature;

tuned;

prefer explicit progress channel;

trim more thoroughly, e.g. trailing \0 seen on some system;

isabelle build -N;

support for Non-Uniform Memory Access of separate CPU nodes;