s100
primal-infeasible
The instance
as published- Variables
- 364,417
- Constraints
- 14,733
- Nonzeros
- 1,777,917
- 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
Atr_187_239tr_118_244_li2 ≤ 0
this instance, the other side
Atr_187_239tr_118_244_li2 ≥ 1 at depth 176
Atr_187_239tr_118_244_li2 ≤ 0
this instance, the other side
Atr_187_239tr_118_244_li2 ≥ 1 at depth 176
- Depth in the tree
- 176
- Bounds tightened vs. source
- 20,538
- Branch variable
- Atr_187_239tr_118_244_li2
Tightened bounds
20,538 entriesAtp_0tr_138_li2>=1Atp_0tr_237_li2<=0Atp_0tr_240_li2<=0Atp_0tr_243_li2<=0Atp_164tr_144_li2<=0Atp_164tr_208_li2<=0Atp_164tr_215_li2<=0Atp_164tr_223_li2<=0Atp_184tr_238_li2<=0Atp_184tr_241_li2<=0Atp_184tr_244_li2<=0Atp_232tr_239_li2<=0
12 of 20,538 shown. The complete list is in the sidecar.