Is it sufficient to set the CPUaffinityMask for hyperthreaded servers
(superserver), or, should one disable hyperthreading entirely, or does
this even apply?

Thanks,
Mitch