Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.55 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/fctp/normalized-reduced-mps-v2-20-10-ran4x64.opb |
MD5SUM | 094943d5c572e297ea40a22e131cb082 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | UNSAT |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | 0.183971 |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | YES |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 7936 |
Total number of constraints | 324 |
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 | 324 |
Minimum length of a constraint | 31 |
Maximum length of a constraint | 1920 |
Number of terms in the objective function | 7936 |
Biggest coefficient in the objective function | 1873 |
Number of bits for the biggest coefficient in the objective function | 11 |
Sum of the numbers in the objective function | 530542 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262144 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 530542 |
Number of bits of the biggest sum of numbers | 20 |
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/41238-1149251428/instance-41238-1149251428.opb ......
ERROR: no interpretation found !
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1830 seconds Enforcing Stack size limit: 67108864 bytes Enforcing memory limit (will send SIGKILL): 1843200 Kb Enforcing VSIZE limit: 1887436800 bytes runsolver version 3.0.0 (c) roussel@cril.univ-artois.fr command line: runsolver --timestamp -w ROOT/results/node82/watcher-41238-1149251428 -o ROOT/results/node82/solver-41238-1149251428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb 721436574 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.88 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1079032/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=2148 CPUtime=0 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 199 0 0 0 0 0 0 0 18 0 1 0 182332074 2199552 184 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 537 186 90 232 0 302 0 [startup+10.0022 s] /proc/loadavg: 0.89 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1072312/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=9616 CPUtime=9.99 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 1988 0 0 0 998 1 0 0 25 0 1 0 182332074 9846784 1778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551340 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 2404 1778 105 232 0 2169 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 9616 [startup+20.0081 s] /proc/loadavg: 0.91 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1071736/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=9880 CPUtime=20 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2133 0 0 0 1999 1 0 0 25 0 1 0 182332074 10117120 1923 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 2470 1923 105 232 0 2235 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 9880 [startup+30.014 s] /proc/loadavg: 0.92 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1071608/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=9880 CPUtime=30 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2197 0 0 0 2999 1 0 0 25 0 1 0 182332074 10117120 1987 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 2470 1987 105 232 0 2235 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 9880 [startup+40.0199 s] /proc/loadavg: 0.93 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1071224/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=10012 CPUtime=40 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2295 0 0 0 3998 2 0 0 25 0 1 0 182332074 10252288 2085 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 2503 2085 105 232 0 2268 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 10012 [startup+50.0268 s] /proc/loadavg: 0.94 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1070776/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14240 CPUtime=50 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2404 0 0 0 4998 2 0 0 25 0 1 0 182332074 14581760 2194 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3560 2194 105 232 0 3325 0 Current children cumulated CPU time (s) 50 Current children cumulated vsize (Kb) 14240 [startup+60.0327 s] /proc/loadavg: 0.95 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1070264/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14412 CPUtime=60 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2539 0 0 0 5998 2 0 0 25 0 1 0 182332074 14757888 2329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3603 2329 105 232 0 3368 0 Current children cumulated CPU time (s) 60 Current children cumulated vsize (Kb) 14412 [startup+70.0386 s] /proc/loadavg: 0.96 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1069816/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14544 CPUtime=70 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2640 0 0 0 6998 2 0 0 25 0 1 0 182332074 14893056 2430 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3636 2430 105 232 0 3401 0 Current children cumulated CPU time (s) 70 Current children cumulated vsize (Kb) 14544 [startup+80.0445 s] /proc/loadavg: 0.96 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1069496/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14544 CPUtime=80.01 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2715 0 0 0 7998 3 0 0 25 0 1 0 182332074 14893056 2505 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546663 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3636 2505 105 232 0 3401 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 14544 [startup+90.0504 s] /proc/loadavg: 0.97 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1069048/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14676 CPUtime=90.02 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2828 0 0 0 8999 3 0 0 25 0 1 0 182332074 15028224 2618 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3669 2618 105 232 0 3434 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 14676 [startup+100.056 s] /proc/loadavg: 0.97 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1068728/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14676 CPUtime=100.02 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2919 0 0 0 9999 3 0 0 25 0 1 0 182332074 15028224 2709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3669 2709 105 232 0 3434 0 Current children cumulated CPU time (s) 100.02 Current children cumulated vsize (Kb) 14676 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1068408/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=14808 CPUtime=110.02 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 2993 0 0 0 10999 3 0 0 25 0 1 0 182332074 15163392 2783 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551638 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3702 2783 105 232 0 3467 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 14808 [startup+120.068 s] /proc/loadavg: 0.98 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1068024/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=15004 CPUtime=120.02 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3106 0 0 0 11999 3 0 0 25 0 1 0 182332074 15364096 2896 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3751 2896 105 232 0 3516 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 15004 [startup+130.074 s] /proc/loadavg: 0.98 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1067640/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=15004 CPUtime=130.02 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3201 0 0 0 12999 3 0 0 25 0 1 0 182332074 15364096 2991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3751 2991 105 232 0 3516 0 Current children cumulated CPU time (s) 130.02 Current children cumulated vsize (Kb) 15004 [startup+140.08 s] /proc/loadavg: 0.98 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1067192/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=15136 CPUtime=140.03 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3308 0 0 0 13999 4 0 0 25 0 1 0 182332074 15499264 3098 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3784 3098 105 232 0 3549 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 15136 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1066808/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=15136 CPUtime=150.03 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3402 0 0 0 14999 4 0 0 25 0 1 0 182332074 15499264 3192 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3784 3192 105 232 0 3549 0 Current children cumulated CPU time (s) 150.03 Current children cumulated vsize (Kb) 15136 [startup+160.092 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1066360/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=15268 CPUtime=160.03 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3515 0 0 0 15999 4 0 0 25 0 1 0 182332074 15634432 3305 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549300 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3817 3305 105 232 0 3582 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 15268 [startup+170.098 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1065912/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=15268 CPUtime=170.03 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3627 0 0 0 16999 4 0 0 25 0 1 0 182332074 15634432 3417 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 3817 3417 105 232 0 3582 0 Current children cumulated CPU time (s) 170.03 Current children cumulated vsize (Kb) 15268 [startup+180.104 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1065400/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=23592 CPUtime=180.03 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3745 0 0 0 17999 4 0 0 25 0 1 0 182332074 24158208 3535 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 5898 3535 105 232 0 5663 0 Current children cumulated CPU time (s) 180.03 Current children cumulated vsize (Kb) 23592 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1065144/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=23720 CPUtime=190.04 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3808 0 0 0 18999 5 0 0 25 0 1 0 182332074 24289280 3598 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 5930 3598 105 232 0 5695 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 23720 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1065144/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=23720 CPUtime=200.04 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 3810 0 0 0 19999 5 0 0 25 0 1 0 182332074 24289280 3600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 5930 3600 105 232 0 5695 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 23720 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1065144/2055892 swapFree=4087504/4096564 ################ # More data... # ################ /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10809 0 0 0 178112 32 0 0 25 0 1 0 182332074 45826048 10260 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10260 105 232 0 10953 0 Current children cumulated CPU time (s) 1781.44 Current children cumulated vsize (Kb) 44752 [startup+1783.07 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038200/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1782.45 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10846 0 0 0 178213 32 0 0 25 0 1 0 182332074 45826048 10297 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134552213 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10297 105 232 0 10953 0 Current children cumulated CPU time (s) 1782.45 Current children cumulated vsize (Kb) 44752 [startup+1784.07 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038200/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1783.45 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10850 0 0 0 178313 32 0 0 25 0 1 0 182332074 45826048 10301 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549259 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10301 105 232 0 10953 0 Current children cumulated CPU time (s) 1783.45 Current children cumulated vsize (Kb) 44752 [startup+1785.08 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038136/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1784.45 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10872 0 0 0 178413 32 0 0 25 0 1 0 182332074 45826048 10323 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10323 105 232 0 10953 0 Current children cumulated CPU time (s) 1784.45 Current children cumulated vsize (Kb) 44752 [startup+1786.08 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038072/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1785.46 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10882 0 0 0 178514 32 0 0 25 0 1 0 182332074 45826048 10333 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10333 105 232 0 10953 0 Current children cumulated CPU time (s) 1785.46 Current children cumulated vsize (Kb) 44752 [startup+1787.09 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038008/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1786.47 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10893 0 0 0 178614 33 0 0 25 0 1 0 182332074 45826048 10344 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549282 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10344 105 232 0 10953 0 Current children cumulated CPU time (s) 1786.47 Current children cumulated vsize (Kb) 44752 [startup+1788.09 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038008/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1787.48 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10900 0 0 0 178715 33 0 0 25 0 1 0 182332074 45826048 10351 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10351 105 232 0 10953 0 Current children cumulated CPU time (s) 1787.48 Current children cumulated vsize (Kb) 44752 [startup+1789.1 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1038008/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1788.48 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10906 0 0 0 178815 33 0 0 25 0 1 0 182332074 45826048 10357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551321 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10357 105 232 0 10953 0 Current children cumulated CPU time (s) 1788.48 Current children cumulated vsize (Kb) 44752 [startup+1790.1 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037944/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1789.48 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10910 0 0 0 178915 33 0 0 25 0 1 0 182332074 45826048 10361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549311 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10361 105 232 0 10953 0 Current children cumulated CPU time (s) 1789.48 Current children cumulated vsize (Kb) 44752 [startup+1791.11 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037944/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1790.49 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10917 0 0 0 179016 33 0 0 25 0 1 0 182332074 45826048 10368 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10368 105 232 0 10953 0 Current children cumulated CPU time (s) 1790.49 Current children cumulated vsize (Kb) 44752 [startup+1792.11 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037880/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1791.49 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10925 0 0 0 179116 33 0 0 25 0 1 0 182332074 45826048 10376 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10376 105 232 0 10953 0 Current children cumulated CPU time (s) 1791.49 Current children cumulated vsize (Kb) 44752 [startup+1793.12 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037880/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1792.5 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10935 0 0 0 179217 33 0 0 25 0 1 0 182332074 45826048 10386 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10386 105 232 0 10953 0 Current children cumulated CPU time (s) 1792.5 Current children cumulated vsize (Kb) 44752 [startup+1794.12 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037816/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1793.5 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10943 0 0 0 179317 33 0 0 25 0 1 0 182332074 45826048 10394 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10394 105 232 0 10953 0 Current children cumulated CPU time (s) 1793.5 Current children cumulated vsize (Kb) 44752 [startup+1795.12 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037752/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1794.5 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10955 0 0 0 179417 33 0 0 25 0 1 0 182332074 45826048 10406 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551331 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10406 105 232 0 10953 0 Current children cumulated CPU time (s) 1794.5 Current children cumulated vsize (Kb) 44752 [startup+1796.13 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037752/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1795.51 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10968 0 0 0 179518 33 0 0 25 0 1 0 182332074 45826048 10419 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10419 105 232 0 10953 0 Current children cumulated CPU time (s) 1795.51 Current children cumulated vsize (Kb) 44752 [startup+1797.13 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037688/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1796.51 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10977 0 0 0 179618 33 0 0 25 0 1 0 182332074 45826048 10428 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549291 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10428 105 232 0 10953 0 Current children cumulated CPU time (s) 1796.51 Current children cumulated vsize (Kb) 44752 [startup+1798.14 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037688/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1797.52 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10983 0 0 0 179719 33 0 0 25 0 1 0 182332074 45826048 10434 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549306 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10434 105 232 0 10953 0 Current children cumulated CPU time (s) 1797.52 Current children cumulated vsize (Kb) 44752 [startup+1799.14 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037624/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1798.52 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10993 0 0 0 179819 33 0 0 25 0 1 0 182332074 45826048 10444 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10444 105 232 0 10953 0 Current children cumulated CPU time (s) 1798.52 Current children cumulated vsize (Kb) 44752 [startup+1800.15 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037624/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1799.52 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 10999 0 0 0 179919 33 0 0 25 0 1 0 182332074 45826048 10450 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10450 105 232 0 10953 0 Current children cumulated CPU time (s) 1799.52 Current children cumulated vsize (Kb) 44752 [startup+1801.15 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037560/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1800.53 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 11007 0 0 0 180020 33 0 0 25 0 1 0 182332074 45826048 10458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10458 105 232 0 10953 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 44752 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 0.99 0.98 0.92 2/68 15166 /proc/meminfo: memFree=1037560/2055892 swapFree=4087504/4096564 [pid=15166] ppid=15164 vsize=44752 CPUtime=1800.53 /proc/15166/stat : 15166 (PBS4L) R 15164 15166 15120 0 -1 4194304 11007 0 0 0 180020 33 0 0 25 0 1 0 182332074 45826048 10458 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549265 0 0 4096 0 0 0 0 17 1 0 0 /proc/15166/statm: 11188 10458 105 232 0 10953 0 Current children cumulated CPU time (s) 1800.53 Current children cumulated vsize (Kb) 44752 Sending SIGTERM to -15166 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.17 CPU time (s): 1800.55 CPU user time (s): 1800.21 CPU system time (s): 0.340948 CPU usage (%): 99.9656 Max. virtual memory (cumulated for all children) (Kb): 44752 The end
Begin job on node82 on Fri Jun 2 12:30:28 UTC 2006 FILE ID= 41238-1149251428 PBS_JOBID= 298109 BENCH NAME= ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb 721436574 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node82/watcher-41238-1149251428 -o ROOT/results/node82/solver-41238-1149251428 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node82/41238-1149251428/instance-41238-1149251428.opb 721436574 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 094943d5c572e297ea40a22e131cb082 RANDOM SEED= 721436574 /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: 1079240 kB Buffers: 45352 kB Cached: 852936 kB SwapCached: 2848 kB Active: 130896 kB Inactive: 776160 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055892 kB LowFree: 1079240 kB SwapTotal: 4096564 kB SwapFree: 4087504 kB Dirty: 196 kB Writeback: 0 kB Mapped: 14556 kB Slab: 55864 kB Committed_AS: 248048 kB PageTables: 1472 kB VmallocTotal: 536870911 kB VmallocUsed: 264388 kB VmallocChunk: 536606243 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node82 on Fri Jun 2 13:00:29 UTC 2006