MIPLIB 2017 Infeas

supportcase37

primal-infeasible

The instance

as published
Variables
20,047
Constraints
59,023
Nonzeros
135,627
Format
MPS, gzipped

Where it comes from

provenance

A branch-and-bound run reached this node's parent and split on a variable. This instance is the side the search did not explore, and it has no feasible point.

branch taken by the search
IO("GNB")#134 ≥ 1
this instance, the other side
IO("GNB")#134 ≤ 0 at depth 20
Depth in the tree
20
Bounds tightened vs. source
5,507
Branch variable
IO("GNB")#134

Tightened bounds

5,507 entries
IO("AEF")#38>=1IO("AER")#39>=1IO("AFA")#40>=1IO("AJT")#47>=1IO("AKN")#49>=1IO("AXG")#62>=1IO("AY9")#67<=0IO("C25")#76>=1IO("C32")#77<=0IO("C99")#82>=1IO("CE4")#84<=0IO("CJ2")#85>=1

12 of 5,507 shown. The complete list is in the sidecar.