MIPLIB 2017 Infeas

neos-4805882-barwon

primal-infeasible

The instance

as published
Variables
22,229
Constraints
49,386
Nonzeros
117,001
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
C22227 ≥ 2
this instance, the other side
C22227 ≤ 1 at depth 85
Depth in the tree
85
Bounds tightened vs. source
5,175
Branch variable
C22227

Tightened bounds

5,175 entries
C0005<=1C0006<=1C0007<=1C0008<=1C0009<=1C0010<=1C0011<=1C0012<=1C0013<=1C0014<=1C0015<=1C0016<=1

12 of 5,175 shown. The complete list is in the sidecar.