0.00/0.00 c Parsing...
1.39/1.47 c ==============================================================================
1.39/1.47 c | | ORIGINAL | LEARNT | |
1.39/1.47 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.39/1.47 c ==============================================================================
1.39/1.47 c | 0 | 1360580 3295883 | 408173 0 0 nan | 0.000 % |
9.08/9.14 c | 0 | 942285 2636352 | -- 0 -- -- | -- | -116200/27697
9.08/9.14 c ==============================================================================
9.08/9.14 c Result : #vars: 138309 #clauses: 942285 #literals: 2636352
9.08/9.14 c CPU time: 8.84066 s
9.08/9.14 c ==============================================================================
9.98/10.09 c This is MiniSat 2.0 beta
9.98/10.09 c WARNING: for repeatability, setting FPU to use double precision
9.98/10.10 c ============================[ Problem Statistics ]=============================
9.98/10.10 c | |
9.98/10.10 c | Number of variables: 138309 |
9.98/10.10 c | Number of clauses: 942285 |
10.07/10.74 c | Parsing time: 0.56 s |
10.07/10.76 c ============================[ Search Statistics ]==============================
10.07/10.76 c | Conflicts | ORIGINAL | LEARNT | Progress |
10.07/10.76 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
10.07/10.76 c ===============================================================================
10.07/10.76 c | 0 | 138309 942285 2636352 | 314095 0 nan | 0.000 % |
11.06/11.17 c | 102 | 138298 942285 2636352 | 314095 101 45 | 0.512 % |
11.26/11.35 c | 202 | 138218 942285 2636352 | 314095 198 56 | 1.469 % |
11.46/11.55 c | 303 | 138211 942285 2636352 | 314095 296 69 | 1.645 % |
11.56/11.66 c | 414 | 138211 942285 2636352 | 314095 407 98 | 1.645 % |
11.76/11.88 c | 514 | 138209 942285 2636352 | 314095 506 101 | 1.654 % |
11.96/12.01 c | 624 | 138185 942285 2636352 | 314095 614 92 | 2.029 % |
12.16/12.26 c | 746 | 138095 942285 2636352 | 314095 735 81 | 2.038 % |
12.35/12.44 c | 846 | 138095 942285 2636352 | 314095 835 78 | 2.038 % |
12.65/12.76 c | 957 | 135490 917936 2573440 | 314095 940 75 | 2.038 % |
13.05/13.14 c | 1078 | 135335 917936 2573440 | 314095 1057 71 | 3.403 % |
13.26/13.33 c | 1212 | 135303 917936 2573440 | 314095 1191 66 | 3.403 % |
13.65/13.71 c | 1312 | 135062 917936 2573440 | 314095 1288 66 | 3.713 % |
13.65/13.79 c | 1422 | 135062 917936 2573440 | 314095 1398 73 | 3.713 % |
13.95/14.01 c | 1544 | 134932 917936 2573440 | 314095 1519 77 | 3.978 % |
14.05/14.14 c | 1677 | 134932 917936 2573440 | 314095 1652 77 | 3.978 % |
14.15/14.29 c | 1823 | 134932 917936 2573440 | 314095 1798 74 | 3.978 % |
14.45/14.51 c | 1923 | 132807 900317 2530875 | 314095 1894 73 | 3.978 % |
14.55/14.69 c | 2033 | 132807 900317 2530875 | 314095 2004 70 | 3.978 % |
14.95/15.01 c | 2154 | 132799 900317 2530875 | 314095 2124 68 | 4.048 % |
15.15/15.25 c | 2291 | 132799 900317 2530875 | 314095 2261 68 | 4.048 % |
15.46/15.53 c | 2438 | 132799 900317 2530875 | 314095 2408 68 | 4.048 % |
15.85/15.93 c | 2598 | 132525 900317 2530875 | 314095 2567 70 | 4.408 % |
15.95/16.02 c | 2699 | 132525 900317 2530875 | 314095 2668 75 | 4.408 % |
16.05/16.17 c | 2810 | 132525 900317 2530875 | 314095 2779 74 | 4.408 % |
16.25/16.31 c | 2931 | 132525 900317 2530875 | 314095 2900 73 | 4.408 % |
16.46/16.52 c | 3065 | 132212 897464 2525021 | 314095 3029 72 | 4.408 % |
16.75/16.86 c | 3211 | 132203 897464 2525021 | 314095 3173 71 | 4.425 % |
17.05/17.18 c | 3371 | 132200 897464 2525021 | 314095 3332 72 | 4.773 % |
17.35/17.43 c | 3547 | 132200 897464 2525021 | 314095 3508 73 | 4.773 % |
17.56/17.64 c | 3647 | 132200 897464 2525021 | 314095 3608 72 | 4.773 % |
17.75/17.85 c | 3760 | 132170 897464 2525021 | 314095 3718 71 | 5.201 % |
17.95/18.01 c | 3881 | 132170 897464 2525021 | 314095 3839 71 | 5.201 % |
18.05/18.18 c | 4015 | 131925 897464 2525021 | 314095 3970 71 | 5.903 % |
18.25/18.34 c | 4161 | 130145 883984 2491843 | 314095 4107 71 | 5.903 % |
18.65/18.78 c | 4321 | 130145 883984 2491843 | 314095 4267 75 | 5.903 % |
18.95/19.04 c | 4497 | 129960 883984 2491843 | 314095 4442 77 | 6.107 % |
19.35/19.40 c | 4690 | 129912 883984 2491843 | 314095 4635 76 | 6.107 % |
19.65/19.76 c | 4792 | 129799 883984 2491843 | 314095 4734 76 | 6.569 % |
19.95/20.05 c | 4902 | 129798 883984 2491843 | 314095 4843 76 | 6.572 % |
20.25/20.39 c | 5024 | 129664 883984 2491843 | 314095 4962 75 | 7.152 % |
20.54/20.61 c | 5158 | 128416 870410 2457929 | 314095 5049 75 | 7.156 % |
20.65/20.74 c | 5304 | 128416 870410 2457929 | 314095 5195 75 | 7.156 % |
20.86/20.92 c | 5466 | 128414 870410 2457929 | 314095 5356 76 | 7.173 % |
21.05/21.14 c | 5644 | 128413 870410 2457929 | 314095 5533 76 | 7.177 % |
21.35/21.41 c | 5837 | 128408 870410 2457929 | 314095 5725 75 | 7.182 % |
21.75/21.88 c | 6050 | 128379 870410 2457929 | 314095 5935 73 | 7.659 % |
21.96/22.09 c | 6151 | 128257 870410 2457929 | 314095 6035 73 | 7.841 % |
22.15/22.23 c | 6261 | 127464 864711 2444810 | 314095 6128 73 | 7.841 % |
22.35/22.46 c | 6382 | 127464 864711 2444810 | 314095 6249 72 | 7.841 % |
22.75/22.86 c | 6516 | 127464 864711 2444810 | 314095 6383 74 | 7.841 % |
23.06/23.17 c | 6662 | 127463 864711 2444810 | 314095 6528 75 | 7.850 % |
23.25/23.39 c | 6822 | 127441 864711 2444810 | 314095 6684 75 | 7.893 % |
23.45/23.54 c | 6999 | 127440 864711 2444810 | 314095 6860 76 | 7.894 % |
23.55/23.68 c | 7192 | 127440 864711 2444810 | 314095 7053 75 | 7.894 % |
23.95/24.05 c | 7404 | 127305 864711 2444810 | 314095 7264 75 | 8.078 % |
24.25/24.39 c | 7637 | 127127 862417 2439056 | 314095 7473 75 | 8.085 % |
24.45/24.59 c | 7740 | 127127 862417 2439056 | 314095 7576 75 | 8.085 % |
24.75/24.85 c | 7850 | 127127 862417 2439056 | 314095 7686 74 | 8.085 % |
25.05/25.16 c | 7971 | 127097 862417 2439056 | 314095 7805 74 | 8.383 % |
25.35/25.41 c | 8104 | 127097 862417 2439056 | 314095 7938 74 | 8.383 % |
25.55/25.66 c | 8250 | 127097 862417 2439056 | 314095 8084 74 | 8.383 % |
25.85/25.90 c | 8414 | 127091 862417 2439056 | 314095 8246 74 | 8.605 % |
26.05/26.19 c | 8590 | 126868 862417 2439056 | 314095 8419 74 | 8.882 % |
26.45/26.55 c | 8783 | 126844 862417 2439056 | 314095 8612 74 | 8.882 % |
26.85/26.93 c | 8995 | 126844 862417 2439056 | 314095 8824 75 | 8.882 % |
27.55/27.60 c | 9228 | 126025 856584 2425439 | 314095 9044 75 | 8.882 % |
28.04/28.19 c | 9484 | 126025 856584 2425439 | 314095 9300 75 | 8.882 % |
28.24/28.30 c | 9584 | 126025 856584 2425439 | 314095 9400 75 | 8.882 % |
28.34/28.40 c | 9694 | 126025 856584 2425439 | 314095 9510 76 | 8.882 % |
28.44/28.60 c | 9815 | 126018 856584 2425439 | 314095 9630 75 | 8.906 % |
28.65/28.76 c | 9951 | 126017 856584 2425439 | 314095 9766 75 | 8.906 % |
29.04/29.17 c | 10099 | 126017 856584 2425439 | 2147483647 9914 78 | 8.906 % |
29.34/29.40 c | 10259 | 126009 856584 2425439 | 2147483647 10073 78 | 9.015 % |
29.44/29.58 c | 10437 | 125839 855235 2421963 | 2147483647 10208 78 | 9.016 % |
29.83/29.92 c | 10630 | 125831 855235 2421963 | 2147483647 10397 77 | 9.383 % |
30.33/30.41 c | 10843 | 125684 855235 2421963 | 2147483647 10607 77 | 9.637 % |
30.74/30.85 c | 11078 | 125574 855235 2421963 | 2147483647 10841 76 | 10.043 % |
31.13/31.28 c | 11335 | 125574 855235 2421963 | 2147483647 11098 78 | 10.043 % |
32.13/32.23 c | 11630 | 125491 855235 2421963 | 2147483647 11392 81 | 10.187 % |
32.33/32.41 c | 11731 | 124219 845804 2399339 | 2147483647 11479 81 | 10.190 % |
32.53/32.65 c | 11841 | 124218 845804 2399339 | 2147483647 11589 82 | 10.190 % |
32.73/32.83 c | 11962 | 124218 845804 2399339 | 2147483647 11710 82 | 10.190 % |
33.03/33.13 c | 12095 | 124218 845804 2399339 | 2147483647 11843 82 | 10.190 % |
33.23/33.36 c | 12241 | 124191 845804 2399339 | 2147483647 11988 82 | 10.213 % |
33.53/33.63 c | 12401 | 124184 845804 2399339 | 2147483647 12147 82 | 10.231 % |
33.73/33.83 c | 12577 | 124183 845804 2399339 | 2147483647 12323 83 | 10.231 % |
34.03/34.20 c | 12770 | 124181 845804 2399339 | 2147483647 12514 83 | 10.234 % |
34.63/34.78 c | 12982 | 124177 845804 2399339 | 2147483647 12724 83 | 10.380 % |
35.03/35.18 c | 13215 | 123941 844477 2396298 | 2147483647 12927 84 | 10.665 % |
35.42/35.52 c | 13471 | 123921 844477 2396298 | 2147483647 13177 83 | 10.919 % |
35.72/35.80 c | 13753 | 123921 844477 2396298 | 2147483647 13459 83 | 10.919 % |
36.23/36.34 c | 14062 | 123919 844477 2396298 | 2147483647 13766 85 | 10.931 % |
36.33/36.45 c | 14164 | 123919 844477 2396298 | 2147483647 13868 85 | 10.931 % |
36.52/36.62 c | 14275 | 123917 844477 2396298 | 2147483647 13978 85 | 10.936 % |
36.63/36.73 c | 14396 | 123917 844477 2396298 | 2147483647 14099 85 | 10.936 % |
36.73/36.88 c | 14529 | 123917 844477 2396298 | 2147483647 14232 85 | 10.936 % |
36.93/37.05 c | 14675 | 123917 844477 2396298 | 2147483647 14378 85 | 10.936 % |
37.23/37.31 c | 14838 | 123917 844477 2396298 | 2147483647 14541 85 | 10.936 % |
37.43/37.59 c | 15014 | 123181 840790 2387870 | 2147483647 14630 85 | 10.942 % |
38.03/38.12 c | 15208 | 123179 840790 2387870 | 2147483647 14824 85 | 10.942 % |
38.43/38.56 c | 15420 | 122953 840790 2387870 | 2147483647 15029 85 | 12.191 % |
39.12/39.25 c | 15653 | 122549 840790 2387870 | 2147483647 15254 84 | 13.451 % |
39.82/39.94 c | 15912 | 122253 840790 2387870 | 2147483647 15510 83 | 13.724 % |
40.22/40.37 c | 16193 | 119270 818095 2333622 | 2147483647 15769 83 | 13.802 % |
40.63/40.75 c | 16502 | 119270 818095 2333622 | 2147483647 16078 82 | 13.802 % |
41.32/41.47 c | 16841 | 119200 818095 2333622 | 2147483647 16412 83 | 14.140 % |
41.42/41.57 c | 16946 | 119200 818095 2333622 | 2147483647 16517 84 | 14.140 % |
41.73/41.87 c | 17057 | 119159 818095 2333622 | 2147483647 16625 83 | 14.314 % |
42.22/42.39 c | 17178 | 119158 818095 2333622 | 2147483647 16745 85 | 14.335 % |
42.52/42.61 c | 17313 | 119150 818095 2333622 | 2147483647 16880 85 | 14.335 % |
42.93/43.01 c | 17462 | 119149 818095 2333622 | 2147483647 17029 86 | 14.335 % |
43.42/43.51 c | 17622 | 118481 813533 2323062 | 2147483647 17162 86 | 14.337 % |
43.62/43.78 c | 17808 | 118392 813533 2323062 | 2147483647 17346 85 | 14.940 % |
44.22/44.33 c | 18001 | 118389 813533 2323062 | 2147483647 17538 86 | 14.949 % |
44.62/44.79 c | 18216 | 118389 813533 2323062 | 2147483647 17753 86 | 14.949 % |
45.42/45.53 c | 18449 | 118387 813533 2323062 | 2147483647 17984 86 | 14.952 % |
45.92/46.01 c | 18707 | 118363 813533 2323062 | 2147483647 18241 87 | 15.227 % |
46.61/46.76 c | 18989 | 118279 813533 2323062 | 2147483647 18523 87 | 15.227 % |
47.51/47.61 c | 19299 | 117249 801869 2292279 | 2147483647 18794 88 | 15.227 % |
48.31/48.44 c | 19643 | 117249 801869 2292279 | 2147483647 19138 89 | 15.227 % |
49.30/49.48 c | 20016 | 117249 801869 2292279 | 2147483647 19511 91 | 15.227 % |
49.51/49.67 c | 20117 | 117249 801869 2292279 | 2147483647 19612 91 | 15.227 % |
49.70/49.89 c | 20228 | 117249 801869 2292279 | 2147483647 19723 91 | 15.227 % |
50.00/50.15 c | 20349 | 117249 801869 2292279 | 2147483647 19844 91 | 15.227 % |
50.30/50.46 c | 20484 | 117249 801869 2292279 | 2147483647 19979 91 | 15.227 % |
50.80/50.94 c | 20630 | 117232 801769 2292009 | 2147483647 20121 91 | 15.288 % |
51.10/51.25 c | 20790 | 117229 801769 2292009 | 2147483647 20281 91 | 15.288 % |
51.80/51.97 c | 20966 | 117166 801769 2292009 | 2147483647 20455 91 | 15.345 % |
52.30/52.46 c | 21159 | 116980 801769 2292009 | 2147483647 20643 90 | 15.874 % |
53.00/53.10 c | 21371 | 116959 801769 2292009 | 2147483647 20852 90 | 16.245 % |
53.60/53.79 c | 21604 | 115802 794230 2274938 | 2147483647 21051 90 | 16.273 % |
54.10/54.27 c | 21861 | 115791 794230 2274938 | 2147483647 21304 90 | 16.315 % |
54.61/54.73 c | 22142 | 115701 794230 2274938 | 2147483647 21579 90 | 16.573 % |
55.21/55.36 c | 22451 | 115698 794230 2274938 | 2147483647 21887 89 | 16.584 % |
55.91/56.03 c | 22790 | 115694 794230 2274938 | 2147483647 22224 89 | 16.597 % |
56.50/56.61 c | 23163 | 115694 794230 2274938 | 2147483647 22597 89 | 16.597 % |
57.70/57.83 c | 23579 | 115163 791247 2267879 | 2147483647 22994 89 | 16.812 % |
58.00/58.14 c | 23681 | 115159 791247 2267879 | 2147483647 23094 89 | 16.830 % |
58.21/58.34 c | 23791 | 115156 791247 2267879 | 2147483647 23204 89 | 16.830 % |
58.40/58.52 c | 23915 | 115155 791247 2267879 | 2147483647 23328 89 | 16.830 % |
58.80/58.95 c | 24048 | 115154 791247 2267879 | 2147483647 23460 89 | 16.839 % |
59.10/59.28 c | 24195 | 115154 791247 2267879 | 2147483647 23607 90 | 16.839 % |
59.60/59.73 c | 24356 | 115153 791247 2267879 | 2147483647 23766 91 | 16.873 % |
60.10/60.28 c | 24536 | 115153 791247 2267879 | 2147483647 23946 91 | 16.873 % |
60.60/60.74 c | 24731 | 114972 789731 2264245 | 2147483647 24129 91 | 16.873 % |
61.00/61.15 c | 24943 | 114971 789731 2264245 | 2147483647 24340 92 | 16.874 % |
61.50/61.62 c | 25180 | 114971 789731 2264245 | 2147483647 24577 93 | 16.874 % |
62.00/62.16 c | 25436 | 114968 789731 2264245 | 2147483647 24830 94 | 16.877 % |
62.90/63.02 c | 25718 | 114968 789731 2264245 | 2147483647 25112 97 | 16.877 % |
63.40/63.50 c | 26029 | 114963 789731 2264245 | 2147483647 25422 98 | 16.883 % |
64.10/64.29 c | 26368 | 114962 789731 2264245 | 2147483647 25760 99 | 16.890 % |
65.39/65.53 c | 26740 | 114932 789415 2263415 | 2147483647 26119 101 | 16.902 % |
66.00/66.15 c | 27150 | 114932 789415 2263415 | 2147483647 26529 101 | 16.902 % |
67.11/67.24 c | 27599 | 114932 789415 2263415 | 2147483647 26978 102 | 16.902 % |
67.30/67.41 c | 27699 | 114932 789415 2263415 | 2147483647 27078 103 | 16.902 % |
67.60/67.71 c | 27809 | 114932 789415 2263415 | 2147483647 27188 103 | 16.902 % |
67.70/67.87 c | 27930 | 114932 789415 2263415 | 2147483647 27309 102 | 16.902 % |
68.30/68.41 c | 28064 | 114924 789415 2263415 | 2147483647 27442 102 | 16.952 % |
68.70/68.89 c | 28210 | 114923 789415 2263415 | 2147483647 27587 103 | 16.953 % |
69.30/69.42 c | 28370 | 114923 789415 2263415 | 2147483647 27747 103 | 16.953 % |
69.99/70.13 c | 28547 | 114861 789171 2262927 | 2147483647 27922 104 | 16.953 % |
70.40/70.58 c | 28742 | 114859 789171 2262927 | 2147483647 28115 104 | 16.966 % |
70.79/71.00 c | 28954 | 114857 789171 2262927 | 2147483647 28326 104 | 16.967 % |
71.50/71.66 c | 29188 | 114856 789171 2262927 | 2147483647 28559 104 | 16.974 % |
71.89/72.00 c | 29448 | 114856 789171 2262927 | 2147483647 28819 105 | 16.974 % |
72.39/72.51 c | 29729 | 114856 789171 2262927 | 2147483647 29100 105 | 16.974 % |
72.99/73.19 c | 30040 | 114854 789171 2262927 | 2147483647 29410 105 | 16.976 % |
73.60/73.75 c | 30380 | 114851 789171 2262927 | 2147483647 29749 105 | 16.983 % |
74.80/74.94 c | 30755 | 114820 788840 2262040 | 2147483647 30110 106 | 16.983 % |
75.39/75.56 c | 31165 | 114818 788840 2262040 | 2147483647 30519 106 | 16.993 % |
76.19/76.30 c | 31614 | 114818 788840 2262040 | 2147483647 30968 107 | 16.993 % |
77.09/77.26 c | 32107 | 114814 788840 2262040 | 2147483647 31461 108 | 16.993 % |
77.19/77.38 c | 32208 | 114814 788840 2262040 | 2147483647 31562 109 | 16.993 % |
77.49/77.60 c | 32318 | 114814 788840 2262040 | 2147483647 31672 109 | 16.993 % |
77.69/77.87 c | 32440 | 114813 788840 2262040 | 2147483647 31793 109 | 17.001 % |
77.99/78.18 c | 32574 | 114813 788840 2262040 | 2147483647 31927 109 | 17.001 % |
78.39/78.55 c | 32720 | 114813 788840 2262040 | 2147483647 32073 109 | 17.001 % |
78.89/79.01 c | 32880 | 114811 788840 2262040 | 2147483647 32232 110 | 17.007 % |
79.19/79.34 c | 33056 | 114786 788604 2261429 | 2147483647 32396 110 | 17.559 % |
79.59/79.79 c | 33249 | 114669 788604 2261429 | 2147483647 32588 110 | 17.687 % |
80.39/80.53 c | 33461 | 114669 788604 2261429 | 2147483647 32800 110 | 17.687 % |
80.89/81.03 c | 33694 | 114669 788604 2261429 | 2147483647 33033 111 | 17.687 % |
81.39/81.57 c | 33951 | 114649 788604 2261429 | 2147483647 33289 111 | 17.719 % |
81.99/82.16 c | 34233 | 114649 788604 2261429 | 2147483647 33571 111 | 17.719 % |
82.68/82.86 c | 34542 | 114640 788604 2261429 | 2147483647 33874 111 | 18.112 % |
83.49/83.68 c | 34882 | 114636 788604 2261429 | 2147483647 34212 111 | 18.160 % |
84.78/84.92 c | 35256 | 112983 769957 2212182 | 2147483647 34529 112 | 18.311 % |
85.98/86.16 c | 35666 | 112983 769957 2212182 | 2147483647 34939 115 | 18.311 % |
87.07/87.24 c | 36116 | 112983 769957 2212182 | 2147483647 35389 116 | 18.311 % |
88.47/88.64 c | 36609 | 112983 769957 2212182 | 2147483647 35882 117 | 18.311 % |
89.78/89.98 c | 37157 | 112983 769957 2212182 | 2147483647 36430 118 | 18.311 % |
90.08/90.24 c | 37258 | 112983 769957 2212182 | 2147483647 36531 118 | 18.311 % |
90.48/90.67 c | 37368 | 112983 769957 2212182 | 2147483647 36641 119 | 18.311 % |
90.98/91.13 c | 37491 | 112983 769957 2212182 | 2147483647 36764 120 | 18.311 % |
91.57/91.71 c | 37624 | 112983 769957 2212182 | 2147483647 36897 120 | 18.311 % |
91.77/91.98 c | 37775 | 112974 769875 2211987 | 2147483647 37047 120 | 18.318 % |
92.37/92.55 c | 37938 | 112974 769875 2211987 | 2147483647 37210 120 | 18.318 % |
92.97/93.11 c | 38114 | 112974 769875 2211987 | 2147483647 37386 121 | 18.318 % |
93.47/93.66 c | 38308 | 112973 769875 2211987 | 2147483647 37579 121 | 18.318 % |
93.96/94.14 c | 38520 | 112972 769875 2211987 | 2147483647 37790 121 | 18.326 % |
94.16/94.38 c | 38754 | 112972 769875 2211987 | 2147483647 38024 122 | 18.326 % |
94.86/95.09 c | 39013 | 112972 769875 2211987 | 2147483647 38283 122 | 18.326 % |
95.56/95.74 c | 39296 | 112972 769875 2211987 | 2147483647 38566 123 | 18.326 % |
96.26/96.49 c | 39605 | 112968 769875 2211987 | 2147483647 38874 123 | 18.336 % |
97.06/97.25 c | 39944 | 112967 769875 2211987 | 2147483647 39212 123 | 18.342 % |
98.36/98.51 c | 40316 | 112951 769875 2211987 | 2147483647 39582 124 | 18.423 % |
99.76/99.90 c | 40725 | 112949 769875 2211987 | 2147483647 39990 125 | 18.425 % |
100.76/101.00 c | 41176 | 112824 768476 2208377 | 2147483647 40370 126 | 18.430 % |
102.16/102.30 c | 41675 | 112822 768476 2208377 | 2147483647 40868 127 | 18.436 % |
102.86/103.07 c | 42218 | 112822 768476 2208377 | 2147483647 41411 127 | 18.436 % |
104.47/104.61 c | 42814 | 112822 768476 2208377 | 2147483647 42007 129 | 18.436 % |
104.66/104.81 c | 42917 | 112822 768476 2208377 | 2147483647 42110 129 | 18.436 % |
104.86/105.04 c | 43027 | 112822 768476 2208377 | 2147483647 42220 129 | 18.436 % |
105.16/105.39 c | 43150 | 112808 768476 2208377 | 2147483647 42341 129 | 18.465 % |
105.36/105.51 c | 43291 | 112808 768476 2208377 | 2147483647 42482 129 | 18.465 % |
105.47/105.68 c | 43437 | 112808 768476 2208377 | 2147483647 42628 129 | 18.465 % |
105.96/106.15 c | 43597 | 112808 768476 2208377 | 2147483647 42788 129 | 18.465 % |
106.56/106.71 c | 43774 | 112808 768476 2208377 | 2147483647 42965 130 | 18.465 % |
107.06/107.29 c | 43967 | 112807 768476 2208377 | 2147483647 43157 130 | 18.466 % |
107.66/107.90 c | 44182 | 112807 768476 2208377 | 2147483647 43372 130 | 18.466 % |
108.26/108.41 c | 44416 | 112769 768060 2207335 | 2147483647 43593 131 | 18.466 % |
108.86/109.08 c | 44672 | 112769 768060 2207335 | 2147483647 43848 131 | 18.569 % |
109.96/110.13 c | 44953 | 112747 768060 2207335 | 2147483647 44126 132 | 18.604 % |
110.55/110.79 c | 45264 | 112737 768060 2207335 | 2147483647 44436 132 | 18.835 % |
111.75/111.91 c | 45607 | 112737 768060 2207335 | 2147483647 44779 133 | 18.835 % |
112.35/112.53 c | 45981 | 112736 768060 2207335 | 2147483647 45152 133 | 18.840 % |
113.66/113.81 c | 46390 | 112735 768060 2207335 | 2147483647 45560 133 | 18.841 % |
115.16/115.34 c | 46839 | 112735 768060 2207335 | 2147483647 46009 134 | 18.841 % |
116.65/116.86 c | 47333 | 112735 768060 2207335 | 2147483647 46503 136 | 18.841 % |
118.25/118.45 c | 47875 | 112246 759860 2184748 | 2147483647 46969 137 | 18.879 % |
119.85/120.06 c | 48472 | 112243 759860 2184748 | 2147483647 47565 140 | 18.879 % |
121.36/121.58 c | 49128 | 112242 759860 2184748 | 2147483647 48220 141 | 18.897 % |
121.66/121.80 c | 49228 | 112242 759860 2184748 | 2147483647 48320 141 | 18.897 % |
122.06/122.24 c | 49339 | 112242 759860 2184748 | 2147483647 48431 142 | 18.897 % |
122.25/122.47 c | 49462 | 112242 759860 2184748 | 2147483647 48554 142 | 18.897 % |
122.55/122.71 c | 49595 | 112242 759860 2184748 | 2147483647 48687 142 | 18.897 % |
122.95/123.18 c | 49745 | 112242 759860 2184748 | 2147483647 48837 142 | 18.897 % |
123.55/123.76 c | 49907 | 112242 759860 2184748 | 2147483647 48999 143 | 18.897 % |
123.75/123.99 c | 50083 | 112242 759860 2184748 | 2147483647 49175 143 | 18.897 % |
124.35/124.53 c | 50278 | 112241 759860 2184748 | 2147483647 49369 144 | 18.898 % |
124.75/124.91 c | 50490 | 112241 759860 2184748 | 2147483647 49581 144 | 18.898 % |
125.35/125.58 c | 50725 | 112239 759860 2184748 | 2147483647 49815 144 | 18.906 % |
126.04/126.23 c | 50982 | 112237 759860 2184748 | 2147483647 50071 144 | 18.914 % |
126.74/126.95 c | 51263 | 112212 759860 2184748 | 2147483647 50350 145 | 18.964 % |
127.14/127.38 c | 51578 | 112080 758660 2181625 | 2147483647 50615 145 | 18.964 % |
128.15/128.31 c | 51918 | 112073 758660 2181625 | 2147483647 50953 145 | 19.007 % |
129.15/129.33 c | 52294 | 112071 758660 2181625 | 2147483647 51328 146 | 19.011 % |
130.35/130.52 c | 52703 | 112071 758660 2181625 | 2147483647 51737 147 | 19.011 % |
131.05/131.22 c | 53154 | 112071 758660 2181625 | 2147483647 52188 147 | 19.011 % |
132.35/132.55 c | 53648 | 112069 758660 2181625 | 2147483647 52680 147 | 19.020 % |
133.55/133.75 c | 54190 | 112068 758660 2181625 | 2147483647 53221 147 | 19.023 % |
134.55/134.73 c | 54786 | 112068 758660 2181625 | 2147483647 53817 147 | 19.023 % |
136.94/137.12 c | 55443 | 111904 756973 2177153 | 2147483647 54359 149 | 19.091 % |
138.73/138.97 c | 56166 | 111904 756973 2177153 | 2147483647 55082 150 | 19.091 % |
139.03/139.25 c | 56266 | 111904 756973 2177153 | 2147483647 55182 150 | 19.091 % |
139.43/139.64 c | 56378 | 111904 756973 2177153 | 2147483647 55294 150 | 19.091 % |
139.64/139.85 c | 56499 | 111903 756973 2177153 | 2147483647 55414 150 | 19.092 % |
139.93/140.19 c | 56634 | 111900 756973 2177153 | 2147483647 55548 150 | 19.099 % |
140.43/140.68 c | 56790 | 111900 756973 2177153 | 2147483647 55704 150 | 19.099 % |
140.83/141.08 c | 56951 | 111731 756973 2177153 | 2147483647 55863 150 | 19.531 % |
141.33/141.57 c | 57128 | 111731 756973 2177153 | 2147483647 56040 150 | 19.531 % |
142.13/142.36 c | 57323 | 111731 756973 2177153 | 2147483647 56235 150 | 19.531 % |
143.04/143.23 c | 57536 | 111730 756973 2177153 | 2147483647 56447 151 | 19.532 % |
143.64/143.86 c | 57770 | 111730 756973 2177153 | 2147483647 56681 151 | 19.532 % |
144.33/144.57 c | 58028 | 111729 756973 2177153 | 2147483647 56938 152 | 19.532 % |
146.14/146.31 c | 58309 | 111729 756973 2177153 | 2147483647 57219 153 | 19.532 % |
146.93/147.12 c | 58618 | 111729 756973 2177153 | 2147483647 57528 154 | 19.532 % |
148.53/148.70 c | 58957 | 111729 756973 2177153 | 2147483647 57867 156 | 19.532 % |
149.33/149.59 c | 59330 | 111729 756973 2177153 | 2147483647 58240 156 | 19.532 % |
150.43/150.67 c | 59739 | 111294 753446 2169147 | 2147483647 58631 157 | 19.532 % |
151.53/151.70 c | 60188 | 111294 753446 2169147 | 2147483647 59080 157 | 19.532 % |
152.43/152.64 c | 60683 | 111294 753446 2169147 | 2147483647 59575 157 | 19.532 % |
153.84/154.06 c | 61226 | 111293 753446 2169147 | 2147483647 60117 158 | 19.533 % |
155.83/156.00 c | 61823 | 111290 753446 2169147 | 2147483647 60711 158 | 19.560 % |
157.23/157.47 c | 62480 | 111280 753446 2169147 | 2147483647 61368 159 | 19.560 % |
158.83/159.05 c | 63204 | 111280 753446 2169147 | 2147483647 62092 160 | 19.560 % |
161.43/161.67 c | 63996 | 111280 753446 2169147 | 2147483647 62884 161 | 19.560 % |
161.73/161.94 c | 64096 | 111280 753446 2169147 | 2147483647 62984 161 | 19.560 % |
162.23/162.46 c | 64206 | 111280 753446 2169147 | 2147483647 63094 162 | 19.560 % |
162.92/163.11 c | 64327 | 111256 753229 2168601 | 2147483647 63198 162 | 19.560 % |
163.52/163.71 c | 64460 | 111256 753229 2168601 | 2147483647 63331 162 | 19.560 % |
163.84/164.06 c | 64610 | 111256 753229 2168601 | 2147483647 63481 162 | 19.560 % |
164.53/164.72 c | 64775 | 111256 753229 2168601 | 2147483647 63646 163 | 19.560 % |
164.94/165.11 c | 64951 | 111256 753229 2168601 | 2147483647 63822 163 | 19.560 % |
165.23/165.43 c | 65144 | 111235 753229 2168601 | 2147483647 64013 162 | 20.078 % |
165.94/166.15 c | 65359 | 111235 753229 2168601 | 2147483647 64228 162 | 20.078 % |
166.83/167.00 c | 65592 | 111235 753229 2168601 | 2147483647 64461 162 | 20.078 % |
167.33/167.58 c | 65850 | 111235 753229 2168601 | 2147483647 64719 162 | 20.078 % |
168.03/168.25 c | 66131 | 111218 753229 2168601 | 2147483647 64999 163 | 20.148 % |
169.23/169.49 c | 66440 | 111217 753229 2168601 | 2147483647 65306 163 | 20.165 % |
169.82/170.07 c | 66779 | 111217 753229 2168601 | 2147483647 65645 163 | 20.165 % |
170.52/170.70 c | 67153 | 111210 753229 2168601 | 2147483647 66016 164 | 20.178 % |
172.42/172.60 c | 67563 | 111210 753229 2168601 | 2147483647 66426 165 | 20.178 % |
173.02/173.24 c | 68017 | 111210 753229 2168601 | 2147483647 66880 165 | 20.178 % |
173.42/173.63 c | 68513 | 111210 753229 2168601 | 2147483647 67376 164 | 20.178 % |
175.12/175.32 c | 69055 | 111210 753229 2168601 | 2147483647 67918 165 | 20.178 % |
178.23/178.43 c | 69653 | 110398 742289 2138734 | 2147483647 68465 167 | 20.188 % |
179.52/179.76 c | 70309 | 110398 742289 2138734 | 2147483647 69121 168 | 20.188 % |
181.71/181.98 c | 71033 | 110398 742289 2138734 | 2147483647 69845 170 | 20.188 % |
185.91/186.13 c | 71826 | 110397 742289 2138734 | 2147483647 70637 172 | 20.189 % |
188.41/188.69 c | 72698 | 110397 742289 2138734 | 2147483647 71509 174 | 20.189 % |
188.71/188.95 c | 72799 | 110397 742289 2138734 | 2147483647 71610 174 | 20.189 % |
189.31/189.54 c | 72909 | 110397 742289 2138734 | 2147483647 71719 175 | 20.191 % |
189.61/189.88 c | 73030 | 110396 742289 2138734 | 2147483647 71840 175 | 20.191 % |
190.11/190.38 c | 73169 | 110396 742289 2138734 | 2147483647 71979 175 | 20.191 % |
190.61/190.84 c | 73315 | 110395 742289 2138734 | 2147483647 72124 175 | 20.192 % |
191.11/191.38 c | 73478 | 110395 742289 2138734 | 2147483647 72287 175 | 20.192 % |
191.61/191.84 c | 73655 | 110395 742289 2138734 | 2147483647 72463 175 | 20.571 % |
192.01/192.26 c | 73849 | 110389 742289 2138734 | 2147483647 72655 175 | 20.583 % |
193.11/193.38 c | 74065 | 110389 742289 2138734 | 2147483647 72871 176 | 20.583 % |
194.21/194.43 c | 74300 | 109841 732571 2111850 | 2147483647 73062 176 | 20.583 % |
194.70/194.91 c | 74556 | 109841 732571 2111850 | 2147483647 73317 176 | 20.617 % |
195.80/196.10 c | 74837 | 109841 732571 2111850 | 2147483647 73598 176 | 20.617 % |
196.60/196.82 c | 75147 | 109841 732571 2111850 | 2147483647 73907 176 | 20.618 % |
197.40/197.62 c | 75487 | 109841 732571 2111850 | 2147483647 74246 176 | 20.628 % |
198.30/198.57 c | 75860 | 109838 732571 2111850 | 2147483647 74619 176 | 20.628 % |
199.31/199.51 c | 76269 | 109837 732571 2111850 | 2147483647 75027 176 | 21.060 % |
200.71/200.97 c | 76718 | 109837 732571 2111850 | 2147483647 75476 178 | 21.060 % |
201.91/202.15 c | 77212 | 109833 732571 2111850 | 2147483647 75969 178 | 21.069 % |
204.01/204.22 c | 77754 | 109833 732571 2111850 | 2147483647 76511 179 | 21.069 % |
205.61/205.85 c | 78351 | 109833 732571 2111850 | 2147483647 77108 180 | 21.069 % |
206.90/207.20 c | 79006 | 109830 732571 2111850 | 2147483647 77760 179 | 21.072 % |
208.90/209.15 c | 79736 | 109824 732571 2111850 | 2147483647 78488 180 | 21.252 % |
210.50/210.78 c | 80533 | 109822 732571 2111850 | 2147483647 79284 181 | 21.258 % |
213.21/213.49 c | 81404 | 108904 719140 2075216 | 2147483647 79856 183 | 21.268 % |
215.90/216.13 c | 82366 | 108904 719140 2075216 | 2147483647 80818 185 | 21.268 % |
216.20/216.49 c | 82469 | 108904 719140 2075216 | 2147483647 80921 185 | 21.268 % |
216.61/216.80 c | 82582 | 108904 719140 2075216 | 2147483647 81034 185 | 21.268 % |
216.80/217.05 c | 82704 | 108904 719140 2075216 | 2147483647 81156 185 | 21.268 % |
217.40/217.69 c | 82837 | 108904 719140 2075216 | 2147483647 81289 185 | 21.268 % |
218.00/218.22 c | 82985 | 108904 719140 2075216 | 2147483647 81437 185 | 21.268 % |
218.20/218.41 c | 83145 | 108904 719140 2075216 | 2147483647 81597 185 | 21.268 % |
218.90/219.12 c | 83322 | 108904 719140 2075216 | 2147483647 81774 185 | 21.268 % |
219.50/219.77 c | 83516 | 108904 719140 2075216 | 2147483647 81968 185 | 21.268 % |
219.70/220.00 c | 83728 | 108904 719140 2075216 | 2147483647 82180 185 | 21.268 % |
220.30/220.54 c | 83965 | 108904 719140 2075216 | 2147483647 82417 185 | 21.268 % |
221.10/221.31 c | 84225 | 108886 719140 2075216 | 2147483647 82676 185 | 21.281 % |
222.50/222.73 c | 84509 | 108886 719140 2075216 | 2147483647 82960 186 | 21.281 % |
223.69/223.92 c | 84819 | 108885 719140 2075216 | 2147483647 83269 187 | 21.285 % |
225.19/225.41 c | 85159 | 108880 719140 2075216 | 2147483647 83606 187 | 21.295 % |
226.49/226.79 c | 85532 | 108824 719140 2075216 | 2147483647 83977 188 | 21.412 % |
228.28/228.54 c | 85945 | 108824 719140 2075216 | 2147483647 84390 189 | 21.412 % |
229.58/229.87 c | 86394 | 108824 719140 2075216 | 2147483647 84839 189 | 21.412 % |
231.09/231.36 c | 86888 | 108824 719140 2075216 | 2147483647 85333 189 | 21.412 % |
233.49/233.74 c | 87432 | 108694 717880 2072423 | 2147483647 85790 190 | 21.412 % |
235.09/235.37 c | 88028 | 108689 717880 2072423 | 2147483647 86383 189 | 21.424 % |
238.68/238.90 c | 88683 | 108689 717880 2072423 | 2147483647 87038 192 | 21.424 % |
241.28/241.54 c | 89407 | 108687 717880 2072423 | 2147483647 87761 193 | 21.433 % |
245.78/246.05 c | 90205 | 108687 717880 2072423 | 2147483647 88559 198 | 21.433 % |
247.88/248.19 c | 91077 | 108687 717880 2072423 | 2147483647 89431 198 | 21.433 % |
250.98/251.25 c | 92035 | 108685 717880 2072423 | 2147483647 90388 200 | 21.439 % |
255.37/255.61 c | 93088 | 108685 717880 2072423 | 2147483647 91439 202 | 21.441 % |
255.67/256.00 c | 93188 | 108685 717880 2072423 | 2147483647 91539 202 | 21.441 % |
255.97/256.20 c | 93298 | 108685 717880 2072423 | 2147483647 91649 202 | 21.441 % |
256.18/256.48 c | 93420 | 108685 717880 2072423 | 2147483647 91771 202 | 21.441 % |
256.58/256.87 c | 93554 | 108685 717880 2072423 | 2147483647 91905 202 | 21.441 % |
256.98/257.26 c | 93704 | 108685 717880 2072423 | 2147483647 92055 202 | 21.441 % |
257.29/257.56 c | 93865 | 108685 717880 2072423 | 2147483647 92216 202 | 21.441 % |
257.58/257.87 c | 94041 | 108654 717608 2071755 | 2147483647 92382 202 | 21.441 % |
257.88/258.18 c | 94238 | 108654 717608 2071755 | 2147483647 92579 202 | 21.441 % |
259.48/259.78 c | 94451 | 108654 717608 2071755 | 2147483647 92792 203 | 21.441 % |
260.08/260.34 c | 94685 | 108654 717608 2071755 | 2147483647 93026 203 | 21.441 % |
261.27/261.51 c | 94941 | 108653 717608 2071755 | 2147483647 93281 203 | 21.443 % |
262.17/262.44 c | 95222 | 108653 717608 2071755 | 2147483647 93562 204 | 21.443 % |
263.07/263.33 c | 95531 | 108653 717608 2071755 | 2147483647 93871 203 | 21.443 % |
264.88/265.19 c | 95871 | 108653 717608 2071755 | 2147483647 94211 204 | 21.443 % |
267.18/267.42 c | 96244 | 108644 717608 2071755 | 2147483647 94582 206 | 21.509 % |
268.97/269.21 c | 96653 | 108641 717608 2071755 | 2147483647 94990 207 | 21.518 % |
270.77/271.01 c | 97102 | 108641 717608 2071755 | 2147483647 95439 208 | 21.518 % |
272.36/272.63 c | 97597 | 108641 717608 2071755 | 2147483647 95934 209 | 21.518 % |
273.67/274.00 c | 98139 | 108641 717608 2071755 | 2147483647 96476 210 | 21.518 % |
275.27/275.50 c | 98739 | 108641 717608 2071755 | 2147483647 97076 210 | 21.518 % |
276.87/277.16 c | 99394 | 108641 717608 2071755 | 2147483647 97731 210 | 21.518 % |
279.06/279.39 c | 100114 | 108637 717608 2071755 | 2147483647 98449 211 | 21.525 % |
281.36/281.65 c | 100907 | 108616 717608 2071755 | 2147483647 99241 212 | 21.646 % |
283.67/283.91 c | 101778 | 108606 717608 2071755 | 2147483647 100107 212 | 21.800 % |
287.16/287.44 c | 102737 | 108605 717608 2071755 | 2147483647 101065 212 | 21.801 % |
289.76/290.08 c | 103791 | 108156 714111 2063324 | 2147483647 102095 214 | 21.801 % |
294.05/294.36 c | 104951 | 108152 714111 2063324 | 2147483647 103254 214 | 21.808 % |
294.25/294.53 c | 105052 | 108152 714111 2063324 | 2147483647 103355 214 | 21.808 % |
294.56/294.82 c | 105163 | 108152 714111 2063324 | 2147483647 103466 214 | 21.808 % |
295.06/295.33 c | 105284 | 108152 714111 2063324 | 2147483647 103587 215 | 21.808 % |
295.26/295.53 c | 105417 | 108152 714111 2063324 | 2147483647 103720 215 | 21.808 % |
295.76/296.01 c | 105569 | 108152 714111 2063324 | 2147483647 103872 215 | 21.808 % |
296.36/296.69 c | 105732 | 108152 714111 2063324 | 2147483647 104035 215 | 21.808 % |
296.76/297.02 c | 105908 | 108152 714111 2063324 | 2147483647 104211 215 | 21.808 % |
297.46/297.79 c | 106101 | 108152 714111 2063324 | 2147483647 104404 215 | 21.808 % |
298.26/298.57 c | 106313 | 108152 714111 2063324 | 2147483647 104616 215 | 21.808 % |
298.86/299.13 c | 106546 | 108152 714111 2063324 | 2147483647 104849 215 | 21.808 % |
299.36/299.67 c | 106802 | 108151 714111 2063324 | 2147483647 105104 215 | 21.961 % |
299.66/299.92 c | 107084 | 108151 714111 2063324 | 2147483647 105386 215 | 21.961 % |
301.45/301.71 c | 107393 | 108151 714111 2063324 | 2147483647 105695 215 | 21.961 % |
302.26/302.60 c | 107732 | 108151 714111 2063324 | 2147483647 106034 216 | 21.961 % |
304.75/305.09 c | 108104 | 108151 714111 2063324 | 2147483647 106406 217 | 21.961 % |
306.05/306.35 c | 108514 | 108151 714111 2063324 | 2147483647 106816 217 | 21.961 % |
307.35/307.66 c | 108964 | 108149 714111 2063324 | 2147483647 107264 217 | 21.968 % |
309.65/309.95 c | 109457 | 108149 714111 2063324 | 2147483647 107756 218 | 21.969 % |
310.55/310.88 c | 110001 | 108149 714111 2063324 | 2147483647 108300 219 | 21.969 % |
311.65/311.92 c | 110598 | 108148 714111 2063324 | 2147483647 108896 219 | 21.970 % |
313.05/313.33 c | 111253 | 108148 714111 2063324 | 2147483647 109551 219 | 21.970 % |
315.04/315.32 c | 111975 | 108119 714111 2063324 | 2147483647 110270 218 | 22.087 % |
318.64/318.91 c | 112768 | 107751 711758 2057523 | 2147483647 110958 219 | 22.103 % |
321.84/322.13 c | 113639 | 107749 711758 2057523 | 2147483647 111827 220 | 22.105 % |
323.64/323.93 c | 114598 | 107747 711758 2057523 | 2147483647 112785 220 | 22.111 % |
327.54/327.90 c | 115651 | 107747 711758 2057523 | 2147483647 113838 220 | 22.111 % |
331.14/331.49 c | 116809 | 107747 711758 2057523 | 2147483647 114996 222 | 22.111 % |
334.43/334.74 c | 118086 | 107743 711758 2057523 | 2147483647 116270 223 | 22.178 % |
334.73/335.07 c | 118187 | 107743 711758 2057523 | 2147483647 116371 223 | 22.178 % |
335.13/335.41 c | 118300 | 107742 711758 2057523 | 2147483647 116483 222 | 22.184 % |
335.24/335.59 c | 118423 | 107742 711758 2057523 | 2147483647 116606 222 | 22.184 % |
336.13/336.44 c | 118558 | 107742 711758 2057523 | 2147483647 116741 223 | 22.184 % |
336.73/337.02 c | 118705 | 107742 711758 2057523 | 2147483647 116888 222 | 22.184 % |
337.23/337.54 c | 118865 | 107739 711758 2057523 | 2147483647 117047 222 | 22.201 % |
337.73/338.09 c | 119042 | 107739 711758 2057523 | 2147483647 117224 222 | 22.201 % |
338.74/339.02 c | 119236 | 107739 711758 2057523 | 2147483647 117418 223 | 22.201 % |
339.84/340.13 c | 119449 | 107739 711758 2057523 | 2147483647 117631 224 | 22.201 % |
340.54/340.87 c | 119682 | 107719 711758 2057523 | 2147483647 117861 224 | 22.603 % |
341.74/342.06 c | 119941 | 107719 711758 2057523 | 2147483647 118120 224 | 22.603 % |
342.94/343.21 c | 120222 | 107718 711758 2057523 | 2147483647 118400 224 | 22.604 % |
343.73/344.04 c | 120533 | 107715 711758 2057523 | 2147483647 118708 224 | 22.610 % |
344.33/344.64 c | 120872 | 107714 711758 2057523 | 2147483647 119046 224 | 22.615 % |
345.83/346.19 c | 121244 | 107713 711758 2057523 | 2147483647 119418 224 | 22.615 % |
347.03/347.37 c | 121653 | 107712 711758 2057523 | 2147483647 119826 224 | 22.620 % |
348.03/348.31 c | 122102 | 107712 711758 2057523 | 2147483647 120275 224 | 22.620 % |
350.73/351.06 c | 122597 | 107712 711758 2057523 | 2147483647 120770 225 | 22.620 % |
353.53/353.89 c | 123141 | 107712 711758 2057523 | 2147483647 121314 227 | 22.620 % |
355.53/355.81 c | 123737 | 106996 700405 2026188 | 2147483647 120635 228 | 22.915 % |
357.13/357.43 c | 124394 | 106995 700405 2026188 | 2147483647 121291 228 | 22.915 % |
360.33/360.60 c | 125114 | 106995 700405 2026188 | 2147483647 122011 229 | 22.915 % |
363.72/364.02 c | 125906 | 106993 700405 2026188 | 2147483647 122801 229 | 22.922 % |
367.12/367.43 c | 126781 | 106989 700405 2026188 | 2147483647 123671 229 | 22.970 % |
371.53/371.81 c | 127739 | 106963 700405 2026188 | 2147483647 124624 230 | 23.142 % |
374.42/374.72 c | 128793 | 106962 700405 2026188 | 2147483647 125676 231 | 23.147 % |
376.62/376.97 c | 129955 | 106961 700405 2026188 | 2147483647 126837 232 | 23.148 % |
381.71/382.02 c | 131231 | 106957 700405 2026188 | 2147483647 128109 234 | 23.160 % |
387.12/387.47 c | 132631 | 106954 700405 2026188 | 2147483647 129507 235 | 23.168 % |
387.52/387.85 c | 132731 | 106954 700405 2026188 | 2147483647 129607 235 | 23.168 % |
387.71/388.08 c | 132841 | 106954 700405 2026188 | 2147483647 129717 235 | 23.168 % |
388.12/388.46 c | 132963 | 106954 700405 2026188 | 2147483647 129839 235 | 23.168 % |
388.71/389.08 c | 133097 | 106954 700405 2026188 | 2147483647 129973 235 | 23.168 % |
389.21/389.56 c | 133243 | 106954 700405 2026188 | 2147483647 130119 235 | 23.168 % |
389.82/390.10 c | 133405 | 106954 700405 2026188 | 2147483647 130281 235 | 23.168 % |
390.52/390.83 c | 133581 | 106954 700405 2026188 | 2147483647 130457 236 | 23.168 % |
391.32/391.60 c | 133777 | 106954 700405 2026188 | 2147483647 130653 236 | 23.168 % |
392.11/392.49 c | 133994 | 106954 700405 2026188 | 2147483647 130870 236 | 23.168 % |
392.91/393.25 c | 134228 | 106954 700405 2026188 | 2147483647 131104 236 | 23.168 % |
394.01/394.30 c | 134489 | 106954 700405 2026188 | 2147483647 131364 236 | 23.332 % |
395.01/395.39 c | 134770 | 106945 700405 2026188 | 2147483647 131645 237 | 23.332 % |
395.91/396.23 c | 135079 | 106944 700405 2026188 | 2147483647 131953 237 | 23.333 % |
397.21/397.55 c | 135418 | 106944 700405 2026188 | 2147483647 132292 237 | 23.333 % |
398.71/399.08 c | 135794 | 106038 693582 2008685 | 2147483647 132405 238 | 23.333 % |
400.22/400.51 c | 136203 | 106034 693582 2008685 | 2147483647 132812 238 | 23.763 % |
401.71/402.01 c | 136652 | 106034 693582 2008685 | 2147483647 133261 239 | 23.763 % |
403.91/404.27 c | 137146 | 106034 693582 2008685 | 2147483647 133755 239 | 23.763 % |
407.00/407.31 c | 137688 | 105998 693582 2008685 | 2147483647 134296 240 | 23.867 % |
408.70/409.03 c | 138286 | 105998 693582 2008685 | 2147483647 134894 240 | 23.867 % |
411.00/411.35 c | 138942 | 105997 693582 2008685 | 2147483647 135549 241 | 23.868 % |
413.20/413.58 c | 139662 | 105996 693582 2008685 | 2147483647 136267 241 | 23.870 % |
416.60/416.99 c | 140455 | 105994 693582 2008685 | 2147483647 137060 242 | 23.870 % |
420.10/420.47 c | 141327 | 105994 693582 2008685 | 2147483647 137932 242 | 23.870 % |
425.50/425.89 c | 142290 | 105992 693582 2008685 | 2147483647 138894 244 | 23.876 % |
429.99/430.37 c | 143344 | 105990 693582 2008685 | 2147483647 139946 244 | 23.882 % |
432.29/432.65 c | 144503 | 105990 693582 2008685 | 2147483647 141105 245 | 23.882 % |
436.59/436.92 c | 145776 | 105986 693582 2008685 | 2147483647 142374 245 | 23.885 % |
442.89/443.29 c | 147176 | 105986 693582 2008685 | 2147483647 143774 247 | 23.885 % |
449.69/450.07 c | 148726 | 105984 693582 2008685 | 2147483647 145321 247 | 23.896 % |
450.29/450.64 c | 148831 | 105259 682456 1978157 | 2147483647 144796 248 | 23.896 % |
450.89/451.21 c | 148941 | 105259 682456 1978157 | 2147483647 144906 248 | 23.896 % |
451.18/451.59 c | 149062 | 105259 682456 1978157 | 2147483647 145027 248 | 23.896 % |
451.78/452.15 c | 149198 | 105258 682456 1978157 | 2147483647 145162 248 | 23.896 % |
452.58/452.93 c | 149344 | 105258 682456 1978157 | 2147483647 145308 248 | 23.896 % |
453.17/453.53 c | 149504 | 105258 682456 1978157 | 2147483647 145468 248 | 23.896 % |
453.98/454.38 c | 149680 | 105258 682456 1978157 | 2147483647 145644 248 | 23.896 % |
454.77/455.11 c | 149873 | 105257 682456 1978157 | 2147483647 145836 248 | 23.915 % |
455.67/456.06 c | 150085 | 105257 682456 1978157 | 2147483647 146048 248 | 23.915 % |
456.37/456.77 c | 150318 | 105257 682456 1978157 | 2147483647 146281 248 | 23.915 % |
457.48/457.86 c | 150574 | 105256 682456 1978157 | 2147483647 146536 248 | 23.915 % |
458.38/458.74 c | 150858 | 105256 682456 1978157 | 2147483647 146820 248 | 23.915 % |
459.88/460.26 c | 151167 | 105255 682456 1978157 | 2147483647 147128 248 | 23.923 % |
460.87/461.29 c | 151512 | 105255 682456 1978157 | 2147483647 147473 248 | 23.923 % |
462.57/462.99 c | 151884 | 105255 682456 1978157 | 2147483647 147845 248 | 23.923 % |
463.98/464.39 c | 152299 | 105255 682456 1978157 | 2147483647 148260 248 | 23.923 % |
464.87/465.23 c | 152748 | 105254 682456 1978157 | 2147483647 148708 248 | 23.928 % |
466.77/467.16 c | 153242 | 105254 682456 1978157 | 2147483647 149202 248 | 23.928 % |
468.87/469.28 c | 153784 | 105254 682456 1978157 | 2147483647 149744 249 | 23.928 % |
470.87/471.25 c | 154380 | 105254 682456 1978157 | 2147483647 150340 249 | 23.928 % |
474.67/475.01 c | 155039 | 105251 682456 1978157 | 2147483647 150998 250 | 23.934 % |
476.97/477.37 c | 155759 | 105250 682456 1978157 | 2147483647 151717 250 | 23.935 % |
479.17/479.55 c | 156557 | 105250 682456 1978157 | 2147483647 152515 250 | 23.935 % |
483.26/483.63 c | 157429 | 105248 682456 1978157 | 2147483647 153385 250 | 23.942 % |
486.36/486.73 c | 158391 | 105247 682456 1978157 | 2147483647 154346 250 | 23.951 % |
489.07/489.40 c | 159444 | 105239 682456 1978157 | 2147483647 155396 250 | 24.003 % |
492.47/492.84 c | 160602 | 105239 682456 1978157 | 2147483647 156554 250 | 24.003 % |
498.25/498.66 c | 161878 | 105239 682456 1978157 | 2147483647 157830 251 | 24.003 % |
504.15/504.54 c | 163278 | 105097 680562 1973007 | 2147483647 158678 251 | 24.013 % |
509.05/509.44 c | 164821 | 105094 680562 1973007 | 2147483647 160217 252 | 24.031 % |
515.14/515.55 c | 166515 | 105062 680562 1973007 | 2147483647 161901 252 | 24.305 % |
515.44/515.89 c | 166616 | 105062 680562 1973007 | 2147483647 162002 252 | 24.305 % |
515.84/516.21 c | 166728 | 105062 680562 1973007 | 2147483647 162114 252 | 24.305 % |
516.76/517.18 c | 166852 | 105062 680562 1973007 | 2147483647 162238 252 | 24.305 % |
517.55/517.91 c | 166985 | 105062 680562 1973007 | 2147483647 162371 252 | 24.305 % |
517.85/518.29 c | 167131 | 105062 680562 1973007 | 2147483647 162517 252 | 24.305 % |
518.05/518.47 c | 167295 | 105062 680562 1973007 | 2147483647 162681 252 | 24.305 % |
518.75/519.14 c | 167475 | 105062 680562 1973007 | 2147483647 162861 252 | 24.305 % |
519.25/519.67 c | 167669 | 105062 680562 1973007 | 2147483647 163055 252 | 24.305 % |
520.05/520.49 c | 167881 | 105052 680562 1973007 | 2147483647 163264 252 | 24.734 % |
521.55/521.96 c | 168116 | 105052 680562 1973007 | 2147483647 163499 252 | 24.734 % |
522.25/522.64 c | 168373 | 105052 680562 1973007 | 2147483647 163756 252 | 24.734 % |
522.85/523.26 c | 168654 | 105052 680562 1973007 | 2147483647 164037 252 | 24.734 % |
524.54/524.98 c | 168964 | 105052 680562 1973007 | 2147483647 164347 253 | 24.734 % |
526.74/527.12 c | 169304 | 105052 680562 1973007 | 2147483647 164686 253 | 24.740 % |
528.24/528.67 c | 169676 | 105052 680562 1973007 | 2147483647 165058 253 | 24.740 % |
529.84/530.27 c | 170087 | 105052 680562 1973007 | 2147483647 165469 253 | 24.740 % |
532.74/533.14 c | 170536 | 105052 680562 1973007 | 2147483647 165918 254 | 24.740 % |
534.64/535.02 c | 171029 | 105052 680562 1973007 | 2147483647 166411 254 | 24.740 % |
537.65/538.03 c | 171571 | 105052 680562 1973007 | 2147483647 166953 254 | 24.740 % |
539.54/540.00 c | 172167 | 105026 680562 1973007 | 2147483647 167548 255 | 24.759 % |
543.03/543.46 c | 172826 | 105024 680562 1973007 | 2147483647 168206 255 | 24.766 % |
547.14/547.58 c | 173549 | 105024 680562 1973007 | 2147483647 168929 256 | 24.766 % |
550.13/550.53 c | 174345 | 105024 680562 1973007 | 2147483647 169725 257 | 24.766 % |
552.83/553.29 c | 175216 | 105024 680562 1973007 | 2147483647 170596 257 | 24.766 % |
556.03/556.46 c | 176174 | 105024 680562 1973007 | 2147483647 171554 258 | 24.766 % |
561.13/561.59 c | 177231 | 105023 680562 1973007 | 2147483647 172610 260 | 24.767 % |
565.43/565.81 c | 178394 | 104049 665252 1930772 | 2147483647 168094 259 | 24.771 % |
569.83/570.23 c | 179667 | 104049 665252 1930772 | 2147483647 169366 260 | 24.771 % |
577.13/577.51 c | 181067 | 104048 665252 1930772 | 2147483647 170765 262 | 24.776 % |
582.13/582.51 c | 182608 | 104046 665252 1930772 | 2147483647 172304 263 | 24.779 % |
588.41/588.81 c | 184303 | 104032 665252 1930772 | 2147483647 173998 263 | 24.897 % |
593.41/593.80 c | 186167 | 104031 665252 1930772 | 2147483647 175861 264 | 24.903 % |
593.61/594.05 c | 186269 | 104031 665252 1930772 | 2147483647 175963 264 | 24.903 % |
593.81/594.25 c | 186379 | 104031 665252 1930772 | 2147483647 176073 264 | 24.903 % |
594.31/594.77 c | 186500 | 104031 665252 1930772 | 2147483647 176194 264 | 24.903 % |
595.11/595.54 c | 186639 | 104031 665252 1930772 | 2147483647 176333 264 | 24.903 % |
595.82/596.22 c | 186785 | 104031 665252 1930772 | 2147483647 176479 264 | 24.903 % |
596.42/596.84 c | 186946 | 104031 665252 1930772 | 2147483647 176640 264 | 24.903 % |
596.92/597.40 c | 187122 | 104031 665252 1930772 | 2147483647 176816 264 | 24.903 % |
598.21/598.63 c | 187315 | 104031 665252 1930772 | 2147483647 177009 265 | 24.903 % |
599.52/599.92 c | 187528 | 104031 665252 1930772 | 2147483647 177222 265 | 24.903 % |
600.41/600.80 c | 187761 | 104030 665252 1930772 | 2147483647 177454 265 | 24.904 % |
601.01/601.47 c | 188019 | 104030 665252 1930772 | 2147483647 177712 265 | 24.904 % |
603.01/603.47 c | 188302 | 104030 665252 1930772 | 2147483647 177994 265 | 24.905 % |
604.11/604.51 c | 188614 | 104026 665252 1930772 | 2147483647 178305 265 | 24.911 % |
606.51/606.92 c | 188955 | 104025 665252 1930772 | 2147483647 178645 266 | 24.912 % |
607.51/607.95 c | 189332 | 104025 665252 1930772 | 2147483647 179022 266 | 24.912 % |
608.61/609.04 c | 189741 | 104025 665252 1930772 | 2147483647 179430 266 | 24.914 % |
609.41/609.83 c | 190192 | 104024 665252 1930772 | 2147483647 179879 265 | 24.916 % |
610.81/611.22 c | 190685 | 104023 665252 1930772 | 2147483647 180372 265 | 24.916 % |
614.01/614.46 c | 191229 | 104022 665252 1930772 | 2147483647 180915 266 | 24.920 % |
616.31/616.77 c | 191826 | 104022 665252 1930772 | 2147483647 181512 266 | 24.920 % |
619.40/619.82 c | 192481 | 104022 665252 1930772 | 2147483647 182166 267 | 24.921 % |
621.61/622.06 c | 193202 | 104022 665252 1930772 | 2147483647 182887 267 | 24.921 % |
626.30/626.77 c | 193997 | 104022 665252 1930772 | 2147483647 183682 268 | 24.921 % |
629.61/630.06 c | 194869 | 104022 665252 1930772 | 2147483647 184554 269 | 24.921 % |
631.90/632.38 c | 195827 | 104022 665252 1930772 | 2147483647 185512 269 | 24.921 % |
637.19/637.69 c | 196882 | 103838 664271 1928560 | 2147483647 183794 270 | 24.923 % |
638.89/639.31 c | 198040 | 103838 664271 1928560 | 2147483647 184952 270 | 24.923 % |
643.90/644.30 c | 199313 | 103838 664271 1928560 | 2147483647 186225 271 | 24.923 % |
650.69/651.14 c | 200713 | 103836 664271 1928560 | 2147483647 187623 271 | 24.930 % |
657.98/658.45 c | 202258 | 103834 664271 1928560 | 2147483647 189163 271 | 24.948 % |
665.78/666.27 c | 203953 | 103830 664271 1928560 | 2147483647 190853 271 | 24.977 % |
675.78/676.25 c | 205817 | 103787 664271 1928560 | 2147483647 192715 271 | 25.081 % |
684.78/685.28 c | 207868 | 103786 664271 1928560 | 2147483647 194764 271 | 25.082 % |
685.18/685.65 c | 207969 | 103786 664271 1928560 | 2147483647 194865 271 | 25.082 % |
685.77/686.20 c | 208081 | 103786 664271 1928560 | 2147483647 194977 271 | 25.082 % |
686.47/686.95 c | 208202 | 103786 664271 1928560 | 2147483647 195098 271 | 25.082 % |
687.17/687.62 c | 208335 | 103786 664271 1928560 | 2147483647 195231 271 | 25.082 % |
687.67/688.13 c | 208482 | 103786 664271 1928560 | 2147483647 195378 271 | 25.082 % |
688.37/688.85 c | 208644 | 103786 664271 1928560 | 2147483647 195540 271 | 25.082 % |
688.77/689.27 c | 208822 | 103786 664271 1928560 | 2147483647 195718 271 | 25.082 % |
689.67/690.12 c | 209015 | 103786 664271 1928560 | 2147483647 195911 271 | 25.082 % |
690.67/691.17 c | 209227 | 103786 664271 1928560 | 2147483647 196123 272 | 25.082 % |
691.67/692.19 c | 209462 | 103786 664271 1928560 | 2147483647 196358 272 | 25.082 % |
692.47/692.94 c | 209720 | 103786 664271 1928560 | 2147483647 196616 272 | 25.082 % |
693.27/693.70 c | 210002 | 103786 664271 1928560 | 2147483647 196898 272 | 25.082 % |
693.97/694.45 c | 210311 | 103786 664271 1928560 | 2147483647 197207 272 | 25.082 % |
694.77/695.20 c | 210650 | 103778 664271 1928560 | 2147483647 197544 271 | 25.125 % |
697.37/697.83 c | 211023 | 103778 664271 1928560 | 2147483647 197917 272 | 25.125 % |
699.67/700.15 c | 211433 | 103778 664271 1928560 | 2147483647 198327 272 | 25.125 % |
701.67/702.10 c | 211883 | 103777 664271 1928560 | 2147483647 198776 272 | 25.126 % |
703.06/703.56 c | 212377 | 103777 664271 1928560 | 2147483647 199270 272 | 25.126 % |
706.87/707.36 c | 212920 | 103558 662662 1924680 | 2147483647 198722 273 | 25.126 % |
709.77/710.22 c | 213519 | 103558 662662 1924680 | 2147483647 199321 274 | 25.126 % |
712.76/713.21 c | 214174 | 103558 662662 1924680 | 2147483647 199976 275 | 25.126 % |
715.16/715.60 c | 214896 | 103558 662662 1924680 | 2147483647 200698 276 | 25.126 % |
719.16/719.61 c | 215688 | 103558 662662 1924680 | 2147483647 201489 276 | 25.126 % |
723.56/724.07 c | 216559 | 103558 662662 1924680 | 2147483647 202360 277 | 25.126 % |
727.06/727.51 c | 217521 | 103557 662662 1924680 | 2147483647 203321 277 | 25.127 % |
730.36/730.87 c | 218575 | 103557 662662 1924680 | 2147483647 204375 277 | 25.127 % |
736.36/736.83 c | 219733 | 103557 662662 1924680 | 2147483647 205533 277 | 25.127 % |
741.45/741.99 c | 221006 | 103553 662662 1924680 | 2147483647 206803 277 | 26.027 % |
747.95/748.43 c | 222408 | 103552 662662 1924680 | 2147483647 208204 278 | 26.027 % |
755.15/755.60 c | 223950 | 103552 662662 1924680 | 2147483647 209746 279 | 26.027 % |
764.54/765.04 c | 225644 | 103550 662662 1924680 | 2147483647 211438 280 | 26.029 % |
773.04/773.57 c | 227507 | 103549 662662 1924680 | 2147483647 213299 281 | 26.030 % |
783.53/784.09 c | 229556 | 103545 662662 1924680 | 2147483647 215345 282 | 26.097 % |
795.93/796.41 c | 231810 | 103542 662662 1924680 | 2147483647 217596 283 | 26.105 % |
796.53/797.03 c | 231912 | 102202 640687 1863359 | 2147483647 217207 283 | 26.106 % |
796.93/797.45 c | 232025 | 102202 640687 1863359 | 2147483647 217320 283 | 26.106 % |
797.63/798.17 c | 232147 | 102201 640687 1863359 | 2147483647 217441 283 | 26.115 % |
798.23/798.74 c | 232281 | 102201 640687 1863359 | 2147483647 217575 283 | 26.115 % |
799.33/799.80 c | 232427 | 102200 640687 1863359 | 2147483647 217720 283 | 26.121 % |
800.53/801.06 c | 232587 | 102200 640687 1863359 | 2147483647 217880 283 | 26.121 % |
801.62/802.18 c | 232763 | 102200 640687 1863359 | 2147483647 218056 283 | 26.121 % |
802.73/803.26 c | 232956 | 102200 640687 1863359 | 2147483647 218249 283 | 26.121 % |
803.53/804.07 c | 233169 | 102198 640687 1863359 | 2147483647 218460 283 | 26.123 % |
804.33/804.83 c | 233403 | 102198 640687 1863359 | 2147483647 218694 283 | 26.123 % |
805.73/806.20 c | 233659 | 102198 640687 1863359 | 2147483647 218950 283 | 26.123 % |
806.83/807.39 c | 233941 | 102198 640687 1863359 | 2147483647 219232 283 | 26.123 % |
807.73/808.29 c | 234250 | 102198 640687 1863359 | 2147483647 219541 283 | 26.123 % |
808.53/809.02 c | 234589 | 102197 640687 1863359 | 2147483647 219879 283 | 26.132 % |
810.03/810.50 c | 234963 | 102197 640687 1863359 | 2147483647 220253 283 | 26.132 % |
811.62/812.18 c | 235375 | 102197 640687 1863359 | 2147483647 220665 283 | 26.132 % |
813.72/814.28 c | 235824 | 102196 640687 1863359 | 2147483647 221113 283 | 26.133 % |
815.32/815.86 c | 236318 | 102196 640687 1863359 | 2147483647 221607 284 | 26.133 % |
817.92/818.41 c | 236862 | 102196 640687 1863359 | 2147483647 222151 284 | 26.133 % |
821.11/821.64 c | 237459 | 102192 640687 1863359 | 2147483647 222744 284 | 26.146 % |
823.02/823.51 c | 238116 | 102192 640687 1863359 | 2147483647 223401 284 | 26.146 % |
827.51/828.04 c | 238838 | 102192 640687 1863359 | 2147483647 224123 286 | 26.146 % |
831.81/832.33 c | 239630 | 102191 640687 1863359 | 2147483647 224914 286 | 26.152 % |
836.02/836.50 c | 240505 | 102191 640687 1863359 | 2147483647 225789 287 | 26.152 % |
840.51/841.00 c | 241465 | 102186 640687 1863359 | 2147483647 226747 286 | 26.158 % |
846.91/847.44 c | 242518 | 102186 640687 1863359 | 2147483647 227800 287 | 26.158 % |
853.01/853.59 c | 243680 | 102183 640687 1863359 | 2147483647 228959 287 | 26.160 % |
858.70/859.29 c | 244953 | 102182 640687 1863359 | 2147483647 230231 288 | 26.161 % |
863.41/863.90 c | 246353 | 102182 640687 1863359 | 2147483647 231631 288 | 26.161 % |
871.00/871.56 c | 247894 | 102182 640687 1863359 | 2147483647 233172 289 | 26.161 % |
873.59/874.18 c | 249590 | 102181 640687 1863359 | 2147483647 234867 288 | 26.162 % |
882.90/883.41 c | 251456 | 102180 640687 1863359 | 2147483647 236731 289 | 26.652 % |
890.30/890.80 c | 253506 | 102177 640687 1863359 | 2147483647 238778 290 | 26.658 % |
901.18/901.75 c | 255762 | 102177 640687 1863359 | 2147483647 241034 293 | 26.658 % |
911.58/912.13 c | 258242 | 101437 629315 1831653 | 2147483647 243389 293 | 26.659 % |
912.38/912.90 c | 258346 | 101437 629315 1831653 | 2147483647 243493 294 | 26.659 % |
912.98/913.51 c | 258457 | 101437 629315 1831653 | 2147483647 243604 294 | 26.659 % |
913.18/913.79 c | 258578 | 101437 629315 1831653 | 2147483647 243725 294 | 26.659 % |
913.58/914.18 c | 258713 | 101437 629315 1831653 | 2147483647 243860 293 | 26.659 % |
914.08/914.64 c | 258859 | 101437 629315 1831653 | 2147483647 244006 293 | 26.659 % |
915.68/916.21 c | 259020 | 101437 629315 1831653 | 2147483647 244167 293 | 26.659 % |
916.57/917.11 c | 259196 | 101437 629315 1831653 | 2147483647 244343 294 | 26.659 % |
917.47/918.08 c | 259393 | 101437 629315 1831653 | 2147483647 244540 294 | 26.659 % |
918.78/919.36 c | 259605 | 101437 629315 1831653 | 2147483647 244752 294 | 26.659 % |
919.88/920.47 c | 259838 | 101437 629315 1831653 | 2147483647 244985 294 | 26.659 % |
920.78/921.33 c | 260094 | 101437 629315 1831653 | 2147483647 245241 294 | 26.659 % |
921.98/922.57 c | 260381 | 101435 629315 1831653 | 2147483647 245526 294 | 26.661 % |
924.08/924.60 c | 260693 | 101435 629315 1831653 | 2147483647 245838 294 | 26.661 % |
925.97/926.59 c | 261033 | 101435 629315 1831653 | 2147483647 246178 295 | 26.661 % |
928.77/929.32 c | 261407 | 101427 629315 1831653 | 2147483647 246551 295 | 26.677 % |
930.87/931.44 c | 261817 | 101427 629315 1831653 | 2147483647 246961 295 | 26.677 % |
933.48/934.03 c | 262266 | 101427 629315 1831653 | 2147483647 247410 295 | 26.677 % |
935.17/935.74 c | 262759 | 101427 629315 1831653 | 2147483647 247903 295 | 26.677 % |
938.27/938.89 c | 263301 | 101427 629315 1831653 | 2147483647 248445 295 | 26.677 % |
940.87/941.42 c | 263898 | 101427 629315 1831653 | 2147483647 249042 296 | 26.677 % |
943.17/943.76 c | 264556 | 101427 629315 1831653 | 2147483647 249700 296 | 26.677 % |
947.16/947.73 c | 265278 | 101427 629315 1831653 | 2147483647 250422 296 | 26.677 % |
950.76/951.38 c | 266078 | 101427 629315 1831653 | 2147483647 251222 296 | 26.677 % |
955.06/955.63 c | 266950 | 101427 629315 1831653 | 2147483647 252094 296 | 26.677 % |
960.36/960.98 c | 267912 | 101425 629315 1831653 | 2147483647 253054 297 | 26.683 % |
967.47/968.10 c | 268965 | 101424 629315 1831653 | 2147483647 254106 298 | 26.710 % |
973.06/973.61 c | 270124 | 101424 629315 1831653 | 2147483647 255265 298 | 26.710 % |
978.56/979.17 c | 271401 | 101424 629315 1831653 | 2147483647 256542 299 | 26.710 % |
984.45/985.05 c | 272813 | 101424 629315 1831653 | 2147483647 257954 300 | 26.710 % |
994.04/994.62 c | 274359 | 101424 629315 1831653 | 2147483647 259500 300 | 26.710 % |
1001.34/1001.93 c | 276056 | 101424 629315 1831653 | 2147483647 261197 300 | 26.710 % |
1012.24/1012.90 c | 277921 | 101422 629315 1831653 | 2147483647 263060 300 | 26.718 % |
1021.94/1022.50 c | 279970 | 101420 629315 1831653 | 2147483647 265106 301 | 26.720 % |
1032.44/1033.04 c | 282225 | 101418 629315 1831653 | 2147483647 267359 301 | 26.835 % |
1042.72/1043.35 c | 284703 | 101406 629315 1831653 | 2147483647 269834 301 | 26.854 % |
1061.31/1061.96 c | 287434 | 101166 627480 1826880 | 2147483647 272477 304 | 26.855 % |
1062.31/1062.92 c | 287538 | 101166 627480 1826880 | 2147483647 272581 304 | 26.855 % |
1063.02/1063.60 c | 287648 | 101166 627480 1826880 | 2147483647 272691 304 | 26.855 % |
1063.42/1064.08 c | 287770 | 101166 627480 1826880 | 2147483647 272813 304 | 26.855 % |
1064.11/1064.75 c | 287903 | 101166 627480 1826880 | 2147483647 272946 304 | 26.855 % |
1064.61/1065.28 c | 288049 | 101166 627480 1826880 | 2147483647 273092 304 | 26.855 % |
1064.91/1065.53 c | 288210 | 101166 627480 1826880 | 2147483647 273253 304 | 26.855 % |
1065.71/1066.35 c | 288389 | 101166 627480 1826880 | 2147483647 273432 304 | 26.855 % |
1066.91/1067.57 c | 288586 | 101166 627480 1826880 | 2147483647 273629 304 | 26.855 % |
1068.11/1068.77 c | 288799 | 101166 627480 1826880 | 2147483647 273842 304 | 26.855 % |
1069.01/1069.61 c | 289032 | 101165 627480 1826880 | 2147483647 274074 304 | 26.877 % |
1070.61/1071.24 c | 289292 | 101165 627480 1826880 | 2147483647 274334 304 | 26.877 % |
1072.30/1072.92 c | 289582 | 101165 627480 1826880 | 2147483647 274624 304 | 26.877 % |
1074.40/1075.00 c | 289896 | 101165 627480 1826880 | 2147483647 274938 304 | 26.877 % |
1076.81/1077.47 c | 290236 | 101165 627480 1826880 | 2147483647 275278 304 | 26.877 % |
1078.81/1079.42 c | 290609 | 101163 627480 1826880 | 2147483647 275649 304 | 26.883 % |
1080.01/1080.68 c | 291018 | 101163 627480 1826880 | 2147483647 276058 304 | 26.883 % |
1083.40/1084.08 c | 291467 | 101163 627480 1826880 | 2147483647 276507 305 | 26.883 % |
1084.89/1085.54 c | 291962 | 101163 627480 1826880 | 2147483647 277002 305 | 26.883 % |
1086.69/1087.34 c | 292506 | 101162 627480 1826880 | 2147483647 277545 305 | 26.888 % |
1089.80/1090.44 c | 293102 | 101162 627480 1826880 | 2147483647 278140 305 | 26.890 % |
1093.69/1094.37 c | 293757 | 101162 627480 1826880 | 2147483647 278795 305 | 26.890 % |
1098.50/1099.11 c | 294484 | 101162 627480 1826880 | 2147483647 279522 305 | 26.890 % |
1103.39/1104.10 c | 295276 | 101162 627480 1826880 | 2147483647 280314 306 | 26.890 % |
1110.29/1110.92 c | 296147 | 101162 627480 1826880 | 2147483647 281185 306 | 26.890 % |
1114.49/1115.18 c | 297106 | 101162 627480 1826880 | 2147483647 282144 306 | 26.890 % |
1120.18/1120.82 c | 298159 | 101162 627480 1826880 | 2147483647 283197 306 | 26.890 % |
1127.78/1128.49 c | 299317 | 101162 627480 1826880 | 2147483647 284355 306 | 26.890 % |
1135.68/1136.30 c | 300591 | 101161 627480 1826880 | 2147483647 285628 306 | 26.895 % |
1142.57/1143.23 c | 301992 | 101160 627480 1826880 | 2147483647 287028 307 | 26.896 % |
1152.18/1152.87 c | 303533 | 101159 627480 1826880 | 2147483647 288568 307 | 26.896 % |
1160.97/1161.61 c | 305229 | 101150 627480 1826880 | 2147483647 290261 307 | 27.628 % |
1171.15/1171.89 c | 307092 | 101148 627480 1826880 | 2147483647 292122 306 | 27.640 % |
1185.95/1186.64 c | 309142 | 101123 627480 1826880 | 2147483647 294170 306 | 27.890 % |
1196.65/1197.31 c | 311396 | 99732 610039 1778470 | 2147483647 288030 308 | 27.897 % |
1205.05/1205.76 c | 313874 | 99732 610039 1778470 | 2147483647 290508 309 | 27.897 % |
1217.54/1218.25 c | 316600 | 99732 610039 1778470 | 2147483647 293233 310 | 27.898 % |
1231.54/1232.23 c | 319602 | 99707 610039 1778470 | 2147483647 296228 310 | 28.172 % |
1232.04/1232.76 c | 319702 | 99707 610039 1778470 | 2147483647 296328 310 | 28.172 % |
1232.74/1233.41 c | 319816 | 99707 610039 1778470 | 2147483647 296442 310 | 28.172 % |
1233.24/1233.93 c | 319939 | 99707 610039 1778470 | 2147483647 296565 310 | 28.172 % |
1233.93/1234.67 c | 320072 | 99707 610039 1778470 | 2147483647 296698 310 | 28.172 % |
1234.74/1235.41 c | 320219 | 99707 610039 1778470 | 2147483647 296845 310 | 28.172 % |
1235.63/1236.37 c | 320385 | 99707 610039 1778470 | 2147483647 297011 310 | 28.172 % |
1236.63/1237.39 c | 320562 | 99707 610039 1778470 | 2147483647 297188 310 | 28.172 % |
1237.83/1238.52 c | 320755 | 99707 610039 1778470 | 2147483647 297381 310 | 28.172 % |
1238.93/1239.69 c | 320967 | 99707 610039 1778470 | 2147483647 297593 310 | 28.172 % |
1240.73/1241.43 c | 321206 | 99707 610039 1778470 | 2147483647 297832 310 | 28.172 % |
1242.93/1243.62 c | 321463 | 99707 610039 1778470 | 2147483647 298089 310 | 28.172 % |
1245.03/1245.74 c | 321745 | 99707 610039 1778470 | 2147483647 298370 310 | 28.177 % |
1246.83/1247.50 c | 322054 | 99707 610039 1778470 | 2147483647 298679 310 | 28.177 % |
1247.83/1248.54 c | 322403 | 99707 610039 1778470 | 2147483647 299028 310 | 28.177 % |
1250.73/1251.41 c | 322775 | 99706 610039 1778470 | 2147483647 299399 310 | 28.179 % |
1252.53/1253.20 c | 323185 | 99706 610039 1778470 | 2147483647 299809 310 | 28.179 % |
1255.13/1255.85 c | 323635 | 99706 610039 1778470 | 2147483647 300259 310 | 28.179 % |
1257.13/1257.82 c | 324129 | 99706 610039 1778470 | 2147483647 300753 310 | 28.179 % |
1259.13/1259.89 c | 324671 | 99706 610039 1778470 | 2147483647 301295 310 | 28.179 % |
1262.61/1263.32 c | 325268 | 99705 610039 1778470 | 2147483647 301890 310 | 28.260 % |
1267.80/1268.59 c | 325923 | 99705 610039 1778470 | 2147483647 302544 310 | 28.261 % |
1272.81/1273.50 c | 326643 | 99704 610039 1778470 | 2147483647 303263 310 | 28.262 % |
1278.00/1278.75 c | 327436 | 99704 610039 1778470 | 2147483647 304056 310 | 28.262 % |
1282.91/1283.62 c | 328308 | 99702 610039 1778470 | 2147483647 304926 310 | 28.264 % |
1288.50/1289.23 c | 329266 | 99701 610039 1778470 | 2147483647 305883 311 | 28.266 % |
1293.91/1294.65 c | 330320 | 99701 610039 1778470 | 2147483647 306937 311 | 28.266 % |
1296.80/1297.51 c | 331478 | 99701 610039 1778470 | 2147483647 308095 311 | 28.266 % |
1306.00/1306.77 c | 332754 | 99701 610039 1778470 | 2147483647 309370 311 | 28.405 % |
1312.18/1312.92 c | 334154 | 99701 610039 1778470 | 2147483647 310770 311 | 28.405 % |
1322.09/1322.85 c | 335694 | 99698 610039 1778470 | 2147483647 312308 311 | 28.411 % |
1334.38/1335.15 c | 337392 | 99697 610039 1778470 | 2147483647 314003 312 | 28.419 % |
1347.27/1348.04 c | 339256 | 99696 610039 1778470 | 2147483647 315866 312 | 28.420 % |
1358.87/1359.68 c | 341305 | 99696 610039 1778470 | 2147483647 317915 314 | 28.420 % |
1375.46/1376.24 c | 343559 | 99002 602511 1758025 | 2147483647 320041 314 | 28.420 % |
1387.15/1387.93 c | 346038 | 99002 602511 1758025 | 2147483647 322520 314 | 28.420 % |
1406.84/1407.61 c | 348764 | 98993 602511 1758025 | 2147483647 325244 314 | 28.534 % |
1424.94/1425.78 c | 351765 | 98993 602511 1758025 | 2147483647 328244 315 | 28.535 % |
1439.53/1440.38 c | 355064 | 98990 602511 1758025 | 2147483647 331540 317 | 28.569 % |
1440.43/1441.23 c | 355164 | 98990 602511 1758025 | 2147483647 331640 317 | 28.569 % |
1441.03/1441.86 c | 355274 | 98990 602511 1758025 | 2147483647 331750 317 | 28.569 % |
1441.62/1442.46 c | 355395 | 98990 602511 1758025 | 2147483647 331871 317 | 28.569 % |
1442.22/1443.08 c | 355530 | 98990 602511 1758025 | 2147483647 332006 317 | 28.569 % |
1443.42/1444.20 c | 355676 | 98990 602511 1758025 | 2147483647 332152 317 | 28.569 % |
1444.32/1445.18 c | 355840 | 98990 602511 1758025 | 2147483647 332316 317 | 28.569 % |
1445.52/1446.32 c | 356018 | 98990 602511 1758025 | 2147483647 332494 317 | 28.569 % |
1446.42/1447.28 c | 356211 | 98990 602511 1758025 | 2147483647 332687 317 | 28.569 % |
1446.92/1447.78 c | 356424 | 98990 602511 1758025 | 2147483647 332900 317 | 28.569 % |
1448.82/1449.67 c | 356660 | 98990 602511 1758025 | 2147483647 333136 317 | 28.569 % |
1451.32/1452.11 c | 356919 | 98990 602511 1758025 | 2147483647 333395 318 | 28.569 % |
1452.72/1453.52 c | 357200 | 98990 602511 1758025 | 2147483647 333676 318 | 28.569 % |
1454.42/1455.21 c | 357509 | 98990 602511 1758025 | 2147483647 333985 318 | 28.569 % |
1458.01/1458.88 c | 357848 | 98990 602511 1758025 | 2147483647 334323 318 | 28.569 % |
1460.51/1461.38 c | 358220 | 98990 602511 1758025 | 2147483647 334695 318 | 28.569 % |
1462.02/1462.87 c | 358632 | 98990 602511 1758025 | 2147483647 335107 318 | 28.569 % |
1463.02/1463.81 c | 359083 | 98990 602511 1758025 | 2147483647 335558 318 | 28.569 % |
1466.01/1466.85 c | 359577 | 98990 602511 1758025 | 2147483647 336052 318 | 28.569 % |
1470.21/1471.03 c | 360119 | 98989 602511 1758025 | 2147483647 336593 318 | 28.574 % |
1476.21/1477.02 c | 360717 | 98987 602511 1758025 | 2147483647 337189 318 | 28.585 % |
1478.51/1479.38 c | 361374 | 98987 602511 1758025 | 2147483647 337846 318 | 28.585 % |
1480.51/1481.40 c | 362096 | 98987 602511 1758025 | 2147483647 338568 318 | 28.585 % |
1485.21/1486.07 c | 362891 | 98986 602511 1758025 | 2147483647 339361 318 | 28.879 % |
1489.30/1490.17 c | 363763 | 98986 602511 1758025 | 2147483647 340233 318 | 28.879 % |
1493.39/1494.25 c | 364723 | 98986 602511 1758025 | 2147483647 341193 318 | 28.879 % |
1500.30/1501.15 c | 365778 | 98985 602511 1758025 | 2147483647 342247 318 | 28.880 % |
1506.79/1507.65 c | 366936 | 98984 602511 1758025 | 2147483647 343404 319 | 28.880 % |
1513.30/1514.16 c | 368209 | 98984 602511 1758025 | 2147483647 344677 318 | 28.880 % |
1517.39/1518.26 c | 369609 | 98984 602511 1758025 | 2147483647 346077 318 | 28.880 % |
1530.69/1531.53 c | 371153 | 98978 602511 1758025 | 2147483647 347620 319 | 28.901 % |
1539.18/1540.06 c | 372848 | 98978 602511 1758025 | 2147483647 349315 320 | 28.901 % |
1554.27/1555.14 c | 374717 | 98977 602511 1758025 | 2147483647 351183 322 | 28.914 % |
1567.47/1568.39 c | 376773 | 98977 602511 1758025 | 2147483647 353239 322 | 28.914 % |
1581.96/1582.90 c | 379027 | 98317 594854 1736977 | 2147483647 355067 323 | 28.919 % |
1599.55/1600.48 c | 381506 | 98315 594854 1736977 | 2147483647 357544 324 | 28.931 % |
1621.24/1622.14 c | 384231 | 98314 594854 1736977 | 2147483647 360266 325 | 28.933 % |
1640.04/1640.96 c | 387229 | 98313 594854 1736977 | 2147483647 363262 325 | 28.942 % |
1660.53/1661.40 c | 390527 | 98308 594854 1736977 | 2147483647 366559 326 | 28.976 % |
1676.23/1677.13 c | 394155 | 98308 594854 1736977 | 2147483647 370187 326 | 28.976 % |
1676.83/1677.75 c | 394258 | 98308 594854 1736977 | 2147483647 370290 326 | 28.976 % |
1677.42/1678.30 c | 394369 | 98308 594854 1736977 | 2147483647 370401 326 | 28.976 % |
1678.02/1678.93 c | 394494 | 98308 594854 1736977 | 2147483647 370526 326 | 28.976 % |
1678.93/1679.85 c | 394627 | 98307 594854 1736977 | 2147483647 370658 326 | 28.982 % |
1680.12/1681.02 c | 394774 | 98307 594854 1736977 | 2147483647 370805 326 | 28.982 % |
1681.52/1682.45 c | 394935 | 98307 594854 1736977 | 2147483647 370965 326 | 28.983 % |
1682.82/1683.70 c | 395113 | 98307 594854 1736977 | 2147483647 371142 326 | 28.989 % |
1684.22/1685.17 c | 395306 | 98307 594854 1736977 | 2147483647 371335 326 | 28.989 % |
1685.72/1686.61 c | 395518 | 98307 594854 1736977 | 2147483647 371547 326 | 28.989 % |
1687.62/1688.54 c | 395752 | 98307 594854 1736977 | 2147483647 371781 326 | 28.989 % |
1688.82/1689.76 c | 396009 | 98307 594854 1736977 | 2147483647 372038 326 | 28.989 % |
1690.72/1691.65 c | 396305 | 98307 594854 1736977 | 2147483647 372334 326 | 28.989 % |
1692.91/1693.82 c | 396614 | 98307 594854 1736977 | 2147483647 372643 326 | 28.989 % |
1694.41/1695.39 c | 396956 | 98307 594854 1736977 | 2147483647 372985 326 | 28.989 % |
1696.31/1697.25 c | 397329 | 98307 594854 1736977 | 2147483647 373358 326 | 28.989 % |
1699.02/1699.94 c | 397740 | 98306 594854 1736977 | 2147483647 373768 326 | 28.989 % |
1701.12/1702.00 c | 398190 | 98306 594854 1736977 | 2147483647 374218 327 | 28.989 % |
1705.41/1706.36 c | 398683 | 98306 594854 1736977 | 2147483647 374711 327 | 28.989 % |
1709.72/1710.62 c | 399225 | 98304 594854 1736977 | 2147483647 375252 327 | 28.995 % |
1712.60/1713.52 c | 399826 | 98304 594854 1736977 | 2147483647 375853 327 | 28.995 % |
1715.90/1716.85 c | 400481 | 98304 594854 1736977 | 2147483647 376508 328 | 28.995 % |
1720.80/1721.76 c | 401203 | 98304 594854 1736977 | 2147483647 377230 328 | 28.995 % |
1725.60/1726.58 c | 401996 | 98304 594854 1736977 | 2147483647 378023 328 | 28.995 % |
1729.89/1730.85 c | 402875 | 98303 594854 1736977 | 2147483647 378901 328 | 28.996 % |
1736.50/1737.41 c | 403834 | 98303 594854 1736977 | 2147483647 379859 327 | 29.001 % |
1743.80/1744.71 c | 404888 | 98303 594854 1736977 | 2147483647 380911 327 | 29.009 % |
1751.59/1752.56 c | 406046 | 98303 594854 1736977 | 2147483647 382069 327 | 29.009 % |
1759.19/1760.17 c | 407319 | 98302 594854 1736977 | 2147483647 383341 328 | 29.010 % |
1771.98/1772.94 c | 408722 | 98299 594854 1736977 | 2147483647 384741 328 | 29.020 % |
1783.47/1784.44 c | 410264 | 98299 594854 1736977 | 2147483647 386283 328 | 29.020 % |
1797.47/1798.44 c | 411958 | 98296 594854 1736977 | 2147483647 387974 329 | 29.036 % |
1811.36/1812.39 c | 413823 | 98296 594854 1736977 | 2147483647 389839 330 | 29.036 % |
1827.45/1828.49 c | 415872 | 98136 593354 1732924 | 2147483647 391692 331 | 29.046 % |
1845.95/1846.90 c | 418129 | 98134 593354 1732924 | 2147483647 393947 331 | 29.063 % |
1860.94/1861.99 c | 420613 | 98134 593354 1732924 | 2147483647 396431 332 | 29.063 % |
1875.04/1876.08 c | 423339 | 98134 593354 1732924 | 2147483647 399157 332 | 29.063 % |
1886.33/1887.39 c | 426336 | 98025 593354 1732924 | 2147483647 402152 331 | 29.266 % |
1912.82/1913.80 c | 429637 | 98024 593354 1732924 | 2147483647 405451 331 | 29.268 % |
1938.51/1939.59 c | 433262 | 98024 593354 1732924 | 2147483647 409076 333 | 29.268 % |
1975.80/1976.87 c | 437250 | 98021 593354 1732924 | 2147483647 413062 335 | 29.280 % |
1977.00/1978.05 c | 437357 | 98021 593354 1732924 | 2147483647 413169 335 | 29.280 % |
1978.09/1979.15 c | 437468 | 98021 593354 1732924 | 2147483647 413280 335 | 29.280 % |
1979.00/1980.05 c | 437589 | 98021 593354 1732924 | 2147483647 413401 335 | 29.280 % |
1980.29/1981.34 c | 437722 | 98021 593354 1732924 | 2147483647 413534 335 | 29.280 % |
1981.79/1982.82 c | 437874 | 98021 593354 1732924 | 2147483647 413686 335 | 29.280 % |
1983.19/1984.25 c | 438035 | 98021 593354 1732924 | 2147483647 413847 335 | 29.280 % |
1984.98/1986.06 c | 438215 | 98021 593354 1732924 | 2147483647 414027 335 | 29.280 % |
1986.38/1987.44 c | 438409 | 98021 593354 1732924 | 2147483647 414221 335 | 29.280 % |
1987.08/1988.16 c | 438621 | 98021 593354 1732924 | 2147483647 414433 335 | 29.280 % |
1988.49/1989.50 c | 438855 | 98021 593354 1732924 | 2147483647 414667 335 | 29.280 % |
1989.69/1990.74 c | 439115 | 98021 593354 1732924 | 2147483647 414927 335 | 29.280 % |
1991.39/1992.40 c | 439398 | 98021 593354 1732924 | 2147483647 415210 334 | 29.280 % |
1993.69/1994.77 c | 439708 | 98021 593354 1732924 | 2147483647 415519 334 | 29.282 % |
1995.49/1996.60 c | 440047 | 98020 593354 1732924 | 2147483647 415857 334 | 29.287 % |
1997.28/1998.30 c | 440419 | 98013 593354 1732924 | 2147483647 416227 334 | 29.351 % |
2000.88/2001.99 c | 440829 | 98012 593354 1732924 | 2147483647 416636 334 | 29.357 % |
2003.78/2004.82 c | 441278 | 98012 593354 1732924 | 2147483647 417085 334 | 29.357 % |
2006.87/2007.96 c | 441772 | 98012 593354 1732924 | 2147483647 417579 334 | 29.357 % |
2010.08/2011.17 c | 442315 | 98012 593354 1732924 | 2147483647 418122 335 | 29.357 % |
2014.07/2015.19 c | 442911 | 98012 593354 1732924 | 2147483647 418718 335 | 29.357 % |
2018.78/2019.84 c | 443571 | 98012 593354 1732924 | 2147483647 419378 335 | 29.357 % |
2025.87/2027.00 c | 444293 | 98007 593354 1732924 | 2147483647 420097 335 | 29.378 % |
2033.06/2034.19 c | 445085 | 98007 593354 1732924 | 2147483647 420888 335 | 29.378 % |
2040.46/2041.54 c | 445959 | 98007 593354 1732924 | 2147483647 421762 335 | 29.378 % |
2048.86/2049.96 c | 446917 | 98006 593354 1732924 | 2147483647 422719 335 | 29.379 % |
2054.26/2055.37 c | 447973 | 98006 593354 1732924 | 2147483647 423775 335 | 29.379 % |
2058.75/2059.83 c | 449131 | 98006 593354 1732924 | 2147483647 424933 335 | 29.379 % |
2066.56/2067.62 c | 450405 | 98006 593354 1732924 | 2147483647 426207 335 | 29.379 % |
2072.25/2073.35 c | 451805 | 98006 593354 1732924 | 2147483647 427607 334 | 29.379 % |
2085.45/2086.51 c | 453345 | 98005 593354 1732924 | 2147483647 429146 334 | 29.380 % |
2098.85/2099.91 c | 455043 | 98005 593354 1732924 | 2147483647 430844 335 | 29.380 % |
2119.83/2120.97 c | 456906 | 98005 593354 1732924 | 2147483647 432707 335 | 29.380 % |
2139.62/2140.74 c | 458955 | 97674 590166 1724684 | 2147483647 434617 335 | 29.380 % |
2159.21/2160.31 c | 461208 | 97674 590166 1724684 | 2147483647 436870 338 | 29.380 % |
2179.90/2181.04 c | 463686 | 97672 590166 1724684 | 2147483647 439345 338 | 29.393 % |
2205.69/2206.85 c | 466416 | 97667 590166 1724684 | 2147483647 442073 338 | 29.405 % |
2234.59/2235.74 c | 469415 | 97568 590166 1724684 | 2147483647 445068 338 | 29.577 % |
2265.67/2266.82 c | 472713 | 97567 590166 1724684 | 2147483647 448365 339 | 29.582 % |
2291.97/2293.15 c | 476338 | 97566 590166 1724684 | 2147483647 451989 340 | 29.583 % |
2320.74/2321.91 c | 480327 | 97565 590166 1724684 | 2147483647 455974 341 | 29.592 % |
2362.63/2363.87 c | 484714 | 97565 590166 1724684 | 2147483647 460360 343 | 29.597 % |
2363.83/2365.05 c | 484815 | 97565 590166 1724684 | 2147483647 460461 343 | 29.597 % |
2365.13/2366.37 c | 484934 | 97565 590166 1724684 | 2147483647 460580 343 | 29.597 % |
2366.23/2367.40 c | 485056 | 97565 590166 1724684 | 2147483647 460702 343 | 29.598 % |
2368.23/2369.42 c | 485200 | 97564 590166 1724684 | 2147483647 460844 343 | 29.599 % |
2369.43/2370.64 c | 485350 | 97562 590166 1724684 | 2147483647 460992 343 | 29.612 % |
2370.13/2371.35 c | 485510 | 97559 590166 1724684 | 2147483647 461150 343 | 29.674 % |
2371.82/2373.03 c | 485686 | 97559 590166 1724684 | 2147483647 461326 343 | 29.674 % |
2373.33/2374.56 c | 485880 | 97559 590166 1724684 | 2147483647 461520 343 | 29.674 % |
2375.03/2376.27 c | 486093 | 97559 590166 1724684 | 2147483647 461733 343 | 29.674 % |
2378.23/2379.44 c | 486328 | 97559 590166 1724684 | 2147483647 461968 343 | 29.674 % |
2380.62/2381.89 c | 486584 | 97559 590166 1724684 | 2147483647 462224 343 | 29.674 % |
2384.52/2385.73 c | 486865 | 97559 590166 1724684 | 2147483647 462505 343 | 29.674 % |
2388.21/2389.44 c | 487179 | 97559 590166 1724684 | 2147483647 462819 343 | 29.674 % |
2391.21/2392.43 c | 487519 | 97559 590166 1724684 | 2147483647 463159 343 | 29.674 % |
2394.61/2395.86 c | 487891 | 97559 590166 1724684 | 2147483647 463530 343 | 29.697 % |
2397.92/2399.15 c | 488303 | 97559 590166 1724684 | 2147483647 463942 343 | 29.697 % |
2399.01/2400.23 c | 488752 | 97559 590166 1724684 | 2147483647 464391 343 | 29.697 % |
2403.71/2404.99 c | 489246 | 97559 590166 1724684 | 2147483647 464885 343 | 29.697 % |
2407.61/2408.80 c | 489788 | 97559 590166 1724684 | 2147483647 465427 343 | 29.697 % |
2410.31/2411.60 c | 490386 | 97558 590166 1724684 | 2147483647 466024 343 | 29.697 % |
2413.00/2414.26 c | 491041 | 97558 590166 1724684 | 2147483647 466679 343 | 29.697 % |
2419.21/2420.49 c | 491762 | 97558 590166 1724684 | 2147483647 467398 343 | 29.709 % |
2424.51/2425.75 c | 492556 | 97558 590166 1724684 | 2147483647 468192 344 | 29.709 % |
2433.29/2434.54 c | 493428 | 97557 590166 1724684 | 2147483647 469063 344 | 29.710 % |
2443.10/2444.33 c | 494386 | 97557 590166 1724684 | 2147483647 470021 344 | 29.710 % |
2456.80/2458.05 c | 495445 | 97557 590166 1724684 | 2147483647 471080 344 | 29.710 % |
2470.29/2471.55 c | 496614 | 97557 590166 1724684 | 2147483647 472248 344 | 29.710 % |
2482.08/2483.33 c | 497888 | 97556 590166 1724684 | 2147483647 473521 344 | 29.711 % |
2490.67/2491.95 c | 499288 | 97552 590166 1724684 | 2147483647 474919 344 | 29.823 % |
2500.07/2501.39 c | 500830 | 97060 585632 1713241 | 2147483647 471694 345 | 29.829 % |
2509.87/2511.16 c | 502525 | 97060 585632 1713241 | 2147483647 473389 345 | 29.829 % |
2526.06/2527.35 c | 504388 | 97059 585632 1713241 | 2147483647 475251 346 | 29.836 % |
2544.26/2545.51 c | 506440 | 97058 585632 1713241 | 2147483647 477301 346 | 29.838 % |
2556.75/2558.06 c | 508693 | 97057 585632 1713241 | 2147483647 479553 347 | 29.838 % |
2569.45/2570.70 c | 511175 | 97055 585632 1713241 | 2147483647 482033 346 | 29.840 % |
2575.24/2576.58 c | 513902 | 96901 585632 1713241 | 2147483647 484756 346 | 30.239 % |
2589.54/2590.88 c | 516899 | 96894 585632 1713241 | 2147483647 487751 345 | 30.344 % |
2614.12/2615.44 c | 520196 | 96892 585632 1713241 | 2147483647 491046 345 | 30.345 % |
2644.42/2645.77 c | 523821 | 96890 585632 1713241 | 2147483647 494669 345 | 30.349 % |
2681.50/2682.85 c | 527812 | 96889 585632 1713241 | 2147483647 498658 345 | 30.357 % |
2723.67/2725.02 c | 532201 | 96888 585632 1713241 | 2147483647 503046 346 | 30.357 % |
2755.37/2756.71 c | 537026 | 96887 585632 1713241 | 2147483647 507869 347 | 30.523 % |
2755.76/2757.12 c | 537128 | 96887 585632 1713241 | 2147483647 507971 347 | 30.523 % |
2757.26/2758.65 c | 537240 | 96887 585632 1713241 | 2147483647 508083 347 | 30.523 % |
2758.36/2759.73 c | 537361 | 96887 585632 1713241 | 2147483647 508204 347 | 30.523 % |
2759.16/2760.54 c | 537494 | 96887 585632 1713241 | 2147483647 508337 347 | 30.523 % |
2760.36/2761.73 c | 537641 | 96887 585632 1713241 | 2147483647 508484 347 | 30.523 % |
2761.46/2762.89 c | 537804 | 96887 585632 1713241 | 2147483647 508647 347 | 30.523 % |
2762.86/2764.20 c | 537981 | 96887 585632 1713241 | 2147483647 508824 347 | 30.523 % |
2764.46/2765.81 c | 538174 | 96887 585632 1713241 | 2147483647 509017 347 | 30.523 % |
2765.46/2766.87 c | 538386 | 96887 585632 1713241 | 2147483647 509229 347 | 30.523 % |
2766.66/2768.05 c | 538622 | 96887 585632 1713241 | 2147483647 509465 347 | 30.523 % |
2768.35/2769.77 c | 538883 | 96887 585632 1713241 | 2147483647 509726 347 | 30.523 % |
2770.45/2771.84 c | 539168 | 96887 585632 1713241 | 2147483647 510011 347 | 30.523 % |
2771.76/2773.18 c | 539481 | 96887 585632 1713241 | 2147483647 510324 347 | 30.523 % |
2774.66/2776.06 c | 539822 | 96887 585632 1713241 | 2147483647 510665 347 | 30.523 % |
2777.76/2779.18 c | 540194 | 96887 585632 1713241 | 2147483647 511037 347 | 30.523 % |
2781.76/2783.16 c | 540608 | 96887 585632 1713241 | 2147483647 511451 348 | 30.523 % |
2783.26/2784.63 c | 541060 | 96885 585632 1713241 | 2147483647 511902 347 | 30.536 % |
2788.05/2789.42 c | 541554 | 96885 585632 1713241 | 2147483647 512396 347 | 30.536 % |
2794.44/2795.86 c | 542098 | 96885 585632 1713241 | 2147483647 512940 347 | 30.536 % |
2801.04/2802.46 c | 542694 | 96885 585632 1713241 | 2147483647 513536 347 | 30.536 % |
2808.64/2810.00 c | 543349 | 96885 585632 1713241 | 2147483647 514191 347 | 30.536 % |
2817.24/2818.69 c | 544072 | 96884 585632 1713241 | 2147483647 514913 347 | 30.537 % |
2827.44/2828.80 c | 544867 | 96884 585632 1713241 | 2147483647 515707 347 | 30.540 % |
2837.52/2838.95 c | 545743 | 96884 585632 1713241 | 2147483647 516583 347 | 30.540 % |
2846.93/2848.32 c | 546701 | 96884 585632 1713241 | 2147483647 517541 347 | 30.540 % |
2857.53/2858.95 c | 547754 | 96884 585632 1713241 | 2147483647 518594 347 | 30.540 % |
2867.42/2868.83 c | 548916 | 96059 580454 1700870 | 2147483647 519409 348 | 30.548 % |
2876.42/2877.85 c | 550189 | 96059 580454 1700870 | 2147483647 520682 348 | 30.548 % |
2884.31/2885.75 c | 551595 | 96059 580454 1700870 | 2147483647 522088 348 | 30.548 % |
2898.70/2900.11 c | 553139 | 96059 580454 1700870 | 2147483647 523632 348 | 30.548 % |
2915.29/2916.70 c | 554836 | 96054 580454 1700870 | 2147483647 525326 348 | 30.562 % |
2925.49/2926.94 c | 556700 | 96047 580454 1700870 | 2147483647 527189 348 | 30.624 % |
2942.48/2943.98 c | 558753 | 96046 580454 1700870 | 2147483647 529239 348 | 30.635 % |
2955.39/2956.83 c | 561007 | 96046 580454 1700870 | 2147483647 531493 350 | 30.635 % |
2975.56/2977.00 c | 563485 | 96046 580454 1700870 | 2147483647 533971 351 | 30.635 % |
2995.27/2996.79 c | 566212 | 96045 580454 1700870 | 2147483647 536695 351 | 30.760 % |
3019.16/3020.65 c | 569209 | 96045 580454 1700870 | 2147483647 539692 351 | 30.760 % |
3047.75/3049.21 c | 572508 | 96045 580454 1700870 | 2147483647 542991 351 | 30.760 % |
3090.03/3091.56 c | 576134 | 96041 580454 1700870 | 2147483647 546615 352 | 30.801 % |
3125.60/3127.13 c | 580122 | 96038 580454 1700870 | 2147483647 550600 352 | 31.884 % |
3165.79/3167.33 c | 584512 | 96037 580454 1700870 | 2147483647 554989 353 | 31.884 % |
3194.39/3195.95 c | 589335 | 96037 580454 1700870 | 2147483647 559811 354 | 31.885 % |
3239.36/3240.94 c | 594642 | 96036 580454 1700870 | 2147483647 565116 358 | 31.894 % |
3240.26/3241.84 c | 594744 | 96036 580454 1700870 | 2147483647 565218 358 | 31.894 % |
3241.26/3242.84 c | 594855 | 96036 580454 1700870 | 2147483647 565329 358 | 31.894 % |
3242.35/3243.98 c | 594976 | 96036 580454 1700870 | 2147483647 565450 358 | 31.894 % |
3243.05/3244.64 c | 595109 | 96036 580454 1700870 | 2147483647 565583 358 | 31.894 % |
3243.55/3245.18 c | 595255 | 96036 580454 1700870 | 2147483647 565729 358 | 31.894 % |
3245.65/3247.29 c | 595415 | 96036 580454 1700870 | 2147483647 565889 358 | 31.894 % |
3246.65/3248.26 c | 595597 | 96035 580454 1700870 | 2147483647 566070 358 | 31.895 % |
3248.85/3250.48 c | 595791 | 96029 580454 1700870 | 2147483647 566262 358 | 32.085 % |
3251.65/3253.26 c | 596003 | 96029 580454 1700870 | 2147483647 566474 358 | 32.085 % |
3253.25/3254.84 c | 596236 | 96029 580454 1700870 | 2147483647 566707 358 | 32.085 % |
3254.85/3256.50 c | 596492 | 96029 580454 1700870 | 2147483647 566963 358 | 32.085 % |
3258.15/3259.79 c | 596774 | 96029 580454 1700870 | 2147483647 567245 358 | 32.085 % |
3259.35/3260.96 c | 597084 | 96029 580454 1700870 | 2147483647 567555 357 | 32.085 % |
3262.54/3264.14 c | 597427 | 96029 580454 1700870 | 2147483647 567898 358 | 32.085 % |
3265.45/3267.09 c | 597801 | 96029 580454 1700870 | 2147483647 568272 358 | 32.085 % |
3268.04/3269.61 c | 598211 | 96029 580454 1700870 | 2147483647 568682 358 | 32.085 % |
3272.35/3273.94 c | 598662 | 96029 580454 1700870 | 2147483647 569133 358 | 32.085 % |
3278.04/3279.64 c | 599156 | 96028 580454 1700870 | 2147483647 569626 358 | 32.093 % |
3283.74/3285.37 c | 599702 | 96026 580454 1700870 | 2147483647 570171 358 | 32.099 % |
3290.73/3292.34 c | 600301 | 96026 580454 1700870 | 2147483647 570769 358 | 32.106 % |
3297.13/3298.77 c | 600956 | 96024 580454 1700870 | 2147483647 571423 358 | 32.117 % |
3304.93/3306.52 c | 601684 | 96024 580454 1700870 | 2147483647 572151 358 | 32.117 % |
3311.03/3312.61 c | 602477 | 96024 580454 1700870 | 2147483647 572943 358 | 32.118 % |
3316.72/3318.36 c | 603349 | 96024 580454 1700870 | 2147483647 573815 358 | 32.118 % |
3325.93/3327.55 c | 604312 | 96024 580454 1700870 | 2147483647 574777 358 | 32.119 % |
3336.41/3338.00 c | 605369 | 96024 580454 1700870 | 2147483647 575834 358 | 32.119 % |
3348.41/3350.03 c | 606529 | 96024 580454 1700870 | 2147483647 576994 359 | 32.119 % |
3364.11/3365.76 c | 607803 | 93885 560942 1648457 | 2147483647 493424 346 | 32.120 % |
3378.50/3380.12 c | 609203 | 93884 560942 1648457 | 2147483647 494823 346 | 32.127 % |
3394.29/3395.95 c | 610745 | 93883 560942 1648457 | 2147483647 496364 347 | 32.127 % |
3408.39/3410.03 c | 612439 | 93883 560942 1648457 | 2147483647 498058 347 | 32.127 % |
3412.69/3414.38 c | 614306 | 93883 560942 1648457 | 2147483647 499925 347 | 32.127 % |
3428.38/3430.00 c | 616356 | 93882 560942 1648457 | 2147483647 501974 348 | 32.128 % |
3450.57/3452.22 c | 618610 | 93874 560942 1648457 | 2147483647 504227 348 | 32.242 % |
3472.27/3473.95 c | 621089 | 93874 560942 1648457 | 2147483647 506706 348 | 32.242 % |
3492.25/3493.98 c | 623817 | 93870 560942 1648457 | 2147483647 509432 348 | 32.251 % |
3513.64/3515.37 c | 626814 | 93870 560942 1648457 | 2147483647 512428 348 | 32.256 % |
3536.53/3538.20 c | 630110 | 93870 560942 1648457 | 2147483647 515724 349 | 32.256 % |
3569.82/3571.57 c | 633736 | 93869 560942 1648457 | 2147483647 519349 350 | 32.262 % |
3588.82/3590.55 c | 637727 | 93869 560942 1648457 | 2147483647 523340 350 | 32.262 % |
3632.39/3634.15 c | 642112 | 93866 560942 1648457 | 2147483647 527723 351 | 32.267 % |
3661.95/3663.72 c | 646937 | 93866 560942 1648457 | 2147483647 532548 354 | 32.267 % |
3696.13/3697.93 c | 652242 | 93865 560942 1648457 | 2147483647 537851 355 | 32.274 % |
3744.41/3746.29 c | 658077 | 93859 560942 1648457 | 2147483647 543683 356 | 32.398 % |
3745.51/3747.34 c | 658177 | 93859 560942 1648457 | 2147483647 543783 356 | 32.398 % |
3746.41/3748.26 c | 658289 | 93859 560942 1648457 | 2147483647 543895 356 | 32.398 % |
3747.31/3749.18 c | 658411 | 93859 560942 1648457 | 2147483647 544017 356 | 32.398 % |
3748.41/3750.20 c | 658548 | 93859 560942 1648457 | 2147483647 544154 356 | 32.398 % |
3749.51/3751.34 c | 658695 | 93859 560942 1648457 | 2147483647 544301 356 | 32.398 % |
3750.91/3752.71 c | 658855 | 93858 560942 1648457 | 2147483647 544460 356 | 32.399 % |
3752.62/3754.42 c | 659031 | 93858 560942 1648457 | 2147483647 544635 356 | 32.404 % |
3754.31/3756.18 c | 659228 | 93858 560942 1648457 | 2147483647 544832 356 | 32.404 % |
3755.61/3757.49 c | 659441 | 93858 560942 1648457 | 2147483647 545045 355 | 32.404 % |
3758.21/3760.03 c | 659674 | 93858 560942 1648457 | 2147483647 545278 355 | 32.404 % |
3760.31/3762.17 c | 659930 | 93858 560942 1648457 | 2147483647 545534 355 | 32.404 % |
3762.41/3764.27 c | 660211 | 93858 560942 1648457 | 2147483647 545815 356 | 32.404 % |
3764.71/3766.59 c | 660524 | 93858 560942 1648457 | 2147483647 546128 356 | 32.404 % |
3768.70/3770.54 c | 660868 | 93858 560942 1648457 | 2147483647 546472 356 | 32.404 % |
3772.80/3774.62 c | 661240 | 93858 560942 1648457 | 2147483647 546842 356 | 32.415 % |
3778.00/3779.85 c | 661651 | 93858 560942 1648457 | 2147483647 547253 356 | 32.415 % |
3783.99/3785.81 c | 662106 | 93858 560942 1648457 | 2147483647 547708 356 | 32.415 % |
3787.89/3789.74 c | 662609 | 93858 560942 1648457 | 2147483647 548211 356 | 32.415 % |
3791.19/3793.03 c | 663151 | 93858 560942 1648457 | 2147483647 548753 355 | 32.415 % |
3794.59/3796.41 c | 663747 | 93858 560942 1648457 | 2147483647 549349 356 | 32.415 % |
3797.79/3799.68 c | 664402 | 93858 560942 1648457 | 2147483647 550004 355 | 32.415 % |
3805.19/3807.03 c | 665123 | 93858 560942 1648457 | 2147483647 550725 355 | 32.415 % |
3811.89/3813.76 c | 665923 | 93858 560942 1648457 | 2147483647 551525 355 | 32.415 % |
3820.08/3821.96 c | 666794 | 93814 560942 1648457 | 2147483647 552395 355 | 32.454 % |
3827.18/3829.00 c | 667755 | 93814 560942 1648457 | 2147483647 553356 356 | 32.454 % |
3832.28/3834.16 c | 668813 | 93422 558159 1641411 | 2147483647 553594 356 | 32.454 % |
3845.97/3847.82 c | 669973 | 93422 558159 1641411 | 2147483647 554754 356 | 32.454 % |
3858.27/3860.10 c | 671247 | 93421 558159 1641411 | 2147483647 556026 356 | 32.500 % |
3870.07/3871.90 c | 672647 | 93421 558159 1641411 | 2147483647 557426 357 | 32.500 % |
3879.16/3881.09 c | 674190 | 93421 558159 1641411 | 2147483647 558969 357 | 32.500 % |
3892.06/3893.98 c | 675884 | 93421 558159 1641411 | 2147483647 560663 357 | 32.500 % |
3911.96/3913.90 c | 677749 | 93420 558159 1641411 | 2147483647 562527 357 | 32.504 % |
3934.14/3936.02 c | 679799 | 93420 558159 1641411 | 2147483647 564576 357 | 32.505 % |
3950.44/3952.39 c | 682054 | 93420 558159 1641411 | 2147483647 566831 357 | 32.505 % |
3976.82/3978.77 c | 684532 | 93419 558159 1641411 | 2147483647 569307 357 | 32.507 % |
4011.20/4013.19 c | 687259 | 93419 558159 1641411 | 2147483647 572034 358 | 32.507 % |
4048.99/4050.90 c | 690257 | 93416 558159 1641411 | 2147483647 575028 357 | 32.568 % |
4082.48/4084.46 c | 693556 | 93416 558159 1641411 | 2147483647 578327 358 | 32.568 % |
4129.67/4131.68 c | 697183 | 93415 558159 1641411 | 2147483647 581952 357 | 32.581 % |
4158.14/4160.20 c | 701175 | 93415 558159 1641411 | 2147483647 585944 358 | 32.581 % |
4205.32/4207.34 c | 705563 | 93415 558159 1641411 | 2147483647 590331 358 | 32.583 % |
4244.90/4246.93 c | 710386 | 93413 558159 1641411 | 2147483647 595150 359 | 32.597 % |
4298.88/4300.99 c | 715693 | 93409 558159 1641411 | 2147483647 600453 360 | 32.672 % |
4354.17/4356.27 c | 721529 | 93408 558159 1641411 | 2147483647 606288 360 | 32.672 % |
4403.24/4405.37 c | 727947 | 93406 558159 1641411 | 2147483647 612704 362 | 32.680 % |
4404.14/4406.20 c | 728051 | 93406 558159 1641411 | 2147483647 612808 362 | 32.680 % |
4405.25/4407.39 c | 728163 | 93406 558159 1641411 | 2147483647 612920 362 | 32.680 % |
4406.05/4408.10 c | 728284 | 93406 558159 1641411 | 2147483647 613041 362 | 32.680 % |
4406.75/4408.82 c | 728422 | 93406 558159 1641411 | 2147483647 613179 362 | 32.680 % |
4408.25/4410.34 c | 728568 | 93110 555824 1635220 | 2147483647 612874 362 | 32.680 % |
4409.34/4411.48 c | 728730 | 93110 555824 1635220 | 2147483647 613036 362 | 32.680 % |
4411.64/4413.78 c | 728908 | 93110 555824 1635220 | 2147483647 613214 362 | 32.680 % |
4413.95/4416.06 c | 729102 | 93110 555824 1635220 | 2147483647 613408 362 | 32.680 % |
4416.54/4418.66 c | 729320 | 93110 555824 1635220 | 2147483647 613626 362 | 32.680 % |
4418.74/4420.90 c | 729553 | 93110 555824 1635220 | 2147483647 613859 362 | 32.680 % |
4421.05/4423.14 c | 729809 | 93110 555824 1635220 | 2147483647 614115 362 | 32.680 % |
4423.14/4425.25 c | 730098 | 93110 555824 1635220 | 2147483647 614404 362 | 32.680 % |
4425.14/4427.20 c | 730407 | 93110 555824 1635220 | 2147483647 614713 362 | 32.680 % |
4426.94/4429.09 c | 730746 | 93109 555824 1635220 | 2147483647 615051 362 | 32.681 % |
4428.23/4430.39 c | 731124 | 93109 555824 1635220 | 2147483647 615429 362 | 32.681 % |
4434.43/4436.54 c | 731534 | 93109 555824 1635220 | 2147483647 615839 362 | 32.681 % |
4438.43/4440.50 c | 731984 | 93109 555824 1635220 | 2147483647 616289 362 | 32.681 % |
4442.33/4444.47 c | 732477 | 93108 555824 1635220 | 2147483647 616781 362 | 32.686 % |
4448.03/4450.13 c | 733019 | 93108 555824 1635220 | 2147483647 617323 362 | 32.686 % |
4458.02/4460.16 c | 733623 | 93108 555824 1635220 | 2147483647 617927 362 | 32.686 % |
4466.42/4468.50 c | 734279 | 93108 555824 1635220 | 2147483647 618583 362 | 32.686 % |
4476.61/4478.71 c | 734999 | 93108 555824 1635220 | 2147483647 619303 362 | 32.686 % |
4483.61/4485.72 c | 735791 | 93108 555824 1635220 | 2147483647 620095 362 | 32.686 % |
4492.01/4494.15 c | 736662 | 93108 555824 1635220 | 2147483647 620966 362 | 32.686 % |
4499.60/4501.73 c | 737622 | 93108 555824 1635220 | 2147483647 621926 362 | 32.686 % |
4510.28/4512.49 c | 738675 | 93108 555824 1635220 | 2147483647 622979 362 | 32.686 % |
4518.48/4520.61 c | 739841 | 93108 555824 1635220 | 2147483647 624145 362 | 32.686 % |
4536.98/4539.19 c | 741119 | 93108 555824 1635220 | 2147483647 625423 362 | 32.686 % |
4550.67/4552.83 c | 742522 | 93107 555824 1635220 | 2147483647 626825 363 | 32.689 % |
4559.87/4562.00 c | 744064 | 93100 555824 1635220 | 2147483647 628363 362 | 32.782 % |
4572.46/4574.60 c | 745758 | 93100 555824 1635220 | 2147483647 630057 363 | 32.782 % |
4580.96/4583.11 c | 747623 | 92987 555824 1635220 | 2147483647 631921 363 | 32.790 % |
4596.55/4598.76 c | 749672 | 92987 555824 1635220 | 2147483647 633970 363 | 32.790 % |
4627.24/4629.44 c | 751929 | 92986 555824 1635220 | 2147483647 636225 363 | 32.856 % |
4636.74/4638.98 c | 754407 | 92986 555824 1635220 | 2147483647 638703 363 | 32.856 % |
4646.92/4649.14 c | 757132 | 92986 555824 1635220 | 2147483647 641428 363 | 32.856 % |
4685.01/4687.23 c | 760132 | 92986 555824 1635220 | 2147483647 644428 364 | 32.856 % |
4719.39/4721.70 c | 763428 | 92981 555824 1635220 | 2147483647 647721 365 | 32.873 % |
4748.88/4751.17 c | 767061 | 92981 555824 1635220 | 2147483647 651354 365 | 32.873 % |
4774.76/4777.09 c | 771048 | 92975 555824 1635220 | 2147483647 655337 365 | 32.912 % |
4804.05/4806.31 c | 775434 | 92967 555824 1635220 | 2147483647 659721 365 | 33.179 % |
4853.83/4856.17 c | 780258 | 92966 555824 1635220 | 2147483647 664544 366 | 33.179 % |
4902.72/4905.10 c | 785563 | 92965 555824 1635220 | 2147483647 669846 367 | 33.733 % |
4944.69/4947.05 c | 791398 | 92941 555824 1635220 | 2147483647 675678 366 | 33.861 % |
5011.67/5014.00 c | 797819 | 92940 555824 1635220 | 2147483647 682098 367 | 33.868 % |
5073.94/5076.36 c | 804882 | 92939 555824 1635220 | 2147483647 689158 367 | 33.873 % |
5075.54/5077.94 c | 804988 | 92939 555824 1635220 | 2147483647 689264 367 | 33.873 % |
5076.45/5078.85 c | 805098 | 92939 555824 1635220 | 2147483647 689374 367 | 33.873 % |
5077.65/5080.06 c | 805219 | 92939 555824 1635220 | 2147483647 689495 367 | 33.873 % |
5078.65/5081.04 c | 805357 | 92939 555824 1635220 | 2147483647 689633 367 | 33.873 % |
5079.14/5081.57 c | 805506 | 92939 555824 1635220 | 2147483647 689782 367 | 33.873 % |
5079.65/5082.03 c | 805667 | 92939 555824 1635220 | 2147483647 689943 367 | 33.873 % |
5080.14/5082.53 c | 805844 | 92939 555824 1635220 | 2147483647 690120 367 | 33.873 % |
5080.64/5083.06 c | 806040 | 92939 555824 1635220 | 2147483647 690316 367 | 33.873 % |
5083.14/5085.50 c | 806253 | 92939 555824 1635220 | 2147483647 690529 367 | 33.873 % |
5086.14/5088.52 c | 806488 | 92939 555824 1635220 | 2147483647 690764 367 | 33.873 % |
5089.43/5091.88 c | 806745 | 92939 555824 1635220 | 2147483647 691021 367 | 33.873 % |
5092.13/5094.54 c | 807027 | 92939 555824 1635220 | 2147483647 691303 367 | 33.873 % |
5095.83/5098.27 c | 807338 | 92939 555824 1635220 | 2147483647 691614 367 | 33.873 % |
5098.14/5100.59 c | 807677 | 92939 555824 1635220 | 2147483647 691953 367 | 33.873 % |
5101.84/5104.28 c | 808053 | 92939 555824 1635220 | 2147483647 692329 367 | 33.873 % |
5102.63/5105.06 c | 808463 | 92939 555824 1635220 | 2147483647 692739 367 | 33.873 % |
5104.23/5106.69 c | 808915 | 92939 555824 1635220 | 2147483647 693191 367 | 33.873 % |
5111.73/5114.19 c | 809409 | 92939 555824 1635220 | 2147483647 693685 367 | 33.873 % |
5115.53/5117.99 c | 809952 | 92939 555824 1635220 | 2147483647 694228 367 | 33.873 % |
5118.82/5121.27 c | 810548 | 91459 539895 1592091 | 2147483647 688372 368 | 33.873 % |
5122.12/5124.60 c | 811204 | 91452 539895 1592091 | 2147483647 689027 368 | 33.948 % |
5130.91/5133.35 c | 811925 | 91452 539895 1592091 | 2147483647 689748 368 | 33.948 % |
5137.71/5140.11 c | 812717 | 91451 539895 1592091 | 2147483647 690539 368 | 33.949 % |
5143.71/5146.18 c | 813588 | 91451 539895 1592091 | 2147483647 691410 368 | 33.949 % |
5155.31/5157.77 c | 814546 | 91451 539895 1592091 | 2147483647 692368 368 | 33.949 % |
5167.80/5170.22 c | 815599 | 91451 539895 1592091 | 2147483647 693421 369 | 33.949 % |
5173.71/5176.12 c | 816758 | 91451 539895 1592091 | 2147483647 694580 369 | 33.949 % |
5178.70/5181.11 c | 818031 | 91448 539895 1592091 | 2147483647 695851 368 | 33.954 % |
5196.58/5199.00 c | 819431 | 91448 539895 1592091 | 2147483647 697251 368 | 33.954 % |
5204.09/5206.50 c | 820972 | 91448 539895 1592091 | 2147483647 698790 368 | 33.957 % |
5207.78/5210.29 c | 822666 | 91446 539895 1592091 | 2147483647 700484 368 | 33.957 % |
5233.08/5235.59 c | 824529 | 91446 539895 1592091 | 2147483647 702347 368 | 33.957 % |
5261.77/5264.24 c | 826579 | 91444 539895 1592091 | 2147483647 704395 368 | 33.968 % |
5288.85/5291.30 c | 828834 | 91442 539895 1592091 | 2147483647 706647 368 | 33.976 % |
5313.85/5316.31 c | 831316 | 91441 539895 1592091 | 2147483647 709128 368 | 33.977 % |
5346.33/5348.80 c | 834042 | 91438 539895 1592091 | 2147483647 711850 368 | 33.990 % |
5366.62/5369.16 c | 837041 | 91438 539895 1592091 | 2147483647 714848 368 | 33.992 % |
5398.71/5401.21 c | 840337 | 91438 539895 1592091 | 2147483647 718144 368 | 33.992 % |
5437.18/5439.77 c | 843965 | 91438 539895 1592091 | 2147483647 721771 369 | 34.098 % |
5473.97/5476.57 c | 847953 | 91438 539895 1592091 | 2147483647 725759 370 | 34.098 % |
5499.06/5501.69 c | 852341 | 91438 539895 1592091 | 2147483647 730147 371 | 34.098 % |
5509.86/5512.44 c | 857165 | 91438 539895 1592091 | 2147483647 734970 370 | 34.111 % |
5574.23/5576.89 c | 862470 | 91438 539895 1592091 | 2147483647 740274 370 | 34.282 % |
5636.01/5638.65 c | 868305 | 91438 539895 1592091 | 2147483647 746109 370 | 34.282 % |
5701.47/5704.11 c | 874723 | 91438 539895 1592091 | 2147483647 752527 372 | 34.282 % |
5767.84/5770.51 c | 881784 | 91438 539895 1592091 | 2147483647 759586 372 | 34.302 % |
5857.90/5860.65 c | 889549 | 91437 539895 1592091 | 2147483647 767350 372 | 34.309 % |
5859.40/5862.16 c | 889654 | 91437 539895 1592091 | 2147483647 767455 372 | 34.309 % |
5861.40/5864.10 c | 889765 | 91437 539895 1592091 | 2147483647 767566 372 | 34.309 % |
5862.80/5865.51 c | 889886 | 91437 539895 1592091 | 2147483647 767687 372 | 34.309 % |
5865.60/5868.30 c | 890021 | 91437 539895 1592091 | 2147483647 767822 372 | 34.309 % |
5868.19/5870.91 c | 890167 | 91437 539895 1592091 | 2147483647 767968 372 | 34.309 % |
5869.79/5872.53 c | 890330 | 91437 539895 1592091 | 2147483647 768131 372 | 34.309 % |
5871.39/5874.16 c | 890507 | 91437 539895 1592091 | 2147483647 768308 372 | 34.309 % |
5873.29/5876.03 c | 890702 | 91437 539895 1592091 | 2147483647 768503 372 | 34.309 % |
5875.99/5878.71 c | 890917 | 91437 539895 1592091 | 2147483647 768718 372 | 34.309 % |
5878.89/5881.70 c | 891150 | 91437 539895 1592091 | 2147483647 768951 372 | 34.309 % |
5880.29/5883.00 c | 891408 | 91437 539895 1592091 | 2147483647 769209 372 | 34.309 % |
5883.69/5886.40 c | 891692 | 91437 539895 1592091 | 2147483647 769493 372 | 34.309 % |
5885.29/5888.09 c | 892001 | 91437 539895 1592091 | 2147483647 769802 372 | 34.309 % |
5888.58/5891.37 c | 892340 | 91437 539895 1592091 | 2147483647 770141 372 | 34.309 % |
5892.58/5895.37 c | 892714 | 91436 539895 1592091 | 2147483647 770514 372 | 34.310 % |
5896.17/5898.90 c | 893125 | 91436 539895 1592091 | 2147483647 770925 372 | 34.310 % |
5898.47/5901.23 c | 893576 | 91436 539895 1592091 | 2147483647 771376 372 | 34.310 % |
5903.97/5906.71 c | 894075 | 91436 539895 1592091 | 2147483647 771875 372 | 34.310 % |
5912.27/5915.10 c | 894617 | 91436 539895 1592091 | 2147483647 772417 372 | 34.310 % |
5920.77/5923.58 c | 895221 | 91436 539895 1592091 | 2147483647 773021 372 | 34.310 % |
5927.17/5929.99 c | 895876 | 91436 539895 1592091 | 2147483647 773676 372 | 34.310 % |
5934.56/5937.34 c | 896601 | 91436 539895 1592091 | 2147483647 774401 372 | 34.310 % |
5943.55/5946.33 c | 897393 | 91436 539895 1592091 | 2147483647 775193 373 | 34.310 % |
5950.35/5953.17 c | 898269 | 91436 539895 1592091 | 2147483647 776069 373 | 34.310 % |
5963.04/5965.83 c | 899228 | 91436 539895 1592091 | 2147483647 777028 373 | 34.310 % |
5974.94/5977.71 c | 900282 | 90855 536107 1582944 | 2147483647 777422 373 | 34.310 % |
5988.62/5991.47 c | 901441 | 90854 536107 1582944 | 2147483647 778580 373 | 34.311 % |
6004.22/6007.07 c | 902714 | 90854 536107 1582944 | 2147483647 779853 373 | 34.311 % |
6026.02/6028.81 c | 904120 | 90854 536107 1582944 | 2147483647 781259 373 | 34.311 % |
6043.10/6045.94 c | 905663 | 90853 536107 1582944 | 2147483647 782800 373 | 34.317 % |
6051.50/6054.38 c | 907360 | 90853 536107 1582944 | 2147483647 784496 373 | 34.327 % |
6061.70/6064.53 c | 909226 | 90853 536107 1582944 | 2147483647 786362 373 | 34.328 % |
6077.29/6080.20 c | 911275 | 90853 536107 1582944 | 2147483647 788409 372 | 34.330 % |
6103.09/6105.98 c | 913529 | 90851 536107 1582944 | 2147483647 790662 373 | 34.336 % |
6130.06/6132.92 c | 916007 | 90847 536107 1582944 | 2147483647 793136 373 | 34.341 % |
6157.96/6160.84 c | 918736 | 90847 536107 1582944 | 2147483647 795865 373 | 34.341 % |
6191.84/6194.77 c | 921733 | 90847 536107 1582944 | 2147483647 798861 373 | 34.342 % |
6225.92/6228.88 c | 925033 | 90847 536107 1582944 | 2147483647 802161 374 | 34.342 % |
6261.01/6263.93 c | 928658 | 90847 536107 1582944 | 2147483647 805786 375 | 34.342 % |
6298.10/6301.08 c | 932645 | 90847 536107 1582944 | 2147483647 809773 375 | 34.342 % |
6343.97/6346.92 c | 937036 | 90847 536107 1582944 | 2147483647 814162 375 | 34.377 % |
6385.36/6388.35 c | 941860 | 90847 536107 1582944 | 2147483647 818986 375 | 34.377 % |
6440.92/6444.00 c | 947166 | 90844 536107 1582944 | 2147483647 824291 377 | 34.390 % |
6509.10/6512.17 c | 953003 | 90843 536107 1582944 | 2147483647 830127 378 | 34.395 % |
6563.38/6566.46 c | 959424 | 90843 536107 1582944 | 2147483647 836548 379 | 34.395 % |
6672.93/6676.05 c | 966487 | 90843 536107 1582944 | 2147483647 843611 380 | 34.395 % |
6763.49/6766.67 c | 974252 | 90843 536107 1582944 | 2147483647 851375 381 | 34.396 % |
6835.36/6838.51 c | 982792 | 90826 536107 1582944 | 2147483647 859909 382 | 34.565 % |
6836.16/6839.39 c | 982892 | 90826 536107 1582944 | 2147483647 860009 382 | 34.565 % |
6836.96/6840.14 c | 983002 | 90826 536107 1582944 | 2147483647 860119 382 | 34.565 % |
6838.45/6841.61 c | 983123 | 90826 536107 1582944 | 2147483647 860240 382 | 34.565 % |
6839.85/6843.01 c | 983257 | 90826 536107 1582944 | 2147483647 860374 382 | 34.565 % |
6840.64/6843.86 c | 983406 | 90826 536107 1582944 | 2147483647 860523 382 | 34.565 % |
6841.84/6845.02 c | 983566 | 90826 536107 1582944 | 2147483647 860683 382 | 34.565 % |
6845.24/6848.48 c | 983742 | 90826 536107 1582944 | 2147483647 860859 382 | 34.565 % |
6847.34/6850.59 c | 983935 | 90826 536107 1582944 | 2147483647 861052 382 | 34.565 % |
6851.44/6854.60 c | 984147 | 90826 536107 1582944 | 2147483647 861264 382 | 34.565 % |
6855.14/6858.39 c | 984383 | 90826 536107 1582944 | 2147483647 861500 382 | 34.565 % |
6858.14/6861.33 c | 984639 | 90826 536107 1582944 | 2147483647 861756 382 | 34.565 % |
6862.53/6865.71 c | 984922 | 90826 536107 1582944 | 2147483647 862039 382 | 34.565 % |
6867.13/6870.33 c | 985232 | 90825 536107 1582944 | 2147483647 862348 382 | 34.570 % |
6873.03/6876.24 c | 985576 | 90825 536107 1582944 | 2147483647 862692 382 | 34.570 % |
6878.63/6881.82 c | 985951 | 90825 536107 1582944 | 2147483647 863067 382 | 34.570 % |
6883.43/6886.67 c | 986360 | 90825 536107 1582944 | 2147483647 863476 382 | 34.570 % |
6885.73/6888.93 c | 986815 | 90825 536107 1582944 | 2147483647 863931 382 | 34.570 % |
6891.33/6894.52 c | 987308 | 90825 536107 1582944 | 2147483647 864424 382 | 34.570 % |
6895.22/6898.47 c | 987853 | 90825 536107 1582944 | 2147483647 864969 382 | 34.570 % |
6902.52/6905.72 c | 988450 | 90825 536107 1582944 | 2147483647 865566 382 | 34.570 % |
6910.82/6914.07 c | 989105 | 90825 536107 1582944 | 2147483647 866221 382 | 34.570 % |
6916.41/6919.69 c | 989828 | 90825 536107 1582944 | 2147483647 866944 383 | 34.570 % |
6918.21/6921.47 c | 990620 | 90761 536107 1582944 | 2147483647 867734 382 | 34.828 % |
6923.41/6926.68 c | 991492 | 90761 536107 1582944 | 2147483647 868606 382 | 34.828 % |
6937.20/6940.44 c | 992450 | 90761 536107 1582944 | 2147483647 869564 382 | 34.828 % |
6954.69/6957.93 c | 993504 | 90759 536107 1582944 | 2147483647 870617 382 | 34.846 % |
6961.29/6964.57 c | 994663 | 90748 536107 1582944 | 2147483647 871776 382 | 34.846 % |
6978.38/6981.62 c | 995938 | 90748 536107 1582944 | 2147483647 873051 382 | 34.846 % |
6994.18/6997.44 c | 997338 | 90748 536107 1582944 | 2147483647 874451 382 | 34.846 % |
7006.17/7009.40 c | 998883 | 90748 536107 1582944 | 2147483647 875996 382 | 34.846 % |
7024.96/7028.20 c | 1000578 | 90748 536107 1582944 | 2147483647 877691 382 | 34.846 % |
7049.16/7052.44 c | 1002444 | 90748 536107 1582944 | 2147483647 879557 382 | 34.846 % |
7075.85/7079.16 c | 1004497 | 90114 532116 1573304 | 2147483647 880679 382 | 34.846 % |
7101.64/7104.91 c | 1006750 | 90114 532116 1573304 | 2147483647 882931 383 | 34.847 % |
7127.12/7130.42 c | 1009228 | 90114 532116 1573304 | 2147483647 885409 383 | 34.847 % |
7156.90/7160.23 c | 1011954 | 90114 532116 1573304 | 2147483647 888135 384 | 34.847 % |
7182.80/7186.16 c | 1014952 | 90114 532116 1573304 | 2147483647 891133 384 | 34.847 % |
7215.08/7218.42 c | 1018249 | 90114 532116 1573304 | 2147483647 894430 384 | 34.847 % |
7252.56/7255.92 c | 1021874 | 90114 532116 1573304 | 2147483647 898054 384 | 34.863 % |
7301.31/7304.76 c | 1025864 | 90113 532116 1573304 | 2147483647 902043 384 | 34.863 % |
7338.88/7342.30 c | 1030252 | 90110 532116 1573304 | 2147483647 906430 384 | 34.876 % |
7363.88/7367.37 c | 1035075 | 90107 532116 1573304 | 2147483647 911252 383 | 34.882 % |
7399.15/7402.64 c | 1040381 | 90103 532116 1573304 | 2147483647 916555 383 | 34.910 % |
7456.84/7460.39 c | 1046219 | 90102 532116 1573304 | 2147483647 922392 383 | 34.915 % |
7526.30/7529.89 c | 1052640 | 90100 532116 1573304 | 2147483647 928810 383 | 34.919 % |
7587.48/7591.05 c | 1059699 | 90096 532116 1573304 | 2147483647 935866 382 | 34.943 % |
7637.45/7641.01 c | 1067465 | 90091 532116 1573304 | 2147483647 943626 383 | 34.980 % |
7758.11/7761.71 c | 1076005 | 90084 532116 1573304 | 2147483647 952162 384 | 35.042 % |
7807.08/7810.74 c | 1085399 | 90084 532116 1573304 | 2147483647 961556 384 | 35.042 % |
7807.68/7811.30 c | 1085503 | 90084 532116 1573304 | 2147483647 961660 384 | 35.042 % |
7809.38/7813.04 c | 1085618 | 90084 532116 1573304 | 2147483647 961775 384 | 35.042 % |
7811.08/7814.78 c | 1085739 | 90084 532116 1573304 | 2147483647 961896 384 | 35.042 % |
7813.38/7817.06 c | 1085875 | 90084 532116 1573304 | 2147483647 962032 384 | 35.042 % |
7816.18/7819.86 c | 1086021 | 90084 532116 1573304 | 2147483647 962178 384 | 35.042 % |
7818.88/7822.57 c | 1086185 | 90084 532116 1573304 | 2147483647 962342 384 | 35.042 % |
7820.38/7824.08 c | 1086362 | 90084 532116 1573304 | 2147483647 962519 384 | 35.042 % |
7822.47/7826.11 c | 1086560 | 90084 532116 1573304 | 2147483647 962717 384 | 35.042 % |
7825.38/7829.06 c | 1086773 | 90084 532116 1573304 | 2147483647 962930 384 | 35.042 % |
7827.18/7830.88 c | 1087007 | 90084 532116 1573304 | 2147483647 963164 384 | 35.042 % |
7831.77/7835.45 c | 1087268 | 90084 532116 1573304 | 2147483647 963425 384 | 35.042 % |
7836.76/7840.43 c | 1087550 | 90084 532116 1573304 | 2147483647 963707 384 | 35.042 % |
7841.37/7845.02 c | 1087859 | 90084 532116 1573304 | 2147483647 964016 384 | 35.042 % |
7845.66/7849.34 c | 1088202 | 90084 532116 1573304 | 2147483647 964359 384 | 35.042 % |
7851.26/7854.92 c | 1088575 | 90084 532116 1573304 | 2147483647 964732 384 | 35.042 % |
7857.16/7860.80 c | 1088986 | 90084 532116 1573304 | 2147483647 965143 384 | 35.042 % |
7861.36/7865.04 c | 1089436 | 90084 532116 1573304 | 2147483647 965593 384 | 35.042 % |
7866.56/7870.23 c | 1089930 | 90084 532116 1573304 | 2147483647 966087 384 | 35.042 % |
7872.25/7875.98 c | 1090473 | 90084 532116 1573304 | 2147483647 966630 384 | 35.042 % |
7879.33/7883.04 c | 1091073 | 90084 532116 1573304 | 2147483647 967230 384 | 35.042 % |
7886.83/7890.52 c | 1091730 | 90084 532116 1573304 | 2147483647 967887 384 | 35.042 % |
7897.83/7901.52 c | 1092453 | 90084 532116 1573304 | 2147483647 968610 384 | 35.042 % |
7909.33/7913.09 c | 1093246 | 90084 532116 1573304 | 2147483647 969403 384 | 35.042 % |
7921.31/7925.09 c | 1094125 | 90084 532116 1573304 | 2147483647 970282 384 | 35.042 % |
7927.32/7931.00 c | 1095085 | 90084 532116 1573304 | 2147483647 971242 384 | 35.042 % |
7940.81/7944.55 c | 1096138 | 90084 532116 1573304 | 2147483647 972295 384 | 35.042 % |
7957.20/7960.95 c | 1097296 | 90084 532116 1573304 | 2147483647 973453 384 | 35.042 % |
7974.29/7978.01 c | 1098570 | 90083 532116 1573304 | 2147483647 974726 384 | 35.043 % |
7991.78/7995.58 c | 1099972 | 90083 532116 1573304 | 2147483647 976128 384 | 35.043 % |
8013.57/8017.30 c | 1101512 | 90083 532116 1573304 | 2147483647 977668 385 | 35.043 % |
8029.07/8032.84 c | 1103206 | 90080 532116 1573304 | 2147483647 979359 385 | 35.062 % |
8045.76/8049.51 c | 1105075 | 90080 532116 1573304 | 2147483647 981227 385 | 35.068 % |
8053.85/8057.63 c | 1107124 | 90079 532116 1573304 | 2147483647 983274 384 | 35.076 % |
8087.14/8090.90 c | 1109382 | 90079 532116 1573304 | 2147483647 985530 385 | 35.077 % |
8103.53/8107.39 c | 1111861 | 90078 532116 1573304 | 2147483647 988008 384 | 35.084 % |
8140.32/8144.15 c | 1114589 | 90078 532116 1573304 | 2147483647 990736 384 | 35.084 % |
8185.40/8189.21 c | 1117587 | 90076 532116 1573304 | 2147483647 993732 384 | 35.092 % |
8229.69/8233.53 c | 1120884 | 90075 532116 1573304 | 2147483647 997028 384 | 35.092 % |
8249.36/8253.22 c | 1124511 | 90073 532116 1573304 | 2147483647 1000652 384 | 35.095 % |
8306.05/8309.95 c | 1128499 | 89716 529185 1565470 | 2147483647 985805 385 | 35.134 % |
8350.43/8354.32 c | 1132885 | 89715 529185 1565470 | 2147483647 990189 385 | 35.155 % |
8389.91/8393.80 c | 1137708 | 89715 529185 1565470 | 2147483647 995012 386 | 35.155 % |
8431.69/8435.62 c | 1143017 | 89715 529185 1565470 | 2147483647 1000319 385 | 35.161 % |
8515.05/8519.02 c | 1148856 | 89714 529185 1565470 | 2147483647 1006157 385 | 35.163 % |
8602.91/8606.90 c | 1155276 | 89714 529185 1565470 | 2147483647 1012577 385 | 35.163 % |
8649.50/8653.56 c | 1162342 | 89714 529185 1565470 | 2147483647 1019643 384 | 35.163 % |
8711.57/8715.61 c | 1170106 | 89714 529185 1565470 | 2147483647 1027404 384 | 35.173 % |
8804.13/8808.27 c | 1178646 | 89714 529185 1565470 | 2147483647 1035944 384 | 35.173 % |
8875.80/8879.96 c | 1188040 | 89712 529185 1565470 | 2147483647 1045337 382 | 35.178 % |
8950.77/8954.93 c | 1198374 | 89709 529185 1565470 | 2147483647 1055668 382 | 35.212 % |
8951.57/8955.74 c | 1198474 | 89709 529185 1565470 | 2147483647 1055768 382 | 35.212 % |
8952.56/8956.77 c | 1198584 | 89709 529185 1565470 | 2147483647 1055878 382 | 35.212 % |
8954.06/8958.20 c | 1198712 | 89709 529185 1565470 | 2147483647 1056006 382 | 35.212 % |
8955.66/8959.81 c | 1198846 | 89709 529185 1565470 | 2147483647 1056140 382 | 35.212 % |
8957.87/8962.09 c | 1198993 | 89709 529185 1565470 | 2147483647 1056287 382 | 35.212 % |
8960.66/8964.85 c | 1199154 | 89709 529185 1565470 | 2147483647 1056448 382 | 35.212 % |
8962.46/8966.65 c | 1199331 | 89709 529185 1565470 | 2147483647 1056625 382 | 35.212 % |
8964.26/8968.49 c | 1199526 | 89709 529185 1565470 | 2147483647 1056820 382 | 35.212 % |
8966.46/8970.61 c | 1199739 | 89709 529185 1565470 | 2147483647 1057033 382 | 35.212 % |
8970.25/8974.41 c | 1199972 | 89709 529185 1565470 | 2147483647 1057266 382 | 35.212 % |
8974.75/8978.98 c | 1200237 | 89709 529185 1565470 | 2147483647 1057531 382 | 35.212 % |
8979.85/8984.03 c | 1200520 | 89709 529185 1565470 | 2147483647 1057814 382 | 35.212 % |
8985.06/8989.27 c | 1200831 | 89709 529185 1565470 | 2147483647 1058125 382 | 35.212 % |
8988.56/8992.73 c | 1201170 | 89709 529185 1565470 | 2147483647 1058464 382 | 35.212 % |
8990.45/8994.69 c | 1201544 | 89709 529185 1565470 | 2147483647 1058838 382 | 35.212 % |
8993.15/8997.36 c | 1201958 | 89709 529185 1565470 | 2147483647 1059252 382 | 35.212 % |
8999.04/9003.28 c | 1202407 | 89709 529185 1565470 | 2147483647 1059701 382 | 35.212 % |
9004.34/9008.50 c | 1202900 | 89709 529185 1565470 | 2147483647 1060194 382 | 35.212 % |
9011.54/9015.74 c | 1203444 | 89709 529185 1565470 | 2147483647 1060738 382 | 35.212 % |
9016.44/9020.64 c | 1204041 | 89709 529185 1565470 | 2147483647 1061335 382 | 35.212 % |
9028.43/9032.64 c | 1204696 | 89709 529185 1565470 | 2147483647 1061990 381 | 35.212 % |
9040.43/9044.65 c | 1205418 | 89709 529185 1565470 | 2147483647 1062712 381 | 35.212 % |
9052.62/9056.83 c | 1206210 | 89709 529185 1565470 | 2147483647 1063503 381 | 35.212 % |
9061.42/9065.64 c | 1207081 | 89709 529185 1565470 | 2147483647 1064374 381 | 35.212 % |
9078.31/9082.58 c | 1208041 | 89709 529185 1565470 | 2147483647 1065334 381 | 35.212 % |
9091.40/9095.69 c | 1209094 | 89709 529185 1565470 | 2147483647 1066387 381 | 35.212 % |
9099.80/9104.09 c | 1210252 | 89709 529185 1565470 | 2147483647 1067545 381 | 35.212 % |
9111.39/9115.68 c | 1211530 | 89709 529185 1565470 | 2147483647 1068823 381 | 35.212 % |
9139.78/9144.04 c | 1212930 | 89709 529185 1565470 | 2147483647 1070223 381 | 35.212 % |
9161.47/9165.72 c | 1214471 | 89709 529185 1565470 | 2147483647 1071764 381 | 35.212 % |
9174.27/9178.54 c | 1216167 | 89709 529185 1565470 | 2147483647 1073460 381 | 35.212 % |
9193.05/9197.32 c | 1218031 | 89709 529185 1565470 | 2147483647 1075323 381 | 35.213 % |
9210.14/9214.40 c | 1220080 | 89707 529185 1565470 | 2147483647 1077369 381 | 35.216 % |
9225.24/9229.58 c | 1222333 | 89707 529185 1565470 | 2147483647 1079621 380 | 35.217 % |
9240.63/9244.93 c | 1224813 | 89706 529185 1565470 | 2147483647 1082100 380 | 35.218 % |
9264.32/9268.64 c | 1227540 | 89706 529185 1565470 | 2147483647 1084826 380 | 35.218 % |
9300.72/9305.08 c | 1230538 | 89706 529185 1565470 | 2147483647 1087824 379 | 35.218 % |
9321.90/9326.22 c | 1233838 | 89706 529185 1565470 | 2147483647 1091123 379 | 35.224 % |
9342.99/9347.32 c | 1237463 | 89706 529185 1565470 | 2147483647 1094748 378 | 35.224 % |
9376.17/9380.56 c | 1241450 | 89705 529185 1565470 | 2147483647 1098734 378 | 35.225 % |
9420.06/9424.41 c | 1245836 | 89705 529185 1565470 | 2147483647 1103119 377 | 35.225 % |
9498.93/9503.35 c | 1250660 | 89705 529185 1565470 | 2147483647 1107943 377 | 35.225 % |
9548.40/9552.83 c | 1255965 | 89705 529185 1565470 | 2147483647 1113248 378 | 35.225 % |
9592.69/9597.16 c | 1261800 | 89705 529185 1565470 | 2147483647 1119082 377 | 35.226 % |
9662.26/9666.71 c | 1268219 | 89588 528275 1563058 | 2147483647 1124907 378 | 35.226 % |
9721.23/9725.72 c | 1275279 | 89588 528275 1563058 | 2147483647 1131967 379 | 35.226 % |
9811.09/9815.69 c | 1283046 | 89588 528275 1563058 | 2147483647 1139734 380 | 35.226 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837486-1242873789/watcher-1837486-1242873789 -o /tmp/evaluation-result-1837486-1242873789/solver-1837486-1242873789 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837486-1242873789.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.92 0.98 0.93 3/65 21164
/proc/meminfo: memFree=1162848/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 315412276 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 268213911634 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/21164/statm: 1339 235 195 169 0 50 0
[pid=21165] ppid=21164 vsize=5356 CPUtime=0
/proc/21165/stat : 21165 (SatELiteGTI) S 21164 21164 21127 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 315412276 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/21165/statm: 1339 238 198 169 0 50 0
[pid=21167] ppid=21165 vsize=5356 CPUtime=0
/proc/21167/stat : 21167 (SatELiteGTI) R 21165 21164 21127 0 -1 4194368 19 0 0 0 0 0 0 0 18 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213742887 0 0 4096 0 0 0 0 17 1 0 0
/proc/21167/statm: 1339 239 199 169 0 50 0
[startup+0.104725 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 21164
/proc/meminfo: memFree=1162848/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.202736 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 21164
/proc/meminfo: memFree=1162848/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302748 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 21164
/proc/meminfo: memFree=1162848/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702792 s]
/proc/loadavg: 0.92 0.98 0.93 3/65 21164
/proc/meminfo: memFree=1162848/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50188 s]
/proc/loadavg: 0.93 0.98 0.93 2/67 21169
/proc/meminfo: memFree=1067152/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
[pid=21169] ppid=21164 vsize=125924 CPUtime=1.48
/proc/21169/stat : 21169 (SatELite_releas) R 21164 21164 21127 0 -1 4194304 29805 0 0 0 132 16 0 0 25 0 1 0 315412276 128946176 29623 1992294400 134512640 135223648 4294956128 18446744073709551615 134548979 0 0 4096 3 0 0 0 17 1 0 0
/proc/21169/statm: 31481 29623 70 173 0 31306 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 131280
[startup+3.10105 s]
/proc/loadavg: 0.93 0.98 0.93 2/67 21169
/proc/meminfo: memFree=1034256/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
[pid=21169] ppid=21164 vsize=147944 CPUtime=3.08
/proc/21169/stat : 21169 (SatELite_releas) R 21164 21164 21127 0 -1 4194304 38485 0 0 0 286 22 0 0 25 0 1 0 315412276 151494656 35010 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 0 0 0
/proc/21169/statm: 36986 35010 76 173 0 36811 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 153300
[startup+6.30142 s]
/proc/loadavg: 0.93 0.98 0.93 2/67 21169
/proc/meminfo: memFree=1004304/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=0
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 315412276 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 237 197 169 0 50 0
[pid=21169] ppid=21164 vsize=151100 CPUtime=6.27
/proc/21169/stat : 21169 (SatELite_releas) R 21164 21164 21127 0 -1 4194304 42571 0 0 0 602 25 0 0 25 0 1 0 315412276 154726400 35827 1992294400 134512640 135223648 4294956128 18446744073709551615 134596089 0 0 4096 3 0 0 0 17 0 0 0
/proc/21169/statm: 37775 35827 76 173 0 37600 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 156456
[startup+12.7011 s]
/proc/loadavg: 0.94 0.98 0.93 2/67 21170
/proc/meminfo: memFree=1084120/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=53500 CPUtime=2.58
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 12548 0 0 0 250 8 0 0 25 0 1 0 315413286 54784000 12484 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 13375 12484 77 171 0 13202 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 58856
[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.93 2/67 21172
/proc/meminfo: memFree=1082072/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=55748 CPUtime=15.38
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 13107 0 0 0 1529 9 0 0 25 0 1 0 315413286 57085952 13043 1992294400 134512640 135215339 4294956240 18446744073709551615 134529148 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 13937 13043 77 171 0 13764 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 61104
[startup+51.1025 s]
/proc/loadavg: 0.97 0.98 0.93 2/67 21172
/proc/meminfo: memFree=1077208/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=60840 CPUtime=40.93
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 14401 0 0 0 4083 10 0 0 25 0 1 0 315413286 62300160 14337 1992294400 134512640 135215339 4294956240 18446744073709551615 134529116 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 15210 14337 77 171 0 15037 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 66196
[startup+102.302 s]
/proc/loadavg: 0.98 0.98 0.93 2/67 21172
/proc/meminfo: memFree=1062680/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=75276 CPUtime=92.09
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 17998 0 0 0 9195 14 0 0 25 0 1 0 315413286 77082624 17934 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 18819 17934 77 171 0 18646 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 80632
[startup+162.301 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21172
/proc/meminfo: memFree=1041752/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=96352 CPUtime=152.05
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 23249 0 0 0 15185 20 0 0 25 0 1 0 315413286 98664448 23185 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 24088 23185 77 171 0 23915 0
Current children cumulated CPU time (s) 162.12
Current children cumulated vsize (KiB) 101708
[startup+222.307 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21172
/proc/meminfo: memFree=1019992/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=117920 CPUtime=212.03
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 28643 0 0 0 21178 25 0 0 25 0 1 0 315413286 120750080 28579 1992294400 134512640 135215339 4294956240 18446744073709551615 134532687 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 29480 28579 77 171 0 29307 0
Current children cumulated CPU time (s) 222.1
Current children cumulated vsize (KiB) 123276
[startup+282.303 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21172
/proc/meminfo: memFree=997080/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=140992 CPUtime=271.99
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 34412 0 0 0 27168 31 0 0 25 0 1 0 315413286 144375808 34348 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 35248 34348 77 171 0 35075 0
Current children cumulated CPU time (s) 282.06
Current children cumulated vsize (KiB) 146348
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21172
/proc/meminfo: memFree=974360/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=163488 CPUtime=331.97
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 40037 0 0 0 33160 37 0 0 25 0 1 0 315413286 167411712 39973 1992294400 134512640 135215339 4294956240 18446744073709551615 134542512 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 40872 39973 77 171 0 40699 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 168844
[startup+402.302 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21172
/proc/meminfo: memFree=952728/2055920 swapFree=4177460/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=185188 CPUtime=391.94
################
# More data... #
################
/proc/21170/statm: 433618 431502 77 171 0 433445 0
Current children cumulated CPU time (s) 9218.05
Current children cumulated vsize (KiB) 1739828
[startup+9282.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15064/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1741088 CPUtime=9267.95
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 433211 0 0 0 926353 442 0 0 25 0 1 0 315413286 1782874112 433147 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 435272 433147 77 171 0 435099 0
Current children cumulated CPU time (s) 9278.02
Current children cumulated vsize (KiB) 1746444
[startup+9342.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15896/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1748148 CPUtime=9327.93
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 434978 0 0 0 932349 444 0 0 25 0 1 0 315413286 1790103552 434914 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 437037 434914 77 171 0 436864 0
Current children cumulated CPU time (s) 9338
Current children cumulated vsize (KiB) 1753504
[startup+9402.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15960/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1756216 CPUtime=9387.9
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 436995 0 0 0 938344 446 0 0 25 0 1 0 315413286 1798365184 436931 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 439054 436931 77 171 0 438881 0
Current children cumulated CPU time (s) 9397.97
Current children cumulated vsize (KiB) 1761572
[startup+9462.31 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15000/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1760396 CPUtime=9447.88
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 438047 0 0 0 944341 447 0 0 25 0 1 0 315413286 1802645504 437983 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 440099 437983 77 171 0 439926 0
Current children cumulated CPU time (s) 9457.95
Current children cumulated vsize (KiB) 1765752
[startup+9522.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=14872/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1767048 CPUtime=9507.85
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 439724 0 0 0 950337 448 0 0 25 0 1 0 315413286 1809457152 439660 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 441762 439660 77 171 0 441589 0
Current children cumulated CPU time (s) 9517.92
Current children cumulated vsize (KiB) 1772404
[startup+9582.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15704/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1780468 CPUtime=9567.83
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 443035 0 0 0 956331 452 0 0 25 0 1 0 315413286 1823199232 442971 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 445117 442971 77 171 0 444944 0
Current children cumulated CPU time (s) 9577.9
Current children cumulated vsize (KiB) 1785824
[startup+9642.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15000/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1790964 CPUtime=9627.79
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 445672 0 0 0 962325 454 0 0 25 0 1 0 315413286 1833947136 445608 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 447741 445608 77 171 0 447568 0
Current children cumulated CPU time (s) 9637.86
Current children cumulated vsize (KiB) 1796320
[startup+9702.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15384/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1801700 CPUtime=9687.77
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 448356 0 0 0 968321 456 0 0 25 0 1 0 315413286 1844940800 448292 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 450425 448292 77 171 0 450252 0
Current children cumulated CPU time (s) 9697.84
Current children cumulated vsize (KiB) 1807056
[startup+9762.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15896/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1816904 CPUtime=9747.75
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 452170 0 0 0 974314 461 0 0 25 0 1 0 315413286 1860509696 452106 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 454226 452106 77 171 0 454053 0
Current children cumulated CPU time (s) 9757.82
Current children cumulated vsize (KiB) 1822260
[startup+9822.3 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15320/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1828412 CPUtime=9807.73
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 455054 0 0 0 980308 465 0 0 25 0 1 0 315413286 1872293888 454990 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 457103 454990 77 171 0 456930 0
Current children cumulated CPU time (s) 9817.8
Current children cumulated vsize (KiB) 1833768
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+9870.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15384/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1837876 CPUtime=9856.01
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 457411 0 0 0 985134 467 0 0 25 0 1 0 315413286 1881985024 457347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 459469 457347 77 171 0 459296 0
Current children cumulated CPU time (s) 9866.08
Current children cumulated vsize (KiB) 1843232
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+9870.6 s]
/proc/loadavg: 0.99 0.98 0.93 2/67 21194
/proc/meminfo: memFree=15384/2055920 swapFree=4178812/4192956
[pid=21164] ppid=21162 vsize=5356 CPUtime=10.07
/proc/21164/stat : 21164 (SatELiteGTI) S 21162 21164 21127 0 -1 4194304 336 48169 0 0 0 0 969 38 16 0 1 0 315412276 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 268213740356 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/21164/statm: 1339 239 197 169 0 50 0
[pid=21170] ppid=21164 vsize=1837876 CPUtime=9856.01
/proc/21170/stat : 21170 (minisat_static) R 21164 21164 21127 0 -1 4194304 457411 0 0 0 985134 467 0 0 25 0 1 0 315413286 1881985024 457347 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/21170/statm: 459469 457347 77 171 0 459296 0
Current children cumulated CPU time (s) 9866.08
Current children cumulated vsize (KiB) 1843232
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 21164 and gives
# childrusage.ru_utime.tv_sec=9
# childrusage.ru_utime.tv_usec=696525
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=387941
# CPU time returned by wait4() is 10.0845
# while last known CPU time is 9866.08
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 9870.61
CPU time (s): 9866.08
CPU user time (s): 9861.03
CPU system time (s): 5.05
CPU usage (%): 99.9541
Max. virtual memory (cumulated for all children) (KiB): 1843232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.69652
system time used= 0.387941
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48505
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= 14
involuntary context switches= 63
runsolver used 9.1806 second user time and 26.8789 second system time
The end
Begin job on node32 at 2009-05-21 04:43:11
IDJOB=1837486
IDBENCH=71037
IDSOLVER=674
FILE ID=node32/1837486-1242873789
PBS_JOBID= 9328611
Free space on /tmp= 65888 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837486-1242873789/watcher-1837486-1242873789 -o /tmp/evaluation-result-1837486-1242873789/solver-1837486-1242873789 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837486-1242873789.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67
RANDOM SEED=2129194118
node32.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.216
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.216
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: 1163328 kB
Buffers: 49652 kB
Cached: 760316 kB
SwapCached: 8548 kB
Active: 295736 kB
Inactive: 524152 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1163328 kB
SwapTotal: 4192956 kB
SwapFree: 4177460 kB
Dirty: 27944 kB
Writeback: 0 kB
Mapped: 14140 kB
Slab: 58416 kB
Committed_AS: 1150568 kB
PageTables: 1492 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 65860 MiB
End job on node32 at 2009-05-21 07:27:44