Changed ADMMReasoner to use # processors by default.