Branching solution accepted although it violates presently added lazy constraints

[miles.lubin]

By how much does the solution violate the constraint that you added? Gurobi could ignore the lazy constraint if it’s satisfied within Gurobi’s tolerances.