MIP ソルバーに関する数値実験 その３

仮想マシンのマイグレーションに関する最適化問題(MIP)を様々な MIP ソルバーで解いている。Gurobi 3.0.1 と CPLEX 12.2 及び ParaSCIP 1.2.1.2？ では以下の上界と下界を求めることができるのだが、他の MIP ソルバー (Cbc 2.5, lp_solve 5.5.2.0, GLPK 4.44)では出来なかった（少なくとも１時間以内では）。

上界： 462
下界： 385

ParaSCIP は SCIP の MPI 並列版だが、MPI をインストールすれば 1 サーバでも稼働させることができる。以下の計算サーバでは ParaSCIP を 24 プロセスを動作させている。

○計算サーバ
CPU : AMD Opteron 8439 (2.80GHz / 6MB L3) x 4 (24コア)
Memory : 128GB (32 x 4GB / 800MHz)
OS : Fedora 13 for x86_64

top - 00:27:56 up 2 days, 22:29, 2 users, load average: 24.20, 24.16, 24.09
Tasks: 402 total, 25 running, 377 sleeping, 0 stopped, 0 zombie
Cpu(s): 99.2%us, 0.7%sy, 0.0%ni, 0.0%id, 0.0%wa, 0.0%hi, 0.1%si, 0.0%st
Mem: 132359900k total, 58692708k used, 73667192k free, 265492k buffers
Swap: 134217724k total, 0k used, 134217724k free, 1888904k cached

PID USER PR NI VIRT RES SHR S %CPU %MEM TIME+ COMMAND
17545 fujisawa 20 0 2546m 2.2g 6340 R 100.2 1.7 100:24.66 parascip
17530 fujisawa 20 0 1977m 1.6g 6732 R 99.8 1.3 100:40.50 parascip
17534 fujisawa 20 0 2206m 1.8g 6600 R 99.8 1.5 100:38.05 parascip
17541 fujisawa 20 0 2659m 2.3g 6764 R 99.8 1.8 100:36.11 parascip
17542 fujisawa 20 0 2687m 2.3g 6608 R 99.8 1.9 100:43.64 parascip
17543 fujisawa 20 0 2620m 2.3g 6536 R 99.8 1.8 100:31.34 parascip
17549 fujisawa 20 0 3206m 2.8g 6452 R 99.8 2.2 100:40.24 parascip
17551 fujisawa 20 0 2720m 2.4g 6452 R 99.8 1.9 100:25.29 parascip
17552 fujisawa 20 0 2814m 2.5g 6404 R 99.8 1.9 100:14.88 parascip
17553 fujisawa 20 0 317m 35m 6928 R 99.8 0.0 101:07.44 parascip
17535 fujisawa 20 0 2349m 2.0g 6616 R 99.5 1.6 100:23.91 parascip
17548 fujisawa 20 0 2002m 1.7g 6396 R 99.5 1.3 100:47.48 parascip
17550 fujisawa 20 0 3200m 2.8g 6268 R 99.5 2.2 100:26.27 parascip
17531 fujisawa 20 0 2542m 2.2g 6848 R 99.2 1.7 100:34.17 parascip
17536 fujisawa 20 0 3186m 2.8g 6472 R 99.2 2.2 100:33.29 parascip
17538 fujisawa 20 0 2454m 2.1g 6548 R 99.2 1.7 100:13.75 parascip
17540 fujisawa 20 0 2581m 2.2g 6628 R 99.2 1.8 100:30.62 parascip
17533 fujisawa 20 0 2071m 1.7g 6860 R 98.8 1.3 100:43.28 parascip
17539 fujisawa 20 0 2229m 1.9g 6600 R 98.8 1.5 100:30.01 parascip
17546 fujisawa 20 0 2393m 2.1g 6128 R 98.8 1.6 100:39.35 parascip
17544 fujisawa 20 0 2803m 2.5g 6252 R 98.5 1.9 100:19.72 parascip
17547 fujisawa 20 0 3000m 2.6g 6308 R 98.5 2.1 100:33.37 parascip
17532 fujisawa 20 0 2178m 1.8g 6804 R 98.2 1.4 100:39.52 parascip
17537 fujisawa 20 0 2929m 2.6g 6724 R 97.9 2.0 100:15.83 parascip