.......................... ooooooooooooooooooooooooooooo CURRENT SETTINGS ooooooooooooooooooooooooooooooooooo .......................... . Sequence filename : nucleic_M3703_1566x915_2008.phy . Data type : dna . Sequence format : interleaved . Number of data sets : 1 . Nb of bootstrapped data sets : 0 . Model name : GTR . Proportion of invariable sites : 0.000000 . Number of subst. rate categs : 4 . Gamma distribution parameter : estimated . 'Middle' of each rate class : mean . Nucleotide equilibrium frequencies : empirical . Optimise tree topology : yes . Tree topology search : SPRs . Starting tree : BioNJ . Add random input tree : no . Optimise branch lengths : yes . Optimise substitution model parameters : yes . Run ID : none oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo . Compressing sequences... . 896 patterns found. (out of a total of 915 sites) . 79 sites without polymorphism (8.63%). . Computing pairwise distances... . Building BioNJ tree... . WARNING: this analysis requires at least 753Mo of memory space. . Maximizing likelihood (using SPR moves)... . ( 3181 sec) [ -83457.7105] [GTR parameters ] . ( 3190 sec) [ -82943.4363] [Alpha ][ 0.500960] . ( 3195 sec) [ -82937.9439] [13748] [depth= 1] . ( 3199 sec) [ -82892.4615] [13744] [depth= 1] . ( 3202 sec) [ -82891.8469] [13748] [depth= 1] . ( 3207 sec) [ -82886.5200] [13744] [depth= 1] . ( 3211 sec) [ -82859.7933] [13741] [depth= 1] . ( 3215 sec) [ -82851.8268] [13733] [depth= 1] . ( 3222 sec) [ -82806.4009] [13719] [depth= 2] . ( 3228 sec) [ -82791.8373] [13720] [depth= 1] . ( 3232 sec) [ -82788.8375] [13719] [depth= 1] . ( 3236 sec) [ -82784.6533] [13720] [depth= 1] . ( 3240 sec) [ -82778.1591] [13718] [depth= 1] . ( 3244 sec) [ -82771.2250] [13720] [depth= 1] . ( 3246 sec) [ -82769.5928] [13718] [depth= 1] . ( 3254 sec) [ -82765.2443] [13716] [depth= 1] . ( 3257 sec) [ -82764.0652] [13718] [depth= 1] . ( 3260 sec) [ -82761.8144] [13716] [depth= 1] . ( 3265 sec) [ -82759.3493] [13718] [depth= 1] . ( 3275 sec) [ -82758.3606] [13720] [depth= 1] . ( 3278 sec) [ -82755.4432] [13718] [depth= 1] . ( 3285 sec) [ -82753.6624] [13720] [depth= 1] . ( 3292 sec) [ -82749.2748] [13718] [depth= 1] . ( 3294 sec) [ -82745.1672] [13716] [depth= 1] . ( 3297 sec) [ -82724.0818] [13717] [depth= 1] . ( 3299 sec) [ -82723.6344] [13720] [depth= 1] . ( 3302 sec) [ -82694.4208] [13706] [depth= 25] . ( 3307 sec) [ -82680.7934] [13702] [depth= 31] . ( 3332 sec) [ -82668.3142] [13700] [depth= 1] . ( 3343 sec) [ -82663.6630] [13700] [depth= 1] . ( 3346 sec) [ -82659.8597] [13700] [depth= 4] . ( 3355 sec) [ -82659.4717] [13700] [depth= 1] . ( 3369 sec) [ -82659.3953] [13701] [depth= 1] . ( 3374 sec) [ -82657.9611] [13701] [depth= 1] . ( 3377 sec) [ -82654.7597] [13701] [depth= 1] . ( 3384 sec) [ -82648.1709] [13701] [depth= 1] . ( 3408 sec) [ -82624.8728] [13695] [depth= 4] . ( 3420 sec) [ -82624.6905] [13695] [depth= 1] . ( 3439 sec) [ -82623.7859] [13695] [depth= 24] . ( 3448 sec) [ -82611.0410] [13692] [depth= 1] . ( 3464 sec) [ -82602.9108] [13691] [depth= 4] . ( 3479 sec) [ -82596.6625] [13689] [depth= 1] . ( 3487 sec) [ -82593.1224] [13689] [depth= 1] . ( 3490 sec) [ -82592.8954] [13689] [depth= 1] . ( 3508 sec) [ -82586.7733] [13687] [depth= 1] . ( 3511 sec) [ -82584.9581] [13687] [depth= 1] . ( 3519 sec) [ -82583.7890] [13688] [depth= 29] . ( 3526 sec) [ -82571.0177] [13686] [depth= 1] . ( 3546 sec) [ -82561.3625] [13683] [depth= 1] . ( 3554 sec) [ -82560.5659] [13683] [depth= 1] . ( 3557 sec) [ -82560.3123] [13683] [depth= 1] . ( 3582 sec) [ -82560.3020] [13683] [depth= 1] . ( 3585 sec) [ -82559.4270] [13683] [depth= 1] . ( 3603 sec) [ -82559.3763] [13683] [depth= 1] . ( 3606 sec) [ -82559.2266] [13683] [depth= 1] . ( 3612 sec) [ -82558.7699] [13683] [depth= 1] . ( 3624 sec) [ -82554.8381] [13683] [depth= 2] . ( 3653 sec) [ -82554.8004] [13683] [depth= 3] . ( 3657 sec) [ -82554.7798] [13683] [depth= 3] . ( 3658 sec) [ -82554.7120] [13683] [depth= 1] . ( 3662 sec) [ -82554.2853] [13683] [depth= 2] . ( 3670 sec) [ -82548.0567] [13682] [depth= 5] . ( 3677 sec) [ -82547.9778] [13682] [depth= 2] . ( 3682 sec) [ -82542.9431] [13681] [depth= 4] . ( 3687 sec) [ -82542.8251] [13681] [depth= 1] . ( 3690 sec) [ -82542.5721] [13681] [depth= 1] . ( 3693 sec) [ -82542.4913] [13681] [depth= 1] . ( 3696 sec) [ -82542.4613] [13681] [depth= 2] . ( 3702 sec) [ -82542.0036] [13681] [depth= 3] . ( 3706 sec) [ -82538.6213] [13680] [depth= 3] . ( 3712 sec) [ -82538.6107] [13680] [depth= 2] . ( 3715 sec) [ -82538.5357] [13680] [depth= 1] . ( 3718 sec) [ -82538.0369] [13680] [depth= 1] . ( 3721 sec) [ -82537.8372] [13680] [depth= 1] . ( 3733 sec) [ -82537.8001] [13680] [depth= 1] . ( 3744 sec) [ -82531.6566] [13680] [depth= 1] . ( 3747 sec) [ -82529.0046] [13680] [depth= 1] . ( 3750 sec) [ -82528.4241] [13680] [depth= 1] . ( 3754 sec) [ -82523.6854] [13679] [depth= 6] . ( 3761 sec) [ -82523.6142] [13679] [depth= 1] . ( 3777 sec) [ -82520.5634] [13677] [depth= 1] . ( 3780 sec) [ -82520.3730] [13677] [depth= 1] . ( 3785 sec) [ -82520.2125] [13677] [depth= 1] . ( 3788 sec) [ -82516.3558] [13677] [depth= 9] . ( 3791 sec) [ -82515.9564] [13675] [depth= 9] . ( 3799 sec) [ -82515.8187] [13675] [depth= 1] . ( 3802 sec) [ -82515.2116] [13675] [depth= 1] . ( 3806 sec) [ -82514.8587] [13675] [depth= 1] . ( 3809 sec) [ -82511.6831] [13674] [depth= 10] . ( 3812 sec) [ -82509.5758] [13674] [depth= 1] . ( 3827 sec) [ -82496.9171] [13671] [depth= 1] . ( 3830 sec) [ -82496.7731] [13671] [depth= 1] . ( 3832 sec) [ -82496.7076] [13671] [depth= 1] . ( 3835 sec) [ -82495.0695] [13671] [depth= 1] . ( 3838 sec) [ -82493.3039] [13671] [depth= 6] . ( 3840 sec) [ -82493.2678] [13671] [depth= 2] . ( 3851 sec) [ -82493.0169] [13671] [depth= 1] . ( 3862 sec) [ -82491.1872] [13671] [depth= 3] . ( 3872 sec) [ -82487.8221] [13670] [depth= 3] . ( 3886 sec) [ -82487.6710] [13670] [depth= 1] . ( 3889 sec) [ -82485.6545] [13669] [depth= 1] . ( 3892 sec) [ -82483.5982] [13669] [depth= 1] . ( 3909 sec) [ -82475.5840] [13669] [depth= 1] . ( 3913 sec) [ -82475.2956] [13668] [depth= 2] . ( 3925 sec) [ -82472.7910] [13667] [depth= 1] . ( 3938 sec) [ -82472.7267] [13667] [depth= 1] . ( 3941 sec) [ -82465.0749] [13666] [depth= 3] . ( 3943 sec) [ -82464.7947] [13666] [depth= 2] . ( 3946 sec) [ -82463.9439] [13666] [depth= 1] . ( 3952 sec) [ -82463.7816] [13664] [depth= 3] . ( 3956 sec) [ -82457.4547] [13663] [depth= 3] . ( 3960 sec) [ -82457.4398] [13663] [depth= 1] . ( 3972 sec) [ -82456.0391] [13662] [depth= 2] . ( 3982 sec) [ -82452.0314] [13661] [depth= 2] . ( 3985 sec) [ -82441.2793] [13660] [depth= 17] . ( 3988 sec) [ -82429.8204] [13655] [depth= 2] . ( 3991 sec) [ -82429.5066] [13654] [depth= 1] . ( 4024 sec) [ -82429.4916] [13654] [depth= 3] . ( 4028 sec) [ -82429.1251] [13654] [depth= 3] . ( 4032 sec) [ -82428.9870] [13654] [depth= 3] . ( 4035 sec) [ -82427.8947] [13654] [depth= 2] . ( 4038 sec) [ -82424.2597] [13654] [depth= 2] . ( 4064 sec) [ -82420.9995] [13656] [depth= 10] . ( 4067 sec) [ -82420.4277] [13656] [depth= 1] . ( 4070 sec) [ -82415.7306] [13655] [depth= 1] . ( 4075 sec) [ -82414.1453] [13655] [depth= 1] . ( 4089 sec) [ -82408.8152] [13658] [depth= 1] . ( 4097 sec) [ -82405.1248] [13657] [depth= 2] . ( 4100 sec) [ -82402.3315] [13656] [depth= 1] . ( 4114 sec) [ -82397.2291] [13655] [depth= 1] . ( 4119 sec) [ -82385.5062] [13653] [depth= 9] . ( 4122 sec) [ -82382.3716] [13652] [depth= 3] . ( 4126 sec) [ -82379.1562] [13651] [depth= 4] . ( 4141 sec) [ -82369.1718] [13647] [depth= 1] . ( 4150 sec) [ -82369.1151] [13647] [depth= 1] . ( 4161 sec) [ -82363.6450] [13646] [depth= 1] . ( 4165 sec) [ -82363.5515] [13646] [depth= 1] . ( 4168 sec) [ -82359.5482] [13645] [depth= 1] . ( 4171 sec) [ -82359.5108] [13645] [depth= 1] . ( 4176 sec) [ -82353.3859] [13643] [depth= 9] . ( 4183 sec) [ -82347.7099] [13642] [depth= 1] . ( 4195 sec) [ -82346.8504] [13642] [depth= 1] . ( 4197 sec) [ -82346.4981] [13642] [depth= 1] . ( 4201 sec) [ -82345.8639] [13642] [depth= 1] . ( 4206 sec) [ -82337.3478] [13640] [depth= 13] . ( 4210 sec) [ -82336.1612] [13641] [depth= 1] . ( 4221 sec) [ -82335.4800] [13641] [depth= 2] . ( 4225 sec) [ -82324.3171] [13638] [depth= 2] . ( 4231 sec) [ -82323.9564] [13638] [depth= 1] . ( 4235 sec) [ -82322.9415] [13638] [depth= 1] . ( 4245 sec) [ -82321.3471] [13638] [depth= 2] . ( 4249 sec) [ -82320.5105] [13638] [depth= 1] . ( 4252 sec) [ -82317.0131] [13638] [depth= 1] . ( 4268 sec) [ -82315.8029] [13637] [depth= 1] . ( 4271 sec) [ -82309.0479] [13637] [depth= 15] . ( 4290 sec) [ -82308.8710] [13637] [depth= 1] . ( 4294 sec) [ -82303.7535] [13636] [depth= 1] . ( 4311 sec) [ -82302.9298] [13636] [depth= 2] . ( 4314 sec) [ -82298.7787] [13635] [depth= 1] . ( 4326 sec) [ -82297.1873] [13635] [depth= 1] . ( 4343 sec) [ -82294.3387] [13634] [depth= 1] . ( 4346 sec) [ -82289.7415] [13633] [depth= 1] . ( 4350 sec) [ -82276.8739] [13630] [depth= 3] . ( 4356 sec) [ -82270.3446] [13627] [depth= 2] . ( 4359 sec) [ -82264.8094] [13627] [depth= 1] . ( 4369 sec) [ -82263.8191] [13627] [depth= 1] . ( 4373 sec) [ -82260.6821] [13627] [depth= 1] . ( 4387 sec) [ -82255.9648] [13625] [depth= 1] . ( 4395 sec) [ -82248.9107] [13623] [depth= 2] . ( 4398 sec) [ -82247.1093] [13623] [depth= 1] . ( 4403 sec) [ -82244.6926] [13623] [depth= 1] . ( 4415 sec) [ -82239.5874] [13623] [depth= 12] . ( 4419 sec) [ -82238.2730] [13623] [depth= 3] . ( 4422 sec) [ -82235.3744] [13622] [depth= 1] . ( 4425 sec) [ -82233.7389] [13623] [depth= 1] . ( 4428 sec) [ -82232.3931] [13623] [depth= 1] . ( 4432 sec) [ -82230.2431] [13623] [depth= 1] . ( 4454 sec) [ -82230.1873] [13628] [depth= 20] . ( 4460 sec) [ -82229.8891] [13628] [depth= 1] . ( 4467 sec) [ -82227.9382] [13629] [depth= 1] . ( 4470 sec) [ -82227.2168] [13628] [depth= 1] . ( 4473 sec) [ -82215.1957] [13624] [depth= 9] . ( 4476 sec) [ -82213.6029] [13625] [depth= 1] . ( 4481 sec) [ -82207.1069] [13622] [depth= 4] . ( 4486 sec) [ -82206.7911] [13623] [depth= 1] . ( 4497 sec) [ -82200.1603] [13621] [depth= 2] . ( 4501 sec) [ -82199.0556] [13622] [depth= 1] . ( 4504 sec) [ -82198.8563] [13621] [depth= 1] . ( 4510 sec) [ -82196.5969] [13621] [depth= 1] . ( 4513 sec) [ -82195.6368] [13621] [depth= 1] . ( 4521 sec) [ -82192.8773] [13620] [depth= 1] . ( 4536 sec) [ -82192.7620] [13620] [depth= 1] . ( 4541 sec) [ -82192.7295] [13620] [depth= 1] . ( 4547 sec) [ -82187.6915] [13619] [depth= 5] . ( 4556 sec) [ -82185.4349] [13618] [depth= 7] . ( 4576 sec) [ -82182.8587] [13618] [depth= 10] . ( 4579 sec) [ -82176.0413] [13616] [depth= 1] . ( 4589 sec) [ -82175.9741] [13616] [depth= 1] . ( 4594 sec) [ -82175.6051] [13616] [depth= 1] . ( 4608 sec) [ -82175.3291] [13617] [depth= 37] . ( 4614 sec) [ -82174.4171] [13616] [depth= 5] . ( 4625 sec) [ -82173.2763] [13620] [depth= 2] . ( 4637 sec) [ -82171.2031] [13619] [depth= 1] . ( 4642 sec) [ -82168.8683] [13617] [depth= 1] . ( 4645 sec) [ -82168.2611] [13619] [depth= 1] . ( 4653 sec) [ -82167.6684] [13619] [depth= 2] . ( 4663 sec) [ -82166.2336] [13619] [depth= 1] . ( 4672 sec) [ -82159.6042] [13620] [depth= 1] . ( 4684 sec) [ -82155.7779] [13618] [depth= 1] . ( 4705 sec) [ -82154.1414] [13619] [depth= 2] . ( 4708 sec) [ -82151.9191] [13619] [depth= 1] . ( 4711 sec) [ -82149.5794] [13619] [depth= 4] . ( 4727 sec) [ -82144.7589] [13619] [depth= 5] . ( 4740 sec) [ -82144.6099] [13621] [depth= 8] . ( 4745 sec) [ -82142.7284] [13621] [depth= 1] . ( 4748 sec) [ -82139.1524] [13621] [depth= 1] . ( 4761 sec) [ -82139.0793] [13621] [depth= 1] . ( 4764 sec) [ -82138.7495] [13621] [depth= 1] . ( 4781 sec) [ -82137.7092] [13620] [depth= 11] . ( 4785 sec) [ -82137.1988] [13619] [depth= 12] . ( 4790 sec) [ -82137.0894] [13621] [depth= 1] . ( 4793 sec) [ -82132.7029] [13618] [depth= 6] . ( 4806 sec) [ -82131.5595] [13619] [depth= 2] . ( 4822 sec) [ -82123.3510] [13615] [depth= 6] . ( 4826 sec) [ -82121.4673] [13616] [depth= 2] . ( 4829 sec) [ -82116.5427] [13618] [depth= 1] . ( 4834 sec) [ -82106.3824] [13615] [depth= 3] . ( 4839 sec) [ -82102.7898] [13613] [depth= 1] . ( 4844 sec) [ -82099.6913] [13614] [depth= 3] . ( 4848 sec) [ -82099.3838] [13613] [depth= 3] . ( 4851 sec) [ -82098.7736] [13614] [depth= 2] . ( 4861 sec) [ -82097.6142] [13614] [depth= 1] . ( 4865 sec) [ -82092.5088] [13613] [depth= 42] . ( 4868 sec) [ -82091.6614] [13613] [depth= 1] . ( 4871 sec) [ -82091.2006] [13613] [depth= 1] . ( 4878 sec) [ -82090.8540] [13615] [depth= 29] . ( 4881 sec) [ -82080.7687] [13612] [depth= 1] . ( 4895 sec) [ -82078.5535] [13612] [depth= 4] . ( 4898 sec) [ -82076.2710] [13611] [depth= 4] . ( 4914 sec) [ -82075.8642] [13610] [depth= 1] . ( 4917 sec) [ -82072.3468] [13610] [depth= 1] . ( 4921 sec) [ -82070.7986] [13610] [depth= 1] . ( 4924 sec) [ -82068.5817] [13610] [depth= 1] . ( 4927 sec) [ -82068.5092] [13609] [depth= 2] . ( 4931 sec) [ -82057.6099] [13609] [depth= 12] . ( 4937 sec) [ -82056.4814] [13608] [depth= 7] . ( 4941 sec) [ -82047.4766] [13605] [depth= 1] . ( 4947 sec) [ -82044.2948] [13604] [depth= 1] . ( 4956 sec) [ -82042.0521] [13603] [depth= 1] . ( 4960 sec) [ -82033.0559] [13601] [depth= 8] . ( 4961 sec) [ -82032.9118] [13601] [depth= 1] . ( 4973 sec) [ -82029.5258] [13600] [depth= 1] . ( 4976 sec) [ -82021.1957] [13598] [depth= 2] . ( 4980 sec) [ -82021.1455] [13599] [depth= 19] . ( 4983 sec) [ -82017.4132] [13598] [depth= 1] . ( 4986 sec) [ -82017.0413] [13598] [depth= 1] . ( 4997 sec) [ -82016.9512] [13598] [depth= 1] . ( 5003 sec) [ -82016.7840] [13598] [depth= 1] . ( 5016 sec) [ -82015.1269] [13599] [depth= 4] . ( 5019 sec) [ -82009.8326] [13598] [depth= 2] . ( 5025 sec) [ -82009.7091] [13599] [depth= 1] . ( 5029 sec) [ -82008.2928] [13598] [depth= 1] . ( 5035 sec) [ -82006.1179] [13597] [depth= 1] . ( 5052 sec) [ -82001.5971] [13597] [depth= 27] . ( 5061 sec) [ -82001.0407] [13597] [depth= 1] . ( 5069 sec) [ -82000.2737] [13597] [depth= 2] . ( 5074 sec) [ -81999.3769] [13597] [depth= 1] . ( 5086 sec) [ -81995.1484] [13596] [depth= 1] . ( 5097 sec) [ -81994.9445] [13597] [depth= 1] . ( 5108 sec) [ -81988.0593] [13597] [depth= 5] . ( 5122 sec) [ -81987.2679] [13597] [depth= 5] . ( 5135 sec) [ -81982.5532] [13598] [depth= 2] . ( 5138 sec) [ -81977.5558] [13597] [depth= 2] . ( 5142 sec) [ -81968.8266] [13593] [depth= 3] . ( 5144 sec) [ -81968.2490] [13594] [depth= 2] . ( 5159 sec) [ -81963.7143] [13593] [depth= 1] . ( 5161 sec) [ -81963.2901] [13593] [depth= 1] . ( 5164 sec) [ -81962.6530] [13593] [depth= 1] . ( 5174 sec) [ -81959.9333] [13592] [depth= 2] . ( 5177 sec) [ -81959.5621] [13593] [depth= 2] . ( 5185 sec) [ -81958.5424] [13593] [depth= 1] . ( 5197 sec) [ -81957.5324] [13594] [depth= 6] . ( 5200 sec) [ -81955.0234] [13594] [depth= 4] . ( 5232 sec) [ -81954.7394] [13594] [depth= 3] . ( 5234 sec) [ -81954.6053] [13594] [depth= 2] . ( 5236 sec) [ -81954.3800] [13594] [depth= 1] . ( 5244 sec) [ -81947.1507] [13593] [depth= 1] . ( 5252 sec) [ -81945.0540] [13593] [depth= 1] . ( 5255 sec) [ -81944.9049] [13593] [depth= 1] . ( 5269 sec) [ -81941.6786] [13592] [depth= 2] . ( 5272 sec) [ -81938.4044] [13592] [depth= 1] . ( 5275 sec) [ -81938.1295] [13592] [depth= 1] . ( 5278 sec) [ -81937.4729] [13592] [depth= 1] . ( 5285 sec) [ -81932.2691] [13591] [depth= 1] . ( 5297 sec) [ -81931.9570] [13591] [depth= 1] . ( 5310 sec) [ -81926.0662] [13590] [depth= 4] . ( 5317 sec) [ -81925.9771] [13590] [depth= 1] . ( 5321 sec) [ -81919.2171] [13587] [depth= 3] . ( 5322 sec) [ -81918.1323] [13588] [depth= 1] . ( 5326 sec) [ -81910.5209] [13586] [depth= 3] . ( 5329 sec) [ -81907.8614] [13585] [depth= 1] . ( 5340 sec) [ -81905.6186] [13585] [depth= 1] . ( 5352 sec) [ -81903.4618] [13585] [depth= 1] . ( 5356 sec) [ -81902.9134] [13585] [depth= 1] . ( 5363 sec) [ -81902.7384] [13585] [depth= 1] . ( 5365 sec) [ -81902.5682] [13585] [depth= 1] . ( 5371 sec) [ -81900.7304] [13586] [depth= 2] . ( 5374 sec) [ -81897.8928] [13586] [depth= 1] . ( 5387 sec) [ -81894.8115] [13588] [depth= 16] . ( 5392 sec) [ -81893.5364] [13588] [depth= 1] . ( 5395 sec) [ -81892.6120] [13587] [depth= 2] . ( 5397 sec) [ -81892.4285] [13587] [depth= 1] . ( 5401 sec) [ -81881.8458] [13585] [depth= 1] . ( 5406 sec) [ -81877.1413] [13585] [depth= 4] . ( 5414 sec) [ -81876.7175] [13584] [depth= 1] . ( 5417 sec) [ -81872.6760] [13583] [depth= 1] . ( 5421 sec) [ -81868.1655] [13585] [depth= 5] . ( 5436 sec) [ -81862.0634] [13584] [depth= 8] . ( 5439 sec) [ -81857.7937] [13584] [depth= 9] . ( 5444 sec) [ -81850.7791] [13584] [depth= 14] . ( 5451 sec) [ -81847.0907] [13584] [depth= 3] . ( 5460 sec) [ -81846.9443] [13584] [depth= 1] . ( 5466 sec) [ -81845.7654] [13583] [depth= 2] . ( 5469 sec) [ -81839.8887] [13582] [depth= 1] . ( 5479 sec) [ -81839.6915] [13582] [depth= 1] . ( 5482 sec) [ -81839.1591] [13582] [depth= 1] . ( 5486 sec) [ -81838.8655] [13582] [depth= 1] . ( 5489 sec) [ -81838.1141] [13582] [depth= 1] . ( 5493 sec) [ -81833.4686] [13581] [depth= 1] . ( 5501 sec) [ -81829.7896] [13581] [depth= 6] . ( 5504 sec) [ -81829.5375] [13581] [depth= 3] . ( 5506 sec) [ -81822.1420] [13579] [depth= 1] . ( 5516 sec) [ -81821.9445] [13579] [depth= 1] . ( 5520 sec) [ -81821.7219] [13579] [depth= 1] . ( 5523 sec) [ -81819.8199] [13579] [depth= 1] . ( 5532 sec) [ -81819.1983] [13580] [depth= 2] . ( 5535 sec) [ -81815.6337] [13579] [depth= 2] . ( 5543 sec) [ -81811.6598] [13578] [depth= 2] . ( 5552 sec) [ -81810.6887] [13577] [depth= 1] . ( 5555 sec) [ -81810.4969] [13578] [depth= 1] . ( 5559 sec) [ -81804.8426] [13577] [depth= 14] . ( 5562 sec) [ -81803.1191] [13577] [depth= 1] . ( 5574 sec) [ -81801.1125] [13577] [depth= 2] . ( 5577 sec) [ -81796.5895] [13576] [depth= 2] . ( 5581 sec) [ -81794.5723] [13575] [depth= 8] . ( 5585 sec) [ -81793.6682] [13575] [depth= 1] . ( 5595 sec) [ -81793.5885] [13575] [depth= 1] . ( 5623 sec) [ -81792.7046] [13574] [depth= 4] . ( 5626 sec) [ -81791.9481] [13570] [depth= 1] . ( 5634 sec) [ -81789.7105] [13568] [depth= 1] . ( 5640 sec) [ -81780.6619] [13565] [depth= 1] . ( 5652 sec) [ -81780.0225] [13565] [depth= 1] . ( 5655 sec) [ -81779.6798] [13564] [depth= 1] . ( 5658 sec) [ -81779.4679] [13563] [depth= 1] . ( 5672 sec) [ -81778.2703] [13563] [depth= 1] . ( 5675 sec) [ -81776.9070] [13563] [depth= 1] . ( 5679 sec) [ -81776.1022] [13563] [depth= 1] . ( 5703 sec) [ -81770.3917] [13562] [depth= 1] . ( 5708 sec) [ -81765.5637] [13561] [depth= 1] . ( 5710 sec) [ -81764.5276] [13560] [depth= 1] . ( 5713 sec) [ -81763.8331] [13559] [depth= 3] . ( 5719 sec) [ -81763.4806] [13558] [depth= 4] . ( 5726 sec) [ -81762.4229] [13559] [depth= 20] . ( 5729 sec) [ -81752.7528] [13558] [depth= 2] . ( 5731 sec) [ -81752.3544] [13558] [depth= 1] . ( 5740 sec) [ -81749.1123] [13558] [depth= 2] . ( 5753 sec) [ -81748.2086] [13556] [depth= 2] . ( 5769 sec) [ -81747.7511] [13556] [depth= 1] . ( 5776 sec) [ -81746.6028] [13556] [depth= 1] . ( 5780 sec) [ -81746.3480] [13557] [depth= 1] . ( 5786 sec) [ -81745.5209] [13557] [depth= 1] . ( 5803 sec) [ -81738.9178] [13556] [depth= 1] . ( 5807 sec) [ -81735.5655] [13555] [depth= 1] . ( 5812 sec) [ -81735.3437] [13554] [depth= 1] . ( 5822 sec) [ -81730.0441] [13553] [depth= 1] . ( 5840 sec) [ -81729.6317] [13553] [depth= 1] . ( 5842 sec) [ -81729.5677] [13553] [depth= 1] . ( 5848 sec) [ -81727.2091] [13550] [depth= 1] . ( 5851 sec) [ -81726.7840] [13551] [depth= 1] . ( 5862 sec) [ -81726.6221] [13551] [depth= 1] . ( 5868 sec) [ -81726.2934] [13551] [depth= 1] . ( 5871 sec) [ -81725.4002] [13551] [depth= 5] . ( 5875 sec) [ -81724.3975] [13553] [depth= 2] . ( 5878 sec) [ -81721.5157] [13551] [depth= 2] . ( 5881 sec) [ -81720.6694] [13551] [depth= 1] . ( 5884 sec) [ -81718.2761] [13551] [depth= 1] . ( 5888 sec) [ -81718.1502] [13555] [depth= 2] . ( 5891 sec) [ -81696.8061] [13547] [depth= 15] . ( 5897 sec) [ -81695.8357] [13547] [depth= 1] . ( 5901 sec) [ -81695.4875] [13548] [depth= 4] . ( 5904 sec) [ -81693.1225] [13548] [depth= 3] . ( 5907 sec) [ -81692.0901] [13548] [depth= 1] . ( 5911 sec) [ -81691.7408] [13547] [depth= 2] . ( 5913 sec) [ -81691.6584] [13547] [depth= 1] . ( 5916 sec) [ -81690.9608] [13547] [depth= 1] . ( 5934 sec) [ -81690.2175] [13547] [depth= 1] . ( 5964 sec) [ -81689.3180] [13547] [depth= 1] . ( 5971 sec) [ -81685.7528] [13546] [depth= 4] . ( 5974 sec) [ -81685.1145] [13547] [depth= 5] . ( 5984 sec) [ -81683.0351] [13548] [depth= 1] . ( 6002 sec) [ -81680.0137] [13548] [depth= 1] . ( 6005 sec) [ -81678.4372] [13548] [depth= 1] . ( 6023 sec) [ -81674.2246] [13549] [depth= 2] . ( 6026 sec) [ -81668.0765] [13547] [depth= 24] . ( 6051 sec) [ -81668.0060] [13551] [depth= 13] . ( 6055 sec) [ -81666.1097] [13551] [depth= 3] . ( 6057 sec) [ -81665.2258] [13551] [depth= 1] . ( 6061 sec) [ -81664.9519] [13553] [depth= 5] . ( 6073 sec) [ -81663.8728] [13553] [depth= 1] . ( 6075 sec) [ -81658.4049] [13552] [depth= 1] . ( 6078 sec) [ -81657.7493] [13552] [depth= 1] . ( 6081 sec) [ -81656.4093] [13552] [depth= 1] . ( 6085 sec) [ -81656.3300] [13552] [depth= 2] . ( 6087 sec) [ -81656.0622] [13552] [depth= 1] . ( 6101 sec) [ -81652.5609] [13550] [depth= 20] . ( 6103 sec) [ -81652.3851] [13550] [depth= 1] . ( 6105 sec) [ -81645.1778] [13548] [depth= 1] . ( 6109 sec) [ -81645.1297] [13547] [depth= 6] . ( 6112 sec) [ -81642.1429] [13546] [depth= 1] . ( 6117 sec) [ -81631.4674] [13544] [depth= 3] . ( 6120 sec) [ -81628.6760] [13544] [depth= 1] . ( 6133 sec) [ -81627.5104] [13544] [depth= 1] . ( 6144 sec) [ -81626.6962] [13544] [depth= 4] . ( 6153 sec) [ -81623.6345] [13543] [depth= 6] . ( 6161 sec) [ -81622.9300] [13544] [depth= 1] . ( 6174 sec) [ -81621.3356] [13544] [depth= 2] . ( 6178 sec) [ -81615.6059] [13545] [depth= 14] . ( 6183 sec) [ -81614.5560] [13544] [depth= 1] . ( 6192 sec) [ -81614.0205] [13544] [depth= 1] . ( 6195 sec) [ -81613.0834] [13544] [depth= 1] . ( 6198 sec) [ -81610.4863] [13544] [depth= 1] . ( 6205 sec) [ -81610.1754] [13546] [depth= 7] . ( 6208 sec) [ -81603.1178] [13545] [depth= 7] . ( 6216 sec) [ -81600.8303] [13545] [depth= 7] . ( 6219 sec) [ -81596.8053] [13547] [depth= 1] . ( 6222 sec) [ -81593.7900] [13545] [depth= 1] . ( 6247 sec) [ -81591.8046] [13544] [depth= 13] . ( 6251 sec) [ -81591.0287] [13543] [depth= 1] . ( 6254 sec) [ -81590.9857] [13543] [depth= 1] . ( 6256 sec) [ -81590.2430] [13543] [depth= 1] . ( 6259 sec) [ -81589.0658] [13543] [depth= 1] . ( 6261 sec) [ -81588.8270] [13544] [depth= 1] . ( 6271 sec) [ -81587.7158] [13545] [depth= 18] . ( 6274 sec) [ -81587.6951] [13546] [depth= 1] . ( 6297 sec) [ -81584.6591] [13544] [depth= 11] . ( 6304 sec) [ -81584.1769] [13546] [depth= 1] . ( 6337 sec) [ -81580.7865] [13545] [depth= 2] . ( 6351 sec) [ -81580.2704] [13543] [depth= 2] . ( 6355 sec) [ -81574.5420] [13542] [depth= 5] . ( 6360 sec) [ -81567.9811] [13541] [depth= 2] . ( 6363 sec) [ -81553.9264] [13539] [depth= 2] . ( 6366 sec) [ -81553.7695] [13539] [depth= 2] . ( 6375 sec) [ -81553.3006] [13539] [depth= 1] . ( 6379 sec) [ -81551.0976] [13538] [depth= 8] . ( 6387 sec) [ -81542.8334] [13536] [depth= 1] . ( 6402 sec) [ -81542.3546] [13536] [depth= 1] . ( 6427 sec) [ -81541.2381] [13535] [depth= 1] . ( 6435 sec) [ -81535.8526] [13534] [depth= 10] . ( 6438 sec) [ -81529.8392] [13532] [depth= 1] . ( 6442 sec) [ -81524.6424] [13530] [depth= 1] . ( 6456 sec) [ -81522.6820] [13530] [depth= 10] . ( 6458 sec) [ -81520.7380] [13530] [depth= 2] . ( 6472 sec) [ -81520.4116] [13530] [depth= 2] . ( 6475 sec) [ -81510.8480] [13527] [depth= 2] . ( 6484 sec) [ -81505.9394] [13525] [depth= 1] . ( 6491 sec) [ -81504.3770] [13524] [depth= 1] . ( 6504 sec) [ -81500.2609] [13525] [depth= 1] . ( 6512 sec) [ -81500.2179] [13525] [depth= 2] . ( 6516 sec) [ -81494.0385] [13524] [depth= 2] . ( 6519 sec) [ -81492.6448] [13524] [depth= 1] . ( 6539 sec) [ -81490.0660] [13522] [depth= 6] . ( 6543 sec) [ -81489.8736] [13522] [depth= 1] . ( 6545 sec) [ -81489.3835] [13522] [depth= 1] . ( 6561 sec) [ -81489.0852] [13523] [depth= 1] . ( 6571 sec) [ -81489.0531] [13523] [depth= 1] . ( 6574 sec) [ -81488.6128] [13523] [depth= 1] . ( 6597 sec) [ -81467.0534] [13517] [depth= 19] . ( 6600 sec) [ -81460.3309] [13516] [depth= 14] . ( 6618 sec) [ -81459.6208] [13516] [depth= 1] . ( 6625 sec) [ -81456.3551] [13515] [depth= 1] . ( 6631 sec) [ -81455.9074] [13515] [depth= 1] . ( 6638 sec) [ -81455.3764] [13515] [depth= 1] . ( 6646 sec) [ -81445.3635] [13514] [depth= 16] . ( 6652 sec) [ -81445.2529] [13514] [depth= 1] . ( 6655 sec) [ -81445.2124] [13514] [depth= 1] . ( 6663 sec) [ -81441.7426] [13514] [depth= 1] . ( 6666 sec) [ -81438.8907] [13513] [depth= 6] . ( 6669 sec) [ -81430.5163] [13511] [depth= 4] . ( 6673 sec) [ -81426.7134] [13512] [depth= 1] . ( 6676 sec) [ -81425.3487] [13511] [depth= 1] . ( 6679 sec) [ -81425.1990] [13512] [depth= 1] . ( 6681 sec) [ -81423.7544] [13511] [depth= 1] . ( 6688 sec) [ -81422.6905] [13511] [depth= 3] . ( 6695 sec) [ -81422.5324] [13511] [depth= 1] . ( 6699 sec) [ -81420.3490] [13511] [depth= 1] . ( 6704 sec) [ -81420.0164] [13511] [depth= 1] . ( 6706 sec) [ -81419.8941] [13511] [depth= 1] . ( 6719 sec) [ -81419.2374] [13512] [depth= 1] . ( 6726 sec) [ -81414.5379] [13512] [depth= 17] . ( 6740 sec) [ -81414.2903] [13513] [depth= 2] . ( 6748 sec) [ -81412.4262] [13512] [depth= 1] . ( 6753 sec) [ -81410.0682] [13513] [depth= 33] . ( 6788 sec) [ -81409.7902] [13513] [depth= 1] . ( 6791 sec) [ -81409.4979] [13513] [depth= 1] . ( 6794 sec) [ -81401.6497] [13511] [depth= 14] . ( 6801 sec) [ -81401.4856] [13511] [depth= 1] . ( 6813 sec) [ -81401.4559] [13512] [depth= 2] . ( 6817 sec) [ -81401.4448] [13511] [depth= 3] . ( 6819 sec) [ -81399.5668] [13510] [depth= 1] . ( 6822 sec) [ -81391.6183] [13507] [depth= 19] . ( 6832 sec) [ -81391.6020] [13507] [depth= 1] . ( 6837 sec) [ -81386.2340] [13505] [depth= 1] . ( 6854 sec) [ -81385.7133] [13506] [depth= 1] . ( 6859 sec) [ -81381.7456] [13508] [depth= 21] . ( 6886 sec) [ -81381.2598] [13508] [depth= 1] . ( 6890 sec) [ -81378.1999] [13510] [depth= 10] . ( 6893 sec) [ -81376.5465] [13508] [depth= 10] . ( 6896 sec) [ -81376.3665] [13508] [depth= 1] . ( 6910 sec) [ -81375.2769] [13509] [depth= 1] . ( 6913 sec) [ -81374.5540] [13508] [depth= 1] . ( 6925 sec) [ -81374.1489] [13508] [depth= 15] . ( 6928 sec) [ -81372.6207] [13507] [depth= 3] . ( 6931 sec) [ -81370.9374] [13506] [depth= 2] . ( 6955 sec) [ -81369.4157] [13506] [depth= 1] . ( 6958 sec) [ -81369.3766] [13506] [depth= 1] . ( 6961 sec) [ -81369.0876] [13506] [depth= 1] . ( 6968 sec) [ -81368.9663] [13506] [depth= 1] . ( 6970 sec) [ -81360.6905] [13503] [depth= 3] . ( 6973 sec) [ -81360.4786] [13503] [depth= 1] . ( 6976 sec) [ -81355.6540] [13501] [depth= 1] . ( 6984 sec) [ -81354.5136] [13500] [depth= 1] . ( 6986 sec) [ -81353.3086] [13500] [depth= 1] . ( 6989 sec) [ -81351.2979] [13498] [depth= 5] . ( 6993 sec) [ -81348.8201] [13497] [depth= 1] . ( 6996 sec) [ -81348.1760] [13497] [depth= 3] . ( 7004 sec) [ -81347.8974] [13497] [depth= 2] . ( 7008 sec) [ -81347.5795] [13497] [depth= 1] . ( 7010 sec) [ -81345.9057] [13499] [depth= 1] . ( 7017 sec) [ -81345.8127] [13499] [depth= 1] . ( 7024 sec) [ -81343.2531] [13498] [depth= 4] . ( 7027 sec) [ -81341.8934] [13498] [depth= 4] . ( 7033 sec) [ -81341.5680] [13498] [depth= 2] . ( 7038 sec) [ -81341.5012] [13498] [depth= 2] . ( 7041 sec) [ -81340.9721] [13499] [depth= 1] . ( 7044 sec) [ -81337.5346] [13497] [depth= 2] . ( 7060 sec) [ -81334.9182] [13497] [depth= 2] . ( 7066 sec) [ -81334.0859] [13497] [depth= 1] . ( 7073 sec) [ -81333.7524] [13497] [depth= 1] . ( 7075 sec) [ -81333.6175] [13497] [depth= 1] . ( 7080 sec) [ -81331.0401] [13498] [depth= 4] . ( 7084 sec) [ -81330.6505] [13499] [depth= 1] . ( 7087 sec) [ -81330.4846] [13500] [depth= 2] . ( 7098 sec) [ -81328.0059] [13500] [depth= 1] . ( 7101 sec) [ -81322.8844] [13499] [depth= 26] . ( 7105 sec) [ -81322.0800] [13500] [depth= 1] . ( 7116 sec) [ -81292.6847] [13490] [depth= 21] . ( 7119 sec) [ -81290.1557] [13490] [depth= 18] . ( 7122 sec) [ -81285.2097] [13490] [depth= 28] . ( 7132 sec) [ -81280.6698] [13488] [depth= 1] . ( 7142 sec) [ -81278.8223] [13490] [depth= 21] . ( 7147 sec) [ -81277.3938] [13489] [depth= 2] . ( 7153 sec) [ -81275.5644] [13489] [depth= 1] . ( 7157 sec) [ -81273.4579] [13489] [depth= 1] . ( 7159 sec) [ -81273.0766] [13490] [depth= 1] . ( 7170 sec) [ -81268.5661] [13491] [depth= 4] . ( 7173 sec) [ -81267.8177] [13491] [depth= 2] . ( 7176 sec) [ -81266.3955] [13491] [depth= 2] . ( 7180 sec) [ -81266.2278] [13492] [depth= 1] . ( 7195 sec) [ -81263.5824] [13491] [depth= 6] . ( 7205 sec) [ -81252.8115] [13490] [depth= 2] . ( 7220 sec) [ -81250.2190] [13490] [depth= 1] . ( 7223 sec) [ -81246.6682] [13489] [depth= 1] . ( 7227 sec) [ -81246.5721] [13489] [depth= 1] . ( 7234 sec) [ -81244.9218] [13489] [depth= 1] . ( 7252 sec) [ -81243.3829] [13488] [depth= 11] . ( 7266 sec) [ -81241.2916] [13487] [depth= 7] . ( 7277 sec) [ -81240.9986] [13487] [depth= 1] . ( 7281 sec) [ -81238.1373] [13486] [depth= 2] . ( 7286 sec) [ -81236.1854] [13486] [depth= 4] . ( 7290 sec) [ -81235.6172] [13485] [depth= 4] . ( 7293 sec) [ -81233.3081] [13484] [depth= 2] . ( 7300 sec) [ -81230.4074] [13484] [depth= 1] . ( 7325 sec) [ -81210.6878] [13479] [depth= 1] . ( 7329 sec) [ -81196.5126] [13476] [depth= 1] . ( 7331 sec) [ -81195.8887] [13476] [depth= 1] . ( 7334 sec) [ -81195.8702] [13477] [depth= 1] . ( 7347 sec) [ -81194.3435] [13480] [depth= 35] . ( 7350 sec) [ -81191.6701] [13479] [depth= 1] . ( 7354 sec) [ -81189.8855] [13476] [depth= 8] . ( 7364 sec) [ -81189.2585] [13476] [depth= 3] . ( 7367 sec) [ -81187.9884] [13476] [depth= 1] . ( 7380 sec) [ -81182.4810] [13476] [depth= 1] . ( 7382 sec) [ -81180.9150] [13476] [depth= 1] . ( 7389 sec) [ -81178.5083] [13475] [depth= 2] . ( 7392 sec) [ -81178.3078] [13475] [depth= 1] . ( 7399 sec) [ -81178.1667] [13476] [depth= 1] . ( 7402 sec) [ -81170.3623] [13473] [depth= 1] . ( 7409 sec) [ -81168.1405] [13474] [depth= 2] . ( 7413 sec) [ -81165.4398] [13473] [depth= 1] . ( 7441 sec) [ -81152.1247] [13470] [depth= 9] . ( 7444 sec) [ -81149.6964] [13470] [depth= 1] . ( 7447 sec) [ -81146.5932] [13470] [depth= 4] . ( 7460 sec) [ -81145.2093] [13470] [depth= 10] . ( 7473 sec) [ -81142.9793] [13470] [depth= 7] . ( 7483 sec) [ -81139.3124] [13469] [depth= 1] . ( 7498 sec) [ -81137.4499] [13469] [depth= 1] . ( 7510 sec) [ -81134.9850] [13469] [depth= 1] . ( 7525 sec) [ -81134.8135] [13468] [depth= 1] . ( 7556 sec) [ -81132.2239] [13467] [depth= 2] . ( 7559 sec) [ -81128.2306] [13466] [depth= 5] . ( 7567 sec) [ -81126.4491] [13464] [depth= 1] . ( 7570 sec) [ -81125.1227] [13463] [depth= 1] . ( 7587 sec) [ -81124.8909] [13463] [depth= 1] . ( 7589 sec) [ -81122.6323] [13461] [depth= 3] . ( 7600 sec) [ -81122.5167] [13461] [depth= 1] . ( 7609 sec) [ -81122.2030] [13464] [depth= 1] . ( 7612 sec) [ -81120.7581] [13460] [depth= 10] . ( 7623 sec) [ -81119.0596] [13459] [depth= 1] . ( 7626 sec) [ -81109.3862] [13458] [depth= 2] . ( 7643 sec) [ -81108.5857] [13457] [depth= 1] . ( 7650 sec) [ -81108.5333] [13457] [depth= 1] . ( 7674 sec) [ -81108.4905] [13457] [depth= 1] . ( 7681 sec) [ -81108.1956] [13459] [depth= 1] . ( 7702 sec) [ -81106.3942] [13459] [depth= 1] . ( 7720 sec) [ -81106.2541] [13459] [depth= 2] . ( 7728 sec) [ -81105.5433] [13459] [depth= 3] . ( 7732 sec) [ -81102.6689] [13458] [depth= 1] . ( 7755 sec) [ -81102.1860] [13459] [depth= 1] . ( 7758 sec) [ -81101.5665] [13459] [depth= 1] . ( 7762 sec) [ -81101.4050] [13459] [depth= 1] . ( 7769 sec) [ -81100.7657] [13459] [depth= 1] . ( 7774 sec) [ -81098.9357] [13459] [depth= 21] . ( 7779 sec) [ -81098.7896] [13459] [depth= 1] . ( 7818 sec) [ -81098.1674] [13457] [depth= 2] . ( 7825 sec) [ -81096.8793] [13458] [depth= 2] . ( 7828 sec) [ -81093.3067] [13458] [depth= 1] . ( 7831 sec) [ -81093.0928] [13458] [depth= 1] . ( 7835 sec) [ -81092.8305] [13460] [depth= 4] . ( 7837 sec) [ -81092.3809] [13460] [depth= 1] . ( 7845 sec) [ -81092.0300] [13460] [depth= 2] . ( 7851 sec) [ -81091.2365] [13460] [depth= 1] . ( 7862 sec) [ -81091.1978] [13460] [depth= 1] . ( 7875 sec) [ -81086.5336] [13459] [depth= 2] . ( 7885 sec) [ -81086.2684] [13460] [depth= 6] . ( 7897 sec) [ -81085.0262] [13459] [depth= 2] . ( 7904 sec) [ -81084.8987] [13459] [depth= 1] . ( 7906 sec) [ -81084.6846] [13459] [depth= 1] . ( 7912 sec) [ -81082.8101] [13459] [depth= 1] . ( 7939 sec) [ -81082.7191] [13460] [depth= 1] . ( 7942 sec) [ -81082.6074] [13460] [depth= 1] . ( 7951 sec) [ -81078.1240] [13459] [depth= 1] . ( 7982 sec) [ -81076.8368] [13461] [depth= 1] . ( 7985 sec) [ -81073.7959] [13459] [depth= 1] . ( 7994 sec) [ -81072.9476] [13459] [depth= 3] . ( 7997 sec) [ -81072.6989] [13459] [depth= 1] . ( 8004 sec) [ -81068.3587] [13457] [depth= 2] . ( 8016 sec) [ -81065.9817] [13458] [depth= 7] . ( 8026 sec) [ -81064.0982] [13458] [depth= 2] . ( 8029 sec) [ -81063.8894] [13458] [depth= 2] . ( 8033 sec) [ -81058.9480] [13459] [depth= 6] . ( 8036 sec) [ -81053.4771] [13458] [depth= 1] . ( 8055 sec) [ -81053.3732] [13458] [depth= 1] . ( 8061 sec) [ -81052.3379] [13457] [depth= 2] . ( 8074 sec) [ -81052.0816] [13457] [depth= 1] . ( 8108 sec) [ -81049.9911] [13457] [depth= 1] . ( 8141 sec) [ -81049.2967] [13458] [depth= 1] . ( 8159 sec) [ -81046.7878] [13457] [depth= 1] . ( 8164 sec) [ -81045.0858] [13455] [depth= 3] . ( 8167 sec) [ -81044.7839] [13455] [depth= 1] . ( 8174 sec) [ -81042.8635] [13455] [depth= 12] . ( 8178 sec) [ -81042.6703] [13456] [depth= 24] . ( 8182 sec) [ -81038.9998] [13456] [depth= 1] . ( 8185 sec) [ -81034.2978] [13455] [depth= 1] . ( 8194 sec) [ -81034.1794] [13454] [depth= 1] . ( 8197 sec) [ -81032.9302] [13454] [depth= 5] . ( 8201 sec) [ -81030.5742] [13454] [depth= 1] . ( 8206 sec) [ -81017.7443] [13451] [depth= 18] . ( 8222 sec) [ -81016.5199] [13451] [depth= 1] . ( 8225 sec) [ -81013.5818] [13451] [depth= 1] . ( 8229 sec) [ -81011.7847] [13452] [depth= 17] . ( 8241 sec) [ -81011.7027] [13452] [depth= 1] . ( 8247 sec) [ -81008.4105] [13452] [depth= 1] . ( 8250 sec) [ -81006.7962] [13452] [depth= 1] . ( 8256 sec) [ -81006.6473] [13452] [depth= 1] . ( 8262 sec) [ -81006.4930] [13452] [depth= 1] . ( 8270 sec) [ -81003.0164] [13450] [depth= 1] . ( 8273 sec) [ -81002.9987] [13450] [depth= 1] . ( 8276 sec) [ -80998.3325] [13449] [depth= 1] . ( 8280 sec) [ -80998.1792] [13449] [depth= 1] . ( 8358 sec) [ -80998.1661] [13449] [depth= 1] . ( 8362 sec) [ -80991.1246] [13447] [depth= 2] . ( 8368 sec) [ -80991.0606] [13447] [depth= 1] . ( 8371 sec) [ -80985.5484] [13447] [depth= 7] . ( 8374 sec) [ -80982.0411] [13447] [depth= 7] . ( 8379 sec) [ -80981.7373] [13448] [depth= 5] . ( 8381 sec) [ -80979.4922] [13448] [depth= 1] . ( 8383 sec) [ -80975.9922] [13447] [depth= 2] . ( 8386 sec) [ -80975.5878] [13447] [depth= 2] . ( 8391 sec) [ -80973.1923] [13447] [depth= 1] . ( 8394 sec) [ -80970.5791] [13446] [depth= 2] . ( 8396 sec) [ -80970.2120] [13446] [depth= 1] . ( 8399 sec) [ -80959.5814] [13444] [depth= 4] . ( 8403 sec) [ -80957.6098] [13444] [depth= 2] . ( 8413 sec) [ -80949.3052] [13442] [depth= 1] . ( 8419 sec) [ -80945.6330] [13441] [depth= 1] . ( 8424 sec) [ -80942.1559] [13441] [depth= 3] . ( 8430 sec) [ -80941.7969] [13441] [depth= 1] . ( 8461 sec) [ -80940.8862] [13441] [depth= 1] . ( 8464 sec) [ -80940.4568] [13441] [depth= 1] . ( 8467 sec) [ -80939.1387] [13440] [depth= 1] . ( 8475 sec) [ -80938.5736] [13441] [depth= 1] . ( 8479 sec) [ -80938.4362] [13441] [depth= 1] . ( 8482 sec) [ -80937.5190] [13439] [depth= 1] . ( 8490 sec) [ -80936.4604] [13439] [depth= 1] . ( 8493 sec) [ -80936.2886] [13439] [depth= 2] . ( 8502 sec) [ -80935.8847] [13439] [depth= 1] . ( 8506 sec) [ -80932.2109] [13436] [depth= 1] . ( 8523 sec) [ -80930.0866] [13436] [depth= 1] . ( 8533 sec) [ -80929.4246] [13436] [depth= 1] . ( 8537 sec) [ -80929.3017] [13436] [depth= 1] . ( 8545 sec) [ -80929.2443] [13436] [depth= 1] . ( 8570 sec) [ -80928.0966] [13436] [depth= 16] . ( 8573 sec) [ -80927.4003] [13436] [depth= 2] . ( 8593 sec) [ -80926.7328] [13436] [depth= 1] . ( 8596 sec) [ -80926.5821] [13436] [depth= 1] . ( 8598 sec) [ -80926.4116] [13436] [depth= 1] . ( 8613 sec) [ -80925.9426] [13438] [depth= 3] . ( 8631 sec) [ -80925.4510] [13438] [depth= 1] . ( 8635 sec) [ -80925.4014] [13438] [depth= 1] . ( 8639 sec) [ -80918.9640] [13438] [depth= 4] . ( 8643 sec) [ -80918.7770] [13438] [depth= 1] . ( 8646 sec) [ -80918.6625] [13437] [depth= 12] . ( 8673 sec) [ -80918.0139] [13437] [depth= 1] . ( 8694 sec) [ -80917.9056] [13436] [depth= 1] . ( 8697 sec) [ -80917.6381] [13437] [depth= 1] . ( 8699 sec) [ -80916.2695] [13436] [depth= 1] . ( 8711 sec) [ -80912.6278] [13436] [depth= 1] . ( 8718 sec) [ -80909.4736] [13436] [depth= 1] . ( 8721 sec) [ -80908.2781] [13435] [depth= 12] . ( 8760 sec) [ -80908.2369] [13435] [depth= 1] . ( 8768 sec) [ -80906.4148] [13436] [depth= 1] . ( 8771 sec) [ -80905.3116] [13435] [depth= 1] . ( 8775 sec) [ -80904.4666] [13435] [depth= 1] . ( 8778 sec) [ -80903.2891] [13434] [depth= 7] . ( 8790 sec) [ -80903.1908] [13434] [depth= 2] . ( 8799 sec) [ -80902.2009] [13436] [depth= 14] . ( 8803 sec) [ -80902.1456] [13437] [depth= 2] . ( 8860 sec) [ -80900.8836] [13437] [depth= 1] . ( 8863 sec) [ -80900.2710] [13437] [depth= 1] . ( 8891 sec) [ -80895.2718] [13436] [depth= 1] . ( 8902 sec) [ -80895.2425] [13436] [depth= 1] . ( 8906 sec) [ -80894.1285] [13436] [depth= 1] . ( 8908 sec) [ -80894.0138] [13436] [depth= 1] . ( 8911 sec) [ -80893.5933] [13436] [depth= 1] . ( 8914 sec) [ -80893.5043] [13436] [depth= 1] . ( 8943 sec) [ -80893.1061] [13436] [depth= 1] . ( 8945 sec) [ -80892.6969] [13436] [depth= 1] . ( 8965 sec) [ -80892.0902] [13436] [depth= 1] . ( 8968 sec) [ -80889.7345] [13435] [depth= 2] . ( 8978 sec) [ -80889.6739] [13435] [depth= 1] . ( 8988 sec) [ -80889.6379] [13434] [depth= 2] . ( 8998 sec) [ -80889.3308] [13434] [depth= 11] . ( 9002 sec) [ -80886.5233] [13434] [depth= 2] . ( 9018 sec) [ -80882.7907] [13433] [depth= 2] . ( 9022 sec) [ -80882.6674] [13434] [depth= 2] . ( 9034 sec) [ -80882.3020] [13434] [depth= 1] . ( 9077 sec) [ -80878.0701] [13434] [depth= 17] . ( 9089 sec) [ -80877.7620] [13434] [depth= 1] . ( 9107 sec) [ -80875.3901] [13434] [depth= 2] . ( 9109 sec) [ -80875.2380] [13434] [depth= 1] . ( 9112 sec) [ -80874.0849] [13434] [depth= 1] . ( 9116 sec) [ -80872.9366] [13434] [depth= 5] . ( 9119 sec) [ -80870.5295] [13433] [depth= 9] . ( 9123 sec) [ -80863.9172] [13432] [depth= 3] . ( 9137 sec) [ -80862.9207] [13432] [depth= 1] . ( 9140 sec) [ -80862.7338] [13432] [depth= 1] . ( 9143 sec) [ -80862.0716] [13432] [depth= 1] . ( 9148 sec) [ -80862.0458] [13432] [depth= 1] . ( 9162 sec) [ -80862.0201] [13432] [depth= 1] . ( 9166 sec) [ -80860.8945] [13432] [depth= 1] . ( 9169 sec) [ -80860.7155] [13432] [depth= 1] . ( 9241 sec) [ -80860.5833] [13432] [depth= 1] . ( 9244 sec) [ -80860.5508] [13432] [depth= 1] . ( 9246 sec) [ -80860.5143] [13432] [depth= 1] . ( 9249 sec) [ -80856.9160] [13430] [depth= 8] . ( 9308 sec) [ -80856.7989] [13431] [depth= 1] . ( 9330 sec) [ -80856.7395] [13431] [depth= 1] . ( 9334 sec) [ -80850.9256] [13430] [depth= 1] . ( 9337 sec) [ -80850.5040] [13430] [depth= 1] . ( 9351 sec) [ -80848.2654] [13429] [depth= 2] . ( 9355 sec) [ -80848.0762] [13429] [depth= 1] . ( 9359 sec) [ -80847.3256] [13430] [depth= 1] . ( 9362 sec) [ -80846.0370] [13429] [depth= 1] . ( 9393 sec) [ -80838.8425] [13426] [depth= 8] . ( 9402 sec) [ -80837.6619] [13426] [depth= 4] . ( 9404 sec) [ -80837.6045] [13426] [depth= 1] . ( 9407 sec) [ -80837.4818] [13426] [depth= 1] . ( 9411 sec) [ -80837.4420] [13426] [depth= 1] . ( 9467 sec) [ -80837.4037] [13426] [depth= 1] . ( 9496 sec) [ -80837.1553] [13426] [depth= 2] . ( 9549 sec) [ -80836.9895] [13427] [depth= 9] . ( 9619 sec) [ -80836.6278] [13428] [depth= 1] . ( 9622 sec) [ -80831.7115] [13427] [depth= 1] . ( 9626 sec) [ -80831.4291] [13427] [depth= 2] . ( 9630 sec) [ -80831.0162] [13427] [depth= 1] . ( 9632 sec) [ -80828.5815] [13426] [depth= 2] . ( 9680 sec) [ -80828.0054] [13427] [depth= 1] . ( 9707 sec) [ -80825.4951] [13426] [depth= 3] . ( 9989 sec) [ -80825.1504] [13426] [depth= 2] . ( 9991 sec) [ -80825.1303] [13426] [depth= 3] . ( 9994 sec) [ -80824.4442] [13426] [depth= 4] . (10032 sec) [ -80821.8985] [13426] [depth= 2] . (10035 sec) [ -80821.8859] [13426] [depth= 2] . (10046 sec) [ -80821.8598] [13427] [depth= 5] . (10060 sec) [ -80819.7546] [13427] [depth= 22] . (10088 sec) [ -80814.9029] [13425] [depth= 1] . (10114 sec) [ -80814.8207] [13425] [depth= 1] . (10117 sec) [ -80814.6528] [13425] [depth= 1] . (10142 sec) [ -80811.3920] [13425] [depth= 6] . (10225 sec) [ -80802.7747] [13422] [depth= 10] . (10228 sec) [ -80802.3055] [13422] [depth= 1] . (10231 sec) [ -80802.2177] [13422] [depth= 1] . (10234 sec) [ -80801.7442] [13423] [depth= 3] . (10237 sec) [ -80794.2694] [13421] [depth= 9] . (10240 sec) [ -80793.9337] [13421] [depth= 1] . (10242 sec) [ -80793.8548] [13421] [depth= 1] . (10246 sec) [ -80793.8013] [13421] [depth= 1] . (10249 sec) [ -80793.3236] [13421] [depth= 6] . (10329 sec) [ -80793.0687] [13421] [depth= 1] . (10332 sec) [ -80792.9311] [13421] [depth= 1] . (10336 sec) [ -80786.1870] [13420] [depth= 2] . (10339 sec) [ -80781.3108] [13419] [depth= 1] . (10361 sec) [ -80781.2751] [13419] [depth= 2] . (10364 sec) [ -80781.2093] [13419] [depth= 1] . (10367 sec) [ -80781.1571] [13419] [depth= 1] . (10370 sec) [ -80779.0941] [13420] [depth= 1] . (10400 sec) [ -80775.4280] [13419] [depth= 1] . (10404 sec) [ -80769.4038] [13419] [depth= 9] . (10407 sec) [ -80768.6674] [13419] [depth= 2] . (10441 sec) [ -80767.5127] [13419] [depth= 1] . (10447 sec) [ -80755.9380] [13417] [depth= 11] . (10562 sec) [ -80755.8128] [13416] [depth= 2] . (10564 sec) [ -80755.7415] [13416] [depth= 1] . (10567 sec) [ -80754.8440] [13416] [depth= 2] . (10570 sec) [ -80754.6944] [13416] [depth= 1] . (10586 sec) [ -80753.9231] [13416] [depth= 1] . (10589 sec) [ -80753.4379] [13416] [depth= 1] . (10592 sec) [ -80752.6423] [13416] [depth= 2] . (10596 sec) [ -80752.5032] [13416] [depth= 3] . (10599 sec) [ -80752.1976] [13416] [depth= 1] . (10602 sec) [ -80751.9792] [13416] [depth= 1] . (10652 sec) [ -80748.3643] [13416] [depth= 4] . (10681 sec) [ -80746.9904] [13416] [depth= 1] . (10685 sec) [ -80746.9069] [13416] [depth= 1] . (10746 sec) [ -80746.3758] [13416] [depth= 1] . (10748 sec) [ -80746.3431] [13416] [depth= 1] . (10751 sec) [ -80745.6404] [13416] [depth= 1] . (10755 sec) [ -80741.8879] [13416] [depth= 11] . (10758 sec) [ -80739.6188] [13416] [depth= 2] . (10878 sec) [ -80739.5840] [13416] [depth= 2] . (10885 sec) [ -80739.5322] [13416] [depth= 3] . (10887 sec) [ -80739.5082] [13416] [depth= 1] . (10890 sec) [ -80739.3490] [13416] [depth= 1] . (10917 sec) [ -80739.0486] [13416] [depth= 7] . (10920 sec) [ -80734.7312] [13416] [depth= 18] . (10924 sec) [ -80733.6945] [13416] [depth= 1] . (10927 sec) [ -80733.5020] [13416] [depth= 1] . (10938 sec) [ -80732.9199] [13416] [depth= 3] . (10942 sec) [ -80731.8431] [13416] [depth= 1] . (10945 sec) [ -80731.7510] [13416] [depth= 1] . (11076 sec) [ -80731.3471] [13416] [depth= 1] . (11098 sec) [ -80730.5002] [13416] [depth= 2] . (11163 sec) [ -80729.6717] [13417] [depth= 12] . (11183 sec) [ -80728.2509] [13417] [depth= 19] . (11258 sec) [ -80726.6616] [13417] [depth= 6] . (11261 sec) [ -80724.1304] [13417] [depth= 6] . (11304 sec) [ -80724.0636] [13417] [depth= 1] . (11329 sec) [ -80723.8203] [13418] [depth= 3] . (11331 sec) [ -80723.3466] [13418] [depth= 1] . (11335 sec) [ -80715.8000] [13417] [depth= 29] . (11418 sec) [ -80711.9145] [13416] [depth= 1] . (11421 sec) [ -80711.8332] [13416] [depth= 1] . (11432 sec) [ -80711.8133] [13416] [depth= 1] . (11436 sec) [ -80711.6809] [13416] [depth= 1] . (11445 sec) [ -80709.5639] [13416] [depth= 13] . (11448 sec) [ -80708.1840] [13416] [depth= 1] . (11486 sec) [ -80706.0465] [13415] [depth= 2] . (11489 sec) [ -80705.4312] [13415] [depth= 1] . (11499 sec) [ -80703.9442] [13415] [depth= 19] . (11563 sec) [ -80703.8717] [13416] [depth= 19] . (11566 sec) [ -80698.7974] [13415] [depth= 1] . (11569 sec) [ -80696.5457] [13415] [depth= 1] . (11606 sec) [ -80695.7352] [13415] [depth= 1] . (11609 sec) [ -80695.2505] [13415] [depth= 1] . (11827 sec) [ -80695.1732] [13415] [depth= 10] . (11830 sec) [ -80690.1108] [13414] [depth= 1] . (11835 sec) [ -80690.0498] [13414] [depth= 2] . (11912 sec) [ -80686.0935] [13413] [depth= 2] . (12043 sec) [ -80685.9611] [13413] [depth= 3] . (12054 sec) [ -80685.4607] [13413] [depth= 1] . (12072 sec) [ -80684.3169] [13413] [depth= 2] . (12119 sec) [ -80683.8324] [13414] [depth= 13] . (12139 sec) [ -80683.7605] [13414] [depth= 1] . (12143 sec) [ -80681.5932] [13414] [depth= 15] . (12146 sec) [ -80680.9593] [13414] [depth= 1] . (12149 sec) [ -80680.6595] [13414] [depth= 2] . (12153 sec) [ -80680.2774] [13414] [depth= 2] . (12243 sec) [ -80679.2612] [13414] [depth= 1] . (12246 sec) [ -80679.0052] [13414] [depth= 1] . (12296 sec) [ -80675.5876] [13413] [depth= 15] . (12316 sec) [ -80674.5763] [13413] [depth= 1] . (12319 sec) [ -80672.4820] [13412] [depth= 2] . (12322 sec) [ -80671.3636] [13412] [depth= 1] . (12326 sec) [ -80667.5759] [13411] [depth= 5] . (12329 sec) [ -80666.5454] [13411] [depth= 1] . (12332 sec) [ -80666.4002] [13411] [depth= 7] . (12336 sec) [ -80665.1887] [13412] [depth= 3] . (12339 sec) [ -80664.1745] [13411] [depth= 3] . (12342 sec) [ -80663.9415] [13411] [depth= 1] . (12346 sec) [ -80663.6570] [13411] [depth= 1] . (12362 sec) [ -80662.0997] [13410] [depth= 20] . (12365 sec) [ -80660.5054] [13410] [depth= 13] . (12369 sec) [ -80660.3365] [13410] [depth= 4] . (12372 sec) [ -80654.0410] [13409] [depth= 19] . (12407 sec) [ -80653.0064] [13408] [depth= 1] . (12505 sec) [ -80652.8578] [13409] [depth= 1] . (12507 sec) [ -80652.5550] [13408] [depth= 1] . (12576 sec) [ -80651.5462] [13408] [depth= 1] . (12579 sec) [ -80651.2462] [13408] [depth= 1] . (12606 sec) [ -80651.0324] [13408] [depth= 1] . (12609 sec) [ -80650.9260] [13408] [depth= 1] . (12635 sec) [ -80650.2321] [13408] [depth= 4] . (12638 sec) [ -80650.2192] [13408] [depth= 3] . (12641 sec) [ -80643.6725] [13407] [depth= 1] . (12645 sec) [ -80643.6612] [13407] [depth= 3] . (12648 sec) [ -80640.2546] [13406] [depth= 3] . (12651 sec) [ -80637.3578] [13406] [depth= 3] . (12710 sec) [ -80637.2596] [13406] [depth= 1] . (12714 sec) [ -80633.4740] [13405] [depth= 1] . (12718 sec) [ -80633.0504] [13405] [depth= 1] . (12721 sec) [ -80629.6283] [13404] [depth= 2] . (12725 sec) [ -80629.5173] [13404] [depth= 1] . (12728 sec) [ -80629.4346] [13404] [depth= 1] . (12748 sec) [ -80629.2061] [13405] [depth= 3] . (12751 sec) [ -80629.0888] [13405] [depth= 1] . (12754 sec) [ -80629.0165] [13405] [depth= 1] . (12795 sec) [ -80627.9134] [13405] [depth= 1] . (12799 sec) [ -80627.0196] [13405] [depth= 10] . (12802 sec) [ -80626.4364] [13405] [depth= 1] . (12884 sec) [ -80625.8365] [13406] [depth= 1] . (12888 sec) [ -80625.2772] [13405] [depth= 1] . (12891 sec) [ -80620.5176] [13404] [depth= 7] . (12943 sec) [ -80620.3797] [13404] [depth= 1] . (13072 sec) [ -80618.8147] [13404] [depth= 3] . (13076 sec) [ -80618.3327] [13404] [depth= 1] . (13079 sec) [ -80611.3764] [13403] [depth= 12] . (13082 sec) [ -80604.5747] [13402] [depth= 9] . (13177 sec) [ -80601.9083] [13402] [depth= 16] . (13181 sec) [ -80601.4946] [13402] [depth= 1] . (13276 sec) [ -80598.4336] [13401] [depth= 2] . (13279 sec) [ -80598.2508] [13401] [depth= 1] . (13318 sec) [ -80598.0990] [13401] [depth= 23] . (13321 sec) [ -80586.6931] [13399] [depth= 19] . (13325 sec) [ -80586.6433] [13399] [depth= 1] . (13328 sec) [ -80586.6243] [13399] [depth= 1] . (13346 sec) [ -80585.1651] [13399] [depth= 2] . (13349 sec) [ -80579.1634] [13398] [depth= 1] . (13352 sec) [ -80578.9674] [13398] [depth= 1] . (13458 sec) [ -80578.5829] [13398] [depth= 2] . (13461 sec) [ -80578.1621] [13398] [depth= 1] . (13465 sec) [ -80578.0755] [13398] [depth= 1] . (13468 sec) [ -80575.4263] [13398] [depth= 6] . (13599 sec) [ -80574.8203] [13398] [depth= 1] . (13660 sec) [ -80572.9462] [13398] [depth= 1] . (13664 sec) [ -80571.4946] [13398] [depth= 1] . (13667 sec) [ -80571.1815] [13398] [depth= 1] . (13670 sec) [ -80570.6521] [13398] [depth= 1] . (13775 sec) [ -80570.5868] [13398] [depth= 2] . (13779 sec) [ -80569.0876] [13398] [depth= 20] . (13782 sec) [ -80567.3800] [13398] [depth= 1] . (13785 sec) [ -80565.1310] [13398] [depth= 17] . (13789 sec) [ -80562.9968] [13398] [depth= 19] . (13792 sec) [ -80562.7103] [13398] [depth= 1] . (13845 sec) [ -80557.4896] [13397] [depth= 2] . (13848 sec) [ -80552.4332] [13396] [depth= 21] . (13850 sec) [ -80552.4108] [13396] [depth= 1] . (13853 sec) [ -80552.3012] [13396] [depth= 2] . (13857 sec) [ -80552.1669] [13396] [depth= 1] . (13860 sec) [ -80551.5105] [13397] [depth= 22] . (13862 sec) [ -80550.3600] [13397] [depth= 1] . (13865 sec) [ -80548.1010] [13396] [depth= 22] . (13880 sec) [ -80546.4155] [13396] [depth= 1] . (13911 sec) [ -80544.5537] [13396] [depth= 21] . (13914 sec) [ -80543.5435] [13396] [depth= 1] . (13917 sec) [ -80543.4093] [13396] [depth= 1] . (14026 sec) [ -80537.5925] [13395] [depth= 1] . (14104 sec) [ -80536.6230] [13396] [depth= 9] . (14107 sec) [ -80526.3787] [13394] [depth= 9] . (14160 sec) [ -80526.3349] [13394] [depth= 1] . (14163 sec) [ -80525.9730] [13394] [depth= 2] . (14167 sec) [ -80525.9606] [13394] [depth= 2] . (14203 sec) [ -80522.7241] [13393] [depth= 2] . (14206 sec) [ -80520.7181] [13393] [depth= 1] . (14209 sec) [ -80520.1647] [13393] [depth= 6] . (14242 sec) [ -80519.0722] [13393] [depth= 8] . (14245 sec) [ -80519.0550] [13393] [depth= 3] . (14247 sec) [ -80518.9334] [13393] [depth= 1] . (14271 sec) [ -80517.4922] [13393] [depth= 1] . (14275 sec) [ -80517.4046] [13393] [depth= 1] . (14278 sec) [ -80516.6008] [13393] [depth= 3] . (14281 sec) [ -80509.9894] [13392] [depth= 17] . (14321 sec) [ -80508.5163] [13392] [depth= 1] . (14424 sec) [ -80508.3978] [13392] [depth= 1] . (14428 sec) [ -80508.3414] [13392] [depth= 1] . (14431 sec) [ -80507.7111] [13392] [depth= 1] . (14434 sec) [ -80506.3155] [13392] [depth= 3] . (14491 sec) [ -80501.3053] [13391] [depth= 3] . (14521 sec) [ -80498.1635] [13391] [depth= 18] . (14541 sec) [ -80497.8737] [13391] [depth= 1] . (14544 sec) [ -80497.2066] [13391] [depth= 1] . (14548 sec) [ -80496.0348] [13391] [depth= 5] . (14551 sec) [ -80496.0153] [13391] [depth= 1] . (14554 sec) [ -80495.9479] [13391] [depth= 1] . (14586 sec) [ -80493.0867] [13392] [depth= 6] . (14589 sec) [ -80490.9957] [13391] [depth= 13] . (14593 sec) [ -80490.9180] [13391] [depth= 1] . (14629 sec) [ -80490.7845] [13391] [depth= 1] . (14632 sec) [ -80488.6356] [13391] [depth= 1] . (14634 sec) [ -80488.5047] [13391] [depth= 1] . (14732 sec) [ -80487.3906] [13391] [depth= 1] . (14787 sec) [ -80486.9698] [13391] [depth= 2] . (14790 sec) [ -80485.5335] [13391] [depth= 1] . (14794 sec) [ -80485.4762] [13391] [depth= 2] . (14797 sec) [ -80484.7367] [13391] [depth= 1] . (14800 sec) [ -80484.6194] [13391] [depth= 1] . (14858 sec) [ -80482.6575] [13391] [depth= 1] . (14861 sec) [ -80482.2609] [13391] [depth= 2] . (14864 sec) [ -80481.8253] [13391] [depth= 3] . (14868 sec) [ -80480.6143] [13391] [depth= 1] . (14871 sec) [ -80480.1783] [13391] [depth= 2] . (14874 sec) [ -80476.1369] [13391] [depth= 1] . (14877 sec) [ -80472.2201] [13390] [depth= 19] . (14881 sec) [ -80471.7950] [13390] [depth= 1] . (14884 sec) [ -80471.3626] [13390] [depth= 1] . (14886 sec) [ -80471.3179] [13390] [depth= 1] . (14914 sec) [ -80471.2552] [13390] [depth= 1] . (14917 sec) [ -80470.5516] [13390] [depth= 2] . (14921 sec) [ -80470.5195] [13390] [depth= 2] . (15072 sec) [ -80469.4983] [13390] [depth= 1] . (15075 sec) [ -80469.2139] [13390] [depth= 2] . (15078 sec) [ -80467.7656] [13390] [depth= 2] . (15151 sec) [ -80467.5478] [13390] [depth= 1] . (15154 sec) [ -80467.3325] [13390] [depth= 1] . (15156 sec) [ -80467.2710] [13390] [depth= 1] . (15230 sec) [ -80467.0808] [13390] [depth= 1] . (15234 sec) [ -80465.7219] [13389] [depth= 2] . (15299 sec) [ -80465.5622] [13389] [depth= 1] . (15302 sec) [ -80465.5091] [13389] [depth= 1] . (15304 sec) [ -80465.4929] [13389] [depth= 1] . (15307 sec) [ -80464.7359] [13389] [depth= 1] . (15310 sec) [ -80463.9065] [13389] [depth= 9] . (15314 sec) [ -80463.4586] [13388] [depth= 4] . (15317 sec) [ -80453.1041] [13385] [depth= 13] . (15382 sec) [ -80447.6654] [13385] [depth= 1] . (15479 sec) [ -80447.2815] [13385] [depth= 1] . (15483 sec) [ -80446.7524] [13385] [depth= 1] . (15486 sec) [ -80445.6200] [13385] [depth= 1] . (15489 sec) [ -80444.4027] [13385] [depth= 1] . (15492 sec) [ -80444.1861] [13385] [depth= 1] . (15512 sec) [ -80444.0271] [13385] [depth= 1] . (15516 sec) [ -80443.9234] [13385] [depth= 1] . (15578 sec) [ -80443.8038] [13385] [depth= 1] . (15665 sec) [ -80443.2846] [13385] [depth= 1] . (15765 sec) [ -80442.5027] [13385] [depth= 16] . (15826 sec) [ -80442.4633] [13385] [depth= 2] . (15866 sec) [ -80442.2709] [13385] [depth= 1] . (15869 sec) [ -80441.7605] [13385] [depth= 1] . (15873 sec) [ -80440.9906] [13385] [depth= 1] . (15876 sec) [ -80440.8724] [13385] [depth= 1] . (15879 sec) [ -80440.4953] [13385] [depth= 1] . (15979 sec) [ -80440.4808] [13385] [depth= 1] . (16019 sec) [ -80440.4010] [13385] [depth= 1] . (16083 sec) [ -80438.4968] [13385] [depth= 3] . (16109 sec) [ -80438.4245] [13385] [depth= 2] . (16174 sec) [ -80438.3739] [13385] [depth= 3] . (16178 sec) [ -80438.2125] [13385] [depth= 2] . (16305 sec) [ -80436.2597] [13386] [depth= 19] . (16308 sec) [ -80435.6474] [13386] [depth= 1] . (16429 sec) [ -80435.5574] [13386] [depth= 3] . (16460 sec) [ -80435.4618] [13386] [depth= 1] . (16534 sec) [ -80434.9295] [13386] [depth= 6] . (16536 sec) [ -80434.1107] [13386] [depth= 1] . (16575 sec) [ -80432.9668] [13386] [depth= 1] . (16645 sec) [ -80432.9366] [13386] [depth= 1] . (16649 sec) [ -80432.3804] [13386] [depth= 1] . (16653 sec) [ -80432.3543] [13386] [depth= 4] . (16655 sec) [ -80432.3133] [13386] [depth= 1] . (16658 sec) [ -80432.3026] [13386] [depth= 2] . (16660 sec) [ -80432.2658] [13386] [depth= 1] . (16691 sec) [ -80432.1853] [13386] [depth= 1] . (16694 sec) [ -80431.7039] [13386] [depth= 1] . (16697 sec) [ -80431.3653] [13386] [depth= 1] . (16702 sec) [ -80431.0527] [13386] [depth= 2] . (16705 sec) [ -80430.9726] [13386] [depth= 2] . (16708 sec) [ -80430.9409] [13386] [depth= 1] . (16854 sec) [ -80430.5523] [13386] [depth= 1] . (16918 sec) [ -80430.3882] [13386] [depth= 1] . (16921 sec) [ -80430.3154] [13386] [depth= 1] . (16927 sec) [ -80430.3048] [13386] [depth= 2] . (16930 sec) [ -80429.7119] [13386] [depth= 1] . (16933 sec) [ -80429.2603] [13386] [depth= 1] . (16937 sec) [ -80429.2488] [13386] [depth= 1] . (16969 sec) [ -80429.1624] [13387] [depth= 2] . (16972 sec) [ -80428.9257] [13386] [depth= 2] . (17040 sec) [ -80428.5991] [13386] [depth= 2] . (17044 sec) [ -80428.5055] [13386] [depth= 1] . (17047 sec) [ -80428.4063] [13386] [depth= 1] . (17050 sec) [ -80428.3685] [13386] [depth= 8] . (17053 sec) [ -80427.9328] [13386] [depth= 3] . (17096 sec) [ -80427.8830] [13386] [depth= 1] . (17099 sec) [ -80427.1926] [13386] [depth= 2] . (17103 sec) [ -80427.0733] [13386] [depth= 1] . (17139 sec) [ -80424.8350] [13386] [depth= 1] . (17143 sec) [ -80424.7607] [13386] [depth= 1] . (17172 sec) [ -80424.4715] [13386] [depth= 1] . (17175 sec) [ -80424.3398] [13386] [depth= 1] . (17179 sec) [ -80423.9768] [13386] [depth= 2] . (17182 sec) [ -80423.9540] [13386] [depth= 3] . (17185 sec) [ -80423.7058] [13386] [depth= 1] . (17188 sec) [ -80423.6739] [13386] [depth= 3] . (17192 sec) [ -80417.5658] [13385] [depth= 1] . (17195 sec) [ -80416.5277] [13385] [depth= 1] . (17197 sec) [ -80416.3884] [13385] [depth= 1] . (17200 sec) [ -80416.1821] [13385] [depth= 1] . (17203 sec) [ -80416.1596] [13385] [depth= 3] . (17295 sec) [ -80415.1638] [13385] [depth= 1] . (17299 sec) [ -80414.6047] [13385] [depth= 1] . (17301 sec) [ -80414.5298] [13385] [depth= 1] . (17304 sec) [ -80414.0757] [13385] [depth= 1] . (17307 sec) [ -80413.7053] [13385] [depth= 1] . (17310 sec) [ -80411.7511] [13385] [depth= 1] . (17314 sec) [ -80409.0662] [13385] [depth= 7] . (17351 sec) [ -80408.1922] [13385] [depth= 1] . (17354 sec) [ -80408.1387] [13385] [depth= 1] . (17358 sec) [ -80407.7982] [13385] [depth= 1] . (17361 sec) [ -80407.7269] [13385] [depth= 1] . (17364 sec) [ -80407.5242] [13385] [depth= 6] . (17368 sec) [ -80407.3216] [13385] [depth= 4] . (17449 sec) [ -80407.0130] [13385] [depth= 2] . (17499 sec) [ -80406.9330] [13385] [depth= 1] . (17564 sec) [ -80404.9930] [13385] [depth= 18] . (17566 sec) [ -80404.6658] [13385] [depth= 1] . (17569 sec) [ -80398.2876] [13384] [depth= 6] . (17602 sec) [ -80398.2287] [13384] [depth= 2] . (17605 sec) [ -80397.6430] [13383] [depth= 4] . (17620 sec) [ -80397.1930] [13383] [depth= 1] . (17644 sec) [ -80397.1276] [13383] [depth= 2] . (17647 sec) [ -80396.9274] [13383] [depth= 2] . (17714 sec) [ -80396.7860] [13383] [depth= 1] . (17717 sec) [ -80396.2597] [13382] [depth= 14] . (17721 sec) [ -80396.2413] [13382] [depth= 1] . (17724 sec) [ -80396.1458] [13382] [depth= 2] . (17728 sec) [ -80395.9882] [13382] [depth= 1] . (17788 sec) [ -80395.9758] [13382] [depth= 2] . (17791 sec) [ -80395.9648] [13382] [depth= 1] . (17797 sec) [ -80395.9507] [13382] [depth= 2] . (17866 sec) [ -80395.8793] [13382] [depth= 4] . (17868 sec) [ -80395.8368] [13382] [depth= 1] . (17943 sec) [ -80395.6963] [13383] [depth= 8] . (17946 sec) [ -80395.6317] [13383] [depth= 1] . (17949 sec) [ -80394.8280] [13383] [depth= 1] . (17978 sec) [ -80393.2177] [13384] [depth= 1] . (17980 sec) [ -80393.1598] [13384] [depth= 1] . (17983 sec) [ -80393.1245] [13384] [depth= 1] . (18022 sec) [ -80392.9227] [13384] [depth= 4] . (18066 sec) [ -80392.8599] [13384] [depth= 1] . (18099 sec) [ -80392.7607] [13384] [depth= 2] . (18106 sec) [ -80392.2128] [13384] [depth= 1] . (18109 sec) [ -80391.8540] [13384] [depth= 1] . (18111 sec) [ -80391.8416] [13384] [depth= 1] . (18152 sec) [ -80391.7312] [13384] [depth= 2] . (18156 sec) [ -80391.7117] [13384] [depth= 1] . (18159 sec) [ -80391.5120] [13384] [depth= 1] . (18162 sec) [ -80391.2387] [13384] [depth= 1] . (18164 sec) [ -80391.1608] [13384] [depth= 1] . (18168 sec) [ -80391.0676] [13384] [depth= 1] . (18171 sec) [ -80389.4403] [13384] [depth= 2] . (18175 sec) [ -80388.5590] [13384] [depth= 1] . (18178 sec) [ -80388.5104] [13384] [depth= 2] . (18206 sec) [ -80388.2001] [13384] [depth= 1] . (18209 sec) [ -80385.1660] [13384] [depth= 2] . (18211 sec) [ -80385.0996] [13384] [depth= 1] . (18214 sec) [ -80385.0757] [13384] [depth= 1] . (18218 sec) [ -80383.7458] [13384] [depth= 1] . (18284 sec) [ -80383.6272] [13384] [depth= 1] . (18362 sec) [ -80383.5834] [13384] [depth= 1] . (18365 sec) [ -80383.4629] [13384] [depth= 2] . (18369 sec) [ -80383.3885] [13384] [depth= 2] . (18372 sec) [ -80382.2256] [13384] [depth= 3] . (18376 sec) [ -80382.0196] [13384] [depth= 1] . (18479 sec) [ -80381.9425] [13384] [depth= 2] . (18577 sec) [ -80381.6299] [13384] [depth= 17] . (18581 sec) [ -80381.5147] [13384] [depth= 1] . (18584 sec) [ -80381.4840] [13384] [depth= 2] . (18587 sec) [ -80381.4553] [13384] [depth= 1] . (18591 sec) [ -80381.1306] [13384] [depth= 1] . (18594 sec) [ -80381.0814] [13384] [depth= 1] . (18634 sec) [ -80381.0418] [13384] [depth= 5] . (18672 sec) [ -80380.6866] [13384] [depth= 1] . (18675 sec) [ -80380.0879] [13384] [depth= 1] . (18748 sec) [ -80379.7678] [13384] [depth= 1] . (18752 sec) [ -80379.7394] [13384] [depth= 1] . (18755 sec) [ -80379.5579] [13384] [depth= 3] . (18759 sec) [ -80379.5470] [13384] [depth= 1] . (18763 sec) [ -80379.2754] [13384] [depth= 14] . (18766 sec) [ -80369.2855] [13382] [depth= 4] . (18770 sec) [ -80369.2272] [13382] [depth= 1] . (18772 sec) [ -80364.6123] [13381] [depth= 2] . (18795 sec) [ -80363.9738] [13381] [depth= 1] . (18832 sec) [ -80363.9139] [13381] [depth= 1] . (18900 sec) [ -80363.7872] [13381] [depth= 1] . (18904 sec) [ -80363.6415] [13381] [depth= 1] . (18908 sec) [ -80363.5559] [13381] [depth= 2] . (18948 sec) [ -80363.5215] [13381] [depth= 1] . (18989 sec) [ -80363.4313] [13381] [depth= 3] . (19127 sec) [ -80363.1349] [13381] [depth= 1] . (19131 sec) [ -80363.0721] [13381] [depth= 1] . (19173 sec) [ -80362.9390] [13381] [depth= 1] . (19177 sec) [ -80362.8324] [13381] [depth= 2] . (19180 sec) [ -80360.8324] [13381] [depth= 14] . (19184 sec) [ -80360.7424] [13381] [depth= 3] . (19187 sec) [ -80360.3680] [13381] [depth= 14] . (19190 sec) [ -80359.3961] [13381] [depth= 12] . (19194 sec) [ -80356.5438] [13380] [depth= 5] . (19263 sec) [ -80356.1518] [13380] [depth= 11] . (19266 sec) [ -80354.2076] [13380] [depth= 2] . (19268 sec) [ -80354.1748] [13380] [depth= 1] . (19304 sec) [ -80354.0880] [13380] [depth= 1] . (19308 sec) [ -80354.0540] [13380] [depth= 1] . (19311 sec) [ -80349.4306] [13379] [depth= 10] . (19313 sec) [ -80349.0567] [13379] [depth= 1] . (19317 sec) [ -80348.0690] [13379] [depth= 8] . (19393 sec) [ -80345.9384] [13378] [depth= 12] . (19397 sec) [ -80345.3979] [13378] [depth= 1] . (19400 sec) [ -80344.0900] [13378] [depth= 4] . (19404 sec) [ -80343.6269] [13378] [depth= 1] . (19435 sec) [ -80343.2673] [13378] [depth= 1] . (19438 sec) [ -80342.1503] [13378] [depth= 1] . (19441 sec) [ -80341.5640] [13378] [depth= 1] . (19445 sec) [ -80341.4375] [13378] [depth= 1] . (19505 sec) [ -80341.3885] [13378] [depth= 1] . (19509 sec) [ -80341.3759] [13378] [depth= 1] . (19512 sec) [ -80338.5982] [13378] [depth= 15] . (19515 sec) [ -80338.2862] [13378] [depth= 3] . (19519 sec) [ -80338.2746] [13378] [depth= 3] . (19520 sec) [ -80338.2598] [13378] [depth= 1] . (19524 sec) [ -80337.7586] [13378] [depth= 3] . (19557 sec) [ -80337.7008] [13378] [depth= 3] . (19560 sec) [ -80337.4457] [13378] [depth= 1] . (19564 sec) [ -80337.4212] [13378] [depth= 1] . (19609 sec) [ -80336.8676] [13378] [depth= 13] . (19612 sec) [ -80336.7972] [13378] [depth= 3] . (19615 sec) [ -80336.6248] [13378] [depth= 1] . (19622 sec) [ -80335.4826] [13378] [depth= 1] . (19626 sec) [ -80335.4488] [13378] [depth= 1] . (19628 sec) [ -80332.9486] [13377] [depth= 1] . (19631 sec) [ -80332.8984] [13377] [depth= 1] . (19634 sec) [ -80332.5266] [13377] [depth= 2] . (19638 sec) [ -80330.5220] [13376] [depth= 23] . (19772 sec) [ -80330.2958] [13376] [depth= 3] . (19775 sec) [ -80330.2522] [13376] [depth= 1] . (19813 sec) [ -80330.1498] [13376] [depth= 1] . (19817 sec) [ -80330.1383] [13376] [depth= 4] . (19854 sec) [ -80330.0422] [13376] [depth= 1] . (19895 sec) [ -80329.7898] [13376] [depth= 1] . (19899 sec) [ -80329.7563] [13376] [depth= 2] . (19940 sec) [ -80329.7287] [13376] [depth= 3] . (19945 sec) [ -80329.6244] [13376] [depth= 2] . (20023 sec) [ -80329.5210] [13376] [depth= 1] . (20026 sec) [ -80329.4361] [13376] [depth= 1] . (20030 sec) [ -80328.9869] [13376] [depth= 1] . (20033 sec) [ -80328.9613] [13376] [depth= 2] . (20099 sec) [ -80328.9142] [13376] [depth= 1] . (20130 sec) [ -80328.7444] [13376] [depth= 1] . (20133 sec) [ -80328.2768] [13376] [depth= 1] . (20176 sec) [ -80328.1830] [13376] [depth= 1] . (20179 sec) [ -80328.1568] [13376] [depth= 1] . (20183 sec) [ -80328.0127] [13376] [depth= 1] . (20186 sec) [ -80327.6397] [13376] [depth= 1] . (20252 sec) [ -80327.6278] [13376] [depth= 3] . (20255 sec) [ -80326.9992] [13376] [depth= 7] . (20257 sec) [ -80326.9617] [13376] [depth= 1] . (20261 sec) [ -80326.5346] [13376] [depth= 1] . (20265 sec) [ -80326.5027] [13376] [depth= 1] . (20268 sec) [ -80326.1280] [13376] [depth= 1] . (20272 sec) [ -80326.1167] [13376] [depth= 2] . (20275 sec) [ -80326.0128] [13376] [depth= 1] . (20358 sec) [ -80326.0025] [13376] [depth= 2] . (20360 sec) [ -80325.9447] [13376] [depth= 1] . (20393 sec) [ -80324.8705] [13376] [depth= 1] . (20504 sec) [ -80324.6938] [13376] [depth= 4] . (20508 sec) [ -80324.6611] [13376] [depth= 2] . (20511 sec) [ -80324.4675] [13376] [depth= 6] . (20514 sec) [ -80324.2998] [13376] [depth= 1] . (20517 sec) [ -80324.1529] [13376] [depth= 2] . (20522 sec) [ -80322.8540] [13376] [depth= 3] . (20554 sec) [ -80317.3805] [13376] [depth= 14] . (20557 sec) [ -80316.8211] [13376] [depth= 3] . (20595 sec) [ -80316.7660] [13376] [depth= 1] . (20599 sec) [ -80316.7132] [13376] [depth= 1] . (20603 sec) [ -80316.6640] [13376] [depth= 2] . (20641 sec) [ -80316.5428] [13376] [depth= 1] . (20669 sec) [ -80316.4818] [13376] [depth= 1] . (20673 sec) [ -80316.3344] [13376] [depth= 1] . (20676 sec) [ -80316.2354] [13376] [depth= 2] . (20680 sec) [ -80316.1897] [13376] [depth= 4] . (20683 sec) [ -80315.9600] [13376] [depth= 1] . (20687 sec) [ -80315.9420] [13376] [depth= 1] . (20725 sec) [ -80315.6944] [13376] [depth= 1] . (20727 sec) [ -80315.4616] [13376] [depth= 1] . (20730 sec) [ -80315.4189] [13376] [depth= 1] . (20734 sec) [ -80311.3530] [13376] [depth= 15] . (20736 sec) [ -80311.3119] [13376] [depth= 1] . (20739 sec) [ -80311.1328] [13376] [depth= 15] . (20743 sec) [ -80311.0801] [13376] [depth= 3] . (20746 sec) [ -80310.9746] [13376] [depth= 8] . (20803 sec) [ -80310.9198] [13376] [depth= 1] . (20806 sec) [ -80310.9083] [13376] [depth= 3] . (20810 sec) [ -80310.7816] [13376] [depth= 4] . (20814 sec) [ -80310.7206] [13376] [depth= 7] . (20817 sec) [ -80310.6810] [13376] [depth= 2] . (20819 sec) [ -80310.6491] [13376] [depth= 2] . (20822 sec) [ -80310.5719] [13376] [depth= 1] . (20826 sec) [ -80310.4867] [13376] [depth= 3] . (20829 sec) [ -80310.4749] [13376] [depth= 4] . (20831 sec) [ -80310.4598] [13376] [depth= 1] . (20834 sec) [ -80309.8568] [13376] [depth= 1] . (20839 sec) [ -80308.8828] [13376] [depth= 1] . (20843 sec) [ -80308.6975] [13376] [depth= 2] . (20946 sec) [ -80308.5173] [13376] [depth= 3] . (20950 sec) [ -80307.0422] [13376] [depth= 17] . (20953 sec) [ -80306.5335] [13376] [depth= 1] . (20958 sec) [ -80306.5038] [13376] [depth= 1] . (20960 sec) [ -80306.3918] [13376] [depth= 1] . (20963 sec) [ -80306.3590] [13376] [depth= 1] . (20965 sec) [ -80306.3449] [13376] [depth= 1] . (20968 sec) [ -80306.2609] [13376] [depth= 1] . (20970 sec) [ -80306.2092] [13376] [depth= 1] . (20974 sec) [ -80306.1227] [13376] [depth= 1] . (21018 sec) [ -80306.0310] [13376] [depth= 1] . (21022 sec) [ -80306.0150] [13376] [depth= 3] . (21026 sec) [ -80305.8967] [13376] [depth= 1] . (21031 sec) [ -80305.8228] [13376] [depth= 19] . (21070 sec) [ -80305.5334] [13376] [depth= 2] . (21109 sec) [ -80305.4639] [13376] [depth= 7] . (21111 sec) [ -80305.2398] [13376] [depth= 2] . (21146 sec) [ -80304.7875] [13376] [depth= 1] . (21150 sec) [ -80304.7101] [13376] [depth= 1] . (21152 sec) [ -80304.6328] [13376] [depth= 1] . (21155 sec) [ -80304.4895] [13376] [depth= 1] . (21158 sec) [ -80304.3932] [13376] [depth= 2] . (21200 sec) [ -80298.9224] [13375] [depth= 1] . (21206 sec) [ -80298.5040] [13375] [depth= 1] . (21209 sec) [ -80298.4317] [13375] [depth= 2] . (21213 sec) [ -80298.4215] [13375] [depth= 2] . (21216 sec) [ -80293.2907] [13374] [depth= 15] . (21258 sec) [ -80291.3719] [13374] [depth= 2] . (21262 sec) [ -80290.5006] [13374] [depth= 1] . (21291 sec) [ -80290.4229] [13374] [depth= 6] . (21297 sec) [ -80290.0881] [13374] [depth= 1] . (21299 sec) [ -80290.0550] [13374] [depth= 1] . (21302 sec) [ -80290.0275] [13374] [depth= 2] . (21305 sec) [ -80289.9403] [13374] [depth= 1] . (21310 sec) [ -80289.8561] [13374] [depth= 2] . (21313 sec) [ -80289.4432] [13374] [depth= 1] . (21316 sec) [ -80289.4245] [13374] [depth= 1] . (21318 sec) [ -80289.2848] [13374] [depth= 1] . (21321 sec) [ -80289.1780] [13374] [depth= 3] . (21325 sec) [ -80289.1353] [13374] [depth= 2] . (21366 sec) [ -80289.0913] [13374] [depth= 2] . (21369 sec) [ -80288.9792] [13374] [depth= 1] . (21373 sec) [ -80288.5987] [13374] [depth= 10] . (21374 sec) [ -80288.4758] [13374] [depth= 2] . (21378 sec) [ -80288.4216] [13374] [depth= 1] . (21381 sec) [ -80288.4083] [13374] [depth= 3] . (21600 sec) [ -80288.2782] [13374] [depth= 2] . (21684 sec) [ -80288.2038] [13374] [depth= 4] . (21688 sec) [ -80288.0996] [13374] [depth= 1] . (21692 sec) [ -80288.0785] [13374] [depth= 4] . (21736 sec) [ -80288.0006] [13374] [depth= 3] . (21739 sec) [ -80287.9279] [13374] [depth= 3] . (21783 sec) [ -80287.6670] [13374] [depth= 1] . (21785 sec) [ -80287.5943] [13374] [depth= 1] . (21788 sec) [ -80287.5051] [13374] [depth= 3] . (21791 sec) [ -80287.1392] [13374] [depth= 2] . (21797 sec) [ -80287.0745] [13374] [depth= 2] . (21801 sec) [ -80286.9019] [13374] [depth= 1] . (21840 sec) [ -80286.8414] [13374] [depth= 2] . (21843 sec) [ -80285.7597] [13374] [depth= 2] . (21847 sec) [ -80285.7207] [13374] [depth= 2] . (21930 sec) [ -80285.7051] [13374] [depth= 4] . (21994 sec) [ -80285.6752] [13374] [depth= 6] . (21998 sec) [ -80284.6346] [13374] [depth= 1] . (22010 sec) [ -80284.6036] [13374] [depth= 5] . (22013 sec) [ -80284.3336] [13374] [depth= 1] . (22050 sec) [ -80284.1720] [13374] [depth= 2] . (22053 sec) [ -80284.1443] [13374] [depth= 5] . (22076 sec) [ -80284.1330] [13374] [depth= 3] . (22083 sec) [ -80283.9919] [13374] [depth= 2] . (22208 sec) [ -80283.1412] [13374] [depth= 2] . (22247 sec) [ -80283.1181] [13374] [depth= 2] . (22325 sec) [ -80283.0532] [13374] [depth= 2] . (22328 sec) [ -80282.9484] [13374] [depth= 3] . (22330 sec) [ -80282.8680] [13374] [depth= 1] . (22333 sec) [ -80282.8480] [13374] [depth= 3] . (22336 sec) [ -80282.1641] [13375] [depth= 26] . (22338 sec) [ -80281.4427] [13375] [depth= 1] . (22342 sec) [ -80281.3597] [13375] [depth= 3] . (22344 sec) [ -80281.3146] [13375] [depth= 3] . (22347 sec) [ -80281.2504] [13375] [depth= 5] . (22350 sec) [ -80281.1708] [13375] [depth= 1] . (22355 sec) [ -80281.1495] [13375] [depth= 2] . (22358 sec) [ -80281.0878] [13375] [depth= 4] . (22361 sec) [ -80281.0493] [13375] [depth= 1] . (22368 sec) [ -80280.9997] [13375] [depth= 1] . (22486 sec) [ -80280.9774] [13375] [depth= 1] . (22571 sec) [ -80280.8923] [13375] [depth= 3] . (22575 sec) [ -80280.7367] [13375] [depth= 4] . (22578 sec) [ -80280.7252] [13375] [depth= 3] . (22580 sec) [ -80280.6738] [13375] [depth= 1] . (22583 sec) [ -80280.5800] [13375] [depth= 1] . (22630 sec) [ -80280.5531] [13375] [depth= 1] . (22634 sec) [ -80280.4940] [13375] [depth= 7] . (22681 sec) [ -80280.4674] [13375] [depth= 1] . (22683 sec) [ -80280.4353] [13375] [depth= 1] . (22686 sec) [ -80280.4005] [13375] [depth= 3] . (22794 sec) [ -80279.8155] [13375] [depth= 22] . (22796 sec) [ -80279.7387] [13375] [depth= 2] . (22800 sec) [ -80279.7124] [13375] [depth= 2] . (22954 sec) [ -80279.6722] [13375] [depth= 5] . (22957 sec) [ -80279.6572] [13375] [depth= 2] . (23084 sec) [ -80279.4869] [13375] [depth= 8] . (23108 sec) [ -80279.4712] [13375] [depth= 6] . (23111 sec) [ -80279.4484] [13375] [depth= 7] . (23114 sec) [ -80279.4231] [13375] [depth= 3] . (23116 sec) [ -80279.3344] [13375] [depth= 3] . (23119 sec) [ -80279.2909] [13375] [depth= 8] . (23125 sec) [ -80276.7677] [13375] [depth= 12] . (23129 sec) [ -80276.7575] [13375] [depth= 1] . (23137 sec) [ -80276.6888] [13375] [depth= 6] . (23143 sec) [ -80274.8309] [13374] [depth= 1] . (23250 sec) [ -80274.6901] [13374] [depth= 1] . (23285 sec) [ -80274.6668] [13374] [depth= 2] . (23413 sec) [ -80274.6545] [13374] [depth= 2] . (23551 sec) [ -80274.6411] [13374] [depth= 28] . (23668 sec) [ -79624.3774] [Branch lengths ] . (23725 sec) [ -79617.9318] [GTR parameters ] . (23731 sec) [ -79606.6570] [Alpha ][ 0.583523] . (23737 sec) [ -79606.4346] [13378] [depth= 1] . (23740 sec) [ -79605.6351] [13374] [depth= 1] . (23755 sec) [ -79605.2309] [13373] [depth= 1] . (23759 sec) [ -79585.9476] [13377] [depth= 1] . (23766 sec) [ -79578.7983] [13373] [depth= 1] . (23769 sec) [ -79578.0452] [13374] [depth= 1] . (23773 sec) [ -79576.9866] [13377] [depth= 1] . (23777 sec) [ -79573.6687] [13374] [depth= 1] . (23785 sec) [ -79572.5089] [13372] [depth= 1] . (23793 sec) [ -79569.8407] [13375] [depth= 1] . (23805 sec) [ -79566.5045] [13377] [depth= 1] . (23813 sec) [ -79565.7274] [13377] [depth= 1] . (23816 sec) [ -79560.3896] [13371] [depth= 1] . (23863 sec) [ -79559.8308] [13371] [depth= 1] . (23878 sec) [ -79559.2107] [13370] [depth= 1] . (23889 sec) [ -79559.1065] [13370] [depth= 1] . (23892 sec) [ -79559.0138] [13370] [depth= 1] . (23948 sec) [ -79558.2812] [13369] [depth= 30] . (23992 sec) [ -79558.2357] [13369] [depth= 1] . (24011 sec) [ -79558.1248] [13369] [depth= 1] . (24046 sec) [ -79558.1145] [13369] [depth= 1] . (24144 sec) [ -79558.1045] [13369] [depth= 3] . (24150 sec) [ -79558.0906] [13369] [depth= 2] . (24178 sec) [ -79558.0769] [13369] [depth= 2] . (24208 sec) [ -79556.8215] [13369] [depth= 1] . (24239 sec) [ -79556.2227] [13369] [depth= 5] . (24280 sec) [ -79556.1997] [13369] [depth= 2] . (24309 sec) [ -79556.1826] [13369] [depth= 1] . (24335 sec) [ -79555.7621] [13370] [depth= 1] . (24349 sec) [ -79554.1791] [13369] [depth= 1] . (24401 sec) [ -79553.3251] [13368] [depth= 1] . (24427 sec) [ -79553.2574] [13368] [depth= 1] . (24438 sec) [ -79550.7083] [13368] [depth= 1] . (24459 sec) [ -79549.9160] [13368] [depth= 1] . (24514 sec) [ -79549.5420] [13367] [depth= 1] . (24522 sec) [ -79549.3976] [13367] [depth= 1] . (24525 sec) [ -79548.3787] [13365] [depth= 11] . (24609 sec) [ -79548.3679] [13365] [depth= 1] . (24640 sec) [ -79544.0904] [13363] [depth= 31] . (24643 sec) [ -79543.4030] [13362] [depth= 1] . (24681 sec) [ -79543.0510] [13361] [depth= 2] . (24687 sec) [ -79542.5769] [13360] [depth= 1] . (24754 sec) [ -79541.6804] [13361] [depth= 2] . (24849 sec) [ -79541.3850] [13360] [depth= 1] . (24867 sec) [ -79541.2772] [13360] [depth= 2] . (24953 sec) [ -79538.2190] [13359] [depth= 33] . (24973 sec) [ -79537.9575] [13359] [depth= 1] . (25006 sec) [ -79537.9453] [13359] [depth= 1] . (25025 sec) [ -79537.7398] [13358] [depth= 1] . (25047 sec) [ -79537.6816] [13358] [depth= 1] . (25066 sec) [ -79535.8090] [13358] [depth= 1] . (25097 sec) [ -79526.6496] [13357] [depth= 1] . (25107 sec) [ -79524.6462] [13356] [depth= 1] . (25113 sec) [ -79523.6508] [13355] [depth= 2] . (25120 sec) [ -79515.4807] [13351] [depth= 7] . (25163 sec) [ -79514.1366] [13350] [depth= 3] . (25171 sec) [ -79511.1723] [13349] [depth= 3] . (25182 sec) [ -79509.6782] [13348] [depth= 1] . (25209 sec) [ -79509.5352] [13348] [depth= 1] . (25227 sec) [ -79509.4335] [13348] [depth= 1] . (25246 sec) [ -79509.1697] [13350] [depth= 1] . (25251 sec) [ -79509.1376] [13350] [depth= 1] . (25268 sec) [ -79509.0532] [13350] [depth= 1] . (25271 sec) [ -79507.3423] [13349] [depth= 1] . (25278 sec) [ -79506.9556] [13349] [depth= 1] . (25291 sec) [ -79503.8950] [13347] [depth= 12] . (25299 sec) [ -79503.7854] [13347] [depth= 1] . (25308 sec) [ -79502.2950] [13348] [depth= 6] . (25311 sec) [ -79501.8198] [13348] [depth= 1] . (25324 sec) [ -79501.0330] [13347] [depth= 1] . (25327 sec) [ -79491.7922] [13343] [depth= 8] . (25332 sec) [ -79491.6966] [13343] [depth= 1] . (25359 sec) [ -79490.2817] [13342] [depth= 1] . (25362 sec) [ -79490.2224] [13342] [depth= 1] . (25368 sec) [ -79490.1910] [13342] [depth= 1] . (25371 sec) [ -79490.1491] [13342] [depth= 1] . (25396 sec) [ -79489.9802] [13342] [depth= 1] . (25399 sec) [ -79489.4540] [13342] [depth= 1] . (25402 sec) [ -79489.3174] [13342] [depth= 1] . (25410 sec) [ -79489.2007] [13342] [depth= 1] . (25493 sec) [ -79487.2170] [13339] [depth= 13] . (25540 sec) [ -79487.0801] [13339] [depth= 1] . (25545 sec) [ -79486.6080] [13338] [depth= 4] . (25568 sec) [ -79486.5973] [13338] [depth= 1] . (25584 sec) [ -79486.5621] [13338] [depth= 1] . (25615 sec) [ -79486.5395] [13338] [depth= 1] . (25629 sec) [ -79486.0979] [13338] [depth= 16] . (25653 sec) [ -79486.0741] [13338] [depth= 1] . (25686 sec) [ -79485.7140] [13338] [depth= 1] . (25714 sec) [ -79485.6264] [13338] [depth= 1] . (25717 sec) [ -79485.6112] [13339] [depth= 2] . (25727 sec) [ -79485.4082] [13339] [depth= 1] . (25731 sec) [ -79484.9370] [13338] [depth= 10] . (25761 sec) [ -79482.7896] [13338] [depth= 1] . (25780 sec) [ -79479.4026] [13337] [depth= 2] . (25789 sec) [ -79479.2184] [13337] [depth= 1] . (25793 sec) [ -79479.1920] [13337] [depth= 1] . (25803 sec) [ -79479.1677] [13337] [depth= 2] . (25812 sec) [ -79478.8504] [13337] [depth= 1] . (25815 sec) [ -79478.7674] [13337] [depth= 1] . (25828 sec) [ -79477.1701] [13337] [depth= 4] . (25837 sec) [ -79475.1813] [13336] [depth= 1] . (25859 sec) [ -79469.7676] [13336] [depth= 6] . (25879 sec) [ -79469.7498] [13336] [depth= 1] . (25886 sec) [ -79469.6943] [13336] [depth= 1] . (25890 sec) [ -79469.6569] [13336] [depth= 1] . (25905 sec) [ -79469.5958] [13336] [depth= 1] . (25922 sec) [ -79469.4175] [13336] [depth= 1] . (25928 sec) [ -79469.3712] [13336] [depth= 1] . (25992 sec) [ -79469.3287] [13336] [depth= 1] . (26013 sec) [ -79469.3159] [13336] [depth= 1] . (26024 sec) [ -79467.8915] [13337] [depth= 2] . (26048 sec) [ -79467.7243] [13338] [depth= 5] . (26055 sec) [ -79465.3272] [13338] [depth= 8] . (26068 sec) [ -79464.7713] [13338] [depth= 1] . (26077 sec) [ -79463.6517] [13337] [depth= 1] . (26123 sec) [ -79463.5988] [13337] [depth= 1] . (26125 sec) [ -79463.4732] [13337] [depth= 1] . (26134 sec) [ -79463.2797] [13336] [depth= 2] . (26149 sec) [ -79463.0610] [13336] [depth= 1] . (26152 sec) [ -79463.0020] [13337] [depth= 2] . (26212 sec) [ -79462.8901] [13337] [depth= 1] . (26254 sec) [ -79459.4767] [13336] [depth= 1] . (26286 sec) [ -79459.4574] [13336] [depth= 1] . (26289 sec) [ -79458.9478] [13336] [depth= 19] . (26293 sec) [ -79458.9078] [13336] [depth= 18] . (26304 sec) [ -79458.8079] [13336] [depth= 1] . (26306 sec) [ -79458.7116] [13335] [depth= 2] . (26313 sec) [ -79458.6281] [13335] [depth= 1] . (26336 sec) [ -79458.4253] [13335] [depth= 1] . (26351 sec) [ -79454.0080] [13335] [depth= 1] . (26359 sec) [ -79453.1349] [13335] [depth= 8] . (26363 sec) [ -79453.0435] [13334] [depth= 1] . (26394 sec) [ -79452.9748] [13334] [depth= 1] . (26398 sec) [ -79452.4864] [13334] [depth= 1] . (26407 sec) [ -79452.4668] [13334] [depth= 1] . (26415 sec) [ -79452.3697] [13334] [depth= 1] . (26425 sec) [ -79451.9795] [13333] [depth= 1] . (26439 sec) [ -79450.0119] [13335] [depth= 21] . (26462 sec) [ -79449.8081] [13334] [depth= 1] . (26475 sec) [ -79449.7882] [13335] [depth= 1] . (26482 sec) [ -79449.3013] [13334] [depth= 1] . (26486 sec) [ -79449.1845] [13334] [depth= 2] . (26517 sec) [ -79448.2021] [13335] [depth= 12] . (26522 sec) [ -79446.1330] [13336] [depth= 13] . (26573 sec) [ -79446.1121] [13336] [depth= 2] . (26611 sec) [ -79445.9499] [13336] [depth= 1] . (26668 sec) [ -79445.9126] [13336] [depth= 1] . (26685 sec) [ -79445.2815] [13336] [depth= 4] . (26709 sec) [ -79441.6558] [13334] [depth= 17] . (26715 sec) [ -79441.4977] [13334] [depth= 1] . (26745 sec) [ -79440.9624] [13335] [depth= 3] . (26750 sec) [ -79440.8962] [13335] [depth= 1] . (26765 sec) [ -79440.7954] [13336] [depth= 1] . (26771 sec) [ -79440.5858] [13336] [depth= 1] . (26794 sec) [ -79440.3665] [13337] [depth= 1] . (26797 sec) [ -79439.7166] [13336] [depth= 3] . (26847 sec) [ -79439.6313] [13336] [depth= 1] . (26863 sec) [ -79439.0386] [13335] [depth= 3] . (26890 sec) [ -79439.0192] [13335] [depth= 1] . (26941 sec) [ -79438.9156] [13335] [depth= 1] . (26973 sec) [ -79438.7579] [13335] [depth= 1] . (26980 sec) [ -79438.7192] [13335] [depth= 1] . (27018 sec) [ -79438.5774] [13336] [depth= 1] . (27038 sec) [ -79438.5297] [13336] [depth= 1] . (27114 sec) [ -79438.1716] [13334] [depth= 17] . (27164 sec) [ -79437.7615] [13336] [depth= 9] . (27170 sec) [ -79437.6156] [13336] [depth= 1] . (27240 sec) [ -79437.5889] [13336] [depth= 1] . (27256 sec) [ -79437.3247] [13337] [depth= 1] . (27274 sec) [ -79437.2230] [13337] [depth= 1] . (27301 sec) [ -79437.0708] [13337] [depth= 1] . (27358 sec) [ -79435.2398] [13336] [depth= 2] . (27393 sec) [ -79434.0999] [13334] [depth= 1] . (27396 sec) [ -79433.6409] [13334] [depth= 2] . (27417 sec) [ -79431.6966] [13335] [depth= 7] . (27448 sec) [ -79431.6049] [13335] [depth= 1] . (27456 sec) [ -79431.4752] [13335] [depth= 1] . (27459 sec) [ -79431.3504] [13335] [depth= 1] . (27474 sec) [ -79429.0843] [13334] [depth= 21] . (27479 sec) [ -79423.9448] [13331] [depth= 19] . (27545 sec) [ -79422.0458] [13330] [depth= 1] . (27552 sec) [ -79421.9576] [13330] [depth= 1] . (27572 sec) [ -79421.7757] [13330] [depth= 1] . (27596 sec) [ -79421.7627] [13330] [depth= 1] . (27613 sec) [ -79421.6299] [13329] [depth= 1] . (27616 sec) [ -79421.5174] [13329] [depth= 2] . (27624 sec) [ -79421.3457] [13329] [depth= 1] . (27631 sec) [ -79421.2514] [13330] [depth= 1] . (27634 sec) [ -79420.6669] [13330] [depth= 15] . (27702 sec) [ -79419.9105] [13331] [depth= 9] . (27714 sec) [ -79419.8335] [13331] [depth= 2] . (27721 sec) [ -79416.5971] [13332] [depth= 29] . (27724 sec) [ -79416.5865] [13332] [depth= 1] . (27770 sec) [ -79416.5268] [13332] [depth= 1] . (27811 sec) [ -79416.4552] [13332] [depth= 1] . (27824 sec) [ -79416.4257] [13332] [depth= 1] . (27829 sec) [ -79416.1858] [13332] [depth= 1] . (27834 sec) [ -79409.0406] [13329] [depth= 18] . (27854 sec) [ -79409.0090] [13329] [depth= 1] . (27863 sec) [ -79408.8782] [13329] [depth= 1] . (27866 sec) [ -79408.7604] [13329] [depth= 1] . (27870 sec) [ -79408.6549] [13329] [depth= 1] . (27874 sec) [ -79408.2243] [13329] [depth= 11] . (27886 sec) [ -79408.1793] [13330] [depth= 2] . (27943 sec) [ -79404.8653] [13329] [depth= 3] . (27962 sec) [ -79404.5929] [13329] [depth= 12] . (27965 sec) [ -79403.6239] [13328] [depth= 1] . (27976 sec) [ -79403.4907] [13328] [depth= 1] . (27979 sec) [ -79403.4626] [13328] [depth= 1] . (27989 sec) [ -79403.3011] [13328] [depth= 1] . (27993 sec) [ -79403.1887] [13328] [depth= 1] . (28043 sec) [ -79403.0875] [13328] [depth= 1] . (28056 sec) [ -79399.7147] [13327] [depth= 28] . (28073 sec) [ -79399.5424] [13327] [depth= 1] . (28097 sec) [ -79396.3495] [13325] [depth= 6] . (28114 sec) [ -79394.7547] [13325] [depth= 8] . (28117 sec) [ -79394.5895] [13325] [depth= 1] . (28123 sec) [ -79393.9647] [13324] [depth= 7] . (28150 sec) [ -79393.4404] [13323] [depth= 2] . (28205 sec) [ -79393.0008] [13323] [depth= 1] . (28222 sec) [ -79390.8806] [13325] [depth= 16] . (28224 sec) [ -79390.7489] [13326] [depth= 2] . (28227 sec) [ -79387.1891] [13324] [depth= 8] . (28241 sec) [ -79387.0146] [13324] [depth= 1] . (28290 sec) [ -79386.8684] [13324] [depth= 2] . (28374 sec) [ -79386.5405] [13326] [depth= 1] . (28379 sec) [ -79384.9934] [13324] [depth= 15] . (28382 sec) [ -79384.9149] [13326] [depth= 1] . (28386 sec) [ -79383.4509] [13325] [depth= 2] . (28433 sec) [ -79383.4211] [13325] [depth= 2] . (28502 sec) [ -79382.9027] [13325] [depth= 1] . (28508 sec) [ -79382.8883] [13325] [depth= 1] . (28545 sec) [ -79382.8591] [13325] [depth= 1] . (28622 sec) [ -79382.6845] [13325] [depth= 1] . (28654 sec) [ -79382.3987] [13324] [depth= 2] . (28672 sec) [ -79382.0267] [13327] [depth= 18] . (28705 sec) [ -79381.4579] [13327] [depth= 1] . (28708 sec) [ -79381.2831] [13327] [depth= 1] . (28762 sec) [ -79378.0415] [13326] [depth= 2] . (28765 sec) [ -79373.1229] [13326] [depth= 16] . (28793 sec) [ -79369.7746] [13325] [depth= 8] . (28848 sec) [ -79369.6630] [13323] [depth= 1] . (28851 sec) [ -79369.6354] [13324] [depth= 2] . (28854 sec) [ -79369.6067] [13324] [depth= 1] . (28918 sec) [ -79369.5821] [13324] [depth= 1] . (28942 sec) [ -79369.0897] [13325] [depth= 1] . (28946 sec) [ -79368.9038] [13325] [depth= 1] . (28949 sec) [ -79368.8933] [13325] [depth= 1] . (28954 sec) [ -79367.4887] [13325] [depth= 1] . (28960 sec) [ -79367.1766] [13327] [depth= 17] . (28974 sec) [ -79366.7852] [13326] [depth= 1] . (28978 sec) [ -79366.0603] [13326] [depth= 1] . (29073 sec) [ -79366.0281] [13326] [depth= 1] . (29089 sec) [ -79365.9359] [13329] [depth= 23] . (29092 sec) [ -79365.8193] [13329] [depth= 4] . (29095 sec) [ -79365.3865] [13329] [depth= 13] . (29235 sec) [ -79362.1640] [13328] [depth= 1] . (29288 sec) [ -79360.7042] [13328] [depth= 1] . (29290 sec) [ -79360.6424] [13328] [depth= 1] . (29360 sec) [ -79357.4828] [13328] [depth= 1] . (29385 sec) [ -79357.4409] [13328] [depth= 1] . (29404 sec) [ -79357.3838] [13327] [depth= 2] . (29577 sec) [ -79357.2699] [13327] [depth= 1] . (29595 sec) [ -79356.6311] [13326] [depth= 8] . (29598 sec) [ -79355.5504] [13326] [depth= 2] . (29600 sec) [ -79354.7994] [13325] [depth= 4] . (29613 sec) [ -79354.7778] [13325] [depth= 1] . (29662 sec) [ -79354.7666] [13325] [depth= 4] . (29783 sec) [ -79354.6277] [13325] [depth= 1] . (29848 sec) [ -79354.5228] [13325] [depth= 1] . (29945 sec) [ -79353.9597] [13326] [depth= 1] . (29949 sec) [ -79353.3321] [13325] [depth= 2] . (30096 sec) [ -79353.0785] [13324] [depth= 13] . (30159 sec) [ -79352.9984] [13324] [depth= 1] . (30162 sec) [ -79352.7005] [13324] [depth= 1] . (30166 sec) [ -79344.1179] [13322] [depth= 18] . (30169 sec) [ -79344.1005] [13322] [depth= 1] . (30195 sec) [ -79343.9813] [13322] [depth= 1] . (30198 sec) [ -79343.9708] [13322] [depth= 1] . (30218 sec) [ -79343.9203] [13322] [depth= 1] . (30221 sec) [ -79342.8798] [13322] [depth= 1] . (30329 sec) [ -79342.8168] [13322] [depth= 1] . (30444 sec) [ -79342.7919] [13322] [depth= 1] . (30449 sec) [ -79339.6078] [13321] [depth= 2] . (30472 sec) [ -79339.5778] [13321] [depth= 1] . (30502 sec) [ -79338.8786] [13320] [depth= 7] . (30814 sec) [ -79338.8621] [13320] [depth= 1] . (30817 sec) [ -79338.7437] [13320] [depth= 2] . (30909 sec) [ -79338.7302] [13320] [depth= 1] . (30924 sec) [ -79334.3687] [13320] [depth= 25] . (30927 sec) [ -79333.2638] [13320] [depth= 21] . (30951 sec) [ -79333.2452] [13320] [depth= 1] . (30976 sec) [ -79333.2324] [13320] [depth= 6] . (31189 sec) [ -79333.1244] [13320] [depth= 1] . (31281 sec) [ -79333.1033] [13320] [depth= 2] . (31285 sec) [ -79333.0854] [13320] [depth= 1] . (31328 sec) [ -79330.4603] [13318] [depth= 4] . (31366 sec) [ -79330.4331] [13318] [depth= 1] . (31440 sec) [ -79330.4166] [13318] [depth= 1] . (31461 sec) [ -79329.5845] [13318] [depth= 1] . (31593 sec) [ -79329.5526] [13318] [depth= 1] . (31615 sec) [ -79329.5015] [13318] [depth= 1] . (31665 sec) [ -79329.4872] [13318] [depth= 1] . (31740 sec) [ -79329.4745] [13318] [depth= 1] . (32039 sec) [ -79329.4490] [13318] [depth= 2] . (32350 sec) [ -79329.4337] [13318] [depth= 3] . (32541 sec) [ -79327.5935] [13317] [depth= 30] . (32580 sec) [ -79326.0417] [13317] [depth= 33] . (32597 sec) [ -79326.0317] [13317] [depth= 1] . (32651 sec) [ -79325.6450] [13317] [depth= 7] . (32762 sec) [ -79325.6199] [13317] [depth= 1] . (32765 sec) [ -79325.5974] [13317] [depth= 1] . (32805 sec) [ -79325.4478] [13316] [depth= 1] . (32849 sec) [ -79325.4249] [13316] [depth= 1] . (32897 sec) [ -79325.0398] [13317] [depth= 7] . (32971 sec) [ -79324.9831] [13317] [depth= 5] . (32988 sec) [ -79324.9576] [13317] [depth= 1] . (33016 sec) [ -79323.3055] [13316] [depth= 19] . (33058 sec) [ -79323.2881] [13316] [depth= 1] . (33061 sec) [ -79323.2730] [13316] [depth= 1] . (33360 sec) [ -79322.9549] [13316] [depth= 38] . (33363 sec) [ -79322.9314] [13316] [depth= 1] . (33459 sec) [ -79322.9212] [13316] [depth= 2] . (33546 sec) [ -79322.8719] [13316] [depth= 1] . (33575 sec) [ -79322.8567] [13316] [depth= 3] . (33639 sec) [ -79320.5803] [13316] [depth= 5] . (33733 sec) [ -79320.1073] [13316] [depth= 2] . (33736 sec) [ -79318.1950] [13316] [depth= 12] . (33783 sec) [ -79314.2915] [13316] [depth= 39] . (33855 sec) [ -79314.2804] [13316] [depth= 2] . (33879 sec) [ -79313.3192] [13316] [depth= 26] . (34011 sec) [ -79313.2908] [13316] [depth= 1] . (34248 sec) [ -79313.2784] [13316] [depth= 1] . (34395 sec) [ -79311.0284] [13316] [depth= 19] . (34981 sec) [ -79311.0023] [13316] [depth= 1] . (35125 sec) [ -79310.9901] [13316] [depth= 1] . (35252 sec) [ -79310.9712] [13316] [depth= 1] . (35330 sec) [ -79309.5872] [13316] [depth= 17] . (35334 sec) [ -79309.5720] [13316] [depth= 2] . (35397 sec) [ -79309.5555] [13316] [depth= 2] . (35424 sec) [ -79309.5362] [13316] [depth= 1] . (35620 sec) [ -79309.2539] [13316] [depth= 2] . (35844 sec) [ -79307.9033] [13316] [depth= 21] . (35848 sec) [ -79307.8910] [13316] [depth= 1] . (35954 sec) [ -79307.8601] [13316] [depth= 1] . (36047 sec) [ -79307.6272] [13316] [depth= 1] . (36051 sec) [ -79307.4538] [13316] [depth= 2] . (36125 sec) [ -79307.4419] [13316] [depth= 4] . (36785 sec) [ -79307.4206] [13316] [depth= 1] . (36878 sec) [ -79307.4051] [13316] [depth= 2] . (36881 sec) [ -79307.1606] [13316] [depth= 2] . (36885 sec) [ -79307.0647] [13316] [depth= 33] . (36889 sec) [ -79307.0479] [13316] [depth= 1] . (36913 sec) [ -79307.0229] [13316] [depth= 1] . (37260 sec) [ -79307.0102] [13316] [depth= 2] . (37776 sec) [ -79306.8322] [13316] [depth= 22] . (37796 sec) [ -79306.2027] [13316] [depth= 20] . (37947 sec) [ -79306.1829] [13316] [depth= 1] . (38066 sec) [ -79306.1561] [13316] [depth= 1] . (38235 sec) [ -79302.7657] [13316] [depth= 19] . (38308 sec) [ -79302.7471] [13316] [depth= 1] . (38444 sec) [ -79302.7290] [13316] [depth= 1] . (38500 sec) [ -79302.6980] [13316] [depth= 1] . (38606 sec) [ -79302.5852] [13316] [depth= 12] . (38610 sec) [ -79302.5678] [13316] [depth= 2] . (38757 sec) [ -79302.4808] [13316] [depth= 1] . (38832 sec) [ -79302.4602] [13316] [depth= 2] . (39007 sec) [ -79302.4442] [13316] [depth= 1] . (39072 sec) [ -79302.3224] [13316] [depth= 1] . (39196 sec) [ -79300.9770] [13315] [depth= 24] . (39344 sec) [ -79300.0870] [13315] [depth= 3] . (39348 sec) [ -79297.4428] [13315] [depth= 3] . (39636 sec) [ -79295.9984] [13315] [depth= 24] . (39640 sec) [ -79295.9705] [13315] [depth= 1] . (39663 sec) [ -79295.9566] [13315] [depth= 1] . (39759 sec) [ -79295.9418] [13315] [depth= 5] . (40379 sec) [ -79295.9207] [13315] [depth= 1] . (40548 sec) [ -79295.4052] [13315] [depth= 10] . (40893 sec) [ -79295.3909] [13315] [depth= 2] . (41057 sec) [ -79295.3800] [13315] [depth= 1] . (41253 sec) [ -79295.2836] [13315] [depth= 1] . (41316 sec) [ -79294.2150] [13315] [depth= 2] . (41388 sec) [ -79294.1373] [13315] [depth= 24] . (41491 sec) [ -79294.0369] [13315] [depth= 1] . (41494 sec) [ -79291.7157] [13315] [depth= 38] . (41596 sec) [ -79291.6873] [13315] [depth= 3] . (41599 sec) [ -79291.6548] [13315] [depth= 1] . (41602 sec) [ -79291.6416] [13315] [depth= 1] . (41785 sec) [ -79290.8835] [13315] [depth= 12] . (41789 sec) [ -79289.5524] [13315] [depth= 1] . (41893 sec) [ -79289.0700] [13315] [depth= 24] . (41998 sec) [ -79289.0550] [13315] [depth= 2] . (42001 sec) [ -79286.8094] [13314] [depth= 8] . (42105 sec) [ -79286.5970] [13314] [depth= 16] . (42400 sec) [ -79286.5860] [13314] [depth= 3] . (42577 sec) [ -79286.5701] [13314] [depth= 1] . (42643 sec) [ -79284.2075] [13314] [depth= 12] . (42647 sec) [ -79281.7683] [13314] [depth= 4] . (42650 sec) [ -79281.6771] [13314] [depth= 1] . (42654 sec) [ -79281.0210] [13314] [depth= 3] . (43067 sec) [ -79281.0063] [13314] [depth= 2] . (43601 sec) [ -79280.9936] [13314] [depth= 5] . (43643 sec) [ -79280.8975] [13314] [depth= 3] . (43703 sec) [ -79280.7891] [13314] [depth= 1] . (43775 sec) [ -79280.7213] [13314] [depth= 2] . (43854 sec) [ -79280.7110] [13314] [depth= 1] . (43857 sec) [ -79280.6986] [13314] [depth= 3] . (43926 sec) [ -79280.6091] [13314] [depth= 2] . (43931 sec) [ -79277.6903] [13314] [depth= 7] . (44260 sec) [ -79277.6751] [13314] [depth= 1] . (44334 sec) [ -79277.5940] [13314] [depth= 1] . (44460 sec) [ -79277.5743] [13314] [depth= 5] . (44944 sec) [ -79277.5581] [13314] [depth= 4] . (45046 sec) [ -79277.4828] [13314] [depth= 1] . (45049 sec) [ -79277.4703] [13314] [depth= 1] . (45203 sec) [ -79277.4458] [13314] [depth= 15] . (45206 sec) [ -79276.7573] [13315] [depth= 9] . (45319 sec) [ -79275.3646] [13315] [depth= 20] . (45358 sec) [ -79275.3071] [13315] [depth= 5] . (45434 sec) [ -79275.2205] [13315] [depth= 1] . (45485 sec) [ -79274.0896] [13315] [depth= 15] . (45653 sec) [ -79272.8782] [13315] [depth= 9] . (45761 sec) [ -79272.8281] [13315] [depth= 2] . (45764 sec) [ -79269.3417] [13315] [depth= 9] . (46164 sec) [ -79269.3227] [13315] [depth= 3] . (46279 sec) [ -79268.9773] [13315] [depth= 6] . (46448 sec) [ -79268.1629] [13315] [depth= 14] . (46451 sec) [ -79268.0427] [13315] [depth= 6] . (46558 sec) [ -79267.9493] [13315] [depth= 2] . (46805 sec) [ -79267.6864] [13315] [depth= 5] . (47489 sec) [ -79267.6573] [13315] [depth= 30] . (47829 sec) [ -79266.7433] [13315] [depth= 4] . (47834 sec) [ -79266.6718] [13315] [depth= 6] . (47838 sec) [ -79266.6162] [13315] [depth= 1] . (47846 sec) [ -79266.4135] [13315] [depth= 1] . (48006 sec) [ -79266.3227] [13315] [depth= 1] . (48127 sec) [ -79266.2368] [13315] [depth= 1] . (48409 sec) [ -79266.1941] [13315] [depth= 14] . (48411 sec) [ -79266.1486] [13315] [depth= 5] . (48581 sec) [ -79266.1238] [13315] [depth= 2] . (48688 sec) [ -79265.9896] [13315] [depth= 31] . (48788 sec) [ -79265.0525] [13315] [depth= 10] . (48792 sec) [ -79265.0363] [13315] [depth= 4] . (48795 sec) [ -79264.7237] [13315] [depth= 2] . (48873 sec) [ -79264.6590] [13315] [depth= 2] . (48958 sec) [ -79264.6479] [13315] [depth= 5] . (49067 sec) [ -79264.3880] [13315] [depth= 6] . (49265 sec) [ -79264.3541] [13315] [depth= 4] . (49291 sec) [ -79264.3306] [13315] [depth= 2] . (49737 sec) [ -79264.2654] [13316] [depth= 1] . (50066 sec) [ -79264.0208] [13316] [depth= 1] . (50393 sec) [ -79264.0106] [13316] [depth= 3] . (50435 sec) [ -79263.3229] [13316] [depth= 18] . (50442 sec) [ -79263.2471] [13316] [depth= 1] . (50686 sec) [ -79263.2215] [13316] [depth= 3] . (50806 sec) [ -79263.1810] [13316] [depth= 2] . (50913 sec) [ -79262.0539] [13316] [depth= 6] . (50997 sec) [ -79261.5000] [13316] [depth= 16] . (51044 sec) [ -79259.9979] [13316] [depth= 4] . (51048 sec) [ -79259.9864] [13316] [depth= 3] . (51301 sec) [ -79259.4483] [13316] [depth= 5] . (51306 sec) [ -79259.4057] [13316] [depth= 4] . (51421 sec) [ -79259.3694] [13316] [depth= 14] . (51441 sec) [ -79259.3421] [13316] [depth= 1] . (51444 sec) [ -79258.9335] [13316] [depth= 2] . (51447 sec) [ -79258.8278] [13316] [depth= 2] . (51494 sec) [ -79258.7354] [13316] [depth= 3] . (51571 sec) [ -79255.2307] [13316] [depth= 24] . (51575 sec) [ -79255.1141] [13316] [depth= 1] . (51898 sec) [ -79255.0998] [13316] [depth= 5] . (51940 sec) [ -79253.9480] [13316] [depth= 6] . (51943 sec) [ -79253.8591] [13316] [depth= 3] . (52287 sec) [ -79253.8407] [13316] [depth= 21] . (52459 sec) [ -79253.7882] [13316] [depth= 1] . (52461 sec) [ -79253.7760] [13316] [depth= 1] . (52541 sec) [ -79252.6153] [13316] [depth= 1] . (52623 sec) [ -79252.5219] [13316] [depth= 2] . (52627 sec) [ -79252.2376] [13316] [depth= 17] . (52665 sec) [ -79252.2129] [13316] [depth= 1] . (52684 sec) [ -79252.0924] [13316] [depth= 1] . (52687 sec) [ -79252.0038] [13316] [depth= 1] . (52952 sec) [ -79251.8771] [13316] [depth= 1] . (53705 sec) [ -79033.8562] [Branch lengths ] . (53757 sec) [ -79031.2510] [GTR parameters ] . (53762 sec) [ -79017.7339] [Alpha ][ 0.659317] . (53783 sec) [ -79017.4023] [13315] [depth= 1] . (53800 sec) [ -79012.4565] [13312] [depth= 1] . (53822 sec) [ -79010.8016] [13311] [depth= 1] . (53899 sec) [ -79010.7355] [13311] [depth= 1] . (53997 sec) [ -79010.7229] [13311] [depth= 1] . (54000 sec) [ -79010.6869] [13311] [depth= 1] . (54019 sec) [ -79010.6367] [13311] [depth= 1] . (54027 sec) [ -79010.4365] [13310] [depth= 49] . (54058 sec) [ -79010.4247] [13310] [depth= 1] . (54129 sec) [ -79010.4138] [13310] [depth= 1] . (54155 sec) [ -79010.3942] [13310] [depth= 1] . (54160 sec) [ -79010.3785] [13310] [depth= 2] . (54164 sec) [ -79010.3328] [13310] [depth= 1] . (54238 sec) [ -79010.1740] [13310] [depth= 1] . (54285 sec) [ -78999.7035] [13309] [depth= 36] . (54288 sec) [ -78999.6868] [13309] [depth= 2] . (54317 sec) [ -78999.6697] [13309] [depth= 1] . (54431 sec) [ -78999.6021] [13309] [depth= 1] . (54448 sec) [ -78999.5447] [13309] [depth= 1] . (54517 sec) [ -78999.4972] [13309] [depth= 1] . (54542 sec) [ -78999.3693] [13308] [depth= 1] . (54643 sec) [ -78999.0183] [13308] [depth= 1] . (54705 sec) [ -78998.9982] [13308] [depth= 1] . (54855 sec) [ -78998.9584] [13308] [depth= 1] . (54936 sec) [ -78998.9173] [13308] [depth= 1] . (54959 sec) [ -78998.4117] [13309] [depth= 31] . (54963 sec) [ -78996.2455] [13309] [depth= 1] . (55032 sec) [ -78996.0599] [13308] [depth= 1] . (55050 sec) [ -78996.0142] [13308] [depth= 1] . (55055 sec) [ -78995.7587] [13309] [depth= 3] . (55110 sec) [ -78995.1350] [13309] [depth= 4] . (55113 sec) [ -78989.0244] [13306] [depth= 9] . (55161 sec) [ -78988.6126] [13305] [depth= 4] . (55199 sec) [ -78987.4307] [13307] [depth= 2] . (55202 sec) [ -78986.7801] [13307] [depth= 1] . (55250 sec) [ -78986.6807] [13307] [depth= 1] . (55267 sec) [ -78986.5432] [13307] [depth= 1] . (55301 sec) [ -78986.4998] [13307] [depth= 1] . (55344 sec) [ -78986.4893] [13307] [depth= 1] . (55368 sec) [ -78986.4279] [13307] [depth= 1] . (55371 sec) [ -78986.3824] [13307] [depth= 1] . (55403 sec) [ -78986.1145] [13307] [depth= 1] . (55458 sec) [ -78985.8863] [13307] [depth= 1] . (55487 sec) [ -78983.7528] [13305] [depth= 15] . (55647 sec) [ -78983.7233] [13305] [depth= 1] . (55698 sec) [ -78979.8388] [13303] [depth= 25] . (55721 sec) [ -78979.7943] [13303] [depth= 1] . (55750 sec) [ -78979.7159] [13302] [depth= 1] . (55757 sec) [ -78979.5424] [13302] [depth= 1] . (55859 sec) [ -78975.9551] [13301] [depth= 10] . (55864 sec) [ -78975.9258] [13301] [depth= 1] . (55869 sec) [ -78975.9145] [13301] [depth= 1] . (55908 sec) [ -78975.8572] [13301] [depth= 1] . (55928 sec) [ -78975.8151] [13301] [depth= 1] . (55931 sec) [ -78975.5168] [13304] [depth= 1] . (56000 sec) [ -78975.2895] [13305] [depth= 1] . (56035 sec) [ -78975.2721] [13305] [depth= 1] . (56060 sec) [ -78975.2420] [13305] [depth= 1] . (56137 sec) [ -78974.5006] [13306] [depth= 2] . (56152 sec) [ -78972.5518] [13306] [depth= 1] . (56293 sec) [ -78972.5344] [13306] [depth= 1] . (56297 sec) [ -78972.4639] [13307] [depth= 6] . (56315 sec) [ -78972.4152] [13307] [depth= 1] . (56345 sec) [ -78972.1477] [13307] [depth= 2] . (56352 sec) [ -78969.2593] [13307] [depth= 1] . (56371 sec) [ -78969.2224] [13306] [depth= 1] . (56400 sec) [ -78969.2027] [13306] [depth= 1] . (56416 sec) [ -78969.1736] [13306] [depth= 1] . (56423 sec) [ -78969.1485] [13306] [depth= 1] . (56482 sec) [ -78966.9607] [13310] [depth= 19] . (56485 sec) [ -78966.9477] [13310] [depth= 1] . (56509 sec) [ -78966.6906] [13310] [depth= 1] . (56529 sec) [ -78966.6555] [13311] [depth= 2] . (56572 sec) [ -78966.6334] [13311] [depth= 1] . (56578 sec) [ -78966.2419] [13312] [depth= 1] . (56751 sec) [ -78966.2254] [13313] [depth= 1] . (56758 sec) [ -78966.1845] [13313] [depth= 1] . (56783 sec) [ -78966.1418] [13313] [depth= 1] . (56831 sec) [ -78966.0967] [13313] [depth= 1] . (56834 sec) [ -78966.0819] [13313] [depth= 1] . (56843 sec) [ -78966.0621] [13313] [depth= 2] . (56847 sec) [ -78965.9189] [13312] [depth= 11] . (56871 sec) [ -78965.8347] [13312] [depth= 1] . (56884 sec) [ -78965.6493] [13312] [depth= 1] . (56918 sec) [ -78965.5587] [13312] [depth= 1] . (56941 sec) [ -78965.4552] [13312] [depth= 1] . (56966 sec) [ -78962.6019] [13313] [depth= 17] . (57053 sec) [ -78961.8230] [13314] [depth= 23] . (57085 sec) [ -78961.4092] [13316] [depth= 16] . (57094 sec) [ -78961.1428] [13316] [depth= 5] . (57138 sec) [ -78961.1133] [13316] [depth= 1] . (57143 sec) [ -78961.0736] [13316] [depth= 1] . (57154 sec) [ -78960.6137] [13316] [depth= 3] . (57162 sec) [ -78960.5991] [13316] [depth= 1] . (57178 sec) [ -78960.5386] [13316] [depth= 1] . (57268 sec) [ -78960.2843] [13315] [depth= 1] . (57271 sec) [ -78959.9672] [13315] [depth= 1] . (57308 sec) [ -78959.9410] [13315] [depth= 2] . (57312 sec) [ -78959.8579] [13314] [depth= 3] . (57336 sec) [ -78959.7721] [13314] [depth= 1] . (57366 sec) [ -78959.7242] [13314] [depth= 1] . (57554 sec) [ -78959.6892] [13314] [depth= 1] . (57574 sec) [ -78959.6397] [13314] [depth= 2] . (57677 sec) [ -78959.6240] [13314] [depth= 1] . (57742 sec) [ -78959.6056] [13314] [depth= 1] . (57753 sec) [ -78959.1110] [13314] [depth= 1] . (57819 sec) [ -78959.0628] [13314] [depth= 1] . (57823 sec) [ -78959.0182] [13314] [depth= 1] . (57826 sec) [ -78958.9684] [13314] [depth= 1] . (57832 sec) [ -78958.5795] [13314] [depth= 1] . (57949 sec) [ -78958.5690] [13314] [depth= 2] . (58017 sec) [ -78958.3996] [13314] [depth= 1] . (58020 sec) [ -78958.2553] [13314] [depth= 1] . (58061 sec) [ -78955.5659] [13313] [depth= 5] . (58101 sec) [ -78955.1957] [13313] [depth= 1] . (58105 sec) [ -78954.9558] [13312] [depth= 1] . (58154 sec) [ -78954.8248] [13312] [depth= 1] . (58163 sec) [ -78954.7873] [13312] [depth= 1] . (58518 sec) [ -78954.7055] [13312] [depth= 1] . (58525 sec) [ -78954.3762] [13312] [depth= 1] . (58542 sec) [ -78954.1641] [13313] [depth= 3] . (58568 sec) [ -78954.1340] [13313] [depth= 1] . (58629 sec) [ -78954.1019] [13313] [depth= 2] . (58633 sec) [ -78954.0701] [13313] [depth= 2] . (58636 sec) [ -78954.0544] [13313] [depth= 1] . (58639 sec) [ -78954.0268] [13313] [depth= 1] . (58789 sec) [ -78954.0023] [13313] [depth= 1] . (58959 sec) [ -78953.9900] [13313] [depth= 1] . (58993 sec) [ -78953.9783] [13313] [depth= 1] . (59051 sec) [ -78953.8827] [13313] [depth= 3] . (59463 sec) [ -78953.8718] [13313] [depth= 1] . (59517 sec) [ -78953.7136] [13314] [depth= 1] . (59527 sec) [ -78953.0020] [13314] [depth= 19] . (59838 sec) [ -78952.9897] [13314] [depth= 1] . (59886 sec) [ -78952.9747] [13314] [depth= 7] . (59967 sec) [ -78952.9431] [13314] [depth= 1] . (60062 sec) [ -78952.9221] [13314] [depth= 1] . (60401 sec) [ -78952.5662] [13313] [depth= 5] . (61145 sec) [ -78952.5540] [13313] [depth= 2] . (61301 sec) [ -78952.5358] [13313] [depth= 1] . (61304 sec) [ -78952.5238] [13313] [depth= 2] . (61446 sec) [ -78952.4258] [13314] [depth= 1] . (61500 sec) [ -78952.4117] [13314] [depth= 1] . (61685 sec) [ -78952.4008] [13314] [depth= 3] . (61835 sec) [ -78952.3903] [13314] [depth= 1] . (62176 sec) [ -78952.3801] [13314] [depth= 1] . (63458 sec) [ -78952.3619] [13314] [depth= 1] . (63639 sec) [ -78952.3505] [13314] [depth= 1] . (63798 sec) [ -78952.3348] [13314] [depth= 1] . (63926 sec) [ -78950.1605] [13313] [depth= 1] . (64465 sec) [ -78950.1387] [13313] [depth= 1] . (64914 sec) [ -78950.1248] [13313] [depth= 1] . (64937 sec) [ -78950.1036] [13313] [depth= 1] . (65000 sec) [ -78950.0901] [13313] [depth= 1] . (65956 sec) [ -78948.0048] [13312] [depth= 8] . (66340 sec) [ -78947.9884] [13312] [depth= 1] . (67350 sec) [ -78947.9771] [13312] [depth= 1] . (67388 sec) [ -78947.9598] [13312] [depth= 2] . (67944 sec) [ -78947.9489] [13312] [depth= 1] . (68464 sec) [ -78947.9389] [13312] [depth= 2] . (68519 sec) [ -78947.8129] [13312] [depth= 4] . (68629 sec) [ -78947.4931] [13312] [depth= 5] . (68797 sec) [ -78947.4782] [13312] [depth= 2] . (68954 sec) [ -78942.8631] [13311] [depth= 8] . (68957 sec) [ -78942.6622] [13311] [depth= 23] . (69159 sec) [ -78942.6476] [13311] [depth= 2] . (69514 sec) [ -78942.5193] [13311] [depth= 3] . (69622 sec) [ -78942.3758] [13312] [depth= 23] . (69761 sec) [ -78942.0495] [13312] [depth= 4] . (69776 sec) [ -78942.0393] [13312] [depth= 1] . (69779 sec) [ -78942.0277] [13312] [depth= 1] . (69870 sec) [ -78942.0119] [13312] [depth= 3] . (69873 sec) [ -78942.0005] [13312] [depth= 4] . (69991 sec) [ -78941.9898] [13312] [depth= 1] . (70055 sec) [ -78940.4460] [13312] [depth= 27] . (70058 sec) [ -78940.4350] [13312] [depth= 2] . (70508 sec) [ -78940.1131] [13312] [depth= 2] . (70976 sec) [ -78940.1006] [13312] [depth= 1] . (71308 sec) [ -78939.8912] [13312] [depth= 6] . (72151 sec) [ -78939.7784] [13312] [depth= 1] . (73244 sec) [ -78939.3065] [13313] [depth= 36] . (73495 sec) [ -78939.2900] [13313] [depth= 1] . (73702 sec) [ -78939.2099] [13313] [depth= 1] . (73742 sec) [ -78937.5612] [13312] [depth= 1] . (74505 sec) [ -78937.5390] [13312] [depth= 4] . (74507 sec) [ -78937.2366] [13312] [depth= 2] . (74511 sec) [ -78937.2131] [13312] [depth= 2] . (74514 sec) [ -78937.2012] [13312] [depth= 2] . (75675 sec) [ -78937.1861] [13312] [depth= 6] . (76124 sec) [ -78937.1536] [13312] [depth= 1] . (76127 sec) [ -78937.0920] [13312] [depth= 7] . (76129 sec) [ -78937.0366] [13312] [depth= 1] . (76506 sec) [ -78937.0251] [13312] [depth= 1] . (76729 sec) [ -78936.9581] [13312] [depth= 5] . (76818 sec) [ -78936.9089] [13312] [depth= 2] . (76822 sec) [ -78936.7441] [13312] [depth= 22] . (77363 sec) [ -78936.6493] [13312] [depth= 13] . (77447 sec) [ -78936.5534] [13312] [depth= 1] . (78269 sec) [ -78936.4553] [13312] [depth= 2] . (78344 sec) [ -78936.4258] [13312] [depth= 3] . (79348 sec) [ -78936.2957] [13312] [depth= 13] . (80171 sec) [ -78936.2695] [13312] [depth= 1] . (80606 sec) [ -78936.2436] [13312] [depth= 4] . (80879 sec) [ -78936.2056] [13312] [depth= 29] . (80927 sec) [ -78936.1466] [13312] [depth= 3] . (81206 sec) [ -78936.0513] [13312] [depth= 1] . (82349 sec) [ -78935.0319] [13312] [depth= 9] . (82425 sec) [ -78934.8088] [13312] [depth= 3] . (82474 sec) [ -78934.7942] [13312] [depth= 8] . (82499 sec) [ -78934.4703] [13312] [depth= 4] . (82587 sec) [ -78934.4421] [13312] [depth= 6] . (82879 sec) [ -78934.3222] [13312] [depth= 2] . (83178 sec) [ -78934.2458] [13312] [depth= 6] . (83180 sec) [ -78934.2320] [13312] [depth= 1] . (83241 sec) [ -78934.1988] [13312] [depth= 21] . (83895 sec) [ -78933.7497] [13312] [depth= 16] . (83915 sec) [ -78933.6591] [13312] [depth= 2] . (83992 sec) [ -78933.5764] [13312] [depth= 3] . (84172 sec) [ -78933.5610] [13312] [depth= 1] . (84191 sec) [ -78933.5081] [13312] [depth= 2] . (84315 sec) [ -78933.4600] [13312] [depth= 5] . (85574 sec) [ -78933.3494] [13312] [depth= 3] . (85667 sec) [ -78933.3354] [13312] [depth= 2] . (86166 sec) [ -78933.3241] [13312] [depth= 1] . (86441 sec) [ -78933.2155] [13312] [depth= 3] . (86444 sec) [ -78933.2015] [13312] [depth= 3] . (86619 sec) [ -78933.1819] [13312] [depth= 5] . (86639 sec) [ -78933.1698] [13312] [depth= 7] . (86742 sec) [ -78933.1570] [13312] [depth= 5] . (86784 sec) [ -78933.1340] [13312] [depth= 2] . (87005 sec) [ -78933.0641] [13312] [depth= 5] . (87050 sec) [ -78933.0154] [13312] [depth= 13] . (87088 sec) [ -78866.5655] [Branch lengths ] . (87131 sec) [ -78866.4457] [GTR parameters ] . (87135 sec) [ -78866.0143] [Alpha ][ 0.672375] . (88026 sec) [ -78865.7045] [13310] [depth= 1] . (88415 sec) [ -78863.9453] [13309] [depth= 2] . (88752 sec) [ -78863.9076] [13309] [depth= 1] . (89244 sec) [ -78863.6362] [13308] [depth= 1] . (89253 sec) [ -78860.3947] [13309] [depth= 8] . (89329 sec) [ -78860.3329] [13309] [depth= 1] . (89600 sec) [ -78860.1211] [13312] [depth= 3] . (89822 sec) [ -78859.9673] [13312] [depth= 1] . (90172 sec) [ -78859.9085] [13312] [depth= 1] . (90358 sec) [ -78859.3477] [13312] [depth= 4] . (90449 sec) [ -78858.0683] [13310] [depth= 31] . (90515 sec) [ -78858.0533] [13312] [depth= 1] . (90529 sec) [ -78857.9069] [13312] [depth= 15] . (90597 sec) [ -78857.5092] [13312] [depth= 1] . (90697 sec) [ -78857.4892] [13312] [depth= 1] . (90955 sec) [ -78857.4570] [13312] [depth= 1] . (91065 sec) [ -78857.1118] [13312] [depth= 5] . (91080 sec) [ -78856.9149] [13311] [depth= 5] . (91083 sec) [ -78856.4919] [13310] [depth= 1] . (91114 sec) [ -78856.3954] [13310] [depth= 1] . (91131 sec) [ -78856.3766] [13310] [depth= 1] . (91431 sec) [ -78856.3544] [13310] [depth= 2] . (91505 sec) [ -78856.3414] [13310] [depth= 2] . (91530 sec) [ -78856.0896] [13310] [depth= 1] . (91537 sec) [ -78855.9134] [13310] [depth= 1] . (91627 sec) [ -78855.5771] [13310] [depth= 1] . (91684 sec) [ -78855.2719] [13310] [depth= 1] . (91811 sec) [ -78854.9570] [13310] [depth= 1] . (91819 sec) [ -78854.6842] [13310] [depth= 1] . (91890 sec) [ -78854.6708] [13310] [depth= 1] . (92136 sec) [ -78854.6424] [13310] [depth= 2] . (92339 sec) [ -78854.3501] [13310] [depth= 1] . (92561 sec) [ -78852.4807] [13308] [depth= 12] . (92588 sec) [ -78852.2743] [13308] [depth= 1] . (92644 sec) [ -78852.2632] [13308] [depth= 1] . (92756 sec) [ -78852.1035] [13308] [depth= 1] . (92862 sec) [ -78851.9436] [13308] [depth= 1] . (93725 sec) [ -78851.8609] [13310] [depth= 8] . (94042 sec) [ -78851.5935] [13310] [depth= 2] . (94194 sec) [ -78851.5362] [13310] [depth= 1] . (94267 sec) [ -78851.4909] [13310] [depth= 2] . (94868 sec) [ -78851.0902] [13310] [depth= 23] . (95174 sec) [ -78850.9595] [13310] [depth= 1] . (95597 sec) [ -78850.9470] [13310] [depth= 1] . (95692 sec) [ -78850.3279] [13310] [depth= 8] . (96838 sec) [ -78849.3208] [13310] [depth= 24] . (97036 sec) [ -78847.8097] [13310] [depth= 19] . (98559 sec) [ -78847.3795] [13310] [depth= 38] . (99638 sec) [ -78847.3513] [13310] [depth= 1] . (100787 sec) [ -78846.2313] [13310] [depth= 14] . (101492 sec) [ -78846.1973] [13310] [depth= 2] . (102946 sec) [ -78846.0111] [13310] [depth= 1] . (108353 sec) [ -78846.0007] [13310] [depth= 1] . (108356 sec) [ -78845.9099] [13310] [depth= 1] . (110321 sec) [ -78845.8135] [13310] [depth= 13] . (110729 sec) [ -78845.7349] [13310] [depth= 1] . (110731 sec) [ -78845.6792] [13310] [depth= 11] . (110844 sec) [ -78845.5514] [13310] [depth= 11] . (110850 sec) [ -78845.4798] [13310] [depth= 1] . (111500 sec) [ -78844.7311] [13310] [depth= 13] . (111971 sec) [ -78844.7134] [13310] [depth= 1] . (111977 sec) [ -78844.7018] [13310] [depth= 1] . (112165 sec) [ -78844.6371] [13310] [depth= 1] . (112979 sec) [ -78844.6035] [13310] [depth= 21] . (114976 sec) [ -78844.0287] [13310] [depth= 18] . (116732 sec) [ -78843.6425] [13310] [depth= 5] . (117438 sec) [ -78843.1777] [13310] [depth= 7] . (117712 sec) [ -78843.1357] [13310] [depth= 2] . (118230 sec) [ -78843.0364] [13310] [depth= 3] . (120883 sec) [ -78842.9904] [13310] [depth= 3] . (121909 sec) [ -78842.9178] [13310] [depth= 1] . (122339 sec) [ -78842.8959] [13310] [depth= 1] . (122943 sec) [ -78830.5821] [Branch lengths ] . (122985 sec) [ -78830.4159] [GTR parameters ] . (122990 sec) [ -78830.4141] [Alpha ][ 0.673106] . (124026 sec) [ -78829.7335] [13311] [depth= 3] . (126075 sec) [ -78828.9975] [13310] [depth= 4] . (126328 sec) [ -78827.3225] [13310] [depth= 17] . (128449 sec) [ -78827.0981] [13310] [depth= 13] . (128613 sec) [ -78827.0046] [13310] [depth= 16] . (128731 sec) [ -78826.6251] [13309] [depth= 10] . (129145 sec) [ -78825.7536] [13309] [depth= 11] . (129410 sec) [ -78825.7309] [13309] [depth= 2] . (129558 sec) [ -78825.5852] [13309] [depth= 5] . (130559 sec) [ -78825.5111] [13309] [depth= 1] . (130741 sec) [ -78825.3408] [13309] [depth= 17] . (130974 sec) [ -78825.3211] [13309] [depth= 2] . (131531 sec) [ -78822.1819] [13309] [depth= 35] . (132872 sec) [ -78822.1685] [13309] [depth= 1] . (132875 sec) [ -78821.8562] [13309] [depth= 12] . (134675 sec) [ -78821.7865] [13309] [depth= 23] . (137123 sec) [ -78820.8984] [13309] [depth= 22] . (146808 sec) [ -78820.2598] [13309] [depth= 19] . (153674 sec) [ -78820.1603] [13309] [depth= 2] . (159403 sec) [ -78814.2404] [Branch lengths ] . (159428 sec) [ -78814.2107] [GTR parameters ] . (159432 sec) [ -78814.2107] [Alpha ][ 0.673106] . (160212 sec) [ -78809.1753] [13309] [depth= 11] . (161554 sec) [ -78809.0180] [13309] [depth= 1] . (162060 sec) [ -78808.9617] [13309] [depth= 1] . (162794 sec) [ -78808.8228] [13306] [depth= 11] . (163842 sec) [ -78808.5935] [13307] [depth= 9] . (164169 sec) [ -78808.5820] [13307] [depth= 1] . (165578 sec) [ -78808.3548] [13308] [depth= 11] . (166451 sec) [ -78808.2366] [13308] [depth= 1] . (166702 sec) [ -78807.5534] [13307] [depth= 1] . (171326 sec) [ -78807.5238] [13307] [depth= 5] . (172106 sec) [ -78807.0972] [13307] [depth= 2] . (175482 sec) [ -78806.9988] [13307] [depth= 1] . (196039 sec) [ -78801.7081] [Branch lengths ] . (196081 sec) [ -78801.6404] [GTR parameters ] . (196085 sec) [ -78801.6404] [Alpha ][ 0.673106] . (232829 sec) [ -78797.3670] [Branch lengths ] . (232849 sec) [ -78796.2737] [13312] [depth= 1] . (232854 sec) [ -78793.7903] [13307] [depth= 1] . (241265 sec) [ -78793.7802] [13307] [depth= 8] . (243424 sec) [ -78775.6674] [Branch lengths ] . (243443 sec) [ -78775.6622] [GTR parameters ] . (243447 sec) [ -78775.6598] [Alpha ][ 0.672433] . (243453 sec) [ -78774.4864] [13311] [depth= 1] . (254054 sec) [ -78762.2396] [Branch lengths ] . (254097 sec) [ -78762.2378] [GTR parameters ] . (254101 sec) [ -78762.2378] [Alpha ][ 0.672433] . (264769 sec) [ -78754.7018] [Branch lengths ] . (264770 sec) [ -78754.7018] [Topology ] . (267931 sec) [ -78754.0422] [Topology ] . (271090 sec) [ -78753.9348] [Topology ] . (274252 sec) [ -78753.9083] [Topology ] . (277411 sec) [ -78753.9009] [Topology ] . (280571 sec) [ -78753.8986] [Topology ] . (283731 sec) [ -78753.8978] [Topology ] . (283749 sec) [ -78753.8974] [GTR parameters ] . (283753 sec) [ -78753.8974] [Alpha ][ 0.672433] . (283755 sec) [ -78753.8974] [Topology ] . (286914 sec) [ -78753.8971] [Topology ] . (286926 sec) [ -78753.8971] [GTR parameters ] . (286930 sec) [ -78753.8971] [Alpha ][ 0.672433] . Checking for NNIs, optimizing five branches... . (287358 sec) [ -78753.7391] [Topology ] . Checking for NNIs, optimizing five branches... . (287786 sec) [ -78753.7382] [Topology ] . Checking for NNIs, optimizing five branches... . (288215 sec) [ -78753.7374] [Topology ] . Checking for NNIs, optimizing five branches... . Log likelihood of the current tree: -78753.737441. . Printing the most likely tree in file 'nucleic_M3703_1566x915_2008.phy_phyml_tree.txt'... . Time used 80h10m45s oooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooooo 288714.29user 0.00system 80:14:39elapsed 99%CPU (0avgtext+0avgdata 0maxresident)k 0inputs+0outputs (0major+0minor)pagefaults 0swaps