Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.26 | 1800.87 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb |
MD5SUM | fcdcb6b6d92f8975c7c03a825b19d25c |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | -2715 |
Best CPU time to get the best result obtained on this benchmark | 1802.19 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | -2739 |
Optimality of the best value was proved | NO |
Number of variables | 27743 |
Total number of constraints | 5584 |
Number of constraints which are clauses | 712 |
Number of constraints which are cardinality constraints (but not clauses) | 24 |
Number of constraints which are nor clauses,nor cardinality constraints | 4848 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 25072 |
Number of terms in the objective function | 25306 |
Biggest coefficient in the objective function | 191 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 537745 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 249195 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 543330 |
Number of bits of the biggest sum of numbers | 20 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c This is oree version 0.1.2 alpha 0.00/0.00 c (c) roussel@cril.univ-artois.fr 0.00/0.00 c using __gmp_expr<__gmpz_value, __gmpz_value> 0.00/0.00 c parsing... 0.39/0.49 c ...done 0.39/0.49 c #vars=27743 #constraints=5587 hasObjective=yes 0.79/0.83 c res. mode=mod 0.79/0.83 c VSIDS like heuristics 0.79/0.83 c complete search running 5.09/5.17 c restart after 401 decisions 5.39/5.41 c nbDecision=500 #constraints=5913 7.59/7.68 c restart after 801 decisions 8.59/8.64 c nbDecision=1000 #constraints=6355 12.98/13.10 c nbDecision=1500 #constraints=6854 14.19/14.21 c restart after 1601 decisions 17.49/17.53 c nbDecision=2000 #constraints=7295 23.78/23.81 c nbDecision=2500 #constraints=7794 30.78/30.88 c nbDecision=3000 #constraints=8295 33.98/34.04 c restart after 3201 decisions 36.38/36.46 c nbDecision=3500 #constraints=8737 42.78/42.85 c nbDecision=4000 #constraints=9236 49.38/49.44 c nbDecision=4500 #constraints=9736 56.48/56.59 c nbDecision=5000 #constraints=10236 63.57/63.62 c nbDecision=5500 #constraints=10735 71.07/71.16 c nbDecision=6000 #constraints=11236 77.77/77.89 c restart after 6401 decisions 78.57/78.61 c nbDecision=6500 #constraints=11667 86.87/86.96 c nbDecision=7000 #constraints=12166 94.27/94.37 c nbDecision=7500 #constraints=12669 103.96/104.02 c nbDecision=8000 #constraints=13168 112.66/112.74 c nbDecision=8500 #constraints=13669 121.55/121.63 c nbDecision=9000 #constraints=14167 130.75/130.90 c nbDecision=9500 #constraints=14666 140.45/140.51 c nbDecision=10000 #constraints=15169 150.64/150.72 c nbDecision=10500 #constraints=15668 159.22/159.33 c nbDecision=11000 #constraints=16167 171.89/172.03 c nbDecision=11500 #constraints=16666 184.06/184.22 c nbDecision=12000 #constraints=17165 195.25/195.44 c nbDecision=12500 #constraints=17666 203.43/203.62 c restart after 12801 decisions 206.23/206.43 c nbDecision=13000 #constraints=18105 216.62/216.83 c nbDecision=13500 #constraints=18607 226.63/226.80 c nbDecision=14000 #constraints=19106 236.82/237.05 c nbDecision=14500 #constraints=19605 247.12/247.37 c nbDecision=15000 #constraints=20105 258.12/258.38 c nbDecision=15500 #constraints=20605 269.71/269.98 c nbDecision=16000 #constraints=21105 281.42/281.62 c nbDecision=16500 #constraints=21606 293.01/293.22 c nbDecision=17000 #constraints=22105 305.70/305.91 c nbDecision=17500 #constraints=22605 318.70/318.93 c nbDecision=18000 #constraints=23105 331.40/331.70 c nbDecision=18500 #constraints=23606 343.99/344.26 c nbDecision=19000 #constraints=24105 356.38/356.68 c nbDecision=19500 #constraints=24606 369.69/369.93 c nbDecision=20000 #constraints=25105 382.38/382.67 c nbDecision=20500 #constraints=25606 395.58/395.84 c nbDecision=21000 #constraints=26105 409.57/409.90 c nbDecision=21500 #constraints=26606 422.87/423.10 c nbDecision=22000 #constraints=27105 436.27/436.51 c nbDecision=22500 #constraints=27605 448.26/448.58 c nbDecision=23000 #constraints=28106 465.26/465.59 c nbDecision=23500 #constraints=28607 482.66/482.94 c nbDecision=24000 #constraints=29105 500.35/500.65 c nbDecision=24500 #constraints=29606 515.95/516.27 c nbDecision=25000 #constraints=30105 532.74/533.04 c nbDecision=25500 #constraints=30605 536.14/536.46 c restart after 25601 decisions 550.93/551.29 c nbDecision=26000 #constraints=31048 573.42/573.72 c nbDecision=26500 #constraints=31548 596.32/596.62 c nbDecision=27000 #constraints=32047 620.72/621.05 c nbDecision=27500 #constraints=32548 642.91/643.29 c nbDecision=28000 #constraints=33049 666.71/667.07 c nbDecision=28500 #constraints=33549 691.20/691.52 c nbDecision=29000 #constraints=34049 716.19/716.52 c nbDecision=29500 #constraints=34548 740.48/740.89 c nbDecision=30000 #constraints=35046 765.87/766.27 c nbDecision=30500 #constraints=35546 791.07/791.48 c nbDecision=31000 #constraints=36047 817.15/817.58 c nbDecision=31500 #constraints=36549 843.36/843.76 c nbDecision=32000 #constraints=37047 869.94/870.39 c nbDecision=32500 #constraints=37546 896.74/897.13 c nbDecision=33000 #constraints=38049 923.23/923.67 c nbDecision=33500 #constraints=38547 950.42/950.80 c nbDecision=34000 #constraints=39047 975.22/975.68 c nbDecision=34500 #constraints=39547 995.41/995.81 c nbDecision=35000 #constraints=40036 1014.10/1014.58 c nbDecision=35500 #constraints=40536 1036.20/1036.60 c nbDecision=36000 #constraints=41038 1053.99/1054.41 c nbDecision=36500 #constraints=41541 1070.68/1071.13 c nbDecision=37000 #constraints=42039 1089.59/1090.05 c nbDecision=37500 #constraints=42537 1110.58/1111.05 c nbDecision=38000 #constraints=43038 1129.67/1130.16 c nbDecision=38500 #constraints=43537 1147.87/1148.34 c nbDecision=39000 #constraints=44037 1167.96/1168.40 c nbDecision=39500 #constraints=44535 1184.85/1185.35 c nbDecision=40000 #constraints=45034 1207.65/1208.10 c nbDecision=40500 #constraints=45535 1231.94/1232.42 c nbDecision=41000 #constraints=46036 1251.14/1251.60 c nbDecision=41500 #constraints=46535 1268.93/1269.47 c nbDecision=42000 #constraints=47034 1289.23/1289.73 c nbDecision=42500 #constraints=47532 1311.32/1311.86 c nbDecision=43000 #constraints=48034 1331.62/1332.12 c nbDecision=43500 #constraints=48531 1355.91/1356.48 c nbDecision=44000 #constraints=49006 1381.70/1382.25 c nbDecision=44500 #constraints=49496 1410.60/1411.14 c nbDecision=45000 #constraints=49939 1444.98/1445.52 c nbDecision=45500 #constraints=50439 1478.77/1479.39 c nbDecision=46000 #constraints=50941 1496.27/1496.89 c nbDecision=46500 #constraints=51440 1525.46/1526.09 c nbDecision=47000 #constraints=51937 1553.15/1553.75 c nbDecision=47500 #constraints=52438 1586.54/1587.20 c nbDecision=48000 #constraints=52938 1616.23/1616.83 c nbDecision=48500 #constraints=53441 1644.42/1645.05 c nbDecision=49000 #constraints=53939 1670.62/1671.27 c nbDecision=49500 #constraints=54437 1695.61/1696.25 c nbDecision=50000 #constraints=54937 1726.70/1727.33 c nbDecision=50500 #constraints=55438 1757.19/1757.88 c nbDecision=51000 #constraints=55939 1767.68/1768.32 c restart after 51201 decisions 1792.39/1793.09 c nbDecision=51500 #constraints=56377 1800.09/1800.71 Received signal 15 1800.18/1800.84 1800.18/1800.84 s UNKNOWN 1800.18/1800.84 1800.18/1800.84 c user time= 1799.9 s 1800.18/1800.84 c system time= 0.32595 s 1800.18/1800.84 c wall clock time=1800.84
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node7/watcher-356887-1176847111 -o ROOT/results/node7/solver-356887-1176847111 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356887-1176847111/instance-356887-1176847111.opb mod Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 3600 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Solver output will be limited to a maximum of 15728640 bytes. The first 1048576 bytes and the last 14680064 bytes will be preserved Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18778 /proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=1468 CPUtime=0 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 179 0 0 0 0 0 0 0 18 0 1 0 160748783 1503232 161 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 367 161 126 317 0 46 0 [startup+0.073854 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18778 /proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=2604 CPUtime=0.07 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 511 0 0 0 7 0 0 0 18 0 1 0 160748783 2666496 395 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134590706 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 651 395 128 317 0 330 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2604 [startup+0.102857 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18778 /proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=2868 CPUtime=0.1 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 591 0 0 0 10 0 0 0 18 0 1 0 160748783 2936832 475 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 717 475 131 317 0 396 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 2868 [startup+0.302879 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18778 /proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=6340 CPUtime=0.29 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 1579 0 0 0 29 0 0 0 19 0 1 0 160748783 6492160 1267 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134538330 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 1585 1267 131 317 0 1264 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6340 [startup+0.70192 s] /proc/loadavg: 0.92 0.98 0.99 3/77 18778 /proc/meminfo: memFree=1821232/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=13308 CPUtime=0.69 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3296 0 0 0 68 1 0 0 22 0 1 0 160748783 13627392 2984 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 3327 2984 137 317 0 3006 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 13308 [startup+1.502 s] /proc/loadavg: 0.92 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1808808/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=14252 CPUtime=1.49 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3538 0 0 0 148 1 0 0 25 0 1 0 160748783 14594048 3187 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 3563 3187 139 317 0 3242 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 14252 [startup+3.10117 s] /proc/loadavg: 0.92 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1808680/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=14516 CPUtime=3.09 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3584 0 0 0 308 1 0 0 25 0 1 0 160748783 14864384 3233 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 3629 3233 139 317 0 3308 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 14516 [startup+6.30151 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1808360/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=14780 CPUtime=6.29 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3679 0 0 0 628 1 0 0 25 0 1 0 160748783 15134720 3328 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 3695 3328 139 317 0 3374 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 14780 [startup+12.7012 s] /proc/loadavg: 0.93 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1807592/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=15568 CPUtime=12.68 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 3857 0 0 0 1267 1 0 0 25 0 1 0 160748783 15941632 3506 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 3892 3506 139 317 0 3571 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 15568 [startup+25.5015 s] /proc/loadavg: 0.95 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1806312/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=16900 CPUtime=25.48 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 4197 0 0 0 2546 2 0 0 25 0 1 0 160748783 17305600 3846 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 4225 3846 139 317 0 3904 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 16900 [startup+51.1012 s] /proc/loadavg: 0.96 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1804136/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=19116 CPUtime=51.08 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 4724 0 0 0 5105 3 0 0 25 0 1 0 160748783 19574784 4373 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 4779 4373 139 317 0 4458 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 19116 [startup+102.306 s] /proc/loadavg: 0.98 0.98 0.99 2/78 18779 /proc/meminfo: memFree=1799912/2055920 swapFree=4149976/4192956 [pid=18778] ppid=18776 vsize=23580 CPUtime=102.26 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 5850 0 0 0 10222 4 0 0 25 0 1 0 160748783 24145920 5423 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 5895 5423 139 317 0 5574 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 23580 [startup+162.302 s] /proc/loadavg: 1.04 1.00 1.00 2/84 18861 /proc/meminfo: memFree=1793336/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=28676 CPUtime=162.21 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 7124 0 0 0 16215 6 0 0 25 0 1 0 160748783 29364224 6697 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 7169 6697 139 317 0 6848 0 Current children cumulated CPU time (s) 162.21 Current children cumulated vsize (KiB) 28676 [startup+222.301 s] /proc/loadavg: 1.06 1.01 1.00 2/78 18977 /proc/meminfo: memFree=1790376/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=33376 CPUtime=222.13 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 8137 0 0 0 22206 7 0 0 25 0 1 0 160748783 34177024 7710 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 8344 7710 139 317 0 8023 0 Current children cumulated CPU time (s) 222.13 Current children cumulated vsize (KiB) 33376 [startup+282.301 s] /proc/loadavg: 1.07 1.02 1.00 2/78 18977 /proc/meminfo: memFree=1786856/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=36668 CPUtime=282.11 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 9028 0 0 0 28203 8 0 0 25 0 1 0 160748783 37548032 8601 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 9167 8601 139 317 0 8846 0 Current children cumulated CPU time (s) 282.11 Current children cumulated vsize (KiB) 36668 [startup+342.302 s] /proc/loadavg: 1.06 1.03 1.00 2/78 18977 /proc/meminfo: memFree=1783528/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=40704 CPUtime=342.09 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 10095 0 0 0 34200 9 0 0 25 0 1 0 160748783 41680896 9420 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563668 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 10176 9420 139 317 0 9855 0 Current children cumulated CPU time (s) 342.09 Current children cumulated vsize (KiB) 40704 [startup+402.302 s] /proc/loadavg: 1.10 1.05 1.01 2/78 18977 /proc/meminfo: memFree=1780584/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=44156 CPUtime=402.08 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 11025 0 0 0 40198 10 0 0 25 0 1 0 160748783 45215744 10185 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 11039 10185 139 317 0 10718 0 Current children cumulated CPU time (s) 402.08 Current children cumulated vsize (KiB) 44156 [startup+462.302 s] /proc/loadavg: 1.07 1.05 1.01 2/78 18977 /proc/meminfo: memFree=1777512/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=46808 CPUtime=462.06 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 11768 0 0 0 46194 12 0 0 25 0 1 0 160748783 47931392 10928 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593515 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 11702 10928 139 317 0 11381 0 Current children cumulated CPU time (s) 462.06 Current children cumulated vsize (KiB) 46808 [startup+522.303 s] /proc/loadavg: 1.02 1.04 1.00 2/78 18977 /proc/meminfo: memFree=1775208/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=49148 CPUtime=522.05 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 12392 0 0 0 52192 13 0 0 25 0 1 0 160748783 50327552 11519 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 12287 11519 139 317 0 11966 0 Current children cumulated CPU time (s) 522.05 Current children cumulated vsize (KiB) 49148 [startup+582.303 s] /proc/loadavg: 1.01 1.03 1.00 2/78 18977 /proc/meminfo: memFree=1773672/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=50460 CPUtime=582.03 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 12763 0 0 0 58189 14 0 0 25 0 1 0 160748783 51671040 11890 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 12615 11890 139 317 0 12294 0 Current children cumulated CPU time (s) 582.03 Current children cumulated vsize (KiB) 50460 [startup+642.302 s] /proc/loadavg: 1.00 1.02 1.00 2/78 18977 /proc/meminfo: memFree=1772008/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=52700 CPUtime=642.01 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 13206 0 0 0 64187 14 0 0 25 0 1 0 160748783 53964800 12300 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 13175 12300 139 317 0 12854 0 Current children cumulated CPU time (s) 642.01 Current children cumulated vsize (KiB) 52700 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1767016/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=57544 CPUtime=881.94 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 14478 0 0 0 88176 18 0 0 25 0 1 0 160748783 58925056 13539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 14386 13539 139 317 0 14065 0 Current children cumulated CPU time (s) 881.94 Current children cumulated vsize (KiB) 57544 [startup+942.302 s] /proc/loadavg: 1.00 1.00 1.00 3/78 18977 /proc/meminfo: memFree=1765736/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=59744 CPUtime=941.92 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 14987 0 0 0 94174 18 0 0 25 0 1 0 160748783 61177856 13853 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134711137 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 14936 13853 139 317 0 14615 0 Current children cumulated CPU time (s) 941.92 Current children cumulated vsize (KiB) 59744 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1764072/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=61188 CPUtime=1001.91 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 15410 0 0 0 100172 19 0 0 25 0 1 0 160748783 62656512 14276 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 15297 14276 139 317 0 14976 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 61188 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1761640/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=63852 CPUtime=1061.89 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 16093 0 0 0 106169 20 0 0 25 0 1 0 160748783 65384448 14893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 15963 14893 139 317 0 15642 0 Current children cumulated CPU time (s) 1061.89 Current children cumulated vsize (KiB) 63852 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1759080/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=66516 CPUtime=1121.87 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 16790 0 0 0 112166 21 0 0 25 0 1 0 160748783 68112384 15524 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 16629 15524 139 317 0 16308 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 66516 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 18977 /proc/meminfo: memFree=1756520/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=69800 CPUtime=1181.85 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 17731 0 0 0 118163 22 0 0 25 0 1 0 160748783 71475200 16168 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 17450 16168 139 317 0 17129 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 69800 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1754280/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=71896 CPUtime=1241.84 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 18290 0 0 0 124161 23 0 0 25 0 1 0 160748783 73621504 16727 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563663 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 17974 16727 139 317 0 17653 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 71896 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1751912/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=73852 CPUtime=1301.83 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 18861 0 0 0 130159 24 0 0 25 0 1 0 160748783 75624448 17298 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563653 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 18463 17298 139 317 0 18142 0 Current children cumulated CPU time (s) 1301.83 Current children cumulated vsize (KiB) 73852 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1749800/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=76512 CPUtime=1361.81 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 19576 0 0 0 136156 25 0 0 25 0 1 0 160748783 78348288 17850 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 19128 17850 139 317 0 18807 0 Current children cumulated CPU time (s) 1361.81 Current children cumulated vsize (KiB) 76512 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1748392/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=77940 CPUtime=1421.79 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 19972 0 0 0 142153 26 0 0 25 0 1 0 160748783 79810560 18181 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564078 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 19485 18181 139 317 0 19164 0 Current children cumulated CPU time (s) 1421.79 Current children cumulated vsize (KiB) 77940 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1747304/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=78976 CPUtime=1481.77 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 20279 0 0 0 148151 26 0 0 25 0 1 0 160748783 80871424 18488 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715697 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 19744 18488 139 317 0 19423 0 Current children cumulated CPU time (s) 1481.77 Current children cumulated vsize (KiB) 78976 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1745320/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=81344 CPUtime=1541.76 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 20923 0 0 0 154148 28 0 0 25 0 1 0 160748783 83296256 18969 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 20336 18969 139 317 0 20015 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 81344 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1743720/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=82912 CPUtime=1601.74 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 21389 0 0 0 160145 29 0 0 25 0 1 0 160748783 84901888 19370 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 20728 19370 139 317 0 20407 0 Current children cumulated CPU time (s) 1601.74 Current children cumulated vsize (KiB) 82912 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1742056/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=84464 CPUtime=1661.72 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 21819 0 0 0 166142 30 0 0 25 0 1 0 160748783 86491136 19800 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 21116 19800 139 317 0 20795 0 Current children cumulated CPU time (s) 1661.72 Current children cumulated vsize (KiB) 84464 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1739752/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=88104 CPUtime=1721.71 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 22656 0 0 0 172140 31 0 0 25 0 1 0 160748783 90218496 20340 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563976 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 22026 20340 139 317 0 21705 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 88104 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1738728/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=89180 CPUtime=1781.69 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 22967 0 0 0 178137 32 0 0 25 0 1 0 160748783 91320320 20618 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 22295 20618 139 317 0 21974 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 89180 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1738408/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=89440 CPUtime=1800.09 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 23029 0 0 0 179977 32 0 0 25 0 1 0 160748783 91586560 20680 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 22360 20680 139 317 0 22039 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 89440 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.81 s] /proc/loadavg: 1.00 1.00 1.00 2/78 18977 /proc/meminfo: memFree=1738408/2055920 swapFree=4149980/4192956 [pid=18778] ppid=18776 vsize=89440 CPUtime=1800.18 /proc/18778/stat : 18778 (oree) R 18776 18778 18306 0 -1 4194304 23030 0 0 0 179986 32 0 0 25 0 1 0 160748783 91586560 20681 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/18778/statm: 22360 20681 139 317 0 22039 0 Current children cumulated CPU time (s) 1800.18 Current children cumulated vsize (KiB) 89440 Child status: 0 Real time (s): 1800.87 CPU time (s): 1800.26 CPU user time (s): 1799.92 CPU system time (s): 0.339948 CPU usage (%): 99.9659 Max. virtual memory (cumulated for all children) (KiB): 89440 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.92 system time used= 0.339948 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 23046 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 8 involuntary context switches= 1908 runsolver used 2.10768 second user time and 4.42733 second system time The end
Begin job on node7 on Tue Apr 17 21:58:32 UTC 2007 IDJOB= 356887 IDBENCH= 1596 IDSOLVER= 172 FILE ID= node7/356887-1176847111 PBS_JOBID= 4590182 Free space on /tmp= 66364 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/pub/milp/normalized-reduced-mps-v2-20-10-mkc1.opb COMMAND LINE= oree /tmp/evaluation/356887-1176847111/instance-356887-1176847111.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-356887-1176847111 -o ROOT/results/node7/solver-356887-1176847111 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356887-1176847111/instance-356887-1176847111.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= fcdcb6b6d92f8975c7c03a825b19d25c RANDOM SEED= 4095531 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node7.alineos.net 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 x86_64 x86_64 x86_64 GNU/Linux /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.231 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1821768 kB Buffers: 37780 kB Cached: 120464 kB SwapCached: 23656 kB Active: 76720 kB Inactive: 115172 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1821768 kB SwapTotal: 4192956 kB SwapFree: 4149976 kB Dirty: 3028 kB Writeback: 0 kB Mapped: 30220 kB Slab: 27756 kB Committed_AS: 7066668 kB PageTables: 1860 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 66364 MiB End job on node7 on Tue Apr 17 22:28:34 UTC 2007