Solver Name | Answer | objective function | CPU time | Wall clock time |
---|---|---|---|---|
wbo 1.4b (fixed) | ? (MO) | 1451.74 | 1452.19 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB05/ manquinho/logic-synthesis/normalized-5xp1.b.opb |
MD5SUM | b3e6d54e40b24334877b0ae377edea30 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | OPT |
Best value of the objective obtained on this benchmark | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.939856 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 12 |
Optimality of the best value was proved | YES |
Number of variables | 464 |
Total number of constraints | 845 |
Number of constraints which are clauses | 845 |
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 | 1 |
Maximum length of a constraint | 149 |
Number of terms in the objective function | 464 |
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 | 464 |
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 | 464 |
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-2680768-1277453507.opb. 0.00/0.00 c Instance file HOME/instance-2680768-1277453507.opb 0.00/0.00 c File size is 245270 bytes. 0.00/0.04 c Highest Coefficient sum: 150 0.00/0.04 c ============================[ Problem Statistics ]============================= 0.00/0.04 c | | 0.00/0.04 c | Parsing time: 0.04 s | 0.00/0.04 c | Number Variables: 464 | 0.00/0.04 c | Number Clauses: 845 | 0.00/0.04 c | Number Cardinality: 0 | 0.00/0.04 c | Number PB Constraints: 0 | 0.00/0.04 c ============================[ Search Statistics ]============================== 0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress | 0.00/0.04 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 0.00/0.04 c =============================================================================== 0.00/0.04 c | 0 | 463 845 29887 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 17 0.00/0.04 o 17 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 | 463 846 30351 | 5000 0 nan | 0.000 % | 0.00/0.04 c =============================================================================== 0.00/0.04 c New solution: 16 0.00/0.04 o 16 0.00/0.04 c Elapsed CPU time: 0.043993 s Remaining CPU time: 179.956 s 0.00/0.04 c =============================================================================== 0.00/0.04 c | 21 | 463 847 30815 | 5000 21 67 | 0.000 % | 0.00/0.05 c | 121 | 463 847 30815 | 5500 121 85 | 0.216 % | 0.00/0.06 c | 272 | 463 847 30815 | 6050 272 84 | 0.216 % | 0.06/0.09 c | 501 | 463 847 30815 | 6655 501 81 | 0.216 % | 0.09/0.12 c | 838 | 463 847 30815 | 7320 838 84 | 0.216 % | 0.09/0.18 c | 1344 | 463 847 30815 | 8052 1344 80 | 0.216 % | 0.19/0.24 c | 2103 | 463 847 30815 | 8857 2103 81 | 0.216 % | 0.38/0.45 c | 3242 | 463 847 30815 | 9743 3242 83 | 0.216 % | 0.58/0.63 c | 4950 | 463 847 30815 | 10717 4950 70 | 0.216 % | 1.00/1.05 c | 7512 | 463 847 30815 | 11789 7512 66 | 0.216 % | 1.49/1.55 c | 11359 | 463 847 30815 | 12968 11359 68 | 0.216 % | 2.79/2.80 c | 17125 | 463 847 30815 | 14265 10492 78 | 0.216 % | 2.79/2.85 c =============================================================================== 2.79/2.85 c New solution: 15 2.79/2.85 o 15 2.79/2.85 c Elapsed CPU time: 2.79058 s Remaining CPU time: 177.209 s 2.79/2.85 c =============================================================================== 2.79/2.85 c | 17631 | 463 848 31279 | 5000 10998 77 | 0.216 % | 2.79/2.89 c | 17731 | 463 848 31279 | 5500 2850 69 | 0.216 % | 2.89/2.90 c | 17881 | 463 848 31279 | 6050 3000 69 | 0.216 % | 2.89/2.95 c | 18108 | 463 848 31279 | 6655 3227 70 | 0.216 % | 2.99/3.00 c | 18445 | 463 848 31279 | 7320 3564 69 | 0.216 % | 2.99/3.07 c | 18951 | 463 848 31279 | 8052 4070 67 | 0.216 % | 3.08/3.18 c | 19711 | 463 848 31279 | 8857 4830 63 | 0.216 % | 3.30/3.37 c | 20854 | 463 848 31279 | 9743 5973 63 | 0.216 % | 3.59/3.69 c | 22562 | 463 848 31279 | 10717 7681 63 | 0.216 % | 3.98/4.07 c | 25126 | 463 848 31279 | 11789 10245 71 | 0.216 % | 4.59/4.67 c | 28970 | 463 848 31279 | 12968 8022 72 | 0.216 % | 5.59/5.61 c | 34740 | 463 848 31279 | 14265 7139 84 | 0.216 % | 6.59/6.69 c | 43389 | 463 848 31279 | 15692 8479 55 | 0.216 % | 9.28/9.38 c | 56363 | 463 848 31279 | 17261 13446 90 | 0.216 % | 12.78/12.89 c | 75824 | 463 848 31279 | 18987 15272 65 | 0.216 % | 21.39/21.43 c | 105016 | 463 848 31279 | 20886 15557 83 | 0.216 % | 29.69/29.76 c | 148805 | 463 848 31279 | 22974 16809 60 | 0.216 % | 52.27/52.32 c | 214490 | 463 848 31279 | 25272 22355 82 | 0.216 % | 75.37/75.43 c | 313016 | 463 848 31279 | 27799 19837 89 | 0.216 % | 124.65/124.76 c | 460805 | 463 848 31279 | 30579 24460 64 | 0.216 % | 175.64/175.74 c | 682488 | 463 848 31279 | 33637 30101 80 | 0.216 % | 182.73/182.84 c There are 1 assigned variables. 1 in cost function. 183.54/183.66 c core #1 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c Core size: 11 Core Weight: 1 Total Weight: 2 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c core #2 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c Core size: 13 Core Weight: 1 Total Weight: 3 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c core #3 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c Core size: 145 Core Weight: 1 Total Weight: 4 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c core #4 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c Core size: 23 Core Weight: 1 Total Weight: 5 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c core #5 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c Core size: 18 Core Weight: 1 Total Weight: 6 183.54/183.66 c 183.54/183.66 c 183.54/183.66 c ============================[ Search Statistics ]============================== 183.54/183.66 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.66 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.66 c =============================================================================== 183.54/183.66 c | 0 | 394 1315 15727 | 5000 0 nan | 0.000 % | 183.54/183.66 c =============================================================================== 183.54/183.67 c core #6 183.54/183.67 c 183.54/183.67 c 183.54/183.67 c Core size: 113 Core Weight: 1 Total Weight: 7 183.54/183.67 c 183.54/183.67 c 183.54/183.67 c ============================[ Search Statistics ]============================== 183.54/183.67 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.67 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.67 c =============================================================================== 183.54/183.67 c | 0 | 592 1316 20885 | 5000 0 nan | 0.000 % | 183.54/183.69 c | 100 | 592 1316 20885 | 5500 100 61 | 23.871 % | 183.54/183.69 c =============================================================================== 183.54/183.69 c core #7 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c Core size: 363 Core Weight: 1 Total Weight: 8 183.54/183.69 c 183.54/183.69 c 183.54/183.69 c ============================[ Search Statistics ]============================== 183.54/183.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 183.54/183.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 183.54/183.70 c =============================================================================== 183.54/183.70 c | 0 | 1086 1317 30321 | 5000 0 nan | 0.000 % | 183.64/183.71 c | 101 | 1086 1317 30321 | 5500 101 117 | 4.486 % | 183.64/183.75 c | 252 | 1086 1317 30321 | 6050 252 124 | 4.486 % | 183.74/183.81 c | 477 | 1086 1317 30321 | 6655 477 136 | 4.486 % | 183.83/183.90 c | 818 | 1086 1317 30321 | 7320 818 174 | 4.486 % | 183.93/184.09 c | 1327 | 1086 1317 30321 | 8052 1327 178 | 4.486 % | 184.23/184.38 c | 2086 | 1086 1317 30321 | 8857 2086 164 | 4.486 % | 184.74/184.88 c | 3229 | 1086 1317 30321 | 9743 3229 156 | 4.486 % | 185.84/185.96 c | 4939 | 1084 1317 30321 | 10717 4938 155 | 4.925 % | 187.03/187.18 c | 7501 | 1084 1317 30321 | 11789 7500 149 | 4.925 % | 187.63/187.72 c =============================================================================== 187.63/187.74 c core #8 187.63/187.74 c 187.63/187.74 c 187.63/187.74 c Core size: 30 Core Weight: 1 Total Weight: 9 187.63/187.74 c 187.63/187.74 c 187.63/187.74 c ============================[ Search Statistics ]============================== 187.63/187.74 c | Conflicts | ORIGINAL | LEARNT | Progress | 187.63/187.74 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 187.63/187.74 c =============================================================================== 187.63/187.74 c | 0 | 1112 1318 30373 | 5000 0 nan | 0.000 % | 187.63/187.76 c | 100 | 1112 1318 30373 | 5500 100 126 | 4.385 % | 187.63/187.79 c | 251 | 1112 1318 30373 | 6050 251 167 | 4.385 % | 187.73/187.85 c | 477 | 1112 1318 30373 | 6655 477 162 | 4.385 % | 187.83/187.97 c | 815 | 1112 1318 30373 | 7320 815 151 | 4.385 % | 188.13/188.28 c | 1322 | 1112 1318 30373 | 8052 1322 169 | 4.385 % | 188.43/188.57 c | 2084 | 1112 1318 30373 | 8857 2084 163 | 4.385 % | 188.93/189.05 c | 3224 | 1112 1318 30373 | 9743 3224 147 | 4.385 % | 189.73/189.82 c | 4933 | 1112 1318 30373 | 10717 4933 137 | 4.385 % | 191.03/191.17 c | 7498 | 1112 1318 30373 | 11789 7498 132 | 4.385 % | 193.23/193.39 c | 11343 | 1112 1318 30373 | 12968 11343 121 | 4.385 % | 193.93/194.03 c =============================================================================== 194.13/194.20 c core #9 194.13/194.20 c 194.13/194.20 c 194.13/194.20 c Core size: 406 Core Weight: 1 Total Weight: 10 194.13/194.20 c 194.13/194.20 c 194.13/194.20 c ============================[ Search Statistics ]============================== 194.13/194.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 194.13/194.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 194.13/194.20 c =============================================================================== 194.13/194.20 c | 0 | 1547 1319 32820 | 5000 0 nan | 0.000 % | 194.13/194.23 c | 102 | 1547 1319 32820 | 5500 102 168 | 1.276 % | 194.13/194.26 c | 252 | 1547 1319 32820 | 6050 252 154 | 1.276 % | 194.23/194.34 c | 484 | 1547 1319 32820 | 6655 484 156 | 1.276 % | 194.43/194.55 c | 822 | 1547 1319 32820 | 7320 822 202 | 1.276 % | 194.73/194.86 c | 1328 | 1547 1319 32820 | 8052 1328 231 | 1.276 % | 195.13/195.27 c | 2088 | 1547 1319 32820 | 8857 2088 243 | 1.276 % | 195.74/195.86 c | 3229 | 1547 1319 32820 | 9743 3229 234 | 1.276 % | 196.43/196.53 c | 4937 | 1547 1319 32820 | 10717 4937 225 | 1.276 % | 197.63/197.74 c | 7501 | 1547 1319 32820 | 11789 7501 230 | 1.276 % | 200.14/200.25 c | 11345 | 1547 1319 32820 | 12968 11345 241 | 1.276 % | 203.53/203.65 c | 17112 | 1547 1319 32820 | 14265 10459 231 | 1.276 % | 211.04/211.15 c | 25761 | 1547 1319 32820 | 15692 11681 217 | 1.276 % | 219.52/219.66 c | 38736 | 1547 1319 32820 | 17261 8584 150 | 1.276 % | 233.92/234.09 c | 58199 | 1547 1319 32820 | 18987 10526 193 | 1.276 % | 256.82/256.96 c | 87397 | 1547 1319 32820 | 20886 10836 198 | 1.276 % | 294.31/294.43 c | 131188 | 1547 1319 32820 | 22974 12388 194 | 1.276 % | 349.28/349.46 c =============================================================================== 353.28/353.43 c core #10 353.28/353.43 c 353.28/353.43 c 353.28/353.43 c Core size: 432 Core Weight: 1 Total Weight: 11 353.28/353.43 c 353.28/353.43 c 353.28/353.43 c ============================[ Search Statistics ]============================== 353.28/353.43 c | Conflicts | ORIGINAL | LEARNT | Progress | 353.28/353.43 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 353.28/353.43 c =============================================================================== 353.28/353.43 c | 0 | 1995 1320 34803 | 5000 0 nan | 0.000 % | 353.38/353.52 c | 100 | 1995 1320 34803 | 5500 100 185 | 0.050 % | 353.38/353.54 c | 250 | 1995 1320 34803 | 6050 250 178 | 0.050 % | 353.49/353.61 c | 475 | 1995 1320 34803 | 6655 475 144 | 0.050 % | 353.59/353.75 c | 813 | 1995 1320 34803 | 7320 813 209 | 0.050 % | 353.78/353.97 c | 1319 | 1995 1320 34803 | 8052 1319 247 | 0.050 % | 354.09/354.29 c | 2078 | 1995 1320 34803 | 8857 2078 239 | 0.050 % | 354.78/354.91 c | 3220 | 1995 1320 34803 | 9743 3220 259 | 0.050 % | 355.89/356.03 c | 4928 | 1995 1320 34803 | 10717 4928 285 | 0.050 % | 357.39/357.59 c | 7490 | 1995 1320 34803 | 11789 7490 301 | 0.050 % | 360.69/360.89 c | 11336 | 1995 1320 34803 | 12968 11336 320 | 0.050 % | 366.09/366.25 c | 17105 | 1995 1320 34803 | 14265 10459 359 | 0.050 % | 371.69/371.85 c | 25754 | 1995 1320 34803 | 15692 11753 330 | 0.050 % | 381.27/381.44 c | 38730 | 1995 1320 34803 | 17261 8576 291 | 0.050 % | 397.36/397.58 c | 58191 | 1995 1320 34803 | 18987 10345 264 | 0.050 % | 417.17/417.37 c | 87383 | 1995 1320 34803 | 20886 10180 220 | 0.050 % | 469.75/469.94 c | 131172 | 1995 1320 34803 | 22974 11502 429 | 0.050 % | 555.81/556.03 c | 196856 | 1995 1320 34803 | 25272 18453 385 | 0.050 % | 646.89/647.15 c | 295385 | 1995 1320 34803 | 27799 24125 272 | 0.050 % | 819.73/820.05 c | 443174 | 1995 1320 34803 | 30579 18971 399 | 0.050 % | 1091.95/1092.34 c | 664857 | 1995 1320 34803 | 33637 16163 357 | 0.050 % |
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-2680768-1277453507/watcher-2680768-1277453507 -o /tmp/evaluation-result-2680768-1277453507/solver-2680768-1277453507 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680768-1277453507.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.07 0.99 0.82 3/106 27852 /proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=2812 CPUtime=0 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 270 0 0 0 0 0 0 0 19 0 1 0 86643249 2879488 189 1992294400 134512640 135752675 4291653728 18446744073709551615 134573784 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 703 189 138 303 0 338 0 [startup+0.0686011 s] /proc/loadavg: 1.07 0.99 0.82 3/106 27852 /proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=2836 CPUtime=0.06 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 421 0 0 0 6 0 0 0 20 0 1 0 86643249 2904064 280 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 709 280 145 303 0 404 0 Current children cumulated CPU time (s) 0.06 Current children cumulated vsize (KiB) 2836 [startup+0.100605 s] /proc/loadavg: 1.07 0.99 0.82 3/106 27852 /proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=2968 CPUtime=0.09 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 452 0 0 0 9 0 0 0 20 0 1 0 86643249 3039232 311 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 742 311 145 303 0 437 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 2968 [startup+0.300627 s] /proc/loadavg: 1.07 0.99 0.82 3/106 27852 /proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=3892 CPUtime=0.29 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 671 0 0 0 29 0 0 0 20 0 1 0 86643249 3985408 530 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 973 530 145 303 0 668 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 3892 [startup+0.70067 s] /proc/loadavg: 1.07 0.99 0.82 3/106 27852 /proc/meminfo: memFree=1847524/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=5072 CPUtime=0.68 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 971 0 0 0 67 1 0 0 20 0 1 0 86643249 5193728 830 1992294400 134512640 135752675 4291653728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 1268 835 145 303 0 963 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 5072 [startup+1.50076 s] /proc/loadavg: 1.07 0.99 0.82 2/107 27853 /proc/meminfo: memFree=1843920/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=7312 CPUtime=1.49 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 1539 0 0 0 146 3 0 0 23 0 1 0 86643249 7487488 1398 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 1828 1398 145 303 0 1523 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 7312 [startup+3.10093 s] /proc/loadavg: 1.06 0.99 0.82 2/107 27853 /proc/meminfo: memFree=1840448/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=11384 CPUtime=3.08 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 2538 0 0 0 302 6 0 0 25 0 1 0 86643249 11657216 2397 1992294400 134512640 135752675 4291653728 18446744073709551615 134605041 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 2846 2397 145 303 0 2541 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 11384 [startup+6.30128 s] /proc/loadavg: 1.06 0.99 0.82 2/107 27853 /proc/meminfo: memFree=1831644/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=20472 CPUtime=6.29 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 4808 0 0 0 616 13 0 0 25 0 1 0 86643249 20963328 4667 1992294400 134512640 135752675 4291653728 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 5118 4667 145 303 0 4813 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 20472 [startup+12.701 s] /proc/loadavg: 1.05 0.99 0.82 2/107 27853 /proc/meminfo: memFree=1815648/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=35388 CPUtime=12.68 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 8550 0 0 0 1244 24 0 0 25 0 1 0 86643249 36237312 8409 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 8847 8409 145 303 0 8542 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 35388 [startup+25.5004 s] /proc/loadavg: 1.04 0.99 0.83 2/107 27855 /proc/meminfo: memFree=1789484/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=60840 CPUtime=25.48 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 14919 0 0 0 2502 46 0 0 25 0 1 0 86643249 62300160 14778 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 15210 14778 145 303 0 14905 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 60840 [startup+51.1002 s] /proc/loadavg: 1.03 0.99 0.83 2/107 27855 /proc/meminfo: memFree=1750052/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=100324 CPUtime=51.07 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 24774 0 0 0 5023 84 0 0 25 0 1 0 86643249 102731776 24633 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 25081 24633 145 303 0 24776 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 100324 [startup+102.309 s] /proc/loadavg: 1.01 0.99 0.83 2/107 27857 /proc/meminfo: memFree=1663872/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=185628 CPUtime=102.27 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 46081 0 0 0 10072 155 0 0 25 0 1 0 86643249 190083072 45940 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 46407 45940 145 303 0 46102 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 185628 [startup+162.3 s] /proc/loadavg: 1.00 0.99 0.84 2/107 27857 /proc/meminfo: memFree=1575956/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=274684 CPUtime=162.24 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 68311 0 0 0 15979 245 0 0 25 0 1 0 86643249 281276416 68170 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 68671 68170 145 303 0 68366 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 274684 [startup+222.301 s] /proc/loadavg: 1.00 0.99 0.85 2/107 27859 /proc/meminfo: memFree=1523504/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=325840 CPUtime=222.22 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 81206 0 0 0 21905 317 0 0 25 0 1 0 86643249 333660160 81031 1992294400 134512640 135752675 4291653728 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 81460 81031 146 303 0 81155 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 325840 [startup+282.301 s] /proc/loadavg: 1.00 0.99 0.85 2/107 27861 /proc/meminfo: memFree=1453816/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=395960 CPUtime=282.21 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 98688 0 0 0 27851 370 0 0 25 0 1 0 86643249 405463040 98513 1992294400 134512640 135752675 4291653728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 98990 98513 146 303 0 98685 0 Current children cumulated CPU time (s) 282.21 Current children cumulated vsize (KiB) 395960 [startup+342.3 s] /proc/loadavg: 1.00 0.99 0.86 2/107 27863 /proc/meminfo: memFree=1379548/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=469512 CPUtime=342.18 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 117064 0 0 0 33796 422 0 0 25 0 1 0 86643249 480780288 116889 1992294400 134512640 135752675 4291653728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 117378 116889 146 303 0 117073 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 469512 [startup+402.301 s] /proc/loadavg: 1.00 0.99 0.86 2/107 27865 /proc/meminfo: memFree=1328212/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=521596 CPUtime=402.17 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 130127 0 0 0 39746 471 0 0 25 0 1 0 86643249 534114304 129952 1992294400 134512640 135752675 4291653728 18446744073709551615 134518477 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 130399 129952 146 303 0 130094 0 Current children cumulated CPU time (s) 402.17 Current children cumulated vsize (KiB) 521596 [startup+462.3 s] /proc/loadavg: 1.00 0.99 0.87 2/107 27865 /proc/meminfo: memFree=1240420/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=608320 CPUtime=462.15 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 151794 0 0 0 45691 524 0 0 25 0 1 0 86643249 622919680 151619 1992294400 134512640 135752675 4291653728 18446744073709551615 134611756 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 152080 151619 146 303 0 151775 0 Current children cumulated CPU time (s) 462.15 Current children cumulated vsize (KiB) 608320 [startup+522.301 s] /proc/loadavg: 1.00 0.99 0.87 2/107 27867 /proc/meminfo: memFree=1174452/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=674736 CPUtime=522.13 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 168394 0 0 0 51652 561 0 0 25 0 1 0 86643249 690929664 168219 1992294400 134512640 135752675 4291653728 18446744073709551615 134638063 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 168684 168219 146 303 0 168379 0 Current children cumulated CPU time (s) 522.13 Current children cumulated vsize (KiB) 674736 [startup+582.3 s] /proc/loadavg: 1.00 0.99 0.88 2/107 27869 /proc/meminfo: memFree=1090876/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=757636 CPUtime=582.11 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 189108 0 0 0 57604 607 0 0 25 0 1 0 86643249 775819264 188933 1992294400 134512640 135752675 4291653728 18446744073709551615 134611778 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 189409 188933 146 303 0 189104 0 Current children cumulated CPU time (s) 582.11 Current children cumulated vsize (KiB) 757636 [startup+642.301 s] /proc/loadavg: 1.00 0.99 0.89 2/107 27871 /proc/meminfo: memFree=999488/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=848360 CPUtime=642.1 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 211762 0 0 0 63554 656 0 0 25 0 1 0 86643249 868720640 211587 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 212090 211587 146 303 0 211785 0 Current children cumulated CPU time (s) 642.1 Current children cumulated vsize (KiB) 848360 [startup+702.301 s] /proc/loadavg: 1.00 0.99 0.89 2/107 27873 /proc/meminfo: memFree=911820/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=936236 CPUtime=702.07 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 233729 0 0 0 69501 706 0 0 25 0 1 0 86643249 958705664 233554 1992294400 134512640 135752675 4291653728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 234059 233554 146 303 0 233754 0 Current children cumulated CPU time (s) 702.07 Current children cumulated vsize (KiB) 936236 [startup+762.308 s] /proc/loadavg: 1.08 1.00 0.90 2/107 27873 /proc/meminfo: memFree=838784/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1009120 CPUtime=762.05 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 251906 0 0 0 75459 746 0 0 25 0 1 0 86643249 1033338880 251731 1992294400 134512640 135752675 4291653728 18446744073709551615 134518464 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 252280 251731 146 303 0 251975 0 Current children cumulated CPU time (s) 762.05 Current children cumulated vsize (KiB) 1009120 [startup+822.301 s] /proc/loadavg: 1.03 1.00 0.91 2/107 27875 /proc/meminfo: memFree=751984/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1096452 CPUtime=822.03 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 273737 0 0 0 81409 794 0 0 25 0 1 0 86643249 1122766848 273562 1992294400 134512640 135752675 4291653728 18446744073709551615 134611769 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 274113 273562 146 303 0 273808 0 Current children cumulated CPU time (s) 822.03 Current children cumulated vsize (KiB) 1096452 [startup+882.3 s] /proc/loadavg: 1.12 1.03 0.92 2/107 27877 /proc/meminfo: memFree=680932/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1166648 CPUtime=882.01 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 291256 0 0 0 87369 832 0 0 25 0 1 0 86643249 1194647552 291081 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 291662 291081 146 303 0 291357 0 Current children cumulated CPU time (s) 882.01 Current children cumulated vsize (KiB) 1166648 [startup+942.301 s] /proc/loadavg: 1.10 1.04 0.93 2/107 27879 /proc/meminfo: memFree=613724/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1234316 CPUtime=941.99 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 308186 0 0 0 93335 864 0 0 25 0 1 0 86643249 1263939584 308011 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 308579 308011 146 303 0 308274 0 Current children cumulated CPU time (s) 941.99 Current children cumulated vsize (KiB) 1234316 [startup+1002.3 s] /proc/loadavg: 1.08 1.04 0.93 2/107 27881 /proc/meminfo: memFree=537092/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1310080 CPUtime=1001.96 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 327092 0 0 0 99290 906 0 0 25 0 1 0 86643249 1341521920 326917 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 327520 326917 146 303 0 327215 0 Current children cumulated CPU time (s) 1001.96 Current children cumulated vsize (KiB) 1310080 [startup+1062.3 s] /proc/loadavg: 1.07 1.05 0.94 2/107 27881 /proc/meminfo: memFree=454632/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1393168 CPUtime=1061.95 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 347857 0 0 0 105244 951 0 0 25 0 1 0 86643249 1426604032 347682 1992294400 134512640 135752675 4291653728 18446744073709551615 134638149 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 348292 347682 146 303 0 347987 0 Current children cumulated CPU time (s) 1061.95 Current children cumulated vsize (KiB) 1393168 [startup+1122.3 s] /proc/loadavg: 1.07 1.05 0.94 2/107 27883 /proc/meminfo: memFree=375148/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1471968 CPUtime=1121.93 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 367551 0 0 0 111204 989 0 0 25 0 1 0 86643249 1507295232 367376 1992294400 134512640 135752675 4291653728 18446744073709551615 134611798 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 367992 367376 146 303 0 367687 0 Current children cumulated CPU time (s) 1121.93 Current children cumulated vsize (KiB) 1471968 [startup+1182.3 s] /proc/loadavg: 1.06 1.05 0.95 2/107 27885 /proc/meminfo: memFree=316992/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1531172 CPUtime=1181.92 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 382366 0 0 0 117169 1023 0 0 25 0 1 0 86643249 1567920128 382191 1992294400 134512640 135752675 4291653728 18446744073709551615 134516977 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 382793 382191 146 303 0 382488 0 Current children cumulated CPU time (s) 1181.92 Current children cumulated vsize (KiB) 1531172 [startup+1242.3 s] /proc/loadavg: 1.12 1.07 0.96 2/107 27890 /proc/meminfo: memFree=195628/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1608196 CPUtime=1241.89 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 401590 0 0 0 123126 1063 0 0 25 0 1 0 86643249 1646792704 401415 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 402049 401415 146 303 0 401744 0 Current children cumulated CPU time (s) 1241.89 Current children cumulated vsize (KiB) 1608196 [startup+1302.3 s] /proc/loadavg: 1.15 1.09 0.97 2/107 27892 /proc/meminfo: memFree=123088/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1680252 CPUtime=1301.89 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 419593 0 0 0 129092 1097 0 0 25 0 1 0 86643249 1720578048 419418 1992294400 134512640 135752675 4291653728 18446744073709551615 134611601 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 420063 419418 146 303 0 419758 0 Current children cumulated CPU time (s) 1301.89 Current children cumulated vsize (KiB) 1680252 [startup+1362.3 s] /proc/loadavg: 1.13 1.09 0.97 2/107 27892 /proc/meminfo: memFree=58980/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1744616 CPUtime=1361.86 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 435690 0 0 0 135063 1123 0 0 25 0 1 0 86643249 1786486784 435515 1992294400 134512640 135752675 4291653728 18446744073709551615 134517408 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 436154 435515 146 303 0 435849 0 Current children cumulated CPU time (s) 1361.86 Current children cumulated vsize (KiB) 1744616 [startup+1422.31 s] /proc/loadavg: 1.11 1.08 0.98 2/107 27894 /proc/meminfo: memFree=9952/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1805928 CPUtime=1421.85 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 450994 0 0 0 141032 1153 0 0 25 0 1 0 86643249 1849270272 450819 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 451482 450819 146 303 0 451177 0 Current children cumulated CPU time (s) 1421.85 Current children cumulated vsize (KiB) 1805928 Maximum VSize exceeded: sending SIGTERM then SIGKILL [startup+1452.01 s] /proc/loadavg: 1.07 1.08 0.98 3/107 27896 /proc/meminfo: memFree=10592/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=1843420 CPUtime=1451.55 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4202496 460362 0 0 0 143982 1173 0 0 25 0 1 0 86643249 1887662080 460187 1992294400 134512640 135752675 4291653728 18446744073709551615 135271249 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/27852/statm: 460855 460188 146 303 0 460550 0 Current children cumulated CPU time (s) 1451.55 Current children cumulated vsize (KiB) 1843420 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1452.11 s] /proc/loadavg: 1.07 1.08 0.98 3/107 27896 /proc/meminfo: memFree=10592/2059040 swapFree=4140344/4192956 [pid=27852] ppid=27850 vsize=0 CPUtime=1451.65 /proc/27852/stat : 27852 (wbo1.4b) R 27850 27852 27742 0 -1 4203524 460363 0 0 0 143982 1183 0 0 25 0 1 0 86643249 0 0 1992294400 0 0 0 0 0 0 0 4096 3 18446744073709551615 0 0 17 1 0 0 0 /proc/27852/statm: 0 0 0 0 0 0 0 Current children cumulated CPU time (s) 1451.65 Current children cumulated vsize (KiB) 0 Child ended because it received signal 15 (SIGTERM) Real time (s): 1452.19 CPU time (s): 1451.74 CPU user time (s): 1439.82 CPU system time (s): 11.9152 CPU usage (%): 99.9685 Max. virtual memory (cumulated for all children) (KiB): 1843420 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1439.82 system time used= 11.9152 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 460363 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= 9 involuntary context switches= 8841 runsolver used 2.42063 second user time and 6.85496 second system time The end
Begin job on node042 at 2010-06-25 10:11:48 IDJOB=2680768 IDBENCH=2046 IDSOLVER=1190 FILE ID=node042/2680768-1277453507 PBS_JOBID= 11188125 Free space on /tmp= 62252 MiB SOLVER NAME= wbo 1.4b (fixed) BENCH NAME= PB06//final/normalized-PB06/OPT-SMALLINT/submitted-PB05/manquinho/logic-synthesis/normalized-5xp1.b.opb COMMAND LINE= wbo1.4b -file-format=opb -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2680768-1277453507/watcher-2680768-1277453507 -o /tmp/evaluation-result-2680768-1277453507/solver-2680768-1277453507 -C 1800 -W 2000 -M 1800 wbo1.4b -file-format=opb -time-limit=1800 HOME/instance-2680768-1277453507.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= b3e6d54e40b24334877b0ae377edea30 RANDOM SEED=623027128 node042.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.213 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.42 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.213 cache size : 2048 KB 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.45 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2059040 kB MemFree: 1848652 kB Buffers: 27224 kB Cached: 79272 kB SwapCached: 5356 kB Active: 20760 kB Inactive: 98780 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2059040 kB LowFree: 1848652 kB SwapTotal: 4192956 kB SwapFree: 4140344 kB Dirty: 2860 kB Writeback: 0 kB AnonPages: 11572 kB Mapped: 12020 kB Slab: 68848 kB PageTables: 4124 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 5222476 kB Committed_AS: 184220 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= 62248 MiB End job on node042 at 2010-06-25 10:36:02