Use 7 (hyperthreading) workers.