MIPLIB2003 の中では以下の三つの分類がされている。
緑:instance can be solved within an hour with a commercial solver
黄色:instance has been solved
赤:optimal solution to instance is unknown
ds という問題は黄色に分類されているので、既に最適解は発見されているが、簡単に解くことができない難しい問題である。ちなみに最適目的関数値は 93.5200 である。
この問題を計算機もソルバーも異なるが Gurobi 3.0.1 と CPLEX 12.2 で解いてみた(継続中)。参考までにログファイルも公開しておく(ログファイルは以下の結果よりも少し古い)。CPLEX の方がコア数も実行時間も少ないが、現時点では優勢になっている。もうしばらく実験を続けるかもしれない。
○サーバ1 + Gurobi 3.0.1
Nodes | Current Node | Objective Bounds | Work
Expl Unexpl | Obj Depth IntInf | Incumbent BestBd Gap | It/Node Time
389801 315149 130.92390 260 393 204.01750 80.10125 60.7% 642 259643s
ログファイル(gurobi.ds.log.gz)
○サーバ2 + CPLEX 12.2
Nodes Cuts/
Node Left Objective IInf Best Integer Best Node ItCnt Gap
Elapsed real time = 68674.87 sec. (tree size = 5597.58 MB, solutions = 49)
Nodefile size = 5463.50 MB (2334.63 MB after compression)
247338 161083 124.1067 232 179.6875 80.3760 1.93e+08 55.27%
ログファイル(cplex.ds.log.gz)
○サーバ1 (4 CPU x 6 コア = 24 コア)
CPU : AMD Opteron 8439 (2.80GHz / 6MB L3) x 4
Memory : 128GB (32 x 4GB / 800MHz)
OS : Fedora 13 for x86_64
○サーバ2 (2 CPU x 4 コア = 8 コア)
CPU : Intel Xeon 5550 (2.66GHz / 8MB L3) x 2
Memory : 72GB (18 x 4GB / 800MHz)
OS : Fedora 13 for x86_64