use getNumProcessors and setNumCapabilities for parallel branch-and-bound