MIPLIB 2017 Infeas

neos-4408804-prosna

primal-infeasible

The instance

as published
Variables
66,612
Constraints
67,161
Nonzeros
266,448
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
C64002 ≤ 0
this instance, the other side
C64002 ≥ 1 at depth 1,164
Depth in the tree
1,164
Bounds tightened vs. source
52,950
Branch variable
C64002

Tightened bounds

52,950 entries
C0001<=182C0002<=182C0003<=182C0004<=182C0005<=182C0006<=182C0007<=182C0008<=182C0009<=182C0010<=182C0011<=182C0012<=182

12 of 52,950 shown. The complete list is in the sidecar.