Favor procs.size() over num_cores()