neos-4647027-thurso
primal-infeasible
The instance
as published- Variables
- 9,800
- Constraints
- 8,382
- Nonzeros
- 3,944,988
- 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
C6966 ≥ 1
this instance, the other side
C6966 ≤ 0 at depth 3,366
C6966 ≥ 1
this instance, the other side
C6966 ≤ 0 at depth 3,366
- Depth in the tree
- 3,366
- Bounds tightened vs. source
- 4,766
- Branch variable
- C6966
Tightened bounds
4,766 entriesC4201<=233.35290000000001C4202<=233.35290000000001C4203<=233.35290000000001C4204<=233.35290000000001C4205<=233.35290000000001C4206<=233.35290000000001C4207<=233.35290000000001C4208<=233.35290000000001C4209<=233.35290000000001C4210<=233.35290000000001C4211<=233.35290000000001C4212<=233.35290000000001
12 of 4,766 shown. The complete list is in the sidecar.