Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 620.909 | 620.891 |
Name | /PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/ normalized-t3002.11tsp11.1900567024--soft-33-100-0.wbo |
MD5SUM | 05d9157cdbd186fca72e4e6dc0ec425d |
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 | 6 |
Best CPU time to get the best result obtained on this benchmark | 341.13 |
Max-Satisfiable | |
Max-(Un)Satisfiability was proved | |
Best value of the cost | |
Optimality of the best cost was proved | |
Number of variables | 231 |
Total number of constraints | 2707 |
Number of soft constraints | 1839 |
Number of constraints which are clauses | 2684 |
Number of constraints which are cardinality constraints (but not clauses) | 22 |
Number of constraints which are nor clauses,nor cardinality constraints | 1 |
Minimum length of a constraint | 2 |
Maximum length of a constraint | 110 |
Top cost | 91769 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 91768 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 755 |
Number of bits of the biggest sum of numbers | 10 |
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-2689548-1277912212.wbo. 0.00/0.00 c Instance file HOME/instance-2689548-1277912212.wbo 0.00/0.00 c File size is 92502 bytes. 0.00/0.00 c Highest Coefficient sum: 755 0.00/0.00 c ============================[ Problem Statistics ]============================= 0.00/0.00 c | | 0.00/0.00 c | Parsing time: 0.01 s | 0.00/0.00 c | Number Variables: 231 | 0.00/0.00 c | Number Clauses: 2684 | 0.00/0.00 c | Number Cardinality: 22 | 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 | 231 2707 8338 | 5000 0 nan | 0.000 % | 0.00/0.00 c | 101 | 231 2707 8338 | 5500 101 19 | 0.002 % | 0.00/0.01 c | 252 | 231 2707 8338 | 6050 252 21 | 0.002 % | 0.00/0.01 c | 477 | 231 2707 8338 | 6655 477 24 | 0.002 % | 0.02/0.02 c | 815 | 231 2707 8338 | 7320 815 27 | 0.002 % | 0.02/0.04 c | 1323 | 231 2707 8338 | 8052 1323 27 | 0.002 % | 0.02/0.06 c | 2082 | 231 2707 8338 | 8857 2082 27 | 0.002 % | 0.02/0.09 c | 3222 | 231 2707 8338 | 9743 3222 27 | 0.002 % | 0.09/0.15 c | 4930 | 231 2707 8338 | 10717 4930 26 | 0.002 % | 0.19/0.27 c | 7495 | 231 2707 8338 | 11789 7495 28 | 0.002 % | 0.39/0.45 c | 11341 | 231 2707 8338 | 12968 11341 29 | 0.002 % | 0.69/0.76 c | 17110 | 231 2707 8338 | 14265 10559 32 | 0.002 % | 1.29/1.32 c | 25761 | 231 2707 8338 | 15692 12009 35 | 0.002 % | 2.29/2.30 c | 38736 | 231 2707 8338 | 17261 9198 36 | 0.002 % | 3.69/3.77 c | 58197 | 231 2707 8338 | 18987 11303 38 | 0.002 % | 6.29/6.36 c | 87389 | 231 2707 8338 | 20886 11862 39 | 0.002 % | 10.29/10.38 c | 131179 | 231 2707 8338 | 22974 13654 38 | 0.002 % | 16.89/16.99 c | 196863 | 231 2707 8338 | 25272 21647 38 | 0.002 % | 26.59/26.65 c | 295393 | 231 2707 8338 | 27799 12800 37 | 0.002 % | 41.79/41.80 c | 443184 | 231 2707 8338 | 30579 18593 37 | 0.002 % | 66.70/66.71 c | 664867 | 231 2707 8338 | 33637 27320 37 | 0.002 % | 84.79/84.86 c =============================================================================== 89.80/89.84 c core #1 89.80/89.84 c ============================[ Search Statistics ]============================== 89.80/89.84 c | Conflicts | ORIGINAL | LEARNT | Progress | 89.80/89.84 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 89.80/89.84 c =============================================================================== 89.80/89.84 c | 0 | 1155 4441 16459 | 5000 0 nan | 0.000 % | 90.00/90.02 c | 101 | 1155 4441 16459 | 5500 101 23 | 0.000 % | 90.00/90.02 c | 251 | 1155 4441 16459 | 6050 251 22 | 0.000 % | 90.00/90.03 c | 476 | 1155 4441 16459 | 6655 476 24 | 0.000 % | 90.00/90.04 c | 813 | 1155 4441 16459 | 7320 813 25 | 0.000 % | 90.00/90.07 c | 1319 | 1155 4441 16459 | 8052 1319 26 | 0.000 % | 90.10/90.11 c | 2078 | 1155 4441 16459 | 8857 2078 27 | 0.000 % | 90.10/90.16 c | 3218 | 1155 4441 16459 | 9743 3218 29 | 0.000 % | 90.20/90.23 c | 4926 | 1155 4441 16459 | 10717 4926 29 | 0.000 % | 90.29/90.35 c | 7488 | 1155 4441 16459 | 11789 7488 28 | 0.000 % | 90.50/90.59 c | 11332 | 1155 4441 16459 | 12968 11332 28 | 0.000 % | 90.99/91.03 c | 17099 | 1155 4441 16459 | 14265 10562 32 | 0.000 % | 91.59/91.61 c | 25748 | 1155 4441 16459 | 15692 12022 32 | 0.000 % | 92.69/92.71 c | 38723 | 1155 4441 16459 | 17261 9191 34 | 0.000 % | 94.50/94.54 c | 58184 | 1155 4441 16459 | 18987 11283 36 | 0.000 % | 97.60/97.67 c | 87376 | 1155 4441 16459 | 20886 11835 38 | 0.000 % | 101.59/101.65 c | 131166 | 1155 4441 16459 | 22974 13638 33 | 0.000 % | 108.39/108.43 c | 196854 | 1155 4441 16459 | 25272 21630 37 | 0.000 % | 119.39/119.40 c | 295385 | 1155 4441 16459 | 27799 14818 38 | 0.000 % | 137.00/137.08 c | 443175 | 1155 4441 16459 | 30579 21480 36 | 0.000 % | 156.50/156.56 c =============================================================================== 160.80/160.82 c core #2 160.80/160.82 c ============================[ Search Statistics ]============================== 160.80/160.82 c | Conflicts | ORIGINAL | LEARNT | Progress | 160.80/160.82 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 160.80/160.82 c =============================================================================== 160.80/160.82 c | 0 | 2076 6145 24471 | 5000 0 nan | 0.000 % | 160.80/160.86 c | 101 | 2076 6145 24471 | 5500 101 14 | 0.000 % | 160.80/160.88 c | 252 | 2076 6145 24471 | 6050 252 18 | 0.000 % | 160.80/160.89 c | 479 | 2076 6145 24471 | 6655 479 20 | 0.000 % | 160.90/160.90 c | 817 | 2076 6145 24471 | 7320 817 25 | 0.000 % | 160.90/160.93 c | 1324 | 2076 6145 24471 | 8052 1324 26 | 0.000 % | 160.90/160.97 c | 2083 | 2076 6145 24471 | 8857 2083 27 | 0.000 % | 160.99/161.02 c | 3223 | 2076 6145 24471 | 9743 3223 27 | 0.000 % | 161.10/161.12 c | 4932 | 2076 6145 24471 | 10717 4932 28 | 0.000 % | 161.20/161.26 c | 7496 | 2076 6145 24471 | 11789 7496 29 | 0.000 % | 161.50/161.52 c | 11341 | 2076 6145 24471 | 12968 11341 29 | 0.000 % | 161.90/161.96 c | 17110 | 2076 6145 24471 | 14265 10578 31 | 0.000 % | 162.60/162.66 c | 25759 | 2076 6145 24471 | 15692 12031 34 | 0.000 % | 163.69/163.76 c | 38735 | 2076 6145 24471 | 17261 9217 35 | 0.000 % | 165.50/165.52 c | 58196 | 2076 6145 24471 | 18987 11287 38 | 0.000 % | 168.20/168.25 c | 87388 | 2076 6145 24471 | 20886 11853 32 | 0.000 % | 172.40/172.43 c | 131177 | 2076 6145 24471 | 22974 13654 34 | 0.000 % | 179.00/179.02 c | 196861 | 2076 6145 24471 | 25272 21606 38 | 0.000 % | 189.69/189.71 c | 295389 | 2076 6145 24471 | 27799 13387 35 | 0.000 % | 206.39/206.43 c | 443178 | 2076 6145 24471 | 30579 20203 38 | 0.000 % | 231.30/231.36 c | 664862 | 2076 6145 24471 | 33637 23072 37 | 0.001 % | 242.01/242.07 c =============================================================================== 246.89/246.98 c core #3 246.89/246.98 c ============================[ Search Statistics ]============================== 246.89/246.98 c | Conflicts | ORIGINAL | LEARNT | Progress | 246.89/246.98 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 246.89/246.98 c =============================================================================== 246.89/246.98 c | 0 | 3006 7839 32479 | 5000 0 nan | 0.000 % | 246.99/247.02 c | 100 | 3006 7839 32479 | 5500 100 27 | 0.000 % | 246.99/247.04 c | 251 | 3006 7839 32479 | 6050 251 26 | 0.000 % | 246.99/247.05 c | 480 | 3006 7839 32479 | 6655 480 27 | 0.000 % | 246.99/247.07 c | 818 | 3006 7839 32479 | 7320 818 26 | 0.000 % | 247.10/247.10 c | 1324 | 3006 7839 32479 | 8052 1324 27 | 0.000 % | 247.10/247.14 c | 2084 | 3006 7839 32479 | 8857 2084 28 | 0.000 % | 247.20/247.20 c | 3223 | 3006 7839 32479 | 9743 3223 27 | 0.000 % | 247.20/247.29 c | 4931 | 3006 7839 32479 | 10717 4931 28 | 0.000 % | 247.40/247.44 c | 7493 | 3006 7839 32479 | 11789 7493 29 | 0.000 % | 247.70/247.72 c | 11337 | 3006 7839 32479 | 12968 11337 32 | 0.000 % | 248.10/248.18 c | 17103 | 3006 7839 32479 | 14265 10558 35 | 0.000 % | 248.90/248.95 c | 25753 | 3006 7839 32479 | 15692 12031 34 | 0.000 % | 250.09/250.17 c | 38728 | 3006 7839 32479 | 17261 9231 37 | 0.000 % | 252.30/252.35 c | 58191 | 3006 7839 32479 | 18987 11339 39 | 0.000 % | 255.60/255.69 c | 87383 | 3006 7839 32479 | 20886 11917 39 | 0.000 % | 260.30/260.33 c | 131172 | 3006 7839 32479 | 22974 13707 36 | 0.000 % | 267.69/267.71 c | 196858 | 3006 7839 32479 | 25272 21683 36 | 0.000 % | 279.10/279.11 c | 295385 | 3006 7839 32479 | 27799 13579 36 | 0.000 % | 295.91/295.95 c | 443175 | 3006 7839 32479 | 30579 19196 34 | 0.000 % | 323.10/323.14 c | 664858 | 3006 7839 32479 | 33637 21824 38 | 0.000 % | 349.31/349.34 c =============================================================================== 352.80/352.80 c core #4 352.80/352.80 c ============================[ Search Statistics ]============================== 352.80/352.80 c | Conflicts | ORIGINAL | LEARNT | Progress | 352.80/352.80 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 352.80/352.80 c =============================================================================== 352.80/352.80 c | 0 | 3942 9499 40370 | 5000 0 nan | 0.000 % | 352.80/352.87 c | 100 | 3942 9499 40370 | 5500 100 23 | 0.000 % | 352.80/352.88 c | 251 | 3942 9499 40370 | 6050 251 24 | 0.000 % | 352.80/352.89 c | 477 | 3942 9499 40370 | 6655 477 29 | 0.000 % | 352.90/352.91 c | 814 | 3942 9499 40370 | 7320 814 27 | 0.000 % | 352.90/352.94 c | 1320 | 3942 9499 40370 | 8052 1320 28 | 0.000 % | 352.90/352.99 c | 2081 | 3942 9499 40370 | 8857 2081 28 | 0.000 % | 353.01/353.06 c | 3220 | 3942 9499 40370 | 9743 3220 28 | 0.000 % | 353.11/353.16 c | 4928 | 3942 9499 40370 | 10717 4928 28 | 0.000 % | 353.30/353.33 c | 7492 | 3942 9499 40370 | 11789 7492 27 | 0.000 % | 353.60/353.62 c | 11337 | 3942 9499 40370 | 12968 11337 28 | 0.000 % | 354.01/354.05 c | 17103 | 3942 9499 40370 | 14265 10565 30 | 0.000 % | 354.80/354.81 c | 25754 | 3942 9499 40370 | 15692 12029 32 | 0.000 % | 356.10/356.18 c | 38728 | 3942 9499 40370 | 17261 9214 35 | 0.000 % | 358.10/358.16 c | 58189 | 3942 9499 40370 | 18987 11307 34 | 0.000 % | 361.20/361.29 c | 87384 | 3942 9499 40370 | 20886 11883 32 | 0.000 % | 366.40/366.45 c | 131173 | 3942 9499 40370 | 22974 13723 37 | 0.000 % | 373.91/373.97 c | 196860 | 3942 9499 40370 | 25272 21714 36 | 0.000 % | 386.01/386.03 c | 295388 | 3942 9499 40370 | 27799 12797 37 | 0.000 % | 403.51/403.54 c | 443177 | 3942 9499 40370 | 30579 19548 34 | 0.000 % | 431.51/431.59 c | 664860 | 3941 9499 40370 | 33637 18262 33 | 0.025 % | 437.01/437.03 c =============================================================================== 442.00/442.08 c core #5 442.00/442.08 c ============================[ Search Statistics ]============================== 442.00/442.08 c | Conflicts | ORIGINAL | LEARNT | Progress | 442.00/442.08 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 442.00/442.08 c =============================================================================== 442.00/442.08 c | 0 | 4921 11159 48382 | 5000 0 nan | 0.000 % | 442.11/442.15 c | 100 | 4921 11159 48382 | 5500 100 20 | 0.000 % | 442.11/442.17 c | 251 | 4921 11159 48382 | 6050 251 21 | 0.000 % | 442.11/442.18 c | 476 | 4921 11159 48382 | 6655 476 26 | 0.000 % | 442.11/442.20 c | 816 | 4921 11159 48382 | 7320 816 24 | 0.000 % | 442.21/442.24 c | 1322 | 4921 11159 48382 | 8052 1322 28 | 0.000 % | 442.21/442.28 c | 2084 | 4921 11159 48382 | 8857 2084 27 | 0.000 % | 442.31/442.35 c | 3224 | 4921 11159 48382 | 9743 3224 29 | 0.000 % | 442.40/442.45 c | 4932 | 4921 11159 48382 | 10717 4932 28 | 0.000 % | 442.60/442.62 c | 7495 | 4921 11159 48382 | 11789 7495 29 | 0.000 % | 442.90/442.92 c | 11339 | 4921 11159 48382 | 12968 11339 29 | 0.000 % | 443.41/443.42 c | 17105 | 4921 11159 48382 | 14265 10566 32 | 0.000 % | 444.11/444.19 c | 25754 | 4921 11159 48382 | 15692 12033 33 | 0.000 % | 445.41/445.43 c | 38729 | 4921 11159 48382 | 17261 9230 31 | 0.000 % | 447.40/447.41 c | 58190 | 4921 11159 48382 | 18987 11315 37 | 0.000 % | 450.60/450.60 c | 87382 | 4921 11159 48382 | 20886 11878 33 | 0.000 % | 455.70/455.78 c | 131173 | 4921 11159 48382 | 22974 13680 34 | 0.000 % | 463.41/463.43 c | 196861 | 4921 11159 48382 | 25272 21707 36 | 0.000 % | 476.11/476.11 c | 295388 | 4921 11159 48382 | 27799 15181 36 | 0.000 % | 493.91/493.97 c | 443178 | 4921 11159 48382 | 30579 24245 37 | 0.000 % | 522.11/522.17 c | 664864 | 4921 11159 48382 | 33637 27484 38 | 0.000 % | 551.91/551.93 c =============================================================================== 558.41/558.41 c core #6 558.41/558.41 c ============================[ Search Statistics ]============================== 558.41/558.41 c | Conflicts | ORIGINAL | LEARNT | Progress | 558.41/558.41 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 558.41/558.41 c =============================================================================== 558.41/558.41 c | 0 | 5928 12809 56425 | 5000 0 nan | 0.000 % | 558.41/558.49 c | 100 | 5928 12809 56425 | 5500 100 20 | 0.000 % | 558.51/558.50 c | 250 | 5928 12809 56425 | 6050 250 28 | 0.000 % | 558.51/558.52 c | 475 | 5928 12809 56425 | 6655 475 25 | 0.000 % | 558.51/558.54 c | 812 | 5928 12809 56425 | 7320 812 25 | 0.000 % | 558.51/558.57 c | 1320 | 5928 12809 56425 | 8052 1320 29 | 0.000 % | 558.61/558.62 c | 2079 | 5928 12809 56425 | 8857 2079 29 | 0.000 % | 558.61/558.70 c | 3220 | 5928 12809 56425 | 9743 3220 31 | 0.000 % | 558.71/558.80 c | 4930 | 5928 12809 56425 | 10717 4930 30 | 0.000 % | 559.01/559.00 c | 7493 | 5928 12809 56425 | 11789 7493 31 | 0.000 % | 559.31/559.33 c | 11337 | 5928 12809 56425 | 12968 11337 30 | 0.000 % | 559.81/559.87 c | 17106 | 5928 12809 56425 | 14265 10574 31 | 0.000 % | 560.71/560.78 c | 25755 | 5928 12809 56425 | 15692 12040 34 | 0.000 % | 562.11/562.16 c | 38730 | 5928 12809 56425 | 17261 9227 37 | 0.000 % | 564.41/564.47 c | 58193 | 5928 12809 56425 | 18987 11337 37 | 0.000 % | 568.01/568.07 c | 87386 | 5928 12809 56425 | 20886 11917 39 | 0.000 % | 573.90/573.92 c | 131175 | 5928 12809 56425 | 22974 13706 38 | 0.000 % | 582.11/582.15 c | 196860 | 5928 12809 56425 | 25272 21690 39 | 0.000 % | 594.80/594.85 c | 295386 | 5928 12809 56425 | 27799 13219 35 | 0.000 % | 613.00/613.06 c | 443176 | 5928 12809 56425 | 30579 18911 37 | 0.000 % | 620.81/620.85 c =============================================================================== 620.81/620.85 c #cores: 6 620.81/620.85 c Final Weight: 6 620.81/620.85 o 6 620.81/620.85 s OPTIMUM FOUND 620.81/620.85 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 -x170 -x171 -x172 -x173 -x174 -x175 -x176 -x177 -x178 -x179 -x180 x181 x182 -x183 -x184 -x185 -x186 -x187 -x188 -x189 -x190 -x191 -x192 -x193 -x194 -x195 -x196 -x197 x198 -x199 -x200 -x201 -x202 -x203 x204 -x205 -x206 -x207 -x208 -x209 -x210 -x211 -x212 -x213 -x214 -x215 -x216 -x217 -x218 x219 -x220 -x221 -x222 x223 -x224 -x225 -x226 -x227 -x228 -x229 -x230 -x231 620.81/620.85 c Total CPU time: 614.907 s
OK 6
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689548-1277912212/watcher-2689548-1277912212 -o /tmp/evaluation-result-2689548-1277912212/solver-2689548-1277912212 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689548-1277912212.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/196 16590 /proc/meminfo: memFree=31008252/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=2664 CPUtime=0 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 304 0 0 0 0 0 0 0 25 0 1 0 132516685 2727936 222 4089446400 134512640 135751879 4289708544 18446744073709551615 134564614 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 666 222 146 303 0 338 0 [startup+0.0222131 s] /proc/loadavg: 2.00 2.00 2.00 4/196 16590 /proc/meminfo: memFree=31008252/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=2848 CPUtime=0.02 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 384 0 0 0 2 0 0 0 25 0 1 0 132516685 2916352 279 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 712 280 143 303 0 407 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 2848 [startup+0.101228 s] /proc/loadavg: 2.00 2.00 2.00 4/196 16590 /proc/meminfo: memFree=31008252/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=3640 CPUtime=0.09 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 567 0 0 0 9 0 0 0 25 0 1 0 132516685 3727360 462 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 910 462 143 303 0 605 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 3640 [startup+0.300154 s] /proc/loadavg: 2.00 2.00 2.00 4/196 16590 /proc/meminfo: memFree=31008252/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=4960 CPUtime=0.29 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 900 0 0 0 29 0 0 0 25 0 1 0 132516685 5079040 795 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 1240 795 143 303 0 935 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 4960 [startup+0.701077 s] /proc/loadavg: 2.00 2.00 2.00 4/196 16590 /proc/meminfo: memFree=31008252/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=7136 CPUtime=0.69 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 1462 0 0 0 68 1 0 0 25 0 1 0 132516685 7307264 1357 4089446400 134512640 135751879 4289708544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 1784 1357 143 303 0 1479 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 7136 [startup+1.50093 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16591 /proc/meminfo: memFree=31001796/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=10836 CPUtime=1.49 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 2386 0 0 0 147 2 0 0 25 0 1 0 132516685 11096064 2281 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 2709 2281 143 303 0 2404 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 10836 [startup+3.10064 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16591 /proc/meminfo: memFree=30996980/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=17444 CPUtime=3.09 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 4028 0 0 0 305 4 0 0 25 0 1 0 132516685 17862656 3923 4089446400 134512640 135751879 4289708544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/16590/statm: 4361 3923 143 303 0 4056 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17444 [startup+6.30105 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16592 /proc/meminfo: memFree=30984952/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=28944 CPUtime=6.29 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 6883 0 0 0 621 8 0 0 22 0 1 0 132516685 29638656 6778 4089446400 134512640 135751879 4289708544 18446744073709551615 134517414 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 7236 6778 143 303 0 6931 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 28944 [startup+12.7009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16592 /proc/meminfo: memFree=30963484/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=49680 CPUtime=12.69 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 12075 0 0 0 1254 15 0 0 25 0 1 0 132516685 50872320 11970 4089446400 134512640 135751879 4289708544 18446744073709551615 134616786 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 12420 11970 143 303 0 12115 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 49680 [startup+25.5006 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16592 /proc/meminfo: memFree=30922420/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=89728 CPUtime=25.49 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 22110 0 0 0 2518 31 0 0 25 0 1 0 132516685 91881472 22005 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 22432 22005 143 303 0 22127 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89728 [startup+51.1009 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16593 /proc/meminfo: memFree=30849028/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=163124 CPUtime=51.09 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 40407 0 0 0 5049 60 0 0 25 0 1 0 132516685 167038976 40302 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 40781 40302 143 303 0 40476 0 Current children cumulated CPU time (s) 51.09 Current children cumulated vsize (KiB) 163124 [startup+102.307 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16594 /proc/meminfo: memFree=30729320/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=280508 CPUtime=102.29 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 69825 0 0 0 10118 111 0 0 25 0 1 0 132516685 287240192 69687 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 70127 69687 146 303 0 69822 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 280508 [startup+162.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16596 /proc/meminfo: memFree=30649664/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=359576 CPUtime=162.3 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 89581 0 0 0 16063 167 0 0 25 0 1 0 132516685 368205824 89443 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 89894 89443 146 303 0 89589 0 Current children cumulated CPU time (s) 162.3 Current children cumulated vsize (KiB) 359576 [startup+222.301 s] /proc/loadavg: 2.00 2.00 2.00 3/197 16597 /proc/meminfo: memFree=30577680/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=432292 CPUtime=222.3 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 107743 0 0 0 22001 229 0 0 25 0 1 0 132516685 442667008 107605 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 108073 107605 146 303 0 107768 0 Current children cumulated CPU time (s) 222.3 Current children cumulated vsize (KiB) 432292 [startup+282.301 s] /proc/loadavg: 2.12 2.03 2.01 3/179 16627 /proc/meminfo: memFree=30449120/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=510276 CPUtime=282.3 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 127245 0 0 0 27950 280 0 0 25 0 1 0 132516685 522522624 127107 4089446400 134512640 135751879 4289708544 18446744073709551615 134616336 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 127569 127107 146 303 0 127264 0 Current children cumulated CPU time (s) 282.3 Current children cumulated vsize (KiB) 510276 [startup+342.301 s] /proc/loadavg: 2.04 2.02 2.00 3/179 16629 /proc/meminfo: memFree=30170360/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=637724 CPUtime=342.3 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 159100 0 0 0 33891 339 0 0 25 0 1 0 132516685 653029376 158962 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 159431 158962 146 303 0 159126 0 Current children cumulated CPU time (s) 342.3 Current children cumulated vsize (KiB) 637724 [startup+402.301 s] /proc/loadavg: 2.01 2.02 2.00 3/179 16630 /proc/meminfo: memFree=29982324/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=688576 CPUtime=402.31 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 171822 0 0 0 39835 396 0 0 25 0 1 0 132516685 705101824 171684 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 172144 171684 146 303 0 171839 0 Current children cumulated CPU time (s) 402.31 Current children cumulated vsize (KiB) 688576 [startup+462.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16659 /proc/meminfo: memFree=30279240/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=775168 CPUtime=462.3 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 193484 0 0 0 45782 448 0 0 25 0 1 0 132516685 793772032 193346 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 193792 193346 146 303 0 193487 0 Current children cumulated CPU time (s) 462.3 Current children cumulated vsize (KiB) 775168 [startup+522.301 s] /proc/loadavg: 2.00 2.01 2.00 3/179 16660 /proc/meminfo: memFree=30191640/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=863504 CPUtime=522.31 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 215534 0 0 0 51725 506 0 0 25 0 1 0 132516685 884228096 215396 4089446400 134512640 135751879 4289708544 18446744073709551615 134616866 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 215876 215396 146 303 0 215571 0 Current children cumulated CPU time (s) 522.31 Current children cumulated vsize (KiB) 863504 [startup+582.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16662 /proc/meminfo: memFree=30091032/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=961044 CPUtime=582.31 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 239948 0 0 0 57672 559 0 0 25 0 1 0 132516685 984109056 239810 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 240261 239810 146 303 0 239956 0 Current children cumulated CPU time (s) 582.31 Current children cumulated vsize (KiB) 961044 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16662 /proc/meminfo: memFree=30090908/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=961044 CPUtime=588.71 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 239948 0 0 0 58307 564 0 0 25 0 1 0 132516685 984109056 239810 4089446400 134512640 135751879 4289708544 18446744073709551615 134516976 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 240261 239810 146 303 0 239956 0 Current children cumulated CPU time (s) 588.71 Current children cumulated vsize (KiB) 961044 [startup+601.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16662 /proc/meminfo: memFree=30090900/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=961308 CPUtime=601.5 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 240013 0 0 0 59574 576 0 0 25 0 1 0 132516685 984379392 239875 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 240327 239875 146 303 0 240022 0 Current children cumulated CPU time (s) 601.5 Current children cumulated vsize (KiB) 961308 [startup+614.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30076020/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=976244 CPUtime=614.31 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 243771 0 0 0 60841 590 0 0 25 0 1 0 132516685 999673856 243633 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 244061 243633 146 303 0 243756 0 Current children cumulated CPU time (s) 614.31 Current children cumulated vsize (KiB) 976244 [startup+617.5 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30071804/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=980476 CPUtime=617.51 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 244799 0 0 0 61158 593 0 0 25 0 1 0 132516685 1004007424 244661 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 245119 244661 146 303 0 244814 0 Current children cumulated CPU time (s) 617.51 Current children cumulated vsize (KiB) 980476 [startup+619.1 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30070312/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=982592 CPUtime=619.11 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 245353 0 0 0 61317 594 0 0 25 0 1 0 132516685 1006174208 245215 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 245648 245215 146 303 0 245343 0 Current children cumulated CPU time (s) 619.11 Current children cumulated vsize (KiB) 982592 [startup+619.901 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30068824/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=983780 CPUtime=619.91 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 245648 0 0 0 61396 595 0 0 25 0 1 0 132516685 1007390720 245510 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 245945 245510 146 303 0 245640 0 Current children cumulated CPU time (s) 619.91 Current children cumulated vsize (KiB) 983780 [startup+620.301 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30067212/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=984440 CPUtime=620.32 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 245795 0 0 0 61436 596 0 0 25 0 1 0 132516685 1008066560 245657 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 246110 245657 146 303 0 245805 0 Current children cumulated CPU time (s) 620.32 Current children cumulated vsize (KiB) 984440 [startup+620.701 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30067212/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=984984 CPUtime=620.71 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 245929 0 0 0 61475 596 0 0 25 0 1 0 132516685 1008623616 245791 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 246246 245791 146 303 0 245941 0 Current children cumulated CPU time (s) 620.71 Current children cumulated vsize (KiB) 984984 [startup+620.801 s] /proc/loadavg: 2.00 2.00 2.00 3/179 16663 /proc/meminfo: memFree=30067212/32951124 swapFree=67111528/67111528 [pid=16590] ppid=16588 vsize=985116 CPUtime=620.81 /proc/16590/stat : 16590 (wbo1.4a) R 16588 16590 16353 0 -1 4202496 245964 0 0 0 61485 596 0 0 25 0 1 0 132516685 1008758784 245826 4089446400 134512640 135751879 4289708544 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 6 0 0 0 /proc/16590/statm: 246279 245826 146 303 0 245974 0 Current children cumulated CPU time (s) 620.81 Current children cumulated vsize (KiB) 985116 Child status: 0 Real time (s): 620.891 CPU time (s): 620.909 CPU user time (s): 614.907 CPU system time (s): 6.00209 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 985116 getrusage(RUSAGE_CHILDREN,...) data: user time used= 614.907 system time used= 6.00209 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 245987 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= 4 involuntary context switches= 919 runsolver used 1.08483 second user time and 2.10468 second system time The end
Begin job on node139 at 2010-06-30 17:36:52 IDJOB=2689548 IDBENCH=78995 IDSOLVER=1200 FILE ID=node139/2689548-1277912212 PBS_JOBID= 11197258 Free space on /tmp= 74124 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/PARTIAL-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900567024--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-2689548-1277912212/watcher-2689548-1277912212 -o /tmp/evaluation-result-2689548-1277912212/solver-2689548-1277912212 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689548-1277912212.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 05d9157cdbd186fca72e4e6dc0ec425d RANDOM SEED=530988104 node139.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.840 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.68 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.840 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.840 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.840 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.840 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.78 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.840 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.840 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.840 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: 31008780 kB Buffers: 201076 kB Cached: 1470332 kB SwapCached: 0 kB Active: 798356 kB Inactive: 997828 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31008780 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2828 kB Writeback: 0 kB AnonPages: 124904 kB Mapped: 20288 kB Slab: 82780 kB PageTables: 4948 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656452 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= 74120 MiB End job on node139 at 2010-06-30 17:47:13