0.00/0.00 c Parsing...
0.00/0.01 c ==============================================================================
0.00/0.01 c | | ORIGINAL | LEARNT | |
0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.01 c ==============================================================================
0.00/0.01 c | 0 | 8400 25200 | 2519 0 0 nan | 0.000 % |
0.00/0.03 c | 0 | 8363 25316 | -- 0 -- -- | -- | -37/116
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1964 #clauses: 8363 #literals: 25316
0.00/0.03 c CPU time: 0.021996 s
0.00/0.03 c ==============================================================================
0.00/0.03 c This is MiniSat 2.0 beta
0.00/0.03 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.04 c ============================[ Problem Statistics ]=============================
0.00/0.04 c | |
0.00/0.04 c | Number of variables: 1964 |
0.00/0.04 c | Number of clauses: 8363 |
0.00/0.04 c | Parsing time: 0.01 s |
0.00/0.04 c ============================[ Search Statistics ]==============================
0.00/0.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.00/0.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.00/0.04 c ===============================================================================
0.00/0.04 c | 0 | 1964 8363 25316 | 2787 0 nan | 0.000 % |
0.00/0.05 c | 102 | 1964 8363 25316 | 2787 102 58 | 0.000 % |
0.00/0.06 c | 202 | 1964 8363 25316 | 2787 202 59 | 0.000 % |
0.00/0.06 c | 304 | 1964 8363 25316 | 2787 304 58 | 0.000 % |
0.00/0.07 c | 419 | 1964 8363 25316 | 2787 419 59 | 0.000 % |
0.00/0.08 c | 519 | 1964 8363 25316 | 2787 519 59 | 0.000 % |
0.00/0.09 c | 632 | 1964 8363 25316 | 2787 632 60 | 0.000 % |
0.03/0.10 c | 753 | 1964 8363 25316 | 2787 753 60 | 0.000 % |
0.03/0.10 c | 853 | 1964 8363 25316 | 2787 853 59 | 0.000 % |
0.03/0.11 c | 965 | 1964 8363 25316 | 2787 965 59 | 0.000 % |
0.03/0.12 c | 1087 | 1964 8363 25316 | 2787 1087 59 | 0.000 % |
0.03/0.13 c | 1222 | 1964 8363 25316 | 2787 1222 59 | 0.000 % |
0.03/0.14 c | 1322 | 1964 8363 25316 | 2787 1322 59 | 0.000 % |
0.03/0.15 c | 1434 | 1964 8363 25316 | 2787 1434 59 | 0.000 % |
0.03/0.16 c | 1555 | 1964 8363 25316 | 2787 1555 59 | 0.000 % |
0.03/0.17 c | 1688 | 1964 8363 25316 | 2787 1688 59 | 0.000 % |
0.03/0.18 c | 1834 | 1964 8363 25316 | 2787 1834 59 | 0.000 % |
0.03/0.19 c | 1934 | 1964 8363 25316 | 2787 1934 59 | 0.000 % |
0.03/0.20 c | 2045 | 1964 8363 25316 | 2787 2045 59 | 0.000 % |
0.03/0.21 c | 2167 | 1964 8363 25316 | 2787 2167 59 | 0.000 % |
0.03/0.22 c | 2302 | 1964 8363 25316 | 2787 2302 60 | 0.000 % |
0.03/0.23 c | 2449 | 1964 8363 25316 | 2787 2449 61 | 0.000 % |
0.03/0.25 c | 2612 | 1964 8363 25316 | 2787 2612 61 | 0.000 % |
0.03/0.25 c | 2712 | 1964 8363 25316 | 2787 2712 60 | 0.000 % |
0.03/0.26 c | 2822 | 1964 8363 25316 | 2787 2822 60 | 0.000 % |
0.03/0.27 c | 2944 | 1964 8363 25316 | 2787 2662 60 | 0.000 % |
0.03/0.28 c | 3077 | 1964 8363 25316 | 2787 2795 59 | 0.000 % |
0.03/0.30 c | 3224 | 1964 8363 25316 | 2787 2663 59 | 0.000 % |
0.03/0.31 c | 3384 | 1964 8363 25316 | 2787 2823 59 | 0.000 % |
0.03/0.33 c | 3560 | 1964 8363 25316 | 2787 2717 59 | 0.000 % |
0.03/0.33 c | 3660 | 1964 8363 25316 | 2787 2817 58 | 0.000 % |
0.03/0.34 c | 3770 | 1964 8363 25316 | 2787 2646 58 | 0.000 % |
0.03/0.36 c | 3891 | 1964 8363 25316 | 2787 2767 58 | 0.000 % |
0.03/0.37 c | 4024 | 1964 8363 25316 | 2787 2900 58 | 0.000 % |
0.03/0.38 c | 4170 | 1964 8363 25316 | 2787 2756 58 | 0.000 % |
0.03/0.40 c | 4330 | 1964 8363 25316 | 2787 2916 58 | 0.000 % |
0.03/0.41 c | 4507 | 1964 8363 25316 | 2787 2802 58 | 0.000 % |
0.03/0.43 c | 4701 | 1964 8363 25316 | 2787 2716 58 | 0.000 % |
0.03/0.44 c | 4801 | 1964 8363 25316 | 2787 2816 58 | 0.000 % |
0.03/0.45 c | 4914 | 1964 8363 25316 | 2787 2648 57 | 0.000 % |
0.03/0.46 c | 5035 | 1964 8363 25316 | 2787 2769 58 | 0.000 % |
0.03/0.47 c | 5169 | 1964 8363 25316 | 2787 2903 57 | 0.000 % |
0.03/0.48 c | 5315 | 1964 8363 25316 | 2787 2759 57 | 0.000 % |
0.03/0.49 c | 5475 | 1964 8363 25316 | 2787 2919 58 | 0.000 % |
0.03/0.51 c | 5651 | 1964 8363 25316 | 2787 2804 58 | 0.000 % |
0.03/0.53 c | 5844 | 1964 8363 25316 | 2787 2717 58 | 0.000 % |
0.03/0.54 c | 6056 | 1964 8363 25316 | 2787 2929 58 | 0.000 % |
0.03/0.55 c | 6157 | 1964 8363 25316 | 2787 2738 58 | 0.000 % |
0.03/0.56 c | 6268 | 1964 8363 25316 | 2787 2849 58 | 0.000 % |
0.03/0.57 c | 6389 | 1964 8363 25316 | 2787 2686 58 | 0.000 % |
0.03/0.59 c | 6522 | 1964 8363 25316 | 2787 2819 59 | 0.000 % |
0.03/0.60 c | 6669 | 1964 8363 25316 | 2787 2685 59 | 0.000 % |
0.03/0.61 c | 6830 | 1964 8363 25316 | 2787 2846 59 | 0.000 % |
0.03/0.63 c | 7009 | 1964 8363 25316 | 2787 2741 58 | 0.000 % |
0.03/0.65 c | 7202 | 1964 8363 25316 | 2787 2934 59 | 0.000 % |
0.03/0.66 c | 7414 | 1964 8363 25316 | 2787 2853 59 | 0.000 % |
0.03/0.69 c | 7648 | 1964 8363 25316 | 2787 2802 59 | 0.000 % |
0.03/0.70 c | 7750 | 1964 8363 25316 | 2787 2624 59 | 0.000 % |
0.03/0.71 c | 7861 | 1964 8363 25316 | 2787 2735 59 | 0.000 % |
0.03/0.71 c | 7983 | 1964 8363 25316 | 2787 2857 59 | 0.000 % |
0.03/0.73 c | 8117 | 1964 8363 25316 | 2787 2706 59 | 0.000 % |
0.03/0.74 c | 8265 | 1964 8363 25316 | 2787 2854 60 | 0.000 % |
0.03/0.76 c | 8425 | 1964 8363 25316 | 2787 2729 60 | 0.000 % |
0.03/0.77 c | 8603 | 1964 8363 25316 | 2787 2907 60 | 0.000 % |
0.03/0.79 c | 8796 | 1964 8363 25316 | 2787 2810 60 | 0.000 % |
0.03/0.81 c | 9009 | 1964 8363 25316 | 2787 2742 61 | 0.000 % |
0.03/0.83 c | 9242 | 1964 8363 25316 | 2787 2975 61 | 0.000 % |
0.03/0.85 c | 9500 | 1964 8363 25316 | 2787 2936 62 | 0.000 % |
0.03/0.86 c | 9601 | 1964 8363 25316 | 2787 2744 62 | 0.000 % |
0.03/0.87 c | 9711 | 1964 8363 25316 | 2787 2854 62 | 0.000 % |
0.03/0.88 c | 9834 | 1964 8363 25316 | 2787 2692 61 | 0.000 % |
0.03/0.89 c | 9967 | 1964 8363 25316 | 2787 2825 60 | 0.000 % |
0.03/0.91 c | 10113 | 1964 8363 25316 | 2147483647 2689 59 | 0.000 % |
0.03/0.92 c | 10273 | 1964 8363 25316 | 2147483647 2849 59 | 0.000 % |
0.03/0.93 c | 10450 | 1964 8363 25316 | 2147483647 3026 60 | 0.000 % |
0.03/0.95 c | 10645 | 1964 8363 25316 | 2147483647 3221 60 | 0.000 % |
0.03/0.97 c | 10857 | 1964 8363 25316 | 2147483647 3433 60 | 0.000 % |
0.03/0.99 c | 11092 | 1964 8363 25316 | 2147483647 3668 61 | 0.000 % |
0.99/1.02 c | 11351 | 1964 8363 25316 | 2147483647 3927 61 | 0.000 % |
0.99/1.04 c | 11632 | 1964 8363 25316 | 2147483647 4208 62 | 0.000 % |
0.99/1.05 c | 11733 | 1964 8363 25316 | 2147483647 4309 62 | 0.000 % |
0.99/1.06 c | 11846 | 1964 8363 25316 | 2147483647 4422 62 | 0.000 % |
0.99/1.07 c | 11970 | 1964 8363 25316 | 2147483647 4546 61 | 0.000 % |
0.99/1.09 c | 12103 | 1964 8363 25316 | 2147483647 4679 61 | 0.000 % |
0.99/1.10 c | 12249 | 1964 8363 25316 | 2147483647 4825 61 | 0.000 % |
1.08/1.12 c | 12410 | 1964 8363 25316 | 2147483647 4986 61 | 0.000 % |
1.08/1.13 c | 12587 | 1964 8363 25316 | 2147483647 5163 61 | 0.000 % |
1.08/1.15 c | 12780 | 1964 8363 25316 | 2147483647 5356 61 | 0.000 % |
1.08/1.17 c | 12992 | 1964 8363 25316 | 2147483647 5568 62 | 0.000 % |
1.08/1.20 c | 13226 | 1964 8363 25316 | 2147483647 5802 61 | 0.000 % |
1.18/1.22 c | 13482 | 1964 8363 25316 | 2147483647 6058 62 | 0.000 % |
1.18/1.25 c | 13763 | 1964 8363 25316 | 2147483647 6339 62 | 0.000 % |
1.18/1.28 c | 14074 | 1964 8363 25316 | 2147483647 6650 62 | 0.000 % |
1.18/1.29 c | 14174 | 1964 8363 25316 | 2147483647 6750 62 | 0.000 % |
1.28/1.30 c | 14285 | 1964 8363 25316 | 2147483647 6861 62 | 0.000 % |
1.28/1.32 c | 14407 | 1964 8363 25316 | 2147483647 6983 62 | 0.000 % |
1.28/1.33 c | 14540 | 1964 8363 25316 | 2147483647 7116 62 | 0.000 % |
1.28/1.35 c | 14686 | 1964 8363 25316 | 2147483647 7262 62 | 0.000 % |
1.28/1.37 c | 14846 | 1964 8363 25316 | 2147483647 7422 62 | 0.000 % |
1.28/1.38 c | 15022 | 1964 8363 25316 | 2147483647 7598 62 | 0.000 % |
1.38/1.41 c | 15215 | 1964 8363 25316 | 2147483647 7791 62 | 0.000 % |
1.38/1.43 c | 15427 | 1964 8363 25316 | 2147483647 8003 62 | 0.000 % |
1.38/1.45 c | 15660 | 1964 8363 25316 | 2147483647 8236 62 | 0.000 % |
1.38/1.48 c | 15916 | 1964 8363 25316 | 2147483647 8492 62 | 0.000 % |
1.48/1.52 c | 16197 | 1964 8363 25316 | 2147483647 8773 62 | 0.000 % |
1.48/1.55 c | 16506 | 1964 8363 25316 | 2147483647 9082 62 | 0.000 % |
1.48/1.59 c | 16848 | 1964 8363 25316 | 2147483647 9424 62 | 0.000 % |
1.58/1.61 c | 16948 | 1964 8363 25316 | 2147483647 9524 62 | 0.000 % |
1.58/1.62 c | 17058 | 1964 8363 25316 | 2147483647 9634 62 | 0.000 % |
1.58/1.63 c | 17179 | 1964 8363 25316 | 2147483647 9755 62 | 0.000 % |
1.58/1.65 c | 17313 | 1964 8363 25316 | 2147483647 9889 62 | 0.000 % |
1.58/1.67 c | 17460 | 1964 8363 25316 | 2147483647 10036 62 | 0.000 % |
1.58/1.69 c | 17621 | 1964 8363 25316 | 2147483647 10197 62 | 0.000 % |
1.68/1.71 c | 17797 | 1964 8363 25316 | 2147483647 10373 62 | 0.000 % |
1.68/1.73 c | 17994 | 1964 8363 25316 | 2147483647 10570 62 | 0.000 % |
1.68/1.76 c | 18207 | 1964 8363 25316 | 2147483647 10783 62 | 0.000 % |
1.68/1.79 c | 18440 | 1964 8363 25316 | 2147483647 11016 62 | 0.000 % |
1.78/1.82 c | 18696 | 1964 8363 25316 | 2147483647 11272 63 | 0.000 % |
1.78/1.86 c | 18977 | 1964 8363 25316 | 2147483647 11553 63 | 0.000 % |
1.87/1.90 c | 19288 | 1964 8363 25316 | 2147483647 11864 63 | 0.000 % |
1.87/1.94 c | 19627 | 1964 8363 25316 | 2147483647 12203 63 | 0.000 % |
1.87/1.99 c | 19999 | 1964 8363 25316 | 2147483647 12575 63 | 0.000 % |
1.97/2.00 c | 20099 | 1964 8363 25316 | 2147483647 12675 63 | 0.000 % |
1.97/2.02 c | 20209 | 1964 8363 25316 | 2147483647 12785 62 | 0.000 % |
1.97/2.04 c | 20330 | 1964 8363 25316 | 2147483647 12906 62 | 0.000 % |
1.97/2.06 c | 20463 | 1964 8363 25316 | 2147483647 13039 62 | 0.000 % |
1.97/2.08 c | 20610 | 1964 8363 25316 | 2147483647 13186 62 | 0.000 % |
2.08/2.11 c | 20771 | 1964 8363 25316 | 2147483647 13347 62 | 0.000 % |
2.08/2.13 c | 20948 | 1964 8363 25316 | 2147483647 13524 62 | 0.000 % |
2.08/2.16 c | 21142 | 1964 8363 25316 | 2147483647 13718 63 | 0.000 % |
2.08/2.19 c | 21357 | 1964 8363 25316 | 2147483647 13933 62 | 0.000 % |
2.17/2.22 c | 21590 | 1964 8363 25316 | 2147483647 14166 62 | 0.000 % |
2.17/2.26 c | 21847 | 1964 8363 25316 | 2147483647 14423 62 | 0.000 % |
2.27/2.30 c | 22129 | 1964 8363 25316 | 2147483647 14705 63 | 0.000 % |
2.27/2.35 c | 22438 | 1964 8363 25316 | 2147483647 15014 63 | 0.000 % |
2.37/2.40 c | 22779 | 1964 8363 25316 | 2147483647 15355 63 | 0.000 % |
2.37/2.46 c | 23151 | 1964 8363 25316 | 2147483647 15727 63 | 0.000 % |
2.47/2.52 c | 23562 | 1964 8363 25316 | 2147483647 16138 63 | 0.000 % |
2.47/2.54 c | 23662 | 1964 8363 25316 | 2147483647 16238 63 | 0.000 % |
2.47/2.56 c | 23772 | 1964 8363 25316 | 2147483647 16348 63 | 0.000 % |
2.47/2.58 c | 23897 | 1964 8363 25316 | 2147483647 16473 63 | 0.000 % |
2.57/2.61 c | 24032 | 1964 8363 25316 | 2147483647 16608 63 | 0.000 % |
2.57/2.63 c | 24178 | 1964 8363 25316 | 2147483647 16754 63 | 0.000 % |
2.57/2.66 c | 24338 | 1964 8363 25316 | 2147483647 16914 63 | 0.000 % |
2.57/2.68 c | 24514 | 1964 8363 25316 | 2147483647 17090 63 | 0.000 % |
2.67/2.72 c | 24708 | 1964 8363 25316 | 2147483647 17284 63 | 0.000 % |
2.67/2.75 c | 24922 | 1964 8363 25316 | 2147483647 17498 63 | 0.000 % |
2.67/2.79 c | 25155 | 1964 8363 25316 | 2147483647 17731 63 | 0.000 % |
2.77/2.83 c | 25411 | 1964 8363 25316 | 2147483647 17987 63 | 0.000 % |
2.77/2.87 c | 25692 | 1964 8363 25316 | 2147483647 18268 63 | 0.000 % |
2.87/2.93 c | 26004 | 1964 8363 25316 | 2147483647 18580 63 | 0.000 % |
2.87/2.99 c | 26344 | 1964 8363 25316 | 2147483647 18920 63 | 0.000 % |
2.97/3.06 c | 26717 | 1964 8363 25316 | 2147483647 19293 63 | 0.000 % |
3.07/3.13 c | 27126 | 1964 8363 25316 | 2147483647 19702 64 | 0.000 % |
3.17/3.21 c | 27577 | 1964 8363 25316 | 2147483647 20153 64 | 0.000 % |
3.17/3.24 c | 27678 | 1964 8363 25316 | 2147483647 20254 64 | 0.000 % |
3.17/3.26 c | 27789 | 1964 8363 25316 | 2147483647 20365 64 | 0.000 % |
3.17/3.28 c | 27910 | 1964 8363 25316 | 2147483647 20486 64 | 0.000 % |
3.27/3.31 c | 28043 | 1964 8363 25316 | 2147483647 20619 64 | 0.000 % |
3.27/3.34 c | 28189 | 1964 8363 25316 | 2147483647 20765 64 | 0.000 % |
3.27/3.37 c | 28350 | 1964 8363 25316 | 2147483647 20926 64 | 0.000 % |
3.37/3.41 c | 28526 | 1964 8363 25316 | 2147483647 21102 64 | 0.000 % |
3.37/3.45 c | 28721 | 1964 8363 25316 | 2147483647 21297 64 | 0.000 % |
3.47/3.50 c | 28933 | 1964 8363 25316 | 2147483647 21509 63 | 0.000 % |
3.47/3.54 c | 29167 | 1964 8363 25316 | 2147483647 21743 63 | 0.000 % |
3.56/3.60 c | 29423 | 1964 8363 25316 | 2147483647 21999 63 | 0.000 % |
3.56/3.65 c | 29704 | 1964 8363 25316 | 2147483647 22280 63 | 0.000 % |
3.66/3.72 c | 30015 | 1964 8363 25316 | 2147483647 22591 63 | 0.000 % |
3.66/3.78 c | 30354 | 1964 8363 25316 | 2147483647 22930 63 | 0.000 % |
3.76/3.86 c | 30727 | 1964 8363 25316 | 2147483647 23303 63 | 0.000 % |
3.86/3.94 c | 31136 | 1964 8363 25316 | 2147483647 23712 63 | 0.000 % |
3.96/4.04 c | 31585 | 1964 8363 25316 | 2147483647 24161 63 | 0.000 % |
4.07/4.15 c | 32078 | 1964 8363 25316 | 2147483647 24654 63 | 0.000 % |
4.07/4.17 c | 32179 | 1964 8363 25316 | 2147483647 24755 63 | 0.000 % |
4.17/4.20 c | 32289 | 1964 8363 25316 | 2147483647 24865 63 | 0.000 % |
4.17/4.23 c | 32410 | 1964 8363 25316 | 2147483647 24986 63 | 0.000 % |
4.17/4.26 c | 32544 | 1964 8363 25316 | 2147483647 25120 63 | 0.000 % |
4.17/4.30 c | 32692 | 1964 8363 25316 | 2147483647 25268 63 | 0.000 % |
4.28/4.34 c | 32853 | 1964 8363 25316 | 2147483647 25429 63 | 0.000 % |
4.28/4.37 c | 33031 | 1964 8363 25316 | 2147483647 25607 63 | 0.000 % |
4.37/4.42 c | 33225 | 1964 8363 25316 | 2147483647 25801 63 | 0.000 % |
4.37/4.47 c | 33437 | 1964 8363 25316 | 2147483647 26013 63 | 0.000 % |
4.47/4.52 c | 33671 | 1964 8363 25316 | 2147483647 26247 63 | 0.000 % |
4.47/4.58 c | 33927 | 1964 8363 25316 | 2147483647 26503 63 | 0.000 % |
4.57/4.64 c | 34208 | 1964 8363 25316 | 2147483647 26784 63 | 0.000 % |
4.67/4.72 c | 34517 | 1964 8363 25316 | 2147483647 27093 63 | 0.000 % |
4.77/4.80 c | 34856 | 1964 8363 25316 | 2147483647 27432 63 | 0.000 % |
4.77/4.88 c | 35229 | 1964 8363 25316 | 2147483647 27805 63 | 0.000 % |
4.87/4.98 c | 35638 | 1964 8363 25316 | 2147483647 28214 63 | 0.000 % |
4.97/5.09 c | 36087 | 1964 8363 25316 | 2147483647 28663 64 | 0.000 % |
5.17/5.21 c | 36580 | 1964 8363 25316 | 2147483647 29156 64 | 0.000 % |
5.27/5.35 c | 37122 | 1964 8363 25316 | 2147483647 29698 64 | 0.000 % |
5.27/5.37 c | 37222 | 1964 8363 25316 | 2147483647 29798 64 | 0.000 % |
5.37/5.40 c | 37334 | 1964 8363 25316 | 2147483647 29910 64 | 0.000 % |
5.37/5.44 c | 37455 | 1964 8363 25316 | 2147483647 30031 64 | 0.000 % |
5.37/5.48 c | 37588 | 1964 8363 25316 | 2147483647 30164 64 | 0.000 % |
5.47/5.52 c | 37734 | 1964 8363 25316 | 2147483647 30310 64 | 0.000 % |
5.47/5.57 c | 37894 | 1964 8363 25316 | 2147483647 30470 64 | 0.000 % |
5.57/5.61 c | 38072 | 1964 8363 25316 | 2147483647 30648 64 | 0.000 % |
5.57/5.67 c | 38266 | 1964 8363 25316 | 2147483647 30842 64 | 0.000 % |
5.66/5.72 c | 38479 | 1964 8363 25316 | 2147483647 31055 64 | 0.000 % |
5.66/5.79 c | 38713 | 1964 8363 25316 | 2147483647 31289 64 | 0.000 % |
5.76/5.86 c | 38969 | 1964 8363 25316 | 2147483647 31545 64 | 0.000 % |
5.86/5.94 c | 39251 | 1964 8363 25316 | 2147483647 31827 64 | 0.000 % |
5.96/6.02 c | 39560 | 1964 8363 25316 | 2147483647 32136 64 | 0.000 % |
6.06/6.11 c | 39899 | 1964 8363 25316 | 2147483647 32475 64 | 0.000 % |
6.16/6.21 c | 40272 | 1964 8363 25316 | 2147483647 32848 64 | 0.000 % |
6.27/6.33 c | 40681 | 1964 8363 25316 | 2147483647 33257 64 | 0.000 % |
6.37/6.46 c | 41131 | 1964 8363 25316 | 2147483647 33707 64 | 0.000 % |
6.47/6.58 c | 41625 | 1964 8363 25316 | 2147483647 34201 64 | 0.000 % |
6.67/6.75 c | 42167 | 1964 8363 25316 | 2147483647 34743 64 | 0.000 % |
6.87/6.92 c | 42765 | 1964 8363 25316 | 2147483647 35341 64 | 0.000 % |
6.87/6.95 c | 42868 | 1964 8363 25316 | 2147483647 35444 64 | 0.000 % |
6.87/6.99 c | 42979 | 1964 8363 25316 | 2147483647 35555 64 | 0.000 % |
6.97/7.03 c | 43100 | 1964 8363 25316 | 2147483647 35676 64 | 0.000 % |
6.97/7.07 c | 43233 | 1964 8363 25316 | 2147483647 35809 64 | 0.000 % |
7.07/7.11 c | 43379 | 1964 8363 25316 | 2147483647 35955 64 | 0.000 % |
7.07/7.16 c | 43539 | 1964 8363 25316 | 2147483647 36115 64 | 0.000 % |
7.17/7.23 c | 43716 | 1964 8363 25316 | 2147483647 36292 64 | 0.000 % |
7.17/7.28 c | 43909 | 1964 8363 25316 | 2147483647 36485 64 | 0.000 % |
7.27/7.35 c | 44125 | 1964 8363 25316 | 2147483647 36701 64 | 0.000 % |
7.37/7.43 c | 44359 | 1964 8363 25316 | 2147483647 36935 64 | 0.000 % |
7.46/7.52 c | 44617 | 1964 8363 25316 | 2147483647 37193 64 | 0.000 % |
7.46/7.60 c | 44898 | 1964 8363 25316 | 2147483647 37474 64 | 0.000 % |
7.57/7.69 c | 45208 | 1964 8363 25316 | 2147483647 37784 64 | 0.000 % |
7.67/7.79 c | 45547 | 1964 8363 25316 | 2147483647 38123 64 | 0.000 % |
7.86/7.90 c | 45919 | 1964 8363 25316 | 2147483647 38495 64 | 0.000 % |
7.96/8.02 c | 46328 | 1964 8363 25316 | 2147483647 38904 64 | 0.000 % |
8.06/8.18 c | 46779 | 1964 8363 25316 | 2147483647 39355 64 | 0.000 % |
8.26/8.34 c | 47273 | 1964 8363 25316 | 2147483647 39849 64 | 0.000 % |
8.46/8.52 c | 47817 | 1964 8363 25316 | 2147483647 40393 64 | 0.000 % |
8.66/8.71 c | 48413 | 1964 8363 25316 | 2147483647 40989 64 | 0.000 % |
8.87/8.93 c | 49068 | 1964 8363 25316 | 2147483647 41644 64 | 0.000 % |
8.87/8.97 c | 49168 | 1964 8363 25316 | 2147483647 41744 64 | 0.000 % |
8.97/9.01 c | 49278 | 1964 8363 25316 | 2147483647 41854 64 | 0.000 % |
8.97/9.06 c | 49401 | 1964 8363 25316 | 2147483647 41977 64 | 0.000 % |
9.07/9.10 c | 49534 | 1964 8363 25316 | 2147483647 42110 64 | 0.000 % |
9.07/9.17 c | 49680 | 1964 8363 25316 | 2147483647 42256 64 | 0.000 % |
9.17/9.22 c | 49842 | 1964 8363 25316 | 2147483647 42418 64 | 0.000 % |
9.17/9.29 c | 50018 | 1964 8363 25316 | 2147483647 42594 64 | 0.000 % |
9.27/9.37 c | 50213 | 1964 8363 25316 | 2147483647 42789 64 | 0.000 % |
9.37/9.44 c | 50425 | 1964 8363 25316 | 2147483647 43001 64 | 0.000 % |
9.47/9.52 c | 50659 | 1964 8363 25316 | 2147483647 43235 64 | 0.000 % |
9.57/9.61 c | 50916 | 1964 8363 25316 | 2147483647 43492 64 | 0.000 % |
9.67/9.72 c | 51200 | 1964 8363 25316 | 2147483647 43776 64 | 0.000 % |
9.77/9.83 c | 51510 | 1964 8363 25316 | 2147483647 44086 64 | 0.000 % |
9.87/9.96 c | 51850 | 1964 8363 25316 | 2147483647 44426 64 | 0.000 % |
9.96/10.10 c | 52222 | 1964 8363 25316 | 2147483647 44798 64 | 0.000 % |
10.16/10.25 c | 52631 | 1964 8363 25316 | 2147483647 45207 64 | 0.000 % |
10.36/10.41 c | 53080 | 1964 8363 25316 | 2147483647 45656 64 | 0.000 % |
10.56/10.61 c | 53573 | 1964 8363 25316 | 2147483647 46149 64 | 0.000 % |
10.76/10.82 c | 54115 | 1964 8363 25316 | 2147483647 46691 65 | 0.000 % |
10.97/11.03 c | 54711 | 1964 8363 25316 | 2147483647 47287 65 | 0.000 % |
11.16/11.29 c | 55366 | 1964 8363 25316 | 2147483647 47942 65 | 0.000 % |
11.46/11.56 c | 56087 | 1964 8363 25316 | 2147483647 48663 65 | 0.000 % |
11.56/11.61 c | 56187 | 1964 8363 25316 | 2147483647 48763 65 | 0.000 % |
11.56/11.66 c | 56297 | 1964 8363 25316 | 2147483647 48873 65 | 0.000 % |
11.66/11.71 c | 56418 | 1964 8363 25316 | 2147483647 48994 65 | 0.000 % |
11.66/11.77 c | 56555 | 1964 8363 25316 | 2147483647 49131 65 | 0.000 % |
11.76/11.84 c | 56702 | 1964 8363 25316 | 2147483647 49278 65 | 0.000 % |
11.86/11.91 c | 56863 | 1964 8363 25316 | 2147483647 49439 65 | 0.000 % |
11.86/11.98 c | 57039 | 1964 8363 25316 | 2147483647 49615 65 | 0.000 % |
11.96/12.07 c | 57234 | 1964 8363 25316 | 2147483647 49810 65 | 0.000 % |
12.06/12.16 c | 57447 | 1964 8363 25316 | 2147483647 50023 65 | 0.000 % |
12.16/12.25 c | 57680 | 1964 8363 25316 | 2147483647 50256 65 | 0.000 % |
12.26/12.36 c | 57936 | 1964 8363 25316 | 2147483647 50512 65 | 0.000 % |
12.36/12.47 c | 58218 | 1964 8363 25316 | 2147483647 50794 65 | 0.000 % |
12.56/12.61 c | 58528 | 1964 8363 25316 | 2147483647 51104 65 | 0.000 % |
12.66/12.76 c | 58867 | 1964 8363 25316 | 2147483647 51443 65 | 0.000 % |
12.86/12.92 c | 59243 | 1964 8363 25316 | 2147483647 51819 65 | 0.000 % |
13.06/13.10 c | 59652 | 1964 8363 25316 | 2147483647 52228 65 | 0.000 % |
13.16/13.29 c | 60101 | 1964 8363 25316 | 2147483647 52677 65 | 0.000 % |
13.45/13.50 c | 60596 | 1964 8363 25316 | 2147483647 53172 65 | 0.000 % |
13.65/13.75 c | 61140 | 1964 8363 25316 | 2147483647 53716 65 | 0.000 % |
13.85/14.00 c | 61736 | 1964 8363 25316 | 2147483647 54312 65 | 0.000 % |
14.16/14.27 c | 62391 | 1964 8363 25316 | 2147483647 54967 65 | 0.000 % |
14.45/14.58 c | 63111 | 1964 8363 25316 | 2147483647 55687 65 | 0.000 % |
14.85/14.91 c | 63905 | 1964 8363 25316 | 2147483647 56481 65 | 0.000 % |
14.85/14.96 c | 64007 | 1964 8363 25316 | 2147483647 56583 65 | 0.000 % |
14.95/15.02 c | 64119 | 1964 8363 25316 | 2147483647 56695 65 | 0.000 % |
14.95/15.08 c | 64242 | 1964 8363 25316 | 2147483647 56818 65 | 0.000 % |
15.05/15.14 c | 64375 | 1964 8363 25316 | 2147483647 56951 65 | 0.000 % |
15.15/15.21 c | 64521 | 1964 8363 25316 | 2147483647 57097 65 | 0.000 % |
15.15/15.28 c | 64683 | 1964 8363 25316 | 2147483647 57259 65 | 0.000 % |
15.26/15.37 c | 64859 | 1964 8363 25316 | 2147483647 57435 65 | 0.000 % |
15.35/15.48 c | 65053 | 1964 8363 25316 | 2147483647 57629 65 | 0.000 % |
15.45/15.59 c | 65266 | 1964 8363 25316 | 2147483647 57842 65 | 0.000 % |
15.65/15.70 c | 65499 | 1964 8363 25316 | 2147483647 58075 65 | 0.000 % |
15.75/15.84 c | 65756 | 1964 8363 25316 | 2147483647 58332 65 | 0.000 % |
15.85/15.97 c | 66037 | 1964 8363 25316 | 2147483647 58613 65 | 0.000 % |
16.05/16.13 c | 66347 | 1964 8363 25316 | 2147483647 58923 65 | 0.000 % |
16.25/16.30 c | 66688 | 1964 8363 25316 | 2147483647 59264 65 | 0.000 % |
16.36/16.48 c | 67062 | 1964 8363 25316 | 2147483647 59638 65 | 0.000 % |
16.56/16.69 c | 67473 | 1964 8363 25316 | 2147483647 60049 65 | 0.000 % |
16.76/16.89 c | 67922 | 1964 8363 25316 | 2147483647 60498 65 | 0.000 % |
17.06/17.14 c | 68415 | 1964 8363 25316 | 2147483647 60991 65 | 0.000 % |
17.26/17.38 c | 68957 | 1964 8363 25316 | 2147483647 61533 65 | 0.000 % |
17.56/17.66 c | 69554 | 1964 8363 25316 | 2147483647 62130 65 | 0.000 % |
17.85/17.99 c | 70209 | 1964 8363 25316 | 2147483647 62785 65 | 0.000 % |
18.25/18.35 c | 70930 | 1964 8363 25316 | 2147483647 63506 65 | 0.000 % |
18.66/18.75 c | 71722 | 1964 8363 25316 | 2147483647 64298 65 | 0.000 % |
19.15/19.20 c | 72594 | 1964 8363 25316 | 2147483647 65170 65 | 0.000 % |
19.15/19.28 c | 72697 | 1964 8363 25316 | 2147483647 65273 65 | 0.000 % |
19.25/19.35 c | 72808 | 1964 8363 25316 | 2147483647 65384 65 | 0.000 % |
19.35/19.42 c | 72929 | 1964 8363 25316 | 2147483647 65505 65 | 0.000 % |
19.45/19.50 c | 73062 | 1964 8363 25316 | 2147483647 65638 65 | 0.000 % |
19.45/19.58 c | 73209 | 1964 8363 25316 | 2147483647 65785 65 | 0.000 % |
19.55/19.68 c | 73370 | 1964 8363 25316 | 2147483647 65946 65 | 0.000 % |
19.65/19.77 c | 73546 | 1964 8363 25316 | 2147483647 66122 65 | 0.000 % |
19.85/19.90 c | 73740 | 1964 8363 25316 | 2147483647 66316 65 | 0.000 % |
19.95/20.00 c | 73952 | 1964 8363 25316 | 2147483647 66528 65 | 0.000 % |
20.05/20.12 c | 74186 | 1964 8363 25316 | 2147483647 66762 65 | 0.000 % |
20.15/20.26 c | 74442 | 1964 8363 25316 | 2147483647 67018 65 | 0.000 % |
20.36/20.40 c | 74724 | 1964 8363 25316 | 2147483647 67300 65 | 0.000 % |
20.46/20.57 c | 75033 | 1964 8363 25316 | 2147483647 67609 65 | 0.000 % |
20.66/20.78 c | 75375 | 1964 8363 25316 | 2147483647 67951 65 | 0.000 % |
20.86/20.99 c | 75747 | 1964 8363 25316 | 2147483647 68323 65 | 0.000 % |
21.16/21.21 c | 76156 | 1964 8363 25316 | 2147483647 68732 65 | 0.000 % |
21.36/21.45 c | 76605 | 1964 8363 25316 | 2147483647 69181 65 | 0.000 % |
21.65/21.70 c | 77098 | 1964 8363 25316 | 2147483647 69674 65 | 0.000 % |
21.96/22.03 c | 77643 | 1964 8363 25316 | 2147483647 70219 65 | 0.000 % |
22.25/22.34 c | 78241 | 1964 8363 25316 | 2147483647 70817 65 | 0.000 % |
22.65/22.73 c | 78896 | 1964 8363 25316 | 2147483647 71472 65 | 0.000 % |
23.06/23.10 c | 79617 | 1964 8363 25316 | 2147483647 72193 65 | 0.000 % |
23.45/23.53 c | 80409 | 1964 8363 25316 | 2147483647 72985 65 | 0.000 % |
23.85/23.98 c | 81281 | 1964 8363 25316 | 2147483647 73857 65 | 0.000 % |
24.45/24.50 c | 82239 | 1964 8363 25316 | 2147483647 74815 65 | 0.000 % |
24.45/24.55 c | 82339 | 1964 8363 25316 | 2147483647 74915 65 | 0.000 % |
24.55/24.64 c | 82452 | 1964 8363 25316 | 2147483647 75028 65 | 0.000 % |
24.65/24.73 c | 82573 | 1964 8363 25316 | 2147483647 75149 65 | 0.000 % |
24.75/24.83 c | 82708 | 1964 8363 25316 | 2147483647 75284 65 | 0.000 % |
24.85/24.92 c | 82854 | 1964 8363 25316 | 2147483647 75430 65 | 0.000 % |
24.95/25.02 c | 83014 | 1964 8363 25316 | 2147483647 75590 65 | 0.000 % |
25.05/25.13 c | 83190 | 1964 8363 25316 | 2147483647 75766 65 | 0.000 % |
25.15/25.26 c | 83383 | 1964 8363 25316 | 2147483647 75959 65 | 0.000 % |
25.25/25.38 c | 83595 | 1964 8363 25316 | 2147483647 76171 65 | 0.000 % |
25.44/25.55 c | 83829 | 1964 8363 25316 | 2147483647 76405 65 | 0.000 % |
25.64/25.72 c | 84086 | 1964 8363 25316 | 2147483647 76662 65 | 0.000 % |
25.84/25.91 c | 84369 | 1964 8363 25316 | 2147483647 76945 65 | 0.000 % |
26.04/26.10 c | 84678 | 1964 8363 25316 | 2147483647 77254 65 | 0.000 % |
26.25/26.31 c | 85018 | 1964 8363 25316 | 2147483647 77594 65 | 0.000 % |
26.44/26.55 c | 85391 | 1964 8363 25316 | 2147483647 77967 65 | 0.000 % |
26.74/26.81 c | 85800 | 1964 8363 25316 | 2147483647 78376 65 | 0.000 % |
26.94/27.07 c | 86250 | 1964 8363 25316 | 2147483647 78826 65 | 0.000 % |
27.24/27.38 c | 86745 | 1964 8363 25316 | 2147483647 79321 65 | 0.000 % |
27.64/27.71 c | 87288 | 1964 8363 25316 | 2147483647 79864 65 | 0.000 % |
27.95/28.08 c | 87885 | 1964 8363 25316 | 2147483647 80461 65 | 0.000 % |
28.35/28.49 c | 88540 | 1964 8363 25316 | 2147483647 81116 65 | 0.000 % |
28.85/28.94 c | 89261 | 1964 8363 25316 | 2147483647 81837 65 | 0.000 % |
29.35/29.43 c | 90053 | 1964 8363 25316 | 2147483647 82629 65 | 0.000 % |
29.84/29.97 c | 90926 | 1964 8363 25316 | 2147483647 83502 65 | 0.000 % |
30.44/30.59 c | 91886 | 1964 8363 25316 | 2147483647 84462 65 | 0.000 % |
31.14/31.22 c | 92939 | 1964 8363 25316 | 2147483647 85515 65 | 0.000 % |
31.14/31.30 c | 93041 | 1964 8363 25316 | 2147483647 85617 65 | 0.000 % |
31.24/31.39 c | 93151 | 1964 8363 25316 | 2147483647 85727 65 | 0.000 % |
31.35/31.48 c | 93272 | 1964 8363 25316 | 2147483647 85848 65 | 0.000 % |
31.45/31.58 c | 93405 | 1964 8363 25316 | 2147483647 85981 65 | 0.000 % |
31.55/31.70 c | 93554 | 1964 8363 25316 | 2147483647 86130 65 | 0.000 % |
31.75/31.83 c | 93714 | 1964 8363 25316 | 2147483647 86290 65 | 0.000 % |
31.85/31.94 c | 93891 | 1964 8363 25316 | 2147483647 86467 65 | 0.000 % |
31.95/32.08 c | 94084 | 1964 8363 25316 | 2147483647 86660 65 | 0.000 % |
32.15/32.23 c | 94296 | 1964 8363 25316 | 2147483647 86872 65 | 0.000 % |
32.35/32.40 c | 94530 | 1964 8363 25316 | 2147483647 87106 65 | 0.000 % |
32.45/32.59 c | 94790 | 1964 8363 25316 | 2147483647 87366 65 | 0.000 % |
32.65/32.79 c | 95071 | 1964 8363 25316 | 2147483647 87647 65 | 0.000 % |
32.95/33.01 c | 95381 | 1964 8363 25316 | 2147483647 87957 65 | 0.000 % |
33.15/33.24 c | 95721 | 1964 8363 25316 | 2147483647 88297 65 | 0.000 % |
33.35/33.47 c | 96093 | 1964 8363 25316 | 2147483647 88669 65 | 0.000 % |
33.64/33.77 c | 96502 | 1964 8363 25316 | 2147483647 89078 65 | 0.000 % |
33.95/34.07 c | 96951 | 1964 8363 25316 | 2147483647 89527 65 | 0.000 % |
34.34/34.43 c | 97444 | 1964 8363 25316 | 2147483647 90020 65 | 0.000 % |
34.74/34.82 c | 97987 | 1964 8363 25316 | 2147483647 90563 65 | 0.000 % |
35.15/35.25 c | 98583 | 1964 8363 25316 | 2147483647 91159 65 | 0.000 % |
35.64/35.74 c | 99240 | 1964 8363 25316 | 2147483647 91816 65 | 0.000 % |
36.15/36.25 c | 99961 | 1964 8363 25316 | 2147483647 92537 65 | 0.000 % |
36.64/36.79 c | 100754 | 1964 8363 25316 | 2147483647 93330 65 | 0.000 % |
37.24/37.36 c | 101625 | 1964 8363 25316 | 2147483647 94201 65 | 0.000 % |
37.94/38.02 c | 102585 | 1964 8363 25316 | 2147483647 95161 65 | 0.000 % |
38.74/38.83 c | 103640 | 1964 8363 25316 | 2147483647 96216 65 | 0.000 % |
39.63/39.71 c | 104799 | 1964 8363 25316 | 2147483647 97375 65 | 0.000 % |
39.63/39.79 c | 104899 | 1964 8363 25316 | 2147483647 97475 65 | 0.000 % |
39.73/39.88 c | 105009 | 1964 8363 25316 | 2147483647 97585 65 | 0.000 % |
39.93/40.00 c | 105132 | 1964 8363 25316 | 2147483647 97708 65 | 0.000 % |
40.03/40.11 c | 105265 | 1964 8363 25316 | 2147483647 97841 65 | 0.000 % |
40.14/40.23 c | 105412 | 1964 8363 25316 | 2147483647 97988 65 | 0.000 % |
40.24/40.37 c | 105573 | 1964 8363 25316 | 2147483647 98149 65 | 0.000 % |
40.44/40.53 c | 105750 | 1964 8363 25316 | 2147483647 98326 65 | 0.000 % |
40.65/40.70 c | 105943 | 1964 8363 25316 | 2147483647 98519 65 | 0.000 % |
40.84/40.90 c | 106155 | 1964 8363 25316 | 2147483647 98731 65 | 0.000 % |
40.94/41.09 c | 106388 | 1964 8363 25316 | 2147483647 98964 65 | 0.000 % |
41.24/41.30 c | 106644 | 1964 8363 25316 | 2147483647 99220 65 | 0.000 % |
41.44/41.56 c | 106926 | 1964 8363 25316 | 2147483647 99502 65 | 0.000 % |
41.74/41.83 c | 107235 | 1964 8363 25316 | 2147483647 99811 65 | 0.000 % |
42.04/42.11 c | 107574 | 1964 8363 25316 | 2147483647 100150 65 | 0.000 % |
42.34/42.42 c | 107946 | 1964 8363 25316 | 2147483647 100522 65 | 0.000 % |
42.64/42.77 c | 108355 | 1964 8363 25316 | 2147483647 100931 65 | 0.000 % |
43.04/43.15 c | 108806 | 1964 8363 25316 | 2147483647 101382 65 | 0.000 % |
43.54/43.62 c | 109299 | 1964 8363 25316 | 2147483647 101875 65 | 0.000 % |
43.94/44.05 c | 109841 | 1964 8363 25316 | 2147483647 102417 65 | 0.000 % |
44.43/44.56 c | 110438 | 1964 8363 25316 | 102577 88818 65 | 0.000 % |
44.94/45.01 c | 111093 | 1964 8363 25316 | 102577 89473 65 | 0.000 % |
45.43/45.50 c | 111813 | 1964 8363 25316 | 102577 90193 65 | 0.000 % |
45.93/46.05 c | 112606 | 1964 8363 25316 | 102577 90986 66 | 0.000 % |
46.53/46.62 c | 113477 | 1964 8363 25316 | 102577 91857 66 | 0.000 % |
47.24/47.32 c | 114435 | 1964 8363 25316 | 102577 92815 66 | 0.000 % |
47.93/48.05 c | 115489 | 1964 8363 25316 | 102577 93869 66 | 0.000 % |
48.73/48.90 c | 116648 | 1964 8363 25316 | 102577 95028 66 | 0.000 % |
49.63/49.76 c | 117922 | 1964 8363 25316 | 102577 96302 66 | 0.000 % |
49.73/49.84 c | 118022 | 1964 8363 25316 | 102577 96402 66 | 0.000 % |
49.83/49.96 c | 118132 | 1964 8363 25316 | 102577 96512 66 | 0.000 % |
49.93/50.06 c | 118258 | 1964 8363 25316 | 102577 96638 66 | 0.000 % |
50.03/50.19 c | 118392 | 1964 8363 25316 | 102577 96772 66 | 0.000 % |
50.23/50.32 c | 118539 | 1964 8363 25316 | 102577 96919 66 | 0.000 % |
50.33/50.47 c | 118700 | 1964 8363 25316 | 102577 97080 66 | 0.000 % |
50.53/50.61 c | 118877 | 1964 8363 25316 | 102577 97257 66 | 0.000 % |
50.63/50.74 c | 119071 | 1964 8363 25316 | 102577 97451 66 | 0.000 % |
50.83/50.92 c | 119285 | 1964 8363 25316 | 102577 97665 66 | 0.000 % |
51.03/51.11 c | 119518 | 1964 8363 25316 | 102577 97898 66 | 0.000 % |
51.23/51.36 c | 119776 | 1964 8363 25316 | 102577 98156 66 | 0.000 % |
51.43/51.58 c | 120057 | 1964 8363 25316 | 98382 98437 66 | 0.000 % |
51.73/51.86 c | 120366 | 1964 8363 25316 | 98382 86782 66 | 0.000 % |
51.93/52.05 c | 120705 | 1964 8363 25316 | 98382 87121 66 | 0.000 % |
52.23/52.34 c | 121077 | 1964 8363 25316 | 98382 87493 66 | 0.000 % |
52.53/52.62 c | 121488 | 1964 8363 25316 | 98382 87904 66 | 0.000 % |
52.83/52.93 c | 121938 | 1964 8363 25316 | 98382 88354 66 | 0.000 % |
53.13/53.27 c | 122433 | 1964 8363 25316 | 98382 88849 66 | 0.000 % |
53.53/53.66 c | 122976 | 1964 8363 25316 | 98382 89392 66 | 0.000 % |
53.93/54.08 c | 123572 | 1964 8363 25316 | 98382 89988 66 | 0.000 % |
54.43/54.56 c | 124227 | 1964 8363 25316 | 98382 90643 66 | 0.000 % |
54.93/55.08 c | 124949 | 1964 8363 25316 | 98382 91365 66 | 0.000 % |
55.53/55.66 c | 125742 | 1964 8363 25316 | 98382 92158 66 | 0.000 % |
56.13/56.26 c | 126615 | 1964 8363 25316 | 98382 93031 66 | 0.000 % |
56.83/56.94 c | 127573 | 1964 8363 25316 | 98382 93989 66 | 0.000 % |
57.63/57.75 c | 128629 | 1964 8363 25316 | 98382 95045 66 | 0.000 % |
58.43/58.59 c | 129787 | 1964 8363 25316 | 98382 96203 66 | 0.000 % |
59.43/59.58 c | 131061 | 1964 8363 25316 | 96417 86192 66 | 0.000 % |
60.33/60.47 c | 132465 | 1964 8363 25316 | 96417 87596 66 | 0.000 % |
60.43/60.53 c | 132566 | 1964 8363 25316 | 96417 87697 66 | 0.000 % |
60.53/60.62 c | 132676 | 1964 8363 25316 | 96417 87807 66 | 0.000 % |
60.63/60.71 c | 132797 | 1964 8363 25316 | 96417 87928 66 | 0.000 % |
60.73/60.80 c | 132931 | 1964 8363 25316 | 96417 88062 66 | 0.000 % |
60.83/60.93 c | 133077 | 1964 8363 25316 | 96417 88208 66 | 0.000 % |
60.92/61.06 c | 133238 | 1964 8363 25316 | 96417 88369 66 | 0.000 % |
61.12/61.20 c | 133414 | 1964 8363 25316 | 96417 88545 66 | 0.000 % |
61.22/61.35 c | 133609 | 1964 8363 25316 | 96417 88740 66 | 0.000 % |
61.43/61.50 c | 133825 | 1964 8363 25316 | 96417 88956 66 | 0.000 % |
61.53/61.70 c | 134059 | 1964 8363 25316 | 96417 89190 66 | 0.000 % |
61.82/61.90 c | 134315 | 1964 8363 25316 | 96417 89446 66 | 0.000 % |
61.92/62.10 c | 134596 | 1964 8363 25316 | 96417 89727 66 | 0.000 % |
62.22/62.31 c | 134907 | 1964 8363 25316 | 96417 90038 66 | 0.000 % |
62.42/62.54 c | 135247 | 1964 8363 25316 | 96417 90378 66 | 0.000 % |
62.63/62.79 c | 135619 | 1964 8363 25316 | 96417 90750 66 | 0.000 % |
62.92/63.09 c | 136028 | 1964 8363 25316 | 96417 91159 66 | 0.000 % |
63.32/63.43 c | 136479 | 1964 8363 25316 | 96417 91610 66 | 0.000 % |
63.73/63.81 c | 136972 | 1964 8363 25316 | 96417 92103 66 | 0.000 % |
64.12/64.22 c | 137514 | 1964 8363 25316 | 96417 92645 66 | 0.000 % |
64.52/64.64 c | 138111 | 1964 8363 25316 | 96417 93242 66 | 0.000 % |
64.92/65.03 c | 138767 | 1964 8363 25316 | 96417 93898 66 | 0.000 % |
65.42/65.56 c | 139487 | 1964 8363 25316 | 96417 94618 66 | 0.000 % |
66.12/66.24 c | 140279 | 1964 8363 25316 | 95131 84563 66 | 0.000 % |
66.62/66.78 c | 141150 | 1964 8363 25316 | 95131 85434 66 | 0.000 % |
67.32/67.43 c | 142110 | 1964 8363 25316 | 95131 86394 66 | 0.000 % |
68.03/68.11 c | 143164 | 1964 8363 25316 | 95131 87448 66 | 0.000 % |
68.72/68.80 c | 144322 | 1964 8363 25316 | 95131 88606 66 | 0.000 % |
69.62/69.70 c | 145595 | 1964 8363 25316 | 95131 89879 66 | 0.000 % |
70.52/70.67 c | 146995 | 1964 8363 25316 | 95131 91279 66 | 0.000 % |
71.62/71.78 c | 148535 | 1964 8363 25316 | 95131 92819 66 | 0.000 % |
71.72/71.88 c | 148636 | 1964 8363 25316 | 95131 92920 66 | 0.000 % |
71.82/71.97 c | 148749 | 1964 8363 25316 | 95131 93033 66 | 0.000 % |
71.92/72.08 c | 148871 | 1964 8363 25316 | 95131 93155 66 | 0.000 % |
72.02/72.18 c | 149004 | 1964 8363 25316 | 95131 93288 66 | 0.000 % |
72.22/72.32 c | 149151 | 1964 8363 25316 | 95131 93435 66 | 0.000 % |
72.32/72.45 c | 149311 | 1964 8363 25316 | 95131 93595 66 | 0.000 % |
72.42/72.58 c | 149488 | 1964 8363 25316 | 95131 93772 66 | 0.000 % |
72.62/72.74 c | 149683 | 1964 8363 25316 | 95131 93967 66 | 0.000 % |
72.72/72.89 c | 149898 | 1964 8363 25316 | 95131 94182 66 | 0.000 % |
72.92/73.07 c | 150131 | 1964 8363 25316 | 94285 94415 66 | 0.000 % |
73.12/73.27 c | 150389 | 1964 8363 25316 | 94285 83904 66 | 0.000 % |
73.32/73.46 c | 150672 | 1964 8363 25316 | 94285 84187 66 | 0.000 % |
73.52/73.66 c | 150983 | 1964 8363 25316 | 94285 84498 66 | 0.000 % |
73.72/73.90 c | 151325 | 1964 8363 25316 | 94285 84840 66 | 0.000 % |
74.02/74.17 c | 151698 | 1964 8363 25316 | 94285 85213 66 | 0.000 % |
74.32/74.48 c | 152108 | 1964 8363 25316 | 94285 85623 66 | 0.000 % |
74.62/74.79 c | 152557 | 1964 8363 25316 | 94285 86072 66 | 0.000 % |
75.02/75.17 c | 153051 | 1964 8363 25316 | 94285 86566 66 | 0.000 % |
75.42/75.55 c | 153594 | 1964 8363 25316 | 94285 87109 66 | 0.000 % |
75.92/76.02 c | 154191 | 1964 8363 25316 | 94285 87706 66 | 0.000 % |
76.32/76.44 c | 154846 | 1964 8363 25316 | 94285 88361 66 | 0.000 % |
76.82/76.95 c | 155566 | 1964 8363 25316 | 94285 89081 66 | 0.000 % |
77.42/77.54 c | 156358 | 1964 8363 25316 | 94285 89873 66 | 0.000 % |
77.92/78.09 c | 157232 | 1964 8363 25316 | 94285 90747 66 | 0.000 % |
78.72/78.81 c | 158190 | 1964 8363 25316 | 94285 91705 66 | 0.000 % |
79.41/79.59 c | 159243 | 1964 8363 25316 | 94285 92758 67 | 0.000 % |
80.31/80.47 c | 160401 | 1964 8363 25316 | 93516 84004 67 | 0.000 % |
81.22/81.34 c | 161676 | 1964 8363 25316 | 93516 85279 67 | 0.000 % |
82.11/82.26 c | 163078 | 1964 8363 25316 | 93516 86681 67 | 0.000 % |
83.21/83.32 c | 164618 | 1964 8363 25316 | 93516 88221 67 | 0.000 % |
84.31/84.42 c | 166314 | 1964 8363 25316 | 93516 89917 67 | 0.000 % |
84.31/84.49 c | 166415 | 1964 8363 25316 | 93516 90018 67 | 0.000 % |
84.41/84.59 c | 166525 | 1964 8363 25316 | 93516 90128 67 | 0.000 % |
84.61/84.70 c | 166647 | 1964 8363 25316 | 93516 90250 67 | 0.000 % |
84.71/84.81 c | 166780 | 1964 8363 25316 | 93516 90383 67 | 0.000 % |
84.81/84.92 c | 166927 | 1964 8363 25316 | 93516 90530 67 | 0.000 % |
84.91/85.05 c | 167087 | 1964 8363 25316 | 93516 90690 67 | 0.000 % |
85.01/85.19 c | 167263 | 1964 8363 25316 | 93516 90866 67 | 0.000 % |
85.21/85.34 c | 167457 | 1964 8363 25316 | 93516 91060 67 | 0.000 % |
85.41/85.51 c | 167669 | 1964 8363 25316 | 93516 91272 67 | 0.000 % |
85.51/85.66 c | 167902 | 1964 8363 25316 | 93516 91505 67 | 0.000 % |
85.71/85.86 c | 168158 | 1964 8363 25316 | 93516 91761 67 | 0.000 % |
85.91/86.05 c | 168439 | 1964 8363 25316 | 93516 92042 67 | 0.000 % |
86.11/86.28 c | 168749 | 1964 8363 25316 | 93516 92352 67 | 0.000 % |
86.41/86.54 c | 169088 | 1964 8363 25316 | 93516 92691 67 | 0.000 % |
86.71/86.85 c | 169460 | 1964 8363 25316 | 93516 93063 67 | 0.000 % |
87.01/87.12 c | 169869 | 1964 8363 25316 | 93516 93472 67 | 0.000 % |
87.31/87.47 c | 170320 | 1964 8363 25316 | 93605 84469 67 | 0.000 % |
87.61/87.75 c | 170813 | 1964 8363 25316 | 93605 84962 67 | 0.000 % |
87.91/88.06 c | 171356 | 1964 8363 25316 | 93605 85505 67 | 0.000 % |
88.31/88.45 c | 171952 | 1964 8363 25316 | 93605 86101 67 | 0.000 % |
88.71/88.86 c | 172607 | 1964 8363 25316 | 93605 86756 67 | 0.000 % |
89.21/89.37 c | 173327 | 1964 8363 25316 | 93605 87476 67 | 0.000 % |
89.81/89.91 c | 174121 | 1964 8363 25316 | 93605 88270 67 | 0.000 % |
90.31/90.49 c | 174993 | 1964 8363 25316 | 93605 89142 67 | 0.000 % |
91.01/91.14 c | 175951 | 1964 8363 25316 | 93605 90100 67 | 0.000 % |
91.71/91.86 c | 177005 | 1964 8363 25316 | 93605 91154 67 | 0.000 % |
92.61/92.71 c | 178163 | 1964 8363 25316 | 93605 92312 67 | 0.000 % |
93.51/93.63 c | 179438 | 1964 8363 25316 | 93605 93587 67 | 0.000 % |
94.51/94.64 c | 180838 | 1964 8363 25316 | 2147483647 85598 67 | 0.000 % |
95.41/95.58 c | 182378 | 1964 8363 25316 | 2147483647 87138 67 | 0.000 % |
96.61/96.72 c | 184073 | 1964 8363 25316 | 2147483647 88833 67 | 0.000 % |
97.81/97.96 c | 185937 | 1964 8363 25316 | 2147483647 90697 67 | 0.000 % |
97.91/98.04 c | 186038 | 1964 8363 25316 | 2147483647 90798 67 | 0.000 % |
98.00/98.13 c | 186148 | 1964 8363 25316 | 2147483647 90908 67 | 0.000 % |
98.10/98.23 c | 186270 | 1964 8363 25316 | 2147483647 91030 67 | 0.000 % |
98.20/98.34 c | 186403 | 1964 8363 25316 | 2147483647 91163 67 | 0.000 % |
98.30/98.46 c | 186549 | 1964 8363 25316 | 2147483647 91309 67 | 0.000 % |
98.50/98.60 c | 186713 | 1964 8363 25316 | 2147483647 91473 67 | 0.000 % |
98.60/98.75 c | 186889 | 1964 8363 25316 | 2147483647 91649 67 | 0.000 % |
98.81/98.90 c | 187083 | 1964 8363 25316 | 2147483647 91843 67 | 0.000 % |
98.91/99.09 c | 187295 | 1964 8363 25316 | 2147483647 92055 67 | 0.000 % |
99.10/99.27 c | 187528 | 1964 8363 25316 | 2147483647 92288 67 | 0.000 % |
99.30/99.48 c | 187787 | 1964 8363 25316 | 2147483647 92547 67 | 0.000 % |
99.50/99.69 c | 188069 | 1964 8363 25316 | 2147483647 92829 67 | 0.000 % |
99.80/99.92 c | 188379 | 1964 8363 25316 | 2147483647 93139 67 | 0.000 % |
100.01/100.17 c | 188718 | 1964 8363 25316 | 2147483647 93478 67 | 0.000 % |
100.30/100.45 c | 189091 | 1964 8363 25316 | 2147483647 93851 67 | 0.000 % |
100.60/100.77 c | 189500 | 1964 8363 25316 | 2147483647 94260 67 | 0.000 % |
101.01/101.13 c | 189949 | 1964 8363 25316 | 2147483647 94709 67 | 0.000 % |
101.40/101.55 c | 190444 | 1964 8363 25316 | 94761 84645 67 | 0.000 % |
101.70/101.89 c | 190986 | 1964 8363 25316 | 94761 85187 67 | 0.000 % |
102.11/102.27 c | 191584 | 1964 8363 25316 | 94761 85785 67 | 0.000 % |
102.60/102.72 c | 192244 | 1964 8363 25316 | 94761 86445 67 | 0.000 % |
103.00/103.19 c | 192965 | 1964 8363 25316 | 94761 87166 67 | 0.000 % |
103.50/103.69 c | 193757 | 1964 8363 25316 | 94761 87958 67 | 0.000 % |
104.10/104.23 c | 194629 | 1964 8363 25316 | 94761 88830 67 | 0.000 % |
104.70/104.86 c | 195588 | 1964 8363 25316 | 94761 89789 67 | 0.000 % |
105.50/105.61 c | 196643 | 1964 8363 25316 | 94761 90844 67 | 0.000 % |
106.30/106.40 c | 197801 | 1964 8363 25316 | 94761 92002 67 | 0.000 % |
107.20/107.31 c | 199074 | 1964 8363 25316 | 94761 93275 67 | 0.000 % |
108.21/108.32 c | 200474 | 1964 8363 25316 | 94201 84989 67 | 0.000 % |
109.11/109.29 c | 202016 | 1964 8363 25316 | 94201 86531 67 | 0.000 % |
110.31/110.42 c | 203710 | 1964 8363 25316 | 94201 88225 67 | 0.000 % |
111.51/111.69 c | 205574 | 1964 8363 25316 | 94201 90089 67 | 0.000 % |
112.90/113.05 c | 207623 | 1964 8363 25316 | 94201 92138 67 | 0.000 % |
113.00/113.13 c | 207723 | 1964 8363 25316 | 94201 92238 67 | 0.000 % |
113.11/113.22 c | 207833 | 1964 8363 25316 | 94201 92348 67 | 0.000 % |
113.21/113.32 c | 207955 | 1964 8363 25316 | 94201 92470 67 | 0.000 % |
113.30/113.43 c | 208090 | 1964 8363 25316 | 94201 92605 67 | 0.000 % |
113.40/113.55 c | 208237 | 1964 8363 25316 | 94201 92752 67 | 0.000 % |
113.50/113.66 c | 208398 | 1964 8363 25316 | 94201 92913 67 | 0.000 % |
113.70/113.81 c | 208574 | 1964 8363 25316 | 94201 93089 67 | 0.000 % |
113.80/113.98 c | 208768 | 1964 8363 25316 | 94201 93283 67 | 0.000 % |
114.00/114.13 c | 208980 | 1964 8363 25316 | 94201 93495 67 | 0.000 % |
114.21/114.30 c | 209216 | 1964 8363 25316 | 94201 93731 67 | 0.000 % |
114.40/114.50 c | 209472 | 1964 8363 25316 | 94201 93987 67 | 0.000 % |
114.60/114.74 c | 209753 | 1964 8363 25316 | 94201 94268 67 | 0.000 % |
114.80/114.99 c | 210064 | 1964 8363 25316 | 85044 85108 67 | 0.000 % |
115.10/115.24 c | 210403 | 1964 8363 25316 | 85044 76937 67 | 0.000 % |
115.31/115.44 c | 210776 | 1964 8363 25316 | 85044 77310 67 | 0.000 % |
115.50/115.70 c | 211185 | 1964 8363 25316 | 85044 77719 67 | 0.000 % |
115.80/115.94 c | 211634 | 1964 8363 25316 | 85044 78168 67 | 0.000 % |
116.10/116.25 c | 212127 | 1964 8363 25316 | 85044 78661 67 | 0.000 % |
116.41/116.58 c | 212671 | 1964 8363 25316 | 85044 79205 67 | 0.000 % |
116.80/116.94 c | 213267 | 1964 8363 25316 | 85044 79801 67 | 0.000 % |
117.20/117.35 c | 213923 | 1964 8363 25316 | 85044 80457 67 | 0.000 % |
117.61/117.76 c | 214643 | 1964 8363 25316 | 85044 81177 67 | 0.000 % |
118.10/118.26 c | 215436 | 1964 8363 25316 | 85044 81970 67 | 0.000 % |
118.60/118.76 c | 216307 | 1964 8363 25316 | 85044 82841 67 | 0.000 % |
119.20/119.37 c | 217265 | 1964 8363 25316 | 85044 83799 67 | 0.000 % |
119.90/120.05 c | 218318 | 1964 8363 25316 | 85044 84852 67 | 0.000 % |
120.60/120.79 c | 219476 | 1964 8363 25316 | 85044 77480 67 | 0.000 % |
121.40/121.54 c | 220750 | 1964 8363 25316 | 2147483647 78754 67 | 0.000 % |
122.20/122.37 c | 222150 | 1964 8363 25316 | 2147483647 80154 67 | 0.000 % |
123.20/123.33 c | 223691 | 1964 8363 25316 | 2147483647 81695 67 | 0.000 % |
124.30/124.43 c | 225385 | 1964 8363 25316 | 2147483647 83389 67 | 0.000 % |
125.50/125.61 c | 227248 | 1964 8363 25316 | 2147483647 85252 67 | 0.000 % |
126.80/126.91 c | 229297 | 1964 8363 25316 | 2147483647 87301 67 | 0.000 % |
128.10/128.27 c | 231551 | 1964 8363 25316 | 2147483647 89555 67 | 0.000 % |
128.20/128.36 c | 231654 | 1964 8363 25316 | 2147483647 89658 67 | 0.000 % |
128.30/128.45 c | 231764 | 1964 8363 25316 | 2147483647 89768 67 | 0.000 % |
128.40/128.56 c | 231886 | 1964 8363 25316 | 2147483647 89890 67 | 0.000 % |
128.50/128.66 c | 232022 | 1964 8363 25316 | 2147483647 90026 67 | 0.000 % |
128.60/128.79 c | 232168 | 1964 8363 25316 | 2147483647 90172 67 | 0.000 % |
128.80/128.92 c | 232328 | 1964 8363 25316 | 2147483647 90332 67 | 0.000 % |
128.90/129.04 c | 232505 | 1964 8363 25316 | 2147483647 90509 67 | 0.000 % |
129.10/129.21 c | 232698 | 1964 8363 25316 | 2147483647 90702 67 | 0.000 % |
129.20/129.38 c | 232911 | 1964 8363 25316 | 2147483647 90915 67 | 0.000 % |
129.40/129.55 c | 233146 | 1964 8363 25316 | 2147483647 91150 67 | 0.000 % |
129.60/129.72 c | 233405 | 1964 8363 25316 | 2147483647 91409 67 | 0.000 % |
129.80/129.94 c | 233686 | 1964 8363 25316 | 2147483647 91690 67 | 0.000 % |
130.00/130.19 c | 233995 | 1964 8363 25316 | 2147483647 91999 67 | 0.000 % |
130.30/130.47 c | 234335 | 1964 8363 25316 | 2147483647 92339 67 | 0.000 % |
130.60/130.76 c | 234707 | 1964 8363 25316 | 2147483647 92711 67 | 0.000 % |
130.90/131.06 c | 235118 | 1964 8363 25316 | 2147483647 93122 67 | 0.000 % |
131.20/131.38 c | 235567 | 1964 8363 25316 | 2147483647 93571 67 | 0.000 % |
131.60/131.74 c | 236061 | 1964 8363 25316 | 2147483647 94065 67 | 0.000 % |
132.00/132.17 c | 236605 | 1964 8363 25316 | 2147483647 94609 67 | 0.000 % |
132.40/132.57 c | 237201 | 1964 8363 25316 | 2147483647 95205 67 | 0.000 % |
132.90/133.10 c | 237857 | 1964 8363 25316 | 2147483647 95861 67 | 0.000 % |
133.50/133.60 c | 238578 | 1964 8363 25316 | 2147483647 96582 67 | 0.000 % |
134.10/134.24 c | 239370 | 1964 8363 25316 | 2147483647 97374 67 | 0.000 % |
134.69/134.84 c | 240241 | 1964 8363 25316 | 98004 98245 67 | 0.000 % |
135.39/135.51 c | 241199 | 1964 8363 25316 | 98004 88235 67 | 0.000 % |
135.99/136.14 c | 242253 | 1964 8363 25316 | 98004 89289 67 | 0.000 % |
136.69/136.85 c | 243411 | 1964 8363 25316 | 98004 90447 67 | 0.000 % |
137.59/137.74 c | 244685 | 1964 8363 25316 | 98004 91721 67 | 0.000 % |
138.59/138.72 c | 246086 | 1964 8363 25316 | 98004 93122 67 | 0.000 % |
139.69/139.86 c | 247628 | 1964 8363 25316 | 98004 94664 67 | 0.000 % |
140.99/141.14 c | 249322 | 1964 8363 25316 | 98004 96358 67 | 0.000 % |
142.29/142.47 c | 251188 | 1964 8363 25316 | 97036 87249 67 | 0.000 % |
143.69/143.89 c | 253237 | 1964 8363 25316 | 97036 89298 67 | 0.000 % |
145.29/145.42 c | 255490 | 1964 8363 25316 | 97036 91551 67 | 0.000 % |
146.89/147.00 c | 257968 | 1964 8363 25316 | 97036 94029 67 | 0.000 % |
146.89/147.07 c | 258068 | 1964 8363 25316 | 97036 94129 67 | 0.000 % |
146.99/147.18 c | 258178 | 1964 8363 25316 | 97036 94239 67 | 0.000 % |
147.09/147.27 c | 258299 | 1964 8363 25316 | 97036 94360 67 | 0.000 % |
147.19/147.38 c | 258434 | 1964 8363 25316 | 97036 94495 67 | 0.000 % |
147.39/147.51 c | 258581 | 1964 8363 25316 | 97036 94642 67 | 0.000 % |
147.49/147.65 c | 258741 | 1964 8363 25316 | 97036 94802 67 | 0.000 % |
147.69/147.80 c | 258918 | 1964 8363 25316 | 97036 94979 67 | 0.000 % |
147.79/147.95 c | 259112 | 1964 8363 25316 | 97036 95173 67 | 0.000 % |
147.89/148.09 c | 259324 | 1964 8363 25316 | 97036 95385 67 | 0.000 % |
148.09/148.25 c | 259557 | 1964 8363 25316 | 97036 95618 67 | 0.000 % |
148.29/148.47 c | 259813 | 1964 8363 25316 | 97036 95874 67 | 0.000 % |
148.49/148.69 c | 260094 | 1964 8363 25316 | 96061 96155 67 | 0.000 % |
148.79/148.98 c | 260405 | 1964 8363 25316 | 96061 85688 67 | 0.000 % |
148.99/149.19 c | 260747 | 1964 8363 25316 | 96061 86030 67 | 0.000 % |
149.29/149.44 c | 261121 | 1964 8363 25316 | 96061 86404 67 | 0.000 % |
149.59/149.70 c | 261533 | 1964 8363 25316 | 96061 86816 67 | 0.000 % |
149.89/150.02 c | 261985 | 1964 8363 25316 | 96061 87268 67 | 0.000 % |
150.19/150.33 c | 262478 | 1964 8363 25316 | 96061 87761 67 | 0.000 % |
150.49/150.65 c | 263021 | 1964 8363 25316 | 96061 88304 67 | 0.000 % |
150.89/151.09 c | 263618 | 1964 8363 25316 | 96061 88901 67 | 0.000 % |
151.39/151.55 c | 264275 | 1964 8363 25316 | 96061 89558 67 | 0.000 % |
151.88/152.06 c | 264996 | 1964 8363 25316 | 96061 90279 67 | 0.000 % |
152.38/152.60 c | 265788 | 1964 8363 25316 | 96061 91071 67 | 0.000 % |
152.99/153.15 c | 266659 | 1964 8363 25316 | 96061 91942 67 | 0.000 % |
153.58/153.79 c | 267617 | 1964 8363 25316 | 96061 92900 67 | 0.000 % |
154.38/154.50 c | 268670 | 1964 8363 25316 | 96061 93953 67 | 0.000 % |
155.08/155.25 c | 269829 | 1964 8363 25316 | 96061 95112 67 | 0.000 % |
155.99/156.13 c | 271102 | 1964 8363 25316 | 95284 86650 67 | 0.000 % |
156.88/157.03 c | 272502 | 1964 8363 25316 | 95284 88050 67 | 0.000 % |
157.88/158.02 c | 274044 | 1964 8363 25316 | 95284 89592 67 | 0.000 % |
159.08/159.20 c | 275739 | 1964 8363 25316 | 95284 91287 67 | 0.000 % |
160.28/160.46 c | 277603 | 1964 8363 25316 | 95284 93151 67 | 0.000 % |
161.68/161.83 c | 279655 | 1964 8363 25316 | 95284 95203 67 | 0.000 % |
163.28/163.43 c | 281911 | 1964 8363 25316 | 2147483647 97459 67 | 0.000 % |
164.98/165.12 c | 284390 | 1964 8363 25316 | 2147483647 99938 67 | 0.000 % |
166.99/167.15 c | 287115 | 1964 8363 25316 | 2147483647 102663 67 | 0.000 % |
167.09/167.24 c | 287217 | 1964 8363 25316 | 2147483647 102765 67 | 0.000 % |
167.18/167.33 c | 287328 | 1964 8363 25316 | 2147483647 102876 67 | 0.000 % |
167.28/167.43 c | 287451 | 1964 8363 25316 | 2147483647 102999 67 | 0.000 % |
167.38/167.55 c | 287585 | 1964 8363 25316 | 2147483647 103133 67 | 0.000 % |
167.48/167.68 c | 287732 | 1964 8363 25316 | 2147483647 103280 67 | 0.000 % |
167.68/167.81 c | 287896 | 1964 8363 25316 | 2147483647 103444 67 | 0.000 % |
167.78/167.99 c | 288074 | 1964 8363 25316 | 2147483647 103622 67 | 0.000 % |
167.98/168.17 c | 288267 | 1964 8363 25316 | 2147483647 103815 67 | 0.000 % |
168.18/168.33 c | 288479 | 1964 8363 25316 | 2147483647 104027 67 | 0.000 % |
168.38/168.52 c | 288712 | 1964 8363 25316 | 2147483647 104260 67 | 0.000 % |
168.58/168.73 c | 288968 | 1964 8363 25316 | 2147483647 104516 67 | 0.000 % |
168.78/168.96 c | 289250 | 1964 8363 25316 | 2147483647 104798 67 | 0.000 % |
169.08/169.23 c | 289559 | 1964 8363 25316 | 2147483647 105107 67 | 0.000 % |
169.38/169.52 c | 289898 | 1964 8363 25316 | 2147483647 105446 67 | 0.000 % |
169.68/169.85 c | 290270 | 1964 8363 25316 | 105548 105818 67 | 0.000 % |
170.08/170.23 c | 290680 | 1964 8363 25316 | 105548 91863 67 | 0.000 % |
170.38/170.53 c | 291129 | 1964 8363 25316 | 105548 92312 67 | 0.000 % |
170.68/170.89 c | 291622 | 1964 8363 25316 | 105548 92805 67 | 0.000 % |
171.08/171.29 c | 292166 | 1964 8363 25316 | 105548 93349 67 | 0.000 % |
171.58/171.74 c | 292762 | 1964 8363 25316 | 105548 93945 67 | 0.000 % |
172.08/172.25 c | 293417 | 1964 8363 25316 | 105548 94600 67 | 0.000 % |
172.58/172.75 c | 294137 | 1964 8363 25316 | 105548 95320 67 | 0.000 % |
173.18/173.33 c | 294929 | 1964 8363 25316 | 105548 96112 67 | 0.000 % |
173.88/174.00 c | 295802 | 1964 8363 25316 | 105548 96985 67 | 0.000 % |
174.58/174.76 c | 296761 | 1964 8363 25316 | 105548 97944 67 | 0.000 % |
175.38/175.54 c | 297816 | 1964 8363 25316 | 105548 98999 68 | 0.000 % |
176.18/176.40 c | 298975 | 1964 8363 25316 | 105548 100158 68 | 0.000 % |
177.17/177.38 c | 300251 | 1964 8363 25316 | 101183 101434 68 | 0.000 % |
178.17/178.39 c | 301651 | 1964 8363 25316 | 101183 89372 67 | 0.000 % |
179.27/179.48 c | 303193 | 1964 8363 25316 | 101183 90914 67 | 0.000 % |
180.47/180.64 c | 304887 | 1964 8363 25316 | 101183 92608 67 | 0.000 % |
181.77/181.99 c | 306752 | 1964 8363 25316 | 101183 94473 68 | 0.000 % |
183.27/183.43 c | 308803 | 1964 8363 25316 | 101183 96524 68 | 0.000 % |
184.77/184.94 c | 311057 | 1964 8363 25316 | 97721 87599 68 | 0.000 % |
186.47/186.65 c | 313538 | 1964 8363 25316 | 97721 90080 68 | 0.000 % |
188.37/188.54 c | 316265 | 1964 8363 25316 | 97721 92807 68 | 0.000 % |
190.47/190.68 c | 319262 | 1964 8363 25316 | 97721 95804 68 | 0.000 % |
190.57/190.76 c | 319362 | 1964 8363 25316 | 97721 95904 68 | 0.000 % |
190.67/190.86 c | 319475 | 1964 8363 25316 | 97721 96017 68 | 0.000 % |
190.77/190.97 c | 319596 | 1964 8363 25316 | 97721 96138 68 | 0.000 % |
190.97/191.11 c | 319731 | 1964 8363 25316 | 97721 96273 68 | 0.000 % |
191.07/191.23 c | 319877 | 1964 8363 25316 | 97721 96419 68 | 0.000 % |
191.17/191.36 c | 320037 | 1964 8363 25316 | 96544 96579 68 | 0.000 % |
191.47/191.61 c | 320213 | 1964 8363 25316 | 96544 84965 68 | 0.000 % |
191.57/191.73 c | 320406 | 1964 8363 25316 | 96544 85158 68 | 0.000 % |
191.67/191.88 c | 320620 | 1964 8363 25316 | 96544 85372 68 | 0.000 % |
191.87/192.05 c | 320854 | 1964 8363 25316 | 96544 85606 68 | 0.000 % |
192.07/192.23 c | 321110 | 1964 8363 25316 | 96544 85862 68 | 0.000 % |
192.27/192.41 c | 321394 | 1964 8363 25316 | 96544 86146 68 | 0.000 % |
192.47/192.61 c | 321704 | 1964 8363 25316 | 96544 86456 68 | 0.000 % |
192.67/192.82 c | 322043 | 1964 8363 25316 | 96544 86795 68 | 0.000 % |
192.97/193.11 c | 322417 | 1964 8363 25316 | 96544 87169 68 | 0.000 % |
193.17/193.39 c | 322827 | 1964 8363 25316 | 96544 87579 68 | 0.000 % |
193.57/193.70 c | 323279 | 1964 8363 25316 | 96544 88031 68 | 0.000 % |
193.87/194.08 c | 323772 | 1964 8363 25316 | 96544 88524 68 | 0.000 % |
194.27/194.46 c | 324314 | 1964 8363 25316 | 96544 89066 68 | 0.000 % |
194.67/194.86 c | 324910 | 1964 8363 25316 | 96544 89662 68 | 0.000 % |
195.27/195.40 c | 325565 | 1964 8363 25316 | 96544 90317 68 | 0.000 % |
195.77/195.91 c | 326288 | 1964 8363 25316 | 96544 91040 68 | 0.000 % |
196.27/196.45 c | 327081 | 1964 8363 25316 | 96544 91833 68 | 0.000 % |
196.86/197.08 c | 327953 | 1964 8363 25316 | 96544 92705 68 | 0.000 % |
197.56/197.74 c | 328911 | 1964 8363 25316 | 96544 93663 68 | 0.000 % |
198.26/198.43 c | 329965 | 1964 8363 25316 | 96544 94717 68 | 0.000 % |
199.06/199.22 c | 331123 | 1964 8363 25316 | 94753 85213 68 | 0.000 % |
199.97/200.11 c | 332396 | 1964 8363 25316 | 94753 86486 68 | 0.000 % |
200.86/201.01 c | 333798 | 1964 8363 25316 | 94753 87888 68 | 0.000 % |
201.86/202.03 c | 335341 | 1964 8363 25316 | 94753 89431 68 | 0.000 % |
202.96/203.16 c | 337035 | 1964 8363 25316 | 94753 91125 68 | 0.000 % |
204.26/204.41 c | 338898 | 1964 8363 25316 | 94753 92988 68 | 0.000 % |
205.76/205.90 c | 340947 | 1964 8363 25316 | 94090 85043 67 | 0.000 % |
207.16/207.35 c | 343200 | 1964 8363 25316 | 94090 87296 68 | 0.000 % |
208.77/208.93 c | 345678 | 1964 8363 25316 | 94090 89774 68 | 0.000 % |
210.56/210.71 c | 348405 | 1964 8363 25316 | 94090 92501 68 | 0.000 % |
212.56/212.76 c | 351402 | 1964 8363 25316 | 2147483647 95498 68 | 0.000 % |
214.96/215.11 c | 354700 | 1964 8363 25316 | 2147483647 98796 68 | 0.000 % |
214.96/215.19 c | 354803 | 1964 8363 25316 | 2147483647 98899 68 | 0.000 % |
215.06/215.29 c | 354914 | 1964 8363 25316 | 2147483647 99010 68 | 0.000 % |
215.26/215.41 c | 355035 | 1964 8363 25316 | 2147483647 99131 68 | 0.000 % |
215.36/215.54 c | 355168 | 1964 8363 25316 | 2147483647 99264 68 | 0.000 % |
215.46/215.66 c | 355314 | 1964 8363 25316 | 2147483647 99410 68 | 0.000 % |
215.56/215.78 c | 355476 | 1964 8363 25316 | 2147483647 99572 68 | 0.000 % |
215.76/215.94 c | 355652 | 1964 8363 25316 | 2147483647 99748 68 | 0.000 % |
215.96/216.11 c | 355846 | 1964 8363 25316 | 2147483647 99942 68 | 0.000 % |
216.06/216.28 c | 356058 | 1964 8363 25316 | 2147483647 100154 68 | 0.000 % |
216.26/216.49 c | 356291 | 1964 8363 25316 | 2147483647 100387 68 | 0.000 % |
216.46/216.69 c | 356547 | 1964 8363 25316 | 2147483647 100643 68 | 0.000 % |
216.76/216.95 c | 356830 | 1964 8363 25316 | 2147483647 100926 68 | 0.000 % |
217.06/217.20 c | 357139 | 1964 8363 25316 | 2147483647 101235 68 | 0.000 % |
217.26/217.49 c | 357480 | 1964 8363 25316 | 2147483647 101576 68 | 0.000 % |
217.56/217.77 c | 357852 | 1964 8363 25316 | 2147483647 101948 68 | 0.000 % |
217.86/218.08 c | 358262 | 1964 8363 25316 | 2147483647 102358 68 | 0.000 % |
218.26/218.46 c | 358711 | 1964 8363 25316 | 2147483647 102807 68 | 0.000 % |
218.66/218.86 c | 359204 | 1964 8363 25316 | 2147483647 103300 68 | 0.000 % |
219.06/219.26 c | 359746 | 1964 8363 25316 | 2147483647 103842 68 | 0.000 % |
219.55/219.78 c | 360342 | 1964 8363 25316 | 104096 91029 68 | 0.000 % |
220.05/220.21 c | 360997 | 1964 8363 25316 | 104096 91684 68 | 0.000 % |
220.55/220.71 c | 361717 | 1964 8363 25316 | 104096 92404 68 | 0.000 % |
221.06/221.28 c | 362509 | 1964 8363 25316 | 104096 93196 68 | 0.000 % |
221.76/221.95 c | 363383 | 1964 8363 25316 | 104096 94070 68 | 0.000 % |
222.45/222.67 c | 364342 | 1964 8363 25316 | 104096 95029 68 | 0.000 % |
223.16/223.38 c | 365397 | 1964 8363 25316 | 104096 96084 68 | 0.000 % |
223.95/224.16 c | 366555 | 1964 8363 25316 | 104096 97242 68 | 0.000 % |
224.85/225.09 c | 367832 | 1964 8363 25316 | 104096 98519 68 | 0.000 % |
225.95/226.13 c | 369233 | 1964 8363 25316 | 104096 99920 68 | 0.000 % |
227.05/227.29 c | 370773 | 1964 8363 25316 | 100687 88758 67 | 0.000 % |
228.15/228.34 c | 372468 | 1964 8363 25316 | 100687 90453 67 | 0.000 % |
229.35/229.57 c | 374332 | 1964 8363 25316 | 100687 92317 68 | 0.000 % |
230.65/230.86 c | 376383 | 1964 8363 25316 | 100687 94368 68 | 0.000 % |
232.35/232.51 c | 378637 | 1964 8363 25316 | 100687 96622 68 | 0.000 % |
233.95/234.11 c | 381115 | 1964 8363 25316 | 2147483647 99100 68 | 0.000 % |
235.85/236.06 c | 383841 | 1964 8363 25316 | 2147483647 101826 68 | 0.000 % |
238.06/238.25 c | 386840 | 1964 8363 25316 | 2147483647 104825 68 | 0.000 % |
240.76/240.93 c | 390136 | 1964 8363 25316 | 107986 108121 68 | 0.000 % |
243.35/243.59 c | 393761 | 1964 8363 25316 | 107986 97259 68 | 0.000 % |
243.45/243.66 c | 393861 | 1964 8363 25316 | 107986 97359 68 | 0.000 % |
243.55/243.74 c | 393971 | 1964 8363 25316 | 107986 97469 68 | 0.000 % |
243.65/243.86 c | 394092 | 1964 8363 25316 | 107986 97590 68 | 0.000 % |
243.75/243.98 c | 394226 | 1964 8363 25316 | 107986 97724 68 | 0.000 % |
243.85/244.10 c | 394372 | 1964 8363 25316 | 107986 97870 68 | 0.000 % |
244.06/244.23 c | 394533 | 1964 8363 25316 | 107986 98031 68 | 0.000 % |
244.25/244.41 c | 394709 | 1964 8363 25316 | 107986 98207 68 | 0.000 % |
244.35/244.57 c | 394903 | 1964 8363 25316 | 107986 98401 68 | 0.000 % |
244.55/244.75 c | 395115 | 1964 8363 25316 | 107986 98613 68 | 0.000 % |
244.75/244.96 c | 395349 | 1964 8363 25316 | 107986 98847 68 | 0.000 % |
244.95/245.18 c | 395605 | 1964 8363 25316 | 107986 99103 68 | 0.000 % |
245.25/245.41 c | 395886 | 1964 8363 25316 | 107986 99384 68 | 0.000 % |
245.45/245.65 c | 396195 | 1964 8363 25316 | 107986 99693 68 | 0.000 % |
245.75/245.94 c | 396535 | 1964 8363 25316 | 107986 100033 68 | 0.000 % |
246.05/246.24 c | 396909 | 1964 8363 25316 | 107986 100407 68 | 0.000 % |
246.35/246.58 c | 397318 | 1964 8363 25316 | 107986 100816 68 | 0.000 % |
246.75/246.95 c | 397769 | 1964 8363 25316 | 107986 101267 68 | 0.000 % |
247.15/247.35 c | 398263 | 1964 8363 25316 | 107986 101761 68 | 0.000 % |
247.55/247.72 c | 398805 | 1964 8363 25316 | 107986 102303 68 | 0.000 % |
247.95/248.18 c | 399401 | 1964 8363 25316 | 107986 102899 68 | 0.000 % |
248.55/248.72 c | 400060 | 1964 8363 25316 | 103498 103558 68 | 0.000 % |
249.05/249.28 c | 400780 | 1964 8363 25316 | 103498 89497 67 | 0.000 % |
249.65/249.86 c | 401572 | 1964 8363 25316 | 103498 90289 67 | 0.000 % |
250.25/250.46 c | 402443 | 1964 8363 25316 | 103498 91160 67 | 0.000 % |
250.85/251.05 c | 403403 | 1964 8363 25316 | 103498 92120 67 | 0.000 % |
251.55/251.79 c | 404458 | 1964 8363 25316 | 103498 93175 67 | 0.000 % |
252.35/252.54 c | 405616 | 1964 8363 25316 | 103498 94333 67 | 0.000 % |
253.24/253.41 c | 406889 | 1964 8363 25316 | 103498 95606 67 | 0.000 % |
254.14/254.39 c | 408291 | 1964 8363 25316 | 103498 97008 67 | 0.000 % |
255.35/255.51 c | 409832 | 1964 8363 25316 | 103498 98549 67 | 0.000 % |
256.54/256.71 c | 411527 | 1964 8363 25316 | 98718 89050 67 | 0.000 % |
257.74/257.95 c | 413392 | 1964 8363 25316 | 98718 90915 68 | 0.000 % |
259.04/259.29 c | 415441 | 1964 8363 25316 | 98718 92964 68 | 0.000 % |
260.55/260.72 c | 417695 | 1964 8363 25316 | 98718 95218 68 | 0.000 % |
262.14/262.38 c | 420173 | 1964 8363 25316 | 2147483647 97696 68 | 0.000 % |
264.04/264.26 c | 422898 | 1964 8363 25316 | 2147483647 100421 68 | 0.000 % |
266.05/266.28 c | 425895 | 1964 8363 25316 | 2147483647 103418 68 | 0.000 % |
268.64/268.82 c | 429193 | 1964 8363 25316 | 2147483647 106716 68 | 0.000 % |
271.34/271.54 c | 432818 | 1964 8363 25316 | 107525 97808 68 | 0.000 % |
274.34/274.59 c | 436805 | 1964 8363 25316 | 107525 101795 68 | 0.000 % |
274.44/274.69 c | 436905 | 1964 8363 25316 | 107525 101895 68 | 0.000 % |
274.54/274.78 c | 437016 | 1964 8363 25316 | 107525 102006 68 | 0.000 % |
274.64/274.88 c | 437137 | 1964 8363 25316 | 107525 102127 68 | 0.000 % |
274.74/274.99 c | 437271 | 1964 8363 25316 | 107525 102261 68 | 0.000 % |
274.94/275.13 c | 437418 | 1964 8363 25316 | 107525 102408 68 | 0.000 % |
275.04/275.26 c | 437578 | 1964 8363 25316 | 107525 102568 68 | 0.000 % |
275.24/275.40 c | 437756 | 1964 8363 25316 | 107525 102746 68 | 0.000 % |
275.34/275.57 c | 437949 | 1964 8363 25316 | 107525 102939 68 | 0.000 % |
275.54/275.74 c | 438161 | 1964 8363 25316 | 107525 103151 68 | 0.000 % |
275.74/275.94 c | 438395 | 1964 8363 25316 | 107525 103385 68 | 0.000 % |
275.94/276.17 c | 438652 | 1964 8363 25316 | 107525 103642 68 | 0.000 % |
276.24/276.43 c | 438934 | 1964 8363 25316 | 107525 103924 68 | 0.000 % |
276.44/276.69 c | 439244 | 1964 8363 25316 | 107525 104234 68 | 0.000 % |
276.74/276.99 c | 439583 | 1964 8363 25316 | 107525 104573 68 | 0.000 % |
277.14/277.33 c | 439955 | 1964 8363 25316 | 107525 104945 68 | 0.000 % |
277.54/277.71 c | 440364 | 1964 8363 25316 | 104990 90837 68 | 0.000 % |
277.83/278.02 c | 440814 | 1964 8363 25316 | 104990 91287 68 | 0.000 % |
278.14/278.38 c | 441308 | 1964 8363 25316 | 104990 91781 68 | 0.000 % |
278.53/278.74 c | 441850 | 1964 8363 25316 | 104990 92323 68 | 0.000 % |
278.93/279.18 c | 442447 | 1964 8363 25316 | 104990 92920 68 | 0.000 % |
279.43/279.67 c | 443104 | 1964 8363 25316 | 104990 93577 68 | 0.000 % |
279.93/280.13 c | 443827 | 1964 8363 25316 | 104990 94300 68 | 0.000 % |
280.53/280.73 c | 444621 | 1964 8363 25316 | 104990 95094 68 | 0.000 % |
281.13/281.33 c | 445492 | 1964 8363 25316 | 104990 95965 68 | 0.000 % |
281.83/282.04 c | 446452 | 1964 8363 25316 | 104990 96925 68 | 0.000 % |
282.54/282.79 c | 447506 | 1964 8363 25316 | 104990 97979 68 | 0.000 % |
283.43/283.61 c | 448664 | 1964 8363 25316 | 104990 99137 68 | 0.000 % |
284.23/284.47 c | 449939 | 1964 8363 25316 | 104990 100412 68 | 0.000 % |
285.23/285.45 c | 451340 | 1964 8363 25316 | 100473 89906 68 | 0.000 % |
286.13/286.39 c | 452880 | 1964 8363 25316 | 100473 91446 69 | 0.000 % |
287.33/287.52 c | 454576 | 1964 8363 25316 | 100473 93142 69 | 0.000 % |
288.63/288.83 c | 456439 | 1964 8363 25316 | 100473 95005 69 | 0.000 % |
290.13/290.35 c | 458491 | 1964 8363 25316 | 100473 97057 69 | 0.000 % |
291.83/292.00 c | 460744 | 1964 8363 25316 | 98567 88656 69 | 0.000 % |
293.43/293.68 c | 463223 | 1964 8363 25316 | 98567 91135 69 | 0.000 % |
295.23/295.44 c | 465948 | 1964 8363 25316 | 98567 93860 69 | 0.000 % |
297.32/297.56 c | 468949 | 1964 8363 25316 | 98567 96861 69 | 0.000 % |
299.72/299.98 c | 472245 | 1964 8363 25316 | 2147483647 100157 69 | 0.000 % |
302.33/302.58 c | 475870 | 1964 8363 25316 | 2147483647 103782 69 | 0.000 % |
305.42/305.63 c | 479857 | 1964 8363 25316 | 2147483647 107769 70 | 0.000 % |
308.62/308.85 c | 484243 | 1964 8363 25316 | 107912 98334 70 | 0.000 % |
308.72/308.94 c | 484343 | 1964 8363 25316 | 107912 98434 70 | 0.000 % |
308.82/309.03 c | 484454 | 1964 8363 25316 | 107912 98545 70 | 0.000 % |
308.92/309.13 c | 484576 | 1964 8363 25316 | 107912 98667 70 | 0.000 % |
309.02/309.27 c | 484710 | 1964 8363 25316 | 107912 98801 70 | 0.000 % |
309.22/309.41 c | 484857 | 1964 8363 25316 | 107912 98948 70 | 0.000 % |
309.32/309.55 c | 485017 | 1964 8363 25316 | 107912 99108 70 | 0.000 % |
309.52/309.71 c | 485195 | 1964 8363 25316 | 107912 99286 70 | 0.000 % |
309.62/309.86 c | 485390 | 1964 8363 25316 | 107912 99481 70 | 0.000 % |
309.82/310.02 c | 485602 | 1964 8363 25316 | 107912 99693 70 | 0.000 % |
310.02/310.22 c | 485835 | 1964 8363 25316 | 107912 99926 70 | 0.000 % |
310.22/310.41 c | 486094 | 1964 8363 25316 | 107912 100185 70 | 0.000 % |
310.42/310.64 c | 486376 | 1964 8363 25316 | 107912 100467 70 | 0.000 % |
310.62/310.88 c | 486686 | 1964 8363 25316 | 107912 100777 70 | 0.000 % |
310.92/311.12 c | 487025 | 1964 8363 25316 | 107912 101116 70 | 0.000 % |
311.21/311.41 c | 487398 | 1964 8363 25316 | 107912 101489 70 | 0.000 % |
311.51/311.73 c | 487807 | 1964 8363 25316 | 107912 101898 70 | 0.000 % |
311.81/312.09 c | 488256 | 1964 8363 25316 | 107912 102347 70 | 0.000 % |
312.31/312.51 c | 488750 | 1964 8363 25316 | 107912 102841 70 | 0.000 % |
312.71/312.93 c | 489292 | 1964 8363 25316 | 107912 103383 70 | 0.000 % |
313.22/313.43 c | 489888 | 1964 8363 25316 | 107912 103979 70 | 0.000 % |
313.71/313.98 c | 490543 | 1964 8363 25316 | 104091 90167 70 | 0.000 % |
314.32/314.57 c | 491263 | 1964 8363 25316 | 104091 90887 70 | 0.000 % |
314.91/315.12 c | 492057 | 1964 8363 25316 | 104091 91681 70 | 0.000 % |
315.52/315.77 c | 492929 | 1964 8363 25316 | 104091 92553 70 | 0.000 % |
316.21/316.46 c | 493887 | 1964 8363 25316 | 104091 93511 70 | 0.000 % |
316.91/317.16 c | 494941 | 1964 8363 25316 | 104091 94565 70 | 0.000 % |
317.81/318.00 c | 496099 | 1964 8363 25316 | 104091 95723 70 | 0.000 % |
318.61/318.87 c | 497375 | 1964 8363 25316 | 104091 96999 70 | 0.000 % |
319.71/319.95 c | 498775 | 1964 8363 25316 | 104091 98399 70 | 0.000 % |
320.92/321.16 c | 500315 | 1964 8363 25316 | 99624 87534 70 | 0.000 % |
322.01/322.22 c | 502009 | 1964 8363 25316 | 99624 89228 70 | 0.000 % |
323.31/323.57 c | 503874 | 1964 8363 25316 | 99624 91093 70 | 0.000 % |
324.81/325.06 c | 505924 | 1964 8363 25316 | 99624 93143 70 | 0.000 % |
326.31/326.54 c | 508177 | 1964 8363 25316 | 99624 95396 70 | 0.000 % |
328.21/328.41 c | 510655 | 1964 8363 25316 | 97219 86958 70 | 0.000 % |
329.91/330.19 c | 513381 | 1964 8363 25316 | 97219 89684 70 | 0.000 % |
332.01/332.26 c | 516379 | 1964 8363 25316 | 97219 92682 70 | 0.000 % |
334.31/334.56 c | 519678 | 1964 8363 25316 | 97219 95981 70 | 0.000 % |
336.81/337.01 c | 523304 | 1964 8363 25316 | 96303 89917 70 | 0.000 % |
339.51/339.80 c | 527291 | 1964 8363 25316 | 96303 93904 70 | 0.000 % |
342.70/342.96 c | 531678 | 1964 8363 25316 | 2147483647 88638 70 | 0.000 % |
346.00/346.20 c | 536502 | 1964 8363 25316 | 2147483647 93462 71 | 0.000 % |
346.10/346.30 c | 536602 | 1964 8363 25316 | 2147483647 93562 71 | 0.000 % |
346.10/346.40 c | 536712 | 1964 8363 25316 | 2147483647 93672 71 | 0.000 % |
346.31/346.50 c | 536833 | 1964 8363 25316 | 2147483647 93793 71 | 0.000 % |
346.40/346.62 c | 536966 | 1964 8363 25316 | 2147483647 93926 71 | 0.000 % |
346.50/346.74 c | 537113 | 1964 8363 25316 | 2147483647 94073 71 | 0.000 % |
346.60/346.85 c | 537277 | 1964 8363 25316 | 2147483647 94237 71 | 0.000 % |
346.70/346.99 c | 537454 | 1964 8363 25316 | 2147483647 94414 71 | 0.000 % |
346.90/347.15 c | 537649 | 1964 8363 25316 | 2147483647 94609 71 | 0.000 % |
347.00/347.30 c | 537861 | 1964 8363 25316 | 2147483647 94821 71 | 0.000 % |
347.20/347.49 c | 538094 | 1964 8363 25316 | 2147483647 95054 71 | 0.000 % |
347.50/347.70 c | 538351 | 1964 8363 25316 | 2147483647 95311 71 | 0.000 % |
347.70/347.92 c | 538633 | 1964 8363 25316 | 2147483647 95593 71 | 0.000 % |
347.90/348.17 c | 538945 | 1964 8363 25316 | 2147483647 95905 71 | 0.000 % |
348.20/348.41 c | 539284 | 1964 8363 25316 | 2147483647 96244 71 | 0.000 % |
348.40/348.68 c | 539656 | 1964 8363 25316 | 2147483647 96616 70 | 0.000 % |
348.70/348.98 c | 540065 | 1964 8363 25316 | 96960 97025 70 | 0.000 % |
349.10/349.36 c | 540514 | 1964 8363 25316 | 96960 87187 70 | 0.000 % |
349.50/349.72 c | 541009 | 1964 8363 25316 | 96960 87682 70 | 0.000 % |
349.80/350.09 c | 541552 | 1964 8363 25316 | 96960 88225 70 | 0.000 % |
350.20/350.46 c | 542149 | 1964 8363 25316 | 96960 88822 70 | 0.000 % |
350.60/350.90 c | 542806 | 1964 8363 25316 | 96960 89479 70 | 0.000 % |
351.10/351.37 c | 543526 | 1964 8363 25316 | 96960 90199 70 | 0.000 % |
351.70/351.93 c | 544318 | 1964 8363 25316 | 96960 90991 70 | 0.000 % |
352.30/352.59 c | 545190 | 1964 8363 25316 | 96960 91863 70 | 0.000 % |
353.00/353.22 c | 546148 | 1964 8363 25316 | 96960 92821 70 | 0.000 % |
353.70/353.99 c | 547202 | 1964 8363 25316 | 96960 93875 70 | 0.000 % |
354.50/354.79 c | 548360 | 1964 8363 25316 | 96960 95033 70 | 0.000 % |
355.40/355.62 c | 549635 | 1964 8363 25316 | 96960 96308 70 | 0.000 % |
356.40/356.65 c | 551038 | 1964 8363 25316 | 2147483647 97711 70 | 0.000 % |
357.60/357.83 c | 552581 | 1964 8363 25316 | 2147483647 99254 70 | 0.000 % |
358.90/359.17 c | 554276 | 1964 8363 25316 | 2147483647 100949 70 | 0.000 % |
360.40/360.63 c | 556139 | 1964 8363 25316 | 2147483647 102812 70 | 0.000 % |
361.90/362.17 c | 558188 | 1964 8363 25316 | 2147483647 104861 70 | 0.000 % |
363.70/363.96 c | 560444 | 1964 8363 25316 | 106673 92513 70 | 0.000 % |
365.30/365.54 c | 562922 | 1964 8363 25316 | 106673 94991 70 | 0.000 % |
367.00/367.30 c | 565647 | 1964 8363 25316 | 106673 97716 70 | 0.000 % |
369.30/369.56 c | 568644 | 1964 8363 25316 | 106673 100713 70 | 0.000 % |
371.60/371.88 c | 571940 | 1964 8363 25316 | 102074 90991 69 | 0.000 % |
374.20/374.42 c | 575568 | 1964 8363 25316 | 102074 94619 70 | 0.000 % |
377.10/377.33 c | 579555 | 1964 8363 25316 | 102074 98606 70 | 0.000 % |
380.10/380.35 c | 583940 | 1964 8363 25316 | 99051 90135 70 | 0.000 % |
383.50/383.70 c | 588764 | 1964 8363 25316 | 99051 94959 70 | 0.000 % |
387.39/387.61 c | 594069 | 1964 8363 25316 | 96196 89726 71 | 0.000 % |
387.49/387.70 c | 594172 | 1964 8363 25316 | 96196 89829 71 | 0.000 % |
387.49/387.79 c | 594283 | 1964 8363 25316 | 96196 89940 71 | 0.000 % |
387.59/387.89 c | 594406 | 1964 8363 25316 | 96196 90063 71 | 0.000 % |
387.79/388.00 c | 594540 | 1964 8363 25316 | 96196 90197 71 | 0.000 % |
387.89/388.14 c | 594686 | 1964 8363 25316 | 96196 90343 71 | 0.000 % |
388.00/388.28 c | 594847 | 1964 8363 25316 | 96196 90504 71 | 0.000 % |
388.19/388.40 c | 595023 | 1964 8363 25316 | 96196 90680 71 | 0.000 % |
388.29/388.55 c | 595216 | 1964 8363 25316 | 96196 90873 71 | 0.000 % |
388.49/388.71 c | 595428 | 1964 8363 25316 | 96196 91085 71 | 0.000 % |
388.59/388.89 c | 595661 | 1964 8363 25316 | 96196 91318 71 | 0.000 % |
388.79/389.08 c | 595917 | 1964 8363 25316 | 96196 91574 71 | 0.000 % |
388.99/389.27 c | 596198 | 1964 8363 25316 | 96196 91855 71 | 0.000 % |
389.29/389.50 c | 596507 | 1964 8363 25316 | 96196 92164 71 | 0.000 % |
389.49/389.79 c | 596846 | 1964 8363 25316 | 96196 92503 71 | 0.000 % |
389.79/390.08 c | 597219 | 1964 8363 25316 | 96196 92876 71 | 0.000 % |
390.19/390.42 c | 597629 | 1964 8363 25316 | 96196 93286 71 | 0.000 % |
390.49/390.73 c | 598078 | 1964 8363 25316 | 96196 93735 71 | 0.000 % |
390.89/391.10 c | 598571 | 1964 8363 25316 | 96196 94228 70 | 0.000 % |
391.19/391.50 c | 599114 | 1964 8363 25316 | 96196 94771 70 | 0.000 % |
391.69/391.92 c | 599712 | 1964 8363 25316 | 96196 95369 70 | 0.000 % |
392.19/392.48 c | 600369 | 1964 8363 25316 | 95659 84154 70 | 0.000 % |
392.69/392.96 c | 601090 | 1964 8363 25316 | 95659 84875 70 | 0.000 % |
393.29/393.51 c | 601884 | 1964 8363 25316 | 95659 85669 70 | 0.000 % |
393.79/394.05 c | 602756 | 1964 8363 25316 | 95659 86541 70 | 0.000 % |
394.49/394.70 c | 603714 | 1964 8363 25316 | 95659 87499 70 | 0.000 % |
395.09/395.39 c | 604767 | 1964 8363 25316 | 95659 88552 70 | 0.000 % |
395.99/396.24 c | 605925 | 1964 8363 25316 | 95659 89710 70 | 0.000 % |
396.89/397.15 c | 607199 | 1964 8363 25316 | 95659 90984 70 | 0.000 % |
397.89/398.18 c | 608600 | 1964 8363 25316 | 95659 92385 70 | 0.000 % |
399.09/399.31 c | 610140 | 1964 8363 25316 | 93788 93925 70 | 0.000 % |
400.29/400.51 c | 611834 | 1964 8363 25316 | 93788 86130 70 | 0.000 % |
401.49/401.73 c | 613697 | 1964 8363 25316 | 93788 87993 70 | 0.000 % |
402.89/403.16 c | 615747 | 1964 8363 25316 | 93788 90043 70 | 0.000 % |
404.39/404.69 c | 618002 | 1964 8363 25316 | 93788 92298 70 | 0.000 % |
406.19/406.44 c | 620480 | 1964 8363 25316 | 2147483647 85369 70 | 0.000 % |
407.89/408.16 c | 623205 | 1964 8363 25316 | 2147483647 88094 70 | 0.000 % |
409.89/410.19 c | 626202 | 1964 8363 25316 | 2147483647 91091 70 | 0.000 % |
412.09/412.37 c | 629500 | 1964 8363 25316 | 2147483647 94389 70 | 0.000 % |
414.58/414.84 c | 633126 | 1964 8363 25316 | 2147483647 98015 70 | 0.000 % |
417.38/417.63 c | 637114 | 1964 8363 25316 | 2147483647 102003 71 | 0.000 % |
420.68/420.91 c | 641500 | 1964 8363 25316 | 104889 94228 71 | 0.000 % |
424.08/424.38 c | 646324 | 1964 8363 25316 | 104889 99052 71 | 0.000 % |
428.08/428.39 c | 651631 | 1964 8363 25316 | 102729 89899 71 | 0.000 % |
432.28/432.57 c | 657466 | 1964 8363 25316 | 102729 95734 71 | 0.000 % |
432.38/432.65 c | 657567 | 1964 8363 25316 | 102729 95835 71 | 0.000 % |
432.48/432.77 c | 657678 | 1964 8363 25316 | 102729 95946 71 | 0.000 % |
432.58/432.87 c | 657799 | 1964 8363 25316 | 102729 96067 71 | 0.000 % |
432.68/432.98 c | 657933 | 1964 8363 25316 | 102729 96201 71 | 0.000 % |
432.88/433.12 c | 658080 | 1964 8363 25316 | 102729 96348 71 | 0.000 % |
432.98/433.24 c | 658240 | 1964 8363 25316 | 102729 96508 71 | 0.000 % |
433.08/433.39 c | 658416 | 1964 8363 25316 | 102729 96684 71 | 0.000 % |
433.28/433.56 c | 658609 | 1964 8363 25316 | 102729 96877 71 | 0.000 % |
433.48/433.72 c | 658821 | 1964 8363 25316 | 102729 97089 71 | 0.000 % |
433.68/433.93 c | 659055 | 1964 8363 25316 | 102729 97323 71 | 0.000 % |
433.88/434.17 c | 659311 | 1964 8363 25316 | 102729 97579 71 | 0.000 % |
434.08/434.39 c | 659592 | 1964 8363 25316 | 102729 97860 71 | 0.000 % |
434.38/434.62 c | 659901 | 1964 8363 25316 | 102729 98169 71 | 0.000 % |
434.68/434.95 c | 660241 | 1964 8363 25316 | 98270 84596 71 | 0.000 % |
434.98/435.22 c | 660616 | 1964 8363 25316 | 98270 84971 71 | 0.000 % |
435.18/435.50 c | 661025 | 1964 8363 25316 | 98270 85380 71 | 0.000 % |
435.58/435.82 c | 661474 | 1964 8363 25316 | 98270 85829 71 | 0.000 % |
435.88/436.16 c | 661967 | 1964 8363 25316 | 98270 86322 71 | 0.000 % |
436.28/436.52 c | 662509 | 1964 8363 25316 | 98270 86864 71 | 0.000 % |
436.68/436.97 c | 663105 | 1964 8363 25316 | 98270 87460 71 | 0.000 % |
437.18/437.41 c | 663760 | 1964 8363 25316 | 98270 88115 71 | 0.000 % |
437.68/437.90 c | 664480 | 1964 8363 25316 | 98270 88835 71 | 0.000 % |
438.18/438.41 c | 665272 | 1964 8363 25316 | 98270 89627 71 | 0.000 % |
438.68/438.99 c | 666143 | 1964 8363 25316 | 98270 90498 71 | 0.000 % |
439.38/439.63 c | 667101 | 1964 8363 25316 | 98270 91456 71 | 0.000 % |
440.08/440.32 c | 668155 | 1964 8363 25316 | 98270 92510 71 | 0.000 % |
440.78/441.07 c | 669313 | 1964 8363 25316 | 98270 93668 71 | 0.000 % |
441.77/442.00 c | 670586 | 1964 8363 25316 | 94356 84775 71 | 0.000 % |
442.67/442.93 c | 671990 | 1964 8363 25316 | 94356 86179 71 | 0.000 % |
443.67/443.95 c | 673531 | 1964 8363 25316 | 94356 87720 71 | 0.000 % |
444.77/445.09 c | 675225 | 1964 8363 25316 | 94356 89414 71 | 0.000 % |
446.07/446.32 c | 677088 | 1964 8363 25316 | 94356 91277 70 | 0.000 % |
447.48/447.71 c | 679139 | 1964 8363 25316 | 94356 93328 70 | 0.000 % |
449.07/449.34 c | 681393 | 1964 8363 25316 | 94189 85364 70 | 0.000 % |
450.67/450.95 c | 683872 | 1964 8363 25316 | 94189 87843 70 | 0.000 % |
452.47/452.73 c | 686598 | 1964 8363 25316 | 94189 90569 70 | 0.000 % |
454.57/454.81 c | 689596 | 1964 8363 25316 | 94189 93567 70 | 0.000 % |
457.07/457.34 c | 692892 | 1964 8363 25316 | 2147483647 96863 70 | 0.000 % |
459.47/459.80 c | 696518 | 1964 8363 25316 | 2147483647 100489 70 | 0.000 % |
462.37/462.61 c | 700505 | 1964 8363 25316 | 103973 91413 71 | 0.000 % |
465.37/465.69 c | 704890 | 1964 8363 25316 | 103973 95798 71 | 0.000 % |
468.77/469.04 c | 709713 | 1964 8363 25316 | 103973 100621 71 | 0.000 % |
472.67/472.98 c | 715019 | 1964 8363 25316 | 100908 92315 71 | 0.000 % |
476.66/476.96 c | 720854 | 1964 8363 25316 | 97297 86038 71 | 0.000 % |
480.96/481.23 c | 727273 | 1964 8363 25316 | 97297 92457 71 | 0.000 % |
481.06/481.30 c | 727373 | 1964 8363 25316 | 97297 92557 71 | 0.000 % |
481.06/481.39 c | 727486 | 1964 8363 25316 | 97297 92670 71 | 0.000 % |
481.16/481.50 c | 727607 | 1964 8363 25316 | 97297 92791 71 | 0.000 % |
481.26/481.59 c | 727740 | 1964 8363 25316 | 97297 92924 71 | 0.000 % |
481.46/481.72 c | 727889 | 1964 8363 25316 | 97297 93073 71 | 0.000 % |
481.56/481.84 c | 728050 | 1964 8363 25316 | 97297 93234 71 | 0.000 % |
481.76/482.01 c | 728226 | 1964 8363 25316 | 97297 93410 71 | 0.000 % |
481.86/482.16 c | 728420 | 1964 8363 25316 | 97297 93604 71 | 0.000 % |
482.06/482.31 c | 728635 | 1964 8363 25316 | 97297 93819 71 | 0.000 % |
482.16/482.47 c | 728868 | 1964 8363 25316 | 97297 94052 71 | 0.000 % |
482.36/482.67 c | 729128 | 1964 8363 25316 | 97297 94312 71 | 0.000 % |
482.56/482.88 c | 729409 | 1964 8363 25316 | 97297 94593 71 | 0.000 % |
482.86/483.13 c | 729719 | 1964 8363 25316 | 97297 94903 71 | 0.000 % |
483.06/483.39 c | 730058 | 1964 8363 25316 | 95185 95242 71 | 0.000 % |
483.46/483.72 c | 730430 | 1964 8363 25316 | 95185 84692 70 | 0.000 % |
483.76/484.00 c | 730839 | 1964 8363 25316 | 95185 85101 70 | 0.000 % |
484.06/484.31 c | 731289 | 1964 8363 25316 | 95185 85551 70 | 0.000 % |
484.36/484.63 c | 731782 | 1964 8363 25316 | 95185 86044 70 | 0.000 % |
484.76/485.06 c | 732327 | 1964 8363 25316 | 95185 86589 70 | 0.000 % |
485.16/485.48 c | 732924 | 1964 8363 25316 | 95185 87186 70 | 0.000 % |
485.66/485.92 c | 733580 | 1964 8363 25316 | 95185 87842 70 | 0.000 % |
486.16/486.43 c | 734300 | 1964 8363 25316 | 95185 88562 70 | 0.000 % |
486.76/487.00 c | 735092 | 1964 8363 25316 | 95185 89354 70 | 0.000 % |
487.36/487.67 c | 735963 | 1964 8363 25316 | 95185 90225 70 | 0.000 % |
488.06/488.34 c | 736923 | 1964 8363 25316 | 95185 91185 70 | 0.000 % |
488.76/489.04 c | 737977 | 1964 8363 25316 | 95185 92239 70 | 0.000 % |
489.56/489.86 c | 739135 | 1964 8363 25316 | 95185 93397 70 | 0.000 % |
490.56/490.86 c | 740408 | 1964 8363 25316 | 94265 83645 70 | 0.000 % |
491.46/491.74 c | 741808 | 1964 8363 25316 | 94265 85045 70 | 0.000 % |
492.46/492.78 c | 743349 | 1964 8363 25316 | 94265 86586 70 | 0.000 % |
493.66/493.94 c | 745043 | 1964 8363 25316 | 94265 88280 70 | 0.000 % |
495.05/495.30 c | 746906 | 1964 8363 25316 | 94265 90143 70 | 0.000 % |
496.45/496.76 c | 748957 | 1964 8363 25316 | 94265 92194 70 | 0.000 % |
498.06/498.31 c | 751210 | 1964 8363 25316 | 2147483647 94447 70 | 0.000 % |
499.85/500.11 c | 753688 | 1964 8363 25316 | 2147483647 96925 70 | 0.000 % |
501.65/501.98 c | 756413 | 1964 8363 25316 | 2147483647 99650 70 | 0.000 % |
503.85/504.11 c | 759410 | 1964 8363 25316 | 2147483647 102647 70 | 0.000 % |
506.15/506.44 c | 762706 | 1964 8363 25316 | 103240 92875 70 | 0.000 % |
508.65/508.98 c | 766331 | 1964 8363 25316 | 103240 96500 71 | 0.000 % |
511.75/512.01 c | 770318 | 1964 8363 25316 | 100172 88087 71 | 0.000 % |
514.75/515.09 c | 774704 | 1964 8363 25316 | 100172 92473 71 | 0.000 % |
518.35/518.61 c | 779528 | 1964 8363 25316 | 100172 97297 71 | 0.000 % |
522.04/522.33 c | 784834 | 1964 8363 25316 | 97770 90391 72 | 0.000 % |
526.04/526.37 c | 790669 | 1964 8363 25316 | 95560 84500 71 | 0.000 % |
530.34/530.69 c | 797089 | 1964 8363 25316 | 95560 90920 72 | 0.000 % |
535.24/535.52 c | 804148 | 1964 8363 25316 | 93833 87131 72 | 0.000 % |
535.34/535.60 c | 804248 | 1964 8363 25316 | 93833 87231 72 | 0.000 % |
535.34/535.69 c | 804358 | 1964 8363 25316 | 93833 87341 72 | 0.000 % |
535.44/535.76 c | 804483 | 1964 8363 25316 | 93833 87466 72 | 0.000 % |
535.54/535.86 c | 804616 | 1964 8363 25316 | 93833 87599 72 | 0.000 % |
535.64/535.98 c | 804762 | 1964 8363 25316 | 93833 87745 72 | 0.000 % |
535.74/536.08 c | 804922 | 1964 8363 25316 | 93833 87905 72 | 0.000 % |
535.94/536.21 c | 805100 | 1964 8363 25316 | 93833 88083 72 | 0.000 % |
536.04/536.37 c | 805296 | 1964 8363 25316 | 93833 88279 72 | 0.000 % |
536.24/536.51 c | 805511 | 1964 8363 25316 | 93833 88494 72 | 0.000 % |
536.34/536.70 c | 805744 | 1964 8363 25316 | 93833 88727 72 | 0.000 % |
536.64/536.90 c | 806000 | 1964 8363 25316 | 93833 88983 72 | 0.000 % |
536.84/537.13 c | 806281 | 1964 8363 25316 | 93833 89264 72 | 0.000 % |
537.04/537.35 c | 806590 | 1964 8363 25316 | 93833 89573 72 | 0.000 % |
537.24/537.60 c | 806929 | 1964 8363 25316 | 93833 89912 72 | 0.000 % |
537.54/537.85 c | 807302 | 1964 8363 25316 | 93833 90285 72 | 0.000 % |
537.84/538.14 c | 807711 | 1964 8363 25316 | 93833 90694 72 | 0.000 % |
538.14/538.50 c | 808161 | 1964 8363 25316 | 93833 91144 72 | 0.000 % |
538.44/538.79 c | 808656 | 1964 8363 25316 | 93833 91639 72 | 0.000 % |
538.83/539.16 c | 809199 | 1964 8363 25316 | 93833 92182 72 | 0.000 % |
539.23/539.56 c | 809795 | 1964 8363 25316 | 93833 92778 72 | 0.000 % |
539.74/540.05 c | 810451 | 1964 8363 25316 | 92983 83253 72 | 0.000 % |
540.23/540.50 c | 811173 | 1964 8363 25316 | 92983 83975 72 | 0.000 % |
540.63/540.98 c | 811967 | 1964 8363 25316 | 92983 84769 72 | 0.000 % |
541.23/541.52 c | 812839 | 1964 8363 25316 | 92983 85641 72 | 0.000 % |
541.83/542.12 c | 813797 | 1964 8363 25316 | 92983 86599 72 | 0.000 % |
542.53/542.83 c | 814853 | 1964 8363 25316 | 92983 87655 72 | 0.000 % |
543.43/543.71 c | 816011 | 1964 8363 25316 | 92983 88813 72 | 0.000 % |
544.33/544.60 c | 817284 | 1964 8363 25316 | 92983 90086 72 | 0.000 % |
545.24/545.52 c | 818684 | 1964 8363 25316 | 92983 91486 72 | 0.000 % |
546.33/546.62 c | 820227 | 1964 8363 25316 | 2147483647 93029 72 | 0.000 % |
547.43/547.72 c | 821922 | 1964 8363 25316 | 2147483647 94724 71 | 0.000 % |
548.83/549.11 c | 823787 | 1964 8363 25316 | 2147483647 96589 71 | 0.000 % |
550.23/550.56 c | 825837 | 1964 8363 25316 | 2147483647 98639 71 | 0.000 % |
551.73/552.07 c | 828093 | 1964 8363 25316 | 2147483647 100895 71 | 0.000 % |
553.73/554.09 c | 830571 | 1964 8363 25316 | 102804 90465 72 | 0.000 % |
555.63/555.94 c | 833296 | 1964 8363 25316 | 102804 93190 72 | 0.000 % |
557.73/558.08 c | 836295 | 1964 8363 25316 | 102804 96189 72 | 0.000 % |
560.03/560.39 c | 839592 | 1964 8363 25316 | 102804 99486 72 | 0.000 % |
562.53/562.88 c | 843217 | 1964 8363 25316 | 99894 91314 72 | 0.000 % |
565.33/565.69 c | 847205 | 1964 8363 25316 | 99894 95302 72 | 0.000 % |
568.44/568.73 c | 851590 | 1964 8363 25316 | 98098 88057 72 | 0.000 % |
571.64/571.93 c | 856414 | 1964 8363 25316 | 98098 92881 72 | 0.000 % |
575.23/575.59 c | 861722 | 1964 8363 25316 | 96467 87045 72 | 0.000 % |
579.43/579.72 c | 867559 | 1964 8363 25316 | 96467 92882 72 | 0.000 % |
583.83/584.17 c | 873978 | 1964 8363 25316 | 95323 88528 71 | 0.000 % |
588.53/588.87 c | 881037 | 1964 8363 25316 | 94550 85313 71 | 0.000 % |
593.82/594.10 c | 888802 | 1964 8363 25316 | 94550 93078 71 | 0.000 % |
593.82/594.18 c | 888903 | 1964 8363 25316 | 94550 93179 71 | 0.000 % |
593.92/594.28 c | 889014 | 1964 8363 25316 | 94550 93290 71 | 0.000 % |
594.02/594.38 c | 889135 | 1964 8363 25316 | 94550 93411 71 | 0.000 % |
594.12/594.50 c | 889268 | 1964 8363 25316 | 94550 93544 71 | 0.000 % |
594.32/594.61 c | 889416 | 1964 8363 25316 | 94550 93692 71 | 0.000 % |
594.42/594.74 c | 889577 | 1964 8363 25316 | 94550 93853 71 | 0.000 % |
594.62/594.91 c | 889756 | 1964 8363 25316 | 94550 94032 71 | 0.000 % |
594.73/595.09 c | 889951 | 1964 8363 25316 | 94550 94227 71 | 0.000 % |
594.92/595.23 c | 890164 | 1964 8363 25316 | 94278 94440 71 | 0.000 % |
595.12/595.44 c | 890397 | 1964 8363 25316 | 94278 83138 70 | 0.000 % |
595.32/595.61 c | 890654 | 1964 8363 25316 | 94278 83395 70 | 0.000 % |
595.42/595.78 c | 890935 | 1964 8363 25316 | 94278 83676 70 | 0.000 % |
595.72/596.02 c | 891244 | 1964 8363 25316 | 94278 83985 70 | 0.000 % |
595.93/596.25 c | 891584 | 1964 8363 25316 | 94278 84325 70 | 0.000 % |
596.22/596.52 c | 891957 | 1964 8363 25316 | 94278 84698 70 | 0.000 % |
596.52/596.80 c | 892367 | 1964 8363 25316 | 94278 85108 70 | 0.000 % |
596.72/597.08 c | 892816 | 1964 8363 25316 | 94278 85557 70 | 0.000 % |
597.12/597.41 c | 893310 | 1964 8363 25316 | 94278 86051 70 | 0.000 % |
597.42/597.77 c | 893857 | 1964 8363 25316 | 94278 86598 70 | 0.000 % |
597.82/598.19 c | 894453 | 1964 8363 25316 | 94278 87194 70 | 0.000 % |
598.32/598.61 c | 895110 | 1964 8363 25316 | 94278 87851 70 | 0.000 % |
598.72/599.07 c | 895830 | 1964 8363 25316 | 94278 88571 70 | 0.000 % |
599.32/599.63 c | 896623 | 1964 8363 25316 | 94278 89364 70 | 0.000 % |
599.92/600.25 c | 897494 | 1964 8363 25316 | 94278 90235 70 | 0.000 % |
600.62/600.93 c | 898453 | 1964 8363 25316 | 94278 91194 70 | 0.000 % |
601.32/601.61 c | 899506 | 1964 8363 25316 | 94278 92247 70 | 0.000 % |
602.22/602.56 c | 900664 | 1964 8363 25316 | 92742 83443 70 | 0.000 % |
603.02/603.31 c | 901937 | 1964 8363 25316 | 92742 84716 70 | 0.000 % |
603.82/604.18 c | 903341 | 1964 8363 25316 | 92742 86120 70 | 0.000 % |
604.82/605.18 c | 904882 | 1964 8363 25316 | 92742 87661 70 | 0.000 % |
606.02/606.34 c | 906577 | 1964 8363 25316 | 92742 89356 71 | 0.000 % |
607.32/607.67 c | 908442 | 1964 8363 25316 | 92742 91221 71 | 0.000 % |
608.72/609.02 c | 910492 | 1964 8363 25316 | 2147483647 93271 71 | 0.000 % |
610.22/610.54 c | 912746 | 1964 8363 25316 | 2147483647 95525 71 | 0.000 % |
612.12/612.46 c | 915225 | 1964 8363 25316 | 2147483647 98004 71 | 0.000 % |
614.12/614.40 c | 917951 | 1964 8363 25316 | 2147483647 100730 71 | 0.000 % |
616.32/616.67 c | 920949 | 1964 8363 25316 | 102781 92421 71 | 0.000 % |
618.51/618.83 c | 924245 | 1964 8363 25316 | 102781 95717 71 | 0.000 % |
620.81/621.16 c | 927872 | 1964 8363 25316 | 102781 99344 71 | 0.000 % |
623.61/623.93 c | 931859 | 1964 8363 25316 | 101473 92520 70 | 0.000 % |
626.51/626.80 c | 936245 | 1964 8363 25316 | 101473 96906 70 | 0.000 % |
629.92/630.25 c | 941068 | 1964 8363 25316 | 100661 91152 70 | 0.000 % |
633.41/633.79 c | 946375 | 1964 8363 25316 | 100661 96459 70 | 0.000 % |
637.71/638.00 c | 952210 | 1964 8363 25316 | 100085 89034 70 | 0.000 % |
641.91/642.29 c | 958629 | 1964 8363 25316 | 100085 95453 70 | 0.000 % |
647.01/647.37 c | 965689 | 1964 8363 25316 | 96824 90623 71 | 0.000 % |
652.10/652.49 c | 973454 | 1964 8363 25316 | 94936 87405 71 | 0.000 % |
658.10/658.49 c | 981994 | 1964 8363 25316 | 93952 85072 72 | 0.000 % |
658.20/658.58 c | 982095 | 1964 8363 25316 | 93952 85173 72 | 0.000 % |
658.30/658.67 c | 982206 | 1964 8363 25316 | 93952 85284 72 | 0.000 % |
658.40/658.77 c | 982327 | 1964 8363 25316 | 93952 85405 72 | 0.000 % |
658.51/658.86 c | 982461 | 1964 8363 25316 | 93952 85539 72 | 0.000 % |
658.60/658.98 c | 982607 | 1964 8363 25316 | 93952 85685 72 | 0.000 % |
658.80/659.10 c | 982768 | 1964 8363 25316 | 93952 85846 72 | 0.000 % |
658.90/659.24 c | 982946 | 1964 8363 25316 | 93952 86024 72 | 0.000 % |
659.00/659.38 c | 983139 | 1964 8363 25316 | 93952 86217 72 | 0.000 % |
659.20/659.51 c | 983353 | 1964 8363 25316 | 93952 86431 72 | 0.000 % |
659.30/659.69 c | 983586 | 1964 8363 25316 | 93952 86664 72 | 0.000 % |
659.50/659.88 c | 983842 | 1964 8363 25316 | 93952 86920 72 | 0.000 % |
659.70/660.09 c | 984125 | 1964 8363 25316 | 93952 87203 72 | 0.000 % |
660.00/660.31 c | 984434 | 1964 8363 25316 | 93952 87512 72 | 0.000 % |
660.20/660.58 c | 984773 | 1964 8363 25316 | 93952 87851 72 | 0.000 % |
660.50/660.86 c | 985146 | 1964 8363 25316 | 93952 88224 72 | 0.000 % |
660.80/661.13 c | 985555 | 1964 8363 25316 | 93952 88633 72 | 0.000 % |
661.10/661.46 c | 986004 | 1964 8363 25316 | 93952 89082 72 | 0.000 % |
661.50/661.83 c | 986497 | 1964 8363 25316 | 93952 89575 72 | 0.000 % |
661.80/662.19 c | 987041 | 1964 8363 25316 | 93952 90119 72 | 0.000 % |
662.30/662.61 c | 987638 | 1964 8363 25316 | 93952 90716 72 | 0.000 % |
662.70/663.09 c | 988295 | 1964 8363 25316 | 93952 91373 72 | 0.000 % |
663.30/663.65 c | 989015 | 1964 8363 25316 | 93952 92093 72 | 0.000 % |
663.90/664.22 c | 989808 | 1964 8363 25316 | 93952 92886 72 | 0.000 % |
664.50/664.85 c | 990680 | 1964 8363 25316 | 93079 82670 71 | 0.000 % |
665.20/665.51 c | 991638 | 1964 8363 25316 | 93079 83628 71 | 0.000 % |
665.90/666.22 c | 992691 | 1964 8363 25316 | 93079 84681 71 | 0.000 % |
666.60/666.98 c | 993849 | 1964 8363 25316 | 93079 85839 71 | 0.000 % |
667.50/667.83 c | 995122 | 1964 8363 25316 | 93079 87112 71 | 0.000 % |
668.30/668.69 c | 996522 | 1964 8363 25316 | 93079 88512 71 | 0.000 % |
669.40/669.72 c | 998064 | 1964 8363 25316 | 93079 90054 71 | 0.000 % |
670.60/670.92 c | 999758 | 1964 8363 25316 | 93079 91748 71 | 0.000 % |
671.80/672.16 c | 1001621 | 1964 8363 25316 | 91991 84146 71 | 0.000 % |
673.09/673.49 c | 1003670 | 1964 8363 25316 | 91991 86195 71 | 0.000 % |
674.60/674.97 c | 1005924 | 1964 8363 25316 | 91991 88449 71 | 0.000 % |
676.20/676.59 c | 1008404 | 1964 8363 25316 | 91991 90929 71 | 0.000 % |
678.09/678.45 c | 1011129 | 1964 8363 25316 | 2147483647 84428 72 | 0.000 % |
680.09/680.49 c | 1014126 | 1964 8363 25316 | 2147483647 87425 72 | 0.000 % |
682.39/682.77 c | 1017422 | 1964 8363 25316 | 2147483647 90721 72 | 0.000 % |
685.00/685.32 c | 1021047 | 1964 8363 25316 | 2147483647 94346 71 | 0.000 % |
687.69/688.04 c | 1025034 | 1964 8363 25316 | 2147483647 98333 71 | 0.000 % |
690.89/691.29 c | 1029420 | 1964 8363 25316 | 2147483647 102719 71 | 0.000 % |
694.49/694.83 c | 1034245 | 1964 8363 25316 | 103299 94367 71 | 0.000 % |
698.49/698.84 c | 1039550 | 1964 8363 25316 | 103299 99672 71 | 0.000 % |
702.59/702.93 c | 1045386 | 1964 8363 25316 | 100122 92108 71 | 0.000 % |
707.08/707.48 c | 1051805 | 1964 8363 25316 | 96722 85358 71 | 0.000 % |
711.78/712.14 c | 1058865 | 1964 8363 25316 | 96722 92418 71 | 0.000 % |
717.18/717.51 c | 1066629 | 1964 8363 25316 | 93554 90341 71 | 0.000 % |
723.28/723.69 c | 1075169 | 1964 8363 25316 | 93712 88487 71 | 0.000 % |
729.88/730.28 c | 1084563 | 1964 8363 25316 | 93320 87830 72 | 0.000 % |
729.98/730.36 c | 1084664 | 1964 8363 25316 | 93320 87931 72 | 0.000 % |
730.08/730.45 c | 1084774 | 1964 8363 25316 | 93320 88041 72 | 0.000 % |
730.18/730.54 c | 1084895 | 1964 8363 25316 | 93320 88162 72 | 0.000 % |
730.28/730.65 c | 1085028 | 1964 8363 25316 | 93320 88295 72 | 0.000 % |
730.37/730.77 c | 1085175 | 1964 8363 25316 | 93320 88442 72 | 0.000 % |
730.47/730.89 c | 1085337 | 1964 8363 25316 | 93320 88604 72 | 0.000 % |
730.67/731.02 c | 1085514 | 1964 8363 25316 | 93320 88781 72 | 0.000 % |
730.77/731.18 c | 1085707 | 1964 8363 25316 | 93320 88974 72 | 0.000 % |
730.97/731.36 c | 1085919 | 1964 8363 25316 | 93320 89186 72 | 0.000 % |
731.18/731.54 c | 1086152 | 1964 8363 25316 | 93320 89419 72 | 0.000 % |
731.37/731.71 c | 1086412 | 1964 8363 25316 | 93320 89679 72 | 0.000 % |
731.57/731.91 c | 1086693 | 1964 8363 25316 | 93320 89960 72 | 0.000 % |
731.77/732.12 c | 1087002 | 1964 8363 25316 | 93320 90269 72 | 0.000 % |
731.97/732.39 c | 1087342 | 1964 8363 25316 | 93320 90609 72 | 0.000 % |
732.28/732.64 c | 1087716 | 1964 8363 25316 | 93320 90983 72 | 0.000 % |
732.57/732.92 c | 1088128 | 1964 8363 25316 | 93320 91395 72 | 0.000 % |
732.87/733.25 c | 1088577 | 1964 8363 25316 | 93320 91844 72 | 0.000 % |
733.28/733.65 c | 1089070 | 1964 8363 25316 | 93320 92337 72 | 0.000 % |
733.67/734.04 c | 1089613 | 1964 8363 25316 | 93320 92880 72 | 0.000 % |
734.07/734.49 c | 1090210 | 1964 8363 25316 | 93268 83116 72 | 0.000 % |
734.48/734.89 c | 1090867 | 1964 8363 25316 | 93268 83773 72 | 0.000 % |
734.97/735.33 c | 1091587 | 1964 8363 25316 | 93268 84493 72 | 0.000 % |
735.58/735.91 c | 1092381 | 1964 8363 25316 | 93268 85287 72 | 0.000 % |
736.07/736.48 c | 1093252 | 1964 8363 25316 | 93268 86158 72 | 0.000 % |
736.77/737.12 c | 1094210 | 1964 8363 25316 | 93268 87116 72 | 0.000 % |
737.47/737.83 c | 1095265 | 1964 8363 25316 | 93268 88171 72 | 0.000 % |
738.17/738.57 c | 1096423 | 1964 8363 25316 | 93268 89329 72 | 0.000 % |
739.07/739.43 c | 1097697 | 1964 8363 25316 | 93268 90603 71 | 0.000 % |
740.07/740.46 c | 1099099 | 1964 8363 25316 | 93268 92005 71 | 0.000 % |
741.17/741.57 c | 1100640 | 1964 8363 25316 | 2147483647 93546 71 | 0.000 % |
742.37/742.77 c | 1102335 | 1964 8363 25316 | 2147483647 95241 71 | 0.000 % |
743.77/744.11 c | 1104198 | 1964 8363 25316 | 2147483647 97104 72 | 0.000 % |
745.27/745.67 c | 1106249 | 1964 8363 25316 | 2147483647 99155 72 | 0.000 % |
746.97/747.31 c | 1108505 | 1964 8363 25316 | 2147483647 101411 72 | 0.000 % |
748.96/749.35 c | 1110985 | 1964 8363 25316 | 102906 91184 71 | 0.000 % |
750.76/751.20 c | 1113710 | 1964 8363 25316 | 102906 93909 71 | 0.000 % |
752.86/753.23 c | 1116707 | 1964 8363 25316 | 102906 96906 72 | 0.000 % |
755.36/755.77 c | 1120003 | 1964 8363 25316 | 100200 100202 71 | 0.000 % |
757.86/758.24 c | 1123630 | 1964 8363 25316 | 100200 92642 71 | 0.000 % |
760.36/760.79 c | 1127618 | 1964 8363 25316 | 100200 96630 72 | 0.000 % |
763.36/763.75 c | 1132004 | 1964 8363 25316 | 99013 90573 72 | 0.000 % |
766.66/767.04 c | 1136827 | 1964 8363 25316 | 99013 95396 72 | 0.000 % |
770.46/770.80 c | 1142133 | 1964 8363 25316 | 98570 89843 71 | 0.000 % |
774.55/774.95 c | 1147970 | 1964 8363 25316 | 98570 95680 71 | 0.000 % |
779.25/779.63 c | 1154388 | 1964 8363 25316 | 97711 91297 71 | 0.000 % |
784.55/784.94 c | 1161447 | 1964 8363 25316 | 96909 86773 71 | 0.000 % |
789.95/790.31 c | 1169214 | 1964 8363 25316 | 96909 94540 71 | 0.000 % |
795.95/796.35 c | 1177754 | 1964 8363 25316 | 95327 92106 71 | 0.000 % |
802.65/803.00 c | 1187150 | 1964 8363 25316 | 94355 91579 72 | 0.000 % |
810.04/810.44 c | 1197483 | 1964 8363 25316 | 94429 91880 72 | 0.000 % |
810.14/810.52 c | 1197586 | 1964 8363 25316 | 94429 91983 72 | 0.000 % |
810.25/810.63 c | 1197699 | 1964 8363 25316 | 94429 92096 72 | 0.000 % |
810.35/810.71 c | 1197821 | 1964 8363 25316 | 94429 92218 72 | 0.000 % |
810.44/810.83 c | 1197954 | 1964 8363 25316 | 94429 92351 72 | 0.000 % |
810.54/810.96 c | 1198101 | 1964 8363 25316 | 94429 92498 72 | 0.000 % |
810.64/811.07 c | 1198262 | 1964 8363 25316 | 94429 92659 72 | 0.000 % |
810.84/811.22 c | 1198439 | 1964 8363 25316 | 94429 92836 72 | 0.000 % |
810.94/811.37 c | 1198632 | 1964 8363 25316 | 94429 93029 72 | 0.000 % |
811.14/811.53 c | 1198846 | 1964 8363 25316 | 94429 93243 72 | 0.000 % |
811.24/811.69 c | 1199079 | 1964 8363 25316 | 94429 93476 72 | 0.000 % |
811.45/811.89 c | 1199336 | 1964 8363 25316 | 94429 93733 72 | 0.000 % |
811.64/812.10 c | 1199617 | 1964 8363 25316 | 94429 94014 72 | 0.000 % |
811.94/812.32 c | 1199926 | 1964 8363 25316 | 94429 94323 72 | 0.000 % |
812.14/812.58 c | 1200268 | 1964 8363 25316 | 94399 94665 72 | 0.000 % |
812.45/812.88 c | 1200641 | 1964 8363 25316 | 94399 83994 72 | 0.000 % |
812.74/813.16 c | 1201051 | 1964 8363 25316 | 94399 84404 72 | 0.000 % |
813.04/813.47 c | 1201500 | 1964 8363 25316 | 94399 84853 72 | 0.000 % |
813.44/813.82 c | 1201994 | 1964 8363 25316 | 94399 85347 72 | 0.000 % |
813.74/814.16 c | 1202536 | 1964 8363 25316 | 94399 85889 72 | 0.000 % |
814.14/814.57 c | 1203135 | 1964 8363 25316 | 94399 86488 72 | 0.000 % |
814.64/815.00 c | 1203791 | 1964 8363 25316 | 94399 87144 72 | 0.000 % |
815.04/815.49 c | 1204511 | 1964 8363 25316 | 94399 87864 72 | 0.000 % |
815.64/816.02 c | 1205304 | 1964 8363 25316 | 94399 88657 72 | 0.000 % |
816.14/816.58 c | 1206175 | 1964 8363 25316 | 94399 89528 72 | 0.000 % |
816.74/817.12 c | 1207134 | 1964 8363 25316 | 94399 90487 72 | 0.000 % |
817.44/817.80 c | 1208187 | 1964 8363 25316 | 94399 91540 72 | 0.000 % |
818.14/818.55 c | 1209347 | 1964 8363 25316 | 94399 92700 72 | 0.000 % |
819.04/819.41 c | 1210622 | 1964 8363 25316 | 2147483647 93975 72 | 0.000 % |
820.04/820.41 c | 1212022 | 1964 8363 25316 | 2147483647 95375 72 | 0.000 % |
821.14/821.50 c | 1213562 | 1964 8363 25316 | 2147483647 96915 72 | 0.000 % |
822.34/822.70 c | 1215257 | 1964 8363 25316 | 2147483647 98610 72 | 0.000 % |
823.54/823.96 c | 1217122 | 1964 8363 25316 | 2147483647 100475 72 | 0.000 % |
825.14/825.57 c | 1219171 | 1964 8363 25316 | 2147483647 102524 72 | 0.000 % |
826.84/827.23 c | 1221425 | 1964 8363 25316 | 103353 91793 72 | 0.000 % |
828.54/828.94 c | 1223903 | 1964 8363 25316 | 103353 94271 72 | 0.000 % |
830.34/830.74 c | 1226628 | 1964 8363 25316 | 103353 96996 72 | 0.000 % |
832.43/832.83 c | 1229627 | 1964 8363 25316 | 103353 99995 72 | 0.000 % |
834.93/835.30 c | 1232923 | 1964 8363 25316 | 100369 91430 72 | 0.000 % |
837.33/837.76 c | 1236548 | 1964 8363 25316 | 100369 95055 72 | 0.000 % |
840.13/840.58 c | 1240535 | 1964 8363 25316 | 98509 86457 72 | 0.000 % |
842.93/843.37 c | 1244920 | 1964 8363 25316 | 98509 90842 72 | 0.000 % |
846.23/846.64 c | 1249744 | 1964 8363 25316 | 98509 95666 73 | 0.000 % |
850.23/850.60 c | 1255049 | 1964 8363 25316 | 95924 90958 72 | 0.000 % |
854.13/854.51 c | 1260888 | 1964 8363 25316 | 95909 86612 72 | 0.000 % |
858.23/858.65 c | 1267306 | 1964 8363 25316 | 95909 93030 72 | 0.000 % |
863.62/864.05 c | 1274365 | 1964 8363 25316 | 2147483647 100089 72 | 0.000 % |
869.53/869.94 c | 1282130 | 1964 8363 25316 | 105724 93705 72 | 0.000 % |
876.13/876.56 c | 1290672 | 1964 8363 25316 | 101575 87349 72 | 0.000 % |
883.03/883.42 c | 1300067 | 1964 8363 25316 | 96677 96744 73 | 0.000 % |
889.43/889.88 c | 1310401 | 1964 8363 25316 | 92501 80951 73 | 0.000 % |
897.32/897.72 c | 1321767 | 1964 8363 25316 | 90550 81534 74 | 0.000 % |
897.32/897.79 c | 1321868 | 1964 8363 25316 | 90550 81635 74 | 0.000 % |
897.42/897.87 c | 1321978 | 1964 8363 25316 | 90550 81745 74 | 0.000 % |
897.52/897.96 c | 1322100 | 1964 8363 25316 | 90550 81867 74 | 0.000 % |
897.62/898.06 c | 1322233 | 1964 8363 25316 | 90550 82000 74 | 0.000 % |
897.72/898.16 c | 1322379 | 1964 8363 25316 | 90550 82146 74 | 0.000 % |
897.82/898.28 c | 1322540 | 1964 8363 25316 | 90550 82307 74 | 0.000 % |
898.02/898.42 c | 1322716 | 1964 8363 25316 | 90550 82483 74 | 0.000 % |
898.12/898.56 c | 1322909 | 1964 8363 25316 | 90550 82676 74 | 0.000 % |
898.33/898.72 c | 1323121 | 1964 8363 25316 | 90550 82888 74 | 0.000 % |
898.42/898.86 c | 1323354 | 1964 8363 25316 | 90550 83121 74 | 0.000 % |
898.62/899.02 c | 1323614 | 1964 8363 25316 | 90550 83381 74 | 0.000 % |
898.72/899.18 c | 1323895 | 1964 8363 25316 | 90550 83662 74 | 0.000 % |
898.92/899.37 c | 1324205 | 1964 8363 25316 | 90550 83972 74 | 0.000 % |
899.22/899.60 c | 1324544 | 1964 8363 25316 | 90550 84311 74 | 0.000 % |
899.52/899.90 c | 1324916 | 1964 8363 25316 | 90550 84683 74 | 0.000 % |
899.72/900.18 c | 1325325 | 1964 8363 25316 | 90550 85092 74 | 0.000 % |
900.12/900.51 c | 1325774 | 1964 8363 25316 | 90550 85541 74 | 0.000 % |
900.52/900.92 c | 1326268 | 1964 8363 25316 | 90550 86035 74 | 0.000 % |
900.82/901.26 c | 1326810 | 1964 8363 25316 | 90550 86577 74 | 0.000 % |
901.22/901.67 c | 1327406 | 1964 8363 25316 | 90550 87173 74 | 0.000 % |
901.72/902.16 c | 1328064 | 1964 8363 25316 | 90550 87831 73 | 0.000 % |
902.32/902.70 c | 1328784 | 1964 8363 25316 | 90550 88551 73 | 0.000 % |
902.82/903.23 c | 1329576 | 1964 8363 25316 | 90550 89343 73 | 0.000 % |
903.52/903.92 c | 1330447 | 1964 8363 25316 | 89767 79933 73 | 0.000 % |
904.22/904.61 c | 1331406 | 1964 8363 25316 | 89767 80892 73 | 0.000 % |
904.92/905.31 c | 1332462 | 1964 8363 25316 | 89767 81948 73 | 0.000 % |
905.62/906.05 c | 1333620 | 1964 8363 25316 | 89767 83106 73 | 0.000 % |
906.42/906.86 c | 1334894 | 1964 8363 25316 | 89767 84380 73 | 0.000 % |
907.22/907.69 c | 1336298 | 1964 8363 25316 | 89767 85784 73 | 0.000 % |
908.22/908.65 c | 1337838 | 1964 8363 25316 | 89767 87324 73 | 0.000 % |
909.32/909.78 c | 1339532 | 1964 8363 25316 | 89767 89018 73 | 0.000 % |
910.61/911.05 c | 1341399 | 1964 8363 25316 | 2147483647 90885 73 | 0.000 % |
912.01/912.42 c | 1343449 | 1964 8363 25316 | 2147483647 92935 73 | 0.000 % |
913.41/913.86 c | 1345703 | 1964 8363 25316 | 2147483647 95189 73 | 0.000 % |
915.01/915.43 c | 1348181 | 1964 8363 25316 | 2147483647 97667 72 | 0.000 % |
916.91/917.37 c | 1350906 | 1964 8363 25316 | 99487 89806 72 | 0.000 % |
919.01/919.43 c | 1353904 | 1964 8363 25316 | 99487 92804 72 | 0.000 % |
921.21/921.70 c | 1357201 | 1964 8363 25316 | 99487 96101 72 | 0.000 % |
923.81/924.20 c | 1360827 | 1964 8363 25316 | 98900 89174 72 | 0.000 % |
926.51/926.96 c | 1364815 | 1964 8363 25316 | 98900 93162 72 | 0.000 % |
929.51/929.96 c | 1369201 | 1964 8363 25316 | 98900 97548 72 | 0.000 % |
933.11/933.58 c | 1374025 | 1964 8363 25316 | 2147483647 102372 72 | 0.000 % |
937.00/937.42 c | 1379330 | 1964 8363 25316 | 2147483647 107677 72 | 0.000 % |
941.20/941.61 c | 1385165 | 1964 8363 25316 | 108347 97973 72 | 0.000 % |
946.10/946.57 c | 1391585 | 1964 8363 25316 | 102810 89939 72 | 0.000 % |
950.50/950.96 c | 1398644 | 1964 8363 25316 | 102810 96998 72 | 0.000 % |
956.10/956.53 c | 1406408 | 1964 8363 25316 | 98354 93068 72 | 0.000 % |
962.29/962.79 c | 1414949 | 1964 8363 25316 | 96660 90374 72 | 0.000 % |
969.19/969.63 c | 1424344 | 1964 8363 25316 | 95426 88417 74 | 0.000 % |
976.99/977.42 c | 1434677 | 1964 8363 25316 | 94074 85655 74 | 0.000 % |
986.19/986.61 c | 1446043 | 1964 8363 25316 | 90979 83452 75 | 0.000 % |
994.08/994.53 c | 1458545 | 1964 8363 25316 | 87410 83930 76 | 0.000 % |
994.18/994.60 c | 1458645 | 1964 8363 25316 | 87410 84030 76 | 0.000 % |
994.18/994.68 c | 1458755 | 1964 8363 25316 | 87410 84140 76 | 0.000 % |
994.28/994.76 c | 1458876 | 1964 8363 25316 | 87410 84261 76 | 0.000 % |
994.38/994.87 c | 1459009 | 1964 8363 25316 | 87410 84394 76 | 0.000 % |
994.48/994.99 c | 1459156 | 1964 8363 25316 | 87410 84541 76 | 0.000 % |
994.68/995.11 c | 1459316 | 1964 8363 25316 | 87410 84701 76 | 0.000 % |
994.78/995.24 c | 1459494 | 1964 8363 25316 | 87410 84879 76 | 0.000 % |
994.99/995.41 c | 1459687 | 1964 8363 25316 | 87410 85072 75 | 0.000 % |
995.09/995.59 c | 1459902 | 1964 8363 25316 | 87410 85287 75 | 0.000 % |
995.28/995.76 c | 1460137 | 1964 8363 25316 | 85386 85522 75 | 0.000 % |
995.48/995.97 c | 1460393 | 1964 8363 25316 | 85386 74532 76 | 0.000 % |
995.68/996.13 c | 1460675 | 1964 8363 25316 | 85386 74814 76 | 0.000 % |
995.88/996.34 c | 1460984 | 1964 8363 25316 | 85386 75123 76 | 0.000 % |
996.09/996.55 c | 1461323 | 1964 8363 25316 | 85386 75462 75 | 0.000 % |
996.28/996.79 c | 1461698 | 1964 8363 25316 | 85386 75837 75 | 0.000 % |
996.58/997.06 c | 1462108 | 1964 8363 25316 | 85386 76247 75 | 0.000 % |
996.88/997.32 c | 1462557 | 1964 8363 25316 | 85386 76696 75 | 0.000 % |
997.29/997.70 c | 1463050 | 1964 8363 25316 | 85386 77189 75 | 0.000 % |
997.58/998.09 c | 1463593 | 1964 8363 25316 | 85386 77732 75 | 0.000 % |
997.98/998.48 c | 1464190 | 1964 8363 25316 | 85386 78329 75 | 0.000 % |
998.39/998.86 c | 1464846 | 1964 8363 25316 | 85386 78985 75 | 0.000 % |
998.88/999.33 c | 1465567 | 1964 8363 25316 | 85386 79706 75 | 0.000 % |
999.39/999.84 c | 1466361 | 1964 8363 25316 | 85386 80500 75 | 0.000 % |
999.88/1000.37 c | 1467232 | 1964 8363 25316 | 85386 81371 75 | 0.000 % |
1000.48/1000.93 c | 1468190 | 1964 8363 25316 | 85386 82329 75 | 0.000 % |
1001.18/1001.63 c | 1469244 | 1964 8363 25316 | 85386 83383 75 | 0.000 % |
1001.88/1002.37 c | 1470402 | 1964 8363 25316 | 2147483647 84541 75 | 0.000 % |
1002.78/1003.21 c | 1471678 | 1964 8363 25316 | 2147483647 85817 75 | 0.000 % |
1003.58/1004.04 c | 1473078 | 1964 8363 25316 | 2147483647 87217 75 | 0.000 % |
1004.68/1005.13 c | 1474618 | 1964 8363 25316 | 2147483647 88757 75 | 0.000 % |
1005.78/1006.27 c | 1476313 | 1964 8363 25316 | 2147483647 90452 75 | 0.000 % |
1006.98/1007.50 c | 1478176 | 1964 8363 25316 | 2147483647 92315 75 | 0.000 % |
1008.38/1008.84 c | 1480226 | 1964 8363 25316 | 2147483647 94365 74 | 0.000 % |
1009.98/1010.41 c | 1482479 | 1964 8363 25316 | 2147483647 96618 74 | 0.000 % |
1011.78/1012.27 c | 1484958 | 1964 8363 25316 | 2147483647 99097 74 | 0.000 % |
1013.88/1014.35 c | 1487683 | 1964 8363 25316 | 2147483647 101822 74 | 0.000 % |
1016.28/1016.73 c | 1490680 | 1964 8363 25316 | 104139 90795 74 | 0.000 % |
1018.67/1019.18 c | 1493976 | 1964 8363 25316 | 104139 94091 74 | 0.000 % |
1021.38/1021.86 c | 1497601 | 1964 8363 25316 | 104139 97716 74 | 0.000 % |
1024.47/1024.92 c | 1501589 | 1964 8363 25316 | 100118 87787 72 | 0.000 % |
1027.47/1027.93 c | 1505974 | 1964 8363 25316 | 100118 92172 73 | 0.000 % |
1030.67/1031.12 c | 1510800 | 1964 8363 25316 | 96198 84597 71 | 0.000 % |
1034.17/1034.69 c | 1516106 | 1964 8363 25316 | 96198 89903 72 | 0.000 % |
1038.27/1038.72 c | 1521941 | 1964 8363 25316 | 2147483647 95738 72 | 0.000 % |
1042.87/1043.35 c | 1528359 | 1964 8363 25316 | 2147483647 102156 72 | 0.000 % |
1048.07/1048.52 c | 1535419 | 1964 8363 25316 | 103797 95595 72 | 0.000 % |
1053.56/1054.03 c | 1543185 | 1964 8363 25316 | 100177 90486 71 | 0.000 % |
1059.66/1060.12 c | 1551726 | 1964 8363 25316 | 97302 88094 71 | 0.000 % |
1066.36/1066.86 c | 1561122 | 1964 8363 25316 | 96370 85912 72 | 0.000 % |
1073.76/1074.27 c | 1571455 | 1964 8363 25316 | 94792 84106 72 | 0.000 % |
1082.16/1082.69 c | 1582821 | 1964 8363 25316 | 92652 82555 73 | 0.000 % |
1090.85/1091.30 c | 1595323 | 1964 8363 25316 | 89735 82803 75 | 0.000 % |
1100.45/1100.92 c | 1609075 | 1964 8363 25316 | 87481 85793 75 | 0.000 % |
1100.45/1101.00 c | 1609175 | 1964 8363 25316 | 87481 85893 75 | 0.000 % |
1100.55/1101.09 c | 1609286 | 1964 8363 25316 | 87481 86004 75 | 0.000 % |
1100.65/1101.19 c | 1609410 | 1964 8363 25316 | 87481 86128 75 | 0.000 % |
1100.75/1101.28 c | 1609543 | 1964 8363 25316 | 87481 86261 75 | 0.000 % |
1100.85/1101.38 c | 1609690 | 1964 8363 25316 | 87481 86408 75 | 0.000 % |
1100.95/1101.49 c | 1609850 | 1964 8363 25316 | 87481 86568 75 | 0.000 % |
1101.15/1101.62 c | 1610028 | 1964 8363 25316 | 86719 86746 75 | 0.000 % |
1101.35/1101.84 c | 1610223 | 1964 8363 25316 | 86719 76607 75 | 0.000 % |
1101.45/1101.98 c | 1610435 | 1964 8363 25316 | 86719 76819 75 | 0.000 % |
1101.65/1102.14 c | 1610668 | 1964 8363 25316 | 86719 77052 75 | 0.000 % |
1101.85/1102.33 c | 1610924 | 1964 8363 25316 | 86719 77308 75 | 0.000 % |
1102.05/1102.52 c | 1611206 | 1964 8363 25316 | 86719 77590 75 | 0.000 % |
1102.25/1102.70 c | 1611515 | 1964 8363 25316 | 86719 77899 75 | 0.000 % |
1102.35/1102.89 c | 1611854 | 1964 8363 25316 | 86719 78238 75 | 0.000 % |
1102.65/1103.15 c | 1612227 | 1964 8363 25316 | 86719 78611 75 | 0.000 % |
1102.95/1103.45 c | 1612638 | 1964 8363 25316 | 86719 79022 75 | 0.000 % |
1103.24/1103.75 c | 1613089 | 1964 8363 25316 | 86719 79473 75 | 0.000 % |
1103.54/1104.03 c | 1613583 | 1964 8363 25316 | 86719 79967 75 | 0.000 % |
1103.85/1104.38 c | 1614126 | 1964 8363 25316 | 86719 80510 75 | 0.000 % |
1104.24/1104.73 c | 1614722 | 1964 8363 25316 | 86719 81106 75 | 0.000 % |
1104.64/1105.14 c | 1615380 | 1964 8363 25316 | 86719 81764 75 | 0.000 % |
1105.05/1105.55 c | 1616102 | 1964 8363 25316 | 86719 82486 75 | 0.000 % |
1105.54/1106.07 c | 1616894 | 1964 8363 25316 | 86719 83278 75 | 0.000 % |
1106.15/1106.62 c | 1617768 | 1964 8363 25316 | 86719 84152 75 | 0.000 % |
1106.74/1107.25 c | 1618728 | 1964 8363 25316 | 86719 85112 75 | 0.000 % |
1107.34/1107.87 c | 1619781 | 1964 8363 25316 | 86719 86165 74 | 0.000 % |
1108.14/1108.65 c | 1620939 | 1964 8363 25316 | 2147483647 87323 74 | 0.000 % |
1108.94/1109.46 c | 1622212 | 1964 8363 25316 | 2147483647 88596 74 | 0.000 % |
1109.84/1110.34 c | 1623613 | 1964 8363 25316 | 2147483647 89997 74 | 0.000 % |
1110.84/1111.31 c | 1625153 | 1964 8363 25316 | 2147483647 91537 74 | 0.000 % |
1111.94/1112.50 c | 1626848 | 1964 8363 25316 | 2147483647 93232 74 | 0.000 % |
1113.24/1113.78 c | 1628712 | 1964 8363 25316 | 2147483647 95096 74 | 0.000 % |
1114.74/1115.28 c | 1630762 | 1964 8363 25316 | 2147483647 97146 74 | 0.000 % |
1116.34/1116.82 c | 1633015 | 1964 8363 25316 | 2147483647 99399 74 | 0.000 % |
1118.24/1118.73 c | 1635496 | 1964 8363 25316 | 2147483647 101880 74 | 0.000 % |
1120.15/1120.69 c | 1638221 | 1964 8363 25316 | 2147483647 104605 73 | 0.000 % |
1122.34/1122.89 c | 1641219 | 1964 8363 25316 | 106384 94404 74 | 0.000 % |
1124.64/1125.15 c | 1644518 | 1964 8363 25316 | 106384 97703 74 | 0.000 % |
1127.24/1127.79 c | 1648147 | 1964 8363 25316 | 106384 101332 74 | 0.000 % |
1130.24/1130.73 c | 1652134 | 1964 8363 25316 | 103185 92170 74 | 0.000 % |
1133.14/1133.65 c | 1656519 | 1964 8363 25316 | 103185 96555 74 | 0.000 % |
1136.74/1137.27 c | 1661343 | 1964 8363 25316 | 100036 89077 75 | 0.000 % |
1140.43/1140.94 c | 1666650 | 1964 8363 25316 | 100036 94384 75 | 0.000 % |
1144.43/1144.90 c | 1672485 | 1964 8363 25316 | 97734 89644 75 | 0.000 % |
1148.83/1149.39 c | 1678903 | 1964 8363 25316 | 97734 96062 75 | 0.000 % |
1153.73/1154.27 c | 1685963 | 1964 8363 25316 | 97159 91908 73 | 0.000 % |
1159.13/1159.69 c | 1693727 | 1964 8363 25316 | 95945 89097 73 | 0.000 % |
1165.53/1166.09 c | 1702270 | 1964 8363 25316 | 95370 86792 73 | 0.000 % |
1172.52/1173.07 c | 1711664 | 1964 8363 25316 | 94522 84201 74 | 0.000 % |
1179.92/1180.49 c | 1721998 | 1964 8363 25316 | 92538 83211 74 | 0.000 % |
1187.82/1188.33 c | 1733364 | 1964 8363 25316 | 91213 83628 74 | 0.000 % |
1196.42/1196.98 c | 1745866 | 1964 8363 25316 | 90265 85632 74 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832653-1242785940/watcher-1832653-1242785940 -o /tmp/evaluation-result-1832653-1242785940/solver-1832653-1242785940 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832653-1242785940.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: 0.92 0.98 0.95 3/64 9369
/proc/meminfo: memFree=1646792/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306622055 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 269930430546 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/9369/statm: 1339 235 195 169 0 50 0
[pid=9370] ppid=9369 vsize=5356 CPUtime=0
/proc/9370/stat : 9370 (SatELiteGTI) S 9369 9369 7125 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306622055 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/9370/statm: 1339 238 198 169 0 50 0
[pid=9372] ppid=9370 vsize=5356 CPUtime=0
/proc/9372/stat : 9372 (SatELiteGTI) R 9370 9369 7125 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930261799 0 0 4096 0 0 0 0 17 1 0 0
/proc/9372/statm: 1339 239 199 169 0 50 0
[startup+0.0142309 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 9369
/proc/meminfo: memFree=1646792/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 306622055 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/9369/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101244 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 9369
/proc/meminfo: memFree=1646792/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301265 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 9369
/proc/meminfo: memFree=1646792/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701312 s]
/proc/loadavg: 0.92 0.98 0.95 3/64 9369
/proc/meminfo: memFree=1646792/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.5014 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1644408/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=4832 CPUtime=1.45
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 890 0 0 0 145 0 0 0 25 0 1 0 306622059 4947968 876 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 1208 876 77 171 0 1035 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10188
[startup+3.10159 s]
/proc/loadavg: 0.92 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1641656/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=8048 CPUtime=3.04
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 1678 0 0 0 304 0 0 0 25 0 1 0 306622059 8241152 1664 1992294400 134512640 135215339 4294956240 18446744073709551615 134532672 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 2012 1664 77 171 0 1839 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13404
[startup+6.30197 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1636792/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=12040 CPUtime=6.24
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 2671 0 0 0 622 2 0 0 25 0 1 0 306622059 12328960 2657 1992294400 134512640 135215339 4294956240 18446744073709551615 134532615 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 3010 2657 77 171 0 2837 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17396
[startup+12.7017 s]
/proc/loadavg: 0.93 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1630776/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=17400 CPUtime=12.63
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 4022 0 0 0 1260 3 0 0 25 0 1 0 306622059 17817600 4008 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 4350 4008 77 171 0 4177 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 22756
[startup+25.5012 s]
/proc/loadavg: 0.95 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1623032/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=24912 CPUtime=25.41
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 5870 0 0 0 2536 5 0 0 25 0 1 0 306622059 25509888 5856 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 6228 5856 77 171 0 6055 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 30268
[startup+51.1012 s]
/proc/loadavg: 0.96 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1614840/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=33012 CPUtime=51
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 7877 0 0 0 5092 8 0 0 25 0 1 0 306622059 33804288 7863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 8253 7863 77 171 0 8080 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 38368
[startup+102.305 s]
/proc/loadavg: 0.98 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1614712/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=33012 CPUtime=102.17
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 7877 0 0 0 10209 8 0 0 25 0 1 0 306622059 33804288 7863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 8253 7863 77 171 0 8080 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 38368
[startup+162.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1614520/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=33144 CPUtime=162.15
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 7909 0 0 0 16206 9 0 0 25 0 1 0 306622059 33939456 7895 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 8286 7895 77 171 0 8113 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 38500
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1611832/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=35652 CPUtime=222.12
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 8546 0 0 0 22202 10 0 0 25 0 1 0 306622059 36507648 8532 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 8913 8532 77 171 0 8740 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 41008
[startup+282.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1610232/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=37104 CPUtime=282.1
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 8923 0 0 0 28199 11 0 0 25 0 1 0 306622059 37994496 8909 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 9276 8909 77 171 0 9103 0
Current children cumulated CPU time (s) 282.13
Current children cumulated vsize (KiB) 42460
[startup+342.301 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1609336/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=38028 CPUtime=342.08
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 9138 0 0 0 34197 11 0 0 25 0 1 0 306622059 38940672 9124 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 9507 9124 77 171 0 9334 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 43384
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1609016/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=38160 CPUtime=402.06
################
# More data... #
################
/proc/9375/statm: 9635 9268 77 171 0 9462 0
Current children cumulated CPU time (s) 582.03
Current children cumulated vsize (KiB) 43896
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1608248/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=38540 CPUtime=641.98
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 9282 0 0 0 64185 13 0 0 25 0 1 0 306622059 39464960 9268 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 9635 9268 77 171 0 9462 0
Current children cumulated CPU time (s) 642.01
Current children cumulated vsize (KiB) 43896
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1607352/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=39332 CPUtime=701.96
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 9473 0 0 0 70183 13 0 0 25 0 1 0 306622059 40275968 9459 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 9833 9459 77 171 0 9660 0
Current children cumulated CPU time (s) 701.99
Current children cumulated vsize (KiB) 44688
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1606968/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=39596 CPUtime=761.93
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 9535 0 0 0 76180 13 0 0 25 0 1 0 306622059 40546304 9521 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 9899 9521 77 171 0 9726 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 44952
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1606968/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=39596 CPUtime=821.91
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 9535 0 0 0 82178 13 0 0 25 0 1 0 306622059 40546304 9521 1992294400 134512640 135215339 4294956240 18446744073709551615 134538460 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 9899 9521 77 171 0 9726 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 44952
[startup+882.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1605176/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=41180 CPUtime=881.9
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 9941 0 0 0 88176 14 0 0 25 0 1 0 306622059 42168320 9927 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10295 9927 77 171 0 10122 0
Current children cumulated CPU time (s) 881.93
Current children cumulated vsize (KiB) 46536
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1604088/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=42236 CPUtime=941.87
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10197 0 0 0 94173 14 0 0 25 0 1 0 306622059 43249664 10183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10559 10183 77 171 0 10386 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 47592
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1604024/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=42236 CPUtime=1001.85
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10197 0 0 0 100171 14 0 0 25 0 1 0 306622059 43249664 10183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10559 10183 77 171 0 10386 0
Current children cumulated CPU time (s) 1001.88
Current children cumulated vsize (KiB) 47592
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1603896/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=42236 CPUtime=1061.83
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10197 0 0 0 106169 14 0 0 25 0 1 0 306622059 43249664 10183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10559 10183 77 171 0 10386 0
Current children cumulated CPU time (s) 1061.86
Current children cumulated vsize (KiB) 47592
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1602936/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=43160 CPUtime=1121.81
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10449 0 0 0 112166 15 0 0 25 0 1 0 306622059 44195840 10435 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10790 10435 77 171 0 10617 0
Current children cumulated CPU time (s) 1121.84
Current children cumulated vsize (KiB) 48516
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1602616/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=43292 CPUtime=1181.79
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10456 0 0 0 118164 15 0 0 25 0 1 0 306622059 44331008 10442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10823 10442 77 171 0 10650 0
Current children cumulated CPU time (s) 1181.82
Current children cumulated vsize (KiB) 48648
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1602616/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=43292 CPUtime=1199.99
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10456 0 0 0 119984 15 0 0 25 0 1 0 306622059 44331008 10442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10823 10442 77 171 0 10650 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 48648
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.95 2/66 9375
/proc/meminfo: memFree=1602616/2055920 swapFree=4179532/4192956
[pid=9369] ppid=9367 vsize=5356 CPUtime=0.03
/proc/9369/stat : 9369 (SatELiteGTI) S 9367 9369 7125 0 -1 4194304 336 607 0 0 0 0 3 0 18 0 1 0 306622055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 269930259268 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/9369/statm: 1339 239 197 169 0 50 0
[pid=9375] ppid=9369 vsize=43292 CPUtime=1199.99
/proc/9375/stat : 9375 (minisat_static) R 9369 9369 7125 0 -1 4194304 10456 0 0 0 119984 15 0 0 25 0 1 0 306622059 44331008 10442 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/9375/statm: 10823 10442 77 171 0 10650 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 48648
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 9369 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=32994
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=4999
# CPU time returned by wait4() is 0.037993
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.02
CPU user time (s): 1199.87
CPU system time (s): 0.15
CPU usage (%): 99.959
Max. virtual memory (cumulated for all children) (KiB): 48648
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.032994
system time used= 0.004999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 943
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= 14
involuntary context switches= 18
runsolver used 1.37379 second user time and 2.95455 second system time
The end
Begin job on node53 at 2009-05-20 04:19:00
IDJOB=1832653
IDBENCH=70290
IDSOLVER=671
FILE ID=node53/1832653-1242785940
PBS_JOBID= 9322320
Free space on /tmp= 66052 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1442480583-017.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832653-1242785940/watcher-1832653-1242785940 -o /tmp/evaluation-result-1832653-1242785940/solver-1832653-1242785940 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832653-1242785940.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= e16a301b3b11f2fcadc19b12fcb8ed0b
RANDOM SEED=1861002552
node53.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.245
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.245
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 : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1647272 kB
Buffers: 39248 kB
Cached: 297764 kB
SwapCached: 7612 kB
Active: 58748 kB
Inactive: 287888 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1647272 kB
SwapTotal: 4192956 kB
SwapFree: 4179532 kB
Dirty: 1720 kB
Writeback: 0 kB
Mapped: 13556 kB
Slab: 48072 kB
Committed_AS: 920052 kB
PageTables: 1380 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= 66052 MiB
End job on node53 at 2009-05-20 04:39:03