gfd-schedulen180f7d50m30k18
primal-infeasible
The instance
as published- Variables
- 227,535
- Constraints
- 457,985
- Nonzeros
- 1,233,372
- 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_701254_ ≥ 1
this instance, the other side
X_INTRODUCED_701254_ ≤ 0 at depth 570
X_INTRODUCED_701254_ ≥ 1
this instance, the other side
X_INTRODUCED_701254_ ≤ 0 at depth 570
- Depth in the tree
- 570
- Bounds tightened vs. source
- 47,025
- Branch variable
- X_INTRODUCED_701254_
Tightened bounds
47,025 entriesX_INTRODUCED_18_<=34X_INTRODUCED_48_<=156X_INTRODUCED_51_<=107X_INTRODUCED_91_>=132X_INTRODUCED_104_<=151X_INTRODUCED_111_<=137X_INTRODUCED_114_<=24X_INTRODUCED_136_<=83X_INTRODUCED_148_>=21X_INTRODUCED_156_>=49X_INTRODUCED_156_<=49X_INTRODUCED_172_>=51
12 of 47,025 shown. The complete list is in the sidecar.