graph20-80-1rand
primal-infeasible
The instance
as published- Variables
- 16,263
- Constraints
- 55,107
- Nonzeros
- 191,997
- 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
y#87#1#14 ≤ 0
this instance, the other side
y#87#1#14 ≥ 1 at depth 498
y#87#1#14 ≤ 0
this instance, the other side
y#87#1#14 ≥ 1 at depth 498
- Depth in the tree
- 498
- Bounds tightened vs. source
- 615
- Branch variable
- y#87#1#14
Tightened bounds
615 entriesx#3<=0x#7<=0x#8<=0x#9<=0x#12<=0x#13<=0x#17<=0x#19<=0x#23<=0x#28<=0x#29<=0x#30<=0
12 of 615 shown. The complete list is in the sidecar.