neos-5221106-oparau
primal-infeasible
The instance
as published- Variables
- 25,445
- Constraints
- 13,897
- Nonzeros
- 245,756
- 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
C12172 ≤ 0
this instance, the other side
C12172 ≥ 1 at depth 80
C12172 ≤ 0
this instance, the other side
C12172 ≥ 1 at depth 80
- Depth in the tree
- 80
- Bounds tightened vs. source
- 408
- Branch variable
- C12172
Tightened bounds
408 entriesC0001<=2000C0002<=2000C0003<=2000C0004<=2000C0005<=2000C0006<=2000C0007<=2000C0008<=2000C0009<=2000C0010<=2000C0011<=2000C0012<=2000
12 of 408 shown. The complete list is in the sidecar.