rmine13
primal-infeasible
The instance
as published- Variables
- 23,980
- Constraints
- 197,155
- Nonzeros
- 485,784
- 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_B477_t10 ≥ 1
this instance, the other side
x_B477_t10 ≤ 0 at depth 944
x_B477_t10 ≥ 1
this instance, the other side
x_B477_t10 ≤ 0 at depth 944
- Depth in the tree
- 944
- Bounds tightened vs. source
- 944
- Branch variable
- x_B477_t10
Tightened bounds
944 entriesx_B1_t10<=0x_B2_t12<=0x_B3_t11<=0x_B4_t11<=0x_B5_t11<=0x_B14_t11<=0x_B15_t11<=0x_B19_t12<=0x_B22_t12<=0x_B25_t12<=0x_B26_t11<=0x_B30_t12<=0
12 of 944 shown. The complete list is in the sidecar.