0.00/0.03 c MoUsSaka with meat
1.67/1.73
1.67/1.73 s UNSATISFIABLE
161.58/161.67 c Core is minimal
161.58/161.67
161.58/161.67 v 30611 30621 30546 30623 30619 30636 30639 30633 30606 30625 30597 30604 30605 33582 30655 30600 30598 30642 30599 30630 30615 31129 31127 31126 33585 33586 33590 33597 33584 33589 33592 33588 33587 31103 31109 31102 33583 31120 31119 31107 31113 31106 31116 31122 31111 31114 31105 31124 31110 31123 31115 31117 31125 31121 31104 31108 31118 31112 30627 30622 30613 30665 30610 30614 30609 24598 24592 24593 51449 50802 51444 51441 51445 51443 51646 51557 51552 49129 49135 49131 49130 49132 51433 51434 51553 51550 51439 51562 51440 51563 51551 51435 51438 51436 51555 51560 54455 54453 53803 54452 51647 53022 53023 53024 53020 54510 55091 55090 54693 52086 52088 55089 54448 53808 52136 54516 54429 54447 53795 53801 53796 54440 54426 53027 54445 53798 54505 54513 54430 52150 52142 54450 52130 52144 53035 53799 54446 54433 52145 52133 52138 53791 52134 51638 51451 51639 51684 52111 52110 52105 54534 54484 54491 52106 52108 54411 52102 52121 54500 52126 52125 54503 52113 52128 52116 52115 54499 54466 54547 54465 52118 52112 54502 48621 54441 52143 52146 53784 54632 53794 52124 54431 52141 54449 54487 52117 53025 52087 54514 54508 53787 53031 54498 52123 52137 54492 54530 54550 52153 53805 52131 52148 54545 54553 52109 31101 31100 33546 33598 33599 53039 52132 54486 53029 54557 52107 54501 54488 54432 53790 54489 53800 54439 54541 53036 53037 54650 54509 53028 54512 54511 52127 54425 54495 52151 54538 52122 54485 52135 52114 52119 52094 54463 54438 54496 54436 52139 53786 54556 53034 54540 54517 53038 48618 48617 48616 24597 24489 24424 24540 24594 24621 24613 24624 24645 25118 25123 25098 25099 25096 25108 25121 24599 24600 24591 27585 27578 27577 27584 27582 27586 27591 27588 27589 27590 27580 27579 27583 24630 24617 24595 27592 24651 21639 21594 21537 21646 21421 21486 21621 21597 21648 21596 21602 21618 21606 21610 21644 21612 21590 21589 21588 21592 21614 21633 21656 21613 21600 21654 21599 21627 21591 21609 21608 21630 21624 21626 21629 21623 24659 25109 25120 25090 25105 25100 25095 25111 25113 25093 27593 25092 25091 25102 25094 25088 25089 25087 25112 25110 25103 25115 25101 25086 25097 25116 25117 24616 23773 23774 23771 23770 23772 24589 24590 22121 23758 23761 23769 21617 21601 24588 24587 24577 24581 24585 24575 24582 24576 24584 24580 24579 24583 24578 21605 22123 21638 23006 23005 23003 23002 22104 22103 22101 22095 22094 22090 22091 22089 22092 22093 22098 22096 22097 22102 22099 22100 23768 23765 23756 23757 23759 23763 23766 23755 21604 23008 22117 22118 22120 22114 22113 22115 22965 23754 22106 22110 22105 22108 22109 24532 24535 24533 24510 24511 24538 24516 24517 24522 24521 24519 24539 24513 24512 24515 24514 24509 24604 24615 24607 24608 24649 24647 24655 49145 51447 51446 51448 51566 53032 54303 54494 53789 54457 54497 54649 51629 54529 53021 54490 54409 52147 54428 53785 54555 54451 54444 54423 53793 53033 54443 54493 49134 54504 53804 53802 54518 52995 54434 54537 52129 52140 49128 51549 51559 51554 51556 51558 49127 53792 54442 53788 49141 49140 49138 54515 49142 51450 52120 54427 54691 53026 21616 25106 25119 22116 22111 21595 25114 25107 33591 33596 33594 30601 30648 33595 33593 30603 23767 23004 23764 23760 23007 23009 24530 24528 24534 24526 24531 24520 24524 24537 24518 24529 24527 24525 24523 25104 27581 27587 21642 36591 36599 36592 36585 36588 36595 36590 36587 36596 36598 36586 36594 36593 36589 36600 36597 36538 36545 36546 36539 36549 36541 36537 36543 36547 36548 34133 36540 36544 36536 36542 36551 36534 36532 36530 36528 36531 36529 36533 36535 36416 36417 36418 36421 36423 36422 36419 36415 36420 51504 49118 49119 49122 51497 51546 51492 51545 51543 51498 51542 51505 51507 51491 51489 51544 49120 51510 51493 51499 51513 51495 51502 51508 49121 51501 49124 49123 49125 51490 51547 51548 51515 51509 51496 48631 48632 51512 49137 51432 49133 51506 51494 51503 51452 49126 51541 51500 51511 51514 51561 51442 51564 36661 30651 30608 36602 33629 33625 33613 33607 33639 33626 33614 33630 33609 33608 31095 31096 31094 31098 31097 31099 31092 31093 33668 33498 33433 33601 33658 33603 33602 33549 34126 34127 34120 34125 34122 34124 34132 34129 33656 34116 34114 34113 34121 34130 34118 34128 34117 34123 34119 34115 33633 33618 33604 33600 33622 33636 36601 36526 36527 36584 33670 33662 33624 33606 33628 33612 33611 33617 33660 33621 33664 36515 36516 33666 33616 33642 33651 33620 33547 36414 33548 36523 36521 36522 36525 36524 36517 36518 36519 36520 36513 36511 36512 36506 36514 36507 36508 36505 36510 36509 36504 33632 33635 33645 33654 36550 30626 30667 36558 36575 36556 36571 36561 36559 36580 36560 36563 36582 36574 36577 36564 36583 33529 33530 33526 33523 33534 33535 33527 33525 33532 33528 33524 33545 33536 33539 33543 33538 33541 33542 33544 33537 33533 33540 33531 34109 34107 34101 34102 34105 34112 34110 34103 34104 34108 34106 34111 33644 33638 33641 33650 36581 36569 36557 36579 36565 36576 36567 36572 36568 36578 36573 36570 36562 36566 30430 30495 33521 33517 33518 33520 33522 33519 27420 27416 27424 27421 27413 27423 27425 27410 27409 24653 32782 32767 32772 32766 32013 32778 32765 32780 32770 32017 32015 32018 32769 32773 32764 32776 32016 32775 32771 32779 32781 32777 32014 32774 32768 24657 24612 27407 27406 27405 27417 27412 27408 27422 27414 27419 27418 27411 27415 33581 33580 32010 33579 33575 32009 32008 32011 33577 33576 33573 33574 33578 32012 36554 36555 33552 31130 32763 27426 24605 24609 27597 27602 27543 28126 28102 28103 28101 28110 28105 28118 28109 28119 28117 30541 30536 30535 30540 30542 30525 30526 30530 28114 28106 28099 28116 28113 28104 28107 28122 28112 28108 30493 28121 28100 28123 28120 28111 30494 28124 30591 30582 30580 30586 30581 30589 30587 30584 30583 30594 30527 30534 30579 30532 30524 30522 30539 30543 30537 30538 30529 30531 30528 28115 30523 30588 30590 30585 30593 30533 30592 27611 27600 27601 27624 27620 27594 27603 27612 27616 27598 27608 28098 28097 27645 27607 24636 27619 24602 30513 30512 30514 30515 30516 30517 27650 27652 30595 28096 28095 30520 30521 30511 30510 30431 27656 24620 27662 27576 27575 27573 27572 27571 27574 27567 27570 27569 27568 27546 27516 27517 24629 24623 24641 24603 24661 24611 25085 25084 25080 25079 25078 25081 25082 25083 26778 26757 25076 25077 26782 27512 27515 27514 27513 27510 27508 27507 27511 27506 27509 27527 27539 27537 27521 27525 27522 27518 27530 27533 27529 27535 27526 26781 24626 25122 24632 24635 27523 27519 27528 27520 27540 27536 27534 27538 27531 27524 27532 27542 27499 27500 27501 27496 27497 27503 27498 27541 27505 27504 27502 27618 33570 33571 33572 32006 32007 31084 31086 31085 31087 31091 31088 31089 31090 27654 27658 27615 27660 31082 31128 31083 31074 31073 31075 31076 30545 30488 30487 30476 30475 30470 30473 30479 30472 30478 30471 30480 30489 30484 30486 30485 30482 30483 30481 30469 30468 30467 30474 30477 30490 30492 30491 27664 27623 27566 27561 27563 27560 27558 27565 27559 27564 27562 30439 30433 27596 27492 25124 21650 24542 24541 24506 24507 24508 24497 24500 24501 24492 24495 24494 24498 24499 24505 24496 24493 24502 24503 24504 21652 21658 27595 27427 27606 27605 27614 27610 27632 27626 27635 27629 27633 27630 27636 27627 27639 30596 30518 30519 30509 30578 30577 27644 24574 24571 24570 24573 24572 24543 24569 24565 24564 24568 24566 24567 24556 24554 24563 24545 24553 24547 24546 24559 24555 24552 24549 24550 24544 24557 24551 24560 24548 24561 24558 24562 27638 33569 33566 33567 33568 30442 30441 30618 30500 30501 30508 30502 30506 30507 30505 30504 30503 30499 33504 33507 33508 33503 33513 33510 33514 33512 33511 33509 33505 33506 33502 31974 31132 33516 33515 25067 25069 25073 25070 25074 25068 25072 25071 25075 30629 30569 30567 30570 30568 30566 30564 30565 30563 30575 30574 30576 30571 30573 30572 28125 30632 27648 28082 28083 28081 28088 28085 28076 28077 28080 28089 28086 28087 28073 28079 28078 28084 28091 28093 28075 28072 28092 28094 28071 28074 28090 28070 30635 30638 32005 32004 27551 27552 27554 27548 27553 27550 27557 27555 27556 27549 30641 30647 30544 30562 30561 31999 32000 32003 32002 32001 30549 30558 30554 30551 30553 30555 30552 30556 30557 30559 30560 28127 31079 31078 31080 31081 31077 24402 24423 24403 24410 24413 24414 24405 24422 24416 24415 24421 24412 24404 24411 24418 24408 24406 24419 24420 24407 24409 24417 32783 33434 33497 33496 32784 23001 23775 24273 23778 23779 24398 24401 24399 24400 29009 29008 29778 29012 29010 29013 29771 29762 29769 29780 29775 29772 29763 29768 29777 29779 27428 27480 27479 27486 27489 27488 27485 27478 27484 27490 27481 27483 27482 27487 27491 29781 29760 30465 30422 30425 30427 30421 30426 30424 30420 30417 30414 30408 30409 30415 30411 30412 30413 29773 29770 29776 29767 29765 29011 29774 29761 29015 29014 30418 30410 30416 30423 30428 30429 30419 30463 30462 30464 26777 26776 27477 26764 26012 26009 26011 26008 26758 26010 26761 26759 26007 26760 26006 26005 26772 26767 26765 26770 26771 26762 26769 26775 26763 26768 26774 26766 26773 28971 28129 24397 26003 26004 26002 26000 26001 24396 25968 25126 22999 22997 22998 23000 24395 24394 24393 22995 22996 30547 30548 24390 24391 24392 24301 22994 22992 22993 22991 24287 22990 29003 29002 28998 30460 29000 30457 30458 30398 30397 30396 30466 29004 30407 29005 30402 30400 30401 30399 30406 29006 29007 30405 30403 30404 30461 30459 29001 28999 28996 28997 33474 33485 33483 33481 33486 33480 33478 33479 33493 33490 33482 33477 33471 33472 33473 33494 33495 33487 33484 33476 33492 33475 33488 33489 33431 33420 33426 33425 33415 33417 33414 33422 33423 33411 33416 33419 33428 33421 33413 33418 33424 33427 33430 33429 33412 33432 33410 33408 33407 33409 33469 33470 33468 33465 33466 33406 33442 33436 33444 33445 32788 33282 32787 29785 29784 25996 25995 25997 25998 25999 25994 25993 30279 33551 33550 33463 33464 33405 33461 33460 33462 33564 33565 33563 33561 33562 33560 33556 33559 33557 33558 33555 33554 33402 33403 33404 30307 30293 33467 21632 23762 24536 22112 22107 21620 24627 24633 24642 24586 29764 33491 29766 39631 39630 39620 39636 39632 39610 39624 39628 39606 15627 15621 18583 15638 15615 18579 15595 15633 15590 15648 15650 15642 15644 15636 15640 15630 18574 12581 12582 12580 12639 15582 18570 15624 15589 12647 18603 18611 15608 15646 15612 15618 18572 18607 18578 18580 18573 18591 18599 18618 18594 18636 12645 18584 15604 15603 15596 18577 18576 18575 15591 15607 15606 15594 18582 18581 18571 39662 39609 39608 39674 39615 39664 37133 37132 37131 37130 37135 39599 39439 39555 39504 49084 49085 48687 54568 51617 51616 51615 51613 51611 51610 36474 36477 36479 36494 36478 36495 36473 36476 36492 36487 36488 36497 36498 36496 36426 36428 36485 36490 36483 36429 36434 36430 36431 36425 36475 36424 36427 36433 36432 36491 36499 36482 36484 36481 36493 36486 36489 36480 36671 36609 36627 36437 36628 54418 54415 54566 54558 52103 54567 54456 54416 52096 54549 51688 54414 52149 54539 52101 54421 54413 52095 54533 52100 54412 54410 54535 54542 54531 54562 54564 54546 54563 54559 54560 54569 54565 54528 54551 54536 52104 54419 54527 54532 51609 53014 52097 54554 54543 52099 54420 54424 54544 54417 54561 18630 18621 18639 18624 18585 18589 15599 15600 15586 18627 35787 36607 36659 36665 39602 39601 39603 39600 39605 51612 51437 51614 49147 49143 49139 49136 49144 36669 36663 36621 36606 36610 36611 54552 54317 54548 53797 52098 54422 37124 37127 39596 39597 39598 37119 37123 37120 37122 37121 37126 37129 37128 37125 39595 39594 37134 39542 39541 39548 39552 39551 39546 39549 39547 39544 39545 39543 39554 37116 37117 37115 37114 39497 39494 39500 39498 39502 39499 39493 39496 39501 39495 39492 39503 39540 39539 39538 39537 37113 37112 39523 39521 39519 39522 39520 39535 39536 39534 37110 37109 39533 39532 39531 37108 39529 39530 37099 37105 37106 37098 37103 37092 37095 37097 37091 37096 37090 37104 37102 37107 37100 37101 36654 36657 36616 36624 37088 37089 39518 39527 37086 37080 37082 39516 37083 37081 37085 37084 37087 37079 39517 39525 39528 39526 21560 21557 21556 21559 21558 21561 21562 21563 21553 21552 21555 21554 18641 18645 18643 18653 18418 18483 18586 18534 18592 18593 18587 18588 21420 20772 21419 15531 15588 18487 18493 18488 18495 18503 18490 18491 18502 15652 18500 18496 18489 18492 18494 18499 15611 18497 18498 18501 18486 15593 15610 15583 15415 15585 15584 15480 18649 39440 20751 36436 36614 36615 36501 36604 36605 38769 39476 39484 39479 39487 39490 39491 39489 39480 39482 39481 39488 39486 39485 39477 39483 39478 18525 18506 18523 18526 18508 18514 18521 18529 18507 18527 18518 18524 18531 18530 18532 18520 18517 18522 18528 18516 18533 18505 18519 18510 18509 18511 18515 18513 18567 18569 18568 21543 21546 21544 21545 21551 21550 21541 21542 21547 21548 21549 18563 18566 18564 18565 18562 18512 18552 18555 18551 18557 18538 18539 18549 18550 18561 18543 18546 18558 18553 18544 18541 18560 18559 18542 18547 18545 18556 18540 18548 18554 18504 15653 21587 21586 18610 18609 18602 18601 21578 21582 21584 21585 21581 21577 21579 21580 21583 18615 21412 21410 21418 21411 21417 21415 21416 21414 21413 21409 21408 21400 21405 21403 21406 21394 21398 21396 21397 21399 21395 21404 21402 21401 21407 18598 18597 18647 21393 20766 20765 20760 20762 20770 20764 20769 20771 20768 20759 20758 20763 20757 20756 20767 20761 20752 20006 20755 20753 20754 21572 21576 21570 21575 21571 21574 21573 18606 18605 18651 18613 18596 19074 19073 19075 18655 21534 21533 21526 21532 21527 21529 21530 21522 21515 21510 21513 21514 21508 21518 21511 21516 21521 21509 21517 21520 21531 21525 21528 21536 21523 21524 21512 21519 19094 19100 19097 19086 19103 19112 19117 19107 19113 19102 19110 19114 19105 19104 19115 19111 19108 19099 21506 21507 19090 19087 19095 19098 19092 19088 19101 19089 19109 19106 19091 19096 19093 19085 19084 19083 19081 19082 19080 21535 18614 21505 21501 21504 21496 21497 21499 21495 21494 21491 21502 21503 21500 21490 21498 21489 21493 21492 19078 19077 19079 19072 19076 21566 21564 21565 21567 21569 21568 20775 20776 20003 20002 20001 20004 20005 21780 36673 36632 19118 19120 19962 39553 17758 17764 16096 17757 17765 16082 16097 16099 16100 17750 17753 16088 16111 16083 16090 16087 16091 16103 16102 16105 16098 17759 17752 18456 18458 18455 18473 18474 18476 15602 18468 18469 18467 18477 18478 18464 18470 18463 18454 18480 18472 18459 18462 18461 18419 17763 17751 16999 17754 16106 16996 17762 16995 17000 17766 16109 17761 17767 17755 16101 17756 16085 17002 18466 18479 18465 18475 18482 18471 18457 17003 17001 15598 18481 18460 17760 17749 16112 16095 16092 16081 16093 16089 16114 16086 16104 16110 16108 16084 16094 16107 16998 16997 17768 22088 22087 22085 22083 22084 22086 22082 22081 22080 22077 22079 22075 22076 22078 24478 24488 24485 24475 24472 24484 24482 24487 24425 24473 24479 24483 24470 24469 24481 24477 24471 24474 24480 24476 24486 24468 24466 24465 24463 24464 24467 24462 24461 24460 39425 39430 39435 39432 39428 39427 39436 39429 39437 39431 39433 39426 39434 39421 39423 39424 39420 39422 38790 39438 39418 39416 39411 36552 36667 36620 36617 39604 37093 39550 37118 37111 39524 37094 18400 18403 18404 18397 18408 18410 18392 18409 18406 18405 18394 18393 18395 18391 18396 18407 18415 18411 18401 18412 18417 18399 18413 18414 18402 18398 18416 24436 24435 24433 24427 21270 27545 27544 24459 24458 24457 24456 24455 24454 24453 24452 24451 16080 16079 27399 18387 18388 18453 17748 16992 16993 16994 16991 16990 16989 16115 18429 18427 18421 18430 18452 18449 18450 18451 18448 16988 18536 16073 16076 16075 16077 16078 16074 16117 16959 18389 18390 27398 27397 27396 27395 27394 21485 21472 21475 21474 21461 21459 21458 21460 21471 21468 21482 21467 21466 21480 21476 21477 21479 21481 21478 21484 21469 21473 21470 19999 20000 21483 21432 21430 21433 21424 21422 21464 21465 21462 21463 19994 19997 21455 21456 19996 19995 19998 21457 21539 21538 21448 21449 21454 21452 21453 21451 21450 27393 18535 17769 18267 17773 17772 27476 27472 27471 27469 27467 27470 27466 27468 27473 27474 27475 21392 21391 21390 19991 19990 19989 19993 19992 16986 16987 16984 16985 16072 16071 19988 19987 18386 18385 18295 18384 18281 18447 16069 16070 18446 18445 54620 54618 53030 54507 51690 53809 54435 46082 54437 48622 51488 48671 48679 48681 48677 51427 51431 51425 51426 51429 51424 51428 48675 48623 49096 49099 49105 51421 51538 49103 49101 49097 49093 49117 51540 49102 49100 49104 49110 49108 49109 49111 51423 51530 51534 49091 49113 51531 51539 49114 51422 51537 51536 51535 51533 51532 49116 49115 49112 49107 49106 51420 49094 49098 49095 49092 49146 48636 48635 48448 51565 50795 50793 50796 50801 50789 50792 50784 50791 50785 50790 50800 50786 50797 50787 50798 50788 50794 50799 46129 46126 46127 46119 46125 46128 46123 46131 46117 46120 46121 46130 46124 46122 46118 46135 46134 46133 46137 46138 46140 46139 46136 46141 46132 46144 46142 48561 49148 51485 51487 51482 51483 51486 51484 51481 54619 54331 39593 39591 39588 39592 39590 39589 38794 38793 39288 36619 36623 39414 21387 21298 21284 21389 21388 28063 31066 27666 30669 48628 48640 49083 48683 46081 43079 36675 37072 34069 33672 39678 40075 43078 42681 37073 25061 28064 40076 31067 34070 45684 48685 48644 48626 48513 48564 48673 51463 51462 51460 51454 51527 51526 51524 51528 51525 51529 50011 51414 51413 51406 51410 51415 51416 51412 51408 51407 51409 51418 51314 51328 51417 51419 51569 48627 50035 50026 50022 50782 50783 50023 50030 50031 50027 50032 50029 50036 50025 50034 50024 50028 50033 50781 49992 49150 50019 50018 50021 50020 50806 51300 50017 51411 50805 48639 48547 48554 48550 48557 48559 48551 48542 48560 48545 48544 48558 48552 48555 48553 48540 48549 48546 48548 48543 48556 48511 48512 48449 48446 48447 47799 48445 48440 48442 48444 48441 48437 48443 48438 48436 48439 48435 48427 48428 48432 48426 48429 48433 48431 48434 48430 48539 51568 51430 39585 39581 39582 39583 39586 39580 39577 39574 39573 39575 39584 39579 39572 39587 39576 39578 39627 39666 39614 39417 39415 39412 39413 39419 39607 47797 54506 48541 48538 42631 39557 38781 38023 38021 38773 38783 38772 38787 38785 38019 38780 38788 38020 38789 38771 38776 38779 38782 38770 38778 38777 38775 38022 38774 38024 38784 38786 39612 39619 39668 39623 39670 39672 42634 42677 42635 39613 39635 42615 42609 42613 42627 45596 45606 42558 42667 42611 42612 42665 42618 42639 42623 42442 42610 46100 46099 46101 46104 46103 46102 46105 46109 46110 46111 46113 46112 46115 46114 46116 46108 46107 46106 45609 45595 45604 45607 45601 45598 45597 45605 45603 45599 45600 45608 45602 45594 45610 45611 45676 48530 46093 46096 48528 48529 48527 46090 46092 46094 46097 46089 46098 46095 48531 46091 48535 48533 48534 48532 45446 45508 45509 45629 46088 48537 48536 46143 45663 45428 45432 45443 45433 45436 45441 45435 45438 45440 45442 45437 45429 45431 45430 45439 45434 44783 44788 44791 44793 44778 44790 44789 44777 44780 44787 44028 44781 44024 44776 44027 44784 44023 44785 44794 44026 44792 44030 44025 44786 44029 44779 44782 45678 45444 44795 45680 45633 45682 45672 48503 48499 48510 48504 48500 48507 48506 48502 48505 48509 48508 48501 45637 45641 46080 45620 45613 47798 47785 47790 47795 47792 47788 47786 47793 47794 47789 47796 47791 47787 45628 46145 48497 48493 48495 48498 48487 48496 48494 48486 48489 48491 48488 48492 48490 48563 48485 45619 48484 48483 48610 48613 48607 48608 48611 48614 48609 48612 48605 48606 48480 48482 48481 48479 48478 45625 48562 48519 48523 48517 48522 48524 48525 48518 48526 48521 48520 45674 45563 45562 45426 45427 45424 45425 45423 42630 42626 45558 45560 45552 45550 45554 45549 45556 45557 45553 45551 45555 42638 42617 42622 45504 45500 45499 45507 45496 45506 45505 45495 45497 45502 45448 45454 45503 45498 45501 42673 42620 42637 42679 45548 45547 45545 45535 45536 45542 45546 45540 45543 45538 45537 45541 45539 45487 45488 45492 45494 45493 45483 45491 45484 45489 45485 45490 45486 45544 42621 42629 42616 42669 42671 45593 45592 45590 45591 45588 45589 45587 42675 43077 45533 45534 45559 45482 45524 45525 45530 45529 45528 45531 45532 45527 45526 45515 45516 45523 45518 45519 45522 45514 45517 45513 45520 45521 39626 39618 39622 39617 39634 40138 40133 40136 40131 40132 40134 40135 42547 42546 42552 42549 42553 42554 42551 42550 42548 42555 40125 40128 40124 40126 40127 40130 40123 40129 42557 40119 40110 40117 40121 40122 40112 40115 40113 40118 40114 40116 40109 40111 40120 42443 42506 42499 42504 42503 42502 42501 42500 42505 42487 42485 42489 42482 42488 42484 42492 42483 42490 42486 42480 42491 42479 42497 42494 42493 42495 42498 42496 42481 41793 42428 42426 42429 42425 42427 42435 42436 42434 42439 42437 42438 42440 42423 42421 42424 42432 42430 42431 42433 42441 42422 42420 42607 42608 42478 42477 42625 43135 43138 43134 43136 43125 43137 43139 43129 43132 43128 43130 43133 43127 43131 43124 42633 43126 43141 41782 41783 41789 41792 41784 41785 41791 41787 41790 41788 41786 40139 42543 42535 42538 42540 42544 42541 42542 42536 42539 42537 42531 42530 42528 42529 42532 42527 42545 42533 42534 39676 41781 41778 41777 41776 41775 41780 41022 41026 41023 41025 41024 41779 41773 41774 41027 42556 42522 42524 42525 42523 42526 40074 42606 42603 42604 42602 38017 38016 38018 38015 38014 38012 38013 42605 42512 42519 42521 42513 42511 42514 42518 42520 42515 42516 42517 41021 41772 41020 36653 42510 40106 40108 40107 41796 41797 42560 42476 42475 42474 42472 42473 40983 40141 42445 42451 42453 42454 39451 37136 39408 39409 39410 39450 39442 39448 42559 40101 40099 40103 40105 40098 40102 40104 40100 39406 39405 39407 38007 38011 38009 38010 38008 39474 39473 39475 39470 39469 39471 39472 37980 37138 39467 39466 39468 43116 43111 43114 43112 43123 43113 43121 43119 42507 43117 43115 43122 43110 43118 43120 43109 43104 43106 43107 43105 43108 44022 44020 44021 43102 43103 44017 44016 44018 44019 45480 45481 44796 42291 42417 42419 42416 42418 42415 43100 43101 43098 43099 42414 39556 37071 39515 39508 39509 43096 43097 44015 44014 44013 39511 39510 39512 39513 39514 35777 35779 35780 35771 35768 35773 35784 35782 35019 35769 35775 35767 35770 35021 35015 35014 36435 35786 35766 35020 35774 35778 35018 35017 35772 35783 35776 35785 35781 35016 34977 34135 36500 35790 36448 35791 36439 36447 36445 22058 28062 45477 45479 45478 43142 43144 43986 45476 45475 31065 24663 25060 34068 44799 44800 44012 44011 36472 36471 36470 36469 36465 36464 36463 36466 36467 36468 36413 36409 36410 36412 36411 36408 36285 34100 34096 34097 34095 34099 34098 36405 36406 36407 35013 35012 35009 35011 35010 54617 54614 54616 54615 45445 48688 49081 49082 28061 28060 15575 15579 15577 15574 15576 15578 12583 15573 15572 15571 15570 15564 15565 15567 15566 15569 15568 12585 12412 12586 12579 12587 12588 12592 12635 12600 12477 12596 12528 27667 12593 12609 12601 12595 12605 12597 15562 15563 15561 21928 15556 15559 15560 15557 15581 15555 15580 15558 12603 12604 12637 47028 47027 47781 47779 47031 47033 47026 47032 47783 47780 47029 47784 47030 47782 47778 46989 47019 47021 47022 47020 47023 47024 47025 48425 48424 48423 48422 45640 48421 45632 48418 48419 48420 48417 47018 48415 48416 47016 47017 48414 47015 47014 46147 48325 46079 46078 45685 48451 48457 48460 48459 47802 48311 48297 47803 45618 45636 48806 48734 51318 51323 51320 51325 51321 51326 51316 51322 51327 51317 51884 51958 51957 52034 52035 51960 51810 51737 45803 45804 48954 48955 45456 45457 12608 12607 51315 51319 51324 46029 45954 48957 49031 46028 48881 49032 45878 45731 45951 45952 45313 45316 45317 45318 45319 45312 51811 51882 51881 45420 45421 45422 45418 45419 45294 44775 48808 45875 52081 52043 52074 52042 52057 52069 51707 52056 51708 51694 51711 52062 52077 51701 52082 52052 52046 52058 51691 52078 52051 52055 51709 51696 52063 51700 52075 52036 51697 52037 52071 52070 52072 52083 13101 13092 13079 13082 13098 13075 13074 13104 13091 13087 13078 13096 13086 13076 13094 13088 13093 13090 13077 13109 13097 13084 13083 13100 13089 13099 13102 13106 13081 13108 14763 14764 14762 13103 13111 13105 13095 13085 13080 13107 14755 14759 13999 14761 13997 14751 14749 13993 14747 14000 13990 13992 13991 13996 14752 14753 13998 14748 14746 13994 14758 14756 14760 14750 13995 14754 14765 14757 35008 35007 35004 35005 35006 34093 34094 34091 34089 34090 34092 35002 35003 34087 34088 21854 6963 6969 8988 8989 8987 9563 9564 9566 9565 9476 6939 9614 9613 9618 9611 6934 6981 6972 6966 6984 9538 6986 6931 6933 6932 6938 6936 6990 6937 36403 36404 36313 36402 36299 9537 9768 6988 6879 6763 45412 45414 45416 45413 45308 6828 6958 6959 6941 7000 48566 48565 6960 10153 52050 45805 52044 51703 52085 45315 52059 52038 51713 51883 51692 52040 51695 45310 52084 52064 51959 52076 52080 51693 51698 52047 51699 52066 52060 45411 52079 45417 52054 45415 48878 52061 52048 48879 45320 52041 51710 51712 45309 52045 51702 52049 45311 52065 51704 52039 52068 51705 52067 45314 45321 52053 52073 6948 6952 6975 9561 9562 11806 9615 9616 7325 7324 7323 7322 7320 9567 7332 7336 7334 7333 9668 9477 9568 9619 9503 12649 12590 9726 9728 12599 12591 13112 13956 13114 14745 12410 12413 13113 10149 10148 10150 10151 11801 11802 11804 11803 11805 10141 10145 10134 10146 10147 11793 11792 11791 11794 11790 11795 11798 11800 11796 11799 11797 12475 12406 12407 12409 12408 11807 10125 10122 10120 10118 10126 10123 10127 10121 10124 10119 11041 11042 11789 11788 12411 12476 11040 12405 12404 12403 12402 12398 12400 12506 12508 12507 11039 11037 11038 11035 11036 10115 10108 10114 10111 10117 10109 10110 10112 10113 10116 12467 12504 12457 12458 12454 12455 12502 12503 12452 12453 12456 11811 12498 12500 12497 12499 12501 9679 9676 13989 13986 13988 13987 12578 12576 9692 13984 13985 13983 13982 12573 12575 12574 12572 13072 13073 13069 13071 13068 13070 13067 13981 13066 7047 7039 7041 7048 7043 7044 7046 7040 7035 7032 7034 7033 7031 7036 7038 7194 6777 6804 6807 6818 6823 6799 6772 6766 6805 6816 6774 6825 6814 6813 6798 6817 6826 6827 6800 6811 6824 6809 6815 6803 6822 6764 10106 12493 12482 12496 12486 10097 10105 12484 12483 12481 10100 10101 10098 12488 12489 10107 10104 10099 12485 12491 12492 12487 12490 10102 10103 12494 12495 6821 6810 6808 6775 7316 7312 7331 7315 7309 7317 7329 7328 7313 7318 7307 7310 7314 7327 7319 7311 7326 7308 7306 7305 7301 7304 7302 7303 9588 7300 7299 9734 12261 7296 7297 7298 7292 7293 7295 7291 7294 6876 6852 6857 6856 6875 6878 6872 6858 6855 6864 6860 6830 6877 6868 6854 6851 6869 6873 6866 6849 6850 6861 6865 6871 6853 4728 4730 4726 6340 4695 4716 4697 4717 4712 4706 4699 4722 4725 4708 4698 4719 4707 4702 4720 4718 4723 4700 4713 4711 4703 4704 4714 4709 4721 4696 4705 4701 6859 6867 6874 6870 4724 9669 7290 7289 9721 7330 7321 9617 9502 9483 9544 9558 9492 9490 9493 9589 9606 9604 9608 9607 9593 9592 9609 9610 9603 9605 9599 9602 9595 9591 9597 9598 9594 9601 9600 8991 9612 12514 12513 11812 12395 12397 12396 9542 9553 9545 9552 9541 9548 9555 9557 9543 9540 9550 9556 9549 9551 9539 9481 9486 9485 9554 9482 6748 6346 6624 6741 6750 6742 6321 6754 6744 6739 6751 6747 6745 6756 6737 6749 6753 6752 6755 6746 6342 6743 6736 6740 6345 6762 6758 6925 6761 6759 6757 6927 6926 6738 6924 6922 6921 6923 6920 6910 6917 6914 6908 6912 6916 6918 6913 6909 6907 6915 6906 9546 6911 6919 9590 9596 4710 4715 8216 8977 8971 9517 8220 7337 8221 8973 8225 8978 8215 8217 8224 9506 8181 8981 8979 8972 8975 8222 8223 8984 8982 8219 8218 9504 8983 8985 11034 11033 11032 11028 11029 11031 11030 12527 45322 41019 41017 41018 41015 41016 41013 41014 41010 41012 41011 41009 41008 48315 49018 49012 49000 49030 49004 49006 48990 48993 49020 49005 49026 48996 49023 49011 49003 48984 48978 48992 49024 48988 48997 49002 48994 49013 49025 48986 48989 49001 48977 48991 49008 49015 49017 49009 49007 48999 49021 49010 49019 48987 49014 49016 48998 49029 49022 48995 49028 49027 48960 48969 48961 48971 48968 48970 48972 48966 48964 48962 48963 48958 48967 48959 48973 48965 48979 48980 48982 48985 48975 48974 48983 48976 48981 48766 48793 48765 48802 48804 48803 48801 48800 48786 48782 48770 45877 48772 48805 48792 48769 48764 48780 48796 48753 48787 48777 48759 48783 48799 48740 48739 48757 48760 48756 48737 48743 48749 48746 48742 48750 48744 48747 48933 48888 48940 48923 48910 48927 48901 48920 48912 48948 48924 48889 48939 48894 48943 48907 48934 48932 48941 48886 48926 48883 48896 48942 48899 48925 48916 48891 48918 48953 48893 48887 48946 48950 48944 48928 48884 48951 48938 48895 48917 48930 48892 48903 48935 48911 48921 48904 48900 48906 48873 48813 48818 48875 48812 48835 48852 48870 48838 48860 48866 48876 48848 48853 48851 48858 48859 48824 48862 48850 48829 48845 48834 48836 48823 48871 48846 48849 48843 48817 48861 48815 48839 48822 48831 48855 48827 48833 48814 48841 48847 48837 48810 48857 48768 48785 48816 48825 48856 48762 48844 48790 48867 48738 48952 48919 48936 48798 48791 48863 48781 48874 48758 48767 48947 48898 48915 48784 48771 48752 48865 48809 48869 48745 48776 48821 48819 48885 48754 48877 48945 48913 48820 48735 48751 48811 48909 48949 48741 48937 48922 48868 48914 48872 48905 48775 48778 48929 48828 48826 48931 48854 48761 48882 48902 48908 48890 48755 48748 48788 48736 48779 48763 48794 48864 48774 48830 48842 48789 48797 48840 48795 48897 48832 48773 48807 45876 51706 21707 33719 9771 9769 9770 9772 9778 9783 9776 9774 9785 9773 9784 9780 9775 9781 9782 9777 9779 9786 9788 9787 9570 7042 6862 6820 7193 6760 6812 6802 7045 7037 6863 6905 4727 6929 6341 6806 6819 6801 33297 33302 33305 33309 33303 33298 33307 33306 33301 33304 33300 33299 33308 36553 12443 12442 9724 12466 12464 12465 12463 12471 12473 12470 12474 12468 12469 12472 11027 10137 10129 10136 10135 10143 10128 10133 10142 12393 12391 12390 12448 12450 12449 12451 10144 11808 12521 12519 12520 12523 12525 12524 12517 12522 12516 12518 12515 12509 9688 10152 10139 12577 11787 10131 10138 10132 10140 12459 12461 12462 12460 12505 10130 12399 12401 12387 12386 12389 12388 12385 12384 12444 12445 12446 12447 12394 12392 12512 12511 12510 36303 36794 36722 36795 39306 42951 43026 39872 39798 39725 39946 36869 36943 36945 37020 40023 39948 39797 37069 37070 36676 36942 39945 39929 39911 39884 39894 39887 39875 39899 39882 39896 39941 33400 33401 33399 9738 11026 11025 9663 9665 9667 9666 9664 24710 24782 24783 33296 33310 9515 11023 11024 25059 9514 9512 12421 12423 12424 12415 37019 30789 30716 27786 27713 24857 24931 27934 27860 24930 21779 9823 9855 9849 9807 9857 9832 9833 9858 9850 9843 9853 9816 9827 9856 9822 9852 9851 9845 9847 9844 9840 9809 9836 9828 9860 9839 9838 9819 9862 9826 9859 9824 9861 9825 9817 9814 9835 9834 9837 9842 9820 9818 9831 9846 9854 9848 9808 9841 9821 9829 9830 12650 12440 12439 12441 15529 15518 15513 15526 15520 15527 15514 15521 15516 15525 15519 15517 15528 15515 15524 15522 15523 12641 12643 15530 15493 15492 15491 15488 15487 15485 15486 15489 15494 15490 15484 15483 15495 15412 15411 14766 15410 15394 15414 14769 15396 15409 15408 15406 15400 15398 15397 15393 15401 15399 15395 15404 15403 15402 15407 15405 15413 14770 15478 15479 15476 15472 15470 15469 15473 15468 15474 15475 15477 15471 15505 15508 15510 15511 15506 15512 15507 15509 21927 24291 21285 21296 21293 21286 21288 21297 21290 21287 21289 21292 21291 15496 15497 15499 15498 15501 15502 15504 15503 15500 18925 18924 15774 15773 18285 18704 18777 15416 24293 24296 24299 24292 24300 24288 24289 24290 22004 22005 18851 15467 15466 15455 15460 15454 15461 15453 15459 15457 15463 15458 15464 15456 15462 15465 15452 15449 15451 15450 15448 15447 15264 15389 15391 15390 15392 15445 15446 15388 15418 15424 15427 15426 15444 15443 15442 15701 39921 39917 39925 39893 39909 39907 28011 27436 27430 27465 27464 27462 27463 27461 27402 27403 27401 27404 27400 15383 15382 15381 15384 15385 24294 24295 21852 21781 24298 24297 21851 25008 24933 15387 21294 21295 15554 15551 15552 15548 15550 15549 15553 15386 15922 9863 9934 9694 12694 12696 12697 12695 12693 12691 12692 12687 12684 12686 12682 12683 12689 12685 12690 12770 12771 12698 12688 15921 9695 27933 30937 30863 27785 33942 34017 39316 27936 33940 33866 33792 33939 33791 30788 34016 30939 31014 30936 39302 15278 15292 27438 27439 40097 40094 40093 39799 39870 39869 39926 39883 39885 39879 39938 39877 39895 39934 39927 39936 39874 40095 40096 39942 39919 39900 39906 39920 39901 39908 39904 22056 21660 22057 16051 16050 19053 18657 19054 15533 9741 9671 9686 9682 9683 9687 9678 9673 9690 9681 9691 10154 9699 9732 9730 9736 9739 9737 9733 9735 9727 9731 9729 9677 9672 12382 12379 12381 12380 12378 12383 10156 9740 10998 12530 40022 42309 39305 39315 39307 39304 39314 39308 39311 39303 39309 39310 42801 36868 42728 42949 42875 42948 42802 42873 42872 42412 42413 52015 52018 52025 52028 52020 51990 52004 51994 51998 51989 52006 52009 51984 51992 52003 52005 51991 52019 52030 52027 52007 51983 52033 51965 51962 51964 51966 51977 51975 51993 51988 51982 51976 52017 51973 52013 52014 51997 52026 51963 51969 51972 51970 51978 51986 51967 51974 51971 51968 51979 52002 51996 52000 51999 51995 52008 52024 52016 52031 52029 52010 51985 52021 52023 52011 52012 52001 51980 51981 51987 52022 52032 42310 42306 42317 42313 42315 42316 42318 42311 42308 42314 42312 42307 39871 39928 39881 39897 39903 39930 39888 39898 39924 39891 39886 39933 39910 39878 39892 39915 39943 39939 39912 39944 39890 39902 39940 39916 39914 39937 39931 39922 39918 39923 39905 39889 39873 39880 39935 39932 39913 39876 43025 39313 39312 54319 54326 54322 54329 54321 54330 54327 54320 54318 54328 54323 54324 54325 51809 39765 39767 39760 39789 39774 39784 39794 39775 39768 39776 39778 39796 39755 39783 39743 39750 39766 39777 39763 39772 39786 39757 39793 39769 39792 39764 39795 39773 39780 39752 39759 39790 39779 39761 39756 39791 39781 39787 39785 39762 39744 39753 39788 39754 39770 39758 39782 39771 39858 39861 39827 39862 39868 39844 39838 39850 39840 39842 39839 39859 39851 39860 39854 39857 39853 39856 39867 39845 39825 39831 39866 39855 39841 39843 39864 39832 39826 39863 39852 39847 39829 39849 39822 39836 39828 39834 39865 39824 39848 39833 39846 39837 39835 39830 39735 39742 39731 39745 39737 39739 39733 39738 39746 39726 39747 39732 39734 39740 39751 39728 39736 39729 39748 39741 39730 39749 39727 42800 42411 42410 42409 42408 42979 43006 43013 43018 42993 42982 42990 42991 42995 43007 42984 42975 42981 42973 42987 42999 43009 42992 42996 42986 43012 43002 43022 42971 42974 43003 43005 43010 42994 42988 43008 43024 43004 43019 42977 42998 43016 43023 43015 42989 42976 42978 42985 42980 42970 42997 42983 43011 43017 43001 42968 42972 43000 42969 43021 43014 43020 42319 42305 38005 38006 51961 39821 39815 39819 39818 39820 39801 39823 39814 39813 39812 39810 39816 39800 39807 39806 39805 39808 39811 39804 39817 39803 39802 39809 42903 42908 42905 42904 42909 42912 42893 42911 42907 42898 42902 42894 42899 42897 42900 42895 42901 42906 42910 54708 55059 55045 54701 55047 55048 55082 54695 55072 55084 55046 54716 55044 55078 55067 55086 55057 55055 55053 54696 55063 55087 54702 55064 55073 55075 55076 54700 54694 54703 55077 55056 55060 55068 54706 54698 55052 55070 55081 55083 54715 54710 54713 54709 55054 55062 54697 55050 55040 55088 54705 54707 55042 54714 55071 55074 55043 55049 55058 55065 55085 54699 55069 54711 55061 55080 55051 55041 55079 55066 54712 54704 45998 45992 46021 45976 46020 45983 45975 46004 45990 46019 46000 46011 46025 46009 46007 46017 46001 46003 46006 45981 45979 45970 45967 45980 45978 45960 45958 45969 48320 48323 48880 48317 48312 48324 48313 48314 54885 54884 54960 54962 54814 55037 54963 55039 55038 54740 54730 54727 54737 54739 54728 54723 54731 54720 54722 54724 54725 54721 54886 54734 54726 54719 54732 54729 54733 54736 54961 54887 54813 54738 54735 46026 45991 46013 45959 45972 46018 46005 45988 45982 45984 45985 45966 45962 46015 45977 45961 45963 45965 46010 45964 46012 46002 45955 45986 46024 45971 45973 46027 45994 46016 46023 45968 45996 45999 46008 45995 45997 45987 45957 45956 46014 45989 45974 45993 46022 42780 42850 42759 42823 42785 42860 42859 42776 42761 42830 42743 42792 42858 42789 42856 42854 42733 42868 42788 42741 42730 42775 42863 42735 42778 42766 42745 42749 42836 42824 42771 42784 42831 42805 42736 42867 42742 42773 42748 42862 42793 42822 42786 42813 42806 42796 42829 42816 42864 42807 42794 42755 42820 42756 42838 42832 42851 42760 42732 42845 42768 42810 42821 42752 42799 42870 42731 42835 42819 42842 42746 42774 42833 42758 42840 42812 42750 42808 42852 42834 42798 42795 42767 42844 42779 42818 42783 42729 42738 42762 42849 42765 42744 42827 42797 42753 42825 42809 42754 42815 42770 42839 42857 42853 42847 42769 42826 42772 42734 42764 42782 42740 42790 42751 42866 42846 42747 42848 42861 42804 42787 42828 42865 42837 42739 42817 42781 42855 42763 42869 42737 42814 42811 42841 42777 42803 42757 42843 42871 42791 42877 42882 42890 42887 42891 42883 42876 42916 42915 42920 42937 42945 42914 42879 42886 42892 42944 42941 42896 42880 42881 42889 42885 42888 42884 42878 42921 42936 42922 42913 42927 42924 42930 42946 42942 42923 42928 42919 42939 42918 42931 42917 42926 42935 42940 42938 42929 42943 42947 42925 42933 42934 42932 42965 42956 42966 42963 42955 42958 42957 42952 42960 42964 42967 42959 42961 42962 42953 42954 36304 36300 36312 36308 36302 36301 36305 36311 36306 36307 36309 36310 48316 48319 48322 48318 48321 39679 40072 40073 45911 45936 45908 45882 45934 45899 45896 45945 45946 45906 45915 45879 45922 45917 45909 45914 45888 45935 45880 45898 45948 45893 45919 45942 45907 45940 45926 45924 45938 45947 45913 45939 45941 45932 45925 45950 45943 45931 45937 45892 45916 45921 45891 45884 45885 45949 45929 45904 45944 45920 45923 45928 45918 45890 45900 45933 45930 45910 45883 45889 45887 45927 45881 45894 45912 45886 45901 45895 45905 45897 45903 45902 48956 46039 46045 46038 46034 46036 46041 46032 46040 46044 46042 46043 46046 46037 46033 46035 46061 46052 45697 45691 45688 46047 46065 46076 46066 45689 45705 46055 46071 45706 45703 46054 45704 46064 46060 46072 46051 45695 45702 46069 46063 46030 45701 45696 46073 46074 45690 46050 45707 46068 46058 46048 46062 45698 45694 45693 45699 46067 45687 46077 46059 46075 46031 45686 46056 46057 46049 45700 46070 46053 45953 45692 42874 49056 49048 49078 49062 49079 49034 49040 49042 49050 49080 49039 49067 49064 49066 49054 49060 49033 49049 49052 49065 49063 49045 49070 49053 49059 49036 49046 49074 49051 49077 49047 49037 49043 49041 49038 49075 49071 49057 49044 49055 49061 49072 49068 49069 49073 49076 48708 48704 48705 49035 48710 48707 48706 48692 48703 48691 48700 48689 48696 48699 48701 48697 48698 48702 48695 48693 45838 45848 45828 45823 45808 45817 45839 45862 45871 45810 45851 45856 45861 45854 45841 45840 45857 45811 45818 45807 45872 45852 45858 45809 45830 45821 45850 45813 45843 45835 45819 45834 45822 45869 45816 45853 45874 45812 45868 45849 45870 45855 45867 45847 45836 45827 45842 45846 45826 45815 45865 45860 45873 45859 45814 45829 45833 45806 45766 45750 45796 45773 45763 45756 45788 45771 45795 45798 45767 45787 45768 45772 45786 45779 45791 45789 45783 45762 45801 45761 45799 45792 45782 45800 45760 45784 45770 45774 45785 45769 45777 45764 45775 45797 45802 45749 45778 45790 42950 43064 43048 43038 43027 43032 43067 43030 43075 43062 43037 43051 43049 43042 43055 43072 43034 43060 43069 43053 43045 43052 43054 43073 43070 43040 43043 43036 43035 43074 43059 43065 43041 43028 43057 43063 43076 43071 43056 45743 45757 45737 45736 45744 45735 45732 45747 45746 45740 45751 45755 45742 45753 45748 45733 45734 45738 45741 45739 45754 45752 45745 43044 43033 43068 43061 43039 43058 43050 43066 43047 43031 43046 45845 49058 45863 45780 45759 45864 45831 48709 45776 45794 45825 45820 45758 45793 45832 48694 48690 45844 45837 45824 45781 45866 45765 27857 30860 27294 27787 30861 30790 27858 36866 36796 33864 36867 33793 33863 27293 27299 27295 27302 27291 27292 27296 27301 27298 27300 27297 24784 24854 24855 9720 27276 9495 8990 8995 9491 8980 8974 9501 8970 9480 9494 9499 9488 9559 9547 9479 9496 8976 7339 9500 8986 9498 9487 9497 9358 9484 9489 8994 9478 9560 12279 12526 15282 15892 15912 15897 15916 15893 15891 15902 15913 15905 15866 15911 15920 15918 15885 15906 15907 15886 15895 15868 15894 15901 15910 15908 15904 15899 15909 15903 15896 15900 15869 15888 15919 15889 15898 15890 15917 15915 15887 15914 28010 31013 25007 27458 27460 27456 27457 27459 51871 51819 51847 51855 51815 51840 51861 51766 51795 51843 51862 51877 51757 51788 51794 51781 51762 51767 51769 51874 51817 51818 51866 51790 51799 51808 51747 51805 51743 51765 51846 51828 51830 51841 51833 51816 51835 51858 51856 51875 51813 51823 51852 51849 51839 51853 51869 51791 51758 51746 51806 51751 51754 51756 51792 51812 51831 51844 51842 30862 33762 33738 33742 33722 33781 33769 33751 33772 33776 33721 33749 33790 33750 33768 33784 33760 33780 33739 33735 33727 33724 33778 33744 33788 33761 33759 33743 33730 33725 33758 33779 33737 33785 33770 33755 33734 33723 33753 33752 33747 33736 33774 33775 33756 33766 33789 33732 33720 33782 33771 33764 33783 33777 33773 33741 33757 33765 33786 33767 33787 33729 33748 33731 33763 33733 33728 33726 33745 33746 33754 33740 30297 9933 9475 9505 7335 12275 12289 9577 9581 9578 9582 9586 9573 7282 7285 9587 7283 7286 9572 7284 9584 7288 7280 9585 9579 9580 9574 7281 7287 9583 9576 9575 12529 33865 12286 12278 12276 12281 12280 12287 12288 12283 12277 12284 36756 36748 36754 36747 36776 36760 36744 36792 36786 36768 36740 36769 36784 36753 36773 36790 36764 36758 36791 36781 36778 36743 36793 36767 36757 36749 36739 36763 36779 36750 36788 36783 36787 36785 36774 36765 36775 36755 36772 36766 36742 36759 36751 36752 36746 36780 36761 36777 36782 36741 36770 36762 36771 36745 36789 36732 36724 36731 36737 36738 36723 36727 36725 36733 36734 36736 36730 36726 36729 36728 36735 51949 51945 51923 51925 51885 51786 51771 51880 51772 51859 51773 51778 51779 51797 51864 51832 51755 51807 51783 51777 51782 51768 51904 51902 51749 51801 51825 51802 51834 51872 51796 51803 51787 51838 51863 51761 51748 51793 51745 51848 51870 51920 51952 51948 51911 51953 51896 51891 51886 51888 51894 51900 51887 51890 51899 51921 51940 51917 51922 51906 51897 51898 51741 51774 51851 51854 51739 51822 51744 51763 51829 51938 51893 51905 51944 51924 51951 51926 51942 51941 51955 51914 51913 51929 51918 51954 51939 51934 51946 51950 51910 51927 51931 51909 51936 51916 51928 51770 51753 51826 51775 51824 51857 51740 51784 51798 51776 51760 51820 51752 51867 51860 51876 51868 51827 51742 51789 51878 51738 51780 51845 51873 51764 51837 51865 51814 51850 51750 51836 51800 51930 51915 51956 51947 51937 51901 51935 51919 51903 51932 51908 51912 51895 51785 51759 51804 51879 51821 51907 51933 51889 51892 51943 36962 36969 36998 36983 37007 36963 36961 36947 36958 36970 37010 37011 36952 37013 36995 36949 36951 37009 36950 36984 37018 36964 37003 36985 36967 36957 36966 37017 36987 36999 37008 37002 37012 36994 36946 37006 36988 37005 37016 36989 36948 36960 36953 37004 36973 36968 36965 36971 36993 36996 37014 36956 36978 36979 36974 36981 36976 36980 36982 36972 36975 37000 36992 36954 36990 36997 36986 37015 36959 36955 36977 37001 36991 27988 27987 28006 27993 28005 28001 27958 27994 28003 27995 28000 27986 27976 27980 27983 27998 27979 27989 27992 28009 28007 27996 27991 27981 28002 28004 27997 27977 27999 27985 27984 28008 27990 27982 27975 27978 27290 36897 36908 36910 36888 36920 36886 36894 36887 36925 36893 36899 36931 36915 36898 36895 36932 36935 36934 36926 36929 36900 36936 36907 36912 36889 36930 36938 36901 36906 36905 36892 36896 36903 36941 36923 36911 36921 36917 36924 36914 36913 36891 36902 36904 36940 36939 36933 36919 36918 36890 36909 36937 36927 36922 36916 36928 33853 33830 33848 33847 33862 33849 36882 36878 36880 36879 36877 36871 36881 36872 36875 36870 36885 36876 36884 36874 36883 36873 40016 39960 40001 40002 40018 39988 39952 39970 39990 39997 39955 40021 40011 39968 40006 39982 40014 39957 39949 39956 39998 40010 40008 39991 39981 39979 40012 40013 39993 39974 39978 39989 39977 40007 39964 40000 39995 39987 39950 39967 39984 39965 40015 39975 39983 39962 39994 39972 39953 39973 39996 40004 39959 40017 39961 40005 39963 39966 40009 39976 39986 39985 39999 39992 39971 40019 40003 39969 39958 39951 39954 39980 40020 42682 42703 42704 43029 42692 42684 42695 42697 42687 42700 42685 42696 42698 42694 42701 42690 42691 42689 27955 27957 27954 33828 33841 33807 33797 33843 33796 33861 33845 33794 33855 33832 33835 33859 33857 33844 33856 33846 33833 33854 33860 33836 33842 33829 33850 33851 33837 36944 37038 37062 37041 36697 36693 36679 36681 37060 37032 37029 37055 37033 37048 36683 37047 37040 37042 36698 36696 37023 36677 37063 37059 37065 37025 37027 37026 36688 37050 37064 36682 36689 36687 27304 27454 27455 27303 30306 30296 30295 30299 30298 30302 30294 12843 12772 27968 27970 27973 27969 27967 27963 27972 27974 27971 27966 27965 21930 15753 15759 15751 15744 12844 15708 15712 15714 15705 15702 15710 15703 15716 15711 15765 15738 15766 15762 15720 15752 15761 15741 15721 15768 15756 15742 15772 15739 15754 15764 15755 15743 15750 15749 15767 15746 15757 15748 15719 15771 15758 15763 15740 15769 15770 15737 15745 15760 15747 15718 15717 15704 15707 15715 34066 34067 33673 42688 42683 37068 37051 37067 33831 33858 33834 33852 33827 33810 33838 42686 42702 33811 42693 42699 33839 33840 33923 33920 33889 33991 33961 33979 33907 34000 33905 33980 34010 34013 33963 33974 33977 34015 33971 33976 34001 34003 34007 33903 33988 33915 33922 33875 33947 33926 33983 33910 33960 34014 33925 33966 33927 33913 33992 33933 33908 34011 33914 33904 33869 33870 34012 33969 33883 33929 33901 33949 33884 33951 33868 33968 33874 33950 33895 34006 33919 33998 33932 33906 33896 33993 33882 33958 33973 33997 33987 33893 33891 33964 34008 34009 33996 34005 33912 33985 33956 33946 33879 33873 33995 33916 33953 33934 33936 33887 33931 33899 33924 33994 33900 33902 33930 33885 33959 33945 33954 33867 33955 33881 33967 33943 33962 33878 34004 33981 33970 33935 33917 33975 33928 33984 33982 33921 33898 33944 33880 34002 33952 33886 33911 33890 33897 33938 33894 33876 33871 33892 33937 33986 33978 33909 33990 33989 33918 33972 33948 33888 33965 33872 33957 33999 33877 24916 24924 24913 24890 24928 24875 24896 24895 24885 24876 24921 24891 24912 24902 24915 24927 24897 24919 24900 24905 24910 24923 24914 24894 24926 24889 24892 24911 24907 24877 24893 24917 24906 24904 24884 24925 24874 24887 24888 24908 24886 24899 24929 24903 24909 24898 24901 24920 24922 24918 24873 24881 24868 24870 24879 24871 24880 24864 24872 24869 24859 24862 24858 24861 24860 24863 24882 24865 24866 24867 24883 30920 30923 30916 30906 30917 30901 30910 30909 30922 30926 30915 30902 30884 30932 30934 30912 30881 30905 30907 30924 30927 30911 30903 30913 30928 30914 30919 30908 30929 30931 30918 30921 30933 30883 30935 30925 30930 30904 12918 12919 15848 15882 15883 15881 15884 15876 15877 15880 15878 15874 15879 7001 15859 15862 15863 15870 15861 15864 15872 15854 15873 15857 15855 15851 15858 15865 15871 15849 15867 15875 15852 15850 15709 15998 15999 15856 15853 15706 15713 15860 18927 19002 19001 12842 15846 15775 18776 30868 30896 30889 30893 30885 30887 30886 30888 30890 30897 30892 30867 30882 30876 30877 30899 30895 30873 30871 30864 30872 30874 30898 30894 30880 30878 30865 30870 30875 30879 30866 30869 30900 30891 18993 18990 18983 18985 18966 18928 18960 18945 18974 18943 18971 18984 18937 18991 18965 18939 18989 18932 18976 18957 18941 18980 18938 18977 18994 18996 18963 18967 18995 18959 18988 18949 18935 18968 18987 18944 18940 18933 18998 18999 18986 18954 18942 18975 18929 18978 18997 18973 18962 18982 19000 18961 18956 18964 18972 18992 18930 18981 18946 18958 18948 18979 18970 18936 18969 18931 15946 18953 15975 15978 15953 15958 15980 18947 15968 15963 15979 15961 15955 15943 15996 15970 15972 15962 15977 15971 15942 18952 15987 15997 15981 15985 15964 15994 15969 15976 15973 15957 15954 15989 15951 15966 15984 15982 18950 15990 15988 15995 15959 18951 15991 18934 15974 15993 15986 15956 15965 18955 15967 15992 15983 15945 15960 15845 33816 33814 33819 33812 33817 33815 33821 33813 8214 8213 15804 15825 15840 15809 15801 15819 15800 15813 15820 15798 15815 15836 15810 15844 15814 15808 15796 15797 15780 15776 15792 15781 15790 15778 15799 15784 15829 15831 15824 15828 15838 15823 15811 15841 15842 15816 15835 15818 15839 15837 15832 15807 15822 15834 15827 15830 15803 15843 15812 15821 15833 15805 15826 15802 15806 15817 15794 15777 15787 15783 15786 15791 15779 15789 15782 15785 15795 15793 15788 15952 12996 15937 15925 15950 15927 15938 10038 15929 15948 15931 15934 12921 15940 15949 15924 15926 15932 15936 15935 12995 15944 15947 15928 15941 15939 15930 15933 27947 27951 27948 27946 27952 27953 27942 27944 27945 27943 27950 27956 18849 18778 7274 12651 9742 10090 4668 7002 19055 7273 15654 13048 16052 13049 10091 13047 10089 18848 12889 12875 12894 12893 12884 12882 12866 12917 12915 12881 12904 12886 12911 12909 12913 12916 12891 12903 12900 12902 12885 12877 12871 12880 12863 12876 12914 12865 12905 12873 12878 12883 12887 12910 12899 12897 12907 12906 12898 12901 12874 12879 12892 12896 12888 12912 12890 12908 12895 24856 30988 30975 31010 31006 30957 30982 31008 30991 31007 30953 30987 30956 30949 30951 30944 31011 30986 30973 30981 30969 30990 30984 30946 31001 30983 30980 31002 30978 30952 30970 30998 30993 31003 30968 30950 30994 30976 30992 30958 30977 31005 31009 30997 30972 30960 31000 31012 30999 31004 30985 30995 30948 30954 30947 30943 30941 30942 30989 30979 30971 30961 30996 30966 30945 30974 30955 30940 40024 39947 40032 40059 40025 39701 40060 40044 40039 40038 40031 40053 40067 40057 39697 40046 40071 40048 40037 40036 40028 40043 39696 40033 40030 40035 39695 40040 40065 40034 40069 40056 40058 40062 40042 40050 40054 40068 40049 40063 40051 40061 40026 40070 39698 40047 39700 40027 40041 40045 39699 40029 40066 40052 40064 40055 27776 27755 27775 27732 27757 27753 27845 27850 27773 27761 27754 27842 27856 27770 27778 27824 27847 27779 27760 27772 27765 27834 27855 27774 27782 27823 27826 27840 27849 27781 27768 27766 27853 27783 27759 27767 27762 27784 27756 27777 27780 27836 27805 27837 27851 27843 27822 27841 27846 27852 27838 27844 27831 27829 27825 27832 27821 27749 27751 27839 27764 27752 27763 27833 27835 27830 27848 27750 27828 27827 27769 27771 27758 27854 27733 27731 27804 27730 30959 18860 18855 18867 18896 18916 18912 18915 18873 18861 18870 18878 18893 18923 18900 18897 18910 18899 18869 18913 18892 18877 18917 18880 18879 18921 18857 18856 18864 18883 18889 18858 18866 18852 18859 18854 18865 18909 18898 18903 18906 18902 18901 18868 18863 18881 18888 18882 18914 18884 18872 18871 18908 18922 18887 18907 18886 18890 18891 18919 18885 18918 18875 18876 18874 18911 18895 18905 18904 18894 18920 18853 18862 30962 21853 36860 36835 36865 36833 36834 36855 36830 36846 36844 36836 36864 36841 36843 36831 36858 36842 36853 36859 36845 36840 36838 36839 36857 36861 36856 36848 36832 36863 36837 36854 36847 36850 36851 36852 36862 36849 27800 27802 27789 27791 27788 30964 30967 30965 30963 27803 27726 27717 27714 27728 27715 27729 36809 36801 36802 36799 36814 36800 36806 36808 36805 36798 36804 36803 36810 36797 36813 36812 36811 36807 27796 27797 27798 27790 27792 27795 27794 27793 27801 27799 27716 27718 27722 27724 27723 27721 27720 27719 21919 21874 21897 21912 21895 21905 21856 21920 21893 21868 21916 21862 21904 21859 21926 21914 21857 21855 21896 21861 21910 21869 21863 21925 21924 21873 21906 21867 21892 21858 21864 21900 21918 21903 21902 21872 21921 21911 21909 21875 21923 21899 21871 21908 21898 21915 21860 21917 21870 21922 21913 21894 21901 21865 21907 21866 21891 24765 24768 24764 24778 24773 24770 24775 24771 24772 24767 24781 24777 24776 24713 24712 24769 24780 24779 24766 24714 24774 24763 24729 24727 24750 24755 24756 24759 24760 24752 24757 24748 24730 24753 24751 24754 24758 24749 24747 24761 24762 24728 27725 27727 24840 24828 24830 24833 24838 24829 24841 24825 24851 24839 24835 24852 24850 24834 24822 24853 24836 24820 24824 24826 24832 24847 24821 24827 24831 24823 24849 24848 24845 24837 24819 24842 24844 24818 24846 24843 24802 24801 24716 24719 24718 39684 39685 39687 39682 39690 39694 39689 39688 39692 39686 39693 39680 39683 39681 39691 24711 24715 24717 21876 21886 21885 21888 21878 21881 21879 21877 21889 21882 21890 21883 21887 21884 21880 24800 24798 24786 24795 24794 24787 24789 24796 24788 24785 24722 24725 24724 24720 24723 24726 24735 24742 24743 24741 24737 24792 24739 24740 24797 24744 24738 24746 24745 24736 24731 24732 24734 24733 24721 24791 24793 24790 24799 24815 24804 24807 24811 24812 24806 24809 24805 24814 24803 24813 24808 24817 24816 24810 18283 18293 18282 18290 18284 18287 18286 18294 18288 18289 27960 27964 27962 27961 27959 27941 27937 27938 27940 27949 27939 24962 24970 24955 24951 24973 24985 25001 24996 24997 24976 24969 24994 24960 24987 24982 24963 24984 24974 25000 24995 24965 24967 24977 24978 24980 24975 24988 24972 24992 24990 25004 25003 25006 25002 24983 24971 24954 24952 24979 24989 24993 24986 24968 24991 24998 24981 25005 24999 24964 24966 24961 24950 24956 24959 24958 24957 24953 15284 15281 15287 15280 15291 15279 15290 15283 30443 36449 24947 24943 24948 24946 24942 24945 24934 24940 24944 24938 27440 30305 24949 24939 24935 24936 24941 24937 33803 37056 37031 36684 36691 37046 36692 36680 36694 37054 37024 37021 37066 36690 36686 36685 33826 36678 33822 33824 33820 33818 33823 33809 33802 33801 33798 33808 33795 33806 33805 33800 37036 37030 37043 37053 37044 37058 37022 37039 37035 37028 37037 37049 33825 36695 37045 37057 37034 37061 37052 33799 33804 18730 27859 15728 15730 15733 15736 15732 15731 15729 15735 15726 15734 36817 36822 36829 36821 36819 36824 36827 36818 36825 36826 36823 36828 36815 36820 36816 30752 30741 30773 30768 30765 30786 30783 30753 30748 30760 30779 30767 30780 30776 30759 30774 30772 30750 30771 30736 30745 30751 30778 30762 30769 30743 30787 30757 30766 30756 30744 30785 30755 30777 30754 30763 30761 30784 30775 30764 30770 30747 30781 30735 30758 30746 30749 30782 30300 30301 30303 30304 30738 30733 30737 30740 30742 30739 30734 27919 27903 27907 27882 27887 27879 27897 27926 27888 27922 27889 27912 27927 27932 27909 27891 27890 27904 27928 27929 27918 27930 27908 27915 27901 27886 27878 27906 27925 27902 27913 27898 27885 27895 27931 27911 27880 27881 27892 27924 27921 27899 27916 27905 27896 27900 27894 27920 27910 27917 27914 15727 15723 15722 15724 15725 24878 8210 8212 8211 9621 30719 30732 30722 30730 30723 30729 30720 30726 30727 30728 30718 30731 30717 30725 30721 30724 30827 30858 30859 30850 30851 30854 30856 30841 30849 30830 30824 30846 30829 30828 30836 30848 30825 30847 30852 30835 30844 30831 30845 30853 30840 30837 30843 30834 30842 30833 30857 30832 30826 30838 30855 30839 15847 9536 9534 9535 9533 9531 9530 9532 9470 9472 8207 8206 9469 9471 9473 8208 9474 8209 12742 12734 12753 12736 12738 12702 12713 12739 12769 12760 12767 12703 12744 12756 12757 12747 12761 12716 12714 12765 12715 12711 12699 12737 12709 12717 12758 12718 12710 12704 12701 12762 12766 12752 12706 12755 12751 12712 12763 12735 9935 12741 12740 12768 12700 12748 12745 12705 12708 12764 12754 12746 12750 12759 12749 12743 12707 12729 12719 12730 12732 12725 12722 12720 12726 12721 12724 12723 12733 12728 12731 12727 27871 27875 27874 27876 27869 27866 27868 27870 27872 27738 27817 27745 27747 27748 27812 27820 27740 27814 27746 27742 27816 27741 27810 27818 27815 27743 27813 27744 27819 31041 30686 30673 30670 31048 31055 30684 31017 31054 31045 31060 31047 31027 27865 27864 27739 27735 27862 27734 27736 27737 27873 27863 27811 27807 27806 27808 27809 30690 31042 31024 30672 31051 31061 31039 31034 31049 31016 31036 31053 31044 31018 31022 31050 31031 30675 30677 31062 30688 30671 30692 31037 31052 30682 31021 31020 31056 31046 31030 30938 31040 31028 30687 31025 31026 31035 30676 30689 31043 31058 27877 27884 27883 27867 27861 27893 27923 30691 30678 31033 31029 30679 31059 31019 30685 31032 30674 31015 31038 31064 31057 31023 31063 30680 30683 30681 30823 30822 30817 30813 30821 30818 30816 30815 30820 30819 34021 34063 33693 34026 33695 34043 33687 34044 34047 33683 34032 34020 33675 33680 34027 34057 33674 34023 34018 34025 34042 34030 34033 34035 33691 34041 34060 34036 34048 34039 34054 34053 34051 34046 34045 34037 34049 34040 33677 34052 33692 34058 33684 34065 33690 34061 33682 33686 33676 33689 34056 34028 34055 34029 34059 33679 33678 34031 34050 34064 34038 33685 34024 34062 33688 34022 34019 33694 33681 33941 34034 18850 21741 21738 21759 21742 21776 21820 21828 21826 21754 21736 21740 21753 21778 21746 21727 21771 21765 21775 21745 21834 21772 21757 21726 21777 21734 21774 21773 21850 21760 21847 21763 21747 21758 21744 21751 21827 21739 21841 21767 21749 21839 21836 21825 21822 21843 21761 21764 21844 21830 21846 21819 21768 21821 21817 21799 21840 21731 21732 21743 21730 21737 21831 21755 21849 21823 21750 21725 21769 21756 21832 21837 21816 21833 21752 21829 21770 21766 21835 21838 21748 21762 21818 21735 21845 21848 21842 21824 21728 21733 21729 21722 21708 21714 21720 21712 21715 21718 21719 21713 21721 21711 21717 21723 21716 21709 21710 21724 21794 21789 21792 21793 21790 21783 21786 21788 21785 21815 21798 21795 21797 21787 21782 21796 21791 21784 25038 25042 24670 21814 24686 25014 24681 25011 25015 25013 21807 24683 24675 25029 21801 25027 21811 24677 25047 24671 25058 25044 24666 25054 21804 24667 24674 25018 25055 21802 25016 25020 24678 25048 25056 25019 25033 21812 25026 25010 24682 25009 25025 21813 21806 21810 24676 25012 25052 25022 25039 25032 24679 25045 24932 24684 25049 25053 25041 24672 25037 25023 25028 21805 25030 21800 25057 25031 24685 25035 25034 25017 25051 25043 24673 24664 25040 21803 25036 21809 25021 25024 24665 24680 24668 25050 21808 24669 25046 15286 15285 21990 21948 22002 22000 21952 21994 21989 21973 21988 21968 21951 21978 21971 21972 21977 21980 21982 21974 21997 21986 21985 21992 21999 21983 21987 21949 22003 21975 21995 21984 22001 21979 21998 21976 21970 21996 21991 21969 21981 21993 21950 21967 21961 21962 21964 21965 21957 21966 21963 21959 21960 21955 21956 21954 21958 30806 30805 30803 30802 30793 30799 30796 30801 30798 30792 30797 30791 30800 30794 30795 30807 30808 30804 7272 21945 21934 21937 21939 21938 21944 21932 21935 21953 21936 21931 21947 21946 21941 21933 21942 21943 21940 18772 18718 18722 18756 18771 18723 18759 18745 18774 18712 18766 18724 18716 18770 18743 18767 18717 18742 18707 18710 18757 18765 18705 18760 18706 18763 18755 18744 18762 18761 18747 18773 18708 18741 18753 18711 18715 18720 18713 18746 18754 18750 18709 18769 18748 18719 18775 18714 18768 18758 18751 18752 18749 18764 18725 18721 18740 18727 18732 18737 18738 18734 18735 18728 18739 18731 18736 18726 18729 18733 18823 18840 18821 18829 18846 18816 18842 18825 18815 18843 18832 18830 18834 18814 18818 18844 18817 18837 18841 18812 18826 18835 18827 18833 18847 18838 18824 18845 18831 18828 18819 18820 18839 18822 18813 18836 30810 30814 30809 30811 30812 15289 27679 28028 27685 28013 27682 27687 27678 27681 28053 28043 28039 27683 28021 28051 28040 28015 28017 28044 27680 28046 27935 28025 28024 28050 28027 28036 27674 28032 28023 27669 28055 27676 28042 28014 28026 28020 28041 28054 28012 28018 28022 28034 28035 27673 28056 28059 27672 27688 28048 28016 27668 27675 28030 27671 28047 27670 27684 28033 28052 27677 28037 28049 28057 27686 28058 27689 28029 28019 28031 28038 28045 18659 19048 19005 19027 19038 19037 19032 19041 19003 18658 19031 18675 18668 18670 19025 18669 19012 19009 19021 19033 19040 18662 19049 18805 18810 18671 19011 19017 19044 18804 18809 18661 18806 19036 19029 19046 18807 18803 18665 19051 19018 19004 19015 18801 18677 19050 18663 18676 19006 19047 19008 19026 19045 19043 18680 18664 18666 19014 19028 18291 18292 18926 19023 18667 19013 18672 19035 19024 19020 19010 18660 19022 19034 19042 19039 18679 19030 18678 19016 19052 19019 18673 18674 19007 18811 18808 18788 18784 18791 18779 18783 18793 18786 18794 18787 18795 18781 18796 18782 18792 18780 18790 18785 18789 9369 22012 22030 22009 21929 22052 22007 22039 22049 22034 22020 22053 22025 22045 22023 22036 22008 22017 22016 22038 22027 21683 22014 22032 22037 22035 22041 22022 21679 18798 22033 21682 22018 22010 22055 22044 22050 22011 22046 22040 22042 22047 22026 18799 22031 22013 22024 18800 22028 22048 22029 22015 22019 21681 21678 22043 18797 18802 21680 21677 22021 22054 22051 22006 24437 33446 10010 10009 12845 12950 12987 12955 12993 12953 12952 12986 12991 12994 12954 12940 12988 12990 12951 12959 12938 12945 12956 12958 12961 12957 12942 12960 12941 12992 12944 12943 12939 12989 21668 21670 21662 21673 21663 21671 21664 21667 21674 21666 21661 21672 21675 21669 21665 21676 9380 9370 9371 9379 12282 6844 6843 6842 6840 6836 6839 6834 6835 6837 6841 6832 6838 6833 6735 6846 6845 6797 6848 6847 4424 7202 7218 7220 7204 7216 7221 7215 7211 7206 7213 7219 7207 7214 7217 7205 7203 7212 7208 7210 7209 4467 4423 9936 7029 7028 7030 9789 7122 7121 4729 6928 12285 15288 9790 9795 9791 9801 9802 9799 9797 9800 9794 9798 9815 9813 9811 9796 12869 12864 12870 12872 12855 12868 12850 12849 12856 12851 12848 12846 12857 12860 12859 12862 7195 12852 12858 12861 12853 12847 12867 12854 9956 9993 10007 9999 9806 10003 9978 9971 9964 9995 9970 9979 9966 9976 10005 9989 9965 9812 9810 9372 9987 9972 9954 10008 9973 9986 9977 10000 9985 9994 9991 9982 9997 9983 9967 9980 10002 9975 9974 9990 10004 9962 9984 10001 9968 9988 9981 9969 9998 9996 9992 9957 10006 6881 4690 4689 4691 6733 6734 4693 4694 4692 4685 4678 4686 4684 4682 4688 4683 4687 6730 6729 4676 6731 4680 4681 4675 4677 4679 4674 6880 4461 6732 6795 6796 6793 6794 12933 12928 12931 12930 12936 12937 12932 12923 12924 12929 12922 12935 12925 12926 12934 12927 4428 4427 4410 4731 4469 9792 9805 9804 9803 9793 6639 6633 3 4615 4531 4529 4540 4534 4535 4527 4537 4614 4538 4539 4524 4536 4528 4542 4541 4525 4522 2227 2217 4523 4530 4532 4533 4526 4395 4385 4392 4381 4391 4380 4398 4386 4396 4384 4387 4390 4379 4393 4388 4382 4389 4383 4394 4368 4367 4365 4366 4371 4372 4370 4369 4364 4363 4361 4362 4360 4359 4357 4358 4356 4355 4353 4354 4351 3111 3853 3110 3857 3858 3872 3115 2368 3114 3864 3860 3859 3855 3867 4376 3075 3873 4352 4374 2309 4377 2307 3861 3112 2310 3869 3870 3871 4375 2229 2370 2215 2221 4378 3856 3113 4373 4397 3865 3116 2223 2225 3863 2308 4405 3866 3868 3854 3109 2306 3862 9937 9942 9940 9943 9961 9947 9960 9938 9939 9941 9963 9953 9958 9955 9959 11 6464 6436 6437 6625 6363 6368 6359 6371 6370 6361 6369 6631 6365 6356 6367 6364 6362 6366 6360 583 582 581 580 703 591 594 593 589 587 702 709 584 585 586 574 575 700 592 704 590 699 698 596 706 597 701 595 707 705 588 708 713 599 571 598 711 710 762 600 683 687 688 686 105 106 100 103 104 101 712 65 102 10037 10034 10035 10036 7098 7097 7092 7110 7108 7105 7104 7094 7119 7120 7102 7096 7099 7106 7117 7103 7085 7086 7095 7101 7091 7087 7118 7090 7088 7100 7107 7109 7089 7093 7069 4470 2230 1 54572 7 8 830 728 729 12 36 33 37 2150 2148 2149 727 725 726 724 2136 2145 2135 2140 739 744 2137 2147 2141 2146 2139 2144 2142 2138 2143 185 722 719 723 720 718 717 721 186 715 716 685 684 2154 2152 2151 2153 2157 2158 2156 2155 2111 2112 730 748 2130 734 2131 2132 2133 2134 829 2127 2126 2123 2122 2125 2120 2118 2129 2116 2119 2115 2121 2117 2114 2113 2124 828 827 826 2128 763 760 756 4544 4543 3967 3923 6372 3963 3879 3915 3916 3917 3918 3919 3928 3961 3905 3956 3955 3911 3922 3951 3927 3966 3914 3913 3920 3904 3880 3965 3952 3962 3958 3959 3960 3964 3957 3954 3921 3949 3950 3910 3912 6358 3907 3908 3909 3906 3953 6357 39 40 41 38 64 184 691 689 695 696 178 697 692 693 694 690 825 7049 824 2231 2303 4471 2304 2305 4667 4666 7123 13 9 4 7064 7063 7057 7050 7051 7052 7053 7054 7055 7061 7060 7059 7058 7196 7068 7067 7066 7065 10018 10017 10016 10015 10014 10013 10012 4616 7062 7056 6640 9946 6634 9945 6632 9944 9948 9949 9950 9951 9952 10021 10022 10023 10024 10025 10026 10027 10028 10029 10030 10019 10020 12949 12948 12947 12946 12968 12969 12970 12971 12972 12973 12974 12975 12976 12977 12978 7116 7115 7114 7113 7112 7111 12967 12966 12965 12964 12963 12962 10031 10032 10033 12985 12984 12983 12982 12981 12980 12979 0
161.58/161.67
161.58/161.67 c Core has size 10999
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-3501434-1308041952/watcher-3501434-1308041952 -o /tmp/evaluation-result-3501434-1308041952/solver-3501434-1308041952 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501434-1308041952.gcnf
running on 2 cores: 1,3
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1850 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 5.97 4.32 1.88 5/189 23581
/proc/meminfo: memFree=31082248/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=11804 CPUtime=0 cores=1,3
/proc/23581/stat : 23581 (runsolver) S 23579 23581 23398 0 -1 4202560 41 0 0 0 0 0 0 0 24 0 1 0 371804677 12087296 50 33554432000 4194304 5436572 140735920130848 18446744073709551615 4883175 0 2147483391 4096 24578 18446744071699960631 0 0 17 3 0 0 0
/proc/23581/statm: 2951 50 31 304 0 2643 0
[startup+0.00963491 s]
/proc/loadavg: 5.97 4.32 1.88 5/189 23581
/proc/meminfo: memFree=31082248/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=380 CPUtime=0 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) S 23579 23581 23398 0 -1 4194304 76 0 0 0 0 0 0 0 25 0 1 0 371804677 389120 29 33554432000 4194304 4365125 140734899906432 18446744073709551615 218875641479 0 2147483391 4096 0 18446744071699199166 0 0 17 1 0 0 0
/proc/23581/statm: 95 29 22 42 0 22 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 380
[startup+0.100679 s]
/proc/loadavg: 5.97 4.32 1.88 5/189 23581
/proc/meminfo: memFree=31082248/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=22280 CPUtime=0.07 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 5433 0 0 0 6 1 0 0 25 0 1 0 371804677 22814720 2677 33554432000 4194304 4365125 140734899906432 18446744073709551615 218880564992 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 5570 2679 253 42 0 2718 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 22280
[startup+0.300656 s]
/proc/loadavg: 5.97 4.32 1.88 5/189 23581
/proc/meminfo: memFree=31082248/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=27880 CPUtime=0.27 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 7664 0 0 0 26 1 0 0 25 0 1 0 371804677 28549120 3660 33554432000 4194304 4365125 140734899906432 18446744073709551615 4257409 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 6970 3660 262 42 0 4118 0
Current children cumulated CPU time (s) 0.27
Current children cumulated vsize (KiB) 27880
[startup+0.700573 s]
/proc/loadavg: 5.97 4.32 1.88 5/189 23581
/proc/meminfo: memFree=31082248/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=37732 CPUtime=0.67 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 13731 0 0 0 65 2 0 0 25 0 1 0 371804677 38637568 5698 33554432000 4194304 4365125 140734899906432 18446744073709551615 4266165 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 9433 5698 262 42 0 6581 0
Current children cumulated CPU time (s) 0.67
Current children cumulated vsize (KiB) 37732
[startup+1.50044 s]
/proc/loadavg: 5.81 4.32 1.89 5/190 23582
/proc/meminfo: memFree=30958748/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=61212 CPUtime=1.47 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 36078 0 0 0 142 5 0 0 25 0 1 0 371804677 62681088 11029 33554432000 4194304 4365125 140734899906432 18446744073709551615 4257802 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 15303 11029 262 42 0 12451 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 61212
[startup+3.10114 s]
/proc/loadavg: 5.81 4.32 1.89 5/190 23582
/proc/meminfo: memFree=30961600/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=77916 CPUtime=3.07 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 54387 0 0 0 300 7 0 0 25 0 1 0 371804677 79785984 16030 33554432000 4194304 4365125 140734899906432 18446744073709551615 4258095 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 19479 16030 263 42 0 16627 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 77916
[startup+6.30057 s]
/proc/loadavg: 5.67 4.31 1.90 5/190 23583
/proc/meminfo: memFree=30866324/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=129552 CPUtime=6.27 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 79571 0 0 0 617 10 0 0 25 0 1 0 371804677 132661248 24202 33554432000 4194304 4365125 140734899906432 18446744073709551615 4291535 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 32388 24221 263 42 0 29536 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 129552
[startup+12.7004 s]
/proc/loadavg: 5.53 4.31 1.91 5/190 23620
/proc/meminfo: memFree=30845904/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=12.66 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82006 0 0 0 1256 10 0 0 25 0 1 0 371804677 147648512 26637 33554432000 4194304 4365125 140734899906432 18446744073709551615 4272240 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26637 263 42 0 33195 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 144188
[startup+25.5011 s]
/proc/loadavg: 5.30 4.30 1.93 5/190 23620
/proc/meminfo: memFree=30790188/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=25.46 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82019 0 0 0 2536 10 0 0 25 0 1 0 371804677 147648512 26650 33554432000 4194304 4365125 140734899906432 18446744073709551615 4244660 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26650 263 42 0 33195 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 144188
[startup+51.1005 s]
/proc/loadavg: 4.79 4.27 2.00 5/190 23621
/proc/meminfo: memFree=30806716/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=51.07 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82019 0 0 0 5096 11 0 0 25 0 1 0 371804677 147648512 26650 33554432000 4194304 4365125 140734899906432 18446744073709551615 4306823 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26650 263 42 0 33195 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 144188
[startup+102.306 s]
/proc/loadavg: 4.34 4.22 2.10 5/190 23622
/proc/meminfo: memFree=30699928/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=102.28 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82019 0 0 0 10217 11 0 0 25 0 1 0 371804677 147648512 26650 33554432000 4194304 4365125 140734899906432 18446744073709551615 4247575 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26650 263 42 0 33195 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 144188
Solver just ended. Dumping a history of the last processes samples
[startup+127.901 s]
/proc/loadavg: 4.22 4.20 2.15 5/190 23632
/proc/meminfo: memFree=30711152/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=127.87 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82019 0 0 0 12776 11 0 0 25 0 1 0 371804677 147648512 26650 33554432000 4194304 4365125 140734899906432 18446744073709551615 4257476 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26650 263 42 0 33195 0
Current children cumulated CPU time (s) 127.87
Current children cumulated vsize (KiB) 144188
[startup+140.7 s]
/proc/loadavg: 4.17 4.19 2.18 5/190 23632
/proc/meminfo: memFree=30761864/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=140.67 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 14056 11 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4261012 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 140.67
Current children cumulated vsize (KiB) 144188
[startup+153.501 s]
/proc/loadavg: 4.15 4.19 2.20 5/190 23632
/proc/meminfo: memFree=30761728/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=153.47 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 15335 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4257958 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 153.47
Current children cumulated vsize (KiB) 144188
[startup+156.701 s]
/proc/loadavg: 4.21 4.20 2.21 5/190 23633
/proc/meminfo: memFree=30758876/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=156.67 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 15655 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 156.67
Current children cumulated vsize (KiB) 144188
[startup+159.901 s]
/proc/loadavg: 4.21 4.20 2.21 5/190 23633
/proc/meminfo: memFree=30751932/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=159.87 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 15975 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 159.87
Current children cumulated vsize (KiB) 144188
[startup+160.701 s]
/proc/loadavg: 4.20 4.20 2.22 5/190 23633
/proc/meminfo: memFree=30751932/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=160.67 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 16055 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4264094 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 160.67
Current children cumulated vsize (KiB) 144188
[startup+161.101 s]
/proc/loadavg: 4.20 4.20 2.22 5/190 23633
/proc/meminfo: memFree=30751932/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=161.07 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 16095 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4257861 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 161.07
Current children cumulated vsize (KiB) 144188
[startup+161.501 s]
/proc/loadavg: 4.20 4.20 2.22 5/190 23633
/proc/meminfo: memFree=30751932/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=161.47 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 16135 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4263932 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 161.47
Current children cumulated vsize (KiB) 144188
[startup+161.601 s]
/proc/loadavg: 4.20 4.20 2.22 5/190 23633
/proc/meminfo: memFree=30752048/32950928 swapFree=67054688/67111528
[pid=23581] ppid=23579 vsize=144188 CPUtime=161.58 cores=1,3
/proc/23581/stat : 23581 (MoUsSaka) R 23579 23581 23398 0 -1 4202496 82267 0 0 0 16146 12 0 0 25 0 1 0 371804677 147648512 26898 33554432000 4194304 4365125 140734899906432 18446744073709551615 4261505 0 0 4096 2 0 0 0 17 1 0 0 0
/proc/23581/statm: 36047 26898 263 42 0 33195 0
Current children cumulated CPU time (s) 161.58
Current children cumulated vsize (KiB) 144188
Child status: 20
Real time (s): 161.684
CPU time (s): 161.662
CPU user time (s): 161.535
CPU system time (s): 0.12698
CPU usage (%): 99.9868
Max. virtual memory (cumulated for all children) (KiB): 144188
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 161.535
system time used= 0.12698
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 82272
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7
involuntary context switches= 443
runsolver used 0.287956 second user time and 0.602908 second system time
The end
Begin job on node112 at 2011-06-14 10:59:13
IDJOB=3501434
IDBENCH=89978
IDSOLVER=2000
FILE ID=node112/3501434-1308041952
RUNJOBID= node112-1308041928-23418
PBS_JOBID= 13564694
Free space on /tmp= 73940 MiB
SOLVER NAME= MoUsSaka 2011-03-26
BENCH NAME= SAT11/gmus/belov/pdtswvsam4x8p2.aig.k25.gcnf
COMMAND LINE= MoUsSaka BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3501434-1308041952/watcher-3501434-1308041952 -o /tmp/evaluation-result-3501434-1308041952/solver-3501434-1308041952 -C 1800 -W 1850 -M 7680 MoUsSaka HOME/instance-3501434-1308041952.gcnf
TIME LIMIT= 1800 seconds
MEMORY LIMIT= 7680 MiB
NBCORE= 2
MD5SUM BENCH= 0eb7821990a9f1485f99e1064c3337ee
RANDOM SEED=69477572
node112.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.847
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.847
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 : 5180.45
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.847
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.76
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.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.82
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
cpu MHz : 2666.847
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.61
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.847
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.83
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.847
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.74
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.847
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm
bogomips : 5332.83
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management: [8]
/proc/meminfo:
MemTotal: 32950928 kB
MemFree: 31083016 kB
Buffers: 177728 kB
Cached: 969408 kB
SwapCached: 10444 kB
Active: 896304 kB
Inactive: 759804 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 32950928 kB
LowFree: 31083016 kB
SwapTotal: 67111528 kB
SwapFree: 67054688 kB
Dirty: 64836 kB
Writeback: 0 kB
AnonPages: 506724 kB
Mapped: 9940 kB
Slab: 146468 kB
PageTables: 6060 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 83586992 kB
Committed_AS: 862688 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= 73992 MiB
End job on node112 at 2011-06-14 11:01:54