MIPLIB 2017 Infeas

neos-950242

primal-infeasible

The instance

as published
Variables
5,760
Constraints
34,224
Nonzeros
104,160
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
C0138 ≤ 0
this instance, the other side
C0138 ≥ 1 at depth 150
Depth in the tree
150
Bounds tightened vs. source
148
Branch variable
C0138

Tightened bounds

148 entries
C0025>=1C0027<=0C0034<=0C0036<=0C0051<=0C0053>=1C0055<=0C0063<=0C0111>=1C0127<=0C0138>=1C0251<=0

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