shipsched
primal-infeasible
The instance
as published- Variables
- 13,594
- Constraints
- 45,554
- Nonzeros
- 121,571
- 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_s0_s64_e22 ≥ 1
this instance, the other side
z_s0_s64_e22 ≤ 0 at depth 38
z_s0_s64_e22 ≥ 1
this instance, the other side
z_s0_s64_e22 ≤ 0 at depth 38
- Depth in the tree
- 38
- Bounds tightened vs. source
- 6,350
- Branch variable
- z_s0_s64_e22
Tightened bounds
6,350 entriesz_s0_s2_e2>=1z_s0_s2_e6>=1z_s0_s2_e10>=1z_s0_s2_e14>=1z_s0_s2_e18>=1z_s0_s2_e22>=1z_s0_s4_e26<=0z_s0_s4_e34<=0z_s0_s4_e38<=0z_s0_s4_e42<=0z_s0_s6_e6<=0z_s0_s6_e10<=0
12 of 6,350 shown. The complete list is in the sidecar.