MIPLIB 2017 Infeas

ns1952667

primal-infeasible

The instance

as published
Variables
13,264
Constraints
41
Nonzeros
335,643
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
X9112 ≤ 0
this instance, the other side
X9112 ≥ 1 at depth 100
Depth in the tree
100
Bounds tightened vs. source
101
Branch variable
X9112

Tightened bounds

101 entries
X1>=1X1<=1X9>=1X15>=1X15<=1X21<=2X29>=8X53>=1X125>=1X366>=1X1109>=1X1747<=0

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