Log started (V12.4.0.0) Wed Dec 12 16:19:27 2012 Problem '1ENH.matrix.36p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 19.67 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 = 21.63 sec. Elapsed time 10.31 sec. for 0% of probing. Elapsed time 23.02 sec. for 0% of probing. Elapsed time 35.49 sec. for 0% of probing. Elapsed time 45.74 sec. for 0% of probing. Elapsed time 58.65 sec. for 0% of probing. Elapsed time 68.65 sec. for 0% of probing. Elapsed time 79.21 sec. for 0% of probing. Elapsed time 89.40 sec. for 0% of probing. Elapsed time 99.52 sec. for 0% of probing. Elapsed time 109.58 sec. for 0% of probing. Elapsed time 119.86 sec. for 0% of probing. Elapsed time 130.43 sec. for 0% of probing. Elapsed time 142.36 sec. for 0% of probing. Elapsed time 154.90 sec. for 0% of probing. Elapsed time 165.98 sec. for 0% of probing. Elapsed time 176.42 sec. for 0% of probing. Elapsed time 186.57 sec. for 0% of probing. Elapsed time 196.67 sec. for 0% of probing. Elapsed time 206.85 sec. for 0% of probing. Elapsed time 217.38 sec. for 0% of probing. Elapsed time 229.27 sec. for 0% of probing. Probing time = 233.64 sec. Clique table members: 24031800. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 116402.97 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 2.56459e+12 3893 2.56459e+12 3156230 * 0+ 0 3.07446e+18 2.56459e+12 3156230 100.00% 0 0 2.56465e+12 4765 3.07446e+18 ZeroHalf: 44 3207264 100.00% * 0+ 0 3.07446e+18 2.56465e+12 3207264 100.00% 0 0 2.56470e+12 5299 3.07446e+18 ZeroHalf: 19 3256425 100.00% 0 0 2.56476e+12 5466 3.07446e+18 ZeroHalf: 10 3317283 100.00% * 0+ 0 1.53723e+18 2.56476e+12 3317283 100.00% Heuristic still looking. * 0+ 0 1.53723e+18 2.56476e+12 3317283 100.00% * 0+ 0 2.57541e+12 2.56476e+12 3317283 0.41% Heuristic still looking. 0 2 2.56476e+12 5466 2.57541e+12 2.56476e+12 3317283 0.41% Elapsed real time = 145682.08 sec. (tree size = 0.00 MB, solutions = 5) 1 3 2.56497e+12 4839 2.57541e+12 2.56476e+12 3358602 0.41% 2 4 2.56499e+12 3417 2.57541e+12 2.56476e+12 3376908 0.41% 3 5 2.56523e+12 3670 2.57541e+12 2.56476e+12 3397625 0.41% 4 6 2.56507e+12 2952 2.57541e+12 2.56476e+12 3410616 0.41% 5 7 2.56517e+12 5888 2.57541e+12 2.56476e+12 3437108 0.41% 6 8 2.56509e+12 6403 2.57541e+12 2.56476e+12 3451601 0.41% 7 9 2.56532e+12 2670 2.57541e+12 2.56476e+12 3465202 0.41% 8 10 2.56539e+12 5771 2.57541e+12 2.56476e+12 3474508 0.41% 9 11 2.56537e+12 2708 2.57541e+12 2.56476e+12 3489306 0.41% 10 12 2.56545e+12 1738 2.57541e+12 2.56476e+12 3499630 0.41% Elapsed real time = 155073.03 sec. (tree size = 28.48 MB, solutions = 5) 11 13 2.56552e+12 4494 2.57541e+12 2.56476e+12 3514475 0.41% 12 14 2.56617e+12 4465 2.57541e+12 2.56476e+12 3543093 0.41% 13 15 2.56620e+12 1744 2.57541e+12 2.56476e+12 3547856 0.41% 14 16 2.56620e+12 3229 2.57541e+12 2.56476e+12 3553203 0.41% 15 17 2.56620e+12 5954 2.57541e+12 2.56476e+12 3555060 0.41% 16 18 2.56679e+12 1650 2.57541e+12 2.56476e+12 3585380 0.41% 17 19 2.56682e+12 1176 2.57541e+12 2.56476e+12 3587880 0.41% 18 20 2.56684e+12 1176 2.57541e+12 2.56476e+12 3592463 0.41% 19 21 2.56697e+12 1150 2.57541e+12 2.56476e+12 3595507 0.41% 20 22 2.56698e+12 1122 2.57541e+12 2.56476e+12 3596089 0.41% Elapsed real time = 157657.77 sec. (tree size = 57.00 MB, solutions = 5) 21 23 2.56707e+12 1122 2.57541e+12 2.56476e+12 3602880 0.41% 22 24 2.56716e+12 1092 2.57541e+12 2.56476e+12 3611069 0.41% 23 25 2.56719e+12 1092 2.57541e+12 2.56476e+12 3613696 0.41% 24 26 2.56814e+12 1060 2.57541e+12 2.56476e+12 3641816 0.41% 25 27 2.56830e+12 1060 2.57541e+12 2.56476e+12 3647217 0.41% 26 28 2.56830e+12 1026 2.57541e+12 2.56476e+12 3653236 0.41% 27 29 2.56831e+12 1026 2.57541e+12 2.56476e+12 3654130 0.41% 28 30 2.56925e+12 990 2.57541e+12 2.56476e+12 3685600 0.41% 29 31 2.56938e+12 1329 2.57541e+12 2.56476e+12 3692183 0.41% 30 32 2.57034e+12 952 2.57541e+12 2.56476e+12 3715559 0.41% Elapsed real time = 158662.09 sec. (tree size = 85.61 MB, solutions = 5) 31 33 2.57035e+12 952 2.57541e+12 2.56476e+12 3716404 0.41% 32 34 2.57219e+12 1177 2.57541e+12 2.56476e+12 3759014 0.41% 33 35 2.57220e+12 912 2.57541e+12 2.56476e+12 3759329 0.41% 34 36 2.57259e+12 826 2.57541e+12 2.56476e+12 3784434 0.41% 35 37 2.57261e+12 826 2.57541e+12 2.56476e+12 3786398 0.41% 36 38 2.57282e+12 780 2.57541e+12 2.56476e+12 3800370 0.41% 37 39 2.57302e+12 780 2.57541e+12 2.56476e+12 3810232 0.41% 38 40 2.57294e+12 732 2.57541e+12 2.56476e+12 3815203 0.41% 39 41 2.57295e+12 732 2.57541e+12 2.56476e+12 3815826 0.41% 40 42 2.57377e+12 682 2.57541e+12 2.56476e+12 3831844 0.41% Elapsed real time = 159628.28 sec. (tree size = 118.69 MB, solutions = 5) 41 43 2.57394e+12 630 2.57541e+12 2.56476e+12 3836562 0.41% 42 44 2.57407e+12 630 2.57541e+12 2.56476e+12 3838758 0.41% 43 45 2.57405e+12 576 2.57541e+12 2.56476e+12 3843970 0.41% 44 46 2.57408e+12 576 2.57541e+12 2.56476e+12 3845523 0.41% 45 47 2.57441e+12 520 2.57541e+12 2.56476e+12 3854320 0.41% 46 48 2.57444e+12 672 2.57541e+12 2.56476e+12 3858516 0.41% * 47 47 integral 0 2.57465e+12 2.56476e+12 3863943 0.38% * 48 46 integral 0 2.57445e+12 2.56476e+12 3864740 0.38% 50 46 2.56495e+12 5242 2.57445e+12 2.56495e+12 3917987 0.37% 51 47 2.56501e+12 6978 2.57445e+12 2.56495e+12 3937188 0.37% Elapsed real time = 164781.92 sec. (tree size = 136.48 MB, solutions = 7) Nodefile size = 10.67 MB (2.71 MB after compression) 52 48 2.56505e+12 4558 2.57445e+12 2.56495e+12 3961630 0.37% 53 49 2.56513e+12 6300 2.57445e+12 2.56495e+12 3975933 0.37% 54 50 2.56517e+12 4862 2.57445e+12 2.56495e+12 3995649 0.37% 55 51 2.56520e+12 2602 2.57445e+12 2.56495e+12 4000220 0.37% 56 52 2.56538e+12 5117 2.57445e+12 2.56495e+12 4023152 0.37% Log started (V12.4.0.0) Sun Dec 16 00:24:33 2012 Problem '1ENH.matrix.36p.17aa.usingEref_self_digit8.wcsp.lp' read. Read time = 18.23 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 = 19.63 sec. Elapsed time 11.59 sec. for 0% of probing. Elapsed time 22.01 sec. for 0% of probing. Elapsed time 34.18 sec. for 0% of probing. Elapsed time 47.20 sec. for 0% of probing. Elapsed time 59.99 sec. for 0% of probing. Elapsed time 73.25 sec. for 0% of probing. Elapsed time 86.49 sec. for 0% of probing. Elapsed time 99.73 sec. for 0% of probing. Elapsed time 112.98 sec. for 0% of probing. Elapsed time 123.14 sec. for 0% of probing. Elapsed time 136.02 sec. for 0% of probing. Elapsed time 146.46 sec. for 0% of probing. Elapsed time 159.20 sec. for 0% of probing. Elapsed time 170.24 sec. for 0% of probing. Elapsed time 181.22 sec. for 0% of probing. Elapsed time 194.42 sec. for 0% of probing. Elapsed time 206.12 sec. for 0% of probing. Elapsed time 218.26 sec. for 0% of probing. Probing time = 227.21 sec. Clique table members: 24031800. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: none, using 1 thread. Root relaxation solution time = 121993.30 sec. Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap 0 0 2.56459e+12 3893 2.56459e+12 3156230 * 0+ 0 3.07446e+18 2.56459e+12 3156230 100.00% 0 0 2.56465e+12 4765 3.07446e+18 ZeroHalf: 44 3207264 100.00% * 0+ 0 3.07446e+18 2.56465e+12 3207264 100.00% 0 0 2.56470e+12 5299 3.07446e+18 ZeroHalf: 19 3256425 100.00% 0 0 2.56476e+12 5466 3.07446e+18 ZeroHalf: 10 3317283 100.00% * 0+ 0 1.53723e+18 2.56476e+12 3317283 100.00% Heuristic still looking. * 0+ 0 1.53723e+18 2.56476e+12 3317283 100.00% * 0+ 0 2.57541e+12 2.56476e+12 3317283 0.41% Heuristic still looking. 0 2 2.56476e+12 5466 2.57541e+12 2.56476e+12 3317283 0.41% Elapsed real time = 151913.10 sec. (tree size = 0.00 MB, solutions = 5) 1 3 2.56497e+12 4839 2.57541e+12 2.56476e+12 3358602 0.41% 2 4 2.56499e+12 3417 2.57541e+12 2.56476e+12 3376908 0.41% 3 5 2.56523e+12 3670 2.57541e+12 2.56476e+12 3397625 0.41% 4 6 2.56507e+12 2952 2.57541e+12 2.56476e+12 3410616 0.41% 5 7 2.56517e+12 5888 2.57541e+12 2.56476e+12 3437108 0.41% 6 8 2.56509e+12 6403 2.57541e+12 2.56476e+12 3451601 0.41% 7 9 2.56532e+12 2670 2.57541e+12 2.56476e+12 3465202 0.41% 8 10 2.56539e+12 5771 2.57541e+12 2.56476e+12 3474508 0.41% 9 11 2.56537e+12 2708 2.57541e+12 2.56476e+12 3489306 0.41% 10 12 2.56545e+12 1738 2.57541e+12 2.56476e+12 3499630 0.41% Elapsed real time = 164656.00 sec. (tree size = 28.48 MB, solutions = 5) 11 13 2.56552e+12 4494 2.57541e+12 2.56476e+12 3514475 0.41% 12 14 2.56617e+12 4465 2.57541e+12 2.56476e+12 3543093 0.41% 13 15 2.56620e+12 1744 2.57541e+12 2.56476e+12 3547856 0.41% 14 16 2.56620e+12 3229 2.57541e+12 2.56476e+12 3553203 0.41% 15 17 2.56620e+12 5954 2.57541e+12 2.56476e+12 3555060 0.41% 16 18 2.56679e+12 1650 2.57541e+12 2.56476e+12 3585380 0.41% 17 19 2.56682e+12 1176 2.57541e+12 2.56476e+12 3587880 0.41% 18 20 2.56684e+12 1176 2.57541e+12 2.56476e+12 3592463 0.41% 19 21 2.56697e+12 1150 2.57541e+12 2.56476e+12 3595507 0.41% 20 22 2.56698e+12 1122 2.57541e+12 2.56476e+12 3596089 0.41% Elapsed real time = 167017.34 sec. (tree size = 57.00 MB, solutions = 5) 21 23 2.56707e+12 1122 2.57541e+12 2.56476e+12 3602880 0.41% 22 24 2.56716e+12 1092 2.57541e+12 2.56476e+12 3611069 0.41% 23 25 2.56719e+12 1092 2.57541e+12 2.56476e+12 3613696 0.41% 24 26 2.56814e+12 1060 2.57541e+12 2.56476e+12 3641816 0.41% 25 27 2.56830e+12 1060 2.57541e+12 2.56476e+12 3647217 0.41% 26 28 2.56830e+12 1026 2.57541e+12 2.56476e+12 3653236 0.41% 27 29 2.56831e+12 1026 2.57541e+12 2.56476e+12 3654130 0.41% 28 30 2.56925e+12 990 2.57541e+12 2.56476e+12 3685600 0.41% 29 31 2.56938e+12 1329 2.57541e+12 2.56476e+12 3692183 0.41% 30 32 2.57034e+12 952 2.57541e+12 2.56476e+12 3715559 0.41% Elapsed real time = 168082.14 sec. (tree size = 85.61 MB, solutions = 5) 31 33 2.57035e+12 952 2.57541e+12 2.56476e+12 3716404 0.41% 32 34 2.57219e+12 1177 2.57541e+12 2.56476e+12 3759014 0.41% 33 35 2.57220e+12 912 2.57541e+12 2.56476e+12 3759329 0.41% 34 36 2.57259e+12 826 2.57541e+12 2.56476e+12 3784434 0.41% 35 37 2.57261e+12 826 2.57541e+12 2.56476e+12 3786398 0.41% 36 38 2.57282e+12 780 2.57541e+12 2.56476e+12 3800370 0.41% 37 39 2.57302e+12 780 2.57541e+12 2.56476e+12 3810232 0.41% 38 40 2.57294e+12 732 2.57541e+12 2.56476e+12 3815203 0.41% 39 41 2.57295e+12 732 2.57541e+12 2.56476e+12 3815826 0.41% 40 42 2.57377e+12 682 2.57541e+12 2.56476e+12 3831844 0.41% Elapsed real time = 169240.68 sec. (tree size = 118.69 MB, solutions = 5) 41 43 2.57394e+12 630 2.57541e+12 2.56476e+12 3836562 0.41% 42 44 2.57407e+12 630 2.57541e+12 2.56476e+12 3838758 0.41% 43 45 2.57405e+12 576 2.57541e+12 2.56476e+12 3843970 0.41% 44 46 2.57408e+12 576 2.57541e+12 2.56476e+12 3845523 0.41% 45 47 2.57441e+12 520 2.57541e+12 2.56476e+12 3854320 0.41% 46 48 2.57444e+12 672 2.57541e+12 2.56476e+12 3858516 0.41% * 47 47 integral 0 2.57465e+12 2.56476e+12 3863943 0.38% * 48 46 integral 0 2.57445e+12 2.56476e+12 3864740 0.38% 50 46 2.56495e+12 5242 2.57445e+12 2.56495e+12 3917987 0.37% 51 47 2.56501e+12 6978 2.57445e+12 2.56495e+12 3937188 0.37% Elapsed real time = 175383.18 sec. (tree size = 136.48 MB, solutions = 7) Nodefile size = 10.67 MB (2.71 MB after compression) 52 48 2.56505e+12 4558 2.57445e+12 2.56495e+12 3961630 0.37% 53 49 2.56513e+12 6300 2.57445e+12 2.56495e+12 3975933 0.37% 54 50 2.56517e+12 4862 2.57445e+12 2.56495e+12 3995649 0.37% 55 51 2.56520e+12 2602 2.57445e+12 2.56495e+12 4000220 0.37% 56 52 2.56538e+12 5117 2.57445e+12 2.56495e+12 4023152 0.37% 57 53 2.56542e+12 5288 2.57445e+12 2.56495e+12 4059160 0.37% 58 54 2.56578e+12 1276 2.57445e+12 2.56495e+12 4069960 0.37% 59 55 2.56583e+12 1276 2.57445e+12 2.56495e+12 4083347 0.37% 60 56 2.56585e+12 1260 2.57445e+12 2.56495e+12 4088586 0.37% 61 57 2.56587e+12 1260 2.57445e+12 2.56495e+12 4090160 0.37% Elapsed real time = 182449.34 sec. (tree size = 162.12 MB, solutions = 7) Nodefile size = 34.97 MB (11.43 MB after compression) 62 58 2.56661e+12 1683 2.57445e+12 2.56495e+12 4113244 0.37% 63 59 2.56663e+12 1222 2.57445e+12 2.56495e+12 4116035 0.37% 64 60 2.56664e+12 1200 2.57445e+12 2.56495e+12 4117754 0.37% 65 61 2.56665e+12 3791 2.57445e+12 2.56495e+12 4120060 0.37% 66 62 2.56724e+12 1176 2.57445e+12 2.56495e+12 4151884 0.37% 67 63 2.56731e+12 1176 2.57445e+12 2.56495e+12 4160627 0.37% 68 64 2.56738e+12 1150 2.57445e+12 2.56495e+12 4164776 0.37% 69 65 2.56743e+12 1122 2.57445e+12 2.56495e+12 4168071 0.37% 70 66 2.56751e+12 1122 2.57445e+12 2.56495e+12 4174025 0.37% 71 67 2.56763e+12 1092 2.57445e+12 2.56495e+12 4181525 0.37% Elapsed real time = 183281.66 sec. (tree size = 193.53 MB, solutions = 7) Nodefile size = 68.06 MB (22.27 MB after compression) 72 68 2.56766e+12 1092 2.57445e+12 2.56495e+12 4183548 0.37% 73 69 2.56861e+12 1060 2.57445e+12 2.56495e+12 4212054 0.37% 74 70 2.56872e+12 1060 2.57445e+12 2.56495e+12 4215159 0.37% 75 71 2.56872e+12 1026 2.57445e+12 2.56495e+12 4217645 0.37% 76 72 2.56873e+12 1026 2.57445e+12 2.56495e+12 4218245 0.37% 77 73 2.56968e+12 990 2.57445e+12 2.56495e+12 4254372 0.37% 78 74 2.56975e+12 1026 2.57445e+12 2.56495e+12 4258076 0.37% 79 75 2.57083e+12 990 2.57445e+12 2.56495e+12 4277790 0.37% 80 76 2.57084e+12 990 2.57445e+12 2.56495e+12 4278040 0.37% 81 77 2.57100e+12 952 2.57445e+12 2.56495e+12 4285253 0.37% Elapsed real time = 184190.70 sec. (tree size = 223.02 MB, solutions = 7) Nodefile size = 97.15 MB (33.38 MB after compression) 82 78 2.57101e+12 952 2.57445e+12 2.56495e+12 4285536 0.37% 83 79 2.57287e+12 912 2.57445e+12 2.56495e+12 4333216 0.37% 84 80 2.57288e+12 912 2.57445e+12 2.56495e+12 4333656 0.37% 85 81 2.57326e+12 826 2.57445e+12 2.56495e+12 4354052 0.37% 86 82 2.57328e+12 826 2.57445e+12 2.56495e+12 4355217 0.37% 87 83 2.57348e+12 780 2.57445e+12 2.56495e+12 4367290 0.37% 88 84 2.57361e+12 732 2.57445e+12 2.56495e+12 4370920 0.37% 89 85 2.57362e+12 732 2.57445e+12 2.56495e+12 4371615 0.37% 90 84 cutoff 2.57445e+12 2.56495e+12 4390737 0.37% 91 85 2.57366e+12 732 2.57445e+12 2.56495e+12 4393951 0.37% Elapsed real time = 184855.02 sec. (tree size = 247.33 MB, solutions = 7) Nodefile size = 121.16 MB (42.97 MB after compression) 92 86 2.57444e+12 682 2.57445e+12 2.56495e+12 4414048 0.37% 94 84 infeasible 2.57445e+12 2.56495e+12 4414432 0.37% 95 85 2.56505e+12 4828 2.57445e+12 2.56497e+12 4449953 0.37% 96 86 2.56507e+12 7889 2.57445e+12 2.56497e+12 4468295 0.37% 97 87 2.56512e+12 3467 2.57445e+12 2.56497e+12 4487637 0.37% 98 88 2.56515e+12 2580 2.57445e+12 2.56497e+12 4496702 0.37% 99 89 2.56529e+12 3102 2.57445e+12 2.56497e+12 4520430 0.37% 100 90 2.56543e+12 3184 2.57445e+12 2.56497e+12 4549289 0.37% 101 91 2.56546e+12 6248 2.57445e+12 2.56497e+12 4555071 0.37% 102 92 2.56560e+12 3399 2.57445e+12 2.56497e+12 4572088 0.37% Elapsed real time = 195609.56 sec. (tree size = 271.54 MB, solutions = 7) Nodefile size = 146.12 MB (51.42 MB after compression) 103 93 2.56564e+12 3436 2.57445e+12 2.56497e+12 4585310 0.37% 104 94 2.56566e+12 4305 2.57445e+12 2.56497e+12 4590407 0.37% 105 95 2.56567e+12 6296 2.57445e+12 2.56497e+12 4593061 0.37% 106 96 2.56568e+12 5455 2.57445e+12 2.56497e+12 4596317 0.37% 107 97 2.56572e+12 3241 2.57445e+12 2.56497e+12 4602221 0.37% 108 98 2.56573e+12 4043 2.57445e+12 2.56497e+12 4604697 0.37% 109 99 2.56579e+12 5595 2.57445e+12 2.56497e+12 4617275 0.37% 110 100 2.56585e+12 2319 2.57445e+12 2.56497e+12 4626771 0.37% 111 101 2.56593e+12 4087 2.57445e+12 2.56497e+12 4646697 0.37% 112 102 2.56596e+12 6101 2.57445e+12 2.56497e+12 4655333 0.37% Elapsed real time = 199396.22 sec. (tree size = 300.04 MB, solutions = 7) Nodefile size = 174.67 MB (60.84 MB after compression) 113 103 2.56601e+12 6143 2.57445e+12 2.56497e+12 4664761 0.37% 114 104 2.56614e+12 5678 2.57445e+12 2.56497e+12 4691598 0.37% 115 105 2.56616e+12 3550 2.57445e+12 2.56497e+12 4698598 0.37% 116 106 2.56619e+12 5200 2.57445e+12 2.56497e+12 4704678 0.37% 117 107 2.56621e+12 5162 2.57445e+12 2.56497e+12 4711911 0.37% 118 108 2.56624e+12 3229 2.57445e+12 2.56497e+12 4720407 0.37% 119 109 2.56628e+12 5307 2.57445e+12 2.56497e+12 4733109 0.37% 120 110 2.56630e+12 3151 2.57445e+12 2.56497e+12 4739485 0.37% 121 111 2.56632e+12 4235 2.57445e+12 2.56497e+12 4745677 0.37% 122 112 2.56640e+12 2985 2.57445e+12 2.56497e+12 4753639 0.37% Elapsed real time = 202682.59 sec. (tree size = 328.57 MB, solutions = 7) Nodefile size = 203.19 MB (71.31 MB after compression) 123 113 2.56655e+12 6010 2.57445e+12 2.56497e+12 4771667 0.37% 124 114 2.56676e+12 3975 2.57445e+12 2.56497e+12 4789918 0.37% 125 115 2.56685e+12 1276 2.57445e+12 2.56497e+12 4797126 0.37% 126 116 2.56693e+12 5396 2.57445e+12 2.56497e+12 4804992 0.37% 127 117 2.56706e+12 1276 2.57445e+12 2.56497e+12 4812624 0.37% 128 118 2.56713e+12 2323 2.57445e+12 2.56497e+12 4830281 0.37% 129 119 2.56720e+12 1242 2.57445e+12 2.56497e+12 4836367 0.37% 130 120 2.56721e+12 2029 2.57445e+12 2.56497e+12 4840506 0.37% 131 121 2.56726e+12 1719 2.57445e+12 2.56497e+12 4843622 0.37% 132 122 2.56728e+12 1719 2.57445e+12 2.56497e+12 4847493 0.37% Elapsed real time = 205085.44 sec. (tree size = 357.14 MB, solutions = 7) Nodefile size = 231.75 MB (83.02 MB after compression) 134 124 2.56732e+12 2073 2.57445e+12 2.56497e+12 4855130 0.37% 135 125 2.56737e+12 2679 2.57445e+12 2.56497e+12 4865399 0.37% 137 127 2.56740e+12 1242 2.57445e+12 2.56497e+12 4870038 0.37% 138 128 2.56742e+12 4626 2.57445e+12 2.56497e+12 4875891 0.37% 139 129 2.56744e+12 1222 2.57445e+12 2.56497e+12 4877802 0.37% 140 130 2.56744e+12 1222 2.57445e+12 2.56497e+12 4878500 0.37% 141 131 2.56745e+12 1672 2.57445e+12 2.56497e+12 4881584 0.37% 142 132 2.56748e+12 1693 2.57445e+12 2.56497e+12 4886108 0.37% 144 134 2.56749e+12 1242 2.57445e+12 2.56497e+12 4888209 0.37% 145 135 2.56753e+12 1200 2.57445e+12 2.56497e+12 4891981 0.37% Elapsed real time = 205723.00 sec. (tree size = 394.31 MB, solutions = 7) Nodefile size = 268.92 MB (98.08 MB after compression) 147 137 2.56753e+12 1200 2.57445e+12 2.56497e+12 4893271 0.37% 149 139 2.56759e+12 1200 2.57445e+12 2.56497e+12 4896950 0.37% 150 140 2.56760e+12 1200 2.57445e+12 2.56497e+12 4898463 0.37% 153 143 2.56762e+12 1200 2.57445e+12 2.56497e+12 4899709 0.37% 156 146 2.56763e+12 1387 2.57445e+12 2.56497e+12 4900782 0.37% 160 150 2.56764e+12 1200 2.57445e+12 2.56497e+12 4901648 0.37% 166 156 2.56766e+12 1200 2.57445e+12 2.56497e+12 4902575 0.37% 170 160 2.56767e+12 1200 2.57445e+12 2.56497e+12 4902834 0.37% 175 165 2.56768e+12 1200 2.57445e+12 2.56497e+12 4904330 0.37% 179 169 2.56770e+12 1200 2.57445e+12 2.56497e+12 4905673 0.37% Elapsed real time = 205937.50 sec. (tree size = 491.59 MB, solutions = 7) Nodefile size = 366.20 MB (137.02 MB after compression) 180 170 2.56770e+12 1200 2.57445e+12 2.56497e+12 4905687 0.37% 184 174 2.56772e+12 1387 2.57445e+12 2.56497e+12 4907034 0.37% 189 179 2.56777e+12 1387 2.57445e+12 2.56497e+12 4908659 0.37% 191 181 2.56781e+12 4192 2.57445e+12 2.56497e+12 4912259 0.37% 194 184 2.56783e+12 1200 2.57445e+12 2.56497e+12 4913652 0.37% 200 190 2.56786e+12 1200 2.57445e+12 2.56497e+12 4915956 0.37% 204 194 2.56787e+12 1387 2.57445e+12 2.56497e+12 4916609 0.37% 206 196 2.56790e+12 1200 2.57445e+12 2.56497e+12 4920439 0.37% 207 197 2.56792e+12 1712 2.57445e+12 2.56497e+12 4923109 0.37% 208 198 2.56794e+12 1222 2.57445e+12 2.56497e+12 4925833 0.37% Elapsed real time = 206687.77 sec. (tree size = 574.63 MB, solutions = 7) Nodefile size = 449.24 MB (170.07 MB after compression) 209 199 2.56795e+12 1242 2.57445e+12 2.56497e+12 4927512 0.37% 210 200 2.56795e+12 1242 2.57445e+12 2.56497e+12 4928428 0.37% 211 201 2.56802e+12 3499 2.57445e+12 2.56497e+12 4934450 0.37% 212 202 2.56803e+12 1242 2.57445e+12 2.56497e+12 4937893 0.37% 214 204 2.56807e+12 1242 2.57445e+12 2.56497e+12 4941331 0.37% 216 206 2.56811e+12 1200 2.57445e+12 2.56497e+12 4945312 0.37% 218 208 2.56815e+12 1222 2.57445e+12 2.56497e+12 4950441 0.37% 219 209 2.56817e+12 1242 2.57445e+12 2.56497e+12 4952740 0.37% 220 210 2.56822e+12 1242 2.57445e+12 2.56497e+12 4955484 0.37% 221 211 2.56827e+12 1242 2.57445e+12 2.56497e+12 4961514 0.37% Elapsed real time = 207423.15 sec. (tree size = 611.88 MB, solutions = 7) Nodefile size = 486.48 MB (184.77 MB after compression) 223 213 2.56832e+12 1242 2.57445e+12 2.56497e+12 4965261 0.37% 227 217 2.56842e+12 1222 2.57445e+12 2.56497e+12 4969072 0.37% 228 218 2.56858e+12 1333 2.57445e+12 2.56497e+12 4986926 0.37% 229 219 2.56859e+12 1222 2.57445e+12 2.56497e+12 4991855 0.37% 230 220 2.56861e+12 1222 2.57445e+12 2.56497e+12 4995551 0.37% 231 221 2.56862e+12 1550 2.57445e+12 2.56497e+12 4998088 0.37% 234 224 2.56862e+12 1222 2.57445e+12 2.56497e+12 4998974 0.37% 237 227 2.56865e+12 1272 2.57445e+12 2.56497e+12 5003142 0.37% 239 229 2.56866e+12 1222 2.57445e+12 2.56497e+12 5004889 0.37% 241 231 2.56866e+12 1222 2.57445e+12 2.56497e+12 5005863 0.37% Elapsed real time = 207955.87 sec. (tree size = 669.28 MB, solutions = 7) Nodefile size = 543.88 MB (207.29 MB after compression) 242 232 2.56869e+12 1222 2.57445e+12 2.56497e+12 5009667 0.37% 244 234 2.56878e+12 1222 2.57445e+12 2.56497e+12 5012890 0.37% 245 235 2.56884e+12 1222 2.57445e+12 2.56497e+12 5017773 0.37% 246 236 2.56899e+12 1200 2.57445e+12 2.56497e+12 5024814 0.37% 247 237 2.56901e+12 1200 2.57445e+12 2.56497e+12 5027069 0.37% 248 238 2.56902e+12 1200 2.57445e+12 2.56497e+12 5030695 0.37% 250 240 2.56905e+12 1200 2.57445e+12 2.56497e+12 5035890 0.37% 251 241 2.56905e+12 1200 2.57445e+12 2.56497e+12 5037923 0.37% 253 243 2.56909e+12 1200 2.57445e+12 2.56497e+12 5042092 0.37% 254 244 2.56910e+12 1200 2.57445e+12 2.56497e+12 5045586 0.37% Elapsed real time = 208288.51 sec. (tree size = 706.65 MB, solutions = 7) Nodefile size = 581.24 MB (221.86 MB after compression) 255 245 2.56911e+12 1200 2.57445e+12 2.56497e+12 5047537 0.37% 257 247 2.56917e+12 1150 2.57445e+12 2.56497e+12 5053220 0.37% 258 248 2.56920e+12 1200 2.57445e+12 2.56497e+12 5055639 0.37% 260 250 2.56922e+12 1176 2.57445e+12 2.56497e+12 5060280 0.37% 262 252 2.56923e+12 1176 2.57445e+12 2.56497e+12 5062282 0.37% 263 253 2.56926e+12 1176 2.57445e+12 2.56497e+12 5065099 0.37% 265 255 2.56928e+12 1176 2.57445e+12 2.56497e+12 5066896 0.37% 266 256 2.56930e+12 1150 2.57445e+12 2.56497e+12 5068580 0.37% 268 258 2.56941e+12 1150 2.57445e+12 2.56497e+12 5078641 0.37% 269 259 2.56945e+12 1150 2.57445e+12 2.56497e+12 5080865 0.37% Elapsed real time = 208882.89 sec. (tree size = 749.81 MB, solutions = 7) Nodefile size = 624.40 MB (238.52 MB after compression) 270 260 2.56946e+12 1150 2.57445e+12 2.56497e+12 5082130 0.37% 273 263 2.56950e+12 1150 2.57445e+12 2.56497e+12 5085834 0.37% 275 265 2.56952e+12 1150 2.57445e+12 2.56497e+12 5090472 0.37% 279 269 2.56955e+12 1150 2.57445e+12 2.56497e+12 5091993 0.37% 280 270 2.56957e+12 1122 2.57445e+12 2.56497e+12 5092530 0.37% 281 271 2.56966e+12 1122 2.57445e+12 2.56497e+12 5097927 0.37% 282 272 2.56969e+12 1122 2.57445e+12 2.56497e+12 5102249 0.37% 283 273 2.56970e+12 1122 2.57445e+12 2.56497e+12 5104899 0.37% 284 274 2.56971e+12 1122 2.57445e+12 2.56497e+12 5106199 0.37% 286 276 2.56972e+12 2025 2.57445e+12 2.56497e+12 5107874 0.37% Elapsed real time = 209409.10 sec. (tree size = 798.82 MB, solutions = 7) Nodefile size = 673.40 MB (257.34 MB after compression) 289 279 2.56981e+12 1194 2.57445e+12 2.56497e+12 5110649 0.37% 290 280 2.56984e+12 1194 2.57445e+12 2.56497e+12 5112523 0.37% 292 282 2.56990e+12 1194 2.57445e+12 2.56497e+12 5114658 0.37% 293 283 2.57005e+12 1194 2.57445e+12 2.56497e+12 5121831 0.37% 294 284 2.57009e+12 1194 2.57445e+12 2.56497e+12 5124656 0.37% 295 285 2.57014e+12 1194 2.57445e+12 2.56497e+12 5127049 0.37% 296 286 2.57015e+12 1194 2.57445e+12 2.56497e+12 5129979 0.37% 297 287 2.57016e+12 1194 2.57445e+12 2.56497e+12 5131806 0.37% 299 289 2.57017e+12 1397 2.57445e+12 2.56497e+12 5133900 0.37% 300 290 2.57020e+12 1194 2.57445e+12 2.56497e+12 5135351 0.37% Elapsed real time = 209688.10 sec. (tree size = 839.28 MB, solutions = 7) Nodefile size = 713.86 MB (272.82 MB after compression) 302 292 2.57022e+12 1194 2.57445e+12 2.56497e+12 5138737 0.37% 303 293 2.57022e+12 1194 2.57445e+12 2.56497e+12 5139847 0.37% 306 296 2.57023e+12 1229 2.57445e+12 2.56497e+12 5140951 0.37% 308 298 2.57025e+12 1229 2.57445e+12 2.56497e+12 5143822 0.37% 310 300 2.57026e+12 1229 2.57445e+12 2.56497e+12 5145306 0.37% 312 302 2.57034e+12 1229 2.57445e+12 2.56497e+12 5147309 0.37% 313 303 2.57035e+12 1430 2.57445e+12 2.56497e+12 5149037 0.37% 314 304 2.57036e+12 1264 2.57445e+12 2.56497e+12 5150072 0.37% 315 305 2.57037e+12 1430 2.57445e+12 2.56497e+12 5154223 0.37% 317 307 2.57040e+12 1385 2.57445e+12 2.56497e+12 5156906 0.37% Elapsed real time = 210023.96 sec. (tree size = 888.56 MB, solutions = 7) Nodefile size = 763.13 MB (291.72 MB after compression) 320 310 2.57042e+12 1430 2.57445e+12 2.56497e+12 5158540 0.37% 322 312 2.57046e+12 1462 2.57445e+12 2.56497e+12 5162002 0.37% 323 313 2.57052e+12 1122 2.57445e+12 2.56497e+12 5165361 0.37% 324 314 2.57053e+12 1122 2.57445e+12 2.56497e+12 5166960 0.37% 327 317 2.57055e+12 1122 2.57445e+12 2.56497e+12 5168281 0.37% 329 319 2.57059e+12 1122 2.57445e+12 2.56497e+12 5170472 0.37% 330 320 2.57061e+12 1122 2.57445e+12 2.56497e+12 5172126 0.37% 332 322 2.57065e+12 1122 2.57445e+12 2.56497e+12 5174944 0.37% 333 323 2.57069e+12 1150 2.57445e+12 2.56497e+12 5177404 0.37% 334 324 2.57085e+12 1247 2.57445e+12 2.56497e+12 5187537 0.37% Elapsed real time = 210670.37 sec. (tree size = 938.15 MB, solutions = 7) Nodefile size = 812.68 MB (310.83 MB after compression) 336 326 2.57086e+12 1247 2.57445e+12 2.56497e+12 5188422 0.37% 339 329 2.57086e+12 1247 2.57445e+12 2.56497e+12 5189162 0.37% 340 330 2.57087e+12 1247 2.57445e+12 2.56497e+12 5189762 0.37% 344 334 2.57087e+12 1247 2.57445e+12 2.56497e+12 5190416 0.37% 349 339 2.57088e+12 1247 2.57445e+12 2.56497e+12 5191755 0.37% 350 340 2.57090e+12 1247 2.57445e+12 2.56497e+12 5192893 0.37% 351 341 2.57099e+12 3133 2.57445e+12 2.56497e+12 5197961 0.37% 355 345 2.57100e+12 1281 2.57445e+12 2.56497e+12 5199099 0.37% 357 347 2.57102e+12 1281 2.57445e+12 2.56497e+12 5200308 0.37% 358 348 2.57103e+12 1315 2.57445e+12 2.56497e+12 5201687 0.37% Elapsed real time = 210907.83 sec. (tree size = 1016.51 MB, solutions = 7) Nodefile size = 890.68 MB (345.23 MB after compression) 359 349 2.57109e+12 1122 2.57445e+12 2.56497e+12 5204467 0.37% 360 350 2.57127e+12 1391 2.57445e+12 2.56497e+12 5214521 0.37% 363 353 2.57130e+12 1092 2.57445e+12 2.56497e+12 5215855 0.37% 368 358 2.57131e+12 1092 2.57445e+12 2.56497e+12 5216609 0.37% 371 361 2.57139e+12 3813 2.57445e+12 2.56497e+12 5226523 0.37% 373 363 2.57143e+12 1463 2.57445e+12 2.56497e+12 5229159 0.37% 376 366 2.57144e+12 1511 2.57445e+12 2.56497e+12 5230202 0.37% 378 368 2.57146e+12 1545 2.57445e+12 2.56497e+12 5232416 0.37% 379 369 2.57147e+12 1269 2.57445e+12 2.56497e+12 5233811 0.37% 381 371 2.57176e+12 1316 2.57445e+12 2.56497e+12 5243785 0.37% Elapsed real time = 211401.32 sec. (tree size = 1092.80 MB, solutions = 7) Nodefile size = 966.95 MB (379.41 MB after compression) 383 373 2.57201e+12 1092 2.57445e+12 2.56497e+12 5253870 0.37% 384 374 2.57202e+12 1092 2.57445e+12 2.56497e+12 5256641 0.37% 387 377 2.57204e+12 1092 2.57445e+12 2.56497e+12 5261111 0.37% 389 379 2.57204e+12 1092 2.57445e+12 2.56497e+12 5263157 0.37% 391 381 2.57205e+12 1092 2.57445e+12 2.56497e+12 5263525 0.37% 392 382 2.57206e+12 1451 2.57445e+12 2.56497e+12 5268001 0.37% 394 384 2.57208e+12 1719 2.57445e+12 2.56497e+12 5270048 0.37% 396 386 2.57208e+12 1235 2.57445e+12 2.56497e+12 5271548 0.37% 397 387 2.57211e+12 1487 2.57445e+12 2.56497e+12 5272916 0.37% 398 388 2.57230e+12 1092 2.57445e+12 2.56497e+12 5285566 0.37% Elapsed real time = 211874.84 sec. (tree size = 1149.86 MB, solutions = 7) Nodefile size = 1023.97 MB (405.18 MB after compression) 400 390 2.57230e+12 1092 2.57445e+12 2.56497e+12 5286182 0.37% 402 392 2.56518e+12 4919 2.57445e+12 2.56501e+12 5319547 0.37% 403 393 2.56520e+12 4614 2.57445e+12 2.56501e+12 5329898 0.37% 404 394 2.56525e+12 4450 2.57445e+12 2.56501e+12 5345914 0.37% 405 395 2.56553e+12 5904 2.57445e+12 2.56501e+12 5372961 0.37% 406 396 2.56555e+12 5979 2.57445e+12 2.56501e+12 5382106 0.37% 407 397 2.56560e+12 6661 2.57445e+12 2.56501e+12 5402899 0.37% 408 398 2.56564e+12 7072 2.57445e+12 2.56501e+12 5415885 0.37% 409 399 2.56568e+12 2980 2.57445e+12 2.56501e+12 5425454 0.37% 410 400 2.56578e+12 4164 2.57445e+12 2.56501e+12 5451827 0.37% Elapsed real time = 219237.05 sec. (tree size = 1186.67 MB, solutions = 7) Nodefile size = 1061.31 MB (421.46 MB after compression) 411 401 2.56581e+12 5273 2.57445e+12 2.56501e+12 5459153 0.37% 412 402 2.56586e+12 6392 2.57445e+12 2.56501e+12 5467585 0.37% 413 403 2.56589e+12 6933 2.57445e+12 2.56501e+12 5475319 0.37% 414 404 2.56590e+12 4457 2.57445e+12 2.56501e+12 5481027 0.37% 415 405 2.56592e+12 6513 2.57445e+12 2.56501e+12 5485317 0.37% 416 406 2.56597e+12 4147 2.57445e+12 2.56501e+12 5496242 0.37% 417 407 2.56599e+12 5165 2.57445e+12 2.56501e+12 5501460 0.37% 418 408 2.56603e+12 5708 2.57445e+12 2.56501e+12 5511401 0.37% 419 409 2.56604e+12 3656 2.57445e+12 2.56501e+12 5515855 0.37% 420 410 2.56617e+12 3853 2.57445e+12 2.56501e+12 5532525 0.37% Elapsed real time = 222293.41 sec. (tree size = 1215.19 MB, solutions = 7) Nodefile size = 1089.83 MB (433.22 MB after compression) 421 411 2.56621e+12 3320 2.57445e+12 2.56501e+12 5542974 0.37% 422 412 2.56628e+12 5778 2.57445e+12 2.56501e+12 5554419 0.37% 423 413 2.56630e+12 3667 2.57445e+12 2.56501e+12 5562488 0.37% 424 414 2.56643e+12 3856 2.57445e+12 2.56501e+12 5584515 0.37% 425 415 2.56650e+12 5877 2.57445e+12 2.56501e+12 5601125 0.37% 426 416 2.56658e+12 3910 2.57445e+12 2.56501e+12 5615749 0.37% 427 417 2.56661e+12 3999 2.57445e+12 2.56501e+12 5621559 0.37% 428 418 2.56665e+12 6455 2.57445e+12 2.56501e+12 5628653 0.37% 429 419 2.56671e+12 4001 2.57445e+12 2.56501e+12 5635817 0.37% 430 420 2.56675e+12 2853 2.57445e+12 2.56501e+12 5642495 0.37% Elapsed real time = 225289.10 sec. (tree size = 1243.73 MB, solutions = 7) Nodefile size = 1118.36 MB (445.01 MB after compression) 431 421 2.56678e+12 3493 2.57445e+12 2.56501e+12 5654745 0.37% 432 422 2.56687e+12 4291 2.57445e+12 2.56501e+12 5671228 0.37% 433 423 2.56690e+12 6428 2.57445e+12 2.56501e+12 5681543 0.37% 434 424 2.56692e+12 3057 2.57445e+12 2.56501e+12 5687072 0.37% 435 425 2.56696e+12 4369 2.57445e+12 2.56501e+12 5697863 0.37% 436 426 2.56697e+12 3491 2.57445e+12 2.56501e+12 5705848 0.37% 437 427 2.56704e+12 6782 2.57445e+12 2.56501e+12 5725582 0.37% 438 428 2.56714e+12 6344 2.57445e+12 2.56501e+12 5739156 0.37% 439 429 2.56735e+12 3167 2.57445e+12 2.56501e+12 5762116 0.37% 440 430 2.56742e+12 2952 2.57445e+12 2.56501e+12 5778988 0.37% Elapsed real time = 230309.60 sec. (tree size = 1272.31 MB, solutions = 7) Nodefile size = 1146.93 MB (456.77 MB after compression) 441 431 2.56746e+12 3384 2.57445e+12 2.56501e+12 5794372 0.37% 442 432 2.56773e+12 4529 2.57445e+12 2.56501e+12 5818245 0.37% 443 433 2.56788e+12 3611 2.57445e+12 2.56501e+12 5829789 0.37% 444 434 2.56790e+12 4643 2.57445e+12 2.56501e+12 5836971 0.37% 445 435 2.56790e+12 2221 2.57445e+12 2.56501e+12 5839933 0.37% 446 436 2.56791e+12 3980 2.57445e+12 2.56501e+12 5843857 0.37% 448 438 2.56797e+12 3039 2.57445e+12 2.56501e+12 5847616 0.37% 449 439 2.56799e+12 3046 2.57445e+12 2.56501e+12 5849987 0.37% 450 440 2.56800e+12 3073 2.57445e+12 2.56501e+12 5851238 0.37% 451 441 2.56800e+12 2925 2.57445e+12 2.56501e+12 5854079 0.37% Elapsed real time = 232197.69 sec. (tree size = 1303.81 MB, solutions = 7) Nodefile size = 1178.43 MB (469.73 MB after compression) 452 442 2.56801e+12 2674 2.57445e+12 2.56501e+12 5855010 0.37% 454 444 2.56803e+12 3414 2.57445e+12 2.56501e+12 5863346 0.37% 455 445 2.56804e+12 2682 2.57445e+12 2.56501e+12 5865783 0.37% 456 446 2.56806e+12 2821 2.57445e+12 2.56501e+12 5868907 0.37% 457 447 2.56808e+12 2703 2.57445e+12 2.56501e+12 5871152 0.37% 458 448 2.56810e+12 5873 2.57445e+12 2.56501e+12 5875635 0.37% 459 449 2.56812e+12 3047 2.57445e+12 2.56501e+12 5880380 0.37% 460 450 2.56814e+12 3172 2.57445e+12 2.56501e+12 5885183 0.37% 461 451 2.56816e+12 2950 2.57445e+12 2.56501e+12 5890620 0.37% 462 452 2.56819e+12 2846 2.57445e+12 2.56501e+12 5896290 0.37% Elapsed real time = 233224.24 sec. (tree size = 1335.34 MB, solutions = 7) Nodefile size = 1209.96 MB (482.57 MB after compression) 463 453 2.56824e+12 2882 2.57445e+12 2.56501e+12 5904140 0.37% 464 454 2.56825e+12 4419 2.57445e+12 2.56501e+12 5908427 0.37% 465 455 2.56831e+12 3957 2.57445e+12 2.56501e+12 5918994 0.37% 466 456 2.56832e+12 6242 2.57445e+12 2.56501e+12 5923232 0.37% 467 457 2.56833e+12 3361 2.57445e+12 2.56501e+12 5929089 0.37% 468 458 2.56843e+12 3815 2.57445e+12 2.56501e+12 5944577 0.37% 469 459 2.56848e+12 5235 2.57445e+12 2.56501e+12 5953679 0.37% 470 460 2.56853e+12 3213 2.57445e+12 2.56501e+12 5961175 0.37% 471 461 2.56855e+12 3959 2.57445e+12 2.56501e+12 5966214 0.37% 472 462 2.56860e+12 3464 2.57445e+12 2.56501e+12 5975897 0.37% Elapsed real time = 235392.96 sec. (tree size = 1364.04 MB, solutions = 7) Nodefile size = 1238.65 MB (494.29 MB after compression) 473 463 2.56867e+12 3289 2.57445e+12 2.56501e+12 5986710 0.37% 474 464 2.56872e+12 3446 2.57445e+12 2.56501e+12 5996306 0.37% 475 465 2.56881e+12 3822 2.57445e+12 2.56501e+12 6012309 0.37% 476 466 2.56888e+12 6285 2.57445e+12 2.56501e+12 6024743 0.37% 477 467 2.56889e+12 5876 2.57445e+12 2.56501e+12 6030918 0.37% 478 468 2.56908e+12 3774 2.57445e+12 2.56501e+12 6058257 0.37% 479 469 2.56928e+12 6328 2.57445e+12 2.56501e+12 6078997 0.37% 480 470 2.56933e+12 3250 2.57445e+12 2.56501e+12 6089704 0.37% 481 471 2.56938e+12 3074 2.57445e+12 2.56501e+12 6100114 0.37% 482 472 2.56951e+12 1764 2.57445e+12 2.56501e+12 6111002 0.37% Elapsed real time = 240814.46 sec. (tree size = 1392.80 MB, solutions = 7) Nodefile size = 1267.40 MB (506.11 MB after compression) 483 473 2.56952e+12 4187 2.57445e+12 2.56501e+12 6112761 0.37% 484 474 2.56956e+12 1734 2.57445e+12 2.56501e+12 6116426 0.37%