0.00/0.00	c MoUsSaka with meat
4.40/4.47	
4.40/4.47	s UNSATISFIABLE
851.77/851.82	c Core is minimal
851.77/851.82	
851.77/851.82	v 21107 28006 30766 22487 21106 23866 23867 5922 5920 5923 4519 4541 4615 5762 5761 5899 5921 2604 4233 3978 4247 4234 4206 4213 4217 4196 4186 4187 4228 4207 4181 4214 4218 2820 2805 2849 4241 2859 4180 4075 2829 2864 4191 4235 4172 4170 4215 4223 4195 4175 3161 3139 4538 4533 4539 4279 4283 2790 2789 2791 3160 3163 3162 2787 2782 2784 2783 2780 2788 4165 4160 4166 2605 2606 2607 4211 4189 4076 4222 4230 4224 4231 4182 4225 4226 4202 4210 4171 4212 4188 4204 4245 2841 4242 4246 4216 4205 4248 4249 4162 4161 4164 4163 4167 4174 4194 4190 4201 4227 4169 4237 4240 2813 4236 3235 4381 4382 3985 3986 3987 3291 3001 3002 1855 4271 4275 4270 5919 5913 5918 4540 4543 4542 5914 5917 5290 5663 5659 5644 5647 5646 5654 5662 5643 5661 5660 5641 5652 5650 5655 5651 5658 3275 4525 1919 1913 1872 1977 1988 1915 1986 1987 1984 1852 1981 1920 1982 1985 1912 1853 1921 1918 1924 1917 1916 1923 1922 1980 1978 1914 1925 1979 1975 4535 4266 4272 4267 4264 4261 4263 4274 4520 5898 5896 5889 5901 5897 5903 5902 5912 5911 4278 4536 4534 4276 4281 4280 4269 4282 1851 1983 1854 5916 3910 4537 1976 3981 3979 3980 3368 3367 3251 3292 3244 3296 3356 3295 3360 3250 3361 3355 3257 5649 3252 3249 3245 3303 3304 3302 3301 3300 3305 3229 3197 3253 3358 3256 3297 3294 3357 3198 3359 3298 3293 3247 3218 3248 3254 3246 3255 3984 4179 4168 7431 4258 4257 4259 7445 7375 7499 7500 7506 7438 7439 7434 7505 7501 7443 7442 7371 7437 4751 4244 7302 7303 7300 7295 7293 7299 7298 5656 3953 3955 3299 5636 3983 4243 4682 4680 4676 4673 4736 4677 4678 4683 4739 4611 4743 4613 4632 4748 4675 4672 4738 4737 4747 4746 4745 4681 4740 4685 4741 4674 4742 4744 4614 4684 4612 4735 4679 7301 7043 7294 7296 7297 30765 30767 21105 33527 29386 23865 22485 26627 25246 26626 32147 32145 28007 25245 32146 29387 26625 28005 33525 29385 33526 25247 22486 19726 19727 19725 18347 18346 12825 16967 16966 16965 18345 15585 14205 11445 15586 15587 14206 14207 10065 10064 11446 11447 12827 12826 4193 5455 5456 10066 10067 4221 4239 4185 5364 5625 5613 5615 5622 5608 5611 5626 5621 5617 5603 5586 5593 5598 5627 5629 5628 5571 5584 5592 5555 5591 5607 5597 5570 5562 5567 5569 5554 5549 5552 5606 5614 5358 5594 5575 5561 5568 5587 5585 5596 5590 5551 5553 5595 5566 5582 5605 5576 5620 5610 5560 5602 5574 5581 5544 4229 5616 5604 5547 4209 5545 5546 4200 5559 5550 5540 5543 5542 5541 5635 5637 5633 5634 5638 5639 7042 7041 7040 5631 7039 7036 7038 7279 7142 7141 5995 7035 7031 7030 7026 7021 7034 7024 7032 7027 7023 7029 5548 7016 7013 7019 7018 7014 7015 7017 8683 8680 8682 8659 8522 7446 10062 8681 8521 5624 6738 4178 3971 4176 3975 6060 6122 6115 6054 5623 6744 7004 5363 6065 6116 6052 6063 6124 5990 6117 6059 6128 6120 6125 6119 6057 6056 6058 6118 6123 5359 5365 5361 5367 5366 5360 6121 6012 6126 6670 6055 6127 6061 6053 6064 6062 5609 5619 5618 5357 5589 7511 6978 6991 6972 6982 6970 7001 6975 6995 6983 6985 6997 6971 6988 6990 7000 6996 6973 7002 7006 6967 6974 6977 6993 6986 6987 7005 6994 6946 6942 6961 6934 6929 6940 6947 6931 6976 6941 6962 6954 6966 6950 6933 6949 6955 6932 6964 6935 6965 6948 6956 6951 7510 6984 7003 23864 23580 22636 22190 21104 21256 22084 20820 19876 22484 22200 5601 18344 19724 8342 8336 15584 15300 15290 16964 16680 16543 16670 16538 16564 8358 8366 8355 8341 8353 8350 8381 8351 8370 8367 8380 8373 8354 8376 6969 6981 8385 8386 8382 8356 6939 6953 6945 6960 8320 8314 8328 8330 8322 8315 8311 8309 8312 8335 8327 8331 8326 8228 6737 8215 8374 8345 6999 8334 8216 8329 8321 8365 8344 8364 8375 8346 8377 6989 8371 8352 8357 8363 8347 8368 8362 15298 15297 15299 16939 7433 7432 6711 9504 7374 8124 8349 9746 9753 9760 9751 8361 9754 9498 9750 9757 9748 9755 9761 9745 9765 9766 9762 8384 9756 7502 7508 7372 7435 7441 7498 7496 7497 7373 7444 7440 7503 7507 7436 7495 7504 7392 6709 6706 6708 6707 6710 8379 12536 12537 12538 12535 12539 8398 8399 8397 14041 14042 8684 8400 8685 9779 9775 9778 8392 8396 8395 8393 8394 9773 9777 9776 9774 9780 11650 11651 12534 14201 14179 9772 12532 12533 12540 11444 11158 11154 11156 14204 11152 11153 11155 11159 11157 15296 12824 15295 13920 15294 15293 11160 13916 13913 13915 13914 13917 13919 13918 12530 11150 15184 11044 11031 11018 11023 11003 11008 10893 10903 10898 10888 10937 10905 10932 10916 10927 15038 15067 15072 15056 15033 15163 15158 15148 15143 15171 15043 15077 15045 15028 12398 12388 12383 12403 12411 12424 12278 12296 12273 12283 12317 12285 12307 12312 12268 13910 13791 13804 13692 13676 13648 13658 13653 13697 13665 13663 13687 13778 13783 13763 13768 9770 12232 14992 16551 16528 16523 16418 16423 16452 16425 16413 16457 16436 16447 16408 16372 21972 22058 22048 22071 21977 21933 21956 21938 21967 22063 21945 22043 21943 21928 21892 21884 21255 21253 21254 27568 26188 23443 23423 27578 28154 30161 26224 29090 24644 24844 28845 24808 28856 30247 30225 30323 26624 26107 23272 30218 30236 26083 27487 26211 26073 24652 26068 26085 27492 28155 29535 27453 23308 23357 27458 29384 28971 28833 24823 30172 28958 23428 23313 24737 30213 28156 26117 26112 24698 24732 30162 26198 28781 28872 28153 28783 24693 26776 27448 28838 26775 27412 28784 30351 24818 26183 23323 28984 23336 23570 23464 30480 27476 26096 29100 30470 28867 27465 28828 30223 27404 30364 26078 26330 24705 30164 24803 27563 25244 24716 30163 30343 26774 27604 28782 24960 27591 28792 30257 27710 28843 28963 30252 30338 29534 30208 27720 29536 30328 24950 26024 23325 23347 23318 23352 24014 25395 25393 23264 27401 27402 27403 22634 22633 22635 24642 26021 24013 25394 23262 24015 26022 23261 23263 26023 24641 24643 26032 28948 28877 27463 28004 30764 28943 24688 26203 25396 27497 24703 26340 24727 29533 27583 24016 24831 26773 23438 23451 20810 20668 20691 20683 20663 20704 20678 19440 18060 19283 19311 19430 19324 19303 19298 19288 21883 21881 18496 19875 19873 19874 21882 20504 20553 17116 20592 20565 20548 20576 20587 20563 20512 20558 20597 20503 20502 18494 18495 20501 18493 18050 17788 17798 17803 17827 17908 17931 19217 17903 17923 17837 17805 17793 19196 19207 19178 19212 17944 19185 19168 17832 17816 19183 17918 19173 17752 19132 13612 32996 32144 32932 30916 31605 31588 32973 31627 31632 31593 30913 31860 32295 32978 31552 33524 33240 31616 33098 33088 32968 31544 32296 31542 31541 33124 33017 32924 33103 32922 32985 31718 31603 31731 30915 33111 30914 31708 31543 32293 32983 33230 31723 31637 33083 31703 32921 32294 31850 31598 33012 32923 33007 31744 10063 10060 13912 10053 10059 11419 9737 9738 9743 9735 8369 9733 8340 9744 9736 9732 9742 10884 11441 12519 12509 12264 11144 16364 11146 11145 17744 19121 19124 17114 17113 12524 19122 17115 19123 9518 9557 9623 9525 9628 9547 9651 9523 9513 9643 9638 9536 9508 9552 9664 17741 17743 17742 12459 9764 12662 12799 10191 11515 8304 8300 8305 8313 8306 8301 8302 8307 8303 10058 8319 11142 12258 14984 12815 11139 11571 11586 11079 10061 10055 9888 8811 12648 10135 10175 12823 12822 12820 12819 12813 8881 8825 8887 8818 8824 8823 8819 8815 8821 8820 8817 8813 8814 8882 8886 8885 8812 8878 8880 8877 8816 8883 8879 8875 8822 8876 8888 8750 8884 8772 9734 9747 9741 9759 9749 9729 9720 9713 11134 11133 11137 11135 11141 11131 11140 11128 11130 9730 9721 9714 9716 9727 9731 9725 9724 9715 9722 9711 9726 9595 9596 11129 8123 12521 12515 12517 12511 12525 12522 12526 12520 12510 12508 12513 12514 11115 11096 11111 11116 11102 11136 11082 11090 11086 11101 11088 11095 11106 11105 11091 11107 11114 11112 11124 11094 11087 11104 11122 11123 11125 11127 11126 11117 11110 11113 11118 10271 12356 12355 11093 11085 11121 12506 12490 11109 12494 12498 12502 12493 12505 12507 12487 12503 12492 12491 12497 12495 11100 12516 10257 10255 10259 10267 10202 10266 10262 10265 10260 10258 10196 10205 10268 10204 10197 10198 10261 10193 10192 10256 10152 10132 10264 10131 10133 10200 10263 10195 10201 12531 10134 10988 10203 10199 10194 10270 11074 11072 11075 11081 11073 11089 8890 8891 11080 12378 9699 9707 9706 9702 9694 9709 9689 9691 9701 9710 9692 9708 9695 11064 11067 11069 11071 11066 11282 11281 10849 10848 10851 10850 9468 9470 9471 9469 12805 9503 12818 8086 8088 8090 8087 8089 8091 9472 5327 5330 5331 5326 5329 5328 12476 12484 12486 12482 12481 6131 12468 12466 12455 12461 12470 12467 12471 12462 12475 12474 12504 8678 8679 8673 8674 8675 8676 8677 5478 8050 12469 12460 8419 8423 8418 12454 12452 8416 11439 10039 11433 11438 8383 10040 10045 11422 11418 11421 11423 11432 11431 11417 11409 9902 6130 11440 11442 11443 11416 8508 12451 12449 12441 12447 12443 12442 12444 10043 10052 10051 8665 12450 7415 8415 8410 8411 8407 8421 8404 8422 8406 8420 8412 8403 8414 8401 8409 9763 11435 11268 9740 9491 9739 9758 9717 11070 12816 12814 12817 10998 9693 8333 8325 9700 9682 9687 9683 9680 9686 9685 9684 9681 8348 8360 8117 8359 11062 11061 11060 11063 8115 9502 8378 8337 8338 8339 8111 9495 9690 8122 11098 11097 9497 11108 10871 10875 11143 11148 11147 11149 9705 8118 9728 9718 9719 9712 9696 9703 9698 9768 9769 9767 1991 3258 8316 8318 9608 12485 12453 5573 11068 11065 10975 10976 6835 5565 6836 6922 5580 6926 6923 6927 6924 6925 6920 6921 8686 12976 12496 7448 7456 7452 7451 7450 7449 7447 12440 8687 12446 12445 6067 6072 6076 6070 6069 6068 6071 1990 3369 5333 5335 7008 7007 7009 4254 4253 4256 4098 4251 4177 6848 5905 4671 8672 8663 8671 8669 8670 8668 4750 6051 8664 8666 8667 7128 4686 6066 11410 7509 11283 6740 6746 6739 6745 6741 6747 10206 6715 6713 8388 8387 8389 6930 6928 8310 10056 9796 9799 10057 9798 9803 10054 8755 9901 6980 6968 8308 12563 12558 12559 10883 12556 11078 6735 5351 6731 6979 9800 9791 9794 9784 9790 9801 9802 9783 8125 8127 8126 11430 11429 8120 8119 8121 8095 8093 6998 6743 6938 6958 6936 10877 11138 6957 11179 11183 11436 7011 5143 8830 8836 8827 8828 8829 8832 8831 11178 5748 8660 5915 8795 8658 6035 8661 8662 6129 7292 7283 7291 7285 11076 11120 11119 11092 11083 11099 11084 11077 12257 12518 12414 12458 10878 9505 9506 9507 9499 9501 9500 10885 10879 10886 10887 10881 10880 10853 10855 1878 1989 6858 11176 8238 9789 4133 11172 11161 11164 11175 11171 11166 11174 11170 11180 11182 6900 6893 6524 6895 6901 6902 5522 5144 5521 5515 5520 5523 11181 5468 11415 11411 11414 7286 7290 7288 7287 7289 9787 9795 9786 9792 9781 10810 11428 11169 11167 11163 11434 11437 6863 6787 6878 6765 7010 6797 6868 7305 7304 6792 6748 7020 6753 6776 6883 6904 6763 6758 6891 6712 12263 12523 7280 1177 2786 1175 1178 2799 5558 5355 7903 4255 6937 6903 3763 8391 4691 5927 5926 4692 4689 4688 7307 4696 4687 7306 4690 6523 12821 12661 9475 9473 11596 10216 10158 11587 11589 11592 11591 11588 11590 11425 9618 11034 11575 11647 11636 11643 11648 11574 11511 11646 11585 11639 11581 11577 11580 11584 11576 11637 11582 11635 11641 11642 11513 11573 11532 11638 11512 11572 11644 11579 11583 11578 11645 10042 10038 10041 8509 10029 10036 10037 11514 11640 11538 15736 13604 12803 12811 12812 12800 11555 14356 11420 12788 14981 14355 14353 12221 12223 14982 14354 12787 12778 12802 12798 12796 12797 12789 11401 11426 11427 10214 10215 10213 12224 16362 15733 15734 15735 16363 16361 12973 13601 12975 12974 13602 13603 12222 14983 10882 11035 10664 11041 11040 11043 12448 11042 12421 12420 12422 12415 12044 12423 12527 12528 12529 13015 12961 12957 13016 12894 13024 13025 12891 12959 12956 12912 13026 12955 12963 12960 13023 12953 12892 12954 12962 12952 13028 13020 12965 13027 13021 13022 13017 12893 13018 13019 12958 12964 14195 14028 10663 14198 12043 11151 14191 14199 14178 14182 14193 14192 14183 14181 14177 14169 14202 14203 14200 14176 12560 12562 12546 12555 12544 12547 12649 12551 12550 12561 12554 12543 12552 12541 12549 12190 13941 9284 9655 9662 9660 9663 9661 12501 12489 13887 13877 13872 13866 13882 13870 13885 13862 13832 13834 13847 13848 13842 13850 13835 13841 13884 13878 13851 13855 13874 13864 13871 13883 13873 13867 13886 13875 13856 12473 13030 12758 8486 8506 12776 12777 13846 13854 13861 12480 12465 13895 13888 13891 13893 13902 13905 13906 13900 13890 13901 13897 13896 13865 13876 13894 13881 13899 13904 13889 13860 13869 13638 12895 14180 13748 13736 13840 13735 13830 13849 13824 13827 13833 13829 13831 13853 14188 15559 13826 14190 13908 15422 13909 13907 13644 13845 13828 8778 15582 15579 15583 15578 15573 15580 13643 15571 15572 15563 10852 10846 10847 9467 9466 19699 19562 19700 19921 19865 21079 19922 19928 19859 19854 19862 19856 21101 19926 19864 12251 9928 13880 13903 11348 13839 18471 15791 13858 15292 13859 13608 12262 13868 13631 13852 13843 13844 13836 10209 10210 10212 10207 10208 10211 13758 13820 13822 13823 13825 13821 13911 13423 12966 12951 12935 14185 14189 13642 13838 14194 14196 14197 15408 15575 15560 13570 15577 15574 15319 15323 14331 14407 14397 14340 14341 14401 14399 14398 14400 14408 14396 14346 15421 14275 14333 14332 14339 14334 14345 14335 14342 14344 14336 14395 14292 14338 14343 14337 16961 13029 15581 15561 15558 15562 15565 14269 14258 15776 15787 15725 15780 15719 15784 15785 15715 15717 15714 15723 15718 15713 15781 15721 15782 15712 15779 15777 15786 15672 15788 15775 15720 15724 15778 15783 15716 15722 15306 15307 15315 15311 15314 15312 15301 15304 15303 14297 14291 14295 14329 14289 14296 14327 14294 14326 14284 14293 14328 15322 15320 15321 15310 14325 14321 14330 14312 14314 14238 14310 14313 15790 15576 15318 15316 15309 15567 15564 15568 15570 15569 15566 15650 15695 15711 16962 16963 16960 16801 16802 15655 16955 16788 19705 21081 21078 21082 21077 21069 21076 16958 16959 16953 16952 16936 16929 16937 16941 16938 16942 16704 16706 16707 15789 16943 16951 16930 16701 17091 17106 18319 18182 18341 18181 17075 18332 18331 18333 18338 18339 18323 16698 16703 16699 16694 16695 16687 16690 16683 16691 16686 18455 18325 16933 18484 18478 18547 18548 18541 18482 18479 18545 18542 18546 18537 18477 18536 18539 18538 18473 18535 18474 18544 18410 18543 18432 18481 18475 18476 18483 18472 18540 18480 18485 16862 16853 16848 16856 16916 16928 16917 16897 16898 16857 16854 16850 16847 16918 16927 21070 16876 16849 16874 16878 16875 16858 16896 16877 16864 16855 16873 16889 16888 16863 16890 18168 18335 20943 16759 16723 16728 16846 16842 16730 16761 16739 16740 16724 16732 16768 16750 16729 16748 16714 16725 16760 16749 16793 16841 16825 16767 16845 16798 16840 16738 16812 16733 16811 16835 18079 18083 16781 16711 16713 16708 16710 16799 16814 16824 16826 16792 16769 16834 16794 16815 16836 16780 16800 16810 16782 16779 16783 19718 15726 16778 16709 17035 16813 16731 16712 18340 18343 18342 15678 17170 17171 21102 21091 21100 20928 21103 21098 21093 21099 19721 18551 21092 21083 18550 19715 21095 19548 14950 18491 18489 18487 18488 18492 18490 16674 16676 16677 16678 16679 16673 16675 16672 17102 17104 17161 17103 17105 17098 17159 17160 17158 17167 17168 17099 17094 17097 17092 17052 17093 17096 17095 17101 17100 17166 17162 17165 17029 17046 16998 17050 16931 16935 17057 17032 17020 17028 17033 17030 17031 17034 17026 17025 17021 17018 18078 17072 17073 17070 17058 17044 16945 16950 16949 16940 17069 17068 17005 16786 16766 17074 16803 16913 16756 16921 16775 16893 16880 19459 19463 17067 17076 17078 17079 17090 16868 16861 16908 16902 16899 16910 16901 16909 16905 16911 16914 16906 16915 16900 16885 16697 16752 16852 16804 16806 16807 16745 16737 16926 16924 16727 16789 16839 16705 16720 16831 16844 16925 16776 16777 16757 16754 16758 16688 17071 16934 16721 16722 16770 16797 16796 16946 16947 16948 16944 16956 16954 16700 16702 16957 16795 16715 16821 16828 16904 19458 19561 19719 19713 14410 19722 19723 19720 18486 14315 17110 12626 17109 17111 17107 17108 17112 17169 16330 19703 19712 18549 19698 19702 19701 19711 19714 19717 17024 17049 17054 17053 17056 17051 17055 19716 17155 17157 17156 19690 18415 14187 14184 14186 12918 14006 12972 12968 12971 12967 12970 12969 18320 19460 19462 19461 18183 18310 19853 11266 11246 19452 19455 19450 19451 19454 18301 14298 14409 18146 19920 19919 19693 19692 15409 15441 14026 15384 15385 15386 18322 18318 14068 14005 14025 18208 18321 19918 19915 19812 19916 15552 15553 15550 15423 15365 15541 15357 15340 16919 15448 15513 15532 15463 15355 15464 15354 15488 15485 15500 15451 15347 15458 15336 15457 15405 15427 15391 15480 15539 15481 15540 15392 15404 15393 15479 15486 15524 15395 15487 15533 15499 15447 15424 15394 15372 15472 15383 15523 15363 15471 15364 15459 15512 15346 15376 15406 15371 15450 15356 15375 15505 15504 15325 18307 18309 18317 18298 18316 18308 16932 15503 19866 16765 16785 19861 19852 19855 19860 19858 19923 19917 19924 19863 19790 19925 19927 19857 21073 12499 12477 12255 13645 13646 13647 12500 12464 12457 12479 12478 12463 12488 12456 12472 19563 16692 20942 19687 19678 19688 19676 19677 19658 18142 19696 19697 19689 18438 21072 19612 18166 18145 19680 19681 21067 21058 21068 19526 32793 32791 31411 32822 32779 32787 31414 32782 32776 28649 27391 28653 30094 30067 30027 30099 28719 28672 28771 28766 28776 28708 28677 28724 28729 30062 30032 30034 30151 30146 30030 30104 30052 30088 30026 30028 28714 30033 30024 30041 28682 28687 32864 32792 32869 31405 32859 32848 32783 31413 32839 31459 32786 32785 32854 32788 32795 31531 32780 31447 31442 32796 32778 32911 32775 31406 32784 32794 32906 32790 31416 19588 19591 31489 32781 31479 31437 32827 31432 31421 31474 32812 31409 31526 31536 31415 32801 32789 32817 31404 31399 31396 31402 31395 31403 31398 31401 31400 31412 31410 31407 31408 32916 31484 31468 30057 30025 30031 28650 30022 30018 28654 28647 26006 26016 26011 27386 27396 30036 30156 30035 30109 19679 30020 28661 28645 28646 28656 28655 30019 28652 28644 30016 30021 28699 30029 30023 30079 28651 30015 28648 12229 12228 12230 12231 12226 12227 14990 14991 13607 13606 13610 13611 14989 14987 13609 14988 14986 19621 15018 15264 15251 15263 15228 15286 15281 15213 15230 15227 15115 15220 15215 15207 15209 15274 15235 15267 15229 15208 15241 15254 15205 15201 15212 15276 15250 15270 15244 15271 15221 15210 15231 15255 15256 15252 15236 15202 15273 15282 15200 15211 15214 15116 15245 15253 15206 15288 15289 15287 15204 15285 15247 15234 15262 15277 15266 15268 15258 15257 15275 15242 15226 15222 15265 15280 15246 15203 20941 16183 15219 16696 21080 19587 19590 19872 19444 19441 19443 19446 19447 19870 19868 19869 19867 19871 15024 13934 13935 13932 13940 13923 13927 13942 13936 13943 13924 13926 13929 13921 13930 13931 13939 13938 16681 16684 15284 15225 16637 16636 16594 16592 16496 16600 16602 16601 16661 16666 16591 16610 16607 15261 16645 16625 16657 16593 16646 16495 16638 16631 16634 15279 15269 16648 16632 16614 16595 16606 16642 15249 16654 16653 16643 16621 16660 16404 16630 16644 16627 16608 15240 16633 16611 16616 16624 16590 16668 16669 16667 16398 16580 16518 16584 16588 16586 16589 16587 16583 16582 16585 16581 16662 16635 16656 16651 16655 16665 16650 16626 16647 16615 16609 16622 15233 16689 12235 12267 12259 12266 12233 12260 12265 12261 13639 13613 13615 13640 13641 16599 16671 19673 21038 21057 21056 20971 21004 21003 20997 19645 21015 19620 20993 21014 19628 21028 19643 21016 19644 20996 21013 20995 19639 19653 21002 20994 21029 21017 19640 20998 21018 21036 20990 21030 21037 20968 13637 13635 13898 13879 13857 15138 18057 18054 18055 18053 18059 18056 18058 18052 21085 22461 22457 22449 22462 22458 19851 21053 20915 14803 19835 15291 19818 20906 22463 22471 22472 22473 22482 22483 22479 22478 22480 21052 21231 19929 22456 22437 22436 21061 22448 22438 22447 22418 22374 22408 22373 22416 21008 22382 22376 22384 22409 21020 22383 22393 22367 22378 22362 22410 22369 22394 21033 22370 22417 22375 22366 22377 22395 22398 22397 20926 17898 22365 20992 21001 22368 22396 21025 20989 20987 19437 19439 19436 19434 19435 19438 19433 19930 19931 22223 21246 22481 21250 21252 21248 21251 21247 21249 21243 21234 21297 21295 21299 21301 21236 21308 21305 21307 21238 21245 21300 21298 21240 21232 21242 21303 21239 21296 21235 21302 21304 21241 21237 21306 21244 21170 21192 21233 19544 28636 28640 28642 27263 27328 28638 27256 25922 25884 25901 27270 27302 27292 27319 25927 25964 25969 25948 27265 28635 28643 25890 27349 28641 25893 28639 25891 25939 25954 25917 25894 27275 27274 27267 27307 27297 25895 25896 27259 25886 25888 25889 25887 27339 27264 27260 27334 27272 27266 27269 27268 27271 27276 27281 27344 27273 27255 25885 27262 27261 25892 25912 27258 25959 20976 20981 20975 19604 19535 20986 20974 20980 20985 20982 20966 19611 20988 21007 22475 22308 19599 19564 20905 20925 19516 19497 19512 19487 19545 19546 19567 19480 19581 20909 20951 20934 20954 20920 20939 20933 20952 20922 20955 20965 20940 20923 20919 20950 20932 20964 20892 20885 20979 20896 19566 19496 19479 14406 14405 14402 21311 22259 22332 22270 22320 22244 22260 22252 22234 22249 22250 22346 22334 22335 22288 22280 22356 22300 22314 22303 22302 22289 22299 22360 22355 22319 22313 22331 22345 22281 22361 22245 22253 22268 22269 22298 22251 22344 22224 22230 22231 22227 22333 22228 22233 22229 20918 22354 22232 22279 22258 22226 22248 22243 22330 20814 20816 20817 20818 20813 20819 20877 22318 20947 20953 20944 22312 20938 20869 20889 20899 20888 20853 20872 20864 20900 20901 20873 20854 20879 20890 20908 20907 20865 20870 20851 20868 20880 20863 20848 20844 20849 20878 20850 20847 20815 20961 20852 20871 17784 16605 18014 17988 16620 16649 17995 18001 18028 18018 18013 17982 18004 18024 17989 18035 16641 18027 18017 18012 17981 18015 18041 16664 16659 18037 18033 18040 18011 16613 17996 18006 16629 18030 18007 18036 18026 18023 18002 17994 18010 18031 18025 18022 17975 17991 17990 18046 17986 18042 18045 17987 17973 17876 18034 17980 18016 17974 18005 18047 17972 18049 17875 17778 19511 20867 22632 22629 22631 22627 22628 22630 23862 23863 23860 23839 19664 19505 22611 23861 19478 20921 20845 20846 22225 22465 21310 23843 23852 23859 23853 23858 23851 21215 23838 23842 23841 22324 22595 21309 23855 22691 23840 23845 23688 22690 25219 25082 25243 25233 25238 25239 25240 25241 26619 26613 26618 26597 26589 26602 26598 26611 26603 26612 26462 25371 25386 27806 30614 30662 29353 28138 29341 30593 28141 30664 29313 30579 30594 30641 28208 28140 28198 29352 28139 28137 28207 28133 28143 28202 29526 28211 29360 30739 30763 30760 30762 29375 28210 29223 29350 28203 28070 29340 30727 28200 28199 28115 29339 30751 28204 28136 28142 28134 28145 30741 30550 30688 30698 30696 30758 28131 29381 30753 29359 30561 30568 30559 30761 30759 30736 30740 29495 30560 26599 26621 26615 29455 28132 29511 28092 30717 28135 28206 28144 30647 29478 30716 29222 30742 30729 30737 29365 30718 30728 28205 30689 30752 30743 30677 28201 30738 22327 22287 23702 23701 26605 25315 27998 27993 27999 26461 26600 22622 22617 22680 22616 22613 22572 22625 22624 22688 22675 22677 22682 22678 22518 22618 22685 22687 22577 22612 22619 22686 22681 22614 22623 22679 22564 22676 23975 20544 21024 22460 22459 22127 22164 22112 20753 22186 20769 22126 22141 22146 22136 22144 22181 20799 22028 20781 22168 22180 22173 20760 20804 22171 22016 22165 22130 22131 22101 22134 22155 22154 22103 22151 22129 22157 22153 22182 22158 22167 22174 22177 22185 20789 22170 22175 20739 22188 22176 22142 22121 22015 22100 22147 22135 22122 22109 20745 22128 22115 22163 22111 22107 22152 22102 22150 22120 22450 22453 22452 22323 22626 23836 23837 23829 22322 23152 23167 23199 24511 24537 24507 24504 24509 23179 24508 24498 24496 24502 23194 24500 24499 23256 23125 23124 23126 23127 23132 23129 23131 22240 22301 23130 24579 24510 25882 25876 24626 24568 23251 23246 25881 22359 25875 23209 24584 22286 24532 24589 24547 24521 24542 24495 24505 24506 24513 24514 24559 23162 23188 24574 24631 23204 23136 23133 23157 25883 24515 25880 24636 24512 25879 24516 25878 23141 24501 24503 23135 21824 21777 21754 21755 23119 21829 23121 21787 23118 21799 23115 21756 21819 23116 21772 21876 23134 21871 21866 23123 23122 21753 23128 21814 21761 21808 21782 23120 22358 22372 21060 22305 22306 22285 22371 22424 22440 22441 22364 23755 23827 23816 23698 23633 23629 22304 22351 23678 23628 23692 22350 22348 23710 23724 23713 23650 23640 23649 23711 23715 23734 23700 23661 23667 23625 23632 23740 22326 23630 23725 23726 23660 23639 23638 22272 23631 23683 23694 23669 23693 23679 23712 23680 23659 23648 23796 23756 23789 23757 23776 23828 23798 23817 23775 23764 23790 23742 23763 23758 23736 23750 23778 23749 23777 23797 23747 22380 23699 23682 23735 23714 23754 23774 23741 23746 23818 21198 22399 23745 23753 22400 23773 23762 23668 22381 23748 22413 23788 22578 22239 23833 23703 23830 22555 23686 23685 22247 23624 23614 23623 23613 23611 23599 23607 23604 23610 23608 23603 23673 23752 23751 22187 22189 22106 21924 30745 29208 30603 30721 30720 30602 30639 30638 22038 29206 28146 30645 29590 30549 30540 30588 30598 29195 30504 30513 30528 30654 30755 30611 30635 29172 30539 29299 29286 30651 29287 29193 30607 30637 28075 29258 29239 29175 29155 29184 29185 30652 29279 30525 30523 30529 30599 29591 29194 30511 30506 30615 30600 29147 30610 29205 30503 30586 30628 30630 30631 30604 30606 30499 30531 30536 29288 30578 30580 30569 30532 30626 30524 29300 29305 30624 30690 30642 30537 30655 30533 30653 29157 30613 29241 30548 30530 30757 30507 30567 30583 30640 30508 30510 29264 30754 29186 30514 30498 29589 30566 30592 30649 30634 29281 30646 30663 30697 30676 30650 30756 30674 29272 29259 29176 30612 30673 30675 30678 30656 30658 30657 30648 29209 30636 30582 30625 29251 30538 29312 29248 29224 29333 30565 26735 26751 29372 29363 29362 29361 27842 27995 29371 27828 27979 29358 29357 29349 27980 27985 25450 25451 29382 29383 29380 26830 26831 29373 29379 28001 29378 30730 30733 30732 29347 29123 29119 29118 28000 28002 28003 27841 26718 27953 26695 29220 29200 29262 27879 29318 29336 29337 27920 29297 29277 29275 29309 29274 29295 29294 29310 29267 29293 29269 27785 29202 29266 29261 29256 29265 29234 29219 29260 27868 29245 29189 29246 27973 29230 29199 29316 29254 29203 29231 29324 27767 29165 30644 23672 19424 19359 19164 19409 19419 20793 20777 20774 20797 20791 20770 20787 19422 19425 20782 20786 20802 20772 20806 20775 20767 20794 20785 19401 20788 20783 20778 20773 20795 20805 20771 20801 20776 19417 19420 19413 19415 19414 19411 19421 19410 19426 19384 19392 19398 19402 18029 19397 20751 20750 20748 17985 19360 19355 19369 18039 20807 20808 20809 20766 20762 20761 20764 20756 19408 20765 19406 19386 20784 19381 19394 20747 19391 20742 20749 19404 19407 20648 19385 19354 19353 19396 18000 19368 17993 18009 19395 19374 20790 19352 19393 18044 19361 19256 19255 19367 19362 19375 19371 18021 19390 19387 19376 19382 20800 19405 19403 19416 19366 20755 20754 19373 19389 19380 19370 17960 17965 17966 17968 17962 17963 17967 17961 17969 17970 17964 17971 20732 20741 20740 20735 20746 20733 20734 20796 22199 22198 22197 20636 20635 22193 22196 22195 22194 19268 22257 23612 22192 26601 27815 27944 27884 24190 24191 24192 30477 30474 30475 30473 30478 30476 30479 22145 22156 22113 22104 22166 22162 22114 26763 26764 26757 26753 26822 26758 26815 26824 26816 26825 26823 26762 26712 26827 26821 26690 26756 26761 26818 26817 26765 26819 26826 26752 26828 26760 26820 26755 22119 27901 23577 23579 23578 23574 23575 23573 23576 23721 23720 24172 29240 29257 27970 26759 29250 27843 28209 29221 28098 29356 29255 29298 29270 29278 27933 29338 26754 29213 29284 29235 29308 29348 29232 27961 29214 29283 29317 29332 25235 25068 25355 25338 25449 27983 27992 27991 27978 27796 27981 27982 26590 26448 27826 26463 27977 27967 27969 27968 27976 27958 26593 30495 30494 29114 29111 30492 26766 29112 29377 29115 29374 29103 29376 30627 29104 29106 29101 29110 29107 29109 29116 29120 29121 29122 26423 26444 26445 26446 26425 26424 26426 25443 25374 25381 25376 25438 25435 25312 25385 25446 25448 25311 25447 25437 25436 25332 25380 25313 25372 25440 25375 25439 25441 25384 25442 25373 25378 25445 25377 25444 25314 25379 25383 25382 29099 29095 29094 29096 29093 29097 29098 26829 23991 25220 27716 26334 27719 26336 26333 27714 26335 26338 26339 26337 27717 27718 27715 27713 27712 24071 24070 26620 26623 26622 25225 24006 24010 24008 24009 24007 24011 24012 23572 22615 22620 22621 22575 22574 22576 22601 22573 22607 22605 22606 22549 25066 25065 23681 25107 25108 23821 23820 23744 23761 23760 23637 23627 23626 23675 22363 23665 22412 23666 23656 22347 22592 22594 22593 22590 22530 22536 22537 22523 22529 22528 23663 25046 25045 30575 30556 30526 30527 30661 23304 23526 23547 23510 23525 23487 23482 25242 25081 27957 27938 26581 27956 26580 23618 23935 22599 22598 22571 22569 22608 22609 22610 22596 23674 22587 22527 22556 22563 22557 22535 22534 23958 24069 25007 25132 25131 26579 25054 25055 25140 25141 25110 25111 25017 26592 25053 23515 23534 23500 23542 23566 23550 23565 23560 22179 23481 23556 23553 23408 23480 23395 23483 23396 22125 23562 22161 22140 22149 22169 22184 23544 23486 22133 23546 23535 23543 23545 23530 23531 23538 23521 23532 23536 23554 23557 23551 23561 23555 23548 23492 23509 23511 23533 23514 23516 30660 23651 23652 24958 24954 24952 24959 24956 24953 24955 24957 23728 24983 24979 24978 25015 23617 24975 24971 24970 22525 22538 22553 22554 22541 22540 22545 22544 22546 22526 22521 22552 22551 22550 22517 22588 22589 22548 22542 24964 25016 25006 24974 24967 24972 24963 24068 24067 24058 23930 23998 23993 24059 24061 23997 24004 24000 24003 24062 23995 24060 24001 23952 23999 24063 24002 23992 24066 24057 23996 24005 24065 24064 24056 23994 24055 26596 25210 25083 25213 25119 25118 26363 26359 26358 25000 25212 26578 26587 26588 25201 25200 26577 26576 26558 25199 25044 25043 25064 25042 25139 25184 25193 25052 25117 25036 25098 25192 25025 25024 25014 25183 25023 26496 26400 26470 26501 26474 26548 26515 25148 26535 26440 26428 26420 26410 25173 26427 26509 26438 26513 26533 26502 26495 26506 26485 26534 26556 26550 26452 26517 25159 26460 26475 26399 26392 26409 26453 26421 26454 26439 24996 26537 26557 26390 26385 26471 26494 26389 26486 26514 26393 26522 26538 26510 26442 26507 25160 25087 26398 25035 26518 26388 25146 25172 25147 26524 26549 26458 26419 26505 25084 26472 26459 26523 26443 26429 26384 25123 26408 25032 26374 25124 26484 26500 25086 25051 25031 25145 25163 25099 24999 26516 26391 26536 26441 26508 26473 25165 24998 24997 25164 26373 26370 26367 26368 26371 25101 26364 26383 26372 25100 26369 26366 26351 26350 26355 23759 26488 23684 26487 23819 23731 23793 23727 23635 23655 23634 23643 23662 23825 23824 23826 22271 22256 23598 23671 23616 23609 22246 23606 23654 23657 23658 23691 23605 23687 23690 23664 25222 22321 25223 25218 25231 25232 25221 25209 25217 25216 22532 22295 22294 22282 21175 22388 22433 22276 22387 22432 22338 22439 22275 22265 22341 22405 22404 22340 22403 22339 22238 23832 23739 23591 23590 23595 25215 25211 25214 23856 23854 23857 23589 22689 23738 23695 23697 23743 23636 23730 23718 23719 23813 23804 25208 25198 25207 23803 25196 25197 25178 25128 23792 25105 25176 25153 25137 25104 25095 25170 25154 25135 25130 25158 25115 25094 23704 25138 25125 25114 25136 23768 25142 25133 25092 25134 25122 25169 23780 25121 25116 25168 23779 25143 25127 25177 25155 25129 25157 25126 25144 25106 23707 25120 25093 25156 23645 23785 23706 23812 23783 23766 23765 23737 23767 23784 23644 23642 23647 23646 23537 23524 23527 23493 23484 23501 23494 23522 23495 23489 23491 23507 23502 23506 23508 23831 23835 23601 23602 23600 23418 23834 23696 23568 23569 23567 24931 24915 24894 24935 24923 24888 24911 24945 24925 24891 24924 24937 24940 24881 24874 24933 24905 24918 24882 24896 24946 24901 24873 24913 24880 24904 24875 24942 23513 23529 23564 23499 23541 23559 23549 23520 24788 24776 24775 23505 24914 24934 24916 24890 24902 24895 24889 24922 24906 24917 24912 24872 24887 24928 24907 24941 23596 24981 24980 24982 25058 25090 25074 25040 25060 25063 25073 25079 25039 25080 25048 25030 25059 25062 25041 25029 25020 25028 25049 25091 25078 25072 25047 25061 17979 15175 13800 15181 15182 15183 14804 13802 15180 13803 13795 13424 13801 25008 24994 25004 25005 25009 25012 25013 25019 25010 18048 25018 25011 22591 24985 25003 24984 24993 24991 24988 24987 24992 24989 24990 25113 25109 25112 24977 24986 24969 25229 25230 25224 25226 25227 25228 25001 25002 25057 25050 25022 25027 25026 24995 25205 25204 25038 25034 25037 25189 25186 25182 25179 25188 25180 25185 25181 25194 25195 25191 25056 25190 25206 19344 19347 19350 19340 19342 19351 19349 19341 19346 19345 19343 19428 19429 19427 19348 24930 24936 28750 27730 27739 27724 27727 27723 27731 27732 27726 27743 27721 27734 27738 27735 26344 26595 26349 26354 26360 26361 26616 26356 26617 26614 26362 26352 26341 26346 26347 26343 26591 26594 22533 22543 22531 22520 22519 22522 24966 24961 24976 25237 25236 25234 15023 15015 15017 16618 16596 16628 16617 16663 16640 16619 16403 16395 16397 16639 16612 16391 16658 16603 17563 17888 13793 15218 19278 18943 18085 23846 23850 23847 23849 23848 23844 18165 18299 18300 15382 16763 16764 15173 18207 18164 15438 15440 23594 23592 23620 22110 23619 24949 24947 24948 16784 22423 23677 23676 23670 23622 23621 21432 21059 22379 16597 16598 23809 23800 23815 23808 23805 23802 23810 23806 23811 23801 23799 23814 16604 23588 19523 19522 22283 22284 22292 22293 20967 15338 15339 19525 20924 24927 24926 24910 24886 14307 14311 17777 18020 18043 18008 20731 20722 20723 20721 20720 20724 20730 19358 19163 19158 17775 17771 17976 17977 18019 17983 17999 17998 18038 17997 17984 17992 17783 17978 16508 20729 22108 20727 20726 19365 20725 19418 19400 19399 19377 19363 19356 19372 19157 19388 19423 19379 19378 19155 19151 19432 19357 20728 29192 20658 27972 26499 30643 27994 29117 27997 27996 27960 24879 24684 27741 19619 27729 29164 24863 27742 27740 24860 24864 27736 19795 20912 19672 24871 19625 20999 19531 20991 19532 24867 21019 24861 24869 19627 24866 24862 20911 19652 21032 19626 20913 21023 21005 21006 29263 27959 26503 29183 26504 20812 26380 26498 26378 29285 29303 27913 27928 26553 27917 27897 27894 26540 26412 27840 27866 27854 26552 27851 27929 27855 26411 27875 27852 27865 27886 27880 29153 29179 29152 27764 27754 27769 27765 26563 27807 27788 26564 27790 27801 27809 27819 27789 26539 26464 27779 27822 27780 27823 27772 27770 27832 27818 27833 27773 27820 27808 27800 27834 27839 29212 29170 24870 27892 27792 27847 27908 27844 27871 29198 29218 29273 29149 29169 29159 29150 24868 29244 29148 29168 29296 29233 29268 29151 29158 29187 29180 29276 29181 29145 29160 29282 29188 27915 27887 27881 27895 27889 27930 27903 27914 27890 27876 27882 27904 27918 27937 27898 29191 27850 30750 30747 30744 30748 30735 30746 30734 30749 30731 29227 26435 26434 27936 27885 26520 26490 26521 26511 26512 26466 26467 26519 27768 26432 26416 26433 27799 27853 26481 26491 27874 27916 26545 27896 27771 29126 29128 29124 29133 27838 29131 27888 29127 29143 26397 26396 29129 29144 29134 29130 27864 29132 29323 26497 29171 30509 29226 30505 29146 29140 26386 26387 30496 30512 26377 26403 27893 27778 27751 27753 29271 29280 26405 26543 26544 24939 24929 27902 30581 29368 29370 26528 29138 29156 27763 26404 30518 30520 30713 30712 30659 30719 30481 30484 30487 30483 30491 30490 30486 30571 30572 30601 30574 30704 30516 30517 30573 26379 26572 26573 27749 27745 27746 27747 27744 27748 27750 27821 27752 27861 27777 27760 29092 27813 27919 27932 27812 27805 27867 27804 27878 27877 27802 27814 27825 27803 27824 29182 29247 27846 29204 29238 29304 29163 29154 29136 29137 27925 30605 30609 30608 30488 27899 27858 27883 27891 27870 27859 22357 22386 22291 22385 27756 27774 27943 27791 27783 27775 27952 27860 27784 26586 26585 26584 24798 24463 23615 20323 21751 21750 21752 25572 26422 26478 26415 26395 29201 27776 24968 29108 26480 26479 26418 26414 26417 26332 25272 25271 30521 30522 30515 27988 27990 27766 29367 29366 29364 26482 26483 26477 26365 26394 26489 26492 26493 26526 26469 26468 26465 26357 26348 26610 26606 26604 26608 26609 26607 26431 26525 27974 27975 27971 26376 27907 27906 26527 26406 26402 26407 26382 26381 26571 26575 26574 26559 26568 26562 26560 26565 26569 26561 26570 26566 27829 27737 27837 27835 30589 30545 30668 30621 30544 30667 30620 30497 27795 30576 30570 30577 29125 30546 30547 30542 30623 30622 30617 30552 32139 32133 32138 32132 32123 32131 33263 32110 31983 32120 33438 33436 33433 33496 33422 30971 33487 30875 31968 33501 32100 33489 30906 33409 33435 33450 33418 33402 32113 33449 32048 33415 30891 32060 33396 32032 33395 33518 33386 33416 33348 33516 33259 30970 32119 33414 31982 32135 32288 33477 33476 30969 33478 32099 33511 32098 32096 32078 32097 32107 32108 32125 30907 33519 32291 32238 32271 32255 32286 33498 33502 33512 33497 33515 33514 33517 32101 33488 33503 33458 32109 32118 32117 32122 27811 27905 27862 27863 27857 29369 27923 27924 27758 27757 27759 29217 29215 28733 28735 28739 28740 28736 27357 28732 28730 28734 29196 29197 29190 27352 27359 27356 27360 27355 27365 27364 27363 30117 28737 30112 30115 30113 30116 30119 30120 28741 28744 28742 28745 28743 28747 28749 28748 28746 27836 27367 27361 27368 27369 27362 27366 27984 27986 27987 28034 27728 28731 29355 29351 29354 27350 30122 30121 30124 30125 30123 30144 30132 30129 30131 30127 30145 28752 28765 28751 28764 30726 30724 28027 29207 29211 29210 30912 33520 33521 30911 32292 30908 32289 30910 33513 33523 32141 32287 32290 33522 33499 30909 33400 33394 33490 31936 32024 33494 33405 33495 33491 30585 32047 30587 30591 32046 30680 32037 32054 32055 32044 32043 32029 32070 32038 32034 32077 32030 30693 32035 32068 32033 32027 32057 32069 32058 32053 32121 32039 31981 32026 32015 31994 32021 32005 31979 31991 32016 32006 31974 31990 32022 32004 31992 31980 31995 32036 31883 31879 31875 31871 32028 32076 32042 32040 30590 31960 31930 31963 31962 31920 31905 31909 31919 31912 31929 31911 31928 31947 31978 31973 31949 31910 31941 31948 31940 31959 31913 31893 31891 31890 31887 31904 31888 31884 31894 32056 30685 31915 31889 31886 31951 32017 32025 31892 32116 31958 31961 31972 31939 32014 31993 32020 31898 30595 30596 30597 30692 30665 30683 30666 30679 32059 32064 32063 31943 32031 31953 30684 31914 33423 32023 33408 32041 33434 33410 33456 31998 33406 33447 33399 33442 33440 33448 33445 33270 33338 31966 33283 33268 33328 33340 33354 32351 33321 33370 33284 33343 33269 33360 33417 33424 33437 33457 32065 32045 31932 31955 32019 33290 33272 31900 33264 33413 32112 33446 33401 33407 33412 30703 30551 30564 31946 31931 30584 30562 30618 30535 30543 30563 30555 27964 27965 27966 31925 31897 33374 33372 32008 31917 33371 33385 31874 31872 33273 33289 33299 33285 31908 31918 32140 32142 31903 32143 33308 33329 33319 33359 32011 31987 33265 33292 33298 32084 33266 33342 33373 33267 33271 33274 33353 33310 33288 32350 31907 32010 33384 33320 33352 31878 33252 31863 31877 31861 31866 31864 31867 33309 33300 31999 31916 31986 33339 31984 33255 31965 33254 31964 33358 32000 33375 33293 33327 32349 31969 33291 33341 32001 30619 30534 27900 27940 27954 27942 27955 27945 27950 27946 27951 27948 27949 27941 27939 27845 27849 27848 27782 27786 27787 27831 27830 27827 27989 30725 29345 29344 29346 30702 30699 30701 30714 30700 30709 30705 30710 30706 30711 30715 30708 24909 26064 26251 26249 24885 24921 24893 24900 24944 26304 26308 26294 26307 26311 26302 26287 26297 26293 26292 26303 26298 26295 26305 26314 27370 26326 26325 26322 26259 27755 27762 27761 26290 26320 26291 26306 26247 26245 26275 26271 26267 26255 26156 26261 26266 26252 26260 26270 26269 26282 26276 26285 26168 26315 26310 26317 26313 26316 26321 26284 26254 26155 26240 26243 26246 26268 26281 26262 26241 26274 26244 26253 26248 26250 26328 26178 27798 27797 27794 29243 29237 29242 30629 30632 30633 29228 29225 29229 29167 29166 29162 27869 27872 27873 29141 29142 29135 26242 26296 26327 26329 26286 31870 30557 30554 30558 25552 27238 27243 27248 27253 29216 31942 32018 31896 32007 31923 31945 31944 31924 31906 32104 32106 32105 31954 31957 31950 31956 31935 31938 31937 31934 32083 21733 26375 29524 29490 29449 29519 29509 29500 29434 29579 29465 29485 29430 29516 29525 29493 29431 29491 29499 29510 29507 29432 29504 29427 29418 29522 29494 25873 25858 25863 25868 30489 30858 31952 32215 32093 30818 30879 30887 30888 30889 30890 30871 30874 30867 30885 30798 30829 30852 29479 32092 30836 30837 32136 32134 32137 30843 30844 30812 33500 30882 30883 30880 30884 30904 30898 30896 30894 30897 30905 31856 33504 33506 31510 31855 33508 33507 31857 31852 31853 31854 31859 31858 33510 30960 30959 30873 30872 30881 30961 30886 30893 30903 30899 30902 30892 30870 29433 29523 29486 29578 29517 29480 29503 29514 29492 29581 29435 29512 29428 29513 29518 29502 29487 29580 29508 29417 29587 29472 29429 29588 29436 29437 30835 30830 30968 30958 30967 31885 30472 32471 32472 33484 33486 33482 33485 33481 30857 33483 32470 28633 28628 28623 28618 33509 28312 32114 32115 32111 33404 31499 31503 31496 31492 31507 31508 31500 31504 31509 31495 31505 25203 25202 31501 31506 31502 33392 33393 33389 33388 27358 30114 28738 30118 30110 31497 33350 33347 33346 33351 31494 31490 33349 33280 33281 33282 32883 32888 32167 32874 33391 20538 23083 27407 27411 27409 27410 22812 33287 33326 22183 21911 21917 21915 27962 26951 26952 26950 27963 23297 23295 33312 33317 33314 33318 30126 30128 20701 20703 20695 20700 20324 20702 20543 33368 33365 33369 33366 22117 22116 22118 32773 21918 23462 23084 23460 23461 23463 23455 22081 22075 21704 22083 22082 22080 33297 30779 31493 33367 32452 32870 32891 32904 32884 32879 32889 32875 32876 32872 32892 32887 32880 32905 32886 32881 32882 31498 32885 33316 22792 27558 29091 23490 23488 27385 27372 27371 27384 27353 30111 23406 23402 23411 23415 23397 23400 23409 23401 23416 23414 23403 23410 23412 23417 23394 23382 23407 23422 23399 23421 23419 23393 22042 23377 22020 22013 23376 22023 20662 20659 20661 23380 22021 22035 22027 22017 22032 22022 22039 22031 22037 22019 22026 23381 22002 22041 22030 22014 22029 22036 22034 16563 16562 16560 16555 16184 16561 23368 20643 20649 20651 20640 20650 20637 20647 20642 20656 20633 20657 20652 20641 20639 20655 20622 20634 20646 20654 24799 24802 24801 23364 26221 26220 26222 26223 26215 25844 17943 17564 17941 17942 17935 17940 24842 24843 24835 24464 24841 24840 19320 19321 19315 19323 18944 19322 31511 31525 31512 31524 30774 31491 32877 32873 32129 32130 32127 32124 32126 32128 33275 30130 31902 32756 31901 32754 32777 32768 32175 32174 32432 32758 32763 32757 31895 21851 29326 29329 29328 29322 29320 29321 29330 29325 29319 28149 28147 28150 28148 21865 21864 21852 21848 21846 21847 21849 21833 21843 21844 21840 21842 21841 21835 21845 21836 29530 28151 29527 29528 28152 29532 29529 29531 23232 23244 23231 23245 21996 22000 22001 21997 21985 21987 21988 19281 19263 19269 19270 19267 19266 19274 19261 19260 19282 19279 19272 19257 20616 20617 20621 20608 20620 19275 19253 19271 19277 19254 19242 19259 19276 19262 21993 21995 23373 23375 25387 25388 25390 25392 25389 25391 20604 20486 20491 20496 20402 20444 20449 20397 20392 20407 20419 20439 20428 20434 20613 20615 26639 26634 29335 29334 29331 21832 26647 26654 23216 23225 23229 23227 23220 23223 23224 23228 23226 23215 23219 23222 23221 26652 30780 31392 31389 31391 31393 31072 32878 32171 32173 32172 32170 33306 31933 33302 33305 33307 32799 33301 32800 32797 26651 24791 24795 24762 24777 24760 24781 24792 24789 24786 24790 24773 24779 24787 24783 24796 24774 24794 24761 24782 21000 19524 21839 21837 20471 20485 20472 20484 26772 26768 26767 26771 26769 26770 17707 17701 17709 19080 19083 19087 19082 17712 17711 17724 17725 16346 14966 14971 14976 16317 16313 17695 16974 19105 19092 19077 19073 19111 19106 19116 19075 19079 15128 20452 20465 20468 20467 20464 20463 20460 20456 20469 20455 20459 20453 20466 20462 20461 24755 23213 23212 23217 31869 30360 30355 30362 23211 31378 31388 31383 26583 27595 27603 27224 27600 27601 33471 33475 33474 30792 30791 23298 21923 16481 16477 16464 23365 23367 16514 16521 16516 16497 16517 16522 16512 16503 16507 16511 16500 16482 16502 16506 16509 16501 16499 16515 16494 16493 16510 16519 17902 17901 17899 16476 29177 29178 29173 29174 29253 29252 29249 19039 19048 19017 19054 19069 19059 19027 19064 19022 19012 30013 29998 30003 30008 30361 30363 27602 29984 33473 31926 31922 31927 30553 30790 30793 31921 31417 27793 31419 31420 16553 19086 32103 28604 28975 28980 28982 28983 28981 24748 24744 24780 24756 24797 24757 24753 27380 27383 27374 27376 27382 27375 27378 27379 21983 26125 26133 24745 26123 24743 26124 26177 26179 26181 26166 26153 26136 26142 26174 26175 26167 26140 26171 26127 26128 26162 26161 26154 24747 26170 26137 26176 26160 26141 26163 26182 26159 26157 26169 26135 26172 20451 23363 16468 19104 19091 19089 17697 17703 17693 17708 19085 19081 17699 17692 17704 17705 17702 12211 12206 12216 16351 19071 19072 16356 20457 17843 16480 21984 19076 19088 17700 19084 17696 17706 17726 17736 17731 13596 13591 13586 14351 14349 14352 14347 14350 14348 15727 15731 15732 15729 15728 15730 22264 15439 25990 15174 19465 13794 26005 25992 26004 25975 25976 25981 25982 25986 25988 25979 25973 25977 25989 25987 25984 25983 25980 25985 25991 24624 24625 24612 24611 25257 25253 25258 25256 25252 24600 24593 24599 23894 24605 24604 24603 24602 24601 24608 24607 24609 24606 24597 24596 24595 25972 27351 25274 23883 22263 22254 22255 25254 25259 24592 24610 23882 29712 30723 24591 23887 26003 26000 26002 25904 24522 24524 25911 25908 25909 25907 25910 24531 25905 24526 24530 25906 24529 24528 24527 24525 25902 29343 20738 23149 23150 23151 25263 25267 25262 23146 23148 23144 23142 23147 23145 24649 23267 23270 23271 23269 24647 24650 24651 26027 26029 26031 26030 20535 20537 21771 21769 21770 25999 25996 25998 23113 21891 21890 21889 21888 21887 20510 20511 20509 20507 17750 16370 16369 16367 16371 16368 8138 8248 8263 8390 17748 17747 17749 17751 8145 8258 8177 8284 8128 8133 8243 8167 8092 8172 8143 19127 19130 19128 19131 19129 8271 8156 28332 22236 25843 27223 25974 17647 17642 17659 17668 17689 17684 17637 17632 17679 17674 15337 12413 16329 16323 16319 16324 16312 16327 16321 16320 16316 16325 16315 14951 14952 14964 14965 16328 16326 16322 16331 16332 16344 16345 17691 14935 14936 14939 14932 14940 16979 16311 13571 13585 13584 13572 14943 14944 14946 14941 14942 14949 14945 14948 14947 13759 13761 13762 14937 14931 14933 15095 15087 15096 15088 13739 13740 13751 13752 13733 13756 13747 13755 13746 13757 13750 13734 13722 13741 13743 13737 13749 13742 13721 13716 13717 13708 13754 13720 19233 19236 19241 19240 19235 19237 19224 19228 8282 7904 8275 8281 8280 8283 26932 16762 16827 18306 18304 18305 12566 12567 12564 12565 12738 12734 12733 12757 12750 12718 12748 12735 12724 12749 12723 12737 12688 12570 12568 12702 12660 12710 12696 12589 12585 12590 12609 12686 12620 12659 12709 12715 12674 12706 12714 12653 12629 12639 12621 12717 12610 12707 12593 12654 12672 12671 12685 12643 12592 12600 12599 12701 12695 12675 12573 12571 12574 12640 12628 12642 12584 12569 12708 12591 12716 11207 11319 12608 12684 12713 15084 24678 8548 13704 11324 17860 17857 17861 17848 15122 15135 15127 15132 15136 15137 15123 15101 15100 15113 15129 15102 15114 15117 15121 15120 15126 15131 15134 15130 15097 15119 17856 17892 17897 17895 17883 17881 17862 17874 17882 17873 17877 17889 17887 17886 17890 17894 17896 17844 17891 17880 17879 9430 9654 12598 11232 12694 12583 11225 11393 11311 12756 12722 12700 12658 12588 12657 12705 12627 11308 12638 12619 12736 12572 12673 12670 12652 11284 11255 11384 12655 12656 5924 5332 5412 5503 5385 5407 5383 5488 9688 5378 5368 5640 5925 5396 5373 5483 5417 5511 5524 5498 5630 3371 11236 5726 5746 6018 4346 4419 4655 7100 7194 7140 7132 7070 7190 5712 7198 7229 7204 7215 5893 5890 12641 5740 5818 5743 5775 5806 5836 5834 5801 5773 5837 5771 5809 5817 5814 5835 5786 5824 5759 5754 5742 5760 5815 5772 5795 5785 5796 5802 5807 5774 5810 5753 5823 5858 4473 5878 4411 5877 5848 4408 5794 5822 5833 5770 5856 4513 5850 5800 5784 5888 5857 4501 5849 5838 5735 7063 7228 7099 7217 7185 7072 7174 7181 5764 7119 7165 7195 7164 7268 7133 7080 5763 7089 7134 7108 7122 7138 7044 7123 7120 5767 7101 7073 5716 7068 5873 7046 2891 2890 2895 2888 2897 2883 2887 2886 2881 2898 2899 2884 5805 4355 5887 4384 4510 4383 5752 5813 4493 5808 4386 5758 4387 7202 5828 1895 1911 4312 4341 4290 4340 4374 4359 4304 4373 4379 4378 4363 4284 4313 4286 4329 1926 4319 4349 4287 4309 4310 4288 3003 4305 3004 3007 4294 4330 4293 4360 4362 4320 4372 4291 4348 3006 4289 3370 2894 2892 503 2929 3117 3058 3128 3012 3011 2979 3118 3078 3138 3050 3137 2930 2980 2911 3036 3041 3063 2961 3049 3129 3142 3042 3025 2933 2982 3075 2910 2908 2909 2914 2903 2907 2969 2904 3159 2960 2994 3000 3015 3097 2940 2993 3026 2913 3064 2924 3153 2925 2968 3143 2949 3054 3057 3055 3074 2932 3014 2999 3090 3046 3077 3089 2983 3035 3047 2939 2950 3152 3098 4426 4477 4427 4406 4443 4470 4416 4454 4437 4421 4508 4455 4405 4422 4395 4518 4509 4394 4438 4391 4517 4434 4444 4458 4435 4380 4430 4497 4522 4469 4429 4498 4457 4415 4392 3140 2927 4531 4292 3093 2966 2956 4507 4453 3080 4442 4468 2945 4476 4358 3155 3306 4303 4496 2975 3039 4436 4523 3031 2952 4390 4428 3130 2986 4328 4318 4433 4339 4532 4311 4414 3028 4420 4404 4516 4393 3121 3133 4347 8656 8649 8657 4277 3145 4361 4456 4425 4308 4521 3113 3068 1538 2923 1657 3034 7182 7151 7166 5766 7054 7051 7090 7065 7139 7069 7050 7047 7053 7079 7109 7064 7048 3045 1679 1588 1558 2938 2928 1569 1703 3076 1765 3141 2978 1781 1698 1711 413 1637 1617 1618 3088 1749 2948 1579 2967 1649 3073 3158 1758 1620 1646 2998 3048 2992 1731 2981 1775 3062 3010 1602 1722 3053 1686 1623 1662 2906 1619 3116 2931 3040 3127 1670 398 3136 1759 1548 3151 1565 1603 1622 3096 382 2959 1600 2912 1531 501 342 365 502 1739 7398 4638 8317 7188 7071 7107 7187 7196 7186 7118 7267 7216 5791 7175 7154 7236 7218 7214 7256 7230 7258 7189 7152 7237 7203 7213 7257 5840 7238 5881 5705 7197 7180 7150 7078 7193 7155 7088 7176 5799 8460 8431 8424 8428 8430 8427 7052 7049 8513 8459 8502 8444 8488 8469 8500 8470 8450 8499 8503 8489 8452 8434 8433 8481 8445 8449 8480 8453 7143 8426 8564 8495 7144 8588 8524 8526 8527 8633 8641 8551 8600 8613 8559 8523 8653 8425 8512 8465 8447 8624 8472 8476 8826 12368 9805 7045 8650 8448 8458 8487 8479 7146 8520 8451 8597 8583 8566 8570 8609 8535 8532 8514 8519 8562 8584 8574 8545 8568 8569 8556 8432 8501 8534 8598 8575 8576 8594 8555 8567 8561 8577 8533 8531 8546 8544 8595 8578 8596 8637 8618 8610 8617 8638 8648 8560 8582 8565 8554 8573 8518 8517 8516 8515 8417 7147 8616 8636 8647 7270 8608 8443 8593 8498 8530 7220 8468 9283 9771 7106 7179 10842 10841 10843 7282 7278 7277 7269 7276 5900 7281 10269 12646 14004 14003 14024 8429 10050 10049 10030 9903 7153 7121 11033 12625 12354 12342 12371 12363 12367 12377 12369 12375 12360 12357 12353 12372 12362 12361 12370 12366 12374 12376 12359 9463 9462 10048 9461 11185 7105 4547 273 3167 3165 1785 274 4544 4546 1787 269 4545 1786 3166 18303 7104 7103 8084 6704 20382 19005 14862 19011 19008 21762 19007 16249 21767 20389 21764 17629 20384 19010 21765 17628 16248 16246 20391 19002 20385 20386 21768 16242 21766 19009 17630 16250 17622 19006 17625 17626 17627 19004 20387 20388 16245 16247 17631 16251 20390 4123 1479 4118 4005 4032 4037 3998 4103 4250 4108 4016 2880 4131 3993 3988 1784 3164 4260 4003 4144 4027 1489 12205 12192 13553 13555 13556 13562 13567 13566 13565 13564 13568 13563 12645 13569 5557 5556 13552 13557 13561 13551 13559 13560 12204 12191 3307 21412 3764 4135 4141 4143 4140 4142 9697 12644 5513 10031 10034 10035 10044 10046 10047 8071 8076 8066 8485 8505 6686 6696 6691 7987 8008 7972 8024 7977 7999 8019 7982 8029 8014 5725 4101 4100 4102 4099 5745 8547 8484 6634 6597 6592 6628 6644 6607 6602 6619 6639 6649 2871 91 1388 270 271 1485 1488 1486 2875 2876 2383 79 1482 1483 1480 138 131 136 132 137 135 98 95 99 97 96 31 130 129 83 126 127 134 451 133 449 448 128 447 64 450 65 66 453 446 452 7284 2873 2874 4173 125 77 45 69 76 70 100 111 51 109 123 112 85 122 68 1314 1487 946 1315 945 272 267 268 1484 67 90 107 142 149 145 143 140 144 141 2878 2879 2877 1378 1382 1446 1402 1432 1427 1422 1419 1395 1463 1282 1452 1401 1400 2798 1408 1414 1396 1445 1184 1457 1470 1415 1441 1428 1387 1403 1469 1409 1471 1381 1462 2603 1407 1456 1390 1301 1394 1411 1393 1475 266 1392 1439 1283 1383 1391 264 1440 1384 1389 1438 1380 1435 1454 1266 1459 1453 1477 1379 1433 1300 1305 1444 1476 1443 1410 1431 1460 1386 1464 1465 1466 1451 1418 1291 1455 1434 1474 1461 1442 1478 1447 1421 1281 3311 3308 3312 3309 3316 3310 2718 416 418 1929 415 417 1928 414 1936 1930 423 1927 1931 1932 419 110 1307 1503 1518 1519 1490 1493 1496 1495 1501 1499 1513 1506 1516 1508 1500 1517 1507 1497 1492 2836 2833 2835 2822 2802 2792 2832 2815 2810 2801 2831 2808 2827 2826 2794 2807 2860 2850 2857 2851 2861 2855 2738 539 2800 2843 1468 802 1780 1772 2708 2793 1692 1673 1615 646 1735 1606 1562 1696 1406 585 822 231 1522 1148 647 2571 1706 2852 633 1563 2696 2845 3947 1716 1593 2623 1193 1543 1608 793 1417 1109 1676 1521 983 901 1596 1515 1681 108 1149 2846 595 1541 1665 1234 482 2652 1458 2844 1627 1239 1757 1659 2814 1674 1652 1320 3949 1544 1668 1747 1426 1672 1377 2862 1597 1203 542 1014 2781 1761 2613 2695 2865 1582 2743 1675 648 1110 2764 603 1763 1552 2830 463 1628 1755 2618 1151 1524 1553 2572 1595 2566 2856 1437 2636 1370 1610 1693 3951 2838 230 1147 926 1542 1520 1525 2866 2821 604 1663 2657 454 2870 1629 1534 2569 1778 1666 2847 1714 1664 1188 1103 2823 1643 1680 1691 2867 1539 2751 1152 124 1581 910 1607 1229 1535 2723 1756 1707 1641 1561 1042 3950 3952 1760 2806 1373 1574 1779 1715 1708 1746 616 1573 1782 1640 2647 2567 2848 1748 2570 1616 511 1630 2869 1591 2854 2625 1695 1594 2809 2842 1572 1205 1771 1773 1762 2816 2728 1216 625 1536 1667 244 1450 1540 3946 1550 1644 1614 139 1660 2608 1325 2825 2837 1626 2824 1682 1504 242 1631 1512 1694 2811 2568 1671 1341 1362 1609 1654 2834 1198 1580 1146 1653 1336 1736 1783 1658 1150 1592 1372 1096 1745 3056 2853 1734 3013 1056 2795 3948 1549 1349 1473 2868 3024 1752 14868 14867 13491 13490 14864 14866 14865 13489 14870 14871 14869 14067 16294 16279 16288 16262 16309 14882 16267 16299 16252 14899 14924 14929 14908 14877 14872 14887 14914 14919 16304 16257 26643 21119 21114 13945 15139 15142 15141 13715 13707 12379 12381 11001 12341 10999 12336 12327 12337 12335 12340 11002 12382 12328 10844 12687 19227 19225 16467 16475 16465 16473 20605 20607 13713 13705 17855 16463 15093 17845 19223 15085 17847 20603 17853 12325 12333 13703 15083 27257 13482 12105 12102 10731 10729 12104 12107 10730 12108 12106 13539 13519 13492 13549 13534 13502 13497 13544 13507 13528 12139 12117 12109 13488 13486 12111 12127 12164 27289 27291 27284 27288 13485 12159 12148 12122 13487 12110 13484 12154 27285 27286 27282 27287 27290 25877 9347 10727 9351 9342 9350 10724 7970 9346 9348 10722 7969 10725 7971 9345 9349 9344 10726 10728 12112 17624 16244 12169 19675 19674 21120 21729 21732 21731 12203 12195 12196 11000 12198 12200 12199 10984 12194 12202 10732 10774 10831 10836 10742 10779 10789 10747 10784 10768 10759 10737 10826 19671 12808 11347 11649 12810 11245 12801 12809 11424 11265 20946 20839 20838 21096 20836 21097 21094 20843 18326 18324 18330 18327 18328 22219 19456 19449 22464 22467 22468 22470 21747 21745 21749 21748 21746 21744 22105 23597 22328 22329 22325 20860 23485 22215 24493 22444 22446 22445 22214 22212 20694 19314 24865 22274 22278 22277 22310 22311 22307 22074 22222 22221 22220 20891 20970 20866 15232 22315 22317 18313 18312 22316 20984 18143 20842 20840 20841 13837 21044 21739 21742 21743 21735 21741 21736 21738 21740 22218 20960 21431 21430 22474 22476 22477 21850 22455 22451 22810 22811 22454 22216 22443 22442 22211 22210 21074 21071 21075 22209 21090 15426 22466 21086 21084 21087 21088 20904 22297 22296 22290 22343 22342 20859 22241 22242 22337 22469 20876 22235 22217 20375 20373 20374 20914 20978 20884 20875 20886 20887 20895 21064 21066 21065 20983 20916 20917 20910 20874 20882 20969 20973 20972 21055 21048 21050 21051 21054 21049 21089 20957 20962 20963 20937 20935 20835 20834 20830 20831 20861 20862 20897 20898 20894 20927 20931 20930 20828 20948 20949 20945 20837 8889 7125 6671 7126 7124 8504 8483 18152 11398 11408 11407 9865 9885 9866 9886 9884 9863 9864 11243 11244 15548 15557 14043 15538 15549 14170 15547 15556 14175 14171 15554 15555 15551 16920 18278 18297 18296 18219 19634 19650 19624 19615 19618 19649 19656 19638 19657 19635 19609 19607 19614 19623 19617 19637 18272 18259 18273 19633 18260 19648 18107 18224 19600 18246 19606 19595 19602 19572 19601 19605 19586 19574 19596 19610 19585 19575 18155 18247 18248 19622 18292 18293 19613 18211 19509 18132 18186 19498 19493 19500 19499 18187 19558 19508 19540 19560 19554 19552 19538 19542 19559 19543 19528 19520 19571 19519 19529 18184 19510 19539 19553 19521 19616 19584 19541 19573 19527 19594 19608 19636 19570 18232 18231 19489 19492 19484 19485 19474 19488 19490 19483 19491 19471 19466 19473 19470 19467 19464 19468 18284 18223 18210 18241 12781 12745 12779 11400 12795 12780 12784 12786 12791 12663 12727 12728 12753 12785 12740 12721 12790 14095 14103 14115 14114 14129 14098 14137 14138 14157 14130 14117 14156 14153 14104 12744 14168 12743 14155 14154 14152 15537 14161 15536 15497 15516 15494 15477 15483 15478 15475 15509 15517 14173 15518 15508 15495 15484 15482 15496 14160 14172 15493 15476 14159 14136 14116 14102 14096 14113 12752 12720 14167 14090 14093 14128 12773 12772 14033 12691 14032 14020 14054 14022 14055 14082 14076 14085 14081 14089 14086 14080 14087 14034 14023 14066 14051 14039 12664 12699 12704 14050 14038 12666 12667 14075 12635 14021 14053 14088 13972 13947 13968 14008 13990 13970 13964 13963 12612 13971 14174 23230 12719 20470 13952 13980 12616 13978 14007 13973 13949 13969 14009 13954 13965 13953 13950 14000 13979 12605 14001 14151 15498 14097 15510 14118 13948 14064 12587 13989 14040 12739 14094 12793 12726 14074 14019 14158 20936 20855 15469 15490 15468 15491 15467 15492 16851 20371 20370 20372 20367 20365 20366 20369 20368 20364 20359 20361 20363 20355 20358 20360 20356 20362 20381 20376 28019 25970 20832 20353 22426 22431 22422 22262 22425 22428 22419 22435 22420 22429 22430 22434 22421 22267 22266 22208 23823 22237 15473 15474 15470 18153 29692 22514 15446 15466 15435 15403 15445 15454 15434 15431 15400 15389 15420 15399 15412 15398 15456 15381 15388 15432 15462 15413 15461 15465 15414 15419 15455 15402 15443 15444 15460 15430 15442 15387 15437 15401 15433 15416 15417 15418 15415 15360 15411 15410 15349 15353 15370 15379 15380 15369 15359 15348 15345 15324 15327 15333 15330 15358 15331 15326 15350 15352 15351 15334 15343 15332 15341 15335 15342 15368 15362 15367 15366 15407 15328 15344 15329 19472 18263 18245 19469 18201 18253 18235 18270 18314 18311 18315 18254 18258 18230 18237 18234 18276 18269 18277 18243 18257 18255 18244 18238 18268 18256 18236 18144 18125 18233 18242 16773 18106 16879 16892 16883 16912 16772 18227 18148 18163 18159 18174 18149 18179 18162 18141 18173 18160 18120 18129 18119 18140 18229 18221 18222 18226 18172 18113 18110 18112 18192 18180 18194 18139 18191 18190 18130 18206 18195 18205 18215 18216 18128 18178 18158 18147 18118 18204 18220 16774 18228 18131 16859 18214 18225 16860 16903 18154 18218 18217 19515 18200 18124 18136 19495 19534 18265 18264 18169 18100 18117 19533 15535 15531 15534 18105 18109 18193 18161 18111 15544 15546 15545 18094 18093 18091 18103 18104 18108 18090 18084 18087 18088 18092 14164 14166 16884 18334 18337 18336 17710 18089 16726 16837 16838 16751 18086 16736 18067 18063 18071 18061 12792 12725 14101 14100 14092 14091 14120 14133 14125 14119 14132 14107 14108 14013 14099 14124 14123 14011 14012 14106 14105 15308 13946 14018 13951 13999 13944 14052 13988 14065 14015 13996 10033 13995 14014 14144 14143 13975 8273 9653 18075 18072 18074 18070 18199 16718 16744 16743 16719 18198 19710 19708 19707 19706 18329 18076 18135 18993 19001 18996 18995 12632 18994 18990 18991 18992 19686 19684 19685 19457 18123 19579 19580 14044 15216 16401 15021 15026 15217 15283 16400 15278 15248 15260 15020 15237 15238 15019 15027 15011 15259 15025 16407 16405 16406 16399 15239 15223 15224 18051 14078 14079 16366 14127 14122 14126 14077 13974 14084 14083 12631 12624 12622 12623 13956 16554 19603 18240 18239 19597 18098 24648 21886 19494 19476 19578 19503 19583 19582 19514 19518 19517 19592 19593 19589 19577 19448 19694 19691 19695 20508 19709 19431 12764 12747 12755 12742 12746 12754 12557 12751 19090 11307 23822 20829 20506 18114 16375 18081 18080 18082 18069 14995 14993 16373 23268 24646 27693 27662 18097 12775 12771 12774 12730 12732 12731 18122 18127 18126 18068 28014 22503 29399 29394 27620 27623 27626 27639 27649 26273 27621 27690 27701 27673 27666 27632 27648 27628 27642 27654 27622 27627 19166 19167 19165 20541 20515 20513 20547 20546 20539 20540 20545 21703 20811 22191 14165 18197 18203 18202 20977 16867 16865 16866 16771 16755 14002 19598 18151 19569 19568 19565 15543 12794 11264 16818 16735 16716 16734 18077 12804 12807 12806 12548 12783 19482 19481 19475 20803 20758 20768 20737 21123 24615 24616 24623 24619 24622 24620 24618 26289 27700 27695 27670 27641 27661 27685 27630 26319 27672 27633 26324 27656 27675 27684 27665 27678 27683 27677 27646 27655 27687 27535 27707 27691 26309 27706 27694 27676 27696 27697 27705 26301 27631 27688 27702 27682 27634 27536 26265 27650 27635 27686 27647 19161 19159 24951 29055 29008 29087 29064 29004 29085 29029 29086 29011 29042 29057 29053 29014 28938 29001 29020 29026 29088 29082 29080 29067 29063 29075 29065 29027 28916 29012 20736 20531 20743 20752 20759 20780 20757 20798 20779 19704 21132 21860 23879 24598 24590 23240 23236 23238 23243 23242 23239 19160 17934 23235 24834 26214 24685 24687 26331 23303 23498 23571 21062 20958 18671 18670 18672 19683 20050 20051 20857 9464 20959 20902 20883 20858 20903 20052 21063 20856 21926 21925 21927 23892 25978 24594 28974 27594 22494 22499 8047 8042 8033 8045 6672 8041 8039 8032 8049 8035 8046 8037 11406 11404 6685 8044 8040 8036 8031 6684 8048 10795 10802 10803 10808 10805 10800 10796 10804 9432 9444 9431 9445 4084 9428 8052 9426 9416 9424 8064 9422 9412 9429 9417 8051 8043 9413 9425 9415 9420 9423 9411 9419 10811 10812 10824 10825 10801 10799 10807 10793 10797 10792 9421 8065 9427 10791 10806 10809 23266 19126 17746 26026 26028 21830 24679 24680 24653 24681 24655 10018 10028 10021 10027 14146 14149 14139 14150 14141 14140 14145 14142 14148 11405 11403 23305 23306 23307 21920 21921 18209 18213 18212 18973 21856 20660 20644 23563 28330 28331 27674 27667 27640 27708 26280 27651 27709 27671 27664 27629 22132 22123 14163 11378 11396 11397 20032 22159 22137 22178 22160 16340 16343 16336 16338 16335 16342 16339 12180 12185 12183 12176 12179 12175 12188 12172 12189 12173 12186 12171 12181 12182 12177 12184 12187 6861 6862 6859 6844 8062 8059 8054 8063 8058 12839 6860 8055 8060 12834 8056 5479 5481 5482 6679 11242 6678 6683 6675 6674 6682 11454 5480 6676 11459 6680 5464 29070 29022 29045 29015 28824 29054 29068 17785 17786 29009 29036 17787 29076 29000 29050 24686 29002 29028 29066 29003 29021 29041 30318 19133 19135 29019 27711 27669 27689 27653 27660 30471 29983 29010 29006 28915 17781 17779 28818 17780 21919 17616 17621 23454 16717 32265 32285 32347 32277 32251 32346 32279 32272 32194 32247 32282 32335 32193 32233 32234 32337 32178 32267 32338 32266 32273 32252 32232 32342 32284 32253 32192 32339 32336 32268 32254 32250 32264 32278 32341 32276 32340 32283 13937 17610 17615 17613 17611 17614 17612 8241 8239 8242 14833 14856 14861 9927 7167 7168 28629 28632 28020 28631 21134 16241 16213 16236 19739 18359 18354 10997 10991 10989 10995 10981 10977 10994 10986 10982 10983 10980 10987 10996 10992 10990 10979 23874 21127 21863 21862 21855 21859 21858 9619 9616 9575 9573 9612 9597 9607 9614 9606 9581 9609 9593 9577 9617 9622 9602 9599 9621 9610 9615 9603 9576 9601 9594 9611 9582 9600 10953 8214 8213 8217 8220 8219 17593 13580 12380 12364 13574 13576 13583 13575 13582 13578 13579 22500 23111 23109 23112 10962 10956 10973 9580 10955 10960 10957 10961 10974 9604 9620 8222 8236 8227 8196 8235 8193 8200 8237 8234 8197 8226 8230 8232 8223 8202 8221 8201 8195 8231 8229 10945 9565 8185 8188 9567 8187 9568 10947 10948 19743 30042 23210 22507 23214 23218 26067 26066 26065 27438 29073 29089 29056 29058 29035 29062 29046 29007 29034 29077 29005 27681 29074 27699 29031 29030 29071 29013 27704 29051 29081 29052 27444 29044 27645 27624 29047 21893 21895 28603 7273 26058 27441 27439 27445 27440 27447 27446 6855 6807 6840 6834 6842 6841 6813 6856 6849 6846 6817 6815 6843 6857 6852 6837 6805 6822 6821 6839 6816 6833 6820 5461 5427 5469 5454 5462 5435 5442 5433 5467 5440 5459 5441 5436 5457 5428 5477 5475 5453 5425 5472 5474 5471 5463 5476 5460 5437 6854 6847 5466 6850 5470 6808 6851 21128 23807 9394 9456 9388 9399 9367 9404 9357 9446 9451 9409 9379 9352 9362 21131 21118 21112 21113 21116 21117 26035 26059 26033 26061 26060 27413 27415 30044 30048 30047 30045 17690 15082 19070 20450 27354 30046 29407 28031 28032 23275 23301 23273 23299 23300 30207 30205 30206 31698 30450 29061 29084 29049 29079 29069 29025 30453 30431 30430 30452 30432 30456 30461 30445 30437 30460 30427 30446 30442 30454 30308 30448 30443 30465 30462 30436 30451 30433 30438 30435 30447 30457 30455 29040 30434 29033 30422 30415 30410 30409 30391 30425 30389 30401 30411 30407 30393 30406 30295 30423 30395 30416 30424 30444 30296 30392 30402 30414 30400 30468 30467 30469 30390 30388 28826 28827 28825 28819 28821 22138 22139 22148 31363 30399 31851 30354 30175 30200 32743 30173 31847 31675 33238 31735 31803 30201 31804 30198 33236 33233 31740 31826 31831 31794 30449 31791 31789 31836 31824 30199 31834 31801 31781 31775 31788 31807 30405 31780 31828 31795 31688 31817 31805 31802 31810 31767 31812 31786 31796 31811 31764 31841 31813 31771 30459 31782 31769 31743 33237 31790 31773 31822 31765 31823 31815 31766 31787 33235 31768 31770 31774 31830 31837 31364 33234 31832 31833 31835 33078 31846 33239 31848 31814 31816 23497 23503 23512 23558 23540 23291 23539 23496 23519 23518 23528 23517 30387 30385 30386 28793 28795 30204 30384 30380 30383 30382 30381 31840 31772 31779 30420 33231 31676 31742 31842 30441 31806 31849 31734 30413 30408 30426 31845 31818 30464 30429 31827 28820 31741 31825 28028 20480 20476 20483 20479 20482 20478 17753 17755 20475 29342 23233 21982 20629 20628 20624 20632 20631 20630 20638 20623 19280 19264 22040 22024 26648 22508 22502 29414 22511 22512 5710 5673 5685 5664 5693 5729 5692 5689 5670 5739 14111 14112 14110 28667 28665 28664 28666 28662 28668 26567 23888 29412 29411 28669 28670 28671 23891 25268 27947 5648 5719 20473 19222 17863 17878 17872 17870 17869 17864 15103 21838 30059 17868 17871 4424 5698 5672 5738 5688 5687 5657 4307 5721 5720 5699 5700 21834 16923 15594 15599 10819 10822 10816 10823 10814 10815 10818 18294 18291 18295 10820 14214 14219 9862 10074 6663 6665 5291 6651 5305 6661 6668 6664 6669 6667 5303 6659 6652 6656 10079 5300 5295 5298 5304 5299 5296 6666 6655 5302 5294 6657 6662 6653 6660 5292 27408 27406 7964 7968 6590 7967 7965 6589 7962 7966 6591 8224 8240 9440 9434 9436 9443 9435 9442 9438 9439 4336 4484 5669 4325 4448 7028 7184 7233 7208 7115 9978 9973 9977 9964 9957 9926 9946 9954 9942 9950 9974 9936 9949 9989 9941 9975 9963 9947 9955 9935 9958 10017 9997 10016 9998 7261 7092 9912 9915 9898 9899 9883 9880 9925 9911 9988 9894 9940 9914 9900 9934 9892 9893 9850 9829 9879 9849 9804 9811 9825 9910 9869 9808 9828 9814 9833 9813 9861 9878 9848 9859 9953 9867 9838 9807 9839 9823 9881 8408 9812 9956 9976 9945 9996 9832 9824 9840 9806 9990 7244 7253 5804 9831 9962 9913 9948 7067 7171 7096 7085 9797 9788 11273 11274 11191 11260 9856 9907 11278 11228 9845 11184 11334 11219 11188 11194 11354 11230 11315 11351 11352 11353 11186 11229 11212 9906 11261 10004 9931 9852 11187 11209 11210 11343 11248 11355 11263 11344 9944 11377 11376 11370 11368 11358 11369 11336 11190 11247 11272 11292 11335 11306 11241 11211 11205 11314 11203 11262 11293 11305 11295 11326 11220 11280 9904 11316 11249 11239 9939 11328 11279 11259 11291 9875 11218 11304 11290 11325 11320 11294 11338 11240 9827 11193 11350 11168 11342 11333 9968 10013 11189 11177 11595 11594 11593 9809 5864 19734 29400 30009 30011 30012 20349 20352 19740 20351 27625 18971 18969 29710 29711 30722 18360 17272 11208 9993 9860 9810 11329 11356 11204 11357 11322 11327 11330 11321 11337 11258 11192 11213 17592 16980 17591 18972 18652 17589 5876 5816 4460 3021 3085 5691 3052 3104 3044 4268 2989 5727 5690 4366 5671 4332 2937 5674 5683 5728 2988 5708 2920 5668 5709 5684 5667 5666 3061 15089 15091 15080 15081 30061 30060 20602 16462 17842 16211 15600 16209 16212 15892 14220 14832 14854 14512 14853 14829 14831 14852 14851 14855 14850 16231 16235 16230 16232 16234 16233 30394 30466 5853 5788 30421 9882 9868 9830 9924 25571 25570 16310 13706 13714 16318 17698 19078 17694 19074 16314 19751 19747 19748 22427 21853 19243 20458 13702 14960 14956 12343 12358 14953 14962 14955 13760 12350 12352 12348 12349 20454 24492 24491 24489 29672 23880 14963 12344 13744 19754 14958 12351 19752 14959 15086 15078 15090 15092 15094 15079 25033 19742 30050 30049 30051 4478 29999 30001 29410 29413 30002 29415 29994 26413 29996 30017 29997 27280 26650 27279 26653 27277 24742 23362 21122 27781 28679 28680 29406 29408 29409 28681 30055 26582 19249 19250 19248 19251 19244 19252 19258 29405 30053 30056 28033 28030 28637 28676 28675 28673 28025 27301 28029 28026 27299 27300 28292 28617 28035 28616 28614 17723 17719 25187 15118 17715 19103 19099 19095 17884 19096 19098 13731 13738 13729 13732 16333 13728 13724 13730 13723 19100 19102 15140 15124 17900 19682 17716 17720 17718 17722 16484 16498 16489 16491 19093 16492 16490 16488 26642 16483 17713 15104 15108 15109 15110 15111 15112 27236 27234 27237 26655 16520 16504 25872 25869 25871 13573 10963 14930 18367 14934 21047 12334 13581 14938 12326 18368 10978 13577 27251 27252 26640 27249 25260 27296 26649 25921 27293 25920 25919 27295 26645 26646 30039 30037 30040 30541 28659 29161 28657 25856 25275 25854 25857 25897 25270 25899 25900 25273 28621 28619 28622 26401 28660 5316 5324 5306 5741 5311 32274 32270 32235 32269 32195 32259 32196 32237 32236 32197 32348 32345 25995 33505 28195 28197 28196 31967 28023 31971 31970 28022 24784 23504 30787 33335 30794 33466 33468 33469 33462 33465 33459 33470 33461 33460 32094 32095 32091 30788 33464 33467 31090 31092 31091 32102 32090 32088 32082 32086 32079 32081 32089 22018 24613 22003 22004 22009 22011 22008 33337 33336 32080 32085 23383 23398 23388 25993 23384 23391 23392 23390 31397 30795 31374 31426 31425 31427 31422 31424 31428 22012 23389 22010 30786 30789 31431 31430 31429 31989 31988 31985 32166 32169 32168 31439 31052 31379 31975 32806 32809 32810 32805 32808 32807 32802 32811 32804 31376 31377 32815 32820 32819 32821 32165 32816 32813 33355 33356 33357 31433 30785 31381 31382 31440 31436 31441 31435 31977 31976 33330 32160 32159 32871 32154 32771 32769 32772 23404 23420 32762 32759 32761 24800  0
851.77/851.82	
851.77/851.82	c Core has size 12363

OK	12363

runsolver Copyright (C) 2010-2011 Olivier ROUSSEL

This is runsolver version 3.3.1 (svn: 989)

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-3501457-1308041966/watcher-3501457-1308041966 -o /tmp/evaluation-result-3501457-1308041966/solver-3501457-1308041966 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501457-1308041966.gcnf 

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: 5.72 4.19 1.83 4/189 3841
/proc/meminfo: memFree=30819912/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=15704 CPUtime=0 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1283 0 0 0 0 0 0 0 18 0 1 0 915797569 16080896 927 33554432000 4194304 4365125 140733597109200 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 3926 927 253 42 0 1074 0

[startup+0.0178761 s]
/proc/loadavg: 5.72 4.19 1.83 4/189 3841
/proc/meminfo: memFree=30819912/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=15860 CPUtime=0.01 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1599 0 0 0 1 0 0 0 18 0 1 0 915797569 16240640 1175 33554432000 4194304 4365125 140733597109200 18446744073709551615 270613110528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 3965 1176 253 42 0 1113 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 15860

[startup+0.100859 s]
/proc/loadavg: 5.72 4.19 1.83 4/189 3841
/proc/meminfo: memFree=30819912/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=19824 CPUtime=0.09 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 4385 0 0 0 9 0 0 0 18 0 1 0 915797569 20299776 1969 33554432000 4194304 4365125 140733597109200 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 4956 1969 262 42 0 2104 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 19824

[startup+0.300827 s]
/proc/loadavg: 5.72 4.19 1.83 4/189 3841
/proc/meminfo: memFree=30819912/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=24760 CPUtime=0.29 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 5614 0 0 0 29 0 0 0 18 0 1 0 915797569 25354240 2996 33554432000 4194304 4365125 140733597109200 18446744073709551615 4262107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 6190 2996 262 42 0 3338 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 24760

[startup+0.700759 s]
/proc/loadavg: 5.72 4.19 1.83 4/189 3841
/proc/meminfo: memFree=30819912/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=30740 CPUtime=0.69 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 8935 0 0 0 68 1 0 0 18 0 1 0 915797569 31477760 4501 33554432000 4194304 4365125 140733597109200 18446744073709551615 4247612 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 7685 4501 262 42 0 4833 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30740

[startup+1.50062 s]
/proc/loadavg: 5.72 4.19 1.83 5/190 3879
/proc/meminfo: memFree=30880748/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=55092 CPUtime=1.49 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 30032 0 0 0 145 4 0 0 20 0 1 0 915797569 56414208 8991 33554432000 4194304 4365125 140733597109200 18446744073709551615 4247545 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 13773 8991 262 42 0 10921 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 55092

[startup+3.10034 s]
/proc/loadavg: 5.59 4.18 1.84 5/190 3879
/proc/meminfo: memFree=30827800/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=107096 CPUtime=3.09 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 71786 0 0 0 300 9 0 0 25 0 1 0 915797569 109666304 21263 33554432000 4194304 4365125 140733597109200 18446744073709551615 4291528 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 26774 21263 262 42 0 23922 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 107096

[startup+6.30078 s]
/proc/loadavg: 5.59 4.18 1.84 5/190 3879
/proc/meminfo: memFree=30559304/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=239648 CPUtime=6.29 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 139902 0 0 0 613 16 0 0 25 0 1 0 915797569 245399552 36964 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 59912 36964 263 42 0 57060 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 239648

[startup+12.7006 s]
/proc/loadavg: 5.46 4.18 1.85 5/190 3916
/proc/meminfo: memFree=30403216/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=239648 CPUtime=12.69 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 144868 0 0 0 1253 16 0 0 25 0 1 0 915797569 245399552 40268 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 59912 40268 263 42 0 57060 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 239648

[startup+25.5003 s]
/proc/loadavg: 5.14 4.17 1.89 5/190 3917
/proc/meminfo: memFree=30491228/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=239648 CPUtime=25.49 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 144937 0 0 0 2533 16 0 0 25 0 1 0 915797569 245399552 40337 33554432000 4194304 4365125 140733597109200 18446744073709551615 4244758 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 59912 40337 263 42 0 57060 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 239648

[startup+51.1008 s]
/proc/loadavg: 4.75 4.16 1.94 5/190 3954
/proc/meminfo: memFree=30501280/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=239648 CPUtime=51.09 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 145282 0 0 0 5093 16 0 0 25 0 1 0 915797569 245399552 40682 33554432000 4194304 4365125 140733597109200 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 59912 40682 263 42 0 57060 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 239648

[startup+102.307 s]
/proc/loadavg: 4.38 4.14 2.06 5/190 3965
/proc/meminfo: memFree=30425472/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=226468 CPUtime=102.29 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 225082 0 0 0 10202 27 0 0 25 0 1 0 915797569 231903232 48411 33554432000 4194304 4365125 140733597109200 18446744073709551615 4250097 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 56617 48411 264 42 0 53765 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 226468

[startup+162.301 s]
/proc/loadavg: 4.15 4.12 2.17 5/190 3966
/proc/meminfo: memFree=30362244/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=302360 CPUtime=162.29 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 389493 0 0 0 16180 49 0 0 25 0 1 0 915797569 309616640 51871 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258260 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 75590 51871 264 42 0 72738 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 302360

[startup+222.3 s]
/proc/loadavg: 4.11 4.11 2.30 5/190 4005
/proc/meminfo: memFree=30440828/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=311780 CPUtime=222.28 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 624866 0 0 0 22148 80 0 0 25 0 1 0 915797569 319262720 65998 33554432000 4194304 4365125 140733597109200 18446744073709551615 4250159 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 77945 65998 264 42 0 75093 0
Current children cumulated CPU time (s) 222.28
Current children cumulated vsize (KiB) 311780

[startup+282.301 s]
/proc/loadavg: 4.11 4.10 2.40 5/190 4047
/proc/meminfo: memFree=30356776/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=399728 CPUtime=282.29 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 853500 0 0 0 28119 110 0 0 25 0 1 0 915797569 409321472 71250 33554432000 4194304 4365125 140733597109200 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 99932 71250 264 42 0 97080 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 399728

[startup+342.301 s]
/proc/loadavg: 4.04 4.08 2.49 5/190 4048
/proc/meminfo: memFree=30356528/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=383304 CPUtime=342.28 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 972397 0 0 0 34102 126 0 0 25 0 1 0 915797569 392503296 69245 33554432000 4194304 4365125 140733597109200 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 95826 69245 264 42 0 92974 0
Current children cumulated CPU time (s) 342.28
Current children cumulated vsize (KiB) 383304

[startup+402.301 s]
/proc/loadavg: 4.01 4.06 2.59 5/190 4087
/proc/meminfo: memFree=30355604/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=391492 CPUtime=402.29 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1032619 0 0 0 40094 135 0 0 25 0 1 0 915797569 400887808 70225 33554432000 4194304 4365125 140733597109200 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 97873 70225 264 42 0 95021 0
Current children cumulated CPU time (s) 402.29
Current children cumulated vsize (KiB) 391492

[startup+462.301 s]
/proc/loadavg: 4.00 4.05 2.67 5/190 4088
/proc/meminfo: memFree=30310528/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=430404 CPUtime=462.28 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1045180 0 0 0 46092 136 0 0 25 0 1 0 915797569 440733696 75108 33554432000 4194304 4365125 140733597109200 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 107601 75108 264 42 0 104749 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 430404

[startup+522.3 s]
/proc/loadavg: 4.15 4.07 2.76 5/190 4127
/proc/meminfo: memFree=30244604/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=424260 CPUtime=522.28 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1071015 0 0 0 52088 140 0 0 25 0 1 0 915797569 434442240 74340 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 106065 74340 264 42 0 103213 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 424260

[startup+582.301 s]
/proc/loadavg: 3.71 3.97 2.81 4/184 4153
/proc/meminfo: memFree=30327084/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=582.28 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1112216 0 0 0 58082 146 0 0 25 0 1 0 915797569 428150784 73582 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73582 264 42 0 101677 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 418116

[startup+642.301 s]
/proc/loadavg: 2.71 3.64 2.78 3/178 4178
/proc/meminfo: memFree=30636740/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=428356 CPUtime=642.28 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1113511 0 0 0 64082 146 0 0 25 0 1 0 915797569 438636544 74877 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258107 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 107089 74877 264 42 0 104237 0
Current children cumulated CPU time (s) 642.28
Current children cumulated vsize (KiB) 428356

[startup+702.3 s]
/proc/loadavg: 2.06 3.31 2.71 2/172 4204
/proc/meminfo: memFree=30890848/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=426308 CPUtime=702.27 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1163418 0 0 0 70075 152 0 0 25 0 1 0 915797569 436539392 74633 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258092 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 106577 74633 264 42 0 103725 0
Current children cumulated CPU time (s) 702.27
Current children cumulated vsize (KiB) 426308

[startup+762.307 s]
/proc/loadavg: 1.36 2.86 2.59 2/172 4205
/proc/meminfo: memFree=30895904/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=416068 CPUtime=762.27 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178655 0 0 0 76073 154 0 0 25 0 1 0 915797569 426053632 73372 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258098 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104017 73372 264 42 0 101165 0
Current children cumulated CPU time (s) 762.27
Current children cumulated vsize (KiB) 416068

[startup+822.301 s]
/proc/loadavg: 1.14 2.54 2.50 2/172 4207
/proc/meminfo: memFree=30894764/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=822.27 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 82072 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 822.27
Current children cumulated vsize (KiB) 418116

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

[startup+831.9 s]
/proc/loadavg: 1.12 2.49 2.48 2/172 4207
/proc/meminfo: memFree=30894880/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=831.87 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 83032 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 831.87
Current children cumulated vsize (KiB) 418116

[startup+844.701 s]
/proc/loadavg: 1.09 2.42 2.46 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=844.68 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 84313 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 844.68
Current children cumulated vsize (KiB) 418116

[startup+847.901 s]
/proc/loadavg: 1.09 2.42 2.46 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=847.87 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 84632 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 847.87
Current children cumulated vsize (KiB) 418116

[startup+849.5 s]
/proc/loadavg: 1.08 2.39 2.45 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=849.47 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 84792 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 849.47
Current children cumulated vsize (KiB) 418116

[startup+851.101 s]
/proc/loadavg: 1.08 2.39 2.45 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=851.07 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 84952 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 851.07
Current children cumulated vsize (KiB) 418116

[startup+851.501 s]
/proc/loadavg: 1.08 2.39 2.45 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=851.47 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 84992 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4246826 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 851.47
Current children cumulated vsize (KiB) 418116

[startup+851.701 s]
/proc/loadavg: 1.08 2.39 2.45 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=851.67 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 85012 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4249080 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 851.67
Current children cumulated vsize (KiB) 418116

[startup+851.801 s]
/proc/loadavg: 1.08 2.39 2.45 2/172 4208
/proc/meminfo: memFree=30894872/32951124 swapFree=67052292/67111528
[pid=3841] ppid=3839 vsize=418116 CPUtime=851.77 cores=0,2
/proc/3841/stat : 3841 (MoUsSaka) R 3839 3841 3694 0 -1 4202496 1178920 0 0 0 85022 155 0 0 25 0 1 0 915797569 428150784 73637 33554432000 4194304 4365125 140733597109200 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/3841/statm: 104529 73637 264 42 0 101677 0
Current children cumulated CPU time (s) 851.77
Current children cumulated vsize (KiB) 418116

Child status: 20
Real time (s): 851.837
CPU time (s): 851.814
CPU user time (s): 850.251
CPU system time (s): 1.56376
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 601244

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 850.251
system time used= 1.56376
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1178925
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= 7
involuntary context switches= 1795

runsolver used 1.47278 second user time and 2.96955 second system time

The end

Begin job on node108 at 2011-06-14 10:59:26
IDJOB=3501457
IDBENCH=90001
IDSOLVER=2000
FILE ID=node108/3501457-1308041966
RUNJOBID= node108-1308041934-3712
PBS_JOBID= 13564708
Free space on /tmp= 74032 MiB

SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/nusmvguidancep8.aig.k25.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501457-1308041966/watcher-3501457-1308041966 -o /tmp/evaluation-result-3501457-1308041966/solver-3501457-1308041966 -C 1800 -W 1850 -M 7680  MoUsSaka HOME/instance-3501457-1308041966.gcnf

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

MD5SUM BENCH= 470574876ba067e43c88e0526253980f
RANDOM SEED=204098158

node108.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.820
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.64
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.820
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.820
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.820
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.77
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.820
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.82
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.820
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.820
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.820
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.83
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      30820828 kB
Buffers:        199804 kB
Cached:        1393468 kB
SwapCached:      23260 kB
Active:         691724 kB
Inactive:      1204024 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      30820828 kB
SwapTotal:    67111528 kB
SwapFree:     67052292 kB
Dirty:          110856 kB
Writeback:           0 kB
AnonPages:      299904 kB
Mapped:           9820 kB
Slab:           168412 kB
PageTables:       5696 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   624384 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= 74136 MiB
End job on node108 at 2011-06-14 11:13:38