0.00/0.00	c MoUsSaka with meat
2.99/3.08	
2.99/3.08	s UNSATISFIABLE
1125.40/1125.41	c Core is minimal
1125.40/1125.41	
1125.40/1125.41	v 518 56707 60754 60759 60757 60760 60766 60761 60750 60765 60755 60752 60764 52552 52547 52543 52557 52551 52128 52544 52546 52966 52969 52968 52967 52973 52971 52970 52585 56662 56706 56667 56673 56672 44329 44247 44359 44317 44358 44284 60767 57039 56703 56704 56689 56695 56674 56668 56682 56678 56686 56698 56697 56664 56665 56669 56670 56663 56659 56660 56658 57040 60753 60762 60756 60763 60751 60758 60749 56656 56623 56657 56241 56586 56701 56700 56694 56688 56691 56692 52549 44331 44365 44362 44368 60743 60746 60740 60742 60748 60747 60741 60739 60745 60744 52569 52561 52568 52559 52560 52563 52564 52565 52958 52962 52961 52959 52960 52573 52965 52572 52964 52963 52951 52950 52952 52954 52956 52955 52953 52957 44343 44339 44335 44347 52588 52594 52591 52587 52948 52935 52936 52944 52937 52934 52943 52933 52939 52945 52947 52941 52946 52940 52938 52545 52473 52578 52575 52576 52582 44356 44353 44350 52555 52510 52584 52556 52567 52593 52590 52550 52554 52581 52571 44318 44367 44324 44355 44352 44349 44319 44342 44364 44338 44346 44334 44361 43902 44341 44333 44345 44337 44330 44328 44323 52579 52949 52942 52972 56649 56648 56641 56637 56644 56654 56647 56636 56650 56645 56651 56646 56640 56652 56638 56642 56643 56639 56653 56655 48384 48388 48387 48443 48444 48397 48360 48434 48430 48432 48433 52467 52469 52471 52468 52470 48437 48439 48438 52472 48442 52466 48858 48855 48856 48860 48857 48854 48853 48472 48448 48456 48460 48471 52125 52124 52126 52123 52122 48447 48446 48454 48436 48383 48393 48394 48392 48391 48389 48390 48396 48386 48395 48385 48382 48425 48424 48427 48426 48378 48380 48379 48381 48377 44326 44325 44321 44320 56622 55989 52974 56584 56620 56240 56239 56585 55972 56578 56225 56615 55981 55982 55980 56236 56605 56603 56607 56606 56577 56604 56224 55970 56233 55986 55985 56613 55979 55984 55987 55977 56617 56619 56612 56611 55983 55988 56614 55978 56610 55976 56616 55990 56222 56608 56237 56609 56234 55974 56227 56228 55975 56223 56582 56229 56231 56235 55973 56581 55971 56583 56579 56238 56621 56226 56580 56618 56230 56232 48357 48358 48356 48355 48359 48016 47760 47762 47761 47763 47759 44747 44745 44744 48014 47764 48362 55635 56588 56587 48010 48429 48428 48018 47767 48011 48013 48012 48431 48015 48452 48843 48841 48844 48842 48837 48839 52465 52503 52505 52461 52498 52496 52497 52500 52499 52456 52464 52463 52462 52460 52507 52506 52504 52502 52508 48376 48375 48852 48848 48850 48845 48847 48846 48851 52501 52509 48463 48466 48469 48838 48840 52120 52524 52119 52117 52116 48832 52118 52121 52127 48821 48822 52540 52527 52523 48826 52525 48835 48834 48831 48828 48829 48825 52533 52526 48823 48833 48859 48830 48836 51876 51875 51874 51873 51866 51872 51865 51867 51871 51868 51869 51870 48441 48459 48455 48451 48450 44700 44701 48411 48413 48410 48412 48414 48404 48407 48406 48402 48408 48405 48401 48403 48409 48400 48373 48372 48374 48370 48371 47992 47991 48367 48366 48369 48368 52129 48421 48419 48417 48415 48418 48416 48423 48420 48422 44733 44741 44740 47755 47757 47752 44735 44736 44737 44743 44739 44738 44742 44734 44748 47753 47751 47750 48004 48003 48005 48009 48008 48007 48006 47754 47756 47758 48354 47093 44750 47728 47409 44732 48468 48465 48462 47747 47746 52476 47745 47744 48336 48338 48337 48339 48340 48350 48353 48347 47743 47741 47742 48344 47740 47739 47748 47749 48342 48345 48341 47768 52494 52495 52491 52492 52490 52493 48481 48480 48001 48002 48000 48475 48478 48474 47999 47996 47998 47997 47994 47995 48363 47993 44725 44727 44729 44731 44728 44726 44730 44724 47990 47989 47978 48861 48458 48820 48824 48827 52532 52528 52534 52536 52531 52530 52535 52538 52537 52539 52529 44723 44722 51877 52487 52488 52489 52485 52486 52484 52483 52481 52482 51522 48335 48334 52459 52457 52458 52480 44720 44721 52479 47738 48351 48352 48348 48343 48349 48346 56680 52976 55954 55319 52542 52541 52131 52435 51881 51880 55994 55993 52130 48477 52522 52514 52518 52516 52517 52521 52519 52520 52515 51864 51863 51841 52474 52475 52455 52454 52453 48863 51206 51862 52109 52110 52111 52112 52107 52108 52113 52114 52115 51861 51859 51856 51857 51858 51860 51855 51854 48440 52452 52449 52447 52448 52450 52446 52445 52444 52440 52443 52441 52105 52106 52091 52451 56589 48327 48330 48328 48329 48331 47986 47987 47988 47985 48333 48332 47984 56218 56600 56602 56599 56634 56632 56630 56631 56635 56633 56598 55964 55965 55967 55969 55966 56204 56628 56629 55968 56627 56219 56601 56221 56220 56594 56595 56593 56592 56597 56596 51851 51853 51852 51850 51849 52104 52103 52102 47736 47737 52101 55963 55962 56217 56216 56215 52100 52098 52096 52097 52099 52095 51844 51846 51845 55648 55647 55646 55645 51848 51847 60699 60736 60769 60801 60790 60791 64932 64933 60786 60787 64896 64882 64849 64894 64812 64895 64886 64885 64884 68569 68323 68321 68328 68327 68325 68326 68570 68315 68319 68568 68313 68953 68947 68578 68950 68948 68951 64912 68577 68958 68956 68954 68955 68957 68949 64908 68322 68960 68952 68959 68571 68579 69045 69001 69019 64899 64900 64891 64906 64907 64911 64910 68574 67974 68576 68573 68961 68575 68572 64883 64904 64889 64890 64893 64888 64467 64924 64923 68945 68940 68943 68946 68941 68944 68942 64920 64915 64914 64917 65266 64921 68939 64918 68938 64927 64930 68936 68975 68985 68932 68990 68992 68987 68981 68986 68937 68969 68971 68972 68966 68970 68967 68978 68931 68935 68994 68977 68982 68989 68984 68976 68991 68988 68993 68968 68965 68973 68933 68934 68980 68983 68927 68928 65265 64902 64929 68311 68312 68310 64898 68303 68329 68306 68304 68305 68919 68920 68924 68922 68923 68921 68918 68566 68567 68913 68917 68914 68912 68915 68916 68911 68906 68907 68910 68908 68909 69009 69007 69008 69398 69419 73090 73104 73103 73101 73096 73091 72429 72433 72432 72436 73022 72678 73082 69390 73088 72696 73033 73035 69036 68583 68905 68904 69046 69377 65315 67658 68302 68301 68565 68556 68562 68560 68554 68555 68558 68564 68561 68563 68553 68559 68557 68547 68550 68548 68549 68551 68552 72423 72681 68887 72660 72661 69403 69407 72671 69414 72694 73107 72679 73106 69387 72430 69411 73086 73057 69415 69388 73028 73023 69011 69012 73062 72424 72428 72439 69397 69412 72437 69385 72426 73026 73084 73081 69420 72680 69408 72675 73056 73100 73025 72665 72673 73097 72664 72662 73095 73020 73058 72434 69391 73030 73105 69405 72663 72686 72682 69416 73055 69413 73085 72672 73059 73060 72689 72674 73079 73034 73083 69425 72445 72692 73068 73067 73072 73071 73073 73074 73070 73069 73063 73089 72677 69393 73098 73024 69395 73092 72684 73065 72422 72442 73102 72685 69400 73029 73036 73094 73080 73031 72668 69394 72666 73061 72683 72440 73124 72421 72420 73159 73158 73132 73114 73040 73052 73051 72087 73053 73054 73041 73122 73121 77601 77603 73489 77274 73532 73531 77146 73161 77602 73535 73533 73534 77150 76805 76809 73538 73537 76555 77182 77187 77153 77186 77180 77147 77148 77272 76550 76547 76544 76546 76549 76551 76548 77179 77135 76803 76541 76797 76802 76539 77136 76519 76798 77138 76540 77113 76800 77139 77134 77178 76795 76801 76784 77164 76788 76793 77154 76792 76783 76791 77170 77166 77175 77174 76785 77220 77162 77159 77161 77155 73498 73499 73517 73503 73509 73525 73524 73514 73504 73507 73502 73520 73530 73513 73527 73518 73519 77157 76774 76777 76778 76776 76773 73516 77133 73490 73500 76542 77144 73529 73505 73522 72687 77245 73526 77140 77167 77156 69417 72425 72438 73488 73506 69399 69043 68580 69015 69042 72667 73037 76799 76780 77172 73523 77158 76553 73541 77143 76782 76552 76807 73536 73501 77177 77160 77183 77184 73539 75884 76796 76787 76781 68901 68903 68902 68299 68298 68297 68300 68296 64903 60772 68581 60771 64926 68974 60813 60814 73032 69421 69418 76808 73515 76786 77142 77173 77169 77176 69422 69037 72690 77168 73521 76775 76545 76554 77163 73126 76200 73109 77185 77181 69401 77219 76779 76543 77271 77227 73512 69424 76804 77149 76794 73066 72419 69402 73027 76789 77165 77145 77137 73125 73528 40204 40171 40207 40206 40134 40208 40248 40220 40205 40217 23756 23785 27876 27865 27871 27877 27795 27832 27450 27869 27879 27874 27881 23774 27866 27882 27868 27873 27867 27878 27872 27903 31563 31939 31940 27898 31941 31937 27891 27901 27894 27895 31938 27890 31934 31936 31935 27886 31564 27910 28249 31562 27907 40255 47983 47982 48322 44276 44275 44270 40252 44277 44271 40249 40251 43626 23758 32398 32402 32400 35674 35670 32000 32404 35669 32408 32395 35673 35672 32403 32401 31996 32399 35668 35671 32397 32406 32396 31979 32405 35675 27916 23802 23752 23761 23791 23776 23788 23794 15529 15939 15951 15546 19595 15945 19591 19590 15934 15927 19586 19596 15956 15954 15952 19594 19584 15936 19604 18618 19603 15947 15942 19600 15535 19602 15534 19601 19598 15493 19599 19597 19593 15941 15931 15530 15933 19589 15542 19605 15527 15940 15526 15943 15948 19592 15944 15950 15949 15946 15953 15932 15929 15937 15935 15928 15930 15938 19585 19588 19587 19571 19570 15555 15528 15552 15548 15547 15533 15543 15544 15568 15926 15556 15925 15550 15532 15554 1924 1574 1575 3604 3603 3601 3956 1562 3957 1572 1563 1920 1565 1923 1922 1564 3873 3872 3869 3870 3868 3906 3905 3907 3904 3948 3945 3950 3705 3947 1378 659 661 1375 1376 1379 1377 555 581 517 577 589 152 541 523 562 148 542 556 499 547 543 553 544 521 520 609 526 524 561 585 525 150 595 563 548 537 1421 1540 1420 271 1419 1380 1541 1506 1507 1542 1383 1425 539 1422 538 655 657 1424 1577 1579 1418 1536 1330 1371 1372 1374 664 1373 1582 1384 1581 662 1370 653 652 1916 1917 1511 1927 557 519 607 1538 551 3871 552 1925 1921 605 1369 3909 1583 1415 554 592 1508 1578 611 1327 3706 273 1514 559 3910 550 1539 654 3903 1639 3901 3703 3704 3609 1640 3701 4023 4022 3902 3702 3464 3700 3699 1416 545 1545 1561 529 1918 1919 3867 1505 1570 1544 549 1423 7499 1417 1510 540 1513 1569 656 522 3602 3908 1573 3958 3946 60810 64950 60811 60781 73508 73511 73000 72431 72435 73064 69389 69409 69410 73099 72669 72691 69013 72688 64848 64805 64809 61193 61192 64806 64807 61195 64845 64841 64810 64808 60775 64834 60795 61188 64835 61189 64837 61185 60805 64836 61186 60804 64838 64464 64463 64461 64465 64462 64459 64466 63861 64847 60816 64457 64214 64211 64205 64881 64869 64879 64863 61159 60817 64190 64202 64196 64193 64191 64199 64192 64204 64197 64198 64194 64195 73510 77141 64470 60782 64804 64802 64792 64791 64814 31976 18956 19581 15574 15571 19582 19583 15456 15538 15567 15537 15570 15573 15559 15562 15558 15561 15565 15577 15576 15564 18958 18957 18955 15551 15111 77171 76790 64790 68316 68314 68324 68320 68309 68308 60776 60778 64874 61174 61172 64868 64872 64865 64871 64862 61170 61173 61180 61164 61175 64878 64200 64201 60773 64213 64209 64206 64210 64208 61199 61194 64207 64215 64212 64458 61162 60777 64460 61191 64839 64843 64840 64846 64842 64844 68307 65313 68317 68318 64216 61200 64203 64873 61171 64793 64870 64867 64876 61181 64795 64875 64877 64866 61169 61177 61163 61161 61167 61160 61166 61168 64796 64800 64180 69396 72427 61184 69392 64864 69404 69406 72670 69423 69386 60789 64797 60794 64794 64801 64799 28295 27889 28296 27893 28293 28290 28291 27912 27909 30957 27897 27885 31943 27906 28292 28288 28286 28280 28287 31312 28283 28281 28284 28282 28278 28277 28279 31909 28272 31910 28274 28276 28273 28269 28270 28271 28268 28266 28275 31942 28285 27913 31561 28267 28248 27904 27900 28289 27887 27883 31944 27915 32392 32391 32393 32394 32020 32390 32387 32388 32389 23797 23803 19606 19640 19639 19647 19651 19652 19653 19648 19650 19645 19659 19224 19655 19569 19643 19646 15921 15918 15920 15922 15917 15923 15924 15919 15916 68332 68333 68979 73021 73087 60802 52442 48435 48849 11458 64788 64789 11465 15491 15492 11466 15490 15486 15488 15485 15487 15489 3911 3874 3951 1885 3900 1926 1594 3944 3953 3952 1603 1600 1612 1597 1591 1611 1596 1414 1599 1590 1593 15452 15454 11461 15484 11452 11470 11474 15455 11045 11494 11453 15453 15451 15450 11468 11469 11382 11463 11464 11419 11460 11472 11473 11493 14860 15448 15447 15482 15481 15475 11478 11488 15478 15468 15477 15480 15479 15483 11500 15476 11503 11497 15521 15518 11491 11836 15509 15520 15511 15513 15510 15506 15508 15507 11502 11496 11499 11487 11477 11476 11481 11484 11490 15462 15463 15525 15470 15472 15474 15471 15469 15473 15106 15109 15110 11877 11876 14859 14858 14505 15459 7557 11835 15101 15102 11874 11873 14864 15100 15504 15505 15503 15501 15500 15499 15497 15502 15464 11485 15512 15523 15517 11878 11882 15516 11455 15519 11480 11880 15467 11459 15466 11875 11879 15522 11454 11456 15496 15465 15524 15108 15104 15498 15099 15105 15103 15107 14863 15449 15096 15097 15098 11871 11872 15112 11379 11380 7534 7190 11378 11046 11381 11377 7536 7535 7463 7533 7500 11376 10818 7547 7546 7545 7550 7549 7544 7554 7553 7558 3887 3888 3886 1602 3708 3707 3698 3697 3606 7498 3599 3597 3600 3598 3605 3966 3970 3955 1928 1930 3962 3989 3995 3992 3974 3961 3960 3977 3980 3596 3595 3696 3695 3964 3965 3968 3983 3994 3976 3979 3991 3988 3694 3899 3896 3895 3898 3889 3892 3893 3890 3894 3891 3897 3969 3973 3610 3972 3982 3693 3866 3865 1929 11048 1587 1585 1586 1912 1907 1899 1898 1901 1915 1904 1909 1906 1902 1914 1913 1903 1910 1900 1905 1911 1908 1535 1889 1886 1881 1896 1887 1882 1892 1883 1884 1895 1890 1893 1891 1888 1897 3861 3864 3851 3859 3849 3860 3852 3857 3856 3858 3854 3848 3855 3862 3850 3691 3692 7191 3986 3985 7494 7496 3417 1609 1606 7492 7493 7491 7490 3594 1605 1608 4021 4016 4013 4012 7489 7010 7530 7516 4318 7529 7527 7523 7521 7524 7519 7515 7520 7525 7518 7526 7517 7522 7528 7513 7514 7188 4322 3588 3585 3584 3589 3587 3593 3586 3580 3583 3591 3581 3582 3688 3682 3681 3684 3687 3690 3689 3686 3685 3683 4317 3592 7503 7509 7504 7531 7507 7512 7506 7508 7511 7510 7532 7505 3942 3943 7465 7453 7450 7452 7451 7454 7462 7458 7461 7459 7460 7457 7456 7455 7007 7006 7005 4367 6643 7464 7184 7182 7183 7442 7443 7439 7445 7437 7441 7448 7446 4365 7485 7482 7486 7484 7480 7481 7488 7479 7483 7478 7477 7487 7444 7438 7447 7449 7440 6774 7181 7180 7178 7179 7002 7003 7610 7475 7601 7602 7605 7476 10814 10817 10816 10811 10815 11412 11416 11411 11415 11413 11414 10819 11042 11041 11044 11040 11037 11418 11039 11043 11384 11409 11410 11036 11383 11417 10823 7563 7559 11408 7555 11405 11407 11406 7584 11441 11443 7572 7566 7578 7581 7569 11434 11432 11436 11439 11433 11442 11437 11438 11445 11448 11446 11440 11444 7917 11447 11449 11435 11404 7193 7192 11529 11520 10822 11524 11521 10806 10803 10805 10804 11530 10807 11531 10505 10808 10809 10301 7561 7562 10812 10810 10813 7966 11038 11035 11033 11034 11031 11032 11451 11375 11373 11374 11372 11371 11369 11370 11424 11422 11425 11428 11423 11426 11430 11427 11431 11429 11450 7957 11363 11362 11356 11367 11365 11357 11364 11368 11359 11360 11361 11358 11366 11385 3939 3937 3941 3430 3428 3447 1720 268 173 267 172 1721 116 239 270 1681 1683 1641 1682 1759 1760 1722 3456 2036 3459 3462 3450 3451 3454 3455 2037 1931 3463 7952 7953 10783 3913 7176 7167 7171 7168 7172 7174 7177 7173 7170 7175 7169 7166 1328 689 665 1329 668 690 676 669 670 3876 7537 7542 7540 1512 586 7611 7954 7956 7959 7964 7963 7960 7011 7012 7539 7187 7186 7009 7016 1509 558 582 613 658 560 7013 7008 7495 7189 7185 7961 7541 7497 7551 7955 7958 7575 7574 64815 65264 57038 65263 61150 52924 52925 69375 61151 69376 57037 64935 60822 68293 65312 65303 65308 65310 65309 61198 61165 60783 64811 64468 64803 64798 65299 65302 65300 65304 65306 65307 65301 65305 65294 65290 65292 65296 65291 65289 65293 65295 65298 65297 64880 15093 15090 15092 15091 15088 15095 15094 15089 15087 15443 15446 15445 15444 15086 15085 15442 15441 15440 15435 15437 15439 15436 15438 15434 15432 15433 15431 15074 15425 15427 15426 15429 15423 15424 15428 15430 11883 15078 14848 14850 14849 15080 15083 15082 15084 15081 14854 14851 14856 14857 14853 14855 14852 11395 11400 11402 11398 11401 11394 11403 11397 11396 11399 11392 11393 11389 11390 11388 11391 11870 11869 7583 7577 7568 7916 7571 7580 7565 15114 15113 15458 15457 19641 19642 19625 19621 19624 19623 19620 19619 19622 19626 11030 11028 10800 10797 10801 11026 11029 10796 11027 10802 10794 10798 10793 10792 11022 10791 11021 11025 10795 11024 11023 10799 14228 11885 18972 18971 18965 18967 18969 18963 18966 18968 18964 18970 18962 19216 19215 19221 19223 19562 19218 19220 19214 19217 19222 19219 19568 19567 19566 19564 19563 19565 15955 18973 15959 18302 15645 11462 11457 19225 15957 14847 14844 14846 14845 14839 14840 14835 14841 14836 14842 14843 14838 14837 11015 11018 11014 11013 11016 11017 11012 11019 11020 14824 11008 15514 11482 15515 19213 19212 19211 19210 56573 56575 56574 56576 60768 64833 64831 64829 64830 64832 64827 64828 64826 64825 19618 19610 19614 19613 19616 19615 19612 19617 19611 14834 65288 65287 19663 19668 19669 19665 19661 19660 19664 19656 19657 19689 19667 20057 20059 20061 20056 20060 20058 20069 20062 20066 20064 20065 20067 20063 19633 19632 19630 19636 19629 18950 18951 18952 18954 18953 19635 19628 19627 19634 19631 19638 19637 19556 19557 18960 18961 18959 19560 19561 19558 19559 19572 19580 19579 18947 18948 18949 19686 19680 19687 19684 19683 19681 19674 19690 19675 19678 19677 19672 19671 20055 20054 19555 19554 19552 19553 19551 19550 19549 19547 19545 19546 19227 20052 20051 20049 20050 20048 20047 20053 20046 20042 20045 20043 20044 20040 20041 18937 20022 23746 23733 23738 23740 23734 23737 23742 23749 20023 23745 23735 23748 23743 23736 23739 23732 23741 23747 23744 19543 19205 19202 19204 19209 19206 19207 19203 19208 19201 19200 23751 19198 10321 10320 10322 10323 19197 19193 19194 19195 19196 19199 19191 19192 23329 23327 23332 23330 23335 23334 23328 23333 23331 23326 23325 23324 23323 23322 23316 23315 23319 23317 23318 23321 23320 23681 23678 23677 23679 23680 23676 23675 23673 23674 23089 18976 18977 18944 19187 23750 23729 23730 23728 23731 23726 23722 23723 23724 23725 23727 18946 18943 18942 18945 23311 23310 23307 23308 23305 23309 23090 23304 23313 23306 23314 23312 23085 23079 23080 23084 23078 23077 22731 20070 23712 23718 23716 23714 23715 23713 23711 23082 23710 23336 23081 19537 19539 19541 19540 19542 19538 19536 23773 23760 23672 23663 23666 23669 23671 23664 23668 23667 23665 23670 23338 23086 23697 23695 23717 23696 23698 23708 23709 23707 23705 23706 23075 23699 23703 23700 23702 23701 23704 23074 23073 23070 23071 23072 65286 65285 61149 60820 60819 64443 64448 64445 64444 64455 64449 64452 64451 64456 64447 64453 64446 64454 64450 64188 64189 61202 63545 57036 64854 64861 64860 64220 60092 60093 60091 60089 60090 60087 60688 60689 60687 60686 60691 60690 60692 60088 60102 60096 60094 60095 60695 60693 60698 60696 60694 60697 60097 60100 60099 60098 60101 64219 64859 64853 64855 64856 64857 64858 64442 64434 64436 64440 64438 64437 64441 64435 64439 64186 64185 64184 64187 64183 60103 57087 56676 56677 56681 64774 60793 60770 60785 60354 61190 61176 61183 61182 61178 61197 61187 61196 61179 72676 23754 23753 23768 23784 23337 23772 23796 18322 18323 18324 18321 10473 10472 10319 10474 10475 10471 14833 14832 19578 19577 19575 19576 10445 23759 23764 23719 23755 23682 27942 27934 27933 27943 27937 23793 23790 23787 6744 23831 23820 23824 23829 23821 23830 27825 27196 27793 27831 27829 27823 27191 23766 27787 27828 27788 27448 27784 27848 27854 27855 27858 27183 27187 27178 27439 23765 23769 27826 27440 27791 27435 27190 27197 27822 27812 27811 27864 27810 27813 27192 27794 27446 27827 27442 27198 27789 27792 23770 27790 27443 27194 27445 27195 27188 27786 27436 27824 27814 27189 27447 27444 27441 27193 27449 27184 27438 27852 27859 27860 27818 27845 27861 27847 27846 27432 27179 27180 27817 27437 27182 27176 27816 23777 23778 23781 23782 27181 27853 23800 27431 27862 27177 27785 27434 27850 27857 27820 27428 27429 27185 24136 27433 27815 27186 27430 27819 27856 27851 27821 27849 24180 24178 23763 24179 24177 24173 24175 24174 24182 24176 24168 24169 24167 24172 23780 24170 24171 23657 23660 23659 23661 23656 23662 23658 27774 27781 27782 27776 27779 27778 27773 27780 27783 27777 27775 24160 24159 24162 24163 24164 24165 24166 24161 6745 6742 6743 10444 6747 6746 7726 7725 7612 7686 10501 10383 7869 4208 4169 4024 4062 4137 4097 7828 4270 4136 7797 7758 7651 4209 7650 7798 7613 4061 4229 7868 4269 1822 7967 10481 10482 10477 10502 10480 10450 8105 10476 10446 10451 8104 10503 7972 8296 8294 10504 10447 7004 23083 19548 15536 15531 15079 19544 18941 23076 1537 3938 3590 3853 3863 1568 3940 1894 1567 24047 15679 19832 23870 23905 19904 23977 19719 23944 19864 23832 24017 19757 15719 19975 24088 19934 19792 23945 24016 15718 15606 15644 15598 24087 15603 15605 11787 15595 11570 11532 15594 15643 11747 15604 11788 4063 60685 60682 60683 60684 60681 52923 60350 60351 60349 60352 60345 60348 60353 60347 60342 60343 60346 60344 60679 60680 60673 60674 60678 60675 60676 60677 57082 57080 57077 57081 57083 7652 11571 10324 10382 10381 47731 47733 47734 47732 47735 48483 48811 52596 44699 44698 60666 60671 60672 60667 60670 60668 60669 36472 32359 40257 36473 32360 36144 40586 40585 28246 32031 28247 44694 44693 44695 44372 44696 44697 11505 15907 7915 11833 11834 27918 24134 23805 15579 20020 20021 24133 15908 44371 56684 60734 60725 60730 60727 60733 59432 60735 60728 60731 60729 60732 60355 57089 60726 60701 59748 60357 57078 57079 60107 60067 57075 55961 57073 57074 56562 55957 56563 56560 55958 56570 56565 56572 56568 56571 56569 60724 60723 57072 57071 55960 60702 60700 57067 57068 65262 69048 56709 48812 44370 19692 57060 57059 57061 57062 57066 57063 57065 60106 48810 60722 60661 60721 60720 60719 60718 60714 60715 60717 60716 60340 60341 60086 60085 60083 60084 60082 60334 60333 60713 60712 60332 60331 60339 60336 60338 60335 60337 60080 60081 60078 60079 60330 60329 60328 60077 60075 60076 48484 48808 48806 48485 48809 48807 60073 60072 60070 60071 60327 60326 60325 60321 60074 60324 60323 60322 56557 56553 56554 56558 56555 56559 56556 56214 56208 56211 56209 56213 56210 56212 73226 73188 73176 73180 73185 73177 73186 68996 69426 73225 73542 73187 72444 73227 77577 77592 77277 77280 77574 77579 77575 77294 77572 77599 77298 77288 77581 77570 77582 77278 77571 77282 77299 77598 77596 77595 77593 77287 77584 77420 77446 77590 77576 77586 77276 77285 77591 77578 77573 77585 77594 77281 77580 77300 77283 77443 77564 77279 77413 77297 77295 77566 77374 77514 77487 77515 77415 77486 77557 77568 77583 77563 77600 77286 77558 77497 77492 77427 77562 77556 77425 77423 73546 77445 77444 77422 77491 77569 77588 77589 77284 77275 77587 77597 77414 77421 77493 77495 77496 77516 77513 77426 77419 77567 77485 77301 77339 68582 64469 77340 73241 77341 77354 76033 76038 76045 76107 76199 76105 73872 76116 76180 76115 76101 76193 76181 76106 76103 76179 76178 76121 76039 76119 76100 76043 76113 76040 75969 75910 75970 69428 76047 75908 76048 75968 71771 72406 76046 75909 76125 76124 76112 76123 76189 76197 76196 76186 76198 76177 76194 73679 76042 76034 76037 76041 76118 76104 76030 76190 76176 76025 76028 75965 76027 76020 75962 76035 75958 73681 76195 75957 75907 73547 75959 76022 76184 76192 76183 76102 76044 76117 76099 73871 76122 76182 76191 76109 76026 75961 75964 76036 76023 75963 76024 76021 75966 75960 75967 76114 76120 77373 77371 77372 73192 73235 69005 73233 73234 73236 73238 73239 69000 73237 40584 72441 73093 73240 24132 56242 56548 56244 40258 40583 40582 56567 57076 57070 56685 56561 57064 57084 56564 57069 56566 55959 57086 40222 44281 40240 40211 44272 40228 40254 40233 40221 40224 44259 44283 40225 39789 43625 44274 40226 40237 40243 40213 44280 44263 44273 40239 40212 40242 40236 44282 44260 40218 44268 44278 40230 44279 44269 44266 44265 44261 40229 44262 44264 44267 40210 40234 23799 24135 24157 24158 27771 27772 31977 23061 23062 23063 31971 31972 31968 31969 31975 31970 31967 31973 31974 31962 31959 31958 31961 31963 31960 31965 31964 31966 27809 27808 27174 27175 27427 27426 24156 24155 27807 27173 27424 27425 31954 31950 31955 31952 31949 31953 31951 31957 31956 31948 27769 27770 27765 27768 27764 27763 27766 27767 27762 23067 23066 23069 23065 23068 23064 31978 32023 31992 35667 35665 35666 35664 35663 35662 27983 28018 28058 27945 11605 11645 23869 28130 11644 28090 28160 28201 44228 44233 43639 44237 43635 44240 44234 43641 43650 43643 43642 43645 44229 44230 44239 44231 44235 44241 40245 40216 43901 43896 44243 44246 43894 43895 44238 43893 43897 43898 44242 44245 44236 43637 43649 43648 43647 43640 44232 43900 43890 40246 43899 43891 43892 44244 40215 40232 43646 43638 43636 43888 43889 44222 44224 43629 43628 44227 43633 44225 43631 44221 43630 43634 43627 44226 44223 11677 11717 11716 10491 8103 10500 10498 10488 10489 10499 10490 7971 8295 10492 32019 36021 32022 32013 32014 36035 36034 32026 32016 32017 32011 32010 31982 31981 36033 31986 31945 32025 36053 36050 36051 36052 36055 36054 36057 36048 36049 36047 36046 36045 36016 36015 36018 36017 36019 36020 36056 36044 32029 36014 32028 36036 36038 36040 36042 36041 36043 36039 36037 36012 36011 36010 36009 36008 31994 31995 31999 36003 36002 36004 36005 36006 36007 31998 36001 35070 36030 36031 36032 36027 36028 36029 36023 36022 36024 32381 32383 32385 32386 32382 32384 32369 32376 32370 32380 32372 32368 32377 32378 32407 32375 32373 32379 32374 32371 35997 35999 36000 35998 31984 32002 31908 31987 32008 32004 31980 31985 31990 31991 32007 32003 31310 31311 31304 31305 31306 31303 31309 31308 31307 31302 31301 31300 31298 31299 31901 31903 31904 31902 31905 31906 31907 31989 31900 31899 31895 31898 31896 31897 32006 31889 31894 31893 31891 31892 31890 31933 31932 31931 31930 31929 31554 31556 31560 31558 31555 31553 31559 31557 31552 31551 31928 31923 31924 31926 31922 31921 31925 31927 35677 31920 27870 27875 31549 31550 31882 31884 31883 31885 31887 31886 31888 30641 28298 31294 31292 31293 31295 31297 31296 31539 31540 31291 31290 31289 31287 31288 31286 31316 35425 31548 31547 31546 31544 31545 31315 31543 31542 31541 31526 32409 31911 35995 35996 36088 36085 36086 36087 36084 36082 36079 36072 36073 36075 36071 36083 36081 36078 36076 36077 36080 36074 31276 31870 31566 31565 31919 31918 31285 31284 31537 31538 36067 36066 36069 36065 36068 36070 36062 36064 36063 35983 31915 31917 31916 31914 31536 31880 31879 31877 31875 31876 31878 31881 44299 44307 44314 44313 44309 44306 44308 44311 44304 44302 40588 44301 44298 44300 44303 44305 44297 44310 44312 44316 43873 44254 43620 44216 43871 44256 43621 35661 35657 35659 35658 35660 35656 35654 35653 35655 35652 43879 43618 43623 43877 43872 43869 44218 43874 43870 43622 44217 44215 44219 43876 44293 43875 44214 44253 44220 44257 44288 44289 44295 44290 43881 43887 43882 43884 43886 43885 43883 43880 44258 44292 43624 43619 44291 44255 35990 35989 35991 35994 35992 35988 35679 35678 36013 35993 40282 40276 40281 40273 40272 36090 32411 35389 35411 35412 34754 35424 35415 35414 35417 35418 35421 35419 35422 35423 35420 35416 35413 35429 35428 39537 36105 36100 36095 36109 36113 36117 36091 36058 35639 40167 40168 40170 40165 40164 40166 36104 36103 36133 36132 20019 43644 43632 43878 15906 44315 44296 44287 44294 40587 40629 40623 40626 40624 40621 40619 40622 40618 40617 40615 40612 40610 40609 40608 40607 40613 40611 40614 40616 40620 40625 40628 40627 40634 40632 40631 40630 35651 35650 35649 35645 35646 35648 35647 35643 35644 35676 10375 10377 10325 10376 10374 10327 10326 10378 10379 10380 36121 35410 35409 35407 35408 35406 35405 35404 36130 36139 36136 36127 36124 43296 40161 40162 40163 40133 40131 40130 40129 40132 40128 40126 40127 40125 40122 40124 40123 40121 40194 40192 40201 40189 40190 40188 40195 40187 40185 36099 36094 36102 36129 36126 36123 36107 36115 36108 36112 36092 36116 36111 36097 36138 36135 36141 36120 36119 36521 36514 36516 36517 36519 36518 36515 40169 36093 36098 36522 39792 39790 39791 36474 32358 35400 35401 35402 36089 35403 35399 40202 35398 35397 36513 36512 36471 40186 40184 36475 40203 40197 40199 40200 40198 36142 40193 40191 40196 40158 40160 40159 39536 39528 39535 39530 39529 39183 39532 39533 39531 39534 39527 40157 38867 36524 39525 39526 39524 39523 39502 39522 39521 39520 39519 39518 39517 39515 39516 39514 39512 39513 40178 39507 40176 40183 40177 40174 39509 40182 40181 39511 39510 40179 40175 40180 39505 39506 39508 36511 36510 36508 36509 43903 43904 43905 36506 36504 36505 36507 36503 36499 36502 36495 36494 36496 36498 36497 36501 36500 36145 36470 36469 28245 35396 35394 35393 35395 44209 40637 40635 42980 40136 40135 35392 43615 40155 40152 40153 40154 40156 40148 40149 40147 40145 40144 40143 40142 40141 40140 40137 40146 40150 40151 11587 11601 43654 43651 40119 40117 40118 40120 40115 40116 43865 43655 39783 39541 39784 39785 39786 39787 40110 40111 40109 40108 40113 40112 40114 44249 44248 44250 7682 39775 39542 39776 39778 39777 39780 39781 39779 39782 39538 39788 39752 39768 39769 39766 39767 39771 39772 39770 39773 39774 39765 40096 7668 36101 36096 39763 39764 7754 11659 11673 10440 10439 10443 10437 10438 10386 10442 10387 10441 7740 10448 10478 10449 10479 10487 10486 10496 3949 11585 7673 7679 7677 7680 7681 7675 3954 7676 7678 7674 7663 7659 7658 7662 7617 7660 7664 7666 11572 7665 31534 31283 31530 31280 31535 31531 31533 31281 31282 31279 31532 11600 7671 7672 7746 7745 7753 7751 7750 7752 7749 7748 7747 40103 40105 40107 40102 40104 11672 7824 11742 11743 7823 11729 11830 11819 11723 11794 11745 11675 11804 11805 11793 11809 11646 11810 11602 7815 11807 7743 11722 11658 11821 7822 11817 7814 11806 11801 7741 7742 11789 11820 11813 11816 11655 11651 11728 7818 7811 11828 11652 7810 7744 11650 11676 11653 11823 11825 11824 11586 11827 11508 11517 11519 11507 11511 11506 11802 11513 11516 11509 11814 7669 4225 11808 7670 11795 11829 11831 11656 11803 11832 11724 11510 11744 11718 11746 11725 11727 11518 7813 7812 11826 7820 11515 11815 11822 11604 7819 11657 11811 7821 11726 11800 11818 11603 11514 11512 11674 7661 10497 11654 7816 11812 7817 4224 40106 40101 23060 23694 14248 14244 14243 14242 14245 16098 15960 14249 10318 18385 18446 18445 10317 10316 14247 14246 14391 27863 39757 39762 39760 39761 39758 39756 39759 27838 14312 27840 27843 27836 27835 27841 27839 27844 27842 27837 14449 14392 14445 14451 14447 14444 14372 14314 14370 14369 14366 14364 14311 14368 14313 14448 14371 14367 14389 14365 14443 14390 14450 14446 7914 7587 27172 27171 27804 27169 27801 27805 27802 27166 27170 27806 27168 27803 27167 27422 27417 27419 27420 27421 27418 7911 7913 7586 7912 27423 27944 27982 28057 28129 28200 19756 19831 10790 19903 19974 23050 19707 19708 19717 14489 14488 14485 14487 14486 14306 14305 14304 14254 14303 14301 14302 14252 14308 14307 14251 14309 15791 15751 15821 15862 11047 11569 15790 19718 15861 10788 10789 10786 10787 14483 14477 14476 14484 14467 14481 14478 14466 11352 11355 11353 11349 14253 14479 14480 14475 14482 15659 31116 31272 31194 31188 31115 31108 31193 31117 31041 31120 31198 31118 31039 31195 31196 14250 22415 19716 20072 19711 14474 11350 11351 11354 15675 15674 12216 14385 14465 14386 11891 14310 12023 14464 14497 14378 14459 14382 14461 14383 14384 14463 14380 14377 14379 14458 14456 14491 14381 14460 11886 12214 12024 11890 14374 14453 14457 12025 14388 12215 14498 14387 14462 14499 15661 11578 11584 11583 11579 11536 11580 11582 11577 11581 11592 7538 11595 11599 7543 11594 11598 11596 11593 11597 14495 14500 14504 15646 14502 14503 14501 16290 18454 18455 18535 18458 18612 18615 15965 18540 18602 18601 18616 18617 18608 18613 18453 18384 18451 61145 61146 60824 60823 61147 61148 14402 14494 14496 15905 15904 15902 15903 15882 15890 15819 15892 15894 15588 15750 15895 15792 15581 15881 15676 15678 15893 15660 15899 15798 15874 15583 11591 15901 15876 15818 15589 15592 15896 15871 15585 15863 15586 15900 11588 15868 15875 15800 11589 15582 15878 15727 15720 15883 15593 15802 15584 15820 15677 15889 15884 15891 15726 15796 15873 15587 15728 15872 15725 15880 15886 15591 15869 15867 15898 15897 15801 15797 15580 15885 15887 15590 15724 11590 15877 15888 15879 15748 18940 14828 14830 14831 14829 14827 23340 27830 24183 24186 24324 19758 18534 18457 18450 18611 18461 16099 18449 18538 18533 18448 18537 18610 15964 18460 18604 18456 18527 18614 18462 18447 16097 18539 19772 19759 16289 23644 18536 18531 18459 18452 18328 18383 18377 18382 18381 18379 18325 18375 18326 18327 18380 18376 18378 23685 23339 18528 18529 24514 24516 23059 23055 23054 23057 23056 23053 23058 26671 26672 26668 26667 26669 26666 26670 26664 26665 26613 26612 26751 26550 26549 26750 26749 26748 26689 26548 26547 26743 26745 26747 26744 26746 26690 26691 18463 18524 18519 18518 18523 18520 18464 18465 18466 18517 18522 18521 26608 26609 22638 22637 26611 26614 26601 26604 26606 26602 26607 26552 26554 26605 26553 26603 26551 22432 22433 22434 22435 22437 22436 22576 19226 26546 18598 18599 18594 18597 18596 18609 18607 18595 18600 26543 26545 26544 26828 26827 22702 22696 22705 22658 22698 22706 22662 22695 22661 22700 22703 22704 22697 22659 22699 22701 22660 22657 22715 26766 22714 22653 22655 22711 22707 22708 22712 22709 22713 22656 22710 22654 26541 26540 26538 26539 26537 26542 23684 4316 23650 23692 23649 23690 23689 23654 23652 23653 23655 23693 23691 23688 23651 22636 18530 18532 22635 22625 22581 22624 22621 22623 22630 22584 22582 22579 22620 22627 22632 22629 22634 22622 22626 22633 22628 22631 22583 22619 22618 22585 20018 20017 26760 26761 24325 26838 26759 24191 26610 26757 26688 26685 26764 26687 26765 26678 26762 19693 22578 26724 26698 26731 26728 26739 26734 26701 26737 26700 26730 26725 26727 26706 26738 26733 26741 26697 26723 26732 26729 26699 26742 26736 26740 26735 18543 18541 18542 22580 15658 26758 26756 22693 22689 22663 22694 22692 22665 22664 22691 22690 22587 22616 22613 22586 22614 22588 22615 22617 22612 22611 22610 22593 22687 22688 22670 22668 22669 22667 22666 19914 19861 19909 19982 19911 19845 19976 19987 19833 19843 19915 19913 19985 19790 19841 19980 19839 19791 19837 19981 19933 19844 19863 19932 19986 19905 19984 19840 19862 19910 19931 19789 19838 19992 19994 20011 20000 20004 19993 20016 19995 20008 20009 20001 20007 20012 19998 20015 19988 19997 19991 20013 19996 20006 19990 20002 19999 20014 20010 20005 20003 26696 26694 26693 26695 19700 19699 19706 19704 19705 19698 19702 19703 19989 19701 19695 19697 19694 19696 18525 22577 18442 18439 18388 18440 18444 18441 15651 18438 18443 15652 15654 15657 15655 15656 15653 18387 18386 15610 24515 26779 26781 26782 26780 24323 26684 26683 26680 24190 26836 26682 26837 26679 26677 26674 26681 26820 26826 26767 26821 26824 26768 26769 26822 26825 26830 26686 26753 26763 26814 26801 26809 26783 26774 26802 26817 26800 26815 26777 26770 26811 26773 26813 26818 26772 26804 26775 26807 26806 26805 26776 26808 26819 26816 26812 26778 26803 26810 26771 26645 26619 26618 26653 26657 26651 26652 26616 26647 26620 26662 26615 26661 26627 26646 26663 26617 26622 26660 26656 26644 26659 26654 26650 26655 26658 26649 26621 26648 26623 26676 26673 26675 26829 26752 26831 26755 26754 26832 26833 26835 26692 26726 26823 4077 7653 1761 7588 7910 7909 19649 19644 27203 27202 24185 26528 27451 27199 27797 26844 27796 27163 27413 27452 27757 27453 32033 32032 32354 35084 35087 35085 35086 35083 40214 40209 32356 32357 32355 27798 28241 28244 28242 28243 18320 18319 18318 18317 18316 18314 18315 18312 18313 18311 36284 36244 36209 36171 32171 32131 32170 32095 32096 32058 22431 22430 22429 6716 6723 6720 6719 6722 6718 6721 6724 6717 1571 1566 14441 14439 14440 14442 4076 4074 4075 4070 4071 4073 4028 22558 22559 22498 32046 32047 26856 34770 23683 34769 34768 34767 34764 34765 34766 34763 35081 35082 35079 35080 36240 32127 28014 32113 36226 27984 36283 27998 32098 32111 32412 32550 32243 32203 32740 32314 32242 32273 36356 36316 32313 28000 14393 14394 48017 32057 32056 32055 32050 40397 40357 40284 40322 44435 44397 40353 4086 4091 4088 4092 4089 4087 4084 4093 4085 4090 4163 4157 4162 4160 4159 4161 64960 64959 64954 73300 73261 73301 73373 73333 73444 73403 69064 56736 56774 56809 56849 68133 68058 68056 14397 14400 14398 14396 14399 14401 14428 14406 14431 14438 14430 14432 14434 14437 14436 14423 14435 14425 14395 36208 14424 14429 14426 14427 14433 14454 14493 14373 14375 14490 14376 14452 14455 14492 6773 6765 6766 6754 6756 4154 6764 4079 6725 6769 4083 6755 6753 6772 6752 4080 4081 4082 6768 4494 6767 4496 4372 6763 6762 4373 4222 4221 4223 4155 4072 4069 4156 4164 4165 4158 56992 52735 56951 52977 30661 34775 30940 30941 34776 34773 34772 34771 30663 30879 34774 30662 34992 35054 65217 77338 30717 30667 30665 30718 30715 30664 30722 30721 30655 30803 30805 30804 30660 30858 30862 30861 30719 30716 30714 30720 30666 30881 30935 30882 30880 30936 30933 30934 30937 30938 30939 34977 34837 40469 34898 34835 34777 30802 30863 30864 30724 30785 34915 40396 30784 36427 40429 36386 30859 30857 30860 30856 30656 30657 30658 30659 40540 40499 44434 44509 32097 34897 36160 26860 26857 36163 36170 36210 36168 26858 36169 36159 26859 27919 27920 39089 39090 30654 30652 30653 28299 30917 30884 30914 30916 30888 30919 30926 30930 30885 30896 30889 30890 30928 30922 30918 30915 30923 30891 30920 30924 30932 30925 30921 30929 30886 30927 30887 30913 30931 30651 56848 48622 56881 56921 56735 69259 69330 64961 61341 56773 64951 44653 44612 48766 48725 56243 52838 52879 52660 52611 52621 52615 52612 52620 52808 52768 48695 48655 44542 44582 48547 48565 60356 56724 56733 56734 56728 56725 60838 60841 60837 60846 60847 48548 52623 48510 44510 48623 48583 52661 52736 52696 44470 60922 65000 43124 69187 69112 61034 61203 60994 60886 60961 69331 69290 69260 69220 64999 65107 69074 69067 69072 69063 69073 48579 44466 52622 61064 61105 65218 65147 65177 63844 63845 63783 69075 60849 69113 65074 65075 69148 65035 64962 60962 60887 69188 34834 48508 48509 48502 48498 40283 48499 48507 48361 30650 30883 48694 48765 44581 55649 55651 55650 44652 36355 61104 61033 36426 52807 52878 56920 61531 56991 40580 40581 40259 73443 65146 73372 44396 44395 60848 53114 68289 68217 68291 67992 67995 67994 67990 68292 68212 68280 68213 67993 68290 68287 67991 69054 69350 69366 69361 69347 69368 69365 69367 69062 69345 69056 69358 69055 69357 69369 69374 69363 69342 69343 69352 69053 69359 69351 69373 69364 69371 69354 69360 69362 69344 69353 69348 69346 69370 69372 69349 69355 69061 69356 69193 69200 69199 69218 69267 69201 69337 69265 69287 69261 69219 69194 69289 69217 69197 69266 69189 69332 69338 69336 69340 69146 69145 69147 69269 69195 69196 69288 69271 69270 69341 69052 69049 69059 69050 69058 69057 69051 69060 59765 59766 59767 48543 48544 48542 48546 48545 59768 59769 61342 61533 61532 68134 68135 68137 68209 68131 68130 68125 68132 61208 34976 64156 64165 64109 64110 64104 64166 64167 64163 64164 64154 64158 64160 64162 64161 64159 64155 64107 64108 64157 64088 64089 64026 63882 63876 63878 63881 63877 63879 63880 53306 53307 53116 52981 52982 31988 31983 36525 36663 36853 36855 36854 53115 53305 59764 65212 65199 65132 65145 65194 65124 65205 65129 65133 65201 65202 65206 65192 65142 65144 65214 65211 65134 65136 65213 65198 65204 65207 65130 65127 65216 65137 59908 59907 60066 59986 59987 59985 60065 60061 59977 59912 59983 59982 65060 65055 65067 65072 65070 65049 65068 65054 65069 65062 65063 65071 65056 65051 65066 65052 65053 65059 65061 65057 65058 65064 65065 65138 65215 65128 65135 65141 65195 65197 65210 65203 65140 65125 65139 65126 65143 65200 65196 65123 65121 65131 65208 65209 65073 36224 36211 59832 68286 68214 68211 68279 68210 68281 68216 68205 59976 68201 68215 68139 68202 60055 60064 59990 60063 60060 59984 59988 59913 55800 55863 59909 59911 59979 60054 60053 55878 55941 59991 59975 51828 51765 59906 59899 59896 59895 59834 59770 59829 59828 64982 64977 64984 64991 64983 64996 64997 64993 64978 64976 64974 64994 64992 64979 64989 64988 64985 64987 64990 64986 64981 64998 64995 64980 59989 51538 51827 51541 51540 51543 51542 51539 64106 64114 64148 64151 64142 64147 64143 64115 64145 64150 64153 64112 64152 64113 64144 64149 64116 64111 64146 64140 64121 64141 64119 64117 64120 64118 61207 55655 55654 55656 55652 55653 55940 55862 35053 64008 64009 67996 68054 68055 64105 64081 64087 64966 64078 64077 64032 64086 64031 64030 64027 64084 64079 64085 64082 64029 64080 64083 64076 64028 44394 44385 44386 44389 35046 35049 35051 35048 35047 35050 35052 61340 48868 31273 31274 31275 35091 35090 35089 35088 47715 47714 51537 51536 47652 47425 47430 47428 47427 47429 47426 51535 51534 51750 47574 51687 47637 47636 51749 51533 51532 51531 59830 47423 47424 43523 43524 43317 43312 43315 43316 43313 43314 43461 36467 36146 47418 47420 47422 47419 47421 56968 56984 56974 56972 56986 56982 56970 64036 64033 64075 64034 64068 64074 64070 64035 64072 64071 64073 56981 56969 56971 56990 64069 56966 56987 56980 56975 56979 56989 56983 56973 56978 56976 56977 56988 56985 55715 55716 51606 51682 51673 51604 51683 51681 51680 51761 51758 51837 51763 51753 51760 55657 51602 51603 51544 36468 63947 39489 39426 39201 39202 39199 39203 39204 39200 39488 43539 43602 43310 43311 43601 35376 35298 35297 35375 39198 39197 35313 35235 43309 39411 39348 39410 52805 52806 52804 63874 63875 55873 55874 56899 56909 56901 56895 56918 56902 56904 56846 56839 56831 56847 56835 56840 56836 56832 56842 56826 56843 56844 56828 56825 56838 56830 35156 35218 35217 39331 39269 39205 39264 35092 35151 43376 43377 43318 56753 56755 56771 56768 56752 56760 56769 56756 56764 56766 56757 56751 56761 56765 56770 56750 56754 56758 56748 56767 56762 56772 56759 56763 60057 60062 43444 43443 43382 67988 67989 39330 35150 39263 63941 63883 63942 67987 67983 67985 67984 67986 63873 63872 56916 56900 56914 56897 56915 56837 56845 56827 56829 56833 56834 56823 56841 56907 56917 56913 56908 56905 56910 56903 56898 56911 56912 31266 31271 43308 39196 43397 43396 47490 47489 47431 55783 55721 55782 56796 56824 56815 56821 56817 56819 56816 56818 56822 56814 56820 56810 55871 55866 51669 47556 47495 47557 51670 51608 68121 68122 68060 56740 56919 56906 43801 43807 43863 43743 43806 43852 43758 43862 43732 43552 43395 43663 43850 43731 43848 43846 43864 43554 43659 43839 43847 43656 43714 43729 43728 43661 43844 43837 43822 43735 43741 43730 43841 43734 43838 43662 43849 43738 43733 43746 43840 43660 43835 43845 43701 43658 43834 43843 43842 43740 43725 43742 43755 43727 43836 43855 43860 43736 43739 43851 43809 43756 43753 43737 43664 43657 43726 43555 43808 4312 4313 3997 1800 1799 4314 4315 1879 3998 23901 36239 32741 34971 34970 34917 34975 34969 36158 36441 36154 36451 36446 36150 36464 36458 36156 36447 36149 36450 36462 36457 36442 36152 32255 36296 36434 36151 36454 36459 32103 32123 32062 32109 32105 32107 32124 34829 32120 32106 34779 32262 32193 32116 36295 32263 32256 32191 32265 32117 32186 32261 32192 32114 32195 32257 34830 32122 32190 32197 36455 36448 36155 34828 34831 36440 32266 32118 32125 32108 32119 32104 36241 32259 32115 36463 36465 35062 34989 34984 32742 32549 34912 34986 34982 35068 34991 32417 34985 35065 34979 34900 34914 35059 35060 35069 35063 34987 34836 32551 35061 34988 34980 34990 35056 35067 34913 34904 34981 34911 34907 35064 34983 34910 34909 34908 34838 32194 36287 36147 32121 32196 36461 35066 36292 36456 34832 32187 36157 32264 36452 32260 36439 36460 36243 32416 32185 36312 36298 32199 34906 36383 36453 32189 34903 36449 36443 36466 36153 32267 36148 32126 27997 34839 34892 44452 43061 40339 38890 43003 38947 38948 39010 38950 39011 43063 36662 28012 28010 28009 28013 28005 28011 28008 28007 28006 28304 28438 28437 28436 39167 39166 36664 38949 39026 36530 39025 39027 39104 39103 39102 39169 30801 30800 30869 30871 30872 39006 39007 39009 39008 39005 39004 39003 38952 38953 38951 39084 38892 39031 39029 39030 38945 38946 38942 38944 38941 38940 38943 38893 38891 39161 39087 39083 39085 39159 39163 39088 39165 39086 39164 39082 39160 39162 38902 38920 38926 38897 38898 38934 38939 38936 38931 38896 38894 38935 38930 38903 38922 39147 39144 39063 39122 39142 39143 39151 39148 39149 39141 39153 39158 39081 39152 39067 39045 39155 39157 39150 39145 39140 39073 39146 39156 39154 39068 39076 39080 39071 39072 39078 39070 39064 39077 39079 39066 39074 38961 38996 38990 38994 38997 38985 38993 39002 38986 38998 39001 38983 38991 38987 38989 38966 38988 38999 38984 38962 39028 39105 30781 30782 30783 30780 30727 30726 30778 30725 30779 30777 30791 30798 23757 27991 27996 27990 23762 27992 27994 27949 27993 27995 39039 39034 39035 39032 39037 39036 39038 39040 39062 35058 34902 34899 35055 34978 34901 35057 30948 30954 30949 30951 30787 30947 28628 30950 28629 30799 30873 30955 30952 30797 30943 30877 30790 30946 30794 30878 30956 30792 30866 30874 30875 30870 30876 30723 30953 30796 39116 39117 39139 39098 39097 39096 39099 39095 39024 39100 39017 39101 39174 39172 39175 39094 39093 39092 38960 38954 38957 38959 38955 38958 32042 32331 32352 32320 32346 32344 28303 32326 32325 32272 32179 32319 32130 32337 32045 32177 32345 32252 32348 32040 32202 32128 32333 32324 32343 32035 32340 28003 32336 32335 32044 32039 32244 32332 32353 32330 32176 32350 32249 32327 32254 32321 32180 32341 32339 32323 32200 32041 32347 32342 32329 32250 32271 32129 32334 32172 32112 28001 28002 32253 28004 32248 32270 32349 32351 39020 39014 39015 39018 39019 39016 39107 39106 39108 39111 39114 39113 39109 39112 39115 39110 39177 39023 32037 39176 38956 39069 38995 39075 34778 34780 36297 34895 32268 36285 36364 36382 36361 32198 36315 34995 34993 34896 34891 34890 34893 34894 34840 36362 36225 36366 36381 34827 38921 38895 38933 38928 38925 38901 38937 38923 38932 38899 38929 38900 34833 30793 32258 32034 32338 36367 36289 36365 36291 36313 32110 36293 36428 36357 36363 36368 36290 36432 38992 39033 39000 38927 38938 38924 39065 34994 30795 32178 32038 36242 34973 36444 32036 32043 34974 34916 32328 34972 34918 36445 36311 32269 36433 36294 36384 36385 36314 34905 32188 32315 35036 35044 35009 35000 35027 35041 34997 35033 35035 35040 35003 47237 47176 34998 35004 35039 35038 35028 35001 34996 35042 35026 35032 35043 35045 35034 35029 35031 35030 35037 34999 35002 23871 39041 14523 14521 14810 14526 14522 14524 57228 57090 63688 63689 63628 60888 63625 56805 60904 60918 56791 52692 52678 63626 63568 59455 59513 59576 59515 59575 59655 59593 40468 51229 51287 47116 55342 55400 47174 51350 51289 51349 55463 55402 40539 43002 42999 42997 42998 43001 43000 43123 40638 43060 44751 48864 56775 34928 27985 23885 16288 26626 26624 26625 39180 39181 39182 39179 39178 39173 40321 40776 40966 20073 44889 49002 40323 52662 43456 43454 43457 43447 59654 19846 15747 23959 19860 23973 15733 28086 28072 34959 34960 34968 34954 34966 34967 34964 34961 34962 34957 34919 34925 34949 34921 34952 34963 34958 34951 34920 34953 34965 34950 34956 34955 34929 34931 34930 34932 34922 34923 34926 34924 34927 43534 43532 43535 43527 43611 43537 28142 28156 28155 67954 67951 67950 67797 67899 67898 67896 73257 47114 47112 47113 67956 67958 67801 67957 67799 47115 47111 51444 51506 67796 67800 67794 67742 67744 67743 67741 67798 67795 69429 67955 59670 67953 73680 59732 63767 63706 63768 65017 65031 69130 69144 72070 72009 72071 71914 71993 71915 71854 67897 67802 73243 67952 67880 67873 67876 67875 67874 67819 67878 67821 67877 67879 67881 71994 71932 69114 59727 65001 59731 59724 59729 59726 59725 59730 59728 77417 77424 77416 77418 59512 67820 67822 73308 65015 76058 76081 76098 76083 76080 76086 76087 76097 76095 76084 76090 76082 76059 76088 76093 76096 76094 76085 76089 76092 76091 76061 76062 76128 76137 76167 76163 76173 76159 76157 76175 76169 76171 76135 76162 76170 76164 76172 76136 59671 59672 59673 73259 73258 73379 73168 73171 73468 73482 73469 73470 73167 73483 73162 73466 73163 73471 73480 73260 73302 73312 73461 73474 73173 73486 73170 72010 72011 72012 71920 71931 71929 72067 71923 73485 73477 73467 73476 73460 73164 73175 73174 73450 73382 73314 73383 73309 73331 73445 73449 73165 73464 73459 73172 73478 73475 73166 73472 73400 73313 73401 73306 73310 73456 73451 73332 73380 73479 73462 73169 71922 71911 71910 71907 71909 71908 71912 71913 71928 72084 72001 72000 72003 69566 73384 73307 73453 73330 73402 73378 73454 73455 73374 73457 73465 73458 73473 73484 73481 73487 73463 71986 71992 71990 71987 72081 72086 71926 72077 71927 72085 72004 72082 72064 69434 72083 72008 72063 72073 72002 71917 71930 72005 71921 72065 72068 72066 71924 71999 72069 69568 72007 71989 71988 71991 47267 76130 76129 76133 76134 76132 76131 76127 76126 71792 71790 71791 71793 76060 76139 76165 76161 76158 71789 76138 76160 76156 76166 76174 76032 76029 76031 69128 73228 69115 67912 67909 67910 67911 71786 71787 71788 76053 76079 76056 76055 76051 76049 76054 76052 76050 76057 47236 67736 67739 67735 67732 67738 67731 47331 47393 55542 55480 67733 67681 43218 67734 43280 43279 67737 55619 67684 67683 67682 55557 47392 55541 55618 72076 72079 72006 72080 72078 69759 71996 69758 69433 55462 55399 67813 67895 67804 67817 67740 67816 65320 67892 67814 67815 67887 67968 67808 67971 67810 67809 67807 67811 67966 65645 67963 65646 67967 67965 71794 77356 77370 71851 71852 67888 65455 65316 65453 67889 67890 67812 67886 65321 67891 67818 67972 67960 67970 67893 67883 67894 67969 67973 67964 71853 71933 71935 71934 71857 71856 71855 71847 71925 69125 71844 69122 71850 69127 71795 69123 71848 64887 71796 69124 69126 69079 71846 71797 64892 69121 71845 69120 71849 76168 63798 63797 63796 63719 63799 65013 65014 60774 65012 65009 65007 60779 65011 65008 65010 51505 57419 64098 64178 64173 64103 64176 64100 64099 64168 64174 64179 64177 64101 64097 64095 64096 64102 64022 64019 64012 64020 64021 64025 64090 55632 55479 55556 55555 55478 55621 55465 55554 55544 55401 55631 55634 55628 55627 55472 55475 55552 55551 55629 55469 55474 55471 55473 55464 55466 55477 55467 55550 63860 63859 63778 63847 63773 63857 63780 55625 55630 55626 55624 55633 55549 55547 55548 55476 55553 67832 67834 67833 67835 57420 57229 57095 63695 63774 63852 63627 63853 63850 63854 63705 63702 63704 63776 63782 63781 63775 63858 63856 63777 63851 63855 63779 63722 63721 63720 63764 63785 63786 63766 63840 63708 63839 63763 63784 63765 63762 63760 63761 63841 63837 63843 63709 63842 63707 63838 63641 63643 63630 63682 63684 63631 63687 63683 63686 63629 63685 63681 63642 64024 49193 47254 47316 43141 43203 51367 51429 44436 47315 48549 43202 47110 51286 51428 47109 42996 42995 47173 47108 49194 49192 42994 49003 48869 49001 51521 51362 51439 51516 51442 51443 51520 51440 51361 51519 51517 51512 51514 51515 51360 51438 51437 51441 51356 51366 51363 51365 51431 51508 51518 51359 51364 51352 51358 51357 51353 51351 51354 51355 51435 45079 72015 72016 72013 72017 72014 72018 72043 72019 72021 72020 63832 63819 63833 63789 63821 63820 63829 63835 63818 63823 63830 63787 63824 63827 63826 63836 63828 63759 63748 63747 63746 63749 63750 63754 63743 63742 63751 63710 63712 63757 63753 63758 63756 63755 63744 63741 63745 63752 63817 63740 63716 63711 63632 63633 63640 63634 63637 63639 63669 63666 63665 63664 63672 63680 63661 63662 63663 63678 63671 63677 63675 63670 63679 63674 63667 63644 63676 63668 63673 63636 63723 63635 63790 63800 63713 63791 63792 63795 63794 63793 63822 63825 63831 63788 63834 63714 63715 63718 63717 63638 51342 51347 51348 51344 51343 51346 51345 51292 55934 55930 55935 55936 55939 55883 55929 55931 55928 55884 55932 55937 55938 55933 51331 51327 51339 51334 51333 51328 51338 51325 51336 51329 51335 51341 51297 67930 67906 67900 67901 67902 67903 67908 51326 51337 51323 51322 51300 51294 51332 51324 51302 51303 51301 51296 51293 51305 51304 51298 51340 51299 51330 67933 67932 67949 67942 67944 67946 67935 67940 67937 67938 67939 67904 67907 67905 67947 67936 67934 67931 67913 67943 67941 67948 67945 57418 51290 51291 67872 67862 67860 67857 67855 67853 67826 67831 67825 67824 67823 67828 67829 67830 67827 67854 67861 67865 67859 67871 67867 67869 67866 67864 67868 67856 67858 67870 67863 67836 72062 72054 72050 72056 72046 72059 72045 72055 72061 72058 72044 72060 72053 72052 72048 72047 72049 72057 72026 72051 72023 72024 72025 72022 30815 39044 39042 39043 55459 55457 55458 55460 55456 55461 55455 51288 55468 55470 51295 56716 57012 57019 57029 56932 56718 56719 56712 57023 56855 57014 56927 56720 57015 57011 57022 57010 57007 56878 56880 57026 57017 57016 56998 56926 57018 57032 56723 56948 57009 56931 57033 56850 56717 57004 56854 57025 57020 57027 56997 57024 56999 57030 57005 56862 57028 56922 56856 56858 56879 56710 56715 56930 55494 55496 55493 56857 56928 57034 56713 56711 57021 57035 57031 56714 56993 56721 57006 56950 57013 57008 56949 56722 55535 55539 55616 55612 55617 55613 55536 55611 55481 55483 55559 55482 55560 55558 55614 55538 55537 55540 55534 55615 55495 40337 44450 44437 48550 48563 51436 60990 52750 60976 44538 48651 44524 52764 48637 56877 56863 69216 65089 65103 69202 73329 73315 65022 67728 67717 67725 67726 67729 67716 67714 67718 67722 67694 67713 67720 67724 67712 67721 67715 67723 67719 67730 67727 64003 64001 64002 64007 64006 63953 63999 64000 64005 63998 64004 63997 51434 51513 51511 51281 51231 51283 51279 51282 51285 51280 51284 51230 51232 51368 51424 51422 51425 51421 51426 51427 51423 51370 51369 51380 51413 51420 51414 51383 51384 51411 51419 51406 51418 51417 51372 51378 51407 51402 51405 51410 51404 51408 51381 51415 51412 51409 51403 51416 51382 51401 51379 51374 51371 51377 51375 51373 51376 51270 51276 51269 51272 51278 51262 51264 51260 51273 51267 51266 51242 51261 51268 51274 51275 51277 51265 51271 51263 51234 51235 51233 51237 51238 51236 51239 51241 51259 51240 65454 67779 67791 67787 67786 67785 67777 67757 67793 67783 67790 67755 67756 67754 67782 67775 67784 67776 67789 67780 67792 67778 67788 67781 67751 67774 67752 67750 67749 67753 67748 67747 67745 67746 55398 55392 55397 55395 55396 55394 55393 55405 55403 55404 55881 55879 55880 55882 47344 47345 47347 47346 63934 55406 63933 55448 55449 55379 55602 55447 55451 55568 55604 55415 55518 55600 63937 55443 55389 55517 55593 55591 59883 59837 55486 55528 55488 55516 55523 55519 55525 55595 55532 55529 55497 55527 55570 55573 56859 59835 59839 59838 59836 59776 55407 63938 59968 60043 59972 59971 59822 59915 59917 59817 59818 59993 60042 59825 59819 59827 60050 60047 59996 59970 59964 59963 60051 59969 55610 55601 55608 55383 55385 55533 55417 55454 55605 59973 59967 60041 60045 59965 59821 56852 59995 59820 59823 60049 59824 59826 55450 55391 55373 55374 55437 55388 55440 55390 55377 55380 59840 59893 59919 59891 59887 59890 55416 55411 55435 55410 63887 63884 63931 55445 63935 55412 63888 63940 55414 55572 55355 55375 55565 55566 55606 55444 55387 55436 63943 63932 63886 63939 55408 59889 63930 55381 59997 59918 59885 59894 59884 59886 59892 59888 55386 55418 55452 55378 55376 55574 55571 55596 55609 55384 55607 55569 55522 55598 55592 55515 55599 55564 55530 55563 55490 55561 55524 55597 55567 55520 55562 55521 55531 55594 55409 63889 55603 63929 63885 55413 63936 55492 55491 55484 55485 60046 59966 59994 60044 60048 59914 60052 59916 59974 59992 55382 55441 55439 55446 55487 55489 55514 55442 55438 55453 55526 77442 77428 59586 59588 59665 59587 59734 59744 59667 59661 59592 59582 59743 59747 59746 59742 59666 59738 59591 59668 59514 59589 59745 59669 59739 59741 59737 59740 52676 56789 56776 52663 60902 60889 65002 47107 47105 47106 59657 47104 55345 55343 55344 59662 59664 59663 59660 40967 44890 45081 45080 44756 63700 63701 51504 51498 51500 51502 51499 51501 51503 51480 51486 51490 51497 51495 51461 51485 51496 51481 51492 51479 51484 51450 51451 51456 51449 51489 51487 51494 51482 51493 51488 51478 51483 47103 59685 59683 59684 59686 57227 47389 47391 47390 47386 47334 47388 47387 47385 47332 47333 47384 47383 47335 40329 40334 40335 40332 40331 40288 40330 40333 40336 59585 59584 59583 59581 68268 68276 68273 68219 68220 68222 68271 68278 68274 68267 68275 68269 68270 68221 68272 68218 68277 68223 59590 57094 59580 59579 59577 59716 59714 59708 59713 59721 59712 59715 59711 59709 59687 59722 59718 59723 59706 59717 59710 59705 59707 59720 59719 59677 59679 59681 59680 59682 59678 59674 59676 59704 59675 59636 59646 59634 59645 59637 59606 59600 59629 59635 59630 59602 59631 59627 59605 59604 59601 59597 59603 59599 59643 59632 59639 59608 59607 59609 59596 59595 59650 59594 59652 59648 59653 59647 59649 59651 59633 59642 59640 59638 59644 59628 59641 59610 61138 61142 60829 60832 61143 61118 60831 61129 61124 61131 61130 61132 60835 61125 61121 60834 60833 61135 60830 61134 61139 61122 61141 59598 59572 59518 59571 59517 59516 59569 59570 59573 59574 59568 61119 60827 61140 60826 60836 61133 61144 61120 60828 61137 61136 61123 61127 60825 61128 61126 71945 71968 71981 71969 71972 71974 71944 71936 71948 71966 71970 71967 71941 71975 71982 71979 71984 71943 71938 71939 71937 71942 71973 71947 71980 71971 71976 71978 71940 71985 71946 71949 71977 71983 73303 73304 73305 73311 44888 51459 51458 51460 51457 47378 47381 47366 47371 47348 47373 47368 47369 47374 47376 47372 47382 47370 47367 47380 47379 47377 47375 47339 47340 47341 47337 47365 47338 47343 47342 47395 47399 47325 47405 47327 47240 47241 47251 47403 47407 47329 47248 47249 47328 47253 47252 47324 47245 47242 47318 47246 47244 47320 47319 47401 47402 47250 47406 47322 47326 47408 47243 47330 47404 65152 65148 65076 65106 65227 65219 65228 65088 65174 65153 65175 65084 65225 65154 65157 65176 65080 65104 65158 65081 65223 65230 65229 65224 65105 65083 65156 65082 65237 65234 65240 65241 65250 65259 65245 64944 65236 65255 65260 64939 64947 65252 65231 65254 64936 65244 64941 64948 64943 65242 65258 65261 64940 64946 64949 65251 65232 65248 64937 65256 65239 65249 65235 64945 65257 65253 65233 64938 65246 65247 64942 65238 65243 65087 65086 65033 65032 65034 63615 63691 63622 63703 63698 63692 63770 63618 63624 63623 63619 63620 63621 63693 63690 63697 63694 63696 63616 63602 63604 63601 63599 63609 63611 63608 63603 63610 63581 63605 63614 63606 63617 63613 63607 63600 63612 63571 63570 63598 63576 63575 63579 63574 63580 63578 63572 63577 63573 63699 63569 47321 47323 47336 47102 42991 42992 42990 42993 51445 51447 51446 51448 51453 51452 51454 51455 43278 43275 43272 43273 43277 43276 43274 42989 43219 43220 43221 59519 59564 59520 59567 59566 59565 55352 55348 55353 55351 55354 55347 55350 55346 55349 55372 59530 59528 59556 59560 59551 59523 59524 59562 59527 59548 59521 59525 59549 40968 59529 59526 59552 59559 59554 59561 59563 59557 59553 59522 59531 59558 59550 59555 52875 52876 52874 52877 52732 52803 52733 52734 52656 52658 52659 52657 68253 68224 68225 68260 68257 68254 68265 68226 68262 68256 68259 68229 68263 68227 68258 68264 68228 68255 68266 68261 68234 59506 59505 59510 59509 59508 59500 59497 59503 59491 59495 59504 59496 59488 59494 59490 59499 59486 59487 59492 59493 59489 59498 59501 59502 59467 59463 59462 59460 59464 59466 59468 60973 60991 61040 61039 61106 61045 61043 61110 59456 59458 59457 59485 59465 59461 59459 40775 40777 40643 59511 59507 59659 59658 59656 61061 61117 61035 52741 52742 52745 52737 52744 52743 55951 55952 55953 55950 68152 68231 68233 68230 68232 55877 55942 55948 55947 22894 22969 22970 22972 22891 22890 22968 22892 23046 23049 23047 23048 64066 64038 64064 64065 64037 64043 64067 64063 64062 40352 43143 43142 43144 47308 47313 47311 47314 47312 47310 47309 47229 47234 47233 47230 47232 47231 47235 47255 47177 47305 47294 47289 47303 47306 47297 47307 47298 47299 47295 47296 47290 47301 47300 47304 47292 47291 47302 47293 47271 47268 47270 47269 47256 47257 47179 47178 47266 47258 47260 47262 47263 47264 47259 47288 47261 47398 47400 47265 43139 43216 43137 43293 43217 43295 43198 43200 43201 43196 43195 43199 43197 43130 43140 43290 43294 55857 55853 55851 55860 55858 55859 55806 55855 55852 55854 55856 55861 55660 55704 55710 55658 55659 55705 55707 55711 55663 55661 55712 55714 55708 55706 55709 55713 55662 55703 55875 52677 43133 43136 43213 43135 52748 52695 52693 52747 52921 52918 52912 52902 52913 52904 52914 52917 52916 52610 52609 52601 52909 52907 52901 52908 52903 52836 52886 52814 52880 52813 52894 52885 52598 52607 52608 52597 52600 52599 52606 52605 52922 52892 52809 52817 52602 52906 52900 52815 52765 52749 52884 52835 52767 52899 52897 52819 52766 52837 52896 52893 52891 52898 52905 52818 52910 52915 52919 52603 52911 52920 52895 52604 47228 47225 47211 47220 47226 47218 47192 47212 47216 47223 47215 47221 47210 47214 47213 47187 47217 47219 47224 47222 47227 47182 47180 47184 47183 47209 47185 47181 47188 47186 52739 52746 48562 48559 48514 48560 48557 48555 44322 48561 48558 48556 44327 43215 43289 43288 43138 43282 43292 43127 43125 43128 43211 43212 43205 43121 43118 43116 43119 43117 43122 43120 43132 51840 51838 51839 51771 51826 51768 51820 51825 51819 51769 51766 51770 51824 51815 51821 51818 51816 51822 51817 51823 51836 64039 43065 43064 43066 51550 51591 51592 51600 51595 51594 51593 51601 51597 51596 51598 51767 64040 64041 64042 51599 44664 44591 44609 44687 44611 44682 44663 44654 44675 44587 44674 44382 44378 44668 44539 43210 44541 44583 43285 44383 44384 44672 43291 43286 44592 44662 44683 44678 44660 44686 44669 43208 44684 44665 43287 44685 44688 44659 44677 44374 44379 44658 44692 44666 44679 44676 44691 44681 44670 44511 44588 44516 44589 44519 44515 43209 43214 44518 44689 44690 43131 43129 44380 44667 44373 44376 44377 44375 44610 44671 44593 44517 44673 44381 44680 44467 44469 44468 40533 40520 40529 40526 40527 40530 40538 40516 40517 40522 40523 40525 40514 40519 40518 40535 40532 40521 40524 40537 40531 40536 40528 40534 56804 60975 56860 56861 60992 60969 61041 61063 60970 60972 60971 61111 61062 60968 60974 60993 61044 60967 60963 61112 44465 48696 48633 48701 48702 48628 48654 48632 48624 48629 48767 48771 48773 48722 48705 48652 48630 48626 48700 48723 48631 48772 48724 48795 48801 48804 48789 48803 48792 48794 48782 48791 48778 48490 48495 48489 48783 48800 48488 48790 48491 48787 48788 48793 48805 48797 48798 48784 48496 48802 48785 48486 48634 48653 48636 48704 48497 48487 48799 48779 48796 48706 48635 48493 48492 48494 48780 48781 48786 48580 48564 48582 60903 60919 60921 56799 56800 56797 56798 56803 56801 56802 68144 68190 68141 68197 68196 67998 67997 68047 68048 68052 68042 67999 68001 68050 68044 68043 68051 68192 68142 68191 68189 68193 68143 68200 68198 68199 68140 68194 68045 68053 68002 68046 68000 68195 44464 44463 44458 44460 44457 44461 44462 44459 52675 56807 56806 56808 56788 48762 48693 48691 48620 48692 48618 48761 48621 48763 48619 48690 48764 63996 63950 63948 63952 63949 63951 52670 52674 52671 52672 52627 52668 52669 52673 60894 60900 60853 60895 60896 60897 56661 60898 56666 60899 52553 52548 56786 56784 56787 56781 56783 60901 56782 56785 44445 44447 44444 44401 44443 44449 44448 44446 44442 40347 40350 40345 40348 40351 40349 40344 40346 44432 44579 44580 44430 44431 44433 44578 44651 44650 44649 44508 44507 44506 68145 51491 68049 69567 71889 71897 71866 71864 71887 71862 71863 71865 71858 71861 71860 71859 71870 71893 71898 71896 71888 71891 71892 71905 71906 71869 71900 71903 71901 71904 71867 71868 71902 71899 71895 71890 71894 40425 40411 75953 75954 75944 75951 75940 75946 75952 75956 75950 75941 75942 75945 75949 75938 75943 75920 75955 75947 75939 75948 75919 75917 75913 75937 75918 75912 75914 75911 75915 75916 30977 30978 30974 30976 30975 30973 31263 31200 31262 64093 64094 26842 26841 26843 26839 26834 39118 30895 30894 30893 30892 39121 39119 39120 30760 30762 30761 30767 30758 30740 30775 30759 30773 30776 30738 30764 30769 30770 30774 30766 30771 30772 30729 35007 35006 35005 35008 43307 30739 30737 30731 30736 30728 30732 30733 30730 30734 30735 57001 57003 57002 26863 30971 26862 26861 26865 30972 27150 27149 26864 27087 23900 23972 28085 19859 15746 60028 60031 60036 60037 60038 60033 60039 60032 60029 60030 60040 60035 60034 60027 60004 59998 60005 60007 60008 60001 60003 59999 60002 60006 60000 18555 18554 18556 18553 27145 27091 27144 27089 27137 27093 27092 27090 27147 27148 27143 27140 27142 27146 27088 27141 27139 27138 27007 27161 27082 27005 27003 27083 27159 27081 27085 27162 27160 27004 15816 24029 19916 19930 24043 19929 15803 24042 15817 6751 14748 14525 14811 59773 59771 59816 59772 59775 59774 56853 56851 35229 61088 61085 61103 61098 61083 61086 61084 61082 61087 61099 61081 61096 61092 61093 61101 61090 61079 61102 61095 61100 61094 61089 61091 61097 61031 61017 61014 61021 61022 61011 61013 61032 61025 61018 61027 61024 61028 61023 61020 61012 61019 61026 61015 61010 61030 61029 61016 61008 43154 43155 43157 43156 43614 43613 43612 59950 59958 59957 59955 59952 59959 59962 59956 59920 59930 59961 59949 59953 59922 59924 59954 59921 59951 59960 59925 59923 65036 65040 65045 65044 65050 65043 65042 65047 65048 65041 65046 59926 59929 59927 59928 59813 59810 59811 59809 59808 59805 59850 59873 59872 59849 59804 59812 59783 59875 59807 59874 59848 59871 59870 59881 59877 59882 59879 59806 59876 59815 59803 59814 59878 59880 71919 71918 71916 60870 60866 60864 60880 60878 60869 60861 60874 60868 60876 60938 60936 60956 60952 60943 60950 60940 60941 60955 60953 60948 60958 60945 60944 60946 60939 60877 60871 60872 60873 60885 60882 60879 60867 60884 60957 60951 60959 60865 60863 60883 60881 60875 60960 60954 60949 60942 60947 52889 52890 52888 43193 43194 43145 39344 39342 39343 39422 39420 39498 39346 39421 39424 52855 52870 52860 52872 52857 52856 52863 52868 52865 52869 52861 52867 52864 52853 52858 52862 52859 52798 52791 52795 52788 52782 52784 52789 52799 52786 52800 52797 52787 52801 52802 52793 52866 52871 52873 52730 52715 52714 52712 52721 52719 52722 52731 52725 52729 52723 52718 52717 52727 52713 52726 52720 52728 52724 52716 39195 47189 47191 47190 22748 22750 22747 22751 23037 22974 22749 22752 23036 30970 30969 23884 18861 18637 18924 18635 18634 18923 18636 18639 18638 39194 61114 61116 61115 18479 18477 18476 26840 18478 23878 23879 23836 23882 23877 28070 28141 28067 28207 28063 28159 28015 27999 28131 28059 28157 28064 28158 28206 28202 28069 28066 28071 28136 28135 28137 28139 28210 28208 28087 28211 28088 28140 28235 27924 27927 27930 28230 28218 27928 28237 28219 28227 27921 27929 27925 27923 28232 28233 28231 28215 27926 28225 28239 28212 28214 28213 28228 28224 28223 27922 28216 28226 28238 28222 28220 28217 27932 27931 28089 28017 28234 28065 28236 28229 28240 28221 22745 22746 47587 47667 47665 47666 47668 47590 47589 47588 39193 39192 39501 39499 39500 23883 34852 34851 34850 43610 43605 23881 23880 43232 43233 43234 43231 48677 48671 48673 48682 48686 48679 43098 43113 43112 43106 43104 43107 43109 43079 43114 43097 43102 43108 43110 43105 43099 43076 43101 43103 43111 43078 43100 43115 43074 43073 43072 43077 43096 43071 43075 52792 52790 52710 52796 52794 52785 18632 18633 30968 22744 28196 28189 28184 28185 28195 28180 28194 28182 28190 28191 28183 28192 28178 28175 28199 28198 28186 28188 28197 28193 28181 28177 28179 28187 30768 30757 30765 30763 43271 43185 43254 43177 43192 43184 43158 43261 43262 43255 43270 43268 43263 43181 43260 43191 43264 43190 43253 43269 43266 43189 43256 43178 43235 43180 43182 43187 43257 43179 43186 43265 43188 43183 43267 43176 43259 43152 43229 43227 43147 43225 43148 43149 43226 43150 43146 43223 43224 43222 43151 43228 43252 43175 43230 43153 43258 35307 35230 35231 35233 39490 39495 39425 39496 31269 31270 31264 31199 47625 47710 47628 47626 47630 47634 47711 47580 47635 47632 47633 47707 47703 47708 47705 47704 47713 47627 47709 47712 47658 47629 47631 47706 47577 47654 47656 47575 47579 47576 47653 47655 47657 47578 47624 47702 18592 18583 18585 18575 18589 18550 18545 18593 18546 18577 18544 18581 18591 18547 18576 18586 18579 18557 18582 18584 18551 18580 18574 18588 18548 18590 18549 18587 18578 18552 43068 43067 43069 43070 30817 30816 30818 30819 30852 30842 30844 30854 30843 30847 30848 30850 30846 30837 30845 30840 30841 30851 30855 30853 30838 30849 30839 30807 30809 30813 30811 30836 30806 30812 30808 30810 30814 20401 20212 20403 22574 22721 22649 22652 22729 22565 22726 22720 22575 22572 22724 22728 22725 22723 22730 22722 22497 22644 20078 35308 35309 35385 35311 35386 35387 35388 35373 35317 35366 35368 35367 35316 35371 35364 35365 35374 35315 35314 35292 35295 35239 35142 35141 35290 35237 35098 35139 35236 35296 35149 35145 35240 35289 35287 35286 35146 35291 35288 35144 35148 35294 35238 35147 35140 35241 35143 35285 35369 35370 35319 35363 35372 35318 47586 47615 47620 47614 47582 47581 47611 47622 47613 47623 47617 47616 47621 47618 47612 47619 47610 47591 47583 47585 47584 47689 47661 47660 47698 47669 47692 47696 47688 47697 47690 47695 47691 47694 47693 47699 47700 47701 47662 47663 47659 52640 52641 52646 52651 52652 52637 52649 52644 52643 52638 52653 52647 52639 52642 52645 52648 52635 52655 52654 52650 47664 35383 48524 48539 48528 48674 48675 48676 48683 48672 48681 48685 48688 48684 48689 48687 48536 48529 48540 48534 48531 48541 48538 48530 48678 48669 48680 48526 48527 48532 48525 48535 48537 48522 48533 48616 48614 48612 48611 48604 48615 48603 48613 48610 48601 48609 48607 48602 48617 48606 48600 48608 48597 48605 48599 35382 35312 35377 48746 48757 48743 48745 48742 48744 48751 48748 48752 48750 48758 48749 48753 48747 48754 48755 48759 48760 48740 48756 43438 43441 43442 43435 43431 43437 43433 43439 43434 43436 43432 43440 35293 43463 43514 43520 43466 43519 43515 43512 43513 43464 43518 43465 43521 43522 43517 43462 43511 43467 43516 36424 36410 36418 36413 36406 36411 36420 36412 36423 36421 36403 36404 36425 36422 36419 36415 36416 36414 36407 36405 36401 36408 36417 36409 36202 36200 36190 36191 36197 36185 36193 36203 36194 36188 36183 36206 36207 36195 36201 36186 36198 36196 36199 36187 36205 36204 36192 36189 36281 36269 36277 36261 36273 36268 36267 36260 36272 36279 36278 36265 36275 36274 36258 36276 36280 36271 36264 36282 36266 36263 36270 36262 23896 23897 23895 23894 23893 23899 23898 23892 22651 20211 26704 26705 26702 26703 22589 22592 22591 22590 22495 22438 22496 14404 14403 14405 22568 22567 22566 22564 22571 22648 34873 34880 34872 34882 34842 34871 34883 34884 34848 34844 34874 34876 34878 34885 34875 34887 34845 34881 34879 34846 34841 34847 34843 34888 34870 34886 34849 34877 34889 34853 31256 31257 31254 31252 31255 31258 31261 31259 31253 31250 31206 31260 31251 59779 59781 59782 59846 59844 59842 59780 59777 59845 59778 59869 59841 59802 59847 59843 27156 27086 27151 27157 31204 31205 31201 31203 31202 32084 32083 32088 32093 32087 32070 32076 32073 32077 32217 32229 32219 32224 32233 32241 32226 32239 32236 32230 32222 32085 39432 39484 39428 39430 39429 39479 39477 39482 39481 39427 39487 39476 39478 39480 39485 39486 39431 39483 32220 32081 32240 32225 32086 32074 32232 32078 32080 32238 32221 32237 32090 32082 32228 32079 32227 32234 32235 32094 32231 32075 32089 32092 32223 32072 32091 23995 23993 24083 24062 24068 24014 24072 24071 24070 24015 23999 24073 24004 24082 23996 24065 24079 24076 24069 24078 23994 24075 23998 24006 24067 24000 24003 24011 24084 24066 24064 24080 24005 24086 24002 24012 24074 24007 24008 24001 24085 23997 24013 23991 24081 24010 24077 24009 32163 32164 32158 32157 32147 32151 32145 32167 32161 32150 32166 32162 32155 32160 32152 32165 32156 32168 32159 32153 32149 32169 32154 32148 40447 40457 40450 40455 40463 40459 40458 40454 40462 40452 40456 40464 40445 40460 40453 40466 40446 40451 40467 40449 40443 40465 40448 40461 44631 44637 44646 44643 44645 44634 44633 44638 44640 44632 44636 44639 44641 44629 44644 44627 44630 44647 44642 44648 44635 1877 1878 1614 40324 18603 18526 18606 18605 22441 22490 22494 22440 22488 22493 22489 22491 22439 22492 19788 23887 19774 31122 31185 31184 40547 40498 40552 40546 40403 40402 40470 40475 40398 40426 40577 40559 40558 40567 40556 40570 40576 40409 40355 40354 40356 40408 40261 40264 36238 36233 36232 36231 36235 36223 36175 36222 36217 36219 36221 36216 36220 36218 36236 36237 36234 40406 40265 40478 40569 40555 40566 40560 40400 40410 40427 40579 40267 40407 40404 40571 40480 40541 40479 40561 40260 40428 40562 40557 40262 40563 40476 40266 40268 40573 40263 40553 40564 40271 40565 40405 40497 40578 40270 40269 40574 40474 40568 40545 40572 40554 40496 40575 22555 22500 22553 22554 22552 22499 22501 22557 22556 22551 10485 10495 18845 18704 18783 18846 18766 18765 60966 60964 60965 69198 69191 69192 69190 75974 75979 76000 76014 76016 76015 76010 75975 75972 75977 76017 76013 75980 76008 76011 75978 75973 75976 75971 76012 76007 75982 76004 76006 76003 76019 75981 76001 76005 75983 76009 76018 76002 65078 65079 65077 65085 20077 40550 40549 40551 38964 38963 38965 67688 67711 67687 67686 67693 67689 67690 67692 51590 51546 51549 51547 51548 51545 31030 31026 30985 31027 31031 31038 31037 31032 31029 31028 31036 31033 31035 31034 31181 31175 31176 31182 31128 22561 22573 31183 31174 31180 31172 31177 31173 31178 31179 22650 22717 22640 22647 22570 22646 22569 67691 67685 31126 31124 31123 31125 31127 31098 31103 20402 20210 31043 31105 31104 31096 31102 31101 31097 31049 31099 31094 31093 31095 31100 27072 27071 26992 26991 27009 26930 14742 14668 14666 14665 14664 26987 26986 26984 26989 26983 26990 26980 26982 26988 26985 26981 27015 27063 27070 27067 27061 27062 27069 27064 27068 27065 27066 27060 27010 27012 27059 27014 27013 26979 30979 27011 23872 22879 22959 22878 22958 22896 22817 14648 14670 14641 14721 14806 14324 14720 14743 14724 14821 14325 14807 14730 14649 14805 14798 14744 14802 14596 14651 14640 14722 14754 14800 14676 14652 14643 14645 14644 14808 14799 14650 14726 14674 14675 14595 14642 14653 14647 14728 14820 14746 14823 14801 14729 14809 14803 14326 14725 14727 14597 14723 14822 14646 14591 14731 14804 14732 14733 14594 14672 14593 14673 14592 14671 14586 14584 14583 14577 14579 14582 14578 14574 14585 14581 14575 14580 14533 14576 22954 22948 22957 22955 22950 22956 22952 22897 22899 22953 22951 22902 22900 22949 22946 22898 22901 22947 22514 22545 22511 22532 22506 22534 22508 22533 22510 22542 22543 22538 22509 22550 22504 22502 22547 22531 22537 22549 22536 22539 22540 22544 22541 22548 22505 22513 22507 22535 22503 22546 22512 35327 35329 35328 35326 35251 35249 35248 35250 35096 35095 35093 35094 35138 35097 30983 31025 30981 30984 30980 30982 44494 44427 44496 44504 44413 44409 44422 44428 44416 44417 44421 44425 44559 44561 44502 44412 44424 44491 44490 44493 44565 44574 44568 44569 44564 44576 44492 44500 44505 44498 44501 44563 44558 44560 44487 44503 44497 44495 44556 44570 44486 44420 44429 44419 44577 44562 44571 44489 44488 44499 44415 44484 44567 44418 44423 44426 44411 44573 44566 44572 44575 44414 19787 14739 14818 14740 14669 14734 43426 43424 43419 43421 43398 43430 43427 43425 43422 43418 43429 43420 43428 43423 35527 35475 35529 35520 35530 22727 23043 22973 23044 23038 35583 35581 35582 35635 35585 35435 35436 35434 35438 35432 35433 35430 35431 35437 35638 35637 35636 35633 35533 35579 35569 35571 35561 35558 35557 35556 35555 35567 35560 35554 35566 35565 35570 35563 35559 35572 35562 35543 35568 35564 35477 35528 35531 35573 35578 35626 35625 35587 35619 35611 35622 35614 35596 35608 35617 35624 35620 35613 35610 35594 35618 35609 35592 35615 35612 35607 35616 35595 35623 35621 35590 35588 35589 35593 35591 48776 48775 48777 35534 35535 35539 35540 35541 35553 35537 35542 35536 35538 23957 23950 24023 24027 24089 24045 23902 23974 24094 24046 23946 23958 24024 23886 23953 24093 24022 23956 23951 24028 24018 24095 24026 23975 23954 23976 24044 23904 24100 22643 22645 24101 24109 24122 24117 24126 24129 24111 24105 24114 24106 24125 24116 24107 24131 24124 24123 24113 24128 24127 24112 24118 24120 24115 24130 24110 23952 24108 24103 24121 24104 24119 23815 23816 23812 23806 23817 23814 23810 23809 23818 23811 23813 23808 23819 23807 24102 14753 14752 14749 14751 14750 19771 14589 14819 14663 14587 14741 19783 19781 19780 19786 19784 19782 19785 19779 10483 10484 10494 10493 19765 19766 19770 24097 24098 19764 19767 19723 19768 19769 24099 1775 18844 18834 18784 18867 18399 18705 18836 18920 18911 18857 18856 18855 18778 18700 18781 18777 18859 18933 18779 23031 23028 23030 23027 23034 23029 23033 22871 22823 22875 22873 22866 22870 22874 22872 22821 22876 23024 23025 22867 22869 23032 23026 22877 22868 18936 18935 18934 18917 18919 18865 18918 18789 18840 18835 18863 18786 18843 18841 18400 18755 18761 18760 18753 18756 18707 18754 18788 18787 18785 18838 18837 18839 18921 18915 18862 18913 18866 18914 18916 18758 18709 18398 18922 18864 18912 18759 18833 18842 18708 18710 18762 18764 18763 18757 18706 44540 44523 44522 52738 52740 22820 22819 22818 22822 22976 22980 22978 22975 22979 22977 44512 44520 44513 44514 23035 26936 26931 26935 26932 26933 26934 15673 15672 15667 15668 15669 15670 15671 15666 48625 48627 200 202 219 178 216 224 217 203 222 199 1844 1868 1862 1833 1848 1776 1861 1830 1823 1794 1857 1845 1805 1854 1867 1872 1825 1865 1796 1795 1873 1864 1870 1876 1840 220 1836 1843 1859 1846 1858 1832 1852 1826 1860 1806 1841 221 223 201 1839 1874 1831 1803 1853 1835 174 1863 1866 1829 1851 1849 1850 1856 1804 1762 218 1869 1871 1855 1875 1824 18772 18701 18775 18703 18931 18853 18767 44521 40401 40399 616 3458 3457 3453 3461 2035 3460 2140 2139 2138 1936 1935 3452 4064 36288 4067 4066 4065 36286 4068 4168 4219 4210 4277 7806 7684 7685 7727 7732 7737 7874 7803 7825 7683 7738 4143 4146 4284 4144 4004 4008 4310 4300 4287 4282 4286 4305 4283 4308 4147 4306 4303 1784 3999 4001 1790 1769 4285 4217 4297 4214 4291 4010 4301 4142 4311 4299 4304 1786 4005 4307 4298 4288 1788 4002 4296 4292 1777 1687 1782 4294 4295 4309 4290 4003 4000 1787 4011 1783 1789 1781 1780 1785 4275 4009 4007 4289 4006 4293 4302 7733 7667 7736 7804 7875 7826 7805 7734 7876 7799 7807 7808 7755 7756 4078 4145 4095 4167 4226 1768 1726 1774 1771 4148 4215 4150 4166 4096 4138 4216 4271 4094 4220 1648 1772 1773 7731 615 1797 1770 1767 4218 4276 4149 4227 4228 7827 7870 7809 7735 7757 7739 7883 7893 7888 7904 7884 7894 7892 7595 7600 7897 7903 6761 6760 7593 7597 7890 7886 7594 7908 7591 7901 7896 7599 7882 7598 7887 7881 7898 7596 7899 7905 7889 7900 7902 7590 7589 7907 7895 7885 7592 7891 7906 1633 1630 575 587 3427 3429 10384 6748 10385 6669 6667 6668 6666 6750 6749 3875 1556 1557 118 10 2 3 1638 546 154 572 1543 569 567 565 571 568 573 256 1515 570 1516 3448 1615 1627 1628 1621 1618 1625 1624 1616 1847 1620 1622 1619 1617 1626 1623 1426 1427 120 119 4 8 7 12 9 111 112 629 121 1798 1834 4151 566 503 1629 1560 574 110 1559 1558 628 4152 4153 1842 1778 1779 13  0
1125.40/1125.41	
1125.40/1125.41	c Core has size 13365

OK	13365

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-3501502-1308042107/watcher-3501502-1308042107 -o /tmp/evaluation-result-3501502-1308042107/solver-3501502-1308042107 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501502-1308042107.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: 4.28 4.27 2.23 4/189 23157
/proc/meminfo: memFree=30819428/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=19948 CPUtime=0 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1443 0 0 0 0 0 0 0 25 0 1 0 915809407 20426752 1229 33554432000 4194304 4365125 140737474111888 18446744073709551615 4303419 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 4987 1240 247 42 0 2135 0

[startup+0.0218679 s]
/proc/loadavg: 4.28 4.27 2.23 4/189 23157
/proc/meminfo: memFree=30819428/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=20748 CPUtime=0.01 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2678 0 0 0 1 0 0 0 25 0 1 0 915809407 21245952 1920 33554432000 4194304 4365125 140737474111888 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 5187 1920 253 42 0 2335 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 20748

[startup+0.100857 s]
/proc/loadavg: 4.28 4.27 2.23 4/189 23157
/proc/meminfo: memFree=30819428/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=26872 CPUtime=0.09 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 7353 0 0 0 8 1 0 0 25 0 1 0 915809407 27516928 3543 33554432000 4194304 4365125 140737474111888 18446744073709551615 251814240000 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 6718 3544 253 42 0 3866 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 26872

[startup+0.300824 s]
/proc/loadavg: 4.28 4.27 2.23 4/189 23157
/proc/meminfo: memFree=30819428/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=35080 CPUtime=0.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 10829 0 0 0 28 1 0 0 25 0 1 0 915809407 35921920 5172 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 8770 5172 262 42 0 5918 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 35080

[startup+0.700756 s]
/proc/loadavg: 4.28 4.27 2.23 4/189 23157
/proc/meminfo: memFree=30819428/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=41256 CPUtime=0.68 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 12868 0 0 0 67 1 0 0 25 0 1 0 915809407 42246144 6710 33554432000 4194304 4365125 140737474111888 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 10314 6710 262 42 0 7462 0
Current children cumulated CPU time (s) 0.68
Current children cumulated vsize (KiB) 41256

[startup+1.50068 s]
/proc/loadavg: 4.28 4.27 2.23 5/190 23158
/proc/meminfo: memFree=30785344/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=66508 CPUtime=1.49 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 36132 0 0 0 145 4 0 0 25 0 1 0 915809407 68104192 12078 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257664 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 16627 12078 262 42 0 13775 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 66508

[startup+3.10035 s]
/proc/loadavg: 4.28 4.27 2.23 5/190 23158
/proc/meminfo: memFree=30757080/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=109084 CPUtime=3.09 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 73286 0 0 0 301 8 0 0 25 0 1 0 915809407 111702016 20968 33554432000 4194304 4365125 140737474111888 18446744073709551615 4262565 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 27271 20968 263 42 0 24419 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 109084

[startup+6.30082 s]
/proc/loadavg: 4.25 4.27 2.24 5/190 23158
/proc/meminfo: memFree=30707392/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=181964 CPUtime=6.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 104918 0 0 0 618 11 0 0 25 0 1 0 915809407 186331136 30355 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257966 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 45491 30355 263 42 0 42639 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 181964

[startup+12.7007 s]
/proc/loadavg: 4.23 4.26 2.25 5/190 23159
/proc/meminfo: memFree=30685900/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=181964 CPUtime=12.69 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 104919 0 0 0 1258 11 0 0 25 0 1 0 915809407 186331136 30356 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 45491 30356 263 42 0 42639 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 181964

[startup+25.5006 s]
/proc/loadavg: 4.18 4.25 2.28 5/190 23159
/proc/meminfo: memFree=30614608/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=238640 CPUtime=25.49 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 165609 0 0 0 2531 18 0 0 25 0 1 0 915809407 244367360 45859 33554432000 4194304 4365125 140737474111888 18446744073709551615 4262602 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 59660 45859 264 42 0 56808 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 238640

[startup+51.1003 s]
/proc/loadavg: 4.18 4.24 2.33 5/190 23159
/proc/meminfo: memFree=30593712/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=229256 CPUtime=51.09 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 188621 0 0 0 5089 20 0 0 25 0 1 0 915809407 234758144 41810 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264062 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 57314 41810 264 42 0 54462 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 229256

[startup+102.307 s]
/proc/loadavg: 4.15 4.22 2.42 5/190 23161
/proc/meminfo: memFree=30582260/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=198816 CPUtime=102.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 269247 0 0 0 10199 31 0 0 25 0 1 0 915809407 203587584 38666 33554432000 4194304 4365125 140737474111888 18446744073709551615 4262570 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 49704 38666 264 42 0 46852 0
Current children cumulated CPU time (s) 102.3
Current children cumulated vsize (KiB) 198816

[startup+162.301 s]
/proc/loadavg: 4.06 4.18 2.51 5/190 23166
/proc/meminfo: memFree=30557164/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=308300 CPUtime=162.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 485952 0 0 0 16173 56 0 0 25 0 1 0 915809407 315699200 52394 33554432000 4194304 4365125 140737474111888 18446744073709551615 4247612 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 77075 52394 264 42 0 74223 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 308300

[startup+222.3 s]
/proc/loadavg: 4.02 4.14 2.60 5/190 23167
/proc/meminfo: memFree=30572948/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=396368 CPUtime=222.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 628925 0 0 0 22158 71 0 0 25 0 1 0 915809407 405880832 63421 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 99092 63421 264 42 0 96240 0
Current children cumulated CPU time (s) 222.29
Current children cumulated vsize (KiB) 396368

[startup+282.3 s]
/proc/loadavg: 4.00 4.11 2.69 5/190 23243
/proc/meminfo: memFree=30706424/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=329860 CPUtime=282.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 783313 0 0 0 28140 89 0 0 25 0 1 0 915809407 337776640 65535 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257751 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 82465 65535 264 42 0 79613 0
Current children cumulated CPU time (s) 282.29
Current children cumulated vsize (KiB) 329860

[startup+342.3 s]
/proc/loadavg: 4.00 4.09 2.77 5/190 23281
/proc/meminfo: memFree=30722484/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=279332 CPUtime=342.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 893062 0 0 0 34127 103 0 0 25 0 1 0 915809407 286035968 59735 33554432000 4194304 4365125 140737474111888 18446744073709551615 4262621 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 69833 59735 264 42 0 66981 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 279332

[startup+402.3 s]
/proc/loadavg: 4.00 4.07 2.84 5/190 23283
/proc/meminfo: memFree=30701192/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=346912 CPUtime=402.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1064660 0 0 0 40106 124 0 0 25 0 1 0 915809407 355237888 68640 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 86728 68640 264 42 0 83876 0
Current children cumulated CPU time (s) 402.3
Current children cumulated vsize (KiB) 346912

[startup+462.301 s]
/proc/loadavg: 4.06 4.07 2.92 5/190 23285
/proc/meminfo: memFree=30661104/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=408808 CPUtime=462.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1271807 0 0 0 46081 148 0 0 25 0 1 0 915809407 418619392 72518 33554432000 4194304 4365125 140737474111888 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 102202 72518 264 42 0 99350 0
Current children cumulated CPU time (s) 462.29
Current children cumulated vsize (KiB) 408808

[startup+522.301 s]
/proc/loadavg: 3.45 3.92 2.94 3/178 23334
/proc/meminfo: memFree=31066404/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=425060 CPUtime=522.29 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1471761 0 0 0 52055 174 0 0 25 0 1 0 915809407 435261440 75753 33554432000 4194304 4365125 140737474111888 18446744073709551615 4306828 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106265 75753 264 42 0 103413 0
Current children cumulated CPU time (s) 522.29
Current children cumulated vsize (KiB) 425060

[startup+582.301 s]
/proc/loadavg: 2.53 3.57 2.88 3/178 23336
/proc/meminfo: memFree=31028784/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426452 CPUtime=582.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1658745 0 0 0 58030 200 0 0 25 0 1 0 915809407 436686848 84830 33554432000 4194304 4365125 140737474111888 18446744073709551615 4258077 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106613 84830 264 42 0 103761 0
Current children cumulated CPU time (s) 582.3
Current children cumulated vsize (KiB) 426452

[startup+642.301 s]
/proc/loadavg: 2.19 3.28 2.82 3/178 23337
/proc/meminfo: memFree=31009896/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=455120 CPUtime=642.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1791453 0 0 0 64012 218 0 0 25 0 1 0 915809407 466042880 89708 33554432000 4194304 4365125 140737474111888 18446744073709551615 4247558 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 113780 89708 264 42 0 110928 0
Current children cumulated CPU time (s) 642.3
Current children cumulated vsize (KiB) 455120

[startup+702.301 s]
/proc/loadavg: 2.10 3.06 2.77 3/178 23339
/proc/meminfo: memFree=31032164/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=410064 CPUtime=702.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1897532 0 0 0 69999 231 0 0 25 0 1 0 915809407 419905536 84086 33554432000 4194304 4365125 140737474111888 18446744073709551615 4245180 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 102516 84086 264 42 0 99664 0
Current children cumulated CPU time (s) 702.3
Current children cumulated vsize (KiB) 410064

[startup+762.307 s]
/proc/loadavg: 2.04 2.86 2.72 3/178 23341
/proc/meminfo: memFree=31015508/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=420304 CPUtime=762.31 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 1970264 0 0 0 75990 241 0 0 25 0 1 0 915809407 430391296 85371 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257406 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 105076 85371 264 42 0 102224 0
Current children cumulated CPU time (s) 762.31
Current children cumulated vsize (KiB) 420304

[startup+822.301 s]
/proc/loadavg: 2.01 2.70 2.67 3/178 23342
/proc/meminfo: memFree=31012364/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=822.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2064592 0 0 0 81978 252 0 0 25 0 1 0 915809407 436682752 86110 33554432000 4194304 4365125 140737474111888 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86110 264 42 0 103760 0
Current children cumulated CPU time (s) 822.3
Current children cumulated vsize (KiB) 426448

[startup+882.3 s]
/proc/loadavg: 2.00 2.57 2.63 3/178 23344
/proc/meminfo: memFree=31008464/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=446928 CPUtime=882.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2067162 0 0 0 87977 253 0 0 25 0 1 0 915809407 457654272 88680 33554432000 4194304 4365125 140737474111888 18446744073709551615 4258063 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 111732 88680 264 42 0 108880 0
Current children cumulated CPU time (s) 882.3
Current children cumulated vsize (KiB) 446928

[startup+942.3 s]
/proc/loadavg: 2.00 2.47 2.58 3/178 23345
/proc/meminfo: memFree=31001224/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=451024 CPUtime=942.31 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2085101 0 0 0 93975 256 0 0 25 0 1 0 915809407 461848576 89194 33554432000 4194304 4365125 140737474111888 18446744073709551615 4250342 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 112756 89194 264 42 0 109904 0
Current children cumulated CPU time (s) 942.31
Current children cumulated vsize (KiB) 451024

[startup+1002.3 s]
/proc/loadavg: 2.00 2.38 2.54 3/178 23347
/proc/meminfo: memFree=31005632/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=430544 CPUtime=1002.31 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2115868 0 0 0 99971 260 0 0 25 0 1 0 915809407 440877056 86666 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 107636 86666 264 42 0 104784 0
Current children cumulated CPU time (s) 1002.31
Current children cumulated vsize (KiB) 430544

[startup+1062.3 s]
/proc/loadavg: 2.00 2.31 2.51 3/178 23349
/proc/meminfo: memFree=31010796/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=442832 CPUtime=1062.31 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2135327 0 0 0 105969 262 0 0 25 0 1 0 915809407 453459968 88186 33554432000 4194304 4365125 140737474111888 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 110708 88186 264 42 0 107856 0
Current children cumulated CPU time (s) 1062.31
Current children cumulated vsize (KiB) 442832

[startup+1122.3 s]
/proc/loadavg: 2.05 2.26 2.48 3/178 23350
/proc/meminfo: memFree=31008656/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=1122.3 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2143019 0 0 0 111967 263 0 0 25 0 1 0 915809407 436682752 86131 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86131 264 42 0 103760 0
Current children cumulated CPU time (s) 1122.3
Current children cumulated vsize (KiB) 426448

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

[startup+1123.11 s]
/proc/loadavg: 2.05 2.26 2.48 3/178 23350
/proc/meminfo: memFree=31008656/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=1123.11 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2143019 0 0 0 112048 263 0 0 25 0 1 0 915809407 436682752 86131 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86131 264 42 0 103760 0
Current children cumulated CPU time (s) 1123.11
Current children cumulated vsize (KiB) 426448

[startup+1124.7 s]
/proc/loadavg: 2.05 2.26 2.48 3/178 23350
/proc/meminfo: memFree=31008656/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=1124.7 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2143019 0 0 0 112207 263 0 0 25 0 1 0 915809407 436682752 86131 33554432000 4194304 4365125 140737474111888 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86131 264 42 0 103760 0
Current children cumulated CPU time (s) 1124.7
Current children cumulated vsize (KiB) 426448

[startup+1125.1 s]
/proc/loadavg: 2.05 2.26 2.48 3/178 23350
/proc/meminfo: memFree=31008656/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=1125.1 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2143019 0 0 0 112247 263 0 0 25 0 1 0 915809407 436682752 86131 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86131 264 42 0 103760 0
Current children cumulated CPU time (s) 1125.1
Current children cumulated vsize (KiB) 426448

[startup+1125.31 s]
/proc/loadavg: 2.05 2.26 2.48 3/178 23350
/proc/meminfo: memFree=31008656/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=1125.31 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2143019 0 0 0 112268 263 0 0 25 0 1 0 915809407 436682752 86131 33554432000 4194304 4365125 140737474111888 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86131 264 42 0 103760 0
Current children cumulated CPU time (s) 1125.31
Current children cumulated vsize (KiB) 426448

[startup+1125.4 s]
/proc/loadavg: 2.05 2.26 2.48 3/178 23350
/proc/meminfo: memFree=31008656/32950928 swapFree=67050644/67111528
[pid=23157] ppid=23155 vsize=426448 CPUtime=1125.4 cores=1,3
/proc/23157/stat : 23157 (MoUsSaka) R 23155 23157 22849 0 -1 4202496 2143019 0 0 0 112277 263 0 0 25 0 1 0 915809407 436682752 86131 33554432000 4194304 4365125 140737474111888 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23157/statm: 106612 86131 264 42 0 103760 0
Current children cumulated CPU time (s) 1125.4
Current children cumulated vsize (KiB) 426448

Child status: 20
Real time (s): 1125.43
CPU time (s): 1125.44
CPU user time (s): 1122.79
CPU system time (s): 2.6526
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 684544

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

runsolver used 1.56976 second user time and 4.11237 second system time

The end

Begin job on node126 at 2011-06-14 11:01:47
IDJOB=3501502
IDBENCH=90048
IDSOLVER=2000
FILE ID=node126/3501502-1308042107
RUNJOBID= node126-1308041928-22869
PBS_JOBID= 13564691
Free space on /tmp= 74052 MiB

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

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

MD5SUM BENCH= cf7e38a4033675310aeb9cfd591766e7
RANDOM SEED=247421272

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

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

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
cpu MHz		: 2666.783
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.783
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.76
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management: [8]


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30819972 kB
Buffers:        146764 kB
Cached:         687720 kB
SwapCached:      14596 kB
Active:        1322696 kB
Inactive:       606480 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30819972 kB
SwapTotal:    67111528 kB
SwapFree:     67050644 kB
Dirty:            5624 kB
Writeback:           0 kB
AnonPages:     1092352 kB
Mapped:           9812 kB
Slab:           133532 kB
PageTables:       7372 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1646188 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= 74060 MiB
End job on node126 at 2011-06-14 11:20:33