display ctime(); ### full3.txt:8(130) display ... ctime() = 'Thu Apr 2 17:00:31 2015' option cplex_options 'timing=1' 'mipdisplay=2' 'logfile=cplex.out' 'timelimit=86400' 'threads=4'; ### full3.txt:10(148) option ... model; #Sets set N0; set N; #set machine; set T; set T1; #Parameters param D{i in N}; param c{i in N0,j in N0}; param u{i in N,t in T}; param p{i in N}; param e= 0; param l= 720; param M = 100000; #Variables var X{i in N0,j in N0,t in T} binary; var q{i in N0,j in N0, t in T} >= 0; var d {i in N0,t in T}>=0; var I1 {i in N,t in T} >= 0; var I2 {i in N,t in T} >= 0; var B{t in T}>= 0; var S{i in N0,t in T} >= 0; minimize cost:sum{i in N0,j in N0,t in T}(1.883*c[i,j]*X[i,j,t]) + sum{i in N,t in T}(106.9*X[0,i,t]) + sum{i in N,t in T}(21*0.13*I1[i,t]/365+p[i]*I2[i,t]); subject to c1 {t in T}: B[t] = sum{i in N} d[i, t]; c2 {i in N}: sum{t in T} d[i, t] <= D[i]; c3 {j in N, t in T}: q[0,j,t] <= 2509; c4 {t in T}: sum{j in N} q[0,j,t] - sum{j in N} q[j,0,t] = B[t]; c5 {i in N, t in T}: sum{j in N0} q[i,j,t] - sum{j in N0} q[j,i,t] = -1 * d[i, t]; c6 {i in N0, j in N0, t in T}: q[i,j,t] <= M* X[i,j,t]; c7 {j in N, t in T}: sum{i in N0} X[i,j,t] = sum{i in N0} X[j,i,t]; c8 {i in N, t in T}: sum{j in N0} X[i,j,t]<=1; c9 {i in N}: I1[i,1] - I2[i,1] = d[i,1] - u[i,1]; c10 {i in N, t in T1}: I1[i,t] - I2[i,t] = I1[i,t-1] + d[i,t] - u[i,t]; c11 {i in N, t in T}: e <= S[i,t]; c12 {i in N, t in T}: S[i,t] <= l ; c13 {t in T}: S[0,t]=0; c15 {i in N0, j in N, t in T}: S[i,t] + (X[i,j,t]*c[i,j]*60/40) - S[j,t]<= (1-X[i,j,t])*M; c16 {i in N0, j in N, t in T}: S[i,t] + (X[i,j,t]*c[i,j]*60/40) - S[j,t]>= (X[i,j,t]-1)*M; data Datafull.txt; data; set N0:= 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58; set N:= 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58; #set machine:= 1; set T:= 1 2 3 4 5 6 7; set T1:= 2 3 4 5 6 7; param u: 1 2 3 4 5 6 7:= 1 840.2244571 773.9309087 783.232247 775.1500653 799.7821059 1243.855105 2240.181 2 696.5159989 714.708357 773.0490705 809.1562858 899.7892003 1336.07508 2189.524768 3 295.1764326 324.3176206 307.5195487 415.6128758 372.422878 550.1101018 749.9499987 4 435.124515 295.2861691 410.4740954 407.5254428 578.5620266 530.085564 908.1760868 5 175.8677108 210.0200401 272.6856796 317.8702755 255.10527 341.0435013 522.8749626 6 271.6555186 221.0612919 250.7986315 253.4274013 331.5148235 438.3235469 673.8740192 7 578.6994609 332.0572766 359.7043832 368.6342051 469.1817357 626.3051224 1040.295744 8 531.6491094 350.0912639 365.1152108 483.832865 534.7851634 839.3074269 1306.737503 9 155.8975771 177.5242226 131.9581866 163.1935177 216.9661687 251.9236512 432.470532 10 691.3212467 582.6505139 612.5984566 655.4127736 707.4273728 1077.743488 1726.734416 11 480.5238984 330.0556811 430.6631554 475.5266624 536.3518564 793.8800257 1242.058505 12 860.9787523 744.2508992 869.0807306 934.808695 904.1454138 1317.49825 2244.740346 13 332.3212855 313.099562 349.9515954 330.5334795 345.5966387 514.358095 840.9671488 14 478.6610432 339.1078103 408.6175059 493.1483467 507.2926789 635.4409478 1120.842871 15 426.9372483 318.7701441 361.1974628 417.5374122 513.8295918 491.8754075 1062.490334 16 915.5977599 828.2303954 823.0376261 875.3073793 904.140604 1186.651804 1961.969279 17 786.1927113 665.9484466 499.9490068 570.5512692 694.718359 741.125334 1323.294038 18 298.1908102 232.5856458 311.060263 335.9225817 300.8444678 506.1521434 787.1489439 19 278.8403215 230.5673418 239.5088415 263.889737 335.7703601 508.030784 744.9591316 20 714.8107176 670.5905356 436.2077749 336.1610927 520.9325826 621.2952783 1240.869317 21 1985.802459 1644.806512 915.7327312 1086.95002 1251.42614 1677.132265 2809.54815 22 262.8566789 245.8121639 315.8014969 331.0610788 358.4251346 454.511532 628.1052529 23 1087.694874 993.0227273 624.4223471 632.6003518 836.5493816 974.5424151 1471.366397 24 539.7460981 530.8721637 574.0443685 646.6606335 808.7177379 1099.626296 1445.210101 25 176.4378228 292.7918241 286.4321702 240.3997774 311.2835395 340.9798966 561.9800556 26 214.0425155 190.9022359 271.9829014 307.9168434 372.5035023 371.6671621 551.6683516 27 749.5249658 644.3892673 695.0145282 819.9783176 946.8724042 1035.270541 1634.15013 28 350.7246311 368.2541121 446.7737105 323.8693407 420.2814625 448.8761734 890.5411089 29 416.4146101 330.8759004 420.5548457 388.5118543 426.8623016 516.8781479 874.8376522 30 426.186109 330.770605 356.5481509 350.8399361 447.8654671 438.9804821 639.3518514 31 293.2201475 334.2381687 453.1697895 359.2755568 534.4813612 702.2404334 968.819845 32 1025.426914 835.7584663 1070.188834 1137.905842 1413.85152 1998.093499 3298.050807 33 673.4681903 720.1581385 816.9167984 943.2743168 946.3768339 1142.829611 2003.691414 34 162.1176471 138.1110689 259.0633998 200.0246774 207.5428634 329.3484989 337.0028017 35 243.0066495 292.1243552 331.4319295 352.9978031 397.4061927 616.5672225 933.7 36 881.3236727 880.2137648 1065.489567 1164.698599 1391.375422 1735.084771 2598.262373 37 329.0140168 336.0619086 474.0587011 497.8455395 499.7378944 645.0334377 1032.725671 38 256.767436 384.7665488 483.7714661 445.5298948 484.282412 606.2771108 875.9794835 39 756.0423929 719.2273529 847.8479608 872.2266182 1007.60206 1339.503683 2069.171824 40 446.6551733 554.2784052 516.2096186 570.2596091 646.3344256 762.9625411 1350.89851 41 413.7347578 457.6049664 712.5319887 493.4021531 753.2144097 1016.094938 1447.798416 42 477.6633629 552.9908171 785.3070127 672.9749577 895.7770278 1117.98279 1489.891629 43 643.9532368 646.2303065 599.1511496 661.6567919 708.6328907 955.7183881 1581.758952 44 673.5397391 535.089148 639.8585166 528.8398185 925.6820187 1021.880981 1471.664843 45 720.912389 637.2090136 777.6553588 852.3072676 889.447461 1140.304665 1967.184838 46 890.1543006 773.9373764 1042.02062 977.9768525 975.0984697 1502.97332 1695.331107 47 183.531911 184.2790669 156.543101 136.8744395 172.5132182 244.8401754 414.7899994 48 858.7585774 727.0336894 774.1062532 828.514576 963.6914984 1304.564848 2093.809922 49 396.4505827 248.9197146 326.9587721 283.1734683 387.7214942 460.5324197 821.7890027 50 320.55017 284.086607 360.5847548 351.2146586 447.2786095 515.112977 771.0471802 51 237.1505707 240.082319 267.1337642 220.1504693 335.3006011 391.7550861 626.4771587 52 378.7158966 501.6616824 617.3415197 422.7726777 713.1471082 973.0769231 1383.341517 53 182.765716 213.3283962 269.7985813 291.3739568 342.6865486 473.1015698 624.5831063 54 225.5086178 274.5965271 276.6405254 220.750049 311.8036297 285.4185146 592.5521286 55 1045.389822 985.9942962 1067.224233 1247.41257 1345.27315 1833.336356 2658.956903 56 194.9455777 179.1420847 219.1195046 191.2840452 229.6488435 293.9398045 476.784503 57 774.6634116 570.0091198 694.2868947 957.0019274 799.2573539 1120.620809 1928.61995 58 267.5753425 285.2405004 338.4088204 300.9178635 414.1455611 549.5291287 661.9471908; param c: 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58:= 0 0 8.1 16.56 16.3 45.37 27.93 22.59 45.18 77.99 17.81 32.68 33.78 53.17 35.74 39.01 282.1 278.13 276.9 288.81 456.6 542 541.93 557.67 108.04 145.47 144.34 212.27 203.04 195.21 213.9 324.45 415.31 362.25 418.18 116.92 318.48 173.31 248.16 334.66 354.39 174.29 142.77 410.32 262.05 279 281.95 289.48 300.88 307.24 270.11 194.03 335.33 310.88 332.22 288.15 223.02 214.69 202.73 158.25 1 8.1 0 19.39 19.83 39.04 29.79 20.3 37.95 77.37 10.97 24.94 26.97 49.38 31.3 36.38 280.56 276.89 275.23 287.42 455.38 539.01 538.41 553.92 103.85 142.06 142 209.68 200.27 192.81 212.03 320.1 411.52 370.33 426.15 124.77 326.18 179.45 252.66 340.91 360.54 166.79 134.82 406.99 255.33 272.33 275.24 283.04 294.14 300.39 263.07 187.93 328.96 303.1 324.43 293.15 227.63 219.28 205.98 165.05 2 16.56 19.39 0 1.7 57.94 44.22 38.64 55.79 94.55 20.53 34.81 45.63 68.63 50.65 55.07 266.54 262.38 261.45 273.14 440.78 527.7 528.25 544.31 96.12 132.1 129.68 197.71 188.71 180.48 198.67 312.09 402.05 361.19 413.32 120.02 311.59 161.11 233.28 322.62 342.12 182.96 148.81 396.45 255.32 272.07 275.12 281.8 294.15 300.84 264.5 185.63 327.38 308.97 330.38 300.03 235.64 227.37 217.18 166.14 3 16.3 19.83 1.7 0 58.63 43.67 38.64 56.7 94.21 21.76 36.25 46.37 68.84 50.96 55.1 267.46 263.24 262.39 274.03 441.61 528.85 529.49 545.58 97.58 133.4 130.8 198.84 189.88 181.59 199.67 313.48 403.34 359.55 411.82 118.32 310.2 160.2 232.84 321.71 341.24 184.15 150.19 397.67 256.99 273.73 276.79 283.45 295.82 302.52 266.19 187.26 329.02 310.66 332.06 298.64 234.33 226.06 216.09 164.54 4 45.37 39.04 57.94 58.63 0 39.72 27.63 8.46 57.95 39.5 34.86 12.38 21.11 14.75 22.76 302.98 300.46 297.18 310.4 478.24 554.02 550.89 565.14 118.72 158.85 163.34 228.62 218.52 212.81 233.84 329.27 423.07 398.99 459.78 150.28 362.12 218.46 290.77 379.9 399.56 130.64 103.25 420.88 249.08 266.31 268.89 278.81 287.26 292.55 253.8 187.91 324.87 284.57 305.52 293.55 226.61 218.27 197.9 179.71 5 27.93 29.79 44.22 43.67 39.72 0 14.81 44.65 51.1 39.9 49.73 34.19 35.19 25.03 20.39 309.86 305.99 304.62 316.63 484.47 568.8 568.12 583.54 133.4 171.83 171.66 239.43 230.04 222.51 241.52 349.41 441.14 359.36 421.57 110.58 325.84 191.16 270.63 351.25 371.35 168.66 142.94 436.75 280.37 297.5 300.29 308.91 319.02 324.89 286.86 214.9 354.97 322.05 343.16 264.94 198.95 190.57 176.26 142.36 6 22.59 20.3 38.64 38.64 27.63 14.81 0 31.05 57.15 28.25 35.7 19.88 30.74 14.49 16.46 300.13 296.64 294.72 307.09 475.11 557.17 555.9 571.06 121.04 160.09 161.12 228.47 218.87 211.79 231.42 336.43 428.67 371.93 432.15 123.61 334.78 194.46 270.62 355.48 375.36 158.2 130.37 424.79 265.68 282.82 285.6 294.33 304.3 310.14 272.07 200.61 340.4 307.5 328.64 279.04 212.81 204.43 188.76 157.09 7 45.18 37.95 55.79 56.7 8.46 44.65 31.05 0 66.41 36.07 28.62 11.77 29.56 20.8 29.92 295.31 292.92 289.46 302.78 470.54 545.71 542.49 556.71 110.7 150.84 155.74 220.68 210.54 204.98 226.16 320.82 414.66 402.94 462.14 154.65 363.42 216.89 287.26 378.4 397.91 129.2 99.5 412.54 241.06 258.29 260.9 270.68 279.31 284.69 246.04 179.53 316.75 278 299.03 301.61 234.72 226.36 206.3 186.13 8 77.99 77.37 94.55 94.21 57.95 51.1 57.15 66.41 0 84.97 88.33 64.15 36.87 51.07 42.39 356.7 353.44 351.17 363.78 531.84 611.11 608.51 622.93 174.9 214.73 217.26 283.97 274.12 267.62 287.78 387.16 480.78 376.51 448.13 132.12 359.05 237.69 320.25 395.45 415.84 152.79 140.03 478.17 304.47 321.69 324.12 334.81 342.14 346.96 307.78 245.41 380.73 331.58 351.92 239.31 172.25 164.03 140.68 142.1 9 17.81 10.97 20.53 21.76 39.5 39.9 28.25 36.07 84.97 0 15.43 27.19 53.89 35.76 42.82 271.93 268.53 266.49 278.93 446.97 529.2 528.28 543.65 93.5 132.12 132.86 200.26 190.71 183.55 203.18 309.56 401.24 378.86 432.91 134.5 331.79 181.26 251.4 342.74 362.16 162.42 128.6 396.99 244.47 261.45 264.37 272.1 283.29 289.58 252.36 176.96 318.01 293.28 314.63 304 238.38 230.02 216.13 175.86 10 32.68 24.94 34.81 36.25 34.86 49.73 35.7 28.62 88.33 15.43 0 24.65 53.6 37.27 46.33 269.12 266.31 263.44 276.4 444.39 523.07 521.15 536.05 86.68 126.41 129.44 195.69 185.8 179.48 200.03 301.06 393.7 394.29 447.99 149.61 346.38 193.37 260.27 354.61 373.81 149.17 114.07 390.35 231.33 248.4 251.26 259.49 270.08 276.18 238.6 165.18 305.51 278.2 299.54 314.63 248.48 240.1 224.07 189.46 11 33.78 26.97 45.63 46.37 12.38 34.19 19.88 11.77 64.15 27.19 24.65 0 28.96 13.59 23.31 293.77 290.95 288.08 301.05 469.04 546.97 544.56 559.18 110.79 150.71 154.08 220.17 210.23 204.05 224.68 323.71 416.92 391.42 450.36 143.36 351.74 206.39 278.39 367.87 387.48 140.85 111.18 414.06 248.1 265.3 268 277.25 286.57 292.19 253.83 184.74 323.35 287.86 308.97 295.18 228.52 220.14 201.91 176.44 12 53.17 49.38 68.63 68.84 21.11 35.19 30.74 29.56 36.87 53.89 53.6 28.96 0 18.24 15.22 322.7 319.91 317 330 497.98 574.93 571.95 586.23 139.22 179.28 183.01 248.89 238.88 232.87 253.6 350.37 444.15 390.79 455.59 142.04 360.82 224.77 301.32 385.49 405.46 135.45 113.92 441.84 268.84 286.08 288.59 298.87 306.81 311.89 272.92 208.69 344.87 300.71 321.43 273.94 206.9 198.59 177.16 165.32 13 35.74 31.3 50.65 50.96 14.75 25.03 14.49 20.8 51.07 35.76 37.27 13.59 18.24 0 9.76 306.01 302.97 300.4 313.19 481.23 560.21 557.98 572.66 123.88 163.67 166.41 232.92 223.06 216.64 236.99 337.25 430.38 384.38 445.88 135.6 349.02 208.65 283.74 369.78 389.62 144.31 117.91 427.38 261.07 278.28 280.94 290.4 299.45 304.96 266.44 198.21 336.49 298.75 319.75 281.91 215.17 206.8 188.32 165.4 14 39.01 36.38 55.07 55.1 22.76 20.39 16.46 29.92 42.39 42.82 46.33 23.31 15.22 9.76 0 314.31 311.1 308.77 321.41 489.47 569.4 567.37 582.13 133 172.65 174.87 241.69 231.9 225.28 245.39 346.83 439.83 378.55 441.79 129.62 346.23 209.63 286.82 370.28 390.27 148.59 124.36 436.66 270.69 287.91 290.55 300.08 309.03 314.49 275.9 207.97 346.18 307.32 328.26 272.2 205.44 197.07 178.63 157.02 15 282.1 280.56 266.54 267.46 302.98 309.86 300.13 295.31 356.7 271.93 269.12 293.77 322.7 306.01 314.31 0 10.99 7.01 8.77 175.28 269.24 277.5 297.3 185.6 146.03 139.7 77.5 88.17 90.97 69.15 119.29 165.82 511.96 509.8 350.03 401 246.95 204.22 320.25 328.1 355.69 313.46 149.53 208.17 210.83 213.82 202.03 223.83 232.84 229.19 175.4 219.45 307.62 322.11 555.87 495.83 487.9 482.71 410.1 16 278.13 276.89 262.38 263.24 300.46 305.99 296.64 292.92 353.44 268.53 266.31 290.95 319.91 302.97 311.1 10.99 0 14.88 11.69 178.5 276.9 286.13 306.23 184.01 144.98 137.19 78.25 88.82 90.11 67.36 130.04 176.05 501.98 499.08 343.12 390.42 237.52 193.38 309.26 317.12 357.14 314.59 159.17 215.44 218.74 221.8 210.46 232.33 241.41 236.5 179.56 229.1 314.99 329.87 549.6 490.1 482.23 477.87 403.44 17 276.9 275.23 261.45 262.39 297.18 304.62 294.72 289.46 351.17 266.49 263.44 288.08 317 300.4 308.77 7.01 14.88 0 15.78 181.08 272.52 279.91 299.41 179.53 139.83 134 70.94 81.61 84.81 63.41 115.74 166.3 511.39 510.68 346.48 401.52 245.73 205.61 322.59 330.81 348.86 306.68 150.94 201.63 204.53 207.55 195.96 217.8 226.86 222.67 168.4 214.23 301.13 315.76 551.85 491.49 483.53 477.89 406.36 18 288.81 287.42 273.14 274.03 310.4 316.63 307.09 302.78 363.78 278.93 276.4 301.05 330 313.19 321.41 8.77 11.69 15.78 0 168.06 265.21 274.55 294.73 193.36 153.96 147.06 85.86 96.52 98.91 76.7 124.01 165.48 512.96 508.99 354.74 400.66 248.89 202.96 317.67 325.02 364.29 322 148.06 216.33 218.72 221.67 209.62 231.37 240.34 237.34 184.17 226.02 315.73 330.04 561.11 501.46 493.57 488.93 415.02 19 456.6 455.38 440.78 441.61 478.24 484.47 475.11 470.54 531.84 446.97 444.39 469.04 497.98 481.23 489.47 175.28 178.5 181.08 168.06 0 140.93 169.53 193.28 360.49 320.59 314.97 250.9 261.41 265.75 244.41 206.87 151.07 638.57 611.87 514.84 513.64 391.85 319.21 405.05 404.09 522.32 481.74 126.33 339.44 334.32 336.08 319.52 337.4 344.24 358.11 333.63 312.07 429.71 437.9 723.12 665.65 657.95 655.44 575.85 20 542 539.01 527.7 528.85 554.02 568.8 557.17 545.71 611.11 529.2 523.07 546.97 574.93 560.21 569.4 269.24 276.9 272.52 265.21 140.93 0 37.78 58.26 436.4 397.09 398.08 330.05 339 347.44 331.22 231.71 136.89 768.04 748.21 618.96 646.74 510.91 448.55 542.79 543.02 567.44 532.12 133.49 358.06 346.81 347.16 329.67 340.66 344.35 371.53 380.59 303.17 427.3 428.66 823.31 761.65 753.55 744.73 678.63 21 541.93 538.41 528.25 529.49 550.89 568.12 555.9 542.49 608.51 528.28 521.15 544.56 571.95 557.98 567.37 277.5 286.13 279.91 274.55 169.53 37.78 0 23.76 434.87 396.46 399.37 331.86 340.1 349.49 335.22 223.29 128.01 783.76 768.45 624.45 664.97 522.95 465.72 564.74 566.1 555.63 522.08 132.07 342.81 330.32 330.31 313.07 322.06 324.88 354.67 372.12 282.68 405.64 405.43 826.32 763.47 755.27 744.39 683.26 22 557.67 553.92 544.31 545.58 565.14 583.54 571.06 556.71 622.93 543.65 536.05 559.18 586.23 572.66 582.13 297.3 306.23 299.41 294.73 193.28 58.26 23.76 0 450.15 412.27 416.04 348.97 356.88 366.64 353.23 236.22 142.4 805.27 791.11 642.5 687.2 543.5 487.81 587.8 589.36 565.07 532.64 149.74 350.78 337.52 337.27 320.3 327.84 330.03 361.49 384.04 287.35 408.73 407.28 843.15 779.82 771.59 759.75 700.9 23 108.04 103.85 96.12 97.58 118.72 133.4 121.04 110.7 174.9 93.5 86.68 110.79 139.22 123.88 133 185.6 184.01 179.53 193.36 360.49 436.4 434.87 450.15 0 40.15 48.33 110.04 99.85 94.74 116.71 216.4 307.75 434.44 470.45 209.79 361.57 190.13 226.86 339.22 356.02 185.74 142.34 303.8 168.61 184.31 187.64 191.66 206.63 214.29 181.57 95.57 236.02 240.08 261.09 395.95 331.05 322.73 309.61 260.99 24 145.47 142.06 132.1 133.4 158.85 171.83 160.09 150.84 214.73 132.12 126.41 150.71 179.28 163.67 172.65 146.03 144.98 139.83 153.96 320.59 397.09 396.46 412.27 40.15 0 20.34 69.92 59.7 55.06 77.67 180.72 269.97 451.43 479.09 239.04 368.5 194.9 214.39 332.35 347.64 217.23 173.82 264.94 154.68 168.44 171.97 172.5 190.23 198.73 171.04 83.24 214.09 238.53 258.6 431.79 367.73 359.46 348.02 293.41 25 144.34 142 129.68 130.8 163.34 171.66 161.12 155.74 217.26 132.86 129.44 154.08 183.01 166.41 174.87 139.7 137.19 134 147.06 314.97 398.08 399.37 416.04 48.33 20.34 0 68.04 59.28 50.87 70.59 188.38 274.31 435.65 460.86 229.91 350.02 176.47 194.07 312.08 327.32 232.26 188.75 267.36 173.4 186.62 190.18 189.75 208.15 216.82 190.31 102.93 230.11 258.67 278.64 427.12 364.13 355.95 346.84 286.13 26 212.27 209.68 197.71 198.84 228.62 239.43 228.47 220.68 283.97 200.26 195.69 220.17 248.89 232.92 241.69 77.5 78.25 70.94 85.86 250.9 330.05 331.86 348.97 110.04 69.92 68.04 0 10.67 17.67 19.43 127.73 207.99 484.73 498.37 294.36 387.13 218.18 206.6 328.49 340.57 278.9 236.36 199.79 157.45 165.52 168.99 162.4 183.74 193.06 177.82 106.48 193.93 254.73 272.09 494.46 431.91 423.76 414.86 352.06 27 203.04 200.27 188.71 189.88 218.52 230.04 218.87 210.54 274.12 190.71 185.8 210.23 238.88 223.06 231.9 88.17 88.82 81.61 96.52 261.41 339 340.1 356.88 99.85 59.7 59.28 10.67 0 12.43 26.63 132.53 215.4 481.75 497.63 287.42 386.31 216.02 209.11 330.95 343.54 268.37 225.78 208.08 152.32 161.29 164.81 159.23 180.23 189.51 172.36 98.05 192.69 248.53 266.3 486.31 423.42 415.24 405.74 344.61 28 195.21 192.81 180.48 181.59 212.81 222.51 211.79 204.98 267.62 183.55 179.48 204.05 232.87 216.64 225.28 90.97 90.11 84.81 98.91 265.75 347.44 349.49 366.64 94.74 55.06 50.87 17.67 12.43 0 23.33 144.32 225.64 469.39 485.27 276.75 373.95 203.59 197.86 319.61 332.47 268.67 225.68 217.42 162.48 172.05 175.59 170.58 191.37 200.61 182.22 104.85 204.74 257.61 275.75 476.84 414.39 406.25 397.66 334.4 29 213.9 212.03 198.67 199.67 233.84 241.52 231.42 226.16 287.78 203.18 200.03 224.68 253.6 236.99 245.39 69.15 67.36 63.41 76.7 244.41 331.22 335.22 353.23 116.71 77.67 70.59 19.43 26.63 23.33 0 139.46 213.96 472.08 482.84 289.29 371.77 204.84 188.41 310.22 321.98 291.99 249.01 203.51 176.87 184.83 188.3 181.42 202.86 212.18 197.25 124.68 211.89 274.1 291.5 492.1 430.63 422.57 415.57 348.08 30 324.45 320.1 312.09 313.48 329.27 349.41 336.43 320.82 387.16 309.56 301.06 323.71 350.37 337.25 346.83 119.29 130.04 115.74 124.01 206.87 231.71 223.29 236.22 216.4 180.72 188.38 127.73 132.53 144.32 139.46 0 95.61 611.53 619.93 418.28 509.37 344.29 318.29 437.31 446.16 336.11 300.4 100.65 134.36 127.76 129.37 112.66 130.81 138.04 151.97 149.15 110.85 222.99 232.08 612.12 547.45 539.13 525.12 473.9 31 415.31 411.52 402.05 403.34 423.07 441.14 428.67 414.66 480.78 401.24 393.7 416.92 444.15 430.38 439.83 165.82 176.05 166.3 165.48 151.07 136.89 128.01 142.4 307.75 269.97 274.31 207.99 215.4 225.64 213.96 95.61 0 677.67 673.9 502.3 566.06 411.77 367.62 478.36 483.51 430.6 395.69 26.43 222.06 211.73 212.38 194.82 207.82 212.6 236.58 244.75 173.99 297.79 302 701.27 637.64 629.39 617.35 559.97 32 362.25 370.33 361.19 359.55 398.99 359.36 371.93 402.94 376.51 378.86 394.29 391.42 390.79 384.38 378.55 511.96 501.98 511.39 512.96 638.57 768.04 783.76 805.27 434.44 451.43 435.65 484.73 481.75 469.39 472.08 611.53 677.67 0 105.47 248.93 131.21 267.4 319.9 254.66 266.79 526 502.22 661.01 602.72 617.91 621.34 623.53 640.13 648.14 615.97 529.4 665.48 668.75 690.17 281.04 290.29 291.18 330.39 240.4 33 418.18 426.15 413.32 411.82 459.78 421.57 432.15 462.14 448.13 432.91 447.99 450.36 455.59 445.88 441.79 509.8 499.08 510.68 508.99 611.87 748.21 768.45 791.11 470.45 479.09 460.86 498.37 497.63 485.27 482.84 619.93 673.9 105.47 0 316.07 111.34 284.4 306.27 207.62 212.3 590.17 560.95 654.2 633.74 647.42 650.97 650.35 669 677.66 649.45 561.32 688.81 710.31 731.43 384.41 387.38 387.2 424.2 323.61 34 116.92 124.77 120.02 118.32 150.28 110.58 123.61 154.65 132.12 134.5 149.61 143.36 142.04 135.6 129.62 350.03 343.12 346.48 354.74 514.84 618.96 624.45 642.5 209.79 239.04 229.91 294.36 287.42 276.75 289.29 418.28 502.3 248.93 316.07 0 229.07 145.38 238.58 283.1 303.83 277.47 253.52 492.8 374.62 391.17 394.31 400.15 413.38 420.3 384.37 303.59 445.23 427.78 449.13 208.58 156.02 149.34 161.54 61.1 35 318.48 326.18 311.59 310.2 362.12 325.84 334.78 363.42 359.05 331.79 346.38 351.74 360.82 349.02 346.23 401 390.42 401.52 400.66 513.64 646.74 664.97 687.2 361.57 368.5 350.02 387.13 386.31 373.95 371.77 509.37 566.06 131.21 111.34 229.07 0 173.6 199.56 123.72 137.11 492.59 460.38 547.23 523.18 536.63 540.19 539.3 558.12 566.83 539.23 451.09 577.52 601.65 622.63 351.45 335.54 333.11 363.96 253.26 36 173.31 179.45 161.11 160.2 218.46 191.16 194.46 216.89 237.69 181.26 193.37 206.39 224.77 208.65 209.63 246.95 237.52 245.73 248.89 391.85 510.91 522.95 543.5 190.13 194.9 176.47 218.18 216.02 203.59 204.84 344.29 411.77 267.4 284.4 145.38 173.6 0 93.28 161.51 181.1 342.27 304.69 396.47 349.58 363.07 366.63 366 384.62 393.29 365.73 277.62 405.03 429.6 450.38 346.49 300.09 293.85 306.49 202.65 37 248.16 252.66 233.28 232.84 290.77 270.63 270.62 287.26 320.25 251.4 260.27 278.39 301.32 283.74 286.82 204.22 193.38 205.61 202.96 319.21 448.55 465.72 487.81 226.86 214.39 194.07 206.6 209.11 197.86 188.41 318.29 367.62 319.9 306.27 238.58 199.56 93.28 0 121.89 134.77 402.93 361.65 348.1 359.49 369.79 373.35 368.33 389.23 398.48 378.54 294.63 400.3 451.04 470.34 438.41 393.31 387.12 399.34 295.77 38 334.66 340.91 322.62 321.71 379.9 351.25 355.48 378.4 395.45 342.74 354.61 367.87 385.49 369.78 370.28 320.25 309.26 322.59 317.67 405.05 542.79 564.74 587.8 339.22 332.35 312.08 328.49 330.95 319.61 310.22 437.31 478.36 254.66 207.62 283.1 123.72 161.51 121.89 0 20.74 503.07 464.45 456.69 480.67 491.33 494.9 490.15 510.97 520.19 499.4 414.23 522.1 570.57 590.26 450.21 420.84 416.55 439.58 326.96 39 354.39 360.54 342.12 341.24 399.56 371.35 375.36 397.91 415.84 362.16 373.81 387.48 405.46 389.62 390.27 328.1 317.12 330.81 325.02 404.09 543.02 566.1 589.36 356.02 347.64 327.32 340.57 343.54 332.47 321.98 446.16 483.51 266.79 212.3 303.83 137.11 181.1 134.77 20.74 0 521.97 483 461.21 494.26 504.48 508.03 502.73 523.76 533.03 513.28 428.9 533.56 585.34 604.81 469.59 441.04 436.83 460.14 347.45 40 174.29 166.79 182.96 184.15 130.64 168.66 158.2 129.2 152.79 162.42 149.17 140.85 135.45 144.31 148.59 355.69 357.14 348.86 364.29 522.32 567.44 555.63 565.07 185.74 217.23 232.26 278.9 268.37 268.67 291.99 336.11 430.6 526 590.17 277.47 492.59 342.27 402.93 503.07 521.97 0 43.51 436.44 215.64 230.62 231.66 247.29 245.44 246.72 209.01 190.06 287.96 202.3 219.8 375.7 311.17 303.7 269.94 294.89 41 142.77 134.82 148.81 150.19 103.25 142.94 130.37 99.5 140.03 128.6 114.07 111.18 113.92 117.91 124.36 313.46 314.59 306.68 322 481.74 532.12 522.08 532.64 142.34 173.82 188.75 236.36 225.78 225.68 249.01 300.4 395.69 502.22 560.95 253.52 460.38 304.69 361.65 464.45 483 43.51 0 399.97 187.63 203.79 205.36 219.61 221.04 223.74 184.58 152.07 262.85 193.85 213.52 375.1 308.76 300.84 271.22 278.95 42 410.32 406.99 396.45 397.67 420.88 436.75 424.79 412.54 478.17 396.99 390.35 414.06 441.84 427.38 436.66 149.53 159.17 150.94 148.06 126.33 133.49 132.07 149.74 303.8 264.94 267.36 199.79 208.08 217.42 203.51 100.65 26.43 661.01 654.2 492.8 547.23 396.47 348.1 456.69 461.21 436.44 399.97 0 232.94 224.13 225.16 207.72 222.55 228.1 248.93 248.01 191.62 313.93 319.53 694.26 631.49 623.31 612.96 551.36 43 262.05 255.33 255.32 256.99 249.08 280.37 265.68 241.06 304.47 244.47 231.33 248.1 268.84 261.07 270.69 208.17 215.44 201.63 216.33 339.44 358.06 342.81 350.78 168.61 154.68 173.4 157.45 152.32 162.48 176.87 134.36 222.06 602.72 633.74 374.62 523.18 349.58 359.49 480.67 494.26 215.64 187.63 232.94 0 17.23 19.93 31.98 38.85 45.8 21.06 73.34 76.57 99.55 115.26 542.62 475.66 467.32 444.84 420.3 44 279 272.33 272.07 273.73 266.31 297.5 282.82 258.29 321.69 261.45 248.4 265.3 286.08 278.28 287.91 210.83 218.74 204.53 218.72 334.32 346.81 330.32 337.52 184.31 168.44 186.62 165.52 161.29 172.05 184.83 127.76 211.73 617.91 647.42 391.17 536.63 363.07 369.79 491.33 504.48 230.62 203.79 224.13 17.23 0 3.58 17.25 22.33 30.33 24.86 88.75 59.58 98.16 111.34 559.85 492.89 484.55 462.03 437.25 45 281.95 275.24 275.12 276.79 268.89 300.29 285.6 260.9 324.12 264.37 251.26 268 288.59 280.94 290.55 213.82 221.8 207.55 221.67 336.08 347.16 330.31 337.27 187.64 171.97 190.18 168.99 164.81 175.59 188.3 129.37 212.38 621.34 650.97 394.31 540.19 366.63 373.35 494.9 508.03 231.66 205.36 225.16 19.93 3.58 0 17.56 19.08 26.84 24.4 92.1 57.64 95.68 108.46 562.42 495.44 487.11 464.4 440.19 46 289.48 283.04 281.8 283.45 278.81 308.91 294.33 270.68 334.81 272.1 259.49 277.25 298.87 290.4 300.08 202.03 210.46 195.96 209.62 319.52 329.67 313.07 320.3 191.66 172.5 189.75 162.4 159.23 170.58 181.42 112.66 194.82 623.53 650.35 400.15 539.3 366 368.33 490.15 502.73 247.29 219.61 207.72 31.98 17.25 17.56 0 21.94 31.19 41.87 96.57 46.1 110.91 122.07 572.26 505.39 497.04 475.37 447.57 47 300.88 294.14 294.15 295.82 287.26 319.02 304.3 279.31 342.14 283.29 270.08 286.57 306.81 299.45 309.03 223.83 232.33 217.8 231.37 337.4 340.66 322.06 327.84 206.63 190.23 208.15 183.74 180.23 191.37 202.86 130.81 207.82 640.13 669 413.38 558.12 384.62 389.23 510.97 523.76 245.44 221.04 222.55 38.85 22.33 19.08 21.94 0 9.34 36.57 111.06 42.56 92.33 101.73 580.72 513.7 505.38 482.22 459.13 48 307.24 300.39 300.84 302.52 292.55 324.89 310.14 284.69 346.96 289.58 276.18 292.19 311.89 304.96 314.49 232.84 241.41 226.86 240.34 344.24 344.35 324.88 330.03 214.29 198.73 216.82 193.06 189.51 200.61 212.18 138.04 212.6 648.14 677.66 420.3 566.83 393.29 398.48 520.19 533.03 246.72 223.74 228.1 45.8 30.33 26.84 31.19 9.34 0 39.5 118.82 42.94 85.95 94.06 585.83 518.78 510.47 486.76 465.44 49 270.11 263.07 264.5 266.19 253.8 286.86 272.07 246.04 307.78 252.36 238.6 253.83 272.92 266.44 275.9 229.19 236.5 222.67 237.34 358.11 371.53 354.67 361.49 181.57 171.04 190.31 177.82 172.36 182.22 197.25 151.97 236.58 615.97 649.45 384.37 539.23 365.73 378.54 499.4 513.28 209.01 184.58 248.93 21.06 24.86 24.4 41.87 36.57 39.5 0 88.14 78.96 78.49 94.44 546.81 479.74 471.45 447.39 428.06 50 194.03 187.93 185.63 187.26 187.91 214.9 200.61 179.53 245.41 176.96 165.18 184.74 208.69 198.21 207.97 175.4 179.56 168.4 184.17 333.63 380.59 372.12 384.04 95.57 83.24 102.93 106.48 98.05 104.85 124.68 149.15 244.75 529.4 561.32 303.59 451.09 277.62 294.63 414.23 428.9 190.06 152.07 248.01 73.34 88.75 92.1 96.57 111.06 118.82 88.14 0 141.8 156.45 176.03 479.6 413.15 404.77 385.81 351.67 51 335.33 328.96 327.38 329.02 324.87 354.97 340.4 316.75 380.73 318.01 305.51 323.35 344.87 336.49 346.18 219.45 229.1 214.23 226.02 312.07 303.17 282.68 287.35 236.02 214.09 230.11 193.93 192.69 204.74 211.89 110.85 173.99 665.48 688.81 445.23 577.52 405.03 400.3 522.1 533.56 287.96 262.85 191.62 76.57 59.58 57.64 46.1 42.56 42.94 78.96 141.8 0 124.37 128.07 618.34 551.47 543.11 521.22 493.31 52 310.88 303.1 308.97 310.66 284.57 322.05 307.5 278 331.58 293.28 278.2 287.86 300.71 298.75 307.32 307.62 314.99 301.13 315.73 429.71 427.3 405.64 408.73 240.08 238.53 258.67 254.73 248.53 257.61 274.1 222.99 297.79 668.75 710.31 427.78 601.65 429.6 451.04 570.57 585.34 202.3 193.85 313.93 99.55 98.16 95.68 110.91 92.33 85.95 78.49 156.45 124.37 0 21.43 568.84 502.31 494.31 465.04 464.13 53 332.22 324.43 330.38 332.06 305.52 343.16 328.64 299.03 351.92 314.63 299.54 308.97 321.43 319.75 328.26 322.11 329.87 315.76 330.04 437.9 428.66 405.43 407.28 261.09 258.6 278.64 272.09 266.3 275.75 291.5 232.08 302 690.17 731.43 449.13 622.63 450.38 470.34 590.26 604.81 219.8 213.52 319.53 115.26 111.34 108.46 122.07 101.73 94.06 94.44 176.03 128.07 21.43 0 588.62 522.23 514.26 484.48 485.15 54 288.15 293.15 300.03 298.64 293.55 264.94 279.04 301.61 239.31 304 314.63 295.18 273.94 281.91 272.2 555.87 549.6 551.85 561.11 723.12 823.31 826.32 843.15 395.95 431.79 427.12 494.46 486.31 476.84 492.1 612.12 701.27 281.04 384.41 208.58 351.45 346.49 438.41 450.21 469.59 375.7 375.1 694.26 542.62 559.85 562.42 572.26 580.72 585.83 546.81 479.6 618.34 568.84 588.62 0 67.08 75.36 105.96 147.48 55 223.02 227.63 235.64 234.33 226.61 198.95 212.81 234.72 172.25 238.38 248.48 228.52 206.9 215.17 205.44 495.83 490.1 491.49 501.46 665.65 761.65 763.47 779.82 331.05 367.73 364.13 431.91 423.42 414.39 430.63 547.45 637.64 290.29 387.38 156.02 335.54 300.09 393.31 420.84 441.04 311.17 308.76 631.49 475.66 492.89 495.44 505.39 513.7 518.78 479.74 413.15 551.47 502.31 522.23 67.08 0 8.38 46.47 97.68 56 214.69 219.28 227.37 226.06 218.27 190.57 204.43 226.36 164.03 230.02 240.1 220.14 198.59 206.8 197.07 487.9 482.23 483.53 493.57 657.95 753.55 755.27 771.59 322.73 359.46 355.95 423.76 415.24 406.25 422.57 539.13 629.39 291.18 387.2 149.34 333.11 293.85 387.12 416.55 436.83 303.7 300.84 623.31 467.32 484.55 487.11 497.04 505.38 510.47 471.45 404.77 543.11 494.31 514.26 75.36 8.38 0 41.86 91.91 57 202.73 205.98 217.18 216.09 197.9 176.26 188.76 206.3 140.68 216.13 224.07 201.91 177.16 188.32 178.63 482.71 477.87 477.89 488.93 655.44 744.73 744.39 759.75 309.61 348.02 346.84 414.86 405.74 397.66 415.57 525.12 617.35 330.39 424.2 161.54 363.96 306.49 399.34 439.58 460.14 269.94 271.22 612.96 444.84 462.03 464.4 475.37 482.22 486.76 447.39 385.81 521.22 465.04 484.48 105.96 46.47 41.86 0 113.05 58 158.25 165.05 166.14 164.54 179.71 142.36 157.09 186.13 142.1 175.86 189.46 176.44 165.32 165.4 157.02 410.1 403.44 406.36 415.02 575.85 678.63 683.26 700.9 260.99 293.41 286.13 352.06 344.61 334.4 348.08 473.9 559.97 240.4 323.61 61.1 253.26 202.65 295.77 326.96 347.45 294.89 278.95 551.36 420.3 437.25 440.19 447.57 459.13 465.44 428.06 351.67 493.31 464.13 485.15 147.48 97.68 91.91 113.05 0; param p:= 1 0.33 2 0.34 3 0.28 4 0.32 5 0.29 6 0.26 7 0.34 8 0.33 9 0.24 10 0.32 11 0.32 12 0.32 13 0.36 14 0.31 15 0.31 16 0.31 17 0.29 18 0.28 19 0.29 20 0.31 21 0.31 22 0.26 23 0.28 24 0.32 25 0.26 26 0.33 27 0.29 28 0.30 29 0.33 30 0.28 31 0.27 32 0.31 33 0.32 34 0.28 35 0.30 36 0.33 37 0.29 38 0.32 39 0.31 40 0.31 41 0.30 42 0.32 43 0.28 44 0.29 45 0.30 46 0.34 47 0.29 48 0.32 49 0.34 50 0.28 51 0.29 52 0.29 53 0.29 54 0.26 55 0.31 56 0.28 57 0.32 58 0.27; param D:= 1 7456.355889 2 7418.81876 3 3015.109456 4 3565.2339 5 2095.46744 6 2440.655233 7 3774.877928 8 4411.518543 9 1529.933856 10 6053.888268 11 4289.059784 12 7875.503087 13 3026.827805 14 3983.111204 15 3592.637601 16 7494.934847 17 5281.779165 18 2771.904856 19 2601.566517 20 4540.867299 21 11371.39828 22 2596.573338 23 6620.198494 24 5644.877399 25 2210.305086 26 2280.683512 27 6525.200154 28 3249.320539 29 3374.935312 30 2990.542602 31 3645.445302 32 10779.27588 33 7246.715303 34 1633.210957 35 3167.234152 36 9716.448168 37 3814.477169 38 3537.374352 39 7611.621892 40 4847.598283 41 5294.38163 42 5992.587596 43 5797.101716 44 5796.555065 45 6985.020993 46 7857.492046 47 1493.371911 48 7550.479365 49 2925.545454 50 3049.874957 51 2318.049969 52 4990.057325 53 2397.637875 54 2187.269992 55 10183.58733 56 1784.864363 57 6844.459466 58 2817.764407; option solver cplex; ### full3.txt:71(1715) option ... option omit_zero_rows 1; ### full3.txt:72(1736) option ... expand >> Expandedfull3.txt; ### full3.txt:73(1761) expand ... ##genmod times: ##seq seconds cum. sec. mem. inc. name ## 85 0 0 0 derstage ## 89 0 0 0 sstatus ## 103 0 0 0 N0 ## 104 0 0 0 N ## 105 0 0 0 T ## 106 0 0 0 T1 ## 107 0 0 0 D ## 108 0 0 0 c ## 109 0 0 0 u ## 110 0 0 0 p ## 111 0 0 0 e ## 112 0 0 0 l ## 113 0 0 0 M ## 114 0.012 0.012 2640424 X ## 116 0 0.012 524304 q ## 118 0 0.012 32800 d ## 120 0 0.012 12312 I1 ## 122 0 0.012 8208 I2 ## 124 0 0.012 0 B ## 126 0 0.012 8208 S ## 128 0.012001 0.024001 614400 cost ## 130 0 0.024001 0 c1 ## 132 0 0.024001 38400 c2 ## 134 0 0.024001 13872 c3 ## 136 0 0.024001 38400 c4 ## 138 0.012001 0.036002 1164312 c5 ## 140 0.012 0.048002 1950768 c6 ## 142 0.016001 0.064003 1152000 c7 ## 144 0.008001 0.072004 588312 c8 ## 146 0 0.072004 0 c9 ## 148 0 0.072004 93008 c10 ## 150 0 0.072004 12312 c11 ## 152 0 0.072004 50712 c12 ## 154 0 0.072004 0 c13 ## 156 0.044003 0.116007 4732896 c15 ## 158 0.036003 0.15201 3090456 c16 solve; ### full3.txt:74(1790) solve ... Presolve eliminates 12642 constraints and 7084 variables. Adjusted problem: 43295 variables: 20832 binary variables 22463 linear variables 62554 constraints, all linear; 265095 nonzeros 1232 equality constraints 61322 inequality constraints 1 linear objective; 21231 nonzeros. Setting $presolve_inteps >= 1.2e-05 could change presolve results. CPLEX 12.6.0.1: timing=1 mipdisplay=2 logfile=cplex.outtimelimit=86400threads=4 Found incumbent of value 85799.923356 after 0.01 sec. (2.22 ticks) MIP Presolve eliminated 413 rows and 826 columns. MIP Presolve modified 80437 coefficients. Reduced MIP has 62134 rows, 42462 columns, and 263849 nonzeros. Reduced MIP has 20419 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing fixed 2128 vars, tightened 2128 bounds. Probing time = 1.93 sec. (78.74 ticks) MIP Presolve eliminated 6384 rows and 4256 columns. Reduced MIP has 55750 rows, 38206 columns, and 236185 nonzeros. Reduced MIP has 18291 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.58 sec. (16.61 ticks) Reduced MIP has 55750 rows, 38206 columns, and 236185 nonzeros. Reduced MIP has 18291 binaries, 0 generals, 0 SOSs, and 0 indicators. Probing time = 0.54 sec. (16.44 ticks) Clique table members: 158539. MIP emphasis: balance optimality and feasibility. MIP search method: dynamic search. Parallel mode: deterministic, using up to 12 threads. Root relaxation solution time = 5.20 sec. (1841.51 ticks) Nodes Cuts/ Node Left Objective IInf Best Integer Best Bound ItCnt Gap * 0+ 0 85799.9234 0.0000 43 100.00% * 0+ 0 85009.3257 0.0000 43 100.00% 0 0 32621.0610 561 85009.3257 32621.0610 43 61.63% * 0+ 0 72531.1285 32621.0610 8822 55.02% 0 0 42762.3303 751 72531.1285 Cuts: 948 8822 41.04% 0 0 49493.4523 802 72531.1285 Cuts: 1503 18662 31.76% 0 0 50920.6855 848 72531.1285 Cuts: 2124 25099 29.79% 0 0 51376.6385 829 72531.1285 Cuts: 1573 28451 29.17% 0 0 51731.7065 858 72531.1285 Cuts: 986 32825 28.68% 0 0 51934.8043 894 72531.1285 Cuts: 1076 34474 28.40% 0 0 52054.1311 954 72531.1285 Cuts: 1252 35976 28.23% 0 0 52219.4908 920 72531.1285 Cuts: 865 38193 28.00% 0 0 52254.0211 929 72531.1285 Cuts: 941 39289 27.96% 0 0 52301.4950 946 72531.1285 Cuts: 568 40133 27.89% 0 0 52354.0989 923 72531.1285 Cuts: 461 42004 27.82% 0 0 52388.8051 976 72531.1285 Cuts: 961 62217 27.77% 0 0 52416.2871 980 72531.1285 Cuts: 1710 63355 27.73% 0 0 52460.2043 970 72531.1285 Cuts: 871 65441 27.67% 0 0 52476.3386 1002 72531.1285 Cuts: 724 66217 27.65% 0 0 52488.1680 1006 72531.1285 Cuts: 541 66842 27.63% 0 0 52502.7074 1030 72531.1285 Cuts: 713 67551 27.61% 0 0 52570.1054 1006 72531.1285 Cuts: 322 68195 27.52% 0 0 52595.3754 1029 72531.1285 Cuts: 797 70322 27.49% 0 0 52680.6086 1041 72531.1285 Cuts: 682 71124 27.37% 0 0 52711.1327 1026 72531.1285 Cuts: 385 72648 27.33% 0 0 52726.1526 1085 72531.1285 Cuts: 338 73513 27.31% 0 0 52757.3202 1061 72531.1285 Cuts: 602 74207 27.26% 0 0 52767.3567 1086 72531.1285 Cuts: 272 75546 27.25% 0 0 52795.5552 1072 72531.1285 Cuts: 518 76140 27.21% 0 0 52799.2999 1097 72531.1285 Cuts: 343 76864 27.20% 0 2 52799.2999 1097 72531.1285 52799.2999 76864 27.20% Elapsed time = 306.72 sec. (172213.53 ticks, tree = 0.00 MB) 1 3 52891.2246 1071 72531.1285 52799.2999 78034 27.20% 2 4 52805.9936 1077 72531.1285 52799.2999 79243 27.20% 3 5 52813.5266 1053 72531.1285 52806.0014 80491 27.20% 4 6 52895.9822 1067 72531.1285 52806.0014 80594 27.20% 5 7 52937.3251 1065 72531.1285 52806.0014 81890 27.20% 8 10 52964.5886 1060 72531.1285 52806.0014 83091 27.20% 9 11 52815.8701 1032 72531.1285 52806.0426 84297 27.20% 12 14 52954.8951 1068 72531.1285 52806.0426 86263 27.20% 14 16 52991.2930 1062 72531.1285 52806.0426 88427 27.20% 16 18 53208.6971 1057 72531.1285 52806.0426 90263 27.20% Elapsed time = 392.78 sec. (234102.53 ticks, tree = 0.00 MB) 20 20 52820.8390 1059 72531.1285 52806.0426 93212 27.20% 25 23 53200.2289 1021 72531.1285 52806.0426 96664 27.20% 32 28 53228.9883 1032 72531.1285 52806.0426 111938 27.20% 66 57 52830.9320 1052 72531.1285 52806.0426 137550 27.20% 67 58 53292.5162 976 72531.1285 52806.0426 140208 27.20% 70 59 54329.0682 1009 72531.1285 52806.0426 147751 27.20% 71 60 54348.6329 984 72531.1285 52806.0426 154701 27.20% 76 65 53190.3721 1034 72531.1285 52806.0426 168074 27.20% 112 91 54238.7084 1005 72531.1285 52806.0426 207647 27.20% 127 101 infeasible 72531.1285 52806.0426 214316 27.20% Elapsed time = 490.18 sec. (281244.96 ticks, tree = 0.00 MB) 129 103 54039.4190 995 72531.1285 52806.0426 220177 27.20% 136 107 54377.5687 971 72531.1285 52806.0426 239061 27.20% 146 116 53892.4939 1001 72531.1285 52806.0426 270667 27.20% 205 168 54419.9014 985 72531.1285 52806.0426 324453 27.20% 216 175 53655.8107 971 72531.1285 52806.0426 327420 27.20% 218 177 55225.0880 945 72531.1285 52806.0426 330083 27.20% 226 183 53243.7884 1031 72531.1285 52806.0426 332314 27.20% 274 218 53593.4052 1030 72531.1285 52806.0426 364425 27.20% 276 220 54279.3763 973 72531.1285 52806.0426 366261 27.20% 288 232 54434.3155 962 72531.1285 52806.0426 371760 27.20% Elapsed time = 664.21 sec. (344638.02 ticks, tree = 0.00 MB) 289 233 54644.9882 960 72531.1285 52806.0426 438892 27.20% 423 360 56073.7621 824 72531.1285 52806.0426 524397 27.20% 434 371 54909.2015 948 72531.1285 52806.0426 534982 27.20% 466 403 54242.2085 922 72531.1285 52806.0426 546392 27.20% 538 468 54315.9534 907 72531.1285 52806.0426 574064 27.20% 550 480 54321.3380 906 72531.1285 52806.0426 578272 27.20% 583 511 54850.4614 871 72531.1285 52806.0426 587504 27.20% 873 790 53103.4892 906 72531.1285 52806.0426 694503 27.20% 885 802 53479.1598 902 72531.1285 52806.0426 699850 27.20% 909 826 53355.8252 900 72531.1285 52806.0426 707862 27.20% Elapsed time = 962.37 sec. (454318.05 ticks, tree = 6.05 MB) 937 851 56144.7776 788 72531.1285 52806.0426 721810 27.20% 949 860 56194.4301 793 72531.1285 52806.0426 726046 27.20% 973 882 56181.0894 793 72531.1285 52806.0426 737519 27.20% 991 897 54654.8432 893 72531.1285 52806.0426 743915 27.20% 997 903 56223.0017 820 72531.1285 52806.0426 750451 27.20% 1021 925 56235.9116 833 72531.1285 52806.0426 758513 27.20% 1053 955 53432.6864 841 72531.1285 52806.0426 770699 27.20% 1065 967 53178.5594 854 72531.1285 52806.0426 776049 27.20% 1081 981 56609.1487 812 72531.1285 52806.0426 784537 27.20% 1089 989 53546.2217 854 72531.1285 52806.0426 791379 27.20% Elapsed time = 1025.56 sec. (473707.15 ticks, tree = 6.05 MB) 1101 1001 53183.5793 851 72531.1285 52806.0426 794369 27.20% * 1133+ 1031 72515.4961 52806.0426 805382 27.18% 1137 1035 53197.3551 857 72515.4961 52806.0426 807662 27.18% 1149 1046 53427.6361 795 72515.4961 52806.0426 817556 27.18% 1403 1278 55586.0416 744 72515.4961 52806.0426 917164 27.18% 1427 1302 57403.0717 720 72515.4961 52806.0426 923414 27.18% 1444 1317 55895.1502 735 72515.4961 52806.0426 929726 27.18% 1448 1321 57267.4079 636 72515.4961 52806.0426 930586 27.18% 1472 1345 57280.3957 633 72515.4961 52806.0426 941308 27.18% 1496 1365 57301.6392 633 72515.4961 52806.0426 948676 27.18% 1532 1399 57302.9888 641 72515.4961 52806.0426 959592 27.18% Elapsed time = 1100.78 sec. (497800.80 ticks, tree = 12.99 MB) 1550 1417 55621.4273 769 72515.4961 52806.0426 965590 27.18% 1574 1441 55599.3493 760 72515.4961 52806.0426 973847 27.18% 1598 1465 55619.6844 751 72515.4961 52806.0426 982614 27.18% 1658 1525 55817.2752 736 72515.4961 52806.0426 1002408 27.18% 2219 2061 53746.7040 707 72515.4961 52806.0426 1178269 27.18% 2233 2075 56776.7226 667 72515.4961 52806.0426 1182101 27.18% 2257 2097 56778.9275 668 72515.4961 52806.0426 1192107 27.18% 2284 2124 57325.4585 602 72515.4961 52806.0426 1202843 27.18% 2308 2148 57351.1395 590 72515.4961 52806.0426 1210293 27.18% 2310 2150 56946.6735 655 72515.4961 52806.0426 1213754 27.18% Elapsed time = 1234.97 sec. (537460.51 ticks, tree = 23.93 MB) 2334 2174 56290.9266 640 72515.4961 52806.0426 1222196 27.18% 2356 2196 57415.5458 582 72515.4961 52806.0426 1229943 27.18% 2368 2208 57403.8474 564 72515.4961 52806.0426 1235375 27.18% 2392 2231 57451.8346 565 72515.4961 52806.0426 1246858 27.18% 2411 2250 54368.5341 661 72515.4961 52806.0426 1252655 27.18% 2435 2274 54484.4676 644 72515.4961 52806.0426 1261405 27.18% 2483 2318 52870.9828 1052 72515.4961 52806.0426 1274364 27.18% 2507 2340 52874.0173 1048 72515.4961 52806.0426 1279730 27.18% 2519 2350 52881.5330 1021 72515.4961 52806.0426 1286564 27.18% 2555 2386 53002.0114 998 72515.4961 52806.0426 1298362 27.18% Elapsed time = 1305.31 sec. (561123.62 ticks, tree = 23.93 MB) 2603 2429 53076.2455 990 72515.4961 52806.0426 1317286 27.18% 2627 2453 52898.7596 1015 72515.4961 52806.0426 1324322 27.18% 2639 2465 52909.1154 1024 72515.4961 52806.0426 1327601 27.18% 2651 2477 53030.5851 1018 72515.4961 52806.0426 1333263 27.18% 2663 2487 52914.9811 1021 72515.4961 52806.0426 1337003 27.18% 2687 2511 52918.9488 1014 72515.4961 52806.0426 1344583 27.18% 3170 2961 56822.1770 572 72515.4961 52806.0426 1512908 27.18% 3213 3004 53316.7946 959 72515.4961 52806.0426 1531978 27.18% 3222 3011 57803.8831 607 72515.4961 52806.0426 1559329 27.18% 3224 3011 58078.3426 614 72515.4961 52806.0426 1651906 27.18% Elapsed time = 1572.18 sec. (637713.92 ticks, tree = 37.46 MB) 3632 3370 54628.9412 823 72515.4961 52830.9829 2023089 27.15% 3644 3382 54655.0604 826 72515.4961 52830.9829 2035153 27.15% 3646 3384 53146.4550 1012 72515.4961 52830.9829 2039173 27.15% 3666 3403 54216.3392 926 72515.4961 52830.9829 2055664 27.15% 3678 3413 54258.0058 936 72515.4961 52830.9829 2063113 27.15% 3690 3423 54267.5189 925 72515.4961 52830.9829 2072791 27.15% 3714 3445 54278.7905 906 72515.4961 52830.9829 2082018 27.15% 3762 3489 54287.9660 928 72515.4961 52830.9829 2111295 27.15% 3786 3513 54300.3345 928 72515.4961 52830.9829 2125602 27.15% 3918 3628 54341.6747 896 72515.4961 52830.9829 2186683 27.15% Elapsed time = 1735.00 sec. (693805.38 ticks, tree = 42.70 MB) 3963 3664 53048.8574 946 72515.4961 52830.9829 2200738 27.15% 3975 3674 53274.9204 904 72515.4961 52830.9829 2207683 27.15% * 4581+ 2832 72021.4548 54467.8695 2775422 24.37% * 4581+ 1888 71644.2664 54504.6278 2835484 23.92% 4581 1889 54612.5703 1149 71644.2664 54612.5703 2893683 23.77% 4582 1890 54651.1634 1165 71644.2664 54612.5703 3106717 23.77% 4583 1891 54681.4243 1137 71644.2664 54654.3441 3113742 23.71% 4585 1893 54708.3078 1110 71644.2664 54654.3441 3122623 23.71% 4588 1894 54716.1439 1090 71644.2664 54693.5438 3136843 23.66% 4590 1896 54761.3047 1130 71644.2664 54693.5438 3144845 23.66% 4592 1897 54815.6275 1101 71644.2664 54693.5438 3150854 23.66% 4597 1901 54827.5404 1113 71644.2664 54693.5438 3162742 23.66% Elapsed time = 6309.32 sec. (2824610.31 ticks, tree = 47.09 MB) 4598 1901 54749.8885 1094 71644.2664 54710.1353 3171761 23.64% 4599 1902 54798.9793 1098 71644.2664 54710.1353 3184625 23.64% 4603 1904 54873.3096 1098 71644.2664 54710.1353 3223073 23.64% 4620 1916 54830.6985 1079 71644.2664 54710.1353 3281748 23.64% 4621 1917 54845.0909 1101 71644.2664 54710.1353 3293378 23.64% 4622 1918 55076.4067 1057 71644.2664 54710.1353 3307885 23.64% 4630 1920 54891.2514 1099 71644.2664 54710.1353 3359522 23.64% 4678 1949 55171.7154 1028 71644.2664 54710.1353 3456078 23.64% 4734 1979 54936.3175 1054 71644.2664 54710.1353 3561646 23.64% 4775 2001 55113.0574 1029 71644.2664 54710.1353 3604990 23.64% Elapsed time = 6976.93 sec. (3071140.07 ticks, tree = 45.17 MB) 4776 2001 54907.8425 1064 71644.2664 54710.1353 3615266 23.64% 4788 2006 54913.3446 1058 71644.2664 54710.1353 3653544 23.64% 4800 2013 54922.6855 1054 71644.2664 54710.1353 3674685 23.64% 4824 2030 55027.1001 1057 71644.2664 54710.1353 3723144 23.64% 4836 2034 55086.9706 1061 71644.2664 54710.1353 3759905 23.64% 4848 2039 55046.3035 1083 71644.2664 54710.1353 3795270 23.64% 4860 2048 55054.9159 1079 71644.2664 54710.1353 3822520 23.64% 4872 2053 55052.9409 1054 71644.2664 54710.1353 3844895 23.64% 4972 2111 55238.5354 985 71644.2664 54710.1353 4044288 23.64% 4988 2120 55678.4732 1019 71644.2664 54710.1353 4073193 23.64% Elapsed time = 7304.71 sec. (3174679.59 ticks, tree = 42.84 MB) 4996 2127 55111.4514 1012 71644.2664 54710.1353 4097098 23.64% 4998 2129 55509.1927 986 71644.2664 54710.1353 4107910 23.64% 5000 2131 55068.7356 1042 71644.2664 54710.1353 4112735 23.64% 5024 2141 55281.5726 1030 71644.2664 54710.1353 4154243 23.64% 5036 2149 55253.3688 1035 71644.2664 54710.1353 4172004 23.64% 5048 2157 55291.1054 1014 71644.2664 54710.1353 4193549 23.64% 5084 2177 55266.8833 1035 71644.2664 54710.1353 4236524 23.64% 5120 2198 55258.3149 1035 71644.2664 54710.1353 4296914 23.64% 5124 2201 54875.7094 1078 71644.2664 54710.1353 4312003 23.64% 5172 2223 54850.4289 1089 71644.2664 54710.1353 4384420 23.64% Elapsed time = 7571.32 sec. (3253534.59 ticks, tree = 41.93 MB) 5184 2229 54854.4207 1088 71644.2664 54710.1353 4402242 23.64% 5196 2235 54954.3334 1084 71644.2664 54710.1353 4421101 23.64% 5258 2270 55491.8996 1020 71644.2664 54710.1353 4505798 23.64% 5268 2275 55546.5068 956 71644.2664 54710.1353 4526538 23.64% 5355 2326 55161.2865 982 71644.2664 54710.1353 4632682 23.64% 5367 2333 55169.1086 985 71644.2664 54710.1353 4642638 23.64% 5370 2335 55695.1966 923 71644.2664 54710.1353 4657509 23.64% 5394 2346 55184.1961 1044 71644.2664 54710.1353 4686427 23.64% 5406 2353 55208.8715 1041 71644.2664 54710.1353 4697202 23.64% 5418 2358 55204.4207 1045 71644.2664 54710.1353 4701892 23.64% Elapsed time = 7892.50 sec. (3356576.86 ticks, tree = 43.95 MB) 5478 2397 55196.8460 1030 71644.2664 54710.1353 4780523 23.64% 5494 2405 55348.4063 1053 71644.2664 54710.1353 4807542 23.64% 5518 2418 55153.7188 1048 71644.2664 54710.1353 4831992 23.64% 5530 2425 55153.8555 1050 71644.2664 54710.1353 4839991 23.64% 5542 2430 55366.2324 1016 71644.2664 54710.1353 4862064 23.64% 5578 2457 55155.7016 1061 71644.2664 54710.1353 4911150 23.64% 5684 2510 55096.7430 1023 71644.2664 54710.1353 5043812 23.64% 5757 2555 55263.0332 953 71644.2664 54710.1353 5142568 23.64% 5765 2562 54931.4991 1100 71644.2664 54710.1353 5155261 23.64% 5770 2566 55356.3285 1018 71644.2664 54710.1353 5162474 23.64% Elapsed time = 8181.40 sec. (3445272.80 ticks, tree = 52.46 MB) 5777 2572 55058.2917 1101 71644.2664 54710.1353 5177646 23.64% 5797 2586 55947.6873 967 71644.2664 54710.1353 5210518 23.64% 5801 2587 54946.2289 1055 71644.2664 54710.1353 5218169 23.64% 5831 2609 55339.8876 945 71644.2664 54710.1353 5247684 23.64% 5843 2617 55664.3581 941 71644.2664 54710.1353 5253978 23.64% 5861 2628 55399.5179 951 71644.2664 54710.1353 5301839 23.64% 5897 2649 54956.3803 1081 71644.2664 54710.1353 5363150 23.64% 5925 2668 55290.0071 966 71644.2664 54710.1353 5404268 23.64% 5961 2684 55304.7722 958 71644.2664 54710.1353 5446750 23.64% 5973 2690 55294.6283 937 71644.2664 54710.1353 5456975 23.64% Elapsed time = 8515.72 sec. (3538573.91 ticks, tree = 50.59 MB) 5985 2697 55355.1034 950 71644.2664 54710.1353 5471466 23.64% 6033 2726 55295.3199 941 71644.2664 54710.1353 5524424 23.64% 6069 2746 55753.4163 856 71644.2664 54710.1353 5565182 23.64% 6239 2829 55390.2192 960 71644.2664 54710.1353 5810242 23.64% 6267 2844 55361.5604 956 71644.2664 54710.1353 5834489 23.64% 6284 2851 55362.4190 1009 71644.2664 54710.1353 5856297 23.64% 6291 2855 55825.9708 869 71644.2664 54710.1353 5874774 23.64% 6297 2857 55238.5704 1011 71644.2664 54710.1353 5883773 23.64% 6333 2873 55206.5170 1038 71644.2664 54710.1353 5922566 23.64% 6357 2887 55268.0792 1026 71644.2664 54710.1353 5938229 23.64% Elapsed time = 8917.68 sec. (3659374.26 ticks, tree = 52.60 MB) 6393 2910 55235.9583 1008 71644.2664 54710.1353 5979780 23.64% 6417 2917 55206.7897 1040 71644.2664 54710.1353 6009749 23.64% 6477 2951 55240.4548 1013 71644.2664 54710.1353 6078168 23.64% 6544 2986 54958.2693 1061 71644.2664 54710.1353 6141403 23.64% 6556 2995 54973.3070 1062 71644.2664 54710.1353 6153351 23.64% 6592 3011 54966.8875 1062 71644.2664 54710.1353 6201099 23.64% 6616 3030 54974.5705 1051 71644.2664 54710.1353 6230369 23.64% 6631 3040 55173.2083 1048 71644.2664 54710.1353 6248064 23.64% 6657 3053 55245.2227 1013 71644.2664 54710.1353 6277045 23.64% 6679 3065 55017.0896 1043 71644.2664 54710.1353 6294540 23.64% Elapsed time = 9118.14 sec. (3718834.34 ticks, tree = 49.12 MB) 6700 3076 55022.1704 1048 71644.2664 54710.1353 6323133 23.64% 6724 3090 55026.1464 1035 71644.2664 54710.1353 6348905 23.64% 6736 3097 55079.7269 1045 71644.2664 54710.1353 6355867 23.64% 6739 3099 55810.7844 991 71644.2664 54710.1353 6368685 23.64% 6997 3251 55729.4809 902 71644.2664 54710.1353 6614051 23.64% 7065 3290 55425.0054 998 71644.2664 54710.1353 6672230 23.64% 7087 3304 55021.1640 1046 71644.2664 54710.1353 6706684 23.64% 7099 3310 55445.3726 991 71644.2664 54710.1353 6725969 23.64% 7159 3338 55027.2536 1046 71644.2664 54710.1353 6785549 23.64% 7171 3345 55251.8156 1045 71644.2664 54710.1353 6803650 23.64% Elapsed time = 9568.95 sec. (3851103.25 ticks, tree = 52.75 MB) 7219 3371 55033.0870 1054 71644.2664 54710.1353 6844809 23.64% 7231 3378 55039.8675 1041 71644.2664 54710.1353 6860174 23.64% 7255 3390 55033.1673 1057 71644.2664 54710.1353 6891522 23.64% 7291 3411 55060.9412 1013 71644.2664 54710.1353 6927424 23.64% 7303 3417 55037.4440 1024 71644.2664 54710.1353 6936928 23.64% 7387 3468 55234.1480 1020 71644.2664 54710.1353 7006435 23.64% 7449 3502 55531.0301 981 71644.2664 54710.1353 7066931 23.64% 7485 3524 55432.6214 983 71644.2664 54710.1353 7084986 23.64% 7497 3532 55613.1927 1000 71644.2664 54710.1353 7097621 23.64% 7509 3541 55462.4067 990 71644.2664 54710.1353 7119594 23.64% Elapsed time = 9807.34 sec. (3917334.28 ticks, tree = 49.25 MB) 7545 3561 55450.0476 989 71644.2664 54710.1353 7153600 23.64% 7569 3574 55490.8888 984 71644.2664 54710.1353 7179242 23.64% 7605 3593 55949.1373 952 71644.2664 54710.1353 7204415 23.64% 7755 3675 55424.2650 858 71644.2664 54710.1353 7380251 23.64% 7995 3816 55889.9955 930 71644.2664 54710.1353 7560475 23.64% 8006 3820 55644.5664 934 71644.2664 54710.1353 7578366 23.64% 8030 3834 55313.3198 993 71644.2664 54710.1353 7610494 23.64% 8037 3838 55138.5603 1007 71644.2664 54710.1353 7618743 23.64% 8061 3852 55111.6239 1007 71644.2664 54710.1353 7640155 23.64% 8086 3865 55678.3538 936 71644.2664 54710.1353 7663708 23.64% Elapsed time = 10038.11 sec. (3989836.40 ticks, tree = 56.60 MB) 8088 3866 56631.1703 899 71644.2664 54710.1353 7686297 23.64% 8112 3882 56362.8621 958 71644.2664 54710.1353 7719379 23.64% 8136 3893 56805.9626 931 71644.2664 54710.1353 7753659 23.64% 8160 3904 56492.3303 907 71644.2664 54710.1353 7780229 23.64% 8184 3919 56366.1231 959 71644.2664 54710.1353 7807656 23.64% 8220 3938 56382.9111 947 71644.2664 54710.1353 7856874 23.64% 8232 3942 56879.0216 924 71644.2664 54710.1353 7875692 23.64% 8280 3972 56394.1721 941 71644.2664 54710.1353 7946215 23.64% 8328 4000 56845.6048 907 71644.2664 54710.1353 7998029 23.64% 8404 4037 55769.7785 964 71644.2664 54710.1353 8097013 23.64% Elapsed time = 10475.65 sec. (4110405.01 ticks, tree = 53.00 MB) 8452 4063 55985.6961 894 71644.2664 54710.1353 8173404 23.64% 8481 4075 55723.9170 962 71644.2664 54710.1353 8218398 23.64% 8517 4095 55412.4112 956 71644.2664 54710.1353 8239709 23.64% 8529 4104 55463.0645 971 71644.2664 54710.1353 8245839 23.64% 8553 4119 55418.0686 954 71644.2664 54710.1353 8292378 23.64% 8958 4338 56206.4231 907 71644.2664 54710.1353 8608260 23.64% 9098 4458 56229.5695 828 71644.2664 54710.1353 8711790 23.64% 9102 4462 56020.3544 858 71644.2664 54710.1353 8721551 23.64% 9120 4477 56074.9019 928 71644.2664 54710.1353 8764447 23.64% 9144 4501 55737.5886 977 71644.2664 54710.1353 8807100 23.64% Elapsed time = 10933.17 sec. (4248538.89 ticks, tree = 62.23 MB) 9168 4525 55861.3728 962 71644.2664 54710.1353 8848155 23.64% 9192 4549 55951.4212 967 71644.2664 54710.1353 8881067 23.64% 9204 4561 56146.8272 963 71644.2664 54710.1353 8898637 23.64% 9216 4573 55953.7830 969 71644.2664 54710.1353 8914926 23.64% 9240 4597 56136.8143 964 71644.2664 54710.1353 8949380 23.64% 9264 4621 56095.9598 960 71644.2664 54710.1353 8984640 23.64% 9312 4669 56332.9594 923 71644.2664 54710.1353 9031725 23.64% 9342 4699 56672.1599 822 71644.2664 54710.1353 9066398 23.64% 9390 4747 56573.0352 853 71644.2664 54710.1353 9101156 23.64% 9414 4771 56812.2932 830 71644.2664 54710.1353 9127925 23.64% Elapsed time = 11158.97 sec. (4316168.42 ticks, tree = 62.23 MB) 9462 4819 56593.2385 842 71644.2664 54710.1353 9180089 23.64% 9500 4857 55248.6469 979 71644.2664 54710.1353 9219605 23.64% 9524 4881 55273.4651 971 71644.2664 54710.1353 9246853 23.64% 9548 4905 55293.7620 957 71644.2664 54710.1353 9273564 23.64% 9572 4929 55305.8422 962 71644.2664 54710.1353 9290550 23.64% 9620 4977 55319.2471 935 71644.2664 54710.1353 9357312 23.64% 9656 5013 55492.1676 944 71644.2664 54710.1353 9409162 23.64% 9680 5037 55645.3856 945 71644.2664 54710.1353 9437898 23.64% 9728 5085 55381.9713 927 71644.2664 54710.1353 9475343 23.64% 9764 5121 55431.0302 924 71644.2664 54710.1353 9516093 23.64% Elapsed time = 11420.68 sec. (4391553.83 ticks, tree = 62.23 MB) 9776 5133 55403.7064 918 71644.2664 54710.1353 9528795 23.64% 9812 5169 55445.2376 915 71644.2664 54710.1353 9574616 23.64% 9848 5205 55473.0091 927 71644.2664 54710.1353 9604972 23.64% 9860 5216 55660.7830 924 71644.2664 54710.1353 9625105 23.64% 9884 5240 55719.1169 903 71644.2664 54710.1353 9656564 23.64% 9912 5268 56422.9165 890 71644.2664 54710.1353 9685911 23.64% 9948 5304 56379.1171 883 71644.2664 54710.1353 9719761 23.64% 9972 5328 56317.4749 874 71644.2664 54710.1353 9738817 23.64% 9996 5352 56292.7248 889 71644.2664 54710.1353 9755500 23.64% 10004 5360 55777.6949 823 71644.2664 54710.1353 9766636 23.64% Elapsed time = 11639.14 sec. (4455512.55 ticks, tree = 62.23 MB) 10041 5397 56815.1881 891 71644.2664 54710.1353 9804941 23.64% 10526 5882 57130.9586 807 71644.2664 54710.1353 10155477 23.64% 10532 5888 55910.4366 925 71644.2664 54710.1353 10160951 23.64% 10568 5924 55791.5759 919 71644.2664 54710.1353 10199952 23.64% 10592 5948 55801.7445 916 71644.2664 54710.1353 10217213 23.64% 10604 5960 55807.5614 914 71644.2664 54710.1353 10233269 23.64% 10640 5996 55931.5720 920 71644.2664 54710.1353 10257107 23.64% 10663 6019 56360.6496 855 71644.2664 54710.1353 10281684 23.64% 10675 6031 56300.3008 850 71644.2664 54710.1353 10289817 23.64% 10700 6056 55898.7596 886 71644.2664 54710.1353 10309774 23.64% Elapsed time = 11823.55 sec. (4511290.22 ticks, tree = 82.96 MB) 10711 6067 56337.9308 853 71644.2664 54710.1353 10334159 23.64% 10723 6079 56352.1209 861 71644.2664 54710.1353 10345699 23.64% 10747 6103 56527.2654 841 71644.2664 54710.1353 10371927 23.64% 10783 6139 56488.4667 876 71644.2664 54710.1353 10401515 23.64% 10820 6176 55955.2642 889 71644.2664 54710.1353 10436959 23.64% 10843 6199 56381.8651 854 71644.2664 54710.1353 10449409 23.64% 10868 6224 56540.3602 863 71644.2664 54710.1353 10476262 23.64% 10904 6260 56018.0690 881 71644.2664 54710.1353 10497688 23.64% 10928 6284 55970.3943 875 71644.2664 54710.1353 10510443 23.64% 10952 6308 55987.2777 866 71644.2664 54710.1353 10524904 23.64% Elapsed time = 12101.29 sec. (4591699.49 ticks, tree = 82.96 MB) 10976 6332 56032.5129 877 71644.2664 54710.1353 10554571 23.64% 11048 6404 56094.4200 866 71644.2664 54710.1353 10590132 23.64% 11072 6428 56318.6270 838 71644.2664 54710.1353 10614548 23.64% 11192 6548 56150.3409 874 71644.2664 54710.1353 10694610 23.64% 11240 6596 55997.1618 849 71644.2664 54710.1353 10732187 23.64% 11312 6668 56003.9454 839 71644.2664 54710.1353 10774263 23.64% 11372 6728 56008.3350 853 71644.2664 54710.1353 10819954 23.64% 11384 6740 56014.8134 848 71644.2664 54710.1353 10838446 23.64% 11408 6764 56171.0669 842 71644.2664 54710.1353 10858291 23.64% 11468 6824 56027.8169 849 71644.2664 54710.1353 10900382 23.64% Elapsed time = 12359.32 sec. (4666991.17 ticks, tree = 82.96 MB) 11516 6872 56035.5443 843 71644.2664 54710.1353 10928716 23.64% 11528 6884 56065.7886 827 71644.2664 54710.1353 10944234 23.64% 11564 6919 56102.7488 844 71644.2664 54710.1353 10967200 23.64% 11648 7003 56141.8567 833 71644.2664 54710.1353 11015869 23.64% 11684 7039 56068.7439 828 71644.2664 54710.1353 11040154 23.64% 11744 7099 56118.4329 818 71644.2664 54710.1353 11087143 23.64% 11768 7123 56097.0110 814 71644.2664 54710.1353 11095859 23.64% 11792 7147 56102.8309 828 71644.2664 54710.1353 11111808 23.64% 11828 7182 56147.1773 823 71644.2664 54710.1353 11141673 23.64% 11912 7266 56741.0748 819 71644.2664 54710.1353 11190626 23.64% Elapsed time = 12614.04 sec. (4741724.51 ticks, tree = 82.96 MB) 11924 7278 56113.1206 824 71644.2664 54710.1353 11197430 23.64% 11936 7290 56144.3803 833 71644.2664 54710.1353 11203059 23.64% 11972 7325 56147.8725 813 71644.2664 54710.1353 11237798 23.64% 11996 7349 56221.3468 828 71644.2664 54710.1353 11257616 23.64% 12020 7373 56164.0261 823 71644.2664 54710.1353 11265224 23.64% 12068 7421 56309.1566 824 71644.2664 54710.1353 11291784 23.64% 12116 7469 56150.7362 814 71644.2664 54710.1353 11320416 23.64% 13250 8577 59325.2480 671 71644.2664 54710.1353 11952480 23.64% 13260 8587 56725.1116 827 71644.2664 54710.1353 11959222 23.64% 13285 8612 56233.3653 841 71644.2664 54710.1353 11980597 23.64% Elapsed time = 12842.06 sec. (4800397.84 ticks, tree = 123.91 MB) 13310 8637 59538.0258 657 71644.2664 54710.1353 11997403 23.64% 13333 8660 56270.4890 831 71644.2664 54710.1353 12018470 23.64% 13346 8673 59562.6447 634 71644.2664 54710.1353 12030504 23.64% 13370 8697 59627.0755 653 71644.2664 54710.1353 12046443 23.64% 13394 8719 59481.7541 678 71644.2664 54710.1353 12059117 23.64% 13430 8751 59461.2826 678 71644.2664 54710.1353 12074481 23.64% 13466 8787 59552.0245 659 71644.2664 54710.1353 12099034 23.64% 13513 8834 57004.4212 844 71644.2664 54710.1353 12136492 23.64% 13550 8871 59828.4339 638 71644.2664 54710.1353 12159942 23.64% 13605 8926 54837.4628 1069 71644.2664 54710.1353 12190228 23.64% Elapsed time = 13033.46 sec. (4854587.96 ticks, tree = 123.91 MB) 13617 8938 54846.5134 1062 71644.2664 54710.1353 12205529 23.64% 13641 8962 54848.0904 1071 71644.2664 54710.1353 12213287 23.64% 13665 8986 54848.9251 1066 71644.2664 54710.1353 12231449 23.64% 13677 8998 54923.9123 1043 71644.2664 54710.1353 12245519 23.64% 13701 9022 54941.2807 1037 71644.2664 54710.1353 12259085 23.64% 13725 9046 54976.8275 1042 71644.2664 54710.1353 12277845 23.64% 13737 9058 54989.8943 1035 71644.2664 54710.1353 12286458 23.64% 13773 9094 55016.8646 1043 71644.2664 54710.1353 12312115 23.64% 13821 9142 55029.7322 1027 71644.2664 54710.1353 12344627 23.64% 13845 9166 55100.7358 1008 71644.2664 54710.1353 12367211 23.64% Elapsed time = 13265.24 sec. (4920807.96 ticks, tree = 123.91 MB) 13869 9190 55099.5417 1007 71644.2664 54710.1353 12377797 23.64% 13893 9214 55107.3405 1006 71644.2664 54710.1353 12389853 23.64% 13941 9262 55152.9406 1003 71644.2664 54710.1353 12419944 23.64% 13953 9274 55115.1308 1001 71644.2664 54710.1353 12440126 23.64% 13965 9286 55131.9003 991 71644.2664 54710.1353 12446730 23.64% 13989 9310 55120.8266 1002 71644.2664 54710.1353 12457766 23.64% 14025 9346 55197.4703 995 71644.2664 54710.1353 12476865 23.64% 14049 9370 55196.5153 996 71644.2664 54710.1353 12494712 23.64% 14073 9394 55279.2052 988 71644.2664 54710.1353 12523821 23.64% 14085 9406 55303.8408 997 71644.2664 54710.1353 12529683 23.64% Elapsed time = 13578.79 sec. (5010711.96 ticks, tree = 123.91 MB) 14097 9418 55291.9800 978 71644.2664 54710.1353 12537897 23.64% 14121 9442 55320.9313 965 71644.2664 54710.1353 12554946 23.64% 14133 9454 55312.1872 978 71644.2664 54710.1353 12566058 23.64% 14157 9478 55325.9309 962 71644.2664 54710.1353 12582505 23.64% 14193 9514 55394.1457 950 71644.2664 54710.1353 12614791 23.64% 14241 9562 55413.6335 938 71644.2664 54710.1353 12644770 23.64% 14277 9598 55417.6495 938 71644.2664 54710.1353 12662557 23.64% 14289 9610 55657.0804 904 71644.2664 54710.1353 12673295 23.64% 14313 9634 55505.0258 889 71644.2664 54710.1353 12691418 23.64% 14337 9658 55555.2112 900 71644.2664 54710.1353 12710280 23.64% Elapsed time = 13857.26 sec. (5090312.21 ticks, tree = 123.91 MB) 14361 9682 55564.8307 901 71644.2664 54710.1353 12720988 23.64% 14385 9705 55601.4572 905 71644.2664 54710.1353 12739784 23.64% 14433 9752 55608.5751 890 71644.2664 54710.1353 12766581 23.64% 14469 9788 55645.5702 866 71644.2664 54710.1353 12783795 23.64% 14493 9812 55819.0753 851 71644.2664 54710.1353 12798128 23.64% 14517 9836 55837.7452 841 71644.2664 54710.1353 12833124 23.64% 14541 9860 55954.9442 842 71644.2664 54710.1353 12849980 23.64% 14553 9872 55691.7129 857 71644.2664 54710.1353 12854462 23.64% 14589 9908 55704.7201 853 71644.2664 54710.1353 12879495 23.64% 14613 9932 55748.3398 842 71644.2664 54710.1353 12894139 23.64% Elapsed time = 14146.11 sec. (5172974.10 ticks, tree = 123.91 MB) 14637 9956 55831.1373 848 71644.2664 54710.1353 12907537 23.64% 16790 12089 55419.8059 940 71644.2664 54710.1353 14201240 23.64% 16808 12107 58196.6634 691 71644.2664 54710.1353 14215340 23.64% 16822 12121 57167.2772 782 71644.2664 54710.1353 14233640 23.64% 16870 12169 57000.2090 781 71644.2664 54710.1353 14280396 23.64% 16886 12185 54784.5523 1127 71644.2664 54710.1353 14297003 23.64% 16898 12197 54798.6692 1114 71644.2664 54710.1353 14305575 23.64% 16910 12209 54788.7355 1111 71644.2664 54710.1353 14317585 23.64% 16922 12221 54793.8164 1101 71644.2664 54710.1353 14335776 23.64% 16946 12245 54802.5266 1107 71644.2664 54710.1353 14356738 23.64% Elapsed time = 14458.95 sec. (5260823.43 ticks, tree = 191.44 MB) 16970 12269 54797.0625 1105 71644.2664 54710.1353 14381186 23.64% 16994 12293 54821.7378 1083 71644.2664 54710.1353 14399301 23.64% 17006 12305 54822.6635 1089 71644.2664 54710.1353 14409614 23.64% 17018 12317 54863.6151 1086 71644.2664 54710.1353 14424938 23.64% 17030 12329 54839.5360 1078 71644.2664 54710.1353 14434087 23.64% 17054 12353 54840.0891 1093 71644.2664 54710.1353 14466624 23.64% 17066 12365 54852.9703 1085 71644.2664 54710.1353 14475319 23.64% 17078 12377 54860.5618 1069 71644.2664 54710.1353 14486326 23.64% 17090 12389 54855.3095 1099 71644.2664 54710.1353 14494352 23.64% 17102 12401 54872.0912 1079 71644.2664 54710.1353 14502973 23.64% Elapsed time = 14796.32 sec. (5357724.06 ticks, tree = 191.44 MB) 17114 12413 54866.0716 1082 71644.2664 54710.1353 14520689 23.64% 17138 12435 54881.4994 1070 71644.2664 54710.1353 14553976 23.64% 17162 12459 54907.9291 1051 71644.2664 54710.1353 14565895 23.64% 17174 12471 54911.5638 1079 71644.2664 54710.1353 14577500 23.64% 17186 12483 54932.7816 1082 71644.2664 54710.1353 14587777 23.64% 17198 12495 54916.5424 1057 71644.2664 54710.1353 14594284 23.64% 17210 12507 54928.5908 1064 71644.2664 54710.1353 14602043 23.64% 17234 12531 54929.7596 1061 71644.2664 54710.1353 14622227 23.64% 17258 12555 54933.3523 1061 71644.2664 54710.1353 14632725 23.64% 17282 12579 54987.3734 1037 71644.2664 54710.1353 14654895 23.64% Elapsed time = 15016.75 sec. (5421524.57 ticks, tree = 191.44 MB) 17294 12591 55025.9969 1041 71644.2664 54710.1353 14666644 23.64% 17318 12615 55034.0156 1043 71644.2664 54710.1353 14674354 23.64% 17342 12639 55065.0935 1024 71644.2664 54710.1353 14700969 23.64% 17354 12651 55079.5916 1033 71644.2664 54710.1353 14709069 23.64% 17402 12699 55094.8732 1010 71644.2664 54710.1353 14749518 23.64% 17414 12711 55100.5944 1016 71644.2664 54710.1353 14757254 23.64% 17426 12723 55122.0507 993 71644.2664 54710.1353 14765934 23.64% 17462 12759 55146.8818 996 71644.2664 54710.1353 14816990 23.64% 17474 12771 55178.7783 998 71644.2664 54710.1353 14822697 23.64% 17498 12795 55206.3758 998 71644.2664 54710.1353 14842924 23.64% Elapsed time = 15246.68 sec. (5487467.01 ticks, tree = 191.44 MB) 17522 12819 55226.5039 1002 71644.2664 54710.1353 14865203 23.64% 17546 12843 55317.2808 975 71644.2664 54710.1353 14888222 23.64% 17570 12867 55404.7922 988 71644.2664 54710.1353 14900019 23.64% 17594 12891 55411.4741 986 71644.2664 54710.1353 14912288 23.64% 17630 12927 55417.9580 990 71644.2664 54710.1353 14939366 23.64% 17642 12939 55408.8624 997 71644.2664 54710.1353 14957479 23.64% 17666 12963 55457.5206 938 71644.2664 54710.1353 14974882 23.64% 17690 12987 55506.6121 946 71644.2664 54710.1353 14985004 23.64% 17714 13011 55523.0475 945 71644.2664 54710.1353 15000558 23.64% 17738 13033 55527.9214 937 71644.2664 54710.1353 15026831 23.64% Elapsed time = 15473.36 sec. (5552812.39 ticks, tree = 191.44 MB) 17774 13069 55539.4682 936 71644.2664 54710.1353 15047859 23.64% 19581 14854 58522.2464 668 71644.2664 54710.1353 16091836 23.64% 20421 15672 62258.1826 499 71644.2664 54710.1353 16467100 23.64% 20424 15675 55646.3903 925 71644.2664 54710.1353 16471088 23.64% 20448 15699 55568.3351 917 71644.2664 54710.1353 16516130 23.64% 20474 15725 59475.1498 565 71644.2664 54710.1353 16538249 23.64% 20484 15735 55574.1697 905 71644.2664 54710.1353 16551741 23.64% 20522 15773 59476.5365 563 71644.2664 54710.1353 16574792 23.64% 20556 15807 55623.8035 890 71644.2664 54710.1353 16595224 23.64% 20568 15819 55579.3701 897 71644.2664 54710.1353 16601259 23.64% Elapsed time = 15683.87 sec. (5611237.56 ticks, tree = 265.33 MB) 20580 15831 55640.6141 896 71644.2664 54710.1353 16613271 23.64% 20604 15855 55688.8809 868 71644.2664 54710.1353 16627156 23.64% 20640 15891 55908.6785 858 71644.2664 54710.1353 16644479 23.64% 20688 15939 55930.1628 859 71644.2664 54710.1353 16684247 23.64% 20712 15961 55934.6694 859 71644.2664 54710.1353 16697622 23.64% 20736 15985 55936.2346 853 71644.2664 54710.1353 16707129 23.64% 20772 16021 56023.3586 842 71644.2664 54710.1353 16731189 23.64% 20796 16045 55960.0873 851 71644.2664 54710.1353 16746159 23.64% 20832 16081 56004.9475 847 71644.2664 54710.1353 16771681 23.64% 20844 16093 56059.4315 864 71644.2664 54710.1353 16780912 23.64% Elapsed time = 15894.64 sec. (5671650.70 ticks, tree = 265.33 MB) 20868 16117 56064.0635 829 71644.2664 54710.1353 16802845 23.64% 20892 16141 56056.9328 817 71644.2664 54710.1353 16817364 23.64% 20928 16177 56133.8096 834 71644.2664 54710.1353 16842828 23.64% 20940 16189 56073.8817 836 71644.2664 54710.1353 16851160 23.64% 20976 16225 56088.9892 818 71644.2664 54710.1353 16868792 23.64% 21000 16249 56362.5792 830 71644.2664 54710.1353 16885632 23.64% 21036 16285 56104.0850 820 71644.2664 54710.1353 16904595 23.64% 21060 16309 56167.4400 837 71644.2664 54710.1353 16920490 23.64% 21096 16345 56159.8132 801 71644.2664 54710.1353 16948369 23.64% 21108 16357 56127.7163 814 71644.2664 54710.1353 16957028 23.64% Elapsed time = 16100.11 sec. (5730049.92 ticks, tree = 265.33 MB) 21132 16381 56150.2792 839 71644.2664 54710.1353 16979022 23.64% 21156 16405 56149.8313 850 71644.2664 54710.1353 16987504 23.64% 21180 16429 56164.4780 845 71644.2664 54710.1353 17002146 23.64% 21204 16453 56188.4396 831 71644.2664 54710.1353 17013549 23.64% 21228 16477 56208.6637 816 71644.2664 54710.1353 17026623 23.64% 21264 16513 56371.5207 814 71644.2664 54710.1353 17058640 23.64% 21300 16549 56449.3728 801 71644.2664 54710.1353 17087989 23.64% 21336 16585 56541.2579 799 71644.2664 54710.1353 17106999 23.64% 21360 16609 56312.3556 770 71644.2664 54710.1353 17117511 23.64% 21372 16621 56280.1815 798 71644.2664 54710.1353 17127576 23.64% Elapsed time = 16283.13 sec. (5782673.20 ticks, tree = 265.33 MB) 21384 16633 56470.3526 791 71644.2664 54710.1353 17138977 23.64% 21420 16669 56798.4669 721 71644.2664 54710.1353 17166581 23.64% 21444 16693 56293.0667 812 71644.2664 54710.1353 17183105 23.64% 21480 16729 56308.7235 794 71644.2664 54710.1353 17199712 23.64% 21516 16765 56350.1687 799 71644.2664 54710.1353 17224923 23.64% 21528 16777 56503.7420 741 71644.2664 54710.1353 17229707 23.64% 21552 16801 56327.6460 785 71644.2664 54710.1353 17242516 23.64% 21612 16857 56363.7973 749 71644.2664 54710.1353 17275678 23.64% 21636 16879 56373.5283 778 71644.2664 54710.1353 17283932 23.64% 21696 16939 56478.0825 777 71644.2664 54710.1353 17306639 23.64% Elapsed time = 16519.19 sec. (5849509.73 ticks, tree = 265.33 MB) 21720 16961 56467.6853 780 71644.2664 54710.1353 17318883 23.64% 21744 16985 56380.8850 746 71644.2664 54710.1353 17331415 23.64% 21756 16997 57034.5491 732 71644.2664 54710.1353 17341990 23.64% 21816 17055 56406.2946 739 71644.2664 54710.1353 17371626 23.64% 21828 17067 56600.8127 760 71644.2664 54710.1353 17381817 23.64% 21864 17103 56438.0102 732 71644.2664 54710.1353 17398527 23.64% 21888 17125 54754.9543 1102 71644.2664 54710.1353 17419718 23.64% * 23670+18885 71588.9843 54710.1353 18461435 23.58% * 23670+18885 71519.5485 54710.1353 18461435 23.50% * 23670+18885 71512.2537 54710.1353 18461435 23.50% 24112 19322 58141.5575 646 71512.2537 54710.1353 18643374 23.50% 24117 19327 54774.4152 1094 71512.2537 54710.1353 18648221 23.50% 24129 19339 54779.6251 1098 71512.2537 54710.1353 18663557 23.50% Elapsed time = 16786.39 sec. (5933819.44 ticks, tree = 341.74 MB) 24153 19363 54783.4831 1109 71512.2537 54710.1353 18685121 23.50% 24201 19411 54786.1766 1085 71512.2537 54710.1353 18711806 23.50% 24225 19435 54812.9942 1075 71512.2537 54710.1353 18732249 23.50% 24261 19471 54857.8591 1049 71512.2537 54710.1353 18755048 23.50% 24273 19483 54864.8527 1037 71512.2537 54710.1353 18758020 23.50% 24297 19507 54901.4733 1029 71512.2537 54710.1353 18782650 23.50% 24321 19531 54945.0607 1024 71512.2537 54710.1353 18797461 23.50% 24357 19567 54971.2692 1025 71512.2537 54710.1353 18823666 23.50% 24369 19579 54983.5323 1021 71512.2537 54710.1353 18836734 23.50% 24405 19615 55044.2136 999 71512.2537 54710.1353 18863740 23.50% Elapsed time = 17086.65 sec. (6026745.59 ticks, tree = 341.74 MB) 24417 19623 55060.5102 1002 71512.2537 54710.1353 18871658 23.50% 24429 19635 55080.6827 993 71512.2537 54710.1353 18876720 23.50% 24441 19647 55093.7082 982 71512.2537 54710.1353 18897078 23.50% 24501 19705 55128.4885 973 71512.2537 54710.1353 18927329 23.50% 24525 19727 55154.2137 968 71512.2537 54710.1353 18938786 23.50% 24537 19739 55171.8349 975 71512.2537 54710.1353 18950485 23.50% 24561 19763 55269.9789 935 71512.2537 54710.1353 18967253 23.50% 24585 19787 55284.3413 963 71512.2537 54710.1353 18975619 23.50% 24609 19811 55303.4755 951 71512.2537 54710.1353 18987022 23.50% 24633 19835 55350.2938 953 71512.2537 54710.1353 18995161 23.50% Elapsed time = 17281.63 sec. (6082464.79 ticks, tree = 341.74 MB) 24657 19859 55374.3858 946 71512.2537 54710.1353 19006283 23.50% 24669 19871 55496.5963 918 71512.2537 54710.1353 19025276 23.50% 24705 19905 55510.3426 906 71512.2537 54710.1353 19039027 23.50% 24729 19927 55541.2166 920 71512.2537 54710.1353 19047930 23.50% 24741 19939 55565.9160 914 71512.2537 54710.1353 19053068 23.50% 24777 19975 55650.4241 913 71512.2537 54710.1353 19078902 23.50% 24789 19987 55663.3324 893 71512.2537 54710.1353 19088606 23.50% 24813 20011 55729.5417 898 71512.2537 54710.1353 19100878 23.50% 24849 20047 55755.2351 883 71512.2537 54710.1353 19118047 23.50% 24897 20095 55763.6602 872 71512.2537 54710.1353 19143717 23.50% Elapsed time = 17490.03 sec. (6141789.70 ticks, tree = 341.74 MB) 24921 20119 55781.8270 881 71512.2537 54710.1353 19153807 23.50% 24933 20131 55896.3623 870 71512.2537 54710.1353 19161514 23.50% 24945 20143 56004.9381 867 71512.2537 54710.1353 19168684 23.50% 24993 20191 56084.4268 849 71512.2537 54710.1353 19193496 23.50% 25053 20247 56108.5738 805 71512.2537 54710.1353 19252668 23.50% 25089 20278 56136.0092 851 71512.2537 54710.1353 19274489 23.50% 25113 20300 56142.3576 803 71512.2537 54710.1353 19294758 23.50% 25197 20382 56226.3254 772 71512.2537 54710.1353 19350192 23.50% 25269 20454 56273.4100 806 71512.2537 54710.1353 19398687 23.50% 25329 20512 56298.5575 773 71512.2537 54710.1353 19423546 23.50% Elapsed time = 17701.10 sec. (6201834.57 ticks, tree = 341.74 MB) 25377 20557 56365.3752 761 71512.2537 54710.1353 19453745 23.50% 25401 20581 56370.7431 755 71512.2537 54710.1353 19471103 23.50% 25425 20603 56448.7224 760 71512.2537 54710.1353 19483913 23.50% 25461 20637 56497.0671 772 71512.2537 54710.1353 19512253 23.50% 25631 20795 55408.1721 955 71512.2537 54710.1353 19628069 23.50% * 26424+21567 71476.9213 54710.1353 20051008 23.46% * 26424+21567 71463.2093 54710.1353 20051008 23.44% * 26424+21567 71455.6057 54710.1353 20051008 23.43% 26823 21966 55344.1138 967 71455.6057 54710.1353 20314152 23.43% 27468 22599 55363.4010 943 71455.6057 54713.2542 20587562 23.43% 27469 22600 54743.7061 1136 71455.6057 54713.2542 20598033 23.43% 27479 22610 58923.7677 576 71455.6057 54713.2542 20668108 23.43% 27491 22622 59543.3570 578 71455.6057 54713.2542 20705879 23.43% Elapsed time = 18071.97 sec. (6292534.94 ticks, tree = 409.27 MB) 27527 22658 59139.4877 573 71455.6057 54713.2542 20775596 23.43% 27539 22670 59062.4712 565 71455.6057 54713.2542 20804829 23.43% 27561 22692 55562.7838 956 71455.6057 54713.2542 20838851 23.43% 27573 22704 55613.6464 955 71455.6057 54713.2542 20862188 23.43% 27597 22728 55690.2081 946 71455.6057 54713.2542 20895180 23.43% 27609 22740 55653.0130 950 71455.6057 54713.2542 20910143 23.43% 27621 22752 55686.2406 944 71455.6057 54713.2542 20916950 23.43% 27637 22768 54954.4114 967 71455.6057 54713.2542 21098621 23.43% 27673 22802 54797.1824 1070 71455.6057 54713.2542 21136668 23.43% 27685 22814 54809.5596 1026 71455.6057 54713.2542 21157152 23.43% Elapsed time = 18936.36 sec. (6536181.88 ticks, tree = 409.27 MB) 29406 24526 56401.3361 804 71455.6057 54713.2542 22436001 23.43% 29430 24550 56441.6681 823 71455.6057 54713.2542 22463746 23.43% 29442 24562 56565.3877 816 71455.6057 54713.2542 22485005 23.43% 29443 24563 54918.1006 1027 71455.6057 54713.2542 22490906 23.43% 29455 24575 54854.9264 1021 71455.6057 54713.2542 22518834 23.43% 29479 24597 54922.0641 1000 71455.6057 54713.2542 22549261 23.43% 29515 24633 54924.1971 1000 71455.6057 54713.2542 22583117 23.43% 29539 24657 54951.7118 990 71455.6057 54713.2542 22616335 23.43% 29557 24675 54870.6458 1068 71455.6057 54713.2542 22633101 23.43% 29569 24687 54857.1658 1094 71455.6057 54713.2542 22646509 23.43% Elapsed time = 19219.98 sec. (6617827.89 ticks, tree = 448.83 MB) 29581 24699 54876.2170 1061 71455.6057 54713.2542 22657091 23.43% 29617 24735 54881.5465 1049 71455.6057 54713.2542 22689555 23.43% 29629 24747 54883.6088 1049 71455.6057 54713.2542 22697207 23.43% 29641 24759 54898.0478 1035 71455.6057 54713.2542 22702899 23.43% 29665 24783 54915.9890 1016 71455.6057 54713.2542 22724517 23.43% 29677 24795 54926.0137 1023 71455.6057 54713.2542 22732550 23.43% 29701 24819 54918.8091 1024 71455.6057 54713.2542 22763306 23.43% 29725 24843 54924.4232 1014 71455.6057 54713.2542 22777984 23.43% 29737 24855 55007.6233 1023 71455.6057 54713.2542 22790364 23.43% 29749 24867 54943.3561 1016 71455.6057 54713.2542 22803139 23.43% Elapsed time = 19487.93 sec. (6693783.15 ticks, tree = 448.83 MB) 29761 24877 54948.7970 1022 71455.6057 54713.2542 22814150 23.43% 29773 24889 54978.9173 1015 71455.6057 54713.2542 22825890 23.43% 29785 24901 55036.6908 995 71455.6057 54713.2542 22837279 23.43% 29797 24913 55066.6609 994 71455.6057 54713.2542 22850306 23.43% 29809 24925 55046.3828 964 71455.6057 54713.2542 22863399 23.43% 29845 24955 55186.1425 978 71455.6057 54713.2542 22887810 23.43% 29857 24967 55212.1691 979 71455.6057 54713.2542 22902935 23.43% 29893 25003 55205.6661 990 71455.6057 54713.2542 22926519 23.43% 29917 25027 55208.2909 977 71455.6057 54713.2542 22949501 23.43% 29941 25051 55212.5193 978 71455.6057 54713.2542 22977147 23.43% Elapsed time = 19747.84 sec. (6767811.10 ticks, tree = 448.83 MB) 29965 25075 55212.5048 977 71455.6057 54713.2542 23009571 23.43% 29977 25087 55215.6815 970 71455.6057 54713.2542 23024659 23.43% 30025 25135 55229.9629 956 71455.6057 54713.2542 23077760 23.43% 30049 25159 55233.8945 962 71455.6057 54713.2542 23109306 23.43% 30085 25195 55256.4167 945 71455.6057 54713.2542 23141266 23.43% 30097 25207 55290.9712 950 71455.6057 54713.2542 23147678 23.43% 30109 25219 55325.2974 955 71455.6057 54713.2542 23162439 23.43% 30157 25267 55397.0433 932 71455.6057 54713.2542 23232431 23.43% 30205 25315 55419.4157 914 71455.6057 54713.2542 23276013 23.43% 30217 25327 55463.5541 915 71455.6057 54713.2542 23281653 23.43% Elapsed time = 19954.68 sec. (6825995.51 ticks, tree = 448.83 MB) 30229 25339 55636.9547 911 71455.6057 54713.2542 23292518 23.43% 30253 25363 55478.3311 928 71455.6057 54713.2542 23323179 23.43% 30852 25962 57270.6250 713 71455.6057 54713.2542 23770704 23.43% 32072 27168 54845.8983 1066 71455.6057 54713.2542 24296451 23.43% 32096 27192 54941.3185 1045 71455.6057 54713.2542 24319732 23.43% 32120 27216 54944.0250 1036 71455.6057 54713.2542 24351549 23.43% 32132 27228 54951.3046 1032 71455.6057 54713.2542 24362809 23.43% 32156 27252 55034.1976 1025 71455.6057 54713.2542 24388134 23.43% 32204 27300 55056.9504 1002 71455.6057 54713.2542 24424243 23.43% 32228 27324 55188.7533 1014 71455.6057 54713.2542 24449369 23.43% Elapsed time = 20187.69 sec. (6891486.40 ticks, tree = 504.45 MB) 32252 27348 55199.0539 999 71455.6057 54713.2542 24465691 23.43% 32274 27370 56014.2140 813 71455.6057 54713.2542 24489169 23.43% 32286 27382 56027.3006 843 71455.6057 54713.2542 24496206 23.43% 32313 27409 55527.1231 947 71455.6057 54713.2542 24530182 23.43% 32337 27433 55412.8367 928 71455.6057 54713.2542 24555722 23.43% 32373 27469 55421.0496 914 71455.6057 54713.2542 24588697 23.43% 32385 27481 55424.0188 925 71455.6057 54713.2542 24606529 23.43% 32397 27493 55468.9464 927 71455.6057 54713.2542 24617775 23.43% 32421 27517 55484.4620 935 71455.6057 54713.2542 24647616 23.43% 32445 27541 55485.4035 928 71455.6057 54713.2542 24676852 23.43% Elapsed time = 20384.92 sec. (6949056.53 ticks, tree = 504.45 MB) 32480 27574 55722.2025 924 71455.6057 54713.2542 24719723 23.43% 32493 27587 55678.1214 915 71455.6057 54713.2542 24729089 23.43% 32517 27611 55702.6563 907 71455.6057 54713.2542 24754525 23.43% 32553 27647 55918.4443 883 71455.6057 54713.2542 24793082 23.43% 32577 27671 55748.2824 900 71455.6057 54713.2542 24812972 23.43% 32600 27694 56157.4255 878 71455.6057 54713.2542 24830858 23.43% 32624 27718 56187.8092 849 71455.6057 54713.2542 24847032 23.43% 32660 27754 56214.9252 863 71455.6057 54713.2542 24879515 23.43% 32673 27767 55788.6961 885 71455.6057 54713.2542 24892227 23.43% 32709 27803 55834.9296 879 71455.6057 54713.2542 24929500 23.43% Elapsed time = 20568.67 sec. (7001734.51 ticks, tree = 504.45 MB) 32745 27839 55773.5288 893 71455.6057 54713.2542 24960705 23.43% 32748 27842 56883.9329 756 71455.6057 54713.2542 24969405 23.43% 32805 27899 55872.5544 886 71455.6057 54713.2542 25015237 23.43% 32844 27938 56221.6220 837 71455.6057 54713.2542 25050847 23.43% 32880 27974 56252.0563 800 71455.6057 54713.2542 25072122 23.43% 32904 27997 56287.9788 815 71455.6057 54713.2542 25102016 23.43% 32952 28043 56250.4439 782 71455.6057 54713.2542 25148798 23.43% 32973 28064 56461.7068 846 71455.6057 54713.2542 25170838 23.43% 32976 28067 56288.1714 805 71455.6057 54713.2542 25179924 23.43% 33024 28115 57156.5458 782 71455.6057 54713.2542 25220607 23.43% Elapsed time = 20915.72 sec. (7097237.83 ticks, tree = 504.45 MB) 33060 28149 56282.0245 784 71455.6057 54713.2542 25246300 23.43% 33096 28185 56290.8015 772 71455.6057 54713.2542 25280456 23.43% 33120 28209 56304.1831 766 71455.6057 54713.2542 25296238 23.43% 33144 28232 56391.8445 806 71455.6057 54713.2542 25316213 23.43% 33204 28290 56402.7408 769 71455.6057 54713.2542 25354942 23.43% 33228 28314 56411.2821 772 71455.6057 54713.2542 25379088 23.43% 34712 29755 54757.0561 1139 71455.6057 54713.2542 26193834 23.43% 34719 29762 54841.3197 1133 71455.6057 54713.2542 26201666 23.43% 34730 29773 54751.9064 1131 71455.6057 54713.2542 26210994 23.43% 34742 29785 54765.9242 1118 71455.6057 54713.2542 26219449 23.43% Elapsed time = 21156.43 sec. (7177486.96 ticks, tree = 558.56 MB) 34754 29797 54825.1605 1114 71455.6057 54713.2542 26229596 23.43% 34766 29809 54792.4144 1104 71455.6057 54713.2542 26248218 23.43% 34778 29821 54767.9946 1114 71455.6057 54713.2542 26261928 23.43% 34790 29833 54765.9285 1116 71455.6057 54713.2542 26280116 23.43% 34802 29845 54806.8248 1117 71455.6057 54713.2542 26307486 23.43% 34814 29857 54838.3726 1108 71455.6057 54713.2542 26411542 23.43% 34826 29869 54800.6786 1105 71455.6057 54713.2542 26434329 23.43% 34838 29881 54801.0775 1115 71455.6057 54713.2542 26443579 23.43% 34850 29893 54834.0420 1104 71455.6057 54713.2542 26457401 23.43% 34862 29905 54790.3938 1117 71455.6057 54713.2542 26470929 23.43% Elapsed time = 21993.54 sec. (7408565.64 ticks, tree = 558.56 MB) 34886 29929 54805.9467 1107 71455.6057 54713.2542 26506160 23.43% 34898 29941 54809.6766 1119 71455.6057 54713.2542 26519340 23.43% 34910 29953 54909.4373 1081 71455.6057 54713.2542 26531043 23.43% 34934 29977 54930.0813 1056 71455.6057 54713.2542 26549150 23.43% 34958 30001 54961.3229 1035 71455.6057 54713.2542 26571771 23.43% * 36688+31725 71452.1861 54713.2542 27898178 23.43% * 36688+31725 71446.4129 54713.2542 27898178 23.42% * 36688+31725 71445.3584 54713.2542 27898178 23.42% * 36889+31915 71434.0096 54713.2542 27988457 23.41% 36889 31917 55657.7095 970 71434.0096 54713.2542 27988457 23.41% 36939 31967 57533.3367 701 71434.0096 54713.2542 28046260 23.41% 36948 31976 57815.1776 660 71434.0096 54713.2542 28068861 23.41% 36960 31988 57813.2652 686 71434.0096 54713.2542 28084263 23.41% 36985 32013 55637.8770 956 71434.0096 54713.2542 28269153 23.41% Elapsed time = 22899.74 sec. (7645826.56 ticks, tree = 603.40 MB) 37045 32073 55669.1468 957 71434.0096 54713.2542 28302591 23.41% 37093 32121 55671.0013 929 71434.0096 54713.2542 28336378 23.41% 37105 32133 55817.8767 922 71434.0096 54713.2542 28351954 23.41% 37129 32157 55828.9601 926 71434.0096 54713.2542 28362272 23.41% 37141 32169 55896.4910 882 71434.0096 54713.2542 28376694 23.41% 37153 32181 56059.5192 885 71434.0096 54713.2542 28390271 23.41% 37165 32193 56160.7445 869 71434.0096 54713.2542 28400241 23.41% 37201 32229 56069.6602 877 71434.0096 54713.2542 28434493 23.41% 37213 32241 56068.1910 890 71434.0096 54713.2542 28444033 23.41% 37249 32277 56077.8185 864 71434.0096 54713.2542 28474077 23.41% Elapsed time = 23135.51 sec. (7712380.85 ticks, tree = 603.40 MB) 37285 32313 56087.7511 864 71434.0096 54713.2542 28494435 23.41% 37309 32337 56107.7920 862 71434.0096 54713.2542 28514857 23.41% * 37324+32350 71434.0096 54713.2542 28528232 23.41% 37333 32361 56148.4686 852 71434.0096 54713.2542 28536713 23.41% 37345 32373 56165.5820 856 71434.0096 54713.2542 28554319 23.41% 37369 32397 56224.9081 852 71434.0096 54713.2542 28576223 23.41% 37429 32457 56197.6177 847 71434.0096 54713.2542 28617371 23.41% * 38372+33395 71424.2190 54713.2542 29288679 23.40% * 38372+33395 71422.6062 54713.2542 29288679 23.40% * 38372+33395 71414.4995 54713.2542 29288679 23.39% 38444 33469 54779.6555 1131 71414.4995 54713.2542 29343037 23.39% 39471 34481 56231.4970 836 71414.4995 54713.2542 29912099 23.39% 39481 34491 59966.4658 565 71414.4995 54713.2542 29923113 23.39% 39509 34519 60347.5964 585 71414.4995 54713.2542 29947289 23.39% Elapsed time = 23255.10 sec. (7766972.82 ticks, tree = 656.96 MB) 39519 34529 57106.3889 809 71414.4995 54713.2542 29960063 23.39% 39577 34587 60401.1039 569 71414.4995 54713.2542 29999873 23.39% 39581 34591 59804.9333 590 71414.4995 54713.2542 30010288 23.39% 39591 34601 57171.6893 797 71414.4995 54713.2542 30032570 23.39% 39654 34663 54867.4014 1114 71414.4995 54713.2542 30103631 23.39% 39678 34687 54867.4132 1111 71414.4995 54713.2542 30138166 23.39% 39702 34711 54920.5519 1090 71414.4995 54713.2542 30158304 23.39% 39726 34735 54960.7622 1078 71414.4995 54713.2542 30178364 23.39% 39738 34747 55059.7492 1063 71414.4995 54713.2542 30200614 23.39% 39774 34781 55071.1602 1044 71414.4995 54713.2542 30229257 23.39% Elapsed time = 23623.06 sec. (7868440.09 ticks, tree = 656.96 MB) 39798 34805 55071.8928 1050 71414.4995 54713.2542 30250147 23.39% 39810 34817 55072.5060 1028 71414.4995 54713.2542 30261077 23.39% 39846 34853 55077.7681 1014 71414.4995 54713.2542 30284710 23.39% 39892 34899 55350.1387 998 71414.4995 54713.2542 30317005 23.39% 39928 34935 56089.4231 944 71414.4995 54713.2542 30348480 23.39% 39952 34959 55293.0714 982 71414.4995 54713.2542 30361089 23.39% 39976 34983 55367.4035 992 71414.4995 54713.2542 30369915 23.39% 40000 35007 55370.7700 960 71414.4995 54713.2542 30382749 23.39% 40012 35019 55376.7879 961 71414.4995 54713.2542 30398377 23.39% 40036 35043 55454.7202 973 71414.4995 54713.2542 30412334 23.39% Elapsed time = 23880.71 sec. (7946110.12 ticks, tree = 656.96 MB) 40048 35053 55388.6015 948 71414.4995 54713.2542 30414835 23.39% 40060 35063 55397.3836 953 71414.4995 54713.2542 30431562 23.39% 40108 35109 55431.9681 941 71414.4995 54713.2542 30470629 23.39% 40132 35133 55449.0512 941 71414.4995 54713.2542 30484601 23.39% 40156 35157 55446.6934 945 71414.4995 54713.2542 30494234 23.39% 40180 35181 55454.5029 947 71414.4995 54713.2542 30513068 23.39% 40204 35205 55484.3166 947 71414.4995 54713.2542 30538083 23.39% 40252 35253 55484.6837 940 71414.4995 54713.2542 30560989 23.39% 40300 35301 55489.2092 913 71414.4995 54713.2542 30591862 23.39% 40324 35325 56083.6770 905 71414.4995 54713.2542 30617850 23.39% Elapsed time = 24085.74 sec. (8004783.12 ticks, tree = 656.96 MB) 40336 35337 55535.9909 950 71414.4995 54713.2542 30621947 23.39% 40372 35373 55773.3663 895 71414.4995 54713.2542 30653092 23.39% 40420 35421 55806.6108 911 71414.4995 54713.2542 30681841 23.39% 40444 35445 55814.8425 922 71414.4995 54713.2542 30695076 23.39% 40468 35469 55801.2544 909 71414.4995 54713.2542 30707206 23.39% 40636 35637 56284.9655 863 71414.4995 54713.2542 30856653 23.39% 41112 36109 60274.0417 595 71414.4995 54713.2542 31137444 23.39% * 42167+37149 71411.8816 54713.2542 31620148 23.38% * 42720+37681 71410.6297 54713.2542 31804371 23.38% * 42720+37681 71395.3436 54713.2542 31804371 23.37% 42720 37683 60385.5016 564 71395.3436 54713.2542 31804371 23.37% 42721 37684 58648.8700 594 71395.3436 54713.2542 31804407 23.37% 42722 37685 59717.5150 668 71395.3436 54713.2542 31806407 23.37% Elapsed time = 29371.39 sec. (11327966.50 ticks, tree = 773.46 MB) * 42723+37684 71391.6582 54713.2542 31808464 23.36% 42725 37688 56290.2566 854 71391.6582 54713.2542 31810089 23.36% * 42726+37687 71383.1172 54713.2542 31814982 23.35% * 42727+37688 71381.5501 54713.2542 31819304 23.35% 42728 37691 63862.9500 482 71381.5501 54713.2542 31819773 23.35% 42732 37693 54791.7401 1125 71381.5501 54713.2542 31828284 23.35% 42744 37705 54838.4536 1120 71381.5501 54713.2542 32088741 23.35% 43844 38800 54804.6120 1100 71381.5501 54737.6755 33339005 23.32% 43853 38809 55624.0950 1072 71381.5501 54737.6755 33393708 23.32% 43856 38812 54797.6227 1106 71381.5501 54737.6755 33410803 23.32% 45038 39993 54811.1830 1129 71381.5501 54737.7225 34948129 23.32% 45050 40004 54830.0034 1129 71381.5501 54737.7225 34980994 23.32% 45062 40014 54896.2335 1102 71381.5501 54737.7225 35005900 23.32% Elapsed time = 32992.40 sec. (12565745.81 ticks, tree = 767.65 MB) 45074 40026 54827.9819 1123 71381.5501 54737.7225 35035203 23.32% 45086 40038 54877.9526 1119 71381.5501 54737.7225 35077534 23.32% 45098 40048 55660.9563 1059 71381.5501 54737.7225 35105630 23.32% 45110 40058 54929.2056 1096 71381.5501 54737.7225 35135821 23.32% 45122 40070 54844.5934 1128 71381.5501 54737.7225 35175906 23.32% 45134 40082 54924.1303 1117 71381.5501 54737.7225 35210135 23.32% 45146 40094 54868.4728 1130 71381.5501 54737.7225 35243689 23.32% 45158 40106 55549.1893 1014 71381.5501 54737.7225 35304789 23.32% 45170 40118 55767.9238 1024 71381.5501 54737.7225 35346278 23.32% 45182 40130 56029.4742 1019 71381.5501 54737.7225 35370860 23.32% Elapsed time = 33604.85 sec. (12786449.86 ticks, tree = 767.65 MB) 45313 40261 54835.7542 1106 71381.5501 54737.7225 35622039 23.32% 46710 41656 55164.1202 1068 71381.5501 54737.7225 36654902 23.32% 46711 41657 54963.1890 1060 71381.5501 54737.7225 36664830 23.32% 46716 41662 54888.5182 1115 71381.5501 54737.7225 36684944 23.32% 46728 41674 54845.7097 1130 71381.5501 54737.7225 36706762 23.32% 46752 41698 54919.6751 1119 71381.5501 54737.7225 36762723 23.32% 46764 41710 54931.6564 1094 71381.5501 54737.7225 36782123 23.32% 46795 41741 55072.2447 1051 71381.5501 54737.7225 36830884 23.32% 46807 41753 55148.6282 1034 71381.5501 54737.7225 36845849 23.32% 46819 41765 55072.5979 1042 71381.5501 54737.7225 36861884 23.32% Elapsed time = 34251.40 sec. (12920634.11 ticks, tree = 799.10 MB) 46831 41777 55083.4190 1036 71381.5501 54737.7225 36871068 23.32% 46843 41789 55099.7616 1012 71381.5501 54737.7225 36891050 23.32% 46867 41813 55087.8473 1025 71381.5501 54737.7225 36921977 23.32% 46927 41873 55098.0520 1013 71381.5501 54737.7225 36986269 23.32% 46951 41897 55131.6653 1026 71381.5501 54737.7225 37001873 23.32% 46963 41909 55168.8846 1033 71381.5501 54737.7225 37017303 23.32% 46987 41933 55154.1788 1012 71381.5501 54737.7225 37043953 23.32% 46999 41945 55257.5984 1003 71381.5501 54737.7225 37058874 23.32% 47023 41969 55252.6836 983 71381.5501 54737.7225 37079493 23.32% 47047 41993 55252.9476 980 71381.5501 54737.7225 37095814 23.32% Elapsed time = 34493.35 sec. (12990266.83 ticks, tree = 799.10 MB) 47083 42029 55275.4513 979 71381.5501 54737.7225 37124231 23.32% 47107 42053 55280.6213 979 71381.5501 54737.7225 37143161 23.32% 47119 42065 55299.2123 952 71381.5501 54737.7225 37173751 23.32% 47143 42089 55507.9584 967 71381.5501 54737.7225 37191058 23.32% 47167 42113 55545.6148 959 71381.5501 54737.7225 37214998 23.32% 47191 42137 55683.3044 934 71381.5501 54737.7225 37236847 23.32% 47215 42161 55554.9030 966 71381.5501 54737.7225 37270677 23.32% 47263 42209 55565.2500 944 71381.5501 54737.7225 37319905 23.32% 47311 42257 55578.0385 934 71381.5501 54737.7225 37353556 23.32% 47323 42269 55617.9429 931 71381.5501 54737.7225 37366458 23.32% Elapsed time = 34734.75 sec. (13059942.17 ticks, tree = 799.10 MB) 47335 42281 55697.5638 956 71381.5501 54737.7225 37385519 23.32% 47383 42329 55725.5124 930 71381.5501 54737.7225 37428642 23.32% 47443 42389 55701.0823 921 71381.5501 54737.7225 37478555 23.32% 47455 42401 55703.3105 918 71381.5501 54737.7225 37492052 23.32% 47467 42412 55795.2422 880 71381.5501 54737.7225 37511227 23.32% 47491 42436 55742.9885 911 71381.5501 54737.7225 37531206 23.32% 47515 42460 55778.1520 932 71381.5501 54737.7225 37554380 23.32% 47872 42817 54896.5761 1086 71381.5501 54737.7225 37870438 23.32% 48781 43726 55745.5174 1062 71381.5501 54760.6036 38451503 23.28% 48793 43738 55727.7747 1055 71381.5501 54760.6036 38465471 23.28% Elapsed time = 35003.89 sec. (13126360.78 ticks, tree = 838.90 MB) 48805 43750 55748.1517 1051 71381.5501 54760.6036 38493859 23.28% 48810 43755 55681.6651 1073 71381.5501 54760.6036 38514779 23.28% 48822 43767 55708.0854 1068 71381.5501 54760.6036 38533193 23.28% 48841 43786 55791.4727 1051 71381.5501 54760.6036 38560372 23.28% 48853 43798 55844.9881 1056 71381.5501 54760.6036 38578065 23.28% 48865 43810 55891.2238 1032 71381.5501 54760.6036 38598995 23.28% 48901 43846 55850.0879 1021 71381.5501 54760.6036 38633560 23.28% 48913 43858 55808.9027 1030 71381.5501 54760.6036 38649789 23.28% 48925 43870 55861.9980 1031 71381.5501 54760.6036 38664501 23.28% 48949 43894 55873.0892 1016 71381.5501 54760.6036 38711828 23.28% Elapsed time = 35256.41 sec. (13197507.48 ticks, tree = 838.90 MB) 48966 43911 55845.3835 1050 71381.5501 54760.6036 38733288 23.28% 48985 43930 55884.8409 1019 71381.5501 54760.6036 38766738 23.28% 49021 43966 55934.1795 993 71381.5501 54760.6036 38798891 23.28% 49033 43978 55938.7748 1004 71381.5501 54760.6036 38804501 23.28% 49069 44014 55981.6711 1002 71381.5501 54760.6036 38825553 23.28% 49093 44038 56034.8485 994 71381.5501 54760.6036 38837641 23.28% 49117 44062 56000.4543 1008 71381.5501 54760.6036 38861906 23.28% 49141 44086 56132.4710 993 71381.5501 54760.6036 38880793 23.28% 49177 44122 56031.5130 991 71381.5501 54760.6036 38907969 23.28% 49213 44158 56032.4778 995 71381.5501 54760.6036 38936194 23.28% Elapsed time = 35472.56 sec. (13258875.17 ticks, tree = 838.90 MB) 49249 44194 56057.9200 988 71381.5501 54760.6036 38948070 23.28% 49261 44206 56046.3511 982 71381.5501 54760.6036 38959165 23.28% 49273 44218 56075.4050 988 71381.5501 54760.6036 38971069 23.28% 49309 44254 56065.6211 993 71381.5501 54760.6036 38990763 23.28% 49345 44289 56149.9510 930 71381.5501 54760.6036 39027964 23.28% 49381 44325 56072.5705 965 71381.5501 54760.6036 39040004 23.28% 49393 44337 56199.0744 942 71381.5501 54760.6036 39056837 23.28% 49429 44373 56212.3502 931 71381.5501 54760.6036 39084702 23.28% 49441 44385 56278.4522 931 71381.5501 54760.6036 39091716 23.28% 49453 44397 56227.2951 951 71381.5501 54760.6036 39099228 23.28% Elapsed time = 35692.00 sec. (13321722.10 ticks, tree = 838.90 MB) 49501 44445 56249.4274 944 71381.5501 54760.6036 39143573 23.28% 49525 44469 56272.3106 940 71381.5501 54760.6036 39164216 23.28% 49549 44493 56278.1179 924 71381.5501 54760.6036 39171955 23.28% 49573 44517 56339.4601 911 71381.5501 54760.6036 39181549 23.28% 49597 44541 56436.4308 917 71381.5501 54760.6036 39198450 23.28% 49621 44565 56472.1461 886 71381.5501 54760.6036 39213888 23.28% 49681 44625 56449.7558 903 71381.5501 54760.6036 39250841 23.28% 49705 44649 56498.5983 890 71381.5501 54760.6036 39265174 23.28% 49729 44673 56495.4328 912 71381.5501 54760.6036 39295860 23.28% 49753 44697 56470.0590 872 71381.5501 54760.6036 39326226 23.28% Elapsed time = 35879.53 sec. (13374192.85 ticks, tree = 838.90 MB) 49777 44721 56490.7698 866 71381.5501 54760.6036 39346981 23.28% 49801 44745 56530.1213 848 71381.5501 54760.6036 39372520 23.28% 49837 44781 56540.8300 823 71381.5501 54760.6036 39396828 23.28% 49861 44805 56560.5019 838 71381.5501 54760.6036 39410550 23.28% 49909 44853 56936.3231 807 71381.5501 54760.6036 39438528 23.28% 49945 44889 56567.2446 811 71381.5501 54760.6036 39462410 23.28% 50027 44971 56358.4099 887 71381.5501 54760.6036 39525949 23.28% 50698 45641 55161.6115 1018 71381.5501 54760.6036 40024132 23.28% 50825 45768 55722.8900 1048 71381.5501 54760.6036 40197060 23.28% 50922 45865 55242.2198 1029 71381.5501 54764.7273 40292680 23.28% Elapsed time = 36176.01 sec. (13465239.12 ticks, tree = 878.87 MB) 50931 45873 55743.3073 1060 71381.5501 54764.7273 40317918 23.28% 50949 45891 56484.2256 855 71381.5501 54764.7273 40359374 23.28% 50967 45909 55840.8664 1066 71381.5501 54764.7273 40408225 23.28% 50975 45917 55284.7433 1038 71381.5501 54764.7273 40425860 23.28% 50999 45941 55313.6900 1024 71381.5501 54764.7273 40457570 23.28% 51011 45953 55363.3390 1031 71381.5501 54764.7273 40479154 23.28% 51047 45989 55400.2134 1017 71381.5501 54764.7273 40538603 23.28% 51052 45994 55579.4772 956 71381.5501 54764.7273 40588435 23.28% 51064 46006 55676.8430 961 71381.5501 54764.7273 40609212 23.28% 51080 46022 57117.9285 764 71381.5501 54764.7273 40745000 23.28% Elapsed time = 36783.35 sec. (13630575.21 ticks, tree = 878.87 MB) 51164 46106 57213.2254 765 71381.5501 54764.7273 40849317 23.28% 51212 46154 57228.4838 762 71381.5501 54764.7273 40920435 23.28% 51260 46202 57233.8153 753 71381.5501 54764.7273 40960412 23.28% 51284 46226 57302.2592 765 71381.5501 54764.7273 40990174 23.28% 51296 46238 57401.1110 758 71381.5501 54764.7273 41008762 23.28% 51356 46298 57515.8426 724 71381.5501 54764.7273 41086912 23.28% 51392 46334 57540.0897 732 71381.5501 54764.7273 41131988 23.28% 51440 46382 57551.2355 741 71381.5501 54764.7273 41168409 23.28% 51559 46501 56369.6863 898 71381.5501 54764.7273 41271359 23.28% 51583 46525 56376.1985 879 71381.5501 54764.7273 41297448 23.28% Elapsed time = 36970.44 sec. (13688766.47 ticks, tree = 878.87 MB) 51643 46585 56383.1708 873 71381.5501 54764.7273 41348711 23.28% 51667 46609 56390.5783 863 71381.5501 54764.7273 41368482 23.28% 51691 46633 56432.9391 870 71381.5501 54764.7273 41398363 23.28% 51703 46645 56425.5765 854 71381.5501 54764.7273 41407456 23.28% 51715 46657 56480.5876 859 71381.5501 54764.7273 41420995 23.28% 51751 46693 56518.8032 856 71381.5501 54764.7273 41447155 23.28% 51763 46705 56497.2747 848 71381.5501 54764.7273 41455277 23.28% 51775 46717 56543.0501 837 71381.5501 54764.7273 41467762 23.28% 51811 46752 56697.2492 837 71381.5501 54764.7273 41521783 23.28% 51835 46774 56527.6390 843 71381.5501 54764.7273 41542485 23.28% Elapsed time = 37072.62 sec. (13746476.44 ticks, tree = 878.87 MB) 51859 46798 56530.5464 845 71381.5501 54764.7273 41560657 23.28% 51871 46810 56546.3992 853 71381.5501 54764.7273 41568395 23.28% 51895 46834 56555.4468 821 71381.5501 54764.7273 41585024 23.28% 52084 47016 54862.8216 1111 71381.5501 54764.7273 41776338 23.28% 52612 47544 54907.4580 1122 71381.5501 54764.7273 42082529 23.28% 52907 47839 54895.0341 1119 71381.5501 54764.7273 42215212 23.28% 52943 47875 54897.9248 1121 71381.5501 54764.7273 42256683 23.28% 52955 47887 56122.4708 1000 71381.5501 54764.7273 42301937 23.28% 52979 47907 infeasible 71381.5501 54764.7273 42348576 23.28% 52991 47918 55873.1899 1054 71381.5501 54764.7273 42395173 23.28% Elapsed time = 37768.63 sec. (13934925.89 ticks, tree = 917.99 MB) 53015 47940 54923.0707 1110 71381.5501 54764.7273 42474372 23.28% 53027 47952 54924.0802 1113 71381.5501 54764.7273 42517393 23.28% 53051 47976 54996.9734 1116 71381.5501 54764.7273 42560166 23.28% 53075 48000 54998.9321 1108 71381.5501 54764.7273 42598425 23.28% 53099 48024 55001.4330 1113 71381.5501 54764.7273 42637484 23.28% 53147 48072 55008.2405 1093 71381.5501 54764.7273 42724331 23.28% 53159 48084 55106.3047 1062 71381.5501 54764.7273 42750628 23.28% 53171 48096 55129.9585 1053 71381.5501 54764.7273 42778155 23.28% 53183 48108 55193.8892 1026 71381.5501 54764.7273 42799584 23.28% 53207 48132 55204.9704 1038 71381.5501 54764.7273 42842232 23.28% Elapsed time = 38280.89 sec. (14081301.13 ticks, tree = 917.99 MB) 54449 49370 54908.7094 1103 71381.5501 54764.7273 43831383 23.28% 54455 49376 56276.9782 833 71381.5501 54775.5500 43840264 23.26% 54460 49381 56180.0789 847 71381.5501 54775.5500 43850283 23.26% 54473 49394 54947.4944 1097 71381.5501 54775.5500 43886563 23.26% 54485 49406 54852.2748 1097 71381.5501 54775.5500 43911184 23.26% 54497 49418 54831.1402 1108 71381.5501 54775.5500 43928474 23.26% 54509 49430 54894.6425 1099 71381.5501 54775.5500 43949421 23.26% 54521 49442 54855.7777 1093 71381.5501 54775.5500 43983127 23.26% 54533 49454 54899.0698 1100 71381.5501 54775.5500 44014989 23.26% 54545 49466 54864.4524 1087 71381.5501 54775.5500 44036511 23.26% Elapsed time = 38876.76 sec. (14291466.67 ticks, tree = 947.12 MB) 54547 49468 55078.7497 1042 71381.5501 54775.5500 44167670 23.26% 54557 49478 54887.9890 1098 71381.5501 54775.5500 44183525 23.26% 54569 49490 54903.3205 1124 71381.5501 54775.5500 44206703 23.26% 54593 49514 54806.7723 1141 71381.5501 54775.5500 44233948 23.26% 54605 49526 54898.4503 1133 71381.5501 54775.5500 44253351 23.26% 54653 49574 54936.6590 1122 71381.5501 54775.5500 44312952 23.26% 54665 49586 54885.2026 1136 71381.5501 54775.5500 44329823 23.26% 54677 49598 54811.8916 1134 71381.5501 54775.5500 44344548 23.26% 54689 49610 55758.6612 1037 71381.5501 54775.5500 44368377 23.26% 55673 50589 55502.1067 959 71381.5501 54775.5500 45453855 23.26% Elapsed time = 39477.25 sec. (14418252.63 ticks, tree = 947.12 MB) 56050 50965 54801.4755 1142 71381.5501 54775.5500 45677840 23.26% 56090 51005 54893.3191 1111 71381.5501 54775.5500 45727616 23.26% 56098 51013 55520.2486 962 71381.5501 54775.5500 45742490 23.26% 56101 51016 54869.1393 1108 71381.5501 54775.5500 45752278 23.26% 56109 51024 55541.3863 1029 71381.5501 54775.5500 45879724 23.26% 56145 51060 55602.2837 995 71381.5501 54775.5500 45953375 23.26% 56157 51072 55615.5186 1006 71381.5501 54775.5500 45965191 23.26% 56181 51096 55752.3849 991 71381.5501 54775.5500 45998420 23.26% 56193 51108 55784.7258 978 71381.5501 54775.5500 46021130 23.26% 56217 51132 55840.9419 959 71381.5501 54775.5500 46054020 23.26% Elapsed time = 40628.62 sec. (14692456.82 ticks, tree = 977.52 MB) 56229 51144 55803.3666 970 71381.5501 54775.5500 46066866 23.26% 56241 51156 55851.0532 945 71381.5501 54775.5500 46086983 23.26% 56265 51180 56061.3575 952 71381.5501 54775.5500 46112229 23.26% 56289 51204 56064.2069 942 71381.5501 54775.5500 46141208 23.26% 56301 51216 56135.3577 932 71381.5501 54775.5500 46167310 23.26% 56313 51228 56138.4996 950 71381.5501 54775.5500 46184555 23.26% 56337 51252 56148.2523 963 71381.5501 54775.5500 46212734 23.26% 56473 51388 55335.3741 1029 71381.5501 54775.5500 46374590 23.26% 57320 52234 56498.6620 767 71381.5501 54775.5500 47249881 23.26% 58254 53165 54908.6049 1111 71381.5501 54780.8925 47667360 23.26% Elapsed time = 40758.01 sec. (14774040.37 ticks, tree = 1019.32 MB) 58266 53177 55007.5142 1074 71381.5501 54780.8925 47683937 23.26% 58302 53213 55017.2746 1064 71381.5501 54780.8925 47729453 23.26% 58314 53223 55033.8632 1041 71381.5501 54780.8925 47740700 23.26% 58326 53235 55064.4104 1052 71381.5501 54780.8925 47757624 23.26% 58338 53247 55064.7728 1050 71381.5501 54780.8925 47783699 23.26% 58348 53257 55051.9807 1032 71381.5501 54780.8925 47806508 23.26% 58360 53269 55063.9381 1022 71381.5501 54780.8925 47827102 23.26% 58384 53293 55121.1494 1032 71381.5501 54780.8925 47855413 23.26% 58398 53307 55290.3856 1011 71381.5501 54780.8925 47884313 23.26% 58422 53331 55379.8524 1000 71381.5501 54780.8925 47910061 23.26% Elapsed time = 40998.01 sec. (14849538.08 ticks, tree = 1019.32 MB) 58434 53343 55387.0120 1002 71381.5501 54780.8925 47921938 23.26% 58458 53367 55411.9185 1014 71381.5501 54780.8925 47958926 23.26% 58470 53379 55486.2466 1002 71381.5501 54780.8925 47970334 23.26% 58494 53403 55496.2671 987 71381.5501 54780.8925 47999364 23.26% 58506 53415 55542.9624 986 71381.5501 54780.8925 48011639 23.26% 58518 53427 55578.2410 1013 71381.5501 54780.8925 48022788 23.26% 58542 53451 55603.1703 999 71381.5501 54780.8925 48037522 23.26% 58578 53487 55841.4935 990 71381.5501 54780.8925 48061978 23.26% 58590 53499 55874.5639 1013 71381.5501 54780.8925 48072276 23.26% 58614 53523 55888.1380 996 71381.5501 54780.8925 48103726 23.26% Elapsed time = 41248.44 sec. (14919047.51 ticks, tree = 1019.32 MB) 58626 53535 55902.3892 983 71381.5501 54780.8925 48114573 23.26% 58638 53547 55917.7796 985 71381.5501 54780.8925 48125732 23.26% 58662 53571 55938.6560 966 71381.5501 54780.8925 48155799 23.26% 58674 53583 55957.0420 951 71381.5501 54780.8925 48174077 23.26% 58686 53595 55970.9290 962 71381.5501 54780.8925 48191973 23.26% 58746 53655 55977.5248 945 71381.5501 54780.8925 48236461 23.26% 58758 53667 55997.3879 932 71381.5501 54780.8925 48254758 23.26% 58782 53691 56001.2973 932 71381.5501 54780.8925 48275552 23.26% 58806 53715 56024.9353 920 71381.5501 54780.8925 48292614 23.26% 58830 53739 56075.9733 910 71381.5501 54780.8925 48316404 23.26% Elapsed time = 41453.16 sec. (14975145.32 ticks, tree = 1019.32 MB) 58842 53751 56105.1095 885 71381.5501 54780.8925 48329526 23.26% 58902 53811 56105.5215 887 71381.5501 54780.8925 48390116 23.26% 58938 53847 56106.0433 886 71381.5501 54780.8925 48514037 23.26% 59040 53949 55257.3682 1001 71381.5501 54780.8925 48605679 23.26% 59052 53961 55340.0356 993 71381.5501 54780.8925 48613580 23.26% 59064 53973 55397.0421 982 71381.5501 54780.8925 48622928 23.26% 59076 53985 55474.7749 981 71381.5501 54780.8925 48635821 23.26% 59088 53997 55496.4699 975 71381.5501 54780.8925 48644454 23.26% 59112 54021 55515.9291 959 71381.5501 54780.8925 48659076 23.26% 59148 54057 55550.2110 943 71381.5501 54780.8925 48679388 23.26% Elapsed time = 41628.95 sec. (15037218.31 ticks, tree = 1019.32 MB) 59184 54093 55559.0180 946 71381.5501 54780.8925 48700224 23.26% 59208 54117 55683.4934 933 71381.5501 54780.8925 48713134 23.26% 59220 54129 55690.5443 927 71381.5501 54780.8925 48722595 23.26% 59244 54153 55721.5085 931 71381.5501 54780.8925 48741785 23.26% 59280 54189 55754.8546 928 71381.5501 54780.8925 48796353 23.26% 59388 54297 55761.7373 924 71381.5501 54780.8925 48888564 23.26% 59400 54309 55779.9001 907 71381.5501 54780.8925 48899885 23.26% 59412 54321 55814.3846 891 71381.5501 54780.8925 48909788 23.26% 59758 54667 56207.6321 948 71381.5501 54780.8925 49149309 23.26% 60265 55174 54982.0667 1021 71381.5501 54780.8925 49488980 23.26% Elapsed time = 41912.71 sec. (15106220.68 ticks, tree = 1019.32 MB) 60382 55291 54999.1261 1017 71381.5501 54784.6454 49558001 23.25% 60410 55319 55956.9853 921 71381.5501 54784.6454 49597643 23.25% 60415 55324 55525.8215 1019 71381.5501 54784.6454 49613057 23.25% 60418 55327 55891.6084 989 71381.5501 54784.6454 49628004 23.25% 60454 55363 55044.4086 988 71381.5501 54784.6454 49699834 23.25% 60466 55375 55030.5912 1015 71381.5501 54784.6454 49716981 23.25% 60478 55387 55067.4046 988 71381.5501 54784.6454 49731643 23.25% 60490 55399 55057.3104 1012 71381.5501 54784.6454 49746201 23.25% 60502 55411 55094.0311 1005 71381.5501 54784.6454 49773345 23.25% 60514 55423 55101.1480 1003 71381.5501 54784.6454 49785922 23.25% Elapsed time = 42246.49 sec. (15200826.33 ticks, tree = 1057.90 MB) 60538 55447 55145.7930 1004 71381.5501 54784.6454 49821601 23.25% 60562 55471 55136.9229 988 71381.5501 54784.6454 49873799 23.25% 60574 55483 55158.1487 996 71381.5501 54784.6454 49894160 23.25% 60586 55495 55175.9274 972 71381.5501 54784.6454 49906408 23.25% 60609 55518 54920.4964 1078 71381.5501 54784.6454 49936883 23.25% 60621 55530 54949.9346 1059 71381.5501 54784.6454 49948273 23.25% 60633 55542 55046.1483 1046 71381.5501 54784.6454 49965810 23.25% 60657 55566 55012.6750 1056 71381.5501 54784.6454 49988729 23.25% 60669 55578 55023.2036 1056 71381.5501 54784.6454 50011367 23.25% 60681 55590 55048.2305 1047 71381.5501 54784.6454 50026367 23.25% Elapsed time = 42576.81 sec. (15294537.21 ticks, tree = 1057.90 MB) 60693 55602 55067.2417 1045 71381.5501 54784.6454 50042968 23.25% 60717 55626 55061.4992 1059 71381.5501 54784.6454 50058695 23.25% 60741 55650 56011.2408 972 71381.5501 54784.6454 50087219 23.25% 60753 55662 55095.0937 1045 71381.5501 54784.6454 50108487 23.25% 60765 55674 55100.3208 1045 71381.5501 54784.6454 50122319 23.25% 60789 55698 55107.6479 1035 71381.5501 54784.6454 50148563 23.25% 60801 55710 55189.9793 1045 71381.5501 54784.6454 50154362 23.25% 60825 55734 55312.8668 1034 71381.5501 54784.6454 50194551 23.25% 60837 55746 55114.9004 1022 71381.5501 54784.6454 50204018 23.25% 60849 55758 55190.1204 1029 71381.5501 54784.6454 50222978 23.25% Elapsed time = 42991.53 sec. (15413200.12 ticks, tree = 1057.90 MB) 60873 55782 55328.2247 1016 71381.5501 54784.6454 50255330 23.25% 60897 55806 55198.6799 1027 71381.5501 54784.6454 50273501 23.25% 60909 55818 55201.7323 1033 71381.5501 54784.6454 50281762 23.25% 61648 56556 56100.8840 878 71381.5501 54784.6454 50853907 23.25% 62338 57246 56568.9907 914 71381.5501 54784.6454 51409682 23.25% 62341 57249 55006.3070 1076 71381.5501 54786.7398 51416974 23.25% 62365 57273 55031.1927 1078 71381.5501 54786.7398 51463647 23.25% 62378 57286 55213.6385 1039 71381.5501 54786.7398 51482816 23.25% 62400 57308 54921.8434 1105 71381.5501 54786.7398 51521120 23.25% 62460 57368 54925.7889 1093 71381.5501 54786.7398 51612407 23.25% Elapsed time = 43366.16 sec. (15521245.97 ticks, tree = 1093.77 MB) 62473 57380 55171.2140 976 71381.5501 54786.7398 51650698 23.25% 62545 57452 55265.5665 962 71381.5501 54786.7398 51725960 23.25% 62629 57536 55349.0290 937 71381.5501 54786.7398 51819036 23.25% 62748 57655 55427.4110 962 71381.5501 54786.7398 51919809 23.25% 62820 57727 55532.7915 980 71381.5501 54786.7398 51996882 23.25% 62892 57799 55621.9702 925 71381.5501 54786.7398 52071205 23.25% 63036 57943 55701.3732 905 71381.5501 54786.7398 52222300 23.25% 63110 58017 55987.1047 932 71381.5501 54786.7398 52297390 23.25% 63170 58077 56000.5782 936 71381.5501 54786.7398 52351494 23.25% 63206 58113 56043.9289 906 71381.5501 54786.7398 52393215 23.25% Elapsed time = 44010.52 sec. (15701051.99 ticks, tree = 1093.77 MB) 63326 58233 56233.6153 887 71381.5501 54786.7398 52464469 23.25% 63398 58305 56211.1615 898 71381.5501 54786.7398 52520402 23.25% 63657 58564 56192.8517 856 71381.5501 54786.7398 52665973 23.25% 64387 59294 54855.5671 1116 71381.5501 54789.2310 53308681 23.24% 64423 59330 54914.6875 1095 71381.5501 54789.2310 53378014 23.24% 64459 59366 54961.7320 1084 71381.5501 54789.2310 53419759 23.24% 64519 59426 55106.5205 1072 71381.5501 54789.2310 53478630 23.24% 64567 59474 55285.5673 1043 71381.5501 54789.2310 53516965 23.24% 64591 59498 55295.4292 1031 71381.5501 54789.2310 53543205 23.24% 64687 59594 56109.1780 959 71381.5501 54789.2310 53635852 23.24% Elapsed time = 44812.58 sec. (15935219.32 ticks, tree = 1132.15 MB) 64759 59666 55707.3769 987 71381.5501 54789.2310 53721699 23.24% 64879 59786 55849.1871 961 71381.5501 54789.2310 53813786 23.24% 64951 59858 56029.4241 854 71381.5501 54789.2310 53894621 23.24% 65047 59954 55919.8246 929 71381.5501 54789.2310 54009547 23.24% 65119 60022 55997.2302 929 71381.5501 54789.2310 54099432 23.24% 65155 60058 56480.0954 781 71381.5501 54789.2310 54162778 23.24% 65251 60154 56024.5644 913 71381.5501 54789.2310 54261027 23.24% 66495 61397 55266.6887 1007 71381.5501 54789.2310 55164311 23.24% 66497 61399 56108.1370 910 71381.5501 54789.2310 55173034 23.24% 66512 61414 55008.7385 1034 71381.5501 54789.2310 55210934 23.24% Elapsed time = 46175.43 sec. (16364228.88 ticks, tree = 1649.96 MB) 66524 61426 55054.9492 1049 71381.5501 54789.2310 55248826 23.24% 66555 61457 54994.7334 1094 71381.5501 54789.2310 55320642 23.24% 66579 61481 55102.5719 1073 71381.5501 54789.2310 55358802 23.24% 66603 61505 55159.9008 1044 71381.5501 54789.2310 55398168 23.24% 66627 61529 55232.0899 1028 71381.5501 54789.2310 55444808 23.24% 66675 61577 55249.0833 1015 71381.5501 54789.2310 55540901 23.24% 66735 61637 55511.2194 1020 71381.5501 54789.2310 55619570 23.24% 66807 61709 55537.2938 1002 71381.5501 54789.2310 55705336 23.24% 66843 61745 55676.2362 989 71381.5501 54789.2310 55737614 23.24% 66903 61805 55618.9259 994 71381.5501 54789.2310 55793662 23.24% Elapsed time = 46951.27 sec. (16590531.40 ticks, tree = 1649.96 MB) 66999 61901 55705.4170 980 71381.5501 54789.2310 55857679 23.24% 67071 61973 55900.5769 951 71381.5501 54789.2310 55941078 23.24% 67119 62020 55932.4573 922 71381.5501 54789.2310 55988896 23.24% 67675 62572 55515.0086 1053 71381.5501 54789.2310 56380107 23.24% * 68115+63010 71351.2702 54789.2310 56610965 23.21% 68115 63012 55515.2205 1043 71351.2702 54789.2310 56610965 23.21% * 68119+63014 71351.2702 54789.2310 56616766 23.21% 68120 63017 55915.1568 913 71351.2702 54789.2310 56619970 23.21% * 68123+63018 71351.2702 54789.2310 56625623 23.21% 68146 63043 55152.8012 1045 71351.2702 54789.2310 56689744 23.21% 68182 63079 55220.0897 1019 71351.2702 54789.2310 56755281 23.21% 68230 63127 55291.4827 1027 71351.2702 54789.2310 56827208 23.21% 68290 63187 55449.6454 990 71351.2702 54789.2310 56908234 23.21% Elapsed time = 47600.02 sec. (16795887.68 ticks, tree = 1762.47 MB) 68338 63235 55500.5976 1002 71351.2702 54789.2310 56970448 23.21% 68362 63259 55616.0701 1006 71351.2702 54789.2310 57013092 23.21% 68434 63331 55840.0948 978 71351.2702 54789.2310 57096059 23.21% 68494 63391 55958.6980 912 71351.2702 54789.2310 57173121 23.21% 68613 63509 55858.2930 867 71351.2702 54789.2310 57301939 23.21% 68661 63557 55899.7678 870 71351.2702 54789.2310 57351773 23.21% 68721 63617 55886.2950 830 71351.2702 54789.2310 57409465 23.21% 68793 63689 55924.5593 851 71351.2702 54789.2310 57496585 23.21% 68865 63761 55987.4156 814 71351.2702 54789.2310 57567834 23.21% 68961 63857 56048.5345 826 71351.2702 54789.2310 57661787 23.21% Elapsed time = 48294.81 sec. (16994050.59 ticks, tree = 1762.47 MB) 69071 63967 56811.6410 841 71351.2702 54789.2310 57779304 23.21% 69958 64850 56761.4260 800 71351.2702 54797.6354 58532534 23.20% 69997 64889 55603.9830 980 71351.2702 54797.6354 58577439 23.20% 70040 64932 55923.7194 966 71351.2702 54797.6354 58639943 23.20% 70088 64980 56023.1557 947 71351.2702 54797.6354 58712173 23.20% 70168 65060 56191.6847 991 71351.2702 54797.6354 58828780 23.20% 70252 65143 56271.6007 970 71351.2702 54797.6354 58938893 23.20% 70316 65207 56150.8266 885 71351.2702 54797.6354 59026593 23.20% 70348 65239 56289.8055 969 71351.2702 54797.6354 59065016 23.20% 70384 65275 56391.4541 966 71351.2702 54797.6354 59103144 23.20% Elapsed time = 49005.97 sec. (17197772.22 ticks, tree = 1798.60 MB) 70432 65322 56391.7833 925 71351.2702 54797.6354 59155101 23.20% 70518 65408 56024.6220 1038 71351.2702 54797.6354 59249387 23.20% 70566 65456 56064.2442 1026 71351.2702 54797.6354 59285772 23.20% 70626 65516 56054.3028 1022 71351.2702 54797.6354 59327129 23.20% 70722 65610 56100.1758 994 71351.2702 54797.6354 59395344 23.20% 70758 65646 56130.8408 983 71351.2702 54797.6354 59433061 23.20% 70794 65682 56224.2065 972 71351.2702 54797.6354 59471320 23.20% 70818 65706 56376.6165 901 71351.2702 54797.6354 59494784 23.20% 71095 65981 57579.8134 776 71351.2702 54797.6354 59698551 23.20% 71935 66821 55652.6976 973 71351.2702 54797.6354 60495627 23.20% Elapsed time = 49720.90 sec. (17406667.05 ticks, tree = 1798.60 MB) 71990 66876 54990.9525 1107 71351.2702 54799.0228 60526898 23.20% 72008 66894 54902.0961 1124 71351.2702 54799.0228 60651204 23.20% 72056 66942 55023.7748 1101 71351.2702 54799.0228 60728204 23.20% 72092 66978 55175.3223 1076 71351.2702 54799.0228 60779906 23.20% 72176 67062 55233.2097 1053 71351.2702 54799.0228 60868983 23.20% 72236 67122 55316.6614 1034 71351.2702 54799.0228 60926046 23.20% 72428 67314 55408.0924 966 71351.2702 54799.0228 61134506 23.20% 72500 67386 55862.3271 947 71351.2702 54799.0228 61196726 23.20% 72602 67488 55653.0198 995 71351.2702 54799.0228 61279636 23.20% 72674 67560 55677.4921 986 71351.2702 54799.0228 61330082 23.20% Elapsed time = 50888.60 sec. (17729100.23 ticks, tree = 1839.11 MB) 73201 68087 55447.6775 1029 71351.2702 54799.0228 61765901 23.20% 73732 68618 56046.7417 1031 71351.2702 54799.0228 62112925 23.20% 73996 68882 55279.9189 1063 71351.2702 54800.1520 62443691 23.20% 74020 68906 55304.3299 1059 71351.2702 54800.1520 62503331 23.20% 74056 68942 55389.6995 1033 71351.2702 54800.1520 62547003 23.20% 74080 68966 56340.6380 963 71351.2702 54800.1520 62575547 23.20% 74104 68990 55409.8055 1062 71351.2702 54800.1520 62619799 23.20% 74128 69014 55465.5987 1020 71351.2702 54800.1520 62648155 23.20% 74188 69074 55479.9113 981 71351.2702 54800.1520 62697721 23.20% 74224 69110 55516.0304 991 71351.2702 54800.1520 62746499 23.20% Elapsed time = 51651.66 sec. (17964311.31 ticks, tree = 1909.44 MB) 74272 69158 55526.0558 983 71351.2702 54800.1520 62813041 23.20% 74344 69230 55548.2350 975 71351.2702 54800.1520 62908317 23.20% 74428 69314 55599.6827 966 71351.2702 54800.1520 62995750 23.20% 74488 69374 55631.9816 961 71351.2702 54800.1520 63053388 23.20% 74560 69446 55674.5889 929 71351.2702 54800.1520 63149401 23.20% 74620 69506 55689.4859 931 71351.2702 54800.1520 63211732 23.20% 74668 69554 55844.3608 898 71351.2702 54800.1520 63267477 23.20% 75885 70769 55154.9093 1077 71351.2702 54800.1520 64317999 23.20% 76007 70891 55190.8622 1054 71351.2702 54800.6801 64495840 23.20% 76079 70963 55477.5415 1039 71351.2702 54800.6801 64583379 23.20% Elapsed time = 52348.43 sec. (18195258.95 ticks, tree = 1946.40 MB) 76145 71027 55396.0959 975 71351.2702 54800.6801 64635419 23.20% 76223 71105 55599.0813 1001 71351.2702 54800.6801 64740391 23.20% 76271 71153 55663.0402 997 71351.2702 54800.6801 64789875 23.20% 76331 71213 55945.5777 966 71351.2702 54800.6801 64857713 23.20% 76425 71307 55411.6891 1040 71351.2702 54800.6801 64960486 23.20% 76457 71339 56223.8914 936 71351.2702 54800.6801 64996395 23.20% 76517 71399 56314.6243 936 71351.2702 54800.6801 65055956 23.20% 76565 71447 56852.9803 829 71351.2702 54800.6801 65115857 23.20% 76661 71543 56879.4324 805 71351.2702 54800.6801 65212360 23.20% 76781 71663 56919.6280 794 71351.2702 54800.6801 65345111 23.20% Elapsed time = 53108.28 sec. (18411463.68 ticks, tree = 1946.40 MB) 76925 71807 57843.8373 781 71351.2702 54800.6801 65502719 23.20% 77069 71951 57275.1801 757 71351.2702 54800.6801 65618958 23.20% 77141 72023 57386.2211 765 71351.2702 54800.6801 65674628 23.20% 77293 72175 55456.8489 1037 71351.2702 54800.6801 65774597 23.20% 77317 72199 55459.5351 1019 71351.2702 54800.6801 65794323 23.20% 78014 72896 55014.4012 1048 71351.2702 54802.7957 66475178 23.19% 78046 72928 55563.9577 1030 71351.2702 54802.7957 66536469 23.19% 78094 72976 55594.3289 1045 71351.2702 54802.7957 66598377 23.19% 78106 72988 55697.5673 990 71351.2702 54802.7957 66627681 23.19% 78190 73072 55804.2934 976 71351.2702 54802.7957 66738838 23.19% Elapsed time = 53809.12 sec. (18599170.09 ticks, tree = 1984.35 MB) 78221 73103 56007.0439 879 71351.2702 54802.7957 66776962 23.19% 78305 73187 55691.1743 979 71351.2702 54802.7957 66855100 23.19% 78346 73228 55971.5440 961 71351.2702 54802.7957 66904824 23.19% 78370 73252 56104.2200 949 71351.2702 54802.7957 66931654 23.19% 78442 73324 56127.7228 914 71351.2702 54802.7957 67014447 23.19% 78478 73360 56149.1912 921 71351.2702 54802.7957 67058975 23.19% 78526 73408 56166.1274 913 71351.2702 54802.7957 67112975 23.19% 78574 73456 56255.6841 888 71351.2702 54802.7957 67176582 23.19% 78622 73503 56343.2169 875 71351.2702 54802.7957 67243055 23.19% 78694 73575 56469.0773 871 71351.2702 54802.7957 67324503 23.19% Elapsed time = 54447.00 sec. (18777506.01 ticks, tree = 1984.35 MB) 78762 73643 56435.2539 929 71351.2702 54802.7957 67392101 23.19% 78822 73703 56471.0947 906 71351.2702 54802.7957 67460477 23.19% 78918 73799 56477.4700 902 71351.2702 54802.7957 67546216 23.19% 79694 74571 56262.7982 910 71351.2702 54802.7957 68164738 23.19% 80036 74913 55120.0824 1075 71351.2702 54802.7957 68469228 23.19% 80085 74962 56310.7980 911 71351.2702 54802.7957 68644320 23.19% 80107 74984 56536.0202 915 71351.2702 54802.7957 68840293 23.19% 80133 75008 56467.5138 890 71351.2702 54802.7957 68882472 23.19% 80193 75068 56612.8723 881 71351.2702 54802.7957 68972017 23.19% 80277 75151 56655.5787 865 71351.2702 54802.7957 69055051 23.19% Elapsed time = 55642.39 sec. (19111017.13 ticks, tree = 2022.30 MB) 80337 75211 56669.6844 851 71351.2702 54802.7957 69120231 23.19% 80397 75271 56697.5867 855 71351.2702 54802.7957 69197106 23.19% 80505 75378 56745.6929 855 71351.2702 54802.7957 69311291 23.19% 80577 75448 56821.3949 828 71351.2702 54802.7957 69416758 23.19% 80625 75496 57234.9488 829 71351.2702 54802.7957 69487107 23.19% 81517 76387 57169.0138 731 71351.2702 54802.7957 70478825 23.19% 81725 76594 55312.0702 1039 71351.2702 54806.1168 70633006 23.19% 81739 76608 55349.2585 995 71351.2702 54806.1168 70660026 23.19% 81787 76656 55364.5687 987 71351.2702 54806.1168 70714332 23.19% 81811 76680 55523.8958 950 71351.2702 54806.1168 70744562 23.19% Elapsed time = 56177.13 sec. (19295507.76 ticks, tree = 2053.29 MB) Nodefile size = 5.56 MB (4.10 MB after compression) 81859 76728 55561.4387 957 71351.2702 54806.1168 70798506 23.19% 81943 76812 55602.9355 962 71351.2702 54806.1168 70884612 23.19% 82003 76872 55660.2055 949 71351.2702 54806.1168 70944111 23.19% 82051 76920 55665.5795 957 71351.2702 54806.1168 70991015 23.19% 82111 76979 55852.7955 950 71351.2702 54806.1168 71046141 23.19% 82183 77051 55883.0230 918 71351.2702 54806.1168 71125068 23.19% 82279 77147 55896.4723 916 71351.2702 54806.1168 71217862 23.19% 82327 77195 55919.2201 932 71351.2702 54806.1168 71248421 23.19% 82387 77255 56147.7817 890 71351.2702 54806.1168 71316164 23.19% 82507 77375 56334.8758 863 71351.2702 54806.1168 71419515 23.19% Elapsed time = 56822.50 sec. (19479476.05 ticks, tree = 2053.29 MB) Nodefile size = 5.56 MB (4.10 MB after compression) 82579 77447 56275.8117 868 71351.2702 54806.1168 71496155 23.19% 82687 77555 56386.1064 849 71351.2702 54806.1168 71609583 23.19% 82795 77663 56450.7627 841 71351.2702 54806.1168 71739841 23.19% 82855 77723 56444.8026 850 71351.2702 54806.1168 71824033 23.19% 83438 78306 54869.8192 1084 71351.2702 54806.1168 72367213 23.19% 83690 78558 54994.4009 1068 71351.2702 54806.8248 72654385 23.19% 83738 78606 55081.5579 1051 71351.2702 54806.8248 72709293 23.19% 83798 78666 55096.6481 1056 71351.2702 54806.8248 72803485 23.19% 83834 78702 55157.7660 1084 71351.2702 54806.8248 72845103 23.19% 83846 78714 55134.1912 1064 71351.2702 54806.8248 73002476 23.19% Elapsed time = 58224.62 sec. (19847856.67 ticks, tree = 2090.18 MB) Nodefile size = 42.51 MB (30.84 MB after compression) 83894 78762 55162.0873 1071 71351.2702 54806.8248 73065523 23.19% 83930 78798 55224.3602 1056 71351.2702 54806.8248 73118984 23.19% 83966 78834 55519.7687 1005 71351.2702 54806.8248 73175128 23.19% 84853 79719 55159.7009 1028 71351.2702 54806.8248 73963599 23.19% 85601 80467 54973.9675 1095 71351.2702 54806.8248 74844257 23.19% 85667 80533 54975.1867 1093 71351.2702 54807.7330 74949395 23.19% 85691 80557 55002.4269 1075 71351.2702 54807.7330 74997890 23.19% 85715 80581 55053.5552 1059 71351.2702 54807.7330 75034523 23.19% 85763 80629 56025.2631 990 71351.2702 54807.7330 75118821 23.19% 85787 80653 55176.5269 1054 71351.2702 54807.7330 75168256 23.19% Elapsed time = 59549.40 sec. (20301211.96 ticks, tree = 2127.75 MB) Nodefile size = 80.17 MB (57.90 MB after compression) 85835 80701 55223.9149 1051 71351.2702 54807.7330 75213324 23.19% 85883 80749 55253.9754 1035 71351.2702 54807.7330 75270351 23.19% 85943 80809 55419.1495 1032 71351.2702 54807.7330 75340614 23.19% 85991 80856 56586.9239 952 71351.2702 54807.7330 75413163 23.19% 86087 80952 55810.5818 980 71351.2702 54807.7330 75549299 23.19% 86123 80987 55869.6776 944 71351.2702 54807.7330 75590393 23.19% 86183 81047 56645.6729 959 71351.2702 54807.7330 75635843 23.19% 86255 81119 56716.0066 950 71351.2702 54807.7330 75694947 23.19% 86315 81179 56733.3782 951 71351.2702 54807.7330 75742319 23.19% 86387 81251 56757.1586 932 71351.2702 54807.7330 75819168 23.19% Elapsed time = 60396.04 sec. (20539808.34 ticks, tree = 2127.75 MB) Nodefile size = 80.17 MB (57.90 MB after compression) 87309 82171 55716.2968 917 71351.2702 54807.7330 76584696 23.19% 87746 82608 55467.0802 1008 71351.2702 54808.3635 76994468 23.19% 87772 82634 55571.9960 981 71351.2702 54808.3635 77045504 23.19% 87846 82708 56809.6991 921 71351.2702 54808.3635 77217416 23.19% 87918 82780 56814.2586 913 71351.2702 54808.3635 77309758 23.19% 87978 82840 56812.5941 917 71351.2702 54808.3635 77361969 23.19% 88038 82900 56820.2106 920 71351.2702 54808.3635 77407373 23.19% 88122 82984 56828.7110 900 71351.2702 54808.3635 77489087 23.19% 88242 83104 57118.0672 872 71351.2702 54808.3635 77573802 23.19% 88362 83224 57414.9858 880 71351.2702 54808.3635 77654200 23.19% Elapsed time = 61310.62 sec. (20791814.46 ticks, tree = 2165.84 MB) Nodefile size = 118.52 MB (85.30 MB after compression) 88410 83272 57819.4151 831 71351.2702 54808.3635 77687980 23.19% 88482 83344 57595.5312 858 71351.2702 54808.3635 77728938 23.19% 88542 83404 57661.0707 835 71351.2702 54808.3635 77783815 23.19% 88638 83500 58139.2098 828 71351.2702 54808.3635 77886641 23.19% 88710 83572 57922.7368 825 71351.2702 54808.3635 77949462 23.19% 88878 83740 57771.2133 809 71351.2702 54808.3635 78113361 23.19% 88971 83833 55480.0538 1014 71351.2702 54808.3635 78254384 23.19% 89825 84687 57002.6987 803 71351.2702 54809.6861 79077489 23.18% 89845 84707 55766.1745 990 71351.2702 54809.6861 79107345 23.18% 89887 84749 55537.7909 983 71351.2702 54809.6861 79137378 23.18% Elapsed time = 61886.66 sec. (20960234.70 ticks, tree = 2206.31 MB) Nodefile size = 158.90 MB (114.42 MB after compression) 89923 84785 55617.9243 993 71351.2702 54809.6861 79177296 23.18% 90057 84919 55958.4531 954 71351.2702 54809.6861 79260802 23.18% 90105 84966 56261.5335 912 71351.2702 54809.6861 79307797 23.18% 90149 85010 54997.3085 1066 71351.2702 54809.6861 79362318 23.18% 90221 85081 55069.3657 1052 71351.2702 54809.6861 79415896 23.18% 90269 85128 55193.0242 1031 71351.2702 54809.6861 79464801 23.18% 90345 85204 56798.5676 887 71351.2702 54809.6861 79578458 23.18% 90417 85276 56876.7714 880 71351.2702 54809.6861 79658963 23.18% 90521 85378 55369.1847 994 71351.2702 54809.6861 79731924 23.18% 90593 85450 55609.5516 983 71351.2702 54809.6861 79787215 23.18% Elapsed time = 62591.69 sec. (21156795.69 ticks, tree = 2206.31 MB) Nodefile size = 158.90 MB (114.42 MB after compression) 90653 85510 55791.5804 954 71351.2702 54809.6861 79820842 23.18% 90857 85712 55827.4443 931 71351.2702 54809.6861 79929723 23.18% 90918 85773 57039.8412 814 71351.2702 54809.6861 79969688 23.18% 91014 85869 56958.1358 811 71351.2702 54809.6861 80008240 23.18% 91062 85917 57622.4559 825 71351.2702 54809.6861 80052700 23.18% 91824 86678 54915.5847 1079 71351.2702 54809.6861 80546183 23.18% 92366 87217 56250.4921 906 71351.2702 54809.6861 80808836 23.18% 92380 87231 55282.7743 1009 71351.2702 54809.6861 80839488 23.18% 92394 87245 54992.9042 1065 71351.2702 54809.6861 80866955 23.18% 92442 87293 55041.4737 1059 71351.2702 54809.6861 80908833 23.18% Elapsed time = 63450.39 sec. (21421133.28 ticks, tree = 3205.12 MB) Nodefile size = 1133.62 MB (814.06 MB after compression) 92562 87413 55148.2459 999 71351.2702 54809.6861 81007138 23.18% 92622 87473 55280.8356 986 71351.2702 54809.6861 81057632 23.18% 92638 87489 55740.5363 1046 71351.2702 54809.6861 81100179 23.18% 92662 87513 55804.0098 1052 71351.2702 54809.6861 81132079 23.18% 92698 87549 55828.1197 1074 71351.2702 54809.6861 81168873 23.18% 92710 87561 55832.8234 1061 71351.2702 54809.6861 81180892 23.18% 92734 87585 55916.0611 1050 71351.2702 54809.6861 81206524 23.18% 92758 87609 56002.8361 1033 71351.2702 54809.6861 81243081 23.18% 92878 87729 56092.8416 995 71351.2702 54809.6861 81421794 23.18% 92986 87837 56162.0763 956 71351.2702 54809.6861 81492491 23.18% Elapsed time = 64077.95 sec. (21647814.70 ticks, tree = 3205.12 MB) Nodefile size = 1133.62 MB (814.06 MB after compression) 93190 88041 56326.0738 952 71351.2702 54809.6861 81578286 23.18% 94331 89180 55047.8722 1074 71351.2702 54809.6861 82114756 23.18% 94701 89550 55049.2784 1081 71351.2702 54812.9942 82240563 23.18% 94735 89584 55559.8061 990 71351.2702 54812.9942 82275140 23.18% 94747 89596 55670.2477 967 71351.2702 54812.9942 82286162 23.18% 94795 89644 55592.8900 975 71351.2702 54812.9942 82327457 23.18% 94807 89656 55594.1098 988 71351.2702 54812.9942 82343325 23.18% 94819 89668 55601.4293 982 71351.2702 54812.9942 82357538 23.18% 94855 89704 55854.1273 972 71351.2702 54812.9942 82386458 23.18% 94891 89740 55622.2812 983 71351.2702 54812.9942 82415594 23.18% Elapsed time = 65159.52 sec. (21878006.82 ticks, tree = 4771.74 MB) Nodefile size = 2724.11 MB (2080.56 MB after compression) 94915 89764 55639.5527 982 71351.2702 54812.9942 82442775 23.18% 95011 89860 55652.0731 979 71351.2702 54812.9942 82503891 23.18% 95047 89896 56027.0829 927 71351.2702 54812.9942 82538695 23.18% 95071 89919 56119.8487 887 71351.2702 54812.9942 82547088 23.18% 95202 90050 57415.5218 757 71351.2702 54812.9942 82597912 23.18% 95370 90215 58418.0115 689 71351.2702 54812.9942 82667693 23.18% 95514 90358 58100.5280 735 71351.2702 54812.9942 82736810 23.18% 95682 90525 58253.7978 675 71351.2702 54812.9942 82799814 23.18% 95706 90549 54995.2169 1099 71351.2702 54812.9942 82808633 23.18% 96462 91305 55628.6653 935 71351.2702 54812.9942 83099192 23.18% Elapsed time = 65921.21 sec. (22086131.46 ticks, tree = 4771.74 MB) Nodefile size = 2724.11 MB (2080.56 MB after compression) 97445 92288 55217.9223 1033 71351.2702 54814.3703 83597897 23.18% 97449 92292 55153.9213 1079 71351.2702 54814.3703 83612111 23.18% 97492 92335 55088.0731 1051 71351.2702 54814.3703 83685831 23.18% 97576 92419 55204.9807 1015 71351.2702 54814.3703 83746033 23.18% 97588 92431 55291.6884 988 71351.2702 54814.3703 83757860 23.18% 97732 92575 55608.9760 1010 71351.2702 54814.3703 83879754 23.18% 97912 92755 55790.8573 970 71351.2702 54814.3703 83972723 23.18% 98152 92994 56107.0079 918 71351.2702 54814.3703 84085727 23.18% 98250 93092 55692.2087 990 71351.2702 54814.3703 84156241 23.18% 98286 93128 55771.1364 946 71351.2702 54814.3703 84181534 23.18% Elapsed time = 66981.49 sec. (22384393.09 ticks, tree = 4966.94 MB) Nodefile size = 2919.05 MB (2234.32 MB after compression) 98322 93164 55807.7340 942 71351.2702 54814.3703 84207306 23.18% 98406 93248 56774.1860 876 71351.2702 54814.3703 84265066 23.18% 98538 93380 56038.1993 932 71351.2702 54814.3703 84316932 23.18% 100157 94998 55438.5658 1004 71351.2702 54814.3703 84932831 23.18% 100373 95214 54900.8238 1113 71351.2702 54814.3703 85002439 23.18% 100385 95226 54947.3049 1096 71351.2702 54814.3703 85010538 23.18% 100433 95273 54983.9420 1095 71351.2702 54814.3703 85046890 23.18% 100481 95321 55157.8263 1035 71351.2702 54814.3703 85073508 23.18% 100565 95405 55340.9820 1020 71351.2702 54814.3703 85139116 23.18% 100644 95484 55314.2704 1025 71351.2702 54814.3703 85190127 23.18% Elapsed time = 67663.72 sec. (22582341.57 ticks, tree = 6987.64 MB) Nodefile size = 4934.59 MB (3882.28 MB after compression) 100704 95544 55377.1351 1023 71351.2702 54814.3703 85224553 23.18% 100807 95647 55384.8006 997 71351.2702 54814.3703 85295981 23.18% 100872 95712 55459.2338 984 71351.2702 54814.3703 85333682 23.18% 100908 95748 55704.4384 977 71351.2702 54814.3703 85354073 23.18% 100944 95784 55748.6480 1003 71351.2702 54814.3703 85375796 23.18% 101040 95880 55842.0999 967 71351.2702 54814.3703 85403207 23.18% 101232 96071 55975.8312 966 71351.2702 54814.3703 85477138 23.18% 101352 96189 56123.5941 901 71351.2702 54814.3703 85514393 23.18% 101376 96213 56620.6112 812 71351.2702 54814.3703 85524778 23.18% 101436 96271 57690.0883 851 71351.2702 54814.3703 85549901 23.18% Elapsed time = 68353.60 sec. (22779924.33 ticks, tree = 6987.64 MB) Nodefile size = 4934.59 MB (3882.28 MB after compression) 101592 96427 58605.8375 770 71351.2702 54814.3703 85602613 23.18% 101784 96617 58923.9868 751 71351.2702 54814.3703 85691284 23.18% 101928 96761 59149.8043 723 71351.2702 54814.3703 85750798 23.18% 103508 98339 55629.0204 931 71351.2702 54817.9350 86351285 23.17% 103515 98346 55216.5450 1074 71351.2702 54817.9350 86359885 23.17% 103599 98430 55096.2444 1066 71351.2702 54817.9350 86397717 23.17% 103659 98490 55518.4974 936 71351.2702 54817.9350 86427280 23.17% 103707 98538 56349.0514 863 71351.2702 54817.9350 86450159 23.17% 103731 98562 55664.1171 940 71351.2702 54817.9350 86463168 23.17% 103803 98632 55788.3329 922 71351.2702 54817.9350 86481634 23.17% Elapsed time = 69053.59 sec. (22965384.62 ticks, tree = 9111.63 MB) Nodefile size = 7047.02 MB (5606.28 MB after compression) 103899 98726 55883.7184 905 71351.2702 54817.9350 86532927 23.17% 103947 98774 56432.0938 930 71351.2702 54817.9350 86561816 23.17% 103971 98798 56613.4133 918 71351.2702 54817.9350 86593189 23.17% 104091 98918 56654.5328 906 71351.2702 54817.9350 86626934 23.17% 104175 99002 56887.5941 879 71351.2702 54817.9350 86651824 23.17% 104343 99170 56994.6597 830 71351.2702 54817.9350 86709128 23.17% 104523 99350 57082.1625 792 71351.2702 54817.9350 86760756 23.17% 104619 99446 57227.9811 801 71351.2702 54817.9350 86804021 23.17% 104643 99470 57227.4683 796 71351.2702 54817.9350 86814191 23.17% 104727 99554 57422.7609 768 71351.2702 54817.9350 86834308 23.17% Elapsed time = 69718.67 sec. (23154061.24 ticks, tree = 9111.63 MB) Nodefile size = 7047.02 MB (5606.28 MB after compression) 104871 99698 57613.8212 797 71351.2702 54817.9350 86895387 23.17% 105807 100633 55290.2091 1020 71351.2702 54817.9350 87320334 23.17% 106338 101164 54902.7714 1123 71351.2702 54817.9350 87478269 23.17% 106848 101674 54917.5931 1106 71351.2702 54817.9350 87687832 23.17% 106878 101704 55350.8131 988 71351.2702 54817.9350 87715314 23.17% 106902 101728 55408.7295 1002 71351.2702 54817.9350 87749005 23.17% 106926 101752 55508.2898 997 71351.2702 54817.9350 87775564 23.17% 106950 101776 55517.2027 1012 71351.2702 54817.9350 87809756 23.17% 106974 101800 55518.3218 1005 71351.2702 54817.9350 87826791 23.17% 107010 101836 55569.6745 977 71351.2702 54817.9350 87849940 23.17% Elapsed time = 70525.26 sec. (23388848.59 ticks, tree = 11290.40 MB) Nodefile size = 9238.17 MB (7409.79 MB after compression) 107070 101896 55659.4327 975 71351.2702 54817.9350 87892659 23.17% 107094 101920 55717.5714 946 71351.2702 54817.9350 87913037 23.17% 107118 101944 55718.0556 943 71351.2702 54817.9350 87927162 23.17% 107142 101968 55762.7434 952 71351.2702 54817.9350 87942894 23.17% 107202 102028 55738.9624 931 71351.2702 54817.9350 87971455 23.17% 107214 102040 55919.2549 901 71351.2702 54817.9350 87983808 23.17% 107250 102076 55749.7972 944 71351.2702 54817.9350 88002926 23.17% 107310 102136 55969.7158 913 71351.2702 54817.9350 88030885 23.17% 108196 103022 56307.0693 956 71351.2702 54817.9350 88400741 23.17% 109582 104408 54904.3622 1071 71351.2702 54817.9350 89082324 23.17% Elapsed time = 71340.27 sec. (23614391.73 ticks, tree = 11290.40 MB) Nodefile size = 9238.17 MB (7409.79 MB after compression) 109584 104410 55914.3128 1011 71351.2702 54821.4817 89088904 23.17% 109597 104420 57432.6722 848 71351.2702 54821.4817 89125395 23.17% 109633 104444 54948.4431 1091 71351.2702 54821.4817 89166650 23.17% 109729 104540 55033.5244 1049 71351.2702 54821.4817 89216454 23.17% 109800 104611 55242.1728 1018 71351.2702 54821.4817 89273085 23.17% 109860 104671 55452.6215 983 71351.2702 54821.4817 89303717 23.17% 110052 104863 55579.1662 990 71351.2702 54821.4817 89399721 23.17% 110367 105178 57566.1426 855 71351.2702 54821.4817 89510340 23.17% 110415 105222 55045.3698 1106 71351.2702 54821.4817 89536334 23.17% 110475 105282 55168.2188 1042 71351.2702 54821.4817 89552104 23.17% Elapsed time = 72185.66 sec. (23863380.13 ticks, tree = 11348.98 MB) Nodefile size = 9301.01 MB (7453.88 MB after compression) 110510 105317 55935.6633 900 71351.2702 54821.4817 89689976 23.17% 112749 107540 55029.4496 1086 71351.2702 54824.2457 90398336 23.16% 112821 107612 55109.1807 1062 71351.2702 54824.2457 90429114 23.16% 112879 107670 55985.5804 959 71351.2702 54824.2457 90485891 23.16% 112975 107766 55979.2082 964 71351.2702 54824.2457 90530201 23.16% 113023 107814 55983.4705 962 71351.2702 54824.2457 90550930 23.16% 113035 107825 56075.7406 887 71351.2702 54824.2457 90565484 23.16% 113083 107873 56341.5402 915 71351.2702 54824.2457 90591207 23.16% 113107 107897 57325.5589 792 71351.2702 54824.2457 90611277 23.16% 113131 107921 57922.8220 826 71351.2702 54824.2457 90631959 23.16% Elapsed time = 73957.59 sec. (24325151.15 ticks, tree = 13483.91 MB) Nodefile size = 11435.91 MB (9235.63 MB after compression) 113203 107993 57337.8034 789 71351.2702 54824.2457 90662176 23.16% 113287 108077 57367.6076 823 71351.2702 54824.2457 90690607 23.16% 113323 108113 57963.6008 792 71351.2702 54824.2457 90705241 23.16% 113479 108269 58128.4478 777 71351.2702 54824.2457 90745799 23.16% 113635 108425 58226.9907 756 71351.2702 54824.2457 90807838 23.16% 113911 108701 58417.1240 720 71351.2702 54824.2457 90860182 23.16% 114591 109381 58161.7430 731 71351.2702 54824.2457 91093686 23.16% 116541 111330 55127.2038 1028 71351.2702 54825.5148 91707369 23.16% 116556 111345 54996.5446 1048 71351.2702 54825.5148 91720816 23.16% 116572 111361 54982.3987 1070 71351.2702 54825.5148 91744166 23.16% Elapsed time = 74523.53 sec. (24514797.76 ticks, tree = 16091.91 MB) Nodefile size = 14043.65 MB (11393.02 MB after compression) 116596 111385 55022.3710 1056 71351.2702 54825.5148 91765661 23.16% 116656 111445 55166.6641 1024 71351.2702 54825.5148 91838163 23.16% 116716 111505 55469.1729 998 71351.2702 54825.5148 91872781 23.16% 116764 111553 55519.2098 999 71351.2702 54825.5148 91898075 23.16% 116788 111577 55637.7552 1023 71351.2702 54825.5148 91911460 23.16% 116848 111637 55747.1332 1025 71351.2702 54825.5148 91934054 23.16% 116956 111745 55844.4681 998 71351.2702 54825.5148 91996443 23.16% 117076 111865 55954.2811 951 71351.2702 54825.5148 92051088 23.16% 117328 112116 56146.4312 890 71351.2702 54825.5148 92155199 23.16% 117520 112306 56236.3848 841 71351.2702 54825.5148 92224120 23.16% Elapsed time = 75248.73 sec. (24706156.81 ticks, tree = 16091.91 MB) Nodefile size = 14043.65 MB (11393.02 MB after compression) 117832 112618 56415.8861 853 71351.2702 54825.5148 92291705 23.16% 118252 113038 56503.5498 798 71351.2702 54825.5148 92410994 23.16% 118420 113204 56640.7214 800 71351.2702 54825.5148 92518654 23.16% 118498 113282 55950.3168 1019 71351.2702 54825.5148 92561609 23.16% 118558 113342 56062.7106 1012 71351.2702 54825.5148 92585775 23.16% 118893 113677 54971.3335 1125 71351.2702 54825.5148 92757783 23.16% 119588 114372 54991.9820 1085 71351.2702 54825.5148 93028490 23.16% 119602 114386 56047.7958 990 71351.2702 54827.1274 93039613 23.16% 119626 114410 56061.8273 1003 71351.2702 54827.1274 93057685 23.16% 119682 114466 55188.1244 1033 71351.2702 54827.1274 93097366 23.16% Elapsed time = 75845.49 sec. (24934006.66 ticks, tree = 18183.49 MB) Nodefile size = 16135.75 MB (13131.58 MB after compression) 119754 114538 55227.0915 1019 71351.2702 54827.1274 93140312 23.16% 119838 114622 55404.5533 1001 71351.2702 54827.1274 93187763 23.16% 119874 114658 55408.3546 983 71351.2702 54827.1274 93216298 23.16% 119886 114670 55458.0534 1023 71351.2702 54827.1274 93227605 23.16% 119922 114706 55621.0710 1021 71351.2702 54827.1274 93243988 23.16% 120042 114825 55661.4124 995 71351.2702 54827.1274 93292179 23.16% 120102 114885 55712.8567 987 71351.2702 54827.1274 93323710 23.16% 120270 115053 55837.9005 924 71351.2702 54827.1274 93374166 23.16% 120318 115101 56349.7964 816 71351.2702 54827.1274 93404572 23.16% 120498 115281 56736.7307 772 71351.2702 54827.1274 93464050 23.16% Elapsed time = 76353.93 sec. (25109975.09 ticks, tree = 18183.49 MB) Nodefile size = 16135.75 MB (13131.58 MB after compression) 120750 115533 57536.2133 711 71351.2702 54827.1274 93524112 23.16% 121014 115797 58062.1476 703 71351.2702 54827.1274 93600801 23.16% 121302 116085 58588.4777 639 71351.2702 54827.1274 93667528 23.16% 121590 116373 59106.8012 633 71351.2702 54827.1274 93743998 23.16% *121811+116592 71329.7419 54827.1274 93869527 23.14% 121847 116630 54931.1530 1150 71329.7419 54827.1274 93887470 23.14% 121967 116750 54895.6695 1108 71329.7419 54827.1274 93990175 23.14% 122726 117509 56795.5926 826 71329.7419 54828.7826 94339772 23.13% 122728 117511 57455.8892 802 71329.7419 54828.7826 94352310 23.13% 122776 117559 57491.2861 820 71329.7419 54828.7826 94421095 23.13% 122811 117594 56353.0462 837 71329.7419 54828.7826 94466204 23.13% Elapsed time = 77191.50 sec. (25325123.46 ticks, tree = 20335.18 MB) Nodefile size = 18285.99 MB (14918.37 MB after compression) 122836 117619 57559.6853 777 71329.7419 54828.7826 94496144 23.13% 122860 117642 57567.2267 783 71329.7419 54828.7826 94520151 23.13% 122908 117690 57841.3210 788 71329.7419 54828.7826 94561491 23.13% 122956 117738 57849.6284 787 71329.7419 54828.7826 94601931 23.13% 123028 117810 57869.4561 788 71329.7419 54828.7826 94632667 23.13% 123076 117858 57888.0099 752 71329.7419 54828.7826 94657382 23.13% 123124 117906 57920.8809 759 71329.7419 54828.7826 94687362 23.13% 123160 117942 57946.0210 743 71329.7419 54828.7826 94721122 23.13% 123196 117978 58328.4326 729 71329.7419 54828.7826 94743744 23.13% 123244 118026 57950.8895 742 71329.7419 54828.7826 94786385 23.13% Elapsed time = 77854.75 sec. (25511200.31 ticks, tree = 20335.18 MB) Nodefile size = 18285.99 MB (14918.37 MB after compression) 123280 118062 58135.2100 756 71329.7419 54828.7826 94967752 23.13% 123340 118122 58189.5218 721 71329.7419 54828.7826 95028760 23.13% 123436 118218 58346.9216 726 71329.7419 54828.7826 95083331 23.13% 123484 118266 58396.7643 721 71329.7419 54828.7826 95116148 23.13% 123532 118314 58838.6079 680 71329.7419 54828.7826 95157866 23.13% 123951 118733 54964.9283 1091 71329.7419 54828.7826 95348595 23.13% 124835 119615 54957.0647 1068 71329.7419 54829.2252 95776525 23.13% 124845 119625 55062.5618 1024 71329.7419 54829.2252 95793070 23.13% 124893 119673 55179.8303 1037 71329.7419 54829.2252 95831904 23.13% 124917 119697 55452.6091 1031 71329.7419 54829.2252 95860514 23.13% Elapsed time = 78616.98 sec. (25706405.29 ticks, tree = 20432.77 MB) Nodefile size = 18384.82 MB (14992.02 MB after compression) 125012 119792 56536.2548 900 71329.7419 54829.2252 95927424 23.13% 125052 119832 56162.9608 1020 71329.7419 54829.2252 95973497 23.13% 125064 119844 55409.1167 1051 71329.7419 54829.2252 95988227 23.13% 125076 119856 55587.5403 1031 71329.7419 54829.2252 96004020 23.13% 125160 119940 56296.1430 979 71329.7419 54829.2252 96053916 23.13% 125220 120000 56401.3754 965 71329.7419 54829.2252 96080630 23.13% 125340 120120 56957.5519 863 71329.7419 54829.2252 96128318 23.13% 125376 120156 56987.5144 841 71329.7419 54829.2252 96144933 23.13% 125604 120384 57253.8646 776 71329.7419 54829.2252 96225667 23.13% 125868 120644 57500.4307 774 71329.7419 54829.2252 96330606 23.13% Elapsed time = 79600.82 sec. (25950512.36 ticks, tree = 20432.77 MB) Nodefile size = 18384.82 MB (14992.02 MB after compression) 127157 121932 55757.9937 966 71329.7419 54829.2252 96776843 23.13% 128094 122869 58115.1302 735 71329.7419 54830.7425 97071710 23.13% 128142 122917 58593.2001 740 71329.7419 54830.7425 97111359 23.13% 128176 122947 56027.7510 935 71329.7419 54830.7425 97142643 23.13% 128250 123021 55058.1073 1062 71329.7419 54830.7425 97172524 23.13% 128344 123115 56168.4376 872 71329.7419 54830.7425 97238193 23.13% 128368 123139 56209.0448 904 71329.7419 54830.7425 97260875 23.13% 128464 123235 56274.4319 892 71329.7419 54830.7425 97296524 23.13% 128584 123355 57185.2006 819 71329.7419 54830.7425 97349811 23.13% 128740 123511 56602.7420 824 71329.7419 54830.7425 97415370 23.13% Elapsed time = 80324.78 sec. (26190067.94 ticks, tree = 22673.14 MB) Nodefile size = 20621.84 MB (16847.49 MB after compression) 128860 123631 57382.6366 832 71329.7419 54830.7425 97482642 23.13% 128968 123738 57149.7424 828 71329.7419 54830.7425 97509249 23.13% 129076 123846 57432.3778 838 71329.7419 54830.7425 97550580 23.13% 129184 123954 57202.9941 833 71329.7419 54830.7425 97580649 23.13% 129328 124098 57677.2323 825 71329.7419 54830.7425 97633447 23.13% 129388 124158 57235.7422 788 71329.7419 54830.7425 97655425 23.13% 131138 125908 55864.9022 1047 71329.7419 54830.7425 98329034 23.13% 131146 125916 55231.7534 1016 71329.7419 54831.9601 98344992 23.13% 131158 125928 55324.4373 1022 71329.7419 54831.9601 98366172 23.13% 131206 125976 55396.9614 1018 71329.7419 54831.9601 98408947 23.13% Elapsed time = 81153.09 sec. (26430006.63 ticks, tree = 24769.22 MB) Nodefile size = 22720.85 MB (18589.20 MB after compression) 131266 126036 55462.3148 1001 71329.7419 54831.9601 98465823 23.13% 131428 126197 55461.6454 1001 71329.7419 54831.9601 98555148 23.13% 131608 126377 55506.2171 988 71329.7419 54831.9601 98643888 23.13% 131704 126472 56722.7097 922 71329.7419 54831.9601 98693579 23.13% 131740 126508 56138.1477 1002 71329.7419 54831.9601 98718600 23.13% 131788 126555 56163.6514 981 71329.7419 54831.9601 98746346 23.13% 131824 126589 56282.2881 927 71329.7419 54831.9601 98766036 23.13% 131860 126624 56753.8205 855 71329.7419 54831.9601 98791574 23.13% 131944 126708 56685.8951 854 71329.7419 54831.9601 98826657 23.13% 131992 126756 57212.4116 886 71329.7419 54831.9601 98853670 23.13% Elapsed time = 81745.74 sec. (26674886.42 ticks, tree = 24769.22 MB) Nodefile size = 22720.85 MB (18589.20 MB after compression) 133296 128059 56191.8066 977 71329.7419 54831.9601 99313875 23.13% 133910 128673 56372.7719 881 71329.7419 54831.9601 99610323 23.13% 133916 128678 56001.7619 1023 71329.7419 54831.9601 99621878 23.13% 133949 128709 55656.3573 953 71329.7419 54831.9601 99659327 23.13% 133973 128732 55709.2078 949 71329.7419 54831.9601 99706843 23.13% 133997 128754 55656.6723 956 71329.7419 54831.9601 99732740 23.13% 134009 128766 56277.7233 932 71329.7419 54831.9601 99746182 23.13% 134057 128814 56213.4113 799 71329.7419 54831.9601 99819347 23.13% 134081 128838 56534.9991 810 71329.7419 54831.9601 99847109 23.13% 134117 128870 54852.0286 1119 71329.7419 54831.9601 99911692 23.13% Elapsed time = 83178.67 sec. (26966379.01 ticks, tree = 26674.29 MB) Nodefile size = 24624.03 MB (20166.47 MB after compression) 134177 128930 54968.6640 1085 71329.7419 54831.9601 99965228 23.13% 134237 128990 55164.1046 1052 71329.7419 54831.9601 1.00e+08 23.13% 134309 129062 55331.0462 1035 71329.7419 54831.9601 1.00e+08 23.13% 135056 129808 55245.7674 1053 71329.7419 54831.9601 1.00e+08 23.13% 136387 131139 54905.6808 1102 71329.7419 54833.3367 1.01e+08 23.13% 136444 131196 55652.2194 1013 71329.7419 54833.3367 1.01e+08 23.13% 136533 131285 55189.1487 993 71329.7419 54833.3367 1.01e+08 23.13% 136567 131319 55323.5287 1029 71329.7419 54833.3367 1.01e+08 23.13% 136677 131429 56187.3999 986 71329.7419 54833.3367 1.01e+08 23.13% 136809 131561 57018.3473 964 71329.7419 54833.3367 1.01e+08 23.13% Elapsed time = 83883.75 sec. (27177337.28 ticks, tree = 26859.68 MB) Nodefile size = 24811.71 MB (20312.41 MB after compression) 136893 131645 56784.2920 917 71329.7419 54833.3367 1.01e+08 23.13% 136941 131693 57047.9247 894 71329.7419 54833.3367 1.01e+08 23.13% 137085 131837 57019.9007 872 71329.7419 5483