Removed one call to solver in cases where subproblem is clearly infeasible due to max.control*#treated < #control