thor50dday
primal-infeasible
The instance
as published- Variables
- 106,261
- Constraints
- 53,360
- Nonzeros
- 212,060
- 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
EdgeVar214_172 ≥ 1
this instance, the other side
EdgeVar214_172 ≤ 0 at depth 1,594
EdgeVar214_172 ≥ 1
this instance, the other side
EdgeVar214_172 ≤ 0 at depth 1,594
- Depth in the tree
- 1,594
- Bounds tightened vs. source
- 54,724
- Branch variable
- EdgeVar214_172
Tightened bounds
54,724 entriesEdgeVar0_1<=0EdgeVar0_2<=0EdgeVar0_3<=0EdgeVar0_4<=0EdgeVar0_5<=0EdgeVar0_6<=0EdgeVar0_7<=0EdgeVar0_8<=0EdgeVar0_9<=0EdgeVar0_10<=0EdgeVar0_11<=0EdgeVar0_12<=0
12 of 54,724 shown. The complete list is in the sidecar.