Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 111.822 | 111.819 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo |
MD5SUM | 22035c0edc81ff585516ffff2425def6 |
Bench Category | PARTIAL-SMALLINT-LIN (both soft and hard constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 10 |
Best CPU time to get the best result obtained on this benchmark | 0.477927 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 169 |
Total number of constraints | 101 |
Number of soft constraints | 69 |
Number of constraints which are clauses | 30 |
Number of constraints which are cardinality constraints (but not clauses) | 70 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 169 |
Top cost | 3204 |
Min constraint cost | 1 |
Max constraint cost | 97 |
Sum of constraints costs | 3203 |
Biggest number in a constraint | 38 |
Number of bits of the biggest number in a constraint | 6 |
Biggest sum of numbers in a constraint | 1225 |
Number of bits of the biggest sum of numbers | 11 |
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 - 20100517 0.00/0.00 c Parsing wbo file format. File HOME/instance-2689838-1277896320.wbo. 0.00/0.00 c Instance file HOME/instance-2689838-1277896320.wbo 0.00/0.00 c File size is 10304 bytes. 0.00/0.00 c Highest Coefficient sum: 1225 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: 169 | 0.00/0.00 c | Number Clauses: 30 | 0.00/0.00 c | Number Cardinality: 70 | 0.00/0.00 c | Number PB Constraints: 1 | 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 | 169 101 1205 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 103 | 169 101 1205 | 5500 103 32 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 35 | 0.004 % | 0.00/0.01 c | 479 | 169 101 1205 | 6655 479 36 | 0.004 % | 0.00/0.02 c | 817 | 169 101 1205 | 7320 817 35 | 0.004 % | 0.00/0.03 c | 1323 | 169 101 1205 | 8052 1323 38 | 0.004 % | 0.00/0.05 c | 2082 | 169 101 1205 | 8857 2082 40 | 0.004 % | 0.05/0.09 c | 3223 | 169 101 1205 | 9743 3223 39 | 0.004 % | 0.09/0.16 c | 4932 | 169 101 1205 | 10717 4932 39 | 0.004 % | 0.19/0.29 c | 7494 | 169 101 1205 | 11789 7494 40 | 0.004 % | 0.39/0.49 c | 11338 | 169 101 1205 | 12968 11338 42 | 0.004 % | 0.79/0.87 c | 17104 | 169 101 1205 | 14265 10566 48 | 0.004 % | 1.39/1.43 c | 25755 | 169 101 1205 | 15692 12026 47 | 0.004 % | 2.39/2.42 c | 38729 | 169 101 1205 | 17261 9217 47 | 0.004 % | 4.00/4.04 c | 58190 | 169 101 1205 | 18987 11329 51 | 0.004 % | 6.09/6.11 c =============================================================================== 6.39/6.49 c core #1 6.39/6.49 c ============================[ Search Statistics ]============================== 6.39/6.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.39/6.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.39/6.49 c =============================================================================== 6.39/6.49 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 6.50/6.50 c | 100 | 236 169 2203 | 5500 100 29 | 0.002 % | 6.50/6.51 c | 253 | 236 169 2203 | 6050 253 32 | 0.002 % | 6.50/6.51 c | 479 | 236 169 2203 | 6655 479 32 | 0.002 % | 6.50/6.52 c | 818 | 236 169 2203 | 7320 818 32 | 0.002 % | 6.50/6.54 c | 1324 | 236 169 2203 | 8052 1324 34 | 0.002 % | 6.50/6.56 c | 2083 | 236 169 2203 | 8857 2083 37 | 0.002 % | 6.50/6.60 c | 3223 | 236 169 2203 | 9743 3223 38 | 0.002 % | 6.59/6.68 c | 4931 | 236 169 2203 | 10717 4931 38 | 0.002 % | 6.79/6.81 c | 7493 | 236 169 2203 | 11789 7493 37 | 0.002 % | 6.99/7.04 c | 11338 | 236 169 2203 | 12968 11338 38 | 0.002 % | 7.39/7.41 c | 17107 | 236 169 2203 | 14265 10569 41 | 0.002 % | 7.89/7.97 c | 25756 | 236 169 2203 | 15692 12031 44 | 0.002 % | 8.99/9.05 c | 38730 | 236 169 2203 | 17261 9215 49 | 0.002 % | 10.69/10.70 c | 58194 | 236 169 2203 | 18987 11300 49 | 0.002 % | 12.80/12.88 c =============================================================================== 13.20/13.29 c core #2 13.20/13.29 c ============================[ Search Statistics ]============================== 13.20/13.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 13.20/13.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 13.20/13.29 c =============================================================================== 13.20/13.29 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 13.29/13.30 c | 102 | 302 235 3176 | 5500 102 39 | 0.001 % | 13.29/13.30 c | 253 | 302 235 3176 | 6050 253 41 | 0.001 % | 13.29/13.31 c | 478 | 302 235 3176 | 6655 478 36 | 0.001 % | 13.29/13.32 c | 816 | 302 235 3176 | 7320 816 35 | 0.001 % | 13.29/13.34 c | 1323 | 302 235 3176 | 8052 1323 34 | 0.001 % | 13.29/13.36 c | 2082 | 302 235 3176 | 8857 2082 38 | 0.001 % | 13.39/13.41 c | 3221 | 302 235 3176 | 9743 3221 39 | 0.001 % | 13.39/13.48 c | 4930 | 302 235 3176 | 10717 4930 39 | 0.001 % | 13.59/13.61 c | 7492 | 302 235 3176 | 11789 7492 40 | 0.001 % | 13.79/13.82 c | 11337 | 302 235 3176 | 12968 11337 39 | 0.001 % | 14.19/14.21 c | 17104 | 302 235 3176 | 14265 10579 44 | 0.001 % | 14.79/14.87 c | 25754 | 302 235 3176 | 15692 12044 50 | 0.001 % | 15.99/16.05 c | 38728 | 302 235 3176 | 17261 9233 48 | 0.001 % | 17.70/17.75 c | 58191 | 302 235 3176 | 18987 11332 49 | 0.001 % | 20.29/20.39 c | 87387 | 302 235 3176 | 20886 11890 50 | 0.001 % | 23.39/23.46 c =============================================================================== 24.09/24.10 c core #3 24.09/24.10 c ============================[ Search Statistics ]============================== 24.09/24.10 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.09/24.10 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.09/24.10 c =============================================================================== 24.09/24.10 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 24.09/24.11 c | 100 | 371 301 4155 | 5500 100 33 | 0.001 % | 24.09/24.12 c | 252 | 371 301 4155 | 6050 252 38 | 0.001 % | 24.09/24.13 c | 477 | 371 301 4155 | 6655 477 34 | 0.001 % | 24.09/24.14 c | 817 | 371 301 4155 | 7320 817 34 | 0.001 % | 24.09/24.15 c | 1324 | 371 301 4155 | 8052 1324 34 | 0.001 % | 24.09/24.18 c | 2083 | 371 301 4155 | 8857 2083 33 | 0.001 % | 24.19/24.22 c | 3222 | 371 301 4155 | 9743 3222 34 | 0.001 % | 24.19/24.29 c | 4930 | 371 301 4155 | 10717 4930 35 | 0.001 % | 24.39/24.42 c | 7492 | 371 301 4155 | 11789 7492 37 | 0.001 % | 24.59/24.64 c | 11337 | 371 301 4155 | 12968 11337 40 | 0.001 % | 24.89/24.99 c | 17103 | 371 301 4155 | 14265 10569 43 | 0.001 % | 25.59/25.60 c | 25752 | 371 301 4155 | 15692 12030 45 | 0.001 % | 26.59/26.63 c | 38726 | 371 301 4155 | 17261 9224 46 | 0.001 % | 28.29/28.30 c | 58190 | 371 301 4155 | 18987 11315 47 | 0.001 % | 30.59/30.67 c | 87383 | 371 301 4155 | 20886 11882 49 | 0.001 % | 32.39/32.40 c =============================================================================== 32.90/32.94 c core #4 32.90/32.94 c ============================[ Search Statistics ]============================== 32.90/32.94 c | Conflicts | ORIGINAL | LEARNT | Progress | 32.90/32.94 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 32.90/32.94 c =============================================================================== 32.90/32.94 c | 0 | 439 366 5127 | 5000 0 nan | 0.000 % | 32.90/32.95 c | 101 | 439 366 5127 | 5500 101 31 | 0.001 % | 32.90/32.96 c | 252 | 439 366 5127 | 6050 252 31 | 0.001 % | 32.90/32.97 c | 479 | 439 366 5127 | 6655 479 31 | 0.001 % | 32.90/32.98 c | 817 | 439 366 5127 | 7320 817 31 | 0.001 % | 32.90/32.99 c | 1324 | 439 366 5127 | 8052 1324 33 | 0.001 % | 33.00/33.02 c | 2085 | 439 366 5127 | 8857 2085 34 | 0.001 % | 33.00/33.07 c | 3226 | 439 366 5127 | 9743 3226 35 | 0.001 % | 33.09/33.14 c | 4936 | 439 366 5127 | 10717 4936 35 | 0.001 % | 33.20/33.28 c | 7499 | 439 366 5127 | 11789 7499 36 | 0.001 % | 33.49/33.51 c | 11343 | 439 366 5127 | 12968 11343 36 | 0.001 % | 33.79/33.89 c | 17110 | 439 366 5127 | 14265 10574 40 | 0.001 % | 34.59/34.63 c | 25765 | 439 366 5127 | 15692 12046 46 | 0.001 % | 35.59/35.69 c | 38742 | 439 366 5127 | 17261 9238 52 | 0.001 % | 37.29/37.40 c | 58205 | 439 366 5127 | 18987 11346 48 | 0.001 % | 40.19/40.20 c | 87401 | 439 366 5127 | 20886 11889 50 | 0.001 % | 43.09/43.16 c =============================================================================== 43.70/43.79 c core #5 43.70/43.79 c ============================[ Search Statistics ]============================== 43.70/43.79 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.70/43.79 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.70/43.79 c =============================================================================== 43.70/43.79 c | 0 | 507 430 6086 | 5000 0 nan | 0.000 % | 43.80/43.80 c | 100 | 507 430 6086 | 5500 100 38 | 0.000 % | 43.80/43.81 c | 251 | 507 430 6086 | 6050 251 41 | 0.000 % | 43.80/43.82 c | 476 | 507 430 6086 | 6655 476 39 | 0.000 % | 43.80/43.83 c | 813 | 507 430 6086 | 7320 813 37 | 0.000 % | 43.80/43.85 c | 1321 | 507 430 6086 | 8052 1321 36 | 0.000 % | 43.80/43.88 c | 2080 | 507 430 6086 | 8857 2080 38 | 0.000 % | 43.90/43.93 c | 3224 | 507 430 6086 | 9743 3224 39 | 0.000 % | 44.00/44.01 c | 4933 | 507 430 6086 | 10717 4933 39 | 0.000 % | 44.09/44.17 c | 7497 | 507 430 6086 | 11789 7497 41 | 0.000 % | 44.39/44.45 c | 11341 | 507 430 6086 | 12968 11341 42 | 0.000 % | 44.89/44.90 c | 17107 | 507 430 6086 | 14265 10566 44 | 0.000 % | 45.49/45.56 c | 25760 | 507 430 6086 | 15692 12031 48 | 0.000 % | 46.59/46.65 c | 38737 | 507 430 6086 | 17261 9200 49 | 0.000 % | 48.30/48.32 c | 58201 | 507 430 6086 | 18987 11314 50 | 0.000 % | 51.09/51.11 c | 87394 | 507 430 6086 | 20886 11877 52 | 0.000 % | 55.20/55.24 c | 131183 | 470 430 6086 | 22974 1862 38 | 7.298 % | 55.39/55.43 c =============================================================================== 56.10/56.15 c core #6 56.10/56.15 c ============================[ Search Statistics ]============================== 56.10/56.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 56.10/56.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 56.10/56.15 c =============================================================================== 56.10/56.15 c | 0 | 579 493 7040 | 5000 0 nan | 0.000 % | 56.10/56.16 c | 100 | 579 493 7040 | 5500 100 34 | 0.000 % | 56.10/56.17 c | 250 | 579 493 7040 | 6050 250 35 | 0.000 % | 56.10/56.18 c | 475 | 579 493 7040 | 6655 475 36 | 0.000 % | 56.10/56.19 c | 812 | 579 493 7040 | 7320 812 35 | 0.000 % | 56.19/56.21 c | 1318 | 579 493 7040 | 8052 1318 35 | 0.000 % | 56.19/56.23 c | 2077 | 579 493 7040 | 8857 2077 38 | 0.000 % | 56.19/56.28 c | 3217 | 579 493 7040 | 9743 3217 39 | 0.000 % | 56.29/56.37 c | 4928 | 579 493 7040 | 10717 4928 38 | 0.000 % | 56.49/56.50 c | 7493 | 579 493 7040 | 11789 7493 38 | 0.000 % | 56.69/56.75 c | 11339 | 579 493 7040 | 12968 11339 40 | 0.000 % | 57.10/57.16 c | 17107 | 579 493 7040 | 14265 10556 42 | 0.000 % | 57.79/57.80 c | 25757 | 579 493 7040 | 15692 12026 44 | 0.000 % | 58.89/58.96 c | 38731 | 579 493 7040 | 17261 9189 47 | 0.000 % | 60.59/60.66 c | 58193 | 579 493 7040 | 18987 11288 45 | 0.000 % | 63.19/63.28 c | 87385 | 579 493 7040 | 20886 11831 50 | 0.000 % | 65.09/65.11 c =============================================================================== 65.59/65.64 c core #7 65.59/65.64 c ============================[ Search Statistics ]============================== 65.59/65.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 65.59/65.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 65.59/65.64 c =============================================================================== 65.59/65.64 c | 0 | 658 556 8008 | 5000 0 nan | 0.000 % | 65.59/65.66 c | 100 | 658 556 8008 | 5500 100 36 | 0.000 % | 65.59/65.66 c | 250 | 658 556 8008 | 6050 250 42 | 0.000 % | 65.59/65.67 c | 475 | 658 556 8008 | 6655 475 41 | 0.000 % | 65.59/65.69 c | 813 | 658 556 8008 | 7320 813 38 | 0.000 % | 65.69/65.70 c | 1320 | 658 556 8008 | 8052 1320 38 | 0.000 % | 65.69/65.73 c | 2080 | 658 556 8008 | 8857 2080 37 | 0.000 % | 65.69/65.78 c | 3220 | 658 556 8008 | 9743 3220 37 | 0.000 % | 65.80/65.86 c | 4929 | 658 556 8008 | 10717 4929 36 | 0.000 % | 65.99/66.00 c | 7491 | 658 556 8008 | 11789 7491 37 | 0.000 % | 66.19/66.26 c | 11335 | 658 556 8008 | 12968 11335 38 | 0.000 % | 66.59/66.68 c | 17101 | 658 556 8008 | 14265 10557 41 | 0.000 % | 67.29/67.36 c | 25751 | 658 556 8008 | 15692 12011 44 | 0.000 % | 68.49/68.56 c | 38726 | 658 556 8008 | 17261 9178 45 | 0.000 % | 70.19/70.25 c | 58188 | 658 556 8008 | 18987 11257 51 | 0.000 % | 72.80/72.82 c | 87384 | 658 556 8008 | 20886 11830 47 | 0.000 % | 76.49/76.59 c | 131174 | 617 556 8008 | 22974 5376 45 | 6.231 % | 76.79/76.83 c =============================================================================== 77.49/77.55 c core #8 77.49/77.55 c ============================[ Search Statistics ]============================== 77.49/77.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 77.49/77.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 77.49/77.55 c =============================================================================== 77.49/77.55 c | 0 | 728 617 8943 | 5000 0 nan | 0.000 % | 77.49/77.57 c | 104 | 728 617 8943 | 5500 104 31 | 0.000 % | 77.49/77.57 c | 254 | 728 617 8943 | 6050 254 31 | 0.000 % | 77.49/77.58 c | 481 | 728 617 8943 | 6655 481 32 | 0.000 % | 77.49/77.59 c | 822 | 728 617 8943 | 7320 822 31 | 0.000 % | 77.60/77.61 c | 1330 | 728 617 8943 | 8052 1330 35 | 0.000 % | 77.60/77.64 c | 2089 | 728 617 8943 | 8857 2089 35 | 0.000 % | 77.60/77.69 c | 3229 | 728 617 8943 | 9743 3229 35 | 0.000 % | 77.69/77.78 c | 4938 | 728 617 8943 | 10717 4938 35 | 0.000 % | 77.89/77.92 c | 7502 | 728 617 8943 | 11789 7502 35 | 0.000 % | 78.10/78.17 c | 11348 | 728 617 8943 | 12968 11348 37 | 0.000 % | 78.50/78.58 c | 17117 | 728 617 8943 | 14265 10586 40 | 0.000 % | 79.20/79.29 c | 25767 | 728 617 8943 | 15692 12050 43 | 0.000 % | 80.39/80.46 c | 38745 | 728 617 8943 | 17261 9230 47 | 0.000 % | 82.19/82.25 c | 58210 | 728 617 8943 | 18987 11334 48 | 0.000 % | 84.89/84.94 c | 87405 | 728 617 8943 | 20886 11872 47 | 0.000 % | 88.79/88.88 c | 131195 | 691 617 8943 | 22974 999 35 | 5.083 % | 89.09/89.10 c =============================================================================== 89.69/89.78 c core #9 89.69/89.78 c ============================[ Search Statistics ]============================== 89.69/89.78 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.69/89.78 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.69/89.78 c =============================================================================== 89.69/89.78 c | 0 | 821 678 9924 | 5000 0 nan | 0.000 % | 89.79/89.80 c | 100 | 821 678 9924 | 5500 100 31 | 0.000 % | 89.79/89.81 c | 252 | 821 678 9924 | 6050 252 30 | 0.000 % | 89.79/89.82 c | 477 | 821 678 9924 | 6655 477 36 | 0.000 % | 89.79/89.83 c | 814 | 821 678 9924 | 7320 814 35 | 0.000 % | 89.79/89.85 c | 1320 | 821 678 9924 | 8052 1320 36 | 0.000 % | 89.79/89.89 c | 2082 | 821 678 9924 | 8857 2082 34 | 0.000 % | 89.89/89.94 c | 3222 | 821 678 9924 | 9743 3222 35 | 0.000 % | 89.99/90.03 c | 4931 | 821 678 9924 | 10717 4931 37 | 0.000 % | 90.20/90.21 c | 7494 | 821 678 9924 | 11789 7494 39 | 0.000 % | 90.39/90.49 c | 11339 | 821 678 9924 | 12968 11339 40 | 0.000 % | 90.89/90.95 c | 17110 | 821 678 9924 | 14265 10569 44 | 0.000 % | 91.59/91.64 c | 25763 | 821 678 9924 | 15692 12041 46 | 0.000 % | 92.79/92.81 c | 38738 | 821 678 9924 | 17261 9214 47 | 0.000 % | 94.50/94.53 c | 58200 | 821 678 9924 | 18987 11293 49 | 0.000 % | 96.99/97.03 c | 87393 | 821 678 9924 | 20886 11842 49 | 0.000 % | 100.19/100.22 c =============================================================================== 100.79/100.88 c core #10 100.79/100.88 c ============================[ Search Statistics ]============================== 100.79/100.88 c | Conflicts | ORIGINAL | LEARNT | Progress | 100.79/100.88 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 100.79/100.88 c =============================================================================== 100.79/100.88 c | 0 | 890 736 10825 | 5000 0 nan | 0.000 % | 100.89/100.90 c | 101 | 890 736 10825 | 5500 101 41 | 0.000 % | 100.89/100.91 c | 252 | 890 736 10825 | 6050 252 38 | 0.000 % | 100.89/100.92 c | 479 | 890 736 10825 | 6655 479 34 | 0.000 % | 100.89/100.93 c | 818 | 890 736 10825 | 7320 818 35 | 0.000 % | 100.89/100.96 c | 1324 | 890 736 10825 | 8052 1324 36 | 0.000 % | 100.89/100.99 c | 2084 | 890 736 10825 | 8857 2084 36 | 0.000 % | 101.00/101.06 c | 3224 | 890 736 10825 | 9743 3224 35 | 0.000 % | 101.10/101.16 c | 4932 | 890 736 10825 | 10717 4932 37 | 0.000 % | 101.29/101.31 c | 7494 | 890 736 10825 | 11789 7494 39 | 0.000 % | 101.50/101.59 c | 11340 | 890 736 10825 | 12968 11340 40 | 0.000 % | 101.99/102.03 c | 17106 | 890 736 10825 | 14265 10555 40 | 0.000 % | 102.69/102.73 c | 25758 | 890 736 10825 | 15692 12021 44 | 0.000 % | 103.79/103.81 c | 38736 | 890 736 10825 | 17261 9211 44 | 0.000 % | 105.40/105.46 c | 58197 | 890 736 10825 | 18987 11304 46 | 0.000 % | 108.29/108.31 c | 87389 | 890 736 10825 | 20886 11855 49 | 0.000 % | 111.79/111.80 c =============================================================================== 111.79/111.80 c #cores: 10 111.79/111.80 c Final Weight: 10 111.79/111.80 o 10 111.79/111.80 s OPTIMUM FOUND 111.79/111.80 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 -x46 -x47 x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 x64 -x65 -x66 x67 -x68 -x69 -x70 -x71 -x72 -x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 -x82 -x83 -x84 -x85 -x86 -x87 -x88 -x89 -x90 x91 x92 -x93 -x94 -x95 -x96 -x97 -x98 -x99 -x100 -x101 -x102 -x103 -x104 -x105 -x106 -x107 -x108 -x109 x110 -x111 -x112 -x113 -x114 -x115 -x116 -x117 -x118 -x119 -x120 x121 -x122 -x123 -x124 -x125 -x126 -x127 -x128 -x129 -x130 -x131 -x132 -x133 -x134 -x135 -x136 -x137 -x138 -x139 x140 -x141 -x142 -x143 -x144 -x145 -x146 -x147 -x148 -x149 x150 -x151 -x152 -x153 -x154 -x155 -x156 -x157 -x158 x159 -x160 -x161 -x162 -x163 -x164 -x165 -x166 -x167 -x168 -x169 111.79/111.80 c Total CPU time: 109.746 s
OK 10
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689838-1277896320/watcher-2689838-1277896320 -o /tmp/evaluation-result-2689838-1277896320/solver-2689838-1277896320 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689838-1277896320.wbo 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): 3891200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 3942400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22697 /proc/meminfo: memFree=27994104/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=2568 CPUtime=0 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 287 0 0 0 0 0 0 0 22 0 1 0 163271494 2629632 202 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 642 202 143 303 0 337 0 [startup+0.056656 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22697 /proc/meminfo: memFree=27994104/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=3228 CPUtime=0.05 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 443 0 0 0 5 0 0 0 22 0 1 0 163271494 3305472 358 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 807 358 143 303 0 502 0 Current children cumulated CPU time (s) 0.05 Current children cumulated vsize (KiB) 3228 [startup+0.10065 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22697 /proc/meminfo: memFree=27994104/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=3624 CPUtime=0.09 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 541 0 0 0 9 0 0 0 22 0 1 0 163271494 3710976 456 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 906 456 143 303 0 601 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3624 [startup+0.300626 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22697 /proc/meminfo: memFree=27994104/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=5076 CPUtime=0.29 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 903 0 0 0 28 1 0 0 22 0 1 0 163271494 5197824 818 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 1269 818 143 303 0 964 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5076 [startup+0.700555 s] /proc/loadavg: 1.97 1.98 1.99 3/178 22697 /proc/meminfo: memFree=27994104/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=7320 CPUtime=0.69 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 1484 0 0 0 67 2 0 0 24 0 1 0 163271494 7495680 1399 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 1830 1399 143 303 0 1525 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7320 [startup+1.50041 s] /proc/loadavg: 1.97 1.98 1.99 3/179 22698 /proc/meminfo: memFree=27986036/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=11676 CPUtime=1.49 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 2560 0 0 0 145 4 0 0 18 0 1 0 163271494 11956224 2475 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 2919 2475 143 303 0 2614 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 11676 [startup+3.10013 s] /proc/loadavg: 1.97 1.98 1.99 3/179 22698 /proc/meminfo: memFree=27978844/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=18808 CPUtime=3.09 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 4345 0 0 0 302 7 0 0 20 0 1 0 163271494 19259392 4260 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 4702 4260 143 303 0 4397 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18808 [startup+6.30058 s] /proc/loadavg: 1.97 1.98 1.99 3/179 22699 /proc/meminfo: memFree=27958456/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=34856 CPUtime=6.29 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 8362 0 0 0 616 13 0 0 25 0 1 0 163271494 35692544 8277 4089446400 134512640 135751879 4289004672 18446744073709551615 134618395 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 8714 8277 143 303 0 8409 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 34856 [startup+12.7004 s] /proc/loadavg: 1.97 1.98 1.99 3/179 22699 /proc/meminfo: memFree=27930532/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=49868 CPUtime=12.69 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 12113 0 0 0 1242 27 0 0 25 0 1 0 163271494 51064832 12028 4089446400 134512640 135751879 4289004672 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 12467 12028 146 303 0 12162 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49868 [startup+25.5002 s] /proc/loadavg: 1.98 1.98 1.99 3/179 22699 /proc/meminfo: memFree=27880892/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=85580 CPUtime=25.49 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 21056 0 0 0 2497 52 0 0 25 0 1 0 163271494 87633920 20971 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 21395 20971 146 303 0 21090 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 85580 [startup+51.1007 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22699 /proc/meminfo: memFree=27775036/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=146108 CPUtime=51.09 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 36165 0 0 0 5014 95 0 0 25 0 1 0 163271494 149614592 36080 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 36527 36080 146 303 0 36222 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 146108 [startup+102.307 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27544836/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=273972 CPUtime=102.3 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 68142 0 0 0 10041 189 0 0 25 0 1 0 163271494 280547328 68057 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 68493 68057 146 303 0 68188 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 273972 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27526228/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=283636 CPUtime=108.7 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 70544 0 0 0 10668 202 0 0 25 0 1 0 163271494 290443264 70459 4089446400 134512640 135751879 4289004672 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 70909 70459 146 303 0 70604 0 Current children cumulated CPU time (s) 108.7 Current children cumulated vsize (KiB) 283636 [startup+110.3 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27512836/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=289188 CPUtime=110.29 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 71952 0 0 0 10826 203 0 0 25 0 1 0 163271494 296128512 71867 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 72297 71867 146 303 0 71992 0 Current children cumulated CPU time (s) 110.29 Current children cumulated vsize (KiB) 289188 [startup+111.106 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27505520/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=292224 CPUtime=111.1 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 72693 0 0 0 10905 205 0 0 25 0 1 0 163271494 299237376 72608 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 73056 72608 146 303 0 72751 0 Current children cumulated CPU time (s) 111.1 Current children cumulated vsize (KiB) 292224 [startup+111.501 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27505520/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=293544 CPUtime=111.49 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 73044 0 0 0 10944 205 0 0 25 0 1 0 163271494 300589056 72959 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 73386 72959 146 303 0 73081 0 Current children cumulated CPU time (s) 111.49 Current children cumulated vsize (KiB) 293544 [startup+111.701 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27505520/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=294336 CPUtime=111.69 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 73221 0 0 0 10964 205 0 0 25 0 1 0 163271494 301400064 73136 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 73584 73136 146 303 0 73279 0 Current children cumulated CPU time (s) 111.69 Current children cumulated vsize (KiB) 294336 [startup+111.801 s] /proc/loadavg: 1.99 1.98 1.99 3/179 22701 /proc/meminfo: memFree=27505520/32951124 swapFree=67111528/67111528 [pid=22697] ppid=22695 vsize=294732 CPUtime=111.79 /proc/22697/stat : 22697 (wbo1.4a) R 22695 22697 21078 0 -1 4202496 73318 0 0 0 10973 206 0 0 25 0 1 0 163271494 301805568 73233 4089446400 134512640 135751879 4289004672 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/22697/statm: 73683 73233 146 303 0 73378 0 Current children cumulated CPU time (s) 111.79 Current children cumulated vsize (KiB) 294732 Child status: 0 Real time (s): 111.819 CPU time (s): 111.822 CPU user time (s): 109.746 CPU system time (s): 2.07568 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 294732 getrusage(RUSAGE_CHILDREN,...) data: user time used= 109.746 system time used= 2.07568 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 73330 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= 8 involuntary context switches= 80 runsolver used 0.157975 second user time and 0.362944 second system time The end
Begin job on node119 at 2010-06-30 13:12:00 IDJOB=2689838 IDBENCH=78780 IDSOLVER=1200 FILE ID=node119/2689838-1277896320 PBS_JOBID= 11197116 Free space on /tmp= 74208 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/normalized-t2001.13queen13.1111228076--soft-33-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689838-1277896320/watcher-2689838-1277896320 -o /tmp/evaluation-result-2689838-1277896320/solver-2689838-1277896320 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689838-1277896320.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 22035c0edc81ff585516ffff2425def6 RANDOM SEED=1931058382 node119.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 : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.60 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.802 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 27995004 kB Buffers: 179808 kB Cached: 952416 kB SwapCached: 0 kB Active: 4180276 kB Inactive: 627900 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 27995004 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2740 kB Writeback: 0 kB AnonPages: 3676004 kB Mapped: 15076 kB Slab: 77804 kB PageTables: 11704 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 3820456 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 74208 MiB End job on node119 at 2010-06-30 13:13:52