0.00/0.01 c *** MUSer: a MUS extractor ***
0.00/0.01 c *** release date: 2011210 ***
0.00/0.01 c *** release ref: f95464aa99ac ***
0.00/0.01 c *** built: 2011-Feb-10 00:59 ***
0.00/0.01 c *** author: Joao Marques-Silva (jpms@ucd.ie) ***
0.00/0.01 c
0.00/0.01 c *** instance: HOME/instance-3480885-1307606366.cnf ***
0.00/0.01 c
0.00/0.01 c Parsing CPU Time: 0.014997
0.00/0.01 c Running MUSer ...
3.30/3.38 c 0.00% completed ...
10.68/10.79 c 5.75% completed ...
31.99/32.09 c 28.58% completed ...
40.89/40.93 c 43.59% completed ...
50.99/51.09 c 60.83% completed ...
84.50/84.57 c 76.37% completed ...
90.21/90.29 c 82.64% completed ...
115.51/115.54 c 100.00% completed ...
115.51/115.54 c MUS size: 10675
115.51/115.54 s UNSATISFIABLE
115.51/115.54 v 13781 13653 13589 13525 13461 13397 13333 13269 13205 13141 13077 13013 12949 12885 12821 6107 5979 839 5723 5595 5467 5403 5339 5275 8604 5211 5147 5083 5019 4955 4891 4827 4763 4699 8028 4635 7964 7900 4571 7772 19485 1601 7644 19421 19357 19293 7452 19229 19101 7260 19037 7196 18973 7132 18909 18845 363 299 7004 235 6940 18717 3547 6876 3483 6812 3419 6748 3355 6684 3291 6620 6363 6556 3227 6492 12757 6299 6235 12693 6428 12629 12565 12373 17885 12309 17821 3035 17757 17693 2907 17629 17565 2843 2779 17501 17437 2715 17373 17309 17245 17117 17053 2139 2075 2011 1947 1883 1755 1691 1627 16029 1499 15965 1435 15901 1307 15837 1243 15773 15709 1179 1115 1051 15581 15517 987 923 15389 15325 15261 15197 14621 14557 14493 14429 14365 14301 14173 14109 13853 772 132 68 4 12253 12125 11933 11869 11805 3202 3138 764 700 11549 636 572 508 444 13718 13654 13590 13526 13462 13398 13334 13270 13206 13142 13078 13014 12950 12886 12822 6108 5980 5916 5852 840 5788 5724 5660 5596 5404 8733 5340 5276 8605 5212 5148 5084 5020 4956 4892 4828 8093 4700 4636 7965 4572 7901 4508 7773 7709 19486 1602 19422 19358 7517 19294 19230 7389 7325 19102 7261 19038 3868 7197 18974 7133 18910 364 18846 7005 18782 300 236 6941 18718 3548 6877 6813 3484 3420 6749 3356 6685 6621 6557 6364 3228 6300 12758 6493 6429 6236 12694 6172 12630 12566 17886 12374 12310 3036 17694 2972 2908 17630 17566 2844 17502 2716 17438 17374 17310 17246 17182 17118 17054 16926 2140 2076 2012 1948 16606 1884 1756 1692 1628 16094 16030 1500 15966 1372 15902 15838 1308 1244 15774 15710 1180 15646 1116 1052 15582 15518 988 924 15390 15326 15262 15198 14622 14558 14494 14430 14302 14174 14110 13982 13918 13854 773 133 69 5 12254 12126 11998 11870 11742 3203 11678 3139 765 701 637 11422 573 509 445 13719 13591 13527 13463 13399 13335 13271 13207 13143 13079 13015 12951 12887 12823 6109 6045 5981 5917 841 5597 5469 8734 5341 5277 5213 5149 5085 5021 4957 4893 4829 4701 8030 4637 7966 4573 7902 7838 7774 1603 19487 19423 19359 19295 19231 19103 7262 19039 7198 18975 7134 18911 365 7070 18847 301 7006 18783 6942 18719 237 6878 3549 6814 3485 6750 6686 3357 3293 6622 3229 6558 6365 6301 12759 6494 6430 12695 18207 6237 6173 12631 12567 12375 17887 17823 17759 3037 17695 2973 17631 2909 17567 2845 17503 2717 17439 17375 2653 17311 17247 17183 17119 2333 17055 2141 2077 2013 1949 1885 1821 1757 1693 1629 16287 1501 16031 15967 1437 15903 1309 15839 15775 1245 15711 1181 1117 15647 15583 1053 15519 989 925 15391 15327 15263 15199 14623 14559 14495 14431 14303 14239 14175 14111 14047 13983 13919 13855 774 134 70 6 12255 12191 12063 11999 3204 3140 766 11615 702 638 11487 574 510 446 13784 13720 13656 13592 13528 13464 13400 13272 13208 13144 13080 13016 12952 12888 12824 6110 5982 5918 842 5854 5790 5726 5662 5598 5342 5278 5214 5150 5086 5022 4958 4894 4830 4702 8031 7967 4638 7903 4574 4510 7839 7775 1604 19488 7647 19424 19360 19296 4190 7455 19232 19104 7263 19040 7199 18976 3870 7135 18912 18848 366 302 7007 238 6943 18720 3550 6879 6815 3486 3422 6751 3358 6687 6623 3294 6366 6559 3230 6495 6302 12760 6238 12696 6431 6174 12632 12568 12376 17888 17824 12312 3038 17632 2910 17568 2846 17504 17440 2718 17376 17312 17248 17184 17120 17056 16928 2142 2078 2014 1950 1886 16608 1758 1694 1630 1502 16032 15968 15904 1374 1310 15840 15776 1246 15712 1182 15648 1118 1054 15584 15520 990 926 15392 15328 15264 15200 14624 14560 14496 14432 14368 14304 14176 14112 13920 13856 775 135 71 7 12256 12000 11872 11744 3205 11680 3141 767 703 639 575 511 11360 447 13657 13593 13529 13465 13401 13337 13273 13209 13145 13081 13017 12953 12889 12825 6111 5983 843 5471 5407 5343 5279 5215 5151 5087 5023 4959 4895 4831 4767 8032 4703 7904 4575 7840 7776 7712 19489 1605 19425 19361 7520 19297 19233 7328 19105 7264 19041 7200 18977 7136 18913 367 18849 7008 18785 303 239 6944 18721 3551 6880 6816 3487 6752 3423 3359 6688 6624 6367 6560 3231 6303 6496 12761 6432 6239 12697 6175 12633 12569 17889 12377 12313 17761 3039 17697 2975 17633 2911 17569 2847 17505 2719 17441 17377 17249 17185 17057 2143 2079 2015 1951 16609 1887 1759 1695 1631 16289 16097 16033 1503 1439 15969 15905 15841 1311 1247 15777 1183 15713 15649 1119 1055 15585 15521 991 927 15393 15265 15201 14625 14561 14497 14433 14305 14177 14113 13921 13857 776 136 72 8 12257 12193 12129 12065 11937 11873 3206 11681 768 704 640 11425 576 512 448 13786 13722 13594 13530 13466 13402 13338 13274 13210 13146 13082 13018 12954 12890 12826 6112 6048 5984 5920 844 5856 5792 5728 5664 5600 5472 5344 8609 5280 5216 5152 5088 5024 4960 4896 4832 8033 4704 7969 4576 7905 7841 4512 7777 1606 7713 19490 19426 19362 4192 7521 19298 19234 7329 19106 7265 19042 7201 18978 3872 7137 18914 368 7073 18850 304 7009 18786 6945 18722 240 6881 3552 6817 3488 6753 6689 3360 3296 6625 6561 6368 3232 6304 12762 6497 6433 12698 6176 12634 12570 12378 17826 3040 17762 17698 17634 2912 2848 17570 17506 2784 2720 17442 17378 2656 17250 17186 17122 17058 16930 2144 2080 2016 1952 1888 1824 1760 1696 1632 16034 1504 15970 1440 1376 15906 15842 1312 15778 1248 1184 15714 1120 15650 15586 1056 15522 992 928 15394 15330 15266 15202 14626 14562 14498 14434 14306 14242 14178 14114 14050 13922 13858 777 137 73 9 12258 12066 11874 11810 11746 3207 3143 769 11618 705 641 577 513 449 13787 13723 13659 13595 13531 13467 13403 13275 13211 13147 13083 13019 12955 12891 12827 6113 5985 5921 845 5793 8738 5409 5345 5281 8546 5153 5089 5025 4961 4897 4833 8034 4705 7970 4641 7906 4577 7842 7778 1607 7714 19491 7650 19427 19363 7522 19299 19235 7394 7330 19107 7266 19043 18979 3873 7202 7138 18915 7074 18851 369 305 7010 241 6946 18723 3553 6882 3489 6818 6754 3425 3361 3297 6626 6369 6562 3233 6498 6305 12763 6241 12699 6434 6177 12635 12571 12379 17891 17827 17763 3041 17699 17635 2913 17571 2849 17507 17443 2721 2657 17379 17251 17187 17123 17059 2273 2145 2081 2017 1953 1889 1825 1761 1697 1633 16291 16035 1505 1441 15971 15907 1377 15843 1249 15779 15715 1185 1121 15587 1057 15523 993 929 15395 15331 15267 15203 14627 14563 14499 14435 14371 14307 14179 14115 14051 13987 13923 13859 778 138 74 10 12259 12131 12067 12003 3208 11683 3144 770 706 642 578 514 450 13788 13724 13596 13532 13468 13404 13340 13276 13212 13148 13084 13020 12956 12892 12828 6114 5986 846 5858 5730 5666 5602 5474 5346 5282 8547 5218 5154 5090 5026 4962 4898 4834 4770 4706 8035 7971 4578 7907 7843 4514 7779 19492 1608 19428 19364 19300 4194 19236 19108 7267 19044 7203 18980 18916 7139 370 18852 7011 18788 306 242 18724 6947 3554 6883 3490 6819 6755 3362 6691 3298 6627 6370 3234 6563 6306 6499 12764 6242 6435 12700 6178 12636 12572 17892 12380 17828 17764 3042 17700 17636 2914 17572 2850 17508 2722 17444 17380 2658 17252 17188 17124 17060 16932 2146 2082 2018 1954 16612 1890 1826 1762 1698 1634 16036 1506 1442 15972 1378 15908 15844 15780 1186 15716 15652 1122 1058 15588 15524 994 930 15396 15332 15268 15204 14628 14564 14500 14436 14372 14308 14180 14116 14052 13988 13924 13860 779 139 75 11 12260 12068 11940 11748 11684 3081 707 643 579 515 451 13789 13725 13597 13533 13469 13405 13277 13213 13149 13085 13021 12957 12893 12829 6115 6051 5987 5923 847 5859 5795 5667 5475 5411 5347 5283 8548 5155 5091 8420 5027 4963 4899 4771 4707 8036 7972 4579 7908 4515 7844 7780 19493 19429 1545 19365 19301 19237 7460 19109 7332 19045 7268 18981 7204 7140 18917 371 18853 7076 307 7012 6948 18725 243 3555 6884 6820 3491 3427 6756 3363 6692 3299 6628 6564 6371 3235 6307 12765 6500 6436 12701 6179 12637 12573 12381 17829 12317 3043 17765 17701 2979 17637 2915 2851 17573 17509 2723 17445 17381 17317 17253 17189 17125 17061 16933 2083 2019 1955 1891 1763 1699 1635 16293 16101 16037 1507 15973 1443 1379 15909 1315 15845 15781 15717 1187 15653 15589 1059 15525 995 15461 931 15397 867 15333 15269 15205 14629 14565 14501 14437 14373 14245 14181 14117 13989 13925 13861 780 140 76 12 12261 12197 12133 12069 12005 11877 11685 3146 3082 11621 708 644 580 11429 516 452 13790 13662 13598 13534 13470 13406 13342 13278 13214 13150 13086 13022 12958 12894 12830 6116 6052 5988 5924 848 5796 5732 5604 5476 8741 5348 5284 8613 5220 5156 5092 5028 4964 4900 4836 4708 8037 4644 7973 7909 4580 7845 7781 19494 19430 1546 19366 19302 4196 19238 7397 7333 19110 7269 19046 18982 7205 7141 18918 18854 372 308 18790 7013 244 6949 18726 6885 3556 3492 6821 6757 3428 3364 3300 6629 6372 6565 3236 6501 6308 12766 12702 6437 6180 12638 12574 12382 17830 17766 3044 2980 17638 2916 17574 2852 17446 2724 2660 17382 17318 17254 17190 17126 17062 2340 2084 2020 1956 1892 1828 1764 1700 1636 16294 16038 1508 15974 1444 15910 1380 1316 15846 1252 15782 15718 1188 1124 1060 15590 15526 996 932 868 15398 15334 15270 15206 14630 14566 14502 14438 14182 14118 14054 13926 13862 781 141 77 13 12262 12070 11942 11814 11750 3083 709 645 581 517 453 10854 13791 13727 13663 13599 13535 13471 13407 13343 13279 13215 13151 13087 13023 12959 12895 12831 6117 6053 5989 849 5861 5797 5733 5669 5413 8742 5349 5285 5221 5157 5093 5029 4965 4901 4773 8102 4709 8038 7974 4645 7910 7846 7782 19495 7718 19431 1547 19367 19303 4197 7526 19239 7398 19111 7334 7270 19047 7206 18983 18919 7142 373 7078 18855 7014 18791 309 245 18727 6950 6886 3493 6822 3429 6758 3365 6694 6630 6373 3237 6566 6309 6502 12767 6438 12703 6181 12639 12575 12383 17831 17767 3045 17703 2981 17639 2917 17575 2853 17511 2725 17447 17383 2661 17255 17191 17127 17063 2085 2021 1957 16615 1893 1829 1765 1701 1637 16039 1509 1445 15975 1381 15911 15847 1317 15783 15719 1189 15655 1125 15591 1061 15527 997 933 869 15399 15335 15271 14631 14567 14503 14439 14311 14183 14119 14055 13927 13863 782 142 78 14 12263 12135 12071 12007 11943 11879 3148 11623 3084 710 646 582 518 454 10983 13728 13600 13536 13472 13408 13344 13280 13216 13152 13088 13024 12960 12896 12832 6118 5990 5926 850 5862 5670 5606 5542 8743 5350 5286 5222 5158 5094 5030 4966 4902 4838 4774 4710 8039 7975 4582 7911 4518 7847 7783 19496 19432 1548 7655 19368 19304 19240 7463 7335 19112 19048 7207 18984 7143 18920 374 18856 7079 310 7015 18792 6951 18728 246 6887 3494 6823 3430 6759 3366 6695 6631 3302 6567 6374 3238 6310 12768 6503 12704 6246 6439 6182 12640 12576 12384 17896 17832 12320 3046 17704 2982 17640 2918 2854 17576 17512 2726 17448 2662 17384 17320 17256 17192 17128 17064 16936 2086 2022 1958 1894 1766 1702 1638 16104 16040 1510 15976 1446 1382 15912 15848 15784 1254 15720 1126 15656 15592 1062 15528 998 934 15464 15400 870 15336 15272 14632 14568 14504 14440 14248 14184 14120 13992 13928 13864 783 143 79 15 12264 12200 11944 11752 3149 11688 711 647 583 519 455 13793 13729 13601 13537 13473 13409 13345 13281 13217 13153 13089 13025 12961 12897 12833 6119 5991 5927 851 5863 5735 5671 5607 5479 5415 5351 5287 5223 8552 5159 5095 5031 4967 4903 4839 4775 4711 4647 7976 7912 7848 7784 19497 19433 1549 19369 19305 19241 7336 19113 19049 18985 7208 7144 18921 18857 375 311 18793 7016 247 6952 18729 6888 3495 6824 3431 6760 3367 6696 6632 6568 6375 3239 6504 6311 12769 6247 12705 6440 12641 6183 12577 12513 12385 17833 17769 3047 2983 17705 17641 2919 17577 2855 17513 2791 17449 2727 2663 17385 17321 17257 17193 17129 17065 2343 2151 2087 2023 1959 1895 1831 1767 1639 16041 1511 1447 15977 15913 1383 15849 1319 1255 15785 15721 15657 1127 1063 15593 15529 999 15465 935 871 15401 15337 15273 14633 14569 14505 14441 14377 14249 14185 14121 14057 13929 13865 784 144 80 16 12265 12137 12073 12009 11945 11881 11817 11753 3150 11625 712 648 584 520 456 13794 13666 13602 13538 13474 13410 13346 13282 13218 13154 13090 13026 12962 12898 12834 6120 6056 5992 852 5800 5736 5352 5288 5224 8553 5160 8489 5096 5032 4968 4904 4840 4776 8105 4712 8041 7977 4648 4584 7913 7849 7785 19498 7721 19434 1550 19370 19306 7529 19242 19178 4072 19114 7337 19050 7209 18986 18922 7145 376 18858 7017 18794 312 18730 248 6953 6889 3560 3496 6825 3432 6761 3368 6697 6633 3304 6376 3240 6569 6312 6505 12770 6248 6441 12706 6184 12642 12578 12386 17770 3048 17706 2984 2920 17642 17578 2856 17514 2728 17450 17386 2664 17322 17258 17194 2472 2344 17066 2088 2024 1960 16618 1896 1832 1768 1704 1640 16042 1512 1448 15978 15914 1384 15850 1320 15786 1192 15722 1128 15658 1064 15594 15530 1000 936 15466 15402 872 15338 15274 15210 14634 14570 14506 14442 14314 14250 14186 14122 14058 13994 13930 785 145 81 17 12266 3151 11690 713 649 585 521 457 10794 13795 13731 13667 13603 13539 13475 13411 13347 13283 13219 13155 13091 13027 12963 12899 12835 6121 5993 853 5737 5609 5481 5417 5353 5289 8618 8554 5225 5161 5097 5033 4969 4905 4841 4777 8042 4649 7978 4585 7914 4521 7850 7786 7722 19499 19435 1551 7658 19371 19307 19243 7466 19179 7402 19115 7338 19051 7274 7210 18987 7146 18923 18859 377 7082 313 7018 18795 6954 18731 249 6890 6826 3497 3433 6762 3369 6698 3305 6634 3241 6570 6377 6313 12771 6506 6442 12707 6185 12643 12579 12387 17899 17835 12323 3049 17771 17707 2985 17643 2921 2857 17579 17515 2729 17451 2665 17387 17323 17259 17195 17131 2345 17067 2281 2089 2025 1961 1897 1769 1705 1641 1513 16043 1449 15979 1385 15915 1321 15851 1257 15787 1193 15723 15659 1065 15595 1001 15531 937 873 15403 15339 15275 14635 14571 14507 14443 14187 14123 13995 13931 13867 786 146 82 18 12203 12139 12075 12011 11947 11883 11819 11755 3152 714 650 586 522 458 11307 10923 13732 13668 13604 13540 13476 13412 13348 13284 13220 13156 13092 13028 12964 12900 12836 6122 6058 5994 854 5866 5802 5674 5610 5418 8747 5354 5226 5162 5098 5034 4970 4906 4842 4778 8043 4714 4650 7979 4586 7915 7851 7787 19500 7723 19436 1552 19372 7595 19308 19244 7467 19180 19116 7339 7275 19052 18988 7211 7147 18924 18860 378 7083 314 18796 7019 250 6955 18732 6891 3562 3498 6827 3434 6763 3370 6699 3306 6635 6378 6571 6507 6314 12772 12708 6443 12644 6186 12580 12516 12388 12324 17836 17772 3050 2986 17708 17644 2922 2858 17580 17516 2794 2730 17452 17388 2666 17260 2474 17196 17132 17068 2282 2090 2026 1962 1898 1834 1770 1706 1642 16108 1514 16044 15980 1450 1386 15916 15852 1322 1258 15788 1194 15724 1130 15660 1066 15596 1002 15532 938 15468 874 15404 15340 15276 15212 14636 14572 14508 14444 14380 14252 14188 14124 13932 787 147 83 19 12204 12140 11756 3153 11692 715 651 587 523 459 10988 13797 13733 13669 13605 13541 13477 13413 13349 13285 13221 13157 13093 13029 12965 12901 12837 6123 6059 5995 5931 855 5803 5611 5547 5483 5355 5291 5227 5163 8492 5099 5035 4971 4779 8108 8044 4651 7980 4587 7916 7852 7788 19565 19501 19437 1553 19373 19309 7532 19245 7468 19181 19117 7340 19053 7276 7212 18989 18925 7148 379 7084 18861 7020 315 18733 251 6956 6892 3499 6828 3435 6764 6700 3371 3307 6636 6379 6572 6315 6508 12773 6444 12709 6187 12645 12581 12517 12389 12325 3051 17773 2987 17709 17645 2859 17581 2795 17517 2731 17453 2667 17389 17325 17261 17197 17133 17069 2091 2027 1963 1899 1835 1771 16493 1707 1643 1515 16045 15981 1451 1387 15917 1323 15853 15789 1259 15725 1131 15661 15597 1067 15533 1003 939 15469 875 15405 15277 15213 14637 14509 14445 14381 14317 14253 14189 14125 13933 13869 788 148 84 20 12269 12205 12077 12013 11949 11885 11821 11757 3154 11629 716 652 588 524 460 13798 13606 13542 13478 13414 13350 13286 13222 13158 13094 13030 12966 12902 12838 6124 5996 5932 856 5868 5804 5740 5676 5420 5356 5292 5228 5164 5100 5036 4908 4844 4780 4716 8045 4652 7981 4588 7917 4524 7853 7789 19502 4396 19438 1554 7661 7597 19374 19310 19246 4076 19118 19054 7213 18990 7149 18926 380 3756 7085 18862 316 7021 6957 252 18734 6893 3500 6829 3436 6765 18542 3372 6701 3308 6637 6573 6380 6316 12774 6509 6445 12710 6252 6188 12646 12582 12390 17902 17838 3052 17774 2988 17710 17646 2860 17582 2796 17518 2732 17454 17390 17326 17262 2476 17198 17134 17070 2092 2028 1964 1900 1772 1708 1644 1516 16046 1452 15982 1388 15918 15854 1260 15790 15726 1196 1068 15598 15534 1004 940 15470 876 15406 15342 15278 195 15214 14638 14574 14510 14446 14382 14190 14126 14062 13934 13870 789 149 85 21 12206 12142 12014 3155 11694 717 11502 653 589 525 461 13735 13671 13607 13543 13479 13415 13351 13287 13223 13159 13095 13031 12967 12903 12839 6125 5997 857 5805 5677 5485 5421 5357 5293 5229 8558 5165 5101 5037 4973 4909 4845 4781 8110 4717 7982 4589 7918 7854 4525 19567 7790 19503 7662 1555 19439 19375 19311 7470 19247 7406 19183 19119 19055 7214 18991 7150 18927 7086 381 18863 317 7022 18799 253 6958 18735 6894 3501 6830 3437 6766 3373 6702 3309 6638 6381 6574 6510 6317 12775 12711 6446 12647 6189 12583 12519 12391 12327 17839 3053 17775 2989 17711 17647 17583 2861 2797 17519 2733 17455 17391 2669 17327 17263 17199 2477 17135 17071 2157 2093 2029 1965 1901 1773 1709 1645 16111 1517 1453 15983 15919 15855 1325 1261 1197 15727 1133 15663 15599 1069 1005 15535 941 15471 15407 877 15343 15279 15215 196 14639 14575 14511 14447 14191 14127 13999 13935 13871 790 150 86 22 12207 12143 12079 11951 11887 11823 3156 718 654 590 526 462 10991 10863 13800 13736 13672 13608 13544 13480 13416 13352 13288 13224 13160 13096 13032 12968 12904 12840 6126 5998 858 5870 5806 5742 5678 5614 5422 5358 5294 5230 5166 8495 5102 5038 4974 4910 4846 4782 4718 7983 4654 4590 7919 7855 7791 7727 19504 7663 1556 19440 7599 19376 19312 19248 4078 19184 7343 19120 19056 7215 18992 7151 18928 382 7087 3758 18864 7023 318 18800 254 6959 18736 6895 3566 6831 3502 3438 6767 3374 6703 3310 6639 18416 6382 3246 6575 6318 12776 6511 6447 12712 6190 12648 12584 12520 12392 12328 3054 2990 17712 17648 2862 17584 2798 17520 2734 17456 2670 17392 17328 17264 17200 17136 17072 2094 2030 1966 1902 1838 1774 1646 1518 1454 15984 1390 15920 1326 15856 15792 1262 1198 15728 1134 15664 1070 15536 1006 942 15472 15408 878 15280 15216 197 14768 14640 14512 14448 14384 14320 14192 14128 13936 791 151 87 23 12272 12208 12144 12080 12016 11888 11760 3157 11696 719 655 591 527 463 10928 13801 13673 13609 13545 13481 13417 13353 13289 13225 13161 13097 13033 12969 12905 12841 6127 6063 5999 5935 859 5807 5679 5551 5487 5359 5295 5231 5167 5103 5039 4975 4911 4847 4783 4719 8048 7984 7920 4591 4527 7856 7792 19569 7728 19505 1557 19441 7600 19377 7536 19313 19249 19185 19121 7280 19057 7216 18993 7152 18929 383 7088 18865 319 7024 6960 255 18737 6896 6832 3503 6768 3439 3375 6704 3311 6640 3247 6576 6383 6319 12777 6512 6448 12713 6255 6191 12649 12585 12393 17905 17841 3055 17777 2991 17713 17649 17585 2863 2799 17521 2735 17457 2671 17393 17329 17265 17201 17137 17073 2287 2095 16817 2031 1967 1903 1775 16497 1711 1647 1519 1455 15985 15921 15857 1327 1263 15793 1199 15729 15665 1135 1071 1007 15537 943 15473 879 15409 15345 15281 198 15217 14769 14641 14577 14513 14449 14385 14257 14193 14129 14065 792 152 88 24 12273 12209 12017 11953 11825 3158 3094 11633 720 656 592 528 464 11121 13802 13674 13610 13546 13482 13418 13354 13290 13226 13162 13098 13034 12970 12906 12842 6128 6000 5936 5872 860 5808 5744 5680 5616 5360 8561 5168 5104 5040 4976 4912 4848 4784 4720 4656 7985 4592 7921 4528 7857 7793 4400 19506 1558 19442 19378 19314 7473 19250 4080 19186 19122 7281 19058 7217 18994 7153 18930 7089 384 18866 320 7025 256 6961 18738 6897 3568 3504 6833 6769 3440 3376 6705 3312 6641 6384 6577 3248 6513 6320 12778 18290 12714 6449 12650 6192 12586 12522 12394 17906 17842 3056 2992 17714 17650 2864 17586 17522 2800 2736 17458 2672 17394 17266 17202 17138 2352 17074 2096 2032 1968 1904 1840 1776 1712 1648 16114 1520 1456 15986 1392 15922 1328 15858 1264 1200 15730 1136 15666 1072 1008 15538 944 15474 15410 880 15346 15282 15218 199 14642 14514 14450 14194 14130 14002 13938 13874 793 153 89 25 12274 12210 12082 12018 11954 11890 11762 3159 11698 721 657 593 529 465 10802 13803 13739 13675 13611 13547 13483 13419 13355 13291 13227 13163 13099 13035 12971 12907 12843 6129 6001 861 5681 5489 5425 5361 5297 8562 5233 5169 5105 5041 4977 4913 4849 4785 4721 4657 7986 4593 7922 4529 7858 7794 19571 7730 19507 1559 19443 7602 19379 19315 19251 7410 19187 7346 19123 7282 19059 7218 18995 7154 18931 385 7090 3761 18867 7026 321 18803 257 6962 18739 6898 6834 3505 3441 6770 3377 6706 3313 6642 6385 3249 6578 6321 12779 6514 6450 12715 12651 6193 12587 12523 12395 17907 17843 3057 17779 2993 17715 17651 2865 17587 17523 2801 2737 17459 2673 17395 17331 17267 2481 17203 2353 17075 2225 2097 2033 1969 1905 1841 1777 16499 1649 16115 1521 16051 1457 15987 1393 15923 1329 15859 15795 1201 15731 1137 15667 1073 15539 1009 945 15475 15411 881 15347 15283 200 15219 14643 14579 14515 14451 14323 14131 13875 794 154 90 26 12211 12147 12083 11891 11827 3160 11699 722 658 594 530 466 11187 13804 13612 13484 13420 13356 13292 13228 13164 13100 13036 12972 12908 12844 6130 6066 6002 5938 862 5874 5810 5746 5682 5618 5554 5490 5298 8563 5106 5042 4978 4914 4850 4786 4722 8051 4658 7987 4594 7923 4530 7859 7795 4402 19508 1560 7667 19444 19380 19316 19252 4082 7411 19188 7347 19124 19060 7219 18996 7155 18932 386 7091 18868 322 7027 18804 6963 258 18740 6899 6835 3506 6771 3442 3378 6707 3314 6643 18420 3250 6579 6386 6322 12780 6515 6451 12716 6258 6194 12652 12588 12396 12332 17844 3058 17780 2994 17716 17652 17588 2866 2802 17524 2738 17460 2674 17396 17332 17268 2482 17204 17140 17076 2354 2098 2034 1970 1906 1778 1714 1650 1522 16052 1458 15988 1394 1330 15860 1266 1202 15732 1074 15604 1010 15540 15476 946 882 15412 15348 15284 201 15220 14644 14580 14516 14452 14260 14132 14068 13940 13876 795 155 91 27 12212 12084 11956 11892 11828 11764 3161 3097 11636 723 659 595 531 467 10804 13805 13741 13677 13549 13485 13421 13357 13293 13229 13165 13101 13037 12973 12909 12845 6131 6003 5939 863 5427 5235 5171 5107 5043 4979 4915 4851 4723 4659 7988 7924 4531 7860 7796 7732 19509 7668 1561 19445 19381 19317 19253 4083 7412 19189 7348 19125 7284 7220 18997 7156 18933 3763 7092 387 18869 323 7028 18805 259 6964 18741 6900 3571 3507 6836 6772 3443 6708 3379 3315 6644 3251 6387 6580 6516 6323 12781 12717 6452 12653 6195 12589 12525 12397 12333 17845 3059 17781 2995 17717 17653 2867 17589 17525 2739 17461 2675 17397 17269 2483 17205 17141 17077 2099 16821 2035 1971 1907 1843 1779 16501 1715 1651 16117 1523 16053 1459 15989 1395 1331 15861 1267 15797 1203 15733 1139 15669 1075 15605 1011 15541 15477 947 883 15413 15349 15285 15221 202 14645 14581 14517 14453 14389 14133 14005 13877 796 156 92 28 12213 12149 12021 11957 3162 11701 3098 724 660 596 532 468 13806 13742 13678 13614 13550 13486 13422 13358 13294 13230 13166 13102 13038 12974 12910 12846 6132 6068 6004 864 5876 5812 5748 5684 5620 5556 5492 5364 5300 5236 8565 5172 5108 5044 4980 4916 4852 4724 4660 4596 7925 4532 7861 7797 4404 7733 19510 7669 1562 19446 7605 19382 7541 19318 19254 19190 19126 7285 19062 7221 18998 7157 18934 388 7093 18870 7029 324 18806 260 6965 18742 6901 6837 3508 3444 6773 6709 3380 3316 6645 6388 3252 6581 6324 12782 6517 6453 12718 6196 12654 12590 12398 12334 17846 3060 17782 2996 17718 17654 2868 17590 17526 2804 2740 17462 2676 17398 17334 17270 17206 17142 17078 2292 2228 2100 2036 1972 1908 1844 1780 1652 1524 16054 15990 1460 1396 1332 15862 1268 1204 15734 1140 15670 1076 1012 15542 948 15478 884 15414 15350 15286 15222 203 14646 14582 14518 14454 14326 14134 13942 13878 797 157 93 29 12278 12214 12150 11958 11830 11766 3163 11702 3099 725 661 597 533 469 13807 13743 13615 13551 13487 13423 13359 13295 13231 13167 13103 13039 12975 12911 12847 6133 6005 5941 865 5877 5493 5429 5301 8566 5237 5173 5109 5045 4981 4917 4853 8118 4725 8054 4661 7990 4597 7926 4533 7862 7798 7734 19511 1563 19447 7606 19383 7542 19319 7478 19255 7414 19191 19127 19063 7222 18999 7158 18935 389 3765 7094 18871 325 7030 18807 6966 261 18743 6902 6838 3509 6774 3445 3381 6710 3317 6646 18423 3253 6582 6389 6325 12783 6518 6261 12719 6454 6197 12655 12591 12527 12399 17911 17847 3061 17783 2997 17719 17655 2869 17591 2805 17527 2741 17463 2677 17399 17335 17207 17143 17079 2293 2101 16823 2037 1973 1909 1781 16503 1717 1653 16055 1525 1461 15991 1397 1333 15863 1269 1205 15735 1141 1077 15607 1013 15543 15479 949 885 15415 15287 204 15223 14647 14583 14519 14455 14263 14135 14071 13879 798 158 94 30 12279 12215 12151 12087 12023 11895 11831 11703 3164 11639 726 662 598 534 470 13808 13616 13552 13488 13424 13360 13296 13232 13168 13104 13040 12976 12912 12848 6134 5942 866 5814 5750 5686 5622 5558 5494 5302 5238 5174 5110 5046 4982 4918 4854 4726 4662 7991 7927 4598 4534 7863 7799 7735 4406 19512 1564 19448 19384 7543 19320 19256 4086 19192 7351 19064 7223 19000 7159 18936 7095 390 18872 326 7031 18808 262 6967 18744 6903 3510 6839 6775 3446 6711 3382 3318 6647 6390 6583 3254 6519 6326 12784 12720 6455 12656 6198 12592 12528 12400 17848 3062 17784 2998 17720 17656 2870 17592 2806 17528 2742 17464 2678 17336 17272 17208 17080 2294 2102 2038 1974 1910 1782 16504 1718 1654 16056 1526 1462 15992 1398 15928 1334 15864 1206 15736 1142 15672 1078 15608 1014 15544 15480 950 886 15416 15288 15224 205 14648 14584 14520 14456 14392 14264 14136 14072 14008 799 159 95 31 12280 12216 12152 12024 11832 11768 3165 3101 727 663 599 535 471 407 10872 13809 13681 13617 13553 13489 13425 13361 13297 13233 13169 13105 13041 12977 12913 12849 6135 6007 5943 5879 803 5751 5431 5367 5303 5239 5175 5111 5047 4983 4919 4855 4791 4727 4663 7992 4599 7928 4535 7864 7800 4407 7736 19513 1565 19449 7608 19385 19321 19257 19193 19065 7224 19001 7160 18937 3767 7096 18873 7032 327 18809 263 6968 18745 6904 3575 6840 3511 3447 6776 6712 3383 3319 6648 6391 3255 6584 6327 6520 12785 6263 6456 12721 6199 12657 12593 12529 12401 17849 3063 17785 2999 17721 17657 2935 2871 17593 2807 17529 2743 17465 2679 17401 17337 17273 17209 17081 2231 2103 16825 2039 1975 1911 1783 1719 1655 1527 16057 1463 15993 1399 15929 1335 15865 1271 15737 1207 1143 15609 1079 1015 15545 951 15481 15417 887 15353 15289 15225 206 14649 14585 14521 14457 14393 14329 14201 14137 14073 14009 13881 800 160 96 32 12217 12153 12089 12025 11961 11897 3166 3102 728 664 600 536 472 408 10809 13810 13682 13618 13554 13490 13426 13362 13298 13234 13170 13106 13042 12978 12914 12850 6136 6072 6008 5944 5880 804 5816 5688 5624 5560 5368 5304 5240 8505 5112 5048 4920 4856 8121 4792 4728 8057 7993 4664 7929 4600 4536 7865 7801 7737 19514 1566 7673 19450 19386 7545 19322 7481 19258 19194 7289 19066 7225 19002 7161 18938 3768 7097 18874 328 7033 18810 6969 18746 264 6905 3512 6841 3448 6777 3384 6713 3320 6649 18426 6585 6392 3256 6328 12786 6521 6457 12722 6200 12658 12594 12530 12402 17914 12338 17850 3064 17786 3000 17722 17658 2872 2808 17530 2744 17466 2680 17402 17338 17274 17210 17146 17082 2296 2104 2040 1976 1912 1848 1784 1720 1656 16058 1528 1464 15994 1400 15930 1336 15866 1272 15802 15738 15674 1080 15610 1016 15546 952 888 15418 15354 15290 15226 207 14650 14586 14522 14458 14394 14266 14138 14010 13882 801 161 97 33 12218 12154 12026 11898 11770 3167 11706 3103 11642 729 665 601 537 473 409 13747 13619 13555 13491 13427 13363 13299 13235 13171 13107 13043 12979 12915 12851 6137 6073 5945 5881 805 5817 5753 5625 5497 5433 5369 5305 5241 8506 5177 5113 5049 4985 4921 4857 8122 4729 4665 7994 4601 7930 4537 7866 7802 7738 19515 1567 19451 19387 19323 19259 4089 19195 7290 19067 7226 19003 7162 18939 7098 18875 7034 18811 329 265 6970 18747 6906 3513 6842 6778 3449 6714 3385 3321 6650 3257 6393 6586 6522 6329 12787 12723 6458 12659 6201 12595 12531 12403 12339 17851 3065 17787 3001 17723 17659 2873 17595 2809 17531 2745 17467 17403 17339 17275 17211 17147 17083 2297 2105 16827 2041 1977 1913 1849 1721 1657 1529 16059 1465 15995 1401 15931 1337 15867 15803 1273 15739 1209 15675 1145 1081 15547 1017 15483 953 889 15419 15355 15291 15227 208 14651 14587 14523 14459 14395 14267 14139 14075 802 162 98 34 12219 12155 12091 12027 11963 11899 11835 11771 3168 11643 3104 730 666 602 538 474 410 13812 13748 13684 13620 13556 13492 13428 13364 13300 13236 13172 13108 13044 12980 12916 12852 6138 6074 5946 806 5754 5690 5562 5306 5178 8507 5114 5050 4986 4922 4858 4794 4730 7995 4666 4602 7931 4538 7867 7803 4410 7739 19452 1568 19388 19324 7483 19260 19196 7355 7291 19068 7227 19004 7163 18940 7099 18876 7035 18812 330 266 6971 18748 6907 3578 6843 3514 3450 6779 6715 3386 3322 6651 6394 3258 6587 6330 6523 12788 6459 12724 6202 12660 12596 12532 12404 12340 17852 3066 17788 3002 17724 2938 17660 2874 2810 17532 2746 17468 17404 17340 17276 17212 17084 2106 16828 2042 1978 1914 1850 1786 1722 1658 16060 1530 15996 1466 1402 15932 15868 1338 1274 15804 1210 15740 15676 1146 1082 15548 1018 954 890 15420 15356 15292 15228 209 14652 14588 14524 14460 14396 14332 14268 14140 14076 14012 13948 13884 163 99 35 12284 12220 12156 391 12028 11900 3169 11708 11644 3105 731 667 603 539 475 411 13813 13749 13557 13493 13429 13365 13301 13237 13173 13109 13045 12981 12917 12853 6139 5947 5819 807 5755 5691 5627 5499 5435 5371 5307 5243 5179 5115 5051 4987 4923 4859 4795 4731 4667 4603 4539 7868 7804 7740 19453 1569 19389 19325 19261 19197 19069 7228 19005 7164 18941 7100 18877 331 7036 18813 6972 18749 267 6908 6844 3515 3451 6780 3387 6716 3323 6652 18429 3259 6588 6395 6331 12789 6524 6460 12725 12661 6203 12597 12533 12405 17853 3067 17789 3003 17725 2939 17661 2875 17533 2811 2747 17469 17405 17341 17277 17213 17149 2107 2043 1979 1915 1787 1723 1659 16061 1531 15997 1467 1403 15933 1339 15869 1275 15741 1147 15677 1083 1019 15549 955 15485 15421 891 15357 15293 15229 210 14653 14589 14525 14461 14397 14141 14013 13885 164 100 36 12285 12221 12157 12093 392 12029 11965 11901 11837 11773 3170 3106 732 668 604 540 476 412 13814 13750 13686 13622 13558 13494 13430 13366 13302 13238 13174 13110 13046 12982 12918 12854 6140 6012 5948 5884 808 5820 5628 5564 5436 5372 5244 8573 5180 5116 5052 4988 4924 4860 4796 4732 4668 7997 4540 7869 7805 7741 1570 7677 19454 19390 7549 19326 19262 4092 19198 7229 19006 7165 18942 7101 18878 332 7037 18814 268 6973 18750 6909 3516 6845 3452 6781 3388 6717 6653 3324 3260 6396 6589 6525 6332 12790 6461 12726 12662 6204 12598 12534 12406 17918 12342 17854 17790 3068 3004 17726 17662 2940 2876 2812 17534 17470 2748 17406 2684 17342 17278 17214 17150 17086 2108 2044 1980 1916 1852 1724 1660 16062 1532 15998 1468 15934 1404 15870 1276 15806 15742 1148 15678 1084 15550 1020 956 892 15422 15358 15294 211 15230 14654 14590 14526 14462 14398 14270 14206 14142 14078 13950 13886 165 101 37 12286 12222 12158 393 11902 11774 11710 3171 3107 733 669 605 541 477 413 13815 13559 13495 13431 13367 13303 13239 13175 13111 13047 12983 12919 12855 6141 6013 5949 809 5821 5693 5629 5565 5501 5309 5245 5181 5117 5053 4989 4925 4861 4797 8126 4733 4669 7998 4605 7934 4541 7870 7806 7742 1571 19455 19391 19327 19263 19199 19071 7230 19007 7166 18943 7102 18879 7038 18815 333 269 6974 18751 6910 6846 3517 6782 3453 6718 3389 3325 6654 6397 6590 3261 6526 6333 12791 6462 12727 6205 12663 12599 12535 17919 12407 17855 12343 3069 17727 3005 17663 17599 2877 2813 2749 17471 17407 17343 17279 17215 17151 17087 2301 2109 2045 1981 1917 1853 1789 1725 1661 16063 1533 15999 1469 1405 15935 15871 1341 15807 1213 15743 15679 1149 1085 1021 15551 15487 957 15423 893 15359 15295 212 15231 14655 14591 14527 14463 14399 14335 14143 14079 14015 13887 166 102 38 12223 12159 12095 394 12031 11967 11903 11839 11775 3172 3108 734 670 606 542 478 414 13816 13752 13624 13560 13496 13432 13368 13304 13240 13176 13112 13048 12984 12920 12856 6142 6078 6014 5950 5886 810 5758 5694 5438 5374 5310 5246 5182 8447 5118 5054 4990 4926 4862 4734 4670 7999 4606 7871 4542 7807 7743 19456 1572 19392 19328 7487 19264 19200 7359 7295 7231 19008 7167 18944 7103 18880 334 7039 18816 6975 18752 270 6911 3582 6847 3518 3454 6783 6719 3390 3326 6655 18432 3262 6591 6398 6334 12792 6527 6463 6270 12728 6206 12664 12600 12536 12408 17856 17792 3070 17728 3006 17664 2942 2878 17600 17536 2814 2750 17472 17408 2686 17344 17280 17216 17152 17088 2110 2046 1982 1918 1790 1726 1662 1534 16064 16000 1470 1406 15936 1342 15872 1278 15744 15680 1086 1022 15552 958 15488 15424 894 15360 15296 15232 213 14656 14592 14528 14464 14400 14272 14208 14144 14016 13952 13888 167 103 39 12224 12160 395 3173 11712 3109 11648 735 671 11520 607 543 479 415 13817 13753 13689 13625 13561 13497 13433 13369 13305 13241 13177 13113 13049 12985 12921 12857 6143 5951 5887 811 5695 5567 5503 5439 5375 8576 5247 5183 5119 5055 4991 4927 4863 4799 4735 8000 4671 4607 4543 7872 7808 7744 1573 19457 19393 19329 7488 19265 7424 19201 7296 19073 3967 7232 19009 7168 18945 7104 18881 335 7040 18817 271 6976 18753 6912 6848 3519 3455 6784 3391 6720 6656 3327 3263 6399 6592 6528 6335 12793 6464 12729 12665 6207 12601 12537 12409 17857 12345 3071 3007 17729 17665 2943 2879 17537 17473 2751 2687 17409 17345 17281 17153 17089 2111 1983 1919 1727 1663 1535 16065 16001 1471 15937 1407 15873 1343 1279 15745 1215 15681 1151 15553 1023 959 15425 895 15361 15297 214 15233 14657 14593 14529 14465 14401 14145 14081 13889 168 104 40 12225 12161 12097 12033 396 11969 11905 11841 3174 3110 736 672 608 544 480 416 13818 13754 13690 13626 13562 13498 13434 13370 13306 13242 13178 13114 13050 12986 12922 12858 6144 5952 5888 812 5824 5760 5632 5568 5440 5312 5248 5184 5120 5056 4992 4928 4864 8129 4800 4736 4672 7937 4608 7873 4544 7809 7745 1574 19458 7617 19394 7553 19330 7489 19266 19202 7297 7233 19010 7169 18946 7105 18882 7041 18818 336 6977 18754 272 6913 3520 6849 6785 3456 6721 3392 3328 6657 6400 6593 3264 6336 6529 12794 6465 12730 6208 12666 12602 12538 12410 17858 12346 17794 3072 3008 2944 17666 17602 2880 2816 17538 2752 17474 17410 2688 17346 17282 17218 17154 2304 2112 2048 1984 1920 1792 1728 1664 16066 1536 1472 16002 1408 15938 15874 1344 1280 1216 15746 15682 1152 1088 1024 15554 960 15426 896 15362 15298 215 15234 14658 14594 14530 14466 14402 14338 14274 14210 14146 14082 13954 13890 169 105 41 12290 12226 12162 12098 397 11778 3175 11714 3111 737 673 609 545 11394 481 417 10818 13691 13627 13563 13499 13435 13371 13307 13243 13179 13115 13051 12987 12923 12859 6145 6081 5953 5889 813 5761 5569 5505 5377 5313 5249 5185 8450 5121 5057 4993 4929 4865 4801 8066 4737 4673 8002 4609 7874 4545 7810 7746 19459 1575 19395 19331 19267 7426 19203 7362 19075 7234 19011 7170 18947 18883 7106 337 18819 7042 6978 18755 273 3585 6914 6850 3457 6786 3393 6722 3329 6658 6594 6401 6337 12795 6530 6273 6466 12731 6209 12667 12603 12539 12411 17923 17859 3073 17795 17731 3009 17667 2945 2881 17603 17539 2817 2753 17475 2689 17411 17347 17283 17091 2113 2049 1985 1921 1857 1793 1729 1665 1537 16067 16003 1473 15939 1409 15875 1345 15811 1281 1217 15747 15683 1089 1025 15555 961 15491 15427 897 15363 15299 15235 216 14659 14595 14531 14467 14403 14275 14211 14147 13955 13891 13827 170 106 42 12227 12163 398 12035 11971 11907 11843 3176 11651 3112 738 674 610 546 482 418 13628 13564 13500 13436 13372 13308 13244 13180 13116 13052 12988 12924 12860 6146 6018 5954 5890 814 5826 5762 5698 5634 5378 8579 5186 5122 5058 4994 4930 4866 4802 4738 4674 8003 4610 7875 4546 7811 7747 1576 19460 19396 19332 19268 7491 19204 7427 7363 19012 7235 7171 18948 7107 18884 338 18820 7043 274 6979 18756 6915 6851 6787 3458 3394 6723 18436 3330 6659 3266 6402 6595 6531 6338 12796 6274 12732 6467 12668 6210 12604 12540 12412 17860 17796 3010 17668 2946 17604 2882 17540 17476 2754 2690 17412 17348 17284 17220 17156 17092 2242 2114 1986 1922 1730 16388 1666 1538 16068 1474 16004 15940 1410 15876 1282 15748 1218 15684 1090 15620 15556 1026 962 15428 898 15364 15300 217 15236 14660 14596 14532 14468 14404 14276 14148 14084 14020 13956 13892 13828 171 107 43 12228 12164 12100 399 11972 11780 11716 3177 3113 739 675 611 547 483 419 11268 13757 13693 13629 13565 13501 13437 13373 13309 13245 13181 13117 13053 12989 12925 12861 6147 6019 5955 5891 815 5763 5635 5507 5443 5315 5251 5187 5123 5059 4995 4931 4867 4803 4739 4675 8004 4611 7940 4547 7876 7812 7748 1577 19461 19397 4291 19333 7556 19269 19205 7364 19077 3971 7236 19013 18949 7172 18885 7108 7044 18821 339 275 18757 6980 6916 6852 3459 6788 6724 3395 3331 6660 6403 3267 6596 6339 6532 12797 6468 6275 12733 6211 12669 12605 12541 17925 12413 17861 17797 3011 17733 17669 2947 17605 2883 2819 17541 2755 17477 17413 2691 17349 17285 17221 17093 2243 2115 2051 1987 1923 1731 1667 16069 1539 1475 16005 15941 15877 1283 15813 15749 15685 1155 1091 1027 15557 15493 963 15429 899 15365 15301 218 15237 14725 14661 14597 14533 14469 14405 14341 14277 14213 14149 14085 13957 13893 172 108 44 12229 12165 12101 400 12037 11909 11845 3178 11717 11653 3114 740 11589 676 612 548 484 11333 420 13822 13758 13694 13630 13566 13502 13438 13374 13310 13246 13182 13118 13054 12990 12926 12862 6148 6084 6020 5956 5892 816 5828 5764 5700 5636 5572 5508 5316 5188 5124 5060 4996 4932 4868 4740 4676 4612 7941 4548 7877 7813 7749 19462 1578 19398 19334 19270 7429 19206 7301 7237 19014 7173 18950 18886 7109 340 18822 7045 6981 18758 276 18694 3588 6917 6853 6789 3460 3396 6725 3332 6661 6597 18374 6404 6340 12798 6533 6276 6469 12734 6212 12670 12606 12542 12414 17862 12350 17798 17734 3012 2948 17670 2884 17606 17542 2820 2756 17478 2692 17414 17350 17222 17158 17094 17030 2116 1988 1924 1860 1796 1732 1668 1540 16006 1476 1412 15942 1348 15878 1284 15750 1220 15686 1156 1092 15558 1028 964 15494 15430 900 15366 15302 15238 14662 14598 14534 14470 14406 14278 14150 13958 13894 13830 173 109 45 12230 12166 12102 401 12038 11974 11846 11782 3179 3115 741 677 613 549 485 11334 421 13823 13759 13695 13631 13567 13503 13439 13375 13311 13247 13183 13119 13055 12991 12927 12863 6149 6085 5957 5893 817 5765 5637 5445 5317 5253 5189 5125 5061 4997 4933 4869 4805 4741 4677 8006 7942 7878 4549 7814 7750 1579 19463 19399 7622 7558 19335 7494 19271 19207 3973 7302 19079 19015 7238 7174 18951 7110 18887 18823 341 7046 277 6982 18759 3589 6918 3525 6854 6790 3461 3397 6726 3333 6662 6405 6598 3269 6534 6341 12799 6277 12735 6470 12671 6213 12607 12543 12415 12351 17863 17799 3013 17671 2949 17607 2885 2821 17543 17479 2757 2693 17415 17351 17223 17159 17095 2117 2053 1989 1925 1861 1733 1669 16071 1541 1477 16007 15943 15879 1349 15815 15751 1221 15687 1093 15623 15559 1029 965 15431 901 15367 15303 15239 14663 14599 14535 14471 14407 14215 14151 14087 14023 13895 13831 174 110 46 12231 12167 402 11975 11911 11783 11719 3180 11655 3116 742 678 614 11463 550 11399 11335 486 422 13824 13632 13568 13504 13440 13376 13312 13248 13184 13120 13056 12992 12928 12864 6150 6086 5958 5894 818 5830 5766 5702 5638 5574 5510 5382 5318 5254 5190 5126 5062 4998 4934 4870 4806 4742 4678 8007 4614 4550 7879 7815 7751 19464 1580 19400 19336 19272 19208 7367 19080 7303 7239 19016 18952 7175 7111 18888 7047 18824 342 278 18760 6983 6919 3526 6855 3462 6791 6727 3334 6663 18440 6406 6599 6342 12800 6535 6471 18248 6278 12736 6214 12672 12608 12544 12416 12352 17864 17800 3078 3014 17736 2950 17672 17608 2886 2822 17544 2758 17480 17416 2694 17352 17224 17160 17096 2182 2118 2054 1990 16712 1926 1862 1798 1734 1670 16392 16072 1542 16008 1478 15944 1414 15880 1350 1286 1222 15752 15688 1158 1094 15624 1030 15560 15496 966 15432 902 15368 15304 15240 14728 14664 14600 14536 14472 14408 14344 14280 14216 14152 14088 13832 175 111 47 12232 12168 403 12040 11976 11912 11848 11784 3181 11720 11656 3117 743 11592 679 615 551 487 423 13825 13761 13697 13633 13569 13505 13441 13377 13313 13249 13185 13121 13057 12993 12929 12865 6151 5959 5895 819 5639 5511 5447 5383 5319 5255 5191 5127 5063 4999 4935 4871 4743 4679 8008 4615 7944 4551 7880 7816 7752 19465 1581 19401 4295 19337 19273 19209 19081 3975 7240 19017 7176 18953 18889 7112 343 18825 7048 6984 18761 279 18697 3591 6920 6856 3527 6792 3463 6728 3335 6664 3271 6600 6407 6343 12801 6536 6279 6472 12737 6215 12673 12609 12545 17929 17865 12353 17801 3079 17737 3015 2951 17673 2887 17609 17545 2823 17481 2759 2695 17417 17353 17289 17225 17161 17097 2311 2183 2119 2055 1991 1927 1799 1735 1671 1543 16073 16009 1479 15945 1351 15881 15817 1287 1223 15753 15689 15625 15561 1031 967 15433 903 15369 15305 15241 14665 14601 14537 14473 14409 14345 14281 14217 14153 13961 13833 176 112 48 12233 12169 12105 404 12041 11849 11721 3182 3118 744 680 616 11401 552 488 424 13762 13634 13570 13506 13442 13378 13314 13250 13186 13122 13058 12994 12930 12866 6152 6088 6024 5960 5896 820 5832 5768 5704 5640 5576 5512 5384 5320 5256 5192 5128 5064 5000 4936 4872 4808 4744 4680 8009 4616 4552 7881 7817 7753 1582 19466 19402 7625 19338 19274 19210 7433 19082 19018 7241 18954 7177 7113 18890 344 18826 7049 280 6985 18762 6921 18698 3528 6857 6793 3464 6729 3336 6665 6408 6601 6537 6344 12802 6280 12738 6473 12674 18186 6216 12610 12546 12354 17866 17802 17738 3016 17674 2952 17610 2888 17546 2824 17482 2760 2696 17418 17354 17226 17162 17098 17034 2120 2056 1992 1928 1864 1736 1672 16394 1544 16074 1480 16010 15946 1416 15882 1352 1288 15754 1224 15690 1160 1096 1032 15562 968 15498 15434 904 15370 15242 14666 14602 14538 14474 14410 14346 14218 14154 14090 14026 13898 13834 177 113 49 12234 12170 12042 405 11914 11850 3183 11658 745 681 617 553 489 11338 425 11082 13763 13699 13635 13571 13507 13443 13379 13315 13251 13187 13123 13059 12995 12931 12867 12803 6089 6025 5961 5897 821 5449 5321 5257 5193 5129 5065 5001 4937 4873 4809 8010 4681 4617 7946 4553 7882 7818 7754 1583 19467 4297 19403 19339 7562 19275 19211 7370 19083 3977 7242 19019 18955 7178 7114 18891 7050 18827 345 18763 281 6986 6922 18699 3529 6858 3465 6794 6730 3337 6666 6409 6602 6345 6538 6474 6281 12739 6217 12675 6410 12611 6153 12547 12419 12355 17867 17803 17739 3017 2953 17675 17611 2889 17547 2761 17483 17419 2697 17355 17227 17163 17099 2121 2057 1993 1929 1865 1801 1737 1673 3209 16075 1481 16011 1353 15883 1289 15819 15755 1225 1161 15691 15627 15563 1033 969 15499 15435 905 15371 15243 15179 14667 14603 14539 14475 14411 1609 14283 14219 14155 13963 13835 178 114 50 12235 12107 406 11979 11915 3184 3120 746 682 618 554 490 426 13636 13572 13508 13444 13380 13316 13252 13188 13124 13060 12996 12932 12868 12804 6090 6026 5962 5898 822 5834 5770 5706 5642 5578 5322 5258 5194 5130 5066 5002 4938 4810 4746 8075 4682 8011 4554 7883 7819 7755 19468 1584 19404 7563 19340 19276 7499 19212 7435 7371 19084 3978 7307 19020 7243 7179 18956 18892 7115 346 7051 18828 6987 282 18700 6923 3530 6859 6795 3466 3402 6731 3338 6667 6603 6346 3210 6539 6282 6475 12740 6411 18188 6218 12676 6154 12612 12548 17868 12356 17804 17740 3018 2954 17676 2890 17612 17548 17484 2762 2698 17420 17356 17228 17164 17100 17036 2186 2122 2058 1994 16716 1930 1802 1738 1674 16396 1610 16076 1482 16012 15948 1354 15884 1290 15820 15756 1226 15692 1098 15628 1034 15564 970 906 15436 15372 15244 14668 14604 14540 14476 14412 14348 14284 14220 14156 14092 13900 13836 179 115 51 12236 12108 11916 3185 11724 3121 11660 747 683 619 555 491 427 13765 13701 13573 13509 13445 13381 13317 13253 13189 13125 13061 12997 12933 12869 12805 6091 5963 5899 823 5835 5515 5451 5323 5259 5195 5131 5067 5003 4939 4875 4811 4747 4683 8012 7948 7884 4555 7820 7756 1585 19469 19405 4299 7628 19341 7564 19277 19213 7372 7308 19085 19021 7244 7180 18957 7116 18893 347 18829 7052 283 6988 6924 18701 219 3531 6860 6796 3467 6732 3403 18445 3339 6668 6604 3211 6540 6347 12741 6283 6476 6412 12677 6219 6155 12613 12549 17933 12357 17869 12293 17805 3019 17741 2955 17677 17613 2891 2827 17549 2763 17485 2699 17421 17357 17293 17229 17101 2315 2123 2059 1995 1931 1867 1739 1675 1611 16077 16013 1483 15949 1355 15885 1291 1227 15757 1163 15693 1099 15629 1035 15565 971 15501 15437 907 15373 15245 14669 14605 14541 14477 14413 14349 14221 14157 14093 14029 13965 13837 180 116 52 12237 12173 12109 12045 11981 11853 3186 3122 748 11597 684 620 556 11405 492 428 13702 13574 13510 13446 13382 13318 13254 13190 13126 13062 12998 12934 12870 12806 6092 6028 5964 5900 824 5772 5708 5644 5580 5388 5324 5260 5196 5132 5004 4940 4876 4812 4748 4684 8013 4620 7949 4556 7885 7821 7757 19470 1586 19406 7629 19342 19278 7437 19214 7309 19086 7245 19022 7181 18958 7117 18894 7053 348 18830 284 6989 18766 6925 220 18702 3532 6861 3468 6797 3404 6733 3340 6669 3276 6605 6348 6541 3212 6477 6284 12742 6220 12678 6413 12614 12550 12422 12358 17870 12294 17806 3020 17742 17678 2892 17614 2828 17550 2764 17486 2700 17422 17358 17230 17102 17038 2124 2060 1996 16718 1932 1868 1804 1740 1676 16398 1612 16078 1484 16014 1356 15886 1292 15822 1228 15758 1164 15694 1100 15630 1036 15566 972 15438 908 15374 15310 15246 15182 14670 14606 14542 14478 14414 14286 14222 14158 14094 14030 13966 13902 13838 181 117 53 12238 12110 11982 3187 11726 3123 11662 749 685 621 557 493 429 13767 13703 13639 13575 13511 13447 13383 13319 13255 13191 13127 13063 12999 12935 12871 12807 6093 6029 5965 5901 825 5837 5709 5517 5453 5325 5261 5197 5133 8462 5069 5005 4941 4877 4813 4749 8078 8014 4685 4621 7950 4557 7886 7822 7758 1587 7694 19471 4301 19407 19343 7502 19279 7438 19215 7374 19087 7246 19023 7182 18959 7118 18895 349 7054 18831 6990 285 221 6926 18703 6862 3533 3469 6798 3405 6734 3341 6670 3277 6606 6349 3213 6542 6285 6478 12743 6414 6221 12679 6157 12615 12551 12423 12359 17871 12295 17807 3021 2957 17679 2893 17615 2829 17551 2765 17487 2701 17423 17359 17231 17167 17103 2125 2061 1997 1933 1869 1805 1741 1677 16399 1613 16079 1485 16015 15951 15887 1293 15823 15759 15695 1101 15631 1037 15567 973 909 15439 15375 15247 15183 14671 14607 14543 14479 14415 14287 14223 14159 14095 14031 13967 13903 182 118 54 12239 12111 12047 11983 11919 11855 3188 3124 11663 750 686 11535 622 558 11407 494 430 13768 13704 13576 13512 13448 13384 13320 13256 13192 13128 13064 13000 12936 12872 12808 6094 5966 5902 826 5838 5774 5646 5582 5454 5390 5326 5262 5198 5134 5070 5006 4942 4878 4814 4750 4686 8015 7951 4558 7887 7823 7759 1588 19472 4302 19408 19344 19280 19216 7375 19088 7247 19024 7183 18960 7119 18896 350 7055 18832 286 6991 6927 222 18704 3534 6863 3470 6799 3406 6735 3342 6671 18448 6607 3278 3214 6543 6350 6286 12744 6479 6415 12680 6222 6158 12616 12552 12424 12360 17872 17808 3022 17744 17680 17616 2894 2830 17552 2766 17488 17424 2702 17360 17296 17232 17104 17040 2126 2062 1998 16720 1934 1870 1742 1678 1614 16080 16016 1486 1422 15888 1358 15824 15760 1166 15696 1102 15632 1038 15568 974 15440 910 15376 15248 15184 14672 14608 14544 14480 14416 14288 14160 13968 13904 183 119 55 12240 12176 12112 11984 11856 3189 11728 751 11600 687 623 559 495 431 13769 13705 13577 13513 13449 13385 13321 13257 13193 13129 13065 13001 12937 12873 12809 6095 5967 5903 827 5839 5775 5711 5583 5519 5327 5263 5199 5135 5007 4943 4879 4815 4751 4687 8016 4623 7952 7888 7824 7760 1589 19473 19409 19345 19281 19217 19089 7248 19025 7184 18961 7120 18897 7056 351 18833 287 6992 18769 223 6928 18705 6864 3535 3471 6800 3407 6736 3343 6672 6608 6351 3215 6544 6480 6287 12745 6223 12681 6416 18193 12617 12553 12361 17873 12297 17809 3023 2959 17681 2895 17617 2831 17553 2767 17489 2703 17425 17297 17233 17105 17041 2127 2063 1999 1935 1871 1807 1743 1679 1615 16081 1487 16017 15953 1359 15889 1295 15825 1231 15761 1167 15697 1103 15633 1039 15569 975 15505 15441 911 15377 15249 14609 14545 14481 14417 14353 14289 14161 14033 13969 13905 13841 184 120 56 12241 12177 12113 12049 11985 11921 11857 3190 3126 11665 752 688 624 11409 560 496 432 13770 13706 13642 13578 13514 13450 13386 13322 13258 13194 13130 13066 13002 12938 12874 12810 6096 5968 5904 828 5712 5648 5520 5456 5392 5328 5264 5200 5136 8465 5072 5008 4944 4880 4816 4752 8081 8017 4688 4624 4560 7889 7825 7761 1590 19474 19410 19346 7505 19282 7441 19218 7377 7313 19090 7249 19026 7185 18962 7121 18898 352 7057 18834 6993 288 18770 224 6929 18706 3536 6865 3472 6801 3408 6737 3344 6673 3280 6609 6352 3216 6545 6288 6481 12746 6417 6224 12682 12618 12554 12362 17874 12298 17810 3024 17746 17682 2896 17618 2832 17554 17490 2768 2704 17426 17362 17234 17170 17106 2128 2064 2000 16722 1936 1872 1808 1744 1680 1616 16082 1488 16018 1424 15954 1360 15890 1296 15826 1232 15762 1168 15698 1104 15634 1040 15570 976 15506 912 15442 15378 15250 15186 14610 14546 14482 14418 14354 14290 14162 14034 13970 13906 13842 185 121 57 12242 12178 11986 11858 3191 11730 3127 11666 753 689 625 561 497 433 13771 13707 13579 13515 13451 13387 13323 13259 13195 13131 13067 13003 12939 12875 12811 6097 6033 5969 5905 829 5777 5713 5649 5585 5457 5393 5329 5201 5137 5073 4945 4881 4817 4753 4689 8018 7954 4625 7890 4561 7826 7762 7698 1591 19475 19411 19347 7506 19283 19219 7378 7314 19091 7250 19027 7186 18963 7122 18899 353 7058 18835 289 6994 18771 6930 225 18707 3537 6866 3473 6802 6738 3409 3345 6674 18451 3281 6610 3217 6546 6353 6289 12747 6482 6418 12683 6225 18195 12619 12555 12363 17875 17811 3025 17747 2961 17683 17619 2897 2833 17555 2769 17491 2705 17427 17299 17235 17171 2129 2065 2001 16723 1937 1873 1745 1681 1617 1489 16019 15955 1361 15891 1297 1233 15763 1169 15699 1105 15635 1041 15571 977 15507 913 15443 15379 15251 15187 14611 14547 14483 14419 14291 14227 14163 14099 13971 13843 186 122 58 12243 12115 12051 11987 11859 3192 11667 754 11603 690 626 562 498 434 10899 13772 13708 13580 13516 13452 13388 13324 13260 13196 13132 13068 13004 12940 12876 12812 6098 5970 5906 830 5842 5778 5586 5522 5458 5330 5266 5202 5138 5074 5010 4946 4882 4818 4754 8083 4690 8019 4626 7955 4562 7891 7827 7763 1592 19476 19412 19348 7507 19284 19220 7315 19092 7251 19028 7187 18964 7123 18900 7059 354 18836 290 6995 226 6931 18708 3538 6867 3474 6803 6739 3410 3346 6675 6611 3218 6354 6547 6290 12748 6483 6226 12684 6419 12620 6162 12556 12428 12364 17876 17812 3026 17748 2962 17684 2898 17620 2834 17556 2770 17492 2706 17428 17364 17300 17236 17108 17044 2130 2066 2002 1938 1874 1810 1746 1682 1618 16020 1490 15956 1426 1362 15892 1298 15828 15764 1170 15700 1106 15636 1042 15572 978 15508 15444 914 15380 15252 15188 14612 14548 14484 14420 14356 14292 14164 14036 13908 187 123 59 12244 11860 3193 11732 3129 755 691 11540 627 563 499 435 13773 13709 13645 13581 13517 13453 13389 13325 13261 13197 13133 13069 13005 12941 12877 12813 6099 5971 5907 831 5779 5651 5587 5395 5331 5203 5139 5075 5011 4947 4883 4819 4755 8020 4627 7956 4563 7892 7764 1593 19477 19413 19349 19285 7444 19221 7380 19093 7252 19029 7188 18965 7124 18901 355 7060 18837 6996 291 227 6932 18709 3539 6868 3475 6804 3411 6740 3347 6676 6612 6355 3219 6548 6291 6484 12749 6420 6227 12685 18197 12621 6163 12557 12365 17877 17813 3027 17749 17685 2899 17621 2835 17557 2771 17493 2707 17429 17365 17301 17237 17173 2131 2067 2003 1939 1875 1811 1747 1683 1619 1491 16021 15957 15893 1363 1299 1235 15765 1171 15701 1107 15637 1043 15573 979 15509 915 15445 15381 15317 15253 15189 14677 14613 14549 14485 14421 14293 14165 14037 13973 13909 13845 188 124 60 12245 12117 12053 11989 11861 3194 3130 756 692 628 564 500 436 13774 13710 13646 13582 13518 13454 13390 13326 13262 13198 13134 13070 13006 12942 12878 12814 6100 6036 5972 5908 832 5844 5716 5652 5332 5268 8597 5140 5076 5012 4948 4884 4820 4756 4692 8021 4628 7957 7893 7829 7765 1594 19478 19414 19350 7509 19286 19222 7381 19094 7253 19030 7189 18966 7125 18902 356 7061 18838 292 6997 6933 228 18710 3540 6869 3476 6805 3412 6741 3348 6677 18454 6613 3220 6549 6356 6292 12750 6485 6421 6228 12686 6164 12622 12558 12366 17878 12302 17814 3028 17750 17686 2900 17622 2836 17558 2772 17494 2708 17430 17366 17302 17238 17174 17110 2132 2068 2004 1940 1876 16598 1748 1684 1620 16086 1492 16022 1428 15958 1364 15894 1300 15830 1236 15766 1172 15702 1108 15638 1044 15574 980 15510 916 15446 15382 15254 15190 14614 14550 14486 14422 14294 14230 14166 14102 13974 13910 13846 189 125 61 12246 12182 3195 11734 3131 11670 757 11606 693 629 565 11414 501 437 13775 13711 13647 13583 13519 13455 13391 13327 13263 13199 13135 13071 13007 12943 12879 12815 6101 6037 5973 5909 5845 833 5653 5461 5397 5333 5269 5205 5141 5077 5013 4949 4885 4821 4757 8086 7958 4565 7894 7830 7766 1595 19479 19415 19351 19287 7446 19223 19095 7254 19031 7190 18967 7126 18903 7062 357 18839 293 6998 18775 229 6934 18711 3541 6870 3477 6806 6742 3413 3349 6678 18455 3285 6614 6357 6550 3221 6486 6293 12751 6229 12687 6422 12623 12559 12367 17879 12303 17815 3029 17751 2965 17687 2901 17623 2837 17559 2773 17495 2709 17431 17367 17303 17175 17111 17047 2133 2069 2005 1941 1877 1813 1749 1685 1621 1493 16023 15959 1429 1365 15895 1301 15831 15767 1237 1173 15703 1109 15639 1045 15575 981 15511 917 15447 15383 15255 15191 14615 14551 14487 14423 14359 14295 14231 14167 14103 13911 13847 190 126 62 12247 12119 12055 11991 11927 11863 3196 11735 3132 758 694 11543 630 566 502 438 13712 13584 13520 13456 13392 13328 13264 13200 13136 13072 13008 12944 12880 12816 6102 6038 5974 5846 834 5782 5718 5590 5334 5270 5142 5078 5014 4950 4886 4822 4758 8023 4694 7959 4630 4566 7895 7767 1596 7703 19480 19416 19352 19288 19224 7319 19096 7255 19032 7191 3862 18968 7127 18904 358 7063 18840 6999 294 230 6935 18712 3542 6871 3478 6807 3414 6743 3350 6679 18456 6615 6358 3222 6551 6294 12752 6487 6423 6230 12688 6166 12624 12560 12368 17880 12304 3030 17752 17688 2902 17624 2838 17560 2774 17496 2710 17432 17368 17304 17240 17176 17112 2198 2134 2070 2006 1942 1878 1814 1750 1686 1622 16088 1494 16024 1430 15960 1366 15896 1302 15832 15704 1174 1110 15640 1046 15576 982 15512 918 15448 15384 15320 15256 15192 14616 14552 14488 14424 14296 14232 14168 14104 13912 13848 191 127 63 12248 12056 3197 3133 11672 759 11608 695 631 567 503 11352 439 10968 13713 13585 13521 13457 13393 13329 13265 13201 13137 13073 13009 12945 12881 12817 6103 5975 5911 835 5847 5719 5463 5399 5335 5271 5207 5143 5079 5015 4951 4887 4823 4759 4695 8024 7960 4567 7896 7832 7768 1597 19481 19417 19353 7512 19289 19225 7320 19097 7256 19033 7192 18969 7128 18905 359 7064 18841 295 7000 18777 6936 231 18713 3543 6872 3479 6808 3415 6744 3351 6680 6616 3287 6552 6359 3223 6295 12753 6488 6424 12689 6231 6167 12625 12561 12369 17881 17817 3031 17753 2967 17689 2903 17625 17561 2839 2775 17497 2711 17305 17177 17113 2135 2071 2007 1943 1879 1751 1687 1623 1495 16025 1431 15961 1367 15897 15833 1239 1175 15705 15641 1111 1047 15577 983 15513 919 15385 15321 15257 15193 14617 14553 14489 14425 14297 14169 14105 14041 13849 192 128 64 12249 12121 11993 11929 11865 3198 11737 3134 760 696 632 568 11417 504 440 11225 13778 13714 13586 13522 13458 13394 13330 13266 13202 13138 13074 13010 12946 12882 12818 6104 5976 5912 5848 836 5784 5720 5656 5592 5400 5336 5272 8601 5208 8537 5144 5080 5016 4952 4888 4824 4696 4632 7961 4568 7897 4504 7769 7705 1598 19482 19418 19354 19290 19226 7385 7321 19098 7257 19034 7193 18970 7129 18906 7065 360 18842 296 7001 232 6937 18714 6873 3480 6809 6745 3416 3352 6681 6617 6360 3224 6553 6489 6296 12754 6232 12690 6425 18202 12626 12562 12370 17882 12306 17818 3032 17754 2968 17690 2904 17626 17562 2840 2776 2712 17434 17370 17306 17242 17178 17114 17050 2200 16922 2136 2072 2008 1944 1880 16602 1816 1752 1688 1624 16282 1496 16026 1432 15962 1368 15898 1304 15834 1176 15706 1112 15642 15578 1048 984 15514 920 15386 15322 15258 14618 14554 14490 14426 14362 14298 14170 14106 13978 13914 193 129 65 12250 12122 12058 1 3199 11738 3135 11674 761 11610 697 11546 633 569 505 441 13715 13651 13587 13523 13459 13395 13331 13267 13203 13139 13075 13011 12947 12883 12819 6105 5977 5849 837 5721 5593 5465 5337 5273 8602 5145 5081 5017 4953 4889 4825 4697 4633 7962 4569 7898 7770 19483 1599 19419 19355 19291 19227 7322 19099 7258 19035 7194 18971 7130 18907 361 7066 18843 7002 18779 297 233 6938 18715 3545 6874 6810 3481 3417 6746 6682 3353 3289 6618 6361 3225 6554 6297 12755 6490 6426 6233 12691 6169 12627 12563 12371 17883 12307 17819 3033 17755 17691 2905 17627 2841 17563 2777 17499 2713 17435 17371 17307 17243 17115 17051 2201 2137 2073 2009 1945 1881 1817 1753 1689 1625 1497 16027 15963 15899 1369 15835 1305 1241 1177 15707 15643 1113 15579 1049 985 15515 921 15387 15323 15259 15195 14683 14619 14555 14491 14427 14299 14171 14107 13979 13851 194 130 66 12251 12059 11995 11867 2 11739 3200 762 698 634 570 506 442 13780 13652 13588 13524 13460 13396 13332 13268 13204 13140 13076 13012 12948 12884 12820 6106 6042 5978 838 5850 5786 5722 5658 5594 5402 5338 5274 5210 5146 5082 5018 4954 4890 4826 8091 4698 8027 7963 4634 4570 7899 7835 7771 1600 19484 19420 19356 4186 19292 7451 19228 7387 19100 7259 19036 7195 3866 18972 7131 18908 362 7067 18844 298 7003 18780 6939 18716 234 3546 6875 6811 3482 3418 6747 3354 6683 6619 3226 6555 18332 6362 6298 12756 6491 6427 12692 18204 6234 6170 12628 12564 12372 17884 17820 3034 17756 2970 17692 17628 2906 2842 17564 2778 17500 2714 17436 17372 17308 17244 17180 17116 2138 2074 2010 1946 1882 16604 1754 1690 1626 16284 16092 1498 16028 15964 15900 15836 1306 15772 1242 15708 1178 1114 15644 15580 1050 986 15516 922 15388 15324 15260 15196 14620 14556 14492 14428 14236 14172 14108 14044 13980 13916 13852 771 131 67 12252 12124 12060 11996 3 3201 3137 11676 763 699 635 571 11420 11356 507 443 0
115.51/115.55 c Terminating MUSer ...
115.51/115.55 c CPU Time: 115.42
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
This program is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
GNU General Public License for more details.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3480885-1307606366/watcher-3480885-1307606366 -o /tmp/evaluation-result-3480885-1307606366/solver-3480885-1307606366 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3480885-1307606366.cnf
running on 2 cores: 0,2
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): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 3.92 2.62 1.81 5/505 19341
/proc/meminfo: memFree=10769548/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=6788 CPUtime=0.01 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 1167 0 0 0 1 0 0 0 25 0 1 0 872237051 6950912 1121 33554432000 4194304 5696331 140736102361152 18446744073709551615 4965206 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 1697 1123 114 367 0 1327 0
[startup+0.0476579 s]
/proc/loadavg: 3.92 2.62 1.81 5/505 19341
/proc/meminfo: memFree=10769548/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=8524 CPUtime=0.04 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 1867 0 0 0 4 0 0 0 25 0 1 0 872237051 8728576 1819 33554432000 4194304 5696331 140736102361152 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 2131 1819 143 367 0 1761 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 8524
[startup+0.100682 s]
/proc/loadavg: 3.92 2.62 1.81 5/505 19341
/proc/meminfo: memFree=10769548/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=8788 CPUtime=0.09 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 1934 0 0 0 9 0 0 0 25 0 1 0 872237051 8998912 1886 33554432000 4194304 5696331 140736102361152 18446744073709551615 4397020 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 2197 1887 143 367 0 1827 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8788
[startup+0.300634 s]
/proc/loadavg: 3.92 2.62 1.81 5/505 19341
/proc/meminfo: memFree=10769548/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=9868 CPUtime=0.29 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 2185 0 0 0 29 0 0 0 25 0 1 0 872237051 10104832 2137 33554432000 4194304 5696331 140736102361152 18446744073709551615 4400331 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 2467 2138 143 367 0 2097 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9868
[startup+0.700562 s]
/proc/loadavg: 3.92 2.62 1.81 5/505 19341
/proc/meminfo: memFree=10769548/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=11856 CPUtime=0.69 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 2680 0 0 0 69 0 0 0 25 0 1 0 872237051 12140544 2632 33554432000 4194304 5696331 140736102361152 18446744073709551615 4396984 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 2964 2632 143 367 0 2594 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11856
[startup+1.50042 s]
/proc/loadavg: 3.92 2.62 1.81 5/506 19342
/proc/meminfo: memFree=10749460/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=8628 CPUtime=1.49 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 3984 0 0 0 148 1 0 0 25 0 1 0 872237051 8835072 1864 33554432000 4194304 5696331 140736102361152 18446744073709551615 4403152 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 2157 1864 144 367 0 1787 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 8628
[startup+3.10113 s]
/proc/loadavg: 3.92 2.62 1.81 5/506 19342
/proc/meminfo: memFree=10758600/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=11272 CPUtime=3.09 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 6148 0 0 0 308 1 0 0 25 0 1 0 872237051 11542528 2525 33554432000 4194304 5696331 140736102361152 18446744073709551615 4380796 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 2818 2525 144 367 0 2448 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 11272
[startup+6.30052 s]
/proc/loadavg: 3.93 2.64 1.82 5/506 19342
/proc/meminfo: memFree=10626748/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=90760 CPUtime=6.29 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 27587 0 0 0 625 4 0 0 25 0 1 0 872237051 92938240 22328 33554432000 4194304 5696331 140736102361152 18446744073709551615 4402344 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 22690 22328 149 367 0 22320 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 90760
[startup+12.7003 s]
/proc/loadavg: 3.93 2.67 1.84 5/506 19343
/proc/meminfo: memFree=10210096/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=221880 CPUtime=12.69 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 60403 0 0 0 1261 8 0 0 25 0 1 0 872237051 227205120 55129 33554432000 4194304 5696331 140736102361152 18446744073709551615 4400750 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 55470 55129 150 367 0 55100 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 221880
[startup+25.501 s]
/proc/loadavg: 3.95 2.73 1.87 5/506 19370
/proc/meminfo: memFree=10498740/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=234960 CPUtime=25.49 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 63657 0 0 0 2539 10 0 0 25 0 1 0 872237051 240599040 58382 33554432000 4194304 5696331 140736102361152 18446744073709551615 4394479 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 58740 58382 150 367 0 58370 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 234960
[startup+51.1012 s]
/proc/loadavg: 4.04 2.85 1.93 5/506 19398
/proc/meminfo: memFree=10346524/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=51.09 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75637 0 0 0 5098 11 0 0 25 0 1 0 872237051 289902592 70353 33554432000 4194304 5696331 140736102361152 18446744073709551615 4416848 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70353 150 367 0 70407 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 283108
[startup+102.318 s]
/proc/loadavg: 4.02 3.02 2.04 5/506 19435
/proc/meminfo: memFree=9997684/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=102.31 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75644 0 0 0 10219 12 0 0 25 0 1 0 872237051 289902592 70360 33554432000 4194304 5696331 140736102361152 18446744073709551615 4402313 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70360 150 367 0 70407 0
Current children cumulated CPU time (s) 102.31
Current children cumulated vsize (KiB) 283108
Solver just ended. Dumping a history of the last processes samples
[startup+108.701 s]
/proc/loadavg: 4.01 3.06 2.06 5/506 19435
/proc/meminfo: memFree=9997124/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=108.69 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75645 0 0 0 10857 12 0 0 25 0 1 0 872237051 289902592 70361 33554432000 4194304 5696331 140736102361152 18446744073709551615 4417715 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70361 150 367 0 70407 0
Current children cumulated CPU time (s) 108.69
Current children cumulated vsize (KiB) 283108
[startup+111.901 s]
/proc/loadavg: 4.01 3.06 2.06 5/506 19435
/proc/meminfo: memFree=9997000/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=111.89 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75648 0 0 0 11177 12 0 0 25 0 1 0 872237051 289902592 70364 33554432000 4194304 5696331 140736102361152 18446744073709551615 4300606 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70364 150 367 0 70407 0
Current children cumulated CPU time (s) 111.89
Current children cumulated vsize (KiB) 283108
[startup+113.501 s]
/proc/loadavg: 4.01 3.07 2.07 5/506 19435
/proc/meminfo: memFree=9997248/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=113.5 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75648 0 0 0 11337 13 0 0 25 0 1 0 872237051 289902592 70364 33554432000 4194304 5696331 140736102361152 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70364 150 367 0 70407 0
Current children cumulated CPU time (s) 113.5
Current children cumulated vsize (KiB) 283108
[startup+114.3 s]
/proc/loadavg: 4.01 3.07 2.07 5/506 19435
/proc/meminfo: memFree=9997368/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=114.31 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75650 0 0 0 11418 13 0 0 25 0 1 0 872237051 289902592 70366 33554432000 4194304 5696331 140736102361152 18446744073709551615 4391527 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70366 150 367 0 70407 0
Current children cumulated CPU time (s) 114.31
Current children cumulated vsize (KiB) 283108
[startup+115.1 s]
/proc/loadavg: 4.01 3.07 2.07 5/506 19435
/proc/meminfo: memFree=9997368/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=115.1 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75652 0 0 0 11497 13 0 0 25 0 1 0 872237051 289902592 70368 33554432000 4194304 5696331 140736102361152 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70368 150 367 0 70407 0
Current children cumulated CPU time (s) 115.1
Current children cumulated vsize (KiB) 283108
[startup+115.517 s]
/proc/loadavg: 4.01 3.07 2.07 5/506 19435
/proc/meminfo: memFree=9997988/32951124 swapFree=43324008/67111528
[pid=19341] ppid=19339 vsize=283108 CPUtime=115.51 cores=0,2
/proc/19341/stat : 19341 (muser) R 19339 19341 18646 0 -1 4202496 75654 0 0 0 11538 13 0 0 25 0 1 0 872237051 289902592 70370 33554432000 4194304 5696331 140736102361152 18446744073709551615 4400276 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/19341/statm: 70777 70370 150 367 0 70407 0
Current children cumulated CPU time (s) 115.51
Current children cumulated vsize (KiB) 283108
Child status: 20
Real time (s): 115.565
CPU time (s): 115.566
CPU user time (s): 115.422
CPU system time (s): 0.143978
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 283108
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 115.422
system time used= 0.143978
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75655
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 212
runsolver used 0.572912 second user time and 1.23181 second system time
The end
Begin job on node105 at 2011-06-09 09:59:26
IDJOB=3480885
IDBENCH=88732
IDSOLVER=1969
FILE ID=node105/3480885-1307606366
RUNJOBID= node105-1307606208-18890
PBS_JOBID= 13547790
Free space on /tmp= 73324 MiB
SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b15_304.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3480885-1307606366/watcher-3480885-1307606366 -o /tmp/evaluation-result-3480885-1307606366/solver-3480885-1307606366 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3480885-1307606366.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 766aa7151a27a00399f4bc8953157b8e
RANDOM SEED=1428655131
node105.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.825
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.65
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.825
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 : 5226.15
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.825
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.825
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.825
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 : 5410.70
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.825
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.74
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.825
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.825
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: 10769952 kB
Buffers: 198544 kB
Cached: 1027276 kB
SwapCached: 20580 kB
Active: 21582476 kB
Inactive: 245580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 10769952 kB
SwapTotal: 67111528 kB
SwapFree: 43324008 kB
Dirty: 3404 kB
Writeback: 0 kB
AnonPages: 20599968 kB
Mapped: 68316 kB
Slab: 165284 kB
PageTables: 119272 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 134557008 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= 73324 MiB
End job on node105 at 2011-06-09 10:01:22