satellites3-25
primal-infeasible
The instance
as published- Variables
- 81,681
- Constraints
- 44,804
- Nonzeros
- 698,176
- 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
C13211 ≥ 1
this instance, the other side
C13211 ≤ 0 at depth 10
C13211 ≥ 1
this instance, the other side
C13211 ≤ 0 at depth 10
- Depth in the tree
- 10
- Bounds tightened vs. source
- 255
- Branch variable
- C13211
Tightened bounds
255 entriesC0030<=12932C0031<=52704C0032<=101597C0033<=141363C0034<=190133C0035<=229911C0036<=12965C0037<=52648C0038<=95695C0039<=184395C0040<=224059C0070>=12792
12 of 255 shown. The complete list is in the sidecar.