Assigning solvers to tasks