Solver Name | Answer | Objective function | CPU time | Wall clock time |
---|---|---|---|---|
PBS 4.1L | ? (TO) | 1800.73 | 1801.22 |
Name | normalized-PB06/OPT-SMALLINT/reduced/mps-v2-20-10/plato.asu.edu/ pub/unibo/normalized-reduced-mps-v2-20-10-roll3000.opb |
MD5SUM | 8bdca001a57a76bf3835c82b9bc6a431 |
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 | 8902 |
Total number of constraints | 2864 |
Number of constraints which are clauses | 143 |
Number of constraints which are cardinality constraints (but not clauses) | 31 |
Number of constraints which are nor clauses,nor cardinality constraints | 2690 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 2407 |
Number of terms in the objective function | 31 |
Biggest coefficient in the objective function | 262145 |
Number of bits for the biggest coefficient in the objective function | 19 |
Sum of the numbers in the objective function | 524318 |
Number of bits of the sum of numbers in the objective function | 20 |
Biggest number in a constraint | 262145 |
Number of bits of the biggest number in a constraint | 19 |
Biggest sum of numbers in a constraint | 526135 |
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/node23/41293-1149264238/instance-41293-1149264238.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/node23/watcher-41293-1149264238 -o ROOT/results/node23/solver-41293-1149264238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41293-1149264238/instance-41293-1149264238.opb 456384747 Current StackSize limit: 67108864 bytes /proc/loadavg: 0.93 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1169888/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=2236 CPUtime=0 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 176 0 0 0 0 0 0 0 18 0 1 0 192087515 2289664 160 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134599096 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 559 162 90 232 0 324 0 [startup+10.0025 s] /proc/loadavg: 0.94 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1163632/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=8456 CPUtime=9.99 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 1755 0 0 0 998 1 0 0 25 0 1 0 192087515 8658944 1698 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 2114 1698 105 232 0 1879 0 Current children cumulated CPU time (s) 9.99 Current children cumulated vsize (Kb) 8456 [startup+20.0086 s] /proc/loadavg: 0.95 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1162928/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=8652 CPUtime=19.99 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 1944 0 0 0 1997 2 0 0 25 0 1 0 192087515 8859648 1887 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551243 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 2163 1887 105 232 0 1928 0 Current children cumulated CPU time (s) 19.99 Current children cumulated vsize (Kb) 8652 [startup+30.0158 s] /proc/loadavg: 0.96 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1162032/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=11000 CPUtime=30 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 2211 0 0 0 2996 4 0 0 25 0 1 0 192087515 11264000 2105 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 2750 2105 105 232 0 2515 0 Current children cumulated CPU time (s) 30 Current children cumulated vsize (Kb) 11000 [startup+40.0209 s] /proc/loadavg: 0.96 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1161520/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=11112 CPUtime=40 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 2339 0 0 0 3995 5 0 0 25 0 1 0 192087515 11378688 2233 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551629 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 2778 2233 105 232 0 2543 0 Current children cumulated CPU time (s) 40 Current children cumulated vsize (Kb) 11112 [startup+50.027 s] /proc/loadavg: 0.97 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1160880/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=11268 CPUtime=50.01 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 2522 0 0 0 4994 7 0 0 25 0 1 0 192087515 11538432 2416 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558818 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 2817 2416 105 232 0 2582 0 Current children cumulated CPU time (s) 50.01 Current children cumulated vsize (Kb) 11268 [startup+60.0332 s] /proc/loadavg: 0.97 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1160368/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=11492 CPUtime=60.01 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 2633 0 0 0 5993 8 0 0 25 0 1 0 192087515 11767808 2527 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551579 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 2873 2527 105 232 0 2638 0 Current children cumulated CPU time (s) 60.01 Current children cumulated vsize (Kb) 11492 [startup+70.0394 s] /proc/loadavg: 0.98 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1159536/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=15972 CPUtime=70.02 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 2944 0 0 0 6993 9 0 0 25 0 1 0 192087515 16355328 2741 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551621 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 3993 2741 105 232 0 3758 0 Current children cumulated CPU time (s) 70.02 Current children cumulated vsize (Kb) 15972 [startup+80.0454 s] /proc/loadavg: 0.98 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1158704/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16260 CPUtime=80.02 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 3145 0 0 0 7992 10 0 0 25 0 1 0 192087515 16650240 2942 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551608 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4065 2942 105 232 0 3830 0 Current children cumulated CPU time (s) 80.02 Current children cumulated vsize (Kb) 16260 [startup+90.0516 s] /proc/loadavg: 0.98 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1158064/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16260 CPUtime=90.02 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 3311 0 0 0 8991 11 0 0 25 0 1 0 192087515 16650240 3108 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4065 3108 105 232 0 3830 0 Current children cumulated CPU time (s) 90.02 Current children cumulated vsize (Kb) 16260 [startup+100.057 s] /proc/loadavg: 0.98 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1157040/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16468 CPUtime=100.03 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 3560 0 0 0 9990 13 0 0 25 0 1 0 192087515 16863232 3357 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4117 3357 105 232 0 3882 0 Current children cumulated CPU time (s) 100.03 Current children cumulated vsize (Kb) 16468 [startup+110.063 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1156656/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16612 CPUtime=110.02 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 3665 0 0 0 10988 14 0 0 25 0 1 0 192087515 17010688 3462 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551596 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4153 3462 105 232 0 3918 0 Current children cumulated CPU time (s) 110.02 Current children cumulated vsize (Kb) 16612 [startup+120.069 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1155952/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16688 CPUtime=120.03 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 3843 0 0 0 11987 16 0 0 25 0 1 0 192087515 17088512 3640 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546660 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4172 3640 105 232 0 3937 0 Current children cumulated CPU time (s) 120.03 Current children cumulated vsize (Kb) 16688 [startup+130.075 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1155568/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16796 CPUtime=130.04 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 3938 0 0 0 12987 17 0 0 25 0 1 0 192087515 17199104 3735 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4199 3735 105 232 0 3964 0 Current children cumulated CPU time (s) 130.04 Current children cumulated vsize (Kb) 16796 [startup+140.081 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1154672/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=16928 CPUtime=140.03 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 4159 0 0 0 13985 18 0 0 25 0 1 0 192087515 17334272 3956 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4232 3956 105 232 0 3997 0 Current children cumulated CPU time (s) 140.03 Current children cumulated vsize (Kb) 16928 [startup+150.087 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1154352/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=17768 CPUtime=150.04 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 4401 0 0 0 14984 20 0 0 25 0 1 0 192087515 18194432 4005 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549257 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 4442 4005 105 232 0 4207 0 Current children cumulated CPU time (s) 150.04 Current children cumulated vsize (Kb) 17768 [startup+160.093 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1153648/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=26024 CPUtime=160.05 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 4596 0 0 0 15984 21 0 0 25 0 1 0 192087515 26648576 4200 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551990 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 6506 4200 105 232 0 6271 0 Current children cumulated CPU time (s) 160.05 Current children cumulated vsize (Kb) 26024 [startup+170.099 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1152944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=26248 CPUtime=170.04 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 4770 0 0 0 16983 21 0 0 25 0 1 0 192087515 26877952 4374 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 6562 4374 105 232 0 6327 0 Current children cumulated CPU time (s) 170.04 Current children cumulated vsize (Kb) 26248 [startup+180.105 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1152048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=26348 CPUtime=180.05 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 4996 0 0 0 17982 23 0 0 25 0 1 0 192087515 26980352 4600 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 6587 4600 105 232 0 6352 0 Current children cumulated CPU time (s) 180.05 Current children cumulated vsize (Kb) 26348 [startup+190.111 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1152048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=26348 CPUtime=190.05 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 5021 0 0 0 18981 24 0 0 25 0 1 0 192087515 26980352 4625 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 6587 4625 105 232 0 6352 0 Current children cumulated CPU time (s) 190.05 Current children cumulated vsize (Kb) 26348 [startup+200.117 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1151408/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=26484 CPUtime=200.05 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 5172 0 0 0 19980 25 0 0 25 0 1 0 192087515 27119616 4776 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 6621 4776 105 232 0 6386 0 Current children cumulated CPU time (s) 200.05 Current children cumulated vsize (Kb) 26484 [startup+210.124 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1151216/2055920 swapFree=4180892/4192956 ################ # More data... # ################ /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19416 0 0 0 177949 213 0 0 25 0 1 0 192087515 99983360 16329 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16329 105 232 0 24175 0 Current children cumulated CPU time (s) 1781.62 Current children cumulated vsize (Kb) 97640 [startup+1783.11 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1782.63 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19418 0 0 0 178050 213 0 0 25 0 1 0 192087515 99983360 16331 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134550847 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16331 105 232 0 24175 0 Current children cumulated CPU time (s) 1782.63 Current children cumulated vsize (Kb) 97640 [startup+1784.11 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1783.63 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19421 0 0 0 178150 213 0 0 25 0 1 0 192087515 99983360 16334 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134558968 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16334 105 232 0 24175 0 Current children cumulated CPU time (s) 1783.63 Current children cumulated vsize (Kb) 97640 [startup+1785.12 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1784.64 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19422 0 0 0 178251 213 0 0 25 0 1 0 192087515 99983360 16335 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546650 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16335 105 232 0 24175 0 Current children cumulated CPU time (s) 1784.64 Current children cumulated vsize (Kb) 97640 [startup+1786.12 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1785.64 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19423 0 0 0 178351 213 0 0 25 0 1 0 192087515 99983360 16336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16336 105 232 0 24175 0 Current children cumulated CPU time (s) 1785.64 Current children cumulated vsize (Kb) 97640 [startup+1787.12 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1786.64 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19423 0 0 0 178451 213 0 0 25 0 1 0 192087515 99983360 16336 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546657 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16336 105 232 0 24175 0 Current children cumulated CPU time (s) 1786.64 Current children cumulated vsize (Kb) 97640 [startup+1788.13 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1787.64 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19424 0 0 0 178551 213 0 0 25 0 1 0 192087515 99983360 16337 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16337 105 232 0 24175 0 Current children cumulated CPU time (s) 1787.64 Current children cumulated vsize (Kb) 97640 [startup+1789.14 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1788.66 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19425 0 0 0 178652 214 0 0 25 0 1 0 192087515 99983360 16338 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16338 105 232 0 24175 0 Current children cumulated CPU time (s) 1788.66 Current children cumulated vsize (Kb) 97640 [startup+1790.14 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1789.66 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19426 0 0 0 178752 214 0 0 25 0 1 0 192087515 99983360 16339 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551979 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16339 105 232 0 24175 0 Current children cumulated CPU time (s) 1789.66 Current children cumulated vsize (Kb) 97640 [startup+1791.15 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104944/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1790.66 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19428 0 0 0 178852 214 0 0 25 0 1 0 192087515 99983360 16341 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551587 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16341 105 232 0 24175 0 Current children cumulated CPU time (s) 1790.66 Current children cumulated vsize (Kb) 97640 [startup+1792.15 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104816/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1791.67 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19448 0 0 0 178953 214 0 0 25 0 1 0 192087515 99983360 16361 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 135140097 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16361 105 232 0 24175 0 Current children cumulated CPU time (s) 1791.67 Current children cumulated vsize (Kb) 97640 [startup+1793.16 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104624/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1792.67 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19500 0 0 0 179053 214 0 0 25 0 1 0 192087515 99983360 16413 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16413 105 232 0 24175 0 Current children cumulated CPU time (s) 1792.67 Current children cumulated vsize (Kb) 97640 [startup+1794.16 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104496/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1793.67 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19539 0 0 0 179153 214 0 0 25 0 1 0 192087515 99983360 16452 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546640 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16452 105 232 0 24175 0 Current children cumulated CPU time (s) 1793.67 Current children cumulated vsize (Kb) 97640 [startup+1795.16 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104240/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97640 CPUtime=1794.68 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19601 0 0 0 179254 214 0 0 25 0 1 0 192087515 99983360 16514 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24410 16514 105 232 0 24175 0 Current children cumulated CPU time (s) 1794.68 Current children cumulated vsize (Kb) 97640 [startup+1796.17 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104112/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1795.69 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19635 0 0 0 179354 215 0 0 25 0 1 0 192087515 100048896 16548 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134611778 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16548 105 232 0 24191 0 Current children cumulated CPU time (s) 1795.69 Current children cumulated vsize (Kb) 97704 [startup+1797.18 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1796.69 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19636 0 0 0 179454 215 0 0 25 0 1 0 192087515 100048896 16549 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546666 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16549 105 232 0 24191 0 Current children cumulated CPU time (s) 1796.69 Current children cumulated vsize (Kb) 97704 [startup+1798.18 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1797.7 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19642 0 0 0 179555 215 0 0 25 0 1 0 192087515 100048896 16555 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551632 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16555 105 232 0 24191 0 Current children cumulated CPU time (s) 1797.7 Current children cumulated vsize (Kb) 97704 [startup+1799.19 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1798.7 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19645 0 0 0 179655 215 0 0 25 0 1 0 192087515 100048896 16558 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134549328 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16558 105 232 0 24191 0 Current children cumulated CPU time (s) 1798.7 Current children cumulated vsize (Kb) 97704 [startup+1800.19 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1799.71 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19646 0 0 0 179756 215 0 0 25 0 1 0 192087515 100048896 16559 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551616 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16559 105 232 0 24191 0 Current children cumulated CPU time (s) 1799.71 Current children cumulated vsize (Kb) 97704 [startup+1801.2 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1800.71 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19647 0 0 0 179856 215 0 0 25 0 1 0 192087515 100048896 16560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134546505 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16560 105 232 0 24191 0 Current children cumulated CPU time (s) 1800.71 Current children cumulated vsize (Kb) 97704 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1801.2 s] /proc/loadavg: 0.99 0.99 0.94 2/64 12592 /proc/meminfo: memFree=1104048/2055920 swapFree=4180892/4192956 [pid=12592] ppid=12590 vsize=97704 CPUtime=1800.72 /proc/12592/stat : 12592 (PBS4L) R 12590 12592 12546 0 -1 4194304 19647 0 0 0 179857 215 0 0 25 0 1 0 192087515 100048896 16560 18446744073709551615 134512640 135466232 4294956672 18446744073709551615 134551570 0 0 4096 0 0 0 0 17 1 0 0 /proc/12592/statm: 24426 16560 105 232 0 24191 0 Current children cumulated CPU time (s) 1800.72 Current children cumulated vsize (Kb) 97704 Sending SIGTERM to -12592 Sleeping 2 seconds Child ended because it received signal 15 (SIGTERM) Real time (s): 1801.22 CPU time (s): 1800.73 CPU user time (s): 1798.57 CPU system time (s): 2.16367 CPU usage (%): 99.9733 Max. virtual memory (cumulated for all children) (Kb): 97704 The end
Begin job on node23 on Fri Jun 2 16:03:58 UTC 2006 FILE ID= 41293-1149264238 PBS_JOBID= 298824 BENCH NAME= ROOT/tmp/node23/41293-1149264238/instance-41293-1149264238.opb COMMAND LINE= ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41293-1149264238/instance-41293-1149264238.opb 456384747 RUNSOLVER COMMAND LINE= runsolver --timestamp -w ROOT/results/node23/watcher-41293-1149264238 -o ROOT/results/node23/solver-41293-1149264238 -C 1800 -M 1800 -S 64 ROOT/solvers/PB/PB06final/user11/PBS4L ROOT/tmp/node23/41293-1149264238/instance-41293-1149264238.opb 456384747 MD5SUM SOLVER= ab46593c31a6a47b9d9920387a00d332 MD5SUM BENCH= 8bdca001a57a76bf3835c82b9bc6a431 RANDOM SEED= 456384747 /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.213 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 : 5931.00 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.213 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: 1170096 kB Buffers: 42536 kB Cached: 765580 kB SwapCached: 3872 kB Active: 176240 kB Inactive: 640752 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1170096 kB SwapTotal: 4192956 kB SwapFree: 4180892 kB Dirty: 188 kB Writeback: 0 kB Mapped: 14708 kB Slab: 54940 kB Committed_AS: 278536 kB PageTables: 1424 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB End job on node23 on Fri Jun 2 16:34:00 UTC 2006