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 | 8348 25317 | -- 0 -- -- | -- | -52/117
0.00/0.03 c ==============================================================================
0.00/0.03 c Result : #vars: 1956 #clauses: 8348 #literals: 25317
0.00/0.03 c CPU time: 0.020996 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: 1956 |
0.00/0.04 c | Number of clauses: 8348 |
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 | 1956 8348 25317 | 2782 0 nan | 0.000 % |
0.00/0.05 c | 100 | 1956 8348 25317 | 2782 100 62 | 0.000 % |
0.00/0.06 c | 201 | 1956 8348 25317 | 2782 201 58 | 0.000 % |
0.03/0.06 c | 301 | 1956 8348 25317 | 2782 301 60 | 0.000 % |
0.03/0.07 c | 412 | 1956 8348 25317 | 2782 412 61 | 0.000 % |
0.03/0.08 c | 512 | 1956 8348 25317 | 2782 512 61 | 0.000 % |
0.03/0.09 c | 622 | 1956 8348 25317 | 2782 622 61 | 0.000 % |
0.03/0.10 c | 743 | 1956 8348 25317 | 2782 743 60 | 0.000 % |
0.03/0.11 c | 844 | 1956 8348 25317 | 2782 844 61 | 0.000 % |
0.03/0.11 c | 955 | 1956 8348 25317 | 2782 955 62 | 0.000 % |
0.03/0.12 c | 1077 | 1956 8348 25317 | 2782 1077 61 | 0.000 % |
0.03/0.13 c | 1210 | 1956 8348 25317 | 2782 1210 61 | 0.000 % |
0.03/0.14 c | 1311 | 1956 8348 25317 | 2782 1311 61 | 0.000 % |
0.03/0.15 c | 1423 | 1956 8348 25317 | 2782 1423 61 | 0.000 % |
0.03/0.16 c | 1544 | 1956 8348 25317 | 2782 1544 60 | 0.000 % |
0.03/0.17 c | 1677 | 1956 8348 25317 | 2782 1677 60 | 0.000 % |
0.03/0.18 c | 1823 | 1956 8348 25317 | 2782 1823 60 | 0.000 % |
0.03/0.19 c | 1924 | 1956 8348 25317 | 2782 1924 60 | 0.000 % |
0.03/0.20 c | 2034 | 1956 8348 25317 | 2782 2034 60 | 0.000 % |
0.03/0.21 c | 2155 | 1956 8348 25317 | 2782 2155 60 | 0.000 % |
0.03/0.22 c | 2289 | 1956 8348 25317 | 2782 2289 59 | 0.000 % |
0.03/0.23 c | 2436 | 1956 8348 25317 | 2782 2436 60 | 0.000 % |
0.03/0.25 c | 2597 | 1956 8348 25317 | 2782 2597 60 | 0.000 % |
0.03/0.25 c | 2697 | 1956 8348 25317 | 2782 2697 60 | 0.000 % |
0.03/0.26 c | 2807 | 1956 8348 25317 | 2782 2807 60 | 0.000 % |
0.03/0.28 c | 2928 | 1956 8348 25317 | 2782 2648 59 | 0.000 % |
0.03/0.29 c | 3062 | 1956 8348 25317 | 2782 2782 60 | 0.000 % |
0.03/0.30 c | 3208 | 1956 8348 25317 | 2782 2650 59 | 0.000 % |
0.03/0.32 c | 3369 | 1956 8348 25317 | 2782 2811 59 | 0.000 % |
0.03/0.33 c | 3545 | 1956 8348 25317 | 2782 2706 58 | 0.000 % |
0.03/0.34 c | 3645 | 1956 8348 25317 | 2782 2806 58 | 0.000 % |
0.03/0.35 c | 3756 | 1956 8348 25317 | 2782 2637 58 | 0.000 % |
0.03/0.36 c | 3878 | 1956 8348 25317 | 2782 2759 58 | 0.000 % |
0.03/0.37 c | 4012 | 1956 8348 25317 | 2782 2893 58 | 0.000 % |
0.03/0.39 c | 4159 | 1956 8348 25317 | 2782 2751 58 | 0.000 % |
0.03/0.40 c | 4319 | 1956 8348 25317 | 2782 2911 58 | 0.000 % |
0.03/0.42 c | 4495 | 1956 8348 25317 | 2782 2796 58 | 0.000 % |
0.03/0.43 c | 4688 | 1956 8348 25317 | 2782 2710 59 | 0.000 % |
0.03/0.44 c | 4790 | 1956 8348 25317 | 2782 2812 59 | 0.000 % |
0.03/0.45 c | 4902 | 1956 8348 25317 | 2782 2643 58 | 0.000 % |
0.03/0.46 c | 5023 | 1956 8348 25317 | 2782 2764 59 | 0.000 % |
0.03/0.47 c | 5158 | 1956 8348 25317 | 2782 2899 59 | 0.000 % |
0.03/0.49 c | 5304 | 1956 8348 25317 | 2782 2756 59 | 0.000 % |
0.03/0.50 c | 5464 | 1956 8348 25317 | 2782 2916 59 | 0.000 % |
0.03/0.52 c | 5640 | 1956 8348 25317 | 2782 2801 59 | 0.000 % |
0.03/0.54 c | 5834 | 1956 8348 25317 | 2782 2715 60 | 0.000 % |
0.03/0.55 c | 6047 | 1956 8348 25317 | 2782 2928 60 | 0.000 % |
0.03/0.56 c | 6147 | 1956 8348 25317 | 2782 2736 60 | 0.000 % |
0.03/0.57 c | 6259 | 1956 8348 25317 | 2782 2848 60 | 0.000 % |
0.03/0.58 c | 6380 | 1956 8348 25317 | 2782 2685 60 | 0.000 % |
0.03/0.60 c | 6514 | 1956 8348 25317 | 2782 2819 60 | 0.000 % |
0.03/0.61 c | 6661 | 1956 8348 25317 | 2782 2685 59 | 0.000 % |
0.03/0.62 c | 6822 | 1956 8348 25317 | 2782 2846 59 | 0.000 % |
0.03/0.64 c | 6998 | 1956 8348 25317 | 2782 2738 60 | 0.000 % |
0.03/0.66 c | 7192 | 1956 8348 25317 | 2782 2932 60 | 0.000 % |
0.03/0.68 c | 7404 | 1956 8348 25317 | 2782 2851 60 | 0.000 % |
0.03/0.70 c | 7638 | 1956 8348 25317 | 2782 2800 59 | 0.000 % |
0.03/0.71 c | 7739 | 1956 8348 25317 | 2782 2621 59 | 0.000 % |
0.03/0.72 c | 7850 | 1956 8348 25317 | 2782 2732 58 | 0.000 % |
0.03/0.73 c | 7971 | 1956 8348 25317 | 2782 2853 58 | 0.000 % |
0.03/0.74 c | 8106 | 1956 8348 25317 | 2782 2703 58 | 0.000 % |
0.03/0.75 c | 8252 | 1956 8348 25317 | 2782 2849 58 | 0.000 % |
0.03/0.76 c | 8413 | 1956 8348 25317 | 2782 2726 57 | 0.000 % |
0.03/0.78 c | 8589 | 1956 8348 25317 | 2782 2902 57 | 0.000 % |
0.03/0.80 c | 8783 | 1956 8348 25317 | 2782 2806 58 | 0.000 % |
0.03/0.82 c | 8995 | 1956 8348 25317 | 2782 2738 57 | 0.000 % |
0.03/0.84 c | 9231 | 1956 8348 25317 | 2782 2974 58 | 0.000 % |
0.03/0.86 c | 9488 | 1956 8348 25317 | 2782 2934 58 | 0.000 % |
0.03/0.87 c | 9588 | 1956 8348 25317 | 2782 2741 57 | 0.000 % |
0.03/0.88 c | 9700 | 1956 8348 25317 | 2782 2853 57 | 0.000 % |
0.03/0.89 c | 9821 | 1956 8348 25317 | 2782 2689 57 | 0.000 % |
0.03/0.90 c | 9955 | 1956 8348 25317 | 2782 2823 57 | 0.000 % |
0.03/0.91 c | 10104 | 1956 8348 25317 | 2147483647 2690 57 | 0.000 % |
0.03/0.93 c | 10265 | 1956 8348 25317 | 2147483647 2851 57 | 0.000 % |
0.03/0.94 c | 10441 | 1956 8348 25317 | 2147483647 3027 58 | 0.000 % |
0.03/0.96 c | 10634 | 1956 8348 25317 | 2147483647 3220 58 | 0.000 % |
0.03/0.98 c | 10846 | 1956 8348 25317 | 2147483647 3432 59 | 0.000 % |
0.99/1.00 c | 11081 | 1956 8348 25317 | 2147483647 3667 59 | 0.000 % |
0.99/1.02 c | 11338 | 1956 8348 25317 | 2147483647 3924 59 | 0.000 % |
0.99/1.05 c | 11620 | 1956 8348 25317 | 2147483647 4206 59 | 0.000 % |
0.99/1.06 c | 11723 | 1956 8348 25317 | 2147483647 4309 59 | 0.000 % |
0.99/1.07 c | 11833 | 1956 8348 25317 | 2147483647 4419 59 | 0.000 % |
0.99/1.08 c | 11954 | 1956 8348 25317 | 2147483647 4540 59 | 0.000 % |
0.99/1.10 c | 12088 | 1956 8348 25317 | 2147483647 4674 60 | 0.000 % |
1.09/1.11 c | 12234 | 1956 8348 25317 | 2147483647 4820 60 | 0.000 % |
1.09/1.13 c | 12395 | 1956 8348 25317 | 2147483647 4981 60 | 0.000 % |
1.09/1.14 c | 12572 | 1956 8348 25317 | 2147483647 5158 60 | 0.000 % |
1.09/1.16 c | 12767 | 1956 8348 25317 | 2147483647 5353 60 | 0.000 % |
1.09/1.18 c | 12980 | 1956 8348 25317 | 2147483647 5566 60 | 0.000 % |
1.18/1.20 c | 13216 | 1956 8348 25317 | 2147483647 5802 60 | 0.000 % |
1.18/1.23 c | 13472 | 1956 8348 25317 | 2147483647 6058 61 | 0.000 % |
1.18/1.26 c | 13753 | 1956 8348 25317 | 2147483647 6339 61 | 0.000 % |
1.18/1.29 c | 14063 | 1956 8348 25317 | 2147483647 6649 61 | 0.000 % |
1.28/1.30 c | 14165 | 1956 8348 25317 | 2147483647 6751 61 | 0.000 % |
1.28/1.31 c | 14278 | 1956 8348 25317 | 2147483647 6864 61 | 0.000 % |
1.28/1.33 c | 14399 | 1956 8348 25317 | 2147483647 6985 61 | 0.000 % |
1.28/1.34 c | 14532 | 1956 8348 25317 | 2147483647 7118 61 | 0.000 % |
1.28/1.36 c | 14680 | 1956 8348 25317 | 2147483647 7266 61 | 0.000 % |
1.28/1.37 c | 14841 | 1956 8348 25317 | 2147483647 7427 61 | 0.000 % |
1.28/1.39 c | 15017 | 1956 8348 25317 | 2147483647 7603 61 | 0.000 % |
1.38/1.41 c | 15211 | 1956 8348 25317 | 2147483647 7797 61 | 0.000 % |
1.38/1.44 c | 15424 | 1956 8348 25317 | 2147483647 8010 62 | 0.000 % |
1.38/1.46 c | 15657 | 1956 8348 25317 | 2147483647 8243 61 | 0.000 % |
1.38/1.49 c | 15913 | 1956 8348 25317 | 2147483647 8499 61 | 0.000 % |
1.49/1.52 c | 16194 | 1956 8348 25317 | 2147483647 8780 62 | 0.000 % |
1.49/1.56 c | 16503 | 1956 8348 25317 | 2147483647 9089 62 | 0.000 % |
1.59/1.60 c | 16845 | 1956 8348 25317 | 2147483647 9431 62 | 0.000 % |
1.59/1.61 c | 16945 | 1956 8348 25317 | 2147483647 9531 62 | 0.000 % |
1.59/1.62 c | 17055 | 1956 8348 25317 | 2147483647 9641 62 | 0.000 % |
1.59/1.64 c | 17177 | 1956 8348 25317 | 2147483647 9763 62 | 0.000 % |
1.59/1.65 c | 17311 | 1956 8348 25317 | 2147483647 9897 62 | 0.000 % |
1.59/1.67 c | 17458 | 1956 8348 25317 | 2147483647 10044 62 | 0.000 % |
1.59/1.69 c | 17621 | 1956 8348 25317 | 2147483647 10207 62 | 0.000 % |
1.68/1.71 c | 17802 | 1956 8348 25317 | 2147483647 10388 62 | 0.000 % |
1.68/1.74 c | 17995 | 1956 8348 25317 | 2147483647 10581 62 | 0.000 % |
1.68/1.76 c | 18208 | 1956 8348 25317 | 2147483647 10794 62 | 0.000 % |
1.68/1.79 c | 18441 | 1956 8348 25317 | 2147483647 11027 62 | 0.000 % |
1.78/1.83 c | 18697 | 1956 8348 25317 | 2147483647 11283 62 | 0.000 % |
1.78/1.86 c | 18982 | 1956 8348 25317 | 2147483647 11568 62 | 0.000 % |
1.88/1.90 c | 19292 | 1956 8348 25317 | 2147483647 11878 62 | 0.000 % |
1.88/1.95 c | 19632 | 1956 8348 25317 | 2147483647 12218 62 | 0.000 % |
1.88/1.99 c | 20004 | 1956 8348 25317 | 2147483647 12590 62 | 0.000 % |
1.98/2.01 c | 20104 | 1956 8348 25317 | 2147483647 12690 62 | 0.000 % |
1.98/2.02 c | 20216 | 1956 8348 25317 | 2147483647 12802 62 | 0.000 % |
1.98/2.04 c | 20338 | 1956 8348 25317 | 2147483647 12924 62 | 0.000 % |
1.98/2.06 c | 20471 | 1956 8348 25317 | 2147483647 13057 62 | 0.000 % |
1.98/2.08 c | 20617 | 1956 8348 25317 | 2147483647 13203 62 | 0.000 % |
2.09/2.10 c | 20777 | 1956 8348 25317 | 2147483647 13363 62 | 0.000 % |
2.09/2.13 c | 20954 | 1956 8348 25317 | 2147483647 13540 62 | 0.000 % |
2.09/2.16 c | 21148 | 1956 8348 25317 | 2147483647 13734 62 | 0.000 % |
2.09/2.19 c | 21360 | 1956 8348 25317 | 2147483647 13946 62 | 0.000 % |
2.19/2.22 c | 21593 | 1956 8348 25317 | 2147483647 14179 62 | 0.000 % |
2.19/2.26 c | 21849 | 1956 8348 25317 | 2147483647 14435 62 | 0.000 % |
2.28/2.31 c | 22131 | 1956 8348 25317 | 2147483647 14717 62 | 0.000 % |
2.28/2.35 c | 22442 | 1956 8348 25317 | 2147483647 15028 62 | 0.000 % |
2.38/2.40 c | 22781 | 1956 8348 25317 | 2147483647 15367 62 | 0.000 % |
2.38/2.46 c | 23154 | 1956 8348 25317 | 2147483647 15740 62 | 0.000 % |
2.48/2.52 c | 23563 | 1956 8348 25317 | 2147483647 16149 62 | 0.000 % |
2.48/2.54 c | 23663 | 1956 8348 25317 | 2147483647 16249 62 | 0.000 % |
2.48/2.55 c | 23774 | 1956 8348 25317 | 2147483647 16360 62 | 0.000 % |
2.48/2.57 c | 23895 | 1956 8348 25317 | 2147483647 16481 62 | 0.000 % |
2.48/2.60 c | 24028 | 1956 8348 25317 | 2147483647 16614 62 | 0.000 % |
2.58/2.63 c | 24174 | 1956 8348 25317 | 2147483647 16760 62 | 0.000 % |
2.58/2.65 c | 24336 | 1956 8348 25317 | 2147483647 16922 62 | 0.000 % |
2.58/2.68 c | 24513 | 1956 8348 25317 | 2147483647 17099 62 | 0.000 % |
2.68/2.72 c | 24706 | 1956 8348 25317 | 2147483647 17292 62 | 0.000 % |
2.68/2.75 c | 24918 | 1956 8348 25317 | 2147483647 17504 62 | 0.000 % |
2.68/2.79 c | 25152 | 1956 8348 25317 | 2147483647 17738 62 | 0.000 % |
2.78/2.84 c | 25414 | 1956 8348 25317 | 2147483647 18000 62 | 0.000 % |
2.78/2.89 c | 25696 | 1956 8348 25317 | 2147483647 18282 62 | 0.000 % |
2.88/2.94 c | 26007 | 1956 8348 25317 | 2147483647 18593 62 | 0.000 % |
2.98/3.00 c | 26347 | 1956 8348 25317 | 2147483647 18933 62 | 0.000 % |
2.98/3.07 c | 26720 | 1956 8348 25317 | 2147483647 19306 62 | 0.000 % |
3.08/3.15 c | 27129 | 1956 8348 25317 | 2147483647 19715 62 | 0.000 % |
3.18/3.23 c | 27579 | 1956 8348 25317 | 2147483647 20165 63 | 0.000 % |
3.18/3.26 c | 27680 | 1956 8348 25317 | 2147483647 20266 63 | 0.000 % |
3.18/3.28 c | 27790 | 1956 8348 25317 | 2147483647 20376 63 | 0.000 % |
3.28/3.30 c | 27914 | 1956 8348 25317 | 2147483647 20500 63 | 0.000 % |
3.28/3.33 c | 28047 | 1956 8348 25317 | 2147483647 20633 63 | 0.000 % |
3.28/3.36 c | 28194 | 1956 8348 25317 | 2147483647 20780 63 | 0.000 % |
3.28/3.39 c | 28354 | 1956 8348 25317 | 2147483647 20940 63 | 0.000 % |
3.38/3.43 c | 28532 | 1956 8348 25317 | 2147483647 21118 63 | 0.000 % |
3.38/3.46 c | 28725 | 1956 8348 25317 | 2147483647 21311 63 | 0.000 % |
3.48/3.50 c | 28937 | 1956 8348 25317 | 2147483647 21523 63 | 0.000 % |
3.48/3.55 c | 29171 | 1956 8348 25317 | 2147483647 21757 63 | 0.000 % |
3.48/3.59 c | 29427 | 1956 8348 25317 | 2147483647 22013 63 | 0.000 % |
3.58/3.65 c | 29708 | 1956 8348 25317 | 2147483647 22294 63 | 0.000 % |
3.68/3.71 c | 30017 | 1956 8348 25317 | 2147483647 22603 63 | 0.000 % |
3.68/3.78 c | 30356 | 1956 8348 25317 | 2147483647 22942 63 | 0.000 % |
3.78/3.86 c | 30729 | 1956 8348 25317 | 2147483647 23315 63 | 0.000 % |
3.88/3.94 c | 31139 | 1956 8348 25317 | 2147483647 23725 63 | 0.000 % |
3.98/4.03 c | 31588 | 1956 8348 25317 | 2147483647 24174 63 | 0.000 % |
4.08/4.14 c | 32081 | 1956 8348 25317 | 2147483647 24667 63 | 0.000 % |
4.08/4.16 c | 32183 | 1956 8348 25317 | 2147483647 24769 63 | 0.000 % |
4.08/4.18 c | 32294 | 1956 8348 25317 | 2147483647 24880 63 | 0.000 % |
4.18/4.21 c | 32415 | 1956 8348 25317 | 2147483647 25001 63 | 0.000 % |
4.18/4.24 c | 32548 | 1956 8348 25317 | 2147483647 25134 63 | 0.000 % |
4.18/4.28 c | 32694 | 1956 8348 25317 | 2147483647 25280 63 | 0.000 % |
4.28/4.32 c | 32855 | 1956 8348 25317 | 2147483647 25441 63 | 0.000 % |
4.28/4.36 c | 33032 | 1956 8348 25317 | 2147483647 25618 63 | 0.000 % |
4.38/4.41 c | 33226 | 1956 8348 25317 | 2147483647 25812 63 | 0.000 % |
4.38/4.46 c | 33440 | 1956 8348 25317 | 2147483647 26026 63 | 0.000 % |
4.49/4.51 c | 33674 | 1956 8348 25317 | 2147483647 26260 63 | 0.000 % |
4.49/4.57 c | 33930 | 1956 8348 25317 | 2147483647 26516 63 | 0.000 % |
4.58/4.64 c | 34214 | 1956 8348 25317 | 2147483647 26800 63 | 0.000 % |
4.68/4.72 c | 34523 | 1956 8348 25317 | 2147483647 27109 63 | 0.000 % |
4.78/4.80 c | 34865 | 1956 8348 25317 | 2147483647 27451 63 | 0.000 % |
4.78/4.89 c | 35242 | 1956 8348 25317 | 2147483647 27828 63 | 0.000 % |
4.98/5.00 c | 35651 | 1956 8348 25317 | 2147483647 28237 63 | 0.000 % |
5.08/5.10 c | 36100 | 1956 8348 25317 | 2147483647 28686 63 | 0.000 % |
5.18/5.22 c | 36594 | 1956 8348 25317 | 2147483647 29180 64 | 0.000 % |
5.28/5.37 c | 37137 | 1956 8348 25317 | 2147483647 29723 64 | 0.000 % |
5.28/5.40 c | 37240 | 1956 8348 25317 | 2147483647 29826 64 | 0.000 % |
5.39/5.42 c | 37354 | 1956 8348 25317 | 2147483647 29940 64 | 0.000 % |
5.39/5.45 c | 37476 | 1956 8348 25317 | 2147483647 30062 64 | 0.000 % |
5.39/5.49 c | 37610 | 1956 8348 25317 | 2147483647 30196 64 | 0.000 % |
5.49/5.53 c | 37757 | 1956 8348 25317 | 2147483647 30343 64 | 0.000 % |
5.49/5.58 c | 37919 | 1956 8348 25317 | 2147483647 30505 63 | 0.000 % |
5.58/5.62 c | 38095 | 1956 8348 25317 | 2147483647 30681 63 | 0.000 % |
5.58/5.68 c | 38291 | 1956 8348 25317 | 2147483647 30877 63 | 0.000 % |
5.68/5.75 c | 38503 | 1956 8348 25317 | 2147483647 31089 63 | 0.000 % |
5.78/5.82 c | 38736 | 1956 8348 25317 | 2147483647 31322 63 | 0.000 % |
5.78/5.89 c | 38992 | 1956 8348 25317 | 2147483647 31578 63 | 0.000 % |
5.88/5.97 c | 39275 | 1956 8348 25317 | 2147483647 31861 63 | 0.000 % |
5.98/6.06 c | 39588 | 1956 8348 25317 | 2147483647 32174 63 | 0.000 % |
6.08/6.15 c | 39927 | 1956 8348 25317 | 2147483647 32513 63 | 0.000 % |
6.18/6.25 c | 40299 | 1956 8348 25317 | 2147483647 32885 63 | 0.000 % |
6.28/6.36 c | 40708 | 1956 8348 25317 | 2147483647 33294 63 | 0.000 % |
6.38/6.49 c | 41158 | 1956 8348 25317 | 2147483647 33744 63 | 0.000 % |
6.59/6.62 c | 41654 | 1956 8348 25317 | 2147483647 34240 63 | 0.000 % |
6.68/6.79 c | 42196 | 1956 8348 25317 | 2147483647 34782 63 | 0.000 % |
6.88/6.96 c | 42792 | 1956 8348 25317 | 2147483647 35378 64 | 0.000 % |
6.88/7.00 c | 42893 | 1956 8348 25317 | 2147483647 35479 64 | 0.000 % |
6.98/7.03 c | 43003 | 1956 8348 25317 | 2147483647 35589 64 | 0.000 % |
6.98/7.08 c | 43127 | 1956 8348 25317 | 2147483647 35713 64 | 0.000 % |
7.08/7.12 c | 43261 | 1956 8348 25317 | 2147483647 35847 64 | 0.000 % |
7.08/7.16 c | 43409 | 1956 8348 25317 | 2147483647 35995 64 | 0.000 % |
7.18/7.21 c | 43570 | 1956 8348 25317 | 2147483647 36156 64 | 0.000 % |
7.18/7.27 c | 43746 | 1956 8348 25317 | 2147483647 36332 64 | 0.000 % |
7.28/7.33 c | 43941 | 1956 8348 25317 | 2147483647 36527 64 | 0.000 % |
7.28/7.39 c | 44153 | 1956 8348 25317 | 2147483647 36739 64 | 0.000 % |
7.38/7.46 c | 44386 | 1956 8348 25317 | 2147483647 36972 64 | 0.000 % |
7.48/7.54 c | 44642 | 1956 8348 25317 | 2147483647 37228 64 | 0.000 % |
7.58/7.63 c | 44923 | 1956 8348 25317 | 2147483647 37509 64 | 0.000 % |
7.68/7.73 c | 45232 | 1956 8348 25317 | 2147483647 37818 64 | 0.000 % |
7.78/7.83 c | 45572 | 1956 8348 25317 | 2147483647 38158 64 | 0.000 % |
7.88/7.94 c | 45944 | 1956 8348 25317 | 2147483647 38530 64 | 0.000 % |
7.98/8.08 c | 46353 | 1956 8348 25317 | 2147483647 38939 64 | 0.000 % |
8.18/8.22 c | 46803 | 1956 8348 25317 | 2147483647 39389 64 | 0.000 % |
8.28/8.38 c | 47297 | 1956 8348 25317 | 2147483647 39883 64 | 0.000 % |
8.48/8.56 c | 47839 | 1956 8348 25317 | 2147483647 40425 64 | 0.000 % |
8.68/8.75 c | 48437 | 1956 8348 25317 | 2147483647 41023 64 | 0.000 % |
8.88/8.99 c | 49092 | 1956 8348 25317 | 2147483647 41678 64 | 0.000 % |
8.98/9.03 c | 49193 | 1956 8348 25317 | 2147483647 41779 64 | 0.000 % |
8.98/9.07 c | 49303 | 1956 8348 25317 | 2147483647 41889 64 | 0.000 % |
9.08/9.12 c | 49425 | 1956 8348 25317 | 2147483647 42011 64 | 0.000 % |
9.08/9.17 c | 49559 | 1956 8348 25317 | 2147483647 42145 64 | 0.000 % |
9.18/9.23 c | 49705 | 1956 8348 25317 | 2147483647 42291 64 | 0.000 % |
9.18/9.28 c | 49865 | 1956 8348 25317 | 2147483647 42451 64 | 0.000 % |
9.28/9.34 c | 50042 | 1956 8348 25317 | 2147483647 42628 64 | 0.000 % |
9.38/9.42 c | 50236 | 1956 8348 25317 | 2147483647 42822 64 | 0.000 % |
9.38/9.48 c | 50448 | 1956 8348 25317 | 2147483647 43034 64 | 0.000 % |
9.48/9.58 c | 50685 | 1956 8348 25317 | 2147483647 43271 64 | 0.000 % |
9.58/9.67 c | 50942 | 1956 8348 25317 | 2147483647 43528 64 | 0.000 % |
9.68/9.76 c | 51225 | 1956 8348 25317 | 2147483647 43811 64 | 0.000 % |
9.78/9.87 c | 51534 | 1956 8348 25317 | 2147483647 44120 64 | 0.000 % |
9.98/10.01 c | 51874 | 1956 8348 25317 | 2147483647 44460 64 | 0.000 % |
10.08/10.14 c | 52247 | 1956 8348 25317 | 2147483647 44833 64 | 0.000 % |
10.18/10.29 c | 52657 | 1956 8348 25317 | 2147483647 45243 64 | 0.000 % |
10.38/10.45 c | 53107 | 1956 8348 25317 | 2147483647 45693 64 | 0.000 % |
10.58/10.63 c | 53602 | 1956 8348 25317 | 2147483647 46188 64 | 0.000 % |
10.78/10.80 c | 54144 | 1956 8348 25317 | 2147483647 46730 64 | 0.000 % |
10.98/11.03 c | 54740 | 1956 8348 25317 | 2147483647 47326 64 | 0.000 % |
11.18/11.27 c | 55395 | 1956 8348 25317 | 2147483647 47981 64 | 0.000 % |
11.48/11.52 c | 56115 | 1956 8348 25317 | 2147483647 48701 64 | 0.000 % |
11.48/11.57 c | 56215 | 1956 8348 25317 | 2147483647 48801 64 | 0.000 % |
11.58/11.62 c | 56325 | 1956 8348 25317 | 2147483647 48911 64 | 0.000 % |
11.58/11.67 c | 56447 | 1956 8348 25317 | 2147483647 49033 64 | 0.000 % |
11.68/11.73 c | 56580 | 1956 8348 25317 | 2147483647 49166 64 | 0.000 % |
11.68/11.79 c | 56728 | 1956 8348 25317 | 2147483647 49314 64 | 0.000 % |
11.78/11.86 c | 56889 | 1956 8348 25317 | 2147483647 49475 64 | 0.000 % |
11.88/11.93 c | 57066 | 1956 8348 25317 | 2147483647 49652 64 | 0.000 % |
11.99/12.02 c | 57259 | 1956 8348 25317 | 2147483647 49845 64 | 0.000 % |
12.09/12.10 c | 57471 | 1956 8348 25317 | 2147483647 50057 64 | 0.000 % |
12.18/12.21 c | 57704 | 1956 8348 25317 | 2147483647 50290 64 | 0.000 % |
12.28/12.32 c | 57964 | 1956 8348 25317 | 2147483647 50550 64 | 0.000 % |
12.38/12.43 c | 58246 | 1956 8348 25317 | 2147483647 50832 64 | 0.000 % |
12.48/12.56 c | 58555 | 1956 8348 25317 | 2147483647 51141 64 | 0.000 % |
12.68/12.71 c | 58894 | 1956 8348 25317 | 2147483647 51480 64 | 0.000 % |
12.78/12.87 c | 59266 | 1956 8348 25317 | 2147483647 51852 64 | 0.000 % |
12.98/13.04 c | 59675 | 1956 8348 25317 | 2147483647 52261 64 | 0.000 % |
13.18/13.24 c | 60128 | 1956 8348 25317 | 2147483647 52714 64 | 0.000 % |
13.38/13.43 c | 60624 | 1956 8348 25317 | 2147483647 53210 64 | 0.000 % |
13.58/13.66 c | 61167 | 1956 8348 25317 | 2147483647 53753 64 | 0.000 % |
13.88/13.91 c | 61764 | 1956 8348 25317 | 2147483647 54350 64 | 0.000 % |
14.08/14.18 c | 62419 | 1956 8348 25317 | 2147483647 55005 64 | 0.000 % |
14.38/14.48 c | 63140 | 1956 8348 25317 | 2147483647 55726 64 | 0.000 % |
14.78/14.81 c | 63932 | 1956 8348 25317 | 2147483647 56518 64 | 0.000 % |
14.78/14.86 c | 64032 | 1956 8348 25317 | 2147483647 56618 64 | 0.000 % |
14.88/14.92 c | 64142 | 1956 8348 25317 | 2147483647 56728 64 | 0.000 % |
14.88/14.97 c | 64263 | 1956 8348 25317 | 2147483647 56849 64 | 0.000 % |
14.98/15.04 c | 64397 | 1956 8348 25317 | 2147483647 56983 64 | 0.000 % |
15.08/15.12 c | 64543 | 1956 8348 25317 | 2147483647 57129 64 | 0.000 % |
15.18/15.20 c | 64704 | 1956 8348 25317 | 2147483647 57290 64 | 0.000 % |
15.18/15.29 c | 64882 | 1956 8348 25317 | 2147483647 57468 64 | 0.000 % |
15.28/15.39 c | 65075 | 1956 8348 25317 | 2147483647 57661 64 | 0.000 % |
15.48/15.50 c | 65287 | 1956 8348 25317 | 2147483647 57873 64 | 0.000 % |
15.58/15.60 c | 65522 | 1956 8348 25317 | 2147483647 58108 64 | 0.000 % |
15.68/15.73 c | 65779 | 1956 8348 25317 | 2147483647 58365 64 | 0.000 % |
15.78/15.85 c | 66062 | 1956 8348 25317 | 2147483647 58648 64 | 0.000 % |
15.98/16.00 c | 66372 | 1956 8348 25317 | 2147483647 58958 64 | 0.000 % |
16.08/16.16 c | 66711 | 1956 8348 25317 | 2147483647 59297 64 | 0.000 % |
16.28/16.35 c | 67085 | 1956 8348 25317 | 2147483647 59671 64 | 0.000 % |
16.48/16.54 c | 67494 | 1956 8348 25317 | 2147483647 60080 64 | 0.000 % |
16.68/16.76 c | 67944 | 1956 8348 25317 | 2147483647 60530 64 | 0.000 % |
16.88/16.97 c | 68437 | 1956 8348 25317 | 2147483647 61023 64 | 0.000 % |
17.18/17.20 c | 68979 | 1956 8348 25317 | 2147483647 61565 64 | 0.000 % |
17.38/17.46 c | 69575 | 1956 8348 25317 | 2147483647 62161 64 | 0.000 % |
17.67/17.76 c | 70230 | 1956 8348 25317 | 2147483647 62816 64 | 0.000 % |
18.08/18.14 c | 70950 | 1956 8348 25317 | 2147483647 63536 64 | 0.000 % |
18.38/18.49 c | 71743 | 1956 8348 25317 | 2147483647 64329 64 | 0.000 % |
18.88/18.90 c | 72614 | 1956 8348 25317 | 2147483647 65200 64 | 0.000 % |
18.88/18.95 c | 72716 | 1956 8348 25317 | 2147483647 65302 65 | 0.000 % |
18.98/19.01 c | 72826 | 1956 8348 25317 | 2147483647 65412 64 | 0.000 % |
18.98/19.08 c | 72947 | 1956 8348 25317 | 2147483647 65533 64 | 0.000 % |
19.08/19.16 c | 73080 | 1956 8348 25317 | 2147483647 65666 64 | 0.000 % |
19.18/19.26 c | 73227 | 1956 8348 25317 | 2147483647 65813 64 | 0.000 % |
19.28/19.35 c | 73387 | 1956 8348 25317 | 2147483647 65973 64 | 0.000 % |
19.38/19.46 c | 73563 | 1956 8348 25317 | 2147483647 66149 64 | 0.000 % |
19.48/19.59 c | 73756 | 1956 8348 25317 | 2147483647 66342 64 | 0.000 % |
19.68/19.71 c | 73968 | 1956 8348 25317 | 2147483647 66554 64 | 0.000 % |
19.79/19.82 c | 74201 | 1956 8348 25317 | 2147483647 66787 64 | 0.000 % |
19.88/19.98 c | 74457 | 1956 8348 25317 | 2147483647 67043 64 | 0.000 % |
20.08/20.13 c | 74738 | 1956 8348 25317 | 2147483647 67324 64 | 0.000 % |
20.18/20.28 c | 75050 | 1956 8348 25317 | 2147483647 67636 64 | 0.000 % |
20.38/20.48 c | 75389 | 1956 8348 25317 | 2147483647 67975 64 | 0.000 % |
20.58/20.67 c | 75761 | 1956 8348 25317 | 2147483647 68347 64 | 0.000 % |
20.78/20.89 c | 76172 | 1956 8348 25317 | 2147483647 68758 64 | 0.000 % |
21.08/21.11 c | 76624 | 1956 8348 25317 | 2147483647 69210 64 | 0.000 % |
21.28/21.36 c | 77117 | 1956 8348 25317 | 2147483647 69703 64 | 0.000 % |
21.58/21.64 c | 77663 | 1956 8348 25317 | 2147483647 70249 65 | 0.000 % |
21.88/21.96 c | 78260 | 1956 8348 25317 | 2147483647 70846 64 | 0.000 % |
22.28/22.31 c | 78915 | 1956 8348 25317 | 2147483647 71501 65 | 0.000 % |
22.68/22.70 c | 79635 | 1956 8348 25317 | 2147483647 72221 65 | 0.000 % |
23.08/23.13 c | 80428 | 1956 8348 25317 | 2147483647 73014 65 | 0.000 % |
23.58/23.64 c | 81302 | 1956 8348 25317 | 2147483647 73888 65 | 0.000 % |
24.08/24.15 c | 82262 | 1956 8348 25317 | 2147483647 74848 65 | 0.000 % |
24.18/24.22 c | 82362 | 1956 8348 25317 | 2147483647 74948 65 | 0.000 % |
24.18/24.28 c | 82472 | 1956 8348 25317 | 2147483647 75058 65 | 0.000 % |
24.28/24.36 c | 82593 | 1956 8348 25317 | 2147483647 75179 65 | 0.000 % |
24.38/24.46 c | 82729 | 1956 8348 25317 | 2147483647 75315 65 | 0.000 % |
24.48/24.55 c | 82877 | 1956 8348 25317 | 2147483647 75463 65 | 0.000 % |
24.58/24.64 c | 83037 | 1956 8348 25317 | 2147483647 75623 65 | 0.000 % |
24.68/24.76 c | 83213 | 1956 8348 25317 | 2147483647 75799 65 | 0.000 % |
24.78/24.88 c | 83406 | 1956 8348 25317 | 2147483647 75992 65 | 0.000 % |
24.98/25.02 c | 83619 | 1956 8348 25317 | 2147483647 76205 65 | 0.000 % |
25.08/25.16 c | 83852 | 1956 8348 25317 | 2147483647 76438 65 | 0.000 % |
25.28/25.32 c | 84110 | 1956 8348 25317 | 2147483647 76696 65 | 0.000 % |
25.38/25.48 c | 84391 | 1956 8348 25317 | 2147483647 76977 65 | 0.000 % |
25.57/25.67 c | 84700 | 1956 8348 25317 | 2147483647 77286 65 | 0.000 % |
25.77/25.87 c | 85040 | 1956 8348 25317 | 2147483647 77626 65 | 0.000 % |
26.07/26.11 c | 85412 | 1956 8348 25317 | 2147483647 77998 65 | 0.000 % |
26.28/26.35 c | 85823 | 1956 8348 25317 | 2147483647 78409 65 | 0.000 % |
26.57/26.61 c | 86274 | 1956 8348 25317 | 2147483647 78860 65 | 0.000 % |
26.77/26.88 c | 86767 | 1956 8348 25317 | 2147483647 79353 65 | 0.000 % |
27.07/27.19 c | 87311 | 1956 8348 25317 | 2147483647 79897 65 | 0.000 % |
27.47/27.56 c | 87907 | 1956 8348 25317 | 2147483647 80493 65 | 0.000 % |
27.88/27.92 c | 88563 | 1956 8348 25317 | 2147483647 81149 65 | 0.000 % |
28.28/28.39 c | 89284 | 1956 8348 25317 | 2147483647 81870 65 | 0.000 % |
28.78/28.84 c | 90076 | 1956 8348 25317 | 2147483647 82662 65 | 0.000 % |
29.38/29.40 c | 90948 | 1956 8348 25317 | 2147483647 83534 65 | 0.000 % |
29.97/30.01 c | 91908 | 1956 8348 25317 | 2147483647 84494 65 | 0.000 % |
30.57/30.65 c | 92963 | 1956 8348 25317 | 2147483647 85549 65 | 0.000 % |
30.68/30.72 c | 93063 | 1956 8348 25317 | 2147483647 85649 65 | 0.000 % |
30.78/30.81 c | 93173 | 1956 8348 25317 | 2147483647 85759 65 | 0.000 % |
30.87/30.90 c | 93294 | 1956 8348 25317 | 2147483647 85880 65 | 0.000 % |
30.97/31.01 c | 93427 | 1956 8348 25317 | 2147483647 86013 65 | 0.000 % |
31.07/31.12 c | 93575 | 1956 8348 25317 | 2147483647 86161 65 | 0.000 % |
31.17/31.25 c | 93735 | 1956 8348 25317 | 2147483647 86321 65 | 0.000 % |
31.27/31.36 c | 93911 | 1956 8348 25317 | 2147483647 86497 65 | 0.000 % |
31.47/31.50 c | 94104 | 1956 8348 25317 | 2147483647 86690 65 | 0.000 % |
31.57/31.64 c | 94316 | 1956 8348 25317 | 2147483647 86902 65 | 0.000 % |
31.78/31.81 c | 94551 | 1956 8348 25317 | 2147483647 87137 65 | 0.000 % |
31.97/32.01 c | 94807 | 1956 8348 25317 | 2147483647 87393 65 | 0.000 % |
32.17/32.22 c | 95088 | 1956 8348 25317 | 2147483647 87674 65 | 0.000 % |
32.37/32.46 c | 95399 | 1956 8348 25317 | 2147483647 87985 65 | 0.000 % |
32.67/32.71 c | 95738 | 1956 8348 25317 | 2147483647 88324 65 | 0.000 % |
32.88/32.96 c | 96111 | 1956 8348 25317 | 2147483647 88697 65 | 0.000 % |
33.18/33.25 c | 96520 | 1956 8348 25317 | 2147483647 89106 65 | 0.000 % |
33.48/33.58 c | 96969 | 1956 8348 25317 | 2147483647 89555 65 | 0.000 % |
33.88/33.93 c | 97462 | 1956 8348 25317 | 2147483647 90048 65 | 0.000 % |
34.18/34.29 c | 98005 | 1956 8348 25317 | 2147483647 90591 65 | 0.000 % |
34.58/34.70 c | 98601 | 1956 8348 25317 | 2147483647 91187 65 | 0.000 % |
35.08/35.15 c | 99258 | 1956 8348 25317 | 2147483647 91844 65 | 0.000 % |
35.58/35.61 c | 99979 | 1956 8348 25317 | 2147483647 92565 65 | 0.000 % |
36.07/36.16 c | 100772 | 1956 8348 25317 | 2147483647 93358 65 | 0.000 % |
36.67/36.77 c | 101643 | 1956 8348 25317 | 2147483647 94229 65 | 0.000 % |
37.38/37.40 c | 102602 | 1956 8348 25317 | 2147483647 95188 65 | 0.000 % |
38.07/38.14 c | 103656 | 1956 8348 25317 | 2147483647 96242 65 | 0.000 % |
38.87/38.92 c | 104816 | 1956 8348 25317 | 2147483647 97402 65 | 0.000 % |
38.97/39.00 c | 104916 | 1956 8348 25317 | 2147483647 97502 65 | 0.000 % |
38.97/39.09 c | 105026 | 1956 8348 25317 | 2147483647 97612 65 | 0.000 % |
39.17/39.21 c | 105149 | 1956 8348 25317 | 2147483647 97735 65 | 0.000 % |
39.27/39.33 c | 105282 | 1956 8348 25317 | 2147483647 97868 65 | 0.000 % |
39.37/39.44 c | 105428 | 1956 8348 25317 | 2147483647 98014 65 | 0.000 % |
39.48/39.59 c | 105588 | 1956 8348 25317 | 2147483647 98174 65 | 0.000 % |
39.67/39.74 c | 105766 | 1956 8348 25317 | 2147483647 98352 65 | 0.000 % |
39.87/39.91 c | 105961 | 1956 8348 25317 | 2147483647 98547 65 | 0.000 % |
39.97/40.08 c | 106173 | 1956 8348 25317 | 2147483647 98759 65 | 0.000 % |
40.27/40.31 c | 106406 | 1956 8348 25317 | 2147483647 98992 65 | 0.000 % |
40.47/40.50 c | 106662 | 1956 8348 25317 | 2147483647 99248 65 | 0.000 % |
40.67/40.74 c | 106944 | 1956 8348 25317 | 2147483647 99530 65 | 0.000 % |
40.87/40.98 c | 107253 | 1956 8348 25317 | 2147483647 99839 65 | 0.000 % |
41.17/41.24 c | 107592 | 1956 8348 25317 | 2147483647 100178 65 | 0.000 % |
41.47/41.57 c | 107964 | 1956 8348 25317 | 2147483647 100550 65 | 0.000 % |
41.77/41.89 c | 108374 | 1956 8348 25317 | 2147483647 100960 65 | 0.000 % |
42.18/42.25 c | 108823 | 1956 8348 25317 | 2147483647 101409 65 | 0.000 % |
42.48/42.59 c | 109316 | 1956 8348 25317 | 2147483647 101902 65 | 0.000 % |
42.97/43.00 c | 109860 | 1956 8348 25317 | 2147483647 102446 65 | 0.000 % |
43.47/43.52 c | 110456 | 1956 8348 25317 | 102587 90745 65 | 0.000 % |
43.88/43.96 c | 111113 | 1956 8348 25317 | 102587 91402 65 | 0.000 % |
44.37/44.45 c | 111834 | 1956 8348 25317 | 102587 92123 65 | 0.000 % |
44.87/44.98 c | 112627 | 1956 8348 25317 | 102587 92916 65 | 0.000 % |
45.47/45.57 c | 113499 | 1956 8348 25317 | 102587 93788 65 | 0.000 % |
46.08/46.18 c | 114457 | 1956 8348 25317 | 102587 94746 66 | 0.000 % |
46.77/46.88 c | 115510 | 1956 8348 25317 | 102587 95799 66 | 0.000 % |
47.67/47.74 c | 116668 | 1956 8348 25317 | 102587 96957 66 | 0.000 % |
48.57/48.63 c | 117941 | 1956 8348 25317 | 102587 98230 66 | 0.000 % |
48.67/48.72 c | 118042 | 1956 8348 25317 | 102587 98331 66 | 0.000 % |
48.77/48.81 c | 118152 | 1956 8348 25317 | 102587 98441 66 | 0.000 % |
48.87/48.91 c | 118273 | 1956 8348 25317 | 102587 98562 66 | 0.000 % |
48.97/49.00 c | 118406 | 1956 8348 25317 | 102587 98695 66 | 0.000 % |
49.07/49.15 c | 118554 | 1956 8348 25317 | 102587 98843 66 | 0.000 % |
49.27/49.32 c | 118715 | 1956 8348 25317 | 102587 99004 66 | 0.000 % |
49.38/49.46 c | 118892 | 1956 8348 25317 | 102587 99181 66 | 0.000 % |
49.48/49.59 c | 119086 | 1956 8348 25317 | 102587 99375 66 | 0.000 % |
49.67/49.78 c | 119298 | 1956 8348 25317 | 102587 99587 66 | 0.000 % |
49.87/49.96 c | 119532 | 1956 8348 25317 | 102587 99821 66 | 0.000 % |
50.07/50.17 c | 119789 | 1956 8348 25317 | 102587 100078 66 | 0.000 % |
50.27/50.39 c | 120071 | 1956 8348 25317 | 100289 100360 66 | 0.000 % |
50.58/50.67 c | 120383 | 1956 8348 25317 | 100289 89218 66 | 0.000 % |
50.87/50.94 c | 120722 | 1956 8348 25317 | 100289 89557 66 | 0.000 % |
51.17/51.23 c | 121095 | 1956 8348 25317 | 100289 89930 66 | 0.000 % |
51.47/51.52 c | 121504 | 1956 8348 25317 | 100289 90339 66 | 0.000 % |
51.77/51.86 c | 121953 | 1956 8348 25317 | 100289 90788 66 | 0.000 % |
52.17/52.23 c | 122450 | 1956 8348 25317 | 100289 91285 66 | 0.000 % |
52.57/52.60 c | 122992 | 1956 8348 25317 | 100289 91827 66 | 0.000 % |
52.97/53.00 c | 123590 | 1956 8348 25317 | 100289 92425 66 | 0.000 % |
53.37/53.48 c | 124245 | 1956 8348 25317 | 100289 93080 66 | 0.000 % |
53.88/53.99 c | 124965 | 1956 8348 25317 | 100289 93800 66 | 0.000 % |
54.47/54.52 c | 125758 | 1956 8348 25317 | 100289 94593 66 | 0.000 % |
55.07/55.18 c | 126629 | 1956 8348 25317 | 100289 95464 66 | 0.000 % |
55.77/55.85 c | 127587 | 1956 8348 25317 | 100289 96422 66 | 0.000 % |
56.57/56.61 c | 128640 | 1956 8348 25317 | 100289 97475 66 | 0.000 % |
57.37/57.47 c | 129798 | 1956 8348 25317 | 100289 98633 66 | 0.000 % |
58.27/58.39 c | 131074 | 1956 8348 25317 | 98835 88435 66 | 0.000 % |
59.27/59.31 c | 132475 | 1956 8348 25317 | 98835 89836 66 | 0.000 % |
59.27/59.39 c | 132577 | 1956 8348 25317 | 98835 89938 66 | 0.000 % |
59.47/59.50 c | 132687 | 1956 8348 25317 | 98835 90048 66 | 0.000 % |
59.57/59.61 c | 132809 | 1956 8348 25317 | 98835 90170 66 | 0.000 % |
59.67/59.71 c | 132942 | 1956 8348 25317 | 98835 90303 66 | 0.000 % |
59.77/59.83 c | 133089 | 1956 8348 25317 | 98835 90450 66 | 0.000 % |
59.87/59.99 c | 133249 | 1956 8348 25317 | 98835 90610 66 | 0.000 % |
60.07/60.12 c | 133425 | 1956 8348 25317 | 98835 90786 66 | 0.000 % |
60.17/60.27 c | 133623 | 1956 8348 25317 | 98835 90984 66 | 0.000 % |
60.37/60.44 c | 133835 | 1956 8348 25317 | 98835 91196 66 | 0.000 % |
60.57/60.62 c | 134069 | 1956 8348 25317 | 98835 91430 66 | 0.000 % |
60.77/60.81 c | 134325 | 1956 8348 25317 | 98835 91686 66 | 0.000 % |
60.97/61.02 c | 134606 | 1956 8348 25317 | 98835 91967 66 | 0.000 % |
61.17/61.27 c | 134915 | 1956 8348 25317 | 98835 92276 66 | 0.000 % |
61.47/61.53 c | 135254 | 1956 8348 25317 | 98835 92615 66 | 0.000 % |
61.77/61.81 c | 135626 | 1956 8348 25317 | 98835 92987 66 | 0.000 % |
61.97/62.08 c | 136037 | 1956 8348 25317 | 98835 93398 66 | 0.000 % |
62.37/62.46 c | 136487 | 1956 8348 25317 | 98835 93848 66 | 0.000 % |
62.77/62.82 c | 136980 | 1956 8348 25317 | 98835 94341 66 | 0.000 % |
63.17/63.25 c | 137522 | 1956 8348 25317 | 98835 94883 66 | 0.000 % |
63.67/63.72 c | 138119 | 1956 8348 25317 | 98835 95480 66 | 0.000 % |
64.07/64.19 c | 138777 | 1956 8348 25317 | 98835 96138 66 | 0.000 % |
64.67/64.72 c | 139498 | 1956 8348 25317 | 98835 96859 66 | 0.000 % |
65.27/65.39 c | 140291 | 1956 8348 25317 | 97361 85626 66 | 0.000 % |
65.87/65.96 c | 141163 | 1956 8348 25317 | 97361 86498 66 | 0.000 % |
66.57/66.60 c | 142126 | 1956 8348 25317 | 97361 87461 66 | 0.000 % |
67.17/67.28 c | 143179 | 1956 8348 25317 | 97361 88514 66 | 0.000 % |
67.97/68.03 c | 144337 | 1956 8348 25317 | 97361 89672 66 | 0.000 % |
68.87/68.92 c | 145610 | 1956 8348 25317 | 97361 90945 66 | 0.000 % |
69.77/69.86 c | 147010 | 1956 8348 25317 | 97361 92345 66 | 0.000 % |
70.97/71.00 c | 148551 | 1956 8348 25317 | 97361 93886 66 | 0.000 % |
70.97/71.09 c | 148651 | 1956 8348 25317 | 97361 93986 66 | 0.000 % |
71.07/71.19 c | 148762 | 1956 8348 25317 | 97361 94097 66 | 0.000 % |
71.17/71.28 c | 148883 | 1956 8348 25317 | 97361 94218 66 | 0.000 % |
71.27/71.38 c | 149018 | 1956 8348 25317 | 97361 94353 66 | 0.000 % |
71.47/71.53 c | 149164 | 1956 8348 25317 | 97361 94499 66 | 0.000 % |
71.57/71.65 c | 149324 | 1956 8348 25317 | 97361 94659 66 | 0.000 % |
71.67/71.79 c | 149501 | 1956 8348 25317 | 97361 94836 66 | 0.000 % |
71.87/71.95 c | 149694 | 1956 8348 25317 | 97361 95029 66 | 0.000 % |
72.07/72.12 c | 149906 | 1956 8348 25317 | 97361 95241 66 | 0.000 % |
72.27/72.31 c | 150139 | 1956 8348 25317 | 95335 95474 66 | 0.000 % |
72.47/72.51 c | 150395 | 1956 8348 25317 | 95335 84387 66 | 0.000 % |
72.67/72.71 c | 150677 | 1956 8348 25317 | 95335 84669 66 | 0.000 % |
72.87/72.95 c | 150986 | 1956 8348 25317 | 95335 84978 66 | 0.000 % |
73.07/73.17 c | 151325 | 1956 8348 25317 | 95335 85317 66 | 0.000 % |
73.37/73.43 c | 151699 | 1956 8348 25317 | 95335 85691 66 | 0.000 % |
73.57/73.68 c | 152108 | 1956 8348 25317 | 95335 86100 66 | 0.000 % |
73.87/73.98 c | 152557 | 1956 8348 25317 | 95335 86549 66 | 0.000 % |
74.27/74.32 c | 153052 | 1956 8348 25317 | 95335 87044 66 | 0.000 % |
74.67/74.72 c | 153594 | 1956 8348 25317 | 95335 87586 66 | 0.000 % |
75.07/75.15 c | 154191 | 1956 8348 25317 | 95335 88183 66 | 0.000 % |
75.46/75.57 c | 154848 | 1956 8348 25317 | 95335 88840 66 | 0.000 % |
75.96/76.07 c | 155568 | 1956 8348 25317 | 95335 89560 66 | 0.000 % |
76.56/76.65 c | 156361 | 1956 8348 25317 | 95335 90353 66 | 0.000 % |
77.16/77.23 c | 157233 | 1956 8348 25317 | 95335 91225 66 | 0.000 % |
77.76/77.84 c | 158192 | 1956 8348 25317 | 95335 92184 66 | 0.000 % |
78.46/78.56 c | 159245 | 1956 8348 25317 | 95335 93237 66 | 0.000 % |
79.26/79.32 c | 160403 | 1956 8348 25317 | 2147483647 94395 66 | 0.000 % |
80.06/80.12 c | 161676 | 1956 8348 25317 | 2147483647 95668 67 | 0.000 % |
80.96/81.02 c | 163077 | 1956 8348 25317 | 2147483647 97069 67 | 0.000 % |
82.06/82.16 c | 164617 | 1956 8348 25317 | 2147483647 98609 67 | 0.000 % |
83.26/83.39 c | 166312 | 1956 8348 25317 | 2147483647 100304 67 | 0.000 % |
83.36/83.49 c | 166413 | 1956 8348 25317 | 2147483647 100405 67 | 0.000 % |
83.47/83.59 c | 166524 | 1956 8348 25317 | 2147483647 100516 67 | 0.000 % |
83.66/83.72 c | 166646 | 1956 8348 25317 | 2147483647 100638 67 | 0.000 % |
83.76/83.83 c | 166779 | 1956 8348 25317 | 2147483647 100771 67 | 0.000 % |
83.86/83.96 c | 166926 | 1956 8348 25317 | 2147483647 100918 67 | 0.000 % |
83.96/84.09 c | 167088 | 1956 8348 25317 | 2147483647 101080 67 | 0.000 % |
84.16/84.26 c | 167265 | 1956 8348 25317 | 2147483647 101257 67 | 0.000 % |
84.36/84.44 c | 167460 | 1956 8348 25317 | 2147483647 101452 67 | 0.000 % |
84.56/84.63 c | 167673 | 1956 8348 25317 | 2147483647 101665 67 | 0.000 % |
84.76/84.81 c | 167906 | 1956 8348 25317 | 2147483647 101898 67 | 0.000 % |
84.96/85.01 c | 168163 | 1956 8348 25317 | 2147483647 102155 67 | 0.000 % |
85.16/85.21 c | 168444 | 1956 8348 25317 | 2147483647 102436 67 | 0.000 % |
85.36/85.47 c | 168754 | 1956 8348 25317 | 2147483647 102746 67 | 0.000 % |
85.66/85.75 c | 169093 | 1956 8348 25317 | 2147483647 103085 67 | 0.000 % |
85.96/86.08 c | 169466 | 1956 8348 25317 | 2147483647 103458 67 | 0.000 % |
86.36/86.44 c | 169877 | 1956 8348 25317 | 2147483647 103869 67 | 0.000 % |
86.76/86.87 c | 170326 | 1956 8348 25317 | 103992 90455 67 | 0.000 % |
87.06/87.18 c | 170820 | 1956 8348 25317 | 103992 90949 67 | 0.000 % |
87.46/87.59 c | 171362 | 1956 8348 25317 | 103992 91491 67 | 0.000 % |
87.86/87.99 c | 171958 | 1956 8348 25317 | 103992 92087 67 | 0.000 % |
88.36/88.47 c | 172613 | 1956 8348 25317 | 103992 92742 67 | 0.000 % |
88.86/88.99 c | 173334 | 1956 8348 25317 | 103992 93463 67 | 0.000 % |
89.46/89.51 c | 174126 | 1956 8348 25317 | 103992 94255 67 | 0.000 % |
90.06/90.16 c | 174998 | 1956 8348 25317 | 103992 95127 67 | 0.000 % |
90.76/90.80 c | 175957 | 1956 8348 25317 | 103992 96086 67 | 0.000 % |
91.36/91.47 c | 177012 | 1956 8348 25317 | 103992 97141 67 | 0.000 % |
92.26/92.37 c | 178173 | 1956 8348 25317 | 103992 98302 67 | 0.000 % |
93.26/93.30 c | 179447 | 1956 8348 25317 | 103992 99576 67 | 0.000 % |
94.36/94.42 c | 180848 | 1956 8348 25317 | 100131 88858 67 | 0.000 % |
95.25/95.38 c | 182389 | 1956 8348 25317 | 100131 90399 67 | 0.000 % |
96.45/96.59 c | 184084 | 1956 8348 25317 | 100131 92094 67 | 0.000 % |
97.86/97.94 c | 185947 | 1956 8348 25317 | 100131 93957 67 | 0.000 % |
97.96/98.01 c | 186047 | 1956 8348 25317 | 100131 94057 67 | 0.000 % |
98.05/98.11 c | 186157 | 1956 8348 25317 | 100131 94167 67 | 0.000 % |
98.15/98.20 c | 186278 | 1956 8348 25317 | 100131 94288 67 | 0.000 % |
98.25/98.31 c | 186414 | 1956 8348 25317 | 100131 94424 67 | 0.000 % |
98.35/98.42 c | 186560 | 1956 8348 25317 | 100131 94570 67 | 0.000 % |
98.45/98.56 c | 186722 | 1956 8348 25317 | 100131 94732 67 | 0.000 % |
98.65/98.74 c | 186898 | 1956 8348 25317 | 100131 94908 67 | 0.000 % |
98.86/98.92 c | 187092 | 1956 8348 25317 | 100131 95102 67 | 0.000 % |
99.05/99.10 c | 187304 | 1956 8348 25317 | 100131 95314 67 | 0.000 % |
99.15/99.29 c | 187537 | 1956 8348 25317 | 100131 95547 67 | 0.000 % |
99.45/99.50 c | 187794 | 1956 8348 25317 | 100131 95804 67 | 0.000 % |
99.65/99.70 c | 188075 | 1956 8348 25317 | 100131 96085 67 | 0.000 % |
99.85/99.93 c | 188384 | 1956 8348 25317 | 100131 96394 67 | 0.000 % |
100.15/100.20 c | 188723 | 1956 8348 25317 | 100131 96733 67 | 0.000 % |
100.45/100.52 c | 189095 | 1956 8348 25317 | 100131 97105 67 | 0.000 % |
100.75/100.85 c | 189504 | 1956 8348 25317 | 100131 97514 67 | 0.000 % |
101.16/101.20 c | 189954 | 1956 8348 25317 | 100131 97964 67 | 0.000 % |
101.55/101.63 c | 190450 | 1956 8348 25317 | 98011 85984 67 | 0.000 % |
101.85/101.97 c | 190993 | 1956 8348 25317 | 98011 86527 67 | 0.000 % |
102.26/102.36 c | 191589 | 1956 8348 25317 | 98011 87123 67 | 0.000 % |
102.75/102.84 c | 192246 | 1956 8348 25317 | 98011 87780 67 | 0.000 % |
103.26/103.32 c | 192969 | 1956 8348 25317 | 98011 88503 67 | 0.000 % |
103.85/103.90 c | 193761 | 1956 8348 25317 | 98011 89295 67 | 0.000 % |
104.46/104.50 c | 194636 | 1956 8348 25317 | 98011 90170 67 | 0.000 % |
105.05/105.14 c | 195595 | 1956 8348 25317 | 98011 91129 67 | 0.000 % |
105.75/105.86 c | 196649 | 1956 8348 25317 | 98011 92183 67 | 0.000 % |
106.56/106.65 c | 197807 | 1956 8348 25317 | 98011 93341 67 | 0.000 % |
107.45/107.58 c | 199080 | 1956 8348 25317 | 98011 94614 67 | 0.000 % |
108.55/108.64 c | 200480 | 1956 8348 25317 | 95536 85615 67 | 0.000 % |
109.55/109.67 c | 202020 | 1956 8348 25317 | 95536 87155 67 | 0.000 % |
110.75/110.84 c | 203715 | 1956 8348 25317 | 95536 88850 67 | 0.000 % |
111.95/112.04 c | 205578 | 1956 8348 25317 | 95536 90713 67 | 0.000 % |
113.35/113.49 c | 207627 | 1956 8348 25317 | 95536 92762 67 | 0.000 % |
113.45/113.57 c | 207728 | 1956 8348 25317 | 95536 92863 67 | 0.000 % |
113.55/113.65 c | 207838 | 1956 8348 25317 | 95536 92973 67 | 0.000 % |
113.65/113.76 c | 207960 | 1956 8348 25317 | 95536 93095 67 | 0.000 % |
113.75/113.85 c | 208094 | 1956 8348 25317 | 95536 93229 67 | 0.000 % |
113.85/113.97 c | 208240 | 1956 8348 25317 | 95536 93375 67 | 0.000 % |
114.05/114.10 c | 208400 | 1956 8348 25317 | 95536 93535 67 | 0.000 % |
114.15/114.22 c | 208576 | 1956 8348 25317 | 95536 93711 67 | 0.000 % |
114.25/114.38 c | 208771 | 1956 8348 25317 | 95536 93906 67 | 0.000 % |
114.45/114.56 c | 208983 | 1956 8348 25317 | 95536 94118 67 | 0.000 % |
114.65/114.73 c | 209217 | 1956 8348 25317 | 95536 94352 67 | 0.000 % |
114.85/114.92 c | 209474 | 1956 8348 25317 | 95536 94609 67 | 0.000 % |
115.05/115.13 c | 209755 | 1956 8348 25317 | 95536 94890 67 | 0.000 % |
115.25/115.35 c | 210066 | 1956 8348 25317 | 95135 95201 67 | 0.000 % |
115.55/115.64 c | 210405 | 1956 8348 25317 | 95135 84812 67 | 0.000 % |
115.75/115.89 c | 210778 | 1956 8348 25317 | 95135 85185 67 | 0.000 % |
116.05/116.17 c | 211187 | 1956 8348 25317 | 95135 85594 67 | 0.000 % |
116.45/116.50 c | 211636 | 1956 8348 25317 | 95135 86043 67 | 0.000 % |
116.75/116.85 c | 212129 | 1956 8348 25317 | 95135 86536 67 | 0.000 % |
117.15/117.21 c | 212671 | 1956 8348 25317 | 95135 87078 67 | 0.000 % |
117.55/117.66 c | 213269 | 1956 8348 25317 | 95135 87676 67 | 0.000 % |
117.95/118.07 c | 213924 | 1956 8348 25317 | 95135 88331 67 | 0.000 % |
118.45/118.53 c | 214644 | 1956 8348 25317 | 95135 89051 67 | 0.000 % |
118.95/119.06 c | 215437 | 1956 8348 25317 | 95135 89844 67 | 0.000 % |
119.55/119.63 c | 216309 | 1956 8348 25317 | 95135 90716 67 | 0.000 % |
120.25/120.32 c | 217267 | 1956 8348 25317 | 95135 91674 67 | 0.000 % |
120.95/121.05 c | 218321 | 1956 8348 25317 | 95135 92728 67 | 0.000 % |
121.75/121.87 c | 219481 | 1956 8348 25317 | 95135 93888 67 | 0.000 % |
122.55/122.69 c | 220757 | 1956 8348 25317 | 2147483647 95164 67 | 0.000 % |
123.55/123.66 c | 222157 | 1956 8348 25317 | 2147483647 96564 67 | 0.000 % |
124.65/124.73 c | 223698 | 1956 8348 25317 | 2147483647 98105 67 | 0.000 % |
125.75/125.89 c | 225392 | 1956 8348 25317 | 2147483647 99799 67 | 0.000 % |
127.15/127.27 c | 227255 | 1956 8348 25317 | 2147483647 101662 67 | 0.000 % |
128.65/128.77 c | 229304 | 1956 8348 25317 | 2147483647 103711 68 | 0.000 % |
130.45/130.56 c | 231557 | 1956 8348 25317 | 104407 93406 67 | 0.000 % |
130.55/130.66 c | 231657 | 1956 8348 25317 | 104407 93506 67 | 0.000 % |
130.65/130.76 c | 231767 | 1956 8348 25317 | 104407 93616 67 | 0.000 % |
130.75/130.88 c | 231888 | 1956 8348 25317 | 104407 93737 67 | 0.000 % |
130.85/130.98 c | 232021 | 1956 8348 25317 | 104407 93870 67 | 0.000 % |
131.05/131.10 c | 232168 | 1956 8348 25317 | 104407 94017 67 | 0.000 % |
131.15/131.22 c | 232328 | 1956 8348 25317 | 104407 94177 67 | 0.000 % |
131.25/131.35 c | 232506 | 1956 8348 25317 | 104407 94355 67 | 0.000 % |
131.45/131.54 c | 232700 | 1956 8348 25317 | 104407 94549 67 | 0.000 % |
131.65/131.70 c | 232912 | 1956 8348 25317 | 104407 94761 67 | 0.000 % |
131.75/131.87 c | 233147 | 1956 8348 25317 | 104407 94996 67 | 0.000 % |
131.95/132.06 c | 233404 | 1956 8348 25317 | 104407 95253 67 | 0.000 % |
132.14/132.27 c | 233685 | 1956 8348 25317 | 104407 95534 67 | 0.000 % |
132.44/132.51 c | 233995 | 1956 8348 25317 | 104407 95844 67 | 0.000 % |
132.64/132.77 c | 234334 | 1956 8348 25317 | 104407 96183 67 | 0.000 % |
132.95/133.06 c | 234706 | 1956 8348 25317 | 104407 96555 67 | 0.000 % |
133.24/133.38 c | 235116 | 1956 8348 25317 | 104407 96965 67 | 0.000 % |
133.64/133.70 c | 235566 | 1956 8348 25317 | 104407 97415 67 | 0.000 % |
134.05/134.13 c | 236060 | 1956 8348 25317 | 104407 97909 67 | 0.000 % |
134.44/134.54 c | 236602 | 1956 8348 25317 | 104407 98451 67 | 0.000 % |
134.94/135.00 c | 237198 | 1956 8348 25317 | 104407 99047 67 | 0.000 % |
135.34/135.49 c | 237853 | 1956 8348 25317 | 104407 99702 67 | 0.000 % |
135.94/136.04 c | 238574 | 1956 8348 25317 | 104407 100423 67 | 0.000 % |
136.64/136.71 c | 239366 | 1956 8348 25317 | 104407 101215 67 | 0.000 % |
137.24/137.40 c | 240237 | 1956 8348 25317 | 101849 102086 67 | 0.000 % |
137.94/138.07 c | 241195 | 1956 8348 25317 | 101849 89150 68 | 0.000 % |
138.64/138.79 c | 242249 | 1956 8348 25317 | 101849 90204 68 | 0.000 % |
139.44/139.56 c | 243407 | 1956 8348 25317 | 101849 91362 68 | 0.000 % |
140.24/140.31 c | 244680 | 1956 8348 25317 | 101849 92635 68 | 0.000 % |
141.24/141.31 c | 246080 | 1956 8348 25317 | 101849 94035 68 | 0.000 % |
142.24/142.38 c | 247620 | 1956 8348 25317 | 101849 95575 68 | 0.000 % |
143.44/143.57 c | 249316 | 1956 8348 25317 | 101849 97271 68 | 0.000 % |
144.84/144.92 c | 251180 | 1956 8348 25317 | 97955 88863 67 | 0.000 % |
146.14/146.27 c | 253229 | 1956 8348 25317 | 97955 90912 67 | 0.000 % |
147.64/147.73 c | 255482 | 1956 8348 25317 | 97955 93165 68 | 0.000 % |
149.34/149.45 c | 257960 | 1956 8348 25317 | 97955 95643 68 | 0.000 % |
149.44/149.53 c | 258060 | 1956 8348 25317 | 97955 95743 68 | 0.000 % |
149.54/149.64 c | 258171 | 1956 8348 25317 | 97955 95854 68 | 0.000 % |
149.64/149.74 c | 258293 | 1956 8348 25317 | 97955 95976 68 | 0.000 % |
149.74/149.85 c | 258428 | 1956 8348 25317 | 97955 96111 68 | 0.000 % |
149.84/149.98 c | 258575 | 1956 8348 25317 | 97955 96258 68 | 0.000 % |
150.04/150.11 c | 258736 | 1956 8348 25317 | 97955 96419 68 | 0.000 % |
150.14/150.26 c | 258915 | 1956 8348 25317 | 97955 96598 68 | 0.000 % |
150.34/150.42 c | 259109 | 1956 8348 25317 | 97955 96792 68 | 0.000 % |
150.44/150.58 c | 259321 | 1956 8348 25317 | 97955 97004 68 | 0.000 % |
150.64/150.77 c | 259554 | 1956 8348 25317 | 97955 97237 68 | 0.000 % |
150.84/150.97 c | 259810 | 1956 8348 25317 | 97955 97493 68 | 0.000 % |
151.14/151.21 c | 260092 | 1956 8348 25317 | 97684 97775 68 | 0.000 % |
151.44/151.52 c | 260401 | 1956 8348 25317 | 97684 86997 68 | 0.000 % |
151.64/151.78 c | 260743 | 1956 8348 25317 | 97684 87339 68 | 0.000 % |
151.94/152.02 c | 261115 | 1956 8348 25317 | 97684 87711 68 | 0.000 % |
152.13/152.27 c | 261526 | 1956 8348 25317 | 97684 88122 68 | 0.000 % |
152.43/152.58 c | 261977 | 1956 8348 25317 | 97684 88573 68 | 0.000 % |
152.84/152.94 c | 262471 | 1956 8348 25317 | 97684 89067 68 | 0.000 % |
153.13/153.28 c | 263013 | 1956 8348 25317 | 97684 89609 68 | 0.000 % |
153.53/153.68 c | 263609 | 1956 8348 25317 | 97684 90205 68 | 0.000 % |
154.03/154.14 c | 264266 | 1956 8348 25317 | 97684 90862 68 | 0.000 % |
154.53/154.60 c | 264986 | 1956 8348 25317 | 97684 91582 68 | 0.000 % |
155.04/155.15 c | 265778 | 1956 8348 25317 | 97684 92374 68 | 0.000 % |
155.63/155.71 c | 266649 | 1956 8348 25317 | 97684 93245 68 | 0.000 % |
156.23/156.39 c | 267610 | 1956 8348 25317 | 97684 94206 68 | 0.000 % |
156.93/157.08 c | 268665 | 1956 8348 25317 | 97684 95261 68 | 0.000 % |
157.73/157.88 c | 269823 | 1956 8348 25317 | 97684 96419 68 | 0.000 % |
158.73/158.80 c | 271096 | 1956 8348 25317 | 96597 87824 68 | 0.000 % |
159.73/159.82 c | 272496 | 1956 8348 25317 | 96597 89224 68 | 0.000 % |
160.73/160.89 c | 274037 | 1956 8348 25317 | 96597 90765 68 | 0.000 % |
161.93/162.05 c | 275733 | 1956 8348 25317 | 96597 92461 68 | 0.000 % |
163.23/163.31 c | 277597 | 1956 8348 25317 | 96597 94325 68 | 0.000 % |
164.63/164.74 c | 279647 | 1956 8348 25317 | 96597 96375 68 | 0.000 % |
166.23/166.31 c | 281901 | 1956 8348 25317 | 96728 87796 68 | 0.000 % |
167.73/167.87 c | 284379 | 1956 8348 25317 | 96728 90274 68 | 0.000 % |
169.73/169.81 c | 287105 | 1956 8348 25317 | 96728 93000 68 | 0.000 % |
169.73/169.88 c | 287206 | 1956 8348 25317 | 96728 93101 68 | 0.000 % |
169.83/169.97 c | 287319 | 1956 8348 25317 | 96728 93214 68 | 0.000 % |
169.93/170.08 c | 287442 | 1956 8348 25317 | 96728 93337 68 | 0.000 % |
170.03/170.19 c | 287575 | 1956 8348 25317 | 96728 93470 68 | 0.000 % |
170.23/170.33 c | 287722 | 1956 8348 25317 | 96728 93617 68 | 0.000 % |
170.33/170.47 c | 287882 | 1956 8348 25317 | 96728 93777 68 | 0.000 % |
170.53/170.60 c | 288058 | 1956 8348 25317 | 96728 93953 68 | 0.000 % |
170.63/170.76 c | 288252 | 1956 8348 25317 | 96728 94147 68 | 0.000 % |
170.83/170.92 c | 288465 | 1956 8348 25317 | 96728 94360 68 | 0.000 % |
170.93/171.09 c | 288699 | 1956 8348 25317 | 96728 94594 68 | 0.000 % |
171.13/171.29 c | 288958 | 1956 8348 25317 | 96728 94853 68 | 0.000 % |
171.32/171.48 c | 289239 | 1956 8348 25317 | 96728 95134 68 | 0.000 % |
171.62/171.71 c | 289548 | 1956 8348 25317 | 96728 95443 68 | 0.000 % |
171.82/171.97 c | 289889 | 1956 8348 25317 | 96728 95784 68 | 0.000 % |
172.22/172.31 c | 290262 | 1956 8348 25317 | 95898 85758 68 | 0.000 % |
172.53/172.63 c | 290672 | 1956 8348 25317 | 95898 86168 68 | 0.000 % |
172.82/172.94 c | 291122 | 1956 8348 25317 | 95898 86618 68 | 0.000 % |
173.12/173.28 c | 291617 | 1956 8348 25317 | 95898 87113 68 | 0.000 % |
173.52/173.63 c | 292159 | 1956 8348 25317 | 95898 87655 68 | 0.000 % |
173.93/174.04 c | 292756 | 1956 8348 25317 | 95898 88252 68 | 0.000 % |
174.33/174.43 c | 293411 | 1956 8348 25317 | 95898 88907 68 | 0.000 % |
174.83/174.92 c | 294131 | 1956 8348 25317 | 95898 89627 68 | 0.000 % |
175.32/175.42 c | 294923 | 1956 8348 25317 | 95898 90419 68 | 0.000 % |
175.83/175.98 c | 295795 | 1956 8348 25317 | 95898 91291 68 | 0.000 % |
176.52/176.63 c | 296754 | 1956 8348 25317 | 95898 92250 68 | 0.000 % |
177.22/177.30 c | 297808 | 1956 8348 25317 | 95898 93304 68 | 0.000 % |
177.92/178.05 c | 298966 | 1956 8348 25317 | 95898 94462 68 | 0.000 % |
178.72/178.86 c | 300239 | 1956 8348 25317 | 2147483647 95735 68 | 0.000 % |
179.62/179.79 c | 301640 | 1956 8348 25317 | 2147483647 97136 68 | 0.000 % |
180.82/180.90 c | 303180 | 1956 8348 25317 | 2147483647 98676 68 | 0.000 % |
182.02/182.17 c | 304880 | 1956 8348 25317 | 2147483647 100376 68 | 0.000 % |
183.42/183.55 c | 306743 | 1956 8348 25317 | 2147483647 102239 68 | 0.000 % |
184.93/185.03 c | 308792 | 1956 8348 25317 | 2147483647 104288 68 | 0.000 % |
186.53/186.64 c | 311045 | 1956 8348 25317 | 105496 94880 69 | 0.000 % |
188.23/188.32 c | 313525 | 1956 8348 25317 | 105496 97360 69 | 0.000 % |
190.13/190.23 c | 316251 | 1956 8348 25317 | 105496 100086 69 | 0.000 % |
192.33/192.42 c | 319248 | 1956 8348 25317 | 105496 103083 69 | 0.000 % |
192.33/192.50 c | 319349 | 1956 8348 25317 | 105496 103184 69 | 0.000 % |
192.43/192.59 c | 319459 | 1956 8348 25317 | 105496 103294 69 | 0.000 % |
192.53/192.69 c | 319580 | 1956 8348 25317 | 105496 103415 69 | 0.000 % |
192.73/192.80 c | 319715 | 1956 8348 25317 | 105496 103550 69 | 0.000 % |
192.83/192.93 c | 319861 | 1956 8348 25317 | 105496 103696 69 | 0.000 % |
192.93/193.07 c | 320021 | 1956 8348 25317 | 103835 103856 69 | 0.000 % |
193.23/193.34 c | 320198 | 1956 8348 25317 | 103835 91519 69 | 0.000 % |
193.33/193.48 c | 320391 | 1956 8348 25317 | 103835 91712 69 | 0.000 % |
193.53/193.66 c | 320605 | 1956 8348 25317 | 103835 91926 69 | 0.000 % |
193.73/193.84 c | 320838 | 1956 8348 25317 | 103835 92159 69 | 0.000 % |
193.93/194.02 c | 321094 | 1956 8348 25317 | 103835 92415 69 | 0.000 % |
194.13/194.25 c | 321379 | 1956 8348 25317 | 103835 92700 69 | 0.000 % |
194.33/194.48 c | 321688 | 1956 8348 25317 | 103835 93009 69 | 0.000 % |
194.63/194.73 c | 322027 | 1956 8348 25317 | 103835 93348 69 | 0.000 % |
194.93/195.01 c | 322400 | 1956 8348 25317 | 103835 93721 69 | 0.000 % |
195.23/195.31 c | 322810 | 1956 8348 25317 | 103835 94131 69 | 0.000 % |
195.53/195.63 c | 323259 | 1956 8348 25317 | 103835 94580 69 | 0.000 % |
195.83/195.98 c | 323755 | 1956 8348 25317 | 103835 95076 69 | 0.000 % |
196.23/196.38 c | 324299 | 1956 8348 25317 | 103835 95620 69 | 0.000 % |
196.73/196.88 c | 324899 | 1956 8348 25317 | 103835 96220 69 | 0.000 % |
197.23/197.37 c | 325554 | 1956 8348 25317 | 103835 96875 69 | 0.000 % |
197.83/197.92 c | 326275 | 1956 8348 25317 | 103835 97596 69 | 0.000 % |
198.42/198.50 c | 327067 | 1956 8348 25317 | 103835 98388 69 | 0.000 % |
199.03/199.16 c | 327939 | 1956 8348 25317 | 103835 99260 69 | 0.000 % |
199.83/199.93 c | 328897 | 1956 8348 25317 | 103835 100218 69 | 0.000 % |
200.62/200.72 c | 329955 | 1956 8348 25317 | 103835 101276 69 | 0.000 % |
201.52/201.65 c | 331116 | 1956 8348 25317 | 101321 89042 69 | 0.000 % |
202.42/202.50 c | 332390 | 1956 8348 25317 | 101321 90316 69 | 0.000 % |
203.33/203.48 c | 333792 | 1956 8348 25317 | 101321 91718 69 | 0.000 % |
204.43/204.53 c | 335335 | 1956 8348 25317 | 101321 93261 69 | 0.000 % |
205.53/205.68 c | 337029 | 1956 8348 25317 | 101321 94955 69 | 0.000 % |
206.82/206.92 c | 338892 | 1956 8348 25317 | 101321 96818 69 | 0.000 % |
208.12/208.24 c | 340941 | 1956 8348 25317 | 97927 88355 69 | 0.000 % |
209.72/209.84 c | 343194 | 1956 8348 25317 | 97927 90608 69 | 0.000 % |
211.42/211.53 c | 345673 | 1956 8348 25317 | 97927 93087 69 | 0.000 % |
213.32/213.48 c | 348399 | 1956 8348 25317 | 97927 95813 69 | 0.000 % |
215.52/215.61 c | 351397 | 1956 8348 25317 | 97416 87933 69 | 0.000 % |
217.72/217.86 c | 354693 | 1956 8348 25317 | 97416 91229 69 | 0.000 % |
217.82/217.93 c | 354794 | 1956 8348 25317 | 97416 91330 69 | 0.000 % |
217.92/218.02 c | 354904 | 1956 8348 25317 | 97416 91440 69 | 0.000 % |
218.02/218.12 c | 355025 | 1956 8348 25317 | 97416 91561 69 | 0.000 % |
218.12/218.24 c | 355159 | 1956 8348 25317 | 97416 91695 69 | 0.000 % |
218.22/218.36 c | 355306 | 1956 8348 25317 | 97416 91842 69 | 0.000 % |
218.32/218.48 c | 355466 | 1956 8348 25317 | 97416 92002 69 | 0.000 % |
218.52/218.63 c | 355643 | 1956 8348 25317 | 97416 92179 69 | 0.000 % |
218.62/218.78 c | 355836 | 1956 8348 25317 | 97416 92372 69 | 0.000 % |
218.82/218.94 c | 356048 | 1956 8348 25317 | 97416 92584 69 | 0.000 % |
219.02/219.15 c | 356281 | 1956 8348 25317 | 97416 92817 69 | 0.000 % |
219.22/219.33 c | 356537 | 1956 8348 25317 | 97416 93073 69 | 0.000 % |
219.42/219.55 c | 356818 | 1956 8348 25317 | 97416 93354 69 | 0.000 % |
219.62/219.79 c | 357127 | 1956 8348 25317 | 97416 93663 69 | 0.000 % |
219.92/220.05 c | 357468 | 1956 8348 25317 | 97416 94004 69 | 0.000 % |
220.22/220.37 c | 357844 | 1956 8348 25317 | 97416 94380 69 | 0.000 % |
220.52/220.65 c | 358253 | 1956 8348 25317 | 97416 94789 69 | 0.000 % |
220.82/220.97 c | 358702 | 1956 8348 25317 | 97416 95238 69 | 0.000 % |
221.22/221.37 c | 359195 | 1956 8348 25317 | 97416 95731 69 | 0.000 % |
221.62/221.77 c | 359737 | 1956 8348 25317 | 97416 96273 69 | 0.000 % |
222.12/222.27 c | 360334 | 1956 8348 25317 | 96536 85324 69 | 0.000 % |
222.52/222.68 c | 360989 | 1956 8348 25317 | 96536 85979 69 | 0.000 % |
223.01/223.16 c | 361709 | 1956 8348 25317 | 96536 86699 69 | 0.000 % |
223.51/223.68 c | 362501 | 1956 8348 25317 | 96536 87491 69 | 0.000 % |
224.11/224.30 c | 363374 | 1956 8348 25317 | 96536 88364 69 | 0.000 % |
224.81/224.96 c | 364333 | 1956 8348 25317 | 96536 89323 69 | 0.000 % |
225.51/225.64 c | 365387 | 1956 8348 25317 | 96536 90377 69 | 0.000 % |
226.31/226.40 c | 366545 | 1956 8348 25317 | 96536 91535 69 | 0.000 % |
227.21/227.38 c | 367818 | 1956 8348 25317 | 96536 92808 69 | 0.000 % |
228.11/228.29 c | 369218 | 1956 8348 25317 | 96536 94208 69 | 0.000 % |
229.31/229.48 c | 370758 | 1956 8348 25317 | 94990 85590 68 | 0.000 % |
230.41/230.50 c | 372454 | 1956 8348 25317 | 94990 87286 68 | 0.000 % |
231.51/231.64 c | 374318 | 1956 8348 25317 | 94990 89150 69 | 0.000 % |
232.71/232.84 c | 376367 | 1956 8348 25317 | 94990 91199 69 | 0.000 % |
234.22/234.34 c | 378620 | 1956 8348 25317 | 94990 93452 69 | 0.000 % |
236.01/236.17 c | 381104 | 1956 8348 25317 | 2147483647 95936 69 | 0.000 % |
237.91/238.09 c | 383829 | 1956 8348 25317 | 2147483647 98661 69 | 0.000 % |
240.01/240.16 c | 386826 | 1956 8348 25317 | 2147483647 101658 69 | 0.000 % |
242.41/242.52 c | 390124 | 1956 8348 25317 | 104832 104956 69 | 0.000 % |
244.91/245.06 c | 393749 | 1956 8348 25317 | 104832 96336 69 | 0.000 % |
245.01/245.14 c | 393850 | 1956 8348 25317 | 104832 96437 69 | 0.000 % |
245.11/245.22 c | 393960 | 1956 8348 25317 | 104832 96547 69 | 0.000 % |
245.21/245.34 c | 394082 | 1956 8348 25317 | 104832 96669 69 | 0.000 % |
245.31/245.46 c | 394215 | 1956 8348 25317 | 104832 96802 69 | 0.000 % |
245.41/245.59 c | 394361 | 1956 8348 25317 | 104832 96948 69 | 0.000 % |
245.61/245.73 c | 394522 | 1956 8348 25317 | 104832 97109 69 | 0.000 % |
245.71/245.90 c | 394700 | 1956 8348 25317 | 104832 97287 69 | 0.000 % |
245.91/246.06 c | 394894 | 1956 8348 25317 | 104832 97481 69 | 0.000 % |
246.11/246.23 c | 395106 | 1956 8348 25317 | 104832 97693 69 | 0.000 % |
246.21/246.39 c | 395339 | 1956 8348 25317 | 104832 97926 69 | 0.000 % |
246.51/246.61 c | 395597 | 1956 8348 25317 | 104832 98184 69 | 0.000 % |
246.71/246.86 c | 395879 | 1956 8348 25317 | 104832 98466 69 | 0.000 % |
247.01/247.11 c | 396188 | 1956 8348 25317 | 104832 98775 69 | 0.000 % |
247.21/247.37 c | 396527 | 1956 8348 25317 | 104832 99114 69 | 0.000 % |
247.51/247.70 c | 396900 | 1956 8348 25317 | 104832 99487 69 | 0.000 % |
247.91/248.03 c | 397309 | 1956 8348 25317 | 104832 99896 69 | 0.000 % |
248.21/248.39 c | 397758 | 1956 8348 25317 | 104832 100345 69 | 0.000 % |
248.60/248.78 c | 398251 | 1956 8348 25317 | 104832 100838 68 | 0.000 % |
249.00/249.18 c | 398793 | 1956 8348 25317 | 104832 101380 68 | 0.000 % |
249.51/249.66 c | 399390 | 1956 8348 25317 | 104832 101977 68 | 0.000 % |
250.10/250.20 c | 400045 | 1956 8348 25317 | 102587 102632 68 | 0.000 % |
250.61/250.76 c | 400765 | 1956 8348 25317 | 102587 89424 68 | 0.000 % |
251.20/251.31 c | 401557 | 1956 8348 25317 | 102587 90216 68 | 0.000 % |
251.81/251.93 c | 402428 | 1956 8348 25317 | 102587 91087 68 | 0.000 % |
252.40/252.58 c | 403387 | 1956 8348 25317 | 102587 92046 68 | 0.000 % |
253.20/253.32 c | 404440 | 1956 8348 25317 | 102587 93099 68 | 0.000 % |
254.01/254.13 c | 405598 | 1956 8348 25317 | 102587 94257 68 | 0.000 % |
254.90/255.09 c | 406871 | 1956 8348 25317 | 102587 95530 68 | 0.000 % |
255.90/256.03 c | 408271 | 1956 8348 25317 | 102587 96930 68 | 0.000 % |
256.90/257.07 c | 409812 | 1956 8348 25317 | 102587 98471 68 | 0.000 % |
258.20/258.33 c | 411507 | 1956 8348 25317 | 98660 88843 67 | 0.000 % |
259.40/259.59 c | 413370 | 1956 8348 25317 | 98660 90706 67 | 0.000 % |
260.90/261.08 c | 415419 | 1956 8348 25317 | 98660 92755 68 | 0.000 % |
262.60/262.74 c | 417673 | 1956 8348 25317 | 98660 95009 68 | 0.000 % |
264.30/264.45 c | 420152 | 1956 8348 25317 | 97336 97488 68 | 0.000 % |
266.10/266.21 c | 422878 | 1956 8348 25317 | 97336 90139 68 | 0.000 % |
268.09/268.29 c | 425876 | 1956 8348 25317 | 97336 93137 68 | 0.000 % |
270.29/270.47 c | 429174 | 1956 8348 25317 | 97336 96435 68 | 0.000 % |
272.89/273.00 c | 432801 | 1956 8348 25317 | 2147483647 100062 68 | 0.000 % |
276.00/276.11 c | 436788 | 1956 8348 25317 | 2147483647 104049 69 | 0.000 % |
276.09/276.20 c | 436888 | 1956 8348 25317 | 2147483647 104149 69 | 0.000 % |
276.09/276.29 c | 436998 | 1956 8348 25317 | 2147483647 104259 69 | 0.000 % |
276.29/276.41 c | 437120 | 1956 8348 25317 | 2147483647 104381 69 | 0.000 % |
276.39/276.53 c | 437253 | 1956 8348 25317 | 2147483647 104514 69 | 0.000 % |
276.49/276.64 c | 437404 | 1956 8348 25317 | 2147483647 104665 69 | 0.000 % |
276.59/276.77 c | 437564 | 1956 8348 25317 | 2147483647 104825 69 | 0.000 % |
276.79/276.97 c | 437740 | 1956 8348 25317 | 2147483647 105001 68 | 0.000 % |
276.99/277.15 c | 437934 | 1956 8348 25317 | 2147483647 105195 68 | 0.000 % |
277.19/277.35 c | 438146 | 1956 8348 25317 | 2147483647 105407 68 | 0.000 % |
277.39/277.55 c | 438379 | 1956 8348 25317 | 2147483647 105640 68 | 0.000 % |
277.59/277.77 c | 438635 | 1956 8348 25317 | 2147483647 105896 68 | 0.000 % |
277.79/277.99 c | 438917 | 1956 8348 25317 | 2147483647 106178 68 | 0.000 % |
278.09/278.25 c | 439227 | 1956 8348 25317 | 2147483647 106488 68 | 0.000 % |
278.39/278.53 c | 439566 | 1956 8348 25317 | 2147483647 106827 68 | 0.000 % |
278.69/278.87 c | 439939 | 1956 8348 25317 | 2147483647 107200 68 | 0.000 % |
279.09/279.24 c | 440348 | 1956 8348 25317 | 107261 92855 68 | 0.000 % |
279.39/279.57 c | 440797 | 1956 8348 25317 | 107261 93304 68 | 0.000 % |
279.79/279.94 c | 441290 | 1956 8348 25317 | 107261 93797 68 | 0.000 % |
280.19/280.32 c | 441832 | 1956 8348 25317 | 107261 94339 68 | 0.000 % |
280.59/280.77 c | 442430 | 1956 8348 25317 | 107261 94937 68 | 0.000 % |
281.09/281.23 c | 443088 | 1956 8348 25317 | 107261 95595 68 | 0.000 % |
281.59/281.79 c | 443808 | 1956 8348 25317 | 107261 96315 68 | 0.000 % |
282.29/282.40 c | 444600 | 1956 8348 25317 | 107261 97107 68 | 0.000 % |
282.89/283.05 c | 445474 | 1956 8348 25317 | 107261 97981 68 | 0.000 % |
283.59/283.76 c | 446432 | 1956 8348 25317 | 107261 98939 68 | 0.000 % |
284.39/284.55 c | 447485 | 1956 8348 25317 | 107261 99992 68 | 0.000 % |
285.19/285.40 c | 448643 | 1956 8348 25317 | 107261 101150 68 | 0.000 % |
286.19/286.33 c | 449917 | 1956 8348 25317 | 107261 102424 68 | 0.000 % |
287.19/287.31 c | 451318 | 1956 8348 25317 | 102508 90747 68 | 0.000 % |
288.19/288.31 c | 452860 | 1956 8348 25317 | 102508 92289 68 | 0.000 % |
289.29/289.45 c | 454554 | 1956 8348 25317 | 102508 93983 68 | 0.000 % |
290.69/290.83 c | 456420 | 1956 8348 25317 | 102508 95849 68 | 0.000 % |
292.19/292.39 c | 458470 | 1956 8348 25317 | 102508 97899 68 | 0.000 % |
293.89/294.07 c | 460723 | 1956 8348 25317 | 99429 88866 68 | 0.000 % |
295.59/295.76 c | 463201 | 1956 8348 25317 | 99429 91344 68 | 0.000 % |
297.38/297.52 c | 465927 | 1956 8348 25317 | 99429 94070 68 | 0.000 % |
299.48/299.68 c | 468924 | 1956 8348 25317 | 99429 97067 68 | 0.000 % |
301.98/302.13 c | 472220 | 1956 8348 25317 | 98144 90240 68 | 0.000 % |
304.38/304.52 c | 475845 | 1956 8348 25317 | 98144 93865 68 | 0.000 % |
307.08/307.20 c | 479834 | 1956 8348 25317 | 98144 97854 68 | 0.000 % |
310.18/310.39 c | 484219 | 1956 8348 25317 | 2147483647 102239 68 | 0.000 % |
310.28/310.47 c | 484319 | 1956 8348 25317 | 2147483647 102339 68 | 0.000 % |
310.38/310.55 c | 484430 | 1956 8348 25317 | 2147483647 102450 68 | 0.000 % |
310.48/310.66 c | 484551 | 1956 8348 25317 | 2147483647 102571 68 | 0.000 % |
310.58/310.80 c | 484687 | 1956 8348 25317 | 2147483647 102707 68 | 0.000 % |
310.78/310.94 c | 484834 | 1956 8348 25317 | 2147483647 102854 68 | 0.000 % |
310.88/311.07 c | 484995 | 1956 8348 25317 | 2147483647 103015 68 | 0.000 % |
311.09/311.21 c | 485172 | 1956 8348 25317 | 2147483647 103192 68 | 0.000 % |
311.19/311.36 c | 485365 | 1956 8348 25317 | 2147483647 103385 68 | 0.000 % |
311.38/311.56 c | 485577 | 1956 8348 25317 | 2147483647 103597 68 | 0.000 % |
311.58/311.76 c | 485811 | 1956 8348 25317 | 2147483647 103831 68 | 0.000 % |
311.78/311.98 c | 486068 | 1956 8348 25317 | 2147483647 104088 68 | 0.000 % |
312.08/312.22 c | 486349 | 1956 8348 25317 | 2147483647 104369 68 | 0.000 % |
312.28/312.47 c | 486658 | 1956 8348 25317 | 2147483647 104678 68 | 0.000 % |
312.58/312.76 c | 486997 | 1956 8348 25317 | 2147483647 105017 68 | 0.000 % |
312.88/313.06 c | 487369 | 1956 8348 25317 | 2147483647 105389 68 | 0.000 % |
313.28/313.41 c | 487779 | 1956 8348 25317 | 2147483647 105799 68 | 0.000 % |
313.58/313.79 c | 488228 | 1956 8348 25317 | 2147483647 106248 68 | 0.000 % |
313.98/314.17 c | 488723 | 1956 8348 25317 | 2147483647 106743 68 | 0.000 % |
314.38/314.56 c | 489265 | 1956 8348 25317 | 2147483647 107285 68 | 0.000 % |
314.88/315.03 c | 489862 | 1956 8348 25317 | 2147483647 107882 68 | 0.000 % |
315.38/315.60 c | 490517 | 1956 8348 25317 | 108020 93360 68 | 0.000 % |
315.98/316.16 c | 491237 | 1956 8348 25317 | 108020 94080 68 | 0.000 % |
316.58/316.76 c | 492029 | 1956 8348 25317 | 108020 94872 68 | 0.000 % |
317.28/317.41 c | 492903 | 1956 8348 25317 | 108020 95746 68 | 0.000 % |
317.97/318.10 c | 493862 | 1956 8348 25317 | 108020 96705 68 | 0.000 % |
318.67/318.82 c | 494916 | 1956 8348 25317 | 108020 97759 68 | 0.000 % |
319.48/319.62 c | 496075 | 1956 8348 25317 | 108020 98918 68 | 0.000 % |
320.47/320.65 c | 497348 | 1956 8348 25317 | 108020 100191 68 | 0.000 % |
321.47/321.65 c | 498748 | 1956 8348 25317 | 108020 101591 68 | 0.000 % |
322.67/322.85 c | 500289 | 1956 8348 25317 | 102843 89128 68 | 0.000 % |
323.77/324.00 c | 501983 | 1956 8348 25317 | 102843 90822 68 | 0.000 % |
325.07/325.29 c | 503848 | 1956 8348 25317 | 102843 92687 68 | 0.000 % |
326.47/326.66 c | 505897 | 1956 8348 25317 | 102843 94736 69 | 0.000 % |
328.07/328.23 c | 508152 | 1956 8348 25317 | 102843 96991 69 | 0.000 % |
329.87/330.05 c | 510631 | 1956 8348 25317 | 98840 88692 68 | 0.000 % |
331.67/331.87 c | 513358 | 1956 8348 25317 | 98840 91419 69 | 0.000 % |
333.57/333.80 c | 516355 | 1956 8348 25317 | 98840 94416 69 | 0.000 % |
335.87/336.08 c | 519654 | 1956 8348 25317 | 98840 97715 69 | 0.000 % |
338.47/338.66 c | 523282 | 1956 8348 25317 | 2147483647 101343 69 | 0.000 % |
341.87/342.07 c | 527269 | 1956 8348 25317 | 2147483647 105330 69 | 0.000 % |
345.46/345.62 c | 531654 | 1956 8348 25317 | 108062 95318 68 | 0.000 % |
348.76/348.95 c | 536478 | 1956 8348 25317 | 108062 100142 69 | 0.000 % |
348.86/349.02 c | 536580 | 1956 8348 25317 | 108062 100244 69 | 0.000 % |
348.96/349.13 c | 536691 | 1956 8348 25317 | 108062 100355 69 | 0.000 % |
349.06/349.24 c | 536812 | 1956 8348 25317 | 108062 100476 69 | 0.000 % |
349.16/349.36 c | 536946 | 1956 8348 25317 | 108062 100610 69 | 0.000 % |
349.36/349.51 c | 537092 | 1956 8348 25317 | 108062 100756 69 | 0.000 % |
349.46/349.65 c | 537254 | 1956 8348 25317 | 108062 100918 69 | 0.000 % |
349.57/349.80 c | 537432 | 1956 8348 25317 | 108062 101096 69 | 0.000 % |
349.76/349.96 c | 537625 | 1956 8348 25317 | 108062 101289 69 | 0.000 % |
349.96/350.14 c | 537837 | 1956 8348 25317 | 108062 101501 69 | 0.000 % |
350.16/350.34 c | 538072 | 1956 8348 25317 | 108062 101736 69 | 0.000 % |
350.36/350.59 c | 538328 | 1956 8348 25317 | 108062 101992 69 | 0.000 % |
350.67/350.81 c | 538610 | 1956 8348 25317 | 108062 102274 69 | 0.000 % |
350.86/351.05 c | 538919 | 1956 8348 25317 | 108062 102583 69 | 0.000 % |
351.16/351.33 c | 539258 | 1956 8348 25317 | 108062 102922 69 | 0.000 % |
351.46/351.63 c | 539630 | 1956 8348 25317 | 108062 103294 69 | 0.000 % |
351.87/352.01 c | 540040 | 1956 8348 25317 | 103664 103704 69 | 0.000 % |
352.26/352.43 c | 540491 | 1956 8348 25317 | 103664 90343 69 | 0.000 % |
352.56/352.77 c | 540985 | 1956 8348 25317 | 103664 90837 69 | 0.000 % |
352.97/353.12 c | 541529 | 1956 8348 25317 | 103664 91381 69 | 0.000 % |
353.36/353.53 c | 542127 | 1956 8348 25317 | 103664 91979 69 | 0.000 % |
353.76/353.97 c | 542782 | 1956 8348 25317 | 103664 92634 69 | 0.000 % |
354.26/354.43 c | 543505 | 1956 8348 25317 | 103664 93357 69 | 0.000 % |
354.86/355.06 c | 544299 | 1956 8348 25317 | 103664 94151 69 | 0.000 % |
355.46/355.69 c | 545170 | 1956 8348 25317 | 103664 95022 69 | 0.000 % |
356.16/356.38 c | 546128 | 1956 8348 25317 | 103664 95980 69 | 0.000 % |
356.96/357.14 c | 547181 | 1956 8348 25317 | 103664 97033 69 | 0.000 % |
357.86/358.05 c | 548342 | 1956 8348 25317 | 103664 98194 69 | 0.000 % |
358.86/359.02 c | 549615 | 1956 8348 25317 | 103664 99467 69 | 0.000 % |
359.96/360.16 c | 551015 | 1956 8348 25317 | 99852 87917 69 | 0.000 % |
360.96/361.19 c | 552555 | 1956 8348 25317 | 99852 89457 69 | 0.000 % |
362.16/362.36 c | 554249 | 1956 8348 25317 | 99852 91151 69 | 0.000 % |
363.45/363.68 c | 556112 | 1956 8348 25317 | 99852 93014 69 | 0.000 % |
365.06/365.28 c | 558162 | 1956 8348 25317 | 99852 95064 69 | 0.000 % |
366.75/366.94 c | 560416 | 1956 8348 25317 | 96903 86288 69 | 0.000 % |
368.36/368.51 c | 562895 | 1956 8348 25317 | 96903 88767 69 | 0.000 % |
370.05/370.29 c | 565621 | 1956 8348 25317 | 96903 91493 69 | 0.000 % |
372.15/372.34 c | 568619 | 1956 8348 25317 | 96903 94491 69 | 0.000 % |
374.35/374.58 c | 571915 | 1956 8348 25317 | 2147483647 97787 69 | 0.000 % |
377.05/377.29 c | 575540 | 1956 8348 25317 | 2147483647 101412 69 | 0.000 % |
380.05/380.20 c | 579527 | 1956 8348 25317 | 2147483647 105399 69 | 0.000 % |
382.95/383.13 c | 583913 | 1956 8348 25317 | 105873 95874 69 | 0.000 % |
386.35/386.53 c | 588737 | 1956 8348 25317 | 105873 100698 70 | 0.000 % |
390.25/390.49 c | 594044 | 1956 8348 25317 | 101961 93187 70 | 0.000 % |
390.35/390.59 c | 594144 | 1956 8348 25317 | 101961 93287 70 | 0.000 % |
390.45/390.69 c | 594254 | 1956 8348 25317 | 101961 93397 70 | 0.000 % |
390.65/390.81 c | 594375 | 1956 8348 25317 | 101961 93518 70 | 0.000 % |
390.75/390.91 c | 594509 | 1956 8348 25317 | 101961 93652 70 | 0.000 % |
390.85/391.04 c | 594655 | 1956 8348 25317 | 101961 93798 70 | 0.000 % |
390.95/391.18 c | 594815 | 1956 8348 25317 | 101961 93958 70 | 0.000 % |
391.15/391.33 c | 594993 | 1956 8348 25317 | 101961 94136 70 | 0.000 % |
391.25/391.48 c | 595187 | 1956 8348 25317 | 101961 94330 70 | 0.000 % |
391.45/391.65 c | 595399 | 1956 8348 25317 | 101961 94542 70 | 0.000 % |
391.65/391.84 c | 595632 | 1956 8348 25317 | 101961 94775 70 | 0.000 % |
391.85/392.05 c | 595889 | 1956 8348 25317 | 101961 95032 70 | 0.000 % |
392.05/392.26 c | 596170 | 1956 8348 25317 | 101961 95313 70 | 0.000 % |
392.25/392.49 c | 596482 | 1956 8348 25317 | 101961 95625 70 | 0.000 % |
392.55/392.75 c | 596821 | 1956 8348 25317 | 101961 95964 70 | 0.000 % |
392.84/393.04 c | 597193 | 1956 8348 25317 | 101961 96336 70 | 0.000 % |
393.14/393.36 c | 597603 | 1956 8348 25317 | 101961 96746 69 | 0.000 % |
393.55/393.71 c | 598053 | 1956 8348 25317 | 101961 97196 69 | 0.000 % |
393.94/394.13 c | 598547 | 1956 8348 25317 | 101961 97690 69 | 0.000 % |
394.34/394.59 c | 599090 | 1956 8348 25317 | 101961 98233 69 | 0.000 % |
394.84/395.04 c | 599686 | 1956 8348 25317 | 101961 98829 69 | 0.000 % |
395.44/395.60 c | 600343 | 1956 8348 25317 | 99143 86592 69 | 0.000 % |
395.94/396.10 c | 601063 | 1956 8348 25317 | 99143 87312 69 | 0.000 % |
396.44/396.68 c | 601857 | 1956 8348 25317 | 99143 88106 69 | 0.000 % |
397.04/397.29 c | 602729 | 1956 8348 25317 | 99143 88978 69 | 0.000 % |
397.64/397.88 c | 603689 | 1956 8348 25317 | 99143 89938 69 | 0.000 % |
398.44/398.66 c | 604743 | 1956 8348 25317 | 99143 90992 69 | 0.000 % |
399.24/399.41 c | 605901 | 1956 8348 25317 | 99143 92150 69 | 0.000 % |
400.04/400.29 c | 607178 | 1956 8348 25317 | 99143 93427 69 | 0.000 % |
400.94/401.17 c | 608578 | 1956 8348 25317 | 99143 94827 69 | 0.000 % |
402.04/402.25 c | 610118 | 1956 8348 25317 | 96251 96367 69 | 0.000 % |
403.14/403.38 c | 611813 | 1956 8348 25317 | 96251 87818 69 | 0.000 % |
404.34/404.60 c | 613676 | 1956 8348 25317 | 96251 89681 69 | 0.000 % |
405.74/405.92 c | 615726 | 1956 8348 25317 | 96251 91731 69 | 0.000 % |
407.24/407.42 c | 617979 | 1956 8348 25317 | 96251 93984 69 | 0.000 % |
408.94/409.19 c | 620457 | 1956 8348 25317 | 2147483647 96462 69 | 0.000 % |
410.84/411.04 c | 623182 | 1956 8348 25317 | 2147483647 99187 70 | 0.000 % |
412.84/413.09 c | 626179 | 1956 8348 25317 | 2147483647 102184 70 | 0.000 % |
415.33/415.57 c | 629476 | 1956 8348 25317 | 2147483647 105481 70 | 0.000 % |
418.03/418.28 c | 633101 | 1956 8348 25317 | 106006 95950 70 | 0.000 % |
420.93/421.15 c | 637089 | 1956 8348 25317 | 106006 99938 70 | 0.000 % |
424.34/424.58 c | 641475 | 1956 8348 25317 | 102849 91043 71 | 0.000 % |
427.64/427.84 c | 646298 | 1956 8348 25317 | 102849 95866 71 | 0.000 % |
431.23/431.49 c | 651604 | 1956 8348 25317 | 99569 89002 71 | 0.000 % |
435.03/435.28 c | 657441 | 1956 8348 25317 | 99569 94839 71 | 0.000 % |
435.13/435.36 c | 657542 | 1956 8348 25317 | 99569 94940 71 | 0.000 % |
435.23/435.47 c | 657653 | 1956 8348 25317 | 99569 95051 71 | 0.000 % |
435.33/435.57 c | 657775 | 1956 8348 25317 | 99569 95173 71 | 0.000 % |
435.43/435.68 c | 657908 | 1956 8348 25317 | 99569 95306 71 | 0.000 % |
435.53/435.80 c | 658054 | 1956 8348 25317 | 99569 95452 71 | 0.000 % |
435.73/435.93 c | 658214 | 1956 8348 25317 | 99569 95612 71 | 0.000 % |
435.83/436.06 c | 658391 | 1956 8348 25317 | 99569 95789 71 | 0.000 % |
436.03/436.23 c | 658585 | 1956 8348 25317 | 99569 95983 71 | 0.000 % |
436.23/436.40 c | 658797 | 1956 8348 25317 | 99569 96195 71 | 0.000 % |
436.33/436.59 c | 659030 | 1956 8348 25317 | 99569 96428 71 | 0.000 % |
436.63/436.81 c | 659287 | 1956 8348 25317 | 99569 96685 71 | 0.000 % |
436.83/437.05 c | 659568 | 1956 8348 25317 | 99569 96966 71 | 0.000 % |
437.13/437.33 c | 659878 | 1956 8348 25317 | 99569 97276 71 | 0.000 % |
437.43/437.62 c | 660217 | 1956 8348 25317 | 97398 97615 71 | 0.000 % |
437.73/437.93 c | 660593 | 1956 8348 25317 | 97398 86257 71 | 0.000 % |
438.03/438.26 c | 661003 | 1956 8348 25317 | 97398 86667 71 | 0.000 % |
438.43/438.63 c | 661454 | 1956 8348 25317 | 97398 87118 71 | 0.000 % |
438.73/438.98 c | 661948 | 1956 8348 25317 | 97398 87612 70 | 0.000 % |
439.13/439.35 c | 662490 | 1956 8348 25317 | 97398 88154 70 | 0.000 % |
439.53/439.74 c | 663086 | 1956 8348 25317 | 97398 88750 70 | 0.000 % |
440.03/440.21 c | 663741 | 1956 8348 25317 | 97398 89405 70 | 0.000 % |
440.53/440.73 c | 664465 | 1956 8348 25317 | 97398 90129 70 | 0.000 % |
441.03/441.26 c | 665258 | 1956 8348 25317 | 97398 90922 70 | 0.000 % |
441.63/441.83 c | 666129 | 1956 8348 25317 | 97398 91793 70 | 0.000 % |
442.23/442.48 c | 667087 | 1956 8348 25317 | 97398 92751 70 | 0.000 % |
443.03/443.23 c | 668140 | 1956 8348 25317 | 97398 93804 70 | 0.000 % |
443.83/444.05 c | 669299 | 1956 8348 25317 | 97398 94963 70 | 0.000 % |
444.73/444.96 c | 670575 | 1956 8348 25317 | 95664 86141 70 | 0.000 % |
445.73/445.91 c | 671976 | 1956 8348 25317 | 95664 87542 70 | 0.000 % |
446.72/446.97 c | 673516 | 1956 8348 25317 | 95664 89082 70 | 0.000 % |
447.92/448.19 c | 675210 | 1956 8348 25317 | 95664 90776 70 | 0.000 % |
449.22/449.43 c | 677073 | 1956 8348 25317 | 95664 92639 70 | 0.000 % |
450.62/450.87 c | 679126 | 1956 8348 25317 | 95664 94692 70 | 0.000 % |
452.22/452.44 c | 681380 | 1956 8348 25317 | 2147483647 96946 70 | 0.000 % |
454.02/454.22 c | 683858 | 1956 8348 25317 | 2147483647 99424 70 | 0.000 % |
455.92/456.16 c | 686584 | 1956 8348 25317 | 2147483647 102150 71 | 0.000 % |
458.23/458.48 c | 689581 | 1956 8348 25317 | 2147483647 105147 71 | 0.000 % |
460.83/461.00 c | 692878 | 1956 8348 25317 | 105566 95285 71 | 0.000 % |
463.42/463.63 c | 696507 | 1956 8348 25317 | 105566 98914 71 | 0.000 % |
466.42/466.64 c | 700495 | 1956 8348 25317 | 102407 88827 71 | 0.000 % |
469.22/469.45 c | 704880 | 1956 8348 25317 | 102407 93212 71 | 0.000 % |
472.52/472.75 c | 709705 | 1956 8348 25317 | 102407 98037 71 | 0.000 % |
476.13/476.36 c | 715010 | 1956 8348 25317 | 98332 91315 70 | 0.000 % |
480.32/480.50 c | 720846 | 1956 8348 25317 | 96306 84851 70 | 0.000 % |
484.52/484.73 c | 727264 | 1956 8348 25317 | 96306 91269 70 | 0.000 % |
484.62/484.80 c | 727364 | 1956 8348 25317 | 96306 91369 70 | 0.000 % |
484.62/484.89 c | 727475 | 1956 8348 25317 | 96306 91480 70 | 0.000 % |
484.72/484.98 c | 727596 | 1956 8348 25317 | 96306 91601 70 | 0.000 % |
484.92/485.10 c | 727730 | 1956 8348 25317 | 96306 91735 70 | 0.000 % |
485.02/485.22 c | 727876 | 1956 8348 25317 | 96306 91881 70 | 0.000 % |
485.12/485.34 c | 728037 | 1956 8348 25317 | 96306 92042 70 | 0.000 % |
485.32/485.50 c | 728213 | 1956 8348 25317 | 96306 92218 70 | 0.000 % |
485.42/485.66 c | 728407 | 1956 8348 25317 | 96306 92412 70 | 0.000 % |
485.62/485.82 c | 728619 | 1956 8348 25317 | 96306 92624 70 | 0.000 % |
485.72/485.99 c | 728852 | 1956 8348 25317 | 96306 92857 70 | 0.000 % |
485.92/486.18 c | 729108 | 1956 8348 25317 | 96306 93113 70 | 0.000 % |
486.12/486.38 c | 729390 | 1956 8348 25317 | 96306 93395 70 | 0.000 % |
486.42/486.60 c | 729699 | 1956 8348 25317 | 96306 93704 70 | 0.000 % |
486.62/486.85 c | 730039 | 1956 8348 25317 | 94005 94044 70 | 0.000 % |
486.92/487.19 c | 730415 | 1956 8348 25317 | 94005 83381 70 | 0.000 % |
487.22/487.47 c | 730826 | 1956 8348 25317 | 94005 83792 70 | 0.000 % |
487.52/487.77 c | 731275 | 1956 8348 25317 | 94005 84241 69 | 0.000 % |
487.82/488.08 c | 731769 | 1956 8348 25317 | 94005 84735 69 | 0.000 % |
488.22/488.43 c | 732311 | 1956 8348 25317 | 94005 85277 69 | 0.000 % |
488.62/488.80 c | 732907 | 1956 8348 25317 | 94005 85873 69 | 0.000 % |
489.02/489.23 c | 733562 | 1956 8348 25317 | 94005 86528 69 | 0.000 % |
489.52/489.72 c | 734282 | 1956 8348 25317 | 94005 87248 69 | 0.000 % |
490.12/490.34 c | 735075 | 1956 8348 25317 | 94005 88041 69 | 0.000 % |
490.72/490.95 c | 735947 | 1956 8348 25317 | 94005 88913 69 | 0.000 % |
491.32/491.58 c | 736906 | 1956 8348 25317 | 94005 89872 69 | 0.000 % |
492.02/492.29 c | 737959 | 1956 8348 25317 | 94005 90925 69 | 0.000 % |
492.82/493.09 c | 739117 | 1956 8348 25317 | 94005 92083 69 | 0.000 % |
493.72/493.95 c | 740392 | 1956 8348 25317 | 2147483647 93358 69 | 0.000 % |
494.62/494.89 c | 741793 | 1956 8348 25317 | 2147483647 94759 69 | 0.000 % |
495.72/495.92 c | 743333 | 1956 8348 25317 | 2147483647 96299 69 | 0.000 % |
496.82/497.08 c | 745027 | 1956 8348 25317 | 2147483647 97993 69 | 0.000 % |
498.21/498.44 c | 746890 | 1956 8348 25317 | 2147483647 99856 70 | 0.000 % |
499.72/499.93 c | 748940 | 1956 8348 25317 | 2147483647 101906 70 | 0.000 % |
501.32/501.59 c | 751193 | 1956 8348 25317 | 102967 93581 70 | 0.000 % |
503.01/503.28 c | 753672 | 1956 8348 25317 | 102967 96060 70 | 0.000 % |
504.91/505.13 c | 756398 | 1956 8348 25317 | 102967 98786 70 | 0.000 % |
506.92/507.18 c | 759398 | 1956 8348 25317 | 102967 101786 70 | 0.000 % |
509.31/509.51 c | 762695 | 1956 8348 25317 | 102389 94078 71 | 0.000 % |
511.61/511.89 c | 766324 | 1956 8348 25317 | 102389 97707 71 | 0.000 % |
514.71/514.94 c | 770311 | 1956 8348 25317 | 101383 90763 71 | 0.000 % |
517.61/517.81 c | 774696 | 1956 8348 25317 | 101383 95148 71 | 0.000 % |
520.91/521.10 c | 779519 | 1956 8348 25317 | 101383 99971 71 | 0.000 % |
524.51/524.72 c | 784826 | 1956 8348 25317 | 100453 94143 71 | 0.000 % |
528.71/528.95 c | 790662 | 1956 8348 25317 | 99318 88500 72 | 0.000 % |
533.10/533.38 c | 797080 | 1956 8348 25317 | 99318 94918 72 | 0.000 % |
537.61/537.86 c | 804142 | 1956 8348 25317 | 97839 91554 72 | 0.000 % |
537.71/537.93 c | 804242 | 1956 8348 25317 | 97839 91654 72 | 0.000 % |
537.80/538.01 c | 804352 | 1956 8348 25317 | 97839 91764 72 | 0.000 % |
537.90/538.11 c | 804474 | 1956 8348 25317 | 97839 91886 72 | 0.000 % |
538.00/538.24 c | 804609 | 1956 8348 25317 | 97839 92021 72 | 0.000 % |
538.10/538.35 c | 804755 | 1956 8348 25317 | 97839 92167 72 | 0.000 % |
538.20/538.48 c | 804916 | 1956 8348 25317 | 97839 92328 72 | 0.000 % |
538.40/538.64 c | 805095 | 1956 8348 25317 | 97839 92507 72 | 0.000 % |
538.60/538.80 c | 805288 | 1956 8348 25317 | 97839 92700 72 | 0.000 % |
538.70/538.98 c | 805500 | 1956 8348 25317 | 97839 92912 72 | 0.000 % |
539.00/539.20 c | 805733 | 1956 8348 25317 | 97839 93145 72 | 0.000 % |
539.10/539.39 c | 805990 | 1956 8348 25317 | 97839 93402 72 | 0.000 % |
539.30/539.59 c | 806271 | 1956 8348 25317 | 97839 93683 72 | 0.000 % |
539.60/539.83 c | 806580 | 1956 8348 25317 | 97839 93992 72 | 0.000 % |
539.80/540.08 c | 806920 | 1956 8348 25317 | 97839 94332 72 | 0.000 % |
540.10/540.35 c | 807292 | 1956 8348 25317 | 97839 94704 72 | 0.000 % |
540.40/540.66 c | 807703 | 1956 8348 25317 | 97839 95115 72 | 0.000 % |
540.70/541.00 c | 808152 | 1956 8348 25317 | 97839 95564 72 | 0.000 % |
541.10/541.36 c | 808645 | 1956 8348 25317 | 97839 96057 72 | 0.000 % |
541.50/541.75 c | 809187 | 1956 8348 25317 | 97839 96599 72 | 0.000 % |
541.90/542.18 c | 809783 | 1956 8348 25317 | 97839 97195 72 | 0.000 % |
542.50/542.73 c | 810438 | 1956 8348 25317 | 97412 86861 72 | 0.000 % |
543.00/543.23 c | 811160 | 1956 8348 25317 | 97412 87583 72 | 0.000 % |
543.50/543.74 c | 811952 | 1956 8348 25317 | 97412 88375 72 | 0.000 % |
544.10/544.36 c | 812827 | 1956 8348 25317 | 97412 89250 72 | 0.000 % |
544.80/545.03 c | 813786 | 1956 8348 25317 | 97412 90209 72 | 0.000 % |
545.50/545.70 c | 814839 | 1956 8348 25317 | 97412 91262 72 | 0.000 % |
546.20/546.48 c | 815999 | 1956 8348 25317 | 97412 92422 72 | 0.000 % |
547.10/547.34 c | 817272 | 1956 8348 25317 | 97412 93695 72 | 0.000 % |
548.00/548.23 c | 818675 | 1956 8348 25317 | 97412 95098 72 | 0.000 % |
548.99/549.29 c | 820216 | 1956 8348 25317 | 2147483647 96639 72 | 0.000 % |
550.30/550.57 c | 821913 | 1956 8348 25317 | 2147483647 98336 71 | 0.000 % |
551.69/551.91 c | 823778 | 1956 8348 25317 | 2147483647 100201 71 | 0.000 % |
553.19/553.46 c | 825827 | 1956 8348 25317 | 2147483647 102250 71 | 0.000 % |
554.79/555.04 c | 828082 | 1956 8348 25317 | 2147483647 104505 71 | 0.000 % |
556.99/557.26 c | 830562 | 1956 8348 25317 | 106423 92334 72 | 0.000 % |
559.09/559.32 c | 833288 | 1956 8348 25317 | 106423 95060 72 | 0.000 % |
561.29/561.52 c | 836286 | 1956 8348 25317 | 106423 98058 72 | 0.000 % |
563.59/563.88 c | 839582 | 1956 8348 25317 | 106423 101354 72 | 0.000 % |
566.29/566.56 c | 843207 | 1956 8348 25317 | 101772 90834 71 | 0.000 % |
568.99/569.21 c | 847195 | 1956 8348 25317 | 101772 94822 71 | 0.000 % |
572.09/572.36 c | 851580 | 1956 8348 25317 | 97627 87581 71 | 0.000 % |
575.09/575.35 c | 856403 | 1956 8348 25317 | 97627 92404 71 | 0.000 % |
578.88/579.15 c | 861708 | 1956 8348 25317 | 96001 86860 71 | 0.000 % |
582.69/582.90 c | 867545 | 1956 8348 25317 | 96001 92697 71 | 0.000 % |
587.38/587.61 c | 873963 | 1956 8348 25317 | 95152 88052 71 | 0.000 % |
592.28/592.60 c | 881023 | 1956 8348 25317 | 94090 84165 71 | 0.000 % |
597.78/598.00 c | 888787 | 1956 8348 25317 | 94090 91929 71 | 0.000 % |
597.78/598.08 c | 888887 | 1956 8348 25317 | 94090 92029 71 | 0.000 % |
597.88/598.16 c | 888997 | 1956 8348 25317 | 94090 92139 71 | 0.000 % |
597.98/598.28 c | 889119 | 1956 8348 25317 | 94090 92261 71 | 0.000 % |
598.08/598.39 c | 889253 | 1956 8348 25317 | 94090 92395 71 | 0.000 % |
598.18/598.49 c | 889400 | 1956 8348 25317 | 94090 92542 71 | 0.000 % |
598.38/598.62 c | 889560 | 1956 8348 25317 | 94090 92702 71 | 0.000 % |
598.48/598.78 c | 889737 | 1956 8348 25317 | 94090 92879 71 | 0.000 % |
598.68/598.94 c | 889930 | 1956 8348 25317 | 94090 93072 71 | 0.000 % |
598.87/599.11 c | 890142 | 1956 8348 25317 | 93142 93284 71 | 0.000 % |
599.07/599.33 c | 890377 | 1956 8348 25317 | 93142 82150 71 | 0.000 % |
599.28/599.51 c | 890633 | 1956 8348 25317 | 93142 82406 71 | 0.000 % |
599.37/599.69 c | 890915 | 1956 8348 25317 | 93142 82688 71 | 0.000 % |
599.57/599.90 c | 891224 | 1956 8348 25317 | 93142 82997 71 | 0.000 % |
599.77/600.09 c | 891563 | 1956 8348 25317 | 93142 83336 71 | 0.000 % |
600.07/600.38 c | 891936 | 1956 8348 25317 | 93142 83709 71 | 0.000 % |
600.38/600.67 c | 892345 | 1956 8348 25317 | 93142 84118 71 | 0.000 % |
600.77/601.05 c | 892794 | 1956 8348 25317 | 93142 84567 71 | 0.000 % |
601.07/601.37 c | 893287 | 1956 8348 25317 | 93142 85060 71 | 0.000 % |
601.48/601.76 c | 893831 | 1956 8348 25317 | 93142 85604 71 | 0.000 % |
601.98/602.20 c | 894427 | 1956 8348 25317 | 93142 86200 71 | 0.000 % |
602.38/602.67 c | 895082 | 1956 8348 25317 | 93142 86855 71 | 0.000 % |
602.97/603.23 c | 895802 | 1956 8348 25317 | 93142 87575 71 | 0.000 % |
603.47/603.77 c | 896596 | 1956 8348 25317 | 93142 88369 71 | 0.000 % |
604.17/604.41 c | 897468 | 1956 8348 25317 | 93142 89241 71 | 0.000 % |
604.78/605.08 c | 898426 | 1956 8348 25317 | 93142 90199 71 | 0.000 % |
605.57/605.80 c | 899481 | 1956 8348 25317 | 93142 91254 71 | 0.000 % |
606.47/606.70 c | 900640 | 1956 8348 25317 | 91773 81877 71 | 0.000 % |
607.17/607.48 c | 901916 | 1956 8348 25317 | 91773 83153 71 | 0.000 % |
608.08/608.35 c | 903317 | 1956 8348 25317 | 91773 84554 71 | 0.000 % |
609.08/609.35 c | 904857 | 1956 8348 25317 | 91773 86094 71 | 0.000 % |
610.18/610.46 c | 906551 | 1956 8348 25317 | 91773 87788 71 | 0.000 % |
611.38/611.66 c | 908414 | 1956 8348 25317 | 91773 89651 71 | 0.000 % |
612.67/612.96 c | 910463 | 1956 8348 25317 | 2147483647 91700 71 | 0.000 % |
614.27/614.52 c | 912716 | 1956 8348 25317 | 2147483647 93953 71 | 0.000 % |
616.07/616.31 c | 915195 | 1956 8348 25317 | 2147483647 96432 71 | 0.000 % |
617.97/618.27 c | 917925 | 1956 8348 25317 | 2147483647 99162 71 | 0.000 % |
620.17/620.47 c | 920922 | 1956 8348 25317 | 101237 90416 71 | 0.000 % |
622.57/622.80 c | 924218 | 1956 8348 25317 | 101237 93712 71 | 0.000 % |
625.07/625.37 c | 927844 | 1956 8348 25317 | 101237 97338 72 | 0.000 % |
628.17/628.40 c | 931833 | 1956 8348 25317 | 99494 89769 72 | 0.000 % |
631.27/631.54 c | 936219 | 1956 8348 25317 | 99494 94155 72 | 0.000 % |
634.67/634.90 c | 941042 | 1956 8348 25317 | 97936 88438 72 | 0.000 % |
638.56/638.84 c | 946348 | 1956 8348 25317 | 97936 93744 72 | 0.000 % |
642.66/642.92 c | 952183 | 1956 8348 25317 | 97397 88260 72 | 0.000 % |
647.06/647.36 c | 958601 | 1956 8348 25317 | 97397 94678 72 | 0.000 % |
652.36/652.67 c | 965662 | 1956 8348 25317 | 96077 90681 71 | 0.000 % |
657.66/657.92 c | 973428 | 1956 8348 25317 | 95020 87686 71 | 0.000 % |
663.86/664.15 c | 981968 | 1956 8348 25317 | 94260 85442 72 | 0.000 % |
663.96/664.23 c | 982071 | 1956 8348 25317 | 94260 85545 72 | 0.000 % |
664.06/664.33 c | 982182 | 1956 8348 25317 | 94260 85656 72 | 0.000 % |
664.16/664.42 c | 982303 | 1956 8348 25317 | 94260 85777 72 | 0.000 % |
664.26/664.52 c | 982436 | 1956 8348 25317 | 94260 85910 72 | 0.000 % |
664.36/664.63 c | 982583 | 1956 8348 25317 | 94260 86057 72 | 0.000 % |
664.46/664.76 c | 982743 | 1956 8348 25317 | 94260 86217 72 | 0.000 % |
664.56/664.89 c | 982919 | 1956 8348 25317 | 94260 86393 72 | 0.000 % |
664.76/665.03 c | 983115 | 1956 8348 25317 | 94260 86589 72 | 0.000 % |
664.85/665.18 c | 983327 | 1956 8348 25317 | 94260 86801 72 | 0.000 % |
665.05/665.36 c | 983560 | 1956 8348 25317 | 94260 87034 72 | 0.000 % |
665.26/665.55 c | 983817 | 1956 8348 25317 | 94260 87291 72 | 0.000 % |
665.45/665.76 c | 984098 | 1956 8348 25317 | 94260 87572 72 | 0.000 % |
665.65/665.99 c | 984407 | 1956 8348 25317 | 94260 87881 72 | 0.000 % |
665.95/666.24 c | 984747 | 1956 8348 25317 | 94260 88221 72 | 0.000 % |
666.26/666.54 c | 985119 | 1956 8348 25317 | 94260 88593 72 | 0.000 % |
666.55/666.83 c | 985528 | 1956 8348 25317 | 94260 89002 72 | 0.000 % |
666.85/667.16 c | 985978 | 1956 8348 25317 | 94260 89452 72 | 0.000 % |
667.15/667.49 c | 986471 | 1956 8348 25317 | 94260 89945 72 | 0.000 % |
667.55/667.89 c | 987014 | 1956 8348 25317 | 94260 90488 72 | 0.000 % |
667.95/668.29 c | 987611 | 1956 8348 25317 | 94260 91085 72 | 0.000 % |
668.45/668.75 c | 988266 | 1956 8348 25317 | 94260 91740 72 | 0.000 % |
668.95/669.27 c | 988987 | 1956 8348 25317 | 94260 92461 72 | 0.000 % |
669.45/669.79 c | 989780 | 1956 8348 25317 | 94260 93254 72 | 0.000 % |
670.15/670.46 c | 990651 | 1956 8348 25317 | 93476 83565 72 | 0.000 % |
670.75/671.03 c | 991609 | 1956 8348 25317 | 93476 84523 72 | 0.000 % |
671.45/671.76 c | 992662 | 1956 8348 25317 | 93476 85576 72 | 0.000 % |
672.25/672.53 c | 993821 | 1956 8348 25317 | 93476 86735 72 | 0.000 % |
673.05/673.40 c | 995095 | 1956 8348 25317 | 93476 88009 72 | 0.000 % |
673.95/674.28 c | 996497 | 1956 8348 25317 | 93476 89411 72 | 0.000 % |
674.95/675.29 c | 998037 | 1956 8348 25317 | 93476 90951 72 | 0.000 % |
676.04/676.40 c | 999732 | 1956 8348 25317 | 93476 92646 72 | 0.000 % |
677.44/677.75 c | 1001595 | 1956 8348 25317 | 2147483647 94509 72 | 0.000 % |
678.94/679.24 c | 1003644 | 1956 8348 25317 | 2147483647 96558 72 | 0.000 % |
680.44/680.79 c | 1005897 | 1956 8348 25317 | 2147483647 98811 72 | 0.000 % |
682.44/682.78 c | 1008376 | 1956 8348 25317 | 2147483647 101290 72 | 0.000 % |
684.64/684.99 c | 1011101 | 1956 8348 25317 | 102916 90581 72 | 0.000 % |
686.64/686.95 c | 1014099 | 1956 8348 25317 | 102916 93579 72 | 0.000 % |
689.04/689.33 c | 1017395 | 1956 8348 25317 | 102916 96875 72 | 0.000 % |
691.74/692.06 c | 1021021 | 1956 8348 25317 | 99480 87741 71 | 0.000 % |
694.44/694.78 c | 1025008 | 1956 8348 25317 | 99480 91728 71 | 0.000 % |
697.24/697.59 c | 1029393 | 1956 8348 25317 | 99480 96113 71 | 0.000 % |
700.34/700.66 c | 1034218 | 1956 8348 25317 | 96720 90105 71 | 0.000 % |
703.74/704.07 c | 1039523 | 1956 8348 25317 | 96720 95410 71 | 0.000 % |
707.94/708.26 c | 1045359 | 1956 8348 25317 | 2147483647 101246 72 | 0.000 % |
712.94/713.29 c | 1051779 | 1956 8348 25317 | 105887 92174 72 | 0.000 % |
718.34/718.61 c | 1058839 | 1956 8348 25317 | 105887 99234 73 | 0.000 % |
724.24/724.54 c | 1066604 | 1956 8348 25317 | 100398 92896 72 | 0.000 % |
730.54/730.86 c | 1075144 | 1956 8348 25317 | 96292 88345 72 | 0.000 % |
737.84/738.12 c | 1084539 | 1956 8348 25317 | 93201 85676 73 | 0.000 % |
737.93/738.21 c | 1084639 | 1956 8348 25317 | 93201 85776 73 | 0.000 % |
737.93/738.29 c | 1084750 | 1956 8348 25317 | 93201 85887 73 | 0.000 % |
738.03/738.38 c | 1084872 | 1956 8348 25317 | 93201 86009 73 | 0.000 % |
738.13/738.48 c | 1085008 | 1956 8348 25317 | 93201 86145 73 | 0.000 % |
738.33/738.61 c | 1085154 | 1956 8348 25317 | 93201 86291 72 | 0.000 % |
738.43/738.73 c | 1085315 | 1956 8348 25317 | 93201 86452 72 | 0.000 % |
738.53/738.87 c | 1085492 | 1956 8348 25317 | 93201 86629 72 | 0.000 % |
738.73/739.03 c | 1085688 | 1956 8348 25317 | 93201 86825 72 | 0.000 % |
738.84/739.17 c | 1085900 | 1956 8348 25317 | 93201 87037 72 | 0.000 % |
739.03/739.35 c | 1086133 | 1956 8348 25317 | 93201 87270 72 | 0.000 % |
739.23/739.55 c | 1086393 | 1956 8348 25317 | 93201 87530 72 | 0.000 % |
739.43/739.76 c | 1086674 | 1956 8348 25317 | 93201 87811 72 | 0.000 % |
739.63/739.95 c | 1086983 | 1956 8348 25317 | 93201 88120 72 | 0.000 % |
739.83/740.19 c | 1087322 | 1956 8348 25317 | 93201 88459 72 | 0.000 % |
740.13/740.46 c | 1087694 | 1956 8348 25317 | 93201 88831 72 | 0.000 % |
740.43/740.74 c | 1088103 | 1956 8348 25317 | 93201 89240 72 | 0.000 % |
740.73/741.03 c | 1088553 | 1956 8348 25317 | 93201 89690 72 | 0.000 % |
741.04/741.38 c | 1089046 | 1956 8348 25317 | 93201 90183 72 | 0.000 % |
741.53/741.82 c | 1089589 | 1956 8348 25317 | 93201 90726 72 | 0.000 % |
741.93/742.24 c | 1090185 | 1956 8348 25317 | 91138 91322 72 | 0.000 % |
742.43/742.72 c | 1090841 | 1956 8348 25317 | 91138 80258 72 | 0.000 % |
742.83/743.13 c | 1091564 | 1956 8348 25317 | 91138 80981 72 | 0.000 % |
743.33/743.67 c | 1092356 | 1956 8348 25317 | 91138 81773 72 | 0.000 % |
743.93/744.24 c | 1093227 | 1956 8348 25317 | 91138 82644 72 | 0.000 % |
744.53/744.81 c | 1094185 | 1956 8348 25317 | 91138 83602 72 | 0.000 % |
745.13/745.46 c | 1095238 | 1956 8348 25317 | 91138 84655 72 | 0.000 % |
745.93/746.23 c | 1096397 | 1956 8348 25317 | 91138 85814 72 | 0.000 % |
746.73/747.02 c | 1097671 | 1956 8348 25317 | 91138 87088 72 | 0.000 % |
747.53/747.89 c | 1099071 | 1956 8348 25317 | 91138 88488 72 | 0.000 % |
748.63/748.94 c | 1100611 | 1956 8348 25317 | 2147483647 90028 72 | 0.000 % |
749.73/750.06 c | 1102305 | 1956 8348 25317 | 2147483647 91722 72 | 0.000 % |
751.03/751.39 c | 1104169 | 1956 8348 25317 | 2147483647 93586 71 | 0.000 % |
752.43/752.72 c | 1106218 | 1956 8348 25317 | 2147483647 95635 72 | 0.000 % |
754.03/754.39 c | 1108471 | 1956 8348 25317 | 2147483647 97888 71 | 0.000 % |
755.83/756.11 c | 1110949 | 1956 8348 25317 | 2147483647 100366 72 | 0.000 % |
757.92/758.21 c | 1113676 | 1956 8348 25317 | 2147483647 103093 71 | 0.000 % |
760.02/760.33 c | 1116673 | 1956 8348 25317 | 2147483647 106090 71 | 0.000 % |
762.72/763.01 c | 1119972 | 1956 8348 25317 | 2147483647 109389 71 | 0.000 % |
765.32/765.67 c | 1123597 | 1956 8348 25317 | 109417 98037 72 | 0.000 % |
768.12/768.47 c | 1127585 | 1956 8348 25317 | 109417 102025 71 | 0.000 % |
771.32/771.62 c | 1131970 | 1956 8348 25317 | 104440 92785 71 | 0.000 % |
774.62/774.91 c | 1136793 | 1956 8348 25317 | 104440 97608 71 | 0.000 % |
778.31/778.68 c | 1142098 | 1956 8348 25317 | 100817 89997 70 | 0.000 % |
782.41/782.73 c | 1147935 | 1956 8348 25317 | 100817 95834 70 | 0.000 % |
786.91/787.21 c | 1154353 | 1956 8348 25317 | 97899 90030 70 | 0.000 % |
792.01/792.32 c | 1161413 | 1956 8348 25317 | 95678 85792 70 | 0.000 % |
797.21/797.52 c | 1169178 | 1956 8348 25317 | 95678 93557 70 | 0.000 % |
802.81/803.15 c | 1177720 | 1956 8348 25317 | 94379 91733 71 | 0.000 % |
809.81/810.13 c | 1187114 | 1956 8348 25317 | 2147483647 101127 71 | 0.000 % |
818.20/818.56 c | 1197449 | 1956 8348 25317 | 104013 96980 71 | 0.000 % |
818.30/818.65 c | 1197550 | 1956 8348 25317 | 104013 97081 71 | 0.000 % |
818.40/818.76 c | 1197660 | 1956 8348 25317 | 104013 97191 71 | 0.000 % |
818.50/818.86 c | 1197783 | 1956 8348 25317 | 104013 97314 71 | 0.000 % |
818.60/818.98 c | 1197917 | 1956 8348 25317 | 104013 97448 71 | 0.000 % |
818.80/819.12 c | 1198064 | 1956 8348 25317 | 104013 97595 71 | 0.000 % |
818.90/819.28 c | 1198226 | 1956 8348 25317 | 104013 97757 71 | 0.000 % |
819.11/819.43 c | 1198402 | 1956 8348 25317 | 104013 97933 71 | 0.000 % |
819.21/819.59 c | 1198595 | 1956 8348 25317 | 104013 98126 71 | 0.000 % |
819.50/819.81 c | 1198807 | 1956 8348 25317 | 104013 98338 71 | 0.000 % |
819.70/820.00 c | 1199040 | 1956 8348 25317 | 104013 98571 71 | 0.000 % |
819.90/820.24 c | 1199299 | 1956 8348 25317 | 104013 98830 71 | 0.000 % |
820.10/820.48 c | 1199580 | 1956 8348 25317 | 104013 99111 71 | 0.000 % |
820.40/820.76 c | 1199890 | 1956 8348 25317 | 104013 99421 71 | 0.000 % |
820.80/821.13 c | 1200231 | 1956 8348 25317 | 99534 84360 71 | 0.000 % |
821.10/821.41 c | 1200603 | 1956 8348 25317 | 99534 84732 71 | 0.000 % |
821.41/821.73 c | 1201013 | 1956 8348 25317 | 99534 85142 71 | 0.000 % |
821.70/822.06 c | 1201463 | 1956 8348 25317 | 99534 85592 71 | 0.000 % |
822.00/822.38 c | 1201957 | 1956 8348 25317 | 99534 86086 71 | 0.000 % |
822.41/822.74 c | 1202500 | 1956 8348 25317 | 99534 86629 71 | 0.000 % |
822.80/823.15 c | 1203096 | 1956 8348 25317 | 99534 87225 71 | 0.000 % |
823.30/823.62 c | 1203753 | 1956 8348 25317 | 99534 87882 71 | 0.000 % |
823.70/824.08 c | 1204473 | 1956 8348 25317 | 99534 88602 71 | 0.000 % |
824.30/824.62 c | 1205269 | 1956 8348 25317 | 99534 89398 71 | 0.000 % |
824.80/825.13 c | 1206143 | 1956 8348 25317 | 99534 90272 71 | 0.000 % |
825.50/825.85 c | 1207101 | 1956 8348 25317 | 99534 91230 71 | 0.000 % |
826.20/826.59 c | 1208154 | 1956 8348 25317 | 99534 92283 71 | 0.000 % |
827.00/827.39 c | 1209313 | 1956 8348 25317 | 99534 93442 71 | 0.000 % |
827.90/828.29 c | 1210586 | 1956 8348 25317 | 94130 84208 71 | 0.000 % |
828.80/829.14 c | 1211988 | 1956 8348 25317 | 94130 85610 71 | 0.000 % |
829.80/830.19 c | 1213528 | 1956 8348 25317 | 94130 87150 71 | 0.000 % |
830.90/831.24 c | 1215223 | 1956 8348 25317 | 94130 88845 71 | 0.000 % |
832.00/832.39 c | 1217086 | 1956 8348 25317 | 94130 90708 71 | 0.000 % |
833.40/833.72 c | 1219135 | 1956 8348 25317 | 94130 92757 71 | 0.000 % |
834.90/835.22 c | 1221389 | 1956 8348 25317 | 2147483647 95011 71 | 0.000 % |
836.70/837.02 c | 1223867 | 1956 8348 25317 | 2147483647 97489 71 | 0.000 % |
838.49/838.88 c | 1226592 | 1956 8348 25317 | 2147483647 100214 71 | 0.000 % |
840.79/841.12 c | 1229589 | 1956 8348 25317 | 2147483647 103211 71 | 0.000 % |
843.30/843.63 c | 1232888 | 1956 8348 25317 | 103622 93493 70 | 0.000 % |
845.89/846.29 c | 1236514 | 1956 8348 25317 | 103622 97119 71 | 0.000 % |
849.19/849.55 c | 1240502 | 1956 8348 25317 | 100605 86307 70 | 0.000 % |
852.09/852.46 c | 1244887 | 1956 8348 25317 | 100605 90692 70 | 0.000 % |
855.39/855.75 c | 1249710 | 1956 8348 25317 | 100605 95515 70 | 0.000 % |
858.99/859.36 c | 1255016 | 1956 8348 25317 | 95805 89479 71 | 0.000 % |
862.99/863.34 c | 1260853 | 1956 8348 25317 | 2147483647 95316 71 | 0.000 % |
867.88/868.29 c | 1267272 | 1956 8348 25317 | 2147483647 101735 71 | 0.000 % |
873.28/873.67 c | 1274331 | 1956 8348 25317 | 104463 93509 71 | 0.000 % |
878.88/879.27 c | 1282095 | 1956 8348 25317 | 99179 87769 71 | 0.000 % |
884.68/885.00 c | 1290635 | 1956 8348 25317 | 95676 84604 71 | 0.000 % |
890.78/891.12 c | 1300029 | 1956 8348 25317 | 93969 93998 72 | 0.000 % |
897.67/898.01 c | 1310362 | 1956 8348 25317 | 93575 83196 72 | 0.000 % |
905.37/905.73 c | 1321728 | 1956 8348 25317 | 92835 84108 73 | 0.000 % |
905.47/905.81 c | 1321828 | 1956 8348 25317 | 92835 84208 73 | 0.000 % |
905.57/905.90 c | 1321939 | 1956 8348 25317 | 92835 84319 73 | 0.000 % |
905.57/905.98 c | 1322060 | 1956 8348 25317 | 92835 84440 73 | 0.000 % |
905.67/906.09 c | 1322196 | 1956 8348 25317 | 92835 84576 73 | 0.000 % |
905.77/906.19 c | 1322342 | 1956 8348 25317 | 92835 84722 73 | 0.000 % |
905.87/906.30 c | 1322503 | 1956 8348 25317 | 92835 84883 73 | 0.000 % |
906.07/906.46 c | 1322680 | 1956 8348 25317 | 92835 85060 73 | 0.000 % |
906.27/906.61 c | 1322873 | 1956 8348 25317 | 92835 85253 73 | 0.000 % |
906.37/906.76 c | 1323085 | 1956 8348 25317 | 92835 85465 73 | 0.000 % |
906.57/906.96 c | 1323318 | 1956 8348 25317 | 92835 85698 73 | 0.000 % |
906.77/907.17 c | 1323575 | 1956 8348 25317 | 92835 85955 73 | 0.000 % |
906.97/907.39 c | 1323856 | 1956 8348 25317 | 92835 86236 73 | 0.000 % |
907.27/907.61 c | 1324167 | 1956 8348 25317 | 92835 86547 73 | 0.000 % |
907.47/907.85 c | 1324507 | 1956 8348 25317 | 92835 86887 73 | 0.000 % |
907.77/908.13 c | 1324879 | 1956 8348 25317 | 92835 87259 73 | 0.000 % |
908.07/908.41 c | 1325289 | 1956 8348 25317 | 92835 87669 73 | 0.000 % |
908.37/908.72 c | 1325738 | 1956 8348 25317 | 92835 88118 73 | 0.000 % |
908.67/909.07 c | 1326231 | 1956 8348 25317 | 92835 88611 73 | 0.000 % |
909.07/909.44 c | 1326774 | 1956 8348 25317 | 92835 89154 73 | 0.000 % |
909.47/909.86 c | 1327370 | 1956 8348 25317 | 92835 89750 73 | 0.000 % |
909.97/910.31 c | 1328027 | 1956 8348 25317 | 92835 90407 73 | 0.000 % |
910.47/910.87 c | 1328747 | 1956 8348 25317 | 92835 91127 73 | 0.000 % |
910.97/911.37 c | 1329540 | 1956 8348 25317 | 92835 91920 73 | 0.000 % |
911.67/912.07 c | 1330411 | 1956 8348 25317 | 92380 82071 72 | 0.000 % |
912.27/912.67 c | 1331370 | 1956 8348 25317 | 92380 83030 72 | 0.000 % |
912.97/913.32 c | 1332423 | 1956 8348 25317 | 92380 84083 72 | 0.000 % |
913.67/914.09 c | 1333582 | 1956 8348 25317 | 92380 85242 72 | 0.000 % |
914.56/914.98 c | 1334857 | 1956 8348 25317 | 92380 86517 72 | 0.000 % |
915.56/915.91 c | 1336261 | 1956 8348 25317 | 92380 87921 72 | 0.000 % |
916.56/916.90 c | 1337801 | 1956 8348 25317 | 92380 89461 72 | 0.000 % |
917.56/917.99 c | 1339495 | 1956 8348 25317 | 92380 91155 72 | 0.000 % |
918.86/919.20 c | 1341358 | 1956 8348 25317 | 2147483647 93018 72 | 0.000 % |
920.27/920.64 c | 1343407 | 1956 8348 25317 | 2147483647 95067 72 | 0.000 % |
921.76/922.16 c | 1345663 | 1956 8348 25317 | 2147483647 97323 72 | 0.000 % |
923.57/923.97 c | 1348141 | 1956 8348 25317 | 2147483647 99801 72 | 0.000 % |
925.66/926.00 c | 1350866 | 1956 8348 25317 | 2147483647 102526 72 | 0.000 % |
927.96/928.35 c | 1353863 | 1956 8348 25317 | 2147483647 105523 72 | 0.000 % |
930.57/930.93 c | 1357159 | 1956 8348 25317 | 2147483647 108819 72 | 0.000 % |
933.47/933.86 c | 1360785 | 1956 8348 25317 | 111660 95516 72 | 0.000 % |
936.36/936.79 c | 1364776 | 1956 8348 25317 | 111660 99507 72 | 0.000 % |
939.96/940.32 c | 1369163 | 1956 8348 25317 | 111660 103894 72 | 0.000 % |
943.36/943.74 c | 1373987 | 1956 8348 25317 | 104732 93688 72 | 0.000 % |
947.16/947.52 c | 1379292 | 1956 8348 25317 | 104732 98993 72 | 0.000 % |
950.96/951.31 c | 1385127 | 1956 8348 25317 | 99702 92290 71 | 0.000 % |
955.46/955.82 c | 1391545 | 1956 8348 25317 | 97163 87801 71 | 0.000 % |
960.36/960.79 c | 1398604 | 1956 8348 25317 | 97163 94860 71 | 0.000 % |
965.55/965.97 c | 1406369 | 1956 8348 25317 | 96256 90822 71 | 0.000 % |
971.55/971.91 c | 1414916 | 1956 8348 25317 | 94453 89467 71 | 0.000 % |
977.85/978.29 c | 1424311 | 1956 8348 25317 | 2147483647 98862 72 | 0.000 % |
985.65/986.06 c | 1434644 | 1956 8348 25317 | 104552 95603 72 | 0.000 % |
993.85/994.27 c | 1446010 | 1956 8348 25317 | 100960 93704 72 | 0.000 % |
1001.75/1002.15 c | 1458512 | 1956 8348 25317 | 97694 94235 72 | 0.000 % |
1001.84/1002.26 c | 1458612 | 1956 8348 25317 | 97694 94335 72 | 0.000 % |
1001.94/1002.37 c | 1458722 | 1956 8348 25317 | 97694 94445 72 | 0.000 % |
1002.04/1002.46 c | 1458843 | 1956 8348 25317 | 97694 94566 72 | 0.000 % |
1002.14/1002.55 c | 1458976 | 1956 8348 25317 | 97694 94699 72 | 0.000 % |
1002.24/1002.69 c | 1459122 | 1956 8348 25317 | 97694 94845 72 | 0.000 % |
1002.44/1002.82 c | 1459282 | 1956 8348 25317 | 97694 95005 72 | 0.000 % |
1002.54/1002.98 c | 1459458 | 1956 8348 25317 | 97694 95181 72 | 0.000 % |
1002.75/1003.13 c | 1459651 | 1956 8348 25317 | 97694 95374 72 | 0.000 % |
1002.94/1003.30 c | 1459863 | 1956 8348 25317 | 97694 95586 72 | 0.000 % |
1003.04/1003.49 c | 1460096 | 1956 8348 25317 | 95723 95819 72 | 0.000 % |
1003.34/1003.74 c | 1460353 | 1956 8348 25317 | 95723 84447 72 | 0.000 % |
1003.54/1003.93 c | 1460636 | 1956 8348 25317 | 95723 84730 72 | 0.000 % |
1003.74/1004.14 c | 1460947 | 1956 8348 25317 | 95723 85041 72 | 0.000 % |
1003.94/1004.36 c | 1461288 | 1956 8348 25317 | 95723 85382 72 | 0.000 % |
1004.24/1004.62 c | 1461660 | 1956 8348 25317 | 95723 85754 72 | 0.000 % |
1004.54/1004.90 c | 1462070 | 1956 8348 25317 | 95723 86164 72 | 0.000 % |
1004.84/1005.22 c | 1462520 | 1956 8348 25317 | 95723 86614 72 | 0.000 % |
1005.14/1005.58 c | 1463015 | 1956 8348 25317 | 95723 87109 72 | 0.000 % |
1005.54/1005.94 c | 1463557 | 1956 8348 25317 | 95723 87651 72 | 0.000 % |
1005.94/1006.38 c | 1464153 | 1956 8348 25317 | 95723 88247 72 | 0.000 % |
1006.44/1006.81 c | 1464809 | 1956 8348 25317 | 95723 88903 72 | 0.000 % |
1006.84/1007.22 c | 1465529 | 1956 8348 25317 | 95723 89623 72 | 0.000 % |
1007.34/1007.78 c | 1466321 | 1956 8348 25317 | 95723 90415 72 | 0.000 % |
1008.04/1008.40 c | 1467193 | 1956 8348 25317 | 95723 91287 72 | 0.000 % |
1008.64/1009.08 c | 1468152 | 1956 8348 25317 | 95723 92246 72 | 0.000 % |
1009.44/1009.88 c | 1469208 | 1956 8348 25317 | 95723 93302 72 | 0.000 % |
1010.34/1010.76 c | 1470369 | 1956 8348 25317 | 94095 84062 72 | 0.000 % |
1011.23/1011.63 c | 1471642 | 1956 8348 25317 | 94095 85335 72 | 0.000 % |
1012.14/1012.51 c | 1473042 | 1956 8348 25317 | 94095 86735 72 | 0.000 % |
1013.13/1013.58 c | 1474582 | 1956 8348 25317 | 94095 88275 72 | 0.000 % |
1014.23/1014.68 c | 1476276 | 1956 8348 25317 | 94095 89969 71 | 0.000 % |
1015.53/1015.91 c | 1478139 | 1956 8348 25317 | 94095 91832 71 | 0.000 % |
1016.83/1017.26 c | 1480188 | 1956 8348 25317 | 2147483647 93881 71 | 0.000 % |
1018.53/1018.92 c | 1482441 | 1956 8348 25317 | 2147483647 96134 71 | 0.000 % |
1020.43/1020.81 c | 1484920 | 1956 8348 25317 | 2147483647 98613 72 | 0.000 % |
1022.53/1022.96 c | 1487645 | 1956 8348 25317 | 2147483647 101338 72 | 0.000 % |
1024.83/1025.25 c | 1490642 | 1956 8348 25317 | 103693 92316 72 | 0.000 % |
1026.93/1027.37 c | 1493939 | 1956 8348 25317 | 103693 95613 72 | 0.000 % |
1029.43/1029.83 c | 1497566 | 1956 8348 25317 | 103693 99240 72 | 0.000 % |
1032.23/1032.69 c | 1501553 | 1956 8348 25317 | 101675 91657 71 | 0.000 % |
1035.43/1035.84 c | 1505939 | 1956 8348 25317 | 101675 96043 71 | 0.000 % |
1038.93/1039.31 c | 1510762 | 1956 8348 25317 | 100104 88190 71 | 0.000 % |
1042.43/1042.83 c | 1516067 | 1956 8348 25317 | 100104 93495 71 | 0.000 % |
1046.73/1047.13 c | 1521902 | 1956 8348 25317 | 97428 87824 71 | 0.000 % |
1051.13/1051.52 c | 1528321 | 1956 8348 25317 | 97428 94243 71 | 0.000 % |
1056.12/1056.58 c | 1535381 | 1956 8348 25317 | 95922 91217 72 | 0.000 % |
1061.62/1062.05 c | 1543146 | 1956 8348 25317 | 95836 88748 71 | 0.000 % |
1067.92/1068.37 c | 1551686 | 1956 8348 25317 | 95603 85010 71 | 0.000 % |
1074.82/1075.22 c | 1561080 | 1956 8348 25317 | 93324 81421 71 | 0.000 % |
1081.42/1081.83 c | 1571414 | 1956 8348 25317 | 90344 80016 71 | 0.000 % |
1088.91/1089.37 c | 1582780 | 1956 8348 25317 | 88602 81447 71 | 0.000 % |
1098.31/1098.74 c | 1595282 | 1956 8348 25317 | 88667 83210 71 | 0.000 % |
1107.81/1108.29 c | 1609034 | 1956 8348 25317 | 87929 86038 71 | 0.000 % |
1107.91/1108.38 c | 1609134 | 1956 8348 25317 | 87929 86138 71 | 0.000 % |
1108.01/1108.46 c | 1609246 | 1956 8348 25317 | 87929 86250 71 | 0.000 % |
1108.11/1108.56 c | 1609369 | 1956 8348 25317 | 87929 86373 71 | 0.000 % |
1108.21/1108.66 c | 1609504 | 1956 8348 25317 | 87929 86508 71 | 0.000 % |
1108.31/1108.78 c | 1609650 | 1956 8348 25317 | 87929 86654 71 | 0.000 % |
1108.41/1108.87 c | 1609811 | 1956 8348 25317 | 87929 86815 71 | 0.000 % |
1108.61/1109.02 c | 1609989 | 1956 8348 25317 | 87929 86993 71 | 0.000 % |
1108.71/1109.16 c | 1610182 | 1956 8348 25317 | 87004 87186 71 | 0.000 % |
1108.91/1109.36 c | 1610394 | 1956 8348 25317 | 87004 76361 70 | 0.000 % |
1109.11/1109.50 c | 1610628 | 1956 8348 25317 | 87004 76595 70 | 0.000 % |
1109.21/1109.67 c | 1610885 | 1956 8348 25317 | 87004 76852 70 | 0.000 % |
1109.41/1109.84 c | 1611166 | 1956 8348 25317 | 87004 77133 70 | 0.000 % |
1109.61/1110.02 c | 1611477 | 1956 8348 25317 | 87004 77444 70 | 0.000 % |
1109.81/1110.26 c | 1611817 | 1956 8348 25317 | 87004 77784 70 | 0.000 % |
1110.01/1110.47 c | 1612189 | 1956 8348 25317 | 87004 78156 70 | 0.000 % |
1110.31/1110.73 c | 1612598 | 1956 8348 25317 | 87004 78565 70 | 0.000 % |
1110.61/1111.05 c | 1613047 | 1956 8348 25317 | 87004 79014 70 | 0.000 % |
1110.91/1111.38 c | 1613540 | 1956 8348 25317 | 87004 79507 70 | 0.000 % |
1111.21/1111.69 c | 1614082 | 1956 8348 25317 | 87004 80049 70 | 0.000 % |
1111.61/1112.06 c | 1614678 | 1956 8348 25317 | 87004 80645 70 | 0.000 % |
1112.10/1112.52 c | 1615334 | 1956 8348 25317 | 87004 81301 70 | 0.000 % |
1112.50/1112.99 c | 1616055 | 1956 8348 25317 | 87004 82022 70 | 0.000 % |
1113.10/1113.57 c | 1616848 | 1956 8348 25317 | 87004 82815 70 | 0.000 % |
1113.81/1114.20 c | 1617719 | 1956 8348 25317 | 87004 83686 70 | 0.000 % |
1114.30/1114.78 c | 1618677 | 1956 8348 25317 | 87004 84644 70 | 0.000 % |
1115.01/1115.41 c | 1619730 | 1956 8348 25317 | 87004 85697 70 | 0.000 % |
1115.70/1116.13 c | 1620889 | 1956 8348 25317 | 2147483647 86856 70 | 0.000 % |
1116.50/1116.99 c | 1622162 | 1956 8348 25317 | 2147483647 88129 70 | 0.000 % |
1117.50/1117.96 c | 1623562 | 1956 8348 25317 | 2147483647 89529 70 | 0.000 % |
1118.60/1119.04 c | 1625102 | 1956 8348 25317 | 2147483647 91069 70 | 0.000 % |
1119.70/1120.17 c | 1626796 | 1956 8348 25317 | 2147483647 92763 70 | 0.000 % |
1121.00/1121.44 c | 1628659 | 1956 8348 25317 | 2147483647 94626 70 | 0.000 % |
1122.50/1122.95 c | 1630710 | 1956 8348 25317 | 2147483647 96677 71 | 0.000 % |
1124.30/1124.78 c | 1632964 | 1956 8348 25317 | 2147483647 98931 70 | 0.000 % |
1126.10/1126.50 c | 1635444 | 1956 8348 25317 | 2147483647 101411 70 | 0.000 % |
1128.00/1128.44 c | 1638169 | 1956 8348 25317 | 2147483647 104136 71 | 0.000 % |
1130.10/1130.59 c | 1641168 | 1956 8348 25317 | 105967 92871 71 | 0.000 % |
1132.30/1132.75 c | 1644465 | 1956 8348 25317 | 105967 96168 71 | 0.000 % |
1134.90/1135.37 c | 1648091 | 1956 8348 25317 | 105967 99794 71 | 0.000 % |
1137.80/1138.21 c | 1652079 | 1956 8348 25317 | 101703 91278 71 | 0.000 % |
1140.60/1141.06 c | 1656466 | 1956 8348 25317 | 101703 95665 71 | 0.000 % |
1144.00/1144.46 c | 1661290 | 1956 8348 25317 | 99199 90175 71 | 0.000 % |
1147.90/1148.39 c | 1666596 | 1956 8348 25317 | 99199 95481 71 | 0.000 % |
1152.09/1152.55 c | 1672433 | 1956 8348 25317 | 98885 89389 71 | 0.000 % |
1156.49/1156.99 c | 1678851 | 1956 8348 25317 | 98885 95807 71 | 0.000 % |
1161.89/1162.30 c | 1685912 | 1956 8348 25317 | 96956 90743 70 | 0.000 % |
1167.39/1167.87 c | 1693676 | 1956 8348 25317 | 94833 88019 70 | 0.000 % |
1173.99/1174.42 c | 1702216 | 1956 8348 25317 | 94344 84793 71 | 0.000 % |
1180.89/1181.30 c | 1711611 | 1956 8348 25317 | 92578 83505 73 | 0.000 % |
1187.99/1188.46 c | 1721944 | 1956 8348 25317 | 91894 84434 73 | 0.000 % |
1195.78/1196.22 c | 1733310 | 1956 8348 25317 | 2147483647 86580 73 | 0.000 % |
1200.09/1200.51 HOME/SatELiteGTI: line 36: 19564 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832641-1242785777/watcher-1832641-1242785777 -o /tmp/evaluation-result-1832641-1242785777/solver-1832641-1242785777 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832641-1242785777.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19558
/proc/meminfo: memFree=1795160/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 306607717 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 234046062674 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19558/statm: 1339 235 195 169 0 50 0
[pid=19559] ppid=19558 vsize=5356 CPUtime=0
/proc/19559/stat : 19559 (SatELiteGTI) S 19558 19558 18960 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 306607717 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/19559/statm: 1339 238 198 169 0 50 0
[pid=19561] ppid=19559 vsize=5356 CPUtime=0
/proc/19561/stat : 19561 (SatELiteGTI) R 19559 19558 18960 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045893927 0 0 4096 0 0 0 0 17 0 0 0
/proc/19561/statm: 0 0 0 0 0 0 0
[startup+0.0621809 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19558
/proc/meminfo: memFree=1795160/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.101184 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19558
/proc/meminfo: memFree=1795160/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.301206 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19558
/proc/meminfo: memFree=1795160/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+0.701246 s]
/proc/loadavg: 0.92 0.98 0.99 3/65 19558
/proc/meminfo: memFree=1795160/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 5356
[startup+1.50133 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1792904/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=4832 CPUtime=1.46
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 884 0 0 0 145 1 0 0 25 0 1 0 306607721 4947968 870 1992294400 134512640 135215339 4294956240 18446744073709551615 134528821 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 1208 870 77 171 0 1035 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 10188
[startup+3.1025 s]
/proc/loadavg: 0.92 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1789960/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=8000 CPUtime=3.05
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 1651 0 0 0 304 1 0 0 25 0 1 0 306607721 8192000 1637 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 2000 1637 77 171 0 1827 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 13356
[startup+6.30183 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1785104/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=11992 CPUtime=6.25
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 2652 0 0 0 623 2 0 0 25 0 1 0 306607721 12279808 2638 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 2998 2638 77 171 0 2825 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 17348
[startup+12.7015 s]
/proc/loadavg: 0.93 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1779152/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=17352 CPUtime=12.65
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 4004 0 0 0 1260 5 0 0 25 0 1 0 306607721 17768448 3990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 4338 3990 77 171 0 4165 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 22708
[startup+25.5018 s]
/proc/loadavg: 0.95 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1771224/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=24996 CPUtime=25.44
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 5908 0 0 0 2537 7 0 0 25 0 1 0 306607721 25595904 5894 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 6249 5894 77 171 0 6076 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 30352
[startup+51.1015 s]
/proc/loadavg: 0.96 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1763288/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=32832 CPUtime=51.04
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 7854 0 0 0 5094 10 0 0 25 0 1 0 306607721 33619968 7840 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 8208 7840 77 171 0 8035 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 38188
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1761496/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=34416 CPUtime=102.23
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 8252 0 0 0 10213 10 0 0 25 0 1 0 306607721 35241984 8238 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 8604 8238 77 171 0 8431 0
Current children cumulated CPU time (s) 102.26
Current children cumulated vsize (KiB) 39772
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1760728/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=35076 CPUtime=162.2
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 8409 0 0 0 16210 10 0 0 25 0 1 0 306607721 35917824 8395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 8769 8395 77 171 0 8596 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 40432
[startup+222.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1759512/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=36132 CPUtime=222.19
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 8688 0 0 0 22208 11 0 0 25 0 1 0 306607721 36999168 8674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9033 8674 77 171 0 8860 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 41488
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1758488/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=37188 CPUtime=282.16
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 8941 0 0 0 28204 12 0 0 25 0 1 0 306607721 38080512 8927 1992294400 134512640 135215339 4294956240 18446744073709551615 134529099 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9297 8927 77 171 0 9124 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 42544
[startup+342.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1758040/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=37456 CPUtime=342.14
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 9018 0 0 0 34202 12 0 0 25 0 1 0 306607721 38354944 9004 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9364 9004 77 171 0 9191 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 42812
[startup+402.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1757400/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=37984 CPUtime=402.11
################
# More data... #
################
[pid=19564] ppid=19558 vsize=38644 CPUtime=522.08
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 9301 0 0 0 52195 13 0 0 25 0 1 0 306607721 39571456 9287 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9661 9287 77 171 0 9488 0
Current children cumulated CPU time (s) 522.11
Current children cumulated vsize (KiB) 44000
[startup+582.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1755544/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=39568 CPUtime=582.05
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 9549 0 0 0 58192 13 0 0 25 0 1 0 306607721 40517632 9535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9892 9535 77 171 0 9719 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 44924
[startup+642.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1755416/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=39568 CPUtime=642.04
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 9549 0 0 0 64191 13 0 0 25 0 1 0 306607721 40517632 9535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9892 9535 77 171 0 9719 0
Current children cumulated CPU time (s) 642.07
Current children cumulated vsize (KiB) 44924
[startup+702.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1755224/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=39568 CPUtime=702.01
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 9549 0 0 0 70188 13 0 0 25 0 1 0 306607721 40517632 9535 1992294400 134512640 135215339 4294956240 18446744073709551615 134528779 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 9892 9535 77 171 0 9719 0
Current children cumulated CPU time (s) 702.04
Current children cumulated vsize (KiB) 44924
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1753688/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=41152 CPUtime=762
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 9931 0 0 0 76186 14 0 0 25 0 1 0 306607721 42139648 9917 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10288 9917 77 171 0 10115 0
Current children cumulated CPU time (s) 762.03
Current children cumulated vsize (KiB) 46508
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1753176/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=41548 CPUtime=821.97
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10023 0 0 0 82183 14 0 0 25 0 1 0 306607721 42545152 10009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10387 10009 77 171 0 10214 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 46904
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1753048/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=41508 CPUtime=881.95
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10023 0 0 0 88181 14 0 0 25 0 1 0 306607721 42504192 10009 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10377 10009 77 171 0 10204 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 46864
[startup+942.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1751320/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=941.93
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 94178 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 941.96
Current children cumulated vsize (KiB) 48564
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1751192/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=1001.91
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 100176 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 48564
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1751064/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=1061.89
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 106174 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 48564
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1750936/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=1121.87
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 112172 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 1121.9
Current children cumulated vsize (KiB) 48564
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1750808/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=1181.86
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 118171 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 1181.89
Current children cumulated vsize (KiB) 48564
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1750808/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=1200.06
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 119991 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 48564
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 0.99 0.98 0.99 2/67 19564
/proc/meminfo: memFree=1750808/2055920 swapFree=4178336/4192956
[pid=19558] ppid=19556 vsize=5356 CPUtime=0.03
/proc/19558/stat : 19558 (SatELiteGTI) S 19556 19558 18960 0 -1 4194304 336 616 0 0 0 0 3 0 18 0 1 0 306607717 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/19558/statm: 1339 239 197 169 0 50 0
[pid=19564] ppid=19558 vsize=43208 CPUtime=1200.06
/proc/19564/stat : 19564 (minisat_static) R 19558 19558 18960 0 -1 4194304 10438 0 0 0 119991 15 0 0 25 0 1 0 306607721 44244992 10424 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19564/statm: 10802 10424 77 171 0 10629 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 48564
Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.51
CPU time (s): 1200.11
CPU user time (s): 1199.94
CPU system time (s): 0.172973
CPU usage (%): 99.9668
Max. virtual memory (cumulated for all children) (KiB): 48564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.94
system time used= 0.172973
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 11397
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= 16
involuntary context switches= 4905
runsolver used 1.07883 second user time and 3.41048 second system time
The end
Begin job on node79 at 2009-05-20 04:16:17
IDJOB=1832641
IDBENCH=70284
IDSOLVER=671
FILE ID=node79/1832641-1242785777
PBS_JOBID= 9322298
Free space on /tmp= 66336 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/RANDOM/LARGE/3SAT/UNKNOWN/2000/unif-k3-r4.2-v2000-c8400-S7007454-009.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832641-1242785777/watcher-1832641-1242785777 -o /tmp/evaluation-result-1832641-1242785777/solver-1832641-1242785777 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832641-1242785777.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 648c8d820b622b84f63b74fa018c43ab
RANDOM SEED=1432364833
node79.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.220
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.220
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: 1795640 kB
Buffers: 25224 kB
Cached: 185544 kB
SwapCached: 9348 kB
Active: 81932 kB
Inactive: 140224 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1795640 kB
SwapTotal: 4192956 kB
SwapFree: 4178336 kB
Dirty: 1716 kB
Writeback: 0 kB
Mapped: 15564 kB
Slab: 24068 kB
Committed_AS: 1030056 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66336 MiB
End job on node79 at 2009-05-20 04:36:20