Number of processors used during compilation

Hi all, as people suspected, we measured the impact of HyperThreading on our parallel algorithms and found them to hurt, rather than help. This isn't surprising since our algorithms are usually memory-bound anyway, so trying to do more work while we're waiting for memory just results in *more* demand on the memory subsystems, making the problem worse.