seqsolve2short4288
primal-infeasible
The instance
as published- Variables
- 207,665
- Constraints
- 242,244
- Nonzeros
- 1,028,179
- 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
pairday[QTA0000000146YSVFJ,UXE0000000462CWZJN,Tu] ≤ 0
this instance, the other side
pairday[QTA0000000146YSVFJ,UXE0000000462CWZJN,Tu] ≥ 1 at depth 978
pairday[QTA0000000146YSVFJ,UXE0000000462CWZJN,Tu] ≤ 0
this instance, the other side
pairday[QTA0000000146YSVFJ,UXE0000000462CWZJN,Tu] ≥ 1 at depth 978
- Depth in the tree
- 978
- Bounds tightened vs. source
- 16,032
- Branch variable
- pairday[QTA0000000146YSVFJ,UXE0000000462CWZJN,Tu]
Tightened bounds
16,032 entriesh[JMT0000000243RLOYC,ADK0000000390ICFPT,Mo]<=0h[KNU0000000036SMPZD,ADK0000000390ICFPT,We]>=2h[PSZ0000000093XRUEI,ADK0000000390ICFPT,Mo]<=0h[ADK0000000078ICFPT,ADK0000000442ICFPT,Th]<=0h[TWD0000000149BVYIM,ADK0000000442ICFPT,We]<=9h[ADK0000000286ICFPT,ADK0000000520ICFPT,Mo]<=0h[ADK0000000286ICFPT,ADK0000000520ICFPT,Th]<=0h[GJQ0000000058OILVZ,ADK0000000624ICFPT,Tu]<=3h[TWD0000000227BVYIM,ADK0000000702ICFPT,Fr]>=2h[TWD0000000227BVYIM,ADK0000000702ICFPT,Fr]<=2h[EHO0000000056MGJTX,ADK0000000858ICFPT,Fr]<=4h[ORY0000000092WQTDH,BEL0000000365JDGQU,We]>=3
12 of 16,032 shown. The complete list is in the sidecar.