neos-4321076-ruwer
primal-infeasible
The instance
as published- Variables
- 361,730
- Constraints
- 509,809
- Nonzeros
- 1,265,750
- 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
C361674 ≥ 1
this instance, the other side
C361674 ≤ 0 at depth 64
C361674 ≥ 1
this instance, the other side
C361674 ≤ 0 at depth 64
- Depth in the tree
- 64
- Bounds tightened vs. source
- 180,868
- Branch variable
- C361674
Tightened bounds
180,868 entriesC0001<=1C0002<=1C0003<=1C0004<=1C0005<=1C0006<=1C0007<=1C0008<=1C0009<=1C0010<=1C0011<=1C0012<=1
12 of 180,868 shown. The complete list is in the sidecar.