0.00/0.00	c MoUsSaka with meat
8.80/8.89	
8.80/8.89	s UNSATISFIABLE
1797.25/1797.22	c Core is minimal
1797.25/1797.22	
1797.25/1797.22	v 9228 10643 10084 10081 10198 10168 10083 11647 11648 14068 14069 9227 9226 12526 11649 6807 4409 4408 4407 12503 12496 12552 12572 12573 12530 12883 14943 14944 12547 12571 14945 14873 14916 14917 14937 12546 10029 21333 10575 10094 10576 14957 10073 10095 10096 10031 12494 12516 12515 12754 14987 14986 14984 14983 14989 14988 14962 14961 14985 41 43 209 42 3 12589 5212 5235 3598 3595 3553 5308 10127 3701 19759 19754 17431 17461 17346 17343 17357 12535 12545 22208 24607 6806 6805 24622 24621 23754 12467 14871 16491 14070 18912 24657 24676 23752 23753 18911 18910 16489 16490 21332 21331 24635 24651 1716 27049 4749 9271 4832 7177 7148 7149 7229 6934 6879 4535 6858 6840 6836 6841 6835 6842 4445 4588 4787 4784 4826 4524 9303 6882 9355 6834 9354 4823 4571 4443 16526 16524 16617 6863 16618 14116 9258 9569 11728 11730 11701 9598 11995 11748 11749 11685 11696 11990 9270 14196 14121 11723 14440 14411 11700 11775 11776 6936 7199 12019 6895 6896 7153 6983 6843 6854 6906 9256 6885 6886 9257 6888 6887 6880 16521 16525 16519 16520 16535 16537 16536 11727 11675 11732 16532 14111 9311 12386 12418 11735 11734 11200 27048 17362 17390 17369 24640 14903 14902 14899 14911 14910 15175 17365 17405 25207 22681 22187 14968 22214 14970 19783 19811 14946 22186 12519 19736 19737 20259 24594 24583 24587 17324 17309 22219 17314 4444 9300 6878 7156 6985 6931 4815 4537 4570 4461 4795 4827 6962 6963 6984 7236 7180 4785 4585 22786 22255 24629 24988 24627 22200 14103 14100 14104 18957 14105 18956 18981 18982 18989 16837 16527 16538 16590 16832 16861 19039 21396 18964 18942 18946 18975 16543 16577 16547 18947 18945 19038 18994 19005 18999 16591 16567 16561 16568 16560 16584 16585 16554 16517 16578 11825 14098 14097 14099 14152 16667 18940 18941 18939 18958 14078 18963 10128 10130 2523 207 2717 208 3497 5210 2669 3093 2525 2553 2710 2979 2618 3006 4348 3411 10129 2973 2610 3503 7709 3368 3502 2909 2607 2702 2759 3443 2760 2687 2689 2662 4302 2889 3498 3413 2521 2533 2711 2545 2680 3506 20327 20365 19779 19780 19735 24650 24652 2704 3060 24678 24608 24649 2917 14158 16582 16581 12329 12328 14160 7357 7408 7343 7349 7342 7359 7350 7360 14126 14154 11733 14153 14155 16576 11707 11708 11709 11703 11710 12192 12184 12158 12087 12197 12200 12191 12198 12199 14128 14131 14129 14127 14130 14124 12241 12176 12135 12242 12148 12177 12243 12205 12238 12206 12245 12246 12211 12240 12244 12230 12145 14107 12220 12112 12239 14110 12094 12124 12132 12093 12126 9791 9727 9824 9728 9785 9725 9755 9724 9726 9822 9819 9799 9691 12123 11688 11689 11687 6953 4755 4460 7201 7218 4581 9308 4803 7192 6981 9309 4572 4820 4782 4508 4840 6913 9307 4735 6952 9299 7202 6969 6970 7224 6922 11729 9301 14143 14149 1843 2062 1752 9650 9390 9639 9633 9353 9389 9613 9571 9641 9391 9651 9400 9614 9356 9618 9357 1728 969 4475 4476 4477 4587 9673 9784 9817 9790 11722 12034 12054 12071 21377 21379 21378 11989 19282 16569 19253 16572 16570 11823 12062 16571 12063 11991 16564 21342 19521 19687 21397 11810 12079 12078 12023 12026 11975 11826 12061 14875 14874 14876 19812 19814 17300 21384 19011 21366 21363 21367 21368 21460 21385 19852 17377 27090 22229 22228 19764 19778 17387 17386 22748 25102 27052 19721 19757 19738 19739 19758 19715 24641 22230 22231 19836 19810 19793 22210 19809 24563 22567 25169 27066 27067 19730 20146 19807 22206 22273 22207 27088 19713 25101 17336 19741 19753 19744 19752 19745 24595 22189 17359 17944 19767 17906 19834 19835 19815 24628 17320 17332 17323 27050 18726 18718 18725 18629 18602 18717 18600 18677 18757 18849 18809 19755 18848 22232 24557 22152 20260 17316 17315 22134 19808 19731 19766 19732 19765 22303 17331 24586 22256 24596 24631 22201 22257 22236 18679 18808 18603 18628 18759 18949 1285 1751 12025 11827 14412 14195 14475 14464 14409 14243 14465 14492 14476 14456 14410 14244 14460 14462 14227 14194 14225 14199 14226 14461 14200 14198 14482 14493 14455 12065 11824 11828 12022 12024 12027 11998 12028 14481 14484 14413 14483 11764 12067 14231 4419 6898 9318 9317 9319 9316 7518 7490 7517 2442 2443 2445 2446 7491 7577 7544 7579 7580 7485 7574 7578 7439 7581 7573 7561 7545 2430 2437 2324 2438 494 450 618 957 973 1254 924 932 925 1720 934 1021 1034 1326 1325 1337 1744 1036 19043 9665 9668 822 821 800 836 929 1595 1641 1612 1515 1606 1685 1567 1637 1686 1684 1597 1615 1636 1613 1616 1553 1517 1640 1608 1614 1610 1516 1602 1748 802 931 837 834 1287 1324 4490 16575 21374 2421 2361 2403 21341 21939 21365 1805 1780 1779 615 14115 14114 14197 4779 4750 9634 11811 11812 7184 7237 7219 11676 11677 11678 6907 9263 6933 16518 7146 6968 7150 14228 14463 14139 7147 14132 6935 9261 9306 7183 7185 2339 1607 2449 2448 2447 2325 4412 1639 12152 12151 12196 4751 7197 4831 7200 9384 14106 11705 7181 9820 19018 19017 19007 21459 23817 18953 18959 19012 18948 18936 18937 19258 14141 19794 17391 14972 14971 12548 17367 5265 5349 5379 5264 7663 7608 7649 7654 3475 3014 3591 2850 2706 3442 2558 3438 4291 2565 2532 2547 2684 17392 12524 11547 11496 11465 11545 11414 11339 11340 11367 11365 11453 11416 11415 11553 11494 11463 11462 11455 13967 13837 13875 13884 13761 13621 13978 14006 14010 14914 14913 13975 13760 13974 13836 13758 13873 13874 13882 13788 13966 13886 13786 13973 13915 13876 13917 13872 13968 13787 13835 12551 12549 14886 14035 16206 16053 16055 16386 16041 16334 16255 16205 16254 16054 16042 17334 16335 16182 16207 16431 16336 16293 16181 16208 16295 16294 16394 16305 19813 16209 17335 14878 16389 14880 14007 16396 16427 16428 16399 16303 16395 16179 16296 16307 17393 16338 16257 16258 16304 19837 17394 17404 19740 19760 19762 19772 19728 19788 19727 19722 22143 10100 10098 12525 10131 12529 21233 21279 21280 21175 21234 21203 21174 21298 22141 21213 21278 21200 21168 21162 21113 21115 21167 20891 21118 21166 21112 21172 21173 20890 12527 19791 20902 20903 21065 21027 21037 21036 20875 21026 20995 21201 21035 20905 20969 21032 21165 20970 21005 21171 20945 20912 20911 20944 20913 20947 20915 20910 20914 20968 20917 20916 20874 19729 19770 19771 19773 19774 19882 19768 22179 22175 22180 22160 22153 22233 18816 21114 21161 20884 21135 18756 18810 18817 22234 18820 22211 18852 18728 19756 21038 22235 18678 18630 18463 18716 3061 2915 3062 2761 3067 2927 3087 2652 2650 2876 3094 3091 3007 2871 2651 2872 3004 3018 4303 2910 3505 3437 3088 2688 2952 3409 2976 2686 3100 2953 2701 3105 2880 2665 3412 3003 3499 2883 2559 1 2563 2911 2599 3114 2757 3097 2929 2679 3086 3015 3493 2609 2529 2530 2524 3099 2544 3103 2879 3005 2677 3084 2552 2975 2522 2918 3090 2951 2919 2727 2564 3592 2950 2870 2914 2974 2550 2562 2549 2551 3445 3439 3059 2873 2520 3494 2913 2561 2703 3496 3495 3016 3408 3414 2888 2554 2543 4250 3012 3441 2754 4191 2908 2664 2598 3476 2700 4289 2671 2555 2758 4249 2531 12536 12531 14940 14942 17370 14950 14949 17371 14948 12699 12700 12477 12497 12499 12466 12509 12544 17333 14926 14951 15304 15010 15418 15485 14938 17389 17388 17372 19789 14922 14912 14879 17344 14915 12495 14889 2546 2556 2709 2912 2573 2657 2655 2557 2 17311 17310 17338 17413 17414 14896 17292 17838 14992 19790 14966 14965 17378 14956 13064 17725 19785 14994 17415 17337 12502 14941 12619 17345 17368 15417 15040 12510 17364 12511 14947 14925 14923 17366 14931 12731 12752 14993 14973 17361 14888 17363 19782 17317 17318 12452 14990 14991 14932 14890 14936 17839 14897 19784 14928 14929 15523 19787 19786 24581 24573 24574 24580 19702 19621 19691 19520 19518 18944 18967 19608 19605 19523 19524 18922 12085 9770 9775 9761 9778 9763 9779 9831 12086 9777 21398 21401 17258 17246 17262 17169 17260 17175 17174 17256 17123 17245 17228 17202 17229 17257 17124 17122 17264 17263 17261 17265 17201 9731 9780 18921 18920 12228 12229 16930 16929 12089 12131 10012 18968 18969 16765 16545 16551 16549 16795 12221 10011 12222 16622 918 1729 1246 1243 619 1731 4413 492 1033 922 7220 4758 11724 11720 935 974 972 1255 489 1730 1842 2086 1892 1020 4439 1763 933 4424 1022 1018 1816 970 453 1023 4420 6965 4825 4491 616 4442 1750 488 1286 1815 1746 1245 971 936 6938 18985 9302 12060 968 923 6986 4821 7198 11721 6979 1338 6937 6852 4839 7212 4586 6964 4804 6932 4582 4752 16885 16905 16834 16664 9405 9659 9603 14233 14242 9959 11681 14246 9957 9949 10004 9958 9956 6833 7225 7182 7186 6890 6893 9313 12419 12403 12421 18980 16897 18955 18954 16830 16877 16652 16896 6837 4584 7230 4456 4509 6851 6939 4794 4786 6941 4814 4838 4788 4435 4748 1019 1743 9942 11807 9343 9554 9577 9658 9645 9657 9605 9403 9604 1749 6871 1713 1253 1719 4423 1242 11554 11585 11586 11589 11557 12493 12492 13785 13784 13632 13633 13620 13833 13965 13634 13631 13834 22136 22178 22204 22162 22166 22165 22174 7729 7730 11546 11454 17347 22680 12550 14872 11493 22149 17294 21410 21403 21402 21427 23809 21637 21607 21388 19216 19186 21425 21426 19335 19334 19317 19086 19326 19318 19254 19037 19252 19297 19323 9296 9295 12371 12363 12426 11713 12378 11715 11716 9834 9865 9903 9965 11717 9999 7415 7431 7528 7534 7533 7535 7529 9837 11714 9995 6869 9981 9875 9939 9938 9912 9898 9897 9998 9906 9993 7521 7522 7584 7583 7537 7436 7538 7540 2020 1810 6897 6875 1798 9293 6872 18977 11667 21400 17120 17114 17221 21422 19002 21421 17115 19003 19000 19001 17222 17268 17223 17205 17269 17218 17224 17206 17219 17213 21399 17099 17267 17212 11673 11672 17104 11671 4485 4418 10013 12114 12116 7355 7309 7410 7409 7310 7308 7316 7354 7311 14117 14170 14169 9265 9664 12250 9730 9830 9781 16574 14156 9823 9714 12149 14416 14096 11755 11780 11754 9314 6498 6611 6743 6711 6654 6705 6523 6703 6747 6574 8779 6652 6495 6620 6525 14997 8995 9132 10681 6744 6524 9042 6497 6613 6612 6623 10080 6572 17407 17410 17408 12576 17409 10072 10071 12538 12539 10101 7710 10108 10104 12528 10125 10126 10109 13121 13148 12988 13089 10061 10060 10057 10069 5782 5277 5858 5839 5276 5801 5232 5786 5227 5825 5784 5824 12582 12931 13123 12989 13038 12923 13149 12581 13087 13049 12747 13122 13088 12750 13037 12749 13039 13047 12924 12990 5341 5241 5342 5242 5238 5249 5250 13045 13147 13035 13036 5826 5233 31015 28596 31016 28595 28594 23800 23799 23810 23798 21415 21409 21395 21420 26173 26175 26174 31017 7682 10702 10727 10700 10567 10329 10502 10326 10616 10568 10617 10569 10160 10628 10625 10667 10626 10666 7653 10747 10751 10748 6573 6712 6651 6715 10103 8041 10102 7651 7650 8778 7731 5331 5332 10107 6358 7683 7687 5279 7708 7686 3642 5311 3643 5285 5289 5309 5281 5284 12504 12505 12501 13102 12997 12996 12517 4247 4241 4252 4301 4248 5253 4329 5252 4350 4358 4328 4196 4246 4290 4330 4251 4347 16388 16256 9072 8919 9124 8918 8916 9126 9033 9032 8946 8945 9034 8944 9041 9075 7662 7661 8155 8154 7777 7673 8260 7679 7707 7677 10333 12563 9073 9044 8993 9136 9165 7675 8222 7674 10075 10082 10070 10074 7659 7660 7747 3662 3657 7706 5261 5263 5262 3653 3660 3987 3658 5254 5255 5236 5256 5251 3597 5229 9133 9125 9164 9168 14920 14918 14887 5275 12491 12450 14930 14898 10151 10462 12523 12522 10150 14969 5734 11366 5733 11337 16297 18885 18932 18884 18883 7503 7493 7419 7504 7500 14142 7451 6912 7499 7450 7449 9266 9268 9267 16563 14112 14113 18987 16562 18986 16566 16586 16916 16602 16918 16917 16819 16599 16462 16613 16611 24555 27074 10698 10564 10671 10562 10684 10574 24564 24570 22258 27081 24592 10693 10577 10573 10563 10674 10672 10157 10732 10675 11691 18992 17047 17054 17088 17018 16991 17048 17019 16936 17085 16954 17087 17062 17083 17084 17053 16977 17082 17080 16990 17072 18978 9599 9596 9597 9600 9595 14445 14487 14486 14446 14499 14444 14488 14501 14419 14500 18984 18983 27 11781 11804 12040 11806 12041 12039 11783 11805 12042 11773 11795 11778 11779 19685 19622 19684 19682 19678 19596 19666 19544 19650 19686 19623 19549 19559 19583 19665 19664 19661 19660 19582 19581 19584 19587 19586 19570 6 5 7 18938 19703 1339 9623 9402 9640 9570 7238 6982 7223 7133 9568 9621 9567 11777 9358 9620 9401 16565 14144 14145 19006 19004 18974 18988 7213 4534 6980 12035 9385 12044 14150 9386 14148 12043 12072 9383 9352 11992 12055 11988 9619 11692 14151 9642 4503 6883 11704 9315 19590 4497 4498 9264 9574 6859 9327 6862 4502 4479 11694 6899 10006 9954 12416 11741 14157 4501 7111 11679 9290 11712 11682 16557 11659 11657 16558 4713 16555 9274 9321 11718 9273 11695 11711 9269 9322 9272 9297 9532 4496 11953 4536 14374 4500 11690 9320 14147 14164 14133 9502 9298 11693 9310 9275 9328 9238 9236 9404 6894 9280 11742 6876 12420 12327 12280 12422 12414 9955 9852 9943 9841 9960 9950 9857 9836 12333 7585 7562 7575 12423 12281 12364 12377 12375 9910 9977 9994 9996 9292 2444 2431 2494 14161 9997 12425 14079 14134 14135 16556 12439 12440 10019 10018 16559 16579 14102 10000 9860 9982 9966 12380 12376 12381 7572 11739 7489 12331 9260 7420 12387 12417 14080 7536 9859 10002 9961 12415 14136 14138 14137 3473 3472 3590 4276 4335 4222 4316 4231 4223 4277 4229 4299 4205 4221 4333 4298 4228 3119 3101 2699 3013 2666 3410 2906 2983 4297 3106 3115 3089 3085 3415 4219 2920 2597 2756 4227 2708 3111 3020 2907 2869 2705 2678 2881 3102 3504 7627 7626 7634 7625 10046 10549 10548 10323 10513 10517 2581 2584 2582 2583 4220 2611 3151 3112 3096 2548 2663 2977 2510 3440 2560 2538 2540 2537 2539 2541 2542 3421 2580 4230 29397 29444 10496 10532 10497 29424 29456 29446 29405 29520 30555 29412 24694 29411 29413 30125 29519 29499 29518 29406 29521 21358 21357 21351 21352 21432 21703 21356 21360 21361 21362 21414 21413 21406 19088 23823 23830 23831 23841 23848 23846 23836 23847 23834 23819 23818 17281 16499 16501 21674 23860 23762 23763 23764 23779 23859 23771 23795 23778 23772 26238 21679 21380 21369 23787 23788 23789 23782 23783 23781 21509 21941 21942 21940 24058 24028 26230 23805 23806 26245 26252 26244 26237 26267 26262 26257 26268 26251 28723 31111 31104 31109 31099 31110 31112 28701 28621 28613 28620 28612 31033 26227 26226 26210 26216 26219 26221 26220 26302 28659 26301 26208 26205 26209 26449 28651 31086 31087 31094 31079 31093 24095 24124 31040 26239 23885 23853 23854 10324 10503 10728 10668 10701 10510 10618 10328 10161 10158 10325 10594 10623 10557 10571 10518 26192 26280 26281 26199 26200 26191 26185 26183 26184 26198 26193 26194 26270 26197 26196 14396 14443 29 26256 26255 23835 26195 26148 26146 26147 16647 16623 16625 16637 21428 23777 23849 23773 18990 18991 18993 16881 16620 16882 16883 16621 16884 19027 21349 22025 22029 21945 21364 21977 21976 22026 22019 21350 23827 21412 21411 23832 23833 21448 21447 2608 26248 9907 6831 6832 6824 21438 21439 21407 23828 23829 21405 21404 23865 24180 23862 23861 23876 24086 24082 24085 24179 23875 23870 23872 23868 23871 24181 23869 6816 5189 7486 5188 5184 5118 21353 19023 19020 21304 21306 21305 23774 23874 12017 12016 12020 23775 23776 23727 21761 12038 23725 23726 23873 21451 21450 21444 21441 21453 21449 12146 12147 19569 21943 17171 21944 21464 17173 14442 14201 14438 16534 14437 23822 14457 9711 9808 21354 14506 7396 9704 9710 9703 21355 7401 7388 9807 7403 9705 7590 7591 7306 7369 7363 7378 7252 7304 7270 7334 7293 7335 9707 7397 9702 7404 7399 7364 7305 7402 9672 7307 7370 9801 7398 9692 9800 7400 16597 16596 23844 16612 16607 16610 12286 12296 12319 12318 12324 12258 12402 12398 12320 12401 12399 12400 12367 12365 12366 12321 12307 7081 16583 16573 16553 9851 6900 9291 4486 14146 6901 11726 14163 14140 6889 14162 16546 4471 14122 6870 4488 4465 4783 4583 16542 11731 11719 4478 11923 9279 6884 11706 9304 11743 7245 7221 7340 7358 7356 7193 921 4464 12125 9776 9829 12182 9737 12088 12201 9818 9825 11668 9911 12360 4417 12369 7438 6877 9305 14125 14344 4683 9771 9732 9729 9756 9764 9666 12113 12252 9809 9667 12153 12332 12282 12323 11686 12212 11670 16552 16550 6874 6873 9821 16580 12404 14159 7598 10005 7597 11725 9899 12128 9255 7246 11737 10001 12368 9294 7430 12382 16548 11674 12150 12251 12202 11658 12379 2345 7487 4441 7576 2329 7440 9908 9861 9980 9976 12631 12987 12614 12613 13086 12469 12475 12476 13120 12919 12986 12922 10730 8246 10144 8205 10141 10142 7908 10155 8280 10145 10048 10055 10047 10054 10146 10147 8204 8309 8306 8327 8146 8307 7907 8089 8279 8326 8082 8207 7912 8330 8196 8081 7721 5514 7720 5326 7723 5327 7725 7726 7724 5328 5323 12994 13119 12983 13096 10755 12998 10734 10754 12483 12992 12984 12482 12481 12478 13093 12995 13118 13015 13044 13114 10753 13105 12579 13117 12470 13094 12578 12985 13092 3750 3944 5905 5906 5857 5773 3753 3751 3744 5886 5373 5727 5888 5374 3755 3956 3957 5776 5859 3943 5884 4005 3982 3984 4003 12490 7740 12489 10733 3752 3945 5772 5336 3749 4015 12472 12474 12473 5724 3754 5775 13153 7739 5726 3758 13169 14904 13151 13168 13172 19806 19802 19801 19805 17385 17380 17381 14893 14895 14894 17403 17411 17412 14964 14963 14958 14960 14959 14982 22199 22195 22194 24572 22173 22209 19833 24625 13155 13175 13176 13174 14891 13154 17596 19799 2681 2685 10566 10615 10193 10565 10192 10699 10624 10614 10498 10210 10501 10726 10665 4345 4334 5213 5211 4340 5215 4341 5214 2571 2570 2586 2587 2585 2595 2593 2596 2591 2592 3010 2916 3011 2594 2572 3444 2574 5225 28605 31025 31027 31026 28641 28640 28642 24100 23780 23801 23790 26201 29235 29240 29375 29376 29231 29239 29232 29236 29238 29237 29293 28598 29282 29292 29207 29289 29288 29208 28631 28722 28630 28629 28626 16654 16663 16653 26207 18935 18931 28660 18933 17275 17274 26253 26254 26259 26231 19697 23792 21772 22118 23793 21770 19698 23794 21771 21769 21773 26212 22119 24203 21931 21859 23756 23845 23820 23821 11821 12066 11822 11774 23824 23816 16464 22030 19251 19298 19085 19325 18934 16822 16598 16823 16511 16463 16831 16665 16833 21408 12080 12036 14439 14459 16533 16646 9646 9607 9606 12018 9644 14448 9602 12021 14185 9601 9254 14441 14447 16636 16513 16615 16515 16649 14449 16648 9406 11794 16516 16508 16606 21975 9407 16514 16512 16507 21973 21968 21335 21969 21972 21359 21974 19522 19598 19609 17220 19519 21423 21424 8305 10056 10076 10088 10045 10078 12569 12570 12561 27046 5247 5248 14892 8278 8193 8194 8080 7772 8203 8144 8244 7734 8077 7789 8245 5774 8148 3983 8281 8147 5391 5783 5885 5909 5823 7771 3955 17384 17383 17382 27043 29450 29943 29944 27628 29449 31894 27028 26991 27037 26985 26984 27042 29441 27036 29399 27145 27029 31898 31915 31914 31942 27115 31829 31940 31830 31865 31941 31867 31939 31834 31845 31833 31877 31831 31828 31832 31826 31920 31855 27045 27053 27047 12487 12488 30982 12458 12485 31825 31820 31862 31818 17424 19831 17889 17765 17766 17423 17591 17881 19803 19804 19828 17888 17880 17832 19826 17879 17589 17891 17830 17929 17831 19830 19829 17592 19825 19827 12745 12938 12939 12936 12978 12744 12969 12934 12746 12970 15516 15419 15596 15514 15575 15526 15574 15406 15465 15436 15513 15404 15517 15405 15000 15416 15535 15515 15595 15413 15576 17312 15415 14999 17325 15168 15344 15343 15568 15507 15466 15034 15407 15508 15544 15459 15541 15408 15035 15456 15340 15593 15589 15572 15003 15509 15543 15411 15570 15510 15542 15345 15460 15467 15410 15569 15458 15002 15468 15352 15470 27041 27027 29448 27017 27022 27523 27020 26978 27021 27004 29473 27016 27008 27007 27522 29466 15171 15409 15590 15170 13046 15457 15052 24601 24600 24677 19800 11757 11756 16605 11665 11666 12226 12225 12227 12186 12187 12189 12188 12190 12223 26249 26250 16931 16928 14508 14507 14509 16927 14108 14109 31042 31041 31123 31122 31034 13162 13160 13163 26990 13159 13164 17406 19798 19747 19751 19748 14980 14975 14974 14906 14909 14908 14977 14981 14976 31916 31891 31892 31890 29477 29494 27030 21145 21136 21237 21180 21146 21149 21230 21178 21138 21147 21139 21177 21229 21231 27062 29409 29408 29410 27059 24568 24569 24565 5259 5237 5257 31846 31868 31851 31861 30553 31824 31875 31876 31819 30535 31878 31879 31838 31823 30517 30126 30503 31852 30550 31853 31844 31840 31836 31837 31849 31843 31857 31856 30551 31850 30112 31842 30518 29454 29455 29458 29457 30549 31841 31858 31835 31866 31864 31859 31863 24681 30049 30011 29443 29464 29463 29438 29442 31938 29517 29516 31929 31937 29508 27031 29437 29436 29429 29428 21100 21049 21099 21023 21051 21024 21137 21050 21021 21098 29425 29434 29407 27590 26988 26987 26989 24666 24675 24674 29422 29416 29423 29414 29415 27015 29493 29830 29495 29467 31888 25295 3972 3917 3980 3918 3919 3923 5668 5725 3924 3971 5507 5660 3647 4016 5509 3964 4008 3916 3933 3915 3941 4007 3960 3940 5230 5659 3965 5510 5656 5226 5224 5223 4012 4187 5267 5268 5220 5270 5271 8195 5661 5723 8197 5222 12465 12463 12460 12464 11187 12508 12507 6704 10152 14967 8994 3095 2722 15597 5234 27060 22185 31827 31860 5243 10673 14095 14187 14188 14184 14094 17097 17098 16523 17100 14678 14676 14677 14679 23807 23803 24089 23804 14510 9359 19340 21452 21759 21454 21455 21383 21664 21760 21668 21440 21386 21665 21382 21661 21758 26479 21794 21849 21857 21844 21856 21795 21781 21848 14417 21845 21846 19438 19510 21782 21785 21789 21847 21783 21793 21858 24204 24278 24270 24205 24214 24206 24265 24277 24209 24215 24269 24202 24210 24208 24279 24216 24194 23791 21929 21923 21778 21819 21796 22116 22117 21924 24539 21922 21832 21896 21925 21861 21904 21889 26229 21927 26234 26232 26258 26261 26233 21926 21914 21895 24192 28652 21930 21860 28647 24190 24193 21890 24191 21833 21928 21936 21884 21880 21881 21885 21934 21935 21876 21875 21883 21886 21882 21836 21835 21868 21866 21834 21837 21842 21869 23837 23840 19351 19350 23839 19348 19349 19411 19501 21373 19398 19475 19506 19504 19503 19493 19439 19474 19468 19357 19483 19469 19412 19509 19502 19505 19375 19507 19440 11669 11620 11622 11621 12037 11769 17039 17044 17092 17027 17034 17040 17043 17041 17093 17094 17038 17026 17042 17024 23930 14850 14672 14619 14617 14621 14671 14605 14606 14613 14603 14620 14622 14623 14618 14533 14661 14659 14598 14651 14569 14632 14667 14664 14660 14633 16528 14570 14665 14626 14627 14663 14662 14641 14556 14666 14597 14515 14567 14568 14854 14853 14650 14547 14642 14549 14553 14534 14546 14544 14552 12433 12432 14514 14649 16973 17063 17071 16955 17064 17070 16967 16970 16966 16968 16965 16974 18950 18952 18951 14608 14609 14611 14607 14610 16530 16529 16531 14165 21391 21387 21392 31624 31049 31048 31653 31628 31657 31019 31629 31652 31658 21394 31627 31726 31709 31660 31656 31703 31626 31659 31661 31625 31796 31713 31623 31710 31714 17276 24362 22042 22112 22108 22113 16510 26243 14596 14668 21372 21371 21370 16956 16958 16935 24527 24522 24491 24519 24464 24465 24387 24520 24508 24492 24438 24521 24437 24528 24432 24525 24385 24386 24524 24526 18998 18997 16943 21389 16994 16995 14670 16993 16992 17000 17033 21419 21416 21418 16988 16989 19070 19067 19069 19036 19068 19387 19379 19394 19395 19377 19386 19388 19391 19389 19461 19464 19447 19448 19515 19460 19462 19459 19445 19513 19455 19465 19514 19463 14176 14175 11763 9345 9346 9576 195 340 1429 702 1511 1347 95 1345 39 4411 1366 732 171 14 98 173 182 194 222 12 19 245 339 1343 235 236 20 190 8 246 372 30 191 1510 4414 196 707 162 38 9323 17030 17028 17032 17031 17029 17069 17067 17065 17068 21393 18970 18972 18973 18971 18966 17138 17239 17128 12257 14843 14748 14824 17240 14841 14836 19303 19302 19304 19042 19305 14802 14800 14792 14801 14693 14784 14648 14644 14646 14647 24538 24537 11744 19046 19044 14087 14086 14089 14093 14088 14202 14204 12435 12434 14042 14090 14092 14091 14232 14041 14177 14181 14178 14043 11770 11980 11977 11765 11981 12075 11771 12074 11768 12428 12358 12424 19057 19041 19058 16616 16886 18928 19680 19667 19681 19649 19595 19683 19677 19545 19679 19543 16904 16902 21417 16913 16876 16903 14216 14215 16914 16619 16909 16922 16670 16866 16817 16669 16666 16668 16865 16867 16907 16869 16870 16868 16921 16864 16840 16920 16908 19307 18929 19032 19243 16919 19240 19339 19338 19019 19034 19337 19031 19244 19033 19028 19029 19026 19030 14418 19040 19324 19255 28662 28663 12098 9826 9754 12099 12105 12097 14855 14566 17066 21390 12173 12174 12165 12160 12101 12109 12110 12164 12111 12172 14849 14779 14845 12247 14526 14520 14519 14518 17086 17217 17081 9237 11683 2493 23881 11684 2340 23880 11740 11199 11213 11544 11211 11413 11412 10034 10032 10030 10033 22181 22161 22193 22183 22653 22859 22263 22776 22860 22667 22858 22777 22676 22262 22679 22699 22837 22789 22779 22669 22838 22778 22780 22728 22678 22803 22839 22668 22798 22429 22662 22430 22654 22618 22623 22428 22620 22622 12471 7669 7668 7665 7666 4002 8145 16052 3649 4278 4224 4018 13842 13922 13924 13981 13964 14021 13980 13839 13959 13920 13881 14023 13982 14022 13951 13843 13832 13923 13831 13921 13616 13830 13841 4336 19750 13913 12468 14924 13914 13883 5228 15540 3019 4009 17379 13615 12521 13095 22682 3961 5860 5221 7905 13859 16387 3925 8247 3654 22203 22205 17358 2949 24326 24344 24345 24351 24282 24347 24348 24335 24228 24219 24327 24346 24310 24349 24225 24226 24240 24333 24281 24237 24198 24317 24254 24325 24221 24350 24223 24231 24311 24218 24222 24233 24253 24229 24217 24236 24334 24230 24199 24316 24343 19416 19421 19414 19415 26614 26611 26612 26613 26615 24540 22124 23838 24363 23786 24361 24360 23813 23808 23812 23811 23814 24393 24394 24451 23785 24447 24450 24446 24366 24440 24509 24396 24390 24364 24365 24389 24398 24395 28686 26266 28687 26265 26240 26264 28684 30989 26275 28685 31124 31037 24531 31137 24545 33411 24482 31039 31442 29024 33409 31125 30988 31444 24530 24483 24486 24480 24476 24481 24487 24532 24534 24485 24469 24484 24529 24533 31443 26274 31138 31135 30990 31134 31132 31120 31131 31038 26783 26784 26782 31139 31348 31128 31349 31133 31121 31136 24468 31345 24463 23843 23842 19453 19449 19451 19450 19452 19456 19458 19457 19446 19417 19418 19420 17271 17266 14392 14395 14393 14394 17200 17270 17211 18943 10007 10003 10008 9937 9735 9734 9736 9774 9773 9733 9769 12255 12256 14682 14756 14767 14766 14101 14714 14762 14712 14713 16500 14581 14595 14522 14585 14531 14593 14532 14586 14594 14530 14537 14535 14190 17163 17165 234 180 46 155 159 156 367 363 364 366 371 369 4 25 733 237 344 370 17 233 197 308 240 172 368 158 18 1459 1427 1365 244 154 26 919 927 13 708 343 157 21 365 926 736 709 735 230 22 928 210 2156 2258 2249 2218 2237 9617 9615 12306 12396 705 701 28 373 301 920 490 238 239 730 241 491 706 242 11 341 16522 17135 17133 17134 17188 14458 17170 17149 17148 14749 305 304 2267 2238 2220 2217 1348 1509 4437 1461 243 99 65 2318 2155 2154 1721 2225 1443 1349 101 1426 4415 1458 2259 100 306 1425 1367 1444 300 299 1346 1342 1344 303 97 4416 2266 2157 2219 1460 1441 1457 2269 302 2319 1430 12224 14572 14579 14573 17017 19361 17089 19352 19368 19360 19362 17091 31080 26218 28637 26545 26306 26516 26946 26930 26859 26944 26886 26853 26943 31081 28689 28690 28688 28678 28683 28665 28672 28673 28666 28658 31073 28628 26222 26521 26211 31072 28900 26965 28870 26872 26206 28691 28619 31106 31108 29204 29202 26816 26817 26177 26867 26811 28675 28677 28696 26290 26289 26282 31035 31036 28617 28618 28627 29381 29206 29205 29203 26947 22088 22070 22071 22104 22043 22099 22105 22087 21966 22100 21965 22107 9556 9350 9560 19372 9360 9362 4936 4908 4966 5002 4998 4909 4905 4895 5004 4907 6844 4854 4965 5005 4999 5006 5003 4937 4971 4906 5001 4972 5000 4990 6864 9575 1727 622 956 1724 1726 801 1745 1718 452 451 2424 2416 2414 2415 181 307 96 298 2317 2268 2265 2151 449 493 2251 2252 2235 4438 2263 2264 4436 791 394 958 331 335 336 397 786 898 713 789 311 337 378 714 778 501 395 312 715 379 776 332 654 718 777 772 767 788 396 717 1372 382 787 334 381 338 785 309 1352 398 790 333 399 784 740 1249 226 22213 22212 13750 13757 15539 15538 24653 13439 15618 15630 15613 15616 13563 13339 13337 13438 15892 15857 13220 15984 13530 15696 13527 13275 13474 15640 15614 15980 13604 15854 15790 13560 13603 16025 15759 15920 17399 13369 13191 13190 13528 13511 13306 13498 13437 13561 13472 13602 13305 13304 13473 15918 15617 15631 17330 15932 16024 15949 15919 15726 15859 15758 15948 15760 15893 15951 15981 15727 15641 15611 15612 17329 15894 16023 15860 15895 15615 15947 13499 15858 15725 15982 17396 17395 17402 17401 17397 13338 17398 7610 7639 7648 10068 7647 7640 7636 7652 8150 7773 8275 8263 8333 8313 7736 8156 8334 8277 8254 8253 8143 8202 8141 8272 8140 8173 7737 8142 8311 10053 10052 8152 10062 8312 8252 8332 8251 8153 8250 7774 12574 7712 4091 4086 4154 7714 5316 5320 4031 4082 4130 4093 4167 13059 15167 15360 15359 15391 15355 15165 15399 15390 15357 15166 27063 27069 27065 27064 27068 12615 12616 12981 12982 12918 12620 12953 12621 12565 12568 12562 12567 12566 10044 19818 19822 19819 19820 19823 19816 19817 14952 14979 7718 5314 4084 4092 5313 7715 7717 4146 4104 4083 4113 4126 7711 4131 4085 4153 4105 7713 4121 4046 4053 4044 4144 4143 4123 10134 4051 4050 4099 4048 4122 4054 4049 10138 10133 10139 10135 10136 4019 4047 4098 4052 4100 14978 10149 10148 21275 22150 13783 13781 13816 13751 13752 13825 13780 13817 10087 10090 10086 12534 13627 7633 17307 17306 12462 12461 19797 19796 17327 17326 17376 17373 17375 14955 17400 19821 14905 15403 15036 15402 15037 13180 13308 18275 18278 18401 18180 18146 18372 18314 18147 18281 18313 18211 18403 18316 18315 18341 18279 18402 18369 18370 18181 18179 18353 18062 18148 18117 18032 18280 18033 18340 18444 18445 18446 18405 18039 18037 18036 18368 18051 18035 18038 18034 22244 22239 22240 22238 22241 22243 8527 8655 8684 8351 8632 8656 8464 8685 8367 8594 8355 8350 8349 8631 8348 8595 8657 8669 8630 8433 8352 8463 8686 8597 8591 8354 8462 8353 8378 8629 8495 8496 8497 8596 8368 8377 11140 11017 11078 10918 10769 10948 11090 11018 11052 11106 11053 11107 11139 11109 10770 11051 11016 11077 8688 8719 8721 8718 8761 8760 8762 6263 6267 5929 5231 6298 4165 5933 4168 6042 6339 5928 6296 4169 6341 5931 6265 6340 5930 4183 6170 5934 6075 5957 6012 4145 5927 5947 6176 6173 5946 6248 6264 4182 6300 6235 6076 6209 6210 6041 6297 5932 6175 6208 6074 6234 6211 6236 6174 6043 6106 5956 13063 13130 13142 13062 13143 13108 13165 13139 13129 13138 13141 13178 13144 10132 10883 7646 10917 7645 10854 10885 10884 10799 10916 8717 15608 13448 13449 13479 13478 13463 13469 13318 13381 13324 13444 13468 13455 13342 13348 13372 13319 13371 13386 13317 13347 13200 13480 13565 13525 13494 13566 13567 13591 13595 13598 13597 13599 14881 14884 14885 13400 13417 13453 13401 13248 13405 13419 13250 13271 13186 13251 13413 13188 13344 13280 13279 13268 13362 13363 13416 13406 13187 13249 13402 13555 13367 13487 13366 13388 13307 13270 13278 13418 13407 13408 13490 13420 13281 13310 13550 13588 13548 13551 13544 13545 13606 13571 13570 13488 13554 13543 13549 13309 13476 14883 13470 14882 13446 13445 13345 10063 10066 10064 10067 15601 15666 15670 15669 13592 29509 29512 31930 29514 29515 29513 29587 29634 29576 29531 30085 30004 29859 29864 30086 29586 29630 29645 29577 29635 29633 29643 29632 29644 29522 29575 29646 29574 29699 29629 29641 29678 29958 30090 29534 30110 30106 29862 30003 30107 29865 29952 30005 29523 29700 30091 29999 30109 29900 29951 30006 30076 29953 29863 30000 30010 29568 30012 30077 29955 29956 29957 29628 29533 30089 30009 30088 30111 30055 29701 31931 31936 31933 31935 31934 27280 29510 27573 27565 27647 27515 12484 11183 11142 11182 11181 12554 12555 12560 12557 12556 12559 11138 20453 20454 29462 29536 29566 10772 12553 10773 11012 11015 10776 11105 10788 10771 10775 10789 11050 11076 10798 29451 31871 34315 10774 24614 24571 24604 24582 24602 26986 24566 24567 27025 27003 27023 27099 27035 26992 27097 27098 27078 27100 25283 25713 27013 27010 27011 27014 29492 29491 29482 27072 27073 27056 27831 27746 27801 27832 27999 28086 27865 27964 28056 28054 28025 28037 28024 28000 27998 28053 27864 27211 27438 27147 27165 27441 27223 27224 27207 27214 27166 27444 27040 27225 27208 27146 27153 27213 27226 27442 31944 32373 32379 32424 32420 32425 32286 32120 32068 32285 32121 31988 32377 32283 32376 32421 32280 32378 32067 32374 32426 32099 31989 32321 31952 31882 31955 32066 31954 32008 32064 32062 32065 32049 32061 32055 32063 31943 32054 32052 32050 31998 32007 32056 32053 31994 28500 28410 28147 28440 29439 29440 28533 28494 28412 28536 28504 28493 28492 28401 28443 28402 28409 28501 28532 28441 31997 32284 32372 31996 32051 31995 32006 32365 31908 34351 31957 32678 32855 32769 32735 32939 32854 32553 32784 32923 32730 32858 32775 32919 32788 32646 32913 32774 32548 32608 32785 32647 32770 32645 32638 32555 32639 32781 32768 32918 32911 32649 32614 32731 32916 32637 32756 32615 32556 32856 32776 32786 32677 32734 32712 32613 32912 32675 32676 32938 32644 32922 32648 32787 32618 32917 32773 32821 32636 32619 32616 32554 32617 7728 7727 31870 29452 28087 15586 13065 15671 16951 18996 17015 17016 17014 17007 33438 33437 33436 34362 31885 34336 34247 34335 34333 34334 34324 31884 31883 34254 34363 34266 34286 34252 34248 34283 34341 34361 34250 34298 34253 34249 34251 35344 35040 35096 34977 35334 35057 35360 35359 35277 35058 34975 35035 35039 35060 35156 35206 35067 35190 35034 35151 35070 34969 35189 35242 35197 35069 35202 35194 35059 35177 35155 35209 35207 35332 32974 35195 34974 35065 35152 35098 34976 35191 35339 35066 35196 35038 35858 34310 36783 36709 36668 36784 36740 36669 36719 36675 36707 36771 36676 36756 36674 36670 36757 36781 36687 36780 35337 35338 35205 35097 36782 35275 34359 34358 36779 35343 34241 35340 35276 35333 34255 34360 35068 36671 31872 31869 34288 36762 34319 14604 14616 14615 14614 14578 14575 14576 14577 28682 28681 16939 16987 17006 16941 16947 17002 16953 16952 19364 19374 19436 19428 19435 19437 19373 19423 19427 28679 29122 29194 31479 31542 31528 31454 31453 31533 29196 31540 31455 31456 31469 31467 31466 31465 31541 31532 31477 31473 31615 31472 31478 31457 31468 31471 16940 14673 14612 14574 9983 12076 9283 2492 17259 12185 16509 19073 4980 4872 19692 21343 6853 18976 6823 23784 12427 9262 19306 11738 7539 4822 24523 14643 24397 26871 12429 12359 26260 9622 32530 32531 32532 32533 32511 32507 32510 32430 32427 32476 32546 32506 32431 32509 32498 32512 32497 32433 32976 34313 34284 34285 34280 32432 32470 34270 34271 34279 34267 34278 34291 34292 34276 28361 28313 28312 28286 28287 28314 28363 28400 28362 34365 34373 34410 34409 34854 34704 34707 34376 34846 34488 34852 34799 34701 34848 34928 34933 34953 34705 34489 34851 34798 34742 34841 34793 34897 34706 34800 34951 34927 34795 34931 34930 34842 34919 34416 34470 34476 34418 34428 34475 34484 34473 34427 29471 29469 29470 27071 27070 27061 34265 34257 34258 34264 34263 34262 34261 34256 36786 37318 37272 36796 37339 37266 37216 36797 37262 37353 37340 37214 37215 37269 37374 37352 37267 37221 37273 37263 37348 37349 37372 34477 34542 34375 34415 34952 34471 34472 34303 34541 34486 34417 34474 34520 34483 34482 34847 34487 34932 34429 37220 36910 36893 36849 37218 36724 36848 37125 36895 36904 36836 36830 37219 36897 37127 37128 36962 37370 37122 36831 37126 36697 36941 37369 36909 36908 36838 36896 36891 36892 36850 36839 36840 36785 36894 36905 36837 27613 27514 27273 27276 27694 27107 27674 27564 27698 27649 27563 27614 27572 27275 27108 27615 27457 34794 34364 34485 34918 34797 27575 27648 27450 27449 27516 27675 27677 27695 27087 27095 27096 24679 25592 25653 25659 25293 25676 25593 25519 25290 25518 25675 25693 25660 25595 25292 25711 25523 25591 25655 25522 25524 25493 25520 25511 25648 25291 25525 25521 25656 25512 25654 25510 25649 25650 25558 25513 24689 24620 24606 24609 24610 24724 25543 25541 25538 25664 25666 25579 25603 25578 25577 25635 25665 25296 25604 25632 25544 25633 25616 26976 28476 28436 26140 26983 28428 28232 28207 28295 28168 28496 28289 28299 28377 28464 28381 28430 28137 28437 28429 28434 28431 28208 28378 28154 28165 28425 28435 28138 28301 28424 28538 28268 25709 25707 25668 28233 28176 25708 25234 24692 25244 25267 25213 25270 25157 25162 25269 25163 25168 25243 25167 25249 25161 25158 25116 24691 25248 25110 25164 25235 25109 25111 25170 25247 7889 8210 8164 8168 7910 8215 8111 8076 8166 8074 7778 8169 7779 8163 8216 8075 8211 7858 8167 7911 7857 10051 10049 14954 12916 12917 12753 12915 12912 8723 8749 8627 8724 8636 8725 8756 8358 10050 8652 8606 8544 8603 8750 8626 8613 8755 8634 8757 8628 8602 8621 8683 8607 8638 8753 8637 8604 19824 27001 27002 18152 18186 18151 18150 22151 20822 22177 22176 21273 21241 21270 21269 21238 22159 22862 24624 24626 27051 27055 27054 24634 27075 24726 25115 25113 25022 24802 24805 24836 24804 24857 24793 24744 24787 24735 24789 24745 24801 24790 24858 25058 25021 25023 24680 22874 22875 23243 23023 22959 23022 23288 23121 22990 23182 23158 23195 23122 22989 23247 23287 23053 22904 23212 23123 23021 23211 23286 23244 23157 23245 23183 23156 22988 23214 24658 24798 18061 18052 18339 18409 18042 18291 18439 18310 18408 18290 19734 18434 18321 18288 18297 18305 18437 18311 18318 18312 18336 18228 18322 18441 18407 18287 18367 18286 18433 18320 17349 22237 17353 17350 17352 22215 22217 22218 24733 24732 24791 24788 24799 24734 25264 25265 25020 24803 25017 24619 24630 23292 24731 24743 25114 25246 24800 24725 24786 24792 25268 22729 22719 22720 22260 22853 22856 22733 22722 22807 22833 24588 22806 22266 22265 22852 22805 22730 22723 22771 22731 22772 22831 22832 22835 22773 24644 24648 24642 24643 27094 27092 27093 27091 24667 24673 27089 19844 19845 37268 34272 34845 34419 38243 37375 37818 37388 38236 37373 37354 37163 36963 37351 35397 34954 34967 36906 36898 36903 36907 37275 17416 20410 22247 20017 20352 20302 20312 20309 20384 20310 20351 20350 20301 20252 20253 20300 19876 20249 19877 20386 20411 20385 20308 17418 19842 20382 20246 20278 20255 20247 20377 20257 20358 19841 20307 20258 20261 20356 20368 20355 20357 20359 20248 17990 17991 17931 17964 17965 17963 17930 20187 20194 20251 19839 20013 20186 20010 20012 22721 22434 22673 22674 22433 22615 22607 22672 22608 22431 20416 20412 18011 17993 18010 18014 19746 22315 22298 22671 22804 22770 22603 22606 22670 22297 24671 24672 24670 22223 22222 22221 22226 22227 24669 24646 24645 22220 24668 22438 17826 17857 17995 17840 17935 17825 17937 17836 17837 17936 17938 17947 17420 17421 17776 17778 17781 17811 17586 17956 17886 17934 17834 17961 17827 22249 22246 22250 22252 22251 17996 17997 18018 18017 18016 24647 19832 19733 20414 20431 20432 20435 24859 20250 20299 20298 19894 20383 20182 20185 20349 22146 22145 22148 22147 22144 20869 18029 18028 23622 23326 23593 23389 23583 23582 23701 23595 23596 23332 23312 23391 23624 23486 23390 23458 23594 23337 23336 23447 23416 23296 23536 23453 23535 23448 23426 23335 23338 23699 23365 23634 23587 23588 23457 23700 23586 23589 23654 23539 23456 23295 23368 23592 23333 23534 23311 23324 23533 23331 23366 23655 23459 23323 23334 23621 22157 22156 22158 22242 22138 22135 22137 22139 18334 18226 18045 18227 18335 18043 15865 15792 15740 15745 15769 15739 15763 15802 15793 15807 15768 15621 15738 22403 22404 22432 15915 15913 15914 15986 15946 16018 15987 16019 17313 16013 16012 16020 16016 15988 18030 15891 15900 15884 15876 15901 15897 15899 15890 15889 15870 15869 18259 18332 18329 18250 18209 18241 18262 18330 18295 18204 18243 18328 18393 18242 18203 18031 18391 18261 18392 18387 18384 18385 18260 18248 18413 18258 18255 18412 13277 10089 13556 13179 15866 15867 18390 18247 18230 18396 18208 18249 18397 18244 18386 18023 18205 23304 23597 23318 23517 23649 23469 18440 23316 23317 23518 24577 24579 23468 24578 24575 24632 22253 22245 22254 26079 25726 26080 27018 27019 26115 26111 26112 26083 34259 31909 29430 26078 23607 23604 23299 23648 23527 23526 23608 23516 23523 23565 23300 23525 23643 23543 23635 23664 23605 23514 23515 23606 34311 31904 32251 34312 31911 31905 31910 31906 31907 23665 23707 23706 23666 23705 29488 29487 29490 29483 29486 21276 19726 31887 31889 27409 29468 24556 24560 22801 22802 22300 22666 22299 22665 22248 22224 22225 22167 24656 24655 23646 23647 23696 23697 25745 26042 25960 26007 25744 25874 25869 25956 25868 25732 25811 25837 25847 25879 25878 25880 25907 25812 23650 23519 23567 23557 23470 23305 23568 23599 23690 23652 23521 23658 23570 23520 23694 23662 24597 24598 23315 23657 24654 23659 23691 23471 23598 23559 23556 23651 23566 23558 23560 23444 23445 23472 23601 23442 24633 25988 26019 26020 25991 25987 25942 25979 25941 26072 25977 25981 26073 25980 25989 26022 26071 25978 25892 25940 25893 25863 25891 25865 25866 23509 23435 23441 23464 23467 23501 23465 23436 23434 23500 27076 25755 25810 25757 25759 10028 10025 10024 10023 24616 24615 34306 34305 36734 36736 34337 35037 36758 36764 35815 35822 25284 24590 24593 24589 24562 23719 26117 26122 26076 26043 26075 25717 25756 26016 25955 26010 26008 26014 25954 26015 26013 25877 25758 25716 25753 20418 20439 20437 20438 20417 22154 20600 20790 20823 20700 20762 20569 20736 20568 20735 20701 20761 20791 20793 20538 20774 20567 20632 20737 20601 20483 20602 20702 18159 18189 18223 18160 18166 18190 18214 18161 18213 18184 18187 20460 20456 20760 20472 20482 20734 20789 20457 20473 20458 20455 20824 20699 18022 7631 7657 7630 7632 7667 7629 7635 7655 7624 27086 27082 20865 20866 20826 20867 27057 24664 24665 24660 24661 24662 20201 20233 20197 20232 20241 20007 20008 20199 20009 20202 23181 22903 22878 22894 23155 22893 22880 23210 23117 22881 22879 22876 23120 26004 26003 25733 26118 25747 26121 25787 26045 25786 26009 26017 26055 25789 26120 25957 25754 25752 38275 38267 35842 35828 38265 38249 38250 35844 38263 35854 35855 35846 35843 35829 38276 38264 22958 22939 22957 22905 22877 27080 27083 27084 27079 27085 24558 24559 24638 24639 24636 24659 18724 22172 22171 7840 7798 7854 7797 7855 7786 7843 7846 7845 7842 7853 7844 7788 7839 7852 7787 7841 7856 8139 8276 7785 25468 25413 25472 25507 25471 25415 25506 25505 25467 25414 25449 25384 25376 25374 25354 25355 25352 25385 25375 25382 25350 25353 25381 25345 25356 25383 25351 25386 25373 25412 25285 12459 3507 3508 3407 2877 2878 24599 20851 17773 21829 21831 21830 21756 21745 21675 21507 21747 21673 21506 21718 21458 21751 21750 21709 21763 21710 21711 21707 21762 21749 21708 21764 21712 21682 21461 21738 21744 21755 21719 21494 21672 21728 21746 21676 21727 21739 21462 21726 21489 21723 21725 21457 21491 21724 21463 31107 26861 26948 26818 26945 26819 26810 26781 26815 26814 31105 26807 26949 26868 26966 26787 26885 26806 26940 26912 26858 26913 26929 26808 26942 26785 26786 26941 31084 31083 31082 31085 19413 18979 9284 14571 18995 617 214 731 11736 33403 35805 35688 35428 35433 35494 35401 35801 35692 35727 35804 35806 35698 35441 35470 35640 35726 35591 35701 35471 35400 34239 35431 35553 35442 35639 35760 34246 35802 35440 35436 35552 35563 35693 35687 35521 35641 35562 35473 35531 35558 35496 35700 35691 35417 35644 35439 35759 35564 35443 35438 36662 37838 37821 36667 36704 37837 35824 36660 38226 38245 38227 38248 38225 38223 38246 38222 35825 35827 35859 36794 34281 34282 37755 37487 37700 37488 37611 37627 37696 37518 37697 37450 37398 37456 37758 37520 37461 37390 37460 37577 37761 38258 38261 38260 38262 37486 37616 37490 37455 37630 37780 37572 37618 37573 37766 37458 37754 37397 37576 37554 37478 35377 35395 37626 37457 37389 37781 37617 37517 37623 37629 37764 37759 37628 37489 37598 37753 37765 37612 37480 37610 37479 37698 37459 37491 37615 37481 37663 37395 37519 37760 27717 27863 27830 27895 27716 29478 28130 28071 28080 28012 27777 27834 27766 28070 28077 28013 28081 28076 28075 27705 28096 28097 28082 26993 26995 26994 31926 28014 28069 28132 28114 28016 28074 29504 31922 29435 29502 29506 29503 29507 27794 27934 27927 27932 27942 27795 27870 27807 27771 27914 27836 27945 27802 27946 27796 27933 31923 31928 31927 31921 31925 29501 34345 34342 34346 34348 34344 34349 31924 27775 27712 27774 27979 27776 27892 27944 29500 27835 27804 27711 27805 27713 27889 27926 27893 27806 27714 27833 27931 27928 28089 28129 28128 27939 27888 27943 27797 27803 27772 27706 27773 30434 30314 30355 30360 30433 30363 30309 30366 30364 30367 30365 30497 30198 30127 30335 29432 29431 30291 34343 35029 35036 29481 34274 34277 34273 29480 30348 30352 30495 30498 30354 30216 30492 30134 30501 30313 30194 30132 30496 30187 30223 30196 30195 30133 30228 30227 30218 30254 30224 30255 30226 30353 30435 30347 30349 30437 30490 30310 30257 30217 34948 30400 30502 30491 30256 30192 30197 30193 30225 30215 34949 36770 34853 34891 31899 36769 36766 36765 36767 34260 34968 32956 34350 35857 36672 36673 35208 35099 35279 35345 31912 31913 31903 31901 31902 31932 28169 28209 13682 13773 13912 13611 13650 13642 13850 13640 13852 13855 13639 14012 13899 13909 13940 13707 13905 13763 13898 13971 13612 13851 13649 13937 13732 13774 13970 13911 13648 13902 13910 14015 13706 13628 13908 13903 13772 13950 13849 13802 14016 13764 14017 13938 13775 13769 14013 13904 13652 13654 13684 13651 13705 13647 13653 13681 13742 20895 21236 21228 20894 20896 21176 21096 21097 20897 21047 21048 29485 22268 23133 23147 23130 23164 23070 23153 23139 23160 22952 22964 22963 22962 22933 22961 22935 22955 22954 22934 22932 22993 23084 23086 23046 23085 23051 23090 22965 22992 23028 22994 22991 16456 17299 17828 17456 17829 17455 17928 17764 17877 17887 17473 17989 17878 17962 17761 17308 17339 17341 17319 17351 16029 15599 17301 17305 17302 6303 6262 6336 6108 6206 6079 6055 6302 6304 6231 6056 6181 6335 6123 6215 6334 6186 6192 6085 6185 6183 6084 6217 6205 6118 6216 6200 5937 6328 6061 6054 6109 22192 22191 18448 18430 19724 19725 24663 18473 18715 18627 18462 18476 18714 18676 18475 18474 18815 18755 18807 18626 18675 23089 23050 23072 22930 23047 22929 22864 23104 23101 23228 23272 23239 23233 23290 23234 23235 23170 23227 23172 23171 23092 23103 23137 23091 23102 23254 23255 18458 18801 18681 18674 18683 18673 18766 18457 18701 18723 18793 18684 18762 18822 18763 18672 18765 18685 18764 18806 22960 22871 22869 22872 22870 23240 23097 23232 22863 23238 23100 23174 23229 31918 31919 31897 31896 31895 31893 31917 29496 29498 35699 35495 35416 35729 35739 35694 35429 35437 35561 35432 35472 35435 35697 35638 17587 17812 17780 17820 17588 17960 17959 17458 17457 17824 17823 18864 18863 18824 18823 18865 23512 23319 23513 23320 16262 16201 16246 16401 16264 16237 16252 16343 16251 16037 16263 16036 16202 16345 16173 16253 16344 16178 16260 16380 16204 16302 16341 16238 16372 16385 16342 16443 16442 16403 16402 16444 23152 23177 23162 22884 23249 23068 22155 22887 23209 22885 23132 23129 23069 23128 23163 23176 23178 23154 23279 23283 23282 23276 23281 23275 23251 23250 18450 18020 19723 20443 20680 20626 20669 20671 17462 17760 17795 17463 20807 20818 20812 20751 20813 20806 20681 20808 20753 20683 20750 20814 20716 17594 20817 20811 17901 17905 17360 10038 19792 16383 16057 16056 16384 16250 16249 20679 20450 20448 20451 20676 20682 20543 20668 20534 20540 20625 20513 20573 20508 20544 20749 20630 20531 20670 20533 20514 20664 20629 20509 20572 20570 20542 20665 20663 20541 20651 20512 20571 20511 20607 20834 20833 20442 20819 12543 13608 12537 24576 22168 22169 10140 11212 10194 10195 10697 10696 10560 10561 10042 10043 10039 8336 10153 20883 10642 10587 10636 10631 10200 10584 10637 10641 10709 10590 10722 10723 10742 10743 10588 10632 10589 10585 10721 10741 10644 10638 10687 10199 10720 10635 10708 10276 10265 10208 10260 10275 10261 10266 10277 10264 10207 10262 10273 10274 10209 10267 10219 10206 10218 10263 10093 10123 10717 10165 10332 10718 10331 10495 10491 10494 10124 10114 10166 10310 10279 10278 10583 10110 10113 7704 7688 7705 7703 7702 7641 8766 10163 10041 10040 10738 10037 9068 8221 8073 8288 8297 8299 8220 9108 9175 9056 9193 8933 9010 9009 9008 8797 9061 9067 9129 9013 9128 9007 8798 9098 8960 9057 9063 8322 8764 8746 8932 8931 8865 8890 8786 9060 8809 7744 8863 7672 8811 8812 8839 8808 9066 8807 8800 8921 8900 9174 8864 8930 8321 8302 8296 10036 8927 9069 8769 8805 8840 9070 8922 5915 7742 7745 9062 8842 8810 8300 8214 8217 8287 8070 8162 7732 8223 8770 9096 9095 8806 9173 18622 18625 18667 18592 18623 18659 18594 18599 18593 18658 21186 21095 21102 21104 21183 21185 21122 21214 21187 20878 21222 21243 21225 21284 21245 21286 20879 21105 21226 21184 21227 21144 21106 21244 21285 21094 21093 29505 15624 15805 15806 15622 15620 8338 8577 8611 8564 8428 8407 8404 8426 8437 8563 8574 8566 8439 8436 8465 8344 8346 8576 7616 8438 8409 8565 8345 8468 8571 8521 8429 8403 8578 8520 8560 8467 8524 8559 8406 8435 8525 7719 7693 7642 7643 17303 17304 7681 5622 7680 7689 7692 10112 5329 5330 5321 5312 6345 5936 8745 8696 8543 8542 8693 8742 8740 8744 8361 8736 8737 8694 8738 8415 8735 8359 8697 8739 8731 8692 8691 8690 5306 5307 5333 5290 6636 6586 6641 6674 7615 6772 6365 6687 6649 6677 6642 6753 6587 6646 6635 7622 7621 7623 5295 5305 6125 6047 6142 6104 6100 6155 6046 6287 6225 6144 6325 6343 6308 6307 6286 6157 6139 6227 6044 6282 6137 6081 6145 6288 6190 6224 6103 6045 6291 6143 6280 6285 6281 5304 5219 5655 8317 8318 7619 7620 5269 6675 6348 5983 5986 6017 5987 5988 6018 6015 5448 5400 5902 5654 5794 5900 5460 5446 5447 5443 5455 5491 6154 5800 5512 5867 5746 5690 5445 5441 5454 5389 5748 5802 5653 5745 5390 5795 5878 5747 5881 5880 5796 5442 5899 5399 5444 5456 5985 5458 5513 5901 5790 5789 5315 7691 4096 4103 4102 5282 5294 5283 5291 4128 4127 5319 6640 6754 6707 6752 6647 6639 6589 6645 5218 12533 5334 5924 5923 5925 6153 6150 6364 5742 5743 7618 5346 5344 5793 5652 5649 5799 5741 5347 4185 4171 4172 4179 4173 4141 5982 4161 4163 4138 5917 4139 4162 5387 5388 3992 3962 3968 3993 3621 6749 6213 5916 6207 6082 6332 6182 6329 4295 4339 3641 3612 4344 5217 4342 4274 4026 5244 5245 4314 3645 3611 3614 3644 5876 3630 4011 3949 4294 3998 3928 4338 4308 5897 4343 5896 5274 4374 6750 3994 4360 5875 3613 4337 6349 3999 4055 7617 6708 8546 5879 8502 8732 3997 5866 8408 6293 8575 3640 6099 3883 4036 6014 8741 8698 6292 6016 4101 8320 8301 6592 6138 5457 8558 15609 15837 15834 15839 15874 15841 15840 15838 15701 15702 20449 20707 20861 20708 20854 20802 20803 20726 20801 20836 20849 20647 20718 20649 20712 22133 20828 22130 20830 20742 20837 20860 20733 20466 20757 20844 20798 20711 20846 20709 20850 20743 22128 20741 20843 20464 20829 20788 20841 20648 20799 20842 20862 20847 20732 20520 22129 20463 20840 20731 20739 20898 21092 20899 21091 22259 11055 11049 11058 10965 11023 11059 11171 11176 11145 11177 11146 11170 11178 11174 11057 11072 11071 11047 11144 11027 11042 10779 11034 11104 11048 11028 11073 10964 10782 10780 10963 10981 10985 10889 10923 10888 10941 10946 10887 10995 10759 10967 10945 10996 10986 10999 10767 10765 10992 10998 10997 10766 10987 11032 10859 10857 10858 10886 10830 10824 10828 10847 10825 10849 10850 11025 10856 10827 11024 8729 8728 8712 8709 8644 6156 8703 8706 8714 6007 6223 8337 8707 8713 8708 8645 8702 6005 6008 8648 8701 8466 10942 10115 10829 8646 6588 10860 10980 10979 10984 13053 13010 13058 13008 13011 13057 13052 13009 12587 13006 12698 8266 8323 10117 10118 10515 5845 12696 10757 12628 12685 10744 12629 12684 10739 12682 12630 12686 12688 12627 12687 12683 12514 13004 12639 12695 12697 12694 13005 12584 12640 13056 12586 12681 14995 20845 20795 20797 20796 20855 20858 17542 17541 17573 28173 28539 28497 28210 28438 28542 28376 28231 28153 28300 28543 28375 28180 28541 28298 28178 28174 28170 28258 28166 28179 28177 28463 28328 28290 28175 28466 29404 28561 25725 25738 25739 26070 25890 25939 25736 26018 25938 25737 24603 24561 24605 24612 25864 25819 25818 25816 25813 24613 17759 17464 17758 17595 18877 19720 17356 37942 37892 38115 38061 37985 37858 37853 38109 37822 37852 37917 37849 37859 37850 37862 38121 38112 38012 37861 38118 37952 37893 38062 37982 38180 37891 38059 37894 38114 38122 38148 37915 37856 37854 37984 38160 37983 37864 38119 38113 37973 37974 38065 37916 38147 38181 38120 38060 37857 37860 37863 37979 38150 38108 25889 25036 24852 24854 24855 24769 24776 25254 25191 25273 24825 24853 21077 24687 24686 24778 24823 24777 25256 25193 25143 25192 25226 25142 24741 24740 25029 25228 25151 25028 25144 25154 25094 25253 25227 25152 25194 25095 25093 24719 25091 24718 25140 25141 29475 29474 25150 24767 24824 24775 24766 25225 24736 24739 25024 27009 25277 25274 26998 27000 26999 26085 26087 26086 26126 26127 26128 26069 26029 25936 26027 25720 25948 25947 25944 26056 25937 25986 25964 26067 25740 25934 25741 26068 26064 25933 26025 25946 26026 25935 25721 26028 17983 17900 17950 17972 17894 17899 18006 17848 17853 17850 17847 17851 17852 17754 17757 17846 17982 17893 17898 17904 17428 17429 17984 18004 17985 17907 17895 18002 18001 18005 17980 17986 17971 17426 17981 17849 29497 27077 36763 36733 36732 34672 18041 34309 18469 18813 18780 18744 18779 18496 18617 18616 18484 18754 18644 18493 18745 18859 18792 18614 18606 18751 18857 18782 18697 18523 18548 18753 18453 18812 18549 18454 18740 18746 18470 18615 18741 18482 18691 18858 18750 18694 18489 18524 18490 18747 18693 18574 18494 18526 18492 18547 18495 18584 18611 18481 18605 18692 18752 18398 18021 20422 18007 21066 20880 20881 21103 20877 20893 18855 18854 18491 16358 16272 16276 16270 16273 16049 16326 16271 16331 16333 16330 16048 16332 26074 5459 3948 6848 14680 14681 17101 17103 17183 17102 17184 17177 17187 19556 19604 19554 19555 5194 6845 6847 9285 9286 9287 4859 4934 4865 4514 2242 4871 4515 4933 4932 6868 4504 4857 4925 6866 4924 4858 4861 6867 2314 6861 4870 6846 4869 4920 2501 6865 9872 9871 17282 14838 14781 14702 14754 17160 22106 14803 22102 14797 14694 14847 22011 14848 14796 22016 14799 22017 14798 22044 17162 14753 17208 17242 17161 14752 14825 14842 17166 17244 14701 21964 22103 22101 22098 14791 14846 14807 14808 14861 28604 28606 26884 26950 26955 26954 26263 14699 14683 14785 14837 14839 14703 14780 17207 14840 14860 14835 14750 17243 14844 17210 31058 33544 33455 29369 29270 29364 29243 29251 29253 29265 29333 29345 29367 29227 29274 33529 29368 29228 29365 29350 33900 33953 33456 29334 29361 33543 31802 33457 34036 33962 33954 29306 33894 33963 33461 33949 33889 33890 29266 28966 33899 33502 33887 33527 33533 33500 31797 33447 33440 33493 31291 31321 31143 29370 29386 29252 29229 29344 29362 31051 29271 33528 33463 31047 31052 33532 31061 29363 29248 29348 29250 29233 29254 29349 29268 33898 33964 29387 33526 28937 31144 33501 33507 31062 33515 29247 29366 29279 28727 33893 33888 29280 29267 31063 33531 33525 28942 33462 33508 33961 33892 33886 33514 33448 33470 33446 35964 36319 36374 34223 33471 31068 31148 35953 33482 33473 35935 36383 33484 33468 31363 36298 31053 31387 33483 33565 33564 31116 35965 36370 36373 36372 36296 36297 35946 35954 35936 35914 35921 35928 31358 33712 33742 31064 35875 36382 33472 35929 35883 31117 29489 29484 29511 30575 30802 30797 30574 30850 30798 30845 30799 30796 30846 30851 30849 30679 30628 30591 30722 30653 30749 30631 30597 30587 30598 30590 30599 30593 30600 30630 30594 30652 30596 30629 30595 30601 30586 30887 30558 30855 30859 30858 30857 30897 30559 30917 30719 30885 30721 30710 30918 30852 30716 30689 30654 30963 30964 30962 30884 30589 30856 30711 30720 30959 30960 25099 25120 25200 25198 25090 25199 25224 25197 24684 24683 25258 25103 25201 25219 25097 25088 25210 25100 25086 25223 24721 25087 25222 24720 30147 30252 30138 30167 30251 30137 30446 30385 30475 30458 30222 30316 30253 30421 34339 36761 36760 26996 25280 25260 25279 25259 25281 36730 36755 36745 36754 37396 31873 31987 32364 30284 30474 30419 30386 30508 30384 30445 30420 30507 30286 30477 30285 36371 36295 36308 36299 36311 36321 36320 36375 34224 33467 33466 33465 36300 35882 36641 36385 36464 36457 38269 38257 38270 38274 38273 33454 31050 29307 29351 34135 35951 35884 35952 35849 35836 35852 35853 35847 38272 35851 28643 35876 38268 35941 32848 32862 32846 32893 32816 32823 32837 32838 32847 32568 32844 32831 32933 32817 32836 32841 32840 32896 32879 32558 32842 32929 32928 32895 32806 32927 32866 32559 32807 32867 32898 32737 32707 32706 32805 32673 32705 32672 32588 32674 32643 32563 32561 32587 32578 32970 32971 32931 32972 32752 32591 32860 32753 32641 32569 32593 32592 32595 32812 32813 32814 32571 32754 32959 32960 32963 32935 32967 32966 32934 32965 32979 33267 33272 33220 33223 33270 33271 33219 33266 32995 33218 32996 33217 33074 33051 33073 33132 33140 33143 33010 33012 33016 33019 33075 33141 33011 33110 33142 33007 33131 33137 33052 33015 33021 33014 33020 33170 33022 33050 33017 33049 33100 33018 33008 33385 33278 33380 33381 33318 33383 33308 33277 33338 33279 33306 33276 33305 33384 33280 33339 33273 32980 34308 34340 34318 34316 36738 34317 36739 36737 36759 34338 34314 25092 25252 25149 25089 25027 34354 34355 34356 34357 34352 32122 27102 27220 27209 27156 27221 27210 27155 34327 34328 36773 36777 34543 36778 36776 36775 36772 34329 34331 34330 34353 34326 34325 34332 32490 32516 32358 32299 32489 32517 32405 32357 32406 32456 32491 32415 32414 32292 32291 32115 32117 32356 32407 32417 32455 32118 32457 29393 29401 29398 29400 29392 29391 29402 29396 29421 29420 29419 29418 29445 29447 34320 27673 27562 27561 27571 27541 27619 27524 27521 27618 27520 27510 27620 27640 27631 27622 27621 27509 27643 27645 27644 27679 27104 27105 27702 27681 29996 30096 30116 30115 30119 30098 29935 29871 29936 29937 29870 29992 29694 29986 29984 29696 29697 29878 30034 30068 29993 29994 30035 29985 30095 30070 30036 30069 29529 29528 27680 27570 27700 27701 29417 29578 29934 29933 29561 30067 30094 30033 29869 29982 29983 27992 28091 27974 27993 27995 27989 28020 28051 28005 27994 28004 28006 27981 27726 27975 27912 27970 27897 27898 27907 27874 27873 28123 28118 28117 28093 28092 28124 28125 28121 27034 27033 28506 28490 28448 28477 28549 28360 28359 28159 28439 28311 28146 28162 28161 28488 28489 28408 28491 28158 28310 28485 28354 28449 28547 28508 28507 28548 28450 28385 28369 28447 28368 28367 28365 28141 28160 28157 28399 28407 28446 28142 28499 28398 28355 28358 28356 28357 30064 29941 29942 29525 30041 30042 29945 30039 29932 30100 30052 30040 30065 29962 29939 30061 29931 29885 29886 29925 29916 29693 29692 29881 29917 30123 30102 30122 29883 29691 29560 29866 29526 30121 30066 30101 30043 29930 29991 29562 29563 29929 29928 29617 29619 29667 29665 29620 29695 29666 30789 30777 30786 30911 30871 30906 30870 30788 30764 30697 30728 30763 30699 30727 30707 30861 30925 30953 30831 30833 30568 30915 30864 30822 30830 30862 30914 30913 30823 30922 30921 30954 30957 30783 30782 30708 30784 30735 30734 30733 30821 30705 30928 30970 30968 30929 30779 30806 30772 30730 30704 30790 30828 30927 30562 30698 30563 30868 30867 30869 30898 30778 30969 33283 33343 33155 33204 33205 33346 33244 33128 33126 33252 33242 33335 32989 33285 33203 33282 33154 33251 33254 33334 33375 33243 27152 27164 27101 33156 33342 33129 33336 33374 33378 36735 29664 29661 33390 33288 30819 33389 33332 33227 33292 33391 30546 31839 30544 30538 30820 30539 30542 30545 33207 33171 33200 33182 33241 33341 32988 33240 33197 33004 33003 33196 33199 33198 32984 32983 33209 33349 28278 28283 28306 28276 28277 33249 33327 33291 33290 33289 33350 33210 33211 33348 33319 27212 27219 27279 27257 27479 27443 27278 27154 27222 32527 29640 29585 29573 27530 27582 27668 27589 27534 27112 27686 27670 27579 27531 27537 27584 27655 27532 27591 27667 27685 27669 27665 27588 27536 27583 27110 27664 27634 27535 27689 27688 27656 27113 27578 27585 27690 29476 28307 28351 28309 28343 28342 29472 28134 27445 27612 27140 27513 27139 27646 27157 27512 27704 27691 22849 29461 29642 29567 29631 27518 27480 27491 27511 31950 31949 32537 32519 32536 32540 36751 36747 36774 36752 36750 36748 36749 36746 36753 31947 31946 32360 32461 32383 32463 32473 32412 32353 32464 32485 32486 31983 32352 32349 32351 32350 32462 31984 32487 32482 32404 31999 32454 32041 32040 32088 32116 32086 32087 32355 32038 32085 32290 32287 32413 32488 32542 32544 32522 32523 32003 32004 32029 32039 32032 32515 32082 32030 32403 31982 32354 31981 32002 32362 32363 32521 32543 32366 32460 32528 32333 27496 27464 27460 27495 27272 27465 27271 27270 27504 28156 28340 28140 28366 28329 28144 28143 28444 28505 28293 28292 28305 28302 28445 28291 25855 25862 25856 25857 25930 25921 25885 25886 25888 25922 27462 25661 27448 30920 30581 30732 30781 30860 30731 30567 30780 30578 30580 30579 30912 30829 20326 20322 19903 19947 19892 19960 19961 19958 19962 20180 20175 20016 20179 19893 19890 20181 19883 19946 19963 20216 19948 19891 20178 19951 19945 19994 19959 19944 19902 19884 19949 19950 19777 19957 20015 16172 16171 19879 20380 20381 20245 19878 20244 15333 15480 15563 15339 15583 15042 15041 15585 15550 15529 15565 15152 15431 15473 15430 15173 15478 15427 15426 15483 15584 15474 15432 15551 15336 15562 15429 15486 15479 15174 15564 15374 15484 15338 15118 15116 15117 13246 15008 15050 15559 15105 15051 15580 15007 15108 15104 15425 15106 14935 15103 15061 15119 15048 15560 15060 13245 11150 11127 11123 11129 11167 11067 11185 11065 11066 11134 11122 11124 11133 11069 11135 11128 13486 11149 15102 11130 15115 10758 15581 15049 15337 15107 15005 15120 15477 15109 15121 22398 22401 22743 22742 22736 22749 22828 22694 22792 22846 22747 22692 22737 22305 22695 22827 22600 22741 22825 22848 22304 22826 22814 22599 22271 22740 22689 22688 22746 22690 22596 22847 22693 22601 22602 22813 22637 22188 22142 10116 16280 7516 7586 14739 14717 14818 14707 14822 14823 14819 14741 14745 14740 12370 12262 12272 12278 12273 9342 9344 9688 12342 12292 12293 12291 12341 12346 17238 6921 9616 9695 9693 7587 7582 9347 9349 9373 9374 7234 7232 7233 9335 6902 9200 9248 9201 9199 9948 9952 9953 14744 14742 9853 9856 9854 9855 9655 9336 9339 9559 9348 9654 9653 9253 9252 9334 9333 9245 9244 7332 7330 7257 7255 6830 9870 5106 9900 9902 9885 9886 12259 12261 12335 12260 1784 1782 4474 1807 9951 1783 6892 5007 4935 6826 7259 7331 7263 7322 7318 6825 7269 7323 7267 7268 9924 9838 9839 9840 9914 9921 9920 9925 9247 9251 9246 9249 9250 7256 6829 6828 6927 7418 7417 7592 6779 6778 7139 6926 6929 6928 6923 7135 6827 6915 6918 6914 7138 6780 5193 5192 7251 4499 2241 2168 2496 2227 2240 1822 1821 2239 2172 2231 2177 2166 2178 2232 4381 2425 4741 7333 4433 9744 4434 2328 2409 2402 2412 2360 2408 2358 2359 4425 2491 4429 2495 4835 4525 4531 4737 4528 4834 4740 4520 4517 4529 9753 9690 9739 7405 9689 9752 9751 4836 2413 4426 4382 4516 4380 4530 9677 9684 9743 9676 9678 5102 5101 5052 5051 5021 5105 5053 5095 938 946 1605 1622 953 1609 2417 2410 2420 1514 1638 2418 1596 1623 2423 189 225 223 224 4492 4495 1757 1278 1487 1481 1502 1753 1383 1501 1479 890 860 1047 626 835 892 856 859 842 374 891 861 1384 1385 1503 1497 1505 1471 1500 1723 1464 1391 1408 1387 1498 1470 1436 1756 1754 1755 1407 1760 1761 1762 843 858 857 955 951 954 885 882 866 839 815 884 886 888 883 887 1048 1772 950 949 625 684 696 661 698 685 686 627 697 662 663 948 495 1795 997 965 967 716 966 977 502 1012 1027 1016 1797 1010 998 64 962 227 1796 1026 1002 1000 1578 1583 832 1579 1674 1618 1586 1577 1682 1592 1663 1675 1673 1646 1619 1681 1698 1541 1677 1591 1662 1645 1699 1676 874 1678 1679 1680 4432 1737 1838 1704 1703 1835 2164 1734 2047 2142 1735 1837 1824 4428 1702 1803 1990 4427 2048 1832 1836 4431 1792 1778 2044 1736 1739 4430 2326 1785 1811 1738 1793 1786 1823 1808 2141 2143 1809 2176 1740 2165 9680 9282 9289 9288 4494 1693 1506 1434 6881 7303 9772 1604 4466 1518 1688 12345 1419 1432 4467 1369 1433 1370 1431 4463 1601 4468 1617 4470 1683 1687 1424 31821 31822 30516 30515 14763 33530 21433 33520 26269 23770 28702 17209 17241 19508 19419 19454 12175 12397 9835 23815 14545 31543 11760 36458 27980 28002 27996 32594 32861 32599 32590 32804 32801 32577 32865 32560 32565 32839 32597 32621 32562 32623 32589 32642 32598 32564 32894 30510 30144 30143 30139 30156 30148 30331 30150 30332 34347 30418 30141 30140 30157 30506 30166 30142 30202 30221 30171 30172 30170 30173 30220 30444 30168 30178 30176 30169 30177 30174 30200 30201 30383 30380 30473 25542 25474 25409 25443 25442 25380 25411 25410 25325 27508 27142 27141 27507 30512 30514 30513 27719 27720 28085 27745 27736 28023 27997 27735 27722 27962 27723 27721 28052 27959 27972 27971 27969 27871 25702 25671 25704 25696 25630 25584 25573 25670 25598 25549 25703 25672 25491 25583 25599 25597 25554 25553 25560 25574 25305 25576 25300 25602 25314 25324 25298 25631 25299 25301 25302 25297 25315 28019 28018 27911 27729 27727 27910 25489 25490 30426 30415 30441 30391 30402 30392 30417 30333 30416 30396 30423 30410 30427 30425 30395 30393 30472 30439 30440 34322 34323 36741 36768 36743 36744 25075 24849 25039 25044 25074 25083 25043 24851 24850 25041 32985 32982 32998 32986 33208 27709 27725 27708 27872 27866 27741 27739 32549 32547 32924 20696 27718 35133 30135 32622 25444 27965 20459 27963 28284 6621 29647 19410 19409 29305 33479 29371 33506 33504 33505 33503 29278 29276 29372 29311 29329 29324 29325 29318 29373 28695 29327 29328 29322 29323 29310 29374 29326 26833 26832 26923 26850 26845 26846 26928 26812 26844 29347 29315 29314 29346 29312 29313 29316 21375 21376 23826 19341 19342 19343 29121 29048 29050 29052 29051 29047 29044 29046 28615 21465 14186 14189 21505 21496 21479 21488 21467 21490 21508 21659 21511 21512 21706 21510 28676 23797 23796 21495 19075 19084 19074 35922 31055 31057 29041 29123 29187 29185 29192 29159 29124 29177 29059 29167 29153 29158 29188 29190 29082 29189 29096 29095 29152 29193 29191 29186 31056 21478 26247 26246 19287 19291 19286 19261 19290 19288 19328 19289 19260 19280 19281 19279 19283 19284 19259 31054 28614 26960 28655 28656 28657 28654 28653 28650 19299 19301 19300 21701 21702 21700 21705 21704 21721 21720 21722 23825 29379 29380 33478 33476 33475 33477 35915 29111 29112 29058 29056 29120 29045 29107 29057 29119 26701 26773 29036 29032 29035 29033 29034 26775 19695 19696 21808 21816 21797 21912 21906 21812 21777 21905 21810 21913 18930 19356 19492 19491 19376 19485 19330 19329 19091 19089 19087 19285 19238 19090 19484 21815 21807 21809 28674 26768 26746 26765 26674 26769 26766 26770 26772 26731 26764 28633 26204 26202 26203 26702 26638 26703 26756 26771 26620 26737 26661 26738 26732 26675 26767 29075 29071 29072 29079 29078 29073 29070 31096 31098 31097 28636 28635 28634 29040 28624 28625 28623 26658 26652 26649 26654 26651 26650 26642 26640 26657 29343 24182 26283 26278 26286 26279 26700 26699 26691 26637 26686 26690 26627 26635 26636 19486 19489 19488 19490 26624 24352 24280 26688 26689 26698 26687 26625 26631 26623 35832 35973 36190 35830 35963 35981 35967 35978 35962 36284 35879 35977 36286 35976 33870 36191 35980 35979 33871 35970 36187 36285 35831 35974 35975 33459 33766 33554 33863 33560 33557 33541 33552 33553 33555 33556 33549 33770 33559 33542 33546 33410 33558 33864 33458 33865 33545 31445 33460 33769 28632 33511 33516 33517 33519 33518 38254 38256 38251 38253 38255 26953 26907 26904 26906 26890 26903 26908 26897 26889 26902 26951 26952 26901 26905 26788 26798 26896 26799 26804 35833 35834 35835 28639 28638 31060 29018 28981 28991 28770 29009 28936 29008 28939 29001 28938 29019 28757 29007 29010 28935 28982 28754 28751 28721 28720 28726 28988 28986 29002 28724 28769 28752 28990 31059 28753 28730 28725 28728 28989 28742 28987 26570 26598 26517 26560 26561 26586 26518 26587 26348 31095 26589 26349 26580 26300 26514 26588 26597 26581 26515 26569 26336 26303 28669 31090 31091 28667 28671 28670 28668 29275 26217 24097 24140 23915 24165 23882 24096 24166 24167 24139 24159 24168 24160 24177 23927 24094 24093 23879 24149 23928 24148 24176 23926 23917 23916 26847 26849 26822 26927 26924 29063 29061 24544 22012 22015 22013 22123 28661 28664 26241 26242 16862 16863 16860 16859 16858 16878 16880 29168 29175 29060 29176 26566 26567 26299 26568 26305 26330 26333 26332 26304 26565 29169 26959 26958 26755 26748 26747 26754 34220 33521 33523 34043 33524 33877 33876 31617 31103 31102 31100 33494 33522 33878 33875 33874 31101 34037 21798 21800 14495 14191 14497 14401 14402 14192 14398 14496 26321 35942 36309 35944 35945 35878 36307 36315 31612 31614 31462 31613 31580 31480 31579 31608 31611 31517 31503 31607 31609 31598 31544 31573 31588 31574 31610 31516 31606 31545 31596 31589 31590 31618 31570 31620 31568 31564 31550 31553 31567 31619 31560 31552 31565 31558 31569 31566 31597 24170 24133 24130 24172 24171 24184 24131 24132 24103 24183 24129 24128 24185 31514 31515 31513 26309 26307 24127 24080 23932 23929 23933 23931 26331 28716 28616 29023 28568 28567 28569 28928 28712 28715 28927 28711 29022 28714 28924 28713 28717 28703 26603 28699 28710 29021 28718 28707 28700 28704 26292 26293 31557 31556 31595 31594 31555 31593 31554 31592 31591 26602 26291 26295 26297 26506 26507 26294 26296 26601 26503 26600 35877 35943 31485 31489 31493 31499 31496 31482 31486 31488 31481 31494 31484 31492 31491 31500 31461 26235 26236 31075 31078 31071 31074 31076 31077 19487 26895 24145 24147 23888 33496 33495 33498 29094 31562 31561 31563 26892 26894 26891 26893 33497 33499 33492 29093 29092 26898 26900 26899 35932 29170 29133 29129 29144 29199 29145 29149 29147 29148 29173 29174 29172 31044 31045 31046 29134 29136 29137 29198 29132 29139 29146 29143 29197 29135 29131 23883 23886 23911 23912 23900 24146 23884 23909 23878 23910 24144 23899 14820 14788 14821 14787 14786 14790 14789 14795 14794 14727 14728 19634 19643 19642 19645 19641 19644 19689 19639 19626 19640 19638 19627 19690 19688 19541 19633 19536 19525 19535 19594 19592 19591 19632 19630 19629 19628 19631 19662 19663 19659 21980 22085 22005 21970 22008 22086 21990 22081 22002 22007 22004 21991 22082 22003 19234 19235 19237 19236 19625 24475 24383 24367 24378 24377 19538 19540 19539 19537 26857 26855 26854 24102 24126 16879 24077 24079 24101 24078 24076 19637 19636 19635 21873 21872 21871 21870 21874 21907 21911 21910 21909 14645 28741 19408 26337 26338 26347 26351 33512 33510 33509 33513 35933 21908 34049 34079 34131 34078 34050 34045 34074 34048 34081 34124 31792 34077 33469 34130 34046 34047 34082 34134 34044 34073 34080 31089 31088 31092 28768 28759 28758 35937 35938 35939 35940 29171 35881 35966 35880 26215 26213 26214 35917 35919 35918 35913 35916 35920 31151 31172 31173 31175 31163 31407 31147 31408 26605 26606 26604 24251 24252 24250 31410 31409 31146 31149 31141 31174 31423 31359 31430 31429 31145 31357 31191 31178 31403 31356 31190 31360 31412 31411 31431 31428 31142 31439 33480 31440 33481 31402 31422 26550 26548 26554 26501 26593 26552 26553 26354 26549 26551 26591 26353 26320 31404 31405 31162 31434 31396 31448 31386 31435 31391 31447 31388 31384 31433 31389 31393 31385 31394 31395 31392 31446 31366 31406 22059 22110 22109 22111 22066 22064 22063 22061 22065 22062 22047 22060 22055 22048 22049 22050 22051 22053 22052 22084 22083 22080 26350 26592 26524 26352 35930 31180 35931 35934 31189 31179 24429 24424 24423 24425 24426 24428 24502 24503 24506 24507 24401 29222 29225 29224 29220 29223 29219 29317 29221 29209 24328 24330 24357 24355 24287 24332 24307 24289 24293 24305 24292 24301 24291 24294 24331 24290 24329 24306 24295 24302 24303 24297 24304 24356 24412 35950 35947 35948 35949 31788 31786 31783 31649 31807 31695 31789 31701 31782 31728 31689 31687 31691 31675 31765 31686 31654 31673 31766 31769 31669 31795 31794 31750 31745 31731 31746 31747 31732 31793 31748 31749 31743 31739 31737 31744 31734 31736 31767 31768 31764 24391 24474 24470 24471 24473 24472 24505 24504 21946 21962 22054 21956 21957 24501 31671 31770 31735 31674 31785 31772 31668 31650 31754 31771 31648 31790 31791 31755 31784 31672 31787 31688 31733 31727 31808 31692 31700 31664 36647 36651 35890 36470 35926 35924 36552 36545 36495 36467 36471 36638 36556 36568 36465 36494 36499 35927 36502 35868 36503 35891 36555 36469 34218 36466 35867 36468 35861 36500 34213 36551 34147 34217 36501 36498 35869 35925 26711 26723 26716 26726 26724 26725 26712 26728 26777 26715 26710 26776 26722 26727 26778 26708 26718 26714 26713 29104 29138 29097 29105 29099 29103 22058 22057 22056 29100 29101 29102 29098 34230 34226 31699 31697 31696 24411 31742 31740 31741 24433 24436 24434 14793 24477 24479 24478 26925 26926 26922 24299 24298 24300 1790 828 131 205 206 829 833 1791 831 830 4480 204 161 4481 160 4484 827 130 102 132 14817 28680 38271 26639 26619 35848 35850 26752 26749 26751 26750 26753 26672 26673 26671 5020 5019 28003 27937 27973 27867 31813 31817 31814 31812 31013 30991 31622 33431 31799 31616 33434 36384 29378 29195 29201 26163 23730 23729 23731 21932 22115 24546 22121 24542 21938 24536 24359 24353 28584 28588 26780 26957 26774 28572 31011 30994 26149 26150 26151 26963 28591 31012 23748 31009 26171 26167 26169 26165 23750 23747 28586 28590 33415 31809 31004 31003 33424 31805 33430 29389 30993 33428 28570 28573 26967 23728 30992 26968 33413 26152 31810 33432 33414 33425 33426 33433 33412 29384 23744 23749 28592 29388 31007 26168 31010 23742 28589 28571 23746 26170 31005 28583 28582 33202 33201 33001 33281 33250 33153 33152 33331 33330 33002 32999 33000 33028 33027 33029 33030 33082 33127 33079 33081 33031 33053 33054 33076 33056 33080 33055 30124 31811 33333 20441 20428 20871 30583 30582 30909 30775 30776 30910 30632 30655 30635 30659 30634 30658 30661 30660 30706 22125 31000 31001 31002 30998 30997 30999 30995 28580 26144 28565 28581 28566 26145 26162 28579 26158 26160 26159 33423 33407 33408 33421 33422 33427 33429 28574 28577 28576 28578 30986 30987 31008 31006 26164 26166 28585 28587 21328 21329 21310 21327 21309 21308 19700 21326 26161 24547 21307 19704 30985 30983 28562 28564 26141 26143 33394 33401 30980 30973 26138 26131 33404 33406 35837 35839 35841 35840 33416 33419 33420 33418 27868 27845 27843 27844 27850 27967 27966 27710 25568 27737 25585 25306 25308 26997 25476 25477 25447 25422 25453 25423 25486 25424 25452 25429 25575 25581 22384 22383 22415 22436 25304 22381 22380 22372 22365 22323 22369 22370 22324 25550 25551 25450 22368 22312 22844 22270 22311 22198 22843 22379 22377 22822 22313 22823 22366 22437 22382 22378 22367 22314 22371 25700 25697 21318 21320 28552 28559 26153 26156 26155 26157 31948 32361 31958 31945 32322 31959 20267 19847 20268 20274 20315 20316 20320 20269 20321 20393 20328 20425 20427 20392 20406 20407 20405 20404 20371 20272 20271 20273 20319 20401 19849 20402 20423 19850 20325 20426 27458 27459 27435 27117 27519 27116 27617 27106 27103 27616 27436 27463 27434 23735 23732 23736 23734 23741 23739 23738 23737 27678 36652 38266 34231 35845 30271 30295 30265 30266 30328 30264 30318 30289 30319 30294 30146 30292 27936 32779 32809 32567 32778 32815 32808 32811 12542 16063 16195 16128 16060 16061 16223 16185 16194 16153 16032 16105 16127 16126 16196 16103 11430 11429 11230 11594 11352 11549 11218 11233 11516 11434 11191 11227 11477 11228 11311 11489 11517 12457 11550 11483 11229 11284 11261 11190 11431 11343 11491 11596 11481 11595 11592 11484 11348 11260 11591 11488 11206 11207 11614 11342 11321 11353 11221 11263 11354 11428 11478 11226 11285 11381 11232 11529 11490 11487 11231 11482 11351 11519 11219 11286 15909 15965 15971 15911 15992 15964 15908 15972 16027 15607 15966 15970 16009 15976 15907 15991 16438 16324 16323 16329 16325 16392 16359 16371 16361 16319 16436 16391 16320 16437 16033 13999 14001 13635 13828 13948 13944 13988 13636 13945 13829 13623 13949 13947 13989 13995 13987 13994 13992 13993 13990 13991 14000 14002 13996 14003 16163 16184 16074 16068 16433 16071 16070 16075 16102 16073 16193 13998 16190 16434 16072 13984 13972 16069 13943 13997 13941 13942 18899 21296 21289 23745 23717 23710 18907 18895 23743 18878 23723 23724 21303 21302 18880 18897 18896 18908 21321 21323 21325 9170 9171 21311 21314 21313 21316 21315 21317 18906 18904 14060 14675 14064 14058 12441 19694 17096 17273 18902 18900 17090 16486 14047 14065 12254 12248 14669 12431 14858 14063 14862 12437 14852 14066 19517 16468 19511 16487 16483 16481 16485 16479 16484 14062 21322 21324 16461 14033 18868 16454 16478 10122 14026 14055 18903 16476 16447 14039 18875 14040 14057 18881 18882 16460 18901 22126 23740 11617 9211 6794 11615 11644 11636 12442 9224 6802 9215 11618 14056 6793 5191 6783 6784 6801 6800 6797 6799 6782 6781 6795 18905 11645 9223 11634 11619 6803 15691 15692 15700 15699 15689 15787 15827 15667 15977 15730 15728 15975 15809 18889 17283 15731 15788 17279 15823 15672 15784 15600 15698 15729 15821 15969 15783 15765 15829 15822 15828 15826 5014 5008 5202 11624 11642 11639 11625 11637 11643 11626 11641 11623 9220 9222 9216 7589 7406 7412 9218 16477 19705 9827 14863 21319 10021 9833 10010 11635 17284 18898 937 4403 4399 4397 2315 2498 2321 4405 4404 4401 2509 4395 4396 2508 2504 4386 4402 9221 7599 9214 7600 7595 9205 7695 7696 7701 7697 10121 8785 961 960 959 838 15766 694 824 908 910 1774 1773 1770 1777 991 7700 983 941 1519 1520 1775 7694 1776 909 945 1788 1368 804 1594 2327 1732 1733 1725 1741 1827 1371 1485 1449 1484 3593 3589 3594 16480 16482 16473 16475 16471 14052 14048 14053 14050 14054 14051 14059 14061 16469 16472 16474 3615 3623 3604 5303 5299 5298 5296 1482 1448 1451 1455 1447 1445 1394 1465 1489 1435 1480 1504 1382 1722 1390 1353 1488 1499 4469 1456 1446 1486 63 60 218 61 220 221 62 212 213 215 4489 1799 1007 1801 1802 1004 2707 6389 6419 6469 6539 6376 6391 6442 6421 6443 6500 6648 6511 6390 6388 6387 6479 6379 6512 6377 6501 6418 6510 6386 6444 3607 990 930 1052 1781 2887 2886 2885 3632 3616 3625 5317 3629 5322 1550 1042 1600 1551 1236 1334 4483 826 1028 1240 1333 996 1335 1043 1041 1037 1029 1239 825 993 216 1032 1552 271 1040 1483 482 469 275 1001 472 480 454 467 466 1011 893 4200 3963 3651 3652 982 980 4273 4272 5380 5381 11631 3609 3620 5310 3639 6385 6509 6384 3638 3637 3610 6506 3170 3165 3172 3631 3636 5325 48 49 33 51 31 50 34 80 471 35 463 462 32 53 455 198 456 729 792 461 457 249 498 499 219 486 711 36 820 496 794 1357 738 803 37 894 899 613 737 211 52 710 40 739 199 693 889 253 250 254 465 252 255 256 995 939 942 940 943 944 481 1806 976 572 484 592 473 478 485 483 987 988 989 986 1364 1375 1356 1373 1423 1360 1358 59 58 54 228 251 474 1006 975 477 476 978 979 981 201 202 203 200 193 44 458 1582 952 1565 1580 1566 229 907 906 915 914 896 1712 793 1700 1701 902 799 917 916 1711 1696 1507 1710 1709 1690 1513 1708 2576 3168 3605 3619 5293 5302 5297 2575 3628 3626 3624 2884 3608 5288 3606 775 4365 4378 4372 4393 4394 9194 9196 873 4400 6796 9208 4387 4389 4392 4391 4390 4398 4379 6798 9197 9198 9206 9212 9210 9213 9217 9209 6792 6791 6790 6789 6788 6787 6785 6777 6776 6770 6763 11627 11629 11630 9219 11632 11633 11638 11640  0
1797.25/1797.23	
1797.25/1797.23	c Core has size 13660

OK	13660

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

running on 2 cores: 1,3

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.16 4.29 1.95 5/186 1196
/proc/meminfo: memFree=31439176/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=16700 CPUtime=0 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1169 0 0 0 0 0 0 0 25 0 1 0 915799049 17100800 958 33554432000 4194304 4365125 140733232299904 18446744073709551615 4293720 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 4175 969 246 42 0 1323 0

[startup+0.017242 s]
/proc/loadavg: 5.16 4.29 1.95 5/186 1196
/proc/meminfo: memFree=31439176/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=16264 CPUtime=0.01 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1685 0 0 0 1 0 0 0 25 0 1 0 915799049 16654336 1241 33554432000 4194304 4365125 140733232299904 18446744073709551615 244446945024 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 4066 1243 253 42 0 1214 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 16264

[startup+0.100231 s]
/proc/loadavg: 5.16 4.29 1.95 5/186 1196
/proc/meminfo: memFree=31439176/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=20732 CPUtime=0.09 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 4889 0 0 0 9 0 0 0 25 0 1 0 915799049 21229568 2154 33554432000 4194304 4365125 140733232299904 18446744073709551615 4242767 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 5183 2154 262 42 0 2331 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 20732

[startup+0.300194 s]
/proc/loadavg: 5.16 4.29 1.95 5/186 1196
/proc/meminfo: memFree=31439176/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=26292 CPUtime=0.29 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5945 0 0 0 28 1 0 0 25 0 1 0 915799049 26923008 3029 33554432000 4194304 4365125 140733232299904 18446744073709551615 244446642645 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 6573 3048 262 42 0 3721 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 26292

[startup+0.70112 s]
/proc/loadavg: 5.16 4.29 1.95 5/186 1196
/proc/meminfo: memFree=31439176/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=33120 CPUtime=0.69 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 9961 0 0 0 68 1 0 0 25 0 1 0 915799049 33914880 5004 33554432000 4194304 4365125 140733232299904 18446744073709551615 4258228 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 8280 5004 262 42 0 5428 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 33120

[startup+1.50097 s]
/proc/loadavg: 5.16 4.29 1.95 5/187 1197
/proc/meminfo: memFree=31404852/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=41692 CPUtime=1.49 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 18307 0 0 0 147 2 0 0 25 0 1 0 915799049 42692608 7062 33554432000 4194304 4365125 140733232299904 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 10423 7062 262 42 0 7571 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 41692

[startup+3.10067 s]
/proc/loadavg: 5.07 4.29 1.96 5/187 1197
/proc/meminfo: memFree=31358352/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=73896 CPUtime=3.09 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 35950 0 0 0 306 3 0 0 25 0 1 0 915799049 75669504 11860 33554432000 4194304 4365125 140733232299904 18446744073709551615 4258388 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 18474 11860 262 42 0 15622 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 73896

[startup+6.30108 s]
/proc/loadavg: 5.07 4.29 1.96 5/187 1197
/proc/meminfo: memFree=31305836/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=213836 CPUtime=6.29 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 66622 0 0 0 623 6 0 0 25 0 1 0 915799049 218968064 27478 33554432000 4194304 4365125 140733232299904 18446744073709551615 244446642645 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 53459 27498 262 42 0 50607 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 213836

[startup+12.7009 s]
/proc/loadavg: 4.90 4.28 1.98 5/187 1197
/proc/meminfo: memFree=31100336/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=366048 CPUtime=12.69 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 204221 0 0 0 1247 22 0 0 25 0 1 0 915799049 374833152 73059 33554432000 4194304 4365125 140733232299904 18446744073709551615 4244731 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 91512 73059 263 42 0 88660 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 366048

[startup+25.5005 s]
/proc/loadavg: 4.76 4.27 2.00 5/187 1198
/proc/meminfo: memFree=30977772/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=491980 CPUtime=25.5 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 405657 0 0 0 2507 43 0 0 25 0 1 0 915799049 503787520 106511 33554432000 4194304 4365125 140733232299904 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 122995 106516 264 42 0 120143 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 491980

[startup+51.1008 s]
/proc/loadavg: 4.50 4.25 2.05 5/187 1235
/proc/meminfo: memFree=30652428/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=1031692 CPUtime=51.09 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 635693 0 0 0 5042 67 0 0 25 0 1 0 915799049 1056452608 187272 33554432000 4194304 4365125 140733232299904 18446744073709551615 4245124 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 257923 187272 264 42 0 255071 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 1031692

[startup+102.307 s]
/proc/loadavg: 4.20 4.20 2.16 5/187 1283
/proc/meminfo: memFree=30171704/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=683548 CPUtime=102.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 750055 0 0 0 10149 81 0 0 25 0 1 0 915799049 699953152 160998 33554432000 4194304 4365125 140733232299904 18446744073709551615 4244624 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 170887 160998 264 42 0 168035 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 683548

[startup+162.3 s]
/proc/loadavg: 4.10 4.18 2.28 5/187 1284
/proc/meminfo: memFree=29819228/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=972536 CPUtime=162.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1090878 0 0 0 16111 119 0 0 25 0 1 0 915799049 995876864 188663 33554432000 4194304 4365125 140733232299904 18446744073709551615 4245224 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 243134 188663 264 42 0 240282 0
Current children cumulated CPU time (s) 162.3
Current children cumulated vsize (KiB) 972536

[startup+222.301 s]
/proc/loadavg: 4.04 4.14 2.39 5/187 1286
/proc/meminfo: memFree=29767336/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=946580 CPUtime=222.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1112501 0 0 0 22109 121 0 0 25 0 1 0 915799049 969297920 189371 33554432000 4194304 4365125 140733232299904 18446744073709551615 4245180 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 236645 189371 264 42 0 233793 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 946580

[startup+282.301 s]
/proc/loadavg: 4.10 4.14 2.49 5/187 1327
/proc/meminfo: memFree=29956352/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=941408 CPUtime=282.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1122939 0 0 0 28108 122 0 0 25 0 1 0 915799049 964001792 188588 33554432000 4194304 4365125 140733232299904 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 235352 188588 264 42 0 232500 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 941408

[startup+342.301 s]
/proc/loadavg: 4.03 4.11 2.58 5/187 1440
/proc/meminfo: memFree=29996400/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=948576 CPUtime=342.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1123966 0 0 0 34108 122 0 0 25 0 1 0 915799049 971341824 189615 33554432000 4194304 4365125 140733232299904 18446744073709551615 4244663 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 237144 189615 264 42 0 234292 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 948576

[startup+402.301 s]
/proc/loadavg: 4.01 4.09 2.66 5/187 1479
/proc/meminfo: memFree=29850100/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=952672 CPUtime=402.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1199925 0 0 0 40097 133 0 0 25 0 1 0 915799049 975536128 190161 33554432000 4194304 4365125 140733232299904 18446744073709551615 4244666 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238168 190161 264 42 0 235316 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 952672

[startup+462.301 s]
/proc/loadavg: 4.03 4.08 2.76 5/187 1480
/proc/meminfo: memFree=29839244/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=941408 CPUtime=462.3 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1383452 0 0 0 46072 158 0 0 25 0 1 0 915799049 964001792 188588 33554432000 4194304 4365125 140733232299904 18446744073709551615 4275329 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 235352 188588 264 42 0 232500 0
Current children cumulated CPU time (s) 462.3
Current children cumulated vsize (KiB) 941408

[startup+522.3 s]
/proc/loadavg: 4.09 4.08 2.83 5/187 1482
/proc/meminfo: memFree=29840188/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=941408 CPUtime=522.31 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1498039 0 0 0 52059 172 0 0 25 0 1 0 915799049 964001792 188588 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264089 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 235352 188588 264 42 0 232500 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 941408

[startup+582.3 s]
/proc/loadavg: 4.03 4.07 2.91 5/187 1483
/proc/meminfo: memFree=29800584/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=952672 CPUtime=582.31 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 1705931 0 0 0 58036 195 0 0 25 0 1 0 915799049 975536128 190161 33554432000 4194304 4365125 140733232299904 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238168 190161 264 42 0 235316 0
Current children cumulated CPU time (s) 582.31
Current children cumulated vsize (KiB) 952672

[startup+642.301 s]

################
# More data... #
################

/proc/meminfo: memFree=30280224/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=948576 CPUtime=1122.33 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 3694514 0 0 0 111808 425 0 0 25 0 1 0 915799049 971341824 189449 33554432000 4194304 4365125 140733232299904 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 237144 189466 264 42 0 234292 0
Current children cumulated CPU time (s) 1122.33
Current children cumulated vsize (KiB) 948576

[startup+1182.3 s]
/proc/loadavg: 2.07 2.61 2.75 3/175 1547
/proc/meminfo: memFree=30287484/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=941408 CPUtime=1182.33 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 3810260 0 0 0 117795 438 0 0 25 0 1 0 915799049 964001792 188588 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 235352 188588 264 42 0 232500 0
Current children cumulated CPU time (s) 1182.33
Current children cumulated vsize (KiB) 941408

[startup+1242.3 s]
/proc/loadavg: 2.02 2.49 2.70 3/175 1549
/proc/meminfo: memFree=30274184/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=941408 CPUtime=1242.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 4012318 0 0 0 123771 463 0 0 25 0 1 0 915799049 964001792 188588 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 235352 188588 264 42 0 232500 0
Current children cumulated CPU time (s) 1242.34
Current children cumulated vsize (KiB) 941408

[startup+1302.3 s]
/proc/loadavg: 2.01 2.40 2.65 3/175 1551
/proc/meminfo: memFree=30294732/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=956768 CPUtime=1302.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 4221423 0 0 0 129747 487 0 0 25 0 1 0 915799049 979730432 190643 33554432000 4194304 4365125 140733232299904 18446744073709551615 4258085 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 239192 190643 264 42 0 236340 0
Current children cumulated CPU time (s) 1302.34
Current children cumulated vsize (KiB) 956768

[startup+1362.3 s]
/proc/loadavg: 2.00 2.33 2.61 3/175 1552
/proc/meminfo: memFree=30279312/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=941408 CPUtime=1362.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 4422891 0 0 0 135721 513 0 0 25 0 1 0 915799049 964001792 188588 33554432000 4194304 4365125 140733232299904 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 235352 188588 264 42 0 232500 0
Current children cumulated CPU time (s) 1362.34
Current children cumulated vsize (KiB) 941408

[startup+1422.31 s]
/proc/loadavg: 2.00 2.26 2.57 3/175 1554
/proc/meminfo: memFree=30285468/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=967008 CPUtime=1422.35 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 4711727 0 0 0 141687 548 0 0 25 0 1 0 915799049 990216192 191928 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 241752 191928 264 42 0 238900 0
Current children cumulated CPU time (s) 1422.35
Current children cumulated vsize (KiB) 967008

[startup+1482.3 s]
/proc/loadavg: 2.06 2.23 2.54 3/175 1555
/proc/meminfo: memFree=30301048/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=969056 CPUtime=1482.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 4844813 0 0 0 147671 563 0 0 25 0 1 0 915799049 992313344 192185 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 242264 192185 264 42 0 239412 0
Current children cumulated CPU time (s) 1482.34
Current children cumulated vsize (KiB) 969056

[startup+1542.3 s]
/proc/loadavg: 2.02 2.18 2.50 4/175 1557
/proc/meminfo: memFree=30208868/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=967008 CPUtime=1542.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5065885 0 0 0 153643 591 0 0 25 0 1 0 915799049 990216192 191928 33554432000 4194304 4365125 140733232299904 18446744073709551615 4266176 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 241752 191928 264 42 0 238900 0
Current children cumulated CPU time (s) 1542.34
Current children cumulated vsize (KiB) 967008

[startup+1602.3 s]
/proc/loadavg: 2.01 2.15 2.47 3/175 1559
/proc/meminfo: memFree=30281348/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1602.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155990 0 0 0 159631 603 0 0 25 0 1 0 915799049 977633280 190386 33554432000 4194304 4365125 140733232299904 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190386 264 42 0 235828 0
Current children cumulated CPU time (s) 1602.34
Current children cumulated vsize (KiB) 954720

[startup+1662.3 s]
/proc/loadavg: 2.00 2.12 2.43 3/175 1560
/proc/meminfo: memFree=30272724/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1662.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155990 0 0 0 165631 603 0 0 25 0 1 0 915799049 977633280 190386 33554432000 4194304 4365125 140733232299904 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190386 264 42 0 235828 0
Current children cumulated CPU time (s) 1662.34
Current children cumulated vsize (KiB) 954720

[startup+1722.3 s]
/proc/loadavg: 2.00 2.09 2.41 3/175 1562
/proc/meminfo: memFree=30296848/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1722.34 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155990 0 0 0 171631 603 0 0 25 0 1 0 915799049 977633280 190386 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190386 264 42 0 235828 0
Current children cumulated CPU time (s) 1722.34
Current children cumulated vsize (KiB) 954720

[startup+1782.3 s]
/proc/loadavg: 2.00 2.08 2.38 3/175 1563
/proc/meminfo: memFree=30294548/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1782.35 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 177631 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1782.35
Current children cumulated vsize (KiB) 954720

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

[startup+1785.5 s]
/proc/loadavg: 2.00 2.08 2.38 3/175 1563
/proc/meminfo: memFree=30294788/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1785.55 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 177951 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1785.55
Current children cumulated vsize (KiB) 954720

[startup+1791.91 s]
/proc/loadavg: 2.00 2.07 2.37 3/175 1564
/proc/meminfo: memFree=30268736/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1791.96 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 178592 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1791.96
Current children cumulated vsize (KiB) 954720

[startup+1795.1 s]
/proc/loadavg: 2.00 2.07 2.37 3/175 1564
/proc/meminfo: memFree=30296884/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1795.16 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 178912 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1795.16
Current children cumulated vsize (KiB) 954720

[startup+1795.9 s]
/proc/loadavg: 2.00 2.07 2.37 3/175 1564
/proc/meminfo: memFree=30296884/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1795.95 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 178991 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1795.95
Current children cumulated vsize (KiB) 954720

[startup+1796.7 s]
/proc/loadavg: 2.00 2.07 2.37 3/175 1564
/proc/meminfo: memFree=30275928/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1796.75 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 179071 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1796.75
Current children cumulated vsize (KiB) 954720

[startup+1797.1 s]
/proc/loadavg: 2.00 2.07 2.37 3/175 1564
/proc/meminfo: memFree=30275928/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1797.15 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 179111 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1797.15
Current children cumulated vsize (KiB) 954720

[startup+1797.2 s]
/proc/loadavg: 2.00 2.07 2.37 3/175 1564
/proc/meminfo: memFree=30275928/32951124 swapFree=67064380/67111528
[pid=1196] ppid=1194 vsize=954720 CPUtime=1797.25 cores=1,3
/proc/1196/stat : 1196 (MoUsSaka) R 1194 1196 973 0 -1 4202496 5155991 0 0 0 179121 604 0 0 25 0 1 0 915799049 977633280 190387 33554432000 4194304 4365125 140733232299904 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/1196/statm: 238680 190387 264 42 0 235828 0
Current children cumulated CPU time (s) 1797.25
Current children cumulated vsize (KiB) 954720

Child status: 20
Real time (s): 1797.26
CPU time (s): 1797.32
CPU user time (s): 1791.25
CPU system time (s): 6.07008
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 1575048

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

runsolver used 2.79857 second user time and 6.16306 second system time

The end

Begin job on node105 at 2011-06-14 10:59:46
IDJOB=3501471
IDBENCH=90016
IDSOLVER=2000
FILE ID=node105/3501471-1308041986
RUNJOBID= node105-1308041928-994
PBS_JOBID= 13564696
Free space on /tmp= 74092 MiB

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

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

MD5SUM BENCH= c32d0767929b800e01d25fbf5c79e7b4
RANDOM SEED=69477572

node105.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5333.65
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 0
cpu cores	: 4
apicid		: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5226.15
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 1
cpu cores	: 4
apicid		: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5410.70
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 2
cpu cores	: 4
apicid		: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.74
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 0
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.82
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.825
cache size	: 8192 KB
physical id	: 1
siblings	: 4
core id		: 3
cpu cores	: 4
apicid		: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips	: 5332.75
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      31439472 kB
Buffers:        184684 kB
Cached:         721376 kB
SwapCached:      19904 kB
Active:         687760 kB
Inactive:       611348 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      31439472 kB
SwapTotal:    67111528 kB
SwapFree:     67064380 kB
Dirty:           27556 kB
Writeback:           0 kB
AnonPages:      391212 kB
Mapped:          10960 kB
Slab:           146192 kB
PageTables:       5520 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   640880 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= 74116 MiB
End job on node105 at 2011-06-14 11:29:43