MIPLIB 2017 Infeas

neos-948346

primal-infeasible

The instance

as published
Variables
57,855
Constraints
1,570
Nonzeros
540,443
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
C50638 ≤ 0
this instance, the other side
C50638 ≥ 1 at depth 25,257
Depth in the tree
25,257
Bounds tightened vs. source
25,257
Branch variable
C50638

Tightened bounds

25,257 entries
C0003<=0C0004<=0C0019<=0C0026<=0C0028<=0C0039<=0C0042<=0C0044<=0C0046<=0C0047<=0C0110<=0C0111<=0

12 of 25,257 shown. The complete list is in the sidecar.

Also published in the dual-infeasible set view →