0.00/0.02	c MoUsSaka with meat
6.09/6.19	
6.09/6.19	s UNSATISFIABLE
99.39/99.46	c Core is minimal
99.39/99.46	
99.39/99.46	v 72523 72524 90343 90342 108163 108162 90344 108161 108160 90341 72525 125982 72522 36887 19157 36884 19158 19159 19156 2 36886 36885 54705 54703 54706 38746 38748 38747 20950 20949 20948 125981 125980 125979 74384 74386 74385 56567 56566 56565 92205 92203 92204 110023 110024 110022 127842 127843 127841 143799 143800 161619 161618 161620 143798 143801 161617 179436 179439 179437 179438 145660 145662 145661 163479 163480 163481 181298 181299 181300 197256 197258 197257 199118 199117 199119 197255 215077 215074 215076 215075 216937 216936 216938 232896 232894 232893 232895 250712 250714 250715 250713 234755 234756 234757 252574 252575 252576 359592 359570 359574 359577 359575 359556 359593 359542 359540 359541 357625 359544 359469 359545 359547 359543 359546 359569 359611 359604 359609 359606 359610 359607 359605 359598 359595 359597 359596 359599 359600 359594 359620 359591 359617 359616 359579 359583 359601 359161 359535 359532 359533 359351 359361 359522 359517 359362 359514 359519 359360 359352 359354 359359 359518 232549 232548 232552 232547 232551 232550 250369 250366 250367 250368 250370 179090 179095 179094 179092 179091 179093 196913 196909 196912 196914 196910 196911 214733 214731 214732 214730 214729 214728 179432 161613 359573 161271 161272 161273 161274 161275 161276 359550 359551 359548 179431 179402 179404 179421 179420 179403 179426 179427 179413 179422 179419 179425 179401 179097 179411 179429 179430 179412 179423 179405 179406 179428 179414 179409 179408 179407 179418 179416 179417 179424 179410 179415 54361 54359 54358 54360 54357 36539 18612 36543 36544 36542 36540 36541 18613 18614 268188 268189 268190 268186 268187 268185 250371 359603 359516 359496 359356 359163 359164 359165 359588 359602 359618 359619 359558 359578 359557 359555 359554 359552 359515 359521 359520 161611 161587 161610 161583 161598 161605 161591 161603 161592 161604 161589 161608 161606 161600 161584 161596 161601 161586 161595 161607 161597 161594 161593 161609 161612 161582 161602 161590 161585 161588 161278 161599 89997 89998 89996 90000 89999 107816 107814 107817 107819 107815 107818 72180 72176 72179 72178 72177 54362 125635 125633 125636 125634 125637 125638 143455 143452 143456 143457 143454 143453 72181 143794 89995 143792 143779 143769 143793 143782 143780 143778 143791 143774 143790 143784 143787 143763 143766 143764 143768 143777 143770 143765 143771 143775 143772 143781 143767 143773 143789 143786 143459 143783 143788 143785 143776 125975 108156 36872 36876 36857 36854 36856 36849 36874 36867 36861 36850 36863 36852 36878 36864 36869 36879 36868 36855 36871 36880 36875 36860 36859 36865 36858 36853 36866 36873 36851 36546 36870 36877 36862 72511 72497 72490 72495 72496 72514 72513 72489 72509 72510 72517 72502 72499 72505 72500 72493 72508 72515 72488 72506 72501 72491 72507 72504 72494 72498 72518 72516 72492 72487 72183 72512 72503 54690 54681 54699 54694 54688 54677 54693 54671 54684 54695 54697 54364 54669 54692 54683 54686 54670 54679 54698 54673 54675 54676 54696 54672 54680 54687 54678 54685 54689 54668 54674 54691 54682 90337 90327 90310 90323 90324 90318 90313 90322 90331 90335 90307 90332 90320 90334 90316 90315 90328 90329 90308 90312 90321 90319 90330 90314 90309 90002 90306 90325 90336 90317 90326 90311 125964 125946 125640 125966 125961 125971 125957 125948 125968 125972 125958 125945 125956 125954 125967 125962 125969 125960 125955 125952 125974 125950 125963 125947 125951 125965 125944 125959 125953 125970 125973 125949 108154 108131 108135 107821 108128 108150 108142 108126 108134 108136 108145 108129 108149 108132 108147 108139 108143 108133 108144 108137 108153 108130 108127 108125 108155 108146 108148 108151 108138 108141 108152 108140 18782 18786 18778 18802 18783 18780 18787 18790 18799 18803 19153 18807 18797 18781 18616 18798 18788 18806 18789 18792 18785 18804 18779 18800 18784 18791 18805 18793 18794 18795 18801 18796 18808 54704 90333 286351 303825 303826 303828 270393 270395 286006 268534 286004 321643 321647 321646 304171 321644 321642 304172 306032 306033 321645 304169 304170 306031 268533 286007 286005 270394 288214 288212 268531 288213 303824 286352 286353 303827 303823 286350 268532 286009 286008 339461 321991 323852 339462 339464 339466 321990 323850 339465 321988 323851 321989 339463 341671 341670 339808 339809 339810 357284 357282 341669 339807 357280 357285 357283 357281 357638 375104 359353 359497 359155 359168 359539 359537 359538 359229 359253 359293 359241 359258 359252 359257 359256 359242 359335 359240 359266 359254 359279 359248 359243 359250 359249 359321 359247 359238 359236 359239 359246 359524 359525 359160 359159 359153 359154 359350 359158 341203 341170 341171 359172 359528 359217 359233 359230 359231 359232 359224 359227 359225 359226 359355 339845 339844 339823 339820 339834 339833 340994 341044 341080 341045 341105 341077 341078 341083 341079 341112 340945 340947 340996 341048 359157 339829 341721 339830 339822 339824 339828 339826 339814 340941 339832 339854 340999 340943 341075 341081 340946 341104 340949 341129 341076 341113 341106 340993 341049 341043 341046 340995 341128 340998 341091 341153 341137 341050 339849 339839 341074 340906 340974 339835 341154 341042 341126 341055 339841 339852 340908 339850 340948 341051 341127 339838 340975 339853 339836 340907 340940 339858 357629 359489 357626 359488 357628 357627 359490 375099 375101 375100 375103 375102 339817 339846 341532 341354 341654 341673 341535 341709 341342 341346 341345 341706 341540 341677 341543 341533 341662 341339 341341 341352 341711 341713 341708 341336 341349 341720 341710 341344 341347 341719 341715 341714 341717 341351 341348 341337 341712 341639 341716 341537 341649 341343 341703 341718 341350 341340 341661 341701 341338 341839 341837 341676 341666 341702 341838 341335 341668 341675 341655 341737 341733 341739 341758 341738 341650 341751 341755 341750 341723 341774 341773 359526 359527 341735 341754 340839 340917 340918 340838 341115 341149 340848 340925 341099 340923 340920 340926 341109 340924 359568 359553 359073 357668 359119 357669 359075 359074 357670 357675 357673 357672 357678 359034 357667 359092 359130 359055 357676 359091 359120 359033 358987 358988 359107 359035 357677 359056 359106 359129 357671 357674 359000 359006 359148 359150 359019 358958 359013 359151 359149 359010 359003 359016 358977 359530 358961 359529 359147 359008 359017 359009 358997 359015 359152 358979 358976 358974 359001 359146 358981 358992 358998 358986 358960 359020 359012 359005 359002 358980 359358 359171 359173 359170 359167 359536 359156 359534 359166 359169 359237 359235 359244 359349 359234 359307 359228 359245 359531 359468 359482 359460 359492 359475 359474 359473 359493 359481 359656 359495 359480 359487 359491 359447 359494 359657 359486 359485 305488 305475 305533 305565 305489 305490 305491 306069 305698 305704 306074 306081 306073 306076 306078 306080 306071 306077 306082 306075 306067 306068 305716 305712 305713 305711 305560 305694 305695 305558 305559 305697 306039 305904 305707 306057 306065 305894 305703 305897 306070 306040 305902 305701 306059 305702 305899 305709 305708 305705 305699 305905 305895 306058 306066 305706 306062 305714 306064 305710 306063 306060 305896 306061 305691 305545 305692 305540 305552 305555 305551 305556 305541 305690 305562 305543 305549 305689 305693 305544 305563 305548 305791 305785 305784 305787 305782 305898 305788 305780 305864 305878 305901 305892 305781 305790 305696 305535 394628 394585 341736 341722 341732 341749 341734 341731 341726 341727 341728 341729 341542 341696 341699 341534 341840 341678 341541 341757 393260 411079 375441 411080 395000 395152 394999 395134 395162 394811 394809 394805 394994 395173 395170 395175 395167 395177 395172 395171 395176 395169 395153 395174 395135 394796 394798 394797 394795 395163 394989 394800 394992 395160 394990 395166 394998 394802 395165 393280 393282 393289 395178 375422 375415 375424 375430 375427 375412 375416 375417 375439 375440 375433 375425 375106 375431 375429 375437 375420 375438 375432 375434 375411 375436 375418 375435 375413 375421 375426 375414 375423 375428 375419 393292 393285 393271 393301 393278 393302 393311 393294 393277 393274 393297 393281 393295 393313 393284 393276 393299 393273 393291 393283 393286 393304 393269 393275 393272 393293 395234 395233 395214 395191 395213 395237 395221 395194 395190 395257 395256 395215 395241 392922 377307 395217 395231 395192 395255 395193 395229 395239 395248 395211 395208 395254 395247 395212 377309 392923 392918 395107 395230 395184 395245 395242 395181 395235 395179 395196 395185 395183 395249 395182 395236 395195 393312 393308 394450 394301 394600 394572 394452 393268 394300 394563 394299 393300 394302 394610 394586 394571 393314 393305 393309 394454 394304 394456 394451 394583 394562 393307 305306 305304 305474 305337 305307 305312 305303 305309 305458 305459 305311 305310 306087 358639 358637 358638 358722 358773 358695 359185 358707 358718 358711 358640 358834 358717 359186 359194 359221 287885 287893 288258 287882 288262 288263 287894 288257 288256 288255 288260 306083 306089 306099 306086 306090 306088 306136 306120 306135 306117 306095 306113 306118 306101 304189 304174 304187 304188 304181 304191 304185 306084 306085 306012 306112 287891 287895 287889 288250 288251 287878 287744 287876 287963 287877 288076 288220 288078 288247 288083 288085 288082 359659 359660 359646 359655 359654 359635 359658 359207 288242 287697 305181 305239 305238 305236 305237 305244 305243 305249 305317 305255 305180 305254 305265 305245 305260 305261 305250 305182 305256 305316 287874 287872 287722 287726 287871 287716 287873 287737 287724 287727 287730 287672 288059 288017 287990 287967 286399 287442 287441 286397 287680 287649 287670 287424 287417 287435 287361 287671 287430 287431 306116 306097 306098 306091 306096 306111 306094 306093 304168 359223 359189 359206 359193 359205 359222 359195 359456 359459 359484 359457 359458 359483 358706 358825 359182 358700 358828 359188 358701 359187 358702 358694 358774 358830 358854 358846 358829 358842 358838 359174 323716 323898 323893 323896 323894 323525 323517 323900 323892 323886 323887 323879 305183 305771 305772 306072 305532 305553 305893 305786 305546 306079 305700 305903 304186 304176 304179 304173 305415 304192 305499 305495 305515 305468 305516 305477 305467 305512 305460 305513 305438 305268 305284 305270 305471 305287 305441 305281 305283 305278 305269 305282 305443 305288 305267 305440 305442 305437 305466 305285 305461 306141 306154 306134 306160 306152 306126 306139 306138 306142 306162 306163 306143 306144 306148 306147 306149 306161 306145 306131 306122 306146 306137 306140 306121 305779 305297 305344 305326 306203 305324 305395 305335 305400 305301 305388 305340 305347 305175 305353 305364 305362 305352 305343 306198 305380 305322 305315 305348 305294 305333 305392 306202 305177 305379 305363 305351 305330 305321 305328 287729 287879 287978 288084 288245 288238 288252 287886 288254 287888 288031 287884 288045 287981 287739 287881 288239 288253 287890 287875 287721 287741 287736 287681 288259 287725 287883 287713 287714 287732 288080 287740 288246 288240 287969 287696 287897 287743 287887 287892 288003 288086 288221 288075 287746 287870 288261 287734 288282 288316 286400 287385 287387 286394 287386 287388 287390 287389 287418 287420 287419 323236 323229 323309 323594 323597 323303 323722 323234 323122 322031 288293 288294 323920 323955 305342 305345 305341 305327 305296 305334 305346 306100 305349 305320 305354 305391 305773 305778 305789 305799 305800 305796 305795 305809 305760 305783 305822 305850 305801 305793 305775 305774 305776 305777 305432 305263 305200 305176 305185 305258 305241 305195 305192 305234 305189 305188 305511 305425 305424 305203 305162 305259 305235 305275 305264 305233 305434 305186 305248 305271 305273 305428 305210 305161 305191 305252 305429 305179 305426 305435 305431 305276 305194 305247 305253 341730 341725 339806 341707 341700 341697 341704 341667 341698 341695 341656 341672 341637 341665 341163 341151 341121 341122 341053 340950 340921 339847 341756 341724 395232 395186 395187 395207 395188 395189 394570 394555 393233 393244 393236 393258 393252 392925 393237 393231 393254 393243 393248 393253 375447 393251 392920 393257 393229 375448 393241 393250 375446 392921 393245 393239 393234 393238 393255 393232 393256 377308 393240 393259 393246 393230 393247 392919 393242 393249 393235 394495 394410 394507 394579 394418 394423 394420 394505 394509 394409 394414 394417 394578 394497 394554 394434 394511 394569 394415 394421 394504 394430 394424 394512 394272 394276 394262 394553 394412 394403 394404 394405 394331 394411 394406 393315 394397 394398 393306 394340 394339 394351 394499 394332 394654 394402 394399 394350 394400 394608 394620 394538 394658 394799 394651 394650 394606 394784 395156 394657 394648 394808 394644 394646 394380 394536 394379 394630 394788 394537 394540 394643 394373 394635 395159 394786 394532 394561 394647 394533 394377 394539 394376 395157 394790 394366 394793 394381 394607 394367 394636 394806 394791 394787 394638 394991 305730 305749 305750 305732 305768 305764 305717 305765 305738 305766 305728 305770 305769 305729 305731 305736 305767 305737 305748 305725 288312 288281 288335 288270 288299 288307 288315 288325 288319 288302 288344 288341 288322 288343 288379 288298 288327 288271 288318 288268 288303 288328 288269 288329 288324 288317 288330 288326 288301 288280 305373 305393 305377 305372 305385 305397 305371 305389 323518 323324 323318 323319 323370 323258 323261 323260 323256 323121 323127 322039 323024 323263 323885 323023 322034 323257 323310 323314 323377 323897 323529 323371 323599 323528 323884 323531 323362 323279 323230 323129 323307 323532 323587 323533 323877 323588 323586 323600 323589 323882 323891 322035 323295 323296 322033 323128 323595 323876 323720 323516 323591 323598 323590 323519 323859 323596 323592 323899 323888 323524 323285 323264 323379 323522 323858 323889 323513 323526 323089 323520 323724 322029 323027 323131 323293 323723 323515 323878 323259 323717 323714 323290 323280 323223 323227 323302 323026 323225 323226 323232 323224 323228 323306 323593 323231 323601 323523 323294 322036 323308 323521 323890 323895 323718 323378 323880 323514 323530 322032 322030 323715 323262 323883 323721 323028 323351 322038 323278 323277 323287 323286 323384 323219 323233 323235 323713 323123 323130 323124 323125 323335 323334 323272 323180 323901 323881 323352 323102 323099 323105 323106 323101 323104 323103 323107 287615 287606 287622 287609 287620 287613 287621 287647 323903 323902 323906 322020 321997 321999 321998 287426 323916 321987 322018 322019 321994 321995 321996 287497 287498 287578 287574 287558 287562 287962 287961 287953 287952 287960 286373 286364 286371 286386 286388 286370 288264 286355 286369 286368 286356 286363 286365 286367 286372 286358 286387 287356 286357 287554 288267 288266 286382 286360 286361 286359 286349 288265 288384 288297 286381 306092 305368 306119 305387 305305 305439 304190 305272 305331 305299 305329 305365 305476 305280 305444 305500 305178 305198 305505 304182 305232 305383 358712 358693 358850 340833 340827 340830 340829 340826 341023 341006 340985 340936 340903 340978 340961 340952 340939 340980 340958 340957 340938 340883 340933 340963 340953 340989 340969 340882 340876 341011 341010 340955 340986 340874 340935 340967 340966 288383 288342 288340 288333 288079 286376 286362 286375 286377 286374 286379 286390 287949 287957 287959 287958 287950 287955 287948 287956 287954 287911 287912 287976 287966 287982 287970 287971 288074 287977 287980 287973 287964 287965 287968 288180 288182 288183 288206 288192 288207 288181 288198 288197 288216 287693 288382 288217 288380 287391 287694 287692 288199 287706 288171 288279 288292 288219 288278 286401 287504 287522 287477 287540 287476 287493 287525 287521 287532 287516 287534 287655 287485 287537 287495 287668 287488 287482 287541 287539 287492 287634 287542 287507 287930 287917 287947 340877 340931 340806 340805 340902 340814 340885 340800 340872 340879 341066 341069 340870 340817 341072 341063 340886 340880 340824 340891 341073 340799 341067 340890 340909 340823 340816 341070 341417 339819 341025 341026 341020 341021 341000 341029 341004 341001 341022 341017 341030 341018 341033 339837 341398 341420 341539 341419 341536 341776 341786 341801 341784 341800 341781 341797 341789 341760 341798 341772 341775 341788 341782 341764 341792 341783 341790 341778 341759 341777 341799 305242 305381 305286 305836 306159 323954 323909 323912 323937 323910 323938 323905 323939 323908 323911 323831 323936 323917 321993 323913 323932 323919 323904 323914 323935 323918 322028 323018 322003 322025 322012 322013 323097 322011 322002 323096 322014 323098 323006 323015 323021 323012 322015 322005 322000 322017 286385 286380 287733 287909 287436 287639 287528 287523 287669 287474 287484 287496 287515 287552 287913 288381 287446 287549 287640 287444 286393 287415 287526 287503 287512 287437 287906 287910 286384 288211 287363 287570 287945 287929 287490 287656 287529 287513 288215 287566 287664 287665 287941 287445 287428 286391 287518 287362 287486 394365 394785 394375 394535 395164 394794 394639 394378 394556 394361 394363 394362 395098 395096 395094 395095 395097 395106 395133 395131 358713 359523 359162 358696 357630 357640 357641 357631 357647 357644 357643 357645 357639 357646 357642 357648 359105 357657 357659 357637 341201 341197 341189 341329 341327 341187 341194 357658 357661 357633 341183 357634 341196 341333 341184 341178 341186 341190 341191 341179 341334 341181 341331 341182 341328 341193 341198 357660 359054 357632 341200 357665 357654 357635 357636 357666 341332 341330 357656 357655 359090 359118 357662 357664 357663 357653 357650 357651 357652 357649 358984 358985 359549 359576 395297 375445 395293 395273 395284 395292 394437 394270 394446 394352 394520 394527 394443 394329 394445 394358 394328 394523 394529 394522 394524 394347 394438 394428 394388 394436 394525 394396 394448 394393 394390 394441 394422 394335 394354 394392 394528 394444 394337 394442 394521 394449 394341 394343 394348 394483 394355 394295 394486 394344 394356 394491 394459 394479 394478 394277 394334 394475 394494 394292 394474 394490 394333 341031 341032 340840 340968 340888 340965 340894 341816 341791 341835 341016 340981 340937 340831 340987 340959 340825 340837 340834 341012 341841 340821 340898 340899 341027 341827 341028 341406 341411 341414 341416 341405 341407 341376 341413 341415 341374 341403 341412 341404 305293 323009 323583 323557 323556 323585 323569 323584 323568 323555 323567 323363 322007 322027 322001 322009 322021 322006 322010 322023 322004 322008 323382 323381 288204 288205 287931 287364 288208 288218 287898 287919 287946 288209 341368 340900 341065 340912 340889 341355 341369 341370 341367 341363 341366 341068 340822 341035 341071 340884 340892 340893 340973 340944 341386 341064 339840 340841 340873 340914 339848 340828 341125 341038 341769 340916 340913 341388 340991 341410 341036 340979 340934 341013 339816 341640 341674 340905 341418 341779 341375 340997 341785 340942 340835 341409 340915 341705 340982 340964 339825 340984 339827 341150 341387 341041 341024 340904 341780 340878 340901 341114 341047 340871 340990 341138 341003 339813 341133 341052 341002 340910 341143 341037 341402 341664 341663 340960 339842 340896 339831 339815 340988 341787 341040 340897 339821 341098 340832 341641 340977 341014 340919 341097 341082 339856 339851 339811 340972 341638 340992 341408 341096 341628 340813 340815 340932 340875 340881 341019 340887 341009 339812 340983 341836 341039 339818 339843 340911 340922 340895 341062 340956 340818 340820 340954 340819 340970 340836 339855 340971 394496 394391 394498 394432 394482 394508 393290 395154 394584 394640 394346 394595 394416 394427 395158 394807 394804 394803 395161 395155 394290 394453 394594 394382 395168 394627 394336 394566 394429 394395 394389 394407 395243 394431 394369 394997 394660 394789 393270 393310 394357 394611 393298 394440 394439 394401 394342 394470 394510 393296 394458 394792 394501 395238 395206 395226 393263 395216 395298 395180 393279 394590 394349 394503 395240 395258 395244 395246 394582 394303 394435 394383 394502 394455 394345 394526 394372 394506 394296 394330 394548 394531 394487 394289 394425 394655 394327 394801 394641 394471 394368 394305 394426 394359 394364 394457 394413 394653 394353 394461 394519 393288 394530 394370 287918 287972 288073 287974 288243 288244 288241 287553 288184 288210 339803 339781 339797 339800 339787 339774 339799 339780 339784 339796 339779 339775 339792 339791 339772 339786 339795 339802 339777 339794 339785 339801 339788 339468 339776 339793 339798 339783 339773 339782 339778 339789 339790 287597 287596 287598 287594 339804 304166 304167 321986 321985 305332 305298 305314 305319 305325 305318 305350 305403 305414 305413 305416 305407 305257 305274 305433 305240 305430 304197 304198 304194 305246 305300 304193 305408 304220 305412 305401 305251 305295 305361 305453 305359 305358 305356 305357 305360 305409 305404 305406 305339 305399 305396 305427 305375 305376 305384 305487 305366 305417 305411 305405 305402 305483 305484 323508 323512 323354 323359 323375 323367 323374 323360 323365 323368 323364 323511 323372 323509 323510 323818 324018 323845 323857 323855 323844 323819 323822 323830 323853 323846 323848 323856 323849 323847 323821 323331 323344 323332 323085 323087 323086 323088 287453 287468 287456 287459 287469 287464 287642 287452 287454 287466 287467 287463 287461 357622 357617 357598 357606 357603 357618 357607 357609 357599 357615 357600 357610 357613 357614 357605 357597 357612 357602 357621 357620 357594 357592 357616 357591 357596 357604 357608 357601 357287 357595 357611 357619 357593 323177 323176 323175 323174 323178 323179 375442 375443 357623 357624 411081 393262 358959 358978 358983 359661 359145 358975 359608 341842 287652 287658 287413 287686 339805 323155 323156 286383 286354 287612 287618 287616 287450 287623 287619 287457 287475 287595 288077 287510 286389 287592 287538 287501 287648 287641 287487 287491 287624 287449 287489 287429 287423 287506 287358 287460 287481 287535 287657 287676 287581 287509 287439 287610 287465 287348 287605 288248 288249 323957 323982 323945 323941 323854 323907 322022 323837 321992 323842 322016 323809 323843 323835 323836 321984 321965 321964 321977 321978 321953 321962 321983 321956 321649 321971 321970 321976 321967 321972 321974 321954 321981 321980 321979 321968 321957 321961 321969 321973 321959 321963 321955 321975 321966 321982 321960 321958 323051 323055 323056 322986 323052 322994 323057 323058 323135 323136 323551 323094 323005 323020 323114 323073 323195 323200 323221 323008 323003 323548 323216 324017 323072 323142 323167 323010 323544 323190 323059 323254 323144 323214 323091 323159 323211 323192 323250 323014 323246 323966 323222 323062 323158 323197 323007 323915 323053 323967 324020 323549 323208 323173 323149 323206 323207 322996 323066 322987 323171 323063 323138 323170 323251 323165 323148 323194 324022 322980 323203 323083 323139 323153 323017 323004 323247 323077 323154 323120 323074 323147 323022 323187 323119 323191 323253 323000 323001 323184 323067 323029 323997 323181 323215 323080 323536 323081 323252 323209 323963 323145 323068 323116 323166 323182 323011 323141 323084 323060 322999 323146 323002 323968 323962 323092 323185 323016 323117 323198 323973 323152 323118 323970 323090 323070 323076 323112 323078 323151 323115 323169 323071 323218 323160 323095 323163 323978 323243 323959 323113 324021 323956 323981 323019 323140 323940 323137 323196 324016 323093 323210 323979 323953 323204 323134 323183 323330 323958 323245 323248 323961 322995 323013 323150 323064 323971 323193 323547 322981 323054 323550 323205 323069 323082 323075 323960 323217 323213 323202 323168 324008 323065 323164 323950 323061 323249 323980 323969 322997 324019 323244 323964 323965 323133 323972 323220 323161 323579 323199 323931 322026 323172 323930 322024 323535 323126 323162 323201 323527 323143 323079 323820 323025 323100 322998 323212 324023 394275 394371 394500 394293 394534 306025 306200 306030 306029 306001 306028 306017 306026 306027 305999 306037 306024 306023 305990 306002 306038 306201 306011 306034 306035 306018 306016 306199 306000 252108 252075 252076 251808 251780 251787 251859 251860 251792 251782 251793 251788 251781 251724 251932 251915 251798 251723 251916 251928 251803 251804 251799 251914 251940 251924 251920 251725 251911 251797 251779 251936 252002 252003 252009 251988 251904 251987 251813 252010 251996 252001 252034 252060 252065 252043 252068 252038 251943 252055 252056 252042 252066 252062 251746 250761 250762 250759 287462 287458 287617 287414 287416 287451 287447 287440 287434 287448 287422 287433 286396 287382 287378 287376 287379 287375 251726 251938 251734 251736 251923 251935 251918 251870 251873 251720 251901 304165 286346 286334 286332 304135 286316 286315 304153 304158 304149 286331 304136 286325 304163 304137 304141 303830 304157 286343 286318 286327 286337 304138 286328 304154 286329 286319 304147 286326 286333 286341 286324 286317 304143 286338 304142 286330 304161 304144 304156 286345 286342 286340 286336 286335 286339 286320 304140 286344 304146 304155 304150 304160 304151 286322 304162 286321 304134 304145 286011 304139 304152 286323 304159 304164 304148 251983 250758 251980 232889 250708 215070 250704 250699 215059 215056 215055 215053 215067 250691 250706 250680 250700 250705 215060 250698 215046 215052 250689 215047 250681 250685 215069 215040 250692 250690 214735 215058 250694 250688 250697 215062 250687 215042 215041 215048 250677 215065 215049 215044 250703 215039 250696 250701 250695 250682 250678 215064 250707 215061 215050 250702 215045 250684 250693 250679 215066 250373 250683 215063 215051 215057 215043 215068 215054 250686 251985 251981 250753 251885 251929 251933 251730 251731 251937 251898 251865 251905 251741 251982 250754 251906 251705 251979 251722 251863 251869 251986 251903 251721 251862 251719 251737 251728 251883 251857 251809 251888 251704 251894 251858 251876 251984 251922 251711 251868 251718 251743 251742 251887 251866 251812 251878 251874 251877 251875 251871 251896 251897 251880 251895 251810 251872 251902 251900 251811 250724 250725 251805 251969 251778 251978 251968 251972 251749 251776 251750 251800 251802 251801 251806 251747 251791 251785 251752 251975 251807 251971 252624 252625 252621 252620 252619 252602 252582 252608 252609 252600 252442 252440 252446 252447 252601 252583 252615 252616 252334 252329 252335 252336 252626 252315 252326 252338 252328 252339 252332 252327 252324 252323 252333 252340 252607 252379 252343 252342 252344 252331 252439 252606 252330 252393 252352 252604 252407 252605 252603 252421 252325 252573 252561 252581 252572 252546 252568 252559 252560 252679 252566 252742 252544 252543 252533 252577 252578 252571 252580 252570 252094 252095 252086 252321 252316 252313 252320 252319 252318 252312 252314 252310 252274 252322 252317 252303 250711 252292 252293 252280 252281 252268 252275 252273 252279 252444 252260 252271 252307 252308 305410 305323 305445 304196 305262 305525 305792 305308 305167 305279 305168 305201 306003 306036 304195 305797 306151 306153 306150 305382 304215 304204 304210 304178 305336 304219 304205 305202 304213 304200 304183 306178 306204 305398 305390 305193 304217 305374 304184 305187 305190 304199 304214 304212 304209 305277 304211 306197 305436 305196 304206 305199 304180 304207 304218 304201 304216 305302 305378 305184 305266 306189 304202 305355 304203 304208 304175 305386 304177 305394 250718 268501 268519 268508 268524 268497 268518 268517 268514 268512 268520 268521 268498 268502 268511 268510 268499 268526 268507 268496 268515 268527 197251 268505 393261 268516 268503 268509 268523 268500 268192 268504 268522 268506 268513 268525 341034 341015 394338 341054 270482 270498 270480 270479 270462 270452 270463 270451 270497 270461 270475 270448 251927 251907 251884 251753 252030 252067 252063 251909 251735 251890 252064 251934 251939 250757 251941 252054 251796 252011 251974 251926 250756 251795 251930 251751 251732 251879 251790 251942 251748 251967 251729 251745 251931 251740 251784 251908 251738 251744 252061 251739 250755 251919 251733 251794 251886 251789 251970 251864 251925 251783 251861 251976 251892 251867 251973 251921 251889 251727 251917 250723 250721 250745 250744 250747 250720 250734 250730 250731 250732 250726 250748 250733 250727 250750 250749 288193 288276 288275 288274 288272 288277 286378 287585 287586 287591 287587 287590 287589 287588 287545 287547 287366 287533 287369 287580 287383 287568 287575 287567 287438 287380 287514 287365 287373 287432 287560 287530 287520 287357 287582 287555 287608 287505 287349 287576 287343 287372 287557 287360 287543 287368 287577 287565 287544 287370 287564 286395 287511 287455 287559 286398 287571 287556 287421 286392 287584 287572 287569 287359 287611 287499 287561 287524 287517 287614 287427 287579 287443 287480 287371 287508 287573 287563 287527 287483 287502 287546 287367 287536 287374 287384 287583 288359 288378 288370 288320 288321 288323 288331 288332 288385 288334 252436 252441 252448 252272 252309 252435 252445 252084 252088 252613 252098 252238 252235 252257 252106 252092 252245 252089 252254 252255 252437 252232 252091 252072 252177 250760 252141 252121 252159 252140 252073 252074 252119 250764 250763 252161 252120 252142 252250 252259 252233 252234 252252 252101 252256 252253 252099 252612 252103 252087 252102 252096 252237 252176 252160 252239 252078 252236 252243 252610 252251 252248 252241 252611 252246 252614 252249 252247 252242 252083 252438 252105 250728 288273 288300 250738 250739 250736 250735 250743 252687 252680 252688 252681 252693 252689 252694 250717 252662 252636 252643 252663 252555 252633 252661 252678 252638 252628 252634 252644 252639 252642 252655 252629 252641 252656 252659 252640 252631 252632 252654 252635 287625 287607 287342 287478 287626 287531 286366 287593 287381 287377 287479 287500 252692 252690 252686 252684 250746 268573 268574 268575 268577 268572 268581 268579 268578 268580 270361 270362 270400 269821 269822 269828 269807 269820 269815 269570 269571 269568 269569 269830 269806 269829 269723 269632 269805 269567 269699 269717 269799 269566 269629 269721 269801 269698 269803 269802 269718 269804 269722 269798 269631 269719 269800 269628 269720 269630 286347 286348 250716 250742 252178 252206 250751 252215 250752 252204 252216 250729 250737 250740 252191 252205 250722 250741 252192 252193 252703 252695 252702 252696 252669 252677 252697 252664 252674 252706 252705 252704 270457 270387 270474 270450 270436 270437 270444 270439 270442 270435 270441 270438 270440 270443 270429 270430 270390 270396 270374 270449 270133 270445 270447 270446 270141 270134 270143 270142 270144 270259 269894 270075 269913 270258 270074 270061 270078 270068 270402 270424 270422 270421 270064 270420 270071 270065 270433 270431 270076 270070 270059 270073 270060 270423 270257 270426 269927 269905 270432 270428 270264 269853 269895 270066 270267 270401 270419 270063 270072 270425 270265 269914 270067 270069 270058 270062 270427 270261 270266 270256 269910 270055 269911 270052 269918 269922 269920 269907 270057 270051 269925 269897 269903 269924 269917 269906 269915 269908 270056 270054 269902 270053 269921 268538 270260 270263 270163 270254 270212 270184 270157 270226 270198 270240 270171 270255 270122 270131 270129 270132 268539 268561 268541 268549 268563 268547 268562 268536 268542 268544 268540 268545 268543 268550 268537 268548 268546 270158 270154 270155 270147 270162 270151 270148 270149 270159 270161 270153 270152 270150 270146 270145 269862 269861 268565 268552 268566 268551 268564 268553 268535 268554 268567 268569 268568 268571 268570 270137 270139 270136 270138 270140 252740 252721 252231 252745 252746 252743 252732 252744 252747 252741 270504 270502 270523 270514 270488 270493 270501 270521 270483 270525 270505 270516 270509 270503 270500 270484 270499 270522 270496 270511 270524 270455 216603 234799 234805 234801 234802 234798 234804 234806 234796 234800 234792 234791 234256 234257 234289 234279 234265 234438 234417 234424 234428 234419 234437 234413 234434 234267 234619 234273 234785 234625 234629 234504 234781 234506 234433 234416 234495 234264 234525 234618 234422 234283 234787 234515 234423 234276 234795 234432 234793 234435 234427 234426 234783 234513 234496 234503 234421 234508 234502 234501 234782 234621 234627 234500 234430 234764 234415 234418 234286 234794 234425 234626 234272 234284 234505 234259 234790 234620 234763 234280 234268 234492 234440 234628 234287 234436 234431 234789 234282 234429 234270 234414 234277 234275 234269 234623 234811 234860 234810 233905 233906 233904 234808 234812 234837 234844 234814 234842 234864 234809 234823 250709 233989 234925 234922 234926 268528 268529 252569 252682 252630 252579 252691 252665 252683 252542 252660 252637 252545 252567 375410 216604 269545 270093 270112 270100 270091 269605 269599 269678 269600 269543 269734 270092 269730 269679 270110 269616 269735 269733 270127 269617 269544 269759 270099 270098 270111 269618 269755 269607 269622 269627 270087 269739 269611 270128 269542 270506 270515 270513 270453 270456 270507 270508 270510 270478 270454 270460 270481 270459 270512 268530 269980 268582 269940 269939 269961 269996 268583 269960 269893 269892 269979 268556 268559 268555 268557 268560 268558 269997 270011 270010 269959 269978 269938 269995 270473 270458 270034 270035 270024 270023 270012 270025 269885 269884 269881 269879 269882 269886 269857 270397 270385 270386 270378 270551 270352 270563 270391 270399 270363 270389 270364 270564 270392 270559 270560 270365 269890 270562 270388 270398 270373 269889 269891 270379 270561 270380 270540 269788 269707 269880 269711 269688 269610 269686 269706 269792 269685 269791 269702 270565 269695 269690 269676 269683 269609 269703 269697 269619 269715 269712 269716 269794 269564 269615 269692 269558 269789 269796 269687 269608 269883 269691 269689 269537 269709 269714 269684 269704 269614 269888 269561 269596 269797 269595 269795 269790 269602 269705 269708 269613 269625 269604 270050 269624 269694 269680 269696 270566 269621 269793 269713 269682 270090 269539 269603 270135 269597 269747 270130 269681 269710 269598 269693 269751 269606 270094 269623 269601 269786 269620 269626 270126 269743 269677 269787 234484 232892 234825 234497 234866 234499 234498 234824 234818 234816 234841 234836 234736 234494 234493 234511 234927 234928 234420 233907 234092 234105 234101 234097 234113 234117 232899 232911 232901 232926 232923 232924 232910 232907 232902 232904 232912 232906 232908 232903 232897 232909 232933 232905 232930 232931 232928 232900 232898 234820 232925 232913 234455 234456 234452 234453 234449 234441 233984 234041 233978 233968 233960 234040 233962 233985 234096 233979 234095 233980 233973 233963 233974 233967 216438 216394 216470 216437 216617 216609 216616 216608 216606 216605 216607 92308 92256 92257 90340 92255 216453 216684 216678 216683 216681 216682 216680 216677 216807 216809 216700 216804 216687 216686 216688 216741 216697 216694 216769 216706 216810 216673 216704 216693 216806 216665 216705 216701 216675 216702 216672 216692 216783 216963 216714 216962 216802 216944 216797 216980 216971 216615 216976 216986 216977 216978 216975 216987 216619 216611 216973 216984 216800 216983 216610 216613 216982 216614 216799 92075 92076 91962 91954 91953 91958 91950 91968 91967 91960 91945 91957 91939 91964 92065 91961 91994 91932 92064 91981 91965 91951 91972 91956 92229 92230 91941 92008 91963 91973 91940 91943 91971 92050 91942 91955 92036 91944 91959 92212 92022 91952 91969 92306 92324 92333 92326 92331 92318 92317 92315 92313 92335 92334 92310 92316 92319 92303 92293 92298 92294 216643 216655 216679 217103 216669 216965 216969 216087 216088 216170 216161 216635 216302 216141 216149 216221 216298 216159 216278 216143 216165 216273 216290 216622 216150 216148 216154 216636 216144 216286 216155 216166 216637 216160 216294 216276 216277 216282 216463 216451 216458 216448 216465 216417 216600 216440 217107 216464 216418 216456 216467 216599 216457 216468 216445 216450 216454 216598 216446 216449 216974 216595 216601 216460 92258 92261 92292 92262 92289 92273 92272 92307 92285 92267 92271 92290 92260 270434 268576 270079 269612 92311 92314 92312 92184 92259 92325 92322 90353 92288 92269 92270 92265 92283 90357 90346 90359 90354 90360 90361 90362 90364 90363 90367 90365 90368 90378 90377 90379 90358 90356 90355 92291 90347 90366 90348 90349 90351 90369 90352 90350 90372 90374 90373 90392 90375 90371 90376 90381 90345 90388 90390 90382 91379 91377 91380 91376 91378 90385 91647 91660 91662 91661 91648 91688 91875 91870 91871 91687 91947 91725 91949 91723 91948 92246 92242 91866 92249 92243 91880 92248 91864 92077 91730 91862 91728 91735 92066 92254 91885 91718 91713 91716 91727 91707 91879 92253 92231 92238 92245 92241 92211 92074 92252 91878 92239 91715 91663 91671 91731 91946 92068 91732 91884 91876 91737 92070 91867 91888 91868 91704 91705 91677 91886 91869 91882 92073 92240 91877 92247 92251 92250 92071 92237 91881 92244 92067 92069 91874 91873 91872 91734 91721 91712 91672 91717 91720 91861 91667 91632 91640 91639 91863 91724 91865 91685 91684 91697 90386 90389 90383 91646 91631 91484 91630 92197 91479 91480 91508 91476 91483 91482 91625 91533 91655 91656 91477 91509 250710 232891 232890 216670 234225 234462 234924 234227 234216 234243 234474 234250 234788 234460 234472 234602 234509 234245 234519 234461 234488 234616 234524 234617 234226 234510 234218 234533 234247 234490 234251 234514 234560 234622 234523 234521 234491 234246 234512 234784 234217 234520 234517 234252 234574 234588 234241 234786 234489 234546 161614 215072 197253 197252 179434 161615 109467 109459 109468 109496 109507 109458 234454 252685 252244 252622 252623 252240 252618 252617 251977 234109 251777 252365 233969 252554 251899 252291 233961 251893 252311 251891 250719 234121 232914 251786 109699 110057 109890 109696 109886 110056 109700 109697 109888 109893 110062 110050 109896 109698 109885 110068 110030 110061 109689 109690 110070 109695 110067 109894 110069 109701 109704 109707 109895 109703 109887 110066 109705 109702 109535 109683 109542 109553 109544 109536 109550 109534 109537 109532 109543 109540 92268 92263 92200 91581 91584 91530 91585 91589 91583 91579 91586 91580 91587 91528 91576 92202 92264 252627 234242 216941 216942 217106 216943 217104 217105 216365 216393 110075 110074 110081 110080 110077 110078 110079 110126 110090 110111 110091 110108 110104 110103 108172 109490 109491 109486 145119 145104 145117 145118 145726 145727 145716 143797 145741 145742 145730 145764 145729 145749 145724 145765 145712 145715 145714 145746 145641 145713 145718 145719 145747 145728 145792 145766 145788 145772 145781 145783 145767 145790 145778 145791 145763 145755 145717 145745 145789 145776 145760 145751 145773 145770 145750 145774 145769 145779 145775 145780 216405 92332 92309 92320 92284 92321 92323 92266 91437 91354 91540 91536 91547 91546 91545 91534 91538 91544 91543 91535 91493 91371 91432 92373 91468 91467 91422 91503 91515 91362 91513 91516 91471 91417 92196 92361 91522 91472 91427 92369 91495 91506 91499 91517 91408 91494 92375 91514 91518 91490 91415 91500 91365 91353 91355 91433 91359 92374 91502 91521 92190 91525 92189 91505 91497 92207 91507 91526 91470 92370 91352 91486 91492 91368 91575 91519 91473 92198 91349 91512 91498 91487 91588 91469 91523 91410 91411 91511 91582 91478 91428 92201 91496 91426 91573 91421 92350 91504 91577 91532 91466 91524 91574 91454 91451 91452 91458 91450 91460 91457 91459 91453 91456 91449 91659 91567 91563 91551 91571 91559 91550 91554 91564 91560 91562 91558 91556 91566 91570 91552 91548 91616 91617 91602 91599 91614 91601 91409 91596 91609 91600 91610 91607 91603 91608 91613 91347 91605 91488 91611 91597 91606 91615 91598 91604 109547 109523 109686 109554 110053 110054 110049 109539 109526 109680 109482 109685 109682 109688 109551 109546 109531 109687 109556 109524 109549 109684 109681 110052 110031 110051 110048 110055 110060 108206 108201 108204 108202 110136 110141 110137 110142 110084 110082 110085 110086 110089 91643 91382 91638 91683 91442 91364 91557 91420 91443 91909 91569 91430 91436 91406 91445 92183 92172 91910 91908 91902 91424 92174 92235 91447 91361 91938 91348 91922 91373 91366 91412 91370 91937 91448 91444 91897 91936 91423 91438 91418 92173 91553 91561 91405 91367 91413 92171 92208 91372 91334 91429 91350 91565 91904 91901 91549 91921 91363 91434 91356 92372 91435 92234 91425 91439 91351 91340 91358 91360 91441 91333 92232 92210 91431 92209 92233 91531 91339 91475 91455 91900 92371 91465 91555 91446 91414 91568 91375 91903 91416 91474 91407 91612 91419 91381 90384 92206 91440 92195 91374 90380 91404 91369 90387 91527 91491 92188 92175 91529 91501 92162 91489 90370 92199 92236 91920 91537 91578 91520 215124 215123 215121 216404 216396 216373 216400 216538 215116 216578 216935 216175 216344 216436 216523 216371 216435 216173 216343 216341 216521 216540 216428 216934 216933 216566 216242 216171 216905 216939 216908 216347 216904 216907 216555 216931 216363 215118 216503 216425 216554 216345 216504 216482 216172 215125 215122 216567 216568 216346 216350 216539 215119 216364 216434 216174 215126 216481 216916 216424 216241 216427 216698 216674 216967 216981 216597 216422 216577 216945 216502 216429 215120 216602 216349 216685 216972 216689 216985 216222 110083 110003 108159 110135 91883 91357 91481 91649 91572 90391 91889 110102 110143 110145 110152 110153 110154 110122 110151 110125 110117 110113 110130 110129 110131 110128 110140 110133 110134 110132 110138 110144 108157 92376 143796 125977 108158 110087 110110 110189 110180 110169 110188 110193 110076 110092 110127 110107 110139 110112 110150 110088 109693 109692 109691 109694 108203 108205 109479 109480 109481 108210 109173 110194 109172 109256 108197 108198 108175 108174 108200 109198 109199 109197 109200 109451 109450 109449 109327 109328 109195 109196 143810 145771 108196 108192 108191 108183 145721 145748 145720 110016 109990 109992 109993 109994 109991 110017 110002 110019 110018 108177 109240 109251 109247 109246 109241 109230 109307 109308 109252 109229 109236 109234 109227 109245 109171 109235 109228 109314 109323 109322 109316 109317 109319 109325 109311 109166 109326 109324 109309 109313 109320 109315 109321 109318 109168 109190 109305 109193 109187 109306 109312 109310 108180 108181 108179 108166 108171 108168 108169 108170 108167 108207 108193 108195 108199 108182 108209 109515 109641 109653 109654 109608 109568 109521 109664 109590 109510 109520 109511 109589 109509 109522 109569 110195 109625 109626 109609 109640 109679 109436 109431 109434 109427 109432 109433 109429 109435 109428 109430 108189 108184 108186 108187 108185 108176 108173 108190 108165 108178 109418 109420 109419 109421 109426 109415 109422 109424 109417 109425 109423 109416 109716 110015 109757 109761 109751 110029 109786 110026 109755 109784 110025 109855 109775 109764 109883 109770 109519 109889 109517 109780 109372 109779 109363 109771 109790 109892 109741 109777 110192 109708 109723 109773 109384 110059 109758 109729 109513 109884 109763 109800 109739 109841 110072 109792 109778 109769 109364 109728 109762 109508 109740 110058 109776 109827 109722 109781 109787 109359 109783 109388 109719 109721 109720 110009 110028 109788 109767 109772 110191 109869 109376 109791 110071 110007 110073 110014 110190 109368 110065 109768 110027 109380 109727 109765 109759 109174 109782 109362 109756 109760 109813 110008 109512 110020 109518 109774 110021 109514 109981 109567 109639 108211 109588 109652 108208 108212 109663 109607 109624 108194 110063 110064 305204 305205 305208 305209 305206 305207 234872 234845 234855 234863 234865 234902 234921 234835 232916 234885 234874 234858 234884 234883 234875 234869 234887 234850 234867 234870 234868 125976 108188 145723 145722 143842 143831 143827 143840 144968 144992 144941 145046 145032 145033 145025 145005 144991 145021 144988 143846 145029 145031 145024 144987 145041 145112 144986 145038 145037 145009 143849 145013 144994 145028 145039 144984 144966 145040 145116 145035 143839 143833 143843 143822 143825 143830 143828 145020 145045 144993 145044 145043 144965 145659 145658 145656 145663 145657 145087 145088 144990 144985 145082 145768 144989 144908 144909 144833 143841 143845 144913 144911 143847 144914 145090 144917 143844 144834 144835 145401 145400 145631 145640 145654 145632 145630 145628 145655 145629 145688 145669 145187 145696 145323 145324 145172 145340 145320 145697 145705 145336 145331 145534 145710 145694 145191 145185 145169 145339 145343 145170 145703 145777 145097 145526 145105 145332 145129 145325 145162 145161 145329 145106 145687 145096 145145 145178 145192 145194 145184 145144 145120 145668 145695 145334 145532 145328 145322 145335 145523 145706 145707 145337 145341 145333 145326 144899 145338 145408 145124 145134 145327 143795 215071 179433 108164 110109 109766 216330 216225 216423 217109 216593 216228 216153 216237 216080 216152 216334 216082 216426 216236 216158 216336 216234 216340 216146 216224 216139 216240 216163 216339 216337 216164 216230 216333 216329 216233 216219 216169 216147 217041 215088 215081 215091 215109 215106 215101 215089 215100 215110 215084 215112 215086 215099 215103 215105 215082 215080 215098 217040 217000 217023 217005 217022 217006 215113 215108 215095 215093 215090 215096 215102 217002 217024 217021 215079 215078 216995 216994 216990 216991 216988 216989 216993 217051 217050 217049 145073 145095 143848 143834 143836 143835 143838 145686 145531 145704 145528 145345 145342 145709 145533 145330 145524 145074 144837 145100 144915 144912 144916 144906 145321 145318 145164 145319 145175 145181 145180 145189 145174 145188 145173 145182 145177 144866 144884 145018 145010 145006 144885 144883 216083 216105 216102 216097 216081 216093 216096 216094 216103 216099 216073 216067 216066 216090 216108 216232 216167 216151 217102 216226 217026 217083 216104 216332 217066 216238 217094 217039 216338 216335 216145 216223 217068 216156 217031 216229 216162 216235 216107 216923 216921 216928 216895 216940 216929 216098 216092 216095 216089 127959 127962 127964 127946 127972 127970 127947 127936 127948 127957 127951 127941 127932 127973 127944 127931 127971 127953 127969 127950 127954 127949 127896 127899 127898 127897 127893 127895 127900 127908 127909 127923 127945 127927 127930 127928 127922 125978 127904 127901 127903 127902 74554 74557 74556 90338 74555 74531 74542 74550 74551 90339 74553 216999 215073 216696 216803 216157 216596 216996 216115 216239 216430 216634 215114 215107 215083 216612 216085 216798 217017 216618 216801 216964 216970 215111 216727 217027 216671 217042 216932 216641 216522 216966 216633 216100 216461 216968 217025 216106 216227 216979 217016 216906 216594 215092 216695 216091 216086 216138 234821 234807 234840 234862 234873 234815 234822 234878 234859 234877 234876 234871 232932 234846 234813 234843 232915 234819 234886 234913 234817 234861 232927 232929 232943 145619 127955 127956 287951 305197 340962 287880 322037 341173 287425 145782 145831 145807 145646 145827 145664 145647 145818 145830 145826 145652 145653 145832 145645 145011 143806 144868 144900 145060 144925 144891 144896 144978 144894 143809 145019 144864 143803 144961 144831 144897 143812 144932 145065 145063 144887 144901 144877 144804 143815 143826 144816 145027 145072 144963 144955 144828 144825 143805 144875 144924 145067 144863 144898 144944 144870 144959 144822 144796 144928 145066 143816 144979 145026 145057 143832 144934 144867 145061 144923 145070 144881 144952 145068 144861 144878 144819 144931 144975 144903 144926 143804 144927 144974 144943 144862 144880 144953 144954 144876 144960 144980 144869 143823 143807 144950 145003 143811 144882 144956 144947 144939 144971 145059 144893 145001 143837 143820 144902 145014 145054 144940 144929 144964 143818 144886 144949 144937 143802 143817 144982 144962 144970 145022 144889 144904 145064 144969 144865 145007 144946 145062 145071 143813 144945 145055 144812 144890 144922 144983 144811 144976 145113 144806 144873 144905 144977 145053 145008 145015 143821 144981 144938 144973 144838 145002 145089 144836 144879 145058 143808 144872 144892 144995 144933 145000 143824 144957 144948 145103 145034 145016 144910 144810 144951 144935 143829 143819 144874 145030 144930 145017 145004 145012 144871 144997 144895 145056 145036 145069 144936 143814 144907 144958 145042 144972 145409 145407 145405 145403 145406 145404 145398 145396 145399 145397 145141 145154 145142 145699 145700 145693 145701 145702 145690 145689 145698 145692 145691 145525 145410 145725 145740 145411 145429 144827 144830 144817 145430 145465 145394 144821 145378 145361 145665 145493 144791 145357 144790 144832 145424 145354 145527 145422 145419 145395 145358 144826 144823 145438 145415 145829 145393 144824 145367 145346 145365 144813 145522 145366 145667 145521 144797 144807 145507 145828 145428 145420 145425 145360 144829 145140 144808 144805 145417 145416 145402 144820 145379 145421 145418 145414 145413 145412 145377 145530 144818 145451 145666 145426 145389 145479 144839 145128 144888 144815 144809 145359 144814 145023 125991 145833 394865 394862 394866 394868 394867 394874 394873 411072 411054 411049 411074 393266 395121 395120 411067 411062 411064 411068 395126 411057 410741 411070 411056 395122 411050 411069 410744 395125 410737 411052 393265 411078 410740 410738 411077 395128 411071 411060 411076 411073 410742 395129 411063 411051 411066 410739 411058 411055 411053 395124 411061 395123 411075 411065 411048 411059 127926 162915 162980 162948 162943 162916 162938 162937 162924 162964 163013 162981 162953 394287 394284 394286 394283 394468 394480 394467 394492 394472 394484 394476 394278 394466 394463 394488 394360 393267 393264 395119 395118 395111 395130 395132 395112 395085 395113 395294 395127 394845 394843 394831 394833 394832 395295 395296 395299 394825 394812 394826 394824 394823 394827 394870 394871 394872 394876 394469 394477 394993 394481 394860 394864 394493 394280 394877 394297 394285 394294 394485 394869 394473 394274 394279 394996 394281 394263 394256 394861 394489 394273 394863 394271 394855 394844 394875 394298 394282 394288 394820 394257 394447 394291 394460 393287 393303 394859 394394 127343 127342 127375 127301 127332 127592 127705 127712 127709 127704 127515 127869 127715 127707 127875 127849 127518 127516 127876 127517 127519 127514 127526 127879 127509 127524 127702 127596 127598 127674 127601 127688 127711 127872 127890 127610 127619 127880 127883 127889 127871 127884 127891 127714 127882 127646 127886 127892 127888 127887 127870 127660 127881 127607 127878 127877 127603 127632 127507 127522 127521 127523 127511 127277 127315 127270 127286 127300 127298 127299 127310 127287 127285 127369 127353 127368 127362 127504 127502 127363 127356 127370 127355 127354 127500 127345 127366 127359 127499 127350 127351 127373 127960 127921 127958 145711 145708 162886 162888 162885 162914 162890 162892 162716 162717 162893 162939 162947 162887 162908 162889 126991 161664 163531 161630 161633 161635 161636 161660 162764 162691 162692 162685 161654 161639 161638 161655 161637 161628 161627 161649 161648 162693 163154 163530 163529 163528 163521 163516 163155 163151 163156 163353 163345 163342 163162 163150 163508 163520 163518 163514 163509 163350 163512 163146 163523 163487 163511 163352 163160 163513 163507 163158 163164 163159 163344 163519 163522 163515 163525 163526 163157 163152 163505 163488 163510 163153 163161 163147 163517 163506 163343 163527 163524 163545 163549 163548 163546 163565 163564 163566 163597 163547 163144 162654 161663 163219 163537 163538 163534 163224 163225 163215 162655 162656 162657 126990 127336 127952 127907 127911 127906 127929 127905 127910 127963 162629 162736 161623 161653 162734 162730 161657 163533 162919 162725 162727 162726 162728 163532 161644 161643 161656 162714 162650 161652 162644 162638 162909 162735 161634 161625 161651 162884 162732 161642 161624 161641 161640 161650 162704 162684 162703 127520 126992 127512 127361 127309 127278 127326 127372 127338 127337 127513 127506 127501 127873 127333 127327 127328 127329 127874 127505 127510 127365 127706 127508 127305 127358 127503 126993 128012 128013 128008 127868 127850 127334 127339 127330 125988 125984 125983 161621 125985 125987 125986 126029 126002 126016 126015 127064 127060 127059 127066 127065 126031 127387 127340 127408 127388 127341 127583 127589 127558 127580 127587 127576 127577 127579 127584 127582 127591 127588 127559 127574 127547 127560 127548 127590 127581 127586 127585 127546 126026 127386 126028 126030 127407 127049 127538 127053 127600 127605 127191 127611 127599 127602 127047 127594 127606 127054 127542 127527 127540 127046 127126 127541 127207 127187 127048 127182 127195 127597 127595 127181 127535 127593 127199 127071 125994 125993 125996 74440 74443 74442 74439 74447 74438 74437 74436 74489 74445 74497 162658 162961 162960 162973 162959 163230 162639 163243 163543 162698 162648 163270 162649 163233 163213 162686 163284 163239 163238 162647 163226 163222 163651 162645 163221 163247 163177 163241 162829 163197 163165 163227 163217 163646 163349 162687 162630 162651 163536 162816 163542 163539 163235 162633 162643 163179 162825 163541 163257 162833 163178 163228 163236 163176 162627 162641 163340 163298 163240 163346 162819 163341 162709 163245 162841 163650 163232 163184 162837 163244 162631 162634 163218 163186 162610 162626 163248 163180 163234 162646 162845 162713 232917 234321 232935 234302 234714 234724 234749 234747 234357 234735 234759 234254 234372 234748 234386 234322 232920 234253 234725 234752 234758 232934 234300 232922 234723 234753 232938 232942 234228 234341 234762 234396 234342 234754 234244 234255 234358 232945 234740 234742 234373 234387 232918 234923 232921 232944 234760 234374 234385 234397 234323 234340 234727 234301 234761 232937 232939 234750 234248 232940 234741 232941 234412 234751 232869 232936 232872 232919 234359 232868 232882 232883 232871 232888 234726 232881 232873 232880 232864 232886 232865 232875 232863 232876 232879 232860 232554 232867 232887 232858 232884 232877 232878 232885 232870 232866 232859 232861 232874 232862 72521 127127 127183 127331 127867 127070 125999 125990 125989 125997 125995 126001 125998 127813 127812 127810 127809 127811 127821 127445 126010 127483 127459 126007 126014 127428 126019 127471 127426 126023 126013 126024 126021 126020 126027 126005 126008 126004 126006 126018 126025 127458 126003 126012 127409 127460 126017 126011 127427 127443 126009 127444 127473 127482 127472 126022 127961 127839 127835 127838 127837 127836 127848 127019 127016 127017 127014 127015 127018 127254 127255 127248 127249 127844 127847 127253 127246 127252 127247 127250 127251 74365 74453 74465 74448 74488 74452 74471 74469 74473 74470 74454 74444 74451 74450 74472 74446 74449 74490 74491 74492 74495 72534 234516 234797 198618 198651 198619 198784 198785 198793 199155 198983 199156 199125 199167 198991 198985 198794 198795 199165 198799 199151 198980 199163 198797 198791 199159 199164 198790 199157 199145 198988 198792 199152 198798 199162 199158 198782 199166 198981 199168 199160 199161 198858 198857 197229 197220 197236 197246 197247 197221 197238 197237 197231 197244 197233 197248 197249 197240 197235 197234 197230 197239 197227 197228 197222 197243 197242 196916 197225 197232 197223 197245 197250 197224 197226 197241 127609 127885 127846 127203 128009 127055 127075 125992 127894 126000 74464 74441 74498 74500 74502 74505 74507 74514 74475 74474 74513 74515 74484 74479 74516 74512 74487 161626 161646 162715 162635 161629 161658 162718 163231 163173 163229 163567 163568 163535 163595 163600 163602 163594 163593 163249 163237 163474 163478 163473 163477 163476 163475 163482 163485 162813 162830 162857 162758 162863 162854 162846 162811 162751 162860 162752 163486 162932 163647 162785 161662 162807 162844 162853 162931 163438 163484 162852 163471 163459 162834 162803 162856 162839 163648 162843 162861 163451 162756 162760 162840 162922 162906 162847 162759 162832 162831 162757 163472 163447 162810 162838 162784 162808 162804 162835 162753 163448 163450 162862 162836 162814 162805 162824 162826 161665 161659 163649 163449 162750 162809 162823 162822 162848 162842 162806 162859 162865 181334 181331 181335 181307 181325 181330 181344 181346 181345 181164 181332 181347 181162 181333 181306 181166 181172 181326 181169 180758 181348 180799 181342 181341 181343 181349 181340 181339 181338 180571 181161 181337 180975 180973 180976 180972 180974 181329 181328 181327 180754 394419 323255 394374 217003 216630 216331 216084 216917 217001 215085 215117 216654 216395 216142 215104 215087 216808 215094 216992 216101 217018 216220 216483 216231 216930 216168 216755 215097 216621 216691 216416 217036 215115 217108 216348 217004 216690 216998 216342 216372 216642 216140 216553 216653 216922 198853 198865 74499 74496 198789 198786 198788 74493 198990 199148 198802 199144 198800 198796 199149 199154 198989 199150 198982 199143 199126 199146 199147 198869 198866 198854 198856 198855 198867 198351 198268 72526 72527 72532 198602 198586 198585 198577 74504 198635 198777 198780 198646 198627 198648 198641 198626 198638 198778 198644 198631 198629 198779 198621 198781 198775 198632 198637 198776 198645 198639 198649 198642 198863 198862 198864 198861 198859 198860 198876 198878 198870 198908 198877 198868 198895 198979 198885 198886 198881 198987 198872 198887 198964 198874 198871 198882 198875 198879 198978 198883 198984 198936 198846 198873 198922 198485 198477 198448 198469 198481 198473 198451 198486 198470 198254 198465 198247 198265 198264 198262 198598 198278 198286 198248 198573 198450 198449 198466 198274 198289 198461 198272 198474 198296 198277 198452 198284 198275 198597 198462 198271 198322 198269 198467 198816 198266 198834 198818 198459 198850 198824 198803 198340 198817 198341 198822 198325 198324 198823 198836 198331 198346 198852 198475 198815 198814 198835 198483 198851 198342 198330 198479 198402 198454 198323 198267 198457 198329 198463 198347 198335 198458 198471 198336 199206 199172 199173 199185 199182 199202 199171 199203 199169 199175 199204 197254 199222 199170 199181 199179 199177 199183 199186 199187 199199 199205 197260 197259 199098 199198 197265 197264 197267 197272 198419 198401 198345 198426 197281 197297 198388 198422 198557 198386 198530 198441 198382 198367 198380 198703 198358 197290 197296 197291 198400 198547 198395 198747 198261 198662 198411 198423 198749 198514 198417 198408 198279 197262 198410 198372 198384 198334 198379 198374 198440 198664 197271 197274 198611 197266 197273 197275 197270 197285 197278 197306 198581 198719 198416 198354 198476 198391 198437 198735 198407 198436 198517 198328 198350 198480 198338 198526 198353 198413 198357 198539 198344 198523 198527 198428 198553 198418 198484 198562 198276 197299 198431 197294 197300 198518 198443 198720 198445 198609 198468 198591 198704 198363 198438 198356 197284 198365 198545 197263 197261 198610 198415 198404 198285 198607 198273 197293 198421 198561 198389 198444 199285 198447 198460 198516 198370 198369 198409 198472 198525 198368 197280 198748 197279 198420 198333 197286 198554 198339 198702 198270 198435 198319 198253 198320 198392 198362 197292 197304 198387 197295 198528 198560 198464 198263 198349 74501 163460 162855 162821 162935 163148 162901 163347 162820 163145 163196 161645 163220 163584 163592 163586 163585 163588 163589 163611 163579 163608 163591 163574 163610 163590 163569 163570 163587 163582 163607 163609 376766 376752 376809 376753 376765 376764 376776 376841 376781 376808 376767 376775 376791 197305 198630 198287 198634 198288 198787 199153 198403 198950 198563 198811 198601 198546 199286 199288 199284 198774 199247 199220 199248 199217 199246 199207 199212 199208 74494 72529 72558 72560 72559 72562 72557 72540 72535 72544 72545 72541 72542 72538 72543 72569 72549 199232 199240 199234 199236 199233 199239 199228 199223 199225 199237 199238 199226 199224 199264 74506 74051 74050 73911 73913 74059 74430 74258 74411 74257 74410 72550 72547 74503 73908 73909 73902 74387 74383 74382 74388 74381 74380 74377 74391 74389 198446 199230 199178 198397 198327 197287 198381 198513 198522 198442 198398 198364 198433 198343 199123 198360 198406 199249 198390 199180 198385 198321 198683 199174 197301 199176 197283 199231 199235 198429 198759 197298 197307 161616 163583 180735 180706 180537 180727 180751 180708 180628 180579 180741 180725 180783 181352 179480 181357 181353 180743 180734 179483 180728 180570 180572 181350 181356 180710 180756 180707 179478 180767 180726 180720 180772 180755 180575 180762 180576 180782 180744 180709 179479 179448 180766 180733 179477 180604 180711 180742 180577 180704 180750 180712 181117 181171 181055 181076 181145 181053 181168 181058 181064 181067 181170 181131 181060 181103 181159 180523 180521 180522 180450 180449 180448 181293 181467 181290 181296 181302 181292 181284 181257 181305 181283 181295 181304 181466 181285 181291 181468 181297 181294 181303 181049 181066 181054 180957 180813 180822 181336 180960 180981 180966 180969 180812 180808 180823 181047 180807 181160 180964 180980 180810 180816 181068 180830 180970 180819 180965 181048 180829 181324 181063 180956 180959 180978 180811 180818 180971 180826 180827 180820 180979 181163 181050 180968 180825 181052 181165 180815 181059 180958 180962 180983 181062 181057 180802 180967 180961 181051 181046 181368 181429 181428 181410 180592 181045 181380 180465 181359 181376 181456 180462 180564 180778 180457 180584 180692 181037 180792 180780 181464 181465 180503 181384 180456 181401 180464 180699 181361 181419 180467 181358 181371 181374 181469 180506 180516 181412 181372 181038 180511 181366 180693 181365 181378 180586 180562 181400 181035 180598 181355 180593 181391 181369 181373 181354 180510 181416 180477 181364 179435 181421 181387 180459 180779 181379 181383 181370 181362 180701 180463 181279 180695 180583 181445 180587 180527 181402 181430 180589 180447 180565 180561 181034 180596 180468 181040 180504 180517 180601 181398 181385 181386 180512 180581 181404 180528 181407 181406 180469 181393 181360 181390 180443 181403 180590 181408 180595 181351 180560 180428 180445 180458 180599 181399 180435 181427 180582 181039 180455 181367 180702 180567 180429 180461 73898 73918 74047 74426 74247 74045 74058 73897 74056 73899 74057 74416 73896 74065 74044 74249 74419 74069 74061 74429 74428 73916 74052 74063 73905 74248 74433 74062 73885 73904 74412 74064 74418 74255 73906 74060 74055 74393 74434 74042 74067 74392 74043 74431 74421 74422 74256 74054 74048 74427 74046 73888 74417 74423 74053 74066 73912 74435 73915 74049 74420 74432 74424 73886 74250 74252 73901 73844 73893 73894 74414 74415 74413 74153 74189 74150 74175 74217 74245 74141 74203 74144 74146 74231 74139 73884 72574 73883 72573 74254 74135 73618 73535 74134 74149 74145 74133 74138 74140 74132 74152 74143 74154 74148 74136 74124 74246 72572 72531 72530 72554 72552 72528 72533 72539 72553 72555 72536 72561 72537 72566 73882 73987 73952 73931 73930 73951 73970 73971 73986 73876 72568 73877 73950 72571 74014 74015 74026 74001 74002 73969 72564 73988 72565 74025 73852 73842 73853 73866 73843 73865 73878 73536 73592 74084 73726 74081 74083 73742 73750 73533 73725 74070 73721 73613 74078 74082 73746 73596 73738 73607 73534 73669 73602 73598 73730 73734 73597 74085 73591 73609 73614 73608 73589 73590 74121 74103 74125 74091 74119 74101 74117 74090 74089 74378 74355 74356 74354 74379 74364 74352 74353 73870 73848 73873 73798 73791 73872 73792 73790 73795 73789 73793 73794 73797 73796 73821 73875 73864 73690 73806 73542 73683 73514 73529 73687 73550 74126 73544 73548 73606 73704 73611 73699 73599 73673 74128 73707 73532 73530 73693 73688 73555 73621 74131 73713 73710 73819 73711 73820 73528 73689 73684 74120 73706 73615 73620 73682 73594 73871 74127 73785 73695 73553 73712 73777 73531 74123 73617 73705 73545 73672 73539 73674 73587 73619 73667 73781 73604 73702 73556 74122 73679 73612 73563 73540 73678 73538 73675 73616 73595 73610 73782 73784 73788 74129 73515 73622 73811 73708 73543 73714 73554 73812 73783 73786 73676 73601 73588 73694 73605 73586 73600 163598 163601 163596 163599 163645 163637 163626 163540 180696 234803 198478 234507 198663 181056 198608 198371 234473 198544 216676 198366 377362 21061 21054 21062 21055 21067 21056 21043 21069 21064 21070 21039 21066 21038 21078 21065 21059 21077 21079 21048 21053 21071 21051 21080 21076 21060 21058 21018 21017 21052 21037 21030 21015 21014 375467 375454 375458 375471 375469 375463 375464 375466 375465 375455 375461 376690 376545 376637 376692 375479 376562 375473 376555 375456 376689 376693 376544 376542 375483 376583 376613 376742 376737 375482 375493 376680 376687 376635 376584 376688 376580 375475 376683 376612 376636 376685 376734 376750 376735 376586 375494 376747 376582 376578 376579 376585 376564 375484 376559 375487 376632 376633 376681 376760 375474 376553 375478 375496 376682 376587 376558 376546 376684 375476 376751 376543 375492 375477 376563 376686 376554 376561 375472 375485 376588 377412 377396 377388 377376 377366 377375 377371 377389 375459 375460 377361 377359 377414 377415 375450 375457 375451 375468 375453 377345 377173 376982 377354 376984 376721 376719 376736 376743 376714 376715 376718 376771 376712 375491 74552 74390 74370 74371 73696 73537 73671 73547 73779 73698 73677 74376 163561 163560 163559 21012 21034 21006 21063 21016 21007 21035 21068 21003 21057 21029 21004 20930 21008 21010 21033 21005 19155 21000 21001 21002 21028 21013 73549 74102 74003 72546 73874 73701 73593 72551 73541 74251 73787 74113 73697 73603 73681 73551 74130 73724 74142 73813 72563 73703 73929 73709 73778 74137 74369 74343 73670 72570 74041 72548 73680 73780 74016 73685 74118 73521 72567 73686 73552 73668 74162 73546 73623 73700 162789 162743 162790 162747 162801 161647 162774 162772 162741 162793 162787 162769 162783 162794 162800 162796 162779 162778 162799 162776 162802 162798 162849 162748 162746 162777 162851 162744 162745 162749 162775 162788 162625 162742 162771 162850 162768 162770 162773 162766 162762 162791 162795 162781 162653 162767 162640 163466 162637 162963 162827 163652 162697 162828 162628 162797 162936 162891 162708 162858 162812 162702 163465 162733 161631 162731 162755 340844 339857 340847 340843 340842 340846 340845 375470 375462 375489 375480 375481 376631 377288 376744 375490 376717 376691 376729 376581 376759 376556 376557 376560 375486 375449 377393 376792 375488 376593 376592 376515 376653 377429 377421 377426 377420 375452 377363 375444 377360 162907 72556 74466 163544 163149 162780 74425 163351 161666 36883 38800 38799 38798 38258 38280 38266 38248 38247 36896 36901 36898 36911 36908 36899 36910 38313 36933 36928 38332 38246 36907 36932 36922 36920 38331 36936 36924 38245 36931 36921 36934 38859 38852 38853 38218 38216 38860 38802 38804 38801 38365 36917 38350 36916 38832 38856 38863 38237 38243 38836 38846 38837 38841 38877 38867 38874 38833 38816 38828 38850 36893 36900 36903 36890 54746 55741 55742 54750 54745 56025 56612 56605 56607 56039 56438 56023 56226 56022 55994 56018 56017 55987 55802 55992 56008 55993 55846 56029 56099 56245 56241 56431 56024 56087 56248 56002 56085 56591 56600 56430 56089 56610 56601 56608 56066 56074 56433 56597 56077 56069 56428 56097 56050 56093 56231 56237 56096 56094 56573 56246 56227 56247 56229 56049 56079 56232 56010 56235 56598 56244 56092 56606 56604 56034 56078 56596 56067 56599 56230 56225 56011 56080 56224 56001 56083 56611 56240 56616 56594 56075 56082 56239 56439 56595 56090 56615 56009 56613 56614 56602 56234 56609 56243 56592 56228 56436 56238 56033 56223 56236 56593 56437 56233 56250 56086 56429 56603 56242 56574 19168 91633 377427 377416 377435 377425 377436 377438 377418 377439 377402 377410 377397 377437 377407 377422 19183 19185 19200 19179 19182 19202 19180 20477 20986 20613 20611 20623 20487 20455 20471 20624 20482 20485 20994 20481 20993 20467 20457 20612 20987 20625 20468 20622 20618 20990 20634 20989 20614 20480 20633 20470 20996 20478 20463 20995 20997 20620 20991 20992 20617 20635 20484 20466 20621 20615 20619 20988 20998 20626 20999 20462 20209 20976 20815 20280 20381 20358 20359 20715 20327 20465 20361 20338 20188 20233 20383 20201 20980 20957 20437 20382 19162 20339 19193 20627 19171 19199 20979 19170 20981 20336 20335 20396 20977 20225 20226 20331 20983 20326 20405 20365 20421 20475 20192 20709 20717 20224 20258 20978 20975 20638 20190 20283 20328 20388 20366 20474 20360 20362 20380 20710 20234 20411 20454 20422 20206 20203 20628 20701 20704 19198 19204 20984 20816 20982 20818 20956 20974 20817 20631 19201 20207 20205 20200 20821 20826 20702 20985 20363 20131 20918 20920 20919 20942 20943 20929 20917 20820 20921 20707 20758 20282 20332 20227 20229 19207 20714 20722 20189 20231 20277 20705 20718 20786 20800 20721 20367 20126 20130 20129 19206 19205 19173 20953 20955 20389 19203 20390 20399 20398 20417 20712 20731 20711 20723 20708 20333 20278 20329 20393 20438 20397 20204 20128 19163 19181 20947 20951 20944 20946 19197 20427 20410 20412 20713 20208 20827 20824 20825 20630 20127 20814 20230 20406 19166 19164 20413 20636 20202 20703 20199 19196 19192 19194 20629 20322 20409 377417 377419 377365 377424 377364 377373 377394 377377 377411 376713 377430 377413 377428 376514 376720 376716 376657 377398 377423 181409 181405 179445 179469 181395 56623 56624 56670 56635 56646 56647 56669 56652 56654 56621 56629 179460 54702 181396 56626 56632 56653 56628 56650 56665 56656 56686 56660 56697 56696 179449 54715 54728 179465 180585 180451 180454 180588 180460 180594 180466 180597 180600 180591 181394 181397 20823 20375 20259 20279 20364 20337 20334 20330 20191 20473 20706 20719 20772 20744 20232 20228 54720 38862 38876 38864 38858 38851 38875 38827 38849 38835 38854 38803 38834 38855 38878 38815 38814 38857 38727 38869 38388 36891 38387 38427 38426 38772 38423 38796 38420 38431 38609 38755 38797 38782 38787 38774 38795 38429 38793 38773 38788 38610 38419 38413 38780 38612 38416 38424 38792 38614 38425 38417 38790 38418 38428 38415 38781 38794 38620 38789 38618 38783 38421 38617 38775 38777 38776 38778 38779 38716 38784 38786 38611 38715 38718 38752 38705 38740 38726 38745 38731 38714 38751 38742 38741 38717 38739 38732 38733 38411 38407 38738 38408 38743 38250 38406 38404 38749 38409 38405 38914 38414 38274 38271 38261 38264 38260 38277 38255 38273 38259 38256 38278 38263 38270 38465 38579 37980 38432 38108 38464 38488 38444 38482 38516 37952 38503 38104 38032 37951 38096 38451 38463 37960 38452 38031 37895 38607 38504 37959 38498 38446 38510 38593 38100 38445 38496 37971 38493 37975 38490 38491 38495 38506 38088 38475 38512 38524 38092 38500 38919 38918 38916 38917 38217 38236 38233 38403 38868 36929 36894 36915 36905 36904 36897 36888 36925 36895 38376 36902 36889 36919 36926 36892 38241 36927 38364 38865 38219 38239 38235 36906 36918 36914 38242 54727 54729 55947 55945 55942 55943 55941 55894 54754 54717 56047 56059 55871 55845 55837 55843 55840 55841 55839 55842 55844 55744 56045 56021 55995 56000 55978 56005 54743 54730 54732 54739 54740 56550 56734 56733 55818 55973 55976 55977 55814 54718 54708 56306 56301 56305 56316 56313 56304 56294 56302 56312 56307 56314 56315 56303 56310 56311 56309 56343 56335 56325 56384 56329 56331 56412 56435 56323 56427 56426 56432 56327 56321 56320 56334 56398 56326 56322 56317 56370 56330 56356 56333 55737 56272 56299 56271 56282 56283 56270 56284 56298 56300 3357 3348 3299 3304 3303 3300 3315 3325 3332 3314 3347 3324 3297 11 179454 179457 179455 179456 179452 179458 179464 3350 3356 3349 3351 3343 3334 3346 3333 3373 3366 3375 3374 3338 3371 3372 3355 3359 3361 3364 3353 3352 20103 20104 20102 20694 20693 20302 20275 20310 20254 20253 20288 20325 20273 20298 20696 20301 20089 20272 20313 20270 20318 20251 20264 20237 20262 20223 20269 20242 20256 20217 20317 20250 20248 20306 20241 20287 20266 20314 20309 20220 20245 20285 20324 20236 20099 20321 20297 20697 20434 20690 20691 20682 20699 20698 3358 21009 21036 19167 19161 19165 19187 19186 19160 19188 19189 19191 181426 181036 181414 180832 180977 199245 376634 180573 180800 181089 199184 198427 180963 198348 377181 180757 181392 180667 181413 181411 55874 55792 55881 55936 55793 55783 55773 55729 55767 55865 55849 55775 55828 55709 55963 55896 55718 55780 55734 55885 55928 55717 55784 55878 55806 55906 55726 55725 55918 55808 55908 55917 55854 55720 55863 55786 55831 55798 55805 55830 55923 55907 55794 56263 55960 55937 55797 55905 55710 55817 55858 55723 55913 55857 55911 55850 55829 55930 55809 55971 55735 56631 55776 56619 56625 55731 55932 55887 55819 55736 55781 56266 55712 55771 56651 55696 56645 55795 55715 55777 55933 55772 55921 54723 54725 55822 55888 55965 55900 55711 55813 55916 55702 55791 55769 55922 55893 56677 56673 55972 55835 55910 55925 56569 56558 56655 56695 54731 55788 55975 55924 55832 56618 56620 56630 56546 56668 55719 56559 56551 56570 56557 56552 56564 56571 55851 55889 55727 55967 55883 55796 55807 55882 55722 56617 56627 55935 55876 55789 55730 55855 55961 55951 55873 55968 55914 55962 55927 55877 55790 56694 56678 55838 55810 56634 56622 56633 55958 54724 55944 55770 54748 55892 55799 55890 55821 55701 55860 55948 55891 54747 55920 55912 55964 55733 55738 54753 55740 55966 55713 55816 55716 55929 55974 55926 55915 54749 56671 56675 56672 55950 56265 55959 54737 54735 54734 54733 55867 55820 54714 54721 55766 55848 56687 56688 56685 55897 55815 55864 54719 55803 55899 55714 55902 55879 55778 55898 55782 54716 56259 55800 55939 55868 56251 55919 55909 54722 55801 55869 55859 55768 55866 55853 55875 55787 55895 56264 55979 3233 3313 3329 1 3309 3301 72520 55811 3330 19172 19169 19178 19175 19176 19174 19184 19195 38238 38791 38913 38608 56318 55812 56308 55949 55695 55969 55728 55940 55732 56262 55827 55834 55946 55779 55862 55833 55884 55931 55856 56319 56324 54752 56560 56533 56545 56534 56561 56536 56535 38291 38293 38349 38750 37958 38412 38508 38268 38753 38744 38511 55804 55934 56046 38785 38267 38505 54701 38410 38754 3298 3308 3307 3306 3305 20689 20692 20700 20695 20435 3328 3331 3360 3302 3362 3363 1123 1114 1122 1060 1061 3311 3310 3354 3312 3323 20244 20097 20263 20215 20261 20284 20247 20219 20257 20286 20267 20222 20323 3288 3294 3289 3290 3292 3291 3293 3296 3295 3254 3273 3190 3272 3271 3253 3183 2984 2985 3191 3185 3188 3189 3279 2979 3287 2982 3286 2977 2975 2978 2988 2986 2989 2981 1106 2987 2980 2976 3274 3278 3182 3276 3275 3277 3281 3282 2992 2993 2990 2998 2995 2994 1104 1103 2997 2999 2991 2983 1136 3180 3284 3285 3280 3181 3283 1124 2996 3000 3002 1129 1131 1062 1130 1126 1127 1112 1111 1119 1120 1083 1096 1084 20 47 49 46 48 18 19 17 15 4 12 44 21 5 13 7 14 6 43 37 36 9 28 1102 35 10 8 1101 27 1148 32 39 23 1169 1170 22 16 26 31 24 25 1188 1149 1189 1220 34 1205 29 38 30 1206 3 751 840 829 806 1037 1039 818 1038 1071 805 1066 824 1014 835 996 995 1006 838 804 1003 1012 1009 839 1011 812 997 999 834 1002 1005 1059 1031 1010 813 830 1016 1015 841 823 1008 1013 1070 819 1000 45 33 1115 1116 1117 20172 20294 20660 20658 20293 20299 20239 20654 20647 20686 20670 20652 20166 20290 20160 20161 20319 20295 20653 20167 20178 20651 20187 20105 20176 20165 20315 20177 20688 20650 20182 20307 20659 20158 20639 20238 20311 20687 20159 20183 20171 20671 20672 754 752 753 956 948 952 815 836 807 816 814 939 944 3017 3016 3018 3003 3015 3065 3066 3057 3058 3068 3067 3248 3252 3247 3243 3245 3242 3246 3244 3087 3150 3178 3184 3081 3108 3095 3179 3187 3136 3122 3059 3063 3064 3061 3055 3056 3053 3062 3060 1244 20910 20941 20433 20935 20132 20934 20936 20940 20952 20352 20351 20300 20185 20124 20119 20084 20265 20221 20252 20114 20106 21120 20184 20243 20346 20121 20348 20101 20109 20164 21119 20308 20163 20312 20186 20249 20098 20155 20116 20195 20320 20115 20356 21117 20174 20108 20090 20122 20349 20240 20316 21118 20350 20196 20197 20113 20111 20347 21116 20353 20357 21106 20157 20107 21114 20170 20173 21095 20218 20271 20169 20954 20246 20180 20112 21115 20304 20083 20181 20154 20296 20117 20274 20198 20156 20123 20355 20118 20110 20120 20175 20255 20354 20194 20193 20100 20162 20179 20125 20168 20268 20276 19177 20281 20616 21011 20210 20945 20303 20216 19190 20305 20819 20447 179482 180630 180679 180554 180658 180614 180672 180546 180642 180553 180683 180540 180607 180612 180624 180677 180608 180676 180680 180625 180530 180673 180606 180611 180670 180551 180629 180555 180617 180674 180542 180535 180631 180549 180632 180621 180534 180623 180682 180548 180609 180547 180647 180666 180539 180499 180626 180509 180684 180536 180659 180675 180650 180520 180442 180668 180531 180508 180515 180538 180500 180663 180543 180643 180646 180501 180514 180519 180678 180627 180526 180618 180545 180550 180502 180615 180552 181044 181043 181042 181041 41 3023 1221 1234 3024 3022 1233 3034 3046 3035 3076 3075 3077 3079 3071 3073 3085 3072 3074 3069 3070 3078 3086 3083 3082 3050 1094 1100 1090 1095 1091 1029 1030 908 1088 3052 3051 1134 199221 199227 199229 199287 199290 197288 198520 198684 198515 199124 198332 197276 199289 198615 198373 198352 198393 198394 198552 198510 197282 198616 198524 198383 199275 198434 198734 197289 197268 198396 198521 198430 198326 198531 198758 198359 198511 197269 197302 198432 198414 198405 198736 198617 377337 377316 376990 377171 376980 376985 377352 377346 376973 377170 377174 376983 377333 377351 376981 376987 377177 377341 376988 376989 377349 377356 377339 377334 377348 377357 377315 377353 377347 377302 377475 377287 376969 376839 376838 376825 377299 377276 376827 376966 377278 377301 377303 377293 376831 376819 377279 377277 377266 377294 376832 376817 376967 377310 377292 376822 377300 377311 377304 377306 377305 377314 377312 376829 376821 376820 377344 377172 376975 377179 376986 377350 376978 377313 376824 376836 376965 376835 376828 376968 376971 376816 376834 377275 377175 376992 377338 377340 377335 377358 377178 377342 376974 376972 376977 377058 377355 376979 376976 377180 377336 377343 376970 377395 376531 376669 376532 376457 376456 377168 377140 377068 377065 377154 377059 377069 377126 377046 377045 377044 377057 377169 377056 377051 377047 377050 377048 377052 376541 376459 376458 376665 376801 376811 376673 376647 376648 376649 376526 377055 377049 377053 376530 376520 377474 376536 376644 376537 376519 376525 376521 376661 376512 377367 181027 181015 181005 181004 181016 181003 181031 181032 181033 181017 180640 180513 180656 179471 180992 180703 180524 180657 180613 179476 181270 180569 180566 180533 180671 180541 180622 180638 180996 180998 180619 180641 180610 180995 181278 180648 180518 180661 179484 179481 180997 180616 180660 181266 181269 181268 180652 180999 180700 180653 180529 180507 179487 180649 180664 180635 1093 1133 180662 180984 181470 180691 180644 180434 180620 180639 180669 181267 180698 180655 180568 180602 180651 180633 180452 180738 180654 180446 180578 180532 180444 180681 3011 968 3014 964 960 179486 376627 376517 376670 376667 376595 376576 376606 376599 376675 376451 376478 376590 376591 376630 376679 377454 376475 376617 376659 376655 376529 198282 198482 198721 198519 198318 198512 198355 198439 198685 198412 198361 198337 197277 198599 377479 377368 376600 376677 376640 376676 376660 376666 376618 377387 376701 376601 376548 376518 376597 376609 376463 376624 376621 376629 376466 376619 376577 376516 376533 377370 376549 376625 376509 376534 376651 376453 376540 377392 376575 376524 376523 376700 376620 376763 376615 376608 376705 377374 376656 376668 376528 376639 376527 376610 376702 376703 377369 377478 376605 376658 376678 376552 376443 376622 376654 376522 376650 376616 376535 376598 376671 376511 376711 376626 376596 376572 377465 376594 376662 376628 376547 376538 376708 376663 376551 376469 376508 376674 376574 376573 376642 376704 181417 179466 179459 181420 771 772 769 3411 781 768 3251 1082 766 774 897 748 808 896 906 759 760 825 765 888 943 942 890 749 820 757 1089 732 893 899 902 3410 763 826 885 2974 739 747 3413 809 762 810 905 750 903 891 1092 832 886 756 821 3416 887 3412 894 900 746 3415 3054 3164 3036 827 831 3414 1204 50 51 40 42 1168 1243 1232 1187 1007 1219 837 907 1147 3223 3250 3222 3224 3220 3232 3221 19154 3240 3238 3241 3239 3237 3249 3215 199120 199085 199088 199076 199102 199097 199087 199086 199113 199111 199115 199116 199114 199089 199112 199103 199121 199110 376550 376604 376472 376706 376707 376641 376623 376638 376709 376539 376652 376510 377473 376571 376611 376672 376460 376474 376473 376468 376479 376471 376444 376464 376467 376465 376486 376476 376438 376437 376462 376477 376455 376788 376789 376461 72519 56723 56736 56731 56737 56568 55870 54741 54742 55886 54744 56738 56683 56674 55880 56562 56537 55743 55721 56679 56563 56712 55785 54726 55739 55970 55861 56693 55938 56676 54712 56732 54751 56572 54713 54711 55774 55852 56682 54707 54710 56524 55724 54709 56680 56684 54738 56735 55836 56681 54736 163223 163312 162624 163483 163464 163214 163216 163212 163185 163208 163326 162642 163198 162609 162616 73561 73558 73562 73557 73559 73560 38809 38813 38808 38831 38812 38806 54700 38826 38811 36881 36882 21121 20632 38440 37898 38083 38515 38232 38480 38314 38234 36913 36912 37964 38206 36909 38481 38551 36923 38443 38112 38485 38866 36935 38487 38565 38244 38086 37953 38484 37896 38915 38501 38492 38502 37897 38483 37954 38292 38537 38453 37965 37970 37976 38363 37969 38499 38514 38613 38494 38333 38378 38616 38489 38479 38507 38312 38447 38497 38087 778 777 775 776 780 779 3365 3401 3390 3409 181301 180453 180505 180705 180525 180574 180470 180472 179485 180473 181363 179441 179440 179461 179453 179442 179462 179444 179450 179451 179446 179470 180475 180474 180544 180476 179447 179475 179474 179473 179472 179443 179467 181418 199197 199122 377004 377001 377480 377064 377067 377063 377008 377025 377007 377060 377061 377066 377075 377012 377072 377076 376993 377013 377073 377098 377041 377042 377005 377077 377112 377085 377477 377476 377071 377014 377024 377062 377026 377040 377006 377054 377036 377372 376454 376607 377043 376710 376513 892 767 1001 822 764 901 773 998 828 889 904 1004 895 833 898 817 811 770 758 761 755 733 38807 38348 38912 38893 38904 181471 199109 199283 199104 376569 376570 376603 376664 376602 376452 376787 376470 216109 216110 216112 216111 216113 216114 38275 38810 36930 38861 38377 38486 38422 38805 38619 162699 162878 162615 162712 162690 162877 162719 162700 162872 162880 162720 162883 162711 162876 162707 162688 162875 162632 162710 162623 162701 162722 162706 162881 162882 162680 162696 162683 162873 162879 162724 162694 162874 162681 162695 162721 162723 162689 162792 161661 161622 162763 162925 161632 162636 162923 162782 161668 162729 162682 161667 162765 162652 162705 162754 162864 180694 180603 181415 180563 179463 179468 180665 180471 180645 180697 198292 198291 198294 198295 198290 198293 198283 197303 198529 198280 198281 198783 127498 127828 128010 127708 127234 127833 127845 127236 127237 127988 128011 127006 127822 127245 127241 127826 127235 127244 127240 127238 127009 127012 127999 127242 126985 127800 127840 128007 127827 127239 127834 127243 127713 127575 127570 127539 127578 128014 127703 127178 162991 162996 162992 163143 162994 163004 163008 162993 163141 163142 163003 163140 163001 163000 162983 162988 162999 163006 163139 163138 163007 163010 163137 162997 163011 162989 375495 217053 216997 217043 217044 217045 217046 217047 217048 217052 217054 217055 217056 217057 217064 217058 217059 217065 217067 323618 323619 323620 323628 323641 323655 323669 323683 323697 323711 323712 323602 323603 323604 323605 323606 323607 323608 323609 323610 323611 323612 323614 323615 323616 341431 341433 341439 341447 341460 341474 341488 341502 341531 341530 341516 341429 341428 341427 341426 341425 341424 341423 341422 341421 341434 341435 341438 341437 341430 376485 376480 376481 376482 376483 376484 394878 394879 394880 394881 394988 394987 394973 394959 394945 394931 394917 394882 394883 394884 394885 394886 394887 394888 394890 394891 394892 394894 394895 394896 394904  0
99.39/99.46	
99.39/99.46	c Core has size 12635

OK	12635

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

running on 2 cores: 5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB


[startup+0 s]
/proc/loadavg: 4.84 4.40 2.09 4/189 2064
/proc/meminfo: memFree=30840088/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=34292 CPUtime=0 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 995 0 0 0 0 0 0 0 25 0 1 0 915801609 35115008 933 33554432000 4194304 4365125 140735335013824 18446744073709551615 4292364 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 8573 946 245 42 0 5721 0

[startup+0.0999519 s]
/proc/loadavg: 4.84 4.40 2.09 4/189 2064
/proc/meminfo: memFree=30840088/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=59640 CPUtime=0.09 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 12644 0 0 0 7 2 0 0 25 0 1 0 915801609 61071360 8866 33554432000 4194304 4365125 140735335013824 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 14910 8868 254 42 0 12058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59640

[startup+0.100949 s]
/proc/loadavg: 4.84 4.40 2.09 4/189 2064
/proc/meminfo: memFree=30840088/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=59640 CPUtime=0.09 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 12671 0 0 0 7 2 0 0 25 0 1 0 915801609 61071360 8887 33554432000 4194304 4365125 140735335013824 18446744073709551615 4203216 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 14910 8887 254 42 0 12058 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 59640

[startup+0.300914 s]
/proc/loadavg: 4.84 4.40 2.09 4/189 2064
/proc/meminfo: memFree=30840088/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=65996 CPUtime=0.29 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 20051 0 0 0 26 3 0 0 25 0 1 0 915801609 67579904 12784 33554432000 4194304 4365125 140735335013824 18446744073709551615 237278879488 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 16499 12784 254 42 0 13647 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 65996

[startup+0.700844 s]
/proc/loadavg: 4.84 4.40 2.09 4/189 2064
/proc/meminfo: memFree=30840088/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=90924 CPUtime=0.69 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 39259 0 0 0 63 6 0 0 25 0 1 0 915801609 93106176 18861 33554432000 4194304 4365125 140735335013824 18446744073709551615 4261078 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 22731 18861 260 42 0 19879 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 90924

[startup+1.5007 s]
/proc/loadavg: 4.84 4.40 2.09 5/190 2065
/proc/meminfo: memFree=30813284/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=111280 CPUtime=1.49 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 49067 0 0 0 141 8 0 0 25 0 1 0 915801609 113950720 20451 33554432000 4194304 4365125 140735335013824 18446744073709551615 4242785 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 27820 20451 263 42 0 24968 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 111280

[startup+3.10042 s]
/proc/loadavg: 4.78 4.39 2.10 5/190 2065
/proc/meminfo: memFree=30683084/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=111280 CPUtime=3.09 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 49901 0 0 0 301 8 0 0 25 0 1 0 915801609 113950720 21049 33554432000 4194304 4365125 140735335013824 18446744073709551615 4257861 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 27820 21049 263 42 0 24968 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 111280

[startup+6.30085 s]
/proc/loadavg: 4.78 4.39 2.10 5/190 2065
/proc/meminfo: memFree=30787296/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=6.29 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63317 0 0 0 620 9 0 0 25 0 1 0 915801609 169484288 32466 33554432000 4194304 4365125 140735335013824 18446744073709551615 4261078 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32466 264 42 0 38526 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 165512

[startup+12.7007 s]
/proc/loadavg: 4.66 4.38 2.12 5/190 2102
/proc/meminfo: memFree=30757788/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=12.69 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 1260 9 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4242876 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 165512

[startup+25.5004 s]
/proc/loadavg: 4.56 4.36 2.14 5/190 2102
/proc/meminfo: memFree=30666528/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=25.49 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 2539 10 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4258165 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 165512

[startup+51.1009 s]
/proc/loadavg: 4.36 4.33 2.18 5/190 2149
/proc/meminfo: memFree=30719584/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=51.09 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 5098 11 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4272115 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 51.09
Current children cumulated vsize (KiB) 165512

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

[startup+76.7003 s]
/proc/loadavg: 4.30 4.32 2.24 5/190 2187
/proc/meminfo: memFree=30531648/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=76.69 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 7657 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4277941 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 76.69
Current children cumulated vsize (KiB) 165512

[startup+89.501 s]
/proc/loadavg: 4.23 4.31 2.26 5/190 2187
/proc/meminfo: memFree=30512564/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=89.49 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 8937 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 89.49
Current children cumulated vsize (KiB) 165512

[startup+95.9009 s]
/proc/loadavg: 4.21 4.30 2.27 5/190 2187
/proc/meminfo: memFree=30499044/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=95.89 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 9577 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4243288 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 95.89
Current children cumulated vsize (KiB) 165512

[startup+97.5006 s]
/proc/loadavg: 4.21 4.30 2.27 5/190 2187
/proc/meminfo: memFree=30499044/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=97.49 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 9737 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 97.49
Current children cumulated vsize (KiB) 165512

[startup+98.3005 s]
/proc/loadavg: 4.19 4.29 2.28 5/190 2187
/proc/meminfo: memFree=30498920/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=98.29 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 9817 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4272204 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 98.29
Current children cumulated vsize (KiB) 165512

[startup+99.1003 s]
/proc/loadavg: 4.19 4.29 2.28 5/190 2187
/proc/meminfo: memFree=30484780/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=99.09 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 9897 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4264104 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 99.09
Current children cumulated vsize (KiB) 165512

[startup+99.3003 s]
/proc/loadavg: 4.19 4.29 2.28 5/190 2187
/proc/meminfo: memFree=30484780/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=99.29 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 9917 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 99.29
Current children cumulated vsize (KiB) 165512

[startup+99.4003 s]
/proc/loadavg: 4.19 4.29 2.28 5/190 2187
/proc/meminfo: memFree=30484780/32950904 swapFree=67055440/67111528
[pid=2064] ppid=2062 vsize=165512 CPUtime=99.39 cores=5,7
/proc/2064/stat : 2064 (MoUsSaka) R 2062 2064 1767 0 -1 4202496 63342 0 0 0 9927 12 0 0 25 0 1 0 915801609 169484288 32491 33554432000 4194304 4365125 140735335013824 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 5 0 0 0
/proc/2064/statm: 41378 32491 264 42 0 38526 0
Current children cumulated CPU time (s) 99.39
Current children cumulated vsize (KiB) 165512

Child status: 20
Real time (s): 99.4705
CPU time (s): 99.4699
CPU user time (s): 99.3379
CPU system time (s): 0.131979
CPU usage (%): 99.9994
Max. virtual memory (cumulated for all children) (KiB): 165512

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

runsolver used 0.161975 second user time and 0.385941 second system time

The end

Begin job on node121 at 2011-06-14 11:00:19
IDJOB=3501481
IDBENCH=90026
IDSOLVER=2000
FILE ID=node121/3501481-1308042018
RUNJOBID= node121-1308041928-1788
PBS_JOBID= 13564692
Free space on /tmp= 74024 MiB

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

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

MD5SUM BENCH= c47eecf0b402e36539f0f87ce1331bd1
RANDOM SEED=1739455115

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

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

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

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


/proc/meminfo:
MemTotal:     32950904 kB
MemFree:      30840260 kB
Buffers:        187724 kB
Cached:         882276 kB
SwapCached:       9696 kB
Active:        1128668 kB
Inactive:       781372 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950904 kB
LowFree:      30840260 kB
SwapTotal:    67111528 kB
SwapFree:     67055440 kB
Dirty:           35664 kB
Writeback:           0 kB
AnonPages:      838120 kB
Mapped:          13560 kB
Slab:           133148 kB
PageTables:       6624 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586980 kB
Committed_AS:  1365816 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= 74028 MiB
End job on node121 at 2011-06-14 11:01:58