supportcase23
primal-infeasible
The instance
as published- Variables
- 24,275
- Constraints
- 40,502
- Nonzeros
- 161,525
- 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
B7032(7) ≥ 1
this instance, the other side
B7032(7) ≤ 0 at depth 293
B7032(7) ≥ 1
this instance, the other side
B7032(7) ≤ 0 at depth 293
- Depth in the tree
- 293
- Bounds tightened vs. source
- 18,293
- Branch variable
- B7032(7)
Tightened bounds
18,293 entriesC1(5)<=490.34836749999999C2(7)<=490.34836749999999C3(7)<=490.34836749999999C4(7)<=490.34836749999999C5(7)<=490.34836749999999C6(7)<=490.34836749999999C7(7)<=490.34836749999999C8(7)<=490.34836749999999C9(7)<=490.34836749999999C10(7)<=490.34836749999999C11(7)<=490.34836749999999C12(7)<=490.34836749999999
12 of 18,293 shown. The complete list is in the sidecar.