ns1856153
primal-infeasible
The instance
as published- Variables
- 11,998
- Constraints
- 35,407
- Nonzeros
- 105,882
- 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
C1111 ≥ 1
this instance, the other side
C1111 ≤ 0 at depth 534
C1111 ≥ 1
this instance, the other side
C1111 ≤ 0 at depth 534
- Depth in the tree
- 534
- Bounds tightened vs. source
- 800
- Branch variable
- C1111
Tightened bounds
800 entriesC0043>=1C0057<=0C0058>=1C0073>=1C0088>=1C0103>=1C0118>=1C0133>=1C0148>=1C0163>=1C0178>=1C0193>=1
12 of 800 shown. The complete list is in the sidecar.