eva1aprime6x6opt
primal-infeasible
The instance
as published- Variables
- 3,514
- Constraints
- 34,872
- Nonzeros
- 161,558
- 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_3465 ≥ 1
this instance, the other side
x_3465 ≤ 0 at depth 326
x_3465 ≥ 1
this instance, the other side
x_3465 ≤ 0 at depth 326
- Depth in the tree
- 326
- Bounds tightened vs. source
- 522
- Branch variable
- x_3465
Tightened bounds
522 entriesx_89>=-4.2416045291361595x_89<=4.2416045291361595x_90>=-0.050342907115899997x_90<=0.050342907115899997x_91>=-0.02430555555556x_91<=0.02430555555556x_2681<=0x_2682<=0x_2684<=0x_3102<=0x_2685<=0x_3103<=0
12 of 522 shown. The complete list is in the sidecar.