0.00/0.00 c Parsing...
0.00/0.13 c ==============================================================================
0.00/0.13 c | | ORIGINAL | LEARNT | |
0.00/0.13 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.13 c ==============================================================================
0.00/0.13 c | 0 | 216962 647286 | 65088 0 0 nan | 0.000 % |
3.08/3.11 c | 0 | 215680 949307 | -- 0 -- -- | -- | -1282/302021
3.08/3.11 c ==============================================================================
3.08/3.11 c Result : #vars: 1435 #clauses: 215680 #literals: 949307
3.08/3.11 c CPU time: 3.07453 s
3.08/3.11 c ==============================================================================
3.29/3.39 c This is MiniSat 2.0 beta
3.29/3.39 c WARNING: for repeatability, setting FPU to use double precision
3.29/3.39 c ============================[ Problem Statistics ]=============================
3.29/3.39 c | |
3.29/3.39 c | Number of variables: 1435 |
3.29/3.39 c | Number of clauses: 215680 |
3.38/3.51 c | Parsing time: 0.10 s |
3.38/3.51 c ============================[ Search Statistics ]==============================
3.38/3.51 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.38/3.51 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.38/3.51 c ===============================================================================
3.38/3.51 c | 0 | 1435 215680 949307 | 71893 0 nan | 0.000 % |
3.38/3.66 c | 101 | 1435 215680 949307 | 71893 101 62 | 0.000 % |
3.38/3.78 c | 202 | 1435 215680 949307 | 71893 202 59 | 0.000 % |
3.38/3.89 c | 302 | 1435 215680 949307 | 71893 302 60 | 0.000 % |
3.38/4.00 c | 413 | 1435 215680 949307 | 71893 413 62 | 0.000 % |
3.38/4.12 c | 515 | 1435 215680 949307 | 71893 515 60 | 0.000 % |
3.38/4.23 c | 625 | 1435 215680 949307 | 71893 625 61 | 0.000 % |
4.28/4.36 c | 748 | 1435 215680 949307 | 71893 748 59 | 0.000 % |
4.38/4.41 c | 848 | 1435 215680 949307 | 71893 848 62 | 0.000 % |
4.48/4.51 c | 959 | 1435 215680 949307 | 71893 959 63 | 0.000 % |
4.48/4.60 c | 1081 | 1435 215680 949307 | 71893 1081 62 | 0.000 % |
4.57/4.66 c | 1214 | 1435 215680 949307 | 71893 1214 62 | 0.000 % |
4.68/4.72 c | 1314 | 1435 215680 949307 | 71893 1314 61 | 0.000 % |
4.77/4.80 c | 1425 | 1435 215680 949307 | 71893 1425 61 | 0.000 % |
4.77/4.89 c | 1548 | 1435 215680 949307 | 71893 1548 61 | 0.000 % |
4.87/4.99 c | 1682 | 1435 215680 949307 | 71893 1682 63 | 0.000 % |
4.97/5.06 c | 1828 | 1435 215680 949307 | 71893 1828 64 | 0.000 % |
5.07/5.15 c | 1930 | 1435 215680 949307 | 71893 1930 65 | 0.000 % |
5.17/5.25 c | 2040 | 1435 215680 949307 | 71893 2040 64 | 0.000 % |
5.27/5.37 c | 2161 | 1435 215680 949307 | 71893 2161 65 | 0.000 % |
5.37/5.47 c | 2296 | 1435 215680 949307 | 71893 2296 65 | 0.000 % |
5.57/5.64 c | 2443 | 1435 215680 949307 | 71893 2443 65 | 0.000 % |
5.77/5.83 c | 2603 | 1435 215680 949307 | 71893 2603 64 | 0.000 % |
5.87/5.95 c | 2703 | 1435 215680 949307 | 71893 2703 63 | 0.000 % |
5.97/6.06 c | 2814 | 1435 215680 949307 | 71893 2814 62 | 0.000 % |
6.17/6.21 c | 2935 | 1435 215680 949307 | 71893 2935 61 | 0.000 % |
6.27/6.39 c | 3070 | 1435 215680 949307 | 71893 3070 60 | 0.000 % |
6.47/6.53 c | 3216 | 1435 215680 949307 | 71893 3216 61 | 0.000 % |
6.58/6.65 c | 3378 | 1435 215680 949307 | 71893 3378 61 | 0.000 % |
6.78/6.84 c | 3556 | 1435 215680 949307 | 71893 3556 61 | 0.000 % |
6.88/6.93 c | 3656 | 1435 215680 949307 | 71893 3656 61 | 0.000 % |
6.98/7.01 c | 3766 | 1435 215680 949307 | 71893 3766 61 | 0.000 % |
7.08/7.12 c | 3887 | 1435 215680 949307 | 71893 3887 61 | 0.000 % |
7.18/7.22 c | 4020 | 1435 215680 949307 | 71893 4020 62 | 0.000 % |
7.38/7.40 c | 4167 | 1435 215680 949307 | 71893 4167 62 | 0.000 % |
7.48/7.56 c | 4328 | 1435 215680 949307 | 71893 4328 61 | 0.000 % |
7.58/7.66 c | 4506 | 1435 215680 949307 | 71893 4506 61 | 0.000 % |
7.77/7.84 c | 4700 | 1435 215680 949307 | 71893 4700 62 | 0.000 % |
7.87/7.96 c | 4803 | 1435 215680 949307 | 71893 4803 62 | 0.000 % |
7.97/8.06 c | 4913 | 1435 215680 949307 | 71893 4913 62 | 0.000 % |
8.07/8.17 c | 5035 | 1435 215680 949307 | 71893 5035 63 | 0.000 % |
8.27/8.33 c | 5168 | 1435 215680 949307 | 71893 5168 63 | 0.000 % |
8.37/8.47 c | 5314 | 1435 215680 949307 | 71893 5314 63 | 0.000 % |
8.47/8.58 c | 5474 | 1435 215680 949307 | 71893 5474 63 | 0.000 % |
8.68/8.77 c | 5653 | 1435 215680 949307 | 71893 5653 63 | 0.000 % |
8.87/8.98 c | 5846 | 1435 215680 949307 | 71893 5846 62 | 0.000 % |
9.17/9.25 c | 6059 | 1435 215680 949307 | 71893 6059 61 | 0.000 % |
9.27/9.35 c | 6159 | 1435 215680 949307 | 71893 6159 62 | 0.000 % |
9.37/9.48 c | 6272 | 1435 215680 949307 | 71893 6272 61 | 0.000 % |
9.57/9.61 c | 6394 | 1435 215680 949307 | 71893 6394 61 | 0.000 % |
9.67/9.73 c | 6527 | 1435 215680 949307 | 71893 6527 61 | 0.000 % |
9.78/9.86 c | 6673 | 1435 215680 949307 | 71893 6673 62 | 0.000 % |
9.87/9.97 c | 6834 | 1435 215680 949307 | 71893 6834 62 | 0.000 % |
10.07/10.12 c | 7012 | 1435 215680 949307 | 71893 7012 62 | 0.000 % |
10.17/10.22 c | 7205 | 1435 215680 949307 | 71893 7205 61 | 0.000 % |
10.37/10.45 c | 7417 | 1435 215680 949307 | 71893 7417 61 | 0.000 % |
10.57/10.68 c | 7650 | 1435 215680 949307 | 71893 7650 61 | 0.000 % |
10.67/10.78 c | 7751 | 1435 215680 949307 | 71893 7751 60 | 0.000 % |
10.78/10.89 c | 7861 | 1435 215680 949307 | 71893 7861 60 | 0.000 % |
10.88/10.98 c | 7985 | 1435 215680 949307 | 71893 7985 60 | 0.000 % |
11.08/11.10 c | 8118 | 1435 215680 949307 | 71893 8118 59 | 0.000 % |
11.28/11.30 c | 8265 | 1435 215680 949307 | 71893 8265 59 | 0.000 % |
11.38/11.44 c | 8425 | 1435 215680 949307 | 71893 8425 58 | 0.000 % |
11.48/11.60 c | 8601 | 1435 215680 949307 | 71893 8601 58 | 0.000 % |
11.68/11.79 c | 8794 | 1435 215680 949307 | 71893 8794 57 | 0.000 % |
11.87/11.97 c | 9006 | 1435 215680 949307 | 71893 9006 57 | 0.000 % |
12.17/12.29 c | 9240 | 1435 215680 949307 | 71893 9240 57 | 0.000 % |
12.57/12.66 c | 9497 | 1435 215680 949307 | 71893 9497 57 | 0.000 % |
12.67/12.80 c | 9599 | 1435 215680 949307 | 71893 9599 57 | 0.000 % |
12.77/12.89 c | 9709 | 1435 215680 949307 | 71893 9709 57 | 0.000 % |
12.97/13.01 c | 9830 | 1435 215680 949307 | 71893 9830 57 | 0.000 % |
13.08/13.19 c | 9963 | 1435 215680 949307 | 71893 9963 56 | 0.000 % |
13.27/13.39 c | 10111 | 1435 215680 949307 | 2147483647 10111 56 | 0.000 % |
13.57/13.62 c | 10271 | 1435 215680 949307 | 2147483647 10271 56 | 0.001 % |
13.77/13.84 c | 10448 | 1435 215680 949307 | 2147483647 10448 55 | 0.000 % |
13.97/14.08 c | 10642 | 1435 215680 949307 | 2147483647 10642 55 | 0.000 % |
14.28/14.34 c | 10854 | 1435 215680 949307 | 2147483647 10854 54 | 0.000 % |
14.58/14.63 c | 11088 | 1435 215680 949307 | 2147483647 11088 54 | 0.000 % |
14.77/14.87 c | 11344 | 1435 215680 949307 | 2147483647 11344 55 | 0.000 % |
14.97/15.09 c | 11625 | 1435 215680 949307 | 2147483647 11625 55 | 0.000 % |
15.17/15.20 c | 11727 | 1435 215680 949307 | 2147483647 11727 55 | 0.000 % |
15.17/15.29 c | 11837 | 1435 215680 949307 | 2147483647 11837 55 | 0.000 % |
15.28/15.40 c | 11958 | 1435 215680 949307 | 2147483647 11958 55 | 0.000 % |
15.38/15.48 c | 12092 | 1435 215680 949307 | 2147483647 12092 55 | 0.000 % |
15.57/15.60 c | 12242 | 1435 215680 949307 | 2147483647 12242 55 | 0.000 % |
15.67/15.79 c | 12402 | 1435 215680 949307 | 2147483647 12402 55 | 0.000 % |
15.87/15.96 c | 12578 | 1435 215680 949307 | 2147483647 12578 55 | 0.000 % |
16.07/16.10 c | 12771 | 1435 215680 949307 | 2147483647 12771 55 | 0.000 % |
16.27/16.30 c | 12983 | 1435 215680 949307 | 2147483647 12983 56 | 0.000 % |
16.47/16.52 c | 13218 | 1435 215680 949307 | 2147483647 13218 56 | 0.000 % |
16.77/16.83 c | 13480 | 1435 215680 949307 | 2147483647 13480 56 | 0.000 % |
17.07/17.17 c | 13761 | 1435 215680 949307 | 2147483647 13761 55 | 0.000 % |
17.57/17.61 c | 14071 | 1435 215680 949307 | 2147483647 14071 55 | 0.000 % |
17.67/17.73 c | 14171 | 1435 215680 949307 | 2147483647 14171 55 | 0.000 % |
17.87/17.90 c | 14281 | 1435 215680 949307 | 2147483647 14281 55 | 0.000 % |
17.97/18.04 c | 14404 | 1435 215680 949307 | 2147483647 14404 55 | 0.000 % |
18.07/18.19 c | 14542 | 1435 215680 949307 | 2147483647 14542 55 | 0.000 % |
18.27/18.34 c | 14688 | 1435 215680 949307 | 2147483647 14688 55 | 0.000 % |
18.47/18.53 c | 14850 | 1435 215680 949307 | 2147483647 14850 55 | 0.000 % |
18.57/18.69 c | 15028 | 1435 215680 949307 | 2147483647 15028 55 | 0.000 % |
18.86/18.90 c | 15222 | 1435 215680 949307 | 2147483647 15222 56 | 0.002 % |
18.96/19.04 c | 15434 | 1435 215680 949307 | 2147483647 15434 56 | 0.000 % |
19.07/19.20 c | 15667 | 1435 215680 949307 | 2147483647 15667 56 | 0.000 % |
19.27/19.32 c | 15924 | 1435 215680 949307 | 2147483647 15924 56 | 0.000 % |
19.57/19.62 c | 16209 | 1435 215680 949307 | 2147483647 16209 56 | 0.000 % |
19.87/19.93 c | 16520 | 1435 215680 949307 | 2147483647 16520 56 | 0.000 % |
20.17/20.21 c | 16859 | 1435 215680 949307 | 2147483647 16859 57 | 0.000 % |
20.27/20.30 c | 16959 | 1435 215680 949307 | 2147483647 16959 57 | 0.000 % |
20.37/20.43 c | 17072 | 1435 215680 949307 | 2147483647 17072 57 | 0.000 % |
20.47/20.58 c | 17194 | 1435 215680 949307 | 2147483647 17194 57 | 0.000 % |
20.67/20.74 c | 17327 | 1435 215680 949307 | 2147483647 17327 57 | 0.000 % |
20.87/20.92 c | 17474 | 1435 215680 949307 | 2147483647 17474 57 | 0.000 % |
20.97/21.06 c | 17635 | 1435 215680 949307 | 2147483647 17635 57 | 0.000 % |
21.17/21.26 c | 17812 | 1435 215680 949307 | 2147483647 17812 57 | 0.000 % |
21.37/21.47 c | 18006 | 1435 215680 949307 | 2147483647 18006 57 | 0.000 % |
21.57/21.69 c | 18219 | 1435 215680 949307 | 2147483647 18219 57 | 0.000 % |
21.87/21.98 c | 18456 | 1435 215680 949307 | 2147483647 18456 57 | 0.000 % |
22.17/22.27 c | 18712 | 1435 215680 949307 | 2147483647 18712 57 | 0.000 % |
22.37/22.46 c | 18995 | 1435 215680 949307 | 2147483647 18995 57 | 0.000 % |
22.77/22.85 c | 19305 | 1435 215680 949307 | 2147483647 19305 57 | 0.000 % |
23.17/23.24 c | 19644 | 1435 215680 949307 | 2147483647 19644 56 | 0.000 % |
23.57/23.64 c | 20020 | 1435 215680 949307 | 2147483647 20020 56 | 0.000 % |
23.67/23.75 c | 20120 | 1435 215680 949307 | 2147483647 20120 56 | 0.000 % |
23.77/23.87 c | 20230 | 1435 215680 949307 | 2147483647 20230 56 | 0.000 % |
23.87/23.96 c | 20351 | 1435 215680 949307 | 2147483647 20351 56 | 0.000 % |
23.97/24.03 c | 20485 | 1435 215680 949307 | 2147483647 20485 56 | 0.000 % |
24.17/24.26 c | 20632 | 1435 215680 949307 | 2147483647 20632 56 | 0.000 % |
24.36/24.41 c | 20792 | 1435 215680 949307 | 2147483647 20792 56 | 0.000 % |
24.46/24.55 c | 20970 | 1435 215680 949307 | 2147483647 20970 57 | 0.000 % |
24.76/24.85 c | 21165 | 1435 215680 949307 | 2147483647 21165 57 | 0.000 % |
25.06/25.13 c | 21380 | 1435 215680 949307 | 2147483647 21380 57 | 0.000 % |
25.46/25.50 c | 21615 | 1435 215680 949307 | 2147483647 21615 56 | 0.000 % |
25.76/25.80 c | 21874 | 1435 215680 949307 | 2147483647 21874 56 | 0.000 % |
26.06/26.19 c | 22155 | 1435 215680 949307 | 2147483647 22155 56 | 0.000 % |
26.56/26.67 c | 22465 | 1435 215680 949307 | 2147483647 22465 56 | 0.000 % |
27.06/27.20 c | 22804 | 1435 215680 949307 | 2147483647 22804 55 | 0.000 % |
27.66/27.73 c | 23176 | 1435 215680 949307 | 2147483647 23176 55 | 0.000 % |
28.26/28.34 c | 23585 | 1435 215680 949307 | 2147483647 23585 55 | 0.000 % |
28.47/28.50 c | 23685 | 1435 215680 949307 | 2147483647 23685 55 | 0.000 % |
28.57/28.64 c | 23798 | 1435 215680 949307 | 2147483647 23798 55 | 0.000 % |
28.76/28.82 c | 23919 | 1435 215680 949307 | 2147483647 23919 55 | 0.000 % |
28.86/28.99 c | 24052 | 1435 215680 949307 | 2147483647 24052 55 | 0.000 % |
29.06/29.14 c | 24198 | 1435 215680 949307 | 2147483647 24198 55 | 0.000 % |
29.16/29.27 c | 24358 | 1435 215680 949307 | 2147483647 24358 55 | 0.000 % |
29.36/29.49 c | 24537 | 1435 215680 949307 | 2147483647 24537 55 | 0.000 % |
29.57/29.66 c | 24731 | 1435 215680 949307 | 2147483647 24731 55 | 0.000 % |
29.76/29.81 c | 24943 | 1435 215680 949307 | 2147483647 24943 55 | 0.000 % |
29.86/29.90 c | 25179 | 1435 215680 949307 | 2147483647 25179 55 | 0.000 % |
30.06/30.13 c | 25438 | 1435 215680 949307 | 2147483647 25438 56 | 0.000 % |
30.36/30.44 c | 25719 | 1435 215680 949307 | 2147483647 25719 56 | 0.000 % |
30.66/30.72 c | 26029 | 1435 215680 949307 | 2147483647 26029 56 | 0.000 % |
30.76/30.89 c | 26368 | 1435 215680 949307 | 2147483647 26368 56 | 0.000 % |
31.06/31.16 c | 26740 | 1435 215680 949307 | 2147483647 26740 56 | 0.000 % |
31.26/31.36 c | 27149 | 1435 215680 949307 | 2147483647 27149 56 | 0.000 % |
31.56/31.60 c | 27600 | 1435 215680 949307 | 2147483647 27600 56 | 0.000 % |
31.56/31.67 c | 27701 | 1435 215680 949307 | 2147483647 27701 56 | 0.000 % |
31.66/31.78 c | 27813 | 1435 215680 949307 | 2147483647 27813 56 | 0.000 % |
31.76/31.90 c | 27934 | 1435 215680 949307 | 2147483647 27934 56 | 0.000 % |
31.96/32.03 c | 28069 | 1435 215680 949307 | 2147483647 28069 56 | 0.000 % |
32.06/32.19 c | 28218 | 1435 215680 949307 | 2147483647 28218 56 | 0.000 % |
32.26/32.35 c | 28378 | 1435 215680 949307 | 2147483647 28378 56 | 0.000 % |
32.46/32.58 c | 28557 | 1435 215680 949307 | 2147483647 28557 56 | 0.000 % |
32.66/32.71 c | 28751 | 1435 215680 949307 | 2147483647 28751 56 | 0.000 % |
32.86/32.96 c | 28963 | 1435 215680 949307 | 2147483647 28963 56 | 0.000 % |
33.16/33.25 c | 29196 | 1435 215680 949307 | 2147483647 29196 56 | 0.000 % |
33.46/33.53 c | 29452 | 1435 215680 949307 | 2147483647 29452 56 | 0.000 % |
33.76/33.83 c | 29738 | 1435 215680 949307 | 2147483647 29738 56 | 0.000 % |
34.07/34.15 c | 30050 | 1435 215680 949307 | 2147483647 30050 56 | 0.000 % |
34.37/34.47 c | 30390 | 1435 215680 949307 | 2147483647 30390 57 | 0.000 % |
34.57/34.67 c | 30762 | 1435 215680 949307 | 2147483647 30762 57 | 0.000 % |
35.07/35.14 c | 31172 | 1435 215680 949307 | 2147483647 31172 57 | 0.000 % |
35.47/35.58 c | 31621 | 1435 215680 949307 | 2147483647 31621 56 | 0.000 % |
36.17/36.22 c | 32115 | 1435 215680 949307 | 2147483647 32115 56 | 0.000 % |
36.27/36.35 c | 32216 | 1435 215680 949307 | 2147483647 32216 56 | 0.000 % |
36.46/36.50 c | 32334 | 1435 215680 949307 | 2147483647 32334 56 | 0.000 % |
36.56/36.69 c | 32460 | 1435 215680 949307 | 2147483647 32460 56 | 0.000 % |
36.86/36.90 c | 32595 | 1435 215680 949307 | 2147483647 32595 56 | 0.000 % |
36.96/37.08 c | 32741 | 1435 215680 949307 | 2147483647 32741 56 | 0.000 % |
37.16/37.26 c | 32901 | 1435 215680 949307 | 2147483647 32901 56 | 0.000 % |
37.37/37.46 c | 33077 | 1435 215680 949307 | 2147483647 33077 56 | 0.000 % |
37.66/37.73 c | 33274 | 1435 215680 949307 | 2147483647 33274 56 | 0.000 % |
37.96/38.02 c | 33486 | 1435 215680 949307 | 2147483647 33486 56 | 0.000 % |
38.16/38.28 c | 33720 | 1435 215680 949307 | 2147483647 33720 56 | 0.000 % |
38.47/38.56 c | 33978 | 1435 215680 949307 | 2147483647 33978 56 | 0.000 % |
38.76/38.87 c | 34260 | 1435 215680 949307 | 2147483647 34260 56 | 0.000 % |
39.06/39.11 c | 34571 | 1435 215680 949307 | 2147483647 34571 56 | 0.000 % |
39.36/39.49 c | 34910 | 1435 215680 949307 | 2147483647 34910 56 | 0.000 % |
39.86/39.96 c | 35283 | 1435 215680 949307 | 2147483647 35283 57 | 0.000 % |
40.36/40.44 c | 35693 | 1435 215680 949307 | 2147483647 35693 57 | 0.000 % |
40.86/40.99 c | 36145 | 1435 215680 949307 | 2147483647 36145 57 | 0.000 % |
41.46/41.56 c | 36638 | 1435 215680 949307 | 2147483647 36638 57 | 0.000 % |
41.96/42.01 c | 37181 | 1435 215680 949307 | 2147483647 37181 57 | 0.000 % |
42.06/42.15 c | 37281 | 1435 215680 949307 | 2147483647 37281 57 | 0.000 % |
42.26/42.33 c | 37395 | 1435 215680 949307 | 2147483647 37395 56 | 0.000 % |
42.36/42.48 c | 37517 | 1435 215680 949307 | 2147483647 37517 56 | 0.000 % |
42.56/42.64 c | 37650 | 1435 215680 949307 | 2147483647 37650 57 | 0.000 % |
42.77/42.82 c | 37796 | 1435 215680 949307 | 2147483647 37796 57 | 0.000 % |
42.87/42.95 c | 37956 | 1435 215680 949307 | 2147483647 37956 57 | 0.000 % |
43.06/43.11 c | 38132 | 1435 215680 949307 | 2147483647 38132 57 | 0.000 % |
43.26/43.35 c | 38326 | 1435 215680 949307 | 2147483647 38326 57 | 0.000 % |
43.46/43.56 c | 38540 | 1435 215680 949307 | 2147483647 38540 57 | 0.000 % |
43.66/43.80 c | 38775 | 1435 215680 949307 | 2147483647 38775 57 | 0.000 % |
43.96/44.05 c | 39033 | 1435 215680 949307 | 2147483647 39033 57 | 0.000 % |
44.26/44.34 c | 39314 | 1435 215680 949307 | 2147483647 39314 57 | 0.000 % |
44.76/44.83 c | 39626 | 1435 215680 949307 | 2147483647 39626 57 | 0.000 % |
45.16/45.27 c | 39966 | 1435 215680 949307 | 2147483647 39966 57 | 0.000 % |
45.56/45.64 c | 40338 | 1435 215680 949307 | 2147483647 40338 58 | 0.000 % |
45.76/45.88 c | 40747 | 1435 215680 949307 | 2147483647 40747 58 | 0.000 % |
46.06/46.15 c | 41196 | 1435 215680 949307 | 2147483647 41196 58 | 0.000 % |
46.36/46.40 c | 41689 | 1435 215680 949307 | 2147483647 41689 58 | 0.000 % |
46.66/46.76 c | 42232 | 1435 215680 949307 | 2147483647 42232 58 | 0.000 % |
47.06/47.10 c | 42829 | 1435 215680 949307 | 2147483647 42829 59 | 0.000 % |
47.06/47.17 c | 42931 | 1435 215680 949307 | 2147483647 42931 59 | 0.000 % |
47.16/47.25 c | 43043 | 1435 215680 949307 | 2147483647 43043 59 | 0.000 % |
47.36/47.40 c | 43164 | 1435 215680 949307 | 2147483647 43164 59 | 0.000 % |
47.46/47.51 c | 43297 | 1435 215680 949307 | 2147483647 43297 59 | 0.000 % |
47.56/47.61 c | 43444 | 1435 215680 949307 | 2147483647 43444 59 | 0.000 % |
47.56/47.68 c | 43607 | 1435 215680 949307 | 2147483647 43607 59 | 0.000 % |
47.66/47.78 c | 43784 | 1435 215680 949307 | 2147483647 43784 59 | 0.000 % |
47.86/47.91 c | 43977 | 1435 215680 949307 | 2147483647 43977 59 | 0.000 % |
47.95/48.03 c | 44190 | 1435 215680 949307 | 2147483647 44190 59 | 0.000 % |
48.05/48.18 c | 44424 | 1435 215680 949307 | 2147483647 44424 59 | 0.000 % |
48.26/48.33 c | 44681 | 1435 215680 949307 | 2147483647 44681 59 | 0.000 % |
48.45/48.52 c | 44962 | 1435 215680 949307 | 2147483647 44962 59 | 0.000 % |
48.65/48.70 c | 45272 | 1435 215680 949307 | 2147483647 45272 59 | 0.001 % |
48.75/48.88 c | 45613 | 1435 215680 949307 | 2147483647 45613 59 | 0.000 % |
48.95/49.05 c | 45988 | 1435 215680 949307 | 2147483647 45988 59 | 0.000 % |
49.25/49.33 c | 46398 | 1435 215680 949307 | 2147483647 46398 59 | 0.000 % |
49.55/49.61 c | 46847 | 1435 215680 949307 | 2147483647 46847 59 | 0.000 % |
49.85/49.94 c | 47340 | 1435 215680 949307 | 2147483647 47340 59 | 0.000 % |
50.16/50.21 c | 47882 | 1435 215680 949307 | 2147483647 47882 60 | 0.000 % |
50.46/50.57 c | 48478 | 1435 215680 949307 | 2147483647 48478 60 | 0.000 % |
50.76/50.88 c | 49133 | 1435 215680 949307 | 2147483647 49133 60 | 0.000 % |
50.86/50.92 c | 49233 | 1435 215680 949307 | 2147483647 49233 60 | 0.000 % |
50.86/50.98 c | 49345 | 1435 215680 949307 | 2147483647 49345 60 | 0.000 % |
50.96/51.07 c | 49466 | 1435 215680 949307 | 2147483647 49466 60 | 0.000 % |
51.06/51.14 c | 49600 | 1435 215680 949307 | 2147483647 49600 60 | 0.000 % |
51.16/51.20 c | 49747 | 1435 215680 949307 | 2147483647 49747 60 | 0.000 % |
51.26/51.31 c | 49908 | 1435 215680 949307 | 2147483647 49908 60 | 0.000 % |
51.36/51.42 c | 50085 | 1435 215680 949307 | 2147483647 50085 60 | 0.000 % |
51.66/51.76 c | 50280 | 1435 215680 949307 | 2147483647 50280 60 | 0.000 % |
51.96/52.07 c | 50495 | 1435 215680 949307 | 2147483647 50495 60 | 0.000 % |
52.26/52.39 c | 50729 | 1435 215680 949307 | 2147483647 50729 60 | 0.000 % |
52.66/52.72 c | 50985 | 1435 215680 949307 | 2147483647 50985 60 | 0.000 % |
53.05/53.15 c | 51267 | 1435 215680 949307 | 2147483647 51267 60 | 0.000 % |
53.55/53.68 c | 51577 | 1435 215680 949307 | 2147483647 51577 60 | 0.000 % |
54.25/54.32 c | 51916 | 1435 215680 949307 | 2147483647 51916 60 | 0.000 % |
54.75/54.85 c | 52288 | 1435 215680 949307 | 2147483647 52288 60 | 0.000 % |
55.45/55.51 c | 52697 | 1435 215680 949307 | 2147483647 52697 60 | 0.000 % |
55.96/56.02 c | 53147 | 1435 215680 949307 | 2147483647 53147 60 | 0.000 % |
56.65/56.75 c | 53643 | 1435 215680 949307 | 2147483647 53643 60 | 0.000 % |
57.65/57.74 c | 54186 | 1435 215680 949307 | 2147483647 54186 60 | 0.000 % |
58.65/58.76 c | 54782 | 1435 215680 949307 | 2147483647 54782 60 | 0.000 % |
59.55/59.63 c | 55437 | 1435 215680 949307 | 2147483647 55437 60 | 0.000 % |
60.65/60.75 c | 56157 | 1435 215680 949307 | 2147483647 56157 60 | 0.000 % |
60.85/60.93 c | 56258 | 1435 215680 949307 | 2147483647 56258 60 | 0.000 % |
61.06/61.11 c | 56372 | 1435 215680 949307 | 2147483647 56372 60 | 0.000 % |
61.16/61.30 c | 56493 | 1435 215680 949307 | 2147483647 56493 60 | 0.000 % |
61.46/61.54 c | 56626 | 1435 215680 949307 | 2147483647 56626 60 | 0.000 % |
61.66/61.75 c | 56772 | 1435 215680 949307 | 2147483647 56772 60 | 0.000 % |
61.96/62.00 c | 56939 | 1435 215680 949307 | 2147483647 56939 60 | 0.000 % |
62.26/62.33 c | 57118 | 1435 215680 949307 | 2147483647 57118 60 | 0.000 % |
62.56/62.69 c | 57312 | 1435 215680 949307 | 2147483647 57312 59 | 0.000 % |
62.95/63.05 c | 57526 | 1435 215680 949307 | 2147483647 57526 59 | 0.000 % |
63.25/63.35 c | 57761 | 1435 215680 949307 | 2147483647 57761 60 | 0.000 % |
63.66/63.72 c | 58020 | 1435 215680 949307 | 2147483647 58020 60 | 0.000 % |
64.25/64.31 c | 58301 | 1435 215680 949307 | 2147483647 58301 60 | 0.000 % |
64.76/64.83 c | 58611 | 1435 215680 949307 | 2147483647 58611 60 | 0.000 % |
65.35/65.45 c | 58951 | 1435 215680 949307 | 2147483647 58951 60 | 0.000 % |
65.75/65.90 c | 59325 | 1435 215680 949307 | 2147483647 59325 60 | 0.000 % |
66.55/66.60 c | 59734 | 1435 215680 949307 | 2147483647 59734 60 | 0.000 % |
66.95/67.01 c | 60184 | 1435 215680 949307 | 2147483647 60184 60 | 0.000 % |
67.55/67.63 c | 60677 | 1435 215680 949307 | 2147483647 60677 60 | 0.000 % |
68.35/68.48 c | 61219 | 1435 215680 949307 | 2147483647 61219 60 | 0.000 % |
69.45/69.56 c | 61818 | 1435 215680 949307 | 2147483647 61818 59 | 0.000 % |
70.55/70.60 c | 62478 | 1435 215680 949307 | 2147483647 62478 59 | 0.000 % |
71.65/71.79 c | 63199 | 1435 215680 949307 | 2147483647 63199 59 | 0.000 % |
73.25/73.36 c | 63991 | 1435 215680 949307 | 2147483647 63991 59 | 0.000 % |
73.45/73.51 c | 64092 | 1435 215680 949307 | 2147483647 64092 59 | 0.000 % |
73.55/73.67 c | 64202 | 1435 215680 949307 | 2147483647 64202 59 | 0.000 % |
73.85/73.92 c | 64326 | 1435 215680 949307 | 2147483647 64326 59 | 0.000 % |
74.05/74.12 c | 64460 | 1435 215680 949307 | 2147483647 64460 59 | 0.000 % |
74.35/74.41 c | 64609 | 1435 215680 949307 | 2147483647 64609 59 | 0.000 % |
74.55/74.67 c | 64773 | 1435 215680 949307 | 2147483647 64773 59 | 0.000 % |
74.85/74.93 c | 64949 | 1435 215680 949307 | 2147483647 64949 59 | 0.000 % |
75.05/75.18 c | 65142 | 1435 215680 949307 | 2147483647 65142 59 | 0.000 % |
75.35/75.49 c | 65355 | 1435 215680 949307 | 2147483647 65355 59 | 0.000 % |
75.75/75.81 c | 65588 | 1435 215680 949307 | 2147483647 65588 59 | 0.000 % |
76.04/76.14 c | 65844 | 1435 215680 949307 | 2147483647 65844 59 | 0.000 % |
76.34/76.45 c | 66125 | 1435 215680 949307 | 2147483647 66125 59 | 0.000 % |
76.85/76.99 c | 66434 | 1435 215680 949307 | 2147483647 66434 59 | 0.000 % |
77.54/77.66 c | 66773 | 1435 215680 949307 | 2147483647 66773 59 | 0.000 % |
78.14/78.27 c | 67148 | 1435 215680 949307 | 2147483647 67148 59 | 0.000 % |
78.94/79.09 c | 67557 | 1435 215680 949307 | 2147483647 67557 59 | 0.000 % |
79.84/79.96 c | 68006 | 1435 215680 949307 | 2147483647 68006 59 | 0.000 % |
81.04/81.10 c | 68499 | 1435 215680 949307 | 2147483647 68499 59 | 0.000 % |
81.94/82.02 c | 69041 | 1435 215680 949307 | 2147483647 69041 59 | 0.000 % |
82.85/82.92 c | 69638 | 1435 215680 949307 | 2147483647 69638 59 | 0.000 % |
83.84/83.99 c | 70293 | 1435 215680 949307 | 2147483647 70293 59 | 0.000 % |
85.04/85.18 c | 71014 | 1435 215680 949307 | 2147483647 71014 59 | 0.000 % |
86.14/86.22 c | 71809 | 1435 215680 949307 | 2147483647 71809 59 | 0.000 % |
87.24/87.32 c | 72680 | 1435 215680 949307 | 2147483647 72680 60 | 0.000 % |
87.44/87.54 c | 72783 | 1435 215680 949307 | 2147483647 72783 60 | 0.000 % |
87.64/87.76 c | 72893 | 1435 215680 949307 | 2147483647 72893 60 | 0.000 % |
87.84/87.97 c | 73015 | 1435 215680 949307 | 2147483647 73015 60 | 0.000 % |
88.04/88.18 c | 73149 | 1435 215680 949307 | 2147483647 73149 60 | 0.000 % |
88.44/88.53 c | 73296 | 1435 215680 949307 | 2147483647 73296 60 | 0.000 % |
88.64/88.74 c | 73456 | 1435 215680 949307 | 2147483647 73456 60 | 0.000 % |
88.94/89.10 c | 73632 | 1435 215680 949307 | 2147483647 73632 60 | 0.000 % |
89.44/89.52 c | 73827 | 1435 215680 949307 | 2147483647 73827 60 | 0.000 % |
89.74/89.84 c | 74040 | 1435 215680 949307 | 2147483647 74040 60 | 0.000 % |
90.14/90.25 c | 74274 | 1435 215680 949307 | 2147483647 74274 60 | 0.000 % |
90.63/90.76 c | 74530 | 1435 215680 949307 | 2147483647 74530 60 | 0.000 % |
91.24/91.36 c | 74812 | 1435 215680 949307 | 2147483647 74812 60 | 0.000 % |
91.63/91.75 c | 75121 | 1435 215680 949307 | 2147483647 75121 60 | 0.000 % |
92.03/92.13 c | 75461 | 1435 215680 949307 | 2147483647 75461 60 | 0.000 % |
92.43/92.57 c | 75834 | 1435 215680 949307 | 2147483647 75834 60 | 0.000 % |
93.34/93.48 c | 76246 | 1435 215680 949307 | 2147483647 76246 60 | 0.000 % |
93.83/93.94 c | 76695 | 1435 215680 949307 | 2147483647 76695 61 | 0.000 % |
94.83/94.90 c | 77188 | 1435 215680 949307 | 2147483647 77188 61 | 0.000 % |
95.73/95.81 c | 77731 | 1435 215680 949307 | 2147483647 77731 61 | 0.000 % |
96.73/96.82 c | 78327 | 1435 215680 949307 | 2147483647 78327 61 | 0.000 % |
97.93/98.07 c | 78982 | 1435 215680 949307 | 2147483647 78982 61 | 0.000 % |
99.23/99.35 c | 79705 | 1435 215680 949307 | 2147483647 79705 61 | 0.000 % |
100.73/100.80 c | 80497 | 1435 215680 949307 | 2147483647 80497 60 | 0.000 % |
102.33/102.43 c | 81370 | 1435 215680 949307 | 2147483647 81370 60 | 0.000 % |
104.02/104.12 c | 82331 | 1435 215680 949307 | 2147483647 82331 60 | 0.000 % |
104.13/104.24 c | 82431 | 1435 215680 949307 | 2147483647 82431 60 | 0.000 % |
104.34/104.44 c | 82541 | 1435 215680 949307 | 2147483647 82541 60 | 0.000 % |
104.53/104.68 c | 82663 | 1435 215680 949307 | 2147483647 82663 60 | 0.000 % |
104.93/105.01 c | 82796 | 1435 215680 949307 | 2147483647 82796 60 | 0.000 % |
105.13/105.26 c | 82944 | 1435 215680 949307 | 2147483647 82944 60 | 0.000 % |
105.44/105.55 c | 83105 | 1435 215680 949307 | 2147483647 83105 60 | 0.000 % |
105.63/105.73 c | 83281 | 1435 215680 949307 | 2147483647 83281 60 | 0.000 % |
106.03/106.19 c | 83474 | 1435 215680 949307 | 2147483647 83474 60 | 0.000 % |
106.54/106.65 c | 83688 | 1435 215680 949307 | 2147483647 83688 60 | 0.000 % |
107.03/107.13 c | 83922 | 1435 215680 949307 | 2147483647 83922 60 | 0.000 % |
107.53/107.63 c | 84179 | 1435 215680 949307 | 2147483647 84179 60 | 0.000 % |
108.03/108.13 c | 84461 | 1435 215680 949307 | 2147483647 84461 60 | 0.000 % |
108.53/108.64 c | 84771 | 1435 215680 949307 | 2147483647 84771 60 | 0.000 % |
109.13/109.27 c | 85114 | 1435 215680 949307 | 2147483647 85114 60 | 0.000 % |
109.83/109.97 c | 85486 | 1435 215680 949307 | 2147483647 85486 59 | 0.000 % |
110.33/110.41 c | 85895 | 1435 215680 949307 | 2147483647 85895 60 | 0.000 % |
111.23/111.32 c | 86347 | 1435 215680 949307 | 2147483647 86347 60 | 0.000 % |
112.03/112.11 c | 86840 | 1435 215680 949307 | 2147483647 86840 60 | 0.000 % |
113.43/113.51 c | 87383 | 1435 215680 949307 | 2147483647 87383 60 | 0.000 % |
114.43/114.59 c | 87979 | 1435 215680 949307 | 2147483647 87979 60 | 0.000 % |
115.43/115.59 c | 88634 | 1435 215680 949307 | 2147483647 88634 60 | 0.000 % |
117.02/117.18 c | 89359 | 1435 215680 949307 | 2147483647 89359 60 | 0.000 % |
118.52/118.70 c | 90153 | 1435 215680 949307 | 2147483647 90153 60 | 0.000 % |
120.02/120.14 c | 91024 | 1435 215680 949307 | 2147483647 91024 60 | 0.000 % |
121.43/121.57 c | 91982 | 1435 215680 949307 | 2147483647 91982 60 | 0.000 % |
123.52/123.67 c | 93035 | 1435 215680 949307 | 2147483647 93035 60 | 0.000 % |
123.82/123.93 c | 93136 | 1435 215680 949307 | 2147483647 93136 60 | 0.000 % |
124.02/124.17 c | 93246 | 1435 215680 949307 | 2147483647 93246 60 | 0.000 % |
124.12/124.29 c | 93367 | 1435 215680 949307 | 2147483647 93367 60 | 0.000 % |
124.52/124.66 c | 93501 | 1435 215680 949307 | 2147483647 93501 60 | 0.000 % |
124.82/124.97 c | 93648 | 1435 215680 949307 | 2147483647 93648 60 | 0.000 % |
125.12/125.28 c | 93809 | 1435 215680 949307 | 2147483647 93809 61 | 0.000 % |
125.72/125.80 c | 93988 | 1435 215680 949307 | 2147483647 93988 61 | 0.000 % |
126.12/126.23 c | 94182 | 1435 215680 949307 | 2147483647 94182 60 | 0.000 % |
126.52/126.69 c | 94395 | 1435 215680 949307 | 2147483647 94395 60 | 0.000 % |
127.12/127.21 c | 94628 | 1435 215680 949307 | 2147483647 94628 60 | 0.000 % |
127.62/127.72 c | 94889 | 1435 215680 949307 | 2147483647 94889 60 | 0.000 % |
128.22/128.33 c | 95170 | 1435 215680 949307 | 2147483647 95170 60 | 0.000 % |
128.82/128.95 c | 95480 | 1435 215680 949307 | 2147483647 95480 60 | 0.000 % |
129.52/129.65 c | 95819 | 1435 215680 949307 | 2147483647 95819 60 | 0.000 % |
130.32/130.42 c | 96192 | 1435 215680 949307 | 2147483647 96192 60 | 0.001 % |
131.12/131.28 c | 96603 | 1435 215680 949307 | 2147483647 96603 60 | 0.000 % |
132.01/132.16 c | 97052 | 1435 215680 949307 | 2147483647 97052 60 | 0.000 % |
133.02/133.17 c | 97545 | 1435 215680 949307 | 2147483647 97545 60 | 0.000 % |
134.21/134.34 c | 98087 | 1435 215680 949307 | 2147483647 98087 60 | 0.000 % |
135.51/135.62 c | 98684 | 1435 215680 949307 | 2147483647 98684 60 | 0.000 % |
136.91/137.09 c | 99346 | 1435 215680 949307 | 2147483647 99346 60 | 0.000 % |
138.22/138.32 c | 100067 | 1435 215680 949307 | 2147483647 100067 60 | 0.000 % |
139.52/139.63 c | 100860 | 1435 215680 949307 | 2147483647 100860 60 | 0.000 % |
140.91/141.04 c | 101731 | 1435 215680 949307 | 2147483647 101731 60 | 0.000 % |
142.41/142.58 c | 102694 | 1435 215680 949307 | 2147483647 102694 60 | 0.000 % |
144.41/144.50 c | 103747 | 1435 215680 949307 | 2147483647 103747 60 | 0.000 % |
146.51/146.66 c | 104909 | 1435 215680 949307 | 2147483647 104909 60 | 0.000 % |
146.71/146.82 c | 105009 | 1435 215680 949307 | 2147483647 105009 60 | 0.000 % |
147.01/147.15 c | 105119 | 1435 215680 949307 | 2147483647 105119 60 | 0.000 % |
147.41/147.52 c | 105240 | 1435 215680 949307 | 2147483647 105240 60 | 0.000 % |
147.71/147.88 c | 105375 | 1435 215680 949307 | 2147483647 105375 60 | 0.000 % |
148.11/148.25 c | 105523 | 1435 215680 949307 | 2147483647 105523 59 | 0.000 % |
148.51/148.62 c | 105684 | 1435 215680 949307 | 2147483647 105684 60 | 0.000 % |
148.81/148.96 c | 105860 | 1435 215680 949307 | 2147483647 105860 60 | 0.000 % |
149.41/149.53 c | 106054 | 1435 215680 949307 | 2147483647 106054 60 | 0.000 % |
149.80/149.90 c | 106266 | 1435 215680 949307 | 2147483647 106266 60 | 0.000 % |
150.11/150.28 c | 106499 | 1435 215680 949307 | 2147483647 106499 60 | 0.000 % |
150.52/150.69 c | 106755 | 1435 215680 949307 | 2147483647 106755 60 | 0.000 % |
151.21/151.40 c | 107038 | 1435 215680 949307 | 2147483647 107038 60 | 0.000 % |
152.11/152.26 c | 107351 | 1435 215680 949307 | 2147483647 107351 60 | 0.000 % |
152.91/153.00 c | 107690 | 1435 215680 949307 | 2147483647 107690 60 | 0.000 % |
153.61/153.79 c | 108063 | 1435 215680 949307 | 2147483647 108063 60 | 0.000 % |
154.31/154.49 c | 108472 | 1435 215680 949307 | 2147483647 108472 60 | 0.000 % |
155.31/155.42 c | 108922 | 1435 215680 949307 | 2147483647 108922 60 | 0.000 % |
156.31/156.43 c | 109416 | 1435 215680 949307 | 2147483647 109416 60 | 0.000 % |
157.41/157.54 c | 109958 | 1435 215680 949307 | 2147483647 109958 60 | 0.000 % |
158.51/158.63 c | 110556 | 1435 215680 949307 | 2147483647 110556 60 | 0.000 % |
159.51/159.62 c | 111211 | 1435 215680 949307 | 2147483647 111211 60 | 0.000 % |
160.80/160.97 c | 111931 | 1435 215680 949307 | 2147483647 111931 60 | 0.000 % |
162.20/162.37 c | 112724 | 1435 215680 949307 | 2147483647 112724 60 | 0.000 % |
164.10/164.27 c | 113595 | 1435 215680 949307 | 2147483647 113595 60 | 0.000 % |
165.70/165.89 c | 114553 | 1435 215680 949307 | 2147483647 114553 60 | 0.000 % |
167.90/168.06 c | 115608 | 1435 215680 949307 | 2147483647 115608 61 | 0.000 % |
170.20/170.40 c | 116767 | 1435 215680 949307 | 2147483647 116767 61 | 0.000 % |
172.60/172.73 c | 118041 | 1435 215680 949307 | 2147483647 118041 61 | 0.000 % |
172.90/173.00 c | 118144 | 1435 215680 949307 | 2147483647 118144 61 | 0.000 % |
173.20/173.37 c | 118254 | 1435 215680 949307 | 2147483647 118254 61 | 0.000 % |
173.50/173.70 c | 118376 | 1435 215680 949307 | 2147483647 118376 61 | 0.000 % |
173.89/174.00 c | 118510 | 1435 215680 949307 | 2147483647 118510 61 | 0.000 % |
174.29/174.46 c | 118658 | 1435 215680 949307 | 2147483647 118658 61 | 0.000 % |
174.70/174.86 c | 118819 | 1435 215680 949307 | 2147483647 118819 61 | 0.000 % |
175.09/175.29 c | 118999 | 1435 215680 949307 | 2147483647 118999 61 | 0.000 % |
175.59/175.79 c | 119194 | 1435 215680 949307 | 2147483647 119194 61 | 0.000 % |
176.19/176.34 c | 119408 | 1435 215680 949307 | 2147483647 119408 61 | 0.000 % |
176.79/176.91 c | 119641 | 1435 215680 949307 | 2147483647 119641 61 | 0.000 % |
177.29/177.45 c | 119900 | 1435 215680 949307 | 2147483647 119900 61 | 0.000 % |
178.00/178.11 c | 120182 | 1435 215680 949307 | 2147483647 120182 61 | 0.000 % |
178.60/178.77 c | 120491 | 1435 215680 949307 | 2147483647 120491 61 | 0.000 % |
179.40/179.54 c | 120830 | 1435 215680 949307 | 2147483647 120830 61 | 0.000 % |
180.30/180.44 c | 121203 | 1435 215680 949307 | 2147483647 121203 61 | 0.000 % |
181.20/181.35 c | 121612 | 1435 215680 949307 | 2147483647 121612 61 | 0.000 % |
182.40/182.54 c | 122061 | 1435 215680 949307 | 2147483647 122061 61 | 0.000 % |
183.29/183.41 c | 122556 | 1435 215680 949307 | 2147483647 122556 61 | 0.000 % |
184.70/184.85 c | 123099 | 1435 215680 949307 | 2147483647 123099 61 | 0.000 % |
186.09/186.27 c | 123696 | 1435 215680 949307 | 2147483647 123696 61 | 0.000 % |
187.69/187.88 c | 124352 | 1435 215680 949307 | 2147483647 124352 61 | 0.000 % |
189.39/189.51 c | 125072 | 1435 215680 949307 | 2147483647 125072 61 | 0.000 % |
191.09/191.21 c | 125864 | 1435 215680 949307 | 2147483647 125864 61 | 0.000 % |
192.89/193.03 c | 126738 | 1435 215680 949307 | 2147483647 126738 61 | 0.000 % |
195.18/195.36 c | 127697 | 1435 215680 949307 | 2147483647 127697 61 | 0.000 % |
197.68/197.87 c | 128750 | 1435 215680 949307 | 2147483647 128750 61 | 0.000 % |
200.58/200.71 c | 129908 | 1435 215680 949307 | 2147483647 129908 61 | 0.000 % |
203.09/203.21 c | 131182 | 1435 215680 949307 | 2147483647 131182 61 | 0.000 % |
205.39/205.57 c | 132582 | 1435 215680 949307 | 2147483647 132582 62 | 0.000 % |
205.69/205.81 c | 132683 | 1435 215680 949307 | 2147483647 132683 62 | 0.000 % |
205.99/206.10 c | 132793 | 1435 215680 949307 | 2147483647 132793 62 | 0.000 % |
206.39/206.54 c | 132914 | 1435 215680 949307 | 2147483647 132914 62 | 0.000 % |
206.69/206.90 c | 133047 | 1435 215680 949307 | 2147483647 133047 62 | 0.000 % |
207.09/207.26 c | 133196 | 1435 215680 949307 | 2147483647 133196 62 | 0.000 % |
207.59/207.71 c | 133360 | 1435 215680 949307 | 2147483647 133360 62 | 0.000 % |
207.98/208.15 c | 133536 | 1435 215680 949307 | 2147483647 133536 62 | 0.000 % |
208.68/208.82 c | 133731 | 1435 215680 949307 | 2147483647 133731 62 | 0.000 % |
209.38/209.56 c | 133943 | 1435 215680 949307 | 2147483647 133943 62 | 0.000 % |
210.08/210.22 c | 134177 | 1435 215680 949307 | 2147483647 134177 62 | 0.000 % |
210.68/210.81 c | 134433 | 1435 215680 949307 | 2147483647 134433 62 | 0.000 % |
211.38/211.59 c | 134714 | 1435 215680 949307 | 2147483647 134714 62 | 0.000 % |
212.18/212.38 c | 135024 | 1435 215680 949307 | 2147483647 135024 62 | 0.000 % |
212.88/213.05 c | 135363 | 1435 215680 949307 | 2147483647 135363 62 | 0.000 % |
213.88/214.00 c | 135735 | 1435 215680 949307 | 2147483647 135735 62 | 0.000 % |
214.88/215.06 c | 136146 | 1435 215680 949307 | 2147483647 136146 62 | 0.000 % |
216.18/216.30 c | 136598 | 1435 215680 949307 | 2147483647 136598 62 | 0.000 % |
217.08/217.21 c | 137092 | 1435 215680 949307 | 2147483647 137092 62 | 0.000 % |
218.38/218.54 c | 137634 | 1435 215680 949307 | 2147483647 137634 62 | 0.000 % |
219.88/220.08 c | 138230 | 1435 215680 949307 | 2147483647 138230 62 | 0.000 % |
220.98/221.15 c | 138887 | 1435 215680 949307 | 2147483647 138887 62 | 0.000 % |
221.98/222.17 c | 139607 | 1435 215680 949307 | 2147483647 139607 62 | 0.000 % |
222.67/222.86 c | 140399 | 1435 215680 949307 | 2147483647 140399 62 | 0.000 % |
223.47/223.70 c | 141272 | 1435 215680 949307 | 2147483647 141272 62 | 0.000 % |
225.08/225.24 c | 142230 | 1435 215680 949307 | 2147483647 142230 62 | 0.000 % |
227.88/228.09 c | 143284 | 1435 215680 949307 | 2147483647 143284 62 | 0.000 % |
231.07/231.24 c | 144442 | 1435 215680 949307 | 2147483647 144442 62 | 0.000 % |
234.27/234.40 c | 145716 | 1435 215680 949307 | 2147483647 145716 62 | 0.000 % |
237.28/237.44 c | 147118 | 1435 215680 949307 | 2147483647 147118 62 | 0.000 % |
239.97/240.11 c | 148659 | 1435 215680 949307 | 2147483647 148659 62 | 0.000 % |
240.17/240.36 c | 148760 | 1435 215680 949307 | 2147483647 148760 62 | 0.000 % |
240.47/240.60 c | 148871 | 1435 215680 949307 | 2147483647 148871 62 | 0.000 % |
240.68/240.81 c | 148992 | 1435 215680 949307 | 2147483647 148992 62 | 0.000 % |
240.87/241.00 c | 149126 | 1435 215680 949307 | 2147483647 149126 62 | 0.000 % |
240.97/241.19 c | 149272 | 1435 215680 949307 | 2147483647 149272 62 | 0.000 % |
241.27/241.47 c | 149432 | 1435 215680 949307 | 2147483647 149432 62 | 0.000 % |
241.67/241.88 c | 149610 | 1435 215680 949307 | 2147483647 149610 62 | 0.000 % |
242.27/242.46 c | 149803 | 1435 215680 949307 | 2147483647 149803 62 | 0.000 % |
242.97/243.13 c | 150016 | 1435 215680 949307 | 2147483647 150016 62 | 0.000 % |
243.67/243.87 c | 150249 | 1435 215680 949307 | 2147483647 150249 63 | 0.000 % |
244.57/244.76 c | 150505 | 1435 215680 949307 | 2147483647 150505 63 | 0.000 % |
245.47/245.66 c | 150788 | 1435 215680 949307 | 2147483647 150788 63 | 0.000 % |
246.56/246.77 c | 151099 | 1435 215680 949307 | 2147483647 151099 63 | 0.000 % |
247.66/247.85 c | 151440 | 1435 215680 949307 | 2147483647 151440 63 | 0.000 % |
248.76/248.96 c | 151813 | 1435 215680 949307 | 2147483647 151813 63 | 0.000 % |
249.86/250.07 c | 152222 | 1435 215680 949307 | 2147483647 152222 62 | 0.000 % |
251.16/251.38 c | 152674 | 1435 215680 949307 | 2147483647 152674 62 | 0.000 % |
252.66/252.87 c | 153169 | 1435 215680 949307 | 2147483647 153169 62 | 0.000 % |
254.16/254.35 c | 153712 | 1435 215680 949307 | 2147483647 153712 62 | 0.000 % |
255.66/255.81 c | 154310 | 1435 215680 949307 | 2147483647 154310 62 | 0.000 % |
257.27/257.43 c | 154965 | 1435 215680 949307 | 2147483647 154965 62 | 0.000 % |
258.56/258.71 c | 155685 | 1435 215680 949307 | 2147483647 155685 62 | 0.000 % |
261.16/261.38 c | 156478 | 1435 215680 949307 | 2147483647 156478 62 | 0.000 % |
263.56/263.72 c | 157352 | 1435 215680 949307 | 2147483647 157352 62 | 0.000 % |
265.96/266.15 c | 158311 | 1435 215680 949307 | 2147483647 158311 62 | 0.000 % |
268.56/268.75 c | 159364 | 1435 215680 949307 | 2147483647 159364 62 | 0.000 % |
271.56/271.79 c | 160523 | 1435 215680 949307 | 2147483647 160523 62 | 0.000 % |
275.55/275.70 c | 161797 | 1435 215680 949307 | 2147483647 161797 62 | 0.000 % |
278.85/279.02 c | 163197 | 1435 215680 949307 | 2147483647 163197 62 | 0.000 % |
282.35/282.57 c | 164739 | 1435 215680 949307 | 2147483647 164739 62 | 0.000 % |
286.86/287.04 c | 166433 | 1435 215680 949307 | 2147483647 166433 62 | 0.000 % |
287.15/287.36 c | 166540 | 1435 215680 949307 | 2147483647 166540 62 | 0.000 % |
287.45/287.66 c | 166650 | 1435 215680 949307 | 2147483647 166650 62 | 0.000 % |
287.95/288.12 c | 166771 | 1435 215680 949307 | 2147483647 166771 62 | 0.000 % |
288.25/288.40 c | 166904 | 1435 215680 949307 | 2147483647 166904 62 | 0.000 % |
288.55/288.75 c | 167051 | 1435 215680 949307 | 2147483647 167051 62 | 0.000 % |
289.15/289.39 c | 167212 | 1435 215680 949307 | 2147483647 167212 62 | 0.000 % |
289.65/289.85 c | 167388 | 1435 215680 949307 | 2147483647 167388 62 | 0.000 % |
290.15/290.30 c | 167582 | 1435 215680 949307 | 2147483647 167582 62 | 0.000 % |
290.95/291.16 c | 167796 | 1435 215680 949307 | 2147483647 167796 62 | 0.000 % |
291.75/291.91 c | 168031 | 1435 215680 949307 | 2147483647 168031 62 | 0.000 % |
292.35/292.53 c | 168287 | 1435 215680 949307 | 2147483647 168287 62 | 0.000 % |
292.95/293.12 c | 168568 | 1435 215680 949307 | 2147483647 168568 62 | 0.000 % |
293.95/294.15 c | 168877 | 1435 215680 949307 | 2147483647 168877 62 | 0.000 % |
294.74/294.95 c | 169224 | 1435 215680 949307 | 2147483647 169224 62 | 0.000 % |
295.84/296.00 c | 169597 | 1435 215680 949307 | 2147483647 169597 62 | 0.000 % |
296.94/297.14 c | 170008 | 1435 215680 949307 | 2147483647 170008 62 | 0.000 % |
298.34/298.59 c | 170457 | 1435 215680 949307 | 2147483647 170457 62 | 0.000 % |
300.15/300.31 c | 170954 | 1435 215680 949307 | 2147483647 170954 62 | 0.000 % |
300.94/301.18 c | 171496 | 1435 215680 949307 | 2147483647 171496 62 | 0.000 % |
302.94/303.13 c | 172093 | 1435 215680 949307 | 2147483647 172093 62 | 0.000 % |
304.84/305.04 c | 172749 | 1435 215680 949307 | 2147483647 172749 62 | 0.000 % |
306.34/306.53 c | 173469 | 1435 215680 949307 | 2147483647 173469 62 | 0.000 % |
308.24/308.45 c | 174265 | 1435 215680 949307 | 2147483647 174265 62 | 0.000 % |
310.43/310.64 c | 175143 | 1435 215680 949307 | 2147483647 175143 62 | 0.000 % |
313.43/313.62 c | 176101 | 1435 215680 949307 | 2147483647 176101 62 | 0.000 % |
316.34/316.58 c | 177157 | 1435 215680 949307 | 2147483647 177157 62 | 0.000 % |
319.84/320.06 c | 178317 | 1435 215680 949307 | 2147483647 178317 62 | 0.000 % |
323.54/323.71 c | 179591 | 1435 215680 949307 | 2147483647 179591 62 | 0.000 % |
326.23/326.49 c | 180991 | 1435 215680 949307 | 2147483647 180991 62 | 0.000 % |
329.74/329.94 c | 182533 | 1435 215680 949307 | 2147483647 182533 62 | 0.000 % |
335.93/336.19 c | 184227 | 1435 215680 949307 | 2147483647 184227 62 | 0.000 % |
341.82/342.06 c | 186091 | 1435 215680 949307 | 2147483647 186091 62 | 0.000 % |
342.22/342.44 c | 186193 | 1435 215680 949307 | 2147483647 186193 62 | 0.000 % |
342.72/342.92 c | 186306 | 1435 215680 949307 | 2147483647 186306 62 | 0.000 % |
343.12/343.34 c | 186427 | 1435 215680 949307 | 2147483647 186427 62 | 0.000 % |
343.52/343.77 c | 186562 | 1435 215680 949307 | 2147483647 186562 62 | 0.000 % |
344.13/344.35 c | 186710 | 1435 215680 949307 | 2147483647 186710 62 | 0.000 % |
344.73/344.97 c | 186871 | 1435 215680 949307 | 2147483647 186871 62 | 0.000 % |
345.33/345.55 c | 187049 | 1435 215680 949307 | 2147483647 187049 62 | 0.000 % |
345.93/346.17 c | 187243 | 1435 215680 949307 | 2147483647 187243 62 | 0.000 % |
346.62/346.85 c | 187455 | 1435 215680 949307 | 2147483647 187455 62 | 0.000 % |
347.33/347.51 c | 187689 | 1435 215680 949307 | 2147483647 187689 62 | 0.000 % |
348.22/348.46 c | 187945 | 1435 215680 949307 | 2147483647 187945 62 | 0.000 % |
349.02/349.28 c | 188226 | 1435 215680 949307 | 2147483647 188226 62 | 0.000 % |
350.12/350.33 c | 188535 | 1435 215680 949307 | 2147483647 188535 62 | 0.000 % |
351.12/351.36 c | 188874 | 1435 215680 949307 | 2147483647 188874 62 | 0.000 % |
352.32/352.57 c | 189247 | 1435 215680 949307 | 2147483647 189247 62 | 0.000 % |
353.72/353.95 c | 189656 | 1435 215680 949307 | 2147483647 189656 62 | 0.000 % |
355.22/355.41 c | 190105 | 1435 215680 949307 | 2147483647 190105 62 | 0.000 % |
356.91/357.12 c | 190598 | 1435 215680 949307 | 2147483647 190598 62 | 0.000 % |
358.92/359.19 c | 191141 | 1435 215680 949307 | 2147483647 191141 62 | 0.000 % |
360.82/361.07 c | 191742 | 1435 215680 949307 | 2147483647 191742 62 | 0.000 % |
362.62/362.84 c | 192397 | 1435 215680 949307 | 2147483647 192397 62 | 0.000 % |
365.02/365.20 c | 193118 | 1435 215680 949307 | 2147483647 193118 62 | 0.000 % |
367.02/367.26 c | 193910 | 1435 215680 949307 | 2147483647 193910 62 | 0.000 % |
369.32/369.58 c | 194783 | 1435 215680 949307 | 2147483647 194783 62 | 0.000 % |
372.01/372.24 c | 195741 | 1435 215680 949307 | 2147483647 195741 62 | 0.000 % |
375.01/375.23 c | 196794 | 1435 215680 949307 | 2147483647 196794 62 | 0.000 % |
378.21/378.43 c | 197953 | 1435 215680 949307 | 2147483647 197953 61 | 0.000 % |
382.01/382.26 c | 199227 | 1435 215680 949307 | 2147483647 199227 61 | 0.000 % |
386.30/386.59 c | 200630 | 1435 215680 949307 | 2147483647 200630 61 | 0.000 % |
391.10/391.34 c | 202170 | 1435 215680 949307 | 2147483647 202170 61 | 0.000 % |
396.01/396.22 c | 203864 | 1435 215680 949307 | 2147483647 203864 61 | 0.000 % |
401.10/401.35 c | 205727 | 1435 215680 949307 | 2147483647 205727 61 | 0.000 % |
406.80/407.04 c | 207777 | 1435 215680 949307 | 2147483647 207777 60 | 0.000 % |
407.10/407.30 c | 207877 | 1435 215680 949307 | 2147483647 207877 60 | 0.000 % |
407.30/407.56 c | 207988 | 1435 215680 949307 | 2147483647 207988 60 | 0.000 % |
407.60/407.88 c | 208110 | 1435 215680 949307 | 2147483647 208110 60 | 0.000 % |
408.00/408.29 c | 208249 | 1435 215680 949307 | 2147483647 208249 60 | 0.000 % |
408.50/408.77 c | 208401 | 1435 215680 949307 | 2147483647 208401 60 | 0.000 % |
409.10/409.36 c | 208562 | 1435 215680 949307 | 2147483647 208562 60 | 0.000 % |
409.70/409.97 c | 208738 | 1435 215680 949307 | 2147483647 208738 60 | 0.000 % |
410.29/410.55 c | 208934 | 1435 215680 949307 | 2147483647 208934 60 | 0.000 % |
411.20/411.47 c | 209147 | 1435 215680 949307 | 2147483647 209147 60 | 0.000 % |
411.79/412.00 c | 209381 | 1435 215680 949307 | 2147483647 209381 60 | 0.000 % |
412.89/413.11 c | 209637 | 1435 215680 949307 | 2147483647 209637 60 | 0.000 % |
413.69/413.91 c | 209920 | 1435 215680 949307 | 2147483647 209920 60 | 0.000 % |
414.59/414.87 c | 210229 | 1435 215680 949307 | 2147483647 210229 60 | 0.000 % |
415.99/416.23 c | 210568 | 1435 215680 949307 | 2147483647 210568 60 | 0.000 % |
417.49/417.76 c | 210940 | 1435 215680 949307 | 2147483647 210940 60 | 0.000 % |
418.60/418.85 c | 211349 | 1435 215680 949307 | 2147483647 211349 60 | 0.000 % |
419.60/419.82 c | 211799 | 1435 215680 949307 | 2147483647 211799 60 | 0.000 % |
420.79/421.08 c | 212292 | 1435 215680 949307 | 2147483647 212292 60 | 0.000 % |
422.29/422.57 c | 212835 | 1435 215680 949307 | 2147483647 212835 60 | 0.000 % |
423.99/424.22 c | 213432 | 1435 215680 949307 | 2147483647 213432 61 | 0.000 % |
425.59/425.88 c | 214088 | 1435 215680 949307 | 2147483647 214088 61 | 0.000 % |
428.29/428.59 c | 214808 | 1435 215680 949307 | 2147483647 214808 61 | 0.000 % |
431.09/431.33 c | 215601 | 1435 215680 949307 | 2147483647 215601 61 | 0.000 % |
432.69/432.97 c | 216472 | 1435 215680 949307 | 2147483647 216472 61 | 0.000 % |
435.79/436.05 c | 217432 | 1435 215680 949307 | 2147483647 217432 61 | 0.000 % |
438.78/439.08 c | 218486 | 1435 215680 949307 | 2147483647 218486 61 | 0.000 % |
442.18/442.45 c | 219644 | 1435 215680 949307 | 2147483647 219644 61 | 0.000 % |
444.78/445.00 c | 220917 | 1435 215680 949307 | 2147483647 220917 61 | 0.000 % |
449.08/449.39 c | 222317 | 1435 215680 949307 | 2147483647 222317 61 | 0.000 % |
453.28/453.56 c | 223860 | 1435 215680 949307 | 2147483647 223860 61 | 0.000 % |
458.28/458.59 c | 225558 | 1435 215680 949307 | 2147483647 225558 61 | 0.000 % |
464.58/464.88 c | 227424 | 1435 215680 949307 | 2147483647 227424 61 | 0.000 % |
468.67/468.97 c | 229473 | 1435 215680 949307 | 2147483647 229473 61 | 0.000 % |
472.27/472.51 c | 231726 | 1435 215680 949307 | 2147483647 231726 61 | 0.000 % |
472.37/472.66 c | 231826 | 1435 215680 949307 | 2147483647 231826 61 | 0.000 % |
472.57/472.82 c | 231936 | 1435 215680 949307 | 2147483647 231936 61 | 0.000 % |
472.77/473.03 c | 232057 | 1435 215680 949307 | 2147483647 232057 61 | 0.000 % |
473.27/473.58 c | 232190 | 1435 215680 949307 | 2147483647 232190 61 | 0.000 % |
473.77/474.08 c | 232337 | 1435 215680 949307 | 2147483647 232337 61 | 0.000 % |
474.27/474.56 c | 232497 | 1435 215680 949307 | 2147483647 232497 61 | 0.000 % |
474.67/474.99 c | 232673 | 1435 215680 949307 | 2147483647 232673 61 | 0.000 % |
475.27/475.58 c | 232869 | 1435 215680 949307 | 2147483647 232869 61 | 0.000 % |
476.17/476.44 c | 233082 | 1435 215680 949307 | 2147483647 233082 61 | 0.000 % |
476.67/476.99 c | 233315 | 1435 215680 949307 | 2147483647 233315 61 | 0.000 % |
477.36/477.65 c | 233573 | 1435 215680 949307 | 2147483647 233573 61 | 0.000 % |
477.96/478.28 c | 233855 | 1435 215680 949307 | 2147483647 233855 61 | 0.000 % |
478.56/478.82 c | 234165 | 1435 215680 949307 | 2147483647 234165 61 | 0.000 % |
479.06/479.30 c | 234504 | 1435 215680 949307 | 2147483647 234504 61 | 0.000 % |
479.66/479.97 c | 234877 | 1435 215680 949307 | 2147483647 234877 61 | 0.000 % |
480.27/480.54 c | 235287 | 1435 215680 949307 | 2147483647 235287 61 | 0.000 % |
481.07/481.31 c | 235738 | 1435 215680 949307 | 2147483647 235738 61 | 0.000 % |
481.87/482.12 c | 236231 | 1435 215680 949307 | 2147483647 236231 61 | 0.000 % |
482.67/482.94 c | 236773 | 1435 215680 949307 | 2147483647 236773 61 | 0.000 % |
483.57/483.80 c | 237370 | 1435 215680 949307 | 2147483647 237370 61 | 0.000 % |
484.87/485.14 c | 238026 | 1435 215680 949307 | 2147483647 238026 61 | 0.000 % |
486.66/486.97 c | 238746 | 1435 215680 949307 | 2147483647 238746 61 | 0.000 % |
488.76/489.06 c | 239538 | 1435 215680 949307 | 2147483647 239538 61 | 0.000 % |
490.76/491.07 c | 240409 | 1435 215680 949307 | 2147483647 240409 62 | 0.000 % |
493.16/493.42 c | 241368 | 1435 215680 949307 | 2147483647 241368 62 | 0.000 % |
496.46/496.78 c | 242422 | 1435 215680 949307 | 2147483647 242422 62 | 0.000 % |
498.85/499.17 c | 243580 | 1435 215680 949307 | 2147483647 243580 62 | 0.000 % |
500.95/501.28 c | 244854 | 1435 215680 949307 | 2147483647 244854 62 | 0.000 % |
503.35/503.66 c | 246254 | 1435 215680 949307 | 2147483647 246254 62 | 0.000 % |
505.56/505.80 c | 247796 | 1435 215680 949307 | 2147483647 247796 62 | 0.000 % |
507.36/507.69 c | 249492 | 1435 215680 949307 | 2147483647 249492 62 | 0.000 % |
509.45/509.74 c | 251356 | 1435 215680 949307 | 2147483647 251356 62 | 0.000 % |
513.56/513.87 c | 253405 | 1435 215680 949307 | 2147483647 253405 62 | 0.000 % |
517.15/517.44 c | 255660 | 1435 215680 949307 | 2147483647 255660 62 | 0.000 % |
521.35/521.68 c | 258138 | 1435 215680 949307 | 2147483647 258138 62 | 0.001 % |
521.65/521.97 c | 258238 | 1435 215680 949307 | 2147483647 258238 62 | 0.000 % |
521.85/522.18 c | 258348 | 1435 215680 949307 | 2147483647 258348 62 | 0.000 % |
522.16/522.49 c | 258469 | 1435 215680 949307 | 2147483647 258469 62 | 0.000 % |
522.55/522.87 c | 258602 | 1435 215680 949307 | 2147483647 258602 62 | 0.000 % |
522.95/523.30 c | 258750 | 1435 215680 949307 | 2147483647 258750 62 | 0.000 % |
523.35/523.65 c | 258911 | 1435 215680 949307 | 2147483647 258911 62 | 0.000 % |
523.75/524.09 c | 259087 | 1435 215680 949307 | 2147483647 259087 62 | 0.000 % |
524.25/524.51 c | 259280 | 1435 215680 949307 | 2147483647 259280 62 | 0.000 % |
524.55/524.88 c | 259494 | 1435 215680 949307 | 2147483647 259494 62 | 0.000 % |
524.95/525.25 c | 259727 | 1435 215680 949307 | 2147483647 259727 62 | 0.000 % |
525.55/525.83 c | 259986 | 1435 215680 949307 | 2147483647 259986 62 | 0.000 % |
526.24/526.52 c | 260268 | 1435 215680 949307 | 2147483647 260268 62 | 0.000 % |
526.84/527.10 c | 260579 | 1435 215680 949307 | 2147483647 260579 62 | 0.000 % |
527.75/528.08 c | 260918 | 1435 215680 949307 | 2147483647 260918 62 | 0.000 % |
528.75/529.04 c | 261290 | 1435 215680 949307 | 2147483647 261290 62 | 0.000 % |
529.74/530.04 c | 261702 | 1435 215680 949307 | 2147483647 261702 62 | 0.000 % |
530.75/531.05 c | 262152 | 1435 215680 949307 | 2147483647 262152 62 | 0.000 % |
532.25/532.50 c | 262646 | 1435 215680 949307 | 2147483647 262646 62 | 0.000 % |
533.75/534.08 c | 263188 | 1435 215680 949307 | 2147483647 263188 62 | 0.000 % |
535.15/535.43 c | 263784 | 1435 215680 949307 | 2147483647 263784 62 | 0.000 % |
537.34/537.63 c | 264440 | 1435 215680 949307 | 2147483647 264440 61 | 0.000 % |
539.64/539.95 c | 265161 | 1435 215680 949307 | 2147483647 265161 61 | 0.000 % |
541.95/542.23 c | 265955 | 1435 215680 949307 | 2147483647 265955 61 | 0.000 % |
544.34/544.61 c | 266828 | 1435 215680 949307 | 2147483647 266828 61 | 0.000 % |
546.04/546.35 c | 267786 | 1435 215680 949307 | 2147483647 267786 61 | 0.000 % |
547.74/548.00 c | 268840 | 1435 215680 949307 | 2147483647 268840 61 | 0.000 % |
549.64/549.97 c | 269999 | 1435 215680 949307 | 2147483647 269999 62 | 0.000 % |
552.34/552.64 c | 271272 | 1435 215680 949307 | 270000 235100 61 | 0.000 % |
554.84/555.15 c | 272674 | 1435 215680 949307 | 270000 236502 61 | 0.000 % |
559.84/560.11 c | 274216 | 1435 215680 949307 | 270000 238044 61 | 0.000 % |
565.83/566.19 c | 275913 | 1435 215680 949307 | 270000 239741 61 | 0.000 % |
572.73/573.01 c | 277776 | 1435 215680 949307 | 270000 241604 61 | 0.000 % |
580.73/581.08 c | 279827 | 1435 215680 949307 | 270000 243655 60 | 0.000 % |
588.82/589.12 c | 282080 | 1435 215680 949307 | 2147483647 245908 60 | 0.000 % |
598.22/598.53 c | 284558 | 1435 215680 949307 | 2147483647 248386 60 | 0.000 % |
610.41/610.75 c | 287284 | 1435 215680 949307 | 2147483647 251112 61 | 0.000 % |
610.81/611.16 c | 287386 | 1435 215680 949307 | 2147483647 251214 61 | 0.000 % |
611.22/611.52 c | 287497 | 1435 215680 949307 | 2147483647 251325 61 | 0.000 % |
611.71/612.09 c | 287618 | 1435 215680 949307 | 2147483647 251446 61 | 0.000 % |
612.51/612.80 c | 287753 | 1435 215680 949307 | 2147483647 251581 61 | 0.000 % |
613.01/613.39 c | 287899 | 1435 215680 949307 | 2147483647 251727 61 | 0.000 % |
613.71/614.06 c | 288060 | 1435 215680 949307 | 2147483647 251888 61 | 0.000 % |
614.31/614.65 c | 288236 | 1435 215680 949307 | 2147483647 252064 61 | 0.000 % |
615.41/615.73 c | 288431 | 1435 215680 949307 | 2147483647 252259 61 | 0.000 % |
616.11/616.48 c | 288646 | 1435 215680 949307 | 2147483647 252474 61 | 0.000 % |
617.31/617.68 c | 288881 | 1435 215680 949307 | 2147483647 252709 61 | 0.000 % |
618.51/618.85 c | 289137 | 1435 215680 949307 | 2147483647 252965 61 | 0.000 % |
619.51/619.80 c | 289423 | 1435 215680 949307 | 2147483647 253251 61 | 0.000 % |
620.51/620.83 c | 289735 | 1435 215680 949307 | 2147483647 253563 61 | 0.000 % |
622.40/622.80 c | 290075 | 1435 215680 949307 | 2147483647 253903 61 | 0.000 % |
624.80/625.13 c | 290449 | 1435 215680 949307 | 2147483647 254277 61 | 0.000 % |
626.20/626.53 c | 290858 | 1435 215680 949307 | 2147483647 254686 61 | 0.000 % |
627.90/628.21 c | 291308 | 1435 215680 949307 | 2147483647 255136 61 | 0.000 % |
630.10/630.41 c | 291801 | 1435 215680 949307 | 2147483647 255629 61 | 0.000 % |
632.30/632.67 c | 292344 | 1435 215680 949307 | 2147483647 256172 61 | 0.000 % |
634.40/634.75 c | 292940 | 1435 215680 949307 | 2147483647 256768 61 | 0.000 % |
636.60/636.97 c | 293595 | 1435 215680 949307 | 2147483647 257423 61 | 0.000 % |
639.90/640.26 c | 294318 | 1435 215680 949307 | 2147483647 258146 61 | 0.000 % |
643.89/644.23 c | 295112 | 1435 215680 949307 | 2147483647 258940 61 | 0.000 % |
647.30/647.69 c | 295984 | 1435 215680 949307 | 2147483647 259812 61 | 0.000 % |
650.50/650.87 c | 296944 | 1435 215680 949307 | 2147483647 260772 61 | 0.000 % |
653.50/653.81 c | 297997 | 1435 215680 949307 | 2147483647 261825 60 | 0.000 % |
657.70/658.09 c | 299156 | 1435 215680 949307 | 2147483647 262984 60 | 0.000 % |
664.00/664.33 c | 300430 | 1435 215680 949307 | 2147483647 264258 60 | 0.000 % |
668.99/669.37 c | 301831 | 1435 215680 949307 | 2147483647 265659 60 | 0.000 % |
674.19/674.50 c | 303372 | 1435 215680 949307 | 2147483647 267200 60 | 0.000 % |
681.19/681.51 c | 305066 | 1435 215680 949307 | 2147483647 268894 60 | 0.000 % |
686.98/687.30 c | 306930 | 1435 215680 949307 | 2147483647 270758 60 | 0.000 % |
695.78/696.19 c | 308981 | 1435 215680 949307 | 2147483647 272809 60 | 0.000 % |
703.28/703.62 c | 311239 | 1435 215680 949307 | 2147483647 275067 60 | 0.000 % |
712.37/712.77 c | 313720 | 1435 215680 949307 | 2147483647 277548 60 | 0.000 % |
721.37/721.72 c | 316447 | 1435 215680 949307 | 2147483647 280275 60 | 0.000 % |
730.46/730.81 c | 319445 | 1435 215680 949307 | 2147483647 283273 59 | 0.000 % |
730.66/731.09 c | 319547 | 1435 215680 949307 | 2147483647 283375 59 | 0.000 % |
731.36/731.70 c | 319659 | 1435 215680 949307 | 2147483647 283487 59 | 0.000 % |
731.86/732.28 c | 319780 | 1435 215680 949307 | 2147483647 283608 59 | 0.000 % |
732.56/732.92 c | 319914 | 1435 215680 949307 | 2147483647 283742 59 | 0.000 % |
733.36/733.71 c | 320064 | 1435 215680 949307 | 2147483647 283892 59 | 0.000 % |
733.86/734.28 c | 320225 | 1435 215680 949307 | 2147483647 284053 60 | 0.000 % |
734.46/734.89 c | 320401 | 1435 215680 949307 | 2147483647 284229 60 | 0.000 % |
735.26/735.63 c | 320594 | 1435 215680 949307 | 2147483647 284422 60 | 0.000 % |
736.16/736.54 c | 320808 | 1435 215680 949307 | 2147483647 284636 60 | 0.000 % |
737.36/737.76 c | 321042 | 1435 215680 949307 | 2147483647 284870 60 | 0.000 % |
738.46/738.82 c | 321298 | 1435 215680 949307 | 2147483647 285126 60 | 0.000 % |
739.56/739.91 c | 321579 | 1435 215680 949307 | 2147483647 285407 60 | 0.000 % |
740.86/741.28 c | 321888 | 1435 215680 949307 | 2147483647 285716 60 | 0.000 % |
742.25/742.64 c | 322227 | 1435 215680 949307 | 2147483647 286055 60 | 0.000 % |
744.05/744.45 c | 322600 | 1435 215680 949307 | 2147483647 286428 60 | 0.000 % |
745.55/745.99 c | 323009 | 1435 215680 949307 | 2147483647 286837 60 | 0.000 % |
747.75/748.18 c | 323458 | 1435 215680 949307 | 2147483647 287286 60 | 0.000 % |
749.65/750.00 c | 323951 | 1435 215680 949307 | 2147483647 287779 60 | 0.000 % |
751.55/751.93 c | 324494 | 1435 215680 949307 | 2147483647 288322 60 | 0.000 % |
753.55/753.98 c | 325090 | 1435 215680 949307 | 2147483647 288918 60 | 0.000 % |
757.05/757.40 c | 325745 | 1435 215680 949307 | 2147483647 289573 60 | 0.000 % |
759.85/760.22 c | 326465 | 1435 215680 949307 | 2147483647 290293 60 | 0.000 % |
763.05/763.47 c | 327257 | 1435 215680 949307 | 2147483647 291085 60 | 0.000 % |
767.25/767.63 c | 328133 | 1435 215680 949307 | 2147483647 291961 60 | 0.000 % |
771.25/771.61 c | 329093 | 1435 215680 949307 | 2147483647 292921 60 | 0.000 % |
775.24/775.65 c | 330148 | 1435 215680 949307 | 2147483647 293976 60 | 0.000 % |
780.04/780.41 c | 331307 | 1435 215680 949307 | 2147483647 295135 60 | 0.000 % |
783.24/783.66 c | 332581 | 1435 215680 949307 | 2147483647 296409 60 | 0.000 % |
789.23/789.65 c | 333981 | 1435 215680 949307 | 2147483647 297809 60 | 0.000 % |
794.63/795.08 c | 335522 | 1435 215680 949307 | 2147483647 299350 60 | 0.000 % |
801.64/802.03 c | 337216 | 1435 215680 949307 | 2147483647 301044 60 | 0.000 % |
809.13/809.58 c | 339079 | 1435 215680 949307 | 2147483647 302907 60 | 0.000 % |
815.42/815.88 c | 341128 | 1435 215680 949307 | 2147483647 304956 60 | 0.000 % |
824.42/824.80 c | 343381 | 1435 215680 949307 | 2147483647 307209 60 | 0.000 % |
832.61/833.06 c | 345859 | 1435 215680 949307 | 2147483647 309687 60 | 0.000 % |
841.62/842.08 c | 348586 | 1435 215680 949307 | 2147483647 312414 61 | 0.000 % |
854.61/855.00 c | 351583 | 1435 215680 949307 | 2147483647 315411 61 | 0.000 % |
868.30/868.77 c | 354879 | 1435 215680 949307 | 2147483647 318707 61 | 0.000 % |
868.70/869.15 c | 354980 | 1435 215680 949307 | 2147483647 318808 61 | 0.000 % |
869.10/869.54 c | 355092 | 1435 215680 949307 | 2147483647 318920 61 | 0.000 % |
869.60/870.07 c | 355213 | 1435 215680 949307 | 2147483647 319041 61 | 0.000 % |
870.10/870.57 c | 355346 | 1435 215680 949307 | 2147483647 319174 61 | 0.000 % |
870.90/871.30 c | 355494 | 1435 215680 949307 | 2147483647 319322 61 | 0.000 % |
871.40/871.89 c | 355654 | 1435 215680 949307 | 2147483647 319482 61 | 0.000 % |
872.00/872.46 c | 355830 | 1435 215680 949307 | 2147483647 319658 61 | 0.000 % |
872.60/873.04 c | 356024 | 1435 215680 949307 | 2147483647 319852 61 | 0.000 % |
873.90/874.34 c | 356238 | 1435 215680 949307 | 2147483647 320066 61 | 0.000 % |
875.10/875.51 c | 356472 | 1435 215680 949307 | 2147483647 320300 61 | 0.000 % |
876.50/876.97 c | 356728 | 1435 215680 949307 | 2147483647 320556 61 | 0.000 % |
877.60/878.03 c | 357009 | 1435 215680 949307 | 2147483647 320837 61 | 0.000 % |
878.60/879.06 c | 357320 | 1435 215680 949307 | 2147483647 321148 61 | 0.000 % |
879.80/880.23 c | 357660 | 1435 215680 949307 | 2147483647 321488 61 | 0.000 % |
881.00/881.40 c | 358033 | 1435 215680 949307 | 2147483647 321861 61 | 0.000 % |
882.70/883.18 c | 358442 | 1435 215680 949307 | 2147483647 322270 61 | 0.000 % |
884.00/884.41 c | 358893 | 1435 215680 949307 | 2147483647 322721 61 | 0.000 % |
885.39/885.83 c | 359388 | 1435 215680 949307 | 2147483647 323216 61 | 0.000 % |
887.30/887.75 c | 359930 | 1435 215680 949307 | 2147483647 323758 61 | 0.000 % |
889.69/890.11 c | 360528 | 1435 215680 949307 | 2147483647 324356 61 | 0.000 % |
891.09/891.57 c | 361183 | 1435 215680 949307 | 2147483647 325011 61 | 0.000 % |
892.69/893.16 c | 361903 | 1435 215680 949307 | 2147483647 325731 61 | 0.000 % |
894.79/895.22 c | 362695 | 1435 215680 949307 | 2147483647 326523 61 | 0.000 % |
896.79/897.27 c | 363567 | 1435 215680 949307 | 2147483647 327395 61 | 0.000 % |
899.68/900.14 c | 364529 | 1435 215680 949307 | 2147483647 328357 61 | 0.000 % |
904.18/904.68 c | 365583 | 1435 215680 949307 | 2147483647 329411 61 | 0.000 % |
908.19/908.61 c | 366743 | 1435 215680 949307 | 2147483647 330571 61 | 0.000 % |
913.39/913.86 c | 368017 | 1435 215680 949307 | 2147483647 331845 61 | 0.000 % |
915.98/916.42 c | 369418 | 1435 215680 949307 | 2147483647 333246 61 | 0.000 % |
922.38/922.86 c | 370958 | 1435 215680 949307 | 2147483647 334786 61 | 0.000 % |
927.78/928.23 c | 372652 | 1435 215680 949307 | 2147483647 336480 61 | 0.000 % |
935.17/935.64 c | 374516 | 1435 215680 949307 | 2147483647 338344 61 | 0.000 % |
941.87/942.33 c | 376565 | 1435 215680 949307 | 2147483647 340393 61 | 0.000 % |
952.07/952.58 c | 378820 | 1435 215680 949307 | 2147483647 342648 61 | 0.000 % |
961.26/961.71 c | 381299 | 1435 215680 949307 | 2147483647 345127 61 | 0.000 % |
973.46/973.97 c | 384025 | 1435 215680 949307 | 2147483647 347853 61 | 0.000 % |
986.45/986.91 c | 387027 | 1435 215680 949307 | 2147483647 350855 61 | 0.000 % |
1001.75/1002.21 c | 390324 | 1435 215680 949307 | 2147483647 354152 62 | 0.000 % |
1016.84/1017.34 c | 393949 | 1435 215680 949307 | 2147483647 357777 62 | 0.000 % |
1017.24/1017.75 c | 394051 | 1435 215680 949307 | 2147483647 357879 62 | 0.000 % |
1018.24/1018.76 c | 394161 | 1435 215680 949307 | 2147483647 357989 62 | 0.000 % |
1018.94/1019.46 c | 394285 | 1435 215680 949307 | 2147483647 358113 62 | 0.000 % |
1019.54/1020.06 c | 394419 | 1435 215680 949307 | 2147483647 358247 62 | 0.000 % |
1020.54/1021.09 c | 394566 | 1435 215680 949307 | 2147483647 358394 62 | 0.000 % |
1021.54/1022.03 c | 394726 | 1435 215680 949307 | 2147483647 358554 62 | 0.000 % |
1022.54/1023.05 c | 394902 | 1435 215680 949307 | 2147483647 358730 62 | 0.000 % |
1023.64/1024.16 c | 395095 | 1435 215680 949307 | 2147483647 358923 62 | 0.000 % |
1024.74/1025.23 c | 395307 | 1435 215680 949307 | 2147483647 359135 62 | 0.000 % |
1025.93/1026.50 c | 395540 | 1435 215680 949307 | 2147483647 359368 62 | 0.000 % |
1027.63/1028.10 c | 395798 | 1435 215680 949307 | 2147483647 359626 62 | 0.002 % |
1028.83/1029.38 c | 396087 | 1435 215680 949307 | 2147483647 359915 62 | 0.000 % |
1031.03/1031.51 c | 396396 | 1435 215680 949307 | 2147483647 360224 62 | 0.000 % |
1032.73/1033.21 c | 396735 | 1435 215680 949307 | 2147483647 360563 62 | 0.000 % |
1034.23/1034.72 c | 397108 | 1435 215680 949307 | 2147483647 360936 62 | 0.000 % |
1035.63/1036.19 c | 397518 | 1435 215680 949307 | 2147483647 361346 62 | 0.000 % |
1038.23/1038.79 c | 397967 | 1435 215680 949307 | 2147483647 361795 62 | 0.000 % |
1040.43/1040.98 c | 398460 | 1435 215680 949307 | 2147483647 362288 62 | 0.000 % |
1043.03/1043.51 c | 399004 | 1435 215680 949307 | 2147483647 362832 62 | 0.000 % |
1046.13/1046.65 c | 399601 | 1435 215680 949307 | 2147483647 363429 62 | 0.000 % |
1049.13/1049.60 c | 400256 | 1435 215680 949307 | 2147483647 364084 62 | 0.000 % |
1053.02/1053.56 c | 400979 | 1435 215680 949307 | 2147483647 364807 62 | 0.000 % |
1055.12/1055.69 c | 401773 | 1435 215680 949307 | 2147483647 365601 62 | 0.000 % |
1061.92/1062.48 c | 402644 | 1435 215680 949307 | 2147483647 366472 62 | 0.000 % |
1068.01/1068.55 c | 403603 | 1435 215680 949307 | 2147483647 367431 62 | 0.000 % |
1074.11/1074.67 c | 404657 | 1435 215680 949307 | 2147483647 368485 62 | 0.000 % |
1079.12/1079.62 c | 405815 | 1435 215680 949307 | 2147483647 369643 62 | 0.000 % |
1084.51/1085.08 c | 407089 | 1435 215680 949307 | 2147483647 370917 62 | 0.000 % |
1091.81/1092.37 c | 408491 | 1435 215680 949307 | 2147483647 372319 62 | 0.000 % |
1098.80/1099.33 c | 410036 | 1435 215680 949307 | 2147483647 373864 62 | 0.000 % |
1106.50/1107.06 c | 411731 | 1435 215680 949307 | 2147483647 375559 62 | 0.000 % |
1114.91/1115.49 c | 413594 | 1435 215680 949307 | 2147483647 377422 62 | 0.000 % |
1121.50/1122.05 c | 415644 | 1435 215680 949307 | 2147483647 379472 62 | 0.000 % |
1130.29/1130.84 c | 417897 | 1435 215680 949307 | 2147483647 381725 62 | 0.000 % |
1136.39/1136.94 c | 420375 | 1435 215680 949307 | 2147483647 384203 62 | 0.000 % |
1146.48/1147.07 c | 423101 | 1435 215680 949307 | 2147483647 386929 62 | 0.000 % |
1153.59/1154.19 c | 426098 | 1435 215680 949307 | 2147483647 389926 62 | 0.000 % |
1160.58/1161.18 c | 429394 | 1435 215680 949307 | 2147483647 393222 62 | 0.000 % |
1177.37/1177.95 c | 433022 | 1435 215680 949307 | 393829 340791 61 | 0.000 % |
1187.97/1188.50 c | 437012 | 1435 215680 949307 | 393829 344781 61 | 0.000 % |
1188.27/1188.80 c | 437112 | 1435 215680 949307 | 393829 344881 61 | 0.000 % |
1188.67/1189.21 c | 437226 | 1435 215680 949307 | 393829 344995 61 | 0.000 % |
1189.07/1189.60 c | 437347 | 1435 215680 949307 | 393829 345116 61 | 0.000 % |
1189.47/1190.03 c | 437481 | 1435 215680 949307 | 393829 345250 61 | 0.000 % |
1189.97/1190.55 c | 437628 | 1435 215680 949307 | 393829 345397 61 | 0.000 % |
1190.47/1191.07 c | 437789 | 1435 215680 949307 | 393829 345558 61 | 0.001 % |
1191.17/1191.72 c | 437966 | 1435 215680 949307 | 393829 345735 61 | 0.000 % |
1191.77/1192.34 c | 438161 | 1435 215680 949307 | 393829 345930 61 | 0.000 % |
1192.47/1193.03 c | 438373 | 1435 215680 949307 | 393829 346142 61 | 0.000 % |
1193.37/1193.92 c | 438608 | 1435 215680 949307 | 393829 346377 61 | 0.000 % |
1194.17/1194.70 c | 438867 | 1435 215680 949307 | 393829 346636 61 | 0.000 % |
1194.86/1195.46 c | 439148 | 1435 215680 949307 | 393829 346917 61 | 0.000 % |
1195.86/1196.48 c | 439457 | 1435 215680 949307 | 393829 347226 61 | 0.000 % |
1196.96/1197.54 c | 439798 | 1435 215680 949307 | 393829 347567 61 | 0.000 % |
1198.06/1198.63 c | 440172 | 1435 215680 949307 | 347769 347941 61 | 0.000 % |
1207.26/1207.84 c | 440582 | 1435 215680 949307 | 347769 293174 62 | 0.000 % |
1208.46/1209.02 c | 441031 | 1435 215680 949307 | 347769 293623 62 | 0.000 % |
1209.66/1210.20 c | 441525 | 1435 215680 949307 | 347769 294117 62 | 0.000 % |
1211.16/1211.72 c | 442069 | 1435 215680 949307 | 347769 294661 62 | 0.000 % |
1212.96/1213.51 c | 442665 | 1435 215680 949307 | 347769 295257 62 | 0.000 % |
1214.75/1215.34 c | 443321 | 1435 215680 949307 | 347769 295913 62 | 0.000 % |
1216.55/1217.12 c | 444042 | 1435 215680 949307 | 347769 296634 62 | 0.000 % |
1218.95/1219.52 c | 444834 | 1435 215680 949307 | 347769 297426 62 | 0.000 % |
1222.25/1222.89 c | 445707 | 1435 215680 949307 | 347769 298299 62 | 0.000 % |
1226.15/1226.79 c | 446665 | 1435 215680 949307 | 347769 299257 62 | 0.000 % |
1228.35/1228.96 c | 447719 | 1435 215680 949307 | 347769 300311 62 | 0.000 % |
1230.25/1230.81 c | 448877 | 1435 215680 949307 | 347769 301469 62 | 0.000 % |
1232.35/1232.93 c | 450150 | 1435 215680 949307 | 302593 302742 62 | 0.000 % |
1240.04/1240.66 c | 451551 | 1435 215680 949307 | 302593 270535 62 | 0.000 % |
1242.74/1243.31 c | 453092 | 1435 215680 949307 | 302593 272076 62 | 0.000 % |
1248.14/1248.74 c | 454789 | 1435 215680 949307 | 302593 273773 62 | 0.000 % |
1255.34/1255.91 c | 456652 | 1435 215680 949307 | 302593 275636 63 | 0.000 % |
1261.33/1261.93 c | 458701 | 1435 215680 949307 | 302593 277685 63 | 0.000 % |
1268.33/1268.99 c | 460955 | 1435 215680 949307 | 2147483647 279939 63 | 0.000 % |
1276.53/1277.17 c | 463436 | 1435 215680 949307 | 2147483647 282420 63 | 0.000 % |
1285.33/1285.98 c | 466161 | 1435 215680 949307 | 2147483647 285145 63 | 0.000 % |
1297.72/1298.34 c | 469158 | 1435 215680 949307 | 2147483647 288142 63 | 0.000 % |
1319.61/1320.21 c | 472455 | 1435 215680 949307 | 288985 238953 64 | 0.000 % |
1334.61/1335.30 c | 476084 | 1435 215680 949307 | 288985 242582 64 | 0.000 % |
1348.50/1349.20 c | 480074 | 1435 215680 949307 | 246500 246572 64 | 0.000 % |
1378.49/1379.17 c | 484460 | 1435 215680 949307 | 246500 197836 64 | 0.000 % |
1378.89/1379.53 c | 484562 | 1435 215680 949307 | 246500 197938 64 | 0.000 % |
1379.89/1380.52 c | 484678 | 1435 215680 949307 | 246500 198054 64 | 0.000 % |
1380.79/1381.50 c | 484804 | 1435 215680 949307 | 246500 198180 64 | 0.000 % |
1381.79/1382.40 c | 484937 | 1435 215680 949307 | 246500 198313 64 | 0.000 % |
1382.69/1383.36 c | 485084 | 1435 215680 949307 | 246500 198460 64 | 0.000 % |
1383.99/1384.61 c | 485245 | 1435 215680 949307 | 246500 198621 64 | 0.000 % |
1385.29/1385.91 c | 485422 | 1435 215680 949307 | 246500 198798 64 | 0.000 % |
1385.79/1386.42 c | 485617 | 1435 215680 949307 | 246500 198993 64 | 0.000 % |
1387.29/1387.95 c | 485830 | 1435 215680 949307 | 246500 199206 64 | 0.000 % |
1388.49/1389.13 c | 486064 | 1435 215680 949307 | 246500 199440 64 | 0.000 % |
1389.49/1390.20 c | 486322 | 1435 215680 949307 | 246500 199698 64 | 0.000 % |
1390.49/1391.13 c | 486604 | 1435 215680 949307 | 246500 199980 64 | 0.000 % |
1390.99/1391.69 c | 486913 | 1435 215680 949307 | 246500 200289 64 | 0.000 % |
1392.58/1393.21 c | 487252 | 1435 215680 949307 | 246500 200628 64 | 0.000 % |
1394.19/1394.84 c | 487625 | 1435 215680 949307 | 246500 201001 64 | 0.000 % |
1395.29/1395.99 c | 488038 | 1435 215680 949307 | 246500 201414 64 | 0.000 % |
1398.59/1399.29 c | 488487 | 1435 215680 949307 | 246500 201863 64 | 0.000 % |
1401.68/1402.35 c | 488981 | 1435 215680 949307 | 246500 202357 64 | 0.000 % |
1403.08/1403.71 c | 489524 | 1435 215680 949307 | 246500 202900 64 | 0.000 % |
1405.08/1405.78 c | 490121 | 1435 215680 949307 | 203376 203497 64 | 0.000 % |
1413.88/1414.53 c | 490776 | 1435 215680 949307 | 203376 161834 64 | 0.000 % |
1417.18/1417.89 c | 491497 | 1435 215680 949307 | 203376 162555 64 | 0.000 % |
1419.87/1420.55 c | 492290 | 1435 215680 949307 | 203376 163348 64 | 0.000 % |
1425.07/1425.74 c | 493161 | 1435 215680 949307 | 203376 164219 64 | 0.000 % |
1430.77/1431.49 c | 494120 | 1435 215680 949307 | 203376 165178 64 | 0.000 % |
1435.16/1435.84 c | 495176 | 1435 215680 949307 | 203376 166234 64 | 0.000 % |
1443.66/1444.35 c | 496334 | 1435 215680 949307 | 203376 167392 64 | 0.000 % |
1450.56/1451.23 c | 497607 | 1435 215680 949307 | 203376 168665 64 | 0.000 % |
1456.06/1456.70 c | 499009 | 1435 215680 949307 | 203376 170067 64 | 0.000 % |
1465.05/1465.78 c | 500549 | 1435 215680 949307 | 171058 136949 62 | 0.000 % |
1474.75/1475.40 c | 502243 | 1435 215680 949307 | 171058 138643 62 | 0.000 % |
1487.65/1488.31 c | 504106 | 1435 215680 949307 | 171058 140506 62 | 0.000 % |
1499.64/1500.33 c | 506157 | 1435 215680 949307 | 171058 142557 62 | 0.000 % |
1514.04/1514.77 c | 508413 | 1435 215680 949307 | 171058 144813 62 | 0.000 % |
1534.12/1534.86 c | 510891 | 1435 215680 949307 | 146401 108490 63 | 0.000 % |
1550.81/1551.55 c | 513617 | 1435 215680 949307 | 146401 111216 63 | 0.000 % |
1571.61/1572.36 c | 516615 | 1435 215680 949307 | 146401 114214 63 | 0.000 % |
1601.10/1601.80 c | 519911 | 1435 215680 949307 | 146401 117510 63 | 0.000 % |
1635.79/1636.57 c | 523537 | 1435 215680 949307 | 117600 81741 63 | 0.000 % |
1659.28/1660.09 c | 527526 | 1435 215680 949307 | 117600 85730 63 | 0.000 % |
1690.66/1691.49 c | 531912 | 1435 215680 949307 | 88205 59513 63 | 0.000 % |
1719.66/1720.46 c | 536736 | 1435 215680 949307 | 88205 64337 64 | 0.000 % |
1720.25/1721.01 c | 536839 | 1435 215680 949307 | 88205 64440 64 | 0.000 % |
1720.66/1721.43 c | 536952 | 1435 215680 949307 | 88205 64553 64 | 0.000 % |
1721.35/1722.19 c | 537074 | 1435 215680 949307 | 88205 64675 64 | 0.000 % |
1722.05/1722.86 c | 537208 | 1435 215680 949307 | 88205 64809 64 | 0.000 % |
1723.05/1723.88 c | 537355 | 1435 215680 949307 | 88205 64956 64 | 0.001 % |
1723.95/1724.72 c | 537515 | 1435 215680 949307 | 88205 65116 64 | 0.000 % |
1725.05/1725.89 c | 537692 | 1435 215680 949307 | 88205 65293 64 | 0.000 % |
1726.05/1726.89 c | 537885 | 1435 215680 949307 | 88205 65486 64 | 0.000 % |
1727.25/1728.00 c | 538098 | 1435 215680 949307 | 88205 65699 64 | 0.000 % |
1729.05/1729.84 c | 538335 | 1435 215680 949307 | 88205 65936 64 | 0.000 % |
1730.94/1731.76 c | 538591 | 1435 215680 949307 | 88205 66192 64 | 0.000 % |
1732.34/1733.17 c | 538873 | 1435 215680 949307 | 88205 66474 64 | 0.000 % |
1734.64/1735.43 c | 539183 | 1435 215680 949307 | 88205 66784 64 | 0.000 % |
1736.74/1737.53 c | 539522 | 1435 215680 949307 | 88205 67123 64 | 0.000 % |
1739.64/1740.49 c | 539895 | 1435 215680 949307 | 88205 67496 64 | 0.000 % |
1740.54/1741.36 c | 540304 | 1435 215680 949307 | 67601 67905 64 | 0.000 % |
1744.14/1744.97 c | 540755 | 1435 215680 949307 | 67601 50535 63 | 0.000 % |
1745.94/1746.80 c | 541249 | 1435 215680 949307 | 67601 51029 63 | 0.000 % |
1748.64/1749.45 c | 541792 | 1435 215680 949307 | 67601 51572 63 | 0.000 % |
1751.34/1752.11 c | 542388 | 1435 215680 949307 | 67601 52168 63 | 0.000 % |
1754.74/1755.54 c | 543044 | 1435 215680 949307 | 67601 52824 63 | 0.000 % |
1757.63/1758.41 c | 543764 | 1435 215680 949307 | 67601 53544 63 | 0.000 % |
1762.73/1763.53 c | 544556 | 1435 215680 949307 | 67601 54336 63 | 0.000 % |
1769.32/1770.12 c | 545428 | 1435 215680 949307 | 67601 55208 63 | 0.000 % |
1773.92/1774.79 c | 546387 | 1435 215680 949307 | 67601 56167 63 | 0.000 % |
1778.82/1779.65 c | 547441 | 1435 215680 949307 | 67601 57221 63 | 0.000 % |
1783.22/1784.06 c | 548600 | 1435 215680 949307 | 67601 58380 63 | 0.000 % |
1787.02/1787.86 c | 549873 | 1435 215680 949307 | 67601 59653 63 | 0.000 % |
1794.51/1795.30 c | 551276 | 1435 215680 949307 | 59781 47470 63 | 0.000 % |
1800.31/1801.14 c | 552817 | 1435 215680 949307 | 59781 49011 63 | 0.000 % |
1806.11/1806.93 c | 554511 | 1435 215680 949307 | 59781 50705 63 | 0.000 % |
1812.31/1813.17 c | 556375 | 1435 215680 949307 | 59781 52569 63 | 0.000 % |
1819.30/1820.17 c | 558424 | 1435 215680 949307 | 59781 54618 63 | 0.000 % |
1829.10/1829.96 c | 560678 | 1435 215680 949307 | 56197 47338 64 | 0.000 % |
1838.41/1839.22 c | 563160 | 1435 215680 949307 | 56197 49820 64 | 0.000 % |
1848.60/1849.42 c | 565886 | 1435 215680 949307 | 56197 52546 64 | 0.000 % |
1861.49/1862.37 c | 568884 | 1435 215680 949307 | 56197 55544 64 | 0.000 % |
1873.69/1874.50 c | 572184 | 1435 215680 949307 | 46580 40517 62 | 0.000 % |
1878.78/1879.63 c | 575809 | 1435 215680 949307 | 46580 44142 62 | 0.000 % |
1896.18/1897.00 c | 579796 | 1435 215680 949307 | 46580 42080 62 | 0.000 % |
1912.77/1913.68 c | 584183 | 1435 215680 949307 | 42285 41056 62 | 0.000 % |
1931.06/1931.97 c | 589007 | 1435 215680 949307 | 42285 36359 63 | 0.000 % |
1947.05/1947.94 c | 594312 | 1435 215680 949307 | 37353 34021 63 | 0.000 % |
1947.45/1948.35 c | 594412 | 1435 215680 949307 | 37353 34121 63 | 0.000 % |
1947.85/1948.80 c | 594522 | 1435 215680 949307 | 37353 34231 63 | 0.000 % |
1948.36/1949.29 c | 594643 | 1435 215680 949307 | 37353 34352 63 | 0.000 % |
1949.06/1950.00 c | 594777 | 1435 215680 949307 | 37353 34486 63 | 0.000 % |
1949.75/1950.66 c | 594923 | 1435 215680 949307 | 37353 34632 63 | 0.000 % |
1950.65/1951.54 c | 595084 | 1435 215680 949307 | 37353 34793 63 | 0.000 % |
1951.35/1952.22 c | 595260 | 1435 215680 949307 | 37353 34969 63 | 0.000 % |
1952.05/1952.97 c | 595453 | 1435 215680 949307 | 37353 35162 63 | 0.000 % |
1952.65/1953.54 c | 595666 | 1435 215680 949307 | 37353 35375 63 | 0.000 % |
1953.65/1954.50 c | 595899 | 1435 215680 949307 | 37353 35608 63 | 0.000 % |
1954.55/1955.40 c | 596155 | 1435 215680 949307 | 37353 35864 63 | 0.000 % |
1955.55/1956.43 c | 596436 | 1435 215680 949307 | 37353 36145 63 | 0.000 % |
1956.65/1957.59 c | 596747 | 1435 215680 949307 | 37353 36456 63 | 0.000 % |
1958.05/1958.99 c | 597087 | 1435 215680 949307 | 37353 36796 63 | 0.000 % |
1959.55/1960.46 c | 597460 | 1435 215680 949307 | 37353 37169 63 | 0.000 % |
1961.65/1962.56 c | 597869 | 1435 215680 949307 | 37353 37578 63 | 0.000 % |
1962.95/1963.89 c | 598318 | 1435 215680 949307 | 37353 33219 63 | 0.000 % |
1964.45/1965.38 c | 598813 | 1435 215680 949307 | 37353 33714 63 | 0.000 % |
1966.34/1967.23 c | 599356 | 1435 215680 949307 | 37353 34257 63 | 0.000 % |
1968.24/1969.12 c | 599953 | 1435 215680 949307 | 37353 34854 63 | 0.000 % |
1969.94/1970.88 c | 600609 | 1435 215680 949307 | 34904 31739 63 | 0.000 % |
1971.14/1972.00 c | 601330 | 1435 215680 949307 | 34904 32460 63 | 0.000 % |
1972.94/1973.87 c | 602122 | 1435 215680 949307 | 34904 33252 63 | 0.000 % |
1975.14/1976.05 c | 602994 | 1435 215680 949307 | 34904 34124 64 | 0.000 % |
1978.54/1979.43 c | 603952 | 1435 215680 949307 | 34904 35082 64 | 0.000 % |
1981.94/1982.86 c | 605005 | 1435 215680 949307 | 34904 32627 64 | 0.000 % |
1984.94/1985.81 c | 606165 | 1435 215680 949307 | 34904 33787 64 | 0.000 % |
1988.04/1988.91 c | 607438 | 1435 215680 949307 | 34904 35060 64 | 0.002 % |
1991.15/1992.05 c | 608838 | 1435 215680 949307 | 34904 32954 63 | 0.000 % |
1995.04/1995.90 c | 610378 | 1435 215680 949307 | 2147483647 34494 63 | 0.000 % |
1998.54/1999.40 c | 612072 | 1435 215680 949307 | 2147483647 36188 63 | 0.000 % |
2004.94/2005.89 c | 613936 | 1435 215680 949307 | 2147483647 38052 64 | 0.000 % |
2011.43/2012.36 c | 615985 | 1435 215680 949307 | 2147483647 40101 63 | 0.000 % |
2020.43/2021.32 c | 618239 | 1435 215680 949307 | 2147483647 42355 63 | 0.000 % |
2031.22/2032.10 c | 620717 | 1435 215680 949307 | 44116 38945 62 | 0.000 % |
2041.12/2042.01 c | 623443 | 1435 215680 949307 | 44116 41671 62 | 0.000 % |
2054.92/2055.81 c | 626441 | 1435 215680 949307 | 44116 36202 61 | 0.000 % |
2067.31/2068.29 c | 629738 | 1435 215680 949307 | 44116 39499 61 | 0.000 % |
2071.71/2072.67 c | 633364 | 1435 215680 949307 | 39761 36069 60 | 0.000 % |
2083.00/2083.99 c | 637354 | 1435 215680 949307 | 39761 40059 60 | 0.000 % |
2093.80/2094.72 c | 641739 | 1435 215680 949307 | 38121 35460 59 | 0.000 % |
2106.09/2107.01 c | 646563 | 1435 215680 949307 | 38121 35638 58 | 0.000 % |
2119.09/2120.07 c | 651868 | 1435 215680 949307 | 34698 32879 57 | 0.000 % |
2127.98/2128.97 c | 657704 | 1435 215680 949307 | 34698 35193 57 | 0.000 % |
2128.38/2129.37 c | 657804 | 1435 215680 949307 | 34698 31774 57 | 0.000 % |
2128.78/2129.72 c | 657914 | 1435 215680 949307 | 34698 31884 57 | 0.000 % |
2129.08/2130.08 c | 658036 | 1435 215680 949307 | 34698 32006 57 | 0.000 % |
2129.48/2130.47 c | 658169 | 1435 215680 949307 | 34698 32139 57 | 0.000 % |
2129.98/2130.96 c | 658315 | 1435 215680 949307 | 34698 32285 57 | 0.000 % |
2130.48/2131.48 c | 658475 | 1435 215680 949307 | 34698 32445 57 | 0.000 % |
2130.98/2131.98 c | 658651 | 1435 215680 949307 | 34698 32621 57 | 0.000 % |
2131.68/2132.61 c | 658844 | 1435 215680 949307 | 34698 32814 57 | 0.000 % |
2132.28/2133.23 c | 659056 | 1435 215680 949307 | 34698 33026 57 | 0.000 % |
2132.99/2133.94 c | 659289 | 1435 215680 949307 | 34698 33259 57 | 0.000 % |
2133.78/2134.75 c | 659546 | 1435 215680 949307 | 34698 33516 57 | 0.000 % |
2134.88/2135.80 c | 659827 | 1435 215680 949307 | 34698 33797 57 | 0.000 % |
2135.78/2136.74 c | 660137 | 1435 215680 949307 | 2147483647 34107 57 | 0.000 % |
2136.68/2137.68 c | 660476 | 1435 215680 949307 | 2147483647 34446 57 | 0.000 % |
2138.28/2139.22 c | 660848 | 1435 215680 949307 | 2147483647 34818 57 | 0.000 % |
2139.58/2140.58 c | 661258 | 1435 215680 949307 | 2147483647 35228 57 | 0.000 % |
2140.88/2141.88 c | 661707 | 1435 215680 949307 | 2147483647 35677 57 | 0.000 % |
2142.38/2143.38 c | 662203 | 1435 215680 949307 | 2147483647 36173 57 | 0.000 % |
2143.88/2144.82 c | 662746 | 1435 215680 949307 | 2147483647 36716 57 | 0.000 % |
2145.48/2146.45 c | 663343 | 1435 215680 949307 | 2147483647 37313 57 | 0.000 % |
2147.18/2148.12 c | 663998 | 1435 215680 949307 | 2147483647 37968 57 | 0.000 % |
2148.87/2149.86 c | 664718 | 1435 215680 949307 | 2147483647 38688 57 | 0.000 % |
2149.58/2150.58 c | 665510 | 1435 215680 949307 | 2147483647 39480 57 | 0.000 % |
2152.57/2153.59 c | 666382 | 1435 215680 949307 | 2147483647 40352 57 | 0.000 % |
2153.17/2154.18 c | 667341 | 1435 215680 949307 | 2147483647 41311 57 | 0.000 % |
2155.57/2156.53 c | 668396 | 1435 215680 949307 | 2147483647 42366 58 | 0.000 % |
2162.07/2163.08 c | 669556 | 1435 215680 949307 | 2147483647 43526 58 | 0.000 % |
2166.27/2167.25 c | 670831 | 1435 215680 949307 | 2147483647 44801 59 | 0.000 % |
2172.47/2173.42 c | 672232 | 1435 215680 949307 | 2147483647 46202 59 | 0.000 % |
2176.97/2177.90 c | 673772 | 1435 215680 949307 | 2147483647 47742 60 | 0.000 % |
2185.47/2186.42 c | 675466 | 1435 215680 949307 | 2147483647 49436 60 | 0.000 % |
2194.46/2195.43 c | 677329 | 1435 215680 949307 | 2147483647 51299 61 | 0.000 % |
2204.96/2205.95 c | 679378 | 1435 215680 949307 | 2147483647 53348 61 | 0.000 % |
2210.25/2211.26 c | 681633 | 1435 215680 949307 | 2147483647 55603 62 | 0.000 % |
2222.65/2223.64 c | 684112 | 1435 215680 949307 | 2147483647 58082 62 | 0.000 % |
2232.74/2233.74 c | 686837 | 1435 215680 949307 | 2147483647 60807 63 | 0.000 % |
2247.44/2248.42 c | 689835 | 1435 215680 949307 | 2147483647 63805 63 | 0.000 % |
2261.83/2262.81 c | 693132 | 1435 215680 949307 | 63970 54297 65 | 0.015 % |
2274.53/2275.53 c | 696758 | 1435 215680 949307 | 63970 57923 65 | 0.000 % |
2279.72/2280.72 c | 700746 | 1435 215680 949307 | 61169 52997 67 | 0.000 % |
2288.72/2289.77 c | 705132 | 1435 215680 949307 | 61169 57383 69 | 0.000 % |
2302.51/2303.59 c | 709956 | 1435 215680 949307 | 61169 56040 71 | 0.000 % |
2311.71/2312.73 c | 715262 | 1435 215680 949307 | 2147483647 61346 72 | 0.000 % |
2327.90/2328.91 c | 721098 | 1435 215680 949307 | 2147483647 67182 73 | 0.000 % |
2340.91/2341.96 c | 727517 | 1435 215680 949307 | 2147483647 73601 75 | 0.000 % |
2341.30/2342.37 c | 727617 | 1435 215680 949307 | 2147483647 73701 75 | 0.000 % |
2341.60/2342.62 c | 727727 | 1435 215680 949307 | 2147483647 73811 75 | 0.000 % |
2341.80/2342.88 c | 727848 | 1435 215680 949307 | 2147483647 73932 75 | 0.000 % |
2342.01/2343.04 c | 727981 | 1435 215680 949307 | 2147483647 74065 75 | 0.000 % |
2342.50/2343.55 c | 728127 | 1435 215680 949307 | 2147483647 74211 75 | 0.000 % |
2343.11/2344.16 c | 728288 | 1435 215680 949307 | 2147483647 74372 75 | 0.000 % |
2343.60/2344.62 c | 728464 | 1435 215680 949307 | 2147483647 74548 75 | 0.000 % |
2344.11/2345.14 c | 728659 | 1435 215680 949307 | 2147483647 74743 75 | 0.000 % |
2344.50/2345.58 c | 728871 | 1435 215680 949307 | 2147483647 74955 75 | 0.000 % |
2345.11/2346.17 c | 729105 | 1435 215680 949307 | 2147483647 75189 75 | 0.000 % |
2345.70/2346.75 c | 729363 | 1435 215680 949307 | 2147483647 75447 75 | 0.000 % |
2346.60/2347.65 c | 729644 | 1435 215680 949307 | 2147483647 75728 75 | 0.000 % |
2347.20/2348.27 c | 729954 | 1435 215680 949307 | 2147483647 76038 75 | 0.000 % |
2348.00/2349.08 c | 730294 | 1435 215680 949307 | 2147483647 76378 75 | 0.000 % |
2348.70/2349.75 c | 730667 | 1435 215680 949307 | 2147483647 76751 75 | 0.000 % |
2349.80/2350.82 c | 731077 | 1435 215680 949307 | 2147483647 77161 74 | 0.000 % |
2351.00/2352.09 c | 731529 | 1435 215680 949307 | 2147483647 77613 74 | 0.000 % |
2353.20/2354.24 c | 732022 | 1435 215680 949307 | 2147483647 78106 74 | 0.000 % |
2355.20/2356.24 c | 732564 | 1435 215680 949307 | 2147483647 78648 75 | 0.000 % |
2358.10/2359.16 c | 733160 | 1435 215680 949307 | 2147483647 79244 75 | 0.000 % |
2360.30/2361.36 c | 733817 | 1435 215680 949307 | 2147483647 79901 74 | 0.000 % |
2362.70/2363.72 c | 734540 | 1435 215680 949307 | 2147483647 80624 74 | 0.000 % |
2364.60/2365.64 c | 735332 | 1435 215680 949307 | 2147483647 81416 74 | 0.000 % |
2366.79/2367.85 c | 736203 | 1435 215680 949307 | 2147483647 82287 74 | 0.000 % |
2367.89/2368.98 c | 737162 | 1435 215680 949307 | 2147483647 83246 74 | 0.000 % |
2370.50/2371.52 c | 738218 | 1435 215680 949307 | 2147483647 84302 74 | 0.000 % |
2374.19/2375.20 c | 739376 | 1435 215680 949307 | 2147483647 85460 74 | 0.000 % |
2377.99/2379.07 c | 740650 | 1435 215680 949307 | 2147483647 86734 74 | 0.000 % |
2383.19/2384.26 c | 742050 | 1435 215680 949307 | 2147483647 88134 73 | 0.000 % |
2386.69/2387.76 c | 743590 | 1435 215680 949307 | 2147483647 89674 73 | 0.000 % |
2390.69/2391.74 c | 745285 | 1435 215680 949307 | 2147483647 91369 73 | 0.000 % |
2394.28/2395.32 c | 747150 | 1435 215680 949307 | 2147483647 93234 73 | 0.000 % |
2397.38/2398.43 c | 749202 | 1435 215680 949307 | 2147483647 95286 72 | 0.000 % |
2400.78/2401.84 c | 751456 | 1435 215680 949307 | 2147483647 97540 72 | 0.000 % |
2405.68/2406.79 c | 753934 | 1435 215680 949307 | 2147483647 100018 71 | 0.000 % |
2411.08/2412.11 c | 756661 | 1435 215680 949307 | 2147483647 102745 71 | 0.000 % |
2417.17/2418.28 c | 759658 | 1435 215680 949307 | 2147483647 105742 70 | 0.000 % |
2423.17/2424.28 c | 762954 | 1435 215680 949307 | 2147483647 109038 71 | 0.000 % |
2431.96/2433.02 c | 766579 | 1435 215680 949307 | 2147483647 112663 71 | 0.000 % |
2439.87/2440.99 c | 770569 | 1435 215680 949307 | 2147483647 116653 71 | 0.000 % |
2447.16/2448.23 c | 774954 | 1435 215680 949307 | 2147483647 121038 71 | 0.000 % |
2454.85/2455.97 c | 779777 | 1435 215680 949307 | 2147483647 125861 71 | 0.000 % |
2464.25/2465.31 c | 785082 | 1435 215680 949307 | 2147483647 131166 70 | 0.000 % |
2475.25/2476.33 c | 790917 | 1435 215680 949307 | 2147483647 137001 70 | 0.000 % |
2486.44/2487.54 c | 797335 | 1435 215680 949307 | 2147483647 143419 70 | 0.000 % |
2499.93/2501.08 c | 804396 | 1435 215680 949307 | 2147483647 150480 70 | 0.000 % |
2500.24/2501.32 c | 804496 | 1435 215680 949307 | 2147483647 150580 70 | 0.000 % |
2500.43/2501.53 c | 804606 | 1435 215680 949307 | 2147483647 150690 70 | 0.000 % |
2500.63/2501.79 c | 804727 | 1435 215680 949307 | 2147483647 150811 70 | 0.000 % |
2501.03/2502.18 c | 804860 | 1435 215680 949307 | 2147483647 150944 70 | 0.000 % |
2501.53/2502.65 c | 805007 | 1435 215680 949307 | 2147483647 151091 70 | 0.000 % |
2501.93/2503.08 c | 805167 | 1435 215680 949307 | 2147483647 151251 70 | 0.000 % |
2502.54/2503.64 c | 805344 | 1435 215680 949307 | 2147483647 151428 70 | 0.000 % |
2503.13/2504.24 c | 805539 | 1435 215680 949307 | 2147483647 151623 70 | 0.000 % |
2503.73/2504.85 c | 805752 | 1435 215680 949307 | 2147483647 151836 70 | 0.000 % |
2504.33/2505.44 c | 805985 | 1435 215680 949307 | 2147483647 152069 70 | 0.000 % |
2504.93/2506.07 c | 806242 | 1435 215680 949307 | 2147483647 152326 70 | 0.000 % |
2505.63/2506.78 c | 806523 | 1435 215680 949307 | 2147483647 152607 70 | 0.000 % |
2506.33/2507.42 c | 806832 | 1435 215680 949307 | 2147483647 152916 70 | 0.000 % |
2507.03/2508.18 c | 807172 | 1435 215680 949307 | 2147483647 153256 70 | 0.000 % |
2507.73/2508.86 c | 807544 | 1435 215680 949307 | 2147483647 153628 70 | 0.000 % |
2508.53/2509.61 c | 807953 | 1435 215680 949307 | 2147483647 154037 70 | 0.000 % |
2509.53/2510.64 c | 808403 | 1435 215680 949307 | 2147483647 154487 70 | 0.000 % |
2510.63/2511.71 c | 808896 | 1435 215680 949307 | 2147483647 154980 70 | 0.000 % |
2511.53/2512.69 c | 809438 | 1435 215680 949307 | 2147483647 155522 70 | 0.000 % |
2512.53/2513.60 c | 810035 | 1435 215680 949307 | 2147483647 156119 70 | 0.000 % |
2514.13/2515.28 c | 810691 | 1435 215680 949307 | 2147483647 156775 70 | 0.000 % |
2515.93/2517.05 c | 811411 | 1435 215680 949307 | 2147483647 157495 70 | 0.000 % |
2517.33/2518.49 c | 812203 | 1435 215680 949307 | 2147483647 158287 70 | 0.000 % |
2519.23/2520.33 c | 813076 | 1435 215680 949307 | 2147483647 159160 70 | 0.000 % |
2521.33/2522.41 c | 814035 | 1435 215680 949307 | 2147483647 160119 71 | 0.000 % |
2524.32/2525.43 c | 815088 | 1435 215680 949307 | 2147483647 161172 71 | 0.000 % |
2527.22/2528.36 c | 816246 | 1435 215680 949307 | 2147483647 162330 71 | 0.000 % |
2530.12/2531.24 c | 817520 | 1435 215680 949307 | 2147483647 163604 71 | 0.000 % |
2533.72/2534.83 c | 818920 | 1435 215680 949307 | 2147483647 165004 71 | 0.000 % |
2537.42/2538.55 c | 820461 | 1435 215680 949307 | 2147483647 166545 71 | 0.000 % |
2541.52/2542.60 c | 822156 | 1435 215680 949307 | 2147483647 168240 71 | 0.000 % |
2545.62/2546.75 c | 824020 | 1435 215680 949307 | 2147483647 170104 71 | 0.000 % |
2551.02/2552.17 c | 826069 | 1435 215680 949307 | 2147483647 172153 71 | 0.000 % |
2559.02/2560.12 c | 828322 | 1435 215680 949307 | 2147483647 174406 71 | 0.000 % |
2565.01/2566.12 c | 830800 | 1435 215680 949307 | 2147483647 176884 71 | 0.000 % |
2570.81/2571.98 c | 833525 | 1435 215680 949307 | 2147483647 179609 71 | 0.000 % |
2580.21/2581.31 c | 836523 | 1435 215680 949307 | 2147483647 182607 71 | 0.000 % |
2588.80/2589.92 c | 839821 | 1435 215680 949307 | 2147483647 185905 71 | 0.000 % |
2596.69/2597.82 c | 843447 | 1435 215680 949307 | 2147483647 189531 71 | 0.000 % |
2608.29/2609.40 c | 847434 | 1435 215680 949307 | 2147483647 193518 71 | 0.000 % |
2619.98/2621.12 c | 851821 | 1435 215680 949307 | 2147483647 197905 71 | 0.000 % |
2631.98/2633.15 c | 856645 | 1435 215680 949307 | 2147483647 202729 71 | 0.000 % |
2647.68/2648.85 c | 861952 | 1435 215680 949307 | 2147483647 208036 71 | 0.000 % |
2666.56/2667.73 c | 867789 | 1435 215680 949307 | 2147483647 213873 71 | 0.000 % |
2685.16/2686.30 c | 874209 | 1435 215680 949307 | 2147483647 220293 71 | 0.000 % |
2710.36/2711.52 c | 881272 | 1435 215680 949307 | 2147483647 227356 71 | 0.000 % |
2737.94/2739.17 c | 889037 | 1435 215680 949307 | 2147483647 235121 71 | 0.000 % |
2738.54/2739.75 c | 889137 | 1435 215680 949307 | 2147483647 235221 71 | 0.000 % |
2739.04/2740.27 c | 889247 | 1435 215680 949307 | 2147483647 235331 71 | 0.000 % |
2739.44/2740.68 c | 889368 | 1435 215680 949307 | 2147483647 235452 71 | 0.000 % |
2739.95/2741.17 c | 889504 | 1435 215680 949307 | 2147483647 235588 71 | 0.000 % |
2740.64/2741.84 c | 889650 | 1435 215680 949307 | 2147483647 235734 71 | 0.000 % |
2741.24/2742.50 c | 889810 | 1435 215680 949307 | 2147483647 235894 71 | 0.000 % |
2742.04/2743.20 c | 889987 | 1435 215680 949307 | 2147483647 236071 71 | 0.000 % |
2742.64/2743.88 c | 890183 | 1435 215680 949307 | 2147483647 236267 71 | 0.000 % |
2743.44/2744.65 c | 890395 | 1435 215680 949307 | 2147483647 236479 71 | 0.000 % |
2744.44/2745.65 c | 890628 | 1435 215680 949307 | 2147483647 236712 71 | 0.000 % |
2745.44/2746.68 c | 890885 | 1435 215680 949307 | 2147483647 236969 71 | 0.000 % |
2746.65/2747.86 c | 891170 | 1435 215680 949307 | 2147483647 237254 71 | 0.000 % |
2747.64/2748.89 c | 891481 | 1435 215680 949307 | 2147483647 237565 71 | 0.000 % |
2749.04/2750.27 c | 891822 | 1435 215680 949307 | 2147483647 237906 71 | 0.000 % |
2750.14/2751.40 c | 892198 | 1435 215680 949307 | 2147483647 238282 71 | 0.000 % |
2751.74/2753.00 c | 892607 | 1435 215680 949307 | 2147483647 238691 71 | 0.000 % |
2753.34/2754.56 c | 893057 | 1435 215680 949307 | 2147483647 239141 71 | 0.000 % |
2755.14/2756.38 c | 893551 | 1435 215680 949307 | 2147483647 239635 71 | 0.000 % |
2757.14/2758.36 c | 894093 | 1435 215680 949307 | 2147483647 240177 71 | 0.000 % |
2759.54/2760.78 c | 894690 | 1435 215680 949307 | 2147483647 240774 71 | 0.000 % |
2761.43/2762.68 c | 895345 | 1435 215680 949307 | 2147483647 241429 71 | 0.000 % |
2764.24/2765.43 c | 896065 | 1435 215680 949307 | 2147483647 242149 71 | 0.000 % |
2767.83/2769.03 c | 896857 | 1435 215680 949307 | 2147483647 242941 71 | 0.000 % |
2771.23/2772.43 c | 897728 | 1435 215680 949307 | 2147483647 243812 71 | 0.000 % |
2774.63/2775.84 c | 898687 | 1435 215680 949307 | 2147483647 244771 71 | 0.000 % |
2778.63/2779.80 c | 899742 | 1435 215680 949307 | 2147483647 245826 71 | 0.000 % |
2782.13/2783.34 c | 900902 | 1435 215680 949307 | 2147483647 246986 71 | 0.000 % |
2786.62/2787.81 c | 902175 | 1435 215680 949307 | 2147483647 248259 71 | 0.000 % |
2791.02/2792.21 c | 903576 | 1435 215680 949307 | 2147483647 249660 71 | 0.000 % |
2797.22/2798.49 c | 905116 | 1435 215680 949307 | 2147483647 251200 71 | 0.000 % |
2804.41/2805.61 c | 906812 | 1435 215680 949307 | 2147483647 252896 71 | 0.000 % |
2811.41/2812.69 c | 908676 | 1435 215680 949307 | 2147483647 254760 71 | 0.000 % |
2817.91/2819.19 c | 910727 | 1435 215680 949307 | 2147483647 256811 71 | 0.000 % |
2825.90/2827.14 c | 912981 | 1435 215680 949307 | 2147483647 259065 71 | 0.000 % |
2835.00/2836.28 c | 915460 | 1435 215680 949307 | 2147483647 261544 71 | 0.000 % |
2843.70/2844.93 c | 918185 | 1435 215680 949307 | 2147483647 264269 71 | 0.000 % |
2853.89/2855.17 c | 921184 | 1435 215680 949307 | 2147483647 267268 71 | 0.000 % |
2865.78/2867.07 c | 924480 | 1435 215680 949307 | 2147483647 270564 71 | 0.000 % |
2879.58/2880.87 c | 928105 | 1435 215680 949307 | 2147483647 274189 71 | 0.000 % |
2892.57/2893.88 c | 932094 | 1435 215680 949307 | 2147483647 278178 71 | 0.000 % |
2908.37/2909.68 c | 936485 | 1435 215680 949307 | 2147483647 282569 71 | 0.000 % |
2926.07/2927.32 c | 941309 | 1435 215680 949307 | 2147483647 287393 71 | 0.000 % |
2945.67/2946.95 c | 946616 | 1435 215680 949307 | 2147483647 292700 71 | 0.000 % |
2970.45/2971.71 c | 952451 | 1435 215680 949307 | 2147483647 298535 71 | 0.000 % |
2995.24/2996.51 c | 958870 | 1435 215680 949307 | 2147483647 304954 71 | 0.000 % |
3021.23/3022.51 c | 965930 | 1435 215680 949307 | 2147483647 312014 71 | 0.000 % |
3039.13/3040.49 c | 973694 | 1435 215680 949307 | 2147483647 319778 71 | 0.000 % |
3057.11/3058.43 c | 982235 | 1435 215680 949307 | 2147483647 328319 71 | 0.000 % |
3057.51/3058.81 c | 982338 | 1435 215680 949307 | 2147483647 328422 71 | 0.000 % |
3057.91/3059.22 c | 982448 | 1435 215680 949307 | 2147483647 328532 71 | 0.000 % |
3058.32/3059.69 c | 982571 | 1435 215680 949307 | 2147483647 328655 71 | 0.000 % |
3059.81/3061.14 c | 982707 | 1435 215680 949307 | 2147483647 328791 71 | 0.000 % |
3061.41/3062.75 c | 982853 | 1435 215680 949307 | 2147483647 328937 71 | 0.000 % |
3062.01/3063.38 c | 983014 | 1435 215680 949307 | 2147483647 329098 71 | 0.000 % |
3063.21/3064.53 c | 983190 | 1435 215680 949307 | 2147483647 329274 71 | 0.000 % |
3064.51/3065.88 c | 983386 | 1435 215680 949307 | 2147483647 329470 71 | 0.000 % |
3065.91/3067.24 c | 983601 | 1435 215680 949307 | 2147483647 329685 71 | 0.000 % |
3067.81/3069.15 c | 983834 | 1435 215680 949307 | 2147483647 329918 71 | 0.000 % |
3069.81/3071.12 c | 984091 | 1435 215680 949307 | 2147483647 330175 71 | 0.000 % |
3072.20/3073.58 c | 984372 | 1435 215680 949307 | 2147483647 330456 71 | 0.000 % |
3074.61/3075.92 c | 984681 | 1435 215680 949307 | 2147483647 330765 71 | 0.000 % |
3077.91/3079.29 c | 985020 | 1435 215680 949307 | 2147483647 331104 71 | 0.000 % |
3080.61/3081.98 c | 985392 | 1435 215680 949307 | 2147483647 331476 71 | 0.000 % |
3083.21/3084.53 c | 985801 | 1435 215680 949307 | 2147483647 331885 71 | 0.000 % |
3086.11/3087.44 c | 986250 | 1435 215680 949307 | 2147483647 332334 71 | 0.000 % |
3091.20/3092.58 c | 986749 | 1435 215680 949307 | 2147483647 332833 71 | 0.000 % |
3095.40/3096.74 c | 987293 | 1435 215680 949307 | 2147483647 333377 71 | 0.000 % |
3098.40/3099.77 c | 987889 | 1435 215680 949307 | 2147483647 333973 71 | 0.000 % |
3101.39/3102.77 c | 988544 | 1435 215680 949307 | 2147483647 334628 71 | 0.000 % |
3106.49/3107.82 c | 989264 | 1435 215680 949307 | 2147483647 335348 71 | 0.000 % |
3111.49/3112.86 c | 990060 | 1435 215680 949307 | 2147483647 336144 71 | 0.000 % |
3116.49/3117.81 c | 990932 | 1435 215680 949307 | 2147483647 337016 71 | 0.000 % |
3122.78/3124.14 c | 991890 | 1435 215680 949307 | 2147483647 337974 71 | 0.000 % |
3129.69/3131.04 c | 992943 | 1435 215680 949307 | 2147483647 339027 71 | 0.000 % |
3139.28/3140.68 c | 994102 | 1435 215680 949307 | 2147483647 340186 71 | 0.000 % |
3146.88/3148.21 c | 995376 | 1435 215680 949307 | 2147483647 341460 71 | 0.000 % |
3154.17/3155.58 c | 996777 | 1435 215680 949307 | 2147483647 342861 71 | 0.000 % |
3158.88/3160.26 c | 998318 | 1435 215680 949307 | 2147483647 344402 71 | 0.000 % |
3169.88/3171.24 c | 1000013 | 1435 215680 949307 | 346084 346097 71 | 0.000 % |
3180.47/3181.88 c | 1001878 | 1435 215680 949307 | 346084 310151 71 | 0.000 % |
3189.77/3191.12 c | 1003928 | 1435 215680 949307 | 346084 312201 71 | 0.000 % |
3201.56/3202.98 c | 1006182 | 1435 215680 949307 | 346084 314455 71 | 0.000 % |
3217.26/3218.65 c | 1008661 | 1435 215680 949307 | 346084 316934 71 | 0.000 % |
3234.15/3235.50 c | 1011386 | 1435 215680 949307 | 318273 284087 71 | 0.000 % |
3244.74/3246.12 c | 1014383 | 1435 215680 949307 | 318273 287084 71 | 0.000 % |
3265.23/3266.69 c | 1017681 | 1435 215680 949307 | 318273 290382 71 | 0.000 % |
3285.62/3287.02 c | 1021306 | 1435 215680 949307 | 2147483647 294007 71 | 0.000 % |
3299.62/3301.02 c | 1025293 | 1435 215680 949307 | 2147483647 297994 71 | 0.000 % |
3329.01/3330.48 c | 1029678 | 1435 215680 949307 | 2147483647 302379 71 | 0.000 % |
3349.40/3350.89 c | 1034502 | 1435 215680 949307 | 302701 264319 71 | 0.000 % |
3381.09/3382.52 c | 1039810 | 1435 215680 949307 | 302701 269627 71 | 0.000 % |
3407.48/3408.95 c | 1045647 | 1435 215680 949307 | 2147483647 275464 71 | 0.000 % |
3435.56/3437.04 c | 1052065 | 1435 215680 949307 | 2147483647 281882 71 | 0.000 % |
3466.56/3468.05 c | 1059125 | 1435 215680 949307 | 2147483647 288942 71 | 0.000 % |
3496.25/3497.72 c | 1066890 | 1435 215680 949307 | 2147483647 296707 71 | 0.000 % |
3526.83/3528.37 c | 1075430 | 1435 215680 949307 | 2147483647 305247 70 | 0.000 % |
3559.72/3561.20 c | 1084824 | 1435 215680 949307 | 2147483647 314641 70 | 0.000 % |
3560.12/3561.67 c | 1084924 | 1435 215680 949307 | 2147483647 314741 70 | 0.000 % |
3560.52/3562.02 c | 1085034 | 1435 215680 949307 | 2147483647 314851 70 | 0.000 % |
3562.02/3563.56 c | 1085156 | 1435 215680 949307 | 2147483647 314973 70 | 0.000 % |
3562.71/3564.23 c | 1085289 | 1435 215680 949307 | 2147483647 315106 70 | 0.000 % |
3564.12/3565.69 c | 1085437 | 1435 215680 949307 | 2147483647 315254 70 | 0.000 % |
3564.81/3566.38 c | 1085598 | 1435 215680 949307 | 2147483647 315415 70 | 0.000 % |
3566.31/3567.87 c | 1085778 | 1435 215680 949307 | 2147483647 315595 70 | 0.000 % |
3568.31/3569.87 c | 1085972 | 1435 215680 949307 | 2147483647 315789 70 | 0.000 % |
3570.01/3571.60 c | 1086184 | 1435 215680 949307 | 2147483647 316001 70 | 0.000 % |
3571.81/3573.30 c | 1086417 | 1435 215680 949307 | 2147483647 316234 70 | 0.000 % |
3573.11/3574.68 c | 1086673 | 1435 215680 949307 | 2147483647 316490 70 | 0.000 % |
3575.81/3577.32 c | 1086956 | 1435 215680 949307 | 2147483647 316773 70 | 0.000 % |
3577.71/3579.23 c | 1087266 | 1435 215680 949307 | 2147483647 317083 70 | 0.000 % |
3580.11/3581.70 c | 1087606 | 1435 215680 949307 | 2147483647 317423 70 | 0.000 % |
3582.91/3584.41 c | 1087978 | 1435 215680 949307 | 2147483647 317795 70 | 0.000 % |
3585.90/3587.49 c | 1088387 | 1435 215680 949307 | 2147483647 318204 70 | 0.000 % |
3588.50/3590.01 c | 1088836 | 1435 215680 949307 | 2147483647 318653 70 | 0.000 % |
3590.70/3592.21 c | 1089330 | 1435 215680 949307 | 2147483647 319147 70 | 0.000 % |
3594.60/3596.16 c | 1089875 | 1435 215680 949307 | 2147483647 319692 70 | 0.000 % |
3597.70/3599.22 c | 1090472 | 1435 215680 949307 | 2147483647 320289 70 | 0.000 % |
3602.40/3603.90 c | 1091128 | 1435 215680 949307 | 2147483647 320945 70 | 0.000 % |
3606.69/3608.26 c | 1091850 | 1435 215680 949307 | 2147483647 321667 70 | 0.000 % |
3609.80/3611.35 c | 1092643 | 1435 215680 949307 | 2147483647 322460 70 | 0.000 % |
3613.49/3615.07 c | 1093515 | 1435 215680 949307 | 2147483647 323332 70 | 0.000 % |
3620.19/3621.75 c | 1094473 | 1435 215680 949307 | 2147483647 324290 70 | 0.000 % |
3623.99/3625.55 c | 1095526 | 1435 215680 949307 | 2147483647 325343 70 | 0.000 % |
3630.59/3632.13 c | 1096686 | 1435 215680 949307 | 2147483647 326503 70 | 0.000 % |
3638.88/3640.47 c | 1097962 | 1435 215680 949307 | 2147483647 327779 70 | 0.000 % |
3646.97/3648.59 c | 1099362 | 1435 215680 949307 | 2147483647 329179 70 | 0.000 % |
3652.58/3654.16 c | 1100902 | 1435 215680 949307 | 2147483647 330719 70 | 0.000 % |
3659.27/3660.82 c | 1102596 | 1435 215680 949307 | 2147483647 332413 70 | 0.000 % |
3670.06/3671.69 c | 1104460 | 1435 215680 949307 | 2147483647 334277 70 | 0.000 % |
3675.46/3677.05 c | 1106509 | 1435 215680 949307 | 2147483647 336326 70 | 0.000 % |
3689.96/3691.56 c | 1108763 | 1435 215680 949307 | 2147483647 338580 70 | 0.000 % |
3707.85/3709.40 c | 1111241 | 1435 215680 949307 | 2147483647 341058 70 | 0.000 % |
3717.95/3719.55 c | 1113967 | 1435 215680 949307 | 2147483647 343784 70 | 0.000 % |
3731.24/3732.90 c | 1116968 | 1435 215680 949307 | 2147483647 346785 70 | 0.000 % |
3745.34/3746.90 c | 1120265 | 1435 215680 949307 | 2147483647 350082 70 | 0.000 % |
3767.03/3768.66 c | 1123891 | 1435 215680 949307 | 2147483647 353708 71 | 0.000 % |
3785.73/3787.34 c | 1127879 | 1435 215680 949307 | 2147483647 357696 70 | 0.000 % |
3798.83/3800.42 c | 1132265 | 1435 215680 949307 | 2147483647 362082 70 | 0.000 % |
3814.91/3816.51 c | 1137088 | 1435 215680 949307 | 2147483647 366905 70 | 0.000 % |
3846.10/3847.80 c | 1142396 | 1435 215680 949307 | 2147483647 372213 71 | 0.000 % |
3874.99/3876.62 c | 1148231 | 1435 215680 949307 | 2147483647 378048 71 | 0.000 % |
3900.98/3902.70 c | 1154652 | 1435 215680 949307 | 2147483647 384469 71 | 0.000 % |
3938.06/3939.79 c | 1161711 | 1435 215680 949307 | 2147483647 391528 71 | 0.000 % |
3981.04/3982.71 c | 1169476 | 1435 215680 949307 | 2147483647 399293 71 | 0.000 % |
4022.63/4024.33 c | 1178021 | 1435 215680 949307 | 2147483647 407838 71 | 0.000 % |
4078.90/4080.70 c | 1187415 | 1435 215680 949307 | 2147483647 417232 71 | 0.000 % |
4134.68/4136.46 c | 1197749 | 1435 215680 949307 | 2147483647 427566 71 | 0.000 % |
4135.48/4137.25 c | 1197850 | 1435 215680 949307 | 2147483647 427667 71 | 0.000 % |
4136.18/4137.92 c | 1197962 | 1435 215680 949307 | 2147483647 427779 71 | 0.000 % |
4136.88/4138.62 c | 1198085 | 1435 215680 949307 | 2147483647 427902 71 | 0.000 % |
4137.98/4139.73 c | 1198218 | 1435 215680 949307 | 2147483647 428035 71 | 0.000 % |
4139.38/4141.14 c | 1198364 | 1435 215680 949307 | 2147483647 428181 71 | 0.000 % |
4140.58/4142.34 c | 1198524 | 1435 215680 949307 | 2147483647 428341 71 | 0.000 % |
4142.08/4143.83 c | 1198700 | 1435 215680 949307 | 2147483647 428517 71 | 0.000 % |
4143.38/4145.19 c | 1198893 | 1435 215680 949307 | 2147483647 428710 71 | 0.000 % |
4144.98/4146.71 c | 1199105 | 1435 215680 949307 | 2147483647 428922 71 | 0.000 % |
4146.28/4148.03 c | 1199338 | 1435 215680 949307 | 2147483647 429155 71 | 0.000 % |
4147.48/4149.23 c | 1199594 | 1435 215680 949307 | 2147483647 429411 71 | 0.000 % |
4149.47/4151.24 c | 1199876 | 1435 215680 949307 | 2147483647 429693 71 | 0.000 % |
4150.97/4152.74 c | 1200188 | 1435 215680 949307 | 2147483647 430005 71 | 0.000 % |
4152.38/4154.13 c | 1200527 | 1435 215680 949307 | 2147483647 430344 71 | 0.000 % |
4154.88/4156.69 c | 1200899 | 1435 215680 949307 | 2147483647 430716 71 | 0.000 % |
4157.68/4159.46 c | 1201309 | 1435 215680 949307 | 2147483647 431126 71 | 0.000 % |
4159.98/4161.74 c | 1201758 | 1435 215680 949307 | 2147483647 431575 71 | 0.000 % |
4162.98/4164.74 c | 1202252 | 1435 215680 949307 | 2147483647 432069 71 | 0.000 % |
4166.08/4167.90 c | 1202794 | 1435 215680 949307 | 2147483647 432611 71 | 0.000 % |
4170.07/4171.81 c | 1203394 | 1435 215680 949307 | 2147483647 433211 71 | 0.000 % |
4173.47/4175.26 c | 1204050 | 1435 215680 949307 | 2147483647 433867 71 | 0.000 % |
4178.17/4179.96 c | 1204773 | 1435 215680 949307 | 2147483647 434590 71 | 0.000 % |
4184.26/4186.03 c | 1205566 | 1435 215680 949307 | 2147483647 435383 71 | 0.000 % |
4190.16/4191.96 c | 1206440 | 1435 215680 949307 | 2147483647 436257 71 | 0.000 % |
4194.96/4196.79 c | 1207398 | 1435 215680 949307 | 2147483647 437215 71 | 0.000 % |
4201.95/4203.78 c | 1208452 | 1435 215680 949307 | 2147483647 438269 71 | 0.000 % |
4210.05/4211.84 c | 1209610 | 1435 215680 949307 | 2147483647 439427 71 | 0.000 % |
4217.55/4219.30 c | 1210889 | 1435 215680 949307 | 2147483647 440706 71 | 0.000 % |
4226.25/4228.04 c | 1212289 | 1435 215680 949307 | 2147483647 442106 71 | 0.000 % |
4234.24/4236.07 c | 1213830 | 1435 215680 949307 | 2147483647 443647 71 | 0.000 % |
4243.93/4245.74 c | 1215526 | 1435 215680 949307 | 2147483647 445343 71 | 0.000 % |
4256.74/4258.53 c | 1217389 | 1435 215680 949307 | 2147483647 447206 71 | 0.000 % |
4270.03/4271.88 c | 1219438 | 1435 215680 949307 | 2147483647 449255 71 | 0.000 % |
4280.92/4282.78 c | 1221695 | 1435 215680 949307 | 2147483647 451512 71 | 0.000 % |
4297.52/4299.36 c | 1224173 | 1435 215680 949307 | 2147483647 453990 71 | 0.000 % |
4316.71/4318.58 c | 1226900 | 1435 215680 949307 | 2147483647 456717 71 | 0.000 % |
4331.20/4333.09 c | 1229901 | 1435 215680 949307 | 2147483647 459718 71 | 0.000 % |
4348.80/4350.60 c | 1233199 | 1435 215680 949307 | 2147483647 463016 71 | 0.000 % |
4365.38/4367.21 c | 1236825 | 1435 215680 949307 | 2147483647 466642 71 | 0.000 % |
4386.47/4388.37 c | 1240812 | 1435 215680 949307 | 2147483647 470629 71 | 0.000 % |
4420.76/4422.67 c | 1245200 | 1435 215680 949307 | 2147483647 475017 71 | 0.000 % |
4453.35/4455.22 c | 1250023 | 1435 215680 949307 | 2147483647 479840 71 | 0.000 % |
4488.54/4490.47 c | 1255328 | 1435 215680 949307 | 2147483647 485145 71 | 0.000 % |
4524.82/4526.75 c | 1261164 | 1435 215680 949307 | 2147483647 490981 70 | 0.000 % |
4565.40/4567.32 c | 1267583 | 1435 215680 949307 | 2147483647 497400 70 | 0.000 % |
4627.78/4629.73 c | 1274644 | 1435 215680 949307 | 2147483647 504461 71 | 0.000 % |
4713.94/4715.99 c | 1282409 | 1435 215680 949307 | 509818 337353 71 | 0.000 % |
4759.93/4761.92 c | 1290949 | 1435 215680 949307 | 344947 233226 71 | 0.000 % |
4806.01/4808.02 c | 1300343 | 1435 215680 949307 | 242280 242620 71 | 0.015 % |
4859.90/4861.99 c | 1310676 | 1435 215680 949307 | 186621 141203 71 | 0.000 % |
4916.57/4918.65 c | 1322042 | 1435 215680 949307 | 150528 112217 71 | 0.000 % |
4916.87/4918.95 c | 1322143 | 1435 215680 949307 | 150528 112318 71 | 0.000 % |
4917.57/4919.70 c | 1322256 | 1435 215680 949307 | 150528 112431 71 | 0.000 % |
4918.07/4920.11 c | 1322378 | 1435 215680 949307 | 150528 112553 71 | 0.000 % |
4918.37/4920.49 c | 1322511 | 1435 215680 949307 | 150528 112686 71 | 0.000 % |
4918.87/4920.90 c | 1322658 | 1435 215680 949307 | 150528 112833 71 | 0.000 % |
4919.47/4921.59 c | 1322818 | 1435 215680 949307 | 150528 112993 71 | 0.000 % |
4919.97/4922.03 c | 1322995 | 1435 215680 949307 | 150528 113170 71 | 0.000 % |
4920.77/4922.84 c | 1323188 | 1435 215680 949307 | 150528 113363 71 | 0.000 % |
4921.37/4923.44 c | 1323406 | 1435 215680 949307 | 150528 113581 71 | 0.000 % |
4922.47/4924.58 c | 1323644 | 1435 215680 949307 | 150528 113819 71 | 0.000 % |
4923.37/4925.41 c | 1323900 | 1435 215680 949307 | 150528 114075 71 | 0.000 % |
4924.27/4926.30 c | 1324181 | 1435 215680 949307 | 150528 114356 71 | 0.000 % |
4925.16/4927.26 c | 1324492 | 1435 215680 949307 | 150528 114667 71 | 0.000 % |
4925.87/4927.95 c | 1324831 | 1435 215680 949307 | 150528 115006 71 | 0.000 % |
4926.86/4928.97 c | 1325204 | 1435 215680 949307 | 150528 115379 71 | 0.000 % |
4927.76/4929.82 c | 1325613 | 1435 215680 949307 | 150528 115788 71 | 0.000 % |
4928.17/4930.27 c | 1326062 | 1435 215680 949307 | 150528 116237 71 | 0.000 % |
4930.27/4932.35 c | 1326555 | 1435 215680 949307 | 150528 116730 71 | 0.000 % |
4932.66/4934.74 c | 1327100 | 1435 215680 949307 | 150528 117275 71 | 0.000 % |
4934.96/4937.05 c | 1327697 | 1435 215680 949307 | 150528 117872 71 | 0.000 % |
4936.16/4938.25 c | 1328352 | 1435 215680 949307 | 150528 118527 71 | 0.000 % |
4937.36/4939.43 c | 1329072 | 1435 215680 949307 | 150528 119247 71 | 0.000 % |
4938.25/4940.37 c | 1329864 | 1435 215680 949307 | 150528 120039 71 | 0.000 % |
4939.85/4941.96 c | 1330735 | 1435 215680 949307 | 2147483647 120910 71 | 0.000 % |
4941.15/4943.27 c | 1331694 | 1435 215680 949307 | 2147483647 121869 71 | 0.000 % |
4943.25/4945.30 c | 1332748 | 1435 215680 949307 | 2147483647 122923 71 | 0.000 % |
4944.35/4946.43 c | 1333906 | 1435 215680 949307 | 2147483647 124081 71 | 0.000 % |
4946.35/4948.47 c | 1335181 | 1435 215680 949307 | 2147483647 125356 70 | 0.000 % |
4947.45/4949.53 c | 1336581 | 1435 215680 949307 | 2147483647 126756 70 | 0.000 % |
4953.45/4955.58 c | 1338121 | 1435 215680 949307 | 2147483647 128296 70 | 0.000 % |
4957.54/4959.70 c | 1339815 | 1435 215680 949307 | 2147483647 129990 70 | 0.000 % |
4961.94/4964.00 c | 1341682 | 1435 215680 949307 | 2147483647 131857 70 | 0.000 % |
4965.34/4967.40 c | 1343732 | 1435 215680 949307 | 2147483647 133907 70 | 0.000 % |
4968.74/4970.85 c | 1345987 | 1435 215680 949307 | 2147483647 136162 69 | 0.000 % |
4973.64/4975.80 c | 1348467 | 1435 215680 949307 | 2147483647 138642 69 | 0.000 % |
4978.24/4980.30 c | 1351193 | 1435 215680 949307 | 2147483647 141368 69 | 0.000 % |
4982.74/4984.81 c | 1354192 | 1435 215680 949307 | 2147483647 144367 69 | 0.000 % |
4992.93/4995.06 c | 1357488 | 1435 215680 949307 | 2147483647 147663 69 | 0.000 % |
4997.03/4999.19 c | 1361114 | 1435 215680 949307 | 2147483647 151289 70 | 0.000 % |
5005.32/5007.47 c | 1365104 | 1435 215680 949307 | 2147483647 155279 70 | 0.000 % |
5024.82/5026.98 c | 1369494 | 1435 215680 949307 | 2147483647 159669 69 | 0.000 % |
5038.41/5040.54 c | 1374317 | 1435 215680 949307 | 2147483647 164492 69 | 0.000 % |
5059.80/5061.96 c | 1379625 | 1435 215680 949307 | 2147483647 169800 69 | 0.000 % |
5079.50/5081.67 c | 1385460 | 1435 215680 949307 | 2147483647 175635 68 | 0.000 % |
5098.49/5100.62 c | 1391879 | 1435 215680 949307 | 2147483647 182054 67 | 0.000 % |
5120.78/5122.92 c | 1398938 | 1435 215680 949307 | 2147483647 189113 66 | 0.000 % |
5142.77/5144.92 c | 1406702 | 1435 215680 949307 | 2147483647 196877 65 | 0.000 % |
5165.56/5167.71 c | 1415246 | 1435 215680 949307 | 2147483647 205421 64 | 0.000 % |
5193.15/5195.31 c | 1424642 | 1435 215680 949307 | 2147483647 214817 63 | 0.001 % |
5228.13/5230.39 c | 1434976 | 1435 215680 949307 | 2147483647 225151 62 | 0.000 % |
5260.32/5262.58 c | 1446342 | 1435 215680 949307 | 2147483647 236517 61 | 0.000 % |
5294.61/5296.83 c | 1458844 | 1435 215680 949307 | 2147483647 249019 60 | 0.000 % |
5294.91/5297.16 c | 1458944 | 1435 215680 949307 | 2147483647 249119 60 | 0.000 % |
5295.11/5297.38 c | 1459054 | 1435 215680 949307 | 2147483647 249229 60 | 0.000 % |
5296.01/5298.27 c | 1459175 | 1435 215680 949307 | 2147483647 249350 60 | 0.000 % |
5296.41/5298.69 c | 1459308 | 1435 215680 949307 | 2147483647 249483 60 | 0.000 % |
5296.90/5299.16 c | 1459455 | 1435 215680 949307 | 2147483647 249630 60 | 0.000 % |
5297.20/5299.49 c | 1459619 | 1435 215680 949307 | 2147483647 249794 60 | 0.000 % |
5297.80/5300.08 c | 1459795 | 1435 215680 949307 | 2147483647 249970 60 | 0.000 % |
5299.10/5301.32 c | 1459988 | 1435 215680 949307 | 2147483647 250163 60 | 0.000 % |
5300.10/5302.36 c | 1460200 | 1435 215680 949307 | 2147483647 250375 60 | 0.000 % |
5301.60/5303.85 c | 1460436 | 1435 215680 949307 | 2147483647 250611 60 | 0.000 % |
5302.90/5305.20 c | 1460699 | 1435 215680 949307 | 2147483647 250874 60 | 0.000 % |
5304.51/5306.76 c | 1460980 | 1435 215680 949307 | 2147483647 251155 60 | 0.000 % |
5305.81/5308.06 c | 1461290 | 1435 215680 949307 | 2147483647 251465 59 | 0.000 % |
5307.51/5309.74 c | 1461630 | 1435 215680 949307 | 2147483647 251805 59 | 0.000 % |
5308.81/5311.05 c | 1462005 | 1435 215680 949307 | 2147483647 252180 59 | 0.000 % |
5310.30/5312.52 c | 1462418 | 1435 215680 949307 | 2147483647 252593 59 | 0.000 % |
5312.20/5314.48 c | 1462867 | 1435 215680 949307 | 2147483647 253042 59 | 0.000 % |
5314.01/5316.30 c | 1463360 | 1435 215680 949307 | 2147483647 253535 59 | 0.000 % |
5316.90/5319.15 c | 1463903 | 1435 215680 949307 | 2147483647 254078 59 | 0.000 % |
5319.10/5321.33 c | 1464499 | 1435 215680 949307 | 2147483647 254674 59 | 0.000 % |
5321.20/5323.40 c | 1465155 | 1435 215680 949307 | 2147483647 255330 59 | 0.000 % |
5323.90/5326.16 c | 1465875 | 1435 215680 949307 | 2147483647 256050 59 | 0.000 % |
5327.20/5329.49 c | 1466668 | 1435 215680 949307 | 2147483647 256843 59 | 0.000 % |
5330.90/5333.15 c | 1467539 | 1435 215680 949307 | 2147483647 257714 59 | 0.000 % |
5333.19/5335.43 c | 1468499 | 1435 215680 949307 | 2147483647 258674 59 | 0.000 % |
5337.99/5340.24 c | 1469558 | 1435 215680 949307 | 2147483647 259733 59 | 0.000 % |
5341.29/5343.56 c | 1470716 | 1435 215680 949307 | 2147483647 260891 60 | 0.000 % |
5348.69/5350.94 c | 1471990 | 1435 215680 949307 | 2147483647 262165 60 | 0.000 % |
5358.28/5360.55 c | 1473390 | 1435 215680 949307 | 2147483647 263565 60 | 0.000 % |
5366.18/5368.46 c | 1474930 | 1435 215680 949307 | 2147483647 265105 60 | 0.000 % |
5375.07/5377.34 c | 1476625 | 1435 215680 949307 | 2147483647 266800 60 | 0.000 % |
5382.97/5385.26 c | 1478489 | 1435 215680 949307 | 2147483647 268664 60 | 0.000 % |
5396.26/5398.56 c | 1480540 | 1435 215680 949307 | 2147483647 270715 60 | 0.000 % |
5405.56/5407.82 c | 1482796 | 1435 215680 949307 | 2147483647 272971 60 | 0.000 % |
5414.75/5417.06 c | 1485276 | 1435 215680 949307 | 2147483647 275451 60 | 0.000 % |
5423.65/5425.97 c | 1488001 | 1435 215680 949307 | 2147483647 278176 60 | 0.000 % |
5436.45/5438.72 c | 1491001 | 1435 215680 949307 | 2147483647 281176 61 | 0.000 % |
5444.75/5447.08 c | 1494297 | 1435 215680 949307 | 2147483647 284472 61 | 0.000 % |
5456.34/5458.70 c | 1497924 | 1435 215680 949307 | 2147483647 288099 61 | 0.000 % |
5471.74/5474.06 c | 1501914 | 1435 215680 949307 | 2147483647 292089 60 | 0.000 % |
5489.93/5492.29 c | 1506299 | 1435 215680 949307 | 2147483647 296474 60 | 0.000 % |
5509.12/5511.40 c | 1511122 | 1435 215680 949307 | 2147483647 301297 60 | 0.000 % |
5528.21/5530.54 c | 1516430 | 1435 215680 949307 | 2147483647 306605 59 | 0.000 % |
5549.00/5551.33 c | 1522267 | 1435 215680 949307 | 2147483647 312442 59 | 0.000 % |
5570.69/5573.04 c | 1528686 | 1435 215680 949307 | 2147483647 318861 58 | 0.000 % |
5596.78/5599.13 c | 1535748 | 1435 215680 949307 | 2147483647 325923 58 | 0.000 % |
5633.28/5635.68 c | 1543514 | 1435 215680 949307 | 2147483647 333689 58 | 0.000 % |
5668.96/5671.35 c | 1552054 | 1435 215680 949307 | 2147483647 342229 59 | 0.000 % |
5707.34/5709.71 c | 1561450 | 1435 215680 949307 | 2147483647 351625 60 | 0.000 % |
5755.72/5758.15 c | 1571784 | 1435 215680 949307 | 2147483647 361959 60 | 0.000 % |
5789.11/5791.53 c | 1583150 | 1435 215680 949307 | 2147483647 373325 60 | 0.000 % |
5826.79/5829.28 c | 1595653 | 1435 215680 949307 | 2147483647 385828 61 | 0.000 % |
5872.87/5875.35 c | 1609405 | 1435 215680 949307 | 2147483647 399580 61 | 0.000 % |
5873.27/5875.77 c | 1609509 | 1435 215680 949307 | 2147483647 399684 61 | 0.000 % |
5874.37/5876.83 c | 1609619 | 1435 215680 949307 | 2147483647 399794 61 | 0.000 % |
5874.97/5877.41 c | 1609741 | 1435 215680 949307 | 2147483647 399916 61 | 0.000 % |
5875.67/5878.14 c | 1609876 | 1435 215680 949307 | 2147483647 400051 61 | 0.000 % |
5876.37/5878.87 c | 1610024 | 1435 215680 949307 | 2147483647 400199 61 | 0.000 % |
5877.17/5879.63 c | 1610184 | 1435 215680 949307 | 2147483647 400359 61 | 0.000 % |
5878.47/5880.92 c | 1610361 | 1435 215680 949307 | 2147483647 400536 61 | 0.000 % |
5879.28/5881.74 c | 1610555 | 1435 215680 949307 | 2147483647 400730 61 | 0.000 % |
5880.28/5882.74 c | 1610768 | 1435 215680 949307 | 2147483647 400943 61 | 0.000 % |
5881.18/5883.68 c | 1611002 | 1435 215680 949307 | 2147483647 401177 61 | 0.000 % |
5882.58/5885.09 c | 1611259 | 1435 215680 949307 | 2147483647 401434 61 | 0.000 % |
5884.28/5886.78 c | 1611543 | 1435 215680 949307 | 2147483647 401718 61 | 0.000 % |
5886.08/5888.52 c | 1611853 | 1435 215680 949307 | 2147483647 402028 61 | 0.000 % |
5887.58/5890.05 c | 1612192 | 1435 215680 949307 | 2147483647 402367 61 | 0.000 % |
5889.68/5892.13 c | 1612564 | 1435 215680 949307 | 2147483647 402739 61 | 0.000 % |
5892.38/5894.84 c | 1612973 | 1435 215680 949307 | 2147483647 403148 61 | 0.000 % |
5894.77/5897.24 c | 1613425 | 1435 215680 949307 | 2147483647 403600 61 | 0.000 % |
5896.97/5899.46 c | 1613918 | 1435 215680 949307 | 2147483647 404093 61 | 0.000 % |
5899.37/5901.90 c | 1614462 | 1435 215680 949307 | 2147483647 404637 61 | 0.000 % |
5902.17/5904.62 c | 1615058 | 1435 215680 949307 | 2147483647 405233 61 | 0.000 % |
5905.67/5908.12 c | 1615714 | 1435 215680 949307 | 2147483647 405889 61 | 0.000 % |
5908.87/5911.34 c | 1616438 | 1435 215680 949307 | 2147483647 406613 61 | 0.000 % |
5912.36/5914.81 c | 1617233 | 1435 215680 949307 | 2147483647 407408 61 | 0.000 % |
5917.06/5919.56 c | 1618106 | 1435 215680 949307 | 2147483647 408281 61 | 0.000 % |
5922.96/5925.41 c | 1619066 | 1435 215680 949307 | 2147483647 409241 61 | 0.000 % |
5927.95/5930.43 c | 1620122 | 1435 215680 949307 | 2147483647 410297 61 | 0.000 % |
5933.65/5936.17 c | 1621281 | 1435 215680 949307 | 2147483647 411456 61 | 0.000 % |
5939.55/5942.06 c | 1622558 | 1435 215680 949307 | 2147483647 412733 61 | 0.000 % |
5944.95/5947.43 c | 1623960 | 1435 215680 949307 | 2147483647 414135 61 | 0.000 % |
5949.75/5952.23 c | 1625502 | 1435 215680 949307 | 2147483647 415677 61 | 0.000 % |
5955.34/5957.86 c | 1627196 | 1435 215680 949307 | 2147483647 417371 61 | 0.000 % |
5965.74/5968.21 c | 1629060 | 1435 215680 949307 | 2147483647 419235 61 | 0.000 % |
5976.54/5979.02 c | 1631109 | 1435 215680 949307 | 2147483647 421284 61 | 0.000 % |
5990.93/5993.41 c | 1633362 | 1435 215680 949307 | 2147483647 423537 61 | 0.000 % |
6003.43/6005.91 c | 1635840 | 1435 215680 949307 | 2147483647 426015 61 | 0.000 % |
6015.62/6018.12 c | 1638566 | 1435 215680 949307 | 2147483647 428741 61 | 0.000 % |
6026.02/6028.51 c | 1641568 | 1435 215680 949307 | 2147483647 431743 62 | 0.000 % |
6039.61/6042.16 c | 1644866 | 1435 215680 949307 | 2147483647 435041 62 | 0.000 % |
6051.21/6053.71 c | 1648495 | 1435 215680 949307 | 2147483647 438670 62 | 0.000 % |
6065.00/6067.56 c | 1652482 | 1435 215680 949307 | 2147483647 442657 62 | 0.000 % |
6075.30/6077.86 c | 1656868 | 1435 215680 949307 | 2147483647 447043 62 | 0.000 % |
6094.69/6097.21 c | 1661692 | 1435 215680 949307 | 2147483647 451867 62 | 0.000 % |
6114.48/6117.05 c | 1666997 | 1435 215680 949307 | 2147483647 457172 62 | 0.000 % |
6134.48/6137.05 c | 1672833 | 1435 215680 949307 | 2147483647 463008 62 | 0.000 % |
6152.37/6154.90 c | 1679252 | 1435 215680 949307 | 2147483647 469427 62 | 0.000 % |
6174.06/6176.65 c | 1686314 | 1435 215680 949307 | 2147483647 476489 62 | 0.001 % |
6197.44/6200.06 c | 1694081 | 1435 215680 949307 | 2147483647 484256 62 | 0.000 % |
6236.33/6238.91 c | 1702623 | 1435 215680 949307 | 2147483647 492798 63 | 0.000 % |
6273.31/6275.95 c | 1712018 | 1435 215680 949307 | 2147483647 502193 63 | 0.000 % |
6324.99/6327.63 c | 1722352 | 1435 215680 949307 | 2147483647 512527 63 | 0.000 % |
6379.97/6382.65 c | 1733720 | 1435 215680 949307 | 2147483647 523895 63 | 0.000 % |
6446.45/6449.12 c | 1746225 | 1435 215680 949307 | 2147483647 536400 63 | 0.000 % |
6532.71/6535.49 c | 1759977 | 1435 215680 949307 | 2147483647 550152 63 | 0.000 % |
6593.08/6595.81 c | 1775104 | 1435 215680 949307 | 433335 351350 68 | 0.000 % |
6593.99/6596.79 c | 1775204 | 1435 215680 949307 | 433335 351450 68 | 0.000 % |
6594.78/6597.57 c | 1775314 | 1435 215680 949307 | 433335 351560 68 | 0.000 % |
6595.58/6598.35 c | 1775435 | 1435 215680 949307 | 433335 351681 68 | 0.000 % |
6596.58/6599.35 c | 1775568 | 1435 215680 949307 | 433335 351814 68 | 0.000 % |
6597.29/6600.09 c | 1775714 | 1435 215680 949307 | 433335 351960 68 | 0.000 % |
6598.48/6601.21 c | 1775874 | 1435 215680 949307 | 433335 352120 68 | 0.000 % |
6599.49/6602.24 c | 1776051 | 1435 215680 949307 | 433335 352297 68 | 0.000 % |
6600.38/6603.20 c | 1776248 | 1435 215680 949307 | 433335 352494 68 | 0.000 % |
6601.48/6604.22 c | 1776460 | 1435 215680 949307 | 433335 352706 68 | 0.000 % |
6602.68/6605.49 c | 1776693 | 1435 215680 949307 | 433335 352939 68 | 0.000 % |
6604.28/6607.02 c | 1776949 | 1435 215680 949307 | 433335 353195 68 | 0.000 % |
6606.88/6609.68 c | 1777230 | 1435 215680 949307 | 433335 353476 68 | 0.000 % |
6608.88/6611.69 c | 1777542 | 1435 215680 949307 | 433335 353788 68 | 0.000 % |
6611.38/6614.12 c | 1777882 | 1435 215680 949307 | 433335 354128 68 | 0.000 % |
6613.18/6615.93 c | 1778255 | 1435 215680 949307 | 433335 354501 68 | 0.000 % |
6615.17/6617.92 c | 1778665 | 1435 215680 949307 | 433335 354911 68 | 0.000 % |
6617.37/6620.17 c | 1779117 | 1435 215680 949307 | 433335 355363 68 | 0.000 % |
6619.77/6622.59 c | 1779610 | 1435 215680 949307 | 433335 355856 68 | 0.000 % |
6622.77/6625.57 c | 1780152 | 1435 215680 949307 | 2147483647 356398 68 | 0.000 % |
6625.87/6628.66 c | 1780748 | 1435 215680 949307 | 2147483647 356994 68 | 0.000 % |
6629.48/6632.23 c | 1781403 | 1435 215680 949307 | 2147483647 357649 68 | 0.000 % |
6634.17/6636.99 c | 1782123 | 1435 215680 949307 | 2147483647 358369 68 | 0.000 % |
6639.08/6641.83 c | 1782916 | 1435 215680 949307 | 2147483647 359162 68 | 0.000 % |
6643.47/6646.28 c | 1783787 | 1435 215680 949307 | 2147483647 360033 68 | 0.000 % |
6649.07/6651.86 c | 1784746 | 1435 215680 949307 | 2147483647 360992 68 | 0.000 % |
6654.07/6656.90 c | 1785800 | 1435 215680 949307 | 2147483647 362046 68 | 0.000 % |
6659.26/6662.06 c | 1786959 | 1435 215680 949307 | 2147483647 363205 68 | 0.000 % |
6665.06/6667.86 c | 1788232 | 1435 215680 949307 | 2147483647 364478 68 | 0.000 % |
6671.76/6674.52 c | 1789632 | 1435 215680 949307 | 2147483647 365878 67 | 0.000 % |
6678.46/6681.22 c | 1791173 | 1435 215680 949307 | 2147483647 367419 67 | 0.000 % |
6685.65/6688.47 c | 1792868 | 1435 215680 949307 | 2147483647 369114 67 | 0.000 % |
6692.95/6695.77 c | 1794731 | 1435 215680 949307 | 2147483647 370977 67 | 0.000 % |
6702.55/6705.30 c | 1796780 | 1435 215680 949307 | 2147483647 373026 67 | 0.000 % |
6710.04/6712.82 c | 1799036 | 1435 215680 949307 | 2147483647 375282 67 | 0.000 % |
6722.94/6725.71 c | 1801514 | 1435 215680 949307 | 2147483647 377760 67 | 0.000 % |
6744.43/6747.25 c | 1804243 | 1435 215680 949307 | 2147483647 380489 67 | 0.000 % |
6758.32/6761.16 c | 1807240 | 1435 215680 949307 | 2147483647 383486 67 | 0.000 % |
6772.22/6775.00 c | 1810536 | 1435 215680 949307 | 2147483647 386782 67 | 0.001 % |
6777.12/6779.98 c | 1814165 | 1435 215680 949307 | 2147483647 390411 67 | 0.000 % |
6801.61/6804.49 c | 1818155 | 1435 215680 949307 | 2147483647 394401 67 | 0.000 % |
6819.70/6822.55 c | 1822541 | 1435 215680 949307 | 2147483647 398787 67 | 0.000 % |
6850.09/6852.91 c | 1827367 | 1435 215680 949307 | 2147483647 403613 67 | 0.000 % |
6880.77/6883.62 c | 1832672 | 1435 215680 949307 | 2147483647 408918 67 | 0.000 % |
6913.56/6916.44 c | 1838507 | 1435 215680 949307 | 2147483647 414753 67 | 0.000 % |
6950.25/6953.19 c | 1844926 | 1435 215680 949307 | 2147483647 421172 67 | 0.000 % |
6994.82/6997.77 c | 1851985 | 1435 215680 949307 | 2147483647 428231 67 | 0.000 % |
7038.01/7040.96 c | 1859749 | 1435 215680 949307 | 2147483647 435995 67 | 0.000 % |
7074.89/7077.80 c | 1868289 | 1435 215680 949307 | 2147483647 444535 67 | 0.000 % |
7110.47/7113.40 c | 1877684 | 1435 215680 949307 | 2147483647 453930 67 | 0.000 % |
7138.57/7141.52 c | 1888019 | 1435 215680 949307 | 2147483647 464265 67 | 0.000 % |
7207.84/7210.88 c | 1899389 | 1435 215680 949307 | 2147483647 475635 68 | 0.000 % |
7243.53/7246.54 c | 1911893 | 1435 215680 949307 | 2147483647 488139 68 | 0.000 % |
7284.01/7287.04 c | 1925645 | 1435 215680 949307 | 2147483647 501891 68 | 0.000 % |
7338.99/7342.02 c | 1940773 | 1435 215680 949307 | 516249 453242 67 | 0.000 % |
7414.96/7418.05 c | 1957413 | 1435 215680 949307 | 462470 419525 69 | 0.000 % |
7415.46/7418.54 c | 1957513 | 1435 215680 949307 | 462470 419625 69 | 0.000 % |
7416.56/7419.70 c | 1957624 | 1435 215680 949307 | 462470 419736 69 | 0.000 % |
7417.26/7420.31 c | 1957747 | 1435 215680 949307 | 462470 419859 69 | 0.000 % |
7417.96/7421.04 c | 1957880 | 1435 215680 949307 | 462470 419992 69 | 0.000 % |
7418.66/7421.72 c | 1958028 | 1435 215680 949307 | 462470 420140 69 | 0.000 % |
7419.76/7422.83 c | 1958189 | 1435 215680 949307 | 462470 420301 69 | 0.000 % |
7420.76/7423.88 c | 1958366 | 1435 215680 949307 | 462470 420478 69 | 0.000 % |
7422.06/7425.14 c | 1958559 | 1435 215680 949307 | 462470 420671 69 | 0.000 % |
7423.56/7426.61 c | 1958772 | 1435 215680 949307 | 462470 420884 69 | 0.000 % |
7425.26/7428.31 c | 1959007 | 1435 215680 949307 | 462470 421119 69 | 0.000 % |
7426.75/7429.80 c | 1959264 | 1435 215680 949307 | 462470 421376 69 | 0.000 % |
7429.05/7432.18 c | 1959546 | 1435 215680 949307 | 462470 421658 69 | 0.000 % |
7430.76/7433.89 c | 1959856 | 1435 215680 949307 | 462470 421968 69 | 0.000 % |
7432.96/7436.07 c | 1960195 | 1435 215680 949307 | 2147483647 422307 69 | 0.000 % |
7435.35/7438.48 c | 1960568 | 1435 215680 949307 | 2147483647 422680 69 | 0.000 % |
7438.15/7441.26 c | 1960979 | 1435 215680 949307 | 2147483647 423091 69 | 0.000 % |
7440.45/7443.54 c | 1961429 | 1435 215680 949307 | 2147483647 423541 69 | 0.000 % |
7442.95/7446.06 c | 1961922 | 1435 215680 949307 | 2147483647 424034 69 | 0.000 % |
7445.65/7448.72 c | 1962465 | 1435 215680 949307 | 2147483647 424577 69 | 0.000 % |
7448.04/7451.19 c | 1963063 | 1435 215680 949307 | 2147483647 425175 69 | 0.000 % |
7451.94/7455.09 c | 1963718 | 1435 215680 949307 | 2147483647 425830 69 | 0.000 % |
7456.05/7459.19 c | 1964438 | 1435 215680 949307 | 2147483647 426550 69 | 0.000 % |
7460.94/7464.06 c | 1965232 | 1435 215680 949307 | 2147483647 427344 69 | 0.000 % |
7465.34/7468.40 c | 1966103 | 1435 215680 949307 | 2147483647 428215 69 | 0.000 % |
7470.43/7473.55 c | 1967066 | 1435 215680 949307 | 2147483647 429178 69 | 0.000 % |
7474.13/7477.26 c | 1968120 | 1435 215680 949307 | 2147483647 430232 69 | 0.000 % |
7477.73/7480.86 c | 1969278 | 1435 215680 949307 | 2147483647 431390 69 | 0.000 % |
7483.93/7487.09 c | 1970552 | 1435 215680 949307 | 2147483647 432664 68 | 0.000 % |
7492.12/7495.20 c | 1971954 | 1435 215680 949307 | 2147483647 434066 69 | 0.000 % |
7501.22/7504.35 c | 1973495 | 1435 215680 949307 | 2147483647 435607 69 | 0.000 % |
7510.32/7513.49 c | 1975189 | 1435 215680 949307 | 2147483647 437301 69 | 0.000 % |
7525.11/7528.26 c | 1977052 | 1435 215680 949307 | 2147483647 439164 69 | 0.000 % |
7536.72/7539.81 c | 1979101 | 1435 215680 949307 | 2147483647 441213 69 | 0.000 % |
7548.01/7551.18 c | 1981354 | 1435 215680 949307 | 2147483647 443466 69 | 0.000 % |
7559.51/7562.68 c | 1983833 | 1435 215680 949307 | 2147483647 445945 69 | 0.000 % |
7572.30/7575.48 c | 1986559 | 1435 215680 949307 | 2147483647 448671 69 | 0.000 % |
7586.70/7589.88 c | 1989558 | 1435 215680 949307 | 2147483647 451670 69 | 0.000 % |
7602.29/7605.42 c | 1992854 | 1435 215680 949307 | 2147483647 454966 69 | 0.000 % |
7615.39/7618.51 c | 1996480 | 1435 215680 949307 | 2147483647 458592 69 | 0.000 % |
7629.28/7632.49 c | 2000467 | 1435 215680 949307 | 2147483647 462579 69 | 0.000 % |
7648.87/7652.08 c | 2004852 | 1435 215680 949307 | 2147483647 466964 69 | 0.000 % |
7672.76/7675.90 c | 2009678 | 1435 215680 949307 | 2147483647 471790 69 | 0.000 % |
7696.35/7699.55 c | 2014983 | 1435 215680 949307 | 2147483647 477095 69 | 0.000 % |
7737.63/7740.86 c | 2020820 | 1435 215680 949307 | 482112 408716 69 | 0.000 % |
7774.31/7777.53 c | 2027240 | 1435 215680 949307 | 482112 415136 69 | 0.000 % |
7816.20/7819.48 c | 2034299 | 1435 215680 949307 | 417897 339896 68 | 0.000 % |
7845.78/7849.01 c | 2042064 | 1435 215680 949307 | 345597 288125 69 | 0.000 % |
7884.77/7888.09 c | 2050605 | 1435 215680 949307 | 2147483647 296666 69 | 0.000 % |
7964.25/7967.53 c | 2060001 | 1435 215680 949307 | 2147483647 306062 69 | 0.000 % |
8045.71/8049.07 c | 2070334 | 1435 215680 949307 | 258695 259029 70 | 0.000 % |
8115.18/8118.54 c | 2081700 | 1435 215680 949307 | 219178 184367 71 | 0.000 % |
8190.56/8193.95 c | 2094203 | 1435 215680 949307 | 192668 172733 71 | 0.000 % |
8298.41/8301.84 c | 2107955 | 1435 215680 949307 | 2147483647 186485 72 | 0.000 % |
8412.07/8415.59 c | 2123083 | 1435 215680 949307 | 2147483647 182734 73 | 0.000 % |
8544.12/8547.65 c | 2139723 | 1435 215680 949307 | 189652 165571 75 | 0.000 % |
8670.46/8674.06 c | 2158025 | 1435 215680 949307 | 175849 160587 76 | 0.000 % |
8671.26/8674.85 c | 2158126 | 1435 215680 949307 | 175849 160688 76 | 0.000 % |
8672.36/8675.95 c | 2158236 | 1435 215680 949307 | 175849 160798 76 | 0.000 % |
8673.27/8676.90 c | 2158358 | 1435 215680 949307 | 175849 160920 76 | 0.000 % |
8674.27/8677.84 c | 2158491 | 1435 215680 949307 | 175849 161053 76 | 0.000 % |
8675.76/8679.36 c | 2158637 | 1435 215680 949307 | 175849 161199 76 | 0.000 % |
8677.46/8681.10 c | 2158798 | 1435 215680 949307 | 175849 161360 76 | 0.000 % |
8678.66/8682.30 c | 2158977 | 1435 215680 949307 | 175849 161539 76 | 0.000 % |
8680.86/8684.40 c | 2159171 | 1435 215680 949307 | 175849 161733 76 | 0.000 % |
8682.86/8686.43 c | 2159386 | 1435 215680 949307 | 175849 161948 76 | 0.000 % |
8684.76/8688.34 c | 2159620 | 1435 215680 949307 | 175849 162182 76 | 0.000 % |
8686.56/8690.13 c | 2159877 | 1435 215680 949307 | 175849 162439 76 | 0.000 % |
8688.15/8691.72 c | 2160158 | 1435 215680 949307 | 162564 162720 76 | 0.000 % |
8690.45/8694.07 c | 2160471 | 1435 215680 949307 | 162564 145072 76 | 0.000 % |
8692.55/8696.13 c | 2160811 | 1435 215680 949307 | 162564 145412 76 | 0.000 % |
8694.75/8698.39 c | 2161183 | 1435 215680 949307 | 162564 145784 76 | 0.000 % |
8697.65/8701.21 c | 2161592 | 1435 215680 949307 | 162564 146193 76 | 0.000 % |
8700.75/8704.39 c | 2162042 | 1435 215680 949307 | 162564 146643 76 | 0.000 % |
8703.95/8707.51 c | 2162538 | 1435 215680 949307 | 162564 147139 76 | 0.000 % |
8707.45/8711.09 c | 2163081 | 1435 215680 949307 | 162564 147682 76 | 0.000 % |
8711.55/8715.15 c | 2163677 | 1435 215680 949307 | 162564 148278 76 | 0.000 % |
8715.24/8718.82 c | 2164332 | 1435 215680 949307 | 162564 148933 76 | 0.000 % |
8719.45/8723.07 c | 2165052 | 1435 215680 949307 | 162564 149653 76 | 0.000 % |
8724.74/8728.40 c | 2165846 | 1435 215680 949307 | 162564 150447 76 | 0.000 % |
8730.34/8733.99 c | 2166718 | 1435 215680 949307 | 162564 151319 76 | 0.000 % |
8735.53/8739.12 c | 2167677 | 1435 215680 949307 | 162564 152278 76 | 0.000 % |
8740.33/8743.92 c | 2168730 | 1435 215680 949307 | 162564 153331 76 | 0.000 % |
8744.43/8748.07 c | 2169888 | 1435 215680 949307 | 162564 154489 76 | 0.000 % |
8750.33/8753.90 c | 2171161 | 1435 215680 949307 | 2147483647 155762 76 | 0.000 % |
8754.53/8758.13 c | 2172561 | 1435 215680 949307 | 2147483647 157162 76 | 0.000 % |
8761.52/8765.17 c | 2174101 | 1435 215680 949307 | 2147483647 158702 76 | 0.000 % |
8770.43/8774.09 c | 2175797 | 1435 215680 949307 | 2147483647 160398 76 | 0.000 % |
8777.63/8781.26 c | 2177660 | 1435 215680 949307 | 2147483647 162261 76 | 0.000 % |
8784.52/8788.17 c | 2179710 | 1435 215680 949307 | 2147483647 164311 76 | 0.000 % |
8795.62/8799.24 c | 2181964 | 1435 215680 949307 | 2147483647 166565 76 | 0.000 % |
8812.91/8816.58 c | 2184442 | 1435 215680 949307 | 2147483647 169043 76 | 0.000 % |
8840.30/8843.94 c | 2187168 | 1435 215680 949307 | 2147483647 171769 76 | 0.000 % |
8867.48/8871.19 c | 2190165 | 1435 215680 949307 | 2147483647 174766 76 | 0.000 % |
8891.57/8895.21 c | 2193462 | 1435 215680 949307 | 2147483647 178063 76 | 0.000 % |
8931.36/8935.08 c | 2197087 | 1435 215680 949307 | 2147483647 181688 77 | 0.000 % |
8959.55/8963.24 c | 2201074 | 1435 215680 949307 | 184602 163414 78 | 0.000 % |
8992.23/8995.94 c | 2205461 | 1435 215680 949307 | 184602 167801 78 | 0.000 % |
9026.12/9029.81 c | 2210285 | 1435 215680 949307 | 172341 172625 78 | 0.000 % |
9066.81/9070.52 c | 2215591 | 1435 215680 949307 | 172341 159098 78 | 0.000 % |
9110.28/9114.06 c | 2221427 | 1435 215680 949307 | 163508 139925 78 | 0.000 % |
9152.58/9156.35 c | 2227846 | 1435 215680 949307 | 163508 146344 78 | 0.000 % |
9205.75/9209.54 c | 2234906 | 1435 215680 949307 | 148498 130058 78 | 0.000 % |
9259.73/9263.59 c | 2242670 | 1435 215680 949307 | 135152 117135 77 | 0.000 % |
9312.21/9316.09 c | 2251211 | 1435 215680 949307 | 2147483647 125676 77 | 0.000 % |
9373.38/9377.30 c | 2260606 | 1435 215680 949307 | 2147483647 135071 77 | 0.000 % |
9449.95/9453.89 c | 2270941 | 1435 215680 949307 | 2147483647 145406 77 | 0.000 % |
9524.83/9528.77 c | 2282310 | 1435 215680 949307 | 2147483647 156775 77 | 0.000 % |
9621.49/9625.41 c | 2294814 | 1435 215680 949307 | 164465 149339 77 | 0.000 % |
9692.66/9696.69 c | 2308568 | 1435 215680 949307 | 2147483647 163093 76 | 0.000 % |
9778.13/9782.17 c | 2323696 | 1435 215680 949307 | 2147483647 178221 76 | 0.000 % |
9901.97/9906.09 c | 2340337 | 1435 215680 949307 | 194526 173971 76 | 0.000 % |
9957.65/9961.79 c | 2358642 | 1435 215680 949307 | 2147483647 192276 75 | 0.000 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837518-1242875878/watcher-1837518-1242875878 -o /tmp/evaluation-result-1837518-1242875878/solver-1837518-1242875878 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837518-1242875878.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23038
/proc/meminfo: memFree=1743984/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
[startup+0.0407661 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23038
/proc/meminfo: memFree=1743984/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101778 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23038
/proc/meminfo: memFree=1743984/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301821 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23038
/proc/meminfo: memFree=1743984/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701906 s]
/proc/loadavg: 0.85 0.97 0.99 3/64 23038
/proc/meminfo: memFree=1743984/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50108 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 23043
/proc/meminfo: memFree=1721120/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
[pid=23042] ppid=23038 vsize=23896 CPUtime=1.48
/proc/23042/stat : 23042 (SatELite_releas) R 23038 23038 23001 0 -1 4194304 5411 0 0 0 145 3 0 0 25 0 1 0 315621495 24469504 5397 1992294400 134512640 135223648 4294956128 18446744073709551615 134585544 0 0 4096 3 0 0 0 17 1 0 0
/proc/23042/statm: 5974 5397 76 173 0 5799 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 29252
[startup+3.10142 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 23043
/proc/meminfo: memFree=1720992/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=0
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 315621495 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/23038/statm: 1339 237 197 169 0 50 0
[pid=23042] ppid=23038 vsize=23896 CPUtime=3.08
/proc/23042/stat : 23042 (SatELite_releas) R 23038 23038 23001 0 -1 4194304 5411 0 0 0 305 3 0 0 25 0 1 0 315621495 24469504 5397 1992294400 134512640 135223648 4294956128 18446744073709551615 134585461 0 0 4096 3 0 0 0 17 1 0 0
/proc/23042/statm: 5974 5397 76 173 0 5799 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 29252
[startup+6.30111 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1724960/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=13964 CPUtime=2.89
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 3312 0 0 0 288 1 0 0 25 0 1 0 315621834 14299136 3298 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 3491 3298 77 171 0 3318 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 19320
[startup+12.7015 s]
/proc/loadavg: 0.87 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1723120/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=15856 CPUtime=9.29
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 3767 0 0 0 926 3 0 0 25 0 1 0 315621834 16236544 3753 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 3964 3753 77 171 0 3791 0
Current children cumulated CPU time (s) 12.67
Current children cumulated vsize (KiB) 21212
[startup+25.5012 s]
/proc/loadavg: 0.90 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1719856/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=19060 CPUtime=22.08
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 4573 0 0 0 2204 4 0 0 25 0 1 0 315621834 19517440 4559 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 4765 4559 77 171 0 4592 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 24416
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1712176/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=27152 CPUtime=47.68
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 6565 0 0 0 4761 7 0 0 25 0 1 0 315621834 27803648 6551 1992294400 134512640 135215339 4294956240 18446744073709551615 134528708 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 6788 6551 77 171 0 6615 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 32508
[startup+102.306 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1702448/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=36508 CPUtime=98.85
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 8903 0 0 0 9876 9 0 0 25 0 1 0 315621834 37384192 8889 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 9127 8889 77 171 0 8954 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 41864
[startup+162.303 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1693424/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=45664 CPUtime=158.82
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 11159 0 0 0 15869 13 0 0 25 0 1 0 315621834 46759936 11145 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 11416 11145 77 171 0 11243 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 51020
[startup+222.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1684528/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=54640 CPUtime=218.79
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 13338 0 0 0 21864 15 0 0 25 0 1 0 315621834 55951360 13324 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 13660 13324 77 171 0 13487 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 59996
[startup+282.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1677488/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=61560 CPUtime=278.77
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 15096 0 0 0 27859 18 0 0 25 0 1 0 315621834 63037440 15082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 15390 15082 77 171 0 15217 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 66916
[startup+342.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1670768/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=68136 CPUtime=338.74
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 16729 0 0 0 33854 20 0 0 25 0 1 0 315621834 69771264 16715 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 17034 16715 77 171 0 16861 0
Current children cumulated CPU time (s) 342.12
Current children cumulated vsize (KiB) 73492
[startup+402.301 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 23044
/proc/meminfo: memFree=1666160/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=72716 CPUtime=398.72
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 17877 0 0 0 39849 23 0 0 25 0 1 0 315621834 74461184 17863 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 18179 17863 77 171 0 18006 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 78072
[startup+462.302 s]
################
# More data... #
################
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9398.47
Current children cumulated vsize (KiB) 210904
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23062
/proc/meminfo: memFree=1528496/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205548 CPUtime=9455.07
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50035 0 0 0 945420 87 0 0 25 0 1 0 315621834 210481152 49914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9458.45
Current children cumulated vsize (KiB) 210904
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23062
/proc/meminfo: memFree=1528432/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205548 CPUtime=9515.05
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50035 0 0 0 951417 88 0 0 25 0 1 0 315621834 210481152 49914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9518.43
Current children cumulated vsize (KiB) 210904
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23062
/proc/meminfo: memFree=1528432/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205548 CPUtime=9575.03
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50035 0 0 0 957415 88 0 0 25 0 1 0 315621834 210481152 49914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9578.41
Current children cumulated vsize (KiB) 210904
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23062
/proc/meminfo: memFree=1528368/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205548 CPUtime=9635
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50035 0 0 0 963412 88 0 0 25 0 1 0 315621834 210481152 49914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9638.38
Current children cumulated vsize (KiB) 210904
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23062
/proc/meminfo: memFree=1528304/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205548 CPUtime=9694.98
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50035 0 0 0 969410 88 0 0 25 0 1 0 315621834 210481152 49914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9698.36
Current children cumulated vsize (KiB) 210904
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23062
/proc/meminfo: memFree=1528240/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205548 CPUtime=9754.95
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50035 0 0 0 975407 88 0 0 25 0 1 0 315621834 210481152 49914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51387 49914 77 171 0 51214 0
Current children cumulated CPU time (s) 9758.33
Current children cumulated vsize (KiB) 210904
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23068
/proc/meminfo: memFree=1528048/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205628 CPUtime=9814.92
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50037 0 0 0 981404 88 0 0 25 0 1 0 315621834 210563072 49916 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51407 49916 77 171 0 51234 0
Current children cumulated CPU time (s) 9818.3
Current children cumulated vsize (KiB) 210984
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23068
/proc/meminfo: memFree=1527856/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=205872 CPUtime=9874.9
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50079 0 0 0 987402 88 0 0 25 0 1 0 315621834 210812928 49958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51468 49958 77 171 0 51295 0
Current children cumulated CPU time (s) 9878.28
Current children cumulated vsize (KiB) 211228
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23068
/proc/meminfo: memFree=1527280/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=206480 CPUtime=9934.87
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50212 0 0 0 993399 88 0 0 25 0 1 0 315621834 211435520 50091 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 51620 50091 77 171 0 51447 0
Current children cumulated CPU time (s) 9938.25
Current children cumulated vsize (KiB) 211836
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23068
/proc/meminfo: memFree=1524976/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=209564 CPUtime=9994.86
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50803 0 0 0 999397 89 0 0 25 0 1 0 315621834 214593536 50682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 52391 50682 77 171 0 52218 0
Current children cumulated CPU time (s) 9998.24
Current children cumulated vsize (KiB) 214920
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23068
/proc/meminfo: memFree=1524976/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=209564 CPUtime=9996.66
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50803 0 0 0 999577 89 0 0 25 0 1 0 315621834 214593536 50682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 52391 50682 77 171 0 52218 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 214920
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+10004.1 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 23068
/proc/meminfo: memFree=1524976/2055920 swapFree=4179780/4192956
[pid=23038] ppid=23036 vsize=5356 CPUtime=3.38
/proc/23038/stat : 23038 (SatELiteGTI) S 23036 23038 23001 0 -1 4194304 336 5663 0 0 0 0 333 5 16 0 1 0 315621495 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 214919865156 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/23038/statm: 1339 239 197 169 0 50 0
[pid=23044] ppid=23038 vsize=209564 CPUtime=9996.66
/proc/23044/stat : 23044 (minisat_static) R 23038 23038 23001 0 -1 4194304 50803 0 0 0 999577 89 0 0 25 0 1 0 315621834 214593536 50682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 1 0 0
/proc/23044/statm: 52391 50682 77 171 0 52218 0
Current children cumulated CPU time (s) 10000
Current children cumulated vsize (KiB) 214920
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23038 and gives
# childrusage.ru_utime.tv_sec=3
# childrusage.ru_utime.tv_usec=331493
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=59990
# CPU time returned by wait4() is 3.39148
# while last known CPU time is 10000
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.1
CPU time (s): 10000
CPU user time (s): 9999.1
CPU system time (s): 0.94
CPU usage (%): 99.9593
Max. virtual memory (cumulated for all children) (KiB): 214920
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 3.33149
system time used= 0.05999
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 5999
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= 13
involuntary context switches= 15
runsolver used 11.7882 second user time and 24.2063 second system time
The end
Begin job on node10 at 2009-05-21 05:17:58
IDJOB=1837518
IDBENCH=71074
IDSOLVER=674
FILE ID=node10/1837518-1242875878
PBS_JOBID= 9328626
Free space on /tmp= 66100 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/satComp09_BioInstances/ndhf_xits_11_UNSAT.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837518-1242875878/watcher-1837518-1242875878 -o /tmp/evaluation-result-1837518-1242875878/solver-1837518-1242875878 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837518-1242875878.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 238f1788225c41f1f5779700e39b5833
RANDOM SEED=307326858
node10.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5931.00
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.263
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1744464 kB
Buffers: 15904 kB
Cached: 223732 kB
SwapCached: 6932 kB
Active: 37884 kB
Inactive: 210124 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1744464 kB
SwapTotal: 4192956 kB
SwapFree: 4179780 kB
Dirty: 5208 kB
Writeback: 0 kB
Mapped: 13956 kB
Slab: 49540 kB
Committed_AS: 1089304 kB
PageTables: 1376 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66092 MiB
End job on node10 at 2009-05-21 08:04:45