Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1RIS.matrix.56p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 16.73 sec. Warning: CPLEX version found in file /work/tschiex/CPD-Décembre2012/cplex/cplex.prm (12.2.0.0) does not match this CPLEX version (12.4.0.0). Parameter file '/work/tschiex/CPD-Décembre2012/cplex/cplex.prm' read. Presolve has eliminated 0 rows and 0 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 0 columns... Presolve time = 27.02 sec. Elapsed time 10.57 sec. for 0% of probing. Elapsed time 21.96 sec. for 0% of probing. Elapsed time 32.39 sec. for 0% of probing. Elapsed time 42.43 sec. for 0% of probing. Elapsed time 53.41 sec. for 0% of probing. Elapsed time 64.81 sec. for 0% of probing. Elapsed time 75.28 sec. for 0% of probing. Elapsed time 85.54 sec. for 0% of probing. Elapsed time 97.87 sec. for 0% of probing. Elapsed time 110.23 sec. for 0% of probing. Elapsed time 120.24 sec. for 0% of probing. Probing time = 123.34 sec. Clique table members: 20788750. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 35211.99 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 6.17155e+12 11089 6.17155e+12 1708439 * 0+ 0 3.07446e+18 6.17155e+12 1708439 100.00% 0 0 6.17155e+12 11089 3.07446e+18 ZeroHalf: 2 1709403 100.00% Heuristic still looking. * 0+ 0 6.17287e+12 6.17155e+12 1709403 0.02% Heuristic still looking. Heuristic still looking. Repeating presolve. Aggregator has done 79 substitutions... Tried aggregator 2 times. Aggregator has done 79 substitutions... MIP Presolve eliminated 66715 rows and 3127556 columns. Aggregator did 79 substitutions. Reduced MIP has 113442 rows, 2021973 columns, and 4155348 nonzeros. Reduced MIP has 2021973 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 18.70 sec. for 0% of probing (77 vars fixed). Elapsed time 34.39 sec. for 0% of probing (81 vars fixed). Elapsed time 52.59 sec. for 0% of probing (81 vars fixed). Elapsed time 70.69 sec. for 0% of probing (96 vars fixed). Elapsed time 86.77 sec. for 0% of probing (110 vars fixed). Elapsed time 100.82 sec. for 0% of probing (110 vars fixed). Elapsed time 115.56 sec. for 0% of probing (329 vars fixed). Elapsed time 125.60 sec. for 0% of probing (357 vars fixed). Elapsed time 135.74 sec. for 0% of probing (405 vars fixed). Elapsed time 145.77 sec. for 0% of probing (417 vars fixed). Elapsed time 155.79 sec. for 0% of probing (417 vars fixed). Elapsed time 165.82 sec. for 0% of probing (417 vars fixed). Elapsed time 175.84 sec. for 0% of probing (417 vars fixed). Elapsed time 185.93 sec. for 0% of probing (417 vars fixed). Elapsed time 195.97 sec. for 0% of probing (417 vars fixed). Elapsed time 206.00 sec. for 0% of probing (417 vars fixed). Elapsed time 216.03 sec. for 0% of probing (417 vars fixed). Elapsed time 226.08 sec. for 0% of probing (417 vars fixed). Elapsed time 236.11 sec. for 0% of probing (417 vars fixed). Elapsed time 246.13 sec. for 0% of probing (417 vars fixed). Elapsed time 256.14 sec. for 0% of probing (417 vars fixed). Elapsed time 266.23 sec. for 0% of probing (417 vars fixed). Elapsed time 276.28 sec. for 0% of probing (417 vars fixed). Elapsed time 286.37 sec. for 0% of probing (417 vars fixed). Elapsed time 296.39 sec. for 0% of probing (417 vars fixed). Elapsed time 306.42 sec. for 0% of probing (417 vars fixed). Elapsed time 316.50 sec. for 0% of probing (417 vars fixed). Elapsed time 326.56 sec. for 0% of probing (417 vars fixed). Elapsed time 336.60 sec. for 0% of probing (417 vars fixed). Elapsed time 346.65 sec. for 0% of probing (417 vars fixed). Elapsed time 356.71 sec. for 0% of probing (417 vars fixed). Elapsed time 366.81 sec. for 0% of probing (417 vars fixed). Elapsed time 376.81 sec. for 0% of probing (417 vars fixed). Elapsed time 386.87 sec. for 0% of probing (417 vars fixed). Elapsed time 396.93 sec. for 0% of probing (417 vars fixed). Elapsed time 406.97 sec. for 0% of probing (417 vars fixed). Elapsed time 416.99 sec. for 0% of probing (417 vars fixed). Elapsed time 427.05 sec. for 0% of probing (417 vars fixed). Elapsed time 437.11 sec. for 0% of probing (417 vars fixed). Elapsed time 447.17 sec. for 0% of probing (417 vars fixed). Elapsed time 457.24 sec. for 0% of probing (417 vars fixed). Elapsed time 467.33 sec. for 0% of probing (417 vars fixed). Elapsed time 477.47 sec. for 0% of probing (417 vars fixed). Elapsed time 487.58 sec. for 0% of probing (417 vars fixed). Elapsed time 497.58 sec. for 0% of probing (417 vars fixed). Elapsed time 507.63 sec. for 0% of probing (417 vars fixed). Elapsed time 517.69 sec. for 0% of probing (417 vars fixed). Elapsed time 527.71 sec. for 0% of probing (417 vars fixed). Elapsed time 537.73 sec. for 0% of probing (417 vars fixed). Probing fixed 417 vars, tightened 0 bounds. Probing time = 541.14 sec. Tried aggregator 1 time. Presolve has eliminated 9 rows and 426 columns... MIP Presolve eliminated 9 rows and 426 columns. Reduced MIP has 113433 rows, 2021547 columns, and 4154496 nonzeros. Reduced MIP has 2021547 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 585.75 sec. Elapsed time 13.81 sec. for 0% of probing. Elapsed time 27.12 sec. for 0% of probing. Elapsed time 37.13 sec. for 0% of probing. Elapsed time 55.54 sec. for 0% of probing. Elapsed time 66.94 sec. for 0% of probing. Elapsed time 81.44 sec. for 0% of probing. Elapsed time 93.78 sec. for 0% of probing. Probing time = 95.21 sec. Clique table members: 8258213. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 6619.31 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 6.17287e+12 6.17155e+12 2624213 0.02% 0 0 6.17155e+12 11084 6.17287e+12 6.17155e+12 2624213 0.02% * 0+ 0 6.17272e+12 6.17155e+12 2624213 0.02% Heuristic still looking. Heuristic still looking. 0 2 6.17155e+12 11084 6.17272e+12 6.17155e+12 2624213 0.02% Elapsed real time = 47815.81 sec. (tree size = 0.00 MB, solutions = 3) 1 3 6.17159e+12 11246 6.17272e+12 6.17155e+12 2664376 0.02% 2 4 6.17176e+12 11105 6.17272e+12 6.17159e+12 2692401 0.02% 3 5 6.17162e+12 11411 6.17272e+12 6.17159e+12 2701102 0.02% 4 6 6.17160e+12 11282 6.17272e+12 6.17160e+12 2704929 0.02% 5 7 6.17174e+12 10198 6.17272e+12 6.17160e+12 2765774 0.02% 6 8 6.17176e+12 10076 6.17272e+12 6.17160e+12 2780979 0.02% 7 9 6.17176e+12 9909 6.17272e+12 6.17160e+12 2790120 0.02% 8 10 6.17178e+12 9920 6.17272e+12 6.17160e+12 2802640 0.02% 9 11 6.17183e+12 9676 6.17272e+12 6.17160e+12 2837834 0.02% 10 12 6.17183e+12 9572 6.17272e+12 6.17160e+12 2841316 0.02% Elapsed real time = 53514.44 sec. (tree size = 18.11 MB, solutions = 3) 11 13 6.17184e+12 9621 6.17272e+12 6.17160e+12 2855394 0.02% 12 14 6.17184e+12 9206 6.17272e+12 6.17160e+12 2865928 0.02% 13 15 6.17184e+12 9107 6.17272e+12 6.17160e+12 2866625 0.02% 14 16 6.17184e+12 9442 6.17272e+12 6.17160e+12 2873988 0.02% 15 17 6.17185e+12 9150 6.17272e+12 6.17160e+12 2882095 0.02% 16 18 6.17188e+12 8962 6.17272e+12 6.17160e+12 2898706 0.02% 17 19 6.17195e+12 936 6.17272e+12 6.17160e+12 2916483 0.02% 18 20 6.17197e+12 540 6.17272e+12 6.17160e+12 2921979 0.02% 19 21 6.17200e+12 6859 6.17272e+12 6.17160e+12 2946697 0.02% * 20+ 20 6.17213e+12 6.17160e+12 2947817 0.01% * 20+ 20 6.17207e+12 6.17160e+12 2947817 0.01% 20 22 6.17199e+12 436 6.17207e+12 6.17160e+12 2947817 0.01% Elapsed real time = 55194.49 sec. (tree size = 36.39 MB, solutions = 5) 21 23 6.17200e+12 436 6.17207e+12 6.17160e+12 2948634 0.01% 22 24 6.17201e+12 330 6.17207e+12 6.17160e+12 2950997 0.01% * 23 23 integral 0 6.17203e+12 6.17160e+12 2951531 0.01% * 24 22 integral 0 6.17201e+12 6.17160e+12 2951567 0.01% 25 23 6.17165e+12 10780 6.17201e+12 6.17162e+12 2971427 0.01% 26 24 6.17165e+12 11250 6.17201e+12 6.17162e+12 2977771 0.01% 27 25 6.17167e+12 10886 6.17201e+12 6.17162e+12 2990015 0.01% 28 26 6.17167e+12 10657 6.17201e+12 6.17162e+12 2998398 0.01% 29 27 6.17177e+12 10979 6.17201e+12 6.17162e+12 3032169 0.01% 30 28 6.17168e+12 10581 6.17201e+12 6.17162e+12 3033376 0.01% Elapsed real time = 56692.91 sec. (tree size = 48.16 MB, solutions = 7) 31 29 6.17169e+12 10260 6.17201e+12 6.17162e+12 3043286 0.01% 32 30 6.17169e+12 10170 6.17201e+12 6.17162e+12 3046296 0.01% 33 31 6.17170e+12 9740 6.17201e+12 6.17162e+12 3057869 0.01% 34 32 6.17170e+12 9663 6.17201e+12 6.17162e+12 3058477 0.01% 35 33 6.17171e+12 9567 6.17201e+12 6.17162e+12 3068468 0.01% 36 34 6.17177e+12 9947 6.17201e+12 6.17162e+12 3092574 0.01% 37 35 6.17185e+12 7267 6.17201e+12 6.17162e+12 3133786 0.01% 38 36 6.17188e+12 7383 6.17201e+12 6.17162e+12 3148725 0.01% 39 37 6.17185e+12 7080 6.17201e+12 6.17162e+12 3156994 0.01% 40 38 6.17189e+12 6735 6.17201e+12 6.17162e+12 3170693 0.01% Elapsed real time = 58649.92 sec. (tree size = 67.60 MB, solutions = 7) 41 39 6.17195e+12 6764 6.17201e+12 6.17162e+12 3187949 0.01% 42 38 cutoff 6.17201e+12 6.17162e+12 3198023 0.01% 43 39 6.17198e+12 7589 6.17201e+12 6.17162e+12 3209670 0.01% 44 38 cutoff 6.17201e+12 6.17162e+12 3214241 0.01% 46 38 6.17167e+12 11048 6.17201e+12 6.17162e+12 3234866 0.01% 47 39 6.17168e+12 10928 6.17201e+12 6.17162e+12 3250849 0.01% 48 40 6.17171e+12 10519 6.17201e+12 6.17162e+12 3260810 0.01% 49 41 6.17172e+12 10205 6.17201e+12 6.17162e+12 3271569 0.01% 50 42 6.17172e+12 10143 6.17201e+12 6.17162e+12 3273953 0.01% 51 43 6.17174e+12 10152 6.17201e+12 6.17162e+12 3288002 0.01% Elapsed real time = 60280.62 sec. (tree size = 77.31 MB, solutions = 7) 52 44 6.17174e+12 10096 6.17201e+12 6.17162e+12 3291118 0.01% 53 45 6.17176e+12 9969 6.17201e+12 6.17162e+12 3301712 0.01% 54 46 6.17177e+12 10061 6.17201e+12 6.17162e+12 3309609 0.01% 55 47 6.17180e+12 10052 6.17201e+12 6.17162e+12 3323348 0.01% 56 48 6.17180e+12 9934 6.17201e+12 6.17162e+12 3330539 0.01% 57 49 6.17180e+12 9801 6.17201e+12 6.17162e+12 3331310 0.01% 58 50 6.17183e+12 10285 6.17201e+12 6.17162e+12 3344912 0.01% 59 51 6.17184e+12 10132 6.17201e+12 6.17162e+12 3355381 0.01% 60 52 6.17184e+12 10189 6.17201e+12 6.17162e+12 3362292 0.01% 61 53 6.17190e+12 10290 6.17201e+12 6.17162e+12 3388464 0.01% Elapsed real time = 61786.07 sec. (tree size = 97.37 MB, solutions = 7) 62 54 6.17190e+12 9264 6.17201e+12 6.17162e+12 3396930 0.01% 63 55 6.17191e+12 8490 6.17201e+12 6.17162e+12 3407606 0.01% 64 56 6.17192e+12 8081 6.17201e+12 6.17162e+12 3417619 0.01% 65 57 6.17195e+12 8242 6.17201e+12 6.17162e+12 3435386 0.01% 66 58 6.17197e+12 9383 6.17201e+12 6.17162e+12 3452282 0.01% 67 59 6.17198e+12 7897 6.17201e+12 6.17162e+12 3461439 0.01% 68 60 6.17199e+12 8114 6.17201e+12 6.17162e+12 3471552 0.01% 69 59 cutoff 6.17201e+12 6.17162e+12 3474030 0.01% 71 59 6.17176e+12 10184 6.17201e+12 6.17165e+12 3534226 0.01% 72 60 6.17178e+12 9989 6.17201e+12 6.17165e+12 3550197 0.01% Elapsed real time = 64306.31 sec. (tree size = 111.78 MB, solutions = 7) 73 61 6.17180e+12 9843 6.17201e+12 6.17165e+12 3562973 0.01% 74 62 6.17181e+12 9907 6.17201e+12 6.17165e+12 3575361 0.01% 75 63 6.17181e+12 10143 6.17201e+12 6.17165e+12 3579193 0.01% 76 64 6.17182e+12 9367 6.17201e+12 6.17165e+12 3589221 0.01% 77 65 6.17182e+12 9289 6.17201e+12 6.17165e+12 3590079 0.01% 78 66 6.17183e+12 9491 6.17201e+12 6.17165e+12 3600587 0.01% 79 67 6.17184e+12 9294 6.17201e+12 6.17165e+12 3610499 0.01% 80 68 6.17189e+12 7956 6.17201e+12 6.17165e+12 3628728 0.01% 81 69 6.17189e+12 7795 6.17201e+12 6.17165e+12 3638945 0.01% 82 70 6.17193e+12 7712 6.17201e+12 6.17165e+12 3657421 0.01% Elapsed real time = 65952.37 sec. (tree size = 132.09 MB, solutions = 7) Nodefile size = 5.73 MB (2.65 MB after compression) 83 71 6.17194e+12 8758 6.17201e+12 6.17165e+12 3666193 0.01% 84 72 6.17196e+12 9542 6.17201e+12 6.17165e+12 3679084 0.01% 85 73 6.17197e+12 10249 6.17201e+12 6.17165e+12 3692729 0.01% 86 74 6.17198e+12 9394 6.17201e+12 6.17165e+12 3701714 0.01% 87 75 6.17200e+12 9698 6.17201e+12 6.17165e+12 3714586 0.01% 89 73 cutoff 6.17201e+12 6.17165e+12 3717184 0.01% 90 74 6.17166e+12 11115 6.17201e+12 6.17165e+12 3727574 0.01% 91 75 6.17167e+12 10868 6.17201e+12 6.17165e+12 3738514 0.01% 92 76 6.17167e+12 11057 6.17201e+12 6.17165e+12 3739963 0.01% 93 77 6.17168e+12 10944 6.17201e+12 6.17165e+12 3743981 0.01% Elapsed real time = 67484.77 sec. (tree size = 146.00 MB, solutions = 7) Nodefile size = 20.00 MB (9.66 MB after compression) 94 78 6.17169e+12 10585 6.17201e+12 6.17165e+12 3759440 0.01% 95 79 6.17169e+12 10627 6.17201e+12 6.17165e+12 3763256 0.01% 96 80 6.17171e+12 9889 6.17201e+12 6.17165e+12 3777957 0.01% 97 81 6.17173e+12 10135 6.17201e+12 6.17165e+12 3788835 0.01% 98 82 6.17173e+12 10277 6.17201e+12 6.17165e+12 3800480 0.01% 99 83 6.17176e+12 10284 6.17201e+12 6.17165e+12 3813863 0.01% 100 84 6.17176e+12 10191 6.17201e+12 6.17165e+12 3815158 0.01% 101 85 6.17176e+12 10013 6.17201e+12 6.17165e+12 3824136 0.01% 102 86 6.17178e+12 10251 6.17201e+12 6.17165e+12 3845676 0.01% 103 87 6.17184e+12 10157 6.17201e+12 6.17165e+12 3874236 0.01% Elapsed real time = 69774.27 sec. (tree size = 165.22 MB, solutions = 7) Nodefile size = 38.12 MB (18.64 MB after compression) 104 88 6.17185e+12 10361 6.17201e+12 6.17165e+12 3886302 0.01% 105 89 6.17186e+12 9783 6.17201e+12 6.17165e+12 3898006 0.01% 106 90 6.17187e+12 8131 6.17201e+12 6.17165e+12 3913811 0.01% 107 91 6.17190e+12 8400 6.17201e+12 6.17165e+12 3931403 0.01% 108 92 6.17192e+12 7657 6.17201e+12 6.17165e+12 3946528 0.01% 109 93 6.17193e+12 7794 6.17201e+12 6.17165e+12 3955964 0.01% 110 94 6.17194e+12 8788 6.17201e+12 6.17165e+12 3969188 0.01% 111 95 6.17196e+12 7685 6.17201e+12 6.17165e+12 3980085 0.01% 112 96 6.17197e+12 8795 6.17201e+12 6.17165e+12 3994221 0.01% 113 97 6.17199e+12 8245 6.17201e+12 6.17165e+12 4007923 0.01% Elapsed real time = 71886.90 sec. (tree size = 185.58 MB, solutions = 7) Nodefile size = 58.28 MB (27.76 MB after compression) 114 98 6.17200e+12 8790 6.17201e+12 6.17165e+12 4022031 0.01% 117 97 6.17175e+12 11359 6.17201e+12 6.17166e+12 4060491 0.01% 118 98 6.17177e+12 11470 6.17201e+12 6.17166e+12 4069673 0.01% 119 99 6.17182e+12 10266 6.17201e+12 6.17166e+12 4101291 0.01% 120 100 6.17182e+12 10185 6.17201e+12 6.17166e+12 4105066 0.01% 121 101 6.17184e+12 9985 6.17201e+12 6.17166e+12 4122192 0.01% 122 102 6.17186e+12 9644 6.17201e+12 6.17166e+12 4134166 0.01% 123 103 6.17187e+12 9607 6.17201e+12 6.17166e+12 4146829 0.01% 124 104 6.17187e+12 9565 6.17201e+12 6.17166e+12 4149444 0.01% 125 105 6.17188e+12 9721 6.17201e+12 6.17166e+12 4157372 0.01% Elapsed real time = 74357.98 sec. (tree size = 199.89 MB, solutions = 7) Nodefile size = 72.33 MB (34.05 MB after compression) 126 106 6.17189e+12 9291 6.17201e+12 6.17166e+12 4182942 0.01% 127 107 6.17189e+12 9375 6.17201e+12 6.17166e+12 4190420 0.01% 128 106 cutoff 6.17201e+12 6.17166e+12 4195843 0.01% 129 107 6.17198e+12 7198 6.17201e+12 6.17166e+12 4225304 0.01% 131 105 cutoff 6.17201e+12 6.17166e+12 4228265 0.01% 132 106 6.17173e+12 11359 6.17201e+12 6.17167e+12 4269137 0.01% 133 107 6.17173e+12 10512 6.17201e+12 6.17167e+12 4271229 0.01% 134 108 6.17173e+12 10450 6.17201e+12 6.17167e+12 4275203 0.01% 135 109 6.17174e+12 10386 6.17201e+12 6.17167e+12 4291366 0.01% 136 110 6.17177e+12 9901 6.17201e+12 6.17167e+12 4306331 0.01% Elapsed real time = 76884.19 sec. (tree size = 211.84 MB, solutions = 7) Nodefile size = 84.12 MB (39.28 MB after compression) 137 111 6.17178e+12 10152 6.17201e+12 6.17167e+12 4317211 0.01% 138 112 6.17180e+12 10163 6.17201e+12 6.17167e+12 4332134 0.01% 139 113 6.17181e+12 9805 6.17201e+12 6.17167e+12 4340623 0.01% 140 114 6.17183e+12 9821 6.17201e+12 6.17167e+12 4358975 0.01% 141 115 6.17183e+12 10431 6.17201e+12 6.17167e+12 4366031 0.01% 142 116 6.17198e+12 9599 6.17201e+12 6.17167e+12 4399105 0.01% 143 117 6.17199e+12 9437 6.17201e+12 6.17167e+12 4410647 0.01% 144 118 6.17199e+12 9359 6.17201e+12 6.17167e+12 4411972 0.01% 145 119 6.17200e+12 9381 6.17201e+12 6.17167e+12 4428976 0.01% 147 117 cutoff 6.17201e+12 6.17167e+12 4430585 0.01% Elapsed real time = 78842.84 sec. (tree size = 228.20 MB, solutions = 7) Nodefile size = 101.80 MB (47.52 MB after compression) 148 118 6.17167e+12 10997 6.17201e+12 6.17167e+12 4434587 0.01% 149 119 6.17169e+12 11143 6.17201e+12 6.17167e+12 4446736 0.01% 150 120 6.17171e+12 10326 6.17201e+12 6.17167e+12 4456875 0.01% 151 121 6.17171e+12 10255 6.17201e+12 6.17167e+12 4460528 0.01% 152 122 6.17172e+12 10595 6.17201e+12 6.17167e+12 4472406 0.01% 153 123 6.17172e+12 10482 6.17201e+12 6.17167e+12 4475883 0.01% 154 124 6.17175e+12 10037 6.17201e+12 6.17167e+12 4490833 0.01% 155 125 6.17176e+12 10117 6.17201e+12 6.17167e+12 4500420 0.01% 156 126 6.17176e+12 10206 6.17201e+12 6.17167e+12 4511492 0.01% 157 127 6.17179e+12 10277 6.17201e+12 6.17167e+12 4527381 0.01% Elapsed real time = 80511.55 sec. (tree size = 245.47 MB, solutions = 7) Nodefile size = 117.87 MB (54.91 MB after compression) 158 128 6.17179e+12 10203 6.17201e+12 6.17167e+12 4528709 0.01% 159 129 6.17179e+12 10023 6.17201e+12 6.17167e+12 4537595 0.01% 160 130 6.17182e+12 10248 6.17201e+12 6.17167e+12 4557914 0.01% 161 131 6.17188e+12 10499 6.17201e+12 6.17167e+12 4586416 0.01% 162 132 6.17188e+12 10048 6.17201e+12 6.17167e+12 4599969 0.01% 163 133 6.17189e+12 8709 6.17201e+12 6.17167e+12 4611908 0.01% 164 134 6.17190e+12 8519 6.17201e+12 6.17167e+12 4625939 0.01% 165 135 6.17193e+12 8785 6.17201e+12 6.17167e+12 4647157 0.01% 166 136 6.17195e+12 8345 6.17201e+12 6.17167e+12 4664512 0.01% 167 137 6.17196e+12 8201 6.17201e+12 6.17167e+12 4674152 0.01% Elapsed real time = 82955.70 sec. (tree size = 265.78 MB, solutions = 7) Nodefile size = 138.22 MB (64.71 MB after compression) 168 138 6.17197e+12 8935 6.17201e+12 6.17167e+12 4687542 0.01% 169 139 6.17200e+12 8831 6.17201e+12 6.17167e+12 4707416 0.01% 170 138 cutoff 6.17201e+12 6.17167e+12 4715970 0.01% 172 138 6.17175e+12 10891 6.17201e+12 6.17167e+12 4750304 0.01% 173 139 6.17177e+12 10603 6.17201e+12 6.17167e+12 4760196 0.01% 174 140 6.17177e+12 11333 6.17201e+12 6.17167e+12 4764705 0.01% 175 141 6.17178e+12 10892 6.17201e+12 6.17167e+12 4778320 0.01% 176 142 6.17178e+12 10362 6.17201e+12 6.17167e+12 4782624 0.01% 177 143 6.17181e+12 10216 6.17201e+12 6.17167e+12 4794408 0.01% 178 144 6.17182e+12 10262 6.17201e+12 6.17167e+12 4805889 0.01% Elapsed real time = 85059.96 sec. (tree size = 279.99 MB, solutions = 7) Nodefile size = 152.48 MB (71.68 MB after compression) 179 145 6.17182e+12 10200 6.17201e+12 6.17167e+12 4808435 0.01% 180 146 6.17183e+12 10290 6.17201e+12 6.17167e+12 4818845 0.01% 181 147 6.17183e+12 10451 6.17201e+12 6.17167e+12 4827383 0.01% 182 148 6.17189e+12 10231 6.17201e+12 6.17167e+12 4853727 0.01% 183 149 6.17190e+12 9917 6.17201e+12 6.17167e+12 4869465 0.01% 184 150 6.17193e+12 10408 6.17201e+12 6.17167e+12 4890084 0.01% 185 151 6.17194e+12 10373 6.17201e+12 6.17167e+12 4900643 0.01% 186 152 6.17196e+12 9459 6.17201e+12 6.17167e+12 4919926 0.01% 187 153 6.17198e+12 9287 6.17201e+12 6.17167e+12 4928811 0.01% 188 154 6.17198e+12 9793 6.17201e+12 6.17167e+12 4934003 0.01% Elapsed real time = 87105.75 sec. (tree size = 300.36 MB, solutions = 7) Nodefile size = 172.84 MB (81.76 MB after compression) 189 155 6.17199e+12 9153 6.17201e+12 6.17167e+12 4948229 0.01% 190 154 cutoff 6.17201e+12 6.17167e+12 4953892 0.01% 192 154 6.17169e+12 11488 6.17201e+12 6.17167e+12 4964340 0.01% 193 155 6.17169e+12 10871 6.17201e+12 6.17167e+12 4967066 0.01% 194 156 6.17171e+12 10632 6.17201e+12 6.17167e+12 4979520 0.01% 195 157 6.17171e+12 10512 6.17201e+12 6.17167e+12 4983664 0.01% 196 158 6.17173e+12 10337 6.17201e+12 6.17167e+12 4999248 0.01% 197 159 6.17175e+12 10296 6.17201e+12 6.17167e+12 5009935 0.01% 198 160 6.17175e+12 10331 6.17201e+12 6.17167e+12 5022505 0.01% 199 161 6.17178e+12 10333 6.17201e+12 6.17167e+12 5040308 0.01% Elapsed real time = 88762.01 sec. (tree size = 313.89 MB, solutions = 7) Nodefile size = 187.06 MB (89.26 MB after compression) 200 162 6.17178e+12 10247 6.17201e+12 6.17167e+12 5041749 0.01% 201 163 6.17178e+12 10075 6.17201e+12 6.17167e+12 5050720 0.01% 202 164 6.17180e+12 10020 6.17201e+12 6.17167e+12 5070029 0.01% 203 165 6.17186e+12 10097 6.17201e+12 6.17167e+12 5096955 0.01% 204 166 6.17187e+12 9992 6.17201e+12 6.17167e+12 5111536 0.01% 205 167 6.17188e+12 8673 6.17201e+12 6.17167e+12 5122407 0.01% 206 168 6.17188e+12 8370 6.17201e+12 6.17167e+12 5127816 0.01% 207 169 6.17189e+12 8176 6.17201e+12 6.17167e+12 5139730 0.01% 208 170 6.17192e+12 8568 6.17201e+12 6.17167e+12 5159183 0.01% 209 171 6.17194e+12 7895 6.17201e+12 6.17167e+12 5175557 0.01% Elapsed real time = 90940.79 sec. (tree size = 334.08 MB, solutions = 7) Nodefile size = 207.32 MB (99.32 MB after compression) 210 172 6.17195e+12 8008 6.17201e+12 6.17167e+12 5186424 0.01% 211 173 6.17196e+12 7706 6.17201e+12 6.17167e+12 5198626 0.01% 212 174 6.17198e+12 7961 6.17201e+12 6.17167e+12 5215064 0.01% 213 175 6.17200e+12 8711 6.17201e+12 6.17167e+12 5234648 0.01% 215 173 cutoff 6.17201e+12 6.17167e+12 5236687 0.01% 216 174 6.17168e+12 9733 6.17201e+12 6.17167e+12 5244595 0.01% 218 176 6.17169e+12 9602 6.17201e+12 6.17167e+12 5255327 0.01% 219 177 6.17169e+12 10090 6.17201e+12 6.17167e+12 5260940 0.01% 220 178 6.17181e+12 9870 6.17201e+12 6.17167e+12 5285910 0.01% 221 179 6.17182e+12 9547 6.17201e+12 6.17167e+12 5295128 0.01% Elapsed real time = 92590.29 sec. (tree size = 349.90 MB, solutions = 7) Nodefile size = 223.12 MB (106.52 MB after compression) 222 180 6.17182e+12 9710 6.17201e+12 6.17167e+12 5303755 0.01% 223 181 6.17185e+12 10510 6.17201e+12 6.17167e+12 5321608 0.01% 224 182 6.17188e+12 9323 6.17201e+12 6.17167e+12 5347456 0.01% 225 183 6.17191e+12 9427 6.17201e+12 6.17167e+12 5368284 0.01% 226 182 cutoff 6.17201e+12 6.17167e+12 5374284 0.01% 227 183 6.17191e+12 9269 6.17201e+12 6.17167e+12 5384430 0.01% 228 184 6.17193e+12 8827 6.17201e+12 6.17167e+12 5397875 0.01% 229 185 6.17194e+12 7590 6.17201e+12 6.17167e+12 5410024 0.01% 230 186 6.17195e+12 7649 6.17201e+12 6.17167e+12 5419165 0.01% 231 185 cutoff 6.17201e+12 6.17167e+12 5424000 0.01% Elapsed real time = 94450.75 sec. (tree size = 362.12 MB, solutions = 7) Nodefile size = 235.33 MB (111.77 MB after compression) 232 186 6.17198e+12 7925 6.17201e+12 6.17167e+12 5442776 0.01% 234 186 6.17199e+12 8223 6.17201e+12 6.17167e+12 5457102 0.01% 236 184 cutoff 6.17201e+12 6.17167e+12 5459317 0.01% 238 184 6.17169e+12 10871 6.17201e+12 6.17168e+12 5466242 0.01% 239 185 6.17171e+12 10704 6.17201e+12 6.17168e+12 5474605 0.01% 240 186 6.17171e+12 10145 6.17201e+12 6.17168e+12 5476826 0.01% 241 187 6.17172e+12 10461 6.17201e+12 6.17168e+12 5489671 0.01% 242 188 6.17175e+12 10048 6.17201e+12 6.17168e+12 5500903 0.01% 243 189 6.17176e+12 10211 6.17201e+12 6.17168e+12 5510099 0.01% 244 190 6.17176e+12 9998 6.17201e+12 6.17168e+12 5515357 0.01% Elapsed real time = 96240.30 sec. (tree size = 371.73 MB, solutions = 7) Nodefile size = 245.31 MB (116.86 MB after compression) 245 191 6.17179e+12 10230 6.17201e+12 6.17168e+12 5530784 0.01% 246 192 6.17179e+12 10361 6.17201e+12 6.17168e+12 5532268 0.01% 247 193 6.17179e+12 9932 6.17201e+12 6.17168e+12 5540811 0.01% 248 194 6.17182e+12 10222 6.17201e+12 6.17168e+12 5558670 0.01% 249 195 6.17182e+12 9968 6.17201e+12 6.17168e+12 5568763 0.01% 250 196 6.17183e+12 10128 6.17201e+12 6.17168e+12 5576905 0.01% 251 197 6.17189e+12 10039 6.17201e+12 6.17168e+12 5600763 0.01% 252 198 6.17189e+12 8379 6.17201e+12 6.17168e+12 5609038 0.01% 253 199 6.17190e+12 8436 6.17201e+12 6.17168e+12 5618319 0.01% 254 200 6.17190e+12 8115 6.17201e+12 6.17168e+12 5628569 0.01% Elapsed real time = 98123.52 sec. (tree size = 391.92 MB, solutions = 7) Nodefile size = 265.48 MB (126.59 MB after compression) 255 201 6.17193e+12 8368 6.17201e+12 6.17168e+12 5650583 0.01% 256 202 6.17196e+12 7731 6.17201e+12 6.17168e+12 5663995 0.01% 257 203 6.17197e+12 7790 6.17201e+12 6.17168e+12 5673074 0.01% 258 204 6.17197e+12 7656 6.17201e+12 6.17168e+12 5686663 0.01% 259 205 6.17197e+12 9012 6.17201e+12 6.17168e+12 5690233 0.01% 260 206 6.17200e+12 7853 6.17201e+12 6.17168e+12 5704578 0.01% 261 205 cutoff 6.17201e+12 6.17168e+12 5706958 0.01% 263 205 6.17174e+12 9935 6.17201e+12 6.17168e+12 5740069 0.01% 264 206 6.17174e+12 9859 6.17201e+12 6.17168e+12 5742584 0.01% 265 207 6.17175e+12 9350 6.17201e+12 6.17168e+12 5752645 0.01% Elapsed real time = 99992.09 sec. (tree size = 406.16 MB, solutions = 7) Nodefile size = 279.73 MB (133.02 MB after compression) 267 209 6.17176e+12 9222 6.17201e+12 6.17168e+12 5761613 0.01% 268 210 6.17176e+12 8833 6.17201e+12 6.17168e+12 5768959 0.01% 269 211 6.17191e+12 8439 6.17201e+12 6.17168e+12 5797980 0.01% 270 210 cutoff 6.17201e+12 6.17168e+12 5802584 0.01% 271 211 6.17195e+12 8590 6.17201e+12 6.17168e+12 5824065 0.01% 272 212 6.17199e+12 8656 6.17201e+12 6.17168e+12 5841346 0.01% 273 211 cutoff 6.17201e+12 6.17168e+12 5846328 0.01% 275 211 6.17168e+12 9737 6.17201e+12 6.17168e+12 5856312 0.01% 277 213 6.17170e+12 9680 6.17201e+12 6.17168e+12 5865354 0.01% 278 214 6.17175e+12 9939 6.17201e+12 6.17168e+12 5893304 0.01% Elapsed real time = 102236.63 sec. (tree size = 419.81 MB, solutions = 7) Nodefile size = 293.59 MB (139.96 MB after compression) 279 215 6.17176e+12 9698 6.17201e+12 6.17168e+12 5898267 0.01% 280 216 6.17176e+12 9344 6.17201e+12 6.17168e+12 5905964 0.01% 281 217 6.17179e+12 9880 6.17201e+12 6.17168e+12 5926660 0.01% 282 218 6.17179e+12 9629 6.17201e+12 6.17168e+12 5939143 0.01% 283 219 6.17180e+12 9900 6.17201e+12 6.17168e+12 5948631 0.01% 284 220 6.17182e+12 7586 6.17201e+12 6.17168e+12 5964549 0.01% 285 221 6.17183e+12 9130 6.17201e+12 6.17168e+12 5974294 0.01% 286 222 6.17185e+12 7822 6.17201e+12 6.17168e+12 5984995 0.01% 287 223 6.17187e+12 8141 6.17201e+12 6.17168e+12 6001092 0.01% 288 224 6.17191e+12 8254 6.17201e+12 6.17168e+12 6018555 0.01% Elapsed real time = 104421.81 sec. (tree size = 439.89 MB, solutions = 7) Nodefile size = 313.33 MB (149.52 MB after compression) 289 225 6.17192e+12 8068 6.17201e+12 6.17168e+12 6031635 0.01% 290 226 6.17194e+12 8004 6.17201e+12 6.17168e+12 6046069 0.01% 291 227 6.17195e+12 7909 6.17201e+12 6.17168e+12 6055080 0.01% 292 228 6.17197e+12 8169 6.17201e+12 6.17168e+12 6066065 0.01% 293 229 6.17199e+12 7841 6.17201e+12 6.17168e+12 6075077 0.01% 294 230 6.17201e+12 7792 6.17201e+12 6.17168e+12 6086200 0.01% 297 229 6.17169e+12 9653 6.17201e+12 6.17168e+12 6089921 0.01% 298 230 6.17170e+12 9647 6.17201e+12 6.17168e+12 6098148 0.01% 299 231 6.17170e+12 10078 6.17201e+12 6.17168e+12 6103561 0.01% 300 232 6.17176e+12 10024 6.17201e+12 6.17168e+12 6127888 0.01% Elapsed real time = 106004.97 sec. (tree size = 455.89 MB, solutions = 7) Nodefile size = 329.56 MB (157.06 MB after compression) 301 233 6.17179e+12 11041 6.17201e+12 6.17168e+12 6145488 0.01% 302 234 6.17180e+12 9867 6.17201e+12 6.17168e+12 6161957 0.01% 303 235 6.17180e+12 9187 6.17201e+12 6.17168e+12 6173589 0.01% 304 236 6.17182e+12 8497 6.17201e+12 6.17168e+12 6189326 0.01% 305 237 6.17183e+12 9195 6.17201e+12 6.17168e+12 6198812 0.01% 306 238 6.17185e+12 9351 6.17201e+12 6.17168e+12 6211358 0.01% 307 239 6.17187e+12 8474 6.17201e+12 6.17168e+12 6231471 0.01% 308 240 6.17190e+12 8584 6.17201e+12 6.17168e+12 6249072 0.01% 309 241 6.17192e+12 8825 6.17201e+12 6.17168e+12 6261640 0.01% 310 242 6.17194e+12 8592 6.17201e+12 6.17168e+12 6275629 0.01% Elapsed real time = 108305.45 sec. (tree size = 476.06 MB, solutions = 7) Nodefile size = 349.69 MB (166.61 MB after compression) 311 243 6.17195e+12 9198 6.17201e+12 6.17168e+12 6282542 0.01% 312 244 6.17197e+12 10207 6.17201e+12 6.17168e+12 6297602 0.01% 313 245 6.17199e+12 9675 6.17201e+12 6.17168e+12 6306160 0.01% 314 246 6.17201e+12 7957 6.17201e+12 6.17168e+12 6315487 0.01% 317 245 6.17170e+12 9504 6.17201e+12 6.17168e+12 6328026 0.01% 318 246 6.17176e+12 9606 6.17201e+12 6.17168e+12 6351487 0.01% 319 247 6.17184e+12 7501 6.17201e+12 6.17168e+12 6387318 0.01% 320 248 6.17188e+12 6706 6.17201e+12 6.17168e+12 6400256 0.01% 321 249 6.17194e+12 6901 6.17201e+12 6.17168e+12 6417039 0.01% 322 248 cutoff 6.17201e+12 6.17168e+12 6427675 0.01% Elapsed real time = 110395.67 sec. (tree size = 488.29 MB, solutions = 7) Nodefile size = 361.85 MB (172.37 MB after compression) 323 249 6.17197e+12 8206 6.17201e+12 6.17168e+12 6437659 0.01% 324 248 cutoff 6.17201e+12 6.17168e+12 6450131 0.01% 326 248 6.17177e+12 10979 6.17201e+12 6.17168e+12 6482578 0.01% 327 249 6.17178e+12 10483 6.17201e+12 6.17168e+12 6491688 0.01% 328 250 6.17178e+12 10486 6.17201e+12 6.17168e+12 6494787 0.01% 329 251 6.17180e+12 10425 6.17201e+12 6.17168e+12 6508812 0.01% 330 252 6.17182e+12 10323 6.17201e+12 6.17168e+12 6523431 0.01% 331 253 6.17183e+12 10361 6.17201e+12 6.17168e+12 6533457 0.01% 332 254 6.17183e+12 10269 6.17201e+12 6.17168e+12 6538506 0.01% 333 255 6.17186e+12 10323 6.17201e+12 6.17168e+12 6552181 0.01% Elapsed real time = 112181.51 sec. (tree size = 502.61 MB, solutions = 7) Nodefile size = 376.07 MB (179.47 MB after compression) 334 256 6.17186e+12 10056 6.17201e+12 6.17168e+12 6562087 0.01% 335 257 6.17186e+12 11277 6.17201e+12 6.17168e+12 6563266 0.01% 336 258 6.17187e+12 10014 6.17201e+12 6.17168e+12 6574398 0.01% 337 259 6.17187e+12 9953 6.17201e+12 6.17168e+12 6578978 0.01% 338 260 6.17193e+12 10001 6.17201e+12 6.17168e+12 6603679 0.01% 339 261 6.17193e+12 9917 6.17201e+12 6.17168e+12 6616807 0.01% 340 262 6.17194e+12 8167 6.17201e+12 6.17168e+12 6627204 0.01% 341 263 6.17197e+12 9437 6.17201e+12 6.17168e+12 6649861 0.01% 342 262 cutoff 6.17201e+12 6.17168e+12 6669326 0.01% 344 262 6.17169e+12 10158 6.17201e+12 6.17168e+12 6673617 0.01% Elapsed real time = 114024.41 sec. (tree size = 517.03 MB, solutions = 7) Nodefile size = 392.36 MB (187.56 MB after compression) 345 263 6.17170e+12 9605 6.17201e+12 6.17168e+12 6682456 0.01% 346 264 6.17176e+12 9884 6.17201e+12 6.17168e+12 6709439 0.01% 347 265 6.17176e+12 9700 6.17201e+12 6.17168e+12 6714129 0.01% 348 266 6.17176e+12 9345 6.17201e+12 6.17168e+12 6722903 0.01% 349 267 6.17179e+12 9844 6.17201e+12 6.17168e+12 6742987 0.01% 350 268 6.17180e+12 9629 6.17201e+12 6.17168e+12 6756553 0.01% 351 269 6.17181e+12 8573 6.17201e+12 6.17168e+12 6765755 0.01% 352 270 6.17183e+12 7585 6.17201e+12 6.17168e+12 6781942 0.01% 353 271 6.17184e+12 7864 6.17201e+12 6.17168e+12 6793081 0.01% 354 272 6.17186e+12 7775 6.17201e+12 6.17168e+12 6804865 0.01% Elapsed real time = 116250.78 sec. (tree size = 536.78 MB, solutions = 7) Nodefile size = 410.35 MB (196.72 MB after compression) 355 273 6.17187e+12 7804 6.17201e+12 6.17168e+12 6821244 0.01% 356 274 6.17191e+12 8130 6.17201e+12 6.17168e+12 6840908 0.01% 357 275 6.17193e+12 8025 6.17201e+12 6.17168e+12 6855110 0.01% 358 276 6.17193e+12 7776 6.17201e+12 6.17168e+12 6860620 0.01% 359 275 cutoff 6.17201e+12 6.17168e+12 6864773 0.01% 360 276 6.17196e+12 7892 6.17201e+12 6.17168e+12 6879269 0.01% 361 277 6.17198e+12 8122 6.17201e+12 6.17168e+12 6892565 0.01% 362 278 6.17200e+12 7951 6.17201e+12 6.17168e+12 6901028 0.01% 364 276 cutoff 6.17201e+12 6.17168e+12 6904026 0.01% 365 277 6.17170e+12 9523 6.17201e+12 6.17169e+12 6915854 0.01% Elapsed real time = 117926.67 sec. (tree size = 547.13 MB, solutions = 7) Nodefile size = 422.57 MB (202.14 MB after compression) 366 278 6.17184e+12 6933 6.17201e+12 6.17169e+12 6952199 0.01% 367 279 6.17198e+12 840 6.17201e+12 6.17169e+12 6966684 0.01% 369 281 6.17201e+12 899 6.17201e+12 6.17169e+12 6969824 0.01% 374 280 6.17170e+12 9504 6.17201e+12 6.17169e+12 6982484 0.01% 375 281 6.17176e+12 9606 6.17201e+12 6.17169e+12 7008385 0.01% 376 282 6.17179e+12 9990 6.17201e+12 6.17169e+12 7027594 0.01% 377 283 6.17179e+12 10078 6.17201e+12 6.17169e+12 7032989 0.01% 378 284 6.17180e+12 8590 6.17201e+12 6.17169e+12 7047199 0.01% 379 285 6.17182e+12 7926 6.17201e+12 6.17169e+12 7061490 0.01% 380 286 6.17183e+12 8091 6.17201e+12 6.17169e+12 7071543 0.01% Elapsed real time = 120476.55 sec. (tree size = 565.19 MB, solutions = 7) Nodefile size = 438.72 MB (209.88 MB after compression) 381 287 6.17185e+12 9669 6.17201e+12 6.17169e+12 7081564 0.01% 382 288 6.17187e+12 8042 6.17201e+12 6.17169e+12 7096098 0.01% 383 289 6.17191e+12 8427 6.17201e+12 6.17169e+12 7115709 0.01% 384 290 6.17192e+12 8261 6.17201e+12 6.17169e+12 7130203 0.01% 385 291 6.17193e+12 9182 6.17201e+12 6.17169e+12 7134709 0.01% 386 292 6.17195e+12 7896 6.17201e+12 6.17169e+12 7148170 0.01% 387 293 6.17198e+12 8858 6.17201e+12 6.17169e+12 7159986 0.01% 388 294 6.17199e+12 8017 6.17201e+12 6.17169e+12 7166778 0.01% 389 295 6.17201e+12 8180 6.17201e+12 6.17169e+12 7177048 0.01% 392 294 6.17169e+12 9725 6.17201e+12 6.17169e+12 7184373 0.01% Elapsed real time = 122041.91 sec. (tree size = 581.64 MB, solutions = 7) Nodefile size = 457.05 MB (217.98 MB after compression) 394 296 6.17170e+12 9564 6.17201e+12 6.17169e+12 7192605 0.01% 395 297 6.17171e+12 9912 6.17201e+12 6.17169e+12 7198051 0.01% 396 298 6.17182e+12 10292 6.17201e+12 6.17169e+12 7222161 0.01% 397 299 6.17183e+12 10645 6.17201e+12 6.17169e+12 7233467 0.01% 398 300 6.17184e+12 10430 6.17201e+12 6.17169e+12 7241430 0.01% 399 301 6.17189e+12 9263 6.17201e+12 6.17169e+12 7263247 0.01% 400 302 6.17192e+12 9482 6.17201e+12 6.17169e+12 7281260 0.01% 401 301 cutoff 6.17201e+12 6.17169e+12 7285179 0.01% 402 302 6.17192e+12 9267 6.17201e+12 6.17169e+12 7291962 0.01% 403 303 6.17194e+12 8776 6.17201e+12 6.17169e+12 7304237 0.01% Elapsed real time = 123871.40 sec. (tree size = 599.37 MB, solutions = 7) Nodefile size = 473.10 MB (225.46 MB after compression) 404 304 6.17196e+12 7741 6.17201e+12 6.17169e+12 7316418 0.01% 405 305 6.17197e+12 7541 6.17201e+12 6.17169e+12 7326264 0.01% 406 306 6.17199e+12 7860 6.17201e+12 6.17169e+12 7343094 0.01% 408 304 cutoff 6.17201e+12 6.17169e+12 7347778 0.01% 410 304 6.17180e+12 10658 6.17201e+12 6.17169e+12 7376217 0.01% 411 305 6.17181e+12 10603 6.17201e+12 6.17169e+12 7387797 0.01% 412 306 6.17184e+12 10071 6.17201e+12 6.17169e+12 7401536 0.01% 413 307 6.17185e+12 10304 6.17201e+12 6.17169e+12 7413136 0.01% 414 308 6.17186e+12 10312 6.17201e+12 6.17169e+12 7425197 0.01% 415 309 6.17188e+12 10445 6.17201e+12 6.17169e+12 7441031 0.01% Elapsed real time = 125742.97 sec. (tree size = 611.73 MB, solutions = 7) Nodefile size = 485.31 MB (230.77 MB after compression) 416 310 6.17188e+12 10312 6.17201e+12 6.17169e+12 7452697 0.01% 417 311 6.17191e+12 10249 6.17201e+12 6.17169e+12 7473115 0.01% 418 312 6.17191e+12 10192 6.17201e+12 6.17169e+12 7475132 0.01% 419 313 6.17197e+12 9951 6.17201e+12 6.17169e+12 7503043 0.01% 420 314 6.17197e+12 9853 6.17201e+12 6.17169e+12 7515681 0.01% 421 315 6.17198e+12 9155 6.17201e+12 6.17169e+12 7522794 0.01% 422 316 6.17201e+12 9419 6.17201e+12 6.17169e+12 7541877 0.01% 423 315 cutoff 6.17201e+12 6.17169e+12 7552270 0.01% 425 315 6.17170e+12 10214 6.17201e+12 6.17169e+12 7563983 0.01% 426 316 6.17171e+12 11081 6.17201e+12 6.17169e+12 7567272 0.01% Elapsed real time = 127729.26 sec. (tree size = 626.00 MB, solutions = 7) Nodefile size = 499.56 MB (237.07 MB after compression) 427 317 6.17173e+12 9914 6.17201e+12 6.17169e+12 7577815 0.01% 428 318 6.17174e+12 10061 6.17201e+12 6.17169e+12 7584884 0.01% 429 319 6.17177e+12 10193 6.17201e+12 6.17169e+12 7597672 0.01% 430 320 6.17177e+12 9875 6.17201e+12 6.17169e+12 7605974 0.01% 431 321 6.17177e+12 9854 6.17201e+12 6.17169e+12 7607151 0.01% 432 322 6.17180e+12 10145 6.17201e+12 6.17169e+12 7622597 0.01% 433 323 6.17180e+12 10142 6.17201e+12 6.17169e+12 7633076 0.01% 434 324 6.17181e+12 10134 6.17201e+12 6.17169e+12 7640438 0.01% 435 325 6.17187e+12 10041 6.17201e+12 6.17169e+12 7665967 0.01% 436 326 6.17187e+12 9496 6.17201e+12 6.17169e+12 7675547 0.01% Elapsed real time = 129400.68 sec. (tree size = 645.82 MB, solutions = 7) Nodefile size = 519.43 MB (246.53 MB after compression) 437 327 6.17188e+12 8442 6.17201e+12 6.17169e+12 7687476 0.01% 438 328 6.17188e+12 8072 6.17201e+12 6.17169e+12 7697724 0.01% 439 329 6.17192e+12 8351 6.17201e+12 6.17169e+12 7719545 0.01% 440 330 6.17194e+12 7625 6.17201e+12 6.17169e+12 7734163 0.01% 441 331 6.17195e+12 7842 6.17201e+12 6.17169e+12 7743133 0.01% 442 332 6.17195e+12 7342 6.17201e+12 6.17169e+12 7755123 0.01% 443 333 6.17198e+12 7690 6.17201e+12 6.17169e+12 7771929 0.01% 444 334 6.17200e+12 7542 6.17201e+12 6.17169e+12 7791339 0.01% 445 333 cutoff 6.17201e+12 6.17169e+12 7793155 0.01% 447 333 6.17171e+12 9503 6.17201e+12 6.17169e+12 7805360 0.01% Elapsed real time = 131310.96 sec. (tree size = 660.23 MB, solutions = 7) Nodefile size = 535.72 MB (253.74 MB after compression) 448 334 6.17177e+12 9608 6.17201e+12 6.17169e+12 7829076 0.01% 449 335 6.17180e+12 10000 6.17201e+12 6.17169e+12 7847974 0.01% 450 336 6.17180e+12 9985 6.17201e+12 6.17169e+12 7853248 0.01% 451 337 6.17181e+12 8672 6.17201e+12 6.17169e+12 7865439 0.01% 452 338 6.17183e+12 7924 6.17201e+12 6.17169e+12 7881187 0.01% 453 339 6.17184e+12 8256 6.17201e+12 6.17169e+12 7890650 0.01% 454 340 6.17186e+12 8252 6.17201e+12 6.17169e+12 7901888 0.01% 455 341 6.17187e+12 8049 6.17201e+12 6.17169e+12 7917020 0.01% 456 342 6.17189e+12 7675 6.17201e+12 6.17169e+12 7929798 0.01% 457 343 6.17190e+12 9232 6.17201e+12 6.17169e+12 7941516 0.01% Elapsed real time = 133510.05 sec. (tree size = 680.32 MB, solutions = 7) Nodefile size = 553.91 MB (262.14 MB after compression) 458 344 6.17190e+12 7689 6.17201e+12 6.17169e+12 7947078 0.01% 459 345 6.17191e+12 9094 6.17201e+12 6.17169e+12 7954779 0.01% 460 346 6.17193e+12 8088 6.17201e+12 6.17169e+12 7962208 0.01% 461 347 6.17194e+12 7843 6.17201e+12 6.17169e+12 7968104 0.01% 462 346 cutoff 6.17201e+12 6.17169e+12 7979813 0.01% 464 346 6.17171e+12 9990 6.17201e+12 6.17169e+12 7993677 0.01% 465 347 6.17171e+12 9863 6.17201e+12 6.17169e+12 7995765 0.01% 466 348 6.17172e+12 10026 6.17201e+12 6.17169e+12 8004128 0.01% 467 349 6.17178e+12 9958 6.17201e+12 6.17169e+12 8033630 0.01% 468 350 6.17178e+12 9678 6.17201e+12 6.17169e+12 8044086 0.01% Elapsed real time = 135204.33 sec. (tree size = 694.25 MB, solutions = 7) Nodefile size = 568.03 MB (268.75 MB after compression) 469 351 6.17181e+12 10744 6.17201e+12 6.17169e+12 8063527 0.01% 470 352 6.17181e+12 9852 6.17201e+12 6.17169e+12 8072006 0.01% 471 353 6.17182e+12 8617 6.17201e+12 6.17169e+12 8082604 0.01% 472 354 6.17184e+12 7843 6.17201e+12 6.17169e+12 8098891 0.01% 473 355 6.17185e+12 8010 6.17201e+12 6.17169e+12 8108450 0.01% 474 356 6.17187e+12 8105 6.17201e+12 6.17169e+12 8119553 0.01% 475 357 6.17189e+12 7955 6.17201e+12 6.17169e+12 8135874 0.01% 476 358 6.17193e+12 8338 6.17201e+12 6.17169e+12 8155291 0.01% 477 359 6.17194e+12 8067 6.17201e+12 6.17169e+12 8170832 0.01% 478 360 6.17194e+12 7954 6.17201e+12 6.17169e+12 8177434 0.01% Elapsed real time = 137429.45 sec. (tree size = 714.56 MB, solutions = 7) Nodefile size = 588.27 MB (277.92 MB after compression) 479 361 6.17197e+12 9104 6.17201e+12 6.17169e+12 8192320 0.01% 480 362 6.17200e+12 7900 6.17201e+12 6.17169e+12 8204936 0.01% 481 361 cutoff 6.17201e+12 6.17169e+12 8208095 0.01% 483 361 6.17176e+12 10086 6.17201e+12 6.17169e+12 8243877 0.01% 484 362 6.17176e+12 10024 6.17201e+12 6.17169e+12 8247875 0.01% 485 363 6.17177e+12 9519 6.17201e+12 6.17169e+12 8258547 0.01% 487 365 6.17178e+12 9636 6.17201e+12 6.17169e+12 8265517 0.01% 488 366 6.17178e+12 8887 6.17201e+12 6.17169e+12 8270568 0.01% 489 367 6.17193e+12 8544 6.17201e+12 6.17169e+12 8295619 0.01% 490 368 6.17198e+12 8315 6.17201e+12 6.17169e+12 8319685 0.01% Elapsed real time = 139585.96 sec. (tree size = 730.73 MB, solutions = 7) Nodefile size = 604.36 MB (286.45 MB after compression) 491 367 cutoff 6.17201e+12 6.17169e+12 8325134 0.01% 493 367 6.17183e+12 9386 6.17201e+12 6.17169e+12 8367293 0.01% 494 368 6.17187e+12 7204 6.17201e+12 6.17169e+12 8382290 0.01% 495 369 6.17187e+12 6924 6.17201e+12 6.17169e+12 8389636 0.01% 496 370 6.17193e+12 7008 6.17201e+12 6.17169e+12 8407516 0.01% 497 371 6.17196e+12 7542 6.17201e+12 6.17169e+12 8420514 0.01% 498 370 cutoff 6.17201e+12 6.17169e+12 8439055 0.01% 500 370 6.17175e+12 10024 6.17201e+12 6.17169e+12 8463761 0.01% 501 371 6.17178e+12 10407 6.17201e+12 6.17169e+12 8482479 0.01% 502 372 6.17178e+12 9903 6.17201e+12 6.17169e+12 8491809 0.01% Elapsed real time = 142242.99 sec. (tree size = 739.06 MB, solutions = 7) Nodefile size = 612.51 MB (290.13 MB after compression) 503 373 6.17179e+12 9569 6.17201e+12 6.17169e+12 8503268 0.01% 504 374 6.17180e+12 8452 6.17201e+12 6.17169e+12 8512709 0.01% 505 375 6.17182e+12 7647 6.17201e+12 6.17169e+12 8527752 0.01% 506 376 6.17183e+12 7869 6.17201e+12 6.17169e+12 8537217 0.01% 507 377 6.17185e+12 7712 6.17201e+12 6.17169e+12 8548583 0.01% 508 378 6.17186e+12 7698 6.17201e+12 6.17169e+12 8563740 0.01% 509 379 6.17190e+12 8256 6.17201e+12 6.17169e+12 8580421 0.01% 510 380 6.17191e+12 8066 6.17201e+12 6.17169e+12 8593076 0.01% 511 381 6.17192e+12 7996 6.17201e+12 6.17169e+12 8596808 0.01% 512 382 6.17194e+12 7841 6.17201e+12 6.17169e+12 8610025 0.01% Elapsed real time = 144229.89 sec. (tree size = 759.33 MB, solutions = 7) Nodefile size = 632.79 MB (299.45 MB after compression) 513 383 6.17197e+12 8178 6.17201e+12 6.17169e+12 8622017 0.01% 514 384 6.17199e+12 7897 6.17201e+12 6.17169e+12 8629786 0.01% 515 385 6.17200e+12 7835 6.17201e+12 6.17169e+12 8640169 0.01% 517 383 cutoff 6.17201e+12 6.17169e+12 8642067 0.01% 518 384 6.17170e+12 9845 6.17201e+12 6.17169e+12 8651459 0.01% 520 386 6.17171e+12 9657 6.17201e+12 6.17169e+12 8661342 0.01% 521 387 6.17177e+12 9891 6.17201e+12 6.17169e+12 8687441 0.01% 522 388 6.17177e+12 10014 6.17201e+12 6.17169e+12 8692975 0.01% 523 389 6.17180e+12 10289 6.17201e+12 6.17169e+12 8709769 0.01% 524 390 6.17180e+12 9954 6.17201e+12 6.17169e+12 8719221 0.01% Elapsed real time = 146337.98 sec. (tree size = 775.19 MB, solutions = 7) Nodefile size = 648.84 MB (307.24 MB after compression) 525 391 6.17181e+12 10197 6.17201e+12 6.17169e+12 8729483 0.01% 526 392 6.17181e+12 8808 6.17201e+12 6.17169e+12 8738708 0.01% 527 393 6.17184e+12 7880 6.17201e+12 6.17169e+12 8751937 0.01% 528 394 6.17184e+12 7769 6.17201e+12 6.17169e+12 8760993 0.01% 529 395 6.17187e+12 7785 6.17201e+12 6.17169e+12 8772781 0.01% 530 396 6.17188e+12 7640 6.17201e+12 6.17169e+12 8786665 0.01% 531 397 6.17192e+12 8227 6.17201e+12 6.17169e+12 8805065 0.01% 532 398 6.17194e+12 8060 6.17201e+12 6.17169e+12 8818196 0.01% 533 399 6.17194e+12 7891 6.17201e+12 6.17169e+12 8821742 0.01% 534 400 6.17196e+12 7891 6.17201e+12 6.17169e+12 8835884 0.01% Elapsed real time = 148064.45 sec. (tree size = 795.54 MB, solutions = 7) Nodefile size = 669.18 MB (316.46 MB after compression) 535 401 6.17199e+12 7788 6.17201e+12 6.17169e+12 8846209 0.01% 536 402 6.17201e+12 7790 6.17201e+12 6.17169e+12 8854831 0.01% 539 401 6.17170e+12 9600 6.17201e+12 6.17169e+12 8859513 0.01% 540 402 6.17171e+12 9493 6.17201e+12 6.17169e+12 8867906 0.01% 541 403 6.17171e+12 9971 6.17201e+12 6.17169e+12 8874284 0.01% 542 404 6.17177e+12 10417 6.17201e+12 6.17169e+12 8898641 0.01% 543 405 6.17180e+12 10246 6.17201e+12 6.17169e+12 8916828 0.01% 544 406 6.17180e+12 10103 6.17201e+12 6.17169e+12 8923506 0.01% 545 407 6.17181e+12 8648 6.17201e+12 6.17169e+12 8938776 0.01% 546 408 6.17183e+12 8209 6.17201e+12 6.17169e+12 8952572 0.01% Elapsed real time = 149951.48 sec. (tree size = 811.50 MB, solutions = 7) Nodefile size = 685.23 MB (324.10 MB after compression) 547 409 6.17184e+12 8312 6.17201e+12 6.17169e+12 8961412 0.01% 548 410 6.17185e+12 9090 6.17201e+12 6.17169e+12 8971319 0.01% 549 411 6.17186e+12 8909 6.17201e+12 6.17169e+12 8981349 0.01% 550 412 6.17187e+12 7676 6.17201e+12 6.17169e+12 8993117 0.01% 551 413 6.17190e+12 8800 6.17201e+12 6.17169e+12 9005542 0.01% 552 414 6.17191e+12 9185 6.17201e+12 6.17169e+12 9018471 0.01% 553 415 6.17196e+12 7688 6.17201e+12 6.17169e+12 9034968 0.01% 554 416 6.17197e+12 7643 6.17201e+12 6.17169e+12 9042249 0.01% 555 417 6.17199e+12 7686 6.17201e+12 6.17169e+12 9053541 0.01% 556 416 cutoff 6.17201e+12 6.17169e+12 9055606 0.01% Elapsed real time = 151421.21 sec. (tree size = 829.83 MB, solutions = 7) Nodefile size = 703.56 MB (332.13 MB after compression) 558 416 6.17176e+12 9691 6.17201e+12 6.17169e+12 9088713 0.01% 559 417 6.17176e+12 9852 6.17201e+12 6.17169e+12 9091535 0.01% 560 418 6.17177e+12 9408 6.17201e+12 6.17169e+12 9099985 0.01% 561 419 6.17177e+12 9336 6.17201e+12 6.17169e+12 9103263 0.01% 562 420 6.17178e+12 9348 6.17201e+12 6.17169e+12 9116615 0.01% 563 421 6.17179e+12 9260 6.17201e+12 6.17169e+12 9128166 0.01% 564 422 6.17194e+12 8929 6.17201e+12 6.17169e+12 9157210 0.01% 565 423 6.17199e+12 8816 6.17201e+12 6.17169e+12 9177263 0.01% 566 422 cutoff 6.17201e+12 6.17169e+12 9180938 0.01% 568 422 6.17170e+12 9794 6.17201e+12 6.17170e+12 9192947 0.01% Elapsed real time = 154058.43 sec. (tree size = 840.10 MB, solutions = 7) Nodefile size = 715.62 MB (338.19 MB after compression) 569 423 6.17171e+12 9777 6.17201e+12 6.17170e+12 9196144 0.01% 570 424 6.17172e+12 9603 6.17201e+12 6.17170e+12 9205450 0.01% 571 425 6.17178e+12 9883 6.17201e+12 6.17170e+12 9230283 0.01% 572 426 6.17178e+12 9686 6.17201e+12 6.17170e+12 9235313 0.01% 573 427 6.17179e+12 8805 6.17201e+12 6.17170e+12 9249955 0.01% 574 428 6.17182e+12 9773 6.17201e+12 6.17170e+12 9270533 0.01% 575 429 6.17183e+12 8927 6.17201e+12 6.17170e+12 9283843 0.01% 576 430 6.17185e+12 8203 6.17201e+12 6.17170e+12 9302301 0.01% 577 431 6.17186e+12 8369 6.17201e+12 6.17170e+12 9312594 0.01% 578 432 6.17188e+12 8196 6.17201e+12 6.17170e+12 9324891 0.01% Elapsed real time = 156523.97 sec. (tree size = 859.94 MB, solutions = 7) Nodefile size = 733.70 MB (346.81 MB after compression) 579 433 6.17189e+12 9794 6.17201e+12 6.17170e+12 9340990 0.01% 580 434 6.17193e+12 8637 6.17201e+12 6.17170e+12 9360136 0.01% 581 435 6.17194e+12 8967 6.17201e+12 6.17170e+12 9373618 0.01% 582 436 6.17198e+12 9749 6.17201e+12 6.17170e+12 9396711 0.01% 583 437 6.17199e+12 9296 6.17201e+12 6.17170e+12 9404412 0.01% 585 435 cutoff 6.17201e+12 6.17170e+12 9410218 0.01% 586 436 6.17172e+12 9501 6.17201e+12 6.17170e+12 9421424 0.01% 587 437 6.17178e+12 9608 6.17201e+12 6.17170e+12 9443630 0.01% 588 438 6.17180e+12 10511 6.17201e+12 6.17170e+12 9460633 0.01% 589 439 6.17181e+12 10032 6.17201e+12 6.17170e+12 9465798 0.01% Elapsed real time = 158536.40 sec. (tree size = 874.17 MB, solutions = 7) Nodefile size = 747.90 MB (353.30 MB after compression) 590 440 6.17182e+12 8593 6.17201e+12 6.17170e+12 9478476 0.01% 591 441 6.17184e+12 7872 6.17201e+12 6.17170e+12 9492797 0.01% 592 442 6.17185e+12 8168 6.17201e+12 6.17170e+12 9500674 0.01% 593 443 6.17185e+12 8208 6.17201e+12 6.17170e+12 9510765 0.01% 594 444 6.17187e+12 8182 6.17201e+12 6.17170e+12 9520474 0.01% 595 445 6.17189e+12 9848 6.17201e+12 6.17170e+12 9533260 0.01% 596 446 6.17190e+12 7631 6.17201e+12 6.17170e+12 9544839 0.01% 597 447 6.17192e+12 9524 6.17201e+12 6.17170e+12 9554838 0.01% 598 448 6.17192e+12 9148 6.17201e+12 6.17170e+12 9560147 0.01% 599 449 6.17193e+12 8432 6.17201e+12 6.17170e+12 9568390 0.01% Elapsed real time = 160166.21 sec. (tree size = 894.52 MB, solutions = 7) Nodefile size = 768.26 MB (362.10 MB after compression) 600 450 6.17195e+12 8319 6.17201e+12 6.17170e+12 9575750 0.01% 601 451 6.17196e+12 8131 6.17201e+12 6.17170e+12 9582592 0.01% 602 450 cutoff 6.17201e+12 6.17170e+12 9586764 0.01% 604 450 6.17183e+12 7318 6.17201e+12 6.17170e+12 9631553 0.01% 605 451 6.17184e+12 7947 6.17201e+12 6.17170e+12 9641232 0.01% 606 452 6.17188e+12 7023 6.17201e+12 6.17170e+12 9654418 0.01% 607 453 6.17194e+12 7466 6.17201e+12 6.17170e+12 9671961 0.01% 608 454 6.17197e+12 6951 6.17201e+12 6.17170e+12 9684029 0.01% 609 453 cutoff 6.17201e+12 6.17170e+12 9695492 0.01% 611 453 6.17181e+12 9868 6.17201e+12 6.17170e+12 9721512 0.01% Elapsed real time = 162283.16 sec. (tree size = 902.98 MB, solutions = 7) Nodefile size = 778.44 MB (366.58 MB after compression) 612 454 6.17182e+12 9552 6.17201e+12 6.17170e+12 9732133 0.01% 613 455 6.17183e+12 9726 6.17201e+12 6.17170e+12 9741448 0.01% 614 456 6.17188e+12 9317 6.17201e+12 6.17170e+12 9768819 0.01% 615 457 6.17191e+12 9424 6.17201e+12 6.17170e+12 9787255 0.01% 616 458 6.17192e+12 9582 6.17201e+12 6.17170e+12 9797082 0.01% 617 459 6.17193e+12 8830 6.17201e+12 6.17170e+12 9810924 0.01% 618 460 6.17196e+12 9133 6.17201e+12 6.17170e+12 9824976 0.01% 619 461 6.17196e+12 7649 6.17201e+12 6.17170e+12 9833892 0.01% 620 462 6.17198e+12 7594 6.17201e+12 6.17170e+12 9845554 0.01% 621 461 cutoff 6.17201e+12 6.17170e+12 9849407 0.01% Elapsed real time = 164099.95 sec. (tree size = 921.31 MB, solutions = 7) Nodefile size = 794.73 MB (373.70 MB after compression) 623 461 6.17184e+12 7367 6.17201e+12 6.17170e+12 9896094 0.01% 624 462 6.17188e+12 7204 6.17201e+12 6.17170e+12 9910604 0.01% 625 463 6.17188e+12 6977 6.17201e+12 6.17170e+12 9918182 0.01% 626 464 6.17194e+12 7014 6.17201e+12 6.17170e+12 9935302 0.01% 627 463 cutoff 6.17201e+12 6.17170e+12 9948222 0.01% 628 464 6.17197e+12 6984 6.17201e+12 6.17170e+12 9960340 0.01% 629 463 cutoff 6.17201e+12 6.17170e+12 9969640 0.01% 631 463 6.17170e+12 9599 6.17201e+12 6.17170e+12 9973294 0.01% 632 464 6.17171e+12 10055 6.17201e+12 6.17170e+12 9980696 0.01% 633 465 6.17177e+12 9946 6.17201e+12 6.17170e+12 10006199 0.01% Elapsed real time = 166171.10 sec. (tree size = 927.44 MB, solutions = 7) Nodefile size = 800.85 MB (376.41 MB after compression) 634 466 6.17178e+12 9518 6.17201e+12 6.17170e+12 10015571 0.01% 635 467 6.17181e+12 10127 6.17201e+12 6.17170e+12 10034968 0.01% 636 468 6.17181e+12 10343 6.17201e+12 6.17170e+12 10045569 0.01% 637 469 6.17182e+12 8591 6.17201e+12 6.17170e+12 10056707 0.01% 638 470 6.17184e+12 8526 6.17201e+12 6.17170e+12 10072779 0.01% 639 471 6.17185e+12 8033 6.17201e+12 6.17170e+12 10082895 0.01% 640 472 6.17187e+12 7916 6.17201e+12 6.17170e+12 10093799 0.01% 641 473 6.17188e+12 8904 6.17201e+12 6.17170e+12 10107804 0.01% 642 474 6.17190e+12 7671 6.17201e+12 6.17170e+12 10120728 0.01% 643 475 6.17191e+12 7571 6.17201e+12 6.17170e+12 10131274 0.01% Elapsed real time = 168021.85 sec. (tree size = 947.69 MB, solutions = 7) Nodefile size = 821.21 MB (385.16 MB after compression) 644 476 6.17192e+12 7457 6.17201e+12 6.17170e+12 10138107 0.01% 645 477 6.17193e+12 9000 6.17201e+12 6.17170e+12 10146153 0.01% 646 478 6.17201e+12 8028 6.17201e+12 6.17170e+12 10168374 0.01% 649 477 6.17172e+12 9525 6.17201e+12 6.17170e+12 10180352 0.01% Log started (V12.4.0.0) Sun Dec 16 06:09:33 2012 Problem '1RIS.matrix.56p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 16.76 sec. Warning: CPLEX version found in file /work/tschiex/CPD-Décembre2012/cplex/cplex.prm (12.2.0.0) does not match this CPLEX version (12.4.0.0). Parameter file '/work/tschiex/CPD-Décembre2012/cplex/cplex.prm' read. Presolve has eliminated 0 rows and 0 columns... Tried aggregator 1 time. Presolve has eliminated 0 rows and 0 columns... Presolve time = 27.18 sec. Elapsed time 10.75 sec. for 0% of probing. Elapsed time 21.56 sec. for 0% of probing. Elapsed time 33.04 sec. for 0% of probing. Elapsed time 44.11 sec. for 0% of probing. Elapsed time 54.35 sec. for 0% of probing. Elapsed time 65.66 sec. for 0% of probing. Elapsed time 75.75 sec. for 0% of probing. Elapsed time 86.71 sec. for 0% of probing. Elapsed time 97.05 sec. for 0% of probing. Elapsed time 108.95 sec. for 0% of probing. Probing time = 118.72 sec. Clique table members: 20788750. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 31963.10 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 6.17155e+12 11089 6.17155e+12 1708439 * 0+ 0 3.07446e+18 6.17155e+12 1708439 100.00% 0 0 6.17155e+12 11089 3.07446e+18 ZeroHalf: 2 1709403 100.00% Heuristic still looking. * 0+ 0 6.17287e+12 6.17155e+12 1709403 0.02% Heuristic still looking. Heuristic still looking. Repeating presolve. Aggregator has done 79 substitutions... Tried aggregator 2 times. Aggregator has done 79 substitutions... MIP Presolve eliminated 66715 rows and 3127556 columns. Aggregator did 79 substitutions. Reduced MIP has 113442 rows, 2021973 columns, and 4155348 nonzeros. Reduced MIP has 2021973 binaries, 0 generals, 0 SOSs, and 0 indicators. Elapsed time 14.83 sec. for 0% of probing (77 vars fixed). Elapsed time 28.82 sec. for 0% of probing (81 vars fixed). Elapsed time 43.62 sec. for 0% of probing (81 vars fixed). Elapsed time 60.03 sec. for 0% of probing (96 vars fixed). Elapsed time 75.95 sec. for 0% of probing (110 vars fixed). Elapsed time 89.95 sec. for 0% of probing (110 vars fixed). Elapsed time 104.49 sec. for 0% of probing (329 vars fixed). Elapsed time 114.52 sec. for 0% of probing (357 vars fixed). Elapsed time 124.59 sec. for 0% of probing (405 vars fixed). Elapsed time 134.68 sec. for 0% of probing (417 vars fixed). Elapsed time 144.74 sec. for 0% of probing (417 vars fixed). Elapsed time 154.90 sec. for 0% of probing (417 vars fixed). Elapsed time 164.91 sec. for 0% of probing (417 vars fixed). Elapsed time 174.95 sec. for 0% of probing (417 vars fixed). Elapsed time 185.01 sec. for 0% of probing (417 vars fixed). Elapsed time 195.02 sec. for 0% of probing (417 vars fixed). Elapsed time 205.05 sec. for 0% of probing (417 vars fixed). Elapsed time 215.11 sec. for 0% of probing (417 vars fixed). Elapsed time 225.13 sec. for 0% of probing (417 vars fixed). Elapsed time 235.17 sec. for 0% of probing (417 vars fixed). Elapsed time 245.22 sec. for 0% of probing (417 vars fixed). Elapsed time 255.23 sec. for 0% of probing (417 vars fixed). Elapsed time 265.26 sec. for 0% of probing (417 vars fixed). Elapsed time 275.26 sec. for 0% of probing (417 vars fixed). Elapsed time 285.33 sec. for 0% of probing (417 vars fixed). Elapsed time 295.33 sec. for 0% of probing (417 vars fixed). Elapsed time 305.38 sec. for 0% of probing (417 vars fixed). Elapsed time 315.39 sec. for 0% of probing (417 vars fixed). Elapsed time 325.41 sec. for 0% of probing (417 vars fixed). Elapsed time 335.47 sec. for 0% of probing (417 vars fixed). Elapsed time 345.49 sec. for 0% of probing (417 vars fixed). Elapsed time 355.54 sec. for 0% of probing (417 vars fixed). Elapsed time 365.54 sec. for 0% of probing (417 vars fixed). Elapsed time 375.58 sec. for 0% of probing (417 vars fixed). Elapsed time 385.61 sec. for 0% of probing (417 vars fixed). Elapsed time 395.61 sec. for 0% of probing (417 vars fixed). Elapsed time 405.66 sec. for 0% of probing (417 vars fixed). Elapsed time 415.72 sec. for 0% of probing (417 vars fixed). Elapsed time 425.76 sec. for 0% of probing (417 vars fixed). Elapsed time 435.81 sec. for 0% of probing (417 vars fixed). Elapsed time 445.81 sec. for 0% of probing (417 vars fixed). Elapsed time 455.92 sec. for 0% of probing (417 vars fixed). Elapsed time 465.95 sec. for 0% of probing (417 vars fixed). Elapsed time 476.03 sec. for 0% of probing (417 vars fixed). Elapsed time 486.19 sec. for 0% of probing (417 vars fixed). Elapsed time 496.25 sec. for 0% of probing (417 vars fixed). Elapsed time 506.33 sec. for 0% of probing (417 vars fixed). Elapsed time 516.33 sec. for 0% of probing (417 vars fixed). Elapsed time 526.33 sec. for 0% of probing (417 vars fixed). Probing fixed 417 vars, tightened 0 bounds. Probing time = 531.73 sec. Tried aggregator 1 time. Presolve has eliminated 9 rows and 426 columns... MIP Presolve eliminated 9 rows and 426 columns. Reduced MIP has 113433 rows, 2021547 columns, and 4154496 nonzeros. Reduced MIP has 2021547 binaries, 0 generals, 0 SOSs, and 0 indicators. Represolve time = 575.30 sec. Elapsed time 14.03 sec. for 0% of probing. Elapsed time 27.60 sec. for 0% of probing. Elapsed time 37.75 sec. for 0% of probing. Elapsed time 54.40 sec. for 0% of probing. Elapsed time 65.65 sec. for 0% of probing. Elapsed time 80.17 sec. for 0% of probing. Elapsed time 92.27 sec. for 0% of probing. Probing time = 93.55 sec. Clique table members: 8258213. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 5988.11 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 6.17287e+12 6.17155e+12 2624213 0.02% 0 0 6.17155e+12 11084 6.17287e+12 6.17155e+12 2624213 0.02% * 0+ 0 6.17272e+12 6.17155e+12 2624213 0.02% Heuristic still looking. Heuristic still looking. 0 2 6.17155e+12 11084 6.17272e+12 6.17155e+12 2624213 0.02% Elapsed real time = 43272.21 sec. (tree size = 0.00 MB, solutions = 3) 1 3 6.17159e+12 11246 6.17272e+12 6.17155e+12 2664376 0.02% 2 4 6.17176e+12 11105 6.17272e+12 6.17159e+12 2692401 0.02% 3 5 6.17162e+12 11411 6.17272e+12 6.17159e+12 2701102 0.02% 4 6 6.17160e+12 11282 6.17272e+12 6.17160e+12 2704929 0.02% 5 7 6.17174e+12 10198 6.17272e+12 6.17160e+12 2765774 0.02% 6 8 6.17176e+12 10076 6.17272e+12 6.17160e+12 2780979 0.02% 7 9 6.17176e+12 9909 6.17272e+12 6.17160e+12 2790120 0.02% 8 10 6.17178e+12 9920 6.17272e+12 6.17160e+12 2802640 0.02% 9 11 6.17183e+12 9676 6.17272e+12 6.17160e+12 2837834 0.02% 10 12 6.17183e+12 9572 6.17272e+12 6.17160e+12 2841316 0.02% Elapsed real time = 48243.85 sec. (tree size = 18.11 MB, solutions = 3) 11 13 6.17184e+12 9621 6.17272e+12 6.17160e+12 2855394 0.02% 12 14 6.17184e+12 9206 6.17272e+12 6.17160e+12 2865928 0.02% 13 15 6.17184e+12 9107 6.17272e+12 6.17160e+12 2866625 0.02% 14 16 6.17184e+12 9442 6.17272e+12 6.17160e+12 2873988 0.02% 15 17 6.17185e+12 9150 6.17272e+12 6.17160e+12 2882095 0.02% 16 18 6.17188e+12 8962 6.17272e+12 6.17160e+12 2898706 0.02% 17 19 6.17195e+12 936 6.17272e+12 6.17160e+12 2916483 0.02% 18 20 6.17197e+12 540 6.17272e+12 6.17160e+12 2921979 0.02% 19 21 6.17200e+12 6859 6.17272e+12 6.17160e+12 2946697 0.02% * 20+ 20 6.17213e+12 6.17160e+12 2947817 0.01% * 20+ 20 6.17207e+12 6.17160e+12 2947817 0.01% 20 22 6.17199e+12 436 6.17207e+12 6.17160e+12 2947817 0.01% Elapsed real time = 49566.97 sec. (tree size = 36.39 MB, solutions = 5) 21 23 6.17200e+12 436 6.17207e+12 6.17160e+12 2948634 0.01% 22 24 6.17201e+12 330 6.17207e+12 6.17160e+12 2950997 0.01% * 23 23 integral 0 6.17203e+12 6.17160e+12 2951531 0.01% * 24 22 integral 0 6.17201e+12 6.17160e+12 2951567 0.01% 25 23 6.17165e+12 10780 6.17201e+12 6.17162e+12 2971427 0.01% 26 24 6.17165e+12 11250 6.17201e+12 6.17162e+12 2977771 0.01% 27 25 6.17167e+12 10886 6.17201e+12 6.17162e+12 2990015 0.01% 28 26 6.17167e+12 10657 6.17201e+12 6.17162e+12 2998398 0.01% 29 27 6.17177e+12 10979 6.17201e+12 6.17162e+12 3032169 0.01% 30 28 6.17168e+12 10581 6.17201e+12 6.17162e+12 3033376 0.01% Elapsed real time = 50728.98 sec. (tree size = 48.16 MB, solutions = 7) 31 29 6.17169e+12 10260 6.17201e+12 6.17162e+12 3043286 0.01% 32 30 6.17169e+12 10170 6.17201e+12 6.17162e+12 3046296 0.01% 33 31 6.17170e+12 9740 6.17201e+12 6.17162e+12 3057869 0.01% 34 32 6.17170e+12 9663 6.17201e+12 6.17162e+12 3058477 0.01% 35 33 6.17171e+12 9567 6.17201e+12 6.17162e+12 3068468 0.01% 36 34 6.17177e+12 9947 6.17201e+12 6.17162e+12 3092574 0.01% 37 35 6.17185e+12 7267 6.17201e+12 6.17162e+12 3133786 0.01% 38 36 6.17188e+12 7383 6.17201e+12 6.17162e+12 3148725 0.01% 39 37 6.17185e+12 7080 6.17201e+12 6.17162e+12 3156994 0.01% 40 38 6.17189e+12 6735 6.17201e+12 6.17162e+12 3170693 0.01% Elapsed real time = 52397.10 sec. (tree size = 67.60 MB, solutions = 7) 41 39 6.17195e+12 6764 6.17201e+12 6.17162e+12 3187949 0.01% 42 38 cutoff 6.17201e+12 6.17162e+12 3198023 0.01% 43 39 6.17198e+12 7589 6.17201e+12 6.17162e+12 3209670 0.01% 44 38 cutoff 6.17201e+12 6.17162e+12 3214241 0.01% 46 38 6.17167e+12 11048 6.17201e+12 6.17162e+12 3234866 0.01% 47 39 6.17168e+12 10928 6.17201e+12 6.17162e+12 3250849 0.01% 48 40 6.17171e+12 10519 6.17201e+12 6.17162e+12 3260810 0.01% 49 41 6.17172e+12 10205 6.17201e+12 6.17162e+12 3271569 0.01% 50 42 6.17172e+12 10143 6.17201e+12 6.17162e+12 3273953 0.01% 51 43 6.17174e+12 10152 6.17201e+12 6.17162e+12 3288002 0.01% Elapsed real time = 53815.80 sec. (tree size = 77.31 MB, solutions = 7) 52 44 6.17174e+12 10096 6.17201e+12 6.17162e+12 3291118 0.01% 53 45 6.17176e+12 9969 6.17201e+12 6.17162e+12 3301712 0.01% 54 46 6.17177e+12 10061 6.17201e+12 6.17162e+12 3309609 0.01% 55 47 6.17180e+12 10052 6.17201e+12 6.17162e+12 3323348 0.01% 56 48 6.17180e+12 9934 6.17201e+12 6.17162e+12 3330539 0.01% 57 49 6.17180e+12 9801 6.17201e+12 6.17162e+12 3331310 0.01% 58 50 6.17183e+12 10285 6.17201e+12 6.17162e+12 3344912 0.01% 59 51 6.17184e+12 10132 6.17201e+12 6.17162e+12 3355381 0.01% 60 52 6.17184e+12 10189 6.17201e+12 6.17162e+12 3362292 0.01% 61 53 6.17190e+12 10290 6.17201e+12 6.17162e+12 3388464 0.01% Elapsed real time = 55090.64 sec. (tree size = 97.37 MB, solutions = 7) 62 54 6.17190e+12 9264 6.17201e+12 6.17162e+12 3396930 0.01% 63 55 6.17191e+12 8490 6.17201e+12 6.17162e+12 3407606 0.01% 64 56 6.17192e+12 8081 6.17201e+12 6.17162e+12 3417619 0.01% 65 57 6.17195e+12 8242 6.17201e+12 6.17162e+12 3435386 0.01% 66 58 6.17197e+12 9383 6.17201e+12 6.17162e+12 3452282 0.01% 67 59 6.17198e+12 7897 6.17201e+12 6.17162e+12 3461439 0.01% 68 60 6.17199e+12 8114 6.17201e+12 6.17162e+12 3471552 0.01% 69 59 cutoff 6.17201e+12 6.17162e+12 3474030 0.01% 71 59 6.17176e+12 10184 6.17201e+12 6.17165e+12 3534226 0.01% 72 60 6.17178e+12 9989 6.17201e+12 6.17165e+12 3550197 0.01% Elapsed real time = 57587.45 sec. (tree size = 111.78 MB, solutions = 7) 73 61 6.17180e+12 9843 6.17201e+12 6.17165e+12 3562973 0.01% 74 62 6.17181e+12 9907 6.17201e+12 6.17165e+12 3575361 0.01% 75 63 6.17181e+12 10143 6.17201e+12 6.17165e+12 3579193 0.01% 76 64 6.17182e+12 9367 6.17201e+12 6.17165e+12 3589221 0.01% 77 65 6.17182e+12 9289 6.17201e+12 6.17165e+12 3590079 0.01% 78 66 6.17183e+12 9491 6.17201e+12 6.17165e+12 3600587 0.01% 79 67 6.17184e+12 9294 6.17201e+12 6.17165e+12 3610499 0.01% 80 68 6.17189e+12 7956 6.17201e+12 6.17165e+12 3628728 0.01% 81 69 6.17189e+12 7795 6.17201e+12 6.17165e+12 3638945 0.01% 82 70 6.17193e+12 7712 6.17201e+12 6.17165e+12 3657421 0.01% Elapsed real time = 59395.44 sec. (tree size = 132.09 MB, solutions = 7) Nodefile size = 5.73 MB (2.65 MB after compression) 83 71 6.17194e+12 8758 6.17201e+12 6.17165e+12 3666193 0.01% 84 72 6.17196e+12 9542 6.17201e+12 6.17165e+12 3679084 0.01% 85 73 6.17197e+12 10249 6.17201e+12 6.17165e+12 3692729 0.01% 86 74 6.17198e+12 9394 6.17201e+12 6.17165e+12 3701714 0.01% 87 75 6.17200e+12 9698 6.17201e+12 6.17165e+12 3714586 0.01% 89 73 cutoff 6.17201e+12 6.17165e+12 3717184 0.01% 90 74 6.17166e+12 11115 6.17201e+12 6.17165e+12 3727574 0.01% 91 75 6.17167e+12 10868 6.17201e+12 6.17165e+12 3738514 0.01% 92 76 6.17167e+12 11057 6.17201e+12 6.17165e+12 3739963 0.01% 93 77 6.17168e+12 10944 6.17201e+12 6.17165e+12 3743981 0.01% Elapsed real time = 61261.24 sec. (tree size = 146.00 MB, solutions = 7) Nodefile size = 20.00 MB (9.66 MB after compression) 94 78 6.17169e+12 10585 6.17201e+12 6.17165e+12 3759440 0.01% 95 79 6.17169e+12 10627 6.17201e+12 6.17165e+12 3763256 0.01% 96 80 6.17171e+12 9889 6.17201e+12 6.17165e+12 3777957 0.01% 97 81 6.17173e+12 10135 6.17201e+12 6.17165e+12 3788835 0.01% 98 82 6.17173e+12 10277 6.17201e+12 6.17165e+12 3800480 0.01% 99 83 6.17176e+12 10284 6.17201e+12 6.17165e+12 3813863 0.01% 100 84 6.17176e+12 10191 6.17201e+12 6.17165e+12 3815158 0.01% 101 85 6.17176e+12 10013 6.17201e+12 6.17165e+12 3824136 0.01% 102 86 6.17178e+12 10251 6.17201e+12 6.17165e+12 3845676 0.01% 103 87 6.17184e+12 10157 6.17201e+12 6.17165e+12 3874236 0.01% Elapsed real time = 63948.07 sec. (tree size = 165.22 MB, solutions = 7) Nodefile size = 38.12 MB (18.64 MB after compression) 104 88 6.17185e+12 10361 6.17201e+12 6.17165e+12 3886302 0.01% 105 89 6.17186e+12 9783 6.17201e+12 6.17165e+12 3898006 0.01% 106 90 6.17187e+12 8131 6.17201e+12 6.17165e+12 3913811 0.01% 107 91 6.17190e+12 8400 6.17201e+12 6.17165e+12 3931403 0.01% 108 92 6.17192e+12 7657 6.17201e+12 6.17165e+12 3946528 0.01% 109 93 6.17193e+12 7794 6.17201e+12 6.17165e+12 3955964 0.01% 110 94 6.17194e+12 8788 6.17201e+12 6.17165e+12 3969188 0.01% 111 95 6.17196e+12 7685 6.17201e+12 6.17165e+12 3980085 0.01% 112 96 6.17197e+12 8795 6.17201e+12 6.17165e+12 3994221 0.01% 113 97 6.17199e+12 8245 6.17201e+12 6.17165e+12 4007923 0.01% Elapsed real time = 66119.30 sec. (tree size = 185.58 MB, solutions = 7) Nodefile size = 58.28 MB (27.76 MB after compression) 114 98 6.17200e+12 8790 6.17201e+12 6.17165e+12 4022031 0.01% 117 97 6.17175e+12 11359 6.17201e+12 6.17166e+12 4060491 0.01% 118 98 6.17177e+12 11470 6.17201e+12 6.17166e+12 4069673 0.01% 119 99 6.17182e+12 10266 6.17201e+12 6.17166e+12 4101291 0.01% 120 100 6.17182e+12 10185 6.17201e+12 6.17166e+12 4105066 0.01% 121 101 6.17184e+12 9985 6.17201e+12 6.17166e+12 4122192 0.01% 122 102 6.17186e+12 9644 6.17201e+12 6.17166e+12 4134166 0.01% 123 103 6.17187e+12 9607 6.17201e+12 6.17166e+12 4146829 0.01% 124 104 6.17187e+12 9565 6.17201e+12 6.17166e+12 4149444 0.01% 125 105 6.17188e+12 9721 6.17201e+12 6.17166e+12 4157372 0.01% Elapsed real time = 68206.25 sec. (tree size = 199.89 MB, solutions = 7) Nodefile size = 72.33 MB (34.05 MB after compression) 126 106 6.17189e+12 9291 6.17201e+12 6.17166e+12 4182942 0.01% 127 107 6.17189e+12 9375 6.17201e+12 6.17166e+12 4190420 0.01% 128 106 cutoff 6.17201e+12 6.17166e+12 4195843 0.01% 129 107 6.17198e+12 7198 6.17201e+12 6.17166e+12 4225304 0.01% 131 105 cutoff 6.17201e+12 6.17166e+12 4228265 0.01% 132 106 6.17173e+12 11359 6.17201e+12 6.17167e+12 4269137 0.01% 133 107 6.17173e+12 10512 6.17201e+12 6.17167e+12 4271229 0.01% 134 108 6.17173e+12 10450 6.17201e+12 6.17167e+12 4275203 0.01% 135 109 6.17174e+12 10386 6.17201e+12 6.17167e+12 4291366 0.01% 136 110 6.17177e+12 9901 6.17201e+12 6.17167e+12 4306331 0.01% Elapsed real time = 70164.75 sec. (tree size = 211.84 MB, solutions = 7) Nodefile size = 84.12 MB (39.28 MB after compression) 137 111 6.17178e+12 10152 6.17201e+12 6.17167e+12 4317211 0.01% 138 112 6.17180e+12 10163 6.17201e+12 6.17167e+12 4332134 0.01% 139 113 6.17181e+12 9805 6.17201e+12 6.17167e+12 4340623 0.01% 140 114 6.17183e+12 9821 6.17201e+12 6.17167e+12 4358975 0.01% 141 115 6.17183e+12 10431 6.17201e+12 6.17167e+12 4366031 0.01% 142 116 6.17198e+12 9599 6.17201e+12 6.17167e+12 4399105 0.01% 143 117 6.17199e+12 9437 6.17201e+12 6.17167e+12 4410647 0.01% 144 118 6.17199e+12 9359 6.17201e+12 6.17167e+12 4411972 0.01% 145 119 6.17200e+12 9381 6.17201e+12 6.17167e+12 4428976 0.01% 147 117 cutoff 6.17201e+12 6.17167e+12 4430585 0.01% Elapsed real time = 71822.56 sec. (tree size = 228.20 MB, solutions = 7) Nodefile size = 101.80 MB (47.52 MB after compression) 148 118 6.17167e+12 10997 6.17201e+12 6.17167e+12 4434587 0.01% 149 119 6.17169e+12 11143 6.17201e+12 6.17167e+12 4446736 0.01% 150 120 6.17171e+12 10326 6.17201e+12 6.17167e+12 4456875 0.01% 151 121 6.17171e+12 10255 6.17201e+12 6.17167e+12 4460528 0.01% 152 122 6.17172e+12 10595 6.17201e+12 6.17167e+12 4472406 0.01% 153 123 6.17172e+12 10482 6.17201e+12 6.17167e+12 4475883 0.01% 154 124 6.17175e+12 10037 6.17201e+12 6.17167e+12 4490833 0.01% 155 125 6.17176e+12 10117 6.17201e+12 6.17167e+12 4500420 0.01% 156 126 6.17176e+12 10206 6.17201e+12 6.17167e+12 4511492 0.01% 157 127 6.17179e+12 10277 6.17201e+12 6.17167e+12 4527381 0.01% Elapsed real time = 73256.61 sec. (tree size = 245.47 MB, solutions = 7) Nodefile size = 117.87 MB (54.91 MB after compression) 158 128 6.17179e+12 10203 6.17201e+12 6.17167e+12 4528709 0.01% 159 129 6.17179e+12 10023 6.17201e+12 6.17167e+12 4537595 0.01% 160 130 6.17182e+12 10248 6.17201e+12 6.17167e+12 4557914 0.01% 161 131 6.17188e+12 10499 6.17201e+12 6.17167e+12 4586416 0.01% 162 132 6.17188e+12 10048 6.17201e+12 6.17167e+12 4599969 0.01% 163 133 6.17189e+12 8709 6.17201e+12 6.17167e+12 4611908 0.01% 164 134 6.17190e+12 8519 6.17201e+12 6.17167e+12 4625939 0.01% 165 135 6.17193e+12 8785 6.17201e+12 6.17167e+12 4647157 0.01% 166 136 6.17195e+12 8345 6.17201e+12 6.17167e+12 4664512 0.01% 167 137 6.17196e+12 8201 6.17201e+12 6.17167e+12 4674152 0.01% Elapsed real time = 75510.51 sec. (tree size = 265.78 MB, solutions = 7) Nodefile size = 138.22 MB (64.71 MB after compression) 168 138 6.17197e+12 8935 6.17201e+12 6.17167e+12 4687542 0.01% 169 139 6.17200e+12 8831 6.17201e+12 6.17167e+12 4707416 0.01% 170 138 cutoff 6.17201e+12 6.17167e+12 4715970 0.01% 172 138 6.17175e+12 10891 6.17201e+12 6.17167e+12 4750304 0.01% 173 139 6.17177e+12 10603 6.17201e+12 6.17167e+12 4760196 0.01% 174 140 6.17177e+12 11333 6.17201e+12 6.17167e+12 4764705 0.01% 175 141 6.17178e+12 10892 6.17201e+12 6.17167e+12 4778320 0.01% 176 142 6.17178e+12 10362 6.17201e+12 6.17167e+12 4782624 0.01% 177 143 6.17181e+12 10216 6.17201e+12 6.17167e+12 4794408 0.01% 178 144 6.17182e+12 10262 6.17201e+12 6.17167e+12 4805889 0.01% Elapsed real time = 77837.12 sec. (tree size = 279.99 MB, solutions = 7) Nodefile size = 152.48 MB (71.68 MB after compression) 179 145 6.17182e+12 10200 6.17201e+12 6.17167e+12 4808435 0.01% 180 146 6.17183e+12 10290 6.17201e+12 6.17167e+12 4818845 0.01% 181 147 6.17183e+12 10451 6.17201e+12 6.17167e+12 4827383 0.01% 182 148 6.17189e+12 10231 6.17201e+12 6.17167e+12 4853727 0.01% 183 149 6.17190e+12 9917 6.17201e+12 6.17167e+12 4869465 0.01% 184 150 6.17193e+12 10408 6.17201e+12 6.17167e+12 4890084 0.01% 185 151 6.17194e+12 10373 6.17201e+12 6.17167e+12 4900643 0.01% 186 152 6.17196e+12 9459 6.17201e+12 6.17167e+12 4919926 0.01% 187 153 6.17198e+12 9287 6.17201e+12 6.17167e+12 4928811 0.01% 188 154 6.17198e+12 9793 6.17201e+12 6.17167e+12 4934003 0.01% Elapsed real time = 80244.80 sec. (tree size = 300.36 MB, solutions = 7) Nodefile size = 172.84 MB (81.76 MB after compression) 189 155 6.17199e+12 9153 6.17201e+12 6.17167e+12 4948229 0.01% 190 154 cutoff 6.17201e+12 6.17167e+12 4953892 0.01% 192 154 6.17169e+12 11488 6.17201e+12 6.17167e+12 4964340 0.01% 193 155 6.17169e+12 10871 6.17201e+12 6.17167e+12 4967066 0.01% 194 156 6.17171e+12 10632 6.17201e+12 6.17167e+12 4979520 0.01% 195 157 6.17171e+12 10512 6.17201e+12 6.17167e+12 4983664 0.01% 196 158 6.17173e+12 10337 6.17201e+12 6.17167e+12 4999248 0.01% 197 159 6.17175e+12 10296 6.17201e+12 6.17167e+12 5009935 0.01% 198 160 6.17175e+12 10331 6.17201e+12 6.17167e+12 5022505 0.01% 199 161 6.17178e+12 10333 6.17201e+12 6.17167e+12 5040308 0.01% Elapsed real time = 82244.81 sec. (tree size = 313.89 MB, solutions = 7) Nodefile size = 187.06 MB (89.26 MB after compression) 200 162 6.17178e+12 10247 6.17201e+12 6.17167e+12 5041749 0.01% 201 163 6.17178e+12 10075 6.17201e+12 6.17167e+12 5050720 0.01% 202 164 6.17180e+12 10020 6.17201e+12 6.17167e+12 5070029 0.01% 203 165 6.17186e+12 10097 6.17201e+12 6.17167e+12 5096955 0.01% 204 166 6.17187e+12 9992 6.17201e+12 6.17167e+12 5111536 0.01% 205 167 6.17188e+12 8673 6.17201e+12 6.17167e+12 5122407 0.01% 206 168 6.17188e+12 8370 6.17201e+12 6.17167e+12 5127816 0.01% 207 169 6.17189e+12 8176 6.17201e+12 6.17167e+12 5139730 0.01% 208 170 6.17192e+12 8568 6.17201e+12 6.17167e+12 5159183 0.01% 209 171 6.17194e+12 7895 6.17201e+12 6.17167e+12 5175557 0.01% Elapsed real time = 84903.54 sec. (tree size = 334.08 MB, solutions = 7) Nodefile size = 207.32 MB (99.32 MB after compression) 210 172 6.17195e+12 8008 6.17201e+12 6.17167e+12 5186424 0.01% 211 173 6.17196e+12 7706 6.17201e+12 6.17167e+12 5198626 0.01% 212 174 6.17198e+12 7961 6.17201e+12 6.17167e+12 5215064 0.01% 213 175 6.17200e+12 8711 6.17201e+12 6.17167e+12 5234648 0.01% 215 173 cutoff 6.17201e+12 6.17167e+12 5236687 0.01% 216 174 6.17168e+12 9733 6.17201e+12 6.17167e+12 5244595 0.01% 218 176 6.17169e+12 9602 6.17201e+12 6.17167e+12 5255327 0.01% 219 177 6.17169e+12 10090 6.17201e+12 6.17167e+12 5260940 0.01% 220 178 6.17181e+12 9870 6.17201e+12 6.17167e+12 5285910 0.01% 221 179 6.17182e+12 9547 6.17201e+12 6.17167e+12 5295128 0.01% Elapsed real time = 87009.21 sec. (tree size = 349.90 MB, solutions = 7) Nodefile size = 223.12 MB (106.52 MB after compression) 222 180 6.17182e+12 9710 6.17201e+12 6.17167e+12 5303755 0.01% 223 181 6.17185e+12 10510 6.17201e+12 6.17167e+12 5321608 0.01% 224 182 6.17188e+12 9323 6.17201e+12 6.17167e+12 5347456 0.01% 225 183 6.17191e+12 9427 6.17201e+12 6.17167e+12 5368284 0.01% 226 182 cutoff 6.17201e+12 6.17167e+12 5374284 0.01% 227 183 6.17191e+12 9269 6.17201e+12 6.17167e+12 5384430 0.01% 228 184 6.17193e+12 8827 6.17201e+12 6.17167e+12 5397875 0.01% 229 185 6.17194e+12 7590 6.17201e+12 6.17167e+12 5410024 0.01% 230 186 6.17195e+12 7649 6.17201e+12 6.17167e+12 5419165 0.01% 231 185 cutoff 6.17201e+12 6.17167e+12 5424000 0.01% Elapsed real time = 89187.84 sec. (tree size = 362.12 MB, solutions = 7) Nodefile size = 235.33 MB (111.77 MB after compression) 232 186 6.17198e+12 7925 6.17201e+12 6.17167e+12 5442776 0.01% 234 186 6.17199e+12 8223 6.17201e+12 6.17167e+12 5457102 0.01% 236 184 cutoff 6.17201e+12 6.17167e+12 5459317 0.01% 238 184 6.17169e+12 10871 6.17201e+12 6.17168e+12 5466242 0.01% 239 185 6.17171e+12 10704 6.17201e+12 6.17168e+12 5474605 0.01% 240 186 6.17171e+12 10145 6.17201e+12 6.17168e+12 5476826 0.01% 241 187 6.17172e+12 10461 6.17201e+12 6.17168e+12 5489671 0.01% 242 188 6.17175e+12 10048 6.17201e+12 6.17168e+12 5500903 0.01% 243 189 6.17176e+12 10211 6.17201e+12 6.17168e+12 5510099 0.01% 244 190 6.17176e+12 9998 6.17201e+12 6.17168e+12 5515357 0.01% Elapsed real time = 91290.10 sec. (tree size = 371.73 MB, solutions = 7) Nodefile size = 245.31 MB (116.86 MB after compression) 245 191 6.17179e+12 10230 6.17201e+12 6.17168e+12 5530784 0.01% 246 192 6.17179e+12 10361 6.17201e+12 6.17168e+12 5532268 0.01% 247 193 6.17179e+12 9932 6.17201e+12 6.17168e+12 5540811 0.01% 248 194 6.17182e+12 10222 6.17201e+12 6.17168e+12 5558670 0.01% 249 195 6.17182e+12 9968 6.17201e+12 6.17168e+12 5568763 0.01% 250 196 6.17183e+12 10128 6.17201e+12 6.17168e+12 5576905 0.01% 251 197 6.17189e+12 10039 6.17201e+12 6.17168e+12 5600763 0.01% 252 198 6.17189e+12 8379 6.17201e+12 6.17168e+12 5609038 0.01% 253 199 6.17190e+12 8436 6.17201e+12 6.17168e+12 5618319 0.01% 254 200 6.17190e+12 8115 6.17201e+12 6.17168e+12 5628569 0.01% Elapsed real time = 93510.71 sec. (tree size = 391.92 MB, solutions = 7) Nodefile size = 265.48 MB (126.59 MB after compression) 255 201 6.17193e+12 8368 6.17201e+12 6.17168e+12 5650583 0.01% 256 202 6.17196e+12 7731 6.17201e+12 6.17168e+12 5663995 0.01% 257 203 6.17197e+12 7790 6.17201e+12 6.17168e+12 5673074 0.01% 258 204 6.17197e+12 7656 6.17201e+12 6.17168e+12 5686663 0.01% 259 205 6.17197e+12 9012 6.17201e+12 6.17168e+12 5690233 0.01% 260 206 6.17200e+12 7853 6.17201e+12 6.17168e+12 5704578 0.01% 261 205 cutoff 6.17201e+12 6.17168e+12 5706958 0.01% 263 205 6.17174e+12 9935 6.17201e+12 6.17168e+12 5740069 0.01% 264 206 6.17174e+12 9859 6.17201e+12 6.17168e+12 5742584 0.01% 265 207 6.17175e+12 9350 6.17201e+12 6.17168e+12 5752645 0.01% Elapsed real time = 95688.72 sec. (tree size = 406.16 MB, solutions = 7) Nodefile size = 279.73 MB (133.02 MB after compression) 267 209 6.17176e+12 9222 6.17201e+12 6.17168e+12 5761613 0.01% 268 210 6.17176e+12 8833 6.17201e+12 6.17168e+12 5768959 0.01% 269 211 6.17191e+12 8439 6.17201e+12 6.17168e+12 5797980 0.01% 270 210 cutoff 6.17201e+12 6.17168e+12 5802584 0.01% 271 211 6.17195e+12 8590 6.17201e+12 6.17168e+12 5824065 0.01% 272 212 6.17199e+12 8656 6.17201e+12 6.17168e+12 5841346 0.01% 273 211 cutoff 6.17201e+12 6.17168e+12 5846328 0.01% 275 211 6.17168e+12 9737 6.17201e+12 6.17168e+12 5856312 0.01% 277 213 6.17170e+12 9680 6.17201e+12 6.17168e+12 5865354 0.01% 278 214 6.17175e+12 9939 6.17201e+12 6.17168e+12 5893304 0.01% Elapsed real time = 98183.04 sec. (tree size = 419.81 MB, solutions = 7) Nodefile size = 293.59 MB (139.96 MB after compression) 279 215 6.17176e+12 9698 6.17201e+12 6.17168e+12 5898267 0.01% 280 216 6.17176e+12 9344 6.17201e+12 6.17168e+12 5905964 0.01% 281 217 6.17179e+12 9880 6.17201e+12 6.17168e+12 5926660 0.01% 282 218 6.17179e+12 9629 6.17201e+12 6.17168e+12 5939143 0.01% 283 219 6.17180e+12 9900 6.17201e+12 6.17168e+12 5948631 0.01% 284 220 6.17182e+12 7586 6.17201e+12 6.17168e+12 5964549 0.01% 285 221 6.17183e+12 9130 6.17201e+12 6.17168e+12 5974294 0.01% 286 222 6.17185e+12 7822 6.17201e+12 6.17168e+12 5984995 0.01% 287 223 6.17187e+12 8141 6.17201e+12 6.17168e+12 6001092 0.01% 288 224 6.17191e+12 8254 6.17201e+12 6.17168e+12 6018555 0.01% Elapsed real time = 100573.70 sec. (tree size = 439.89 MB, solutions = 7) Nodefile size = 313.33 MB (149.52 MB after compression) 289 225 6.17192e+12 8068 6.17201e+12 6.17168e+12 6031635 0.01% 290 226 6.17194e+12 8004 6.17201e+12 6.17168e+12 6046069 0.01% 291 227 6.17195e+12 7909 6.17201e+12 6.17168e+12 6055080 0.01% 292 228 6.17197e+12 8169 6.17201e+12 6.17168e+12 6066065 0.01% 293 229 6.17199e+12 7841 6.17201e+12 6.17168e+12 6075077 0.01% 294 230 6.17201e+12 7792 6.17201e+12 6.17168e+12 6086200 0.01% 297 229 6.17169e+12 9653 6.17201e+12 6.17168e+12 6089921 0.01% 298 230 6.17170e+12 9647 6.17201e+12 6.17168e+12 6098148 0.01% 299 231 6.17170e+12 10078 6.17201e+12 6.17168e+12 6103561 0.01% 300 232 6.17176e+12 10024 6.17201e+12 6.17168e+12 6127888 0.01% Elapsed real time = 102351.27 sec. (tree size = 455.89 MB, solutions = 7) Nodefile size = 329.56 MB (157.06 MB after compression) 301 233 6.17179e+12 11041 6.17201e+12 6.17168e+12 6145488 0.01% 302 234 6.17180e+12 9867 6.17201e+12 6.17168e+12 6161957 0.01% 303 235 6.17180e+12 9187 6.17201e+12 6.17168e+12 6173589 0.01% 304 236 6.17182e+12 8497 6.17201e+12 6.17168e+12 6189326 0.01% 305 237 6.17183e+12 9195 6.17201e+12 6.17168e+12 6198812 0.01% 306 238 6.17185e+12 9351 6.17201e+12 6.17168e+12 6211358 0.01% 307 239 6.17187e+12 8474 6.17201e+12 6.17168e+12 6231471 0.01% 308 240 6.17190e+12 8584 6.17201e+12 6.17168e+12 6249072 0.01% 309 241 6.17192e+12 8825 6.17201e+12 6.17168e+12 6261640 0.01% 310 242 6.17194e+12 8592 6.17201e+12 6.17168e+12 6275629 0.01% Elapsed real time = 105077.75 sec. (tree size = 476.06 MB, solutions = 7) Nodefile size = 349.69 MB (166.61 MB after compression) 311 243 6.17195e+12 9198 6.17201e+12 6.17168e+12 6282542 0.01% 312 244 6.17197e+12 10207 6.17201e+12 6.17168e+12 6297602 0.01% 313 245 6.17199e+12 9675 6.17201e+12 6.17168e+12 6306160 0.01% 314 246 6.17201e+12 7957 6.17201e+12 6.17168e+12 6315487 0.01% 317 245 6.17170e+12 9504 6.17201e+12 6.17168e+12 6328026 0.01% 318 246 6.17176e+12 9606 6.17201e+12 6.17168e+12 6351487 0.01% 319 247 6.17184e+12 7501 6.17201e+12 6.17168e+12 6387318 0.01% 320 248 6.17188e+12 6706 6.17201e+12 6.17168e+12 6400256 0.01% 321 249 6.17194e+12 6901 6.17201e+12 6.17168e+12 6417039 0.01% 322 248 cutoff 6.17201e+12 6.17168e+12 6427675 0.01% Elapsed real time = 107439.17 sec. (tree size = 488.29 MB, solutions = 7) Nodefile size = 361.85 MB (172.37 MB after compression) 323 249 6.17197e+12 8206 6.17201e+12 6.17168e+12 6437659 0.01% 324 248 cutoff 6.17201e+12 6.17168e+12 6450131 0.01% 326 248 6.17177e+12 10979 6.17201e+12 6.17168e+12 6482578 0.01% 327 249 6.17178e+12 10483 6.17201e+12 6.17168e+12 6491688 0.01% 328 250 6.17178e+12 10486 6.17201e+12 6.17168e+12 6494787 0.01% 329 251 6.17180e+12 10425 6.17201e+12 6.17168e+12 6508812 0.01% 330 252 6.17182e+12 10323 6.17201e+12 6.17168e+12 6523431 0.01% 331 253 6.17183e+12 10361 6.17201e+12 6.17168e+12 6533457 0.01% 332 254 6.17183e+12 10269 6.17201e+12 6.17168e+12 6538506 0.01% 333 255 6.17186e+12 10323 6.17201e+12 6.17168e+12 6552181 0.01% Elapsed real time = 109482.36 sec. (tree size = 502.61 MB, solutions = 7) Nodefile size = 376.07 MB (179.47 MB after compression) 334 256 6.17186e+12 10056 6.17201e+12 6.17168e+12 6562087 0.01% 335 257 6.17186e+12 11277 6.17201e+12 6.17168e+12 6563266 0.01% 336 258 6.17187e+12 10014 6.17201e+12 6.17168e+12 6574398 0.01% 337 259 6.17187e+12 9953 6.17201e+12 6.17168e+12 6578978 0.01% 338 260 6.17193e+12 10001 6.17201e+12 6.17168e+12 6603679 0.01% 339 261 6.17193e+12 9917 6.17201e+12 6.17168e+12 6616807 0.01% 340 262 6.17194e+12 8167 6.17201e+12 6.17168e+12 6627204 0.01% 341 263 6.17197e+12 9437 6.17201e+12 6.17168e+12 6649861 0.01% 342 262 cutoff 6.17201e+12 6.17168e+12 6669326 0.01% 344 262 6.17169e+12 10158 6.17201e+12 6.17168e+12 6673617 0.01% Elapsed real time = 111477.67 sec. (tree size = 517.03 MB, solutions = 7) Nodefile size = 392.36 MB (187.56 MB after compression) 345 263 6.17170e+12 9605 6.17201e+12 6.17168e+12 6682456 0.01% 346 264 6.17176e+12 9884 6.17201e+12 6.17168e+12 6709439 0.01% 347 265 6.17176e+12 9700 6.17201e+12 6.17168e+12 6714129 0.01% 348 266 6.17176e+12 9345 6.17201e+12 6.17168e+12 6722903 0.01% 349 267 6.17179e+12 9844 6.17201e+12 6.17168e+12 6742987 0.01% 350 268 6.17180e+12 9629 6.17201e+12 6.17168e+12 6756553 0.01% 351 269 6.17181e+12 8573 6.17201e+12 6.17168e+12 6765755 0.01% 352 270 6.17183e+12 7585 6.17201e+12 6.17168e+12 6781942 0.01% 353 271 6.17184e+12 7864 6.17201e+12 6.17168e+12 6793081 0.01% 354 272 6.17186e+12 7775 6.17201e+12 6.17168e+12 6804865 0.01% Elapsed real time = 113924.85 sec. (tree size = 536.78 MB, solutions = 7) Nodefile size = 410.35 MB (196.72 MB after compression) 355 273 6.17187e+12 7804 6.17201e+12 6.17168e+12 6821244 0.01% 356 274 6.17191e+12 8130 6.17201e+12 6.17168e+12 6840908 0.01% 357 275 6.17193e+12 8025 6.17201e+12 6.17168e+12 6855110 0.01% 358 276 6.17193e+12 7776 6.17201e+12 6.17168e+12 6860620 0.01% 359 275 cutoff 6.17201e+12 6.17168e+12 6864773 0.01% 360 276 6.17196e+12 7892 6.17201e+12 6.17168e+12 6879269 0.01% 361 277 6.17198e+12 8122 6.17201e+12 6.17168e+12 6892565 0.01% 362 278 6.17200e+12 7951 6.17201e+12 6.17168e+12 6901028 0.01% 364 276 cutoff 6.17201e+12 6.17168e+12 6904026 0.01% 365 277 6.17170e+12 9523 6.17201e+12 6.17169e+12 6915854 0.01% Elapsed real time = 115646.69 sec. (tree size = 547.13 MB, solutions = 7) Nodefile size = 422.57 MB (202.14 MB after compression) 366 278 6.17184e+12 6933 6.17201e+12 6.17169e+12 6952199 0.01% 367 279 6.17198e+12 840 6.17201e+12 6.17169e+12 6966684 0.01% 369 281 6.17201e+12 899 6.17201e+12 6.17169e+12 6969824 0.01% 374 280 6.17170e+12 9504 6.17201e+12 6.17169e+12 6982484 0.01% 375 281 6.17176e+12 9606 6.17201e+12 6.17169e+12 7008385 0.01% 376 282 6.17179e+12 9990 6.17201e+12 6.17169e+12 7027594 0.01% 377 283 6.17179e+12 10078 6.17201e+12 6.17169e+12 7032989 0.01% 378 284 6.17180e+12 8590 6.17201e+12 6.17169e+12 7047199 0.01% 379 285 6.17182e+12 7926 6.17201e+12 6.17169e+12 7061490 0.01% 380 286 6.17183e+12 8091 6.17201e+12 6.17169e+12 7071543 0.01% Elapsed real time = 118340.84 sec. (tree size = 565.19 MB, solutions = 7) Nodefile size = 438.72 MB (209.88 MB after compression) 381 287 6.17185e+12 9669 6.17201e+12 6.17169e+12 7081564 0.01% 382 288 6.17187e+12 8042 6.17201e+12 6.17169e+12 7096098 0.01% 383 289 6.17191e+12 8427 6.17201e+12 6.17169e+12 7115709 0.01% 384 290 6.17192e+12 8261 6.17201e+12 6.17169e+12 7130203 0.01% 385 291 6.17193e+12 9182 6.17201e+12 6.17169e+12 7134709 0.01% 386 292 6.17195e+12 7896 6.17201e+12 6.17169e+12 7148170 0.01% 387 293 6.17198e+12 8858 6.17201e+12 6.17169e+12 7159986 0.01% 388 294 6.17199e+12 8017 6.17201e+12 6.17169e+12 7166778 0.01% 389 295 6.17201e+12 8180 6.17201e+12 6.17169e+12 7177048 0.01% 392 294 6.17169e+12 9725 6.17201e+12 6.17169e+12 7184373 0.01% Elapsed real time = 120095.44 sec. (tree size = 581.64 MB, solutions = 7) Nodefile size = 457.05 MB (217.98 MB after compression) 394 296 6.17170e+12 9564 6.17201e+12 6.17169e+12 7192605 0.01% 395 297 6.17171e+12 9912 6.17201e+12 6.17169e+12 7198051 0.01% 396 298 6.17182e+12 10292 6.17201e+12 6.17169e+12 7222161 0.01% 397 299 6.17183e+12 10645 6.17201e+12 6.17169e+12 7233467 0.01% 398 300 6.17184e+12 10430 6.17201e+12 6.17169e+12 7241430 0.01% 399 301 6.17189e+12 9263 6.17201e+12 6.17169e+12 7263247 0.01% 400 302 6.17192e+12 9482 6.17201e+12 6.17169e+12 7281260 0.01% 401 301 cutoff 6.17201e+12 6.17169e+12 7285179 0.01% 402 302 6.17192e+12 9267 6.17201e+12 6.17169e+12 7291962 0.01% 403 303 6.17194e+12 8776 6.17201e+12 6.17169e+12 7304237 0.01% Elapsed real time = 122209.87 sec. (tree size = 599.37 MB, solutions = 7) Nodefile size = 473.10 MB (225.46 MB after compression) 404 304 6.17196e+12 7741 6.17201e+12 6.17169e+12 7316418 0.01% 405 305 6.17197e+12 7541 6.17201e+12 6.17169e+12 7326264 0.01% 406 306 6.17199e+12 7860 6.17201e+12 6.17169e+12 7343094 0.01% 408 304 cutoff 6.17201e+12 6.17169e+12 7347778 0.01% 410 304 6.17180e+12 10658 6.17201e+12 6.17169e+12 7376217 0.01% 411 305 6.17181e+12 10603 6.17201e+12 6.17169e+12 7387797 0.01% 412 306 6.17184e+12 10071 6.17201e+12 6.17169e+12 7401536 0.01% 413 307 6.17185e+12 10304 6.17201e+12 6.17169e+12 7413136 0.01% 414 308 6.17186e+12 10312 6.17201e+12 6.17169e+12 7425197 0.01% 415 309 6.17188e+12 10445 6.17201e+12 6.17169e+12 7441031 0.01% Elapsed real time = 124465.15 sec. (tree size = 611.73 MB, solutions = 7) Nodefile size = 485.31 MB (230.77 MB after compression) 416 310 6.17188e+12 10312 6.17201e+12 6.17169e+12 7452697 0.01% 417 311 6.17191e+12 10249 6.17201e+12 6.17169e+12 7473115 0.01% 418 312 6.17191e+12 10192 6.17201e+12 6.17169e+12 7475132 0.01% 419 313 6.17197e+12 9951 6.17201e+12 6.17169e+12 7503043 0.01% 420 314 6.17197e+12 9853 6.17201e+12 6.17169e+12 7515681 0.01% 421 315 6.17198e+12 9155 6.17201e+12 6.17169e+12 7522794 0.01% 422 316 6.17201e+12 9419 6.17201e+12 6.17169e+12 7541877 0.01% 423 315 cutoff 6.17201e+12 6.17169e+12 7552270 0.01% 425 315 6.17170e+12 10214 6.17201e+12 6.17169e+12 7563983 0.01% 426 316 6.17171e+12 11081 6.17201e+12 6.17169e+12 7567272 0.01% Elapsed real time = 126605.28 sec. (tree size = 626.00 MB, solutions = 7) Nodefile size = 499.56 MB (237.07 MB after compression) 427 317 6.17173e+12 9914 6.17201e+12 6.17169e+12 7577815 0.01% 428 318 6.17174e+12 10061 6.17201e+12 6.17169e+12 7584884 0.01% 429 319 6.17177e+12 10193 6.17201e+12 6.17169e+12 7597672 0.01% 430 320 6.17177e+12 9875 6.17201e+12 6.17169e+12 7605974 0.01% 431 321 6.17177e+12 9854 6.17201e+12 6.17169e+12 7607151 0.01% 432 322 6.17180e+12 10145 6.17201e+12 6.17169e+12 7622597 0.01% 433 323 6.17180e+12 10142 6.17201e+12 6.17169e+12 7633076 0.01% 434 324 6.17181e+12 10134 6.17201e+12 6.17169e+12 7640438 0.01% 435 325 6.17187e+12 10041 6.17201e+12 6.17169e+12 7665967 0.01% 436 326 6.17187e+12 9496 6.17201e+12 6.17169e+12 7675547 0.01% Elapsed real time = 128314.38 sec. (tree size = 645.82 MB, solutions = 7) Nodefile size = 519.43 MB (246.53 MB after compression) 437 327 6.17188e+12 8442 6.17201e+12 6.17169e+12 7687476 0.01% 438 328 6.17188e+12 8072 6.17201e+12 6.17169e+12 7697724 0.01% 439 329 6.17192e+12 8351 6.17201e+12 6.17169e+12 7719545 0.01% 440 330 6.17194e+12 7625 6.17201e+12 6.17169e+12 7734163 0.01% 441 331 6.17195e+12 7842 6.17201e+12 6.17169e+12 7743133 0.01% 442 332 6.17195e+12 7342 6.17201e+12 6.17169e+12 7755123 0.01% 443 333 6.17198e+12 7690 6.17201e+12 6.17169e+12 7771929 0.01% 444 334 6.17200e+12 7542 6.17201e+12 6.17169e+12 7791339 0.01% 445 333 cutoff 6.17201e+12 6.17169e+12 7793155 0.01% 447 333 6.17171e+12 9503 6.17201e+12 6.17169e+12 7805360 0.01% Elapsed real time = 130247.37 sec. (tree size = 660.23 MB, solutions = 7) Nodefile size = 535.72 MB (253.74 MB after compression) 448 334 6.17177e+12 9608 6.17201e+12 6.17169e+12 7829076 0.01% 449 335 6.17180e+12 10000 6.17201e+12 6.17169e+12 7847974 0.01% 450 336 6.17180e+12 9985 6.17201e+12 6.17169e+12 7853248 0.01% 451 337 6.17181e+12 8672 6.17201e+12 6.17169e+12 7865439 0.01% 452 338 6.17183e+12 7924 6.17201e+12 6.17169e+12 7881187 0.01% 453 339 6.17184e+12 8256 6.17201e+12 6.17169e+12 7890650 0.01% 454 340 6.17186e+12 8252 6.17201e+12 6.17169e+12 7901888 0.01% 455 341 6.17187e+12 8049 6.17201e+12 6.17169e+12 7917020 0.01% 456 342 6.17189e+12 7675 6.17201e+12 6.17169e+12 7929798 0.01% 457 343 6.17190e+12 9232 6.17201e+12 6.17169e+12 7941516 0.01% Elapsed real time = 132623.23 sec. (tree size = 680.32 MB, solutions = 7) Nodefile size = 553.91 MB (262.14 MB after compression) 458 344 6.17190e+12 7689 6.17201e+12 6.17169e+12 7947078 0.01% 459 345 6.17191e+12 9094 6.17201e+12 6.17169e+12 7954779 0.01% 460 346 6.17193e+12 8088 6.17201e+12 6.17169e+12 7962208 0.01% 461 347 6.17194e+12 7843 6.17201e+12 6.17169e+12 7968104 0.01% 462 346 cutoff 6.17201e+12 6.17169e+12 7979813 0.01% 464 346 6.17171e+12 9990 6.17201e+12 6.17169e+12 7993677 0.01% 465 347 6.17171e+12 9863 6.17201e+12 6.17169e+12 7995765 0.01% 466 348 6.17172e+12 10026 6.17201e+12 6.17169e+12 8004128 0.01% 467 349 6.17178e+12 9958 6.17201e+12 6.17169e+12 8033630 0.01% 468 350 6.17178e+12 9678 6.17201e+12 6.17169e+12 8044086 0.01% Elapsed real time = 134691.96 sec. (tree size = 694.25 MB, solutions = 7) Nodefile size = 568.03 MB (268.75 MB after compression) 469 351 6.17181e+12 10744 6.17201e+12 6.17169e+12 8063527 0.01% 470 352 6.17181e+12 9852 6.17201e+12 6.17169e+12 8072006 0.01% 471 353 6.17182e+12 8617 6.17201e+12 6.17169e+12 8082604 0.01% 472 354 6.17184e+12 7843 6.17201e+12 6.17169e+12 8098891 0.01% 473 355 6.17185e+12 8010 6.17201e+12 6.17169e+12 8108450 0.01% 474 356 6.17187e+12 8105 6.17201e+12 6.17169e+12 8119553 0.01% 475 357 6.17189e+12 7955 6.17201e+12 6.17169e+12 8135874 0.01% 476 358 6.17193e+12 8338 6.17201e+12 6.17169e+12 8155291 0.01% 477 359 6.17194e+12 8067 6.17201e+12 6.17169e+12 8170832 0.01% 478 360 6.17194e+12 7954 6.17201e+12 6.17169e+12 8177434 0.01% Elapsed real time = 137319.70 sec. (tree size = 714.56 MB, solutions = 7) Nodefile size = 588.27 MB (277.92 MB after compression) 479 361 6.17197e+12 9104 6.17201e+12 6.17169e+12 8192320 0.01% 480 362 6.17200e+12 7900 6.17201e+12 6.17169e+12 8204936 0.01% 481 361 cutoff 6.17201e+12 6.17169e+12 8208095 0.01% 483 361 6.17176e+12 10086 6.17201e+12 6.17169e+12 8243877 0.01% 484 362 6.17176e+12 10024 6.17201e+12 6.17169e+12 8247875 0.01% 485 363 6.17177e+12 9519 6.17201e+12 6.17169e+12 8258547 0.01% 487 365 6.17178e+12 9636 6.17201e+12 6.17169e+12 8265517 0.01% 488 366 6.17178e+12 8887 6.17201e+12 6.17169e+12 8270568 0.01% 489 367 6.17193e+12 8544 6.17201e+12 6.17169e+12 8295619 0.01% 490 368 6.17198e+12 8315 6.17201e+12 6.17169e+12 8319685 0.01% Elapsed real time = 139962.27 sec. (tree size = 730.73 MB, solutions = 7) Nodefile size = 604.36 MB (286.45 MB after compression) 491 367 cutoff 6.17201e+12 6.17169e+12 8325134 0.01% 493 367 6.17183e+12 9386 6.17201e+12 6.17169e+12 8367293 0.01% 494 368 6.17187e+12 7204 6.17201e+12 6.17169e+12 8382290 0.01% 495 369 6.17187e+12 6924 6.17201e+12 6.17169e+12 8389636 0.01% 496 370 6.17193e+12 7008 6.17201e+12 6.17169e+12 8407516 0.01% 497 371 6.17196e+12 7542 6.17201e+12 6.17169e+12 8420514 0.01% 498 370 cutoff 6.17201e+12 6.17169e+12 8439055 0.01% 500 370 6.17175e+12 10024 6.17201e+12 6.17169e+12 8463761 0.01% 501 371 6.17178e+12 10407 6.17201e+12 6.17169e+12 8482479 0.01% 502 372 6.17178e+12 9903 6.17201e+12 6.17169e+12 8491809 0.01% Elapsed real time = 143144.44 sec. (tree size = 739.06 MB, solutions = 7) Nodefile size = 612.51 MB (290.13 MB after compression) 503 373 6.17179e+12 9569 6.17201e+12 6.17169e+12 8503268 0.01% 504 374 6.17180e+12 8452 6.17201e+12 6.17169e+12 8512709 0.01% 505 375 6.17182e+12 7647 6.17201e+12 6.17169e+12 8527752 0.01% 506 376 6.17183e+12 7869 6.17201e+12 6.17169e+12 8537217 0.01% 507 377 6.17185e+12 7712 6.17201e+12 6.17169e+12 8548583 0.01% 508 378 6.17186e+12 7698 6.17201e+12 6.17169e+12 8563740 0.01% 509 379 6.17190e+12 8256 6.17201e+12 6.17169e+12 8580421 0.01% 510 380 6.17191e+12 8066 6.17201e+12 6.17169e+12 8593076 0.01% 511 381 6.17192e+12 7996 6.17201e+12 6.17169e+12 8596808 0.01% 512 382 6.17194e+12 7841 6.17201e+12 6.17169e+12 8610025 0.01% Elapsed real time = 145471.17 sec. (tree size = 759.33 MB, solutions = 7) Nodefile size = 632.79 MB (299.45 MB after compression) 513 383 6.17197e+12 8178 6.17201e+12 6.17169e+12 8622017 0.01% 514 384 6.17199e+12 7897 6.17201e+12 6.17169e+12 8629786 0.01% 515 385 6.17200e+12 7835 6.17201e+12 6.17169e+12 8640169 0.01% 517 383 cutoff 6.17201e+12 6.17169e+12 8642067 0.01% 518 384 6.17170e+12 9845 6.17201e+12 6.17169e+12 8651459 0.01% 520 386 6.17171e+12 9657 6.17201e+12 6.17169e+12 8661342 0.01% 521 387 6.17177e+12 9891 6.17201e+12 6.17169e+12 8687441 0.01% 522 388 6.17177e+12 10014 6.17201e+12 6.17169e+12 8692975 0.01% 523 389 6.17180e+12 10289 6.17201e+12 6.17169e+12 8709769 0.01% 524 390 6.17180e+12 9954 6.17201e+12 6.17169e+12 8719221 0.01% Elapsed real time = 147876.33 sec. (tree size = 775.19 MB, solutions = 7) Nodefile size = 648.84 MB (307.24 MB after compression) 525 391 6.17181e+12 10197 6.17201e+12 6.17169e+12 8729483 0.01% 526 392 6.17181e+12 8808 6.17201e+12 6.17169e+12 8738708 0.01% 527 393 6.17184e+12 7880 6.17201e+12 6.17169e+12 8751937 0.01% 528 394 6.17184e+12 7769 6.17201e+12 6.17169e+12 8760993 0.01% 529 395 6.17187e+12 7785 6.17201e+12 6.17169e+12 8772781 0.01% 530 396 6.17188e+12 7640 6.17201e+12 6.17169e+12 8786665 0.01% 531 397 6.17192e+12 8227 6.17201e+12 6.17169e+12 8805065 0.01% 532 398 6.17194e+12 8060 6.17201e+12 6.17169e+12 8818196 0.01% 533 399 6.17194e+12 7891 6.17201e+12 6.17169e+12 8821742 0.01% 534 400 6.17196e+12 7891 6.17201e+12 6.17169e+12 8835884 0.01% Elapsed real time = 150000.59 sec. (tree size = 795.54 MB, solutions = 7) Nodefile size = 669.18 MB (316.46 MB after compression) 535 401 6.17199e+12 7788 6.17201e+12 6.17169e+12 8846209 0.01% 536 402 6.17201e+12 7790 6.17201e+12 6.17169e+12 8854831 0.01% 539 401 6.17170e+12 9600 6.17201e+12 6.17169e+12 8859513 0.01% 540 402 6.17171e+12 9493 6.17201e+12 6.17169e+12 8867906 0.01% 541 403 6.17171e+12 9971 6.17201e+12 6.17169e+12 8874284 0.01% 542 404 6.17177e+12 10417 6.17201e+12 6.17169e+12 8898641 0.01% 543 405 6.17180e+12 10246 6.17201e+12 6.17169e+12 8916828 0.01% 544 406 6.17180e+12 10103 6.17201e+12 6.17169e+12 8923506 0.01% 545 407 6.17181e+12 8648 6.17201e+12 6.17169e+12 8938776 0.01% 546 408 6.17183e+12 8209 6.17201e+12 6.17169e+12 8952572 0.01% Elapsed real time = 152622.83 sec. (tree size = 811.50 MB, solutions = 7) Nodefile size = 685.23 MB (324.10 MB after compression) 547 409 6.17184e+12 8312 6.17201e+12 6.17169e+12 8961412 0.01% 548 410 6.17185e+12 9090 6.17201e+12 6.17169e+12 8971319 0.01% 549 411 6.17186e+12 8909 6.17201e+12 6.17169e+12 8981349 0.01% 550 412 6.17187e+12 7676 6.17201e+12 6.17169e+12 8993117 0.01% 551 413 6.17190e+12 8800 6.17201e+12 6.17169e+12 9005542 0.01% 552 414 6.17191e+12 9185 6.17201e+12 6.17169e+12 9018471 0.01% 553 415 6.17196e+12 7688 6.17201e+12 6.17169e+12 9034968 0.01% 554 416 6.17197e+12 7643 6.17201e+12 6.17169e+12 9042249 0.01% 555 417 6.17199e+12 7686 6.17201e+12 6.17169e+12 9053541 0.01% 556 416 cutoff 6.17201e+12 6.17169e+12 9055606 0.01% Elapsed real time = 154781.87 sec. (tree size = 829.83 MB, solutions = 7) Nodefile size = 703.56 MB (332.13 MB after compression) 558 416 6.17176e+12 9691 6.17201e+12 6.17169e+12 9088713 0.01% 559 417 6.17176e+12 9852 6.17201e+12 6.17169e+12 9091535 0.01% 560 418 6.17177e+12 9408 6.17201e+12 6.17169e+12 9099985 0.01% 561 419 6.17177e+12 9336 6.17201e+12 6.17169e+12 9103263 0.01% 562 420 6.17178e+12 9348 6.17201e+12 6.17169e+12 9116615 0.01% 563 421 6.17179e+12 9260 6.17201e+12 6.17169e+12 9128166 0.01% 564 422 6.17194e+12 8929 6.17201e+12 6.17169e+12 9157210 0.01% 565 423 6.17199e+12 8816 6.17201e+12 6.17169e+12 9177263 0.01% 566 422 cutoff 6.17201e+12 6.17169e+12 9180938 0.01% 568 422 6.17170e+12 9794 6.17201e+12 6.17170e+12 9192947 0.01% Elapsed real time = 158489.49 sec. (tree size = 840.10 MB, solutions = 7) Nodefile size = 715.62 MB (338.19 MB after compression) 569 423 6.17171e+12 9777 6.17201e+12 6.17170e+12 9196144 0.01% 570 424 6.17172e+12 9603 6.17201e+12 6.17170e+12 9205450 0.01% 571 425 6.17178e+12 9883 6.17201e+12 6.17170e+12 9230283 0.01% 572 426 6.17178e+12 9686 6.17201e+12 6.17170e+12 9235313 0.01% 573 427 6.17179e+12 8805 6.17201e+12 6.17170e+12 9249955 0.01% 574 428 6.17182e+12 9773 6.17201e+12 6.17170e+12 9270533 0.01% 575 429 6.17183e+12 8927 6.17201e+12 6.17170e+12 9283843 0.01% 576 430 6.17185e+12 8203 6.17201e+12 6.17170e+12 9302301 0.01% 577 431 6.17186e+12 8369 6.17201e+12 6.17170e+12 9312594 0.01% 578 432 6.17188e+12 8196 6.17201e+12 6.17170e+12 9324891 0.01% Elapsed real time = 161262.29 sec. (tree size = 859.94 MB, solutions = 7) Nodefile size = 733.70 MB (346.81 MB after compression) 579 433 6.17189e+12 9794 6.17201e+12 6.17170e+12 9340990 0.01% 580 434 6.17193e+12 8637 6.17201e+12 6.17170e+12 9360136 0.01% 581 435 6.17194e+12 8967 6.17201e+12 6.17170e+12 9373618 0.01% 582 436 6.17198e+12 9749 6.17201e+12 6.17170e+12 9396711 0.01% 583 437 6.17199e+12 9296 6.17201e+12 6.17170e+12 9404412 0.01% 585 435 cutoff 6.17201e+12 6.17170e+12 9410218 0.01% 586 436 6.17172e+12 9501 6.17201e+12 6.17170e+12 9421424 0.01% 587 437 6.17178e+12 9608 6.17201e+12 6.17170e+12 9443630 0.01% 588 438 6.17180e+12 10511 6.17201e+12 6.17170e+12 9460633 0.01% 589 439 6.17181e+12 10032 6.17201e+12 6.17170e+12 9465798 0.01% Elapsed real time = 163845.14 sec. (tree size = 874.17 MB, solutions = 7) Nodefile size = 747.90 MB (353.30 MB after compression) 590 440 6.17182e+12 8593 6.17201e+12 6.17170e+12 9478476 0.01% 591 441 6.17184e+12 7872 6.17201e+12 6.17170e+12 9492797 0.01% 592 442 6.17185e+12 8168 6.17201e+12 6.17170e+12 9500674 0.01% 593 443 6.17185e+12 8208 6.17201e+12 6.17170e+12 9510765 0.01% 594 444 6.17187e+12 8182 6.17201e+12 6.17170e+12 9520474 0.01% 595 445 6.17189e+12 9848 6.17201e+12 6.17170e+12 9533260 0.01% 596 446 6.17190e+12 7631 6.17201e+12 6.17170e+12 9544839 0.01% 597 447 6.17192e+12 9524 6.17201e+12 6.17170e+12 9554838 0.01% 598 448 6.17192e+12 9148 6.17201e+12 6.17170e+12 9560147 0.01% 599 449 6.17193e+12 8432 6.17201e+12 6.17170e+12 9568390 0.01% Elapsed real time = 165795.83 sec. (tree size = 894.52 MB, solutions = 7) Nodefile size = 768.26 MB (362.10 MB after compression) 600 450 6.17195e+12 8319 6.17201e+12 6.17170e+12 9575750 0.01% 601 451 6.17196e+12 8131 6.17201e+12 6.17170e+12 9582592 0.01% 602 450 cutoff 6.17201e+12 6.17170e+12 9586764 0.01% 604 450 6.17183e+12 7318 6.17201e+12 6.17170e+12 9631553 0.01% 605 451 6.17184e+12 7947 6.17201e+12 6.17170e+12 9641232 0.01% 606 452 6.17188e+12 7023 6.17201e+12 6.17170e+12 9654418 0.01% 607 453 6.17194e+12 7466 6.17201e+12 6.17170e+12 9671961 0.01% 608 454 6.17197e+12 6951 6.17201e+12 6.17170e+12 9684029 0.01% 609 453 cutoff 6.17201e+12 6.17170e+12 9695492 0.01% 611 453 6.17181e+12 9868 6.17201e+12 6.17170e+12 9721512 0.01% Elapsed real time = 168495.63 sec. (tree size = 902.98 MB, solutions = 7) Nodefile size = 778.44 MB (366.58 MB after compression) 612 454 6.17182e+12 9552 6.17201e+12 6.17170e+12 9732133 0.01% 613 455 6.17183e+12 9726 6.17201e+12 6.17170e+12 9741448 0.01% 614 456 6.17188e+12 9317 6.17201e+12 6.17170e+12 9768819 0.01% 615 457 6.17191e+12 9424 6.17201e+12 6.17170e+12 9787255 0.01% 616 458 6.17192e+12 9582 6.17201e+12 6.17170e+12 9797082 0.01% 617 459 6.17193e+12 8830 6.17201e+12 6.17170e+12 9810924 0.01% 618 460 6.17196e+12 9133 6.17201e+12 6.17170e+12 9824976 0.01% 619 461 6.17196e+12 7649 6.17201e+12 6.17170e+12 9833892 0.01% 620 462 6.17198e+12 7594 6.17201e+12 6.17170e+12 9845554 0.01% 621 461 cutoff 6.17201e+12 6.17170e+12 9849407 0.01% Elapsed real time = 170826.64 sec. (tree size = 921.31 MB, solutions = 7) Nodefile size = 794.73 MB (373.70 MB after compression) 623 461 6.17184e+12 7367 6.17201e+12 6.17170e+12 9896094 0.01% 624 462 6.17188e+12 7204 6.17201e+12 6.17170e+12 9910604 0.01% 625 463 6.17188e+12 6977 6.17201e+12 6.17170e+12 9918182 0.01% 626 464 6.17194e+12 7014 6.17201e+12 6.17170e+12 9935302 0.01% 627 463 cutoff 6.17201e+12 6.17170e+12 9948222 0.01% 628 464 6.17197e+12 6984 6.17201e+12 6.17170e+12 9960340 0.01% 629 463 cutoff 6.17201e+12 6.17170e+12 9969640 0.01% 631 463 6.17170e+12 9599 6.17201e+12 6.17170e+12 9973294 0.01% 632 464 6.17171e+12 10055 6.17201e+12 6.17170e+12 9980696 0.01% 633 465 6.17177e+12 9946 6.17201e+12 6.17170e+12 10006199 0.01% Elapsed real time = 173407.90 sec. (tree size = 927.44 MB, solutions = 7) Nodefile size = 800.85 MB (376.41 MB after compression) 634 466 6.17178e+12 9518 6.17201e+12 6.17170e+12 10015571 0.01% 635 467 6.17181e+12 10127 6.17201e+12 6.17170e+12 10034968 0.01% 636 468 6.17181e+12 10343 6.17201e+12 6.17170e+12 10045569 0.01% 637 469 6.17182e+12 8591 6.17201e+12 6.17170e+12 10056707 0.01% 638 470 6.17184e+12 8526 6.17201e+12 6.17170e+12 10072779 0.01% 639 471 6.17185e+12 8033 6.17201e+12 6.17170e+12 10082895 0.01% 640 472 6.17187e+12 7916 6.17201e+12 6.17170e+12 10093799 0.01% 641 473 6.17188e+12 8904 6.17201e+12 6.17170e+12 10107804 0.01% 642 474 6.17190e+12 7671 6.17201e+12 6.17170e+12 10120728 0.01% 643 475 6.17191e+12 7571 6.17201e+12 6.17170e+12 10131274 0.01% Elapsed real time = 175869.18 sec. (tree size = 947.69 MB, solutions = 7) Nodefile size = 821.21 MB (385.16 MB after compression) 644 476 6.17192e+12 7457 6.17201e+12 6.17170e+12 10138107 0.01% 645 477 6.17193e+12 9000 6.17201e+12 6.17170e+12 10146153 0.01% 646 478 6.17201e+12 8028 6.17201e+12 6.17170e+12 10168374 0.01% 649 477 6.17172e+12 9525 6.17201e+12 6.17170e+12 10180352 0.01% 650 478 6.17186e+12 6929 6.17201e+12 6.17170e+12 10218254 0.01% 651 479 6.17199e+12 6120 6.17201e+12 6.17170e+12 10234377 0.01% 655 479 6.17171e+12 9874 6.17201e+12 6.17170e+12 10240181 0.01% 656 480 6.17172e+12 9660 6.17201e+12 6.17170e+12 10249838 0.01% 657 481 6.17177e+12 9936 6.17201e+12 6.17170e+12 10274971 0.01% 658 482 6.17178e+12 10013 6.17201e+12 6.17170e+12 10280348 0.01% Elapsed real time = 178418.14 sec. (tree size = 961.80 MB, solutions = 7) Nodefile size = 835.42 MB (391.58 MB after compression) 659 483 6.17181e+12 10292 6.17201e+12 6.17170e+12 10297167 0.01% 660 484 6.17181e+12 9959 6.17201e+12 6.17170e+12 10307222 0.01% 661 485 6.17181e+12 9626 6.17201e+12 6.17170e+12 10317856 0.01% 662 486 6.17182e+12 8342 6.17201e+12 6.17170e+12 10325818 0.01% 663 487 6.17184e+12 7540 6.17201e+12 6.17170e+12 10339740 0.01% 664 488 6.17185e+12 7748 6.17201e+12 6.17170e+12 10348156 0.01% 665 489 6.17187e+12 7777 6.17201e+12 6.17170e+12 10359010 0.01% 666 490 6.17189e+12 7702 6.17201e+12 6.17170e+12 10372303 0.01% 667 491 6.17193e+12 8134 6.17201e+12 6.17170e+12 10390533 0.01% 668 492 6.17194e+12 8236 6.17201e+12 6.17170e+12 10402883 0.01% Elapsed real time = 180717.78 sec. (tree size = 982.10 MB, solutions = 7) Nodefile size = 855.66 MB (400.82 MB after compression) 669 493 6.17194e+12 7889 6.17201e+12 6.17170e+12 10406547 0.01% 670 494 6.17197e+12 7890 6.17201e+12 6.17170e+12 10419990 0.01% 671 495 6.17199e+12 7937 6.17201e+12 6.17170e+12 10432662 0.01% 673 493 cutoff 6.17201e+12 6.17170e+12 10436707 0.01% 674 494 6.17172e+12 9608 6.17201e+12 6.17170e+12 10447544 0.01% 675 495 6.17178e+12 9808 6.17201e+12 6.17170e+12 10472479 0.01% 676 496 6.17181e+12 9992 6.17201e+12 6.17170e+12 10488501 0.01% 677 497 6.17181e+12 10078 6.17201e+12 6.17170e+12 10494372 0.01% 678 498 6.17182e+12 8708 6.17201e+12 6.17170e+12 10506027 0.01% 679 499 6.17184e+12 7872 6.17201e+12 6.17170e+12 10520474 0.01% Elapsed real time = 183032.23 sec. (tree size = 996.32 MB, solutions = 7) Nodefile size = 869.87 MB (407.24 MB after compression) 680 500 6.17185e+12 8201 6.17201e+12 6.17170e+12 10529691 0.01% 681 501 6.17187e+12 8081 6.17201e+12 6.17170e+12 10540589 0.01% 682 502 6.17188e+12 9288 6.17201e+12 6.17170e+12 10553277 0.01% 683 503 6.17190e+12 7626 6.17201e+12 6.17170e+12 10564585 0.01% 684 504 6.17191e+12 9338 6.17201e+12 6.17170e+12 10574063 0.01% 685 505 6.17191e+12 7570 6.17201e+12 6.17170e+12 10580562 0.01% 686 506 6.17192e+12 7928 6.17201e+12 6.17170e+12 10587489 0.01% 687 507 6.17201e+12 7852 6.17201e+12 6.17170e+12 10607076 0.01% 690 506 6.17172e+12 9501 6.17201e+12 6.17170e+12 10618262 0.01% 691 507 6.17178e+12 9552 6.17201e+12 6.17170e+12 10641197 0.01% Elapsed real time = 185231.57 sec. (tree size = 1010.72 MB, solutions = 7) Nodefile size = 886.16 MB (414.36 MB after compression) 692 508 6.17186e+12 6933 6.17201e+12 6.17170e+12 10676927 0.01% 693 509 6.17190e+12 6768 6.17201e+12 6.17170e+12 10688398 0.01% 694 510 6.17196e+12 7527 6.17201e+12 6.17170e+12 10705260 0.01% 695 509 cutoff 6.17201e+12 6.17170e+12 10714444 0.01% 696 510 6.17199e+12 6819 6.17201e+12 6.17170e+12 10726000 0.01% 697 509 cutoff 6.17201e+12 6.17170e+12 10729575 0.01% 699 509 6.17184e+12 7318 6.17201e+12 6.17170e+12 10777010 0.01% 700 510 6.17185e+12 7137 6.17201e+12 6.17170e+12 10787693 0.01% 701 511 6.17189e+12 6805 6.17201e+12 6.17170e+12 10801389 0.01% 702 512 6.17194e+12 7008 6.17201e+12 6.17170e+12 10818124 0.01% Elapsed real time = 188204.43 sec. (tree size = 1023.00 MB, solutions = 7) Nodefile size = 896.30 MB (418.92 MB after compression) 703 513 6.17197e+12 6921 6.17201e+12 6.17170e+12 10829971 0.01% 704 512 cutoff 6.17201e+12 6.17170e+12 10837024 0.01% 706 512 6.17176e+12 9608 6.17201e+12 6.17170e+12 10862362 0.01% 707 513 6.17179e+12 10272 6.17201e+12 6.17170e+12 10878987 0.01% 708 514 6.17179e+12 9984 6.17201e+12 6.17170e+12 10884290 0.01% 709 515 6.17180e+12 8597 6.17201e+12 6.17170e+12 10897506 0.01% 710 516 6.17182e+12 7925 6.17201e+12 6.17170e+12 10911877 0.01% 711 517 6.17183e+12 8548 6.17201e+12 6.17170e+12 10921201 0.01% 712 518 6.17185e+12 8127 6.17201e+12 6.17170e+12 10931606 0.01% 713 519 6.17187e+12 8226 6.17201e+12 6.17170e+12 10945917 0.01% Elapsed real time = 190725.79 sec. (tree size = 1037.25 MB, solutions = 7) Nodefile size = 910.51 MB (425.45 MB after compression) 714 520 6.17188e+12 7676 6.17201e+12 6.17170e+12 10959656 0.01% 715 521 6.17189e+12 9651 6.17201e+12 6.17170e+12 10970658 0.01% 716 522 6.17190e+12 7625 6.17201e+12 6.17170e+12 10976187 0.01% 717 523 6.17191e+12 7824 6.17201e+12 6.17170e+12 10984604 0.01% 718 524 6.17192e+12 8088 6.17201e+12 6.17170e+12 10992929 0.01% 719 525 6.17194e+12 7780 6.17201e+12 6.17170e+12 10997894 0.01% 720 526 6.17201e+12 8177 6.17201e+12 6.17170e+12 11017804 0.01% 723 525 6.17170e+12 9772 6.17201e+12 6.17170e+12 11019184 0.00% 724 526 6.17172e+12 9604 6.17201e+12 6.17170e+12 11028145 0.00% 725 527 6.17177e+12 9883 6.17201e+12 6.17170e+12 11054003 0.00% Elapsed real time = 192714.92 sec. (tree size = 1053.41 MB, solutions = 7) Nodefile size = 926.80 MB (432.62 MB after compression) 726 528 6.17178e+12 9689 6.17201e+12 6.17170e+12 11059461 0.00% 727 529 6.17178e+12 9401 6.17201e+12 6.17170e+12 11069095 0.00% 728 530 6.17181e+12 9904 6.17201e+12 6.17170e+12 11088313 0.00% 729 531 6.17181e+12 10043 6.17201e+12 6.17170e+12 11101130 0.00% 730 532 6.17182e+12 8454 6.17201e+12 6.17170e+12 11110197 0.00% 731 533 6.17184e+12 8907 6.17201e+12 6.17170e+12 11123568 0.00% 732 534 6.17185e+12 7922 6.17201e+12 6.17170e+12 11132266 0.00% 733 535 6.17187e+12 7839 6.17201e+12 6.17170e+12 11144101 0.00% 734 536 6.17189e+12 8354 6.17201e+12 6.17170e+12 11156181 0.00% 735 537 6.17193e+12 8192 6.17201e+12 6.17170e+12 11174210 0.00% Elapsed real time = 195252.28 sec. (tree size = 1073.63 MB, solutions = 7) Nodefile size = 946.99 MB (442.00 MB after compression) 736 538 6.17194e+12 8064 6.17201e+12 6.17170e+12 11186915 0.00% 737 539 6.17194e+12 7992 6.17201e+12 6.17170e+12 11191749 0.00% 738 540 6.17197e+12 7945 6.17201e+12 6.17170e+12 11205730 0.00% 739 541 6.17200e+12 7905 6.17201e+12 6.17170e+12 11218377 0.00% 741 539 cutoff 6.17201e+12 6.17170e+12 11221959 0.00% 742 540 6.17172e+12 9559 6.17201e+12 6.17170e+12 11233244 0.00% 743 541 6.17178e+12 10781 6.17201e+12 6.17170e+12 11256788 0.00% 744 542 6.17181e+12 9990 6.17201e+12 6.17170e+12 11273646 0.00% 745 543 6.17182e+12 10343 6.17201e+12 6.17170e+12 11290249 0.00% 746 544 6.17184e+12 8037 6.17201e+12 6.17170e+12 11305100 0.00% Elapsed real time = 197758.22 sec. (tree size = 1087.87 MB, solutions = 7) Nodefile size = 961.21 MB (448.48 MB after compression) 747 545 6.17185e+12 8033 6.17201e+12 6.17170e+12 11315023 0.00% 748 546 6.17187e+12 8080 6.17201e+12 6.17170e+12 11326211 0.00% 749 547 6.17189e+12 8118 6.17201e+12 6.17170e+12 11340842 0.00% 750 548 6.17190e+12 9157 6.17201e+12 6.17170e+12 11355454 0.00% 751 549 6.17191e+12 9104 6.17201e+12 6.17170e+12 11366846 0.00% 752 550 6.17192e+12 9118 6.17201e+12 6.17170e+12 11373220 0.00% 753 551 6.17193e+12 9282 6.17201e+12 6.17170e+12 11381923 0.00% 754 552 6.17201e+12 9170 6.17201e+12 6.17170e+12 11400649 0.00% 757 551 6.17184e+12 6984 6.17201e+12 6.17170e+12 11440335 0.00% 758 552 6.17188e+12 6706 6.17201e+12 6.17170e+12 11451944 0.00% Elapsed real time = 200365.46 sec. (tree size = 1104.30 MB, solutions = 7) Nodefile size = 977.50 MB (455.63 MB after compression) 759 553 6.17194e+12 6901 6.17201e+12 6.17170e+12 11467570 0.00% 760 552 cutoff 6.17201e+12 6.17170e+12 11477149 0.00% 761 553 6.17197e+12 6872 6.17201e+12 6.17170e+12 11488553 0.00% 762 552 cutoff 6.17201e+12 6.17170e+12 11498098 0.00% 764 552 6.17173e+12 9502 6.17201e+12 6.17170e+12 11509635 0.00% 765 553 6.17178e+12 10039 6.17201e+12 6.17170e+12 11531396 0.00% 766 554 6.17179e+12 8233 6.17201e+12 6.17170e+12 11544150 0.00% 767 555 6.17182e+12 9701 6.17201e+12 6.17170e+12 11564001 0.00% 768 556 6.17185e+12 8367 6.17201e+12 6.17170e+12 11578133 0.00% 769 557 6.17185e+12 8061 6.17201e+12 6.17170e+12 11587618 0.00% Elapsed real time = 202690.15 sec. (tree size = 1114.44 MB, solutions = 7) Nodefile size = 987.66 MB (460.22 MB after compression) 770 558 6.17187e+12 8020 6.17201e+12 6.17170e+12 11598659 0.00% 771 559 6.17189e+12 9088 6.17201e+12 6.17170e+12 11613440 0.00% 772 560 6.17190e+12 7567 6.17201e+12 6.17170e+12 11626759 0.00% 773 561 6.17192e+12 9213 6.17201e+12 6.17170e+12 11637720 0.00% 774 562 6.17192e+12 7571 6.17201e+12 6.17170e+12 11643167 0.00% 775 563 6.17200e+12 7907 6.17201e+12 6.17170e+12 11662599 0.00% 777 561 cutoff 6.17201e+12 6.17170e+12 11665214 0.00% 778 562 6.17182e+12 10340 6.17201e+12 6.17171e+12 11692053 0.00% 779 563 6.17183e+12 10174 6.17201e+12 6.17171e+12 11703879 0.00% 780 564 6.17184e+12 9977 6.17201e+12 6.17171e+12 11713973 0.00% Elapsed real time = 204884.14 sec. (tree size = 1128.84 MB, solutions = 7) Nodefile size = 1001.91 MB (466.46 MB after compression) 781 565 6.17185e+12 9916 6.17201e+12 6.17171e+12 11716942 0.00% 782 566 6.17186e+12 9747 6.17201e+12 6.17171e+12 11728299 0.00% 783 567 6.17187e+12 9922 6.17201e+12 6.17171e+12 11738036 0.00% 784 568 6.17192e+12 9270 6.17201e+12 6.17171e+12 11762239 0.00% 785 569 6.17196e+12 10705 6.17201e+12 6.17171e+12 11782485 0.00% 786 570 6.17196e+12 9922 6.17201e+12 6.17171e+12 11788750 0.00% 787 571 6.17198e+12 8652 6.17201e+12 6.17171e+12 11803073 0.00% 788 572 6.17201e+12 9490 6.17201e+12 6.17171e+12 11826472 0.00% 791 571 6.17172e+12 9384 6.17201e+12 6.17171e+12 11837911 0.00% 792 572 6.17178e+12 9601 6.17201e+12 6.17171e+12 11864666 0.00% Elapsed real time = 207662.81 sec. (tree size = 1145.15 MB, solutions = 7) Nodefile size = 1018.20 MB (473.54 MB after compression) 793 573 6.17181e+12 9989 6.17201e+12 6.17171e+12 11882199 0.00% 794 574 6.17181e+12 10303 6.17201e+12 6.17171e+12 11886857 0.00% 795 575 6.17182e+12 8653 6.17201e+12 6.17171e+12 11898306 0.00% 796 576 6.17184e+12 7873 6.17201e+12 6.17171e+12 11912962 0.00% 797 577 6.17185e+12 8595 6.17201e+12 6.17171e+12 11922617 0.00% 798 578 6.17187e+12 8080 6.17201e+12 6.17171e+12 11932421 0.00% 799 579 6.17189e+12 8038 6.17201e+12 6.17171e+12 11946432 0.00% 800 580 6.17190e+12 7626 6.17201e+12 6.17171e+12 11958703 0.00% 801 581 6.17191e+12 9231 6.17201e+12 6.17171e+12 11968751 0.00% 802 582 6.17192e+12 7765 6.17201e+12 6.17171e+12 11974657 0.00% Elapsed real time = 209735.67 sec. (tree size = 1165.46 MB, solutions = 7) Nodefile size = 1038.56 MB (482.39 MB after compression) 803 583 6.17193e+12 8345 6.17201e+12 6.17171e+12 11982844 0.00% 804 582 cutoff 6.17201e+12 6.17171e+12 11998129 0.00% 805 581 cutoff 6.17201e+12 6.17171e+12 12001200 0.00% 806 582 6.17171e+12 9941 6.17201e+12 6.17171e+12 12003912 0.00% 807 583 6.17172e+12 9857 6.17201e+12 6.17171e+12 12010608 0.00% 808 584 6.17178e+12 10008 6.17201e+12 6.17171e+12 12039816 0.00% 809 585 6.17179e+12 9727 6.17201e+12 6.17171e+12 12050272 0.00% 810 586 6.17179e+12 8404 6.17201e+12 6.17171e+12 12060581 0.00% 811 587 6.17182e+12 9784 6.17201e+12 6.17171e+12 12079229 0.00% 812 588 6.17183e+12 9082 6.17201e+12 6.17171e+12 12086932 0.00% Elapsed real time = 211932.47 sec. (tree size = 1177.43 MB, solutions = 7) Nodefile size = 1050.61 MB (488.28 MB after compression) 813 589 6.17185e+12 7843 6.17201e+12 6.17171e+12 12102457 0.00% 814 590 6.17186e+12 8346 6.17201e+12 6.17171e+12 12112132 0.00% 815 591 6.17188e+12 8424 6.17201e+12 6.17171e+12 12122625 0.00% 816 592 6.17189e+12 7955 6.17201e+12 6.17171e+12 12138605 0.00% 817 593 6.17193e+12 8317 6.17201e+12 6.17171e+12 12156871 0.00% 818 594 6.17195e+12 8064 6.17201e+12 6.17171e+12 12170719 0.00% 819 595 6.17195e+12 7956 6.17201e+12 6.17171e+12 12177061 0.00% 820 596 6.17198e+12 8002 6.17201e+12 6.17171e+12 12192337 0.00% 821 595 cutoff 6.17201e+12 6.17171e+12 12196671 0.00% 822 594 cutoff 6.17201e+12 6.17171e+12 12201370 0.00% Elapsed real time = 213932.33 sec. (tree size = 1191.83 MB, solutions = 7) Nodefile size = 1066.90 MB (495.44 MB after compression) 823 595 6.17184e+12 7270 6.17201e+12 6.17171e+12 12241206 0.00% 824 596 6.17185e+12 8302 6.17201e+12 6.17171e+12 12245475 0.00% 825 597 6.17189e+12 6817 6.17201e+12 6.17171e+12 12261835 0.00% 826 598 6.17195e+12 6849 6.17201e+12 6.17171e+12 12279626 0.00% 827 597 cutoff 6.17201e+12 6.17171e+12 12292233 0.00% 828 598 6.17197e+12 8373 6.17201e+12 6.17171e+12 12303309 0.00% 829 597 cutoff 6.17201e+12 6.17171e+12 12308520 0.00% 831 597 6.17176e+12 10146 6.17201e+12 6.17171e+12 12334288 0.00% 832 598 6.17179e+12 10747 6.17201e+12 6.17171e+12 12352076 0.00% 833 599 6.17180e+12 10036 6.17201e+12 6.17171e+12 12359286 0.00% Elapsed real time = 216806.98 sec. (tree size = 1200.03 MB, solutions = 7) Nodefile size = 1073.01 MB (498.13 MB after compression) 834 600 6.17181e+12 8660 6.17201e+12 6.17171e+12 12373792 0.00% 835 601 6.17183e+12 8097 6.17201e+12 6.17171e+12 12388773 0.00% 836 602 6.17184e+12 8310 6.17201e+12 6.17171e+12 12397793 0.00% 837 603 6.17186e+12 7992 6.17201e+12 6.17171e+12 12408288 0.00% 838 604 6.17187e+12 8918 6.17201e+12 6.17171e+12 12423192 0.00% 839 605 6.17189e+12 7692 6.17201e+12 6.17171e+12 12435926 0.00% 840 606 6.17190e+12 7797 6.17201e+12 6.17171e+12 12445925 0.00% 841 607 6.17190e+12 7625 6.17201e+12 6.17171e+12 12452416 0.00% 842 608 6.17191e+12 7791 6.17201e+12 6.17171e+12 12460920 0.00% 843 609 6.17193e+12 7905 6.17201e+12 6.17171e+12 12468997 0.00% Elapsed real time = 218905.72 sec. (tree size = 1220.37 MB, solutions = 7) Nodefile size = 1093.35 MB (507.12 MB after compression) 844 608 cutoff 6.17201e+12 6.17171e+12 12482691 0.00% 845 607 cutoff 6.17201e+12 6.17171e+12 12487342 0.00% 846 608 6.17171e+12 9734 6.17201e+12 6.17171e+12 12496025 0.00% 847 609 6.17172e+12 9736 6.17201e+12 6.17171e+12 12503945 0.00% 848 610 6.17173e+12 10161 6.17201e+12 6.17171e+12 12509056 0.00% 849 611 6.17178e+12 10097 6.17201e+12 6.17171e+12 12535884 0.00% 850 612 6.17178e+12 10021 6.17201e+12 6.17171e+12 12536522 0.00% 851 613 6.17181e+12 10505 6.17201e+12 6.17171e+12 12556077 0.00% 852 614 6.17182e+12 9914 6.17201e+12 6.17171e+12 12570318 0.00% 853 615 6.17183e+12 9587 6.17201e+12 6.17171e+12 12580220 0.00% Elapsed real time = 221206.18 sec. (tree size = 1232.32 MB, solutions = 7) Nodefile size = 1105.46 MB (513.39 MB after compression) 854 616 6.17185e+12 8385 6.17201e+12 6.17171e+12 12596686 0.00% 855 617 6.17186e+12 9256 6.17201e+12 6.17171e+12 12607698 0.00% 856 618 6.17188e+12 8025 6.17201e+12 6.17171e+12 12618542 0.00% 857 619 6.17189e+12 8131 6.17201e+12 6.17171e+12 12634191 0.00% 858 620 6.17193e+12 8546 6.17201e+12 6.17171e+12 12655393 0.00% 859 621 6.17195e+12 8370 6.17201e+12 6.17171e+12 12668243 0.00% 860 622 6.17195e+12 8311 6.17201e+12 6.17171e+12 12672911 0.00% 861 623 6.17198e+12 8057 6.17201e+12 6.17171e+12 12687783 0.00% 862 624 6.17200e+12 7959 6.17201e+12 6.17171e+12 12702730 0.00% 864 622 cutoff 6.17201e+12 6.17171e+12 12704323 0.00% Elapsed real time = 223082.49 sec. (tree size = 1248.75 MB, solutions = 7) Nodefile size = 1123.78 MB (522.50 MB after compression) 865 623 6.17172e+12 9864 6.17201e+12 6.17171e+12 12717213 0.00% 866 624 6.17178e+12 9880 6.17201e+12 6.17171e+12 12744011 0.00% 867 625 6.17179e+12 8375 6.17201e+12 6.17171e+12 12755542 0.00% 868 626 6.17182e+12 8649 6.17201e+12 6.17171e+12 12773564 0.00% 869 627 6.17184e+12 8147 6.17201e+12 6.17171e+12 12791084 0.00% 870 628 6.17185e+12 8146 6.17201e+12 6.17171e+12 12800789 0.00% 871 629 6.17187e+12 8184 6.17201e+12 6.17171e+12 12814219 0.00% 872 630 6.17189e+12 8147 6.17201e+12 6.17171e+12 12830558 0.00% 873 631 6.17193e+12 8590 6.17201e+12 6.17171e+12 12849913 0.00% 874 632 6.17194e+12 8489 6.17201e+12 6.17171e+12 12863954 0.00% Elapsed real time = 225404.99 sec. (tree size = 1266.88 MB, solutions = 7) Nodefile size = 1140.00 MB (530.05 MB after compression) 875 633 6.17194e+12 8523 6.17201e+12 6.17171e+12 12869255 0.00% 876 634 6.17197e+12 8118 6.17201e+12 6.17171e+12 12881701 0.00% 877 635 6.17199e+12 8027 6.17201e+12 6.17171e+12 12892909 0.00% 879 633 cutoff 6.17201e+12 6.17171e+12 12897353 0.00% 880 634 6.17177e+12 9909 6.17201e+12 6.17171e+12 12930725 0.00% 881 635 6.17178e+12 10063 6.17201e+12 6.17171e+12 12934197 0.00% 882 636 6.17178e+12 9415 6.17201e+12 6.17171e+12 12946107 0.00% 883 637 6.17179e+12 9112 6.17201e+12 6.17171e+12 12949067 0.00% 884 638 6.17180e+12 9235 6.17201e+12 6.17171e+12 12958295 0.00% 885 639 6.17180e+12 9453 6.17201e+12 6.17171e+12 12965663 0.00% Elapsed real time = 226827.39 sec. (tree size = 1281.21 MB, solutions = 7) Nodefile size = 1154.22 MB (537.25 MB after compression) 886 640 6.17195e+12 8447 6.17201e+12 6.17171e+12 12993536 0.00% 887 641 6.17195e+12 8221 6.17201e+12 6.17171e+12 13005814 0.00% 888 642 6.17200e+12 8312 6.17201e+12 6.17171e+12 13031571 0.00% 891 641 6.17172e+12 9988 6.17201e+12 6.17171e+12 13044079 0.00% 892 642 6.17173e+12 9853 6.17201e+12 6.17171e+12 13047780 0.00% 893 643 6.17174e+12 9917 6.17201e+12 6.17171e+12 13054941 0.00% 894 644 6.17175e+12 9864 6.17201e+12 6.17171e+12 13069255 0.00% 895 645 6.17180e+12 9765 6.17201e+12 6.17171e+12 13093891 0.00% 896 646 6.17181e+12 8281 6.17201e+12 6.17171e+12 13105669 0.00% 897 647 6.17184e+12 8670 6.17201e+12 6.17171e+12 13124438 0.00% Elapsed real time = 229712.53 sec. (tree size = 1295.17 MB, solutions = 7) Nodefile size = 1168.34 MB (544.46 MB after compression) 898 646 cutoff 6.17201e+12 6.17171e+12 13134617 0.00% 899 647 6.17186e+12 8034 6.17201e+12 6.17171e+12 13150835 0.00% 900 648 6.17187e+12 8207 6.17201e+12 6.17171e+12 13159918 0.00% 901 649 6.17200e+12 6969 6.17201e+12 6.17171e+12 13190185 0.00% 902 648 cutoff 6.17201e+12 6.17171e+12 13192562 0.00% 904 648 6.17172e+12 9792 6.17201e+12 6.17171e+12 13201920 0.00% 906 650 6.17173e+12 9715 6.17201e+12 6.17171e+12 13210223 0.00% 907 651 6.17187e+12 8301 6.17201e+12 6.17171e+12 13251232 0.00% 908 652 6.17190e+12 7694 6.17201e+12 6.17171e+12 13267262 0.00% 909 653 6.17191e+12 7102 6.17201e+12 6.17171e+12 13281408 0.00% Elapsed real time = 232014.08 sec. (tree size = 1309.20 MB, solutions = 7) Nodefile size = 1182.44 MB (550.95 MB after compression) 910 652 cutoff 6.17201e+12 6.17171e+12 13288833 0.00% 911 653 6.17195e+12 6782 6.17201e+12 6.17171e+12 13303171 0.00% 912 652 cutoff 6.17201e+12 6.17171e+12 13306063 0.00% 913 653 6.17201e+12 6857 6.17201e+12 6.17171e+12 13320869 0.00% 916 652 6.17171e+12 9679 6.17201e+12 6.17171e+12 13328826 0.00% 917 653 6.17172e+12 9708 6.17201e+12 6.17171e+12 13332744 0.00% 918 654 6.17172e+12 10022 6.17201e+12 6.17171e+12 13338578 0.00% 919 655 6.17173e+12 9987 6.17201e+12 6.17171e+12 13347808 0.00% 920 656 6.17179e+12 10027 6.17201e+12 6.17171e+12 13375963 0.00% 921 657 6.17182e+12 10251 6.17201e+12 6.17171e+12 13394045 0.00% Elapsed real time = 234341.24 sec. (tree size = 1316.97 MB, solutions = 7) Nodefile size = 1190.34 MB (554.88 MB after compression) 922 658 6.17182e+12 10035 6.17201e+12 6.17171e+12 13402058 0.00% 923 659 6.17183e+12 8758 6.17201e+12 6.17171e+12 13418241 0.00% 924 660 6.17185e+12 9090 6.17201e+12 6.17171e+12 13432381 0.00% 925 661 6.17186e+12 8345 6.17201e+12 6.17171e+12 13441312 0.00% 926 662 6.17187e+12 9052 6.17201e+12 6.17171e+12 13451046 0.00% 927 663 6.17188e+12 8827 6.17201e+12 6.17171e+12 13460614 0.00% 928 664 6.17189e+12 7682 6.17201e+12 6.17171e+12 13473041 0.00% 929 665 6.17192e+12 7614 6.17201e+12 6.17171e+12 13484814 0.00% 930 666 6.17193e+12 8925 6.17201e+12 6.17171e+12 13496760 0.00% 931 667 6.17198e+12 7755 6.17201e+12 6.17171e+12 13513562 0.00% Elapsed real time = 236334.28 sec. (tree size = 1337.32 MB, solutions = 7) Nodefile size = 1210.67 MB (563.88 MB after compression) 932 668 6.17199e+12 7694 6.17201e+12 6.17171e+12 13520711 0.00% 933 667 cutoff 6.17201e+12 6.17171e+12 13523155 0.00% 934 666 cutoff 6.17201e+12 6.17171e+12 13525654 0.00% 935 667 6.17182e+12 10599 6.17201e+12 6.17171e+12 13552568 0.00% 936 668 6.17183e+12 10664 6.17201e+12 6.17171e+12 13564357 0.00% 937 669 6.17185e+12 10618 6.17201e+12 6.17171e+12 13576673 0.00% 938 670 6.17186e+12 10235 6.17201e+12 6.17171e+12 13579456 0.00% 939 671 6.17186e+12 9871 6.17201e+12 6.17171e+12 13592526 0.00% 940 672 6.17187e+12 9873 6.17201e+12 6.17171e+12 13600382 0.00% 941 673 6.17193e+12 9708 6.17201e+12 6.17171e+12 13625083 0.00% Elapsed real time = 238086.12 sec. (tree size = 1349.68 MB, solutions = 7) Nodefile size = 1222.89 MB (569.20 MB after compression) 942 674 6.17196e+12 10139 6.17201e+12 6.17171e+12 13645392 0.00% 943 675 6.17197e+12 10378 6.17201e+12 6.17171e+12 13652945 0.00% 944 676 6.17198e+12 8386 6.17201e+12 6.17171e+12 13666189 0.00% 945 675 cutoff 6.17201e+12 6.17171e+12 13677247 0.00% 947 675 6.17185e+12 6935 6.17201e+12 6.17171e+12 13716237 0.00% 948 676 6.17189e+12 6653 6.17201e+12 6.17171e+12 13729160 0.00% 949 677 6.17195e+12 6847 6.17201e+12 6.17171e+12 13746398 0.00% 951 677 6.17198e+12 6943 6.17201e+12 6.17171e+12 13758432 0.00% 952 676 cutoff 6.17201e+12 6.17171e+12 13765625 0.00% 954 676 6.17172e+12 9677 6.17201e+12 6.17171e+12 13775575 0.00% Elapsed real time = 240155.19 sec. (tree size = 1356.08 MB, solutions = 7) Nodefile size = 1231.03 MB (572.83 MB after compression) 955 677 6.17172e+12 9599 6.17201e+12 6.17171e+12 13778973 0.00% 956 678 6.17173e+12 9668 6.17201e+12 6.17171e+12 13785670 0.00% 957 679 6.17175e+12 9557 6.17201e+12 6.17171e+12 13795754 0.00% 958 680 6.17180e+12 9573 6.17201e+12 6.17171e+12 13819855 0.00% 959 681 6.17183e+12 10054 6.17201e+12 6.17171e+12 13836242 0.00% 960 680 cutoff 6.17201e+12 6.17171e+12 13847006 0.00% 961 681 6.17183e+12 10045 6.17201e+12 6.17171e+12 13851311 0.00% 962 682 6.17184e+12 8592 6.17201e+12 6.17171e+12 13865430 0.00% 963 683 6.17186e+12 7873 6.17201e+12 6.17171e+12 13880970 0.00% 964 684 6.17187e+12 8857 6.17201e+12 6.17171e+12 13888645 0.00% Elapsed real time = 242067.07 sec. (tree size = 1369.88 MB, solutions = 7) Nodefile size = 1243.17 MB (578.17 MB after compression) 965 685 6.17200e+12 7084 6.17201e+12 6.17171e+12 13918736 0.00% 966 684 cutoff 6.17201e+12 6.17171e+12 13921870 0.00% 968 684 6.17183e+12 9871 6.17201e+12 6.17171e+12 13945914 0.00% 969 685 6.17184e+12 9555 6.17201e+12 6.17171e+12 13955288 0.00% 970 686 6.17184e+12 9545 6.17201e+12 6.17171e+12 13963677 0.00% 971 687 6.17190e+12 9261 6.17201e+12 6.17171e+12 13987876 0.00% 972 688 6.17193e+12 9954 6.17201e+12 6.17171e+12 14007502 0.00% 973 689 6.17193e+12 9372 6.17201e+12 6.17171e+12 14019210 0.00% 974 690 6.17195e+12 8437 6.17201e+12 6.17171e+12 14034106 0.00% 975 691 6.17197e+12 8694 6.17201e+12 6.17171e+12 14048315 0.00% Elapsed real time = 244390.56 sec. (tree size = 1386.31 MB, solutions = 7) Nodefile size = 1259.45 MB (585.21 MB after compression) 976 692 6.17198e+12 7678 6.17201e+12 6.17171e+12 14056840 0.00% 977 693 6.17199e+12 8746 6.17201e+12 6.17171e+12 14067573 0.00% 980 692 6.17185e+12 7437 6.17201e+12 6.17171e+12 14114611 0.00% 981 693 6.17189e+12 7206 6.17201e+12 6.17171e+12 14127804 0.00% 982 694 6.17189e+12 6924 6.17201e+12 6.17171e+12 14133233 0.00% 983 695 6.17195e+12 7842 6.17201e+12 6.17171e+12 14148708 0.00% 984 696 6.17198e+12 7104 6.17201e+12 6.17171e+12 14159944 0.00% 985 695 cutoff 6.17201e+12 6.17171e+12 14163653 0.00% 987 695 6.17173e+12 9842 6.17201e+12 6.17171e+12 14175390 0.00% 988 696 6.17179e+12 9661 6.17201e+12 6.17171e+12 14198584 0.00% Elapsed real time = 246666.32 sec. (tree size = 1396.65 MB, solutions = 7) Nodefile size = 1269.64 MB (589.74 MB after compression) 989 697 6.17182e+12 9990 6.17201e+12 6.17171e+12 14215977 0.00% 990 698 6.17183e+12 9810 6.17201e+12 6.17171e+12 14230839 0.00% 991 699 6.17185e+12 8043 6.17201e+12 6.17171e+12 14246527 0.00% 992 700 6.17186e+12 8210 6.17201e+12 6.17171e+12 14256308 0.00% 993 701 6.17188e+12 8080 6.17201e+12 6.17171e+12 14266494 0.00% 994 702 6.17189e+12 8037 6.17201e+12 6.17171e+12 14278763 0.00% 995 703 6.17191e+12 7630 6.17201e+12 6.17171e+12 14291102 0.00% 996 704 6.17158e+12 11979 6.17201e+12 6.17171e+12 15078107 0.00% 997 352 cutoff 6.17201e+12 6.17171e+12 15081147 0.00% 998 352 6.17159e+12 12760 6.17201e+12 6.17171e+12 15088680 0.00% Elapsed real time = 262653.60 sec. (tree size = 63.22 MB, solutions = 8) 999 352 6.17166e+12 11325 6.17201e+12 6.17171e+12 15124142 0.00% 1000 353 6.17167e+12 10656 6.17201e+12 6.17171e+12 15133164 0.00% 1001 354 6.17180e+12 8042 6.17201e+12 6.17171e+12 15173809 0.00% 1002 283 cutoff 6.17201e+12 6.17171e+12 15176371 0.00% 1003 283 6.17180e+12 9114 6.17201e+12 6.17171e+12 15176794 0.00% 1004 284 6.17181e+12 8125 6.17201e+12 6.17171e+12 15185658 0.00% 1005 236 cutoff 6.17201e+12 6.17171e+12 15188920 0.00% 1006 237 6.17188e+12 8231 6.17201e+12 6.17171e+12 15212962 0.00% 1007 237 6.17201e+12 5927 6.17201e+12 6.17171e+12 15237388 0.00% 1010 169 6.17159e+12 12072 6.17201e+12 6.17171e+12 15247146 0.00% Elapsed real time = 265419.54 sec. (tree size = 35.05 MB, solutions = 8) 1011 169 6.17165e+12 11467 6.17201e+12 6.17171e+12 15273031 0.00% 1012 170 6.17166e+12 12020 6.17201e+12 6.17171e+12 15282247 0.00% 1013 170 6.17195e+12 7302 6.17201e+12 6.17171e+12 15319118 0.00% 1015 151 6.17196e+12 7274 6.17201e+12 6.17171e+12 15331208 0.00% 1017 134 6.17196e+12 7298 6.17201e+12 6.17171e+12 15332796 0.00% 1021 106 6.17196e+12 7309 6.17201e+12 6.17171e+12 15336017 0.00% 1024 95 6.17197e+12 7282 6.17201e+12 6.17171e+12 15343298 0.00% 1028 78 6.17197e+12 7229 6.17201e+12 6.17171e+12 15346781 0.00% 1030 71 6.17197e+12 8643 6.17201e+12 6.17171e+12 15352292 0.00% 1031 63 cutoff 6.17201e+12 6.17171e+12 15356112 0.00% Elapsed real time = 266937.83 sec. (tree size = 20.80 MB, solutions = 8) 1032 64 6.17197e+12 7913 6.17201e+12 6.17171e+12 15357735 0.00% 1034 58 6.17197e+12 7429 6.17201e+12 6.17171e+12 15361172 0.00% 1036 52 6.17200e+12 7906 6.17201e+12 6.17171e+12 15375010 0.00% 1039 41 cutoff 6.17201e+12 6.17171e+12 15377126 0.00% 1041 37 6.17191e+12 6552 6.17201e+12 6.17171e+12 15433911 0.00% 1042 38 6.17191e+12 6523 6.17201e+12 6.17171e+12 15438258 0.00% 1043 34 cutoff 6.17201e+12 6.17171e+12 15440848 0.00% 1044 35 6.17197e+12 5654 6.17201e+12 6.17171e+12 15457164 0.00% 1045 35 6.17200e+12 6961 6.17201e+12 6.17171e+12 15483454 0.00% 1048 33 6.17200e+12 7169 6.17201e+12 6.17171e+12 15485342 0.00% Elapsed real time = 268567.04 sec. (tree size = 17.91 MB, solutions = 8) 1049 30 cutoff 6.17201e+12 6.17171e+12 15489280 0.00% 1051 27 6.17166e+12 11698 6.17201e+12 6.17171e+12 15490710 0.00% 1052 27 6.17166e+12 11631 6.17201e+12 6.17171e+12 15498541 0.00% 1053 27 6.17166e+12 11630 6.17201e+12 6.17171e+12 15498805 0.00% 1054 27 6.17167e+12 12084 6.17201e+12 6.17171e+12 15510120 0.00% 1055 25 cutoff 6.17201e+12 6.17171e+12 15514444 0.00% 1056 25 6.17167e+12 11811 6.17201e+12 6.17171e+12 15519360 0.00% 1057 26 6.17167e+12 11813 6.17201e+12 6.17171e+12 15520138 0.00% 1058 27 6.17167e+12 11764 6.17201e+12 6.17171e+12 15521463 0.00% 1061 25 cutoff 6.17201e+12 6.17171e+12 15531987 0.00% Elapsed real time = 269366.21 sec. (tree size = 23.58 MB, solutions = 8) 1062 26 6.17167e+12 11817 6.17201e+12 6.17171e+12 15532938 0.00% 1063 24 cutoff 6.17201e+12 6.17171e+12 15545557 0.00% 1065 25 6.17167e+12 11677 6.17201e+12 6.17171e+12 15553813 0.00% 1066 23 cutoff 6.17201e+12 6.17171e+12 15569867 0.00% 1067 24 6.17168e+12 11901 6.17201e+12 6.17171e+12 15583413 0.00% 1069 22 6.17168e+12 11876 6.17201e+12 6.17171e+12 15587296 0.00% 1070 22 6.17168e+12 12864 6.17201e+12 6.17171e+12 15593472 0.00% 1071 20 cutoff 6.17201e+12 6.17171e+12 15596994 0.00% 1073 19 cutoff 6.17201e+12 6.17171e+12 15600395 0.00% 1074 20 6.17168e+12 11819 6.17201e+12 6.17171e+12 15603660 0.00% Elapsed real time = 270487.82 sec. (tree size = 24.81 MB, solutions = 8) 1076 20 6.17168e+12 11761 6.17201e+12 6.17171e+12 15607144 0.00% 1077 21 6.17198e+12 7966 6.17201e+12 6.17171e+12 15652625 0.00% 1081 23 6.17199e+12 7375 6.17201e+12 6.17171e+12 15655183 0.00% 1085 23 6.17199e+12 9157 6.17201e+12 6.17171e+12 15657185 0.00% 1087 23 6.17200e+12 8086 6.17201e+12 6.17171e+12 15668665 0.00% 1093 23 6.17200e+12 8128 6.17201e+12 6.17171e+12 15673141 0.00% 1096 22 cutoff 6.17201e+12 6.17171e+12 15674926 0.00% 1097 23 6.17200e+12 8197 6.17201e+12 6.17171e+12 15681089 0.00% 1101 23 6.17200e+12 8023 6.17201e+12 6.17171e+12 15685043 0.00% 1104 22 cutoff 6.17201e+12 6.17171e+12 15687030 0.00% Elapsed real time = 271711.33 sec. (tree size = 29.08 MB, solutions = 8) 1105 23 6.17200e+12 8185 6.17201e+12 6.17171e+12 15690819 0.00% 1107 23 6.17201e+12 8564 6.17201e+12 6.17171e+12 15693726 0.00% 1109 21 cutoff 6.17201e+12 6.17171e+12 15696865 0.00% 1111 21 6.17187e+12 8553 6.17201e+12 6.17171e+12 15754598 0.00% 1112 22 6.17187e+12 8664 6.17201e+12 6.17171e+12 15762529 0.00% 1113 21 cutoff 6.17201e+12 6.17171e+12 15793211 0.00% 1115 23 6.17187e+12 8712 6.17201e+12 6.17171e+12 15795398 0.00% 1118 22 6.17187e+12 8826 6.17201e+12 6.17171e+12 15798005 0.00% 1121 23 6.17187e+12 8972 6.17201e+12 6.17171e+12 15799771 0.00% 1122 24 6.17187e+12 8882 6.17201e+12 6.17171e+12 15801273 0.00% Elapsed real time = 273167.81 sec. (tree size = 30.80 MB, solutions = 8) * 1126+ 21 6.17198e+12 6.17171e+12 15811523 0.00% 1126 23 6.17193e+12 1383 6.17198e+12 6.17171e+12 15811523 0.00% * 1128 20 integral 0 6.17196e+12 6.17171e+12 15813660 0.00% 1129 19 cutoff 6.17196e+12 6.17171e+12 15816742 0.00% 1130 20 6.17188e+12 10635 6.17196e+12 6.17171e+12 15875474 0.00% 1131 21 6.17188e+12 11053 6.17196e+12 6.17171e+12 15877617 0.00% 1132 22 6.17188e+12 10509 6.17196e+12 6.17171e+12 15879942 0.00% 1135 25 6.17188e+12 10602 6.17196e+12 6.17171e+12 15881027 0.00% 1136 26 6.17188e+12 10884 6.17196e+12 6.17171e+12 15882254 0.00% 1139 29 6.17188e+12 10423 6.17196e+12 6.17171e+12 15886795 0.00% 1141 31 6.17188e+12 10441 6.17196e+12 6.17171e+12 15888925 0.00% Elapsed real time = 274502.62 sec. (tree size = 41.27 MB, solutions = 10) 1143 31 6.17188e+12 10622 6.17196e+12 6.17171e+12 15891658 0.00% 1145 31 6.17188e+12 10635 6.17196e+12 6.17171e+12 15895608 0.00% 1149 31 6.17188e+12 10351 6.17196e+12 6.17171e+12 15900716 0.00% 1150 30 cutoff 6.17196e+12 6.17171e+12 15903479 0.00% 1153 31 6.17188e+12 10351 6.17196e+12 6.17171e+12 15905982 0.00% 1154 30 cutoff 6.17196e+12 6.17171e+12 15914797 0.00% 1156 30 6.17185e+12 8721 6.17196e+12 6.17171e+12 15954749 0.00% 1157 31 6.17192e+12 8517 6.17196e+12 6.17171e+12 15982257 0.00% 1158 32 6.17194e+12 8678 6.17196e+12 6.17171e+12 16000591 0.00% 1159 31 cutoff 6.17196e+12 6.17171e+12 16012781 0.00% Elapsed real time = 276245.66 sec. (tree size = 42.85 MB, solutions = 10) 1165 25 cutoff 6.17196e+12 6.17171e+12 16024113 0.00% 1166 26 6.17169e+12 10272 6.17196e+12 6.17171e+12 16050050 0.00% 1167 27 6.17175e+12 9837 6.17196e+12 6.17171e+12 16074369 0.00% 1168 28 6.17175e+12 10243 6.17196e+12 6.17171e+12 16080518 0.00% 1169 29 6.17176e+12 9836 6.17196e+12 6.17171e+12 16088175 0.00% 1170 30 6.17176e+12 10086 6.17196e+12 6.17171e+12 16094805 0.00% 1172 32 6.17176e+12 9997 6.17196e+12 6.17171e+12 16101345 0.00% 1174 34 6.17176e+12 9936 6.17196e+12 6.17171e+12 16105897 0.00% 1178 38 6.17176e+12 10050 6.17196e+12 6.17171e+12 16110762 0.00% 1184 42 cutoff 6.17196e+12 6.17171e+12 16121106 0.00% Elapsed real time = 278119.18 sec. (tree size = 59.51 MB, solutions = 10) 1185 43 6.17180e+12 10988 6.17196e+12 6.17171e+12 16142908 0.00% 1190 46 6.17183e+12 10942 6.17196e+12 6.17171e+12 16162430 0.00% 1193 47 6.17183e+12 10425 6.17196e+12 6.17171e+12 16174238 0.00% 1195 47 6.17184e+12 10324 6.17196e+12 6.17171e+12 16178924 0.00% 1196 48 6.17190e+12 9646 6.17196e+12 6.17171e+12 16199239 0.00% 1198 48 6.17190e+12 10126 6.17196e+12 6.17171e+12 16208073 0.00% 1200 48 6.17190e+12 10308 6.17196e+12 6.17171e+12 16217915 0.00% 1206 48 6.17191e+12 8654 6.17196e+12 6.17171e+12 16230721 0.00% 1208 48 6.17192e+12 10127 6.17196e+12 6.17171e+12 16245000 0.00% 1214 48 6.17192e+12 9895 6.17196e+12 6.17171e+12 16260404 0.00% Elapsed real time = 280519.97 sec. (tree size = 66.80 MB, solutions = 10) 1218 46 6.17168e+12 11813 6.17196e+12 6.17171e+12 16271282 0.00% 1219 47 6.17168e+12 12528 6.17196e+12 6.17171e+12 16277207 0.00% 1224 48 cutoff 6.17196e+12 6.17171e+12 16285590 0.00% 1229 49 6.17169e+12 12135 6.17196e+12 6.17171e+12 16293896 0.00% 1231 49 6.17169e+12 12441 6.17196e+12 6.17171e+12 16298832 0.00% 1235 49 6.17169e+12 12292 6.17196e+12 6.17171e+12 16305767 0.00% 1239 49 6.17169e+12 12293 6.17196e+12 6.17171e+12 16313890 0.00% 1242 50 6.17172e+12 11898 6.17196e+12 6.17171e+12 16331754 0.00% 1244 52 6.17174e+12 11917 6.17196e+12 6.17171e+12 16350364 0.00% 1246 54 6.17179e+12 11686 6.17196e+12 6.17171e+12 16375197 0.00% Elapsed real time = 282744.22 sec. (tree size = 75.35 MB, solutions = 10) 1247 55 6.17181e+12 10928 6.17196e+12 6.17171e+12 16391230 0.00% 1248 54 cutoff 6.17196e+12 6.17171e+12 16392717 0.00% 1250 56 6.17181e+12 11924 6.17196e+12 6.17171e+12 16402322 0.00% 1253 57 6.17183e+12 11036 6.17196e+12 6.17171e+12 16424930 0.00% 1254 58 6.17183e+12 11036 6.17196e+12 6.17171e+12 16425171 0.00% 1255 57 cutoff 6.17196e+12 6.17171e+12 16427475 0.00% 1256 58 6.17183e+12 11585 6.17196e+12 6.17171e+12 16435994 0.00% 1258 58 6.17184e+12 11327 6.17196e+12 6.17171e+12 16454127 0.00% 1260 60 6.17192e+12 9441 6.17196e+12 6.17171e+12 16492200 0.00% 1261 61 6.17192e+12 9447 6.17196e+12 6.17171e+12 16493762 0.00% Elapsed real time = 284952.40 sec. (tree size = 85.56 MB, solutions = 10) 1264 62 6.17193e+12 8885 6.17196e+12 6.17171e+12 16509736 0.00% 1268 62 6.17193e+12 9063 6.17196e+12 6.17171e+12 16514928 0.00% 1272 60 cutoff 6.17196e+12 6.17171e+12 16525159 0.00% 1274 60 6.17192e+12 8334 6.17196e+12 6.17171e+12 16577237 0.00% 1275 61 6.17192e+12 8479 6.17196e+12 6.17171e+12 16580244 0.00% 1281 67 6.17192e+12 8229 6.17196e+12 6.17171e+12 16586225 0.00% 1288 74 6.17192e+12 8116 6.17196e+12 6.17171e+12 16597007 0.00% 1292 76 cutoff 6.17196e+12 6.17171e+12 16607086 0.00% 1295 75 6.17170e+12 11960 6.17196e+12 6.17171e+12 16630363 0.00% 1299 77 cutoff 6.17196e+12 6.17171e+12 16637675 0.00% Elapsed real time = 286883.02 sec. (tree size = 110.49 MB, solutions = 10) 1301 79 6.17194e+12 8226 6.17196e+12 6.17171e+12 16680770 0.00% 1308 78 cutoff 6.17196e+12 6.17171e+12 16688367 0.00% 1309 77 cutoff 6.17196e+12 6.17171e+12 16701262 0.00% 1310 78 6.17179e+12 10624 6.17196e+12 6.17171e+12 16726127 0.00% 1311 79 6.17192e+12 8742 6.17196e+12 6.17171e+12 16762818 0.00% 1318 80 6.17192e+12 9682 6.17196e+12 6.17171e+12 16769959 0.00% 1320 80 6.17193e+12 9514 6.17196e+12 6.17171e+12 16777793 0.00% 1324 80 6.17193e+12 9771 6.17196e+12 6.17171e+12 16785477 0.00% 1326 80 6.17193e+12 9405 6.17196e+12 6.17171e+12 16791178 0.00% 1328 80 6.17194e+12 8832 6.17196e+12 6.17171e+12 16800970 0.00% Elapsed real time = 288822.92 sec. (tree size = 113.48 MB, solutions = 10) 1333 81 6.17195e+12 8002 6.17196e+12 6.17171e+12 16815214 0.00% 1336 80 6.17176e+12 10311 6.17196e+12 6.17171e+12 16838125 0.00% 1337 81 6.17181e+12 11162 6.17196e+12 6.17171e+12 16866288 0.00% 1339 81 6.17184e+12 10128 6.17196e+12 6.17171e+12 16895199 0.00% 1341 81 6.17185e+12 10298 6.17196e+12 6.17171e+12 16911273 0.00% 1343 81 6.17185e+12 10720 6.17196e+12 6.17171e+12 16926045 0.00% 1344 82 6.17186e+12 10413 6.17196e+12 6.17171e+12 16935291 0.00% 1348 82 6.17187e+12 11437 6.17196e+12 6.17171e+12 16953097 0.00% 1349 83 6.17187e+12 10942 6.17196e+12 6.17171e+12 16958299 0.00% 1351 83 6.17187e+12 11099 6.17196e+12 6.17171e+12 16964206 0.00% Elapsed real time = 290988.72 sec. (tree size = 117.92 MB, solutions = 10) 1356 86 6.17187e+12 11038 6.17196e+12 6.17171e+12 16968957 0.00% 1359 87 6.17189e+12 11448 6.17196e+12 6.17171e+12 16987768 0.00% 1361 87 6.17190e+12 11900 6.17196e+12 6.17171e+12 17002692 0.00% 1364 86 cutoff 6.17196e+12 6.17171e+12 17008886 0.00% 1365 87 6.17191e+12 11850 6.17196e+12 6.17171e+12 17019309 0.00% 1374 88 6.17192e+12 10852 6.17196e+12 6.17171e+12 17034076 0.00% 1376 88 6.17192e+12 11222 6.17196e+12 6.17171e+12 17038091 0.00% 1378 88 6.17192e+12 11073 6.17196e+12 6.17171e+12 17045677 0.00% 1380 88 6.17192e+12 11344 6.17196e+12 6.17171e+12 17053525 0.00% 1382 88 6.17193e+12 11239 6.17196e+12 6.17171e+12 17065339 0.00% Elapsed real time = 292566.93 sec. (tree size = 125.21 MB, solutions = 10) 1383 89 6.17193e+12 11208 6.17196e+12 6.17171e+12 17077292 0.00% 1387 89 6.17194e+12 10761 6.17196e+12 6.17171e+12 17093784 0.00% 1391 87 6.17170e+12 11628 6.17196e+12 6.17171e+12 17103157 0.00% 1395 87 cutoff 6.17196e+12 6.17171e+12 17115898 0.00% 1401 89 cutoff 6.17196e+12 6.17171e+12 17120879 0.00% 1402 90 6.17170e+12 11660 6.17196e+12 6.17171e+12 17128401 0.00% 1404 90 6.17171e+12 10266 6.17196e+12 6.17171e+12 17142458 0.00% 1409 89 cutoff 6.17196e+12 6.17171e+12 17150130 0.00% 1412 90 6.17171e+12 11861 6.17196e+12 6.17171e+12 17157658 0.00% 1415 89 cutoff 6.17196e+12 6.17171e+12 17171305 0.00% Elapsed real time = 293856.85 sec. (tree size = 128.07 MB, solutions = 10) Nodefile size = 1.46 MB (0.84 MB after compression) 1416 90 6.17171e+12 12009 6.17196e+12 6.17171e+12 17176609 0.00% 1419 91 6.17171e+12 12069 6.17196e+12 6.17171e+12 17181834 0.00% 1420 92 6.17172e+12 11958 6.17196e+12 6.17171e+12 17193518 0.00% 1423 93 6.17172e+12 10373 6.17196e+12 6.17171e+12 17201085 0.00% 1427 93 cutoff 6.17196e+12 6.17171e+12 17206827 0.00% 1429 93 cutoff 6.17196e+12 6.17171e+12 17213315 0.00% 1434 94 6.17172e+12 11296 6.17196e+12 6.17171e+12 17221081 0.00% 1436 94 6.17172e+12 11245 6.17196e+12 6.17171e+12 17224441 0.00% 1439 95 6.17184e+12 9205 6.17196e+12 6.17171e+12 17265405 0.00% 1440 96 6.17187e+12 9104 6.17196e+12 6.17171e+12 17285480 0.00% Elapsed real time = 296590.60 sec. (tree size = 136.57 MB, solutions = 10) Nodefile size = 8.76 MB (4.77 MB after compression) 1441 97 6.17188e+12 9260 6.17196e+12 6.17171e+12 17295484 0.00% 1443 97 6.17188e+12 10326 6.17196e+12 6.17171e+12 17301817 0.00% 1446 96 6.17188e+12 10265 6.17196e+12 6.17171e+12 17315192 0.00% 1448 96 cutoff 6.17196e+12 6.17171e+12 17321724 0.00% 1452 98 6.17191e+12 8873 6.17196e+12 6.17171e+12 17347404 0.00% 1456 98 6.17193e+12 8773 6.17196e+12 6.17171e+12 17366248 0.00% 1462 98 6.17193e+12 8854 6.17196e+12 6.17171e+12 17374173 0.00% 1467 99 6.17195e+12 8419 6.17196e+12 6.17171e+12 17389725 0.00% 1479 99 6.17195e+12 8466 6.17196e+12 6.17171e+12 17398797 0.00% 1490 96 cutoff 6.17196e+12 6.17171e+12 17409634 0.00% Elapsed real time = 298278.42 sec. (tree size = 138.15 MB, solutions = 10) Nodefile size = 13.14 MB (6.70 MB after compression) 1492 94 cutoff 6.17196e+12 6.17171e+12 17424125 0.00% 1495 91 cutoff 6.17196e+12 6.17172e+12 17437856 0.00% 1498 90 6.17174e+12 11887 6.17196e+12 6.17172e+12 17461114 0.00% 1499 91 6.17175e+12 12125 6.17196e+12 6.17172e+12 17474976 0.00% 1500 92 6.17175e+12 12070 6.17196e+12 6.17172e+12 17478642 0.00% 1502 94 6.17175e+12 12393 6.17196e+12 6.17172e+12 17489630 0.00% 1504 96 6.17176e+12 12332 6.17196e+12 6.17172e+12 17493867 0.00% 1506 98 6.17176e+12 11845 6.17196e+12 6.17172e+12 17497137 0.00% 1510 102 6.17176e+12 11790 6.17196e+12 6.17172e+12 17501562 0.00% 1515 107 6.17176e+12 11795 6.17196e+12 6.17172e+12 17506293 0.00% Elapsed real time = 299880.90 sec. (tree size = 152.97 MB, solutions = 10) Nodefile size = 26.28 MB (12.81 MB after compression) 1522 112 6.17176e+12 11557 6.17196e+12 6.17172e+12 17513564 0.00% 1523 111 cutoff 6.17196e+12 6.17172e+12 17523895 0.00% 1524 112 6.17176e+12 11290 6.17196e+12 6.17172e+12 17530488 0.00% 1528 112 6.17176e+12 11162 6.17196e+12 6.17172e+12 17538526 0.00% 1532 114 6.17182e+12 12077 6.17196e+12 6.17172e+12 17569401 0.00% 1534 114 6.17182e+12 11341 6.17196e+12 6.17172e+12 17581913 0.00% 1537 115 cutoff 6.17196e+12 6.17172e+12 17599026 0.00% 1541 117 6.17194e+12 10342 6.17196e+12 6.17172e+12 17636714 0.00% 1543 117 6.17195e+12 10110 6.17196e+12 6.17172e+12 17647162 0.00% 1546 118 6.17195e+12 10057 6.17196e+12 6.17172e+12 17655535 0.00% Elapsed real time = 301713.04 sec. (tree size = 169.00 MB, solutions = 10) Nodefile size = 42.34 MB (20.51 MB after compression) 1557 119 6.17195e+12 10165 6.17196e+12 6.17172e+12 17666158 0.00% 1560 118 6.17173e+12 10867 6.17196e+12 6.17173e+12 17677494 0.00% 1564 118 cutoff 6.17196e+12 6.17173e+12 17688572 0.00% 1568 118 cutoff 6.17196e+12 6.17173e+12 17695192 0.00% 1571 119 6.17174e+12 10705 6.17196e+12 6.17173e+12 17712102 0.00% 1574 120 6.17174e+12 10478 6.17196e+12 6.17173e+12 17724017 0.00% 1576 120 cutoff 6.17196e+12 6.17173e+12 17746843 0.00% 1581 121 6.17175e+12 12605 6.17196e+12 6.17173e+12 17758018 0.00% 1583 121 6.17175e+12 11985 6.17196e+12 6.17173e+12 17764203 0.00% 1589 121 cutoff 6.17196e+12 6.17173e+12 17773435 0.00% Elapsed real time = 303263.61 sec. (tree size = 174.79 MB, solutions = 10) Nodefile size = 48.18 MB (23.82 MB after compression) 1591 123 6.17175e+12 11684 6.17196e+12 6.17173e+12 17778997 0.00% 1599 123 6.17175e+12 10114 6.17196e+12 6.17173e+12 17784819 0.00% 1602 122 cutoff 6.17196e+12 6.17173e+12 17794779 0.00% 1603 123 6.17176e+12 9830 6.17196e+12 6.17173e+12 17802808 0.00% 1606 122 cutoff 6.17196e+12 6.17173e+12 17814869 0.00% 1611 123 6.17177e+12 9940 6.17196e+12 6.17173e+12 17825371 0.00% 1615 123 6.17177e+12 10102 6.17196e+12 6.17173e+12 17831639 0.00% 1621 123 6.17177e+12 10041 6.17196e+12 6.17173e+12 17839207 0.00% 1627 123 6.17177e+12 10459 6.17196e+12 6.17173e+12 17846651 0.00% 1631 123 6.17177e+12 10268 6.17196e+12 6.17173e+12 17853607 0.00% Elapsed real time = 304267.88 sec. (tree size = 176.23 MB, solutions = 10) Nodefile size = 49.64 MB (24.63 MB after compression) 1636 122 cutoff 6.17196e+12 6.17173e+12 17866206 0.00% 1637 123 6.17178e+12 10838 6.17196e+12 6.17173e+12 17876971 0.00% 1640 124 6.17178e+12 9832 6.17196e+12 6.17173e+12 17884338 0.00% 1644 124 6.17178e+12 10094 6.17196e+12 6.17173e+12 17889862 0.00% 1648 124 6.17178e+12 10211 6.17196e+12 6.17173e+12 17900016 0.00% 1649 125 6.17179e+12 11679 6.17196e+12 6.17173e+12 17911573 0.00% 1651 125 6.17179e+12 11523 6.17196e+12 6.17173e+12 17916112 0.00% 1653 125 6.17180e+12 10040 6.17196e+12 6.17173e+12 17926632 0.00% 1657 125 6.17180e+12 11923 6.17196e+12 6.17173e+12 17934247 0.00% 1662 124 cutoff 6.17196e+12 6.17173e+12 17943539 0.00% Elapsed real time = 305444.75 sec. (tree size = 179.15 MB, solutions = 10) Nodefile size = 52.56 MB (26.25 MB after compression) 1663 125 6.17181e+12 11512 6.17196e+12 6.17173e+12 17954500 0.00% 1666 126 6.17182e+12 9984 6.17196e+12 6.17173e+12 17969967 0.00% 1668 126 6.17184e+12 9671 6.17196e+12 6.17173e+12 17984752 0.00% 1674 126 6.17185e+12 9994 6.17196e+12 6.17173e+12 17992495 0.00% 1679 127 6.17185e+12 9886 6.17196e+12 6.17173e+12 17996207 0.00% 1685 129 6.17185e+12 10067 6.17196e+12 6.17173e+12 18006024 0.00% 1688 130 6.17188e+12 12033 6.17196e+12 6.17173e+12 18033447 0.00% 1690 130 6.17194e+12 12225 6.17196e+12 6.17173e+12 18051698 0.00% 1695 131 6.17188e+12 9714 6.17196e+12 6.17173e+12 18057379 0.00% 1698 130 cutoff 6.17196e+12 6.17173e+12 18067239 0.00% Elapsed real time = 307471.59 sec. (tree size = 187.89 MB, solutions = 10) Nodefile size = 61.31 MB (31.14 MB after compression) 1699 131 6.17193e+12 9242 6.17196e+12 6.17173e+12 18089151 0.00% 1706 132 6.17194e+12 9341 6.17196e+12 6.17173e+12 18096568 0.00% 1715 133 6.17194e+12 9283 6.17196e+12 6.17173e+12 18103641 0.00% 1724 136 6.17195e+12 8947 6.17196e+12 6.17173e+12 18118312 0.00% 1730 132 cutoff 6.17196e+12 6.17174e+12 18130507 0.00% 1731 133 6.17193e+12 10574 6.17196e+12 6.17174e+12 18150227 0.00% 1734 130 cutoff 6.17196e+12 6.17174e+12 18164592 0.00% 1735 131 6.17175e+12 12025 6.17196e+12 6.17174e+12 18175584 0.00% 1736 132 6.17176e+12 12129 6.17196e+12 6.17174e+12 18191625 0.00% 1737 133 6.17190e+12 11398 6.17196e+12 6.17174e+12 18243571 0.00% Elapsed real time = 309938.42 sec. (tree size = 190.94 MB, solutions = 10) Nodefile size = 68.62 MB (35.40 MB after compression) 1738 134 6.17190e+12 11270 6.17196e+12 6.17174e+12 18250835 0.00% 1739 135 6.17192e+12 10843 6.17196e+12 6.17174e+12 18264749 0.00% 1740 136 6.17195e+12 11227 6.17196e+12 6.17174e+12 18287493 0.00% 1745 131 cutoff 6.17196e+12 6.17175e+12 18302309 0.00% 1749 127 cutoff 6.17196e+12 6.17175e+12 18312133 0.00% 1754 124 6.17176e+12 12175 6.17196e+12 6.17176e+12 18330231 0.00% 1755 125 6.17179e+12 12485 6.17196e+12 6.17176e+12 18353085 0.00% 1756 126 6.17179e+12 12119 6.17196e+12 6.17176e+12 18359170 0.00% 1758 128 6.17180e+12 12662 6.17196e+12 6.17176e+12 18370082 0.00% 1760 130 6.17180e+12 12860 6.17196e+12 6.17176e+12 18376804 0.00% Elapsed real time = 312196.66 sec. (tree size = 186.69 MB, solutions = 10) Nodefile size = 68.62 MB (35.40 MB after compression) 1761 131 6.17180e+12 12599 6.17196e+12 6.17176e+12 18380612 0.00% 1763 133 6.17180e+12 12660 6.17196e+12 6.17176e+12 18384669 0.00% 1766 136 6.17180e+12 12499 6.17196e+12 6.17176e+12 18389840 0.00% 1769 139 6.17184e+12 12664 6.17196e+12 6.17176e+12 18412196 0.00% 1771 141 6.17184e+12 12668 6.17196e+12 6.17176e+12 18416361 0.00% 1773 143 6.17184e+12 12443 6.17196e+12 6.17176e+12 18422703 0.00% 1776 146 6.17184e+12 12562 6.17196e+12 6.17176e+12 18426503 0.00% 1781 149 6.17184e+12 12616 6.17196e+12 6.17176e+12 18432314 0.00% 1789 155 cutoff 6.17196e+12 6.17176e+12 18440429 0.00% 1795 161 6.17185e+12 12120 6.17196e+12 6.17176e+12 18454695 0.00% Elapsed real time = 313472.80 sec. (tree size = 231.89 MB, solutions = 10) Nodefile size = 105.09 MB (55.33 MB after compression) 1798 164 6.17185e+12 12530 6.17196e+12 6.17176e+12 18460692 0.00% 1799 165 6.17186e+12 11975 6.17196e+12 6.17176e+12 18467350 0.00% 1806 166 cutoff 6.17196e+12 6.17176e+12 18475060 0.00% 1815 167 6.17186e+12 11808 6.17196e+12 6.17176e+12 18482568 0.00% 1820 168 6.17187e+12 12133 6.17196e+12 6.17176e+12 18502385 0.00% 1821 169 6.17187e+12 11980 6.17196e+12 6.17176e+12 18508454 0.00% 1829 169 6.17187e+12 11979 6.17196e+12 6.17176e+12 18514683 0.00% 1831 169 6.17188e+12 12301 6.17196e+12 6.17176e+12 18523222 0.00% 1836 170 6.17188e+12 11811 6.17196e+12 6.17176e+12 18526998 0.00% 1840 170 6.17188e+12 11270 6.17196e+12 6.17176e+12 18540026 0.00% Elapsed real time = 314895.01 sec. (tree size = 245.01 MB, solutions = 10) Nodefile size = 118.21 MB (62.70 MB after compression) 1846 170 6.17188e+12 11330 6.17196e+12 6.17176e+12 18547673 0.00% 1855 169 cutoff 6.17196e+12 6.17176e+12 18556761 0.00% 1856 170 6.17189e+12 11773 6.17196e+12 6.17176e+12 18571416 0.00% 1863 171 6.17190e+12 11992 6.17196e+12 6.17176e+12 18593066 0.00% 1873 173 cutoff 6.17196e+12 6.17176e+12 18597885 0.00% 1876 174 6.17190e+12 11829 6.17196e+12 6.17176e+12 18598871 0.00% 1884 174 6.17190e+12 12049 6.17196e+12 6.17176e+12 18605536 0.00% 1889 173 cutoff 6.17196e+12 6.17176e+12 18611710 0.00% 1896 174 6.17190e+12 11786 6.17196e+12 6.17176e+12 18617470 0.00% 1901 175 6.17192e+12 10196 6.17196e+12 6.17176e+12 18654974 0.00% Elapsed real time = 316689.69 sec. (tree size = 252.30 MB, solutions = 10) Nodefile size = 125.50 MB (66.87 MB after compression) 1907 179 6.17192e+12 10088 6.17196e+12 6.17176e+12 18661918 0.00% 1916 178 cutoff 6.17196e+12 6.17176e+12 18668656 0.00% 1921 179 6.17192e+12 9306 6.17196e+12 6.17176e+12 18680563 0.00% 1931 179 6.17193e+12 10721 6.17196e+12 6.17176e+12 18691192 0.00% 1934 180 6.17193e+12 9887 6.17196e+12 6.17176e+12 18699405 0.00% 1941 175 cutoff 6.17196e+12 6.17176e+12 18709385 0.00% 1945 173 6.17185e+12 11388 6.17196e+12 6.17176e+12 18744098 0.00% 1946 174 6.17189e+12 11435 6.17196e+12 6.17176e+12 18768124 0.00% 1947 175 6.17190e+12 11593 6.17196e+12 6.17176e+12 18780762 0.00% 1948 176 6.17193e+12 11340 6.17196e+12 6.17176e+12 18803001 0.00% Elapsed real time = 318533.24 sec. (tree size = 253.79 MB, solutions = 10) Nodefile size = 132.79 MB (71.10 MB after compression) 1949 177 6.17195e+12 10766 6.17196e+12 6.17176e+12 18820967 0.00% 1956 172 6.17183e+12 11548 6.17196e+12 6.17176e+12 18853433 0.00% 1957 173 6.17187e+12 11496 6.17196e+12 6.17176e+12 18883527 0.00% 1958 174 6.17189e+12 11557 6.17196e+12 6.17176e+12 18900371 0.00% 1959 175 6.17192e+12 11555 6.17196e+12 6.17176e+12 18924153 0.00% 1960 176 6.17194e+12 10922 6.17196e+12 6.17176e+12 18940640 0.00% 1961 175 cutoff 6.17196e+12 6.17176e+12 18950100 0.00% 1965 171 cutoff 6.17196e+12 6.17176e+12 18966793 0.00% 1972 164 cutoff 6.17196e+12 6.17176e+12 18977498 0.00% 1978 160 6.17185e+12 9478 6.17196e+12 6.17176e+12 19009203 0.00% Elapsed real time = 321065.91 sec. (tree size = 230.48 MB, solutions = 10) Nodefile size = 132.79 MB (71.10 MB after compression) 1979 159 cutoff 6.17196e+12 6.17176e+12 19018207 0.00% 1980 160 6.17190e+12 11101 6.17196e+12 6.17176e+12 19045806 0.00% 1981 161 6.17191e+12 10737 6.17196e+12 6.17176e+12 19060263 0.00% 1982 160 cutoff 6.17196e+12 6.17176e+12 19074339 0.00% 1986 156 cutoff 6.17196e+12 6.17176e+12 19098731 0.00% 1988 156 6.17190e+12 8779 6.17196e+12 6.17176e+12 19132166 0.00% 1989 157 6.17191e+12 8665 6.17196e+12 6.17176e+12 19144169 0.00% 1990 158 6.17192e+12 8287 6.17196e+12 6.17176e+12 19152068 0.00% 1991 159 6.17193e+12 7909 6.17196e+12 6.17176e+12 19159593 0.00% 1994 162 6.17196e+12 8202 6.17196e+12 6.17176e+12 19177892 0.00% Elapsed real time = 322897.56 sec. (tree size = 233.42 MB, solutions = 10) Nodefile size = 132.79 MB (71.10 MB after compression) 1998 160 6.17177e+12 11789 6.17196e+12 6.17177e+12 19189539 0.00% 1999 161 6.17178e+12 11725 6.17196e+12 6.17177e+12 19207329 0.00% 2000 162 6.17180e+12 12203 6.17196e+12 6.17177e+12 19218376 0.00% 2001 163 6.17181e+12 12382 6.17196e+12 6.17177e+12 19239927 0.00% 2002 164 6.17181e+12 12560 6.17196e+12 6.17177e+12 19246476 0.00% 2007 169 6.17190e+12 10479 6.17196e+12 6.17177e+12 19286718 0.00% 2012 172 6.17190e+12 10804 6.17196e+12 6.17177e+12 19294399 0.00% 2015 175 6.17191e+12 10760 6.17196e+12 6.17177e+12 19301125 0.00% 2018 178 6.17191e+12 10617 6.17196e+12 6.17177e+12 19305985 0.00% 2024 182 6.17191e+12 10200 6.17196e+12 6.17177e+12 19315422 0.00% Elapsed real time = 324729.57 sec. (tree size = 262.63 MB, solutions = 10) Nodefile size = 135.71 MB (72.80 MB after compression) 2027 185 6.17191e+12 10270 6.17196e+12 6.17177e+12 19321003 0.00% 2034 190 6.17191e+12 10049 6.17196e+12 6.17177e+12 19326416 0.00% 2041 195 6.17191e+12 10075 6.17196e+12 6.17177e+12 19332095 0.00% 2047 199 6.17192e+12 10024 6.17196e+12 6.17177e+12 19344025 0.00% 2049 201 6.17193e+12 11158 6.17196e+12 6.17177e+12 19361789 0.00% 2055 205 6.17194e+12 9826 6.17196e+12 6.17177e+12 19372926 0.00% 2062 210 6.17194e+12 9432 6.17196e+12 6.17177e+12 19380053 0.00% 2065 211 6.17194e+12 9210 6.17196e+12 6.17177e+12 19385909 0.00% 2066 212 6.17195e+12 8942 6.17196e+12 6.17177e+12 19395289 0.00% 2068 212 6.17195e+12 8685 6.17196e+12 6.17177e+12 19405260 0.00% Elapsed real time = 325820.90 sec. (tree size = 306.48 MB, solutions = 10) Nodefile size = 179.56 MB (98.14 MB after compression) 2077 207 cutoff 6.17196e+12 6.17178e+12 19426651 0.00% 2078 208 6.17193e+12 9580 6.17196e+12 6.17179e+12 19465524 0.00% 2079 209 6.17194e+12 7526 6.17196e+12 6.17179e+12 19478817 0.00% 2083 207 6.17183e+12 11545 6.17196e+12 6.17179e+12 19516099 0.00% 2084 208 6.17184e+12 11470 6.17196e+12 6.17179e+12 19530648 0.00% 2085 209 6.17187e+12 11374 6.17196e+12 6.17179e+12 19550189 0.00% 2086 210 6.17188e+12 11371 6.17196e+12 6.17179e+12 19559853 0.00% 2087 211 6.17189e+12 11404 6.17196e+12 6.17179e+12 19568078 0.00% 2088 212 6.17190e+12 11242 6.17196e+12 6.17179e+12 19575681 0.00% 2089 213 6.17190e+12 11069 6.17196e+12 6.17179e+12 19588961 0.00% Elapsed real time = 328240.30 sec. (tree size = 307.95 MB, solutions = 10) Nodefile size = 181.02 MB (98.99 MB after compression) 2090 214 6.17192e+12 11716 6.17196e+12 6.17179e+12 19605308 0.00% 2092 214 cutoff 6.17196e+12 6.17179e+12 19612356 0.00% 2096 212 6.17183e+12 11352 6.17196e+12 6.17180e+12 19635619 0.00% 2097 213 6.17185e+12 11837 6.17196e+12 6.17180e+12 19655923 0.00% 2099 213 6.17185e+12 11621 6.17196e+12 6.17180e+12 19666522 0.00% 2100 214 6.17186e+12 11795 6.17196e+12 6.17180e+12 19677250 0.00% 2102 214 6.17188e+12 11891 6.17196e+12 6.17180e+12 19692154 0.00% 2103 213 cutoff 6.17196e+12 6.17180e+12 19711495 0.00% 2105 215 6.17189e+12 11606 6.17196e+12 6.17180e+12 19731174 0.00% 2106 216 6.17190e+12 11364 6.17196e+12 6.17180e+12 19739687 0.00% Elapsed real time = 330201.61 sec. (tree size = 312.32 MB, solutions = 10) Nodefile size = 185.40 MB (101.50 MB after compression) 2107 217 6.17192e+12 11646 6.17196e+12 6.17180e+12 19756937 0.00% 2108 218 6.17192e+12 11637 6.17196e+12 6.17180e+12 19765028 0.00% 2112 218 cutoff 6.17196e+12 6.17180e+12 19771066 0.00% 2114 220 6.17192e+12 11579 6.17196e+12 6.17180e+12 19777151 0.00% 2116 220 6.17192e+12 11567 6.17196e+12 6.17180e+12 19779316 0.00% 2118 222 6.17193e+12 11246 6.17196e+12 6.17180e+12 19786426 0.00% 2121 223 6.17194e+12 12059 6.17196e+12 6.17180e+12 19817091 0.00% 2126 224 6.17194e+12 11405 6.17196e+12 6.17180e+12 19823513 0.00% 2128 224 6.17194e+12 11835 6.17196e+12 6.17180e+12 19832054 0.00% 2130 224 6.17194e+12 11365 6.17196e+12 6.17180e+12 19839166 0.00% Elapsed real time = 331687.08 sec. (tree size = 323.99 MB, solutions = 10) Nodefile size = 197.07 MB (108.22 MB after compression) 2134 226 6.17195e+12 11931 6.17196e+12 6.17180e+12 19847427 0.00% 2136 226 6.17195e+12 11137 6.17196e+12 6.17180e+12 19859027 0.00% 2139 225 cutoff 6.17196e+12 6.17180e+12 19875243 0.00% 2144 220 cutoff 6.17196e+12 6.17180e+12 19885945 0.00% 2150 214 cutoff 6.17196e+12 6.17180e+12 19895442 0.00% 2152 214 6.17189e+12 11927 6.17196e+12 6.17180e+12 19927813 0.00% 2153 215 6.17193e+12 11669 6.17196e+12 6.17180e+12 19955364 0.00% 2157 211 cutoff 6.17196e+12 6.17180e+12 19966001 0.00% 2158 212 6.17189e+12 11426 6.17196e+12 6.17181e+12 20007475 0.00% 2159 213 6.17190e+12 11833 6.17196e+12 6.17181e+12 20023308 0.00% Elapsed real time = 334219.92 sec. (tree size = 306.49 MB, solutions = 10) Nodefile size = 199.99 MB (109.93 MB after compression) 2161 213 6.17190e+12 11246 6.17196e+12 6.17181e+12 20033978 0.00% 2163 215 6.17191e+12 11406 6.17196e+12 6.17181e+12 20042508 0.00% 2165 215 6.17192e+12 11463 6.17196e+12 6.17181e+12 20058732 0.00% 2167 215 6.17192e+12 11319 6.17196e+12 6.17181e+12 20072886 0.00% 2169 217 6.17193e+12 11412 6.17196e+12 6.17181e+12 20081650 0.00% 2172 216 6.17195e+12 11622 6.17196e+12 6.17181e+12 20102355 0.00% 2182 214 cutoff 6.17196e+12 6.17181e+12 20111247 0.00% 2188 210 6.17186e+12 11815 6.17196e+12 6.17182e+12 20138538 0.00% 2189 211 6.17186e+12 13371 6.17196e+12 6.17182e+12 20148284 0.00% 2190 212 6.17187e+12 12639 6.17196e+12 6.17182e+12 20160714 0.00% Elapsed real time = 335989.48 sec. (tree size = 306.52 MB, solutions = 10) Nodefile size = 199.99 MB (109.93 MB after compression) 2192 214 6.17187e+12 13352 6.17196e+12 6.17182e+12 20167721 0.00% 2195 217 6.17187e+12 12530 6.17196e+12 6.17182e+12 20175202 0.00% 2196 218 6.17188e+12 12327 6.17196e+12 6.17182e+12 20178303 0.00% 2201 223 6.17188e+12 12197 6.17196e+12 6.17182e+12 20183815 0.00% 2204 226 6.17188e+12 12411 6.17196e+12 6.17182e+12 20189759 0.00% 2207 227 6.17188e+12 12622 6.17196e+12 6.17182e+12 20194985 0.00% 2212 232 6.17189e+12 11065 6.17196e+12 6.17182e+12 20211740 0.00% 2215 233 6.17189e+12 11500 6.17196e+12 6.17182e+12 20220029 0.00% 2222 238 cutoff 6.17196e+12 6.17182e+12 20231477 0.00% 2223 237 cutoff 6.17196e+12 6.17182e+12 20239458 0.00% Elapsed real time = 337285.56 sec. (tree size = 344.43 MB, solutions = 10) Nodefile size = 218.99 MB (120.94 MB after compression) 2226 236 6.17183e+12 10911 6.17196e+12 6.17183e+12 20257691 0.00% 2227 237 6.17185e+12 10880 6.17196e+12 6.17183e+12 20273342 0.00% 2228 238 6.17186e+12 11704 6.17196e+12 6.17183e+12 20287004 0.00% 2229 239 6.17188e+12 10626 6.17196e+12 6.17183e+12 20301324 0.00% 2230 240 6.17192e+12 10729 6.17196e+12 6.17183e+12 20316382 0.00% 2231 241 6.17193e+12 10835 6.17196e+12 6.17183e+12 20327899 0.00% 2232 242 6.17193e+12 11020 6.17196e+12 6.17183e+12 20336695 0.00% 2234 244 6.17195e+12 10707 6.17196e+12 6.17183e+12 20347942 0.00% 2237 247 6.17195e+12 9755 6.17196e+12 6.17183e+12 20355207 0.00% 2241 245 cutoff 6.17196e+12 6.17183e+12 20383369 0.00% Elapsed real time = 339325.53 sec. (tree size = 356.10 MB, solutions = 10) Nodefile size = 232.12 MB (128.55 MB after compression) 2248 240 6.17184e+12 10940 6.17196e+12 6.17184e+12 20391458 0.00% 2249 241 6.17185e+12 10646 6.17196e+12 6.17184e+12 20407837 0.00% 2250 242 6.17186e+12 11100 6.17196e+12 6.17184e+12 20420353 0.00% 2252 242 6.17186e+12 10420 6.17196e+12 6.17184e+12 20433788 0.00% 2253 243 6.17188e+12 10011 6.17196e+12 6.17184e+12 20452094 0.00% 2254 244 6.17189e+12 10007 6.17196e+12 6.17184e+12 20461714 0.00% 2255 245 6.17189e+12 10618 6.17196e+12 6.17184e+12 20473021 0.00% 2257 245 6.17190e+12 10565 6.17196e+12 6.17184e+12 20486806 0.00% 2259 245 6.17193e+12 10774 6.17196e+12 6.17184e+12 20513642 0.00% 2261 247 6.17193e+12 10520 6.17196e+12 6.17184e+12 20520865 0.00% Elapsed real time = 341549.35 sec. (tree size = 356.10 MB, solutions = 10) Nodefile size = 232.12 MB (128.55 MB after compression) 2263 247 6.17194e+12 10454 6.17196e+12 6.17184e+12 20533166 0.00% 2269 251 6.17194e+12 10473 6.17196e+12 6.17184e+12 20539194 0.00% 2273 253 6.17195e+12 10422 6.17196e+12 6.17184e+12 20557143 0.00% 2276 254 6.17195e+12 10558 6.17196e+12 6.17184e+12 20567740 0.00% 2278 252 cutoff 6.17196e+12 6.17184e+12 20580786 0.00% 2282 250 6.17193e+12 12241 6.17196e+12 6.17184e+12 20616474 0.00% 2285 247 cutoff 6.17196e+12 6.17184e+12 20626562 0.00% 2290 242 cutoff 6.17196e+12 6.17184e+12 20637649 0.00% 2294 238 cutoff 6.17196e+12 6.17184e+12 20648750 0.00% 2300 234 6.17184e+12 10766 6.17196e+12 6.17184e+12 20667226 0.00% Elapsed real time = 343301.05 sec. (tree size = 338.61 MB, solutions = 10) Nodefile size = 239.41 MB (132.40 MB after compression) 2301 235 6.17186e+12 10900 6.17196e+12 6.17184e+12 20686207 0.00% 2302 236 6.17187e+12 10978 6.17196e+12 6.17184e+12 20700819 0.00% 2303 237 6.17192e+12 10976 6.17196e+12 6.17184e+12 20718915 0.00% 2304 238 6.17193e+12 10378 6.17196e+12 6.17184e+12 20732245 0.00% 2306 240 6.17195e+12 10126 6.17196e+12 6.17184e+12 20752456 0.00% 2310 238 6.17194e+12 9528 6.17196e+12 6.17184e+12 20800149 0.00% 2317 231 cutoff 6.17196e+12 6.17185e+12 20808502 0.00% 2318 230 cutoff 6.17196e+12 6.17185e+12 20822354 0.00% 2319 231 6.17185e+12 9957 6.17196e+12 6.17185e+12 20829868 0.00% 2320 232 6.17189e+12 11022 6.17196e+12 6.17185e+12 20857455 0.00% Elapsed real time = 346029.01 sec. (tree size = 335.69 MB, solutions = 10) Nodefile size = 232.12 MB (128.32 MB after compression) 2321 233 6.17194e+12 9142 6.17196e+12 6.17185e+12 20881241 0.00% 2323 235 6.17194e+12 10224 6.17196e+12 6.17185e+12 20889679 0.00% 2327 237 6.17195e+12 8925 6.17196e+12 6.17185e+12 20901905 0.00% 2331 237 6.17193e+12 9416 6.17196e+12 6.17185e+12 20937507 0.00% 2335 233 cutoff 6.17196e+12 6.17185e+12 20959981 0.00% 2336 232 cutoff 6.17196e+12 6.17185e+12 20972383 0.00% 2340 228 cutoff 6.17196e+12 6.17185e+12 20992440 0.00% 2342 228 6.17188e+12 11924 6.17196e+12 6.17185e+12 21015094 0.00% 2343 229 6.17190e+12 12014 6.17196e+12 6.17185e+12 21031522 0.00% 2344 230 6.17190e+12 11727 6.17196e+12 6.17185e+12 21038231 0.00% Elapsed real time = 348055.53 sec. (tree size = 332.79 MB, solutions = 10) Nodefile size = 220.46 MB (121.81 MB after compression) 2346 230 cutoff 6.17196e+12 6.17185e+12 21044098 0.00% 2347 231 6.17192e+12 12798 6.17196e+12 6.17185e+12 21060532 0.00% 2351 235 6.17192e+12 11583 6.17196e+12 6.17185e+12 21068869 0.00% 2353 237 6.17192e+12 11562 6.17196e+12 6.17185e+12 21076110 0.00% 2361 243 6.17193e+12 11600 6.17196e+12 6.17185e+12 21087575 0.00% 2366 248 6.17193e+12 11355 6.17196e+12 6.17185e+12 21094015 0.00% 2368 250 6.17193e+12 12436 6.17196e+12 6.17185e+12 21102367 0.00% 2370 250 6.17194e+12 10943 6.17196e+12 6.17185e+12 21111197 0.00% 2377 253 6.17194e+12 11288 6.17196e+12 6.17185e+12 21118200 0.00% 2382 256 6.17194e+12 11488 6.17196e+12 6.17185e+12 21125560 0.00% Elapsed real time = 349263.80 sec. (tree size = 370.71 MB, solutions = 10) Nodefile size = 243.80 MB (133.35 MB after compression) 2385 257 cutoff 6.17196e+12 6.17185e+12 21137774 0.00% 2389 255 6.17187e+12 11270 6.17196e+12 6.17186e+12 21152809 0.00% 2390 256 6.17188e+12 11259 6.17196e+12 6.17186e+12 21170571 0.00% 2391 257 6.17188e+12 11313 6.17196e+12 6.17186e+12 21176842 0.00% 2392 258 6.17189e+12 12190 6.17196e+12 6.17186e+12 21183414 0.00% 2394 258 6.17190e+12 12507 6.17196e+12 6.17186e+12 21203674 0.00% 2398 260 6.17191e+12 11985 6.17196e+12 6.17186e+12 21220024 0.00% 2401 263 6.17191e+12 11716 6.17196e+12 6.17186e+12 21225945 0.00% 2403 263 6.17191e+12 11541 6.17196e+12 6.17186e+12 21237890 0.00% 2405 265 6.17191e+12 11689 6.17196e+12 6.17186e+12 21243595 0.00% Elapsed real time = 350788.76 sec. (tree size = 383.83 MB, solutions = 10) Nodefile size = 256.93 MB (139.74 MB after compression) 2413 269 6.17192e+12 12836 6.17196e+12 6.17186e+12 21249389 0.00% 2422 272 6.17193e+12 11993 6.17196e+12 6.17186e+12 21264636 0.00% 2425 273 6.17193e+12 11879 6.17196e+12 6.17186e+12 21273701 0.00% 2428 274 6.17194e+12 11995 6.17196e+12 6.17186e+12 21282916 0.00% 2440 276 cutoff 6.17196e+12 6.17186e+12 21290039 0.00% 2443 277 6.17194e+12 11904 6.17196e+12 6.17186e+12 21296665 0.00% 2449 271 cutoff 6.17196e+12 6.17186e+12 21314218 0.00% 2451 269 cutoff 6.17196e+12 6.17186e+12 21323525 0.00% 2452 270 6.17187e+12 8824 6.17196e+12 6.17187e+12 21338099 0.00% 2453 271 6.17188e+12 9140 6.17196e+12 6.17187e+12 21346789 0.00% Elapsed real time = 352207.61 sec. (tree size = 392.58 MB, solutions = 10) Nodefile size = 271.51 MB (146.65 MB after compression) 2454 272 6.17188e+12 7700 6.17196e+12 6.17187e+12 21354881 0.00% 2455 273 6.17192e+12 7923 6.17196e+12 6.17187e+12 21370662 0.00% 2457 275 6.17192e+12 7551 6.17196e+12 6.17187e+12 21380493 0.00% 2459 277 6.17193e+12 9194 6.17196e+12 6.17187e+12 21391726 0.00% 2462 280 6.17194e+12 9368 6.17196e+12 6.17187e+12 21399663 0.00% 2468 286 6.17194e+12 9680 6.17196e+12 6.17187e+12 21407872 0.00% 2474 290 6.17194e+12 7865 6.17196e+12 6.17187e+12 21415845 0.00% 2478 294 6.17195e+12 7096 6.17196e+12 6.17187e+12 21424966 0.00% 2483 289 cutoff 6.17196e+12 6.17187e+12 21440111 0.00% 2491 283 6.17196e+12 9658 6.17196e+12 6.17187e+12 21487001 0.00% Elapsed real time = 354016.36 sec. (tree size = 410.09 MB, solutions = 10) Nodefile size = 290.48 MB (155.84 MB after compression) 2498 276 cutoff 6.17196e+12 6.17187e+12 21496784 0.00% 2503 271 cutoff 6.17196e+12 6.17187e+12 21513740 0.00% 2505 273 6.17189e+12 8692 6.17196e+12 6.17188e+12 21525239 0.00% 2508 274 6.17190e+12 8311 6.17196e+12 6.17188e+12 21536445 0.00% 2511 273 6.17195e+12 8839 6.17196e+12 6.17188e+12 21556908 0.00% 2516 272 cutoff 6.17196e+12 6.17188e+12 21565435 0.00% 2526 264 6.17196e+12 8432 6.17196e+12 6.17188e+12 21597905 0.00% 2529 263 6.17192e+12 6003 6.17196e+12 6.17188e+12 21610334 0.00% * 2531 263 integral 0 6.17195e+12 6.17188e+12 21615848 0.00% 2535 263 6.17192e+12 7421 6.17195e+12 6.17188e+12 21630722 0.00% Elapsed real time = 355415.26 sec. (tree size = 380.94 MB, solutions = 11) Nodefile size = 277.34 MB (148.96 MB after compression) 2536 264 6.17194e+12 8108 6.17195e+12 6.17188e+12 21642266 0.00% 2537 265 6.17194e+12 7845 6.17195e+12 6.17188e+12 21651409 0.00% 2543 261 infeasible 6.17195e+12 6.17188e+12 21660263 0.00% 2547 257 cutoff 6.17195e+12 6.17188e+12 21670334 0.00% 2549 257 6.17189e+12 12969 6.17195e+12 6.17188e+12 21686313 0.00% 2550 258 6.17189e+12 11639 6.17195e+12 6.17188e+12 21699621 0.00% 2551 259 6.17189e+12 11807 6.17195e+12 6.17188e+12 21706412 0.00% 2552 260 6.17190e+12 11517 6.17195e+12 6.17188e+12 21715784 0.00% 2554 262 6.17190e+12 11263 6.17195e+12 6.17188e+12 21722227 0.00% 2557 263 6.17190e+12 11414 6.17195e+12 6.17188e+12 21727502 0.00% Elapsed real time = 356624.91 sec. (tree size = 380.95 MB, solutions = 11) Nodefile size = 275.88 MB (148.15 MB after compression) 2561 265 6.17195e+12 10431 6.17195e+12 6.17188e+12 21767249 0.00% 2565 261 cutoff 6.17195e+12 6.17188e+12 21778216 0.00% 2571 255 cutoff 6.17195e+12 6.17188e+12 21790063 0.00% 2580 246 cutoff 6.17195e+12 6.17188e+12 21801269 0.00% 2584 242 cutoff 6.17195e+12 6.17189e+12 21811332 0.00% 2586 240 cutoff 6.17195e+12 6.17189e+12 21820877 0.00% 2592 234 cutoff 6.17195e+12 6.17189e+12 21831669 0.00% 2601 227 6.17192e+12 10704 6.17195e+12 6.17190e+12 21858638 0.00% 2603 229 6.17192e+12 11557 6.17195e+12 6.17190e+12 21869545 0.00% 2605 231 6.17192e+12 10661 6.17195e+12 6.17190e+12 21882169 0.00% Elapsed real time = 358169.79 sec. (tree size = 334.26 MB, solutions = 11) Nodefile size = 258.37 MB (138.41 MB after compression) 2610 234 6.17192e+12 10237 6.17195e+12 6.17190e+12 21888694 0.00% 2613 235 6.17192e+12 10434 6.17195e+12 6.17190e+12 21895688 0.00% 2617 239 6.17192e+12 10595 6.17195e+12 6.17190e+12 21902833 0.00% 2625 237 cutoff 6.17195e+12 6.17190e+12 21910059 0.00% 2635 229 6.17193e+12 12004 6.17195e+12 6.17190e+12 21930943 0.00% 2636 230 6.17193e+12 12840 6.17195e+12 6.17190e+12 21944064 0.00% 2637 231 6.17194e+12 12516 6.17195e+12 6.17190e+12 21957435 0.00% 2641 233 cutoff 6.17195e+12 6.17190e+12 21971637 0.00% 2650 228 6.17190e+12 12440 6.17195e+12 6.17190e+12 21984692 0.00% 2651 229 6.17190e+12 11680 6.17195e+12 6.17190e+12 21991870 0.00% Elapsed real time = 359718.61 sec. (tree size = 331.34 MB, solutions = 11) Nodefile size = 249.62 MB (133.41 MB after compression) 2654 230 6.17190e+12 12252 6.17195e+12 6.17190e+12 21999382 0.00% 2657 233 6.17190e+12 12449 6.17195e+12 6.17190e+12 22004981 0.00% 2659 235 6.17191e+12 11832 6.17195e+12 6.17190e+12 22016225 0.00%