Integrality Property
The sub-problem satisfies the Integrality Property
if it has an integer optimal solution for any choice of linear objective function,
even if the integrality restrictions on the variables are relaxed.
i.e., the solution process partially explores the integrality gap.