neos-4562542-watut
primal-infeasible
The instance
as published- Variables
- 134,705
- Constraints
- 73,746
- Nonzeros
- 2,015,543
- 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
C3496 ≤ 0
this instance, the other side
C3496 ≥ 1 at depth 7
C3496 ≤ 0
this instance, the other side
C3496 ≥ 1 at depth 7
- Depth in the tree
- 7
- Bounds tightened vs. source
- 8
- Branch variable
- C3496
Tightened bounds
8 entriesC0011<=48708C3496>=1C3501<=0C4164<=0C47266>=1C68982<=0C115401<=0C115410<=0
8 of 8 shown. The complete list is in the sidecar.