MIPLIB2003 の ds 問題を CPLEX 12.2 を用いて解きつづけていたが、合計 1643718.77秒 (= 約19日) で終了し、最適解を求めることができた。これによって、既に ParaSCIP で求められていた解が最適解であることの追試にもなった。下記の Iteration 数がオーバーフローしているのが、ちょっと気になる。
Elapsed real time = 1643521.25 sec. (tree size = 1311.96 MB, solutions = 95)
Nodefile size = 884.47 MB (343.55 MB after compression)
8994003 14679 cutoff 93.5200 93.5097 3.77e+09 0.01%
Clique cuts applied: 428
Cover cuts applied: 6
Zero-half cuts applied: 23
Root node processing (before b&c):
Real time = 156.51
Parallel b&c, 12 threads:
Real time = 1643562.26
Sync time (average) = 40166.08
Wait time (average) = 126856.09
-------
Total (root+branch&cut) = 1643718.77 sec.
Solution pool: 95 solutions saved.
MIP - Integer optimal, tolerance (0.0001/1e-06): Objective = 9.3520000000e+01
Current MIP best bound = 9.3510648316e+01 (gap = 0.00935168, 0.01%)
Solution time = 1643719.60 sec. Iterations = -2147483648 Nodes = 8994890 (13756)
○サーバ (2 CPU x 6 コア = 12 コア)
CPU : AMD Opteron 2435（2.6GHz / 6MB L3）x 2
Memory : 64GB（16 x 4GB / 800MHz）
OS : Fedora 13 for x86_64
