Constraint relaxation heuristic implemented