MIPLIB 2017 Infeas

ex9

primal-infeasible

The instance

as published
Variables
10,404
Constraints
40,962
Nonzeros
517,112
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
b57_001 ≤ 0
this instance, the other side
b57_001 ≥ 1 at depth 7
Depth in the tree
7
Bounds tightened vs. source
1,383
Branch variable
b57_001

Tightened bounds

1,383 entries
b1_012<=0b1_062<=0b1_181<=0b1_203<=0b1_681<=0b1_703<=0b1_820<=0b1_870<=0b2_110<=0b2_111<=0b2_120<=0b2_130<=0

12 of 1,383 shown. The complete list is in the sidecar.