Instance15 の厳密解が確定

 Ryzon9700X、約一週間廻してようやく確定しました。

LB=3828

UB=3828

です。

十数年に渡り未解決だった問題の最適値が確定しました。

ルートLB=3823.64

で変わりません。

行った改善は、マルチスレッド化がメインです。その他細かい改善として、

■環境の保存で、最大10GB程度DISKを使いました

■ログもGUIの限界を超えていたのでDISKに落とすようにしました。

■その他に、CPU（キャッシュ容量32MB）の能力が大きい。

旧世代のCPUでは、全くマルチスレッド効果は期待できず、恐らく1カ月以上かかったと思います。