0.00/0.00	c MoUsSaka with meat
5.69/5.78	
5.69/5.78	s UNSATISFIABLE
213.58/213.68	c Core is minimal
213.58/213.68	
213.58/213.68	v 68114 68103 68105 68102 75029 75028 75027 67973 67974 67998 67997 75026 68191 68393 68106 82053 81851 81891 81956 81955 81953 81922 81954 68110 68111 81779 81780 81664 81682 81684 81683 81775 81666 81681 81665 95511 95647 95712 95713 95710 88884 81776 81777 81680 81679 88688 88689 88687 81669 81670 81774 88609 88607 88605 88610 88606 88514 88494 88496 88495 81668 88686 95325 95326 95330 102108 102107 95279 102059 102109 102068 95435 95340 95341 95328 92473 91514 92289 92748 93037 92870 91527 92106 93173 93174 98209 92644 99852 99904 98190 99119 99302 98356 98553 98551 95229 98208 99578 99463 98937 99462 99286 98306 98256 98425 98400 99701 99590 99903 95238 98342 96018 98271 99868 99685 98257 99988 99120 99103 99303 99301 98343 99577 98399 98936 98318 88510 88509 88511 88498 88500 88499 88513 88512 102025 96660 95331 96772 98171 97884 102004 96499 96498 97046 96648 95743 97398 101994 97047 98048 91344 98159 97574 91359 89027 89625 100076 93245 95466 98158 96919 95500 96536 97399 95757 96551 97590 97575 95503 97573 96511 95844 95502 97702 95336 96770 97412 97397 98061 97689 96935 95462 91343 95758 95756 91053 91342 89026 90758 90568 90569 90384 91233 91341 90385 88670 88674 88616 88618 88620 91426 88625 88624 88623 88628 88626 92745 93075 91375 91363 91361 93074 91360 91993 91832 91556 91722 91819 92746 92869 88612 93038 92094 93156 92455 88622 92646 92631 91424 92855 91980 93022 92274 91427 91441 91379 91477 91594 91442 91489 93024 92647 92288 91571 91831 93073 92275 92854 91425 92853 88629 92091 88614 92638 88619 93147 91378 92649 91570 93018 92107 92290 92273 91525 91364 93072 91513 92093 91569 93053 91979 92856 91708 93071 91476 91490 91377 91830 89188 91817 92458 92761 91557 92092 93054 91723 92759 91994 92456 92747 91707 91818 92634 91526 91706 93023 93035 92871 91475 92472 92632 93157 88613 88615 88617 92645 92272 88630 88621 88627 92637 93155 88611 91440 93021 92457 93158 91721 91978 91610 91558 91488 91596 91995 92105 92648 92760 91611 91595 92471 92633 93036 91512 91609 54454 54451 54449 97897 95741 88721 88752 88883 88786 88681 99591 99288 99464 98660 98647 98441 98386 98388 99684 98935 99686 99118 98320 98191 99104 98387 99867 99902 98357 99105 98194 88879 88881 88880 102058 98538 99901 99866 95262 98649 98661 98809 98662 98205 98552 98401 99883 99576 98923 99700 98424 99699 98272 95227 99884 98193 95714 95278 102092 95437 102057 99478 98810 95342 95324 95436 95228 98823 98825 98355 98648 98824 98440 98808 99479 98047 96535 100075 90859 95164 96659 96768 95467 95856 96469 97414 91218 91037 90216 90386 96457 96652 88817 88848 88882 88783 88784 88785 99853 100004 99477 99287 95277 98255 98344 98439 98270 98426 98924 99854 99865 98922 99905 98537 98536 98319 100003 99589 98307 98207 98305 54452 54444 54450 54443 54442 54635 54636 54634 54441 55038 54733 68296 68294 68262 68295 68293 68231 68099 68100 68055 68098 34041 33956 33964 55328 95329 95338 95440 88604 95344 95439 95678 95339 95709 95740 96925 95343 95337 95711 74972 68101 61174 61176 61175 61194 61868 61562 61561 61560 61361 61497 61563 61528 61559 61432 61401 61465 61466 62158 68209 40794 33960 33961 40973 40911 40974 40976 40975 40942 40871 34242 20304 27251 27347 27412 27411 27211 27413 27378 27410 54314 54338 54313 54337 61276 68241 68198 68199 68197 40678 40653 40654 40786 40782 40783 40788 40787 40793 54395 54438 54394 68336 61463 68196 54602 40677 41070 41073 41071 41038 41072 41069 41007 47719 48208 54334 54336 54335 54482 54316 40735 40778 40734 40780 40779 34177 40785 40777 34146 34143 34081 34144 34145 40789 33949 33955 33950 40686 40684 40795 40704 40685 40796 41668 33904 33905 33948 34240 34241 34239 33947 33954 33951 33959 33962 33963 40791 34208 34243 40889 34838 33824 33847 33848 33823 33966 33970 33965 33969 33967 34244 33968 33874 33855 33856 54684 54686 54685 54682 54683 54687 47624 54681 54677 54678 54680 54672 54692 54689 54691 54694 54688 54690 54693 54695 54671 54697 54696 54437 47616 27125 27132 27124 27127 27129 27128 27133 13457 13463 13462 14058 13458 13470 13471 27409 13415 13414 13474 13466 6773 6774 6768 6769 6781 6780 6778 6777 6776 6779 6771 6775 6772 7321 6783 6782 6717 6697 6695 6696 6716 20583 21178 20486 27229 815 822 216 2117 1364 3021 1772 823 1365 1771 1366 1582 10 1583 1362 2116 829 825 826 1359 2115 3934 3933 1367 2114 2831 824 827 828 2118 27402 27381 27401 27400 27407 27405 27383 27403 27379 27398 27404 27399 27380 27018 26994 27118 27117 61506 20299 20302 27016 20294 20301 20300 54435 54434 20297 20290 20289 20303 20293 20292 27075 27074 6667 6666 6643 6642 61526 61527 54670 54669 54674 54668 54673 54679 54676 61525 61524 61517 61522 61523 61519 61521 61520 61502 61501 61511 61516 61514 61510 61515 61508 61507 61518 61513 61512 54520 54524 54433 54432 54407 54431 54409 54315 54429 54430 54317 54318 54333 54332 54319 54423 54422 61557 3972 3973 3955 5132 3953 3954 3969 3971 3942 3941 3940 3939 3970 3555 3932 61439 61447 61443 61444 61448 61446 61442 61445 61436 61457 61456 47652 61462 61435 61438 61437 47650 47649 47647 47639 47638 47640 47641 47644 47636 47645 47643 61455 61454 61461 61434 61460 54707 61452 61451 61458 61453 61433 61459 61450 61441 61449 61440 4741 4794 5019 4973 5052 5104 4970 5105 5175 4971 5176 5190 5015 5070 5003 5016 4958 3019 5 5051 5002 2904 3968 3966 3960 3965 3967 47613 13358 47610 47615 47609 47612 33854 6811 6770 4972 5143 5145 5140 5068 5134 5137 5142 5141 5139 5144 5138 4795 3947 3952 5136 5135 5133 6664 6663 2852 4139 2908 5188 2907 5187 54675 47637 47642 47646 47648 54456 54460 54633 54531 54364 54344 54571 54345 54346 61379 54436 13472 13468 13469 13467 13473 2125 4258 4903 4897 4900 4898 4848 4800 4904 4902 4899 4865 4860 1355 1358 1356 820 821 743 1032 1332 1693 1155 2097 2016 2018 2098 2017 1160 2011 1161 2019 2099 2101 2109 2096 2110 2103 2108 2104 1159 2020 2107 2001 1706 1361 1774 1353 2006 2102 40749 40771 40747 40775 40776 40774 40772 40773 26997 27011 26998 27000 27010 27012 26999 27013 27009 27116 27111 27089 27113 27112 27087 27114 27115 40676 40656 40675 40674 40660 40673 40669 40658 40670 40671 40657 40659 40672 27408 27286 27306 27301 27283 27299 27386 27396 27392 27390 27387 27385 27382 27397 27388 27391 27395 20452 27314 20483 27287 27304 27302 27285 27298 27296 27294 27308 27307 27300 27284 27312 27311 27293 20332 27309 27310 27292 54320 54331 54330 54329 27162 33992 33953 33952 40762 40763 34112 33871 33872 33858 33860 33873 33859 40668 54328 54628 54626 54631 54625 54624 54629 54630 54627 54623 54603 54632 54706 54726 54725 54708 54711 54712 54722 54718 54699 54703 54719 54715 54728 54709 54607 54608 54701 54724 54721 54716 54714 54704 54723 54727 54710 54700 54705 54720 54717 54713 54702 47805 47804 47803 47701 47806 47741 47902 47837 47903 47868 47900 47901 47899 47772 48498 54549 47515 47514 47534 47516 40790 47519 47520 47533 47531 47518 47532 40784 40792 41378 40781 34548 41028 41036 41017 41032 41030 41022 41031 41020 41018 41037 41012 41034 41025 41016 41027 41026 41029 41023 41033 41011 41035 41021 41024 41013 41014 41019 41008 41009 41010 41015 51235 51231 51218 51230 51594 51417 51962 51234 51219 52034 51708 51392 51236 51938 51963 51232 51216 51818 51819 51393 51217 51937 51569 51707 51233 52013 51593 52012 40728 40707 40706 40708 40703 40701 40689 40690 40688 40702 54581 52162 52201 52227 52200 52163 52141 51515 51800 51683 51212 52226 50407 51496 47860 47858 47866 47863 47862 47867 47864 47841 47857 47859 47865 47861 47842 47847 47856 47853 47855 47850 47844 47848 47854 47851 47852 37083 37343 37352 37181 37353 37190 37189 37354 37355 37338 37187 37339 37188 37071 37080 37344 37340 37180 37350 37082 37351 37179 37192 37072 37081 37191 37635 37634 37650 37833 37816 37817 37818 36786 36785 36802 36787 36784 51229 40727 51418 52035 51514 51568 40719 40723 40724 40721 40725 40722 40726 40717 40718 37454 37452 37467 37633 37453 36732 36728 36727 37178 37177 40930 40932 40929 40923 40921 40926 40928 40931 40927 47757 47743 47762 47748 47753 47752 47765 47744 47770 47766 47759 47742 47758 47755 47771 47756 47764 47751 47745 47763 47747 47768 47767 47749 47760 47761 47746 47769 40918 40939 40914 40924 40941 40940 40913 40919 40920 40916 40915 40912 40936 40934 40935 40933 54387 54368 54367 54366 54388 54386 54373 54372 36733 36734 36739 37933 37552 36747 37558 37576 37733 37556 38352 36746 38503 38374 38566 37574 37758 38278 37757 38375 38481 38540 37573 37909 37732 37559 36745 37570 37908 38277 37557 37934 38353 38302 36740 37575 37571 37569 38564 38022 38541 38303 38502 38159 38023 38158 38140 38567 38048 38565 37572 40922 40925 40917 38047 54573 54601 61407 61423 61425 54582 61404 61428 61430 54578 54577 61429 54588 61405 54572 54593 61426 61403 54584 54596 54575 54600 54589 54598 54585 54595 54583 54586 54599 61402 61427 54574 61422 54579 54592 61424 61431 54580 54590 54594 54597 54576 54591 54587 61418 61417 61412 61420 61409 61408 61414 61421 61410 61411 61406 61419 61416 61413 61415 54698 54667 54731 54732 54730 54729 47904 36735 68142 61312 47630 47626 47625 47629 47627 61289 61285 61290 54734 56608 56610 56708 56609 56707 56709 56871 56872 56722 56887 56870 54459 54455 61286 61287 54457 61558 61192 61193 68263 68292 55792 55682 55531 55778 55779 55532 55530 55793 55683 55684 55780 55518 55681 55517 55791 55519 55673 55672 56721 56886 56885 56593 56595 56594 61180 61191 61178 61179 56234 56251 56419 56418 56236 56068 56434 56417 56235 55489 56432 55477 54863 54875 55476 54876 55475 56249 55490 56066 54877 56433 55488 56250 54864 56067 54862 56053 56055 56054 55954 55956 55955 55939 55941 55789 55572 55790 55571 55570 55782 55781 55788 55951 55952 55555 55557 55556 55669 54523 54487 55680 55679 54349 54348 54363 54360 54361 54359 55668 54522 54362 56720 55940 54350 55667 55944 54486 55945 55953 54761 54763 54776 54778 54777 54760 54762 50379 57066 57193 56919 57083 56888 57192 57068 56917 57179 57191 56918 57067 56903 56904 57178 50364 61556 57081 57082 61143 61144 61168 61167 61146 61165 61164 61166 61145 61163 61149 61162 61148 61147 68698 68394 88464 88488 88463 88487 88485 88484 88486 75091 75062 64403 64499 64512 64674 64510 64658 64500 64402 64400 64401 64391 68144 68147 68146 68143 61281 61272 61273 61280 54447 54440 54439 54448 54445 54453 54471 54470 54480 54476 54478 54477 54474 54467 54466 54472 54475 54473 54468 54469 54479 68260 68261 68113 58648 58649 58538 58248 58793 58792 58768 58865 58864 58424 59057 58993 57237 58065 59056 58971 58326 58223 58423 59031 58399 58345 58247 58630 59030 58066 58513 58344 58992 58843 58537 58042 88483 88468 88480 88470 88469 88479 88482 88481 88466 82054 82049 82051 82018 82052 82050 81987 89012 91216 90399 90745 90218 90567 90744 90582 89627 90759 91068 91067 89626 89639 90743 91054 90217 90872 91020 91038 90583 91022 93246 96936 96664 96649 96661 96497 97867 97865 100077 97033 96456 95843 96653 96771 96932 96550 89638 90858 90870 90857 89025 89013 90871 90400 91217 91036 91035 90401 90760 90584 91069 91021 89640 89014 95217 96769 96921 96760 96931 96920 96510 96663 97216 97688 98062 97588 97048 88673 89930 89833 89818 89819 88636 89943 89941 89834 97851 96468 98046 88632 96647 95332 96537 96759 97413 95855 97700 96762 96512 89822 89932 88508 89931 89831 89823 90095 88506 90103 90102 89830 90094 89939 88507 89829 90101 84513 84499 90205 89707 89669 96758 97230 97035 97215 97231 98173 98063 97034 96924 100092 95742 88502 89938 88501 89940 97868 97687 97852 97589 96455 95504 97899 95842 98172 96934 96761 96662 93263 95174 93247 90091 88672 90105 93175 96773 96552 93262 97883 100093 102047 97898 96470 96933 95195 100005 97214 95857 97850 97701 97229 97866 89706 89721 89667 89668 90104 89942 89928 84514 90090 89817 81802 89680 91328 84529 89681 90089 89832 89705 90204 89722 90203 91231 89929 89682 88637 91232 91329 90106 89720 88928 88927 88926 88911 88913 88912 81858 81857 81859 81856 68112 61275 61269 61270 61271 61274 68252 68256 68258 68255 68253 68257 68232 68237 68254 68259 68243 68251 68250 68245 68247 68246 68248 68249 68242 68236 61279 61277 61278 61282 61283 61302 61300 61301 61298 61296 63717 63701 63700 61218 61217 61198 62306 61705 61692 61707 61694 62307 62320 61706 61693 62305 62319 61593 61354 61350 61608 61591 61592 63439 63065 63552 62885 63080 63538 63064 62897 63440 62883 62884 63537 63438 63539 62898 63081 63066 62896 63079 62362 62401 62400 62347 62348 62349 62361 62360 62402 62784 62514 62771 62785 62622 62769 62513 62512 62623 62786 62621 62770 68392 68327 68391 68390 68389 68358 68354 68332 68349 68338 68353 68345 68331 68351 68348 68355 68341 68342 68350 68347 68340 68344 68346 68343 68352 68356 68357 68337 61564 81800 81799 81798 81795 81796 81797 81794 81792 81791 81788 81790 81789 81787 81786 81793 68423 68438 68422 68437 68436 68524 68537 68536 69135 69148 69136 68523 69150 69137 69149 68535 68522 70270 70254 70253 70255 68107 68108 68109 82358 69173 69595 69434 68150 69172 68184 81783 81784 81782 81781 81785 68005 68004 68021 68022 68006 68023 68024 68115 68020 68019 68120 68183 68182 68008 68010 68009 68119 68116 68018 68104 68117 75161 68140 75186 75185 75165 75175 75171 75173 75168 75176 75174 75182 75181 75180 75178 75183 75162 75172 75177 75170 95327 64399 64386 64398 61189 61190 64387 64059 64388 68135 68137 68138 68139 68136 68134 68026 68048 68028 68027 68047 88910 95698 95701 95699 95681 95704 95700 95708 95702 95682 95706 95707 95683 95680 95689 95694 95691 95686 95697 95690 95685 95703 95705 95679 95695 95684 95687 95696 95692 95688 95693 75090 75084 75088 75085 75087 75086 75066 75082 75083 75067 75089 75097 75072 75073 75079 75076 75081 75075 75080 75077 75078 69344 69343 69342 69451 69452 69453 69327 69329 69328 69726 69911 69895 69909 69727 69714 69910 69715 69713 69728 70077 70078 70079 70094 70092 69896 70093 69894 69615 69600 69191 69616 69601 69614 69599 69192 70531 70367 70530 70381 70369 70380 70382 70269 70268 70532 70368 70547 70546 70545 69190 88465 97586 97587 97579 97578 97585 75114 75113 75098 75112 75111 75107 75104 75118 75115 75119 75117 75109 75121 75122 75093 75106 75108 75120 75116 75110 95551 95616 95615 82808 83555 84511 83101 82999 84403 84512 83570 77684 82080 83571 82987 83273 84387 82992 84388 84498 82989 83274 83261 83271 84223 83928 84027 83004 83001 81676 82890 82850 83099 82851 81678 82892 82837 83260 82852 83929 82839 83386 83556 82795 82810 83752 83738 83259 82877 83003 82082 83914 81671 81844 84029 81672 84237 82081 81840 81842 82891 82838 84224 84208 82083 82098 81843 81770 81771 82184 83265 81806 83264 83272 77699 83913 83100 84028 84192 82796 83753 82797 84238 83374 82195 84239 83915 83737 84042 84040 84041 83930 82875 82197 82809 84190 83739 83373 83113 83112 83098 82096 83276 83375 83387 83754 82196 84206 83275 82988 81677 82097 83554 84386 82876 82993 83110 84205 84207 84191 83002 82182 83111 81807 84401 84402 83102 83109 83000 83108 83388 83569 82183 75169 75184 67995 67976 67994 67996 75179 75164 75167 69324 69325 61303 61299 61297 75159 75160 75166 75163 75158 69319 69323 69321 69322 68042 68046 68045 68032 68031 68043 68044 68039 68033 68041 68016 68017 68054 68037 69476 69475 69458 68157 74941 74940 74804 74803 74828 74936 74827 84549 85150 84987 85000 85149 84892 84891 84893 84545 84988 85164 85001 84740 85002 84728 85165 84780 84727 84989 84741 84739 85148 85163 84781 84779 84726 68007 71066 71105 71330 71080 71230 71340 71494 71120 70888 71221 71342 71329 71068 71079 71222 71338 71233 71328 71337 71331 70874 71228 71217 71067 70887 71490 71081 71503 71104 71501 70889 71341 71500 71218 71232 71488 71216 71489 71327 71502 70873 71504 70885 71229 71231 71121 71119 71339 71106 71493 71505 74884 74928 74885 69340 69341 74933 68421 68502 68501 69517 69518 69519 69211 69210 69312 69199 69314 69313 69197 69198 69349 69348 69154 69155 69153 68400 68148 68505 68404 68167 70951 71966 72534 70950 72668 70987 70985 72365 72584 71616 72364 72379 72143 72582 71617 71603 71982 71024 72270 71799 71023 72157 72546 72533 71981 71615 71967 71968 72548 72271 71783 70999 72257 71784 72144 72583 72159 72269 72532 69302 69306 69305 69307 69304 69309 69299 69301 69298 69441 69308 69442 69450 69449 69300 69514 69193 69347 69194 68153 68154 68155 68156 68149 68403 68504 69295 69296 68168 68169 69231 69230 69232 68420 68097 75197 70742 70579 70564 70577 70578 70563 70548 70727 70741 70728 70726 70743 81686 81708 81687 81688 81706 81692 81707 81705 81693 95529 95582 95613 95614 89478 88449 88448 88774 88755 88778 88781 88777 88782 75528 88779 88756 88776 88780 88775 88754 88773 88753 68096 68094 68095 68082 68083 74834 74836 74835 74853 74852 74838 74851 74850 74840 74839 74849 74854 70852 70853 64039 70851 70366 70526 70839 70838 70725 70529 64024 74950 74949 74945 81767 81768 81769 81773 81772 75061 75021 75157 75220 75126 75223 75123 75124 75125 75222 75221 75219 81952 81923 75187 75188 75064 75065 74939 75063 75092 74947 74946 75224 82027 81945 81951 81950 81924 81925 81928 81926 81949 81948 81944 81946 81947 81943 81927 72142 72258 72581 71035 70986 72381 71983 70936 71798 71037 72563 70998 72158 70935 70952 72683 71000 71022 72366 72547 72545 72684 70934 71036 71604 70871 71800 72585 72564 70870 72256 71602 72380 70937 71785 81933 81935 81934 81938 81939 81942 81937 81941 81940 81936 81869 81932 81929 81930 81931 75818 67972 68130 68132 68126 68128 68129 68131 68133 68127 69169 69170 69167 69171 69168 69166 69206 69205 69209 69207 69208 74788 74789 81619 81618 81634 81656 81658 81657 81633 81636 81655 81654 70869 70071 70072 70069 70070 70073 70243 70245 70249 70248 70246 70247 82648 88699 74934 74935 74942 81714 81758 81715 81757 81755 81756 81754 75203 75201 75205 75207 75213 75204 75209 75199 75216 75212 75206 75194 75195 75200 75193 75202 75191 75190 75196 75208 75210 75217 75189 70854 75198 75218 75214 75211 75192 74932 75215 74927 70067 69887 69886 69888 69889 69890 69884 70592 70591 70594 70596 70595 70675 70593 70590 70678 70589 70673 70677 70674 70676 68174 70557 70555 70558 70560 68179 70562 70556 70559 70068 70244 70561 68175 81704 81703 86345 88334 86416 86415 88387 86433 88365 86432 88344 86417 74930 74931 74929 70679 70680 88869 88868 88859 88874 88863 88853 95608 95593 95584 95602 95597 95603 95587 95583 95591 95590 95601 95596 95612 95585 95594 95611 95610 95604 95609 95588 95589 95598 95592 95600 95595 95599 95607 95605 95606 88854 88875 88877 88864 88867 88862 88857 88865 88850 88851 88852 88849 88866 88861 95586 88758 88757 88872 88870 88873 88858 88871 88860 88856 88878 88876 88855 70359 70357 70361 70363 70362 70360 76283 76435 76268 76272 76173 68517 68518 76443 76174 69885 76270 76281 76278 76269 76280 76271 76431 76430 76171 76444 76162 76442 76282 76279 76172 75367 75352 75365 75353 75366 75354 75967 75978 75979 88517 88523 88518 88516 75966 75980 75965 88536 77362 77377 77095 77361 77199 77198 77099 77098 77083 77084 77097 77096 77089 77100 77360 77197 77212 77085 76158 76159 75253 75252 75268 75014 75010 69130 69131 69125 69129 69127 69126 69128 75013 74977 76009 76061 76062 76021 76022 76008 74970 74967 74969 74966 74968 88771 88761 88760 88766 88767 88769 88764 88770 88763 88768 88772 88765 88759 74841 74848 74847 74842 75251 74943 70356 70358 74937 74938 74846 74976 75012 76157 70584 70585 70551 70552 70599 70598 70274 70275 83925 83926 83919 83927 70160 70161 70242 68122 68121 68125 68123 68124 84220 84253 84254 84250 84219 84256 84255 83730 84023 83906 83908 83907 84022 84021 84218 84252 84526 83909 84520 84523 83905 84524 84521 84525 84522 84019 83731 83732 84020 84221 84216 84222 83733 83729 84017 81834 81835 81839 83918 81635 70355 70354 68069 68067 69431 69433 69432 69430 69428 68415 68417 68414 68416 69593 69592 69594 69589 69703 69591 69705 69708 69706 69709 69707 69429 69590 76045 76047 76046 70241 70240 68118 70066 69883 74877 74856 74858 74878 74857 67969 67971 67968 69807 69806 69984 69985 75267 75266 76007 76060 76020 69704 69702 69427 69588 68410 69318 70064 70065 69882 69124 68493 68399 69620 69621 68398 68494 68177 68178 69117 69118 69320 69881 67970 70444 70115 70771 70629 70772 70284 70308 70019 70195 69836 70445 70116 69813 70750 70018 70170 70426 69994 70097 70498 69837 70628 70607 70523 70194 70309 70522 69380 69379 69654 69525 69630 69544 69355 69543 69655 69758 69939 69759 69736 69916 69266 68500 69265 69241 69938 74899 74926 74921 74922 74897 74925 74923 74924 74920 74919 70497 70169 70606 69993 70393 70350 70324 70418 70346 70322 70348 70347 70420 70419 70349 70417 70339 70344 70345 70487 70488 70489 70476 70459 70490 70461 70395 76163 76446 76169 76434 76429 76445 76170 76441 77376 76908 76558 76544 76909 76924 77409 76922 77393 76545 76741 76923 77378 76739 77394 77375 77408 76557 76724 76725 77407 76726 76740 76556 76907 77210 76543 77211 81762 81763 77572 77558 77557 77573 77571 77556 88599 88598 81743 81742 75250 81726 81717 81720 81740 81739 81741 81722 81738 77683 81721 81716 77682 77668 77669 77681 70409 90757 90749 90748 81803 88522 88537 88538 84527 84528 88535 70232 70234 70233 70208 70235 70236 69875 70059 69850 69877 70034 69873 70056 70058 70032 69876 69874 70060 70057 70225 70224 70210 84334 84339 84340 84338 84337 83903 84336 84251 84335 84333 84217 84215 84249 81804 70049 69866 69852 69354 69524 70129 70143 70153 83904 82076 82075 82077 82073 82071 69872 81810 68170 70055 70231 69977 69978 69950 69952 69695 69692 69694 69693 69696 69580 69421 69571 69582 69581 69577 69668 70484 70415 70485 69420 69691 69685 69393 69555 68166 68187 69670 69967 69579 69557 69395 69281 68188 69279 81702 81700 81701 81699 88762 83969 84494 83496 83968 83679 84105 83855 84468 83678 81817 84086 84267 84469 84183 84410 84431 84158 83944 83473 84432 83854 84495 84289 84288 84182 84104 83497 83654 83830 83653 83829 69410 70154 70127 84157 84266 77088 81808 82072 82790 82785 83545 82787 83363 83544 83367 83547 83365 83549 83369 83366 83368 83546 82789 82791 82786 82788 82981 83255 82982 83254 83249 82983 83253 83252 83251 83727 83548 83550 83728 84018 84016 83364 83478 84490 83494 83491 81815 81813 83480 84491 81816 81809 84475 84493 84477 83492 83495 88600 88601 88521 79602 79585 79587 79515 81535 81504 81557 79603 79586 81514 83490 83477 83479 84492 83493 74727 72685 74674 72772 72757 74684 74705 72756 72773 72755 88640 81814 81697 81696 81695 84212 84245 83935 83934 84259 84258 84211 84244 81838 81837 67958 65855 67875 65926 67909 67918 67957 65927 67854 65925 67844 65943 65942 67907 67942 67897 67908 67959 88665 90737 90738 91355 91356 90755 90756 91079 84518 84519 84517 82176 82178 82174 82172 82175 82173 82177 83091 83092 82979 83094 83090 82985 83088 82984 83093 83820 83821 82070 83726 95366 91165 95346 95429 88906 95368 95428 95348 91166 90851 95347 88903 90850 90734 95351 90849 90735 88900 91084 91086 91048 95427 90847 88907 88905 91357 91051 95353 91081 90736 91046 95365 90739 88904 91169 91167 91085 91164 91080 91082 91168 90852 91045 88669 91083 91358 83902 88597 83362 83543 82059 83644 82154 83645 82171 82153 83467 83280 82777 82058 82784 90651 90650 90848 90846 88664 91170 91353 91354 91047 88902 95367 90853 91163 95352 88634 91052 91049 90733 91050 88534 88533 88530 88532 88531 91042 88525 88888 90732 91089 91075 88526 88668 91088 91074 88667 90764 91350 88889 88527 91351 90765 91041 91349 88633 88901 91352 88529 83250 83248 82978 82833 82974 82870 83087 82871 82973 82830 82866 82859 83008 82826 82868 83089 82831 82815 82827 82980 83009 82867 82865 82869 82858 82832 82814 83178 83179 81691 82778 82828 83466 82074 83281 82829 77077 77073 77420 74973 77390 77078 76899 77422 77391 77079 77423 76901 74974 77386 76900 76902 77392 77075 77388 77389 77510 77504 77381 77509 77429 77507 77421 77508 77419 77425 77076 77415 77694 77692 77693 77382 77414 77506 77503 77428 77387 77424 77426 76903 77385 57148 61215 57175 57174 57149 61310 61305 61306 61309 61307 61308 61304 75039 68988 77505 75094 75100 75105 75101 75095 75099 75096 83982 84006 84327 84080 84352 84149 84147 84150 84077 84325 84005 84009 84148 88478 84136 88497 84007 84323 84079 84119 84146 84069 84053 84316 84354 84121 84300 84010 84008 84076 84375 83984 84004 84324 95651 95674 95668 95677 95648 95676 95652 95669 95670 95672 95650 95673 95675 95667 95671 95649 98542 98822 98821 98550 98820 98254 98549 98651 98813 98541 98659 98814 88831 88837 88841 88840 88830 88843 88834 88826 88844 88845 88839 88827 88836 88828 88835 88832 88833 88838 88842 84078 84326 98657 98548 98658 98650 88846 88821 88824 88820 88818 88822 88825 88847 88819 88829 88823 81827 82060 84302 84055 95580 95552 95581 88544 88587 88588 88545 84462 88584 84379 84377 88583 88579 84457 88578 88574 84463 84461 84459 88585 84378 84368 84458 84456 77353 77024 77114 77138 77459 77328 77274 77665 77139 77352 77025 76849 77602 77601 74987 77664 77638 77436 77327 76823 77437 77000 77256 76848 76824 76667 76643 77580 76666 77458 77639 85818 85804 85819 85802 85817 85803 85931 86024 86041 85929 86207 86223 86040 85930 86039 86224 86026 86193 86192 85917 86194 85918 85916 86025 86208 84533 84534 84547 84548 85643 85627 85626 85628 85625 84612 84597 84596 84595 84594 84645 84660 84646 85642 85641 84658 84647 84659 86205 86328 86244 86245 86343 86325 86206 84531 86344 85801 84610 84611 86317 86326 86327 86242 86243 86241 84530 84877 84765 84878 84876 84764 84766 85445 85444 85460 85443 85264 85277 85262 85263 85442 85458 86023 86188 85261 84696 85275 85276 84683 85459 84684 86191 85915 84695 84682 84697 81751 81727 81752 81753 81729 81637 81638 81639 81651 81653 81640 81652 88577 84460 84376 88575 88586 88580 82047 85814 85816 85815 85808 85807 82165 83040 83315 83015 83185 83757 83598 83776 83290 83204 83118 83599 83135 83775 83039 83203 83136 83576 83314 81765 88582 95662 95658 95661 95664 95654 95657 95653 95663 95655 95665 95659 95656 95666 95660 82046 82023 82042 82039 82045 82043 82041 82038 82032 82022 82044 82035 82033 82037 82028 82040 82031 82034 82029 82036 88573 83638 83895 83894 83634 83893 83610 83892 83870 83896 83636 83637 83868 83635 83612 83999 81764 82164 84322 84144 84455 84374 84145 84373 84321 84075 83014 83595 83583 83596 83597 83184 83580 83582 83633 83885 83884 83891 83627 82048 82024 82021 82026 82019 82025 82020 82030 83594 82160 82161 83419 83396 82926 82162 78061 78320 78319 78318 78171 77719 78333 78334 78170 78172 78159 78335 78063 78062 77715 77951 77909 77950 77911 78157 77949 77897 77896 77910 77898 78158 81749 81750 81667 85154 84881 85160 84882 84889 84991 84998 85153 84990 84890 84997 84999 85161 85162 82901 83418 82925 78323 78167 78332 78168 78052 78324 78331 78330 78160 78161 78169 78051 78060 74961 74962 74959 74958 74957 74956 74960 74963 74965 74964 57155 57172 57173 82015 82017 77935 77934 77936 77717 78046 77704 77718 77703 78047 78048 79363 78796 79195 78987 78434 77854 78988 77865 79100 77829 77867 79099 78613 78445 78813 78433 79394 79362 78446 79196 78973 77816 78811 79210 78972 78974 77781 77782 77866 78615 79101 78447 77815 77830 79413 79086 78628 78630 77828 78614 79209 77852 78989 79377 77780 78812 77853 78432 78629 77817 79088 79378 79375 79087 79194 79412 79393 79211 78798 79411 79376 78797 79364 74826 74824 74825 74806 82008 82000 82003 82012 82009 82011 82002 82010 82006 82001 82004 82014 82005 82013 81992 81997 77767 77766 77765 88432 88399 88447 88408 88397 88398 82016 81995 81993 81991 81989 81994 81999 83812 83814 83813 83811 83803 83810 83789 77496 77548 77546 77470 77522 77549 77497 77547 77493 77545 77494 77495 77306 77320 77223 77248 77631 77627 77319 77247 77249 77316 77291 77630 77239 77629 77318 77250 77289 77246 77317 77633 77065 77175 77066 77064 77177 77178 77063 74997 75335 77174 77176 77152 77038 77632 82064 83787 78058 78059 77764 79513 79498 79414 79415 77701 77700 79514 74837 77180 77062 77179 75230 68334 68329 68330 68333 68339 68328 68335 77154 77040 77524 77698 77689 65886 77696 77695 77697 81996 81650 68011 68012 68040 69311 69346 69345 68180 69516 69333 69332 69440 70864 70863 70866 70859 70862 70867 70861 70860 70868 70865 69515 69310 77189 77187 77191 77190 76258 76424 76003 76262 76425 76420 76153 76264 76041 76151 76422 76155 76421 76263 76152 76423 76260 76261 76154 76150 76419 77193 77192 75999 75997 76000 74980 76001 76149 76002 75998 76259 76038 76037 76039 76040 76036 74875 74874 74873 74876 74867 74863 74862 61225 61268 61266 61224 61267 68515 69179 69439 69177 68514 68513 68413 69438 68516 69178 68512 68411 76716 76714 76720 76718 76719 76717 76897 76535 76538 76536 76537 76539 76534 76898 83809 77691 77690 76533 75005 75009 75004 75957 75955 75956 75961 75960 75348 75347 75959 75345 75343 75344 75958 75342 75346 74871 74870 74866 82063 77486 77626 74978 81567 81568 81602 81569 81578 81617 88730 95562 95578 95566 88726 95577 88742 88749 81920 95576 88728 88735 95553 95557 88744 88729 95556 95569 81921 88739 88751 88725 95570 95579 88722 81913 88727 81912 88737 88746 81919 88748 81915 95564 81893 95559 81917 88736 88750 81896 81914 81918 95561 88743 88734 88747 88738 81895 81897 95555 95560 88732 81892 81894 88745 88741 95575 88731 88740 88733 77538 74865 77188 77186 76028 75984 76991 76178 77074 76990 76144 76348 76715 76349 76179 76143 76418 75985 76029 76148 75247 75246 75243 75242 75245 75240 75244 77687 77688 74869 75996 74861 75241 76257 76532 76713 75954 76896 76662 76650 76663 76664 76661 77663 74986 74979 76647 76648 76665 76649 77662 77645 76450 76636 77104 75323 77072 76451 75007 76035 75948 75947 75228 75324 75008 77105 76814 76637 76815 75229 74872 75341 77472 77628 77225 76660 74985 74913 76890 76887 76889 76888 77544 77314 77492 77061 77054 75334 77625 77055 76886 76864 77315 77491 77245 77543 77169 68412 67978 67979 67992 67993 68511 76374 76306 76071 76927 76485 76354 76184 76288 76484 76460 76589 76185 76746 76945 76566 76096 76095 76768 75332 76210 75331 74805 76209 76769 76946 76355 76305 76373 75330 76588 70708 70663 70694 70416 70717 70719 70692 70716 70667 70486 70656 70640 70665 70718 70715 70664 70666 70808 70809 70835 70834 70642 76751 76807 76753 76806 76804 76750 76766 76808 76780 76767 76805 76782 76765 76803 76797 61203 61211 61209 61216 61196 61202 61214 65887 61213 65861 61212 61197 67988 61207 67986 67989 67990 67987 67981 67980 67991 67977 64895 65695 65077 65823 65460 65673 65801 65822 65229 65598 65694 65254 64067 65860 68238 68234 68233 68239 68235 68240 68244 64872 65478 65622 65368 65479 65623 65367 65343 65253 65052 64896 65053 75069 75068 68092 68091 68093 65078 75071 75074 75070 64038 95563 95558 81916 88724 88723 95572 95571 81998 81988 82007 81990 95568 95554 95574 95565 95567 95573 62387 62386 62385 62608 62609 62610 81648 81649 84904 85092 85307 86112 86185 85568 85386 85969 85950 86291 85665 85074 85285 85025 84624 85024 85743 85858 85567 86313 85543 86184 85857 85487 85203 85719 86163 86351 85007 85488 85308 85744 86088 85833 85664 84790 88471 88477 84928 84814 85204 85362 85385 86376 86113 85646 84557 79520 86350 84929 78550 78712 77727 79003 79461 78889 78551 79547 79002 79482 79027 78553 86312 79283 79333 79546 79257 78549 79355 79282 78552 78913 78713 78537 78539 85179 84815 86377 85093 84625 88476 85968 78536 78538 78738 78554 79521 79332 78737 84623 78556 79354 78914 79138 79120 78888 78532 79483 78555 79028 79258 79139 85465 67975 76764 76752 69215 69216 69217 61607 61606 68036 68035 64029 70817 70815 70830 70831 70833 70832 64023 64021 64022 61317 61353 70713 70662 70661 70714 69975 69974 69976 69973 64028 64027 64009 63716 63747 63748 63550 63425 63263 63734 63749 63733 63718 63248 63715 63262 63424 63264 63423 63249 63247 63551 63896 63912 63911 63913 63898 63897 61590 64037 64033 64034 64032 62775 62782 62611 62619 62774 62612 62618 62620 62781 62783 62511 62503 62502 68388 68387 68362 68363 68385 68382 68383 68384 68380 68381 68386 68378 68379 68089 68090 68374 68371 68377 68373 68372 68369 68375 68376 68364 68368 68367 63979 64005 64004 63596 63007 63189 63692 63942 63267 63799 61327 63693 63615 63364 63920 63798 63614 63164 63941 63188 62983 63285 63365 63479 63340 63339 63776 63286 63478 63454 63006 63978 63777 63668 62499 62510 63241 63056 62876 63057 62878 63060 63054 63237 63059 63848 63850 61314 63847 63849 63843 61688 63416 61682 63239 63418 63419 63058 62875 62879 62877 62874 61685 63417 61684 63413 61683 61344 61313 61687 61345 61349 61686 63242 63243 63240 62295 62300 62299 62301 62296 62298 62297 63055 63415 63967 63887 63968 68360 68361 68359 63163 63667 63836 63579 63888 63657 63405 63660 63515 63885 63406 63589 63659 63518 63810 63494 63837 63516 63404 63834 63631 63563 63380 63586 63403 63864 63658 63889 63862 63656 63886 63519 63492 63833 63517 63378 63402 63629 63835 63587 63588 63520 63590 63969 63970 63971 63646 63878 63826 57202 57205 57206 57204 57207 57208 57199 63812 68365 68366 68370 61534 61547 61544 61531 61555 61536 61554 61550 61551 61541 61533 61535 61548 61540 61549 61553 61545 61546 61537 61529 61543 61538 61532 61552 61539 61542 61530 61570 74915 74917 74914 74918 70797 70799 70802 70796 70800 70803 70798 70801 75103 75102 81903 81911 81907 81909 81902 81905 81906 81910 81908 81901 81898 81899 81904 81900 62498 85718 86162 85542 64008 57209 61316 84556 85380 85367 85383 86374 85382 84543 85381 86357 85369 86375 85368 85384 84555 84550 85366 62509 62497 85379 79544 79527 77713 77726 61352 57194 68266 68264 68290 68286 68287 68288 68291 68289 68285 68283 68268 68284 68265 68267 64036 64031 64035 64030 63238 63759 63846 63765 63845 63763 63764 63766 63844 61320 61210 63762 63760 63761 63730 63731 63725 63726 63727 63729 63732 63728 63533 63527 63529 63530 63532 63531 63528 63526 79545 77725 61318 63754 63768 63769 63755 63444 63722 63445 63721 62873 62489 62343 62369 62600 62763 62601 62493 62495 62490 62494 62375 62368 62337 62377 62491 62341 62339 62598 62599 62379 62760 62336 62380 62376 62597 63330 62759 62340 62765 62381 62342 62604 62602 62325 62762 62378 62483 62603 63331 62484 62492 62324 62338 62761 62764 63414 62519 62689 62758 62518 62688 61583 61580 61585 61568 63236 61584 61587 61586 61581 63412 61582 61569 61681 62872 63053 62791 62790 61664 62977 61347 63155 62488 62976 61348 61663 63154 86087 77720 64002 61319 64003 61325 61326 63985 64498 64497 61205 61206 62287 62288 62294 68277 68282 68279 68278 68274 68276 68273 68280 68281 68272 68271 68269 68275 68270 63565 63514 61675 61337 63972 63973 57141 57136 57140 57143 57142 70795 61128 61129 57135 63884 63509 63655 63585 63395 61674 63654 63883 63965 63401 74737 74739 74738 74772 74748 74787 81647 81641 79543 79529 79542 77714 77724 77723 63832 69578 69416 70152 70149 69417 69418 69419 70150 69303 70151 65753 64157 64169 65718 64193 65717 64955 65137 64206 65312 65441 64274 64249 65138 64251 65551 64238 64192 65151 64194 65153 64168 64772 65715 64970 65327 65329 65328 65439 64250 65440 65314 65549 65426 65136 65152 64276 64787 64785 65427 64968 64954 64205 65704 65313 65716 65703 65550 64773 65751 64120 65536 65535 64237 64290 65534 64774 85073 77744 81730 79322 78585 78593 79174 78927 79312 78950 79064 79299 78949 78951 79165 77798 78571 79321 79580 79058 81728 78773 79324 79066 78954 79172 79325 79429 79041 78753 78779 79449 77728 79579 79573 79244 78592 79578 79177 79224 79451 79577 81731 79067 79450 79581 84903 78594 79246 79245 79297 79575 78569 79427 78953 78943 78590 79323 79175 78591 79249 79247 79319 81737 79222 79171 78955 79250 79166 79454 78774 78751 78584 81736 79248 79566 79455 78952 79057 79239 79238 78929 78595 79313 79068 79065 79043 79443 79152 79320 78767 79452 79442 78776 79574 78596 78775 78768 78778 79150 79176 79063 79173 79576 78944 78777 79069 79453 81646 77797 74822 71702 72197 72453 72503 71726 72631 72525 74807 72653 74809 71986 72059 72084 72005 72428 71725 72308 72173 74808 72309 71908 72652 72290 72524 64043 64041 65838 64057 65755 64040 65754 64501 65702 64044 64672 64660 64675 64673 64659 61177 64507 64392 65752 64289 64207 64236 64122 64953 65734 64156 64121 64058 65428 64170 65853 64511 64155 65854 64275 64508 65733 64786 64670 64969 64664 64055 64509 64671 64663 64291 64105 64106 64107 64104 74823 72690 72717 70897 72716 72691 56534 56456 56969 56624 56649 56784 56862 56648 56968 56455 56437 57111 56177 56863 56766 56838 56947 56334 54497 56837 56946 63394 63831 63966 61509 61503 61498 61499 61500 61505 61504 76706 76705 76682 76707 76704 76862 76703 56333 56160 56173 56509 56159 56172 56171 56175 56157 54488 54495 54489 57844 57681 57830 57682 57828 57845 57829 57680 57843 57572 57669 57573 57571 56170 56158 56174 56535 56176 57090 54496 56785 56153 57112 56358 56359 56510 57668 57667 76879 57225 57229 57955 58307 58597 58497 57362 58921 57326 58721 58609 58483 58484 57375 58499 57957 58124 57339 57338 58138 58704 58885 58140 58611 58123 58705 58125 58598 58873 57942 57340 58923 57944 58888 58321 58903 58904 58596 58139 58706 58498 57292 58720 57956 58323 58322 58610 58306 57377 58308 57363 58872 57327 57364 57325 58719 57943 57376 58922 58886 57291 58887 58874 58482 57290 57407 57419 57460 57421 57459 57461 57406 57408 57420 57444 57446 57445 76885 76702 76696 76680 65597 40800 40799 43565 43569 44182 44184 44170 44183 44185 44181 44180 44169 44168 44020 44021 43910 44174 44173 44022 44011 40797 43912 44019 44018 44017 43902 43911 43901 44009 43913 44010 43760 43761 43759 69922 69920 69921 69937 69934 69935 69936 69923 43577 62435 61671 62928 62436 61670 62646 62525 62695 62929 62824 62645 62825 62549 62714 62628 62550 62713 62411 62694 62800 62906 43576 43575 43570 52207 52209 52222 52224 52225 52223 50400 50394 50406 50393 50405 50403 50404 61239 61265 61264 61261 61262 61237 61263 61253 65228 65672 43563 37992 37993 37994 38007 38008 38009 57275 57276 57277 65885 65884 64065 64066 43666 45060 43678 44822 43630 44950 44838 44295 44464 44837 44824 44663 43801 44007 43800 43747 44008 45061 45243 45227 44480 44949 43717 44478 44296 45212 43680 43703 44648 43667 45214 45261 44661 44297 45213 45263 45046 43704 44938 43716 45226 44839 44936 43679 44647 45044 44951 45228 45045 44662 45244 45225 45059 44479 43631 43715 45262 44465 44646 44463 44823 41074 43616 44282 43614 43615 44283 44284 43617 43799 43746 43748 43665 43702 43632 44937 43567 45364 43550 43554 43784 43897 43551 45363 45264 45348 45265 43785 43568 43786 43553 43898 40819 40816 40820 40814 40818 40817 40815 55816 55995 55815 55798 55970 55994 56647 56643 56631 56644 56646 56630 56628 56629 56645 40712 40713 43909 43908 43896 57228 57556 57558 57557 40700 40699 59023 59008 58925 57210 58924 62524 47529 47530 38231 38216 38397 38108 38106 38107 38214 38121 38383 38384 38215 38382 36969 36970 36971 38433 38534 38398 38518 38414 38533 38413 36931 36917 36916 36930 36918 36837 36835 36849 36874 36873 33870 37066 36954 37831 36737 38435 37078 33869 38119 36738 36800 38395 37649 36801 37648 38431 37079 36956 38230 38396 37068 36850 37465 36836 36848 36724 37067 36885 36886 37832 38120 36723 37466 36887 38229 36872 36929 38432 36955 57211 57274 57227 59024 57213 57214 56642 64894 64879 64889 64890 64876 64891 64893 64878 64892 64877 65867 64063 64060 65869 64064 65883 65882 64053 64054 50839 50742 50850 50851 51010 51014 51013 50998 51015 51012 50999 51003 51004 50399 50395 50841 50740 50840 50848 50732 50849 50847 52044 51876 52043 51478 51874 51669 51294 51127 51654 51295 51477 51766 51767 51310 51768 51781 51653 51891 51875 51476 52057 51652 51493 52042 50497 50534 52056 50461 50532 50495 51889 50547 52055 50545 52074 52058 51309 51780 51667 50462 51779 51492 50533 50510 51125 51308 50546 51126 52073 50508 50509 50496 51890 51491 51668 50728 50726 50738 50739 50383 50384 50398 50397 51112 51114 51113 50577 50630 50614 50589 50616 50837 50576 50629 50838 50590 50631 50615 50460 50578 51293 50852 51011 50591 50741 50727 50445 50444 50408 50424 50743 50731 51000 50446 50447 52091 52092 52093 50380 52094 52193 52095 52194 50381 52178 58842 58398 58222 58767 63108 63109 63086 54385 64584 64689 64534 64438 65174 64414 64997 64134 64439 64535 65156 64133 64713 64714 65175 64135 64602 64517 64975 64603 64998 61672 54604 54606 54605 38197 38475 38170 38342 38447 38594 38270 38193 38266 38344 38341 38472 38195 38194 38196 38268 38242 38471 38317 38595 38244 38597 38599 38474 38267 38449 38269 38343 38473 38598 38345 36764 36818 36748 38185 38333 38463 38186 38259 45204 44989 45132 44878 45133 44877 44764 45205 45183 44988 44739 44587 44763 44405 45108 44588 44406 45107 44738 45182 44563 43644 43924 43810 43835 47843 47846 47849 47845 47840 47839 47838 44562 38172 44044 43643 44508 44094 47507 47503 47502 47486 47499 47487 47488 47489 38319 44093 47498 47483 47490 47504 47508 47484 47500 47506 47501 47505 38600 38601 33979 33990 33985 33984 33989 33988 33977 33976 33987 33982 33986 33981 33980 33978 33983 36725 37975 37797 37613 37971 38089 38088 38084 37972 38087 37591 37773 38061 37974 37614 37947 38063 38083 38086 37799 38085 37616 37949 37615 37973 37796 37798 37589 37612 37771 37795 45332 45397 45396 44684 45311 45370 45333 44853 45371 44970 44685 44666 44382 37788 37605 37604 37964 38078 40770 40769 44328 44112 44223 43645 43948 44224 44027 43949 44327 44113 44199 44045 43923 44507 43834 44485 44305 36781 36779 36780 36774 36726 38192 38596 38469 37794 38264 37611 38265 36816 37970 38470 38340 36817 38339 40806 44400 44388 40812 44386 40807 44387 40808 45377 44401 45394 45395 44399 40813 44403 40811 44404 44389 44402 40810 40809 38547 38592 38593 47536 47538 47555 47558 47543 47557 47542 47556 47537 40938 40937 47750 47754 54617 54620 54611 54609 54612 54619 54614 54615 54613 54622 54621 54618 54610 54616 6860 7060 7059 13456 13738 7058 13732 6995 13746 13743 13740 13733 13741 13734 13729 7026 13731 13739 13737 13736 13735 13742 13727 13745 13728 13744 6736 6761 6724 6764 6766 6765 6738 6762 6760 6763 6767 6723 13354 13355 13357 13356 27120 27121 27119 34234 34222 34236 34221 34223 34226 34229 34233 34218 34225 34227 34232 34231 34219 34224 34235 34228 34230 20517 34214 34220 34213 34217 34212 34209 20580 27295 27291 27290 27289 27288 20579 33897 33898 33877 33876 33878 26995 34237 34238 13551 20401 20487 20418 20412 20501 20507 20494 20500 20488 20490 20398 20506 20513 20509 20492 20408 20512 20510 13589 13590 20391 20499 20505 20491 20407 20497 20406 20393 20413 20420 20417 20502 20409 20403 20515 20397 20508 20495 20516 20402 20400 20404 20498 20514 20496 20396 20504 20511 13334 13333 20419 20392 20395 20394 20405 20489 20390 20415 20414 20411 13336 20324 20317 20322 20318 20325 20321 20319 20323 13406 20326 13402 13407 13400 13403 20330 20329 20327 20328 13408 13401 13404 13405 20548 22635 22183 20347 22998 22184 23025 22499 22022 22209 22999 22021 22025 22003 20340 22474 22007 22713 22687 22634 22009 22027 22208 22796 20342 22819 22024 22359 20345 22712 63144 63106 63090 63105 63107 63146 63092 63120 63147 63091 63122 64413 63143 54484 63137 63104 27282 56935 56936 56934 56932 56933 56900 56899 56902 56898 56901 56896 56930 63148 63093 63145 57013 57014 57018 57017 57016 54483 56931 57019 57020 56939 56938 57200 57201 57015 57203 22797 22384 22023 22008 20343 22360 20344 20338 22498 20346 22385 22473 22010 22940 22026 22961 22616 22818 20339 22962 49344 49818 49529 49704 49347 49330 49954 49328 49936 49343 49705 49323 49346 49329 49503 49819 49504 49327 49345 47665 47664 49794 50138 50339 49342 50139 50343 50341 49679 50327 47667 50032 47662 49341 49793 50328 47666 50116 50345 47659 50281 50282 47663 50260 50319 47660 49680 50318 50007 50340 50117 50342 56929 56924 56925 56895 56892 56891 56897 34210 34216 34211 34215 27169 27176 27168 27175 40960 40953 40961 40962 40959 40947 40958 40956 40948 40943 40957 40967 40963 40966 40965 40970 40968 40971 40964 40969 40972 40949 40950 40951 40944 40952 40955 40946 40945 47783 47777 47778 47792 47800 47789 47773 47796 47795 47790 47798 47802 47801 47797 47786 47794 47784 47788 47787 47793 47791 34119 34125 34120 34121 34115 34117 34118 34116 34114 34113 34123 34129 34131 34128 34126 34122 34124 34132 34138 34141 34137 34134 34136 34140 34135 34142 34139 34133 50338 47661 50008 50033 47658 49340 49955 49528 50325 50344 55605 55883 56076 54842 55720 56098 55884 56099 56278 56279 55695 54840 55606 56256 55865 55719 55581 54841 27048 27068 27046 27047 20888 20163 20164 6644 20574 20569 20572 20573 20571 20552 20563 20562 20570 20558 20559 20561 20551 20565 20560 20550 20566 20577 13502 20557 20576 20567 20553 20578 20556 20554 20555 20549 20568 20575 20564 20168 20169 20184 20180 20183 20170 20181 20185 13464 13465 13459 13460 14348 20399 13753 13656 13591 56048 56045 56047 56049 56044 56046 56224 56702 56701 56703 54519 54515 54514 56697 56700 56699 56588 56586 56585 56583 57004 57007 57006 57005 56980 56229 56228 56226 56227 57059 57057 57058 57048 54856 54854 54852 54855 54851 54853 55933 55664 55772 55659 55663 55662 55661 55771 55768 55929 56043 55770 55665 55774 55935 55773 55934 55932 55466 55465 55471 55469 54383 54384 54379 54380 54382 55468 54381 55470 55467 13655 56411 56410 54858 56412 56413 56407 56408 56584 56696 56698 56501 56500 2100 1885 5189 1354 20166 47781 47774 47775 47780 47785 47782 47776 47779 54377 56580 54833 56325 56582 56406 56581 54834 56615 54376 54375 56614 56324 54517 54518 55931 56409 54857 56587 56589 56230 20178 20186 20179 20182 13388 13387 13386 13687 13718 13751 13752 13750 20582 40954 20485 27394 27384 27315 27316 26996 27014 27017 27406 34130 34127 27305 40822 47799 20581 20421 20493 20296 20187 20188 20484 20381 27134 27130 22688 20167 27389 27393 27297 20410 20503 20416 27303 27313 27122 27123 27126 27131 20320 20584 27015 26993 20295 20298 56996 54845 56759 56816 56756 56827 56758 56826 56829 56830 56828 56733 56760 56735 58062 58046 57223 59037 57235 58060 58048 58049 59054 57230 58061 58047 58064 58059 57236 58063 59055 57055 56801 56757 57056 57032 57003 56799 56982 56662 56679 56572 56688 56576 56686 56664 56687 56550 56690 56573 57034 56689 56565 56574 56685 56684 56575 56548 57137 57139 57308 57254 57238 59085 58834 58937 58807 58965 58963 58831 58952 58833 58953 58961 58832 58835 58964 59087 58962 57834 57842 57840 57833 57841 58809 58823 58822 58939 59086 49603 48660 49406 49589 49238 48047 49421 49237 49602 49604 49404 48046 49419 49588 48659 49405 49420 49587 49780 50040 49779 50088 49877 50058 48032 49236 50074 50087 49891 49890 48034 49879 49892 50089 50055 50057 50056 48033 49763 49765 50042 49778 50073 48045 50041 48646 49878 48645 48647 49764 48658 58959 58960 49224 49225 49223 48022 49869 47685 50072 49219 49867 50068 48635 48641 49580 48027 48026 49396 50186 49398 49870 48023 48025 49579 50100 49577 49583 50190 48636 48640 49755 50187 50069 49215 49758 50105 49756 49400 50184 49582 49214 49399 49873 47684 50189 49759 48639 49397 50106 49218 50071 48024 50070 50103 49871 49216 49753 49217 48028 48638 50102 48637 50066 50188 50104 49757 47689 49872 49581 49394 59088 59091 59090 59089 58686 58759 58760 58579 58756 58684 58757 58578 58685 58732 58683 58687 58577 58758 58660 57987 57965 57988 58168 58167 57859 57772 57773 57883 57884 57304 57470 57303 57495 57305 57753 57705 58145 57609 57608 57494 57754 57687 57704 57584 57562 57670 57677 57679 57561 57678 57570 57671 58461 58095 58453 58106 58105 58081 58287 58553 58094 58263 58575 58462 58289 58079 58261 58103 58463 58286 58104 58277 58285 58454 58464 58288 58465 58551 58439 58102 58437 58278 59076 59084 58734 58568 58748 58576 58749 58662 58567 58675 58676 58754 58755 58573 58574 58682 58681 58829 64818 64300 64583 64324 64795 64325 64817 59082 58830 59083 47931 47930 47948 47933 47932 54507 54740 57138 50349 50237 50251 50236 50238 50362 50361 50253 50363 50252 47694 49123 49126 47657 48960 48949 48700 48726 48740 48687 48742 47692 48853 48725 49110 48963 47656 48852 43534 48701 48689 48741 47947 48837 48950 47693 48688 48702 48962 48948 48727 50348 48843 48952 49115 48854 48851 49121 48958 47690 48951 48959 49125 48850 48842 48849 49124 47946 48839 49114 49109 49111 43549 48838 48961 49122 71883 72004 72452 72198 71907 72083 57583 63044 63045 63022 63202 63226 63228 63227 63047 63229 63043 63046 63230 63204 63020 56749 56214 56217 56192 56398 56372 56216 56374 56213 56400 56215 56190 56396 56397 56399 56389 57218 58165 58164 58151 57222 58149 58163 58152 58166 58150 57217 56290 56318 56316 56317 56292 56314 56315 56395 61260 61259 33957 33958 6963 7061 7536 13569 6964 35303 35193 35449 35464 35289 35465 35466 35288 35451 35194 35450 35302 35301 35290 35192 34270 34271 35927 35744 36104 35565 36397 35944 35578 36120 36413 34272 35564 36382 36217 35746 35928 36380 36103 36381 35745 36232 36429 34273 35563 35929 36219 36119 36398 35761 34034 34030 36428 36592 36577 36578 36396 36231 36230 36593 36576 36395 36427 34372 35759 35760 34286 34386 34986 34387 34374 35942 34999 34385 35000 34998 34987 57306 58460 57307 57568 58459 57569 33973 33975 33972 33971 33974 58284 58283 58101 58100 56825 57002 57001 56824 56205 57053 56212 57054 54844 56571 56206 56755 56313 56307 71268 70963 70965 71433 71364 71414 71244 71648 70964 71243 71625 71365 71269 71432 71543 71647 71519 71347 71544 35042 35041 35080 35027 35082 35081 35029 35040 34373 34287 36218 34985 36118 34288 36105 35943 36414 36591 35028 33902 33901 33900 33899 33903 36703 36701 36702 69820 69834 69818 69835 69833 69817 69819 69832 70890 71882 72697 70895 71721 71724 70883 71722 71707 71706 70896 71720 71709 72714 71708 71723 72502 72058 72427 72715 71719 63042 61112 61079 61078 61127 61088 61077 63001 62990 63003 63002 63005 62987 63004 62988 62989 63000 63225 63035 63036 63219 47468 47407 47354 45452 47364 47385 45365 47469 45437 45453 54299 10894 10689 10786 10801 10896 10787 10895 10788 10911 10687 10688 76999 77275 83581 62318 63702 61464 13455 13454 13453 13427 13451 13452 13429 9137 9365 9338 9280 8974 9339 9052 9028 9053 8975 6826 9158 9159 9302 9301 8956 9364 13399 13442 13443 13450 13449 9077 9078 8798 9061 8800 9060 9062 8898 9109 8897 9093 13651 8784 8785 8783 13747 13748 8243 8141 7982 7981 7968 8129 7874 8145 8441 8131 7978 7091 7969 8130 8142 7090 8425 8144 7980 7088 7089 7871 9258 8146 7873 8244 8424 8607 7872 7979 8245 8143 7983 8426 9381 9257 9256 9273 9382 9383 7970 8258 10672 11064 10909 9553 9552 9481 10511 11076 10512 9403 9404 9566 9554 9747 9748 10910 10329 9528 9868 10019 10031 9867 9860 10020 11112 6693 9529 9758 9746 9480 9565 6688 9530 6692 9517 10146 6690 9515 6691 10800 9516 10328 10145 11111 10799 11075 9759 10132 9859 10313 10314 9751 9763 11113 9760 10315 10033 9482 10496 10498 6784 6786 6788 6785 10497 11077 11062 11063 10673 10674 9464 9467 9465 9466 10018 10330 11213 10030 10034 9761 10133 10035 11078 11094 9869 11214 10032 9861 10024 9858 9871 9870 10023 13723 6962 6961 7062 7054 7036 7042 7049 7039 7044 7046 7047 7041 7048 7043 7050 7051 7053 7045 7052 7035 7040 7037 13397 13395 13396 13392 13721 13730 13719 13720 13722 7056 13646 13648 13649 13645 13650 13643 13647 13642 13639 13641 13637 13636 13634 13633 13638 13632 13628 13627 13726 13724 13725 7031 7034 7027 7030 7033 7038 7029 7032 5181 7028 5064 13644 13335 8912 9872 7106 11093 9567 7055 8799 13640 6789 9762 10513 9857 10134 6689 6645 9094 7057 4901 8899 5065 10147 6665 9752 8608 13393 11198 34059 28008 25027 25044 26776 26655 25029 26777 26567 26251 26457 27139 26458 26654 26473 26569 26582 26363 26349 26656 26778 26350 26250 26568 26348 26675 26249 25026 25028 26456 27136 27135 27026 27025 27044 27140 27137 13350 13337 13353 13349 13340 13352 13338 13339 13351 13715 13717 20546 20547 20545 20535 20528 20534 20536 20529 20519 20518 20543 20541 20523 20522 20525 20520 20521 20524 20538 20527 20540 20530 20539 20544 20532 20533 20526 20542 20537 20531 47877 41067 41066 47898 47872 47871 47896 47892 47890 47869 47891 47887 47879 47878 47882 47870 41068 47897 47888 47873 47894 47895 47893 47889 47884 47881 47886 47885 47883 41055 41057 41045 41050 41040 41041 41039 41063 41065 41062 41048 41060 41043 41053 41051 41049 41054 41064 41042 41058 41052 41056 41061 41059 41047 41046 41044 27375 27377 27376 27350 27358 27366 27371 27718 27372 27349 27362 27357 27363 27369 27359 27368 27355 27360 27374 27356 27351 27353 27354 27352 27348 27361 27370 27364 27365 27367 27373 34186 34182 34204 34197 34178 34206 34203 34179 34180 34199 34207 34202 34205 34201 34181 34198 34200 11055 11247 9427 18077 10838 17812 17813 18013 17243 17365 17557 10702 10703 10983 17267 10232 17085 17187 10438 10588 17346 17268 10958 11054 16323 16774 16792 10255 17885 16324 17008 17443 17669 17558 17788 17533 16629 17444 10614 17863 10613 17991 10589 16985 17086 11033 11221 10728 16325 17165 10982 16793 18050 16904 16257 17419 10437 11220 18012 18076 17884 11182 17364 17650 16903 10727 17062 10413 17188 17668 11246 10839 18051 11161 10256 17007 11183 16628 10820 35577 20475 20463 20464 20476 20453 20470 20482 20473 20458 20481 20471 20466 20462 20480 20478 20472 20468 20477 20474 20469 20467 20479 33944 33945 33946 27149 27147 27157 27154 27158 27156 27152 27159 27146 27160 27155 27148 27151 27153 27150 24746 24866 24747 24327 24326 24550 24152 23072 24324 24544 24548 24752 24549 24322 24547 24150 24149 24148 24751 23065 23067 24151 24750 24749 23066 23068 24325 24546 24328 24745 24748 24865 24867 24870 24872 29215 29542 29648 29465 29464 29543 29328 29649 29329 27259 27258 27280 27263 27269 27253 27278 24868 24147 27264 27260 27254 24869 24957 27266 27281 27255 27276 27272 27261 24955 24871 24956 27274 27267 27265 27262 27277 27270 27257 27252 27273 27268 27275 27256 27271 27279 35454 35463 35462 35182 35299 35292 35461 35191 35291 35300 35298 35183 35455 29039 29214 29518 29014 29190 29627 24693 24480 24715 24498 24249 24388 24499 24195 24273 24618 24194 24642 24274 24387 24098 24073 24714 24643 24363 27345 23916 23554 24097 23892 23459 23537 23623 23734 23733 23458 23555 23709 23915 27344 27346 24906 24842 24843 24907 24881 29828 29446 29791 29829 27177 29854 29792 29304 29770 29855 40655 28856 28857 29038 27063 27062 27065 27067 27064 27058 27061 27057 27066 27059 24960 36456 35869 36044 35843 35844 35686 35868 34007 35687 35663 24958 24959 24961 36348 36478 36347 36457 36159 36294 36372 36045 36295 36373 36479 36020 36158 36019 33941 36658 36685 36622 36621 36659 36276 36684 35947 35966 35965 36600 33943 33942 33917 36134 33919 29626 29189 28833 23154 54249 54248 54298 54282 54258 54247 54297 37629 37810 37627 38096 38100 37623 36826 36861 37811 37985 36863 37812 36827 36831 37808 37986 36864 37806 36868 36867 36776 36830 37981 36825 37982 37628 37625 37809 37984 37626 36777 36778 38098 36824 37448 37446 38208 38531 38525 38529 38209 38210 38526 38528 38410 38409 38406 38411 38102 38408 38402 38532 38401 38207 38101 38412 47549 47552 47554 27343 27342 27334 27244 27224 27338 27336 27233 27226 27236 27247 27243 27250 27241 27341 27320 27328 27339 27228 27246 27237 27234 27327 27337 27220 27324 27317 27333 27331 27318 27335 27340 27332 27329 27325 27221 27245 27238 27230 27223 27242 27235 27240 27239 27249 27414 27232 27225 27231 27319 27322 27321 27330 27323 27326 27222 27248 27227 47876 47875 47874 47880 47551 47548 47547 47553 33505 33287 31859 32155 31856 32721 33410 32904 32426 33303 31795 32720 32153 31946 33484 31857 32706 32903 31922 33065 31907 32154 32539 32143 33066 31796 33178 31959 32253 32905 32524 31858 32707 33302 32264 32410 33080 32526 32139 33288 32889 32261 32416 31921 32144 32263 32150 32427 33079 33485 31958 33503 32249 32259 33398 31909 32152 32423 32705 33286 31874 32722 31945 32888 33412 31908 32537 33180 32525 31873 32422 33397 33064 33504 32138 32250 32424 32890 32412 33301 33193 31920 33411 31872 32140 32425 32411 32251 32252 33191 32151 33081 32262 33179 32260 33486 31944 32538 33192 32415 37624 37442 38134 29517 29135 29136 27522 28959 29013 28564 28400 28375 28399 28936 28650 28674 28779 22908 22909 22857 22261 22080 22422 22783 22905 22782 22553 22666 22398 22424 22547 22537 22906 22608 22400 22649 22425 22437 22540 22076 22079 22074 22606 22512 22514 22551 22259 22679 22250 22677 22552 22676 22439 22257 22262 22078 22436 22583 22538 33509 33608 33607 33606 23815 23837 23838 23153 23995 24017 24018 31957 33399 23434 23604 23155 23087 24880 24176 24821 23622 27103 27102 27008 38522 38206 37988 38133 37987 36865 37622 36828 37805 38095 38097 38203 36866 36862 37447 38530 38204 38099 38521 36829 38405 37444 37445 37900 37899 33896 33888 33893 33895 33892 33894 33889 27024 21895 22249 22222 22746 22651 21899 22062 22751 22832 22855 22830 22246 22248 22066 22749 22853 29852 29853 28855 28621 28852 22990 20590 20357 22991 22064 22040 22884 22042 22993 33825 33826 33846 33845 33844 35230 36514 36340 36309 36074 36557 36188 36542 35786 34250 36516 36336 34025 36172 34024 34029 35586 35609 35608 36651 36568 36189 35827 35824 35823 36513 36490 35800 36652 36337 36198 35204 35771 36566 36505 36258 36515 35825 36197 36638 35205 36646 36506 35802 36083 36269 36058 36649 36653 36266 35785 36544 35826 36194 36311 36517 36558 36085 36567 35504 35789 36565 34351 34352 35788 36326 36325 36174 35770 35784 35505 35393 36569 36195 36060 36650 36647 36339 34355 36084 36267 36259 36245 36268 36199 36492 34017 36075 35772 35773 36270 35787 36196 35229 36086 35480 36082 36200 35479 35394 35828 36338 36243 34350 35374 35375 35766 27521 28675 22599 22786 22989 22065 28563 27520 29835 21896 21898 28837 28838 28854 28840 28851 29117 22585 22067 22539 22907 22750 22224 22882 22063 22680 22549 22607 20695 22610 22077 22415 28374 22529 22438 22247 28756 28545 28958 28633 28839 22426 28853 22260 22785 22435 22748 22752 22992 22987 22433 22263 22856 22780 28624 28625 28634 28620 28631 28632 21897 22423 22550 28649 22536 22784 20364 21894 20369 20365 28544 28778 22854 28636 22678 28619 28635 22898 22609 50229 49376 49375 49930 49744 49854 50176 49570 49926 49745 50227 48015 50313 49856 50310 50000 49905 47677 50309 49384 49567 49903 49743 49969 49857 49929 47910 50177 49746 49997 49383 50307 50225 49387 49559 49742 49834 49360 49566 49362 49999 50228 49858 49859 49986 50218 49386 50226 49569 49971 49928 50306 50150 49927 49996 50312 50173 49544 49720 49568 49542 49832 50152 49385 49919 49855 49735 49849 49718 50174 50204 50202 50166 50308 49998 50175 50311 49925 49741 49382 50305 48014 50171 50224 49565 50304 49994 50223 50172 49995 48013 40587 33768 40622 40588 33808 33807 40638 40639 40589 33758 33757 40637 33809 40598 33792 33759 49860 33883 33882 34005 35683 35668 35670 35685 34006 35669 35682 35684 38618 38616 38621 38620 38614 38619 38613 38617 36731 36730 33887 33891 37807 37983 38205 38407 38527 43421 43258 42933 42393 42009 41896 42296 42294 43209 41872 41858 42573 41910 41204 42023 42392 41870 41859 41871 41857 41830 42574 41103 40860 42408 42575 42591 40826 41118 42407 41117 41828 42949 43046 42295 42007 42133 42119 42024 42281 41911 41100 41912 42132 42395 42279 41897 41895 42394 42008 42131 42280 42120 42022 42118 42773 41202 40862 42772 43060 41203 43228 43226 43049 43211 42774 43422 42950 42759 42757 42590 42948 41116 41816 41817 42406 41102 40864 42756 42932 43405 43206 42758 42576 40863 40827 41101 41829 41815 42589 43257 43244 41217 43423 43407 43243 43062 43061 43225 41216 42935 43047 43048 42934 43227 43259 43406 43210 41215 43408 43212 36719 43532 43533 43531 43518 36704 35576 37443 37441 33999 33998 35680 36682 35667 27204 27200 35681 36683 27167 27166 36665 27203 27202 28197 28198 28199 28212 28210 28211 36763 36807 37546 37723 36806 37545 37724 36854 36762 38014 38013 36855 38612 38615 36775 37359 34190 34196 34191 34189 34184 34183 34193 34192 34185 34194 34188 34187 34195 24349 24348 24347 24461 24724 24555 24447 24722 24556 24554 24446 24723 24448 24737 24571 36265 35817 33996 33997 35177 35178 35179 36564 36511 36563 36645 34353 35190 33932 33933 36334 36081 36512 34354 35189 36335 43519 36644 36080 29954 29972 29956 29955 29957 20291 24439 10492 10779 11299 10782 11086 23785 24146 23965 11091 11300 11092 10666 11297 10889 23784 23963 24438 10664 10667 9412 10778 10890 11206 23968 23786 23783 23967 23788 24436 23966 10309 9408 11211 11298 11208 11296 23787 23969 24442 10776 10305 10888 10668 10486 10490 10489 10886 10308 24440 24441 11088 10303 10307 9407 10884 10491 10306 10780 10662 11210 10665 10488 10781 11089 11209 11212 11090 11301 10887 20238 20237 20216 20217 20234 20218 20233 20232 20235 20228 20236 20229 35067 35066 35065 33939 33940 36648 36689 34032 34033 27043 27041 27042 27028 27030 27029 22721 22738 22558 22722 22460 22768 22559 22754 22101 22443 22284 22086 22917 22767 22267 22445 22572 22085 22444 22269 22557 22753 22918 22735 22769 22720 22736 22933 22268 22916 22737 28850 27040 27039 24736 23064 23806 23975 23794 23990 23974 23792 23793 23807 23973 23140 23212 23213 23142 23225 23227 23177 23188 23189 23214 23190 23175 23176 23226 23141 24735 23805 24156 23063 24569 24173 24172 24332 24460 24333 24334 24570 23989 23988 24158 24171 24459 24157 23408 23406 23407 24773 23517 23422 23519 23694 23695 23679 23423 23680 23678 24754 24772 23518 23421 24753 24771 23530 24738 24873 24858 24874 23532 23531 23693 23125 29872 28364 28170 29097 27441 28169 29597 27443 29584 29761 29387 29568 29565 28156 29288 29401 28748 29567 28735 28157 27557 28930 27555 28733 29873 28915 27456 29290 29388 29598 29113 28916 29583 29114 29099 27543 27458 28734 28929 28349 28746 28168 28155 28252 29871 27442 23059 28236 28459 29551 29273 28931 27544 29402 29112 29859 28237 29858 23044 28458 28471 28250 28472 29762 29599 28235 28251 29289 27542 28914 27556 29098 29566 29747 29275 27440 29550 29748 28362 28460 29763 29389 28473 28347 28363 29400 29552 29746 27457 28747 29274 28348 23079 23075 23127 23126 13461 13702 13712 13692 13707 13714 13711 13709 13698 13706 13696 13700 13708 13710 13705 13704 13697 13713 13703 13701 13580 13582 13584 13566 13588 13562 13574 13567 13578 13579 13586 13570 13561 13572 13568 13575 13581 13560 13583 13585 13587 13571 13563 13576 13573 13577 13657 13677 13665 13676 13685 13662 13673 13686 13671 13669 13683 13663 13659 13678 13664 13680 13682 13684 13672 13661 13679 13670 13660 13675 13681 13666 13667 13658 13674 13668 17617 17341 16360 17892 18028 17741 17942 18043 17740 17941 17618 17894 17907 17923 18044 17724 17616 16346 17739 17343 17905 17924 17631 17342 16347 17504 17519 17725 17726 17503 17908 17906 17893 17943 17145 17630 16312 16397 16976 16358 17143 16384 16310 16396 17160 17158 24775 16861 16697 16860 16592 13480 16593 16590 13476 16853 16689 16862 16848 16687 16863 16865 16850 16962 16964 20148 26962 20108 20149 26927 26928 26938 20099 26979 26978 26929 26977 20097 28461 28469 28359 28462 28352 28353 28470 28360 28468 28361 23077 23078 16234 16588 13380 13384 16233 16700 13379 16589 13479 17518 13475 13381 16702 16701 16577 16698 16576 16690 13382 13383 16864 16578 17328 17159 16849 16699 16691 16582 17945 16311 17629 17517 17326 16963 16581 16688 16382 17327 16977 16975 16395 13477 16383 16854 16359 17502 20132 16591 17144 16345 25892 25422 25585 25423 25429 25325 26060 25430 26059 20305 20309 20310 25695 25875 25876 25597 25877 25313 25580 25709 26235 25324 25322 25594 25433 26058 25434 25595 25582 25323 25581 26075 25421 25596 25431 25592 20307 20306 25432 25419 25694 25593 25314 25696 25420 26234 25586 26236 24684 24685 24681 23158 24938 24941 24812 24814 24787 24935 24682 23088 24683 24657 24811 24813 23104 24940 24939 24815 24937 24659 24789 24692 24617 24248 24072 20316 23005 23024 23022 23007 23021 23020 23008 23019 23023 20610 20611 20714 22571 22100 21325 22283 22084 20727 20725 20713 21917 21918 20726 22459 22099 21327 21339 22282 21338 22570 21326 21916 20712 22458 21340 20628 20613 20612 22932 22931 22978 22986 22846 17082 17084 16243 24803 24673 24802 24672 24926 24934 21905 20336 21903 23018 20337 21904 22020 18074 16255 18075 16250 17068 17080 17069 17083 17242 17862 17787 17418 17081 17066 20370 20374 22535 22534 34107 34109 34097 34111 34108 34087 34098 34100 34101 34106 34093 34104 34110 34103 34086 34092 34105 34082 34099 34096 34102 34095 24936 34084 34085 34091 34083 34089 34094 34090 34088 24425 24289 24512 24534 24606 24584 24533 24610 24609 24532 24537 24313 24403 24401 24315 24287 24312 24314 24607 24608 24536 24429 24535 24427 24426 24428 24582 24510 24311 20199 20200 20211 20198 20212 20214 20213 23690 23691 24933 24932 23156 24809 23528 23683 23520 24680 23692 23157 23433 24810 24679 23527 23521 23529 20209 20210 23420 23684 23411 23412 23603 23419 23418 13716 10126 10125 10128 10124 10123 10127 26679 10412 10957 10239 10236 9426 10238 10251 10250 9425 10253 11032 10254 21532 21630 21790 21643 21628 21519 21517 21629 21518 21534 21804 21789 21642 21791 21533 21806 21805 21641 22984 22675 22244 22988 21529 21794 21802 21530 21638 21631 22851 22904 21522 21531 21640 22674 22421 20694 22245 22852 22903 21803 21801 22605 22420 22056 22055 22985 22239 20693 21795 21632 21639 21523 20341 20626 20627 20098 20147 11244 37360 20196 20195 20227 20231 9420 11245 9413 10237 10252 10479 11279 11155 11021 10769 10291 10877 10478 10468 10924 10947 10850 10652 10874 11273 11277 10872 10653 11281 10946 11278 10296 9498 10766 10741 10948 10655 10477 11280 11022 11013 10629 10271 9428 10767 11153 10295 11151 10651 10875 11024 10451 10997 10949 9444 10852 11275 10294 10866 10453 10765 10475 11025 10476 10743 10873 10876 11154 10474 11023 10758 11152 10922 10950 10654 10293 10627 10292 10999 11127 10269 16256 23029 23041 20372 20373 17067 24053 24057 24002 24013 24056 24015 23999 24000 24055 24014 24016 24031 24001 24029 24054 23043 23042 23124 13622 13654 27109 27110 11143 10763 10764 10939 10768 11129 23955 24135 24111 24139 24138 24137 24113 23956 24303 24304 23929 24136 23954 23952 23953 24526 24599 24437 24323 23962 24321 23782 23964 24145 24543 24545 24052 24046 24953 24954 24742 24741 24862 24861 24604 24310 24605 24418 23931 24353 24474 24354 24435 24473 17715 16955 17608 17920 17918 17718 18128 18129 17319 17495 17919 17609 17496 17922 17720 17719 17916 17133 16953 16957 17717 17606 17321 17137 18130 18041 18040 17921 16238 17605 17607 16952 18127 18038 17136 16954 17316 17494 18131 18039 17497 17318 16956 16958 17492 17322 17610 17317 16237 16951 18036 16235 17917 17611 17714 17493 18037 17134 17612 17498 17320 17139 17135 16242 17138 17716 18042 18126 24952 20427 20432 20436 20433 20440 20446 20441 20438 20449 20447 20431 20448 20437 20444 20443 20442 20439 20426 20445 20435 20450 20434 20451 20422 20423 20425 20430 20424 20429 13653 20428 27052 27053 24424 24423 17079 29893 29970 29971 29894 30043 30057 30019 30044 30007 30020 30056 30006 30042 30018 30005 30055 13492 13486 13497 13499 13489 13488 13491 13487 13495 13496 13500 13493 13494 13498 13490 18057 23071 23700 24063 20222 23886 23070 20223 23885 24240 24239 23945 23944 24128 24134 23951 18125 14964 14965 14810 14701 14811 14703 14809 14959 14971 14693 14808 14800 14813 14801 14802 14973 14799 14975 14798 14976 14702 14812 14960 14961 14704 14972 14974 14692 14688 14700 14689 13348 20457 18033 16603 16604 16878 16879 17713 18122 17711 17913 18034 17914 18035 17712 17915 13605 13614 13619 13608 13613 13606 13621 13601 13612 13611 13609 13616 13610 13618 13607 13617 13620 13602 13603 13615 17409 17410 20459 20465 20461 20454 20456 20460 20455 13754 13749 16295 16296 16297 16294 30347 31179 31001 31178 31400 31552 30521 30124 30986 31386 30622 30988 30636 30637 31278 30241 30820 31568 30359 30252 30635 31291 30125 30623 30357 30248 30126 31163 30351 31584 31002 31567 30509 30253 30523 30242 30804 31553 30520 30086 30139 30100 31385 31003 30249 31401 30350 30250 31290 30101 30525 31565 30624 30348 30141 30349 30987 30524 31177 31583 30362 30510 30251 31399 30361 30508 31289 29908 29907 31554 30140 29905 31162 31164 31602 30522 30237 30099 29909 31566 30358 30805 30819 31277 30087 30360 30803 30238 30513 30514 31276 31601 30236 30088 31603 31384 30818 31688 31704 31703 16773 16088 16213 16211 15891 15727 16212 15908 15924 16103 16086 15892 15907 15742 16087 15729 15728 15939 15923 15890 15630 13798 15628 15629 15075 15073 15615 15088 15438 15613 15439 15437 15454 15614 15255 15256 15254 15074 15271 13652 16199 16102 15938 15740 13506 15905 13507 13796 13797 16101 15937 15906 15741 31604 29890 29891 31605 25890 25091 25092 25707 25128 25114 25078 25708 24966 25116 25308 25320 25309 25310 25321 24965 25891 25079 25090 18260 19533 18262 19946 18212 18261 19046 19045 19642 19643 19229 19626 19419 19518 19948 19627 19532 18249 19738 18877 18297 19519 18299 19826 19244 18197 18247 19047 19531 18213 19947 19752 19404 19628 19750 19420 18214 19843 19520 19230 18878 19406 18285 19062 19641 19845 18286 19844 18196 19825 19243 19245 18752 18492 18599 18603 18604 18601 18591 18589 18602 18590 13782 13783 13780 13781 18763 18493 18767 18484 18756 18764 18751 18765 18750 18762 18483 18766 18600 18592 13597 13691 13699 13693 13695 13690 13689 13694 13688 11274 13896 14508 14495 15453 14699 13897 15270 13895 13883 14509 14496 15086 15087 15269 14687 13884 14510 13882 14497 15452 6805 6804 6798 6801 6799 6807 6800 6803 6806 6796 6795 6809 11227 6808 6797 6802 18593 18494 18755 18495 13369 13370 13368 13013 11366 12217 12591 12216 12414 11649 13302 13278 11663 12232 12575 11367 11937 12590 11469 13116 12907 12230 12415 12215 11759 13319 11661 12690 11935 12813 12797 11419 11662 13565 11760 11430 12576 12689 11467 12688 12589 12994 11648 11306 12400 12399 11762 11454 11368 12048 11431 11305 12035 11921 11773 11417 11418 11763 12995 13564 12034 11774 13014 11665 12811 11920 11936 11660 11456 12047 11650 11770 11926 12909 13117 12574 12703 12996 12398 11761 13366 11934 12049 11933 11384 13267 11769 11771 11922 11664 11772 13015 11932 12798 11654 12922 13269 13318 13317 11468 13268 13365 11432 12796 13118 12413 11653 12036 11369 11925 12908 12231 11455 17491 17523 17490 17524 17489 18031 17233 16241 17313 17131 16240 17130 17911 17056 18032 17234 13599 13593 13600 13594 11276 13596 13592 13598 13595 6930 13604 13629 18866 13631 26362 18480 26472 26361 18135 13635 25043 13630 26581 18479 19849 18490 18284 19060 18879 18864 19739 18865 18478 18248 26674 18491 13624 19824 18298 13625 13626 18136 25127 26073 25077 25129 25115 19421 26074 26580 19737 19751 18198 13623 26471 19228 25042 19405 18199 26673 19061 7017 7018 7021 7022 7015 7016 7019 7023 7020 7009 7025 7012 7010 7004 7006 7008 7013 7014 7005 7011 10944 11150 10285 7972 11149 10249 11019 8135 6628 11020 10284 6579 9497 6578 6612 8134 17314 17055 16869 6588 23781 11115 6627 17912 17315 24064 16870 23699 10650 17132 6577 10945 7665 7192 7205 7203 7679 7204 7678 7190 7680 7667 7666 8911 6816 1567 1572 1546 1573 1570 1568 1575 1576 1578 1569 1579 1580 1584 1755 1153 1708 2121 1581 1993 7185 7182 7180 7183 7181 6843 6817 6812 6713 6715 6848 7186 7184 6844 6711 6712 6714 6813 9086 8889 8887 8888 8892 8891 9087 8893 9088 8890 6710 6709 8597 8235 8237 8775 8601 8236 8602 8778 8238 8239 8600 8599 8234 8776 8418 8420 8419 8414 9091 9089 9204 9208 9125 9090 9205 9120 9207 9121 9203 9092 9122 9126 9123 9124 9206 8603 8773 8779 8417 8777 8416 9393 9210 9397 9394 9398 9209 9396 9395 9391 2127 2901 2902 2853 2903 2899 2898 2897 2896 9136 4740 4784 9119 4786 2900 1886 1994 1992 1981 1891 1904 1905 1902 1988 1995 1984 1987 1375 1986 1901 1768 1982 1989 1983 1985 1896 1903 5203 5165 5204 5206 5042 5045 5161 5044 5046 5164 5205 5163 4739 5160 5043 5162 5030 5033 5034 5032 5041 5031 1773 2879 2881 2880 2883 2878 2882 2890 2891 2884 2889 2892 2887 2885 4788 4736 1646 2113 1996 2112 1770 2806 2893 2894 2895 4926 4924 4925 4922 3020 4738 4737 4923 3173 4785 3168 3170 3172 4649 4647 4141 4142 4140 2886 2888 4644 4645 7007 7024 7000 5202 4787 3171 4648 4646 1369 6708 6707 3009 3017 3008 2132 3018 3010 3005 3011 3004 3006 3012 3007 2122 2119 3930 3923 3931 3921 3919 3916 3915 3920 3922 3917 3918 2419 3557 3912 3906 3908 3909 3913 3905 3914 3911 3904 3907 3910 3820 3817 3949 3948 3819 3818 3825 3562 3563 3846 3858 3814 3816 3835 3830 2124 2123 2120 1373 3845 3840 3844 3560 3556 3561 3680 3870 3875 1876 1871 1873 1874 1878 1875 1872 857 1790 1877 1884 3815 3811 3749 3813 2909 2914 2924 2919 2111 1997 2000 1999 1998 1756 1763 1760 1757 1761 1758 1764 1766 1769 1767 1759 1142 1762 1765 1141 1028 1140 3812 1148 1144 1147 1151 1152 1145 1150 1374 3002 3000 2995 2993 2994 2998 2999 3001 2996 3003 2997 5209 2126 2822 2928 2927 2925 2926 2947 2935 2214 2964 2959 3800 3801 3803 3802 3799 3804 3806 3808 3807 3809 3810 3805 1881 2131 2130 80 20 191 34 35 28 192 203 1699 1703 1695 1694 1701 1707 1696 1702 1700 1705 1698 1697 1704 25 31 1139 1792 1791 1794 1631 1785 1870 1793 1780 1775 1882 1883 1644 856 855 851 2933 2934 2929 3950 3951 803 804 404 5208 186 547 591 596 586 559 588 587 405 539 562 554 585 195 589 476 590 410 201 197 194 180 181 563 560 179 561 193 196 409 83 29 122 124 30 33 125 32 123 81 121 599 598 616 127 184 185 755 795 754 602 737 758 800 796 794 757 756 799 802 736 798 761 747 762 792 739 738 740 735 601 732 597 733 734 760 759 797 793 731 763 600 668 801 742 220 367 397 369 287 392 368 200 221 393 361 350 370 396 398 15 403 394 366 395 3938 3937 3935 3936 1044 9202 9201 3531 3530 3534 3453 3493 3458 3544 3186 3448 3527 3498 3540 3481 3554 3533 3528 3532 3467 3539 3538 3541 3529 3535 3185 3468 3553 3469 3463 3543 3542 3545 3536 3537 3546 3837 3838 3928 3839 3765 6662 6661 6647 6646 6648 3929 6819 7083 7078 8598 8774 6825 9027 6824 6818 7084 7085 8772 8959 9362 8972 8960 8971 8958 8973 9363 8957 8886 8885 8884 8970 7657 7659 7655 7658 7656 7654 7660 7661 8233 8415 8413 9392 9389 8690 8691 9118 9117 8596 9085 8969 8968 8232 9084 9083 9345 7082 7079 7080 6701 7081 6758 6759 6702 6898 6897 4847 4846 4895 4086 4756 4858 4841 4859 4896 4853 4755 4743 4894 50478 51447 51979 51856 51902 51607 52134 51853 52261 52254 52257 52253 51857 51855 51631 51929 51265 52256 51928 51745 51721 51433 51919 52246 52001 51264 51272 51274 51993 51632 52135 51830 51609 51251 51904 51749 51743 51918 52107 52003 52133 51744 51999 51854 52259 51634 52131 52004 51992 51431 51977 52255 52122 51845 52260 51276 51723 51748 51273 51930 51737 51275 51846 51459 51633 52132 51458 51624 52123 51746 51635 51926 52005 51832 51927 51249 52258 51456 51455 51747 51623 52002 52000 51738 51448 51457 52109 7173 7068 8738 8482 8506 8763 8766 8505 8854 8876 8764 8852 8765 8762 8508 8507 8504 8740 8991 9016 8949 8948 8946 6838 8989 6837 8947 8923 8950 8925 8480 6836 8877 8880 8878 8761 8879 9196 9222 9172 9193 9194 9197 9224 9245 9195 9017 9019 9170 9018 9020 8440 8623 8439 8257 6815 7857 7858 6839 50477 23165 23170 23167 23168 23166 23171 23169 8503 30034 29946 29949 29944 31700 29947 29948 31696 31698 31699 30033 30032 30798 30796 29897 31269 30617 29896 30035 31378 31266 30038 29995 30976 31154 31152 31156 29996 30001 29898 31265 29950 30797 29902 31373 30795 31270 31272 31267 31268 31271 30618 31575 30799 29945 31158 30977 29997 31379 31377 30980 29951 31375 31155 30794 30613 31695 31374 29998 29999 30037 30036 30792 31153 31578 30616 30981 31580 30982 31380 31579 31582 31581 31157 31376 30978 30615 30793 30612 30614 30979 31577 31576 30000 31701 31785 31786 31702 31787 30975 23164 31789 31783 31790 31784 31788 31791 29895 31697 51924 51629 51925 51630 51270 51851 51852 51453 52130 51454 52129 51271 23121 23118 23116 23119 23202 23195 23103 23194 23102 23201 23147 23114 23207 23115 23205 23203 23208 23206 23120 23117 23204 23146 6660 6649 8659 8673 8680 8683 6857 8681 8682 8684 10178 10074 10073 10155 9495 8945 8868 8755 8754 9014 8869 9192 6835 7172 8497 9799 9798 9962 4950 5130 5092 4911 4996 5091 5169 5171 4953 4949 4844 4843 4915 4829 5093 4913 5090 4994 4842 5129 4831 4845 5127 4832 4997 4951 4914 5170 4985 4940 5168 5080 5167 5117 4833 5128 4995 4912 4830 4952 4998 4834 6218 5870 6472 6224 6271 6461 6068 6221 6222 6226 6171 6328 5999 6449 6272 6081 6487 6488 6080 6123 6227 6219 6225 6383 6259 6462 6327 6371 6217 6471 6170 6220 6384 6223 6169 5572 5834 5672 5604 5344 5533 5833 5564 5568 5515 5818 5426 5617 5566 5562 5565 5468 5570 5563 5516 5528 5569 5660 5567 5738 5509 5514 5751 5793 5781 5413 5215 5794 5750 5425 5673 5817 5616 5571 6315 6183 6188 6164 9545 10663 10775 9546 10304 9548 10302 9544 6659 10777 9493 10177 9494 9963 31069 31070 29901 29900 4969 4966 4965 4959 4961 4968 4967 4960 2824 2851 2829 2827 2828 2825 2834 2823 2830 2849 2826 2832 2833 8185 7168 8725 8724 8524 7910 8646 8838 8073 8367 8289 8288 7909 8549 8074 7170 8548 8839 8700 8814 8266 8184 8645 8366 8627 8343 7169 8469 8468 8446 8699 9333 9249 9247 9248 9332 9330 9246 9329 9331 9327 8450 8466 8453 8452 8465 8451 8467 9325 3060 8464 8523 5647 5593 5411 5811 5807 5809 5705 5646 5455 5860 5458 5857 5702 5650 5649 5457 5648 5704 5858 5706 5592 5591 5406 5594 5590 5454 5456 5859 5810 9405 31151 30611 5407 5408 5409 5410 5808 5703 5645 3046 3048 3045 3049 3047 3059 3058 3056 3057 8939 9238 9185 9006 9328 9186 9326 6899 9237 8874 8875 2835 7884 7885 8055 8054 8160 8159 10882 11205 11083 11084 11085 10881 31782 10487 6548 10885 9547 11204 11087 11207 11203 9542 9543 3160 3095 3159 3158 3157 6878 6877 4536 3126 3034 3037 3036 3035 3161 6884 6874 6893 6868 6872 6869 6876 6873 6881 6880 6890 6871 6870 6891 6892 6896 6885 6887 6882 6894 6879 6889 6886 6895 6875 6888 6883 10048 9773 9944 10049 9774 31692 30894 29933 30529 30024 31184 29977 29976 30530 30716 29932 31183 31303 30893 30715 31571 29994 31572 30025 30031 31691 31304 10484 11292 10485 11295 3064 3063 3084 3092 3087 3088 3085 3089 3090 3094 3091 3086 3038 3029 3030 3039 3836 5230 3123 3125 2850 3119 3118 3117 3100 3097 5711 5710 5655 5462 5231 5598 5599 5654 5463 3032 3033 3027 3028 5812 5803 5801 5802 5229 2310 3093 2340 2338 3116 3121 3122 3150 3155 3131 3152 3146 3154 3153 3156 3149 3147 3151 3148 3115 3124 3120 2328 2329 3098 2330 3096 2313 2312 2327 2321 2311 6998 6997 7002 7003 7001 3162 6996 6999 3099 3128 3129 3130 3127 3065 3066 3069 3067 2339 3068 5453 5806 10693 9411 9534 8657 11081 10813 10814 5589 10404 10403 11201 10226 10225 11082 11293 9410 9535 11294 11202 6917 6910 6911 6927 6923 6909 6913 6916 6924 6948 6942 6949 6950 6944 6947 6933 6956 6958 6935 6952 6938 6937 6943 6940 6939 6936 6941 6946 6951 6945 6957 6955 6959 6960 6954 6926 6918 6915 6914 6921 6919 6928 6925 6920 6922 6932 6931 6934 6953 6902 6906 6904 6900 6929 6903 6908 6907 6912 6905 6901 748 810 809 808 79 175 176 174 173 128 74 168 126 170 172 36 130 78 76 171 77 169 745 4931 549 548 807 805 5856 6674 6675 402 595 741 7179 1154 746 3016 1363 3015 1360 1156 749 3176 3177 4909 4792 4910 4930 5089 4793 3178 9076 8515 3924 5201 9115 3925 26 75 211 806 202 204 5026 5195 6678 5156 5196 5024 6679 9272 9271 9369 5035 5155 6677 5025 6751 6752 1370 1368 1577 1574 852 1146 850 1149 5885 5884 7648 7104 7647 5886 6253 7161 6117 6706 9081 6365 6366 8805 2341 5166 6118 8337 7162 9390 6705 11383 1571 6310 1143 8150 5126 8514 6254 8336 9107 11382 5029 6704 9108 6421 1357 5855 13019 7067 7066 6422 8151 9243 8910 4783 12921 12920 10661 4782 9128 9129 10483 9541 6467 6466 6309 7191 8679 9191 5452 9075 9015 10660 7971 2337 4921 4964 10659 2331 12702 6847 8256 7105 6846 10644 10649 7859 7862 7863 7869 7870 6856 9244 17643 9082 18124 18123 17644 8804 10694 10883 5701 12701 9114 12812 8609 8622 8624 3169 10579 10580  0
213.58/213.69	
213.58/213.69	c Core has size 13479

OK	13479

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

running on 2 cores: 4,6

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


[startup+0 s]
/proc/loadavg: 4.00 4.06 2.68 6/189 29239
/proc/meminfo: memFree=30561636/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=24936 CPUtime=0 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 2266 0 0 0 0 0 0 0 25 0 1 0 994471204 25534464 1804 33554432000 4194304 4365125 140737382794544 18446744073709551615 4293676 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 6234 1815 247 42 0 3382 0

[startup+0.068217 s]
/proc/loadavg: 4.00 4.06 2.68 6/189 29239
/proc/meminfo: memFree=30561636/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=25128 CPUtime=0.05 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 5106 0 0 0 5 0 0 0 25 0 1 0 994471204 25731072 3288 33554432000 4194304 4365125 140737382794544 18446744073709551615 4316862 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 6282 3289 253 42 0 3430 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 25128

[startup+0.10121 s]
/proc/loadavg: 4.00 4.06 2.68 6/189 29239
/proc/meminfo: memFree=30561636/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=27436 CPUtime=0.09 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 6875 0 0 0 9 0 0 0 25 0 1 0 994471204 28094464 3975 33554432000 4194304 4365125 140737382794544 18446744073709551615 4266084 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 6859 3976 253 42 0 4007 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 27436

[startup+0.30117 s]
/proc/loadavg: 4.00 4.06 2.68 6/189 29239
/proc/meminfo: memFree=30561636/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=36384 CPUtime=0.29 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 12541 0 0 0 28 1 0 0 25 0 1 0 994471204 37257216 5388 33554432000 4194304 4365125 140737382794544 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 9096 5388 262 42 0 6244 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 36384

[startup+0.701096 s]
/proc/loadavg: 4.00 4.06 2.68 6/189 29239
/proc/meminfo: memFree=30561636/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=41772 CPUtime=0.69 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 13920 0 0 0 68 1 0 0 25 0 1 0 994471204 42774528 6555 33554432000 4194304 4365125 140737382794544 18446744073709551615 4257778 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 10443 6555 262 42 0 7591 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 41772

[startup+1.50096 s]
/proc/loadavg: 4.00 4.06 2.68 5/190 29240
/proc/meminfo: memFree=30535128/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=49864 CPUtime=1.49 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 16880 0 0 0 147 2 0 0 25 0 1 0 994471204 51060736 8718 33554432000 4194304 4365125 140737382794544 18446744073709551615 4257310 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 12466 8718 262 42 0 9614 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 49864

[startup+3.10065 s]
/proc/loadavg: 4.00 4.06 2.68 5/190 29240
/proc/meminfo: memFree=30523596/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=69112 CPUtime=3.09 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 32891 0 0 0 305 4 0 0 25 0 1 0 994471204 70770688 11937 33554432000 4194304 4365125 140737382794544 18446744073709551615 4244701 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 17278 11942 262 42 0 14426 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 69112

[startup+6.30105 s]
/proc/loadavg: 4.16 4.09 2.70 5/190 29240
/proc/meminfo: memFree=30487256/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=103464 CPUtime=6.3 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 66464 0 0 0 621 9 0 0 25 0 1 0 994471204 105947136 20204 33554432000 4194304 4365125 140737382794544 18446744073709551615 4242852 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 25866 20204 263 42 0 23014 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 103464

[startup+12.7009 s]
/proc/loadavg: 4.15 4.09 2.70 5/190 29240
/proc/meminfo: memFree=30476956/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=103464 CPUtime=12.69 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 67757 0 0 0 1260 9 0 0 25 0 1 0 994471204 105947136 20853 33554432000 4194304 4365125 140737382794544 18446744073709551615 4264072 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 25866 20853 263 42 0 23014 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 103464

[startup+25.5005 s]
/proc/loadavg: 4.11 4.08 2.72 5/190 29277
/proc/meminfo: memFree=30562532/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=103464 CPUtime=25.49 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 68818 0 0 0 2539 10 0 0 25 0 1 0 994471204 105947136 21384 33554432000 4194304 4365125 140737382794544 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 25866 21384 263 42 0 23014 0
Current children cumulated CPU time (s) 25.49
Current children cumulated vsize (KiB) 103464

[startup+51.1007 s]
/proc/loadavg: 4.07 4.08 2.76 5/190 29278
/proc/meminfo: memFree=30076200/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=51.1 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92518 0 0 0 5096 14 0 0 25 0 1 0 994471204 169304064 27454 33554432000 4194304 4365125 140737382794544 18446744073709551615 4262559 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27454 263 42 0 38482 0
Current children cumulated CPU time (s) 51.1
Current children cumulated vsize (KiB) 165336

[startup+102.307 s]
/proc/loadavg: 4.07 4.08 2.83 5/190 29353
/proc/meminfo: memFree=30504228/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=102.29 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92518 0 0 0 10209 20 0 0 25 0 1 0 994471204 169304064 27454 33554432000 4194304 4365125 140737382794544 18446744073709551615 4257313 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27454 263 42 0 38482 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 165336

[startup+162.301 s]
/proc/loadavg: 4.02 4.06 2.90 5/190 29392
/proc/meminfo: memFree=29472224/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=162.28 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 16207 21 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 162.28
Current children cumulated vsize (KiB) 165336

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

[startup+179.101 s]
/proc/loadavg: 4.02 4.06 2.91 5/190 29392
/proc/meminfo: memFree=29733732/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=179.09 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 17887 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4258092 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 179.09
Current children cumulated vsize (KiB) 165336

[startup+191.9 s]
/proc/loadavg: 4.01 4.05 2.93 5/190 29393
/proc/meminfo: memFree=29738428/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=191.88 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 19166 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4242764 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 191.88
Current children cumulated vsize (KiB) 165336

[startup+204.701 s]
/proc/loadavg: 4.01 4.05 2.94 5/190 29393
/proc/meminfo: memFree=29743504/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=204.68 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 20446 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4257447 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 204.68
Current children cumulated vsize (KiB) 165336

[startup+207.907 s]
/proc/loadavg: 4.01 4.05 2.95 5/190 29393
/proc/meminfo: memFree=29743624/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=207.89 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 20767 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4242876 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 207.89
Current children cumulated vsize (KiB) 165336

[startup+211.101 s]
/proc/loadavg: 4.01 4.05 2.95 5/190 29393
/proc/meminfo: memFree=29743624/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=211.09 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 21087 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 211.09
Current children cumulated vsize (KiB) 165336

[startup+212.701 s]
/proc/loadavg: 4.01 4.05 2.95 5/190 29393
/proc/meminfo: memFree=29743376/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=212.68 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 21246 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4242880 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 212.68
Current children cumulated vsize (KiB) 165336

[startup+213.101 s]
/proc/loadavg: 4.01 4.05 2.95 5/190 29393
/proc/meminfo: memFree=29743376/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=213.08 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 21286 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4242868 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 213.08
Current children cumulated vsize (KiB) 165336

[startup+213.5 s]
/proc/loadavg: 4.01 4.05 2.95 5/190 29393
/proc/meminfo: memFree=29743616/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=213.48 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 21326 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 213.48
Current children cumulated vsize (KiB) 165336

[startup+213.6 s]
/proc/loadavg: 4.01 4.05 2.95 5/190 29393
/proc/meminfo: memFree=29743616/32950928 swapFree=67051116/67111528
[pid=29239] ppid=29237 vsize=165336 CPUtime=213.58 cores=4,6
/proc/29239/stat : 29239 (MoUsSaka) R 29237 29239 28923 0 -1 4202496 92579 0 0 0 21336 22 0 0 25 0 1 0 994471204 169304064 27515 33554432000 4194304 4365125 140737382794544 18446744073709551615 4262013 0 0 4096 2 0 0 0 17 4 0 0 0
/proc/29239/statm: 41334 27515 263 42 0 38482 0
Current children cumulated CPU time (s) 213.58
Current children cumulated vsize (KiB) 165336

Child status: 20
Real time (s): 213.696
CPU time (s): 213.691
CPU user time (s): 213.458
CPU system time (s): 0.232964
CPU usage (%): 99.9974
Max. virtual memory (cumulated for all children) (KiB): 196068

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 213.458
system time used= 0.232964
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92584
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 10
involuntary context switches= 1270

runsolver used 0.383941 second user time and 0.78588 second system time

The end

Begin job on node113 at 2011-06-14 11:06:45
IDJOB=3501548
IDBENCH=90094
IDSOLVER=2000
FILE ID=node113/3501548-1308042405
RUNJOBID= node113-1308041934-28942
PBS_JOBID= 13564707
Free space on /tmp= 73952 MiB

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

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

MD5SUM BENCH= dcd948030e4f4983632058895f819e87
RANDOM SEED=266433461

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

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

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

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

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


/proc/meminfo:
MemTotal:     32950928 kB
MemFree:      30562064 kB
Buffers:        232160 kB
Cached:        1016424 kB
SwapCached:      14112 kB
Active:        1336660 kB
Inactive:       834516 kB
HighTotal:           0 kB
HighFree:            0 kB
LowTotal:     32950928 kB
LowFree:      30562064 kB
SwapTotal:    67111528 kB
SwapFree:     67051116 kB
Dirty:            7404 kB
Writeback:           0 kB
AnonPages:      919768 kB
Mapped:           9764 kB
Slab:           150580 kB
PageTables:       7092 kB
NFS_Unstable:        0 kB
Bounce:              0 kB
CommitLimit:  83586992 kB
Committed_AS:  1368804 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= 73948 MiB
End job on node113 at 2011-06-14 11:10:19