Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.58 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_19.opb |
MD5SUM | 5a1b3155d98b6c4d8f9ab1b869fece67 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 355 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 355 |
Optimality of the best value was proved | NO |
Number of variables | 11001 |
Total number of constraints | 21678 |
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 | 21678 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2765 |
Number of bits of the biggest sum of numbers | 12 |
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/node4/46607-1154067828/instance-46607-1154067828.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 runsolver version 3.0.3 (c) roussel@cril.univ-artois.fr Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes command line: runsolver --timestamp -w ROOT/results/node4/watcher-46607-1154067828 -o ROOT/results/node4/solver-46607-1154067828 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node4/46607-1154067828/instance-46607-1154067828.opb 406720343 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=848320/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=2432 CPUtime=0 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 163 0 0 0 0 0 0 0 19 0 1 0 153644246 2490368 146 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 608 148 90 232 0 373 0 [startup+10.0025 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=823232/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=26876 CPUtime=9.98 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7135 0 0 0 996 2 0 0 25 0 1 0 153644246 27521024 6368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 6719 6368 104 232 0 6484 0 Current children cumulated CPU time (s) 9.98 Current children cumulated vsize (Kb) 26876 [startup+20.0092 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=823168/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=27132 CPUtime=19.99 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7218 0 0 0 1996 3 0 0 25 0 1 0 153644246 27783168 6451 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 6783 6451 104 232 0 6548 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 27132 [startup+30.016 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=822976/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=27644 CPUtime=29.99 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7293 0 0 0 2996 3 0 0 25 0 1 0 153644246 28307456 6526 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 6911 6526 104 232 0 6676 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 27644 [startup+40.0217 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=822656/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=28668 CPUtime=40 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7371 0 0 0 3996 4 0 0 25 0 1 0 153644246 29356032 6604 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546720 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7167 6604 104 232 0 6932 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 28668 [startup+50.0285 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=822336/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=28668 CPUtime=50 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7453 0 0 0 4996 4 0 0 25 0 1 0 153644246 29356032 6686 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7167 6686 105 232 0 6932 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 28668 [startup+60.0343 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=822080/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=28668 CPUtime=60 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7521 0 0 0 5996 4 0 0 25 0 1 0 153644246 29356032 6754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7167 6754 105 232 0 6932 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 28668 [startup+70.04 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=821952/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=28668 CPUtime=70.01 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7559 0 0 0 6996 5 0 0 25 0 1 0 153644246 29356032 6792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7167 6792 105 232 0 6932 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 28668 [startup+80.0468 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=821824/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=28668 CPUtime=80.01 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7601 0 0 0 7996 5 0 0 25 0 1 0 153644246 29356032 6834 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546730 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7167 6834 105 232 0 6932 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 28668 [startup+90.0526 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=821568/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=90.01 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7658 0 0 0 8996 5 0 0 25 0 1 0 153644246 31453184 6891 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546720 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 6891 105 232 0 7444 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 30716 [startup+100.058 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=821312/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=100.02 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7720 0 0 0 9996 6 0 0 25 0 1 0 153644246 31453184 6953 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 6953 105 232 0 7444 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 30716 [startup+110.064 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=821120/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=110.02 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7778 0 0 0 10996 6 0 0 25 0 1 0 153644246 31453184 7011 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 7011 105 232 0 7444 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 30716 [startup+120.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=820864/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=120.02 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7842 0 0 0 11996 6 0 0 25 0 1 0 153644246 31453184 7075 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 7075 105 232 0 7444 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 30716 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=820608/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=130.03 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7891 0 0 0 12996 7 0 0 25 0 1 0 153644246 31453184 7124 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 7124 105 232 0 7444 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 30716 [startup+140.081 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=820416/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=140.02 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 7944 0 0 0 13995 7 0 0 25 0 1 0 153644246 31453184 7177 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 7177 105 232 0 7444 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 30716 [startup+150.087 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=820160/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=150.02 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 8006 0 0 0 14995 7 0 0 25 0 1 0 153644246 31453184 7239 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 7239 105 232 0 7444 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 30716 [startup+160.093 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=819840/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=30716 CPUtime=160.03 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 8091 0 0 0 15995 8 0 0 25 0 1 0 153644246 31453184 7324 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 7679 7324 105 232 0 7444 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 30716 [startup+170.099 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=819648/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=34812 CPUtime=170.03 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 8135 0 0 0 16995 8 0 0 25 0 1 0 153644246 35647488 7368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 8703 7368 105 232 0 8468 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 34812 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=819648/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=34812 CPUtime=180.04 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 8135 0 0 0 17995 9 0 0 25 0 1 0 153644246 35647488 7368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 8703 7368 105 232 0 8468 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 34812 [startup+190.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=819392/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=34812 CPUtime=190.04 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 8195 0 0 0 18995 9 0 0 25 0 1 0 153644246 35647488 7428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 8703 7428 105 232 0 8468 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 34812 [startup+200.116 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 /proc/meminfo: memFree=819200/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=34812 CPUtime=200.04 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 8243 0 0 0 19995 9 0 0 25 0 1 0 153644246 35647488 7476 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 8703 7476 105 232 0 8468 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 34812 [startup+210.122 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18504 ################ # More data... # ################ /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11115 0 0 0 178075 71 0 0 25 0 1 0 153644246 48185344 9770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9770 105 232 0 11529 0 Current children cumulated CPU time (s) 1781.46 Current children cumulated vsize (Kb) 47056 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1782.48 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11115 0 0 0 178176 72 0 0 25 0 1 0 153644246 48185344 9770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9770 105 232 0 11529 0 Current children cumulated CPU time (s) 1782.48 Current children cumulated vsize (Kb) 47056 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1783.48 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11115 0 0 0 178276 72 0 0 25 0 1 0 153644246 48185344 9770 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9770 105 232 0 11529 0 Current children cumulated CPU time (s) 1783.48 Current children cumulated vsize (Kb) 47056 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1784.48 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11116 0 0 0 178376 72 0 0 25 0 1 0 153644246 48185344 9771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9771 105 232 0 11529 0 Current children cumulated CPU time (s) 1784.48 Current children cumulated vsize (Kb) 47056 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1785.49 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11116 0 0 0 178477 72 0 0 25 0 1 0 153644246 48185344 9771 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9771 105 232 0 11529 0 Current children cumulated CPU time (s) 1785.49 Current children cumulated vsize (Kb) 47056 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1786.49 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11117 0 0 0 178577 72 0 0 25 0 1 0 153644246 48185344 9772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9772 105 232 0 11529 0 Current children cumulated CPU time (s) 1786.49 Current children cumulated vsize (Kb) 47056 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1787.5 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11117 0 0 0 178678 72 0 0 25 0 1 0 153644246 48185344 9772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9772 105 232 0 11529 0 Current children cumulated CPU time (s) 1787.5 Current children cumulated vsize (Kb) 47056 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1788.5 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11117 0 0 0 178778 72 0 0 25 0 1 0 153644246 48185344 9772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9772 105 232 0 11529 0 Current children cumulated CPU time (s) 1788.5 Current children cumulated vsize (Kb) 47056 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1789.5 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11117 0 0 0 178878 72 0 0 25 0 1 0 153644246 48185344 9772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9772 105 232 0 11529 0 Current children cumulated CPU time (s) 1789.5 Current children cumulated vsize (Kb) 47056 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1790.51 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11118 0 0 0 178979 72 0 0 25 0 1 0 153644246 48185344 9773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551274 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9773 105 232 0 11529 0 Current children cumulated CPU time (s) 1790.51 Current children cumulated vsize (Kb) 47056 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1791.51 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11118 0 0 0 179079 72 0 0 25 0 1 0 153644246 48185344 9773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9773 105 232 0 11529 0 Current children cumulated CPU time (s) 1791.51 Current children cumulated vsize (Kb) 47056 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1792.52 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11118 0 0 0 179180 72 0 0 25 0 1 0 153644246 48185344 9773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551682 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9773 105 232 0 11529 0 Current children cumulated CPU time (s) 1792.52 Current children cumulated vsize (Kb) 47056 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1793.52 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11118 0 0 0 179280 72 0 0 25 0 1 0 153644246 48185344 9773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9773 105 232 0 11529 0 Current children cumulated CPU time (s) 1793.52 Current children cumulated vsize (Kb) 47056 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1794.53 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11119 0 0 0 179381 72 0 0 25 0 1 0 153644246 48185344 9774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551573 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9774 105 232 0 11529 0 Current children cumulated CPU time (s) 1794.53 Current children cumulated vsize (Kb) 47056 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1795.53 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11119 0 0 0 179481 72 0 0 25 0 1 0 153644246 48185344 9774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9774 105 232 0 11529 0 Current children cumulated CPU time (s) 1795.53 Current children cumulated vsize (Kb) 47056 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1796.54 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11119 0 0 0 179582 72 0 0 25 0 1 0 153644246 48185344 9774 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9774 105 232 0 11529 0 Current children cumulated CPU time (s) 1796.54 Current children cumulated vsize (Kb) 47056 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1797.54 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11120 0 0 0 179682 72 0 0 25 0 1 0 153644246 48185344 9775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9775 105 232 0 11529 0 Current children cumulated CPU time (s) 1797.54 Current children cumulated vsize (Kb) 47056 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809920/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1798.54 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11120 0 0 0 179782 72 0 0 25 0 1 0 153644246 48185344 9775 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9775 105 232 0 11529 0 Current children cumulated CPU time (s) 1798.54 Current children cumulated vsize (Kb) 47056 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809856/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1799.55 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11126 0 0 0 179883 72 0 0 25 0 1 0 153644246 48185344 9781 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550034 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9781 105 232 0 11529 0 Current children cumulated CPU time (s) 1799.55 Current children cumulated vsize (Kb) 47056 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809856/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1800.55 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11134 0 0 0 179983 72 0 0 25 0 1 0 153644246 48185344 9789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9789 105 232 0 11529 0 Current children cumulated CPU time (s) 1800.55 Current children cumulated vsize (Kb) 47056 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/64 18506 /proc/meminfo: memFree=809856/2055920 swapFree=4183140/4192956 [pid=18504] ppid=18502 vsize=47056 CPUtime=1800.56 /proc/18504/stat : 18504 (PBS4L) R 18502 18504 18455 0 -1 4194304 11134 0 0 0 179984 72 0 0 25 0 1 0 153644246 48185344 9789 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/18504/statm: 11764 9789 105 232 0 11529 0 Current children cumulated CPU time (s) 1800.56 Current children cumulated vsize (Kb) 47056 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.58 CPU user time (s): 1799.84 CPU system time (s): 0.733888 CPU usage (%): 99.9669 Max. virtual memory (cumulated for all children) (Kb): 47056 The end
Begin job on node4 on Fri Jul 28 06:23:48 UTC 2006 FILE ID= 46607-1154067828 PBS_JOBID= 882550 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_19.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node4/46607-1154067828/instance-46607-1154067828.opb 406720343 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node4/watcher-46607-1154067828 -o ROOT/results/node4/solver-46607-1154067828 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node4/46607-1154067828/instance-46607-1154067828.opb 406720343 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 5a1b3155d98b6c4d8f9ab1b869fece67 RANDOM SEED= 406720343 TIMEOUT= 1800 seconds /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.256 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.256 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: 848592 kB Buffers: 47376 kB Cached: 1075784 kB SwapCached: 3804 kB Active: 441508 kB Inactive: 690476 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 848592 kB SwapTotal: 4192956 kB SwapFree: 4183140 kB Dirty: 156 kB Writeback: 0 kB Mapped: 14820 kB Slab: 61304 kB Committed_AS: 592716 kB PageTables: 1496 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node4 on Fri Jul 28 06:53:49 UTC 2006