piperout-d20
primal-infeasible
The instance
as published- Variables
- 11,961
- Constraints
- 15,562
- Nonzeros
- 190,915
- Format
- MPS, gzipped
Where it comes from
provenanceA 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_30341_ ≥ 1
this instance, the other side
X_INTRODUCED_30341_ ≤ 0 at depth 46
X_INTRODUCED_30341_ ≥ 1
this instance, the other side
X_INTRODUCED_30341_ ≤ 0 at depth 46
- Depth in the tree
- 46
- Bounds tightened vs. source
- 635
- Branch variable
- X_INTRODUCED_30341_
Tightened bounds
635 entriesX_INTRODUCED_5_>=14X_INTRODUCED_6_>=287X_INTRODUCED_8_>=7X_INTRODUCED_12_<=265X_INTRODUCED_41_<=12X_INTRODUCED_95_>=1X_INTRODUCED_97_>=1X_INTRODUCED_7480_>=10X_INTRODUCED_7811_<=0X_INTRODUCED_7812_<=0X_INTRODUCED_8435_>=1X_INTRODUCED_8555_>=1
12 of 635 shown. The complete list is in the sidecar.