MIPLIB 2017 Infeas

bab6

primal-infeasible

The instance

as published
Variables
114,240
Constraints
29,904
Nonzeros
1,283,181
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
x3622 ≤ 0
this instance, the other side
x3622 ≥ 1 at depth 148
Depth in the tree
148
Bounds tightened vs. source
148
Branch variable
x3622

Tightened bounds

148 entries
x1<=0x73>=1x74>=1x129>=1x169<=0x194<=0x250<=0x289<=0x290<=0x337<=0x345>=1x353>=1

12 of 148 shown. The complete list is in the sidecar.