0.00/1.51	c MoUsSaka with meat
3.59/5.15	
3.59/5.15	s UNSATISFIABLE
194.58/196.14	c Core is minimal
194.58/196.14	
194.58/196.14	v 33780 33742 33748 33749 20357 20176 20166 20161 20167 20172 20173 20174 20169 20204 26824 26992 33638 33639 33612 34028 34029 33933 33932 34030 33964 26964 26956 26962 20171 40568 40537 40536 40400 40399 40720 40721 40656 40818 33751 33745 33746 33740 33741 20162 20170 33868 40634 34626 20168 20164 20165 60932 67720 67603 67604 67693 67698 67697 47325 47324 67690 67687 81265 81264 88333 88334 88268 74485 74392 74391 74483 74482 74370 74371 74508 88140 88138 88137 88139 74470 74468 74469 74471 74476 74477 74465 74466 74472 74467 67684 26850 20175 61182 61181 61180 74757 74692 74756 74758 81296 81273 81269 81271 81274 81270 81158 81159 81180 81179 95122 95120 95121 87968 88062 87967 88058 94735 88059 88332 67579 67578 40540 40427 40426 26851 33758 33753 40402 33757 33754 40423 40425 41123 40424 60896 54105 54104 54113 54112 81258 88335 88084 101485 94697 101484 81256 81257 81260 88237 88236 74478 74479 74475 74474 74473 74416 74417 74396 67694 67695 67552 67688 67689 67551 67583 67582 67971 88361 90473 90322 90019 88378 90521 90472 90668 90685 90196 90034 90324 88476 89092 90683 89836 89668 89838 90195 90212 90309 90035 88477 88478 90519 90323 90311 89851 90036 88463 90210 90506 89077 90487 89853 96822 97309 95922 96640 94877 96824 95961 95149 96329 96182 94913 88363 96444 94912 96984 96335 97097 97471 96807 94597 101406 96058 97262 101371 101370 96171 94615 95908 95167 96180 95909 96179 94598 97260 101413 97112 97099 97110 96178 96183 97261 96169 101373 95947 97294 97111 96059 95920 101385 94914 95879 97456 94600 96073 101388 96344 96625 97098 96445 96999 96345 97472 95946 96330 95151 96071 94625 97457 96624 95921 96342 96808 96998 95264 96985 95150 97308 94910 97473 95152 95962 96983 96057 95251 96641 96070 96170 97293 94599 97276 96341 95266 81263 88126 88122 81544 81546 81547 89284 89382 89380 89393 89381 89542 89558 89285 89395 89557 89394 89543 89541 81480 87947 87946 74661 74660 74596 89119 89157 89120 89159 89134 89132 89174 89158 81448 81449 88089 89271 89270 88088 95960 97277 90488 95880 90310 96331 95165 95265 89852 96626 101386 97458 88057 96334 94734 89078 88125 94696 90211 88172 94872 94845 94960 94846 95123 94756 94847 94755 94849 95024 95253 96458 88124 96181 96072 96457 88465 90490 88364 74486 74481 90021 96346 95878 89656 95056 101372 95166 97307 89173 95865 95252 101419 96343 95867 96063 97278 89655 94876 96172 96456 96074 94618 95866 88379 90020 89091 90669 95945 89670 94850 95025 90684 90474 89090 96639 89556 89172 89133 96823 96168 90489 88377 96443 89079 90505 88061 81545 88362 67970 67969 67968 67904 67682 67680 67681 67677 74366 74340 74367 67679 67683 67678 67685 67686 67691 74339 60790 60791 60764 60816 60815 67708 67705 67715 67716 67712 67713 67714 67704 67710 67706 67717 67718 67707 67709 67711 67676 67675 67632 60892 60893 60889 60895 68275 67629 67628 67608 60901 60900 54108 60795 60910 60794 60890 54099 60909 60906 60905 60907 60763 54053 54052 54100 54056 54699 47327 40409 40415 40420 40416 40417 40418 40405 40422 40421 40406 40403 40404 40419 47911 47328 40480 40524 40523 40539 40538 40528 40529 40531 40530 40545 26959 40532 40525 40526 40541 40546 6739 6932 6945 6947 6943 6934 6944 6942 6946 6936 6941 6930 6935 6933 6940 6937 5132 6735 6736 47316 40456 40455 40477 40454 40476 47509 47444 47312 47311 47268 47329 47239 47240 47317 47333 47334 47322 47321 47323 40479 6738 40474 40472 40473 40466 40475 6938 40534 40533 6679 6723 6722 40543 40542 40535 40452 40451 40544 40527 40547 40548 40549 40550 40819 47267 40449 40450 40436 47356 47605 47604 47540 47606 47508 47330 47331 47607 13416 6734 13275 3972 20258 20255 13274 6949 20259 20257 20260 20256 27174 40752 40817 40816 33755 34335 33771 33775 33773 33776 33769 33778 33770 33768 33772 33777 33774 43739 43757 43756 43289 33664 33663 40431 40462 40507 40481 40520 40482 40521 40508 40487 40506 40430 40470 40468 40467 40461 37512 38022 38273 37330 38251 38023 37487 37486 37997 38139 37912 38272 37306 37511 37777 37802 37913 38162 38161 38295 38321 37998 37894 38140 37663 37662 38322 37329 37688 37687 36501 38296 37801 33611 47549 47568 47544 47566 47560 47561 47569 47563 47570 47567 47564 47545 47562 47565 47559 47554 47558 47557 47551 47553 47555 47550 47556 43453 43606 43595 43276 43734 43732 43588 43586 43579 43614 43581 40434 43360 43625 43310 40435 40437 43583 43797 43480 43623 43275 43799 43733 43491 43603 43594 43433 43800 43306 43585 43593 43629 43630 43605 43622 43613 43580 43479 43277 43587 43281 43492 43454 43876 43268 43602 43721 43267 43290 43624 43604 47422 41414 40757 40772 40775 40761 40769 40767 40768 40766 40763 40771 40765 40762 40770 40782 40779 40777 40773 40778 40774 40780 40776 26947 26948 26961 26904 40756 40753 40781 40754 40755 40764 40759 40760 40758 26960 20380 20361 20383 20386 20387 20378 20382 20379 20385 20381 20377 20384 20362 20363 20370 20365 20364 20373 20374 20367 20368 20372 20371 20375 20376 20360 20359 20358 20366 20369 20062 20063 13388 13380 20163 20453 20454 20452 20388 33739 27080 27242 27241 27240 27838 33846 27145 27144 33764 33766 33765 33767 26953 26952 3968 8931 8794 8770 8480 8795 8912 8930 8681 8505 8680 8504 8299 8323 8322 8479 6767 6733 6732 6737 4901 5141 5065 5142 5138 4900 5016 4820 4903 3967 5176 5133 5145 3959 4971 4869 3019 6727 5190 4902 5144 5140 5002 4897 5189 4860 4898 5143 6625 6599 5 6728 5137 5051 3966 5136 4138 5134 2907 5135 2852 5139 5003 4868 6626 6928 6929 6729 6730 6724 6725 27058 20292 6726 13248 20356 6961 6966 6975 6980 6972 6974 6971 6963 6964 6970 6976 6969 6967 6965 6968 6977 21050 13578 13592 13594 13595 13572 13573 13570 13589 13593 13596 13591 13590 13598 13597 13599 13571 13574 8304 8306 8321 8305 8318 8303 9257 9008 9236 9321 9295 8983 13577 13576 13584 13587 13575 13586 13580 8656 6782 9294 13579 13583 9009 8984 9114 9258 9093 8655 9092 9320 9115 13588 13585 13581 13582 13386 13378 13387 9319 6781 6780 6773 8317 6774 9318 37328 37325 37323 38318 38305 38317 37310 37311 37313 36495 36498 36488 36496 36497 38302 36494 38304 36500 37326 36487 36499 8319 8320 26955 26958 26957 26950 26949 26963 20759 26954 26951 27547 27192 27196 27197 27194 27198 27180 27181 27191 27187 27186 27206 27195 27193 27189 27205 27190 27188 27204 27200 27203 27199 27201 27202 33993 37312 37324 38320 38319 37327 15796 15797 15582 15468 15772 15268 13374 13373 13379 13377 13376 13385 13384 13372 13371 33949 33950 33962 33955 33957 33960 33958 33951 33956 33959 33954 33963 33961 33953 33947 33938 33952 33946 33948 33944 33943 33937 22371 22585 22370 22584 22690 22507 22232 22691 22257 22506 22560 22669 22559 22668 22080 22834 21898 22081 20219 22256 21875 22870 22896 22833 22055 22871 22488 22056 22897 22346 22812 21899 20160 20159 22231 33738 33743 33737 21895 20210 21881 21894 21893 21882 21880 20218 20211 20217 22895 20418 6978 13381 13382 13383 13375 20416 20417 6973 27185 33994 38315 38316 26823 22921 22918 22924 22923 22912 22922 22911 23752 24446 22925 24226 23935 23737 23754 23730 23735 23911 24585 23748 23910 24422 24201 24563 24086 23936 24112 24697 23750 24337 24746 23751 24586 24111 24447 24719 24336 24696 23736 23753 23734 24225 24720 24318 24200 24675 24087 24564 27175 27171 27163 27158 27159 27164 27167 27165 27149 27161 27162 27170 27169 27160 27172 27173 27156 27166 27155 27168 20179 20182 27183 27182 27184 27179 27177 27150 26849 26826 26848 26847 26844 26829 26843 26841 24421 26845 26842 26828 27178 22920 26827 26846 23749 26830 27176 20199 20192 20190 20188 20200 20194 20198 20201 20197 20195 20202 20193 20191 20196 24740 24742 24741 24726 24728 24729 24745 24744 24743 47543 47541 47542 47546 47552 47547 47548 20178 20181 33971 33981 33982 33970 33975 33978 33989 33987 33972 33992 33990 33974 33965 33967 33966 33985 33988 33969 33977 33976 33973 33979 33983 33980 33984 33986 33991 33968 20177 40660 40665 40663 20354 20451 20355 20450 27090 20419 27085 27109 27105 27097 33898 27096 27101 27104 27110 33871 27084 33886 33895 27086 27092 27108 33872 33879 33881 33875 33884 33894 27081 33889 33878 33869 20323 27095 27102 33874 33891 27099 33888 27111 27238 27142 27239 33880 27089 33883 33896 27098 33876 33892 33882 27100 33870 33893 27091 27093 27083 27107 33897 33873 33877 33887 27087 27106 27103 33890 27094 27082 33885 27088 27243 40719 40718 20270 14262 13568 13569 13666 20278 20289 20282 20287 20276 20275 20271 20281 20286 20288 20273 13504 20285 20279 20272 20277 20283 20290 20280 20284 13247 13971 7015 13482 6950 33931 34027 34026 13412 13410 40659 40666 40669 40658 40664 13409 13401 13408 13403 13405 13413 13404 13402 13407 40686 40667 40675 40672 40671 40668 40682 40677 40674 40683 40678 40673 40685 40680 40681 40676 40684 40670 40662 40657 40661 40679 33930 33995 33899 13406 13400 13411 13414 40687 21896 20116 21897 22894 21879 27148 27147 27152 27151 27157 27153 27154 27146 33935 33941 33936 33945 33934 33940 33939 33942 54308 54312 54323 54327 54318 54310 54313 54311 43628 43795 43796 43591 43475 43722 43627 43626 43590 43730 15903 15390 15902 16045 16046 13328 15371 15389 40641 40640 40637 40652 40650 40636 40643 40651 40644 40649 40635 40646 40648 40642 40653 40654 40645 40647 40639 43474 43731 43592 43589 13605 44118 44117 44811 44810 44701 44378 44590 44299 44476 45061 44682 44950 44700 44949 44275 44565 44475 44786 44928 44785 44300 45039 44396 44397 44589 45060 44451 44094 45083 45109 45084 45110 8976 9286 9283 9151 8546 8902 8879 8720 8834 9204 9203 8903 8972 9201 9202 8719 8718 15032 14929 14654 13773 14904 14818 14436 14578 14574 14468 14856 13423 14576 16106 13778 14456 14457 14448 14472 13454 14854 14579 13679 14463 14851 14962 14462 14447 14689 13418 14694 14572 14458 13625 13612 13615 13611 6960 13630 13621 13601 13613 4257 33849 33854 33852 33858 33867 33864 33837 33847 33842 33861 33841 33856 33859 33863 33853 33862 33855 33865 33857 33851 33848 33866 33860 47326 47319 36472 35657 35922 36473 35833 35946 35808 36446 33795 36267 35656 36410 36161 36136 36266 36388 35921 36064 35832 36083 35475 36447 36409 35632 35947 36245 35474 36160 36082 35631 36135 35451 47318 43473 43472 43471 47215 47214 40655 40630 47188 40629 40625 40638 40627 40631 40632 40628 40633 40626 28608 29019 29456 28586 28229 28505 28788 28789 28504 28609 28766 28230 28843 27349 27350 28394 27351 29347 29685 29600 28965 29457 29045 29372 28663 29479 29348 29684 29276 29478 28687 29134 28686 28966 29373 29622 28947 29159 28393 29158 28868 28844 27007 28869 29020 29044 29658 29659 29295 29621 29294 47413 47443 47538 47539 14667 14485 14688 14583 13677 15108 13429 13424 14687 14849 14619 14446 14732 13431 16024 14575 15087 13441 15558 16082 14968 14467 14695 15093 14471 13422 9289 8361 8694 9126 15293 15583 14692 9287 8973 8808 8722 8974 8832 33736 33735 33692 47533 47532 47525 47534 47537 47520 47530 47522 47526 47529 47523 47528 47519 47514 47524 47516 47515 47510 47517 47518 47512 29337 29058 29544 29060 29516 29199 29514 29542 29492 29266 27354 29270 29082 29197 29243 27249 29268 29490 29198 29245 29085 29084 29565 29086 29269 29336 29196 29083 29267 29513 29172 29311 29309 29515 29339 29200 27017 29517 29340 29174 29338 29566 29568 29653 29651 29649 29647 29569 29652 29650 29567 36301 36304 36054 35987 36354 35962 36355 36058 36056 35985 36031 35846 36305 35874 35960 36357 36302 36127 36097 36280 35870 36330 36353 35988 33805 34037 36436 36057 34142 36332 35871 36435 35984 36033 35848 35872 35986 36126 35873 36437 40728 40732 40726 40751 40746 40738 40748 40750 40744 40735 40736 40743 40739 40734 40741 40731 40742 40725 40740 36124 36303 36356 36125 36055 36099 36278 36128 40749 40737 40747 40745 40729 40730 40724 40727 40723 40722 40733 47474 47445 47313 47314 36439 36441 36440 36438 47315 40815 40814 36244 35807 40783 60844 60887 60888 54210 48202 44450 44274 16089 8360 8905 14788 8543 8810 14466 14484 15091 8542 13775 15190 8696 9180 14690 13618 14789 14465 14573 9178 13430 13608 14691 15010 14965 8359 9150 14584 14473 13622 14459 13626 14653 8833 13673 20036 14582 13629 13614 8947 9205 8835 8363 15700 9153 14817 8975 8336 8544 9288 13458 15771 15109 9152 13616 13620 14750 14461 13624 15212 9149 13607 8906 13606 14970 15213 14964 14928 14749 8518 8520 15292 16109 13692 8545 13617 13417 14848 8945 8362 13602 15092 14693 13774 13484 13483 13485 21821 20563 20561 22159 21606 22001 22178 22000 22177 21441 21717 20562 21978 21716 21442 21798 22297 20241 22270 22409 22411 22029 22548 22727 22864 22549 22702 22756 21997 20461 21984 22780 22482 22037 22778 22728 22726 22457 22294 21999 21982 22408 22272 22704 22754 22777 22479 22779 22012 22298 22550 22481 22412 22480 22038 21985 22478 21996 20229 22551 22384 21983 22386 22295 20566 22521 22035 22036 22863 54114 54115 49762 49777 47394 49746 49761 49581 49110 49109 49583 49596 49483 47651 49482 49291 49108 47634 48942 47635 49293 49125 49292 49745 49484 49582 54107 54106 61183 54110 54111 54109 54102 54101 54103 54394 54395 60894 60891 60902 60903 60899 60897 60898 22877 14963 22410 21892 15719 9285 15444 13603 15469 13623 15881 15110 14464 15033 22552 15443 22455 22725 13628 16107 22729 13627 8904 13619 13604 8836 22781 15718 21998 20236 6959 22859 8721 14855 15111 22014 14580 16108 14449 21820 54303 54305 60841 60840 60820 60819 60920 60929 60919 60917 60916 60925 60928 60924 60921 60927 60922 60923 60918 60926 60930 43719 43720 44757 44773 44756 43996 44359 44375 44192 44360 44177 44758 44536 44648 44650 44663 44551 44550 44649 44535 44534 44549 43329 43328 44358 44176 44175 43327 43344 44009 43995 43497 43610 43428 43379 43429 43391 43266 44191 43609 43511 43496 43378 43427 43608 43342 43390 43498 43265 44374 43280 43377 44007 43880 43882 43881 43896 43897 43458 43459 43460 43415 44008 43279 43895 43994 43513 43512 43416 43343 44373 43326 44868 44869 44882 44867 44880 44772 44973 44661 44662 44771 44974 44881 44956 44755 44975 44955 45078 47350 47351 47340 47348 47354 47352 47349 47346 47353 47344 47341 47342 47345 47343 47347 67873 67872 74574 61116 61084 61085 61020 67786 61778 67808 68566 54144 54297 54232 54296 54392 54328 54393 54118 54121 54122 54117 54119 54028 54027 54007 54006 44953 44647 40447 40448 44954 44866 45076 45077 43055 42871 42948 42445 43198 42924 43260 40583 43235 43234 43033 42852 42710 42239 42870 42735 43176 42444 42621 42949 42420 42620 42262 41781 42080 41951 42056 41970 42081 42923 42595 42419 41780 44918 44917 44919 44920 44916 44839 44850 44893 44738 44736 44737 44712 44739 44506 44505 44629 44489 44514 44628 44513 44630 44517 44631 44846 44822 44847 45029 45006 40582 42257 42245 42258 43259 40575 42246 40574 42260 40581 43258 54298 54304 54299 42244 47219 54322 54314 54326 54302 54325 54307 54320 54319 54315 54301 54321 54316 54324 54317 54309 54300 54306 47531 47187 44605 45033 45032 44735 44909 44491 44849 44848 44620 44627 44603 45030 44516 45031 44728 45022 44515 43414 43582 44190 40471 43798 43715 43478 43600 43434 43723 43432 43392 47194 47205 47211 47306 47296 47282 47307 47297 47305 47273 47263 47213 47260 47507 47242 47258 47206 47261 47243 47254 47249 47506 47262 47250 47256 47259 47212 47208 47192 47244 47191 47204 47210 47203 47264 47197 47209 47265 47190 47193 47207 47295 47275 47308 47309 47274 54357 54358 54055 88056 74759 54002 54003 53976 96809 97000 101403 89837 90520 89669 90670 97275 101387 96062 96069 89286 90197 89657 94631 95907 89121 88464 87916 87943 87942 89269 62401 62403 62131 62404 62133 62241 62123 62122 62394 62402 62395 62242 60974 62230 62134 62406 62243 60970 62389 62132 62390 62391 62405 81261 81262 81259 81266 81155 81154 81128 81267 81253 81254 74463 74464 63354 62684 62869 63337 63353 63059 63369 62517 63172 63171 63170 62505 63044 63058 62686 63159 63158 62516 63045 62518 63157 62503 62685 74420 62504 62701 63335 63368 63367 62867 63336 62884 63322 62868 63060 63043 63321 63338 63320 88930 94938 81255 89547 89274 89553 89384 89283 89282 89281 89383 89391 89390 89275 89554 89555 89546 89392 81252 81208 81251 81384 88052 87996 88039 88040 88053 81207 62229 62228 81292 81293 81287 81290 81286 81288 81289 81294 81291 81281 81285 81282 81283 81284 81280 81851 81127 84903 84904 84905 84918 84920 84919 84724 84736 84723 84722 84106 84107 84119 84143 84142 84735 84737 84120 84105 84155 84118 84157 84156 84144 85088 85102 85087 85086 85103 85101 84072 84071 84070 83994 83993 85596 85610 85595 85597 85682 85683 85684 85703 85500 85262 85278 85389 85377 85264 85390 85263 85277 85279 85501 85378 85499 85391 85484 85485 85486 85702 85609 85376 85608 85701 95065 77565 77673 77563 77413 77411 77672 77398 77836 77835 77820 77412 77674 77399 77821 77837 77564 77400 77661 77822 74504 74506 74505 74497 74499 74495 74492 74493 74496 74502 74503 74494 74501 74498 74500 87908 87909 82142 88150 97733 97731 98481 98312 98494 97719 97718 98479 98311 98313 97732 98495 98480 98496 97720 97764 97914 97802 97815 99062 97681 101428 98299 99258 98184 98679 97762 97800 97817 97801 97777 97683 99173 97633 99260 98038 97647 99172 94640 98954 99060 97913 99279 101467 98300 99186 99382 98853 98838 97581 98298 98677 97585 98186 101427 98952 97646 99283 99282 98036 98024 99380 101443 97632 98855 98023 98953 94646 99185 99381 98664 99076 99280 97648 98185 98037 98663 97694 97569 98839 95427 97929 97682 99061 101434 97631 94679 97912 98200 99278 97816 98854 97696 97775 97584 98025 99277 99184 98966 98967 94639 97927 97928 98201 99171 101483 99075 98678 99281 97570 99259 97776 97695 98199 98840 97763 94695 98662 99077 97583 98965 94655 92289 92384 90988 92274 92470 91525 92383 90989 91876 91396 91249 92272 92273 92471 92493 90782 92490 92494 91124 90858 90932 91510 90893 91014 92396 90944 92397 91523 91012 91125 92288 90908 90930 91524 92177 90781 91013 90859 92489 92495 91512 91029 91028 91692 90974 90844 90895 90943 91890 90906 91707 92287 92178 90894 91889 92492 90945 91706 90795 90931 90796 90907 91126 92592 92491 92594 91412 92472 91511 92067 91397 92066 91250 91413 90860 90976 91708 91398 92050 91236 90987 91140 92164 90793 90797 92065 92052 90975 91237 92593 91235 91141 90845 91691 91411 91248 92051 91891 92166 92165 90843 91139 92179 92385 92398 91693 91874 91875 91027 85375 85805 85806 85267 85276 85268 85275 85705 85706 85704 85804 85707 74333 81121 84187 84008 84200 84188 84005 84007 84055 84336 84337 84338 84449 84199 84241 84056 84225 84461 84608 84623 84610 84226 84224 84352 84624 84351 84462 84625 84009 84609 84353 84460 84201 84447 84448 84186 84057 84240 84239 81120 88639 81447 81446 81415 74332 81162 81163 81164 81178 81165 81177 81176 81175 81157 84054 75063 75354 81362 50668 47223 47237 47224 47222 47238 47225 51737 51488 51377 51264 51489 51574 51599 51598 51716 51378 51239 51738 50413 50521 50685 50670 50684 50509 50397 50410 50669 50396 50402 50398 50411 50412 50409 50069 50401 50065 50683 50408 50522 50520 61487 88331 88299 88298 88297 60818 60843 61083 61051 54295 74721 61178 61179 74722 91402 91245 91136 91137 91129 91410 91130 91401 91409 91138 91246 91408 91238 87963 87964 87953 87965 87950 90842 87952 95085 95061 95081 95079 95082 95058 95084 95076 95060 95077 98033 98034 95087 98035 97917 98189 95119 98190 98198 98196 91239 88235 88234 95118 94751 97925 94740 97924 98197 97630 94738 97926 94739 94752 94753 95071 95074 95068 95072 95063 95066 95073 95062 95070 95069 54294 54391 54359 67818 54032 54031 54030 54051 47527 41805 42259 47513 43197 42263 47511 47536 42256 49308 47636 47398 49793 49744 47535 43032 42734 42596 49778 42243 41806 47521 42261 43261 41969 43054 41950 54990 60998 55601 55346 55330 55443 55452 55441 55613 55342 55345 55331 55444 55335 55606 55454 55341 55442 55617 55453 55614 55616 55329 55618 55451 55607 55343 55615 55344 55440 55603 55450 55455 55602 55334 56096 55913 55896 55716 55232 55730 55180 56580 56566 56550 56565 56581 56579 55181 55179 54525 55192 55234 55233 54536 55193 54537 55717 55151 55912 55911 55150 55139 54523 55194 54148 55898 54538 55728 56095 56094 55715 55137 54524 56079 56081 54149 55897 55138 55152 56080 55729 54186 54182 87858 87891 87867 87907 87851 87937 87932 87915 87940 87931 87939 87936 87920 87941 87935 87934 87921 87918 87922 87938 87925 87919 87933 88037 88036 88003 88034 88033 88002 88010 88024 88023 88001 88025 88035 87998 88022 88008 87997 87995 88038 88032 87966 87951 87945 97918 95057 88203 95064 95083 98026 94741 98027 94733 95067 94754 95078 87852 95059 88330 95086 91247 95080 95075 61147 54136 54137 54135 54133 54142 54130 54129 54128 54131 54140 54141 54134 54132 54138 54139 63516 62021 67777 63518 61967 61210 62231 62022 61981 61095 61096 61982 63533 61102 63531 61115 61098 61113 61099 61089 63517 62020 61090 61109 61112 61212 61103 61968 61969 62238 63532 62232 61111 61106 61105 61209 62240 61980 61211 62239 61227 61101 61100 61108 61107 61104 61114 61110 67544 67807 67545 67889 67886 67892 67877 67887 67888 67894 67878 67884 67890 67883 67891 67893 61131 61132 61142 61141 61145 61126 61138 61120 61140 61129 61127 61134 61143 61135 61144 61137 61139 61136 61146 61133 67902 67903 67901 67895 67897 67896 67898 67900 67899 61118 61123 61122 61128 61124 61119 61117 61125 85681 85483 85594 77217 77221 77550 77548 77549 74374 74376 74369 74389 74377 74375 74390 77659 77660 88286 88283 88296 88284 88282 88276 88279 88291 88275 88280 88273 88290 88277 88281 88274 88272 88285 88295 88293 88289 88278 88287 88294 88292 88270 88271 88269 88288 81543 81511 94972 94983 94962 94986 94988 94987 94981 94985 94980 94966 95022 94969 94965 94970 94964 94973 94990 94976 95023 94975 94967 94982 94978 94977 94961 94979 94984 94963 94991 94968 94989 94974 94971 88198 88199 88195 88194 88196 88201 88197 88193 88178 88202 88200 88174 88173 88175 88177 88176 85678 85429 85204 84822 85428 85203 85318 85027 85410 85003 85179 85028 85317 85789 84846 85788 85514 85838 85539 85812 85677 85293 84017 85811 85837 84845 85538 85767 85656 74659 74627 78132 78491 77935 78474 78476 78298 78490 77949 78315 78115 77934 78300 77936 78117 78475 78489 78299 78116 81542 85002 85178 84004 84002 83996 83998 83995 83997 81103 81070 81063 81119 81079 81064 78809 78588 78590 78822 78698 78807 78589 78808 78713 78696 78697 78603 77283 78313 77332 77369 77331 78131 78314 77284 78130 77948 77368 78895 78602 78821 77319 77367 77330 77282 77355 77317 78601 78896 78820 78712 78894 78914 78711 78915 78913 77356 77354 77318 77947 77206 77205 74387 74388 85513 85655 85574 85456 85576 85348 85358 85577 85463 85357 85356 85359 85464 85467 85440 85465 85865 85869 85868 85870 85645 85648 85750 85734 85760 85761 85866 85867 84003 74658 77268 77269 77267 77452 77451 77453 77220 77219 77436 77437 77438 77266 78919 79018 79017 79016 78916 78918 78917 88182 88183 88192 88187 88186 88190 88188 88189 88184 88185 88179 88181 84839 84844 84827 84840 84829 84841 84015 84826 84010 84842 85835 84016 84828 85818 61030 61034 61045 61048 61044 61047 61049 61043 61046 61039 61032 61040 61038 61037 61041 61042 61036 61035 61031 85836 84843 88180 88191 74755 74754 64097 63645 63989 63823 64244 63877 64085 63836 63824 64083 64084 64259 63876 63988 64245 63641 63987 64261 64260 64098 63837 64246 67631 71925 71908 71910 71802 71909 70664 70665 70871 71044 71046 71037 71045 71038 71146 71344 71327 71511 71510 71527 71512 71047 71328 71161 70776 70884 71033 71034 70873 71032 71048 71329 70885 71049 70886 70777 71147 71148 70872 71687 71703 71688 71686 71701 71702 71815 70433 70775 70429 71801 71800 71924 71923 72125 72126 72033 72020 72019 72032 72106 72034 72107 70611 72021 72108 70610 70624 70623 67602 67588 67601 67587 67581 67586 67589 71907 72018 71799 72230 72228 72229 72127 70612 70663 54037 54038 61130 61121 54260 54255 54233 54238 47603 54253 54256 54259 54237 54254 54258 54257 54261 47602 47571 61033 61029 61022 54263 61025 61050 54390 61028 54236 54235 54262 61024 54234 61023 61027 61021 61026 85623 85353 85354 85637 85466 85643 85756 85573 85646 85758 85757 84018 85331 85333 85355 67871 67870 67967 67935 67966 67839 70479 70496 70481 70480 71813 71814 70494 70495 70581 70761 70417 70762 71342 70531 70580 70760 70579 70544 70418 70568 71159 70529 70530 70566 71525 70567 70542 71526 70543 71343 71160 70431 70648 70432 70650 70649 67600 67599 70625 72105 81414 81385 81413 74275 74315 74291 74282 74276 74331 70478 85736 85550 85647 85552 84034 85644 85621 85567 85872 85871 85578 85759 85575 85462 85755 85442 85572 85642 85863 85864 84088 84087 84342 84458 84350 84457 84613 84620 84614 84450 84451 84459 84341 84621 84622 64724 64723 64360 63708 63691 63692 63693 65137 65233 65121 65246 64914 64915 65012 65027 65013 65014 64898 64540 64373 64739 64358 65122 65231 65232 64913 65120 64541 64539 64556 64359 64900 64899 64722 84349 84037 84038 81500 81499 81501 81506 81504 81495 81491 81490 81498 81510 81502 81505 81485 81496 81494 81503 81508 81493 81497 81507 81484 81509 67577 72128 72129 72130 72131 77553 77826 77562 77554 77833 77825 77834 77832 77560 77561 81482 81489 81487 81492 81481 81486 81488 81483 85857 63791 63793 63779 63792 63778 63780 81410 81386 81412 81408 81409 81407 81388 81390 81389 81411 81405 81387 81406 84552 84484 84467 84947 84663 84364 84639 84925 84388 85125 84534 81149 81145 81143 81148 81147 84250 84274 84084 84768 81132 81144 81146 84745 84767 84085 84083 85106 85124 84485 84948 84553 84664 84389 84363 84930 84982 85219 78034 78641 78239 78640 78058 78416 78057 78415 78530 78622 78240 78505 78529 78390 78391 78979 78750 79024 79001 78725 78867 78868 78889 79050 79049 63741 64737 64738 63742 63754 63743 63755 63756 65025 65026 79000 84931 85243 85245 84987 85244 85217 84961 84976 84985 84946 84983 85241 84945 84959 85242 85233 84929 77671 77670 77669 77662 77663 84943 81151 77229 81131 81153 78751 79023 81133 85240 85234 84986 81150 84275 84944 84984 81134 78890 78215 81130 78726 78214 81152 84533 81137 84932 64372 65319 65337 64371 65338 65320 65135 64554 65244 65339 65136 63706 64555 65245 65318 63707 81237 81236 81250 81248 81249 74413 74412 74411 74406 74410 74414 79084 78973 78969 78858 78833 78971 79082 78972 79083 79080 78946 79081 78970 78857 78859 79078 78856 78860 79079 78948 78848 79077 78849 77246 77300 77230 78962 74449 74426 74458 74421 74427 74432 74447 74459 74461 74460 74448 74446 74456 74407 74408 74419 74462 54025 54012 54011 54010 54013 54005 54026 74402 56905 56903 56918 56904 56919 56920 57471 57295 57088 57469 57048 57073 57461 57074 54024 57473 57470 57296 57456 57185 57049 57468 57036 57047 57199 56856 57472 57310 57309 57457 57072 57297 54023 56853 57034 56857 57087 57462 57458 57201 57308 57186 57035 57089 57200 56842 60768 60770 60783 60788 60784 60787 60773 60785 60789 60766 60781 60779 60769 60767 60780 60786 60782 58636 57694 57851 58504 58659 58525 58686 57954 58052 57670 58526 58141 57973 58386 57972 56865 58277 58387 58165 58258 57693 57876 58615 58637 58660 58027 58685 58051 58166 58362 58276 57875 58026 58361 57850 58503 56851 58584 74394 74395 74415 74401 74425 74422 74434 74457 67809 63630 63629 56867 56868 58245 65011 63690 65340 65343 65442 65441 65440 65342 65341 63643 63644 78051 77228 79047 78038 78040 77222 78041 79030 77227 77215 78039 79048 78055 78053 78056 78052 78054 74723 63860 63861 63862 63835 64096 63875 63822 63973 63974 63972 79075 78967 78854 79076 78855 78968 77298 77299 77209 81214 81215 81245 81247 81209 81222 81246 81213 81220 81235 81210 81234 77210 77214 78567 78453 78429 78762 78677 78786 78675 78571 78652 78445 78559 78568 78789 78456 78543 78788 78764 78654 78790 78676 78454 78455 78457 78787 78679 78570 78668 78784 78452 78785 78451 78674 67487 67543 67503 67494 67488 67527 60813 60814 70428 60800 60798 60801 60799 72045 72068 72158 72072 72069 72070 72071 72002 72061 71991 72181 72184 72183 72174 72182 72185 70882 70875 70883 70874 70766 70774 70881 70765 71667 71669 71779 71781 71755 71665 71666 71643 71782 71887 71780 71888 71889 71864 71641 71668 71783 71866 72000 71880 70458 72160 72001 71657 70512 71974 71757 72047 71999 71879 71771 71772 71658 71891 71998 70773 70427 78678 78667 78779 78446 78560 78569 60812 60811 71890 71976 70426 70422 70421 71491 71490 71481 71467 71489 71488 71493 71482 71492 71465 60793 65119 65230 65317 78961 79069 72292 72294 72289 72290 72293 72296 72295 72288 67618 67622 67607 67606 67620 67624 67627 67625 67623 67626 67619 71427 71603 72101 71451 71742 71627 71852 72102 71452 71270 71962 71741 71834 72080 71628 71269 71963 71853 71246 72235 72191 72262 72212 70441 72236 72213 71717 72261 71938 72079 71602 71426 71937 78566 81244 78565 72291 70442 67644 67639 67633 67673 67670 67658 67669 67646 67637 67674 67671 67659 67634 67660 67661 67672 67638 78929 78933 78932 78802 78690 79101 78797 78691 78692 78801 78934 78931 79098 79096 78799 78935 79097 79099 78689 78803 79100 78800 78835 78431 78545 71777 71778 74357 74344 74365 74363 74360 74361 74364 74349 74355 74342 74345 74343 74356 74362 74346 74359 74358 72313 72312 72310 72309 72311 72308 77296 77297 77979 77875 77575 78137 77696 77876 77746 77765 77957 78337 77851 78336 77462 78318 77601 77487 77764 77980 77295 78159 77576 78160 77679 77486 77600 77745 77697 72009 72014 72013 72141 72012 72144 72015 72143 72011 72145 71903 71901 71904 71902 72147 72146 67838 74625 74620 74626 74599 74600 74619 74622 74621 74623 74597 74624 74617 74618 67668 81396 81398 81400 81404 81393 81391 81403 81395 81397 81394 81399 81402 81401 81392 67827 67814 67826 67815 67834 67835 67829 67823 67810 67825 67819 67828 67811 67822 67813 67830 67812 67816 67837 67836 67832 67821 67817 67833 67820 67831 67824 74710 74705 74716 74718 74711 74719 74703 74709 74715 74720 74713 74712 74702 74706 74708 74707 74717 74697 74696 74714 74598 74601 74602 74701 77928 77925 77929 77926 77930 77927 78107 78470 78469 78581 78466 78467 78580 78582 78288 78464 78109 78291 78688 78293 78294 78290 78578 78105 78110 78584 78108 78292 78583 78111 78686 78468 70440 72259 71250 71266 70434 70439 71253 71265 71252 71263 72260 71264 71267 71251 71268 72242 74693 74698 74699 74695 74700 74694 74704 78281 78280 78255 78278 78096 78071 78093 78073 78098 78094 78277 78276 78095 78279 78253 78097 78275 78270 78087 78086 67614 67613 72180 71997 71996 67882 67879 67881 67885 67880 61087 61093 61091 61086 61097 61088 61092 61094 71680 71681 71790 71900 71792 71796 71676 71795 71794 71682 71793 71678 71679 71898 70462 70461 71663 70511 72066 72067 71886 71664 72179 54337 60757 60756 56843 56844 60825 60826 60839 58436 58439 58435 58438 58433 58437 58566 56855 56841 60882 60871 60885 60883 60849 60856 60886 60870 57184 57189 57198 57190 57197 57196 57306 57307 57298 57299 57305 60845 60858 60881 60873 60884 60872 60850 60851 60846 58112 58111 58110 58125 58127 58126 57571 57767 57766 57949 56967 56966 57768 56968 57934 57751 57936 57935 56990 56953 57584 57570 57572 57752 57950 57003 57753 56991 56954 56992 57005 57951 57004 57585 56955 57583 58314 58492 58606 58206 58203 56936 56882 58471 58290 58400 58207 58315 58582 58607 58204 58205 58495 58494 58426 58469 58398 58424 58181 58311 58422 58312 58493 58425 58496 58608 58313 58609 58179 58605 58288 58423 56902 60880 58224 58225 58226 58239 61082 74608 74606 74612 74613 74616 74615 74610 74607 74611 74614 74604 74609 74605 54354 54339 54341 54332 54338 54355 54346 54343 54344 54342 54349 54353 54351 54333 54345 54347 54352 54350 54356 54348 54336 54334 54335 54330 54340 54329 54331 58554 58654 58553 58555 58552 53967 53918 60706 60755 53951 53912 60715 53911 53927 53968 53969 60699 60700 60739 71317 71321 71502 71504 71506 71505 71323 71503 71322 71320 71319 71500 58653 74603 71298 71310 71285 71306 71309 71283 71307 71305 71308 71299 60830 60834 60837 60838 60831 60835 60832 60836 58332 58349 58334 58333 58457 58348 58443 58530 58347 58237 58456 58458 58532 58549 58550 58551 58445 58238 58531 58444 58652 58733 58735 58734 58732 58303 58304 58736 58737 58415 58731 56866 60999 58485 56846 56850 56845 58728 58729 58730 58571 58569 58568 58570 58567 58565 58715 58714 58716 58717 58718 58720 58719 58713 58564 58432 58434 58598 58201 58202 58324 58323 58326 58327 58322 58328 58325 58321 58091 58089 58092 58093 58090 58065 58067 57917 57889 57915 57731 57732 57707 57709 57734 57733 57730 57913 57914 57916 57891 57729 57906 58310 56935 58082 58244 58491 58088 58081 58087 58353 58559 58560 57912 58490 58420 58196 58421 58195 58603 58604 58354 57911 58252 58251 57722 57723 58712 51238 51573 51715 53980 53996 54000 53999 53985 53995 53982 53998 53994 53991 53981 53979 53978 53993 53992 53997 54001 57512 57615 57333 57796 57382 57487 57098 57511 56932 57593 57237 57616 57795 57401 57212 57400 56933 57123 57315 56931 57332 57773 57122 57236 51872 51353 51185 50882 51063 51184 51470 51898 51848 51827 51897 51871 51166 50906 51263 50905 51087 51088 50077 51849 47236 47235 51062 56852 56885 56886 67787 67802 67803 67780 67797 67791 67793 67794 67801 67799 67779 67804 67796 67798 67782 67795 67788 67783 67778 67806 67784 67805 67790 67785 67781 67789 67800 67792 56811 56810 56609 56172 56773 56311 56020 55996 56197 56446 56286 56631 56447 56310 55815 56428 55995 56836 55838 54159 56021 56524 56117 56752 56774 56118 56525 56099 56196 55839 56499 56171 56608 56837 56630 56500 57211 57381 50063 50076 50075 50070 50887 50886 51895 50889 50888 50899 51896 50904 50901 50902 51878 50903 50057 50058 50062 50797 50783 50963 51651 51648 51649 51540 51538 51776 51780 51783 51945 51947 50054 50053 47475 50979 50795 50978 50179 51162 51161 51147 51148 51146 50167 50178 51163 50165 50166 50965 50980 50782 50964 50784 51925 51535 51566 50147 51697 51817 51277 51525 51416 51926 51293 51821 51681 51408 51810 51305 51516 51417 51634 51708 51929 51636 51646 51927 51705 51524 51820 51414 51419 51818 51304 51635 51415 51819 51500 51638 51610 51706 51301 51303 51704 51932 51279 51612 51707 51931 51526 51391 51928 51523 51637 51413 51794 51627 51930 51527 51294 51302 51418 50131 50132 50116 50130 50217 50202 50203 50204 50216 50215 50114 50900 51559 51450 51560 51451 51544 51546 51323 51324 51338 51339 51561 51545 51437 51322 51337 51438 51449 57778 57791 57779 57777 57830 57780 57793 57835 57833 57809 57807 51436 57824 57831 57832 57792 57794 57834 47218 54096 54083 54058 54068 54062 54070 54094 54093 54061 54057 54082 54098 54063 54085 54084 54097 54095 48815 48813 48826 48656 48662 48667 48557 48556 48547 48829 48825 48555 48654 48655 48814 48546 48830 48665 48818 48663 48827 48828 48819 48558 48666 48664 58106 58105 58100 58103 58215 58217 58216 58214 58104 58218 58220 58219 58102 48927 48928 48929 51668 51655 51763 51744 51743 51762 51656 51657 51669 51670 51742 51761 51502 51796 54047 54049 54050 54048 54042 54044 54046 54043 56461 56238 56237 56326 56235 56422 56210 56212 56236 56348 56665 56421 56419 56489 56420 56418 56491 56717 56490 56642 56668 56694 56349 56351 56324 56395 56488 56492 56350 56696 56667 56669 56666 56234 56352 56802 56803 56721 56799 56805 56718 56801 56720 56804 56719 56463 56397 56644 54506 54401 56341 56340 56226 56227 56800 54169 51393 51702 51633 51632 51703 51300 51816 51815 51522 51683 50094 50148 50078 54176 56233 54181 56486 54177 56487 56416 54505 56232 56417 54504 56663 56664 56715 56716 56710 56709 56657 56478 56346 56347 56477 56411 56410 56658 67875 67874 67876 49658 49737 49736 49408 49842 49821 49659 49233 49409 49051 49232 49843 49523 49384 49522 49027 49964 49985 49986 49311 49498 49329 49640 49330 49820 49383 49050 50049 50023 50022 57565 57746 57929 57563 57926 57743 57741 57745 57564 57747 57927 57928 57566 57562 57561 57744 57930 57924 55980 55976 55977 55952 55954 55979 55978 49712 49208 49711 49207 47371 50048 55478 55918 55657 55941 55460 55356 55545 55381 55527 54503 55761 55243 55477 55940 55526 55760 55268 55546 55382 55357 54501 55738 55632 54502 55267 55656 51008 51007 50828 50985 50724 50143 50448 50145 50827 50334 50544 50144 50594 50723 50527 50449 50424 50612 50310 50805 50335 50699 50545 50613 47362 55969 55974 55968 55975 48758 48480 48739 47714 48757 49152 48869 47715 48972 48950 48868 48455 48594 48569 49153 48973 48844 48690 48672 49130 48593 47713 48479 48689 48568 48738 33643 33642 34031 43806 43936 43660 44040 43661 43824 43636 43356 43357 43547 44220 44197 43935 44219 43355 43546 44017 43911 44039 43825 43522 26903 26970 26967 14428 14427 14429 14460 14581 15267 15880 14969 14850 16083 33633 33617 33631 33629 33621 33614 33636 33635 33615 33618 33627 33747 33634 33637 33632 33630 33628 33616 33750 26986 26977 26990 26989 26987 26980 26978 26981 26983 26988 26976 26984 26979 26982 26985 26966 26969 26965 33648 33661 33649 33646 33662 33647 37252 36931 36933 36836 36835 36943 36944 36825 36935 36837 37094 36942 37092 36934 36758 37147 37037 37229 37590 36951 36567 37251 37148 36969 37431 37104 36946 37093 36945 36848 37409 37608 36968 36759 37432 36568 37123 36873 37036 36872 37018 36734 36826 36932 36834 37097 37098 37107 37109 37106 36941 37108 37105 36569 37609 36481 36518 37416 36486 37430 36572 37428 37415 37427 36847 37414 36482 37429 37413 36502 28480 28205 28479 28204 28683 28667 28668 28681 28684 29682 27005 26999 26998 28682 29683 28670 28685 28669 27006 37587 37387 37221 37572 37747 37404 37763 37388 37208 37571 37389 37207 37746 37570 37748 37206 29665 40519 40494 40518 40516 40492 37860 38079 38081 38094 38080 37875 37985 37970 37862 37969 37861 37968 37939 37468 37831 37842 37470 37701 37841 37924 38244 37948 37951 38351 38245 38242 38130 38128 37469 37832 37443 37445 37729 37726 37717 37926 37467 38120 37718 38061 38233 37947 38350 38353 37950 38062 38129 38131 38352 38220 38355 38354 38058 38036 38051 38060 37839 37843 37471 37727 37940 37725 37840 38356 38107 38243 38132 38034 38050 37949 38105 37984 37983 38218 38059 38241 38234 37815 37817 37728 33659 33660 36539 36538 37762 37761 37220 37219 36541 36556 36540 36493 36489 36478 36602 36604 37403 36590 36603 37402 36589 37586 36820 36833 36821 36822 36477 36591 37585 37874 38092 37873 38093 38185 38168 38186 38167 38187 38166 36554 36555 31180 31073 31398 29851 29750 31197 29814 31305 30614 31086 31181 29701 31196 30782 31399 29815 31380 30797 29752 29753 31306 29802 29767 31087 29816 31293 29853 30799 31379 31085 29852 29803 29768 30616 31291 29766 31182 30798 30958 30959 31304 30974 30960 29705 29838 29751 29840 30975 31074 30615 31072 30783 29839 31378 30973 31195 29801 31292 30784 31397 31502 31501 31500 38121 28192 28194 28301 28303 28450 28302 28178 28179 28461 28464 28300 28463 28462 28193 28451 28465 28191 28449 28298 28466 28290 28299 28292 28291 28454 28183 28455 28182 28375 28374 27030 27034 28680 36571 36570 37724 37466 38126 37946 38127 38239 38057 38347 37723 38056 38240 37460 38348 20322 20321 13567 20319 20316 20318 20315 20303 20314 20312 20304 20309 20313 20310 20298 20311 20308 20307 20306 20320 20317 38349 38341 37837 37838 20302 13566 26942 26945 26946 26944 26943 26941 26916 26918 31463 30724 30518 31352 30699 30989 31014 31234 30542 31125 30899 30723 31124 31210 31235 30875 31013 31374 31373 31106 31484 30900 31485 30541 29713 31507 31533 31508 31534 30698 30874 31351 31209 29706 29711 30522 29712 29699 30524 30536 30539 30523 30538 30537 31532 31531 30525 30540 35554 35268 35163 34138 35577 35292 35576 35293 34139 35182 35113 35114 35096 35181 34993 35018 34992 13497 13495 13494 13498 13493 13499 13491 13489 13488 13490 13496 13502 13492 13501 13500 13487 35017 34137 13390 13391 13394 13393 7276 20293 13535 30820 30802 30821 30621 29779 30084 30085 30359 30248 30463 30360 30464 30643 30644 30249 29781 30441 29780 20455 6718 6719 6691 6717 6678 6716 6720 6721 20297 5552 5658 5556 5550 5522 5197 5200 5554 5791 5195 5193 5501 5199 5453 5551 5198 5713 5714 5553 5657 5602 5557 5792 5196 5601 5518 6693 6624 6598 6603 6621 6618 6602 6623 6604 6605 6622 6620 6619 6617 5802 5801 5818 7014 7013 6981 7012 7004 7007 7000 7006 6998 7003 6992 7001 6995 6996 7011 6999 7002 7009 6994 7005 6997 7008 22315 22331 22332 22330 15543 13709 13710 15544 15542 13711 13696 13693 13695 13667 13694 31514 20484 20482 20481 20483 20499 5779 5644 5382 5513 5589 5473 5701 5452 5700 5521 5520 5519 13534 6601 6908 13536 6907 6900 6913 6476 6273 6423 6138 6895 6901 6906 6899 6911 6385 6274 6218 6412 6318 6328 6478 5813 6137 6124 6374 5812 5814 6387 6425 6422 6126 6275 6915 6910 6909 6127 6904 6903 6896 6912 6897 6329 6272 6386 3094 5815 5817 6215 6132 5846 6990 6905 6902 6125 6424 6217 6331 6216 6131 6262 6384 6330 6479 6914 5811 5816 5809 6133 6219 22471 22470 22406 22860 22407 22040 22862 21605 22865 22861 20237 22296 22523 22039 14724 13420 14713 14715 14618 14725 13421 14601 14617 14613 14614 14727 14716 14616 14602 14615 14603 14607 14723 14714 14606 14722 14712 14726 13300 13278 13279 14570 14569 13676 13777 13776 13675 14629 14798 14799 14628 13389 5175 5188 4800 4865 4848 5052 5105 5678 5677 5623 5621 5624 5622 5611 5667 5773 5734 5774 5736 5772 5733 5680 5827 5825 5679 5771 5735 5723 5761 5487 5564 5567 5482 5566 5475 5474 5481 5476 5486 5565 5480 5829 5828 10154 10178 10359 10360 10625 10742 10535 10760 10457 10456 10438 11099 11121 11143 11120 11144 10988 11169 11010 11170 10335 9349 10177 10510 10987 10334 9720 9885 9996 9995 9721 9884 9416 10077 10099 9415 10257 10280 9417 10100 10279 13299 12716 11389 12608 13037 9284 12916 10709 12841 11375 12151 10708 12623 12318 10723 11337 11287 12717 11374 12733 11138 12135 13285 11304 13283 12335 12494 10609 11015 12152 9389 12935 12511 10929 11388 12136 13284 12609 12510 13298 9387 11014 12914 10610 11288 11289 12829 12842 12496 11352 11016 11136 12334 12610 11286 11968 11338 12828 11387 11137 12333 11969 10710 10928 12150 10942 12915 12827 10817 12495 10816 12509 8881 9128 7128 8338 6792 7023 10611 10833 12319 9404 9388 10818 9386 13296 11035 13038 13036 11350 13297 11376 12840 10927 12320 12137 11967 12718 13295 11339 4970 5015 4899 5181 4867 4799 5064 4958 2908 5070 5187 4866 5104 6923 4786 4922 6931 4740 6926 4784 4140 6924 4141 4648 4649 4787 3020 4139 4788 13665 13600 13664 4926 4998 5032 4829 4951 4985 4911 5046 5033 4995 5090 5161 5093 4827 4821 5092 4822 4953 4823 4828 5130 4952 5169 4949 5044 5128 5080 5163 4925 5164 5091 4833 4924 4913 5042 5167 5170 4940 5166 5127 5034 4834 5129 4997 5171 5045 5030 4912 4915 4914 4950 5165 5117 4996 5025 7123 8030 7866 7125 8222 5168 8244 4931 4930 6948 8601 8402 8029 8140 5024 8245 7865 5026 5035 7124 8425 8583 8424 4793 8141 4792 8602 6731 13610 13609 9348 9335 9347 9342 13663 10176 10172 10174 10160 11167 11168 10158 10161 10159 10173 10175 13631 5826 10845 11009 10649 10870 10846 10650 10761 10536 10511 13271 13254 13253 13267 13269 13272 13270 13273 13268 13252 13251 13250 13266 14878 13795 15183 14874 14988 15366 15368 15169 15168 14423 14875 14987 15000 14424 13797 14873 15353 13809 15527 15002 15170 14890 14411 14409 15529 14885 15528 14989 15352 14888 15001 14879 13808 15351 15184 14410 13810 15367 14422 13796 14886 15185 14889 14887 7017 7828 9229 8213 8101 8200 8580 7636 8565 7813 7815 8085 8579 8100 7925 8102 8087 7621 8867 7043 7938 7059 7146 7061 9016 8098 9049 8097 8199 7935 7936 7937 8395 8855 8382 7826 8381 9228 9032 7046 8754 7158 9214 9033 7827 8563 7814 9213 8212 9050 8214 8755 9034 7939 6772 7147 8201 8853 8868 7045 9227 9063 7829 7044 7145 8099 8854 7623 7924 9017 9212 7060 7830 7926 9031 8396 8578 8397 7159 7934 7635 8564 7825 7622 9018 8380 9065 6771 8756 8086 7634 7160 6918 6919 11150 6752 6760 6762 6755 6758 6763 6756 6764 6751 6765 6754 6759 6753 6761 6757 13142 13143 13141 6916 6917 6477 6962 6957 6958 5156 8894 9141 8961 9142 8831 8895 9194 9274 5155 6499 9282 9193 8830 6500 8962 6885 6922 6993 6925 6854 6927 6989 13505 6921 6920 7927 6740 13129 7819 6745 6742 7010 8090 8091 6744 7928 7818 6741 6939 4904 20189 36832 50115 50796 50180 50117 51644 51782 51943 5555 37703 40485 40509 40517 6480 7016 40522 6991 5645 10871 40486 5568 27143 27207 37017 63632 63631 94582 94584 94585 94583 81042 81024 81039 81049 81055 87843 87837 87830 87812 87827 81205 69193 69031 68920 69030 69831 69473 67999 69474 69656 69832 69672 69292 68015 69291 69846 69489 69472 68112 81184 68100 69305 68013 68014 68727 69029 69016 69178 69177 69018 68921 69192 68922 69194 69017 69179 69027 68911 69191 69019 68113 69304 68099 68114 69671 68715 68714 69488 68726 68713 68101 69487 68728 69670 69306 69833 67998 68000 69655 69293 69657 69847 69848 67997 69020 68910 69189 69190 69182 69028 69026 68919 69183 88263 88260 88264 88258 88259 88261 88257 88262 88265 88267 81183 81182 95029 95035 95034 88253 88254 88252 88255 88251 88250 88256 81204 88247 88242 88246 88248 95041 95051 95036 95032 95048 95027 95049 95050 95047 95044 95026 95037 95054 95055 95053 95031 95028 95043 95042 95046 95052 95030 95045 95040 95039 95038 95033 88266 88240 88238 88239 88245 88249 88241 88243 88244 69958 69959 70125 70110 70157 70142 70306 70109 70320 70156 70126 68794 68795 67725 68907 68918 68917 68793 68906 68810 68809 68756 68755 68768 68769 68757 68770 67762 67758 70304 70123 70319 69946 69947 70141 69960 70108 69945 70321 70124 70155 70305 68905 67724 81337 83248 83246 83233 81677 83534 83063 82386 82496 82603 82494 83422 83423 83700 81690 81338 82596 82345 82369 82592 82385 82593 82333 81301 82765 82344 83523 83232 83535 83536 82498 82384 82882 82869 82595 82602 81575 82604 82605 82331 83050 82607 81334 82332 81300 81576 82493 82868 82371 82867 82758 81336 82482 82487 82346 82594 81676 83247 81574 82606 82289 83896 82370 81591 83408 83407 83409 81590 81589 82303 83699 82302 82880 82881 82483 82753 82759 82768 82486 82766 82767 82497 82495 83522 83064 83684 82754 82769 82755 81688 83685 83065 82770 83521 82481 83686 82304 82290 83231 83424 83701 82291 83048 81689 81675 83049 83880 81573 87794 83718 83702 83882 83881 83733 87796 87809 87795 83897 83717 83732 83895 83731 87810 87811 87797 67760 67761 69836 69844 69845 69837 69843 87992 87972 87993 87825 87826 67726 74671 74666 74668 74669 74670 74684 74688 74690 74665 74662 74686 74663 74667 74677 74675 74674 74689 74681 74683 74664 74685 74673 74678 74687 74672 74682 74679 74691 74676 74680 81458 81478 81479 88154 88143 88166 88167 88157 88165 94957 94956 94959 94958 94949 94935 94954 94951 94948 88155 88152 88164 88161 88144 94930 88162 88158 88160 88169 88168 88171 94953 94950 94931 94934 94932 94955 94933 88141 94929 94952 94936 94944 94943 94945 94941 94946 94937 94940 94942 94947 94939 68808 74233 83573 83570 83820 83642 83818 83846 83613 83871 83872 83950 83810 83476 83615 83501 83848 83500 81553 83630 83498 83563 85590 85587 85506 85477 83562 83862 81328 81329 81333 85885 85884 87817 83954 83641 83821 83870 83819 83644 81321 83502 83572 83504 83547 83503 81657 81658 83571 83956 83873 83951 83643 83794 83796 83952 83499 83478 83957 83574 83955 83817 83549 83640 83869 83953 83639 83569 83816 83462 83172 82967 82991 83173 83349 83348 83599 83580 83598 83463 83782 83925 83926 83783 83676 83962 82990 83963 81311 83989 83988 83677 83148 83324 83438 83761 83904 83652 85883 85588 85720 85712 85591 85505 85589 85719 85711 85717 85722 85480 85479 85723 85721 85478 85585 85584 85716 85473 85586 85718 85886 85880 85889 85888 85887 85474 85475 85476 85881 85258 85366 85256 85369 85255 85257 85370 85254 85252 84049 84044 84051 85251 85365 84046 85367 87986 87991 87982 87984 87977 87983 87987 87990 87989 87988 87978 84045 85253 85371 85284 85404 85403 84032 84001 84000 85169 85882 84132 85075 84136 84715 84894 85081 84131 84094 85076 85078 84714 84713 84716 84718 84098 84099 84135 84095 84711 84892 85082 84897 84137 84893 85080 84101 84712 84100 84138 84134 85079 84076 85077 84993 84994 84124 84815 84077 84125 83638 83815 83147 81302 84630 84629 84330 84332 84329 84178 84220 84334 84437 84182 84218 84602 84598 84439 84441 84440 84442 84443 84438 84604 84177 84599 84215 84161 84597 84527 84436 84214 84323 84328 84208 84322 84327 84176 84717 84096 84816 84896 84601 84358 84179 84033 85283 84331 84175 84600 84333 84528 84219 85170 84180 84895 84133 84217 85372 84898 84047 84357 84603 85368 84899 84162 84216 84048 84097 84207 84050 84181 83760 83323 83651 81310 82985 82987 82986 82974 82989 83986 82973 81309 82988 81303 83969 83413 83420 83419 83412 83421 81304 83283 82972 88148 88145 88163 88147 88142 83987 82984 88149 88153 88146 88170 82971 88156 88151 88159 82508 82509 82679 82678 82534 83269 82784 82809 82629 83251 82630 82612 82698 82697 82808 74595 74594 74592 74590 74586 74587 74593 74591 74588 74589 74565 74570 74569 74567 74568 74566 63313 63099 63216 62784 62887 63419 62808 63624 62626 62809 60947 62627 63598 62603 63074 62906 62905 63234 63312 63397 63561 62960 62984 63562 62985 63098 62959 63288 63599 63540 63396 63235 63625 63418 62783 61189 60957 61294 81477 69772 70412 69572 69862 70185 70023 70206 67735 70076 69414 69415 70022 70100 70413 69675 70349 69886 70101 69596 70387 69694 70386 69773 69748 70207 70328 69597 69693 69887 70004 69391 70350 81467 81473 81469 81460 81474 81465 81462 81466 81463 81459 81453 81464 81471 81470 81475 81472 81476 81468 81454 76864 76810 76811 76674 76994 76863 76536 76675 76889 76561 76973 76888 76995 74546 74550 75708 75966 75980 75982 75709 75967 75819 75981 75818 75817 75710 75965 75806 83493 83492 83868 83867 81456 81455 81450 81461 81457 81452 81451 76179 77137 76384 77116 76463 76385 76792 77201 74523 76481 76482 77175 77138 77200 77174 76360 76202 76650 76560 76203 83949 75695 75694 75693 81654 82912 83093 82419 82420 82395 82890 82913 81655 83092 83070 81653 82533 83270 76972 76359 76535 70420 70419 76260 76460 76636 76277 76079 76444 76620 76261 76081 76262 76443 76621 76619 76094 76445 76080 76092 76634 76458 74888 74902 74889 74901 74900 76459 74786 76635 74887 75503 76276 75514 74512 75501 76275 74803 75515 74788 74802 74801 75502 74787 74513 75516 76093 76734 76748 75558 75804 75597 75805 75543 75545 75598 75544 75557 75596 75556 76912 76746 76898 76747 76911 76913 76897 76735 76896 76733 75581 74549 75583 74548 75582 74785 69571 69747 70184 70075 76943 76945 77092 77094 77093 76944 76929 76930 76304 76305 75996 76021 75909 75841 70218 70270 70037 69998 69971 70272 70242 70064 70245 70067 70066 70039 70243 70068 70065 69997 69995 70293 70241 69996 69994 70244 70053 70054 69923 69924 69925 69986 69987 70297 70294 70378 69900 69928 69922 69927 70295 69917 70234 70374 69902 70296 70379 70286 69926 70375 69916 70377 70366 69803 69786 67977 70220 69811 69810 68082 69812 69973 69814 70376 69802 69788 69813 75632 75631 76124 76102 76914 77108 77107 77109 76895 76892 74866 75891 76125 75721 75890 74867 74865 75824 75842 76020 76282 75746 75910 75607 75720 75745 70380 70381 68079 68078 81022 81023 81021 81006 81007 81008 81009 76732 77091 70285 70233 69556 69554 69552 69530 69553 69555 81038 81037 72008 72140 72010 72142 76825 76690 76854 76716 76786 76853 76602 76576 76713 76783 76598 76600 76784 76714 76856 76574 76761 76782 76852 76855 76688 76601 76712 77006 76599 76785 76715 76759 76827 81029 81031 81034 81033 81030 81035 81036 81200 81201 81198 81195 81199 81202 81203 81196 81190 81189 81194 83303 77165 76704 77029 76842 76705 77162 77167 77166 76774 76590 76775 77074 77085 77060 77058 77033 77082 77032 77081 77163 77030 77083 77031 77084 76591 77022 77164 77008 74541 74765 76711 77169 74533 74545 74540 74870 77168 76710 76197 76198 76201 76184 74522 74521 76196 77181 76186 74515 76183 76200 77199 77027 77079 76597 77028 74514 77198 76185 76199 81383 81353 76851 76781 77080 76596 77161 81382 81379 81378 81380 81381 81375 81376 81377 81374 81369 81366 81367 81368 81370 81361 67747 67746 76426 76239 76242 76232 76231 76238 74869 76850 76420 76421 76422 76423 76415 76398 76218 76240 76216 76243 76400 76241 76425 76424 81357 81354 81355 81373 81371 81358 81364 81360 81365 81372 81363 81356 74254 74236 74261 74267 74251 81359 85138 85160 85136 85162 85152 85159 85161 85163 85158 67748 74220 74219 74218 74234 74221 74235 81556 83297 83308 81557 83306 83305 83304 81671 81668 81665 81667 81670 81669 64840 65175 64815 65174 65065 65292 65314 64583 64954 64953 65150 65313 65064 64584 65291 65149 64188 63720 65447 64275 64760 64381 64300 63910 63721 64929 64299 64664 65046 63886 65403 64024 64121 64663 64120 64638 64814 64482 64481 65474 65448 64170 64742 65424 64761 64025 64000 64839 63653 65473 65425 64639 63911 64403 64404 64458 64189 63719 64103 64561 62005 67447 61313 61311 61312 67445 61925 67432 61324 61325 67430 60936 62006 62007 61940 67431 62882 62700 67433 61939 61926 60973 62119 67446 61225 62130 61226 62118 61326 60972 61927 62883 62699 62117 60937 61938 62129 77207 77208 78798 78928 78796 79094 79093 79092 78930 79095 83307 83281 83833 81565 83831 83710 83711 83511 83745 81551 83514 81332 81564 83753 87823 83510 81331 83513 83748 81568 83517 87822 83752 83713 87818 83747 83314 83750 83712 83512 83705 83398 83709 83400 83516 83830 83829 83746 81563 83401 83428 87820 81297 83714 83402 83515 87819 83429 83397 83828 81567 81552 81569 83739 83403 83749 83706 83716 83834 83396 87821 83743 83738 87824 81570 83744 81566 83315 83715 81298 83827 83832 83399 63287 63588 63639 64479 65471 65472 63646 63651 63652 64475 62420 62548 61289 62056 62728 62265 62445 62315 62314 62169 61291 62333 62444 61290 62145 62248 62526 62706 62031 62144 62055 62729 62266 62170 62549 62334 64464 64463 64477 64480 64476 64465 64478 64462 65454 83074 63024 63136 63000 63025 63135 63023 63137 83131 83390 83106 63022 62998 63134 63138 63026 63453 63497 63446 63505 63482 63445 63506 63456 63432 63455 63430 63724 63654 63670 68081 69992 68080 70062 69809 69808 70292 70291 69993 70240 70239 70063 63265 63266 63140 63590 63208 63586 63278 63276 63249 63279 63589 63128 63129 63591 63209 63183 63114 63207 63139 63251 63185 63014 63210 63198 69634 69635 69612 69637 69638 69636 69610 83075 83077 83121 83388 83088 83389 83364 83378 83091 83385 83076 83104 83090 83387 65393 65257 65282 65284 65283 65281 65280 65370 65394 65395 65397 65396 65259 63484 63280 63457 63206 63507 63112 63277 63578 63509 63454 63508 63015 63587 63199 63498 63593 63592 69528 65099 64881 65076 64880 64853 65186 64993 65213 65101 65100 64995 64991 65102 64967 64877 65214 65212 64878 65210 64994 64879 65211 64992 65103 64990 64989 63952 63943 63951 63947 63949 63946 63950 63945 63674 63944 69728 69707 69732 69721 69544 69551 69550 69545 69452 69453 69428 69455 69451 69454 68932 68077 69233 68819 69102 68843 69122 69517 68844 69053 69494 69121 68933 69516 69337 69232 69336 69036 69103 68957 69054 68958 69314 69208 83379 83089 83386 83130 83129 67745 70373 69374 69627 69626 69271 69269 68997 69268 69273 69246 69443 69444 69430 68973 69066 68880 68881 69089 68883 69086 68884 69090 65508 65507 65506 65505 65502 65504 69449 69632 69450 69633 69372 68987 69727 69366 68874 67765 68873 69087 69149 68879 69155 69705 68998 69248 69720 69729 68995 69270 68996 69262 67981 69350 69731 69157 69148 68857 69158 69159 68737 69085 67979 69084 68988 68885 69135 69272 69378 67766 69263 69375 69726 69154 69079 69377 69078 69088 68882 69373 69274 68736 68999 68859 67764 69730 69160 67744 68738 68971 69352 67980 69367 68993 69133 68994 69156 69376 83128 64983 64870 64984 65078 64869 64855 65091 65092 65272 65273 65202 65386 65385 65203 64969 65372 71548 71530 71549 81032 77043 77042 77044 76961 76960 76959 77040 76962 77045 77046 76955 77039 74510 74509 77041 65501 65503 70255 70170 70138 70139 70252 70167 70171 70253 70133 74245 70251 67721 74248 70174 70137 70172 74246 70254 70169 67722 70140 70168 70256 70173 74247 76958 76956 76957 63673 65493 65188 75979 75978 75977 75699 75698 75707 75816 75814 75807 75970 75971 75815 75808 64703 64705 64518 64521 64522 64520 64702 64519 64677 64701 64704 64511 64497 64510 64495 64679 64693 64694 64597 64620 64595 64619 64623 64621 64622 65098 64618 64517 63940 65391 63941 65392 64699 65278 65209 64700 64876 63723 65208 65279 64612 78685 75706 78195 78198 78196 78197 78171 78173 78199 78188 78194 76341 76300 76316 76318 76287 76288 76339 76303 76343 76344 76342 76301 76340 76302 76286 76965 76964 76951 76950 76333 76289 78158 78157 78141 78144 78142 78155 78156 78143 78718 78923 78717 78924 78577 77923 78579 83132 83362 83127 78287 78104 78463 78462 78106 78461 78382 78285 78286 78289 78102 70134 70136 70135 70372 74243 74242 74241 70257 70258 74250 74249 74244 69512 69513 67753 69501 67757 69498 69514 69500 67752 69515 69499 76927 76926 76925 76924 76928 76922 76921 76923 70177 70129 70176 70163 70130 70162 76917 76918 78381 78465 78103 78687 77924 70976 70788 71192 71088 70812 70977 71371 71372 71169 70699 70509 70891 71349 70698 70813 71063 70909 71087 71191 70908 70958 70508 70674 70507 67572 67569 67570 67554 67575 67556 67561 67555 67573 67576 67571 67574 67557 67568 67567 67558 70787 70957 76723 76726 76252 76253 76068 76436 76075 76071 76254 76438 76433 76725 76250 76074 76611 76069 76255 76435 76722 76727 76256 76609 76614 76613 76615 76437 76073 76070 76251 76432 76430 76610 76431 76434 76607 76249 76527 76608 76729 76247 76526 76248 76728 76606 76724 76439 76612 76072 71897 72307 70443 70444 71585 71562 71584 71587 71586 71583 71229 71231 71207 71232 71233 70450 71560 71576 71205 71230 71582 76172 76173 74544 75986 76351 74543 75987 76640 76350 76641 78495 78496 78028 78206 78616 78027 78205 78615 77842 77212 77841 77213 72305 72306 71675 70473 70475 70468 71677 70471 70472 71789 70474 70469 70470 71791 71409 71385 71383 71408 71411 71410 71407 67466 67448 67473 67463 67479 72136 71827 72135 71930 71929 71828 72304 71593 71594 63986 63978 64249 63970 63968 63959 63838 63957 63969 63977 64257 64079 63839 64258 63958 63993 63967 64250 71400 67654 67657 67643 67655 67656 67648 71406 67667 70449 71222 71228 74585 74580 74583 74584 74582 74579 74577 74581 74576 67734 70410 67932 67934 67917 67921 67910 67916 67930 67908 67924 67906 67928 67912 67905 67927 67922 67931 67925 67929 67911 67913 67914 67919 67918 67915 67909 67923 67920 67907 67933 67926 69410 69398 74571 70393 69413 69396 69395 69411 67733 70411 69397 74575 74572 69409 74573 69408 69412 67727 74578 71501 63992 63994 63966 63964 63954 63955 63956 63844 63953 63856 63991 63855 63842 63843 63990 63633 63634 63638 65524 65353 65224 65227 65225 65223 65357 65226 65355 65520 65521 65523 65522 65359 65525 65221 65356 65358 65500 62849 62847 62663 62640 62846 62666 62642 62848 62665 62655 62824 62839 62838 62667 62822 62656 62850 62664 71318 71497 70562 70561 71498 70556 71499 70560 70557 70559 70558 70555 56790 56796 56797 56798 64894 64892 64717 65112 64718 64893 64716 65115 64714 64890 65002 65116 64715 64891 65007 65004 65005 65110 65008 65113 65006 65114 64888 64712 63985 67645 67647 60678 60660 60691 60675 60685 62767 62768 62742 62765 62766 62764 62740 60965 60969 60964 62713 62724 62725 62726 62711 62712 62727 62710 55939 55938 55925 55937 55923 55922 70425 70456 71708 71707 70424 70548 70549 71418 71240 71239 71417 60938 62624 62609 62607 63605 62625 60939 62620 62621 62608 60946 63622 62623 63623 60945 62622 62610 63504 61292 63503 61293 63452 63275 63020 63274 63451 63205 63021 63585 63204 63584 64169 63999 55924 55936 62757 62762 62756 62763 62662 62845 62844 62661 56728 56729 56745 56730 48652 48653 48444 48446 48445 71899 65003 47360 47361 57029 57984 58008 57286 57030 57180 58007 57176 57179 57285 57182 57287 57288 57178 57290 57291 57181 57289 54437 56272 54424 54438 56382 54421 56384 56383 56369 56371 56370 56270 54439 54423 54422 56271 56548 56532 56533 56547 56534 56549 49467 49469 49468 48391 48393 48405 48404 48406 48429 48554 48431 48430 48541 48543 47397 47396 48542 48392 71368 71356 71367 71370 71354 71355 71353 71316 70457 57177 58101 58017 58018 58213 49940 47633 71369 57925 57560 57742 57376 57375 57171 57452 57205 57206 57450 57170 57009 57010 57284 57447 47649 47750 47748 49759 49760 49791 48363 48349 49792 48941 49306 47650 47736 48364 48351 47735 47749 49124 49595 49123 49594 49307 48362 48350 48940 47737 49957 49941 49942 57451 57446 57448 57449 57175 57445 57559 57921 57664 58132 57842 57478 58131 57663 57841 57923 57738 57739 57477 57740 57922 58099 64711 48553 64582 64565 64567 64580 64581 64568 64566 64579 65111 65109 65220 64713 65222 65352 63732 63735 63736 63731 63733 65354 65001 63737 63734 64629 65141 65347 64887 64806 64885 63637 64886 63713 63712 64630 56256 56255 56257 54185 55218 54184 55217 56744 55219 56743 65040 65518 65348 65519 65039 65516 65517 65142 54202 54231 54219 54206 54212 54211 54221 54222 54209 54229 54218 54203 54207 54217 54208 54214 54226 54224 54204 54230 54223 54215 54216 54227 54205 54220 54213 54225 54201 54228 64919 50944 51127 50934 51118 50945 50935 51129 51101 51103 50508 50507 50919 50943 50259 50300 50301 50248 50260 50261 50286 50247 50246 50299 50284 50285 51924 60659 60657 60644 60643 60658 51124 50068 56858 57674 56864 57675 57688 57676 57692 57689 57677 56863 58683 54092 60645 60642 63730 63636 64920 50067 60996 61018 61000 61016 60991 61013 60990 61019 60997 61014 60994 61017 60989 61002 61015 61003 60992 61012 61005 61011 61009 61008 61007 61001 61010 60995 61006 60993 61004 57687 57691 58666 57690 58684 50946 51125 50921 51128 28802 28786 28787 28828 28825 28773 28770 28771 28827 28826 28824 28785 27024 27029 28800 28784 28772 27025 28823 29414 29398 29577 29413 29578 29429 29576 29593 28760 29230 29381 27999 29396 29217 28944 29380 29103 29104 29218 29395 28761 27987 27998 29118 27986 27287 28927 29231 29120 27985 29105 29382 29219 29232 28000 29119 27285 28759 28928 27286 29397 28929 29428 29591 29427 29592 27272 27269 27270 27271 29506 29505 29558 29646 29638 29644 29648 29557 29645 28565 28744 28745 28564 28746 28578 28563 26876 26875 27385 26855 28942 28576 28189 27384 26854 27371 28288 28577 27372 27373 28943 29081 27033 29334 29075 29195 29326 29564 29512 26996 28177 29335 29511 29259 29188 29563 28817 29074 27353 29194 29264 29258 29265 29189 29080 27352 27032 29325 26997 28289 28190 27386 64805 64889 50941 51126 50942 47270 47304 47269 47310 47294 47280 51766 51764 51865 51866 51767 51864 51765 56874 57548 57552 57553 57551 57542 54242 54248 54247 54243 54246 54252 54244 54251 54249 54250 54241 54239 54240 54245 56873 57276 57550 57439 57278 57434 57414 57525 57549 57277 57435 57428 57275 57252 57274 57412 57438 57437 57273 57527 57436 44824 58006 57986 58011 58010 58000 58009 57250 43621 43282 43287 43288 43286 43285 45008 44259 44256 44257 44258 44255 44233 40927 42541 41692 42342 40925 42184 41901 41902 40926 41667 42162 42523 42364 42365 42542 42185 41691 41884 27072 27063 27065 27074 27068 27077 27071 27049 27060 27078 27053 27076 27054 27064 27069 27066 27073 27061 27075 27067 27079 27070 27057 27059 27052 27050 27056 27055 27062 27051 33840 33838 33850 33839 33845 33844 33843 20268 20269 20274 20265 20266 20261 20263 20264 20262 20291 20267 43291 43292 43441 22857 6841 4536 6835 6848 6849 6844 6850 13564 6853 6851 6852 3160 6837 6834 6839 6840 6843 6842 6845 6847 3063 13565 6832 6846 3159 6833 6838 36453 36470 33794 33787 33786 35472 35471 35473 35455 43227 43226 43225 43223 40825 40593 40930 43093 43090 43068 43120 43066 43089 43092 43091 43118 43141 43142 43144 43143 43145 34853 35253 35086 35079 35078 35249 34970 35250 33821 34855 35088 35089 35239 33818 34978 34817 34869 35238 34966 35077 34830 35243 35237 34967 35242 34980 35251 35076 34971 34816 34982 34828 35091 34815 34868 34870 35252 35254 33822 34829 35080 34981 35090 33785 35087 34854 34979 33793 36471 35470 35469 35456 35457 35458 47450 47449 47446 47467 47471 47466 47473 47465 47447 47470 47468 47472 47448 47469 47458 47461 47453 47451 47452 47459 47456 47457 47462 47464 47460 47463 47455 47454 47430 47417 47440 47439 47437 47441 47438 47435 47429 47427 47424 47428 47433 47432 47425 47431 47434 47442 47436 47418 42485 42842 42486 42658 42774 42661 42660 42460 42634 42483 42636 42750 42775 42482 42662 42659 42819 42484 42772 42458 42773 42821 42776 42748 42845 42912 42844 42843 42887 42885 42846 40557 40560 40553 40555 40556 40558 40554 40552 40559 47415 47416 47414 47423 47419 47420 47421 47426 40551 40562 40563 40564 40565 40566 40561 40463 40465 43576 43577 43309 43359 40484 40401 40504 40490 40489 40488 40505 40483 40464 40491 42278 42302 42299 42303 42300 42276 42301 42957 42956 43082 43081 42913 42974 42958 42914 43134 43133 43005 42916 42989 42915 42990 42973 42902 42901 42764 42520 42650 42680 42795 42475 42834 42679 42835 42519 42696 42808 42765 42651 42518 42335 42794 42793 42504 42681 42336 42337 42505 42695 42694 42503 42320 42321 42474 42322 43228 43229 44115 44116 44100 44114 44101 44099 50673 50674 50519 50518 50517 50680 50511 50510 50681 50682 44098 44927 44113 44571 44587 44586 44588 44569 44585 44572 44570 45160 45161 45159 45157 45156 45158 45154 45153 44625 44626 44714 44895 44231 44749 44863 44750 44859 44991 44860 44861 44748 44862 44752 44989 44857 44746 44751 44992 44994 44993 43298 44675 44676 44778 44777 44995 44990 44747 44858 44745 44856 44988 43269 43270 43274 45140 45141 45142 45138 44642 44643 44641 44644 44637 45143 45144 43805 43635 44201 44218 44216 44202 44204 44217 44203 45137 45107 45108 44215 44330 44339 44340 44337 44313 44338 44341 44315 44081 44079 44080 44077 44078 44055 44053 44154 44157 44156 44147 44158 44155 44131 44133 43700 43698 43674 43852 43975 44433 43699 43973 43860 43966 44434 43861 43838 44669 44431 44432 43863 44424 43836 43701 43977 44248 44336 44512 44254 43859 43858 43949 44410 43702 44408 43974 43951 43697 43676 44070 44915 44076 43297 44430 44844 44845 44914 45027 44435 44734 45028 43862 43976 43368 44640 44638 43370 44530 44527 43372 44353 44524 44528 44351 44354 44352 43371 44526 43367 44349 43369 44350 44529 43373 43322 44348 43873 43989 43323 44523 44169 43407 43321 43318 43405 43409 43316 43714 43987 43985 44167 43713 44441 43984 43988 43870 43983 43319 43711 43986 44165 44442 43320 43990 43872 43410 44525 43712 43874 43406 44170 44639 44164 43875 43709 44168 43601 43486 43447 43487 43452 43488 43599 43451 43710 43489 43871 43317 43869 43708 43450 43490 43448 43449 43902 43304 43901 43305 44166 43408 44347 43404 44171 43366 43403 43769 43788 43792 43782 43793 43562 43791 43560 43789 43584 43790 44153 43691 43396 44556 44555 43273 44265 43272 44088 43349 44087 43348 43397 44266 44668 43972 43440 47255 56061 56051 56059 56034 56050 56058 56060 56062 56036 50593 50423 50991 50992 50990 51004 51005 51006 51045 51019 51043 51021 50989 51046 51042 51003 51047 51044 45105 45106 45136 45090 45092 57368 57369 57017 57159 57160 57364 57358 57345 57161 57365 57162 57163 57138 57164 57367 57136 57366 57267 57016 57153 51036 44984 44983 41875 41867 42027 42025 42041 42042 41768 41758 41878 40606 40610 41770 41876 41769 42040 41759 41767 41877 41868 42030 42037 42039 42031 42038 41874 41879 41866 42026 56056 56057 51534 51565 51777 50056 51537 51539 51781 51533 51645 51772 51941 51536 51771 51944 50055 51650 51778 51942 51647 51946 51779 51948 51949 56834 56835 56817 51463 51464 55879 55867 55868 55877 55854 55876 55878 55875 55852 50191 51318 50954 50155 50160 50111 50108 50193 50156 51316 50110 51317 50107 50953 50956 50195 50776 50106 51314 50959 51430 50198 51312 51428 51429 51315 51142 50773 50952 50109 50104 50157 51313 51139 50192 50775 50161 50197 50774 50196 51427 51135 50154 50194 50777 51425 50771 50955 51311 50778 50159 51426 50158 51141 51431 50958 50957 51137 51432 50772 51138 51230 51229 50105 55874 55819 55820 55822 51940 50060 51344 50875 50137 50093 50092 50690 50689 51054 50061 51343 50185 50184 51053 50876 50136 56893 56895 56897 56896 56894 56898 56899 57066 57065 57064 57024 57027 57068 57055 57028 57067 57063 57026 57056 57025 57023 57062 54151 54157 54150 55836 55835 51136 51140 56881 56849 56880 56848 56892 42292 42291 42139 42140 42141 42154 55821 55834 54158 55832 55833 55837 49956 49955 53855 53870 53857 53856 53871 53869 53854 49033 49046 49047 49049 50029 49031 50047 50046 47370 45152 33812 33813 33817 35468 49631 50016 49701 49422 50014 50015 49930 49929 49702 49932 49878 49854 49933 49673 49446 49630 49607 49703 49881 50011 49880 49449 49448 49560 49536 49931 49704 49634 49633 49564 49447 49563 49632 49879 49906 49561 49562 50013 49450 49877 49700 50017 49856 50012 49538 49675 49558 49908 49559 49424 47718 47381 47613 49438 49869 49622 49870 49623 49552 49689 49439 49553 49922 49690 49921 49609 50002 50010 41864 41865 41616 41618 41604 41617 41603 41605 41656 41657 41658 49045 47369 49032 49048 49034 43004 42806 42807 43152 43169 43168 42971 40861 43167 43003 43154 42972 40862 40863 43153 42152 42153 40846 40845 40848 40847 43222 43214 42771 42770 41643 41641 41642 41561 40949 41574 40948 41562 41576 40962 41575 41563 40947 40961 40960 47363 49044 54190 54171 54170 56155 56145 56154 56156 56131 56153 56152 56144 55798 55776 55774 55800 55801 55799 41766 47081 47083 47082 40573 40609 40608 47069 41753 41754 41765 41755 40572 40594 40595 40614 43221 42298 43087 42840 43088 42841 40928 43139 40929 42910 42480 43220 42911 42297 42657 43140 42656 42481 56129 54405 49087 49273 49274 49089 49248 49263 49270 49246 49088 49079 49090 49271 49080 49272 49262 49066 49091 49064 55802 36491 36492 54172 49166 49189 49192 49164 49191 49188 49190 36724 36723 36725 36639 36672 36683 36626 36710 36709 36628 36685 36708 36640 36684 36641 36670 36627 38288 38290 38289 38191 38188 38190 38189 36671 54404 54168 55790 55797 56150 54189 55796 56151 54188 54167 54403 55791 49086 49269 49268 49180 49699 49181 49629 49628 49876 49928 49085 49444 49927 49445 50008 50009 47716 49187 49698 47717 49875 49186 22477 22788 22610 22442 22804 22429 22609 22803 26718 26719 26717 22858 22717 22850 22770 22537 22769 22538 22718 22316 22317 22401 22400 22293 22292 20498 21513 21510 21515 21514 21511 22287 20067 20066 21389 21401 22546 22776 22286 21198 22856 20565 21788 21777 21661 21776 21677 21973 21956 21673 20088 21971 21402 20087 21662 21972 20208 21394 22547 22724 21503 21789 20564 20584 21390 21210 21395 22139 21675 22775 22723 26705 21405 21212 20585 22431 20598 21676 22156 21197 22790 22608 21957 21790 22155 22444 21678 22154 22593 22626 20583 20597 21403 22789 21199 22443 22594 21663 21958 21512 20497 22140 21501 22592 20596 22625 22641 21666 21775 21502 21674 21504 21406 21667 22639 22805 21391 22430 21211 22640 22607 21500 20209 22141 21404 30319 30147 30049 30305 30144 30320 30317 30038 30047 30153 30306 30157 30143 30318 30146 30048 30316 30158 30154 30321 30156 30037 30155 30145 30304 30046 30309 30310 30044 30034 30033 30045 30032 26871 26874 26872 26873 26940 30535 26939 13662 20301 20296 20295 20294 20300 20305 30433 29704 30601 30418 30432 29703 30599 29690 30419 29689 30420 30600 31403 30431 20299 22905 22906 22910 34161 35547 35532 35731 36186 34174 36216 36202 35549 36184 36183 35352 35365 34159 35893 35906 35716 35353 35364 36020 34773 36170 35908 36169 35366 34074 34786 35891 36006 36217 36007 35732 36168 36018 34774 34788 35715 35534 33820 36215 35548 36365 35730 36381 36380 36364 36379 36366 33784 35907 36185 34073 36201 34075 35717 36019 34160 35533 35892 34172 34775 34977 35351 34787 34173 36005 34965 47109 40293 40295 47102 47115 33604 47099 40311 40392 33539 40294 40327 33605 47180 40296 33526 33508 40393 40321 33533 47181 33523 47084 40314 34059 34060 34057 34058 40280 40281 40279 40278 28908 28910 28884 28907 28727 28906 28909 28726 28702 28723 28882 28700 28724 28725 30229 30334 30060 30230 30059 30335 24374 24484 24263 24267 24264 24777 24371 24665 23977 24373 24372 24642 24149 24125 24482 24556 23769 23791 24152 24241 23976 24529 24350 24669 24485 24239 24667 24127 24644 24774 22942 23794 22996 23975 24150 24153 24151 24266 24531 23974 24666 23767 22926 24668 23949 24458 24265 23793 24460 28898 28899 28715 28716 28905 28904 28721 28722 23052 23013 24011 23995 24286 24409 23994 24393 24298 23051 24285 24518 24186 23026 23028 23050 23015 24590 23644 23812 23996 23827 24611 23027 23826 24010 24392 24185 24609 24299 23828 23064 24284 24407 24503 24504 24592 24009 23063 24505 24610 24517 23813 24516 24394 23811 24297 24187 24408 23643 22980 23065 23645 23014 24591 22963 22964 22962 22965 24657 24261 24658 24475 24474 24773 24544 24364 24552 24483 23792 24778 23951 24553 24779 24545 24555 24765 23973 24780 24363 24554 24776 24375 24262 24348 24486 23790 21587 21586 21692 21416 21417 21691 6876 6869 6877 6866 6875 6873 6880 6868 6874 6881 6870 6884 6879 6883 6871 6878 6882 6872 35588 35590 35616 35613 35614 35612 35615 23532 23533 23517 23531 23370 23369 23245 23246 23358 23250 23365 23257 23256 23518 23529 23249 23260 23261 23747 23359 23356 23516 23522 23521 23367 23528 23366 23530 23258 23244 23357 23368 23259 23355 24739 23625 23623 23621 23624 23622 23626 23966 22979 22901 22978 22902 23632 23630 24170 24171 24172 23631 26860 26861 26933 26932 26859 24615 24712 24714 24713 24775 23782 24141 23783 24256 24142 24255 22919 24480 23971 24664 24772 24148 24147 24963 25543 24927 26490 24914 26404 26416 26491 24913 26417 24880 26614 24865 26184 26086 26185 26418 26308 26087 25544 26186 24952 26307 26292 25894 25896 24879 24950 24878 25545 25712 26072 24915 25895 24864 26293 26294 25727 25911 26612 26197 24926 26070 24951 26309 24965 25713 24863 26492 26199 24964 25726 25910 26510 26509 25711 26613 25909 26511 26085 26405 24481 23972 22995 23789 22994 24551 24550 24771 24663 25255 25417 25531 25145 25433 25160 25431 25270 24802 25161 25530 26515 25432 25416 25146 25418 25269 25144 25257 25159 25256 24801 25268 25532 26071 26403 24928 26198 25728 35694 35515 35490 35698 35672 35697 35695 35514 35513 35488 35670 20352 20353 20442 20420 20335 20429 20434 20337 20340 20339 20427 20433 20342 20350 20344 20439 20437 20341 20349 20347 20436 20430 20449 20345 20447 20421 20425 20448 20440 20435 20431 20426 20348 20446 19398 19409 19410 19617 18076 19504 19616 19505 19703 19397 19519 19299 19298 18075 19702 19506 19411 19825 19396 19723 18077 19704 19297 18074 19521 19615 19826 19520 18092 18090 19824 18091 19630 20343 20445 20346 20441 20432 20428 20438 20423 20351 20333 20334 20444 20338 20422 20443 20424 25259 25428 25421 25158 25149 25430 25266 25157 25150 25265 25422 25156 24862 25258 25429 25267 20332 20325 20327 20328 20331 20326 20330 20329 20336 35982 35983 35512 35511 35696 33493 33507 33505 33506 13520 7492 13519 13525 13515 13521 13524 13514 13523 13516 13522 13518 13547 13549 13553 13552 13556 13545 13546 13550 16191 16277 17716 17619 17024 17717 16238 17804 17604 17621 16262 16227 17728 17399 16190 17510 16264 17382 16225 17222 16275 16263 16239 17384 16226 17040 17023 17398 17383 16192 17729 17207 17221 17803 17206 17039 17496 17208 17498 13551 13554 13555 13557 13558 13559 13560 13561 13563 13562 20324 35692 35504 35510 35687 35693 35686 35503 34141 34140 36300 35862 35977 35976 35868 35863 36433 35869 36122 36352 36123 36299 36053 36351 36052 36432 36426 36346 36113 36434 36114 36345 36047 36046 36294 36293 35604 35610 35605 35611 6891 3038 13541 6290 5866 5752 5695 3177 3175 5640 5796 5216 5797 5215 5867 6098 6291 6447 6403 3176 6448 6234 6099 5865 5583 6402 6347 5696 5751 6235 6346 5639 5214 5448 5447 5584 9953 6648 6646 6629 6651 6634 6649 6635 6636 6630 6650 9942 9955 6647 9954 9941 9940 9952 13503 13527 13532 13530 13529 13528 13533 13526 13531 13509 13517 13510 16472 16473 16741 16734 16571 17823 16458 16740 17821 16570 16470 16745 16843 16743 16114 16461 16568 17925 16457 17924 16744 17822 16577 16580 16855 16582 16113 17620 16471 16742 16842 16733 17025 17223 17509 17827 16276 16729 16730 16857 16456 17715 16469 16581 17926 17802 16856 16240 16468 17511 17606 17397 16578 16567 17730 16569 16462 16844 17605 17497 17038 16579 16728 16174 16176 16175 16177 825 826 829 828 824 827 3158 13543 13542 13538 13539 13537 13540 13548 13544 15641 15642 15805 15853 15643 15804 15838 15656 15822 15821 15837 15806 42198 42226 42200 42225 42224 42223 1581 1582 10 1772 1580 1579 1578 1576 1367 1646 1573 1362 1364 1366 1365 1359 1361 1771 1770 1356 1358 1153 1583 1142 1145 1150 1148 1152 1144 1151 1147 1707 1702 1696 1354 1703 1695 1693 1699 1700 1332 1697 1706 1698 1155 1355 1705 1694 1701 1704 1757 1769 1369 1546 1758 1761 1756 1764 1569 1766 1767 1568 1357 1360 1363 2121 1584 1642 1640 1633 1645 1636 1637 1634 1140 1571 1574 1368 1567 1577 1370 1641 1635 1644 1139 1353 1762 1759 1765 197 203 201 1575 1570 1760 1631 1632 1028 1643 1639 1708 1572 1638 1755 1763 851 1141 1773 3034 3035 3036 3033 79 181 3151 3154 3146 3155 3126 3149 3145 3127 3130 3148 3150 3129 3128 2336 2338 3147 2339 2337 3153 3152 3037 3026 3060 3028 3061 3062 3046 3047 3044 3048 3027 6828 3057 3056 3059 3058 3055 6830 6829 6836 6831 6827 6826 6825 6824 6823 3084 3087 3089 3088 3090 13478 13477 3083 3086 3085 3091 42215 42214 42220 42221 42222 40613 40612 20073 20071 20086 20072 20085 20083 20084 175 126 173 196 194 15 176 174 193 186 195 15819 15852 15851 15655 15820 15654 9064 8866 8739 8740 8741 13513 13511 13512 6865 6864 6855 3125 3156 3157 6982 6984 6983 6987 6986 6988 6856 6857 6862 6863 6867 6858 13506 6985 13507 13508 6979 6951 6861 6859 6860 3032 2835 6954 6953 2124 6955 6952 6890 2340 6956 3031 9301 19727 19629 18140 19107 18633 18477 19108 18361 18125 18370 18924 18756 18925 18175 18177 18938 18743 18164 18163 18471 18139 19121 19722 18643 18755 18640 18013 18481 18468 19122 18480 18482 18369 18634 19628 18368 18744 18126 18127 18014 18479 18641 18757 18176 18644 18628 18162 18138 18742 18469 18478 18467 18940 19284 18630 18642 18358 18372 18356 18373 18629 18362 18645 18923 19721 19106 18357 19282 18371 19123 19283 18939 18470 26745 26720 26816 26817 26735 26751 26738 19978 20028 20029 19971 19987 20027 19972 20011 16001 16002 16000 16017 19931 19929 19930 19917 16015 16016 13162 13175 13240 13241 13159 13144 13169 808 805 810 749 809 549 548 547 13486 13481 13479 13480 13476 2327 2328 2329 2326 3116 3119 3121 3114 3118 3117 3115 3120 3122 3124 806 172 169 184 170 185 168 128 130 187 188 171 807 124 121 123 192 122 191 81 83 125 3045 1768 3029 3049 74 179 180 75 36 76 26 78 77 3093 6886 6892 6888 6889 6887 13265 10235 9792 9437 9673 9789 9683 10236 11842 11853 11841 10832 9782 9325 9452 9487 9326 10250 10721 10055 9685 10237 9684 9779 10435 9780 10054 11039 9945 9682 10251 9439 9791 10069 9451 10056 2330 10434 9488 10419 10418 9668 9946 9475 9674 10722 9681 9669 11852 9476 11854 9790 10433 9438 11034 11033 10940 9450 9680 9783 9474 9794 9793 9781 9402 9403 10941 10595 10596 10067 10831 9489 9670 9956 10068 10252 9957 10594 10420 3064 3065 3092 748 745 747 746 3066 3068 3067 2310 2312 2311 2309 204 202 211 200 3096 3123 3099 3097 3095 3098 3161 44979 12939 1146 8116 11574 6511 6474 11573 11570 11569 11568 12933 11303 11302 6213 6708 6707 5769 5824 12934 1156 11692 6214 6616 6421 6326 6271 4909 6270 4994 11690 11682 11681 11691 11585 11845 11846 12732 12731 11581 9866 2320 9281 8541 8710 8711 8716 8352 8351 8316 1149 5731 5732 5089 5563 5619 6521 11580 5823 11689 9148 9695 6592 6420 6514 6527 11680 11683 12622 11679 11855 11856 11857 11954 11955 6714 4910 8717 11693 11694 11584 11583 9865 9696 11956 12621 11582 9199 9200 9280 5770 5126 6715 7841 7840 6382 6501 8357 1143 1154 850 852 45155 45139 6383 8825 8824 6475 6327 5620 5675 5676 8971 9147 8115 8011 8010 11840 11225 11226 11351 8358 8900 8901 8970 5562 8534 8535 8540 9970 9971 10171 6893 6894 6898 7126 7127 24370 13473 13474 13475 43224 43241  0
194.58/196.14	
194.58/196.14	c Core has size 13371

OK	13371

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

running on 2 cores: 4,6

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: 6.11 4.24 1.82 4/180 8353
/proc/meminfo: memFree=32135668/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=11804 CPUtime=0 cores=4,6
/proc/8353/stat : 8353 (runsolver) S 8345 8353 8293 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 1 0 915794695 12087296 50 33554432000 4194304 5436572 140736244999984 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0
/proc/8353/statm: 2951 50 31 304 0 2643 0

[startup+0.0530921 s]
/proc/loadavg: 6.11 4.24 1.82 4/180 8353
/proc/meminfo: memFree=32135668/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=11804 CPUtime=0 cores=4,6
/proc/8353/stat : 8353 (runsolver) S 8345 8353 8293 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 1 0 915794695 12087296 50 33554432000 4194304 5436572 140736244999984 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0
/proc/8353/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.101083 s]
/proc/loadavg: 6.11 4.24 1.82 4/180 8353
/proc/meminfo: memFree=32135668/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=11804 CPUtime=0 cores=4,6
/proc/8353/stat : 8353 (runsolver) S 8345 8353 8293 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 1 0 915794695 12087296 50 33554432000 4194304 5436572 140736244999984 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0
/proc/8353/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.301078 s]
/proc/loadavg: 6.11 4.24 1.82 4/180 8353
/proc/meminfo: memFree=32135668/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=11804 CPUtime=0 cores=4,6
/proc/8353/stat : 8353 (runsolver) S 8345 8353 8293 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 1 0 915794695 12087296 50 33554432000 4194304 5436572 140736244999984 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0
/proc/8353/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+0.701077 s]
/proc/loadavg: 6.11 4.24 1.82 4/180 8353
/proc/meminfo: memFree=32135668/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=11804 CPUtime=0 cores=4,6
/proc/8353/stat : 8353 (runsolver) S 8345 8353 8293 0 -1 4202560 41 0 0 0 0 0 0 0 16 0 1 0 915794695 12087296 50 33554432000 4194304 5436572 140736244999984 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 6 0 0 0
/proc/8353/statm: 2951 50 31 304 0 2643 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 11804

[startup+1.50088 s]
/proc/loadavg: 6.11 4.24 1.82 3/183 8356
/proc/meminfo: memFree=32133568/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=6100 CPUtime=0 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) S 8345 8353 8293 0 -1 4194304 96 0 0 0 0 0 0 0 16 0 1 0 915794695 6246400 48 33554432000 4194304 4365125 140734238332080 18446744073709551615 253635935879 0 2147483391 4096 0 18446744071699199166 0 0 17 4 0 0 0
/proc/8353/statm: 1525 48 37 42 0 44 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6100

[startup+3.10058 s]
/proc/loadavg: 6.11 4.24 1.82 6/183 8356
/proc/meminfo: memFree=32072472/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=49628 CPUtime=1.59 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 16854 0 0 0 158 1 0 0 17 0 1 0 915794695 50819072 8705 33554432000 4194304 4365125 140734238332080 18446744073709551615 4247612 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 12407 8705 262 42 0 9555 0
Current children cumulated CPU time (s) 1.59
Current children cumulated vsize (KiB) 49628
heavy processes:

[startup+6.30098 s]
/proc/loadavg: 5.94 4.24 1.83 7/187 8366
/proc/meminfo: memFree=31849664/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=89360 CPUtime=4.79 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 47802 0 0 0 474 5 0 0 25 0 1 0 915794695 91504640 16419 33554432000 4194304 4365125 140734238332080 18446744073709551615 4272002 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 22340 16419 263 42 0 19488 0
Current children cumulated CPU time (s) 4.79
Current children cumulated vsize (KiB) 89360
heavy processes:

[startup+12.7008 s]
/proc/loadavg: 5.79 4.23 1.84 7/187 8367
/proc/meminfo: memFree=31660084/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=89360 CPUtime=11.19 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 49343 0 0 0 1114 5 0 0 25 0 1 0 915794695 91504640 17191 33554432000 4194304 4365125 140734238332080 18446744073709551615 4262555 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 22340 17191 263 42 0 19488 0
Current children cumulated CPU time (s) 11.19
Current children cumulated vsize (KiB) 89360

[startup+25.5005 s]
/proc/loadavg: 5.39 4.22 1.87 6/187 8441
/proc/meminfo: memFree=31533376/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=89360 CPUtime=23.98 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 49927 0 0 0 2393 5 0 0 25 0 1 0 915794695 91504640 17483 33554432000 4194304 4365125 140734238332080 18446744073709551615 4242912 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 22340 17483 263 42 0 19488 0
Current children cumulated CPU time (s) 23.98
Current children cumulated vsize (KiB) 89360

[startup+51.1008 s]
/proc/loadavg: 4.91 4.20 1.93 6/187 8442
/proc/meminfo: memFree=31232668/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=111088 CPUtime=49.58 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 61947 0 0 0 4952 6 0 0 25 0 1 0 915794695 113754112 18818 33554432000 4194304 4365125 140734238332080 18446744073709551615 253640884119 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 27772 18818 263 42 0 24920 0
Current children cumulated CPU time (s) 49.58
Current children cumulated vsize (KiB) 111088

[startup+102.308 s]
/proc/loadavg: 4.40 4.17 2.04 6/187 8443
/proc/meminfo: memFree=31150296/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=113136 CPUtime=100.79 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 62204 0 0 0 10072 7 0 0 25 0 1 0 915794695 115851264 19075 33554432000 4194304 4365125 140734238332080 18446744073709551615 4272011 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 28284 19075 263 42 0 25432 0
Current children cumulated CPU time (s) 100.79
Current children cumulated vsize (KiB) 113136

[startup+162.301 s]
/proc/loadavg: 4.14 4.14 2.16 6/187 8491
/proc/meminfo: memFree=31328808/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=160.78 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 16070 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4258052 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 160.78
Current children cumulated vsize (KiB) 121308

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

[startup+179.101 s]
/proc/loadavg: 4.11 4.13 2.19 6/187 8491
/proc/meminfo: memFree=31227792/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=177.58 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 17750 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 177.58
Current children cumulated vsize (KiB) 121308

[startup+185.5 s]
/proc/loadavg: 4.09 4.12 2.20 6/187 8491
/proc/meminfo: memFree=31272924/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=183.98 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 18390 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4260915 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 183.98
Current children cumulated vsize (KiB) 121308

[startup+191.9 s]
/proc/loadavg: 4.09 4.12 2.21 6/187 8491
/proc/meminfo: memFree=31284276/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=190.38 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 19030 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 190.38
Current children cumulated vsize (KiB) 121308

[startup+193.501 s]
/proc/loadavg: 4.09 4.12 2.21 6/187 8491
/proc/meminfo: memFree=31289484/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=191.98 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 19190 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 191.98
Current children cumulated vsize (KiB) 121308

[startup+195.101 s]
/proc/loadavg: 4.08 4.12 2.22 6/187 8491
/proc/meminfo: memFree=31247076/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=193.58 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 19350 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 253640884119 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 193.58
Current children cumulated vsize (KiB) 121308

[startup+195.901 s]
/proc/loadavg: 4.08 4.12 2.22 6/187 8491
/proc/meminfo: memFree=31295064/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=194.38 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 19430 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4306794 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 194.38
Current children cumulated vsize (KiB) 121308

[startup+196.1 s]
/proc/loadavg: 4.08 4.12 2.22 6/187 8491
/proc/meminfo: memFree=31295064/32951124 swapFree=67060180/67111528
[pid=8353] ppid=8345 vsize=121308 CPUtime=194.58 cores=4,6
/proc/8353/stat : 8353 (MoUsSaka) R 8345 8353 8293 0 -1 4202496 63252 0 0 0 19450 8 0 0 25 0 1 0 915794695 124219392 20123 33554432000 4194304 4365125 140734238332080 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/8353/statm: 30327 20123 263 42 0 27475 0
Current children cumulated CPU time (s) 194.58
Current children cumulated vsize (KiB) 121308

Child status: 20
Real time (s): 196.147
CPU time (s): 194.633
CPU user time (s): 194.544
CPU system time (s): 0.088986
CPU usage (%): 99.2282
Max. virtual memory (cumulated for all children) (KiB): 121308

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

runsolver used 0.32695 second user time and 0.746886 second system time

The end

Begin job on node106 at 2011-06-14 10:59:00
IDJOB=3501419
IDBENCH=89963
IDSOLVER=2000
FILE ID=node106/3501419-1308041937
RUNJOBID= node106-1308041936-8312
PBS_JOBID= 13564709
Free space on /tmp= 74080 MiB

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

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

MD5SUM BENCH= 98f391ff900245a55ddb3f43fe3c0f0c
RANDOM SEED=156861592

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

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

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

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

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

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

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

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

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


/proc/meminfo:
MemTotal:     32951124 kB
MemFree:      32141412 kB
Buffers:        179884 kB
Cached:         412680 kB
SwapCached:      13076 kB
Active:         214308 kB
Inactive:       396892 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32951124 kB
LowFree:      32141412 kB
SwapTotal:    67111528 kB
SwapFree:     67060180 kB
Dirty:           24732 kB
Writeback:           0 kB
AnonPages:       15928 kB
Mapped:           9656 kB
Slab:           133692 kB
PageTables:       4636 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83587088 kB
Committed_AS:   160844 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= 74076 MiB
End job on node106 at 2011-06-14 11:02:19