4475600 85786 cutoff 304.0000 305.9890183116018 0.65% 4475700 85686 cutoff 304.0000 305.9878183116495 0.65% 4475800 85588 cutoff 304.0000 305.9867183116954 0.65% 4475900 85488 cutoff 304.0000 305.9856183117367 0.65% 4476000 85388 cutoff 304.0000 305.9845183117827 0.65% Elapsed real time = 9760.27 sec. (tree size = 33.86 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4476100 85288 cutoff 304.0000 305.9832183118265 0.65% 4476200 85188 cutoff 304.0000 305.9820183118696 0.65% 4476300 85088 cutoff 304.0000 305.9810183119179 0.65% 4476400 84988 cutoff 304.0000 305.9797183119716 0.65% 4476500 84888 cutoff 304.0000 305.9787183120181 0.65% 4476600 84788 cutoff 304.0000 305.9773183120673 0.65% 4476700 84688 cutoff 304.0000 305.9762183121138 0.65% 4476800 84588 cutoff 304.0000 305.9751183121588 0.65% 4476900 84488 cutoff 304.0000 305.9740183122002 0.65% 4477000 84388 cutoff 304.0000 305.9729183122487 0.65% Elapsed real time = 9760.66 sec. (tree size = 33.58 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4477100 84288 cutoff 304.0000 305.9718183122884 0.65% 4477200 84188 cutoff 304.0000 305.9706183123284 0.65% 4477300 84088 cutoff 304.0000 305.9696183123679 0.65% 4477400 83988 cutoff 304.0000 305.9684183124178 0.65% 4477500 83888 cutoff 304.0000 305.9672183124599 0.65% 4477600 83789 cutoff 304.0000 305.9661183125022 0.65% 4477700 83689 cutoff 304.0000 305.9651183125448 0.65% 4477800 83591 cutoff 304.0000 305.9639183125860 0.65% 4477900 83491 cutoff 304.0000 305.9629183126338 0.65% 4478000 83391 cutoff 304.0000 305.9615183126732 0.65% Elapsed real time = 9761.07 sec. (tree size = 33.30 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4478100 83291 cutoff 304.0000 305.9602183127184 0.64% 4478200 83193 cutoff 304.0000 305.9589183127666 0.64% 4478300 83093 cutoff 304.0000 305.9580183128081 0.64% 4478400 82993 cutoff 304.0000 305.9567183128463 0.64% 4478500 82893 cutoff 304.0000 305.9556183128898 0.64% 4478600 82793 cutoff 304.0000 305.9545183129324 0.64% 4478700 82695 cutoff 304.0000 305.9534183129737 0.64% 4478800 82595 cutoff 304.0000 305.9524183130155 0.64% 4478900 82495 cutoff 304.0000 305.9512183130561 0.64% 4479000 82395 cutoff 304.0000 305.9502183131008 0.64% Elapsed real time = 9761.46 sec. (tree size = 33.01 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4479100 82295 cutoff 304.0000 305.9490183131463 0.64% 4479200 82195 cutoff 304.0000 305.9479183131827 0.64% 4479300 82095 cutoff 304.0000 305.9468183132188 0.64% 4479400 81995 cutoff 304.0000 305.9457183132627 0.64% 4479500 81895 cutoff 304.0000 305.9443183133061 0.64% 4479600 81795 cutoff 304.0000 305.9432183133519 0.64% 4479700 81695 cutoff 304.0000 305.9422183133985 0.64% 4479800 81595 cutoff 304.0000 305.9412183134395 0.64% 4479900 81495 cutoff 304.0000 305.9399183134893 0.64% 4480000 81395 cutoff 304.0000 305.9386183135311 0.64% Elapsed real time = 9761.84 sec. (tree size = 32.73 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4480100 81295 cutoff 304.0000 305.9373183135688 0.64% 4480200 81195 cutoff 304.0000 305.9360183136068 0.64% 4480300 81095 cutoff 304.0000 305.9350183136491 0.64% 4480400 80995 cutoff 304.0000 305.9339183136924 0.64% 4480500 80895 cutoff 304.0000 305.9325183137387 0.64% 4480600 80795 cutoff 304.0000 305.9315183137763 0.64% 4480700 80695 cutoff 304.0000 305.9300183138143 0.63% 4480800 80595 cutoff 304.0000 305.9289183138597 0.63% 4480900 80495 cutoff 304.0000 305.9278183139033 0.63% 4481000 80395 cutoff 304.0000 305.9268183139441 0.63% Elapsed real time = 9762.21 sec. (tree size = 32.45 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4481100 80295 cutoff 304.0000 305.9256183139859 0.63% 4481200 80195 cutoff 304.0000 305.9244183140291 0.63% 4481300 80095 cutoff 304.0000 305.9232183140700 0.63% 4481400 79995 cutoff 304.0000 305.9221183141112 0.63% 4481500 79895 cutoff 304.0000 305.9211183141563 0.63% 4481600 79798 cutoff 304.0000 305.9200183142051 0.63% 4481700 79698 cutoff 304.0000 305.9190183142491 0.63% 4481800 79598 cutoff 304.0000 305.9177183142905 0.63% 4481900 79498 cutoff 304.0000 305.9166183143380 0.63% 4482000 79398 cutoff 304.0000 305.9154183143777 0.63% Elapsed real time = 9762.60 sec. (tree size = 32.17 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4482100 79298 cutoff 304.0000 305.9143183144172 0.63% 4482200 79198 cutoff 304.0000 305.9131183144583 0.63% 4482300 79098 cutoff 304.0000 305.9120183145005 0.63% 4482400 78998 cutoff 304.0000 305.9106183145444 0.63% 4482500 78898 cutoff 304.0000 305.9096183145830 0.63% 4482600 78798 cutoff 304.0000 305.9086183146294 0.63% 4482700 78698 cutoff 304.0000 305.9075183146708 0.63% 4482800 78598 cutoff 304.0000 305.9063183147091 0.63% 4482900 78498 cutoff 304.0000 305.9051183147514 0.63% 4483000 78398 cutoff 304.0000 305.9038183147908 0.63% Elapsed real time = 9762.98 sec. (tree size = 31.89 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4483100 78299 cutoff 304.0000 305.9026183148378 0.63% 4483200 78199 cutoff 304.0000 305.9015183148796 0.63% 4483300 78099 cutoff 304.0000 305.9005183149194 0.63% 4483400 77999 cutoff 304.0000 305.8995183149598 0.62% 4483500 77899 cutoff 304.0000 305.8984183150001 0.62% 4483600 77799 cutoff 304.0000 305.8970183150378 0.62% 4483700 77699 cutoff 304.0000 305.8957183150807 0.62% 4483800 77599 cutoff 304.0000 305.8946183151246 0.62% 4483900 77499 cutoff 304.0000 305.8933183151668 0.62% 4484000 77399 cutoff 304.0000 305.8922183152100 0.62% Elapsed real time = 9763.36 sec. (tree size = 31.60 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4484100 77299 cutoff 304.0000 305.8910183152450 0.62% 4484200 77199 cutoff 304.0000 305.8898183152900 0.62% 4484300 77099 cutoff 304.0000 305.8888183153284 0.62% 4484400 76999 cutoff 304.0000 305.8877183153710 0.62% 4484500 76899 cutoff 304.0000 305.8868183154142 0.62% 4484600 76799 cutoff 304.0000 305.8855183154571 0.62% 4484700 76699 cutoff 304.0000 305.8846183155002 0.62% 4484800 76599 cutoff 304.0000 305.8837183155412 0.62% 4484900 76499 cutoff 304.0000 305.8825183155792 0.62% 4485000 76399 cutoff 304.0000 305.8813183156113 0.62% Elapsed real time = 9763.73 sec. (tree size = 31.32 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4485100 76299 cutoff 304.0000 305.8801183156502 0.62% 4485200 76199 cutoff 304.0000 305.8790183156950 0.62% 4485300 76099 cutoff 304.0000 305.8781183157321 0.62% 4485400 76001 cutoff 304.0000 305.8769183157745 0.62% 4485500 75901 cutoff 304.0000 305.8756183158097 0.62% 4485600 75801 cutoff 304.0000 305.8748183158538 0.62% 4485700 75701 cutoff 304.0000 305.8737183158925 0.62% 4485800 75602 cutoff 304.0000 305.8725183159344 0.62% 4485900 75502 cutoff 304.0000 305.8712183159731 0.62% 4486000 75402 cutoff 304.0000 305.8700183160148 0.62% Elapsed real time = 9764.10 sec. (tree size = 31.04 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4486100 75302 cutoff 304.0000 305.8688183160593 0.61% 4486200 75202 cutoff 304.0000 305.8678183160979 0.61% 4486300 75103 cutoff 304.0000 305.8667183161350 0.61% 4486400 75003 cutoff 304.0000 305.8655183161718 0.61% 4486500 74903 cutoff 304.0000 305.8645183162136 0.61% 4486600 74803 cutoff 304.0000 305.8633183162539 0.61% 4486700 74703 cutoff 304.0000 305.8619183163001 0.61% 4486800 74603 cutoff 304.0000 305.8609183163397 0.61% 4486900 74503 cutoff 304.0000 305.8595183163767 0.61% 4487000 74403 cutoff 304.0000 305.8585183164175 0.61% Elapsed real time = 9764.47 sec. (tree size = 30.76 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4487100 74303 cutoff 304.0000 305.8572183164565 0.61% 4487200 74203 cutoff 304.0000 305.8560183165004 0.61% 4487300 74103 cutoff 304.0000 305.8548183165436 0.61% 4487400 74003 cutoff 304.0000 305.8535183165878 0.61% 4487500 73903 cutoff 304.0000 305.8523183166216 0.61% 4487600 73803 cutoff 304.0000 305.8512183166581 0.61% 4487700 73703 cutoff 304.0000 305.8500183166980 0.61% 4487800 73603 cutoff 304.0000 305.8489183167390 0.61% 4487900 73503 cutoff 304.0000 305.8479183167779 0.61% 4488000 73403 cutoff 304.0000 305.8467183168234 0.61% Elapsed real time = 9764.85 sec. (tree size = 30.47 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4488100 73304 cutoff 304.0000 305.8455183168595 0.61% 4488200 73204 cutoff 304.0000 305.8444183168976 0.61% 4488300 73104 cutoff 304.0000 305.8433183169389 0.61% 4488400 73004 cutoff 304.0000 305.8420183169758 0.61% 4488500 72904 cutoff 304.0000 305.8411183170165 0.61% 4488600 72804 cutoff 304.0000 305.8399183170509 0.61% 4488700 72704 cutoff 304.0000 305.8387183170893 0.60% 4488800 72604 cutoff 304.0000 305.8376183171299 0.60% 4488900 72504 cutoff 304.0000 305.8365183171697 0.60% 4489000 72404 cutoff 304.0000 305.8353183172104 0.60% Elapsed real time = 9765.22 sec. (tree size = 30.19 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4489100 72304 cutoff 304.0000 305.8343183172494 0.60% 4489200 72204 cutoff 304.0000 305.8333183172923 0.60% 4489300 72104 cutoff 304.0000 305.8321183173335 0.60% 4489400 72006 305.4911 57 304.0000 305.8310183173724 0.60% 4489500 71906 cutoff 304.0000 305.8300183174090 0.60% 4489600 71806 cutoff 304.0000 305.8289183174494 0.60% 4489700 71706 cutoff 304.0000 305.8276183174846 0.60% 4489800 71606 cutoff 304.0000 305.8264183175294 0.60% 4489900 71506 cutoff 304.0000 305.8252183175712 0.60% 4490000 71406 cutoff 304.0000 305.8239183176038 0.60% Elapsed real time = 9765.59 sec. (tree size = 29.91 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4490100 71306 cutoff 304.0000 305.8227183176402 0.60% 4490200 71206 cutoff 304.0000 305.8215183176789 0.60% 4490300 71106 cutoff 304.0000 305.8203183177146 0.60% 4490400 71006 cutoff 304.0000 305.8190183177485 0.60% 4490500 70906 cutoff 304.0000 305.8178183177908 0.60% 4490600 70806 cutoff 304.0000 305.8167183178295 0.60% 4490700 70706 cutoff 304.0000 305.8156183178693 0.60% 4490800 70606 cutoff 304.0000 305.8145183179041 0.60% 4490900 70506 cutoff 304.0000 305.8133183179420 0.60% 4491000 70408 cutoff 304.0000 305.8122183179811 0.60% Elapsed real time = 9765.97 sec. (tree size = 29.63 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4491100 70308 cutoff 304.0000 305.8110183180200 0.60% 4491200 70208 cutoff 304.0000 305.8100183180581 0.60% 4491300 70108 cutoff 304.0000 305.8089183180984 0.60% 4491400 70008 cutoff 304.0000 305.8076183181365 0.59% 4491500 69908 cutoff 304.0000 305.8064183181734 0.59% 4491600 69808 cutoff 304.0000 305.8053183182119 0.59% 4491700 69708 cutoff 304.0000 305.8043183182462 0.59% 4491800 69608 cutoff 304.0000 305.8031183182811 0.59% 4491900 69508 cutoff 304.0000 305.8020183183194 0.59% 4492000 69410 cutoff 304.0000 305.8008183183594 0.59% Elapsed real time = 9766.34 sec. (tree size = 29.35 MB, solutions = 11) Nodefile size = 6.00 MB (4.67 MB after compression) 4492100 69310 cutoff 304.0000 305.7996183183969 0.59% 4492200 69210 cutoff 304.0000 305.7984183184326 0.59% 4492300 69110 cutoff 304.0000 305.7974183184695 0.59% 4492400 69010 cutoff 304.0000 305.7963183185056 0.59% 4492500 68910 cutoff 304.0000 305.7950183185426 0.59% 4492600 68810 cutoff 304.0000 305.7938183185793 0.59% 4492700 68710 cutoff 304.0000 305.7928183186207 0.59% 4492800 68610 cutoff 304.0000 305.7917183186561 0.59% 4492900 68510 cutoff 304.0000 305.7904183186845 0.59% 4493000 68410 cutoff 304.0000 305.7893183187192 0.59% Elapsed real time = 9766.71 sec. (tree size = 29.05 MB, solutions = 11) Nodefile size = 5.00 MB (3.89 MB after compression) 4493100 68310 cutoff 304.0000 305.7880183187556 0.59% 4493200 68210 cutoff 304.0000 305.7868183187960 0.59% 4493300 68110 cutoff 304.0000 305.7857183188357 0.59% 4493400 68010 cutoff 304.0000 305.7847183188707 0.59% 4493500 67910 cutoff 304.0000 305.7836183189051 0.59% 4493600 67810 cutoff 304.0000 305.7825183189401 0.59% 4493700 67710 cutoff 304.0000 305.7813183189783 0.59% 4493800 67610 cutoff 304.0000 305.7802183190157 0.59% 4493900 67510 cutoff 304.0000 305.7791183190520 0.59% 4494000 67410 cutoff 304.0000 305.7782183190925 0.58% Elapsed real time = 9767.08 sec. (tree size = 28.77 MB, solutions = 11) Nodefile size = 5.00 MB (3.89 MB after compression) 4494100 67310 cutoff 304.0000 305.7770183191232 0.58% 4494200 67210 cutoff 304.0000 305.7758183191633 0.58% 4494300 67110 cutoff 304.0000 305.7748183191983 0.58% 4494400 67010 cutoff 304.0000 305.7735183192325 0.58% 4494500 66910 cutoff 304.0000 305.7721183192682 0.58% 4494600 66810 cutoff 304.0000 305.7710183193044 0.58% 4494700 66710 cutoff 304.0000 305.7699183193358 0.58% 4494800 66611 cutoff 304.0000 305.7687183193692 0.58% 4494900 66511 cutoff 304.0000 305.7676183194057 0.58% 4495000 66411 cutoff 304.0000 305.7667183194445 0.58% Elapsed real time = 9767.45 sec. (tree size = 28.49 MB, solutions = 11) Nodefile size = 5.00 MB (3.89 MB after compression) 4495100 66311 cutoff 304.0000 305.7655183194814 0.58% 4495200 66211 cutoff 304.0000 305.7644183195189 0.58% 4495300 66111 cutoff 304.0000 305.7633183195557 0.58% 4495400 66011 cutoff 304.0000 305.7621183195925 0.58% 4495500 65911 cutoff 304.0000 305.7610183196301 0.58% 4495600 65811 cutoff 304.0000 305.7600183196604 0.58% 4495700 65711 cutoff 304.0000 305.7587183196945 0.58% 4495800 65611 cutoff 304.0000 305.7574183197321 0.58% 4495900 65511 cutoff 304.0000 305.7562183197700 0.58% 4496000 65411 cutoff 304.0000 305.7549183198005 0.58% Elapsed real time = 9767.81 sec. (tree size = 28.21 MB, solutions = 11) Nodefile size = 5.00 MB (3.89 MB after compression) 4496100 65311 cutoff 304.0000 305.7538183198365 0.58% 4496200 65211 cutoff 304.0000 305.7526183198751 0.58% 4496300 65111 cutoff 304.0000 305.7515183199089 0.58% 4496400 65012 cutoff 304.0000 305.7503183199428 0.58% 4496500 64912 cutoff 304.0000 305.7494183199790 0.58% 4496600 64812 cutoff 304.0000 305.7481183200182 0.58% 4496700 64712 cutoff 304.0000 305.7471183200558 0.57% 4496800 64612 cutoff 304.0000 305.7462183200933 0.57% 4496900 64512 cutoff 304.0000 305.7451183201320 0.57% 4497000 64412 cutoff 304.0000 305.7438183201690 0.57% Elapsed real time = 9768.17 sec. (tree size = 27.92 MB, solutions = 11) Nodefile size = 5.00 MB (3.89 MB after compression) 4497100 64313 cutoff 304.0000 305.7425183202048 0.57% 4497200 64213 cutoff 304.0000 305.7414183202396 0.57% 4497300 64113 cutoff 304.0000 305.7403183202762 0.57% 4497400 64013 cutoff 304.0000 305.7391183203134 0.57% 4497500 63913 cutoff 304.0000 305.7378183203483 0.57% 4497600 63813 cutoff 304.0000 305.7368183203832 0.57% 4497700 63714 cutoff 304.0000 305.7356183204176 0.57% 4497800 63615 cutoff 304.0000 305.7343183204531 0.57% 4497900 63517 cutoff 304.0000 305.7331183204878 0.57% 4498000 63417 cutoff 304.0000 305.7319183205221 0.57% Elapsed real time = 9768.54 sec. (tree size = 27.64 MB, solutions = 11) Nodefile size = 5.00 MB (3.89 MB after compression) 4498100 63317 cutoff 304.0000 305.7307183205536 0.57% 4498200 63032 cutoff 304.0000 305.7293183205861 0.57% 4498300 62932 cutoff 304.0000 305.7279183206211 0.57% 4498400 62832 cutoff 304.0000 305.7266183206519 0.57% 4498500 62732 cutoff 304.0000 305.7254183206876 0.57% 4498600 62632 cutoff 304.0000 305.7243183207285 0.57% 4498700 62533 cutoff 304.0000 305.7230183207676 0.57% 4498800 62433 cutoff 304.0000 305.7220183208038 0.57% 4498900 62333 cutoff 304.0000 305.7207183208370 0.57% 4499000 62233 cutoff 304.0000 305.7193183208727 0.57% Elapsed real time = 9768.91 sec. (tree size = 27.29 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4499100 62133 cutoff 304.0000 305.7181183209079 0.57% 4499200 62033 cutoff 304.0000 305.7169183209401 0.56% 4499300 61933 cutoff 304.0000 305.7158183209727 0.56% 4499400 61833 cutoff 304.0000 305.7146183210101 0.56% 4499500 61733 cutoff 304.0000 305.7135183210430 0.56% 4499600 61633 cutoff 304.0000 305.7122183210791 0.56% 4499700 61533 cutoff 304.0000 305.7111183211116 0.56% 4499800 61433 cutoff 304.0000 305.7099183211451 0.56% 4499900 61333 cutoff 304.0000 305.7088183211776 0.56% 4500000 61233 cutoff 304.0000 305.7076183212051 0.56% Elapsed real time = 9769.27 sec. (tree size = 27.01 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4500100 61133 cutoff 304.0000 305.7065183212434 0.56% 4500200 61033 cutoff 304.0000 305.7054183212759 0.56% 4500300 60933 cutoff 304.0000 305.7044183213139 0.56% 4500400 60833 cutoff 304.0000 305.7032183213453 0.56% 4500500 60733 cutoff 304.0000 305.7021183213789 0.56% 4500600 60633 cutoff 304.0000 305.7009183214122 0.56% 4500700 60533 cutoff 304.0000 305.6997183214447 0.56% 4500800 60433 cutoff 304.0000 305.6987183214815 0.56% 4500900 60333 cutoff 304.0000 305.6977183215108 0.56% 4501000 60233 cutoff 304.0000 305.6964183215445 0.56% Elapsed real time = 9769.63 sec. (tree size = 26.73 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4501100 60133 cutoff 304.0000 305.6951183215796 0.56% 4501200 60033 cutoff 304.0000 305.6940183216176 0.56% 4501300 59933 cutoff 304.0000 305.6930183216496 0.56% 4501400 59833 cutoff 304.0000 305.6917183216841 0.56% 4501500 59733 cutoff 304.0000 305.6905183217165 0.56% 4501600 59633 cutoff 304.0000 305.6892183217525 0.56% 4501700 59533 cutoff 304.0000 305.6881183217905 0.56% 4501800 59433 cutoff 304.0000 305.6869183218248 0.55% 4501900 59333 cutoff 304.0000 305.6858183218578 0.55% 4502000 59233 cutoff 304.0000 305.6846183218924 0.55% Elapsed real time = 9769.99 sec. (tree size = 26.45 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4502100 59133 cutoff 304.0000 305.6834183219266 0.55% 4502200 59033 cutoff 304.0000 305.6823183219583 0.55% 4502300 58933 cutoff 304.0000 305.6809183219887 0.55% 4502400 58833 cutoff 304.0000 305.6797183220181 0.55% 4502500 58733 cutoff 304.0000 305.6786183220498 0.55% 4502600 58633 cutoff 304.0000 305.6774183220767 0.55% 4502700 58533 cutoff 304.0000 305.6763183221060 0.55% 4502800 58435 cutoff 304.0000 305.6752183221421 0.55% 4502900 58335 cutoff 304.0000 305.6739183221738 0.55% 4503000 58235 cutoff 304.0000 305.6727183222051 0.55% Elapsed real time = 9770.34 sec. (tree size = 26.16 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4503100 58135 cutoff 304.0000 305.6714183222410 0.55% 4503200 58035 cutoff 304.0000 305.6704183222751 0.55% 4503300 57937 cutoff 304.0000 305.6691183223127 0.55% 4503400 57837 cutoff 304.0000 305.6678183223446 0.55% 4503500 57737 cutoff 304.0000 305.6667183223734 0.55% 4503600 57637 cutoff 304.0000 305.6660183224066 0.55% 4503700 57537 cutoff 304.0000 305.6649183224360 0.55% 4503800 57437 cutoff 304.0000 305.6638183224711 0.55% 4503900 57337 cutoff 304.0000 305.6627183225040 0.55% 4504000 57237 cutoff 304.0000 305.6617183225379 0.55% Elapsed real time = 9770.70 sec. (tree size = 25.88 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4504100 57137 cutoff 304.0000 305.6604183225713 0.55% 4504200 57037 cutoff 304.0000 305.6593183226025 0.55% 4504300 56937 cutoff 304.0000 305.6581183226364 0.55% 4504400 56837 cutoff 304.0000 305.6569183226680 0.55% 4504500 56737 cutoff 304.0000 305.6556183226997 0.54% 4504600 56637 cutoff 304.0000 305.6543183227288 0.54% 4504700 56537 cutoff 304.0000 305.6531183227559 0.54% 4504800 56439 cutoff 304.0000 305.6517183227919 0.54% 4504900 56339 cutoff 304.0000 305.6505183228222 0.54% 4505000 56239 cutoff 304.0000 305.6494183228564 0.54% Elapsed real time = 9771.10 sec. (tree size = 25.60 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4505100 56139 cutoff 304.0000 305.6481183228913 0.54% 4505200 56039 cutoff 304.0000 305.6470183229235 0.54% 4505300 55939 cutoff 304.0000 305.6456183229586 0.54% 4505400 55839 cutoff 304.0000 305.6443183229884 0.54% 4505500 55739 cutoff 304.0000 305.6430183230191 0.54% 4505600 55639 cutoff 304.0000 305.6417183230484 0.54% 4505700 55539 cutoff 304.0000 305.6404183230838 0.54% 4505800 55439 cutoff 304.0000 305.6394183231114 0.54% 4505900 55339 cutoff 304.0000 305.6383183231381 0.54% 4506000 55239 cutoff 304.0000 305.6372183231734 0.54% Elapsed real time = 9771.46 sec. (tree size = 25.32 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4506100 55139 cutoff 304.0000 305.6360183232041 0.54% 4506200 55039 cutoff 304.0000 305.6349183232347 0.54% 4506300 54941 cutoff 304.0000 305.6338183232616 0.54% 4506400 54841 cutoff 304.0000 305.6326183232972 0.54% 4506500 54741 cutoff 304.0000 305.6313183233253 0.54% 4506600 54641 cutoff 304.0000 305.6301183233556 0.54% 4506700 54541 cutoff 304.0000 305.6291183233830 0.54% 4506800 54441 cutoff 304.0000 305.6279183234152 0.54% 4506900 54341 cutoff 304.0000 305.6266183234459 0.54% 4507000 54241 cutoff 304.0000 305.6254183234811 0.53% Elapsed real time = 9771.81 sec. (tree size = 25.04 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4507100 54141 cutoff 304.0000 305.6241183235072 0.53% 4507200 54041 cutoff 304.0000 305.6231183235389 0.53% 4507300 53941 cutoff 304.0000 305.6218183235688 0.53% 4507400 53841 cutoff 304.0000 305.6207183235999 0.53% 4507500 53741 cutoff 304.0000 305.6190183236327 0.53% 4507600 53641 cutoff 304.0000 305.6180183236566 0.53% 4507700 53541 cutoff 304.0000 305.6168183236889 0.53% 4507800 53441 cutoff 304.0000 305.6157183237201 0.53% 4507900 53341 cutoff 304.0000 305.6144183237485 0.53% 4508000 53241 cutoff 304.0000 305.6135183237816 0.53% Elapsed real time = 9772.17 sec. (tree size = 24.76 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4508100 53143 cutoff 304.0000 305.6122183238116 0.53% 4508200 53043 cutoff 304.0000 305.6109183238403 0.53% 4508300 52943 cutoff 304.0000 305.6097183238715 0.53% 4508400 52844 cutoff 304.0000 305.6086183238996 0.53% 4508500 52744 cutoff 304.0000 305.6073183239295 0.53% 4508600 52644 cutoff 304.0000 305.6059183239627 0.53% 4508700 52544 cutoff 304.0000 305.6048183239932 0.53% 4508800 52444 cutoff 304.0000 305.6037183240216 0.53% 4508900 52344 cutoff 304.0000 305.6025183240506 0.53% 4509000 52244 cutoff 304.0000 305.6012183240787 0.53% Elapsed real time = 9772.51 sec. (tree size = 24.47 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4509100 52144 cutoff 304.0000 305.6000183241072 0.53% 4509200 52044 cutoff 304.0000 305.5990183241378 0.53% 4509300 51944 cutoff 304.0000 305.5980183241708 0.53% 4509400 51844 cutoff 304.0000 305.5969183241985 0.53% 4509500 51744 cutoff 304.0000 305.5957183242306 0.52% 4509600 51644 cutoff 304.0000 305.5946183242609 0.52% 4509700 51544 cutoff 304.0000 305.5933183242904 0.52% 4509800 51444 cutoff 304.0000 305.5921183243242 0.52% 4509900 51346 cutoff 304.0000 305.5908183243521 0.52% 4510000 51246 cutoff 304.0000 305.5898183243871 0.52% Elapsed real time = 9772.86 sec. (tree size = 24.19 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4510100 51146 cutoff 304.0000 305.5888183244155 0.52% 4510200 51046 cutoff 304.0000 305.5876183244447 0.52% 4510300 50946 cutoff 304.0000 305.5864183244732 0.52% 4510400 50846 cutoff 304.0000 305.5849183245006 0.52% 4510500 50746 cutoff 304.0000 305.5836183245321 0.52% 4510600 50646 cutoff 304.0000 305.5824183245606 0.52% 4510700 50546 cutoff 304.0000 305.5811183245872 0.52% 4510800 50446 cutoff 304.0000 305.5800183246165 0.52% 4510900 50346 cutoff 304.0000 305.5786183246473 0.52% 4511000 50246 cutoff 304.0000 305.5772183246744 0.52% Elapsed real time = 9773.21 sec. (tree size = 23.91 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4511100 50146 cutoff 304.0000 305.5760183246992 0.52% 4511200 50046 cutoff 304.0000 305.5747183247300 0.52% 4511300 49946 cutoff 304.0000 305.5736183247536 0.52% 4511400 49846 cutoff 304.0000 305.5724183247831 0.52% 4511500 49746 cutoff 304.0000 305.5714183248061 0.52% 4511600 49646 cutoff 304.0000 305.5705183248337 0.52% 4511700 49546 cutoff 304.0000 305.5692183248653 0.52% 4511800 49446 cutoff 304.0000 305.5679183248944 0.52% 4511900 49346 cutoff 304.0000 305.5668183249190 0.52% 4512000 49246 cutoff 304.0000 305.5657183249481 0.52% Elapsed real time = 9773.55 sec. (tree size = 23.63 MB, solutions = 11) Nodefile size = 4.00 MB (3.12 MB after compression) 4512100 49146 cutoff 304.0000 305.5646183249788 0.51% 4512200 49046 cutoff 304.0000 305.5636183250053 0.51% 4512300 48946 cutoff 304.0000 305.5623183250362 0.51% 4512400 48846 cutoff 304.0000 305.5610183250621 0.51% 4512500 48746 cutoff 304.0000 305.5598183250867 0.51% 4512600 48646 cutoff 304.0000 305.5586183251152 0.51% 4512700 48546 cutoff 304.0000 305.5574183251418 0.51% 4512800 48446 cutoff 304.0000 305.5560183251685 0.51% 4512900 48346 cutoff 304.0000 305.5549183251952 0.51% 4513000 48246 cutoff 304.0000 305.5537183252234 0.51% Elapsed real time = 9773.90 sec. (tree size = 23.33 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4513100 48146 cutoff 304.0000 305.5522183252514 0.51% 4513200 48048 cutoff 304.0000 305.5512183252782 0.51% 4513300 47948 cutoff 304.0000 305.5501183253063 0.51% 4513400 47848 cutoff 304.0000 305.5491183253298 0.51% 4513500 47748 cutoff 304.0000 305.5478183253589 0.51% 4513600 47648 cutoff 304.0000 305.5466183253851 0.51% 4513700 47548 cutoff 304.0000 305.5453183254125 0.51% 4513800 47448 cutoff 304.0000 305.5442183254387 0.51% 4513900 47348 cutoff 304.0000 305.5430183254680 0.51% 4514000 47249 cutoff 304.0000 305.5418183254965 0.51% Elapsed real time = 9774.24 sec. (tree size = 23.05 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4514100 47151 cutoff 304.0000 305.5408183255228 0.51% 4514200 47051 cutoff 304.0000 305.5395183255518 0.51% 4514300 46951 cutoff 304.0000 305.5382183255784 0.51% 4514400 46851 cutoff 304.0000 305.5371183256033 0.51% 4514500 46751 cutoff 304.0000 305.5357183256267 0.51% 4514600 46651 cutoff 304.0000 305.5345183256538 0.50% 4514700 46551 cutoff 304.0000 305.5333183256814 0.50% 4514800 46451 cutoff 304.0000 305.5322183257062 0.50% 4514900 46351 cutoff 304.0000 305.5309183257345 0.50% 4515000 46251 cutoff 304.0000 305.5298183257614 0.50% Elapsed real time = 9774.58 sec. (tree size = 22.77 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4515100 46151 cutoff 304.0000 305.5287183257915 0.50% 4515200 46051 cutoff 304.0000 305.5274183258175 0.50% 4515300 45951 cutoff 304.0000 305.5261183258431 0.50% 4515400 45851 cutoff 304.0000 305.5249183258715 0.50% 4515500 45751 cutoff 304.0000 305.5237183258973 0.50% 4515600 45651 cutoff 304.0000 305.5225183259212 0.50% 4515700 45551 cutoff 304.0000 305.5214183259498 0.50% 4515800 45451 cutoff 304.0000 305.5201183259787 0.50% 4515900 45351 cutoff 304.0000 305.5190183260071 0.50% 4516000 45251 cutoff 304.0000 305.5176183260322 0.50% Elapsed real time = 9774.92 sec. (tree size = 22.48 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4516100 45151 cutoff 304.0000 305.5163183260587 0.50% 4516200 45051 cutoff 304.0000 305.5152183260866 0.50% 4516300 44951 cutoff 304.0000 305.5140183261136 0.50% 4516400 44851 cutoff 304.0000 305.5127183261379 0.50% 4516500 44751 cutoff 304.0000 305.5115183261634 0.50% 4516600 44651 cutoff 304.0000 305.5102183261894 0.50% 4516700 44551 cutoff 304.0000 305.5091183262131 0.50% 4516800 44451 cutoff 304.0000 305.5079183262395 0.50% 4516900 44351 cutoff 304.0000 305.5067183262638 0.50% 4517000 44251 cutoff 304.0000 305.5057183262917 0.50% Elapsed real time = 9775.26 sec. (tree size = 22.20 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4517100 44151 cutoff 304.0000 305.5046183263165 0.49% 4517200 44051 cutoff 304.0000 305.5034183263445 0.49% 4517300 43951 cutoff 304.0000 305.5019183263727 0.49% 4517400 43851 cutoff 304.0000 305.5006183263997 0.49% 4517500 43751 cutoff 304.0000 305.5000183264256 0.49% 4517600 43651 cutoff 304.0000 305.4989183264520 0.49% 4517700 43551 cutoff 304.0000 305.4975183264744 0.49% 4517800 43451 cutoff 304.0000 305.4963183264994 0.49% 4517900 43351 cutoff 304.0000 305.4952183265293 0.49% 4518000 43251 cutoff 304.0000 305.4940183265508 0.49% Elapsed real time = 9775.60 sec. (tree size = 21.92 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4518100 43151 cutoff 304.0000 305.4928183265760 0.49% 4518200 43051 cutoff 304.0000 305.4916183266037 0.49% 4518300 42951 cutoff 304.0000 305.4902183266279 0.49% 4518400 42851 cutoff 304.0000 305.4893183266540 0.49% 4518500 42751 cutoff 304.0000 305.4881183266813 0.49% 4518600 42651 cutoff 304.0000 305.4870183267075 0.49% 4518700 42551 cutoff 304.0000 305.4857183267377 0.49% 4518800 42451 cutoff 304.0000 305.4846183267632 0.49% 4518900 42351 cutoff 304.0000 305.4834183267902 0.49% 4519000 42251 cutoff 304.0000 305.4824183268134 0.49% Elapsed real time = 9775.98 sec. (tree size = 21.64 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4519100 42151 cutoff 304.0000 305.4812183268373 0.49% 4519200 42051 cutoff 304.0000 305.4800183268619 0.49% 4519300 41951 cutoff 304.0000 305.4786183268872 0.49% 4519400 41851 cutoff 304.0000 305.4774183269085 0.49% 4519500 41751 cutoff 304.0000 305.4762183269344 0.49% 4519600 41651 cutoff 304.0000 305.4751183269563 0.49% 4519700 41551 cutoff 304.0000 305.4738183269785 0.48% 4519800 41451 cutoff 304.0000 305.4725183270046 0.48% 4519900 41351 cutoff 304.0000 305.4712183270292 0.48% 4520000 41251 cutoff 304.0000 305.4699183270541 0.48% Elapsed real time = 9776.31 sec. (tree size = 21.35 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4520100 41151 cutoff 304.0000 305.4686183270800 0.48% 4520200 41051 cutoff 304.0000 305.4675183271022 0.48% 4520300 40951 cutoff 304.0000 305.4661183271246 0.48% 4520400 40851 cutoff 304.0000 305.4646183271493 0.48% 4520500 40751 cutoff 304.0000 305.4632183271753 0.48% 4520600 40651 cutoff 304.0000 305.4621183271999 0.48% 4520700 40551 cutoff 304.0000 305.4609183272240 0.48% 4520800 40451 cutoff 304.0000 305.4596183272472 0.48% 4520900 40351 cutoff 304.0000 305.4585183272733 0.48% 4521000 40251 cutoff 304.0000 305.4572183272988 0.48% Elapsed real time = 9776.65 sec. (tree size = 21.07 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4521100 40151 cutoff 304.0000 305.4561183273257 0.48% 4521200 40051 cutoff 304.0000 305.4546183273482 0.48% 4521300 39951 cutoff 304.0000 305.4536183273709 0.48% 4521400 39851 cutoff 304.0000 305.4523183273932 0.48% 4521500 39751 cutoff 304.0000 305.4510183274177 0.48% 4521600 39651 cutoff 304.0000 305.4497183274401 0.48% 4521700 39551 cutoff 304.0000 305.4485183274651 0.48% 4521800 39451 cutoff 304.0000 305.4471183274862 0.48% 4521900 39351 cutoff 304.0000 305.4461183275101 0.48% 4522000 39251 cutoff 304.0000 305.4450183275341 0.48% Elapsed real time = 9776.99 sec. (tree size = 20.79 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4522100 39151 cutoff 304.0000 305.4438183275568 0.47% 4522200 39051 cutoff 304.0000 305.4426183275807 0.47% 4522300 38951 cutoff 304.0000 305.4414183276041 0.47% 4522400 38851 cutoff 304.0000 305.4401183276284 0.47% 4522500 38751 cutoff 304.0000 305.4390183276524 0.47% 4522600 38651 cutoff 304.0000 305.4379183276740 0.47% 4522700 38551 cutoff 304.0000 305.4367183276996 0.47% 4522800 38451 cutoff 304.0000 305.4354183277257 0.47% 4522900 38351 cutoff 304.0000 305.4342183277478 0.47% 4523000 38251 cutoff 304.0000 305.4330183277737 0.47% Elapsed real time = 9777.32 sec. (tree size = 20.51 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4523100 38151 cutoff 304.0000 305.4317183277966 0.47% 4523200 38052 cutoff 304.0000 305.4304183278215 0.47% 4523300 37952 cutoff 304.0000 305.4291183278464 0.47% 4523400 37852 cutoff 304.0000 305.4277183278688 0.47% 4523500 37752 cutoff 304.0000 305.4263183278918 0.47% 4523600 37652 cutoff 304.0000 305.4251183279144 0.47% 4523700 37552 cutoff 304.0000 305.4239183279390 0.47% 4523800 37452 cutoff 304.0000 305.4227183279596 0.47% 4523900 37352 cutoff 304.0000 305.4214183279850 0.47% 4524000 37252 cutoff 304.0000 305.4203183280039 0.47% Elapsed real time = 9777.65 sec. (tree size = 20.22 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4524100 37152 cutoff 304.0000 305.4191183280254 0.47% 4524200 37052 cutoff 304.0000 305.4179183280505 0.47% 4524300 36952 cutoff 304.0000 305.4165183280729 0.47% 4524400 36852 cutoff 304.0000 305.4152183280952 0.47% 4524500 36752 cutoff 304.0000 305.4139183281167 0.47% 4524600 36652 cutoff 304.0000 305.4128183281383 0.46% 4524700 36552 cutoff 304.0000 305.4114183281564 0.46% 4524800 36452 cutoff 304.0000 305.4100183281769 0.46% 4524900 36352 cutoff 304.0000 305.4088183282002 0.46% 4525000 36252 cutoff 304.0000 305.4075183282251 0.46% Elapsed real time = 9777.98 sec. (tree size = 19.94 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4525100 36152 cutoff 304.0000 305.4064183282498 0.46% 4525200 36052 cutoff 304.0000 305.4053183282734 0.46% 4525300 35952 cutoff 304.0000 305.4041183282989 0.46% 4525400 35852 cutoff 304.0000 305.4030183283178 0.46% 4525500 35752 cutoff 304.0000 305.4017183283385 0.46% 4525600 35652 cutoff 304.0000 305.4007183283623 0.46% 4525700 35552 cutoff 304.0000 305.3997183283819 0.46% 4525800 35452 cutoff 304.0000 305.3983183284076 0.46% 4525900 35352 cutoff 304.0000 305.3972183284269 0.46% 4526000 35252 cutoff 304.0000 305.3958183284458 0.46% Elapsed real time = 9778.31 sec. (tree size = 19.66 MB, solutions = 11) Nodefile size = 3.00 MB (2.34 MB after compression) 4526100 35152 cutoff 304.0000 305.3947183284683 0.46% 4526200 35052 cutoff 304.0000 305.3936183284907 0.46% 4526300 34952 cutoff 304.0000 305.3922183285151 0.46% 4526400 34852 cutoff 304.0000 305.3908183285413 0.46% 4526500 34553 cutoff 304.0000 305.3897183285584 0.46% 4526600 34453 cutoff 304.0000 305.3885183285819 0.46% 4526700 34353 cutoff 304.0000 305.3873183286035 0.46% 4526800 34253 cutoff 304.0000 305.3861183286263 0.46% 4526900 34154 cutoff 304.0000 305.3847183286492 0.46% 4527000 34054 cutoff 304.0000 305.3838183286692 0.46% Elapsed real time = 9778.65 sec. (tree size = 19.31 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4527100 33954 cutoff 304.0000 305.3825183286899 0.45% 4527200 33854 cutoff 304.0000 305.3812183287126 0.45% 4527300 33754 cutoff 304.0000 305.3800183287309 0.45% 4527400 33654 cutoff 304.0000 305.3787183287530 0.45% 4527500 33554 cutoff 304.0000 305.3776183287738 0.45% 4527600 33454 cutoff 304.0000 305.3763183287926 0.45% 4527700 33354 cutoff 304.0000 305.3751183288118 0.45% 4527800 33254 cutoff 304.0000 305.3741183288320 0.45% 4527900 33154 cutoff 304.0000 305.3731183288512 0.45% 4528000 33054 cutoff 304.0000 305.3720183288712 0.45% Elapsed real time = 9778.98 sec. (tree size = 19.02 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4528100 32954 cutoff 304.0000 305.3707183288930 0.45% 4528200 32854 cutoff 304.0000 305.3694183289159 0.45% 4528300 32754 cutoff 304.0000 305.3681183289367 0.45% 4528400 32654 cutoff 304.0000 305.3670183289612 0.45% 4528500 32554 cutoff 304.0000 305.3658183289795 0.45% 4528600 32454 cutoff 304.0000 305.3645183289984 0.45% 4528700 32354 cutoff 304.0000 305.3634183290220 0.45% 4528800 32254 cutoff 304.0000 305.3622183290431 0.45% 4528900 32154 cutoff 304.0000 305.3608183290624 0.45% 4529000 32054 cutoff 304.0000 305.3596183290811 0.45% Elapsed real time = 9779.31 sec. (tree size = 18.74 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4529100 31954 cutoff 304.0000 305.3583183291027 0.45% 4529200 31854 cutoff 304.0000 305.3571183291267 0.45% 4529300 31754 cutoff 304.0000 305.3562183291470 0.45% 4529400 31654 cutoff 304.0000 305.3551183291662 0.45% 4529500 31554 cutoff 304.0000 305.3539183291880 0.45% 4529600 31454 cutoff 304.0000 305.3526183292073 0.44% 4529700 31354 cutoff 304.0000 305.3514183292261 0.44% 4529800 31254 cutoff 304.0000 305.3500183292431 0.44% 4529900 31155 cutoff 304.0000 305.3488183292643 0.44% 4530000 31055 cutoff 304.0000 305.3476183292818 0.44% Elapsed real time = 9779.64 sec. (tree size = 18.46 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4530100 30955 cutoff 304.0000 305.3466183293020 0.44% 4530200 30855 cutoff 304.0000 305.3452183293219 0.44% 4530300 30755 cutoff 304.0000 305.3440183293422 0.44% 4530400 30655 cutoff 304.0000 305.3429183293657 0.44% 4530500 30555 cutoff 304.0000 305.3416183293864 0.44% 4530600 30455 cutoff 304.0000 305.3403183294082 0.44% 4530700 30355 cutoff 304.0000 305.3391183294283 0.44% 4530800 30255 cutoff 304.0000 305.3380183294479 0.44% 4530900 30155 cutoff 304.0000 305.3367183294661 0.44% 4531000 30055 cutoff 304.0000 305.3353183294846 0.44% Elapsed real time = 9779.96 sec. (tree size = 18.18 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4531100 29955 cutoff 304.0000 305.3339183295052 0.44% 4531200 29855 cutoff 304.0000 305.3328183295246 0.44% 4531300 29755 cutoff 304.0000 305.3313183295440 0.44% 4531400 29655 cutoff 304.0000 305.3301183295648 0.44% 4531500 29555 cutoff 304.0000 305.3286183295860 0.44% 4531600 29455 cutoff 304.0000 305.3273183296045 0.44% 4531700 29355 cutoff 304.0000 305.3262183296239 0.44% 4531800 29255 cutoff 304.0000 305.3249183296435 0.44% 4531900 29155 cutoff 304.0000 305.3238183296609 0.44% 4532000 29055 cutoff 304.0000 305.3226183296808 0.44% Elapsed real time = 9780.29 sec. (tree size = 17.90 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4532100 28955 cutoff 304.0000 305.3215183296993 0.43% 4532200 28855 cutoff 304.0000 305.3203183297182 0.43% 4532300 28755 cutoff 304.0000 305.3191183297367 0.43% 4532400 28655 cutoff 304.0000 305.3182183297561 0.43% 4532500 28555 cutoff 304.0000 305.3168183297781 0.43% 4532600 28455 cutoff 304.0000 305.3155183297961 0.43% 4532700 28355 cutoff 304.0000 305.3144183298170 0.43% 4532800 28257 cutoff 304.0000 305.3133183298354 0.43% 4532900 28157 cutoff 304.0000 305.3121183298545 0.43% 4533000 28057 cutoff 304.0000 305.3109183298712 0.43% Elapsed real time = 9780.61 sec. (tree size = 17.61 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4533100 27957 cutoff 304.0000 305.3096183298907 0.43% 4533200 27857 cutoff 304.0000 305.3083183299087 0.43% 4533300 27757 cutoff 304.0000 305.3070183299291 0.43% 4533400 27657 cutoff 304.0000 305.3060183299471 0.43% 4533500 27557 cutoff 304.0000 305.3045183299643 0.43% 4533600 27457 cutoff 304.0000 305.3030183299812 0.43% 4533700 27358 cutoff 304.0000 305.3018183300005 0.43% 4533800 27258 cutoff 304.0000 305.3003183300189 0.43% 4533900 27158 cutoff 304.0000 305.2991183300375 0.43% 4534000 27058 cutoff 304.0000 305.2978183300538 0.43% Elapsed real time = 9780.94 sec. (tree size = 17.33 MB, solutions = 11) Nodefile size = 2.00 MB (1.56 MB after compression) 4534100 26958 cutoff 304.0000 305.2966183300737 0.43% 4534200 26858 cutoff 304.0000 305.2952183300925 0.43% 4534300 26758 cutoff 304.0000 305.2941183301111 0.43% 4534400 26658 cutoff 304.0000 305.2928183301302 0.43% 4534500 26558 cutoff 304.0000 305.2916183301441 0.42% 4534600 26458 cutoff 304.0000 305.2902183301623 0.42% 4534700 26358 cutoff 304.0000 305.2889183301811 0.42% 4534800 26258 cutoff 304.0000 305.2875183301996 0.42% 4534900 26158 cutoff 304.0000 305.2862183302155 0.42% 4535000 26058 cutoff 304.0000 305.2850183302347 0.42% Elapsed real time = 9781.26 sec. (tree size = 17.03 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4535100 25958 cutoff 304.0000 305.2838183302542 0.42% 4535200 25858 cutoff 304.0000 305.2827183302714 0.42% 4535300 25758 cutoff 304.0000 305.2814183302878 0.42% 4535400 25658 cutoff 304.0000 305.2800183303044 0.42% 4535500 25558 cutoff 304.0000 305.2786183303233 0.42% 4535600 25458 cutoff 304.0000 305.2774183303417 0.42% 4535700 25358 cutoff 304.0000 305.2763183303576 0.42% 4535800 25258 cutoff 304.0000 305.2750183303749 0.42% 4535900 25158 cutoff 304.0000 305.2735183303931 0.42% 4536000 25058 cutoff 304.0000 305.2724183304118 0.42% Elapsed real time = 9781.58 sec. (tree size = 16.75 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4536100 24958 cutoff 304.0000 305.2712183304286 0.42% 4536200 24858 cutoff 304.0000 305.2701183304467 0.42% 4536300 24758 cutoff 304.0000 305.2686183304613 0.42% 4536400 24658 cutoff 304.0000 305.2676183304776 0.42% 4536500 24558 cutoff 304.0000 305.2664183304940 0.42% 4536600 24458 cutoff 304.0000 305.2651183305126 0.42% 4536700 24358 cutoff 304.0000 305.2641183305302 0.42% 4536800 24258 cutoff 304.0000 305.2629183305460 0.42% 4536900 24158 cutoff 304.0000 305.2617183305626 0.42% 4537000 24058 cutoff 304.0000 305.2606183305797 0.41% Elapsed real time = 9781.91 sec. (tree size = 16.47 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4537100 23958 cutoff 304.0000 305.2594183305977 0.41% 4537200 23858 cutoff 304.0000 305.2582183306137 0.41% 4537300 23758 cutoff 304.0000 305.2571183306317 0.41% 4537400 23658 cutoff 304.0000 305.2557183306478 0.41% 4537500 23558 cutoff 304.0000 305.2545183306655 0.41% 4537600 23458 cutoff 304.0000 305.2532183306826 0.41% 4537700 23358 cutoff 304.0000 305.2520183306989 0.41% 4537800 23258 cutoff 304.0000 305.2507183307162 0.41% 4537900 23158 cutoff 304.0000 305.2500183307314 0.41% 4538000 23058 cutoff 304.0000 305.2485183307481 0.41% Elapsed real time = 9782.23 sec. (tree size = 16.19 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4538100 22958 cutoff 304.0000 305.2471183307637 0.41% 4538200 22858 cutoff 304.0000 305.2459183307774 0.41% 4538300 22758 cutoff 304.0000 305.2447183307944 0.41% 4538400 22658 cutoff 304.0000 305.2434183308080 0.41% 4538500 22558 cutoff 304.0000 305.2420183308220 0.41% 4538600 22458 cutoff 304.0000 305.2408183308388 0.41% 4538700 22358 cutoff 304.0000 305.2395183308551 0.41% 4538800 22258 cutoff 304.0000 305.2383183308690 0.41% 4538900 22158 cutoff 304.0000 305.2370183308829 0.41% 4539000 22058 cutoff 304.0000 305.2358183308991 0.41% Elapsed real time = 9782.55 sec. (tree size = 15.91 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4539100 21958 cutoff 304.0000 305.2345183309143 0.41% 4539200 21858 cutoff 304.0000 305.2335183309298 0.41% 4539300 21758 cutoff 304.0000 305.2324183309454 0.41% 4539400 21658 cutoff 304.0000 305.2314183309601 0.41% 4539500 21558 cutoff 304.0000 305.2300183309771 0.40% 4539600 21458 cutoff 304.0000 305.2286183309921 0.40% 4539700 21359 cutoff 304.0000 305.2273183310072 0.40% 4539800 21259 cutoff 304.0000 305.2259183310230 0.40% 4539900 21159 cutoff 304.0000 305.2249183310375 0.40% 4540000 21059 cutoff 304.0000 305.2236183310530 0.40% Elapsed real time = 9782.86 sec. (tree size = 15.62 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4540100 20959 cutoff 304.0000 305.2226183310665 0.40% 4540200 20859 cutoff 304.0000 305.2214183310820 0.40% 4540300 20759 cutoff 304.0000 305.2203183310981 0.40% 4540400 20659 cutoff 304.0000 305.2190183311124 0.40% 4540500 20559 cutoff 304.0000 305.2179183311290 0.40% 4540600 20459 cutoff 304.0000 305.2167183311456 0.40% 4540700 20359 cutoff 304.0000 305.2154183311603 0.40% 4540800 20259 cutoff 304.0000 305.2143183311771 0.40% 4540900 20160 cutoff 304.0000 305.2130183311930 0.40% 4541000 20060 cutoff 304.0000 305.2117183312062 0.40% Elapsed real time = 9783.17 sec. (tree size = 15.34 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4541100 19960 cutoff 304.0000 305.2106183312210 0.40% 4541200 19860 cutoff 304.0000 305.2096183312351 0.40% 4541300 19760 cutoff 304.0000 305.2084183312506 0.40% 4541400 19660 305.1489 37 304.0000 305.2072183312665 0.40% 4541500 19560 cutoff 304.0000 305.2059183312807 0.40% 4541600 19460 cutoff 304.0000 305.2047183312958 0.40% 4541700 19360 cutoff 304.0000 305.2034183313125 0.40% 4541800 19260 cutoff 304.0000 305.2022183313272 0.40% 4541900 19160 cutoff 304.0000 305.2011183313419 0.40% 4542000 19060 cutoff 304.0000 305.2000183313581 0.39% Elapsed real time = 9783.49 sec. (tree size = 15.06 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4542100 18960 cutoff 304.0000 305.1991183313748 0.39% 4542200 18860 cutoff 304.0000 305.1978183313886 0.39% 4542300 18760 cutoff 304.0000 305.1966183314026 0.39% 4542400 18660 cutoff 304.0000 305.1953183314183 0.39% 4542500 18560 cutoff 304.0000 305.1941183314345 0.39% 4542600 18460 cutoff 304.0000 305.1926183314470 0.39% 4542700 18360 cutoff 304.0000 305.1912183314613 0.39% 4542800 18260 cutoff 304.0000 305.1898183314779 0.39% 4542900 18160 cutoff 304.0000 305.1885183314908 0.39% 4543000 18060 cutoff 304.0000 305.1872183315050 0.39% Elapsed real time = 9783.80 sec. (tree size = 14.78 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4543100 17960 cutoff 304.0000 305.1858183315186 0.39% 4543200 17860 cutoff 304.0000 305.1845183315333 0.39% 4543300 17760 cutoff 304.0000 305.1833183315472 0.39% 4543400 17660 cutoff 304.0000 305.1820183315613 0.39% 4543500 17560 cutoff 304.0000 305.1808183315759 0.39% 4543600 17460 cutoff 304.0000 305.1794183315884 0.39% 4543700 17360 cutoff 304.0000 305.1780183316033 0.39% 4543800 17260 cutoff 304.0000 305.1767183316168 0.39% 4543900 17160 cutoff 304.0000 305.1754183316293 0.39% 4544000 17060 cutoff 304.0000 305.1739183316437 0.39% Elapsed real time = 9784.12 sec. (tree size = 14.49 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4544100 16960 cutoff 304.0000 305.1729183316555 0.39% 4544200 16860 cutoff 304.0000 305.1716183316680 0.39% 4544300 16760 cutoff 304.0000 305.1706183316825 0.39% 4544400 16660 cutoff 304.0000 305.1691183316955 0.38% 4544500 16560 cutoff 304.0000 305.1678183317077 0.38% 4544600 16460 cutoff 304.0000 305.1665183317206 0.38% 4544700 16360 cutoff 304.0000 305.1651183317327 0.38% 4544800 16260 cutoff 304.0000 305.1637183317445 0.38% 4544900 16160 cutoff 304.0000 305.1623183317567 0.38% 4545000 16060 cutoff 304.0000 305.1611183317683 0.38% Elapsed real time = 9784.43 sec. (tree size = 14.21 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4545100 15960 cutoff 304.0000 305.1599183317799 0.38% 4545200 15860 cutoff 304.0000 305.1588183317924 0.38% 4545300 15760 cutoff 304.0000 305.1576183318050 0.38% 4545400 15660 cutoff 304.0000 305.1560183318171 0.38% 4545500 15560 cutoff 304.0000 305.1549183318302 0.38% 4545600 15460 cutoff 304.0000 305.1536183318425 0.38% 4545700 15360 cutoff 304.0000 305.1522183318573 0.38% 4545800 15260 cutoff 304.0000 305.1510183318701 0.38% 4545900 15160 cutoff 304.0000 305.1498183318847 0.38% 4546000 15060 cutoff 304.0000 305.1485183318985 0.38% Elapsed real time = 9784.74 sec. (tree size = 13.93 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4546100 14960 cutoff 304.0000 305.1472183319101 0.38% 4546200 14860 cutoff 304.0000 305.1459183319212 0.38% 4546300 14760 cutoff 304.0000 305.1447183319329 0.38% 4546400 14660 cutoff 304.0000 305.1432183319459 0.38% 4546500 14560 cutoff 304.0000 305.1422183319577 0.38% 4546600 14460 cutoff 304.0000 305.1409183319705 0.38% 4546700 14360 cutoff 304.0000 305.1397183319817 0.37% 4546800 14260 cutoff 304.0000 305.1384183319949 0.37% 4546900 14160 cutoff 304.0000 305.1372183320068 0.37% 4547000 14060 cutoff 304.0000 305.1360183320198 0.37% Elapsed real time = 9785.05 sec. (tree size = 13.65 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4547100 13960 cutoff 304.0000 305.1348183320340 0.37% 4547200 13860 cutoff 304.0000 305.1338183320461 0.37% 4547300 13760 cutoff 304.0000 305.1327183320586 0.37% 4547400 13660 cutoff 304.0000 305.1315183320705 0.37% 4547500 13560 cutoff 304.0000 305.1302183320828 0.37% 4547600 13460 cutoff 304.0000 305.1288183320940 0.37% 4547700 13360 cutoff 304.0000 305.1273183321066 0.37% 4547800 13260 cutoff 304.0000 305.1261183321199 0.37% 4547900 13160 cutoff 304.0000 305.1248183321319 0.37% 4548000 13060 cutoff 304.0000 305.1234183321435 0.37% Elapsed real time = 9785.36 sec. (tree size = 13.36 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4548100 12960 cutoff 304.0000 305.1221183321578 0.37% 4548200 12860 cutoff 304.0000 305.1211183321696 0.37% 4548300 12760 cutoff 304.0000 305.1198183321799 0.37% 4548400 12660 cutoff 304.0000 305.1184183321913 0.37% 4548500 12560 cutoff 304.0000 305.1175183322029 0.37% 4548600 12460 cutoff 304.0000 305.1163183322153 0.37% 4548700 12360 cutoff 304.0000 305.1148183322265 0.37% 4548800 12260 cutoff 304.0000 305.1136183322391 0.37% 4548900 12160 cutoff 304.0000 305.1124183322507 0.37% 4549000 12060 cutoff 304.0000 305.1111183322613 0.37% Elapsed real time = 9785.66 sec. (tree size = 13.08 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4549100 11960 cutoff 304.0000 305.1101183322748 0.37% 4549200 11860 cutoff 304.0000 305.1086183322854 0.36% 4549300 11760 cutoff 304.0000 305.1075183322967 0.36% 4549400 11660 cutoff 304.0000 305.1063183323077 0.36% 4549500 11560 cutoff 304.0000 305.1050183323185 0.36% 4549600 11460 cutoff 304.0000 305.1037183323323 0.36% 4549700 11360 cutoff 304.0000 305.1022183323435 0.36% 4549800 11260 cutoff 304.0000 305.1010183323540 0.36% 4549900 11160 cutoff 304.0000 305.0996183323647 0.36% 4550000 11060 cutoff 304.0000 305.0984183323752 0.36% Elapsed real time = 9785.99 sec. (tree size = 12.80 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4550100 10960 cutoff 304.0000 305.0971183323869 0.36% 4550200 10860 cutoff 304.0000 305.0958183323978 0.36% 4550300 10760 cutoff 304.0000 305.0947183324078 0.36% 4550400 10660 cutoff 304.0000 305.0938183324199 0.36% 4550500 10561 cutoff 304.0000 305.0928183324293 0.36% 4550600 10461 cutoff 304.0000 305.0915183324404 0.36% 4550700 10361 cutoff 304.0000 305.0904183324513 0.36% 4550800 10261 cutoff 304.0000 305.0892183324630 0.36% 4550900 10161 cutoff 304.0000 305.0880183324753 0.36% 4551000 10061 cutoff 304.0000 305.0869183324842 0.36% Elapsed real time = 9786.29 sec. (tree size = 12.52 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4551100 9961 cutoff 304.0000 305.0858183324931 0.36% 4551200 9861 cutoff 304.0000 305.0846183325033 0.36% 4551300 9761 cutoff 304.0000 305.0833183325136 0.36% 4551400 9661 cutoff 304.0000 305.0821183325245 0.36% 4551500 9561 cutoff 304.0000 305.0808183325336 0.36% 4551600 9461 cutoff 304.0000 305.0795183325436 0.36% 4551700 9361 cutoff 304.0000 305.0781183325526 0.35% 4551800 9261 cutoff 304.0000 305.0769183325621 0.35% 4551900 9161 cutoff 304.0000 305.0760183325710 0.35% 4552000 9061 cutoff 304.0000 305.0747183325817 0.35% Elapsed real time = 9786.60 sec. (tree size = 12.24 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4552100 8961 cutoff 304.0000 305.0733183325915 0.35% 4552200 8861 cutoff 304.0000 305.0719183325994 0.35% 4552300 8761 cutoff 304.0000 305.0704183326079 0.35% 4552400 8661 cutoff 304.0000 305.0691183326175 0.35% 4552500 8561 cutoff 304.0000 305.0679183326264 0.35% 4552600 8461 cutoff 304.0000 305.0667183326358 0.35% 4552700 8361 cutoff 304.0000 305.0656183326454 0.35% 4552800 8261 cutoff 304.0000 305.0644183326553 0.35% 4552900 8161 cutoff 304.0000 305.0629183326639 0.35% 4553000 8061 cutoff 304.0000 305.0615183326724 0.35% Elapsed real time = 9786.90 sec. (tree size = 11.95 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4553100 7961 cutoff 304.0000 305.0603183326814 0.35% 4553200 7861 cutoff 304.0000 305.0590183326903 0.35% 4553300 7761 cutoff 304.0000 305.0581183326982 0.35% 4553400 7661 cutoff 304.0000 305.0566183327081 0.35% 4553500 7561 cutoff 304.0000 305.0554183327175 0.35% 4553600 7461 cutoff 304.0000 305.0542183327263 0.35% 4553700 7361 cutoff 304.0000 305.0526183327355 0.35% 4553800 7261 cutoff 304.0000 305.0514183327451 0.35% 4553900 7161 cutoff 304.0000 305.0500183327543 0.35% 4554000 7061 cutoff 304.0000 305.0487183327628 0.34% Elapsed real time = 9787.20 sec. (tree size = 11.67 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4554100 6961 cutoff 304.0000 305.0474183327711 0.34% 4554200 6861 cutoff 304.0000 305.0463183327803 0.34% 4554300 6761 cutoff 304.0000 305.0450183327895 0.34% 4554400 6661 cutoff 304.0000 305.0436183327984 0.34% 4554500 6561 cutoff 304.0000 305.0424183328072 0.34% 4554600 6461 cutoff 304.0000 305.0412183328155 0.34% 4554700 6361 cutoff 304.0000 305.0401183328232 0.34% 4554800 6261 cutoff 304.0000 305.0389183328312 0.34% 4554900 6161 cutoff 304.0000 305.0376183328387 0.34% 4555000 6061 cutoff 304.0000 305.0363183328465 0.34% Elapsed real time = 9787.50 sec. (tree size = 11.39 MB, solutions = 11) Nodefile size = 1.00 MB (0.78 MB after compression) 4555100 5961 cutoff 304.0000 305.0352183328544 0.34% 4555200 5861 cutoff 304.0000 305.0339183328624 0.34% 4555300 2575 cutoff 304.0000 305.0325183328713 0.34% 4555400 2475 cutoff 304.0000 305.0311183328798 0.34% 4555500 2375 cutoff 304.0000 305.0297183328882 0.34% 4555600 2275 cutoff 304.0000 305.0284183328974 0.34% 4555700 2175 cutoff 304.0000 305.0269183329053 0.34% 4555800 2075 cutoff 304.0000 305.0256183329138 0.34% 4555900 1975 cutoff 304.0000 305.0244183329219 0.34% 4556000 1875 cutoff 304.0000 305.0232183329297 0.34% Elapsed real time = 9787.78 sec. (tree size = 10.19 MB, solutions = 11) 4556100 1775 cutoff 304.0000 305.0220183329387 0.34% 4556200 1675 cutoff 304.0000 305.0206183329467 0.34% 4556300 1575 cutoff 304.0000 305.0195183329535 0.34% 4556400 1475 cutoff 304.0000 305.0180183329612 0.33% 4556500 1375 cutoff 304.0000 305.0165183329683 0.33% 4556600 1275 cutoff 304.0000 305.0154183329751 0.33% 4556700 1175 cutoff 304.0000 305.0142183329817 0.33% 4556800 1075 cutoff 304.0000 305.0128183329889 0.33% 4556900 975 cutoff 304.0000 305.0115183329960 0.33% 4557000 875 cutoff 304.0000 305.0102183330035 0.33% Elapsed real time = 9788.06 sec. (tree size = 9.91 MB, solutions = 11) 4557100 775 cutoff 304.0000 305.0091183330107 0.33% 4557200 675 cutoff 304.0000 305.0079183330176 0.33% 4557300 575 cutoff 304.0000 305.0067183330235 0.33% 4557400 475 cutoff 304.0000 305.0052183330303 0.33% 4557500 375 cutoff 304.0000 305.0040183330373 0.33% 4557600 275 cutoff 304.0000 305.0028183330436 0.33% 4557700 175 cutoff 304.0000 305.0013183330509 0.33% 4557800 75 cutoff 304.0000 305.0000183330583 0.33% Clique cuts applied: 8 Root node processing (before b&c): Real time = 0.83 Parallel b&c, 2 threads: Real time = 9787.42 Sync time (average) = 359.18 Wait time (average) = 790.25 ------- Total (root+branch&cut) = 9788.26 sec. Solution pool: 11 solutions saved. MIP - Integer optimal solution: Objective = 3.0400000000e+02 Solution time = 9788.30 sec. Iterations = 183330684 Nodes = 4557876 CPLEX> dis sol var - Incumbent solution Variable Name Solution Value x33 1.000000 x42 1.000000 x58 1.000000 x110 1.000000 x171 1.000000 x186 1.000000 x206 1.000000 x265 1.000000 x347 1.000000 x355 1.000000 x403 1.000000 x428 1.000000 x486 1.000000 x521 1.000000 x526 1.000000 x544 1.000000 All other variables in the range 1-567 are 0.