Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.76 | 1801.27 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_13.opb |
MD5SUM | 292e71503f1e4f136e087e61da3c7ed4 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 118 |
Best CPU time to get the best result obtained on this benchmark | 1782.74 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 118 |
Optimality of the best value was proved | NO |
Number of variables | 2470 |
Total number of constraints | 4744 |
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 | 4744 |
Minimum length of a constraint | 16 |
Maximum length of a constraint | 33 |
Number of terms in the objective function | 8 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 255 |
Number of bits of the sum of numbers in the objective function | 8 |
Biggest number in a constraint | 256 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1357 |
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/node19/46614-1154070076/instance-46614-1154070076.opb ...... 50.22 c done parsing opb. 50.22 o 168 549.14 o 167 705.82 o 155 1018.80 o 152 1274.68 o 151 1362.55 o 139
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/node19/watcher-46614-1154070076 -o ROOT/results/node19/solver-46614-1154070076 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/46614-1154070076/instance-46614-1154070076.opb 266232195 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.91 0.95 0.98 2/70 24708 /proc/meminfo: memFree=1510160/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=1632 CPUtime=0 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 136 0 0 0 0 0 0 0 19 0 1 0 153868049 1671168 119 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598917 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 408 121 90 232 0 173 0 [startup+10.0019 s] /proc/loadavg: 0.93 0.95 0.98 2/70 24774 /proc/meminfo: memFree=1503560/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=8736 CPUtime=9.97 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 1959 0 0 0 994 3 0 0 25 0 1 0 153868049 8945664 1778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551507 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 2184 1778 104 232 0 1949 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 8736 [startup+20.009 s] /proc/loadavg: 0.94 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1503496/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=10784 CPUtime=19.96 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 2269 0 0 0 1991 5 0 0 25 0 1 0 153868049 11042816 2088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 2696 2088 104 232 0 2461 0 Current children cumulated CPU time (s) 19.96 Current children cumulated vsize (Kb) 10784 [startup+30.0161 s] /proc/loadavg: 0.95 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1502472/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=10784 CPUtime=29.97 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 2546 0 0 0 2991 6 0 0 25 0 1 0 153868049 11042816 2365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 2696 2365 104 232 0 2461 0 Current children cumulated CPU time (s) 29.97 Current children cumulated vsize (Kb) 10784 [startup+40.0222 s] /proc/loadavg: 0.95 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1501576/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=14880 CPUtime=39.97 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 2767 0 0 0 3990 7 0 0 25 0 1 0 153868049 15237120 2586 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 3720 2586 104 232 0 3485 0 Current children cumulated CPU time (s) 39.97 Current children cumulated vsize (Kb) 14880 [startup+50.0283 s] /proc/loadavg: 0.96 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1500552/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=15652 CPUtime=49.97 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3051 0 0 0 4989 8 0 0 25 0 1 0 153868049 16027648 2870 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 3913 2870 105 232 0 3678 0 Current children cumulated CPU time (s) 49.97 Current children cumulated vsize (Kb) 15652 [startup+60.0344 s] /proc/loadavg: 0.97 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1499464/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=15652 CPUtime=59.98 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3313 0 0 0 5988 10 0 0 25 0 1 0 153868049 16027648 3132 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 3913 3132 108 232 0 3678 0 Current children cumulated CPU time (s) 59.98 Current children cumulated vsize (Kb) 15652 [startup+70.0405 s] /proc/loadavg: 0.97 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1498632/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=15652 CPUtime=69.98 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3526 0 0 0 6987 11 0 0 25 0 1 0 153868049 16027648 3345 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 3913 3345 108 232 0 3678 0 Current children cumulated CPU time (s) 69.98 Current children cumulated vsize (Kb) 15652 [startup+80.0466 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1497480/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=15912 CPUtime=79.99 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 3810 0 0 0 7987 12 0 0 25 0 1 0 153868049 16293888 3629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 3978 3629 108 232 0 3743 0 Current children cumulated CPU time (s) 79.99 Current children cumulated vsize (Kb) 15912 [startup+90.0526 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1496392/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=25012 CPUtime=89.98 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4269 0 0 0 8985 13 0 0 25 0 1 0 153868049 25612288 3895 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6253 3895 108 232 0 6018 0 Current children cumulated CPU time (s) 89.98 Current children cumulated vsize (Kb) 25012 [startup+100.059 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1495112/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=25140 CPUtime=99.99 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4589 0 0 0 9984 15 0 0 25 0 1 0 153868049 25743360 4215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551072 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6285 4215 108 232 0 6050 0 Current children cumulated CPU time (s) 99.99 Current children cumulated vsize (Kb) 25140 [startup+110.065 s] /proc/loadavg: 0.98 0.96 0.98 2/64 24790 /proc/meminfo: memFree=1494536/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=25428 CPUtime=109.99 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4746 0 0 0 10983 16 0 0 25 0 1 0 153868049 26038272 4372 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6357 4372 108 232 0 6122 0 Current children cumulated CPU time (s) 109.99 Current children cumulated vsize (Kb) 25428 [startup+120.071 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1493704/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=25588 CPUtime=120 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 4940 0 0 0 11983 17 0 0 25 0 1 0 153868049 26202112 4566 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6397 4566 108 232 0 6162 0 Current children cumulated CPU time (s) 120 Current children cumulated vsize (Kb) 25588 [startup+130.077 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1493000/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=25832 CPUtime=130 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5128 0 0 0 12981 19 0 0 25 0 1 0 153868049 26451968 4754 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6458 4754 108 232 0 6223 0 Current children cumulated CPU time (s) 130 Current children cumulated vsize (Kb) 25832 [startup+140.083 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1492360/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=26148 CPUtime=140.01 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5283 0 0 0 13981 20 0 0 25 0 1 0 153868049 26775552 4909 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546597 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6537 4909 108 232 0 6302 0 Current children cumulated CPU time (s) 140.01 Current children cumulated vsize (Kb) 26148 [startup+150.089 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1491848/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=26288 CPUtime=150.01 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5408 0 0 0 14980 21 0 0 25 0 1 0 153868049 26918912 5034 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6572 5034 108 232 0 6337 0 Current children cumulated CPU time (s) 150.01 Current children cumulated vsize (Kb) 26288 [startup+160.095 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1491400/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=26436 CPUtime=160.01 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5518 0 0 0 15980 21 0 0 25 0 1 0 153868049 27070464 5144 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6609 5144 108 232 0 6374 0 Current children cumulated CPU time (s) 160.01 Current children cumulated vsize (Kb) 26436 [startup+170.101 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1490504/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=26568 CPUtime=170.01 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5747 0 0 0 16979 22 0 0 25 0 1 0 153868049 27205632 5373 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550796 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6642 5373 108 232 0 6407 0 Current children cumulated CPU time (s) 170.01 Current children cumulated vsize (Kb) 26568 [startup+180.108 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1489992/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=26712 CPUtime=180.01 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 5873 0 0 0 17978 23 0 0 25 0 1 0 153868049 27353088 5499 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 6678 5499 108 232 0 6443 0 Current children cumulated CPU time (s) 180.01 Current children cumulated vsize (Kb) 26712 [startup+190.114 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1489544/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=28392 CPUtime=190.02 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 6320 0 0 0 18977 25 0 0 25 0 1 0 153868049 29073408 5561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 7098 5561 108 232 0 6863 0 Current children cumulated CPU time (s) 190.02 Current children cumulated vsize (Kb) 28392 [startup+200.12 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1488712/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=28552 CPUtime=200.03 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 6565 0 0 0 19976 27 0 0 25 0 1 0 153868049 29237248 5806 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551274 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 7138 5806 108 232 0 6903 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 28552 [startup+210.126 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 ################ # More data... # ################ /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18250 0 0 0 177991 174 0 0 25 0 1 0 153868049 70533120 15185 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546720 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15185 108 232 0 16985 0 Current children cumulated CPU time (s) 1781.65 Current children cumulated vsize (Kb) 68880 [startup+1783.15 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1451016/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1782.65 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18256 0 0 0 178091 174 0 0 25 0 1 0 153868049 70533120 15191 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15191 108 232 0 16985 0 Current children cumulated CPU time (s) 1782.65 Current children cumulated vsize (Kb) 68880 [startup+1784.16 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1451016/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1783.65 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18258 0 0 0 178191 174 0 0 25 0 1 0 153868049 70533120 15193 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15193 108 232 0 16985 0 Current children cumulated CPU time (s) 1783.65 Current children cumulated vsize (Kb) 68880 [startup+1785.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1451016/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1784.66 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18259 0 0 0 178292 174 0 0 25 0 1 0 153868049 70533120 15194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546594 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15194 108 232 0 16985 0 Current children cumulated CPU time (s) 1784.66 Current children cumulated vsize (Kb) 68880 [startup+1786.17 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1785.66 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18269 0 0 0 178392 174 0 0 25 0 1 0 153868049 70533120 15204 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15204 108 232 0 16985 0 Current children cumulated CPU time (s) 1785.66 Current children cumulated vsize (Kb) 68880 [startup+1787.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1786.66 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18270 0 0 0 178492 174 0 0 25 0 1 0 153868049 70533120 15205 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15205 108 232 0 16985 0 Current children cumulated CPU time (s) 1786.66 Current children cumulated vsize (Kb) 68880 [startup+1788.18 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1787.67 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18280 0 0 0 178593 174 0 0 25 0 1 0 153868049 70533120 15215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15215 108 232 0 16985 0 Current children cumulated CPU time (s) 1787.67 Current children cumulated vsize (Kb) 68880 [startup+1789.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1788.68 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18282 0 0 0 178693 175 0 0 25 0 1 0 153868049 70533120 15217 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15217 108 232 0 16985 0 Current children cumulated CPU time (s) 1788.68 Current children cumulated vsize (Kb) 68880 [startup+1790.19 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450952/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1789.68 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18283 0 0 0 178793 175 0 0 25 0 1 0 153868049 70533120 15218 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15218 108 232 0 16985 0 Current children cumulated CPU time (s) 1789.68 Current children cumulated vsize (Kb) 68880 [startup+1791.2 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450888/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1790.69 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18292 0 0 0 178894 175 0 0 25 0 1 0 153868049 70533120 15227 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15227 108 232 0 16985 0 Current children cumulated CPU time (s) 1790.69 Current children cumulated vsize (Kb) 68880 [startup+1792.2 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450888/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1791.69 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18294 0 0 0 178994 175 0 0 25 0 1 0 153868049 70533120 15229 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15229 108 232 0 16985 0 Current children cumulated CPU time (s) 1791.69 Current children cumulated vsize (Kb) 68880 [startup+1793.21 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450888/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1792.69 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18299 0 0 0 179094 175 0 0 25 0 1 0 153868049 70533120 15234 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134856436 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15234 108 232 0 16985 0 Current children cumulated CPU time (s) 1792.69 Current children cumulated vsize (Kb) 68880 [startup+1794.21 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1793.7 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18301 0 0 0 179195 175 0 0 25 0 1 0 153868049 70533120 15236 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15236 108 232 0 16985 0 Current children cumulated CPU time (s) 1793.7 Current children cumulated vsize (Kb) 68880 [startup+1795.22 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1794.71 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18308 0 0 0 179295 176 0 0 25 0 1 0 153868049 70533120 15243 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15243 108 232 0 16985 0 Current children cumulated CPU time (s) 1794.71 Current children cumulated vsize (Kb) 68880 [startup+1796.22 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1795.71 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18310 0 0 0 179395 176 0 0 25 0 1 0 153868049 70533120 15245 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558838 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15245 108 232 0 16985 0 Current children cumulated CPU time (s) 1795.71 Current children cumulated vsize (Kb) 68880 [startup+1797.23 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1796.72 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18312 0 0 0 179496 176 0 0 25 0 1 0 153868049 70533120 15247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15247 108 232 0 16985 0 Current children cumulated CPU time (s) 1796.72 Current children cumulated vsize (Kb) 68880 [startup+1798.23 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1797.72 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18314 0 0 0 179596 176 0 0 25 0 1 0 153868049 70533120 15249 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15249 108 232 0 16985 0 Current children cumulated CPU time (s) 1797.72 Current children cumulated vsize (Kb) 68880 [startup+1799.24 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450824/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1798.73 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18315 0 0 0 179697 176 0 0 25 0 1 0 153868049 70533120 15250 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15250 108 232 0 16985 0 Current children cumulated CPU time (s) 1798.73 Current children cumulated vsize (Kb) 68880 [startup+1800.24 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450760/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1799.73 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18317 0 0 0 179797 176 0 0 25 0 1 0 153868049 70533120 15252 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15252 108 232 0 16985 0 Current children cumulated CPU time (s) 1799.73 Current children cumulated vsize (Kb) 68880 [startup+1801.25 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450760/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1800.73 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18324 0 0 0 179897 176 0 0 25 0 1 0 153868049 70533120 15259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558799 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15259 108 232 0 16985 0 Current children cumulated CPU time (s) 1800.73 Current children cumulated vsize (Kb) 68880 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.25 s] /proc/loadavg: 0.99 0.97 0.98 2/64 24790 /proc/meminfo: memFree=1450760/2055920 swapFree=4183080/4192956 [pid=24708] ppid=24706 vsize=68880 CPUtime=1800.74 /proc/24708/stat : 24708 (PBS4L) R 24706 24708 24659 0 -1 4194304 18324 0 0 0 179898 176 0 0 25 0 1 0 153868049 70533120 15259 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/24708/statm: 17220 15259 108 232 0 16985 0 Current children cumulated CPU time (s) 1800.74 Current children cumulated vsize (Kb) 68880 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.27 CPU time (s): 1800.76 CPU user time (s): 1798.98 CPU system time (s): 1.77673 CPU usage (%): 99.9719 Max. virtual memory (cumulated for all children) (Kb): 68880 The end
Begin job on node19 on Fri Jul 28 07:01:16 UTC 2006 FILE ID= 46614-1154070076 PBS_JOBID= 882641 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_13.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/46614-1154070076/instance-46614-1154070076.opb 266232195 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node19/watcher-46614-1154070076 -o ROOT/results/node19/solver-46614-1154070076 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node19/46614-1154070076/instance-46614-1154070076.opb 266232195 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 292e71503f1e4f136e087e61da3c7ed4 RANDOM SEED= 266232195 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.233 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.233 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: 1510432 kB Buffers: 21532 kB Cached: 464716 kB SwapCached: 3556 kB Active: 46012 kB Inactive: 449468 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1510432 kB SwapTotal: 4192956 kB SwapFree: 4183080 kB Dirty: 264 kB Writeback: 0 kB Mapped: 15768 kB Slab: 35652 kB Committed_AS: 728972 kB PageTables: 1724 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node19 on Fri Jul 28 07:31:17 UTC 2006