MIPLIB 2017 Infeas

neos8

primal-infeasible

The instance

as published
Variables
23,228
Constraints
46,324
Nonzeros
313,180
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
C0356 ≤ 0
this instance, the other side
C0356 ≥ 1 at depth 78
Depth in the tree
78
Bounds tightened vs. source
197
Branch variable
C0356

Tightened bounds

197 entries
C0003<=0C0029>=1C0032<=0C0033>=1C0034>=1C0035<=0C0036>=1C0039>=1C0041<=0C0046<=0C0051<=0C0056<=0

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