Expected Gains from Parallelizing Constraint Solving for Hard Problems