0.00/0.01 c Parsing...
0.01/0.12 c ==============================================================================
0.01/0.12 c | | ORIGINAL | LEARNT | |
0.01/0.12 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.01/0.12 c ==============================================================================
0.01/0.12 c | 0 | 177375 464310 | 53212 0 0 nan | 0.000 % |
0.01/0.12 c ==============================================================================
0.01/0.12 c Result : #vars: 1089 #clauses: 177375 #literals: 464310
0.01/0.12 c CPU time: 0.11 s
0.01/0.12 c ==============================================================================
0.01/0.27 c This is MiniSat 2.0 beta
0.01/0.27 c WARNING: for repeatability, setting FPU to use double precision
0.01/0.27 c ============================[ Problem Statistics ]=============================
0.01/0.27 c | |
0.01/0.27 c | Number of variables: 1089 |
0.01/0.27 c | Number of clauses: 177375 |
0.28/0.36 c | Parsing time: 0.09 s |
0.28/0.37 c ============================[ Search Statistics ]==============================
0.28/0.37 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.28/0.37 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.28/0.37 c ===============================================================================
0.28/0.37 c | 0 | 1089 177375 464310 | 59125 0 nan | 0.000 % |
0.28/0.42 c | 100 | 1089 177375 464310 | 59125 100 77 | 0.000 % |
0.28/0.44 c | 200 | 1089 177375 464310 | 59125 200 79 | 0.000 % |
0.28/0.47 c | 301 | 1089 177375 464310 | 59125 301 66 | 0.006 % |
0.28/0.49 c | 411 | 1089 177375 464310 | 59125 411 57 | 0.007 % |
0.28/0.51 c | 512 | 1089 177375 464310 | 59125 512 54 | 0.006 % |
0.28/0.53 c | 624 | 1089 177375 464310 | 59125 624 69 | 0.000 % |
0.28/0.55 c | 745 | 1089 177375 464310 | 59125 745 69 | 0.007 % |
0.28/0.58 c | 848 | 1089 177375 464310 | 59125 848 64 | 0.007 % |
0.28/0.60 c | 960 | 1089 177375 464310 | 59125 960 62 | 0.007 % |
0.28/0.63 c | 1082 | 1089 177375 464310 | 59125 1082 59 | 0.007 % |
0.28/0.65 c | 1215 | 1089 177375 464310 | 59125 1215 61 | 0.000 % |
0.28/0.67 c | 1316 | 1089 177375 464310 | 59125 1316 58 | 0.006 % |
0.28/0.69 c | 1426 | 1089 177375 464310 | 59125 1426 56 | 0.007 % |
0.28/0.71 c | 1548 | 1089 177375 464310 | 59125 1548 55 | 0.006 % |
0.28/0.74 c | 1682 | 1089 177375 464310 | 59125 1682 55 | 0.000 % |
0.28/0.76 c | 1829 | 1089 177375 464310 | 59125 1829 53 | 0.007 % |
0.28/0.78 c | 1930 | 1089 177375 464310 | 59125 1930 52 | 0.006 % |
0.28/0.80 c | 2043 | 1089 177375 464310 | 59125 2043 50 | 0.007 % |
0.28/0.83 c | 2165 | 1089 177375 464310 | 59125 2165 52 | 0.000 % |
0.28/0.86 c | 2299 | 1089 177375 464310 | 59125 2299 51 | 0.007 % |
0.28/0.88 c | 2446 | 1089 177375 464310 | 59125 2446 50 | 0.006 % |
0.28/0.91 c | 2606 | 1089 177375 464310 | 59125 2606 50 | 0.000 % |
0.28/0.93 c | 2709 | 1089 177375 464310 | 59125 2709 49 | 0.006 % |
0.28/0.95 c | 2819 | 1089 177375 464310 | 59125 2819 48 | 0.000 % |
0.28/0.97 c | 2940 | 1089 177375 464310 | 59125 2940 47 | 0.006 % |
0.28/1.00 c | 3073 | 1089 177375 464310 | 59125 3073 47 | 0.006 % |
1.02/1.03 c | 3220 | 1089 177375 464310 | 59125 3220 50 | 0.000 % |
1.02/1.06 c | 3382 | 1089 177375 464310 | 59125 3382 49 | 0.006 % |
1.02/1.10 c | 3559 | 1089 177375 464310 | 59125 3559 47 | 0.006 % |
1.12/1.12 c | 3664 | 1089 177375 464310 | 59125 3664 48 | 0.000 % |
1.12/1.14 c | 3774 | 1089 177375 464310 | 59125 3774 48 | 0.006 % |
1.12/1.16 c | 3895 | 1089 177375 464310 | 59125 3895 47 | 0.007 % |
1.12/1.19 c | 4028 | 1089 177375 464310 | 59125 4028 47 | 0.006 % |
1.22/1.22 c | 4179 | 1089 177375 464310 | 59125 4179 49 | 0.000 % |
1.22/1.25 c | 4346 | 1089 177375 464310 | 59125 4346 48 | 0.000 % |
1.22/1.28 c | 4522 | 1089 177375 464310 | 59125 4522 47 | 0.006 % |
1.32/1.31 c | 4715 | 1089 177375 464310 | 59125 4715 50 | 0.000 % |
1.32/1.33 c | 4816 | 1089 177375 464310 | 59125 4816 51 | 0.007 % |
1.32/1.35 c | 4926 | 1089 177375 464310 | 59125 4926 50 | 0.006 % |
1.32/1.37 c | 5047 | 1089 177375 464310 | 59125 5047 50 | 0.006 % |
1.32/1.40 c | 5181 | 1089 177375 464310 | 59125 5181 51 | 0.000 % |
1.42/1.44 c | 5327 | 1089 177375 464310 | 59125 5327 51 | 0.007 % |
1.42/1.47 c | 5487 | 1089 177375 464310 | 59125 5487 50 | 0.007 % |
1.52/1.51 c | 5664 | 1089 177375 464310 | 59125 5664 50 | 0.006 % |
1.52/1.55 c | 5858 | 1089 177375 464310 | 59125 5858 49 | 0.007 % |
1.52/1.59 c | 6070 | 1089 177375 464310 | 59125 6070 49 | 0.006 % |
1.62/1.61 c | 6171 | 1089 177375 464310 | 59125 6171 50 | 0.000 % |
1.62/1.64 c | 6283 | 1089 177375 464310 | 59125 6283 50 | 0.006 % |
1.62/1.66 c | 6404 | 1089 177375 464310 | 59125 6404 49 | 0.006 % |
1.62/1.69 c | 6538 | 1089 177375 464310 | 59125 6538 49 | 0.000 % |
1.72/1.72 c | 6684 | 1089 177375 464310 | 59125 6684 50 | 0.000 % |
1.72/1.76 c | 6847 | 1089 177375 464310 | 59125 6847 50 | 0.007 % |
1.72/1.80 c | 7023 | 1089 177375 464310 | 59125 7023 49 | 0.007 % |
1.82/1.85 c | 7218 | 1089 177375 464310 | 59125 7218 50 | 0.000 % |
1.82/1.89 c | 7432 | 1089 177375 464310 | 59125 7432 50 | 0.007 % |
1.92/1.94 c | 7667 | 1089 177375 464310 | 59125 7667 49 | 0.007 % |
1.92/1.96 c | 7767 | 1089 177375 464310 | 59125 7767 49 | 0.007 % |
1.92/1.99 c | 7877 | 1089 177375 464310 | 59125 7877 49 | 0.007 % |
2.02/2.02 c | 8000 | 1089 177375 464310 | 59125 8000 48 | 0.007 % |
2.02/2.04 c | 8134 | 1089 177375 464310 | 59125 8134 49 | 0.000 % |
2.02/2.07 c | 8283 | 1089 177375 464310 | 59125 8283 50 | 0.007 % |
2.02/2.09 c | 8443 | 1089 177375 464310 | 59125 8443 50 | 0.006 % |
2.12/2.14 c | 8619 | 1089 177375 464310 | 59125 8619 49 | 0.006 % |
2.12/2.18 c | 8812 | 1089 177375 464310 | 59125 8812 49 | 0.007 % |
2.22/2.23 c | 9024 | 1089 177375 464310 | 59125 9024 49 | 0.006 % |
2.22/2.28 c | 9259 | 1089 177375 464310 | 59125 9259 49 | 0.000 % |
2.32/2.35 c | 9517 | 1089 177375 464310 | 59125 9517 49 | 0.007 % |
2.32/2.37 c | 9620 | 1089 177375 464310 | 59125 9620 50 | 0.000 % |
2.32/2.39 c | 9730 | 1089 177375 464310 | 59125 9730 49 | 0.007 % |
2.42/2.42 c | 9851 | 1089 177375 464310 | 59125 9851 49 | 0.006 % |
2.42/2.45 c | 9986 | 1089 177375 464310 | 59125 9986 49 | 0.007 % |
2.42/2.48 c | 10135 | 1089 177375 464310 | 2147483647 10135 49 | 0.006 % |
2.52/2.52 c | 10295 | 1089 177375 464310 | 2147483647 10295 49 | 0.007 % |
2.52/2.56 c | 10471 | 1089 177375 464310 | 2147483647 10471 48 | 0.006 % |
2.52/2.60 c | 10665 | 1089 177375 464310 | 2147483647 10665 48 | 0.007 % |
2.62/2.65 c | 10877 | 1089 177375 464310 | 2147483647 10877 48 | 0.007 % |
2.62/2.70 c | 11110 | 1089 177375 464310 | 2147483647 11110 48 | 0.006 % |
2.72/2.77 c | 11366 | 1089 177375 464310 | 2147483647 11366 47 | 0.007 % |
2.82/2.84 c | 11648 | 1089 177375 464310 | 2147483647 11648 47 | 0.006 % |
2.82/2.86 c | 11751 | 1089 177375 464310 | 2147483647 11751 47 | 0.007 % |
2.82/2.89 c | 11861 | 1089 177375 464310 | 2147483647 11861 47 | 0.000 % |
2.92/2.91 c | 11984 | 1089 177375 464310 | 2147483647 11984 47 | 0.007 % |
2.92/2.95 c | 12117 | 1089 177375 464310 | 2147483647 12117 47 | 0.006 % |
2.92/2.98 c | 12263 | 1089 177375 464310 | 2147483647 12263 47 | 0.007 % |
3.02/3.02 c | 12423 | 1089 177375 464310 | 2147483647 12423 46 | 0.000 % |
3.02/3.06 c | 12599 | 1089 177375 464310 | 2147483647 12599 46 | 0.007 % |
3.12/3.11 c | 12795 | 1089 177375 464310 | 2147483647 12795 47 | 0.000 % |
3.12/3.16 c | 13008 | 1089 177375 464310 | 2147483647 13008 47 | 0.006 % |
3.22/3.21 c | 13241 | 1089 177375 464310 | 2147483647 13241 48 | 0.000 % |
3.22/3.28 c | 13497 | 1089 177375 464310 | 2147483647 13497 48 | 0.006 % |
3.32/3.35 c | 13780 | 1089 177375 464310 | 2147483647 13780 48 | 0.007 % |
3.42/3.43 c | 14092 | 1089 177375 464310 | 2147483647 14092 48 | 0.007 % |
3.42/3.45 c | 14193 | 1089 177375 464310 | 2147483647 14193 48 | 0.000 % |
3.42/3.48 c | 14304 | 1089 177375 464310 | 2147483647 14304 48 | 0.006 % |
3.42/3.51 c | 14425 | 1089 177375 464310 | 2147483647 14425 48 | 0.006 % |
3.52/3.54 c | 14559 | 1089 177375 464310 | 2147483647 14559 48 | 0.007 % |
3.52/3.58 c | 14705 | 1089 177375 464310 | 2147483647 14705 48 | 0.000 % |
3.62/3.61 c | 14865 | 1089 177375 464310 | 2147483647 14865 48 | 0.006 % |
3.62/3.66 c | 15043 | 1089 177375 464310 | 2147483647 15043 48 | 0.006 % |
3.62/3.71 c | 15241 | 1089 177375 464310 | 2147483647 15241 48 | 0.000 % |
3.72/3.75 c | 15454 | 1089 177375 464310 | 2147483647 15454 48 | 0.006 % |
3.82/3.81 c | 15687 | 1089 177375 464310 | 2147483647 15687 48 | 0.006 % |
3.82/3.88 c | 15943 | 1089 177375 464310 | 2147483647 15943 48 | 0.006 % |
3.92/3.96 c | 16226 | 1089 177375 464310 | 2147483647 16226 47 | 0.006 % |
4.02/4.04 c | 16537 | 1089 177375 464310 | 2147483647 16537 47 | 0.006 % |
4.12/4.13 c | 16876 | 1089 177375 464310 | 2147483647 16876 48 | 0.000 % |
4.12/4.16 c | 16978 | 1089 177375 464310 | 2147483647 16978 48 | 0.007 % |
4.12/4.19 c | 17089 | 1089 177375 464310 | 2147483647 17089 48 | 0.007 % |
4.22/4.22 c | 17210 | 1089 177375 464310 | 2147483647 17210 48 | 0.000 % |
4.22/4.27 c | 17345 | 1089 177375 464310 | 2147483647 17345 48 | 0.007 % |
4.22/4.30 c | 17491 | 1089 177375 464310 | 2147483647 17491 48 | 0.000 % |
4.32/4.35 c | 17651 | 1089 177375 464310 | 2147483647 17651 48 | 0.007 % |
4.32/4.41 c | 17829 | 1089 177375 464310 | 2147483647 17829 48 | 0.007 % |
4.42/4.47 c | 18025 | 1089 177375 464310 | 2147483647 18025 48 | 0.007 % |
4.52/4.53 c | 18239 | 1089 177375 464310 | 2147483647 18239 48 | 0.000 % |
4.52/4.58 c | 18472 | 1089 177375 464310 | 2147483647 18472 48 | 0.007 % |
4.62/4.66 c | 18730 | 1089 177375 464310 | 2147483647 18730 48 | 0.007 % |
4.72/4.75 c | 19011 | 1089 177375 464310 | 2147483647 19011 47 | 0.007 % |
4.82/4.84 c | 19320 | 1089 177375 464310 | 2147483647 19320 48 | 0.000 % |
4.92/4.95 c | 19659 | 1089 177375 464310 | 2147483647 19659 48 | 0.007 % |
5.02/5.05 c | 20031 | 1089 177375 464310 | 2147483647 20031 48 | 0.007 % |
5.02/5.08 c | 20131 | 1089 177375 464310 | 2147483647 20131 48 | 0.000 % |
5.02/5.10 c | 20242 | 1089 177375 464310 | 2147483647 20242 49 | 0.000 % |
5.12/5.13 c | 20364 | 1089 177375 464310 | 2147483647 20364 49 | 0.007 % |
5.12/5.17 c | 20498 | 1089 177375 464310 | 2147483647 20498 48 | 0.006 % |
5.22/5.21 c | 20646 | 1089 177375 464310 | 2147483647 20646 48 | 0.007 % |
5.22/5.25 c | 20808 | 1089 177375 464310 | 2147483647 20808 48 | 0.007 % |
5.32/5.31 c | 20988 | 1089 177375 464310 | 2147483647 20988 48 | 0.006 % |
5.32/5.36 c | 21181 | 1089 177375 464310 | 2147483647 21181 48 | 0.006 % |
5.42/5.42 c | 21394 | 1089 177375 464310 | 2147483647 21394 48 | 0.006 % |
5.42/5.50 c | 21629 | 1089 177375 464310 | 2147483647 21629 48 | 0.007 % |
5.52/5.58 c | 21885 | 1089 177375 464310 | 2147483647 21885 48 | 0.006 % |
5.62/5.67 c | 22168 | 1089 177375 464310 | 2147483647 22168 48 | 0.007 % |
5.72/5.77 c | 22478 | 1089 177375 464310 | 2147483647 22478 48 | 0.007 % |
5.82/5.88 c | 22818 | 1089 177375 464310 | 2147483647 22818 47 | 0.007 % |
6.02/6.01 c | 23190 | 1089 177375 464310 | 2147483647 23190 47 | 0.007 % |
6.12/6.13 c | 23600 | 1089 177375 464310 | 2147483647 23600 47 | 0.007 % |
6.12/6.17 c | 23700 | 1089 177375 464310 | 2147483647 23700 47 | 0.007 % |
6.12/6.20 c | 23813 | 1089 177375 464310 | 2147483647 23813 47 | 0.007 % |
6.22/6.23 c | 23934 | 1089 177375 464310 | 2147483647 23934 47 | 0.007 % |
6.22/6.28 c | 24069 | 1089 177375 464310 | 2147483647 24069 47 | 0.006 % |
6.32/6.32 c | 24215 | 1089 177375 464310 | 2147483647 24215 47 | 0.000 % |
6.32/6.38 c | 24382 | 1089 177375 464310 | 2147483647 24382 47 | 0.007 % |
6.42/6.43 c | 24559 | 1089 177375 464310 | 2147483647 24559 47 | 0.000 % |
6.42/6.48 c | 24755 | 1089 177375 464310 | 2147483647 24755 47 | 0.000 % |
6.52/6.54 c | 24970 | 1089 177375 464310 | 2147483647 24970 47 | 0.007 % |
6.52/6.60 c | 25203 | 1089 177375 464310 | 2147483647 25203 47 | 0.007 % |
6.62/6.67 c | 25460 | 1089 177375 464310 | 2147483647 25460 47 | 0.007 % |
6.72/6.75 c | 25741 | 1089 177375 464310 | 2147483647 25741 47 | 0.007 % |
6.82/6.84 c | 26052 | 1089 177375 464310 | 2147483647 26052 47 | 0.007 % |
6.92/6.92 c | 26391 | 1089 177375 464310 | 2147483647 26391 47 | 0.000 % |
7.02/7.02 c | 26765 | 1089 177375 464310 | 2147483647 26765 47 | 0.006 % |
7.12/7.15 c | 27175 | 1089 177375 464310 | 2147483647 27175 47 | 0.007 % |
7.22/7.28 c | 27625 | 1089 177375 464310 | 2147483647 27625 47 | 0.007 % |
7.32/7.32 c | 27725 | 1089 177375 464310 | 2147483647 27725 47 | 0.006 % |
7.32/7.36 c | 27835 | 1089 177375 464310 | 2147483647 27835 47 | 0.006 % |
7.32/7.40 c | 27957 | 1089 177375 464310 | 2147483647 27957 47 | 0.000 % |
7.42/7.45 c | 28092 | 1089 177375 464310 | 2147483647 28092 47 | 0.006 % |
7.42/7.49 c | 28239 | 1089 177375 464310 | 2147483647 28239 47 | 0.000 % |
7.52/7.54 c | 28399 | 1089 177375 464310 | 2147483647 28399 47 | 0.007 % |
7.52/7.60 c | 28575 | 1089 177375 464310 | 2147483647 28575 47 | 0.007 % |
7.62/7.65 c | 28768 | 1089 177375 464310 | 2147483647 28768 48 | 0.000 % |
7.72/7.71 c | 28981 | 1089 177375 464310 | 2147483647 28981 48 | 0.000 % |
7.72/7.79 c | 29216 | 1089 177375 464310 | 2147483647 29216 48 | 0.007 % |
7.82/7.87 c | 29472 | 1089 177375 464310 | 2147483647 29472 48 | 0.000 % |
7.92/7.97 c | 29753 | 1089 177375 464310 | 2147483647 29753 47 | 0.006 % |
8.02/8.07 c | 30065 | 1089 177375 464310 | 2147483647 30065 47 | 0.006 % |
8.12/8.17 c | 30406 | 1089 177375 464310 | 2147483647 30406 48 | 0.000 % |
8.22/8.28 c | 30779 | 1089 177375 464310 | 2147483647 30779 48 | 0.000 % |
8.32/8.40 c | 31193 | 1089 177375 464310 | 2147483647 31193 48 | 0.007 % |
8.52/8.55 c | 31645 | 1089 177375 464310 | 2147483647 31645 48 | 0.000 % |
8.62/8.70 c | 32138 | 1089 177375 464310 | 2147483647 32138 47 | 0.007 % |
8.72/8.74 c | 32240 | 1089 177375 464310 | 2147483647 32240 47 | 0.006 % |
8.72/8.77 c | 32351 | 1089 177375 464310 | 2147483647 32351 47 | 0.006 % |
8.82/8.81 c | 32475 | 1089 177375 464310 | 2147483647 32475 47 | 0.007 % |
8.82/8.86 c | 32610 | 1089 177375 464310 | 2147483647 32610 47 | 0.007 % |
8.92/8.93 c | 32756 | 1089 177375 464310 | 2147483647 32756 47 | 0.007 % |
8.92/8.98 c | 32916 | 1089 177375 464310 | 2147483647 32916 47 | 0.007 % |
9.02/9.05 c | 33097 | 1089 177375 464310 | 2147483647 33097 47 | 0.000 % |
9.12/9.11 c | 33291 | 1089 177375 464310 | 2147483647 33291 47 | 0.000 % |
9.12/9.19 c | 33505 | 1089 177375 464310 | 2147483647 33505 47 | 0.007 % |
9.22/9.27 c | 33739 | 1089 177375 464310 | 2147483647 33739 47 | 0.000 % |
9.32/9.37 c | 33995 | 1089 177375 464310 | 2147483647 33995 47 | 0.006 % |
9.42/9.47 c | 34279 | 1089 177375 464310 | 2147483647 34279 47 | 0.007 % |
9.52/9.58 c | 34588 | 1089 177375 464310 | 2147483647 34588 47 | 0.007 % |
9.72/9.71 c | 34928 | 1089 177375 464310 | 2147483647 34928 48 | 0.000 % |
9.82/9.84 c | 35303 | 1089 177375 464310 | 2147483647 35303 48 | 0.007 % |
10.02/10.01 c | 35712 | 1089 177375 464310 | 2147483647 35712 48 | 0.007 % |
10.12/10.19 c | 36162 | 1089 177375 464310 | 2147483647 36162 48 | 0.007 % |
10.32/10.37 c | 36655 | 1089 177375 464310 | 2147483647 36655 47 | 0.007 % |
10.52/10.57 c | 37197 | 1089 177375 464310 | 2147483647 37197 47 | 0.007 % |
10.52/10.60 c | 37297 | 1089 177375 464310 | 2147483647 37297 47 | 0.007 % |
10.62/10.66 c | 37409 | 1089 177375 464310 | 2147483647 37409 47 | 0.007 % |
10.62/10.70 c | 37531 | 1089 177375 464310 | 2147483647 37531 47 | 0.007 % |
10.72/10.75 c | 37664 | 1089 177375 464310 | 2147483647 37664 47 | 0.000 % |
10.72/10.80 c | 37811 | 1089 177375 464310 | 2147483647 37811 47 | 0.006 % |
10.82/10.86 c | 37972 | 1089 177375 464310 | 2147483647 37972 47 | 0.006 % |
10.92/10.94 c | 38149 | 1089 177375 464310 | 2147483647 38149 47 | 0.006 % |
11.02/11.01 c | 38342 | 1089 177375 464310 | 2147483647 38342 47 | 0.006 % |
11.02/11.10 c | 38555 | 1089 177375 464310 | 2147483647 38555 47 | 0.006 % |
11.12/11.18 c | 38789 | 1089 177375 464310 | 2147483647 38789 47 | 0.000 % |
11.22/11.28 c | 39045 | 1089 177375 464310 | 2147483647 39045 47 | 0.006 % |
11.32/11.37 c | 39326 | 1089 177375 464310 | 2147483647 39326 48 | 0.000 % |
11.52/11.52 c | 39637 | 1089 177375 464310 | 2147483647 39637 48 | 0.000 % |
11.62/11.67 c | 39978 | 1089 177375 464310 | 2147483647 39978 48 | 0.007 % |
11.72/11.80 c | 40351 | 1089 177375 464310 | 2147483647 40351 48 | 0.006 % |
11.92/11.96 c | 40763 | 1089 177375 464310 | 2147483647 40763 48 | 0.006 % |
12.12/12.17 c | 41212 | 1089 177375 464310 | 2147483647 41212 48 | 0.006 % |
12.32/12.37 c | 41705 | 1089 177375 464310 | 2147483647 41705 48 | 0.007 % |
12.52/12.55 c | 42247 | 1089 177375 464310 | 2147483647 42247 48 | 0.007 % |
12.72/12.80 c | 42845 | 1089 177375 464310 | 2147483647 42845 48 | 0.007 % |
12.82/12.84 c | 42946 | 1089 177375 464310 | 2147483647 42946 48 | 0.007 % |
12.82/12.90 c | 43059 | 1089 177375 464310 | 2147483647 43059 47 | 0.007 % |
12.92/12.95 c | 43181 | 1089 177375 464310 | 2147483647 43181 48 | 0.000 % |
12.92/13.00 c | 43316 | 1089 177375 464310 | 2147483647 43316 48 | 0.000 % |
13.02/13.06 c | 43463 | 1089 177375 464310 | 2147483647 43463 47 | 0.000 % |
13.12/13.11 c | 43626 | 1089 177375 464310 | 2147483647 43626 47 | 0.006 % |
13.12/13.19 c | 43802 | 1089 177375 464310 | 2147483647 43802 47 | 0.006 % |
13.22/13.26 c | 43996 | 1089 177375 464310 | 2147483647 43996 47 | 0.007 % |
13.32/13.36 c | 44208 | 1089 177375 464310 | 2147483647 44208 47 | 0.006 % |
13.42/13.45 c | 44441 | 1089 177375 464310 | 2147483647 44441 47 | 0.006 % |
13.52/13.55 c | 44697 | 1089 177375 464310 | 2147483647 44697 47 | 0.007 % |
13.62/13.67 c | 44979 | 1089 177375 464310 | 2147483647 44979 47 | 0.006 % |
13.72/13.81 c | 45288 | 1089 177375 464310 | 2147483647 45288 47 | 0.007 % |
13.92/13.94 c | 45628 | 1089 177375 464310 | 2147483647 45628 47 | 0.006 % |
14.02/14.08 c | 46000 | 1089 177375 464310 | 2147483647 46000 47 | 0.007 % |
14.22/14.23 c | 46409 | 1089 177375 464310 | 2147483647 46409 47 | 0.000 % |
14.42/14.45 c | 46858 | 1089 177375 464310 | 2147483647 46858 47 | 0.007 % |
14.62/14.67 c | 47353 | 1089 177375 464310 | 2147483647 47353 47 | 0.006 % |
14.82/14.88 c | 47895 | 1089 177375 464310 | 2147483647 47895 47 | 0.007 % |
15.12/15.17 c | 48491 | 1089 177375 464310 | 2147483647 48491 47 | 0.007 % |
15.42/15.50 c | 49146 | 1089 177375 464310 | 2147483647 49146 46 | 0.000 % |
15.52/15.54 c | 49249 | 1089 177375 464310 | 2147483647 49249 46 | 0.007 % |
15.52/15.59 c | 49360 | 1089 177375 464310 | 2147483647 49360 46 | 0.007 % |
15.62/15.64 c | 49482 | 1089 177375 464310 | 2147483647 49482 46 | 0.007 % |
15.62/15.69 c | 49616 | 1089 177375 464310 | 2147483647 49616 46 | 0.007 % |
15.72/15.74 c | 49764 | 1089 177375 464310 | 2147483647 49764 46 | 0.007 % |
15.82/15.81 c | 49926 | 1089 177375 464310 | 2147483647 49926 46 | 0.007 % |
15.92/15.91 c | 50102 | 1089 177375 464310 | 2147483647 50102 46 | 0.006 % |
15.92/16.00 c | 50296 | 1089 177375 464310 | 2147483647 50296 46 | 0.007 % |
16.02/16.10 c | 50510 | 1089 177375 464310 | 2147483647 50510 46 | 0.006 % |
16.12/16.18 c | 50743 | 1089 177375 464310 | 2147483647 50743 46 | 0.000 % |
16.22/16.29 c | 50999 | 1089 177375 464310 | 2147483647 50999 47 | 0.000 % |
16.42/16.41 c | 51281 | 1089 177375 464310 | 2147483647 51281 46 | 0.007 % |
16.52/16.55 c | 51593 | 1089 177375 464310 | 2147483647 51593 46 | 0.007 % |
16.62/16.69 c | 51932 | 1089 177375 464310 | 2147483647 51932 47 | 0.000 % |
16.82/16.84 c | 52304 | 1089 177375 464310 | 2147483647 52304 47 | 0.007 % |
17.02/17.03 c | 52718 | 1089 177375 464310 | 2147483647 52718 47 | 0.006 % |
17.12/17.20 c | 53168 | 1089 177375 464310 | 2147483647 53168 47 | 0.006 % |
17.32/17.38 c | 53661 | 1089 177375 464310 | 2147483647 53661 47 | 0.000 % |
17.62/17.65 c | 54204 | 1089 177375 464310 | 2147483647 54204 47 | 0.000 % |
17.92/17.92 c | 54802 | 1089 177375 464310 | 2147483647 54802 46 | 0.006 % |
18.12/18.18 c | 55457 | 1089 177375 464310 | 2147483647 55457 46 | 0.007 % |
18.52/18.54 c | 56177 | 1089 177375 464310 | 2147483647 56177 46 | 0.007 % |
18.52/18.59 c | 56280 | 1089 177375 464310 | 2147483647 56280 46 | 0.006 % |
18.62/18.63 c | 56395 | 1089 177375 464310 | 2147483647 56395 46 | 0.006 % |
18.62/18.70 c | 56516 | 1089 177375 464310 | 2147483647 56516 46 | 0.006 % |
18.72/18.76 c | 56649 | 1089 177375 464310 | 2147483647 56649 47 | 0.000 % |
18.82/18.82 c | 56795 | 1089 177375 464310 | 2147483647 56795 47 | 0.000 % |
18.82/18.90 c | 56958 | 1089 177375 464310 | 2147483647 56958 47 | 0.007 % |
18.92/18.97 c | 57136 | 1089 177375 464310 | 2147483647 57136 47 | 0.007 % |
19.02/19.09 c | 57329 | 1088 177055 463480 | 2147483647 57328 46 | 0.098 % |
19.12/19.20 c | 57542 | 1088 177055 463480 | 2147483647 57541 46 | 0.098 % |
19.32/19.31 c | 57775 | 1088 177055 463480 | 2147483647 57774 47 | 0.092 % |
19.42/19.45 c | 58034 | 1088 177055 463480 | 2147483647 58033 47 | 0.098 % |
19.52/19.57 c | 58318 | 1088 177055 463480 | 2147483647 58317 47 | 0.092 % |
19.62/19.70 c | 58628 | 1088 177055 463480 | 2147483647 58627 47 | 0.104 % |
19.82/19.87 c | 58971 | 1088 177055 463480 | 2147483647 58970 47 | 0.098 % |
20.02/20.07 c | 59344 | 1088 177055 463480 | 2147483647 59343 47 | 0.098 % |
20.22/20.30 c | 59755 | 1088 177055 463480 | 2147483647 59754 47 | 0.098 % |
20.52/20.53 c | 60204 | 1088 177055 463480 | 2147483647 60203 47 | 0.098 % |
20.72/20.77 c | 60703 | 1088 177055 463480 | 2147483647 60702 47 | 0.098 % |
21.02/21.06 c | 61245 | 1088 177055 463480 | 2147483647 61244 47 | 0.098 % |
21.32/21.34 c | 61841 | 1088 177055 463480 | 2147483647 61840 46 | 0.098 % |
21.62/21.70 c | 62499 | 1088 177055 463480 | 2147483647 62498 46 | 0.098 % |
22.02/22.09 c | 63221 | 1088 177055 463480 | 2147483647 63220 46 | 0.098 % |
22.52/22.57 c | 64014 | 1088 177055 463480 | 2147483647 64013 46 | 0.098 % |
22.62/22.61 c | 64114 | 1088 177055 463480 | 2147483647 64113 46 | 0.092 % |
22.62/22.66 c | 64224 | 1088 177055 463480 | 2147483647 64223 46 | 0.092 % |
22.72/22.73 c | 64348 | 1088 177055 463480 | 2147483647 64347 46 | 0.098 % |
22.82/22.81 c | 64488 | 1088 177055 463480 | 2147483647 64487 46 | 0.098 % |
22.82/22.87 c | 64635 | 1088 177055 463480 | 2147483647 64634 46 | 0.098 % |
22.92/22.96 c | 64796 | 1088 177055 463480 | 2147483647 64795 46 | 0.098 % |
23.02/23.05 c | 64974 | 1088 177055 463480 | 2147483647 64973 46 | 0.098 % |
23.12/23.14 c | 65167 | 1088 177055 463480 | 2147483647 65166 46 | 0.098 % |
23.22/23.25 c | 65379 | 1088 177055 463480 | 2147483647 65378 46 | 0.098 % |
23.32/23.36 c | 65612 | 1088 177055 463480 | 2147483647 65611 46 | 0.098 % |
23.42/23.49 c | 65868 | 1088 177055 463480 | 2147483647 65867 46 | 0.098 % |
23.62/23.63 c | 66149 | 1088 177055 463480 | 2147483647 66148 46 | 0.098 % |
23.72/23.81 c | 66458 | 1088 177055 463480 | 2147483647 66457 46 | 0.098 % |
23.92/23.99 c | 66801 | 1088 177055 463480 | 2147483647 66800 46 | 0.098 % |
24.12/24.20 c | 67176 | 1088 177055 463480 | 2147483647 67175 46 | 0.098 % |
24.32/24.40 c | 67586 | 1088 177055 463480 | 2147483647 67585 46 | 0.098 % |
24.52/24.60 c | 68038 | 1088 177055 463480 | 2147483647 68037 46 | 0.092 % |
24.82/24.85 c | 68531 | 1088 177055 463480 | 2147483647 68530 46 | 0.092 % |
25.12/25.13 c | 69074 | 1088 177055 463480 | 2147483647 69073 46 | 0.092 % |
25.42/25.43 c | 69672 | 1088 177055 463480 | 2147483647 69671 47 | 0.092 % |
25.82/25.82 c | 70331 | 1088 177055 463480 | 2147483647 70330 47 | 0.092 % |
26.22/26.25 c | 71053 | 1088 177055 463480 | 2147483647 71052 47 | 0.098 % |
26.62/26.69 c | 71846 | 1088 177055 463480 | 2147483647 71845 48 | 0.092 % |
27.22/27.23 c | 72722 | 1088 177055 463480 | 2147483647 72721 47 | 0.098 % |
27.22/27.30 c | 72823 | 1088 177055 463480 | 2147483647 72822 47 | 0.098 % |
27.32/27.37 c | 72933 | 1088 177055 463480 | 2147483647 72932 47 | 0.098 % |
27.42/27.45 c | 73055 | 1088 177055 463480 | 2147483647 73054 47 | 0.098 % |
27.52/27.54 c | 73188 | 1088 177055 463480 | 2147483647 73187 47 | 0.092 % |
27.62/27.62 c | 73335 | 1088 177055 463480 | 2147483647 73334 47 | 0.098 % |
27.62/27.69 c | 73496 | 1088 177055 463480 | 2147483647 73495 47 | 0.098 % |
27.82/27.81 c | 73672 | 1088 177055 463480 | 2147483647 73671 47 | 0.098 % |
27.92/27.92 c | 73865 | 1088 177055 463480 | 2147483647 73864 47 | 0.098 % |
28.02/28.04 c | 74078 | 1088 177055 463480 | 2147483647 74077 47 | 0.098 % |
28.12/28.17 c | 74311 | 1088 177055 463480 | 2147483647 74310 48 | 0.092 % |
28.32/28.32 c | 74568 | 1088 177055 463480 | 2147483647 74567 48 | 0.098 % |
28.42/28.48 c | 74853 | 1088 177055 463480 | 2147483647 74852 48 | 0.092 % |
28.62/28.65 c | 75164 | 1088 177055 463480 | 2147483647 75163 48 | 0.092 % |
28.82/28.84 c | 75503 | 1088 177055 463480 | 2147483647 75502 48 | 0.098 % |
29.02/29.03 c | 75877 | 1088 177055 463480 | 2147483647 75876 48 | 0.092 % |
29.22/29.28 c | 76287 | 1088 177055 463480 | 2147483647 76286 48 | 0.099 % |
29.52/29.56 c | 76737 | 1088 177055 463480 | 2147483647 76736 48 | 0.098 % |
29.82/29.86 c | 77231 | 1088 177055 463480 | 2147483647 77230 48 | 0.098 % |
30.22/30.23 c | 77773 | 1088 177055 463480 | 2147483647 77772 48 | 0.098 % |
30.52/30.60 c | 78370 | 1088 177055 463480 | 2147483647 78369 48 | 0.099 % |
30.92/30.99 c | 79026 | 1088 177055 463480 | 2147483647 79025 47 | 0.092 % |
31.32/31.38 c | 79747 | 1088 177055 463480 | 2147483647 79746 48 | 0.092 % |
31.82/31.89 c | 80539 | 1088 177055 463480 | 2147483647 80538 48 | 0.098 % |
32.42/32.41 c | 81411 | 1088 177055 463480 | 2147483647 81410 49 | 0.092 % |
32.92/33.00 c | 82371 | 1088 177055 463480 | 2147483647 82370 49 | 0.098 % |
33.02/33.05 c | 82474 | 1088 177055 463480 | 2147483647 82473 49 | 0.098 % |
33.12/33.12 c | 82588 | 1088 177055 463480 | 2147483647 82587 49 | 0.098 % |
33.12/33.19 c | 82709 | 1088 177055 463480 | 2147483647 82708 49 | 0.092 % |
33.22/33.27 c | 82842 | 1088 177055 463480 | 2147483647 82841 49 | 0.092 % |
33.32/33.35 c | 82989 | 1088 177055 463480 | 2147483647 82988 49 | 0.099 % |
33.42/33.45 c | 83149 | 1088 177055 463480 | 2147483647 83148 49 | 0.099 % |
33.52/33.55 c | 83325 | 1088 177055 463480 | 2147483647 83324 49 | 0.098 % |
33.62/33.66 c | 83521 | 1088 177055 463480 | 2147483647 83520 49 | 0.099 % |
33.82/33.81 c | 83734 | 1088 177055 463480 | 2147483647 83733 49 | 0.092 % |
33.92/33.97 c | 83967 | 1088 177055 463480 | 2147483647 83966 49 | 0.098 % |
34.12/34.13 c | 84223 | 1088 177055 463480 | 2147483647 84222 49 | 0.098 % |
34.32/34.33 c | 84507 | 1088 177055 463480 | 2147483647 84506 49 | 0.098 % |
34.52/34.54 c | 84818 | 1088 177055 463480 | 2147483647 84817 49 | 0.092 % |
34.72/34.76 c | 85157 | 1088 177055 463480 | 2147483647 85156 49 | 0.092 % |
34.92/35.00 c | 85530 | 1088 177055 463480 | 2147483647 85529 49 | 0.092 % |
35.22/35.29 c | 85939 | 1088 177055 463480 | 2147483647 85938 49 | 0.092 % |
35.52/35.57 c | 86391 | 1088 177055 463480 | 2147483647 86390 49 | 0.098 % |
35.82/35.90 c | 86884 | 1088 177055 463480 | 2147483647 86883 49 | 0.098 % |
36.32/36.35 c | 87426 | 1088 177055 463480 | 2147483647 87425 49 | 0.098 % |
36.72/36.77 c | 88026 | 1088 177055 463480 | 2147483647 88025 49 | 0.098 % |
37.12/37.18 c | 88682 | 1088 177055 463480 | 2147483647 88681 49 | 0.092 % |
37.62/37.69 c | 89402 | 1088 177055 463480 | 2147483647 89401 49 | 0.092 % |
38.22/38.22 c | 90196 | 1088 177055 463480 | 2147483647 90195 49 | 0.098 % |
38.72/38.79 c | 91068 | 1088 177055 463480 | 2147483647 91067 49 | 0.098 % |
39.32/39.38 c | 92029 | 1088 177055 463480 | 2147483647 92028 50 | 0.092 % |
40.12/40.11 c | 93082 | 1088 177055 463480 | 2147483647 93081 50 | 0.092 % |
40.12/40.17 c | 93184 | 1088 177055 463480 | 2147483647 93183 51 | 0.092 % |
40.22/40.24 c | 93294 | 1088 177055 463480 | 2147483647 93293 51 | 0.092 % |
40.32/40.33 c | 93418 | 1088 177055 463480 | 2147483647 93417 51 | 0.098 % |
40.42/40.41 c | 93551 | 1088 177055 463480 | 2147483647 93550 50 | 0.098 % |
40.52/40.51 c | 93697 | 1088 177055 463480 | 2147483647 93696 51 | 0.092 % |
40.62/40.62 c | 93857 | 1088 177055 463480 | 2147483647 93856 51 | 0.099 % |
40.72/40.75 c | 94033 | 1088 177055 463480 | 2147483647 94032 51 | 0.098 % |
40.82/40.88 c | 94229 | 1088 177055 463480 | 2147483647 94228 51 | 0.092 % |
41.02/41.04 c | 94441 | 1088 177055 463480 | 2147483647 94440 51 | 0.092 % |
41.12/41.19 c | 94674 | 1088 177055 463480 | 2147483647 94673 51 | 0.098 % |
41.32/41.37 c | 94933 | 1088 177055 463480 | 2147483647 94932 51 | 0.098 % |
41.52/41.57 c | 95218 | 1088 177055 463480 | 2147483647 95217 51 | 0.098 % |
41.72/41.80 c | 95529 | 1088 177055 463480 | 2147483647 95528 51 | 0.098 % |
42.02/42.07 c | 95869 | 1088 177055 463480 | 2147483647 95868 51 | 0.092 % |
42.32/42.31 c | 96244 | 1088 177055 463480 | 2147483647 96243 51 | 0.098 % |
42.62/42.63 c | 96657 | 1088 177055 463480 | 2147483647 96656 51 | 0.092 % |
42.92/42.98 c | 97107 | 1088 177055 463480 | 2147483647 97106 51 | 0.098 % |
43.32/43.32 c | 97600 | 1088 177055 463480 | 2147483647 97599 51 | 0.098 % |
43.72/43.73 c | 98144 | 1088 177055 463480 | 2147483647 98143 51 | 0.098 % |
44.12/44.13 c | 98742 | 1088 177055 463480 | 2147483647 98741 51 | 0.098 % |
44.52/44.59 c | 99398 | 1088 177055 463480 | 2147483647 99397 51 | 0.098 % |
45.13/45.15 c | 100118 | 1088 177055 463480 | 2147483647 100117 51 | 0.098 % |
45.72/45.80 c | 100918 | 1088 177055 463480 | 2147483647 100917 50 | 0.098 % |
46.42/46.46 c | 101793 | 1088 177055 463480 | 2147483647 101792 50 | 0.098 % |
47.22/47.21 c | 102753 | 1088 177055 463480 | 2147483647 102752 50 | 0.092 % |
48.02/48.04 c | 103807 | 1088 177055 463480 | 2147483647 103806 50 | 0.098 % |
48.92/48.95 c | 104966 | 1088 177055 463480 | 2147483647 104965 50 | 0.098 % |
49.02/49.05 c | 105066 | 1088 177055 463480 | 2147483647 105065 50 | 0.099 % |
49.12/49.13 c | 105176 | 1088 177055 463480 | 2147483647 105175 50 | 0.092 % |
49.22/49.23 c | 105298 | 1088 177055 463480 | 2147483647 105297 50 | 0.092 % |
49.32/49.35 c | 105431 | 1088 177055 463480 | 2147483647 105430 50 | 0.098 % |
49.42/49.46 c | 105579 | 1088 177055 463480 | 2147483647 105578 50 | 0.092 % |
49.53/49.57 c | 105740 | 1088 177055 463480 | 2147483647 105739 50 | 0.092 % |
49.62/49.69 c | 105916 | 1088 177055 463480 | 2147483647 105915 50 | 0.098 % |
49.82/49.85 c | 106109 | 1088 177055 463480 | 2147483647 106108 50 | 0.099 % |
50.02/50.01 c | 106322 | 1088 177055 463480 | 2147483647 106321 50 | 0.098 % |
50.12/50.18 c | 106556 | 1088 177055 463480 | 2147483647 106555 50 | 0.098 % |
50.32/50.35 c | 106812 | 1088 177055 463480 | 2147483647 106811 50 | 0.092 % |
50.52/50.51 c | 107094 | 1088 177055 463480 | 2147483647 107093 50 | 0.092 % |
50.72/50.74 c | 107403 | 1088 177055 463480 | 2147483647 107402 50 | 0.092 % |
50.92/50.97 c | 107742 | 1088 177055 463480 | 2147483647 107741 51 | 0.099 % |
51.22/51.27 c | 108114 | 1088 177055 463480 | 2147483647 108113 50 | 0.098 % |
51.52/51.58 c | 108525 | 1088 177055 463480 | 2147483647 108524 50 | 0.098 % |
51.92/51.92 c | 108974 | 1088 177055 463480 | 2147483647 108973 51 | 0.092 % |
52.32/52.31 c | 109467 | 1088 177055 463480 | 2147483647 109466 51 | 0.098 % |
52.72/52.75 c | 110009 | 1088 177055 463480 | 2147483647 110008 51 | 0.098 % |
53.12/53.19 c | 110605 | 1088 177055 463480 | 2147483647 110604 51 | 0.092 % |
53.72/53.76 c | 111260 | 1088 177055 463480 | 2147483647 111259 51 | 0.092 % |
54.42/54.43 c | 111983 | 1088 177055 463480 | 2147483647 111982 51 | 0.098 % |
55.03/55.05 c | 112776 | 1088 177055 463480 | 2147483647 112775 51 | 0.098 % |
55.72/55.71 c | 113649 | 1088 177055 463480 | 2147483647 113648 51 | 0.098 % |
56.42/56.48 c | 114607 | 1088 177055 463480 | 2147483647 114606 51 | 0.098 % |
57.23/57.29 c | 115660 | 1088 177055 463480 | 2147483647 115659 51 | 0.098 % |
58.22/58.21 c | 116820 | 1088 177055 463480 | 2147483647 116819 51 | 0.098 % |
59.22/59.26 c | 118094 | 1088 177055 463480 | 2147483647 118093 51 | 0.098 % |
59.32/59.36 c | 118194 | 1088 177055 463480 | 2147483647 118193 51 | 0.092 % |
59.43/59.46 c | 118304 | 1088 177055 463480 | 2147483647 118303 51 | 0.092 % |
59.52/59.59 c | 118425 | 1088 177055 463480 | 2147483647 118424 51 | 0.098 % |
59.72/59.73 c | 118560 | 1088 177055 463480 | 2147483647 118559 51 | 0.092 % |
59.82/59.87 c | 118706 | 1088 177055 463480 | 2147483647 118705 51 | 0.092 % |
60.02/60.05 c | 118867 | 1088 177055 463480 | 2147483647 118866 51 | 0.098 % |
60.12/60.18 c | 119044 | 1088 177055 463480 | 2147483647 119043 51 | 0.098 % |
60.32/60.37 c | 119237 | 1088 177055 463480 | 2147483647 119236 51 | 0.092 % |
60.53/60.55 c | 119449 | 1088 177055 463480 | 2147483647 119448 51 | 0.092 % |
60.72/60.76 c | 119685 | 1088 177055 463480 | 2147483647 119684 51 | 0.098 % |
61.02/61.01 c | 119943 | 1088 177055 463480 | 2147483647 119942 51 | 0.098 % |
61.22/61.29 c | 120224 | 1088 177055 463480 | 2147483647 120223 51 | 0.099 % |
61.52/61.57 c | 120534 | 1088 177055 463480 | 2147483647 120533 51 | 0.099 % |
61.82/61.86 c | 120873 | 1088 177055 463480 | 2147483647 120872 51 | 0.092 % |
62.22/62.24 c | 121245 | 1088 177055 463480 | 2147483647 121244 51 | 0.099 % |
62.52/62.58 c | 121655 | 1088 177055 463480 | 2147483647 121654 51 | 0.098 % |
62.92/62.97 c | 122104 | 1088 177055 463480 | 2147483647 122103 51 | 0.098 % |
63.42/63.49 c | 122600 | 1088 177055 463480 | 2147483647 122599 51 | 0.098 % |
63.92/63.97 c | 123144 | 1088 177055 463480 | 2147483647 123143 51 | 0.098 % |
64.52/64.57 c | 123740 | 1088 177055 463480 | 2147483647 123739 51 | 0.098 % |
65.02/65.08 c | 124395 | 1088 177055 463480 | 2147483647 124394 51 | 0.098 % |
65.72/65.73 c | 125116 | 1088 177055 463480 | 2147483647 125115 51 | 0.098 % |
66.42/66.42 c | 125908 | 1088 177055 463480 | 2147483647 125907 51 | 0.092 % |
67.22/67.23 c | 126781 | 1088 177055 463480 | 2147483647 126780 51 | 0.098 % |
68.02/68.09 c | 127740 | 1088 177055 463480 | 2147483647 127739 51 | 0.098 % |
69.02/69.06 c | 128793 | 1088 177055 463480 | 2147483647 128792 51 | 0.098 % |
70.22/70.25 c | 129951 | 1088 177055 463480 | 2147483647 129950 51 | 0.098 % |
71.42/71.45 c | 131225 | 1088 177055 463480 | 2147483647 131224 50 | 0.098 % |
72.92/72.92 c | 132626 | 1088 177055 463480 | 2147483647 132625 50 | 0.092 % |
73.02/73.04 c | 132726 | 1088 177055 463480 | 2147483647 132725 50 | 0.098 % |
73.12/73.15 c | 132838 | 1088 177055 463480 | 2147483647 132837 50 | 0.098 % |
73.22/73.26 c | 132964 | 1088 177055 463480 | 2147483647 132963 50 | 0.098 % |
73.32/73.39 c | 133097 | 1088 177055 463480 | 2147483647 133096 50 | 0.098 % |
73.52/73.51 c | 133245 | 1088 177055 463480 | 2147483647 133244 50 | 0.092 % |
73.62/73.66 c | 133406 | 1088 177055 463480 | 2147483647 133405 50 | 0.098 % |
73.82/73.83 c | 133582 | 1088 177055 463480 | 2147483647 133581 50 | 0.098 % |
73.92/74.00 c | 133776 | 1088 177055 463480 | 2147483647 133775 51 | 0.092 % |
74.12/74.19 c | 133988 | 1088 177055 463480 | 2147483647 133987 51 | 0.092 % |
74.42/74.43 c | 134221 | 1088 177055 463480 | 2147483647 134220 51 | 0.098 % |
74.62/74.68 c | 134477 | 1088 177055 463480 | 2147483647 134476 51 | 0.098 % |
74.92/74.92 c | 134758 | 1088 177055 463480 | 2147483647 134757 51 | 0.098 % |
75.12/75.15 c | 135067 | 1088 177055 463480 | 2147483647 135066 51 | 0.098 % |
75.42/75.46 c | 135410 | 1088 177055 463480 | 2147483647 135409 51 | 0.092 % |
75.82/75.81 c | 135782 | 1088 177055 463480 | 2147483647 135781 51 | 0.092 % |
76.02/76.09 c | 136191 | 1088 177055 463480 | 2147483647 136190 51 | 0.098 % |
76.52/76.53 c | 136641 | 1088 177055 463480 | 2147483647 136640 51 | 0.098 % |
77.03/77.04 c | 137135 | 1088 177055 463480 | 2147483647 137134 51 | 0.098 % |
77.42/77.45 c | 137677 | 1088 177055 463480 | 2147483647 137676 51 | 0.098 % |
77.92/77.94 c | 138276 | 1088 177055 463480 | 2147483647 138275 51 | 0.092 % |
78.42/78.42 c | 138932 | 1088 177055 463480 | 2147483647 138931 51 | 0.098 % |
79.02/79.06 c | 139652 | 1088 177055 463480 | 2147483647 139651 51 | 0.098 % |
79.82/79.82 c | 140446 | 1088 177055 463480 | 2147483647 140445 51 | 0.098 % |
80.62/80.64 c | 141317 | 1088 177055 463480 | 2147483647 141316 51 | 0.098 % |
81.52/81.59 c | 142276 | 1088 177055 463480 | 2147483647 142275 51 | 0.098 % |
82.62/82.70 c | 143329 | 1088 177055 463480 | 2147483647 143328 51 | 0.098 % |
84.02/84.04 c | 144487 | 1088 177055 463480 | 2147483647 144486 51 | 0.099 % |
85.42/85.50 c | 145761 | 1088 177055 463480 | 2147483647 145760 50 | 0.098 % |
87.02/87.06 c | 147162 | 1088 177055 463480 | 2147483647 147161 50 | 0.098 % |
88.62/88.63 c | 148703 | 1088 177055 463480 | 2147483647 148702 50 | 0.098 % |
88.72/88.73 c | 148806 | 1088 177055 463480 | 2147483647 148805 50 | 0.098 % |
88.82/88.84 c | 148920 | 1088 177055 463480 | 2147483647 148919 50 | 0.098 % |
88.92/88.96 c | 149041 | 1088 177055 463480 | 2147483647 149040 50 | 0.098 % |
89.02/89.06 c | 149176 | 1088 177055 463480 | 2147483647 149175 50 | 0.092 % |
89.13/89.19 c | 149322 | 1088 177055 463480 | 2147483647 149321 50 | 0.092 % |
89.32/89.38 c | 149483 | 1088 177055 463480 | 2147483647 149482 50 | 0.092 % |
89.52/89.58 c | 149660 | 1088 177055 463480 | 2147483647 149659 50 | 0.098 % |
89.72/89.79 c | 149853 | 1088 177055 463480 | 2147483647 149852 50 | 0.098 % |
90.02/90.02 c | 150065 | 1088 177055 463480 | 2147483647 150064 50 | 0.098 % |
90.23/90.24 c | 150302 | 1088 177055 463480 | 2147483647 150301 50 | 0.092 % |
90.42/90.48 c | 150559 | 1088 177055 463480 | 2147483647 150558 50 | 0.098 % |
90.72/90.74 c | 150841 | 1088 177055 463480 | 2147483647 150840 51 | 0.092 % |
91.02/91.08 c | 151150 | 1088 177055 463480 | 2147483647 151149 51 | 0.098 % |
91.42/91.50 c | 151494 | 1088 177055 463480 | 2147483647 151493 50 | 0.098 % |
91.82/91.88 c | 151867 | 1088 177055 463480 | 2147483647 151866 50 | 0.098 % |
92.22/92.29 c | 152278 | 1088 177055 463480 | 2147483647 152277 50 | 0.098 % |
92.72/92.76 c | 152727 | 1088 177055 463480 | 2147483647 152726 50 | 0.098 % |
93.22/93.28 c | 153220 | 1088 177055 463480 | 2147483647 153219 50 | 0.098 % |
93.92/93.96 c | 153764 | 1088 177055 463480 | 2147483647 153763 50 | 0.098 % |
94.72/94.70 c | 154361 | 1088 177055 463480 | 2147483647 154360 50 | 0.098 % |
95.42/95.41 c | 155018 | 1088 177055 463480 | 2147483647 155017 50 | 0.098 % |
96.12/96.16 c | 155739 | 1088 177055 463480 | 2147483647 155738 51 | 0.092 % |
96.92/96.98 c | 156533 | 1088 177055 463480 | 2147483647 156532 51 | 0.098 % |
97.82/97.86 c | 157404 | 1088 177055 463480 | 2147483647 157403 51 | 0.092 % |
98.72/98.80 c | 158362 | 1088 177055 463480 | 2147483647 158361 51 | 0.099 % |
100.02/100.02 c | 159419 | 1088 177055 463480 | 2147483647 159418 51 | 0.098 % |
101.13/101.12 c | 160577 | 1088 177055 463480 | 2147483647 160576 51 | 0.099 % |
102.23/102.29 c | 161850 | 1088 177055 463480 | 2147483647 161849 52 | 0.092 % |
103.63/103.65 c | 163252 | 1088 177055 463480 | 2147483647 163251 52 | 0.098 % |
105.23/105.27 c | 164792 | 1088 177055 463480 | 2147483647 164791 51 | 0.098 % |
107.23/107.24 c | 166487 | 1088 177055 463480 | 2147483647 166486 52 | 0.098 % |
107.33/107.38 c | 166589 | 1088 177055 463480 | 2147483647 166588 52 | 0.098 % |
107.43/107.47 c | 166699 | 1088 177055 463480 | 2147483647 166698 52 | 0.092 % |
107.53/107.59 c | 166820 | 1088 177055 463480 | 2147483647 166819 52 | 0.098 % |
107.73/107.76 c | 166954 | 1088 177055 463480 | 2147483647 166953 52 | 0.098 % |
107.83/107.91 c | 167101 | 1088 177055 463480 | 2147483647 167100 52 | 0.098 % |
108.03/108.09 c | 167264 | 1088 177055 463480 | 2147483647 167263 52 | 0.092 % |
108.23/108.25 c | 167440 | 1088 177055 463480 | 2147483647 167439 52 | 0.098 % |
108.43/108.50 c | 167636 | 1088 177055 463480 | 2147483647 167635 52 | 0.098 % |
108.73/108.77 c | 167851 | 1088 177055 463480 | 2147483647 167850 52 | 0.098 % |
109.03/109.04 c | 168084 | 1088 177055 463480 | 2147483647 168083 52 | 0.098 % |
109.33/109.32 c | 168344 | 1088 177055 463480 | 2147483647 168343 52 | 0.092 % |
109.63/109.65 c | 168625 | 1088 177055 463480 | 2147483647 168624 52 | 0.098 % |
110.03/110.07 c | 168934 | 1088 177055 463480 | 2147483647 168933 52 | 0.098 % |
110.43/110.50 c | 169273 | 1088 177055 463480 | 2147483647 169272 52 | 0.098 % |
110.93/111.00 c | 169646 | 1088 177055 463480 | 2147483647 169645 52 | 0.098 % |
111.53/111.54 c | 170055 | 1088 177055 463480 | 2147483647 170054 52 | 0.098 % |
112.03/112.11 c | 170506 | 1088 177055 463480 | 2147483647 170505 52 | 0.092 % |
112.63/112.70 c | 170999 | 1088 177055 463480 | 2147483647 170998 52 | 0.092 % |
113.53/113.53 c | 171542 | 1088 177055 463480 | 2147483647 171541 52 | 0.098 % |
114.23/114.31 c | 172138 | 1087 176735 462650 | 2147483647 172136 52 | 0.190 % |
115.03/115.07 c | 172794 | 1087 176735 462650 | 2147483647 172792 52 | 0.190 % |
115.83/115.86 c | 173515 | 1087 176735 462650 | 2147483647 173513 52 | 0.190 % |
116.83/116.85 c | 174309 | 1087 176735 462650 | 2147483647 174307 52 | 0.184 % |
117.73/117.78 c | 175180 | 1087 176735 462650 | 2147483647 175178 52 | 0.190 % |
118.83/118.87 c | 176139 | 1087 176735 462650 | 2147483647 176137 52 | 0.190 % |
120.13/120.17 c | 177192 | 1087 176735 462650 | 2147483647 177190 52 | 0.190 % |
121.53/121.60 c | 178351 | 1087 176735 462650 | 2147483647 178349 52 | 0.190 % |
123.23/123.22 c | 179626 | 1087 176735 462650 | 2147483647 179624 52 | 0.190 % |
125.33/125.32 c | 181031 | 1087 176735 462650 | 2147483647 181029 52 | 0.190 % |
126.93/126.92 c | 182574 | 1087 176735 462650 | 2147483647 182572 52 | 0.184 % |
128.83/128.90 c | 184274 | 1087 176735 462650 | 2147483647 184272 53 | 0.184 % |
131.53/131.60 c | 186137 | 1087 176735 462650 | 2147483647 186135 53 | 0.190 % |
131.73/131.76 c | 186238 | 1087 176735 462650 | 2147483647 186236 53 | 0.184 % |
131.83/131.88 c | 186348 | 1087 176735 462650 | 2147483647 186346 53 | 0.191 % |
132.03/132.05 c | 186471 | 1087 176735 462650 | 2147483647 186469 53 | 0.191 % |
132.23/132.24 c | 186606 | 1087 176735 462650 | 2147483647 186604 53 | 0.190 % |
132.43/132.44 c | 186754 | 1087 176735 462650 | 2147483647 186752 53 | 0.190 % |
132.63/132.65 c | 186917 | 1087 176735 462650 | 2147483647 186915 53 | 0.190 % |
132.83/132.87 c | 187094 | 1087 176735 462650 | 2147483647 187092 53 | 0.191 % |
133.13/133.12 c | 187287 | 1087 176735 462650 | 2147483647 187285 53 | 0.184 % |
133.33/133.39 c | 187499 | 1087 176735 462650 | 2147483647 187497 53 | 0.184 % |
133.63/133.67 c | 187732 | 1087 176735 462650 | 2147483647 187730 53 | 0.190 % |
134.03/134.03 c | 187989 | 1087 176735 462650 | 2147483647 187987 53 | 0.184 % |
134.43/134.46 c | 188273 | 1087 176735 462650 | 2147483647 188271 53 | 0.190 % |
134.93/134.92 c | 188584 | 1087 176735 462650 | 2147483647 188582 53 | 0.190 % |
135.33/135.36 c | 188923 | 1087 176735 462650 | 2147483647 188921 53 | 0.184 % |
135.93/135.92 c | 189297 | 1087 176735 462650 | 2147483647 189295 53 | 0.190 % |
136.53/136.60 c | 189708 | 1087 176735 462650 | 2147483647 189706 53 | 0.190 % |
137.13/137.15 c | 190159 | 1087 176735 462650 | 2147483647 190157 53 | 0.190 % |
137.63/137.69 c | 190657 | 1087 176735 462650 | 2147483647 190655 53 | 0.190 % |
138.43/138.45 c | 191199 | 1087 176735 462650 | 2147483647 191197 53 | 0.190 % |
139.23/139.26 c | 191795 | 1087 176735 462650 | 2147483647 191793 53 | 0.190 % |
140.03/140.09 c | 192455 | 1087 176735 462650 | 2147483647 192453 53 | 0.190 % |
141.03/141.08 c | 193175 | 1087 176735 462650 | 2147483647 193173 53 | 0.190 % |
142.23/142.22 c | 193968 | 1087 176735 462650 | 2147483647 193966 53 | 0.190 % |
143.53/143.57 c | 194839 | 1087 176735 462650 | 2147483647 194837 53 | 0.190 % |
144.93/144.95 c | 195799 | 1087 176735 462650 | 2147483647 195797 53 | 0.190 % |
146.53/146.53 c | 196853 | 1087 176735 462650 | 2147483647 196851 53 | 0.184 % |
148.13/148.17 c | 198014 | 1087 176735 462650 | 2147483647 198012 53 | 0.190 % |
149.53/149.60 c | 199288 | 1087 176735 462650 | 2147483647 199286 53 | 0.184 % |
151.43/151.42 c | 200689 | 1087 176735 462650 | 2147483647 200687 53 | 0.190 % |
153.83/153.82 c | 202229 | 1087 176735 462650 | 2147483647 202227 53 | 0.184 % |
156.23/156.24 c | 203926 | 1087 176735 462650 | 2147483647 203924 53 | 0.190 % |
159.43/159.50 c | 205789 | 1087 176735 462650 | 2147483647 205787 53 | 0.190 % |
163.13/163.13 c | 207839 | 1087 176735 462650 | 2147483647 207837 53 | 0.190 % |
163.23/163.26 c | 207940 | 1087 176735 462650 | 2147483647 207938 53 | 0.190 % |
163.33/163.40 c | 208050 | 1087 176735 462650 | 2147483647 208048 53 | 0.190 % |
163.63/163.61 c | 208173 | 1087 176735 462650 | 2147483647 208171 53 | 0.184 % |
163.73/163.79 c | 208306 | 1087 176735 462650 | 2147483647 208304 53 | 0.184 % |
163.93/164.00 c | 208455 | 1087 176735 462650 | 2147483647 208453 53 | 0.184 % |
164.23/164.25 c | 208618 | 1087 176735 462650 | 2147483647 208616 53 | 0.190 % |
164.43/164.49 c | 208797 | 1087 176735 462650 | 2147483647 208795 53 | 0.190 % |
164.73/164.75 c | 208992 | 1087 176735 462650 | 2147483647 208990 53 | 0.184 % |
165.03/165.03 c | 209204 | 1087 176735 462650 | 2147483647 209202 53 | 0.190 % |
165.33/165.36 c | 209439 | 1087 176735 462650 | 2147483647 209437 53 | 0.190 % |
165.63/165.70 c | 209695 | 1087 176735 462650 | 2147483647 209693 53 | 0.190 % |
166.03/166.05 c | 209977 | 1087 176735 462650 | 2147483647 209975 53 | 0.190 % |
166.43/166.48 c | 210286 | 1087 176735 462650 | 210001 210284 53 | 0.190 % |
167.23/167.25 c | 210626 | 1087 176735 462650 | 210001 187855 53 | 0.190 % |
167.73/167.74 c | 210998 | 1087 176735 462650 | 210001 188227 53 | 0.190 % |
168.23/168.25 c | 211408 | 1087 176735 462650 | 210001 188637 53 | 0.190 % |
168.83/168.82 c | 211858 | 1087 176735 462650 | 210001 189087 53 | 0.190 % |
169.43/169.49 c | 212351 | 1087 176735 462650 | 210001 189580 53 | 0.190 % |
170.13/170.19 c | 212894 | 1087 176735 462650 | 210001 190123 53 | 0.190 % |
170.93/170.99 c | 213491 | 1087 176735 462650 | 210001 190720 53 | 0.190 % |
171.93/171.92 c | 214148 | 1087 176735 462650 | 210001 191377 53 | 0.190 % |
172.73/172.79 c | 214870 | 1087 176735 462650 | 210001 192099 53 | 0.190 % |
173.73/173.77 c | 215663 | 1087 176735 462650 | 210001 192892 53 | 0.190 % |
174.83/174.87 c | 216535 | 1087 176735 462650 | 210001 193764 53 | 0.190 % |
176.13/176.12 c | 217493 | 1087 176735 462650 | 210001 194722 53 | 0.184 % |
177.33/177.36 c | 218546 | 1087 176735 462650 | 210001 195775 53 | 0.184 % |
178.93/178.93 c | 219704 | 1087 176735 462650 | 210001 196933 54 | 0.184 % |
180.53/180.54 c | 220978 | 1087 176735 462650 | 2147483647 198207 54 | 0.190 % |
182.73/182.78 c | 222379 | 1087 176735 462650 | 2147483647 199608 54 | 0.190 % |
185.23/185.23 c | 223922 | 1087 176735 462650 | 2147483647 201151 54 | 0.190 % |
187.83/187.81 c | 225617 | 1087 176735 462650 | 2147483647 202846 53 | 0.190 % |
190.73/190.80 c | 227480 | 1087 176735 462650 | 2147483647 204709 53 | 0.190 % |
193.93/193.94 c | 229535 | 1087 176735 462650 | 2147483647 206764 53 | 0.190 % |
197.23/197.27 c | 231795 | 1087 176735 462650 | 207231 185832 53 | 0.184 % |
197.33/197.41 c | 231895 | 1087 176735 462650 | 207231 185932 53 | 0.190 % |
197.53/197.56 c | 232006 | 1087 176735 462650 | 207231 186043 53 | 0.190 % |
197.73/197.71 c | 232127 | 1087 176735 462650 | 207231 186164 53 | 0.184 % |
197.83/197.90 c | 232264 | 1087 176735 462650 | 207231 186301 53 | 0.184 % |
198.04/198.06 c | 232411 | 1087 176735 462650 | 207231 186448 53 | 0.190 % |
198.33/198.35 c | 232571 | 1087 176735 462650 | 207231 186608 53 | 0.190 % |
198.53/198.56 c | 232747 | 1087 176735 462650 | 207231 186784 53 | 0.184 % |
198.83/198.86 c | 232941 | 1087 176735 462650 | 207231 186978 53 | 0.190 % |
199.14/199.15 c | 233157 | 1087 176735 462650 | 207231 187194 53 | 0.190 % |
199.43/199.45 c | 233397 | 1087 176735 462650 | 207231 187434 53 | 0.190 % |
199.83/199.87 c | 233655 | 1087 176735 462650 | 207231 187692 53 | 0.190 % |
200.24/200.24 c | 233936 | 1087 176735 462650 | 207231 187973 53 | 0.190 % |
200.63/200.65 c | 234246 | 1087 176735 462650 | 207231 188283 53 | 0.190 % |
201.13/201.12 c | 234589 | 1087 176735 462650 | 207231 188626 53 | 0.184 % |
201.63/201.62 c | 234962 | 1087 176735 462650 | 207231 188999 53 | 0.184 % |
202.13/202.17 c | 235374 | 1087 176735 462650 | 207231 189411 53 | 0.184 % |
202.83/202.87 c | 235823 | 1087 176735 462650 | 207231 189860 53 | 0.190 % |
203.54/203.60 c | 236316 | 1087 176735 462650 | 207231 190353 53 | 0.190 % |
204.33/204.38 c | 236859 | 1087 176735 462650 | 207231 190896 53 | 0.190 % |
205.23/205.29 c | 237458 | 1087 176735 462650 | 207231 191495 53 | 0.190 % |
206.23/206.21 c | 238113 | 1087 176735 462650 | 207231 192150 53 | 0.190 % |
207.23/207.28 c | 238835 | 1087 176735 462650 | 207231 192872 53 | 0.190 % |
208.43/208.42 c | 239627 | 1087 176735 462650 | 207231 193664 53 | 0.190 % |
209.53/209.53 c | 240501 | 1087 176735 462650 | 2147483647 194538 53 | 0.190 % |
210.73/210.73 c | 241460 | 1087 176735 462650 | 2147483647 195497 53 | 0.184 % |
212.03/212.09 c | 242513 | 1087 176735 462650 | 2147483647 196550 53 | 0.184 % |
213.83/213.89 c | 243673 | 1087 176735 462650 | 2147483647 197710 54 | 0.184 % |
215.93/215.99 c | 244953 | 1087 176735 462650 | 2147483647 198990 54 | 0.190 % |
218.23/218.24 c | 246355 | 1087 176735 462650 | 2147483647 200392 54 | 0.190 % |
220.63/220.66 c | 247895 | 1087 176735 462650 | 2147483647 201932 54 | 0.190 % |
223.13/223.16 c | 249590 | 1087 176735 462650 | 2147483647 203627 53 | 0.190 % |
226.03/226.07 c | 251454 | 1087 176735 462650 | 204037 181753 55 | 0.184 % |
229.54/229.52 c | 253503 | 1087 176735 462650 | 204037 183802 56 | 0.184 % |
232.94/232.92 c | 255756 | 1087 176735 462650 | 204037 186055 56 | 0.184 % |
236.64/236.62 c | 258235 | 1087 176735 462650 | 204037 188534 56 | 0.190 % |
236.74/236.75 c | 258335 | 1087 176735 462650 | 204037 188634 56 | 0.190 % |
236.94/236.93 c | 258445 | 1087 176735 462650 | 204037 188744 56 | 0.190 % |
237.14/237.13 c | 258566 | 1087 176735 462650 | 204037 188865 56 | 0.190 % |
237.34/237.31 c | 258699 | 1087 176735 462650 | 204037 188998 56 | 0.184 % |
237.54/237.52 c | 258847 | 1087 176735 462650 | 204037 189146 56 | 0.190 % |
237.74/237.74 c | 259009 | 1087 176735 462650 | 204037 189308 56 | 0.190 % |
238.04/238.03 c | 259191 | 1087 176735 462650 | 204037 189490 56 | 0.184 % |
238.24/238.29 c | 259386 | 1087 176735 462650 | 204037 189685 56 | 0.190 % |
238.54/238.57 c | 259598 | 1087 176735 462650 | 204037 189897 56 | 0.190 % |
238.84/238.88 c | 259832 | 1087 176735 462650 | 204037 190131 56 | 0.184 % |
239.14/239.21 c | 260088 | 1087 176735 462650 | 190300 190387 56 | 0.184 % |
239.74/239.76 c | 260369 | 1087 176735 462650 | 190300 168827 56 | 0.184 % |
240.34/240.37 c | 260680 | 1087 176735 462650 | 190300 169138 56 | 0.190 % |
240.84/240.87 c | 261020 | 1087 176735 462650 | 190300 169478 56 | 0.184 % |
241.24/241.27 c | 261392 | 1087 176735 462650 | 190300 169850 57 | 0.184 % |
241.84/241.90 c | 261804 | 1087 176735 462650 | 190300 170262 57 | 0.190 % |
242.44/242.49 c | 262253 | 1087 176735 462650 | 190300 170711 57 | 0.190 % |
243.24/243.27 c | 262748 | 1087 176735 462650 | 190300 171206 56 | 0.190 % |
244.14/244.17 c | 263290 | 1087 176735 462650 | 190300 171748 56 | 0.190 % |
245.04/245.10 c | 263888 | 1087 176735 462650 | 190300 172346 56 | 0.190 % |
246.24/246.24 c | 264543 | 1087 176735 462650 | 190300 173001 57 | 0.190 % |
247.24/247.30 c | 265264 | 1087 176735 462650 | 190300 173722 57 | 0.184 % |
248.34/248.37 c | 266057 | 1087 176735 462650 | 190300 174515 57 | 0.190 % |
249.54/249.61 c | 266928 | 1087 176735 462650 | 190300 175386 57 | 0.184 % |
250.84/250.90 c | 267887 | 1087 176735 462650 | 190300 176345 57 | 0.184 % |
252.44/252.43 c | 268941 | 1087 176735 462650 | 190300 177399 57 | 0.190 % |
254.04/254.11 c | 270100 | 1087 176735 462650 | 178458 178558 57 | 0.190 % |
256.14/256.14 c | 271374 | 1087 176735 462650 | 178458 159306 57 | 0.190 % |
258.24/258.28 c | 272776 | 1087 176735 462650 | 178458 160708 57 | 0.190 % |
260.74/260.72 c | 274319 | 1087 176735 462650 | 178458 162251 57 | 0.190 % |
263.24/263.28 c | 276013 | 1087 176735 462650 | 178458 163945 57 | 0.190 % |
265.94/265.97 c | 277878 | 1087 176735 462650 | 178458 165810 58 | 0.184 % |
268.84/268.89 c | 279928 | 1087 176735 462650 | 178458 167860 58 | 0.190 % |
272.34/272.37 c | 282183 | 1087 176735 462650 | 167932 151354 57 | 0.190 % |
276.04/276.04 c | 284664 | 1087 176735 462650 | 167932 153835 57 | 0.190 % |
280.34/280.33 c | 287389 | 1087 176735 462650 | 167932 156560 56 | 0.190 % |
280.54/280.53 c | 287489 | 1087 176735 462650 | 167932 156660 56 | 0.190 % |
280.74/280.76 c | 287607 | 1087 176735 462650 | 167932 156778 56 | 0.190 % |
280.94/280.99 c | 287728 | 1087 176735 462650 | 167932 156899 56 | 0.190 % |
281.24/281.26 c | 287861 | 1087 176735 462650 | 167932 157032 56 | 0.190 % |
281.44/281.50 c | 288008 | 1087 176735 462650 | 167932 157179 56 | 0.190 % |
281.74/281.74 c | 288168 | 1087 176735 462650 | 167932 157339 56 | 0.184 % |
281.94/281.99 c | 288344 | 1087 176735 462650 | 167932 157515 56 | 0.184 % |
282.34/282.34 c | 288539 | 1087 176735 462650 | 167932 157710 56 | 0.190 % |
282.64/282.63 c | 288754 | 1087 176735 462650 | 167932 157925 56 | 0.184 % |
282.94/282.97 c | 288987 | 1087 176735 462650 | 167932 158158 56 | 0.184 % |
283.34/283.38 c | 289243 | 1087 176735 462650 | 167932 158414 56 | 0.190 % |
283.84/283.87 c | 289525 | 1087 176735 462650 | 167932 158696 56 | 0.190 % |
284.24/284.30 c | 289834 | 1087 176735 462650 | 167932 159005 56 | 0.184 % |
284.74/284.79 c | 290174 | 1087 176735 462650 | 159173 159345 56 | 0.190 % |
285.44/285.51 c | 290550 | 1087 176735 462650 | 159173 142174 57 | 0.184 % |
286.04/286.06 c | 290959 | 1087 176735 462650 | 159173 142583 58 | 0.184 % |
286.64/286.71 c | 291411 | 1087 176735 462650 | 159173 143035 57 | 0.190 % |
287.44/287.45 c | 291904 | 1087 176735 462650 | 159173 143528 57 | 0.190 % |
288.24/288.31 c | 292447 | 1087 176735 462650 | 159173 144071 57 | 0.190 % |
289.04/289.08 c | 293043 | 1087 176735 462650 | 159173 144667 57 | 0.190 % |
289.94/289.92 c | 293700 | 1087 176735 462650 | 159173 145324 58 | 0.184 % |
290.94/290.93 c | 294422 | 1087 176735 462650 | 159173 146046 58 | 0.190 % |
292.04/292.10 c | 295215 | 1087 176735 462650 | 159173 146839 57 | 0.190 % |
293.34/293.37 c | 296087 | 1087 176735 462650 | 159173 147711 57 | 0.190 % |
294.74/294.73 c | 297046 | 1087 176735 462650 | 159173 148670 58 | 0.184 % |
296.24/296.29 c | 298099 | 1087 176735 462650 | 159173 149723 58 | 0.184 % |
298.03/298.02 c | 299259 | 1087 176735 462650 | 159173 150883 59 | 0.184 % |
299.73/299.70 c | 300532 | 1087 176735 462650 | 2147483647 152156 59 | 0.190 % |
301.53/301.55 c | 301935 | 1087 176735 462650 | 2147483647 153559 59 | 0.184 % |
303.83/303.82 c | 303475 | 1087 176735 462650 | 2147483647 155099 59 | 0.184 % |
306.53/306.56 c | 305169 | 1087 176735 462650 | 2147483647 156793 59 | 0.184 % |
309.63/309.64 c | 307032 | 1087 176735 462650 | 2147483647 158656 59 | 0.190 % |
312.53/312.59 c | 309081 | 1087 176735 462650 | 2147483647 160705 60 | 0.184 % |
316.03/316.04 c | 311335 | 1087 176735 462650 | 161624 144626 61 | 0.184 % |
319.43/319.47 c | 313815 | 1087 176735 462650 | 161624 147106 61 | 0.190 % |
323.63/323.64 c | 316542 | 1087 176735 462650 | 161624 149833 60 | 0.190 % |
328.03/328.04 c | 319544 | 1087 176735 462650 | 161624 152835 62 | 0.184 % |
328.23/328.21 c | 319645 | 1087 176735 462650 | 161624 152936 62 | 0.184 % |
328.43/328.43 c | 319755 | 1087 176735 462650 | 161624 153046 62 | 0.184 % |
328.63/328.63 c | 319876 | 1087 176735 462650 | 161624 153167 62 | 0.190 % |
328.83/328.85 c | 320009 | 1087 176735 462650 | 153292 153300 62 | 0.190 % |
329.33/329.30 c | 320155 | 1087 176735 462650 | 153292 134730 64 | 0.184 % |
329.53/329.58 c | 320316 | 1087 176735 462650 | 153292 134891 64 | 0.190 % |
329.73/329.79 c | 320492 | 1087 176735 462650 | 153292 135067 64 | 0.190 % |
330.13/330.11 c | 320685 | 1087 176735 462650 | 153292 135260 64 | 0.190 % |
330.43/330.47 c | 320899 | 1087 176735 462650 | 153292 135474 64 | 0.184 % |
330.73/330.80 c | 321134 | 1087 176735 462650 | 153292 135709 63 | 0.190 % |
331.14/331.20 c | 321397 | 1087 176735 462650 | 153292 135972 63 | 0.190 % |
331.63/331.67 c | 321678 | 1087 176735 462650 | 153292 136253 63 | 0.190 % |
332.13/332.18 c | 321987 | 1087 176735 462650 | 153292 136562 63 | 0.190 % |
332.73/332.76 c | 322326 | 1087 176735 462650 | 153292 136901 63 | 0.190 % |
333.43/333.43 c | 322705 | 1087 176735 462650 | 153292 137280 63 | 0.190 % |
334.13/334.12 c | 323114 | 1087 176735 462650 | 153292 137689 63 | 0.190 % |
334.83/334.86 c | 323566 | 1087 176735 462650 | 153292 138141 63 | 0.190 % |
335.63/335.62 c | 324059 | 1087 176735 462650 | 153292 138634 63 | 0.184 % |
336.43/336.48 c | 324601 | 1087 176735 462650 | 153292 139176 64 | 0.184 % |
337.43/337.48 c | 325197 | 1087 176735 462650 | 153292 139772 64 | 0.190 % |
338.43/338.46 c | 325854 | 1087 176735 462650 | 153292 140429 64 | 0.190 % |
339.53/339.52 c | 326575 | 1087 176735 462650 | 153292 141150 64 | 0.190 % |
340.73/340.74 c | 327367 | 1087 176735 462650 | 153292 141942 64 | 0.184 % |
342.03/342.05 c | 328238 | 1087 176735 462650 | 153292 142813 64 | 0.184 % |
343.53/343.52 c | 329196 | 1087 176735 462650 | 153292 143771 64 | 0.190 % |
345.13/345.16 c | 330249 | 1087 176735 462650 | 144579 144824 64 | 0.184 % |
347.13/347.12 c | 331407 | 1087 176735 462650 | 144579 127768 62 | 0.190 % |
349.23/349.24 c | 332683 | 1087 176735 462650 | 144579 129044 62 | 0.190 % |
351.63/351.61 c | 334088 | 1087 176735 462650 | 144579 130449 62 | 0.190 % |
353.53/353.58 c | 335630 | 1087 176735 462650 | 144579 131991 63 | 0.184 % |
356.04/356.02 c | 337325 | 1087 176735 462650 | 144579 133686 63 | 0.190 % |
358.94/359.00 c | 339188 | 1087 176735 462650 | 144579 135549 63 | 0.190 % |
362.44/362.43 c | 341238 | 1087 176735 462650 | 136361 119668 64 | 0.190 % |
366.24/366.28 c | 343491 | 1087 176735 462650 | 136361 121921 63 | 0.190 % |
369.94/369.99 c | 345969 | 1087 176735 462650 | 136361 124399 63 | 0.190 % |
373.94/373.98 c | 348694 | 1087 176735 462650 | 136361 127124 63 | 0.190 % |
378.24/378.29 c | 351694 | 1087 176735 462650 | 128430 112502 60 | 0.184 % |
383.04/383.05 c | 354991 | 1087 176735 462650 | 128430 115799 60 | 0.190 % |
383.24/383.25 c | 355093 | 1087 176735 462650 | 128430 115901 60 | 0.190 % |
383.34/383.39 c | 355204 | 1087 176735 462650 | 128430 116012 60 | 0.184 % |
383.54/383.55 c | 355325 | 1087 176735 462650 | 128430 116133 60 | 0.184 % |
383.74/383.74 c | 355460 | 1087 176735 462650 | 128430 116268 60 | 0.190 % |
383.94/383.94 c | 355606 | 1087 176735 462650 | 128430 116414 60 | 0.190 % |
384.14/384.19 c | 355768 | 1087 176735 462650 | 128430 116576 60 | 0.190 % |
384.44/384.47 c | 355944 | 1087 176735 462650 | 128430 116752 60 | 0.190 % |
384.74/384.76 c | 356138 | 1087 176735 462650 | 128430 116946 60 | 0.190 % |
385.04/385.07 c | 356350 | 1087 176735 462650 | 128430 117158 60 | 0.190 % |
385.34/385.34 c | 356583 | 1087 176735 462650 | 128430 117391 60 | 0.190 % |
385.64/385.62 c | 356839 | 1087 176735 462650 | 128430 117647 60 | 0.184 % |
385.84/385.86 c | 357120 | 1087 176735 462650 | 128430 117928 60 | 0.184 % |
386.24/386.25 c | 357430 | 1087 176735 462650 | 128430 118238 60 | 0.190 % |
386.74/386.78 c | 357772 | 1087 176735 462650 | 128430 118580 60 | 0.190 % |
387.44/387.43 c | 358144 | 1087 176735 462650 | 128430 118952 60 | 0.190 % |
388.04/388.09 c | 358553 | 1087 176735 462650 | 128430 119361 60 | 0.190 % |
388.64/388.61 c | 359003 | 1087 176735 462650 | 128430 119811 60 | 0.184 % |
389.34/389.32 c | 359497 | 1087 176735 462650 | 128430 120305 61 | 0.184 % |
390.14/390.15 c | 360041 | 1087 176735 462650 | 120809 120849 61 | 0.184 % |
391.04/391.02 c | 360637 | 1087 176735 462650 | 120809 107393 61 | 0.184 % |
391.84/391.81 c | 361293 | 1087 176735 462650 | 120809 108049 61 | 0.184 % |
392.74/392.72 c | 362016 | 1087 176735 462650 | 120809 108772 61 | 0.190 % |
393.84/393.88 c | 362808 | 1087 176735 462650 | 120809 109564 61 | 0.184 % |
395.34/395.35 c | 363680 | 1087 176735 462650 | 120809 110436 61 | 0.190 % |
396.94/396.95 c | 364640 | 1087 176735 462650 | 120809 111396 61 | 0.184 % |
398.74/398.71 c | 365693 | 1087 176735 462650 | 120809 112449 61 | 0.190 % |
400.54/400.58 c | 366852 | 1087 176735 462650 | 120809 113608 61 | 0.190 % |
402.64/402.65 c | 368125 | 1087 176735 462650 | 120809 114881 61 | 0.190 % |
404.74/404.72 c | 369526 | 1087 176735 462650 | 120809 116282 60 | 0.190 % |
407.24/407.23 c | 371068 | 1087 176735 462650 | 116757 104099 62 | 0.184 % |
409.94/409.94 c | 372763 | 1087 176735 462650 | 116757 105794 63 | 0.184 % |
413.14/413.11 c | 374626 | 1087 176735 462650 | 116757 107657 62 | 0.190 % |
416.44/416.50 c | 376675 | 1087 176735 462650 | 116757 109706 62 | 0.190 % |
419.84/419.82 c | 378929 | 1087 176735 462650 | 116757 111960 62 | 0.190 % |
423.14/423.18 c | 381410 | 1087 176735 462650 | 113032 100140 60 | 0.190 % |
427.14/427.14 c | 384136 | 1087 176735 462650 | 113032 102866 60 | 0.190 % |
431.54/431.54 c | 387133 | 1087 176735 462650 | 113032 105863 59 | 0.190 % |
436.24/436.30 c | 390430 | 1087 176735 462650 | 108731 109160 59 | 0.190 % |
441.34/441.31 c | 394060 | 1087 176735 462650 | 108731 98422 56 | 0.190 % |
441.44/441.45 c | 394162 | 1087 176735 462650 | 108731 98524 56 | 0.184 % |
441.54/441.57 c | 394272 | 1087 176735 462650 | 108731 98634 56 | 0.184 % |
441.84/441.82 c | 394394 | 1087 176735 462650 | 108731 98756 56 | 0.184 % |
442.04/442.03 c | 394531 | 1087 176735 462650 | 108731 98893 56 | 0.190 % |
442.14/442.19 c | 394677 | 1087 176735 462650 | 108731 99039 56 | 0.184 % |
442.34/442.37 c | 394838 | 1087 176735 462650 | 108731 99200 56 | 0.190 % |
442.54/442.57 c | 395014 | 1087 176735 462650 | 108731 99376 56 | 0.190 % |
442.84/442.84 c | 395209 | 1087 176735 462650 | 108731 99571 56 | 0.184 % |
443.04/443.09 c | 395421 | 1087 176735 462650 | 108731 99783 56 | 0.184 % |
443.35/443.36 c | 395655 | 1087 176735 462650 | 108731 100017 56 | 0.190 % |
443.74/443.73 c | 395922 | 1087 176735 462650 | 108731 100284 56 | 0.190 % |
444.14/444.13 c | 396205 | 1087 176735 462650 | 108731 100567 56 | 0.184 % |
444.54/444.53 c | 396515 | 1087 176735 462650 | 108731 100877 56 | 0.184 % |
444.94/444.93 c | 396854 | 1087 176735 462650 | 108731 101216 57 | 0.184 % |
445.44/445.43 c | 397226 | 1087 176735 462650 | 108731 101588 57 | 0.190 % |
446.04/446.02 c | 397636 | 1087 176735 462650 | 108731 101998 57 | 0.190 % |
446.74/446.71 c | 398085 | 1087 176735 462650 | 108731 102447 57 | 0.190 % |
447.34/447.36 c | 398579 | 1087 176735 462650 | 108731 102941 57 | 0.184 % |
448.24/448.22 c | 399124 | 1087 176735 462650 | 108731 103486 57 | 0.184 % |
449.14/449.11 c | 399720 | 1087 176735 462650 | 108731 104082 57 | 0.190 % |
450.24/450.24 c | 400375 | 1087 176735 462650 | 104362 93305 54 | 0.190 % |
451.34/451.38 c | 401095 | 1087 176735 462650 | 104362 94025 53 | 0.190 % |
452.24/452.27 c | 401887 | 1087 176735 462650 | 104362 94817 54 | 0.184 % |
453.44/453.41 c | 402760 | 1087 176735 462650 | 104362 95690 54 | 0.190 % |
454.54/454.59 c | 403718 | 1087 176735 462650 | 104362 96648 54 | 0.190 % |
455.74/455.80 c | 404771 | 1087 176735 462650 | 104362 97701 54 | 0.190 % |
457.54/457.55 c | 405929 | 1087 176735 462650 | 104362 98859 54 | 0.190 % |
459.14/459.13 c | 407203 | 1087 176735 462650 | 104362 100133 54 | 0.190 % |
461.04/461.01 c | 408604 | 1087 176735 462650 | 104362 101534 54 | 0.190 % |
463.15/463.19 c | 410146 | 1087 176735 462650 | 2147483647 103076 54 | 0.190 % |
465.54/465.60 c | 411844 | 1087 176735 462650 | 2147483647 104774 53 | 0.190 % |
467.94/467.98 c | 413709 | 1087 176735 462650 | 2147483647 106639 54 | 0.190 % |
470.85/470.83 c | 415761 | 1087 176735 462650 | 2147483647 108691 53 | 0.190 % |
474.44/474.49 c | 418014 | 1087 176735 462650 | 2147483647 110944 53 | 0.190 % |
477.64/477.65 c | 420492 | 1087 176735 462650 | 2147483647 113422 55 | 0.184 % |
481.35/481.36 c | 423218 | 1087 176735 462650 | 2147483647 116148 55 | 0.190 % |
485.95/485.99 c | 426216 | 1087 176735 462650 | 2147483647 119146 55 | 0.184 % |
491.35/491.31 c | 429513 | 1087 176735 462650 | 2147483647 122443 55 | 0.190 % |
496.25/496.23 c | 433140 | 1087 176735 462650 | 122930 110478 56 | 0.184 % |
502.25/502.21 c | 437127 | 1087 176735 462650 | 122930 114465 56 | 0.190 % |
502.35/502.34 c | 437227 | 1087 176735 462650 | 122930 114565 56 | 0.190 % |
502.55/502.54 c | 437340 | 1087 176735 462650 | 122930 114678 56 | 0.190 % |
502.65/502.71 c | 437465 | 1087 176735 462650 | 122930 114803 56 | 0.190 % |
502.95/502.95 c | 437602 | 1087 176735 462650 | 122930 114940 56 | 0.190 % |
503.15/503.20 c | 437750 | 1087 176735 462650 | 122930 115088 56 | 0.190 % |
503.45/503.45 c | 437913 | 1087 176735 462650 | 122930 115251 56 | 0.184 % |
503.75/503.74 c | 438090 | 1087 176735 462650 | 122930 115428 56 | 0.190 % |
503.95/503.99 c | 438284 | 1087 176735 462650 | 122930 115622 56 | 0.184 % |
504.25/504.25 c | 438496 | 1087 176735 462650 | 122930 115834 56 | 0.184 % |
504.55/504.60 c | 438729 | 1087 176735 462650 | 122930 116067 56 | 0.190 % |
505.05/505.04 c | 438985 | 1087 176735 462650 | 122930 116323 56 | 0.190 % |
505.35/505.39 c | 439266 | 1087 176735 462650 | 122930 116604 56 | 0.184 % |
505.85/505.86 c | 439578 | 1087 176735 462650 | 122930 116916 56 | 0.190 % |
506.35/506.33 c | 439917 | 1087 176735 462650 | 122930 117255 56 | 0.184 % |
506.95/506.97 c | 440291 | 1087 176735 462650 | 117339 117629 56 | 0.190 % |
507.65/507.69 c | 440700 | 1087 176735 462650 | 117339 103418 56 | 0.190 % |
508.35/508.38 c | 441149 | 1087 176735 462650 | 117339 103867 56 | 0.190 % |
509.05/509.05 c | 441643 | 1087 176735 462650 | 117339 104361 56 | 0.184 % |
509.75/509.76 c | 442185 | 1087 176735 462650 | 117339 104903 56 | 0.190 % |
510.55/510.60 c | 442781 | 1087 176735 462650 | 117339 105499 56 | 0.190 % |
511.55/511.59 c | 443437 | 1087 176735 462650 | 117339 106155 56 | 0.190 % |
512.75/512.73 c | 444158 | 1087 176735 462650 | 117339 106876 56 | 0.190 % |
513.85/513.82 c | 444951 | 1087 176735 462650 | 117339 107669 56 | 0.190 % |
515.15/515.13 c | 445823 | 1087 176735 462650 | 117339 108541 56 | 0.190 % |
516.65/516.69 c | 446782 | 1087 176735 462650 | 117339 109500 56 | 0.190 % |
518.05/518.01 c | 447838 | 1087 176735 462650 | 117339 110556 56 | 0.190 % |
519.85/519.82 c | 448997 | 1087 176735 462650 | 117339 111715 55 | 0.190 % |
521.95/521.91 c | 450270 | 1087 176735 462650 | 112718 112988 55 | 0.190 % |
523.95/524.00 c | 451672 | 1087 176735 462650 | 112718 102642 54 | 0.190 % |
526.45/526.42 c | 453215 | 1087 176735 462650 | 112718 104185 54 | 0.190 % |
528.95/528.93 c | 454909 | 1087 176735 462650 | 112718 105879 53 | 0.190 % |
531.45/531.46 c | 456773 | 1087 176735 462650 | 112718 107743 53 | 0.190 % |
535.05/535.03 c | 458822 | 1087 176735 462650 | 112718 109792 53 | 0.190 % |
538.55/538.59 c | 461075 | 1087 176735 462650 | 110970 99847 51 | 0.190 % |
541.55/541.57 c | 463554 | 1087 176735 462650 | 110970 102326 53 | 0.184 % |
544.65/544.65 c | 466281 | 1087 176735 462650 | 110970 105053 55 | 0.184 % |
549.25/549.26 c | 469281 | 1087 176735 462650 | 110970 108053 56 | 0.184 % |
554.25/554.30 c | 472582 | 1087 176735 462650 | 108772 99996 56 | 0.190 % |
559.25/559.28 c | 476208 | 1087 176735 462650 | 108772 103622 59 | 0.184 % |
564.85/564.83 c | 480195 | 1087 176735 462650 | 107415 107609 58 | 0.190 % |
571.35/571.38 c | 484581 | 1087 176735 462650 | 107415 98547 57 | 0.190 % |
571.55/571.52 c | 484683 | 1087 176735 462650 | 107415 98649 57 | 0.184 % |
571.75/571.71 c | 484793 | 1087 176735 462650 | 107415 98759 57 | 0.190 % |
571.85/571.91 c | 484914 | 1087 176735 462650 | 107415 98880 57 | 0.190 % |
572.06/572.06 c | 485049 | 1087 176735 462650 | 107415 99015 57 | 0.190 % |
572.25/572.25 c | 485197 | 1087 176735 462650 | 107415 99163 57 | 0.184 % |
572.45/572.44 c | 485359 | 1087 176735 462650 | 107415 99325 57 | 0.184 % |
572.65/572.70 c | 485542 | 1087 176735 462650 | 107415 99508 57 | 0.190 % |
572.95/572.96 c | 485735 | 1087 176735 462650 | 107415 99701 57 | 0.184 % |
573.25/573.27 c | 485947 | 1087 176735 462650 | 107415 99913 57 | 0.184 % |
573.55/573.55 c | 486180 | 1087 176735 462650 | 107415 100146 57 | 0.184 % |
573.85/573.90 c | 486436 | 1087 176735 462650 | 107415 100402 57 | 0.190 % |
574.26/574.25 c | 486718 | 1087 176735 462650 | 107415 100684 57 | 0.190 % |
574.75/574.72 c | 487027 | 1087 176735 462650 | 107415 100993 57 | 0.190 % |
575.25/575.23 c | 487366 | 1087 176735 462650 | 107415 101332 57 | 0.184 % |
575.75/575.75 c | 487738 | 1087 176735 462650 | 107415 101704 57 | 0.184 % |
576.35/576.38 c | 488147 | 1087 176735 462650 | 107415 102113 58 | 0.184 % |
576.95/577.00 c | 488598 | 1087 176735 462650 | 107415 102564 57 | 0.184 % |
577.56/577.57 c | 489098 | 1087 176735 462650 | 107415 103064 58 | 0.184 % |
578.35/578.31 c | 489640 | 1087 176735 462650 | 107415 103606 58 | 0.184 % |
579.25/579.27 c | 490240 | 1087 176735 462650 | 103966 104206 58 | 0.184 % |
580.35/580.36 c | 490899 | 1087 176735 462650 | 103966 92646 58 | 0.190 % |
581.55/581.52 c | 491619 | 1087 176735 462650 | 103966 93366 58 | 0.190 % |
582.65/582.64 c | 492412 | 1087 176735 462650 | 103966 94159 58 | 0.190 % |
583.85/583.88 c | 493287 | 1087 176735 462650 | 103966 95034 57 | 0.190 % |
585.15/585.18 c | 494245 | 1087 176735 462650 | 103966 95992 57 | 0.191 % |
586.65/586.63 c | 495299 | 1087 176735 462650 | 103966 97046 57 | 0.190 % |
588.25/588.27 c | 496458 | 1087 176735 462650 | 103966 98205 57 | 0.190 % |
589.85/589.84 c | 497733 | 1087 176735 462650 | 103966 99480 57 | 0.190 % |
591.86/591.86 c | 499135 | 1087 176735 462650 | 103966 100882 57 | 0.190 % |
594.35/594.40 c | 500675 | 1087 176735 462650 | 101748 90413 54 | 0.190 % |
597.05/597.05 c | 502369 | 1087 176735 462650 | 101748 92107 54 | 0.190 % |
600.25/600.24 c | 504236 | 1087 176735 462650 | 101748 93974 53 | 0.190 % |
603.55/603.52 c | 506286 | 1087 176735 462650 | 101748 96024 53 | 0.190 % |
606.66/606.62 c | 508541 | 1087 176735 462650 | 101748 98279 53 | 0.190 % |
609.86/609.88 c | 511020 | 1087 176735 462650 | 99738 89530 55 | 0.184 % |
613.47/613.49 c | 513748 | 1087 176735 462650 | 99738 92258 58 | 0.184 % |
617.77/617.79 c | 516745 | 1087 176735 462650 | 99738 95255 58 | 0.184 % |
622.67/622.71 c | 520044 | 1087 176735 462650 | 2147483647 98554 57 | 0.190 % |
628.17/628.18 c | 523673 | 1087 176735 462650 | 2147483647 102183 60 | 0.184 % |
635.47/635.46 c | 527662 | 1087 176735 462650 | 2147483647 106172 60 | 0.190 % |
643.27/643.25 c | 532049 | 1087 176735 462650 | 108517 95161 62 | 0.190 % |
651.27/651.24 c | 536874 | 1087 176735 462650 | 108517 99986 65 | 0.184 % |
651.37/651.40 c | 536975 | 1087 176735 462650 | 108517 100087 65 | 0.184 % |
651.57/651.61 c | 537086 | 1087 176735 462650 | 108517 100198 65 | 0.190 % |
651.77/651.77 c | 537208 | 1087 176735 462650 | 108517 100320 65 | 0.184 % |
651.97/651.97 c | 537342 | 1087 176735 462650 | 108517 100454 65 | 0.184 % |
652.17/652.22 c | 537488 | 1087 176735 462650 | 108517 100600 65 | 0.190 % |
652.47/652.48 c | 537648 | 1087 176735 462650 | 108517 100760 65 | 0.184 % |
652.77/652.78 c | 537825 | 1087 176735 462650 | 108517 100937 65 | 0.190 % |
653.17/653.21 c | 538020 | 1087 176735 462650 | 108517 101132 65 | 0.191 % |
653.57/653.52 c | 538233 | 1087 176735 462650 | 108517 101345 65 | 0.184 % |
653.87/653.88 c | 538466 | 1087 176735 462650 | 108517 101578 65 | 0.184 % |
654.27/654.31 c | 538723 | 1087 176735 462650 | 108517 101835 65 | 0.190 % |
654.77/654.81 c | 539007 | 1087 176735 462650 | 108517 102119 65 | 0.190 % |
655.17/655.20 c | 539317 | 1087 176735 462650 | 108517 102429 65 | 0.184 % |
655.77/655.77 c | 539658 | 1087 176735 462650 | 108517 102770 65 | 0.184 % |
656.56/656.54 c | 540032 | 1087 176735 462650 | 103113 103144 65 | 0.184 % |
657.46/657.41 c | 540445 | 1087 176735 462650 | 103113 88537 61 | 0.184 % |
658.16/658.19 c | 540896 | 1087 176735 462650 | 103113 88988 61 | 0.184 % |
658.86/658.91 c | 541389 | 1087 176735 462650 | 103113 89481 61 | 0.184 % |
659.76/659.72 c | 541932 | 1087 176735 462650 | 103113 90024 61 | 0.190 % |
660.66/660.70 c | 542528 | 1087 176735 462650 | 103113 90620 61 | 0.190 % |
661.56/661.52 c | 543186 | 1087 176735 462650 | 103113 91278 62 | 0.184 % |
662.56/662.55 c | 543906 | 1087 176735 462650 | 103113 91998 62 | 0.184 % |
663.76/663.76 c | 544698 | 1087 176735 462650 | 103113 92790 62 | 0.184 % |
665.26/665.27 c | 545570 | 1087 176735 462650 | 103113 93662 62 | 0.190 % |
666.96/666.93 c | 546528 | 1087 176735 462650 | 103113 94620 62 | 0.184 % |
668.96/668.92 c | 547584 | 1087 176735 462650 | 103113 95676 63 | 0.184 % |
670.66/670.68 c | 548743 | 1087 176735 462650 | 103113 96835 64 | 0.184 % |
672.76/672.72 c | 550017 | 1087 176735 462650 | 98092 98109 64 | 0.190 % |
675.06/675.04 c | 551417 | 1087 176735 462650 | 98092 86045 66 | 0.184 % |
677.36/677.31 c | 552960 | 1087 176735 462650 | 98092 87588 66 | 0.190 % |
680.06/680.05 c | 554655 | 1087 176735 462650 | 98092 89283 65 | 0.190 % |
683.17/683.19 c | 556522 | 1087 176735 462650 | 98092 91150 65 | 0.184 % |
686.56/686.59 c | 558572 | 1087 176735 462650 | 98092 93200 66 | 0.184 % |
690.16/690.20 c | 560825 | 1087 176735 462650 | 94628 81860 71 | 0.184 % |
694.06/694.09 c | 563304 | 1087 176735 462650 | 94628 84339 72 | 0.184 % |
698.86/698.88 c | 566029 | 1087 176735 462650 | 94628 87064 71 | 0.190 % |
704.66/704.62 c | 569026 | 1087 176735 462650 | 94628 90061 73 | 0.184 % |
710.86/710.87 c | 572322 | 1087 176735 462650 | 91036 79647 73 | 0.184 % |
717.76/717.73 c | 575950 | 1087 176735 462650 | 91036 83275 73 | 0.184 % |
726.26/726.27 c | 579942 | 1087 176735 462650 | 91036 87267 73 | 0.190 % |
735.07/735.10 c | 584328 | 1087 176735 462650 | 87325 75846 73 | 0.190 % |
744.37/744.33 c | 589152 | 1087 176735 462650 | 87325 80670 72 | 0.190 % |
752.97/752.93 c | 594458 | 1087 176735 462650 | 81523 71418 67 | 0.190 % |
753.17/753.12 c | 594559 | 1087 176735 462650 | 81523 71519 67 | 0.190 % |
753.27/753.29 c | 594669 | 1087 176735 462650 | 81523 71629 67 | 0.184 % |
753.47/753.44 c | 594791 | 1087 176735 462650 | 81523 71751 67 | 0.184 % |
753.67/753.67 c | 594924 | 1087 176735 462650 | 81523 71884 67 | 0.190 % |
753.87/753.87 c | 595071 | 1087 176735 462650 | 81523 72031 67 | 0.190 % |
754.07/754.08 c | 595231 | 1087 176735 462650 | 81523 72191 67 | 0.184 % |
754.37/754.35 c | 595407 | 1087 176735 462650 | 81523 72367 67 | 0.184 % |
754.67/754.66 c | 595600 | 1087 176735 462650 | 81523 72560 67 | 0.190 % |
754.97/754.92 c | 595814 | 1087 176735 462650 | 81523 72774 67 | 0.190 % |
755.27/755.29 c | 596048 | 1087 176735 462650 | 81523 73008 67 | 0.190 % |
755.67/755.65 c | 596304 | 1087 176735 462650 | 81523 73264 67 | 0.184 % |
756.07/756.07 c | 596585 | 1087 176735 462650 | 81523 73545 67 | 0.184 % |
756.67/756.62 c | 596895 | 1087 176735 462650 | 81523 73855 68 | 0.184 % |
757.17/757.16 c | 597236 | 1087 176735 462650 | 81523 74196 68 | 0.184 % |
757.77/757.74 c | 597608 | 1087 176735 462650 | 81523 74568 67 | 0.190 % |
758.37/758.35 c | 598019 | 1087 176735 462650 | 81523 74979 67 | 0.190 % |
758.97/758.99 c | 598469 | 1087 176735 462650 | 81523 75429 68 | 0.184 % |
759.67/759.71 c | 598966 | 1087 176735 462650 | 81523 75926 68 | 0.190 % |
760.57/760.60 c | 599511 | 1087 176735 462650 | 81523 76471 67 | 0.190 % |
761.37/761.33 c | 600110 | 1087 176735 462650 | 76961 77070 68 | 0.184 % |
762.27/762.27 c | 600765 | 1087 176735 462650 | 76961 67386 64 | 0.184 % |
763.27/763.26 c | 601485 | 1087 176735 462650 | 76961 68106 63 | 0.184 % |
764.37/764.40 c | 602277 | 1087 176735 462650 | 76961 68898 63 | 0.190 % |
765.67/765.66 c | 603154 | 1087 176735 462650 | 76961 69775 63 | 0.190 % |
767.17/767.14 c | 604115 | 1087 176735 462650 | 76961 70736 63 | 0.190 % |
768.47/768.50 c | 605171 | 1087 176735 462650 | 76961 71792 63 | 0.190 % |
770.07/770.06 c | 606329 | 1087 176735 462650 | 76961 72950 63 | 0.190 % |
771.77/771.79 c | 607606 | 1087 176735 462650 | 76961 74227 63 | 0.190 % |
773.77/773.73 c | 609006 | 1087 176735 462650 | 76961 75627 63 | 0.190 % |
776.07/776.10 c | 610546 | 1087 176735 462650 | 76624 68579 59 | 0.184 % |
778.47/778.43 c | 612242 | 1087 176735 462650 | 76624 70275 60 | 0.184 % |
780.77/780.79 c | 614105 | 1087 176735 462650 | 76624 72138 60 | 0.190 % |
783.87/783.89 c | 616154 | 1087 176735 462650 | 76624 74187 60 | 0.190 % |
787.67/787.63 c | 618407 | 1087 176735 462650 | 76624 76440 61 | 0.190 % |
791.27/791.29 c | 620885 | 1087 176735 462650 | 69957 63670 54 | 0.190 % |
794.57/794.56 c | 623610 | 1087 176735 462650 | 69957 66395 54 | 0.190 % |
797.97/797.95 c | 626607 | 1087 176735 462650 | 69957 69392 53 | 0.190 % |
801.47/801.46 c | 629903 | 1087 176735 462650 | 69957 65663 53 | 0.190 % |
805.57/805.56 c | 633529 | 1087 176735 462650 | 2147483647 69289 53 | 0.190 % |
810.57/810.60 c | 637516 | 1087 176735 462650 | 2147483647 73276 57 | 0.184 % |
816.37/816.33 c | 641903 | 1087 176735 462650 | 2147483647 77663 62 | 0.184 % |
823.37/823.33 c | 646726 | 1087 176735 462650 | 2147483647 82486 61 | 0.190 % |
831.47/831.50 c | 652037 | 1087 176735 462650 | 85761 78553 62 | 0.190 % |
839.27/839.30 c | 657872 | 1087 176735 462650 | 85761 84388 68 | 0.184 % |
839.47/839.45 c | 657972 | 1087 176735 462650 | 85761 84488 68 | 0.190 % |
839.57/839.61 c | 658082 | 1087 176735 462650 | 85761 84598 68 | 0.184 % |
839.87/839.83 c | 658203 | 1087 176735 462650 | 85761 84719 68 | 0.184 % |
840.07/840.06 c | 658337 | 1087 176735 462650 | 85761 84853 68 | 0.190 % |
840.27/840.31 c | 658483 | 1087 176735 462650 | 85761 84999 68 | 0.190 % |
840.57/840.58 c | 658644 | 1087 176735 462650 | 85761 85160 68 | 0.190 % |
840.87/840.88 c | 658820 | 1087 176735 462650 | 85761 85336 68 | 0.190 % |
841.27/841.24 c | 659013 | 1087 176735 462650 | 85761 85529 68 | 0.190 % |
841.58/841.58 c | 659229 | 1087 176735 462650 | 85761 85745 68 | 0.184 % |
841.97/841.94 c | 659463 | 1087 176735 462650 | 85761 85979 68 | 0.184 % |
842.57/842.55 c | 659721 | 1087 176735 462650 | 85761 76286 68 | 0.190 % |
842.97/842.96 c | 660002 | 1087 176735 462650 | 76566 76567 68 | 0.190 % |
843.37/843.38 c | 660311 | 1087 176735 462650 | 76566 76876 68 | 0.184 % |
843.87/843.83 c | 660650 | 1087 176735 462650 | 76566 68381 66 | 0.184 % |
844.27/844.25 c | 661023 | 1087 176735 462650 | 76566 68754 66 | 0.184 % |
844.67/844.69 c | 661434 | 1087 176735 462650 | 76566 69165 66 | 0.184 % |
845.37/845.40 c | 661886 | 1087 176735 462650 | 76566 69617 66 | 0.184 % |
846.17/846.11 c | 662381 | 1087 176735 462650 | 76566 70112 66 | 0.190 % |
846.97/846.96 c | 662928 | 1087 176735 462650 | 76566 70659 66 | 0.190 % |
847.87/847.85 c | 663524 | 1087 176735 462650 | 76566 71255 66 | 0.190 % |
848.77/848.74 c | 664179 | 1087 176735 462650 | 76566 71910 67 | 0.184 % |
849.77/849.80 c | 664899 | 1087 176735 462650 | 76566 72630 67 | 0.184 % |
850.97/850.93 c | 665693 | 1087 176735 462650 | 76566 73424 67 | 0.190 % |
852.17/852.17 c | 666564 | 1087 176735 462650 | 76566 74295 67 | 0.190 % |
853.47/853.45 c | 667523 | 1087 176735 462650 | 76566 75254 68 | 0.184 % |
855.07/855.10 c | 668579 | 1087 176735 462650 | 76566 76310 68 | 0.184 % |
856.67/856.68 c | 669743 | 1087 176735 462650 | 76566 69762 69 | 0.184 % |
858.57/858.56 c | 671016 | 1087 176735 462650 | 2147483647 71035 69 | 0.184 % |
860.58/860.55 c | 672418 | 1087 176735 462650 | 2147483647 72437 70 | 0.184 % |
862.88/862.83 c | 673961 | 1087 176735 462650 | 2147483647 73980 70 | 0.190 % |
865.58/865.55 c | 675657 | 1087 176735 462650 | 2147483647 75676 70 | 0.190 % |
868.28/868.24 c | 677522 | 1087 176735 462650 | 2147483647 77541 69 | 0.190 % |
871.58/871.53 c | 679577 | 1087 176735 462650 | 2147483647 79596 70 | 0.184 % |
874.88/874.90 c | 681832 | 1087 176735 462650 | 80019 72888 75 | 0.184 % |
878.78/878.77 c | 684312 | 1087 176735 462650 | 80019 75368 75 | 0.190 % |
882.78/882.81 c | 687039 | 1087 176735 462650 | 80019 78095 73 | 0.190 % |
887.18/887.16 c | 690036 | 1087 176735 462650 | 71960 71996 73 | 0.184 % |
891.78/891.78 c | 693332 | 1087 176735 462650 | 71960 67220 74 | 0.184 % |
896.98/897.01 c | 696957 | 1087 176735 462650 | 71960 70845 74 | 0.190 % |
902.88/902.89 c | 700944 | 1087 176735 462650 | 65600 58962 68 | 0.190 % |
909.28/909.23 c | 705329 | 1087 176735 462650 | 65600 63347 66 | 0.190 % |
916.08/916.08 c | 710153 | 1087 176735 462650 | 2147483647 61563 63 | 0.190 % |
923.58/923.62 c | 715458 | 1087 176735 462650 | 2147483647 66868 62 | 0.190 % |
930.78/930.81 c | 721293 | 1087 176735 462650 | 2147483647 72703 62 | 0.190 % |
940.18/940.18 c | 727713 | 1087 176735 462650 | 2147483647 79123 60 | 0.190 % |
940.38/940.32 c | 727815 | 1087 176735 462650 | 2147483647 79225 60 | 0.190 % |
940.48/940.49 c | 727925 | 1087 176735 462650 | 2147483647 79335 60 | 0.190 % |
940.68/940.66 c | 728047 | 1087 176735 462650 | 2147483647 79457 60 | 0.184 % |
940.88/940.89 c | 728180 | 1087 176735 462650 | 2147483647 79590 60 | 0.184 % |
941.08/941.09 c | 728329 | 1087 176735 462650 | 2147483647 79739 60 | 0.184 % |
941.38/941.35 c | 728490 | 1087 176735 462650 | 2147483647 79900 60 | 0.190 % |
941.69/941.64 c | 728666 | 1087 176735 462650 | 2147483647 80076 60 | 0.184 % |
941.88/941.91 c | 728860 | 1087 176735 462650 | 2147483647 80270 60 | 0.190 % |
942.18/942.16 c | 729072 | 1087 176735 462650 | 2147483647 80482 60 | 0.184 % |
942.48/942.51 c | 729306 | 1087 176735 462650 | 2147483647 80716 60 | 0.184 % |
942.79/942.80 c | 729563 | 1087 176735 462650 | 2147483647 80973 60 | 0.184 % |
943.18/943.17 c | 729844 | 1087 176735 462650 | 2147483647 81254 61 | 0.184 % |
943.58/943.57 c | 730153 | 1087 176735 462650 | 81413 81563 61 | 0.190 % |
944.18/944.12 c | 730492 | 1087 176735 462650 | 81413 73602 59 | 0.190 % |
944.58/944.59 c | 730864 | 1087 176735 462650 | 81413 73974 59 | 0.190 % |
945.18/945.15 c | 731276 | 1087 176735 462650 | 81413 74386 59 | 0.190 % |
945.78/945.76 c | 731727 | 1087 176735 462650 | 81413 74837 59 | 0.190 % |
946.48/946.44 c | 732220 | 1087 176735 462650 | 81413 75330 59 | 0.190 % |
947.19/947.16 c | 732765 | 1087 176735 462650 | 81413 75875 58 | 0.190 % |
947.98/947.92 c | 733363 | 1087 176735 462650 | 81413 76473 58 | 0.190 % |
948.88/948.90 c | 734019 | 1087 176735 462650 | 81413 77129 58 | 0.184 % |
949.58/949.58 c | 734740 | 1087 176735 462650 | 81413 77850 59 | 0.184 % |
950.49/950.51 c | 735532 | 1087 176735 462650 | 81413 78642 59 | 0.184 % |
951.59/951.54 c | 736404 | 1087 176735 462650 | 81413 79514 60 | 0.184 % |
952.69/952.66 c | 737362 | 1087 176735 462650 | 81413 80472 60 | 0.184 % |
954.08/954.05 c | 738415 | 1087 176735 462650 | 81413 81525 60 | 0.190 % |
955.48/955.42 c | 739573 | 1087 176735 462650 | 81413 74531 55 | 0.190 % |
956.88/956.83 c | 740847 | 1087 176735 462650 | 2147483647 75805 56 | 0.184 % |
958.78/958.72 c | 742247 | 1087 176735 462650 | 2147483647 77205 56 | 0.190 % |
960.78/960.74 c | 743787 | 1087 176735 462650 | 2147483647 78745 56 | 0.190 % |
963.08/963.11 c | 745482 | 1087 176735 462650 | 2147483647 80440 56 | 0.191 % |
965.68/965.71 c | 747345 | 1087 176735 462650 | 2147483647 82303 56 | 0.184 % |
968.58/968.58 c | 749398 | 1087 176735 462650 | 2147483647 84356 56 | 0.190 % |
971.98/971.99 c | 751651 | 1087 176735 462650 | 2147483647 86609 55 | 0.190 % |
975.88/975.91 c | 754131 | 1087 176735 462650 | 2147483647 89089 55 | 0.190 % |
980.28/980.27 c | 756856 | 1087 176735 462650 | 2147483647 91814 55 | 0.190 % |
985.48/985.46 c | 759853 | 1087 176735 462650 | 2147483647 94811 55 | 0.190 % |
990.69/990.70 c | 763152 | 1087 176735 462650 | 94960 87970 48 | 0.190 % |
995.89/995.89 c | 766778 | 1087 176735 462650 | 94960 91596 48 | 0.190 % |
1001.39/1001.41 c | 770765 | 1087 176735 462650 | 94819 86071 46 | 0.184 % |
1008.19/1008.17 c | 775152 | 1087 176735 462650 | 94819 90458 46 | 0.190 % |
1015.18/1015.12 c | 779975 | 1087 176735 462650 | 94819 95281 47 | 0.190 % |
1023.08/1023.02 c | 785280 | 1087 176735 462650 | 2147483647 91058 48 | 0.190 % |
1033.48/1033.42 c | 791115 | 1087 176735 462650 | 95780 84746 47 | 0.190 % |
1041.68/1041.64 c | 797536 | 1087 176735 462650 | 95780 91167 47 | 0.184 % |
1049.78/1049.79 c | 804595 | 1087 176735 462650 | 93632 88813 53 | 0.184 % |
1049.98/1049.93 c | 804696 | 1087 176735 462650 | 93632 88914 53 | 0.184 % |
1050.08/1050.11 c | 804807 | 1087 176735 462650 | 93632 89025 53 | 0.184 % |
1050.28/1050.30 c | 804929 | 1087 176735 462650 | 93632 89147 53 | 0.190 % |
1050.48/1050.48 c | 805065 | 1087 176735 462650 | 93632 89283 53 | 0.190 % |
1050.78/1050.74 c | 805215 | 1087 176735 462650 | 93632 89433 53 | 0.184 % |
1050.98/1050.94 c | 805378 | 1087 176735 462650 | 93632 89596 54 | 0.184 % |
1051.18/1051.20 c | 805554 | 1087 176735 462650 | 93632 89772 54 | 0.190 % |
1051.48/1051.44 c | 805747 | 1087 176735 462650 | 93632 89965 54 | 0.184 % |
1051.68/1051.68 c | 805959 | 1087 176735 462650 | 93632 90177 54 | 0.184 % |
1051.98/1051.98 c | 806192 | 1087 176735 462650 | 93632 90410 54 | 0.184 % |
1052.38/1052.32 c | 806452 | 1087 176735 462650 | 93632 90670 54 | 0.190 % |
1052.78/1052.76 c | 806733 | 1087 176735 462650 | 93632 90951 54 | 0.190 % |
1053.18/1053.20 c | 807045 | 1087 176735 462650 | 93632 91263 54 | 0.190 % |
1053.58/1053.58 c | 807386 | 1087 176735 462650 | 93632 91604 54 | 0.184 % |
1054.08/1054.05 c | 807758 | 1087 176735 462650 | 93632 91976 54 | 0.184 % |
1054.58/1054.57 c | 808171 | 1087 176735 462650 | 93632 92389 54 | 0.190 % |
1055.18/1055.17 c | 808620 | 1087 176735 462650 | 93632 92838 54 | 0.190 % |
1055.88/1055.84 c | 809114 | 1087 176735 462650 | 93632 93332 54 | 0.190 % |
1056.68/1056.69 c | 809656 | 1087 176735 462650 | 93632 93874 54 | 0.190 % |
1057.58/1057.58 c | 810255 | 1087 176735 462650 | 2147483647 85086 52 | 0.190 % |
1058.48/1058.48 c | 810910 | 1087 176735 462650 | 2147483647 85741 52 | 0.190 % |
1059.48/1059.44 c | 811634 | 1087 176735 462650 | 2147483647 86465 52 | 0.190 % |
1060.49/1060.47 c | 812427 | 1087 176735 462650 | 2147483647 87258 52 | 0.190 % |
1061.68/1061.63 c | 813299 | 1087 176735 462650 | 2147483647 88130 52 | 0.190 % |
1062.98/1062.92 c | 814257 | 1087 176735 462650 | 2147483647 89088 52 | 0.190 % |
1064.58/1064.58 c | 815311 | 1087 176735 462650 | 2147483647 90142 52 | 0.190 % |
1066.18/1066.19 c | 816469 | 1087 176735 462650 | 2147483647 91300 52 | 0.190 % |
1067.98/1067.93 c | 817745 | 1087 176735 462650 | 2147483647 92576 52 | 0.190 % |
1069.68/1069.69 c | 819145 | 1087 176735 462650 | 2147483647 93976 52 | 0.190 % |
1071.88/1071.85 c | 820685 | 1087 176735 462650 | 2147483647 95516 52 | 0.190 % |
1074.38/1074.37 c | 822382 | 1087 176735 462650 | 2147483647 97213 52 | 0.190 % |
1076.88/1076.89 c | 824246 | 1087 176735 462650 | 2147483647 99077 52 | 0.190 % |
1079.78/1079.81 c | 826297 | 1087 176735 462650 | 2147483647 101128 52 | 0.190 % |
1082.98/1083.00 c | 828551 | 1087 176735 462650 | 2147483647 103382 51 | 0.190 % |
1086.68/1086.67 c | 831033 | 1087 176735 462650 | 2147483647 105864 53 | 0.184 % |
1090.88/1090.86 c | 833762 | 1087 176735 462650 | 2147483647 108593 55 | 0.184 % |
1095.78/1095.75 c | 836762 | 1087 176735 462650 | 2147483647 111593 55 | 0.184 % |
1101.38/1101.37 c | 840061 | 1087 176735 462650 | 114831 114892 55 | 0.190 % |
1107.18/1107.16 c | 843688 | 1087 176735 462650 | 114831 104206 59 | 0.184 % |
1113.19/1113.14 c | 847678 | 1087 176735 462650 | 114831 108196 59 | 0.190 % |
1120.99/1120.98 c | 852064 | 1087 176735 462650 | 110521 97704 61 | 0.190 % |
1129.29/1129.22 c | 856887 | 1087 176735 462650 | 110521 102527 65 | 0.184 % |
1137.99/1137.95 c | 862193 | 1087 176735 462650 | 105640 92302 66 | 0.184 % |
1148.69/1148.62 c | 868028 | 1087 176735 462650 | 105640 98137 65 | 0.190 % |
1157.59/1157.55 c | 874446 | 1087 176735 462650 | 100112 88876 62 | 0.184 % |
1168.49/1168.44 c | 881511 | 1087 176735 462650 | 94432 82230 66 | 0.184 % |
1181.29/1181.26 c | 889275 | 1087 176735 462650 | 94432 89994 71 | 0.184 % |
1181.49/1181.42 c | 889377 | 1087 176735 462650 | 94432 90096 71 | 0.190 % |
1181.59/1181.59 c | 889488 | 1087 176735 462650 | 94432 90207 71 | 0.184 % |
1181.89/1181.83 c | 889609 | 1087 176735 462650 | 94432 90328 71 | 0.190 % |
1182.09/1182.05 c | 889742 | 1087 176735 462650 | 94432 90461 71 | 0.190 % |
1182.29/1182.29 c | 889889 | 1087 176735 462650 | 94432 90608 71 | 0.190 % |
1182.60/1182.56 c | 890050 | 1087 176735 462650 | 90721 90769 70 | 0.190 % |
1182.89/1182.89 c | 890227 | 1087 176735 462650 | 90721 77550 70 | 0.184 % |
1183.19/1183.19 c | 890420 | 1087 176735 462650 | 90721 77743 70 | 0.184 % |
1183.59/1183.61 c | 890633 | 1087 176735 462650 | 90721 77956 70 | 0.190 % |
1183.99/1183.99 c | 890868 | 1087 176735 462650 | 90721 78191 70 | 0.190 % |
1184.49/1184.45 c | 891130 | 1087 176735 462650 | 90721 78453 70 | 0.190 % |
1184.99/1184.95 c | 891411 | 1087 176735 462650 | 90721 78734 70 | 0.190 % |
1185.49/1185.49 c | 891722 | 1087 176735 462650 | 90721 79045 70 | 0.190 % |
1186.19/1186.20 c | 892062 | 1087 176735 462650 | 90721 79385 70 | 0.184 % |
1186.89/1186.90 c | 892434 | 1087 176735 462650 | 90721 79757 70 | 0.184 % |
1187.69/1187.69 c | 892844 | 1087 176735 462650 | 90721 80167 70 | 0.190 % |
1188.49/1188.43 c | 893294 | 1087 176735 462650 | 90721 80617 69 | 0.184 % |
1189.29/1189.25 c | 893789 | 1087 176735 462650 | 90721 81112 69 | 0.184 % |
1190.19/1190.22 c | 894331 | 1087 176735 462650 | 90721 81654 69 | 0.184 % |
1191.29/1191.28 c | 894927 | 1087 176735 462650 | 90721 82250 69 | 0.190 % |
1192.29/1192.25 c | 895582 | 1087 176735 462650 | 90721 82905 69 | 0.184 % |
1193.19/1193.20 c | 896302 | 1087 176735 462650 | 90721 83625 69 | 0.184 % |
1194.39/1194.40 c | 897095 | 1087 176735 462650 | 90721 84418 70 | 0.190 % |
1195.69/1195.70 c | 897968 | 1087 176735 462650 | 90721 85291 70 | 0.184 % |
1197.39/1197.38 c | 898926 | 1087 176735 462650 | 90721 86249 70 | 0.190 % |
1199.29/1199.24 c | 899981 | 1087 176735 462650 | 90721 87304 70 | 0.184 % |
1200.09/1200.02 HOME/SatELiteGTI: line 36: 27297 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820590-1242456273/watcher-1820590-1242456273 -o /tmp/evaluation-result-1820590-1242456273/solver-1820590-1242456273 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820590-1242456273.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 27294
/proc/meminfo: memFree=1297628/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2416 CPUtime=0.01
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 338 0 0 0 0 1 0 0 25 0 1 0 1010125662 2473984 272 4294967295 134512640 135169312 3213558784 3213556376 3085063086 0 0 4 65536 3222620697 0 0 17 3 0 0 0
/proc/27291/statm: 604 272 230 161 0 43 0
[pid=27292] ppid=27291 vsize=2416 CPUtime=0
/proc/27292/stat : 27292 (SatELiteGTI) R 27291 27291 11066 0 -1 4194368 102 0 0 0 0 0 0 0 25 0 1 0 1010125662 2473984 115 4294967295 134512640 135169312 3213558784 3213555004 3084871540 0 65538 0 65538 0 0 0 17 3 0 0 0
/proc/27292/statm: 604 115 72 161 0 43 0
[pid=27293] ppid=27292 vsize=0 CPUtime=0
/proc/27293/stat : 27293 (SatELiteGTI) Z 27292 27291 11066 0 -1 4194380 143 0 0 0 0 0 0 0 25 0 1 0 1010125662 0 0 4294967295 0 0 0 0 0 0 0 0 65538 3222378830 0 0 17 3 0 0 0
/proc/27293/statm: 0 0 0 0 0 0 0
[pid=27294] ppid=27292 vsize=2416 CPUtime=0
/proc/27294/stat : 27294 (SatELiteGTI) R 27292 27291 11066 0 -1 4194368 0 0 0 0 0 0 0 0 25 0 1 0 1010125662 2473984 43 4294967295 134512640 135169312 3213558784 3213555004 3084871540 0 65538 0 65538 0 0 0 17 3 0 0 0
/proc/27294/statm: 604 43 0 161 0 43 0
[startup+0.092398 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 27294
/proc/meminfo: memFree=1297628/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2416 CPUtime=0.01
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 368 646 0 0 0 1 0 0 25 0 1 0 1010125662 2473984 277 4294967295 134512640 135169312 3213558784 3213557320 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/27291/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416
[startup+0.112396 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 27294
/proc/meminfo: memFree=1297628/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2416 CPUtime=0.01
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 368 646 0 0 0 1 0 0 25 0 1 0 1010125662 2473984 277 4294967295 134512640 135169312 3213558784 3213557320 3084869358 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/27291/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 2416
[startup+0.312385 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 27294
/proc/meminfo: memFree=1297628/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2420
[startup+0.712362 s]
/proc/loadavg: 1.00 1.00 1.00 3/99 27294
/proc/meminfo: memFree=1297628/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
Current children cumulated CPU time (s) 0.28
Current children cumulated vsize (KiB) 2420
[startup+1.51232 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27297
/proc/meminfo: memFree=1285832/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=10656 CPUtime=1.24
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 2582 0 0 0 124 0 0 0 25 0 1 0 1010125690 10911744 2517 4294967295 134512640 135215339 3218436336 3218434552 134721382 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 2664 2517 73 172 0 2491 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 13076
[startup+3.11223 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27297
/proc/meminfo: memFree=1284592/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=12108 CPUtime=2.84
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 2930 0 0 0 284 0 0 0 25 0 1 0 1010125690 12398592 2865 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 3027 2865 73 172 0 2854 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 14528
[startup+6.31205 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27297
/proc/meminfo: memFree=1281772/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=14524 CPUtime=6.04
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 3535 0 0 0 604 0 0 0 25 0 1 0 1010125690 14872576 3470 4294967295 134512640 135215339 3218436336 3218434552 134721382 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 3631 3470 73 172 0 3458 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 16944
[startup+12.7117 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27480
/proc/meminfo: memFree=1276996/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=18596 CPUtime=12.44
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 4559 0 0 0 1244 0 0 0 25 0 1 0 1010125690 19042304 4494 4294967295 134512640 135215339 3218436336 3218434624 134528802 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 4649 4494 73 172 0 4476 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 21016
[startup+25.511 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27480
/proc/meminfo: memFree=1271204/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=24524 CPUtime=25.24
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 6027 0 0 0 2524 0 0 0 25 0 1 0 1010125690 25112576 5962 4294967295 134512640 135215339 3218436336 3218434624 134528624 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 6131 5962 73 172 0 5958 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 26944
[startup+51.1096 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27483
/proc/meminfo: memFree=1261176/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=34484 CPUtime=50.84
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 8516 0 0 0 5081 3 0 0 25 0 1 0 1010125690 35311616 8451 4294967295 134512640 135215339 3218436336 3218434624 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 8621 8451 73 172 0 8448 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 36904
[startup+102.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/98 27669
/proc/meminfo: memFree=1247428/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=48224 CPUtime=102.05
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 11911 0 0 0 10200 5 0 0 25 0 1 0 1010125690 49381376 11846 4294967295 134512640 135215339 3218436336 3218434624 134528742 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 12056 11846 73 172 0 11883 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 50644
[startup+162.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 27858
/proc/meminfo: memFree=1235136/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=60652 CPUtime=162.05
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 14976 0 0 0 16198 7 0 0 25 0 1 0 1010125690 62107648 14911 4294967295 134512640 135215339 3218436336 3218434624 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15163 14911 73 172 0 14990 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 63072
[startup+222.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 28051
/proc/meminfo: memFree=1234144/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=222.05
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15174 0 0 0 22198 7 0 0 25 0 1 0 1010125690 62935040 15109 4294967295 134512640 135215339 3218436336 3218434624 134528788 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15109 73 172 0 15192 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 63880
[startup+282.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 28239
/proc/meminfo: memFree=1234028/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=282.06
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15174 0 0 0 28199 7 0 0 25 0 1 0 1010125690 62935040 15109 4294967295 134512640 135215339 3218436336 3218434624 134528742 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15109 73 172 0 15192 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 63880
[startup+342.303 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 28425
/proc/meminfo: memFree=1234152/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=342.05
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15174 0 0 0 34198 7 0 0 25 0 1 0 1010125690 62935040 15109 4294967295 134512640 135215339 3218436336 3218434624 134528793 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15109 73 172 0 15192 0
Current children cumulated CPU time (s) 342.33
Current children cumulated vsize (KiB) 63880
[startup+402.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 28614
/proc/meminfo: memFree=1234028/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
################
# More data... #
################
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=462.06
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15174 0 0 0 46199 7 0 0 25 0 1 0 1010125690 62935040 15109 4294967295 134512640 135215339 3218436336 3218434624 134529085 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15109 73 172 0 15192 0
Current children cumulated CPU time (s) 462.34
Current children cumulated vsize (KiB) 63880
[startup+522.313 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 28992
/proc/meminfo: memFree=1233896/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=522.07
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15174 0 0 0 52200 7 0 0 25 0 1 0 1010125690 62935040 15109 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15109 73 172 0 15192 0
Current children cumulated CPU time (s) 522.35
Current children cumulated vsize (KiB) 63880
[startup+582.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/98 29184
/proc/meminfo: memFree=1234136/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=582.07
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15174 0 0 0 58200 7 0 0 25 0 1 0 1010125690 62935040 15109 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15109 73 172 0 15192 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 63880
[startup+642.327 s]
/proc/loadavg: 1.63 1.16 1.05 3/98 29370
/proc/meminfo: memFree=1234016/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=642.09
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15182 0 0 0 64202 7 0 0 25 0 1 0 1010125690 62935040 15117 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15117 73 172 0 15192 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 63880
[startup+702.313 s]
/proc/loadavg: 1.23 1.12 1.04 4/98 29557
/proc/meminfo: memFree=1234156/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=702.08
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15183 0 0 0 70201 7 0 0 25 0 1 0 1010125690 62935040 15118 4294967295 134512640 135215339 3218436336 3218434624 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15118 73 172 0 15192 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 63880
[startup+762.32 s]
/proc/loadavg: 1.08 1.10 1.04 2/98 29746
/proc/meminfo: memFree=1234156/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=762.09
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15183 0 0 0 76202 7 0 0 25 0 1 0 1010125690 62935040 15118 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15118 73 172 0 15192 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 63880
[startup+822.317 s]
/proc/loadavg: 1.07 1.09 1.04 3/98 29935
/proc/meminfo: memFree=1234024/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=822.09
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15183 0 0 0 82202 7 0 0 25 0 1 0 1010125690 62935040 15118 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15118 73 172 0 15192 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 63880
[startup+882.323 s]
/proc/loadavg: 1.11 1.10 1.04 3/98 30123
/proc/meminfo: memFree=1234024/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=882.1
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15183 0 0 0 88203 7 0 0 25 0 1 0 1010125690 62935040 15118 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15118 73 172 0 15192 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 63880
[startup+942.32 s]
/proc/loadavg: 1.04 1.08 1.04 2/98 30309
/proc/meminfo: memFree=1234140/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61460 CPUtime=942.1
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15183 0 0 0 94203 7 0 0 25 0 1 0 1010125690 62935040 15118 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15365 15118 73 172 0 15192 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 63880
[startup+1002.33 s]
/proc/loadavg: 1.01 1.06 1.03 2/98 30500
/proc/meminfo: memFree=1233908/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61596 CPUtime=1002.11
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15193 0 0 0 100203 8 0 0 25 0 1 0 1010125690 63074304 15128 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15399 15128 73 172 0 15226 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 64016
[startup+1062.31 s]
/proc/loadavg: 1.00 1.05 1.03 2/98 30689
/proc/meminfo: memFree=1233784/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61596 CPUtime=1062.1
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15213 0 0 0 106202 8 0 0 25 0 1 0 1010125690 63074304 15148 4294967295 134512640 135215339 3218436336 3218434624 134528809 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15399 15148 73 172 0 15226 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 64016
[startup+1122.32 s]
/proc/loadavg: 1.00 1.04 1.02 2/98 30878
/proc/meminfo: memFree=1233900/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61596 CPUtime=1122.11
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15217 0 0 0 112203 8 0 0 25 0 1 0 1010125690 63074304 15152 4294967295 134512640 135215339 3218436336 3218434624 134528802 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15399 15152 73 172 0 15226 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 64016
[startup+1182.32 s]
/proc/loadavg: 1.00 1.03 1.01 2/98 31066
/proc/meminfo: memFree=1233776/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61596 CPUtime=1182.11
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15217 0 0 0 118203 8 0 0 25 0 1 0 1010125690 63074304 15152 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15399 15152 73 172 0 15226 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 64016
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.02 s]
/proc/loadavg: 1.00 1.03 1.01 2/98 31067
/proc/meminfo: memFree=1233784/2074464 swapFree=1950760/1959888
[pid=27291] ppid=27289 vsize=2420 CPUtime=0.28
/proc/27291/stat : 27291 (SatELiteGTI) S 27289 27291 11066 0 -1 4194304 386 3175 0 0 0 1 26 1 23 0 1 0 1010125662 2478080 278 4294967295 134512640 135169312 3213558784 3213555000 3084869358 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/27291/statm: 605 278 235 161 0 44 0
[pid=27297] ppid=27291 vsize=61596 CPUtime=1199.81
/proc/27297/stat : 27297 (minisat_static) R 27291 27291 11066 0 -1 4202496 15217 0 0 0 119973 8 0 0 25 0 1 0 1010125690 63074304 15152 4294967295 134512640 135215339 3218436336 3218434624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/27297/statm: 15399 15152 73 172 0 15226 0
Current children cumulated CPU time (s) 1200.09
Current children cumulated vsize (KiB) 64016
Sending SIGTERM to process tree (bottom up)
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.03
CPU time (s): 1200.1
CPU user time (s): 1199.99
CPU system time (s): 0.11
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 64016
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.99
system time used= 0.11
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19057
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= 21
involuntary context switches= 611
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi23 at 2009-05-16 08:44:33
IDJOB=1820590
IDBENCH=20488
IDSOLVER=657
FILE ID=tipi23/1820590-1242456273
PBS_JOBID=
Free space on /tmp= 9774 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/grieu/vmpc_33.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820590-1242456273/watcher-1820590-1242456273 -o /tmp/evaluation-result-1820590-1242456273/solver-1820590-1242456273 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820590-1242456273.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 4c4d694bb911a7a13a7cb66a99dd484c
RANDOM SEED= 1986905614
Linux tipi23 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.38
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.79
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.377
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1298428 kB
Buffers: 39848 kB
Cached: 637516 kB
SwapCached: 3700 kB
Active: 316088 kB
Inactive: 372968 kB
HighTotal: 1178688 kB
HighFree: 536188 kB
LowTotal: 895776 kB
LowFree: 762240 kB
SwapTotal: 1959888 kB
SwapFree: 1950760 kB
Dirty: 4204 kB
Writeback: 0 kB
AnonPages: 11024 kB
Mapped: 4464 kB
Slab: 79356 kB
PageTables: 580 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 96896 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9774 MiB
End job on tipi23 at 2009-05-16 09:04:34