MIPLIB 2017 Infeas

neos-4359986-taipa

primal-infeasible

The instance

as published
Variables
25,130
Constraints
48,864
Nonzeros
126,561
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
C10366 ≤ 0
this instance, the other side
C10366 ≥ 1 at depth 42
Depth in the tree
42
Bounds tightened vs. source
42
Branch variable
C10366

Tightened bounds

42 entries
C0036>=1C0159>=1C0320<=0C0321<=0C0322<=0C0323<=0C0433>=1C0548<=0C0562<=0C0604<=0C0606<=0C0607<=0

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