To be more precise, After solveRelaxed is called on a subproblem, there's an if condition if (solveResult.m_isCutoff) mostNegRCvec[b] = min(mostNegRCvec[b],0.0);