Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1800.24 | 1800.84 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb |
MD5SUM | 55e4261919fe5e3e5c6520778d47a3ef |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 142226 |
Total number of constraints | 20881 |
Number of constraints which are clauses | 2438 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 18443 |
Minimum length of a constraint | 4 |
Maximum length of a constraint | 61 |
Number of terms in the objective function | 780 |
Biggest coefficient in the objective function | 261957 |
Number of bits for the biggest coefficient in the objective function | 18 |
Sum of the numbers in the objective function | 524680 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 261957 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 524680 |
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... 2.48/2.56 c ...done 2.48/2.56 c #vars=142226 #constraints=20883 hasObjective=yes 2.88/2.91 c res. mode=mod 2.88/2.91 c VSIDS like heuristics 2.88/2.91 c complete search running 7.27/7.35 c restart after 401 decisions 7.97/8.00 c nbDecision=500 #constraints=21225 10.76/10.86 c restart after 801 decisions 12.66/12.75 c nbDecision=1000 #constraints=21503 18.74/18.80 c nbDecision=1500 #constraints=22001 19.93/20.08 c restart after 1601 decisions 22.84/22.99 c nbDecision=2000 #constraints=22160 27.44/27.58 c nbDecision=2500 #constraints=22418 33.02/33.18 c nbDecision=3000 #constraints=22827 35.42/35.51 c restart after 3201 decisions 38.82/38.91 c nbDecision=3500 #constraints=23223 45.41/45.52 c nbDecision=4000 #constraints=23699 52.71/52.88 c nbDecision=4500 #constraints=24189 57.90/58.00 c nbDecision=5000 #constraints=24464 63.80/63.99 c nbDecision=5500 #constraints=24907 70.20/70.33 c nbDecision=6000 #constraints=25333 75.59/75.79 c restart after 6401 decisions 76.99/77.18 c nbDecision=6500 #constraints=25730 84.39/84.54 c nbDecision=7000 #constraints=26164 92.59/92.74 c nbDecision=7500 #constraints=26627 101.59/101.76 c nbDecision=8000 #constraints=27091 111.88/112.04 c nbDecision=8500 #constraints=27576 119.88/120.05 c nbDecision=9000 #constraints=28063 127.08/127.20 c nbDecision=9500 #constraints=28562 134.37/134.59 c nbDecision=10000 #constraints=29061 142.18/142.30 c nbDecision=10500 #constraints=29563 150.17/150.30 c nbDecision=11000 #constraints=30061 158.57/158.79 c nbDecision=11500 #constraints=30563 167.67/167.80 c nbDecision=12000 #constraints=31061 176.77/176.99 c nbDecision=12500 #constraints=31561 182.26/182.47 c restart after 12801 decisions 187.06/187.23 c nbDecision=13000 #constraints=32015 201.16/201.33 c nbDecision=13500 #constraints=32509 215.86/216.02 c nbDecision=14000 #constraints=33009 231.05/231.21 c nbDecision=14500 #constraints=33499 246.65/246.87 c nbDecision=15000 #constraints=33990 263.14/263.37 c nbDecision=15500 #constraints=34481 280.13/280.37 c nbDecision=16000 #constraints=34976 298.12/298.34 c nbDecision=16500 #constraints=35468 316.02/316.22 c nbDecision=17000 #constraints=35957 334.82/335.03 c nbDecision=17500 #constraints=36442 355.12/355.37 c nbDecision=18000 #constraints=36939 375.40/375.65 c nbDecision=18500 #constraints=37433 396.60/396.89 c nbDecision=19000 #constraints=37921 418.20/418.40 c nbDecision=19500 #constraints=38410 440.69/440.97 c nbDecision=20000 #constraints=38905 463.18/463.45 c nbDecision=20500 #constraints=39396 486.47/486.79 c nbDecision=21000 #constraints=39885 511.56/511.80 c nbDecision=21500 #constraints=40382 536.66/536.93 c nbDecision=22000 #constraints=40870 562.15/562.41 c nbDecision=22500 #constraints=41363 587.25/587.58 c nbDecision=23000 #constraints=41842 611.24/611.52 c nbDecision=23500 #constraints=42312 637.93/638.22 c nbDecision=24000 #constraints=42794 668.82/669.17 c nbDecision=24500 #constraints=43291 699.31/699.69 c nbDecision=25000 #constraints=43788 731.21/731.51 c nbDecision=25500 #constraints=44282 737.40/737.71 c restart after 25601 decisions 744.50/744.81 c nbDecision=26000 #constraints=44695 754.10/754.47 c nbDecision=26500 #constraints=45196 763.99/764.34 c nbDecision=27000 #constraints=45695 774.19/774.50 c nbDecision=27500 #constraints=46196 784.89/785.22 c nbDecision=28000 #constraints=46562 798.08/798.43 c nbDecision=28500 #constraints=47062 810.88/811.27 c nbDecision=29000 #constraints=47562 823.37/823.75 c nbDecision=29500 #constraints=48059 838.47/838.84 c nbDecision=30000 #constraints=48561 854.07/854.48 c nbDecision=30500 #constraints=49059 869.26/869.60 c nbDecision=31000 #constraints=49558 884.25/884.61 c nbDecision=31500 #constraints=50061 900.55/900.97 c nbDecision=32000 #constraints=50558 916.85/917.25 c nbDecision=32500 #constraints=51040 936.24/936.69 c nbDecision=33000 #constraints=51504 955.13/955.54 c nbDecision=33500 #constraints=52003 974.33/974.73 c nbDecision=34000 #constraints=52504 993.53/993.95 c nbDecision=34500 #constraints=53003 1010.72/1011.19 c nbDecision=35000 #constraints=53501 1028.81/1029.22 c nbDecision=35500 #constraints=54000 1048.41/1048.82 c nbDecision=36000 #constraints=54502 1069.10/1069.54 c nbDecision=36500 #constraints=55003 1088.40/1088.80 c nbDecision=37000 #constraints=55503 1108.89/1109.38 c nbDecision=37500 #constraints=56004 1128.28/1128.74 c nbDecision=38000 #constraints=56485 1154.38/1154.86 c nbDecision=38500 #constraints=56946 1181.16/1181.62 c nbDecision=39000 #constraints=57444 1205.86/1206.36 c nbDecision=39500 #constraints=57946 1228.35/1228.83 c nbDecision=40000 #constraints=58445 1251.95/1252.48 c nbDecision=40500 #constraints=58946 1272.64/1273.12 c nbDecision=41000 #constraints=59350 1298.74/1299.23 c nbDecision=41500 #constraints=59811 1325.82/1326.30 c nbDecision=42000 #constraints=60311 1351.81/1352.31 c nbDecision=42500 #constraints=60812 1380.81/1381.36 c nbDecision=43000 #constraints=61311 1409.90/1410.43 c nbDecision=43500 #constraints=61812 1439.79/1440.38 c nbDecision=44000 #constraints=62311 1469.38/1469.99 c nbDecision=44500 #constraints=62812 1497.08/1497.66 c nbDecision=45000 #constraints=63313 1529.57/1530.19 c nbDecision=45500 #constraints=63811 1562.05/1562.61 c nbDecision=46000 #constraints=64301 1591.75/1592.31 c nbDecision=46500 #constraints=64801 1619.64/1620.28 c nbDecision=47000 #constraints=65297 1649.73/1650.35 c nbDecision=47500 #constraints=65799 1678.42/1679.09 c nbDecision=48000 #constraints=66298 1709.71/1710.34 c nbDecision=48500 #constraints=66798 1740.51/1741.16 c nbDecision=49000 #constraints=67296 1768.00/1768.64 c nbDecision=49500 #constraints=67800 1792.99/1793.64 c nbDecision=50000 #constraints=68297 1800.09/1800.70 Received signal 15 1800.09/1800.76 1800.09/1800.76 s UNKNOWN 1800.09/1800.76 1800.09/1800.76 c user time= 1799.72 s 1800.09/1800.76 c system time= 0.438933 s 1800.09/1800.76 c wall clock time=1800.76
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node5/watcher-356894-1176847270 -o ROOT/results/node5/solver-356894-1176847270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356894-1176847270/instance-356894-1176847270.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.66 0.92 0.97 3/83 16446 /proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=1468 CPUtime=0 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 181 0 0 0 0 0 0 0 18 0 1 0 160764855 1503232 163 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 367 163 131 317 0 46 0 [startup+0.0834679 s] /proc/loadavg: 0.66 0.92 0.97 3/83 16446 /proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=2656 CPUtime=0.07 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 487 0 0 0 7 0 0 0 18 0 1 0 160764855 2719744 469 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 664 469 131 317 0 343 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 2656 [startup+0.101468 s] /proc/loadavg: 0.66 0.92 0.97 3/83 16446 /proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=2920 CPUtime=0.09 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 557 0 0 0 9 0 0 0 18 0 1 0 160764855 2990080 539 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 730 539 131 317 0 409 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2920 [startup+0.301492 s] /proc/loadavg: 0.66 0.92 0.97 3/83 16446 /proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=6088 CPUtime=0.29 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 1334 0 0 0 29 0 0 0 19 0 1 0 160764855 6234112 1316 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 1522 1316 131 317 0 1201 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 6088 [startup+0.701537 s] /proc/loadavg: 0.66 0.92 0.97 3/83 16446 /proc/meminfo: memFree=1820296/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=11764 CPUtime=0.69 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 2763 0 0 0 68 1 0 0 22 0 1 0 160764855 12046336 2745 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 2941 2745 131 317 0 2620 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 11764 [startup+1.50163 s] /proc/loadavg: 0.66 0.92 0.97 2/84 16447 /proc/meminfo: memFree=1805376/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=23380 CPUtime=1.48 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 5660 0 0 0 146 2 0 0 25 0 1 0 160764855 23941120 5642 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 5845 5642 131 317 0 5524 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 23380 [startup+3.10181 s] /proc/loadavg: 0.66 0.92 0.97 2/84 16455 /proc/meminfo: memFree=1788928/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=61756 CPUtime=3.08 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15261 0 0 0 302 6 0 0 25 0 1 0 160764855 63238144 15243 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 15439 15243 138 317 0 15118 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 61756 [startup+6.30117 s] /proc/loadavg: 0.69 0.92 0.97 2/84 16481 /proc/meminfo: memFree=1759112/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=62856 CPUtime=6.27 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15510 0 0 0 619 8 0 0 25 0 1 0 160764855 64364544 15349 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712585 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 15714 15349 139 317 0 15393 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 62856 [startup+12.7019 s] /proc/loadavg: 0.71 0.92 0.97 2/84 16495 /proc/meminfo: memFree=1758664/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=63376 CPUtime=12.66 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15659 0 0 0 1258 8 0 0 25 0 1 0 160764855 64897024 15498 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 15844 15498 139 317 0 15523 0 Current children cumulated CPU time (s) 12.66 Current children cumulated vsize (KiB) 63376 [startup+25.5013 s] /proc/loadavg: 0.77 0.92 0.97 2/84 16539 /proc/meminfo: memFree=1757640/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=64556 CPUtime=25.44 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 15951 0 0 0 2535 9 0 0 25 0 1 0 160764855 66105344 15790 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 16139 15790 139 317 0 15818 0 Current children cumulated CPU time (s) 25.44 Current children cumulated vsize (KiB) 64556 [startup+51.1012 s] /proc/loadavg: 0.85 0.93 0.97 2/78 16571 /proc/meminfo: memFree=1754296/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=69028 CPUtime=51 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 17096 0 0 0 5090 10 0 0 25 0 1 0 160764855 70684672 16935 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 17257 16935 139 317 0 16936 0 Current children cumulated CPU time (s) 51 Current children cumulated vsize (KiB) 69028 [startup+102.305 s] /proc/loadavg: 0.93 0.94 0.97 3/78 16571 /proc/meminfo: memFree=1743608/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=79928 CPUtime=102.19 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 19751 0 0 0 10207 12 0 0 25 0 1 0 160764855 81846272 19590 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602685 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 19982 19590 139 317 0 19661 0 Current children cumulated CPU time (s) 102.19 Current children cumulated vsize (KiB) 79928 [startup+162.302 s] /proc/loadavg: 0.97 0.95 0.97 2/78 16571 /proc/meminfo: memFree=1737080/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=86612 CPUtime=162.16 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 21395 0 0 0 16202 14 0 0 25 0 1 0 160764855 88690688 21234 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563397 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 21653 21234 139 317 0 21332 0 Current children cumulated CPU time (s) 162.16 Current children cumulated vsize (KiB) 86612 [startup+222.302 s] /proc/loadavg: 0.99 0.95 0.97 2/78 16571 /proc/meminfo: memFree=1732600/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=91512 CPUtime=222.15 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 22533 0 0 0 22199 16 0 0 25 0 1 0 160764855 93708288 22339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 22878 22339 139 317 0 22557 0 Current children cumulated CPU time (s) 222.15 Current children cumulated vsize (KiB) 91512 [startup+282.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 16571 /proc/meminfo: memFree=1728952/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=95096 CPUtime=282.13 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 23441 0 0 0 28196 17 0 0 25 0 1 0 160764855 97378304 23247 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 23774 23247 139 317 0 23453 0 Current children cumulated CPU time (s) 282.13 Current children cumulated vsize (KiB) 95096 [startup+342.301 s] /proc/loadavg: 0.99 0.96 0.97 2/78 16571 /proc/meminfo: memFree=1725496/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=99080 CPUtime=342.12 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 24312 0 0 0 34194 18 0 0 25 0 1 0 160764855 101457920 24118 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 24770 24118 139 317 0 24449 0 Current children cumulated CPU time (s) 342.12 Current children cumulated vsize (KiB) 99080 [startup+402.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1722552/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=101692 CPUtime=402.1 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 25041 0 0 0 40191 19 0 0 25 0 1 0 160764855 104132608 24847 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 25423 24847 139 317 0 25102 0 Current children cumulated CPU time (s) 402.1 Current children cumulated vsize (KiB) 101692 [startup+462.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1719800/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=104768 CPUtime=462.08 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 25728 0 0 0 46188 20 0 0 25 0 1 0 160764855 107282432 25534 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134593402 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 26192 25534 139 317 0 25871 0 Current children cumulated CPU time (s) 462.08 Current children cumulated vsize (KiB) 104768 [startup+522.302 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1717368/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=107376 CPUtime=522.06 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 26349 0 0 0 52185 21 0 0 25 0 1 0 160764855 109953024 26155 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 26844 26155 139 317 0 26523 0 Current children cumulated CPU time (s) 522.06 Current children cumulated vsize (KiB) 107376 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1713528/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=111944 CPUtime=582.05 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 27530 0 0 0 58182 23 0 0 25 0 1 0 160764855 114630656 27050 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384524 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 27986 27050 139 317 0 27665 0 Current children cumulated CPU time (s) 582.05 Current children cumulated vsize (KiB) 111944 [startup+642.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1712632/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=112860 CPUtime=642.04 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 27819 0 0 0 64180 24 0 0 25 0 1 0 160764855 115568640 27339 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 28215 27339 139 317 0 27894 0 Current children cumulated CPU time (s) 642.04 Current children cumulated vsize (KiB) 112860 ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1698808/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=128380 CPUtime=881.95 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 31604 0 0 0 88167 28 0 0 25 0 1 0 160764855 131461120 30794 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 32095 30794 139 317 0 31774 0 Current children cumulated CPU time (s) 881.95 Current children cumulated vsize (KiB) 128380 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1695992/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=130900 CPUtime=941.94 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 32306 0 0 0 94165 29 0 0 25 0 1 0 160764855 134041600 31496 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712565 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 32725 31496 139 317 0 32404 0 Current children cumulated CPU time (s) 941.94 Current children cumulated vsize (KiB) 130900 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1693496/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=133428 CPUtime=1001.92 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 32934 0 0 0 100162 30 0 0 25 0 1 0 160764855 136630272 32124 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134563628 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 33357 32124 139 317 0 33036 0 Current children cumulated CPU time (s) 1001.92 Current children cumulated vsize (KiB) 133428 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1690616/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=136272 CPUtime=1061.9 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 33686 0 0 0 106159 31 0 0 25 0 1 0 160764855 139542528 32876 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134716156 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 34068 32876 139 317 0 33747 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 136272 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1687480/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=141332 CPUtime=1121.88 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 34930 0 0 0 112156 32 0 0 25 0 1 0 160764855 144723968 33625 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 35333 33625 139 317 0 35012 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 141332 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1685496/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=143176 CPUtime=1181.86 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 35426 0 0 0 118153 33 0 0 25 0 1 0 160764855 146612224 34121 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134715621 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 35794 34121 139 317 0 35473 0 Current children cumulated CPU time (s) 1181.86 Current children cumulated vsize (KiB) 143176 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1683064/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=145396 CPUtime=1241.85 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 36049 0 0 0 124151 34 0 0 25 0 1 0 160764855 148885504 34711 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 36349 34711 139 317 0 36028 0 Current children cumulated CPU time (s) 1241.85 Current children cumulated vsize (KiB) 145396 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1680952/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=147228 CPUtime=1301.84 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 36557 0 0 0 130148 36 0 0 25 0 1 0 160764855 150761472 35219 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 36807 35219 139 317 0 36486 0 Current children cumulated CPU time (s) 1301.84 Current children cumulated vsize (KiB) 147228 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1679096/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=148924 CPUtime=1361.82 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 37057 0 0 0 136145 37 0 0 25 0 1 0 160764855 152498176 35686 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 37231 35686 139 317 0 36910 0 Current children cumulated CPU time (s) 1361.82 Current children cumulated vsize (KiB) 148924 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1677368/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=150504 CPUtime=1421.8 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 37460 0 0 0 142143 37 0 0 25 0 1 0 160764855 154116096 36089 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 37626 36089 139 317 0 37305 0 Current children cumulated CPU time (s) 1421.8 Current children cumulated vsize (KiB) 150504 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1675768/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=151940 CPUtime=1481.78 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 37866 0 0 0 148140 38 0 0 25 0 1 0 160764855 155586560 36495 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604234 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 37985 36495 139 317 0 37664 0 Current children cumulated CPU time (s) 1481.78 Current children cumulated vsize (KiB) 151940 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1674168/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=153384 CPUtime=1541.76 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 38257 0 0 0 154137 39 0 0 25 0 1 0 160764855 157065216 36886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 38346 36886 139 317 0 38025 0 Current children cumulated CPU time (s) 1541.76 Current children cumulated vsize (KiB) 153384 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1672568/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=154952 CPUtime=1601.75 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 38692 0 0 0 160135 40 0 0 25 0 1 0 160764855 158670848 37288 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134564059 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 38738 37288 139 317 0 38417 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 154952 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1671096/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=156768 CPUtime=1661.73 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 39178 0 0 0 166132 41 0 0 25 0 1 0 160764855 160530432 37709 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134718434 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 39192 37709 139 317 0 38871 0 Current children cumulated CPU time (s) 1661.73 Current children cumulated vsize (KiB) 156768 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1669432/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=158068 CPUtime=1721.7 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 39575 0 0 0 172128 42 0 0 25 0 1 0 160764855 161861632 38106 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134604466 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 39517 38106 139 317 0 39196 0 Current children cumulated CPU time (s) 1721.7 Current children cumulated vsize (KiB) 158068 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1667640/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=159900 CPUtime=1781.69 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 40026 0 0 0 178126 43 0 0 25 0 1 0 160764855 163737600 38557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134710949 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 39975 38557 139 317 0 39654 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 159900 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1667000/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=160552 CPUtime=1800.09 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 40176 0 0 0 179966 43 0 0 25 0 1 0 160764855 164405248 38707 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712562 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 40138 38707 139 317 0 39817 0 Current children cumulated CPU time (s) 1800.09 Current children cumulated vsize (KiB) 160552 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: 0.99 0.97 0.97 2/78 16571 /proc/meminfo: memFree=1667000/2055920 swapFree=4127688/4192956 [pid=16446] ppid=16444 vsize=155488 CPUtime=1800.19 /proc/16446/stat : 16446 (oree) R 16444 16446 16387 0 -1 4194304 40192 0 0 0 179976 43 0 0 25 0 1 0 160764855 159219712 37560 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266299 0 0 4096 17474 0 0 0 17 1 0 0 /proc/16446/statm: 38872 37560 155 317 0 38551 0 Current children cumulated CPU time (s) 1800.19 Current children cumulated vsize (KiB) 155488 Child status: 0 Real time (s): 1800.84 CPU time (s): 1800.24 CPU user time (s): 1799.77 CPU system time (s): 0.464929 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 160552 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.77 system time used= 0.464929 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 40192 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= 3386 runsolver used 2.15767 second user time and 4.38433 second system time The end
Begin job on node5 on Tue Apr 17 22:01:12 UTC 2007 IDJOB= 356894 IDBENCH= 1605 IDSOLVER= 172 FILE ID= node5/356894-1176847270 PBS_JOBID= 4590208 Free space on /tmp= 66462 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/unibo/normalized-reduced-mps-v2-20-10-CMS750_4.opb COMMAND LINE= oree /tmp/evaluation/356894-1176847270/instance-356894-1176847270.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node5/watcher-356894-1176847270 -o ROOT/results/node5/solver-356894-1176847270 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356894-1176847270/instance-356894-1176847270.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= 55e4261919fe5e3e5c6520778d47a3ef RANDOM SEED= 450263426 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node5.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.232 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.232 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: 1820704 kB Buffers: 33072 kB Cached: 118184 kB SwapCached: 33908 kB Active: 120968 kB Inactive: 78184 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1820704 kB SwapTotal: 4192956 kB SwapFree: 4127688 kB Dirty: 12792 kB Writeback: 0 kB Mapped: 30800 kB Slab: 21288 kB Committed_AS: 8583120 kB PageTables: 1952 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= 66462 MiB End job on node5 on Tue Apr 17 22:31:15 UTC 2007