Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.67 | 1801.19 |
Name | normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/ benchmarks/radar/normalized-10:10:4.5:0.95:98.opb |
MD5SUM | 7acfcd4d612717a490c27c9a55b3f455 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 1 |
Best CPU time to get the best result obtained on this benchmark | 0.535917 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 1 |
Optimality of the best value was proved | YES |
Number of variables | 411 |
Total number of constraints | 477 |
Number of constraints which are clauses | 387 |
Number of constraints which are cardinality constraints (but not clauses) | 90 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16 |
Number of terms in the objective function | 411 |
Biggest coefficient in the objective function | 268 |
Number of bits for the biggest coefficient in the objective function | 9 |
Sum of the numbers in the objective function | 1129 |
Number of bits of the sum of numbers in the objective function | 11 |
Biggest number in a constraint | 268 |
Number of bits of the biggest number in a constraint | 9 |
Biggest sum of numbers in a constraint | 1129 |
Number of bits of the biggest sum of numbers | 11 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00 c PBS v4 by Bashar Al-Rawi & Fadi Aloul 0.00 c Solving ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb ...... 0.01 c done parsing opb. 0.01 o 825 0.01 o 824 0.01 o 279 0.01 o 278
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/node27/watcher-41904-1149289337 -o ROOT/results/node27/solver-41904-1149289337 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb 721172416 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.92 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1786512/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=1400 CPUtime=0 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 153 0 0 0 0 0 0 0 18 0 1 0 194597189 1433600 134 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135084712 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 350 134 97 232 0 115 0 [startup+10.0026 s] /proc/loadavg: 0.93 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1775448/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=19216 CPUtime=9.99 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 3011 0 0 0 994 5 0 0 25 0 1 0 194597189 19677184 2841 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134564186 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 4804 2841 108 232 0 4569 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 19216 [startup+20.0086 s] /proc/loadavg: 0.94 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1774552/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=20700 CPUtime=20 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 3467 0 0 0 1991 9 0 0 25 0 1 0 194597189 21196800 3104 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 5175 3104 108 232 0 4940 0 Current children cumulated CPU time (s) 20 Current children cumulated vsize (Kb) 20700 [startup+30.0146 s] /proc/loadavg: 0.95 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1773656/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=21208 CPUtime=29.99 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 3694 0 0 0 2986 13 0 0 25 0 1 0 194597189 21716992 3331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 5302 3331 108 232 0 5067 0 Current children cumulated CPU time (s) 29.99 Current children cumulated vsize (Kb) 21208 [startup+40.0207 s] /proc/loadavg: 0.96 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1772952/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=23160 CPUtime=39.99 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4271 0 0 0 3983 16 0 0 25 0 1 0 194597189 23715840 3523 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549318 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 5790 3523 108 232 0 5555 0 Current children cumulated CPU time (s) 39.99 Current children cumulated vsize (Kb) 23160 [startup+50.0267 s] /proc/loadavg: 0.96 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1772248/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=23532 CPUtime=50.01 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4441 0 0 0 4980 21 0 0 25 0 1 0 194597189 24096768 3693 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549255 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 5883 3693 108 232 0 5648 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 23532 [startup+60.0327 s] /proc/loadavg: 0.97 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1771608/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=23804 CPUtime=60.01 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4594 0 0 0 5977 24 0 0 25 0 1 0 194597189 24375296 3846 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 5951 3846 108 232 0 5716 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 23804 [startup+70.0388 s] /proc/loadavg: 0.97 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1771032/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=24112 CPUtime=70.01 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4745 0 0 0 6973 28 0 0 25 0 1 0 194597189 24690688 3997 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549323 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 6028 3997 108 232 0 5793 0 Current children cumulated CPU time (s) 70.01 Current children cumulated vsize (Kb) 24112 [startup+80.0448 s] /proc/loadavg: 0.98 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1770520/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=24460 CPUtime=80.01 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 4887 0 0 0 7968 33 0 0 25 0 1 0 194597189 25047040 4139 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 6115 4139 108 232 0 5880 0 Current children cumulated CPU time (s) 80.01 Current children cumulated vsize (Kb) 24460 [startup+90.0508 s] /proc/loadavg: 0.98 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1769752/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=27720 CPUtime=90.02 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 5795 0 0 0 8966 36 0 0 25 0 1 0 194597189 28385280 4278 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 6930 4278 108 232 0 6695 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 27720 [startup+100.056 s] /proc/loadavg: 0.98 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1769432/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=27920 CPUtime=100.01 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 5925 0 0 0 9963 38 0 0 25 0 1 0 194597189 28590080 4408 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 6980 4408 108 232 0 6745 0 Current children cumulated CPU time (s) 100.01 Current children cumulated vsize (Kb) 27920 [startup+110.062 s] /proc/loadavg: 0.98 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1768920/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=28488 CPUtime=110.02 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6048 0 0 0 10962 40 0 0 25 0 1 0 194597189 29171712 4531 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551971 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7122 4531 108 232 0 6887 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 28488 [startup+120.068 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1768472/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=28728 CPUtime=120.02 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6158 0 0 0 11959 43 0 0 25 0 1 0 194597189 29417472 4641 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558768 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7182 4641 108 232 0 6947 0 Current children cumulated CPU time (s) 120.02 Current children cumulated vsize (Kb) 28728 [startup+130.074 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1768024/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=28728 CPUtime=130.03 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6264 0 0 0 12957 46 0 0 25 0 1 0 194597189 29417472 4747 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7182 4747 108 232 0 6947 0 Current children cumulated CPU time (s) 130.03 Current children cumulated vsize (Kb) 28728 [startup+140.08 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1767576/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=28984 CPUtime=140.03 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6377 0 0 0 13955 48 0 0 25 0 1 0 194597189 29679616 4860 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7246 4860 108 232 0 7011 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 28984 [startup+150.086 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1767192/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=29256 CPUtime=150.04 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6468 0 0 0 14952 52 0 0 25 0 1 0 194597189 29958144 4951 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7314 4951 108 232 0 7079 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 29256 [startup+160.091 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1766808/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=29544 CPUtime=160.03 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6575 0 0 0 15949 54 0 0 25 0 1 0 194597189 30253056 5058 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7386 5058 108 232 0 7151 0 Current children cumulated CPU time (s) 160.03 Current children cumulated vsize (Kb) 29544 [startup+170.097 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1766424/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=29544 CPUtime=170.04 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6666 0 0 0 16947 57 0 0 25 0 1 0 194597189 30253056 5149 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7386 5149 108 232 0 7151 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 29544 [startup+180.103 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1766040/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=29852 CPUtime=180.04 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6764 0 0 0 17944 60 0 0 25 0 1 0 194597189 30568448 5247 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558782 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7463 5247 108 232 0 7228 0 Current children cumulated CPU time (s) 180.04 Current children cumulated vsize (Kb) 29852 [startup+190.109 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1765656/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=30176 CPUtime=190.04 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6858 0 0 0 18941 63 0 0 25 0 1 0 194597189 30900224 5341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7544 5341 108 232 0 7309 0 Current children cumulated CPU time (s) 190.04 Current children cumulated vsize (Kb) 30176 [startup+200.115 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1765272/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=30176 CPUtime=200.04 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 6958 0 0 0 19939 65 0 0 25 0 1 0 194597189 30900224 5441 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 7544 5441 108 232 0 7309 0 Current children cumulated CPU time (s) 200.04 Current children cumulated vsize (Kb) 30176 [startup+210.121 s] /proc/loadavg: 0.99 0.98 0.96 2/64 25819 /proc/meminfo: memFree=1764888/2055920 swapFree=4180900/4192956 ################ # More data... # ################ /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19892 0 0 0 177870 286 0 0 25 0 1 0 194597189 67190784 13765 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13765 108 232 0 16169 0 Current children cumulated CPU time (s) 1781.56 Current children cumulated vsize (Kb) 65616 [startup+1783.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731736/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1782.57 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19900 0 0 0 177971 286 0 0 25 0 1 0 194597189 67190784 13773 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13773 108 232 0 16169 0 Current children cumulated CPU time (s) 1782.57 Current children cumulated vsize (Kb) 65616 [startup+1784.08 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1783.57 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19905 0 0 0 178071 286 0 0 25 0 1 0 194597189 67190784 13778 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13778 108 232 0 16169 0 Current children cumulated CPU time (s) 1783.57 Current children cumulated vsize (Kb) 65616 [startup+1785.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1784.57 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19906 0 0 0 178171 286 0 0 25 0 1 0 194597189 67190784 13779 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13779 108 232 0 16169 0 Current children cumulated CPU time (s) 1784.57 Current children cumulated vsize (Kb) 65616 [startup+1786.09 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1785.57 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19907 0 0 0 178271 286 0 0 25 0 1 0 194597189 67190784 13780 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558791 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13780 108 232 0 16169 0 Current children cumulated CPU time (s) 1785.57 Current children cumulated vsize (Kb) 65616 [startup+1787.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1786.58 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19909 0 0 0 178372 286 0 0 25 0 1 0 194597189 67190784 13782 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549316 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13782 108 232 0 16169 0 Current children cumulated CPU time (s) 1786.58 Current children cumulated vsize (Kb) 65616 [startup+1788.1 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1787.59 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19911 0 0 0 178472 287 0 0 25 0 1 0 194597189 67190784 13784 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549239 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13784 108 232 0 16169 0 Current children cumulated CPU time (s) 1787.59 Current children cumulated vsize (Kb) 65616 [startup+1789.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731672/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1788.6 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19919 0 0 0 178573 287 0 0 25 0 1 0 194597189 67190784 13792 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549242 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13792 108 232 0 16169 0 Current children cumulated CPU time (s) 1788.6 Current children cumulated vsize (Kb) 65616 [startup+1790.11 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731608/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1789.6 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19922 0 0 0 178673 287 0 0 25 0 1 0 194597189 67190784 13795 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13795 108 232 0 16169 0 Current children cumulated CPU time (s) 1789.6 Current children cumulated vsize (Kb) 65616 [startup+1791.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731608/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1790.6 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19932 0 0 0 178773 287 0 0 25 0 1 0 194597189 67190784 13805 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13805 108 232 0 16169 0 Current children cumulated CPU time (s) 1790.6 Current children cumulated vsize (Kb) 65616 [startup+1792.12 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731608/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1791.61 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19934 0 0 0 178874 287 0 0 25 0 1 0 194597189 67190784 13807 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558830 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13807 108 232 0 16169 0 Current children cumulated CPU time (s) 1791.61 Current children cumulated vsize (Kb) 65616 [startup+1793.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1792.61 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19940 0 0 0 178974 287 0 0 25 0 1 0 194597189 67190784 13813 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13813 108 232 0 16169 0 Current children cumulated CPU time (s) 1792.61 Current children cumulated vsize (Kb) 65616 [startup+1794.13 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1793.61 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19941 0 0 0 179074 287 0 0 25 0 1 0 194597189 67190784 13814 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558802 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13814 108 232 0 16169 0 Current children cumulated CPU time (s) 1793.61 Current children cumulated vsize (Kb) 65616 [startup+1795.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1794.62 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19946 0 0 0 179175 287 0 0 25 0 1 0 194597189 67190784 13819 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13819 108 232 0 16169 0 Current children cumulated CPU time (s) 1794.62 Current children cumulated vsize (Kb) 65616 [startup+1796.14 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731544/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1795.62 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19949 0 0 0 179275 287 0 0 25 0 1 0 194597189 67190784 13822 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558771 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13822 108 232 0 16169 0 Current children cumulated CPU time (s) 1795.62 Current children cumulated vsize (Kb) 65616 [startup+1797.15 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731480/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1796.63 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19951 0 0 0 179376 287 0 0 25 0 1 0 194597189 67190784 13824 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13824 108 232 0 16169 0 Current children cumulated CPU time (s) 1796.63 Current children cumulated vsize (Kb) 65616 [startup+1798.15 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731480/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1797.63 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19955 0 0 0 179476 287 0 0 25 0 1 0 194597189 67190784 13828 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13828 108 232 0 16169 0 Current children cumulated CPU time (s) 1797.63 Current children cumulated vsize (Kb) 65616 [startup+1799.16 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731480/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1798.64 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19963 0 0 0 179576 288 0 0 25 0 1 0 194597189 67190784 13836 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13836 108 232 0 16169 0 Current children cumulated CPU time (s) 1798.64 Current children cumulated vsize (Kb) 65616 [startup+1800.16 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731416/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1799.65 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19966 0 0 0 179677 288 0 0 25 0 1 0 194597189 67190784 13839 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13839 108 232 0 16169 0 Current children cumulated CPU time (s) 1799.65 Current children cumulated vsize (Kb) 65616 [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731416/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1800.65 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19967 0 0 0 179777 288 0 0 25 0 1 0 194597189 67190784 13840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13840 108 232 0 16169 0 Current children cumulated CPU time (s) 1800.65 Current children cumulated vsize (Kb) 65616 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.17 s] /proc/loadavg: 1.00 1.00 0.97 2/64 25819 /proc/meminfo: memFree=1731416/2055920 swapFree=4180900/4192956 [pid=25819] ppid=25817 vsize=65616 CPUtime=1800.66 /proc/25819/stat : 25819 (PBS4L) R 25817 25819 25773 0 -1 4194304 19967 0 0 0 179778 288 0 0 25 0 1 0 194597189 67190784 13840 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558785 0 0 4096 0 0 0 0 17 1 0 0 /proc/25819/statm: 16404 13840 108 232 0 16169 0 Current children cumulated CPU time (s) 1800.66 Current children cumulated vsize (Kb) 65616 Sending SIGTERM to -25819 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.19 CPU time (s): 1800.67 CPU user time (s): 1797.78 CPU system time (s): 2.89356 CPU usage (%): 99.9715 Max. virtual memory (cumulated for all children) (Kb): 65616 The end
Begin job on node27 on Fri Jun 2 23:02:17 UTC 2006 FILE ID= 41904-1149289337 PBS_JOBID= 306777 BENCH NAME= HOME/pub/bench/PB06//final/normalized-PB06/OPT-SMALLINT/web/www.ps.uni-sb.de/~walser/benchmarks/radar/normalized-10:10:4.5:0.95:98.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb 721172416 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node27/watcher-41904-1149289337 -o ROOT/results/node27/solver-41904-1149289337 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node27/41904-1149289337/instance-41904-1149289337.opb 721172416 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 7acfcd4d612717a490c27c9a55b3f455 RANDOM SEED= 721172416 /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.234 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.234 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: 1786720 kB Buffers: 14572 kB Cached: 187072 kB SwapCached: 3784 kB Active: 71688 kB Inactive: 138712 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1786720 kB SwapTotal: 4192956 kB SwapFree: 4180900 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14776 kB Slab: 44880 kB Committed_AS: 325564 kB PageTables: 1412 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node27 on Fri Jun 2 23:32:18 UTC 2006