seqsolve1
primal-infeasible
The instance
as published- Variables
- 207,665
- Constraints
- 242,243
- Nonzeros
- 1,027,681
- 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[BEL0000000339JDGQU,NQX0000000637VPSCG] ≤ 0
this instance, the other side
z[BEL0000000339JDGQU,NQX0000000637VPSCG] ≥ 1 at depth 2,399
z[BEL0000000339JDGQU,NQX0000000637VPSCG] ≤ 0
this instance, the other side
z[BEL0000000339JDGQU,NQX0000000637VPSCG] ≥ 1 at depth 2,399
- Depth in the tree
- 2,399
- Bounds tightened vs. source
- 17,452
- Branch variable
- z[BEL0000000339JDGQU,NQX0000000637VPSCG]
Tightened bounds
17,452 entriesh[MPW0000000272UORBF,ADK0000000364ICFPT,Mo]<=15h[ADK0000000078ICFPT,ADK0000000442ICFPT,We]<=0h[MPW0000000168UORBF,ADK0000000442ICFPT,Tu]<=12h[YBI0000000336GADNR,ADK0000000442ICFPT,We]<=0h[KNU0000000244SMPZD,ADK0000000650ICFPT,Mo]<=0h[VYF0000000021DXAKO,ADK0000000650ICFPT,Mo]<=0h[VYF0000000099DXAKO,ADK0000000650ICFPT,Mo]<=0h[ADK0000000130ICFPT,ADK0000000858ICFPT,Tu]<=5h[QTA0000000172YSVFJ,ADK0000000858ICFPT,Fr]<=3h[PSZ0000000093XRUEI,BEL0000000365JDGQU,Tu]<=4h[CFM0000000210KEHRV,BEL0000000417JDGQU,Mo]<=2h[ILS0000000164QKNXB,BEL0000000781JDGQU,Tu]<=0
12 of 17,452 shown. The complete list is in the sidecar.