Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
oree 0.1.2 alpha | ? (TO) | 1801.09 | 1801.75 |
Name | normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/ plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb |
MD5SUM | dc68c84ca9a12d789f4fef65e97f0e43 |
Bench Category | OPT-MEDINT (optimisation, medium 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 | 2933624 |
Total number of constraints | 48672 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 48672 |
Minimum length of a constraint | 13 |
Maximum length of a constraint | 6840 |
Number of terms in the objective function | 1496264 |
Biggest coefficient in the objective function | 160 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 1988816 |
Number of bits of the sum of numbers in the objective function | 21 |
Biggest number in a constraint | 131072 |
Number of bits of the biggest number in a constraint | 18 |
Biggest sum of numbers in a constraint | 1988816 |
Number of bits of the biggest sum of numbers | 21 |
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... 32.37/32.43 c ...done 32.37/32.43 c #vars=2933624 #constraints=97241 hasObjective=yes 57.96/58.05 c res. mode=mod 57.96/58.05 c VSIDS like heuristics 57.96/58.05 c complete search running 99.04/99.10 c restart after 401 decisions 106.74/106.87 c nbDecision=500 #constraints=97320 131.13/131.27 c restart after 801 decisions 147.72/147.84 c nbDecision=1000 #constraints=97399 189.81/189.93 c nbDecision=1500 #constraints=97487 198.71/198.82 c restart after 1601 decisions 231.49/231.62 c nbDecision=2000 #constraints=97553 273.38/273.58 c nbDecision=2500 #constraints=97633 315.17/315.33 c nbDecision=3000 #constraints=97688 332.56/332.79 c restart after 3201 decisions 356.75/356.98 c nbDecision=3500 #constraints=97754 399.04/399.22 c nbDecision=4000 #constraints=97826 440.02/440.26 c nbDecision=4500 #constraints=97853 481.61/481.85 c nbDecision=5000 #constraints=97921 522.79/523.01 c nbDecision=5500 #constraints=97953 566.18/566.45 c nbDecision=6000 #constraints=98070 600.16/600.43 c restart after 6401 decisions 607.96/608.21 c nbDecision=6500 #constraints=98143 649.24/649.54 c nbDecision=7000 #constraints=98181 689.73/690.00 c nbDecision=7500 #constraints=98210 730.21/730.55 c nbDecision=8000 #constraints=98221 771.80/772.18 c nbDecision=8500 #constraints=98271 813.09/813.47 c nbDecision=9000 #constraints=98309 855.07/855.44 c nbDecision=9500 #constraints=98372 896.86/897.22 c nbDecision=10000 #constraints=98425 938.64/939.09 c nbDecision=10500 #constraints=98484 979.52/979.99 c nbDecision=11000 #constraints=98506 1021.01/1021.42 c nbDecision=11500 #constraints=98544 1062.10/1062.57 c nbDecision=12000 #constraints=98573 1103.18/1103.65 c nbDecision=12500 #constraints=98600 1127.77/1128.25 c restart after 12801 decisions 1144.57/1145.08 c nbDecision=13000 #constraints=98655 1186.25/1186.73 c nbDecision=13500 #constraints=98702 1227.43/1227.97 c nbDecision=14000 #constraints=98740 1268.52/1269.07 c nbDecision=14500 #constraints=98772 1309.51/1310.07 c nbDecision=15000 #constraints=98796 1350.59/1351.19 c nbDecision=15500 #constraints=98830 1391.27/1391.89 c nbDecision=16000 #constraints=98846 1432.16/1432.70 c nbDecision=16500 #constraints=98866 1472.75/1473.35 c nbDecision=17000 #constraints=98880 1513.63/1514.23 c nbDecision=17500 #constraints=98905 1554.12/1554.76 c nbDecision=18000 #constraints=98914 1595.60/1596.27 c nbDecision=18500 #constraints=98958 1636.98/1637.70 c nbDecision=19000 #constraints=98998 1677.67/1678.33 c nbDecision=19500 #constraints=99010 1718.36/1719.08 c nbDecision=20000 #constraints=99026 1759.54/1760.20 c nbDecision=20500 #constraints=99055 1800.04/1800.70 Received signal 15 1800.04/1800.71 1800.04/1800.71 s UNKNOWN 1800.04/1800.71 1800.04/1800.71 c user time= 1798.47 s 1800.04/1800.71 c system time= 1.58076 s 1800.04/1800.71 c wall clock time=1800.71
ERROR: no interpretation found !
runsolver version 3.2.2 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node40/watcher-356845-1176845157 -o ROOT/results/node40/solver-356845-1176845157 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356845-1176845157/instance-356845-1176845157.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: 1.08 1.02 1.00 3/77 31504 /proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1620 CPUtime=0 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 193 0 0 0 0 0 0 0 18 0 1 0 13396410 1658880 175 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134831224 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 405 175 126 317 0 84 0 [startup+0.0645641 s] /proc/loadavg: 1.08 1.02 1.00 3/77 31504 /proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=3440 CPUtime=0.05 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 791 0 0 0 5 0 0 0 18 0 1 0 13396410 3522560 546 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134760686 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 860 546 126 317 0 539 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3440 [startup+0.101572 s] /proc/loadavg: 1.08 1.02 1.00 3/77 31504 /proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=3440 CPUtime=0.09 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 896 0 0 0 9 0 0 0 18 0 1 0 13396410 3522560 651 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 860 651 126 317 0 539 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3440 [startup+0.301614 s] /proc/loadavg: 1.08 1.02 1.00 3/77 31504 /proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=9548 CPUtime=0.29 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 2901 0 0 0 28 1 0 0 19 0 1 0 13396410 9777152 1886 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 2387 1886 126 317 0 2066 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 9548 [startup+0.701698 s] /proc/loadavg: 1.08 1.02 1.00 3/77 31504 /proc/meminfo: memFree=1401080/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=17736 CPUtime=0.69 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 5933 0 0 0 66 3 0 0 22 0 1 0 13396410 18161664 3893 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 4434 3893 126 317 0 4113 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 17736 [startup+1.50187 s] /proc/loadavg: 1.08 1.02 1.00 2/78 31505 /proc/meminfo: memFree=1375344/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=34244 CPUtime=1.49 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 12008 0 0 0 143 6 0 0 25 0 1 0 13396410 35065856 7919 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134713850 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 8561 7920 126 317 0 8240 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 34244 [startup+3.1022 s] /proc/loadavg: 1.08 1.02 1.00 2/78 31505 /proc/meminfo: memFree=1347376/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=66996 CPUtime=3.09 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 22365 0 0 0 297 12 0 0 25 0 1 0 13396410 68603904 14179 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712556 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 16749 14179 127 317 0 16428 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 66996 [startup+6.30187 s] /proc/loadavg: 1.15 1.03 1.01 2/78 31505 /proc/meminfo: memFree=1304240/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=130716 CPUtime=6.29 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 38002 0 0 0 606 23 0 0 25 0 1 0 13396410 133853184 29816 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 32679 29817 131 317 0 32358 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 130716 [startup+12.7012 s] /proc/loadavg: 1.14 1.03 1.01 2/78 31505 /proc/meminfo: memFree=1144112/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=288556 CPUtime=12.68 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 76877 0 0 0 1225 43 0 0 25 0 1 0 13396410 295481344 68691 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 72139 68691 131 317 0 71818 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 288556 [startup+25.5019 s] /proc/loadavg: 1.11 1.03 1.00 2/78 31505 /proc/meminfo: memFree=819184/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=608288 CPUtime=25.47 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 155581 0 0 0 2466 81 0 0 25 0 1 0 13396410 622886912 147297 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135274709 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 152072 147298 131 317 0 151751 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 608288 [startup+51.1012 s] /proc/loadavg: 1.07 1.03 1.00 2/78 31505 /proc/meminfo: memFree=313904/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1107788 CPUtime=51.06 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 279841 0 0 0 4972 134 0 0 25 0 1 0 13396410 1134374912 271557 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134602741 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 276947 271557 137 317 0 276626 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 1107788 [startup+102.306 s] /proc/loadavg: 1.03 1.02 1.00 2/78 31505 /proc/meminfo: memFree=223792/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=102.25 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302961 0 0 0 10081 144 0 0 25 0 1 0 13396410 1229131776 294012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385209 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294012 139 317 0 299760 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 1200324 [startup+162.301 s] /proc/loadavg: 1.01 1.02 1.00 2/78 31505 /proc/meminfo: memFree=223792/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=162.22 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302961 0 0 0 16078 144 0 0 25 0 1 0 13396410 1229131776 294012 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294012 139 317 0 299760 0 Current children cumulated CPU time (s) 162.22 Current children cumulated vsize (KiB) 1200324 [startup+222.302 s] /proc/loadavg: 1.00 1.01 1.00 2/78 31505 /proc/meminfo: memFree=223920/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=222.2 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302963 0 0 0 22075 145 0 0 25 0 1 0 13396410 1229131776 294014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606698 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294014 139 317 0 299760 0 Current children cumulated CPU time (s) 222.2 Current children cumulated vsize (KiB) 1200324 [startup+282.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223920/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=282.17 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302963 0 0 0 28072 145 0 0 25 0 1 0 13396410 1229131776 294014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294014 139 317 0 299760 0 Current children cumulated CPU time (s) 282.17 Current children cumulated vsize (KiB) 1200324 [startup+342.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=342.16 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302963 0 0 0 34070 146 0 0 25 0 1 0 13396410 1229131776 294014 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294014 139 317 0 299760 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 1200324 [startup+402.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=402.13 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302965 0 0 0 40067 146 0 0 25 0 1 0 13396410 1229131776 294016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294016 139 317 0 299760 0 Current children cumulated CPU time (s) 402.13 Current children cumulated vsize (KiB) 1200324 [startup+462.301 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=462.11 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302965 0 0 0 46064 147 0 0 25 0 1 0 13396410 1229131776 294016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294016 139 317 0 299760 0 Current children cumulated CPU time (s) 462.11 Current children cumulated vsize (KiB) 1200324 [startup+522.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223856/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200324 CPUtime=522.09 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 302965 0 0 0 52062 147 0 0 25 0 1 0 13396410 1229131776 294016 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300081 294016 139 317 0 299760 0 Current children cumulated CPU time (s) 522.09 Current children cumulated vsize (KiB) 1200324 [startup+582.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223664/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200456 CPUtime=582.07 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303036 0 0 0 58059 148 0 0 25 0 1 0 13396410 1229266944 294087 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134712516 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300114 294087 170 317 0 299793 0 Current children cumulated CPU time (s) 582.07 Current children cumulated vsize (KiB) 1200456 [startup+642.302 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=223472/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1200584 CPUtime=642.05 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303082 0 0 0 64057 148 0 0 25 0 1 0 13396410 1229398016 294133 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606673 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300146 294133 170 317 0 299825 0 Current children cumulated CPU time (s) 642.05 Current children cumulated vsize (KiB) 1200584 ################ # More data... # ################ [startup+1002.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=221168/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1202936 CPUtime=1001.91 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303668 0 0 0 100040 151 0 0 25 0 1 0 13396410 1231806464 294719 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135384501 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300734 294719 170 317 0 300413 0 Current children cumulated CPU time (s) 1001.91 Current children cumulated vsize (KiB) 1202936 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=220784/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1203328 CPUtime=1061.9 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303757 0 0 0 106038 152 0 0 25 0 1 0 13396410 1232207872 294808 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606695 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300832 294808 170 317 0 300511 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1203328 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=220528/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1203580 CPUtime=1121.87 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303821 0 0 0 112035 152 0 0 25 0 1 0 13396410 1232465920 294872 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606845 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300895 294872 170 317 0 300574 0 Current children cumulated CPU time (s) 1121.87 Current children cumulated vsize (KiB) 1203580 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=220272/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1203840 CPUtime=1181.85 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 303900 0 0 0 118032 153 0 0 25 0 1 0 13396410 1232732160 294951 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 300960 294951 170 317 0 300639 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1203840 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=219824/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1204236 CPUtime=1241.83 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304004 0 0 0 124030 153 0 0 25 0 1 0 13396410 1233137664 295055 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385274 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301059 295055 170 317 0 300738 0 Current children cumulated CPU time (s) 1241.83 Current children cumulated vsize (KiB) 1204236 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=218992/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1205032 CPUtime=1301.81 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304200 0 0 0 130027 154 0 0 25 0 1 0 13396410 1233952768 295251 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385198 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301258 295251 170 317 0 300937 0 Current children cumulated CPU time (s) 1301.81 Current children cumulated vsize (KiB) 1205032 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=218672/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1205304 CPUtime=1361.78 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304271 0 0 0 136024 154 0 0 25 0 1 0 13396410 1234231296 295322 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606843 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301326 295322 170 317 0 301005 0 Current children cumulated CPU time (s) 1361.78 Current children cumulated vsize (KiB) 1205304 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=218416/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1205692 CPUtime=1421.77 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304356 0 0 0 142022 155 0 0 25 0 1 0 13396410 1234628608 295407 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606713 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301423 295407 170 317 0 301102 0 Current children cumulated CPU time (s) 1421.77 Current children cumulated vsize (KiB) 1205692 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=218160/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1205940 CPUtime=1481.74 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304411 0 0 0 148019 155 0 0 25 0 1 0 13396410 1234882560 295462 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301485 295462 170 317 0 301164 0 Current children cumulated CPU time (s) 1481.74 Current children cumulated vsize (KiB) 1205940 [startup+1542.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=217904/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1206200 CPUtime=1541.73 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304479 0 0 0 154017 156 0 0 25 0 1 0 13396410 1235148800 295530 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606679 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301550 295530 170 317 0 301229 0 Current children cumulated CPU time (s) 1541.73 Current children cumulated vsize (KiB) 1206200 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=217648/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1206464 CPUtime=1601.7 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304540 0 0 0 160014 156 0 0 25 0 1 0 13396410 1235419136 295591 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606710 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301616 295591 170 317 0 301295 0 Current children cumulated CPU time (s) 1601.7 Current children cumulated vsize (KiB) 1206464 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=217392/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1206716 CPUtime=1661.68 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304617 0 0 0 166011 157 0 0 25 0 1 0 13396410 1235677184 295668 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606869 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301679 295668 170 317 0 301358 0 Current children cumulated CPU time (s) 1661.68 Current children cumulated vsize (KiB) 1206716 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=217136/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1206852 CPUtime=1721.66 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304666 0 0 0 172009 157 0 0 25 0 1 0 13396410 1235816448 295717 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385236 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301713 295717 170 317 0 301392 0 Current children cumulated CPU time (s) 1721.66 Current children cumulated vsize (KiB) 1206852 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 1.00 3/78 31505 /proc/meminfo: memFree=216816/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1207240 CPUtime=1781.63 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304751 0 0 0 178006 157 0 0 25 0 1 0 13396410 1236213760 295802 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135385190 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301810 295802 170 317 0 301489 0 Current children cumulated CPU time (s) 1781.63 Current children cumulated vsize (KiB) 1207240 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.71 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=216752/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1207240 CPUtime=1800.04 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304763 0 0 0 179846 158 0 0 25 0 1 0 13396410 1236213760 295814 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 134606677 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 301810 295814 170 317 0 301489 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1207240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1801.4 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=216752/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=1143900 CPUtime=1800.72 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194304 304779 0 0 0 179914 158 0 0 25 0 1 0 13396410 1171353600 280646 18446744073709551615 134512640 135812674 4294956704 18446744073709551615 135266299 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 285975 280646 186 317 0 285654 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (KiB) 1143900 [startup+1801.6 s] /proc/loadavg: 1.00 1.00 1.00 2/78 31505 /proc/meminfo: memFree=216752/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=0 CPUtime=1800.93 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194308 304779 0 0 0 179932 161 0 0 25 0 1 0 13396410 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.93 Current children cumulated vsize (KiB) 0 [startup+1801.7 s] /proc/loadavg: 1.00 1.00 1.00 2/79 31506 /proc/meminfo: memFree=1076648/2055920 swapFree=4192956/4192956 [pid=31504] ppid=31502 vsize=0 CPUtime=1801.03 /proc/31504/stat : 31504 (oree) R 31502 31504 30876 0 -1 4194308 304779 0 0 0 179932 171 0 0 25 0 1 0 13396410 0 0 18446744073709551615 0 0 0 0 0 0 0 4096 17474 0 0 0 17 1 0 0 /proc/31504/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1801.03 Current children cumulated vsize (KiB) 0 Child status: 0 Real time (s): 1801.75 CPU time (s): 1801.09 CPU user time (s): 1799.33 CPU system time (s): 1.76473 CPU usage (%): 99.9632 Max. virtual memory (cumulated for all children) (KiB): 1207240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1799.33 system time used= 1.76473 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 304779 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= 2731 runsolver used 2.17667 second user time and 4.38833 second system time The end
Begin job on node40 on Tue Apr 17 21:26:08 UTC 2007 IDJOB= 356845 IDBENCH= 1503 IDSOLVER= 172 FILE ID= node40/356845-1176845157 PBS_JOBID= 4590176 Free space on /tmp= 66426 MiB SOLVER NAME= oree 0.1.2 alpha BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-MEDINT/reduced/mps-v2-20-10/plato.asu.edu/pub/lptestset/fome/normalized-reduced-mps-v2-20-10-fome13.opb COMMAND LINE= oree /tmp/evaluation/356845-1176845157/instance-356845-1176845157.opb mod RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node40/watcher-356845-1176845157 -o ROOT/results/node40/solver-356845-1176845157 -C 1800 -W 3600 -M 1800 --output-limit 1,15 oree /tmp/evaluation/356845-1176845157/instance-356845-1176845157.opb mod META MD5SUM SOLVER= 4e41df0f0543e325f03c5155f85b9e9b MD5SUM BENCH= dc68c84ca9a12d789f4fef65e97f0e43 RANDOM SEED= 115583888 TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB Linux node40.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.283 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.283 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: 1401488 kB Buffers: 40956 kB Cached: 438512 kB SwapCached: 0 kB Active: 198228 kB Inactive: 383604 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1401488 kB SwapTotal: 4192956 kB SwapFree: 4192956 kB Dirty: 124036 kB Writeback: 0 kB Mapped: 121260 kB Slab: 58028 kB Committed_AS: 246776 kB PageTables: 1864 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= 66426 MiB End job on node40 on Tue Apr 17 21:56:11 UTC 2007