rmine15
primal-infeasible
The instance
as published- Variables
- 42,438
- Constraints
- 358,395
- Nonzeros
- 879,732
- 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
x_B2505_t2 ≤ 0
this instance, the other side
x_B2505_t2 ≥ 1 at depth 1,170
x_B2505_t2 ≤ 0
this instance, the other side
x_B2505_t2 ≥ 1 at depth 1,170
- Depth in the tree
- 1,170
- Bounds tightened vs. source
- 1,170
- Branch variable
- x_B2505_t2
Tightened bounds
1,170 entriesx_B1_t10>=1x_B2_t13<=0x_B6_t14<=0x_B9_t13<=0x_B11_t13<=0x_B13_t13<=0x_B15_t10<=0x_B15_t11<=0x_B16_t11<=0x_B17_t13<=0x_B21_t14<=0x_B27_t14<=0
12 of 1,170 shown. The complete list is in the sidecar.