Launch the solver; set the utility, varying arguments and the constraints.