Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1528.63 | 1529.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/ logic_synthesis/normalized-m200_500_10_10.r.opb |
MD5SUM | 9ce5413471f93025df24c6fa43fb2680 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 39 |
Best CPU time to get the best result obtained on this benchmark | 1719.32 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 39 |
Optimality of the best value was proved | NO |
Number of variables | 492 |
Total number of constraints | 200 |
Number of constraints which are clauses | 200 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 10 |
Number of terms in the objective function | 492 |
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 | 492 |
Number of bits of the sum of numbers in the objective function | 9 |
Biggest number in a constraint | 1 |
Number of bits of the biggest number in a constraint | 1 |
Biggest sum of numbers in a constraint | 492 |
Number of bits of the biggest sum of numbers | 9 |
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/0.00 c wbo 1.4 beta - 20100610 0.00/0.00 c Parsing opb file format. File HOME/instance-2680565-1277457207.opb. 0.00/0.00 c Instance file HOME/instance-2680565-1277457207.opb 0.00/0.00 c File size is 20877 bytes. 0.00/0.00 c Highest Coefficient sum: 11 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.00 s | 0.00/0.00 c | Number Variables: 492 | 0.00/0.00 c | Number Clauses: 200 | 0.00/0.00 c | Number Cardinality: 0 | 0.00/0.00 c | Number PB Constraints: 0 | 0.00/0.00 c ============================[ Search Statistics ]============================== 0.00/0.00 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.00 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 492 200 2000 | 5000 0 nan | 0.000 % | 0.00/0.00 c =============================================================================== 0.00/0.00 c New solution: 60 0.00/0.00 o 60 0.00/0.00 c Elapsed CPU time: 0.004999 s Remaining CPU time: 179.995 s 0.00/0.00 c =============================================================================== 0.00/0.00 c | 0 | 492 201 2492 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 59 0.00/0.01 o 59 0.00/0.01 c Elapsed CPU time: 0.008998 s Remaining CPU time: 179.991 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 64 | 492 202 2984 | 5000 64 75 | 0.000 % | 0.00/0.01 c | 164 | 492 202 2984 | 5500 164 78 | 0.000 % | 0.00/0.02 c | 314 | 492 202 2984 | 6050 314 81 | 0.000 % | 0.00/0.04 c | 540 | 492 202 2984 | 6655 540 78 | 0.000 % | 0.00/0.07 c | 878 | 492 202 2984 | 7320 878 77 | 0.000 % | 0.09/0.11 c | 1384 | 492 202 2984 | 8052 1384 78 | 0.000 % | 0.09/0.16 c | 2144 | 492 202 2984 | 8857 2144 79 | 0.000 % | 0.19/0.25 c | 3284 | 492 202 2984 | 9743 3284 79 | 0.000 % | 0.29/0.39 c | 4993 | 492 202 2984 | 10717 4993 79 | 0.000 % | 0.59/0.60 c | 7556 | 492 202 2984 | 11789 7556 79 | 0.000 % | 0.89/0.97 c | 11401 | 492 202 2984 | 12968 11401 78 | 0.000 % | 1.49/1.51 c | 17167 | 492 202 2984 | 14265 10499 77 | 0.000 % | 2.49/2.51 c | 25817 | 492 202 2984 | 15692 11829 81 | 0.000 % | 3.89/3.94 c | 38792 | 492 202 2984 | 17261 8736 75 | 0.000 % | 6.50/6.55 c | 58254 | 492 202 2984 | 18987 10558 83 | 0.000 % | 10.29/10.36 c | 87448 | 492 202 2984 | 20886 10726 85 | 0.000 % | 16.78/16.89 c | 131237 | 492 202 2984 | 22974 11943 86 | 0.000 % | 25.88/25.94 c | 196921 | 492 202 2984 | 25272 15243 77 | 0.000 % | 41.68/41.72 c | 295448 | 492 202 2984 | 27799 25160 76 | 0.000 % | 62.97/63.02 c | 443238 | 492 202 2984 | 30579 18748 77 | 0.000 % | 102.55/102.68 c | 664921 | 492 202 2984 | 33637 23132 75 | 0.000 % | 160.54/160.66 c | 997446 | 492 202 2984 | 37001 15205 79 | 0.000 % | 183.32/183.47 c There are 0 assigned variables. 0 in cost function. 184.74/184.84 c core #1 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 1 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #2 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 2 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #3 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 3 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #4 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 4 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #5 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 5 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #6 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 6 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #7 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 7 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #8 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 8 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #9 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 9 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #10 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 10 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #11 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 11 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #12 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 12 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #13 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 13 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #14 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 14 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #15 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 15 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #16 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 16 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #17 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 11 Core Weight: 1 Total Weight: 17 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #18 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 23 Core Weight: 1 Total Weight: 18 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #19 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 76 Core Weight: 1 Total Weight: 19 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c core #20 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c Core size: 139 Core Weight: 1 Total Weight: 20 184.74/184.84 c 184.74/184.84 c 184.74/184.84 c ============================[ Search Statistics ]============================== 184.74/184.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.84 c =============================================================================== 184.74/184.84 c | 0 | 690 714 4043 | 5000 0 nan | 0.000 % | 184.74/184.85 c =============================================================================== 184.74/184.85 c core #21 184.74/184.85 c 184.74/184.85 c 184.74/184.85 c Core size: 202 Core Weight: 1 Total Weight: 21 184.74/184.85 c 184.74/184.85 c 184.74/184.85 c ============================[ Search Statistics ]============================== 184.74/184.85 c | Conflicts | ORIGINAL | LEARNT | Progress | 184.74/184.85 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 184.74/184.85 c =============================================================================== 184.74/184.85 c | 0 | 954 715 4505 | 5000 0 nan | 0.000 % | 184.74/184.86 c | 100 | 954 715 4505 | 5500 100 79 | 9.915 % | 184.74/184.88 c | 251 | 954 715 4505 | 6050 251 92 | 9.915 % | 184.83/184.91 c | 476 | 954 715 4505 | 6655 476 84 | 9.915 % | 184.83/184.97 c | 813 | 954 715 4505 | 7320 813 87 | 9.915 % | 184.92/185.08 c | 1323 | 954 715 4505 | 8052 1323 81 | 9.915 % | 185.13/185.25 c | 2082 | 954 715 4505 | 8857 2082 70 | 9.915 % | 185.43/185.50 c | 3223 | 954 715 4505 | 9743 3223 65 | 9.915 % | 185.73/185.82 c =============================================================================== 185.73/185.87 c core #22 185.73/185.87 c 185.73/185.87 c 185.73/185.87 c Core size: 311 Core Weight: 1 Total Weight: 22 185.73/185.87 c 185.73/185.87 c 185.73/185.87 c ============================[ Search Statistics ]============================== 185.73/185.87 c | Conflicts | ORIGINAL | LEARNT | Progress | 185.73/185.87 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 185.73/185.87 c =============================================================================== 185.73/185.87 c | 0 | 1310 716 5170 | 5000 0 nan | 0.000 % | 185.73/185.90 c | 102 | 1310 716 5170 | 5500 102 109 | 4.240 % | 185.83/185.92 c | 252 | 1310 716 5170 | 6050 252 77 | 4.240 % | 185.83/185.96 c | 477 | 1310 716 5170 | 6655 477 71 | 4.240 % | 185.92/186.00 c | 814 | 1310 716 5170 | 7320 814 68 | 4.240 % | 185.92/186.07 c | 1325 | 1310 716 5170 | 8052 1325 65 | 4.240 % | 186.12/186.20 c | 2084 | 1310 716 5170 | 8857 2084 75 | 4.240 % | 186.32/186.41 c | 3225 | 1310 716 5170 | 9743 3225 78 | 4.240 % | 186.73/186.80 c | 4933 | 1310 716 5170 | 10717 4933 87 | 4.240 % | 187.42/187.55 c | 7495 | 1310 716 5170 | 11789 7495 99 | 4.240 % | 188.72/188.89 c | 11340 | 1310 716 5170 | 12968 11340 118 | 4.240 % | 190.92/191.05 c | 17106 | 1310 716 5170 | 14265 10435 167 | 4.240 % | 195.12/195.29 c | 25758 | 1310 716 5170 | 15692 11820 187 | 4.240 % | 204.91/205.09 c | 38734 | 1310 716 5170 | 17261 8783 167 | 4.240 % | 214.42/214.53 c | 58200 | 1310 716 5170 | 18987 10764 109 | 4.240 % | 221.31/221.46 c =============================================================================== 222.41/222.51 c core #23 222.41/222.51 c 222.41/222.51 c 222.41/222.51 c Core size: 415 Core Weight: 1 Total Weight: 23 222.41/222.51 c 222.41/222.51 c 222.41/222.51 c ============================[ Search Statistics ]============================== 222.41/222.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 222.41/222.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 222.41/222.51 c =============================================================================== 222.41/222.51 c | 0 | 1753 717 6025 | 5000 0 nan | 0.000 % | 222.41/222.56 c | 101 | 1753 717 6025 | 5500 101 169 | 1.517 % | 222.41/222.59 c | 252 | 1753 717 6025 | 6050 252 145 | 1.517 % | 222.51/222.64 c | 483 | 1753 717 6025 | 6655 483 129 | 1.517 % | 222.61/222.70 c | 820 | 1753 717 6025 | 7320 820 132 | 1.517 % | 222.71/222.80 c | 1327 | 1753 717 6025 | 8052 1327 154 | 1.517 % | 222.91/223.02 c | 2089 | 1753 717 6025 | 8857 2089 183 | 1.517 % | 223.31/223.45 c | 3229 | 1753 717 6025 | 9743 3229 188 | 1.517 % | 223.81/223.99 c | 4939 | 1753 717 6025 | 10717 4939 177 | 1.517 % | 224.81/224.98 c | 7501 | 1753 717 6025 | 11789 7501 177 | 1.517 % | 226.52/226.67 c | 11346 | 1753 717 6025 | 12968 11346 190 | 1.517 % | 229.51/229.67 c | 17112 | 1753 717 6025 | 14265 10443 189 | 1.517 % | 235.50/235.60 c | 25765 | 1753 717 6025 | 15692 11708 185 | 1.517 % | 243.61/243.71 c | 38740 | 1753 717 6025 | 17261 8483 182 | 1.517 % | 254.80/254.90 c | 58206 | 1753 717 6025 | 18987 10347 185 | 1.517 % | 272.60/272.71 c | 87399 | 1753 717 6025 | 20886 10600 189 | 1.517 % | 305.48/305.67 c | 131190 | 1753 717 6025 | 22974 11941 206 | 1.517 % | 353.67/353.86 c | 196874 | 1753 717 6025 | 25272 19157 205 | 1.517 % | 416.04/416.27 c | 295401 | 1753 717 6025 | 27799 25441 227 | 1.517 % | 554.19/554.45 c | 443190 | 1753 717 6025 | 30579 17601 272 | 1.517 % | 861.27/861.66 c | 664876 | 1753 717 6025 | 33637 23600 316 | 1.517 % | 1332.72/1333.28 c | 997408 | 1753 717 6025 | 37001 25579 262 | 1.517 % |
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-2680565-1277457207/watcher-2680565-1277457207 -o /tmp/evaluation-result-2680565-1277457207/solver-2680565-1277457207 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680565-1277457207.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: 1.11 1.05 0.94 3/106 22637 /proc/meminfo: memFree=1802460/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=2580 CPUtime=0 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 307 0 0 0 0 0 0 0 20 0 1 0 121322294 2641920 220 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 645 220 144 303 0 340 0 [startup+0.0964971 s] /proc/loadavg: 1.11 1.05 0.94 3/106 22637 /proc/meminfo: memFree=1802460/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=3096 CPUtime=0.09 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 429 0 0 0 9 0 0 0 20 0 1 0 121322294 3170304 342 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 774 342 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.101498 s] /proc/loadavg: 1.11 1.05 0.94 3/106 22637 /proc/meminfo: memFree=1802460/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=3096 CPUtime=0.09 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 436 0 0 0 9 0 0 0 20 0 1 0 121322294 3170304 349 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 774 349 145 303 0 469 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3096 [startup+0.30054 s] /proc/loadavg: 1.11 1.05 0.94 3/106 22637 /proc/meminfo: memFree=1802460/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=4252 CPUtime=0.29 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 724 0 0 0 29 0 0 0 20 0 1 0 121322294 4354048 637 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 1063 637 145 303 0 758 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4252 [startup+0.700625 s] /proc/loadavg: 1.11 1.05 0.94 3/106 22637 /proc/meminfo: memFree=1802460/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=6336 CPUtime=0.69 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 1237 0 0 0 67 2 0 0 21 0 1 0 121322294 6488064 1150 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 1584 1150 145 303 0 1279 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6336 [startup+1.5008 s] /proc/loadavg: 1.11 1.05 0.94 2/107 22638 /proc/meminfo: memFree=1796996/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=9900 CPUtime=1.49 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 2119 0 0 0 145 4 0 0 23 0 1 0 121322294 10137600 2032 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 2475 2032 145 303 0 2170 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 9900 [startup+3.10114 s] /proc/loadavg: 1.10 1.05 0.94 2/107 22638 /proc/meminfo: memFree=1792036/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=16280 CPUtime=3.09 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 3713 0 0 0 301 8 0 0 25 0 1 0 121322294 16670720 3626 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 4070 3626 145 303 0 3765 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 16280 [startup+6.30082 s] /proc/loadavg: 1.10 1.05 0.94 2/107 22638 /proc/meminfo: memFree=1779636/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=26956 CPUtime=6.29 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 6382 0 0 0 614 15 0 0 25 0 1 0 121322294 27602944 6295 1992294400 134512640 135752675 4291769856 18446744073709551615 134602989 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 6739 6295 145 303 0 6434 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 26956 [startup+12.7012 s] /proc/loadavg: 1.08 1.05 0.94 2/107 22638 /proc/meminfo: memFree=1757812/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=48224 CPUtime=12.69 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 11704 0 0 0 1241 28 0 0 25 0 1 0 121322294 49381376 11617 1992294400 134512640 135752675 4291769856 18446744073709551615 134605384 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 12056 11617 145 303 0 11751 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48224 [startup+25.5009 s] /proc/loadavg: 1.07 1.04 0.94 2/107 22638 /proc/meminfo: memFree=1719496/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=85172 CPUtime=25.49 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 20935 0 0 0 2495 54 0 0 25 0 1 0 121322294 87216128 20848 1992294400 134512640 135752675 4291769856 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 21293 20848 145 303 0 20988 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85172 [startup+51.1014 s] /proc/loadavg: 1.05 1.04 0.94 2/107 22642 /proc/meminfo: memFree=1651420/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=154024 CPUtime=51.08 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 38077 0 0 0 5002 106 0 0 25 0 1 0 121322294 157720576 37990 1992294400 134512640 135752675 4291769856 18446744073709551615 134611599 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 38506 37990 145 303 0 38201 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 154024 [startup+102.308 s] /proc/loadavg: 1.02 1.03 0.94 2/107 22643 /proc/meminfo: memFree=1531636/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=272516 CPUtime=102.26 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 67661 0 0 0 10028 198 0 0 25 0 1 0 121322294 279056384 67574 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 68129 67574 145 303 0 67824 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 272516 [startup+162.301 s] /proc/loadavg: 1.00 1.02 0.94 2/107 22645 /proc/meminfo: memFree=1386060/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=420264 CPUtime=162.23 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 104557 0 0 0 15922 301 0 0 25 0 1 0 121322294 430350336 104470 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 105066 104470 145 303 0 104761 0 Current children cumulated CPU time (s) 162.23 Current children cumulated vsize (KiB) 420264 [startup+222.301 s] /proc/loadavg: 1.00 1.02 0.94 2/107 22647 /proc/meminfo: memFree=1292688/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=510396 CPUtime=222.21 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 127279 0 0 0 21836 385 0 0 25 0 1 0 121322294 522645504 127155 1992294400 134512640 135752675 4291769856 18446744073709551615 134615253 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 127599 127155 146 303 0 127294 0 Current children cumulated CPU time (s) 222.21 Current children cumulated vsize (KiB) 510396 [startup+282.302 s] /proc/loadavg: 1.00 1.01 0.94 2/107 22649 /proc/meminfo: memFree=1212956/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=591008 CPUtime=282.18 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 147419 0 0 0 27771 447 0 0 25 0 1 0 121322294 605192192 147295 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 147752 147295 146 303 0 147447 0 Current children cumulated CPU time (s) 282.18 Current children cumulated vsize (KiB) 591008 [startup+342.301 s] /proc/loadavg: 1.00 1.01 0.94 2/107 22651 /proc/meminfo: memFree=1144756/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=658384 CPUtime=342.16 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 164268 0 0 0 33723 493 0 0 25 0 1 0 121322294 674185216 164144 1992294400 134512640 135752675 4291769856 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 164596 164144 146 303 0 164291 0 Current children cumulated CPU time (s) 342.16 Current children cumulated vsize (KiB) 658384 [startup+402.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22651 /proc/meminfo: memFree=1062420/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=741632 CPUtime=402.14 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 185056 0 0 0 39663 551 0 0 25 0 1 0 121322294 759431168 184932 1992294400 134512640 135752675 4291769856 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 185408 184932 146 303 0 185103 0 Current children cumulated CPU time (s) 402.14 Current children cumulated vsize (KiB) 741632 [startup+462.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22653 /proc/meminfo: memFree=995460/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=807124 CPUtime=462.12 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 201384 0 0 0 45616 596 0 0 25 0 1 0 121322294 826494976 201260 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 201781 201260 146 303 0 201476 0 Current children cumulated CPU time (s) 462.12 Current children cumulated vsize (KiB) 807124 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22655 /proc/meminfo: memFree=923788/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=880028 CPUtime=522.1 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 219581 0 0 0 51563 647 0 0 25 0 1 0 121322294 901148672 219457 1992294400 134512640 135752675 4291769856 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 220007 219457 146 303 0 219702 0 Current children cumulated CPU time (s) 522.1 Current children cumulated vsize (KiB) 880028 [startup+582.302 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22657 /proc/meminfo: memFree=846040/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=956676 CPUtime=582.08 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 238748 0 0 0 57513 695 0 0 25 0 1 0 121322294 979636224 238624 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 239169 238624 146 303 0 238864 0 Current children cumulated CPU time (s) 582.08 Current children cumulated vsize (KiB) 956676 [startup+642.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22659 /proc/meminfo: memFree=790116/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1012160 CPUtime=642.06 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 252569 0 0 0 63484 722 0 0 25 0 1 0 121322294 1036451840 252445 1992294400 134512640 135752675 4291769856 18446744073709551615 134518470 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 253040 252445 146 303 0 252735 0 Current children cumulated CPU time (s) 642.06 Current children cumulated vsize (KiB) 1012160 [startup+702.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22659 /proc/meminfo: memFree=730100/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1072784 CPUtime=702.04 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 267673 0 0 0 69451 753 0 0 25 0 1 0 121322294 1098530816 267549 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 268196 267549 146 303 0 267891 0 Current children cumulated CPU time (s) 702.04 Current children cumulated vsize (KiB) 1072784 [startup+762.308 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22661 /proc/meminfo: memFree=683476/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1118888 CPUtime=762.02 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 279158 0 0 0 75424 778 0 0 25 0 1 0 121322294 1145741312 279034 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 279722 279034 146 303 0 279417 0 Current children cumulated CPU time (s) 762.02 Current children cumulated vsize (KiB) 1118888 [startup+822.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22663 /proc/meminfo: memFree=629536/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1173816 CPUtime=821.99 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 292860 0 0 0 81392 807 0 0 25 0 1 0 121322294 1201987584 292736 1992294400 134512640 135752675 4291769856 18446744073709551615 134639428 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 293454 292736 146 303 0 293149 0 Current children cumulated CPU time (s) 821.99 Current children cumulated vsize (KiB) 1173816 [startup+882.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22665 /proc/meminfo: memFree=561088/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1241248 CPUtime=881.97 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 309713 0 0 0 87351 846 0 0 25 0 1 0 121322294 1271037952 309589 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 310312 309589 146 303 0 310007 0 Current children cumulated CPU time (s) 881.97 Current children cumulated vsize (KiB) 1241248 [startup+942.301 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22667 /proc/meminfo: memFree=505536/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1298384 CPUtime=941.95 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 323941 0 0 0 93320 875 0 0 25 0 1 0 121322294 1329545216 323817 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 324596 323817 146 303 0 324291 0 Current children cumulated CPU time (s) 941.95 Current children cumulated vsize (KiB) 1298384 [startup+1002.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22667 /proc/meminfo: memFree=429648/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1372592 CPUtime=1001.93 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 342482 0 0 0 99280 913 0 0 25 0 1 0 121322294 1405534208 342358 1992294400 134512640 135752675 4291769856 18446744073709551615 134517421 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 343148 342358 146 303 0 342843 0 Current children cumulated CPU time (s) 1001.93 Current children cumulated vsize (KiB) 1372592 [startup+1062.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22669 /proc/meminfo: memFree=373972/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1428508 CPUtime=1061.9 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 356454 0 0 0 105247 943 0 0 25 0 1 0 121322294 1462792192 356330 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 357127 356330 146 303 0 356822 0 Current children cumulated CPU time (s) 1061.9 Current children cumulated vsize (KiB) 1428508 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22671 /proc/meminfo: memFree=319536/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1482536 CPUtime=1121.88 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 369919 0 0 0 111216 972 0 0 25 0 1 0 121322294 1518116864 369795 1992294400 134512640 135752675 4291769856 18446744073709551615 134518944 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 370634 369795 146 303 0 370329 0 Current children cumulated CPU time (s) 1121.88 Current children cumulated vsize (KiB) 1482536 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22673 /proc/meminfo: memFree=278120/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1525400 CPUtime=1181.85 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 380626 0 0 0 117187 998 0 0 25 0 1 0 121322294 1562009600 380502 1992294400 134512640 135752675 4291769856 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 381350 380502 146 303 0 381045 0 Current children cumulated CPU time (s) 1181.85 Current children cumulated vsize (KiB) 1525400 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22675 /proc/meminfo: memFree=225048/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1577184 CPUtime=1241.84 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 393567 0 0 0 123151 1033 0 0 25 0 1 0 121322294 1615036416 393443 1992294400 134512640 135752675 4291769856 18446744073709551615 134519021 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 394296 393443 146 303 0 393991 0 Current children cumulated CPU time (s) 1241.84 Current children cumulated vsize (KiB) 1577184 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22675 /proc/meminfo: memFree=165156/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1636264 CPUtime=1301.82 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 408327 0 0 0 129114 1068 0 0 25 0 1 0 121322294 1675534336 408203 1992294400 134512640 135752675 4291769856 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 409066 408203 146 303 0 408761 0 Current children cumulated CPU time (s) 1301.82 Current children cumulated vsize (KiB) 1636264 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22677 /proc/meminfo: memFree=107868/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1694360 CPUtime=1361.79 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 422809 0 0 0 135078 1101 0 0 25 0 1 0 121322294 1735024640 422685 1992294400 134512640 135752675 4291769856 18446744073709551615 134611761 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 423590 422685 146 303 0 423285 0 Current children cumulated CPU time (s) 1361.79 Current children cumulated vsize (KiB) 1694360 [startup+1422.31 s] /proc/loadavg: 1.00 1.00 0.94 2/107 22679 /proc/meminfo: memFree=55416/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1746192 CPUtime=1421.78 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 435767 0 0 0 141046 1132 0 0 25 0 1 0 121322294 1788100608 435643 1992294400 134512640 135752675 4291769856 18446744073709551615 134612140 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 436548 435643 146 303 0 436243 0 Current children cumulated CPU time (s) 1421.78 Current children cumulated vsize (KiB) 1746192 [startup+1482.3 s] /proc/loadavg: 1.05 1.01 0.94 2/107 22681 /proc/meminfo: memFree=9320/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1798952 CPUtime=1481.75 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 448930 0 0 0 147007 1168 0 0 25 0 1 0 121322294 1842126848 448806 1992294400 134512640 135752675 4291769856 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 449738 448806 146 303 0 449433 0 Current children cumulated CPU time (s) 1481.75 Current children cumulated vsize (KiB) 1798952 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1529.01 s] /proc/loadavg: 1.08 1.03 0.95 2/107 22681 /proc/meminfo: memFree=9536/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=1843348 CPUtime=1528.45 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4202496 460035 0 0 0 151651 1194 0 0 25 0 1 0 121322294 1887588352 459911 1992294400 134512640 135752675 4291769856 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/22637/statm: 460837 459911 146 303 0 460532 0 Current children cumulated CPU time (s) 1528.45 Current children cumulated vsize (KiB) 1843348 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1529.11 s] /proc/loadavg: 1.08 1.03 0.95 2/107 22681 /proc/meminfo: memFree=9536/2059040 swapFree=4139960/4192956 [pid=22637] ppid=22635 vsize=0 CPUtime=1528.54 /proc/22637/stat : 22637 (wbo1.4b) R 22635 22637 22118 0 -1 4203524 460035 0 0 0 151651 1203 0 0 25 0 1 0 121322294 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/22637/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1528.54 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1529.19 CPU time (s): 1528.63 CPU user time (s): 1516.51 CPU system time (s): 12.1192 CPU usage (%): 99.9635 Max. virtual memory (cumulated for all children) (KiB): 1843348 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1516.51 system time used= 12.1192 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460035 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= 7 involuntary context switches= 16765 runsolver used 2.49062 second user time and 7.2659 second system time The end
Begin job on node010 at 2010-06-25 11:13:27 IDJOB=2680565 IDBENCH=2878 IDSOLVER=1190 FILE ID=node010/2680565-1277457207 PBS_JOBID= 11188148 Free space on /tmp= 62392 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/logic_synthesis/normalized-m200_500_10_10.r.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680565-1277457207/watcher-2680565-1277457207 -o /tmp/evaluation-result-2680565-1277457207/solver-2680565-1277457207 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680565-1277457207.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 9ce5413471f93025df24c6fa43fb2680 RANDOM SEED=1425699317 node010.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.267 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.53 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.267 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 : 5599.46 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1802864 kB Buffers: 33124 kB Cached: 121740 kB SwapCached: 5536 kB Active: 36732 kB Inactive: 131164 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1802864 kB SwapTotal: 4192956 kB SwapFree: 4139960 kB Dirty: 2644 kB Writeback: 0 kB AnonPages: 11720 kB Mapped: 11824 kB Slab: 66360 kB PageTables: 4172 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 183304 kB VmallocTotal: 34359738367 kB VmallocUsed: 264948 kB VmallocChunk: 34359471699 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 62388 MiB End job on node010 at 2010-06-25 11:38:58