Sostituita la classe solverManager con i due thread CutSolver e
BoundSolver