Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.52 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/golomb-rulers/normalized-OGR_16.opb |
MD5SUM | 69b04711942c7a7cbb28264339dbffe2 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 223 |
Best CPU time to get the best result obtained on this benchmark | 1782.75 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 223 |
Optimality of the best value was proved | NO |
Number of variables | 5584 |
Total number of constraints | 10895 |
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 | 10895 |
Minimum length of a constraint | 18 |
Maximum length of a constraint | 37 |
Number of terms in the objective function | 9 |
Biggest coefficient in the objective function | 256 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 511 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 512 |
Number of bits of the biggest number in a constraint | 10 |
Biggest sum of numbers in a constraint | 2555 |
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/node7/46601-1154066467/instance-46601-1154066467.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/node7/watcher-46601-1154066467 -o ROOT/results/node7/solver-46601-1154066467 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/46601-1154066467/instance-46601-1154066467.opb 549316780 Current StackSize limit: 67108864 bytes /proc/loadavg: 1.00 1.00 1.00 2/70 477 /proc/meminfo: memFree=614016/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=1924 CPUtime=0 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 192 0 0 0 0 0 0 0 18 0 1 0 153508039 1970176 175 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 481 176 90 232 0 246 0 [startup+10.0027 s] /proc/loadavg: 1.00 1.00 1.00 2/70 545 /proc/meminfo: memFree=601672/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=13892 CPUtime=9.97 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 3580 0 0 0 993 4 0 0 25 0 1 0 153508039 14225408 3197 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 3473 3197 104 232 0 3238 0 Current children cumulated CPU time (s) 9.97 Current children cumulated vsize (Kb) 13892 [startup+20.0096 s] /proc/loadavg: 1.00 1.00 1.00 2/70 593 /proc/meminfo: memFree=601416/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=14404 CPUtime=19.95 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 3667 0 0 0 1990 5 0 0 25 0 1 0 153508039 14749696 3284 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 3601 3284 105 232 0 3366 0 Current children cumulated CPU time (s) 19.95 Current children cumulated vsize (Kb) 14404 [startup+30.0164 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=602232/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=15428 CPUtime=29.94 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 3766 0 0 0 2989 5 0 0 25 0 1 0 153508039 15798272 3383 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 3857 3383 105 232 0 3622 0 Current children cumulated CPU time (s) 29.94 Current children cumulated vsize (Kb) 15428 [startup+40.0223 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=601912/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=15428 CPUtime=39.94 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 3871 0 0 0 3988 6 0 0 25 0 1 0 153508039 15798272 3488 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551582 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 3857 3488 105 232 0 3622 0 Current children cumulated CPU time (s) 39.94 Current children cumulated vsize (Kb) 15428 [startup+50.0281 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=601464/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=15428 CPUtime=49.95 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 3993 0 0 0 4988 7 0 0 25 0 1 0 153508039 15798272 3610 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546605 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 3857 3610 105 232 0 3622 0 Current children cumulated CPU time (s) 49.95 Current children cumulated vsize (Kb) 15428 [startup+60.034 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=600952/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=17476 CPUtime=59.94 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4122 0 0 0 5987 7 0 0 25 0 1 0 153508039 17895424 3739 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 4369 3739 105 232 0 4134 0 Current children cumulated CPU time (s) 59.94 Current children cumulated vsize (Kb) 17476 [startup+70.0399 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=600632/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=17476 CPUtime=69.95 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4206 0 0 0 6987 8 0 0 25 0 1 0 153508039 17895424 3823 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 4369 3823 105 232 0 4134 0 Current children cumulated CPU time (s) 69.95 Current children cumulated vsize (Kb) 17476 [startup+80.0457 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=600056/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=17864 CPUtime=79.95 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4354 0 0 0 7987 8 0 0 25 0 1 0 153508039 18292736 3971 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 4466 3971 105 232 0 4231 0 Current children cumulated CPU time (s) 79.95 Current children cumulated vsize (Kb) 17864 [startup+90.0516 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=599416/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=17864 CPUtime=89.95 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4519 0 0 0 8986 9 0 0 25 0 1 0 153508039 18292736 4136 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 4466 4136 105 232 0 4231 0 Current children cumulated CPU time (s) 89.95 Current children cumulated vsize (Kb) 17864 [startup+100.057 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=599096/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=99.96 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4598 0 0 0 9986 10 0 0 25 0 1 0 153508039 22487040 4215 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546677 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4215 105 232 0 5255 0 Current children cumulated CPU time (s) 99.96 Current children cumulated vsize (Kb) 21960 [startup+110.063 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=599096/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=109.96 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4604 0 0 0 10985 11 0 0 25 0 1 0 153508039 22487040 4221 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4221 105 232 0 5255 0 Current children cumulated CPU time (s) 109.96 Current children cumulated vsize (Kb) 21960 [startup+120.069 s] /proc/loadavg: 1.00 1.00 1.00 3/64 609 /proc/meminfo: memFree=598584/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=119.96 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4720 0 0 0 11984 12 0 0 25 0 1 0 153508039 22487040 4337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551526 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4337 105 232 0 5255 0 Current children cumulated CPU time (s) 119.96 Current children cumulated vsize (Kb) 21960 [startup+130.075 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=598072/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=129.97 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4845 0 0 0 12984 13 0 0 25 0 1 0 153508039 22487040 4462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551585 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4462 105 232 0 5255 0 Current children cumulated CPU time (s) 129.97 Current children cumulated vsize (Kb) 21960 [startup+140.081 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=597816/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=139.97 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 4916 0 0 0 13984 13 0 0 25 0 1 0 153508039 22487040 4533 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4533 105 232 0 5255 0 Current children cumulated CPU time (s) 139.97 Current children cumulated vsize (Kb) 21960 [startup+150.087 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=597432/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=149.97 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 5012 0 0 0 14983 14 0 0 25 0 1 0 153508039 22487040 4629 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4629 105 232 0 5255 0 Current children cumulated CPU time (s) 149.97 Current children cumulated vsize (Kb) 21960 [startup+160.093 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=597176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=21960 CPUtime=159.98 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 5077 0 0 0 15983 15 0 0 25 0 1 0 153508039 22487040 4694 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5490 4694 105 232 0 5255 0 Current children cumulated CPU time (s) 159.98 Current children cumulated vsize (Kb) 21960 [startup+170.098 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=596856/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=22344 CPUtime=169.97 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 5252 0 0 0 16982 15 0 0 25 0 1 0 153508039 22880256 4772 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5586 4772 105 232 0 5351 0 Current children cumulated CPU time (s) 169.97 Current children cumulated vsize (Kb) 22344 [startup+180.104 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=596664/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=22344 CPUtime=179.98 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 5299 0 0 0 17982 16 0 0 25 0 1 0 153508039 22880256 4819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551682 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5586 4819 105 232 0 5351 0 Current children cumulated CPU time (s) 179.98 Current children cumulated vsize (Kb) 22344 [startup+190.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=596664/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=22344 CPUtime=189.98 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 5304 0 0 0 18981 17 0 0 25 0 1 0 153508039 22880256 4824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5586 4824 105 232 0 5351 0 Current children cumulated CPU time (s) 189.98 Current children cumulated vsize (Kb) 22344 [startup+200.116 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=596600/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=22344 CPUtime=199.99 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 5323 0 0 0 19982 17 0 0 25 0 1 0 153508039 22880256 4843 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551691 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 5586 4843 105 232 0 5351 0 Current children cumulated CPU time (s) 199.99 Current children cumulated vsize (Kb) 22344 [startup+210.122 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 ################ # More data... # ################ /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10490 0 0 0 178019 122 0 0 25 0 1 0 153508039 42135552 8663 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8663 105 232 0 10052 0 Current children cumulated CPU time (s) 1781.41 Current children cumulated vsize (Kb) 41148 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41148 CPUtime=1782.41 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10492 0 0 0 178119 122 0 0 25 0 1 0 153508039 42135552 8665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8665 105 232 0 10052 0 Current children cumulated CPU time (s) 1782.41 Current children cumulated vsize (Kb) 41148 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41148 CPUtime=1783.41 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10492 0 0 0 178219 122 0 0 25 0 1 0 153508039 42135552 8665 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8665 105 232 0 10052 0 Current children cumulated CPU time (s) 1783.41 Current children cumulated vsize (Kb) 41148 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41148 CPUtime=1784.42 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10493 0 0 0 178320 122 0 0 25 0 1 0 153508039 42135552 8666 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8666 105 232 0 10052 0 Current children cumulated CPU time (s) 1784.42 Current children cumulated vsize (Kb) 41148 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41148 CPUtime=1785.42 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10494 0 0 0 178420 122 0 0 25 0 1 0 153508039 42135552 8667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8667 105 232 0 10052 0 Current children cumulated CPU time (s) 1785.42 Current children cumulated vsize (Kb) 41148 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41148 CPUtime=1786.43 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10494 0 0 0 178521 122 0 0 25 0 1 0 153508039 42135552 8667 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8667 105 232 0 10052 0 Current children cumulated CPU time (s) 1786.43 Current children cumulated vsize (Kb) 41148 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41148 CPUtime=1787.44 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10495 0 0 0 178621 123 0 0 25 0 1 0 153508039 42135552 8668 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10287 8668 105 232 0 10052 0 Current children cumulated CPU time (s) 1787.44 Current children cumulated vsize (Kb) 41148 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1788.44 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10499 0 0 0 178721 123 0 0 25 0 1 0 153508039 42360832 8672 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8672 105 232 0 10107 0 Current children cumulated CPU time (s) 1788.44 Current children cumulated vsize (Kb) 41368 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1789.45 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10501 0 0 0 178822 123 0 0 25 0 1 0 153508039 42360832 8674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8674 105 232 0 10107 0 Current children cumulated CPU time (s) 1789.45 Current children cumulated vsize (Kb) 41368 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581240/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1790.45 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10501 0 0 0 178922 123 0 0 25 0 1 0 153508039 42360832 8674 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8674 105 232 0 10107 0 Current children cumulated CPU time (s) 1790.45 Current children cumulated vsize (Kb) 41368 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1791.46 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10502 0 0 0 179023 123 0 0 25 0 1 0 153508039 42360832 8675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551243 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8675 105 232 0 10107 0 Current children cumulated CPU time (s) 1791.46 Current children cumulated vsize (Kb) 41368 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1792.46 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10502 0 0 0 179123 123 0 0 25 0 1 0 153508039 42360832 8675 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8675 105 232 0 10107 0 Current children cumulated CPU time (s) 1792.46 Current children cumulated vsize (Kb) 41368 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1793.46 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10503 0 0 0 179223 123 0 0 25 0 1 0 153508039 42360832 8676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8676 105 232 0 10107 0 Current children cumulated CPU time (s) 1793.46 Current children cumulated vsize (Kb) 41368 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1794.47 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10503 0 0 0 179324 123 0 0 25 0 1 0 153508039 42360832 8676 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551602 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8676 105 232 0 10107 0 Current children cumulated CPU time (s) 1794.47 Current children cumulated vsize (Kb) 41368 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1795.47 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10504 0 0 0 179424 123 0 0 25 0 1 0 153508039 42360832 8677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551312 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8677 105 232 0 10107 0 Current children cumulated CPU time (s) 1795.47 Current children cumulated vsize (Kb) 41368 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1796.48 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10504 0 0 0 179525 123 0 0 25 0 1 0 153508039 42360832 8677 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8677 105 232 0 10107 0 Current children cumulated CPU time (s) 1796.48 Current children cumulated vsize (Kb) 41368 [startup+1798.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1797.48 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10506 0 0 0 179625 123 0 0 25 0 1 0 153508039 42360832 8679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8679 105 232 0 10107 0 Current children cumulated CPU time (s) 1797.48 Current children cumulated vsize (Kb) 41368 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1798.48 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10506 0 0 0 179725 123 0 0 25 0 1 0 153508039 42360832 8679 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8679 105 232 0 10107 0 Current children cumulated CPU time (s) 1798.48 Current children cumulated vsize (Kb) 41368 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1799.49 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10507 0 0 0 179826 123 0 0 25 0 1 0 153508039 42360832 8680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546626 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8680 105 232 0 10107 0 Current children cumulated CPU time (s) 1799.49 Current children cumulated vsize (Kb) 41368 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1800.5 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10507 0 0 0 179926 124 0 0 25 0 1 0 153508039 42360832 8680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8680 105 232 0 10107 0 Current children cumulated CPU time (s) 1800.5 Current children cumulated vsize (Kb) 41368 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 1.00 2/64 609 /proc/meminfo: memFree=581176/2055920 swapFree=4182852/4192956 [pid=477] ppid=475 vsize=41368 CPUtime=1800.51 /proc/477/stat : 477 (PBS4L) R 475 477 428 0 -1 4194304 10507 0 0 0 179927 124 0 0 25 0 1 0 153508039 42360832 8680 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/477/statm: 10342 8680 105 232 0 10107 0 Current children cumulated CPU time (s) 1800.51 Current children cumulated vsize (Kb) 41368 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.52 CPU user time (s): 1799.27 CPU system time (s): 1.24681 CPU usage (%): 99.9629 Max. virtual memory (cumulated for all children) (Kb): 41368 The end
Begin job on node7 on Fri Jul 28 06:01:07 UTC 2006 FILE ID= 46601-1154066467 PBS_JOBID= 882472 BENCH NAME= HOME/pub/bench/PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/golomb-rulers/normalized-OGR_16.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/46601-1154066467/instance-46601-1154066467.opb 549316780 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node7/watcher-46601-1154066467 -o ROOT/results/node7/solver-46601-1154066467 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node7/46601-1154066467/instance-46601-1154066467.opb 549316780 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 69b04711942c7a7cbb28264339dbffe2 RANDOM SEED= 549316780 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.281 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.281 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: 614224 kB Buffers: 43172 kB Cached: 1315948 kB SwapCached: 4484 kB Active: 278996 kB Inactive: 1090288 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 614224 kB SwapTotal: 4192956 kB SwapFree: 4182852 kB Dirty: 228 kB Writeback: 0 kB Mapped: 15748 kB Slab: 57976 kB Committed_AS: 645984 kB PageTables: 1720 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node7 on Fri Jul 28 06:31:08 UTC 2006