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-3480886-1307606283.cnf ***
0.00/0.01	c 
0.00/0.01	c Parsing CPU Time: 0.015997
0.00/0.01	c Running MUSer ...
3.68/3.76	c 0.00% completed ... 
28.38/28.40	c 5.00% completed ... 
45.08/45.19	c 26.61% completed ... 
55.39/55.47	c 41.61% completed ... 
65.49/65.58	c 59.38% completed ... 
76.09/76.11	c 65.05% completed ... 
113.00/113.07	c 80.14% completed ... 
114.18/114.25	c 85.15% completed ... 
122.08/122.14	c 90.57% completed ... 
137.29/137.38	c 100.00% completed ... 
137.29/137.38	c MUS size: 10740
137.29/137.38	s UNSATISFIABLE
137.29/137.38	v 5446 5382 5318 8647 5254 5190 5126 5062 4998 4934 8263 4870 19912 4806 8135 4742 19848 8071 4678 8007 19784 19720 4614 7943 19656 4550 19528 1580 19464 19400 19336 19272 19208 7431 19144 7367 7303 19080 7239 18952 7175 7111 18888 7047 18824 342 278 6983 6919 6855 18632 3526 3462 6727 3334 6599 18376 6342 6535 6278 6471 6214 18184 18120 12544 18056 17992 12416 17928 17864 3078 17800 3014 2950 17672 2886 17608 2822 17544 2758 2694 17416 17352 2182 2118 2054 1990 1926 1862 1798 1734 1670 16328 16264 16200 16136 1542 16072 16008 1478 1414 1350 15880 1286 15816 1222 15752 1158 15688 1094 15624 1030 15560 966 15496 902 14920 14856 14792 14728 14664 14536 14472 14408 14344 14280 14216 14152 14088 14024 13960 13896 13832 175 111 47 12104 403 11912 11848 11784 3181 3117 743 679 11528 615 551 487 423 13825 13761 13697 13633 13569 13505 13441 13377 13313 13249 13185 13121 13057 12993 12929 12865 6151 6087 6023 5959 5895 819 5831 5767 5703 5383 5255 5191 5127 4999 4935 4871 4807 19913 19849 4743 8072 8008 19785 4679 19721 4615 19657 4551 7880 19465 1581 19401 4295 7624 19337 7496 19273 7432 19209 7368 19145 3975 7304 19081 7240 7176 18953 7112 343 7048 18825 6984 18761 279 3591 6920 18697 3527 6856 18633 3463 6792 18505 3335 3271 6600 6343 12801 6536 18313 6472 6279 6215 18185 18121 18057 17993 17929 17865 17801 3079 3015 17737 2951 17673 17609 2887 2823 17545 2759 2695 17417 17353 2311 2183 2119 2055 1991 1927 1799 1735 1671 16393 16265 16201 16137 1543 1479 16009 15945 15881 1351 1287 15817 1223 15753 15689 15625 15561 1031 15497 967 903 14921 14857 14793 14729 14537 14473 14409 14345 14281 14217 14153 14089 14025 13897 13833 176 112 48 12233 404 3182 3118 744 680 11529 616 552 488 424 10953 13826 13762 13698 13634 13570 13506 13442 13378 13314 13250 13186 13122 13058 12994 12930 12866 6152 6088 820 5576 5512 5448 5384 5320 5256 5192 5128 5064 5000 4936 4872 4808 19914 4744 19850 4680 8009 19786 4616 19722 4552 19658 19530 1582 19466 19402 19338 19274 7369 19146 7305 19082 7241 19018 7177 18954 7113 18890 344 7049 280 6985 18762 6921 3528 6857 6793 3464 6729 18506 3336 6665 6601 6408 18378 6344 6537 12802 6280 6473 18186 6216 18122 18058 17994 12482 17866 17802 3016 17738 2952 17674 17610 2888 17546 2824 2760 17482 2696 17354 2120 2056 1992 1928 1864 1736 1672 16266 16202 16138 1544 16074 1480 16010 1416 15946 1352 1288 15818 1224 15754 15690 1160 1096 1032 15562 15498 968 904 14922 14794 14730 14666 14602 14538 14474 14410 14346 14282 14218 14090 13898 13834 177 113 49 405 11978 11850 3183 11658 745 11594 681 11530 617 553 489 425 13763 13699 13635 13571 13507 13443 13379 13315 13251 13187 13123 13059 12995 12931 12867 6089 6025 5961 5897 821 5833 5769 5705 5577 5385 5257 5193 5129 5065 5001 4937 4873 4809 19915 19851 4681 8010 19787 4617 7946 19723 4553 19659 7818 1583 7690 4297 19211 7370 19147 7306 3977 19083 7242 19019 7178 7114 18891 7050 345 18827 281 6986 6922 18699 3529 6858 18635 3465 18571 6730 18507 3337 6602 6538 6345 18315 6281 6474 18251 6217 18187 18123 18059 17995 12419 17931 17867 12291 17803 17739 3017 2953 17675 2889 17611 17547 2761 17483 2697 17419 17355 17099 2121 2057 16779 1993 1929 1865 1801 1737 1673 3209 16267 16203 16139 16075 1481 16011 15947 1353 1289 15819 1225 15755 1161 15691 15627 1033 15563 969 15499 905 14923 14859 14795 14731 14667 14539 14475 14411 14347 14283 1609 14091 13963 13899 13835 178 114 50 12107 406 11787 3184 3120 746 682 618 554 490 426 11019 13764 13700 13636 13572 13508 13444 13380 13316 13252 13188 13124 13060 12996 12932 12868 12804 6090 6026 5898 822 5514 5450 5386 5322 5194 5130 5066 5002 4938 8267 4874 4810 19916 4746 8075 19852 4682 8011 19788 4618 19724 4554 7883 19660 19532 1584 19468 19404 19340 19276 7371 19148 3978 7307 19084 7243 19020 7179 7115 346 7051 18828 6987 282 6923 3530 6859 18636 3466 6795 3402 3338 6603 18380 6346 3210 6539 6475 6282 18252 6218 18188 18124 18060 17996 12356 17868 17804 3018 17740 2954 17676 2890 17612 17548 2762 2698 17420 17356 2186 2122 2058 1994 1930 1802 1738 1674 16396 1610 16268 16204 16140 1482 16012 15948 1354 1290 15820 15756 1226 15692 1098 15628 15564 1034 15500 970 906 15052 14924 14796 14732 14540 14476 14412 14348 14284 14220 14156 14092 13964 13900 13836 179 115 51 11980 11916 3185 3121 11596 747 683 619 555 491 427 10956 13765 13701 13637 13573 13509 13445 13381 13317 13253 13189 13125 13061 12997 12933 12869 12805 6091 5963 823 5835 5771 5707 5579 5451 5387 5323 5259 5195 5131 5067 5003 4939 4875 4811 19917 19853 8012 19789 19725 4555 19661 1585 19469 4299 7628 19405 19341 7500 19277 7436 19213 7372 19149 7308 19085 7244 19021 7180 7116 18893 347 7052 6988 283 18765 6924 18701 219 3531 6860 6796 3467 18573 6732 18509 3403 3339 6668 6604 3211 6347 6540 18317 6283 6476 18189 6219 6412 18125 18061 17997 12485 17869 17805 17741 3019 2955 17677 2891 17613 2827 17549 2763 17485 17421 2699 17357 2315 2123 2059 16781 1995 1931 1867 1739 1675 16397 1611 16333 16269 16205 16141 16077 16013 1483 15949 1355 1291 15821 1227 15757 15693 1163 15629 1099 1035 15565 15501 971 907 14925 14861 14797 14733 14605 14413 14349 14285 14157 14029 13901 13837 180 116 52 12173 3186 3122 748 684 11533 620 556 492 428 11277 13766 13702 13638 13574 13510 13446 13382 13318 13254 13190 13126 13062 12998 12934 12870 6092 5964 5900 824 5772 5580 5516 5388 5324 5196 5132 5068 5004 4940 4876 4812 19918 4748 19854 8013 4684 19790 4620 7949 19726 4556 19662 19534 1586 19470 7629 19406 7565 19342 19278 7437 19214 7373 19150 7309 19086 7245 19022 7181 18958 7117 18894 7053 348 284 6989 220 6925 3532 6861 3468 3404 18510 6733 6669 3340 3276 6605 6541 6348 3212 6284 6477 6220 18190 18126 6156 18062 17998 12422 17870 17806 17742 3020 17678 2892 17614 2828 17550 17486 2764 2700 17422 17358 2124 2060 1996 1932 1868 1804 1740 1676 1612 16334 16270 16142 1484 16014 1356 15886 1292 15822 15758 1228 1164 15694 1100 15630 15566 1036 972 15502 908 15118 14926 14862 14798 14734 14542 14414 14350 14286 14222 14158 14094 14030 13966 13902 13838 181 117 53 3187 3123 749 685 621 557 493 429 13767 13703 13639 13575 13511 13447 13383 13319 13255 13191 13127 13063 12999 12935 12871 12807 6093 5901 825 5837 5709 5581 5453 5389 5325 5261 5197 5133 5069 5005 4941 8270 4877 8142 4813 19919 4749 8078 19855 8014 19791 7950 19727 4557 7886 19663 7758 1587 7694 19471 4301 7630 19407 19343 19279 7438 19215 7374 19151 7310 19087 7246 19023 7182 7118 349 7054 6990 18767 285 221 6926 6862 3533 18639 3469 6798 18575 3405 3341 6670 3277 6606 6349 3213 6542 6478 6285 6221 6414 18191 18063 17999 17935 12359 17807 3021 17743 2957 17679 2893 17615 2829 17551 2765 17487 2701 17423 17359 17103 2125 2061 16783 1997 1933 1869 1805 1741 1677 16399 16335 1613 16271 16143 16079 1485 16015 15951 15887 1293 15823 15759 15695 1101 15631 1037 15567 15503 973 909 14927 14863 14799 14735 14671 14543 14415 14351 14287 14159 14095 14031 13839 182 118 54 12239 12175 11855 3188 3124 750 686 622 558 494 430 10959 13768 13704 13640 13576 13512 13448 13384 13320 13256 13192 13128 13064 13000 12936 12872 6094 6030 5966 5902 826 5838 5774 5518 5454 5390 5326 5262 5198 5134 5070 5006 4942 4878 8207 19920 4750 19856 4686 8015 19792 7951 4622 19728 4558 7887 19664 19536 1588 19472 4302 19408 7567 19344 7503 19280 19216 7375 19152 7311 19088 7247 19024 7183 7119 18896 350 7055 18832 286 6991 6927 222 3534 6863 3470 6799 3406 6735 3342 6607 3278 3214 6350 6543 6286 6479 18256 6415 18192 6222 18128 18064 18000 12488 17936 17872 17808 3022 17744 17680 2894 17616 2830 17552 2766 17488 17424 2702 17360 2126 2062 1998 1934 1870 1742 1678 1614 16336 16272 16144 16016 1486 1422 15952 1358 15824 15760 1166 15696 1102 15632 1038 15568 15504 974 910 14992 14928 14864 14800 14736 14608 14544 14416 14352 14288 14224 14160 14096 14032 13968 13904 13840 183 119 55 11984 11792 3189 751 11600 687 623 559 495 431 13769 13705 13641 13577 13513 13449 13385 13321 13257 13193 13129 13065 13001 12937 12873 12809 6095 6031 5967 827 5775 5711 5647 5455 5391 5327 5199 5135 5071 5007 4943 4879 19921 4751 19857 4687 8016 19793 4623 19729 4559 7888 19665 1589 19473 7632 19409 7568 19345 7504 19281 19217 7376 19153 7312 19089 7248 19025 7184 18961 7120 18897 7056 351 287 6992 223 6928 3535 6864 18641 3471 3407 6736 18513 3343 6672 6608 18385 6544 6351 3215 6287 6480 6223 6416 18193 6159 18065 18001 12425 17873 17809 3023 17745 2959 17681 2895 17617 2831 2767 17489 2703 17425 17361 17105 2127 2063 16785 1999 1935 1871 1807 1743 1679 16337 1615 16273 16145 1487 16017 1359 15889 1295 15825 1231 15761 1167 15697 1103 1039 15569 975 15505 911 15121 14929 14865 14801 14737 14545 14417 14353 14289 14161 14097 13841 184 120 56 12241 12113 11857 3190 3126 752 688 624 560 496 432 13770 13706 13642 13578 13514 13450 13386 13322 13258 13194 13130 13066 13002 12938 12874 12810 6096 6032 5968 828 5840 5776 5712 5584 5520 5392 5328 5264 5200 5136 5072 5008 4944 4880 8145 19922 4752 8081 19858 8017 4688 19794 7953 4624 19730 4560 19666 19538 1590 7697 7505 19218 7377 19154 7313 19090 7249 19026 7185 18962 7121 352 7057 6993 288 224 6929 18706 6865 3536 3472 6801 3408 6673 3344 3280 6609 6352 3216 6545 18322 6481 18258 6224 6417 18194 6160 18130 18002 17938 17874 17810 3024 17746 17682 2896 17618 2832 17554 17490 2768 2704 17426 17362 2128 2064 16786 2000 1936 1872 1808 1744 1680 16338 1616 16274 16210 16146 1488 16018 1424 15954 1360 15890 1296 15826 1232 15762 15698 1168 1104 1040 15570 976 15506 912 14930 14866 14802 14738 14674 14418 14354 14290 14098 14034 13906 13842 185 121 57 3191 11730 3127 753 11602 689 625 561 497 433 13771 13707 13643 13579 13515 13451 13387 13323 13259 13195 13131 13067 13003 12939 12875 12811 6097 5905 829 5841 5393 5329 5265 5201 5137 5073 5009 4945 4881 4817 19923 4753 8082 19859 4689 8018 19795 4625 7954 19731 4561 7890 19667 1591 19475 19411 7570 19347 19283 7442 19219 7378 19155 7314 19091 7250 19027 7186 18963 7122 18899 353 7058 289 6994 6930 225 3537 6866 6802 3473 3409 6738 18515 3345 3281 6610 18387 3217 6353 6546 6289 6482 6418 18195 6225 6161 18131 18067 12491 18003 17939 17875 17811 12299 3025 17747 2961 17683 2897 17619 2833 2769 2705 17363 17107 2129 2065 2001 1937 1873 1745 1681 1617 16339 16275 16211 16147 16019 1489 15891 1361 1297 15827 1233 15763 15699 1169 1105 15635 1041 15571 15507 977 913 14995 14931 14867 14803 14739 14675 14611 14547 14483 14419 14355 14291 14163 14099 14035 13971 13907 13843 186 122 58 12179 12115 11859 11795 3192 754 690 626 562 498 434 13772 13708 13644 13580 13516 13452 13388 13324 13260 13196 13132 13068 13004 12940 12876 12812 6098 6034 5842 830 5714 5586 5522 5458 5394 5330 5266 5202 5138 5074 5010 4946 4882 19924 4754 8083 19860 8019 4690 19796 4626 19732 4562 7891 19668 7763 19540 7699 1592 19476 7635 19412 19348 19284 7443 7379 19156 7315 19092 7251 19028 7187 7123 18900 7059 354 18836 290 6995 18772 226 6931 18708 3538 6867 3474 18580 6739 3410 6675 3346 6611 3218 6547 6354 18324 6290 6483 6226 6419 18196 18132 18004 17940 17876 17812 3026 17748 2962 17684 2898 17620 2834 17556 2770 17492 2706 17428 17364 2130 2066 2002 1938 1874 1810 1746 1682 1618 16340 16276 16212 16148 16084 16020 1490 15956 1426 1362 15892 1298 15828 1170 15700 1106 15636 1042 15572 978 15508 914 15124 14932 14868 14804 14740 14676 14548 14420 14356 14292 14164 14100 14036 13972 13908 13844 187 123 59 11988 11924 3193 3129 755 11604 691 627 563 499 435 10964 13773 13709 13645 13581 13517 13453 13389 13325 13261 13197 13133 13069 13005 12941 12877 12813 6099 6035 5971 5907 831 5779 5715 5523 5395 5331 5267 5203 5139 5075 5011 4947 4883 8148 19925 4755 19861 4691 8020 19797 7956 4627 19733 4563 19669 1593 19477 19413 19349 7508 19285 7444 7380 19157 7316 19093 7252 19029 7188 18965 7124 355 7060 6996 291 227 6932 3539 6868 3475 6804 3411 3347 6676 6612 18389 6355 3219 6548 6484 6227 6420 18197 18133 18069 18005 17941 17877 12365 17813 12301 3027 17749 17685 2899 17621 2835 17557 2771 2707 17365 17109 2131 2067 2003 1939 1875 1811 1747 1683 1619 16341 16277 16213 16149 16085 1491 16021 15957 1363 1299 15829 15765 1235 1171 15701 1107 15637 1043 15573 15509 979 915 14933 14869 14805 14741 14677 14549 14421 14357 14293 13909 13845 188 124 60 12245 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 5908 832 5716 5652 5588 5460 5396 5332 5268 5204 5140 5076 5012 4948 4884 19926 4756 8085 19862 4692 8021 19798 4628 7957 19734 4564 7893 19670 19542 19478 1594 19414 19350 19286 19222 7381 19158 7317 7253 19030 7189 18966 7125 18902 356 7061 6997 18774 292 6933 18710 228 3540 6869 18646 3476 6805 18582 3412 6741 3348 6613 3220 6356 6549 18326 6485 18262 6421 18198 6228 18134 18070 18006 12494 17942 17878 17814 3028 17750 17686 2900 2836 17558 2772 17494 2708 17430 17366 17110 2132 2068 2004 1940 1876 1748 1684 1620 16342 16278 16214 16150 16086 1492 16022 1428 15958 1364 1300 15830 1236 1172 15702 1108 15638 15574 1044 980 15510 916 14934 14870 14806 14742 14678 14614 14550 14422 14358 14294 14230 14166 13974 13910 13846 189 125 61 11926 11798 3195 3131 757 693 629 565 501 437 11094 13775 13711 13647 13583 13519 13455 13391 13327 13263 13199 13135 13071 13007 12943 12879 12815 6101 6037 5973 5909 5845 833 5781 5525 5397 5333 5269 5205 5141 5077 5013 4949 4885 4821 8150 19927 4757 19863 8022 19799 4629 19735 4565 7894 19671 7766 19479 1595 19415 7574 19351 19287 19223 7382 19159 7318 7254 19031 7190 7126 18903 7062 357 293 6998 229 6934 6870 3541 3477 6742 3413 3349 6678 18455 3285 6614 6550 3221 6357 6486 6229 6422 18199 18135 6165 18007 17943 12431 17879 12367 17815 17751 3029 2965 17687 2901 2837 17559 17495 2773 2709 17431 17367 2133 2069 2005 1941 1877 1813 1749 1685 1621 16343 16279 16215 16151 1493 16023 15959 1429 1365 15831 1301 15767 1237 15703 1173 15639 1109 15575 1045 15511 981 917 14935 14871 14807 14743 14679 14551 14423 14359 14295 14167 14039 13975 13911 13847 190 126 62 12183 12119 3196 11735 3132 758 694 630 566 502 438 10967 13776 13712 13648 13584 13520 13456 13392 13328 13264 13200 13136 13072 13008 12944 12880 12816 6102 6038 5910 834 5782 5590 5526 5462 5398 5334 5270 5206 5142 5078 5014 4950 4886 19928 4758 8087 19864 8023 19800 7959 4630 19736 4566 19672 19544 7703 19480 1596 19416 19352 7511 19288 7383 19160 7319 19096 7255 19032 7191 3862 7127 358 7063 6999 18776 294 230 6935 3542 6871 18648 3478 6807 18584 3414 18520 3350 6679 6615 6358 3222 6551 6487 6294 6230 6423 18200 18136 18072 18008 17944 17880 17816 3030 17752 17688 2902 17560 2838 17496 2774 2710 17432 17368 2198 2134 2070 2006 1942 1878 1814 1750 1686 1622 16344 16280 16216 16152 16088 16024 1494 1430 15960 1366 15832 1302 15704 1174 15640 1110 15576 1046 982 15512 918 14936 14872 14808 14744 14680 14552 14488 14424 14360 14296 14232 14168 14104 14040 13976 13912 13848 191 127 63 11864 3197 3133 759 695 631 567 503 439 13777 13713 13649 13585 13521 13457 13393 13329 13265 13201 13137 13073 13009 12945 12881 12817 6103 5975 5911 5847 835 5783 5719 5527 5399 5335 5207 5143 5079 5015 4951 4887 8216 8152 19929 4759 19865 4695 8024 19801 4631 7960 19737 4567 19673 1597 7704 19481 7640 19417 7576 19353 7512 19289 7448 7384 19161 7320 7256 19033 7192 7128 18905 359 7064 18841 295 7000 6936 231 3543 6872 3479 6808 3415 6744 3351 6616 3287 3223 6359 6552 6295 6488 18201 6424 6231 18137 18073 18009 12497 12433 17945 17881 17817 12305 3031 17753 17689 2967 17625 2903 2839 17561 17497 2775 2711 17433 17369 2135 2071 2007 1943 1879 1751 1687 16345 1623 16281 16217 16153 16089 1495 16025 15961 1431 1367 15833 15769 1239 1175 15705 1111 15641 15577 1047 15513 983 919 14937 14873 14809 14745 14681 14617 14553 14425 14361 14297 14169 14105 14041 13977 13913 13849 192 128 64 12249 11801 3198 3134 760 11609 696 632 568 504 440 13778 13714 13650 13586 13522 13458 13394 13330 13266 13202 13138 13074 13010 12946 12882 12818 6104 6040 5912 836 5784 5656 5592 5464 5400 5336 5272 5208 5144 5080 5016 4952 4888 4824 8153 19930 4760 8089 19866 8025 19802 4632 19738 4568 19674 4504 7769 19546 7705 19482 1598 19418 19354 7513 19290 7449 19226 7385 19162 7321 7257 19034 7193 18970 7129 18906 7065 360 7001 296 232 6937 6873 18650 3480 3416 6745 18522 3352 6681 18394 6553 6360 3224 6296 6489 18266 6232 6425 18202 18138 6168 18074 18010 17946 17882 17818 3032 17754 2968 17690 2904 2840 17562 17498 2776 17434 2712 17370 2200 2136 2072 2008 1944 1880 1816 1752 1688 1624 16346 16282 16218 16154 1496 16026 1432 15962 1368 1304 15834 15770 15706 1176 1112 15642 15578 1048 15514 984 920 14938 14874 14810 14746 14682 14554 14490 14426 14362 14298 14234 14170 14106 13914 13850 193 129 65 11930 1 3199 11738 3135 761 697 633 569 505 441 10970 13779 13715 13651 13587 13523 13459 13395 13331 13267 13203 13139 13075 13011 12947 12883 12819 6105 6041 5977 5913 5849 837 5785 5721 5401 5337 5209 5145 5081 5017 4953 4825 8154 19931 8090 19867 4761 8026 19803 7962 19739 4633 7898 19675 4569 7770 19483 1599 7578 7450 7386 19163 7322 19099 7258 19035 7194 18971 7130 361 7066 7002 297 233 6938 18715 6874 3545 3481 6810 3417 3353 6682 3289 6618 6361 6554 18331 3225 6490 6233 6426 18203 18139 18075 18011 17947 17883 12371 17819 17755 3033 17691 2905 17563 2841 17499 2777 2713 17435 17371 2201 2137 2073 2009 1945 1881 1817 1753 1689 1625 16347 16283 16219 16155 16027 1497 15963 1369 15835 1305 1241 1177 15707 15643 1113 1049 15579 985 15515 921 14939 14875 14811 14747 14683 14555 14427 14363 14299 14171 14107 14043 13979 13915 13851 194 130 66 12123 2 3200 762 698 11547 634 570 506 442 11163 13780 13716 13652 13588 13524 13460 13396 13332 13268 13204 13140 13076 13012 12948 12884 12820 6106 838 5786 5594 5530 5466 5402 5338 8603 5274 5210 5146 5082 5018 4954 8219 4890 8155 19932 4762 19868 8027 19804 4698 4634 7963 19740 4570 19676 7835 19548 1600 7643 19420 7579 19356 7515 19292 4186 19228 7387 19164 7323 19100 7259 19036 7195 18972 3866 7131 18908 362 7067 18844 298 7003 6939 18716 234 6875 3546 6811 3482 6747 18524 3418 18460 3354 6619 18396 6362 6555 3226 6298 6491 6427 18204 6234 18140 18076 18012 12500 17948 17884 17820 17756 3034 17692 2970 2906 2842 17564 17500 2778 2714 17436 17372 2138 2074 2010 1946 1882 1754 1690 16348 1626 16284 16220 16156 1498 16028 15964 1306 15836 1242 15708 1178 15644 1114 15580 1050 986 15516 922 14940 14876 14812 14748 14684 14620 14556 14492 14428 14364 14300 14236 14172 14044 13916 13852 771 131 67 12188 11996 11804 3 3201 3137 763 11612 699 635 571 11420 507 443 13781 13717 13653 13589 13525 13461 13397 13333 13269 13205 13141 13077 13013 12949 12885 12821 6107 5979 5915 5851 839 5787 5723 5659 5595 5403 5339 5275 5211 5147 5083 5019 4955 8156 19933 4827 8092 19869 4763 4699 8028 19805 19741 4635 4571 19677 19613 1601 19485 19421 19357 7516 19293 19229 7388 19165 7324 19101 7260 19037 7196 7132 18909 7068 363 7004 18781 299 235 18717 6940 3547 6876 18589 3483 6748 3419 6684 3355 3291 6556 18333 6363 3227 6299 6492 6235 18205 6428 18141 6171 18077 18013 17949 12437 17885 12309 17821 3035 17757 17693 17629 2907 2843 17565 2779 17437 2715 17373 2139 2075 2011 1947 1883 1755 1691 1627 16349 16285 16221 16157 16093 16029 1499 15965 1435 1307 15837 1243 15773 15709 1179 1115 15645 1051 15581 15517 987 923 14941 14877 14813 14749 14685 14557 14493 14429 14365 14301 14237 14173 14109 14045 13981 13917 13853 772 132 68 4 3202 11741 3138 764 700 636 572 508 444 10973 13782 13718 13654 13590 13526 13462 13398 13334 13270 13206 13142 13078 13014 12950 12886 12822 6108 840 5532 5468 5404 5340 5276 5212 5148 5084 5020 4956 4892 19934 4828 8093 19870 4764 8029 19806 4636 7965 19742 7901 19678 4572 19614 4508 19550 19486 1602 19422 19358 19294 19230 7389 19166 7325 7261 19038 3868 7197 18974 7133 364 7069 7005 300 236 6941 3548 6877 3484 18590 3420 3356 6685 6621 18398 6364 3228 6557 6493 18270 6236 6429 18206 18142 18078 18014 17950 17886 17822 17758 3036 17694 2972 2908 17566 2844 2716 17438 17374 2140 2076 2012 16670 1948 1884 1756 1692 16350 1628 16286 16222 16158 16030 1500 15966 1372 15902 15838 1308 1244 15710 1180 15646 1116 1052 15582 15518 988 924 14942 14878 14814 14750 14686 14558 14430 14366 14302 14238 14174 14110 13918 13854 773 133 69 5 11998 11934 11870 11806 3203 3139 765 701 637 573 509 445 13783 13719 13655 13591 13527 13463 13399 13335 13271 13207 13143 13079 13015 12951 12887 12823 6109 6045 5981 5917 841 5853 5789 5725 5661 5597 5469 5405 5341 8606 5277 5213 5149 5085 5021 4957 4893 8222 4829 8158 19935 4765 19871 19807 4701 8030 4637 7966 19743 4573 19679 19615 1603 19487 19423 7646 19359 7582 7518 19295 19231 7454 7390 19167 7326 19039 7262 7198 18975 7134 18911 365 18847 7070 301 7006 18783 6942 18719 237 18655 3549 6878 18591 3485 6750 3357 3293 6622 3229 6365 6558 18335 6301 6494 6430 18207 6237 18143 18015 12503 17951 17887 12375 17823 17759 3037 17695 2973 2909 2845 17567 17503 2717 17439 17375 2653 2333 2141 2077 2013 1949 1885 1821 1757 1693 16351 1629 16287 16223 16159 16095 1501 16031 15967 1437 1309 15839 15775 1245 15711 1181 1117 15647 15583 1053 15519 989 925 15007 14943 14879 14815 14751 14687 14623 14559 14495 14431 14367 14303 14239 14175 14047 13983 13855 774 134 70 6 12191 12063 3204 3140 766 11615 11551 702 638 574 510 446 13784 13720 13656 13592 13528 13464 13400 13336 13272 13208 13144 13080 13016 12952 12888 12824 6110 6046 5982 842 5598 5534 5406 5342 5278 5214 5150 5086 5022 4958 4894 19936 4830 8159 4766 8095 19872 4702 8031 19808 19744 4638 19680 4510 7839 19616 19552 1604 19488 7647 19424 19360 7519 19296 4190 7455 19232 19168 7391 7327 7263 19040 3870 7199 7135 18912 7071 366 302 7007 238 6943 18720 3550 6879 3486 6815 6751 3422 3358 6687 18464 3294 6559 6366 3230 6302 6495 18272 6238 18208 6431 18144 6174 18080 18016 17952 17888 17824 17760 3038 17696 17632 2910 2846 17568 17440 2718 17376 17312 2142 2078 2014 1950 1886 1758 1694 1630 16288 16224 16160 1502 16032 15968 1374 1310 15840 1246 15776 15712 1182 15648 1118 1054 15584 15520 990 926 14944 14880 14816 14752 14688 14560 14432 14368 14304 14240 14176 14112 13984 13856 775 135 71 7 11872 3205 11744 3141 767 703 639 575 511 447 10976 13785 13721 13657 13593 13529 13465 13401 13337 13273 13209 13145 13081 13017 12953 12889 12825 6111 5919 843 5855 5791 5727 5663 5599 5471 5407 5343 5279 5215 5151 5087 5023 4959 8224 4895 4831 19937 19873 8096 8032 19809 4703 19745 7968 19681 4575 7904 19489 1605 7648 19425 19361 19297 7456 19233 7392 19169 19105 7328 7264 19041 7200 18977 7136 367 7072 7008 18785 303 239 6944 3551 6880 18657 3487 18593 18529 3423 3359 6688 6624 6367 3231 6560 6496 6239 6432 18209 6175 18145 18017 17953 17889 17825 17761 3039 2975 17633 2911 17569 2847 17441 2719 17377 2143 2079 2015 1951 1887 1759 1695 16353 1631 16289 16225 16161 16097 16033 1503 1439 15969 15905 15841 1311 1247 15713 1183 15649 1119 1055 15585 15521 991 927 14945 14881 14817 14753 14689 14561 14497 14433 14369 14305 14177 14113 14049 13985 13921 13857 776 136 72 8 12257 3206 11617 768 704 640 576 512 448 13786 13722 13658 13594 13530 13466 13402 13338 13274 13210 13146 13082 13018 12954 12890 12826 6112 5984 844 5856 5536 5472 5408 5280 5216 5152 5088 5024 4960 4896 8161 19938 4832 8097 19874 4768 19810 4704 8033 4640 19746 4576 19682 19618 4512 19554 1606 19490 7585 4192 7521 7393 19170 7329 19042 7265 7201 18978 3872 7137 18914 368 18850 7073 304 7009 6945 240 3552 6881 18594 3488 6753 3360 3296 6625 6368 6561 3232 6304 6497 6433 18210 6240 6176 18146 18082 18018 12506 17954 17890 17826 12314 17762 3040 17698 2912 2848 17570 17506 2784 2720 17442 17378 2656 16994 2144 2080 2016 1952 16674 1888 1824 1760 1696 16354 1632 16290 16226 16162 16034 1504 15970 1440 1376 15906 15842 1312 15778 1248 1184 15714 1120 15650 15586 1056 15522 992 928 15010 14946 14882 14818 14754 14690 14626 14562 14498 14434 14370 14306 14114 14050 13986 13858 777 137 73 9 12002 11810 3207 3143 11682 769 705 641 577 513 449 13787 13723 13659 13595 13531 13467 13403 13339 13275 13211 13147 13083 13019 12955 12891 12827 6113 6049 5985 5921 845 5793 5729 5665 5473 5409 5345 5281 5217 5153 5089 5025 19939 4833 8162 8098 19875 4705 8034 19811 19747 4641 7970 4577 19683 19619 19555 1607 19491 19427 7650 19363 7522 19299 19235 19171 7394 7330 7266 19043 3873 7202 7138 18915 7074 18851 369 305 7010 241 6946 18723 3553 6882 18659 3489 6818 6754 18531 3425 6690 3361 18403 3297 6562 6369 3233 6305 6498 6241 18211 6434 18147 18083 18019 17955 17891 17827 17763 3041 17635 2913 2849 17571 17507 17443 2721 2657 17379 2273 2145 2081 2017 1953 1889 1825 1761 1697 16355 1633 16291 16227 16163 16099 16035 1505 1441 15971 15907 1377 15843 1249 15715 1185 15651 1121 15587 1057 15523 993 929 14947 14883 14819 14755 14691 14627 14563 14499 14435 14371 14307 14243 14115 14051 13987 13859 778 138 74 10 12259 12131 3208 3144 770 706 11555 642 578 514 450 13788 13724 13660 13596 13532 13468 13404 13340 13276 13212 13148 13084 13020 12956 12892 12828 6114 6050 5986 5922 846 5858 5730 5602 5538 5410 5346 5282 5218 5154 5090 4962 4898 8227 4834 19940 19876 4770 8099 4706 8035 19812 19748 4642 19684 4578 7907 19620 4514 19556 19492 1608 19428 19364 7587 19300 4194 19236 7395 19172 19108 7331 7267 19044 7203 18980 7139 370 7075 18852 7011 306 242 6947 3554 6883 3490 3362 6691 3298 6627 6370 18340 3234 6563 6499 6306 6242 6435 18212 18148 18084 18020 17956 17892 17828 17764 3042 17700 2914 17636 17572 2850 17444 2722 17380 2658 17316 2146 2082 2018 1954 16676 1890 1826 1762 1698 16356 1634 16292 16228 16164 16036 1506 1442 15972 1378 15844 15780 15716 1186 15652 1122 1058 15524 994 930 14948 14884 14820 14756 14692 14628 14564 14500 14436 14372 14308 14180 14116 14052 13988 13924 13860 779 139 75 11 11876 11620 3081 707 643 579 515 451 13789 13725 13661 13597 13533 13469 13405 13341 13277 13213 13149 13085 13021 12957 12893 12829 6115 847 5859 5795 5667 5411 5347 5283 5219 5155 5091 5027 4963 4899 4835 8164 19941 4771 19877 8100 19813 8036 19749 4643 7908 19685 4579 19621 4515 7844 19429 1545 19365 19301 19237 7460 7396 19173 7332 19045 7268 7204 18981 7140 18917 371 7076 307 7012 6948 18725 243 3555 6884 18597 3491 3427 6756 18533 18469 3363 3299 6628 18405 6371 6564 3235 18277 6307 6500 6436 18213 6243 6179 18149 18085 18021 12509 17957 17893 17829 12317 3043 17765 17701 2979 17637 2915 2851 17573 17509 17445 2723 17381 2083 2019 1955 1891 1763 1699 16357 1635 16293 16165 16101 16037 1507 15973 1443 1379 15909 1315 15845 15781 15717 1187 15653 1059 995 15525 931 15461 867 14949 14885 14821 14757 14693 14565 14501 14437 14309 14245 14117 14053 13989 13861 780 140 76 12 12197 12133 3146 3082 708 644 580 516 452 13790 13726 13662 13598 13534 13470 13406 13342 13278 13214 13150 13086 13022 12958 12894 12830 6116 6052 5924 848 5860 5796 5732 5604 5540 5476 5412 5348 5284 5220 5156 5092 5028 4964 4900 19942 4836 19878 4772 8037 19814 4708 19750 4644 7973 4580 7909 19686 19622 19494 7653 19430 1546 19366 19302 4196 19238 7461 19174 7397 7333 7269 19046 7205 7141 18918 7077 372 308 18790 7013 244 6949 6885 3556 3492 6821 3428 6757 3364 6693 3300 6565 18342 6372 3236 6308 6501 6244 18214 6437 18150 18086 18022 17958 12446 17894 17830 17766 3044 2980 17702 17638 2916 17574 2852 17510 17446 2724 2660 17318 2340 16998 2084 2020 16678 1956 1892 1828 1764 1700 1636 16358 16294 16230 16166 16102 16038 1508 1444 15974 1380 15910 1316 15846 1252 1188 15718 1124 15654 1060 996 15526 932 868 15142 14950 14886 14822 14758 14694 14630 14566 14502 14438 14374 14310 14182 14118 14054 13990 13862 781 141 77 13 12006 11942 11814 3083 709 645 581 517 453 13791 13727 13663 13599 13535 13471 13407 13343 13279 13215 13151 13087 13023 12959 12895 12831 6117 6053 5989 5925 849 5733 5669 5541 5349 5285 5221 5157 5093 5029 4965 4901 4837 19943 19879 4773 8038 19815 19751 19687 4581 19623 7846 19431 1547 19367 19303 4197 7526 7462 19239 7398 19175 19111 7334 7270 19047 7142 7078 373 7014 309 245 6950 6886 3493 18599 3429 18471 3365 6694 6630 18407 6373 3237 6566 6502 18279 6309 6245 6438 18215 6181 18151 18087 18023 17959 17895 12383 17831 17767 3045 17703 2981 2917 17639 2853 17511 2725 2661 17383 2085 2021 1957 1893 1829 1765 1701 16359 1637 16295 16231 16167 1509 16039 15975 1445 1381 15911 1317 15847 15783 15719 1189 1125 15655 1061 15527 997 933 869 14951 14887 14823 14759 14695 14631 14503 14439 14375 14311 14247 14119 14055 13991 13927 13863 782 142 78 14 12263 12199 12071 3148 3084 710 646 582 518 454 13792 13728 13664 13600 13536 13472 13408 13344 13280 13216 13152 13088 13024 12960 12896 12832 6118 5926 850 5798 5734 5670 5606 5478 5222 5158 5094 5030 4966 4902 19944 4838 4774 19880 19816 4710 8039 4646 19752 4582 7911 19688 19624 4518 19496 19432 1548 19368 19304 19240 7463 7399 19176 7335 19112 19048 7271 7207 7143 18920 374 18856 7079 310 7015 18792 6951 246 18664 6887 3494 3430 3366 6631 3302 6374 6567 18344 3238 6310 6503 6439 18216 6246 6182 18088 18024 12512 12448 17960 17896 17832 3046 17768 2982 17704 2918 17640 2854 17576 17512 17448 2726 2662 17384 17320 17000 2086 2022 1958 16680 1894 1766 1702 1638 16360 16296 16168 16104 1510 16040 1446 15976 1382 15912 15848 1254 15720 15656 1126 1062 15592 15528 998 934 15464 870 14952 14888 14824 14760 14696 14568 14504 14440 14376 14312 14248 14184 14120 14056 13992 13928 13864 783 143 79 15 11944 11880 3149 11624 711 647 583 519 455 13793 13729 13665 13601 13537 13473 13409 13345 13281 13217 13153 13089 13025 12961 12897 12833 6119 6055 5991 5863 851 5799 5543 5415 5351 5287 5223 5159 5095 5031 4967 4903 8232 19945 4839 4775 19881 4711 19817 8040 19753 4647 7976 7912 19689 4583 19625 19433 1549 19369 7592 19305 7528 19241 7400 19177 7336 19113 7272 19049 18985 7144 18921 7080 375 311 7016 247 6952 6888 3495 6824 3431 3367 6696 18473 6568 6375 3239 6311 6504 18281 6247 6440 18217 18153 18089 18025 17961 17897 12385 17833 3047 2983 2919 17641 2855 17513 2791 2727 17449 2663 17385 2343 2151 2087 2023 1959 16681 1895 1831 1767 1639 16361 16297 16233 16169 16105 16041 1511 1447 15977 1383 15913 15849 1319 1255 15721 1127 15657 1063 999 15529 935 15465 871 14953 14889 14825 14761 14697 14569 14505 14441 14377 14313 14249 14185 14057 13993 13929 13865 784 144 80 16 12137 12073 11817 3150 712 648 584 520 456 13794 13730 13666 13602 13538 13474 13410 13346 13282 13218 13154 13090 13026 12962 12898 12834 6120 6056 5992 852 5800 5672 5608 5544 5480 5352 5160 5096 5032 4968 4904 8169 4840 19946 4776 8105 19882 4712 8041 19818 4648 19754 4584 19690 19626 7785 19498 1550 19434 7593 19370 19306 19242 7401 4072 19178 7337 19114 7273 19050 7145 376 7081 7017 18794 312 248 6953 18730 3560 6889 18666 3496 3432 6761 18538 3368 6697 3304 6633 6376 3240 6569 6505 6312 6248 6441 18218 18154 18090 18026 17962 17898 3048 17770 17706 2984 2920 17642 2856 17578 17514 2728 17450 2664 17386 17322 2472 2344 17002 2088 2024 1960 1896 1832 1768 1704 1640 16362 16298 16170 16106 1512 16042 1448 15978 15914 1384 1320 15850 1192 15722 1128 15658 1064 15530 1000 936 15466 872 15146 15082 14954 14890 14826 14762 14698 14570 14506 14442 14314 14250 14186 13994 13866 785 145 81 17 3151 713 649 585 521 457 11178 13795 13731 13667 13603 13539 13475 13411 13347 13283 13219 13155 13091 13027 12963 12899 12835 6121 6057 5993 5929 853 5865 5737 5673 5545 5289 5225 5161 5097 5033 4969 4905 19947 4777 19883 4713 8042 19819 4649 19755 4585 7914 19691 4521 7850 19627 1551 7658 7530 7466 7402 19179 7338 19115 7274 19051 7146 18923 377 7082 18859 313 7018 6954 249 6890 3497 3433 3369 3305 6634 3241 6377 6570 6313 6506 6442 6249 18219 18155 18091 18027 12515 17963 17899 12323 17835 3049 17771 2985 17707 17643 2921 2857 17579 2729 17451 2665 17387 17323 2345 2281 2089 2025 1961 1897 1769 1705 1641 16363 16299 16235 16171 16107 1513 16043 1449 15979 1385 15915 1321 15851 1257 15787 1193 15723 15659 1065 15531 1001 937 873 15147 14891 14827 14763 14699 14635 14571 14507 14443 14315 14251 14187 14123 13995 13867 786 146 82 18 12267 12203 3152 714 650 586 522 458 13796 13732 13668 13604 13540 13476 13412 13348 13284 13220 13156 13092 13028 12964 12900 12836 6122 6058 5994 5866 854 5674 5610 5482 5418 5354 5290 5226 5162 5098 5034 4970 4906 20012 19948 4778 19884 4714 8043 19820 4650 7979 19756 7915 4586 19692 19628 19500 1552 19436 19372 19308 19244 7403 19180 7339 19116 7275 19052 7211 18988 7147 18924 7083 378 314 7019 250 6955 18732 6891 18668 3562 3498 6827 18604 3434 18540 3370 6699 3306 18412 6571 6378 6314 6507 6250 6443 18220 6186 18156 18092 18028 17964 12452 17900 17836 17772 3050 2986 17708 2922 17644 2858 17580 2794 17516 2730 17452 17388 2666 2474 2282 17004 2090 2026 1962 1898 1834 1770 1706 1642 16364 16300 16236 16172 16108 1514 16044 15980 1450 1386 15916 1322 15852 1258 15788 1194 15724 1130 15660 1066 1002 15532 938 15468 874 14892 14828 14764 14700 14636 14572 14508 14444 14380 14316 14252 14188 14124 14060 13996 13868 787 147 83 19 11948 3153 715 651 587 523 459 13797 13733 13669 13605 13541 13477 13413 13349 13285 13221 13157 13093 13029 12965 12901 12837 6123 6059 5995 5931 5867 855 5803 5739 5419 5355 5291 5227 5163 5099 5035 4971 4907 8172 19949 4779 8108 19885 4715 8044 19821 7980 19757 19693 19629 7788 1553 19437 7596 19373 19309 19245 7404 19181 7340 19117 7276 19053 7148 379 7084 7020 315 251 6956 6892 3499 3435 6764 3371 6700 3307 6636 6379 6572 18349 6508 6315 6251 6444 18221 18157 18093 18029 17965 17901 12389 17837 12325 3051 17773 17709 2987 17645 2859 17581 2795 2731 2667 17389 17005 2091 2027 1963 1899 1835 1771 1707 1643 16301 16237 16173 1515 16045 15981 1451 1387 15917 1323 15853 1259 15789 15725 1131 15661 1067 15533 1003 939 15469 875 15149 14893 14829 14765 14701 14573 14509 14445 14381 14317 14253 14125 13997 13933 13869 788 148 84 20 12141 12077 11821 3154 716 652 588 524 460 13798 13734 13670 13606 13542 13478 13414 13350 13286 13222 13158 13094 13030 12966 12902 12838 6124 6060 5996 856 5868 5740 5612 5548 5484 5420 5356 5292 5228 5164 5100 5036 4972 20014 4908 19950 8109 4780 19886 4716 8045 19822 4652 7981 19758 4588 19694 4524 7853 19630 4396 19502 1554 7661 19438 19374 19310 7469 19246 7405 4076 19182 7341 19118 7277 19054 7149 18926 380 3756 7085 18862 316 7021 6957 18734 252 6893 3500 18606 3436 18542 3372 18478 3308 6637 18414 6380 6573 6316 6509 18286 6445 6252 18222 12518 18030 17966 17902 17838 3052 17774 2988 17710 17646 2860 17582 2796 17518 2732 17454 17390 17326 2476 2092 2028 1964 1900 1772 1708 1644 16302 16238 16174 16110 1516 16046 1452 15982 1388 15918 15854 1260 15790 15726 1196 15662 1068 15534 1004 940 15470 876 15278 195 15150 14894 14830 14766 14702 14638 14574 14510 14446 14318 14190 14062 13934 13870 789 149 85 21 12014 3155 717 653 11502 589 525 461 11118 13799 13735 13671 13607 13543 13479 13415 13351 13287 13223 13159 13095 13031 12967 12903 12839 6125 6061 5997 5933 5869 857 5805 5741 5677 5613 5357 5293 5229 5165 5101 5037 4973 4909 4845 8174 19951 4781 8110 19887 4717 8046 19823 4653 7982 19759 19695 4525 7854 19631 7662 1555 19439 19375 19311 7470 19247 7406 19183 7342 19119 7278 19055 18991 7150 18927 7086 381 18863 317 7022 18799 253 6958 6894 3501 6830 3437 3373 6702 3309 6574 18351 6317 6510 6253 6446 6189 18159 18095 18031 17967 12455 17903 17839 3053 17775 2989 17711 17647 2861 17583 2797 17519 2733 17455 2669 17391 2477 2157 2093 2029 1965 1901 1773 1709 1645 16303 16239 16175 1517 16047 1453 15983 15919 1325 15855 15791 1261 1197 15727 1133 15663 1069 15599 1005 15535 15471 941 877 15279 196 14959 14895 14831 14767 14703 14575 14511 14447 14319 14255 14191 14127 14063 13935 13871 790 150 86 22 12207 3156 718 654 590 526 462 11183 13800 13736 13672 13608 13544 13480 13416 13352 13288 13224 13160 13096 13032 12968 12904 12840 6126 6062 5998 5870 858 5742 5550 5486 5422 5358 5294 5166 5102 4974 4910 20016 8175 4846 19952 4782 19888 8047 4718 19824 7983 4654 19760 4590 7919 19696 7855 19632 7791 7663 1556 19440 19376 7535 19312 7471 19248 4078 7407 19184 7343 19120 7279 19056 7215 18992 7151 382 7087 3758 18864 7023 18800 318 254 6959 3566 6895 18608 3502 3438 6767 6703 3374 18480 6639 18416 3310 6382 3246 6575 6511 6318 18288 6254 6447 18224 18160 17968 17904 17840 3054 17776 2990 17712 17648 2862 17584 2798 17520 2734 17456 2670 17392 16880 2094 2030 1966 1902 1838 1774 1646 16368 16304 16240 16176 16112 1518 16048 1454 15984 1390 15920 1326 15856 1262 15792 1198 15728 1134 15664 1070 1006 15536 942 15472 878 197 14896 14832 14768 14704 14576 14512 14448 14384 14320 14256 14192 14128 14000 13936 13872 791 151 87 23 12272 12016 11952 11888 3157 719 655 591 527 463 13801 13737 13673 13609 13545 13481 13417 13353 13289 13225 13161 13097 13033 12969 12905 12841 6127 6063 5999 5935 859 5871 5807 5743 5679 5615 5487 5423 5359 5295 5231 5167 5103 5039 4975 4911 8176 19953 4783 19889 4719 8048 19825 4655 7984 19761 4591 19697 4527 19633 1557 19441 19377 19313 19249 7408 19185 7344 19121 7280 19057 18993 7152 18929 383 7088 319 7024 18801 6960 255 6896 18673 3503 6832 3439 6768 3375 3311 6640 6383 6576 18353 3247 6319 6512 6448 6255 18225 6191 18097 12521 18033 17969 12393 17905 12329 17841 3055 17777 2991 17713 2863 17585 2799 17521 2735 17457 2671 17393 17329 2287 2095 2031 1967 1903 1775 1711 1647 16305 16241 16177 16113 1519 16049 1455 15985 15921 1327 15857 1263 15793 1199 15729 1135 15665 1071 1007 15537 943 15473 879 198 14897 14833 14769 14705 14641 14577 14513 14449 14385 14321 14193 14129 14001 13873 792 152 88 24 12081 11825 3158 11697 3094 720 656 592 528 464 13802 13738 13674 13610 13546 13482 13418 13354 13290 13226 13162 13098 13034 12970 12906 12842 6128 6064 6000 860 5744 5616 5552 5360 5232 8561 5168 5104 5040 4976 4912 20018 4848 8177 19954 4784 19890 4720 8049 19826 4656 7985 19762 4592 19698 4528 19634 4400 19506 1558 7601 7473 4080 7409 19186 7345 19122 7281 19058 7153 18930 7089 384 18866 320 7025 256 6961 6897 18674 3568 3504 3440 6769 3376 18482 3312 3248 6577 6320 6513 18290 6256 6449 18162 18098 18034 12458 17970 17906 17842 3056 17778 17714 2992 2864 17586 2800 17522 2736 17458 2672 17394 2352 2096 2032 1968 1904 1840 1776 1712 1648 16370 16306 16242 16178 16114 1520 1456 15986 1392 15922 1328 15858 1264 15794 1200 15730 1136 15666 1072 15602 1008 15538 944 15474 880 199 15154 14898 14834 14770 14706 14578 14514 14450 14386 14322 14194 14130 14066 14002 13938 13874 793 153 89 25 12146 11890 3159 721 657 593 529 465 11186 13803 13739 13675 13611 13547 13483 13419 13355 13291 13227 13163 13099 13035 12971 12907 12843 6065 6001 5937 861 5873 5809 5745 5681 5617 5489 5425 5361 5297 5233 5169 5105 5041 4977 4913 4849 8178 19955 4785 8114 19891 8050 4721 19827 7986 19763 4593 7922 19699 4529 19635 1559 19443 19379 7538 19315 7474 19251 7410 7346 19123 7282 19059 18995 7154 385 7090 3761 18867 7026 18803 321 257 6962 18739 18675 6898 3505 3441 18547 3377 3313 6642 3249 6578 6514 6321 6257 6450 18163 18099 18035 17971 17907 17843 3057 17779 17715 2993 2865 17587 17523 2801 2737 2673 2481 2353 2225 2097 2033 1969 1905 1841 1777 1649 16307 16243 16179 16115 1521 1457 15987 1393 15923 1329 15859 15795 1201 1137 15667 1073 15603 1009 15539 945 15475 881 15283 200 15091 14899 14835 14771 14707 14579 14515 14451 14387 14323 14131 13939 13875 794 154 90 26 12275 3160 722 658 594 530 466 11123 13804 13740 13676 13612 13548 13484 13420 13356 13292 13228 13164 13100 13036 12972 12908 12844 6130 6066 6002 862 5554 5490 5426 5298 5234 5170 5106 5042 4978 4914 8243 4850 8179 19956 4786 19892 4722 8051 19828 4658 7987 19764 4594 19700 4530 7859 19636 4402 19508 1560 7667 19444 19380 7539 19316 7475 19252 7411 4082 7347 19124 7283 19060 18996 7155 18932 386 7091 18804 322 7027 6963 258 6899 3506 6835 3442 6771 18548 3378 6707 6643 3314 3250 6579 6322 6515 6451 6258 18164 18100 12524 18036 17972 17908 17844 17780 3058 2994 17716 2866 17588 2802 17524 2738 17460 2674 17396 17332 2482 17204 2354 16884 2098 2034 1970 1906 16564 1778 1714 1650 16308 16244 16180 16116 1522 1458 15988 1394 15924 15860 1330 1266 15796 1202 15668 1074 15604 15540 1010 946 882 201 15092 14900 14836 14772 14708 14644 14580 14516 14452 14388 14324 14260 14196 14068 14004 13876 795 155 91 27 12020 11828 3161 3097 723 659 595 531 467 11316 13805 13741 13677 13613 13549 13485 13421 13357 13293 13229 13165 13101 13037 12973 12909 12845 6131 6067 6003 5939 863 5875 5811 5747 5683 5491 5363 5299 5235 5171 5107 5043 4979 4915 4851 8180 4787 19893 4723 8052 19829 4659 7988 19765 4595 19701 4531 19637 7796 1561 19445 7604 19381 19317 7476 19253 4083 19189 7348 19125 7284 19061 7220 7156 18933 3763 7092 387 18869 323 7028 259 6964 18741 6900 18677 3571 3507 18613 3443 6772 18549 3379 3315 18421 3251 6580 6387 6323 6516 6259 6452 18229 18165 6195 18101 18037 12461 17973 17909 12333 17845 3059 17781 2995 17717 17653 2867 17589 17525 2739 17461 2675 17333 2483 2099 2035 1971 1907 1843 1779 1715 1651 16309 16245 16181 16117 1523 1459 15989 1395 15925 15861 1331 1267 15797 1203 1139 15669 15605 1075 1011 15541 947 15477 883 202 15093 14965 14901 14837 14773 14709 14581 14517 14453 14389 14325 14261 14133 14069 14005 13941 13877 796 156 92 28 12149 3162 3098 724 660 596 532 468 13806 13742 13678 13614 13550 13486 13422 13358 13294 13230 13166 13102 13038 12974 12910 12846 6068 6004 5940 864 5620 5556 5428 5364 5300 5236 5172 5108 5044 4980 4916 4788 8117 19894 4724 8053 19830 7989 4660 19766 4596 7925 19702 4532 19638 4404 19510 19446 1562 19382 19318 7477 19254 7349 19126 7285 19062 7157 388 7093 18870 7029 18806 324 260 6965 6901 18678 6837 3508 3444 3380 3316 6645 6388 3252 6581 18358 6517 6324 6260 6453 6196 18166 18102 17974 17910 12398 3060 17782 17718 2996 17654 2868 17590 17526 2804 2740 17462 2676 17398 2292 2228 16886 2100 2036 1972 1908 1844 16566 1780 1652 16374 16310 16246 16182 16118 1524 16054 15990 1460 1396 15926 15862 1332 1268 15798 1204 15670 1140 15606 1076 1012 15542 15478 948 884 15286 203 15158 14902 14838 14774 14710 14518 14454 14390 14326 14262 14198 14134 14070 14006 13878 797 157 93 29 11894 3163 3099 725 661 597 533 11382 469 13807 13743 13679 13615 13551 13487 13423 13359 13295 13231 13167 13103 13039 12975 12911 12847 6069 6005 865 5877 5813 5749 5685 5429 5301 5237 5173 5109 5045 4981 4917 8246 4853 8182 4789 19895 4725 8054 19831 7990 4661 19767 4597 19703 4533 7862 19639 7670 19447 1563 19383 19319 7478 19255 7350 19127 7286 19063 7158 389 3765 7094 325 18807 7030 6966 18743 261 6902 6838 3509 18615 3445 6774 18551 3381 6710 18487 3317 6646 18423 3253 6389 6582 6325 6518 18295 6454 6261 6197 18167 18103 12527 18039 17975 17911 17847 3061 17783 2997 17719 2869 17591 2805 17527 17463 2741 2677 17399 17335 2293 2101 2037 1973 1909 1781 1717 1653 16311 16247 16183 16119 16055 1525 15991 1461 1397 1333 15863 15799 1269 1205 1141 15671 15607 1077 1013 15543 15479 949 885 15287 204 14903 14839 14775 14711 14647 14583 14519 14455 14391 14327 14135 14071 14007 13879 798 158 94 30 12215 11831 3164 726 662 598 534 470 10935 13808 13744 13680 13616 13552 13488 13424 13360 13296 13232 13168 13104 13040 12976 12912 12848 6070 6006 5942 866 5814 5622 5558 5494 5366 5302 5238 5174 5110 5046 4982 4918 4854 8183 4790 19896 4726 8055 19832 4662 7991 19768 4598 19704 4534 7863 19640 7799 4406 19512 19448 1564 7607 19384 7543 19320 7479 19256 4086 7415 19192 7351 19128 7287 19064 7223 19000 7159 7095 18872 390 7031 326 262 6967 6903 3510 6839 3446 6775 18552 3382 3318 6583 3254 18360 6326 6519 6262 6455 18232 18168 18040 17976 12464 17912 17848 17784 3062 2998 17720 17656 2870 17592 2806 17528 17464 2742 2678 17400 17336 17208 2294 16888 2102 2038 1974 1910 1782 1718 16376 1654 16312 16248 16184 16120 16056 1526 1462 15992 15928 1398 1334 15864 15800 1206 1142 15672 1078 15608 15544 1014 15480 950 886 15288 205 14904 14840 14776 14712 14584 14520 14456 14392 14328 14264 14200 14136 14072 13944 13880 799 159 95 31 12024 11960 3165 3101 727 663 599 535 471 407 13809 13745 13681 13617 13553 13489 13425 13361 13297 13233 13169 13105 13041 12977 12913 12849 6135 6071 6007 5943 5879 803 5751 5687 5559 5367 5303 5239 5175 5111 5047 4983 4919 4855 4791 8120 19897 4727 8056 19833 7992 19769 4599 7928 19705 4535 7864 19641 4407 7736 1565 19449 7608 19385 19321 7480 19257 7416 19193 7352 19129 7288 19065 7224 19001 7160 3767 7096 18873 7032 18809 327 263 6968 3575 6904 18681 6840 18617 3511 3447 3383 18489 6648 18425 3319 6584 3255 6520 18297 6327 6263 6456 18169 18105 18041 17977 17913 12401 17849 17785 3063 17721 2999 17657 2935 17593 2871 17529 2807 2743 17401 2679 17337 2231 2103 2039 1975 1911 16569 1783 1719 1655 16313 16249 16185 16121 16057 1527 15993 1463 1399 15929 15865 1335 15801 1271 1207 15673 1143 15609 1079 1015 15545 15481 951 887 206 15097 14905 14841 14777 14713 14585 14521 14457 14393 14329 14265 14201 14137 14073 14009 13945 13881 800 160 96 32 12281 12217 12089 3166 3102 728 664 600 536 472 408 11001 13810 13746 13682 13618 13554 13490 13426 13362 13298 13234 13170 13106 13042 12978 12914 12850 6136 6072 6008 5944 5880 5816 804 5688 5624 5496 5240 5176 5112 5048 4984 4920 8249 4856 8185 4792 19898 4728 8057 19834 4664 7993 19770 4600 7929 19706 4536 19642 19514 19450 1566 7609 19386 7545 19322 7481 19258 7417 19194 7353 19130 7289 19066 7225 19002 7161 7097 3768 328 18810 7033 6969 264 6905 6841 3512 3448 6777 6713 3384 6649 3320 3256 6585 18362 6328 6521 6457 6264 18106 18042 12530 17978 17914 17850 17786 3064 17722 3000 17658 2872 17594 17530 2808 17466 2744 17402 2680 17338 17210 2296 16890 2104 2040 1976 1912 1848 1784 1720 1656 16314 16250 16186 16122 16058 1528 15994 1464 1400 15930 1336 15866 15802 1272 15674 15610 1080 1016 15546 15482 952 888 207 15098 15034 14906 14842 14778 14714 14650 14586 14522 14458 14394 14330 14202 14138 14010 13882 801 161 97 33 11962 11898 11834 3167 3103 729 665 601 537 473 409 13811 13747 13683 13619 13555 13491 13427 13363 13299 13235 13171 13107 13043 12979 12915 12851 6137 6073 6009 805 5817 5753 5625 5561 5433 5369 5305 5241 5177 5113 5049 4985 4921 8186 4857 19899 4793 4729 8058 19835 7994 19771 4665 7930 19707 4537 19643 7802 7738 1567 4089 7354 19131 7290 19067 7226 7162 7098 18875 7034 329 265 6970 6906 18683 6842 3513 6778 18555 3449 3385 6714 18491 3321 6586 6393 3257 6329 6522 18299 6265 6458 18235 18171 6201 18107 18043 17979 12467 17915 17851 17787 3065 3001 17723 17659 2873 17595 2809 17531 17467 2745 17403 17339 2297 16891 2105 2041 1977 1913 1849 16571 1721 16379 1657 16315 16251 16187 16123 16059 1529 1465 15995 15931 1401 1337 15867 15803 1273 1209 15675 1145 1081 15547 1017 15483 953 889 208 15163 15099 14907 14843 14779 14715 14587 14523 14459 14395 14331 14203 14139 14075 14011 13883 802 162 98 34 12283 12155 12091 11835 3168 3104 730 666 602 538 474 410 13812 13748 13684 13620 13556 13492 13428 13364 13300 13236 13172 13108 13044 12980 12916 12852 6074 6010 5882 806 5818 5754 5690 5626 5562 5498 5434 5370 5242 5178 5114 5050 4986 8251 4922 8123 19900 4794 8059 19836 4730 4666 7995 19772 19708 4602 4538 19644 7803 19516 4410 19452 1568 7611 19388 7547 19324 19260 7355 19132 7291 19068 7227 7163 18940 7099 18876 7035 18812 330 266 6971 18748 3578 6907 6843 3514 3450 3386 6715 6651 3322 6587 3258 6523 6330 6266 6459 18172 18108 18044 17980 17916 12404 17852 17788 3066 17724 3002 2938 17596 2874 2810 17532 17468 2746 17404 17340 17212 2106 2042 1978 1914 1850 1786 1722 1658 16316 16252 16188 16124 16060 1530 15996 1466 1402 15932 15868 1338 15804 1274 1210 15676 1146 1082 15612 1018 15548 15484 954 890 15292 209 14908 14844 14780 14716 14588 14524 14460 14396 14332 14204 14140 14076 13948 13884 163 99 35 391 11836 3169 3105 731 667 603 539 475 411 13813 13749 13685 13621 13557 13493 13429 13365 13301 13237 13173 13109 13045 12981 12917 12853 6075 6011 5947 5883 807 5691 5563 5435 5371 5307 5243 5179 5115 5051 4987 4923 4859 4795 19901 8060 19837 4731 4667 7996 19773 4603 7932 19709 7868 19645 4539 7804 7740 19453 1569 19389 19325 7484 19261 7356 19133 7292 19069 7228 7164 7100 331 7036 18813 6972 267 6908 6844 3515 3451 6780 18557 3387 6652 3323 3259 6588 6331 6524 6460 6267 18109 18045 12533 17981 17917 17853 12341 17789 3067 17725 3003 2939 17661 2875 17597 17533 2811 17469 2747 17405 17341 2107 2043 1979 1915 16573 1787 1723 1659 16317 16253 16189 16125 16061 1531 15997 1467 1403 1339 15869 15805 1275 1147 15677 15613 1083 15549 1019 955 15485 891 210 15037 14909 14845 14781 14717 14653 14589 14525 14461 14397 14333 14269 14205 14141 14077 14013 13949 13885 164 100 36 12221 12157 392 12029 3170 3106 732 668 604 540 476 412 13814 13750 13686 13622 13558 13494 13430 13366 13302 13238 13174 13110 13046 12982 12918 12854 6076 6012 5884 808 5756 5692 5500 5372 5308 5244 5180 5116 5052 4988 4924 8189 4860 19902 4796 4732 8061 19838 7997 19774 4668 7933 19710 4604 7869 19646 4540 7741 19518 1570 7677 19454 19390 19326 19262 7421 19198 4092 7357 19134 7293 19070 19006 7229 7165 18942 7101 18878 332 7037 268 6973 18750 6909 18622 3516 6845 3452 6781 6717 3388 18430 3324 3260 6589 6396 6332 6525 6268 18238 6461 18174 6204 18110 18046 17982 12470 17918 17854 17790 3068 3004 17726 17662 2940 17598 2876 2812 17534 17470 2748 17406 2684 17342 17214 16894 2108 2044 1980 1916 1852 1724 1660 16318 16254 16190 16126 16062 1532 1468 15998 15934 1404 15870 1276 15806 1148 15678 1084 15614 15550 1020 15486 956 892 211 14910 14846 14782 14718 14654 14590 14526 14462 14398 14334 14270 14206 14142 14014 13950 13886 165 101 37 393 11966 3171 3107 733 669 605 541 477 413 13815 13751 13687 13623 13559 13495 13431 13367 13303 13239 13175 13111 13047 12983 12919 12855 6141 6077 6013 5949 809 5821 5757 5373 5309 5245 5181 5117 5053 4989 4925 19903 4797 8126 8062 19839 4733 4669 7998 19775 19711 4605 4541 19647 1571 19455 7614 19391 19327 19263 19199 7422 19135 7358 7294 19071 7230 19007 7166 7102 18879 7038 18815 333 269 6974 6910 3517 6846 3453 3389 6718 6654 3325 18367 3261 6590 6526 6333 6269 6462 18239 18175 18111 18047 17983 17919 12407 17855 12343 17791 3069 17727 3005 17663 17599 2877 2813 17535 2749 17407 17343 17215 2301 2109 2045 1981 1917 1853 16575 1789 1725 16383 1661 16319 16255 16191 16127 16063 1533 15999 1469 1405 15935 15871 1341 15807 1213 15743 15679 1149 15615 1085 1021 15551 15487 957 893 212 15103 14911 14847 14783 14719 14655 14527 14463 14399 14335 14271 14207 14143 14079 14015 13951 13887 166 102 38 12287 12095 394 3172 3108 734 670 606 542 478 414 13816 13752 13688 13624 13560 13496 13432 13368 13304 13240 13176 13112 13048 12984 12920 12856 6142 6078 6014 5950 810 5758 5566 5502 5374 5310 5246 5182 5118 5054 4990 4926 4862 4798 8127 19904 19840 4734 8063 4670 7999 19776 7935 19712 4606 19648 4542 7871 19520 7743 19456 1572 19392 19328 19264 7487 7423 19200 7359 19136 19072 7295 7231 19008 7167 7103 334 7039 18816 6975 18752 270 18688 3582 6911 6847 18624 3518 3454 6783 18496 3390 3326 6655 18432 3262 6591 6334 18304 6527 6463 18240 6270 18048 17984 17920 17856 17792 3070 17728 3006 17664 2942 2878 17600 17536 2814 2750 17472 2686 17408 17344 2110 2046 1982 1918 16576 1790 1726 1662 16320 16256 16192 16128 1534 16064 16000 1470 1406 1342 15872 15808 1278 15680 15616 1086 1022 15552 958 15488 894 213 15040 14912 14848 14784 14720 14528 14464 14400 14336 14208 14144 14080 13888 167 103 39 395 11840 3173 3109 735 671 607 543 479 415 10944 13817 13753 13689 13625 13561 13497 13433 13369 13305 13241 13177 13113 13049 12985 12921 12857 6143 6079 6015 5951 5887 811 5823 5695 5439 5375 5311 5247 5183 5119 5055 4991 4927 4863 8192 19905 8128 4735 19841 8064 19777 4671 8000 4607 7936 19713 4543 19649 7808 1573 19457 19393 7552 19329 7488 19265 7360 19137 7296 19073 3967 7232 7168 7104 18881 335 7040 271 6976 6912 3519 6848 3455 6784 6720 3391 3327 6592 18369 6399 3263 6335 6528 6271 6464 18177 6207 18113 12537 18049 17985 12473 17921 17857 17793 3071 3007 17729 17665 2943 2879 17601 17537 17473 2751 2687 17345 16897 2111 1983 1919 1727 1663 16321 16257 16193 16129 1535 16065 16001 1471 15937 1407 15873 1343 15809 1279 1215 1151 15681 15617 15553 1023 959 895 214 14913 14849 14785 14721 14593 14529 14465 14401 14337 14209 14145 14017 13953 13889 168 104 40 12225 12161 396 3174 3110 736 672 608 544 480 416 13818 13754 13690 13626 13562 13498 13434 13370 13306 13242 13178 13114 13050 12986 12922 12858 6080 6016 5952 812 5824 5568 5504 5376 5312 5248 5184 5120 5056 4992 4864 19906 4800 4736 8065 19842 8001 19778 19714 4608 19650 4544 7873 7809 19522 1574 7489 7425 19202 19138 7361 7297 19074 7233 19010 18946 7169 7105 18882 7041 18818 336 272 6977 6913 18690 3520 6849 18626 18562 3456 6721 18498 3392 3328 6657 18434 3264 6593 6529 18306 6336 6272 6465 6208 18178 18050 17986 17922 12410 17858 17794 3072 17730 3008 2944 17602 2880 2816 17538 2752 17474 17410 2688 17346 17218 2304 2112 2048 1984 1920 1792 1728 16386 1664 16322 16258 16194 16130 16066 1536 1472 16002 1408 15938 15874 1344 1280 15810 1216 15746 15682 1152 1088 15618 1024 15554 960 896 215 15106 14914 14850 14786 14722 14530 14466 14402 14338 14274 14210 14146 14082 14018 13954 13890 169 105 41 397 11970 11906 3175 3111 737 673 609 545 481 417 11010 13819 13755 13691 13627 13563 13499 13435 13371 13307 13243 13179 13115 13051 12987 12923 12859 6081 6017 5953 5889 5825 813 5761 5697 5505 5441 5377 5313 5249 5185 5121 5057 4993 4929 4865 4801 19907 19843 4737 8066 19779 8002 4609 19715 19651 4545 7874 7810 7746 19459 1575 7682 19395 19331 19267 7426 19203 7362 19139 19075 7298 7234 19011 7170 18947 7106 337 7042 18819 6978 273 3585 6914 6850 3457 6786 3393 3329 6658 6594 18371 6337 6530 6466 6273 6209 18179 18115 18051 17987 17923 17859 12347 3073 17795 17731 3009 17667 2945 17603 2881 17539 2817 2753 17475 2689 17411 17347 2113 2049 1985 1921 1857 1793 1729 1665 16323 16259 16195 16131 1537 16067 16003 1473 15939 1409 15875 1345 15811 1281 1217 15747 15683 15619 1089 1025 15555 961 897 216 15107 14915 14851 14787 14723 14659 14531 14467 14403 14339 14211 14147 14083 13955 13891 13827 170 106 42 12099 398 11843 3176 11715 3112 738 674 610 546 482 418 10947 13820 13756 13692 13628 13564 13500 13436 13372 13308 13244 13180 13116 13052 12988 12924 12860 6082 6018 5954 814 5826 5698 5570 5378 5314 5250 5186 5058 4994 4930 8259 4866 8195 8131 19908 4802 4738 8067 19844 19780 4674 8003 19716 4546 19652 7747 19524 1576 19460 7683 19396 7619 7555 19332 19268 7363 19140 7299 19076 7235 7171 18948 7107 18884 338 7043 274 6979 6915 18692 6851 3458 18564 6787 6723 18500 3394 3330 6595 6402 3266 6338 6531 18308 6274 18244 6467 18180 18116 18052 17988 12476 17924 17860 17796 3010 17732 17668 2946 17604 2882 17540 17476 2754 2690 17412 17348 2242 16900 2114 1986 1922 1730 1666 16324 16260 16196 16132 1538 16068 1474 16004 15940 1410 15876 15812 1282 15748 1218 15684 1090 15620 15556 1026 15492 962 898 217 15108 14916 14852 14788 14724 14596 14532 14468 14404 14340 14276 14212 14084 13956 13892 13828 171 107 43 399 11908 3177 3113 739 675 611 547 483 419 13821 13757 13693 13629 13565 13501 13437 13373 13309 13245 13181 13117 13053 12989 12925 12861 6147 6083 6019 5955 5891 815 5827 5763 5699 5507 5443 5379 5315 5251 5187 5123 5059 4995 4931 4867 19909 4803 4739 19845 8068 8004 19781 4675 19717 4611 7940 19653 4547 1577 19461 7684 19397 4291 19333 7492 19269 19205 19141 7364 7300 19077 3971 7236 19013 7172 7108 18885 7044 18821 339 275 18757 6980 6916 6852 3459 6724 3395 3331 3267 6596 6339 6532 6275 6468 6211 18181 18117 18053 17989 17925 12413 17861 17797 3011 17733 2947 17605 2883 2819 17541 2755 17477 17413 2691 17349 2243 2115 2051 1987 1923 1731 1667 16325 16261 16197 16133 16069 1539 1475 16005 15941 15877 1283 15813 1155 15685 15621 1091 1027 15557 963 899 218 14917 14853 14789 14725 14533 14469 14405 14341 14277 14213 14149 14085 14021 13957 13893 13829 172 108 44 12165 400 11845 3178 3114 740 11589 676 612 548 484 420 13822 13758 13694 13630 13566 13502 13438 13374 13310 13246 13182 13118 13054 12990 12926 12862 6148 6084 6020 5828 816 5700 5572 5508 5444 5380 5316 5252 5188 5124 5060 4996 4932 4868 4804 19910 19846 4740 8069 19782 8005 4612 19718 19654 4548 7877 19526 7749 19462 1578 19398 19334 19270 19206 7365 19142 19078 7301 7237 19014 7173 7109 340 7045 18822 6981 18758 276 3588 6917 6853 3460 6789 18566 3396 3332 6404 6597 6340 12798 6533 6469 6276 6212 18182 18118 18054 12542 17990 17926 17862 17798 17734 3012 2948 17670 17606 2884 17542 2820 2756 17478 2692 17414 17350 2116 1988 1924 1860 1796 1732 1668 16390 16326 16262 16198 16134 1540 16070 1476 16006 1412 15942 15878 1348 1284 15814 1220 15750 15686 1156 1092 15622 15558 1028 964 15494 900 15110 14918 14854 14790 14726 14662 14534 14470 14406 14342 14214 14086 13894 173 109 45 12230 401 3179 3115 741 677 613 549 485 421 10950 13823 13759 13695 13631 13567 13503 13439 13375 13311 13247 13183 13119 13055 12991 12927 12863 6149 6085 6021 5957 5893 817 5829 5765 5701 5509 5381 5317 8646 5253 5189 5061 4997 4933 8262 4869 8198 4805 19911 8070 19847 4741 19783 4677 8006 19719 4613 4549 19655 7814 1579 19463 7686 19399 7622 19335 19271 7430 19143 7366 3973 7302 19079 7238 7174 7110 18887 341 7046 277 18759 6982 3589 6918 18631 3525 6854 6790 3461 3397 6726 3333 6662 6598 3269 6341 6534 6277 18247 6470 18183 6213 18119 12543 18055 17991 12479 17927 12351 17863 17799 17735 3013 17671 2949 2885 2821 17543 2757 17479 2693 17415 17351 2117 2053 16775 1989 1925 1861 1733 1669 16327 16263 16199 16135 16071 1541 1477 16007 15943 1349 15879 15815 1221 15751 15687 1093 1029 15559 965 15495 901 15111 14919 14791 14727 14663 14599 14535 14471 14407 14343 14279 14215 14151 14087 14023 13959 13831 174 110 46 402 11847 3180 3116 742 678 614 11463 550 486 422 13824 13760 13696 13632 13568 13504 13440 13376 13312 13248 13184 13120 13056 12992 12928 12864 6086 6022 818 5702 5574 0
137.29/137.38	c Terminating MUSer ...
137.29/137.38	c CPU Time: 137.18

OK	10740

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-3480886-1307606283/watcher-3480886-1307606283 -o /tmp/evaluation-result-3480886-1307606283/solver-3480886-1307606283 -C 1800 -W 1850 -M 7680 ./muser -comp HOME/instance-3480886-1307606283.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: 4.04 3.60 2.36 5/547 7475
/proc/meminfo: memFree=9076388/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=4748 CPUtime=0 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 665 0 0 0 0 0 0 0 25 0 1 0 872227952 4861952 619 33554432000 4194304 5696331 140736287869376 18446744073709551615 4210177 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 1187 619 114 367 0 817 0

[startup+0.0795031 s]
/proc/loadavg: 4.04 3.60 2.36 5/547 7475
/proc/meminfo: memFree=9076388/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=8724 CPUtime=0.07 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 1932 0 0 0 7 0 0 0 25 0 1 0 872227952 8933376 1884 33554432000 4194304 5696331 140736287869376 18446744073709551615 4399955 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 2181 1884 143 367 0 1811 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 8724

[startup+0.100479 s]
/proc/loadavg: 4.04 3.60 2.36 5/547 7475
/proc/meminfo: memFree=9076388/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=8860 CPUtime=0.09 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 1963 0 0 0 9 0 0 0 25 0 1 0 872227952 9072640 1915 33554432000 4194304 5696331 140736287869376 18446744073709551615 4381134 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 2215 1915 143 367 0 1845 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 8860

[startup+0.300449 s]
/proc/loadavg: 4.04 3.60 2.36 5/547 7475
/proc/meminfo: memFree=9076388/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=9800 CPUtime=0.29 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 2183 0 0 0 29 0 0 0 25 0 1 0 872227952 10035200 2135 33554432000 4194304 5696331 140736287869376 18446744073709551615 4398342 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 2450 2135 143 367 0 2080 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 9800

[startup+0.70039 s]
/proc/loadavg: 4.04 3.60 2.36 5/547 7475
/proc/meminfo: memFree=9076388/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=11544 CPUtime=0.69 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 2603 0 0 0 69 0 0 0 25 0 1 0 872227952 11821056 2555 33554432000 4194304 5696331 140736287869376 18446744073709551615 4399132 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 2886 2556 143 367 0 2516 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 11544

[startup+1.50022 s]
/proc/loadavg: 4.04 3.60 2.36 5/548 7476
/proc/meminfo: memFree=9064348/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=7476 CPUtime=1.49 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 3917 0 0 0 149 0 0 0 25 0 1 0 872227952 7655424 1592 33554432000 4194304 5696331 140736287869376 18446744073709551615 4380810 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 1869 1592 144 367 0 1499 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 7476

[startup+3.14234 s]
/proc/loadavg: 4.04 3.60 2.36 5/548 7476
/proc/meminfo: memFree=9065340/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=10076 CPUtime=3.19 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 6256 0 0 0 319 0 0 0 25 0 1 0 872227952 10317824 2232 33554432000 4194304 5696331 140736287869376 18446744073709551615 4400359 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 2651 2342 144 367 0 2281 0
Current children cumulated CPU time (s) 3.19
Current children cumulated vsize (KiB) 10076

[startup+6.30041 s]
/proc/loadavg: 4.20 3.64 2.38 5/548 7476
/proc/meminfo: memFree=9021440/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=67860 CPUtime=6.29 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 22262 0 0 0 626 3 0 0 25 0 1 0 872227952 69488640 16611 33554432000 4194304 5696331 140736287869376 18446744073709551615 4400112 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 16965 16611 149 367 0 16595 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 67860

[startup+12.7003 s]
/proc/loadavg: 4.18 3.65 2.39 5/548 7477
/proc/meminfo: memFree=8849260/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=234740 CPUtime=12.69 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 63984 0 0 0 1260 9 0 0 25 0 1 0 872227952 240373760 58321 33554432000 4194304 5696331 140736287869376 18446744073709551615 4392379 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 58685 58321 150 367 0 58315 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 234740

[startup+25.5011 s]
/proc/loadavg: 4.14 3.66 2.42 5/548 7478
/proc/meminfo: memFree=8704424/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=370040 CPUtime=25.49 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 97832 0 0 0 2537 12 0 0 25 0 1 0 872227952 378920960 92159 33554432000 4194304 5696331 140736287869376 18446744073709551615 4416684 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 92510 92159 150 367 0 92140 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 370040

[startup+51.1006 s]
/proc/loadavg: 4.09 3.69 2.46 5/548 7478
/proc/meminfo: memFree=8563788/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=51.09 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132719 0 0 0 5092 17 0 0 25 0 1 0 872227952 521998336 127031 33554432000 4194304 5696331 140736287869376 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127031 150 367 0 127071 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 509764

[startup+102.301 s]
/proc/loadavg: 4.08 3.75 2.54 5/548 7534
/proc/meminfo: memFree=8745008/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=102.29 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132745 0 0 0 10211 18 0 0 25 0 1 0 872227952 521998336 127057 33554432000 4194304 5696331 140736287869376 18446744073709551615 4402296 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127057 150 367 0 127071 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 509764

Solver just ended. Dumping a history of the last processes samples

[startup+103.119 s]
/proc/loadavg: 4.31 3.80 2.57 5/548 7534
/proc/meminfo: memFree=8744884/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=103.11 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132745 0 0 0 10293 18 0 0 25 0 1 0 872227952 521998336 127057 33554432000 4194304 5696331 140736287869376 18446744073709551615 4416883 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127057 150 367 0 127071 0
Current children cumulated CPU time (s) 103.11
Current children cumulated vsize (KiB) 509764

[startup+115.9 s]
/proc/loadavg: 4.26 3.81 2.58 5/548 7534
/proc/meminfo: memFree=8730232/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=115.88 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132747 0 0 0 11570 18 0 0 25 0 1 0 872227952 521998336 127059 33554432000 4194304 5696331 140736287869376 18446744073709551615 4380943 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127059 150 367 0 127071 0
Current children cumulated CPU time (s) 115.88
Current children cumulated vsize (KiB) 509764

[startup+128.901 s]
/proc/loadavg: 4.34 3.85 2.61 5/548 7561
/proc/meminfo: memFree=8678452/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=128.89 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132748 0 0 0 12870 19 0 0 25 0 1 0 872227952 521998336 127060 33554432000 4194304 5696331 140736287869376 18446744073709551615 4400192 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127060 150 367 0 127071 0
Current children cumulated CPU time (s) 128.89
Current children cumulated vsize (KiB) 509764

[startup+132.101 s]
/proc/loadavg: 4.34 3.85 2.61 4/543 7580
/proc/meminfo: memFree=8820464/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=132.08 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132749 0 0 0 13189 19 0 0 25 0 1 0 872227952 521998336 127061 33554432000 4194304 5696331 140736287869376 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127061 150 367 0 127071 0
Current children cumulated CPU time (s) 132.08
Current children cumulated vsize (KiB) 509764

[startup+135.301 s]
/proc/loadavg: 4.31 3.85 2.62 5/548 7588
/proc/meminfo: memFree=8779196/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=135.28 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132749 0 0 0 13509 19 0 0 25 0 1 0 872227952 521998336 127061 33554432000 4194304 5696331 140736287869376 18446744073709551615 4400263 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127061 150 367 0 127071 0
Current children cumulated CPU time (s) 135.28
Current children cumulated vsize (KiB) 509764

[startup+136.101 s]
/proc/loadavg: 4.31 3.85 2.62 5/548 7588
/proc/meminfo: memFree=8779196/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=136.08 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132749 0 0 0 13589 19 0 0 25 0 1 0 872227952 521998336 127061 33554432000 4194304 5696331 140736287869376 18446744073709551615 4300606 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127061 150 367 0 127071 0
Current children cumulated CPU time (s) 136.08
Current children cumulated vsize (KiB) 509764

[startup+137.233 s]
/proc/loadavg: 4.31 3.85 2.62 5/548 7588
/proc/meminfo: memFree=8779320/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=509764 CPUtime=137.22 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202496 132750 0 0 0 13703 19 0 0 25 0 1 0 872227952 521998336 127062 33554432000 4194304 5696331 140736287869376 18446744073709551615 4381740 0 0 4096 24615 0 0 0 17 0 0 0 0
/proc/7475/statm: 127441 127062 150 367 0 127071 0
Current children cumulated CPU time (s) 137.22
Current children cumulated vsize (KiB) 509764

[startup+137.401 s]
/proc/loadavg: 4.31 3.85 2.62 5/548 7588
/proc/meminfo: memFree=8779320/32951132 swapFree=65929880/67111528
[pid=7475] ppid=7473 vsize=0 CPUtime=137.38 cores=0,2
/proc/7475/stat : 7475 (muser) R 7473 7475 5973 0 -1 4202500 132751 0 0 0 13718 20 0 0 25 0 1 0 872227952 0 0 33554432000 0 0 0 0 0 0 0 4096 24615 18446744073709551615 0 0 17 0 0 0 0
/proc/7475/statm: 0 0 0 0 0 0 0
Current children cumulated CPU time (s) 137.38
Current children cumulated vsize (KiB) 0

Child status: 20
Real time (s): 137.409
CPU time (s): 137.401
CPU user time (s): 137.184
CPU system time (s): 0.216967
CPU usage (%): 99.9939
Max. virtual memory (cumulated for all children) (KiB): 509764

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 137.184
system time used= 0.216967
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 132751
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= 254

runsolver used 0.867868 second user time and 2.08768 second system time

The end

Begin job on node131 at 2011-06-09 09:58:03
IDJOB=3480886
IDBENCH=88460
IDSOLVER=1969
FILE ID=node131/3480886-1307606283
RUNJOBID= node131-1307605780-6340
PBS_JOBID= 13547758
Free space on /tmp= 73748 MiB

SOLVER NAME= MUSer 2011-02-10
BENCH NAME= SAT11/mus/chen/fdmus_v100/fdmus_b15_307.cnf
COMMAND LINE= ./muser -comp BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3480886-1307606283/watcher-3480886-1307606283 -o /tmp/evaluation-result-3480886-1307606283/solver-3480886-1307606283 -C 1800 -W 1850 -M 7680  ./muser -comp HOME/instance-3480886-1307606283.cnf

TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2

MD5SUM BENCH= 0ceef78cc0b1bcf25cc886b65827a389
RANDOM SEED=530256895

node131.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.830
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.66
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.830
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.830
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.83
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.830
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.830
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.77
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.830
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.830
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.75
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.830
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951132 kB
MemFree:       9076660 kB
Buffers:        198688 kB
Cached:         758892 kB
SwapCached:      43052 kB
Active:       21271860 kB
Inactive:      2265828 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951132 kB
LowFree:       9076660 kB
SwapTotal:    67111528 kB
SwapFree:     65929880 kB
Dirty:            1676 kB
Writeback:           0 kB
AnonPages:    22544984 kB
Mapped:          77472 kB
Slab:           190672 kB
PageTables:      77128 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587092 kB
Committed_AS: 107829956 kB
VmallocTotal: 34359738367 kB
VmallocUsed:    296000 kB
VmallocChunk: 34359440975 kB
HugePages_Total:     0
HugePages_Free:      0
HugePages_Rsvd:      0
Hugepagesize:     2048 kB

Free space on /tmp at the end= 73748 MiB
End job on node131 at 2011-06-09 10:00:21