Changed ADMMReasoner to re-use thread pools.