0.00/0.00 c Parsing...
0.00/0.11 c ==============================================================================
0.00/0.11 c | | ORIGINAL | LEARNT | |
0.00/0.11 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.11 c ==============================================================================
0.00/0.11 c | 0 | 118234 692122 | 35470 0 0 nan | 0.000 % |
2.99/3.01 c | 0 | 53231 292821 | -- 0 -- -- | -- | -9003/-18501
2.99/3.01 c ==============================================================================
2.99/3.01 c Result : #vars: 362 #clauses: 53231 #literals: 292821
2.99/3.01 c CPU time: 2.99154 s
2.99/3.01 c ==============================================================================
3.09/3.10 c This is MiniSat 2.0 beta
3.09/3.10 c WARNING: for repeatability, setting FPU to use double precision
3.09/3.10 c ============================[ Problem Statistics ]=============================
3.09/3.10 c | |
3.09/3.10 c | Number of variables: 362 |
3.09/3.10 c | Number of clauses: 53231 |
3.09/3.14 c | Parsing time: 0.04 s |
3.09/3.14 c ============================[ Search Statistics ]==============================
3.09/3.14 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.09/3.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.09/3.14 c ===============================================================================
3.09/3.14 c | 0 | 362 53231 292821 | 17743 0 nan | 0.000 % |
3.09/3.15 c | 100 | 361 53231 292821 | 17743 99 14 | 0.277 % |
3.09/3.15 c | 202 | 359 53231 292821 | 17743 199 14 | 0.829 % |
3.09/3.16 c | 302 | 358 53231 292821 | 17743 298 14 | 1.113 % |
3.09/3.16 c | 413 | 358 53231 292821 | 17743 409 16 | 1.109 % |
3.09/3.17 c | 513 | 358 53231 292821 | 17743 509 16 | 1.113 % |
3.09/3.17 c | 625 | 358 53231 292821 | 17743 621 15 | 1.106 % |
3.09/3.18 c | 746 | 357 53231 292821 | 17743 741 15 | 1.382 % |
3.09/3.18 c | 846 | 356 53231 292821 | 17743 840 15 | 1.658 % |
3.09/3.19 c | 956 | 355 53231 292821 | 17743 949 15 | 1.934 % |
3.09/3.20 c | 1077 | 355 53231 292821 | 17743 1070 16 | 1.941 % |
3.18/3.21 c | 1210 | 355 53231 292821 | 17743 1203 16 | 1.934 % |
3.18/3.21 c | 1313 | 355 53231 292821 | 17743 1306 16 | 1.940 % |
3.18/3.22 c | 1423 | 354 53231 292821 | 17743 1415 16 | 2.214 % |
3.18/3.22 c | 1544 | 354 53231 292821 | 17743 1536 16 | 2.211 % |
3.18/3.23 c | 1677 | 354 53231 292821 | 17743 1668 16 | 2.488 % |
3.18/3.24 c | 1827 | 353 53231 292821 | 17743 1818 17 | 2.487 % |
3.18/3.24 c | 1929 | 353 53231 292821 | 17743 1920 17 | 2.488 % |
3.18/3.25 c | 2040 | 353 53231 292821 | 17743 2031 17 | 2.488 % |
3.18/3.26 c | 2162 | 352 53231 292821 | 17743 2152 17 | 2.763 % |
3.18/3.27 c | 2295 | 352 53231 292821 | 17743 2285 17 | 2.765 % |
3.18/3.28 c | 2443 | 352 53231 292821 | 17743 2433 16 | 2.768 % |
3.18/3.29 c | 2603 | 352 53231 292821 | 17743 2592 16 | 3.039 % |
3.18/3.29 c | 2705 | 352 53231 292821 | 17743 2694 16 | 3.039 % |
3.18/3.30 c | 2815 | 350 53231 292821 | 17743 2802 16 | 3.592 % |
3.28/3.31 c | 2938 | 350 53231 292821 | 17743 2925 16 | 3.592 % |
3.28/3.32 c | 3071 | 350 53231 292821 | 17743 3058 16 | 3.600 % |
3.28/3.33 c | 3217 | 350 53231 292821 | 17743 3204 16 | 3.593 % |
3.28/3.34 c | 3378 | 350 53231 292821 | 17743 3365 16 | 3.597 % |
3.28/3.35 c | 3554 | 350 53231 292821 | 17743 3541 16 | 3.592 % |
3.28/3.36 c | 3654 | 350 53231 292821 | 17743 3641 17 | 3.593 % |
3.28/3.37 c | 3764 | 350 53231 292821 | 17743 3751 17 | 3.614 % |
3.28/3.38 c | 3885 | 350 53231 292821 | 17743 3872 17 | 3.592 % |
3.28/3.39 c | 4018 | 349 53231 292821 | 17743 4004 17 | 3.876 % |
3.37/3.40 c | 4166 | 349 53231 292821 | 17743 4152 17 | 3.868 % |
3.37/3.41 c | 4326 | 349 53231 292821 | 17743 4312 17 | 3.868 % |
3.37/3.42 c | 4503 | 349 53231 292821 | 17743 4489 17 | 3.870 % |
3.37/3.43 c | 4696 | 349 53231 292821 | 17743 4682 17 | 3.868 % |
3.37/3.44 c | 4796 | 349 53231 292821 | 17743 4782 17 | 3.875 % |
3.37/3.45 c | 4906 | 349 53231 292821 | 17743 4892 17 | 3.869 % |
3.37/3.46 c | 5027 | 349 53231 292821 | 17743 5013 17 | 3.870 % |
3.37/3.47 c | 5160 | 349 53231 292821 | 17743 5146 17 | 3.874 % |
3.37/3.48 c | 5310 | 349 53231 292821 | 17743 5296 17 | 3.868 % |
3.37/3.49 c | 5470 | 349 53231 292821 | 17743 5456 17 | 3.874 % |
3.47/3.50 c | 5647 | 349 53231 292821 | 17743 5633 17 | 3.876 % |
3.47/3.52 c | 5841 | 349 53231 292821 | 17743 5827 17 | 3.874 % |
3.47/3.54 c | 6053 | 349 53231 292821 | 17743 6039 17 | 3.874 % |
3.47/3.54 c | 6153 | 349 53231 292821 | 17743 6139 17 | 3.868 % |
3.47/3.55 c | 6263 | 349 53231 292821 | 17743 6249 17 | 3.868 % |
3.47/3.56 c | 6384 | 349 53231 292821 | 17743 6370 17 | 3.869 % |
3.47/3.57 c | 6517 | 349 53231 292821 | 17743 6503 17 | 3.868 % |
3.47/3.59 c | 6664 | 349 53231 292821 | 17743 6650 17 | 3.868 % |
3.57/3.60 c | 6824 | 349 53231 292821 | 17743 6810 17 | 3.874 % |
3.57/3.61 c | 7000 | 349 53231 292821 | 17743 6986 17 | 3.869 % |
3.57/3.63 c | 7194 | 347 53231 292821 | 17743 7178 17 | 4.424 % |
3.57/3.64 c | 7407 | 347 53231 292821 | 17743 7391 17 | 4.421 % |
3.57/3.66 c | 7640 | 347 53231 292821 | 17743 7624 17 | 4.421 % |
3.57/3.67 c | 7741 | 347 53231 292821 | 17743 7725 17 | 4.426 % |
3.57/3.68 c | 7852 | 347 53231 292821 | 17743 7836 17 | 4.421 % |
3.57/3.69 c | 7979 | 347 53231 292821 | 17743 7963 18 | 4.421 % |
3.67/3.70 c | 8113 | 346 53231 292821 | 17743 8096 17 | 4.697 % |
3.67/3.71 c | 8261 | 346 53231 292821 | 17743 8244 17 | 4.698 % |
3.67/3.72 c | 8422 | 346 53231 292821 | 17743 8405 17 | 4.697 % |
3.67/3.74 c | 8598 | 346 53231 292821 | 17743 8581 17 | 4.698 % |
3.67/3.76 c | 8791 | 346 53231 292821 | 17743 8774 17 | 4.697 % |
3.67/3.77 c | 9004 | 346 53231 292821 | 17743 8987 17 | 4.704 % |
3.67/3.80 c | 9237 | 346 53231 292821 | 17743 9220 17 | 4.698 % |
3.77/3.81 c | 9495 | 346 53231 292821 | 17743 9478 17 | 4.697 % |
3.77/3.82 c | 9597 | 346 53231 292821 | 17743 9580 17 | 4.700 % |
3.77/3.83 c | 9708 | 345 53231 292821 | 17743 9690 17 | 4.973 % |
3.77/3.85 c | 9830 | 345 53231 292821 | 17743 9812 18 | 4.973 % |
3.77/3.86 c | 9965 | 345 53231 292821 | 17743 9946 17 | 5.249 % |
3.77/3.87 c | 10111 | 345 53231 292821 | 2147483647 10092 17 | 5.265 % |
3.77/3.88 c | 10271 | 345 53231 292821 | 2147483647 10252 17 | 5.265 % |
3.77/3.89 c | 10447 | 345 53231 292821 | 2147483647 10428 17 | 5.265 % |
3.87/3.90 c | 10641 | 345 53231 292821 | 2147483647 10622 17 | 5.253 % |
3.87/3.92 c | 10853 | 345 53231 292821 | 2147483647 10834 17 | 5.256 % |
3.87/3.94 c | 11089 | 345 53231 292821 | 2147483647 11070 17 | 5.257 % |
3.87/3.99 c | 11345 | 345 53231 292821 | 2147483647 11326 18 | 5.249 % |
3.97/4.01 c | 11626 | 345 53231 292821 | 2147483647 11607 18 | 5.249 % |
3.97/4.02 c | 11726 | 345 53231 292821 | 2147483647 11707 18 | 5.254 % |
3.97/4.06 c | 11837 | 343 46630 256529 | 2147483647 11808 18 | 5.274 % |
3.97/4.07 c | 11959 | 343 46630 256529 | 2147483647 11930 18 | 5.254 % |
3.97/4.08 c | 12093 | 343 46630 256529 | 2147483647 12064 17 | 5.254 % |
3.97/4.09 c | 12239 | 343 46630 256529 | 2147483647 12210 17 | 5.250 % |
4.07/4.10 c | 12399 | 343 46630 256529 | 2147483647 12370 17 | 5.249 % |
4.07/4.12 c | 12576 | 343 46630 256529 | 2147483647 12547 18 | 5.257 % |
4.07/4.14 c | 12771 | 343 46630 256529 | 2147483647 12742 18 | 5.249 % |
4.07/4.17 c | 12984 | 343 46630 256529 | 2147483647 12955 18 | 5.249 % |
4.17/4.21 c | 13217 | 343 46630 256529 | 2147483647 13188 18 | 5.249 % |
4.17/4.24 c | 13473 | 343 46630 256529 | 2147483647 13444 18 | 5.253 % |
4.17/4.26 c | 13754 | 342 46630 256529 | 2147483647 13724 18 | 5.534 % |
4.17/4.30 c | 14064 | 342 46630 256529 | 2147483647 14034 18 | 5.526 % |
4.28/4.31 c | 14167 | 342 46630 256529 | 2147483647 14137 18 | 5.526 % |
4.28/4.32 c | 14277 | 342 46630 256529 | 2147483647 14247 18 | 5.526 % |
4.28/4.33 c | 14400 | 342 46630 256529 | 2147483647 14370 18 | 5.530 % |
4.28/4.35 c | 14533 | 342 46630 256529 | 2147483647 14503 18 | 5.526 % |
4.28/4.36 c | 14680 | 342 46630 256529 | 2147483647 14650 18 | 5.534 % |
4.28/4.38 c | 14840 | 342 46630 256529 | 2147483647 14810 18 | 5.526 % |
4.28/4.40 c | 15018 | 342 46630 256529 | 2147483647 14988 18 | 5.526 % |
4.38/4.43 c | 15211 | 342 46630 256529 | 2147483647 15181 18 | 5.526 % |
4.38/4.46 c | 15423 | 342 46630 256529 | 2147483647 15393 18 | 5.526 % |
4.38/4.49 c | 15660 | 342 46630 256529 | 2147483647 15630 18 | 5.526 % |
4.47/4.52 c | 15916 | 342 46630 256529 | 2147483647 15886 18 | 5.527 % |
4.47/4.55 c | 16198 | 342 46630 256529 | 2147483647 16168 18 | 5.526 % |
4.57/4.60 c | 16507 | 342 46630 256529 | 2147483647 16477 18 | 5.526 % |
4.57/4.64 c | 16847 | 342 46630 256529 | 2147483647 16817 18 | 5.527 % |
4.57/4.65 c | 16949 | 342 46630 256529 | 2147483647 16919 18 | 5.526 % |
4.57/4.67 c | 17060 | 342 46630 256529 | 2147483647 17030 18 | 5.526 % |
4.57/4.68 c | 17183 | 342 46630 256529 | 2147483647 17153 18 | 5.526 % |
4.67/4.70 c | 17316 | 342 46630 256529 | 2147483647 17286 18 | 5.527 % |
4.67/4.71 c | 17462 | 342 46630 256529 | 2147483647 17432 18 | 5.526 % |
4.67/4.73 c | 17623 | 342 46630 256529 | 2147483647 17593 18 | 5.526 % |
4.67/4.75 c | 17800 | 342 46630 256529 | 2147483647 17770 18 | 5.533 % |
4.67/4.78 c | 17993 | 342 46630 256529 | 2147483647 17963 18 | 5.529 % |
4.77/4.81 c | 18206 | 342 46630 256529 | 2147483647 18176 18 | 5.532 % |
4.77/4.85 c | 18439 | 342 46630 256529 | 2147483647 18409 18 | 5.533 % |
4.77/4.89 c | 18697 | 342 46630 256529 | 2147483647 18667 18 | 5.529 % |
4.87/4.92 c | 18979 | 342 46630 256529 | 2147483647 18949 18 | 5.533 % |
4.87/4.96 c | 19290 | 341 46630 256529 | 2147483647 19259 18 | 5.810 % |
4.97/5.00 c | 19630 | 341 46630 256529 | 2147483647 19598 18 | 6.083 % |
4.97/5.06 c | 20005 | 341 46630 256529 | 2147483647 19973 18 | 6.085 % |
4.97/5.09 c | 20106 | 341 46630 256529 | 2147483647 20074 18 | 6.079 % |
5.07/5.12 c | 20216 | 341 46630 256529 | 2147483647 20184 18 | 6.078 % |
5.07/5.14 c | 20337 | 341 46630 256529 | 2147483647 20305 18 | 6.078 % |
5.07/5.17 c | 20471 | 341 46630 256529 | 2147483647 20439 18 | 6.078 % |
5.18/5.20 c | 20618 | 341 46630 256529 | 2147483647 20586 18 | 6.083 % |
5.18/5.22 c | 20779 | 341 46630 256529 | 2147483647 20747 18 | 6.078 % |
5.18/5.25 c | 20955 | 341 46630 256529 | 2147483647 20923 18 | 6.086 % |
5.18/5.28 c | 21148 | 341 46630 256529 | 2147483647 21116 18 | 6.078 % |
5.28/5.31 c | 21360 | 341 46630 256529 | 2147483647 21328 18 | 6.078 % |
5.28/5.35 c | 21596 | 341 46630 256529 | 2147483647 21564 18 | 6.082 % |
5.28/5.38 c | 21853 | 341 46630 256529 | 2147483647 21821 18 | 6.078 % |
5.38/5.44 c | 22134 | 341 46630 256529 | 2147483647 22102 18 | 6.078 % |
5.38/5.50 c | 22443 | 341 46630 256529 | 2147483647 22411 18 | 6.079 % |
5.48/5.56 c | 22783 | 341 46630 256529 | 2147483647 22751 18 | 6.078 % |
5.58/5.64 c | 23155 | 341 46630 256529 | 2147483647 23123 18 | 6.083 % |
5.68/5.71 c | 23565 | 341 46630 256529 | 2147483647 23533 18 | 6.078 % |
5.68/5.73 c | 23665 | 341 46630 256529 | 2147483647 23633 18 | 6.078 % |
5.68/5.74 c | 23777 | 341 46630 256529 | 2147483647 23745 18 | 6.083 % |
5.68/5.77 c | 23899 | 341 46630 256529 | 2147483647 23867 18 | 6.078 % |
5.68/5.79 c | 24032 | 341 46630 256529 | 2147483647 24000 18 | 6.078 % |
5.78/5.82 c | 24179 | 341 46630 256529 | 2147483647 24147 18 | 6.088 % |
5.78/5.85 c | 24339 | 341 46630 256529 | 2147483647 24307 18 | 6.078 % |
5.78/5.88 c | 24516 | 341 46630 256529 | 2147483647 24484 18 | 6.086 % |
5.88/5.92 c | 24709 | 341 46630 256529 | 2147483647 24677 18 | 6.078 % |
5.88/5.95 c | 24921 | 341 46630 256529 | 2147483647 24889 18 | 6.083 % |
5.98/6.00 c | 25154 | 341 46630 256529 | 2147483647 25122 18 | 6.079 % |
5.98/6.04 c | 25410 | 341 46630 256529 | 2147483647 25378 18 | 6.080 % |
6.08/6.10 c | 25692 | 341 46630 256529 | 2147483647 25660 18 | 6.078 % |
6.08/6.15 c | 26003 | 341 46630 256529 | 2147483647 25971 18 | 6.086 % |
6.17/6.21 c | 26342 | 341 46630 256529 | 2147483647 26310 18 | 6.078 % |
6.17/6.29 c | 26716 | 341 46630 256529 | 2147483647 26684 18 | 6.079 % |
6.27/6.39 c | 27126 | 341 46630 256529 | 2147483647 27094 18 | 6.078 % |
6.37/6.49 c | 27577 | 340 45859 252092 | 2147483647 27545 19 | 6.082 % |
6.48/6.52 c | 27678 | 340 45859 252092 | 2147483647 27646 19 | 6.079 % |
6.48/6.54 c | 27788 | 340 45859 252092 | 2147483647 27756 19 | 6.078 % |
6.48/6.56 c | 27909 | 340 45859 252092 | 2147483647 27877 19 | 6.083 % |
6.48/6.58 c | 28042 | 340 45859 252092 | 2147483647 28010 19 | 6.086 % |
6.58/6.63 c | 28188 | 340 45859 252092 | 2147483647 28156 19 | 6.079 % |
6.58/6.66 c | 28348 | 340 45859 252092 | 2147483647 28316 19 | 6.086 % |
6.58/6.69 c | 28525 | 340 45859 252092 | 2147483647 28493 19 | 6.079 % |
6.68/6.73 c | 28718 | 339 45859 252092 | 2147483647 28685 19 | 6.354 % |
6.68/6.78 c | 28932 | 339 45859 252092 | 2147483647 28899 19 | 6.360 % |
6.78/6.82 c | 29166 | 339 45859 252092 | 2147483647 29133 19 | 6.360 % |
6.78/6.87 c | 29422 | 339 45859 252092 | 2147483647 29389 19 | 6.360 % |
6.88/6.96 c | 29704 | 339 45859 252092 | 2147483647 29671 19 | 6.354 % |
6.98/7.05 c | 30013 | 339 45859 252092 | 2147483647 29980 19 | 6.360 % |
7.08/7.12 c | 30354 | 339 45859 252092 | 2147483647 30321 19 | 6.354 % |
7.08/7.19 c | 30728 | 339 45859 252092 | 2147483647 30695 19 | 6.362 % |
7.18/7.27 c | 31137 | 339 45859 252092 | 2147483647 31104 19 | 6.354 % |
7.28/7.38 c | 31586 | 339 45859 252092 | 2147483647 31553 19 | 6.358 % |
7.48/7.52 c | 32079 | 339 45859 252092 | 2147483647 32046 19 | 6.354 % |
7.48/7.55 c | 32180 | 339 45859 252092 | 2147483647 32147 19 | 6.355 % |
7.48/7.59 c | 32291 | 339 45859 252092 | 2147483647 32258 19 | 6.354 % |
7.58/7.63 c | 32413 | 339 45859 252092 | 2147483647 32380 19 | 6.354 % |
7.58/7.66 c | 32548 | 339 45859 252092 | 2147483647 32515 19 | 6.362 % |
7.58/7.68 c | 32694 | 339 45859 252092 | 2147483647 32661 19 | 6.355 % |
7.68/7.72 c | 32854 | 339 45859 252092 | 2147483647 32821 19 | 6.355 % |
7.68/7.78 c | 33031 | 339 45859 252092 | 2147483647 32998 19 | 6.367 % |
7.77/7.84 c | 33224 | 339 45859 252092 | 2147483647 33191 19 | 6.354 % |
7.87/7.90 c | 33436 | 339 45859 252092 | 2147483647 33403 19 | 6.354 % |
7.87/7.97 c | 33671 | 339 45859 252092 | 2147483647 33638 19 | 6.354 % |
7.97/8.06 c | 33927 | 339 45859 252092 | 2147483647 33894 19 | 6.360 % |
8.07/8.13 c | 34208 | 339 45859 252092 | 2147483647 34175 19 | 6.363 % |
8.17/8.22 c | 34517 | 339 45859 252092 | 2147483647 34484 19 | 6.354 % |
8.27/8.33 c | 34856 | 339 45859 252092 | 2147483647 34823 19 | 6.355 % |
8.37/8.46 c | 35230 | 339 45859 252092 | 2147483647 35197 19 | 6.361 % |
8.47/8.53 c | 35640 | 339 45859 252092 | 2147483647 35607 19 | 6.355 % |
8.57/8.68 c | 36091 | 339 45859 252092 | 2147483647 36058 19 | 6.362 % |
8.78/8.84 c | 36584 | 339 45859 252092 | 2147483647 36551 19 | 6.354 % |
8.97/9.06 c | 37130 | 339 45859 252092 | 2147483647 37097 19 | 6.355 % |
8.97/9.09 c | 37230 | 339 45859 252092 | 2147483647 37197 19 | 6.354 % |
9.07/9.12 c | 37340 | 339 45859 252092 | 2147483647 37307 19 | 6.354 % |
9.07/9.15 c | 37462 | 339 45859 252092 | 2147483647 37429 19 | 6.354 % |
9.07/9.19 c | 37595 | 339 45859 252092 | 2147483647 37562 19 | 6.355 % |
9.17/9.24 c | 37741 | 339 45859 252092 | 2147483647 37708 19 | 6.354 % |
9.17/9.29 c | 37904 | 339 45859 252092 | 2147483647 37871 19 | 6.354 % |
9.27/9.34 c | 38081 | 339 45859 252092 | 2147483647 38048 19 | 6.354 % |
9.37/9.41 c | 38277 | 339 45859 252092 | 2147483647 38244 19 | 6.355 % |
9.37/9.47 c | 38489 | 339 45859 252092 | 2147483647 38456 19 | 6.355 % |
9.47/9.54 c | 38723 | 339 45859 252092 | 2147483647 38690 19 | 6.354 % |
9.57/9.67 c | 38980 | 339 45859 252092 | 2147483647 38947 19 | 6.361 % |
9.67/9.79 c | 39261 | 339 45859 252092 | 2147483647 39228 19 | 6.354 % |
9.78/9.90 c | 39570 | 339 45859 252092 | 2147483647 39537 19 | 6.354 % |
9.88/9.98 c | 39910 | 339 45859 252092 | 2147483647 39877 19 | 6.354 % |
10.07/10.11 c | 40283 | 339 45859 252092 | 2147483647 40250 19 | 6.354 % |
10.17/10.27 c | 40692 | 339 45859 252092 | 2147483647 40659 19 | 6.360 % |
10.37/10.43 c | 41141 | 339 45859 252092 | 2147483647 41108 19 | 6.354 % |
10.57/10.60 c | 41635 | 339 45859 252092 | 2147483647 41602 19 | 6.360 % |
10.67/10.73 c | 42177 | 339 45859 252092 | 2147483647 42144 19 | 6.354 % |
10.87/10.92 c | 42774 | 339 45859 252092 | 2147483647 42741 19 | 6.362 % |
10.87/10.96 c | 42874 | 339 45859 252092 | 2147483647 42841 19 | 6.362 % |
10.87/10.99 c | 42984 | 339 45859 252092 | 2147483647 42951 19 | 6.354 % |
10.98/11.05 c | 43105 | 339 45859 252092 | 2147483647 43072 19 | 6.360 % |
11.08/11.10 c | 43240 | 339 45859 252092 | 2147483647 43207 19 | 6.354 % |
11.08/11.16 c | 43391 | 339 45859 252092 | 2147483647 43358 19 | 6.355 % |
11.18/11.22 c | 43551 | 339 45859 252092 | 2147483647 43518 19 | 6.366 % |
11.18/11.30 c | 43728 | 339 45859 252092 | 2147483647 43695 19 | 6.354 % |
11.28/11.37 c | 43925 | 339 45859 252092 | 2147483647 43892 19 | 6.354 % |
11.38/11.47 c | 44139 | 339 45859 252092 | 2147483647 44106 19 | 6.355 % |
11.48/11.59 c | 44373 | 339 45859 252092 | 2147483647 44340 19 | 6.355 % |
11.68/11.71 c | 44630 | 339 45859 252092 | 2147483647 44597 19 | 6.354 % |
11.78/11.88 c | 44911 | 339 45859 252092 | 2147483647 44878 19 | 6.354 % |
11.98/12.00 c | 45222 | 339 45859 252092 | 2147483647 45189 19 | 6.354 % |
12.08/12.14 c | 45561 | 339 45859 252092 | 2147483647 45528 19 | 6.355 % |
12.28/12.35 c | 45934 | 339 45859 252092 | 2147483647 45901 19 | 6.354 % |
12.48/12.52 c | 46346 | 339 45859 252092 | 2147483647 46313 19 | 6.354 % |
12.58/12.67 c | 46795 | 339 45859 252092 | 2147483647 46762 19 | 6.354 % |
12.78/12.88 c | 47290 | 339 45859 252092 | 2147483647 47257 19 | 6.354 % |
13.08/13.17 c | 47832 | 339 45859 252092 | 2147483647 47799 20 | 6.354 % |
13.38/13.47 c | 48431 | 339 44167 242682 | 2147483647 48395 20 | 6.367 % |
13.68/13.72 c | 49086 | 339 44167 242682 | 2147483647 49050 20 | 6.367 % |
13.68/13.77 c | 49186 | 339 44167 242682 | 2147483647 49150 20 | 6.354 % |
13.78/13.83 c | 49296 | 339 44167 242682 | 2147483647 49260 20 | 6.354 % |
13.88/13.90 c | 49418 | 339 44167 242682 | 2147483647 49382 20 | 6.354 % |
13.88/13.97 c | 49551 | 339 44167 242682 | 2147483647 49515 20 | 6.362 % |
13.98/14.06 c | 49697 | 339 44167 242682 | 2147483647 49661 20 | 6.354 % |
14.08/14.14 c | 49857 | 339 44167 242682 | 2147483647 49821 20 | 6.354 % |
14.18/14.21 c | 50034 | 339 44167 242682 | 2147483647 49998 20 | 6.354 % |
14.28/14.31 c | 50227 | 339 44167 242682 | 2147483647 50191 20 | 6.355 % |
14.38/14.41 c | 50439 | 339 44167 242682 | 2147483647 50403 20 | 6.354 % |
14.47/14.53 c | 50674 | 339 44167 242682 | 2147483647 50638 20 | 6.355 % |
14.57/14.62 c | 50930 | 339 44167 242682 | 2147483647 50894 20 | 6.365 % |
14.67/14.75 c | 51214 | 339 44167 242682 | 2147483647 51178 20 | 6.354 % |
14.77/14.88 c | 51523 | 339 44167 242682 | 2147483647 51487 20 | 6.354 % |
14.97/15.06 c | 51862 | 339 44167 242682 | 2147483647 51826 20 | 6.354 % |
15.17/15.28 c | 52236 | 339 44167 242682 | 2147483647 52200 20 | 6.354 % |
15.38/15.48 c | 52645 | 339 44167 242682 | 2147483647 52609 20 | 6.354 % |
15.57/15.68 c | 53095 | 339 44167 242682 | 2147483647 53059 20 | 6.354 % |
15.97/16.02 c | 53589 | 339 44167 242682 | 2147483647 53553 20 | 6.354 % |
16.17/16.29 c | 54131 | 339 44167 242682 | 2147483647 54095 20 | 6.354 % |
16.48/16.59 c | 54727 | 339 44167 242682 | 2147483647 54691 20 | 6.367 % |
16.87/16.90 c | 55384 | 339 44167 242682 | 2147483647 55348 20 | 6.354 % |
17.17/17.26 c | 56106 | 339 44167 242682 | 2147483647 56070 20 | 6.361 % |
17.27/17.31 c | 56206 | 339 44167 242682 | 2147483647 56170 20 | 6.355 % |
17.27/17.35 c | 56316 | 339 44167 242682 | 2147483647 56280 20 | 6.354 % |
17.37/17.40 c | 56438 | 339 44167 242682 | 2147483647 56402 20 | 6.361 % |
17.37/17.46 c | 56571 | 339 44167 242682 | 2147483647 56535 20 | 6.354 % |
17.47/17.56 c | 56717 | 339 44167 242682 | 2147483647 56681 20 | 6.366 % |
17.57/17.63 c | 56877 | 339 44167 242682 | 2147483647 56841 20 | 6.354 % |
17.67/17.71 c | 57053 | 339 44167 242682 | 2147483647 57017 20 | 6.359 % |
17.77/17.83 c | 57246 | 339 44167 242682 | 2147483647 57210 20 | 6.354 % |
17.87/17.94 c | 57460 | 339 44167 242682 | 2147483647 57424 20 | 6.354 % |
17.97/18.05 c | 57695 | 339 44167 242682 | 2147483647 57659 20 | 6.355 % |
18.08/18.18 c | 57953 | 339 44167 242682 | 2147483647 57917 20 | 6.354 % |
18.28/18.34 c | 58234 | 339 44167 242682 | 2147483647 58198 20 | 6.354 % |
18.38/18.49 c | 58544 | 339 44167 242682 | 2147483647 58508 20 | 6.354 % |
18.68/18.72 c | 58886 | 339 44167 242682 | 2147483647 58850 20 | 6.354 % |
18.88/19.00 c | 59258 | 339 44167 242682 | 2147483647 59222 20 | 6.354 % |
19.28/19.35 c | 59667 | 339 44167 242682 | 2147483647 59631 20 | 6.354 % |
19.58/19.67 c | 60118 | 339 44167 242682 | 2147483647 60082 20 | 6.354 % |
19.98/20.03 c | 60612 | 339 44167 242682 | 2147483647 60576 20 | 6.354 % |
20.38/20.44 c | 61155 | 339 44167 242682 | 2147483647 61119 20 | 6.354 % |
20.78/20.85 c | 61753 | 339 44167 242682 | 2147483647 61717 20 | 6.354 % |
21.18/21.29 c | 62408 | 339 44167 242682 | 2147483647 62372 20 | 6.360 % |
21.68/21.75 c | 63128 | 339 44167 242682 | 2147483647 63092 20 | 6.356 % |
22.18/22.28 c | 63920 | 339 44167 242682 | 2147483647 63884 20 | 6.354 % |
22.28/22.33 c | 64021 | 339 44167 242682 | 2147483647 63985 20 | 6.354 % |
22.38/22.41 c | 64132 | 339 44167 242682 | 2147483647 64096 20 | 6.354 % |
22.38/22.47 c | 64253 | 339 44167 242682 | 2147483647 64217 20 | 6.354 % |
22.48/22.55 c | 64387 | 339 44167 242682 | 2147483647 64351 20 | 6.354 % |
22.58/22.62 c | 64534 | 339 44167 242682 | 2147483647 64498 20 | 6.360 % |
22.68/22.75 c | 64695 | 339 44167 242682 | 2147483647 64659 20 | 6.355 % |
22.78/22.87 c | 64871 | 339 44167 242682 | 2147483647 64835 20 | 6.354 % |
22.98/23.01 c | 65064 | 339 44167 242682 | 2147483647 65028 20 | 6.355 % |
23.18/23.20 c | 65279 | 339 44167 242682 | 2147483647 65243 20 | 6.354 % |
23.28/23.39 c | 65514 | 339 44167 242682 | 2147483647 65478 20 | 6.354 % |
23.48/23.59 c | 65770 | 339 44167 242682 | 2147483647 65734 20 | 6.354 % |
23.68/23.78 c | 66051 | 339 44167 242682 | 2147483647 66015 20 | 6.354 % |
23.98/24.01 c | 66360 | 339 44167 242682 | 2147483647 66324 20 | 6.354 % |
24.28/24.30 c | 66699 | 339 44167 242682 | 2147483647 66663 20 | 6.354 % |
24.48/24.52 c | 67071 | 339 44167 242682 | 2147483647 67035 20 | 6.354 % |
24.78/24.80 c | 67481 | 339 44167 242682 | 2147483647 67445 20 | 6.354 % |
24.98/25.07 c | 67931 | 339 44167 242682 | 2147483647 67895 20 | 6.354 % |
25.28/25.34 c | 68425 | 339 44167 242682 | 2147483647 68389 20 | 6.354 % |
25.58/25.65 c | 68967 | 339 44167 242682 | 2147483647 68931 20 | 6.358 % |
25.88/25.94 c | 69564 | 339 44167 242682 | 2147483647 69528 20 | 6.354 % |
26.38/26.43 c | 70222 | 339 44167 242682 | 2147483647 70186 20 | 6.354 % |
26.77/26.87 c | 70942 | 339 44167 242682 | 2147483647 70906 20 | 6.354 % |
27.27/27.35 c | 71735 | 339 44167 242682 | 2147483647 71699 20 | 6.354 % |
27.78/27.85 c | 72606 | 339 44167 242682 | 2147483647 72570 20 | 6.354 % |
27.88/27.92 c | 72708 | 339 44167 242682 | 2147483647 72672 20 | 6.354 % |
27.98/28.00 c | 72818 | 339 44167 242682 | 2147483647 72782 20 | 6.354 % |
27.98/28.05 c | 72939 | 339 44167 242682 | 2147483647 72903 20 | 6.354 % |
28.08/28.13 c | 73072 | 339 44167 242682 | 2147483647 73036 20 | 6.358 % |
28.18/28.28 c | 73218 | 339 44167 242682 | 2147483647 73182 20 | 6.356 % |
28.38/28.42 c | 73379 | 339 44167 242682 | 2147483647 73343 20 | 6.354 % |
28.48/28.56 c | 73558 | 339 44167 242682 | 2147483647 73522 20 | 6.355 % |
28.67/28.72 c | 73751 | 339 44167 242682 | 2147483647 73715 20 | 6.354 % |
28.77/28.85 c | 73964 | 339 44167 242682 | 2147483647 73928 20 | 6.358 % |
28.87/28.98 c | 74197 | 339 44167 242682 | 2147483647 74161 20 | 6.366 % |
29.07/29.16 c | 74453 | 339 44167 242682 | 2147483647 74417 20 | 6.354 % |
29.27/29.33 c | 74734 | 339 44167 242682 | 2147483647 74698 20 | 6.362 % |
29.47/29.53 c | 75044 | 339 44167 242682 | 2147483647 75008 20 | 6.361 % |
29.68/29.77 c | 75383 | 339 44167 242682 | 2147483647 75347 20 | 6.366 % |
30.07/30.11 c | 75755 | 339 44167 242682 | 2147483647 75719 20 | 6.354 % |
30.27/30.37 c | 76164 | 339 44167 242682 | 2147483647 76128 20 | 6.354 % |
30.68/30.75 c | 76613 | 339 44167 242682 | 2147483647 76577 20 | 6.354 % |
31.17/31.20 c | 77106 | 339 44167 242682 | 2147483647 77070 20 | 6.354 % |
31.57/31.69 c | 77649 | 339 44167 242682 | 2147483647 77613 20 | 6.354 % |
32.17/32.24 c | 78246 | 339 44167 242682 | 2147483647 78210 20 | 6.354 % |
32.67/32.76 c | 78903 | 339 44167 242682 | 2147483647 78867 20 | 6.354 % |
33.37/33.42 c | 79624 | 339 44167 242682 | 2147483647 79588 20 | 6.354 % |
33.98/34.02 c | 80416 | 339 44167 242682 | 2147483647 80380 20 | 6.354 % |
34.57/34.65 c | 81287 | 339 44167 242682 | 2147483647 81251 20 | 6.354 % |
35.18/35.26 c | 82246 | 339 44167 242682 | 2147483647 82210 20 | 6.367 % |
35.27/35.33 c | 82348 | 339 44167 242682 | 2147483647 82312 20 | 6.358 % |
35.27/35.40 c | 82461 | 339 44167 242682 | 2147483647 82425 20 | 6.354 % |
35.47/35.51 c | 82582 | 339 44167 242682 | 2147483647 82546 20 | 6.361 % |
35.57/35.63 c | 82715 | 339 44167 242682 | 2147483647 82679 20 | 6.355 % |
35.67/35.73 c | 82861 | 339 44167 242682 | 2147483647 82825 20 | 6.354 % |
35.77/35.81 c | 83022 | 339 44167 242682 | 2147483647 82986 20 | 6.374 % |
35.87/35.97 c | 83198 | 339 44167 242682 | 2147483647 83162 20 | 6.354 % |
35.97/36.09 c | 83392 | 339 44167 242682 | 2147483647 83356 20 | 6.354 % |
36.17/36.23 c | 83608 | 339 44167 242682 | 2147483647 83572 20 | 6.354 % |
36.37/36.44 c | 83842 | 339 44167 242682 | 2147483647 83806 20 | 6.355 % |
36.57/36.66 c | 84098 | 339 44167 242682 | 2147483647 84062 20 | 6.354 % |
36.77/36.88 c | 84379 | 339 44167 242682 | 2147483647 84343 20 | 6.355 % |
36.97/37.09 c | 84688 | 339 44167 242682 | 2147483647 84652 20 | 6.358 % |
37.27/37.39 c | 85027 | 339 44167 242682 | 2147483647 84991 20 | 6.356 % |
37.78/37.82 c | 85400 | 339 44167 242682 | 2147483647 85364 20 | 6.354 % |
38.08/38.16 c | 85810 | 339 44167 242682 | 2147483647 85774 21 | 6.362 % |
38.58/38.62 c | 86261 | 339 44167 242682 | 2147483647 86225 21 | 6.354 % |
38.98/39.09 c | 86755 | 339 44167 242682 | 2147483647 86719 21 | 6.354 % |
39.48/39.59 c | 87297 | 339 44167 242682 | 2147483647 87261 21 | 6.354 % |
40.08/40.19 c | 87893 | 339 44167 242682 | 2147483647 87857 21 | 6.360 % |
40.78/40.80 c | 88548 | 339 44167 242682 | 2147483647 88512 21 | 6.354 % |
41.58/41.67 c | 89268 | 339 44167 242682 | 2147483647 89232 21 | 6.354 % |
42.48/42.59 c | 90060 | 339 44167 242682 | 2147483647 90024 21 | 6.354 % |
43.48/43.51 c | 90931 | 339 44167 242682 | 2147483647 90895 21 | 6.354 % |
44.38/44.41 c | 91889 | 339 44167 242682 | 2147483647 91853 21 | 6.354 % |
45.38/45.49 c | 92943 | 339 44167 242682 | 2147483647 92907 21 | 6.354 % |
45.58/45.61 c | 93045 | 339 44167 242682 | 2147483647 93009 21 | 6.360 % |
45.68/45.73 c | 93156 | 339 44167 242682 | 2147483647 93120 21 | 6.354 % |
45.78/45.86 c | 93277 | 339 44167 242682 | 2147483647 93241 21 | 6.354 % |
45.88/45.98 c | 93410 | 339 44167 242682 | 2147483647 93374 21 | 6.354 % |
46.08/46.19 c | 93557 | 339 44167 242682 | 2147483647 93521 21 | 6.354 % |
46.28/46.35 c | 93717 | 339 44167 242682 | 2147483647 93681 21 | 6.354 % |
46.38/46.48 c | 93894 | 339 44167 242682 | 2147483647 93858 21 | 6.354 % |
46.58/46.61 c | 94087 | 339 44167 242682 | 2147483647 94051 21 | 6.354 % |
46.78/46.84 c | 94299 | 339 44167 242682 | 2147483647 94263 21 | 6.354 % |
47.08/47.12 c | 94533 | 339 44167 242682 | 2147483647 94497 21 | 6.355 % |
47.28/47.38 c | 94790 | 339 44167 242682 | 2147483647 94754 21 | 6.354 % |
47.58/47.68 c | 95071 | 339 44167 242682 | 2147483647 95035 21 | 6.354 % |
47.98/48.08 c | 95380 | 339 44167 242682 | 2147483647 95344 21 | 6.354 % |
48.48/48.52 c | 95719 | 339 44167 242682 | 2147483647 95683 21 | 6.354 % |
48.78/48.88 c | 96092 | 339 44167 242682 | 2147483647 96056 21 | 6.354 % |
49.38/49.45 c | 96501 | 339 44167 242682 | 2147483647 96465 21 | 6.354 % |
49.98/50.04 c | 96951 | 339 44167 242682 | 2147483647 96915 21 | 6.354 % |
50.58/50.61 c | 97446 | 339 44167 242682 | 2147483647 97410 21 | 6.354 % |
51.28/51.30 c | 97990 | 339 44167 242682 | 2147483647 97954 21 | 6.354 % |
51.98/52.00 c | 98587 | 339 44167 242682 | 2147483647 98551 21 | 6.354 % |
52.68/52.78 c | 99242 | 339 44167 242682 | 2147483647 99206 21 | 6.355 % |
53.37/53.44 c | 99964 | 339 44167 242682 | 2147483647 99928 21 | 6.355 % |
54.17/54.26 c | 100758 | 339 44167 242682 | 2147483647 100722 21 | 6.354 % |
55.28/55.35 c | 101631 | 339 44167 242682 | 2147483647 101595 21 | 6.360 % |
56.17/56.24 c | 102591 | 339 44167 242682 | 2147483647 102555 21 | 6.370 % |
57.27/57.32 c | 103644 | 339 44167 242682 | 2147483647 103608 21 | 6.355 % |
58.28/58.30 c | 104803 | 339 44167 242682 | 2147483647 104767 21 | 6.354 % |
58.37/58.41 c | 104903 | 339 44167 242682 | 2147483647 104867 21 | 6.354 % |
58.47/58.55 c | 105013 | 339 44167 242682 | 2147483647 104977 21 | 6.354 % |
58.67/58.74 c | 105136 | 339 44167 242682 | 2147483647 105100 21 | 6.354 % |
58.87/58.91 c | 105269 | 339 44167 242682 | 2147483647 105233 21 | 6.354 % |
58.97/59.09 c | 105416 | 339 44167 242682 | 2147483647 105380 21 | 6.355 % |
59.17/59.25 c | 105577 | 339 44167 242682 | 2147483647 105541 21 | 6.354 % |
59.38/59.49 c | 105755 | 339 44167 242682 | 2147483647 105719 21 | 6.354 % |
59.68/59.77 c | 105949 | 339 44167 242682 | 2147483647 105913 21 | 6.354 % |
59.98/60.00 c | 106161 | 339 44167 242682 | 2147483647 106125 21 | 6.354 % |
60.28/60.31 c | 106394 | 339 44167 242682 | 2147483647 106358 21 | 6.362 % |
60.48/60.58 c | 106650 | 339 44167 242682 | 2147483647 106614 21 | 6.356 % |
60.78/60.84 c | 106931 | 339 44167 242682 | 2147483647 106895 21 | 6.354 % |
61.18/61.20 c | 107243 | 339 44167 242682 | 2147483647 107207 21 | 6.362 % |
61.48/61.54 c | 107583 | 339 44167 242682 | 2147483647 107547 21 | 6.362 % |
61.88/61.99 c | 107956 | 339 44167 242682 | 2147483647 107920 21 | 6.354 % |
62.58/62.60 c | 108365 | 339 44167 242682 | 2147483647 108329 21 | 6.354 % |
63.08/63.17 c | 108814 | 339 44167 242682 | 2147483647 108778 21 | 6.354 % |
63.68/63.80 c | 109307 | 339 44167 242682 | 2147483647 109271 21 | 6.361 % |
64.28/64.33 c | 109850 | 339 44167 242682 | 2147483647 109814 21 | 6.355 % |
64.88/64.99 c | 110447 | 339 44167 242682 | 2147483647 110411 21 | 6.354 % |
65.58/65.65 c | 111103 | 339 44167 242682 | 2147483647 111067 21 | 6.354 % |
66.18/66.28 c | 111824 | 339 44167 242682 | 2147483647 111788 21 | 6.354 % |
66.98/67.04 c | 112616 | 339 44167 242682 | 2147483647 112580 21 | 6.365 % |
67.87/67.97 c | 113489 | 339 44167 242682 | 2147483647 113453 21 | 6.354 % |
68.67/68.78 c | 114448 | 339 44167 242682 | 2147483647 114412 21 | 6.354 % |
69.66/69.70 c | 115503 | 339 44167 242682 | 2147483647 115467 21 | 6.354 % |
70.86/70.93 c | 116662 | 339 44167 242682 | 2147483647 116626 21 | 6.356 % |
72.16/72.27 c | 117936 | 339 44167 242682 | 2147483647 117900 21 | 6.355 % |
72.36/72.44 c | 118038 | 339 44167 242682 | 2147483647 118002 21 | 6.354 % |
72.56/72.65 c | 118149 | 339 44167 242682 | 2147483647 118113 21 | 6.355 % |
72.76/72.85 c | 118271 | 339 44167 242682 | 2147483647 118235 21 | 6.354 % |
72.96/73.04 c | 118404 | 339 44167 242682 | 2147483647 118368 21 | 6.354 % |
73.06/73.19 c | 118550 | 339 44167 242682 | 2147483647 118514 21 | 6.354 % |
73.36/73.50 c | 118715 | 339 44167 242682 | 2147483647 118679 21 | 6.356 % |
73.66/73.77 c | 118891 | 339 44167 242682 | 2147483647 118855 21 | 6.355 % |
73.96/74.00 c | 119084 | 339 44167 242682 | 2147483647 119048 21 | 6.354 % |
74.26/74.30 c | 119296 | 339 44167 242682 | 2147483647 119260 21 | 6.354 % |
74.56/74.60 c | 119530 | 339 44167 242682 | 2147483647 119494 21 | 6.354 % |
74.96/75.02 c | 119787 | 339 44167 242682 | 2147483647 119751 21 | 6.354 % |
75.36/75.40 c | 120068 | 339 44167 242682 | 2147483647 120032 21 | 6.354 % |
75.76/75.81 c | 120378 | 339 44167 242682 | 2147483647 120342 21 | 6.354 % |
76.26/76.36 c | 120718 | 339 44167 242682 | 2147483647 120682 21 | 6.354 % |
76.76/76.86 c | 121090 | 339 44167 242682 | 2147483647 121054 21 | 6.355 % |
77.36/77.43 c | 121500 | 339 44167 242682 | 2147483647 121464 21 | 6.356 % |
77.96/78.05 c | 121950 | 339 44167 242682 | 2147483647 121914 21 | 6.354 % |
78.66/78.72 c | 122443 | 339 44167 242682 | 2147483647 122407 21 | 6.354 % |
79.26/79.32 c | 122986 | 339 44167 242682 | 2147483647 122950 21 | 6.354 % |
80.06/80.16 c | 123582 | 339 44167 242682 | 2147483647 123546 21 | 6.354 % |
81.26/81.32 c | 124239 | 339 44167 242682 | 2147483647 124203 21 | 6.354 % |
82.26/82.36 c | 124960 | 339 44167 242682 | 2147483647 124924 21 | 6.354 % |
83.46/83.56 c | 125752 | 339 44167 242682 | 2147483647 125716 21 | 6.355 % |
84.76/84.80 c | 126624 | 339 44167 242682 | 2147483647 126588 21 | 6.354 % |
86.06/86.13 c | 127583 | 339 44167 242682 | 2147483647 127547 21 | 6.354 % |
87.76/87.81 c | 128636 | 339 44167 242682 | 2147483647 128600 21 | 6.354 % |
89.56/89.65 c | 129794 | 339 44167 242682 | 2147483647 129758 21 | 6.354 % |
91.66/91.71 c | 131067 | 339 44167 242682 | 129964 117101 21 | 6.355 % |
93.56/93.65 c | 132469 | 339 44167 242682 | 129964 118503 21 | 6.355 % |
93.66/93.78 c | 132571 | 339 44167 242682 | 129964 118605 21 | 6.354 % |
93.86/93.98 c | 132681 | 339 44167 242682 | 129964 118715 21 | 6.354 % |
94.06/94.14 c | 132802 | 339 44167 242682 | 129964 118836 21 | 6.354 % |
94.26/94.31 c | 132935 | 339 44167 242682 | 129964 118969 21 | 6.354 % |
94.37/94.49 c | 133081 | 339 44167 242682 | 129964 119115 21 | 6.354 % |
94.67/94.74 c | 133241 | 339 44167 242682 | 129964 119275 21 | 6.355 % |
94.87/94.95 c | 133418 | 339 44167 242682 | 129964 119452 21 | 6.355 % |
95.17/95.26 c | 133611 | 339 44167 242682 | 129964 119645 21 | 6.354 % |
95.46/95.59 c | 133823 | 339 44167 242682 | 129964 119857 21 | 6.354 % |
95.76/95.85 c | 134056 | 339 44167 242682 | 129964 120090 21 | 6.354 % |
96.26/96.30 c | 134313 | 339 44167 242682 | 129964 120347 21 | 6.354 % |
96.67/96.73 c | 134595 | 339 44167 242682 | 129964 120629 21 | 6.361 % |
97.16/97.21 c | 134905 | 339 44167 242682 | 129964 120939 21 | 6.354 % |
97.56/97.69 c | 135247 | 339 44167 242682 | 129964 121281 21 | 6.354 % |
98.07/98.13 c | 135620 | 339 44167 242682 | 129964 121654 21 | 6.355 % |
98.67/98.75 c | 136030 | 339 44167 242682 | 129964 122064 21 | 6.354 % |
99.27/99.39 c | 136481 | 339 44167 242682 | 129964 122515 21 | 6.354 % |
99.87/99.98 c | 136974 | 339 44167 242682 | 129964 123008 21 | 6.354 % |
100.47/100.59 c | 137516 | 339 44167 242682 | 129964 123550 21 | 6.354 % |
101.37/101.42 c | 138112 | 339 44167 242682 | 129964 124146 21 | 6.355 % |
101.97/102.08 c | 138767 | 339 44167 242682 | 129964 124801 21 | 6.354 % |
102.77/102.83 c | 139487 | 339 44167 242682 | 129964 125521 21 | 6.354 % |
103.97/104.07 c | 140279 | 339 44167 242682 | 126035 111619 21 | 6.355 % |
104.87/104.99 c | 141150 | 339 44167 242682 | 126035 112490 21 | 6.355 % |
105.87/106.00 c | 142110 | 339 44167 242682 | 126035 113450 21 | 6.355 % |
106.77/106.90 c | 143163 | 339 44167 242682 | 126035 114503 21 | 6.354 % |
107.77/107.83 c | 144322 | 339 44167 242682 | 126035 115662 21 | 6.356 % |
109.17/109.23 c | 145596 | 339 44167 242682 | 126035 116936 21 | 6.360 % |
111.17/111.29 c | 146996 | 339 44167 242682 | 126035 118336 21 | 6.354 % |
113.47/113.50 c | 148536 | 339 44167 242682 | 126035 119876 21 | 6.355 % |
113.57/113.67 c | 148636 | 339 44167 242682 | 126035 119976 21 | 6.354 % |
113.77/113.89 c | 148746 | 339 44167 242682 | 126035 120086 21 | 6.354 % |
114.07/114.11 c | 148868 | 339 44167 242682 | 126035 120208 21 | 6.354 % |
114.27/114.31 c | 149001 | 339 44167 242682 | 126035 120341 21 | 6.354 % |
114.57/114.62 c | 149149 | 339 44167 242682 | 126035 120489 21 | 6.354 % |
114.77/114.84 c | 149309 | 339 44167 242682 | 126035 120649 21 | 6.362 % |
114.97/115.09 c | 149487 | 339 44167 242682 | 126035 120827 21 | 6.354 % |
115.27/115.35 c | 149682 | 339 44167 242682 | 126035 121022 21 | 6.354 % |
115.47/115.54 c | 149895 | 339 44167 242682 | 126035 121235 21 | 6.354 % |
115.77/115.88 c | 150128 | 339 44167 242682 | 2147483647 121468 21 | 6.363 % |
116.16/116.22 c | 150384 | 339 44167 242682 | 2147483647 121724 21 | 6.354 % |
116.47/116.55 c | 150665 | 339 44167 242682 | 2147483647 122005 21 | 6.354 % |
116.86/116.94 c | 150974 | 339 44167 242682 | 2147483647 122314 21 | 6.355 % |
117.16/117.25 c | 151315 | 339 44167 242682 | 2147483647 122655 21 | 6.358 % |
117.46/117.58 c | 151687 | 339 44167 242682 | 2147483647 123027 21 | 6.362 % |
117.76/117.86 c | 152096 | 339 44167 242682 | 2147483647 123436 21 | 6.354 % |
118.26/118.36 c | 152546 | 339 44167 242682 | 2147483647 123886 21 | 6.354 % |
118.86/118.95 c | 153039 | 339 44167 242682 | 2147483647 124379 21 | 6.354 % |
119.97/120.01 c | 153581 | 339 44167 242682 | 2147483647 124921 21 | 6.354 % |
121.07/121.10 c | 154177 | 339 44167 242682 | 2147483647 125517 21 | 6.354 % |
121.86/121.99 c | 154833 | 339 44167 242682 | 2147483647 126173 21 | 6.354 % |
122.97/123.06 c | 155556 | 339 44167 242682 | 2147483647 126896 21 | 6.354 % |
124.37/124.40 c | 156348 | 339 44167 242682 | 2147483647 127688 21 | 6.354 % |
125.57/125.68 c | 157219 | 339 44167 242682 | 2147483647 128559 21 | 6.354 % |
127.17/127.22 c | 158178 | 339 44167 242682 | 2147483647 129518 21 | 6.354 % |
128.77/128.80 c | 159231 | 339 44167 242682 | 2147483647 130571 21 | 6.354 % |
130.46/130.59 c | 160389 | 339 44167 242682 | 131343 114889 21 | 6.354 % |
132.06/132.14 c | 161662 | 339 44167 242682 | 131343 116162 21 | 6.354 % |
134.07/134.11 c | 163063 | 339 44167 242682 | 131343 117563 21 | 6.354 % |
135.86/135.90 c | 164603 | 339 44167 242682 | 131343 119103 21 | 6.354 % |
137.86/137.94 c | 166301 | 339 44167 242682 | 131343 120801 21 | 6.354 % |
137.96/138.07 c | 166403 | 339 44167 242682 | 131343 120903 21 | 6.354 % |
138.06/138.19 c | 166513 | 339 44167 242682 | 131343 121013 21 | 6.354 % |
138.26/138.34 c | 166634 | 339 44167 242682 | 131343 121134 21 | 6.354 % |
138.36/138.49 c | 166767 | 339 44167 242682 | 131343 121267 21 | 6.354 % |
138.57/138.65 c | 166915 | 339 44167 242682 | 131343 121415 21 | 6.354 % |
138.76/138.84 c | 167077 | 339 44167 242682 | 131343 121577 21 | 6.354 % |
139.06/139.15 c | 167254 | 339 44167 242682 | 131343 121754 21 | 6.355 % |
139.36/139.41 c | 167450 | 339 44167 242682 | 131343 121950 21 | 6.360 % |
139.67/139.71 c | 167663 | 339 44167 242682 | 131343 122163 21 | 6.354 % |
139.96/140.06 c | 167896 | 339 44167 242682 | 131343 122396 21 | 6.354 % |
140.46/140.55 c | 168152 | 339 44167 242682 | 131343 122652 21 | 6.354 % |
140.77/140.90 c | 168434 | 339 44167 242682 | 131343 122934 21 | 6.354 % |
141.27/141.34 c | 168744 | 339 44167 242682 | 131343 123244 21 | 6.354 % |
141.77/141.89 c | 169083 | 339 44167 242682 | 131343 123583 21 | 6.354 % |
142.46/142.54 c | 169455 | 339 44167 242682 | 131343 123955 21 | 6.354 % |
142.97/143.06 c | 169865 | 339 44167 242682 | 131343 124365 21 | 6.354 % |
143.86/143.98 c | 170316 | 339 44167 242682 | 124501 110319 21 | 6.361 % |
144.56/144.65 c | 170811 | 339 44167 242682 | 124501 110814 21 | 6.354 % |
145.36/145.41 c | 171355 | 339 44167 242682 | 124501 111358 21 | 6.354 % |
146.06/146.14 c | 171951 | 339 44167 242682 | 124501 111954 21 | 6.354 % |
147.17/147.27 c | 172606 | 339 44167 242682 | 124501 112609 21 | 6.354 % |
148.06/148.17 c | 173326 | 339 44167 242682 | 124501 113329 21 | 6.354 % |
149.27/149.35 c | 174120 | 339 44167 242682 | 124501 114123 21 | 6.355 % |
150.57/150.64 c | 174991 | 339 44167 242682 | 124501 114994 21 | 6.354 % |
151.57/151.66 c | 175949 | 339 44167 242682 | 124501 115952 21 | 6.354 % |
152.87/152.97 c | 177003 | 339 44167 242682 | 124501 117006 21 | 6.354 % |
154.76/154.83 c | 178162 | 339 44167 242682 | 124501 118165 21 | 6.355 % |
156.46/156.54 c | 179436 | 339 44167 242682 | 124501 119439 21 | 6.354 % |
158.46/158.54 c | 180838 | 339 44167 242682 | 120003 108491 21 | 6.354 % |
160.66/160.72 c | 182380 | 339 44167 242682 | 120003 110033 21 | 6.354 % |
162.67/162.71 c | 184074 | 339 44167 242682 | 120003 111727 21 | 6.355 % |
165.26/165.34 c | 185937 | 339 44167 242682 | 120003 113590 21 | 6.354 % |
165.36/165.45 c | 186037 | 339 44167 242682 | 120003 113690 21 | 6.354 % |
165.56/165.60 c | 186148 | 339 44167 242682 | 120003 113801 21 | 6.354 % |
165.66/165.75 c | 186270 | 339 44167 242682 | 120003 113923 21 | 6.355 % |
165.86/165.93 c | 186404 | 339 44167 242682 | 120003 114057 21 | 6.355 % |
166.07/166.12 c | 186551 | 339 44167 242682 | 120003 114204 21 | 6.354 % |
166.26/166.40 c | 186711 | 339 44167 242682 | 120003 114364 21 | 6.354 % |
166.56/166.69 c | 186888 | 339 44167 242682 | 120003 114541 21 | 6.354 % |
166.86/166.94 c | 187082 | 339 44167 242682 | 120003 114735 21 | 6.354 % |
167.26/167.39 c | 187294 | 339 44167 242682 | 120003 114947 21 | 6.354 % |
167.66/167.71 c | 187527 | 339 44167 242682 | 120003 115180 21 | 6.354 % |
167.96/168.09 c | 187784 | 339 44167 242682 | 120003 115437 21 | 6.354 % |
168.46/168.51 c | 188065 | 339 44167 242682 | 120003 115718 21 | 6.354 % |
168.86/168.96 c | 188374 | 339 44167 242682 | 120003 116027 21 | 6.355 % |
169.46/169.55 c | 188715 | 339 44167 242682 | 120003 116368 21 | 6.354 % |
169.96/170.07 c | 189088 | 339 44167 242682 | 120003 116741 21 | 6.354 % |
170.76/170.89 c | 189498 | 339 44167 242682 | 120003 117151 21 | 6.354 % |
171.47/171.54 c | 189948 | 339 44167 242682 | 120003 117601 21 | 6.354 % |
172.46/172.54 c | 190444 | 339 44167 242682 | 117654 105633 21 | 6.354 % |
173.16/173.28 c | 190986 | 339 44167 242682 | 117654 106175 21 | 6.354 % |
173.96/174.06 c | 191582 | 339 44167 242682 | 117654 106771 21 | 6.355 % |
174.77/174.81 c | 192237 | 339 44167 242682 | 117654 107426 21 | 6.354 % |
175.36/175.45 c | 192958 | 339 44167 242682 | 117654 108147 21 | 6.354 % |
176.16/176.30 c | 193754 | 339 44167 242682 | 117654 108943 21 | 6.354 % |
177.07/177.18 c | 194625 | 339 44167 242682 | 117654 109814 21 | 6.354 % |
178.07/178.12 c | 195583 | 339 44167 242682 | 117654 110772 21 | 6.361 % |
179.17/179.26 c | 196638 | 339 44167 242682 | 117654 111827 21 | 6.354 % |
180.37/180.43 c | 197798 | 339 44167 242682 | 117654 112987 21 | 6.362 % |
181.86/181.95 c | 199071 | 339 44167 242682 | 117654 114260 21 | 6.354 % |
183.97/184.08 c | 200473 | 339 44167 242682 | 2147483647 115662 21 | 6.354 % |
185.97/186.07 c | 202013 | 339 44167 242682 | 2147483647 117202 21 | 6.355 % |
188.56/188.61 c | 203707 | 339 44167 242682 | 2147483647 118896 21 | 6.355 % |
191.16/191.22 c | 205572 | 339 44167 242682 | 2147483647 120761 21 | 6.361 % |
193.66/193.72 c | 207621 | 338 43376 238523 | 2147483647 122809 21 | 6.631 % |
193.76/193.88 c | 207722 | 338 43376 238523 | 2147483647 122910 21 | 6.631 % |
193.96/194.01 c | 207834 | 338 43376 238523 | 2147483647 123022 21 | 6.631 % |
194.06/194.15 c | 207957 | 338 43376 238523 | 2147483647 123145 21 | 6.631 % |
194.26/194.33 c | 208092 | 338 43376 238523 | 2147483647 123280 21 | 6.631 % |
194.57/194.60 c | 208241 | 338 43376 238523 | 2147483647 123429 21 | 6.631 % |
194.76/194.86 c | 208401 | 338 43376 238523 | 2147483647 123589 21 | 6.631 % |
195.16/195.20 c | 208577 | 338 43376 238523 | 2147483647 123765 21 | 6.631 % |
195.26/195.38 c | 208771 | 338 43376 238523 | 2147483647 123959 21 | 6.631 % |
195.56/195.66 c | 208984 | 338 43376 238523 | 2147483647 124172 21 | 6.631 % |
195.96/196.01 c | 209219 | 338 43376 238523 | 2147483647 124407 21 | 6.631 % |
196.36/196.40 c | 209475 | 338 43376 238523 | 2147483647 124663 21 | 6.631 % |
196.66/196.76 c | 209756 | 338 43376 238523 | 2147483647 124944 21 | 6.631 % |
197.06/197.14 c | 210066 | 338 43376 238523 | 125188 125254 21 | 6.631 % |
197.97/198.06 c | 210405 | 338 43376 238523 | 125188 112166 21 | 6.631 % |
198.36/198.49 c | 210779 | 338 43376 238523 | 125188 112540 21 | 6.631 % |
198.97/199.07 c | 211188 | 338 43376 238523 | 125188 112949 21 | 6.631 % |
199.46/199.55 c | 211637 | 338 43376 238523 | 125188 113398 21 | 6.631 % |
200.17/200.21 c | 212131 | 338 43376 238523 | 125188 113892 21 | 6.631 % |
200.57/200.67 c | 212673 | 338 43376 238523 | 125188 114434 21 | 6.631 % |
201.07/201.16 c | 213270 | 338 43376 238523 | 125188 115031 21 | 6.631 % |
201.66/201.76 c | 213925 | 338 43376 238523 | 125188 115686 21 | 6.631 % |
202.46/202.51 c | 214646 | 338 43376 238523 | 125188 116407 21 | 6.631 % |
203.56/203.62 c | 215438 | 338 43376 238523 | 125188 117199 21 | 6.631 % |
204.57/204.64 c | 216309 | 338 43376 238523 | 125188 118070 21 | 6.631 % |
205.46/205.58 c | 217268 | 338 43376 238523 | 125188 119029 21 | 6.631 % |
206.56/206.70 c | 218321 | 338 43376 238523 | 125188 120082 21 | 6.631 % |
207.87/207.98 c | 219480 | 338 43376 238523 | 125188 121241 21 | 6.631 % |
209.36/209.48 c | 220754 | 338 43376 238523 | 2147483647 122515 21 | 6.631 % |
210.86/210.95 c | 222154 | 338 43376 238523 | 2147483647 123915 21 | 6.631 % |
212.76/212.88 c | 223695 | 338 43376 238523 | 2147483647 125456 21 | 6.631 % |
214.47/214.53 c | 225391 | 338 43376 238523 | 2147483647 127152 21 | 6.631 % |
216.76/216.82 c | 227254 | 338 43376 238523 | 2147483647 129015 21 | 6.631 % |
219.16/219.20 c | 229306 | 338 43376 238523 | 2147483647 131067 21 | 6.631 % |
222.86/222.93 c | 231561 | 338 43376 238523 | 131762 118388 21 | 6.638 % |
223.06/223.14 c | 231661 | 338 43376 238523 | 131762 118488 21 | 6.631 % |
223.26/223.33 c | 231771 | 338 43376 238523 | 131762 118598 21 | 6.631 % |
223.46/223.53 c | 231892 | 338 43376 238523 | 131762 118719 21 | 6.631 % |
223.76/223.80 c | 232025 | 338 43376 238523 | 131762 118852 21 | 6.631 % |
223.96/224.08 c | 232171 | 338 43376 238523 | 131762 118998 21 | 6.631 % |
224.16/224.28 c | 232331 | 338 43376 238523 | 131762 119158 21 | 6.631 % |
224.46/224.53 c | 232508 | 338 43376 238523 | 131762 119335 21 | 6.632 % |
224.76/224.80 c | 232701 | 338 43376 238523 | 131762 119528 21 | 6.631 % |
225.06/225.13 c | 232913 | 338 43376 238523 | 131762 119740 21 | 6.631 % |
225.36/225.48 c | 233146 | 338 43376 238523 | 131762 119973 21 | 6.631 % |
225.76/225.83 c | 233402 | 338 43376 238523 | 131762 120229 21 | 6.631 % |
226.06/226.18 c | 233684 | 338 43376 238523 | 131762 120511 21 | 6.631 % |
226.36/226.48 c | 233993 | 338 43376 238523 | 131762 120820 21 | 6.631 % |
226.86/226.91 c | 234332 | 338 43376 238523 | 131762 121159 21 | 6.637 % |
227.16/227.28 c | 234704 | 338 43376 238523 | 131762 121531 21 | 6.637 % |
227.56/227.62 c | 235114 | 338 43376 238523 | 131762 121941 21 | 6.631 % |
228.06/228.12 c | 235565 | 338 43376 238523 | 131762 122392 21 | 6.631 % |
228.86/228.99 c | 236060 | 338 43376 238523 | 131762 122887 21 | 6.631 % |
229.66/229.71 c | 236602 | 338 43376 238523 | 131762 123429 21 | 6.631 % |
230.16/230.27 c | 237199 | 338 43376 238523 | 131762 124026 21 | 6.637 % |
230.66/230.75 c | 237855 | 338 43376 238523 | 131762 124682 21 | 6.631 % |
231.26/231.30 c | 238575 | 338 43376 238523 | 131762 125402 21 | 6.631 % |
232.16/232.25 c | 239367 | 338 43376 238523 | 131762 126194 21 | 6.631 % |
233.66/233.75 c | 240238 | 338 43376 238523 | 126828 113261 21 | 6.631 % |
234.76/234.89 c | 241198 | 338 43376 238523 | 126828 114221 21 | 6.631 % |
236.06/236.18 c | 242252 | 338 43376 238523 | 126828 115275 21 | 6.631 % |
237.66/237.76 c | 243412 | 338 43376 238523 | 126828 116435 21 | 6.631 % |
239.06/239.14 c | 244685 | 338 43376 238523 | 126828 117708 21 | 6.631 % |
240.66/240.76 c | 246085 | 338 43376 238523 | 126828 119108 21 | 6.638 % |
242.46/242.52 c | 247629 | 338 43376 238523 | 126828 120652 21 | 6.631 % |
244.56/244.64 c | 249323 | 338 43376 238523 | 126828 122346 21 | 6.637 % |
247.06/247.13 c | 251186 | 338 43376 238523 | 2147483647 124209 21 | 6.631 % |
249.86/249.98 c | 253236 | 338 43376 238523 | 2147483647 126259 21 | 6.631 % |
252.46/252.52 c | 255490 | 338 43376 238523 | 2147483647 128513 21 | 6.631 % |
255.45/255.54 c | 257968 | 338 43376 238523 | 2147483647 130991 21 | 6.644 % |
255.65/255.70 c | 258068 | 338 43376 238523 | 2147483647 131091 21 | 6.654 % |
255.86/255.92 c | 258178 | 338 43376 238523 | 2147483647 131201 21 | 6.631 % |
256.06/256.10 c | 258301 | 338 43376 238523 | 2147483647 131324 21 | 6.631 % |
256.26/256.36 c | 258437 | 338 43376 238523 | 2147483647 131460 21 | 6.631 % |
256.46/256.58 c | 258586 | 338 43376 238523 | 2147483647 131609 21 | 6.638 % |
256.86/256.91 c | 258746 | 338 43376 238523 | 2147483647 131769 21 | 6.631 % |
257.26/257.31 c | 258922 | 338 43376 238523 | 2147483647 131945 21 | 6.631 % |
257.56/257.61 c | 259117 | 338 43376 238523 | 2147483647 132140 21 | 6.631 % |
257.86/257.93 c | 259330 | 338 43376 238523 | 2147483647 132353 21 | 6.631 % |
258.26/258.31 c | 259563 | 338 43376 238523 | 2147483647 132586 21 | 6.631 % |
258.66/258.72 c | 259819 | 338 43376 238523 | 2147483647 132842 21 | 6.631 % |
259.06/259.10 c | 260100 | 338 43376 238523 | 133023 133123 21 | 6.637 % |
259.96/260.07 c | 260410 | 338 43376 238523 | 133023 115923 21 | 6.631 % |
260.46/260.52 c | 260749 | 338 43376 238523 | 133023 116262 21 | 6.631 % |
260.96/261.04 c | 261122 | 338 43376 238523 | 133023 116635 21 | 6.631 % |
261.56/261.65 c | 261532 | 338 43376 238523 | 133023 117045 21 | 6.631 % |
262.16/262.29 c | 261982 | 338 43376 238523 | 133023 117495 21 | 6.647 % |
262.86/262.95 c | 262475 | 338 43376 238523 | 133023 117988 21 | 6.631 % |
263.56/263.68 c | 263019 | 338 43376 238523 | 133023 118532 21 | 6.631 % |
264.16/264.26 c | 263615 | 338 43376 238523 | 133023 119128 21 | 6.631 % |
265.06/265.12 c | 264270 | 338 43376 238523 | 133023 119783 21 | 6.631 % |
266.06/266.11 c | 264992 | 338 43376 238523 | 133023 120505 21 | 6.631 % |
267.26/267.30 c | 265786 | 338 43376 238523 | 133023 121299 21 | 6.631 % |
268.16/268.23 c | 266658 | 338 43376 238523 | 133023 122171 21 | 6.631 % |
269.06/269.17 c | 267616 | 338 43376 238523 | 133023 123129 21 | 6.644 % |
270.16/270.29 c | 268669 | 338 43376 238523 | 133023 124182 21 | 6.644 % |
271.35/271.46 c | 269827 | 338 43376 238523 | 133023 125340 21 | 6.644 % |
272.66/272.77 c | 271100 | 338 43376 238523 | 125515 110955 20 | 6.647 % |
273.86/273.96 c | 272500 | 338 43376 238523 | 125515 112355 20 | 6.631 % |
275.45/275.58 c | 274040 | 338 43376 238523 | 125515 113895 20 | 6.632 % |
277.16/277.20 c | 275734 | 338 43376 238523 | 125515 115589 20 | 6.632 % |
278.56/278.61 c | 277597 | 338 43376 238523 | 125515 117452 20 | 6.631 % |
280.36/280.49 c | 279648 | 338 43376 238523 | 125515 119503 20 | 6.631 % |
282.56/282.63 c | 281902 | 338 43376 238523 | 2147483647 121757 20 | 6.631 % |
284.96/285.10 c | 284381 | 338 43376 238523 | 2147483647 124236 20 | 6.638 % |
287.86/287.95 c | 287106 | 338 43376 238523 | 2147483647 126961 20 | 6.631 % |
287.96/288.07 c | 287206 | 338 43376 238523 | 2147483647 127061 20 | 6.631 % |
288.06/288.18 c | 287317 | 338 43376 238523 | 2147483647 127172 20 | 6.631 % |
288.16/288.26 c | 287441 | 338 43376 238523 | 2147483647 127296 20 | 6.631 % |
288.26/288.36 c | 287575 | 338 43376 238523 | 2147483647 127430 20 | 6.631 % |
288.56/288.61 c | 287721 | 338 43376 238523 | 2147483647 127576 20 | 6.631 % |
288.76/288.87 c | 287882 | 338 43376 238523 | 2147483647 127737 20 | 6.631 % |
288.96/289.06 c | 288059 | 338 43376 238523 | 2147483647 127914 20 | 6.631 % |
289.06/289.20 c | 288254 | 338 43376 238523 | 2147483647 128109 20 | 6.631 % |
289.36/289.44 c | 288466 | 338 43376 238523 | 2147483647 128321 20 | 6.631 % |
289.56/289.68 c | 288699 | 338 43376 238523 | 2147483647 128554 20 | 6.631 % |
289.86/289.90 c | 288956 | 338 43376 238523 | 2147483647 128811 20 | 6.637 % |
290.06/290.17 c | 289238 | 338 43376 238523 | 2147483647 129093 20 | 6.637 % |
290.36/290.47 c | 289549 | 338 43376 238523 | 2147483647 129404 20 | 6.631 % |
291.16/291.21 c | 289889 | 338 43376 238523 | 2147483647 129744 20 | 6.631 % |
291.76/291.80 c | 290262 | 338 43376 238523 | 2147483647 130117 20 | 6.631 % |
292.26/292.31 c | 290672 | 338 43376 238523 | 2147483647 130527 21 | 6.631 % |
292.56/292.64 c | 291121 | 338 43376 238523 | 2147483647 130976 21 | 6.631 % |
293.05/293.14 c | 291618 | 338 43376 238523 | 2147483647 131473 21 | 6.634 % |
293.55/293.60 c | 292161 | 338 43376 238523 | 2147483647 132016 21 | 6.634 % |
294.15/294.24 c | 292758 | 338 43376 238523 | 2147483647 132613 21 | 6.643 % |
294.76/294.84 c | 293413 | 338 43376 238523 | 2147483647 133268 21 | 6.636 % |
295.45/295.54 c | 294133 | 338 43376 238523 | 2147483647 133988 21 | 6.631 % |
296.35/296.40 c | 294926 | 338 43376 238523 | 2147483647 134781 21 | 6.631 % |
297.35/297.42 c | 295799 | 338 43376 238523 | 2147483647 135654 21 | 6.631 % |
298.35/298.47 c | 296761 | 338 43376 238523 | 2147483647 136616 21 | 6.631 % |
299.65/299.70 c | 297815 | 338 43376 238523 | 2147483647 137670 21 | 6.631 % |
300.55/300.65 c | 298974 | 338 43376 238523 | 2147483647 138829 21 | 6.631 % |
301.95/302.04 c | 300247 | 338 43376 238523 | 2147483647 140102 21 | 6.631 % |
303.95/304.05 c | 301648 | 338 43376 238523 | 2147483647 141503 21 | 6.631 % |
306.15/306.26 c | 303191 | 338 43376 238523 | 2147483647 143046 21 | 6.638 % |
308.45/308.59 c | 304885 | 338 43376 238523 | 2147483647 144740 21 | 6.631 % |
311.06/311.20 c | 306748 | 338 43376 238523 | 2147483647 146603 21 | 6.631 % |
314.36/314.48 c | 308797 | 338 43376 238523 | 2147483647 148652 21 | 6.637 % |
317.56/317.66 c | 311050 | 338 43376 238523 | 149856 130166 20 | 6.631 % |
320.86/320.93 c | 313530 | 338 43376 238523 | 149856 132646 20 | 6.631 % |
323.86/323.91 c | 316257 | 338 43376 238523 | 149856 135373 21 | 6.632 % |
327.66/327.75 c | 319255 | 338 43376 238523 | 149856 138371 21 | 6.631 % |
327.76/327.86 c | 319356 | 338 43376 238523 | 149856 138472 21 | 6.638 % |
327.96/328.01 c | 319466 | 338 43376 238523 | 149856 138582 21 | 6.635 % |
328.06/328.12 c | 319588 | 338 43376 238523 | 149856 138704 21 | 6.632 % |
328.26/328.36 c | 319722 | 338 43376 238523 | 149856 138838 21 | 6.631 % |
328.46/328.54 c | 319869 | 338 43376 238523 | 149856 138985 21 | 6.631 % |
328.66/328.76 c | 320029 | 338 43376 238523 | 139117 139145 21 | 6.631 % |
329.36/329.46 c | 320205 | 338 43376 238523 | 139117 123294 20 | 6.647 % |
329.66/329.74 c | 320399 | 338 43376 238523 | 139117 123488 20 | 6.631 % |
329.96/330.05 c | 320612 | 338 43376 238523 | 139117 123701 20 | 6.632 % |
330.26/330.39 c | 320846 | 338 43376 238523 | 139117 123935 20 | 6.632 % |
330.76/330.82 c | 321103 | 338 43376 238523 | 139117 124192 20 | 6.632 % |
331.06/331.15 c | 321386 | 338 43376 238523 | 139117 124475 20 | 6.632 % |
331.56/331.63 c | 321695 | 338 43376 238523 | 139117 124784 20 | 6.632 % |
332.06/332.12 c | 322037 | 338 43376 238523 | 139117 125126 20 | 6.631 % |
332.55/332.60 c | 322409 | 338 43376 238523 | 139117 125498 20 | 6.631 % |
333.05/333.15 c | 322818 | 338 43376 238523 | 139117 125907 20 | 6.631 % |
333.65/333.72 c | 323270 | 338 43376 238523 | 139117 126359 20 | 6.631 % |
334.36/334.45 c | 323763 | 338 43376 238523 | 139117 126852 20 | 6.631 % |
335.05/335.16 c | 324305 | 338 43376 238523 | 139117 127394 20 | 6.638 % |
335.85/335.99 c | 324901 | 338 43376 238523 | 139117 127990 20 | 6.631 % |
336.75/336.81 c | 325562 | 338 43376 238523 | 139117 128651 20 | 6.632 % |
337.65/337.80 c | 326284 | 338 43376 238523 | 139117 129373 20 | 6.631 % |
338.45/338.57 c | 327076 | 338 43376 238523 | 139117 130165 20 | 6.631 % |
339.75/339.80 c | 327949 | 338 43376 238523 | 139117 131038 20 | 6.631 % |
340.95/341.04 c | 328908 | 338 43376 238523 | 139117 131997 20 | 6.644 % |
342.05/342.10 c | 329961 | 337 43339 238449 | 139117 133042 20 | 6.907 % |
343.44/343.56 c | 331119 | 337 43339 238449 | 133082 117342 20 | 6.907 % |
344.85/344.95 c | 332392 | 337 43339 238449 | 133082 118615 20 | 6.921 % |
345.95/346.07 c | 333793 | 337 43339 238449 | 133082 120016 20 | 6.907 % |
347.75/347.83 c | 335334 | 337 43339 238449 | 133082 121557 20 | 6.914 % |
349.55/349.65 c | 337028 | 337 43339 238449 | 133082 123251 20 | 6.908 % |
352.15/352.26 c | 338893 | 337 43339 238449 | 133082 125116 20 | 6.907 % |
355.05/355.16 c | 340943 | 337 43339 238449 | 2147483647 127166 20 | 6.907 % |
358.55/358.64 c | 343196 | 337 43339 238449 | 2147483647 129419 20 | 6.913 % |
362.25/362.39 c | 345674 | 337 43339 238449 | 2147483647 131897 20 | 6.907 % |
366.05/366.10 c | 348399 | 337 43339 238449 | 2147483647 134622 20 | 6.907 % |
370.75/370.83 c | 351397 | 337 43339 238449 | 136224 117163 19 | 6.907 % |
374.95/375.04 c | 354696 | 337 43339 238449 | 136224 120462 20 | 6.908 % |
375.05/375.19 c | 354797 | 337 43339 238449 | 136224 120563 20 | 6.907 % |
375.35/375.40 c | 354907 | 337 43339 238449 | 136224 120673 20 | 6.907 % |
375.45/375.59 c | 355028 | 337 43339 238449 | 136224 120794 20 | 6.908 % |
375.75/375.80 c | 355162 | 337 43339 238449 | 136224 120928 20 | 6.907 % |
375.85/375.93 c | 355308 | 337 43339 238449 | 136224 121074 20 | 6.907 % |
376.05/376.14 c | 355469 | 337 43339 238449 | 136224 121235 20 | 6.908 % |
376.25/376.35 c | 355648 | 337 43339 238449 | 136224 121414 20 | 6.907 % |
376.45/376.58 c | 355843 | 337 43339 238449 | 136224 121609 20 | 6.908 % |
376.65/376.74 c | 356057 | 337 43339 238449 | 136224 121823 20 | 6.908 % |
377.05/377.18 c | 356290 | 337 43339 238449 | 136224 122056 20 | 6.908 % |
377.44/377.54 c | 356546 | 337 43339 238449 | 136224 122312 20 | 6.907 % |
377.84/377.94 c | 356829 | 337 43339 238449 | 136224 122595 20 | 6.907 % |
378.35/378.40 c | 357139 | 337 43339 238449 | 136224 122905 20 | 6.907 % |
378.84/378.90 c | 357478 | 337 43339 238449 | 136224 123244 20 | 6.908 % |
379.35/379.43 c | 357850 | 337 43339 238449 | 136224 123616 20 | 6.907 % |
379.74/379.89 c | 358260 | 337 43339 238449 | 136224 124026 20 | 6.907 % |
380.34/380.40 c | 358709 | 337 43339 238449 | 136224 124475 20 | 6.907 % |
380.94/381.04 c | 359202 | 337 43339 238449 | 136224 124968 20 | 6.907 % |
381.55/381.65 c | 359745 | 337 43339 238449 | 136224 125511 20 | 6.907 % |
382.54/382.66 c | 360342 | 337 43339 238449 | 125766 111171 19 | 6.907 % |
383.24/383.34 c | 360999 | 337 43339 238449 | 125766 111828 19 | 6.913 % |
383.85/383.93 c | 361720 | 337 43339 238449 | 125766 112549 19 | 6.911 % |
384.64/384.79 c | 362513 | 337 43339 238449 | 125766 113342 19 | 6.914 % |
385.64/385.77 c | 363384 | 337 43339 238449 | 125766 114213 19 | 6.907 % |
386.24/386.34 c | 364342 | 337 43339 238449 | 125766 115171 19 | 6.907 % |
387.15/387.29 c | 365396 | 337 43339 238449 | 125766 116225 19 | 6.914 % |
388.54/388.68 c | 366554 | 337 43339 238449 | 125766 117383 19 | 6.907 % |
390.35/390.50 c | 367829 | 337 43339 238449 | 125766 118658 20 | 6.907 % |
392.24/392.36 c | 369232 | 337 43339 238449 | 125766 120061 20 | 6.914 % |
394.34/394.46 c | 370774 | 337 43339 238449 | 120831 108448 19 | 6.907 % |
395.84/395.99 c | 372468 | 337 43339 238449 | 120831 110142 19 | 6.914 % |
398.05/398.12 c | 374331 | 337 43339 238449 | 120831 112005 19 | 6.908 % |
400.44/400.52 c | 376380 | 337 43339 238449 | 120831 114054 19 | 6.913 % |
402.64/402.79 c | 378634 | 337 43339 238449 | 120831 116308 20 | 6.907 % |
405.94/406.08 c | 381117 | 337 43339 238449 | 2147483647 118791 20 | 6.907 % |
409.05/409.12 c | 383842 | 337 43339 238449 | 2147483647 121516 20 | 6.907 % |
412.74/412.84 c | 386839 | 337 43339 238449 | 2147483647 124513 20 | 6.908 % |
416.94/417.00 c | 390136 | 337 43339 238449 | 2147483647 127810 20 | 6.907 % |
421.15/421.29 c | 393761 | 337 43339 238449 | 2147483647 131435 20 | 6.907 % |
421.34/421.43 c | 393862 | 337 43339 238449 | 2147483647 131536 20 | 6.907 % |
421.44/421.58 c | 393973 | 337 43339 238449 | 2147483647 131647 20 | 6.907 % |
421.64/421.74 c | 394094 | 337 43339 238449 | 2147483647 131768 20 | 6.908 % |
421.84/421.96 c | 394228 | 337 43339 238449 | 2147483647 131902 20 | 6.907 % |
422.04/422.19 c | 394375 | 337 43339 238449 | 2147483647 132049 20 | 6.908 % |
422.35/422.40 c | 394536 | 337 43339 238449 | 2147483647 132210 20 | 6.908 % |
422.64/422.76 c | 394713 | 337 43339 238449 | 2147483647 132387 20 | 6.908 % |
422.94/423.10 c | 394907 | 337 43339 238449 | 2147483647 132581 20 | 6.907 % |
423.24/423.40 c | 395121 | 337 43339 238449 | 2147483647 132795 20 | 6.908 % |
423.54/423.69 c | 395354 | 337 43339 238449 | 2147483647 133028 20 | 6.907 % |
424.04/424.11 c | 395611 | 337 43339 238449 | 2147483647 133285 20 | 6.907 % |
424.34/424.48 c | 395893 | 337 43339 238449 | 2147483647 133567 20 | 6.907 % |
424.84/424.92 c | 396202 | 337 43339 238449 | 2147483647 133876 20 | 6.914 % |
425.34/425.43 c | 396543 | 337 43339 238449 | 2147483647 134217 20 | 6.907 % |
425.94/426.06 c | 396915 | 337 43339 238449 | 2147483647 134589 20 | 6.908 % |
426.64/426.71 c | 397324 | 337 43339 238449 | 2147483647 134998 20 | 6.907 % |
427.24/427.37 c | 397773 | 337 43339 238449 | 2147483647 135447 20 | 6.908 % |
427.94/428.04 c | 398269 | 337 43339 238449 | 2147483647 135943 20 | 6.907 % |
428.74/428.80 c | 398811 | 337 43339 238449 | 2147483647 136485 20 | 6.907 % |
429.73/429.82 c | 399407 | 337 43339 238449 | 2147483647 137081 20 | 6.907 % |
430.73/430.83 c | 400064 | 337 43339 238449 | 137676 137738 20 | 6.908 % |
431.73/431.90 c | 400785 | 337 43339 238449 | 137676 121514 20 | 6.907 % |
432.63/432.79 c | 401578 | 337 43339 238449 | 137676 122307 20 | 6.907 % |
433.63/433.77 c | 402449 | 337 43339 238449 | 137676 123178 20 | 6.908 % |
434.83/434.91 c | 403408 | 337 43339 238449 | 137676 124137 20 | 6.908 % |
435.93/436.04 c | 404461 | 337 43339 238449 | 137676 125190 20 | 6.908 % |
437.53/437.69 c | 405621 | 337 43339 238449 | 137676 126350 20 | 6.908 % |
439.13/439.22 c | 406894 | 337 43339 238449 | 137676 127623 20 | 6.907 % |
441.23/441.35 c | 408294 | 337 43339 238449 | 137676 129023 20 | 6.914 % |
443.33/443.49 c | 409834 | 337 43339 238449 | 137676 130563 20 | 6.914 % |
445.63/445.71 c | 411531 | 337 43339 238449 | 2147483647 132260 20 | 6.907 % |
448.74/448.86 c | 413395 | 337 43339 238449 | 2147483647 134124 20 | 6.907 % |
452.13/452.24 c | 415445 | 337 43339 238449 | 2147483647 136174 20 | 6.907 % |
455.24/455.32 c | 417702 | 337 43339 238449 | 2147483647 138431 20 | 6.908 % |
459.13/459.25 c | 420180 | 337 43339 238449 | 140730 123587 19 | 6.907 % |
462.94/463.01 c | 422906 | 337 43339 238449 | 140730 126313 20 | 6.907 % |
466.63/466.71 c | 425903 | 337 43339 238449 | 140730 129310 20 | 6.914 % |
470.74/470.82 c | 429200 | 337 43339 238449 | 140730 132607 20 | 6.907 % |
475.73/475.88 c | 432826 | 337 43339 238449 | 133407 122497 20 | 6.914 % |
481.53/481.62 c | 436816 | 337 43339 238449 | 133407 126487 20 | 6.907 % |
481.64/481.78 c | 436916 | 337 43339 238449 | 133407 126587 20 | 6.907 % |
481.83/481.95 c | 437027 | 337 43339 238449 | 133407 126698 20 | 6.907 % |
482.03/482.15 c | 437148 | 337 43339 238449 | 133407 126819 20 | 6.908 % |
482.23/482.30 c | 437282 | 337 43339 238449 | 133407 126953 20 | 6.912 % |
482.33/482.47 c | 437429 | 337 43339 238449 | 133407 127100 20 | 6.908 % |
482.53/482.64 c | 437589 | 337 43339 238449 | 133407 127260 20 | 6.916 % |
482.84/482.94 c | 437765 | 337 43339 238449 | 133407 127436 20 | 6.907 % |
483.13/483.24 c | 437958 | 337 43339 238449 | 133407 127629 20 | 6.907 % |
483.43/483.56 c | 438170 | 337 43339 238449 | 133407 127841 20 | 6.907 % |
483.73/483.84 c | 438403 | 337 43339 238449 | 133407 128074 20 | 6.908 % |
484.13/484.22 c | 438659 | 337 43339 238449 | 133407 128330 20 | 6.907 % |
484.63/484.70 c | 438941 | 337 43339 238449 | 133407 128612 20 | 6.907 % |
484.93/485.10 c | 439251 | 337 43339 238449 | 133407 128922 20 | 6.908 % |
485.43/485.56 c | 439591 | 337 43339 238449 | 133407 129262 20 | 6.907 % |
486.03/486.17 c | 439963 | 337 43339 238449 | 133407 129634 20 | 6.907 % |
487.13/487.25 c | 440372 | 337 43339 238449 | 129672 115544 19 | 6.907 % |
487.63/487.79 c | 440822 | 337 43339 238449 | 129672 115994 19 | 6.907 % |
488.33/488.40 c | 441315 | 337 43339 238449 | 129672 116487 19 | 6.907 % |
488.93/489.09 c | 441857 | 337 43339 238449 | 129672 117029 20 | 6.908 % |
489.53/489.67 c | 442454 | 337 43339 238449 | 129672 117626 20 | 6.914 % |
490.23/490.31 c | 443109 | 337 43339 238449 | 129672 118281 20 | 6.907 % |
490.83/490.93 c | 443829 | 337 43339 238449 | 129672 119001 20 | 6.913 % |
491.83/491.93 c | 444621 | 337 43339 238449 | 129672 119793 20 | 6.914 % |
492.73/492.81 c | 445493 | 337 43339 238449 | 129672 120665 20 | 6.908 % |
494.03/494.11 c | 446453 | 337 43339 238449 | 129672 121625 20 | 6.908 % |
495.43/495.59 c | 447507 | 337 43339 238449 | 129672 122679 20 | 6.914 % |
497.23/497.31 c | 448665 | 337 43339 238449 | 129672 123837 20 | 6.908 % |
499.13/499.23 c | 449938 | 337 43339 238449 | 129672 125110 20 | 6.908 % |
501.13/501.26 c | 451340 | 337 43339 238449 | 2147483647 126512 20 | 6.907 % |
503.23/503.37 c | 452880 | 337 43339 238449 | 2147483647 128052 20 | 6.907 % |
505.43/505.59 c | 454574 | 337 43339 238449 | 2147483647 129746 20 | 6.907 % |
508.33/508.49 c | 456438 | 337 43339 238449 | 2147483647 131610 20 | 6.908 % |
511.13/511.24 c | 458488 | 337 43339 238449 | 2147483647 133660 20 | 6.907 % |
514.73/514.87 c | 460742 | 337 43339 238449 | 135174 120055 20 | 6.907 % |
518.23/518.32 c | 463221 | 337 43339 238449 | 135174 122534 20 | 6.907 % |
522.03/522.19 c | 465947 | 337 43339 238449 | 135174 125260 20 | 6.920 % |
526.53/526.68 c | 468944 | 337 43339 238449 | 135174 128257 20 | 6.908 % |
531.33/531.45 c | 472242 | 337 43339 238449 | 129316 114076 19 | 6.907 % |
536.03/536.17 c | 475867 | 337 43339 238449 | 129316 117701 19 | 6.908 % |
541.13/541.24 c | 479855 | 337 43339 238449 | 129316 121689 19 | 6.908 % |
546.23/546.30 c | 484241 | 337 43339 238449 | 121834 110385 19 | 6.907 % |
546.23/546.34 c | 484341 | 337 43339 238449 | 121834 110485 19 | 6.908 % |
546.33/546.45 c | 484452 | 337 43339 238449 | 121834 110596 19 | 6.912 % |
546.43/546.56 c | 484575 | 337 43339 238449 | 121834 110719 19 | 6.912 % |
546.63/546.77 c | 484709 | 337 43339 238449 | 121834 110853 19 | 6.908 % |
546.83/546.98 c | 484855 | 337 43339 238449 | 121834 110999 19 | 6.907 % |
547.03/547.15 c | 485017 | 337 43339 238449 | 121834 111161 19 | 6.908 % |
547.33/547.46 c | 485193 | 337 43339 238449 | 121834 111337 19 | 6.907 % |
547.73/547.82 c | 485388 | 337 43339 238449 | 121834 111532 19 | 6.907 % |
547.93/548.07 c | 485600 | 337 43339 238449 | 121834 111744 19 | 6.907 % |
548.23/548.38 c | 485833 | 337 43339 238449 | 121834 111977 19 | 6.908 % |
548.63/548.70 c | 486090 | 337 43339 238449 | 121834 112234 19 | 6.914 % |
549.03/549.13 c | 486373 | 337 43339 238449 | 121834 112517 19 | 6.907 % |
549.43/549.50 c | 486684 | 337 43339 238449 | 121834 112828 19 | 6.907 % |
549.73/549.88 c | 487023 | 337 43339 238449 | 121834 113167 19 | 6.908 % |
550.13/550.28 c | 487395 | 337 43339 238449 | 121834 113539 19 | 6.907 % |
550.63/550.77 c | 487804 | 337 43339 238449 | 121834 113948 19 | 6.907 % |
551.33/551.44 c | 488254 | 337 43339 238449 | 121834 114398 19 | 6.914 % |
551.93/552.03 c | 488747 | 337 43339 238449 | 121834 114891 19 | 6.908 % |
552.53/552.64 c | 489289 | 337 43339 238449 | 121834 115433 19 | 6.907 % |
553.23/553.37 c | 489886 | 337 43339 238449 | 121834 116030 19 | 6.907 % |
554.13/554.28 c | 490541 | 337 43339 238449 | 2147483647 116685 19 | 6.914 % |
555.03/555.11 c | 491261 | 337 43339 238449 | 2147483647 117405 19 | 6.907 % |
555.93/556.08 c | 492054 | 337 43339 238449 | 2147483647 118198 19 | 6.907 % |
556.83/556.95 c | 492926 | 337 43339 238449 | 2147483647 119070 19 | 6.908 % |
557.93/558.09 c | 493884 | 337 43339 238449 | 2147483647 120028 19 | 6.907 % |
559.23/559.31 c | 494940 | 337 43339 238449 | 2147483647 121084 19 | 6.907 % |
560.33/560.45 c | 496099 | 337 43339 238449 | 2147483647 122243 20 | 6.907 % |
561.93/562.06 c | 497372 | 337 43339 238449 | 2147483647 123516 20 | 6.907 % |
563.82/563.98 c | 498774 | 337 43339 238449 | 2147483647 124918 20 | 6.908 % |
566.12/566.20 c | 500314 | 337 43339 238449 | 2147483647 126458 20 | 6.907 % |
568.63/568.74 c | 502008 | 337 43339 238449 | 2147483647 128152 20 | 6.907 % |
571.32/571.40 c | 503871 | 337 43339 238449 | 2147483647 130015 20 | 6.907 % |
574.42/574.54 c | 505921 | 337 43339 238449 | 2147483647 132065 20 | 6.907 % |
578.02/578.18 c | 508174 | 337 43339 238449 | 2147483647 134318 20 | 6.907 % |
582.12/582.26 c | 510654 | 337 43339 238449 | 136145 120888 19 | 6.908 % |
585.62/585.79 c | 513379 | 337 43339 238449 | 136145 123613 20 | 6.908 % |
589.22/589.39 c | 516377 | 337 43339 238449 | 136145 126611 20 | 6.923 % |
593.83/593.92 c | 519674 | 337 43339 238449 | 136145 129908 20 | 6.907 % |
598.42/598.58 c | 523299 | 337 43339 238449 | 2147483647 133533 20 | 6.923 % |
603.62/603.78 c | 527286 | 337 43339 238449 | 2147483647 137520 20 | 6.915 % |
609.12/609.21 c | 531671 | 337 43339 238449 | 140238 124362 20 | 6.908 % |
615.52/615.65 c | 536496 | 337 43339 238449 | 140238 129187 20 | 6.908 % |
615.62/615.79 c | 536598 | 337 43339 238449 | 140238 129289 20 | 6.907 % |
615.82/615.99 c | 536709 | 337 43339 238449 | 140238 129400 20 | 6.907 % |
616.02/616.18 c | 536832 | 337 43339 238449 | 140238 129523 20 | 6.908 % |
616.22/616.39 c | 536965 | 337 43339 238449 | 140238 129656 20 | 6.907 % |
616.52/616.60 c | 537111 | 337 43339 238449 | 140238 129802 20 | 6.908 % |
616.72/616.82 c | 537273 | 337 43339 238449 | 140238 129964 20 | 6.907 % |
616.92/617.04 c | 537451 | 337 43339 238449 | 140238 130142 20 | 6.907 % |
617.12/617.27 c | 537644 | 337 43339 238449 | 140238 130335 20 | 6.908 % |
617.42/617.56 c | 537856 | 337 43339 238449 | 140238 130547 20 | 6.908 % |
617.72/617.86 c | 538089 | 337 43339 238449 | 140238 130780 20 | 6.913 % |
618.32/618.43 c | 538347 | 337 43339 238449 | 140238 131038 20 | 6.908 % |
618.72/618.80 c | 538632 | 337 43339 238449 | 140238 131323 20 | 6.907 % |
619.02/619.19 c | 538943 | 337 43339 238449 | 140238 131634 20 | 6.907 % |
619.42/619.58 c | 539284 | 337 43339 238449 | 140238 131975 20 | 6.907 % |
620.12/620.20 c | 539656 | 337 43339 238449 | 140238 132347 20 | 6.907 % |
620.52/620.69 c | 540066 | 337 43339 238449 | 132691 132757 20 | 6.907 % |
621.72/621.80 c | 540515 | 337 43339 238449 | 132691 114885 19 | 6.907 % |
622.52/622.61 c | 541009 | 337 43339 238449 | 132691 115379 19 | 6.908 % |
623.42/623.54 c | 541551 | 337 43339 238449 | 132691 115921 19 | 6.907 % |
624.22/624.34 c | 542148 | 337 43339 238449 | 132691 116518 19 | 6.907 % |
625.22/625.33 c | 542807 | 337 43339 238449 | 132691 117177 19 | 6.908 % |
626.02/626.19 c | 543527 | 337 43339 238449 | 132691 117897 19 | 6.907 % |
627.02/627.15 c | 544319 | 337 43339 238449 | 132691 118689 19 | 6.907 % |
628.02/628.16 c | 545191 | 337 43339 238449 | 132691 119561 19 | 6.907 % |
628.92/629.01 c | 546150 | 337 43339 238449 | 132691 120520 19 | 6.907 % |
630.22/630.32 c | 547205 | 337 43339 238449 | 132691 121575 19 | 6.907 % |
631.62/631.72 c | 548363 | 337 43339 238449 | 132691 122733 19 | 6.907 % |
633.22/633.34 c | 549636 | 337 43339 238449 | 132691 124006 19 | 6.908 % |
635.52/635.67 c | 551038 | 337 43339 238449 | 124370 111988 19 | 6.907 % |
637.52/637.61 c | 552578 | 337 43339 238449 | 124370 113528 19 | 6.907 % |
639.12/639.24 c | 554275 | 337 43339 238449 | 124370 115225 19 | 6.908 % |
640.92/641.08 c | 556143 | 337 43339 238449 | 124370 117093 19 | 6.907 % |
643.43/643.51 c | 558192 | 337 43339 238449 | 124370 119142 19 | 6.907 % |
645.32/645.47 c | 560446 | 337 43339 238449 | 2147483647 121396 20 | 6.907 % |
647.82/647.97 c | 562924 | 337 43339 238449 | 2147483647 123874 20 | 6.907 % |
650.72/650.81 c | 565649 | 337 43339 238449 | 2147483647 126599 20 | 6.907 % |
653.62/653.78 c | 568647 | 337 43339 238449 | 2147483647 129597 20 | 6.907 % |
657.81/657.93 c | 571944 | 337 43339 238449 | 130950 119322 19 | 6.907 % |
661.02/661.14 c | 575569 | 337 43339 238449 | 130950 122947 20 | 6.907 % |
665.61/665.78 c | 579556 | 337 43339 238449 | 130950 126934 20 | 6.907 % |
671.51/671.67 c | 583944 | 337 43339 238449 | 127379 117525 19 | 6.907 % |
677.31/677.41 c | 588768 | 337 43339 238449 | 127379 122349 19 | 6.907 % |
683.71/683.81 c | 594073 | 337 43339 238449 | 123582 113950 19 | 6.907 % |
683.81/683.95 c | 594173 | 337 43339 238449 | 123582 114050 19 | 6.907 % |
683.91/684.10 c | 594286 | 337 43339 238449 | 123582 114163 19 | 6.914 % |
684.12/684.25 c | 594407 | 337 43339 238449 | 123582 114284 19 | 6.907 % |
684.22/684.38 c | 594541 | 337 43339 238449 | 123582 114418 19 | 6.907 % |
684.42/684.54 c | 594688 | 337 43339 238449 | 123582 114565 19 | 6.907 % |
684.52/684.69 c | 594848 | 337 43339 238449 | 123582 114725 19 | 6.907 % |
684.82/684.93 c | 595024 | 337 43339 238449 | 123582 114901 19 | 6.907 % |
685.12/685.26 c | 595217 | 337 43339 238449 | 123582 115094 19 | 6.907 % |
685.42/685.58 c | 595429 | 337 43339 238449 | 123582 115306 19 | 6.907 % |
685.82/685.91 c | 595662 | 337 43339 238449 | 123582 115539 19 | 6.914 % |
686.11/686.24 c | 595920 | 337 43339 238449 | 123582 115797 19 | 6.907 % |
686.51/686.62 c | 596203 | 337 43339 238449 | 123582 116080 19 | 6.908 % |
686.91/687.09 c | 596512 | 337 43339 238449 | 123582 116389 19 | 6.908 % |
687.42/687.58 c | 596851 | 337 43339 238449 | 123582 116728 19 | 6.907 % |
688.01/688.16 c | 597224 | 337 43339 238449 | 123582 117101 19 | 6.907 % |
688.52/688.66 c | 597634 | 337 43339 238449 | 123582 117511 19 | 6.908 % |
689.01/689.20 c | 598085 | 337 43339 238449 | 123582 117962 19 | 6.907 % |
689.71/689.88 c | 598578 | 337 43339 238449 | 123582 118455 19 | 6.907 % |
690.51/690.60 c | 599120 | 337 43339 238449 | 123582 118997 19 | 6.907 % |
691.31/691.47 c | 599717 | 337 43339 238449 | 123582 119594 19 | 6.907 % |
692.31/692.40 c | 600372 | 337 43339 238449 | 2147483647 120249 19 | 6.908 % |
693.21/693.30 c | 601092 | 337 43339 238449 | 2147483647 120969 19 | 6.908 % |
694.31/694.49 c | 601884 | 337 43339 238449 | 2147483647 121761 19 | 6.907 % |
695.61/695.76 c | 602755 | 337 43339 238449 | 2147483647 122632 19 | 6.907 % |
697.01/697.12 c | 603715 | 337 43339 238449 | 2147483647 123592 19 | 6.907 % |
698.51/698.68 c | 604770 | 337 43339 238449 | 2147483647 124647 19 | 6.914 % |
700.21/700.38 c | 605932 | 337 43339 238449 | 2147483647 125809 19 | 6.907 % |
701.71/701.83 c | 607205 | 337 43339 238449 | 2147483647 127082 19 | 6.907 % |
703.41/703.54 c | 608605 | 337 43339 238449 | 2147483647 128482 19 | 6.914 % |
705.31/705.44 c | 610145 | 337 43339 238449 | 129877 115705 19 | 6.907 % |
707.01/707.13 c | 611840 | 337 43339 238449 | 129877 117400 19 | 6.908 % |
709.21/709.35 c | 613704 | 337 43339 238449 | 129877 119264 19 | 6.908 % |
711.61/711.72 c | 615755 | 337 43339 238449 | 129877 121315 19 | 6.907 % |
714.21/714.34 c | 618008 | 337 43339 238449 | 129877 123568 20 | 6.907 % |
717.12/717.29 c | 620486 | 337 43339 238449 | 2147483647 126046 20 | 6.907 % |
721.01/721.18 c | 623212 | 337 43339 238449 | 2147483647 128772 20 | 6.907 % |
725.01/725.10 c | 626211 | 337 43339 238449 | 2147483647 131771 20 | 6.908 % |
730.51/730.65 c | 629507 | 337 43339 238449 | 2147483647 135067 20 | 6.914 % |
735.31/735.44 c | 633132 | 337 43339 238449 | 135561 123204 20 | 6.907 % |
740.61/740.74 c | 637122 | 337 43339 238449 | 135561 127194 20 | 6.907 % |
746.30/746.47 c | 641508 | 337 43339 238449 | 2147483647 131580 20 | 6.911 % |
752.00/752.15 c | 646332 | 337 43339 238449 | 2147483647 136404 20 | 6.907 % |
758.00/758.14 c | 651639 | 337 43339 238449 | 140073 126113 20 | 6.907 % |
764.71/764.83 c | 657474 | 337 43339 238449 | 140073 131948 19 | 6.914 % |
764.81/764.97 c | 657574 | 337 43339 238449 | 140073 132048 19 | 6.932 % |
765.01/765.19 c | 657684 | 337 43339 238449 | 140073 132158 19 | 6.907 % |
765.21/765.38 c | 657806 | 337 43339 238449 | 140073 132280 19 | 6.907 % |
765.42/765.51 c | 657939 | 337 43339 238449 | 140073 132413 19 | 6.907 % |
765.61/765.74 c | 658086 | 337 43339 238449 | 140073 132560 19 | 6.914 % |
765.91/766.03 c | 658247 | 337 43339 238449 | 140073 132721 19 | 6.907 % |
766.21/766.34 c | 658424 | 337 43339 238449 | 140073 132898 19 | 6.907 % |
766.41/766.57 c | 658618 | 337 43339 238449 | 140073 133092 19 | 6.907 % |
766.62/766.76 c | 658831 | 337 43339 238449 | 140073 133305 19 | 6.907 % |
766.91/767.02 c | 659065 | 337 43339 238449 | 140073 133539 19 | 6.907 % |
767.21/767.38 c | 659323 | 337 43339 238449 | 140073 133797 19 | 6.907 % |
767.62/767.74 c | 659605 | 337 43339 238449 | 140073 134079 19 | 6.907 % |
768.11/768.22 c | 659915 | 337 43339 238449 | 140073 134389 19 | 6.914 % |
769.01/769.19 c | 660254 | 337 43339 238449 | 134477 116689 19 | 6.908 % |
769.31/769.40 c | 660626 | 337 43339 238449 | 134477 117061 19 | 6.914 % |
769.82/769.93 c | 661035 | 337 43339 238449 | 134477 117470 19 | 6.920 % |
770.31/770.47 c | 661485 | 337 43339 238449 | 134477 117920 19 | 6.908 % |
770.81/770.95 c | 661979 | 337 43339 238449 | 134477 118414 19 | 6.908 % |
771.31/771.45 c | 662522 | 337 43339 238449 | 134477 118957 19 | 6.910 % |
772.21/772.31 c | 663120 | 337 43339 238449 | 134477 119555 19 | 6.907 % |
772.91/773.08 c | 663776 | 337 43339 238449 | 134477 120211 19 | 6.907 % |
773.81/773.99 c | 664496 | 337 43339 238449 | 134477 120931 19 | 6.907 % |
774.81/774.92 c | 665289 | 337 43339 238449 | 134477 121724 19 | 6.907 % |
775.91/776.09 c | 666160 | 337 43339 238449 | 134477 122595 19 | 6.907 % |
777.21/777.32 c | 667118 | 337 43339 238449 | 134477 123553 19 | 6.907 % |
778.41/778.58 c | 668171 | 337 43339 238449 | 134477 124606 19 | 6.907 % |
780.11/780.22 c | 669329 | 337 43339 238449 | 134477 125764 19 | 6.908 % |
782.21/782.39 c | 670602 | 337 43339 238449 | 126436 112907 19 | 6.907 % |
784.11/784.25 c | 672003 | 337 43339 238449 | 126436 114308 19 | 6.907 % |
786.21/786.38 c | 673545 | 337 43339 238449 | 126436 115850 19 | 6.925 % |
788.11/788.25 c | 675241 | 337 43339 238449 | 126436 117546 19 | 6.907 % |
790.01/790.18 c | 677104 | 337 43339 238449 | 126436 119409 19 | 6.907 % |
792.31/792.41 c | 679153 | 337 43339 238449 | 126436 121458 19 | 6.907 % |
794.51/794.65 c | 681407 | 337 43339 238449 | 2147483647 123712 19 | 6.907 % |
796.91/797.05 c | 683886 | 337 43339 238449 | 2147483647 126191 19 | 6.914 % |
799.31/799.41 c | 686612 | 337 43339 238449 | 2147483647 128917 19 | 6.907 % |
802.81/802.92 c | 689613 | 337 43339 238449 | 2147483647 131918 19 | 6.908 % |
806.21/806.34 c | 692910 | 337 43339 238449 | 2147483647 135215 19 | 6.908 % |
810.11/810.24 c | 696536 | 337 43339 238449 | 2147483647 138841 19 | 6.908 % |
816.31/816.47 c | 700523 | 337 43339 238449 | 142306 121986 19 | 6.908 % |
822.31/822.45 c | 704909 | 337 43339 238449 | 142306 126372 19 | 6.908 % |
829.11/829.26 c | 709734 | 337 43339 238449 | 142306 131197 19 | 6.908 % |
836.50/836.66 c | 715039 | 337 43339 238449 | 131465 121641 19 | 6.907 % |
843.91/844.01 c | 720874 | 337 43339 238449 | 2147483647 127476 19 | 6.907 % |
851.91/852.06 c | 727292 | 337 43339 238449 | 2147483647 133894 19 | 6.907 % |
852.01/852.19 c | 727395 | 337 43339 238449 | 2147483647 133997 19 | 6.908 % |
852.21/852.37 c | 727505 | 337 43339 238449 | 2147483647 134107 19 | 6.908 % |
852.51/852.66 c | 727627 | 337 43339 238449 | 2147483647 134229 19 | 6.908 % |
852.71/852.85 c | 727760 | 337 43339 238449 | 2147483647 134362 19 | 6.907 % |
852.91/853.06 c | 727906 | 337 43339 238449 | 2147483647 134508 19 | 6.908 % |
853.11/853.28 c | 728066 | 337 43339 238449 | 2147483647 134668 19 | 6.914 % |
853.41/853.54 c | 728243 | 337 43339 238449 | 2147483647 134845 19 | 6.909 % |
853.61/853.77 c | 728438 | 337 43339 238449 | 2147483647 135040 19 | 6.908 % |
854.01/854.11 c | 728652 | 337 43339 238449 | 2147483647 135254 19 | 6.908 % |
854.31/854.45 c | 728885 | 337 43339 238449 | 2147483647 135487 19 | 6.908 % |
854.71/854.82 c | 729141 | 337 43339 238449 | 2147483647 135743 19 | 6.908 % |
855.11/855.24 c | 729422 | 337 43339 238449 | 2147483647 136024 19 | 6.908 % |
855.61/855.72 c | 729733 | 337 43339 238449 | 2147483647 136335 19 | 6.914 % |
856.21/856.30 c | 730073 | 337 43339 238449 | 136603 136675 19 | 6.908 % |
857.11/857.27 c | 730446 | 337 43339 238449 | 136603 121573 19 | 6.907 % |
857.71/857.86 c | 730858 | 337 43339 238449 | 136603 121985 19 | 6.907 % |
858.41/858.52 c | 731309 | 337 43339 238449 | 136603 122436 19 | 6.908 % |
859.11/859.23 c | 731804 | 337 43339 238449 | 136603 122931 19 | 6.907 % |
859.91/860.07 c | 732349 | 337 43339 238449 | 136603 123476 19 | 6.907 % |
860.71/860.88 c | 732946 | 337 43339 238449 | 136603 124073 19 | 6.908 % |
861.61/861.79 c | 733601 | 337 43339 238449 | 136603 124728 19 | 6.918 % |
862.61/862.76 c | 734323 | 337 43339 238449 | 136603 125450 19 | 6.907 % |
863.71/863.82 c | 735115 | 337 43339 238449 | 136603 126242 19 | 6.908 % |
864.71/864.80 c | 735987 | 337 43339 238449 | 136603 127114 19 | 6.907 % |
866.11/866.26 c | 736945 | 337 43339 238449 | 136603 128072 19 | 6.907 % |
867.31/867.48 c | 737998 | 337 43339 238449 | 136603 129125 19 | 6.908 % |
868.61/868.74 c | 739157 | 337 43339 238449 | 136603 130284 19 | 6.908 % |
870.91/871.02 c | 740430 | 337 43339 238449 | 131127 116994 19 | 6.908 % |
872.41/872.52 c | 741831 | 337 43339 238449 | 131127 118395 19 | 6.908 % |
874.11/874.25 c | 743371 | 337 43339 238449 | 131127 119935 19 | 6.908 % |
876.41/876.51 c | 745067 | 337 43339 238449 | 131127 121631 19 | 6.908 % |
878.90/879.05 c | 746930 | 337 43339 238449 | 131127 123494 19 | 6.908 % |
881.60/881.76 c | 748979 | 337 43339 238449 | 131127 125543 19 | 6.908 % |
884.21/884.38 c | 751232 | 337 43339 238449 | 2147483647 127796 19 | 6.914 % |
887.10/887.27 c | 753710 | 337 43339 238449 | 2147483647 130274 19 | 6.907 % |
890.30/890.43 c | 756435 | 337 43339 238449 | 2147483647 132999 19 | 6.907 % |
893.80/893.96 c | 759432 | 337 43339 238449 | 2147483647 135996 19 | 6.908 % |
898.40/898.57 c | 762728 | 337 43339 238449 | 2147483647 139292 19 | 6.908 % |
902.70/902.88 c | 766354 | 337 43339 238449 | 2147483647 142918 20 | 6.908 % |
908.41/908.57 c | 770341 | 337 43339 238449 | 146564 128410 19 | 6.923 % |
913.91/914.03 c | 774729 | 337 43339 238449 | 146564 132798 20 | 6.914 % |
918.90/919.03 c | 779553 | 337 43339 238449 | 146564 137622 20 | 6.914 % |
924.80/924.99 c | 784859 | 337 43339 238449 | 2147483647 142928 20 | 6.908 % |
933.90/934.01 c | 790695 | 337 43339 238449 | 148069 123030 20 | 6.913 % |
941.20/941.34 c | 797117 | 337 43339 238449 | 148069 129452 20 | 6.907 % |
949.60/949.71 c | 804178 | 337 43339 238449 | 132336 118133 20 | 6.919 % |
949.60/949.78 c | 804278 | 337 43339 238449 | 132336 118233 20 | 6.908 % |
949.80/949.92 c | 804389 | 337 43339 238449 | 132336 118344 20 | 6.907 % |
949.90/950.05 c | 804512 | 337 43339 238449 | 132336 118467 20 | 6.923 % |
950.21/950.34 c | 804646 | 337 43339 238449 | 132336 118601 20 | 6.908 % |
950.40/950.55 c | 804792 | 337 43339 238449 | 132336 118747 20 | 6.907 % |
950.70/950.81 c | 804953 | 337 43339 238449 | 132336 118908 20 | 6.907 % |
950.90/951.08 c | 805129 | 337 43339 238449 | 132336 119084 20 | 6.908 % |
951.20/951.36 c | 805322 | 337 43339 238449 | 132336 119277 20 | 6.907 % |
951.50/951.63 c | 805535 | 337 43339 238449 | 132336 119490 20 | 6.907 % |
951.90/952.01 c | 805768 | 337 43339 238449 | 132336 119723 20 | 6.908 % |
952.30/952.42 c | 806025 | 337 43339 238449 | 132336 119980 20 | 6.908 % |
952.70/952.87 c | 806307 | 337 43339 238449 | 132336 120262 20 | 6.907 % |
953.20/953.34 c | 806617 | 337 43339 238449 | 132336 120572 20 | 6.908 % |
953.70/953.82 c | 806956 | 337 43339 238449 | 132336 120911 20 | 6.908 % |
954.20/954.35 c | 807330 | 337 43339 238449 | 132336 121285 20 | 6.908 % |
954.70/954.84 c | 807739 | 337 43339 238449 | 132336 121694 20 | 6.907 % |
955.40/955.51 c | 808189 | 337 43339 238449 | 132336 122144 20 | 6.907 % |
956.00/956.13 c | 808682 | 337 43339 238449 | 132336 122637 20 | 6.908 % |
956.60/956.76 c | 809225 | 337 43339 238449 | 132336 123180 20 | 6.908 % |
957.50/957.65 c | 809821 | 337 43339 238449 | 132336 123776 20 | 6.908 % |
958.80/958.91 c | 810477 | 337 43339 238449 | 123955 109050 20 | 6.908 % |
959.80/959.95 c | 811197 | 337 43339 238449 | 123955 109770 20 | 6.908 % |
960.90/961.02 c | 811989 | 337 43339 238449 | 123955 110562 20 | 6.908 % |
962.10/962.25 c | 812860 | 337 43339 238449 | 123955 111433 20 | 6.908 % |
963.20/963.36 c | 813818 | 337 43339 238449 | 123955 112391 20 | 6.908 % |
964.80/964.94 c | 814873 | 337 43339 238449 | 123955 113446 20 | 6.914 % |
966.40/966.55 c | 816033 | 337 43339 238449 | 123955 114606 20 | 6.907 % |
968.20/968.39 c | 817306 | 337 43339 238449 | 123955 115879 20 | 6.908 % |
969.90/970.07 c | 818706 | 337 43339 238449 | 123955 117279 20 | 6.908 % |
972.00/972.14 c | 820246 | 337 43339 238449 | 2147483647 118819 20 | 6.908 % |
974.40/974.58 c | 821941 | 337 43339 238449 | 2147483647 120514 20 | 6.907 % |
976.70/976.85 c | 823804 | 337 43339 238449 | 2147483647 122377 20 | 6.908 % |
979.50/979.66 c | 825855 | 337 43339 238449 | 2147483647 124428 20 | 6.908 % |
982.20/982.35 c | 828111 | 337 43339 238449 | 2147483647 126684 20 | 6.908 % |
985.60/985.75 c | 830589 | 337 43339 238449 | 2147483647 129162 20 | 6.907 % |
989.00/989.11 c | 833314 | 337 43339 238449 | 2147483647 131887 20 | 6.908 % |
993.40/993.53 c | 836312 | 337 43339 238449 | 2147483647 134885 20 | 6.907 % |
997.70/997.86 c | 839608 | 337 43339 238449 | 2147483647 138181 20 | 6.907 % |
1003.10/1003.23 c | 843233 | 337 43339 238449 | 138573 124473 20 | 6.908 % |
1008.60/1008.74 c | 847220 | 337 43339 238449 | 138573 128460 20 | 6.914 % |
1013.90/1014.03 c | 851607 | 337 43339 238449 | 131240 119473 20 | 6.908 % |
1019.00/1019.11 c | 856430 | 337 43339 238449 | 131240 124296 20 | 6.908 % |
1025.40/1025.52 c | 861736 | 337 43339 238449 | 2147483647 129602 20 | 6.913 % |
1032.70/1032.83 c | 867573 | 337 43339 238449 | 2147483647 135439 20 | 6.917 % |
1041.80/1041.93 c | 873992 | 337 43339 238449 | 137867 123688 20 | 6.908 % |
1051.80/1051.99 c | 881051 | 337 43339 238449 | 129697 117379 19 | 6.908 % |
1060.79/1060.92 c | 888816 | 337 43339 238449 | 129697 125144 19 | 6.908 % |
1060.89/1061.06 c | 888917 | 337 43339 238449 | 129697 125245 19 | 6.907 % |
1061.09/1061.25 c | 889027 | 337 43339 238449 | 129697 125355 20 | 6.908 % |
1061.39/1061.51 c | 889148 | 337 43339 238449 | 129697 125476 20 | 6.908 % |
1061.58/1061.71 c | 889281 | 337 43339 238449 | 129697 125609 20 | 6.908 % |
1061.78/1061.92 c | 889427 | 337 43339 238449 | 129697 125755 20 | 6.908 % |
1062.08/1062.23 c | 889590 | 337 43339 238449 | 129697 125918 20 | 6.907 % |
1062.28/1062.47 c | 889767 | 337 43339 238449 | 129697 126095 20 | 6.908 % |
1062.58/1062.78 c | 889960 | 337 43339 238449 | 129697 126288 20 | 6.908 % |
1063.18/1063.38 c | 890172 | 337 43339 238449 | 126328 112599 19 | 6.908 % |
1063.59/1063.73 c | 890406 | 337 43339 238449 | 126328 112833 19 | 6.908 % |
1063.98/1064.10 c | 890663 | 337 43339 238449 | 126328 113090 19 | 6.908 % |
1064.38/1064.53 c | 890947 | 337 43339 238449 | 126328 113374 19 | 6.908 % |
1064.78/1064.96 c | 891257 | 337 43339 238449 | 126328 113684 19 | 6.908 % |
1065.18/1065.35 c | 891596 | 337 43339 238449 | 126328 114023 19 | 6.908 % |
1065.58/1065.79 c | 891970 | 337 43339 238449 | 126328 114397 19 | 6.908 % |
1066.18/1066.30 c | 892379 | 337 43339 238449 | 126328 114806 19 | 6.908 % |
1066.68/1066.82 c | 892829 | 337 43339 238449 | 126328 115256 19 | 6.908 % |
1067.38/1067.50 c | 893324 | 337 43339 238449 | 126328 115751 19 | 6.907 % |
1067.98/1068.15 c | 893866 | 337 43339 238449 | 126328 116293 19 | 6.908 % |
1068.78/1068.94 c | 894462 | 337 43339 238449 | 126328 116889 19 | 6.907 % |
1069.68/1069.85 c | 895118 | 337 43339 238449 | 126328 117545 19 | 6.908 % |
1070.68/1070.84 c | 895840 | 337 43339 238449 | 126328 118267 19 | 6.914 % |
1071.78/1071.91 c | 896633 | 337 43339 238449 | 126328 119060 19 | 6.907 % |
1072.88/1073.09 c | 897507 | 337 43339 238449 | 126328 119934 19 | 6.914 % |
1074.18/1074.33 c | 898467 | 337 43339 238449 | 126328 120894 20 | 6.910 % |
1075.48/1075.61 c | 899520 | 337 43339 238449 | 126328 121947 20 | 6.912 % |
1077.18/1077.31 c | 900680 | 337 43339 238449 | 2147483647 123107 20 | 6.908 % |
1079.08/1079.22 c | 901953 | 337 43339 238449 | 2147483647 124380 20 | 6.907 % |
1081.09/1081.27 c | 903354 | 337 43339 238449 | 2147483647 125781 20 | 6.907 % |
1083.39/1083.54 c | 904895 | 337 43339 238449 | 2147483647 127322 20 | 6.908 % |
1085.98/1086.14 c | 906589 | 337 43339 238449 | 2147483647 129016 20 | 6.907 % |
1088.28/1088.49 c | 908452 | 337 43339 238449 | 2147483647 130879 20 | 6.908 % |
1091.38/1091.60 c | 910502 | 337 43339 238449 | 132428 116490 19 | 6.908 % |
1094.18/1094.32 c | 912755 | 337 43339 238449 | 132428 118743 20 | 6.907 % |
1097.08/1097.20 c | 915235 | 337 43339 238449 | 132428 121223 20 | 6.908 % |
1100.89/1101.07 c | 917961 | 337 43339 238449 | 132428 123949 20 | 6.907 % |
1104.98/1105.19 c | 920962 | 337 43339 238449 | 125992 112025 19 | 6.908 % |
1109.18/1109.31 c | 924259 | 337 43339 238449 | 125992 115322 19 | 6.908 % |
1113.88/1114.06 c | 927884 | 337 43339 238449 | 125992 118947 20 | 6.908 % |
1119.18/1119.37 c | 931873 | 337 43339 238449 | 2147483647 122936 20 | 6.908 % |
1125.68/1125.87 c | 936258 | 337 43339 238449 | 2147483647 127321 20 | 6.916 % |
1132.68/1132.87 c | 941083 | 337 43339 238449 | 131063 117711 19 | 6.907 % |
1140.08/1140.22 c | 946390 | 337 43339 238449 | 131063 123018 20 | 6.907 % |
1148.29/1148.46 c | 952226 | 337 43339 238449 | 2147483647 128854 20 | 6.908 % |
1157.78/1157.98 c | 958647 | 337 43339 238449 | 2147483647 135275 20 | 6.908 % |
1167.48/1167.66 c | 965708 | 337 43339 238449 | 136628 123736 19 | 6.908 % |
1178.28/1178.49 c | 973473 | 337 43339 238449 | 128028 114531 19 | 6.908 % |
1188.28/1188.46 c | 982013 | 337 43339 238449 | 121060 110568 19 | 6.907 % |
1188.48/1188.64 c | 982113 | 337 43339 238449 | 121060 110668 19 | 6.907 % |
1188.58/1188.76 c | 982226 | 337 43339 238449 | 121060 110781 19 | 6.908 % |
1188.68/1188.89 c | 982347 | 337 43339 238449 | 121060 110902 19 | 6.908 % |
1188.89/1189.05 c | 982481 | 337 43339 238449 | 121060 111036 19 | 6.908 % |
1189.08/1189.27 c | 982627 | 337 43339 238449 | 121060 111182 19 | 6.907 % |
1189.38/1189.54 c | 982788 | 337 43339 238449 | 121060 111343 19 | 6.914 % |
1189.58/1189.70 c | 982965 | 337 43339 238449 | 121060 111520 19 | 6.907 % |
1189.78/1189.91 c | 983159 | 337 43339 238449 | 121060 111714 19 | 6.913 % |
1189.99/1190.16 c | 983373 | 337 43339 238449 | 121060 111928 19 | 6.907 % |
1190.28/1190.46 c | 983607 | 337 43339 238449 | 121060 112162 19 | 6.908 % |
1190.58/1190.73 c | 983863 | 337 43339 238449 | 121060 112418 19 | 6.908 % |
1190.88/1191.02 c | 984144 | 337 43339 238449 | 121060 112699 19 | 6.907 % |
1191.19/1191.34 c | 984455 | 337 43339 238449 | 121060 113010 19 | 6.907 % |
1191.58/1191.75 c | 984796 | 337 43339 238449 | 121060 113351 19 | 6.908 % |
1191.98/1192.13 c | 985168 | 337 43339 238449 | 121060 113723 19 | 6.908 % |
1192.48/1192.66 c | 985577 | 337 43339 238449 | 121060 114132 19 | 6.932 % |
1192.98/1193.17 c | 986027 | 337 43339 238449 | 121060 114582 19 | 6.908 % |
1193.68/1193.81 c | 986522 | 337 43339 238449 | 121060 115077 19 | 6.907 % |
1194.18/1194.36 c | 987064 | 337 43339 238449 | 121060 115619 19 | 6.908 % |
1194.88/1195.03 c | 987660 | 337 43339 238449 | 121060 116215 19 | 6.908 % |
1195.58/1195.78 c | 988316 | 337 43339 238449 | 121060 116871 19 | 6.908 % |
1196.58/1196.76 c | 989037 | 337 43339 238449 | 121060 117592 19 | 6.908 % |
1197.68/1197.84 c | 989829 | 337 43339 238449 | 121060 118384 19 | 6.907 % |
1198.78/1198.99 c | 990700 | 337 43339 238449 | 2147483647 119255 19 | 6.907 % |
1199.99/1200.14 c | 991659 | 337 43339 238449 | 2147483647 120214 19 | 6.907 % |
1200.08/1200.21 HOME/SatELiteGTI: line 36: 12040 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834031-1242827363/watcher-1834031-1242827363 -o /tmp/evaluation-result-1834031-1242827363/solver-1834031-1242827363 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834031-1242827363.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 12034
/proc/meminfo: memFree=1750088/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) R 12032 12034 11755 0 -1 4194304 292 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962372767 0 65538 4100 65536 0 0 0 17 0 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
[startup+0.0118781 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 12034
/proc/meminfo: memFree=1750088/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.10185 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 12034
/proc/meminfo: memFree=1750088/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301794 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 12034
/proc/meminfo: memFree=1750088/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701679 s]
/proc/loadavg: 1.02 1.01 1.00 3/64 12034
/proc/meminfo: memFree=1750088/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50145 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 12039
/proc/meminfo: memFree=1739128/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
[pid=12038] ppid=12034 vsize=12408 CPUtime=1.49
/proc/12038/stat : 12038 (SatELite_releas) R 12034 12034 11755 0 -1 4194304 2830 0 0 0 148 1 0 0 25 0 1 0 310769760 12705792 2801 1992294400 134512640 135223648 4294956128 18446744073709551615 134548993 0 0 4096 3 0 0 0 17 0 0 0
/proc/12038/statm: 3102 2801 70 173 0 2927 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 17764
[startup+3.101 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 12039
/proc/meminfo: memFree=1737272/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=0
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310769760 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12034/statm: 1339 237 197 169 0 50 0
[pid=12038] ppid=12034 vsize=13148 CPUtime=3.09
/proc/12038/stat : 12038 (SatELite_releas) R 12034 12034 11755 0 -1 4194304 3906 0 0 0 307 2 0 0 25 0 1 0 310769760 13463552 2998 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/12038/statm: 3287 2998 76 173 0 3112 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 18504
[startup+6.30108 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 12040
/proc/meminfo: memFree=1741816/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=7540 CPUtime=3.18
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 1765 0 0 0 317 1 0 0 25 0 1 0 310770070 7720960 1751 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 1885 1751 76 171 0 1712 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 12896
[startup+12.7023 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 12040
/proc/meminfo: memFree=1739000/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=10040 CPUtime=9.59
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 2367 0 0 0 957 2 0 0 25 0 1 0 310770070 10280960 2353 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 2510 2353 76 171 0 2337 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 15396
[startup+25.5016 s]
/proc/loadavg: 1.01 1.01 1.00 2/66 12040
/proc/meminfo: memFree=1736248/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=12852 CPUtime=22.39
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 3057 0 0 0 2236 3 0 0 25 0 1 0 310770070 13160448 3043 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 3213 3043 76 171 0 3040 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 18208
[startup+51.1013 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1732472/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=16644 CPUtime=47.99
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 3997 0 0 0 4795 4 0 0 25 0 1 0 310770070 17043456 3983 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 4161 3983 76 171 0 3988 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 22000
[startup+102.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1727672/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=21280 CPUtime=99.18
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 5135 0 0 0 9913 5 0 0 25 0 1 0 310770070 21790720 5121 1992294400 134512640 135215339 4294956240 18446744073709551615 134528875 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 5320 5121 76 171 0 5147 0
Current children cumulated CPU time (s) 102.27
Current children cumulated vsize (KiB) 26636
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1726840/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=21968 CPUtime=159.17
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 5326 0 0 0 15912 5 0 0 25 0 1 0 310770070 22495232 5312 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 5492 5312 76 171 0 5319 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 27324
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1725944/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=22832 CPUtime=219.17
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 5521 0 0 0 21912 5 0 0 25 0 1 0 310770070 23379968 5507 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 5708 5507 76 171 0 5535 0
Current children cumulated CPU time (s) 222.26
Current children cumulated vsize (KiB) 28188
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1725560/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=23176 CPUtime=279.17
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 5590 0 0 0 27912 5 0 0 25 0 1 0 310770070 23732224 5576 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 5794 5576 76 171 0 5621 0
Current children cumulated CPU time (s) 282.26
Current children cumulated vsize (KiB) 28532
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1723960/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=24876 CPUtime=339.15
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 5952 0 0 0 33909 6 0 0 25 0 1 0 310770070 25473024 5938 1992294400 134512640 135215339 4294956240 18446744073709551615 134545752 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6219 5938 76 171 0 6046 0
Current children cumulated CPU time (s) 342.24
Current children cumulated vsize (KiB) 30232
[startup+402.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1723768/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=24876 CPUtime=399.15
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 5964 0 0 0 39909 6 0 0 25 0 1 0 310770070 25473024 5950 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6219 5950 76 171 0 6046 0
Current children cumulated CPU time (s) 402.24
Current children cumulated vsize (KiB) 30232
[startup+462.301 s]
################
# More data... #
################
[pid=12040] ppid=12034 vsize=25264 CPUtime=459.14
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6025 0 0 0 45908 6 0 0 25 0 1 0 310770070 25870336 6011 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6316 6011 76 171 0 6143 0
Current children cumulated CPU time (s) 462.23
Current children cumulated vsize (KiB) 30620
[startup+522.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12040
/proc/meminfo: memFree=1723320/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25264 CPUtime=519.14
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6045 0 0 0 51908 6 0 0 25 0 1 0 310770070 25870336 6031 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6316 6031 76 171 0 6143 0
Current children cumulated CPU time (s) 522.23
Current children cumulated vsize (KiB) 30620
[startup+582.302 s]
/proc/loadavg: 1.06 1.02 1.00 2/66 12040
/proc/meminfo: memFree=1723192/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25264 CPUtime=579.13
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6058 0 0 0 57907 6 0 0 25 0 1 0 310770070 25870336 6044 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6316 6044 76 171 0 6143 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 30620
[startup+642.302 s]
/proc/loadavg: 1.02 1.01 1.00 2/66 12040
/proc/meminfo: memFree=1723000/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=639.13
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6098 0 0 0 63907 6 0 0 25 0 1 0 310770070 26275840 6084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6084 76 171 0 6242 0
Current children cumulated CPU time (s) 642.22
Current children cumulated vsize (KiB) 31016
[startup+702.302 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722680/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=699.12
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6098 0 0 0 69906 6 0 0 25 0 1 0 310770070 26275840 6084 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6084 76 171 0 6242 0
Current children cumulated CPU time (s) 702.21
Current children cumulated vsize (KiB) 31016
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722680/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=759.13
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6102 0 0 0 75906 7 0 0 25 0 1 0 310770070 26275840 6088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6088 76 171 0 6242 0
Current children cumulated CPU time (s) 762.22
Current children cumulated vsize (KiB) 31016
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722616/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=819.12
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6102 0 0 0 81905 7 0 0 25 0 1 0 310770070 26275840 6088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528613 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6088 76 171 0 6242 0
Current children cumulated CPU time (s) 822.21
Current children cumulated vsize (KiB) 31016
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722488/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=879.11
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6102 0 0 0 87904 7 0 0 25 0 1 0 310770070 26275840 6088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6088 76 171 0 6242 0
Current children cumulated CPU time (s) 882.2
Current children cumulated vsize (KiB) 31016
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722360/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=939.11
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6102 0 0 0 93904 7 0 0 25 0 1 0 310770070 26275840 6088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6088 76 171 0 6242 0
Current children cumulated CPU time (s) 942.2
Current children cumulated vsize (KiB) 31016
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722232/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=999.11
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6118 0 0 0 99904 7 0 0 25 0 1 0 310770070 26275840 6104 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6104 76 171 0 6242 0
Current children cumulated CPU time (s) 1002.2
Current children cumulated vsize (KiB) 31016
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722168/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=1059.09
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6130 0 0 0 105902 7 0 0 25 0 1 0 310770070 26275840 6116 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6116 76 171 0 6242 0
Current children cumulated CPU time (s) 1062.18
Current children cumulated vsize (KiB) 31016
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1722040/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25660 CPUtime=1119.09
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6131 0 0 0 111902 7 0 0 25 0 1 0 310770070 26275840 6117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6415 6117 76 171 0 6242 0
Current children cumulated CPU time (s) 1122.18
Current children cumulated vsize (KiB) 31016
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1721848/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25888 CPUtime=1179.09
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6164 0 0 0 117902 7 0 0 25 0 1 0 310770070 26509312 6150 1992294400 134512640 135215339 4294956240 18446744073709551615 134528691 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6472 6150 76 171 0 6299 0
Current children cumulated CPU time (s) 1182.18
Current children cumulated vsize (KiB) 31244
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.2 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 12046
/proc/meminfo: memFree=1721784/2055920 swapFree=4039288/4192956
[pid=12034] ppid=12032 vsize=5356 CPUtime=3.09
/proc/12034/stat : 12034 (SatELiteGTI) S 12032 12034 11755 0 -1 4194304 336 4157 0 0 0 0 307 2 16 0 1 0 310769760 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 231962370884 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12034/statm: 1339 239 197 169 0 50 0
[pid=12040] ppid=12034 vsize=25888 CPUtime=1196.99
/proc/12040/stat : 12040 (minisat_static) R 12034 12034 11755 0 -1 4194304 6180 0 0 0 119692 7 0 0 25 0 1 0 310770070 26509312 6166 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12040/statm: 6472 6166 76 171 0 6299 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 31244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.21
CPU time (s): 1200.11
CPU user time (s): 1200
CPU system time (s): 0.109983
CPU usage (%): 99.9915
Max. virtual memory (cumulated for all children) (KiB): 31244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1200
system time used= 0.109983
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10682
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 25
involuntary context switches= 5388
runsolver used 1.09883 second user time and 3.37949 second system time
The end
Begin job on node16 at 2009-05-20 15:49:24
IDJOB=1834031
IDBENCH=71139
IDSOLVER=671
FILE ID=node16/1834031-1242827363
PBS_JOBID= 9322485
Free space on /tmp= 66292 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/CRAFTED/modcircuits/mod4block_3vars_7gates.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834031-1242827363/watcher-1834031-1242827363 -o /tmp/evaluation-result-1834031-1242827363/solver-1834031-1242827363 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834031-1242827363.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= cc925e6de728ca79f6f89379842f14b0
RANDOM SEED=2001339194
node16.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1750568 kB
Buffers: 18228 kB
Cached: 103224 kB
SwapCached: 147760 kB
Active: 155208 kB
Inactive: 115580 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1750568 kB
SwapTotal: 4192956 kB
SwapFree: 4039288 kB
Dirty: 4820 kB
Writeback: 0 kB
Mapped: 13440 kB
Slab: 20564 kB
Committed_AS: 1095300 kB
PageTables: 1440 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66288 MiB
End job on node16 at 2009-05-20 16:09:26