Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 79.7469 | 79.7454 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111226062--soft-33-100-0.wbo |
MD5SUM | 7e4768b7f873096cfc405759f746d055 |
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.543916 |
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 | 1231 |
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-2689929-1277898729.wbo. 0.00/0.00 c Instance file HOME/instance-2689929-1277898729.wbo 0.00/0.00 c File size is 10305 bytes. 0.00/0.00 c Highest Coefficient sum: 1231 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 | 100 | 169 101 1205 | 5500 100 24 | 0.004 % | 0.00/0.00 c | 253 | 169 101 1205 | 6050 253 32 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 33 | 0.004 % | 0.00/0.02 c | 816 | 169 101 1205 | 7320 816 34 | 0.004 % | 0.00/0.03 c | 1323 | 169 101 1205 | 8052 1323 34 | 0.004 % | 0.00/0.05 c | 2082 | 169 101 1205 | 8857 2082 33 | 0.004 % | 0.00/0.09 c | 3223 | 169 101 1205 | 9743 3223 33 | 0.004 % | 0.10/0.15 c | 4932 | 169 101 1205 | 10717 4932 34 | 0.004 % | 0.19/0.26 c | 7494 | 169 101 1205 | 11789 7494 36 | 0.004 % | 0.39/0.49 c | 11339 | 169 101 1205 | 12968 11339 38 | 0.004 % | 0.79/0.85 c | 17105 | 169 101 1205 | 14265 10583 43 | 0.004 % | 1.49/1.52 c | 25754 | 169 101 1205 | 15692 12046 44 | 0.004 % | 2.49/2.53 c | 38728 | 169 101 1205 | 17261 9221 46 | 0.004 % | 3.30/3.31 c =============================================================================== 3.49/3.51 c core #1 3.49/3.51 c ============================[ Search Statistics ]============================== 3.49/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.49/3.51 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 3.49/3.51 c =============================================================================== 3.49/3.51 c | 0 | 236 169 2203 | 5000 0 nan | 0.000 % | 3.49/3.51 c | 100 | 236 169 2203 | 5500 100 25 | 0.002 % | 3.49/3.52 c | 251 | 236 169 2203 | 6050 251 33 | 0.002 % | 3.49/3.52 c | 476 | 236 169 2203 | 6655 476 36 | 0.002 % | 3.49/3.53 c | 813 | 236 169 2203 | 7320 813 37 | 0.002 % | 3.49/3.55 c | 1320 | 236 169 2203 | 8052 1320 34 | 0.002 % | 3.49/3.57 c | 2080 | 236 169 2203 | 8857 2080 34 | 0.002 % | 3.59/3.61 c | 3220 | 236 169 2203 | 9743 3220 35 | 0.002 % | 3.59/3.68 c | 4930 | 236 169 2203 | 10717 4930 37 | 0.002 % | 3.79/3.83 c | 7492 | 236 169 2203 | 11789 7492 39 | 0.002 % | 3.99/4.09 c | 11337 | 236 169 2203 | 12968 11337 40 | 0.002 % | 4.40/4.47 c | 17103 | 236 169 2203 | 14265 10579 42 | 0.002 % | 4.99/5.04 c | 25755 | 236 169 2203 | 15692 12032 43 | 0.002 % | 6.09/6.15 c | 38729 | 236 169 2203 | 17261 9208 46 | 0.002 % | 6.69/6.73 c =============================================================================== 6.89/6.92 c core #2 6.89/6.92 c ============================[ Search Statistics ]============================== 6.89/6.92 c | Conflicts | ORIGINAL | LEARNT | Progress | 6.89/6.92 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 6.89/6.92 c =============================================================================== 6.89/6.92 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 6.89/6.93 c | 103 | 302 235 3176 | 5500 103 24 | 0.001 % | 6.89/6.93 c | 255 | 302 235 3176 | 6050 255 25 | 0.001 % | 6.89/6.94 c | 481 | 302 235 3176 | 6655 481 31 | 0.001 % | 6.89/6.95 c | 819 | 302 235 3176 | 7320 819 33 | 0.001 % | 6.89/6.97 c | 1325 | 302 235 3176 | 8052 1325 33 | 0.001 % | 6.89/6.99 c | 2084 | 302 235 3176 | 8857 2084 32 | 0.001 % | 6.99/7.04 c | 3223 | 302 235 3176 | 9743 3223 33 | 0.001 % | 7.09/7.12 c | 4931 | 302 235 3176 | 10717 4931 34 | 0.001 % | 7.19/7.26 c | 7494 | 302 235 3176 | 11789 7494 36 | 0.001 % | 7.49/7.53 c | 11340 | 302 235 3176 | 12968 11340 38 | 0.001 % | 7.89/7.99 c | 17109 | 302 235 3176 | 14265 10576 42 | 0.001 % | 8.59/8.64 c | 25758 | 302 235 3176 | 15692 12050 43 | 0.001 % | 9.59/9.63 c | 38732 | 302 235 3176 | 17261 9228 43 | 0.001 % | 11.00/11.02 c | 58194 | 302 235 3176 | 18987 11300 49 | 0.001 % | 12.29/12.36 c =============================================================================== 12.59/12.69 c core #3 12.59/12.69 c ============================[ Search Statistics ]============================== 12.59/12.69 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.59/12.69 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 12.59/12.69 c =============================================================================== 12.59/12.69 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 12.69/12.70 c | 101 | 371 301 4155 | 5500 101 33 | 0.001 % | 12.69/12.71 c | 251 | 371 301 4155 | 6050 251 34 | 0.001 % | 12.69/12.71 c | 477 | 371 301 4155 | 6655 477 34 | 0.001 % | 12.69/12.72 c | 815 | 371 301 4155 | 7320 815 33 | 0.001 % | 12.69/12.74 c | 1322 | 371 301 4155 | 8052 1322 35 | 0.001 % | 12.69/12.77 c | 2082 | 371 301 4155 | 8857 2082 36 | 0.001 % | 12.79/12.81 c | 3222 | 371 301 4155 | 9743 3222 36 | 0.001 % | 12.89/12.90 c | 4930 | 371 301 4155 | 10717 4930 36 | 0.001 % | 12.99/13.04 c | 7492 | 371 301 4155 | 11789 7492 36 | 0.001 % | 13.30/13.32 c | 11338 | 371 301 4155 | 12968 11338 38 | 0.001 % | 13.69/13.72 c | 17106 | 371 301 4155 | 14265 10570 42 | 0.001 % | 14.29/14.32 c | 25755 | 371 301 4155 | 15692 12030 44 | 0.001 % | 15.29/15.33 c | 38731 | 371 301 4155 | 17261 9200 42 | 0.001 % | 16.89/16.97 c | 58193 | 371 301 4155 | 18987 11299 46 | 0.001 % | 18.59/18.70 c =============================================================================== 18.99/19.06 c core #4 18.99/19.06 c ============================[ Search Statistics ]============================== 18.99/19.06 c | Conflicts | ORIGINAL | LEARNT | Progress | 18.99/19.06 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 18.99/19.06 c =============================================================================== 18.99/19.06 c | 0 | 435 366 5119 | 5000 0 nan | 0.000 % | 18.99/19.07 c | 100 | 435 366 5119 | 5500 100 23 | 0.001 % | 18.99/19.08 c | 252 | 435 366 5119 | 6050 252 33 | 0.001 % | 18.99/19.09 c | 478 | 435 366 5119 | 6655 478 35 | 0.001 % | 18.99/19.10 c | 815 | 435 366 5119 | 7320 815 36 | 0.001 % | 19.10/19.11 c | 1324 | 435 366 5119 | 8052 1324 34 | 0.001 % | 19.10/19.14 c | 2084 | 435 366 5119 | 8857 2084 35 | 0.001 % | 19.10/19.19 c | 3226 | 435 366 5119 | 9743 3226 35 | 0.001 % | 19.19/19.26 c | 4934 | 435 366 5119 | 10717 4934 36 | 0.001 % | 19.39/19.40 c | 7496 | 435 366 5119 | 11789 7496 38 | 0.001 % | 19.59/19.66 c | 11340 | 435 366 5119 | 12968 11340 38 | 0.001 % | 19.99/20.07 c | 17109 | 435 366 5119 | 14265 10577 43 | 0.001 % | 20.69/20.76 c | 25758 | 435 366 5119 | 15692 12046 47 | 0.001 % | 21.79/21.85 c | 38732 | 435 366 5119 | 17261 9227 45 | 0.001 % | 23.30/23.38 c | 58195 | 435 366 5119 | 18987 11301 47 | 0.001 % | 24.20/24.23 c =============================================================================== 24.49/24.55 c core #5 24.49/24.55 c ============================[ Search Statistics ]============================== 24.49/24.55 c | Conflicts | ORIGINAL | LEARNT | Progress | 24.49/24.55 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 24.49/24.55 c =============================================================================== 24.49/24.55 c | 0 | 502 430 6076 | 5000 0 nan | 0.000 % | 24.49/24.56 c | 101 | 502 430 6076 | 5500 101 27 | 0.000 % | 24.49/24.57 c | 252 | 502 430 6076 | 6050 252 27 | 0.000 % | 24.49/24.58 c | 478 | 502 430 6076 | 6655 478 31 | 0.000 % | 24.49/24.59 c | 817 | 502 430 6076 | 7320 817 33 | 0.000 % | 24.59/24.61 c | 1325 | 502 430 6076 | 8052 1325 31 | 0.000 % | 24.59/24.63 c | 2084 | 502 430 6076 | 8857 2084 32 | 0.000 % | 24.59/24.68 c | 3226 | 502 430 6076 | 9743 3226 32 | 0.000 % | 24.69/24.75 c | 4935 | 502 430 6076 | 10717 4935 34 | 0.000 % | 24.79/24.89 c | 7498 | 502 430 6076 | 11789 7498 35 | 0.000 % | 25.09/25.12 c | 11343 | 502 430 6076 | 12968 11343 37 | 0.000 % | 25.49/25.50 c | 17109 | 502 430 6076 | 14265 10585 40 | 0.000 % | 26.09/26.11 c | 25760 | 502 430 6076 | 15692 12058 41 | 0.000 % | 27.09/27.16 c | 38738 | 502 430 6076 | 17261 9244 46 | 0.000 % | 28.79/28.80 c | 58200 | 502 430 6076 | 18987 11354 43 | 0.000 % | 30.80/30.81 c =============================================================================== 31.19/31.20 c core #6 31.19/31.20 c ============================[ Search Statistics ]============================== 31.19/31.20 c | Conflicts | ORIGINAL | LEARNT | Progress | 31.19/31.20 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 31.19/31.20 c =============================================================================== 31.19/31.20 c | 0 | 574 493 7030 | 5000 0 nan | 0.000 % | 31.19/31.21 c | 102 | 574 493 7030 | 5500 102 27 | 0.000 % | 31.19/31.21 c | 253 | 574 493 7030 | 6050 253 38 | 0.000 % | 31.19/31.22 c | 478 | 574 493 7030 | 6655 478 38 | 0.000 % | 31.19/31.23 c | 816 | 574 493 7030 | 7320 816 39 | 0.000 % | 31.19/31.25 c | 1326 | 574 493 7030 | 8052 1326 38 | 0.000 % | 31.19/31.28 c | 2087 | 574 493 7030 | 8857 2087 37 | 0.000 % | 31.29/31.33 c | 3227 | 574 493 7030 | 9743 3227 36 | 0.000 % | 31.39/31.42 c | 4935 | 574 493 7030 | 10717 4935 35 | 0.000 % | 31.49/31.58 c | 7502 | 574 493 7030 | 11789 7502 39 | 0.000 % | 31.79/31.88 c | 11346 | 574 493 7030 | 12968 11346 40 | 0.000 % | 32.29/32.34 c | 17115 | 574 493 7030 | 14265 10587 42 | 0.000 % | 33.00/33.02 c | 25766 | 574 493 7030 | 15692 12054 43 | 0.000 % | 33.99/34.06 c | 38742 | 574 493 7030 | 17261 9241 45 | 0.000 % | 35.59/35.61 c | 58205 | 574 493 7030 | 18987 11338 44 | 0.000 % | 37.79/37.87 c =============================================================================== 38.19/38.27 c core #7 38.19/38.27 c ============================[ Search Statistics ]============================== 38.19/38.27 c | Conflicts | ORIGINAL | LEARNT | Progress | 38.19/38.27 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 38.19/38.27 c =============================================================================== 38.19/38.27 c | 0 | 653 556 7998 | 5000 0 nan | 0.000 % | 38.19/38.29 c | 100 | 653 556 7998 | 5500 100 27 | 0.000 % | 38.19/38.29 c | 254 | 653 556 7998 | 6050 254 36 | 0.000 % | 38.30/38.30 c | 480 | 653 556 7998 | 6655 480 36 | 0.000 % | 38.30/38.31 c | 817 | 653 556 7998 | 7320 817 33 | 0.000 % | 38.30/38.33 c | 1324 | 653 556 7998 | 8052 1324 32 | 0.000 % | 38.30/38.36 c | 2084 | 653 556 7998 | 8857 2084 32 | 0.000 % | 38.39/38.41 c | 3223 | 653 556 7998 | 9743 3223 32 | 0.000 % | 38.39/38.49 c | 4931 | 653 556 7998 | 10717 4931 33 | 0.000 % | 38.60/38.65 c | 7493 | 653 556 7998 | 11789 7493 35 | 0.000 % | 38.89/38.91 c | 11339 | 653 556 7998 | 12968 11339 37 | 0.000 % | 39.29/39.33 c | 17107 | 653 556 7998 | 14265 10573 42 | 0.000 % | 39.99/40.03 c | 25758 | 653 556 7998 | 15692 12032 44 | 0.000 % | 41.09/41.12 c | 38733 | 653 556 7998 | 17261 9216 44 | 0.000 % | 42.59/42.62 c | 58195 | 653 556 7998 | 18987 11331 41 | 0.000 % | 44.99/45.06 c | 87387 | 653 556 7998 | 20886 11886 49 | 0.000 % | 45.99/46.04 c =============================================================================== 46.39/46.49 c core #8 46.39/46.49 c ============================[ Search Statistics ]============================== 46.39/46.49 c | Conflicts | ORIGINAL | LEARNT | Progress | 46.39/46.49 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 46.39/46.49 c =============================================================================== 46.39/46.49 c | 0 | 714 617 8915 | 5000 0 nan | 0.000 % | 46.49/46.50 c | 101 | 714 617 8915 | 5500 101 23 | 0.000 % | 46.49/46.51 c | 251 | 714 617 8915 | 6050 251 26 | 0.000 % | 46.49/46.52 c | 476 | 714 617 8915 | 6655 476 29 | 0.000 % | 46.49/46.53 c | 814 | 714 617 8915 | 7320 814 30 | 0.000 % | 46.49/46.55 c | 1320 | 714 617 8915 | 8052 1320 30 | 0.000 % | 46.49/46.58 c | 2080 | 714 617 8915 | 8857 2080 33 | 0.000 % | 46.59/46.63 c | 3220 | 714 617 8915 | 9743 3220 33 | 0.000 % | 46.70/46.72 c | 4929 | 714 617 8915 | 10717 4929 33 | 0.000 % | 46.79/46.87 c | 7493 | 714 617 8915 | 11789 7493 35 | 0.000 % | 47.09/47.16 c | 11338 | 714 617 8915 | 12968 11338 38 | 0.000 % | 47.59/47.62 c | 17105 | 714 617 8915 | 14265 10568 43 | 0.000 % | 48.29/48.34 c | 25754 | 714 617 8915 | 15692 12035 42 | 0.000 % | 49.39/49.44 c | 38730 | 714 617 8915 | 17261 9222 44 | 0.000 % | 50.99/51.06 c | 58191 | 714 617 8915 | 18987 11308 43 | 0.000 % | 53.69/53.76 c | 87384 | 714 617 8915 | 20886 11850 45 | 0.000 % | 56.99/57.04 c =============================================================================== 57.59/57.64 c core #9 57.59/57.64 c ============================[ Search Statistics ]============================== 57.59/57.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 57.59/57.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 57.59/57.64 c =============================================================================== 57.59/57.64 c | 0 | 802 678 9886 | 5000 0 nan | 0.000 % | 57.59/57.66 c | 101 | 802 678 9886 | 5500 101 32 | 0.000 % | 57.59/57.66 c | 251 | 802 678 9886 | 6050 251 41 | 0.000 % | 57.59/57.67 c | 477 | 802 678 9886 | 6655 477 39 | 0.000 % | 57.59/57.68 c | 814 | 802 678 9886 | 7320 814 37 | 0.000 % | 57.69/57.70 c | 1321 | 802 678 9886 | 8052 1321 37 | 0.000 % | 57.69/57.74 c | 2080 | 802 678 9886 | 8857 2080 38 | 0.000 % | 57.69/57.79 c | 3220 | 802 678 9886 | 9743 3220 37 | 0.000 % | 57.80/57.88 c | 4928 | 802 678 9886 | 10717 4928 36 | 0.000 % | 57.99/58.02 c | 7490 | 802 678 9886 | 11789 7490 36 | 0.000 % | 58.30/58.30 c | 11336 | 802 678 9886 | 12968 11336 39 | 0.000 % | 58.69/58.71 c | 17103 | 802 678 9886 | 14265 10596 42 | 0.000 % | 59.29/59.40 c | 25752 | 802 678 9886 | 15692 12064 40 | 0.000 % | 60.50/60.54 c | 38727 | 802 678 9886 | 17261 9267 43 | 0.000 % | 62.09/62.13 c | 58188 | 802 678 9886 | 18987 11367 47 | 0.000 % | 64.69/64.80 c | 87381 | 802 678 9886 | 20886 11928 47 | 0.000 % | 67.29/67.36 c =============================================================================== 67.79/67.89 c core #10 67.79/67.89 c ============================[ Search Statistics ]============================== 67.79/67.89 c | Conflicts | ORIGINAL | LEARNT | Progress | 67.79/67.89 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 67.79/67.89 c =============================================================================== 67.79/67.89 c | 0 | 868 736 10781 | 5000 0 nan | 0.000 % | 67.89/67.90 c | 100 | 868 736 10781 | 5500 100 24 | 0.000 % | 67.89/67.91 c | 250 | 868 736 10781 | 6050 250 26 | 0.000 % | 67.89/67.92 c | 476 | 868 736 10781 | 6655 476 28 | 0.000 % | 67.89/67.93 c | 814 | 868 736 10781 | 7320 814 30 | 0.000 % | 67.89/67.95 c | 1321 | 868 736 10781 | 8052 1321 32 | 0.000 % | 67.89/67.99 c | 2080 | 868 736 10781 | 8857 2080 34 | 0.000 % | 68.00/68.04 c | 3219 | 868 736 10781 | 9743 3219 35 | 0.000 % | 68.10/68.14 c | 4927 | 868 736 10781 | 10717 4927 37 | 0.000 % | 68.20/68.29 c | 7492 | 868 736 10781 | 11789 7492 39 | 0.000 % | 68.49/68.55 c | 11338 | 868 736 10781 | 12968 11338 38 | 0.000 % | 68.99/69.05 c | 17104 | 868 736 10781 | 14265 10573 41 | 0.000 % | 69.79/69.86 c | 25753 | 868 736 10781 | 15692 12030 45 | 0.000 % | 70.89/70.93 c | 38728 | 868 736 10781 | 17261 9210 44 | 0.000 % | 72.60/72.61 c | 58189 | 868 736 10781 | 18987 11308 45 | 0.000 % | 75.19/75.29 c | 87382 | 868 736 10781 | 20886 11864 46 | 0.000 % | 79.20/79.26 c | 131172 | 829 736 10781 | 22974 5932 50 | 4.493 % | 79.69/79.73 c =============================================================================== 79.69/79.73 c #cores: 10 79.69/79.73 c Final Weight: 10 79.69/79.73 o 10 79.69/79.73 s OPTIMUM FOUND 79.69/79.73 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 79.69/79.73 c Total CPU time: 77.5392 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-2689929-1277898729/watcher-2689929-1277898729 -o /tmp/evaluation-result-2689929-1277898729/solver-2689929-1277898729 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689929-1277898729.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: 2.00 2.00 2.00 4/178 9925 /proc/meminfo: memFree=30867556/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=2572 CPUtime=0 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 289 0 0 0 0 0 0 0 21 0 1 0 131170427 2633728 204 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 643 204 143 303 0 338 0 [startup+0.104962 s] /proc/loadavg: 2.00 2.00 2.00 4/178 9925 /proc/meminfo: memFree=30867556/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=3496 CPUtime=0.1 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 530 0 0 0 9 1 0 0 21 0 1 0 131170427 3579904 445 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 874 445 143 303 0 569 0 Current children cumulated CPU time (s) 0.1 Current children cumulated vsize (KiB) 3496 [startup+0.200943 s] /proc/loadavg: 2.00 2.00 2.00 4/178 9925 /proc/meminfo: memFree=30867556/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=4288 CPUtime=0.19 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 729 0 0 0 18 1 0 0 21 0 1 0 131170427 4390912 644 4089446400 134512640 135751879 4291491712 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 1072 644 143 303 0 767 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 4288 [startup+0.300929 s] /proc/loadavg: 2.00 2.00 2.00 4/178 9925 /proc/meminfo: memFree=30867556/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=4948 CPUtime=0.29 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 890 0 0 0 27 2 0 0 21 0 1 0 131170427 5066752 805 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 1237 805 143 303 0 932 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4948 [startup+0.70086 s] /proc/loadavg: 2.00 2.00 2.00 4/178 9925 /proc/meminfo: memFree=30867556/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=7288 CPUtime=0.69 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 1450 0 0 0 66 3 0 0 22 0 1 0 131170427 7462912 1365 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 1822 1365 143 303 0 1517 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7288 [startup+1.5007 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9926 /proc/meminfo: memFree=30860232/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=10860 CPUtime=1.49 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 2363 0 0 0 144 5 0 0 25 0 1 0 131170427 11120640 2278 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 2715 2278 143 303 0 2410 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10860 [startup+3.10044 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9926 /proc/meminfo: memFree=30854900/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=18268 CPUtime=3.09 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 4199 0 0 0 301 8 0 0 25 0 1 0 131170427 18706432 4114 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 4567 4114 143 303 0 4262 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 18268 [startup+6.30088 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9926 /proc/meminfo: memFree=30846492/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=26192 CPUtime=6.3 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 6188 0 0 0 610 20 0 0 25 0 1 0 131170427 26820608 6103 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 6548 6103 146 303 0 6243 0 Current children cumulated CPU time (s) 6.3 Current children cumulated vsize (KiB) 26192 [startup+12.7008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9926 /proc/meminfo: memFree=30824548/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=48336 CPUtime=12.69 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 11733 0 0 0 1231 38 0 0 25 0 1 0 131170427 49496064 11648 4089446400 134512640 135751879 4291491712 18446744073709551615 135204448 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 12084 11648 146 303 0 11779 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 48336 [startup+25.5005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9927 /proc/meminfo: memFree=30791960/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=78068 CPUtime=25.49 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 19169 0 0 0 2472 77 0 0 25 0 1 0 131170427 79941632 19084 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 19517 19084 146 303 0 19212 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78068 [startup+51.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30729984/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=139020 CPUtime=51.09 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 34418 0 0 0 4963 146 0 0 20 0 1 0 131170427 142356480 34333 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 34755 34333 146 303 0 34450 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139020 Solver just ended. Dumping a history of the last processes samples [startup+51.201 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30729984/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=139284 CPUtime=51.19 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 34477 0 0 0 4973 146 0 0 20 0 1 0 131170427 142626816 34392 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 34821 34392 146 303 0 34516 0 Current children cumulated CPU time (s) 51.19 Current children cumulated vsize (KiB) 139284 [startup+64.0008 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30697100/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=171164 CPUtime=63.99 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 42425 0 0 0 6219 180 0 0 25 0 1 0 131170427 175271936 42340 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 42791 42340 146 303 0 42486 0 Current children cumulated CPU time (s) 63.99 Current children cumulated vsize (KiB) 171164 [startup+70.4006 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30680360/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=187160 CPUtime=70.4 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 46449 0 0 0 6844 196 0 0 19 0 1 0 131170427 191651840 46364 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 46790 46364 146 303 0 46485 0 Current children cumulated CPU time (s) 70.4 Current children cumulated vsize (KiB) 187160 [startup+73.601 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30677876/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=191924 CPUtime=73.59 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 47613 0 0 0 7155 204 0 0 25 0 1 0 131170427 196530176 47528 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 47981 47528 146 303 0 47676 0 Current children cumulated CPU time (s) 73.59 Current children cumulated vsize (KiB) 191924 [startup+76.8005 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30668448/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=202488 CPUtime=76.79 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 50253 0 0 0 7468 211 0 0 25 0 1 0 131170427 207347712 50168 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 50622 50168 146 303 0 50317 0 Current children cumulated CPU time (s) 76.79 Current children cumulated vsize (KiB) 202488 [startup+78.4002 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30660636/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=208164 CPUtime=78.4 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 51699 0 0 0 7624 216 0 0 25 0 1 0 131170427 213159936 51614 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 52041 51614 146 303 0 51736 0 Current children cumulated CPU time (s) 78.4 Current children cumulated vsize (KiB) 208164 [startup+79.2011 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30656172/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=211476 CPUtime=79.2 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 52509 0 0 0 7701 219 0 0 25 0 1 0 131170427 216551424 52424 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 52869 52424 146 303 0 52564 0 Current children cumulated CPU time (s) 79.2 Current children cumulated vsize (KiB) 211476 [startup+79.601 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30656172/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=213192 CPUtime=79.59 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 52940 0 0 0 7740 219 0 0 25 0 1 0 131170427 218308608 52855 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 53298 52855 146 303 0 52993 0 Current children cumulated CPU time (s) 79.59 Current children cumulated vsize (KiB) 213192 [startup+79.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 9928 /proc/meminfo: memFree=30656172/32951124 swapFree=67111528/67111528 [pid=9925] ppid=9923 vsize=213588 CPUtime=79.69 /proc/9925/stat : 9925 (wbo1.4a) R 9923 9925 9633 0 -1 4202496 53038 0 0 0 7750 219 0 0 25 0 1 0 131170427 218714112 52953 4089446400 134512640 135751879 4291491712 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/9925/statm: 53397 52953 146 303 0 53092 0 Current children cumulated CPU time (s) 79.69 Current children cumulated vsize (KiB) 213588 Child status: 0 Real time (s): 79.7454 CPU time (s): 79.7469 CPU user time (s): 77.5392 CPU system time (s): 2.20766 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 213588 getrusage(RUSAGE_CHILDREN,...) data: user time used= 77.5392 system time used= 2.20766 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 53070 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= 3 involuntary context switches= 114 runsolver used 0.123981 second user time and 0.32695 second system time The end
Begin job on node107 at 2010-06-30 13:52:09 IDJOB=2689929 IDBENCH=78846 IDSOLVER=1200 FILE ID=node107/2689929-1277898729 PBS_JOBID= 11197168 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.1111226062--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-2689929-1277898729/watcher-2689929-1277898729 -o /tmp/evaluation-result-2689929-1277898729/solver-2689929-1277898729 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689929-1277898729.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 7e4768b7f873096cfc405759f746d055 RANDOM SEED=2090067762 node107.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.849 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.69 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.849 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.849 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.82 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.849 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.849 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.81 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.849 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.849 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.82 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.849 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 30867464 kB Buffers: 181116 kB Cached: 1270640 kB SwapCached: 0 kB Active: 846296 kB Inactive: 1094024 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 30867464 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 488764 kB Mapped: 16096 kB Slab: 78556 kB PageTables: 5912 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 637244 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= 74204 MiB End job on node107 at 2010-06-30 13:53:29