0.00/0.01 c MoUsSaka vegetarian
5.79/5.85
5.79/5.85 s UNSATISFIABLE
1122.73/1122.74 c Core is minimal
1122.73/1122.74
1122.73/1122.74 v 19043 24152 5326 7687 3167 23619 17852 1909 16692 6044 19439 11639 13577 957 5548 12864 21169 12637 5201 3286 12316 6654 2307 3197 21493 18581 15705 7471 4289 11842 4117 7244 7505 10449 14303 14894 15053 24639 17281 19137 993 13720 5803 13623 8075 20459 8068 14789 16824 13754 16548 1351 7741 6787 18177 14801 1104 10369 12872 2320 4324 18255 721 3984 18772 4961 12816 22466 9332 9659 11214 8296 21051 16835 9094 13073 17768 19389 470 2977 12590 22198 10689 4805 10419 24853 14581 17477 21873 12953 3654 4800 868 1405 12229 18559 6858 23653 607 9616 19115 12266 13609 24988 20328 11948 328 14728 4053 2581 13458 5500 1794 20180 325 1348 17879 9088 16904 2065 20446 12275 19324 21426 17073 21431 15975 17404 12733 12671 9347 9313 6689 20111 22819 14780 14554 17566 17591 10191 5763 15413 22235 15760 9453 16270 1137 10293 5693 981 24280 4858 14547 10398 20364 23436 4879 11674 23829 22057 17685 16446 6500 8970 22093 18378 3171 2792 24584 14413 9883 10457 23756 3702 17568 2523 738 258 19259 467 7385 16717 10149 2488 11315 14869 8402 15505 6329 23111 22178 1821 23885 10605 19621 24334 4813 8050 23688 6801 16790 8011 11405 2778 5501 19319 18236 23398 22939 1971 17111 1103 21871 9920 22668 20815 20232 16806 18374 18851 15488 11019 18327 1660 24743 22168 24954 3324 17576 13085 6050 16838 14502 13434 12042 20521 6602 17497 16257 17052 7862 13319 7383 8325 22205 22497 7749 13407 20825 8947 11504 24077 22183 3355 13602 8125 16379 16377 368 16364 20360 13709 16315 17474 7860 6798 21332 11718 20064 6997 10397 20955 15221 12633 12139 8568 23977 11950 23851 8168 1090 11125 3642 20936 15224 9678 3672 5379 17939 6122 22356 10809 5048 22215 6335 9021 14617 16973 21757 8096 13573 19292 12714 2179 1751 13370 6690 23373 19235 20994 17603 16262 6442 9636 10754 7825 4963 23918 9683 11720 23238 13848 6218 7231 16889 8280 3405 1583 17704 20304 9253 19915 4563 10378 7805 24713 17569 10634 4540 3097 7115 13636 13794 11665 9784 2252 17825 645 14585 3887 23167 1645 21747 16576 11238 3428 10114 9952 10435 10162 16476 9522 2858 15418 16247 13022 21231 23494 12937 15922 16630 13906 19635 8240 17841 19416 18506 7458 7265 19468 19521 24796 9875 5191 4642 24145 19338 336 1143 15545 544 21383 3848 3947 13014 9936 16361 1824 1852 7175 22475 3571 4533 16902 4025 456 23376 18801 3951 973 14415 3831 13798 12538 23365 19628 4570 6793 9751 16259 4462 6511 6205 11442 23913 24845 18079 9698 21637 24907 13993 21654 3146 12223 10319 22418 24772 16454 13996 15419 6239 190 15853 8590 14536 24739 7684 9351 22365 5920 18463 17170 9944 24266 2415 24708 13963 484 15165 13248 23206 16955 16773 8063 19967 23710 2817 1186 11339 8401 5282 21477 13620 15523 14866 23655 23466 16182 7577 24393 8903 19869 19679 8740 13859 12853 5012 1171 21304 16715 8167 21821 8094 14091 21308 24240 23035 572 6032 8800 18459 7728 18072 14103 8521 14299 19054 351 13997 8922 15560 7812 12741 12613 13789 6633 19434 19302 12534 5338 24164 6342 9672 23627 12298 3816 21544 24329 10075 8289 2728 12744 807 12055 23380 18674 9931 3813 7022 4840 15302 11148 20178 23006 7290 329 1872 7643 840 8578 12870 11801 19103 2991 23145 7014 5717 22716 3657 23358 23230 9108 23641 13402 9119 4130 23139 18023 3095 1766 12686 22316 5707 4 2402 2823 834 13837 2856 17908 16167 18990 10851 21 14995 4176 22421 16326 23220 17719 24972 2139 3903 7570 18676 61 10977 6127 14469 415 12666 8400 18680 8894 6539 17228 23887 9175 4868 2233 3114 10171 5051 19022 13193 10881 21462 15532 5199 20885 2643 20540 16344 14635 11296 7215 14805 10909 1449 2501 5480 16233 13644 10161 7612 15080 4610 1110 20294 11227 15835 14360 4157 1162 24442 16574 23381 14095 18764 20225 11025 10480 7520 15912 895 16206 3254 314 20292 5350 19728 7256 7292 752 7254 20677 2374 18060 18696 20560 10630 10123 24534 9690 12692 16147 3086 18008 21135 23521 10290 6430 19928 21323 6903 16939 6480 21577 18033 12210 11685 1560 13637 17897 1958 11828 18702 10720 6888 1970 15268 4010 19066 2450 12354 745 9075 8907 22771 12059 22013 12665 4635 5225 22981 8500 3323 7320 14037 20121 7607 7338 18221 18781 6605 13395 2543 11993 8384 1773 9476 11378 2929 4793 23673 3712 7191 6284 22910 19430 9012 9723 6407 1182 20617 20702 5302 14676 21274 14560 11090 15297 3996 3671 20929 206 4431 12265 21638 3091 9915 21668 11332 5170 12238 19140 22208 818 18376 17730 20937 6649 18770 19111 22907 15329 9596 22082 17003 17050 21453 8685 21180 10277 22587 10824 10 12955 8966 20084 6994 21151 16892 13135 22116 1161 15034 16911 4369 3666 9703 14056 4310 79 10244 6413 1556 11053 18845 1379 7694 24514 16176 22203 3949 22144 16075 17911 16906 17550 7717 5057 14748 12749 15330 22068 5391 16068 20056 8117 5401 2539 13178 3959 10206 7672 18413 10262 958 9582 10208 10656 7141 11926 21965 10350 2948 23437 13905 21481 12738 17660 18899 8442 5583 20449 6135 6577 2610 22991 20573 20087 24149 12013 22895 9757 19940 4294 20811 10495 753 7552 24826 19646 8695 838 24116 5704 20330 9465 2895 4780 10552 17484 11199 13393 8105 8696 21125 11702 14136 16370 16868 23488 8109 5187 5069 14023 2396 13777 11782 12863 19142 8732 19833 17024 24068 15496 2675 4509 25018 17999 14605 24567 16072 24599 20236 22788 24779 8623 24308 24237 18097 1883 17399 11390 1350 4756 9858 6119 2329 8978 13271 21643 22542 5886 21485 12966 10724 2428 16977 7438 13159 14711 2645 6490 15904 21425 3278 5577 14840 1769 934 2059 19052 17075 6411 20879 25059 18001 23704 11209 17839 22487 1634 8528 11366 11000 22364 22733 4994 17158 20602 21807 23497 4054 22290 15879 13517 1985 16631 17146 12390 23715 15303 19304 15556 6389 6176 24366 10221 18565 16768 13815 7793 8886 8424 24865 7596 10714 219 22741 7091 16218 14266 19981 210 21615 20163 9227 14401 228 16102 20254 6038 6093 24363 16983 10184 8333 11156 9824 17584 4362 13424 21613 23729 17097 19775 9274 12184 18906 1310 3825 21582 6875 1336 20984 12212 4760 8252 13645 9980 4051 11629 12372 18401 4875 12319 18106 21235 18385 13703 13270 16534 19095 13106 22845 5885 2441 16397 7961 21798 10623 4572 21761 3581 16469 24430 21368 19705 20585 9840 14847 6910 12186 19947 23132 18614 11622 604 3763 7298 13511 25040 24397 16543 17033 2913 13836 22355 6128 2674 19173 15838 20224 8504 13707 23995 7522 9458 1763 11190 9146 16332 23975 19697 16528 21012 23818 16987 2771 23355 13429 4143 23630 7271 1624 10469 5131 13486 24078 5002 23772 12557 12082 10278 15185 3545 9282 24136 20150 18338 20318 7261 19171 21930 5748 12902 13904 6226 2346 6082 20366 9670 3144 16222 11848 2219 19406 24114 14713 22189 14664 4087 4099 20744 8873 12246 17156 1378 2911 20859 5955 15088 15044 10715 20704 16125 6412 2808 1181 7361 6804 15104 12746 23473 14589 1277 17410 20217 7270 10305 22153 23599 10420 13331 19317 15471 18126 8327 4290 9707 11833 10430 20922 17475 1470 14321 22879 10356 18550 21580 20628 9372 9241 17934 10418 16463 24609 9081 21734 9483 24966 8043 9427 17243 9370 23037 4271 797 16429 10136 4616 13978 1190 19064 18940 8172 18540 2667 14414 21703 10867 254 19023 22177 5786 13624 21993 2034 14562 21322 6372 24652 10167 21059 19431 17045 14523 19924 18318 22104 12537 5349 19405 18146 20850 3057 8279 11920 22393 11676 17981 10488 16256 10878 9595 17319 8724 1734 14261 13176 24378 388 2715 8581 10320 3793 6309 7702 12224 11751 16567 8838 17803 13211 24489 6822 17728 11770 8244 935 22808 952 24823 2521 23836 20941 8644 23831 5904 10863 2754 8658 13722 22645 11977 24323 9409 13005 17458 3508 24377 8723 4474 7324 10453 23338 12065 14797 20337 20031 14982 21795 11427 19890 6088 12093 13693 19452 5562 898 5737 6158 6837 9982 25050 24553 14701 6561 2821 23894 18600 19483 5322 3589 5971 1463 23872 21158 17789 3972 8150 8042 1353 23578 9355 20219 504 3909 18779 12972 15081 6698 23236 21714 13384 3240 12376 15828 13300 8772 4619 11495 8066 24344 5768 6881 19584 7827 20147 2440 5484 998 18643 14459 18761 12756 16675 14746 20181 3013 18094 7056 7950 22599 23258 14281 1039 22035 17487 5020 8064 13037 17814 24715 18193 1242 20572 9160 9179 21432 16071 12110 3956 18288 21479 5575 22884 14804 3290 20345 6270 20024 4843 14446 18706 10032 45 3689 18349 21710 6816 15219 14908 22560 974 13689 9820 22531 9796 19309 16568 8438 1079 5699 6075 3379 3770 1475 11711 6151 17129 12760 21731 24139 24044 15813 20291 15660 24499 10712 7082 12983 17519 14616 15957 6589 23807 24951 14087 16958 13606 19968 5284 827 4429 15319 12461 2852 7962 19289 18574 5142 18879 6306 20728 16277 23468 19961 11650 10122 8059 352 7377 22423 21607 21848 6847 15609 9246 21985 7931 15541 11610 5475 9630 2162 7945 23199 6143 14939 13358 18160 18966 3025 3078 8206 22683 19009 23126 2549 684 8565 17415 12740 16971 5220 7248 20998 21116 1722 6281 16009 8729 2331 24137 22123 3900 13891 14573 19815 14549 9710 12503 9011 20599 1737 15008 15000 23470 19682 16143 17652 7715 6725 13999 2120 5828 22199 3183 2355 8888 23780 7645 3019 21822 9500 1095 4389 691 23826 1086 17824 16311 19260 2618 3152 17583 22528 22950 20824 778 18920 13445 6009 24903 20429 10768 2832 5192 17335 24962 17505 7131 99 9778 18117 676 16482 5058 3894 6713 3052 3539 6328 24838 8278 23144 19779 4410 7425 23061 1529 13516 6877 10401 16750 7023 14773 221 6582 11968 8355 21531 15903 1465 8203 519 19275 3920 21983 5919 24867 18320 7124 18129 3088 16152 22557 13790 22118 3741 7414 11274 21682 5621 19237 21706 16688 9711 6264 5060 17280 5972 1080 11055 10745 11563 20336 6867 19794 21857 20956 11063 24731 17952 5901 21143 9114 18389 15583 24150 22922 13604 15577 20223 22650 21764 10370 17021 17972 19247 1037 10883 10775 12438 24432 12365 1262 3648 3067 13995 2849 13675 14466 8819 16626 4972 21746 2626 3994 19550 1283 7444 17317 5678 4960 10487 11086 22468 14491 5378 19839 7974 23448 10945 23822 18105 8016 14279 24031 19956 10010 16561 25007 7821 10865 17387 13009 15460 13317 14472 18522 12425 10113 6179 20305 2100 5183 22790 16661 6979 17249 14417 22196 16069 24414 8179 17338 8437 4754 11741 6099 870 15986 3211 4286 2688 213 22180 11552 17239 3402 15929 24808 24133 12959 19333 17612 13612 23543 2676 22611 15331 4038 8161 23363 9804 18757 15431 1126 11762 12163 23010 6929 21022 10727 20092 11744 13512 17581 1551 24394 22880 18364 11079 18447 12310 4975 9023 2960 3264 10064 19486 24953 24716 18720 19714 10110 16243 22241 4154 17748 17985 18189 11959 13346 2640 10896 12999 1229 13679 19343 8569 14348 20041 11522 23631 19204 14412 7810 18358 5202 10063 13717 17860 18272 8704 22018 18466 11396 17829 23593 22395 1876 12885 2802 9544 4970 20771 10903 3054 16310 16694 20034 1443 12643 12320 12961 21689 6449 24687 22293 2753 14492 7951 1702 4733 100 12454 10615 2989 20386 16245 9157 10481 14174 23639 13925 14277 8860 6802 6895 15342 1118 10829 2069 3214 6446 2927 5916 4131 7422 24408 15567 8753 21251 4646 19642 14644 9449 9879 18724 20831 9925 20262 18807 24935 8115 20355 18606 17110 3077 9597 16826 22820 13930 22150 8904 15163 7492 24784 2774 19300 24238 18439 2658 21474 10351 12485 23331 24008 1495 2612 2217 13100 7613 17617 16458 6203 24938 13325 16839 9203 3352 14902 12453 13025 14210 1926 19712 17464 18212 5954 10306 22530 14350 24283 7746 12488 17044 5504 21388 24011 23603 4171 20418 18811 14770 23855 5150 5951 9886 8862 9806 13895 15120 19334 9243 23862 12910 15549 14695 2699 2482 24611 10645 17186 8880 5386 12098 13532 3170 12763 21496 11347 7299 1991 4971 24900 3008 24762 13378 13417 10951 6838 14445 15015 14744 20722 18970 1934 7713 2633 19307 20675 9376 23741 12745 7581 2060 18919 19587 19696 24287 7179 24810 24108 19301 17554 16864 10668 3583 14989 8831 12370 15198 5341 24702 24254 4449 11572 14354 655 10066 14965 669 9245 15493 18479 17739 19828 22648 4663 10559 18070 20762 18932 7940 16612 22848 23239 17018 3498 12434 14598 3356 21612 9165 6334 5619 1946 5479 23572 2339 13989 12130 15933 17390 14423 20475 8962 8177 11354 15277 1376 9993 9436 24063 17642 10530 10472 3363 6933 10938 10936 2959 13293 19327 23353 19224 2394 24086 20286 12865 20676 9490 5576 14002 18911 11654 16381 7433 14133 7732 3643 7754 21329 24821 5474 2283 12103 2271 1752 21766 23040 2195 13272 22556 10601 14063 16681 17670 847 7693 24793 10763 8792 22077 21302 24544 23299 22526 14102 6010 15802 9583 1302 16015 19901 18813 18206 24065 5900 11333 16359 7549 14613 12403 561 13171 4455 23911 19891 24444 4871 4958 18662 17351 11436 14232 24481 1487 14537 15843 3758 4667 11568 6586 19392 9816 3582 15115 24502 16821 6006 23901 15882 3876 12752 5980 3215 6455 23914 1525 10637 13985 13115 22858 15915 3440 19233 19007 8664 17220 14837 9468 9520 19035 9631 20450 23919 16124 500 1245 9085 20973 16747 3617 19923 4092 7311 6276 7274 20061 15172 17260 13185 1950 17091 21341 5464 12540 21150 2225 22799 12926 22603 18697 19509 10315 20733 1965 2451 13860 9943 24513 9696 6670 16166 874 22383 10357 22698 13197 2430 11244 9125 13711 10324 7809 14159 16727 7112 3465 23500 23531 19387 11535 16109 16759 12941 15417 24660 12660 19648 12820 22665 9681 9569 3366 7975 1678 19244 2901 6544 1254 19670 15863 17876 21294 21722 13286 20357 4602 9657 2173 11677 15404 19972 5040 12409 21866 18228 68 1065 15822 5747 18645 14659 1989 2876 23874 5004 9737 22956 11272 7572 10734 6303 18747 13792 17760 13953 12289 8965 6474 24999 15112 12723 4134 6124 18182 4390 11287 6930 23638 56 14219 13691 20846 23184 21279 23987 7042 1848 3150 11514 24507 15710 19776 3275 24839 3360 15776 4027 2538 18723 5995 11085 18131 16857 22617 5708 6174 10443 22920 16200 17294 10325 1640 17920 19821 2759 9345 19910 7001 10675 1102 13433 10217 14540 18192 21741 4551 7287 1566 19219 6138 9632 21671 20526 1187 10345 7109 4103 5157 6674 14014 619 17298 7051 23021 23394 20327 1548 1057 20551 24220 24019 21086 5898 6298 2291 7597 8794 992 18502 18542 23520 15032 5128 10353 10140 17380 20532 15246 9554 23118 12154 17468 1341 24484 20442 23683 1392 13569 10560 5908 20088 12825 18499 2517 15791 1123 10590 2495 11127 9223 3347 1066 1237 24246 23767 17913 9807 22219 15107 507 3597 19157 23298 324 19771 9133 17644 5172 8822 590 3242 16213 13049 24192 17182 22604 19617 17580 12886 8984 14515 21889 13164 15746 13851 13324 14239 16740 16842 7139 11192 2942 14216 5359 19274 20736 11096 6899 19382 11314 11906 6416 19726 16500 3235 15286 24096 4615 10680 22054 19005 14385 17422 5915 16884 3272 15648 3794 9294 18818 11640 2254 23935 5996 20574 20727 15305 6771 6669 21628 4724 1997 5287 8170 21272 19028 20701 81 24399 10179 20153 7013 19941 8376 4758 8537 21883 14592 6615 22 12980 17447 4492 13959 10116 10452 21137 3414 8866 1203 24958 1252 2888 2436 4101 6453 23348 18151 15926 9299 22529 3548 4139 5968 2093 13642 10233 17123 3808 4964 5155 21172 16867 5610 23917 5848 19934 22230 20909 24858 23734 8976 21624 6333 15907 4643 12386 2955 6001 23475 1390 19601 7477 4932 13200 9029 22785 10832 12421 9124 563 23592 10251 24333 13847 24325 3694 9691 10525 20497 2953 4778 12075 12668 10848 17093 1875 21278 17793 2216 23557 13262 12388 16169 199 12097 20788 1807 1116 21031 5582 14200 10052 7867 21904 9104 5147 11058 21931 1963 6004 2914 14988 4031 22359 3285 1814 9073 11816 25037 18326 3174 4824 18922 6786 15603 4066 16666 6499 5569 2132 15976 14846 1285 11373 24912 5397 22133 5354 8750 18762 9058 17512 2041 14897 19131 16965 22952 9822 14255 18904 8348 21173 22039 2907 6990 2035 8748 2084 18176 1902 1654 14795 14733 11226 15945 10568 2546 13110 6104 16836 7906 12598 11252 10822 13885 6513 14409 15682 4435 19554 4901 244 3065 15711 17499 14861 11149 11507 23089 8236 1947 15831 12799 18860 16620 7099 1532 19264 18651 15578 11662 2902 22425 19158 6160 5361 12905 7052 19306 20935 15091 10620 6718 24163 16040 2590 10363 18624 22052 20202 11408 2789 13187 24578 2204 21469 5001 2466 24125 21927 24483 12639 7921 6154 7588 11697 1633 13252 15825 17806 6015 23339 12205 10001 4898 12554 13618 15470 8952 9216 18481 16921 2341 6149 17346 3473 12245 9825 8330 19454 3374 5618 10994 20887 23240 13308 7293 1526 14579 6945 10008 12313 8162 22482 7928 19689 1728 4593 4853 10253 13838 8551 21811 6094 14776 14114 21176 2537 7205 17416 18424 2002 22960 9187 10074 125 23551 10036 23735 4950 7920 7662 20517 22912 5054 22727 7791 5218 21685 8508 2312 12294 16085 15702 15983 6083 20882 18639 3670 17641 19201 16076 22328 20900 15050 17429 4670 9217 8637 8869 22778 11785 24117 11972 3035 9091 5887 11256 13309 22262 8835 10485 5453 4885 22825 2267 8465 23412 15695 2567 19962 5224 17671 17855 24282 1200 21060 19380 20790 4069 11884 24759 4546 7762 14009 18270 17797 5314 3007 16660 15516 7560 21346 21006 4632 9926 4549 24050 20911 13173 9045 20564 7976 14416 23242 9946 121 16489 22670 18442 18002 9655 12279 5804 13774 24228 10716 14293 3525 4430 20204 23379 21570 17522 20777 13313 14568 5805 3122 755 7140 2066 16445 22690 6382 1267 20709 18893 20199 16314 24206 18847 12514 1538 22708 7744 16394 6756 11485 7220 19386 24273 6963 16607 482 150 10892 11398 14845 13183 344 32 12019 2438 9421 12766 7680 7861 18402 2270 12605 4787 5318 17041 1221 22697 685 10866 1309 22719 3194 9764 22237 23819 19073 4948 7930 17951 13646 1049 17310 10612 3568 22576 22901 4740 4867 965 14686 4957 23121 14008 6034 8456 13348 19782 9964 5902 20835 20851 22699 4453 16281 3239 3551 6735 24873 15772 13681 2164 8490 6600 17834 9439 16600 5102 11045 1409 17950 20545 2841 4694 241 19542 24113 6812 18276 7716 10792 1726 20754 2290 22867 12561 20932 14344 18323 3003 13021 19549 15821 22902 4155 12515 5660 10814 17264 10365 22252 10984 2560 1744 14434 24005 14936 4412 13590 14005 19979 10445 15771 21365 24084 10402 19092 21266 23020 18832 23247 14947 10762 13485 4723 22515 23433 15719 23485 13887 17588 13650 22935 3928 15958 19470 19206 6426 2376 16232 12834 17787 2156 17457 14145 16515 16316 16170 9716 4043 20949 12301 20119 3274 762 6512 19011 7519 15045 8767 4419 3317 24800 7202 7718 12132 10929 12815 8008 8130 14125 24438 13529 11771 2984 12696 5384 23522 11544 19002 7706 3075 16307 13478 5290 2324 12813 23725 16756 7932 12716 17800 4355 20126 5416 15304 4357 10793 23429 15237 11220 15468 4676 2532 10563 16410 23502 11117 24200 3797 18685 4280 16438 2840 6125 1430 14975 9141 12858 5685 12123 4703 4234 21940 23056 2897 5637 23687 18062 941 5942 14543 20536 4547 5882 20138 13347 1632 16177 24209 11707 1307 11508 1396 666 13793 8211 17889 5400 21957 8322 16996 24138 15016 12877 3466 1628 21049 23509 5910 13567 7343 9069 9857 12355 13033 24720 62 19514 1345 1830 4039 5778 688 11721 15236 734 363 9887 8517 21291 16047 7889 7472 22929 23357 8997 6348 10100 6758 10512 21129 9346 21618 494 11656 17651 23278 2548 14088 20810 17342 4255 12924 15871 5186 23069 4920 3826 17056 14555 9268 22760 24121 2091 6864 19650 3744 15022 4527 20796 9801 13477 8509 15887 8721 17107 548 20971 23870 11460 17409 19619 15106 19128 5239 2868 8268 18210 20928 424 14497 23762 10178 16724 19381 24813 11129 2017 23771 20375 8999 1454 16599 17042 6219 14915 1124 17155 10461 16497 17643 6936 22959 19029 19989 14215 15454 9971 14819 24429 6025 13559 5258 1382 9143 12866 6563 7219 3814 1092 1791 13600 12685 12037 19855 21707 6071 1617 23672 18267 3469 15914 8131 7342 478 23897 18453 16812 14678 24439 16816 19853 2522 15923 2106 10773 3313 3999 24814 19296 11609 7616 12649 8304 22034 3335 1673 19184 5589 20664 4046 23537 22072 7817 9030 19364 10748 7093 17703 142 1887 7049 17267 250 9763 12501 16547 20861 7212 7990 13713 802 5015 24418 15858 23480 19044 9648 7563 13613 2484 24540 4003 9180 17358 17917 21661 24274 10852 23262 18510 9949 9190 115 15134 14739 18089 5075 6913 21646 10377 2292 7868 12881 18803 587 950 21763 18649 16587 9862 12873 22892 3127 6145 22344 310 20426 17907 22680 19086 21602 16954 12356 21623 11029 3697 11753 17673 16157 13264 9767 2274 19558 3120 1101 12967 16432 6060 19781 9529 18823 4142 21658 2264 23226 546 24482 21683 5018 3993 14738 9548 9528 24404 1448 4884 24059 8418 8670 19332 14163 23753 21898 8113 22966 808 17715 20206 23586 22674 5206 3125 3068 20646 4512 24932 17818 726 7328 18470 11233 24473 15169 19396 17283 17133 7081 25009 20313 2273 19899 23313 4937 20090 19407 8983 20203 3426 12204 11521 23555 19316 17538 14878 16034 18584 5817 18816 7289 18488 13786 195 11136 16251 1320 22855 8799 3308 1585 2748 18037 8529 9623 24594 20112 22110 23102 14972 8927 23095 18732 13122 3330 8020 287 16144 20480 22155 12971 18446 14451 4104 13956 11617 5578 768 49 24569 21207 13616 3011 5792 14798 6252 3970 2044 14052 23439 24517 12826 22630 15582 2199 16633 23880 3195 1716 8673 13733 7451 4816 10755 2048 24058 18835 9259 1239 22729 10194 17895 2833 7557 11614 18864 839 16282 9318 19448 10160 12831 20581 4680 2237 23329 18927 21846 481 15651 10964 14471 7850 9451 17498 15686 1899 18793 19494 6429 12629 18802 6868 21306 22139 21523 14538 1542 3375 17163 18528 3995 24668 24198 23371 208 11815 11819 9572 4804 4000 4574 980 1015 11275 6779 3484 11874 7445 22979 22931 5735 8837 21156 14829 5309 1052 20085 13557 22476 3542 20095 24606 11653 18263 23294 16299 22037 7273 11501 2873 9759 20408 21208 2458 9549 8092 12395 14500 9407 2570 17638 13339 13659 11461 12439 19480 3897 23823 6148 18262 17203 21670 11325 8243 18632 20194 13928 4097 16003 13585 19844 1509 11809 18968 23748 21621 9261 24189 14574 5696 3005 2594 20246 397 17460 9832 10205 10970 3039 5250 13534 1471 17961 23033 11264 214 3504 14139 22221 7133 3155 15554 21098 24326 17616 7227 21369 9561 24271 17437 13562 20765 22874 17459 17069 14476 17562 17083 23077 20156 1720 18711 18017 11426 6645 11107 4241 16769 4617 6684 14180 5420 12445 2 4177 20543 6315 14337 5243 18532 13712 1388 1400 9575 20650 5315 4771 7151 18886 5395 16901 1266 16510 24887 6386 23755 11619 4122 3001 1139 6706 13656 19123 15283 5811 4187 10746 12378 21222 393 5652 15415 3041 1853 9004 9144 24081 14170 9788 18891 20444 14181 30 2985 10503 4110 13900 22227 14236 6655 6717 831 11101 12921 20414 13597 5091 12731 4365 21853 3478 20022 22041 22226 22079 18925 11112 7567 23245 18789 21594 21284 22501 7998 3187 16516 573 6919 5286 15234 16115 3216 1783 8879 24014 11601 1236 6011 5507 24768 8895 14755 10002 18281 5674 7550 1292 4883 1119 1314 23307 24355 25003 4566 6230 16777 21893 7532 615 21711 114 2947 17625 7443 10999 20626 6679 8936 13855 22266 17113 11475 6981 11891 6556 7238 11 19331 3958 7561 19639 11761 17823 2071 2244 12206 4371 1595 19463 22184 21805 13757 6068 4014 18722 1094 24396 16033 400 3207 392 20028 1225 3101 12191 3886 3209 21358 22853 22509 133 20515 16734 15867 20394 3026 449 15679 16088 24693 23187 10805 15650 10808 1005 12978 7795 22872 19360 17139 21010 1210 21667 7913 20843 17140 23204 4451 13018 9585 14496 23471 19114 17884 3145 5325 9384 10678 14077 10726 22673 24184 20044 19611 15231 14539 21110 2844 14893 11896 6975 5079 5221 5451 1641 18231 17115 18735 6574 16651 23540 19488 10550 12291 15135 9995 22537 19373 19750 7575 15151 12552 6026 14053 9095 6532 20520 3766 10538 20379 12147 17495 5680 18161 6817 19513 14440 20303 17561 19873 18568 24236 20468 13506 7250 23709 7952 110 21301 2696 327 21882 15889 10738 24707 14064 22686 15287 23395 9109 12969 10739 10972 24560 2235 18959 7068 11294 14315 9331 22898 24007 14097 5595 22053 6940 15125 12200 23886 6265 14280 2126 6235 3821 15608 5999 6042 17265 10580 4886 24908 2511 19020 6404 23963 14561 14384 3084 8005 919 4774 9988 580 8381 23022 6681 8200 6331 13114 6123 3154 20580 1450 25054 23749 11724 2240 9071 12852 12837 7076 12318 18215 21000 24030 20437 5709 6815 13799 9383 21719 21293 16643 4384 17046 21720 5332 5063 16798 13380 17171 11945 24088 1272 21863 9667 16324 7337 17207 15325 10884 6274 3700 24281 21595 9158 24635 20531 18913 11109 3306 19784 8843 20419 23457 9515 4591 1717 24550 19692 16832 148 9919 5522 23248 10526 5746 2504 5084 7599 4738 5232 23750 3083 5719 17915 19192 20280 641 6159 3817 6081 8294 3231 19723 9730 19887 15063 9079 468 10060 10522 1112 10176 6701 15777 17435 11026 22312 16191 23581 2429 20465 1549 5392 9038 3840 14352 1198 21063 13940 11700 2555 8599 18021 1087 18775 22849 20143 15590 4336 15899 19501 8853 15726 13541 23330 10125 7635 15361 19520 9354 8156 15266 23633 21522 24718 5317 1741 11797 20343 19368 7649 4203 18749 22577 12300 8349 9199 8435 11800 5133 23274 16847 1870 1846 14185 15216 11295 16080 18144 6938 19616 471 6451 281 5441 2297 2284 9570 1404 6678 15487 8741 3962 18936 5742 1547 21992 10831 16011 315 22282 1800 6784 185 20185 1684 7339 4288 20627 10311 4895 8818 19758 3805 6172 14986 6368 15447 1004 12011 23768 6419 20719 12505 16726 24071 22535 2760 17316 7166 21236 2473 13242 16959 21918 2568 12869 19000 13915 2862 1343 1 8261 5248 19122 18065 1413 3326 13902 7853 10944 14201 13172 18684 7866 6311 2925 18280 9888 7236 13278 16399 23519 18257 20384 17805 5280 19708 3927 15195 13435 11695 13550 8140 8033 22127 4224 273 9348 21379 24453 16083 6774 17026 3298 24317 8188 2407 1925 15960 11172 13964 7389 7232 10220 2938 20402 7622 11593 14506 15481 3798 18654 9502 2256 15721 6344 12735 19493 10750 14049 4178 16656 16621 5795 16611 15011 16185 15708 9293 8187 381 17270 17686 11237 9464 21406 4262 6120 6716 3161 7832 10545 21500 5088 8511 19686 16814 1630 20621 10915 14760 15170 12014 9835 22784 1859 12251 18782 6803 19251 13951 17784 10165 13303 22271 11927 24888 2486 9325 8613 4024 9852 1885 23936 16443 7966 8343 5529 22015 1193 1081 23003 22471 10887 16863 24621 14154 10477 5512 10835 7155 844 21119 3483 17563 1289 19830 25011 9818 16664 6208 3271 9129 24406 11982 16999 24498 14484 21122 19348 2917 1772 24624 16035 939 14243 12107 16597 8382 11184 5977 3090 19355 3033 10766 15688 8868 4660 6943 24936 14688 18225 20707 21328 4823 13275 20098 2694 20186 14404 5866 10271 697 12545 21083 8357 6355 19882 15491 4205 12416 94 22689 4019 9967 127 2138 5346 11590 11200 3918 7004 12944 14949 9350 9248 13572 11938 4111 4238 1545 10309 21508 4416 18394 7799 12273 16912 13738 12317 14984 14436 9092 4260 10069 11838 6023 24980 4837 19608 4219 6346 2607 20451 10830 1844 13334 21434 991 918 17822 10918 7426 2944 18137 12335 197 1799 17927 11297 6307 14127 17253 15334 12968 12338 14955 16474 8950 16363 22124 22076 10470 9446 15544 13499 9916 4281 12178 13136 3412 15152 7417 19512 23007 23342 21696 12987 18787 19835 24124 13075 212 24472 10989 7084 1259 279 4504 15362 4148 5371 7388 9803 316 24871 330 16625 16673 2613 5182 11506 9080 20250 5173 22647 17898 2485 2692 21925 9534 17592 11352 24664 11071 20613 15284 22071 9587 10118 1055 19503 6234 13369 18870 17312 5563 10364 20370 10825 21141 11757 23760 13454 17772 19789 4557 11621 3600 12181 7586 12700 6147 23356 16467 9606 13965 19996 18682 73 9882 23476 1626 3861 4295 20726 8234 9472 15196 6356 10995 24542 19838 23663 17051 12462 16841 6100 4510 18743 8099 1913 1842 2706 10876 15160 7631 10908 1150 4012 17865 22444 22152 20308 10725 21480 19188 7865 18458 20659 6925 1612 23548 658 14943 4035 12247 10055 18951 4468 17539 8182 23951 8780 12398 9461 13941 22413 20349 10899 20132 16753 12408 11497 19580 109 11558 1725 1329 12516 6632 15932 12149 16917 10414 22807 17918 14958 9140 3873 16496 7188 9591 12509 5269 8147 10811 402 12366 15153 24025 13673 20218 19880 9881 18535 12942 5123 15946 7538 23076 4135 22019 1653 386 15025 7174 8350 1981 14141 19656 9107 23319 5978 3320 9686 14157 14830 2214 18181 8514 21632 22351 22609 21629 2305 8745 3126 20309 14924 19236 7143 12281 14836 3550 15024 5267 2800 193 21422 24221 22320 10326 23964 16583 16461 14101 11185 2650 13267 16771 2382 16274 2420 7956 13551 23840 12964 2573 926 5381 22433 19510 12286 4897 4266 9734 4776 7708 1479 24051 5377 3585 8142 5654 18887 23566 17548 16172 582 7585 23202 11658 18135 14863 4259 18673 13730 15242 15671 17698 22571 18337 13361 11254 12241 10287 9860 3745 13894 16017 20641 10334 11857 1803 12571 16513 13973 20115 8662 105 14363 12814 2593 7194 21245 8226 20252 19241 8285 7410 24864 1771 11810 24365 7246 16471 21755 345 8462 20385 5877 1346 17861 20735 16022 16815 12899 13962 14223 24934 6915 17200 11346 24361 8492 22568 19576 23608 9713 14324 14284 13617 24770 23724 1424 10886 8954 24423 11490 13701 16565 10147 2958 13653 5364 5259 7420 23628 7441 20234 7709 4161 6215 9876 22461 15773 1446 10628 11440 19505 18087 14197 4734 20415 7428 5832 21999 11247 20431 15133 1215 1251 4595 13203 20718 168 15943 15964 806 21514 21754 12288 16389 11059 14758 16149 12772 17322 24416 13911 23495 417 7606 16938 15097 15584 18197 52 4408 22885 10053 19578 5967 16623 11305 4556 22369 21162 23549 12674 13614 24441 17202 3806 24190 2263 20864 8585 11975 4906 18995 16023 16014 11186 18767 4911 12068 11919 10213 9923 6988 9563 10451 19700 21253 8535 24688 3640 8995 6562 22023 19866 14726 5639 10313 11250 9684 2326 22403 5279 22608 19663 10373 12393 346 6865 9900 14036 16974 3987 11006 8145 2004 10108 3824 4387 10587 9145 2506 20412 2582 14944 8671 18771 3579 13215 10836 19444 8111 9960 14171 6731 5481 3685 15004 16809 13284 3802 6652 24602 5703 10371 12150 18171 14084 8032 8845 15755 20746 1191 10686 2149 8575 4385 7783 23804 627 7758 22730 10540 13640 20776 7475 7786 5383 8788 11173 2009 18051 17523 14429 830 707 6660 15969 3280 8194 29 1570 3820 5362 12824 20464 21948 8002 17402 4287 20476 1398 1202 5570 14494 799 18854 23587 5893 16964 2391 13235 18613 20655 14066 7214 22802 8885 9206 13592 20877 18656 11887 24798 21310 14820 11061 11039 2392 19461 21566 14541 16848 5077 9198 20844 7707 13160 4899 2577 19748 24358 16304 5561 7721 21315 11839 7518 8524 14392 8198 18469 11449 20634 2303 18165 11070 12553 1770 4565 3534 16682 17687 15675 16537 19769 9914 10599 10389 1426 387 15733 18842 21459 13850 16608 21547 6520 2201 3905 1809 16108 22229 264 17819 12646 16706 12695 3233 412 11437 2133 16414 1452 13168 12023 763 6241 9800 13265 23682 9604 2755 20832 357 12786 6301 12925 3455 20265 23598 18513 22314 120 24987 10392 7735 6546 12992 17122 22332 19687 22508 22004 1338 5003 11337 5459 23407 21681 2058 7652 21945 6421 23861 5026 21286 3546 4320 3537 15834 31 24179 9792 4762 14048 13576 229 3638 8255 9392 6400 4011 15610 3566 14443 17269 8533 13320 2437 5909 19166 19167 4063 692 8377 6305 663 14259 17462 24778 18564 11002 6175 19534 12889 3328 12965 2621 21217 14134 15630 22195 21044 12499 23443 17245 10659 21506 18314 17904 11047 7871 22567 19980 8452 23450 17272 21295 1961 18637 14931 18937 3753 10014 24217 18753 16923 15154 24156 6620 15961 413 2218 2306 1422 9284 8507 8112 18187 17635 19552 9208 4817 14693 7625 3495 20958 16635 12607 8153 2457 489 19186 13660 11811 17754 5759 1076 19780 1363 7603 14021 5973 19990 7345 8189 10788 4172 6728 12074 1154 562 24787 7489 24719 9496 20157 5431 3032 3646 9537 2923 22379 6290 14954 3036 16962 2530 455 20272 14080 2090 21900 22691 326 19693 24742 4240 23776 4251 11916 8106 4015 23312 6282 12052 6810 17886 7536 4692 23456 10654 646 5240 11358 22970 21888 19949 1682 22416 24242 22594 17630 21785 7048 10447 1952 16553 13167 1441 22838 10860 3910 15009 15794 19026 21033 1301 15809 7691 17657 7482 6497 19522 3463 17063 13852 11068 12064 22117 13471 5657 708 6841 22440 7494 19460 19918 457 6879 8807 11587 1648 23360 10109 1533 3601 20981 4739 21108 20652 22452 3624 7234 13922 16318 22486 12302 15497 14626 4120 1593 25 21016 17028 12043 10088 7566 19662 5801 8308 194 1183 8378 9252 4055 4605 19089 8935 5557 2053 18409 21042 15661 14959 3567 2492 24026 7660 11413 8651 6054 10284 23834 6514 2845 23347 14781 16473 22900 23149 4105 11798 7830 23195 7106 3975 17963 24849 22083 10092 6767 4208 23506 8375 6213 17274 13802 18796 5042 3893 1362 12000 9505 24703 15288 20073 6569 15895 19294 11403 5403 16038 1987 23640 11134 21745 616 15478 21586 17472 349 11854 5844 21115 1891 11713 19683 8958 11119 11319 18961 4433 18905 3707 2334 14407 11980 2280 1432 16198 24476 13739 852 557 17213 182 6971 6452 5937 16099 17467 8761 15 7605 24681 10966 23491 10535 19102 4218 15664 1764 12021 23651 17526 108 13533 1176 23185 16556 5425 11399 15066 12020 6019 9060 15267 24593 15138 17542 9933 5352 12269 24 5773 16140 5983 15409 5862 17196 21861 13937 24533 17705 22240 21917 22564 19760 4914 22982 16650 22046 15539 17912 5952 16236 9719 5437 12787 19202 14512 777 6775 20508 11643 15218 24699 7465 5035 24754 15830 15076 9336 989 5430 21283 20310 20897 4874 14630 995 17440 1315 23060 24605 6 9207 18369 1537 3762 9834 19579 11850 12679 9821 5594 23253 6710 3059 21082 10728 1880 3141 21617 23758 1756 21117 5006 9256 13619 22505 21224 9929 23611 21591 13330 9830 17282 14143 10589 24305 12759 10318 21916 22666 19432 4985 14812 820 16920 668 13931 10772 19288 12943 3370 22011 6843 15659 9205 9934 13899 9849 13932 21581 1739 21247 10215 13741 8826 9999 24884 21516 4866 13142 10097 14669 3367 22633 20902 10448 4175 10579 20773 5189 18881 15378 24092 7623 17978 2159 18196 2444 2148 1316 1774 9560 12215 3599 16202 2584 16538 20133 2172 22101 16289 5319 21780 14234 3151 10339 19786 10156 18785 4235 7404 20275 23812 10682 16854 5071 9481 485 22800 22877 5122 24654 15055 22343 15307 10322 1714 20302 3318 16632 11803 20995 14370 17285 20657 6325 14627 4093 17794 7620 24910 17513 3605 10667 9188 19464 286 25058 21513 8409 18434 15240 22165 96 21282 8758 3140 15465 18194 4483 24998 21139 8981 20326 9836 17929 8774 18377 649 19154 5404 5022 8881 4889 10565 18175 23782 21094 578 10922 14093 3771 11730 8656 23916 5859 21377 18537 11591 4769 23859 20124 21444 14875 22200 14353 12502 7088 19535 5600 1994 18531 12932 13496 24957 11536 19958 21276 1908 1299 13764 17853 14019 601 2709 13126 4206 1279 4126 21558 19970 1715 3413 6872 6516 7640 9003 10959 129 4339 22653 13241 19379 9768 4725 18965 8694 18983 5550 6201 13731 5814 12083 16278 19180 4624 22974 23544 6601 4630 19927 22602 1840 766 6131 11866 3982 1605 21216 11081 15738 13372 15667 9748 5228 9273 10795 2686 4140 15978 20745 10690 12973 23953 15483 16517 12415 14485 80 22009 3388 5146 11863 5158 24357 13500 16425 24455 15690 14786 2227 15941 8383 7757 9987 7651 18505 11899 5081 17095 10741 10273 15210 22715 23213 12102 9893 9811 8286 5260 14948 5303 12009 4373 10613 7502 5593 8945 15420 23414 5838 20207 638 18512 8847 10054 5571 24159 10211 20472 23705 24046 22105 8814 6894 13468 3690 3944 2161 12039 8554 20842 3368 10379 18415 20636 10662 5347 17117 15416 899 11775 6947 12986 21758 14542 1067 10245 5376 10928 19762 23154 20990 22274 11766 13354 9394 17314 6242 24916 5612 22120 15955 6823 20816 10627 3602 14520 23847 7030 6590 3467 3880 17600 18259 22272 5450 13394 2268 24692 23408 15579 8335 15111 10683 788 11486 19808 10138 18650 18078 19031 928 15714 19308 1138 3392 16387 6354 17216 9103 1564 18203 7760 24312 18997 20593 9969 23460 12254 11423 5439 16165 22396 1879 6225 22804 16993 18599 20166 5841 693 21373 9137 25028 3221 22404 5410 10496 19805 11089 6531 12669 4033 20779 21343 19443 7235 15528 17755 17924 21723 3596 4859 17662 2174 16024 19577 19763 18014 5037 18530 16887 11300 3837 24679 22693 14221 7972 21989 20170 15572 10644 20344 17194 20767 1428 18450 2370 4409 16873 21338 19426 6796 9148 2001 21349 18398 10904 19877 4358 22881 7128 21382 14849 16271 5863 7359 17016 5417 885 13805 14458 12960 7408 8359 21087 1608 8420 18719 17558 9050 1604 21050 13139 545 1798 17596 16822 21076 17438 7671 9337 14657 6606 16802 4002 21660 9938 19446 14704 13628 23025 5537 24995 15177 585 21362 13929 5549 8703 1954 5702 8519 9580 16890 893 10446 10516 20680 20673 21288 9658 18934 4392 6391 23579 11716 18167 11660 20977 4765 16393 24942 24401 8640 4300 21449 2452 19370 13470 18222 21695 15096 8026 22861 1795 22317 9704 9513 9265 14612 2157 16093 12183 5294 33 11882 12697 7483 4521 21277 22896 16797 13854 23445 16527 11777 22255 18428 10456 22330 5807 1670 1234 3898 23881 3800 10787 2026 6156 8738 14521 19773 12556 9738 22801 13298 2092 22814 16801 22170 22841 9501 202 20454 706 1575 5473 19482 17471 11725 9215 10080 6261 14548 18016 4982 24166 12761 11699 16306 9717 23681 1818 11845 13131 8905 3710 4081 4417 19170 4730 16872 3523 12993 7373 11937 21131 1921 5659 8107 17832 8454 11831 18561 1998 15073 14800 4343 3315 13564 3658 7621 3510 10148 17736 21816 7189 653 22643 5010 12072 23707 15965 6566 17436 3603 20127 4681 13638 6097 23903 20428 13599 14527 16242 18949 8609 15105 6286 19417 16288 1689 24724 23141 12895 19312 10240 311 3896 1121 16654 20724 19722 12109 13421 3202 7255 12382 166 17379 10721 10507 22493 21035 14394 21121 14980 20107 13548 14816 1574 2411 24750 17062 3173 8778 13755 9758 1534 4530 887 18525 24818 12835 22739 17945 14969 20890 5394 5061 50 8798 13945 21626 4470 22578 11864 10801 24195 17143 22491 6260 631 13760 17717 24917 22464 1142 12441 21182 24717 955 18141 22743 18589 10709 18980 3257 13006 3223 2361 12180 14622 394 1273 7252 7543 1953 17006 18982 16490 10582 11942 15646 7813 5992 14461 4293 16605 5744 8361 17828 10204 3397 17035 231 11120 10248 2616 7770 13966 5072 13436 9234 22448 10985 8479 549 21876 23858 9989 18086 6567 23940 5099 19147 18251 3727 14285 7308 22098 9727 4742 12218 16737 2580 18334 12471 20789 2930 10501 22769 16334 23783 10115 24886 4623 21465 23580 19908 10581 13118 23723 23915 7857 2337 12627 3468 11180 20999 5825 13553 24537 17078 6641 19285 10551 17238 6585 16837 8049 8570 12287 1828 5406 1131 6074 5979 5161 2507 14611 21024 10096 7803 20125 19761 3647 11696 404 4129 8872 12522 13843 20905 22214 14607 24777 16700 2023 18686 21446 3573 16342 22062 18792 1224 12459 7269 3653 16894 7745 152 17210 20991 15970 1097 16998 19345 24775 3460 5329 20453 1962 6053 23346 4194 2961 7712 8397 16670 3556 8403 2150 23532 3684 14809 12857 16924 13254 1232 14187 14670 23838 1898 22458 8882 10274 12430 1590 2021 13163 13829 14998 15734 20397 9646 24098 24696 4592 23559 13409 13388 6390 16460 19857 17675 13280 24799 19395 299 21442 18261 24627 16494 7690 22427 20413 14347 9854 23866 794 10286 9435 17654 12982 15252 12768 3189 2931 7130 10143 8854 723 10923 1897 2079 16018 22615 11316 15510 4102 8247 6113 8313 16784 7831 7123 24341 20461 13064 21399 19668 19021 10717 13807 23766 23314 15805 20678 20671 2055 14335 19459 22273 8820 20679 3049 18855 1093 16519 4495 16367 12976 3788 7411 9565 19564 12104 16903 19385 2515 7933 18866 7743 13195 16448 22513 13065 17288 18763 9390 15604 3751 11706 21872 12496 25032 4256 20865 12054 17795 11328 17104 20632 19783 20829 20020 19659 389 4597 19498 3129 18812 22407 9897 3750 4707 24032 18118 21680 16106 23135 24631 2349 9412 10956 15924 21237 15425 24034 22786 14028 14096 639 1010 23422 8227 17658 23805 15200 15256 9183 24364 791 18452 14400 7736 19062 3528 7041 2703 6013 24970 9090 19800 8476 13283 3868 16830 8282 6092 12391 5606 22431 15215 6834 24041 12282 10960 7948 11996 6221 14941 7531 24665 2510 22437 11902 12230 20290 1134 10797 2158 4060 15005 18569 9333 880 4212 8789 11652 12529 15546 6460 21584 23280 20558 11659 4946 22575 14405 9826 22338 9791 18582 24956 7565 22207 9664 2986 20197 17014 18738 6904 13138 6800 7504 1058 4089 15959 15729 11802 4857 2571 15927 23790 6448 14030 20278 11087 19615 331 17827 16948 10019 629 21956 1321 18350 21424 5990 3846 23115 19145 6593 18421 22677 23344 17992 7873 8501 7196 4323 13961 10543 7217 5389 6955 5291 5858 12016 13870 8271 15180 15183 8652 12008 7473 13867 11806 24403 15883 13480 5542 2723 13020 12821 2887 5268 13729 18848 17874 19243 8556 11743 20550 15347 13883 14183 9057 17722 6666 21935 17517 22239 816 24203 1159 1910 13219 21512 7985 11932 19047 10436 9221 13441 11283 796 21484 12076 23828 16053 10542 12762 8431 2383 18201 10139 3393 10027 14994 5597 17618 20055 11856 20257 832 7983 21907 15498 6317 12547 17136 19826 21199 20035 6366 12467 11768 3622 3953 24530 23133 11302 13023 2972 1436 22798 23737 15501 25056 19606 24219 11664 21881 17846 8427 5262 23432 6700 5541 15647 5878 1748 21934 4842 23550 8262 5842 10879 24672 498 6900 24186 8190 13823 8163 4864 16048 7037 10323 23027 3133 21371 3128 4042 21774 24410 3883 5094 14922 9786 23366 612 20930 5213 22337 12616 17524 11807 14942 622 3430 14298 2076 10295 20505 23323 14365 6472 4523 21194 1347 16951 16081 24657 4166 22304 16953 15139 4421 23261 8944 968 16729 22047 58 5913 11935 12118 17579 3681 19423 423 2534 13165 20814 8394 12108 20781 1516 18403 8488 24315 14992 11007 11586 24729 23898 2563 3969 9258 23876 9031 22058 17434 374 637 13625 14907 15949 3531 14814 11693 19269 9441 5620 21911 3176 19730 18387 4575 19209 12380 5089 6318 12407 17303 13304 19500 6852 9556 23585 23624 23405 7435 22382 2693 21029 17799 24896 12384 22905 10366 10718 4394 2251 13715 14217 4404 8642 14432 16503 16779 1620 6367 11999 19399 17330 18074 22740 7926 14817 6764 453 13992 8166 11812 13337 9374 5856 24926 19242 19548 14934 2086 22243 9733 18067 784 24487 8946 23814 19566 14368 17465 11042 10996 8497 5592 17449 14135 24894 17246 7382 18504 10466 9647 20522 12010 7578 9381 936 15515 17483 1286 16492 24345 5373 18220 10455 4273 14011 8230 20496 1536 13986 20371 23289 380 18404 16829 13912 553 14647 2313 11421 9642 4230 9070 8208 7300 19313 8980 12207 6560 12610 6200 3301 2112 4174 16704 8650 13345 9874 22366 24435 21491 13373 16968 145 23377 531 5617 17384 11299 3834 24177 18149 1694 11577 16506 1874 15438 1002 17199 20060 21054 15535 5874 12199 4613 6384 6181 1322 11551 20857 7419 12304 7912 3303 7878 8398 20011 8196 7574 18235 298 12491 4006 19685 23427 2557 17836 23962 13442 10703 18943 3729 8842 23900 20721 21027 13182 14167 23493 2369 17372 23158 17058 15750 18292 12129 872 24831 21978 14428 3399 2350 17862 15877 2038 313 3742 12374 6680 9795 20742 18073 22980 11565 24356 11489 16145 17072 24963 9044 3256 5839 16388 6266 11015 6780 2859 12776 432 932 1836 18978 170 16280 7629 14640 5405 23404 9977 4144 4465 1923 1031 16129 7855 7154 18343 12523 2442 7726 20698 20173 23426 13063 1834 5414 9338 9098 23251 18691 3536 4594 22748 11450 21527 12569 20274 10697 9377 5465 220 16963 5833 5834 22944 20535 8647 21726 6772 19791 13411 7679 3175 21559 2683 13546 8408 10256 18786 3524 1371 2236 8091 18620 10769 9750 20445 24875 71 746 18498 15450 21312 11231 19624 11953 14478 1384 17344 18836 12576 20986 16436 12353 2819 24889 23674 24856 1580 20021 14313 179 16535 20066 6121 10567 13954 11128 15837 3841 24467 12041 22368 12894 20027 20533 9020 1894 7355 6259 24193 18258 14371 10410 1306 7650 16896 8489 20390 22045 17151 21716 4900 18440 12446 7916 2712 9685 20301 1698 6456 3107 23169 9052 17135 722 24574 7801 9173 20081 15799 18731 8034 15998 14391 19257 1313 8591 21067 24452 12414 18305 13074 4313 21814 12720 10346 22268 24351 15049 6861 8135 14027 18630 15900 21995 8116 15191 17241 9443 21165 10432 20282 15058 2916 8143 2585 9629 20805 13046 5276 1530 21069 1893 16368 14222 23005 23562 11890 4915 3929 5688 23293 362 13780 13011 7696 4052 20697 8757 13285 2713 21573 6170 23058 11595 4485 4254 3082 18217 24176 23574 21620 18579 13866 12227 8291 24876 17173 4835 4037 14073 12533 24072 22859 20764 8559 20661 23203 19706 12261 17347 17000 2943 21974 8839 20164 1339 3668 16579 491 1863 2325 6591 14110 20853 20486 459 19130 23871 4116 12681 15769 9006 7228 4386 13368 2432 18868 4276 20965 24024 205 5323 11929 22442 131 17229 7362 9477 14323 3121 11540 11925 23481 11046 23965 11931 16060 14169 24291 16121 17681 21986 3630 5556 21225 15819 9047 6745 16931 16852 6408 23041 18283 19609 9856 8101 11363 15861 14769 15798 13206 8295 24996 8709 6324 13446 17480 2983 9847 1389 20575 12647 25043 9396 9956 22574 996 14935 22136 13087 19105 10858 7899 17788 10588 8912 10296 21576 443 7309 17444 13352 24738 23865 9401 6326 6222 13957 14212 23846 10071 15613 10047 7073 2114 4395 1523 8380 2872 23216 13849 15102 24411 18120 10541 12175 10839 7488 600 21676 23288 1745 4686 5238 11010 8635 9869 7090 1091 20942 7628 19953 15439 3482 10953 20623 12056 22385 17279 11843 3871 7403 22069 10790 16613 14024 19046 4891 6454 13457 22384 22520 15768 9100 3917 4974 15576 14408 10381 1420 21395 22534 3246 5643 16679 14973 21908 10261 23109 15538 20793 25004 23539 10300 3613 4243 5461 19666 19155 569 9846 23324 13216 1847 12158 7019 1569 9048 24929 22521 22548 12119 9656 19077 7884 23057 20950 14388 5370 8058 14850 11435 7190 2998 6629 15114 13137 16291 6085 21046 4965 14250 11900 24258 17321 11928 9815 18041 19388 24824 14075 2408 20184 24511 15669 11124 7653 535 20120 4854 9731 21187 8480 4222 18204 8859 22640 11715 19010 8665 14904 14128 10636 13822 1685 14634 2032 11355 4333 11804 9741 1972 21564 8127 4749 11163 2197 21378 1256 1491 6854 3989 13 16067 21070 19230 6030 14322 6059 5869 614 12775 24519 23053 22547 2905 21404 5813 2664 23843 24384 13059 9974 5895 21870 15255 12851 18449 22142 9688 21826 19106 15697 9557 23794 24764 14604 4625 18981 20416 13207 19963 20772 14465 1168 22291 2333 8345 9226 21336 19159 13326 15531 617 21702 1393 25017 18329 13639 377 17258 11141 8012 12117 5668 2637 19376 8460 698 8083 13459 24572 16614 11754 15029 4856 2722 2322 2716 21788 21748 2838 6173 10547 8232 11513 19060 21106 7670 1850 20 11208 14065 7096 1864 10431 10575 15999 12713 18312 20068 24539 5745 13321 22276 396 3960 2665 8405 15089 21784 17958 18996 9007 5706 7259 11277 6610 21705 17943 4506 11400 7415 15399 10906 19588 13571 21532 24509 16004 19613 17749 10044 12998 648 16082 5779 19160 13035 14929 8892 8204 4106 8089 11218 8337 24941 23907 3098 5646 24918 17054 18939 1892 24249 10672 1332 8986 22669 8103 22655 13381 14658 9799 25024 11888 9972 3575 2061 15263 12833 10307 19651 13149 4709 196 1786 4604 610 16509 3135 3843 19207 20000 21177 18366 23424 10698 22038 19986 13908 22115 22258 19795 12856 23372 11626 7025 8604 5164 13882 12100 979 24464 18514 13363 1044 22692 2837 5382 21961 3664 24819 13967 1105 2851 18472 13467 18795 19764 23971 17938 24480 7173 8638 3124 22378 2638 5851 19226 1502 19842 7450 9130 4407 21836 24682 16305 7391 23570 6332 9927 10722 2163 526 10209 246 16135 12344 19139 15449 19991 13716 2050 11138 1758 5365 1990 17094 16178 13314 1476 748 3282 19531 15475 10890 24169 22711 13129 24955 9745 1662 5875 1969 23039 16933 12277 8669 6084 1735 23440 15270 8316 3249 23589 10268 9177 16793 3099 12423 1241 2212 22737 14813 7911 6598 11901 5149 14940 5940 12919 11205 13473 18264 1261 1071 6438 11772 2384 3516 22987 11418 10508 9637 2125 13133 6040 4308 14997 6885 7126 14740 13888 23458 20525 24643 17090 21092 14175 15356 6528 22103 22612 10729 2321 15548 17545 24564 4790 22191 14655 19238 18998 2045 8407 2659 1718 18688 23308 14190 7240 17286 3162 6232 11212 9032 10333 19014 12721 8483 7750 7285 12256 3296 8241 6622 23676 15082 7129 11918 9385 8459 14535 2390 22937 6194 20684 19504 15371 9722 7177 10902 13128 6380 11361 13093 15306 8470 2544 8681 14226 21326 11592 5682 19847 4221 10317 10828 24073 1691 12796 4517 22228 23119 11392 13795 20123 12928 16214 15489 5028 12773 17138 126 19906 14165 335 14422 14062 5802 9170 24501 12548 23602 2399 15199 21849 660 10484 21742 13229 23297 2864 4399 18744 4627 1141 24877 15068 11152 10744 11441 21089 8990 18020 11204 12057 833 3203 2260 14643 8061 2380 10948 10719 23070 14148 1942 17235 5675 1258 8856 22055 10282 17066 2881 14178 11342 3349 21910 14286 20710 10235 2497 21964 479 11796 5025 24491 1553 4526 16126 24087 17821 23867 5605 23305 16078 19085 13083 3888 8739 20625 7792 20576 15056 308 21057 12890 18080 13269 12440 18477 2518 1136 4825 16319 10932 1472 732 10186 11362 6909 4925 4803 17490 19290 1703 17452 9320 9019 909 14961 19843 21542 10935 22394 15815 20797 9128 9909 16267 8643 23013 20934 20494 24161 3010 12258 22455 10604 488 13719 24597 24820 17849 9303 23018 6517 14599 21912 19112 21633 6070 12466 5360 4226 23925 18902 8246 20492 11922 20172 3907 19568 2188 10900 13629 19973 21416 14724 8124 12112 21794 15229 10247 1955 450 3265 19088 2924 78 23386 7009 18496 15090 5959 9902 19177 21610 16592 16427 20005 24362 20288 19807 16240 19738 4990 4501 10475 19354 8550 16501 21684 2353 15206 17830 10765 16598 6973 24376 233 187 19850 12544 490 9620 11082 7384 10494 16209 25019 4441 23152 157 8572 10592 25033 8073 18829 24828 17980 8321 4304 11538 14094 21546 22791 19736 15211 1152 7207 14856 18566 9954 6708 16343 6245 5126 5486 2052 18594 5551 17383 24144 18068 15974 13004 6882 8309 15720 23556 20774 4471 15238 11306 9013 419 20568 7080 7729 9771 15634 9663 4452 1311 15456 566 24493 4638 14290 12874 13030 7162 18698 3747 18989 10121 7439 815 11543 23124 19401 22060 10778 14685 158 3113 23078 16584 21366 18888 23081 15989 4061 13060 14192 20884 7464 24771 10304 18183 3343 8697 8678 10576 11281 2952 4890 4691 11377 1230 14546 6349 15537 23996 20179 383 22472 21829 17786 8939 20053 11728 18298 22536 9891 9564 18930 14150 3565 22044 11265 5050 8808 21354 15077 8795 11966 2552 3968 20899 15894 9641 14398 3119 17777 1334 19950 22948 18331 5775 7432 17997 15854 8319 1631 13627 19834 8371 11860 15301 14717 12208 6857 24466 15725 24204 16234 15789 23930 6625 1158 584 15994 6991 2826 21128 9237 24055 798 2903 8833 18560 6751 17711 18045 16716 12817 2631 9266 11680 1442 7034 17153 9214 13443 24971 17804 20524 13745 23023 9343 6237 16508 6300 13770 19942 1294 22997 13974 23266 5700 24588 23474 10812 20154 23763 10527 22781 20307 5009 8883 9420 17746 12133 2768 9311 6782 12594 1957 6130 5780 8264 10103 7993 15850 15818 21803 9823 6144 17132 15685 16755 14876 9871 23148 12176 23482 17710 22554 14173 22340 4581 16733 22006 6584 5722 14420 15536 809 18207 944 12321 14667 23300 15653 1349 4865 16453 24352 20334 8458 18108 13926 19217 20799 14794 10347 20192 14431 19148 12828 20582 3851 11877 17053 9782 8270 19072 15808 2470 22767 20268 17030 10518 21972 6964 1074 8910 9358 11160 17712 10227 4329 20417 17988 6588 17721 18617 18064 15826 10916 23444 22965 18862 2779 24012 11104 3696 13492 8414 11469 16552 14147 14294 4279 24885 12166 9749 16193 18019 6187 15736 3803 24017 9666 11512 11578 4748 5663 2025 21970 11576 3527 17826 5163 20542 15264 9609 23801 11030 6197 15868 7529 1415 3538 2403 19199 5495 9061 8467 18799 283 4688 15406 23720 9399 18310 2202 8834 8850 12757 6002 11708 15823 8307 15350 20874 17120 2184 15718 24930 6905 19676 7276 10272 19153 13918 17251 23669 24952 14661 16164 22639 23577 10663 2208 4777 17168 2965 7040 1129 17933 10517 23051 2082 13513 13041 8677 20717 5614 6106 5533 13332 6901 5180 192 2592 15938 20795 17397 17079 15051 12080 15784 20296 10385 1804 7075 10509 22764 11114 11108 2183 8938 12028 17993 1581 11976 21325 7301 9352 17271 20819 4209 24745 22187 22490 13154 7486 23777 24659 11510 23527 15452 3 17277 7782 20818 2242 9450 9445 24348 22043 22086 10871 5385 11668 5348 7971 24683 13649 14041 16396 2735 21557 24897 13728 13869 2205 18290 9276 8057 13218 4098 665 15788 8154 2231 23279 13678 14325 20753 1211 1543 22713 24434 8214 23613 1579 24714 24419 17177 12034 654 5241 695 12626 86 11646 7601 9182 1068 7313 2734 8129 20243 5293 12850 13476 21982 8730 20577 13003 9055 6935 10642 17142 9700 18503 24310 17112 10458 24526 22456 9573 15193 22021 23972 14229 17299 22851 14529 54 2118 10651 5553 9393 13857 9574 25031 9323 618 7 15555 7914 15293 16642 8825 23912 17292 11091 4529 22789 23929 20175 8812 7012 7789 17684 1444 7317 15278 3427 209 17206 1295 5636 5835 23403 8991 9339 6051 15780 17087 16751 11675 19078 19425 19058 10264 11963 3250 17960 7366 2111 20002 20769 1263 19952 19684 22963 7553 7839 7113 13747 881 19218 18430 1280 1160 15375 318 8756 13914 9459 20604 8782 4763 23181 21855 18474 22712 10707 6891 704 6302 3926 2073 1594 6244 4640 14862 13842 15280 22064 23254 4258 19852 5847 16807 12231 7135 20032 16212 10981 23956 16945 22923 17666 1522 18015 12535 18134 16322 6435 12884 23031 17820 13268 17585 5540 7098 17149 18653 23524 3985 5632 9077 4590 502 18241 22718 15250 1759 15157 8097 4007 20640 11559 4448 16110 17481 1742 2705 18926 9386 18631 10711 10342 12840 18548 18152 11829 9043 180 17130 1692 1627 5695 12323 7909 10905 20491 8082 2467 2729 12896 16795 19390 13117 10399 15494 18615 12328 3819 2469 12303 11236 6436 12525 22156 14108 11778 24545 5013 12427 6217 11258 8260 4679 10177 11043 1757 9590 20752 9479 7844 24546 8494 5868 5491 1706 9195 6066 7595 16039 8516 8281 18098 17022 4180 23685 3093 172 19221 3884 21113 2454 727 16530 24469 16041 18734 11912 4138 22179 22582 20970 15123 17699 16738 19957 8258 6570 7571 22159 10553 21021 20631 23127 22160 16254 17348 3787 10107 19523 22684 632 8404 12862 5517 13501 21920 16021 15824 3490 11869 3915 22430 11598 21228 23957 14649 3632 3149 4344 21752 20579 15963 15810 6246 24188 15243 5169 4491 21413 21008 21466 18718 13950 12121 2836 4349 13942 8302 5531 21737 15731 20720 7537 11465 8901 18009 911 17996 22301 2170 14827 5518 10524 9497 24960 16204 11338 3208 5650 6067 16507 21827 12938 12567 8051 10250 7181 15451 9404 13948 15763 5096 24946 11008 15074 14603 11703 21037 23392 514 19992 677 16712 41 19909 8138 269 6827 13827 6844 19660 22933 19490 17341 23467 4648 92 24571 8498 23286 21890 23938 12770 12618 21622 4569 15175 7457 1140 3693 17119 18332 4127 5572 306 22687 16914 12582 23868 15176 14479 5281 14444 11393 13474 18237 13217 10043 5411 13824 5295 16888 20700 3731 14122 9499 3660 14821 5585 23410 14663 6736 6190 5764 4658 9437 21568 8090 10006 9998 10631 24066 18200 5891 16619 18622 8024 1500 21847 6558 3260 11017 225 6169 12575 13413 3337 20331 19100 5330 9579 24392 8386 3675 11468 20712 12970 3914 10018 760 15574 21932 13917 9317 24536 22212 12564 22321 17691 505 13057 9065 23024 15565 9186 22075 2730 16105 14057 21184 22206 14196 14953 23853 5691 12933 12483 6739 16586 15253 13542 2629 5957 23029 10188 12511 3185 7163 10510 24616 24490 3721 18859 4984 956 11118 23637 13266 10048 20395 4586 4520 1204 7456 18286 21936 20363 16557 11985 14783 21793 7677 11368 10958 5790 8473 22710 17378 9010 12939 5296 16160 14596 19462 21112 22204 18721 23009 15213 16919 4888 5188 6675 4247 8217 14860 9586 18140 17395 22714 8751 15893 4151 3644 20101 19277 15723 15683 16529 11076 23008 21730 1644 10520 22776 16701 21387 6677 18616 24162 12322 10810 21420 1485 20012 17655 18432 24001 17808 10154 7046 5880 22792 10207 17543 22940 4184 18553 10212 8305 5819 5134 21313 22656 1944 21672 3535 7521 23718 21534 8653 9669 16573 19440 24443 24215 21880 18156 6722 18077 7463 11917 7260 6297 15756 23501 13949 13166 2850 2752 14059 20983 11667 20782 16423 10175 8692 23503 19330 16162 24760 24213 12410 21495 10534 24919 8165 18573 6283 495 773 1403 6911 9947 4352 21192 17867 4786 10249 18188 22424 17208 20927 22017 23028 15251 15019 8661 14895 11584 4316 21255 19987 9861 20276 3293 3401 5193 24898 16909 19472 21195 24701 8806 15352 22089 22148 1395 18313 3979 13246 12742 22128 13152 20841 18969 6761 9895 18238 350 18733 9307 6091 17178 17984 13806 22331 2526 22280 13123 13390 3262 10847 22610 21136 2336 8070 12520 6477 10491 16441 5113 12360 16477 21837 12418 20200 15700 15374 11903 14590 2598 10555 19403 1835 8561 2490 13890 7114 7369 22570 391 23064 17212 1806 20665 24052 8961 14843 1429 9330 21678 22114 17688 461 8157 11545 20960 14792 2732 7943 24807 18852 6661 5246 6487 12794 12411 869 24524 20140 5424 4726 10218 24448 16525 24386 24027 17905 13015 2081 19864 20985 22435 13125 21949 5393 20601 4983 2964 4156 22299 11955 17180 16655 17029 9894 22664 10124 6485 4307 10152 7021 16663 986 18244 11458 16005 21127 17037 12513 21834 18361 15178 17531 1603 19671 21206 1588 23719 12957 3043 8849 16054 9349 2014 10085 4396 11678 15437 4227 6596 7278 13371 20787 6762 13694 16952 4269 18418 24298 14336 21318 16745 5445 24257 2597 22518 16860 6808 5611 9102 595 8909 18644 3050 7481 5638 2431 24076 4439 3302 20833 21102 2456 20047 1024 15715 8870 13357 3948 11923 4578 21186 7007 9353 5008 184 3922 21486 15944 12997 7719 17359 16456 19618 1688 22111 4967 16719 14195 23895 19030 2238 18890 4761 21091 7275 8265 23703 280 17713 23892 19816 19196 23648 2206 5435 9163 3074 16850 5230 23002 1705 6974 13669 10506 288 11954 17700 12615 8619 17578 14473 12934 12661 3395 9906 13287 22777 1941 2070 8851 11858 2786 21864 12882 23402 18367 15645 5409 22638 8341 1478 13050 21342 14865 22341 954 22209 9639 14586 24018 2770 4951 24111 14364 17645 4553 18778 8865 21095 19778 16871 18324 3441 12784 19216 17154 20566 271 243 16803 8646 24766 19765 12170 4237 19149 6116 6058 11894 17507 22622 14928 4268 4359 21104 14109 5357 20552 17701 22358 13952 14597 6578 22524 4788 1873 21271 24583 16350 9033 4193 10749 20359 12630 18392 10021 11168 11607 18388 2576 13105 24013 8584 12691 9726 10962 17420 21174 18657 24231 10360 16179 7332 11241 15892 18291 18468 10425 24010 25022 12120 22983 5931 8875 6860 2224 8139 21806 16788 15513 5139 6524 15402 3220 141 16549 1854 14610 16975 3609 12003 16137 13226 16799 19745 21353 3950 6814 2632 22813 10308 18683 23564 16776 18508 6547 4675 23490 1540 7720 7893 4413 4296 24412 18729 13816 11637 14696 2259 17276 20089 10180 17570 16589 22812 17211 22829 22707 554 8055 23046 5494 3362 12264 8347 12954 23947 21600 15047 6198 15600 13212 13483 8649 22346 6320 8720 8169 8126 14970 11949 9220 12539 14320 11939 8379 6559 25013 2910 18004 14249 11318 14912 17353 18746 754 4158 4664 17188 15851 7646 15875 22852 6714 175 102 18962 22844 4798 23948 21739 20260 18670 16653 13466 5860 11632 22027 5769 22119 13414 16416 8964 12875 3304 8867 3669 5879 13539 11145 4862 15891 14759 16208 18916 13244 11784 19320 10000 21396 15424 21045 7619 18516 22386 23979 5734 5750 6115 7474 10914 15881 1412 6164 20759 12949 9172 22676 13784 19 24678 6982 9456 20883 8287 8133 12085 15162 22370 13277 17605 7364 3102 5273 21518 776 21828 4084 719 1030 22869 21886 8900 14164 23162 15412 12844 25010 15289 21943 10084 22527 5181 7297 25048 4124 9363 19163 447 3801 4631 10275 5864 8461 7116 22261 19090 5741 16286 12005 17661 6360 19720 9112 14638 14753 7331 9961 6501 21922 9712 17679 18618 6505 7747 12843 10939 10034 15820 23048 132 21946 15623 19414 1419 24328 14833 3299 14722 17515 11606 21011 24173 21817 19391 8114 13700 7122 24382 21410 323 21234 8428 13744 11011 19346 20473 12144 22463 667 12142 22762 20148 4044 18725 8625 6061 21391 7503 10129 23644 11965 47 18954 18641 17334 14648 13389 9994 23062 8474 23352 3333 7973 20821 5458 17060 4791 21674 20380 22099 9553 83 24374 16897 21157 15728 11257 15836 20317 24272 8586 18436 18351 7321 12330 20748 7103 11691 22309 4305 17771 13549 13706 25044 3849 19322 5765 3212 23260 13080 21280 21330 949 21825 9305 4277 24733 8573 24802 19541 10760 2128 2697 1760 18145 5767 9062 20341 3081 6688 18226 20837 14618 18451 6191 4242 20647 4731 13453 19837 13769 21065 19151 17393 13111 825 12285 7302 18243 20737 5358 20635 1170 1401 10372 2968 2853 104 17413 106 22426 10846 5272 642 18155 4376 7491 7427 24625 13589 21015 24000 18301 7104 8618 11077 12897 23511 13763 10845 21265 643 24795 9536 24436 24089 11165 5482 16313 2375 15222 2054 15312 16248 1657 4250 12078 23604 13583 21443 1290 4403 21921 20030 2496 19846 18567 23484 24250 16817 1001 8606 16168 19215 18986 8542 15504 20482 18547 20802 15214 6107 22696 5110 17968 20122 13565 23954 8388 11989 20443 8399 5312 19098 14718 22070 22533 5857 12702 14424 4119 10232 17247 5559 17027 2015 8764 12114 2769 15188 1986 10328 4828 24522 22934 914 13749 1980 22190 16988 16227 24016 8174 2228 18500 15519 23207 18143 18208 14714 24500 19496 23088 3614 13881 2397 22823 17693 11905 12680 7198 17745 2281 705 4696 14909 8440 12426 19898 11037 12805 4001 2171 24212 13034 11012 8164 3704 16542 3123 18979 20943 13341 19985 12125 3389 3739 23034 11198 18609 14771 16103 3450 10023 9290 3456 24656 23700 19817 22264 22306 2509 2386 13072 15911 8448 12359 5156 4955 11795 2900 319 758 6996 13671 16856 2586 6247 13040 12715 7344 24061 20747 7286 24294 222 19428 7390 11135 8054 5483 15322 3936 8210 20892 23806 20006 85 13994 5823 262 14625 12656 9918 7497 877 10127 1372 13987 24648 16449 7000 8469 23146 22837 13939 2310 23171 14933 19282 5658 6275 5078 3351 23942 24036 2541 18736 24495 9201 3649 9662 4021 18806 12299 11597 23205 12620 7863 21107 12431 20118 8722 22628 9889 6685 22441 16435 11859 828 24232 7808 15972 17039 14906 63 24286 3502 11573 14452 4626 16120 6794 2049 9588 12838 18944 5271 14681 19803 15618 21820 6475 20365 709 20182 15377 23129 15411 7137 6692 1584 8242 14462 17741 22459 21155 17064 20188 13658 3391 16714 24685 9545 19749 22682 16936 24925 11479 16297 18485 17191 14656 23690 15518 972 18873 18788 6432 10574 18095 4847 575 8219 19935 18551 5872 12911 24901 13635 5176 6543 6096 3431 14910 23830 5635 15244 12673 1616 8608 251 20466 21185 20097 21851 5928 17455 5215 6542 16457 8775 20807 21967 14815 9617 4785 7416 24134 19278 15996 7947 24245 2124 10164 11962 14768 20583 22917 2620 8968 24632 10490 19256 701 13029 8272 1919 11732 215 23833 24181 8612 16292 4636 1461 24314 11171 24264 20213 23295 10911 18383 23082 1228 15168 16792 3708 17587 24677 11895 13514 11323 7982 9813 317 14981 8547 21980 15313 7092 23219 3493 7172 3108 18190 12290 814 18917 20768 22419 15507 540 11065 17419 20730 14999 3116 23415 24324 21154 18028 15839 9538 5027 18119 18233 14086 8159 9473 21690 18623 18921 7608 21203 17840 18153 3867 24603 6631 19082 13081 16624 24596 18302 8728 9356 7218 19724 20348 4801 12743 13044 169 22085 6957 14269 20485 19586 16818 28 22245 1288 20004 18914 9418 15220 21648 11240 20142 1708 3774 9654 3394 15639 487 18703 3940 19752 20529 1622 8471 11745 19583 7542 24528 16834 18834 8908 16748 9665 24465 22173 2587 24792 15369 22081 4515 11183 21305 15455 22201 17940 13591 10131 17125 9254 11750 19636 11679 15508 13633 1297 699 8536 11849 19096 16228 227 9341 1521 1054 19774 3243 21160 11432 19767 22588 259 18426 16268 10045 25041 24492 17541 176 21856 19818 24062 11818 2634 20668 23326 4537 3380 17843 13101 5136 10753 6142 9066 20803 4275 14945 4991 15078 24129 6920 12725 1618 24227 6984 4535 5681 13508 9543 12469 22903 19863 14116 11324 12447 14732 11733 19271 3022 6916 10299 18445 2578 15540 18319 2884 43 11464 9486 13335 14782 17994 22374 6926 24641 1354 22595 403 3775 5721 14499 18456 12797 9053 7880 25015 16760 18973 9743 11681 5662 21454 16723 16741 16266 3529 17941 13779 9984 9885 20629 17633 22131 24842 19895 4913 3449 23747 22367 12228 24385 5337 8491 8496 2689 10390 17102 307 19695 21003 21891 23659 21448 9408 8977 15131 22860 24629 23899 13234 15245 15612 14683 6375 20871 13933 6280 5210 1050 13819 873 15737 6177 7881 22012 11201 19751 530 22850 14697 19198 1695 782 24899 21475 21852 3983 22166 4992 16114 896 13898 4831 6538 11505 12636 6958 17694 17366 24694 1456 7510 20392 9166 8119 17174 19450 6248 24004 24640 1592 2951 21009 9155 8668 25000 23257 8036 15336 22649 8413 1040 18824 13835 1394 21799 2115 3232 22927 19438 6603 21159 18646 12527 1900 4192 14252 7610 3760 15849 13868 22288 16159 12809 19402 1233 19253 22167 7094 23290 3978 24863 14671 16211 4168 18273 19595 2258 12131 16498 15594 10132 22026 2022 2854 1113 8518 22412 3491 5934 6110 4720 10570 3190 19254 23369 3266 5208 16408 20944 22757 23072 9762 24154 21990 3372 23514 2806 2928 5873 12848 11774 19210 12099 22725 5921 9197 20622 23334 18595 263 7986 1155 15291 19362 173 4160 19126 5852 12591 2356 12677 16591 23976 8389 24663 4270 19213 14071 20775 1827 5135 14996 18805 24349 10803 8520 21841 9272 3772 19753 7767 650 22008 16796 10030 5609 2524 21268 16070 15640 15197 9064 3515 22446 21688 3387 20518 15179 1399 9708 23285 333 623 16413 2794 2740 18838 11001 18076 11892 20872 22171 21773 5800 18053 16184 22323 12642 11994 23477 480 17453 2795 2190 4684 716 19223 3611 2352 16866 5740 8587 3715 1576 2828 22772 5178 12774 15013 13938 19811 11566 6819 858 3297 10083 15355 23617 19860 2690 20957 5261 1613 14067 21181 17990 13975 19667 9321 365 9899 16672 20042 17801 16372 18664 15774 7598 8700 2880 12451 1816 15981 13796 22460 10070 14068 8340 2302 15587 6492 17124 22969 18558 3701 10396 8534 1088 811 10842 22888 14146 11170 23516 12614 16353 6313 13007 2262 18628 22303 18843 2040 14859 22836 24457 21259 15423 14378 6186 24097 15093 16028 644 19528 13312 18205 10029 23391 19867 7158 11960 119 13481 12368 1333 5257 14274 13019 16420 8953 14177 14719 3780 22502 14410 9301 3860 8416 15566 17287 10843 10474 21043 23647 10798 11835 11756 18850 7360 7907 23573 7237 12456 8385 20729 4113 20008 4919 3503 7365 16770 6959 24320 22625 4220 10086 7748 22919 293 20139 11021 12950 15977 22866 11779 12 6741 15037 14275 20690 18093 13991 3434 15386 1027 7870 18912 19596 22414 11116 9973 11422 11057 16418 16362 245 2919 20596 21350 10758 6565 13174 17747 13662 1270 7705 10246 17492 13422 13028 16746 15241 8320 19281 21244 13672 8582 20052 9219 12332 24456 7592 6914 1335 9928 6743 6676 1047 24015 24892 4181 12659 24758 11746 20018 9898 1956 2949 7977 7291 6573 15754 8499 22377 22592 14721 11822 1877 13685 11529 15479 15472 8541 21179 13682 2152 20009 19810 309 7402 14045 5059 6950 8495 4073 1276 24359 20263 9296 21675 15422 22289 5100 16595 21819 1247 22658 5730 1831 6314 8328 2776 22498 12694 15184 9314 7468 10280 4561 13469 8563 8249 19737 15873 22890 12137 18924 22709 4411 19892 15017 19057 3593 19412 2682 1865 25052 15795 25001 24782 12486 2684 5850 22429 14447 12593 22809 19245 6592 1108 6134 3287 10998 4568 21229 14300 9395 20996 6992 11330 7632 14652 16265 24486 2364 11074 21263 24101 8752 10257 20346 6523 11122 16371 7526 17074 6211 21490 16703 4217 19593 22286 5701 656 17367 14777 17983 122 12194 23212 6336 15503 16618 7981 7849 14193 5313 6995 11389 19678 18700 1281 1218 23961 5489 15376 17098 12777 12243 14966 10017 1144 9866 12089 10059 12975 10577 9478 12361 23252 10120 9230 12923 14083 17013 395 1978 11589 15500 21733 20725 11824 8010 10777 2099 20490 1489 20235 11618 19024 7230 16351 14886 2072 12004 1849 5743 20356 10633 14705 446 16478 2459 24854 23510 13327 20019 19353 7784 19770 11092 15385 22324 14220 2385 6045 8334 2018 6466 9776 23546 12985 21281 6711 10780 8046 12457 17564 6471 7183 18056 7564 15174 3031 23966 5165 9910 8481 19429 24732 429 21942 23677 24183 9463 15586 14854 16698 1271 24832 22405 13452 8621 10169 18708 3415 22334 2222 10361 8225 12138 7942 4735 7017 24340 4059 21061 6027 5948 5947 24216 15973 20096 18518 5080 19299 14559 17070 13225 3376 7171 18716 17672 22297 22373 11683 1668 7055 23221 3608 10198 1151 24667 6240 8600 14584 9238 10987 22049 4543 23180 17674 14911 14787 2672 11329 19329 12551 20106 23420 11298 12239 23969 21023 3822 18375 18159 15709 18526 440 13768 10082 7778 16526 1597 19262 15918 13726 942 2602 18247 1431 16100 6824 9747 4807 21039 18534 234 11760 17557 13055 15499 9848 14524 75 10051 12232 3743 3109 18634 22549 17870 12036 2831 19933 1552 5984 22703 640 15992 559 11599 17261 17012 17682 902 21548 20751 0
1122.73/1122.74
1122.73/1122.74 c Core has size 11834
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 988)
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-3495697-1307806759/watcher-3495697-1307806759 -o /tmp/evaluation-result-3495697-1307806759/solver-3495697-1307806759 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495697-1307806759.cnf
running on 2 cores: 0,2
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 4.02 3.94 3.57 4/189 15719
/proc/meminfo: memFree=28415636/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=13036 CPUtime=0 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 750 0 0 0 0 0 0 0 19 0 1 0 892278287 13348864 585 33554432000 4194304 4365125 140733621916112 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 3259 586 254 42 0 407 0
[startup+0.073496 s]
/proc/loadavg: 4.02 3.94 3.57 4/189 15719
/proc/meminfo: memFree=28415636/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=16016 CPUtime=0.06 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2081 0 0 0 6 0 0 0 19 0 1 0 892278287 16400384 1210 33554432000 4194304 4365125 140733621916112 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 4004 1210 261 42 0 1152 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 16016
[startup+0.100494 s]
/proc/loadavg: 4.02 3.94 3.57 4/189 15719
/proc/meminfo: memFree=28415636/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=16360 CPUtime=0.09 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2406 0 0 0 9 0 0 0 20 0 1 0 892278287 16752640 1291 33554432000 4194304 4365125 140733621916112 18446744073709551615 4257412 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 4090 1291 261 42 0 1238 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 16360
[startup+0.300457 s]
/proc/loadavg: 4.02 3.94 3.57 4/189 15719
/proc/meminfo: memFree=28415636/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=20516 CPUtime=0.29 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 6237 0 0 0 28 1 0 0 20 0 1 0 892278287 21008384 2188 33554432000 4194304 4365125 140733621916112 18446744073709551615 4257491 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 5129 2188 261 42 0 2277 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 20516
[startup+0.700419 s]
/proc/loadavg: 4.02 3.94 3.57 4/189 15719
/proc/meminfo: memFree=28415636/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=33188 CPUtime=0.69 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 16611 0 0 0 67 2 0 0 21 0 1 0 892278287 33984512 4334 33554432000 4194304 4365125 140733621916112 18446744073709551615 4258008 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 8297 4334 261 42 0 5445 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33188
[startup+1.50023 s]
/proc/loadavg: 4.02 3.94 3.57 5/190 15720
/proc/meminfo: memFree=28262884/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=56220 CPUtime=1.49 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 40382 0 0 0 145 4 0 0 24 0 1 0 892278287 57569280 10869 33554432000 4194304 4365125 140733621916112 18446744073709551615 4250173 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 14055 10869 261 42 0 11203 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 56220
[startup+3.10095 s]
/proc/loadavg: 4.01 3.94 3.57 5/190 15720
/proc/meminfo: memFree=28227792/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=118012 CPUtime=3.09 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 90198 0 0 0 300 9 0 0 25 0 1 0 892278287 120844288 24310 33554432000 4194304 4365125 140733621916112 18446744073709551615 4261054 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 29503 24310 262 42 0 26651 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 118012
[startup+6.30032 s]
/proc/loadavg: 4.01 3.94 3.57 5/190 15720
/proc/meminfo: memFree=28145584/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=134396 CPUtime=6.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 105949 0 0 0 618 12 0 0 25 0 1 0 892278287 137621504 26569 33554432000 4194304 4365125 140733621916112 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 33599 26569 264 42 0 30747 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 134396
[startup+12.7011 s]
/proc/loadavg: 4.01 3.94 3.58 5/190 15720
/proc/meminfo: memFree=28192688/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=178940 CPUtime=12.69 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 142223 0 0 0 1253 16 0 0 25 0 1 0 892278287 183234560 33598 33554432000 4194304 4365125 140733621916112 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 44735 33598 264 42 0 41883 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 178940
[startup+25.5007 s]
/proc/loadavg: 4.01 3.94 3.58 5/190 15721
/proc/meminfo: memFree=28099780/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=243832 CPUtime=25.49 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 216331 0 0 0 2526 23 0 0 25 0 1 0 892278287 249683968 39874 33554432000 4194304 4365125 140733621916112 18446744073709551615 4262579 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 60958 39874 264 42 0 58106 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 243832
[startup+51.1009 s]
/proc/loadavg: 4.00 3.94 3.59 5/190 15721
/proc/meminfo: memFree=28057720/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=231976 CPUtime=51.09 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 244888 0 0 0 5083 26 0 0 25 0 1 0 892278287 237543424 46784 33554432000 4194304 4365125 140733621916112 18446744073709551615 4262602 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 57994 46784 264 42 0 55142 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 231976
[startup+102.307 s]
/proc/loadavg: 4.00 3.95 3.61 5/190 15723
/proc/meminfo: memFree=28243080/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=322480 CPUtime=102.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 409401 0 0 0 10184 46 0 0 25 0 1 0 892278287 330219520 64401 33554432000 4194304 4365125 140733621916112 18446744073709551615 4267713 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 80620 64401 264 42 0 77768 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 322480
[startup+162.301 s]
/proc/loadavg: 4.04 3.97 3.64 5/190 15724
/proc/meminfo: memFree=28103660/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=371872 CPUtime=162.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 605225 0 0 0 16159 71 0 0 25 0 1 0 892278287 380796928 64100 33554432000 4194304 4365125 140733621916112 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 92968 64100 264 42 0 90116 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 371872
[startup+222.3 s]
/proc/loadavg: 4.01 3.97 3.66 5/190 15726
/proc/meminfo: memFree=27870148/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=349860 CPUtime=222.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 854834 0 0 0 22127 103 0 0 25 0 1 0 892278287 358256640 66598 33554432000 4194304 4365125 140733621916112 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 87465 66598 264 42 0 84613 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 349860
[startup+282.301 s]
/proc/loadavg: 4.00 3.97 3.67 5/190 15728
/proc/meminfo: memFree=28152100/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=343716 CPUtime=282.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 929653 0 0 0 28117 113 0 0 25 0 1 0 892278287 351965184 65311 33554432000 4194304 4365125 140733621916112 18446744073709551615 4262661 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 85929 65311 264 42 0 83077 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 343716
[startup+342.301 s]
/proc/loadavg: 4.00 3.97 3.69 5/190 15729
/proc/meminfo: memFree=27406340/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=333480 CPUtime=342.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 1088498 0 0 0 34097 133 0 0 25 0 1 0 892278287 341483520 63994 33554432000 4194304 4365125 140733621916112 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 83370 63994 264 42 0 80518 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 333480
[startup+402.3 s]
/proc/loadavg: 4.00 3.97 3.71 5/190 15731
/proc/meminfo: memFree=27820600/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=376484 CPUtime=402.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 1222454 0 0 0 40082 148 0 0 25 0 1 0 892278287 385519616 69423 33554432000 4194304 4365125 140733621916112 18446744073709551615 4248416 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 94121 69423 264 42 0 91269 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 376484
[startup+462.301 s]
/proc/loadavg: 4.00 3.97 3.73 5/190 15732
/proc/meminfo: memFree=27665064/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=333480 CPUtime=462.3 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 1434986 0 0 0 46057 173 0 0 25 0 1 0 892278287 341483520 63994 33554432000 4194304 4365125 140733621916112 18446744073709551615 4250135 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 83370 63994 264 42 0 80518 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 333480
[startup+522.301 s]
/proc/loadavg: 4.06 3.99 3.74 5/190 15734
/proc/meminfo: memFree=27740804/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=470688 CPUtime=522.31 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 1648997 0 0 0 52029 202 0 0 25 0 1 0 892278287 481984512 81213 33554432000 4194304 4365125 140733621916112 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 117672 81213 264 42 0 114820 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 470688
[startup+582.3 s]
/proc/loadavg: 4.02 3.99 3.76 5/190 15736
/proc/meminfo: memFree=27742028/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=353956 CPUtime=582.31 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 1792681 0 0 0 58010 221 0 0 25 0 1 0 892278287 362450944 66596 33554432000 4194304 4365125 140733621916112 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 88489 66596 264 42 0 85637 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 353956
[startup+642.301 s]
/proc/loadavg: 4.07 4.00 3.77 5/190 15737
/proc/meminfo: memFree=27694512/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=343716 CPUtime=642.32 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 1954360 0 0 0 63992 240 0 0 25 0 1 0 892278287 351965184 65279 33554432000 4194304 4365125 140733621916112 18446744073709551615 4262092 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 85929 65279 264 42 0 83077 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 343716
[startup+702.301 s]
/proc/loadavg: 4.02 4.00 3.79 5/190 15739
/proc/meminfo: memFree=27714576/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=401060 CPUtime=702.31 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2121154 0 0 0 69971 260 0 0 25 0 1 0 892278287 410685440 72475 33554432000 4194304 4365125 140733621916112 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 100265 72475 264 42 0 97413 0
Current children cumulated CPU time (s) 702.31
Current children cumulated vsize (KiB) 401060
[startup+762.306 s]
/proc/loadavg: 4.01 4.00 3.80 5/190 15740
/proc/meminfo: memFree=27591400/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=341668 CPUtime=762.32 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2311261 0 0 0 75947 285 0 0 25 0 1 0 892278287 349868032 65022 33554432000 4194304 4365125 140733621916112 18446744073709551615 4291537 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 85417 65022 264 42 0 82565 0
Current children cumulated CPU time (s) 762.32
Current children cumulated vsize (KiB) 341668
[startup+822.301 s]
/proc/loadavg: 3.92 3.97 3.80 5/190 15859
/proc/meminfo: memFree=30745256/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=333480 CPUtime=822.32 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2456710 0 0 0 81929 303 0 0 25 0 1 0 892278287 341483520 63994 33554432000 4194304 4365125 140733621916112 18446744073709551615 4250123 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 83370 63994 264 42 0 80518 0
Current children cumulated CPU time (s) 822.32
Current children cumulated vsize (KiB) 333480
[startup+882.301 s]
/proc/loadavg: 2.94 3.70 3.71 3/178 15909
/proc/meminfo: memFree=30940868/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=378532 CPUtime=882.32 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2665903 0 0 0 87901 331 0 0 25 0 1 0 892278287 387616768 69648 33554432000 4194304 4365125 140733621916112 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 94633 69648 264 42 0 91781 0
Current children cumulated CPU time (s) 882.32
Current children cumulated vsize (KiB) 378532
[startup+942.3 s]
/proc/loadavg: 2.42 3.40 3.61 3/178 15910
/proc/meminfo: memFree=30946676/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=368292 CPUtime=942.32 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2744338 0 0 0 93889 343 0 0 25 0 1 0 892278287 377131008 68363 33554432000 4194304 4365125 140733621916112 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 92073 68363 264 42 0 89221 0
Current children cumulated CPU time (s) 942.32
Current children cumulated vsize (KiB) 368292
[startup+1002.3 s]
/proc/loadavg: 1.81 3.06 3.48 2/172 15936
/proc/meminfo: memFree=31217968/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=378532 CPUtime=1002.33 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2806964 0 0 0 99882 351 0 0 25 0 1 0 892278287 387616768 69648 33554432000 4194304 4365125 140733621916112 18446744073709551615 4250360 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 94633 69648 264 42 0 91781 0
Current children cumulated CPU time (s) 1002.33
Current children cumulated vsize (KiB) 378532
[startup+1062.3 s]
/proc/loadavg: 1.35 2.70 3.33 2/172 15937
/proc/meminfo: memFree=31222024/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=370340 CPUtime=1062.33 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2836478 0 0 0 105878 355 0 0 25 0 1 0 892278287 379228160 68620 33554432000 4194304 4365125 140733621916112 18446744073709551615 4246924 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 92585 68620 264 42 0 89733 0
Current children cumulated CPU time (s) 1062.33
Current children cumulated vsize (KiB) 370340
[startup+1122.3 s]
/proc/loadavg: 1.13 2.39 3.18 2/172 15939
/proc/meminfo: memFree=31221000/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=372388 CPUtime=1122.33 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2836735 0 0 0 111878 355 0 0 25 0 1 0 892278287 381325312 68877 33554432000 4194304 4365125 140733621916112 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 93097 68877 264 42 0 90245 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 372388
Solver just ended. Dumping a history of the last processes samples
[startup+1122.7 s]
/proc/loadavg: 1.13 2.39 3.18 2/172 15939
/proc/meminfo: memFree=31221000/32951124 swapFree=67050520/67111528
[pid=15719] ppid=15717 vsize=372388 CPUtime=1122.73 cores=0,2
/proc/15719/stat : 15719 (MoUsSaka) R 15717 15719 14141 0 -1 4202496 2836735 0 0 0 111918 355 0 0 25 0 1 0 892278287 381325312 68877 33554432000 4194304 4365125 140733621916112 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 0 0 0 0
/proc/15719/statm: 93097 68877 264 42 0 90245 0
Current children cumulated CPU time (s) 1122.73
Current children cumulated vsize (KiB) 372388
Child status: 20
Real time (s): 1122.75
CPU time (s): 1122.79
CPU user time (s): 1119.22
CPU system time (s): 3.56746
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 569828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1119.22
system time used= 3.56746
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 2836740
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= 9
involuntary context switches= 13716
runsolver used 1.86072 second user time and 4.01539 second system time
The end
Begin job on node102 at 2011-06-11 17:39:19
IDJOB=3495697
IDBENCH=88007
IDSOLVER=1989
FILE ID=node102/3495697-1307806759
RUNJOBID= node102-1307805738-15596
PBS_JOBID= 13551074
Free space on /tmp= 74136 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT02/industrial/goldberg/rand_net/rand_net70-60-1.shuffled.cnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3495697-1307806759/watcher-3495697-1307806759 -o /tmp/evaluation-result-3495697-1307806759/solver-3495697-1307806759 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3495697-1307806759.cnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 3f1578087ca7802bf08054334f4d688d
RANDOM SEED=572784547
node102.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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5333.65
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.828
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.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
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.828
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.828
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.828
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.75
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32951124 kB
MemFree: 28419156 kB
Buffers: 295020 kB
Cached: 930300 kB
SwapCached: 25172 kB
Active: 3589092 kB
Inactive: 728740 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32951124 kB
LowFree: 28419156 kB
SwapTotal: 67111528 kB
SwapFree: 67050520 kB
Dirty: 436 kB
Writeback: 0 kB
AnonPages: 3090232 kB
Mapped: 9732 kB
Slab: 141756 kB
PageTables: 11320 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83587088 kB
Committed_AS: 4004076 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= 74140 MiB
End job on node102 at 2011-06-11 17:58:02