satellites4-25
primal-infeasible
The instance
as published- Variables
- 95,637
- Constraints
- 51,712
- Nonzeros
- 821,192
- 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
C8680 ≥ 1
this instance, the other side
C8680 ≤ 0 at depth 17
C8680 ≥ 1
this instance, the other side
C8680 ≤ 0 at depth 17
- Depth in the tree
- 17
- Bounds tightened vs. source
- 262
- Branch variable
- C8680
Tightened bounds
262 entriesC0032<=12932C0033<=52704C0034<=101597C0035<=141363C0036<=190133C0037<=229911C0038<=12965C0039<=52648C0040<=95695C0041<=184395C0042<=224059C0074>=12792
12 of 262 shown. The complete list is in the sidecar.