Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 116.221 | 116.219 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/wnqueen/ normalized-t2001.13queen13.1111223220--soft-33-100-0.wbo |
MD5SUM | 27d3bd64d93eb8804d56550cbc3e68e3 |
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 | 12 |
Best CPU time to get the best result obtained on this benchmark | 0.316951 |
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 | 1230 |
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-2689840-1277896348.wbo. 0.00/0.00 c Instance file HOME/instance-2689840-1277896348.wbo 0.00/0.00 c File size is 10305 bytes. 0.00/0.00 c Highest Coefficient sum: 1230 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 42 | 0.004 % | 0.00/0.00 c | 252 | 169 101 1205 | 6050 252 38 | 0.004 % | 0.00/0.01 c | 478 | 169 101 1205 | 6655 478 38 | 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 35 | 0.004 % | 0.00/0.06 c | 2082 | 169 101 1205 | 8857 2082 35 | 0.004 % | 0.09/0.10 c | 3222 | 169 101 1205 | 9743 3222 37 | 0.004 % | 0.09/0.17 c | 4930 | 169 101 1205 | 10717 4930 38 | 0.004 % | 0.29/0.30 c | 7492 | 169 101 1205 | 11789 7492 38 | 0.004 % | 0.49/0.56 c | 11337 | 169 101 1205 | 12968 11337 40 | 0.004 % | 0.89/0.98 c | 17104 | 169 101 1205 | 14265 10568 45 | 0.004 % | 1.59/1.63 c | 25756 | 169 101 1205 | 15692 12032 45 | 0.004 % | 2.69/2.73 c | 38731 | 169 101 1205 | 17261 9214 50 | 0.004 % | 4.30/4.33 c | 58192 | 169 101 1205 | 18987 11295 48 | 0.004 % | 6.09/6.14 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.39/6.50 c | 101 | 236 169 2203 | 5500 101 39 | 0.002 % | 6.39/6.50 c | 251 | 236 169 2203 | 6050 251 33 | 0.002 % | 6.50/6.51 c | 476 | 236 169 2203 | 6655 476 33 | 0.002 % | 6.50/6.52 c | 816 | 236 169 2203 | 7320 816 34 | 0.002 % | 6.50/6.54 c | 1324 | 236 169 2203 | 8052 1324 35 | 0.002 % | 6.50/6.56 c | 2083 | 236 169 2203 | 8857 2083 36 | 0.002 % | 6.59/6.61 c | 3223 | 236 169 2203 | 9743 3223 36 | 0.002 % | 6.59/6.68 c | 4931 | 236 169 2203 | 10717 4931 37 | 0.002 % | 6.79/6.83 c | 7493 | 236 169 2203 | 11789 7493 38 | 0.002 % | 7.09/7.10 c | 11337 | 236 169 2203 | 12968 11337 38 | 0.002 % | 7.49/7.50 c | 17103 | 236 169 2203 | 14265 10567 41 | 0.002 % | 8.09/8.19 c | 25752 | 236 169 2203 | 15692 12057 44 | 0.002 % | 9.09/9.15 c | 38726 | 236 169 2203 | 17261 9232 46 | 0.002 % | 10.79/10.80 c | 58187 | 236 169 2203 | 18987 11350 45 | 0.002 % | 11.49/11.53 c =============================================================================== 11.80/11.83 c core #2 11.80/11.83 c ============================[ Search Statistics ]============================== 11.80/11.83 c | Conflicts | ORIGINAL | LEARNT | Progress | 11.80/11.83 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 11.80/11.83 c =============================================================================== 11.80/11.83 c | 0 | 302 235 3176 | 5000 0 nan | 0.000 % | 11.80/11.84 c | 101 | 302 235 3176 | 5500 101 42 | 0.001 % | 11.80/11.84 c | 251 | 302 235 3176 | 6050 251 38 | 0.001 % | 11.80/11.85 c | 477 | 302 235 3176 | 6655 477 36 | 0.001 % | 11.80/11.86 c | 814 | 302 235 3176 | 7320 814 35 | 0.001 % | 11.80/11.87 c | 1320 | 302 235 3176 | 8052 1320 34 | 0.001 % | 11.89/11.90 c | 2080 | 302 235 3176 | 8857 2080 35 | 0.001 % | 11.89/11.95 c | 3219 | 302 235 3176 | 9743 3219 37 | 0.001 % | 11.99/12.02 c | 4930 | 302 235 3176 | 10717 4930 39 | 0.001 % | 12.09/12.16 c | 7494 | 302 235 3176 | 11789 7494 38 | 0.001 % | 12.39/12.40 c | 11345 | 302 235 3176 | 12968 11345 40 | 0.001 % | 12.69/12.79 c | 17111 | 302 235 3176 | 14265 10571 43 | 0.001 % | 13.39/13.43 c | 25762 | 302 235 3176 | 15692 12030 43 | 0.001 % | 14.39/14.49 c | 38737 | 302 235 3176 | 17261 9217 43 | 0.001 % | 15.99/16.02 c | 58199 | 302 235 3176 | 18987 11312 47 | 0.001 % | 18.60/18.60 c | 87392 | 259 235 3176 | 20886 5533 49 | 14.240 % | 18.79/18.83 c =============================================================================== 19.20/19.25 c core #3 19.20/19.25 c ============================[ Search Statistics ]============================== 19.20/19.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 19.20/19.25 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 19.20/19.25 c =============================================================================== 19.20/19.25 c | 0 | 371 301 4155 | 5000 0 nan | 0.000 % | 19.20/19.26 c | 100 | 371 301 4155 | 5500 100 50 | 0.001 % | 19.20/19.27 c | 253 | 371 301 4155 | 6050 253 41 | 0.001 % | 19.20/19.27 c | 478 | 371 301 4155 | 6655 478 36 | 0.001 % | 19.20/19.28 c | 816 | 371 301 4155 | 7320 816 33 | 0.001 % | 19.29/19.30 c | 1324 | 371 301 4155 | 8052 1324 33 | 0.001 % | 19.29/19.33 c | 2083 | 371 301 4155 | 8857 2083 33 | 0.001 % | 19.29/19.37 c | 3223 | 371 301 4155 | 9743 3223 34 | 0.001 % | 19.39/19.45 c | 4931 | 371 301 4155 | 10717 4931 36 | 0.001 % | 19.49/19.59 c | 7495 | 371 301 4155 | 11789 7495 38 | 0.001 % | 19.79/19.85 c | 11339 | 371 301 4155 | 12968 11339 39 | 0.001 % | 20.19/20.25 c | 17105 | 371 301 4155 | 14265 10570 41 | 0.001 % | 20.90/20.95 c | 25755 | 371 301 4155 | 15692 12035 42 | 0.001 % | 22.00/22.02 c | 38729 | 371 301 4155 | 17261 9214 46 | 0.001 % | 23.49/23.51 c | 58192 | 371 301 4155 | 18987 11329 46 | 0.001 % | 25.89/25.96 c | 87386 | 371 301 4155 | 20886 11864 50 | 0.031 % | 26.39/26.44 c =============================================================================== 26.79/26.86 c core #4 26.79/26.86 c ============================[ Search Statistics ]============================== 26.79/26.86 c | Conflicts | ORIGINAL | LEARNT | Progress | 26.79/26.86 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 26.79/26.86 c =============================================================================== 26.79/26.86 c | 0 | 439 366 5127 | 5000 0 nan | 0.000 % | 26.79/26.87 c | 100 | 439 366 5127 | 5500 100 35 | 0.001 % | 26.79/26.88 c | 252 | 439 366 5127 | 6050 252 32 | 0.001 % | 26.79/26.89 c | 477 | 439 366 5127 | 6655 477 33 | 0.001 % | 26.89/26.90 c | 815 | 439 366 5127 | 7320 815 32 | 0.001 % | 26.89/26.91 c | 1322 | 439 366 5127 | 8052 1322 35 | 0.001 % | 26.89/26.94 c | 2081 | 439 366 5127 | 8857 2081 37 | 0.001 % | 26.89/26.99 c | 3224 | 439 366 5127 | 9743 3224 36 | 0.001 % | 26.99/27.08 c | 4934 | 439 366 5127 | 10717 4934 39 | 0.001 % | 27.19/27.24 c | 7496 | 439 366 5127 | 11789 7496 38 | 0.001 % | 27.50/27.50 c | 11340 | 439 366 5127 | 12968 11340 39 | 0.001 % | 27.89/27.93 c | 17106 | 439 366 5127 | 14265 10566 40 | 0.001 % | 28.49/28.58 c | 25755 | 439 366 5127 | 15692 12030 44 | 0.001 % | 29.59/29.69 c | 38731 | 439 366 5127 | 17261 9224 44 | 0.001 % | 31.09/31.16 c | 58192 | 439 366 5127 | 18987 11318 47 | 0.001 % | 33.49/33.54 c | 87386 | 408 366 5127 | 20886 5579 40 | 7.062 % | 33.69/33.73 c =============================================================================== 34.10/34.15 c core #5 34.10/34.15 c ============================[ Search Statistics ]============================== 34.10/34.15 c | Conflicts | ORIGINAL | LEARNT | Progress | 34.10/34.15 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 34.10/34.15 c =============================================================================== 34.10/34.15 c | 0 | 509 430 6090 | 5000 0 nan | 0.000 % | 34.10/34.17 c | 100 | 509 430 6090 | 5500 100 43 | 0.000 % | 34.10/34.17 c | 253 | 509 430 6090 | 6050 253 39 | 0.000 % | 34.10/34.18 c | 482 | 509 430 6090 | 6655 482 33 | 0.000 % | 34.10/34.19 c | 819 | 509 430 6090 | 7320 819 33 | 0.000 % | 34.19/34.21 c | 1325 | 509 430 6090 | 8052 1325 33 | 0.000 % | 34.19/34.24 c | 2084 | 509 430 6090 | 8857 2084 33 | 0.000 % | 34.19/34.29 c | 3225 | 509 430 6090 | 9743 3225 34 | 0.000 % | 34.29/34.37 c | 4934 | 509 430 6090 | 10717 4934 34 | 0.000 % | 34.49/34.53 c | 7499 | 509 430 6090 | 11789 7499 38 | 0.000 % | 34.69/34.78 c | 11344 | 509 430 6090 | 12968 11344 40 | 0.000 % | 35.20/35.22 c | 17110 | 509 430 6090 | 14265 10577 44 | 0.000 % | 35.89/35.92 c | 25759 | 509 430 6090 | 15692 12055 44 | 0.000 % | 36.99/37.08 c | 38735 | 509 430 6090 | 17261 9214 45 | 0.000 % | 38.69/38.70 c | 58198 | 509 430 6090 | 18987 11322 47 | 0.000 % | 41.09/41.11 c | 87390 | 509 430 6090 | 20886 11859 47 | 0.012 % | 42.79/42.85 c =============================================================================== 43.29/43.37 c core #6 43.29/43.37 c ============================[ Search Statistics ]============================== 43.29/43.37 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.29/43.37 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 43.29/43.37 c =============================================================================== 43.29/43.37 c | 0 | 581 493 7044 | 5000 0 nan | 0.000 % | 43.29/43.38 c | 100 | 581 493 7044 | 5500 100 41 | 0.000 % | 43.29/43.39 c | 252 | 581 493 7044 | 6050 252 34 | 0.000 % | 43.40/43.40 c | 477 | 581 493 7044 | 6655 477 34 | 0.000 % | 43.40/43.41 c | 814 | 581 493 7044 | 7320 814 33 | 0.000 % | 43.40/43.43 c | 1321 | 581 493 7044 | 8052 1321 33 | 0.000 % | 43.40/43.46 c | 2082 | 581 493 7044 | 8857 2082 33 | 0.000 % | 43.49/43.50 c | 3221 | 581 493 7044 | 9743 3221 35 | 0.000 % | 43.49/43.59 c | 4929 | 581 493 7044 | 10717 4929 36 | 0.000 % | 43.69/43.75 c | 7493 | 581 493 7044 | 11789 7493 38 | 0.000 % | 44.00/44.01 c | 11339 | 581 493 7044 | 12968 11339 39 | 0.000 % | 44.39/44.45 c | 17105 | 581 493 7044 | 14265 10569 41 | 0.000 % | 45.20/45.22 c | 25754 | 581 493 7044 | 15692 12054 43 | 0.000 % | 46.29/46.33 c | 38729 | 581 493 7044 | 17261 9246 43 | 0.000 % | 47.89/47.97 c | 58191 | 581 493 7044 | 18987 11330 47 | 0.000 % | 50.39/50.47 c | 87384 | 581 493 7044 | 20886 11861 50 | 0.000 % | 50.79/50.82 c =============================================================================== 51.19/51.24 c core #7 51.19/51.24 c ============================[ Search Statistics ]============================== 51.19/51.24 c | Conflicts | ORIGINAL | LEARNT | Progress | 51.19/51.24 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 51.19/51.24 c =============================================================================== 51.19/51.24 c | 0 | 659 556 8010 | 5000 0 nan | 0.000 % | 51.19/51.25 c | 100 | 659 556 8010 | 5500 100 41 | 0.000 % | 51.19/51.26 c | 250 | 659 556 8010 | 6050 250 37 | 0.000 % | 51.19/51.26 c | 476 | 659 556 8010 | 6655 476 35 | 0.000 % | 51.19/51.28 c | 813 | 659 556 8010 | 7320 813 36 | 0.000 % | 51.29/51.30 c | 1321 | 659 556 8010 | 8052 1321 36 | 0.000 % | 51.29/51.33 c | 2081 | 659 556 8010 | 8857 2081 37 | 0.000 % | 51.29/51.37 c | 3222 | 659 556 8010 | 9743 3222 38 | 0.000 % | 51.39/51.46 c | 4930 | 659 556 8010 | 10717 4930 39 | 0.000 % | 51.59/51.62 c | 7495 | 659 556 8010 | 11789 7495 40 | 0.000 % | 51.80/51.88 c | 11340 | 659 556 8010 | 12968 11340 41 | 0.000 % | 52.30/52.32 c | 17106 | 659 556 8010 | 14265 10574 42 | 0.000 % | 52.99/53.04 c | 25755 | 659 556 8010 | 15692 12039 43 | 0.000 % | 54.10/54.17 c | 38731 | 659 556 8010 | 17261 9222 43 | 0.000 % | 55.69/55.79 c | 58194 | 659 556 8010 | 18987 11303 48 | 0.000 % | 57.80/57.89 c =============================================================================== 58.20/58.28 c core #8 58.20/58.28 c ============================[ Search Statistics ]============================== 58.20/58.28 c | Conflicts | ORIGINAL | LEARNT | Progress | 58.20/58.28 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 58.20/58.28 c =============================================================================== 58.20/58.28 c | 0 | 720 617 8927 | 5000 0 nan | 0.000 % | 58.20/58.30 c | 100 | 720 617 8927 | 5500 100 41 | 0.000 % | 58.30/58.31 c | 251 | 720 617 8927 | 6050 251 40 | 0.000 % | 58.30/58.31 c | 477 | 720 617 8927 | 6655 477 33 | 0.000 % | 58.30/58.32 c | 814 | 720 617 8927 | 7320 814 32 | 0.000 % | 58.30/58.35 c | 1321 | 720 617 8927 | 8052 1321 32 | 0.000 % | 58.30/58.38 c | 2080 | 720 617 8927 | 8857 2080 33 | 0.000 % | 58.39/58.43 c | 3221 | 720 617 8927 | 9743 3221 34 | 0.000 % | 58.49/58.51 c | 4929 | 720 617 8927 | 10717 4929 34 | 0.000 % | 58.59/58.67 c | 7492 | 720 617 8927 | 11789 7492 36 | 0.000 % | 58.89/58.95 c | 11339 | 720 617 8927 | 12968 11339 38 | 0.000 % | 59.39/59.42 c | 17105 | 720 617 8927 | 14265 10572 42 | 0.000 % | 60.09/60.11 c | 25757 | 720 617 8927 | 15692 12047 43 | 0.000 % | 61.19/61.29 c | 38732 | 720 617 8927 | 17261 9229 47 | 0.000 % | 62.99/63.06 c | 58197 | 720 617 8927 | 18987 11337 44 | 0.000 % | 65.70/65.76 c | 87389 | 720 617 8927 | 20886 11900 45 | 0.000 % | 68.60/68.69 c =============================================================================== 69.20/69.29 c core #9 69.20/69.29 c ============================[ Search Statistics ]============================== 69.20/69.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 69.20/69.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 69.20/69.29 c =============================================================================== 69.20/69.29 c | 0 | 814 678 9910 | 5000 0 nan | 0.000 % | 69.30/69.30 c | 100 | 814 678 9910 | 5500 100 40 | 0.000 % | 69.30/69.31 c | 250 | 814 678 9910 | 6050 250 37 | 0.000 % | 69.30/69.32 c | 476 | 814 678 9910 | 6655 476 34 | 0.000 % | 69.30/69.33 c | 813 | 814 678 9910 | 7320 813 35 | 0.000 % | 69.30/69.35 c | 1319 | 814 678 9910 | 8052 1319 35 | 0.000 % | 69.30/69.38 c | 2080 | 814 678 9910 | 8857 2080 34 | 0.000 % | 69.39/69.43 c | 3220 | 814 678 9910 | 9743 3220 34 | 0.000 % | 69.49/69.52 c | 4929 | 814 678 9910 | 10717 4929 34 | 0.000 % | 69.59/69.68 c | 7491 | 814 678 9910 | 11789 7491 36 | 0.000 % | 69.90/69.98 c | 11336 | 814 678 9910 | 12968 11336 39 | 0.000 % | 70.39/70.49 c | 17102 | 814 678 9910 | 14265 10571 43 | 0.000 % | 71.20/71.20 c | 25753 | 814 678 9910 | 15692 12035 41 | 0.000 % | 72.19/72.23 c | 38729 | 814 678 9910 | 17261 9200 45 | 0.000 % | 73.79/73.88 c | 58191 | 814 678 9910 | 18987 11284 46 | 0.000 % | 76.39/76.40 c | 87383 | 814 678 9910 | 20886 11814 46 | 0.000 % | 79.59/79.65 c =============================================================================== 80.19/80.23 c core #10 80.19/80.23 c ============================[ Search Statistics ]============================== 80.19/80.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 80.19/80.23 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 80.19/80.23 c =============================================================================== 80.19/80.23 c | 0 | 873 736 10791 | 5000 0 nan | 0.000 % | 80.19/80.25 c | 101 | 873 736 10791 | 5500 101 52 | 0.000 % | 80.19/80.25 c | 251 | 873 736 10791 | 6050 251 45 | 0.000 % | 80.19/80.26 c | 479 | 873 736 10791 | 6655 479 42 | 0.000 % | 80.19/80.28 c | 817 | 873 736 10791 | 7320 817 37 | 0.000 % | 80.19/80.30 c | 1325 | 873 736 10791 | 8052 1325 35 | 0.000 % | 80.30/80.33 c | 2084 | 873 736 10791 | 8857 2084 34 | 0.000 % | 80.30/80.38 c | 3223 | 873 736 10791 | 9743 3223 33 | 0.000 % | 80.39/80.47 c | 4931 | 873 736 10791 | 10717 4931 34 | 0.000 % | 80.59/80.63 c | 7494 | 873 736 10791 | 11789 7494 35 | 0.000 % | 80.89/80.95 c | 11338 | 873 736 10791 | 12968 11338 40 | 0.000 % | 81.40/81.41 c | 17106 | 873 736 10791 | 14265 10565 43 | 0.000 % | 82.09/82.11 c | 25755 | 873 736 10791 | 15692 12022 41 | 0.000 % | 83.09/83.19 c | 38729 | 873 736 10791 | 17261 9199 45 | 0.000 % | 84.89/84.97 c | 58191 | 873 736 10791 | 18987 11281 44 | 0.000 % | 87.49/87.51 c | 87385 | 873 736 10791 | 20886 11840 48 | 0.000 % | 90.70/90.72 c =============================================================================== 91.20/91.29 c core #11 91.20/91.29 c ============================[ Search Statistics ]============================== 91.20/91.29 c | Conflicts | ORIGINAL | LEARNT | Progress | 91.20/91.29 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 91.20/91.29 c =============================================================================== 91.20/91.29 c | 0 | 983 794 11774 | 5000 0 nan | 0.000 % | 91.29/91.31 c | 101 | 983 794 11774 | 5500 101 42 | 0.000 % | 91.29/91.32 c | 251 | 983 794 11774 | 6050 251 39 | 0.000 % | 91.29/91.33 c | 477 | 983 794 11774 | 6655 477 33 | 0.000 % | 91.29/91.34 c | 816 | 983 794 11774 | 7320 816 32 | 0.000 % | 91.29/91.36 c | 1322 | 983 794 11774 | 8052 1322 30 | 0.000 % | 91.29/91.39 c | 2081 | 983 794 11774 | 8857 2081 30 | 0.000 % | 91.40/91.45 c | 3221 | 983 794 11774 | 9743 3221 32 | 0.000 % | 91.49/91.55 c | 4930 | 983 794 11774 | 10717 4930 34 | 0.000 % | 91.69/91.71 c | 7494 | 983 794 11774 | 11789 7494 34 | 0.000 % | 91.90/91.98 c | 11340 | 983 794 11774 | 12968 11340 35 | 0.000 % | 92.40/92.46 c | 17109 | 983 794 11774 | 14265 10594 38 | 0.000 % | 93.10/93.13 c | 25760 | 983 794 11774 | 15692 12060 43 | 0.000 % | 94.09/94.14 c | 38740 | 983 794 11774 | 17261 9251 44 | 0.000 % | 95.79/95.80 c | 58201 | 983 794 11774 | 18987 11345 44 | 0.000 % | 98.39/98.45 c | 87395 | 983 794 11774 | 20886 11917 46 | 0.000 % | 102.49/102.58 c | 131187 | 983 794 11774 | 22974 13715 45 | 0.000 % | 104.19/104.27 c =============================================================================== 105.00/105.03 c core #12 105.00/105.03 c ============================[ Search Statistics ]============================== 105.00/105.03 c | Conflicts | ORIGINAL | LEARNT | Progress | 105.00/105.03 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 105.00/105.03 c =============================================================================== 105.00/105.03 c | 0 | 1081 851 12720 | 5000 0 nan | 0.000 % | 105.00/105.06 c | 103 | 1081 851 12720 | 5500 103 65 | 0.000 % | 105.00/105.06 c | 253 | 1081 851 12720 | 6050 253 48 | 0.000 % | 105.00/105.07 c | 479 | 1081 851 12720 | 6655 479 40 | 0.000 % | 105.00/105.09 c | 816 | 1081 851 12720 | 7320 816 37 | 0.000 % | 105.09/105.11 c | 1323 | 1081 851 12720 | 8052 1323 37 | 0.000 % | 105.09/105.14 c | 2082 | 1081 851 12720 | 8857 2082 36 | 0.000 % | 105.19/105.20 c | 3222 | 1081 851 12720 | 9743 3222 35 | 0.000 % | 105.30/105.30 c | 4931 | 1081 851 12720 | 10717 4931 36 | 0.000 % | 105.40/105.46 c | 7495 | 1081 851 12720 | 11789 7495 37 | 0.000 % | 105.69/105.79 c | 11340 | 1081 851 12720 | 12968 11340 38 | 0.000 % | 106.20/106.23 c | 17107 | 1081 851 12720 | 14265 10568 38 | 0.000 % | 106.79/106.84 c | 25756 | 1081 851 12720 | 15692 12028 37 | 0.000 % | 107.89/107.93 c | 38730 | 1081 851 12720 | 17261 9219 38 | 0.000 % | 109.49/109.55 c | 58191 | 1081 851 12720 | 18987 11342 41 | 0.000 % | 111.89/111.96 c | 87384 | 1081 851 12720 | 20886 11890 44 | 0.000 % | 115.79/115.86 c | 131177 | 1081 851 12720 | 22974 13704 47 | 0.000 % | 116.19/116.20 c =============================================================================== 116.19/116.20 c #cores: 12 116.19/116.20 c Final Weight: 12 116.19/116.20 o 12 116.19/116.20 s OPTIMUM FOUND 116.19/116.20 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 116.19/116.20 c Total CPU time: 114.645 s
OK 12
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689840-1277896348/watcher-2689840-1277896348 -o /tmp/evaluation-result-2689840-1277896348/solver-2689840-1277896348 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689840-1277896348.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.02 2.00 4/178 22975 /proc/meminfo: memFree=31564392/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=2576 CPUtime=0 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 291 0 0 0 0 0 0 0 25 0 1 0 163226537 2637824 207 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 3 0 0 0 /proc/22975/statm: 644 207 143 303 0 339 0 [startup+0.0941029 s] /proc/loadavg: 2.00 2.02 2.00 4/178 22975 /proc/meminfo: memFree=31564392/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=3500 CPUtime=0.08 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 511 0 0 0 8 0 0 0 25 0 1 0 163226537 3584000 427 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 875 427 143 303 0 570 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3500 [startup+0.101107 s] /proc/loadavg: 2.00 2.02 2.00 4/178 22975 /proc/meminfo: memFree=31564392/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=3500 CPUtime=0.09 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 526 0 0 0 9 0 0 0 25 0 1 0 163226537 3584000 442 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 875 443 143 303 0 570 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3500 [startup+0.30107 s] /proc/loadavg: 2.00 2.02 2.00 4/178 22975 /proc/meminfo: memFree=31564392/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=4952 CPUtime=0.29 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 874 0 0 0 29 0 0 0 25 0 1 0 163226537 5070848 790 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 1238 790 143 303 0 933 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4952 [startup+0.700996 s] /proc/loadavg: 2.00 2.02 2.00 4/178 22975 /proc/meminfo: memFree=31564392/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=6832 CPUtime=0.69 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 1364 0 0 0 68 1 0 0 25 0 1 0 163226537 6995968 1280 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 1708 1280 143 303 0 1403 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 6832 [startup+1.50086 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22976 /proc/meminfo: memFree=31558432/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=10664 CPUtime=1.49 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 2301 0 0 0 147 2 0 0 25 0 1 0 163226537 10919936 2217 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 2666 2217 143 303 0 2361 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10664 [startup+3.10052 s] /proc/loadavg: 2.00 2.02 2.00 3/179 22976 /proc/meminfo: memFree=31552976/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=17528 CPUtime=3.09 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 4022 0 0 0 305 4 0 0 25 0 1 0 163226537 17948672 3938 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 4382 3938 143 303 0 4077 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17528 [startup+6.30103 s] /proc/loadavg: 2.00 2.01 2.00 3/179 22976 /proc/meminfo: memFree=31539416/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=32280 CPUtime=6.29 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 7702 0 0 0 620 9 0 0 25 0 1 0 163226537 33054720 7618 4089446400 134512640 135751879 4291500624 18446744073709551615 134516333 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 8070 7618 143 303 0 7765 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 32280 [startup+12.7009 s] /proc/loadavg: 2.00 2.01 2.00 3/179 22976 /proc/meminfo: memFree=31523036/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=43912 CPUtime=12.69 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 10624 0 0 0 1252 17 0 0 25 0 1 0 163226537 44965888 10540 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 10978 10540 146 303 0 10673 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43912 [startup+25.5007 s] /proc/loadavg: 2.00 2.01 2.00 3/179 22976 /proc/meminfo: memFree=31490488/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=78256 CPUtime=25.49 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 19208 0 0 0 2513 36 0 0 25 0 1 0 163226537 80134144 19124 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 19564 19124 146 303 0 19259 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 78256 [startup+51.1012 s] /proc/loadavg: 2.00 2.01 2.00 3/179 22977 /proc/meminfo: memFree=31431296/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=139992 CPUtime=51.09 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 34636 0 0 0 5041 68 0 0 25 0 1 0 163226537 143351808 34552 4089446400 134512640 135751879 4291500624 18446744073709551615 134618457 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 34998 34552 146 303 0 34693 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 139992 [startup+102.306 s] /proc/loadavg: 2.00 2.01 2.00 3/179 22978 /proc/meminfo: memFree=31303924/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=258836 CPUtime=102.3 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 64352 0 0 0 10093 137 0 0 25 0 1 0 163226537 265048064 64268 4089446400 134512640 135751879 4291500624 18446744073709551615 134649786 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 64709 64268 146 303 0 64404 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 258836 Solver just ended. Dumping a history of the last processes samples [startup+108.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31290028/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=272056 CPUtime=108.7 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 67652 0 0 0 10725 145 0 0 25 0 1 0 163226537 278585344 67568 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 68014 67568 146 303 0 67709 0 Current children cumulated CPU time (s) 108.7 Current children cumulated vsize (KiB) 272056 [startup+111.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31287544/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=276724 CPUtime=111.89 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 68819 0 0 0 11040 149 0 0 25 0 1 0 163226537 283365376 68735 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 69181 68735 146 303 0 68876 0 Current children cumulated CPU time (s) 111.89 Current children cumulated vsize (KiB) 276724 [startup+113.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31282212/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=280948 CPUtime=113.49 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 69879 0 0 0 11198 151 0 0 25 0 1 0 163226537 287690752 69795 4089446400 134512640 135751879 4291500624 18446744073709551615 134616444 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 70237 69795 146 303 0 69932 0 Current children cumulated CPU time (s) 113.49 Current children cumulated vsize (KiB) 280948 [startup+115.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31278120/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=287020 CPUtime=115.09 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 71383 0 0 0 11355 154 0 0 25 0 1 0 163226537 293908480 71299 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 71755 71299 146 303 0 71450 0 Current children cumulated CPU time (s) 115.09 Current children cumulated vsize (KiB) 287020 [startup+115.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31273900/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=289924 CPUtime=115.9 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 72118 0 0 0 11434 156 0 0 25 0 1 0 163226537 296882176 72034 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 72481 72035 146 303 0 72176 0 Current children cumulated CPU time (s) 115.9 Current children cumulated vsize (KiB) 289924 [startup+116.101 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31273900/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=290716 CPUtime=116.1 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 72319 0 0 0 11454 156 0 0 25 0 1 0 163226537 297693184 72235 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 72679 72235 146 303 0 72374 0 Current children cumulated CPU time (s) 116.1 Current children cumulated vsize (KiB) 290716 [startup+116.201 s] /proc/loadavg: 2.00 2.00 2.00 3/179 22978 /proc/meminfo: memFree=31273900/32950940 swapFree=67111528/67111528 [pid=22975] ppid=22973 vsize=291112 CPUtime=116.19 /proc/22975/stat : 22975 (wbo1.4a) R 22973 22975 22746 0 -1 4202496 72408 0 0 0 11463 156 0 0 25 0 1 0 163226537 298098688 72324 4089446400 134512640 135751879 4291500624 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/22975/statm: 72778 72324 146 303 0 72473 0 Current children cumulated CPU time (s) 116.19 Current children cumulated vsize (KiB) 291112 Child status: 0 Real time (s): 116.219 CPU time (s): 116.221 CPU user time (s): 114.645 CPU system time (s): 1.57676 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 291112 getrusage(RUSAGE_CHILDREN,...) data: user time used= 114.645 system time used= 1.57676 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 72413 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 6 involuntary context switches= 87 runsolver used 0.174973 second user time and 0.363944 second system time The end
Begin job on node117 at 2010-06-30 13:12:28 IDJOB=2689840 IDBENCH=78781 IDSOLVER=1200 FILE ID=node117/2689840-1277896348 PBS_JOBID= 11197155 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.1111223220--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-2689840-1277896348/watcher-2689840-1277896348 -o /tmp/evaluation-result-2689840-1277896348/solver-2689840-1277896348 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689840-1277896348.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 27d3bd64d93eb8804d56550cbc3e68e3 RANDOM SEED=73904866 node117.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.799 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.59 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.799 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.799 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.799 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.799 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.85 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.799 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.799 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.799 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950940 kB MemFree: 31564912 kB Buffers: 180096 kB Cached: 851192 kB SwapCached: 0 kB Active: 666804 kB Inactive: 577732 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950940 kB LowFree: 31564912 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2972 kB Writeback: 0 kB AnonPages: 213664 kB Mapped: 16424 kB Slab: 77356 kB PageTables: 5292 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586996 kB Committed_AS: 362944 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 node117 at 2010-06-30 13:14:24