Minimum Dominating Set Parallel Multi-Solver using OR-Tools