neos-3209462-rhin
primal-infeasible
The instance
as published- Variables
- 56,453
- Constraints
- 170,226
- Nonzeros
- 447,473
- 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
C56443 ≤ 0
this instance, the other side
C56443 ≥ 1 at depth 39
C56443 ≤ 0
this instance, the other side
C56443 ≥ 1 at depth 39
- Depth in the tree
- 39
- Bounds tightened vs. source
- 53,568
- Branch variable
- C56443
Tightened bounds
53,568 entriesC0001<=1C0002<=1C0003<=1C0004<=1C0005<=1C0006<=1C0007<=1C0008<=1C0009<=1C0010<=1C0011<=1C0012<=1
12 of 53,568 shown. The complete list is in the sidecar.