MIPLIB 2017 Infeas

piperout-d27

primal-infeasible

The instance

as published
Variables
13,104
Constraints
17,470
Nonzeros
224,457
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
X_INTRODUCED_33100_ ≤ 0
this instance, the other side
X_INTRODUCED_33100_ ≥ 1 at depth 18
Depth in the tree
18
Bounds tightened vs. source
511
Branch variable
X_INTRODUCED_33100_

Tightened bounds

511 entries
X_INTRODUCED_3_<=324X_INTRODUCED_69_<=0X_INTRODUCED_72_<=0X_INTRODUCED_8608_<=0X_INTRODUCED_8609_<=0X_INTRODUCED_8847_<=0X_INTRODUCED_17472_<=0X_INTRODUCED_26258_>=1X_INTRODUCED_26405_<=0X_INTRODUCED_26624_<=0X_INTRODUCED_26738_<=0X_INTRODUCED_27511_>=-4

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