neos-3372571-onahau
primal-infeasible
The instance
as published- Variables
- 13,086
- Constraints
- 29,487
- Nonzeros
- 116,511
- 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
l#4#7 ≥ 1
this instance, the other side
l#4#7 ≤ 0 at depth 85
l#4#7 ≥ 1
this instance, the other side
l#4#7 ≤ 0 at depth 85
- Depth in the tree
- 85
- Bounds tightened vs. source
- 13,004
- Branch variable
- l#4#7
Tightened bounds
13,004 entriesb#0>=1b#3<=0b#4>=1b#5<=0b#7>=1b#9>=1b#10<=0b#11<=0b#12<=0b#13<=0b#14<=0b#16<=0
12 of 13,004 shown. The complete list is in the sidecar.