MIPLIB 2017 Infeas

neos-5193246-nerang

primal-infeasible

The instance

as published
Variables
14,546
Constraints
42,256
Nonzeros
175,794
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
C5092 ≤ 0
this instance, the other side
C5092 ≥ 1 at depth 42
Depth in the tree
42
Bounds tightened vs. source
4,794
Branch variable
C5092

Tightened bounds

4,794 entries
C0001<=0.087584051999999996C0002<=0.087584051999999996C0003<=0.087584051999999996C0004<=0.087584051999999996C0005<=0.087584051999999996C0006<=0.087584051999999996C0007<=0.087584051999999996C0008<=0.087584051999999996C0009<=0.087584051999999996C0010<=0.087584051999999996C0011<=0.087584051999999996C0012<=0.087584051999999996

12 of 4,794 shown. The complete list is in the sidecar.