seqsolve3short4288excess384
primal-infeasible
The instance
as published- Variables
- 207,665
- Constraints
- 242,245
- Nonzeros
- 1,028,677
- 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
z[NQX0000000221VPSCG,VYF0000000593DXAKO] ≤ 0
this instance, the other side
z[NQX0000000221VPSCG,VYF0000000593DXAKO] ≥ 1 at depth 178
z[NQX0000000221VPSCG,VYF0000000593DXAKO] ≤ 0
this instance, the other side
z[NQX0000000221VPSCG,VYF0000000593DXAKO] ≥ 1 at depth 178
- Depth in the tree
- 178
- Bounds tightened vs. source
- 15,230
- Branch variable
- z[NQX0000000221VPSCG,VYF0000000593DXAKO]
Tightened bounds
15,230 entriesh[LOV0000000323TNQAE,DGN0000000627LFISW,Tu]>=6h[JMT0000000139RLOYC,EHO0000000394MGJTX,Th]>=5h[CFM0000000028KEHRV,FIP0000000889NHKUY,Tu]>=1h[CFM0000000028KEHRV,FIP0000000889NHKUY,We]>=5h[ILS0000000268QKNXB,FIP0000000889NHKUY,Th]>=3h[QTA0000000250YSVFJ,GJQ0000000786OILVZ,We]>=2h[BEL0000000183JDGQU,HKR0000000735PJMWA,Th]>=3h[LOV0000000167TNQAE,ILS0000000424QKNXB,Tu]>=1h[UXE0000000046CWZJN,ILS0000000424QKNXB,Th]>=6h[HKR0000000137PJMWA,JMT0000000451RLOYC,Mo]>=3h[XAH0000000127FZCMQ,JMT0000000451RLOYC,Th]>=10h[LOV0000000193TNQAE,KNU0000000374SMPZD,We]>=1
12 of 15,230 shown. The complete list is in the sidecar.