0.00/0.00 c Parsing...
0.12/0.20 c ==============================================================================
0.12/0.20 c | | ORIGINAL | LEARNT | |
0.12/0.20 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.20 c ==============================================================================
0.12/0.20 c | 0 | 261472 744578 | 78441 0 0 nan | 0.000 % |
2.02/2.11 c | 0 | 244145 773136 | -- 0 -- -- | -- | -17305/28607
2.02/2.11 c ==============================================================================
2.02/2.11 c Result : #vars: 16889 #clauses: 244145 #literals: 773136
2.02/2.11 c CPU time: 2.06 s
2.02/2.11 c ==============================================================================
2.32/2.36 c This is MiniSat 2.0 beta
2.32/2.36 c WARNING: for repeatability, setting FPU to use double precision
2.32/2.36 c ============================[ Problem Statistics ]=============================
2.32/2.37 c | |
2.32/2.37 c | Number of variables: 16889 |
2.32/2.37 c | Number of clauses: 244145 |
2.37/2.52 c | Parsing time: 0.12 s |
2.37/2.53 c ============================[ Search Statistics ]==============================
2.37/2.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
2.37/2.53 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
2.37/2.53 c ===============================================================================
2.37/2.53 c | 0 | 16889 244145 773136 | 81381 0 nan | 0.000 % |
2.37/2.56 c | 108 | 16889 244145 773136 | 81381 108 34 | 0.000 % |
2.37/2.62 c | 208 | 16889 244145 773136 | 81381 208 32 | 0.000 % |
2.37/2.65 c | 308 | 16889 244145 773136 | 81381 308 29 | 0.000 % |
2.37/2.67 c | 419 | 16889 244145 773136 | 81381 419 31 | 0.000 % |
2.37/2.68 c | 519 | 16889 244145 773136 | 81381 519 30 | 0.000 % |
2.37/2.73 c | 630 | 16889 244145 773136 | 81381 630 29 | 0.000 % |
2.37/2.75 c | 757 | 16889 244145 773136 | 81381 757 31 | 0.000 % |
2.37/2.76 c | 857 | 16889 244145 773136 | 81381 857 31 | 0.000 % |
2.37/2.78 c | 974 | 16889 244145 773136 | 81381 974 31 | 0.000 % |
2.37/2.83 c | 1095 | 16889 244145 773136 | 81381 1095 30 | 0.000 % |
2.37/2.85 c | 1228 | 16889 244145 773136 | 81381 1228 31 | 0.000 % |
2.37/2.86 c | 1329 | 16889 244145 773136 | 81381 1329 33 | 0.000 % |
2.37/2.88 c | 1440 | 16889 244145 773136 | 81381 1440 33 | 0.000 % |
2.37/2.90 c | 1561 | 16889 244145 773136 | 81381 1561 33 | 0.000 % |
2.37/2.95 c | 1698 | 16889 244145 773136 | 81381 1698 33 | 0.000 % |
2.37/2.99 c | 1846 | 16889 244145 773136 | 81381 1846 33 | 0.000 % |
2.37/3.02 c | 1946 | 16889 244145 773136 | 81381 1946 34 | 0.000 % |
2.37/3.04 c | 2057 | 16889 244145 773136 | 81381 2057 34 | 0.000 % |
2.37/3.05 c | 2179 | 16889 244145 773136 | 81381 2179 34 | 0.000 % |
2.37/3.09 c | 2315 | 16889 244145 773136 | 81381 2315 34 | 0.000 % |
2.37/3.13 c | 2463 | 16889 244145 773136 | 81381 2463 34 | 0.000 % |
2.37/3.15 c | 2625 | 16889 244145 773136 | 81381 2625 35 | 0.000 % |
2.37/3.18 c | 2725 | 16889 244145 773136 | 81381 2725 35 | 0.000 % |
2.37/3.21 c | 2839 | 16889 244145 773136 | 81381 2839 36 | 0.000 % |
3.21/3.26 c | 2960 | 16889 244145 773136 | 81381 2960 36 | 0.000 % |
3.21/3.30 c | 3093 | 16889 244145 773136 | 81381 3093 36 | 0.000 % |
3.31/3.35 c | 3240 | 16889 244145 773136 | 81381 3240 36 | 0.000 % |
3.31/3.39 c | 3402 | 16889 244145 773136 | 81381 3402 36 | 0.000 % |
3.41/3.43 c | 3578 | 16889 244145 773136 | 81381 3578 37 | 0.000 % |
3.41/3.45 c | 3680 | 16889 244145 773136 | 81381 3680 37 | 0.000 % |
3.41/3.50 c | 3791 | 16889 244145 773136 | 81381 3791 36 | 0.000 % |
3.51/3.53 c | 3914 | 16889 244145 773136 | 81381 3914 36 | 0.000 % |
3.51/3.55 c | 4049 | 16889 244145 773136 | 81381 4049 36 | 0.000 % |
3.61/3.62 c | 4195 | 16889 244145 773136 | 81381 4195 36 | 0.000 % |
3.61/3.65 c | 4358 | 16889 244145 773136 | 81381 4358 35 | 0.000 % |
3.71/3.72 c | 4534 | 16889 244145 773136 | 81381 4534 35 | 0.000 % |
3.71/3.80 c | 4730 | 16889 244145 773136 | 81381 4730 35 | 0.000 % |
3.81/3.83 c | 4832 | 16889 244145 773136 | 81381 4832 35 | 0.000 % |
3.81/3.85 c | 4942 | 16889 244145 773136 | 81381 4942 35 | 0.000 % |
3.81/3.87 c | 5063 | 16889 244145 773136 | 81381 5063 35 | 0.000 % |
3.91/3.95 c | 5196 | 16889 244145 773136 | 81381 5196 35 | 0.000 % |
3.91/3.98 c | 5344 | 16889 244145 773136 | 81381 5344 34 | 0.000 % |
4.01/4.03 c | 5504 | 16889 244145 773136 | 81381 5504 35 | 0.000 % |
4.01/4.09 c | 5680 | 16889 244145 773136 | 81381 5680 35 | 0.000 % |
4.11/4.12 c | 5876 | 16889 244145 773136 | 81381 5876 36 | 0.000 % |
4.11/4.15 c | 6096 | 16889 244145 773136 | 81381 6096 36 | 0.000 % |
4.11/4.18 c | 6196 | 16889 244145 773136 | 81381 6196 36 | 0.000 % |
4.21/4.22 c | 6306 | 16889 244145 773136 | 81381 6306 36 | 0.000 % |
4.21/4.25 c | 6430 | 16889 244145 773136 | 81381 6430 36 | 0.000 % |
4.21/4.30 c | 6564 | 16889 244145 773136 | 81381 6564 36 | 0.000 % |
4.31/4.35 c | 6710 | 16889 244145 773136 | 81381 6710 36 | 0.000 % |
4.31/4.38 c | 6872 | 16889 244145 773136 | 81381 6872 36 | 0.000 % |
4.41/4.42 c | 7049 | 16889 244145 773136 | 81381 7049 36 | 0.000 % |
4.41/4.46 c | 7243 | 16889 244145 773136 | 81381 7243 35 | 0.000 % |
4.41/4.49 c | 7456 | 16889 244145 773136 | 81381 7456 35 | 0.000 % |
4.51/4.55 c | 7691 | 16889 244145 773136 | 81381 7691 35 | 0.000 % |
4.51/4.58 c | 7793 | 16889 244145 773136 | 81381 7793 35 | 0.000 % |
4.51/4.60 c | 7903 | 16889 244145 773136 | 81381 7903 35 | 0.000 % |
4.61/4.63 c | 8024 | 16889 244145 773136 | 81381 8024 35 | 0.000 % |
4.61/4.67 c | 8158 | 16889 244145 773136 | 81381 8158 36 | 0.000 % |
4.71/4.71 c | 8304 | 16889 244145 773136 | 81381 8304 35 | 0.000 % |
4.71/4.73 c | 8464 | 16889 244145 773136 | 81381 8464 35 | 0.000 % |
4.71/4.79 c | 8640 | 16889 244145 773136 | 81381 8640 35 | 0.000 % |
4.81/4.86 c | 8834 | 16889 244145 773136 | 81381 8834 36 | 0.000 % |
4.91/4.95 c | 9047 | 16889 244145 773136 | 81381 9047 36 | 0.000 % |
5.01/5.07 c | 9280 | 16889 244145 773136 | 81381 9280 36 | 0.000 % |
5.11/5.16 c | 9536 | 16889 244145 773136 | 81381 9536 36 | 0.000 % |
5.11/5.20 c | 9636 | 16889 244145 773136 | 81381 9636 36 | 0.000 % |
5.21/5.22 c | 9747 | 16889 244145 773136 | 81381 9747 36 | 0.000 % |
5.21/5.28 c | 9868 | 16889 244145 773136 | 81381 9868 36 | 0.000 % |
5.31/5.34 c | 10004 | 16889 244145 773136 | 81381 10004 36 | 0.000 % |
5.31/5.39 c | 10150 | 16889 244145 773136 | 2147483647 10150 36 | 0.000 % |
5.31/5.41 c | 10310 | 16889 244145 773136 | 2147483647 10310 36 | 0.000 % |
5.51/5.51 c | 10488 | 16889 244145 773136 | 2147483647 10488 36 | 0.000 % |
5.51/5.57 c | 10683 | 16889 244145 773136 | 2147483647 10683 36 | 0.000 % |
5.61/5.64 c | 10895 | 16889 244145 773136 | 2147483647 10895 36 | 0.000 % |
5.71/5.74 c | 11128 | 16889 244145 773136 | 2147483647 11128 36 | 0.000 % |
5.71/5.77 c | 11386 | 16889 244145 773136 | 2147483647 11386 36 | 0.000 % |
5.81/5.86 c | 11667 | 16889 244145 773136 | 2147483647 11667 36 | 0.000 % |
5.81/5.88 c | 11767 | 16889 244145 773136 | 2147483647 11767 36 | 0.000 % |
5.91/5.91 c | 11878 | 16889 244145 773136 | 2147483647 11878 36 | 0.000 % |
5.91/5.98 c | 12000 | 16889 244145 773136 | 2147483647 12000 37 | 0.000 % |
6.01/6.04 c | 12134 | 16889 244145 773136 | 2147483647 12134 36 | 0.000 % |
6.01/6.10 c | 12280 | 16889 244145 773136 | 2147483647 12280 36 | 0.000 % |
6.11/6.14 c | 12442 | 16889 244145 773136 | 2147483647 12442 36 | 0.000 % |
6.11/6.18 c | 12618 | 16889 244145 773136 | 2147483647 12618 36 | 0.000 % |
6.21/6.25 c | 12811 | 16889 244145 773136 | 2147483647 12811 36 | 0.000 % |
6.21/6.30 c | 13023 | 16889 244145 773136 | 2147483647 13023 36 | 0.000 % |
6.41/6.42 c | 13256 | 16889 244145 773136 | 2147483647 13256 36 | 0.000 % |
6.41/6.49 c | 13513 | 16889 244145 773136 | 2147483647 13513 36 | 0.000 % |
6.51/6.57 c | 13794 | 16889 244145 773136 | 2147483647 13794 36 | 0.000 % |
6.61/6.63 c | 14105 | 16889 244145 773136 | 2147483647 14105 36 | 0.000 % |
6.61/6.66 c | 14206 | 16889 244145 773136 | 2147483647 14206 36 | 0.000 % |
6.61/6.70 c | 14319 | 16889 244145 773136 | 2147483647 14319 36 | 0.000 % |
6.71/6.75 c | 14440 | 16889 244145 773136 | 2147483647 14440 36 | 0.000 % |
6.71/6.80 c | 14573 | 16889 244145 773136 | 2147483647 14573 36 | 0.000 % |
6.81/6.85 c | 14719 | 16889 244145 773136 | 2147483647 14719 36 | 0.000 % |
6.81/6.88 c | 14880 | 16889 244145 773136 | 2147483647 14880 36 | 0.000 % |
6.81/6.91 c | 15056 | 16889 244145 773136 | 2147483647 15056 36 | 0.000 % |
6.91/6.94 c | 15255 | 16889 244145 773136 | 2147483647 15255 36 | 0.000 % |
6.91/6.98 c | 15467 | 16889 244145 773136 | 2147483647 15467 36 | 0.000 % |
7.01/7.06 c | 15700 | 16889 244145 773136 | 2147483647 15700 36 | 0.000 % |
7.01/7.10 c | 15956 | 16889 244145 773136 | 2147483647 15956 36 | 0.000 % |
7.11/7.18 c | 16238 | 16889 244145 773136 | 2147483647 16238 36 | 0.000 % |
7.21/7.22 c | 16549 | 16889 244145 773136 | 2147483647 16549 37 | 0.000 % |
7.31/7.32 c | 16888 | 16889 244145 773136 | 2147483647 16888 37 | 0.000 % |
7.31/7.35 c | 16988 | 16889 244145 773136 | 2147483647 16988 37 | 0.000 % |
7.31/7.37 c | 17099 | 16889 244145 773136 | 2147483647 17099 37 | 0.000 % |
7.31/7.40 c | 17221 | 16889 244145 773136 | 2147483647 17221 37 | 0.000 % |
7.41/7.42 c | 17355 | 16889 244145 773136 | 2147483647 17355 37 | 0.000 % |
7.41/7.45 c | 17501 | 16889 244145 773136 | 2147483647 17501 37 | 0.000 % |
7.41/7.49 c | 17661 | 16889 244145 773136 | 2147483647 17661 37 | 0.000 % |
7.51/7.52 c | 17841 | 16889 244145 773136 | 2147483647 17841 37 | 0.000 % |
7.51/7.57 c | 18034 | 16889 244145 773136 | 2147483647 18034 37 | 0.000 % |
7.61/7.64 c | 18250 | 16889 244145 773136 | 2147483647 18250 37 | 0.000 % |
7.61/7.71 c | 18483 | 16889 244145 773136 | 2147483647 18483 37 | 0.000 % |
7.71/7.78 c | 18739 | 16889 244145 773136 | 2147483647 18739 37 | 0.000 % |
7.81/7.86 c | 19021 | 16889 244145 773136 | 2147483647 19021 37 | 0.000 % |
7.91/7.93 c | 19331 | 16889 244145 773136 | 2147483647 19331 37 | 0.000 % |
8.01/8.02 c | 19670 | 16889 244145 773136 | 2147483647 19670 37 | 0.000 % |
8.01/8.08 c | 20042 | 16889 244145 773136 | 2147483647 20042 37 | 0.000 % |
8.01/8.10 c | 20145 | 16889 244145 773136 | 2147483647 20145 37 | 0.000 % |
8.11/8.15 c | 20255 | 16889 244145 773136 | 2147483647 20255 37 | 0.000 % |
8.11/8.19 c | 20378 | 16889 244145 773136 | 2147483647 20378 37 | 0.000 % |
8.21/8.22 c | 20511 | 16889 244145 773136 | 2147483647 20511 37 | 0.000 % |
8.21/8.26 c | 20659 | 16889 244145 773136 | 2147483647 20659 37 | 0.000 % |
8.21/8.30 c | 20819 | 16889 244145 773136 | 2147483647 20819 37 | 0.000 % |
8.31/8.35 c | 20995 | 16889 244145 773136 | 2147483647 20995 37 | 0.000 % |
8.31/8.38 c | 21188 | 16889 244145 773136 | 2147483647 21188 37 | 0.000 % |
8.41/8.43 c | 21400 | 16889 244145 773136 | 2147483647 21400 37 | 0.000 % |
8.41/8.49 c | 21634 | 16889 244145 773136 | 2147483647 21634 37 | 0.000 % |
8.51/8.55 c | 21891 | 16889 244145 773136 | 2147483647 21891 37 | 0.000 % |
8.61/8.61 c | 22172 | 16889 244145 773136 | 2147483647 22172 37 | 0.000 % |
8.61/8.68 c | 22481 | 16889 244145 773136 | 2147483647 22481 37 | 0.000 % |
8.71/8.75 c | 22821 | 16889 244145 773136 | 2147483647 22821 37 | 0.000 % |
8.81/8.83 c | 23193 | 16889 244145 773136 | 2147483647 23193 37 | 0.000 % |
8.81/8.91 c | 23603 | 16889 244145 773136 | 2147483647 23603 37 | 0.000 % |
8.91/8.93 c | 23703 | 16889 244145 773136 | 2147483647 23703 37 | 0.000 % |
8.91/8.95 c | 23813 | 16889 244145 773136 | 2147483647 23813 37 | 0.000 % |
8.91/8.98 c | 23935 | 16889 244145 773136 | 2147483647 23935 37 | 0.000 % |
9.01/9.02 c | 24068 | 16889 244145 773136 | 2147483647 24068 37 | 0.000 % |
9.01/9.05 c | 24214 | 16889 244145 773136 | 2147483647 24214 37 | 0.000 % |
9.01/9.11 c | 24375 | 16889 244145 773136 | 2147483647 24375 37 | 0.000 % |
9.11/9.14 c | 24551 | 16889 244145 773136 | 2147483647 24551 37 | 0.000 % |
9.11/9.19 c | 24744 | 16889 244145 773136 | 2147483647 24744 37 | 0.000 % |
9.21/9.23 c | 24957 | 16889 244145 773136 | 2147483647 24957 37 | 0.000 % |
9.21/9.26 c | 25193 | 16889 244145 773136 | 2147483647 25193 37 | 0.000 % |
9.21/9.30 c | 25449 | 16889 244145 773136 | 2147483647 25449 37 | 0.000 % |
9.31/9.35 c | 25730 | 16889 244145 773136 | 2147483647 25730 36 | 0.000 % |
9.31/9.41 c | 26039 | 16889 244145 773136 | 2147483647 26039 36 | 0.000 % |
9.41/9.47 c | 26380 | 16889 244145 773136 | 2147483647 26380 37 | 0.000 % |
9.51/9.55 c | 26752 | 16889 244145 773136 | 2147483647 26752 37 | 0.000 % |
9.61/9.64 c | 27162 | 16889 244145 773136 | 2147483647 27162 36 | 0.000 % |
9.71/9.74 c | 27611 | 16889 244145 773136 | 2147483647 27611 36 | 0.000 % |
9.71/9.77 c | 27711 | 16889 244145 773136 | 2147483647 27711 36 | 0.000 % |
9.71/9.79 c | 27821 | 16889 244145 773136 | 2147483647 27821 36 | 0.000 % |
9.81/9.82 c | 27944 | 16889 244145 773136 | 2147483647 27944 36 | 0.000 % |
9.81/9.85 c | 28077 | 16889 244145 773136 | 2147483647 28077 36 | 0.000 % |
9.81/9.88 c | 28224 | 16889 244145 773136 | 2147483647 28224 36 | 0.000 % |
9.91/9.91 c | 28384 | 16889 244145 773136 | 2147483647 28384 36 | 0.000 % |
9.91/9.95 c | 28560 | 16889 244145 773136 | 2147483647 28560 36 | 0.000 % |
9.91/10.00 c | 28753 | 16889 244145 773136 | 2147483647 28753 36 | 0.000 % |
10.01/10.04 c | 28965 | 16889 244145 773136 | 2147483647 28965 36 | 0.000 % |
10.01/10.10 c | 29198 | 16889 244145 773136 | 2147483647 29198 36 | 0.000 % |
10.11/10.14 c | 29455 | 16889 244145 773136 | 2147483647 29455 36 | 0.000 % |
10.11/10.21 c | 29736 | 16889 244145 773136 | 2147483647 29736 36 | 0.000 % |
10.21/10.26 c | 30046 | 16889 244145 773136 | 2147483647 30046 36 | 0.000 % |
10.31/10.32 c | 30386 | 16889 244145 773136 | 2147483647 30386 36 | 0.000 % |
10.31/10.39 c | 30758 | 16889 244145 773136 | 2147483647 30758 36 | 0.000 % |
10.41/10.48 c | 31168 | 16889 244145 773136 | 2147483647 31168 36 | 0.000 % |
10.51/10.56 c | 31618 | 16889 244145 773136 | 2147483647 31618 36 | 0.000 % |
10.61/10.69 c | 32111 | 16889 244145 773136 | 2147483647 32111 35 | 0.000 % |
10.71/10.71 c | 32211 | 16889 244145 773136 | 2147483647 32211 35 | 0.000 % |
10.71/10.75 c | 32322 | 16889 244145 773136 | 2147483647 32322 35 | 0.000 % |
10.71/10.77 c | 32443 | 16889 244145 773136 | 2147483647 32443 35 | 0.000 % |
10.71/10.80 c | 32576 | 16889 244145 773136 | 2147483647 32576 35 | 0.000 % |
10.81/10.85 c | 32723 | 16889 244145 773136 | 2147483647 32723 35 | 0.000 % |
10.81/10.89 c | 32883 | 16889 244145 773136 | 2147483647 32883 35 | 0.000 % |
10.91/10.92 c | 33060 | 16889 244145 773136 | 2147483647 33060 35 | 0.000 % |
10.91/10.98 c | 33255 | 16889 244145 773136 | 2147483647 33255 35 | 0.000 % |
11.01/11.04 c | 33467 | 16889 244145 773136 | 2147483647 33467 35 | 0.000 % |
11.01/11.10 c | 33701 | 16889 244145 773136 | 2147483647 33701 35 | 0.000 % |
11.11/11.14 c | 33957 | 16889 244145 773136 | 2147483647 33957 35 | 0.000 % |
11.11/11.21 c | 34238 | 16889 244145 773136 | 2147483647 34238 35 | 0.000 % |
11.21/11.27 c | 34547 | 16889 244145 773136 | 2147483647 34547 35 | 0.000 % |
11.31/11.35 c | 34886 | 16889 244145 773136 | 2147483647 34886 35 | 0.000 % |
11.41/11.42 c | 35259 | 16889 244145 773136 | 2147483647 35259 35 | 0.000 % |
11.51/11.54 c | 35668 | 16889 244145 773136 | 2147483647 35668 35 | 0.000 % |
11.61/11.69 c | 36117 | 16889 244145 773136 | 2147483647 36117 35 | 0.000 % |
11.81/11.84 c | 36610 | 16889 244145 773136 | 2147483647 36610 35 | 0.000 % |
11.91/11.98 c | 37152 | 16889 244145 773136 | 2147483647 37152 35 | 0.000 % |
11.91/12.00 c | 37252 | 16889 244145 773136 | 2147483647 37252 35 | 0.000 % |
12.01/12.04 c | 37363 | 16889 244145 773136 | 2147483647 37363 35 | 0.000 % |
12.01/12.08 c | 37484 | 16889 244145 773136 | 2147483647 37484 34 | 0.000 % |
12.11/12.11 c | 37618 | 16889 244145 773136 | 2147483647 37618 34 | 0.000 % |
12.11/12.15 c | 37764 | 16889 244145 773136 | 2147483647 37764 34 | 0.000 % |
12.11/12.19 c | 37925 | 16889 244145 773136 | 2147483647 37925 34 | 0.000 % |
12.21/12.23 c | 38102 | 16889 244145 773136 | 2147483647 38102 34 | 0.000 % |
12.21/12.28 c | 38295 | 16889 244145 773136 | 2147483647 38295 34 | 0.000 % |
12.31/12.34 c | 38507 | 16889 244145 773136 | 2147483647 38507 34 | 0.000 % |
12.31/12.40 c | 38741 | 16889 244145 773136 | 2147483647 38741 34 | 0.000 % |
12.41/12.47 c | 38998 | 16889 244145 773136 | 2147483647 38998 34 | 0.000 % |
12.51/12.56 c | 39280 | 16889 244145 773136 | 2147483647 39280 34 | 0.000 % |
12.61/12.63 c | 39592 | 16889 244145 773136 | 2147483647 39592 34 | 0.000 % |
12.61/12.71 c | 39933 | 16889 244145 773136 | 2147483647 39933 34 | 0.000 % |
12.81/12.82 c | 40305 | 16889 244145 773136 | 2147483647 40305 34 | 0.000 % |
12.91/12.91 c | 40717 | 16889 244145 773136 | 2147483647 40717 34 | 0.000 % |
13.01/13.02 c | 41166 | 16889 244145 773136 | 2147483647 41166 34 | 0.000 % |
13.11/13.15 c | 41659 | 16889 244145 773136 | 2147483647 41659 34 | 0.000 % |
13.21/13.26 c | 42201 | 16889 244145 773136 | 2147483647 42201 33 | 0.000 % |
13.31/13.40 c | 42799 | 16889 244145 773136 | 2147483647 42799 33 | 0.000 % |
13.41/13.42 c | 42900 | 16889 244145 773136 | 2147483647 42900 33 | 0.000 % |
13.41/13.46 c | 43010 | 16889 244145 773136 | 2147483647 43010 33 | 0.000 % |
13.51/13.52 c | 43132 | 16889 244145 773136 | 2147483647 43132 33 | 0.000 % |
13.51/13.56 c | 43265 | 16889 244145 773136 | 2147483647 43265 33 | 0.000 % |
13.51/13.60 c | 43411 | 16889 244145 773136 | 2147483647 43411 33 | 0.000 % |
13.61/13.64 c | 43571 | 16889 244145 773136 | 2147483647 43571 33 | 0.000 % |
13.61/13.70 c | 43747 | 16889 244145 773136 | 2147483647 43747 33 | 0.000 % |
13.71/13.76 c | 43940 | 16889 244145 773136 | 2147483647 43940 33 | 0.000 % |
13.81/13.81 c | 44153 | 16889 244145 773136 | 2147483647 44153 33 | 0.000 % |
13.81/13.87 c | 44388 | 16889 244145 773136 | 2147483647 44388 33 | 0.000 % |
13.91/13.94 c | 44644 | 16889 244145 773136 | 2147483647 44644 33 | 0.000 % |
14.01/14.08 c | 44926 | 16889 244145 773136 | 2147483647 44926 33 | 0.000 % |
14.11/14.18 c | 45235 | 16889 244145 773136 | 2147483647 45235 33 | 0.000 % |
14.21/14.27 c | 45574 | 16889 244145 773136 | 2147483647 45574 33 | 0.000 % |
14.41/14.42 c | 45947 | 16889 244145 773136 | 2147483647 45947 33 | 0.000 % |
14.51/14.53 c | 46356 | 16889 244145 773136 | 2147483647 46356 33 | 0.000 % |
14.61/14.70 c | 46806 | 16889 244145 773136 | 2147483647 46806 33 | 0.000 % |
14.81/14.87 c | 47299 | 16889 244145 773136 | 2147483647 47299 33 | 0.000 % |
15.01/15.09 c | 47842 | 16889 244145 773136 | 2147483647 47842 33 | 0.000 % |
15.21/15.28 c | 48438 | 16889 244145 773136 | 2147483647 48438 34 | 0.000 % |
15.51/15.52 c | 49093 | 16889 244145 773136 | 2147483647 49093 34 | 0.000 % |
15.51/15.55 c | 49194 | 16889 244145 773136 | 2147483647 49194 34 | 0.000 % |
15.51/15.60 c | 49305 | 16889 244145 773136 | 2147483647 49305 34 | 0.000 % |
15.61/15.68 c | 49426 | 16889 244145 773136 | 2147483647 49426 34 | 0.000 % |
15.71/15.79 c | 49563 | 16889 244145 773136 | 2147483647 49563 34 | 0.000 % |
15.81/15.87 c | 49711 | 16889 244145 773136 | 2147483647 49711 34 | 0.000 % |
15.81/15.90 c | 49871 | 16889 244145 773136 | 2147483647 49871 34 | 0.000 % |
16.01/16.03 c | 50047 | 16889 244145 773136 | 2147483647 50047 34 | 0.000 % |
16.11/16.13 c | 50243 | 16889 244145 773136 | 2147483647 50243 34 | 0.000 % |
16.11/16.16 c | 50456 | 16889 244145 773136 | 2147483647 50456 34 | 0.000 % |
16.31/16.32 c | 50689 | 16889 244145 773136 | 2147483647 50689 34 | 0.000 % |
16.31/16.40 c | 50946 | 16889 244145 773136 | 2147483647 50946 34 | 0.000 % |
16.51/16.56 c | 51227 | 16889 244145 773136 | 2147483647 51227 34 | 0.000 % |
16.61/16.66 c | 51536 | 16889 244145 773136 | 2147483647 51536 34 | 0.000 % |
16.71/16.79 c | 51876 | 16889 244145 773136 | 2147483647 51876 35 | 0.000 % |
16.91/16.94 c | 52248 | 16889 244145 773136 | 2147483647 52248 34 | 0.000 % |
17.01/17.06 c | 52658 | 16889 244145 773136 | 2147483647 52658 34 | 0.000 % |
17.11/17.20 c | 53107 | 16889 244145 773136 | 2147483647 53107 34 | 0.000 % |
17.31/17.40 c | 53600 | 16889 244145 773136 | 2147483647 53600 34 | 0.000 % |
17.61/17.63 c | 54142 | 16889 244145 773136 | 2147483647 54142 34 | 0.000 % |
17.91/17.94 c | 54738 | 16889 244145 773136 | 2147483647 54738 34 | 0.000 % |
18.11/18.14 c | 55393 | 16889 244145 773136 | 2147483647 55393 34 | 0.000 % |
18.41/18.45 c | 56113 | 16889 244145 773136 | 2147483647 56113 35 | 0.000 % |
18.41/18.48 c | 56215 | 16889 244145 773136 | 2147483647 56215 35 | 0.000 % |
18.51/18.52 c | 56329 | 16889 244145 773136 | 2147483647 56329 35 | 0.000 % |
18.51/18.60 c | 56450 | 16889 244145 773136 | 2147483647 56450 35 | 0.000 % |
18.61/18.65 c | 56583 | 16889 244145 773136 | 2147483647 56583 35 | 0.000 % |
18.71/18.72 c | 56729 | 16889 244145 773136 | 2147483647 56729 35 | 0.000 % |
18.71/18.75 c | 56889 | 16889 244145 773136 | 2147483647 56889 35 | 0.000 % |
18.71/18.79 c | 57065 | 16889 244145 773136 | 2147483647 57065 35 | 0.000 % |
18.91/18.91 c | 57261 | 16889 244145 773136 | 2147483647 57261 35 | 0.000 % |
18.91/18.99 c | 57473 | 16889 244145 773136 | 2147483647 57473 35 | 0.000 % |
19.01/19.09 c | 57707 | 16889 244145 773136 | 2147483647 57707 35 | 0.000 % |
19.21/19.22 c | 57963 | 16889 244145 773136 | 2147483647 57963 35 | 0.000 % |
19.31/19.31 c | 58244 | 16889 244145 773136 | 2147483647 58244 35 | 0.000 % |
19.31/19.39 c | 58556 | 16889 244145 773136 | 2147483647 58556 35 | 0.000 % |
19.51/19.51 c | 58896 | 16889 244145 773136 | 2147483647 58896 35 | 0.000 % |
19.61/19.67 c | 59269 | 16889 244145 773136 | 2147483647 59269 35 | 0.000 % |
19.81/19.86 c | 59679 | 16889 244145 773136 | 2147483647 59679 35 | 0.000 % |
20.01/20.07 c | 60130 | 16889 244145 773136 | 2147483647 60130 35 | 0.000 % |
20.21/20.27 c | 60624 | 16889 244145 773136 | 2147483647 60624 35 | 0.000 % |
20.41/20.46 c | 61167 | 16889 244145 773136 | 2147483647 61167 36 | 0.000 % |
20.61/20.69 c | 61764 | 16889 244145 773136 | 2147483647 61764 36 | 0.000 % |
20.91/20.95 c | 62421 | 16889 244145 773136 | 2147483647 62421 36 | 0.000 % |
21.21/21.21 c | 63141 | 16889 244145 773136 | 2147483647 63141 36 | 0.000 % |
21.41/21.43 c | 63933 | 16889 244145 773136 | 2147483647 63933 36 | 0.000 % |
21.41/21.46 c | 64033 | 16889 244145 773136 | 2147483647 64033 36 | 0.000 % |
21.51/21.54 c | 64143 | 16889 244145 773136 | 2147483647 64143 36 | 0.000 % |
21.51/21.58 c | 64264 | 16889 244145 773136 | 2147483647 64264 36 | 0.000 % |
21.61/21.62 c | 64399 | 16889 244145 773136 | 2147483647 64399 36 | 0.000 % |
21.61/21.66 c | 64545 | 16889 244145 773136 | 2147483647 64545 36 | 0.000 % |
21.71/21.71 c | 64705 | 16889 244145 773136 | 2147483647 64705 36 | 0.000 % |
21.71/21.77 c | 64881 | 16889 244145 773136 | 2147483647 64881 36 | 0.000 % |
21.81/21.86 c | 65074 | 16889 244145 773136 | 2147483647 65074 36 | 0.000 % |
21.91/21.93 c | 65286 | 16889 244145 773136 | 2147483647 65286 36 | 0.000 % |
21.91/22.00 c | 65519 | 16889 244145 773136 | 2147483647 65519 36 | 0.000 % |
22.01/22.10 c | 65775 | 16889 244145 773136 | 2147483647 65775 36 | 0.000 % |
22.21/22.23 c | 66059 | 16889 244145 773136 | 2147483647 66059 36 | 0.000 % |
22.31/22.35 c | 66369 | 16889 244145 773136 | 2147483647 66369 36 | 0.000 % |
22.41/22.48 c | 66709 | 16889 244145 773136 | 2147483647 66709 36 | 0.001 % |
22.51/22.58 c | 67084 | 16889 244145 773136 | 2147483647 67084 36 | 0.000 % |
22.71/22.77 c | 67493 | 16889 244145 773136 | 2147483647 67493 36 | 0.000 % |
23.01/23.02 c | 67943 | 16889 244145 773136 | 2147483647 67943 36 | 0.000 % |
23.21/23.26 c | 68436 | 16889 244145 773136 | 2147483647 68436 36 | 0.000 % |
23.41/23.44 c | 68979 | 16889 244145 773136 | 2147483647 68979 36 | 0.000 % |
23.71/23.75 c | 69575 | 16889 244145 773136 | 2147483647 69575 36 | 0.000 % |
23.91/23.93 c | 70234 | 16889 244145 773136 | 2147483647 70234 36 | 0.000 % |
24.21/24.29 c | 70954 | 16889 244145 773136 | 2147483647 70954 36 | 0.000 % |
24.51/24.59 c | 71746 | 16889 244145 773136 | 2147483647 71746 36 | 0.000 % |
24.91/24.93 c | 72618 | 16889 244145 773136 | 2147483647 72618 37 | 0.000 % |
24.91/24.97 c | 72720 | 16889 244145 773136 | 2147483647 72720 37 | 0.000 % |
25.01/25.02 c | 72831 | 16889 244145 773136 | 2147483647 72831 37 | 0.000 % |
25.01/25.09 c | 72953 | 16889 244145 773136 | 2147483647 72953 37 | 0.000 % |
25.01/25.10 c | 73086 | 16889 244145 773136 | 2147483647 73086 37 | 0.000 % |
25.11/25.19 c | 73233 | 16889 244145 773136 | 2147483647 73233 37 | 0.000 % |
25.21/25.26 c | 73394 | 16889 244145 773136 | 2147483647 73394 37 | 0.000 % |
25.31/25.33 c | 73570 | 16889 244145 773136 | 2147483647 73570 37 | 0.000 % |
25.41/25.42 c | 73763 | 16889 244145 773136 | 2147483647 73763 37 | 0.000 % |
25.41/25.47 c | 73975 | 16889 244145 773136 | 2147483647 73975 37 | 0.000 % |
25.51/25.55 c | 74211 | 16889 244145 773136 | 2147483647 74211 37 | 0.000 % |
25.61/25.69 c | 74468 | 16889 244145 773136 | 2147483647 74468 37 | 0.000 % |
25.71/25.78 c | 74751 | 16889 244145 773136 | 2147483647 74751 37 | 0.000 % |
25.81/25.90 c | 75061 | 16889 244145 773136 | 2147483647 75061 37 | 0.000 % |
25.91/26.00 c | 75400 | 16889 244145 773136 | 2147483647 75400 37 | 0.000 % |
26.21/26.23 c | 75772 | 16889 244145 773136 | 2147483647 75772 37 | 0.000 % |
26.31/26.34 c | 76181 | 16889 244145 773136 | 2147483647 76181 37 | 0.000 % |
26.41/26.44 c | 76631 | 16889 244145 773136 | 2147483647 76631 37 | 0.000 % |
26.61/26.61 c | 77124 | 16889 244145 773136 | 2147483647 77124 37 | 0.000 % |
26.71/26.72 c | 77666 | 16889 244145 773136 | 2147483647 77666 37 | 0.000 % |
26.91/26.91 c | 78262 | 16889 244145 773136 | 2147483647 78262 37 | 0.000 % |
27.01/27.07 c | 78917 | 16889 244145 773136 | 2147483647 78917 37 | 0.000 % |
27.21/27.28 c | 79637 | 16889 244145 773136 | 2147483647 79637 37 | 0.000 % |
27.41/27.44 c | 80429 | 16889 244145 773136 | 2147483647 80429 37 | 0.000 % |
27.61/27.64 c | 81300 | 16889 244145 773136 | 2147483647 81300 37 | 0.000 % |
27.81/27.89 c | 82258 | 16889 244145 773136 | 2147483647 82258 37 | 0.000 % |
27.91/27.93 c | 82358 | 16889 244145 773136 | 2147483647 82358 37 | 0.000 % |
27.91/27.97 c | 82468 | 16889 244145 773136 | 2147483647 82468 37 | 0.000 % |
28.01/28.04 c | 82592 | 16889 244145 773136 | 2147483647 82592 37 | 0.000 % |
28.01/28.09 c | 82726 | 16889 244145 773136 | 2147483647 82726 37 | 0.000 % |
28.11/28.12 c | 82875 | 16889 244145 773136 | 2147483647 82875 37 | 0.000 % |
28.21/28.23 c | 83035 | 16889 244145 773136 | 2147483647 83035 37 | 0.000 % |
28.31/28.34 c | 83212 | 16889 244145 773136 | 2147483647 83212 37 | 0.000 % |
28.41/28.44 c | 83405 | 16889 244145 773136 | 2147483647 83405 37 | 0.000 % |
28.51/28.51 c | 83618 | 16889 244145 773136 | 2147483647 83618 37 | 0.000 % |
28.61/28.61 c | 83851 | 16889 244145 773136 | 2147483647 83851 37 | 0.000 % |
28.71/28.75 c | 84109 | 16889 244145 773136 | 2147483647 84109 37 | 0.000 % |
28.81/28.86 c | 84390 | 16889 244145 773136 | 2147483647 84390 37 | 0.000 % |
28.91/28.93 c | 84699 | 16889 244145 773136 | 2147483647 84699 37 | 0.000 % |
29.01/29.04 c | 85038 | 16889 244145 773136 | 2147483647 85038 37 | 0.000 % |
29.11/29.19 c | 85410 | 16889 244145 773136 | 2147483647 85410 37 | 0.000 % |
29.31/29.35 c | 85819 | 16889 244145 773136 | 2147483647 85819 37 | 0.000 % |
29.41/29.47 c | 86269 | 16889 244145 773136 | 2147483647 86269 37 | 0.000 % |
29.61/29.68 c | 86762 | 16889 244145 773136 | 2147483647 86762 38 | 0.000 % |
29.91/29.96 c | 87304 | 16889 244145 773136 | 2147483647 87304 38 | 0.000 % |
30.11/30.20 c | 87901 | 16889 244145 773136 | 2147483647 87901 38 | 0.000 % |
30.31/30.34 c | 88557 | 16889 244145 773136 | 2147483647 88557 38 | 0.000 % |
30.51/30.59 c | 89277 | 16889 244145 773136 | 2147483647 89277 38 | 0.000 % |
30.71/30.76 c | 90070 | 16889 244145 773136 | 2147483647 90070 38 | 0.000 % |
31.11/31.18 c | 90943 | 16889 244145 773136 | 2147483647 90943 38 | 0.000 % |
31.41/31.42 c | 91903 | 16889 244145 773136 | 2147483647 91903 38 | 0.000 % |
31.81/31.85 c | 92961 | 16889 244145 773136 | 2147483647 92961 38 | 0.000 % |
31.81/31.88 c | 93062 | 16889 244145 773136 | 2147483647 93062 38 | 0.000 % |
31.91/31.98 c | 93172 | 16889 244145 773136 | 2147483647 93172 38 | 0.000 % |
32.01/32.02 c | 93294 | 16889 244145 773136 | 2147483647 93294 38 | 0.000 % |
32.01/32.08 c | 93427 | 16889 244145 773136 | 2147483647 93427 38 | 0.000 % |
32.11/32.14 c | 93574 | 16889 244145 773136 | 2147483647 93574 38 | 0.000 % |
32.21/32.22 c | 93734 | 16889 244145 773136 | 2147483647 93734 38 | 0.000 % |
32.21/32.29 c | 93910 | 16889 244145 773136 | 2147483647 93910 38 | 0.000 % |
32.31/32.37 c | 94103 | 16889 244145 773136 | 2147483647 94103 38 | 0.000 % |
32.41/32.41 c | 94315 | 16889 244145 773136 | 2147483647 94315 38 | 0.000 % |
32.51/32.51 c | 94548 | 16889 244145 773136 | 2147483647 94548 38 | 0.000 % |
32.61/32.66 c | 94806 | 16889 244145 773136 | 2147483647 94806 38 | 0.000 % |
32.71/32.74 c | 95087 | 16889 244145 773136 | 2147483647 95087 38 | 0.000 % |
32.81/32.90 c | 95396 | 16889 244145 773136 | 2147483647 95396 38 | 0.000 % |
33.01/33.01 c | 95736 | 16889 244145 773136 | 2147483647 95736 38 | 0.000 % |
33.11/33.11 c | 96108 | 16889 244145 773136 | 2147483647 96108 38 | 0.000 % |
33.21/33.26 c | 96517 | 16889 244145 773136 | 2147483647 96517 38 | 0.000 % |
33.51/33.52 c | 96966 | 16889 244145 773136 | 2147483647 96966 38 | 0.000 % |
33.61/33.70 c | 97460 | 16889 244145 773136 | 2147483647 97460 38 | 0.000 % |
33.81/33.87 c | 98002 | 16889 244145 773136 | 2147483647 98002 38 | 0.000 % |
34.01/34.08 c | 98600 | 16889 244145 773136 | 2147483647 98600 39 | 0.000 % |
34.31/34.38 c | 99255 | 16889 244145 773136 | 2147483647 99255 39 | 0.000 % |
34.61/34.66 c | 99976 | 16889 244145 773136 | 2147483647 99976 39 | 0.000 % |
34.91/34.91 c | 100769 | 16889 244145 773136 | 2147483647 100769 39 | 0.000 % |
35.11/35.19 c | 101641 | 16889 244145 773136 | 2147483647 101641 39 | 0.000 % |
35.61/35.64 c | 102599 | 16889 244145 773136 | 2147483647 102599 39 | 0.000 % |
35.91/35.97 c | 103652 | 16889 244145 773136 | 2147483647 103652 40 | 0.000 % |
36.41/36.42 c | 104810 | 16889 244145 773136 | 2147483647 104810 40 | 0.000 % |
36.41/36.48 c | 104910 | 16889 244145 773136 | 2147483647 104910 40 | 0.000 % |
36.51/36.53 c | 105020 | 16889 244145 773136 | 2147483647 105020 40 | 0.000 % |
36.61/36.65 c | 105142 | 16889 244145 773136 | 2147483647 105142 40 | 0.000 % |
36.71/36.72 c | 105277 | 16889 244145 773136 | 2147483647 105277 40 | 0.000 % |
36.81/36.83 c | 105423 | 16889 244145 773136 | 2147483647 105423 40 | 0.000 % |
36.81/36.90 c | 105583 | 16889 244145 773136 | 2147483647 105583 40 | 0.000 % |
37.01/37.05 c | 105759 | 16889 244145 773136 | 2147483647 105759 40 | 0.000 % |
37.01/37.10 c | 105952 | 16889 244145 773136 | 2147483647 105952 40 | 0.000 % |
37.21/37.21 c | 106167 | 16889 244145 773136 | 2147483647 106167 40 | 0.000 % |
37.31/37.33 c | 106401 | 16889 244145 773136 | 2147483647 106401 40 | 0.000 % |
37.41/37.46 c | 106657 | 16889 244145 773136 | 2147483647 106657 40 | 0.000 % |
37.51/37.59 c | 106939 | 16889 244145 773136 | 2147483647 106939 40 | 0.000 % |
37.71/37.74 c | 107248 | 16889 244145 773136 | 2147483647 107248 40 | 0.000 % |
37.81/37.88 c | 107590 | 16889 244145 773136 | 2147483647 107590 40 | 0.000 % |
38.01/38.08 c | 107964 | 16889 244145 773136 | 2147483647 107964 40 | 0.000 % |
38.21/38.27 c | 108374 | 16889 244145 773136 | 2147483647 108374 40 | 0.000 % |
38.41/38.44 c | 108823 | 16889 244145 773136 | 2147483647 108823 40 | 0.000 % |
38.61/38.62 c | 109316 | 16889 244145 773136 | 2147483647 109316 40 | 0.000 % |
38.81/38.88 c | 109861 | 16889 244145 773136 | 2147483647 109861 40 | 0.000 % |
39.01/39.06 c | 110458 | 16889 244145 773136 | 2147483647 110458 40 | 0.000 % |
39.31/39.36 c | 111113 | 16889 244145 773136 | 2147483647 111113 40 | 0.000 % |
39.61/39.65 c | 111833 | 16889 244145 773136 | 2147483647 111833 40 | 0.000 % |
39.91/40.00 c | 112627 | 16889 244145 773136 | 2147483647 112627 40 | 0.000 % |
40.31/40.33 c | 113499 | 16889 244145 773136 | 2147483647 113499 40 | 0.000 % |
40.71/40.74 c | 114458 | 16889 244145 773136 | 2147483647 114458 40 | 0.000 % |
41.01/41.10 c | 115514 | 16889 244145 773136 | 2147483647 115514 40 | 0.000 % |
41.41/41.50 c | 116672 | 16889 244145 773136 | 2147483647 116672 41 | 0.000 % |
41.91/42.00 c | 117945 | 16889 244145 773136 | 2147483647 117945 41 | 0.000 % |
42.01/42.06 c | 118045 | 16889 244145 773136 | 2147483647 118045 41 | 0.000 % |
42.11/42.17 c | 118155 | 16889 244145 773136 | 2147483647 118155 40 | 0.000 % |
42.21/42.23 c | 118278 | 16889 244145 773136 | 2147483647 118278 41 | 0.000 % |
42.21/42.27 c | 118412 | 16889 244145 773136 | 2147483647 118412 40 | 0.000 % |
42.31/42.36 c | 118558 | 16889 244145 773136 | 2147483647 118558 40 | 0.000 % |
42.51/42.51 c | 118718 | 16889 244145 773136 | 2147483647 118718 40 | 0.000 % |
42.51/42.59 c | 118894 | 16889 244145 773136 | 2147483647 118894 40 | 0.000 % |
42.71/42.77 c | 119087 | 16889 244145 773136 | 2147483647 119087 40 | 0.000 % |
42.81/42.90 c | 119299 | 16889 244145 773136 | 2147483647 119299 40 | 0.000 % |
43.01/43.08 c | 119532 | 16889 244145 773136 | 2147483647 119532 40 | 0.000 % |
43.21/43.22 c | 119788 | 16889 244145 773136 | 2147483647 119788 41 | 0.000 % |
43.31/43.38 c | 120069 | 16889 244145 773136 | 2147483647 120069 41 | 0.000 % |
43.51/43.55 c | 120378 | 16889 244145 773136 | 2147483647 120378 41 | 0.000 % |
43.71/43.72 c | 120718 | 16889 244145 773136 | 2147483647 120718 41 | 0.000 % |
43.81/43.88 c | 121090 | 16889 244145 773136 | 2147483647 121090 41 | 0.000 % |
44.01/44.11 c | 121500 | 16889 244145 773136 | 2147483647 121500 41 | 0.000 % |
44.21/44.27 c | 121950 | 16889 244145 773136 | 2147483647 121950 41 | 0.000 % |
44.51/44.55 c | 122443 | 16889 244145 773136 | 2147483647 122443 41 | 0.000 % |
44.71/44.73 c | 122987 | 16889 244145 773136 | 2147483647 122987 41 | 0.000 % |
45.01/45.03 c | 123583 | 16889 244145 773136 | 2147483647 123583 41 | 0.000 % |
45.21/45.24 c | 124239 | 16889 244145 773136 | 2147483647 124239 41 | 0.000 % |
45.51/45.59 c | 124959 | 16889 244145 773136 | 2147483647 124959 41 | 0.000 % |
45.91/45.93 c | 125751 | 16889 244145 773136 | 2147483647 125751 41 | 0.000 % |
46.21/46.26 c | 126623 | 16889 244145 773136 | 2147483647 126623 41 | 0.000 % |
46.61/46.62 c | 127581 | 16889 244145 773136 | 2147483647 127581 41 | 0.000 % |
46.91/46.96 c | 128635 | 16889 244145 773136 | 2147483647 128635 41 | 0.000 % |
47.21/47.30 c | 129793 | 16889 244145 773136 | 2147483647 129793 41 | 0.000 % |
47.71/47.71 c | 131067 | 16889 244145 773136 | 2147483647 131067 41 | 0.000 % |
48.21/48.26 c | 132467 | 16889 244145 773136 | 2147483647 132467 41 | 0.000 % |
48.31/48.34 c | 132567 | 16889 244145 773136 | 2147483647 132567 41 | 0.000 % |
48.31/48.41 c | 132677 | 16889 244145 773136 | 2147483647 132677 41 | 0.000 % |
48.41/48.50 c | 132799 | 16889 244145 773136 | 2147483647 132799 41 | 0.000 % |
48.51/48.59 c | 132932 | 16889 244145 773136 | 2147483647 132932 41 | 0.000 % |
48.61/48.68 c | 133078 | 16889 244145 773136 | 2147483647 133078 41 | 0.000 % |
48.71/48.76 c | 133238 | 16889 244145 773136 | 2147483647 133238 41 | 0.000 % |
48.81/48.90 c | 133414 | 16889 244145 773136 | 2147483647 133414 41 | 0.000 % |
49.01/49.07 c | 133607 | 16889 244145 773136 | 2147483647 133607 41 | 0.000 % |
49.11/49.17 c | 133819 | 16889 244145 773136 | 2147483647 133819 41 | 0.000 % |
49.21/49.30 c | 134052 | 16889 244145 773136 | 2147483647 134052 41 | 0.000 % |
49.31/49.40 c | 134308 | 16889 244145 773136 | 2147483647 134308 41 | 0.000 % |
49.41/49.50 c | 134589 | 16889 244145 773136 | 2147483647 134589 41 | 0.000 % |
49.61/49.65 c | 134898 | 16889 244145 773136 | 2147483647 134898 41 | 0.000 % |
49.81/49.82 c | 135237 | 16889 244145 773136 | 2147483647 135237 41 | 0.000 % |
49.91/50.00 c | 135610 | 16889 244145 773136 | 2147483647 135610 41 | 0.000 % |
50.11/50.17 c | 136019 | 16889 244145 773136 | 2147483647 136019 41 | 0.000 % |
50.31/50.34 c | 136468 | 16889 244145 773136 | 2147483647 136468 41 | 0.000 % |
50.51/50.58 c | 136963 | 16889 244145 773136 | 2147483647 136963 41 | 0.000 % |
50.61/50.69 c | 137506 | 16889 244145 773136 | 2147483647 137506 41 | 0.000 % |
50.91/50.96 c | 138103 | 16889 244145 773136 | 2147483647 138103 41 | 0.000 % |
51.31/51.35 c | 138759 | 16889 244145 773136 | 2147483647 138759 41 | 0.000 % |
51.71/51.77 c | 139479 | 16889 244145 773136 | 2147483647 139479 41 | 0.000 % |
52.11/52.16 c | 140272 | 16889 244145 773136 | 2147483647 140272 41 | 0.000 % |
52.31/52.40 c | 141144 | 16889 244145 773136 | 2147483647 141144 41 | 0.000 % |
52.91/52.94 c | 142103 | 16889 244145 773136 | 2147483647 142103 41 | 0.000 % |
53.41/53.43 c | 143157 | 16889 244145 773136 | 2147483647 143157 41 | 0.000 % |
53.91/53.92 c | 144316 | 16889 244145 773136 | 2147483647 144316 41 | 0.000 % |
54.51/54.52 c | 145589 | 16889 244145 773136 | 2147483647 145589 41 | 0.000 % |
55.01/55.01 c | 146990 | 16889 244145 773136 | 2147483647 146990 41 | 0.000 % |
55.61/55.69 c | 148531 | 16889 244145 773136 | 2147483647 148531 41 | 0.000 % |
55.71/55.79 c | 148632 | 16889 244145 773136 | 2147483647 148632 41 | 0.000 % |
55.81/55.86 c | 148745 | 16889 244145 773136 | 2147483647 148745 41 | 0.000 % |
55.91/55.95 c | 148866 | 16889 244145 773136 | 2147483647 148866 41 | 0.000 % |
56.01/56.05 c | 148999 | 16889 244145 773136 | 2147483647 148999 41 | 0.000 % |
56.11/56.14 c | 149145 | 16889 244145 773136 | 2147483647 149145 41 | 0.000 % |
56.21/56.22 c | 149306 | 16889 244145 773136 | 2147483647 149306 41 | 0.000 % |
56.31/56.32 c | 149482 | 16889 244145 773136 | 2147483647 149482 41 | 0.000 % |
56.41/56.41 c | 149676 | 16889 244145 773136 | 2147483647 149676 41 | 0.000 % |
56.51/56.53 c | 149888 | 16889 244145 773136 | 2147483647 149888 41 | 0.000 % |
56.61/56.68 c | 150121 | 16889 244145 773136 | 2147483647 150121 41 | 0.000 % |
56.81/56.83 c | 150377 | 16889 244145 773136 | 2147483647 150377 41 | 0.000 % |
57.01/57.04 c | 150658 | 16889 244145 773136 | 2147483647 150658 41 | 0.000 % |
57.11/57.16 c | 150970 | 16889 244145 773136 | 2147483647 150970 41 | 0.000 % |
57.31/57.37 c | 151309 | 16889 244145 773136 | 2147483647 151309 41 | 0.000 % |
57.51/57.55 c | 151681 | 16889 244145 773136 | 2147483647 151681 41 | 0.000 % |
57.71/57.73 c | 152090 | 16889 244145 773136 | 2147483647 152090 41 | 0.000 % |
57.91/57.92 c | 152540 | 16889 244145 773136 | 2147483647 152540 41 | 0.000 % |
58.11/58.11 c | 153033 | 16889 244145 773136 | 2147483647 153033 41 | 0.000 % |
58.31/58.37 c | 153575 | 16889 244145 773136 | 2147483647 153575 41 | 0.000 % |
58.61/58.62 c | 154172 | 16889 244145 773136 | 2147483647 154172 42 | 0.000 % |
58.91/58.92 c | 154827 | 16889 244145 773136 | 2147483647 154827 42 | 0.000 % |
59.21/59.21 c | 155547 | 16889 244145 773136 | 2147483647 155547 41 | 0.000 % |
59.51/59.52 c | 156339 | 16889 244145 773136 | 2147483647 156339 42 | 0.000 % |
59.91/59.97 c | 157210 | 16889 244145 773136 | 2147483647 157210 42 | 0.000 % |
60.31/60.33 c | 158168 | 16889 244145 773136 | 2147483647 158168 42 | 0.000 % |
60.71/60.78 c | 159221 | 16889 244145 773136 | 2147483647 159221 42 | 0.000 % |
61.31/61.37 c | 160379 | 16889 244145 773136 | 2147483647 160379 42 | 0.000 % |
62.01/62.07 c | 161652 | 16889 244145 773136 | 2147483647 161652 42 | 0.000 % |
62.71/62.73 c | 163054 | 16889 244145 773136 | 2147483647 163054 42 | 0.000 % |
63.41/63.46 c | 164594 | 16889 244145 773136 | 2147483647 164594 42 | 0.000 % |
64.21/64.22 c | 166288 | 16889 244145 773136 | 2147483647 166288 42 | 0.000 % |
64.21/64.30 c | 166390 | 16889 244145 773136 | 2147483647 166390 42 | 0.000 % |
64.31/64.39 c | 166504 | 16889 244145 773136 | 2147483647 166504 42 | 0.000 % |
64.41/64.50 c | 166625 | 16889 244145 773136 | 2147483647 166625 42 | 0.000 % |
64.61/64.61 c | 166759 | 16889 244145 773136 | 2147483647 166759 42 | 0.000 % |
64.71/64.71 c | 166905 | 16889 244145 773136 | 2147483647 166905 42 | 0.000 % |
64.71/64.77 c | 167066 | 16889 244145 773136 | 2147483647 167066 42 | 0.000 % |
64.91/64.92 c | 167243 | 16889 244145 773136 | 2147483647 167243 42 | 0.000 % |
64.91/65.00 c | 167437 | 16889 244145 773136 | 2147483647 167437 42 | 0.000 % |
65.01/65.08 c | 167650 | 16889 244145 773136 | 2147483647 167650 42 | 0.000 % |
65.11/65.19 c | 167883 | 16889 244145 773136 | 2147483647 167883 42 | 0.000 % |
65.21/65.29 c | 168139 | 16889 244145 773136 | 2147483647 168139 42 | 0.000 % |
65.41/65.42 c | 168420 | 16889 244145 773136 | 2147483647 168420 42 | 0.000 % |
65.51/65.58 c | 168732 | 16889 244145 773136 | 2147483647 168732 42 | 0.000 % |
65.71/65.80 c | 169071 | 16889 244145 773136 | 2147483647 169071 42 | 0.000 % |
66.11/66.15 c | 169443 | 16889 244145 773136 | 2147483647 169443 42 | 0.000 % |
66.31/66.37 c | 169852 | 16889 244145 773136 | 2147483647 169852 42 | 0.000 % |
66.51/66.60 c | 170302 | 16889 244145 773136 | 2147483647 170302 42 | 0.000 % |
67.01/67.05 c | 170795 | 16888 244055 772669 | 2147483647 170794 42 | 0.006 % |
67.31/67.32 c | 171337 | 16888 244055 772669 | 2147483647 171336 42 | 0.006 % |
67.51/67.55 c | 171933 | 16888 244055 772669 | 2147483647 171932 42 | 0.006 % |
67.91/67.91 c | 172589 | 16888 244055 772669 | 2147483647 172588 42 | 0.006 % |
68.22/68.30 c | 173309 | 16888 244055 772669 | 2147483647 173308 42 | 0.006 % |
68.61/68.61 c | 174101 | 16888 244055 772669 | 2147483647 174100 42 | 0.006 % |
69.01/69.08 c | 174972 | 16888 244055 772669 | 2147483647 174971 42 | 0.006 % |
69.51/69.56 c | 175930 | 16888 244055 772669 | 2147483647 175929 42 | 0.006 % |
70.01/70.10 c | 176986 | 16888 244055 772669 | 2147483647 176985 42 | 0.006 % |
70.81/70.89 c | 178144 | 16888 244055 772669 | 2147483647 178143 42 | 0.006 % |
71.52/71.59 c | 179417 | 16888 244055 772669 | 2147483647 179416 42 | 0.006 % |
72.31/72.40 c | 180818 | 16888 244055 772669 | 2147483647 180817 42 | 0.006 % |
73.31/73.31 c | 182358 | 16888 244055 772669 | 2147483647 182357 42 | 0.006 % |
74.11/74.13 c | 184053 | 16888 244055 772669 | 2147483647 184052 42 | 0.006 % |
75.01/75.02 c | 185916 | 16888 244055 772669 | 2147483647 185915 42 | 0.006 % |
75.11/75.11 c | 186016 | 16888 244055 772669 | 2147483647 186015 42 | 0.006 % |
75.21/75.22 c | 186128 | 16888 244055 772669 | 2147483647 186127 42 | 0.006 % |
75.31/75.32 c | 186249 | 16888 244055 772669 | 2147483647 186248 42 | 0.006 % |
75.41/75.42 c | 186382 | 16888 244055 772669 | 2147483647 186381 42 | 0.006 % |
75.51/75.51 c | 186528 | 16888 244055 772669 | 2147483647 186527 42 | 0.006 % |
75.61/75.63 c | 186689 | 16888 244055 772669 | 2147483647 186688 42 | 0.006 % |
75.71/75.73 c | 186869 | 16888 244055 772669 | 2147483647 186868 42 | 0.006 % |
75.81/75.89 c | 187062 | 16888 244055 772669 | 2147483647 187061 42 | 0.006 % |
76.01/76.06 c | 187274 | 16888 244055 772669 | 2147483647 187273 42 | 0.006 % |
76.21/76.24 c | 187507 | 16888 244055 772669 | 2147483647 187506 42 | 0.006 % |
76.41/76.47 c | 187763 | 16888 244055 772669 | 2147483647 187762 42 | 0.006 % |
76.61/76.65 c | 188044 | 16888 244055 772669 | 2147483647 188043 42 | 0.006 % |
76.91/76.92 c | 188353 | 16888 244055 772669 | 2147483647 188352 42 | 0.006 % |
77.02/77.10 c | 188693 | 16888 244055 772669 | 2147483647 188692 42 | 0.006 % |
77.21/77.29 c | 189065 | 16888 244055 772669 | 2147483647 189064 42 | 0.006 % |
77.51/77.54 c | 189475 | 16888 244055 772669 | 2147483647 189474 42 | 0.006 % |
77.81/77.81 c | 189924 | 16888 244055 772669 | 2147483647 189923 42 | 0.006 % |
78.01/78.11 c | 190418 | 16888 244055 772669 | 2147483647 190417 42 | 0.006 % |
78.31/78.35 c | 190960 | 16888 244055 772669 | 2147483647 190959 42 | 0.006 % |
78.61/78.68 c | 191556 | 16888 244055 772669 | 2147483647 191555 42 | 0.006 % |
79.11/79.14 c | 192211 | 16888 244055 772669 | 2147483647 192210 42 | 0.006 % |
79.51/79.54 c | 192931 | 16888 244055 772669 | 2147483647 192930 42 | 0.006 % |
80.01/80.03 c | 193723 | 16888 244055 772669 | 2147483647 193722 42 | 0.006 % |
80.51/80.51 c | 194595 | 16888 244055 772669 | 2147483647 194594 42 | 0.006 % |
81.01/81.08 c | 195553 | 16888 244055 772669 | 2147483647 195552 42 | 0.006 % |
81.71/81.74 c | 196606 | 16888 244055 772669 | 2147483647 196605 43 | 0.006 % |
82.41/82.42 c | 197765 | 16888 244055 772669 | 2147483647 197764 43 | 0.006 % |
83.21/83.24 c | 199038 | 16888 244055 772669 | 2147483647 199037 43 | 0.006 % |
84.21/84.26 c | 200438 | 16888 244055 772669 | 2147483647 200437 43 | 0.006 % |
84.91/84.98 c | 201978 | 16888 244055 772669 | 2147483647 201977 43 | 0.006 % |
85.91/85.99 c | 203672 | 16888 244055 772669 | 2147483647 203671 43 | 0.006 % |
87.11/87.12 c | 205535 | 16888 244055 772669 | 2147483647 205534 43 | 0.006 % |
88.41/88.43 c | 207584 | 16888 244055 772669 | 2147483647 207583 43 | 0.006 % |
88.51/88.56 c | 207684 | 16888 244055 772669 | 2147483647 207683 43 | 0.006 % |
88.61/88.69 c | 207795 | 16888 244055 772669 | 2147483647 207794 43 | 0.006 % |
88.81/88.83 c | 207916 | 16888 244055 772669 | 2147483647 207915 43 | 0.006 % |
88.91/88.97 c | 208050 | 16888 244055 772669 | 2147483647 208049 43 | 0.006 % |
89.01/89.08 c | 208198 | 16888 244055 772669 | 2147483647 208197 43 | 0.006 % |
89.21/89.25 c | 208358 | 16888 244055 772669 | 2147483647 208357 43 | 0.006 % |
89.31/89.37 c | 208534 | 16888 244055 772669 | 2147483647 208533 43 | 0.006 % |
89.51/89.56 c | 208727 | 16888 244055 772669 | 2147483647 208726 43 | 0.006 % |
89.71/89.77 c | 208939 | 16888 244055 772669 | 2147483647 208938 43 | 0.006 % |
89.91/89.95 c | 209172 | 16888 244055 772669 | 2147483647 209171 43 | 0.006 % |
90.01/90.00 c | 209429 | 16888 244055 772669 | 2147483647 209428 43 | 0.006 % |
90.11/90.17 c | 209710 | 16888 244055 772669 | 2147483647 209709 43 | 0.006 % |
90.31/90.33 c | 210020 | 16888 244055 772669 | 2147483647 210019 43 | 0.006 % |
90.61/90.61 c | 210360 | 16888 244055 772669 | 2147483647 210359 43 | 0.006 % |
90.71/90.79 c | 210732 | 16888 244055 772669 | 2147483647 210731 43 | 0.006 % |
91.11/91.12 c | 211141 | 16888 244055 772669 | 2147483647 211140 43 | 0.006 % |
91.41/91.49 c | 211591 | 16888 244055 772669 | 2147483647 211590 43 | 0.006 % |
91.81/91.86 c | 212084 | 16888 244055 772669 | 2147483647 212083 43 | 0.006 % |
92.21/92.30 c | 212626 | 16888 244055 772669 | 2147483647 212625 43 | 0.006 % |
92.61/92.63 c | 213224 | 16888 244055 772669 | 2147483647 213223 43 | 0.006 % |
93.01/93.08 c | 213879 | 16888 244055 772669 | 2147483647 213878 43 | 0.006 % |
93.52/93.55 c | 214599 | 16888 244055 772669 | 2147483647 214598 43 | 0.006 % |
94.11/94.12 c | 215393 | 16888 244055 772669 | 2147483647 215392 43 | 0.006 % |
94.62/94.68 c | 216266 | 16888 244055 772669 | 2147483647 216265 43 | 0.006 % |
95.41/95.42 c | 217224 | 16888 244055 772669 | 2147483647 217223 43 | 0.006 % |
96.21/96.26 c | 218277 | 16888 244055 772669 | 2147483647 218276 43 | 0.006 % |
96.91/97.00 c | 219436 | 16888 244055 772669 | 2147483647 219435 43 | 0.006 % |
97.81/97.82 c | 220709 | 16888 244055 772669 | 2147483647 220708 43 | 0.006 % |
98.61/98.70 c | 222110 | 16888 244055 772669 | 2147483647 222109 43 | 0.006 % |
99.61/99.64 c | 223650 | 16888 244055 772669 | 2147483647 223649 43 | 0.006 % |
100.41/100.48 c | 225344 | 16888 244055 772669 | 2147483647 225343 43 | 0.006 % |
101.61/101.61 c | 227207 | 16888 244055 772669 | 2147483647 227206 43 | 0.006 % |
103.11/103.14 c | 229256 | 16888 244055 772669 | 2147483647 229255 43 | 0.006 % |
104.61/104.61 c | 231509 | 16888 244055 772669 | 2147483647 231508 43 | 0.006 % |
104.71/104.76 c | 231609 | 16888 244055 772669 | 2147483647 231608 43 | 0.006 % |
104.81/104.87 c | 231721 | 16888 244055 772669 | 2147483647 231720 43 | 0.006 % |
104.91/104.95 c | 231844 | 16888 244055 772669 | 2147483647 231843 43 | 0.006 % |
105.01/105.08 c | 231979 | 16888 244055 772669 | 2147483647 231978 43 | 0.006 % |
105.21/105.23 c | 232125 | 16888 244055 772669 | 2147483647 232124 43 | 0.006 % |
105.31/105.37 c | 232285 | 16888 244055 772669 | 2147483647 232284 43 | 0.006 % |
105.41/105.49 c | 232461 | 16888 244055 772669 | 2147483647 232460 43 | 0.006 % |
105.62/105.63 c | 232654 | 16888 244055 772669 | 2147483647 232653 43 | 0.006 % |
105.71/105.79 c | 232866 | 16888 244055 772669 | 2147483647 232865 43 | 0.006 % |
105.91/105.95 c | 233099 | 16888 244055 772669 | 2147483647 233098 43 | 0.006 % |
106.21/106.20 c | 233356 | 16888 244055 772669 | 2147483647 233355 43 | 0.006 % |
106.41/106.45 c | 233637 | 16888 244055 772669 | 2147483647 233636 43 | 0.006 % |
106.72/106.75 c | 233946 | 16888 244055 772669 | 2147483647 233945 43 | 0.006 % |
106.91/106.96 c | 234285 | 16888 244055 772669 | 2147483647 234284 43 | 0.006 % |
107.21/107.21 c | 234658 | 16888 244055 772669 | 2147483647 234657 43 | 0.006 % |
107.41/107.49 c | 235067 | 16888 244055 772669 | 2147483647 235066 43 | 0.006 % |
107.82/107.89 c | 235516 | 16888 244055 772669 | 2147483647 235515 43 | 0.006 % |
108.31/108.35 c | 236011 | 16888 244055 772669 | 2147483647 236010 43 | 0.006 % |
108.71/108.75 c | 236553 | 16888 244055 772669 | 2147483647 236552 43 | 0.006 % |
109.31/109.38 c | 237149 | 16888 244055 772669 | 2147483647 237148 43 | 0.006 % |
109.91/109.96 c | 237804 | 16888 244055 772669 | 2147483647 237803 43 | 0.006 % |
110.51/110.55 c | 238524 | 16888 244055 772669 | 2147483647 238523 43 | 0.006 % |
111.12/111.14 c | 239317 | 16888 244055 772669 | 2147483647 239316 43 | 0.006 % |
111.62/111.64 c | 240189 | 16888 244055 772669 | 2147483647 240188 43 | 0.006 % |
112.22/112.24 c | 241148 | 16888 244055 772669 | 2147483647 241147 43 | 0.006 % |
112.82/112.87 c | 242202 | 16888 244055 772669 | 2147483647 242201 43 | 0.006 % |
113.62/113.70 c | 243360 | 16888 244055 772669 | 2147483647 243359 43 | 0.006 % |
114.62/114.69 c | 244633 | 16888 244055 772669 | 2147483647 244632 43 | 0.006 % |
115.62/115.69 c | 246034 | 16888 244055 772669 | 2147483647 246033 43 | 0.006 % |
116.72/116.79 c | 247574 | 16888 244055 772669 | 2147483647 247573 43 | 0.006 % |
118.12/118.16 c | 249268 | 16888 244055 772669 | 2147483647 249267 43 | 0.006 % |
119.72/119.76 c | 251134 | 16888 244055 772669 | 2147483647 251133 43 | 0.006 % |
121.43/121.49 c | 253183 | 16888 244055 772669 | 2147483647 253182 43 | 0.006 % |
123.03/123.03 c | 255437 | 16888 244055 772669 | 2147483647 255436 43 | 0.006 % |
124.83/124.83 c | 257915 | 16888 244055 772669 | 2147483647 257914 43 | 0.006 % |
124.93/124.93 c | 258016 | 16888 244055 772669 | 2147483647 258015 43 | 0.006 % |
125.13/125.18 c | 258129 | 16888 244055 772669 | 2147483647 258128 43 | 0.006 % |
125.33/125.40 c | 258250 | 16888 244055 772669 | 2147483647 258249 43 | 0.006 % |
125.53/125.52 c | 258383 | 16888 244055 772669 | 2147483647 258382 43 | 0.006 % |
125.63/125.66 c | 258529 | 16888 244055 772669 | 2147483647 258528 43 | 0.006 % |
125.83/125.90 c | 258689 | 16888 244055 772669 | 2147483647 258688 43 | 0.006 % |
126.13/126.15 c | 258865 | 16888 244055 772669 | 2147483647 258864 43 | 0.006 % |
126.33/126.42 c | 259059 | 16888 244055 772669 | 2147483647 259058 43 | 0.006 % |
126.63/126.62 c | 259271 | 16888 244055 772669 | 2147483647 259270 43 | 0.006 % |
126.83/126.85 c | 259506 | 16888 244055 772669 | 2147483647 259505 43 | 0.006 % |
127.03/127.12 c | 259762 | 16888 244055 772669 | 2147483647 259761 43 | 0.006 % |
127.33/127.41 c | 260043 | 16888 244055 772669 | 2147483647 260042 43 | 0.006 % |
127.73/127.74 c | 260354 | 16888 244055 772669 | 2147483647 260353 43 | 0.006 % |
127.93/127.95 c | 260694 | 16888 244055 772669 | 2147483647 260693 43 | 0.006 % |
128.33/128.37 c | 261066 | 16888 244055 772669 | 2147483647 261065 43 | 0.006 % |
128.73/128.75 c | 261478 | 16888 244055 772669 | 2147483647 261477 43 | 0.006 % |
129.03/129.11 c | 261928 | 16888 244055 772669 | 2147483647 261927 43 | 0.006 % |
129.53/129.53 c | 262421 | 16888 244055 772669 | 2147483647 262420 43 | 0.006 % |
129.93/130.01 c | 262963 | 16888 244055 772669 | 2147483647 262962 43 | 0.006 % |
130.33/130.37 c | 263560 | 16888 244055 772669 | 2147483647 263559 43 | 0.006 % |
130.93/130.98 c | 264215 | 16888 244055 772669 | 2147483647 264214 43 | 0.006 % |
131.53/131.60 c | 264935 | 16888 244055 772669 | 2147483647 264934 43 | 0.007 % |
132.13/132.21 c | 265727 | 16888 244055 772669 | 2147483647 265726 43 | 0.006 % |
132.83/132.91 c | 266598 | 16888 244055 772669 | 2147483647 266597 43 | 0.006 % |
133.73/133.76 c | 267558 | 16888 244055 772669 | 2147483647 267557 43 | 0.006 % |
134.93/134.97 c | 268613 | 16888 244055 772669 | 2147483647 268612 43 | 0.006 % |
135.93/135.97 c | 269771 | 16888 244055 772669 | 2147483647 269770 43 | 0.006 % |
136.93/136.97 c | 271045 | 16888 244055 772669 | 2147483647 271044 43 | 0.006 % |
138.33/138.38 c | 272445 | 16888 244055 772669 | 2147483647 272444 43 | 0.006 % |
139.63/139.70 c | 273987 | 16888 244055 772669 | 2147483647 273986 43 | 0.006 % |
140.73/140.73 c | 275682 | 16888 244055 772669 | 2147483647 275681 43 | 0.006 % |
142.33/142.33 c | 277545 | 16888 244055 772669 | 2147483647 277544 43 | 0.006 % |
144.33/144.39 c | 279595 | 16888 244055 772669 | 2147483647 279594 43 | 0.006 % |
146.73/146.73 c | 281848 | 16888 244055 772669 | 279999 281847 43 | 0.006 % |
151.33/151.33 c | 284328 | 16888 244055 772669 | 279999 248056 42 | 0.006 % |
153.43/153.44 c | 287054 | 16888 244055 772669 | 279999 250782 41 | 0.006 % |
153.63/153.63 c | 287154 | 16888 244055 772669 | 279999 250882 41 | 0.006 % |
153.73/153.75 c | 287265 | 16888 244055 772669 | 279999 250993 41 | 0.006 % |
153.83/153.87 c | 287386 | 16888 244055 772669 | 279999 251114 41 | 0.006 % |
154.03/154.02 c | 287519 | 16888 244055 772669 | 279999 251247 41 | 0.006 % |
154.23/154.27 c | 287665 | 16888 244055 772669 | 279999 251393 41 | 0.006 % |
154.43/154.46 c | 287825 | 16888 244055 772669 | 279999 251553 41 | 0.006 % |
154.63/154.65 c | 288001 | 16888 244055 772669 | 279999 251729 41 | 0.006 % |
154.93/154.93 c | 288194 | 16888 244055 772669 | 279999 251922 41 | 0.006 % |
155.13/155.21 c | 288406 | 16888 244055 772669 | 279999 252134 41 | 0.006 % |
155.43/155.42 c | 288639 | 16888 244055 772669 | 279999 252367 41 | 0.006 % |
155.63/155.65 c | 288895 | 16888 244055 772669 | 279999 252623 41 | 0.006 % |
155.93/155.96 c | 289176 | 16888 244055 772669 | 279999 252904 41 | 0.006 % |
156.23/156.27 c | 289486 | 16888 244055 772669 | 279999 253214 41 | 0.006 % |
156.53/156.58 c | 289825 | 16888 244055 772669 | 279999 253553 41 | 0.006 % |
157.03/157.04 c | 290197 | 16888 244055 772669 | 253728 253925 41 | 0.006 % |
158.53/158.55 c | 290606 | 16888 244055 772669 | 253728 224762 42 | 0.006 % |
158.93/159.00 c | 291055 | 16888 244055 772669 | 253728 225211 42 | 0.006 % |
159.63/159.70 c | 291548 | 16888 244055 772669 | 253728 225704 42 | 0.006 % |
160.33/160.41 c | 292090 | 16888 244055 772669 | 253728 226246 42 | 0.006 % |
161.03/161.04 c | 292686 | 16888 244055 772669 | 253728 226842 42 | 0.006 % |
161.63/161.66 c | 293341 | 16888 244055 772669 | 253728 227497 42 | 0.006 % |
162.23/162.22 c | 294061 | 16888 244055 772669 | 253728 228217 42 | 0.006 % |
162.83/162.90 c | 294853 | 16888 244055 772669 | 253728 229009 42 | 0.006 % |
163.63/163.71 c | 295725 | 16888 244055 772669 | 253728 229881 42 | 0.006 % |
164.53/164.54 c | 296684 | 16888 244055 772669 | 253728 230840 42 | 0.006 % |
165.43/165.45 c | 297737 | 16888 244055 772669 | 253728 231893 42 | 0.006 % |
166.43/166.49 c | 298897 | 16888 244055 772669 | 253728 233053 42 | 0.006 % |
167.53/167.56 c | 300172 | 16888 244055 772669 | 234156 234328 42 | 0.006 % |
169.63/169.64 c | 301572 | 16888 244055 772669 | 234156 208166 42 | 0.006 % |
170.93/171.01 c | 303112 | 16888 244055 772669 | 234156 209706 42 | 0.006 % |
172.63/172.63 c | 304806 | 16888 244055 772669 | 234156 211400 42 | 0.006 % |
173.93/174.01 c | 306669 | 16888 244055 772669 | 234156 213263 42 | 0.006 % |
175.63/175.67 c | 308719 | 16888 244055 772669 | 234156 215313 42 | 0.006 % |
177.43/177.51 c | 310972 | 16888 244055 772669 | 216594 217566 42 | 0.006 % |
180.23/180.31 c | 313451 | 16888 244055 772669 | 216594 194397 41 | 0.006 % |
181.93/181.93 c | 316176 | 16888 244055 772669 | 216594 197122 42 | 0.006 % |
184.13/184.14 c | 319173 | 16888 244055 772669 | 216594 200119 41 | 0.006 % |
184.13/184.20 c | 319273 | 16888 244055 772669 | 216594 200219 41 | 0.006 % |
184.23/184.27 c | 319383 | 16888 244055 772669 | 216594 200329 41 | 0.006 % |
184.33/184.36 c | 319504 | 16888 244055 772669 | 216594 200450 41 | 0.006 % |
184.53/184.55 c | 319638 | 16888 244055 772669 | 216594 200584 41 | 0.006 % |
184.63/184.71 c | 319784 | 16888 244055 772669 | 216594 200730 41 | 0.006 % |
184.73/184.81 c | 319945 | 16888 244055 772669 | 216594 200891 41 | 0.006 % |
184.93/184.96 c | 320123 | 16888 244055 772669 | 2147483647 201069 41 | 0.006 % |
185.03/185.11 c | 320318 | 16888 244055 772669 | 2147483647 201264 41 | 0.006 % |
185.23/185.23 c | 320530 | 16888 244055 772669 | 2147483647 201476 41 | 0.006 % |
185.53/185.56 c | 320765 | 16888 244055 772669 | 2147483647 201711 41 | 0.006 % |
185.83/185.91 c | 321021 | 16888 244055 772669 | 2147483647 201967 41 | 0.006 % |
186.23/186.22 c | 321303 | 16888 244055 772669 | 2147483647 202249 41 | 0.006 % |
186.43/186.51 c | 321612 | 16888 244055 772669 | 2147483647 202558 41 | 0.006 % |
186.73/186.75 c | 321951 | 16888 244055 772669 | 2147483647 202897 41 | 0.006 % |
187.04/187.05 c | 322323 | 16888 244055 772669 | 2147483647 203269 41 | 0.006 % |
187.43/187.45 c | 322732 | 16888 244055 772669 | 2147483647 203678 41 | 0.006 % |
187.83/187.91 c | 323182 | 16888 244055 772669 | 2147483647 204128 41 | 0.006 % |
188.33/188.33 c | 323676 | 16888 244055 772669 | 2147483647 204622 41 | 0.006 % |
188.83/188.82 c | 324220 | 16888 244055 772669 | 2147483647 205166 41 | 0.006 % |
189.33/189.38 c | 324816 | 16888 244055 772669 | 2147483647 205762 41 | 0.006 % |
189.93/189.97 c | 325471 | 16888 244055 772669 | 2147483647 206417 41 | 0.006 % |
190.53/190.54 c | 326191 | 16888 244055 772669 | 2147483647 207137 41 | 0.006 % |
191.23/191.30 c | 326983 | 16888 244055 772669 | 2147483647 207929 41 | 0.006 % |
192.13/192.20 c | 327856 | 16888 244055 772669 | 2147483647 208802 41 | 0.006 % |
192.93/192.98 c | 328815 | 16888 244055 772669 | 2147483647 209761 41 | 0.006 % |
193.73/193.79 c | 329868 | 16888 244055 772669 | 2147483647 210814 41 | 0.006 % |
194.83/194.86 c | 331026 | 16888 244055 772669 | 210947 211972 41 | 0.006 % |
197.33/197.36 c | 332299 | 16888 244055 772669 | 210947 188998 40 | 0.006 % |
198.43/198.47 c | 333699 | 16888 244055 772669 | 210947 190398 40 | 0.006 % |
199.63/199.70 c | 335239 | 16888 244055 772669 | 210947 191938 40 | 0.006 % |
201.03/201.03 c | 336935 | 16888 244055 772669 | 210947 193634 40 | 0.006 % |
202.44/202.51 c | 338798 | 16888 244055 772669 | 210947 195497 40 | 0.006 % |
204.13/204.17 c | 340847 | 16888 244055 772669 | 2147483647 197546 40 | 0.006 % |
206.03/206.11 c | 343100 | 16888 244055 772669 | 2147483647 199799 40 | 0.006 % |
208.03/208.02 c | 345578 | 16888 244055 772669 | 2147483647 202277 40 | 0.006 % |
210.53/210.58 c | 348303 | 16888 244055 772669 | 2147483647 205002 40 | 0.006 % |
213.23/213.26 c | 351300 | 16888 244055 772669 | 206699 207999 40 | 0.006 % |
216.63/216.67 c | 354596 | 16888 244055 772669 | 206699 185617 39 | 0.006 % |
216.74/216.79 c | 354696 | 16888 244055 772669 | 206699 185717 39 | 0.006 % |
216.93/216.99 c | 354806 | 16888 244055 772669 | 206699 185827 39 | 0.006 % |
217.03/217.09 c | 354929 | 16888 244055 772669 | 206699 185950 39 | 0.006 % |
217.23/217.28 c | 355063 | 16888 244055 772669 | 206699 186084 39 | 0.006 % |
217.43/217.45 c | 355210 | 16888 244055 772669 | 206699 186231 39 | 0.006 % |
217.63/217.67 c | 355371 | 16888 244055 772669 | 206699 186392 39 | 0.006 % |
217.84/217.83 c | 355548 | 16888 244055 772669 | 206699 186569 39 | 0.006 % |
218.13/218.18 c | 355742 | 16888 244055 772669 | 206699 186763 39 | 0.006 % |
218.33/218.36 c | 355954 | 16888 244055 772669 | 206699 186975 39 | 0.006 % |
218.63/218.66 c | 356189 | 16888 244055 772669 | 206699 187210 39 | 0.006 % |
218.94/218.97 c | 356445 | 16888 244055 772669 | 206699 187466 39 | 0.006 % |
219.33/219.32 c | 356726 | 16888 244055 772669 | 206699 187747 39 | 0.006 % |
219.53/219.60 c | 357036 | 16888 244055 772669 | 206699 188057 39 | 0.006 % |
219.93/219.98 c | 357375 | 16888 244055 772669 | 206699 188396 39 | 0.006 % |
220.23/220.29 c | 357747 | 16888 244055 772669 | 206699 188768 39 | 0.006 % |
220.73/220.79 c | 358160 | 16888 244055 772669 | 206699 189181 39 | 0.006 % |
221.14/221.20 c | 358610 | 16888 244055 772669 | 206699 189631 39 | 0.006 % |
221.53/221.55 c | 359104 | 16888 244055 772669 | 206699 190125 39 | 0.006 % |
222.03/222.07 c | 359646 | 16888 244055 772669 | 206699 190667 39 | 0.006 % |
222.64/222.67 c | 360242 | 16888 244055 772669 | 191022 191263 39 | 0.006 % |
224.04/224.03 c | 360897 | 16888 244055 772669 | 191022 164702 38 | 0.006 % |
224.54/224.62 c | 361617 | 16888 244055 772669 | 191022 165422 38 | 0.006 % |
225.24/225.30 c | 362409 | 16888 244055 772669 | 191022 166214 38 | 0.006 % |
226.14/226.18 c | 363280 | 16888 244055 772669 | 191022 167085 38 | 0.006 % |
226.94/227.00 c | 364240 | 16888 244055 772669 | 191022 168045 38 | 0.006 % |
227.84/227.85 c | 365293 | 16888 244055 772669 | 191022 169098 38 | 0.006 % |
228.74/228.78 c | 366451 | 16888 244055 772669 | 191022 170256 38 | 0.006 % |
229.74/229.82 c | 367725 | 16888 244055 772669 | 191022 171530 38 | 0.006 % |
230.74/230.81 c | 369128 | 16888 244055 772669 | 191022 172933 38 | 0.006 % |
232.04/232.06 c | 370668 | 16888 244055 772669 | 173805 174473 38 | 0.006 % |
233.94/233.95 c | 372363 | 16888 244055 772669 | 173805 157939 38 | 0.006 % |
235.24/235.22 c | 374226 | 16888 244055 772669 | 173805 159802 38 | 0.006 % |
236.74/236.78 c | 376276 | 16888 244055 772669 | 173805 161852 37 | 0.006 % |
238.44/238.47 c | 378530 | 16888 244055 772669 | 173805 164106 37 | 0.006 % |
240.64/240.65 c | 381008 | 16888 244055 772669 | 2147483647 166584 38 | 0.006 % |
243.04/243.11 c | 383734 | 16888 244055 772669 | 2147483647 169310 38 | 0.006 % |
244.94/244.92 c | 386731 | 16888 244055 772669 | 2147483647 172307 38 | 0.006 % |
247.44/247.44 c | 390028 | 16888 244055 772669 | 2147483647 175604 38 | 0.006 % |
250.54/250.59 c | 393653 | 16888 244055 772669 | 2147483647 179229 38 | 0.006 % |
250.74/250.78 c | 393753 | 16888 244055 772669 | 2147483647 179329 38 | 0.006 % |
250.94/250.92 c | 393863 | 16888 244055 772669 | 2147483647 179439 38 | 0.006 % |
251.04/251.03 c | 393987 | 16888 244055 772669 | 2147483647 179563 38 | 0.006 % |
251.14/251.15 c | 394121 | 16888 244055 772669 | 2147483647 179697 38 | 0.006 % |
251.24/251.24 c | 394268 | 16888 244055 772669 | 2147483647 179844 38 | 0.006 % |
251.34/251.37 c | 394428 | 16888 244055 772669 | 2147483647 180004 38 | 0.006 % |
251.44/251.52 c | 394606 | 16888 244055 772669 | 2147483647 180182 38 | 0.006 % |
251.64/251.68 c | 394799 | 16888 244055 772669 | 2147483647 180375 38 | 0.006 % |
251.84/251.89 c | 395011 | 16888 244055 772669 | 2147483647 180587 38 | 0.006 % |
252.14/252.17 c | 395246 | 16888 244055 772669 | 2147483647 180822 38 | 0.006 % |
252.44/252.43 c | 395502 | 16888 244055 772669 | 2147483647 181078 38 | 0.006 % |
252.94/252.92 c | 395784 | 16888 244055 772669 | 2147483647 181360 38 | 0.006 % |
253.24/253.23 c | 396094 | 16888 244055 772669 | 2147483647 181670 38 | 0.006 % |
253.64/253.64 c | 396435 | 16888 244055 772669 | 2147483647 182011 38 | 0.006 % |
254.04/254.09 c | 396807 | 16888 244055 772669 | 2147483647 182383 38 | 0.006 % |
254.44/254.46 c | 397216 | 16888 244055 772669 | 2147483647 182792 38 | 0.006 % |
254.84/254.87 c | 397666 | 16888 244055 772669 | 2147483647 183242 38 | 0.006 % |
255.24/255.23 c | 398161 | 16888 244055 772669 | 2147483647 183737 38 | 0.006 % |
255.74/255.80 c | 398703 | 16888 244055 772669 | 2147483647 184279 38 | 0.006 % |
256.24/256.27 c | 399299 | 16888 244055 772669 | 2147483647 184875 38 | 0.006 % |
256.84/256.82 c | 399954 | 16888 244055 772669 | 2147483647 185530 38 | 0.006 % |
257.34/257.38 c | 400675 | 16888 244055 772669 | 185576 186251 38 | 0.006 % |
259.14/259.20 c | 401468 | 16888 244055 772669 | 185576 162506 37 | 0.006 % |
259.64/259.71 c | 402339 | 16888 244055 772669 | 185576 163377 37 | 0.006 % |
260.44/260.44 c | 403297 | 16888 244055 772669 | 185576 164335 37 | 0.006 % |
261.14/261.16 c | 404350 | 16888 244055 772669 | 185576 165388 37 | 0.006 % |
262.04/262.06 c | 405509 | 16888 244055 772669 | 185576 166547 37 | 0.006 % |
263.24/263.23 c | 406782 | 16888 244055 772669 | 185576 167820 37 | 0.006 % |
264.54/264.56 c | 408183 | 16888 244055 772669 | 185576 169221 37 | 0.006 % |
266.04/266.03 c | 409723 | 16888 244055 772669 | 185576 170761 37 | 0.006 % |
267.34/267.39 c | 411417 | 16888 244055 772669 | 171039 172455 37 | 0.006 % |
269.84/269.90 c | 413280 | 16888 244055 772669 | 171039 154956 36 | 0.006 % |
271.34/271.39 c | 415330 | 16888 244055 772669 | 171039 157006 37 | 0.006 % |
272.54/272.61 c | 417583 | 16888 244055 772669 | 171039 159259 36 | 0.006 % |
274.33/274.37 c | 420061 | 16888 244055 772669 | 2147483647 161737 37 | 0.006 % |
277.43/277.50 c | 422786 | 16888 244055 772669 | 2147483647 164462 37 | 0.006 % |
280.73/280.80 c | 425783 | 16888 244055 772669 | 2147483647 167459 37 | 0.006 % |
283.53/283.53 c | 429081 | 16888 244055 772669 | 2147483647 170757 37 | 0.006 % |
285.53/285.56 c | 432707 | 16888 244055 772669 | 171676 174383 37 | 0.006 % |
289.34/289.35 c | 436694 | 16888 244055 772669 | 171676 160932 36 | 0.006 % |
289.43/289.42 c | 436796 | 16888 244055 772669 | 171676 161034 36 | 0.006 % |
289.53/289.52 c | 436906 | 16888 244055 772669 | 171676 161144 36 | 0.006 % |
289.63/289.61 c | 437028 | 16888 244055 772669 | 171676 161266 36 | 0.006 % |
289.83/289.85 c | 437162 | 16888 244055 772669 | 171676 161400 36 | 0.006 % |
290.03/290.01 c | 437308 | 16888 244055 772669 | 171676 161546 36 | 0.006 % |
290.13/290.15 c | 437468 | 16888 244055 772669 | 171676 161706 36 | 0.006 % |
290.33/290.31 c | 437644 | 16888 244055 772669 | 171676 161882 36 | 0.006 % |
290.53/290.53 c | 437837 | 16888 244055 772669 | 171676 162075 36 | 0.006 % |
290.63/290.68 c | 438050 | 16888 244055 772669 | 171676 162288 36 | 0.006 % |
291.03/291.09 c | 438283 | 16888 244055 772669 | 171676 162521 36 | 0.006 % |
291.33/291.37 c | 438539 | 16888 244055 772669 | 171676 162777 36 | 0.006 % |
291.63/291.69 c | 438820 | 16888 244055 772669 | 171676 163058 36 | 0.006 % |
291.83/291.90 c | 439129 | 16888 244055 772669 | 171676 163367 36 | 0.006 % |
292.13/292.19 c | 439469 | 16888 244055 772669 | 171676 163707 36 | 0.006 % |
292.43/292.47 c | 439842 | 16888 244055 772669 | 171676 164080 36 | 0.006 % |
292.73/292.79 c | 440252 | 16888 244055 772669 | 2147483647 164490 36 | 0.006 % |
293.13/293.20 c | 440701 | 16888 244055 772669 | 2147483647 164939 36 | 0.006 % |
293.63/293.61 c | 441195 | 16888 244055 772669 | 2147483647 165433 36 | 0.006 % |
294.03/294.03 c | 441737 | 16888 244055 772669 | 2147483647 165975 36 | 0.006 % |
294.43/294.47 c | 442333 | 16888 244055 772669 | 2147483647 166571 36 | 0.006 % |
294.84/294.82 c | 442988 | 16888 244055 772669 | 2147483647 167226 36 | 0.006 % |
295.33/295.34 c | 443708 | 16888 244055 772669 | 2147483647 167946 36 | 0.006 % |
295.94/295.92 c | 444500 | 16888 244055 772669 | 2147483647 168738 36 | 0.006 % |
296.63/296.65 c | 445374 | 16888 244055 772669 | 2147483647 169612 36 | 0.006 % |
297.23/297.29 c | 446332 | 16888 244055 772669 | 2147483647 170570 36 | 0.006 % |
298.23/298.23 c | 447385 | 16888 244055 772669 | 2147483647 171623 36 | 0.006 % |
298.93/298.98 c | 448543 | 16888 244055 772669 | 2147483647 172781 36 | 0.006 % |
299.83/299.82 c | 449817 | 16888 244055 772669 | 2147483647 174055 36 | 0.006 % |
300.73/300.78 c | 451217 | 16888 244055 772669 | 2147483647 175455 36 | 0.006 % |
301.93/301.99 c | 452760 | 16888 244055 772669 | 2147483647 176998 36 | 0.006 % |
303.43/303.48 c | 454455 | 16888 244055 772669 | 2147483647 178693 36 | 0.006 % |
304.93/304.99 c | 456319 | 16888 244055 772669 | 2147483647 180557 36 | 0.006 % |
306.33/306.35 c | 458368 | 16888 244055 772669 | 2147483647 182606 36 | 0.006 % |
307.83/307.87 c | 460621 | 16888 244055 772669 | 184238 184859 36 | 0.006 % |
312.23/312.26 c | 463099 | 16888 244055 772669 | 184238 167176 37 | 0.006 % |
314.73/314.78 c | 465824 | 16888 244055 772669 | 184238 169901 37 | 0.006 % |
317.33/317.40 c | 468822 | 16888 244055 772669 | 184238 172899 36 | 0.006 % |
320.33/320.34 c | 472118 | 16888 244055 772669 | 174077 176195 36 | 0.006 % |
324.33/324.38 c | 475743 | 16888 244055 772669 | 174077 153005 36 | 0.006 % |
327.43/327.48 c | 479730 | 16888 244055 772669 | 174077 156992 36 | 0.006 % |
331.01/331.06 c | 484115 | 16888 244055 772669 | 157263 144205 35 | 0.006 % |
331.11/331.13 c | 484216 | 16888 244055 772669 | 157263 144306 35 | 0.006 % |
331.20/331.21 c | 484327 | 16888 244055 772669 | 157263 144417 35 | 0.006 % |
331.20/331.28 c | 484449 | 16888 244055 772669 | 157263 144539 35 | 0.006 % |
331.30/331.37 c | 484582 | 16888 244055 772669 | 157263 144672 35 | 0.006 % |
331.50/331.51 c | 484728 | 16888 244055 772669 | 157263 144818 35 | 0.006 % |
331.60/331.66 c | 484888 | 16888 244055 772669 | 157263 144978 35 | 0.006 % |
331.70/331.79 c | 485064 | 16888 244055 772669 | 157263 145154 35 | 0.006 % |
332.00/332.05 c | 485257 | 16888 244055 772669 | 157263 145347 35 | 0.006 % |
332.10/332.16 c | 485469 | 16888 244055 772669 | 157263 145559 35 | 0.006 % |
332.30/332.30 c | 485702 | 16888 244055 772669 | 157263 145792 35 | 0.006 % |
332.40/332.44 c | 485958 | 16888 244055 772669 | 157263 146048 35 | 0.006 % |
332.50/332.59 c | 486240 | 16888 244055 772669 | 157263 146330 35 | 0.006 % |
332.70/332.77 c | 486549 | 16888 244055 772669 | 157263 146639 35 | 0.006 % |
333.10/333.13 c | 486889 | 16888 244055 772669 | 157263 146979 35 | 0.006 % |
333.41/333.45 c | 487261 | 16888 244055 772669 | 157263 147351 35 | 0.006 % |
333.60/333.70 c | 487670 | 16888 244055 772669 | 157263 147760 35 | 0.006 % |
333.91/333.95 c | 488120 | 16888 244055 772669 | 157263 148210 35 | 0.006 % |
334.11/334.15 c | 488613 | 16888 244055 772669 | 157263 148703 35 | 0.006 % |
334.31/334.41 c | 489155 | 16888 244055 772669 | 157263 149245 35 | 0.006 % |
334.71/334.73 c | 489752 | 16888 244055 772669 | 157263 149842 35 | 0.006 % |
335.01/335.04 c | 490409 | 16888 244055 772669 | 2147483647 150499 35 | 0.006 % |
335.31/335.35 c | 491130 | 16888 244055 772669 | 2147483647 151220 35 | 0.006 % |
335.61/335.68 c | 491924 | 16888 244055 772669 | 2147483647 152014 35 | 0.006 % |
336.01/336.08 c | 492795 | 16888 244055 772669 | 2147483647 152885 35 | 0.006 % |
336.51/336.55 c | 493753 | 16888 244055 772669 | 2147483647 153843 35 | 0.006 % |
337.01/337.02 c | 494808 | 16888 244055 772669 | 2147483647 154898 35 | 0.006 % |
337.71/337.76 c | 495968 | 16888 244055 772669 | 2147483647 156058 35 | 0.006 % |
338.41/338.48 c | 497241 | 16888 244055 772669 | 2147483647 157331 35 | 0.006 % |
339.30/339.34 c | 498642 | 16888 244055 772669 | 2147483647 158732 35 | 0.006 % |
340.30/340.38 c | 500183 | 16888 244055 772669 | 2147483647 160273 35 | 0.006 % |
341.20/341.30 c | 501877 | 16888 244055 772669 | 2147483647 161967 35 | 0.006 % |
342.40/342.47 c | 503744 | 16888 244055 772669 | 2147483647 163834 35 | 0.006 % |
343.90/343.99 c | 505794 | 16888 244055 772669 | 2147483647 165884 35 | 0.006 % |
345.30/345.41 c | 508047 | 16888 244055 772669 | 2147483647 168137 34 | 0.006 % |
346.60/346.64 c | 510525 | 16888 244055 772669 | 170091 170615 35 | 0.006 % |
350.00/350.09 c | 513250 | 16888 244055 772669 | 170091 151163 34 | 0.006 % |
351.90/352.00 c | 516247 | 16888 244055 772669 | 170091 154160 34 | 0.006 % |
353.60/353.61 c | 519543 | 16888 244055 772669 | 170091 157456 35 | 0.006 % |
355.20/355.29 c | 523169 | 16888 244055 772669 | 157913 161082 35 | 0.006 % |
358.80/358.87 c | 527157 | 16888 244055 772669 | 157913 145678 35 | 0.006 % |
360.60/360.71 c | 531543 | 16888 244055 772669 | 2147483647 150064 35 | 0.006 % |
363.00/363.04 c | 536366 | 16888 244055 772669 | 2147483647 154887 36 | 0.006 % |
363.10/363.13 c | 536466 | 16888 244055 772669 | 2147483647 154987 36 | 0.006 % |
363.10/363.21 c | 536576 | 16888 244055 772669 | 2147483647 155097 36 | 0.006 % |
363.30/363.33 c | 536697 | 16888 244055 772669 | 2147483647 155218 36 | 0.006 % |
363.50/363.54 c | 536830 | 16888 244055 772669 | 2147483647 155351 36 | 0.006 % |
363.60/363.66 c | 536977 | 16888 244055 772669 | 2147483647 155498 36 | 0.006 % |
363.70/363.78 c | 537138 | 16888 244055 772669 | 2147483647 155659 36 | 0.006 % |
363.80/363.91 c | 537314 | 16888 244055 772669 | 2147483647 155835 36 | 0.006 % |
364.00/364.07 c | 537507 | 16888 244055 772669 | 2147483647 156028 36 | 0.006 % |
364.20/364.23 c | 537719 | 16888 244055 772669 | 2147483647 156240 36 | 0.006 % |
364.40/364.43 c | 537953 | 16888 244055 772669 | 2147483647 156474 36 | 0.006 % |
364.50/364.61 c | 538209 | 16888 244055 772669 | 2147483647 156730 36 | 0.006 % |
364.80/364.81 c | 538490 | 16888 244055 772669 | 2147483647 157011 36 | 0.006 % |
365.00/365.03 c | 538799 | 16888 244055 772669 | 2147483647 157320 36 | 0.006 % |
365.20/365.25 c | 539138 | 16888 244055 772669 | 2147483647 157659 36 | 0.006 % |
365.40/365.47 c | 539514 | 16888 244055 772669 | 2147483647 158035 36 | 0.006 % |
365.60/365.65 c | 539923 | 16888 244055 772669 | 2147483647 158444 36 | 0.006 % |
365.90/366.00 c | 540372 | 16888 244055 772669 | 2147483647 158893 36 | 0.006 % |
366.10/366.17 c | 540865 | 16888 244055 772669 | 2147483647 159386 36 | 0.006 % |
366.30/366.39 c | 541408 | 16888 244055 772669 | 2147483647 159929 36 | 0.006 % |
366.60/366.61 c | 542004 | 16888 244055 772669 | 2147483647 160525 36 | 0.006 % |
366.90/366.95 c | 542661 | 16888 244055 772669 | 2147483647 161182 36 | 0.006 % |
367.20/367.26 c | 543382 | 16888 244055 772669 | 2147483647 161903 36 | 0.006 % |
367.60/367.61 c | 544174 | 16888 244055 772669 | 2147483647 162695 36 | 0.006 % |
367.90/367.93 c | 545046 | 16888 244055 772669 | 2147483647 163567 36 | 0.006 % |
368.40/368.51 c | 546005 | 16821 241032 764032 | 2147483647 164523 36 | 0.403 % |
369.00/369.07 c | 547058 | 16821 241032 764032 | 2147483647 165576 36 | 0.403 % |
369.50/369.59 c | 548216 | 16821 241032 764032 | 2147483647 166734 36 | 0.403 % |
370.10/370.17 c | 549489 | 16821 241032 764032 | 2147483647 168007 36 | 0.403 % |
370.60/370.64 c | 550890 | 16821 241032 764032 | 2147483647 169408 36 | 0.403 % |
371.00/371.07 c | 552430 | 16821 241032 764032 | 2147483647 170948 36 | 0.403 % |
371.60/371.66 c | 554124 | 16821 241032 764032 | 2147483647 172642 36 | 0.403 % |
372.30/372.34 c | 555988 | 16821 241032 764032 | 2147483647 174506 36 | 0.403 % |
373.00/373.06 c | 558037 | 16821 241032 764032 | 2147483647 176555 36 | 0.403 % |
373.80/373.86 c | 560290 | 16821 241032 764032 | 2147483647 178808 37 | 0.403 % |
375.20/375.25 c | 562770 | 16821 241032 764032 | 2147483647 181288 37 | 0.403 % |
376.40/376.41 c | 565496 | 16821 241032 764032 | 2147483647 184014 37 | 0.403 % |
377.40/377.43 c | 568493 | 16821 241032 764032 | 2147483647 187011 37 | 0.403 % |
378.90/378.94 c | 571790 | 16821 241032 764032 | 2147483647 190308 37 | 0.403 % |
380.50/380.60 c | 575416 | 16821 241032 764032 | 2147483647 193934 37 | 0.403 % |
382.50/382.61 c | 579403 | 16821 241032 764032 | 2147483647 197921 38 | 0.403 % |
384.70/384.76 c | 583790 | 16821 241032 764032 | 2147483647 202308 38 | 0.403 % |
388.00/388.02 c | 588614 | 16821 241032 764032 | 2147483647 207132 38 | 0.403 % |
390.80/390.88 c | 593919 | 16821 241032 764032 | 2147483647 212437 38 | 0.403 % |
391.00/391.03 c | 594019 | 16821 241032 764032 | 2147483647 212537 38 | 0.403 % |
391.10/391.15 c | 594129 | 16821 241032 764032 | 2147483647 212647 38 | 0.403 % |
391.20/391.25 c | 594251 | 16821 241032 764032 | 2147483647 212769 38 | 0.403 % |
391.30/391.37 c | 594385 | 16821 241032 764032 | 2147483647 212903 38 | 0.403 % |
391.40/391.45 c | 594531 | 16821 241032 764032 | 2147483647 213049 38 | 0.403 % |
391.60/391.62 c | 594691 | 16821 241032 764032 | 2147483647 213209 38 | 0.403 % |
391.70/391.75 c | 594867 | 16821 241032 764032 | 2147483647 213385 38 | 0.403 % |
391.90/391.92 c | 595063 | 16821 241032 764032 | 2147483647 213581 38 | 0.403 % |
392.10/392.17 c | 595276 | 16821 241032 764032 | 2147483647 213794 38 | 0.403 % |
392.30/392.40 c | 595510 | 16821 241032 764032 | 2147483647 214028 38 | 0.403 % |
392.60/392.63 c | 595766 | 16821 241032 764032 | 2147483647 214284 38 | 0.403 % |
392.70/392.77 c | 596048 | 16821 241032 764032 | 2147483647 214566 38 | 0.403 % |
393.00/393.02 c | 596358 | 16821 241032 764032 | 2147483647 214876 38 | 0.403 % |
393.20/393.25 c | 596697 | 16821 241032 764032 | 2147483647 215215 38 | 0.403 % |
393.40/393.48 c | 597069 | 16821 241032 764032 | 2147483647 215587 38 | 0.403 % |
393.60/393.67 c | 597478 | 16821 241032 764032 | 2147483647 215996 38 | 0.403 % |
393.90/393.92 c | 597927 | 16821 241032 764032 | 2147483647 216445 38 | 0.403 % |
394.20/394.25 c | 598420 | 16821 241032 764032 | 2147483647 216938 38 | 0.403 % |
394.50/394.54 c | 598962 | 16821 241032 764032 | 2147483647 217480 38 | 0.403 % |
395.00/395.08 c | 599559 | 16821 241032 764032 | 2147483647 218077 38 | 0.403 % |
395.40/395.49 c | 600214 | 16821 241032 764032 | 2147483647 218732 38 | 0.403 % |
396.10/396.16 c | 600934 | 16821 241032 764032 | 2147483647 219452 38 | 0.403 % |
396.70/396.77 c | 601726 | 16821 241032 764032 | 2147483647 220244 38 | 0.403 % |
397.30/397.40 c | 602598 | 16821 241032 764032 | 2147483647 221116 38 | 0.403 % |
397.90/397.96 c | 603556 | 16821 241032 764032 | 2147483647 222074 38 | 0.403 % |
398.50/398.51 c | 604609 | 16821 241032 764032 | 2147483647 223127 39 | 0.403 % |
399.20/399.25 c | 605767 | 16821 241032 764032 | 2147483647 224285 39 | 0.403 % |
400.00/400.03 c | 607040 | 16821 241032 764032 | 2147483647 225558 39 | 0.403 % |
400.50/400.57 c | 608440 | 16821 241032 764032 | 2147483647 226958 39 | 0.403 % |
401.60/401.63 c | 609981 | 16821 241032 764032 | 2147483647 228499 39 | 0.403 % |
402.61/402.64 c | 611676 | 16821 241032 764032 | 2147483647 230194 39 | 0.403 % |
403.90/403.96 c | 613539 | 16821 241032 764032 | 2147483647 232057 39 | 0.403 % |
405.80/405.91 c | 615589 | 16821 241032 764032 | 2147483647 234107 39 | 0.403 % |
407.30/407.35 c | 617843 | 16821 241032 764032 | 2147483647 236361 40 | 0.403 % |
409.30/409.31 c | 620322 | 16821 241032 764032 | 238518 238840 40 | 0.403 % |
413.90/413.91 c | 623047 | 16821 241032 764032 | 238518 215263 40 | 0.403 % |
416.20/416.24 c | 626044 | 16821 241032 764032 | 238518 218260 41 | 0.403 % |
418.80/418.89 c | 629340 | 16821 241032 764032 | 238518 221556 42 | 0.403 % |
421.40/421.50 c | 632965 | 16821 241032 764032 | 222217 225181 42 | 0.403 % |
425.90/425.91 c | 636955 | 16821 241032 764032 | 222217 202876 42 | 0.403 % |
429.20/429.29 c | 641340 | 16821 241032 764032 | 2147483647 207261 42 | 0.403 % |
432.40/432.45 c | 646163 | 16821 241032 764032 | 2147483647 212084 42 | 0.403 % |
435.50/435.57 c | 651468 | 16821 241032 764032 | 215922 217389 42 | 0.403 % |
440.01/440.04 c | 657303 | 16821 241032 764032 | 215922 201132 42 | 0.403 % |
440.01/440.10 c | 657407 | 16821 241032 764032 | 215922 201236 42 | 0.403 % |
440.10/440.16 c | 657517 | 16821 241032 764032 | 215922 201346 42 | 0.403 % |
440.20/440.24 c | 657640 | 16821 241032 764032 | 215922 201469 42 | 0.403 % |
440.30/440.32 c | 657777 | 16821 241032 764032 | 215922 201606 42 | 0.403 % |
440.40/440.50 c | 657923 | 16821 241032 764032 | 215922 201752 42 | 0.403 % |
440.60/440.64 c | 658086 | 16821 241032 764032 | 215922 201915 42 | 0.403 % |
440.70/440.76 c | 658264 | 16821 241032 764032 | 215922 202093 42 | 0.403 % |
440.90/440.96 c | 658457 | 16821 241032 764032 | 215922 202286 42 | 0.403 % |
441.11/441.20 c | 658669 | 16821 241032 764032 | 215922 202498 42 | 0.403 % |
441.30/441.35 c | 658902 | 16821 241032 764032 | 215922 202731 42 | 0.403 % |
441.40/441.43 c | 659160 | 16821 241032 764032 | 215922 202989 42 | 0.403 % |
441.50/441.55 c | 659442 | 16821 241032 764032 | 215922 203271 42 | 0.403 % |
441.60/441.61 c | 659751 | 16821 241032 764032 | 215922 203580 42 | 0.403 % |
441.70/441.79 c | 660091 | 16821 241032 764032 | 2147483647 203920 42 | 0.403 % |
441.90/441.94 c | 660463 | 16821 241032 764032 | 2147483647 204292 42 | 0.403 % |
442.00/442.04 c | 660874 | 16821 241032 764032 | 2147483647 204703 42 | 0.403 % |
442.10/442.19 c | 661323 | 16821 241032 764032 | 2147483647 205152 42 | 0.403 % |
442.30/442.36 c | 661816 | 16821 241032 764032 | 2147483647 205645 42 | 0.403 % |
442.50/442.56 c | 662358 | 16821 241032 764032 | 2147483647 206187 42 | 0.403 % |
442.80/442.89 c | 662955 | 16821 241032 764032 | 2147483647 206784 42 | 0.403 % |
443.10/443.20 c | 663611 | 16821 241032 764032 | 2147483647 207440 42 | 0.403 % |
443.40/443.48 c | 664334 | 16821 241032 764032 | 2147483647 208163 42 | 0.403 % |
443.70/443.72 c | 665126 | 16821 241032 764032 | 2147483647 208955 42 | 0.403 % |
444.00/444.04 c | 665999 | 16821 241032 764032 | 2147483647 209828 41 | 0.403 % |
444.50/444.52 c | 666957 | 16821 241032 764032 | 2147483647 210786 41 | 0.403 % |
444.91/445.01 c | 668010 | 16821 241032 764032 | 2147483647 211839 41 | 0.403 % |
445.31/445.38 c | 669168 | 16821 241032 764032 | 2147483647 212997 41 | 0.403 % |
446.01/446.02 c | 670441 | 16821 241032 764032 | 2147483647 214270 41 | 0.403 % |
446.51/446.53 c | 671841 | 16821 241032 764032 | 2147483647 215670 41 | 0.403 % |
447.11/447.13 c | 673382 | 16821 241032 764032 | 2147483647 217211 41 | 0.403 % |
447.71/447.75 c | 675076 | 16821 241032 764032 | 2147483647 218905 41 | 0.403 % |
448.51/448.57 c | 676939 | 16821 241032 764032 | 2147483647 220768 41 | 0.403 % |
449.41/449.45 c | 678989 | 16821 241032 764032 | 2147483647 222818 41 | 0.403 % |
450.51/450.55 c | 681242 | 16821 241032 764032 | 2147483647 225071 41 | 0.403 % |
451.51/451.51 c | 683722 | 16821 241032 764032 | 2147483647 227551 41 | 0.403 % |
453.01/453.02 c | 686447 | 16821 241032 764032 | 2147483647 230276 41 | 0.403 % |
454.51/454.61 c | 689444 | 16821 241032 764032 | 2147483647 233273 41 | 0.403 % |
456.61/456.64 c | 692741 | 16821 241032 764032 | 2147483647 236570 40 | 0.403 % |
459.41/459.44 c | 696367 | 16821 241032 764032 | 2147483647 240196 41 | 0.403 % |
462.91/462.92 c | 700354 | 16821 241032 764032 | 2147483647 244183 40 | 0.403 % |
465.91/466.00 c | 704740 | 16821 241032 764032 | 2147483647 248569 41 | 0.403 % |
470.31/470.40 c | 709563 | 16821 241032 764032 | 2147483647 253392 41 | 0.403 % |
474.11/474.16 c | 714868 | 16821 241032 764032 | 253830 258697 41 | 0.403 % |
479.81/479.90 c | 720704 | 16821 241032 764032 | 2147483647 233987 40 | 0.403 % |
483.61/483.69 c | 727123 | 16821 241032 764032 | 2147483647 240406 40 | 0.403 % |
483.71/483.76 c | 727226 | 16821 241032 764032 | 2147483647 240509 40 | 0.403 % |
483.81/483.84 c | 727336 | 16821 241032 764032 | 2147483647 240619 40 | 0.403 % |
483.81/483.90 c | 727457 | 16821 241032 764032 | 2147483647 240740 40 | 0.403 % |
483.91/483.99 c | 727590 | 16821 241032 764032 | 2147483647 240873 40 | 0.403 % |
484.11/484.13 c | 727739 | 16821 241032 764032 | 2147483647 241022 40 | 0.403 % |
484.31/484.36 c | 727899 | 16821 241032 764032 | 2147483647 241182 40 | 0.404 % |
484.51/484.57 c | 728076 | 16821 241032 764032 | 2147483647 241359 40 | 0.403 % |
484.71/484.80 c | 728270 | 16821 241032 764032 | 2147483647 241553 40 | 0.403 % |
485.01/485.04 c | 728482 | 16821 241032 764032 | 2147483647 241765 40 | 0.403 % |
485.21/485.21 c | 728716 | 16821 241032 764032 | 2147483647 241999 40 | 0.403 % |
485.31/485.38 c | 728973 | 16821 241032 764032 | 2147483647 242256 40 | 0.403 % |
485.51/485.60 c | 729256 | 16821 241032 764032 | 2147483647 242539 40 | 0.403 % |
485.81/485.85 c | 729565 | 16821 241032 764032 | 2147483647 242848 40 | 0.403 % |
486.11/486.13 c | 729904 | 16821 241032 764032 | 2147483647 243187 40 | 0.403 % |
486.41/486.47 c | 730277 | 16821 241032 764032 | 243283 243560 40 | 0.403 % |
488.81/488.82 c | 730686 | 16821 241032 764032 | 243283 209809 41 | 0.403 % |
489.11/489.13 c | 731135 | 16821 241032 764032 | 243283 210258 41 | 0.403 % |
489.41/489.47 c | 731632 | 16821 241032 764032 | 243283 210755 41 | 0.403 % |
489.81/489.82 c | 732174 | 16821 241032 764032 | 243283 211297 41 | 0.403 % |
490.11/490.14 c | 732770 | 16821 241032 764032 | 243283 211893 41 | 0.403 % |
490.41/490.49 c | 733425 | 16821 241032 764032 | 243283 212548 41 | 0.403 % |
490.81/490.85 c | 734146 | 16821 241032 764032 | 243283 213269 41 | 0.403 % |
491.21/491.24 c | 734938 | 16821 241032 764032 | 243283 214061 41 | 0.403 % |
491.71/491.72 c | 735809 | 16821 241032 764032 | 243283 214932 41 | 0.403 % |
492.21/492.26 c | 736767 | 16821 241032 764032 | 243283 215890 40 | 0.403 % |
493.01/493.02 c | 737820 | 16821 241032 764032 | 243283 216943 40 | 0.403 % |
493.61/493.65 c | 738980 | 16821 241032 764032 | 243283 218103 40 | 0.403 % |
494.21/494.27 c | 740254 | 16821 241032 764032 | 2147483647 219377 40 | 0.403 % |
494.91/494.93 c | 741654 | 16821 241032 764032 | 2147483647 220777 40 | 0.403 % |
495.81/495.81 c | 743197 | 16821 241032 764032 | 2147483647 222320 40 | 0.403 % |
496.61/496.67 c | 744891 | 16821 241032 764032 | 2147483647 224014 40 | 0.403 % |
497.71/497.78 c | 746755 | 16821 241032 764032 | 2147483647 225878 40 | 0.403 % |
498.91/498.95 c | 748804 | 16821 241032 764032 | 2147483647 227927 40 | 0.403 % |
500.01/500.02 c | 751057 | 16821 241032 764032 | 229123 230180 40 | 0.403 % |
502.81/502.89 c | 753535 | 16821 241032 764032 | 229123 206052 38 | 0.403 % |
504.61/504.63 c | 756260 | 16821 241032 764032 | 229123 208777 38 | 0.403 % |
506.41/506.43 c | 759257 | 16821 241032 764032 | 229123 211774 39 | 0.403 % |
508.51/508.60 c | 762554 | 16821 241032 764032 | 212519 215071 39 | 0.403 % |
512.81/512.83 c | 766180 | 16821 241032 764032 | 212519 196266 38 | 0.403 % |
515.51/515.52 c | 770167 | 16821 241032 764032 | 2147483647 200253 38 | 0.403 % |
519.22/519.24 c | 774553 | 16821 241032 764032 | 2147483647 204639 38 | 0.403 % |
521.91/521.93 c | 779376 | 16821 241032 764032 | 2147483647 209462 38 | 0.403 % |
524.72/524.80 c | 784681 | 16821 241032 764032 | 210087 214767 38 | 0.403 % |
528.81/528.81 c | 790516 | 16821 241032 764032 | 196596 197111 39 | 0.403 % |
534.11/534.15 c | 796935 | 16821 241032 764032 | 196596 180769 38 | 0.403 % |
538.01/538.02 c | 803994 | 16821 241032 764032 | 2147483647 187828 38 | 0.403 % |
538.01/538.08 c | 804094 | 16821 241032 764032 | 2147483647 187928 38 | 0.403 % |
538.11/538.17 c | 804204 | 16821 241032 764032 | 2147483647 188038 38 | 0.403 % |
538.21/538.25 c | 804326 | 16821 241032 764032 | 2147483647 188160 38 | 0.403 % |
538.31/538.31 c | 804459 | 16821 241032 764032 | 2147483647 188293 38 | 0.403 % |
538.41/538.42 c | 804605 | 16821 241032 764032 | 2147483647 188439 38 | 0.403 % |
538.51/538.53 c | 804766 | 16821 241032 764032 | 2147483647 188600 38 | 0.403 % |
538.61/538.62 c | 804943 | 16821 241032 764032 | 2147483647 188777 38 | 0.403 % |
538.71/538.74 c | 805136 | 16821 241032 764032 | 2147483647 188970 38 | 0.403 % |
538.81/538.86 c | 805349 | 16821 241032 764032 | 2147483647 189183 38 | 0.403 % |
538.91/539.01 c | 805582 | 16821 241032 764032 | 2147483647 189416 38 | 0.403 % |
539.21/539.24 c | 805838 | 16821 241032 764032 | 2147483647 189672 38 | 0.403 % |
539.41/539.45 c | 806121 | 16821 241032 764032 | 2147483647 189955 38 | 0.403 % |
539.61/539.68 c | 806430 | 16821 241032 764032 | 2147483647 190264 38 | 0.403 % |
539.81/539.90 c | 806769 | 16821 241032 764032 | 2147483647 190603 38 | 0.403 % |
540.12/540.15 c | 807141 | 16821 241032 764032 | 2147483647 190975 38 | 0.403 % |
540.41/540.42 c | 807550 | 16821 241032 764032 | 2147483647 191384 38 | 0.403 % |
540.61/540.66 c | 808000 | 16821 241032 764032 | 2147483647 191834 38 | 0.403 % |
540.91/540.98 c | 808493 | 16821 241032 764032 | 2147483647 192327 38 | 0.403 % |
541.31/541.39 c | 809035 | 16821 241032 764032 | 2147483647 192869 38 | 0.403 % |
541.81/541.84 c | 809631 | 16821 241032 764032 | 2147483647 193465 38 | 0.403 % |
542.11/542.13 c | 810287 | 16821 241032 764032 | 193835 194121 38 | 0.403 % |
543.81/543.90 c | 811007 | 16821 241032 764032 | 193835 172207 36 | 0.403 % |
544.21/544.26 c | 811800 | 16821 241032 764032 | 193835 173000 36 | 0.403 % |
544.71/544.77 c | 812672 | 16821 241032 764032 | 193835 173872 37 | 0.403 % |
545.21/545.29 c | 813630 | 16821 241032 764032 | 193835 174830 37 | 0.403 % |
545.81/545.86 c | 814683 | 16821 241032 764032 | 193835 175883 37 | 0.403 % |
546.31/546.35 c | 815841 | 16821 241032 764032 | 193835 177041 37 | 0.403 % |
547.11/547.11 c | 817114 | 16821 241032 764032 | 193835 178314 36 | 0.403 % |
547.82/547.90 c | 818514 | 16821 241032 764032 | 193835 179714 36 | 0.403 % |
549.11/549.11 c | 820054 | 16821 241032 764032 | 181203 181254 36 | 0.403 % |
550.21/550.29 c | 821750 | 16821 241032 764032 | 181203 182950 36 | 0.403 % |
552.61/552.65 c | 823613 | 16821 241032 764032 | 181203 160775 37 | 0.403 % |
553.91/553.96 c | 825662 | 16821 241032 764032 | 181203 162824 37 | 0.403 % |
555.11/555.17 c | 827917 | 16821 241032 764032 | 181203 165079 37 | 0.403 % |
556.52/556.58 c | 830396 | 16821 241032 764032 | 167162 167558 36 | 0.403 % |
558.52/558.55 c | 833121 | 16821 241032 764032 | 167162 146226 36 | 0.403 % |
559.52/559.60 c | 836119 | 16821 241032 764032 | 167162 149224 36 | 0.403 % |
561.02/561.04 c | 839415 | 16821 241032 764032 | 167162 152520 36 | 0.403 % |
563.02/563.03 c | 843040 | 16821 241032 764032 | 2147483647 156145 36 | 0.403 % |
564.72/564.77 c | 847027 | 16821 241032 764032 | 2147483647 160132 37 | 0.403 % |
567.22/567.25 c | 851413 | 16821 241032 764032 | 163106 164518 37 | 0.403 % |
570.42/570.48 c | 856236 | 16821 241032 764032 | 163106 150928 38 | 0.403 % |
573.22/573.29 c | 861541 | 16821 241032 764032 | 154694 156233 38 | 0.403 % |
577.22/577.22 c | 867378 | 16821 241032 764032 | 154694 146194 39 | 0.403 % |
580.52/580.58 c | 873796 | 16821 241032 764032 | 148817 152612 39 | 0.403 % |
584.92/585.01 c | 880855 | 16821 241032 764032 | 2147483647 140919 38 | 0.403 % |
589.52/589.59 c | 888619 | 16821 241032 764032 | 2147483647 148683 37 | 0.403 % |
589.62/589.65 c | 888719 | 16821 241032 764032 | 2147483647 148783 37 | 0.403 % |
589.62/589.70 c | 888829 | 16821 241032 764032 | 2147483647 148893 37 | 0.403 % |
589.72/589.77 c | 888951 | 16821 241032 764032 | 2147483647 149015 37 | 0.403 % |
589.82/589.85 c | 889084 | 16821 241032 764032 | 2147483647 149148 37 | 0.403 % |
589.92/589.99 c | 889232 | 16821 241032 764032 | 2147483647 149296 37 | 0.403 % |
590.22/590.22 c | 889392 | 16821 241032 764032 | 2147483647 149456 37 | 0.403 % |
590.32/590.34 c | 889569 | 16821 241032 764032 | 2147483647 149633 37 | 0.403 % |
590.62/590.63 c | 889762 | 16821 241032 764032 | 2147483647 149826 37 | 0.403 % |
590.72/590.79 c | 889974 | 16821 241032 764032 | 2147483647 150038 37 | 0.403 % |
590.92/590.96 c | 890207 | 16821 241032 764032 | 150064 150271 37 | 0.403 % |
591.82/591.82 c | 890464 | 16821 241032 764032 | 150064 132367 36 | 0.403 % |
591.92/591.98 c | 890745 | 16821 241032 764032 | 150064 132648 36 | 0.403 % |
592.12/592.15 c | 891054 | 16821 241032 764032 | 150064 132957 36 | 0.403 % |
592.22/592.30 c | 891394 | 16821 241032 764032 | 150064 133297 36 | 0.403 % |
592.52/592.61 c | 891766 | 16821 241032 764032 | 150064 133669 36 | 0.403 % |
592.82/592.91 c | 892176 | 16821 241032 764032 | 150064 134079 36 | 0.403 % |
593.12/593.11 c | 892626 | 16821 241032 764032 | 150064 134529 36 | 0.403 % |
593.22/593.29 c | 893119 | 16821 241032 764032 | 150064 135022 36 | 0.403 % |
593.52/593.59 c | 893661 | 16821 241032 764032 | 150064 135564 36 | 0.403 % |
593.82/593.91 c | 894257 | 16821 241032 764032 | 150064 136160 36 | 0.403 % |
594.22/594.27 c | 894916 | 16821 241032 764032 | 150064 136819 36 | 0.403 % |
594.72/594.79 c | 895637 | 16821 241032 764032 | 150064 137540 36 | 0.403 % |
595.22/595.26 c | 896430 | 16821 241032 764032 | 150064 138333 36 | 0.403 % |
595.82/595.84 c | 897302 | 16821 241032 764032 | 150064 139205 36 | 0.403 % |
596.42/596.45 c | 898261 | 16821 241032 764032 | 150064 140164 36 | 0.403 % |
596.92/596.93 c | 899315 | 16821 241032 764032 | 150064 141218 36 | 0.403 % |
597.72/597.73 c | 900474 | 16821 241032 764032 | 2147483647 142377 36 | 0.403 % |
598.32/598.35 c | 901747 | 16821 241032 764032 | 2147483647 143650 35 | 0.403 % |
599.22/599.26 c | 903148 | 16821 241032 764032 | 2147483647 145051 35 | 0.403 % |
600.12/600.21 c | 904689 | 16821 241032 764032 | 2147483647 146592 35 | 0.403 % |
601.12/601.18 c | 906383 | 16821 241032 764032 | 2147483647 148286 35 | 0.403 % |
602.22/602.28 c | 908246 | 16821 241032 764032 | 2147483647 150149 35 | 0.403 % |
603.72/603.73 c | 910295 | 16821 241032 764032 | 151903 152198 35 | 0.403 % |
605.72/605.73 c | 912549 | 16821 241032 764032 | 151903 136074 34 | 0.403 % |
606.92/606.95 c | 915028 | 16821 241032 764032 | 151903 138553 34 | 0.403 % |
608.22/608.26 c | 917758 | 16821 241032 764032 | 151903 141283 35 | 0.403 % |
609.52/609.52 c | 920755 | 16821 241032 764032 | 2147483647 144280 35 | 0.403 % |
610.92/611.00 c | 924051 | 16821 241032 764032 | 2147483647 147576 35 | 0.403 % |
613.33/613.32 c | 927677 | 16821 241032 764032 | 2147483647 151202 35 | 0.403 % |
615.43/615.42 c | 931665 | 16821 241032 764032 | 153526 155190 35 | 0.403 % |
619.53/619.55 c | 936050 | 16821 241032 764032 | 153526 136936 34 | 0.403 % |
621.93/622.02 c | 940873 | 16821 241032 764032 | 140887 141759 36 | 0.403 % |
626.63/626.66 c | 946178 | 16821 241032 764032 | 140887 123270 36 | 0.403 % |
629.73/629.74 c | 952013 | 16821 241032 764032 | 2147483647 129105 36 | 0.403 % |
633.52/633.61 c | 958431 | 16821 241032 764032 | 2147483647 135523 37 | 0.403 % |
639.62/639.63 c | 965491 | 16821 241032 764032 | 137092 112615 35 | 0.403 % |
643.02/643.03 c | 973255 | 16821 241032 764032 | 117124 120379 35 | 0.403 % |
649.22/649.21 c | 981795 | 16821 241032 764032 | 106144 107939 36 | 0.403 % |
650.62/650.68 c | 981895 | 16821 241032 764032 | 106144 93105 37 | 0.403 % |
650.72/650.73 c | 982005 | 16821 241032 764032 | 106144 93215 37 | 0.403 % |
650.82/650.85 c | 982126 | 16821 241032 764032 | 106144 93336 37 | 0.403 % |
650.92/650.95 c | 982259 | 16821 241032 764032 | 106144 93469 37 | 0.403 % |
651.02/651.07 c | 982406 | 16821 241032 764032 | 106144 93616 37 | 0.403 % |
651.12/651.14 c | 982567 | 16821 241032 764032 | 106144 93777 37 | 0.403 % |
651.23/651.25 c | 982744 | 16821 241032 764032 | 106144 93954 37 | 0.403 % |
651.32/651.34 c | 982938 | 16821 241032 764032 | 106144 94148 37 | 0.403 % |
651.42/651.42 c | 983150 | 16821 241032 764032 | 106144 94360 37 | 0.403 % |
651.52/651.52 c | 983383 | 16821 241032 764032 | 106144 94593 37 | 0.403 % |
651.62/651.61 c | 983640 | 16821 241032 764032 | 106144 94850 37 | 0.403 % |
651.62/651.70 c | 983922 | 16821 241032 764032 | 106144 95132 37 | 0.403 % |
651.72/651.80 c | 984231 | 16821 241032 764032 | 106144 95441 37 | 0.403 % |
651.92/651.92 c | 984570 | 16821 241032 764032 | 106144 95780 37 | 0.403 % |
652.02/652.10 c | 984942 | 16821 241032 764032 | 106144 96152 37 | 0.403 % |
652.33/652.34 c | 985351 | 16821 241032 764032 | 106144 96561 37 | 0.403 % |
652.52/652.52 c | 985803 | 16821 241032 764032 | 106144 97013 37 | 0.403 % |
652.62/652.69 c | 986296 | 16821 241032 764032 | 106144 97506 37 | 0.403 % |
652.82/652.83 c | 986838 | 16821 241032 764032 | 106144 98048 37 | 0.403 % |
653.02/653.03 c | 987437 | 16821 241032 764032 | 106144 98647 37 | 0.403 % |
653.32/653.32 c | 988099 | 16821 241032 764032 | 106144 99309 37 | 0.403 % |
653.62/653.70 c | 988821 | 16821 241032 764032 | 106144 100031 38 | 0.403 % |
654.02/654.09 c | 989613 | 16821 241032 764032 | 106144 100823 38 | 0.403 % |
654.53/654.55 c | 990484 | 16821 241032 764032 | 2147483647 101694 37 | 0.403 % |
655.22/655.21 c | 991442 | 16821 241032 764032 | 2147483647 102652 37 | 0.403 % |
655.63/655.62 c | 992495 | 16821 241032 764032 | 2147483647 103705 37 | 0.403 % |
656.02/656.07 c | 993654 | 16821 241032 764032 | 2147483647 104864 37 | 0.403 % |
656.42/656.48 c | 994927 | 16821 241032 764032 | 2147483647 106137 37 | 0.403 % |
656.82/656.89 c | 996327 | 16821 241032 764032 | 2147483647 107537 37 | 0.403 % |
657.42/657.43 c | 997868 | 16821 241032 764032 | 2147483647 109078 37 | 0.403 % |
658.02/658.03 c | 999562 | 16821 241032 764032 | 2147483647 110772 36 | 0.403 % |
658.51/658.59 c | 1001426 | 16821 241032 764032 | 2147483647 112636 37 | 0.403 % |
659.41/659.49 c | 1003476 | 16821 241032 764032 | 2147483647 114686 37 | 0.403 % |
660.41/660.46 c | 1005729 | 16821 241032 764032 | 2147483647 116939 37 | 0.403 % |
661.51/661.52 c | 1008207 | 16821 241032 764032 | 2147483647 119417 37 | 0.403 % |
662.51/662.59 c | 1010934 | 16821 241032 764032 | 2147483647 122144 37 | 0.403 % |
663.71/663.78 c | 1013931 | 16821 241032 764032 | 2147483647 125141 37 | 0.403 % |
665.41/665.43 c | 1017229 | 16821 241032 764032 | 2147483647 128439 36 | 0.403 % |
666.91/667.01 c | 1020855 | 16821 241032 764032 | 2147483647 132065 36 | 0.403 % |
669.02/669.10 c | 1024842 | 16821 241032 764032 | 2147483647 136052 36 | 0.403 % |
671.52/671.58 c | 1029229 | 16821 241032 764032 | 2147483647 140439 36 | 0.403 % |
674.62/674.64 c | 1034052 | 16821 241032 764032 | 2147483647 145262 35 | 0.403 % |
675.82/675.87 c | 1039357 | 16821 241032 764032 | 2147483647 150567 37 | 0.403 % |
678.12/678.14 c | 1045192 | 16821 241032 764032 | 2147483647 156402 37 | 0.403 % |
680.42/680.45 c | 1051610 | 16821 241032 764032 | 2147483647 162820 38 | 0.403 % |
683.12/683.16 c | 1058669 | 16821 241032 764032 | 2147483647 169879 39 | 0.403 % |
686.42/686.49 c | 1066433 | 16821 241032 764032 | 2147483647 177643 40 | 0.403 % |
690.42/690.44 c | 1074973 | 16821 241032 764032 | 2147483647 186183 41 | 0.403 % |
694.62/694.64 c | 1084369 | 16821 241032 764032 | 2147483647 195579 42 | 0.403 % |
694.62/694.70 c | 1084469 | 16821 241032 764032 | 2147483647 195679 42 | 0.403 % |
694.82/694.83 c | 1084579 | 16821 241032 764032 | 2147483647 195789 42 | 0.403 % |
694.92/694.95 c | 1084700 | 16821 241032 764032 | 2147483647 195910 42 | 0.403 % |
695.02/695.04 c | 1084833 | 16821 241032 764032 | 2147483647 196043 42 | 0.403 % |
695.12/695.17 c | 1084979 | 16821 241032 764032 | 2147483647 196189 42 | 0.403 % |
695.22/695.24 c | 1085139 | 16821 241032 764032 | 2147483647 196349 42 | 0.403 % |
695.32/695.41 c | 1085315 | 16821 241032 764032 | 2147483647 196525 42 | 0.403 % |
695.52/695.53 c | 1085508 | 16821 241032 764032 | 2147483647 196718 42 | 0.403 % |
695.72/695.72 c | 1085720 | 16821 241032 764032 | 2147483647 196930 42 | 0.403 % |
695.92/695.93 c | 1085954 | 16821 241032 764032 | 2147483647 197164 42 | 0.403 % |
696.02/696.10 c | 1086210 | 16821 241032 764032 | 2147483647 197420 42 | 0.403 % |
696.32/696.34 c | 1086491 | 16821 241032 764032 | 2147483647 197701 42 | 0.403 % |
696.52/696.52 c | 1086800 | 16821 241032 764032 | 2147483647 198010 42 | 0.403 % |
696.72/696.72 c | 1087139 | 16821 241032 764032 | 2147483647 198349 42 | 0.403 % |
696.92/696.91 c | 1087511 | 16821 241032 764032 | 2147483647 198721 42 | 0.403 % |
697.12/697.18 c | 1087922 | 16821 241032 764032 | 2147483647 199132 42 | 0.403 % |
697.42/697.43 c | 1088371 | 16821 241032 764032 | 2147483647 199581 42 | 0.403 % |
697.72/697.79 c | 1088864 | 16821 241032 764032 | 2147483647 200074 42 | 0.403 % |
698.12/698.13 c | 1089407 | 16821 241032 764032 | 2147483647 200617 42 | 0.403 % |
698.32/698.35 c | 1090003 | 16821 241032 764032 | 2147483647 201213 42 | 0.403 % |
698.72/698.80 c | 1090658 | 16821 241032 764032 | 2147483647 201868 42 | 0.403 % |
699.32/699.38 c | 1091379 | 16821 241032 764032 | 2147483647 202589 42 | 0.403 % |
699.82/699.81 c | 1092172 | 16821 241032 764032 | 2147483647 203382 42 | 0.403 % |
700.32/700.38 c | 1093043 | 16821 241032 764032 | 2147483647 204253 42 | 0.403 % |
701.12/701.12 c | 1094001 | 16821 241032 764032 | 2147483647 205211 42 | 0.403 % |
701.72/701.75 c | 1095055 | 16821 241032 764032 | 2147483647 206265 43 | 0.403 % |
702.42/702.44 c | 1096214 | 16821 241032 764032 | 2147483647 207424 43 | 0.403 % |
703.42/703.43 c | 1097487 | 16821 241032 764032 | 2147483647 208697 43 | 0.403 % |
704.32/704.35 c | 1098887 | 16821 241032 764032 | 2147483647 210097 43 | 0.403 % |
705.32/705.37 c | 1100428 | 16821 241032 764032 | 211212 211638 42 | 0.403 % |
708.12/708.13 c | 1102123 | 16821 241032 764032 | 211212 188534 42 | 0.403 % |
709.02/709.11 c | 1103986 | 16821 241032 764032 | 211212 190397 42 | 0.403 % |
710.42/710.43 c | 1106035 | 16821 241032 764032 | 211212 192446 42 | 0.403 % |
712.12/712.19 c | 1108288 | 16821 241032 764032 | 211212 194699 42 | 0.403 % |
713.72/713.78 c | 1110766 | 16821 241032 764032 | 196411 197177 42 | 0.403 % |
716.62/716.65 c | 1113491 | 16821 241032 764032 | 196411 166469 43 | 0.403 % |
718.12/718.14 c | 1116489 | 16821 241032 764032 | 196411 169467 43 | 0.403 % |
719.82/719.84 c | 1119785 | 16821 241032 764032 | 196411 172763 43 | 0.403 % |
722.12/722.14 c | 1123411 | 16821 241032 764032 | 172979 176389 43 | 0.403 % |
725.32/725.36 c | 1127398 | 16821 241032 764032 | 172979 156173 43 | 0.403 % |
727.32/727.39 c | 1131785 | 16821 241032 764032 | 158776 160560 42 | 0.403 % |
730.42/730.43 c | 1136609 | 16821 241032 764032 | 158776 149328 43 | 0.403 % |
732.72/732.76 c | 1141916 | 16821 241032 764032 | 2147483647 154635 42 | 0.403 % |
735.62/735.70 c | 1147751 | 16821 241032 764032 | 2147483647 160470 42 | 0.403 % |
738.72/738.73 c | 1154169 | 16821 241032 764032 | 2147483647 166888 41 | 0.403 % |
741.92/742.00 c | 1161231 | 16821 241032 764032 | 2147483647 173950 41 | 0.403 % |
746.12/746.17 c | 1168995 | 16821 241032 764032 | 2147483647 181714 40 | 0.403 % |
753.22/753.30 c | 1177535 | 16821 241032 764032 | 182721 166026 39 | 0.403 % |
760.92/760.99 c | 1186930 | 16821 241032 764032 | 168492 157392 40 | 0.403 % |
766.32/766.32 c | 1197263 | 16821 241032 764032 | 160462 139807 35 | 0.403 % |
766.32/766.36 c | 1197363 | 16821 241032 764032 | 160462 139907 35 | 0.403 % |
766.42/766.43 c | 1197474 | 16821 241032 764032 | 160462 140018 35 | 0.403 % |
766.42/766.49 c | 1197595 | 16821 241032 764032 | 160462 140139 35 | 0.403 % |
766.52/766.61 c | 1197730 | 16821 241032 764032 | 160462 140274 35 | 0.403 % |
766.73/766.73 c | 1197876 | 16821 241032 764032 | 160462 140420 35 | 0.403 % |
766.82/766.82 c | 1198036 | 16821 241032 764032 | 160462 140580 35 | 0.403 % |
766.92/766.93 c | 1198214 | 16821 241032 764032 | 160462 140758 35 | 0.403 % |
767.02/767.05 c | 1198407 | 16821 241032 764032 | 160462 140951 35 | 0.403 % |
767.12/767.17 c | 1198620 | 16821 241032 764032 | 160462 141164 35 | 0.403 % |
767.32/767.37 c | 1198853 | 16821 241032 764032 | 160462 141397 35 | 0.403 % |
767.52/767.55 c | 1199109 | 16821 241032 764032 | 160462 141653 35 | 0.403 % |
767.72/767.74 c | 1199391 | 16821 241032 764032 | 160462 141935 35 | 0.403 % |
767.92/767.94 c | 1199700 | 16821 241032 764032 | 160462 142244 35 | 0.403 % |
768.12/768.14 c | 1200039 | 16821 241032 764032 | 142544 142583 35 | 0.403 % |
768.42/768.44 c | 1200411 | 16821 241032 764032 | 142544 142955 35 | 0.403 % |
769.12/769.11 c | 1200822 | 16821 241032 764032 | 142544 121444 31 | 0.403 % |
769.42/769.44 c | 1201271 | 16821 241032 764032 | 142544 121893 31 | 0.403 % |
769.82/769.82 c | 1201764 | 16821 241032 764032 | 142544 122386 31 | 0.403 % |
770.12/770.19 c | 1202306 | 16821 241032 764032 | 142544 122928 31 | 0.403 % |
770.42/770.48 c | 1202903 | 16821 241032 764032 | 142544 123525 31 | 0.403 % |
770.72/770.79 c | 1203558 | 16821 241032 764032 | 142544 124180 30 | 0.403 % |
771.02/771.10 c | 1204278 | 16821 241032 764032 | 142544 124900 31 | 0.403 % |
771.42/771.45 c | 1205070 | 16821 241032 764032 | 142544 125692 31 | 0.403 % |
772.12/772.13 c | 1205941 | 16821 241032 764032 | 142544 126563 31 | 0.403 % |
772.62/772.65 c | 1206899 | 16821 241032 764032 | 142544 127521 31 | 0.403 % |
772.92/772.97 c | 1207952 | 16821 241032 764032 | 142544 128574 31 | 0.403 % |
773.33/773.39 c | 1209110 | 16821 241032 764032 | 142544 129732 31 | 0.403 % |
773.82/773.90 c | 1210384 | 16821 241032 764032 | 130622 131006 31 | 0.403 % |
776.12/776.18 c | 1211784 | 16821 241032 764032 | 130622 113267 30 | 0.403 % |
776.72/776.81 c | 1213324 | 16821 241032 764032 | 130622 114807 30 | 0.403 % |
777.42/777.50 c | 1215018 | 16821 241032 764032 | 130622 116501 30 | 0.403 % |
778.23/778.22 c | 1216881 | 16821 241032 764032 | 130622 118364 30 | 0.403 % |
779.03/779.02 c | 1218930 | 16821 241032 764032 | 130622 120413 30 | 0.403 % |
780.13/780.17 c | 1221184 | 16821 241032 764032 | 121483 122667 30 | 0.403 % |
783.13/783.14 c | 1223663 | 16821 241032 764032 | 121483 106590 29 | 0.403 % |
784.23/784.28 c | 1226388 | 16821 241032 764032 | 121483 109315 29 | 0.403 % |
785.73/785.73 c | 1229385 | 16821 241032 764032 | 121483 112312 29 | 0.403 % |
787.83/787.84 c | 1232681 | 16821 241032 764032 | 112927 115608 29 | 0.403 % |
792.93/793.00 c | 1236306 | 16821 241032 764032 | 112927 97851 29 | 0.403 % |
795.53/795.58 c | 1240295 | 16821 241032 764032 | 101545 101840 29 | 0.403 % |
798.23/798.22 c | 1244682 | 16821 241032 764032 | 101545 89970 29 | 0.403 % |
800.23/800.26 c | 1249506 | 16821 241032 764032 | 101545 94794 29 | 0.404 % |
801.43/801.42 c | 1254812 | 16821 241032 764032 | 2147483647 100100 32 | 0.403 % |
802.73/802.81 c | 1260647 | 16821 241032 764032 | 2147483647 105935 33 | 0.403 % |
804.13/804.15 c | 1267065 | 16821 241032 764032 | 2147483647 112353 35 | 0.403 % |
805.83/805.91 c | 1274124 | 16821 241032 764032 | 2147483647 119412 36 | 0.403 % |
808.23/808.29 c | 1281888 | 16821 241032 764032 | 2147483647 127176 37 | 0.403 % |
811.23/811.24 c | 1290429 | 16821 241032 764032 | 2147483647 135717 36 | 0.403 % |
815.03/815.10 c | 1299824 | 16821 241032 764032 | 2147483647 145112 36 | 0.403 % |
819.13/819.13 c | 1310158 | 16821 241032 764032 | 2147483647 155446 36 | 0.403 % |
823.53/823.52 c | 1321526 | 16821 241032 764032 | 2147483647 166814 38 | 0.404 % |
823.63/823.67 c | 1321626 | 16821 241032 764032 | 2147483647 166914 38 | 0.404 % |
823.73/823.79 c | 1321737 | 16821 241032 764032 | 2147483647 167025 38 | 0.404 % |
823.93/824.00 c | 1321860 | 16821 241032 764032 | 2147483647 167148 38 | 0.403 % |
824.13/824.14 c | 1321993 | 16821 241032 764032 | 2147483647 167281 38 | 0.404 % |
824.23/824.25 c | 1322139 | 16821 241032 764032 | 2147483647 167427 38 | 0.404 % |
824.33/824.34 c | 1322299 | 16821 241032 764032 | 2147483647 167587 38 | 0.404 % |
824.43/824.48 c | 1322475 | 16821 241032 764032 | 2147483647 167763 38 | 0.404 % |
824.53/824.61 c | 1322669 | 16821 241032 764032 | 2147483647 167957 38 | 0.403 % |
824.73/824.76 c | 1322881 | 16821 241032 764032 | 2147483647 168169 38 | 0.403 % |
824.93/824.92 c | 1323114 | 16821 241032 764032 | 2147483647 168402 38 | 0.403 % |
825.03/825.06 c | 1323370 | 16821 241032 764032 | 2147483647 168658 38 | 0.404 % |
825.23/825.23 c | 1323651 | 16821 241032 764032 | 2147483647 168939 38 | 0.404 % |
825.33/825.39 c | 1323961 | 16821 241032 764032 | 2147483647 169249 38 | 0.403 % |
825.53/825.56 c | 1324301 | 16821 241032 764032 | 2147483647 169589 38 | 0.403 % |
825.73/825.74 c | 1324673 | 16821 241032 764032 | 2147483647 169961 38 | 0.404 % |
825.83/825.90 c | 1325083 | 16821 241032 764032 | 2147483647 170371 38 | 0.404 % |
826.13/826.21 c | 1325533 | 16821 241032 764032 | 2147483647 170821 38 | 0.404 % |
826.53/826.58 c | 1326026 | 16821 241032 764032 | 2147483647 171314 38 | 0.403 % |
826.93/826.94 c | 1326569 | 16821 241032 764032 | 2147483647 171857 38 | 0.403 % |
827.23/827.28 c | 1327167 | 16821 241032 764032 | 2147483647 172455 38 | 0.403 % |
827.53/827.60 c | 1327823 | 16821 241032 764032 | 2147483647 173111 38 | 0.403 % |
827.83/827.90 c | 1328543 | 16821 241032 764032 | 2147483647 173831 38 | 0.404 % |
828.23/828.25 c | 1329335 | 16821 241032 764032 | 2147483647 174623 38 | 0.403 % |
828.43/828.51 c | 1330207 | 16821 241032 764032 | 2147483647 175495 38 | 0.404 % |
828.93/828.98 c | 1331166 | 16821 241032 764032 | 2147483647 176454 38 | 0.404 % |
829.43/829.44 c | 1332219 | 16821 241032 764032 | 2147483647 177507 38 | 0.404 % |
829.83/829.91 c | 1333379 | 16821 241032 764032 | 2147483647 178667 38 | 0.404 % |
830.43/830.43 c | 1334652 | 16821 241032 764032 | 2147483647 179940 38 | 0.403 % |
831.13/831.13 c | 1336052 | 16821 241032 764032 | 2147483647 181340 38 | 0.404 % |
831.83/831.85 c | 1337592 | 16821 241032 764032 | 2147483647 182880 38 | 0.404 % |
832.63/832.70 c | 1339286 | 16821 241032 764032 | 2147483647 184574 38 | 0.404 % |
833.43/833.48 c | 1341149 | 16821 241032 764032 | 2147483647 186437 38 | 0.403 % |
834.33/834.38 c | 1343199 | 16821 241032 764032 | 2147483647 188487 38 | 0.404 % |
835.33/835.41 c | 1345454 | 16821 241032 764032 | 2147483647 190742 38 | 0.404 % |
836.73/836.75 c | 1347932 | 16821 241032 764032 | 2147483647 193220 38 | 0.403 % |
838.53/838.59 c | 1350658 | 16821 241032 764032 | 2147483647 195946 38 | 0.404 % |
840.13/840.17 c | 1353656 | 16821 241032 764032 | 2147483647 198944 38 | 0.403 % |
842.63/842.64 c | 1356953 | 16821 241032 764032 | 2147483647 202241 38 | 0.404 % |
845.43/845.46 c | 1360578 | 16821 241032 764032 | 2147483647 205866 38 | 0.403 % |
847.43/847.42 c | 1364565 | 16821 241032 764032 | 2147483647 209853 39 | 0.403 % |
850.03/850.10 c | 1368950 | 16821 241032 764032 | 2147483647 214238 40 | 0.404 % |
852.93/852.99 c | 1373773 | 16821 241032 764032 | 2147483647 219061 40 | 0.404 % |
856.43/856.50 c | 1379079 | 16821 241032 764032 | 2147483647 224367 41 | 0.404 % |
862.33/862.39 c | 1384914 | 16821 241032 764032 | 225288 198814 44 | 0.403 % |
865.93/865.96 c | 1391333 | 16821 241032 764032 | 2147483647 205233 44 | 0.403 % |
870.03/870.07 c | 1398393 | 16821 241032 764032 | 2147483647 212293 44 | 0.403 % |
875.03/875.08 c | 1406157 | 16821 241032 764032 | 2147483647 220057 45 | 0.404 % |
880.23/880.25 c | 1414697 | 16821 241032 764032 | 2147483647 228597 45 | 0.403 % |
886.23/886.24 c | 1424093 | 16821 241032 764032 | 233900 237993 44 | 0.404 % |
895.14/895.13 c | 1434428 | 16821 241032 764032 | 2147483647 219971 47 | 0.403 % |
909.44/909.50 c | 1445794 | 13015 175936 568350 | 225543 43065 45 | 22.938 % |
912.24/912.26 c | 1458296 | 13015 175936 568350 | 2147483647 55567 42 | 22.938 % |
912.24/912.30 c | 1458396 | 13015 175936 568350 | 2147483647 55667 42 | 22.938 % |
912.34/912.33 c | 1458507 | 13015 175936 568350 | 2147483647 55778 42 | 22.938 % |
912.34/912.37 c | 1458628 | 13015 175936 568350 | 2147483647 55899 42 | 22.938 % |
912.34/912.41 c | 1458762 | 13015 175936 568350 | 2147483647 56033 42 | 22.938 % |
912.44/912.45 c | 1458910 | 13015 175936 568350 | 2147483647 56181 41 | 22.938 % |
912.44/912.49 c | 1459070 | 13015 175936 568350 | 2147483647 56341 41 | 22.938 % |
912.54/912.53 c | 1459246 | 13015 175936 568350 | 2147483647 56517 41 | 22.938 % |
912.54/912.60 c | 1459439 | 13015 175936 568350 | 2147483647 56710 41 | 22.938 % |
912.64/912.66 c | 1459652 | 13015 175936 568350 | 2147483647 56923 41 | 22.938 % |
912.74/912.72 c | 1459885 | 13015 175936 568350 | 2147483647 57156 41 | 22.938 % |
912.74/912.80 c | 1460142 | 13015 175936 568350 | 2147483647 57413 41 | 22.938 % |
912.84/912.87 c | 1460423 | 13015 175936 568350 | 2147483647 57694 41 | 22.938 % |
912.94/912.94 c | 1460732 | 13015 175936 568350 | 2147483647 58003 41 | 22.938 % |
913.04/913.04 c | 1461071 | 13015 175936 568350 | 2147483647 58342 41 | 22.938 % |
913.14/913.13 c | 1461443 | 13015 175936 568350 | 2147483647 58714 41 | 22.938 % |
913.24/913.26 c | 1461852 | 13015 175936 568350 | 2147483647 59123 41 | 22.938 % |
913.34/913.40 c | 1462302 | 13015 175936 568350 | 2147483647 59573 40 | 22.938 % |
913.54/913.55 c | 1462796 | 13015 175936 568350 | 2147483647 60067 40 | 22.938 % |
913.64/913.69 c | 1463338 | 13015 175936 568350 | 2147483647 60609 40 | 22.938 % |
913.84/913.88 c | 1463935 | 13015 175936 568350 | 2147483647 61206 40 | 22.938 % |
914.04/914.07 c | 1464590 | 13015 175936 568350 | 2147483647 61861 40 | 22.938 % |
914.34/914.34 c | 1465313 | 13015 175936 568350 | 2147483647 62584 40 | 22.939 % |
914.54/914.61 c | 1466105 | 13015 175936 568350 | 2147483647 63376 40 | 22.938 % |
914.84/914.87 c | 1466977 | 13015 175936 568350 | 2147483647 64248 39 | 22.938 % |
915.74/915.79 c ===============================================================================
915.74/915.79 c restarts : 1404
915.74/915.79 c conflicts : 1467658 (1607 /sec)
915.74/915.79 c decisions : 9081325 (1.24 % random) (9945 /sec)
915.74/915.79 c propagations : 347945983 (381048 /sec)
915.74/915.79 c conflict literals : 60046611 (43.40 % deleted)
915.74/915.79 c Memory used : 75.67 MB
915.74/915.79 c CPU time : 913.13 s
915.74/915.79 c
915.74/915.79 s UNSATISFIABLE
915.74/915.79 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820638-1242460827/watcher-1820638-1242460827 -o /tmp/evaluation-result-1820638-1242460827/solver-1820638-1242460827 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820638-1242460827.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 2/93 9181
/proc/meminfo: memFree=677484/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2412 CPUtime=0
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1010583304 2469888 276 4294967295 134512640 135169312 3218614480 3218613016 3085913838 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9181/statm: 603 276 235 161 0 42 0
[pid=9185] ppid=9181 vsize=956 CPUtime=0
/proc/9185/stat : 9185 (SatELite_releas) R 9181 9181 10436 0 -1 4202496 120 0 0 0 0 0 0 0 25 0 1 0 1010583305 978944 56 4294967295 134512640 135223648 3218520240 3218519116 134576032 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9185/statm: 239 58 46 174 0 64 0
[startup+0.054964 s]
/proc/loadavg: 0.85 0.97 0.99 2/93 9181
/proc/meminfo: memFree=677484/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2412 CPUtime=0
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1010583304 2469888 276 4294967295 134512640 135169312 3218614480 3218613016 3085913838 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9181/statm: 603 276 235 161 0 42 0
[pid=9185] ppid=9181 vsize=6388 CPUtime=0.06
/proc/9185/stat : 9185 (SatELite_releas) R 9181 9181 10436 0 -1 4202496 1313 0 0 0 5 1 0 0 25 0 1 0 1010583305 6541312 1250 4294967295 134512640 135223648 3218520240 3218518976 134540952 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9185/statm: 1597 1250 46 174 0 1422 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 8800
[startup+0.11496 s]
/proc/loadavg: 0.85 0.97 0.99 2/93 9181
/proc/meminfo: memFree=677484/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2412 CPUtime=0
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1010583304 2469888 276 4294967295 134512640 135169312 3218614480 3218613016 3085913838 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9181/statm: 603 276 235 161 0 42 0
[pid=9185] ppid=9181 vsize=12368 CPUtime=0.12
/proc/9185/stat : 9185 (SatELite_releas) R 9181 9181 10436 0 -1 4202496 2605 0 0 0 9 3 0 0 25 0 1 0 1010583305 12664832 2541 4294967295 134512640 135223648 3218520240 3218519192 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9185/statm: 3092 2542 46 174 0 2917 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14780
[startup+0.304943 s]
/proc/loadavg: 0.85 0.97 0.99 2/93 9181
/proc/meminfo: memFree=677484/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2412 CPUtime=0
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1010583304 2469888 276 4294967295 134512640 135169312 3218614480 3218613016 3085913838 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9181/statm: 603 276 235 161 0 42 0
[pid=9185] ppid=9181 vsize=23724 CPUtime=0.31
/proc/9185/stat : 9185 (SatELite_releas) R 9181 9181 10436 0 -1 4202496 5945 0 0 0 28 3 0 0 25 0 1 0 1010583305 24293376 5369 4294967295 134512640 135223648 3218520240 3218518336 134596092 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9185/statm: 5931 5369 73 174 0 5756 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 26136
[startup+0.71491 s]
/proc/loadavg: 0.85 0.97 0.99 2/93 9181
/proc/meminfo: memFree=677484/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2412 CPUtime=0
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1010583304 2469888 276 4294967295 134512640 135169312 3218614480 3218613016 3085913838 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9181/statm: 603 276 235 161 0 42 0
[pid=9185] ppid=9181 vsize=25596 CPUtime=0.72
/proc/9185/stat : 9185 (SatELite_releas) R 9181 9181 10436 0 -1 4202496 6412 0 0 0 69 3 0 0 25 0 1 0 1010583305 26210304 5836 4294967295 134512640 135223648 3218520240 3218518256 134586640 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9185/statm: 6399 5836 73 174 0 6224 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 28008
[startup+1.51484 s]
/proc/loadavg: 0.85 0.97 0.99 2/95 9186
/proc/meminfo: memFree=653924/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2412 CPUtime=0
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 367 644 0 0 0 0 0 0 25 0 1 0 1010583304 2469888 276 4294967295 134512640 135169312 3218614480 3218613016 3085913838 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/9181/statm: 603 276 235 161 0 42 0
[pid=9185] ppid=9181 vsize=28984 CPUtime=1.52
/proc/9185/stat : 9185 (SatELite_releas) R 9181 9181 10436 0 -1 4202496 6999 0 0 0 148 4 0 0 25 0 1 0 1010583305 29679616 6423 4294967295 134512640 135223648 3218520240 3218518336 134585510 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9185/statm: 7246 6423 73 174 0 7071 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 31396
[startup+3.11471 s]
/proc/loadavg: 0.85 0.97 0.99 2/95 9186
/proc/meminfo: memFree=653180/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
Current children cumulated CPU time (s) 2.37
Current children cumulated vsize (KiB) 2416
heavy processes:
[startup+6.31445 s]
/proc/loadavg: 0.86 0.97 0.99 2/95 9187
/proc/meminfo: memFree=657180/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=16432 CPUtime=3.94
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 3969 0 0 0 390 4 0 0 25 0 1 0 1010583541 16826368 3904 4294967295 134512640 135215339 3218145456 3218143744 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 4108 3904 73 172 0 3935 0
Current children cumulated CPU time (s) 6.31
Current children cumulated vsize (KiB) 18848
[startup+12.7139 s]
/proc/loadavg: 0.87 0.97 0.99 2/95 9188
/proc/meminfo: memFree=652316/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=21116 CPUtime=10.34
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 5124 0 0 0 1030 4 0 0 25 0 1 0 1010583541 21622784 5059 4294967295 134512640 135215339 3218145456 3218143744 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 5279 5059 73 172 0 5106 0
Current children cumulated CPU time (s) 12.71
Current children cumulated vsize (KiB) 23532
[startup+25.5129 s]
/proc/loadavg: 0.90 0.97 0.99 2/95 9188
/proc/meminfo: memFree=645220/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=28172 CPUtime=23.14
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 6867 0 0 0 2309 5 0 0 25 0 1 0 1010583541 28848128 6802 4294967295 134512640 135215339 3218145456 3218143744 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 7043 6802 73 172 0 6870 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 30588
[startup+51.1108 s]
/proc/loadavg: 0.93 0.97 0.99 2/95 9191
/proc/meminfo: memFree=631216/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=42596 CPUtime=48.74
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 10406 0 0 0 4867 7 0 0 25 0 1 0 1010583541 43618304 10341 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 10649 10341 73 172 0 10476 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 45012
[startup+102.317 s]
/proc/loadavg: 0.97 0.97 0.99 3/95 9377
/proc/meminfo: memFree=611020/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=62472 CPUtime=99.95
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 15303 0 0 0 9983 12 0 0 25 0 1 0 1010583541 63971328 15238 4294967295 134512640 135215339 3218145456 3218143744 134528624 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 15618 15238 73 172 0 15445 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 64888
[startup+162.322 s]
/proc/loadavg: 1.08 1.00 1.00 3/95 9566
/proc/meminfo: memFree=599480/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=73888 CPUtime=159.96
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18153 0 0 0 15982 14 0 0 25 0 1 0 1010583541 75661312 18088 4294967295 134512640 135215339 3218145456 3218143744 134528814 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 18472 18088 73 172 0 18299 0
Current children cumulated CPU time (s) 162.33
Current children cumulated vsize (KiB) 76304
[startup+222.317 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 9754
/proc/meminfo: memFree=598976/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=74608 CPUtime=219.96
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18334 0 0 0 21982 14 0 0 25 0 1 0 1010583541 76398592 18269 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 18652 18269 73 172 0 18479 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 77024
[startup+282.312 s]
/proc/loadavg: 1.02 1.01 1.00 3/95 9941
/proc/meminfo: memFree=598372/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=75256 CPUtime=279.96
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18450 0 0 0 27982 14 0 0 25 0 1 0 1010583541 77062144 18385 4294967295 134512640 135215339 3218145456 3218143744 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/9187/statm: 18814 18385 73 172 0 18641 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 77672
[startup+342.317 s]
/proc/loadavg: 1.15 1.06 1.02 2/95 10136
/proc/meminfo: memFree=598472/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=75256 CPUtime=339.93
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18483 0 0 0 33976 17 0 0 25 0 1 0 1010583541 77062144 18418 4294967295 134512640 135215339 3218145456 3218143744 134528809 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 18814 18418 73 172 0 18641 0
Current children cumulated CPU time (s) 342.3
Current children cumulated vsize (KiB) 77672
################
# More data... #
################
[startup+522.312 s]
/proc/loadavg: 1.07 1.04 1.00 3/95 10702
/proc/meminfo: memFree=597612/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=76592 CPUtime=519.94
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18781 0 0 0 51975 19 0 0 25 0 1 0 1010583541 78430208 18716 4294967295 134512640 135215339 3218145456 3218143744 134528691 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19148 18716 73 172 0 18975 0
Current children cumulated CPU time (s) 522.31
Current children cumulated vsize (KiB) 79008
[startup+582.317 s]
/proc/loadavg: 1.02 1.03 1.00 4/95 10889
/proc/meminfo: memFree=597504/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=76592 CPUtime=579.95
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18782 0 0 0 57976 19 0 0 25 0 1 0 1010583541 78430208 18717 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19148 18717 73 172 0 18975 0
Current children cumulated CPU time (s) 582.32
Current children cumulated vsize (KiB) 79008
[startup+642.312 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 11078
/proc/meminfo: memFree=597124/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=76952 CPUtime=639.95
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18841 0 0 0 63972 23 0 0 25 0 1 0 1010583541 78798848 18776 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19238 18776 73 172 0 19065 0
Current children cumulated CPU time (s) 642.32
Current children cumulated vsize (KiB) 79368
[startup+702.317 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 11268
/proc/meminfo: memFree=597008/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77032 CPUtime=699.95
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18858 0 0 0 69969 26 0 0 25 0 1 0 1010583541 78880768 18793 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19258 18793 73 172 0 19085 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 79448
[startup+762.322 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 11457
/proc/meminfo: memFree=596628/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77032 CPUtime=759.96
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18863 0 0 0 75966 30 0 0 25 0 1 0 1010583541 78880768 18798 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19258 18798 73 172 0 19085 0
Current children cumulated CPU time (s) 762.33
Current children cumulated vsize (KiB) 79448
[startup+822.317 s]
/proc/loadavg: 1.05 1.02 1.00 2/95 11645
/proc/meminfo: memFree=596620/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77192 CPUtime=819.96
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18895 0 0 0 81965 31 0 0 25 0 1 0 1010583541 79044608 18830 4294967295 134512640 135215339 3218145456 3218143744 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19298 18830 73 172 0 19125 0
Current children cumulated CPU time (s) 822.33
Current children cumulated vsize (KiB) 79608
[startup+882.312 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 11832
/proc/meminfo: memFree=596264/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=879.96
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18967 0 0 0 87965 31 0 0 25 0 1 0 1010583541 79343616 18902 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18902 73 172 0 19198 0
Current children cumulated CPU time (s) 882.33
Current children cumulated vsize (KiB) 79900
Solver just ended. Dumping a history of the last processes samples
[startup+895.921 s]
/proc/loadavg: 1.01 1.02 1.00 2/95 12017
/proc/meminfo: memFree=595984/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=893.57
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 89326 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 895.94
Current children cumulated vsize (KiB) 79900
[startup+908.72 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12017
/proc/meminfo: memFree=596160/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=906.37
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 90606 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143664 134526145 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 908.74
Current children cumulated vsize (KiB) 79900
[startup+911.92 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12018
/proc/meminfo: memFree=596192/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=909.57
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 90926 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143744 134528728 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 911.94
Current children cumulated vsize (KiB) 79900
[startup+913.52 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12018
/proc/meminfo: memFree=596192/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=911.17
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 91086 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143744 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 913.54
Current children cumulated vsize (KiB) 79900
[startup+915.12 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12018
/proc/meminfo: memFree=596192/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=912.77
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 91246 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143664 134526357 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 915.14
Current children cumulated vsize (KiB) 79900
[startup+915.52 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12018
/proc/meminfo: memFree=596192/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=913.17
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 91286 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143664 134526376 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 915.54
Current children cumulated vsize (KiB) 79900
[startup+915.719 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 12018
/proc/meminfo: memFree=596192/2074464 swapFree=1948616/1959888
[pid=9181] ppid=9179 vsize=2416 CPUtime=2.37
/proc/9181/stat : 9181 (SatELiteGTI) S 9179 9181 10436 0 -1 4194304 386 9674 0 0 0 0 231 6 18 0 1 0 1010583304 2473984 277 4294967295 134512640 135169312 3218614480 3218610696 3085913838 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/9181/statm: 604 277 235 161 0 43 0
[pid=9187] ppid=9181 vsize=77484 CPUtime=913.37
/proc/9187/stat : 9187 (minisat_static) R 9181 9181 10436 0 -1 4202496 18968 0 0 0 91306 31 0 0 25 0 1 0 1010583541 79343616 18903 4294967295 134512640 135215339 3218145456 3218143664 134526145 0 0 0 3 0 0 0 17 2 0 0 0
/proc/9187/statm: 19371 18903 73 172 0 19198 0
Current children cumulated CPU time (s) 915.74
Current children cumulated vsize (KiB) 79900
Child status: 20
Real time (s): 915.803
CPU time (s): 915.82
CPU user time (s): 915.44
CPU system time (s): 0.38
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 79900
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 915.44
system time used= 0.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 29307
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= 27
involuntary context switches= 3186
runsolver used 0.01 second user time and 0.03 second system time
The end
Begin job on tipi16 at 2009-05-16 10:00:27
IDJOB=1820638
IDBENCH=20573
IDSOLVER=657
FILE ID=tipi16/1820638-1242460827
PBS_JOBID=
Free space on /tmp= 5846 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= runsolver --timestamp -w /tmp/evaluation-result-1820638-1242460827/watcher-1820638-1242460827 -o /tmp/evaluation-result-1820638-1242460827/solver-1820638-1242460827 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820638-1242460827.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 9158de01004aff62af67cbb9db5bcbbb
RANDOM SEED= 35446780
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 677360 kB
Buffers: 43824 kB
Cached: 1255604 kB
SwapCached: 6028 kB
Active: 729684 kB
Inactive: 579908 kB
HighTotal: 1178688 kB
HighFree: 186452 kB
LowTotal: 895776 kB
LowFree: 490908 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 6612 kB
Writeback: 0 kB
AnonPages: 9296 kB
Mapped: 3300 kB
Slab: 79112 kB
PageTables: 412 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5846 MiB
End job on tipi16 at 2009-05-16 10:15:44