Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.66 | 1801.15 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/primes-dimacs-cnf/normalized-ii8d2.opb |
MD5SUM | ccbbad891f18298525c42c78a48134ce |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 540 |
Best CPU time to get the best result obtained on this benchmark | 1800.63 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 540 |
Optimality of the best value was proved | NO |
Number of variables | 1860 |
Total number of constraints | 7477 |
Number of constraints which are clauses | 7477 |
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 | 2 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 1860 |
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 | 1860 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 1860 |
Number of bits of the biggest sum of numbers | 11 |
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/node39/41734-1149408579/instance-41734-1149408579.opb ...... 0.09 c done parsing opb. 0.09 o 930 0.13 o 929 0.15 o 928 0.15 o 710 1098.95 o 703 1098.96 o 657 1098.97 o 645
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/node39/watcher-41734-1149408579 -o ROOT/results/node39/solver-41734-1149408579 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/41734-1149408579/instance-41734-1149408579.opb 595267086 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1865920/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=1576 CPUtime=0 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 203 0 0 0 0 0 0 0 18 0 1 0 206524235 1613824 187 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 394 187 97 232 0 159 0 [startup+10.0023 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1854792/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=18512 CPUtime=9.99 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 2969 0 0 0 998 1 0 0 25 0 1 0 206524235 18956288 2895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551977 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 4628 2895 108 232 0 4393 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 18512 [startup+20.0083 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1844304/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=34896 CPUtime=20 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 5594 0 0 0 1998 2 0 0 25 0 1 0 206524235 35733504 5520 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 8724 5520 108 232 0 8489 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 34896 [startup+30.0142 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1834000/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=34896 CPUtime=30 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 8177 0 0 0 2996 4 0 0 25 0 1 0 206524235 35733504 8103 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 8724 8103 108 232 0 8489 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 34896 [startup+40.0201 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1825104/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=67796 CPUtime=40 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 10388 0 0 0 3995 5 0 0 25 0 1 0 206524235 69423104 10314 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 16949 10314 108 232 0 16714 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 67796 [startup+50.0261 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1821776/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=67928 CPUtime=50 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11223 0 0 0 4995 5 0 0 25 0 1 0 206524235 69558272 11149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549087 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 16982 11149 108 232 0 16747 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 67928 [startup+60.032 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1821264/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68592 CPUtime=60 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11396 0 0 0 5990 10 0 0 25 0 1 0 206524235 70238208 11225 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17148 11225 108 232 0 16913 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 68592 [startup+70.0379 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1821328/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68592 CPUtime=70.01 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11423 0 0 0 6985 16 0 0 25 0 1 0 206524235 70238208 11252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17148 11252 108 232 0 16913 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 68592 [startup+80.0439 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1821264/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68724 CPUtime=80.01 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11452 0 0 0 7979 22 0 0 25 0 1 0 206524235 70373376 11281 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549214 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17181 11281 108 232 0 16946 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 68724 [startup+90.0488 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1821136/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68852 CPUtime=90.02 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11488 0 0 0 8972 30 0 0 25 0 1 0 206524235 70504448 11317 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17213 11317 108 232 0 16978 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 68852 [startup+100.055 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1821008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68852 CPUtime=100.01 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11513 0 0 0 9963 38 0 0 25 0 1 0 206524235 70504448 11342 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17213 11342 108 232 0 16978 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 68852 [startup+110.061 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820944/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68972 CPUtime=110.02 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11536 0 0 0 10958 44 0 0 25 0 1 0 206524235 70627328 11365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17243 11365 108 232 0 17008 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 68972 [startup+120.067 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820816/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68972 CPUtime=120.02 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11562 0 0 0 11951 51 0 0 25 0 1 0 206524235 70627328 11391 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17243 11391 108 232 0 17008 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 68972 [startup+130.073 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820752/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=68972 CPUtime=130.03 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11582 0 0 0 12943 60 0 0 25 0 1 0 206524235 70627328 11411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17243 11411 108 232 0 17008 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 68972 [startup+140.078 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820624/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=69128 CPUtime=140.04 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11602 0 0 0 13938 66 0 0 25 0 1 0 206524235 70787072 11431 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17282 11431 108 232 0 17047 0 Current children cumulated CPU time (s) 140.04 Current children cumulated vsize (Kb) 69128 [startup+150.084 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820560/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=69128 CPUtime=150.03 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11621 0 0 0 14932 71 0 0 25 0 1 0 206524235 70787072 11450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17282 11450 108 232 0 17047 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 69128 [startup+160.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820304/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=69896 CPUtime=160.04 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11837 0 0 0 15925 79 0 0 25 0 1 0 206524235 71573504 11473 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17474 11473 108 232 0 17239 0 Current children cumulated CPU time (s) 160.04 Current children cumulated vsize (Kb) 69896 [startup+170.096 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820304/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=70068 CPUtime=170.04 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11853 0 0 0 16917 87 0 0 25 0 1 0 206524235 71749632 11489 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17517 11489 108 232 0 17282 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 70068 [startup+180.102 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820304/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=70068 CPUtime=180.05 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11874 0 0 0 17913 92 0 0 25 0 1 0 206524235 71749632 11510 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564527 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17517 11510 108 232 0 17282 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 70068 [startup+190.108 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820240/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=70068 CPUtime=190.05 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11898 0 0 0 18907 98 0 0 25 0 1 0 206524235 71749632 11534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17517 11534 108 232 0 17282 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 70068 [startup+200.114 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820176/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=70196 CPUtime=200.05 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 11914 0 0 0 19898 107 0 0 25 0 1 0 206524235 71880704 11550 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 17549 11550 108 232 0 17314 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 70196 [startup+210.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26676 /proc/meminfo: memFree=1820112/2055920 swapFree=4180844/4192956 ################ # More data... # ################ /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 177977 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549321 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13992 108 232 0 19899 0 Current children cumulated CPU time (s) 1781.55 Current children cumulated vsize (Kb) 80536 [startup+1783.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1782.55 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 178077 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549314 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13992 108 232 0 19899 0 Current children cumulated CPU time (s) 1782.55 Current children cumulated vsize (Kb) 80536 [startup+1784.05 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1783.56 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 178178 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564471 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13992 108 232 0 19899 0 Current children cumulated CPU time (s) 1783.56 Current children cumulated vsize (Kb) 80536 [startup+1785.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1784.56 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15510 0 0 0 178278 178 0 0 25 0 1 0 206524235 82468864 13992 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13992 108 232 0 19899 0 Current children cumulated CPU time (s) 1784.56 Current children cumulated vsize (Kb) 80536 [startup+1786.06 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1785.57 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178379 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549449 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13993 108 232 0 19899 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 80536 [startup+1787.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1786.57 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178479 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13993 108 232 0 19899 0 Current children cumulated CPU time (s) 1786.57 Current children cumulated vsize (Kb) 80536 [startup+1788.07 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1787.58 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178580 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549513 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13993 108 232 0 19899 0 Current children cumulated CPU time (s) 1787.58 Current children cumulated vsize (Kb) 80536 [startup+1789.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1788.58 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15511 0 0 0 178680 178 0 0 25 0 1 0 206524235 82468864 13993 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13993 108 232 0 19899 0 Current children cumulated CPU time (s) 1788.58 Current children cumulated vsize (Kb) 80536 [startup+1790.08 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1789.59 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 178781 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13994 108 232 0 19899 0 Current children cumulated CPU time (s) 1789.59 Current children cumulated vsize (Kb) 80536 [startup+1791.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1790.59 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 178881 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13994 108 232 0 19899 0 Current children cumulated CPU time (s) 1790.59 Current children cumulated vsize (Kb) 80536 [startup+1792.09 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1791.59 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 178981 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549054 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13994 108 232 0 19899 0 Current children cumulated CPU time (s) 1791.59 Current children cumulated vsize (Kb) 80536 [startup+1793.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1792.6 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 179082 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549211 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13994 108 232 0 19899 0 Current children cumulated CPU time (s) 1792.6 Current children cumulated vsize (Kb) 80536 [startup+1794.1 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1793.6 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15512 0 0 0 179182 178 0 0 25 0 1 0 206524235 82468864 13994 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564535 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13994 108 232 0 19899 0 Current children cumulated CPU time (s) 1793.6 Current children cumulated vsize (Kb) 80536 [startup+1795.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1794.61 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179283 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549288 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13995 108 232 0 19899 0 Current children cumulated CPU time (s) 1794.61 Current children cumulated vsize (Kb) 80536 [startup+1796.11 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1795.61 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179383 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549200 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13995 108 232 0 19899 0 Current children cumulated CPU time (s) 1795.61 Current children cumulated vsize (Kb) 80536 [startup+1797.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1796.62 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179484 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13995 108 232 0 19899 0 Current children cumulated CPU time (s) 1796.62 Current children cumulated vsize (Kb) 80536 [startup+1798.12 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1797.62 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179584 178 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13995 108 232 0 19899 0 Current children cumulated CPU time (s) 1797.62 Current children cumulated vsize (Kb) 80536 [startup+1799.13 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1798.64 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15513 0 0 0 179685 179 0 0 25 0 1 0 206524235 82468864 13995 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13995 108 232 0 19899 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 80536 [startup+1800.13 s] /proc/loadavg: 1.00 1.00 0.98 2/64 26678 /proc/meminfo: memFree=1810008/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80536 CPUtime=1799.64 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15514 0 0 0 179785 179 0 0 25 0 1 0 206524235 82468864 13996 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20134 13996 108 232 0 19899 0 Current children cumulated CPU time (s) 1799.64 Current children cumulated vsize (Kb) 80536 [startup+1801.13 s] /proc/loadavg: 1.00 1.00 0.98 3/64 26678 /proc/meminfo: memFree=1809880/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80852 CPUtime=1800.64 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15531 0 0 0 179885 179 0 0 25 0 1 0 206524235 82792448 14013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20213 14013 108 232 0 19978 0 Current children cumulated CPU time (s) 1800.64 Current children cumulated vsize (Kb) 80852 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.14 s] /proc/loadavg: 1.00 1.00 0.98 3/64 26678 /proc/meminfo: memFree=1809880/2055920 swapFree=4180844/4192956 [pid=26676] ppid=26674 vsize=80852 CPUtime=1800.65 /proc/26676/stat : 26676 (PBS4L) R 26674 26676 26630 0 -1 4194304 15531 0 0 0 179886 179 0 0 25 0 1 0 206524235 82792448 14013 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/26676/statm: 20213 14013 108 232 0 19978 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 80852 Sending SIGTERM to -26676 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.15 CPU time (s): 1800.66 CPU user time (s): 1798.86 CPU system time (s): 1.80173 CPU usage (%): 99.9729 Max. virtual memory (cumulated for all children) (Kb): 80852 The end
Begin job on node39 on Sun Jun 4 08:09:39 UTC 2006 FILE ID= 41734-1149408579 PBS_JOBID= 314563 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/primes-dimacs-cnf/normalized-ii8d2.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/41734-1149408579/instance-41734-1149408579.opb 595267086 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node39/watcher-41734-1149408579 -o ROOT/results/node39/solver-41734-1149408579 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node39/41734-1149408579/instance-41734-1149408579.opb 595267086 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= ccbbad891f18298525c42c78a48134ce RANDOM SEED= 595267086 /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.213 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 : 5931.00 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.213 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: 1866064 kB Buffers: 10512 kB Cached: 118464 kB SwapCached: 3624 kB Active: 31272 kB Inactive: 106224 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1866064 kB SwapTotal: 4192956 kB SwapFree: 4180844 kB Dirty: 212 kB Writeback: 0 kB Mapped: 14596 kB Slab: 38376 kB Committed_AS: 412172 kB PageTables: 1428 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node39 on Sun Jun 4 08:39:41 UTC 2006