MIPLIB 2017 Infeas

ns1631475

primal-infeasible

The instance

as published
Variables
22,696
Constraints
24,496
Nonzeros
116,733
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
C0177 ≤ 0
this instance, the other side
C0177 ≥ 1 at depth 285
Depth in the tree
285
Bounds tightened vs. source
667
Branch variable
C0177

Tightened bounds

667 entries
C0001>=1C0001<=14C0002>=1C0002<=14C0003>=1C0003<=14C0004>=1C0004<=14C0005>=1C0005<=14C0006>=1C0006<=14

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