Solver parallelization