Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.5 | 1801.16 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-par32-1.opb |
MD5SUM | 5a9e4c8983ff8fc3ce01109a5c224dd2 |
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 | 6352 |
Total number of constraints | 13453 |
Number of constraints which are clauses | 13453 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 3 |
Number of terms in the objective function | 6352 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 6352 |
Number of bits of the sum of numbers in the objective function | 13 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 6352 |
Number of bits of the biggest sum of numbers | 13 |
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 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node82/41886-1149285752/instance-41886-1149285752.opb ......
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node82/watcher-41886-1149285752 -o ROOT/results/node82/solver-41886-1149285752 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41886-1149285752/instance-41886-1149285752.opb 297383870 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.84 0.92 0.90 2/68 26254 /proc/meminfo: memFree=1563704/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=1996 CPUtime=0 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 198 0 0 0 0 0 0 0 18 0 1 0 185764484 2043904 183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 499 185 90 232 0 264 0 [startup+10.0027 s] /proc/loadavg: 0.86 0.92 0.90 2/68 26254 /proc/meminfo: memFree=1560760/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=4512 CPUtime=9.99 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 952 0 0 0 999 0 0 0 25 0 1 0 185764484 4620288 880 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 1128 880 105 232 0 893 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 4512 [startup+20.0086 s] /proc/loadavg: 0.88 0.92 0.90 2/68 26254 /proc/meminfo: memFree=1560248/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=4780 CPUtime=19.99 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1077 0 0 0 1999 0 0 0 25 0 1 0 185764484 4894720 1005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 1195 1005 105 232 0 960 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 4780 [startup+30.0145 s] /proc/loadavg: 0.90 0.92 0.90 2/68 26254 /proc/meminfo: memFree=1559672/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=5948 CPUtime=29.99 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1221 0 0 0 2999 0 0 0 25 0 1 0 185764484 6090752 1149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 1487 1149 105 232 0 1252 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 5948 [startup+40.0204 s] /proc/loadavg: 0.92 0.92 0.90 2/68 26254 /proc/meminfo: memFree=1559160/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=6456 CPUtime=39.99 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1426 0 0 0 3999 0 0 0 25 0 1 0 185764484 6610944 1257 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 1614 1257 105 232 0 1379 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 6456 [startup+50.0263 s] /proc/loadavg: 0.93 0.93 0.90 2/68 26254 /proc/meminfo: memFree=1558584/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=6720 CPUtime=50 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1593 0 0 0 4999 1 0 0 25 0 1 0 185764484 6881280 1424 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 1680 1424 105 232 0 1445 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 6720 [startup+60.0322 s] /proc/loadavg: 0.94 0.93 0.90 2/68 26254 /proc/meminfo: memFree=1558136/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=8768 CPUtime=60 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1718 0 0 0 5999 1 0 0 25 0 1 0 185764484 8978432 1549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2192 1549 105 232 0 1957 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 8768 [startup+70.0381 s] /proc/loadavg: 0.95 0.93 0.91 2/68 26254 /proc/meminfo: memFree=1557560/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=8992 CPUtime=70 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1846 0 0 0 6999 1 0 0 25 0 1 0 185764484 9207808 1677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2248 1677 105 232 0 2013 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 8992 [startup+80.044 s] /proc/loadavg: 0.95 0.93 0.91 2/68 26254 /proc/meminfo: memFree=1557368/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9152 CPUtime=80 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1895 0 0 0 7999 1 0 0 25 0 1 0 185764484 9371648 1726 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2288 1726 105 232 0 2053 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 9152 [startup+90.0499 s] /proc/loadavg: 0.96 0.93 0.91 2/68 26254 /proc/meminfo: memFree=1557240/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9152 CPUtime=90.01 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 1921 0 0 0 8999 2 0 0 25 0 1 0 185764484 9371648 1752 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2288 1752 105 232 0 2053 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 9152 [startup+100.056 s] /proc/loadavg: 0.97 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556920/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9280 CPUtime=100.01 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2002 0 0 0 9999 2 0 0 25 0 1 0 185764484 9502720 1833 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2320 1833 105 232 0 2085 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 9280 [startup+110.062 s] /proc/loadavg: 0.97 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556792/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9412 CPUtime=110.01 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2038 0 0 0 10999 2 0 0 25 0 1 0 185764484 9637888 1869 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552179 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2353 1869 105 232 0 2118 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 9412 [startup+120.068 s] /proc/loadavg: 0.98 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556792/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9496 CPUtime=120.01 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2053 0 0 0 11999 2 0 0 25 0 1 0 185764484 9723904 1884 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2374 1884 105 232 0 2139 0 Current children cumulated CPU time (s) 120.01 Current children cumulated vsize (Kb) 9496 [startup+130.073 s] /proc/loadavg: 0.98 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556728/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9496 CPUtime=130.02 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2067 0 0 0 12999 3 0 0 25 0 1 0 185764484 9723904 1898 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2374 1898 105 232 0 2139 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 9496 [startup+140.079 s] /proc/loadavg: 0.98 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556600/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9596 CPUtime=140.01 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2094 0 0 0 13998 3 0 0 25 0 1 0 185764484 9826304 1925 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2399 1925 105 232 0 2164 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 9596 [startup+150.085 s] /proc/loadavg: 0.98 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556536/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9596 CPUtime=150.02 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2114 0 0 0 14998 4 0 0 25 0 1 0 185764484 9826304 1945 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2399 1945 105 232 0 2164 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 9596 [startup+160.091 s] /proc/loadavg: 0.99 0.94 0.91 2/68 26254 /proc/meminfo: memFree=1556280/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9708 CPUtime=160.02 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2176 0 0 0 15997 5 0 0 25 0 1 0 185764484 9940992 2007 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2427 2007 105 232 0 2192 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 9708 [startup+170.097 s] /proc/loadavg: 0.99 0.95 0.91 2/68 26254 /proc/meminfo: memFree=1555896/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9708 CPUtime=170.03 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2269 0 0 0 16997 6 0 0 25 0 1 0 185764484 9940992 2100 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2427 2100 105 232 0 2192 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 9708 [startup+180.103 s] /proc/loadavg: 0.99 0.95 0.91 2/68 26254 /proc/meminfo: memFree=1555832/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9796 CPUtime=180.03 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2286 0 0 0 17997 6 0 0 25 0 1 0 185764484 10031104 2117 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2449 2117 105 232 0 2214 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 9796 [startup+190.109 s] /proc/loadavg: 0.99 0.95 0.91 2/68 26254 /proc/meminfo: memFree=1555384/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=9912 CPUtime=190.03 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2387 0 0 0 18996 7 0 0 25 0 1 0 185764484 10149888 2218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2478 2218 105 232 0 2243 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 9912 [startup+200.115 s] /proc/loadavg: 0.99 0.95 0.91 2/68 26254 /proc/meminfo: memFree=1555000/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=10680 CPUtime=200.03 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 2674 0 0 0 19996 7 0 0 25 0 1 0 185764484 10936320 2312 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 2670 2312 105 232 0 2435 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 10680 [startup+210.121 s] /proc/loadavg: 0.99 0.95 0.91 2/68 26254 /proc/meminfo: memFree=1554872/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14680 0 0 0 178095 44 0 0 25 0 1 0 185764484 85995520 13164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13164 105 232 0 20760 0 Current children cumulated CPU time (s) 1781.39 Current children cumulated vsize (Kb) 83980 [startup+1783.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511544/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1782.39 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14680 0 0 0 178195 44 0 0 25 0 1 0 185764484 85995520 13164 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13164 105 232 0 20760 0 Current children cumulated CPU time (s) 1782.39 Current children cumulated vsize (Kb) 83980 [startup+1784.06 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511544/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1783.39 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14681 0 0 0 178295 44 0 0 25 0 1 0 185764484 85995520 13165 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13165 105 232 0 20760 0 Current children cumulated CPU time (s) 1783.39 Current children cumulated vsize (Kb) 83980 [startup+1785.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511544/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1784.4 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14691 0 0 0 178396 44 0 0 25 0 1 0 185764484 85995520 13175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13175 105 232 0 20760 0 Current children cumulated CPU time (s) 1784.4 Current children cumulated vsize (Kb) 83980 [startup+1786.07 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1785.4 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14692 0 0 0 178496 44 0 0 25 0 1 0 185764484 85995520 13176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13176 105 232 0 20760 0 Current children cumulated CPU time (s) 1785.4 Current children cumulated vsize (Kb) 83980 [startup+1787.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1786.41 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14692 0 0 0 178597 44 0 0 25 0 1 0 185764484 85995520 13176 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13176 105 232 0 20760 0 Current children cumulated CPU time (s) 1786.41 Current children cumulated vsize (Kb) 83980 [startup+1788.08 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1787.42 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14693 0 0 0 178697 45 0 0 25 0 1 0 185764484 85995520 13177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13177 105 232 0 20760 0 Current children cumulated CPU time (s) 1787.42 Current children cumulated vsize (Kb) 83980 [startup+1789.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1788.43 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14693 0 0 0 178798 45 0 0 25 0 1 0 185764484 85995520 13177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13177 105 232 0 20760 0 Current children cumulated CPU time (s) 1788.43 Current children cumulated vsize (Kb) 83980 [startup+1790.09 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1789.43 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14694 0 0 0 178898 45 0 0 25 0 1 0 185764484 85995520 13178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13178 105 232 0 20760 0 Current children cumulated CPU time (s) 1789.43 Current children cumulated vsize (Kb) 83980 [startup+1791.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1790.43 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14694 0 0 0 178998 45 0 0 25 0 1 0 185764484 85995520 13178 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13178 105 232 0 20760 0 Current children cumulated CPU time (s) 1790.43 Current children cumulated vsize (Kb) 83980 [startup+1792.1 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=83980 CPUtime=1791.44 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14695 0 0 0 179099 45 0 0 25 0 1 0 185764484 85995520 13179 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 20995 13179 105 232 0 20760 0 Current children cumulated CPU time (s) 1791.44 Current children cumulated vsize (Kb) 83980 [startup+1793.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511480/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1792.44 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14699 0 0 0 179199 45 0 0 25 0 1 0 185764484 86085632 13183 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13183 105 232 0 20782 0 Current children cumulated CPU time (s) 1792.44 Current children cumulated vsize (Kb) 84068 [startup+1794.11 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511416/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1793.45 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14715 0 0 0 179300 45 0 0 25 0 1 0 185764484 86085632 13199 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13199 105 232 0 20782 0 Current children cumulated CPU time (s) 1793.45 Current children cumulated vsize (Kb) 84068 [startup+1795.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511352/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1794.45 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14733 0 0 0 179400 45 0 0 25 0 1 0 185764484 86085632 13217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552305 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13217 105 232 0 20782 0 Current children cumulated CPU time (s) 1794.45 Current children cumulated vsize (Kb) 84068 [startup+1796.12 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511288/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1795.46 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14749 0 0 0 179501 45 0 0 25 0 1 0 185764484 86085632 13233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13233 105 232 0 20782 0 Current children cumulated CPU time (s) 1795.46 Current children cumulated vsize (Kb) 84068 [startup+1797.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511160/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1796.46 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14770 0 0 0 179601 45 0 0 25 0 1 0 185764484 86085632 13254 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13254 105 232 0 20782 0 Current children cumulated CPU time (s) 1796.46 Current children cumulated vsize (Kb) 84068 [startup+1798.13 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511096/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1797.46 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14789 0 0 0 179701 45 0 0 25 0 1 0 185764484 86085632 13273 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13273 105 232 0 20782 0 Current children cumulated CPU time (s) 1797.46 Current children cumulated vsize (Kb) 84068 [startup+1799.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1511032/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1798.47 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14809 0 0 0 179802 45 0 0 25 0 1 0 185764484 86085632 13293 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13293 105 232 0 20782 0 Current children cumulated CPU time (s) 1798.47 Current children cumulated vsize (Kb) 84068 [startup+1800.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1510968/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1799.47 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14824 0 0 0 179902 45 0 0 25 0 1 0 185764484 86085632 13308 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13308 105 232 0 20782 0 Current children cumulated CPU time (s) 1799.47 Current children cumulated vsize (Kb) 84068 [startup+1801.14 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1510904/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1800.48 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14839 0 0 0 180003 45 0 0 25 0 1 0 185764484 86085632 13323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13323 105 232 0 20782 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 84068 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.15 s] /proc/loadavg: 0.99 0.97 0.91 2/68 26256 /proc/meminfo: memFree=1510904/2055892 swapFree=4087504/4096564 [pid=26254] ppid=26252 vsize=84068 CPUtime=1800.48 /proc/26254/stat : 26254 (PBS4L) R 26252 26254 26208 0 -1 4194304 14839 0 0 0 180003 45 0 0 25 0 1 0 185764484 86085632 13323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/26254/statm: 21017 13323 105 232 0 20782 0 Current children cumulated CPU time (s) 1800.48 Current children cumulated vsize (Kb) 84068 Sending SIGTERM to -26254 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.16 CPU time (s): 1800.5 CPU user time (s): 1800.04 CPU system time (s): 0.461929 CPU usage (%): 99.9631 Max. virtual memory (cumulated for all children) (Kb): 84068 The end
Begin job on node82 on Fri Jun 2 22:02:32 UTC 2006 FILE ID= 41886-1149285752 PBS_JOBID= 306533 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-par32-1.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41886-1149285752/instance-41886-1149285752.opb 297383870 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-41886-1149285752 -o ROOT/results/node82/solver-41886-1149285752 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41886-1149285752/instance-41886-1149285752.opb 297383870 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 5a9e4c8983ff8fc3ce01109a5c224dd2 RANDOM SEED= 297383870 /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.265 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 : 6006.17 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.265 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 : 5999.43 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055892 kB MemFree: 1564104 kB Buffers: 30452 kB Cached: 389404 kB SwapCached: 2764 kB Active: 46080 kB Inactive: 382480 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1564104 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 172 kB Writeback: 0 kB Mapped: 14572 kB Slab: 49592 kB Committed_AS: 295636 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 22:32:33 UTC 2006