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 | 8328 25416 | -- 0 -- -- | -- | -72/216
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1934 #clauses: 8328 #literals: 25416
0.00/0.03 c CPU time: 0.022996 s
0.00/0.03 c ==============================================================================
0.00/0.04 c This is MiniSat 2.0 beta
0.00/0.04 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: 1934 |
0.00/0.04 c | Number of clauses: 8328 |
0.00/0.04 c | Parsing time: 0.00 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 | 1934 8328 25416 | 2776 0 nan | 0.000 % |
0.00/0.05 c | 101 | 1934 8328 25416 | 2776 101 65 | 0.000 % |
0.00/0.06 c | 202 | 1934 8328 25416 | 2776 202 63 | 0.000 % |
0.00/0.06 c | 305 | 1934 8328 25416 | 2776 305 60 | 0.000 % |
0.00/0.07 c | 415 | 1934 8328 25416 | 2776 415 61 | 0.000 % |
0.00/0.08 c | 515 | 1934 8328 25416 | 2776 515 62 | 0.000 % |
0.00/0.09 c | 628 | 1934 8328 25416 | 2776 628 61 | 0.000 % |
0.03/0.10 c | 749 | 1934 8328 25416 | 2776 749 61 | 0.000 % |
0.03/0.11 c | 851 | 1934 8328 25416 | 2776 851 61 | 0.000 % |
0.03/0.12 c | 961 | 1934 8328 25416 | 2776 961 61 | 0.000 % |
0.03/0.13 c | 1083 | 1934 8328 25416 | 2776 1083 61 | 0.000 % |
0.03/0.14 c | 1217 | 1934 8328 25416 | 2776 1217 60 | 0.000 % |
0.03/0.15 c | 1317 | 1934 8328 25416 | 2776 1317 60 | 0.000 % |
0.03/0.15 c | 1427 | 1934 8328 25416 | 2776 1427 60 | 0.000 % |
0.03/0.16 c | 1548 | 1934 8328 25416 | 2776 1548 60 | 0.000 % |
0.03/0.17 c | 1681 | 1934 8328 25416 | 2776 1681 59 | 0.000 % |
0.03/0.19 c | 1827 | 1934 8328 25416 | 2776 1827 60 | 0.000 % |
0.03/0.19 c | 1928 | 1934 8328 25416 | 2776 1928 60 | 0.000 % |
0.03/0.20 c | 2038 | 1934 8328 25416 | 2776 2038 61 | 0.000 % |
0.03/0.21 c | 2159 | 1934 8328 25416 | 2776 2159 61 | 0.000 % |
0.03/0.22 c | 2292 | 1934 8328 25416 | 2776 2292 61 | 0.000 % |
0.03/0.24 c | 2440 | 1934 8328 25416 | 2776 2440 61 | 0.000 % |
0.03/0.25 c | 2600 | 1934 8328 25416 | 2776 2600 61 | 0.000 % |
0.03/0.26 c | 2703 | 1934 8328 25416 | 2776 2703 61 | 0.000 % |
0.03/0.27 c | 2813 | 1934 8328 25416 | 2776 2813 61 | 0.000 % |
0.03/0.28 c | 2934 | 1934 8328 25416 | 2776 2653 60 | 0.000 % |
0.03/0.29 c | 3067 | 1934 8328 25416 | 2776 2786 61 | 0.000 % |
0.03/0.31 c | 3213 | 1934 8328 25416 | 2776 2654 60 | 0.000 % |
0.03/0.32 c | 3373 | 1934 8328 25416 | 2776 2814 60 | 0.000 % |
0.03/0.34 c | 3549 | 1934 8328 25416 | 2776 2709 60 | 0.000 % |
0.03/0.34 c | 3650 | 1934 8328 25416 | 2776 2810 60 | 0.000 % |
0.03/0.36 c | 3760 | 1934 8328 25416 | 2776 2639 60 | 0.000 % |
0.03/0.37 c | 3881 | 1934 8328 25416 | 2776 2760 60 | 0.000 % |
0.03/0.38 c | 4014 | 1934 8328 25416 | 2776 2893 60 | 0.000 % |
0.03/0.39 c | 4160 | 1934 8328 25416 | 2776 2750 61 | 0.000 % |
0.03/0.40 c | 4321 | 1934 8328 25416 | 2776 2911 61 | 0.000 % |
0.03/0.42 c | 4499 | 1934 8328 25416 | 2776 2798 60 | 0.000 % |
0.03/0.44 c | 4692 | 1934 8328 25416 | 2776 2712 59 | 0.000 % |
0.03/0.45 c | 4793 | 1934 8328 25416 | 2776 2813 59 | 0.000 % |
0.03/0.46 c | 4904 | 1934 8328 25416 | 2776 2643 59 | 0.000 % |
0.03/0.47 c | 5027 | 1934 8328 25416 | 2776 2766 59 | 0.000 % |
0.03/0.48 c | 5161 | 1934 8328 25416 | 2776 2900 59 | 0.000 % |
0.03/0.49 c | 5308 | 1934 8328 25416 | 2776 2757 58 | 0.000 % |
0.03/0.51 c | 5468 | 1934 8328 25416 | 2776 2917 58 | 0.000 % |
0.03/0.52 c | 5644 | 1934 8328 25416 | 2776 2802 57 | 0.000 % |
0.03/0.54 c | 5838 | 1934 8328 25416 | 2776 2716 57 | 0.000 % |
0.03/0.56 c | 6050 | 1934 8328 25416 | 2776 2928 57 | 0.000 % |
0.03/0.57 c | 6150 | 1934 8328 25416 | 2776 2736 57 | 0.000 % |
0.03/0.58 c | 6260 | 1934 8328 25416 | 2776 2846 57 | 0.000 % |
0.03/0.59 c | 6382 | 1934 8328 25416 | 2776 2684 56 | 0.000 % |
0.03/0.60 c | 6516 | 1934 8328 25416 | 2776 2818 56 | 0.000 % |
0.03/0.61 c | 6662 | 1934 8328 25416 | 2776 2683 56 | 0.000 % |
0.03/0.63 c | 6822 | 1934 8328 25416 | 2776 2843 56 | 0.000 % |
0.03/0.64 c | 6999 | 1934 8328 25416 | 2776 2736 56 | 0.000 % |
0.03/0.66 c | 7192 | 1934 8328 25416 | 2776 2929 57 | 0.000 % |
0.03/0.68 c | 7404 | 1934 8328 25416 | 2776 2849 57 | 0.000 % |
0.03/0.70 c | 7638 | 1934 8328 25416 | 2776 2799 58 | 0.000 % |
0.03/0.71 c | 7740 | 1934 8328 25416 | 2776 2622 58 | 0.000 % |
0.03/0.72 c | 7851 | 1934 8328 25416 | 2776 2733 58 | 0.000 % |
0.03/0.73 c | 7973 | 1934 8328 25416 | 2776 2855 58 | 0.000 % |
0.03/0.74 c | 8106 | 1934 8328 25416 | 2776 2703 58 | 0.000 % |
0.03/0.76 c | 8253 | 1934 8328 25416 | 2776 2850 58 | 0.000 % |
0.03/0.77 c | 8413 | 1934 8328 25416 | 2776 2725 58 | 0.000 % |
0.03/0.79 c | 8591 | 1934 8328 25416 | 2776 2903 60 | 0.000 % |
0.03/0.81 c | 8784 | 1934 8328 25416 | 2776 2806 59 | 0.000 % |
0.03/0.83 c | 8997 | 1934 8328 25416 | 2776 2739 60 | 0.000 % |
0.03/0.84 c | 9231 | 1934 8328 25416 | 2776 2973 59 | 0.000 % |
0.03/0.87 c | 9487 | 1934 8328 25416 | 2776 2932 60 | 0.000 % |
0.03/0.88 c | 9587 | 1934 8328 25416 | 2776 2739 60 | 0.000 % |
0.03/0.89 c | 9698 | 1934 8328 25416 | 2776 2850 60 | 0.000 % |
0.03/0.90 c | 9819 | 1934 8328 25416 | 2776 2686 59 | 0.000 % |
0.03/0.91 c | 9953 | 1934 8328 25416 | 2776 2820 59 | 0.000 % |
0.03/0.92 c | 10099 | 1934 8328 25416 | 2147483647 2684 59 | 0.000 % |
0.03/0.94 c | 10259 | 1934 8328 25416 | 2147483647 2844 59 | 0.000 % |
0.03/0.95 c | 10436 | 1934 8328 25416 | 2147483647 3021 59 | 0.000 % |
0.03/0.97 c | 10629 | 1934 8328 25416 | 2147483647 3214 59 | 0.000 % |
0.03/0.99 c | 10841 | 1934 8328 25416 | 2147483647 3426 60 | 0.000 % |
0.98/1.02 c | 11076 | 1934 8328 25416 | 2147483647 3661 60 | 0.000 % |
0.98/1.04 c | 11332 | 1934 8328 25416 | 2147483647 3917 60 | 0.000 % |
0.98/1.07 c | 11613 | 1934 8328 25416 | 2147483647 4198 61 | 0.000 % |
0.98/1.07 c | 11713 | 1934 8328 25416 | 2147483647 4298 61 | 0.000 % |
0.98/1.09 c | 11824 | 1934 8328 25416 | 2147483647 4409 61 | 0.000 % |
0.98/1.10 c | 11945 | 1934 8328 25416 | 2147483647 4530 61 | 0.000 % |
1.08/1.11 c | 12083 | 1934 8328 25416 | 2147483647 4668 61 | 0.000 % |
1.08/1.13 c | 12231 | 1934 8328 25416 | 2147483647 4816 61 | 0.000 % |
1.08/1.14 c | 12393 | 1934 8328 25416 | 2147483647 4978 61 | 0.000 % |
1.08/1.16 c | 12569 | 1934 8328 25416 | 2147483647 5154 61 | 0.000 % |
1.08/1.18 c | 12763 | 1934 8328 25416 | 2147483647 5348 61 | 0.000 % |
1.18/1.20 c | 12977 | 1934 8328 25416 | 2147483647 5562 61 | 0.000 % |
1.18/1.22 c | 13210 | 1934 8328 25416 | 2147483647 5795 61 | 0.000 % |
1.18/1.25 c | 13470 | 1934 8328 25416 | 2147483647 6055 62 | 0.000 % |
1.18/1.27 c | 13752 | 1934 8328 25416 | 2147483647 6337 61 | 0.000 % |
1.28/1.31 c | 14061 | 1934 8328 25416 | 2147483647 6646 61 | 0.000 % |
1.28/1.32 c | 14162 | 1934 8328 25416 | 2147483647 6747 61 | 0.000 % |
1.28/1.33 c | 14272 | 1934 8328 25416 | 2147483647 6857 61 | 0.000 % |
1.28/1.34 c | 14393 | 1934 8328 25416 | 2147483647 6978 61 | 0.000 % |
1.28/1.35 c | 14526 | 1934 8328 25416 | 2147483647 7111 61 | 0.000 % |
1.28/1.37 c | 14672 | 1934 8328 25416 | 2147483647 7257 61 | 0.000 % |
1.28/1.39 c | 14832 | 1934 8328 25416 | 2147483647 7417 61 | 0.000 % |
1.38/1.40 c | 15009 | 1934 8328 25416 | 2147483647 7594 61 | 0.000 % |
1.38/1.42 c | 15202 | 1934 8328 25416 | 2147483647 7787 61 | 0.000 % |
1.38/1.45 c | 15415 | 1934 8328 25416 | 2147483647 8000 61 | 0.000 % |
1.38/1.47 c | 15648 | 1934 8328 25416 | 2147483647 8233 61 | 0.000 % |
1.48/1.50 c | 15905 | 1934 8328 25416 | 2147483647 8490 61 | 0.000 % |
1.48/1.53 c | 16186 | 1934 8328 25416 | 2147483647 8771 61 | 0.000 % |
1.48/1.57 c | 16495 | 1934 8328 25416 | 2147483647 9080 61 | 0.000 % |
1.58/1.61 c | 16834 | 1934 8328 25416 | 2147483647 9419 61 | 0.000 % |
1.58/1.62 c | 16936 | 1934 8328 25416 | 2147483647 9521 61 | 0.000 % |
1.58/1.63 c | 17046 | 1934 8328 25416 | 2147483647 9631 61 | 0.000 % |
1.58/1.65 c | 17169 | 1934 8328 25416 | 2147483647 9754 61 | 0.000 % |
1.58/1.67 c | 17304 | 1934 8328 25416 | 2147483647 9889 61 | 0.000 % |
1.58/1.68 c | 17451 | 1934 8328 25416 | 2147483647 10036 61 | 0.000 % |
1.68/1.70 c | 17611 | 1934 8328 25416 | 2147483647 10196 61 | 0.000 % |
1.68/1.72 c | 17787 | 1934 8328 25416 | 2147483647 10372 61 | 0.000 % |
1.68/1.75 c | 17980 | 1934 8328 25416 | 2147483647 10565 61 | 0.000 % |
1.68/1.77 c | 18192 | 1934 8328 25416 | 2147483647 10777 61 | 0.000 % |
1.77/1.80 c | 18425 | 1934 8328 25416 | 2147483647 11010 61 | 0.000 % |
1.77/1.84 c | 18683 | 1934 8328 25416 | 2147483647 11268 61 | 0.000 % |
1.77/1.87 c | 18966 | 1934 8328 25416 | 2147483647 11551 62 | 0.000 % |
1.87/1.91 c | 19276 | 1934 8328 25416 | 2147483647 11861 62 | 0.000 % |
1.87/1.96 c | 19617 | 1934 8328 25416 | 2147483647 12202 62 | 0.000 % |
1.97/2.00 c | 19993 | 1934 8328 25416 | 2147483647 12578 62 | 0.000 % |
1.97/2.02 c | 20098 | 1934 8328 25416 | 2147483647 12683 62 | 0.000 % |
1.97/2.04 c | 20209 | 1934 8328 25416 | 2147483647 12794 62 | 0.000 % |
1.97/2.05 c | 20330 | 1934 8328 25416 | 2147483647 12915 62 | 0.000 % |
1.97/2.07 c | 20463 | 1934 8328 25416 | 2147483647 13048 62 | 0.000 % |
1.97/2.09 c | 20609 | 1934 8328 25416 | 2147483647 13194 62 | 0.000 % |
2.08/2.12 c | 20773 | 1934 8328 25416 | 2147483647 13358 62 | 0.000 % |
2.08/2.14 c | 20950 | 1934 8328 25416 | 2147483647 13535 62 | 0.000 % |
2.08/2.16 c | 21143 | 1934 8328 25416 | 2147483647 13728 62 | 0.000 % |
2.08/2.19 c | 21355 | 1934 8328 25416 | 2147483647 13940 62 | 0.000 % |
2.18/2.23 c | 21588 | 1934 8328 25416 | 2147483647 14173 62 | 0.000 % |
2.18/2.26 c | 21844 | 1934 8328 25416 | 2147483647 14429 62 | 0.000 % |
2.27/2.30 c | 22125 | 1934 8328 25416 | 2147483647 14710 62 | 0.000 % |
2.27/2.35 c | 22434 | 1934 8328 25416 | 2147483647 15019 62 | 0.000 % |
2.37/2.40 c | 22773 | 1934 8328 25416 | 2147483647 15358 62 | 0.000 % |
2.37/2.46 c | 23146 | 1934 8328 25416 | 2147483647 15731 62 | 0.000 % |
2.47/2.52 c | 23555 | 1934 8328 25416 | 2147483647 16140 62 | 0.000 % |
2.47/2.54 c | 23655 | 1934 8328 25416 | 2147483647 16240 62 | 0.000 % |
2.47/2.56 c | 23765 | 1934 8328 25416 | 2147483647 16350 62 | 0.000 % |
2.47/2.58 c | 23886 | 1934 8328 25416 | 2147483647 16471 62 | 0.000 % |
2.57/2.60 c | 24019 | 1934 8328 25416 | 2147483647 16604 62 | 0.000 % |
2.57/2.63 c | 24165 | 1934 8328 25416 | 2147483647 16750 62 | 0.000 % |
2.57/2.66 c | 24325 | 1934 8328 25416 | 2147483647 16910 62 | 0.000 % |
2.57/2.68 c | 24501 | 1934 8328 25416 | 2147483647 17086 62 | 0.000 % |
2.67/2.72 c | 24694 | 1934 8328 25416 | 2147483647 17279 62 | 0.000 % |
2.67/2.76 c | 24908 | 1934 8328 25416 | 2147483647 17493 62 | 0.000 % |
2.67/2.80 c | 25142 | 1934 8328 25416 | 2147483647 17727 62 | 0.000 % |
2.78/2.84 c | 25398 | 1934 8328 25416 | 2147483647 17983 62 | 0.000 % |
2.78/2.89 c | 25681 | 1934 8328 25416 | 2147483647 18266 62 | 0.000 % |
2.88/2.94 c | 25990 | 1934 8328 25416 | 2147483647 18575 62 | 0.000 % |
2.98/3.00 c | 26332 | 1934 8328 25416 | 2147483647 18917 63 | 0.000 % |
2.98/3.06 c | 26704 | 1934 8328 25416 | 2147483647 19289 63 | 0.000 % |
3.08/3.13 c | 27113 | 1934 8328 25416 | 2147483647 19698 63 | 0.000 % |
3.18/3.21 c | 27563 | 1934 8328 25416 | 2147483647 20148 63 | 0.000 % |
3.18/3.23 c | 27663 | 1934 8328 25416 | 2147483647 20248 63 | 0.000 % |
3.18/3.25 c | 27773 | 1934 8328 25416 | 2147483647 20358 63 | 0.000 % |
3.18/3.28 c | 27896 | 1934 8328 25416 | 2147483647 20481 63 | 0.000 % |
3.28/3.30 c | 28029 | 1934 8328 25416 | 2147483647 20614 63 | 0.000 % |
3.28/3.33 c | 28176 | 1934 8328 25416 | 2147483647 20761 63 | 0.000 % |
3.28/3.36 c | 28338 | 1934 8328 25416 | 2147483647 20923 63 | 0.000 % |
3.38/3.40 c | 28514 | 1934 8328 25416 | 2147483647 21099 63 | 0.000 % |
3.38/3.43 c | 28707 | 1934 8328 25416 | 2147483647 21292 63 | 0.000 % |
3.38/3.48 c | 28920 | 1934 8328 25416 | 2147483647 21505 63 | 0.000 % |
3.48/3.52 c | 29153 | 1934 8328 25416 | 2147483647 21738 63 | 0.000 % |
3.48/3.57 c | 29410 | 1934 8328 25416 | 2147483647 21995 63 | 0.000 % |
3.58/3.63 c | 29692 | 1934 8328 25416 | 2147483647 22277 63 | 0.000 % |
3.58/3.69 c | 30001 | 1934 8328 25416 | 2147483647 22586 63 | 0.000 % |
3.68/3.75 c | 30342 | 1934 8328 25416 | 2147483647 22927 62 | 0.000 % |
3.78/3.83 c | 30715 | 1934 8328 25416 | 2147483647 23300 62 | 0.000 % |
3.88/3.92 c | 31126 | 1934 8328 25416 | 2147483647 23711 63 | 0.000 % |
3.98/4.02 c | 31577 | 1934 8328 25416 | 2147483647 24162 63 | 0.000 % |
4.08/4.13 c | 32072 | 1934 8328 25416 | 2147483647 24657 63 | 0.000 % |
4.08/4.15 c | 32172 | 1934 8328 25416 | 2147483647 24757 63 | 0.000 % |
4.08/4.18 c | 32282 | 1934 8328 25416 | 2147483647 24867 63 | 0.000 % |
4.17/4.21 c | 32404 | 1934 8328 25416 | 2147483647 24989 63 | 0.000 % |
4.17/4.24 c | 32538 | 1934 8328 25416 | 2147483647 25123 63 | 0.000 % |
4.17/4.28 c | 32684 | 1934 8328 25416 | 2147483647 25269 63 | 0.000 % |
4.28/4.31 c | 32844 | 1934 8328 25416 | 2147483647 25429 63 | 0.000 % |
4.28/4.35 c | 33020 | 1934 8328 25416 | 2147483647 25605 63 | 0.000 % |
4.28/4.40 c | 33214 | 1934 8328 25416 | 2147483647 25799 63 | 0.000 % |
4.38/4.44 c | 33426 | 1934 8328 25416 | 2147483647 26011 63 | 0.000 % |
4.38/4.49 c | 33662 | 1934 8328 25416 | 2147483647 26247 63 | 0.000 % |
4.47/4.55 c | 33921 | 1934 8328 25416 | 2147483647 26506 63 | 0.000 % |
4.57/4.62 c | 34205 | 1934 8328 25416 | 2147483647 26790 63 | 0.000 % |
4.57/4.69 c | 34514 | 1934 8328 25416 | 2147483647 27099 63 | 0.000 % |
4.67/4.77 c | 34853 | 1934 8328 25416 | 2147483647 27438 63 | 0.000 % |
4.77/4.86 c | 35226 | 1934 8328 25416 | 2147483647 27811 63 | 0.000 % |
4.87/4.95 c | 35637 | 1934 8328 25416 | 2147483647 28222 63 | 0.000 % |
4.97/5.06 c | 36086 | 1934 8328 25416 | 2147483647 28671 63 | 0.000 % |
5.07/5.19 c | 36579 | 1934 8328 25416 | 2147483647 29164 63 | 0.000 % |
5.28/5.33 c | 37123 | 1934 8328 25416 | 2147483647 29708 63 | 0.000 % |
5.28/5.35 c | 37223 | 1934 8328 25416 | 2147483647 29808 63 | 0.000 % |
5.28/5.38 c | 37333 | 1934 8328 25416 | 2147483647 29918 63 | 0.000 % |
5.38/5.42 c | 37455 | 1934 8328 25416 | 2147483647 30040 63 | 0.000 % |
5.38/5.46 c | 37588 | 1934 8328 25416 | 2147483647 30173 63 | 0.000 % |
5.48/5.50 c | 37734 | 1934 8328 25416 | 2147483647 30319 63 | 0.000 % |
5.48/5.55 c | 37897 | 1934 8328 25416 | 2147483647 30482 63 | 0.000 % |
5.58/5.60 c | 38073 | 1934 8328 25416 | 2147483647 30658 63 | 0.000 % |
5.58/5.65 c | 38268 | 1934 8328 25416 | 2147483647 30853 63 | 0.000 % |
5.68/5.71 c | 38480 | 1934 8328 25416 | 2147483647 31065 63 | 0.000 % |
5.68/5.77 c | 38715 | 1934 8328 25416 | 2147483647 31300 63 | 0.000 % |
5.78/5.84 c | 38971 | 1934 8328 25416 | 2147483647 31556 63 | 0.000 % |
5.88/5.91 c | 39254 | 1934 8328 25416 | 2147483647 31839 63 | 0.000 % |
5.98/6.00 c | 39564 | 1934 8328 25416 | 2147483647 32149 63 | 0.000 % |
6.07/6.10 c | 39905 | 1934 8328 25416 | 2147483647 32490 63 | 0.000 % |
6.17/6.20 c | 40280 | 1934 8328 25416 | 2147483647 32865 63 | 0.000 % |
6.27/6.32 c | 40689 | 1934 8328 25416 | 2147483647 33274 63 | 0.000 % |
6.37/6.44 c | 41139 | 1934 8328 25416 | 2147483647 33724 63 | 0.000 % |
6.48/6.58 c | 41632 | 1934 8328 25416 | 2147483647 34217 63 | 0.000 % |
6.67/6.74 c | 42175 | 1934 8328 25416 | 2147483647 34760 63 | 0.000 % |
6.87/6.91 c | 42772 | 1934 8328 25416 | 2147483647 35357 63 | 0.000 % |
6.87/6.93 c | 42873 | 1934 8328 25416 | 2147483647 35458 63 | 0.000 % |
6.87/6.98 c | 42983 | 1934 8328 25416 | 2147483647 35568 63 | 0.000 % |
6.97/7.01 c | 43104 | 1934 8328 25416 | 2147483647 35689 63 | 0.000 % |
6.97/7.06 c | 43237 | 1934 8328 25416 | 2147483647 35822 63 | 0.000 % |
7.07/7.11 c | 43383 | 1934 8328 25416 | 2147483647 35968 63 | 0.000 % |
7.07/7.16 c | 43544 | 1934 8328 25416 | 2147483647 36129 63 | 0.000 % |
7.17/7.23 c | 43721 | 1934 8328 25416 | 2147483647 36306 63 | 0.000 % |
7.17/7.29 c | 43914 | 1934 8328 25416 | 2147483647 36499 63 | 0.000 % |
7.27/7.36 c | 44127 | 1934 8328 25416 | 2147483647 36712 63 | 0.000 % |
7.37/7.43 c | 44360 | 1934 8328 25416 | 2147483647 36945 63 | 0.000 % |
7.47/7.51 c | 44617 | 1934 8328 25416 | 2147483647 37202 63 | 0.000 % |
7.57/7.61 c | 44898 | 1934 8328 25416 | 2147483647 37483 63 | 0.000 % |
7.68/7.71 c | 45207 | 1934 8328 25416 | 2147483647 37792 63 | 0.000 % |
7.78/7.82 c | 45547 | 1934 8328 25416 | 2147483647 38132 63 | 0.000 % |
7.88/7.94 c | 45919 | 1934 8328 25416 | 2147483647 38504 63 | 0.000 % |
7.98/8.08 c | 46328 | 1934 8328 25416 | 2147483647 38913 63 | 0.000 % |
8.17/8.23 c | 46778 | 1934 8328 25416 | 2147483647 39363 63 | 0.000 % |
8.27/8.38 c | 47272 | 1934 8328 25416 | 2147483647 39857 63 | 0.000 % |
8.47/8.56 c | 47814 | 1934 8328 25416 | 2147483647 40399 63 | 0.000 % |
8.68/8.76 c | 48410 | 1934 8328 25416 | 2147483647 40995 63 | 0.000 % |
8.87/8.99 c | 49067 | 1934 8328 25416 | 2147483647 41652 63 | 0.000 % |
8.97/9.04 c | 49168 | 1934 8328 25416 | 2147483647 41753 63 | 0.000 % |
8.97/9.08 c | 49278 | 1934 8328 25416 | 2147483647 41863 63 | 0.000 % |
9.07/9.13 c | 49399 | 1934 8328 25416 | 2147483647 41984 63 | 0.000 % |
9.07/9.17 c | 49533 | 1934 8328 25416 | 2147483647 42118 63 | 0.000 % |
9.17/9.23 c | 49680 | 1934 8328 25416 | 2147483647 42265 63 | 0.000 % |
9.17/9.30 c | 49841 | 1934 8328 25416 | 2147483647 42426 63 | 0.000 % |
9.27/9.36 c | 50017 | 1934 8328 25416 | 2147483647 42602 63 | 0.000 % |
9.37/9.43 c | 50211 | 1934 8328 25416 | 2147483647 42796 63 | 0.000 % |
9.47/9.52 c | 50425 | 1934 8328 25416 | 2147483647 43010 63 | 0.000 % |
9.57/9.61 c | 50658 | 1934 8328 25416 | 2147483647 43243 63 | 0.000 % |
9.67/9.71 c | 50917 | 1934 8328 25416 | 2147483647 43502 63 | 0.000 % |
9.78/9.82 c | 51198 | 1934 8328 25416 | 2147483647 43783 63 | 0.000 % |
9.88/9.92 c | 51507 | 1934 8328 25416 | 2147483647 44092 63 | 0.000 % |
9.97/10.05 c | 51847 | 1934 8328 25416 | 2147483647 44432 63 | 0.000 % |
10.07/10.19 c | 52219 | 1934 8328 25416 | 2147483647 44804 63 | 0.000 % |
10.27/10.35 c | 52628 | 1934 8328 25416 | 2147483647 45213 63 | 0.000 % |
10.47/10.51 c | 53077 | 1934 8328 25416 | 2147483647 45662 63 | 0.000 % |
10.67/10.70 c | 53570 | 1934 8328 25416 | 2147483647 46155 63 | 0.000 % |
10.88/10.92 c | 54113 | 1934 8328 25416 | 2147483647 46698 63 | 0.000 % |
11.08/11.14 c | 54709 | 1934 8328 25416 | 2147483647 47294 63 | 0.000 % |
11.28/11.39 c | 55366 | 1934 8328 25416 | 2147483647 47951 64 | 0.000 % |
11.58/11.68 c | 56086 | 1934 8328 25416 | 2147483647 48671 64 | 0.000 % |
11.68/11.73 c | 56186 | 1934 8328 25416 | 2147483647 48771 64 | 0.000 % |
11.68/11.78 c | 56298 | 1934 8328 25416 | 2147483647 48883 64 | 0.000 % |
11.78/11.83 c | 56419 | 1934 8328 25416 | 2147483647 49004 64 | 0.000 % |
11.78/11.90 c | 56553 | 1934 8328 25416 | 2147483647 49138 64 | 0.000 % |
11.88/11.97 c | 56702 | 1934 8328 25416 | 2147483647 49287 64 | 0.000 % |
11.98/12.04 c | 56862 | 1934 8328 25416 | 2147483647 49447 64 | 0.000 % |
12.08/12.12 c | 57039 | 1934 8328 25416 | 2147483647 49624 64 | 0.000 % |
12.17/12.21 c | 57233 | 1934 8328 25416 | 2147483647 49818 64 | 0.000 % |
12.27/12.30 c | 57445 | 1934 8328 25416 | 2147483647 50030 64 | 0.000 % |
12.37/12.40 c | 57679 | 1934 8328 25416 | 2147483647 50264 63 | 0.000 % |
12.47/12.52 c | 57937 | 1934 8328 25416 | 2147483647 50522 64 | 0.000 % |
12.57/12.65 c | 58218 | 1934 8328 25416 | 2147483647 50803 64 | 0.000 % |
12.67/12.79 c | 58527 | 1934 8328 25416 | 2147483647 51112 64 | 0.000 % |
12.87/12.94 c | 58866 | 1934 8328 25416 | 2147483647 51451 64 | 0.000 % |
12.97/13.09 c | 59238 | 1934 8328 25416 | 2147483647 51823 64 | 0.000 % |
13.18/13.27 c | 59647 | 1934 8328 25416 | 2147483647 52232 64 | 0.000 % |
13.37/13.45 c | 60099 | 1934 8328 25416 | 2147483647 52684 64 | 0.000 % |
13.57/13.66 c | 60592 | 1934 8328 25416 | 2147483647 53177 64 | 0.000 % |
13.87/13.90 c | 61134 | 1934 8328 25416 | 2147483647 53719 64 | 0.000 % |
14.07/14.15 c | 61730 | 1934 8328 25416 | 2147483647 54315 64 | 0.000 % |
14.37/14.45 c | 62385 | 1934 8328 25416 | 2147483647 54970 64 | 0.000 % |
14.67/14.76 c | 63107 | 1934 8328 25416 | 2147483647 55692 64 | 0.000 % |
15.07/15.14 c | 63900 | 1934 8328 25416 | 2147483647 56485 64 | 0.000 % |
15.07/15.20 c | 64001 | 1934 8328 25416 | 2147483647 56586 64 | 0.000 % |
15.17/15.27 c | 64113 | 1934 8328 25416 | 2147483647 56698 64 | 0.000 % |
15.27/15.32 c | 64238 | 1934 8328 25416 | 2147483647 56823 64 | 0.000 % |
15.27/15.39 c | 64373 | 1934 8328 25416 | 2147483647 56958 64 | 0.000 % |
15.37/15.46 c | 64519 | 1934 8328 25416 | 2147483647 57104 64 | 0.000 % |
15.48/15.54 c | 64679 | 1934 8328 25416 | 2147483647 57264 64 | 0.000 % |
15.58/15.64 c | 64858 | 1934 8328 25416 | 2147483647 57443 64 | 0.000 % |
15.68/15.74 c | 65051 | 1934 8328 25416 | 2147483647 57636 64 | 0.000 % |
15.77/15.84 c | 65264 | 1934 8328 25416 | 2147483647 57849 64 | 0.000 % |
15.87/15.96 c | 65499 | 1934 8328 25416 | 2147483647 58084 64 | 0.000 % |
15.97/16.09 c | 65756 | 1934 8328 25416 | 2147483647 58341 64 | 0.000 % |
16.17/16.21 c | 66037 | 1934 8328 25416 | 2147483647 58622 64 | 0.000 % |
16.27/16.37 c | 66346 | 1934 8328 25416 | 2147483647 58931 64 | 0.000 % |
16.47/16.53 c | 66685 | 1934 8328 25416 | 2147483647 59270 64 | 0.000 % |
16.67/16.71 c | 67057 | 1934 8328 25416 | 2147483647 59642 64 | 0.000 % |
16.87/16.93 c | 67466 | 1934 8328 25416 | 2147483647 60051 64 | 0.000 % |
17.07/17.14 c | 67915 | 1934 8328 25416 | 2147483647 60500 64 | 0.000 % |
17.27/17.36 c | 68408 | 1934 8328 25416 | 2147483647 60993 64 | 0.000 % |
17.57/17.63 c | 68951 | 1934 8328 25416 | 2147483647 61536 64 | 0.000 % |
17.87/17.91 c | 69547 | 1934 8328 25416 | 2147483647 62132 64 | 0.000 % |
18.17/18.23 c | 70202 | 1934 8328 25416 | 2147483647 62787 64 | 0.000 % |
18.47/18.60 c | 70924 | 1934 8328 25416 | 2147483647 63509 64 | 0.000 % |
18.87/18.97 c | 71716 | 1934 8328 25416 | 2147483647 64301 64 | 0.000 % |
19.37/19.44 c | 72587 | 1934 8328 25416 | 2147483647 65172 64 | 0.000 % |
19.37/19.50 c | 72688 | 1934 8328 25416 | 2147483647 65273 64 | 0.000 % |
19.47/19.56 c | 72798 | 1934 8328 25416 | 2147483647 65383 64 | 0.000 % |
19.57/19.64 c | 72922 | 1934 8328 25416 | 2147483647 65507 64 | 0.000 % |
19.68/19.72 c | 73055 | 1934 8328 25416 | 2147483647 65640 64 | 0.000 % |
19.78/19.81 c | 73201 | 1934 8328 25416 | 2147483647 65786 64 | 0.000 % |
19.87/19.90 c | 73362 | 1934 8328 25416 | 2147483647 65947 64 | 0.000 % |
19.87/19.99 c | 73538 | 1934 8328 25416 | 2147483647 66123 64 | 0.000 % |
20.07/20.11 c | 73734 | 1934 8328 25416 | 2147483647 66319 64 | 0.000 % |
20.17/20.24 c | 73947 | 1934 8328 25416 | 2147483647 66532 64 | 0.000 % |
20.27/20.36 c | 74180 | 1934 8328 25416 | 2147483647 66765 64 | 0.000 % |
20.37/20.50 c | 74437 | 1934 8328 25416 | 2147483647 67022 64 | 0.000 % |
20.57/20.63 c | 74719 | 1934 8328 25416 | 2147483647 67304 64 | 0.000 % |
20.77/20.81 c | 75030 | 1934 8328 25416 | 2147483647 67615 64 | 0.000 % |
20.97/21.02 c | 75371 | 1934 8328 25416 | 2147483647 67956 64 | 0.000 % |
21.17/21.24 c | 75743 | 1934 8328 25416 | 2147483647 68328 64 | 0.000 % |
21.47/21.50 c | 76154 | 1934 8328 25416 | 2147483647 68739 64 | 0.000 % |
21.67/21.75 c | 76604 | 1934 8328 25416 | 2147483647 69189 64 | 0.000 % |
21.97/22.01 c | 77097 | 1934 8328 25416 | 2147483647 69682 64 | 0.000 % |
22.27/22.34 c | 77639 | 1934 8328 25416 | 2147483647 70224 64 | 0.000 % |
22.57/22.65 c | 78235 | 1934 8328 25416 | 2147483647 70820 64 | 0.000 % |
22.97/23.03 c | 78890 | 1934 8328 25416 | 2147483647 71475 64 | 0.000 % |
23.37/23.47 c | 79610 | 1934 8328 25416 | 2147483647 72195 64 | 0.000 % |
23.77/23.90 c | 80402 | 1934 8328 25416 | 2147483647 72987 64 | 0.000 % |
24.27/24.39 c | 81277 | 1934 8328 25416 | 2147483647 73862 64 | 0.000 % |
24.87/24.98 c | 82236 | 1934 8328 25416 | 2147483647 74821 64 | 0.000 % |
24.97/25.05 c | 82337 | 1934 8328 25416 | 2147483647 74922 64 | 0.000 % |
25.07/25.12 c | 82448 | 1934 8328 25416 | 2147483647 75033 64 | 0.000 % |
25.07/25.19 c | 82571 | 1934 8328 25416 | 2147483647 75156 64 | 0.000 % |
25.17/25.28 c | 82704 | 1934 8328 25416 | 2147483647 75289 64 | 0.000 % |
25.27/25.37 c | 82850 | 1934 8328 25416 | 2147483647 75435 64 | 0.000 % |
25.37/25.47 c | 83010 | 1934 8328 25416 | 2147483647 75595 64 | 0.000 % |
25.46/25.58 c | 83186 | 1934 8328 25416 | 2147483647 75771 64 | 0.000 % |
25.66/25.70 c | 83379 | 1934 8328 25416 | 2147483647 75964 64 | 0.000 % |
25.76/25.83 c | 83591 | 1934 8328 25416 | 2147483647 76176 64 | 0.000 % |
25.86/25.97 c | 83826 | 1934 8328 25416 | 2147483647 76411 64 | 0.000 % |
26.06/26.12 c | 84082 | 1934 8328 25416 | 2147483647 76667 64 | 0.000 % |
26.28/26.30 c | 84364 | 1934 8328 25416 | 2147483647 76949 64 | 0.000 % |
26.38/26.49 c | 84673 | 1934 8328 25416 | 2147483647 77258 64 | 0.000 % |
26.67/26.71 c | 85014 | 1934 8328 25416 | 2147483647 77599 64 | 0.000 % |
26.87/26.95 c | 85386 | 1934 8328 25416 | 2147483647 77971 64 | 0.000 % |
27.17/27.20 c | 85796 | 1934 8328 25416 | 2147483647 78381 64 | 0.000 % |
27.37/27.45 c | 86246 | 1934 8328 25416 | 2147483647 78831 64 | 0.000 % |
27.67/27.75 c | 86740 | 1934 8328 25416 | 2147483647 79325 64 | 0.000 % |
27.97/28.05 c | 87282 | 1934 8328 25416 | 2147483647 79867 64 | 0.000 % |
28.37/28.42 c | 87878 | 1934 8328 25416 | 2147483647 80463 64 | 0.000 % |
28.77/28.83 c | 88533 | 1934 8328 25416 | 2147483647 81118 64 | 0.000 % |
29.27/29.32 c | 89253 | 1934 8328 25416 | 2147483647 81838 64 | 0.000 % |
29.77/29.87 c | 90047 | 1934 8328 25416 | 2147483647 82632 64 | 0.000 % |
30.37/30.43 c | 90918 | 1934 8328 25416 | 2147483647 83503 64 | 0.000 % |
30.96/31.06 c | 91876 | 1934 8328 25416 | 2147483647 84461 64 | 0.000 % |
31.66/31.74 c | 92930 | 1934 8328 25416 | 2147483647 85515 64 | 0.000 % |
31.77/31.80 c | 93030 | 1934 8328 25416 | 2147483647 85615 64 | 0.000 % |
31.87/31.90 c | 93144 | 1934 8328 25416 | 2147483647 85729 64 | 0.000 % |
31.87/31.99 c | 93265 | 1934 8328 25416 | 2147483647 85850 64 | 0.000 % |
31.96/32.09 c | 93398 | 1934 8328 25416 | 2147483647 85983 64 | 0.000 % |
32.06/32.19 c | 93544 | 1934 8328 25416 | 2147483647 86129 64 | 0.000 % |
32.26/32.32 c | 93704 | 1934 8328 25416 | 2147483647 86289 64 | 0.000 % |
32.36/32.44 c | 93880 | 1934 8328 25416 | 2147483647 86465 64 | 0.000 % |
32.46/32.58 c | 94073 | 1934 8328 25416 | 2147483647 86658 64 | 0.000 % |
32.66/32.74 c | 94285 | 1934 8328 25416 | 2147483647 86870 64 | 0.000 % |
32.87/32.93 c | 94518 | 1934 8328 25416 | 2147483647 87103 64 | 0.000 % |
33.06/33.12 c | 94775 | 1934 8328 25416 | 2147483647 87360 64 | 0.000 % |
33.26/33.31 c | 95056 | 1934 8328 25416 | 2147483647 87641 64 | 0.000 % |
33.46/33.56 c | 95366 | 1934 8328 25416 | 2147483647 87951 64 | 0.000 % |
33.77/33.83 c | 95706 | 1934 8328 25416 | 2147483647 88291 64 | 0.000 % |
33.97/34.08 c | 96078 | 1934 8328 25416 | 2147483647 88663 64 | 0.000 % |
34.37/34.40 c | 96487 | 1934 8328 25416 | 2147483647 89072 64 | 0.000 % |
34.67/34.73 c | 96938 | 1934 8328 25416 | 2147483647 89523 64 | 0.000 % |
35.07/35.15 c | 97431 | 1934 8328 25416 | 2147483647 90016 64 | 0.000 % |
35.47/35.53 c | 97973 | 1934 8328 25416 | 2147483647 90558 64 | 0.000 % |
35.87/35.94 c | 98569 | 1934 8328 25416 | 2147483647 91154 64 | 0.000 % |
36.36/36.43 c | 99224 | 1934 8328 25416 | 2147483647 91809 64 | 0.000 % |
36.86/36.94 c | 99945 | 1934 8328 25416 | 2147483647 92530 64 | 0.000 % |
37.46/37.56 c | 100739 | 1934 8328 25416 | 92587 83561 64 | 0.000 % |
38.06/38.13 c | 101610 | 1934 8328 25416 | 92587 84432 64 | 0.000 % |
38.66/38.78 c | 102568 | 1934 8328 25416 | 92587 85390 64 | 0.000 % |
39.36/39.47 c | 103621 | 1934 8328 25416 | 92587 86443 64 | 0.000 % |
40.16/40.22 c | 104780 | 1934 8328 25416 | 92587 87602 64 | 0.000 % |
40.16/40.29 c | 104880 | 1934 8328 25416 | 92587 87702 64 | 0.000 % |
40.26/40.37 c | 104990 | 1934 8328 25416 | 92587 87812 64 | 0.000 % |
40.36/40.47 c | 105111 | 1934 8328 25416 | 92587 87933 64 | 0.000 % |
40.46/40.57 c | 105247 | 1934 8328 25416 | 92587 88069 64 | 0.000 % |
40.56/40.68 c | 105397 | 1934 8328 25416 | 92587 88219 64 | 0.000 % |
40.76/40.82 c | 105558 | 1934 8328 25416 | 92587 88380 64 | 0.000 % |
40.86/40.97 c | 105737 | 1934 8328 25416 | 92587 88559 64 | 0.000 % |
41.06/41.12 c | 105930 | 1934 8328 25416 | 92587 88752 64 | 0.000 % |
41.16/41.27 c | 106143 | 1934 8328 25416 | 92587 88965 64 | 0.000 % |
41.36/41.44 c | 106377 | 1934 8328 25416 | 92587 89199 64 | 0.000 % |
41.56/41.61 c | 106634 | 1934 8328 25416 | 92587 89456 64 | 0.000 % |
41.77/41.83 c | 106919 | 1934 8328 25416 | 92587 89741 64 | 0.000 % |
41.96/42.05 c | 107229 | 1934 8328 25416 | 92587 90051 64 | 0.000 % |
42.16/42.29 c | 107568 | 1934 8328 25416 | 92587 90390 64 | 0.000 % |
42.56/42.62 c | 107942 | 1934 8328 25416 | 92587 90764 64 | 0.000 % |
42.86/42.91 c | 108351 | 1934 8328 25416 | 92587 91173 64 | 0.000 % |
43.16/43.20 c | 108800 | 1934 8328 25416 | 92587 91622 64 | 0.000 % |
43.46/43.59 c | 109294 | 1934 8328 25416 | 92587 92116 64 | 0.000 % |
43.86/43.98 c | 109838 | 1934 8328 25416 | 92587 92660 64 | 0.000 % |
44.36/44.42 c | 110434 | 1934 8328 25416 | 82251 73563 64 | 0.000 % |
44.66/44.79 c | 111089 | 1934 8328 25416 | 82251 74218 64 | 0.000 % |
45.16/45.21 c | 111809 | 1934 8328 25416 | 82251 74938 64 | 0.000 % |
45.56/45.66 c | 112602 | 1934 8328 25416 | 82251 75731 64 | 0.000 % |
46.06/46.17 c | 113473 | 1934 8328 25416 | 82251 76602 64 | 0.000 % |
46.66/46.76 c | 114434 | 1934 8328 25416 | 82251 77563 64 | 0.000 % |
47.26/47.37 c | 115487 | 1934 8328 25416 | 82251 78616 64 | 0.000 % |
47.96/48.07 c | 116646 | 1934 8328 25416 | 82251 79775 65 | 0.000 % |
48.76/48.89 c | 117919 | 1934 8328 25416 | 82251 81048 65 | 0.000 % |
48.86/48.95 c | 118020 | 1934 8328 25416 | 82251 81149 65 | 0.000 % |
48.96/49.03 c | 118130 | 1934 8328 25416 | 82251 81259 65 | 0.000 % |
49.06/49.11 c | 118251 | 1934 8328 25416 | 82251 81380 65 | 0.000 % |
49.16/49.23 c | 118384 | 1934 8328 25416 | 82251 81513 65 | 0.000 % |
49.26/49.34 c | 118531 | 1934 8328 25416 | 82251 81660 65 | 0.000 % |
49.36/49.47 c | 118691 | 1934 8328 25416 | 82251 81820 65 | 0.000 % |
49.46/49.59 c | 118869 | 1934 8328 25416 | 82251 81998 65 | 0.000 % |
49.66/49.72 c | 119063 | 1934 8328 25416 | 82251 82192 65 | 0.000 % |
49.76/49.88 c | 119277 | 1934 8328 25416 | 82251 82406 65 | 0.000 % |
49.96/50.06 c | 119510 | 1934 8328 25416 | 82251 74399 65 | 0.000 % |
50.16/50.25 c | 119768 | 1934 8328 25416 | 82251 74657 65 | 0.000 % |
50.36/50.41 c | 120049 | 1934 8328 25416 | 2147483647 74938 65 | 0.000 % |
50.56/50.61 c | 120359 | 1934 8328 25416 | 2147483647 75248 65 | 0.000 % |
50.76/50.81 c | 120698 | 1934 8328 25416 | 2147483647 75587 65 | 0.000 % |
50.96/51.01 c | 121071 | 1934 8328 25416 | 2147483647 75960 65 | 0.000 % |
51.16/51.26 c | 121480 | 1934 8328 25416 | 2147483647 76369 65 | 0.000 % |
51.46/51.53 c | 121930 | 1934 8328 25416 | 2147483647 76819 65 | 0.000 % |
51.76/51.82 c | 122423 | 1934 8328 25416 | 2147483647 77312 65 | 0.000 % |
52.06/52.16 c | 122965 | 1934 8328 25416 | 2147483647 77854 65 | 0.000 % |
52.46/52.52 c | 123561 | 1934 8328 25416 | 2147483647 78450 65 | 0.000 % |
52.86/52.95 c | 124216 | 1934 8328 25416 | 2147483647 79105 65 | 0.000 % |
53.36/53.40 c | 124937 | 1934 8328 25416 | 2147483647 79826 65 | 0.000 % |
53.86/53.91 c | 125729 | 1934 8328 25416 | 2147483647 80618 65 | 0.000 % |
54.36/54.46 c | 126601 | 1934 8328 25416 | 2147483647 81490 65 | 0.000 % |
54.96/55.08 c | 127559 | 1934 8328 25416 | 2147483647 82448 65 | 0.000 % |
55.65/55.78 c | 128613 | 1934 8328 25416 | 2147483647 83502 65 | 0.000 % |
56.45/56.52 c | 129775 | 1934 8328 25416 | 2147483647 84664 65 | 0.000 % |
57.25/57.32 c | 131048 | 1934 8328 25416 | 2147483647 85937 65 | 0.000 % |
58.16/58.23 c | 132448 | 1934 8328 25416 | 2147483647 87337 65 | 0.000 % |
58.26/58.31 c | 132549 | 1934 8328 25416 | 2147483647 87438 65 | 0.000 % |
58.36/58.41 c | 132661 | 1934 8328 25416 | 2147483647 87550 65 | 0.000 % |
58.36/58.50 c | 132782 | 1934 8328 25416 | 2147483647 87671 65 | 0.000 % |
58.46/58.58 c | 132915 | 1934 8328 25416 | 2147483647 87804 65 | 0.000 % |
58.56/58.68 c | 133061 | 1934 8328 25416 | 2147483647 87950 65 | 0.000 % |
58.76/58.81 c | 133221 | 1934 8328 25416 | 2147483647 88110 65 | 0.000 % |
58.86/58.95 c | 133397 | 1934 8328 25416 | 2147483647 88286 65 | 0.000 % |
58.96/59.08 c | 133591 | 1934 8328 25416 | 2147483647 88480 65 | 0.000 % |
59.16/59.27 c | 133803 | 1934 8328 25416 | 2147483647 88692 65 | 0.000 % |
59.36/59.45 c | 134036 | 1934 8328 25416 | 2147483647 88925 65 | 0.000 % |
59.55/59.64 c | 134293 | 1934 8328 25416 | 2147483647 89182 65 | 0.000 % |
59.75/59.87 c | 134574 | 1934 8328 25416 | 2147483647 89463 65 | 0.000 % |
60.05/60.11 c | 134883 | 1934 8328 25416 | 2147483647 89772 65 | 0.000 % |
60.36/60.41 c | 135222 | 1934 8328 25416 | 2147483647 90111 65 | 0.000 % |
60.55/60.69 c | 135595 | 1934 8328 25416 | 2147483647 90484 65 | 0.000 % |
60.85/60.99 c | 136004 | 1934 8328 25416 | 2147483647 90893 65 | 0.000 % |
61.25/61.32 c | 136454 | 1934 8328 25416 | 2147483647 91343 65 | 0.000 % |
61.56/61.68 c | 136947 | 1934 8328 25416 | 2147483647 91836 65 | 0.000 % |
61.96/62.04 c | 137490 | 1934 8328 25416 | 2147483647 92379 65 | 0.000 % |
62.36/62.46 c | 138086 | 1934 8328 25416 | 2147483647 92975 65 | 0.000 % |
62.86/62.98 c | 138741 | 1934 8328 25416 | 2147483647 93630 65 | 0.000 % |
63.46/63.50 c | 139463 | 1934 8328 25416 | 2147483647 94352 65 | 0.000 % |
63.96/64.06 c | 140255 | 1934 8328 25416 | 94889 95144 65 | 0.000 % |
64.66/64.70 c | 141126 | 1934 8328 25416 | 94889 85347 65 | 0.000 % |
65.26/65.36 c | 142084 | 1934 8328 25416 | 94889 86305 65 | 0.000 % |
65.96/66.07 c | 143137 | 1934 8328 25416 | 94889 87358 65 | 0.000 % |
66.66/66.78 c | 144299 | 1934 8328 25416 | 94889 88520 65 | 0.000 % |
67.46/67.53 c | 145574 | 1934 8328 25416 | 94889 89795 65 | 0.000 % |
68.46/68.51 c | 146975 | 1934 8328 25416 | 94889 91196 65 | 0.000 % |
69.46/69.56 c | 148515 | 1934 8328 25416 | 94889 92736 65 | 0.000 % |
69.56/69.66 c | 148617 | 1934 8328 25416 | 94889 92838 65 | 0.000 % |
69.66/69.76 c | 148727 | 1934 8328 25416 | 94889 92948 65 | 0.000 % |
69.76/69.87 c | 148848 | 1934 8328 25416 | 94889 93069 65 | 0.000 % |
69.86/69.98 c | 148983 | 1934 8328 25416 | 94889 93204 65 | 0.000 % |
69.96/70.09 c | 149129 | 1934 8328 25416 | 94889 93350 65 | 0.000 % |
70.16/70.21 c | 149289 | 1934 8328 25416 | 94889 93510 65 | 0.000 % |
70.26/70.34 c | 149470 | 1934 8328 25416 | 94889 93691 65 | 0.000 % |
70.36/70.49 c | 149667 | 1934 8328 25416 | 94889 93888 65 | 0.000 % |
70.56/70.65 c | 149879 | 1934 8328 25416 | 94889 94100 65 | 0.000 % |
70.76/70.85 c | 150112 | 1934 8328 25416 | 94222 94333 65 | 0.000 % |
71.06/71.10 c | 150368 | 1934 8328 25416 | 94222 83668 65 | 0.000 % |
71.16/71.29 c | 150649 | 1934 8328 25416 | 94222 83949 65 | 0.000 % |
71.36/71.49 c | 150959 | 1934 8328 25416 | 94222 84259 65 | 0.000 % |
71.66/71.73 c | 151300 | 1934 8328 25416 | 94222 84600 65 | 0.000 % |
71.86/71.97 c | 151673 | 1934 8328 25416 | 94222 84973 65 | 0.000 % |
72.16/72.23 c | 152082 | 1934 8328 25416 | 94222 85382 65 | 0.000 % |
72.46/72.55 c | 152531 | 1934 8328 25416 | 94222 85831 65 | 0.000 % |
72.86/72.93 c | 153024 | 1934 8328 25416 | 94222 86324 65 | 0.000 % |
73.26/73.32 c | 153568 | 1934 8328 25416 | 94222 86868 65 | 0.000 % |
73.66/73.76 c | 154164 | 1934 8328 25416 | 94222 87464 65 | 0.000 % |
74.06/74.19 c | 154819 | 1934 8328 25416 | 94222 88119 65 | 0.000 % |
74.56/74.66 c | 155540 | 1934 8328 25416 | 94222 88840 65 | 0.000 % |
75.16/75.20 c | 156332 | 1934 8328 25416 | 94222 89632 65 | 0.000 % |
75.66/75.79 c | 157203 | 1934 8328 25416 | 94222 90503 65 | 0.000 % |
76.36/76.48 c | 158161 | 1934 8328 25416 | 94222 91461 65 | 0.000 % |
77.06/77.18 c | 159216 | 1934 8328 25416 | 94222 92516 65 | 0.000 % |
77.96/78.01 c | 160374 | 1934 8328 25416 | 93301 83238 65 | 0.000 % |
78.76/78.80 c | 161648 | 1934 8328 25416 | 93301 84512 65 | 0.000 % |
79.55/79.67 c | 163048 | 1934 8328 25416 | 93301 85912 65 | 0.000 % |
80.55/80.65 c | 164588 | 1934 8328 25416 | 93301 87452 65 | 0.000 % |
81.65/81.72 c | 166283 | 1934 8328 25416 | 93301 89147 65 | 0.000 % |
81.65/81.79 c | 166384 | 1934 8328 25416 | 93301 89248 65 | 0.000 % |
81.75/81.88 c | 166494 | 1934 8328 25416 | 93301 89358 65 | 0.000 % |
81.85/81.98 c | 166615 | 1934 8328 25416 | 93301 89479 65 | 0.000 % |
81.95/82.08 c | 166750 | 1934 8328 25416 | 93301 89614 65 | 0.000 % |
82.05/82.19 c | 166896 | 1934 8328 25416 | 93301 89760 65 | 0.000 % |
82.25/82.31 c | 167057 | 1934 8328 25416 | 93301 89921 65 | 0.000 % |
82.36/82.47 c | 167234 | 1934 8328 25416 | 93301 90098 65 | 0.000 % |
82.55/82.60 c | 167427 | 1934 8328 25416 | 93301 90291 65 | 0.000 % |
82.65/82.76 c | 167639 | 1934 8328 25416 | 93301 90503 65 | 0.000 % |
82.85/82.95 c | 167872 | 1934 8328 25416 | 93301 90736 65 | 0.000 % |
83.05/83.15 c | 168128 | 1934 8328 25416 | 93301 90992 65 | 0.000 % |
83.25/83.35 c | 168409 | 1934 8328 25416 | 93301 91273 65 | 0.000 % |
83.46/83.56 c | 168718 | 1934 8328 25416 | 93301 91582 65 | 0.000 % |
83.75/83.81 c | 169059 | 1934 8328 25416 | 93301 91923 65 | 0.000 % |
83.95/84.09 c | 169432 | 1934 8328 25416 | 93301 92296 65 | 0.000 % |
84.25/84.39 c | 169841 | 1934 8328 25416 | 93301 92705 65 | 0.000 % |
84.66/84.76 c | 170292 | 1934 8328 25416 | 92866 82767 65 | 0.000 % |
84.95/85.08 c | 170787 | 1934 8328 25416 | 92866 83262 65 | 0.000 % |
85.35/85.43 c | 171329 | 1934 8328 25416 | 92866 83804 65 | 0.000 % |
85.66/85.80 c | 171925 | 1934 8328 25416 | 92866 84400 65 | 0.000 % |
86.15/86.25 c | 172580 | 1934 8328 25416 | 92866 85055 65 | 0.000 % |
86.65/86.71 c | 173302 | 1934 8328 25416 | 92866 85777 65 | 0.000 % |
87.15/87.23 c | 174094 | 1934 8328 25416 | 92866 86569 65 | 0.000 % |
87.65/87.79 c | 174968 | 1934 8328 25416 | 92866 87443 65 | 0.000 % |
88.35/88.44 c | 175927 | 1934 8328 25416 | 92866 88402 65 | 0.000 % |
88.96/89.07 c | 176981 | 1934 8328 25416 | 92866 89456 65 | 0.000 % |
89.85/89.93 c | 178139 | 1934 8328 25416 | 92866 90614 65 | 0.000 % |
90.75/90.82 c | 179413 | 1934 8328 25416 | 92866 91888 65 | 0.000 % |
91.85/91.93 c | 180815 | 1934 8328 25416 | 92475 83509 65 | 0.000 % |
92.85/92.91 c | 182355 | 1934 8328 25416 | 92475 85049 66 | 0.000 % |
93.95/94.03 c | 184049 | 1934 8328 25416 | 92475 86743 66 | 0.000 % |
95.15/95.25 c | 185912 | 1934 8328 25416 | 92475 88606 66 | 0.000 % |
95.25/95.32 c | 186012 | 1934 8328 25416 | 92475 88706 66 | 0.000 % |
95.35/95.42 c | 186122 | 1934 8328 25416 | 92475 88816 66 | 0.000 % |
95.45/95.51 c | 186243 | 1934 8328 25416 | 92475 88937 66 | 0.000 % |
95.55/95.63 c | 186377 | 1934 8328 25416 | 92475 89071 66 | 0.000 % |
95.65/95.75 c | 186523 | 1934 8328 25416 | 92475 89217 66 | 0.000 % |
95.75/95.88 c | 186684 | 1934 8328 25416 | 92475 89378 66 | 0.000 % |
95.95/96.02 c | 186860 | 1934 8328 25416 | 92475 89554 66 | 0.000 % |
96.05/96.16 c | 187053 | 1934 8328 25416 | 92475 89747 66 | 0.000 % |
96.25/96.34 c | 187266 | 1934 8328 25416 | 92475 89960 66 | 0.000 % |
96.45/96.52 c | 187499 | 1934 8328 25416 | 92475 90193 66 | 0.000 % |
96.55/96.70 c | 187759 | 1934 8328 25416 | 92475 90453 66 | 0.000 % |
96.85/96.90 c | 188040 | 1934 8328 25416 | 92475 90734 66 | 0.000 % |
97.05/97.18 c | 188350 | 1934 8328 25416 | 92475 91044 66 | 0.000 % |
97.35/97.43 c | 188690 | 1934 8328 25416 | 92475 91384 66 | 0.000 % |
97.65/97.71 c | 189064 | 1934 8328 25416 | 92475 91758 66 | 0.000 % |
97.95/98.02 c | 189475 | 1934 8328 25416 | 92475 92169 66 | 0.000 % |
98.25/98.35 c | 189925 | 1934 8328 25416 | 92475 92619 66 | 0.000 % |
98.65/98.78 c | 190422 | 1934 8328 25416 | 81811 72784 66 | 0.000 % |
98.95/99.09 c | 190964 | 1934 8328 25416 | 81811 73326 66 | 0.000 % |
99.25/99.38 c | 191562 | 1934 8328 25416 | 81811 73924 66 | 0.000 % |
99.65/99.77 c | 192217 | 1934 8328 25416 | 81811 74579 66 | 0.000 % |
100.05/100.19 c | 192940 | 1934 8328 25416 | 81811 75302 66 | 0.000 % |
100.55/100.67 c | 193732 | 1934 8328 25416 | 81811 76094 66 | 0.000 % |
101.15/101.21 c | 194605 | 1934 8328 25416 | 81811 76967 66 | 0.000 % |
101.65/101.78 c | 195563 | 1934 8328 25416 | 81811 77925 66 | 0.000 % |
102.35/102.42 c | 196616 | 1934 8328 25416 | 81811 78978 66 | 0.000 % |
103.05/103.14 c | 197774 | 1934 8328 25416 | 81811 80136 66 | 0.000 % |
103.85/103.92 c | 199047 | 1934 8328 25416 | 81811 81409 66 | 0.000 % |
104.75/104.83 c | 200448 | 1934 8328 25416 | 2147483647 74607 66 | 0.000 % |
105.65/105.72 c | 201989 | 1934 8328 25416 | 2147483647 76148 66 | 0.000 % |
106.55/106.68 c | 203684 | 1934 8328 25416 | 2147483647 77843 66 | 0.000 % |
107.75/107.81 c | 205549 | 1934 8328 25416 | 2147483647 79708 66 | 0.000 % |
108.95/109.02 c | 207599 | 1934 8328 25416 | 2147483647 81758 66 | 0.000 % |
109.05/109.10 c | 207700 | 1934 8328 25416 | 2147483647 81859 66 | 0.000 % |
109.05/109.18 c | 207812 | 1934 8328 25416 | 2147483647 81971 66 | 0.000 % |
109.15/109.27 c | 207934 | 1934 8328 25416 | 2147483647 82093 66 | 0.000 % |
109.25/109.38 c | 208068 | 1934 8328 25416 | 2147483647 82227 66 | 0.000 % |
109.44/109.50 c | 208214 | 1934 8328 25416 | 2147483647 82373 66 | 0.000 % |
109.55/109.62 c | 208377 | 1934 8328 25416 | 2147483647 82536 66 | 0.000 % |
109.65/109.73 c | 208553 | 1934 8328 25416 | 2147483647 82712 66 | 0.000 % |
109.75/109.89 c | 208747 | 1934 8328 25416 | 2147483647 82906 66 | 0.000 % |
109.95/110.03 c | 208960 | 1934 8328 25416 | 2147483647 83119 66 | 0.000 % |
110.05/110.19 c | 209193 | 1934 8328 25416 | 2147483647 83352 66 | 0.000 % |
110.25/110.36 c | 209449 | 1934 8328 25416 | 2147483647 83608 66 | 0.000 % |
110.45/110.56 c | 209730 | 1934 8328 25416 | 2147483647 83889 66 | 0.000 % |
110.65/110.77 c | 210039 | 1934 8328 25416 | 2147483647 84198 66 | 0.000 % |
110.95/111.02 c | 210378 | 1934 8328 25416 | 2147483647 84537 66 | 0.000 % |
111.14/111.29 c | 210751 | 1934 8328 25416 | 2147483647 84910 66 | 0.000 % |
111.44/111.56 c | 211160 | 1934 8328 25416 | 2147483647 85319 66 | 0.000 % |
111.74/111.86 c | 211609 | 1934 8328 25416 | 2147483647 85768 66 | 0.000 % |
112.15/112.21 c | 212103 | 1934 8328 25416 | 2147483647 86262 66 | 0.000 % |
112.44/112.58 c | 212650 | 1934 8328 25416 | 2147483647 86809 66 | 0.000 % |
112.84/112.98 c | 213247 | 1934 8328 25416 | 2147483647 87406 66 | 0.000 % |
113.34/113.44 c | 213903 | 1934 8328 25416 | 2147483647 88062 66 | 0.000 % |
113.84/113.90 c | 214623 | 1934 8328 25416 | 2147483647 88782 66 | 0.000 % |
114.35/114.42 c | 215416 | 1934 8328 25416 | 2147483647 89575 66 | 0.000 % |
114.94/115.06 c | 216287 | 1934 8328 25416 | 2147483647 90446 66 | 0.000 % |
115.64/115.75 c | 217245 | 1934 8328 25416 | 2147483647 91404 66 | 0.000 % |
116.34/116.45 c | 218298 | 1934 8328 25416 | 2147483647 92457 66 | 0.000 % |
117.14/117.25 c | 219456 | 1934 8328 25416 | 2147483647 93615 66 | 0.000 % |
118.04/118.18 c | 220730 | 1934 8328 25416 | 94159 85066 66 | 0.000 % |
118.94/119.05 c | 222130 | 1934 8328 25416 | 94159 86466 66 | 0.000 % |
119.94/120.01 c | 223672 | 1934 8328 25416 | 94159 88008 66 | 0.000 % |
121.04/121.18 c | 225368 | 1934 8328 25416 | 94159 89704 66 | 0.000 % |
122.34/122.42 c | 227234 | 1934 8328 25416 | 94159 91570 66 | 0.000 % |
123.74/123.82 c | 229284 | 1934 8328 25416 | 94159 93620 66 | 0.000 % |
125.24/125.36 c | 231540 | 1934 8328 25416 | 2147483647 95876 66 | 0.000 % |
125.34/125.46 c | 231640 | 1934 8328 25416 | 2147483647 95976 66 | 0.000 % |
125.44/125.54 c | 231750 | 1934 8328 25416 | 2147483647 96086 66 | 0.000 % |
125.54/125.65 c | 231872 | 1934 8328 25416 | 2147483647 96208 66 | 0.000 % |
125.64/125.76 c | 232007 | 1934 8328 25416 | 2147483647 96343 66 | 0.000 % |
125.84/125.90 c | 232153 | 1934 8328 25416 | 2147483647 96489 66 | 0.000 % |
125.94/126.03 c | 232313 | 1934 8328 25416 | 2147483647 96649 66 | 0.000 % |
126.04/126.15 c | 232489 | 1934 8328 25416 | 2147483647 96825 66 | 0.000 % |
126.24/126.31 c | 232682 | 1934 8328 25416 | 2147483647 97018 66 | 0.000 % |
126.34/126.48 c | 232894 | 1934 8328 25416 | 2147483647 97230 66 | 0.000 % |
126.54/126.64 c | 233127 | 1934 8328 25416 | 2147483647 97463 66 | 0.000 % |
126.74/126.84 c | 233387 | 1934 8328 25416 | 2147483647 97723 66 | 0.000 % |
126.94/127.06 c | 233668 | 1934 8328 25416 | 2147483647 98004 66 | 0.000 % |
127.14/127.28 c | 233977 | 1934 8328 25416 | 2147483647 98313 66 | 0.000 % |
127.44/127.55 c | 234319 | 1934 8328 25416 | 2147483647 98655 66 | 0.000 % |
127.74/127.84 c | 234691 | 1934 8328 25416 | 2147483647 99027 66 | 0.000 % |
128.04/128.12 c | 235101 | 1934 8328 25416 | 2147483647 99437 66 | 0.000 % |
128.34/128.46 c | 235550 | 1934 8328 25416 | 2147483647 99886 66 | 0.000 % |
128.84/128.90 c | 236044 | 1934 8328 25416 | 2147483647 100380 66 | 0.000 % |
129.24/129.31 c | 236586 | 1934 8328 25416 | 2147483647 100922 66 | 0.000 % |
129.65/129.80 c | 237183 | 1934 8328 25416 | 2147483647 101519 66 | 0.000 % |
130.24/130.36 c | 237838 | 1934 8328 25416 | 2147483647 102174 66 | 0.000 % |
130.85/130.92 c | 238559 | 1934 8328 25416 | 2147483647 102895 66 | 0.000 % |
131.44/131.56 c | 239353 | 1934 8328 25416 | 2147483647 103689 66 | 0.000 % |
132.04/132.20 c | 240224 | 1934 8328 25416 | 104336 104560 66 | 0.000 % |
132.74/132.88 c | 241182 | 1934 8328 25416 | 104336 91007 66 | 0.000 % |
133.44/133.58 c | 242237 | 1934 8328 25416 | 104336 92062 66 | 0.000 % |
134.24/134.36 c | 243396 | 1934 8328 25416 | 104336 93221 66 | 0.000 % |
135.14/135.28 c | 244671 | 1934 8328 25416 | 104336 94496 66 | 0.000 % |
136.14/136.23 c | 246073 | 1934 8328 25416 | 104336 95898 66 | 0.000 % |
137.24/137.40 c | 247613 | 1934 8328 25416 | 104336 97438 66 | 0.000 % |
138.54/138.62 c | 249307 | 1934 8328 25416 | 104336 99132 66 | 0.000 % |
139.83/139.95 c | 251171 | 1934 8328 25416 | 99826 87775 66 | 0.000 % |
141.13/141.24 c | 253222 | 1934 8328 25416 | 99826 89826 66 | 0.000 % |
142.53/142.70 c | 255476 | 1934 8328 25416 | 99826 92080 66 | 0.000 % |
144.24/144.31 c | 257954 | 1934 8328 25416 | 99826 94558 66 | 0.000 % |
144.24/144.38 c | 258054 | 1934 8328 25416 | 99826 94658 66 | 0.000 % |
144.34/144.50 c | 258165 | 1934 8328 25416 | 99826 94769 66 | 0.000 % |
144.53/144.60 c | 258286 | 1934 8328 25416 | 99826 94890 66 | 0.000 % |
144.63/144.71 c | 258420 | 1934 8328 25416 | 99826 95024 66 | 0.000 % |
144.73/144.83 c | 258566 | 1934 8328 25416 | 99826 95170 66 | 0.000 % |
144.83/144.99 c | 258726 | 1934 8328 25416 | 99826 95330 66 | 0.000 % |
145.04/145.13 c | 258902 | 1934 8328 25416 | 99826 95506 66 | 0.000 % |
145.14/145.29 c | 259095 | 1934 8328 25416 | 99826 95699 66 | 0.000 % |
145.33/145.46 c | 259308 | 1934 8328 25416 | 99826 95912 66 | 0.000 % |
145.53/145.65 c | 259541 | 1934 8328 25416 | 99826 96145 66 | 0.000 % |
145.73/145.86 c | 259798 | 1934 8328 25416 | 99826 96402 66 | 0.000 % |
146.03/146.10 c | 260080 | 1934 8328 25416 | 96605 96684 66 | 0.000 % |
146.33/146.40 c | 260390 | 1934 8328 25416 | 96605 85405 66 | 0.000 % |
146.53/146.67 c | 260729 | 1934 8328 25416 | 96605 85744 66 | 0.000 % |
146.83/146.92 c | 261103 | 1934 8328 25416 | 96605 86118 66 | 0.000 % |
147.13/147.22 c | 261512 | 1934 8328 25416 | 96605 86527 66 | 0.000 % |
147.43/147.53 c | 261961 | 1934 8328 25416 | 96605 86976 66 | 0.000 % |
147.83/147.91 c | 262455 | 1934 8328 25416 | 96605 87470 66 | 0.000 % |
148.13/148.29 c | 262998 | 1934 8328 25416 | 96605 88013 66 | 0.000 % |
148.63/148.71 c | 263595 | 1934 8328 25416 | 96605 88610 66 | 0.000 % |
149.03/149.15 c | 264252 | 1934 8328 25416 | 96605 89267 66 | 0.000 % |
149.53/149.63 c | 264975 | 1934 8328 25416 | 96605 89990 66 | 0.000 % |
150.03/150.11 c | 265769 | 1934 8328 25416 | 96605 90784 66 | 0.000 % |
150.53/150.69 c | 266640 | 1934 8328 25416 | 96605 91655 66 | 0.000 % |
151.33/151.40 c | 267598 | 1934 8328 25416 | 96605 92613 66 | 0.000 % |
152.03/152.14 c | 268654 | 1934 8328 25416 | 96605 93669 66 | 0.000 % |
152.83/152.98 c | 269812 | 1934 8328 25416 | 96605 94827 66 | 0.000 % |
153.73/153.84 c | 271086 | 1934 8328 25416 | 95015 85931 66 | 0.000 % |
154.63/154.78 c | 272486 | 1934 8328 25416 | 95015 87331 66 | 0.000 % |
155.63/155.79 c | 274026 | 1934 8328 25416 | 95015 88871 66 | 0.000 % |
156.83/156.92 c | 275722 | 1934 8328 25416 | 95015 90567 66 | 0.000 % |
158.03/158.16 c | 277586 | 1934 8328 25416 | 95015 92431 66 | 0.000 % |
159.53/159.63 c | 279635 | 1934 8328 25416 | 95015 94480 66 | 0.000 % |
161.03/161.13 c | 281889 | 1934 8328 25416 | 94846 86479 66 | 0.000 % |
162.63/162.73 c | 284367 | 1934 8328 25416 | 94846 88957 66 | 0.000 % |
164.32/164.46 c | 287092 | 1934 8328 25416 | 94846 91682 67 | 0.000 % |
164.42/164.57 c | 287192 | 1934 8328 25416 | 94846 91782 67 | 0.000 % |
164.52/164.65 c | 287303 | 1934 8328 25416 | 94846 91893 67 | 0.000 % |
164.62/164.74 c | 287424 | 1934 8328 25416 | 94846 92014 67 | 0.000 % |
164.72/164.86 c | 287557 | 1934 8328 25416 | 94846 92147 67 | 0.000 % |
164.83/164.98 c | 287704 | 1934 8328 25416 | 94846 92294 67 | 0.000 % |
165.02/165.10 c | 287866 | 1934 8328 25416 | 94846 92456 67 | 0.000 % |
165.12/165.25 c | 288043 | 1934 8328 25416 | 94846 92633 67 | 0.000 % |
165.32/165.41 c | 288237 | 1934 8328 25416 | 94846 92827 67 | 0.000 % |
165.42/165.57 c | 288452 | 1934 8328 25416 | 94846 93042 67 | 0.000 % |
165.62/165.75 c | 288686 | 1934 8328 25416 | 94846 93276 66 | 0.000 % |
165.82/165.96 c | 288944 | 1934 8328 25416 | 94846 93534 66 | 0.000 % |
166.03/166.17 c | 289228 | 1934 8328 25416 | 94846 93818 66 | 0.000 % |
166.32/166.41 c | 289537 | 1934 8328 25416 | 94846 94127 66 | 0.000 % |
166.52/166.67 c | 289878 | 1934 8328 25416 | 94846 94468 66 | 0.000 % |
166.82/166.93 c | 290250 | 1934 8328 25416 | 94590 94840 66 | 0.000 % |
167.13/167.28 c | 290659 | 1934 8328 25416 | 94590 84871 66 | 0.000 % |
167.52/167.61 c | 291108 | 1934 8328 25416 | 94590 85320 66 | 0.000 % |
167.82/167.96 c | 291601 | 1934 8328 25416 | 94590 85813 66 | 0.000 % |
168.23/168.33 c | 292145 | 1934 8328 25416 | 94590 86357 66 | 0.000 % |
168.62/168.71 c | 292741 | 1934 8328 25416 | 94590 86953 66 | 0.000 % |
169.02/169.15 c | 293398 | 1934 8328 25416 | 94590 87610 66 | 0.000 % |
169.52/169.63 c | 294118 | 1934 8328 25416 | 94590 88330 66 | 0.000 % |
170.02/170.15 c | 294910 | 1934 8328 25416 | 94590 89122 67 | 0.000 % |
170.62/170.72 c | 295782 | 1934 8328 25416 | 94590 89994 67 | 0.000 % |
171.22/171.34 c | 296741 | 1934 8328 25416 | 94590 90953 67 | 0.000 % |
171.92/172.04 c | 297795 | 1934 8328 25416 | 94590 92007 67 | 0.000 % |
172.72/172.87 c | 298954 | 1934 8328 25416 | 94590 93166 67 | 0.000 % |
173.72/173.81 c | 300227 | 1934 8328 25416 | 94213 94439 67 | 0.000 % |
174.62/174.79 c | 301627 | 1934 8328 25416 | 94213 85964 67 | 0.000 % |
175.62/175.79 c | 303169 | 1934 8328 25416 | 94213 87506 67 | 0.000 % |
176.82/176.91 c | 304864 | 1934 8328 25416 | 94213 89201 67 | 0.000 % |
178.02/178.14 c | 306727 | 1934 8328 25416 | 94213 91064 67 | 0.000 % |
179.32/179.44 c | 308777 | 1934 8328 25416 | 94213 93114 67 | 0.000 % |
180.82/180.95 c | 311030 | 1934 8328 25416 | 2147483647 95367 67 | 0.000 % |
182.62/182.70 c | 313508 | 1934 8328 25416 | 2147483647 97845 67 | 0.000 % |
184.52/184.63 c | 316233 | 1934 8328 25416 | 2147483647 100570 67 | 0.000 % |
186.61/186.70 c | 319233 | 1934 8328 25416 | 2147483647 103570 67 | 0.000 % |
186.61/186.78 c | 319335 | 1934 8328 25416 | 2147483647 103672 67 | 0.000 % |
186.71/186.88 c | 319445 | 1934 8328 25416 | 2147483647 103782 67 | 0.000 % |
186.83/187.00 c | 319567 | 1934 8328 25416 | 2147483647 103904 67 | 0.000 % |
187.02/187.13 c | 319700 | 1934 8328 25416 | 2147483647 104037 67 | 0.000 % |
187.12/187.28 c | 319847 | 1934 8328 25416 | 2147483647 104184 67 | 0.000 % |
187.32/187.43 c | 320007 | 1934 8328 25416 | 104337 104344 67 | 0.000 % |
187.62/187.72 c | 320184 | 1934 8328 25416 | 104337 90532 67 | 0.000 % |
187.72/187.86 c | 320377 | 1934 8328 25416 | 104337 90725 67 | 0.000 % |
187.93/188.04 c | 320590 | 1934 8328 25416 | 104337 90938 67 | 0.000 % |
188.12/188.23 c | 320824 | 1934 8328 25416 | 104337 91172 67 | 0.000 % |
188.32/188.40 c | 321080 | 1934 8328 25416 | 104337 91428 67 | 0.000 % |
188.52/188.62 c | 321361 | 1934 8328 25416 | 104337 91709 67 | 0.000 % |
188.72/188.87 c | 321670 | 1934 8328 25416 | 104337 92018 67 | 0.000 % |
189.03/189.12 c | 322009 | 1934 8328 25416 | 104337 92357 67 | 0.000 % |
189.32/189.41 c | 322381 | 1934 8328 25416 | 104337 92729 67 | 0.000 % |
189.62/189.71 c | 322790 | 1934 8328 25416 | 104337 93138 67 | 0.000 % |
189.92/190.03 c | 323239 | 1934 8328 25416 | 104337 93587 67 | 0.000 % |
190.32/190.40 c | 323733 | 1934 8328 25416 | 104337 94081 67 | 0.000 % |
190.72/190.83 c | 324276 | 1934 8328 25416 | 104337 94624 67 | 0.000 % |
191.12/191.27 c | 324876 | 1934 8328 25416 | 104337 95224 67 | 0.000 % |
191.62/191.77 c | 325532 | 1934 8328 25416 | 104337 95880 67 | 0.000 % |
192.22/192.30 c | 326252 | 1934 8328 25416 | 104337 96600 67 | 0.000 % |
192.72/192.86 c | 327044 | 1934 8328 25416 | 104337 97392 67 | 0.000 % |
193.42/193.55 c | 327915 | 1934 8328 25416 | 104337 98263 67 | 0.000 % |
194.12/194.27 c | 328873 | 1934 8328 25416 | 104337 99221 67 | 0.000 % |
195.02/195.14 c | 329926 | 1934 8328 25416 | 104337 100274 67 | 0.000 % |
195.82/196.00 c | 331085 | 1934 8328 25416 | 100348 86782 67 | 0.000 % |
196.72/196.83 c | 332361 | 1934 8328 25416 | 100348 88058 67 | 0.000 % |
197.62/197.76 c | 333761 | 1934 8328 25416 | 100348 89458 67 | 0.000 % |
198.62/198.79 c | 335301 | 1934 8328 25416 | 100348 90998 67 | 0.000 % |
199.71/199.86 c | 336997 | 1934 8328 25416 | 100348 92694 67 | 0.000 % |
201.01/201.18 c | 338860 | 1934 8328 25416 | 100348 94557 67 | 0.000 % |
202.41/202.54 c | 340910 | 1934 8328 25416 | 95698 85744 67 | 0.000 % |
203.81/203.94 c | 343164 | 1934 8328 25416 | 95698 87998 67 | 0.000 % |
205.52/205.63 c | 345642 | 1934 8328 25416 | 95698 90476 67 | 0.000 % |
207.41/207.52 c | 348368 | 1934 8328 25416 | 95698 93202 67 | 0.000 % |
209.61/209.76 c | 351365 | 1934 8328 25416 | 94834 86038 67 | 0.000 % |
211.81/211.99 c | 354663 | 1934 8328 25416 | 94834 89336 67 | 0.000 % |
211.91/212.07 c | 354763 | 1934 8328 25416 | 94834 89436 67 | 0.000 % |
212.01/212.16 c | 354874 | 1934 8328 25416 | 94834 89547 67 | 0.000 % |
212.11/212.26 c | 354995 | 1934 8328 25416 | 94834 89668 67 | 0.000 % |
212.21/212.36 c | 355128 | 1934 8328 25416 | 94834 89801 67 | 0.000 % |
212.31/212.48 c | 355275 | 1934 8328 25416 | 94834 89948 67 | 0.000 % |
212.51/212.62 c | 355435 | 1934 8328 25416 | 94834 90108 67 | 0.000 % |
212.61/212.76 c | 355611 | 1934 8328 25416 | 94834 90284 67 | 0.000 % |
212.81/212.92 c | 355805 | 1934 8328 25416 | 94834 90478 67 | 0.000 % |
212.91/213.09 c | 356018 | 1934 8328 25416 | 94834 90691 67 | 0.000 % |
213.11/213.29 c | 356251 | 1934 8328 25416 | 94834 90924 67 | 0.000 % |
213.31/213.49 c | 356507 | 1934 8328 25416 | 94834 91180 67 | 0.000 % |
213.61/213.73 c | 356788 | 1934 8328 25416 | 94834 91461 67 | 0.000 % |
213.81/213.95 c | 357097 | 1934 8328 25416 | 94834 91770 67 | 0.000 % |
214.11/214.24 c | 357436 | 1934 8328 25416 | 94834 92109 67 | 0.000 % |
214.31/214.49 c | 357810 | 1934 8328 25416 | 94834 92483 67 | 0.000 % |
214.61/214.78 c | 358222 | 1934 8328 25416 | 94834 92895 67 | 0.000 % |
215.01/215.12 c | 358671 | 1934 8328 25416 | 94834 93344 67 | 0.000 % |
215.41/215.51 c | 359164 | 1934 8328 25416 | 94834 93837 67 | 0.000 % |
215.81/215.91 c | 359706 | 1934 8328 25416 | 94834 94379 67 | 0.000 % |
216.31/216.40 c | 360302 | 1934 8328 25416 | 94674 83893 67 | 0.000 % |
216.71/216.87 c | 360958 | 1934 8328 25416 | 94674 84549 67 | 0.000 % |
217.20/217.36 c | 361679 | 1934 8328 25416 | 94674 85270 67 | 0.000 % |
217.71/217.84 c | 362471 | 1934 8328 25416 | 94674 86062 67 | 0.000 % |
218.20/218.38 c | 363345 | 1934 8328 25416 | 94674 86936 67 | 0.000 % |
218.90/219.00 c | 364303 | 1934 8328 25416 | 94674 87894 67 | 0.000 % |
219.60/219.70 c | 365358 | 1934 8328 25416 | 94674 88949 67 | 0.000 % |
220.30/220.43 c | 366517 | 1934 8328 25416 | 94674 90108 67 | 0.000 % |
221.20/221.33 c | 367790 | 1934 8328 25416 | 94674 91381 67 | 0.000 % |
222.20/222.35 c | 369192 | 1934 8328 25416 | 94674 92783 67 | 0.000 % |
223.30/223.44 c | 370732 | 1934 8328 25416 | 93592 84285 67 | 0.000 % |
224.40/224.50 c | 372426 | 1934 8328 25416 | 93592 85979 67 | 0.000 % |
225.60/225.74 c | 374291 | 1934 8328 25416 | 93592 87844 67 | 0.000 % |
226.90/227.07 c | 376340 | 1934 8328 25416 | 93592 89893 67 | 0.000 % |
228.40/228.57 c | 378596 | 1934 8328 25416 | 93592 92149 67 | 0.000 % |
230.10/230.29 c | 381075 | 1934 8328 25416 | 93553 85144 67 | 0.000 % |
231.90/232.09 c | 383803 | 1934 8328 25416 | 93553 87872 67 | 0.000 % |
233.90/234.10 c | 386801 | 1934 8328 25416 | 93553 90870 67 | 0.000 % |
236.20/236.34 c | 390098 | 1934 8328 25416 | 2147483647 84783 68 | 0.000 % |
238.50/238.60 c | 393723 | 1934 8328 25416 | 2147483647 88408 68 | 0.000 % |
238.50/238.68 c | 393824 | 1934 8328 25416 | 2147483647 88509 68 | 0.000 % |
238.60/238.76 c | 393936 | 1934 8328 25416 | 2147483647 88621 68 | 0.000 % |
238.70/238.85 c | 394057 | 1934 8328 25416 | 2147483647 88742 68 | 0.000 % |
238.80/238.96 c | 394190 | 1934 8328 25416 | 2147483647 88875 68 | 0.000 % |
238.90/239.08 c | 394338 | 1934 8328 25416 | 2147483647 89023 68 | 0.000 % |
239.10/239.20 c | 394500 | 1934 8328 25416 | 2147483647 89185 68 | 0.000 % |
239.20/239.34 c | 394679 | 1934 8328 25416 | 2147483647 89364 68 | 0.000 % |
239.30/239.48 c | 394873 | 1934 8328 25416 | 2147483647 89558 68 | 0.000 % |
239.50/239.63 c | 395085 | 1934 8328 25416 | 2147483647 89770 68 | 0.000 % |
239.70/239.81 c | 395322 | 1934 8328 25416 | 2147483647 90007 68 | 0.000 % |
239.90/240.02 c | 395579 | 1934 8328 25416 | 2147483647 90264 68 | 0.000 % |
240.10/240.23 c | 395862 | 1934 8328 25416 | 2147483647 90547 68 | 0.000 % |
240.30/240.45 c | 396172 | 1934 8328 25416 | 2147483647 90857 68 | 0.000 % |
240.60/240.72 c | 396513 | 1934 8328 25416 | 2147483647 91198 68 | 0.000 % |
240.90/241.02 c | 396886 | 1934 8328 25416 | 2147483647 91571 68 | 0.000 % |
241.19/241.34 c | 397295 | 1934 8328 25416 | 2147483647 91980 68 | 0.000 % |
241.49/241.67 c | 397746 | 1934 8328 25416 | 2147483647 92431 68 | 0.000 % |
241.90/242.03 c | 398240 | 1934 8328 25416 | 2147483647 92925 68 | 0.000 % |
242.29/242.40 c | 398783 | 1934 8328 25416 | 2147483647 93468 68 | 0.000 % |
242.69/242.87 c | 399379 | 1934 8328 25416 | 2147483647 94064 68 | 0.000 % |
243.19/243.36 c | 400035 | 1934 8328 25416 | 94686 94720 68 | 0.000 % |
243.79/243.90 c | 400755 | 1934 8328 25416 | 94686 84600 67 | 0.000 % |
244.29/244.42 c | 401547 | 1934 8328 25416 | 94686 85392 67 | 0.000 % |
244.79/245.00 c | 402418 | 1934 8328 25416 | 94686 86263 67 | 0.000 % |
245.49/245.65 c | 403378 | 1934 8328 25416 | 94686 87223 67 | 0.000 % |
246.20/246.36 c | 404432 | 1934 8328 25416 | 94686 88277 67 | 0.000 % |
246.99/247.12 c | 405591 | 1934 8328 25416 | 94686 89436 67 | 0.000 % |
247.79/247.98 c | 406864 | 1934 8328 25416 | 94686 90709 67 | 0.000 % |
248.79/248.98 c | 408264 | 1934 8328 25416 | 94686 92109 67 | 0.000 % |
249.89/250.03 c | 409804 | 1934 8328 25416 | 94686 93649 67 | 0.000 % |
250.99/251.12 c | 411498 | 1934 8328 25416 | 93845 85717 68 | 0.000 % |
252.09/252.29 c | 413362 | 1934 8328 25416 | 93845 87581 68 | 0.000 % |
253.49/253.70 c | 415411 | 1934 8328 25416 | 93845 89630 68 | 0.000 % |
255.10/255.21 c | 417666 | 1934 8328 25416 | 93845 91885 68 | 0.000 % |
256.79/256.96 c | 420144 | 1934 8328 25416 | 2147483647 84954 68 | 0.000 % |
258.49/258.68 c | 422870 | 1934 8328 25416 | 2147483647 87680 68 | 0.000 % |
260.39/260.60 c | 425868 | 1934 8328 25416 | 2147483647 90678 69 | 0.000 % |
262.69/262.81 c | 429165 | 1934 8328 25416 | 2147483647 93975 69 | 0.000 % |
265.38/265.51 c | 432791 | 1934 8328 25416 | 2147483647 97601 69 | 0.000 % |
268.38/268.58 c | 436778 | 1934 8328 25416 | 2147483647 101588 69 | 0.000 % |
268.48/268.66 c | 436878 | 1934 8328 25416 | 2147483647 101688 69 | 0.000 % |
268.58/268.76 c | 436988 | 1934 8328 25416 | 2147483647 101798 69 | 0.000 % |
268.68/268.88 c | 437109 | 1934 8328 25416 | 2147483647 101919 69 | 0.000 % |
268.78/268.99 c | 437243 | 1934 8328 25416 | 2147483647 102053 69 | 0.000 % |
268.98/269.11 c | 437389 | 1934 8328 25416 | 2147483647 102199 69 | 0.000 % |
269.08/269.26 c | 437550 | 1934 8328 25416 | 2147483647 102360 69 | 0.000 % |
269.28/269.44 c | 437727 | 1934 8328 25416 | 2147483647 102537 69 | 0.000 % |
269.48/269.60 c | 437922 | 1934 8328 25416 | 2147483647 102732 69 | 0.000 % |
269.58/269.77 c | 438134 | 1934 8328 25416 | 2147483647 102944 69 | 0.000 % |
269.78/269.95 c | 438367 | 1934 8328 25416 | 2147483647 103177 69 | 0.000 % |
269.98/270.17 c | 438624 | 1934 8328 25416 | 2147483647 103434 69 | 0.000 % |
270.18/270.38 c | 438908 | 1934 8328 25416 | 2147483647 103718 69 | 0.000 % |
270.48/270.65 c | 439217 | 1934 8328 25416 | 2147483647 104027 69 | 0.000 % |
270.78/270.93 c | 439556 | 1934 8328 25416 | 2147483647 104366 69 | 0.000 % |
271.08/271.30 c | 439928 | 1934 8328 25416 | 2147483647 104738 69 | 0.000 % |
271.58/271.71 c | 440337 | 1934 8328 25416 | 104810 89023 68 | 0.000 % |
271.88/272.02 c | 440786 | 1934 8328 25416 | 104810 89472 68 | 0.000 % |
272.18/272.35 c | 441281 | 1934 8328 25416 | 104810 89967 68 | 0.000 % |
272.58/272.75 c | 441826 | 1934 8328 25416 | 104810 90512 68 | 0.000 % |
272.98/273.17 c | 442423 | 1934 8328 25416 | 104810 91109 68 | 0.000 % |
273.47/273.62 c | 443080 | 1934 8328 25416 | 104810 91766 68 | 0.000 % |
273.97/274.13 c | 443801 | 1934 8328 25416 | 104810 92487 68 | 0.000 % |
274.47/274.68 c | 444593 | 1934 8328 25416 | 104810 93279 68 | 0.000 % |
275.17/275.33 c | 445464 | 1934 8328 25416 | 104810 94150 68 | 0.000 % |
275.88/276.05 c | 446422 | 1934 8328 25416 | 104810 95108 68 | 0.000 % |
276.57/276.70 c | 447475 | 1934 8328 25416 | 104810 96161 68 | 0.000 % |
277.37/277.53 c | 448633 | 1934 8328 25416 | 104810 97319 68 | 0.000 % |
278.27/278.49 c | 449910 | 1934 8328 25416 | 104810 98596 68 | 0.000 % |
279.28/279.47 c | 451311 | 1934 8328 25416 | 98686 86947 68 | 0.000 % |
280.38/280.53 c | 452853 | 1934 8328 25416 | 98686 88489 68 | 0.000 % |
281.48/281.64 c | 454549 | 1934 8328 25416 | 98686 90185 68 | 0.000 % |
282.67/282.89 c | 456412 | 1934 8328 25416 | 98686 92048 68 | 0.000 % |
284.17/284.35 c | 458464 | 1934 8328 25416 | 98686 94100 68 | 0.000 % |
285.78/285.96 c | 460717 | 1934 8328 25416 | 95636 85923 68 | 0.000 % |
287.47/287.68 c | 463197 | 1934 8328 25416 | 95636 88403 68 | 0.000 % |
289.37/289.56 c | 465922 | 1934 8328 25416 | 95636 91128 68 | 0.000 % |
291.47/291.65 c | 468920 | 1934 8328 25416 | 95636 94126 68 | 0.000 % |
293.77/293.98 c | 472217 | 1934 8328 25416 | 95206 86487 68 | 0.000 % |
296.27/296.46 c | 475844 | 1934 8328 25416 | 95206 90114 68 | 0.000 % |
298.87/299.02 c | 479831 | 1934 8328 25416 | 95206 94101 68 | 0.000 % |
301.77/301.96 c | 484216 | 1934 8328 25416 | 94271 88329 68 | 0.000 % |
301.87/302.04 c | 484317 | 1934 8328 25416 | 94271 88430 68 | 0.000 % |
301.97/302.13 c | 484429 | 1934 8328 25416 | 94271 88542 68 | 0.000 % |
302.07/302.22 c | 484550 | 1934 8328 25416 | 94271 88663 68 | 0.000 % |
302.17/302.33 c | 484683 | 1934 8328 25416 | 94271 88796 68 | 0.000 % |
302.27/302.44 c | 484830 | 1934 8328 25416 | 94271 88943 68 | 0.000 % |
302.37/302.58 c | 484990 | 1934 8328 25416 | 94271 89103 68 | 0.000 % |
302.57/302.72 c | 485167 | 1934 8328 25416 | 94271 89280 68 | 0.000 % |
302.67/302.85 c | 485360 | 1934 8328 25416 | 94271 89473 68 | 0.000 % |
302.87/303.04 c | 485574 | 1934 8328 25416 | 94271 89687 68 | 0.000 % |
303.07/303.24 c | 485807 | 1934 8328 25416 | 94271 89920 68 | 0.000 % |
303.27/303.43 c | 486063 | 1934 8328 25416 | 94271 90176 68 | 0.000 % |
303.47/303.65 c | 486345 | 1934 8328 25416 | 94271 90458 68 | 0.000 % |
303.67/303.88 c | 486656 | 1934 8328 25416 | 94271 90769 68 | 0.000 % |
303.97/304.13 c | 486996 | 1934 8328 25416 | 94271 91109 68 | 0.000 % |
304.17/304.39 c | 487368 | 1934 8328 25416 | 94271 91481 68 | 0.000 % |
304.47/304.67 c | 487777 | 1934 8328 25416 | 94271 91890 68 | 0.000 % |
304.77/304.98 c | 488226 | 1934 8328 25416 | 94271 92339 68 | 0.000 % |
305.17/305.34 c | 488719 | 1934 8328 25416 | 94271 92832 68 | 0.000 % |
305.57/305.72 c | 489263 | 1934 8328 25416 | 94271 93376 68 | 0.000 % |
305.97/306.11 c | 489860 | 1934 8328 25416 | 94271 93973 68 | 0.000 % |
306.47/306.65 c | 490516 | 1934 8328 25416 | 94116 84234 68 | 0.000 % |
306.97/307.12 c | 491237 | 1934 8328 25416 | 94116 84955 68 | 0.000 % |
307.46/307.68 c | 492029 | 1934 8328 25416 | 94116 85747 68 | 0.000 % |
308.06/308.29 c | 492900 | 1934 8328 25416 | 94116 86618 68 | 0.000 % |
308.76/308.98 c | 493859 | 1934 8328 25416 | 94116 87577 68 | 0.000 % |
309.46/309.68 c | 494913 | 1934 8328 25416 | 94116 88631 68 | 0.000 % |
310.26/310.45 c | 496071 | 1934 8328 25416 | 94116 89789 68 | 0.000 % |
311.17/311.38 c | 497345 | 1934 8328 25416 | 94116 91063 68 | 0.000 % |
312.06/312.30 c | 498746 | 1934 8328 25416 | 94116 92464 68 | 0.000 % |
313.27/313.45 c | 500287 | 1934 8328 25416 | 93718 83838 68 | 0.000 % |
314.37/314.54 c | 501983 | 1934 8328 25416 | 93718 85534 68 | 0.000 % |
315.57/315.71 c | 503847 | 1934 8328 25416 | 93718 87398 68 | 0.000 % |
316.86/317.07 c | 505896 | 1934 8328 25416 | 93718 89447 68 | 0.000 % |
318.46/318.63 c | 508149 | 1934 8328 25416 | 93718 91700 68 | 0.000 % |
320.16/320.30 c | 510627 | 1934 8328 25416 | 93551 84478 68 | 0.000 % |
321.86/322.04 c | 513352 | 1934 8328 25416 | 93551 87203 68 | 0.000 % |
323.96/324.11 c | 516349 | 1934 8328 25416 | 93551 90200 68 | 0.000 % |
326.16/326.37 c | 519647 | 1934 8328 25416 | 93551 93498 68 | 0.000 % |
328.56/328.74 c | 523273 | 1934 8328 25416 | 83490 77843 68 | 0.000 % |
330.86/331.07 c | 527261 | 1934 8328 25416 | 83490 81831 68 | 0.000 % |
333.66/333.84 c | 531647 | 1934 8328 25416 | 2147483647 77836 69 | 0.000 % |
336.95/337.10 c | 536471 | 1934 8328 25416 | 2147483647 82660 69 | 0.000 % |
336.95/337.17 c | 536571 | 1934 8328 25416 | 2147483647 82760 69 | 0.000 % |
337.05/337.26 c | 536681 | 1934 8328 25416 | 2147483647 82870 69 | 0.000 % |
337.15/337.34 c | 536805 | 1934 8328 25416 | 2147483647 82994 69 | 0.000 % |
337.25/337.45 c | 536938 | 1934 8328 25416 | 2147483647 83127 69 | 0.000 % |
337.35/337.56 c | 537085 | 1934 8328 25416 | 2147483647 83274 69 | 0.000 % |
337.46/337.68 c | 537245 | 1934 8328 25416 | 2147483647 83434 69 | 0.000 % |
337.56/337.79 c | 537422 | 1934 8328 25416 | 2147483647 83611 69 | 0.000 % |
337.75/337.95 c | 537616 | 1934 8328 25416 | 2147483647 83805 69 | 0.000 % |
337.95/338.10 c | 537829 | 1934 8328 25416 | 2147483647 84018 69 | 0.000 % |
338.05/338.27 c | 538064 | 1934 8328 25416 | 2147483647 84253 69 | 0.000 % |
338.25/338.46 c | 538320 | 1934 8328 25416 | 2147483647 84509 69 | 0.000 % |
338.45/338.66 c | 538602 | 1934 8328 25416 | 2147483647 84791 69 | 0.000 % |
338.66/338.87 c | 538911 | 1934 8328 25416 | 2147483647 85100 69 | 0.000 % |
338.85/339.09 c | 539251 | 1934 8328 25416 | 2147483647 85440 69 | 0.000 % |
339.16/339.36 c | 539624 | 1934 8328 25416 | 2147483647 85813 69 | 0.000 % |
339.46/339.65 c | 540035 | 1934 8328 25416 | 2147483647 86224 69 | 0.000 % |
339.77/339.91 c | 540485 | 1934 8328 25416 | 2147483647 86674 69 | 0.000 % |
340.06/340.25 c | 540979 | 1934 8328 25416 | 2147483647 87168 69 | 0.000 % |
340.36/340.58 c | 541521 | 1934 8328 25416 | 2147483647 87710 69 | 0.000 % |
340.87/341.02 c | 542119 | 1934 8328 25416 | 2147483647 88308 69 | 0.000 % |
341.26/341.48 c | 542776 | 1934 8328 25416 | 2147483647 88965 69 | 0.000 % |
341.76/341.96 c | 543496 | 1934 8328 25416 | 2147483647 89685 69 | 0.000 % |
342.36/342.52 c | 544291 | 1934 8328 25416 | 2147483647 90480 69 | 0.000 % |
342.96/343.12 c | 545162 | 1934 8328 25416 | 2147483647 91351 69 | 0.000 % |
343.56/343.74 c | 546120 | 1934 8328 25416 | 2147483647 92309 68 | 0.000 % |
344.26/344.48 c | 547173 | 1934 8328 25416 | 2147483647 93362 69 | 0.000 % |
345.16/345.30 c | 548332 | 1934 8328 25416 | 2147483647 94521 69 | 0.000 % |
346.06/346.24 c | 549606 | 1934 8328 25416 | 2147483647 95795 69 | 0.000 % |
347.06/347.24 c | 551007 | 1934 8328 25416 | 96189 86886 68 | 0.000 % |
348.06/348.22 c | 552548 | 1934 8328 25416 | 96189 88427 68 | 0.000 % |
349.26/349.42 c | 554244 | 1934 8328 25416 | 96189 90123 68 | 0.000 % |
350.46/350.68 c | 556107 | 1934 8328 25416 | 96189 91986 68 | 0.000 % |
351.86/352.08 c | 558157 | 1934 8328 25416 | 96189 94036 68 | 0.000 % |
353.56/353.74 c | 560412 | 1934 8328 25416 | 95881 85432 68 | 0.000 % |
355.26/355.44 c | 562890 | 1934 8328 25416 | 95881 87910 68 | 0.000 % |
357.16/357.30 c | 565617 | 1934 8328 25416 | 95881 90637 68 | 0.000 % |
359.16/359.38 c | 568614 | 1934 8328 25416 | 95881 93634 68 | 0.000 % |
361.46/361.60 c | 571910 | 1934 8328 25416 | 95020 86066 68 | 0.000 % |
363.75/363.99 c | 575537 | 1934 8328 25416 | 95020 89693 68 | 0.000 % |
366.46/366.61 c | 579526 | 1934 8328 25416 | 95020 93682 68 | 0.000 % |
369.36/369.51 c | 583912 | 1934 8328 25416 | 94156 87419 69 | 0.000 % |
372.66/372.81 c | 588735 | 1934 8328 25416 | 94156 92242 69 | 0.000 % |
376.15/376.37 c | 594040 | 1934 8328 25416 | 93508 86833 69 | 0.000 % |
376.25/376.46 c | 594142 | 1934 8328 25416 | 93508 86935 69 | 0.000 % |
376.35/376.54 c | 594252 | 1934 8328 25416 | 93508 87045 69 | 0.000 % |
376.45/376.64 c | 594375 | 1934 8328 25416 | 93508 87168 69 | 0.000 % |
376.55/376.75 c | 594508 | 1934 8328 25416 | 93508 87301 69 | 0.000 % |
376.75/376.90 c | 594655 | 1934 8328 25416 | 93508 87448 69 | 0.000 % |
376.85/377.02 c | 594815 | 1934 8328 25416 | 93508 87608 69 | 0.000 % |
376.95/377.16 c | 594991 | 1934 8328 25416 | 93508 87784 69 | 0.000 % |
377.15/377.31 c | 595185 | 1934 8328 25416 | 93508 87978 69 | 0.000 % |
377.25/377.48 c | 595397 | 1934 8328 25416 | 93508 88190 68 | 0.000 % |
377.45/377.64 c | 595631 | 1934 8328 25416 | 93508 88424 68 | 0.000 % |
377.65/377.82 c | 595887 | 1934 8328 25416 | 93508 88680 68 | 0.000 % |
377.85/378.05 c | 596168 | 1934 8328 25416 | 93508 88961 68 | 0.000 % |
378.05/378.28 c | 596477 | 1934 8328 25416 | 93508 89270 68 | 0.000 % |
378.35/378.53 c | 596817 | 1934 8328 25416 | 93508 89610 68 | 0.000 % |
378.54/378.78 c | 597190 | 1934 8328 25416 | 93508 89983 69 | 0.000 % |
378.84/379.07 c | 597599 | 1934 8328 25416 | 93508 90392 69 | 0.000 % |
379.25/379.41 c | 598048 | 1934 8328 25416 | 93508 90841 68 | 0.000 % |
379.54/379.77 c | 598543 | 1934 8328 25416 | 93508 91336 68 | 0.000 % |
380.04/380.22 c | 599085 | 1934 8328 25416 | 93508 91878 68 | 0.000 % |
380.45/380.66 c | 599681 | 1934 8328 25416 | 93508 92474 68 | 0.000 % |
380.94/381.15 c | 600336 | 1934 8328 25416 | 92794 82862 68 | 0.000 % |
381.45/381.60 c | 601057 | 1934 8328 25416 | 92794 83583 68 | 0.000 % |
381.94/382.10 c | 601849 | 1934 8328 25416 | 92794 84375 68 | 0.000 % |
382.44/382.60 c | 602721 | 1934 8328 25416 | 92794 85247 68 | 0.000 % |
382.94/383.16 c | 603679 | 1934 8328 25416 | 92794 86205 68 | 0.000 % |
383.65/383.81 c | 604732 | 1934 8328 25416 | 92794 87258 68 | 0.000 % |
384.34/384.52 c | 605890 | 1934 8328 25416 | 92794 88416 68 | 0.000 % |
385.14/385.36 c | 607163 | 1934 8328 25416 | 92794 89689 68 | 0.000 % |
386.04/386.28 c | 608563 | 1934 8328 25416 | 92794 91089 69 | 0.000 % |
387.14/387.37 c | 610106 | 1934 8328 25416 | 2147483647 92632 69 | 0.000 % |
388.24/388.46 c | 611801 | 1934 8328 25416 | 2147483647 94327 69 | 0.000 % |
389.54/389.73 c | 613664 | 1934 8328 25416 | 2147483647 96190 69 | 0.000 % |
390.84/391.09 c | 615713 | 1934 8328 25416 | 2147483647 98239 69 | 0.000 % |
392.55/392.73 c | 617968 | 1934 8328 25416 | 2147483647 100494 69 | 0.000 % |
394.44/394.60 c | 620447 | 1934 8328 25416 | 102530 90500 69 | 0.000 % |
396.24/396.43 c | 623172 | 1934 8328 25416 | 102530 93225 69 | 0.000 % |
398.24/398.45 c | 626171 | 1934 8328 25416 | 102530 96224 69 | 0.000 % |
400.54/400.74 c | 629467 | 1934 8328 25416 | 102530 99520 69 | 0.000 % |
403.04/403.24 c | 633092 | 1934 8328 25416 | 100053 91365 69 | 0.000 % |
405.74/405.94 c | 637079 | 1934 8328 25416 | 100053 95352 69 | 0.000 % |
408.94/409.16 c | 641465 | 1934 8328 25416 | 98273 86992 69 | 0.000 % |
412.34/412.53 c | 646288 | 1934 8328 25416 | 98273 91815 69 | 0.000 % |
415.83/416.05 c | 651594 | 1934 8328 25416 | 95527 85294 69 | 0.000 % |
419.43/419.62 c | 657430 | 1934 8328 25416 | 95527 91130 69 | 0.000 % |
419.53/419.71 c | 657530 | 1934 8328 25416 | 95527 91230 69 | 0.000 % |
419.63/419.81 c | 657646 | 1934 8328 25416 | 95527 91346 69 | 0.000 % |
419.73/419.91 c | 657769 | 1934 8328 25416 | 95527 91469 69 | 0.000 % |
419.83/420.02 c | 657902 | 1934 8328 25416 | 95527 91602 69 | 0.000 % |
419.94/420.14 c | 658048 | 1934 8328 25416 | 95527 91748 69 | 0.000 % |
420.04/420.28 c | 658208 | 1934 8328 25416 | 95527 91908 69 | 0.000 % |
420.23/420.43 c | 658384 | 1934 8328 25416 | 95527 92084 69 | 0.000 % |
420.43/420.60 c | 658577 | 1934 8328 25416 | 95527 92277 69 | 0.000 % |
420.53/420.77 c | 658791 | 1934 8328 25416 | 95527 92491 69 | 0.000 % |
420.73/420.96 c | 659024 | 1934 8328 25416 | 95527 92724 69 | 0.000 % |
420.93/421.16 c | 659282 | 1934 8328 25416 | 95527 92982 69 | 0.000 % |
421.13/421.40 c | 659564 | 1934 8328 25416 | 95527 93264 69 | 0.000 % |
421.43/421.65 c | 659873 | 1934 8328 25416 | 95527 93573 69 | 0.000 % |
421.63/421.89 c | 660212 | 1934 8328 25416 | 93701 93912 69 | 0.000 % |
422.03/422.21 c | 660586 | 1934 8328 25416 | 93701 83255 69 | 0.000 % |
422.33/422.50 c | 660997 | 1934 8328 25416 | 93701 83666 69 | 0.000 % |
422.53/422.79 c | 661448 | 1934 8328 25416 | 93701 84117 69 | 0.000 % |
422.93/423.12 c | 661941 | 1934 8328 25416 | 93701 84610 69 | 0.000 % |
423.23/423.47 c | 662484 | 1934 8328 25416 | 93701 85153 69 | 0.000 % |
423.63/423.89 c | 663080 | 1934 8328 25416 | 93701 85749 69 | 0.000 % |
424.13/424.35 c | 663735 | 1934 8328 25416 | 93701 86404 69 | 0.000 % |
424.63/424.84 c | 664456 | 1934 8328 25416 | 93701 87125 68 | 0.000 % |
425.13/425.36 c | 665250 | 1934 8328 25416 | 93701 87919 68 | 0.000 % |
425.73/425.92 c | 666121 | 1934 8328 25416 | 93701 88790 68 | 0.000 % |
426.33/426.52 c | 667079 | 1934 8328 25416 | 93701 89748 68 | 0.000 % |
427.03/427.28 c | 668132 | 1934 8328 25416 | 93701 90801 68 | 0.000 % |
427.83/428.09 c | 669291 | 1934 8328 25416 | 93701 91960 68 | 0.000 % |
428.83/429.08 c | 670564 | 1934 8328 25416 | 92670 82553 68 | 0.000 % |
429.83/430.02 c | 671966 | 1934 8328 25416 | 92670 83955 68 | 0.000 % |
430.83/431.08 c | 673508 | 1934 8328 25416 | 92670 85497 68 | 0.000 % |
432.03/432.22 c | 675203 | 1934 8328 25416 | 92670 87192 68 | 0.000 % |
433.33/433.51 c | 677066 | 1934 8328 25416 | 92670 89055 68 | 0.000 % |
434.73/434.90 c | 679117 | 1934 8328 25416 | 92670 91106 68 | 0.000 % |
436.23/436.41 c | 681370 | 1934 8328 25416 | 91989 83436 68 | 0.000 % |
437.63/437.88 c | 683849 | 1934 8328 25416 | 91989 85915 68 | 0.000 % |
439.53/439.70 c | 686575 | 1934 8328 25416 | 91989 88641 68 | 0.000 % |
441.42/441.69 c | 689572 | 1934 8328 25416 | 91989 91638 68 | 0.000 % |
443.52/443.71 c | 692870 | 1934 8328 25416 | 2147483647 94936 69 | 0.000 % |
445.82/446.03 c | 696496 | 1934 8328 25416 | 2147483647 98562 69 | 0.000 % |
448.82/449.09 c | 700483 | 1934 8328 25416 | 102066 90810 69 | 0.000 % |
452.02/452.21 c | 704870 | 1934 8328 25416 | 102066 95197 69 | 0.000 % |
455.42/455.65 c | 709694 | 1934 8328 25416 | 102066 100021 69 | 0.000 % |
459.22/459.46 c | 715000 | 1934 8328 25416 | 100327 91748 69 | 0.000 % |
463.22/463.41 c | 720836 | 1934 8328 25416 | 96748 85104 69 | 0.000 % |
467.32/467.54 c | 727255 | 1934 8328 25416 | 96748 91523 69 | 0.000 % |
467.41/467.62 c | 727355 | 1934 8328 25416 | 96748 91623 69 | 0.000 % |
467.51/467.71 c | 727466 | 1934 8328 25416 | 96748 91734 69 | 0.000 % |
467.61/467.82 c | 727588 | 1934 8328 25416 | 96748 91856 69 | 0.000 % |
467.71/467.93 c | 727721 | 1934 8328 25416 | 96748 91989 69 | 0.000 % |
467.81/468.04 c | 727867 | 1934 8328 25416 | 96748 92135 69 | 0.000 % |
467.91/468.17 c | 728029 | 1934 8328 25416 | 96748 92297 69 | 0.000 % |
468.11/468.33 c | 728205 | 1934 8328 25416 | 96748 92473 69 | 0.000 % |
468.32/468.51 c | 728398 | 1934 8328 25416 | 96748 92666 69 | 0.000 % |
468.42/468.66 c | 728610 | 1934 8328 25416 | 96748 92878 69 | 0.000 % |
468.61/468.84 c | 728843 | 1934 8328 25416 | 96748 93111 69 | 0.000 % |
468.81/469.03 c | 729100 | 1934 8328 25416 | 96748 93368 69 | 0.000 % |
469.01/469.22 c | 729383 | 1934 8328 25416 | 96748 93651 69 | 0.000 % |
469.21/469.47 c | 729693 | 1934 8328 25416 | 96748 93961 69 | 0.000 % |
469.52/469.71 c | 730032 | 1934 8328 25416 | 94269 94300 69 | 0.000 % |
469.81/470.04 c | 730404 | 1934 8328 25416 | 94269 83454 69 | 0.000 % |
470.11/470.33 c | 730814 | 1934 8328 25416 | 94269 83864 69 | 0.000 % |
470.41/470.61 c | 731265 | 1934 8328 25416 | 94269 84315 69 | 0.000 % |
470.71/470.95 c | 731758 | 1934 8328 25416 | 94269 84808 69 | 0.000 % |
471.11/471.31 c | 732300 | 1934 8328 25416 | 94269 85350 69 | 0.000 % |
471.51/471.75 c | 732898 | 1934 8328 25416 | 94269 85948 69 | 0.000 % |
471.91/472.18 c | 733555 | 1934 8328 25416 | 94269 86605 69 | 0.000 % |
472.51/472.70 c | 734275 | 1934 8328 25416 | 94269 87325 69 | 0.000 % |
473.01/473.24 c | 735067 | 1934 8328 25416 | 94269 88117 69 | 0.000 % |
473.61/473.83 c | 735938 | 1934 8328 25416 | 94269 88988 69 | 0.000 % |
474.31/474.57 c | 736897 | 1934 8328 25416 | 94269 89947 69 | 0.000 % |
475.02/475.29 c | 737950 | 1934 8328 25416 | 94269 91000 69 | 0.000 % |
475.91/476.13 c | 739111 | 1934 8328 25416 | 94269 92161 69 | 0.000 % |
476.91/477.11 c | 740384 | 1934 8328 25416 | 93052 82311 69 | 0.000 % |
477.71/477.99 c | 741784 | 1934 8328 25416 | 93052 83711 69 | 0.000 % |
478.71/478.95 c | 743326 | 1934 8328 25416 | 93052 85253 69 | 0.000 % |
479.81/480.03 c | 745022 | 1934 8328 25416 | 93052 86949 69 | 0.000 % |
481.11/481.33 c | 746888 | 1934 8328 25416 | 93052 88815 69 | 0.000 % |
482.41/482.66 c | 748940 | 1934 8328 25416 | 93052 90867 69 | 0.000 % |
483.91/484.18 c | 751193 | 1934 8328 25416 | 91927 83565 70 | 0.000 % |
485.51/485.71 c | 753671 | 1934 8328 25416 | 91927 86043 70 | 0.000 % |
487.21/487.49 c | 756398 | 1934 8328 25416 | 91927 88770 70 | 0.000 % |
489.31/489.54 c | 759395 | 1934 8328 25416 | 91927 91767 70 | 0.000 % |
491.51/491.75 c | 762692 | 1934 8328 25416 | 2147483647 85850 70 | 0.000 % |
494.01/494.20 c | 766317 | 1934 8328 25416 | 2147483647 89475 70 | 0.000 % |
496.51/496.80 c | 770304 | 1934 8328 25416 | 2147483647 93462 70 | 0.000 % |
499.81/500.07 c | 774691 | 1934 8328 25416 | 2147483647 97849 70 | 0.000 % |
503.61/503.81 c | 779514 | 1934 8328 25416 | 2147483647 102672 70 | 0.000 % |
506.90/507.19 c | 784820 | 1934 8328 25416 | 103158 93352 70 | 0.000 % |
510.90/511.18 c | 790655 | 1934 8328 25416 | 98533 86526 69 | 0.000 % |
515.20/515.48 c | 797073 | 1934 8328 25416 | 98533 92944 69 | 0.000 % |
520.00/520.24 c | 804133 | 1934 8328 25416 | 95871 87325 69 | 0.000 % |
520.10/520.31 c | 804233 | 1934 8328 25416 | 95871 87425 69 | 0.000 % |
520.10/520.40 c | 804344 | 1934 8328 25416 | 95871 87536 69 | 0.000 % |
520.30/520.50 c | 804466 | 1934 8328 25416 | 95871 87658 69 | 0.000 % |
520.40/520.60 c | 804602 | 1934 8328 25416 | 95871 87794 69 | 0.000 % |
520.50/520.70 c | 804748 | 1934 8328 25416 | 95871 87940 69 | 0.000 % |
520.60/520.80 c | 804908 | 1934 8328 25416 | 95871 88100 69 | 0.000 % |
520.70/520.93 c | 805084 | 1934 8328 25416 | 95871 88276 69 | 0.000 % |
520.80/521.08 c | 805279 | 1934 8328 25416 | 95871 88471 69 | 0.000 % |
521.00/521.24 c | 805491 | 1934 8328 25416 | 95871 88683 69 | 0.000 % |
521.20/521.42 c | 805725 | 1934 8328 25416 | 95871 88917 69 | 0.000 % |
521.39/521.62 c | 805984 | 1934 8328 25416 | 95871 89176 69 | 0.000 % |
521.59/521.81 c | 806265 | 1934 8328 25416 | 95871 89457 69 | 0.000 % |
521.79/522.02 c | 806576 | 1934 8328 25416 | 95871 89768 69 | 0.000 % |
522.00/522.28 c | 806915 | 1934 8328 25416 | 95871 90107 69 | 0.000 % |
522.31/522.58 c | 807287 | 1934 8328 25416 | 95871 90479 69 | 0.000 % |
522.60/522.87 c | 807696 | 1934 8328 25416 | 95871 90888 69 | 0.000 % |
522.90/523.19 c | 808145 | 1934 8328 25416 | 95871 91337 69 | 0.000 % |
523.31/523.54 c | 808638 | 1934 8328 25416 | 95871 91830 69 | 0.000 % |
523.70/523.92 c | 809181 | 1934 8328 25416 | 95871 92373 69 | 0.000 % |
524.10/524.36 c | 809777 | 1934 8328 25416 | 95871 92969 69 | 0.000 % |
524.60/524.85 c | 810432 | 1934 8328 25416 | 93192 81541 69 | 0.000 % |
525.00/525.28 c | 811153 | 1934 8328 25416 | 93192 82262 69 | 0.000 % |
525.51/525.76 c | 811947 | 1934 8328 25416 | 93192 83056 69 | 0.000 % |
526.10/526.34 c | 812819 | 1934 8328 25416 | 93192 83928 69 | 0.000 % |
526.70/526.95 c | 813778 | 1934 8328 25416 | 93192 84887 69 | 0.000 % |
527.40/527.68 c | 814834 | 1934 8328 25416 | 93192 85943 69 | 0.000 % |
528.20/528.41 c | 815993 | 1934 8328 25416 | 93192 87102 69 | 0.000 % |
529.00/529.26 c | 817266 | 1934 8328 25416 | 93192 88375 69 | 0.000 % |
530.00/530.26 c | 818666 | 1934 8328 25416 | 93192 89775 69 | 0.000 % |
531.00/531.28 c | 820208 | 1934 8328 25416 | 2147483647 91317 69 | 0.000 % |
532.20/532.41 c | 821903 | 1934 8328 25416 | 2147483647 93012 69 | 0.000 % |
533.50/533.75 c | 823766 | 1934 8328 25416 | 2147483647 94875 69 | 0.000 % |
534.90/535.10 c | 825815 | 1934 8328 25416 | 2147483647 96924 69 | 0.000 % |
536.50/536.71 c | 828068 | 1934 8328 25416 | 2147483647 99177 69 | 0.000 % |
538.50/538.76 c | 830546 | 1934 8328 25416 | 101110 88657 69 | 0.000 % |
540.30/540.57 c | 833272 | 1934 8328 25416 | 101110 91383 69 | 0.000 % |
542.40/542.62 c | 836271 | 1934 8328 25416 | 101110 94382 69 | 0.000 % |
544.60/544.86 c | 839568 | 1934 8328 25416 | 101110 97679 69 | 0.000 % |
547.09/547.37 c | 843193 | 1934 8328 25416 | 98112 87822 68 | 0.000 % |
549.70/549.92 c | 847181 | 1934 8328 25416 | 98112 91810 68 | 0.000 % |
552.79/553.03 c | 851568 | 1934 8328 25416 | 94630 84557 68 | 0.000 % |
555.89/556.19 c | 856396 | 1934 8328 25416 | 94630 89385 68 | 0.000 % |
559.49/559.77 c | 861701 | 1934 8328 25416 | 92992 84288 68 | 0.000 % |
563.49/563.77 c | 867537 | 1934 8328 25416 | 92992 90124 68 | 0.000 % |
567.69/567.98 c | 873956 | 1934 8328 25416 | 92587 86014 68 | 0.000 % |
572.49/572.70 c | 881015 | 1934 8328 25416 | 92060 82271 68 | 0.000 % |
577.29/577.59 c | 888780 | 1934 8328 25416 | 92060 90036 69 | 0.000 % |
577.39/577.67 c | 888880 | 1934 8328 25416 | 92060 90136 69 | 0.000 % |
577.49/577.75 c | 888991 | 1934 8328 25416 | 92060 90247 69 | 0.000 % |
577.59/577.85 c | 889113 | 1934 8328 25416 | 92060 90369 69 | 0.000 % |
577.69/577.95 c | 889247 | 1934 8328 25416 | 92060 90503 69 | 0.000 % |
577.79/578.06 c | 889394 | 1934 8328 25416 | 92060 90650 69 | 0.000 % |
577.89/578.19 c | 889555 | 1934 8328 25416 | 92060 90811 69 | 0.000 % |
578.09/578.34 c | 889731 | 1934 8328 25416 | 92060 90987 69 | 0.000 % |
578.19/578.49 c | 889924 | 1934 8328 25416 | 92060 91180 69 | 0.000 % |
578.39/578.66 c | 890136 | 1934 8328 25416 | 91257 91392 69 | 0.000 % |
578.59/578.88 c | 890371 | 1934 8328 25416 | 91257 80382 69 | 0.000 % |
578.79/579.05 c | 890627 | 1934 8328 25416 | 91257 80638 69 | 0.000 % |
578.99/579.25 c | 890909 | 1934 8328 25416 | 91257 80920 69 | 0.000 % |
579.18/579.47 c | 891219 | 1934 8328 25416 | 91257 81230 69 | 0.000 % |
579.49/579.71 c | 891558 | 1934 8328 25416 | 91257 81569 69 | 0.000 % |
579.68/579.97 c | 891931 | 1934 8328 25416 | 91257 81942 69 | 0.000 % |
579.99/580.24 c | 892342 | 1934 8328 25416 | 91257 82353 69 | 0.000 % |
580.29/580.55 c | 892791 | 1934 8328 25416 | 91257 82802 69 | 0.000 % |
580.59/580.87 c | 893284 | 1934 8328 25416 | 91257 83295 69 | 0.000 % |
580.98/581.22 c | 893826 | 1934 8328 25416 | 91257 83837 69 | 0.000 % |
581.28/581.59 c | 894422 | 1934 8328 25416 | 91257 84433 69 | 0.000 % |
581.78/582.06 c | 895077 | 1934 8328 25416 | 91257 85088 69 | 0.000 % |
582.28/582.58 c | 895799 | 1934 8328 25416 | 91257 85810 69 | 0.000 % |
582.88/583.12 c | 896594 | 1934 8328 25416 | 91257 86605 69 | 0.000 % |
583.48/583.76 c | 897466 | 1934 8328 25416 | 91257 87477 69 | 0.000 % |
584.18/584.41 c | 898424 | 1934 8328 25416 | 91257 88435 69 | 0.000 % |
584.78/585.09 c | 899478 | 1934 8328 25416 | 91257 89489 69 | 0.000 % |
585.68/585.96 c | 900636 | 1934 8328 25416 | 90011 80012 69 | 0.000 % |
586.48/586.71 c | 901909 | 1934 8328 25416 | 90011 81285 69 | 0.000 % |
587.38/587.61 c | 903309 | 1934 8328 25416 | 90011 82685 69 | 0.000 % |
588.18/588.46 c | 904849 | 1934 8328 25416 | 90011 84225 69 | 0.000 % |
589.28/589.58 c | 906543 | 1934 8328 25416 | 90011 85919 69 | 0.000 % |
590.58/590.83 c | 908406 | 1934 8328 25416 | 90011 87782 69 | 0.000 % |
591.98/592.26 c | 910455 | 1934 8328 25416 | 2147483647 89831 69 | 0.000 % |
593.58/593.80 c | 912708 | 1934 8328 25416 | 2147483647 92084 69 | 0.000 % |
595.28/595.55 c | 915189 | 1934 8328 25416 | 2147483647 94565 69 | 0.000 % |
597.28/597.56 c | 917914 | 1934 8328 25416 | 2147483647 97290 69 | 0.000 % |
599.47/599.78 c | 920915 | 1934 8328 25416 | 99378 87952 69 | 0.000 % |
601.57/601.84 c | 924211 | 1934 8328 25416 | 99378 91248 69 | 0.000 % |
603.87/604.12 c | 927836 | 1934 8328 25416 | 99378 94873 70 | 0.000 % |
606.67/606.91 c | 931823 | 1934 8328 25416 | 97038 87682 70 | 0.000 % |
609.57/609.85 c | 936208 | 1934 8328 25416 | 97038 92067 70 | 0.000 % |
613.17/613.41 c | 941031 | 1934 8328 25416 | 95859 85357 70 | 0.000 % |
616.77/617.09 c | 946339 | 1934 8328 25416 | 95859 90665 70 | 0.000 % |
620.87/621.17 c | 952176 | 1934 8328 25416 | 94326 85241 70 | 0.000 % |
625.47/625.80 c | 958596 | 1934 8328 25416 | 94326 91661 71 | 0.000 % |
629.97/630.25 c | 965655 | 1934 8328 25416 | 93065 87574 71 | 0.000 % |
634.96/635.28 c | 973421 | 1934 8328 25416 | 91923 86045 71 | 0.000 % |
640.76/641.06 c | 981961 | 1934 8328 25416 | 82926 76078 72 | 0.000 % |
640.86/641.12 c | 982061 | 1934 8328 25416 | 82926 76178 72 | 0.000 % |
640.97/641.21 c | 982171 | 1934 8328 25416 | 82926 76288 72 | 0.000 % |
640.97/641.29 c | 982292 | 1934 8328 25416 | 82926 76409 72 | 0.000 % |
641.06/641.37 c | 982425 | 1934 8328 25416 | 82926 76542 72 | 0.000 % |
641.16/641.47 c | 982572 | 1934 8328 25416 | 82926 76689 72 | 0.000 % |
641.26/641.57 c | 982734 | 1934 8328 25416 | 82926 76851 72 | 0.000 % |
641.36/641.69 c | 982911 | 1934 8328 25416 | 82926 77028 72 | 0.000 % |
641.56/641.82 c | 983104 | 1934 8328 25416 | 82926 77221 72 | 0.000 % |
641.66/641.98 c | 983316 | 1934 8328 25416 | 82926 77433 72 | 0.000 % |
641.86/642.13 c | 983549 | 1934 8328 25416 | 82926 77666 71 | 0.000 % |
642.06/642.32 c | 983805 | 1934 8328 25416 | 82926 77922 71 | 0.000 % |
642.26/642.51 c | 984087 | 1934 8328 25416 | 82926 78204 71 | 0.000 % |
642.46/642.73 c | 984396 | 1934 8328 25416 | 82926 78513 71 | 0.000 % |
642.66/642.95 c | 984737 | 1934 8328 25416 | 82926 78854 71 | 0.000 % |
642.86/643.18 c | 985109 | 1934 8328 25416 | 82926 79226 71 | 0.000 % |
643.16/643.45 c | 985518 | 1934 8328 25416 | 82926 79635 71 | 0.000 % |
643.46/643.76 c | 985967 | 1934 8328 25416 | 82926 80084 71 | 0.000 % |
643.76/644.08 c | 986461 | 1934 8328 25416 | 82926 80578 71 | 0.000 % |
644.16/644.40 c | 987003 | 1934 8328 25416 | 82926 81120 71 | 0.000 % |
644.56/644.82 c | 987600 | 1934 8328 25416 | 82926 81717 71 | 0.000 % |
644.96/645.29 c | 988255 | 1934 8328 25416 | 82926 82372 71 | 0.000 % |
645.46/645.77 c | 988976 | 1934 8328 25416 | 82926 83093 71 | 0.000 % |
645.96/646.29 c | 989770 | 1934 8328 25416 | 82926 75578 71 | 0.000 % |
646.56/646.80 c | 990642 | 1934 8328 25416 | 2147483647 76450 71 | 0.000 % |
647.16/647.43 c | 991601 | 1934 8328 25416 | 2147483647 77409 71 | 0.000 % |
647.76/648.05 c | 992654 | 1934 8328 25416 | 2147483647 78462 71 | 0.000 % |
648.46/648.77 c | 993812 | 1934 8328 25416 | 2147483647 79620 71 | 0.000 % |
649.36/649.60 c | 995086 | 1934 8328 25416 | 2147483647 80894 71 | 0.000 % |
650.26/650.50 c | 996487 | 1934 8328 25416 | 2147483647 82295 71 | 0.000 % |
651.26/651.51 c | 998027 | 1934 8328 25416 | 2147483647 83835 71 | 0.000 % |
652.35/652.64 c | 999721 | 1934 8328 25416 | 2147483647 85529 71 | 0.000 % |
653.65/653.91 c | 1001585 | 1934 8328 25416 | 2147483647 87393 71 | 0.000 % |
654.95/655.29 c | 1003634 | 1934 8328 25416 | 2147483647 89442 70 | 0.000 % |
656.65/656.96 c | 1005887 | 1934 8328 25416 | 2147483647 91695 70 | 0.000 % |
658.45/658.72 c | 1008365 | 1934 8328 25416 | 2147483647 94173 70 | 0.000 % |
660.35/660.63 c | 1011090 | 1934 8328 25416 | 95808 86757 70 | 0.000 % |
662.35/662.66 c | 1014090 | 1934 8328 25416 | 95808 89757 70 | 0.000 % |
664.55/664.86 c | 1017388 | 1934 8328 25416 | 95808 93055 70 | 0.000 % |
667.15/667.46 c | 1021014 | 1934 8328 25416 | 95667 85319 70 | 0.000 % |
669.95/670.20 c | 1025001 | 1934 8328 25416 | 95667 89306 70 | 0.000 % |
673.15/673.40 c | 1029386 | 1934 8328 25416 | 95667 93691 70 | 0.000 % |
676.35/676.69 c | 1034209 | 1934 8328 25416 | 94306 86215 69 | 0.000 % |
679.95/680.26 c | 1039517 | 1934 8328 25416 | 94306 91523 69 | 0.000 % |
683.95/684.24 c | 1045353 | 1934 8328 25416 | 92008 87625 69 | 0.000 % |
688.25/688.52 c | 1051771 | 1934 8328 25416 | 2147483647 84817 69 | 0.000 % |
692.84/693.13 c | 1058830 | 1934 8328 25416 | 2147483647 91876 69 | 0.000 % |
698.74/699.02 c | 1066594 | 1934 8328 25416 | 2147483647 99640 70 | 0.000 % |
704.74/705.02 c | 1075136 | 1934 8328 25416 | 103046 93450 70 | 0.000 % |
711.04/711.36 c | 1084531 | 1934 8328 25416 | 98315 90296 71 | 0.000 % |
711.14/711.46 c | 1084631 | 1934 8328 25416 | 98315 90396 71 | 0.000 % |
711.24/711.55 c | 1084742 | 1934 8328 25416 | 98315 90507 71 | 0.000 % |
711.34/711.64 c | 1084863 | 1934 8328 25416 | 98315 90628 71 | 0.000 % |
711.44/711.76 c | 1084997 | 1934 8328 25416 | 98315 90762 71 | 0.000 % |
711.54/711.87 c | 1085144 | 1934 8328 25416 | 98315 90909 71 | 0.000 % |
711.74/712.00 c | 1085304 | 1934 8328 25416 | 98315 91069 71 | 0.000 % |
711.84/712.14 c | 1085482 | 1934 8328 25416 | 98315 91247 71 | 0.000 % |
712.04/712.31 c | 1085675 | 1934 8328 25416 | 98315 91440 71 | 0.000 % |
712.14/712.46 c | 1085889 | 1934 8328 25416 | 98315 91654 71 | 0.000 % |
712.34/712.64 c | 1086123 | 1934 8328 25416 | 98315 91888 71 | 0.000 % |
712.54/712.84 c | 1086379 | 1934 8328 25416 | 98315 92144 71 | 0.000 % |
712.73/713.06 c | 1086665 | 1934 8328 25416 | 98315 92430 71 | 0.000 % |
712.93/713.30 c | 1086974 | 1934 8328 25416 | 98315 92739 71 | 0.000 % |
713.23/713.56 c | 1087314 | 1934 8328 25416 | 98315 93079 71 | 0.000 % |
713.54/713.84 c | 1087686 | 1934 8328 25416 | 98315 93451 71 | 0.000 % |
713.83/714.14 c | 1088095 | 1934 8328 25416 | 98315 93860 71 | 0.000 % |
714.23/714.54 c | 1088544 | 1934 8328 25416 | 98315 94309 71 | 0.000 % |
714.64/714.93 c | 1089038 | 1934 8328 25416 | 98315 94803 71 | 0.000 % |
715.03/715.36 c | 1089580 | 1934 8328 25416 | 98315 95345 71 | 0.000 % |
715.53/715.82 c | 1090176 | 1934 8328 25416 | 95768 95941 71 | 0.000 % |
716.03/716.31 c | 1090831 | 1934 8328 25416 | 95768 83599 71 | 0.000 % |
716.43/716.79 c | 1091552 | 1934 8328 25416 | 95768 84320 71 | 0.000 % |
716.94/717.30 c | 1092345 | 1934 8328 25416 | 95768 85113 71 | 0.000 % |
717.63/717.93 c | 1093219 | 1934 8328 25416 | 95768 85987 71 | 0.000 % |
718.23/718.55 c | 1094177 | 1934 8328 25416 | 95768 86945 71 | 0.000 % |
718.93/719.21 c | 1095230 | 1934 8328 25416 | 95768 87998 71 | 0.000 % |
719.63/719.98 c | 1096389 | 1934 8328 25416 | 95768 89157 71 | 0.000 % |
720.53/720.84 c | 1097662 | 1934 8328 25416 | 95768 90430 71 | 0.000 % |
721.43/721.76 c | 1099062 | 1934 8328 25416 | 95768 91830 70 | 0.000 % |
722.63/723.00 c | 1100602 | 1934 8328 25416 | 92769 83219 70 | 0.000 % |
723.83/724.12 c | 1102297 | 1934 8328 25416 | 92769 84914 70 | 0.000 % |
725.03/725.39 c | 1104162 | 1934 8328 25416 | 92769 86779 70 | 0.000 % |
726.43/726.77 c | 1106212 | 1934 8328 25416 | 92769 88829 70 | 0.000 % |
727.93/728.22 c | 1108466 | 1934 8328 25416 | 92769 91083 70 | 0.000 % |
729.83/730.13 c | 1110945 | 1934 8328 25416 | 92617 83110 70 | 0.000 % |
731.53/731.86 c | 1113671 | 1934 8328 25416 | 92617 85836 70 | 0.000 % |
733.53/733.87 c | 1116670 | 1934 8328 25416 | 92617 88835 70 | 0.000 % |
735.93/736.25 c | 1119967 | 1934 8328 25416 | 92617 92132 70 | 0.000 % |
738.12/738.49 c | 1123593 | 1934 8328 25416 | 92165 85951 70 | 0.000 % |
740.52/740.86 c | 1127583 | 1934 8328 25416 | 92165 89941 70 | 0.000 % |
743.52/743.83 c | 1131969 | 1934 8328 25416 | 2147483647 94327 70 | 0.000 % |
746.92/747.29 c | 1136792 | 1934 8328 25416 | 2147483647 99150 71 | 0.000 % |
751.02/751.32 c | 1142097 | 1934 8328 25416 | 102358 92353 70 | 0.000 % |
754.92/755.26 c | 1147933 | 1934 8328 25416 | 102358 98189 70 | 0.000 % |
759.42/759.73 c | 1154351 | 1934 8328 25416 | 100256 92707 70 | 0.000 % |
764.33/764.63 c | 1161414 | 1934 8328 25416 | 98356 88278 70 | 0.000 % |
769.82/770.11 c | 1169180 | 1934 8328 25416 | 98356 96044 70 | 0.000 % |
776.02/776.37 c | 1177720 | 1934 8328 25416 | 96864 91891 71 | 0.000 % |
782.82/783.12 c | 1187115 | 1934 8328 25416 | 94171 88865 73 | 0.000 % |
790.32/790.70 c | 1197449 | 1934 8328 25416 | 91750 87509 73 | 0.000 % |
790.42/790.77 c | 1197553 | 1934 8328 25416 | 91750 87613 73 | 0.000 % |
790.52/790.87 c | 1197664 | 1934 8328 25416 | 91750 87724 73 | 0.000 % |
790.62/790.96 c | 1197785 | 1934 8328 25416 | 91750 87845 73 | 0.000 % |
790.72/791.08 c | 1197918 | 1934 8328 25416 | 91750 87978 73 | 0.000 % |
790.92/791.21 c | 1198064 | 1934 8328 25416 | 91750 88124 73 | 0.000 % |
791.02/791.37 c | 1198224 | 1934 8328 25416 | 91750 88284 73 | 0.000 % |
791.22/791.50 c | 1198400 | 1934 8328 25416 | 91750 88460 73 | 0.000 % |
791.32/791.67 c | 1198594 | 1934 8328 25416 | 91750 88654 73 | 0.000 % |
791.52/791.85 c | 1198806 | 1934 8328 25416 | 91750 88866 73 | 0.000 % |
791.72/792.03 c | 1199040 | 1934 8328 25416 | 91750 89100 73 | 0.000 % |
791.92/792.24 c | 1199296 | 1934 8328 25416 | 91750 89356 73 | 0.000 % |
792.12/792.43 c | 1199579 | 1934 8328 25416 | 91750 89639 73 | 0.000 % |
792.32/792.68 c | 1199889 | 1934 8328 25416 | 91750 89949 73 | 0.000 % |
792.62/792.94 c | 1200229 | 1934 8328 25416 | 90060 90289 73 | 0.000 % |
792.92/793.21 c | 1200601 | 1934 8328 25416 | 90060 79397 73 | 0.000 % |
793.12/793.46 c | 1201010 | 1934 8328 25416 | 90060 79806 73 | 0.000 % |
793.42/793.75 c | 1201459 | 1934 8328 25416 | 90060 80255 73 | 0.000 % |
793.72/794.08 c | 1201953 | 1934 8328 25416 | 90060 80749 73 | 0.000 % |
794.12/794.43 c | 1202496 | 1934 8328 25416 | 90060 81292 73 | 0.000 % |
794.42/794.79 c | 1203093 | 1934 8328 25416 | 90060 81889 73 | 0.000 % |
794.92/795.24 c | 1203748 | 1934 8328 25416 | 90060 82544 73 | 0.000 % |
795.31/795.69 c | 1204469 | 1934 8328 25416 | 90060 83265 73 | 0.000 % |
795.91/796.20 c | 1205262 | 1934 8328 25416 | 90060 84058 73 | 0.000 % |
796.41/796.72 c | 1206133 | 1934 8328 25416 | 90060 84929 73 | 0.000 % |
797.01/797.30 c | 1207091 | 1934 8328 25416 | 90060 85887 73 | 0.000 % |
797.71/798.03 c | 1208145 | 1934 8328 25416 | 90060 86941 73 | 0.000 % |
798.51/798.82 c | 1209304 | 1934 8328 25416 | 90060 88100 73 | 0.000 % |
799.31/799.69 c | 1210577 | 1934 8328 25416 | 2147483647 89373 73 | 0.000 % |
800.41/800.73 c | 1211977 | 1934 8328 25416 | 2147483647 90773 73 | 0.000 % |
801.51/801.82 c | 1213517 | 1934 8328 25416 | 2147483647 92313 73 | 0.000 % |
802.61/802.94 c | 1215212 | 1934 8328 25416 | 2147483647 94008 73 | 0.000 % |
803.81/804.16 c | 1217077 | 1934 8328 25416 | 2147483647 95873 73 | 0.000 % |
805.31/805.64 c | 1219127 | 1934 8328 25416 | 2147483647 97923 73 | 0.000 % |
806.91/807.24 c | 1221380 | 1934 8328 25416 | 98798 87509 73 | 0.000 % |
808.51/808.81 c | 1223859 | 1934 8328 25416 | 98798 89988 73 | 0.000 % |
810.31/810.69 c | 1226584 | 1934 8328 25416 | 98798 92713 73 | 0.000 % |
812.40/812.76 c | 1229584 | 1934 8328 25416 | 98798 95713 73 | 0.000 % |
814.71/815.09 c | 1232882 | 1934 8328 25416 | 96131 88003 73 | 0.000 % |
817.30/817.61 c | 1236507 | 1934 8328 25416 | 96131 91628 73 | 0.000 % |
820.10/820.47 c | 1240496 | 1934 8328 25416 | 95121 83883 72 | 0.000 % |
823.20/823.55 c | 1244881 | 1934 8328 25416 | 95121 88268 72 | 0.000 % |
826.91/827.22 c | 1249705 | 1934 8328 25416 | 95121 93092 72 | 0.000 % |
830.30/830.69 c | 1255010 | 1934 8328 25416 | 93387 85734 72 | 0.000 % |
834.30/834.61 c | 1260846 | 1934 8328 25416 | 90724 81542 71 | 0.000 % |
838.10/838.50 c | 1267265 | 1934 8328 25416 | 90724 87961 72 | 0.000 % |
843.00/843.34 c | 1274324 | 1934 8328 25416 | 2147483647 95020 72 | 0.000 % |
848.99/849.32 c | 1282088 | 1934 8328 25416 | 100696 90421 71 | 0.000 % |
855.09/855.43 c | 1290628 | 1934 8328 25416 | 98333 85211 72 | 0.000 % |
861.09/861.45 c | 1300022 | 1934 8328 25416 | 94585 94605 72 | 0.000 % |
867.89/868.24 c | 1310355 | 1934 8328 25416 | 93758 81099 73 | 0.000 % |
875.38/875.76 c | 1321721 | 1934 8328 25416 | 90748 81378 73 | 0.000 % |
875.48/875.84 c | 1321821 | 1934 8328 25416 | 90748 81478 73 | 0.000 % |
875.58/875.91 c | 1321931 | 1934 8328 25416 | 90748 81588 73 | 0.000 % |
875.68/876.00 c | 1322052 | 1934 8328 25416 | 90748 81709 73 | 0.000 % |
875.78/876.13 c | 1322185 | 1934 8328 25416 | 90748 81842 73 | 0.000 % |
875.88/876.23 c | 1322331 | 1934 8328 25416 | 90748 81988 73 | 0.000 % |
875.98/876.35 c | 1322492 | 1934 8328 25416 | 90748 82149 73 | 0.000 % |
876.08/876.46 c | 1322670 | 1934 8328 25416 | 90748 82327 73 | 0.000 % |
876.18/876.59 c | 1322863 | 1934 8328 25416 | 90748 82520 73 | 0.000 % |
876.39/876.75 c | 1323075 | 1934 8328 25416 | 90748 82732 73 | 0.000 % |
876.58/876.91 c | 1323311 | 1934 8328 25416 | 90748 82968 73 | 0.000 % |
876.68/877.08 c | 1323567 | 1934 8328 25416 | 90748 83224 73 | 0.000 % |
876.88/877.29 c | 1323851 | 1934 8328 25416 | 90748 83508 73 | 0.000 % |
877.18/877.53 c | 1324160 | 1934 8328 25416 | 90748 83817 73 | 0.000 % |
877.39/877.74 c | 1324499 | 1934 8328 25416 | 90748 84156 73 | 0.000 % |
877.58/877.99 c | 1324871 | 1934 8328 25416 | 90748 84528 73 | 0.000 % |
877.88/878.28 c | 1325280 | 1934 8328 25416 | 90748 84937 73 | 0.000 % |
878.18/878.57 c | 1325729 | 1934 8328 25416 | 90748 85386 73 | 0.000 % |
878.59/878.94 c | 1326223 | 1934 8328 25416 | 90748 85880 73 | 0.000 % |
878.98/879.33 c | 1326766 | 1934 8328 25416 | 90748 86423 73 | 0.000 % |
879.38/879.74 c | 1327362 | 1934 8328 25416 | 90748 87019 73 | 0.000 % |
879.88/880.21 c | 1328018 | 1934 8328 25416 | 90748 87675 73 | 0.000 % |
880.38/880.72 c | 1328739 | 1934 8328 25416 | 90748 88396 73 | 0.000 % |
880.88/881.25 c | 1329531 | 1934 8328 25416 | 90748 89188 73 | 0.000 % |
881.58/881.97 c | 1330403 | 1934 8328 25416 | 89657 79110 73 | 0.000 % |
882.18/882.59 c | 1331361 | 1934 8328 25416 | 89657 80068 72 | 0.000 % |
882.78/883.16 c | 1332416 | 1934 8328 25416 | 89657 81123 72 | 0.000 % |
883.48/883.83 c | 1333575 | 1934 8328 25416 | 89657 82282 72 | 0.000 % |
884.38/884.71 c | 1334851 | 1934 8328 25416 | 89657 83558 72 | 0.000 % |
885.28/885.63 c | 1336251 | 1934 8328 25416 | 89657 84958 72 | 0.000 % |
886.28/886.66 c | 1337792 | 1934 8328 25416 | 89657 86499 72 | 0.000 % |
887.48/887.87 c | 1339487 | 1934 8328 25416 | 89657 88194 72 | 0.000 % |
888.78/889.12 c | 1341351 | 1934 8328 25416 | 2147483647 90058 72 | 0.000 % |
890.28/890.60 c | 1343401 | 1934 8328 25416 | 2147483647 92108 72 | 0.000 % |
891.78/892.17 c | 1345655 | 1934 8328 25416 | 2147483647 94362 72 | 0.000 % |
893.68/894.00 c | 1348133 | 1934 8328 25416 | 2147483647 96840 72 | 0.000 % |
895.78/896.10 c | 1350858 | 1934 8328 25416 | 98707 89065 71 | 0.000 % |
897.78/898.19 c | 1353855 | 1934 8328 25416 | 98707 92062 71 | 0.000 % |
900.18/900.60 c | 1357151 | 1934 8328 25416 | 98707 95358 71 | 0.000 % |
902.98/903.35 c | 1360776 | 1934 8328 25416 | 98207 86149 70 | 0.000 % |
905.68/906.08 c | 1364764 | 1934 8328 25416 | 98207 90137 70 | 0.000 % |
908.77/909.18 c | 1369150 | 1934 8328 25416 | 98207 94523 71 | 0.000 % |
911.97/912.33 c | 1373973 | 1934 8328 25416 | 95374 87793 71 | 0.000 % |
915.77/916.13 c | 1379278 | 1934 8328 25416 | 95374 93098 71 | 0.000 % |
919.87/920.23 c | 1385113 | 1934 8328 25416 | 93820 88105 71 | 0.000 % |
924.57/924.96 c | 1391532 | 1934 8328 25416 | 92992 83840 71 | 0.000 % |
929.07/929.45 c | 1398592 | 1934 8328 25416 | 92992 90900 71 | 0.000 % |
933.97/934.39 c | 1406358 | 1934 8328 25416 | 92310 88318 70 | 0.000 % |
939.67/940.00 c | 1414898 | 1934 8328 25416 | 91960 86203 71 | 0.000 % |
946.26/946.67 c | 1424294 | 1934 8328 25416 | 91305 84430 72 | 0.000 % |
952.96/953.30 c | 1434629 | 1934 8328 25416 | 90136 85219 73 | 0.000 % |
960.36/960.70 c | 1445996 | 1934 8328 25416 | 2147483647 87546 74 | 0.000 % |
969.36/969.72 c | 1458498 | 1934 8328 25416 | 91552 90456 75 | 0.000 % |
969.36/969.80 c | 1458598 | 1934 8328 25416 | 91552 90556 75 | 0.000 % |
969.46/969.89 c | 1458710 | 1934 8328 25416 | 91552 90668 75 | 0.000 % |
969.56/969.99 c | 1458833 | 1934 8328 25416 | 91552 90791 75 | 0.000 % |
969.76/970.11 c | 1458968 | 1934 8328 25416 | 91552 90926 75 | 0.000 % |
969.86/970.23 c | 1459116 | 1934 8328 25416 | 91552 91074 75 | 0.000 % |
969.96/970.34 c | 1459277 | 1934 8328 25416 | 91552 91235 75 | 0.000 % |
970.06/970.48 c | 1459455 | 1934 8328 25416 | 91552 91413 75 | 0.000 % |
970.26/970.64 c | 1459651 | 1934 8328 25416 | 91552 91609 75 | 0.000 % |
970.46/970.84 c | 1459863 | 1934 8328 25416 | 91552 80962 75 | 0.000 % |
970.56/971.00 c | 1460096 | 1934 8328 25416 | 81102 81195 75 | 0.000 % |
970.86/971.20 c | 1460352 | 1934 8328 25416 | 81102 71956 75 | 0.000 % |
970.96/971.38 c | 1460633 | 1934 8328 25416 | 81102 72237 74 | 0.000 % |
971.16/971.55 c | 1460942 | 1934 8328 25416 | 81102 72546 75 | 0.000 % |
971.36/971.76 c | 1461281 | 1934 8328 25416 | 81102 72885 74 | 0.000 % |
971.56/971.99 c | 1461653 | 1934 8328 25416 | 81102 73257 74 | 0.000 % |
971.86/972.27 c | 1462065 | 1934 8328 25416 | 81102 73669 74 | 0.000 % |
972.16/972.55 c | 1462515 | 1934 8328 25416 | 81102 74119 74 | 0.000 % |
972.46/972.85 c | 1463008 | 1934 8328 25416 | 81102 74612 74 | 0.000 % |
972.86/973.21 c | 1463550 | 1934 8328 25416 | 81102 75154 74 | 0.000 % |
973.26/973.61 c | 1464148 | 1934 8328 25416 | 81102 75752 74 | 0.000 % |
973.56/973.95 c | 1464803 | 1934 8328 25416 | 81102 76407 74 | 0.000 % |
973.96/974.34 c | 1465524 | 1934 8328 25416 | 81102 77128 74 | 0.000 % |
974.46/974.86 c | 1466317 | 1934 8328 25416 | 81102 77921 74 | 0.000 % |
975.05/975.42 c | 1467188 | 1934 8328 25416 | 81102 78792 74 | 0.000 % |
975.55/975.99 c | 1468146 | 1934 8328 25416 | 81102 79750 74 | 0.000 % |
976.25/976.61 c | 1469199 | 1934 8328 25416 | 81102 80803 74 | 0.000 % |
976.95/977.33 c | 1470359 | 1934 8328 25416 | 2147483647 73829 74 | 0.000 % |
977.65/978.05 c | 1471632 | 1934 8328 25416 | 2147483647 75102 74 | 0.000 % |
978.45/978.82 c | 1473032 | 1934 8328 25416 | 2147483647 76502 74 | 0.000 % |
979.25/979.66 c | 1474572 | 1934 8328 25416 | 2147483647 78042 74 | 0.000 % |
980.15/980.59 c | 1476266 | 1934 8328 25416 | 2147483647 79736 74 | 0.000 % |
981.35/981.75 c | 1478129 | 1934 8328 25416 | 2147483647 81599 74 | 0.000 % |
982.65/983.02 c | 1480178 | 1934 8328 25416 | 2147483647 83648 73 | 0.000 % |
984.16/984.52 c | 1482431 | 1934 8328 25416 | 2147483647 85901 73 | 0.000 % |
985.75/986.14 c | 1484910 | 1934 8328 25416 | 2147483647 88380 73 | 0.000 % |
987.55/987.95 c | 1487636 | 1934 8328 25416 | 2147483647 91106 73 | 0.000 % |
989.65/990.09 c | 1490634 | 1934 8328 25416 | 2147483647 94104 73 | 0.000 % |
991.95/992.39 c | 1493930 | 1934 8328 25416 | 2147483647 97400 73 | 0.000 % |
994.65/995.04 c | 1497555 | 1934 8328 25416 | 2147483647 101025 73 | 0.000 % |
997.45/997.85 c | 1501542 | 1934 8328 25416 | 103471 91785 72 | 0.000 % |
1000.65/1001.06 c | 1505927 | 1934 8328 25416 | 103471 96170 72 | 0.000 % |
1004.15/1004.55 c | 1510750 | 1934 8328 25416 | 100243 87242 72 | 0.000 % |
1007.75/1008.14 c | 1516056 | 1934 8328 25416 | 100243 92548 72 | 0.000 % |
1011.65/1012.04 c | 1521892 | 1934 8328 25416 | 96492 86833 71 | 0.000 % |
1016.05/1016.48 c | 1528310 | 1934 8328 25416 | 96492 93251 71 | 0.000 % |
1020.85/1021.28 c | 1535370 | 1934 8328 25416 | 94941 89862 70 | 0.000 % |
1026.54/1026.98 c | 1543134 | 1934 8328 25416 | 94492 86682 70 | 0.000 % |
1033.04/1033.41 c | 1551674 | 1934 8328 25416 | 93548 83732 71 | 0.000 % |
1039.64/1040.06 c | 1561068 | 1934 8328 25416 | 92058 81517 71 | 0.000 % |
1046.04/1046.45 c | 1571401 | 1934 8328 25416 | 90449 82388 72 | 0.000 % |
1052.94/1053.35 c | 1582768 | 1934 8328 25416 | 2147483647 84682 74 | 0.000 % |
1061.53/1061.91 c | 1595271 | 1934 8328 25416 | 91914 86572 75 | 0.000 % |
1070.43/1070.81 c | 1609023 | 1934 8328 25416 | 91301 89230 75 | 0.000 % |
1070.53/1070.90 c | 1609123 | 1934 8328 25416 | 91301 89330 75 | 0.000 % |
1070.53/1070.99 c | 1609234 | 1934 8328 25416 | 91301 89441 75 | 0.000 % |
1070.63/1071.08 c | 1609355 | 1934 8328 25416 | 91301 89562 75 | 0.000 % |
1070.73/1071.19 c | 1609489 | 1934 8328 25416 | 91301 89696 75 | 0.000 % |
1070.93/1071.31 c | 1609636 | 1934 8328 25416 | 91301 89843 75 | 0.000 % |
1071.03/1071.43 c | 1609799 | 1934 8328 25416 | 91301 90006 75 | 0.000 % |
1071.13/1071.58 c | 1609975 | 1934 8328 25416 | 91301 90182 75 | 0.000 % |
1071.33/1071.72 c | 1610168 | 1934 8328 25416 | 90209 90375 75 | 0.000 % |
1071.53/1071.94 c | 1610381 | 1934 8328 25416 | 90209 79992 75 | 0.000 % |
1071.63/1072.09 c | 1610615 | 1934 8328 25416 | 90209 80226 75 | 0.000 % |
1071.83/1072.27 c | 1610871 | 1934 8328 25416 | 90209 80482 75 | 0.000 % |
1072.03/1072.47 c | 1611152 | 1934 8328 25416 | 90209 80763 75 | 0.000 % |
1072.23/1072.67 c | 1611463 | 1934 8328 25416 | 90209 81074 75 | 0.000 % |
1072.53/1072.92 c | 1611802 | 1934 8328 25416 | 90209 81413 75 | 0.000 % |
1072.73/1073.17 c | 1612174 | 1934 8328 25416 | 90209 81785 75 | 0.000 % |
1073.03/1073.43 c | 1612583 | 1934 8328 25416 | 90209 82194 75 | 0.000 % |
1073.33/1073.75 c | 1613032 | 1934 8328 25416 | 90209 82643 75 | 0.000 % |
1073.63/1074.09 c | 1613525 | 1934 8328 25416 | 90209 83136 75 | 0.000 % |
1074.03/1074.41 c | 1614067 | 1934 8328 25416 | 90209 83678 75 | 0.000 % |
1074.43/1074.82 c | 1614664 | 1934 8328 25416 | 90209 84275 74 | 0.000 % |
1074.83/1075.24 c | 1615319 | 1934 8328 25416 | 90209 84930 74 | 0.000 % |
1075.33/1075.74 c | 1616041 | 1934 8328 25416 | 90209 85652 74 | 0.000 % |
1075.83/1076.25 c | 1616834 | 1934 8328 25416 | 90209 86445 74 | 0.000 % |
1076.33/1076.78 c | 1617706 | 1934 8328 25416 | 90209 87317 74 | 0.000 % |
1077.03/1077.49 c | 1618667 | 1934 8328 25416 | 90209 88278 74 | 0.000 % |
1077.83/1078.20 c | 1619721 | 1934 8328 25416 | 90209 89332 74 | 0.000 % |
1078.63/1079.01 c | 1620881 | 1934 8328 25416 | 89613 81460 74 | 0.000 % |
1079.43/1079.80 c | 1622155 | 1934 8328 25416 | 89613 82734 73 | 0.000 % |
1080.23/1080.65 c | 1623555 | 1934 8328 25416 | 89613 84134 73 | 0.000 % |
1081.23/1081.61 c | 1625095 | 1934 8328 25416 | 89613 85674 73 | 0.000 % |
1082.23/1082.64 c | 1626790 | 1934 8328 25416 | 89613 87369 73 | 0.000 % |
1083.53/1083.90 c | 1628655 | 1934 8328 25416 | 89613 89234 73 | 0.000 % |
1084.93/1085.30 c | 1630704 | 1934 8328 25416 | 2147483647 82294 73 | 0.000 % |
1086.23/1086.67 c | 1632957 | 1934 8328 25416 | 2147483647 84547 73 | 0.000 % |
1088.02/1088.47 c | 1635435 | 1934 8328 25416 | 2147483647 87025 73 | 0.000 % |
1089.82/1090.27 c | 1638160 | 1934 8328 25416 | 2147483647 89750 73 | 0.000 % |
1091.93/1092.31 c | 1641157 | 1934 8328 25416 | 91590 83178 72 | 0.000 % |
1093.92/1094.35 c | 1644455 | 1934 8328 25416 | 91590 86476 72 | 0.000 % |
1096.33/1096.76 c | 1648081 | 1934 8328 25416 | 91590 90102 72 | 0.000 % |
1099.22/1099.68 c | 1652070 | 1934 8328 25416 | 82133 75113 71 | 0.000 % |
1101.72/1102.18 c | 1656457 | 1934 8328 25416 | 82133 79500 71 | 0.000 % |
1104.62/1105.03 c | 1661280 | 1934 8328 25416 | 2147483647 76084 70 | 0.000 % |
1107.82/1108.29 c | 1666586 | 1934 8328 25416 | 2147483647 81390 70 | 0.000 % |
1111.42/1111.81 c | 1672421 | 1934 8328 25416 | 2147483647 87225 71 | 0.000 % |
1115.62/1116.07 c | 1678840 | 1934 8328 25416 | 2147483647 93644 71 | 0.000 % |
1120.71/1121.18 c | 1685902 | 1934 8328 25416 | 2147483647 100706 71 | 0.000 % |
1126.61/1127.09 c | 1693667 | 1934 8328 25416 | 104807 94193 70 | 0.000 % |
1132.91/1133.35 c | 1702209 | 1934 8328 25416 | 100526 87900 70 | 0.000 % |
1139.91/1140.32 c | 1711603 | 1934 8328 25416 | 95691 83612 71 | 0.000 % |
1146.91/1147.34 c | 1721936 | 1934 8328 25416 | 92009 80947 71 | 0.000 % |
1154.90/1155.33 c | 1733302 | 1934 8328 25416 | 89012 81579 73 | 0.000 % |
1164.00/1164.43 c | 1745804 | 1934 8328 25416 | 88284 83682 73 | 0.000 % |
1174.20/1174.66 c | 1759556 | 1934 8328 25416 | 87879 87031 74 | 0.000 % |
1183.40/1183.85 c | 1774683 | 1934 8328 25416 | 86924 81611 75 | 0.000 % |
1183.50/1183.92 c | 1774783 | 1934 8328 25416 | 86924 81711 75 | 0.000 % |
1183.60/1184.01 c | 1774894 | 1934 8328 25416 | 86924 81822 75 | 0.000 % |
1183.60/1184.09 c | 1775015 | 1934 8328 25416 | 86924 81943 75 | 0.000 % |
1183.80/1184.20 c | 1775148 | 1934 8328 25416 | 86924 82076 75 | 0.000 % |
1183.90/1184.31 c | 1775294 | 1934 8328 25416 | 86924 82222 75 | 0.000 % |
1184.00/1184.43 c | 1775454 | 1934 8328 25416 | 86924 82382 75 | 0.000 % |
1184.10/1184.57 c | 1775634 | 1934 8328 25416 | 86924 82562 75 | 0.000 % |
1184.20/1184.70 c | 1775827 | 1934 8328 25416 | 86924 82755 75 | 0.000 % |
1184.40/1184.85 c | 1776039 | 1934 8328 25416 | 86924 82967 75 | 0.000 % |
1184.60/1185.03 c | 1776273 | 1934 8328 25416 | 86924 83201 75 | 0.000 % |
1184.80/1185.22 c | 1776529 | 1934 8328 25416 | 86924 83457 75 | 0.000 % |
1185.00/1185.46 c | 1776810 | 1934 8328 25416 | 86924 83738 75 | 0.000 % |
1185.20/1185.70 c | 1777121 | 1934 8328 25416 | 86924 84049 75 | 0.000 % |
1185.50/1185.96 c | 1777460 | 1934 8328 25416 | 86924 84388 75 | 0.000 % |
1185.80/1186.21 c | 1777832 | 1934 8328 25416 | 86924 84760 75 | 0.000 % |
1186.00/1186.48 c | 1778242 | 1934 8328 25416 | 86924 85170 75 | 0.000 % |
1186.30/1186.80 c | 1778692 | 1934 8328 25416 | 86924 85620 75 | 0.000 % |
1186.69/1187.13 c | 1779187 | 1934 8328 25416 | 86924 86115 75 | 0.000 % |
1187.09/1187.50 c | 1779729 | 1934 8328 25416 | 86924 86657 75 | 0.000 % |
1187.50/1187.95 c | 1780326 | 1934 8328 25416 | 86930 76817 75 | 0.000 % |
1187.89/1188.34 c | 1780981 | 1934 8328 25416 | 86930 77472 75 | 0.000 % |
1188.29/1188.75 c | 1781701 | 1934 8328 25416 | 86930 78192 75 | 0.000 % |
1188.79/1189.27 c | 1782495 | 1934 8328 25416 | 86930 78986 75 | 0.000 % |
1189.39/1189.88 c | 1783366 | 1934 8328 25416 | 86930 79857 75 | 0.000 % |
1190.09/1190.54 c | 1784324 | 1934 8328 25416 | 86930 80815 75 | 0.000 % |
1190.69/1191.16 c | 1785380 | 1934 8328 25416 | 86930 81871 75 | 0.000 % |
1191.39/1191.88 c | 1786538 | 1934 8328 25416 | 86930 83029 75 | 0.000 % |
1192.39/1192.83 c | 1787812 | 1934 8328 25416 | 86930 84303 75 | 0.000 % |
1193.39/1193.86 c | 1789213 | 1934 8328 25416 | 86930 85704 75 | 0.000 % |
1194.59/1195.07 c | 1790754 | 1934 8328 25416 | 86491 78307 75 | 0.000 % |
1195.69/1196.18 c | 1792449 | 1934 8328 25416 | 86491 80002 75 | 0.000 % |
1196.99/1197.43 c | 1794312 | 1934 8328 25416 | 86491 81865 74 | 0.000 % |
1198.29/1198.73 c | 1796361 | 1934 8328 25416 | 86491 83914 74 | 0.000 % |
1199.69/1200.18 c | 1798614 | 1934 8328 25416 | 86491 86167 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-1832657-1242785970/watcher-1832657-1242785970 -o /tmp/evaluation-result-1832657-1242785970/solver-1832657-1242785970 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832657-1242785970.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13653
/proc/meminfo: memFree=1725024/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306626055 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 251601322066 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/13653/statm: 1339 235 195 169 0 50 0
[pid=13654] ppid=13653 vsize=5356 CPUtime=0
/proc/13654/stat : 13654 (SatELiteGTI) R 13653 13653 11469 0 -1 4194368 52 188 0 0 0 0 0 0 20 0 1 0 306626055 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 251600759283 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/13654/statm: 1339 238 198 169 0 50 0
[startup+0.0118349 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13653
/proc/meminfo: memFree=1725024/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 306626055 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/13653/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101845 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13653
/proc/meminfo: memFree=1725024/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301868 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13653
/proc/meminfo: memFree=1725024/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701912 s]
/proc/loadavg: 1.00 1.00 1.00 3/65 13653
/proc/meminfo: memFree=1725024/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.502 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1722704/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=4820 CPUtime=1.45
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 874 0 0 0 145 0 0 0 25 0 1 0 306626059 4935680 860 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 1205 860 77 171 0 1032 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 10176
[startup+3.10118 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1719888/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=8012 CPUtime=3.05
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 1658 0 0 0 304 1 0 0 25 0 1 0 306626059 8204288 1644 1992294400 134512640 135215339 4294956240 18446744073709551615 134528734 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 2003 1644 77 171 0 1830 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13368
[startup+6.30153 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1715088/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=11872 CPUtime=6.24
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 2647 0 0 0 622 2 0 0 25 0 1 0 306626059 12156928 2633 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 2968 2633 77 171 0 2795 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 17228
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1709264/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=17100 CPUtime=12.64
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 3943 0 0 0 1260 4 0 0 25 0 1 0 306626059 17510400 3929 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 4275 3929 77 171 0 4102 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 22456
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1701712/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=24348 CPUtime=25.43
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 5752 0 0 0 2537 6 0 0 25 0 1 0 306626059 24932352 5738 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 6087 5738 77 171 0 5914 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 29704
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1696336/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=29676 CPUtime=51.03
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 7054 0 0 0 5095 8 0 0 25 0 1 0 306626059 30388224 7040 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 7419 7040 77 171 0 7246 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 35032
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1695056/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=30732 CPUtime=102.22
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 7326 0 0 0 10213 9 0 0 25 0 1 0 306626059 31469568 7312 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 7683 7312 77 171 0 7510 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 36088
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1691216/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=34428 CPUtime=162.19
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 8246 0 0 0 16209 10 0 0 25 0 1 0 306626059 35254272 8232 1992294400 134512640 135215339 4294956240 18446744073709551615 134538488 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 8607 8232 77 171 0 8434 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 39784
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1690448/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=35088 CPUtime=222.17
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 8418 0 0 0 22206 11 0 0 25 0 1 0 306626059 35930112 8404 1992294400 134512640 135215339 4294956240 18446744073709551615 134539397 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 8772 8404 77 171 0 8599 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 40444
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1689040/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=36540 CPUtime=282.14
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 8761 0 0 0 28203 11 0 0 25 0 1 0 306626059 37416960 8747 1992294400 134512640 135215339 4294956240 18446744073709551615 134532956 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9135 8747 77 171 0 8962 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 41896
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1688912/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=36540 CPUtime=342.13
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 8761 0 0 0 34201 12 0 0 25 0 1 0 306626059 37416960 8747 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9135 8747 77 171 0 8962 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 41896
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1688656/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=36540 CPUtime=402.11
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 8790 0 0 0 40199 12 0 0 25 0 1 0 306626059 37416960 8776 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9135 8776 77 171 0 8962 0
Current children cumulated CPU time (s) 402.14
################
# More data... #
################
/proc/13659/statm: 9462 9079 77 171 0 9289 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 43204
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1687120/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=37836 CPUtime=642.03
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9093 0 0 0 64190 13 0 0 25 0 1 0 306626059 38744064 9079 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9459 9079 77 171 0 9286 0
Current children cumulated CPU time (s) 642.06
Current children cumulated vsize (KiB) 43192
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1686288/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=38496 CPUtime=702.01
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9281 0 0 0 70188 13 0 0 25 0 1 0 306626059 39419904 9267 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9624 9267 77 171 0 9451 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 43852
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1685904/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=38760 CPUtime=762
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9346 0 0 0 76186 14 0 0 25 0 1 0 306626059 39690240 9332 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9690 9332 77 171 0 9517 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 44116
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1685648/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=39024 CPUtime=821.97
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9414 0 0 0 82183 14 0 0 25 0 1 0 306626059 39960576 9400 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9756 9400 77 171 0 9583 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 44380
[startup+882.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1685008/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=39688 CPUtime=881.95
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9553 0 0 0 88181 14 0 0 25 0 1 0 306626059 40640512 9539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9922 9539 77 171 0 9749 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 45044
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1684880/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=39688 CPUtime=941.94
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9553 0 0 0 94180 14 0 0 25 0 1 0 306626059 40640512 9539 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 9922 9539 77 171 0 9749 0
Current children cumulated CPU time (s) 941.97
Current children cumulated vsize (KiB) 45044
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1683280/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=41140 CPUtime=1001.92
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9932 0 0 0 100177 15 0 0 25 0 1 0 306626059 42127360 9918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528814 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 10285 9918 77 171 0 10112 0
Current children cumulated CPU time (s) 1001.95
Current children cumulated vsize (KiB) 46496
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1683216/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=41140 CPUtime=1061.9
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9932 0 0 0 106175 15 0 0 25 0 1 0 306626059 42127360 9918 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 10285 9918 77 171 0 10112 0
Current children cumulated CPU time (s) 1061.93
Current children cumulated vsize (KiB) 46496
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1683088/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=41140 CPUtime=1121.88
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 9932 0 0 0 112173 15 0 0 25 0 1 0 306626059 42127360 9918 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 10285 9918 77 171 0 10112 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 46496
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1682768/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=41404 CPUtime=1181.87
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 10000 0 0 0 118172 15 0 0 25 0 1 0 306626059 42397696 9986 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 10351 9986 77 171 0 10178 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 46760
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1682768/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=41404 CPUtime=1200.06
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 10000 0 0 0 119991 15 0 0 25 0 1 0 306626059 42397696 9986 1992294400 134512640 135215339 4294956240 18446744073709551615 134538958 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 10351 9986 77 171 0 10178 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 46760
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: 1.00 1.00 1.00 2/67 13659
/proc/meminfo: memFree=1682768/2055920 swapFree=4180292/4192956
[pid=13653] ppid=13651 vsize=5356 CPUtime=0.03
/proc/13653/stat : 13653 (SatELiteGTI) S 13651 13653 11469 0 -1 4194304 336 599 0 0 0 0 3 0 18 0 1 0 306626055 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 251601150788 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/13653/statm: 1339 239 197 169 0 50 0
[pid=13659] ppid=13653 vsize=41404 CPUtime=1200.06
/proc/13659/stat : 13659 (minisat_static) R 13653 13653 11469 0 -1 4194304 10000 0 0 0 119991 15 0 0 25 0 1 0 306626059 42397696 9986 1992294400 134512640 135215339 4294956240 18446744073709551615 134538958 0 0 4096 3 0 0 0 17 1 0 0
/proc/13659/statm: 10351 9986 77 171 0 10178 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 46760
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 13653 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=5999
# CPU time returned by wait4() is 0.038993
# while last known CPU time is 1200.09
#
# 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.09
CPU user time (s): 1199.94
CPU system time (s): 0.15
CPU usage (%): 99.9649
Max. virtual memory (cumulated for all children) (KiB): 46760
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.032994
system time used= 0.005999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 935
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= 7
runsolver used 1.07184 second user time and 3.41048 second system time
The end
Begin job on node91 at 2009-05-20 04:19:30
IDJOB=1832657
IDBENCH=70292
IDSOLVER=671
FILE ID=node91/1832657-1242785970
PBS_JOBID= 9322308
Free space on /tmp= 66324 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S1494472801-040.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832657-1242785970/watcher-1832657-1242785970 -o /tmp/evaluation-result-1832657-1242785970/solver-1832657-1242785970 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832657-1242785970.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 68d6a1970f04966f07e2b02a79996009
RANDOM SEED=436754550
node91.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.241
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.241
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: 1725568 kB
Buffers: 33908 kB
Cached: 222156 kB
SwapCached: 6348 kB
Active: 56516 kB
Inactive: 212252 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1725568 kB
SwapTotal: 4192956 kB
SwapFree: 4180292 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 17272 kB
Slab: 47540 kB
Committed_AS: 918304 kB
PageTables: 1368 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66324 MiB
End job on node91 at 2009-05-20 04:39:33