MIPLIB 2017 Infeas

ns1828997

primal-infeasible

The instance

as published
Variables
27,275
Constraints
81,725
Nonzeros
190,670
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
C20609 ≤ 0
this instance, the other side
C20609 ≥ 1 at depth 154
Depth in the tree
154
Bounds tightened vs. source
154
Branch variable
C20609

Tightened bounds

154 entries
C0004<=0C0005<=0C0007<=0C0008<=0C0009<=0C0010<=0C0011<=0C0012<=0C0014<=0C0015<=0C0016<=0C0017<=0

12 of 154 shown. The complete list is in the sidecar.