Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b | ? (TO) | 1800.17 | 1800.74 |
Name | normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/ manquinho/mds/normalized-mds_100_25_2.opb |
MD5SUM | 1e64c526f9351931db225cdff75c2df5 |
Bench Category | OPT-SMALLINT-NLC (optimisation, small integers, non linear constraints) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 5 |
Best CPU time to get the best result obtained on this benchmark | 245.69 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 5 |
Optimality of the best value was proved | YES |
Number of variables | 100 |
Total number of constraints | 100 |
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 | 100 |
Minimum length of a constraint | 26 |
Maximum length of a constraint | 46 |
Number of terms in the objective function | 100 |
Biggest coefficient in the objective function | 1 |
Number of bits for the biggest coefficient in the objective function | 1 |
Sum of the numbers in the objective function | 100 |
Number of bits of the sum of numbers in the objective function | 7 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 100 |
Number of bits of the biggest sum of numbers | 7 |
Number of products (including duplicates) | 3074 |
Sum of products size (including duplicates) | 6148 |
Number of different products | 3074 |
Sum of products size | 6148 |
0.00/0.00 c wbo 1.4 beta - 20100517 0.00/0.00 c Parsing opb file format. File HOME/instance-2702442-1278567368.opb. 0.00/0.00 c Instance file HOME/instance-2702442-1278567368.opb 0.00/0.00 c File size is 219680 bytes. 0.00/0.03 c Highest Coefficient sum: 47 0.00/0.03 c ============================[ Problem Statistics ]============================= 0.00/0.03 c | | 0.00/0.03 c | Parsing time: 0.03 s | 0.00/0.03 c | Number Variables: 3174 | 0.00/0.03 c | Number Clauses: 3174 | 0.00/0.03 c | Number Cardinality: 0 | 0.00/0.03 c | Number PB Constraints: 3074 | 0.00/0.03 c ============================[ Search Statistics ]============================== 0.00/0.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.03 c =============================================================================== 0.00/0.03 c | 0 | 3174 6248 21618 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 99 0.00/0.04 o 99 0.00/0.04 c Elapsed CPU time: 0.038994 s Remaining CPU time: 179.961 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3174 6249 21718 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 98 0.00/0.04 o 98 0.00/0.04 c Elapsed CPU time: 0.040993 s Remaining CPU time: 179.959 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3174 6250 21818 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 97 0.00/0.04 o 97 0.00/0.04 c Elapsed CPU time: 0.041993 s Remaining CPU time: 179.958 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3174 6251 21918 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 92 0.00/0.04 o 92 0.00/0.04 c Elapsed CPU time: 0.042993 s Remaining CPU time: 179.957 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 3174 6252 22018 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 90 0.00/0.04 o 90 0.00/0.04 c Elapsed CPU time: 0.044993 s Remaining CPU time: 179.955 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 1 | 3174 6253 22118 | 5000 1 92 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 8 0.00/0.05 o 8 0.00/0.05 c Elapsed CPU time: 0.046992 s Remaining CPU time: 179.953 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 1 | 3174 6254 22218 | 5000 1 92 | 0.000 % | 0.00/0.05 c =============================================================================== 0.00/0.05 c New solution: 7 0.00/0.05 o 7 0.00/0.05 c Elapsed CPU time: 0.048992 s Remaining CPU time: 179.951 s 0.00/0.05 c =============================================================================== 0.00/0.05 c | 2 | 3174 6255 22318 | 5000 2 63 | 0.000 % | 0.00/0.07 c | 102 | 3174 6255 22318 | 5500 102 113 | 0.000 % | 0.07/0.09 c | 252 | 3174 6255 22318 | 6050 252 111 | 0.000 % | 0.09/0.12 c | 477 | 3174 6255 22318 | 6655 477 113 | 0.000 % | 0.09/0.18 c | 815 | 3174 6255 22318 | 7320 815 108 | 0.000 % | 0.19/0.28 c | 1322 | 3174 6255 22318 | 8052 1322 109 | 0.000 % | 0.39/0.43 c | 2082 | 3174 6255 22318 | 8857 2082 105 | 0.000 % | 0.59/0.64 c | 3221 | 3174 6255 22318 | 9743 3221 111 | 0.000 % | 1.00/1.03 c | 4933 | 3174 6255 22318 | 10717 4933 106 | 0.000 % | 1.59/1.60 c | 7496 | 3174 6255 22318 | 11789 7496 109 | 0.000 % | 2.49/2.59 c | 11340 | 3174 6255 22318 | 12968 11340 110 | 0.000 % | 4.30/4.34 c | 17108 | 3174 6255 22318 | 14265 9685 104 | 0.000 % | 4.99/5.06 c =============================================================================== 4.99/5.06 c New solution: 6 4.99/5.06 o 6 4.99/5.06 c Elapsed CPU time: 5.00924 s Remaining CPU time: 174.991 s 4.99/5.06 c =============================================================================== 4.99/5.06 c | 20163 | 3174 6256 22418 | 5000 12740 107 | 0.000 % | 5.09/5.11 c | 20265 | 3174 6256 22418 | 5500 3287 113 | 0.000 % | 5.09/5.15 c | 20417 | 3174 6256 22418 | 6050 3439 113 | 0.000 % | 5.19/5.20 c | 20642 | 3174 6256 22418 | 6655 3664 111 | 0.000 % | 5.19/5.27 c | 20979 | 3174 6256 22418 | 7320 4001 109 | 0.000 % | 5.40/5.40 c | 21488 | 3174 6256 22418 | 8052 4510 106 | 0.000 % | 5.50/5.58 c | 22248 | 3174 6256 22418 | 8857 5270 109 | 0.000 % | 5.79/5.85 c | 23387 | 3174 6256 22418 | 9743 6409 107 | 0.000 % | 6.29/6.31 c | 25095 | 3174 6256 22418 | 10717 8117 104 | 0.000 % | 6.99/7.02 c | 27658 | 3174 6256 22418 | 11789 10680 101 | 0.000 % | 7.99/8.08 c | 31502 | 3174 6256 22418 | 12968 7491 103 | 0.000 % | 9.79/9.85 c | 37272 | 3174 6256 22418 | 14265 13261 192 | 0.000 % | 12.48/12.51 c | 45926 | 3174 6256 22418 | 15692 13651 220 | 0.000 % | 17.28/17.38 c | 58900 | 3174 6256 22418 | 17261 9002 140 | 0.000 % | 25.09/25.10 c | 78363 | 3174 6256 22418 | 18987 18786 130 | 0.000 % | 37.48/37.58 c | 107556 | 3174 6256 22418 | 20886 16503 107 | 0.000 % | 56.47/56.54 c | 151348 | 3174 6256 22418 | 22974 14056 131 | 0.000 % | 88.26/88.32 c | 217032 | 3174 6256 22418 | 25272 13144 239 | 0.000 % | 136.55/136.67 c | 315559 | 3174 6256 22418 | 27799 17778 131 | 0.000 % | 181.63/181.72 c There are 0 assigned variables. 0 in cost function. 182.13/182.21 c core #1 182.13/182.21 c ============================[ Search Statistics ]============================== 182.13/182.21 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.21 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.21 c =============================================================================== 182.13/182.21 c | 0 | 869 6358 15325 | 5000 0 nan | 0.000 % | 182.13/182.21 c =============================================================================== 182.13/182.24 c core #2 182.13/182.24 c ============================[ Search Statistics ]============================== 182.13/182.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.13/182.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.13/182.24 c =============================================================================== 182.13/182.24 c | 0 | 3028 6359 21688 | 5000 0 nan | 0.000 % | 182.13/182.29 c | 104 | 3028 6359 21688 | 5500 104 165 | 7.796 % | 182.33/182.40 c =============================================================================== 182.33/182.43 c core #3 182.33/182.43 c ============================[ Search Statistics ]============================== 182.33/182.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.33/182.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.33/182.43 c =============================================================================== 182.33/182.43 c | 0 | 3384 6360 23038 | 5000 0 nan | 0.000 % | 182.33/182.48 c | 100 | 3384 6360 23038 | 5500 100 190 | 0.000 % | 182.44/182.56 c | 251 | 3384 6360 23038 | 6050 251 176 | 0.000 % | 182.54/182.66 c | 476 | 3384 6360 23038 | 6655 476 247 | 0.000 % | 182.74/182.80 c | 815 | 3384 6360 23038 | 7320 815 250 | 0.000 % | 182.93/183.09 c | 1324 | 3384 6360 23038 | 8052 1324 240 | 0.000 % | 183.43/183.58 c | 2085 | 3384 6360 23038 | 8857 2085 262 | 0.000 % | 184.34/184.45 c | 3224 | 3384 6360 23038 | 9743 3224 303 | 0.000 % | 185.93/186.08 c | 4935 | 3384 6360 23038 | 10717 4935 309 | 0.000 % | 188.33/188.47 c | 7498 | 3384 6360 23038 | 11789 7498 307 | 0.000 % | 190.53/190.69 c | 11343 | 3384 6360 23038 | 12968 11343 243 | 0.000 % | 193.63/193.79 c | 17109 | 3384 6360 23038 | 14265 9548 115 | 0.000 % | 198.33/198.43 c | 25760 | 3384 6360 23038 | 15692 10118 178 | 0.000 % | 205.73/205.84 c | 38735 | 3384 6360 23038 | 17261 14249 122 | 0.000 % | 218.22/218.31 c | 58196 | 3384 6360 23038 | 18987 14398 180 | 0.000 % | 245.91/246.07 c | 87389 | 3384 6360 23038 | 20886 13242 155 | 0.000 % | 277.61/277.73 c | 131179 | 3384 6360 23038 | 22974 21680 95 | 0.000 % | 332.89/333.01 c | 196868 | 3384 6360 23038 | 25272 21488 167 | 0.000 % | 378.77/378.97 c =============================================================================== 380.27/380.46 c core #4 380.27/380.46 c ============================[ Search Statistics ]============================== 380.27/380.46 c | Conflicts | ORIGINAL | LEARNT | Progress | 380.27/380.46 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 380.27/380.46 c =============================================================================== 380.27/380.46 c | 0 | 3484 6362 23241 | 5000 0 nan | 0.000 % | 380.38/380.57 c | 100 | 3484 6362 23241 | 5500 100 216 | 0.000 % | 380.48/380.63 c | 250 | 3484 6362 23241 | 6050 250 199 | 0.000 % | 380.57/380.73 c | 477 | 3484 6362 23241 | 6655 477 202 | 0.000 % | 380.67/380.84 c | 814 | 3484 6362 23241 | 7320 814 214 | 0.000 % | 380.87/381.05 c | 1322 | 3484 6362 23241 | 8052 1322 236 | 0.000 % | 381.27/381.43 c | 2083 | 3484 6362 23241 | 8857 2083 299 | 0.000 % | 381.88/382.04 c | 3222 | 3484 6362 23241 | 9743 3222 341 | 0.000 % | 382.87/383.05 c | 4932 | 3484 6362 23241 | 10717 4932 313 | 0.000 % | 384.88/385.06 c | 7495 | 3484 6362 23241 | 11789 7495 330 | 0.000 % | 389.37/389.58 c | 11345 | 3484 6362 23241 | 12968 11345 366 | 0.000 % | 393.96/394.12 c | 17111 | 3484 6362 23241 | 14265 9942 317 | 0.000 % | 399.66/399.86 c | 25764 | 3484 6362 23241 | 15692 10492 198 | 0.000 % | 406.57/406.79 c | 38747 | 3484 6362 23241 | 17261 14726 92 | 0.000 % | 417.77/417.93 c | 58211 | 3484 6362 23241 | 18987 15080 88 | 0.000 % | 434.56/434.74 c | 87403 | 3484 6362 23241 | 20886 12745 93 | 0.000 % | 460.05/460.26 c | 131193 | 3484 6362 23241 | 22974 21691 91 | 0.000 % | 499.14/499.35 c | 196877 | 3484 6362 23241 | 25272 19769 75 | 0.000 % | 559.12/559.37 c | 295404 | 3484 6362 23241 | 27799 21786 95 | 0.000 % | 658.59/658.86 c | 443193 | 3484 6362 23241 | 30579 23982 96 | 0.000 % | 809.84/810.18 c | 664880 | 3484 6362 23241 | 33637 14766 83 | 0.000 % | 1050.08/1050.44 c | 997405 | 3484 6362 23241 | 37001 12911 84 | 0.000 % | 1446.05/1446.58 c | 1496195 | 3484 6362 23241 | 40701 26216 88 | 0.000 % |
ERROR: no interpretation found !
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2702442-1278567368/watcher-2702442-1278567368 -o /tmp/evaluation-result-2702442-1278567368/solver-2702442-1278567368 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702442-1278567368.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 0.85 0.97 0.99 3/105 31054 /proc/meminfo: memFree=1791984/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=3348 CPUtime=0 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 406 0 0 0 0 0 0 0 25 0 1 0 24944766 3428352 324 1992294400 134512640 135751879 4293166752 18446744073709551615 134564675 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 837 324 145 303 0 478 0 [startup+0.077408 s] /proc/loadavg: 0.85 0.97 0.99 3/105 31054 /proc/meminfo: memFree=1791984/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=3856 CPUtime=0.07 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 724 0 0 0 7 0 0 0 25 0 1 0 24944766 3948544 514 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 964 514 147 303 0 659 0 Current children cumulated CPU time (s) 0.07 Current children cumulated vsize (KiB) 3856 [startup+0.10041 s] /proc/loadavg: 0.85 0.97 0.99 3/105 31054 /proc/meminfo: memFree=1791984/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=3856 CPUtime=0.09 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 745 0 0 0 9 0 0 0 25 0 1 0 24944766 3948544 535 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 964 535 147 303 0 659 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3856 [startup+0.300435 s] /proc/loadavg: 0.85 0.97 0.99 3/105 31054 /proc/meminfo: memFree=1791984/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=4516 CPUtime=0.29 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 905 0 0 0 29 0 0 0 25 0 1 0 24944766 4624384 695 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 1129 695 147 303 0 824 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4516 [startup+0.700484 s] /proc/loadavg: 0.85 0.97 0.99 3/105 31054 /proc/meminfo: memFree=1791984/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=5704 CPUtime=0.69 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 1200 0 0 0 68 1 0 0 25 0 1 0 24944766 5840896 990 1992294400 134512640 135751879 4293166752 18446744073709551615 134611152 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 1426 990 147 303 0 1121 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 5704 [startup+1.50058 s] /proc/loadavg: 0.85 0.97 0.99 2/106 31055 /proc/meminfo: memFree=1788132/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=7684 CPUtime=1.48 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 1684 0 0 0 147 1 0 0 25 0 1 0 24944766 7868416 1474 1992294400 134512640 135751879 4293166752 18446744073709551615 134609896 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 1921 1474 147 303 0 1616 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 7684 [startup+3.10078 s] /proc/loadavg: 0.85 0.97 0.99 2/106 31055 /proc/meminfo: memFree=1785156/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=11116 CPUtime=3.09 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 2555 0 0 0 306 3 0 0 25 0 1 0 24944766 11382784 2345 1992294400 134512640 135751879 4293166752 18446744073709551615 134609194 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 2779 2345 147 303 0 2474 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 11116 [startup+6.30117 s] /proc/loadavg: 0.86 0.97 0.99 2/106 31057 /proc/meminfo: memFree=1778460/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=17584 CPUtime=6.29 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 4158 0 0 0 622 7 0 0 25 0 1 0 24944766 18006016 3948 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 4396 3948 148 303 0 4091 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 17584 [startup+12.701 s] /proc/loadavg: 0.87 0.97 0.99 2/106 31057 /proc/meminfo: memFree=1760488/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=35468 CPUtime=12.69 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 8622 0 0 0 1253 16 0 0 25 0 1 0 24944766 36319232 8412 1992294400 134512640 135751879 4293166752 18446744073709551615 134611087 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 8867 8412 148 303 0 8562 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 35468 [startup+25.5005 s] /proc/loadavg: 0.90 0.97 0.99 2/106 31057 /proc/meminfo: memFree=1737796/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=56920 CPUtime=25.48 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 13978 0 0 0 2520 28 0 0 25 0 1 0 24944766 58286080 13768 1992294400 134512640 135751879 4293166752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 14230 13768 148 303 0 13925 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 56920 [startup+51.1017 s] /proc/loadavg: 0.93 0.97 0.99 2/106 31057 /proc/meminfo: memFree=1704068/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=90988 CPUtime=51.07 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 22498 0 0 0 5058 49 0 0 25 0 1 0 24944766 93171712 22288 1992294400 134512640 135751879 4293166752 18446744073709551615 134616532 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 22747 22288 148 303 0 22442 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 90988 [startup+102.309 s] /proc/loadavg: 0.97 0.97 0.99 2/106 31059 /proc/meminfo: memFree=1607224/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=186784 CPUtime=102.26 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 46465 0 0 0 10129 97 0 0 25 0 1 0 24944766 191266816 46255 1992294400 134512640 135751879 4293166752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 46696 46255 148 303 0 46391 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 186784 [startup+162.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31061 /proc/meminfo: memFree=1516208/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=278448 CPUtime=162.24 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 69361 0 0 0 16074 150 0 0 25 0 1 0 24944766 285130752 69151 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 69612 69151 148 303 0 69307 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 278448 [startup+222.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31061 /proc/meminfo: memFree=1466980/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=326704 CPUtime=222.22 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 81469 0 0 0 22029 193 0 0 25 0 1 0 24944766 334544896 81229 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 81676 81229 151 303 0 81371 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 326704 [startup+282.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31063 /proc/meminfo: memFree=1424076/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=369892 CPUtime=282.2 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 92291 0 0 0 27988 232 0 0 25 0 1 0 24944766 378769408 92051 1992294400 134512640 135751879 4293166752 18446744073709551615 134607691 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 92473 92051 151 303 0 92168 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 369892 [startup+342.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31065 /proc/meminfo: memFree=1377824/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=415608 CPUtime=342.18 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 103711 0 0 0 33946 272 0 0 25 0 1 0 24944766 425582592 103471 1992294400 134512640 135751879 4293166752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 103902 103471 151 303 0 103597 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 415608 [startup+402.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31067 /proc/meminfo: memFree=1340748/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=452896 CPUtime=402.17 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 113018 0 0 0 39911 306 0 0 25 0 1 0 24944766 463765504 112778 1992294400 134512640 135751879 4293166752 18446744073709551615 134620490 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 113224 112778 151 303 0 112919 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 452896 [startup+462.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31069 /proc/meminfo: memFree=1303424/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=489528 CPUtime=462.15 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 122197 0 0 0 45865 350 0 0 25 0 1 0 24944766 501276672 121957 1992294400 134512640 135751879 4293166752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 122382 121957 151 303 0 122077 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 489528 [startup+522.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31069 /proc/meminfo: memFree=1267340/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=526076 CPUtime=522.13 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 131323 0 0 0 51823 390 0 0 25 0 1 0 24944766 538701824 131083 1992294400 134512640 135751879 4293166752 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 131519 131083 151 303 0 131214 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 526076 [startup+582.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31071 /proc/meminfo: memFree=1229396/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=563644 CPUtime=582.11 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 140682 0 0 0 57776 435 0 0 25 0 1 0 24944766 577171456 140442 1992294400 134512640 135751879 4293166752 18446744073709551615 134608368 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 140911 140442 151 303 0 140606 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 563644 [startup+642.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31073 /proc/meminfo: memFree=1190832/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=601852 CPUtime=642.1 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 150256 0 0 0 63733 477 0 0 25 0 1 0 24944766 616296448 150016 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 150463 150016 151 303 0 150158 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 601852 [startup+702.301 s] ################ # More data... # ################ [startup+882.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31079 /proc/meminfo: memFree=1041660/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=750592 CPUtime=882.02 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 187417 0 0 0 87560 642 0 0 25 0 1 0 24944766 768606208 187177 1992294400 134512640 135751879 4293166752 18446744073709551615 134616514 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 187648 187177 151 303 0 187343 0 Current children cumulated CPU time (s) 882.02 Current children cumulated vsize (KiB) 750592 [startup+942.301 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31081 /proc/meminfo: memFree=1008428/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=783988 CPUtime=942.01 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 195777 0 0 0 93520 681 0 0 25 0 1 0 24944766 802803712 195537 1992294400 134512640 135751879 4293166752 18446744073709551615 134605039 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 195997 195537 151 303 0 195692 0 Current children cumulated CPU time (s) 942.01 Current children cumulated vsize (KiB) 783988 [startup+1002.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31083 /proc/meminfo: memFree=971848/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=820316 CPUtime=1001.99 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 204853 0 0 0 99477 722 0 0 25 0 1 0 24944766 840003584 204613 1992294400 134512640 135751879 4293166752 18446744073709551615 134604644 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 205079 204613 151 303 0 204774 0 Current children cumulated CPU time (s) 1001.99 Current children cumulated vsize (KiB) 820316 [startup+1062.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31085 /proc/meminfo: memFree=930184/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=862624 CPUtime=1061.97 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 215436 0 0 0 105433 764 0 0 25 0 1 0 24944766 883326976 215196 1992294400 134512640 135751879 4293166752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 215656 215196 151 303 0 215351 0 Current children cumulated CPU time (s) 1061.97 Current children cumulated vsize (KiB) 862624 [startup+1122.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31085 /proc/meminfo: memFree=860620/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=931212 CPUtime=1121.95 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 232579 0 0 0 111390 805 0 0 25 0 1 0 24944766 953561088 232339 1992294400 134512640 135751879 4293166752 18446744073709551615 134616382 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 232803 232339 151 303 0 232498 0 Current children cumulated CPU time (s) 1121.95 Current children cumulated vsize (KiB) 931212 [startup+1182.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31087 /proc/meminfo: memFree=829000/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=963176 CPUtime=1181.93 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 240538 0 0 0 117351 842 0 0 25 0 1 0 24944766 986292224 240298 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 240794 240298 151 303 0 240489 0 Current children cumulated CPU time (s) 1181.93 Current children cumulated vsize (KiB) 963176 [startup+1242.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31089 /proc/meminfo: memFree=796512/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=995120 CPUtime=1241.91 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 248540 0 0 0 123313 878 0 0 25 0 1 0 24944766 1019002880 248300 1992294400 134512640 135751879 4293166752 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 248780 248300 151 303 0 248475 0 Current children cumulated CPU time (s) 1241.91 Current children cumulated vsize (KiB) 995120 [startup+1302.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31091 /proc/meminfo: memFree=764024/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1027088 CPUtime=1301.9 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 256534 0 0 0 129276 914 0 0 25 0 1 0 24944766 1051738112 256294 1992294400 134512640 135751879 4293166752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 256772 256294 151 303 0 256467 0 Current children cumulated CPU time (s) 1301.9 Current children cumulated vsize (KiB) 1027088 [startup+1362.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31093 /proc/meminfo: memFree=733892/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1057316 CPUtime=1361.87 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 264096 0 0 0 135238 949 0 0 25 0 1 0 24944766 1082691584 263856 1992294400 134512640 135751879 4293166752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 264329 263856 151 303 0 264024 0 Current children cumulated CPU time (s) 1361.87 Current children cumulated vsize (KiB) 1057316 [startup+1422.31 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31093 /proc/meminfo: memFree=702892/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1088096 CPUtime=1421.87 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 271789 0 0 0 141203 984 0 0 25 0 1 0 24944766 1114210304 271549 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 272024 271549 151 303 0 271719 0 Current children cumulated CPU time (s) 1421.87 Current children cumulated vsize (KiB) 1088096 [startup+1482.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31095 /proc/meminfo: memFree=644984/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1146160 CPUtime=1481.84 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 286286 0 0 0 147162 1022 0 0 25 0 1 0 24944766 1173667840 286046 1992294400 134512640 135751879 4293166752 18446744073709551615 134641975 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 286540 286046 151 303 0 286235 0 Current children cumulated CPU time (s) 1481.84 Current children cumulated vsize (KiB) 1146160 [startup+1542.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31106 /proc/meminfo: memFree=591540/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1199568 CPUtime=1541.8 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 299640 0 0 0 153119 1061 0 0 25 0 1 0 24944766 1228357632 299400 1992294400 134512640 135751879 4293166752 18446744073709551615 134607756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 299892 299400 151 303 0 299587 0 Current children cumulated CPU time (s) 1541.8 Current children cumulated vsize (KiB) 1199568 [startup+1602.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31108 /proc/meminfo: memFree=536484/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1254616 CPUtime=1601.79 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 313401 0 0 0 159079 1100 0 0 25 0 1 0 24944766 1284726784 313161 1992294400 134512640 135751879 4293166752 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 313654 313161 151 303 0 313349 0 Current children cumulated CPU time (s) 1601.79 Current children cumulated vsize (KiB) 1254616 [startup+1662.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31110 /proc/meminfo: memFree=487876/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1302948 CPUtime=1661.76 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 325461 0 0 0 165040 1136 0 0 25 0 1 0 24944766 1334218752 325221 1992294400 134512640 135751879 4293166752 18446744073709551615 134611292 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 325737 325221 151 303 0 325432 0 Current children cumulated CPU time (s) 1661.76 Current children cumulated vsize (KiB) 1302948 [startup+1722.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31110 /proc/meminfo: memFree=455636/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1335456 CPUtime=1721.75 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 333579 0 0 0 171004 1171 0 0 25 0 1 0 24944766 1367506944 333339 1992294400 134512640 135751879 4293166752 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 333864 333339 151 303 0 333559 0 Current children cumulated CPU time (s) 1721.75 Current children cumulated vsize (KiB) 1335456 [startup+1782.3 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31112 /proc/meminfo: memFree=425132/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1365452 CPUtime=1781.73 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 341083 0 0 0 176967 1206 0 0 25 0 1 0 24944766 1398222848 340843 1992294400 134512640 135751879 4293166752 18446744073709551615 134616347 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 341363 340843 151 303 0 341058 0 Current children cumulated CPU time (s) 1781.73 Current children cumulated vsize (KiB) 1365452 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+1800.6 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31112 /proc/meminfo: memFree=415088/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=1375240 CPUtime=1800.04 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4202496 343521 0 0 0 178786 1218 0 0 25 0 1 0 24944766 1408245760 343281 1992294400 134512640 135751879 4293166752 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/31054/statm: 343810 343281 151 303 0 343505 0 Current children cumulated CPU time (s) 1800.04 Current children cumulated vsize (KiB) 1375240 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1800.72 s] /proc/loadavg: 0.99 0.97 0.99 2/106 31112 /proc/meminfo: memFree=415088/2059040 swapFree=4140272/4192956 [pid=31054] ppid=31052 vsize=0 CPUtime=1800.14 /proc/31054/stat : 31054 (wbo1.4b) R 31052 31054 30257 0 -1 4203524 343521 0 0 0 178786 1228 0 0 25 0 1 0 24944766 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/31054/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1800.14 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1800.74 CPU time (s): 1800.17 CPU user time (s): 1787.87 CPU system time (s): 12.3031 CPU usage (%): 99.9686 Max. virtual memory (cumulated for all children) (KiB): 1375240 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1787.87 system time used= 12.3031 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 343521 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 4 involuntary context switches= 2201 runsolver used 3.20851 second user time and 8.27574 second system time The end
Begin job on node080 at 2010-07-08 07:36:08 IDJOB=2702442 IDBENCH=48156 IDSOLVER=1161 FILE ID=node080/2702442-1278567368 PBS_JOBID= 11239561 Free space on /tmp= 62548 MiB SOLVER NAME= wbo 1.4b BENCH NAME= PB07/normalized-PB07/OPT-SMALLINT-NLC/submittedPB07/manquinho/mds/normalized-mds_100_25_2.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2702442-1278567368/watcher-2702442-1278567368 -o /tmp/evaluation-result-2702442-1278567368/solver-2702442-1278567368 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2702442-1278567368.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 1e64c526f9351931db225cdff75c2df5 RANDOM SEED=353326696 node080.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /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.255 cache size : 2048 KB physical id : 0 siblings : 1 core id : 0 cpu cores : 1 apicid : 0 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 6000.51 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.255 cache size : 2048 KB physical id : 3 siblings : 1 core id : 0 cpu cores : 1 apicid : 6 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 constant_tsc pni monitor ds_cpl cid cx16 xtpr bogomips : 5999.50 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1793008 kB Buffers: 23620 kB Cached: 141532 kB SwapCached: 11272 kB Active: 98172 kB Inactive: 85260 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1793008 kB SwapTotal: 4192956 kB SwapFree: 4140272 kB Dirty: 2980 kB Writeback: 0 kB AnonPages: 11496 kB Mapped: 12176 kB Slab: 60924 kB PageTables: 4104 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180864 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-2702442-1278567368.opb Free space on /tmp at the end= 62544 MiB End job on node080 at 2010-07-08 08:06:11