MIPLIB 2017 Infeas

neos-4322846-ryton

primal-infeasible

The instance

as published
Variables
108,700
Constraints
104,972
Nonzeros
452,044
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
C4657 ≤ 0
this instance, the other side
C4657 ≥ 1 at depth 93
Depth in the tree
93
Bounds tightened vs. source
93
Branch variable
C4657

Tightened bounds

93 entries
C1083<=0C1142>=1C1161>=1C1229<=0C1245>=1C1348>=1C2908>=1C2942>=1C2958<=0C3003>=1C3081>=1C3091<=0

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

Also published in the dual-infeasible set view →