0.00/0.00 c Parsing...
0.00/0.20 c ==============================================================================
0.00/0.20 c | | ORIGINAL | LEARNT | |
0.00/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.20 c ==============================================================================
0.00/0.20 c | 0 | 261472 744578 | 78441 0 0 nan | 0.000 % |
1.88/1.95 c | 0 | 244145 773136 | -- 0 -- -- | -- | -17305/28607
1.88/1.95 c ==============================================================================
1.88/1.95 c Result : #vars: 16889 #clauses: 244145 #literals: 773136
1.88/1.95 c CPU time: 1.89471 s
1.88/1.95 c ==============================================================================
2.09/2.18 c This is MiniSat 2.0 beta
2.09/2.18 c WARNING: for repeatability, setting FPU to use double precision
2.09/2.18 c ============================[ Problem Statistics ]=============================
2.09/2.18 c | |
2.09/2.19 c | Number of variables: 16889 |
2.09/2.19 c | Number of clauses: 244145 |
2.17/2.34 c | Parsing time: 0.13 s |
2.17/2.35 c ============================[ Search Statistics ]==============================
2.17/2.35 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.17/2.35 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.17/2.35 c ===============================================================================
2.17/2.35 c | 0 | 16889 244145 773136 | 81381 0 nan | 0.000 % |
2.17/2.38 c | 108 | 16889 244145 773136 | 81381 108 34 | 0.000 % |
2.17/2.44 c | 208 | 16889 244145 773136 | 81381 208 32 | 0.000 % |
2.17/2.47 c | 308 | 16889 244145 773136 | 81381 308 29 | 0.000 % |
2.17/2.49 c | 419 | 16889 244145 773136 | 81381 419 31 | 0.000 % |
2.17/2.50 c | 519 | 16889 244145 773136 | 81381 519 30 | 0.000 % |
2.17/2.55 c | 630 | 16889 244145 773136 | 81381 630 29 | 0.000 % |
2.17/2.57 c | 757 | 16889 244145 773136 | 81381 757 31 | 0.000 % |
2.17/2.58 c | 857 | 16889 244145 773136 | 81381 857 31 | 0.000 % |
2.17/2.60 c | 974 | 16889 244145 773136 | 81381 974 31 | 0.000 % |
2.17/2.65 c | 1095 | 16889 244145 773136 | 81381 1095 30 | 0.000 % |
2.17/2.67 c | 1228 | 16889 244145 773136 | 81381 1228 31 | 0.000 % |
2.17/2.69 c | 1329 | 16889 244145 773136 | 81381 1329 33 | 0.000 % |
2.17/2.70 c | 1440 | 16889 244145 773136 | 81381 1440 33 | 0.000 % |
2.17/2.72 c | 1561 | 16889 244145 773136 | 81381 1561 33 | 0.000 % |
2.17/2.77 c | 1698 | 16889 244145 773136 | 81381 1698 33 | 0.000 % |
2.17/2.80 c | 1846 | 16889 244145 773136 | 81381 1846 33 | 0.000 % |
2.17/2.82 c | 1946 | 16889 244145 773136 | 81381 1946 34 | 0.000 % |
2.17/2.84 c | 2057 | 16889 244145 773136 | 81381 2057 34 | 0.000 % |
2.17/2.86 c | 2179 | 16889 244145 773136 | 81381 2179 34 | 0.000 % |
2.17/2.89 c | 2315 | 16889 244145 773136 | 81381 2315 34 | 0.000 % |
2.17/2.93 c | 2463 | 16889 244145 773136 | 81381 2463 34 | 0.000 % |
2.17/2.95 c | 2625 | 16889 244145 773136 | 81381 2625 35 | 0.000 % |
2.17/2.97 c | 2725 | 16889 244145 773136 | 81381 2725 35 | 0.000 % |
2.17/3.00 c | 2839 | 16889 244145 773136 | 81381 2839 36 | 0.000 % |
2.17/3.04 c | 2960 | 16889 244145 773136 | 81381 2960 36 | 0.000 % |
2.17/3.08 c | 3093 | 16889 244145 773136 | 81381 3093 36 | 0.000 % |
2.17/3.13 c | 3240 | 16889 244145 773136 | 81381 3240 36 | 0.000 % |
2.17/3.16 c | 3402 | 16889 244145 773136 | 81381 3402 36 | 0.000 % |
2.17/3.20 c | 3578 | 16889 244145 773136 | 81381 3578 37 | 0.000 % |
3.18/3.22 c | 3680 | 16889 244145 773136 | 81381 3680 37 | 0.000 % |
3.18/3.26 c | 3791 | 16889 244145 773136 | 81381 3791 36 | 0.000 % |
3.18/3.28 c | 3914 | 16889 244145 773136 | 81381 3914 36 | 0.000 % |
3.18/3.30 c | 4049 | 16889 244145 773136 | 81381 4049 36 | 0.000 % |
3.28/3.36 c | 4195 | 16889 244145 773136 | 81381 4195 36 | 0.000 % |
3.28/3.38 c | 4358 | 16889 244145 773136 | 81381 4358 35 | 0.000 % |
3.37/3.45 c | 4534 | 16889 244145 773136 | 81381 4534 35 | 0.000 % |
3.47/3.51 c | 4730 | 16889 244145 773136 | 81381 4730 35 | 0.000 % |
3.47/3.53 c | 4832 | 16889 244145 773136 | 81381 4832 35 | 0.000 % |
3.47/3.56 c | 4942 | 16889 244145 773136 | 81381 4942 35 | 0.000 % |
3.47/3.58 c | 5063 | 16889 244145 773136 | 81381 5063 35 | 0.000 % |
3.57/3.64 c | 5196 | 16889 244145 773136 | 81381 5196 35 | 0.000 % |
3.57/3.66 c | 5344 | 16889 244145 773136 | 81381 5344 34 | 0.000 % |
3.67/3.71 c | 5504 | 16889 244145 773136 | 81381 5504 35 | 0.000 % |
3.67/3.76 c | 5680 | 16889 244145 773136 | 81381 5680 35 | 0.000 % |
3.67/3.79 c | 5876 | 16889 244145 773136 | 81381 5876 36 | 0.000 % |
3.77/3.82 c | 6096 | 16889 244145 773136 | 81381 6096 36 | 0.000 % |
3.77/3.84 c | 6196 | 16889 244145 773136 | 81381 6196 36 | 0.000 % |
3.77/3.87 c | 6306 | 16889 244145 773136 | 81381 6306 36 | 0.000 % |
3.77/3.90 c | 6430 | 16889 244145 773136 | 81381 6430 36 | 0.000 % |
3.87/3.94 c | 6564 | 16889 244145 773136 | 81381 6564 36 | 0.000 % |
3.87/3.99 c | 6710 | 16889 244145 773136 | 81381 6710 36 | 0.000 % |
3.97/4.01 c | 6872 | 16889 244145 773136 | 81381 6872 36 | 0.000 % |
3.97/4.04 c | 7049 | 16889 244145 773136 | 81381 7049 36 | 0.000 % |
3.97/4.08 c | 7243 | 16889 244145 773136 | 81381 7243 35 | 0.000 % |
4.06/4.11 c | 7456 | 16889 244145 773136 | 81381 7456 35 | 0.000 % |
4.06/4.16 c | 7691 | 16889 244145 773136 | 81381 7691 35 | 0.000 % |
4.06/4.19 c | 7793 | 16889 244145 773136 | 81381 7793 35 | 0.000 % |
4.16/4.20 c | 7903 | 16889 244145 773136 | 81381 7903 35 | 0.000 % |
4.16/4.22 c | 8024 | 16889 244145 773136 | 81381 8024 35 | 0.000 % |
4.16/4.26 c | 8158 | 16889 244145 773136 | 81381 8158 36 | 0.000 % |
4.16/4.30 c | 8304 | 16889 244145 773136 | 81381 8304 35 | 0.000 % |
4.27/4.32 c | 8464 | 16889 244145 773136 | 81381 8464 35 | 0.000 % |
4.27/4.37 c | 8640 | 16889 244145 773136 | 81381 8640 35 | 0.000 % |
4.37/4.43 c | 8834 | 16889 244145 773136 | 81381 8834 36 | 0.000 % |
4.46/4.51 c | 9047 | 16889 244145 773136 | 81381 9047 36 | 0.000 % |
4.56/4.60 c | 9280 | 16889 244145 773136 | 81381 9280 36 | 0.000 % |
4.56/4.69 c | 9536 | 16889 244145 773136 | 81381 9536 36 | 0.000 % |
4.66/4.72 c | 9636 | 16889 244145 773136 | 81381 9636 36 | 0.000 % |
4.66/4.74 c | 9747 | 16889 244145 773136 | 81381 9747 36 | 0.000 % |
4.66/4.79 c | 9868 | 16889 244145 773136 | 81381 9868 36 | 0.000 % |
4.76/4.85 c | 10004 | 16889 244145 773136 | 81381 10004 36 | 0.000 % |
4.76/4.88 c | 10150 | 16889 244145 773136 | 2147483647 10150 36 | 0.000 % |
4.86/4.91 c | 10310 | 16889 244145 773136 | 2147483647 10310 36 | 0.000 % |
4.86/4.99 c | 10488 | 16889 244145 773136 | 2147483647 10488 36 | 0.000 % |
4.96/5.04 c | 10683 | 16889 244145 773136 | 2147483647 10683 36 | 0.000 % |
5.06/5.10 c | 10895 | 16889 244145 773136 | 2147483647 10895 36 | 0.000 % |
5.06/5.19 c | 11128 | 16889 244145 773136 | 2147483647 11128 36 | 0.000 % |
5.16/5.22 c | 11386 | 16889 244145 773136 | 2147483647 11386 36 | 0.000 % |
5.25/5.30 c | 11667 | 16889 244145 773136 | 2147483647 11667 36 | 0.000 % |
5.25/5.32 c | 11767 | 16889 244145 773136 | 2147483647 11767 36 | 0.000 % |
5.25/5.34 c | 11878 | 16889 244145 773136 | 2147483647 11878 36 | 0.000 % |
5.36/5.40 c | 12000 | 16889 244145 773136 | 2147483647 12000 37 | 0.000 % |
5.36/5.46 c | 12134 | 16889 244145 773136 | 2147483647 12134 36 | 0.000 % |
5.46/5.50 c | 12280 | 16889 244145 773136 | 2147483647 12280 36 | 0.000 % |
5.46/5.54 c | 12442 | 16889 244145 773136 | 2147483647 12442 36 | 0.000 % |
5.46/5.58 c | 12618 | 16889 244145 773136 | 2147483647 12618 36 | 0.000 % |
5.55/5.64 c | 12811 | 16889 244145 773136 | 2147483647 12811 36 | 0.000 % |
5.55/5.68 c | 13023 | 16889 244145 773136 | 2147483647 13023 36 | 0.000 % |
5.65/5.78 c | 13256 | 16889 244145 773136 | 2147483647 13256 36 | 0.000 % |
5.75/5.84 c | 13513 | 16889 244145 773136 | 2147483647 13513 36 | 0.000 % |
5.85/5.91 c | 13794 | 16889 244145 773136 | 2147483647 13794 36 | 0.000 % |
5.85/5.97 c | 14105 | 16889 244145 773136 | 2147483647 14105 36 | 0.000 % |
5.85/5.99 c | 14206 | 16889 244145 773136 | 2147483647 14206 36 | 0.000 % |
5.96/6.03 c | 14319 | 16889 244145 773136 | 2147483647 14319 36 | 0.000 % |
5.96/6.07 c | 14440 | 16889 244145 773136 | 2147483647 14440 36 | 0.000 % |
6.06/6.11 c | 14573 | 16889 244145 773136 | 2147483647 14573 36 | 0.000 % |
6.06/6.16 c | 14719 | 16889 244145 773136 | 2147483647 14719 36 | 0.000 % |
6.06/6.18 c | 14880 | 16889 244145 773136 | 2147483647 14880 36 | 0.000 % |
6.16/6.21 c | 15056 | 16889 244145 773136 | 2147483647 15056 36 | 0.000 % |
6.16/6.24 c | 15255 | 16889 244145 773136 | 2147483647 15255 36 | 0.000 % |
6.16/6.28 c | 15467 | 16889 244145 773136 | 2147483647 15467 36 | 0.000 % |
6.26/6.34 c | 15700 | 16889 244145 773136 | 2147483647 15700 36 | 0.000 % |
6.26/6.38 c | 15956 | 16889 244145 773136 | 2147483647 15956 36 | 0.000 % |
6.36/6.45 c | 16238 | 16889 244145 773136 | 2147483647 16238 36 | 0.000 % |
6.36/6.49 c | 16549 | 16889 244145 773136 | 2147483647 16549 37 | 0.000 % |
6.46/6.58 c | 16888 | 16889 244145 773136 | 2147483647 16888 37 | 0.000 % |
6.56/6.60 c | 16988 | 16889 244145 773136 | 2147483647 16988 37 | 0.000 % |
6.56/6.62 c | 17099 | 16889 244145 773136 | 2147483647 17099 37 | 0.000 % |
6.56/6.65 c | 17221 | 16889 244145 773136 | 2147483647 17221 37 | 0.000 % |
6.56/6.66 c | 17355 | 16889 244145 773136 | 2147483647 17355 37 | 0.000 % |
6.56/6.69 c | 17501 | 16889 244145 773136 | 2147483647 17501 37 | 0.000 % |
6.66/6.73 c | 17661 | 16889 244145 773136 | 2147483647 17661 37 | 0.000 % |
6.66/6.76 c | 17841 | 16889 244145 773136 | 2147483647 17841 37 | 0.000 % |
6.76/6.80 c | 18034 | 16889 244145 773136 | 2147483647 18034 37 | 0.000 % |
6.76/6.86 c | 18250 | 16889 244145 773136 | 2147483647 18250 37 | 0.000 % |
6.85/6.92 c | 18483 | 16889 244145 773136 | 2147483647 18483 37 | 0.000 % |
6.85/6.99 c | 18739 | 16889 244145 773136 | 2147483647 18739 37 | 0.000 % |
6.95/7.06 c | 19021 | 16889 244145 773136 | 2147483647 19021 37 | 0.000 % |
7.05/7.13 c | 19331 | 16889 244145 773136 | 2147483647 19331 37 | 0.000 % |
7.15/7.21 c | 19670 | 16889 244145 773136 | 2147483647 19670 37 | 0.000 % |
7.15/7.26 c | 20042 | 16889 244145 773136 | 2147483647 20042 37 | 0.000 % |
7.15/7.28 c | 20145 | 16889 244145 773136 | 2147483647 20145 37 | 0.000 % |
7.25/7.32 c | 20255 | 16889 244145 773136 | 2147483647 20255 37 | 0.000 % |
7.25/7.35 c | 20378 | 16889 244145 773136 | 2147483647 20378 37 | 0.000 % |
7.25/7.38 c | 20511 | 16889 244145 773136 | 2147483647 20511 37 | 0.000 % |
7.35/7.42 c | 20659 | 16889 244145 773136 | 2147483647 20659 37 | 0.000 % |
7.35/7.45 c | 20819 | 16889 244145 773136 | 2147483647 20819 37 | 0.000 % |
7.45/7.51 c | 20995 | 16889 244145 773136 | 2147483647 20995 37 | 0.000 % |
7.45/7.53 c | 21188 | 16889 244145 773136 | 2147483647 21188 37 | 0.000 % |
7.45/7.57 c | 21400 | 16889 244145 773136 | 2147483647 21400 37 | 0.000 % |
7.55/7.63 c | 21634 | 16889 244145 773136 | 2147483647 21634 37 | 0.000 % |
7.55/7.68 c | 21891 | 16889 244145 773136 | 2147483647 21891 37 | 0.000 % |
7.65/7.74 c | 22172 | 16889 244145 773136 | 2147483647 22172 37 | 0.000 % |
7.75/7.81 c | 22481 | 16889 244145 773136 | 2147483647 22481 37 | 0.000 % |
7.75/7.87 c | 22821 | 16889 244145 773136 | 2147483647 22821 37 | 0.000 % |
7.85/7.94 c | 23193 | 16889 244145 773136 | 2147483647 23193 37 | 0.000 % |
7.95/8.01 c | 23603 | 16889 244145 773136 | 2147483647 23603 37 | 0.000 % |
7.95/8.04 c | 23703 | 16889 244145 773136 | 2147483647 23703 37 | 0.000 % |
7.95/8.06 c | 23813 | 16889 244145 773136 | 2147483647 23813 37 | 0.000 % |
7.95/8.08 c | 23935 | 16889 244145 773136 | 2147483647 23935 37 | 0.000 % |
8.05/8.12 c | 24068 | 16889 244145 773136 | 2147483647 24068 37 | 0.000 % |
8.05/8.15 c | 24214 | 16889 244145 773136 | 2147483647 24214 37 | 0.000 % |
8.05/8.20 c | 24375 | 16889 244145 773136 | 2147483647 24375 37 | 0.000 % |
8.15/8.23 c | 24551 | 16889 244145 773136 | 2147483647 24551 37 | 0.000 % |
8.15/8.27 c | 24744 | 16889 244145 773136 | 2147483647 24744 37 | 0.000 % |
8.25/8.31 c | 24957 | 16889 244145 773136 | 2147483647 24957 37 | 0.000 % |
8.25/8.34 c | 25193 | 16889 244145 773136 | 2147483647 25193 37 | 0.000 % |
8.25/8.37 c | 25449 | 16889 244145 773136 | 2147483647 25449 37 | 0.000 % |
8.35/8.42 c | 25730 | 16889 244145 773136 | 2147483647 25730 36 | 0.000 % |
8.35/8.48 c | 26039 | 16889 244145 773136 | 2147483647 26039 36 | 0.000 % |
8.45/8.54 c | 26380 | 16889 244145 773136 | 2147483647 26380 37 | 0.000 % |
8.55/8.61 c | 26752 | 16889 244145 773136 | 2147483647 26752 37 | 0.000 % |
8.55/8.69 c | 27162 | 16889 244145 773136 | 2147483647 27162 36 | 0.000 % |
8.65/8.79 c | 27611 | 16889 244145 773136 | 2147483647 27611 36 | 0.000 % |
8.75/8.81 c | 27711 | 16889 244145 773136 | 2147483647 27711 36 | 0.000 % |
8.75/8.83 c | 27821 | 16889 244145 773136 | 2147483647 27821 36 | 0.000 % |
8.75/8.86 c | 27944 | 16889 244145 773136 | 2147483647 27944 36 | 0.000 % |
8.75/8.89 c | 28077 | 16889 244145 773136 | 2147483647 28077 36 | 0.000 % |
8.85/8.92 c | 28224 | 16889 244145 773136 | 2147483647 28224 36 | 0.000 % |
8.85/8.95 c | 28384 | 16889 244145 773136 | 2147483647 28384 36 | 0.000 % |
8.85/8.98 c | 28560 | 16889 244145 773136 | 2147483647 28560 36 | 0.000 % |
8.95/9.02 c | 28753 | 16889 244145 773136 | 2147483647 28753 36 | 0.000 % |
8.95/9.06 c | 28965 | 16889 244145 773136 | 2147483647 28965 36 | 0.000 % |
9.05/9.12 c | 29198 | 16889 244145 773136 | 2147483647 29198 36 | 0.000 % |
9.05/9.16 c | 29455 | 16889 244145 773136 | 2147483647 29455 36 | 0.000 % |
9.15/9.22 c | 29736 | 16889 244145 773136 | 2147483647 29736 36 | 0.000 % |
9.15/9.27 c | 30046 | 16889 244145 773136 | 2147483647 30046 36 | 0.000 % |
9.25/9.33 c | 30386 | 16889 244145 773136 | 2147483647 30386 36 | 0.000 % |
9.25/9.39 c | 30758 | 16889 244145 773136 | 2147483647 30758 36 | 0.000 % |
9.35/9.47 c | 31168 | 16889 244145 773136 | 2147483647 31168 36 | 0.000 % |
9.45/9.55 c | 31618 | 16889 244145 773136 | 2147483647 31618 36 | 0.000 % |
9.55/9.67 c | 32111 | 16889 244145 773136 | 2147483647 32111 35 | 0.000 % |
9.55/9.69 c | 32211 | 16889 244145 773136 | 2147483647 32211 35 | 0.000 % |
9.64/9.72 c | 32322 | 16889 244145 773136 | 2147483647 32322 35 | 0.000 % |
9.64/9.74 c | 32443 | 16889 244145 773136 | 2147483647 32443 35 | 0.000 % |
9.64/9.77 c | 32576 | 16889 244145 773136 | 2147483647 32576 35 | 0.000 % |
9.75/9.81 c | 32723 | 16889 244145 773136 | 2147483647 32723 35 | 0.000 % |
9.75/9.85 c | 32883 | 16889 244145 773136 | 2147483647 32883 35 | 0.000 % |
9.75/9.88 c | 33060 | 16889 244145 773136 | 2147483647 33060 35 | 0.000 % |
9.85/9.93 c | 33255 | 16889 244145 773136 | 2147483647 33255 35 | 0.000 % |
9.85/9.99 c | 33467 | 16889 244145 773136 | 2147483647 33467 35 | 0.000 % |
9.94/10.04 c | 33701 | 16889 244145 773136 | 2147483647 33701 35 | 0.000 % |
9.94/10.08 c | 33957 | 16889 244145 773136 | 2147483647 33957 35 | 0.000 % |
10.04/10.14 c | 34238 | 16889 244145 773136 | 2147483647 34238 35 | 0.000 % |
10.14/10.20 c | 34547 | 16889 244145 773136 | 2147483647 34547 35 | 0.000 % |
10.14/10.27 c | 34886 | 16889 244145 773136 | 2147483647 34886 35 | 0.000 % |
10.24/10.34 c | 35259 | 16889 244145 773136 | 2147483647 35259 35 | 0.000 % |
10.34/10.45 c | 35668 | 16889 244145 773136 | 2147483647 35668 35 | 0.000 % |
10.44/10.59 c | 36117 | 16889 244145 773136 | 2147483647 36117 35 | 0.000 % |
10.64/10.72 c | 36610 | 16889 244145 773136 | 2147483647 36610 35 | 0.000 % |
10.74/10.85 c | 37152 | 16889 244145 773136 | 2147483647 37152 35 | 0.000 % |
10.74/10.87 c | 37252 | 16889 244145 773136 | 2147483647 37252 35 | 0.000 % |
10.84/10.90 c | 37363 | 16889 244145 773136 | 2147483647 37363 35 | 0.000 % |
10.84/10.94 c | 37484 | 16889 244145 773136 | 2147483647 37484 34 | 0.000 % |
10.84/10.97 c | 37618 | 16889 244145 773136 | 2147483647 37618 34 | 0.000 % |
10.95/11.01 c | 37764 | 16889 244145 773136 | 2147483647 37764 34 | 0.000 % |
10.95/11.05 c | 37925 | 16889 244145 773136 | 2147483647 37925 34 | 0.000 % |
10.95/11.09 c | 38102 | 16889 244145 773136 | 2147483647 38102 34 | 0.000 % |
11.04/11.13 c | 38295 | 16889 244145 773136 | 2147483647 38295 34 | 0.000 % |
11.04/11.19 c | 38507 | 16889 244145 773136 | 2147483647 38507 34 | 0.000 % |
11.14/11.24 c | 38741 | 16889 244145 773136 | 2147483647 38741 34 | 0.000 % |
11.24/11.30 c | 38998 | 16889 244145 773136 | 2147483647 38998 34 | 0.000 % |
11.24/11.38 c | 39280 | 16889 244145 773136 | 2147483647 39280 34 | 0.000 % |
11.34/11.45 c | 39592 | 16889 244145 773136 | 2147483647 39592 34 | 0.000 % |
11.44/11.51 c | 39933 | 16889 244145 773136 | 2147483647 39933 34 | 0.000 % |
11.54/11.61 c | 40305 | 16889 244145 773136 | 2147483647 40305 34 | 0.000 % |
11.64/11.70 c | 40717 | 16889 244145 773136 | 2147483647 40717 34 | 0.000 % |
11.74/11.80 c | 41166 | 16889 244145 773136 | 2147483647 41166 34 | 0.000 % |
11.84/11.92 c | 41659 | 16889 244145 773136 | 2147483647 41659 34 | 0.000 % |
11.94/12.02 c | 42201 | 16889 244145 773136 | 2147483647 42201 33 | 0.000 % |
12.04/12.14 c | 42799 | 16889 244145 773136 | 2147483647 42799 33 | 0.000 % |
12.04/12.16 c | 42900 | 16889 244145 773136 | 2147483647 42900 33 | 0.000 % |
12.14/12.20 c | 43010 | 16889 244145 773136 | 2147483647 43010 33 | 0.000 % |
12.14/12.24 c | 43132 | 16889 244145 773136 | 2147483647 43132 33 | 0.000 % |
12.14/12.28 c | 43265 | 16889 244145 773136 | 2147483647 43265 33 | 0.000 % |
12.24/12.32 c | 43411 | 16889 244145 773136 | 2147483647 43411 33 | 0.000 % |
12.24/12.36 c | 43571 | 16889 244145 773136 | 2147483647 43571 33 | 0.000 % |
12.34/12.41 c | 43747 | 16889 244145 773136 | 2147483647 43747 33 | 0.000 % |
12.34/12.46 c | 43940 | 16889 244145 773136 | 2147483647 43940 33 | 0.000 % |
12.44/12.51 c | 44153 | 16889 244145 773136 | 2147483647 44153 33 | 0.000 % |
12.44/12.56 c | 44388 | 16889 244145 773136 | 2147483647 44388 33 | 0.000 % |
12.54/12.62 c | 44644 | 16889 244145 773136 | 2147483647 44644 33 | 0.000 % |
12.64/12.74 c | 44926 | 16889 244145 773136 | 2147483647 44926 33 | 0.000 % |
12.74/12.82 c | 45235 | 16889 244145 773136 | 2147483647 45235 33 | 0.000 % |
12.84/12.90 c | 45574 | 16889 244145 773136 | 2147483647 45574 33 | 0.000 % |
12.94/13.03 c | 45947 | 16889 244145 773136 | 2147483647 45947 33 | 0.000 % |
13.04/13.13 c | 46356 | 16889 244145 773136 | 2147483647 46356 33 | 0.000 % |
13.14/13.28 c | 46806 | 16889 244145 773136 | 2147483647 46806 33 | 0.000 % |
13.34/13.41 c | 47299 | 16889 244145 773136 | 2147483647 47299 33 | 0.000 % |
13.54/13.60 c | 47842 | 16889 244145 773136 | 2147483647 47842 33 | 0.000 % |
13.64/13.77 c | 48438 | 16889 244145 773136 | 2147483647 48438 34 | 0.000 % |
13.83/13.97 c | 49093 | 16889 244145 773136 | 2147483647 49093 34 | 0.000 % |
13.83/13.99 c | 49194 | 16889 244145 773136 | 2147483647 49194 34 | 0.000 % |
13.93/14.04 c | 49305 | 16889 244145 773136 | 2147483647 49305 34 | 0.000 % |
14.03/14.10 c | 49426 | 16889 244145 773136 | 2147483647 49426 34 | 0.000 % |
14.03/14.19 c | 49563 | 16889 244145 773136 | 2147483647 49563 34 | 0.000 % |
14.14/14.26 c | 49711 | 16889 244145 773136 | 2147483647 49711 34 | 0.000 % |
14.14/14.28 c | 49871 | 16889 244145 773136 | 2147483647 49871 34 | 0.000 % |
14.33/14.40 c | 50047 | 16889 244145 773136 | 2147483647 50047 34 | 0.000 % |
14.33/14.48 c | 50243 | 16889 244145 773136 | 2147483647 50243 34 | 0.000 % |
14.43/14.51 c | 50456 | 16889 244145 773136 | 2147483647 50456 34 | 0.000 % |
14.53/14.63 c | 50689 | 16889 244145 773136 | 2147483647 50689 34 | 0.000 % |
14.63/14.70 c | 50946 | 16889 244145 773136 | 2147483647 50946 34 | 0.000 % |
14.73/14.83 c | 51227 | 16889 244145 773136 | 2147483647 51227 34 | 0.000 % |
14.83/14.91 c | 51536 | 16889 244145 773136 | 2147483647 51536 34 | 0.000 % |
14.93/15.02 c | 51876 | 16889 244145 773136 | 2147483647 51876 35 | 0.000 % |
15.03/15.15 c | 52248 | 16889 244145 773136 | 2147483647 52248 34 | 0.000 % |
15.13/15.26 c | 52658 | 16889 244145 773136 | 2147483647 52658 34 | 0.000 % |
15.24/15.38 c | 53107 | 16889 244145 773136 | 2147483647 53107 34 | 0.000 % |
15.43/15.55 c | 53600 | 16889 244145 773136 | 2147483647 53600 34 | 0.000 % |
15.64/15.75 c | 54142 | 16889 244145 773136 | 2147483647 54142 34 | 0.000 % |
15.94/16.00 c | 54738 | 16889 244145 773136 | 2147483647 54738 34 | 0.000 % |
16.04/16.18 c | 55393 | 16889 244145 773136 | 2147483647 55393 34 | 0.000 % |
16.34/16.44 c | 56113 | 16889 244145 773136 | 2147483647 56113 35 | 0.000 % |
16.34/16.47 c | 56215 | 16889 244145 773136 | 2147483647 56215 35 | 0.000 % |
16.44/16.50 c | 56329 | 16889 244145 773136 | 2147483647 56329 35 | 0.000 % |
16.44/16.57 c | 56450 | 16889 244145 773136 | 2147483647 56450 35 | 0.000 % |
16.54/16.61 c | 56583 | 16889 244145 773136 | 2147483647 56583 35 | 0.000 % |
16.54/16.68 c | 56729 | 16889 244145 773136 | 2147483647 56729 35 | 0.000 % |
16.64/16.70 c | 56889 | 16889 244145 773136 | 2147483647 56889 35 | 0.000 % |
16.64/16.73 c | 57065 | 16889 244145 773136 | 2147483647 57065 35 | 0.000 % |
16.74/16.84 c | 57261 | 16889 244145 773136 | 2147483647 57261 35 | 0.000 % |
16.84/16.91 c | 57473 | 16889 244145 773136 | 2147483647 57473 35 | 0.000 % |
16.84/16.99 c | 57707 | 16889 244145 773136 | 2147483647 57707 35 | 0.000 % |
16.94/17.10 c | 57963 | 16889 244145 773136 | 2147483647 57963 35 | 0.000 % |
17.04/17.18 c | 58244 | 16889 244145 773136 | 2147483647 58244 35 | 0.000 % |
17.14/17.25 c | 58556 | 16889 244145 773136 | 2147483647 58556 35 | 0.000 % |
17.24/17.35 c | 58896 | 16889 244145 773136 | 2147483647 58896 35 | 0.000 % |
17.34/17.48 c | 59269 | 16889 244145 773136 | 2147483647 59269 35 | 0.000 % |
17.54/17.65 c | 59679 | 16889 244145 773136 | 2147483647 59679 35 | 0.000 % |
17.73/17.83 c | 60130 | 16889 244145 773136 | 2147483647 60130 35 | 0.000 % |
17.93/18.00 c | 60624 | 16889 244145 773136 | 2147483647 60624 35 | 0.000 % |
18.03/18.17 c | 61167 | 16889 244145 773136 | 2147483647 61167 36 | 0.000 % |
18.23/18.37 c | 61764 | 16889 244145 773136 | 2147483647 61764 36 | 0.000 % |
18.43/18.59 c | 62421 | 16889 244145 773136 | 2147483647 62421 36 | 0.000 % |
18.73/18.83 c | 63141 | 16889 244145 773136 | 2147483647 63141 36 | 0.000 % |
18.93/19.02 c | 63933 | 16889 244145 773136 | 2147483647 63933 36 | 0.000 % |
18.93/19.05 c | 64033 | 16889 244145 773136 | 2147483647 64033 36 | 0.000 % |
19.03/19.12 c | 64143 | 16889 244145 773136 | 2147483647 64143 36 | 0.000 % |
19.03/19.15 c | 64264 | 16889 244145 773136 | 2147483647 64264 36 | 0.000 % |
19.03/19.18 c | 64399 | 16889 244145 773136 | 2147483647 64399 36 | 0.000 % |
19.13/19.22 c | 64545 | 16889 244145 773136 | 2147483647 64545 36 | 0.000 % |
19.13/19.27 c | 64705 | 16889 244145 773136 | 2147483647 64705 36 | 0.000 % |
19.23/19.32 c | 64881 | 16889 244145 773136 | 2147483647 64881 36 | 0.000 % |
19.23/19.39 c | 65074 | 16889 244145 773136 | 2147483647 65074 36 | 0.000 % |
19.33/19.45 c | 65286 | 16889 244145 773136 | 2147483647 65286 36 | 0.000 % |
19.43/19.51 c | 65519 | 16889 244145 773136 | 2147483647 65519 36 | 0.000 % |
19.43/19.59 c | 65775 | 16889 244145 773136 | 2147483647 65775 36 | 0.000 % |
19.63/19.71 c | 66059 | 16889 244145 773136 | 2147483647 66059 36 | 0.000 % |
19.73/19.81 c | 66369 | 16889 244145 773136 | 2147483647 66369 36 | 0.000 % |
19.83/19.92 c | 66709 | 16889 244145 773136 | 2147483647 66709 36 | 0.001 % |
19.93/20.01 c | 67084 | 16889 244145 773136 | 2147483647 67084 36 | 0.000 % |
20.03/20.16 c | 67493 | 16889 244145 773136 | 2147483647 67493 36 | 0.000 % |
20.23/20.36 c | 67943 | 16889 244145 773136 | 2147483647 67943 36 | 0.000 % |
20.43/20.57 c | 68436 | 16889 244145 773136 | 2147483647 68436 36 | 0.000 % |
20.63/20.72 c | 68979 | 16889 244145 773136 | 2147483647 68979 36 | 0.000 % |
20.83/20.98 c | 69575 | 16889 244145 773136 | 2147483647 69575 36 | 0.000 % |
21.03/21.13 c | 70234 | 16889 244145 773136 | 2147483647 70234 36 | 0.000 % |
21.33/21.44 c | 70954 | 16889 244145 773136 | 2147483647 70954 36 | 0.000 % |
21.53/21.69 c | 71746 | 16889 244145 773136 | 2147483647 71746 36 | 0.000 % |
21.83/21.97 c | 72618 | 16889 244145 773136 | 2147483647 72618 37 | 0.000 % |
21.93/22.01 c | 72720 | 16889 244145 773136 | 2147483647 72720 37 | 0.000 % |
21.93/22.05 c | 72831 | 16889 244145 773136 | 2147483647 72831 37 | 0.000 % |
22.02/22.11 c | 72953 | 16889 244145 773136 | 2147483647 72953 37 | 0.000 % |
22.02/22.12 c | 73086 | 16889 244145 773136 | 2147483647 73086 37 | 0.000 % |
22.02/22.20 c | 73233 | 16889 244145 773136 | 2147483647 73233 37 | 0.000 % |
22.12/22.26 c | 73394 | 16889 244145 773136 | 2147483647 73394 37 | 0.000 % |
22.22/22.31 c | 73570 | 16889 244145 773136 | 2147483647 73570 37 | 0.000 % |
22.22/22.39 c | 73763 | 16889 244145 773136 | 2147483647 73763 37 | 0.000 % |
22.32/22.44 c | 73975 | 16889 244145 773136 | 2147483647 73975 37 | 0.000 % |
22.43/22.50 c | 74211 | 16889 244145 773136 | 2147483647 74211 37 | 0.000 % |
22.53/22.62 c | 74468 | 16889 244145 773136 | 2147483647 74468 37 | 0.000 % |
22.63/22.70 c | 74751 | 16889 244145 773136 | 2147483647 74751 37 | 0.000 % |
22.73/22.80 c | 75061 | 16889 244145 773136 | 2147483647 75061 37 | 0.000 % |
22.73/22.89 c | 75400 | 16889 244145 773136 | 2147483647 75400 37 | 0.000 % |
22.93/23.07 c | 75772 | 16889 244145 773136 | 2147483647 75772 37 | 0.000 % |
23.03/23.17 c | 76181 | 16889 244145 773136 | 2147483647 76181 37 | 0.000 % |
23.13/23.26 c | 76631 | 16889 244145 773136 | 2147483647 76631 37 | 0.000 % |
23.33/23.41 c | 77124 | 16889 244145 773136 | 2147483647 77124 37 | 0.000 % |
23.43/23.51 c | 77666 | 16889 244145 773136 | 2147483647 77666 37 | 0.000 % |
23.53/23.67 c | 78262 | 16889 244145 773136 | 2147483647 78262 37 | 0.000 % |
23.73/23.82 c | 78917 | 16889 244145 773136 | 2147483647 78917 37 | 0.000 % |
23.93/24.00 c | 79637 | 16889 244145 773136 | 2147483647 79637 37 | 0.000 % |
24.03/24.15 c | 80429 | 16889 244145 773136 | 2147483647 80429 37 | 0.000 % |
24.23/24.33 c | 81300 | 16889 244145 773136 | 2147483647 81300 37 | 0.000 % |
24.43/24.55 c | 82258 | 16889 244145 773136 | 2147483647 82258 37 | 0.000 % |
24.43/24.59 c | 82358 | 16889 244145 773136 | 2147483647 82358 37 | 0.000 % |
24.53/24.63 c | 82468 | 16889 244145 773136 | 2147483647 82468 37 | 0.000 % |
24.53/24.68 c | 82592 | 16889 244145 773136 | 2147483647 82592 37 | 0.000 % |
24.63/24.73 c | 82726 | 16889 244145 773136 | 2147483647 82726 37 | 0.000 % |
24.63/24.76 c | 82875 | 16889 244145 773136 | 2147483647 82875 37 | 0.000 % |
24.73/24.86 c | 83035 | 16889 244145 773136 | 2147483647 83035 37 | 0.000 % |
24.83/24.95 c | 83212 | 16889 244145 773136 | 2147483647 83212 37 | 0.000 % |
24.93/25.04 c | 83405 | 16889 244145 773136 | 2147483647 83405 37 | 0.000 % |
25.02/25.10 c | 83618 | 16889 244145 773136 | 2147483647 83618 37 | 0.000 % |
25.02/25.18 c | 83851 | 16889 244145 773136 | 2147483647 83851 37 | 0.000 % |
25.23/25.30 c | 84109 | 16889 244145 773136 | 2147483647 84109 37 | 0.000 % |
25.32/25.40 c | 84390 | 16889 244145 773136 | 2147483647 84390 37 | 0.000 % |
25.32/25.46 c | 84699 | 16889 244145 773136 | 2147483647 84699 37 | 0.000 % |
25.42/25.56 c | 85038 | 16889 244145 773136 | 2147483647 85038 37 | 0.000 % |
25.52/25.69 c | 85410 | 16889 244145 773136 | 2147483647 85410 37 | 0.000 % |
25.72/25.83 c | 85819 | 16889 244145 773136 | 2147483647 85819 37 | 0.000 % |
25.82/25.94 c | 86269 | 16889 244145 773136 | 2147483647 86269 37 | 0.000 % |
26.02/26.11 c | 86762 | 16889 244145 773136 | 2147483647 86762 38 | 0.000 % |
26.23/26.35 c | 87304 | 16889 244145 773136 | 2147483647 87304 38 | 0.000 % |
26.42/26.57 c | 87901 | 16889 244145 773136 | 2147483647 87901 38 | 0.000 % |
26.52/26.69 c | 88557 | 16889 244145 773136 | 2147483647 88557 38 | 0.000 % |
26.82/26.90 c | 89277 | 16889 244145 773136 | 2147483647 89277 38 | 0.000 % |
26.92/27.06 c | 90070 | 16889 244145 773136 | 2147483647 90070 38 | 0.000 % |
27.33/27.41 c | 90943 | 16889 244145 773136 | 2147483647 90943 38 | 0.000 % |
27.53/27.62 c | 91903 | 16889 244145 773136 | 2147483647 91903 38 | 0.000 % |
27.83/27.99 c | 92961 | 16889 244145 773136 | 2147483647 92961 38 | 0.000 % |
27.93/28.02 c | 93062 | 16889 244145 773136 | 2147483647 93062 38 | 0.000 % |
28.03/28.11 c | 93172 | 16889 244145 773136 | 2147483647 93172 38 | 0.000 % |
28.03/28.15 c | 93294 | 16889 244145 773136 | 2147483647 93294 38 | 0.000 % |
28.13/28.20 c | 93427 | 16889 244145 773136 | 2147483647 93427 38 | 0.000 % |
28.13/28.26 c | 93574 | 16889 244145 773136 | 2147483647 93574 38 | 0.000 % |
28.23/28.32 c | 93734 | 16889 244145 773136 | 2147483647 93734 38 | 0.000 % |
28.23/28.38 c | 93910 | 16889 244145 773136 | 2147483647 93910 38 | 0.000 % |
28.33/28.45 c | 94103 | 16889 244145 773136 | 2147483647 94103 38 | 0.000 % |
28.33/28.49 c | 94315 | 16889 244145 773136 | 2147483647 94315 38 | 0.000 % |
28.43/28.58 c | 94548 | 16889 244145 773136 | 2147483647 94548 38 | 0.000 % |
28.53/28.70 c | 94806 | 16889 244145 773136 | 2147483647 94806 38 | 0.000 % |
28.62/28.77 c | 95087 | 16889 244145 773136 | 2147483647 95087 38 | 0.000 % |
28.82/28.90 c | 95396 | 16889 244145 773136 | 2147483647 95396 38 | 0.000 % |
28.92/29.00 c | 95736 | 16889 244145 773136 | 2147483647 95736 38 | 0.000 % |
28.92/29.09 c | 96108 | 16889 244145 773136 | 2147483647 96108 38 | 0.000 % |
29.12/29.22 c | 96517 | 16889 244145 773136 | 2147483647 96517 38 | 0.000 % |
29.32/29.44 c | 96966 | 16889 244145 773136 | 2147483647 96966 38 | 0.000 % |
29.53/29.60 c | 97460 | 16889 244145 773136 | 2147483647 97460 38 | 0.000 % |
29.63/29.75 c | 98002 | 16889 244145 773136 | 2147483647 98002 38 | 0.000 % |
29.82/29.94 c | 98600 | 16889 244145 773136 | 2147483647 98600 39 | 0.000 % |
30.02/30.19 c | 99255 | 16889 244145 773136 | 2147483647 99255 39 | 0.000 % |
30.32/30.44 c | 99976 | 16889 244145 773136 | 2147483647 99976 39 | 0.000 % |
30.52/30.67 c | 100769 | 16889 244145 773136 | 2147483647 100769 39 | 0.000 % |
30.82/30.92 c | 101641 | 16889 244145 773136 | 2147483647 101641 39 | 0.000 % |
31.22/31.32 c | 102599 | 16889 244145 773136 | 2147483647 102599 39 | 0.000 % |
31.52/31.61 c | 103652 | 16889 244145 773136 | 2147483647 103652 40 | 0.000 % |
31.92/32.02 c | 104810 | 16889 244145 773136 | 2147483647 104810 40 | 0.000 % |
31.92/32.06 c | 104910 | 16889 244145 773136 | 2147483647 104910 40 | 0.000 % |
32.02/32.11 c | 105020 | 16889 244145 773136 | 2147483647 105020 40 | 0.000 % |
32.12/32.21 c | 105142 | 16889 244145 773136 | 2147483647 105142 40 | 0.000 % |
32.12/32.27 c | 105277 | 16889 244145 773136 | 2147483647 105277 40 | 0.000 % |
32.22/32.36 c | 105423 | 16889 244145 773136 | 2147483647 105423 40 | 0.000 % |
32.31/32.43 c | 105583 | 16889 244145 773136 | 2147483647 105583 40 | 0.000 % |
32.41/32.55 c | 105759 | 16889 244145 773136 | 2147483647 105759 40 | 0.000 % |
32.51/32.60 c | 105952 | 16889 244145 773136 | 2147483647 105952 40 | 0.000 % |
32.51/32.70 c | 106167 | 16889 244145 773136 | 2147483647 106167 40 | 0.000 % |
32.71/32.81 c | 106401 | 16889 244145 773136 | 2147483647 106401 40 | 0.000 % |
32.82/32.92 c | 106657 | 16889 244145 773136 | 2147483647 106657 40 | 0.000 % |
32.92/33.03 c | 106939 | 16889 244145 773136 | 2147483647 106939 40 | 0.000 % |
33.01/33.17 c | 107248 | 16889 244145 773136 | 2147483647 107248 40 | 0.000 % |
33.21/33.30 c | 107590 | 16889 244145 773136 | 2147483647 107590 40 | 0.000 % |
33.31/33.47 c | 107964 | 16889 244145 773136 | 2147483647 107964 40 | 0.000 % |
33.51/33.63 c | 108374 | 16889 244145 773136 | 2147483647 108374 40 | 0.000 % |
33.61/33.78 c | 108823 | 16889 244145 773136 | 2147483647 108823 40 | 0.000 % |
33.82/33.95 c | 109316 | 16889 244145 773136 | 2147483647 109316 40 | 0.000 % |
34.02/34.18 c | 109861 | 16889 244145 773136 | 2147483647 109861 40 | 0.000 % |
34.22/34.34 c | 110458 | 16889 244145 773136 | 2147483647 110458 40 | 0.000 % |
34.52/34.61 c | 111113 | 16889 244145 773136 | 2147483647 111113 40 | 0.000 % |
34.72/34.87 c | 111833 | 16889 244145 773136 | 2147483647 111833 40 | 0.000 % |
35.02/35.17 c | 112627 | 16889 244145 773136 | 2147483647 112627 40 | 0.000 % |
35.31/35.47 c | 113499 | 16889 244145 773136 | 2147483647 113499 40 | 0.000 % |
35.71/35.83 c | 114458 | 16889 244145 773136 | 2147483647 114458 40 | 0.000 % |
36.01/36.15 c | 115514 | 16889 244145 773136 | 2147483647 115514 40 | 0.000 % |
36.31/36.50 c | 116672 | 16889 244145 773136 | 2147483647 116672 41 | 0.000 % |
36.81/36.94 c | 117945 | 16889 244145 773136 | 2147483647 117945 41 | 0.000 % |
36.81/36.99 c | 118045 | 16889 244145 773136 | 2147483647 118045 41 | 0.000 % |
36.91/37.09 c | 118155 | 16889 244145 773136 | 2147483647 118155 40 | 0.000 % |
37.01/37.14 c | 118278 | 16889 244145 773136 | 2147483647 118278 41 | 0.000 % |
37.01/37.17 c | 118412 | 16889 244145 773136 | 2147483647 118412 40 | 0.000 % |
37.11/37.25 c | 118558 | 16889 244145 773136 | 2147483647 118558 40 | 0.000 % |
37.22/37.38 c | 118718 | 16889 244145 773136 | 2147483647 118718 40 | 0.000 % |
37.31/37.45 c | 118894 | 16889 244145 773136 | 2147483647 118894 40 | 0.000 % |
37.51/37.62 c | 119087 | 16889 244145 773136 | 2147483647 119087 40 | 0.000 % |
37.61/37.72 c | 119299 | 16889 244145 773136 | 2147483647 119299 40 | 0.000 % |
37.71/37.88 c | 119532 | 16889 244145 773136 | 2147483647 119532 40 | 0.000 % |
37.91/38.00 c | 119788 | 16889 244145 773136 | 2147483647 119788 41 | 0.000 % |
38.01/38.14 c | 120069 | 16889 244145 773136 | 2147483647 120069 41 | 0.000 % |
38.11/38.28 c | 120378 | 16889 244145 773136 | 2147483647 120378 41 | 0.000 % |
38.31/38.43 c | 120718 | 16889 244145 773136 | 2147483647 120718 41 | 0.000 % |
38.41/38.58 c | 121090 | 16889 244145 773136 | 2147483647 121090 41 | 0.000 % |
38.61/38.77 c | 121500 | 16889 244145 773136 | 2147483647 121500 41 | 0.000 % |
38.81/38.92 c | 121950 | 16889 244145 773136 | 2147483647 121950 41 | 0.000 % |
39.01/39.15 c | 122443 | 16889 244145 773136 | 2147483647 122443 41 | 0.000 % |
39.21/39.31 c | 122987 | 16889 244145 773136 | 2147483647 122987 41 | 0.000 % |
39.41/39.57 c | 123583 | 16889 244145 773136 | 2147483647 123583 41 | 0.000 % |
39.61/39.76 c | 124239 | 16889 244145 773136 | 2147483647 124239 41 | 0.000 % |
39.91/40.06 c | 124959 | 16889 244145 773136 | 2147483647 124959 41 | 0.000 % |
40.21/40.35 c | 125751 | 16889 244145 773136 | 2147483647 125751 41 | 0.000 % |
40.51/40.64 c | 126623 | 16889 244145 773136 | 2147483647 126623 41 | 0.000 % |
40.81/40.96 c | 127581 | 16889 244145 773136 | 2147483647 127581 41 | 0.000 % |
41.10/41.26 c | 128635 | 16889 244145 773136 | 2147483647 128635 41 | 0.000 % |
41.40/41.57 c | 129793 | 16889 244145 773136 | 2147483647 129793 41 | 0.000 % |
41.80/41.94 c | 131067 | 16889 244145 773136 | 2147483647 131067 41 | 0.000 % |
42.30/42.41 c | 132467 | 16889 244145 773136 | 2147483647 132467 41 | 0.000 % |
42.30/42.48 c | 132567 | 16889 244145 773136 | 2147483647 132567 41 | 0.000 % |
42.40/42.53 c | 132677 | 16889 244145 773136 | 2147483647 132677 41 | 0.000 % |
42.50/42.62 c | 132799 | 16889 244145 773136 | 2147483647 132799 41 | 0.000 % |
42.60/42.70 c | 132932 | 16889 244145 773136 | 2147483647 132932 41 | 0.000 % |
42.60/42.78 c | 133078 | 16889 244145 773136 | 2147483647 133078 41 | 0.000 % |
42.71/42.85 c | 133238 | 16889 244145 773136 | 2147483647 133238 41 | 0.000 % |
42.81/42.97 c | 133414 | 16889 244145 773136 | 2147483647 133414 41 | 0.000 % |
43.00/43.12 c | 133607 | 16889 244145 773136 | 2147483647 133607 41 | 0.000 % |
43.10/43.20 c | 133819 | 16889 244145 773136 | 2147483647 133819 41 | 0.000 % |
43.20/43.33 c | 134052 | 16889 244145 773136 | 2147483647 134052 41 | 0.000 % |
43.30/43.41 c | 134308 | 16889 244145 773136 | 2147483647 134308 41 | 0.000 % |
43.40/43.51 c | 134589 | 16889 244145 773136 | 2147483647 134589 41 | 0.000 % |
43.51/43.64 c | 134898 | 16889 244145 773136 | 2147483647 134898 41 | 0.000 % |
43.61/43.79 c | 135237 | 16889 244145 773136 | 2147483647 135237 41 | 0.000 % |
43.81/43.95 c | 135610 | 16889 244145 773136 | 2147483647 135610 41 | 0.000 % |
44.01/44.10 c | 136019 | 16889 244145 773136 | 2147483647 136019 41 | 0.000 % |
44.11/44.25 c | 136468 | 16889 244145 773136 | 2147483647 136468 41 | 0.000 % |
44.31/44.46 c | 136963 | 16889 244145 773136 | 2147483647 136963 41 | 0.000 % |
44.41/44.56 c | 137506 | 16889 244145 773136 | 2147483647 137506 41 | 0.000 % |
44.71/44.80 c | 138103 | 16889 244145 773136 | 2147483647 138103 41 | 0.000 % |
45.01/45.12 c | 138759 | 16889 244145 773136 | 2147483647 138759 41 | 0.000 % |
45.31/45.48 c | 139479 | 16889 244145 773136 | 2147483647 139479 41 | 0.000 % |
45.71/45.82 c | 140272 | 16889 244145 773136 | 2147483647 140272 41 | 0.000 % |
45.91/46.03 c | 141144 | 16889 244145 773136 | 2147483647 141144 41 | 0.000 % |
46.31/46.48 c | 142103 | 16889 244145 773136 | 2147483647 142103 41 | 0.000 % |
46.81/46.90 c | 143157 | 16889 244145 773136 | 2147483647 143157 41 | 0.000 % |
47.21/47.32 c | 144316 | 16889 244145 773136 | 2147483647 144316 41 | 0.000 % |
47.71/47.84 c | 145589 | 16889 244145 773136 | 2147483647 145589 41 | 0.000 % |
48.11/48.27 c | 146990 | 16889 244145 773136 | 2147483647 146990 41 | 0.000 % |
48.71/48.87 c | 148531 | 16889 244145 773136 | 2147483647 148531 41 | 0.000 % |
48.80/48.97 c | 148632 | 16889 244145 773136 | 2147483647 148632 41 | 0.000 % |
48.90/49.03 c | 148745 | 16889 244145 773136 | 2147483647 148745 41 | 0.000 % |
49.00/49.10 c | 148866 | 16889 244145 773136 | 2147483647 148866 41 | 0.000 % |
49.00/49.19 c | 148999 | 16889 244145 773136 | 2147483647 148999 41 | 0.000 % |
49.10/49.27 c | 149145 | 16889 244145 773136 | 2147483647 149145 41 | 0.000 % |
49.20/49.35 c | 149306 | 16889 244145 773136 | 2147483647 149306 41 | 0.000 % |
49.31/49.44 c | 149482 | 16889 244145 773136 | 2147483647 149482 41 | 0.000 % |
49.41/49.52 c | 149676 | 16889 244145 773136 | 2147483647 149676 41 | 0.000 % |
49.50/49.62 c | 149888 | 16889 244145 773136 | 2147483647 149888 41 | 0.000 % |
49.60/49.76 c | 150121 | 16889 244145 773136 | 2147483647 150121 41 | 0.000 % |
49.70/49.89 c | 150377 | 16889 244145 773136 | 2147483647 150377 41 | 0.000 % |
49.90/50.07 c | 150658 | 16889 244145 773136 | 2147483647 150658 41 | 0.000 % |
50.00/50.18 c | 150970 | 16889 244145 773136 | 2147483647 150970 41 | 0.000 % |
50.20/50.36 c | 151309 | 16889 244145 773136 | 2147483647 151309 41 | 0.000 % |
50.41/50.52 c | 151681 | 16889 244145 773136 | 2147483647 151681 41 | 0.000 % |
50.51/50.69 c | 152090 | 16889 244145 773136 | 2147483647 152090 41 | 0.000 % |
50.70/50.85 c | 152540 | 16889 244145 773136 | 2147483647 152540 41 | 0.000 % |
50.90/51.02 c | 153033 | 16889 244145 773136 | 2147483647 153033 41 | 0.000 % |
51.10/51.24 c | 153575 | 16889 244145 773136 | 2147483647 153575 41 | 0.000 % |
51.30/51.47 c | 154172 | 16889 244145 773136 | 2147483647 154172 42 | 0.000 % |
51.60/51.73 c | 154827 | 16889 244145 773136 | 2147483647 154827 42 | 0.000 % |
51.80/51.99 c | 155547 | 16889 244145 773136 | 2147483647 155547 41 | 0.000 % |
52.10/52.26 c | 156339 | 16889 244145 773136 | 2147483647 156339 42 | 0.000 % |
52.50/52.65 c | 157210 | 16889 244145 773136 | 2147483647 157210 42 | 0.000 % |
52.80/52.97 c | 158168 | 16889 244145 773136 | 2147483647 158168 42 | 0.000 % |
53.20/53.36 c | 159221 | 16889 244145 773136 | 2147483647 159221 42 | 0.000 % |
53.70/53.87 c | 160379 | 16889 244145 773136 | 2147483647 160379 42 | 0.000 % |
54.30/54.46 c | 161652 | 16889 244145 773136 | 2147483647 161652 42 | 0.000 % |
54.91/55.03 c | 163054 | 16889 244145 773136 | 2147483647 163054 42 | 0.000 % |
55.50/55.65 c | 164594 | 16889 244145 773136 | 2147483647 164594 42 | 0.000 % |
56.10/56.29 c | 166288 | 16889 244145 773136 | 2147483647 166288 42 | 0.000 % |
56.20/56.35 c | 166390 | 16889 244145 773136 | 2147483647 166390 42 | 0.000 % |
56.30/56.43 c | 166504 | 16889 244145 773136 | 2147483647 166504 42 | 0.000 % |
56.40/56.52 c | 166625 | 16889 244145 773136 | 2147483647 166625 42 | 0.000 % |
56.50/56.62 c | 166759 | 16889 244145 773136 | 2147483647 166759 42 | 0.000 % |
56.50/56.70 c | 166905 | 16889 244145 773136 | 2147483647 166905 42 | 0.000 % |
56.60/56.76 c | 167066 | 16889 244145 773136 | 2147483647 167066 42 | 0.000 % |
56.70/56.88 c | 167243 | 16889 244145 773136 | 2147483647 167243 42 | 0.000 % |
56.80/56.95 c | 167437 | 16889 244145 773136 | 2147483647 167437 42 | 0.000 % |
56.90/57.02 c | 167650 | 16889 244145 773136 | 2147483647 167650 42 | 0.000 % |
57.00/57.12 c | 167883 | 16889 244145 773136 | 2147483647 167883 42 | 0.000 % |
57.10/57.20 c | 168139 | 16889 244145 773136 | 2147483647 168139 42 | 0.000 % |
57.20/57.32 c | 168420 | 16889 244145 773136 | 2147483647 168420 42 | 0.000 % |
57.30/57.46 c | 168732 | 16889 244145 773136 | 2147483647 168732 42 | 0.000 % |
57.50/57.64 c | 169071 | 16889 244145 773136 | 2147483647 169071 42 | 0.000 % |
57.80/57.93 c | 169443 | 16889 244145 773136 | 2147483647 169443 42 | 0.000 % |
58.00/58.11 c | 169852 | 16889 244145 773136 | 2147483647 169852 42 | 0.000 % |
58.20/58.31 c | 170302 | 16889 244145 773136 | 2147483647 170302 42 | 0.000 % |
58.60/58.72 c | 170795 | 16888 244055 772669 | 2147483647 170794 42 | 0.006 % |
58.80/58.94 c | 171337 | 16888 244055 772669 | 2147483647 171336 42 | 0.006 % |
59.00/59.14 c | 171933 | 16888 244055 772669 | 2147483647 171932 42 | 0.006 % |
59.30/59.44 c | 172589 | 16888 244055 772669 | 2147483647 172588 42 | 0.006 % |
59.60/59.78 c | 173309 | 16888 244055 772669 | 2147483647 173308 42 | 0.006 % |
59.90/60.03 c | 174101 | 16888 244055 772669 | 2147483647 174100 42 | 0.006 % |
60.30/60.43 c | 174972 | 16888 244055 772669 | 2147483647 174971 42 | 0.006 % |
60.70/60.85 c | 175930 | 16888 244055 772669 | 2147483647 175929 42 | 0.006 % |
61.20/61.31 c | 176986 | 16888 244055 772669 | 2147483647 176985 42 | 0.006 % |
61.80/61.98 c | 178144 | 16888 244055 772669 | 2147483647 178143 42 | 0.006 % |
62.40/62.56 c | 179417 | 16888 244055 772669 | 2147483647 179416 42 | 0.006 % |
63.10/63.24 c | 180818 | 16888 244055 772669 | 2147483647 180817 42 | 0.006 % |
63.90/64.01 c | 182358 | 16888 244055 772669 | 2147483647 182357 42 | 0.006 % |
64.60/64.70 c | 184053 | 16888 244055 772669 | 2147483647 184052 42 | 0.006 % |
65.30/65.45 c | 185916 | 16888 244055 772669 | 2147483647 185915 42 | 0.006 % |
65.40/65.53 c | 186016 | 16888 244055 772669 | 2147483647 186015 42 | 0.006 % |
65.50/65.62 c | 186128 | 16888 244055 772669 | 2147483647 186127 42 | 0.006 % |
65.60/65.70 c | 186249 | 16888 244055 772669 | 2147483647 186248 42 | 0.006 % |
65.60/65.79 c | 186382 | 16888 244055 772669 | 2147483647 186381 42 | 0.006 % |
65.70/65.86 c | 186528 | 16888 244055 772669 | 2147483647 186527 42 | 0.006 % |
65.80/65.96 c | 186689 | 16888 244055 772669 | 2147483647 186688 42 | 0.006 % |
65.90/66.06 c | 186869 | 16888 244055 772669 | 2147483647 186868 42 | 0.006 % |
66.00/66.19 c | 187062 | 16888 244055 772669 | 2147483647 187061 42 | 0.006 % |
66.20/66.34 c | 187274 | 16888 244055 772669 | 2147483647 187273 42 | 0.006 % |
66.30/66.48 c | 187507 | 16888 244055 772669 | 2147483647 187506 42 | 0.006 % |
66.50/66.68 c | 187763 | 16888 244055 772669 | 2147483647 187762 42 | 0.006 % |
66.70/66.83 c | 188044 | 16888 244055 772669 | 2147483647 188043 42 | 0.006 % |
66.90/67.05 c | 188353 | 16888 244055 772669 | 2147483647 188352 42 | 0.006 % |
67.10/67.20 c | 188693 | 16888 244055 772669 | 2147483647 188692 42 | 0.006 % |
67.20/67.37 c | 189065 | 16888 244055 772669 | 2147483647 189064 42 | 0.006 % |
67.40/67.57 c | 189475 | 16888 244055 772669 | 2147483647 189474 42 | 0.006 % |
67.70/67.81 c | 189924 | 16888 244055 772669 | 2147483647 189923 42 | 0.006 % |
67.90/68.05 c | 190418 | 16888 244055 772669 | 2147483647 190417 42 | 0.006 % |
68.10/68.27 c | 190960 | 16888 244055 772669 | 2147483647 190959 42 | 0.006 % |
68.40/68.55 c | 191556 | 16888 244055 772669 | 2147483647 191555 42 | 0.006 % |
68.80/68.94 c | 192211 | 16888 244055 772669 | 2147483647 192210 42 | 0.006 % |
69.10/69.27 c | 192931 | 16888 244055 772669 | 2147483647 192930 42 | 0.006 % |
69.50/69.68 c | 193723 | 16888 244055 772669 | 2147483647 193722 42 | 0.006 % |
69.90/70.09 c | 194595 | 16888 244055 772669 | 2147483647 194594 42 | 0.006 % |
70.39/70.56 c | 195553 | 16888 244055 772669 | 2147483647 195552 42 | 0.006 % |
70.99/71.12 c | 196606 | 16888 244055 772669 | 2147483647 196605 43 | 0.006 % |
71.49/71.69 c | 197765 | 16888 244055 772669 | 2147483647 197764 43 | 0.006 % |
72.19/72.35 c | 199038 | 16888 244055 772669 | 2147483647 199037 43 | 0.006 % |
73.00/73.18 c | 200438 | 16888 244055 772669 | 2147483647 200437 43 | 0.006 % |
73.60/73.79 c | 201978 | 16888 244055 772669 | 2147483647 201977 43 | 0.006 % |
74.50/74.65 c | 203672 | 16888 244055 772669 | 2147483647 203671 43 | 0.006 % |
75.39/75.59 c | 205535 | 16888 244055 772669 | 2147483647 205534 43 | 0.006 % |
76.49/76.66 c | 207584 | 16888 244055 772669 | 2147483647 207583 43 | 0.006 % |
76.59/76.78 c | 207684 | 16888 244055 772669 | 2147483647 207683 43 | 0.006 % |
76.69/76.90 c | 207795 | 16888 244055 772669 | 2147483647 207794 43 | 0.006 % |
76.89/77.02 c | 207916 | 16888 244055 772669 | 2147483647 207915 43 | 0.006 % |
76.99/77.14 c | 208050 | 16888 244055 772669 | 2147483647 208049 43 | 0.006 % |
77.09/77.24 c | 208198 | 16888 244055 772669 | 2147483647 208197 43 | 0.006 % |
77.19/77.39 c | 208358 | 16888 244055 772669 | 2147483647 208357 43 | 0.006 % |
77.29/77.49 c | 208534 | 16888 244055 772669 | 2147483647 208533 43 | 0.006 % |
77.49/77.65 c | 208727 | 16888 244055 772669 | 2147483647 208726 43 | 0.006 % |
77.69/77.82 c | 208939 | 16888 244055 772669 | 2147483647 208938 43 | 0.006 % |
77.79/77.97 c | 209172 | 16888 244055 772669 | 2147483647 209171 43 | 0.006 % |
77.89/78.02 c | 209429 | 16888 244055 772669 | 2147483647 209428 43 | 0.006 % |
77.99/78.16 c | 209710 | 16888 244055 772669 | 2147483647 209709 43 | 0.006 % |
78.19/78.30 c | 210020 | 16888 244055 772669 | 2147483647 210019 43 | 0.006 % |
78.39/78.53 c | 210360 | 16888 244055 772669 | 2147483647 210359 43 | 0.006 % |
78.49/78.69 c | 210732 | 16888 244055 772669 | 2147483647 210731 43 | 0.006 % |
78.79/78.97 c | 211141 | 16888 244055 772669 | 2147483647 211140 43 | 0.006 % |
79.09/79.28 c | 211591 | 16888 244055 772669 | 2147483647 211590 43 | 0.006 % |
79.39/79.59 c | 212084 | 16888 244055 772669 | 2147483647 212083 43 | 0.006 % |
79.79/79.95 c | 212626 | 16888 244055 772669 | 2147483647 212625 43 | 0.006 % |
80.09/80.22 c | 213224 | 16888 244055 772669 | 2147483647 213223 43 | 0.006 % |
80.49/80.60 c | 213879 | 16888 244055 772669 | 2147483647 213878 43 | 0.006 % |
80.89/81.00 c | 214599 | 16888 244055 772669 | 2147483647 214598 43 | 0.006 % |
81.30/81.46 c | 215393 | 16888 244055 772669 | 2147483647 215392 43 | 0.006 % |
81.79/81.95 c | 216266 | 16888 244055 772669 | 2147483647 216265 43 | 0.006 % |
82.39/82.56 c | 217224 | 16888 244055 772669 | 2147483647 217223 43 | 0.006 % |
83.09/83.29 c | 218277 | 16888 244055 772669 | 2147483647 218276 43 | 0.006 % |
83.79/83.91 c | 219436 | 16888 244055 772669 | 2147483647 219435 43 | 0.006 % |
84.49/84.61 c | 220709 | 16888 244055 772669 | 2147483647 220708 43 | 0.006 % |
85.19/85.35 c | 222110 | 16888 244055 772669 | 2147483647 222109 43 | 0.006 % |
85.99/86.11 c | 223650 | 16888 244055 772669 | 2147483647 223649 43 | 0.006 % |
86.69/86.81 c | 225344 | 16888 244055 772669 | 2147483647 225343 43 | 0.006 % |
87.58/87.75 c | 227207 | 16888 244055 772669 | 2147483647 227206 43 | 0.006 % |
88.78/88.98 c | 229256 | 16888 244055 772669 | 2147483647 229255 43 | 0.006 % |
89.99/90.18 c | 231509 | 16888 244055 772669 | 2147483647 231508 43 | 0.006 % |
90.19/90.31 c | 231609 | 16888 244055 772669 | 2147483647 231608 43 | 0.006 % |
90.29/90.41 c | 231721 | 16888 244055 772669 | 2147483647 231720 43 | 0.006 % |
90.29/90.48 c | 231844 | 16888 244055 772669 | 2147483647 231843 43 | 0.006 % |
90.39/90.58 c | 231979 | 16888 244055 772669 | 2147483647 231978 43 | 0.006 % |
90.59/90.72 c | 232125 | 16888 244055 772669 | 2147483647 232124 43 | 0.006 % |
90.69/90.84 c | 232285 | 16888 244055 772669 | 2147483647 232284 43 | 0.006 % |
90.79/90.94 c | 232461 | 16888 244055 772669 | 2147483647 232460 43 | 0.006 % |
90.89/91.07 c | 232654 | 16888 244055 772669 | 2147483647 232653 43 | 0.006 % |
91.09/91.20 c | 232866 | 16888 244055 772669 | 2147483647 232865 43 | 0.006 % |
91.19/91.34 c | 233099 | 16888 244055 772669 | 2147483647 233098 43 | 0.006 % |
91.39/91.55 c | 233356 | 16888 244055 772669 | 2147483647 233355 43 | 0.006 % |
91.59/91.76 c | 233637 | 16888 244055 772669 | 2147483647 233636 43 | 0.006 % |
91.89/92.01 c | 233946 | 16888 244055 772669 | 2147483647 233945 43 | 0.006 % |
91.99/92.19 c | 234285 | 16888 244055 772669 | 2147483647 234284 43 | 0.006 % |
92.29/92.40 c | 234658 | 16888 244055 772669 | 2147483647 234657 43 | 0.006 % |
92.48/92.64 c | 235067 | 16888 244055 772669 | 2147483647 235066 43 | 0.006 % |
92.78/92.99 c | 235516 | 16888 244055 772669 | 2147483647 235515 43 | 0.006 % |
93.18/93.38 c | 236011 | 16888 244055 772669 | 2147483647 236010 43 | 0.006 % |
93.58/93.71 c | 236553 | 16888 244055 772669 | 2147483647 236552 43 | 0.006 % |
94.08/94.23 c | 237149 | 16888 244055 772669 | 2147483647 237148 43 | 0.006 % |
94.58/94.71 c | 237804 | 16888 244055 772669 | 2147483647 237803 43 | 0.006 % |
94.98/95.20 c | 238524 | 16888 244055 772669 | 2147483647 238523 43 | 0.006 % |
95.49/95.68 c | 239317 | 16888 244055 772669 | 2147483647 239316 43 | 0.006 % |
95.88/96.09 c | 240189 | 16888 244055 772669 | 2147483647 240188 43 | 0.006 % |
96.38/96.58 c | 241148 | 16888 244055 772669 | 2147483647 241147 43 | 0.006 % |
96.88/97.09 c | 242202 | 16888 244055 772669 | 2147483647 242201 43 | 0.006 % |
97.57/97.79 c | 243360 | 16888 244055 772669 | 2147483647 243359 43 | 0.006 % |
98.37/98.59 c | 244633 | 16888 244055 772669 | 2147483647 244632 43 | 0.006 % |
99.27/99.41 c | 246034 | 16888 244055 772669 | 2147483647 246033 43 | 0.006 % |
100.18/100.30 c | 247574 | 16888 244055 772669 | 2147483647 247573 43 | 0.006 % |
101.27/101.44 c | 249268 | 16888 244055 772669 | 2147483647 249267 43 | 0.006 % |
102.67/102.83 c | 251134 | 16888 244055 772669 | 2147483647 251133 43 | 0.006 % |
104.06/104.23 c | 253183 | 16888 244055 772669 | 2147483647 253182 43 | 0.006 % |
105.37/105.52 c | 255437 | 16888 244055 772669 | 2147483647 255436 43 | 0.006 % |
106.86/107.01 c | 257915 | 16888 244055 772669 | 2147483647 257914 43 | 0.006 % |
106.86/107.08 c | 258016 | 16888 244055 772669 | 2147483647 258015 43 | 0.006 % |
107.06/107.29 c | 258129 | 16888 244055 772669 | 2147483647 258128 43 | 0.006 % |
107.26/107.48 c | 258250 | 16888 244055 772669 | 2147483647 258249 43 | 0.006 % |
107.36/107.58 c | 258383 | 16888 244055 772669 | 2147483647 258382 43 | 0.006 % |
107.46/107.69 c | 258529 | 16888 244055 772669 | 2147483647 258528 43 | 0.006 % |
107.66/107.89 c | 258689 | 16888 244055 772669 | 2147483647 258688 43 | 0.006 % |
107.96/108.11 c | 258865 | 16888 244055 772669 | 2147483647 258864 43 | 0.006 % |
108.16/108.34 c | 259059 | 16888 244055 772669 | 2147483647 259058 43 | 0.006 % |
108.36/108.51 c | 259271 | 16888 244055 772669 | 2147483647 259270 43 | 0.006 % |
108.56/108.70 c | 259506 | 16888 244055 772669 | 2147483647 259505 43 | 0.006 % |
108.77/108.93 c | 259762 | 16888 244055 772669 | 2147483647 259761 43 | 0.006 % |
108.97/109.18 c | 260043 | 16888 244055 772669 | 2147483647 260042 43 | 0.006 % |
109.27/109.46 c | 260354 | 16888 244055 772669 | 2147483647 260353 43 | 0.006 % |
109.47/109.63 c | 260694 | 16888 244055 772669 | 2147483647 260693 43 | 0.006 % |
109.77/109.98 c | 261066 | 16888 244055 772669 | 2147483647 261065 43 | 0.006 % |
110.17/110.30 c | 261478 | 16888 244055 772669 | 2147483647 261477 43 | 0.006 % |
110.47/110.60 c | 261928 | 16888 244055 772669 | 2147483647 261927 43 | 0.006 % |
110.76/110.94 c | 262421 | 16888 244055 772669 | 2147483647 262420 43 | 0.006 % |
111.16/111.33 c | 262963 | 16888 244055 772669 | 2147483647 262962 43 | 0.006 % |
111.46/111.64 c | 263560 | 16888 244055 772669 | 2147483647 263559 43 | 0.006 % |
111.97/112.13 c | 264215 | 16888 244055 772669 | 2147483647 264214 43 | 0.006 % |
112.46/112.64 c | 264935 | 16888 244055 772669 | 2147483647 264934 43 | 0.007 % |
112.96/113.14 c | 265727 | 16888 244055 772669 | 2147483647 265726 43 | 0.006 % |
113.56/113.73 c | 266598 | 16888 244055 772669 | 2147483647 266597 43 | 0.006 % |
114.27/114.41 c | 267558 | 16888 244055 772669 | 2147483647 267557 43 | 0.006 % |
115.16/115.35 c | 268613 | 16888 244055 772669 | 2147483647 268612 43 | 0.006 % |
115.96/116.14 c | 269771 | 16888 244055 772669 | 2147483647 269770 43 | 0.006 % |
116.76/116.96 c | 271045 | 16888 244055 772669 | 2147483647 271044 43 | 0.006 % |
117.86/118.06 c | 272445 | 16888 244055 772669 | 2147483647 272444 43 | 0.006 % |
118.96/119.13 c | 273987 | 16888 244055 772669 | 2147483647 273986 43 | 0.006 % |
119.76/119.99 c | 275682 | 16888 244055 772669 | 2147483647 275681 43 | 0.006 % |
121.15/121.30 c | 277545 | 16888 244055 772669 | 2147483647 277544 43 | 0.006 % |
122.76/122.93 c | 279595 | 16888 244055 772669 | 2147483647 279594 43 | 0.006 % |
124.56/124.79 c | 281848 | 16888 244055 772669 | 279999 281847 43 | 0.006 % |
128.36/128.52 c | 284328 | 16888 244055 772669 | 279999 248056 42 | 0.006 % |
130.06/130.20 c | 287054 | 16888 244055 772669 | 279999 250782 41 | 0.006 % |
130.16/130.36 c | 287154 | 16888 244055 772669 | 279999 250882 41 | 0.006 % |
130.26/130.46 c | 287265 | 16888 244055 772669 | 279999 250993 41 | 0.006 % |
130.36/130.56 c | 287386 | 16888 244055 772669 | 279999 251114 41 | 0.006 % |
130.46/130.68 c | 287519 | 16888 244055 772669 | 279999 251247 41 | 0.006 % |
130.66/130.89 c | 287665 | 16888 244055 772669 | 279999 251393 41 | 0.006 % |
130.86/131.05 c | 287825 | 16888 244055 772669 | 279999 251553 41 | 0.006 % |
131.06/131.21 c | 288001 | 16888 244055 772669 | 279999 251729 41 | 0.006 % |
131.26/131.44 c | 288194 | 16888 244055 772669 | 279999 251922 41 | 0.006 % |
131.46/131.67 c | 288406 | 16888 244055 772669 | 279999 252134 41 | 0.006 % |
131.66/131.85 c | 288639 | 16888 244055 772669 | 279999 252367 41 | 0.006 % |
131.86/132.04 c | 288895 | 16888 244055 772669 | 279999 252623 41 | 0.006 % |
132.05/132.29 c | 289176 | 16888 244055 772669 | 279999 252904 41 | 0.006 % |
132.35/132.55 c | 289486 | 16888 244055 772669 | 279999 253214 41 | 0.006 % |
132.55/132.79 c | 289825 | 16888 244055 772669 | 279999 253553 41 | 0.006 % |
132.96/133.17 c | 290197 | 16888 244055 772669 | 253728 253925 41 | 0.006 % |
134.25/134.44 c | 290606 | 16888 244055 772669 | 253728 224762 42 | 0.006 % |
134.65/134.81 c | 291055 | 16888 244055 772669 | 253728 225211 42 | 0.006 % |
135.15/135.38 c | 291548 | 16888 244055 772669 | 253728 225704 42 | 0.006 % |
135.75/135.92 c | 292090 | 16888 244055 772669 | 253728 226246 42 | 0.006 % |
136.25/136.42 c | 292686 | 16888 244055 772669 | 253728 226842 42 | 0.006 % |
136.75/136.92 c | 293341 | 16888 244055 772669 | 253728 227497 42 | 0.006 % |
137.15/137.37 c | 294061 | 16888 244055 772669 | 253728 228217 42 | 0.006 % |
137.75/137.91 c | 294853 | 16888 244055 772669 | 253728 229009 42 | 0.006 % |
138.35/138.57 c | 295725 | 16888 244055 772669 | 253728 229881 42 | 0.006 % |
139.05/139.26 c | 296684 | 16888 244055 772669 | 253728 230840 42 | 0.006 % |
139.85/140.01 c | 297737 | 16888 244055 772669 | 253728 231893 42 | 0.006 % |
140.65/140.88 c | 298897 | 16888 244055 772669 | 253728 233053 42 | 0.006 % |
141.55/141.77 c | 300172 | 16888 244055 772669 | 234156 234328 42 | 0.006 % |
143.34/143.52 c | 301572 | 16888 244055 772669 | 234156 208166 42 | 0.006 % |
144.44/144.60 c | 303112 | 16888 244055 772669 | 234156 209706 42 | 0.006 % |
145.74/145.90 c | 304806 | 16888 244055 772669 | 234156 211400 42 | 0.006 % |
146.74/146.98 c | 306669 | 16888 244055 772669 | 234156 213263 42 | 0.006 % |
148.04/148.26 c | 308719 | 16888 244055 772669 | 234156 215313 42 | 0.006 % |
149.54/149.71 c | 310972 | 16888 244055 772669 | 216594 217566 42 | 0.006 % |
151.84/152.02 c | 313451 | 16888 244055 772669 | 216594 194397 41 | 0.006 % |
153.14/153.33 c | 316176 | 16888 244055 772669 | 216594 197122 42 | 0.006 % |
154.84/155.06 c | 319173 | 16888 244055 772669 | 216594 200119 41 | 0.006 % |
154.94/155.11 c | 319273 | 16888 244055 772669 | 216594 200219 41 | 0.006 % |
154.94/155.16 c | 319383 | 16888 244055 772669 | 216594 200329 41 | 0.006 % |
155.04/155.23 c | 319504 | 16888 244055 772669 | 216594 200450 41 | 0.006 % |
155.14/155.39 c | 319638 | 16888 244055 772669 | 216594 200584 41 | 0.006 % |
155.34/155.52 c | 319784 | 16888 244055 772669 | 216594 200730 41 | 0.006 % |
155.44/155.61 c | 319945 | 16888 244055 772669 | 216594 200891 41 | 0.006 % |
155.54/155.73 c | 320123 | 16888 244055 772669 | 2147483647 201069 41 | 0.006 % |
155.64/155.85 c | 320318 | 16888 244055 772669 | 2147483647 201264 41 | 0.006 % |
155.74/155.95 c | 320530 | 16888 244055 772669 | 2147483647 201476 41 | 0.006 % |
156.04/156.24 c | 320765 | 16888 244055 772669 | 2147483647 201711 41 | 0.006 % |
156.34/156.54 c | 321021 | 16888 244055 772669 | 2147483647 201967 41 | 0.006 % |
156.64/156.80 c | 321303 | 16888 244055 772669 | 2147483647 202249 41 | 0.006 % |
156.84/157.04 c | 321612 | 16888 244055 772669 | 2147483647 202558 41 | 0.006 % |
157.04/157.24 c | 321951 | 16888 244055 772669 | 2147483647 202897 41 | 0.006 % |
157.24/157.48 c | 322323 | 16888 244055 772669 | 2147483647 203269 41 | 0.006 % |
157.64/157.81 c | 322732 | 16888 244055 772669 | 2147483647 203678 41 | 0.006 % |
158.04/158.20 c | 323182 | 16888 244055 772669 | 2147483647 204128 41 | 0.006 % |
158.33/158.54 c | 323676 | 16888 244055 772669 | 2147483647 204622 41 | 0.006 % |
158.73/158.94 c | 324220 | 16888 244055 772669 | 2147483647 205166 41 | 0.006 % |
159.24/159.40 c | 324816 | 16888 244055 772669 | 2147483647 205762 41 | 0.006 % |
159.63/159.89 c | 325471 | 16888 244055 772669 | 2147483647 206417 41 | 0.006 % |
160.13/160.37 c | 326191 | 16888 244055 772669 | 2147483647 207137 41 | 0.006 % |
160.73/160.98 c | 326983 | 16888 244055 772669 | 2147483647 207929 41 | 0.006 % |
161.43/161.66 c | 327856 | 16888 244055 772669 | 2147483647 208802 41 | 0.006 % |
162.03/162.28 c | 328815 | 16888 244055 772669 | 2147483647 209761 41 | 0.006 % |
162.73/162.92 c | 329868 | 16888 244055 772669 | 2147483647 210814 41 | 0.006 % |
163.53/163.75 c | 331026 | 16888 244055 772669 | 210947 211972 41 | 0.006 % |
165.63/165.80 c | 332299 | 16888 244055 772669 | 210947 188998 40 | 0.006 % |
166.53/166.72 c | 333699 | 16888 244055 772669 | 210947 190398 40 | 0.006 % |
167.53/167.75 c | 335239 | 16888 244055 772669 | 210947 191938 40 | 0.006 % |
168.63/168.88 c | 336935 | 16888 244055 772669 | 210947 193634 40 | 0.006 % |
169.92/170.12 c | 338798 | 16888 244055 772669 | 210947 195497 40 | 0.006 % |
171.22/171.50 c | 340847 | 16888 244055 772669 | 2147483647 197546 40 | 0.006 % |
172.82/173.08 c | 343100 | 16888 244055 772669 | 2147483647 199799 40 | 0.006 % |
174.42/174.64 c | 345578 | 16888 244055 772669 | 2147483647 202277 40 | 0.006 % |
176.52/176.72 c | 348303 | 16888 244055 772669 | 2147483647 205002 40 | 0.006 % |
178.62/178.87 c | 351300 | 16888 244055 772669 | 206699 207999 40 | 0.006 % |
181.52/181.74 c | 354596 | 16888 244055 772669 | 206699 185617 39 | 0.006 % |
181.62/181.85 c | 354696 | 16888 244055 772669 | 206699 185717 39 | 0.006 % |
181.82/182.02 c | 354806 | 16888 244055 772669 | 206699 185827 39 | 0.006 % |
181.92/182.11 c | 354929 | 16888 244055 772669 | 206699 185950 39 | 0.006 % |
182.02/182.27 c | 355063 | 16888 244055 772669 | 206699 186084 39 | 0.006 % |
182.22/182.41 c | 355210 | 16888 244055 772669 | 206699 186231 39 | 0.006 % |
182.33/182.59 c | 355371 | 16888 244055 772669 | 206699 186392 39 | 0.006 % |
182.52/182.72 c | 355548 | 16888 244055 772669 | 206699 186569 39 | 0.006 % |
182.82/183.00 c | 355742 | 16888 244055 772669 | 206699 186763 39 | 0.006 % |
182.92/183.14 c | 355954 | 16888 244055 772669 | 206699 186975 39 | 0.006 % |
183.22/183.40 c | 356189 | 16888 244055 772669 | 206699 187210 39 | 0.006 % |
183.43/183.66 c | 356445 | 16888 244055 772669 | 206699 187466 39 | 0.006 % |
183.72/183.94 c | 356726 | 16888 244055 772669 | 206699 187747 39 | 0.006 % |
183.92/184.17 c | 357036 | 16888 244055 772669 | 206699 188057 39 | 0.006 % |
184.22/184.48 c | 357375 | 16888 244055 772669 | 206699 188396 39 | 0.006 % |
184.52/184.74 c | 357747 | 16888 244055 772669 | 206699 188768 39 | 0.006 % |
184.92/185.16 c | 358160 | 16888 244055 772669 | 206699 189181 39 | 0.006 % |
185.32/185.51 c | 358610 | 16888 244055 772669 | 206699 189631 39 | 0.006 % |
185.51/185.80 c | 359104 | 16888 244055 772669 | 206699 190125 39 | 0.006 % |
186.01/186.23 c | 359646 | 16888 244055 772669 | 206699 190667 39 | 0.006 % |
186.51/186.72 c | 360242 | 16888 244055 772669 | 191022 191263 39 | 0.006 % |
187.71/187.91 c | 360897 | 16888 244055 772669 | 191022 164702 38 | 0.006 % |
188.21/188.40 c | 361617 | 16888 244055 772669 | 191022 165422 38 | 0.006 % |
188.71/188.97 c | 362409 | 16888 244055 772669 | 191022 166214 38 | 0.006 % |
189.41/189.70 c | 363280 | 16888 244055 772669 | 191022 167085 38 | 0.006 % |
190.12/190.37 c | 364240 | 16888 244055 772669 | 191022 168045 38 | 0.006 % |
190.81/191.06 c | 365293 | 16888 244055 772669 | 191022 169098 38 | 0.006 % |
191.61/191.80 c | 366451 | 16888 244055 772669 | 191022 170256 38 | 0.006 % |
192.41/192.64 c | 367725 | 16888 244055 772669 | 191022 171530 38 | 0.006 % |
193.21/193.45 c | 369128 | 16888 244055 772669 | 191022 172933 38 | 0.006 % |
194.21/194.42 c | 370668 | 16888 244055 772669 | 173805 174473 38 | 0.006 % |
195.81/196.00 c | 372363 | 16888 244055 772669 | 173805 157939 38 | 0.006 % |
196.71/196.99 c | 374226 | 16888 244055 772669 | 173805 159802 38 | 0.006 % |
197.91/198.19 c | 376276 | 16888 244055 772669 | 173805 161852 37 | 0.006 % |
199.21/199.49 c | 378530 | 16888 244055 772669 | 173805 164106 37 | 0.006 % |
200.90/201.17 c | 381008 | 16888 244055 772669 | 2147483647 166584 38 | 0.006 % |
202.80/203.05 c | 383734 | 16888 244055 772669 | 2147483647 169310 38 | 0.006 % |
204.31/204.52 c | 386731 | 16888 244055 772669 | 2147483647 172307 38 | 0.006 % |
206.30/206.52 c | 390028 | 16888 244055 772669 | 2147483647 175604 38 | 0.006 % |
208.60/208.89 c | 393653 | 16888 244055 772669 | 2147483647 179229 38 | 0.006 % |
208.81/209.04 c | 393753 | 16888 244055 772669 | 2147483647 179329 38 | 0.006 % |
208.90/209.15 c | 393863 | 16888 244055 772669 | 2147483647 179439 38 | 0.006 % |
209.00/209.24 c | 393987 | 16888 244055 772669 | 2147483647 179563 38 | 0.006 % |
209.10/209.33 c | 394121 | 16888 244055 772669 | 2147483647 179697 38 | 0.006 % |
209.20/209.41 c | 394268 | 16888 244055 772669 | 2147483647 179844 38 | 0.006 % |
209.30/209.50 c | 394428 | 16888 244055 772669 | 2147483647 180004 38 | 0.006 % |
209.40/209.62 c | 394606 | 16888 244055 772669 | 2147483647 180182 38 | 0.006 % |
209.50/209.75 c | 394799 | 16888 244055 772669 | 2147483647 180375 38 | 0.006 % |
209.70/209.92 c | 395011 | 16888 244055 772669 | 2147483647 180587 38 | 0.006 % |
209.91/210.16 c | 395246 | 16888 244055 772669 | 2147483647 180822 38 | 0.006 % |
210.10/210.37 c | 395502 | 16888 244055 772669 | 2147483647 181078 38 | 0.006 % |
210.50/210.78 c | 395784 | 16888 244055 772669 | 2147483647 181360 38 | 0.006 % |
210.80/211.02 c | 396094 | 16888 244055 772669 | 2147483647 181670 38 | 0.006 % |
211.10/211.35 c | 396435 | 16888 244055 772669 | 2147483647 182011 38 | 0.006 % |
211.50/211.72 c | 396807 | 16888 244055 772669 | 2147483647 182383 38 | 0.006 % |
211.80/212.03 c | 397216 | 16888 244055 772669 | 2147483647 182792 38 | 0.006 % |
212.10/212.37 c | 397666 | 16888 244055 772669 | 2147483647 183242 38 | 0.006 % |
212.40/212.65 c | 398161 | 16888 244055 772669 | 2147483647 183737 38 | 0.006 % |
212.90/213.10 c | 398703 | 16888 244055 772669 | 2147483647 184279 38 | 0.006 % |
213.20/213.47 c | 399299 | 16888 244055 772669 | 2147483647 184875 38 | 0.006 % |
213.70/213.90 c | 399954 | 16888 244055 772669 | 2147483647 185530 38 | 0.006 % |
214.10/214.35 c | 400675 | 16888 244055 772669 | 185576 186251 38 | 0.006 % |
215.60/215.87 c | 401468 | 16888 244055 772669 | 185576 162506 37 | 0.006 % |
216.00/216.28 c | 402339 | 16888 244055 772669 | 185576 163377 37 | 0.006 % |
216.60/216.86 c | 403297 | 16888 244055 772669 | 185576 164335 37 | 0.006 % |
217.20/217.43 c | 404350 | 16888 244055 772669 | 185576 165388 37 | 0.006 % |
217.90/218.13 c | 405509 | 16888 244055 772669 | 185576 166547 37 | 0.006 % |
218.80/219.04 c | 406782 | 16888 244055 772669 | 185576 167820 37 | 0.006 % |
219.80/220.08 c | 408183 | 16888 244055 772669 | 185576 169221 37 | 0.006 % |
221.00/221.23 c | 409723 | 16888 244055 772669 | 185576 170761 37 | 0.006 % |
222.09/222.31 c | 411417 | 16888 244055 772669 | 171039 172455 37 | 0.006 % |
224.10/224.37 c | 413280 | 16888 244055 772669 | 171039 154956 36 | 0.006 % |
225.30/225.53 c | 415330 | 16888 244055 772669 | 171039 157006 37 | 0.006 % |
226.19/226.48 c | 417583 | 16888 244055 772669 | 171039 159259 36 | 0.006 % |
227.59/227.87 c | 420061 | 16888 244055 772669 | 2147483647 161737 37 | 0.006 % |
229.99/230.28 c | 422786 | 16888 244055 772669 | 2147483647 164462 37 | 0.006 % |
232.69/232.94 c | 425783 | 16888 244055 772669 | 2147483647 167459 37 | 0.006 % |
234.89/235.19 c | 429081 | 16888 244055 772669 | 2147483647 170757 37 | 0.006 % |
236.59/236.83 c | 432707 | 16888 244055 772669 | 171676 174383 37 | 0.006 % |
239.68/239.94 c | 436694 | 16888 244055 772669 | 171676 160932 36 | 0.006 % |
239.68/239.99 c | 436796 | 16888 244055 772669 | 171676 161034 36 | 0.006 % |
239.78/240.08 c | 436906 | 16888 244055 772669 | 171676 161144 36 | 0.006 % |
239.88/240.15 c | 437028 | 16888 244055 772669 | 171676 161266 36 | 0.006 % |
240.08/240.35 c | 437162 | 16888 244055 772669 | 171676 161400 36 | 0.006 % |
240.18/240.48 c | 437308 | 16888 244055 772669 | 171676 161546 36 | 0.006 % |
240.28/240.58 c | 437468 | 16888 244055 772669 | 171676 161706 36 | 0.006 % |
240.48/240.71 c | 437644 | 16888 244055 772669 | 171676 161882 36 | 0.006 % |
240.59/240.88 c | 437837 | 16888 244055 772669 | 171676 162075 36 | 0.006 % |
240.78/241.00 c | 438050 | 16888 244055 772669 | 171676 162288 36 | 0.006 % |
241.08/241.31 c | 438283 | 16888 244055 772669 | 171676 162521 36 | 0.006 % |
241.28/241.54 c | 438539 | 16888 244055 772669 | 171676 162777 36 | 0.006 % |
241.58/241.81 c | 438820 | 16888 244055 772669 | 171676 163058 36 | 0.006 % |
241.69/241.97 c | 439129 | 16888 244055 772669 | 171676 163367 36 | 0.006 % |
241.98/242.20 c | 439469 | 16888 244055 772669 | 171676 163707 36 | 0.006 % |
242.18/242.42 c | 439842 | 16888 244055 772669 | 171676 164080 36 | 0.006 % |
242.38/242.67 c | 440252 | 16888 244055 772669 | 2147483647 164490 36 | 0.006 % |
242.68/243.00 c | 440701 | 16888 244055 772669 | 2147483647 164939 36 | 0.006 % |
243.08/243.34 c | 441195 | 16888 244055 772669 | 2147483647 165433 36 | 0.006 % |
243.38/243.68 c | 441737 | 16888 244055 772669 | 2147483647 165975 36 | 0.006 % |
243.78/244.02 c | 442333 | 16888 244055 772669 | 2147483647 166571 36 | 0.006 % |
243.99/244.29 c | 442988 | 16888 244055 772669 | 2147483647 167226 36 | 0.006 % |
244.48/244.70 c | 443708 | 16888 244055 772669 | 2147483647 167946 36 | 0.006 % |
244.88/245.16 c | 444500 | 16888 244055 772669 | 2147483647 168738 36 | 0.006 % |
245.48/245.77 c | 445374 | 16888 244055 772669 | 2147483647 169612 36 | 0.006 % |
245.98/246.29 c | 446332 | 16888 244055 772669 | 2147483647 170570 36 | 0.006 % |
246.78/247.03 c | 447385 | 16888 244055 772669 | 2147483647 171623 36 | 0.006 % |
247.38/247.62 c | 448543 | 16888 244055 772669 | 2147483647 172781 36 | 0.006 % |
248.08/248.31 c | 449817 | 16888 244055 772669 | 2147483647 174055 36 | 0.006 % |
248.78/249.07 c | 451217 | 16888 244055 772669 | 2147483647 175455 36 | 0.006 % |
249.78/250.02 c | 452760 | 16888 244055 772669 | 2147483647 176998 36 | 0.006 % |
250.88/251.18 c | 454455 | 16888 244055 772669 | 2147483647 178693 36 | 0.006 % |
252.08/252.36 c | 456319 | 16888 244055 772669 | 2147483647 180557 36 | 0.006 % |
253.18/253.42 c | 458368 | 16888 244055 772669 | 2147483647 182606 36 | 0.006 % |
254.37/254.61 c | 460621 | 16888 244055 772669 | 184238 184859 36 | 0.006 % |
257.87/258.12 c | 463099 | 16888 244055 772669 | 184238 167176 37 | 0.006 % |
259.77/260.08 c | 465824 | 16888 244055 772669 | 184238 169901 37 | 0.006 % |
261.87/262.19 c | 468822 | 16888 244055 772669 | 184238 172899 36 | 0.006 % |
264.27/264.54 c | 472118 | 16888 244055 772669 | 174077 176195 36 | 0.006 % |
267.57/267.87 c | 475743 | 16888 244055 772669 | 174077 153005 36 | 0.006 % |
270.17/270.41 c | 479730 | 16888 244055 772669 | 174077 156992 36 | 0.006 % |
273.57/273.84 c | 484115 | 16888 244055 772669 | 157263 144205 35 | 0.006 % |
273.67/273.91 c | 484216 | 16888 244055 772669 | 157263 144306 35 | 0.006 % |
273.67/273.98 c | 484327 | 16888 244055 772669 | 157263 144417 35 | 0.006 % |
273.77/274.06 c | 484449 | 16888 244055 772669 | 157263 144539 35 | 0.006 % |
273.87/274.14 c | 484582 | 16888 244055 772669 | 157263 144672 35 | 0.006 % |
273.97/274.29 c | 484728 | 16888 244055 772669 | 157263 144818 35 | 0.006 % |
274.16/274.45 c | 484888 | 16888 244055 772669 | 157263 144978 35 | 0.006 % |
274.26/274.59 c | 485064 | 16888 244055 772669 | 157263 145154 35 | 0.006 % |
274.56/274.85 c | 485257 | 16888 244055 772669 | 157263 145347 35 | 0.006 % |
274.66/274.96 c | 485469 | 16888 244055 772669 | 157263 145559 35 | 0.006 % |
274.86/275.11 c | 485702 | 16888 244055 772669 | 157263 145792 35 | 0.006 % |
274.96/275.25 c | 485958 | 16888 244055 772669 | 157263 146048 35 | 0.006 % |
275.06/275.39 c | 486240 | 16888 244055 772669 | 157263 146330 35 | 0.006 % |
275.26/275.57 c | 486549 | 16888 244055 772669 | 157263 146639 35 | 0.006 % |
275.66/275.95 c | 486889 | 16888 244055 772669 | 157263 146979 35 | 0.006 % |
275.96/276.29 c | 487261 | 16888 244055 772669 | 157263 147351 35 | 0.006 % |
276.26/276.53 c | 487670 | 16888 244055 772669 | 157263 147760 35 | 0.006 % |
276.46/276.78 c | 488120 | 16888 244055 772669 | 157263 148210 35 | 0.006 % |
276.66/276.98 c | 488613 | 16888 244055 772669 | 157263 148703 35 | 0.006 % |
276.96/277.24 c | 489155 | 16888 244055 772669 | 157263 149245 35 | 0.006 % |
277.26/277.55 c | 489752 | 16888 244055 772669 | 157263 149842 35 | 0.006 % |
277.56/277.86 c | 490409 | 16888 244055 772669 | 2147483647 150499 35 | 0.006 % |
277.86/278.17 c | 491130 | 16888 244055 772669 | 2147483647 151220 35 | 0.006 % |
278.16/278.50 c | 491924 | 16888 244055 772669 | 2147483647 152014 35 | 0.006 % |
278.56/278.89 c | 492795 | 16888 244055 772669 | 2147483647 152885 35 | 0.006 % |
279.06/279.36 c | 493753 | 16888 244055 772669 | 2147483647 153843 35 | 0.006 % |
279.56/279.81 c | 494808 | 16888 244055 772669 | 2147483647 154898 35 | 0.006 % |
280.26/280.54 c | 495968 | 16888 244055 772669 | 2147483647 156058 35 | 0.006 % |
280.96/281.24 c | 497241 | 16888 244055 772669 | 2147483647 157331 35 | 0.006 % |
281.76/282.08 c | 498642 | 16888 244055 772669 | 2147483647 158732 35 | 0.006 % |
282.86/283.11 c | 500183 | 16888 244055 772669 | 2147483647 160273 35 | 0.006 % |
283.76/284.02 c | 501877 | 16888 244055 772669 | 2147483647 161967 35 | 0.006 % |
284.86/285.17 c | 503744 | 16888 244055 772669 | 2147483647 163834 35 | 0.006 % |
286.36/286.67 c | 505794 | 16888 244055 772669 | 2147483647 165884 35 | 0.006 % |
287.76/288.05 c | 508047 | 16888 244055 772669 | 2147483647 168137 34 | 0.006 % |
288.96/289.27 c | 510525 | 16888 244055 772669 | 170091 170615 35 | 0.006 % |
292.15/292.49 c | 513250 | 16888 244055 772669 | 170091 151163 34 | 0.006 % |
294.15/294.42 c | 516247 | 16888 244055 772669 | 170091 154160 34 | 0.006 % |
295.75/296.04 c | 519543 | 16888 244055 772669 | 170091 157456 35 | 0.006 % |
297.45/297.71 c | 523169 | 16888 244055 772669 | 157913 161082 35 | 0.006 % |
300.65/300.98 c | 527157 | 16888 244055 772669 | 157913 145678 35 | 0.006 % |
302.55/302.86 c | 531543 | 16888 244055 772669 | 2147483647 150064 35 | 0.006 % |
304.85/305.16 c | 536366 | 16888 244055 772669 | 2147483647 154887 36 | 0.006 % |
304.95/305.26 c | 536466 | 16888 244055 772669 | 2147483647 154987 36 | 0.006 % |
305.05/305.33 c | 536576 | 16888 244055 772669 | 2147483647 155097 36 | 0.006 % |
305.15/305.47 c | 536697 | 16888 244055 772669 | 2147483647 155218 36 | 0.006 % |
305.35/305.70 c | 536830 | 16888 244055 772669 | 2147483647 155351 36 | 0.006 % |
305.55/305.83 c | 536977 | 16888 244055 772669 | 2147483647 155498 36 | 0.006 % |
305.65/305.95 c | 537138 | 16888 244055 772669 | 2147483647 155659 36 | 0.006 % |
305.75/306.09 c | 537314 | 16888 244055 772669 | 2147483647 155835 36 | 0.006 % |
305.95/306.25 c | 537507 | 16888 244055 772669 | 2147483647 156028 36 | 0.006 % |
306.15/306.43 c | 537719 | 16888 244055 772669 | 2147483647 156240 36 | 0.006 % |
306.35/306.62 c | 537953 | 16888 244055 772669 | 2147483647 156474 36 | 0.006 % |
306.55/306.80 c | 538209 | 16888 244055 772669 | 2147483647 156730 36 | 0.006 % |
306.75/307.01 c | 538490 | 16888 244055 772669 | 2147483647 157011 36 | 0.006 % |
306.95/307.23 c | 538799 | 16888 244055 772669 | 2147483647 157320 36 | 0.006 % |
307.15/307.45 c | 539138 | 16888 244055 772669 | 2147483647 157659 36 | 0.006 % |
307.35/307.68 c | 539514 | 16888 244055 772669 | 2147483647 158035 36 | 0.006 % |
307.55/307.87 c | 539923 | 16888 244055 772669 | 2147483647 158444 36 | 0.006 % |
307.94/308.20 c | 540372 | 16888 244055 772669 | 2147483647 158893 36 | 0.006 % |
308.04/308.38 c | 540865 | 16888 244055 772669 | 2147483647 159386 36 | 0.006 % |
308.34/308.60 c | 541408 | 16888 244055 772669 | 2147483647 159929 36 | 0.006 % |
308.54/308.81 c | 542004 | 16888 244055 772669 | 2147483647 160525 36 | 0.006 % |
308.85/309.14 c | 542661 | 16888 244055 772669 | 2147483647 161182 36 | 0.006 % |
309.14/309.44 c | 543382 | 16888 244055 772669 | 2147483647 161903 36 | 0.006 % |
309.44/309.79 c | 544174 | 16888 244055 772669 | 2147483647 162695 36 | 0.006 % |
309.74/310.10 c | 545046 | 16888 244055 772669 | 2147483647 163567 36 | 0.006 % |
310.34/310.68 c | 546005 | 16821 241032 764032 | 2147483647 164523 36 | 0.403 % |
310.94/311.23 c | 547058 | 16821 241032 764032 | 2147483647 165576 36 | 0.403 % |
311.44/311.74 c | 548216 | 16821 241032 764032 | 2147483647 166734 36 | 0.403 % |
311.94/312.30 c | 549489 | 16821 241032 764032 | 2147483647 168007 36 | 0.403 % |
312.44/312.77 c | 550890 | 16821 241032 764032 | 2147483647 169408 36 | 0.403 % |
312.94/313.22 c | 552430 | 16821 241032 764032 | 2147483647 170948 36 | 0.403 % |
313.54/313.82 c | 554124 | 16821 241032 764032 | 2147483647 172642 36 | 0.403 % |
314.24/314.50 c | 555988 | 16821 241032 764032 | 2147483647 174506 36 | 0.403 % |
314.94/315.22 c | 558037 | 16821 241032 764032 | 2147483647 176555 36 | 0.403 % |
315.74/316.04 c | 560290 | 16821 241032 764032 | 2147483647 178808 37 | 0.403 % |
317.04/317.38 c | 562770 | 16821 241032 764032 | 2147483647 181288 37 | 0.403 % |
318.24/318.57 c | 565496 | 16821 241032 764032 | 2147483647 184014 37 | 0.403 % |
319.34/319.62 c | 568493 | 16821 241032 764032 | 2147483647 187011 37 | 0.403 % |
320.84/321.14 c | 571790 | 16821 241032 764032 | 2147483647 190308 37 | 0.403 % |
322.53/322.82 c | 575416 | 16821 241032 764032 | 2147483647 193934 37 | 0.403 % |
324.53/324.84 c | 579403 | 16821 241032 764032 | 2147483647 197921 38 | 0.403 % |
326.73/327.07 c | 583790 | 16821 241032 764032 | 2147483647 202308 38 | 0.403 % |
330.03/330.30 c | 588614 | 16821 241032 764032 | 2147483647 207132 38 | 0.403 % |
332.83/333.20 c | 593919 | 16821 241032 764032 | 2147483647 212437 38 | 0.403 % |
333.03/333.34 c | 594019 | 16821 241032 764032 | 2147483647 212537 38 | 0.403 % |
333.13/333.47 c | 594129 | 16821 241032 764032 | 2147483647 212647 38 | 0.403 % |
333.23/333.57 c | 594251 | 16821 241032 764032 | 2147483647 212769 38 | 0.403 % |
333.33/333.69 c | 594385 | 16821 241032 764032 | 2147483647 212903 38 | 0.403 % |
333.43/333.78 c | 594531 | 16821 241032 764032 | 2147483647 213049 38 | 0.403 % |
333.63/333.95 c | 594691 | 16821 241032 764032 | 2147483647 213209 38 | 0.403 % |
333.73/334.08 c | 594867 | 16821 241032 764032 | 2147483647 213385 38 | 0.403 % |
333.93/334.25 c | 595063 | 16821 241032 764032 | 2147483647 213581 38 | 0.403 % |
334.23/334.50 c | 595276 | 16821 241032 764032 | 2147483647 213794 38 | 0.403 % |
334.43/334.74 c | 595510 | 16821 241032 764032 | 2147483647 214028 38 | 0.403 % |
334.63/334.97 c | 595766 | 16821 241032 764032 | 2147483647 214284 38 | 0.403 % |
334.83/335.11 c | 596048 | 16821 241032 764032 | 2147483647 214566 38 | 0.403 % |
335.03/335.36 c | 596358 | 16821 241032 764032 | 2147483647 214876 38 | 0.403 % |
335.33/335.60 c | 596697 | 16821 241032 764032 | 2147483647 215215 38 | 0.403 % |
335.53/335.85 c | 597069 | 16821 241032 764032 | 2147483647 215587 38 | 0.403 % |
335.72/336.03 c | 597478 | 16821 241032 764032 | 2147483647 215996 38 | 0.403 % |
335.92/336.29 c | 597927 | 16821 241032 764032 | 2147483647 216445 38 | 0.403 % |
336.33/336.61 c | 598420 | 16821 241032 764032 | 2147483647 216938 38 | 0.403 % |
336.62/336.90 c | 598962 | 16821 241032 764032 | 2147483647 217480 38 | 0.403 % |
337.12/337.42 c | 599559 | 16821 241032 764032 | 2147483647 218077 38 | 0.403 % |
337.52/337.82 c | 600214 | 16821 241032 764032 | 2147483647 218732 38 | 0.403 % |
338.12/338.49 c | 600934 | 16821 241032 764032 | 2147483647 219452 38 | 0.403 % |
338.72/339.10 c | 601726 | 16821 241032 764032 | 2147483647 220244 38 | 0.403 % |
339.42/339.73 c | 602598 | 16821 241032 764032 | 2147483647 221116 38 | 0.403 % |
339.92/340.28 c | 603556 | 16821 241032 764032 | 2147483647 222074 38 | 0.403 % |
340.52/340.84 c | 604609 | 16821 241032 764032 | 2147483647 223127 39 | 0.403 % |
341.32/341.60 c | 605767 | 16821 241032 764032 | 2147483647 224285 39 | 0.403 % |
342.12/342.40 c | 607040 | 16821 241032 764032 | 2147483647 225558 39 | 0.403 % |
342.62/342.94 c | 608440 | 16821 241032 764032 | 2147483647 226958 39 | 0.403 % |
343.72/344.04 c | 609981 | 16821 241032 764032 | 2147483647 228499 39 | 0.403 % |
344.72/345.08 c | 611676 | 16821 241032 764032 | 2147483647 230194 39 | 0.403 % |
346.12/346.46 c | 613539 | 16821 241032 764032 | 2147483647 232057 39 | 0.403 % |
347.92/348.25 c | 615589 | 16821 241032 764032 | 2147483647 234107 39 | 0.403 % |
349.32/349.69 c | 617843 | 16821 241032 764032 | 2147483647 236361 40 | 0.403 % |
351.32/351.68 c | 620322 | 16821 241032 764032 | 238518 238840 40 | 0.403 % |
355.52/355.85 c | 623047 | 16821 241032 764032 | 238518 215263 40 | 0.403 % |
357.72/358.02 c | 626044 | 16821 241032 764032 | 238518 218260 41 | 0.403 % |
360.22/360.51 c | 629340 | 16821 241032 764032 | 238518 221556 42 | 0.403 % |
362.92/363.24 c | 632965 | 16821 241032 764032 | 222217 225181 42 | 0.403 % |
367.21/367.58 c | 636955 | 16821 241032 764032 | 222217 202876 42 | 0.403 % |
370.90/371.21 c | 641340 | 16821 241032 764032 | 2147483647 207261 42 | 0.403 % |
374.10/374.42 c | 646163 | 16821 241032 764032 | 2147483647 212084 42 | 0.403 % |
377.20/377.56 c | 651468 | 16821 241032 764032 | 215922 217389 42 | 0.403 % |
381.50/381.89 c | 657303 | 16821 241032 764032 | 215922 201132 42 | 0.403 % |
381.60/381.95 c | 657407 | 16821 241032 764032 | 215922 201236 42 | 0.403 % |
381.70/382.02 c | 657517 | 16821 241032 764032 | 215922 201346 42 | 0.403 % |
381.80/382.11 c | 657640 | 16821 241032 764032 | 215922 201469 42 | 0.403 % |
381.80/382.19 c | 657777 | 16821 241032 764032 | 215922 201606 42 | 0.403 % |
382.00/382.38 c | 657923 | 16821 241032 764032 | 215922 201752 42 | 0.403 % |
382.20/382.53 c | 658086 | 16821 241032 764032 | 215922 201915 42 | 0.403 % |
382.30/382.66 c | 658264 | 16821 241032 764032 | 215922 202093 42 | 0.403 % |
382.51/382.88 c | 658457 | 16821 241032 764032 | 215922 202286 42 | 0.403 % |
382.80/383.13 c | 658669 | 16821 241032 764032 | 215922 202498 42 | 0.403 % |
382.90/383.28 c | 658902 | 16821 241032 764032 | 215922 202731 42 | 0.403 % |
383.00/383.36 c | 659160 | 16821 241032 764032 | 215922 202989 42 | 0.403 % |
383.10/383.47 c | 659442 | 16821 241032 764032 | 215922 203271 42 | 0.403 % |
383.20/383.54 c | 659751 | 16821 241032 764032 | 215922 203580 42 | 0.403 % |
383.40/383.72 c | 660091 | 16821 241032 764032 | 2147483647 203920 42 | 0.403 % |
383.51/383.87 c | 660463 | 16821 241032 764032 | 2147483647 204292 42 | 0.403 % |
383.60/383.97 c | 660874 | 16821 241032 764032 | 2147483647 204703 42 | 0.403 % |
383.80/384.12 c | 661323 | 16821 241032 764032 | 2147483647 205152 42 | 0.403 % |
383.90/384.30 c | 661816 | 16821 241032 764032 | 2147483647 205645 42 | 0.403 % |
384.20/384.50 c | 662358 | 16821 241032 764032 | 2147483647 206187 42 | 0.403 % |
384.50/384.82 c | 662955 | 16821 241032 764032 | 2147483647 206784 42 | 0.403 % |
384.80/385.13 c | 663611 | 16821 241032 764032 | 2147483647 207440 42 | 0.403 % |
385.10/385.41 c | 664334 | 16821 241032 764032 | 2147483647 208163 42 | 0.403 % |
385.30/385.67 c | 665126 | 16821 241032 764032 | 2147483647 208955 42 | 0.403 % |
385.60/385.99 c | 665999 | 16821 241032 764032 | 2147483647 209828 41 | 0.403 % |
386.10/386.49 c | 666957 | 16821 241032 764032 | 2147483647 210786 41 | 0.403 % |
386.60/386.98 c | 668010 | 16821 241032 764032 | 2147483647 211839 41 | 0.403 % |
387.00/387.36 c | 669168 | 16821 241032 764032 | 2147483647 212997 41 | 0.403 % |
387.70/388.00 c | 670441 | 16821 241032 764032 | 2147483647 214270 41 | 0.403 % |
388.20/388.53 c | 671841 | 16821 241032 764032 | 2147483647 215670 41 | 0.403 % |
388.80/389.14 c | 673382 | 16821 241032 764032 | 2147483647 217211 41 | 0.403 % |
389.40/389.79 c | 675076 | 16821 241032 764032 | 2147483647 218905 41 | 0.403 % |
390.30/390.60 c | 676939 | 16821 241032 764032 | 2147483647 220768 41 | 0.403 % |
391.10/391.50 c | 678989 | 16821 241032 764032 | 2147483647 222818 41 | 0.403 % |
392.30/392.61 c | 681242 | 16821 241032 764032 | 2147483647 225071 41 | 0.403 % |
393.20/393.59 c | 683722 | 16821 241032 764032 | 2147483647 227551 41 | 0.403 % |
394.70/395.09 c | 686447 | 16821 241032 764032 | 2147483647 230276 41 | 0.403 % |
396.30/396.67 c | 689444 | 16821 241032 764032 | 2147483647 233273 41 | 0.403 % |
398.39/398.71 c | 692741 | 16821 241032 764032 | 2147483647 236570 40 | 0.403 % |
401.29/401.61 c | 696367 | 16821 241032 764032 | 2147483647 240196 41 | 0.403 % |
404.89/405.25 c | 700354 | 16821 241032 764032 | 2147483647 244183 40 | 0.403 % |
408.09/408.41 c | 704740 | 16821 241032 764032 | 2147483647 248569 41 | 0.403 % |
412.59/412.94 c | 709563 | 16821 241032 764032 | 2147483647 253392 41 | 0.403 % |
416.29/416.66 c | 714868 | 16821 241032 764032 | 253830 258697 41 | 0.403 % |
421.68/422.01 c | 720704 | 16821 241032 764032 | 2147483647 233987 40 | 0.403 % |
425.48/425.83 c | 727123 | 16821 241032 764032 | 2147483647 240406 40 | 0.403 % |
425.58/425.91 c | 727226 | 16821 241032 764032 | 2147483647 240509 40 | 0.403 % |
425.58/425.98 c | 727336 | 16821 241032 764032 | 2147483647 240619 40 | 0.403 % |
425.68/426.04 c | 727457 | 16821 241032 764032 | 2147483647 240740 40 | 0.403 % |
425.78/426.14 c | 727590 | 16821 241032 764032 | 2147483647 240873 40 | 0.403 % |
425.88/426.28 c | 727739 | 16821 241032 764032 | 2147483647 241022 40 | 0.403 % |
426.18/426.51 c | 727899 | 16821 241032 764032 | 2147483647 241182 40 | 0.404 % |
426.39/426.73 c | 728076 | 16821 241032 764032 | 2147483647 241359 40 | 0.403 % |
426.58/426.96 c | 728270 | 16821 241032 764032 | 2147483647 241553 40 | 0.403 % |
426.88/427.22 c | 728482 | 16821 241032 764032 | 2147483647 241765 40 | 0.403 % |
426.98/427.39 c | 728716 | 16821 241032 764032 | 2147483647 241999 40 | 0.403 % |
427.18/427.55 c | 728973 | 16821 241032 764032 | 2147483647 242256 40 | 0.403 % |
427.38/427.77 c | 729256 | 16821 241032 764032 | 2147483647 242539 40 | 0.403 % |
427.68/428.02 c | 729565 | 16821 241032 764032 | 2147483647 242848 40 | 0.403 % |
427.98/428.30 c | 729904 | 16821 241032 764032 | 2147483647 243187 40 | 0.403 % |
428.28/428.63 c | 730277 | 16821 241032 764032 | 243283 243560 40 | 0.403 % |
430.28/430.67 c | 730686 | 16821 241032 764032 | 243283 209809 41 | 0.403 % |
430.58/430.98 c | 731135 | 16821 241032 764032 | 243283 210258 41 | 0.403 % |
430.98/431.31 c | 731632 | 16821 241032 764032 | 243283 210755 41 | 0.403 % |
431.28/431.67 c | 732174 | 16821 241032 764032 | 243283 211297 41 | 0.403 % |
431.58/431.99 c | 732770 | 16821 241032 764032 | 243283 211893 41 | 0.403 % |
431.98/432.36 c | 733425 | 16821 241032 764032 | 243283 212548 41 | 0.403 % |
432.38/432.71 c | 734146 | 16821 241032 764032 | 243283 213269 41 | 0.403 % |
432.68/433.09 c | 734938 | 16821 241032 764032 | 243283 214061 41 | 0.403 % |
433.18/433.57 c | 735809 | 16821 241032 764032 | 243283 214932 41 | 0.403 % |
433.68/434.09 c | 736767 | 16821 241032 764032 | 243283 215890 40 | 0.403 % |
434.48/434.87 c | 737820 | 16821 241032 764032 | 243283 216943 40 | 0.403 % |
435.08/435.49 c | 738980 | 16821 241032 764032 | 243283 218103 40 | 0.403 % |
435.78/436.10 c | 740254 | 16821 241032 764032 | 2147483647 219377 40 | 0.403 % |
436.38/436.74 c | 741654 | 16821 241032 764032 | 2147483647 220777 40 | 0.403 % |
437.28/437.61 c | 743197 | 16821 241032 764032 | 2147483647 222320 40 | 0.403 % |
438.08/438.45 c | 744891 | 16821 241032 764032 | 2147483647 224014 40 | 0.403 % |
439.18/439.54 c | 746755 | 16821 241032 764032 | 2147483647 225878 40 | 0.403 % |
440.28/440.69 c | 748804 | 16821 241032 764032 | 2147483647 227927 40 | 0.403 % |
441.38/441.74 c | 751057 | 16821 241032 764032 | 229123 230180 40 | 0.403 % |
443.98/444.33 c | 753535 | 16821 241032 764032 | 229123 206052 38 | 0.403 % |
445.77/446.11 c | 756260 | 16821 241032 764032 | 229123 208777 38 | 0.403 % |
447.57/447.92 c | 759257 | 16821 241032 764032 | 229123 211774 39 | 0.403 % |
449.77/450.13 c | 762554 | 16821 241032 764032 | 212519 215071 39 | 0.403 % |
453.67/454.07 c | 766180 | 16821 241032 764032 | 212519 196266 38 | 0.403 % |
456.56/456.97 c | 770167 | 16821 241032 764032 | 2147483647 200253 38 | 0.403 % |
460.36/460.79 c | 774553 | 16821 241032 764032 | 2147483647 204639 38 | 0.403 % |
463.05/463.40 c | 779376 | 16821 241032 764032 | 2147483647 209462 38 | 0.403 % |
465.96/466.31 c | 784681 | 16821 241032 764032 | 210087 214767 38 | 0.403 % |
469.75/470.17 c | 790516 | 16821 241032 764032 | 196596 197111 39 | 0.403 % |
474.95/475.39 c | 796935 | 16821 241032 764032 | 196596 180769 38 | 0.403 % |
478.85/479.22 c | 803994 | 16821 241032 764032 | 2147483647 187828 38 | 0.403 % |
478.85/479.27 c | 804094 | 16821 241032 764032 | 2147483647 187928 38 | 0.403 % |
478.95/479.38 c | 804204 | 16821 241032 764032 | 2147483647 188038 38 | 0.403 % |
479.05/479.46 c | 804326 | 16821 241032 764032 | 2147483647 188160 38 | 0.403 % |
479.15/479.52 c | 804459 | 16821 241032 764032 | 2147483647 188293 38 | 0.403 % |
479.25/479.63 c | 804605 | 16821 241032 764032 | 2147483647 188439 38 | 0.403 % |
479.35/479.74 c | 804766 | 16821 241032 764032 | 2147483647 188600 38 | 0.403 % |
479.44/479.83 c | 804943 | 16821 241032 764032 | 2147483647 188777 38 | 0.403 % |
479.54/479.95 c | 805136 | 16821 241032 764032 | 2147483647 188970 38 | 0.403 % |
479.64/480.06 c | 805349 | 16821 241032 764032 | 2147483647 189183 38 | 0.403 % |
479.84/480.21 c | 805582 | 16821 241032 764032 | 2147483647 189416 38 | 0.403 % |
480.04/480.45 c | 805838 | 16821 241032 764032 | 2147483647 189672 38 | 0.403 % |
480.25/480.68 c | 806121 | 16821 241032 764032 | 2147483647 189955 38 | 0.403 % |
480.54/480.91 c | 806430 | 16821 241032 764032 | 2147483647 190264 38 | 0.403 % |
480.74/481.13 c | 806769 | 16821 241032 764032 | 2147483647 190603 38 | 0.403 % |
480.94/481.37 c | 807141 | 16821 241032 764032 | 2147483647 190975 38 | 0.403 % |
481.24/481.64 c | 807550 | 16821 241032 764032 | 2147483647 191384 38 | 0.403 % |
481.45/481.88 c | 808000 | 16821 241032 764032 | 2147483647 191834 38 | 0.403 % |
481.84/482.20 c | 808493 | 16821 241032 764032 | 2147483647 192327 38 | 0.403 % |
482.24/482.62 c | 809035 | 16821 241032 764032 | 2147483647 192869 38 | 0.403 % |
482.64/483.07 c | 809631 | 16821 241032 764032 | 2147483647 193465 38 | 0.403 % |
482.94/483.35 c | 810287 | 16821 241032 764032 | 193835 194121 38 | 0.403 % |
484.54/484.95 c | 811007 | 16821 241032 764032 | 193835 172207 36 | 0.403 % |
484.94/485.33 c | 811800 | 16821 241032 764032 | 193835 173000 36 | 0.403 % |
485.44/485.84 c | 812672 | 16821 241032 764032 | 193835 173872 37 | 0.403 % |
485.94/486.38 c | 813630 | 16821 241032 764032 | 193835 174830 37 | 0.403 % |
486.54/486.96 c | 814683 | 16821 241032 764032 | 193835 175883 37 | 0.403 % |
487.04/487.44 c | 815841 | 16821 241032 764032 | 193835 177041 37 | 0.403 % |
487.84/488.21 c | 817114 | 16821 241032 764032 | 193835 178314 36 | 0.403 % |
488.54/488.99 c | 818514 | 16821 241032 764032 | 193835 179714 36 | 0.403 % |
489.84/490.21 c | 820054 | 16821 241032 764032 | 181203 181254 36 | 0.403 % |
490.94/491.38 c | 821750 | 16821 241032 764032 | 181203 182950 36 | 0.403 % |
493.24/493.61 c | 823613 | 16821 241032 764032 | 181203 160775 37 | 0.403 % |
494.54/494.94 c | 825662 | 16821 241032 764032 | 181203 162824 37 | 0.403 % |
495.74/496.16 c | 827917 | 16821 241032 764032 | 181203 165079 37 | 0.403 % |
497.14/497.55 c | 830396 | 16821 241032 764032 | 167162 167558 36 | 0.403 % |
499.04/499.43 c | 833121 | 16821 241032 764032 | 167162 146226 36 | 0.403 % |
500.04/500.49 c | 836119 | 16821 241032 764032 | 167162 149224 36 | 0.403 % |
501.53/501.93 c | 839415 | 16821 241032 764032 | 167162 152520 36 | 0.403 % |
503.53/503.92 c | 843040 | 16821 241032 764032 | 2147483647 156145 36 | 0.403 % |
505.23/505.66 c | 847027 | 16821 241032 764032 | 2147483647 160132 37 | 0.403 % |
507.73/508.11 c | 851413 | 16821 241032 764032 | 163106 164518 37 | 0.403 % |
510.83/511.29 c | 856236 | 16821 241032 764032 | 163106 150928 38 | 0.403 % |
513.73/514.11 c | 861541 | 16821 241032 764032 | 154694 156233 38 | 0.403 % |
517.32/517.78 c | 867378 | 16821 241032 764032 | 154694 146194 39 | 0.403 % |
520.72/521.10 c | 873796 | 16821 241032 764032 | 148817 152612 39 | 0.403 % |
525.12/525.56 c | 880855 | 16821 241032 764032 | 2147483647 140919 38 | 0.403 % |
529.92/530.32 c | 888619 | 16821 241032 764032 | 2147483647 148683 37 | 0.403 % |
529.92/530.38 c | 888719 | 16821 241032 764032 | 2147483647 148783 37 | 0.403 % |
530.02/530.43 c | 888829 | 16821 241032 764032 | 2147483647 148893 37 | 0.403 % |
530.12/530.50 c | 888951 | 16821 241032 764032 | 2147483647 149015 37 | 0.403 % |
530.12/530.59 c | 889084 | 16821 241032 764032 | 2147483647 149148 37 | 0.403 % |
530.32/530.73 c | 889232 | 16821 241032 764032 | 2147483647 149296 37 | 0.403 % |
530.52/530.99 c | 889392 | 16821 241032 764032 | 2147483647 149456 37 | 0.403 % |
530.72/531.12 c | 889569 | 16821 241032 764032 | 2147483647 149633 37 | 0.403 % |
531.02/531.43 c | 889762 | 16821 241032 764032 | 2147483647 149826 37 | 0.403 % |
531.12/531.59 c | 889974 | 16821 241032 764032 | 2147483647 150038 37 | 0.403 % |
531.32/531.76 c | 890207 | 16821 241032 764032 | 150064 150271 37 | 0.403 % |
532.12/532.59 c | 890464 | 16821 241032 764032 | 150064 132367 36 | 0.403 % |
532.32/532.74 c | 890745 | 16821 241032 764032 | 150064 132648 36 | 0.403 % |
532.52/532.92 c | 891054 | 16821 241032 764032 | 150064 132957 36 | 0.403 % |
532.62/533.08 c | 891394 | 16821 241032 764032 | 150064 133297 36 | 0.403 % |
532.92/533.39 c | 891766 | 16821 241032 764032 | 150064 133669 36 | 0.403 % |
533.32/533.70 c | 892176 | 16821 241032 764032 | 150064 134079 36 | 0.403 % |
533.52/533.91 c | 892626 | 16821 241032 764032 | 150064 134529 36 | 0.403 % |
533.62/534.10 c | 893119 | 16821 241032 764032 | 150064 135022 36 | 0.403 % |
533.92/534.39 c | 893661 | 16821 241032 764032 | 150064 135564 36 | 0.403 % |
534.32/534.72 c | 894257 | 16821 241032 764032 | 150064 136160 36 | 0.403 % |
534.62/535.08 c | 894916 | 16821 241032 764032 | 150064 136819 36 | 0.403 % |
535.22/535.62 c | 895637 | 16821 241032 764032 | 150064 137540 36 | 0.403 % |
535.62/536.08 c | 896430 | 16821 241032 764032 | 150064 138333 36 | 0.403 % |
536.22/536.66 c | 897302 | 16821 241032 764032 | 150064 139205 36 | 0.403 % |
536.82/537.26 c | 898261 | 16821 241032 764032 | 150064 140164 36 | 0.403 % |
537.32/537.75 c | 899315 | 16821 241032 764032 | 150064 141218 36 | 0.403 % |
538.12/538.55 c | 900474 | 16821 241032 764032 | 2147483647 142377 36 | 0.403 % |
538.72/539.18 c | 901747 | 16821 241032 764032 | 2147483647 143650 35 | 0.403 % |
539.62/540.08 c | 903148 | 16821 241032 764032 | 2147483647 145051 35 | 0.403 % |
540.61/541.03 c | 904689 | 16821 241032 764032 | 2147483647 146592 35 | 0.403 % |
541.61/542.03 c | 906383 | 16821 241032 764032 | 2147483647 148286 35 | 0.403 % |
542.71/543.12 c | 908246 | 16821 241032 764032 | 2147483647 150149 35 | 0.403 % |
544.12/544.60 c | 910295 | 16821 241032 764032 | 151903 152198 35 | 0.403 % |
546.01/546.47 c | 912549 | 16821 241032 764032 | 151903 136074 34 | 0.403 % |
547.32/547.71 c | 915028 | 16821 241032 764032 | 151903 138553 34 | 0.403 % |
548.61/549.04 c | 917758 | 16821 241032 764032 | 151903 141283 35 | 0.403 % |
549.91/550.32 c | 920755 | 16821 241032 764032 | 2147483647 144280 35 | 0.403 % |
551.41/551.81 c | 924051 | 16821 241032 764032 | 2147483647 147576 35 | 0.403 % |
553.61/554.09 c | 927677 | 16821 241032 764032 | 2147483647 151202 35 | 0.403 % |
555.71/556.13 c | 931665 | 16821 241032 764032 | 153526 155190 35 | 0.403 % |
559.41/559.90 c | 936050 | 16821 241032 764032 | 153526 136936 34 | 0.403 % |
561.90/562.33 c | 940873 | 16821 241032 764032 | 140887 141759 36 | 0.403 % |
566.20/566.68 c | 946178 | 16821 241032 764032 | 140887 123270 36 | 0.403 % |
569.31/569.80 c | 952013 | 16821 241032 764032 | 2147483647 129105 36 | 0.403 % |
573.20/573.68 c | 958431 | 16821 241032 764032 | 2147483647 135523 37 | 0.403 % |
578.70/579.14 c | 965491 | 16821 241032 764032 | 137092 112615 35 | 0.403 % |
582.00/582.46 c | 973255 | 16821 241032 764032 | 117124 120379 35 | 0.403 % |
587.80/588.21 c | 981795 | 16821 241032 764032 | 106144 107939 36 | 0.403 % |
589.00/589.43 c | 981895 | 16821 241032 764032 | 106144 93105 37 | 0.403 % |
589.00/589.48 c | 982005 | 16821 241032 764032 | 106144 93215 37 | 0.403 % |
589.20/589.62 c | 982126 | 16821 241032 764032 | 106144 93336 37 | 0.403 % |
589.30/589.71 c | 982259 | 16821 241032 764032 | 106144 93469 37 | 0.403 % |
589.40/589.84 c | 982406 | 16821 241032 764032 | 106144 93616 37 | 0.403 % |
589.50/589.91 c | 982567 | 16821 241032 764032 | 106144 93777 37 | 0.403 % |
589.60/590.03 c | 982744 | 16821 241032 764032 | 106144 93954 37 | 0.403 % |
589.70/590.13 c | 982938 | 16821 241032 764032 | 106144 94148 37 | 0.403 % |
589.80/590.21 c | 983150 | 16821 241032 764032 | 106144 94360 37 | 0.403 % |
589.90/590.31 c | 983383 | 16821 241032 764032 | 106144 94593 37 | 0.403 % |
590.00/590.40 c | 983640 | 16821 241032 764032 | 106144 94850 37 | 0.403 % |
590.09/590.50 c | 983922 | 16821 241032 764032 | 106144 95132 37 | 0.403 % |
590.20/590.61 c | 984231 | 16821 241032 764032 | 106144 95441 37 | 0.403 % |
590.30/590.72 c | 984570 | 16821 241032 764032 | 106144 95780 37 | 0.403 % |
590.49/590.91 c | 984942 | 16821 241032 764032 | 106144 96152 37 | 0.403 % |
590.69/591.17 c | 985351 | 16821 241032 764032 | 106144 96561 37 | 0.403 % |
590.89/591.36 c | 985803 | 16821 241032 764032 | 106144 97013 37 | 0.403 % |
591.09/591.54 c | 986296 | 16821 241032 764032 | 106144 97506 37 | 0.403 % |
591.19/591.69 c | 986838 | 16821 241032 764032 | 106144 98048 37 | 0.403 % |
591.49/591.91 c | 987437 | 16821 241032 764032 | 106144 98647 37 | 0.403 % |
591.79/592.21 c | 988099 | 16821 241032 764032 | 106144 99309 37 | 0.403 % |
592.19/592.61 c | 988821 | 16821 241032 764032 | 106144 100031 38 | 0.403 % |
592.58/593.04 c | 989613 | 16821 241032 764032 | 106144 100823 38 | 0.403 % |
593.08/593.52 c | 990484 | 16821 241032 764032 | 2147483647 101694 37 | 0.403 % |
593.78/594.22 c | 991442 | 16821 241032 764032 | 2147483647 102652 37 | 0.403 % |
594.18/594.66 c | 992495 | 16821 241032 764032 | 2147483647 103705 37 | 0.403 % |
594.68/595.14 c | 993654 | 16821 241032 764032 | 2147483647 104864 37 | 0.403 % |
595.07/595.56 c | 994927 | 16821 241032 764032 | 2147483647 106137 37 | 0.403 % |
595.47/595.97 c | 996327 | 16821 241032 764032 | 2147483647 107537 37 | 0.403 % |
596.07/596.53 c | 997868 | 16821 241032 764032 | 2147483647 109078 37 | 0.403 % |
596.67/597.12 c | 999562 | 16821 241032 764032 | 2147483647 110772 36 | 0.403 % |
597.17/597.69 c | 1001426 | 16821 241032 764032 | 2147483647 112636 37 | 0.403 % |
598.17/598.60 c | 1003476 | 16821 241032 764032 | 2147483647 114686 37 | 0.403 % |
599.08/599.59 c | 1005729 | 16821 241032 764032 | 2147483647 116939 37 | 0.403 % |
600.18/600.66 c | 1008207 | 16821 241032 764032 | 2147483647 119417 37 | 0.403 % |
601.28/601.74 c | 1010934 | 16821 241032 764032 | 2147483647 122144 37 | 0.403 % |
602.47/602.96 c | 1013931 | 16821 241032 764032 | 2147483647 125141 37 | 0.403 % |
604.17/604.63 c | 1017229 | 16821 241032 764032 | 2147483647 128439 36 | 0.403 % |
605.77/606.24 c | 1020855 | 16821 241032 764032 | 2147483647 132065 36 | 0.403 % |
607.87/608.37 c | 1024842 | 16821 241032 764032 | 2147483647 136052 36 | 0.403 % |
610.37/610.87 c | 1029229 | 16821 241032 764032 | 2147483647 140439 36 | 0.403 % |
613.47/613.96 c | 1034052 | 16821 241032 764032 | 2147483647 145262 35 | 0.403 % |
614.77/615.22 c | 1039357 | 16821 241032 764032 | 2147483647 150567 37 | 0.403 % |
616.97/617.45 c | 1045192 | 16821 241032 764032 | 2147483647 156402 37 | 0.403 % |
619.27/619.78 c | 1051610 | 16821 241032 764032 | 2147483647 162820 38 | 0.403 % |
622.07/622.51 c | 1058669 | 16821 241032 764032 | 2147483647 169879 39 | 0.403 % |
625.37/625.90 c | 1066433 | 16821 241032 764032 | 2147483647 177643 40 | 0.403 % |
629.46/629.92 c | 1074973 | 16821 241032 764032 | 2147483647 186183 41 | 0.403 % |
633.76/634.25 c | 1084369 | 16821 241032 764032 | 2147483647 195579 42 | 0.403 % |
633.86/634.32 c | 1084469 | 16821 241032 764032 | 2147483647 195679 42 | 0.403 % |
633.96/634.46 c | 1084579 | 16821 241032 764032 | 2147483647 195789 42 | 0.403 % |
634.06/634.58 c | 1084700 | 16821 241032 764032 | 2147483647 195910 42 | 0.403 % |
634.16/634.67 c | 1084833 | 16821 241032 764032 | 2147483647 196043 42 | 0.403 % |
634.36/634.80 c | 1084979 | 16821 241032 764032 | 2147483647 196189 42 | 0.403 % |
634.36/634.88 c | 1085139 | 16821 241032 764032 | 2147483647 196349 42 | 0.403 % |
634.56/635.04 c | 1085315 | 16821 241032 764032 | 2147483647 196525 42 | 0.403 % |
634.65/635.16 c | 1085508 | 16821 241032 764032 | 2147483647 196718 42 | 0.403 % |
634.85/635.35 c | 1085720 | 16821 241032 764032 | 2147483647 196930 42 | 0.403 % |
635.05/635.56 c | 1085954 | 16821 241032 764032 | 2147483647 197164 42 | 0.403 % |
635.26/635.74 c | 1086210 | 16821 241032 764032 | 2147483647 197420 42 | 0.403 % |
635.45/635.98 c | 1086491 | 16821 241032 764032 | 2147483647 197701 42 | 0.403 % |
635.65/636.17 c | 1086800 | 16821 241032 764032 | 2147483647 198010 42 | 0.403 % |
635.85/636.37 c | 1087139 | 16821 241032 764032 | 2147483647 198349 42 | 0.403 % |
636.05/636.57 c | 1087511 | 16821 241032 764032 | 2147483647 198721 42 | 0.403 % |
636.36/636.84 c | 1087922 | 16821 241032 764032 | 2147483647 199132 42 | 0.403 % |
636.56/637.09 c | 1088371 | 16821 241032 764032 | 2147483647 199581 42 | 0.403 % |
636.96/637.45 c | 1088864 | 16821 241032 764032 | 2147483647 200074 42 | 0.403 % |
637.26/637.79 c | 1089407 | 16821 241032 764032 | 2147483647 200617 42 | 0.403 % |
637.57/638.01 c | 1090003 | 16821 241032 764032 | 2147483647 201213 42 | 0.403 % |
637.96/638.46 c | 1090658 | 16821 241032 764032 | 2147483647 201868 42 | 0.403 % |
638.56/639.05 c | 1091379 | 16821 241032 764032 | 2147483647 202589 42 | 0.403 % |
638.96/639.49 c | 1092172 | 16821 241032 764032 | 2147483647 203382 42 | 0.403 % |
639.56/640.10 c | 1093043 | 16821 241032 764032 | 2147483647 204253 42 | 0.403 % |
640.36/640.83 c | 1094001 | 16821 241032 764032 | 2147483647 205211 42 | 0.403 % |
640.96/641.44 c | 1095055 | 16821 241032 764032 | 2147483647 206265 43 | 0.403 % |
641.66/642.16 c | 1096214 | 16821 241032 764032 | 2147483647 207424 43 | 0.403 % |
642.66/643.12 c | 1097487 | 16821 241032 764032 | 2147483647 208697 43 | 0.403 % |
643.56/644.04 c | 1098887 | 16821 241032 764032 | 2147483647 210097 43 | 0.403 % |
644.56/645.07 c | 1100428 | 16821 241032 764032 | 211212 211638 42 | 0.403 % |
647.06/647.58 c | 1102123 | 16821 241032 764032 | 211212 188534 42 | 0.403 % |
648.06/648.57 c | 1103986 | 16821 241032 764032 | 211212 190397 42 | 0.403 % |
649.46/649.90 c | 1106035 | 16821 241032 764032 | 211212 192446 42 | 0.403 % |
651.16/651.67 c | 1108288 | 16821 241032 764032 | 211212 194699 42 | 0.403 % |
652.75/653.27 c | 1110766 | 16821 241032 764032 | 196411 197177 42 | 0.403 % |
655.35/655.86 c | 1113491 | 16821 241032 764032 | 196411 166469 43 | 0.403 % |
656.85/657.36 c | 1116489 | 16821 241032 764032 | 196411 169467 43 | 0.403 % |
658.55/659.08 c | 1119785 | 16821 241032 764032 | 196411 172763 43 | 0.403 % |
660.85/661.39 c | 1123411 | 16821 241032 764032 | 172979 176389 43 | 0.403 % |
663.85/664.39 c | 1127398 | 16821 241032 764032 | 172979 156173 43 | 0.403 % |
665.95/666.46 c | 1131785 | 16821 241032 764032 | 158776 160560 42 | 0.403 % |
668.95/669.50 c | 1136609 | 16821 241032 764032 | 158776 149328 43 | 0.403 % |
671.35/671.87 c | 1141916 | 16821 241032 764032 | 2147483647 154635 42 | 0.403 % |
674.45/674.92 c | 1147751 | 16821 241032 764032 | 2147483647 160470 42 | 0.403 % |
677.45/677.97 c | 1154169 | 16821 241032 764032 | 2147483647 166888 41 | 0.403 % |
680.74/681.23 c | 1161231 | 16821 241032 764032 | 2147483647 173950 41 | 0.403 % |
684.84/685.35 c | 1168995 | 16821 241032 764032 | 2147483647 181714 40 | 0.403 % |
691.83/692.35 c | 1177535 | 16821 241032 764032 | 182721 166026 39 | 0.403 % |
699.23/699.71 c | 1186930 | 16821 241032 764032 | 168492 157392 40 | 0.403 % |
704.43/704.94 c | 1197263 | 16821 241032 764032 | 160462 139807 35 | 0.403 % |
704.43/704.99 c | 1197363 | 16821 241032 764032 | 160462 139907 35 | 0.403 % |
704.53/705.05 c | 1197474 | 16821 241032 764032 | 160462 140018 35 | 0.403 % |
704.63/705.11 c | 1197595 | 16821 241032 764032 | 160462 140139 35 | 0.403 % |
704.73/705.24 c | 1197730 | 16821 241032 764032 | 160462 140274 35 | 0.403 % |
704.83/705.37 c | 1197876 | 16821 241032 764032 | 160462 140420 35 | 0.403 % |
704.93/705.46 c | 1198036 | 16821 241032 764032 | 160462 140580 35 | 0.403 % |
705.03/705.57 c | 1198214 | 16821 241032 764032 | 160462 140758 35 | 0.403 % |
705.23/705.70 c | 1198407 | 16821 241032 764032 | 160462 140951 35 | 0.403 % |
705.33/705.82 c | 1198620 | 16821 241032 764032 | 160462 141164 35 | 0.403 % |
705.53/706.03 c | 1198853 | 16821 241032 764032 | 160462 141397 35 | 0.403 % |
705.63/706.19 c | 1199109 | 16821 241032 764032 | 160462 141653 35 | 0.403 % |
705.83/706.38 c | 1199391 | 16821 241032 764032 | 160462 141935 35 | 0.403 % |
706.03/706.58 c | 1199700 | 16821 241032 764032 | 160462 142244 35 | 0.403 % |
706.23/706.78 c | 1200039 | 16821 241032 764032 | 142544 142583 35 | 0.403 % |
706.53/707.09 c | 1200411 | 16821 241032 764032 | 142544 142955 35 | 0.403 % |
707.23/707.79 c | 1200822 | 16821 241032 764032 | 142544 121444 31 | 0.403 % |
707.63/708.11 c | 1201271 | 16821 241032 764032 | 142544 121893 31 | 0.403 % |
707.93/708.49 c | 1201764 | 16821 241032 764032 | 142544 122386 31 | 0.403 % |
708.33/708.87 c | 1202306 | 16821 241032 764032 | 142544 122928 31 | 0.403 % |
708.63/709.17 c | 1202903 | 16821 241032 764032 | 142544 123525 31 | 0.403 % |
708.93/709.48 c | 1203558 | 16821 241032 764032 | 142544 124180 30 | 0.403 % |
709.33/709.80 c | 1204278 | 16821 241032 764032 | 142544 124900 31 | 0.403 % |
709.63/710.16 c | 1205070 | 16821 241032 764032 | 142544 125692 31 | 0.403 % |
710.32/710.87 c | 1205941 | 16821 241032 764032 | 142544 126563 31 | 0.403 % |
710.82/711.40 c | 1206899 | 16821 241032 764032 | 142544 127521 31 | 0.403 % |
711.23/711.72 c | 1207952 | 16821 241032 764032 | 142544 128574 31 | 0.403 % |
711.62/712.14 c | 1209110 | 16821 241032 764032 | 142544 129732 31 | 0.403 % |
712.12/712.65 c | 1210384 | 16821 241032 764032 | 130622 131006 31 | 0.403 % |
714.12/714.62 c | 1211784 | 16821 241032 764032 | 130622 113267 30 | 0.403 % |
714.72/715.24 c | 1213324 | 16821 241032 764032 | 130622 114807 30 | 0.403 % |
715.42/715.93 c | 1215018 | 16821 241032 764032 | 130622 116501 30 | 0.403 % |
716.12/716.65 c | 1216881 | 16821 241032 764032 | 130622 118364 30 | 0.403 % |
716.92/717.46 c | 1218930 | 16821 241032 764032 | 130622 120413 30 | 0.403 % |
718.02/718.59 c | 1221184 | 16821 241032 764032 | 121483 122667 30 | 0.403 % |
720.62/721.18 c | 1223663 | 16821 241032 764032 | 121483 106590 29 | 0.403 % |
721.82/722.34 c | 1226388 | 16821 241032 764032 | 121483 109315 29 | 0.403 % |
723.22/723.79 c | 1229385 | 16821 241032 764032 | 121483 112312 29 | 0.403 % |
725.41/725.95 c | 1232681 | 16821 241032 764032 | 112927 115608 29 | 0.403 % |
730.40/730.90 c | 1236306 | 16821 241032 764032 | 112927 97851 29 | 0.403 % |
733.00/733.56 c | 1240295 | 16821 241032 764032 | 101545 101840 29 | 0.403 % |
735.50/736.03 c | 1244682 | 16821 241032 764032 | 101545 89970 29 | 0.403 % |
737.50/738.08 c | 1249506 | 16821 241032 764032 | 101545 94794 29 | 0.404 % |
738.70/739.25 c | 1254812 | 16821 241032 764032 | 2147483647 100100 32 | 0.403 % |
740.10/740.70 c | 1260647 | 16821 241032 764032 | 2147483647 105935 33 | 0.403 % |
741.60/742.10 c | 1267065 | 16821 241032 764032 | 2147483647 112353 35 | 0.403 % |
743.40/743.93 c | 1274124 | 16821 241032 764032 | 2147483647 119412 36 | 0.403 % |
746.00/746.53 c | 1281888 | 16821 241032 764032 | 2147483647 127176 37 | 0.403 % |
749.20/749.73 c | 1290429 | 16821 241032 764032 | 2147483647 135717 36 | 0.403 % |
753.29/753.80 c | 1299824 | 16821 241032 764032 | 2147483647 145112 36 | 0.403 % |
757.30/757.86 c | 1310158 | 16821 241032 764032 | 2147483647 155446 36 | 0.403 % |
761.69/762.27 c | 1321526 | 16821 241032 764032 | 2147483647 166814 38 | 0.404 % |
761.89/762.42 c | 1321626 | 16821 241032 764032 | 2147483647 166914 38 | 0.404 % |
761.99/762.54 c | 1321737 | 16821 241032 764032 | 2147483647 167025 38 | 0.404 % |
762.19/762.76 c | 1321860 | 16821 241032 764032 | 2147483647 167148 38 | 0.403 % |
762.29/762.89 c | 1321993 | 16821 241032 764032 | 2147483647 167281 38 | 0.404 % |
762.49/763.01 c | 1322139 | 16821 241032 764032 | 2147483647 167427 38 | 0.404 % |
762.59/763.10 c | 1322299 | 16821 241032 764032 | 2147483647 167587 38 | 0.404 % |
762.69/763.24 c | 1322475 | 16821 241032 764032 | 2147483647 167763 38 | 0.404 % |
762.79/763.38 c | 1322669 | 16821 241032 764032 | 2147483647 167957 38 | 0.403 % |
762.99/763.53 c | 1322881 | 16821 241032 764032 | 2147483647 168169 38 | 0.403 % |
763.09/763.69 c | 1323114 | 16821 241032 764032 | 2147483647 168402 38 | 0.403 % |
763.29/763.83 c | 1323370 | 16821 241032 764032 | 2147483647 168658 38 | 0.404 % |
763.49/764.00 c | 1323651 | 16821 241032 764032 | 2147483647 168939 38 | 0.404 % |
763.59/764.17 c | 1323961 | 16821 241032 764032 | 2147483647 169249 38 | 0.403 % |
763.79/764.33 c | 1324301 | 16821 241032 764032 | 2147483647 169589 38 | 0.403 % |
763.99/764.51 c | 1324673 | 16821 241032 764032 | 2147483647 169961 38 | 0.404 % |
764.09/764.68 c | 1325083 | 16821 241032 764032 | 2147483647 170371 38 | 0.404 % |
764.39/764.99 c | 1325533 | 16821 241032 764032 | 2147483647 170821 38 | 0.404 % |
764.79/765.38 c | 1326026 | 16821 241032 764032 | 2147483647 171314 38 | 0.403 % |
765.19/765.74 c | 1326569 | 16821 241032 764032 | 2147483647 171857 38 | 0.403 % |
765.49/766.07 c | 1327167 | 16821 241032 764032 | 2147483647 172455 38 | 0.403 % |
765.89/766.40 c | 1327823 | 16821 241032 764032 | 2147483647 173111 38 | 0.403 % |
766.19/766.71 c | 1328543 | 16821 241032 764032 | 2147483647 173831 38 | 0.404 % |
766.49/767.07 c | 1329335 | 16821 241032 764032 | 2147483647 174623 38 | 0.403 % |
766.79/767.34 c | 1330207 | 16821 241032 764032 | 2147483647 175495 38 | 0.404 % |
767.29/767.83 c | 1331166 | 16821 241032 764032 | 2147483647 176454 38 | 0.404 % |
767.79/768.30 c | 1332219 | 16821 241032 764032 | 2147483647 177507 38 | 0.404 % |
768.19/768.78 c | 1333379 | 16821 241032 764032 | 2147483647 178667 38 | 0.404 % |
768.79/769.32 c | 1334652 | 16821 241032 764032 | 2147483647 179940 38 | 0.403 % |
769.49/770.06 c | 1336052 | 16821 241032 764032 | 2147483647 181340 38 | 0.404 % |
770.19/770.78 c | 1337592 | 16821 241032 764032 | 2147483647 182880 38 | 0.404 % |
771.09/771.64 c | 1339286 | 16821 241032 764032 | 2147483647 184574 38 | 0.404 % |
771.89/772.44 c | 1341149 | 16821 241032 764032 | 2147483647 186437 38 | 0.403 % |
772.79/773.39 c | 1343199 | 16821 241032 764032 | 2147483647 188487 38 | 0.404 % |
773.89/774.44 c | 1345454 | 16821 241032 764032 | 2147483647 190742 38 | 0.404 % |
775.28/775.83 c | 1347932 | 16821 241032 764032 | 2147483647 193220 38 | 0.403 % |
777.18/777.72 c | 1350658 | 16821 241032 764032 | 2147483647 195946 38 | 0.404 % |
778.68/779.29 c | 1353656 | 16821 241032 764032 | 2147483647 198944 38 | 0.403 % |
781.18/781.77 c | 1356953 | 16821 241032 764032 | 2147483647 202241 38 | 0.404 % |
783.98/784.58 c | 1360578 | 16821 241032 764032 | 2147483647 205866 38 | 0.403 % |
785.98/786.50 c | 1364565 | 16821 241032 764032 | 2147483647 209853 39 | 0.403 % |
788.57/789.18 c | 1368950 | 16821 241032 764032 | 2147483647 214238 40 | 0.404 % |
791.48/792.06 c | 1373773 | 16821 241032 764032 | 2147483647 219061 40 | 0.404 % |
794.97/795.57 c | 1379079 | 16821 241032 764032 | 2147483647 224367 41 | 0.404 % |
800.47/801.06 c | 1384914 | 16821 241032 764032 | 225288 198814 44 | 0.403 % |
804.17/804.78 c | 1391333 | 16821 241032 764032 | 2147483647 205233 44 | 0.403 % |
808.57/809.13 c | 1398393 | 16821 241032 764032 | 2147483647 212293 44 | 0.403 % |
813.76/814.38 c | 1406157 | 16821 241032 764032 | 2147483647 220057 45 | 0.404 % |
819.06/819.66 c | 1414697 | 16821 241032 764032 | 2147483647 228597 45 | 0.403 % |
825.06/825.65 c | 1424093 | 16821 241032 764032 | 233900 237993 44 | 0.404 % |
833.65/834.27 c | 1434428 | 16821 241032 764032 | 2147483647 219971 47 | 0.403 % |
846.85/847.49 c | 1445794 | 13015 175936 568350 | 225543 43065 45 | 22.938 % |
849.95/850.56 c | 1458296 | 13015 175936 568350 | 2147483647 55567 42 | 22.938 % |
849.95/850.60 c | 1458396 | 13015 175936 568350 | 2147483647 55667 42 | 22.938 % |
850.05/850.63 c | 1458507 | 13015 175936 568350 | 2147483647 55778 42 | 22.938 % |
850.05/850.67 c | 1458628 | 13015 175936 568350 | 2147483647 55899 42 | 22.938 % |
850.15/850.72 c | 1458762 | 13015 175936 568350 | 2147483647 56033 42 | 22.938 % |
850.15/850.76 c | 1458910 | 13015 175936 568350 | 2147483647 56181 41 | 22.938 % |
850.25/850.81 c | 1459070 | 13015 175936 568350 | 2147483647 56341 41 | 22.938 % |
850.25/850.86 c | 1459246 | 13015 175936 568350 | 2147483647 56517 41 | 22.938 % |
850.35/850.93 c | 1459439 | 13015 175936 568350 | 2147483647 56710 41 | 22.938 % |
850.35/850.99 c | 1459652 | 13015 175936 568350 | 2147483647 56923 41 | 22.938 % |
850.45/851.06 c | 1459885 | 13015 175936 568350 | 2147483647 57156 41 | 22.938 % |
850.55/851.15 c | 1460142 | 13015 175936 568350 | 2147483647 57413 41 | 22.938 % |
850.65/851.22 c | 1460423 | 13015 175936 568350 | 2147483647 57694 41 | 22.938 % |
850.65/851.30 c | 1460732 | 13015 175936 568350 | 2147483647 58003 41 | 22.938 % |
850.86/851.41 c | 1461071 | 13015 175936 568350 | 2147483647 58342 41 | 22.938 % |
850.95/851.50 c | 1461443 | 13015 175936 568350 | 2147483647 58714 41 | 22.938 % |
851.05/851.64 c | 1461852 | 13015 175936 568350 | 2147483647 59123 41 | 22.938 % |
851.25/851.80 c | 1462302 | 13015 175936 568350 | 2147483647 59573 40 | 22.938 % |
851.35/851.96 c | 1462796 | 13015 175936 568350 | 2147483647 60067 40 | 22.938 % |
851.55/852.12 c | 1463338 | 13015 175936 568350 | 2147483647 60609 40 | 22.938 % |
851.75/852.32 c | 1463935 | 13015 175936 568350 | 2147483647 61206 40 | 22.938 % |
851.95/852.53 c | 1464590 | 13015 175936 568350 | 2147483647 61861 40 | 22.938 % |
852.25/852.82 c | 1465313 | 13015 175936 568350 | 2147483647 62584 40 | 22.939 % |
852.55/853.11 c | 1466105 | 13015 175936 568350 | 2147483647 63376 40 | 22.938 % |
852.75/853.39 c | 1466977 | 13015 175936 568350 | 2147483647 64248 39 | 22.938 % |
853.55/854.18 c ===============================================================================
853.55/854.18 c restarts : 1404
853.55/854.18 c conflicts : 1467658 (1724 /sec)
853.55/854.18 c decisions : 9081325 (1.24 % random) (10668 /sec)
853.55/854.18 c propagations : 347945983 (408734 /sec)
853.55/854.18 c conflict literals : 60046611 (43.40 % deleted)
853.55/854.18 c Memory used : 75.46 MB
853.55/854.18 c CPU time : 851.278 s
853.55/854.18 c
853.55/854.18 s UNSATISFIABLE
853.55/854.19 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832121-1242769198/watcher-1832121-1242769198 -o /tmp/evaluation-result-1832121-1242769198/solver-1832121-1242769198 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832121-1242769198.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.89 0.95 0.90 3/64 12065
/proc/meminfo: memFree=1971600/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304953037 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 273952768082 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12065/statm: 1339 235 195 169 0 50 0
[pid=12066] ppid=12065 vsize=5356 CPUtime=0
/proc/12066/stat : 12066 (SatELiteGTI) S 12065 12065 11849 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304953038 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12066/statm: 1339 238 198 169 0 50 0
[pid=12068] ppid=12066 vsize=5356 CPUtime=0
/proc/12068/stat : 12068 (SatELiteGTI) R 12066 12065 11849 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 304953038 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952599335 0 0 4096 0 0 0 0 17 1 0 0
/proc/12068/statm: 1339 239 199 169 0 50 0
[startup+0.0847701 s]
/proc/loadavg: 0.89 0.95 0.90 3/64 12065
/proc/meminfo: memFree=1971600/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304953037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101772 s]
/proc/loadavg: 0.89 0.95 0.90 3/64 12065
/proc/meminfo: memFree=1971600/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304953037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301795 s]
/proc/loadavg: 0.89 0.95 0.90 3/64 12065
/proc/meminfo: memFree=1971600/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304953037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701839 s]
/proc/loadavg: 0.89 0.95 0.90 3/64 12065
/proc/meminfo: memFree=1971600/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304953037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50192 s]
/proc/loadavg: 0.89 0.95 0.90 2/66 12070
/proc/meminfo: memFree=1947392/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=0
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 304953037 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 237 197 169 0 50 0
[pid=12070] ppid=12065 vsize=28900 CPUtime=1.48
/proc/12070/stat : 12070 (SatELite_releas) R 12065 12065 11849 0 -1 4194304 6955 0 0 0 144 4 0 0 25 0 1 0 304953038 29593600 6429 1992294400 134512640 135223648 4294956128 18446744073709551615 134548984 0 0 4096 3 0 0 0 17 0 0 0
/proc/12070/statm: 7225 6429 76 173 0 7050 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 34256
[startup+3.10112 s]
/proc/loadavg: 0.89 0.95 0.90 2/66 12070
/proc/meminfo: memFree=1943808/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 2.17
Current children cumulated vsize (KiB) 5356
heavy processes:
[startup+6.30148 s]
/proc/loadavg: 0.90 0.95 0.90 2/66 12071
/proc/meminfo: memFree=1949888/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=16960 CPUtime=4.09
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 4042 0 0 0 406 3 0 0 25 0 1 0 304953256 17367040 4028 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 4240 4028 77 171 0 4067 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 22316
[startup+12.7012 s]
/proc/loadavg: 0.91 0.95 0.90 2/66 12071
/proc/meminfo: memFree=1944896/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=21908 CPUtime=10.47
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 5253 0 0 0 1042 5 0 0 25 0 1 0 304953256 22433792 5239 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 5477 5239 77 171 0 5304 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 27264
[startup+25.5017 s]
/proc/loadavg: 0.93 0.96 0.91 2/66 12071
/proc/meminfo: memFree=1936264/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=30280 CPUtime=23.25
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 7369 0 0 0 2318 7 0 0 25 0 1 0 304953256 31006720 7355 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 7570 7355 77 171 0 7397 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 35636
[startup+51.1017 s]
/proc/loadavg: 0.95 0.96 0.91 2/66 12071
/proc/meminfo: memFree=1921416/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=45528 CPUtime=48.83
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 11106 0 0 0 4873 10 0 0 25 0 1 0 304953256 46620672 11092 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 11382 11092 77 171 0 11209 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 50884
[startup+102.307 s]
/proc/loadavg: 0.98 0.96 0.91 2/66 12071
/proc/meminfo: memFree=1899720/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=67152 CPUtime=100
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 16431 0 0 0 9984 16 0 0 25 0 1 0 304953256 68763648 16417 1992294400 134512640 135215339 4294956240 18446744073709551615 134538050 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 16788 16417 77 171 0 16615 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 72508
[startup+162.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12071
/proc/meminfo: memFree=1892616/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=74128 CPUtime=159.96
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18165 0 0 0 15978 18 0 0 25 0 1 0 304953256 75907072 18151 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 18532 18151 77 171 0 18359 0
Current children cumulated CPU time (s) 162.13
Current children cumulated vsize (KiB) 79484
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1891400/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=75128 CPUtime=219.92
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18396 0 0 0 21974 18 0 0 25 0 1 0 304953256 76931072 18382 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 18782 18382 77 171 0 18609 0
Current children cumulated CPU time (s) 222.09
Current children cumulated vsize (KiB) 80484
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1891272/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=75248 CPUtime=279.89
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18432 0 0 0 27971 18 0 0 25 0 1 0 304953256 77053952 18418 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 18812 18418 77 171 0 18639 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 80604
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1891016/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=75588 CPUtime=339.85
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18470 0 0 0 33967 18 0 0 25 0 1 0 304953256 77402112 18456 1992294400 134512640 135215339 4294956240 18446744073709551615 134527221 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 18897 18456 77 171 0 18724 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 80944
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1890184/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=76340 CPUtime=399.82
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18669 0 0 0 39964 18 0 0 25 0 1 0 304953256 78172160 18655 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19085 18655 77 171 0 18912 0
################
# More data... #
################
/proc/12071/statm: 19146 18716 77 171 0 18973 0
Current children cumulated CPU time (s) 461.95
Current children cumulated vsize (KiB) 81940
[startup+522.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1889672/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=76584 CPUtime=519.75
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18732 0 0 0 51957 18 0 0 25 0 1 0 304953256 78422016 18718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19146 18718 77 171 0 18973 0
Current children cumulated CPU time (s) 521.92
Current children cumulated vsize (KiB) 81940
[startup+582.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1889352/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=76944 CPUtime=579.73
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18793 0 0 0 57955 18 0 0 25 0 1 0 304953256 78790656 18779 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19236 18779 77 171 0 19063 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 82300
[startup+642.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1889160/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77024 CPUtime=639.69
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18810 0 0 0 63950 19 0 0 25 0 1 0 304953256 78872576 18796 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19256 18796 77 171 0 19083 0
Current children cumulated CPU time (s) 641.86
Current children cumulated vsize (KiB) 82380
[startup+702.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1889032/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77024 CPUtime=699.66
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18816 0 0 0 69947 19 0 0 25 0 1 0 304953256 78872576 18802 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19256 18802 77 171 0 19083 0
Current children cumulated CPU time (s) 701.83
Current children cumulated vsize (KiB) 82380
[startup+762.306 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888776/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77184 CPUtime=759.62
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18848 0 0 0 75943 19 0 0 25 0 1 0 304953256 79036416 18834 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19296 18834 77 171 0 19123 0
Current children cumulated CPU time (s) 761.79
Current children cumulated vsize (KiB) 82540
[startup+822.302 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888648/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=819.59
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18875 0 0 0 81940 19 0 0 25 0 1 0 304953256 79118336 18861 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18861 77 171 0 19143 0
Current children cumulated CPU time (s) 821.76
Current children cumulated vsize (KiB) 82620
Solver just ended. Dumping a history of the last processes samples
[startup+831.902 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=829.18
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 82899 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 831.35
Current children cumulated vsize (KiB) 82620
[startup+844.701 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=841.99
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 84180 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134526326 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 844.16
Current children cumulated vsize (KiB) 82620
[startup+851.102 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=848.38
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 84819 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 850.55
Current children cumulated vsize (KiB) 82620
[startup+852.702 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=849.98
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 84979 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528776 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 852.15
Current children cumulated vsize (KiB) 82620
[startup+853.501 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=850.78
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 85059 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 852.95
Current children cumulated vsize (KiB) 82620
[startup+853.901 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=851.18
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 85099 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134526363 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 853.35
Current children cumulated vsize (KiB) 82620
[startup+854.101 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5356 CPUtime=2.17
/proc/12065/stat : 12065 (SatELiteGTI) S 12063 12065 11849 0 -1 4194304 336 9233 0 0 0 0 210 7 16 0 1 0 304953037 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 273952596804 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12065/statm: 1339 239 197 169 0 50 0
[pid=12071] ppid=12065 vsize=77264 CPUtime=851.38
/proc/12071/stat : 12071 (minisat_static) R 12065 12065 11849 0 -1 4194304 18876 0 0 0 85119 19 0 0 25 0 1 0 304953256 79118336 18862 1992294400 134512640 135215339 4294956240 18446744073709551615 134526128 0 0 4096 3 0 0 0 17 0 0 0
/proc/12071/statm: 19316 18862 77 171 0 19143 0
Current children cumulated CPU time (s) 853.55
Current children cumulated vsize (KiB) 82620
[startup+854.201 s]
/proc/loadavg: 0.99 0.97 0.91 2/66 12073
/proc/meminfo: memFree=1888584/2055920 swapFree=4180280/4192956
[pid=12065] ppid=12063 vsize=5360 CPUtime=853.65
/proc/12065/stat : 12065 (SatELiteGTI) R 12063 12065 11849 0 -1 4194304 341 28115 0 0 0 0 85338 27 19 0 1 0 304953037 5488640 241 1992294400 4194304 4889804 548682068832 18446744073709551615 273952766565 0 0 4100 65536 0 0 0 17 0 0 0
/proc/12065/statm: 1340 241 198 169 0 51 0
Current children cumulated CPU time (s) 853.65
Current children cumulated vsize (KiB) 5360
Child status: 20
Real time (s): 854.208
CPU time (s): 853.669
CPU user time (s): 853.386
CPU system time (s): 0.282956
CPU usage (%): 99.9369
Max. virtual memory (cumulated for all children) (KiB): 82620
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 853.386
system time used= 0.282956
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28606
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= 47
involuntary context switches= 5238
runsolver used 0.91986 second user time and 2.32065 second system time
The end
Begin job on node20 at 2009-05-19 23:39:58
IDJOB=1832121
IDBENCH=20573
IDSOLVER=671
FILE ID=node20/1832121-1242769198
PBS_JOBID= 9322278
Free space on /tmp= 66252 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832121-1242769198/watcher-1832121-1242769198 -o /tmp/evaluation-result-1832121-1242769198/solver-1832121-1242769198 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832121-1242769198.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9158de01004aff62af67cbb9db5bcbbb
RANDOM SEED=471978712
node20.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1972088 kB
Buffers: 10052 kB
Cached: 37192 kB
SwapCached: 6816 kB
Active: 23660 kB
Inactive: 31836 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1972088 kB
SwapTotal: 4192956 kB
SwapFree: 4180280 kB
Dirty: 6356 kB
Writeback: 0 kB
Mapped: 13464 kB
Slab: 14324 kB
Committed_AS: 1130032 kB
PageTables: 1400 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66248 MiB
End job on node20 at 2009-05-19 23:54:12