Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.56 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/ wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb |
MD5SUM | 093efae700664f798191c0b27cec34af |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 447 |
Best CPU time to get the best result obtained on this benchmark | 1800.6 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 447 |
Optimality of the best value was proved | NO |
Number of variables | 10000 |
Total number of constraints | 656900 |
Number of constraints which are clauses | 656900 |
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 | 100 |
Number of terms in the objective function | 10000 |
Biggest coefficient in the objective function | 99 |
Number of bits for the biggest coefficient in the objective function | 7 |
Sum of the numbers in the objective function | 494527 |
Number of bits of the sum of numbers in the objective function | 19 |
Biggest number in a constraint | 99 |
Number of bits of the biggest number in a constraint | 7 |
Biggest sum of numbers in a constraint | 494527 |
Number of bits of the biggest sum of numbers | 19 |
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/41650-1149391436/instance-41650-1149391436.opb ...... 5.39 c done parsing opb. 5.39 o 10207 5.44 o 10195 5.47 o 9793 5.51 o 9743 5.56 o 9731 124.87 o 9394 795.20 o 8530 1660.53 o 7972
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-41650-1149391436 -o ROOT/results/node82/solver-41650-1149391436 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41650-1149391436/instance-41650-1149391436.opb 874399735 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1274912/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=2340 CPUtime=0 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 204 0 0 0 0 0 0 0 18 0 1 0 196332906 2396160 189 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134598843 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 585 190 90 232 0 350 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1231216/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=54612 CPUtime=9.99 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 17231 0 0 0 964 35 0 0 25 0 1 0 196332906 55922688 11041 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 13653 11041 108 232 0 13418 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 54612 [startup+20.0095 s] /proc/loadavg: 0.94 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1230576/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=55272 CPUtime=19.99 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 17455 0 0 0 1927 72 0 0 25 0 1 0 196332906 56598528 11265 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 13818 11265 108 232 0 13583 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 55272 [startup+30.0154 s] /proc/loadavg: 0.95 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1227312/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=73108 CPUtime=29.99 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 18278 0 0 0 2900 99 0 0 25 0 1 0 196332906 74862592 12088 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 18277 12088 108 232 0 18042 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 73108 [startup+40.0213 s] /proc/loadavg: 0.96 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1224240/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=73504 CPUtime=39.99 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 19050 0 0 0 3885 114 0 0 25 0 1 0 196332906 75268096 12860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 18376 12860 108 232 0 18141 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 73504 [startup+50.0282 s] /proc/loadavg: 0.96 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1221616/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=74024 CPUtime=50 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 19724 0 0 0 4869 131 0 0 25 0 1 0 196332906 75800576 13534 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 18506 13534 108 232 0 18271 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 74024 [startup+60.0341 s] /proc/loadavg: 0.97 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1218288/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=75060 CPUtime=60 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 20557 0 0 0 5852 148 0 0 25 0 1 0 196332906 76861440 14367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 18765 14367 108 232 0 18530 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 75060 [startup+70.04 s] /proc/loadavg: 0.97 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1215152/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=76092 CPUtime=70 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 21340 0 0 0 6838 162 0 0 25 0 1 0 196332906 77918208 15150 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134617144 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 19023 15150 108 232 0 18788 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 76092 [startup+80.0469 s] /proc/loadavg: 0.98 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1212144/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=76748 CPUtime=80 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 22095 0 0 0 7825 175 0 0 25 0 1 0 196332906 78589952 15905 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 19187 15905 108 232 0 18952 0 Current children cumulated CPU time (s) 80 Current children cumulated vsize (Kb) 76748 [startup+90.0528 s] /proc/loadavg: 0.98 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1209520/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=77540 CPUtime=90.01 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 22754 0 0 0 8812 189 0 0 25 0 1 0 196332906 79400960 16564 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 19385 16564 108 232 0 19150 0 Current children cumulated CPU time (s) 90.01 Current children cumulated vsize (Kb) 77540 [startup+100.059 s] /proc/loadavg: 0.98 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1208432/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=78524 CPUtime=100.01 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23016 0 0 0 9743 258 0 0 25 0 1 0 196332906 80408576 16826 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564403 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 19631 16826 108 232 0 19396 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 78524 [startup+110.065 s] /proc/loadavg: 0.98 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1207856/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=79060 CPUtime=110.01 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23170 0 0 0 10707 294 0 0 25 0 1 0 196332906 80957440 16980 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 19765 16980 108 232 0 19530 0 Current children cumulated CPU time (s) 110.01 Current children cumulated vsize (Kb) 79060 [startup+120.071 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1207152/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=79720 CPUtime=120.02 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23346 0 0 0 11620 382 0 0 25 0 1 0 196332906 81633280 17156 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 19930 17156 108 232 0 19695 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 79720 [startup+130.076 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1206512/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=80380 CPUtime=130.02 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23503 0 0 0 12559 443 0 0 25 0 1 0 196332906 82309120 17313 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20095 17313 108 232 0 19860 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 80380 [startup+140.082 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1206064/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=80752 CPUtime=140.02 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23601 0 0 0 13502 500 0 0 25 0 1 0 196332906 82690048 17411 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20188 17411 108 232 0 19953 0 Current children cumulated CPU time (s) 140.02 Current children cumulated vsize (Kb) 80752 [startup+150.088 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1205808/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=81096 CPUtime=150.02 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23677 0 0 0 14461 541 0 0 25 0 1 0 196332906 83042304 17487 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20274 17487 108 232 0 20039 0 Current children cumulated CPU time (s) 150.02 Current children cumulated vsize (Kb) 81096 [startup+160.094 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1205616/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=81096 CPUtime=160.02 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23714 0 0 0 15447 555 0 0 25 0 1 0 196332906 83042304 17524 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20274 17524 108 232 0 20039 0 Current children cumulated CPU time (s) 160.02 Current children cumulated vsize (Kb) 81096 [startup+170.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1205296/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=81492 CPUtime=170.03 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23800 0 0 0 16405 598 0 0 25 0 1 0 196332906 83447808 17610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20373 17610 108 232 0 20138 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 81492 [startup+180.106 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1205040/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=81728 CPUtime=180.03 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23860 0 0 0 17380 623 0 0 25 0 1 0 196332906 83689472 17670 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552454 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20432 17670 108 232 0 20197 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 81728 [startup+190.112 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1204592/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=82124 CPUtime=190.03 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 23969 0 0 0 18320 683 0 0 25 0 1 0 196332906 84094976 17779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20531 17779 108 232 0 20296 0 Current children cumulated CPU time (s) 190.03 Current children cumulated vsize (Kb) 82124 [startup+200.118 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1204208/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=82472 CPUtime=200.03 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 24056 0 0 0 19248 755 0 0 25 0 1 0 196332906 84451328 17866 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552085 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 20618 17866 108 232 0 20383 0 Current children cumulated CPU time (s) 200.03 Current children cumulated vsize (Kb) 82472 [startup+210.124 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1204080/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28542 0 0 0 169763 8382 0 0 25 0 1 0 196332906 100270080 22352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22352 108 232 0 24245 0 Current children cumulated CPU time (s) 1781.45 Current children cumulated vsize (Kb) 97920 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1782.45 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28542 0 0 0 169854 8391 0 0 25 0 1 0 196332906 100270080 22352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22352 108 232 0 24245 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 97920 [startup+1784.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1783.46 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28542 0 0 0 169947 8399 0 0 25 0 1 0 196332906 100270080 22352 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22352 108 232 0 24245 0 Current children cumulated CPU time (s) 1783.46 Current children cumulated vsize (Kb) 97920 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1784.46 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28543 0 0 0 170046 8400 0 0 25 0 1 0 196332906 100270080 22353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22353 108 232 0 24245 0 Current children cumulated CPU time (s) 1784.46 Current children cumulated vsize (Kb) 97920 [startup+1786.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1785.47 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28544 0 0 0 170145 8402 0 0 25 0 1 0 196332906 100270080 22354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22354 108 232 0 24245 0 Current children cumulated CPU time (s) 1785.47 Current children cumulated vsize (Kb) 97920 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1786.47 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28544 0 0 0 170244 8403 0 0 25 0 1 0 196332906 100270080 22354 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22354 108 232 0 24245 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 97920 [startup+1788.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1787.48 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28545 0 0 0 170343 8405 0 0 25 0 1 0 196332906 100270080 22355 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22355 108 232 0 24245 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 97920 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1788.48 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28552 0 0 0 170440 8408 0 0 25 0 1 0 196332906 100270080 22362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22362 108 232 0 24245 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 97920 [startup+1790.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1789.48 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28552 0 0 0 170529 8419 0 0 25 0 1 0 196332906 100270080 22362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22362 108 232 0 24245 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 97920 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1790.49 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28552 0 0 0 170619 8430 0 0 25 0 1 0 196332906 100270080 22362 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22362 108 232 0 24245 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 97920 [startup+1792.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1791.49 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28553 0 0 0 170718 8431 0 0 25 0 1 0 196332906 100270080 22363 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22363 108 232 0 24245 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 97920 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186096/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1792.5 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28554 0 0 0 170817 8433 0 0 25 0 1 0 196332906 100270080 22364 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22364 108 232 0 24245 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 97920 [startup+1794.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1793.5 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28555 0 0 0 170915 8435 0 0 25 0 1 0 196332906 100270080 22365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134548991 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22365 108 232 0 24245 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 97920 [startup+1795.13 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1794.51 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28555 0 0 0 171015 8436 0 0 25 0 1 0 196332906 100270080 22365 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22365 108 232 0 24245 0 Current children cumulated CPU time (s) 1794.51 Current children cumulated vsize (Kb) 97920 [startup+1796.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1795.52 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28556 0 0 0 171108 8444 0 0 25 0 1 0 196332906 100270080 22366 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22366 108 232 0 24245 0 Current children cumulated CPU time (s) 1795.52 Current children cumulated vsize (Kb) 97920 [startup+1797.14 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1796.52 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28557 0 0 0 171197 8455 0 0 25 0 1 0 196332906 100270080 22367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134563820 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22367 108 232 0 24245 0 Current children cumulated CPU time (s) 1796.52 Current children cumulated vsize (Kb) 97920 [startup+1798.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1797.52 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28557 0 0 0 171287 8465 0 0 25 0 1 0 196332906 100270080 22367 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22367 108 232 0 24245 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 97920 [startup+1799.15 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1798.53 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28558 0 0 0 171382 8471 0 0 25 0 1 0 196332906 100270080 22368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22368 108 232 0 24245 0 Current children cumulated CPU time (s) 1798.53 Current children cumulated vsize (Kb) 97920 [startup+1800.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1799.53 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28558 0 0 0 171480 8473 0 0 25 0 1 0 196332906 100270080 22368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22368 108 232 0 24245 0 Current children cumulated CPU time (s) 1799.53 Current children cumulated vsize (Kb) 97920 [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1800.54 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28559 0 0 0 171579 8475 0 0 25 0 1 0 196332906 100270080 22369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22369 108 232 0 24245 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 97920 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 0.99 0.98 0.99 2/68 8002 /proc/meminfo: memFree=1186032/2055892 swapFree=4087504/4096564 [pid=8002] ppid=8000 vsize=97920 CPUtime=1800.54 /proc/8002/stat : 8002 (PBS4L) R 8000 8002 7956 0 -1 4194304 28559 0 0 0 171579 8475 0 0 25 0 1 0 196332906 100270080 22369 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/8002/statm: 24480 22369 108 232 0 24245 0 Current children cumulated CPU time (s) 1800.54 Current children cumulated vsize (Kb) 97920 Sending SIGTERM to -8002 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.56 CPU user time (s): 1715.8 CPU system time (s): 84.7651 CPU usage (%): 99.9654 Max. virtual memory (cumulated for all children) (Kb): 97920 The end
Begin job on node82 on Sun Jun 4 03:23:56 UTC 2006 FILE ID= 41650-1149391436 PBS_JOBID= 313467 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB06/liu/wnq/normalized-wnq_n100_mw99_9.opb.PB06.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41650-1149391436/instance-41650-1149391436.opb 874399735 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-41650-1149391436 -o ROOT/results/node82/solver-41650-1149391436 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41650-1149391436/instance-41650-1149391436.opb 874399735 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 093efae700664f798191c0b27cec34af RANDOM SEED= 874399735 /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: 1275120 kB Buffers: 27292 kB Cached: 684104 kB SwapCached: 2740 kB Active: 140576 kB Inactive: 579452 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1275120 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 148 kB Writeback: 0 kB Mapped: 14632 kB Slab: 47088 kB Committed_AS: 428248 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 Sun Jun 4 03:53:58 UTC 2006