Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
wbo 1.4a | OPTIMUM | 608.899 | 608.896 |
Name | /SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/ tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo |
MD5SUM | 820e833470f89e38c3db46a3ad325d3f |
Bench Category | SOFT-SMALLINT-LIN (only soft constraints, small integers, linear constraints) |
Best result obtained on this benchmark | MOPT |
Best cost obtained on this benchmark | 7 |
Best CPU time to get the best result obtained on this benchmark | 437.198 |
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 | 2707 |
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 | 136180 |
Min constraint cost | 1 |
Max constraint cost | 100 |
Sum of constraints costs | 136179 |
Biggest number in a constraint | 25 |
Number of bits of the biggest number in a constraint | 5 |
Biggest sum of numbers in a constraint | 815 |
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-2689629-1277929581.wbo. 0.00/0.00 c Instance file HOME/instance-2689629-1277929581.wbo 0.00/0.00 c File size is 96759 bytes. 0.00/0.00 c Highest Coefficient sum: 815 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.01 c | 100 | 231 2707 8338 | 5500 100 19 | 0.002 % | 0.00/0.01 c | 250 | 231 2707 8338 | 6050 250 24 | 0.002 % | 0.00/0.02 c | 476 | 231 2707 8338 | 6655 476 28 | 0.002 % | 0.00/0.02 c | 814 | 231 2707 8338 | 7320 814 26 | 0.002 % | 0.03/0.04 c | 1320 | 231 2707 8338 | 8052 1320 24 | 0.002 % | 0.03/0.06 c | 2079 | 231 2707 8338 | 8857 2079 27 | 0.002 % | 0.08/0.10 c | 3218 | 231 2707 8338 | 9743 3218 26 | 0.002 % | 0.08/0.17 c | 4928 | 231 2707 8338 | 10717 4928 28 | 0.002 % | 0.18/0.28 c | 7491 | 231 2707 8338 | 11789 7491 29 | 0.002 % | 0.38/0.48 c | 11338 | 231 2707 8338 | 12968 11338 31 | 0.002 % | 0.78/0.83 c | 17105 | 231 2707 8338 | 14265 10579 34 | 0.002 % | 1.38/1.49 c | 25755 | 231 2707 8338 | 15692 12056 35 | 0.002 % | 2.28/2.37 c | 38731 | 231 2707 8338 | 17261 9245 34 | 0.002 % | 3.69/3.71 c | 58195 | 231 2707 8338 | 18987 11328 34 | 0.002 % | 5.99/6.01 c | 87387 | 231 2707 8338 | 20886 11895 36 | 0.002 % | 10.09/10.13 c | 131176 | 231 2707 8338 | 22974 13721 34 | 0.002 % | 16.68/16.77 c | 196860 | 231 2707 8338 | 25272 21682 39 | 0.002 % | 27.69/27.78 c | 295387 | 231 2707 8338 | 27799 16043 39 | 0.002 % | 44.59/44.63 c | 443176 | 231 2707 8338 | 30579 23047 38 | 0.002 % | 62.59/62.68 c =============================================================================== 66.58/66.61 c core #1 66.58/66.61 c ============================[ Search Statistics ]============================== 66.58/66.61 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.58/66.61 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 66.58/66.61 c =============================================================================== 66.58/66.61 c | 0 | 1585 5272 20306 | 5000 0 nan | 0.000 % | 66.68/66.74 c | 101 | 1585 5272 20306 | 5500 101 20 | 0.000 % | 66.68/66.74 c | 251 | 1585 5272 20306 | 6050 251 25 | 0.000 % | 66.68/66.75 c | 476 | 1585 5272 20306 | 6655 476 28 | 0.000 % | 66.68/66.78 c | 814 | 1585 5272 20306 | 7320 814 26 | 0.000 % | 66.68/66.79 c | 1320 | 1585 5272 20306 | 8052 1320 24 | 0.000 % | 66.79/66.82 c | 2080 | 1585 5272 20306 | 8857 2080 24 | 0.000 % | 66.79/66.87 c | 3219 | 1585 5272 20306 | 9743 3219 25 | 0.000 % | 66.88/66.95 c | 4929 | 1585 5272 20306 | 10717 4929 26 | 0.000 % | 66.99/67.09 c | 7493 | 1585 5272 20306 | 11789 7493 27 | 0.000 % | 67.29/67.33 c | 11338 | 1585 5272 20306 | 12968 11338 29 | 0.000 % | 67.68/67.71 c | 17107 | 1585 5272 20306 | 14265 10579 31 | 0.000 % | 68.28/68.31 c | 25756 | 1585 5272 20306 | 15692 12046 31 | 0.000 % | 69.19/69.29 c | 38732 | 1585 5272 20306 | 17261 9254 33 | 0.000 % | 70.88/70.98 c | 58194 | 1585 5272 20306 | 18987 11385 33 | 0.000 % | 73.88/73.92 c | 87386 | 1585 5272 20306 | 20886 11945 37 | 0.000 % | 78.38/78.43 c | 131176 | 1585 5272 20306 | 22974 13763 35 | 0.000 % | 84.29/84.35 c =============================================================================== 85.59/85.64 c core #2 85.59/85.64 c ============================[ Search Statistics ]============================== 85.59/85.64 c | Conflicts | ORIGINAL | LEARNT | Progress | 85.59/85.64 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 85.59/85.64 c =============================================================================== 85.59/85.64 c | 0 | 2939 7793 32117 | 5000 0 nan | 0.000 % | 85.59/85.67 c | 101 | 2939 7793 32117 | 5500 101 22 | 0.000 % | 85.59/85.67 c | 252 | 2939 7793 32117 | 6050 252 26 | 0.000 % | 85.59/85.69 c | 477 | 2939 7793 32117 | 6655 477 26 | 0.000 % | 85.70/85.70 c | 815 | 2939 7793 32117 | 7320 815 27 | 0.000 % | 85.70/85.73 c | 1321 | 2939 7793 32117 | 8052 1321 27 | 0.000 % | 85.70/85.77 c | 2083 | 2939 7793 32117 | 8857 2083 29 | 0.000 % | 85.79/85.82 c | 3222 | 2939 7793 32117 | 9743 3222 29 | 0.000 % | 85.89/85.92 c | 4930 | 2939 7793 32117 | 10717 4930 29 | 0.000 % | 85.99/86.09 c | 7494 | 2939 7793 32117 | 11789 7494 29 | 0.000 % | 86.29/86.37 c | 11339 | 2939 7793 32117 | 12968 11339 29 | 0.000 % | 86.80/86.84 c | 17107 | 2939 7793 32117 | 14265 10573 31 | 0.000 % | 87.49/87.59 c | 25761 | 2939 7793 32117 | 15692 12037 32 | 0.000 % | 88.78/88.84 c | 38737 | 2939 7793 32117 | 17261 9205 32 | 0.000 % | 90.79/90.88 c | 58198 | 2939 7793 32117 | 18987 11302 35 | 0.000 % | 93.89/94.00 c | 87391 | 2939 7793 32117 | 20886 11867 35 | 0.000 % | 98.39/98.40 c | 131180 | 2939 7793 32117 | 22974 13679 35 | 0.000 % | 106.39/106.44 c | 196864 | 2939 7793 32117 | 25272 21680 36 | 0.000 % | 119.08/119.13 c | 295391 | 2939 7793 32117 | 27799 16106 38 | 0.000 % | 137.69/137.75 c | 443182 | 2939 7793 32117 | 30579 24902 37 | 0.000 % | 142.19/142.27 c =============================================================================== 145.69/145.70 c core #3 145.69/145.70 c ============================[ Search Statistics ]============================== 145.69/145.70 c | Conflicts | ORIGINAL | LEARNT | Progress | 145.69/145.70 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 145.69/145.70 c =============================================================================== 145.69/145.70 c | 0 | 4311 10295 43907 | 5000 0 nan | 0.000 % | 145.69/145.74 c | 102 | 4311 10295 43907 | 5500 102 19 | 0.000 % | 145.69/145.75 c | 252 | 4311 10295 43907 | 6050 252 25 | 0.000 % | 145.69/145.76 c | 480 | 4311 10295 43907 | 6655 480 24 | 0.000 % | 145.69/145.78 c | 818 | 4311 10295 43907 | 7320 818 23 | 0.000 % | 145.79/145.82 c | 1324 | 4311 10295 43907 | 8052 1324 24 | 0.000 % | 145.79/145.86 c | 2083 | 4311 10295 43907 | 8857 2083 27 | 0.000 % | 145.88/145.94 c | 3222 | 4311 10295 43907 | 9743 3222 27 | 0.000 % | 145.99/146.06 c | 4932 | 4311 10295 43907 | 10717 4932 27 | 0.000 % | 146.19/146.27 c | 7495 | 4311 10295 43907 | 11789 7495 28 | 0.000 % | 146.58/146.68 c | 11339 | 4311 10295 43907 | 12968 11339 28 | 0.000 % | 147.19/147.26 c | 17108 | 4311 10295 43907 | 14265 10570 31 | 0.000 % | 147.98/148.08 c | 25757 | 4311 10295 43907 | 15692 12035 31 | 0.000 % | 149.28/149.38 c | 38731 | 4311 10295 43907 | 17261 9214 33 | 0.000 % | 151.38/151.46 c | 58192 | 4311 10295 43907 | 18987 11331 34 | 0.000 % | 154.89/155.00 c | 87385 | 4311 10295 43907 | 20886 11874 36 | 0.000 % | 160.98/161.00 c | 131174 | 4311 10295 43907 | 22974 13666 37 | 0.000 % | 169.19/169.25 c | 196858 | 4311 10295 43907 | 25272 21675 38 | 0.000 % | 181.79/181.81 c | 295385 | 4311 10295 43907 | 27799 14413 36 | 0.000 % | 201.30/201.38 c | 443176 | 4311 10295 43907 | 30579 24940 37 | 0.000 % | 223.20/223.27 c =============================================================================== 227.70/227.73 c core #4 227.70/227.73 c ============================[ Search Statistics ]============================== 227.70/227.73 c | Conflicts | ORIGINAL | LEARNT | Progress | 227.70/227.73 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 227.70/227.73 c =============================================================================== 227.70/227.73 c | 0 | 5710 12742 55538 | 5000 0 nan | 0.000 % | 227.70/227.78 c | 100 | 5710 12742 55538 | 5500 100 20 | 0.000 % | 227.70/227.79 c | 253 | 5710 12742 55538 | 6050 253 21 | 0.000 % | 227.79/227.81 c | 478 | 5710 12742 55538 | 6655 478 28 | 0.000 % | 227.79/227.83 c | 816 | 5710 12742 55538 | 7320 816 27 | 0.000 % | 227.79/227.87 c | 1322 | 5710 12742 55538 | 8052 1322 25 | 0.000 % | 227.89/227.93 c | 2084 | 5710 12742 55538 | 8857 2084 28 | 0.000 % | 227.99/228.01 c | 3223 | 5710 12742 55538 | 9743 3223 28 | 0.000 % | 228.09/228.12 c | 4932 | 5710 12742 55538 | 10717 4932 28 | 0.000 % | 228.29/228.31 c | 7495 | 5710 12742 55538 | 11789 7495 29 | 0.000 % | 228.59/228.62 c | 11339 | 5710 12742 55538 | 12968 11339 28 | 0.000 % | 229.09/229.11 c | 17105 | 5710 12742 55538 | 14265 10563 30 | 0.000 % | 229.90/229.96 c | 25754 | 5710 12742 55538 | 15692 12039 35 | 0.000 % | 231.19/231.24 c | 38728 | 5710 12742 55538 | 17261 9224 32 | 0.000 % | 233.39/233.44 c | 58191 | 5710 12742 55538 | 18987 11333 36 | 0.000 % | 237.19/237.24 c | 87383 | 5710 12742 55538 | 20886 11893 35 | 0.000 % | 242.39/242.49 c | 131173 | 5710 12742 55538 | 22974 13738 35 | 0.000 % | 250.59/250.60 c | 196858 | 5710 12742 55538 | 25272 21656 35 | 0.000 % | 263.29/263.38 c | 295386 | 5710 12742 55538 | 27799 16680 36 | 0.000 % | 282.29/282.36 c | 443175 | 5710 12742 55538 | 30579 25178 34 | 0.000 % | 298.39/298.42 c =============================================================================== 302.59/302.62 c core #5 302.59/302.62 c ============================[ Search Statistics ]============================== 302.59/302.62 c | Conflicts | ORIGINAL | LEARNT | Progress | 302.59/302.62 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 302.59/302.62 c =============================================================================== 302.59/302.62 c | 0 | 7161 15197 67349 | 5065 0 nan | 0.000 % | 302.59/302.68 c | 100 | 7161 15197 67349 | 5572 100 21 | 0.000 % | 302.59/302.69 c | 250 | 7161 15197 67349 | 6129 250 24 | 0.000 % | 302.69/302.70 c | 475 | 7161 15197 67349 | 6742 475 25 | 0.000 % | 302.69/302.72 c | 815 | 7161 15197 67349 | 7416 815 26 | 0.000 % | 302.69/302.76 c | 1323 | 7161 15197 67349 | 8158 1323 27 | 0.000 % | 302.79/302.81 c | 2082 | 7161 15197 67349 | 8974 2082 27 | 0.000 % | 302.79/302.89 c | 3221 | 7161 15197 67349 | 9871 3221 27 | 0.000 % | 302.99/303.03 c | 4929 | 7161 15197 67349 | 10858 4929 28 | 0.000 % | 303.19/303.26 c | 7492 | 7161 15197 67349 | 11944 7492 30 | 0.000 % | 303.60/303.61 c | 11337 | 7161 15197 67349 | 13139 11337 30 | 0.000 % | 304.19/304.28 c | 17104 | 7161 15197 67349 | 14452 10483 34 | 0.000 % | 305.19/305.21 c | 25754 | 7161 15197 67349 | 15898 11860 35 | 0.000 % | 306.59/306.64 c | 38731 | 7161 15197 67349 | 17488 8832 36 | 0.000 % | 308.89/308.91 c | 58194 | 7161 15197 67349 | 19236 10713 37 | 0.000 % | 312.39/312.49 c | 87386 | 7161 15197 67349 | 21160 10906 35 | 0.000 % | 317.89/317.95 c | 131176 | 7161 15197 67349 | 23276 12161 35 | 0.000 % | 327.59/327.69 c | 196864 | 7161 15197 67349 | 25604 19325 36 | 0.000 % | 342.09/342.15 c | 295390 | 7161 15197 67349 | 28164 22621 38 | 0.000 % | 361.70/361.71 c | 443180 | 7161 15197 67349 | 30981 27252 34 | 0.000 % | 391.49/391.52 c | 664863 | 7161 15197 67349 | 34079 27064 34 | 0.000 % | 429.10/429.14 c =============================================================================== 436.49/436.57 c core #6 436.49/436.57 c ============================[ Search Statistics ]============================== 436.49/436.57 c | Conflicts | ORIGINAL | LEARNT | Progress | 436.49/436.57 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 436.49/436.57 c =============================================================================== 436.49/436.57 c | 0 | 8664 17634 79239 | 5878 0 nan | 0.000 % | 436.60/436.65 c | 101 | 8664 17634 79239 | 6465 101 23 | 0.000 % | 436.60/436.66 c | 254 | 8664 17634 79239 | 7112 254 25 | 0.000 % | 436.60/436.67 c | 480 | 8664 17634 79239 | 7823 480 28 | 0.000 % | 436.60/436.70 c | 821 | 8664 17634 79239 | 8605 821 28 | 0.000 % | 436.70/436.74 c | 1329 | 8664 17634 79239 | 9466 1329 28 | 0.000 % | 436.79/436.80 c | 2089 | 8664 17634 79239 | 10413 2089 29 | 0.000 % | 436.79/436.88 c | 3229 | 8664 17634 79239 | 11454 3229 28 | 0.000 % | 436.99/437.05 c | 4938 | 8664 17634 79239 | 12600 4938 28 | 0.000 % | 437.19/437.26 c | 7501 | 8664 17634 79239 | 13860 7501 30 | 0.000 % | 437.59/437.64 c | 11345 | 8664 17634 79239 | 15246 11345 32 | 0.000 % | 438.19/438.29 c | 17111 | 8664 17634 79239 | 16770 9426 33 | 0.000 % | 439.19/439.25 c | 25761 | 8664 17634 79239 | 18447 9639 32 | 0.000 % | 440.89/440.91 c | 38735 | 8664 17634 79239 | 20292 13346 34 | 0.000 % | 443.49/443.58 c | 58198 | 8664 17634 79239 | 22321 12426 34 | 0.000 % | 447.49/447.57 c | 87391 | 8664 17634 79239 | 24553 19194 36 | 0.000 % | 454.30/454.31 c | 131180 | 8664 17634 79239 | 27009 12741 35 | 0.000 % | 464.69/464.71 c | 196864 | 8664 17634 79239 | 29710 21150 36 | 0.000 % | 478.89/478.97 c | 295392 | 8664 17634 79239 | 32681 15231 38 | 0.000 % | 500.09/500.13 c | 443182 | 8664 17634 79239 | 35949 24453 35 | 0.000 % | 532.49/532.52 c | 664866 | 8664 17634 79239 | 39544 35950 38 | 0.000 % | 568.49/568.54 c =============================================================================== 575.89/575.91 c core #7 575.89/575.91 c ============================[ Search Statistics ]============================== 575.89/575.91 c | Conflicts | ORIGINAL | LEARNT | Progress | 575.89/575.91 c | | Vars Ctrs Lits | Limit Clauses Lit/Cl | | 575.89/575.91 c =============================================================================== 575.89/575.91 c | 0 | 10226 20049 91194 | 6683 0 nan | 0.000 % | 575.99/576.00 c | 100 | 10226 20049 91194 | 7351 100 28 | 0.000 % | 575.99/576.01 c | 250 | 10226 20049 91194 | 8086 250 26 | 0.000 % | 575.99/576.03 c | 476 | 10226 20049 91194 | 8895 476 26 | 0.000 % | 575.99/576.05 c | 813 | 10226 20049 91194 | 9784 813 26 | 0.000 % | 576.09/576.10 c | 1320 | 10226 20049 91194 | 10763 1320 26 | 0.000 % | 576.09/576.16 c | 2079 | 10226 20049 91194 | 11839 2079 27 | 0.000 % | 576.19/576.25 c | 3218 | 10226 20049 91194 | 13023 3218 29 | 0.000 % | 576.29/576.40 c | 4928 | 10226 20049 91194 | 14325 4928 32 | 0.000 % | 576.59/576.61 c | 7491 | 10226 20049 91194 | 15758 7491 31 | 0.000 % | 576.89/576.99 c | 11335 | 10226 20049 91194 | 17333 11335 31 | 0.000 % | 577.60/577.61 c | 17108 | 10226 20049 91194 | 19067 17108 32 | 0.000 % | 578.60/578.67 c | 25757 | 10226 20049 91194 | 20974 16187 35 | 0.000 % | 580.29/580.37 c | 38731 | 10226 20049 91194 | 23071 18617 39 | 0.000 % | 583.09/583.13 c | 58193 | 10226 20049 91194 | 25378 14939 36 | 0.000 % | 587.50/587.57 c | 87385 | 10226 20049 91194 | 27916 16769 38 | 0.000 % | 594.19/594.24 c | 131175 | 10226 20049 91194 | 30708 12900 36 | 0.000 % | 604.39/604.50 c | 196860 | 10226 20049 91194 | 33779 23478 36 | 0.000 % | 608.80/608.86 c =============================================================================== 608.80/608.86 c #cores: 7 608.80/608.86 c Final Weight: 7 608.80/608.86 o 7 608.80/608.86 s OPTIMUM FOUND 608.80/608.86 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 608.80/608.86 c Total CPU time: 598.35 s
OK 7
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-2689629-1277929581/watcher-2689629-1277929581 -o /tmp/evaluation-result-2689629-1277929581/solver-2689629-1277929581 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689629-1277929581.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.85 2.43 2.16 4/199 13809 /proc/meminfo: memFree=31008480/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=2664 CPUtime=0 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 303 0 0 0 0 0 0 0 18 0 1 0 134255590 2727936 221 4089446400 134512640 135751879 4289622528 18446744073709551615 135206651 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 666 221 146 303 0 337 0 [startup+0.035377 s] /proc/loadavg: 2.85 2.43 2.16 4/199 13809 /proc/meminfo: memFree=31008480/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=2976 CPUtime=0.03 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 418 0 0 0 3 0 0 0 18 0 1 0 134255590 3047424 312 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 744 312 143 303 0 439 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 2976 [startup+0.100355 s] /proc/loadavg: 2.85 2.43 2.16 4/199 13809 /proc/meminfo: memFree=31008480/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=3504 CPUtime=0.08 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 561 0 0 0 8 0 0 0 18 0 1 0 134255590 3588096 455 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 876 455 143 303 0 571 0 Current children cumulated CPU time (s) 0.08 Current children cumulated vsize (KiB) 3504 [startup+0.300351 s] /proc/loadavg: 2.85 2.43 2.16 4/199 13809 /proc/meminfo: memFree=31008480/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=5088 CPUtime=0.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 928 0 0 0 28 1 0 0 18 0 1 0 134255590 5210112 822 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 1272 822 143 303 0 967 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 5088 [startup+0.70025 s] /proc/loadavg: 2.85 2.43 2.16 4/199 13809 /proc/meminfo: memFree=31008480/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=7332 CPUtime=0.68 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 1486 0 0 0 66 2 0 0 18 0 1 0 134255590 7507968 1380 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 1833 1380 143 303 0 1528 0 Current children cumulated CPU time (s) 0.68 Current children cumulated vsize (KiB) 7332 [startup+1.50111 s] /proc/loadavg: 2.85 2.43 2.16 4/200 13810 /proc/meminfo: memFree=31002396/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=10764 CPUtime=1.48 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 2363 0 0 0 145 3 0 0 18 0 1 0 134255590 11022336 2257 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 2691 2257 143 303 0 2386 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 10764 [startup+3.10085 s] /proc/loadavg: 2.85 2.43 2.16 4/200 13810 /proc/meminfo: memFree=30997312/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=17896 CPUtime=3.09 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 4160 0 0 0 300 9 0 0 20 0 1 0 134255590 18325504 4054 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 4474 4054 143 303 0 4169 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 17896 [startup+6.30029 s] /proc/loadavg: 2.86 2.44 2.16 4/200 13810 /proc/meminfo: memFree=30983604/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=30864 CPUtime=6.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 7374 0 0 0 614 15 0 0 22 0 1 0 134255590 31604736 7268 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 7716 7268 143 303 0 7411 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 30864 [startup+12.7012 s] /proc/loadavg: 2.87 2.45 2.17 4/200 13810 /proc/meminfo: memFree=30960524/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=52140 CPUtime=12.68 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 12712 0 0 0 1244 24 0 0 22 0 1 0 134255590 53391360 12606 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 13035 12606 143 303 0 12730 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52140 [startup+25.5009 s] /proc/loadavg: 2.90 2.47 2.18 4/200 13811 /proc/meminfo: memFree=30921900/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=89372 CPUtime=25.49 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 22015 0 0 0 2506 43 0 0 25 0 1 0 134255590 91516928 21909 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 22343 21909 143 303 0 22038 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 89372 [startup+51.1005 s] /proc/loadavg: 2.86 2.50 2.19 4/200 13811 /proc/meminfo: memFree=30847320/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=161844 CPUtime=51.08 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 40102 0 0 0 5020 88 0 0 25 0 1 0 134255590 165728256 39996 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 40461 39996 143 303 0 40156 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 161844 [startup+102.307 s] /proc/loadavg: 2.72 2.52 2.22 3/179 13841 /proc/meminfo: memFree=30977188/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=211208 CPUtime=102.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 52508 0 0 0 10035 194 0 0 25 0 1 0 134255590 216276992 52372 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 52802 52372 146 303 0 52497 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 211208 [startup+162.301 s] /proc/loadavg: 2.26 2.43 2.20 3/179 13842 /proc/meminfo: memFree=30787032/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=304004 CPUtime=162.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 75678 0 0 0 15921 308 0 0 25 0 1 0 134255590 311300096 75542 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 76001 75542 146 303 0 75696 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 304004 [startup+222.3 s] /proc/loadavg: 2.10 2.35 2.18 3/179 13843 /proc/meminfo: memFree=30667696/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=409260 CPUtime=222.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 101981 0 0 0 21813 416 0 0 25 0 1 0 134255590 419082240 101845 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 102315 101845 146 303 0 102010 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 409260 [startup+282.301 s] /proc/loadavg: 2.03 2.28 2.17 3/179 13845 /proc/meminfo: memFree=30604908/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=465248 CPUtime=282.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 116001 0 0 0 27706 523 0 0 25 0 1 0 134255590 476413952 115865 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 116312 115865 146 303 0 116007 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 465248 [startup+342.3 s] /proc/loadavg: 2.05 2.24 2.16 3/179 13850 /proc/meminfo: memFree=30535212/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=525224 CPUtime=342.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 130983 0 0 0 33603 626 0 0 25 0 1 0 134255590 537829376 130847 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 131306 130847 146 303 0 131001 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 525224 [startup+402.301 s] /proc/loadavg: 2.02 2.19 2.15 3/179 13852 /proc/meminfo: memFree=30405728/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=652560 CPUtime=402.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 162789 0 0 0 39495 734 0 0 25 0 1 0 134255590 668221440 162653 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 7 0 0 0 /proc/13809/statm: 163140 162653 146 303 0 162835 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 652560 [startup+462.3 s] /proc/loadavg: 2.00 2.16 2.14 3/179 13853 /proc/meminfo: memFree=30307364/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=743760 CPUtime=462.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 185639 0 0 0 45398 831 0 0 25 0 1 0 134255590 761610240 185461 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 185940 185461 146 303 0 185635 0 Current children cumulated CPU time (s) 462.29 Current children cumulated vsize (KiB) 743760 [startup+522.301 s] /proc/loadavg: 2.00 2.12 2.13 3/179 13854 /proc/meminfo: memFree=30281412/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=768236 CPUtime=522.3 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 191767 0 0 0 51302 928 0 0 25 0 1 0 134255590 786673664 191589 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 192059 191589 146 303 0 191754 0 Current children cumulated CPU time (s) 522.3 Current children cumulated vsize (KiB) 768236 [startup+582.3 s] /proc/loadavg: 2.00 2.10 2.12 3/179 13856 /proc/meminfo: memFree=30154028/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=582.29 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 57217 1012 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 889732 Solver just ended. Dumping a history of the last processes samples [startup+588.701 s] /proc/loadavg: 2.00 2.10 2.11 3/179 13856 /proc/meminfo: memFree=30154024/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=588.69 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 57847 1022 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 588.69 Current children cumulated vsize (KiB) 889732 [startup+601.501 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153392/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=601.5 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59109 1041 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 134616480 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 601.5 Current children cumulated vsize (KiB) 889732 [startup+604.7 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153260/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=604.69 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59424 1045 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 604.69 Current children cumulated vsize (KiB) 889732 [startup+606.301 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153136/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=606.3 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59582 1048 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 606.3 Current children cumulated vsize (KiB) 889732 [startup+607.901 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153256/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=607.9 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59740 1050 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 607.9 Current children cumulated vsize (KiB) 889732 [startup+608.307 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153256/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=608.3 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59780 1050 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 608.3 Current children cumulated vsize (KiB) 889732 [startup+608.701 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153256/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=608.69 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59818 1051 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 608.69 Current children cumulated vsize (KiB) 889732 [startup+608.801 s] /proc/loadavg: 2.00 2.09 2.11 3/179 13857 /proc/meminfo: memFree=30153256/32951124 swapFree=67111528/67111528 [pid=13809] ppid=13807 vsize=889732 CPUtime=608.8 /proc/13809/stat : 13809 (wbo1.4a) R 13807 13809 13565 0 -1 4202496 222144 0 0 0 59828 1052 0 0 25 0 1 0 134255590 911085568 221915 4089446400 134512640 135751879 4289622528 18446744073709551615 135270609 0 0 4096 3 0 0 0 17 5 0 0 0 /proc/13809/statm: 222433 221915 146 303 0 222128 0 Current children cumulated CPU time (s) 608.8 Current children cumulated vsize (KiB) 889732 Child status: 0 Real time (s): 608.896 CPU time (s): 608.899 CPU user time (s): 598.35 CPU system time (s): 10.5494 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 889812 getrusage(RUSAGE_CHILDREN,...) data: user time used= 598.35 system time used= 10.5494 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 222144 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= 23 involuntary context switches= 2746 runsolver used 1.07584 second user time and 2.19567 second system time The end
Begin job on node107 at 2010-06-30 22:26:21 IDJOB=2689629 IDBENCH=79299 IDSOLVER=1200 FILE ID=node107/2689629-1277929581 PBS_JOBID= 11197410 Free space on /tmp= 74212 MiB SOLVER NAME= wbo 1.4a BENCH NAME= PB10/normalized-PB10/SOFT-SMALLINT-LIN/PB06/submitted-PB06/namasivayam/tsp/normalized-t3002.11tsp11.1900558106--soft-0-100-0.wbo COMMAND LINE= wbo1.4a -file-format=wbo -time-limit=TIMEOUT BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-2689629-1277929581/watcher-2689629-1277929581 -o /tmp/evaluation-result-2689629-1277929581/solver-2689629-1277929581 -C 1800 -W 2000 -M 3800 wbo1.4a -file-format=wbo -time-limit=1800 HOME/instance-2689629-1277929581.wbo TIME LIMIT= 1800 seconds MEMORY LIMIT= 3800 MiB MAX NB THREAD= 0 MD5SUM BENCH= 820e833470f89e38c3db46a3ad325d3f RANDOM SEED=758693858 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: 31009008 kB Buffers: 210812 kB Cached: 1272432 kB SwapCached: 0 kB Active: 676688 kB Inactive: 1121440 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 31009008 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 2804 kB Writeback: 0 kB AnonPages: 315128 kB Mapped: 20304 kB Slab: 79952 kB PageTables: 5388 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 1656744 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 22:36:30