triptim1
primal-infeasible
The instance
as published- Variables
- 30,055
- Constraints
- 15,706
- Nonzeros
- 515,436
- 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
fya#1790#635 ≥ 1
this instance, the other side
fya#1790#635 ≤ 0 at depth 115
fya#1790#635 ≥ 1
this instance, the other side
fya#1790#635 ≤ 0 at depth 115
- Depth in the tree
- 115
- Bounds tightened vs. source
- 4,514
- Branch variable
- fya#1790#635
Tightened bounds
4,514 entriesfxa#1#2<=1fya#1#2<=0fya#1#1370<=0fxa#2#3<=2fya#2#3<=2fya#0#3>=1fya#3#4>=1fya#3#4<=3fya#4#5>=2fya#4#5<=4fya#5#6<=1fya#6#7<=6
12 of 4,514 shown. The complete list is in the sidecar.