On: Shortest-possible walking tour to 81,998 bars in South Korea

[inasio]

The solver generates a relaxed lower bound that indicates how far they could be from the global optimal solution. The moment that the lower bound improves enough to match a path they can guarantee that it's the global optimum