neos-1122047
primal-infeasible
The instance
as published- Variables
- 5,100
- Constraints
- 57,791
- Nonzeros
- 163,640
- 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
C5069 ≤ 0
this instance, the other side
C5069 ≥ 1 at depth 30
C5069 ≤ 0
this instance, the other side
C5069 ≥ 1 at depth 30
- Depth in the tree
- 30
- Bounds tightened vs. source
- 30
- Branch variable
- C5069
Tightened bounds
30 entriesC5020>=1C5028>=1C5064<=0C5069>=1C5071<=0C5072>=1C5073<=0C5074<=0C5075<=0C5076<=0C5077>=1C5078>=1
12 of 30 shown. The complete list is in the sidecar.