Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.74 | 1801.17 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ bounded_golomb_rulers/normalized-bogr_19.opb |
MD5SUM | 691db1c1df60c391acb60afdfcce171f |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | |
Best value of the objective obtained on this benchmark | |
Best CPU time to get the best result obtained on this benchmark | |
Has Objective Function | YES |
Satisfiable | |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of variables | 10998 |
Total number of constraints | 21679 |
Number of constraints which are clauses | 1 |
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 | 1 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 171 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 426 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 531 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2868 |
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/node57/50561-1154110247/instance-50561-1154110247.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/node57/watcher-50561-1154110247 -o ROOT/results/node57/solver-50561-1154110247 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node57/50561-1154110247/instance-50561-1154110247.opb 634786359 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=520756/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=2432 CPUtime=0 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 243 0 0 0 0 0 0 0 18 0 1 0 157895117 2490368 226 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 608 228 90 232 0 373 0 [startup+10.0028 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=496252/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=26428 CPUtime=10 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 6731 0 0 0 997 3 0 0 25 0 1 0 157895117 27062272 6222 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 6607 6222 104 232 0 6372 0 Current children cumulated CPU time (s) 10 Current children cumulated vsize (Kb) 26428 [startup+20.0097 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=496452/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=26428 CPUtime=20 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 6765 0 0 0 1997 3 0 0 25 0 1 0 157895117 27062272 6256 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 6607 6256 104 232 0 6372 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 26428 [startup+30.0156 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=496324/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=26684 CPUtime=30 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 6816 0 0 0 2996 4 0 0 25 0 1 0 157895117 27324416 6307 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 6671 6307 104 232 0 6436 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 26684 [startup+40.0214 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=496196/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=27196 CPUtime=40.01 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 6862 0 0 0 3997 4 0 0 25 0 1 0 157895117 27848704 6353 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 6799 6353 104 232 0 6564 0 Current children cumulated CPU time (s) 40.01 Current children cumulated vsize (Kb) 27196 [startup+50.0273 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=496004/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=27196 CPUtime=50.01 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 6909 0 0 0 4997 4 0 0 25 0 1 0 157895117 27848704 6400 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546643 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 6799 6400 104 232 0 6564 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 27196 [startup+60.0332 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=495812/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=27196 CPUtime=60.01 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 6964 0 0 0 5997 4 0 0 25 0 1 0 157895117 27848704 6455 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 6799 6455 104 232 0 6564 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 27196 [startup+70.0401 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=495620/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=28220 CPUtime=70.01 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7008 0 0 0 6997 4 0 0 25 0 1 0 157895117 28897280 6499 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7055 6499 104 232 0 6820 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 28220 [startup+80.0469 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=495364/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=28220 CPUtime=80.02 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7070 0 0 0 7998 4 0 0 25 0 1 0 157895117 28897280 6561 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7055 6561 104 232 0 6820 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 28220 [startup+90.0528 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=495044/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=28220 CPUtime=90.03 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7149 0 0 0 8998 5 0 0 25 0 1 0 157895117 28897280 6640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7055 6640 104 232 0 6820 0 Current children cumulated CPU time (s) 90.03 Current children cumulated vsize (Kb) 28220 [startup+100.059 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=494788/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=28220 CPUtime=100.03 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7216 0 0 0 9998 5 0 0 25 0 1 0 157895117 28897280 6707 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7055 6707 104 232 0 6820 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 28220 [startup+110.065 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=494532/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=110.03 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7270 0 0 0 10998 5 0 0 25 0 1 0 157895117 30994432 6761 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551682 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 6761 104 232 0 7332 0 Current children cumulated CPU time (s) 110.03 Current children cumulated vsize (Kb) 30268 [startup+120.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=494276/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=120.03 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7344 0 0 0 11998 5 0 0 25 0 1 0 157895117 30994432 6835 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546720 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 6835 104 232 0 7332 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 30268 [startup+130.076 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=494084/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=130.03 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7387 0 0 0 12998 5 0 0 25 0 1 0 157895117 30994432 6878 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 6878 104 232 0 7332 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 30268 [startup+140.083 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=494020/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=140.05 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7411 0 0 0 13999 6 0 0 25 0 1 0 157895117 30994432 6902 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551688 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 6902 105 232 0 7332 0 Current children cumulated CPU time (s) 140.05 Current children cumulated vsize (Kb) 30268 [startup+150.089 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=493828/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=150.04 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7453 0 0 0 14998 6 0 0 25 0 1 0 157895117 30994432 6944 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 6944 105 232 0 7332 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 30268 [startup+160.095 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=493636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=160.05 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7500 0 0 0 15998 7 0 0 25 0 1 0 157895117 30994432 6991 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 6991 105 232 0 7332 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 30268 [startup+170.101 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=493508/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=170.05 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7535 0 0 0 16998 7 0 0 25 0 1 0 157895117 30994432 7026 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 7026 105 232 0 7332 0 Current children cumulated CPU time (s) 170.05 Current children cumulated vsize (Kb) 30268 [startup+180.107 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=493316/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=180.05 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7573 0 0 0 17998 7 0 0 25 0 1 0 157895117 30994432 7064 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 7064 105 232 0 7332 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 30268 [startup+190.113 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=493252/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=190.06 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7601 0 0 0 18998 8 0 0 25 0 1 0 157895117 30994432 7092 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 7092 105 232 0 7332 0 Current children cumulated CPU time (s) 190.06 Current children cumulated vsize (Kb) 30268 [startup+200.118 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 /proc/meminfo: memFree=493060/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=30268 CPUtime=200.07 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 7639 0 0 0 19998 9 0 0 25 0 1 0 157895117 30994432 7130 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 7567 7130 105 232 0 7332 0 Current children cumulated CPU time (s) 200.07 Current children cumulated vsize (Kb) 30268 [startup+210.124 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16482 ################ # More data... # ################ /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10795 0 0 0 178083 79 0 0 25 0 1 0 157895117 48594944 9708 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9708 105 232 0 11629 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 47456 [startup+1783.06 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1782.63 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10796 0 0 0 178184 79 0 0 25 0 1 0 157895117 48594944 9709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9709 105 232 0 11629 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 47456 [startup+1784.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1783.63 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10796 0 0 0 178284 79 0 0 25 0 1 0 157895117 48594944 9709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9709 105 232 0 11629 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 47456 [startup+1785.07 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1784.64 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10796 0 0 0 178385 79 0 0 25 0 1 0 157895117 48594944 9709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9709 105 232 0 11629 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 47456 [startup+1786.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1785.64 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10796 0 0 0 178485 79 0 0 25 0 1 0 157895117 48594944 9709 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9709 105 232 0 11629 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 47456 [startup+1787.08 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1786.65 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10797 0 0 0 178586 79 0 0 25 0 1 0 157895117 48594944 9710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9710 105 232 0 11629 0 Current children cumulated CPU time (s) 1786.65 Current children cumulated vsize (Kb) 47456 [startup+1788.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1787.65 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10797 0 0 0 178686 79 0 0 25 0 1 0 157895117 48594944 9710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546668 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9710 105 232 0 11629 0 Current children cumulated CPU time (s) 1787.65 Current children cumulated vsize (Kb) 47456 [startup+1789.09 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1788.65 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10797 0 0 0 178786 79 0 0 25 0 1 0 157895117 48594944 9710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9710 105 232 0 11629 0 Current children cumulated CPU time (s) 1788.65 Current children cumulated vsize (Kb) 47456 [startup+1790.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1789.66 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10797 0 0 0 178887 79 0 0 25 0 1 0 157895117 48594944 9710 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9710 105 232 0 11629 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 47456 [startup+1791.1 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1790.66 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10798 0 0 0 178987 79 0 0 25 0 1 0 157895117 48594944 9711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9711 105 232 0 11629 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 47456 [startup+1792.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1791.67 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10798 0 0 0 179088 79 0 0 25 0 1 0 157895117 48594944 9711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9711 105 232 0 11629 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 47456 [startup+1793.11 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482636/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47456 CPUtime=1792.67 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10798 0 0 0 179188 79 0 0 25 0 1 0 157895117 48594944 9711 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11864 9711 105 232 0 11629 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 47456 [startup+1794.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1793.69 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10806 0 0 0 179289 80 0 0 25 0 1 0 157895117 48644096 9719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9719 105 232 0 11641 0 Current children cumulated CPU time (s) 1793.69 Current children cumulated vsize (Kb) 47504 [startup+1795.12 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1794.69 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10806 0 0 0 179389 80 0 0 25 0 1 0 157895117 48644096 9719 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551103 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9719 105 232 0 11641 0 Current children cumulated CPU time (s) 1794.69 Current children cumulated vsize (Kb) 47504 [startup+1796.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1795.7 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10807 0 0 0 179490 80 0 0 25 0 1 0 157895117 48644096 9720 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9720 105 232 0 11641 0 Current children cumulated CPU time (s) 1795.7 Current children cumulated vsize (Kb) 47504 [startup+1797.13 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1796.7 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10807 0 0 0 179590 80 0 0 25 0 1 0 157895117 48644096 9720 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9720 105 232 0 11641 0 Current children cumulated CPU time (s) 1796.7 Current children cumulated vsize (Kb) 47504 [startup+1798.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1797.7 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10808 0 0 0 179690 80 0 0 25 0 1 0 157895117 48644096 9721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551626 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9721 105 232 0 11641 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 47504 [startup+1799.14 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1798.71 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10808 0 0 0 179791 80 0 0 25 0 1 0 157895117 48644096 9721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9721 105 232 0 11641 0 Current children cumulated CPU time (s) 1798.71 Current children cumulated vsize (Kb) 47504 [startup+1800.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1799.71 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10808 0 0 0 179891 80 0 0 25 0 1 0 157895117 48644096 9721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546720 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9721 105 232 0 11641 0 Current children cumulated CPU time (s) 1799.71 Current children cumulated vsize (Kb) 47504 [startup+1801.15 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1800.72 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10808 0 0 0 179992 80 0 0 25 0 1 0 157895117 48644096 9721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9721 105 232 0 11641 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 47504 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.16 s] /proc/loadavg: 1.00 1.00 0.99 2/64 16484 /proc/meminfo: memFree=482572/2055920 swapFree=4183068/4192956 [pid=16482] ppid=16480 vsize=47504 CPUtime=1800.72 /proc/16482/stat : 16482 (PBS4L) R 16480 16482 16433 0 -1 4194304 10808 0 0 0 179992 80 0 0 25 0 1 0 157895117 48644096 9721 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/16482/statm: 11876 9721 105 232 0 11641 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 47504 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.74 CPU user time (s): 1799.93 CPU system time (s): 0.808877 CPU usage (%): 99.976 Max. virtual memory (cumulated for all children) (Kb): 47504 The end
Begin job on node57 on Fri Jul 28 18:10:47 UTC 2006 FILE ID= 50561-1154110247 PBS_JOBID= 886463 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/bounded_golomb_rulers/normalized-bogr_19.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node57/50561-1154110247/instance-50561-1154110247.opb 634786359 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node57/watcher-50561-1154110247 -o ROOT/results/node57/solver-50561-1154110247 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node57/50561-1154110247/instance-50561-1154110247.opb 634786359 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 691db1c1df60c391acb60afdfcce171f RANDOM SEED= 634786359 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.235 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.235 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: 521028 kB Buffers: 43168 kB Cached: 1404748 kB SwapCached: 3884 kB Active: 375880 kB Inactive: 1080824 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 521028 kB SwapTotal: 4192956 kB SwapFree: 4183068 kB Dirty: 180 kB Writeback: 0 kB Mapped: 14724 kB Slab: 64224 kB Committed_AS: 604728 kB PageTables: 1480 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node57 on Fri Jul 28 18:40:49 UTC 2006