Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | OPT | 30 | 1103.59 | 1103.88 |
Name | normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/ miplib/normalized-mps-v2-20-10-stein45.opb |
MD5SUM | 5084bd7d25dcb1d535d550da78b2db16 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 30 |
Best CPU time to get the best result obtained on this benchmark | 23.5534 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 30 |
Optimality of the best value was proved | YES |
Number of variables | 45 |
Total number of constraints | 331 |
Number of constraints which are clauses | 330 |
Number of constraints which are cardinality constraints (but not clauses) | 1 |
Number of constraints which are nor clauses,nor cardinality constraints | 0 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 45 |
Number of terms in the objective function | 45 |
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 | 45 |
Number of bits of the sum of numbers in the objective function | 6 |
Biggest number in a constraint | 22 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 67 |
Number of bits of the biggest sum of numbers | 7 |
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.01 c wbo 1.4 beta - 20100610 0.00/0.01 c Parsing opb file format. File HOME/instance-2680741-1277451712.opb. 0.00/0.01 c Instance file HOME/instance-2680741-1277451712.opb 0.00/0.01 c File size is 9856 bytes. 0.00/0.01 c Highest Coefficient sum: 67 0.00/0.01 c ============================[ Problem Statistics ]============================= 0.00/0.01 c | | 0.00/0.01 c | Parsing time: 0.00 s | 0.00/0.01 c | Number Variables: 45 | 0.00/0.01 c | Number Clauses: 330 | 0.00/0.01 c | Number Cardinality: 1 | 0.00/0.01 c | Number PB Constraints: 0 | 0.00/0.01 c ============================[ Search Statistics ]============================== 0.00/0.01 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.01 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 45 331 1034 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 33 0.00/0.01 o 33 0.00/0.01 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 0 | 45 332 1079 | 5000 0 nan | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 32 0.00/0.01 o 32 0.00/0.01 c Elapsed CPU time: 0.002999 s Remaining CPU time: 179.997 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 3 | 45 333 1124 | 5000 3 33 | 0.000 % | 0.00/0.01 c =============================================================================== 0.00/0.01 c New solution: 31 0.00/0.01 o 31 0.00/0.01 c Elapsed CPU time: 0.003999 s Remaining CPU time: 179.996 s 0.00/0.01 c =============================================================================== 0.00/0.01 c | 25 | 45 334 1169 | 5000 25 33 | 0.000 % | 0.00/0.01 c | 126 | 45 334 1169 | 5500 126 32 | 0.052 % | 0.00/0.01 c | 276 | 45 334 1169 | 6050 276 32 | 0.052 % | 0.00/0.01 c | 501 | 45 334 1169 | 6655 501 32 | 0.101 % | 0.00/0.02 c | 838 | 45 334 1169 | 7320 838 32 | 0.052 % | 0.00/0.03 c =============================================================================== 0.00/0.03 c New solution: 30 0.00/0.03 o 30 0.00/0.03 c Elapsed CPU time: 0.031995 s Remaining CPU time: 179.968 s 0.00/0.03 c =============================================================================== 0.00/0.03 c | 1046 | 45 335 1214 | 5000 1046 32 | 0.052 % | 0.00/0.03 c | 1147 | 45 335 1214 | 5500 1147 31 | 0.052 % | 0.00/0.04 c | 1298 | 45 335 1214 | 6050 1298 31 | 0.052 % | 0.00/0.05 c | 1523 | 45 335 1214 | 6655 1523 31 | 0.052 % | 0.05/0.06 c | 1860 | 45 335 1214 | 7320 1860 31 | 0.052 % | 0.05/0.09 c | 2366 | 45 335 1214 | 8052 2366 31 | 0.052 % | 0.09/0.14 c | 3126 | 45 335 1214 | 8857 3126 31 | 0.101 % | 0.18/0.21 c | 4265 | 45 335 1214 | 9743 4265 31 | 0.052 % | 0.29/0.32 c | 5973 | 45 335 1214 | 10717 5973 31 | 0.052 % | 0.49/0.56 c | 8535 | 45 335 1214 | 11789 8535 31 | 0.052 % | 1.00/1.02 c | 12379 | 45 335 1214 | 12968 6471 31 | 0.052 % | 1.69/1.72 c | 18146 | 45 335 1214 | 14265 12238 30 | 0.052 % | 3.09/3.15 c | 26796 | 45 335 1214 | 15692 13740 30 | 0.052 % | 5.29/5.36 c | 39771 | 45 335 1214 | 17261 10999 30 | 0.053 % | 8.89/8.98 c | 59232 | 45 335 1214 | 18987 13168 30 | 0.052 % | 15.69/15.76 c | 88424 | 45 335 1214 | 20886 13837 30 | 0.053 % | 28.38/28.44 c | 132214 | 45 335 1214 | 22974 15802 30 | 0.053 % | 52.98/53.08 c | 197898 | 45 335 1214 | 25272 20824 30 | 0.055 % | 87.87/87.98 c | 296424 | 45 335 1214 | 27799 19020 30 | 0.059 % | 149.35/149.48 c | 444214 | 45 335 1214 | 30579 15974 30 | 0.102 % | 181.45/181.55 c There are 0 assigned variables. 0 in cost function. 181.94/182.07 c core #1 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 1 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #2 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 2 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #3 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 3 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #4 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 4 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #5 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 5 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #6 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 6 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #7 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 7 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #8 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 8 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #9 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 9 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #10 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 10 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #11 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 11 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #12 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 3 Core Weight: 1 Total Weight: 12 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #13 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 13 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #14 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 4 Core Weight: 1 Total Weight: 14 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c core #15 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 47 Core Weight: 1 Total Weight: 15 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c ============================[ Search Statistics ]============================== 181.94/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.07 c =============================================================================== 181.94/182.07 c | 0 | 99 396 1369 | 5000 0 nan | 0.000 % | 181.94/182.07 c =============================================================================== 181.94/182.07 c core #16 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c Core size: 22 Core Weight: 1 Total Weight: 16 181.94/182.07 c 181.94/182.07 c 181.94/182.07 c ============================[ Search Statistics ]============================== 181.94/182.07 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.07 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.07 c =============================================================================== 181.94/182.07 c | 0 | 118 397 1407 | 5000 0 nan | 0.000 % | 181.94/182.07 c =============================================================================== 181.94/182.08 c core #17 181.94/182.08 c 181.94/182.08 c 181.94/182.08 c Core size: 44 Core Weight: 1 Total Weight: 17 181.94/182.08 c 181.94/182.08 c 181.94/182.08 c ============================[ Search Statistics ]============================== 181.94/182.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.08 c =============================================================================== 181.94/182.08 c | 0 | 161 398 1493 | 5000 0 nan | 0.000 % | 181.94/182.08 c | 100 | 161 398 1493 | 5500 100 21 | 0.004 % | 181.94/182.09 c =============================================================================== 181.94/182.09 c core #18 181.94/182.09 c 181.94/182.09 c 181.94/182.09 c Core size: 48 Core Weight: 1 Total Weight: 18 181.94/182.09 c 181.94/182.09 c 181.94/182.09 c ============================[ Search Statistics ]============================== 181.94/182.09 c | Conflicts | ORIGINAL | LEARNT | Progress | 181.94/182.09 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 181.94/182.09 c =============================================================================== 181.94/182.09 c | 0 | 206 400 1586 | 5000 0 nan | 0.000 % | 181.94/182.10 c | 101 | 206 400 1586 | 5500 101 30 | 0.002 % | 182.04/182.11 c | 253 | 206 400 1586 | 6050 253 31 | 0.002 % | 182.04/182.12 c | 478 | 206 400 1586 | 6655 478 31 | 0.003 % | 182.04/182.14 c | 815 | 205 400 1586 | 7320 275 29 | 0.488 % | 182.04/182.18 c | 1324 | 205 400 1586 | 8052 784 26 | 0.490 % | 182.14/182.24 c | 2085 | 204 400 1586 | 8857 860 28 | 0.973 % | 182.25/182.30 c =============================================================================== 182.25/182.32 c core #19 182.25/182.32 c 182.25/182.32 c 182.25/182.32 c Core size: 47 Core Weight: 1 Total Weight: 19 182.25/182.32 c 182.25/182.32 c 182.25/182.32 c ============================[ Search Statistics ]============================== 182.25/182.32 c | Conflicts | ORIGINAL | LEARNT | Progress | 182.25/182.32 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 182.25/182.32 c =============================================================================== 182.25/182.32 c | 0 | 246 402 1669 | 5000 0 nan | 0.000 % | 182.25/182.33 c | 109 | 246 402 1669 | 5500 109 60 | 0.002 % | 182.25/182.34 c | 259 | 246 402 1669 | 6050 259 49 | 0.002 % | 182.25/182.35 c | 484 | 246 402 1669 | 6655 484 37 | 0.002 % | 182.25/182.36 c | 821 | 246 402 1669 | 7320 821 32 | 0.002 % | 182.25/182.38 c | 1328 | 246 402 1669 | 8052 1328 29 | 0.002 % | 182.34/182.42 c | 2088 | 246 402 1669 | 8857 2088 27 | 0.002 % | 182.34/182.50 c | 3227 | 246 402 1669 | 9743 3227 26 | 0.003 % | 182.55/182.63 c | 4935 | 246 402 1669 | 10717 4935 26 | 0.003 % | 182.74/182.88 c | 7497 | 246 402 1669 | 11789 7497 25 | 0.003 % | 183.34/183.47 c | 11341 | 246 402 1669 | 12968 11341 25 | 0.003 % | 184.35/184.40 c | 17107 | 246 402 1669 | 14265 10606 24 | 0.003 % | 185.95/186.09 c | 25758 | 246 402 1669 | 15692 12109 24 | 0.003 % | 188.84/188.95 c | 38732 | 246 402 1669 | 17261 9372 24 | 0.003 % | 193.74/193.82 c | 58193 | 246 402 1669 | 18987 11547 23 | 0.003 % | 200.04/200.13 c | 87386 | 246 402 1669 | 20886 12218 24 | 0.003 % | 210.93/211.04 c | 131176 | 246 402 1669 | 22974 14171 23 | 0.003 % | 229.03/229.17 c | 196860 | 246 402 1669 | 25272 19213 23 | 0.003 % | 258.12/258.27 c | 295386 | 246 402 1669 | 27799 17502 23 | 0.005 % | 305.01/305.19 c | 443176 | 246 402 1669 | 30579 14614 23 | 0.007 % | 384.09/384.20 c | 664860 | 246 402 1669 | 33637 22468 21 | 0.008 % | 507.86/508.03 c | 997386 | 245 402 1669 | 37001 12909 27 | 0.408 % | 709.61/709.89 c | 1496174 | 244 402 1669 | 40701 13616 22 | 0.821 % | 1041.22/1041.58 c | 2244356 | 239 402 1669 | 44771 21509 19 | 2.854 % | 1103.50/1103.83 c =============================================================================== 1103.50/1103.83 c core #20 1103.50/1103.83 c 1103.50/1103.83 c 1103.50/1103.83 c Core size: 3 Core Weight: 44 Total Weight: 63 1103.50/1103.83 c 1103.50/1103.83 c 1103.50/1103.83 c This is when the PBO solver was able to find the optimum, but failed to prove optimality... 1103.50/1103.83 Best: 30 1103.50/1103.83 Total: 63 1103.50/1103.83 c #cores: 20 1103.50/1103.83 c Final Weight: 30 1103.50/1103.83 o 30 1103.50/1103.83 s OPTIMUM FOUND 1103.50/1103.83 v x1 x2 -x3 x4 x5 -x6 x7 x8 -x9 x10 x11 x12 x13 -x14 x15 -x16 x17 x18 x19 x20 x21 x22 -x23 x24 -x25 x26 x27 -x28 x29 -x30 -x31 x32 -x33 -x34 -x35 x36 x37 x38 x39 x40 x41 x42 x43 -x44 -x45 1103.50/1103.83 c Total CPU time: 1095.16 s
OK 30
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2680741-1277451712/watcher-2680741-1277451712 -o /tmp/evaluation-result-2680741-1277451712/solver-2680741-1277451712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680741-1277451712.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.00 0.00 0.00 3/106 27959 /proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=2568 CPUtime=0.01 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 297 0 0 0 1 0 0 0 19 0 1 0 86463284 2629632 212 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 642 212 145 303 0 337 0 [startup+0.05497 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27959 /proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=2824 CPUtime=0.05 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 364 0 0 0 5 0 0 0 19 0 1 0 86463284 2891776 279 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 706 279 145 303 0 401 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 2824 [startup+0.101961 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27959 /proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=3080 CPUtime=0.09 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 420 0 0 0 9 0 0 0 19 0 1 0 86463284 3153920 335 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 770 335 145 303 0 465 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3080 [startup+0.30098 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27959 /proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=3864 CPUtime=0.29 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 607 0 0 0 28 1 0 0 20 0 1 0 86463284 3956736 522 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 966 522 145 303 0 661 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3864 [startup+0.701023 s] /proc/loadavg: 0.00 0.00 0.00 3/106 27959 /proc/meminfo: memFree=1327952/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=4784 CPUtime=0.69 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 862 0 0 0 67 2 0 0 20 0 1 0 86463284 4898816 777 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 1196 777 145 303 0 891 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 4784 [startup+1.50111 s] /proc/loadavg: 0.00 0.00 0.00 2/107 27960 /proc/meminfo: memFree=1324596/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=6480 CPUtime=1.49 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 1257 0 0 0 145 4 0 0 22 0 1 0 86463284 6635520 1172 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 1620 1172 145 303 0 1315 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 6480 [startup+3.10128 s] /proc/loadavg: 0.00 0.00 0.00 2/107 27960 /proc/meminfo: memFree=1322736/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=8700 CPUtime=3.09 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 1807 0 0 0 303 6 0 0 25 0 1 0 86463284 8908800 1722 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 2175 1722 145 303 0 1870 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 8700 [startup+6.30162 s] /proc/loadavg: 0.08 0.02 0.01 2/107 27960 /proc/meminfo: memFree=1318148/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=12832 CPUtime=6.29 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 2870 0 0 0 618 11 0 0 25 0 1 0 86463284 13139968 2785 1992294400 134512640 135752675 4289100464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 3208 2785 145 303 0 2903 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12832 [startup+12.7013 s] /proc/loadavg: 0.15 0.03 0.01 2/107 27960 /proc/meminfo: memFree=1310460/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=19928 CPUtime=12.69 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 4625 0 0 0 1250 19 0 0 25 0 1 0 86463284 20406272 4540 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 4982 4540 145 303 0 4677 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 19928 [startup+25.5017 s] /proc/loadavg: 0.34 0.08 0.02 2/107 27962 /proc/meminfo: memFree=1300044/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=29904 CPUtime=25.48 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 7096 0 0 0 2516 32 0 0 25 0 1 0 86463284 30621696 7011 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 7476 7011 145 303 0 7171 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 29904 [startup+51.1014 s] /proc/loadavg: 0.56 0.15 0.05 2/107 27962 /proc/meminfo: memFree=1284668/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=45376 CPUtime=51.08 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 10956 0 0 0 5057 51 0 0 25 0 1 0 86463284 46465024 10871 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 11344 10871 145 303 0 11039 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 45376 [startup+102.309 s] /proc/loadavg: 0.81 0.28 0.10 2/107 27964 /proc/meminfo: memFree=1254164/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=75536 CPUtime=102.27 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 18484 0 0 0 10136 91 0 0 25 0 1 0 86463284 77348864 18399 1992294400 134512640 135752675 4289100464 18446744073709551615 134612050 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 18884 18399 145 303 0 18579 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 75536 [startup+162.301 s] /proc/loadavg: 0.93 0.41 0.15 2/107 27964 /proc/meminfo: memFree=1223908/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=105856 CPUtime=162.25 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 26069 0 0 0 16089 136 0 0 25 0 1 0 86463284 108396544 25984 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 26464 25984 145 303 0 26159 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 105856 [startup+222.302 s] /proc/loadavg: 0.97 0.51 0.20 2/107 27966 /proc/meminfo: memFree=1210144/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=119248 CPUtime=222.23 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 29478 0 0 0 22030 193 0 0 25 0 1 0 86463284 122109952 29363 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 29812 29363 146 303 0 29507 0 Current children cumulated CPU time (s) 222.23 Current children cumulated vsize (KiB) 119248 [startup+282.302 s] /proc/loadavg: 0.99 0.60 0.25 2/107 27968 /proc/meminfo: memFree=1190552/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=138936 CPUtime=282.21 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 34392 0 0 0 27973 248 0 0 25 0 1 0 86463284 142270464 34277 1992294400 134512640 135752675 4289100464 18446744073709551615 134611807 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 34734 34277 146 303 0 34429 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 138936 [startup+342.301 s] /proc/loadavg: 0.99 0.67 0.29 2/107 27970 /proc/meminfo: memFree=1163396/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=166120 CPUtime=342.2 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 41166 0 0 0 33921 299 0 0 25 0 1 0 86463284 170106880 41051 1992294400 134512640 135752675 4289100464 18446744073709551615 134605232 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 41530 41051 146 303 0 41225 0 Current children cumulated CPU time (s) 342.2 Current children cumulated vsize (KiB) 166120 [startup+402.301 s] /proc/loadavg: 0.99 0.73 0.33 2/107 27972 /proc/meminfo: memFree=1136488/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=193068 CPUtime=402.18 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 47915 0 0 0 39872 346 0 0 25 0 1 0 86463284 197701632 47800 1992294400 134512640 135752675 4289100464 18446744073709551615 134611780 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 48267 47800 146 303 0 47962 0 Current children cumulated CPU time (s) 402.18 Current children cumulated vsize (KiB) 193068 [startup+462.3 s] /proc/loadavg: 0.99 0.77 0.37 2/107 27972 /proc/meminfo: memFree=1110696/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=218548 CPUtime=462.16 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 54282 0 0 0 45826 390 0 0 25 0 1 0 86463284 223793152 54167 1992294400 134512640 135752675 4289100464 18446744073709551615 134611790 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 54637 54167 146 303 0 54332 0 Current children cumulated CPU time (s) 462.16 Current children cumulated vsize (KiB) 218548 [startup+522.301 s] /proc/loadavg: 0.99 0.81 0.41 2/107 27974 /proc/meminfo: memFree=1085276/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=244436 CPUtime=522.15 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 60747 0 0 0 51777 438 0 0 25 0 1 0 86463284 250302464 60632 1992294400 134512640 135752675 4289100464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 61109 60632 146 303 0 60804 0 Current children cumulated CPU time (s) 522.15 Current children cumulated vsize (KiB) 244436 [startup+582.301 s] /proc/loadavg: 0.99 0.84 0.44 2/107 27976 /proc/meminfo: memFree=1062584/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=266556 CPUtime=582.14 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 66280 0 0 0 57734 480 0 0 25 0 1 0 86463284 272953344 66165 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 66639 66165 146 303 0 66334 0 Current children cumulated CPU time (s) 582.14 Current children cumulated vsize (KiB) 266556 [startup+642.3 s] /proc/loadavg: 0.99 0.87 0.47 2/107 27978 /proc/meminfo: memFree=1036792/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=292220 CPUtime=642.13 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 72701 0 0 0 63683 530 0 0 25 0 1 0 86463284 299233280 72586 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 73055 72586 146 303 0 72750 0 Current children cumulated CPU time (s) 642.13 Current children cumulated vsize (KiB) 292220 [startup+702.301 s] /proc/loadavg: 0.99 0.89 0.50 2/107 27980 /proc/meminfo: memFree=1013232/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=315848 CPUtime=702.1 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 78583 0 0 0 69637 573 0 0 25 0 1 0 86463284 323428352 78468 1992294400 134512640 135752675 4289100464 18446744073709551615 134612107 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 78962 78468 146 303 0 78657 0 Current children cumulated CPU time (s) 702.1 Current children cumulated vsize (KiB) 315848 [startup+762.308 s] /proc/loadavg: 0.99 0.91 0.53 2/107 27980 /proc/meminfo: memFree=992772/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=335980 CPUtime=762.1 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 83628 0 0 0 75597 613 0 0 25 0 1 0 86463284 344043520 83513 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 83995 83513 146 303 0 83690 0 Current children cumulated CPU time (s) 762.1 Current children cumulated vsize (KiB) 335980 [startup+822.301 s] /proc/loadavg: 0.99 0.92 0.56 2/107 27982 /proc/meminfo: memFree=972312/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=356496 CPUtime=822.08 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 88766 0 0 0 81555 653 0 0 25 0 1 0 86463284 365051904 88651 1992294400 134512640 135752675 4289100464 18446744073709551615 134611796 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 89124 88651 146 303 0 88819 0 Current children cumulated CPU time (s) 822.08 Current children cumulated vsize (KiB) 356496 [startup+882.301 s] /proc/loadavg: 0.99 0.93 0.58 2/107 27984 /proc/meminfo: memFree=951232/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=377544 CPUtime=882.06 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 94001 0 0 0 87515 691 0 0 25 0 1 0 86463284 386605056 93886 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 94386 93886 146 303 0 94081 0 Current children cumulated CPU time (s) 882.06 Current children cumulated vsize (KiB) 377544 [startup+942.3 s] /proc/loadavg: 0.99 0.94 0.61 2/107 27986 /proc/meminfo: memFree=930276/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=398412 CPUtime=942.04 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 99230 0 0 0 93471 733 0 0 25 0 1 0 86463284 407973888 99115 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 99603 99115 146 303 0 99298 0 Current children cumulated CPU time (s) 942.04 Current children cumulated vsize (KiB) 398412 [startup+1002.3 s] /proc/loadavg: 0.99 0.95 0.63 2/107 27988 /proc/meminfo: memFree=909444/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=419168 CPUtime=1002.02 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 104417 0 0 0 99429 773 0 0 25 0 1 0 86463284 429228032 104302 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 104792 104302 146 303 0 104487 0 Current children cumulated CPU time (s) 1002.02 Current children cumulated vsize (KiB) 419168 [startup+1062.3 s] /proc/loadavg: 0.99 0.95 0.65 2/107 27988 /proc/meminfo: memFree=889232/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=439796 CPUtime=1062.01 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 109547 0 0 0 105390 811 0 0 25 0 1 0 86463284 450351104 109432 1992294400 134512640 135752675 4289100464 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 109949 109432 146 303 0 109644 0 Current children cumulated CPU time (s) 1062.01 Current children cumulated vsize (KiB) 439796 Solver just ended. Dumping a history of the last processes samples [startup+1075.1 s] /proc/loadavg: 0.99 0.96 0.65 2/107 27990 /proc/meminfo: memFree=885760/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=442840 CPUtime=1074.81 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 110321 0 0 0 106663 818 0 0 25 0 1 0 86463284 453468160 110206 1992294400 134512640 135752675 4289100464 18446744073709551615 134517409 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 110710 110206 146 303 0 110405 0 Current children cumulated CPU time (s) 1074.81 Current children cumulated vsize (KiB) 442840 [startup+1087.91 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=880924/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=447616 CPUtime=1087.61 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 111496 0 0 0 107934 827 0 0 25 0 1 0 86463284 458358784 111381 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 111904 111381 146 303 0 111599 0 Current children cumulated CPU time (s) 1087.61 Current children cumulated vsize (KiB) 447616 [startup+1094.3 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=879560/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=449200 CPUtime=1094.01 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 111881 0 0 0 108570 831 0 0 25 0 1 0 86463284 459980800 111766 1992294400 134512640 135752675 4289100464 18446744073709551615 134611709 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112300 111766 146 303 0 111995 0 Current children cumulated CPU time (s) 1094.01 Current children cumulated vsize (KiB) 449200 [startup+1100.7 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=878444/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=450124 CPUtime=1100.41 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112134 0 0 0 109207 834 0 0 25 0 1 0 86463284 460926976 112019 1992294400 134512640 135752675 4289100464 18446744073709551615 134602979 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112531 112019 146 303 0 112226 0 Current children cumulated CPU time (s) 1100.41 Current children cumulated vsize (KiB) 450124 [startup+1102.3 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=877452/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=451180 CPUtime=1102 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112384 0 0 0 109364 836 0 0 25 0 1 0 86463284 462008320 112269 1992294400 134512640 135752675 4289100464 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112795 112269 146 303 0 112490 0 Current children cumulated CPU time (s) 1102 Current children cumulated vsize (KiB) 451180 [startup+1103.1 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=877452/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=451444 CPUtime=1102.8 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112467 0 0 0 109443 837 0 0 25 0 1 0 86463284 462278656 112352 1992294400 134512640 135752675 4289100464 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112861 112352 146 303 0 112556 0 Current children cumulated CPU time (s) 1102.8 Current children cumulated vsize (KiB) 451444 [startup+1103.5 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=876956/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=451576 CPUtime=1103.2 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112503 0 0 0 109483 837 0 0 25 0 1 0 86463284 462413824 112388 1992294400 134512640 135752675 4289100464 18446744073709551615 134517424 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112894 112388 146 303 0 112589 0 Current children cumulated CPU time (s) 1103.2 Current children cumulated vsize (KiB) 451576 [startup+1103.7 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=876956/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=451708 CPUtime=1103.4 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112516 0 0 0 109503 837 0 0 25 0 1 0 86463284 462548992 112401 1992294400 134512640 135752675 4289100464 18446744073709551615 134602992 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112927 112401 146 303 0 112622 0 Current children cumulated CPU time (s) 1103.4 Current children cumulated vsize (KiB) 451708 [startup+1103.8 s] /proc/loadavg: 0.99 0.96 0.66 2/107 27990 /proc/meminfo: memFree=876956/2059040 swapFree=4136688/4192956 [pid=27959] ppid=27957 vsize=451708 CPUtime=1103.5 /proc/27959/stat : 27959 (wbo1.4b) R 27957 27959 27934 0 -1 4202496 112528 0 0 0 109513 837 0 0 25 0 1 0 86463284 462548992 112413 1992294400 134512640 135752675 4289100464 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27959/statm: 112927 112413 146 303 0 112622 0 Current children cumulated CPU time (s) 1103.5 Current children cumulated vsize (KiB) 451708 Child status: 0 Real time (s): 1103.88 CPU time (s): 1103.59 CPU user time (s): 1095.16 CPU system time (s): 8.42272 CPU usage (%): 99.9738 Max. virtual memory (cumulated for all children) (KiB): 451708 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1095.16 system time used= 8.42272 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 112535 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= 6 involuntary context switches= 1037 runsolver used 1.87471 second user time and 5.17521 second system time The end
Begin job on node047 at 2010-06-25 09:41:53 IDJOB=2680741 IDBENCH=1865 IDSOLVER=1190 FILE ID=node047/2680741-1277451712 PBS_JOBID= 11188121 Free space on /tmp= 62484 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/mps-v2-20-10/MIPLIB/miplib/normalized-mps-v2-20-10-stein45.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680741-1277451712/watcher-2680741-1277451712 -o /tmp/evaluation-result-2680741-1277451712/solver-2680741-1277451712 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680741-1277451712.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 5084bd7d25dcb1d535d550da78b2db16 RANDOM SEED=854475842 node047.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.244 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.48 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.244 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.44 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1328480 kB Buffers: 170032 kB Cached: 453720 kB SwapCached: 9224 kB Active: 225916 kB Inactive: 410748 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1328480 kB SwapTotal: 4192956 kB SwapFree: 4136688 kB Dirty: 2632 kB Writeback: 0 kB AnonPages: 11500 kB Mapped: 8376 kB Slab: 71928 kB PageTables: 4208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 180908 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= 62480 MiB End job on node047 at 2010-06-25 10:00:17