updates to ConcurrentSolver