ex10
primal-infeasible
The instance
as published- Variables
- 17,680
- Constraints
- 69,608
- Nonzeros
- 1,162,000
- 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
b25_040 ≤ 0
this instance, the other side
b25_040 ≥ 1 at depth 5
b25_040 ≤ 0
this instance, the other side
b25_040 ≥ 1 at depth 5
- Depth in the tree
- 5
- Bounds tightened vs. source
- 1,253
- Branch variable
- b25_040
Tightened bounds
1,253 entriesb0_110<=0b0_111<=0b0_113<=0b0_180<=0b0_182<=0b0_183<=0b0_810<=0b0_811<=0b0_812<=0b0_881<=0b0_882<=0b0_883<=0
12 of 1,253 shown. The complete list is in the sidecar.