[claix18-slurm-pilot] Re: disabled hyperthreading?