satellites2-60-fs
primal-infeasible
The instance
as published- Variables
- 35,378
- Constraints
- 16,516
- Nonzeros
- 125,048
- 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
C2799 ≤ 0
this instance, the other side
C2799 ≥ 1 at depth 80
C2799 ≤ 0
this instance, the other side
C2799 ≥ 1 at depth 80
- Depth in the tree
- 80
- Bounds tightened vs. source
- 300
- Branch variable
- C2799
Tightened bounds
300 entriesC0021<=12932C0022<=52704C0023<=101597C0024<=141363C0025<=190133C0026<=229911C0027<=12965C0028<=52648C0029<=95695C0030<=184395C0031<=224059C0052>=12792
12 of 300 shown. The complete list is in the sidecar.