MIPLIB 2017 Infeas

neos-3025225-shelon

primal-infeasible

The instance

as published
Variables
69,846
Constraints
91,572
Nonzeros
9,357,951
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
C28831 ≤ 0
this instance, the other side
C28831 ≥ 1 at depth 59
Depth in the tree
59
Bounds tightened vs. source
3,490
Branch variable
C28831

Tightened bounds

3,490 entries
C0052>=1C1334<=0C1383<=0C1685>=1C2388<=0C3244<=0C3897<=0C4098<=0C4202<=0C4203<=0C4204<=0C4227<=0

12 of 3,490 shown. The complete list is in the sidecar.