MIPLIB 2017 Infeas

neos-5049753-cuanza

primal-infeasible

The instance

as published
Variables
242,736
Constraints
322,248
Nonzeros
1,440,672
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
C237556 ≥ 1
this instance, the other side
C237556 ≤ 0 at depth 194
Depth in the tree
194
Bounds tightened vs. source
234,626
Branch variable
C237556

Tightened bounds

234,626 entries
C0001<=20C0002<=20C0003<=20C0004<=20C0005<=20C0006<=20C0007<=20C0008<=20C0009<=20C0010<=20C0011<=20C0012<=20

12 of 234,626 shown. The complete list is in the sidecar.