0.00/0.00 c Parsing...
1.23/1.31 c ==============================================================================
1.23/1.31 c | | ORIGINAL | LEARNT | |
1.23/1.31 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.23/1.31 c ==============================================================================
1.23/1.31 c | 0 | 1598300 4617402 | 479489 0 0 nan | 0.000 % |
15.52/15.54 c | 0 | 1545697 4776410 | -- 0 -- -- | -- | -52460/161443
15.52/15.55 c ==============================================================================
15.52/15.55 c Result : #vars: 83095 #clauses: 1545697 #literals: 4776410
15.52/15.55 c CPU time: 15.29 s
15.52/15.55 c ==============================================================================
17.08/17.17 c This is MiniSat 2.0 beta
17.08/17.17 c WARNING: for repeatability, setting FPU to use double precision
17.08/17.17 c ============================[ Problem Statistics ]=============================
17.08/17.17 c | |
17.08/17.17 c | Number of variables: 83095 |
17.08/17.17 c | Number of clauses: 1545697 |
18.08/18.16 c | Parsing time: 0.84 s |
18.18/18.24 c ============================[ Search Statistics ]==============================
18.18/18.24 c | Conflicts | ORIGINAL | LEARNT | Progress |
18.18/18.24 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.18/18.24 c ===============================================================================
18.18/18.24 c | 0 | 83095 1545697 4776410 | 515232 0 nan | 0.000 % |
18.38/18.41 c | 101 | 83095 1545697 4776410 | 515232 101 56 | 0.000 % |
18.48/18.56 c | 204 | 83095 1545697 4776410 | 515232 204 55 | 0.000 % |
18.68/18.78 c | 304 | 83095 1545697 4776410 | 515232 304 47 | 0.000 % |
18.88/19.00 c | 414 | 83095 1545697 4776410 | 515232 414 46 | 0.000 % |
19.08/19.14 c | 514 | 83095 1545697 4776410 | 515232 514 47 | 0.000 % |
19.28/19.37 c | 624 | 83095 1545697 4776410 | 515232 624 42 | 0.000 % |
19.38/19.46 c | 745 | 83095 1545697 4776410 | 515232 745 40 | 0.000 % |
19.58/19.68 c | 845 | 83095 1545697 4776410 | 515232 845 39 | 0.000 % |
19.78/19.85 c | 955 | 83095 1545697 4776410 | 515232 955 40 | 0.000 % |
19.88/19.93 c | 1076 | 83095 1545697 4776410 | 515232 1076 42 | 0.000 % |
20.08/20.18 c | 1211 | 83095 1545697 4776410 | 515232 1211 41 | 0.000 % |
20.18/20.27 c | 1311 | 83095 1545697 4776410 | 515232 1311 40 | 0.000 % |
20.28/20.33 c | 1421 | 83095 1545697 4776410 | 515232 1421 39 | 0.000 % |
20.48/20.52 c | 1543 | 83095 1545697 4776410 | 515232 1543 39 | 0.000 % |
20.78/20.83 c | 1677 | 83095 1545697 4776410 | 515232 1677 38 | 0.000 % |
20.88/20.98 c | 1824 | 83095 1545697 4776410 | 515232 1824 38 | 0.000 % |
20.98/21.05 c | 1924 | 83095 1545697 4776410 | 515232 1924 38 | 0.000 % |
21.08/21.12 c | 2035 | 83095 1545697 4776410 | 515232 2035 38 | 0.000 % |
21.18/21.29 c | 2156 | 83095 1545697 4776410 | 515232 2156 38 | 0.000 % |
21.28/21.39 c | 2290 | 83095 1545697 4776410 | 515232 2290 38 | 0.000 % |
21.48/21.53 c | 2437 | 83095 1545697 4776410 | 515232 2437 38 | 0.000 % |
21.68/21.73 c | 2597 | 83095 1545697 4776410 | 515232 2597 38 | 0.000 % |
21.78/21.85 c | 2698 | 83095 1545697 4776410 | 515232 2698 38 | 0.000 % |
21.88/22.00 c | 2808 | 83095 1545697 4776410 | 515232 2808 39 | 0.000 % |
21.98/22.08 c | 2929 | 83095 1545697 4776410 | 515232 2929 39 | 0.000 % |
22.08/22.18 c | 3066 | 83095 1545697 4776410 | 515232 3066 40 | 0.000 % |
22.58/22.66 c | 3213 | 83095 1545697 4776410 | 515232 3213 40 | 0.000 % |
22.88/22.99 c | 3373 | 83094 1545688 4776392 | 515232 3372 40 | 0.001 % |
22.98/23.08 c | 3550 | 83094 1545688 4776392 | 515232 3549 40 | 0.001 % |
23.08/23.19 c | 3651 | 83094 1545688 4776392 | 515232 3650 40 | 0.001 % |
23.28/23.40 c | 3761 | 83094 1545688 4776392 | 515232 3760 40 | 0.001 % |
23.48/23.52 c | 3882 | 83094 1545688 4776392 | 515232 3881 40 | 0.001 % |
23.48/23.60 c | 4017 | 83094 1545688 4776392 | 515232 4016 40 | 0.001 % |
23.68/23.75 c | 4163 | 83094 1545688 4776392 | 515232 4162 40 | 0.001 % |
23.88/23.96 c | 4324 | 83094 1545688 4776392 | 515232 4323 40 | 0.001 % |
23.98/24.04 c | 4502 | 83094 1545688 4776392 | 515232 4501 40 | 0.001 % |
24.08/24.18 c | 4698 | 83094 1545688 4776392 | 515232 4697 40 | 0.001 % |
24.18/24.27 c | 4799 | 83094 1545688 4776392 | 515232 4798 39 | 0.001 % |
24.48/24.58 c | 4909 | 83094 1545688 4776392 | 515232 4908 39 | 0.001 % |
24.58/24.69 c | 5031 | 83094 1545688 4776392 | 515232 5030 40 | 0.001 % |
24.78/24.86 c | 5167 | 83094 1545688 4776392 | 515232 5166 39 | 0.001 % |
24.88/25.00 c | 5314 | 83094 1545688 4776392 | 515232 5313 40 | 0.001 % |
24.98/25.10 c | 5474 | 83094 1545688 4776392 | 515232 5473 39 | 0.001 % |
25.28/25.32 c | 5653 | 83094 1545688 4776392 | 515232 5652 40 | 0.001 % |
25.48/25.54 c | 5848 | 83094 1545688 4776392 | 515232 5847 40 | 0.001 % |
25.68/25.75 c | 6060 | 83094 1545688 4776392 | 515232 6059 40 | 0.001 % |
25.88/25.96 c | 6160 | 83094 1545688 4776392 | 515232 6159 40 | 0.001 % |
25.98/26.05 c | 6271 | 83094 1545688 4776392 | 515232 6270 40 | 0.001 % |
26.28/26.32 c | 6394 | 83094 1545688 4776392 | 515232 6393 40 | 0.001 % |
26.38/26.47 c | 6527 | 83094 1545688 4776392 | 515232 6526 40 | 0.001 % |
26.68/26.73 c | 6673 | 83094 1545688 4776392 | 515232 6672 40 | 0.001 % |
26.78/26.87 c | 6833 | 83094 1545688 4776392 | 515232 6832 40 | 0.001 % |
26.88/26.98 c | 7009 | 83094 1545688 4776392 | 515232 7008 41 | 0.001 % |
27.28/27.32 c | 7202 | 83094 1545688 4776392 | 515232 7201 40 | 0.001 % |
27.38/27.44 c | 7414 | 83094 1545688 4776392 | 515232 7413 40 | 0.001 % |
27.48/27.56 c | 7650 | 83094 1545688 4776392 | 515232 7649 40 | 0.001 % |
27.68/27.75 c | 7751 | 83094 1545688 4776392 | 515232 7750 40 | 0.001 % |
27.88/27.93 c | 7862 | 83094 1545688 4776392 | 515232 7861 40 | 0.001 % |
27.98/28.10 c | 7984 | 83094 1545688 4776392 | 515232 7983 40 | 0.001 % |
28.08/28.18 c | 8118 | 83094 1545688 4776392 | 515232 8117 40 | 0.001 % |
28.38/28.42 c | 8264 | 83094 1545688 4776392 | 515232 8263 40 | 0.001 % |
28.48/28.58 c | 8424 | 83094 1545688 4776392 | 515232 8423 40 | 0.001 % |
28.68/28.80 c | 8600 | 83094 1545688 4776392 | 515232 8599 40 | 0.001 % |
28.98/29.04 c | 8794 | 83094 1545688 4776392 | 515232 8793 40 | 0.001 % |
29.18/29.23 c | 9007 | 83094 1545688 4776392 | 515232 9006 40 | 0.001 % |
29.28/29.33 c | 9240 | 83094 1545688 4776392 | 515232 9239 40 | 0.001 % |
29.48/29.54 c | 9497 | 83094 1545688 4776392 | 515232 9496 40 | 0.001 % |
29.58/29.62 c | 9597 | 83094 1545688 4776392 | 515232 9596 40 | 0.001 % |
29.68/29.77 c | 9707 | 83094 1545688 4776392 | 515232 9706 40 | 0.001 % |
29.88/29.95 c | 9829 | 83094 1545688 4776392 | 515232 9828 40 | 0.001 % |
29.98/30.08 c | 9964 | 83094 1545688 4776392 | 515232 9963 39 | 0.001 % |
30.18/30.25 c | 10111 | 83094 1545688 4776392 | 2147483647 10110 39 | 0.001 % |
30.28/30.39 c | 10271 | 83094 1545688 4776392 | 2147483647 10270 39 | 0.001 % |
30.48/30.52 c | 10448 | 83094 1545688 4776392 | 2147483647 10447 40 | 0.001 % |
30.58/30.63 c | 10642 | 83094 1545688 4776392 | 2147483647 10641 40 | 0.001 % |
30.68/30.81 c | 10855 | 83094 1545688 4776392 | 2147483647 10854 40 | 0.001 % |
30.88/30.93 c | 11088 | 83094 1545688 4776392 | 2147483647 11087 40 | 0.001 % |
31.18/31.25 c | 11344 | 83094 1545688 4776392 | 2147483647 11343 40 | 0.001 % |
31.58/31.70 c | 11625 | 83094 1545688 4776392 | 2147483647 11624 40 | 0.001 % |
31.98/32.01 c | 11725 | 83094 1545688 4776392 | 2147483647 11724 40 | 0.001 % |
32.08/32.11 c | 11835 | 83094 1545688 4776392 | 2147483647 11834 40 | 0.001 % |
32.18/32.25 c | 11956 | 83094 1545688 4776392 | 2147483647 11955 40 | 0.001 % |
32.28/32.40 c | 12091 | 83094 1545688 4776392 | 2147483647 12090 40 | 0.001 % |
32.38/32.48 c | 12240 | 83094 1545688 4776392 | 2147483647 12239 40 | 0.001 % |
32.68/32.76 c | 12401 | 83094 1545688 4776392 | 2147483647 12400 40 | 0.001 % |
32.88/32.93 c | 12577 | 83094 1545688 4776392 | 2147483647 12576 40 | 0.001 % |
32.98/33.07 c | 12771 | 83094 1545688 4776392 | 2147483647 12770 40 | 0.001 % |
33.08/33.17 c | 12985 | 83094 1545688 4776392 | 2147483647 12984 40 | 0.001 % |
33.28/33.41 c | 13218 | 83094 1545688 4776392 | 2147483647 13217 40 | 0.001 % |
33.48/33.54 c | 13474 | 83094 1545688 4776392 | 2147483647 13473 40 | 0.001 % |
33.68/33.73 c | 13755 | 83094 1545688 4776392 | 2147483647 13754 40 | 0.001 % |
33.88/33.91 c | 14064 | 83094 1545688 4776392 | 2147483647 14063 40 | 0.001 % |
33.98/34.03 c | 14166 | 83094 1545688 4776392 | 2147483647 14165 40 | 0.001 % |
34.08/34.13 c | 14277 | 83094 1545688 4776392 | 2147483647 14276 40 | 0.001 % |
34.18/34.22 c | 14398 | 83094 1545688 4776392 | 2147483647 14397 40 | 0.001 % |
34.28/34.36 c | 14531 | 83094 1545688 4776392 | 2147483647 14530 40 | 0.001 % |
34.38/34.49 c | 14677 | 83094 1545688 4776392 | 2147483647 14676 40 | 0.001 % |
34.58/34.63 c | 14837 | 83094 1545688 4776392 | 2147483647 14836 40 | 0.002 % |
34.58/34.70 c | 15013 | 83094 1545688 4776392 | 2147483647 15012 40 | 0.001 % |
34.78/34.87 c | 15206 | 83094 1545688 4776392 | 2147483647 15205 40 | 0.002 % |
34.98/35.01 c | 15420 | 83094 1545688 4776392 | 2147483647 15419 40 | 0.001 % |
35.08/35.14 c | 15654 | 83094 1545688 4776392 | 2147483647 15653 40 | 0.001 % |
35.18/35.25 c | 15910 | 83094 1545688 4776392 | 2147483647 15909 40 | 0.001 % |
35.28/35.41 c | 16192 | 83094 1545688 4776392 | 2147483647 16191 40 | 0.001 % |
35.48/35.54 c | 16503 | 83094 1545688 4776392 | 2147483647 16502 40 | 0.001 % |
35.68/35.72 c | 16843 | 83094 1545688 4776392 | 2147483647 16842 40 | 0.001 % |
35.78/35.86 c | 16943 | 83094 1545688 4776392 | 2147483647 16942 40 | 0.001 % |
35.88/35.96 c | 17053 | 83094 1545688 4776392 | 2147483647 17052 40 | 0.001 % |
35.98/36.08 c | 17178 | 83094 1545688 4776392 | 2147483647 17177 40 | 0.001 % |
36.08/36.19 c | 17312 | 83094 1545688 4776392 | 2147483647 17311 40 | 0.001 % |
36.18/36.28 c | 17458 | 83094 1545688 4776392 | 2147483647 17457 40 | 0.001 % |
36.28/36.38 c | 17618 | 83094 1545688 4776392 | 2147483647 17617 40 | 0.001 % |
36.38/36.47 c | 17795 | 83094 1545688 4776392 | 2147483647 17794 40 | 0.001 % |
36.48/36.61 c | 17988 | 83094 1545688 4776392 | 2147483647 17987 40 | 0.001 % |
36.68/36.74 c | 18200 | 83094 1545688 4776392 | 2147483647 18199 40 | 0.001 % |
36.78/36.86 c | 18433 | 83094 1545688 4776392 | 2147483647 18432 40 | 0.001 % |
36.98/37.03 c | 18691 | 83094 1545688 4776392 | 2147483647 18690 40 | 0.001 % |
37.18/37.24 c | 18973 | 83094 1545688 4776392 | 2147483647 18972 40 | 0.001 % |
37.38/37.41 c | 19282 | 83094 1545688 4776392 | 2147483647 19281 40 | 0.001 % |
37.48/37.61 c | 19624 | 83094 1545688 4776392 | 2147483647 19623 40 | 0.001 % |
37.78/37.85 c | 19996 | 83094 1545688 4776392 | 2147483647 19995 39 | 0.001 % |
37.88/37.96 c | 20096 | 83094 1545688 4776392 | 2147483647 20095 39 | 0.001 % |
37.98/38.08 c | 20207 | 83094 1545688 4776392 | 2147483647 20206 39 | 0.001 % |
38.08/38.17 c | 20328 | 83094 1545688 4776392 | 2147483647 20327 39 | 0.001 % |
38.18/38.28 c | 20464 | 83094 1545688 4776392 | 2147483647 20463 39 | 0.001 % |
38.38/38.43 c | 20612 | 83094 1545688 4776392 | 2147483647 20611 39 | 0.001 % |
38.48/38.53 c | 20772 | 83094 1545688 4776392 | 2147483647 20771 39 | 0.001 % |
38.58/38.67 c | 20948 | 83094 1545688 4776392 | 2147483647 20947 39 | 0.001 % |
38.78/38.85 c | 21141 | 83094 1545688 4776392 | 2147483647 21140 39 | 0.001 % |
38.88/38.98 c | 21354 | 83094 1545688 4776392 | 2147483647 21353 39 | 0.001 % |
39.08/39.14 c | 21587 | 83094 1545688 4776392 | 2147483647 21586 38 | 0.001 % |
39.28/39.34 c | 21843 | 83094 1545688 4776392 | 2147483647 21842 39 | 0.001 % |
39.48/39.54 c | 22124 | 83094 1545688 4776392 | 2147483647 22123 39 | 0.001 % |
39.58/39.67 c | 22433 | 83094 1545688 4776392 | 2147483647 22432 38 | 0.001 % |
39.78/39.85 c | 22773 | 83094 1545688 4776392 | 2147483647 22772 38 | 0.001 % |
39.88/39.99 c | 23146 | 83094 1545688 4776392 | 2147483647 23145 38 | 0.001 % |
40.08/40.17 c | 23556 | 83094 1545688 4776392 | 2147483647 23555 38 | 0.001 % |
40.18/40.25 c | 23656 | 83094 1545688 4776392 | 2147483647 23655 38 | 0.001 % |
40.28/40.33 c | 23766 | 83094 1545688 4776392 | 2147483647 23765 38 | 0.001 % |
40.38/40.42 c | 23888 | 83094 1545688 4776392 | 2147483647 23887 38 | 0.001 % |
40.38/40.49 c | 24021 | 83094 1545688 4776392 | 2147483647 24020 38 | 0.001 % |
40.48/40.58 c | 24168 | 83094 1545688 4776392 | 2147483647 24167 38 | 0.001 % |
40.68/40.71 c | 24328 | 83094 1545688 4776392 | 2147483647 24327 37 | 0.001 % |
40.78/40.84 c | 24504 | 83094 1545688 4776392 | 2147483647 24503 37 | 0.001 % |
40.88/40.96 c | 24697 | 83094 1545688 4776392 | 2147483647 24696 38 | 0.001 % |
41.08/41.12 c | 24910 | 83094 1545688 4776392 | 2147483647 24909 38 | 0.001 % |
41.18/41.22 c | 25145 | 83094 1545688 4776392 | 2147483647 25144 37 | 0.001 % |
41.28/41.39 c | 25402 | 83094 1545688 4776392 | 2147483647 25401 37 | 0.001 % |
41.48/41.54 c | 25683 | 83094 1545688 4776392 | 2147483647 25682 37 | 0.001 % |
41.58/41.67 c | 25992 | 83094 1545688 4776392 | 2147483647 25991 37 | 0.001 % |
41.68/41.80 c | 26331 | 83094 1545688 4776392 | 2147483647 26330 37 | 0.001 % |
41.88/42.01 c | 26704 | 83094 1545688 4776392 | 2147483647 26703 37 | 0.001 % |
42.08/42.19 c | 27113 | 83094 1545688 4776392 | 2147483647 27112 37 | 0.001 % |
42.28/42.41 c | 27562 | 83094 1545688 4776392 | 2147483647 27561 36 | 0.002 % |
42.38/42.49 c | 27662 | 83094 1545688 4776392 | 2147483647 27661 36 | 0.001 % |
42.48/42.58 c | 27772 | 83094 1545688 4776392 | 2147483647 27771 36 | 0.001 % |
42.58/42.67 c | 27893 | 83094 1545688 4776392 | 2147483647 27892 36 | 0.001 % |
42.68/42.74 c | 28026 | 83094 1545688 4776392 | 2147483647 28025 36 | 0.001 % |
42.78/42.82 c | 28173 | 83094 1545688 4776392 | 2147483647 28172 36 | 0.001 % |
42.88/42.95 c | 28333 | 83094 1545688 4776392 | 2147483647 28332 36 | 0.001 % |
42.98/43.07 c | 28509 | 83094 1545688 4776392 | 2147483647 28508 36 | 0.001 % |
43.08/43.16 c | 28703 | 83094 1545688 4776392 | 2147483647 28702 36 | 0.001 % |
43.18/43.28 c | 28915 | 83094 1545688 4776392 | 2147483647 28914 36 | 0.001 % |
43.28/43.40 c | 29148 | 83094 1545688 4776392 | 2147483647 29147 36 | 0.001 % |
43.48/43.55 c | 29404 | 83094 1545688 4776392 | 2147483647 29403 36 | 0.001 % |
43.68/43.74 c | 29686 | 83094 1545688 4776392 | 2147483647 29685 36 | 0.001 % |
43.78/43.90 c | 29996 | 83094 1545688 4776392 | 2147483647 29995 36 | 0.001 % |
43.98/44.04 c | 30336 | 83094 1545688 4776392 | 2147483647 30335 36 | 0.001 % |
44.08/44.19 c | 30709 | 83094 1545688 4776392 | 2147483647 30708 36 | 0.001 % |
44.28/44.36 c | 31118 | 83094 1545688 4776392 | 2147483647 31117 35 | 0.001 % |
44.48/44.57 c | 31567 | 83094 1545688 4776392 | 2147483647 31566 35 | 0.002 % |
44.68/44.77 c | 32060 | 83094 1545688 4776392 | 2147483647 32059 35 | 0.001 % |
44.78/44.86 c | 32160 | 83094 1545688 4776392 | 2147483647 32159 35 | 0.001 % |
44.88/44.93 c | 32271 | 83094 1545688 4776392 | 2147483647 32270 35 | 0.001 % |
44.98/45.02 c | 32392 | 83094 1545688 4776392 | 2147483647 32391 35 | 0.001 % |
44.98/45.07 c | 32525 | 83094 1545688 4776392 | 2147483647 32524 35 | 0.001 % |
45.08/45.17 c | 32671 | 83094 1545688 4776392 | 2147483647 32670 35 | 0.001 % |
45.18/45.25 c | 32831 | 83094 1545688 4776392 | 2147483647 32830 35 | 0.001 % |
45.28/45.33 c | 33007 | 83094 1545688 4776392 | 2147483647 33006 35 | 0.002 % |
45.38/45.43 c | 33200 | 83094 1545688 4776392 | 2147483647 33199 35 | 0.001 % |
45.48/45.53 c | 33412 | 83094 1545688 4776392 | 2147483647 33411 35 | 0.002 % |
45.58/45.68 c | 33646 | 83094 1545688 4776392 | 2147483647 33645 35 | 0.001 % |
45.68/45.81 c | 33902 | 83094 1545688 4776392 | 2147483647 33901 35 | 0.002 % |
45.88/45.95 c | 34183 | 83094 1545688 4776392 | 2147483647 34182 35 | 0.001 % |
45.98/46.09 c | 34492 | 83094 1545688 4776392 | 2147483647 34491 34 | 0.001 % |
46.18/46.23 c | 34834 | 83094 1545688 4776392 | 2147483647 34833 34 | 0.001 % |
46.28/46.40 c | 35206 | 83094 1545688 4776392 | 2147483647 35205 34 | 0.001 % |
46.48/46.61 c | 35617 | 83094 1545688 4776392 | 2147483647 35616 34 | 0.001 % |
46.78/46.83 c | 36066 | 83094 1545688 4776392 | 2147483647 36065 34 | 0.001 % |
47.38/47.44 c | 36559 | 83094 1545688 4776392 | 2147483647 36558 34 | 0.001 % |
47.98/48.02 c | 37101 | 83094 1545688 4776392 | 2147483647 37100 35 | 0.001 % |
48.08/48.13 c | 37202 | 83094 1545688 4776392 | 2147483647 37201 35 | 0.001 % |
48.18/48.23 c | 37312 | 83094 1545688 4776392 | 2147483647 37311 35 | 0.001 % |
48.28/48.32 c | 37433 | 83094 1545688 4776392 | 2147483647 37432 35 | 0.001 % |
48.28/48.39 c | 37567 | 83094 1545688 4776392 | 2147483647 37566 35 | 0.001 % |
48.38/48.46 c | 37713 | 83094 1545688 4776392 | 2147483647 37712 35 | 0.001 % |
48.48/48.56 c | 37874 | 83094 1545688 4776392 | 2147483647 37873 35 | 0.001 % |
48.68/48.75 c | 38050 | 83094 1545688 4776392 | 2147483647 38049 35 | 0.001 % |
48.88/48.99 c | 38243 | 83094 1545688 4776392 | 2147483647 38242 35 | 0.001 % |
48.98/49.10 c | 38456 | 83094 1545688 4776392 | 2147483647 38455 35 | 0.001 % |
49.28/49.37 c | 38692 | 83094 1545688 4776392 | 2147483647 38691 35 | 0.001 % |
49.38/49.49 c | 38949 | 83094 1545688 4776392 | 2147483647 38948 35 | 0.001 % |
49.78/49.87 c | 39231 | 83094 1545688 4776392 | 2147483647 39230 35 | 0.001 % |
49.98/50.05 c | 39540 | 83094 1545688 4776392 | 2147483647 39539 35 | 0.001 % |
50.48/50.59 c | 39879 | 83094 1545688 4776392 | 2147483647 39878 35 | 0.001 % |
50.78/50.83 c | 40251 | 83094 1545688 4776392 | 2147483647 40250 36 | 0.001 % |
51.08/51.14 c | 40660 | 83094 1545688 4776392 | 2147483647 40659 36 | 0.001 % |
51.38/51.44 c | 41109 | 83094 1545688 4776392 | 2147483647 41108 36 | 0.001 % |
51.68/51.75 c | 41604 | 83094 1545688 4776392 | 2147483647 41603 36 | 0.001 % |
52.28/52.35 c | 42146 | 83094 1545688 4776392 | 2147483647 42145 36 | 0.001 % |
52.98/53.10 c | 42742 | 83094 1545688 4776392 | 2147483647 42741 36 | 0.001 % |
53.28/53.34 c | 42843 | 83094 1545688 4776392 | 2147483647 42842 36 | 0.001 % |
53.48/53.53 c | 42957 | 83094 1545688 4776392 | 2147483647 42956 36 | 0.001 % |
53.58/53.68 c | 43078 | 83094 1545688 4776392 | 2147483647 43077 36 | 0.001 % |
53.88/53.97 c | 43211 | 83094 1545688 4776392 | 2147483647 43210 36 | 0.001 % |
54.38/54.44 c | 43358 | 83094 1545688 4776392 | 2147483647 43357 36 | 0.001 % |
54.58/54.65 c | 43518 | 83094 1545688 4776392 | 2147483647 43517 36 | 0.001 % |
54.68/54.79 c | 43694 | 83094 1545688 4776392 | 2147483647 43693 36 | 0.001 % |
54.98/55.08 c | 43888 | 83094 1545688 4776392 | 2147483647 43887 36 | 0.001 % |
55.18/55.24 c | 44100 | 83094 1545688 4776392 | 2147483647 44099 36 | 0.001 % |
55.48/55.58 c | 44333 | 83094 1545688 4776392 | 2147483647 44332 36 | 0.001 % |
55.68/55.78 c | 44591 | 83094 1545688 4776392 | 2147483647 44590 37 | 0.001 % |
56.08/56.12 c | 44872 | 83094 1545688 4776392 | 2147483647 44871 37 | 0.001 % |
56.58/56.64 c | 45185 | 83094 1545688 4776392 | 2147483647 45184 37 | 0.001 % |
56.78/56.82 c | 45524 | 83094 1545688 4776392 | 2147483647 45523 37 | 0.001 % |
57.48/57.56 c | 45898 | 83094 1545688 4776392 | 2147483647 45897 37 | 0.001 % |
58.08/58.11 c | 46307 | 83094 1545688 4776392 | 2147483647 46306 37 | 0.001 % |
58.28/58.38 c | 46756 | 83094 1545688 4776392 | 2147483647 46755 37 | 0.001 % |
58.98/59.01 c | 47249 | 83094 1545688 4776392 | 2147483647 47248 38 | 0.001 % |
59.18/59.27 c | 47793 | 83094 1545688 4776392 | 2147483647 47792 37 | 0.001 % |
59.88/59.98 c | 48389 | 83094 1545688 4776392 | 2147483647 48388 38 | 0.001 % |
60.18/60.24 c | 49045 | 83094 1545688 4776392 | 2147483647 49044 38 | 0.001 % |
60.38/60.42 c | 49145 | 83094 1545688 4776392 | 2147483647 49144 38 | 0.001 % |
60.48/60.58 c | 49256 | 83094 1545688 4776392 | 2147483647 49255 38 | 0.001 % |
60.58/60.64 c | 49380 | 83094 1545688 4776392 | 2147483647 49379 38 | 0.001 % |
60.78/60.82 c | 49515 | 83094 1545688 4776392 | 2147483647 49514 38 | 0.001 % |
60.98/61.04 c | 49662 | 83094 1545688 4776392 | 2147483647 49661 38 | 0.001 % |
61.08/61.21 c | 49822 | 83094 1545688 4776392 | 2147483647 49821 38 | 0.001 % |
61.28/61.34 c | 50001 | 83094 1545688 4776392 | 2147483647 50000 39 | 0.001 % |
61.48/61.57 c | 50194 | 83094 1545688 4776392 | 2147483647 50193 39 | 0.001 % |
61.78/61.82 c | 50407 | 83094 1545688 4776392 | 2147483647 50406 39 | 0.001 % |
61.98/62.07 c | 50641 | 83094 1545688 4776392 | 2147483647 50640 39 | 0.001 % |
62.18/62.28 c | 50898 | 83094 1545688 4776392 | 2147483647 50897 39 | 0.001 % |
62.48/62.51 c | 51179 | 83094 1545688 4776392 | 2147483647 51178 39 | 0.001 % |
62.78/62.83 c | 51488 | 83094 1545688 4776392 | 2147483647 51487 39 | 0.001 % |
63.38/63.46 c | 51828 | 83094 1545688 4776392 | 2147483647 51827 39 | 0.001 % |
63.68/63.81 c | 52201 | 83094 1545688 4776392 | 2147483647 52200 40 | 0.001 % |
64.08/64.21 c | 52610 | 83094 1545688 4776392 | 2147483647 52609 40 | 0.001 % |
64.58/64.64 c | 53060 | 83094 1545688 4776392 | 2147483647 53059 40 | 0.001 % |
65.68/65.74 c | 53553 | 83094 1545688 4776392 | 2147483647 53552 40 | 0.001 % |
66.38/66.41 c | 54095 | 83094 1545688 4776392 | 2147483647 54094 41 | 0.001 % |
66.98/67.09 c | 54694 | 83094 1545688 4776392 | 2147483647 54693 41 | 0.001 % |
67.38/67.50 c | 55349 | 83094 1545688 4776392 | 2147483647 55348 41 | 0.001 % |
68.19/68.30 c | 56069 | 83094 1545688 4776392 | 2147483647 56068 42 | 0.001 % |
68.38/68.43 c | 56171 | 83094 1545688 4776392 | 2147483647 56170 42 | 0.001 % |
68.48/68.58 c | 56281 | 83094 1545688 4776392 | 2147483647 56280 42 | 0.001 % |
68.68/68.76 c | 56402 | 83094 1545688 4776392 | 2147483647 56401 42 | 0.001 % |
68.98/69.03 c | 56536 | 83094 1545688 4776392 | 2147483647 56535 42 | 0.001 % |
69.08/69.19 c | 56683 | 83094 1545688 4776392 | 2147483647 56682 42 | 0.001 % |
69.29/69.32 c | 56847 | 83094 1545688 4776392 | 2147483647 56846 42 | 0.001 % |
69.29/69.41 c | 57026 | 83094 1545688 4776392 | 2147483647 57025 42 | 0.001 % |
69.58/69.63 c | 57220 | 83094 1545688 4776392 | 2147483647 57219 42 | 0.001 % |
69.78/69.85 c | 57432 | 83094 1545688 4776392 | 2147483647 57431 42 | 0.001 % |
69.88/69.99 c | 57665 | 83094 1545688 4776392 | 2147483647 57664 42 | 0.001 % |
70.28/70.34 c | 57921 | 83094 1545688 4776392 | 2147483647 57920 42 | 0.001 % |
70.58/70.67 c | 58204 | 83094 1545688 4776392 | 2147483647 58203 42 | 0.001 % |
70.78/70.88 c | 58513 | 83094 1545688 4776392 | 2147483647 58512 42 | 0.001 % |
71.18/71.26 c | 58854 | 83094 1545688 4776392 | 2147483647 58853 42 | 0.001 % |
71.28/71.39 c | 59227 | 83094 1545688 4776392 | 2147483647 59226 42 | 0.001 % |
71.58/71.67 c | 59636 | 83094 1545688 4776392 | 2147483647 59635 42 | 0.001 % |
71.88/71.98 c | 60085 | 83094 1545688 4776392 | 2147483647 60084 42 | 0.001 % |
72.28/72.31 c | 60579 | 83094 1545688 4776392 | 2147483647 60578 43 | 0.001 % |
72.68/72.78 c | 61121 | 83094 1545688 4776392 | 2147483647 61120 43 | 0.001 % |
72.88/72.96 c | 61718 | 83094 1545688 4776392 | 2147483647 61717 43 | 0.001 % |
73.78/73.82 c | 62373 | 83094 1545688 4776392 | 2147483647 62372 43 | 0.001 % |
74.38/74.45 c | 63095 | 83094 1545688 4776392 | 2147483647 63094 43 | 0.001 % |
74.88/74.99 c | 63888 | 83094 1545688 4776392 | 2147483647 63887 44 | 0.001 % |
75.18/75.23 c | 63991 | 83094 1545688 4776392 | 2147483647 63990 44 | 0.001 % |
75.38/75.50 c | 64103 | 83094 1545688 4776392 | 2147483647 64102 44 | 0.001 % |
75.58/75.65 c | 64226 | 83094 1545688 4776392 | 2147483647 64225 44 | 0.001 % |
75.89/75.92 c | 64359 | 83094 1545688 4776392 | 2147483647 64358 44 | 0.001 % |
75.98/76.08 c | 64505 | 83094 1545688 4776392 | 2147483647 64504 44 | 0.001 % |
76.18/76.27 c | 64665 | 83094 1545688 4776392 | 2147483647 64664 44 | 0.001 % |
76.28/76.35 c | 64841 | 83094 1545688 4776392 | 2147483647 64840 44 | 0.001 % |
76.58/76.68 c | 65034 | 83094 1545688 4776392 | 2147483647 65033 44 | 0.001 % |
77.08/77.13 c | 65247 | 83094 1545688 4776392 | 2147483647 65246 44 | 0.001 % |
77.18/77.28 c | 65483 | 83094 1545688 4776392 | 2147483647 65482 44 | 0.001 % |
77.48/77.59 c | 65740 | 83094 1545688 4776392 | 2147483647 65739 44 | 0.001 % |
78.09/78.12 c | 66021 | 83094 1545688 4776392 | 2147483647 66020 44 | 0.001 % |
78.48/78.60 c | 66330 | 83094 1545688 4776392 | 2147483647 66329 44 | 0.001 % |
78.78/78.88 c | 66671 | 83094 1545688 4776392 | 2147483647 66670 44 | 0.001 % |
79.38/79.43 c | 67044 | 83094 1545688 4776392 | 2147483647 67043 44 | 0.001 % |
79.78/79.90 c | 67453 | 83094 1545688 4776392 | 2147483647 67452 44 | 0.001 % |
80.38/80.46 c | 67903 | 83094 1545688 4776392 | 2147483647 67902 44 | 0.001 % |
80.58/80.68 c | 68397 | 83094 1545688 4776392 | 2147483647 68396 44 | 0.001 % |
81.28/81.34 c | 68939 | 83094 1545688 4776392 | 2147483647 68938 44 | 0.001 % |
81.78/81.82 c | 69539 | 83094 1545688 4776392 | 2147483647 69538 45 | 0.001 % |
82.28/82.34 c | 70195 | 83094 1545688 4776392 | 2147483647 70194 45 | 0.001 % |
83.28/83.35 c | 70916 | 83094 1545688 4776392 | 2147483647 70915 45 | 0.001 % |
83.68/83.73 c | 71708 | 83094 1545688 4776392 | 2147483647 71707 45 | 0.001 % |
84.58/84.70 c | 72581 | 83094 1545688 4776392 | 2147483647 72580 45 | 0.001 % |
84.78/84.82 c | 72685 | 83094 1545688 4776392 | 2147483647 72684 45 | 0.001 % |
84.98/85.07 c | 72795 | 83094 1545688 4776392 | 2147483647 72794 45 | 0.001 % |
85.18/85.25 c | 72916 | 83094 1545688 4776392 | 2147483647 72915 45 | 0.001 % |
85.48/85.56 c | 73049 | 83094 1545688 4776392 | 2147483647 73048 45 | 0.001 % |
85.79/85.82 c | 73195 | 83094 1545688 4776392 | 2147483647 73194 45 | 0.001 % |
85.98/86.06 c | 73355 | 83094 1545688 4776392 | 2147483647 73354 45 | 0.001 % |
86.28/86.33 c | 73531 | 83094 1545688 4776392 | 2147483647 73530 45 | 0.001 % |
86.48/86.51 c | 73726 | 83094 1545688 4776392 | 2147483647 73725 45 | 0.001 % |
86.68/86.72 c | 73939 | 83094 1545688 4776392 | 2147483647 73938 45 | 0.001 % |
86.78/86.90 c | 74174 | 83094 1545688 4776392 | 2147483647 74173 45 | 0.001 % |
86.98/87.10 c | 74432 | 83094 1545688 4776392 | 2147483647 74431 45 | 0.001 % |
87.48/87.56 c | 74713 | 83094 1545688 4776392 | 2147483647 74712 45 | 0.001 % |
87.68/87.79 c | 75024 | 83094 1545688 4776392 | 2147483647 75023 45 | 0.001 % |
88.18/88.26 c | 75366 | 83094 1545688 4776392 | 2147483647 75365 45 | 0.001 % |
88.38/88.46 c | 75738 | 83094 1545688 4776392 | 2147483647 75737 45 | 0.001 % |
88.68/88.71 c | 76148 | 83094 1545688 4776392 | 2147483647 76147 46 | 0.001 % |
88.88/88.95 c | 76598 | 83094 1545688 4776392 | 2147483647 76597 45 | 0.001 % |
89.68/89.77 c | 77091 | 83094 1545688 4776392 | 2147483647 77090 46 | 0.001 % |
90.28/90.40 c | 77633 | 83094 1545688 4776392 | 2147483647 77632 46 | 0.001 % |
90.88/90.96 c | 78229 | 83094 1545688 4776392 | 2147483647 78228 46 | 0.001 % |
91.48/91.57 c | 78885 | 83094 1545688 4776392 | 2147483647 78884 46 | 0.001 % |
91.88/91.95 c | 79605 | 83094 1545688 4776392 | 2147483647 79604 46 | 0.001 % |
92.39/92.44 c | 80397 | 83094 1545688 4776392 | 2147483647 80396 46 | 0.001 % |
92.88/92.94 c | 81270 | 83094 1545688 4776392 | 2147483647 81269 46 | 0.001 % |
93.28/93.37 c | 82230 | 83094 1545688 4776392 | 2147483647 82229 46 | 0.001 % |
93.38/93.50 c | 82332 | 83094 1545688 4776392 | 2147483647 82331 46 | 0.001 % |
93.78/93.84 c | 82442 | 83094 1545688 4776392 | 2147483647 82441 46 | 0.001 % |
93.88/93.94 c | 82563 | 83094 1545688 4776392 | 2147483647 82562 46 | 0.001 % |
94.08/94.19 c | 82697 | 83094 1545688 4776392 | 2147483647 82696 46 | 0.001 % |
94.38/94.46 c | 82846 | 83094 1545688 4776392 | 2147483647 82845 46 | 0.001 % |
94.48/94.60 c | 83007 | 83094 1545688 4776392 | 2147483647 83006 46 | 0.001 % |
95.18/95.21 c | 83184 | 83094 1545688 4776392 | 2147483647 83183 46 | 0.001 % |
95.28/95.39 c | 83377 | 83094 1545688 4776392 | 2147483647 83376 47 | 0.001 % |
95.48/95.59 c | 83589 | 83094 1545688 4776392 | 2147483647 83588 47 | 0.001 % |
95.78/95.84 c | 83822 | 83094 1545688 4776392 | 2147483647 83821 47 | 0.001 % |
96.08/96.15 c | 84078 | 83094 1545688 4776392 | 2147483647 84077 47 | 0.001 % |
96.68/96.71 c | 84359 | 83094 1545688 4776392 | 2147483647 84358 47 | 0.001 % |
96.88/96.96 c | 84668 | 83094 1545688 4776392 | 2147483647 84667 47 | 0.001 % |
97.18/97.22 c | 85007 | 83094 1545688 4776392 | 2147483647 85006 47 | 0.001 % |
97.68/97.71 c | 85379 | 83094 1545688 4776392 | 2147483647 85378 47 | 0.001 % |
98.38/98.45 c | 85788 | 83094 1545688 4776392 | 2147483647 85787 47 | 0.001 % |
98.99/99.08 c | 86237 | 83094 1545688 4776392 | 2147483647 86236 47 | 0.001 % |
99.48/99.59 c | 86730 | 83094 1545688 4776392 | 2147483647 86729 47 | 0.001 % |
100.28/100.39 c | 87274 | 83094 1545688 4776392 | 2147483647 87273 48 | 0.001 % |
100.78/100.88 c | 87871 | 83094 1545688 4776392 | 2147483647 87870 48 | 0.001 % |
101.58/101.62 c | 88526 | 83094 1545688 4776392 | 2147483647 88525 48 | 0.001 % |
102.68/102.72 c | 89246 | 83094 1545688 4776392 | 2147483647 89245 48 | 0.001 % |
103.18/103.21 c | 90038 | 83094 1545688 4776392 | 2147483647 90037 48 | 0.001 % |
103.98/104.02 c | 90910 | 83094 1545688 4776392 | 2147483647 90909 48 | 0.001 % |
104.68/104.79 c | 91868 | 83094 1545688 4776392 | 2147483647 91867 48 | 0.001 % |
105.88/105.96 c | 92928 | 83094 1545688 4776392 | 2147483647 92927 49 | 0.001 % |
105.98/106.04 c | 93032 | 83094 1545688 4776392 | 2147483647 93031 49 | 0.001 % |
106.08/106.20 c | 93142 | 83094 1545688 4776392 | 2147483647 93141 49 | 0.001 % |
106.28/106.38 c | 93269 | 83094 1545688 4776392 | 2147483647 93268 49 | 0.001 % |
106.48/106.55 c | 93402 | 83094 1545688 4776392 | 2147483647 93401 49 | 0.001 % |
106.69/106.75 c | 93549 | 83094 1545688 4776392 | 2147483647 93548 49 | 0.001 % |
106.88/106.93 c | 93710 | 83094 1545688 4776392 | 2147483647 93709 49 | 0.001 % |
107.08/107.20 c | 93887 | 83094 1545688 4776392 | 2147483647 93886 49 | 0.001 % |
107.28/107.37 c | 94080 | 83094 1545688 4776392 | 2147483647 94079 49 | 0.001 % |
107.68/107.77 c | 94292 | 83094 1545688 4776392 | 2147483647 94291 49 | 0.001 % |
107.88/107.96 c | 94526 | 83094 1545688 4776392 | 2147483647 94525 49 | 0.001 % |
108.28/108.31 c | 94783 | 83094 1545688 4776392 | 2147483647 94782 49 | 0.001 % |
108.48/108.54 c | 95064 | 83094 1545688 4776392 | 2147483647 95063 49 | 0.001 % |
108.89/109.00 c | 95373 | 83094 1545688 4776392 | 2147483647 95372 49 | 0.001 % |
109.08/109.19 c | 95712 | 83094 1545688 4776392 | 2147483647 95711 49 | 0.001 % |
109.59/109.65 c | 96085 | 83094 1545688 4776392 | 2147483647 96084 49 | 0.001 % |
109.89/109.99 c | 96494 | 83094 1545688 4776392 | 2147483647 96493 49 | 0.001 % |
110.29/110.33 c | 96943 | 83094 1545688 4776392 | 2147483647 96942 49 | 0.001 % |
110.69/110.74 c | 97436 | 83094 1545688 4776392 | 2147483647 97435 49 | 0.001 % |
111.49/111.53 c | 97978 | 83094 1545688 4776392 | 2147483647 97977 49 | 0.001 % |
112.29/112.38 c | 98576 | 83094 1545688 4776392 | 2147483647 98575 49 | 0.001 % |
113.19/113.22 c | 99231 | 83094 1545688 4776392 | 2147483647 99230 49 | 0.001 % |
113.49/113.60 c | 99952 | 83094 1545688 4776392 | 2147483647 99951 50 | 0.001 % |
114.09/114.13 c | 100747 | 83094 1545688 4776392 | 2147483647 100746 50 | 0.001 % |
114.89/115.00 c | 101619 | 83094 1545688 4776392 | 2147483647 101618 50 | 0.001 % |
115.69/115.73 c | 102578 | 83094 1545688 4776392 | 2147483647 102577 50 | 0.001 % |
116.89/116.93 c | 103631 | 83094 1545688 4776392 | 2147483647 103630 50 | 0.001 % |
117.39/117.45 c | 104790 | 83094 1545688 4776392 | 2147483647 104789 50 | 0.001 % |
117.49/117.53 c | 104890 | 83094 1545688 4776392 | 2147483647 104889 50 | 0.001 % |
117.59/117.67 c | 105000 | 83094 1545688 4776392 | 2147483647 104999 50 | 0.001 % |
117.89/117.98 c | 105121 | 83094 1545688 4776392 | 2147483647 105120 50 | 0.001 % |
118.09/118.16 c | 105256 | 83094 1545688 4776392 | 2147483647 105255 50 | 0.001 % |
118.29/118.40 c | 105402 | 83094 1545688 4776392 | 2147483647 105401 50 | 0.001 % |
118.39/118.46 c | 105563 | 83094 1545688 4776392 | 2147483647 105562 50 | 0.001 % |
118.79/118.88 c | 105742 | 83094 1545688 4776392 | 2147483647 105741 50 | 0.001 % |
118.89/119.01 c | 105939 | 83094 1545688 4776392 | 2147483647 105938 50 | 0.001 % |
119.09/119.18 c | 106151 | 83094 1545688 4776392 | 2147483647 106150 50 | 0.001 % |
119.39/119.43 c | 106385 | 83094 1545688 4776392 | 2147483647 106384 50 | 0.001 % |
119.69/119.73 c | 106642 | 83094 1545688 4776392 | 2147483647 106641 50 | 0.001 % |
119.89/119.96 c | 106924 | 83094 1545688 4776392 | 2147483647 106923 51 | 0.001 % |
120.19/120.24 c | 107235 | 83094 1545688 4776392 | 2147483647 107234 51 | 0.001 % |
120.59/120.63 c | 107574 | 83094 1545688 4776392 | 2147483647 107573 51 | 0.001 % |
121.09/121.12 c | 107947 | 83094 1545688 4776392 | 2147483647 107946 51 | 0.001 % |
121.59/121.66 c | 108358 | 83094 1545688 4776392 | 2147483647 108357 51 | 0.001 % |
122.09/122.14 c | 108808 | 83094 1545688 4776392 | 2147483647 108807 51 | 0.001 % |
122.59/122.69 c | 109301 | 83094 1545688 4776392 | 2147483647 109300 51 | 0.001 % |
123.09/123.19 c | 109846 | 83094 1545688 4776392 | 2147483647 109845 51 | 0.001 % |
123.59/123.62 c | 110445 | 83094 1545688 4776392 | 2147483647 110444 51 | 0.001 % |
124.39/124.42 c | 111100 | 83094 1545688 4776392 | 2147483647 111099 51 | 0.001 % |
124.89/125.01 c | 111820 | 83094 1545688 4776392 | 2147483647 111819 51 | 0.001 % |
125.79/125.89 c | 112612 | 83094 1545688 4776392 | 2147483647 112611 51 | 0.001 % |
126.69/126.77 c | 113484 | 83094 1545688 4776392 | 2147483647 113483 51 | 0.001 % |
127.69/127.73 c | 114442 | 83094 1545688 4776392 | 2147483647 114441 51 | 0.001 % |
128.19/128.28 c | 115496 | 83094 1545688 4776392 | 2147483647 115495 51 | 0.001 % |
129.39/129.43 c | 116656 | 83094 1545688 4776392 | 2147483647 116655 52 | 0.001 % |
130.29/130.40 c | 117930 | 83094 1545688 4776392 | 2147483647 117929 52 | 0.001 % |
130.39/130.48 c | 118032 | 83094 1545688 4776392 | 2147483647 118031 52 | 0.001 % |
130.69/130.79 c | 118142 | 83094 1545688 4776392 | 2147483647 118141 52 | 0.001 % |
130.89/130.94 c | 118263 | 83094 1545688 4776392 | 2147483647 118262 52 | 0.001 % |
131.09/131.15 c | 118396 | 83094 1545688 4776392 | 2147483647 118395 52 | 0.001 % |
131.29/131.37 c | 118542 | 83094 1545688 4776392 | 2147483647 118541 52 | 0.001 % |
131.59/131.64 c | 118702 | 83094 1545688 4776392 | 2147483647 118701 52 | 0.001 % |
131.89/132.00 c | 118878 | 83094 1545688 4776392 | 2147483647 118877 52 | 0.001 % |
132.19/132.24 c | 119071 | 83094 1545688 4776392 | 2147483647 119070 52 | 0.001 % |
132.49/132.58 c | 119283 | 83094 1545688 4776392 | 2147483647 119282 52 | 0.001 % |
132.79/132.83 c | 119517 | 83094 1545688 4776392 | 2147483647 119516 52 | 0.001 % |
132.99/133.10 c | 119774 | 83094 1545688 4776392 | 2147483647 119773 52 | 0.001 % |
133.29/133.32 c | 120055 | 83094 1545688 4776392 | 2147483647 120054 52 | 0.001 % |
133.79/133.88 c | 120364 | 83094 1545688 4776392 | 2147483647 120363 52 | 0.001 % |
133.99/134.08 c | 120704 | 83094 1545688 4776392 | 2147483647 120703 52 | 0.001 % |
134.19/134.29 c | 121076 | 83094 1545688 4776392 | 2147483647 121075 52 | 0.001 % |
134.59/134.70 c | 121486 | 83094 1545688 4776392 | 2147483647 121485 52 | 0.001 % |
134.99/135.03 c | 121935 | 83094 1545688 4776392 | 2147483647 121934 52 | 0.001 % |
135.49/135.54 c | 122428 | 83094 1545688 4776392 | 2147483647 122427 52 | 0.001 % |
135.99/136.07 c | 122971 | 83094 1545688 4776392 | 2147483647 122970 52 | 0.001 % |
136.39/136.50 c | 123567 | 83094 1545688 4776392 | 2147483647 123566 52 | 0.001 % |
137.39/137.42 c | 124222 | 83094 1545688 4776392 | 2147483647 124221 52 | 0.001 % |
138.09/138.21 c | 124945 | 83094 1545688 4776392 | 2147483647 124944 52 | 0.001 % |
138.69/138.77 c | 125738 | 83094 1545688 4776392 | 2147483647 125737 52 | 0.001 % |
139.29/139.40 c | 126609 | 83094 1545688 4776392 | 2147483647 126608 53 | 0.001 % |
140.09/140.15 c | 127567 | 83094 1545688 4776392 | 2147483647 127566 52 | 0.001 % |
141.39/141.51 c | 128621 | 83094 1545688 4776392 | 2147483647 128620 53 | 0.001 % |
141.99/142.04 c | 129780 | 83094 1545688 4776392 | 2147483647 129779 53 | 0.001 % |
142.79/142.86 c | 131053 | 83094 1545688 4776392 | 2147483647 131052 53 | 0.001 % |
143.99/144.05 c | 132454 | 83094 1545688 4776392 | 2147483647 132453 53 | 0.001 % |
144.19/144.24 c | 132556 | 83094 1545688 4776392 | 2147483647 132555 53 | 0.001 % |
144.69/144.72 c | 132666 | 83094 1545688 4776392 | 2147483647 132665 53 | 0.001 % |
144.79/144.86 c | 132787 | 83094 1545688 4776392 | 2147483647 132786 53 | 0.001 % |
144.99/145.10 c | 132921 | 83094 1545688 4776392 | 2147483647 132920 53 | 0.001 % |
145.19/145.30 c | 133067 | 83094 1545688 4776392 | 2147483647 133066 53 | 0.001 % |
145.59/145.66 c | 133228 | 83094 1545688 4776392 | 2147483647 133227 53 | 0.001 % |
145.89/145.99 c | 133407 | 83094 1545688 4776392 | 2147483647 133406 53 | 0.001 % |
146.09/146.16 c | 133601 | 83094 1545688 4776392 | 2147483647 133600 53 | 0.001 % |
146.49/146.61 c | 133813 | 83094 1545688 4776392 | 2147483647 133812 53 | 0.001 % |
146.79/146.85 c | 134046 | 83094 1545688 4776392 | 2147483647 134045 53 | 0.001 % |
147.09/147.14 c | 134302 | 83094 1545688 4776392 | 2147483647 134301 53 | 0.001 % |
147.29/147.33 c | 134583 | 83094 1545688 4776392 | 2147483647 134582 53 | 0.001 % |
147.89/147.92 c | 134894 | 83094 1545688 4776392 | 2147483647 134893 53 | 0.001 % |
148.19/148.26 c | 135233 | 83094 1545688 4776392 | 2147483647 135232 53 | 0.001 % |
148.39/148.46 c | 135606 | 83094 1545688 4776392 | 2147483647 135605 53 | 0.001 % |
148.79/148.90 c | 136016 | 83094 1545688 4776392 | 2147483647 136015 53 | 0.001 % |
149.49/149.59 c | 136465 | 83094 1545688 4776392 | 2147483647 136464 53 | 0.001 % |
149.89/149.93 c | 136959 | 83094 1545688 4776392 | 2147483647 136958 53 | 0.001 % |
150.59/150.66 c | 137502 | 83094 1545688 4776392 | 2147483647 137501 53 | 0.001 % |
151.29/151.34 c | 138098 | 83094 1545688 4776392 | 2147483647 138097 54 | 0.001 % |
152.39/152.43 c | 138756 | 83094 1545688 4776392 | 2147483647 138755 54 | 0.001 % |
152.79/152.87 c | 139477 | 83094 1545688 4776392 | 2147483647 139476 54 | 0.001 % |
153.89/153.92 c | 140271 | 83094 1545688 4776392 | 2147483647 140270 54 | 0.001 % |
155.09/155.15 c | 141143 | 83094 1545688 4776392 | 2147483647 141142 54 | 0.001 % |
156.29/156.32 c | 142101 | 83094 1545688 4776392 | 2147483647 142100 54 | 0.001 % |
157.29/157.35 c | 143154 | 83094 1545688 4776392 | 2147483647 143153 54 | 0.001 % |
158.29/158.36 c | 144312 | 83094 1545688 4776392 | 2147483647 144311 54 | 0.001 % |
159.59/159.69 c | 145585 | 83094 1545688 4776392 | 2147483647 145584 54 | 0.001 % |
161.09/161.13 c | 146985 | 83094 1545688 4776392 | 2147483647 146984 54 | 0.001 % |
162.09/162.20 c | 148525 | 83094 1545688 4776392 | 2147483647 148524 55 | 0.001 % |
162.29/162.37 c | 148626 | 83094 1545688 4776392 | 2147483647 148625 55 | 0.001 % |
162.49/162.57 c | 148736 | 83094 1545688 4776392 | 2147483647 148735 55 | 0.001 % |
162.59/162.69 c | 148860 | 83094 1545688 4776392 | 2147483647 148859 55 | 0.001 % |
162.89/162.97 c | 148993 | 83094 1545688 4776392 | 2147483647 148992 55 | 0.001 % |
163.09/163.14 c | 149139 | 83094 1545688 4776392 | 2147483647 149138 55 | 0.001 % |
163.19/163.31 c | 149299 | 83094 1545688 4776392 | 2147483647 149298 55 | 0.001 % |
163.49/163.60 c | 149476 | 83094 1545688 4776392 | 2147483647 149475 55 | 0.001 % |
163.89/163.92 c | 149669 | 83094 1545688 4776392 | 2147483647 149668 55 | 0.001 % |
164.19/164.29 c | 149881 | 83094 1545688 4776392 | 2147483647 149880 55 | 0.001 % |
164.69/164.74 c | 150114 | 83094 1545688 4776392 | 2147483647 150113 55 | 0.001 % |
165.09/165.12 c | 150372 | 83094 1545688 4776392 | 2147483647 150371 55 | 0.001 % |
165.29/165.38 c | 150653 | 83094 1545688 4776392 | 2147483647 150652 55 | 0.001 % |
165.59/165.62 c | 150963 | 83094 1545688 4776392 | 2147483647 150962 55 | 0.001 % |
166.09/166.12 c | 151302 | 83094 1545688 4776392 | 2147483647 151301 55 | 0.001 % |
166.49/166.51 c | 151674 | 83094 1545688 4776392 | 2147483647 151673 55 | 0.001 % |
167.09/167.16 c | 152084 | 83094 1545688 4776392 | 2147483647 152083 55 | 0.001 % |
167.79/167.87 c | 152534 | 83094 1545688 4776392 | 2147483647 152533 55 | 0.001 % |
168.59/168.68 c | 153027 | 83094 1545688 4776392 | 2147483647 153026 55 | 0.001 % |
169.59/169.64 c | 153570 | 83094 1545688 4776392 | 2147483647 153569 55 | 0.001 % |
170.79/170.86 c | 154166 | 83094 1545688 4776392 | 2147483647 154165 55 | 0.001 % |
171.49/171.52 c | 154823 | 83094 1545688 4776392 | 2147483647 154822 55 | 0.001 % |
172.39/172.46 c | 155546 | 83094 1545688 4776392 | 2147483647 155545 55 | 0.001 % |
173.69/173.73 c | 156338 | 83094 1545688 4776392 | 2147483647 156337 55 | 0.001 % |
174.69/174.79 c | 157209 | 83094 1545688 4776392 | 2147483647 157208 56 | 0.001 % |
175.49/175.51 c | 158168 | 83094 1545688 4776392 | 2147483647 158167 56 | 0.001 % |
176.39/176.43 c | 159222 | 83094 1545688 4776392 | 2147483647 159221 56 | 0.001 % |
177.10/177.19 c | 160380 | 83094 1545688 4776392 | 2147483647 160379 55 | 0.001 % |
178.59/178.70 c | 161655 | 83094 1545688 4776392 | 2147483647 161654 56 | 0.001 % |
180.29/180.31 c | 163057 | 83094 1545688 4776392 | 2147483647 163056 56 | 0.001 % |
181.69/181.78 c | 164597 | 83094 1545688 4776392 | 2147483647 164596 56 | 0.001 % |
183.59/183.63 c | 166294 | 83094 1545688 4776392 | 2147483647 166293 56 | 0.001 % |
183.70/183.80 c | 166396 | 83094 1545688 4776392 | 2147483647 166395 56 | 0.001 % |
183.89/183.94 c | 166506 | 83094 1545688 4776392 | 2147483647 166505 56 | 0.001 % |
184.19/184.26 c | 166627 | 83094 1545688 4776392 | 2147483647 166626 56 | 0.001 % |
184.29/184.38 c | 166760 | 83094 1545688 4776392 | 2147483647 166759 56 | 0.001 % |
184.69/184.73 c | 166906 | 83094 1545688 4776392 | 2147483647 166905 56 | 0.001 % |
184.80/184.87 c | 167066 | 83094 1545688 4776392 | 2147483647 167065 56 | 0.001 % |
184.99/185.11 c | 167242 | 83094 1545688 4776392 | 2147483647 167241 56 | 0.001 % |
185.29/185.32 c | 167436 | 83094 1545688 4776392 | 2147483647 167435 56 | 0.001 % |
185.59/185.62 c | 167651 | 83094 1545688 4776392 | 2147483647 167650 56 | 0.001 % |
185.79/185.85 c | 167886 | 83094 1545688 4776392 | 2147483647 167885 56 | 0.001 % |
186.09/186.21 c | 168142 | 83094 1545688 4776392 | 2147483647 168141 56 | 0.001 % |
186.59/186.64 c | 168423 | 83094 1545688 4776392 | 2147483647 168422 56 | 0.001 % |
186.79/186.89 c | 168732 | 83094 1545688 4776392 | 2147483647 168731 56 | 0.001 % |
187.19/187.31 c | 169071 | 83094 1545688 4776392 | 2147483647 169070 56 | 0.001 % |
187.69/187.76 c | 169444 | 83094 1545688 4776392 | 2147483647 169443 56 | 0.001 % |
187.99/188.05 c | 169855 | 83094 1545688 4776392 | 2147483647 169854 56 | 0.001 % |
188.59/188.63 c | 170305 | 83094 1545688 4776392 | 2147483647 170304 56 | 0.001 % |
188.89/189.01 c | 170798 | 83094 1545688 4776392 | 2147483647 170797 56 | 0.001 % |
189.49/189.55 c | 171340 | 83094 1545688 4776392 | 2147483647 171339 56 | 0.001 % |
189.99/190.08 c | 171936 | 83094 1545688 4776392 | 2147483647 171935 56 | 0.001 % |
190.69/190.80 c | 172591 | 83094 1545688 4776392 | 2147483647 172590 56 | 0.001 % |
191.49/191.61 c | 173313 | 83094 1545688 4776392 | 2147483647 173312 56 | 0.001 % |
192.09/192.17 c | 174106 | 83094 1545688 4776392 | 2147483647 174105 56 | 0.001 % |
192.99/193.07 c | 174978 | 83094 1545688 4776392 | 2147483647 174977 56 | 0.001 % |
193.69/193.76 c | 175936 | 83094 1545688 4776392 | 2147483647 175935 56 | 0.001 % |
194.59/194.66 c | 176989 | 83094 1545688 4776392 | 2147483647 176988 56 | 0.001 % |
195.69/195.72 c | 178150 | 83094 1545688 4776392 | 2147483647 178149 56 | 0.001 % |
196.69/196.79 c | 179423 | 83094 1545688 4776392 | 2147483647 179422 56 | 0.001 % |
198.09/198.13 c | 180823 | 83094 1545688 4776392 | 2147483647 180822 56 | 0.001 % |
199.19/199.26 c | 182363 | 83094 1545688 4776392 | 2147483647 182362 56 | 0.001 % |
200.59/200.62 c | 184059 | 83094 1545688 4776392 | 2147483647 184058 56 | 0.001 % |
202.59/202.67 c | 185922 | 83094 1545688 4776392 | 2147483647 185921 57 | 0.001 % |
202.79/202.83 c | 186023 | 83094 1545688 4776392 | 2147483647 186022 57 | 0.001 % |
203.09/203.18 c | 186133 | 83094 1545688 4776392 | 2147483647 186132 57 | 0.001 % |
203.29/203.38 c | 186255 | 83094 1545688 4776392 | 2147483647 186254 57 | 0.001 % |
203.69/203.74 c | 186388 | 83094 1545688 4776392 | 2147483647 186387 57 | 0.001 % |
204.19/204.21 c | 186534 | 83094 1545688 4776392 | 2147483647 186533 57 | 0.001 % |
204.29/204.40 c | 186694 | 83094 1545688 4776392 | 2147483647 186693 57 | 0.001 % |
204.69/204.72 c | 186870 | 83094 1545688 4776392 | 2147483647 186869 57 | 0.001 % |
204.79/204.87 c | 187063 | 83094 1545688 4776392 | 2147483647 187062 57 | 0.001 % |
205.09/205.20 c | 187276 | 83094 1545688 4776392 | 2147483647 187275 57 | 0.001 % |
205.39/205.48 c | 187510 | 83094 1545688 4776392 | 2147483647 187509 57 | 0.001 % |
205.79/205.89 c | 187766 | 83094 1545688 4776392 | 2147483647 187765 58 | 0.001 % |
206.19/206.27 c | 188047 | 83094 1545688 4776392 | 2147483647 188046 57 | 0.001 % |
206.80/206.88 c | 188360 | 83094 1545688 4776392 | 2147483647 188359 58 | 0.001 % |
207.39/207.44 c | 188699 | 83094 1545688 4776392 | 2147483647 188698 58 | 0.001 % |
207.79/207.86 c | 189072 | 83094 1545688 4776392 | 2147483647 189071 58 | 0.001 % |
208.49/208.57 c | 189484 | 83094 1545688 4776392 | 2147483647 189483 58 | 0.001 % |
209.19/209.29 c | 189933 | 83094 1545688 4776392 | 2147483647 189932 58 | 0.001 % |
209.99/210.10 c | 190428 | 83094 1545688 4776392 | 2147483647 190427 58 | 0.001 % |
210.79/210.84 c | 190973 | 83094 1545688 4776392 | 2147483647 190972 58 | 0.001 % |
211.39/211.50 c | 191570 | 83094 1545688 4776392 | 2147483647 191569 58 | 0.001 % |
212.49/212.51 c | 192229 | 83094 1545688 4776392 | 2147483647 192228 58 | 0.001 % |
212.79/212.90 c | 192950 | 83094 1545688 4776392 | 2147483647 192949 58 | 0.001 % |
213.89/213.95 c | 193742 | 83094 1545688 4776392 | 2147483647 193741 58 | 0.001 % |
214.29/214.31 c | 194613 | 83094 1545688 4776392 | 2147483647 194612 58 | 0.001 % |
215.09/215.14 c | 195572 | 83094 1545688 4776392 | 2147483647 195571 58 | 0.001 % |
216.29/216.41 c | 196625 | 83094 1545688 4776392 | 2147483647 196624 59 | 0.001 % |
217.39/217.47 c | 197784 | 83094 1545688 4776392 | 2147483647 197783 59 | 0.001 % |
218.69/218.75 c | 199057 | 83094 1545688 4776392 | 2147483647 199056 59 | 0.001 % |
220.20/220.29 c | 200460 | 83094 1545688 4776392 | 2147483647 200459 60 | 0.001 % |
221.90/221.94 c | 202002 | 83094 1545688 4776392 | 2147483647 202001 60 | 0.001 % |
223.70/223.73 c | 203697 | 83094 1545688 4776392 | 2147483647 203696 60 | 0.001 % |
225.20/225.31 c | 205561 | 83094 1545688 4776392 | 2147483647 205560 60 | 0.001 % |
227.30/227.33 c | 207610 | 83094 1545688 4776392 | 2147483647 207609 61 | 0.001 % |
227.50/227.52 c | 207710 | 83094 1545688 4776392 | 2147483647 207709 61 | 0.001 % |
227.70/227.76 c | 207820 | 83094 1545688 4776392 | 2147483647 207819 61 | 0.001 % |
227.90/227.94 c | 207942 | 83094 1545688 4776392 | 2147483647 207941 61 | 0.001 % |
228.30/228.34 c | 208076 | 83094 1545688 4776392 | 2147483647 208075 61 | 0.001 % |
228.50/228.57 c | 208222 | 83094 1545688 4776392 | 2147483647 208221 61 | 0.001 % |
229.10/229.17 c | 208383 | 83094 1545688 4776392 | 2147483647 208382 61 | 0.001 % |
229.60/229.71 c | 208559 | 83094 1545688 4776392 | 2147483647 208558 61 | 0.001 % |
230.10/230.15 c | 208752 | 83094 1545688 4776392 | 2147483647 208751 61 | 0.001 % |
230.40/230.44 c | 208966 | 83094 1545688 4776392 | 2147483647 208965 61 | 0.001 % |
230.60/230.71 c | 209200 | 83094 1545688 4776392 | 2147483647 209199 61 | 0.001 % |
230.90/231.00 c | 209456 | 83094 1545688 4776392 | 2147483647 209455 61 | 0.001 % |
231.20/231.26 c | 209739 | 83094 1545688 4776392 | 2147483647 209738 61 | 0.001 % |
231.90/231.98 c | 210049 | 83094 1545688 4776392 | 2147483647 210048 61 | 0.001 % |
232.50/232.60 c | 210388 | 83094 1545688 4776392 | 2147483647 210387 61 | 0.001 % |
233.00/233.02 c | 210762 | 83094 1545688 4776392 | 2147483647 210761 61 | 0.001 % |
233.70/233.78 c | 211173 | 83094 1545688 4776392 | 2147483647 211172 61 | 0.001 % |
234.30/234.40 c | 211622 | 83094 1545688 4776392 | 2147483647 211621 61 | 0.001 % |
234.90/234.95 c | 212115 | 83094 1545688 4776392 | 2147483647 212114 61 | 0.001 % |
235.40/235.45 c | 212657 | 83094 1545688 4776392 | 2147483647 212656 61 | 0.001 % |
236.20/236.24 c | 213254 | 83094 1545688 4776392 | 2147483647 213253 61 | 0.001 % |
237.10/237.20 c | 213910 | 83094 1545688 4776392 | 2147483647 213909 61 | 0.001 % |
237.90/237.92 c | 214632 | 83094 1545688 4776392 | 2147483647 214631 62 | 0.001 % |
238.50/238.59 c | 215424 | 83094 1545688 4776392 | 2147483647 215423 62 | 0.001 % |
240.10/240.17 c | 216295 | 83094 1545688 4776392 | 2147483647 216294 62 | 0.001 % |
241.20/241.22 c | 217254 | 83094 1545688 4776392 | 2147483647 217253 62 | 0.001 % |
241.90/241.97 c | 218307 | 83094 1545688 4776392 | 2147483647 218306 62 | 0.001 % |
243.60/243.67 c | 219465 | 83094 1545688 4776392 | 2147483647 219464 62 | 0.001 % |
245.10/245.14 c | 220738 | 83094 1545688 4776392 | 2147483647 220737 62 | 0.001 % |
246.20/246.24 c | 222138 | 83094 1545688 4776392 | 2147483647 222137 62 | 0.001 % |
247.30/247.33 c | 223678 | 83094 1545688 4776392 | 2147483647 223677 62 | 0.001 % |
249.40/249.51 c | 225372 | 83094 1545688 4776392 | 2147483647 225371 62 | 0.001 % |
251.40/251.46 c | 227237 | 83094 1545688 4776392 | 2147483647 227236 63 | 0.001 % |
253.10/253.19 c | 229286 | 83094 1545688 4776392 | 2147483647 229285 63 | 0.001 % |
254.80/254.86 c | 231539 | 83094 1545688 4776392 | 2147483647 231538 63 | 0.001 % |
255.10/255.16 c | 231641 | 83094 1545688 4776392 | 2147483647 231640 63 | 0.001 % |
255.40/255.45 c | 231753 | 83094 1545688 4776392 | 2147483647 231752 63 | 0.001 % |
255.60/255.69 c | 231876 | 83094 1545688 4776392 | 2147483647 231875 63 | 0.001 % |
256.00/256.04 c | 232009 | 83094 1545688 4776392 | 2147483647 232008 63 | 0.001 % |
256.20/256.27 c | 232157 | 83094 1545688 4776392 | 2147483647 232156 63 | 0.001 % |
256.40/256.48 c | 232318 | 83094 1545688 4776392 | 2147483647 232317 63 | 0.001 % |
256.60/256.68 c | 232494 | 83094 1545688 4776392 | 2147483647 232493 63 | 0.001 % |
257.10/257.13 c | 232687 | 83094 1545688 4776392 | 2147483647 232686 63 | 0.001 % |
257.30/257.36 c | 232900 | 83094 1545688 4776392 | 2147483647 232899 63 | 0.001 % |
257.70/257.73 c | 233134 | 83094 1545688 4776392 | 2147483647 233133 63 | 0.001 % |
258.40/258.48 c | 233391 | 83094 1545688 4776392 | 2147483647 233390 63 | 0.001 % |
258.80/258.89 c | 233673 | 83094 1545688 4776392 | 2147483647 233672 63 | 0.001 % |
259.30/259.32 c | 233983 | 83094 1545688 4776392 | 2147483647 233982 63 | 0.001 % |
259.70/259.73 c | 234323 | 83094 1545688 4776392 | 2147483647 234322 64 | 0.001 % |
260.00/260.08 c | 234696 | 83094 1545688 4776392 | 2147483647 234695 64 | 0.001 % |
260.50/260.56 c | 235106 | 83094 1545688 4776392 | 2147483647 235105 64 | 0.001 % |
261.00/261.01 c | 235555 | 83094 1545688 4776392 | 2147483647 235554 64 | 0.001 % |
261.60/261.67 c | 236049 | 83094 1545688 4776392 | 2147483647 236048 64 | 0.001 % |
262.20/262.29 c | 236592 | 83094 1545688 4776392 | 2147483647 236591 64 | 0.001 % |
263.30/263.34 c | 237188 | 83094 1545688 4776392 | 2147483647 237187 64 | 0.001 % |
264.00/264.03 c | 237843 | 83094 1545688 4776392 | 2147483647 237842 64 | 0.001 % |
264.70/264.79 c | 238563 | 83094 1545688 4776392 | 2147483647 238562 64 | 0.001 % |
265.40/265.48 c | 239357 | 83094 1545688 4776392 | 2147483647 239356 64 | 0.001 % |
266.70/266.79 c | 240228 | 83094 1545688 4776392 | 2147483647 240227 64 | 0.001 % |
267.90/267.92 c | 241186 | 83094 1545688 4776392 | 2147483647 241185 64 | 0.001 % |
268.80/268.84 c | 242247 | 83094 1545688 4776392 | 2147483647 242246 64 | 0.001 % |
270.10/270.14 c | 243405 | 83094 1545688 4776392 | 2147483647 243404 64 | 0.001 % |
271.00/271.10 c | 244680 | 83094 1545688 4776392 | 2147483647 244679 64 | 0.001 % |
272.50/272.52 c | 246080 | 83094 1545688 4776392 | 2147483647 246079 64 | 0.001 % |
274.80/274.88 c | 247621 | 83094 1545688 4776392 | 2147483647 247620 64 | 0.001 % |
276.10/276.20 c | 249315 | 83094 1545688 4776392 | 2147483647 249314 64 | 0.001 % |
278.10/278.20 c | 251178 | 83094 1545688 4776392 | 2147483647 251177 65 | 0.001 % |
280.30/280.32 c | 253227 | 83094 1545688 4776392 | 2147483647 253226 65 | 0.001 % |
282.60/282.66 c | 255481 | 83094 1545688 4776392 | 2147483647 255480 65 | 0.001 % |
284.80/284.91 c | 257960 | 83094 1545688 4776392 | 2147483647 257959 65 | 0.001 % |
285.00/285.10 c | 258061 | 83094 1545688 4776392 | 2147483647 258060 65 | 0.001 % |
285.30/285.35 c | 258171 | 83094 1545688 4776392 | 2147483647 258170 65 | 0.001 % |
285.50/285.55 c | 258292 | 83094 1545688 4776392 | 2147483647 258291 65 | 0.001 % |
285.70/285.76 c | 258427 | 83094 1545688 4776392 | 2147483647 258426 65 | 0.001 % |
286.10/286.16 c | 258574 | 83094 1545688 4776392 | 2147483647 258573 65 | 0.001 % |
286.50/286.56 c | 258734 | 83094 1545688 4776392 | 2147483647 258733 65 | 0.001 % |
286.90/286.99 c | 258912 | 83094 1545688 4776392 | 2147483647 258911 65 | 0.001 % |
287.20/287.31 c | 259105 | 83094 1545688 4776392 | 2147483647 259104 66 | 0.001 % |
287.50/287.57 c | 259319 | 83094 1545688 4776392 | 2147483647 259318 66 | 0.001 % |
288.00/288.02 c | 259552 | 83094 1545688 4776392 | 2147483647 259551 66 | 0.001 % |
288.30/288.40 c | 259808 | 83094 1545688 4776392 | 2147483647 259807 66 | 0.001 % |
288.80/288.89 c | 260089 | 83094 1545688 4776392 | 2147483647 260088 66 | 0.001 % |
289.50/289.53 c | 260398 | 83094 1545688 4776392 | 2147483647 260397 66 | 0.001 % |
289.90/289.95 c | 260740 | 83094 1545688 4776392 | 2147483647 260739 66 | 0.001 % |
290.41/290.45 c | 261113 | 83094 1545688 4776392 | 2147483647 261112 66 | 0.001 % |
291.00/291.10 c | 261522 | 83094 1545688 4776392 | 2147483647 261521 66 | 0.001 % |
291.51/291.59 c | 261971 | 83094 1545688 4776392 | 2147483647 261970 66 | 0.001 % |
292.30/292.39 c | 262464 | 83094 1545688 4776392 | 2147483647 262463 66 | 0.001 % |
293.10/293.14 c | 263006 | 83094 1545688 4776392 | 2147483647 263005 66 | 0.001 % |
294.00/294.05 c | 263602 | 83094 1545688 4776392 | 2147483647 263601 66 | 0.001 % |
295.00/295.06 c | 264259 | 83094 1545688 4776392 | 2147483647 264258 66 | 0.001 % |
296.00/296.05 c | 264979 | 83094 1545688 4776392 | 2147483647 264978 66 | 0.001 % |
297.20/297.24 c | 265771 | 83094 1545688 4776392 | 2147483647 265770 66 | 0.001 % |
298.30/298.41 c | 266646 | 83094 1545688 4776392 | 2147483647 266645 66 | 0.001 % |
299.50/299.52 c | 267604 | 83094 1545688 4776392 | 2147483647 267603 66 | 0.001 % |
301.00/301.06 c | 268657 | 83094 1545688 4776392 | 2147483647 268656 67 | 0.001 % |
301.41/301.49 c | 269815 | 83094 1545688 4776392 | 2147483647 269814 67 | 0.001 % |
302.51/302.56 c | 271088 | 83094 1545688 4776392 | 2147483647 271087 67 | 0.001 % |
303.80/303.85 c | 272489 | 83094 1545688 4776392 | 2147483647 272488 67 | 0.001 % |
305.20/305.21 c | 274030 | 83094 1545688 4776392 | 2147483647 274029 67 | 0.001 % |
307.10/307.18 c | 275724 | 83094 1545688 4776392 | 2147483647 275723 68 | 0.001 % |
309.30/309.33 c | 277587 | 83094 1545688 4776392 | 2147483647 277586 68 | 0.001 % |
312.30/312.34 c | 279637 | 83094 1545688 4776392 | 2147483647 279636 68 | 0.001 % |
315.30/315.37 c | 281890 | 83094 1545688 4776392 | 2147483647 281889 69 | 0.001 % |
317.70/317.74 c | 284368 | 83094 1545688 4776392 | 2147483647 284367 69 | 0.001 % |
320.80/320.81 c | 287095 | 83094 1545688 4776392 | 2147483647 287094 70 | 0.001 % |
321.10/321.14 c | 287197 | 83094 1545688 4776392 | 2147483647 287196 70 | 0.001 % |
321.60/321.64 c | 287307 | 83094 1545688 4776392 | 2147483647 287306 70 | 0.001 % |
321.80/321.90 c | 287428 | 83094 1545688 4776392 | 2147483647 287427 70 | 0.001 % |
322.00/322.03 c | 287561 | 83094 1545688 4776392 | 2147483647 287560 70 | 0.001 % |
322.31/322.36 c | 287708 | 83094 1545688 4776392 | 2147483647 287707 70 | 0.001 % |
322.60/322.64 c | 287868 | 83094 1545688 4776392 | 2147483647 287867 70 | 0.001 % |
322.80/322.88 c | 288044 | 83094 1545688 4776392 | 2147483647 288043 69 | 0.001 % |
323.41/323.46 c | 288237 | 83094 1545688 4776392 | 2147483647 288236 70 | 0.001 % |
323.80/323.90 c | 288450 | 83094 1545688 4776392 | 2147483647 288449 70 | 0.001 % |
324.10/324.20 c | 288684 | 83094 1545688 4776392 | 2147483647 288683 70 | 0.001 % |
324.70/324.77 c | 288940 | 83094 1545688 4776392 | 2147483647 288939 70 | 0.001 % |
325.10/325.14 c | 289222 | 83094 1545688 4776392 | 2147483647 289221 70 | 0.001 % |
325.50/325.53 c | 289531 | 83094 1545688 4776392 | 2147483647 289530 70 | 0.001 % |
326.10/326.12 c | 289870 | 83094 1545688 4776392 | 2147483647 289869 70 | 0.001 % |
326.71/326.74 c | 290243 | 83094 1545688 4776392 | 2147483647 290242 70 | 0.001 % |
327.20/327.23 c | 290653 | 83094 1545688 4776392 | 2147483647 290652 70 | 0.001 % |
328.20/328.22 c | 291104 | 83094 1545688 4776392 | 2147483647 291103 70 | 0.001 % |
329.00/329.04 c | 291602 | 83094 1545688 4776392 | 2147483647 291601 70 | 0.001 % |
329.70/329.80 c | 292144 | 83094 1545688 4776392 | 2147483647 292143 70 | 0.001 % |
330.20/330.26 c | 292741 | 83094 1545688 4776392 | 2147483647 292740 70 | 0.001 % |
331.11/331.20 c | 293396 | 83094 1545688 4776392 | 2147483647 293395 70 | 0.001 % |
332.21/332.26 c | 294116 | 83094 1545688 4776392 | 2147483647 294115 70 | 0.001 % |
332.71/332.74 c | 294908 | 83094 1545688 4776392 | 2147483647 294907 70 | 0.001 % |
333.51/333.54 c | 295780 | 83094 1545688 4776392 | 2147483647 295779 70 | 0.001 % |
335.11/335.20 c | 296751 | 83094 1545688 4776392 | 2147483647 296750 70 | 0.001 % |
336.21/336.28 c | 297805 | 83094 1545688 4776392 | 2147483647 297804 70 | 0.001 % |
337.61/337.71 c | 298963 | 83094 1545688 4776392 | 2147483647 298962 71 | 0.001 % |
338.81/338.89 c | 300237 | 83094 1545688 4776392 | 2147483647 300236 71 | 0.001 % |
341.01/341.08 c | 301638 | 83094 1545688 4776392 | 2147483647 301637 71 | 0.001 % |
342.51/342.60 c | 303180 | 83094 1545688 4776392 | 2147483647 303179 71 | 0.001 % |
345.01/345.06 c | 304875 | 83094 1545688 4776392 | 2147483647 304874 72 | 0.001 % |
347.71/347.80 c | 306739 | 83094 1545688 4776392 | 2147483647 306738 72 | 0.001 % |
349.51/349.55 c | 308788 | 83094 1545688 4776392 | 2147483647 308787 72 | 0.001 % |
352.61/352.62 c | 311041 | 83094 1545688 4776392 | 2147483647 311040 72 | 0.001 % |
355.71/355.79 c | 313519 | 83094 1545688 4776392 | 2147483647 313518 72 | 0.001 % |
359.51/359.57 c | 316246 | 83094 1545688 4776392 | 2147483647 316245 73 | 0.001 % |
362.81/362.87 c | 319243 | 83094 1545688 4776392 | 2147483647 319242 73 | 0.001 % |
363.01/363.02 c | 319343 | 83094 1545688 4776392 | 2147483647 319342 73 | 0.001 % |
363.31/363.34 c | 319453 | 83094 1545688 4776392 | 2147483647 319452 73 | 0.001 % |
363.51/363.54 c | 319575 | 83094 1545688 4776392 | 2147483647 319574 73 | 0.001 % |
364.01/364.05 c | 319708 | 83094 1545688 4776392 | 2147483647 319707 73 | 0.001 % |
364.21/364.25 c | 319856 | 83094 1545688 4776392 | 2147483647 319855 73 | 0.001 % |
364.41/364.49 c | 320016 | 83094 1545688 4776392 | 2147483647 320015 73 | 0.001 % |
364.81/364.90 c | 320194 | 83094 1545688 4776392 | 2147483647 320193 73 | 0.001 % |
365.20/365.24 c | 320388 | 83094 1545688 4776392 | 2147483647 320387 73 | 0.001 % |
365.80/365.82 c | 320600 | 83094 1545688 4776392 | 2147483647 320599 73 | 0.001 % |
366.50/366.58 c | 320833 | 83094 1545688 4776392 | 2147483647 320832 73 | 0.001 % |
367.00/367.08 c | 321089 | 83094 1545688 4776392 | 2147483647 321088 73 | 0.001 % |
367.80/367.88 c | 321370 | 83094 1545688 4776392 | 2147483647 321369 73 | 0.001 % |
368.40/368.43 c | 321679 | 83094 1545688 4776392 | 2147483647 321678 73 | 0.001 % |
368.90/368.97 c | 322018 | 83094 1545688 4776392 | 2147483647 322017 73 | 0.001 % |
369.50/369.57 c | 322390 | 83094 1545688 4776392 | 2147483647 322389 73 | 0.001 % |
370.10/370.14 c | 322800 | 83094 1545688 4776392 | 2147483647 322799 73 | 0.001 % |
371.00/371.00 c | 323249 | 83094 1545688 4776392 | 2147483647 323248 73 | 0.001 % |
371.50/371.59 c | 323745 | 83094 1545688 4776392 | 2147483647 323744 73 | 0.001 % |
372.40/372.49 c | 324289 | 83094 1545688 4776392 | 2147483647 324288 73 | 0.001 % |
373.00/373.06 c | 324886 | 83094 1545688 4776392 | 2147483647 324885 73 | 0.001 % |
374.00/374.02 c | 325541 | 83094 1545688 4776392 | 2147483647 325540 73 | 0.001 % |
375.20/375.29 c | 326261 | 83094 1545688 4776392 | 2147483647 326260 74 | 0.001 % |
375.90/375.97 c | 327055 | 83094 1545688 4776392 | 2147483647 327054 74 | 0.001 % |
377.40/377.46 c | 327926 | 83094 1545688 4776392 | 2147483647 327925 74 | 0.001 % |
378.70/378.73 c | 328885 | 83094 1545688 4776392 | 2147483647 328884 74 | 0.001 % |
379.70/379.80 c | 329940 | 83094 1545688 4776392 | 2147483647 329939 74 | 0.001 % |
381.20/381.22 c | 331098 | 83094 1545688 4776392 | 2147483647 331097 74 | 0.001 % |
382.70/382.74 c | 332372 | 83094 1545688 4776392 | 2147483647 332371 74 | 0.001 % |
384.20/384.22 c | 333772 | 83094 1545688 4776392 | 2147483647 333771 73 | 0.001 % |
386.40/386.45 c | 335312 | 83094 1545688 4776392 | 2147483647 335311 73 | 0.001 % |
388.30/388.32 c | 337006 | 83094 1545688 4776392 | 2147483647 337005 73 | 0.001 % |
390.50/390.51 c | 338870 | 83094 1545688 4776392 | 2147483647 338869 73 | 0.001 % |
392.90/392.98 c | 340919 | 83094 1545688 4776392 | 2147483647 340918 73 | 0.001 % |
396.20/396.24 c | 343174 | 83094 1545688 4776392 | 2147483647 343173 73 | 0.001 % |
399.60/399.62 c | 345652 | 83094 1545688 4776392 | 2147483647 345651 73 | 0.001 % |
402.20/402.22 c | 348378 | 83094 1545688 4776392 | 2147483647 348377 73 | 0.001 % |
404.81/404.88 c | 351376 | 83094 1545688 4776392 | 2147483647 351375 73 | 0.001 % |
407.80/407.85 c | 354672 | 83094 1545688 4776392 | 2147483647 354671 74 | 0.001 % |
408.00/408.02 c | 354772 | 83094 1545688 4776392 | 2147483647 354771 74 | 0.001 % |
408.11/408.18 c | 354882 | 83094 1545688 4776392 | 2147483647 354881 74 | 0.001 % |
408.40/408.42 c | 355005 | 83094 1545688 4776392 | 2147483647 355004 74 | 0.001 % |
408.80/408.84 c | 355139 | 83094 1545688 4776392 | 2147483647 355138 74 | 0.001 % |
409.10/409.18 c | 355286 | 83094 1545688 4776392 | 2147483647 355285 74 | 0.001 % |
409.60/409.62 c | 355448 | 83094 1545688 4776392 | 2147483647 355447 74 | 0.001 % |
410.00/410.09 c | 355624 | 83094 1545688 4776392 | 2147483647 355623 74 | 0.001 % |
410.40/410.49 c | 355817 | 83094 1545688 4776392 | 2147483647 355816 74 | 0.001 % |
411.00/411.02 c | 356029 | 83094 1545688 4776392 | 2147483647 356028 74 | 0.001 % |
411.70/411.74 c | 356262 | 83094 1545688 4776392 | 2147483647 356261 74 | 0.001 % |
412.51/412.59 c | 356518 | 83094 1545688 4776392 | 2147483647 356517 74 | 0.001 % |
413.10/413.12 c | 356802 | 83094 1545688 4776392 | 2147483647 356801 74 | 0.001 % |
413.50/413.55 c | 357111 | 83094 1545688 4776392 | 2147483647 357110 74 | 0.001 % |
413.90/413.94 c | 357451 | 83094 1545688 4776392 | 2147483647 357450 74 | 0.001 % |
414.71/414.76 c | 357823 | 83094 1545688 4776392 | 2147483647 357822 74 | 0.001 % |
415.10/415.18 c | 358232 | 83094 1545688 4776392 | 2147483647 358231 74 | 0.001 % |
415.70/415.72 c | 358685 | 83094 1545688 4776392 | 2147483647 358684 74 | 0.001 % |
416.50/416.60 c | 359178 | 83094 1545688 4776392 | 2147483647 359177 74 | 0.001 % |
417.90/417.95 c | 359721 | 83094 1545688 4776392 | 2147483647 359720 74 | 0.001 % |
418.90/418.93 c | 360317 | 83094 1545688 4776392 | 2147483647 360316 74 | 0.001 % |
419.70/419.77 c | 360972 | 83094 1545688 4776392 | 2147483647 360971 74 | 0.001 % |
420.30/420.36 c | 361694 | 83094 1545688 4776392 | 2147483647 361693 74 | 0.001 % |
421.90/421.94 c | 362487 | 83094 1545688 4776392 | 2147483647 362486 74 | 0.001 % |
422.90/422.96 c | 363361 | 83094 1545688 4776392 | 2147483647 363360 74 | 0.001 % |
424.00/424.10 c | 364319 | 83094 1545688 4776392 | 2147483647 364318 74 | 0.001 % |
425.30/425.32 c | 365372 | 83094 1545688 4776392 | 2147483647 365371 74 | 0.001 % |
426.70/426.76 c | 366530 | 83094 1545688 4776392 | 2147483647 366529 74 | 0.001 % |
429.01/429.04 c | 367803 | 83094 1545688 4776392 | 2147483647 367802 74 | 0.001 % |
430.40/430.43 c | 369203 | 83094 1545688 4776392 | 2147483647 369202 75 | 0.001 % |
433.00/433.00 c | 370743 | 83094 1545688 4776392 | 2147483647 370742 75 | 0.001 % |
435.10/435.14 c | 372441 | 83094 1545688 4776392 | 2147483647 372440 75 | 0.001 % |
436.80/436.88 c | 374305 | 83094 1545688 4776392 | 2147483647 374304 75 | 0.001 % |
439.60/439.67 c | 376354 | 83094 1545688 4776392 | 2147483647 376353 75 | 0.001 % |
442.81/442.86 c | 378607 | 83094 1545688 4776392 | 2147483647 378606 75 | 0.001 % |
446.01/446.10 c | 381090 | 83094 1545688 4776392 | 2147483647 381089 76 | 0.001 % |
449.41/449.49 c | 383815 | 83094 1545688 4776392 | 2147483647 383814 76 | 0.001 % |
454.01/454.06 c | 386814 | 83094 1545688 4776392 | 2147483647 386813 76 | 0.001 % |
458.01/458.06 c | 390110 | 83094 1545688 4776392 | 2147483647 390109 76 | 0.001 % |
462.91/462.99 c | 393735 | 83094 1545688 4776392 | 2147483647 393734 76 | 0.001 % |
463.11/463.17 c | 393836 | 83094 1545688 4776392 | 2147483647 393835 76 | 0.001 % |
463.21/463.28 c | 393949 | 83094 1545688 4776392 | 2147483647 393948 76 | 0.001 % |
463.71/463.72 c | 394070 | 83094 1545688 4776392 | 2147483647 394069 76 | 0.001 % |
463.91/463.96 c | 394204 | 83094 1545688 4776392 | 2147483647 394203 76 | 0.001 % |
464.21/464.25 c | 394351 | 83094 1545688 4776392 | 2147483647 394350 76 | 0.001 % |
464.51/464.51 c | 394511 | 83094 1545688 4776392 | 2147483647 394510 76 | 0.001 % |
465.11/465.14 c | 394687 | 83094 1545688 4776392 | 2147483647 394686 76 | 0.001 % |
465.41/465.51 c | 394880 | 83094 1545688 4776392 | 2147483647 394879 76 | 0.001 % |
466.01/466.06 c | 395092 | 83094 1545688 4776392 | 2147483647 395091 76 | 0.001 % |
466.61/466.67 c | 395325 | 83094 1545688 4776392 | 2147483647 395324 76 | 0.001 % |
467.21/467.28 c | 395586 | 83094 1545688 4776392 | 2147483647 395585 76 | 0.001 % |
467.81/467.90 c | 395867 | 83094 1545688 4776392 | 2147483647 395866 76 | 0.001 % |
468.81/468.85 c | 396179 | 83094 1545688 4776392 | 2147483647 396178 76 | 0.001 % |
469.21/469.24 c | 396518 | 83094 1545688 4776392 | 2147483647 396517 76 | 0.001 % |
469.91/470.00 c | 396890 | 83094 1545688 4776392 | 2147483647 396889 76 | 0.001 % |
470.51/470.57 c | 397300 | 83094 1545688 4776392 | 2147483647 397299 76 | 0.001 % |
471.51/471.54 c | 397749 | 83094 1545688 4776392 | 2147483647 397748 76 | 0.001 % |
472.41/472.50 c | 398242 | 83094 1545688 4776392 | 2147483647 398241 76 | 0.001 % |
473.11/473.17 c | 398784 | 83094 1545688 4776392 | 2147483647 398783 76 | 0.001 % |
474.42/474.50 c | 399381 | 83094 1545688 4776392 | 2147483647 399380 76 | 0.001 % |
475.62/475.68 c | 400036 | 83094 1545688 4776392 | 2147483647 400035 76 | 0.001 % |
476.72/476.75 c | 400758 | 83094 1545688 4776392 | 2147483647 400757 76 | 0.001 % |
478.12/478.21 c | 401551 | 83094 1545688 4776392 | 2147483647 401550 76 | 0.001 % |
479.72/479.73 c | 402423 | 83094 1545688 4776392 | 2147483647 402422 76 | 0.001 % |
480.92/480.92 c | 403383 | 83094 1545688 4776392 | 2147483647 403382 76 | 0.001 % |
482.62/482.71 c | 404436 | 83094 1545688 4776392 | 2147483647 404435 76 | 0.001 % |
484.82/484.82 c | 405596 | 83094 1545688 4776392 | 2147483647 405595 76 | 0.001 % |
486.52/486.56 c | 406869 | 83094 1545688 4776392 | 2147483647 406868 76 | 0.001 % |
489.12/489.17 c | 408269 | 83094 1545688 4776392 | 2147483647 408268 76 | 0.001 % |
491.22/491.31 c | 409809 | 83094 1545688 4776392 | 2147483647 409808 77 | 0.001 % |
493.92/493.94 c | 411503 | 83094 1545688 4776392 | 2147483647 411502 77 | 0.001 % |
496.02/496.10 c | 413366 | 83094 1545688 4776392 | 2147483647 413365 77 | 0.001 % |
498.62/498.64 c | 415416 | 83094 1545688 4776392 | 2147483647 415415 77 | 0.001 % |
501.82/501.82 c | 417670 | 83094 1545688 4776392 | 2147483647 417669 77 | 0.001 % |
504.42/504.45 c | 420148 | 83094 1545688 4776392 | 2147483647 420147 78 | 0.001 % |
507.92/507.97 c | 422875 | 83094 1545688 4776392 | 2147483647 422874 78 | 0.001 % |
511.02/511.02 c | 425872 | 83094 1545688 4776392 | 2147483647 425871 78 | 0.001 % |
516.02/516.08 c | 429168 | 83094 1545688 4776392 | 2147483647 429167 78 | 0.001 % |
520.52/520.56 c | 432794 | 83094 1545688 4776392 | 2147483647 432793 78 | 0.001 % |
525.02/525.08 c | 436781 | 83094 1545688 4776392 | 2147483647 436780 79 | 0.001 % |
525.22/525.28 c | 436883 | 83094 1545688 4776392 | 2147483647 436882 79 | 0.001 % |
525.42/525.48 c | 436994 | 83094 1545688 4776392 | 2147483647 436993 79 | 0.001 % |
525.72/525.78 c | 437115 | 83094 1545688 4776392 | 2147483647 437114 79 | 0.001 % |
525.92/526.01 c | 437249 | 83094 1545688 4776392 | 2147483647 437248 79 | 0.001 % |
526.32/526.39 c | 437397 | 83094 1545688 4776392 | 2147483647 437396 79 | 0.001 % |
526.72/526.79 c | 437558 | 83094 1545688 4776392 | 2147483647 437557 79 | 0.001 % |
527.32/527.31 c | 437734 | 83094 1545688 4776392 | 2147483647 437733 79 | 0.001 % |
527.72/527.78 c | 437927 | 83094 1545688 4776392 | 2147483647 437926 79 | 0.001 % |
528.52/528.53 c | 438139 | 83094 1545688 4776392 | 2147483647 438138 79 | 0.001 % |
529.22/529.22 c | 438373 | 83094 1545688 4776392 | 2147483647 438372 79 | 0.001 % |
529.62/529.65 c | 438629 | 83094 1545688 4776392 | 2147483647 438628 79 | 0.001 % |
530.02/530.07 c | 438910 | 83094 1545688 4776392 | 2147483647 438909 79 | 0.001 % |
530.62/530.64 c | 439221 | 83094 1545688 4776392 | 2147483647 439220 79 | 0.001 % |
531.12/531.17 c | 439561 | 83094 1545688 4776392 | 2147483647 439560 79 | 0.001 % |
531.92/532.00 c | 439933 | 83094 1545688 4776392 | 2147483647 439932 79 | 0.001 % |
532.82/532.81 c | 440342 | 83094 1545688 4776392 | 2147483647 440341 79 | 0.001 % |
533.53/533.53 c | 440791 | 83094 1545688 4776392 | 2147483647 440790 79 | 0.001 % |
534.02/534.09 c | 441284 | 83094 1545688 4776392 | 2147483647 441283 79 | 0.001 % |
535.02/535.06 c | 441826 | 83094 1545688 4776392 | 2147483647 441825 79 | 0.001 % |
535.82/535.91 c | 442422 | 83094 1545688 4776392 | 2147483647 442421 79 | 0.001 % |
536.92/536.93 c | 443077 | 83094 1545688 4776392 | 2147483647 443076 79 | 0.001 % |
538.62/538.67 c | 443797 | 83094 1545688 4776392 | 2147483647 443796 79 | 0.001 % |
540.13/540.16 c | 444590 | 83094 1545688 4776392 | 2147483647 444589 79 | 0.001 % |
541.92/541.97 c | 445463 | 83094 1545688 4776392 | 2147483647 445462 79 | 0.001 % |
543.62/543.65 c | 446425 | 83094 1545688 4776392 | 2147483647 446424 79 | 0.001 % |
545.22/545.29 c | 447479 | 83094 1545688 4776392 | 2147483647 447478 79 | 0.001 % |
547.32/547.31 c | 448639 | 83094 1545688 4776392 | 2147483647 448638 79 | 0.001 % |
548.52/548.59 c | 449914 | 83094 1545688 4776392 | 2147483647 449913 79 | 0.001 % |
550.22/550.21 c | 451315 | 83094 1545688 4776392 | 2147483647 451314 79 | 0.001 % |
552.42/552.41 c | 452855 | 83094 1545688 4776392 | 2147483647 452854 79 | 0.001 % |
554.93/554.96 c | 454550 | 83094 1545688 4776392 | 2147483647 454549 79 | 0.001 % |
557.83/557.91 c | 456414 | 83094 1545688 4776392 | 2147483647 456413 80 | 0.001 % |
561.53/561.58 c | 458464 | 83094 1545688 4776392 | 2147483647 458463 80 | 0.001 % |
564.13/564.19 c | 460717 | 83094 1545688 4776392 | 2147483647 460716 80 | 0.001 % |
567.43/567.47 c | 463197 | 83094 1545688 4776392 | 2147483647 463196 81 | 0.001 % |
572.23/572.22 c | 465922 | 83094 1545688 4776392 | 2147483647 465921 81 | 0.001 % |
576.93/576.97 c | 468919 | 83094 1545688 4776392 | 2147483647 468918 81 | 0.001 % |
579.93/580.01 c | 472215 | 83094 1545688 4776392 | 2147483647 472214 81 | 0.001 % |
585.43/585.48 c | 475840 | 83094 1545688 4776392 | 2147483647 475839 82 | 0.001 % |
591.93/592.00 c | 479828 | 83094 1545688 4776392 | 2147483647 479827 82 | 0.001 % |
598.53/598.54 c | 484213 | 83094 1545688 4776392 | 2147483647 484212 82 | 0.001 % |
598.73/598.72 c | 484316 | 83094 1545688 4776392 | 2147483647 484315 82 | 0.001 % |
598.83/598.86 c | 484426 | 83094 1545688 4776392 | 2147483647 484425 82 | 0.001 % |
599.13/599.17 c | 484548 | 83094 1545688 4776392 | 2147483647 484547 82 | 0.001 % |
599.43/599.50 c | 484682 | 83094 1545688 4776392 | 2147483647 484681 82 | 0.001 % |
599.83/599.89 c | 484829 | 83094 1545688 4776392 | 2147483647 484828 82 | 0.001 % |
600.23/600.26 c | 484989 | 83094 1545688 4776392 | 2147483647 484988 82 | 0.001 % |
600.73/600.75 c | 485166 | 83094 1545688 4776392 | 2147483647 485165 82 | 0.001 % |
601.23/601.22 c | 485359 | 83094 1545688 4776392 | 2147483647 485358 82 | 0.001 % |
601.53/601.53 c | 485571 | 83094 1545688 4776392 | 2147483647 485570 82 | 0.001 % |
602.13/602.15 c | 485804 | 83094 1545688 4776392 | 2147483647 485803 82 | 0.001 % |
602.63/602.64 c | 486060 | 83094 1545688 4776392 | 2147483647 486059 82 | 0.001 % |
603.33/603.34 c | 486341 | 83094 1545688 4776392 | 2147483647 486340 82 | 0.001 % |
603.93/604.00 c | 486650 | 83094 1545688 4776392 | 2147483647 486649 82 | 0.001 % |
604.63/604.65 c | 486990 | 83094 1545688 4776392 | 2147483647 486989 82 | 0.001 % |
605.63/605.62 c | 487363 | 83094 1545688 4776392 | 2147483647 487362 82 | 0.001 % |
606.33/606.37 c | 487775 | 83094 1545688 4776392 | 2147483647 487774 82 | 0.001 % |
607.53/607.58 c | 488225 | 83094 1545688 4776392 | 2147483647 488224 82 | 0.001 % |
608.03/608.11 c | 488718 | 83094 1545688 4776392 | 2147483647 488717 82 | 0.001 % |
609.33/609.36 c | 489261 | 83094 1545688 4776392 | 2147483647 489260 82 | 0.001 % |
610.13/610.20 c | 489857 | 83094 1545688 4776392 | 2147483647 489856 82 | 0.001 % |
611.63/611.64 c | 490512 | 83094 1545688 4776392 | 2147483647 490511 82 | 0.001 % |
613.03/613.07 c | 491232 | 83094 1545688 4776392 | 2147483647 491231 82 | 0.001 % |
614.53/614.60 c | 492024 | 83094 1545688 4776392 | 2147483647 492023 82 | 0.001 % |
616.73/616.76 c | 492895 | 83094 1545688 4776392 | 2147483647 492894 82 | 0.001 % |
618.03/618.10 c | 493856 | 83094 1545688 4776392 | 2147483647 493855 82 | 0.001 % |
620.23/620.24 c | 494910 | 83094 1545688 4776392 | 2147483647 494909 82 | 0.001 % |
621.93/621.95 c | 496068 | 83094 1545688 4776392 | 2147483647 496067 82 | 0.001 % |
624.13/624.18 c | 497341 | 83094 1545688 4776392 | 2147483647 497340 83 | 0.001 % |
626.83/626.85 c | 498743 | 83094 1545688 4776392 | 2147483647 498742 83 | 0.001 % |
629.93/629.97 c | 500283 | 83094 1545688 4776392 | 2147483647 500282 83 | 0.001 % |
632.03/632.05 c | 501977 | 83094 1545688 4776392 | 2147483647 501976 83 | 0.001 % |
635.13/635.20 c | 503841 | 83094 1545688 4776392 | 2147483647 503840 83 | 0.001 % |
638.73/638.72 c | 505890 | 83094 1545688 4776392 | 2147483647 505889 83 | 0.001 % |
642.23/642.23 c | 508143 | 83094 1545688 4776392 | 2147483647 508142 83 | 0.001 % |
646.73/646.77 c | 510622 | 83094 1545688 4776392 | 2147483647 510621 83 | 0.001 % |
650.93/650.96 c | 513347 | 83094 1545688 4776392 | 2147483647 513346 84 | 0.001 % |
654.83/654.89 c | 516344 | 83094 1545688 4776392 | 2147483647 516343 84 | 0.001 % |
659.83/659.84 c | 519641 | 83094 1545688 4776392 | 2147483647 519640 84 | 0.001 % |
664.34/664.42 c | 523267 | 83094 1545688 4776392 | 2147483647 523266 84 | 0.001 % |
669.74/669.79 c | 527254 | 83094 1545688 4776392 | 2147483647 527253 84 | 0.001 % |
675.64/675.71 c | 531639 | 83094 1545688 4776392 | 2147483647 531638 84 | 0.001 % |
682.14/682.14 c | 536462 | 83094 1545688 4776392 | 2147483647 536461 84 | 0.001 % |
682.44/682.46 c | 536563 | 83094 1545688 4776392 | 2147483647 536562 84 | 0.001 % |
683.14/683.15 c | 536673 | 83094 1545688 4776392 | 2147483647 536672 84 | 0.001 % |
683.44/683.50 c | 536794 | 83094 1545688 4776392 | 2147483647 536793 84 | 0.001 % |
683.84/683.88 c | 536927 | 83094 1545688 4776392 | 2147483647 536926 84 | 0.001 % |
684.14/684.16 c | 537074 | 83094 1545688 4776392 | 2147483647 537073 84 | 0.001 % |
684.54/684.60 c | 537234 | 83094 1545688 4776392 | 2147483647 537233 84 | 0.001 % |
685.04/685.08 c | 537411 | 83094 1545688 4776392 | 2147483647 537410 84 | 0.001 % |
685.44/685.49 c | 537606 | 83094 1545688 4776392 | 2147483647 537605 84 | 0.001 % |
685.84/685.85 c | 537818 | 83094 1545688 4776392 | 2147483647 537817 84 | 0.001 % |
686.24/686.22 c | 538051 | 83094 1545688 4776392 | 2147483647 538050 84 | 0.001 % |
686.74/686.75 c | 538307 | 83094 1545688 4776392 | 2147483647 538306 84 | 0.001 % |
687.44/687.51 c | 538588 | 83094 1545688 4776392 | 2147483647 538587 84 | 0.001 % |
688.14/688.14 c | 538897 | 83094 1545688 4776392 | 2147483647 538896 84 | 0.001 % |
688.74/688.78 c | 539236 | 83094 1545688 4776392 | 2147483647 539235 84 | 0.001 % |
689.54/689.57 c | 539609 | 83094 1545688 4776392 | 2147483647 539608 84 | 0.001 % |
690.04/690.08 c | 540019 | 83094 1545688 4776392 | 2147483647 540018 84 | 0.001 % |
691.04/691.02 c | 540469 | 83094 1545688 4776392 | 2147483647 540468 84 | 0.001 % |
692.14/692.13 c | 540963 | 83094 1545688 4776392 | 2147483647 540962 84 | 0.001 % |
692.94/692.94 c | 541505 | 83094 1545688 4776392 | 2147483647 541504 84 | 0.001 % |
694.14/694.19 c | 542101 | 83094 1545688 4776392 | 2147483647 542100 84 | 0.001 % |
695.24/695.29 c | 542757 | 83094 1545688 4776392 | 2147483647 542756 84 | 0.001 % |
696.54/696.54 c | 543477 | 83094 1545688 4776392 | 2147483647 543476 84 | 0.001 % |
697.94/697.98 c | 544269 | 83094 1545688 4776392 | 2147483647 544268 84 | 0.001 % |
699.34/699.34 c | 545140 | 83094 1545688 4776392 | 2147483647 545139 84 | 0.001 % |
700.74/700.81 c | 546098 | 83094 1545688 4776392 | 2147483647 546097 84 | 0.001 % |
702.34/702.34 c | 547151 | 83094 1545688 4776392 | 2147483647 547150 84 | 0.001 % |
703.74/703.74 c | 548309 | 83094 1545688 4776392 | 2147483647 548308 84 | 0.001 % |
705.24/705.25 c | 549583 | 83094 1545688 4776392 | 2147483647 549582 84 | 0.001 % |
707.34/707.41 c | 550984 | 83094 1545688 4776392 | 2147483647 550983 84 | 0.001 % |
710.04/710.09 c | 552525 | 83094 1545688 4776392 | 2147483647 552524 84 | 0.001 % |
712.74/712.80 c | 554219 | 83094 1545688 4776392 | 2147483647 554218 85 | 0.001 % |
714.74/714.77 c | 556083 | 83094 1545688 4776392 | 2147483647 556082 85 | 0.001 % |
717.84/717.82 c | 558132 | 83094 1545688 4776392 | 2147483647 558131 85 | 0.001 % |
721.44/721.45 c | 560385 | 83094 1545688 4776392 | 2147483647 560384 85 | 0.001 % |
724.83/724.87 c | 562864 | 83094 1545688 4776392 | 2147483647 562863 85 | 0.001 % |
728.63/728.60 c | 565590 | 83094 1545688 4776392 | 2147483647 565589 85 | 0.001 % |
732.83/732.87 c | 568587 | 83094 1545688 4776392 | 2147483647 568586 85 | 0.001 % |
737.33/737.36 c | 571884 | 83094 1545688 4776392 | 2147483647 571883 85 | 0.001 % |
743.53/743.55 c | 575509 | 83094 1545688 4776392 | 2147483647 575508 85 | 0.001 % |
750.13/750.16 c | 579496 | 83094 1545688 4776392 | 2147483647 579495 85 | 0.001 % |
755.83/755.83 c | 583882 | 83094 1545688 4776392 | 2147483647 583881 86 | 0.001 % |
759.93/759.96 c | 588705 | 83094 1545688 4776392 | 2147483647 588704 86 | 0.001 % |
767.03/767.04 c | 594010 | 83094 1545688 4776392 | 2147483647 594009 85 | 0.001 % |
767.53/767.58 c | 594110 | 83094 1545688 4776392 | 2147483647 594109 85 | 0.001 % |
768.03/768.03 c | 594220 | 83094 1545688 4776392 | 2147483647 594219 85 | 0.001 % |
768.53/768.51 c | 594344 | 83094 1545688 4776392 | 2147483647 594343 85 | 0.001 % |
768.83/768.85 c | 594478 | 83094 1545688 4776392 | 2147483647 594477 85 | 0.001 % |
769.03/769.05 c | 594624 | 83094 1545688 4776392 | 2147483647 594623 85 | 0.001 % |
769.33/769.36 c | 594785 | 83094 1545688 4776392 | 2147483647 594784 85 | 0.001 % |
769.73/769.70 c | 594961 | 83094 1545688 4776392 | 2147483647 594960 85 | 0.001 % |
770.53/770.50 c | 595154 | 83094 1545688 4776392 | 2147483647 595153 85 | 0.001 % |
771.14/771.16 c | 595366 | 83094 1545688 4776392 | 2147483647 595365 85 | 0.001 % |
771.43/771.50 c | 595599 | 83094 1545688 4776392 | 2147483647 595598 85 | 0.001 % |
772.73/772.78 c | 595855 | 83094 1545688 4776392 | 2147483647 595854 85 | 0.001 % |
774.24/774.25 c | 596137 | 83094 1545688 4776392 | 2147483647 596136 85 | 0.001 % |
775.14/775.13 c | 596446 | 83094 1545688 4776392 | 2147483647 596445 85 | 0.001 % |
776.04/776.02 c | 596786 | 83094 1545688 4776392 | 2147483647 596785 85 | 0.001 % |
776.94/776.99 c | 597158 | 83094 1545688 4776392 | 2147483647 597157 85 | 0.001 % |
777.74/777.72 c | 597568 | 83094 1545688 4776392 | 2147483647 597567 85 | 0.001 % |
779.24/779.28 c | 598017 | 83094 1545688 4776392 | 2147483647 598016 85 | 0.001 % |
780.34/780.38 c | 598510 | 83094 1545688 4776392 | 2147483647 598509 86 | 0.001 % |
781.34/781.39 c | 599052 | 83094 1545688 4776392 | 2147483647 599051 86 | 0.001 % |
782.64/782.65 c | 599648 | 83094 1545688 4776392 | 2147483647 599647 86 | 0.001 % |
783.84/783.91 c | 600304 | 83094 1545688 4776392 | 2147483647 600303 86 | 0.001 % |
784.84/784.85 c | 601024 | 83094 1545688 4776392 | 2147483647 601023 86 | 0.001 % |
786.04/786.02 c | 601816 | 83094 1545688 4776392 | 2147483647 601815 86 | 0.001 % |
786.84/786.90 c | 602687 | 83094 1545688 4776392 | 2147483647 602686 86 | 0.001 % |
788.34/788.40 c | 603648 | 83094 1545688 4776392 | 2147483647 603647 86 | 0.001 % |
790.54/790.58 c | 604702 | 83094 1545688 4776392 | 2147483647 604701 86 | 0.001 % |
792.94/792.97 c | 605860 | 83094 1545688 4776392 | 2147483647 605859 86 | 0.001 % |
795.94/795.96 c | 607134 | 83094 1545688 4776392 | 2147483647 607133 86 | 0.001 % |
798.04/798.04 c | 608535 | 83094 1545688 4776392 | 2147483647 608534 85 | 0.001 % |
800.64/800.62 c | 610075 | 83094 1545688 4776392 | 2147483647 610074 86 | 0.001 % |
803.64/803.69 c | 611769 | 83094 1545688 4776392 | 2147483647 611768 86 | 0.001 % |
806.24/806.28 c | 613633 | 83094 1545688 4776392 | 2147483647 613632 86 | 0.001 % |
810.04/810.01 c | 615682 | 83094 1545688 4776392 | 2147483647 615681 85 | 0.001 % |
813.14/813.15 c | 617935 | 83094 1545688 4776392 | 2147483647 617934 85 | 0.001 % |
817.84/817.85 c | 620413 | 83094 1545688 4776392 | 2147483647 620412 85 | 0.001 % |
820.54/820.59 c | 623140 | 83094 1545688 4776392 | 2147483647 623139 86 | 0.001 % |
823.74/823.73 c | 626138 | 83094 1545688 4776392 | 2147483647 626137 86 | 0.001 % |
828.14/828.18 c | 629434 | 83094 1545688 4776392 | 2147483647 629433 86 | 0.001 % |
834.04/834.09 c | 633059 | 83094 1545688 4776392 | 2147483647 633058 86 | 0.001 % |
841.44/841.49 c | 637046 | 83094 1545688 4776392 | 2147483647 637045 87 | 0.001 % |
847.34/847.34 c | 641431 | 83094 1545688 4776392 | 2147483647 641430 88 | 0.001 % |
855.04/855.03 c | 646255 | 83094 1545688 4776392 | 2147483647 646254 88 | 0.001 % |
863.24/863.24 c | 651560 | 83094 1545688 4776392 | 2147483647 651559 88 | 0.001 % |
873.74/873.71 c | 657395 | 83094 1545688 4776392 | 2147483647 657394 89 | 0.001 % |
873.94/873.93 c | 657495 | 83094 1545688 4776392 | 2147483647 657494 89 | 0.001 % |
874.44/874.43 c | 657605 | 83094 1545688 4776392 | 2147483647 657604 89 | 0.001 % |
874.94/875.00 c | 657728 | 83094 1545688 4776392 | 2147483647 657727 89 | 0.001 % |
875.34/875.33 c | 657863 | 83094 1545688 4776392 | 2147483647 657862 89 | 0.001 % |
875.84/875.87 c | 658009 | 83094 1545688 4776392 | 2147483647 658008 89 | 0.001 % |
876.34/876.31 c | 658170 | 83094 1545688 4776392 | 2147483647 658169 89 | 0.001 % |
877.04/877.02 c | 658346 | 83094 1545688 4776392 | 2147483647 658345 89 | 0.001 % |
877.85/877.87 c | 658539 | 83094 1545688 4776392 | 2147483647 658538 89 | 0.001 % |
878.64/878.65 c | 658752 | 83094 1545688 4776392 | 2147483647 658751 89 | 0.001 % |
879.64/879.70 c | 658986 | 83094 1545688 4776392 | 2147483647 658985 89 | 0.001 % |
880.44/880.41 c | 659242 | 83094 1545688 4776392 | 2147483647 659241 89 | 0.001 % |
881.24/881.23 c | 659523 | 83094 1545688 4776392 | 2147483647 659522 89 | 0.001 % |
882.34/882.32 c | 659832 | 83094 1545688 4776392 | 2147483647 659831 89 | 0.001 % |
883.24/883.26 c | 660172 | 83094 1545688 4776392 | 2147483647 660171 89 | 0.001 % |
884.24/884.27 c | 660544 | 83094 1545688 4776392 | 2147483647 660543 89 | 0.001 % |
885.25/885.27 c | 660955 | 83094 1545688 4776392 | 2147483647 660954 89 | 0.001 % |
886.25/886.27 c | 661404 | 83094 1545688 4776392 | 2147483647 661403 89 | 0.001 % |
887.15/887.20 c | 661897 | 83094 1545688 4776392 | 2147483647 661896 89 | 0.001 % |
888.35/888.33 c | 662440 | 83094 1545688 4776392 | 2147483647 662439 89 | 0.001 % |
889.45/889.44 c | 663036 | 83094 1545688 4776392 | 2147483647 663035 89 | 0.001 % |
890.85/890.83 c | 663691 | 83094 1545688 4776392 | 2147483647 663690 89 | 0.001 % |
892.85/892.83 c | 664413 | 83094 1545688 4776392 | 2147483647 664412 89 | 0.001 % |
895.05/895.06 c | 665205 | 83094 1545688 4776392 | 2147483647 665204 89 | 0.001 % |
896.85/896.89 c | 666076 | 83094 1545688 4776392 | 2147483647 666075 89 | 0.001 % |
898.75/898.79 c | 667034 | 83094 1545688 4776392 | 2147483647 667033 89 | 0.001 % |
902.15/902.18 c | 668087 | 83094 1545688 4776392 | 2147483647 668086 89 | 0.001 % |
905.35/905.41 c | 669245 | 83094 1545688 4776392 | 2147483647 669244 89 | 0.001 % |
908.35/908.40 c | 670524 | 83094 1545688 4776392 | 2147483647 670523 89 | 0.001 % |
910.85/910.89 c | 671926 | 83094 1545688 4776392 | 2147483647 671925 89 | 0.001 % |
914.75/914.74 c | 673467 | 83094 1545688 4776392 | 2147483647 673466 89 | 0.001 % |
916.55/916.55 c | 675161 | 83094 1545688 4776392 | 2147483647 675160 89 | 0.001 % |
919.95/919.99 c | 677024 | 83094 1545688 4776392 | 2147483647 677023 89 | 0.001 % |
924.15/924.12 c | 679073 | 83094 1545688 4776392 | 2147483647 679072 89 | 0.001 % |
928.95/928.97 c | 681326 | 83094 1545688 4776392 | 2147483647 681325 90 | 0.001 % |
933.15/933.18 c | 683804 | 83094 1545688 4776392 | 2147483647 683803 90 | 0.001 % |
937.35/937.38 c | 686529 | 83094 1545688 4776392 | 2147483647 686528 90 | 0.001 % |
942.65/942.67 c | 689526 | 83094 1545688 4776392 | 2147483647 689525 89 | 0.001 % |
948.75/948.74 c | 692823 | 83094 1545688 4776392 | 2147483647 692822 89 | 0.001 % |
954.45/954.47 c | 696450 | 83094 1545688 4776392 | 2147483647 696449 89 | 0.001 % |
961.95/961.92 c | 700440 | 83094 1545688 4776392 | 2147483647 700439 89 | 0.001 % |
970.36/970.34 c | 704827 | 83094 1545688 4776392 | 2147483647 704826 89 | 0.001 % |
978.96/978.94 c | 709650 | 83094 1545688 4776392 | 2147483647 709649 89 | 0.001 % |
988.26/988.25 c | 714956 | 83094 1545688 4776392 | 2147483647 714955 89 | 0.001 % |
998.47/998.52 c | 720793 | 83094 1545688 4776392 | 2147483647 720792 88 | 0.001 % |
1010.27/1010.24 c | 727211 | 83094 1545688 4776392 | 2147483647 727210 88 | 0.001 % |
1010.57/1010.54 c | 727311 | 83094 1545688 4776392 | 2147483647 727310 88 | 0.001 % |
1010.77/1010.77 c | 727421 | 83094 1545688 4776392 | 2147483647 727420 88 | 0.001 % |
1011.17/1011.15 c | 727542 | 83094 1545688 4776392 | 2147483647 727541 88 | 0.001 % |
1011.77/1011.74 c | 727675 | 83094 1545688 4776392 | 2147483647 727674 88 | 0.001 % |
1012.27/1012.26 c | 727823 | 83094 1545688 4776392 | 2147483647 727822 88 | 0.001 % |
1012.77/1012.82 c | 727984 | 83094 1545688 4776392 | 2147483647 727983 88 | 0.001 % |
1013.37/1013.34 c | 728161 | 83094 1545688 4776392 | 2147483647 728160 88 | 0.001 % |
1013.97/1013.93 c | 728354 | 83094 1545688 4776392 | 2147483647 728353 88 | 0.001 % |
1014.67/1014.66 c | 728566 | 83094 1545688 4776392 | 2147483647 728565 88 | 0.001 % |
1015.47/1015.45 c | 728799 | 83094 1545688 4776392 | 2147483647 728798 88 | 0.001 % |
1016.27/1016.26 c | 729056 | 83094 1545688 4776392 | 2147483647 729055 88 | 0.001 % |
1017.27/1017.27 c | 729337 | 83094 1545688 4776392 | 2147483647 729336 88 | 0.001 % |
1018.37/1018.34 c | 729648 | 83094 1545688 4776392 | 2147483647 729647 88 | 0.001 % |
1019.57/1019.54 c | 729987 | 83094 1545688 4776392 | 2147483647 729986 88 | 0.001 % |
1020.87/1020.89 c | 730359 | 83094 1545688 4776392 | 2147483647 730358 88 | 0.001 % |
1021.87/1021.86 c | 730770 | 83094 1545688 4776392 | 2147483647 730769 88 | 0.001 % |
1022.97/1022.98 c | 731219 | 83094 1545688 4776392 | 2147483647 731218 88 | 0.001 % |
1024.27/1024.29 c | 731713 | 83094 1545688 4776392 | 2147483647 731712 88 | 0.001 % |
1025.57/1025.53 c | 732258 | 83094 1545688 4776392 | 2147483647 732257 88 | 0.001 % |
1027.07/1027.09 c | 732854 | 83094 1545688 4776392 | 2147483647 732853 88 | 0.001 % |
1028.67/1028.67 c | 733509 | 83094 1545688 4776392 | 2147483647 733508 88 | 0.001 % |
1030.57/1030.57 c | 734229 | 83094 1545688 4776392 | 2147483647 734228 88 | 0.001 % |
1032.17/1032.14 c | 735023 | 83094 1545688 4776392 | 2147483647 735022 88 | 0.001 % |
1034.77/1034.82 c | 735896 | 83094 1545688 4776392 | 2147483647 735895 88 | 0.001 % |
1036.47/1036.47 c | 736855 | 83094 1545688 4776392 | 2147483647 736854 88 | 0.001 % |
1038.37/1038.42 c | 737908 | 83094 1545688 4776392 | 2147483647 737907 88 | 0.001 % |
1040.17/1040.17 c | 739066 | 83094 1545688 4776392 | 2147483647 739065 88 | 0.001 % |
1043.17/1043.13 c | 740340 | 83094 1545688 4776392 | 2147483647 740339 89 | 0.001 % |
1045.47/1045.46 c | 741740 | 83094 1545688 4776392 | 2147483647 741739 88 | 0.001 % |
1047.97/1047.93 c | 743281 | 83094 1545688 4776392 | 2147483647 743280 88 | 0.001 % |
1051.27/1051.25 c | 744975 | 83094 1545688 4776392 | 2147483647 744974 88 | 0.001 % |
1054.57/1054.61 c | 746838 | 83094 1545688 4776392 | 2147483647 746837 88 | 0.001 % |
1058.27/1058.23 c | 748887 | 83094 1545688 4776392 | 2147483647 748886 88 | 0.001 % |
1063.27/1063.30 c | 751140 | 83094 1545688 4776392 | 2147483647 751139 88 | 0.001 % |
1068.07/1068.10 c | 753620 | 83094 1545688 4776392 | 2147483647 753619 88 | 0.001 % |
1073.37/1073.32 c | 756345 | 83094 1545688 4776392 | 2147483647 756344 88 | 0.001 % |
1078.37/1078.37 c | 759342 | 83094 1545688 4776392 | 2147483647 759341 87 | 0.001 % |
1084.46/1084.49 c | 762639 | 83094 1545688 4776392 | 2147483647 762638 87 | 0.001 % |
1091.66/1091.69 c | 766264 | 83094 1545688 4776392 | 2147483647 766263 87 | 0.001 % |
1098.66/1098.69 c | 770251 | 83094 1545688 4776392 | 2147483647 770250 87 | 0.001 % |
1107.47/1107.42 c | 774636 | 83094 1545688 4776392 | 2147483647 774635 87 | 0.001 % |
1115.87/1115.82 c | 779459 | 83094 1545688 4776392 | 2147483647 779458 87 | 0.001 % |
1127.47/1127.48 c | 784765 | 83094 1545688 4776392 | 2147483647 784764 87 | 0.001 % |
1139.57/1139.58 c | 790601 | 83094 1545688 4776392 | 2147483647 790600 88 | 0.001 % |
1148.37/1148.40 c | 797020 | 83094 1545688 4776392 | 2147483647 797019 88 | 0.001 % |
1164.77/1164.80 c | 804081 | 83094 1545688 4776392 | 2147483647 804080 88 | 0.001 % |
1165.67/1165.61 c | 804181 | 83094 1545688 4776392 | 2147483647 804180 88 | 0.001 % |
1165.97/1165.92 c | 804291 | 83094 1545688 4776392 | 2147483647 804290 88 | 0.001 % |
1166.17/1166.19 c | 804414 | 83094 1545688 4776392 | 2147483647 804413 88 | 0.001 % |
1166.57/1166.60 c | 804550 | 83094 1545688 4776392 | 2147483647 804549 88 | 0.001 % |
1166.97/1167.01 c | 804697 | 83094 1545688 4776392 | 2147483647 804696 88 | 0.001 % |
1167.37/1167.38 c | 804857 | 83094 1545688 4776392 | 2147483647 804856 88 | 0.001 % |
1167.77/1167.71 c | 805033 | 83094 1545688 4776392 | 2147483647 805032 88 | 0.001 % |
1168.57/1168.51 c | 805226 | 83094 1545688 4776392 | 2147483647 805225 88 | 0.001 % |
1169.27/1169.21 c | 805438 | 83094 1545688 4776392 | 2147483647 805437 88 | 0.001 % |
1169.87/1169.89 c | 805672 | 83094 1545688 4776392 | 2147483647 805671 88 | 0.001 % |
1170.47/1170.50 c | 805930 | 83094 1545688 4776392 | 2147483647 805929 88 | 0.001 % |
1171.17/1171.15 c | 806211 | 83094 1545688 4776392 | 2147483647 806210 88 | 0.001 % |
1171.97/1171.95 c | 806520 | 83094 1545688 4776392 | 2147483647 806519 88 | 0.001 % |
1172.57/1172.60 c | 806859 | 83094 1545688 4776392 | 2147483647 806858 88 | 0.001 % |
1173.37/1173.35 c | 807231 | 83094 1545688 4776392 | 2147483647 807230 88 | 0.001 % |
1173.77/1173.80 c | 807640 | 83094 1545688 4776392 | 2147483647 807639 88 | 0.001 % |
1174.57/1174.56 c | 808091 | 83094 1545688 4776392 | 2147483647 808090 88 | 0.001 % |
1175.67/1175.68 c | 808584 | 83094 1545688 4776392 | 2147483647 808583 88 | 0.001 % |
1177.77/1177.72 c | 809126 | 83094 1545688 4776392 | 2147483647 809125 88 | 0.001 % |
1179.37/1179.34 c | 809723 | 83094 1545688 4776392 | 2147483647 809722 88 | 0.001 % |
1180.57/1180.59 c | 810378 | 83094 1545688 4776392 | 2147483647 810377 88 | 0.001 % |
1182.77/1182.79 c | 811099 | 83094 1545688 4776392 | 2147483647 811098 88 | 0.001 % |
1184.78/1184.74 c | 811891 | 83094 1545688 4776392 | 2147483647 811890 88 | 0.001 % |
1186.57/1186.51 c | 812762 | 83094 1545688 4776392 | 2147483647 812761 88 | 0.001 % |
1189.37/1189.33 c | 813721 | 83094 1545688 4776392 | 2147483647 813720 88 | 0.001 % |
1192.07/1192.10 c | 814774 | 83094 1545688 4776392 | 2147483647 814773 88 | 0.001 % |
1194.37/1194.35 c | 815932 | 83094 1545688 4776392 | 2147483647 815931 88 | 0.001 % |
1196.27/1196.26 c | 817206 | 83094 1545688 4776392 | 2147483647 817205 88 | 0.001 % |
1199.27/1199.23 c | 818606 | 83094 1545688 4776392 | 2147483647 818605 88 | 0.001 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820668-1242465387/watcher-1820668-1242465387 -o /tmp/evaluation-result-1820668-1242465387/solver-1820668-1242465387 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820668-1242465387.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23557
/proc/meminfo: memFree=857688/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=952 CPUtime=0
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 122 0 0 0 0 0 0 0 18 0 1 0 1011039494 974848 58 4294967295 134512640 135223648 3220462208 3220460804 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 238 59 46 174 0 63 0
[startup+0.059433 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23557
/proc/meminfo: memFree=857688/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=6716 CPUtime=0.06
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 1391 0 0 0 6 0 0 0 18 0 1 0 1011039494 6877184 1327 4294967295 134512640 135223648 3220462208 3220461160 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 1679 1328 46 174 0 1504 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 9132
[startup+0.129425 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23557
/proc/meminfo: memFree=857688/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=13052 CPUtime=0.13
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 2797 0 0 0 10 3 0 0 18 0 1 0 1011039494 13365248 2733 4294967295 134512640 135223648 3220462208 3220460708 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 3263 2733 46 174 0 3088 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 15468
[startup+0.329408 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23557
/proc/meminfo: memFree=857688/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=28952 CPUtime=0.33
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 6501 0 0 0 29 4 0 0 18 0 1 0 1011039494 29646848 6437 4294967295 134512640 135223648 3220462208 3220461160 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 7238 6438 46 174 0 7063 0
Current children cumulated CPU time (s) 0.33
Current children cumulated vsize (KiB) 31368
[startup+0.729377 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 23557
/proc/meminfo: memFree=857688/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=60984 CPUtime=0.73
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 13921 0 0 0 64 9 0 0 18 0 1 0 1011039494 62447616 13857 4294967295 134512640 135223648 3220462208 3220461160 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 15246 13858 46 174 0 15071 0
Current children cumulated CPU time (s) 0.73
Current children cumulated vsize (KiB) 63400
[startup+1.52931 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 23745
/proc/meminfo: memFree=780988/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=117412 CPUtime=1.53
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 31009 0 0 0 134 19 0 0 20 0 1 0 1011039494 120229888 27563 4294967295 134512640 135223648 3220462208 3220460208 134549042 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 29353 27563 73 174 0 29178 0
Current children cumulated CPU time (s) 1.53
Current children cumulated vsize (KiB) 119828
[startup+3.12918 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23745
/proc/meminfo: memFree=741184/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=134000 CPUtime=3.13
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 33557 0 0 0 293 20 0 0 25 0 1 0 1011039494 137216000 30111 4294967295 134512640 135223648 3220462208 3220460208 134548206 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 33500 30111 73 174 0 33325 0
Current children cumulated CPU time (s) 3.13
Current children cumulated vsize (KiB) 136416
[startup+6.32891 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 23745
/proc/meminfo: memFree=726648/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=143576 CPUtime=6.33
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 35741 0 0 0 610 23 0 0 25 0 1 0 1011039494 147021824 32295 4294967295 134512640 135223648 3220462208 3220460224 134586712 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 35894 32295 73 174 0 35719 0
Current children cumulated CPU time (s) 6.33
Current children cumulated vsize (KiB) 145992
[startup+12.7184 s]
/proc/loadavg: 0.94 0.98 0.99 2/95 23747
/proc/meminfo: memFree=712616/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2416 CPUtime=0
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 367 647 0 0 0 0 0 0 18 0 1 0 1011039493 2473984 277 4294967295 134512640 135169312 3220802272 3220800808 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 604 277 235 161 0 43 0
[pid=23561] ppid=23557 vsize=168416 CPUtime=12.72
/proc/23561/stat : 23561 (SatELite_releas) R 23557 23557 10436 0 -1 4202496 39449 0 0 0 1247 25 0 0 25 0 1 0 1011039494 172457984 35574 4294967295 134512640 135223648 3220462208 3220460176 134564737 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23561/statm: 42104 35574 73 174 0 41929 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 170832
[startup+25.5173 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 23749
/proc/meminfo: memFree=748160/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=75272 CPUtime=8.35
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 18520 0 0 0 818 17 0 0 25 0 1 0 1011041211 77078528 18455 4294967295 134512640 135215339 3216662336 3216660624 134528721 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 18818 18455 73 172 0 18645 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 77692
[startup+51.1152 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 23754
/proc/meminfo: memFree=741628/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=81868 CPUtime=33.95
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 20147 0 0 0 3377 18 0 0 25 0 1 0 1011041211 83832832 20082 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 20467 20082 73 172 0 20294 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 84288
[startup+102.321 s]
/proc/loadavg: 0.98 0.98 0.99 4/95 23941
/proc/meminfo: memFree=727956/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=95348 CPUtime=85.16
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 23498 0 0 0 8495 21 0 0 25 0 1 0 1011041211 97636352 23433 4294967295 134512640 135215339 3216662336 3216660400 134538933 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 23837 23433 73 172 0 23664 0
Current children cumulated CPU time (s) 102.29
Current children cumulated vsize (KiB) 97768
[startup+162.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 24129
/proc/meminfo: memFree=710520/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=113352 CPUtime=145.16
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 27945 0 0 0 14491 25 0 0 25 0 1 0 1011041211 116072448 27880 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 28338 27880 73 172 0 28165 0
Current children cumulated CPU time (s) 162.29
Current children cumulated vsize (KiB) 115772
[startup+222.321 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 24320
/proc/meminfo: memFree=692680/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=130872 CPUtime=205.17
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 32348 0 0 0 20479 38 0 0 25 0 1 0 1011041211 134012928 32283 4294967295 134512640 135215339 3216662336 3216660624 134528802 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 32718 32283 73 172 0 32545 0
Current children cumulated CPU time (s) 222.3
Current children cumulated vsize (KiB) 133292
[startup+282.316 s]
/proc/loadavg: 1.04 1.00 1.00 3/95 24509
/proc/meminfo: memFree=672800/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=151056 CPUtime=265.17
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 37320 0 0 0 26477 40 0 0 25 0 1 0 1011041211 154681344 37255 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 37764 37255 73 172 0 37591 0
Current children cumulated CPU time (s) 282.3
Current children cumulated vsize (KiB) 153476
[startup+342.321 s]
/proc/loadavg: 1.09 1.03 1.01 3/95 24695
/proc/meminfo: memFree=651016/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=172772 CPUtime=325.18
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 42773 0 0 0 32475 43 0 0 25 0 1 0 1011041211 176918528 42708 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 43193 42708 73 172 0 43020 0
Current children cumulated CPU time (s) 342.31
################
# More data... #
################
/proc/23748/statm: 56892 56358 73 172 0 56719 0
Current children cumulated CPU time (s) 522.32
Current children cumulated vsize (KiB) 229988
[startup+582.321 s]
/proc/loadavg: 1.15 1.08 1.02 3/95 25454
/proc/meminfo: memFree=577592/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=247824 CPUtime=565.2
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 61260 0 0 0 56462 58 0 0 25 0 1 0 1011041211 253771776 61195 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 61956 61195 73 172 0 61783 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 250244
[startup+642.316 s]
/proc/loadavg: 1.10 1.08 1.02 2/95 25640
/proc/meminfo: memFree=561116/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=263836 CPUtime=625.2
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 65299 0 0 0 62461 59 0 0 25 0 1 0 1011041211 270168064 65234 4294967295 134512640 135215339 3216662336 3216660336 134532672 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 65959 65234 73 172 0 65786 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 266256
[startup+702.321 s]
/proc/loadavg: 1.04 1.06 1.01 2/95 25829
/proc/meminfo: memFree=545112/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=280292 CPUtime=685.21
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 69381 0 0 0 68457 64 0 0 25 0 1 0 1011041211 287019008 69316 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 70073 69316 73 172 0 69900 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 282712
[startup+762.316 s]
/proc/loadavg: 1.01 1.05 1.01 3/95 26017
/proc/meminfo: memFree=525884/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=298664 CPUtime=745.21
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 74007 0 0 0 74453 68 0 0 25 0 1 0 1011041211 305831936 73942 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 74666 73942 73 172 0 74493 0
Current children cumulated CPU time (s) 762.34
Current children cumulated vsize (KiB) 301084
[startup+822.311 s]
/proc/loadavg: 1.00 1.04 1.00 4/95 26204
/proc/meminfo: memFree=512632/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=312140 CPUtime=805.21
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 77380 0 0 0 80444 77 0 0 25 0 1 0 1011041211 319631360 77315 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 78035 77315 73 172 0 77862 0
Current children cumulated CPU time (s) 822.34
Current children cumulated vsize (KiB) 314560
[startup+882.307 s]
/proc/loadavg: 1.00 1.03 1.00 2/95 26393
/proc/meminfo: memFree=489808/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=334956 CPUtime=865.21
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 83056 0 0 0 86438 83 0 0 25 0 1 0 1011041211 342994944 82991 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 83739 82991 73 172 0 83566 0
Current children cumulated CPU time (s) 882.34
Current children cumulated vsize (KiB) 337376
[startup+942.312 s]
/proc/loadavg: 1.04 1.04 1.00 2/95 26583
/proc/meminfo: memFree=477168/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=347412 CPUtime=925.22
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 86217 0 0 0 92436 86 0 0 25 0 1 0 1011041211 355749888 86152 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 86853 86152 73 172 0 86680 0
Current children cumulated CPU time (s) 942.35
Current children cumulated vsize (KiB) 349832
[startup+1002.33 s]
/proc/loadavg: 1.09 1.05 1.01 2/95 26772
/proc/meminfo: memFree=467488/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=358348 CPUtime=985.24
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 88618 0 0 0 98435 89 0 0 25 0 1 0 1011041211 366948352 88553 4294967295 134512640 135215339 3216662336 3216660336 134532626 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 89587 88553 73 172 0 89414 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 360768
[startup+1062.32 s]
/proc/loadavg: 1.03 1.04 1.00 2/95 26960
/proc/meminfo: memFree=457436/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=368552 CPUtime=1045.24
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 91138 0 0 0 104435 89 0 0 25 0 1 0 1011041211 377397248 91073 4294967295 134512640 135215339 3216662336 3216660432 134527518 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 92138 91073 73 172 0 91965 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 370972
[startup+1122.32 s]
/proc/loadavg: 1.01 1.03 1.00 3/95 27147
/proc/meminfo: memFree=449136/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=376832 CPUtime=1105.24
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 93169 0 0 0 110435 89 0 0 25 0 1 0 1011041211 385875968 93104 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 94208 93104 73 172 0 94035 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 379252
[startup+1182.31 s]
/proc/loadavg: 1.00 1.02 1.00 3/95 27336
/proc/meminfo: memFree=434256/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=391664 CPUtime=1165.24
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 96896 0 0 0 116430 94 0 0 25 0 1 0 1011041211 401063936 96831 4294967295 134512640 135215339 3216662336 3216660624 134528666 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 97916 96831 73 172 0 97743 0
Current children cumulated CPU time (s) 1182.37
Current children cumulated vsize (KiB) 394084
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.00 1.02 1.00 2/95 27336
/proc/meminfo: memFree=430668/2074464 swapFree=1948616/1959888
[pid=23557] ppid=23555 vsize=2420 CPUtime=17.13
/proc/23557/stat : 23557 (SatELiteGTI) S 23555 23557 10436 0 -1 4194304 386 43483 0 0 0 0 1682 31 18 0 1 0 1011039493 2478080 278 4294967295 134512640 135169312 3220802272 3220798488 3084934894 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/23557/statm: 605 278 235 161 0 44 0
[pid=23748] ppid=23557 vsize=395108 CPUtime=1182.94
/proc/23748/stat : 23748 (minisat_static) R 23557 23557 10436 0 -1 4202496 97777 0 0 0 118198 96 0 0 25 0 1 0 1011041211 404590592 97712 4294967295 134512640 135215339 3216662336 3216660624 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/23748/statm: 98777 97712 73 172 0 98604 0
Current children cumulated CPU time (s) 1200.07
Current children cumulated vsize (KiB) 397528
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 23557 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=820000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=310000
# CPU time returned by wait4() is 17.13
# while last known CPU time is 1200.07
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.04
CPU time (s): 1200.07
CPU user time (s): 1198.8
CPU system time (s): 1.27
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 397528
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.82
system time used= 0.31
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 43869
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= 18
involuntary context switches= 35
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi16 at 2009-05-16 11:16:27
IDJOB=1820668
IDBENCH=20578
IDSOLVER=657
FILE ID=tipi16/1820668-1242465387
PBS_JOBID=
Free space on /tmp= 5496 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820668-1242465387/watcher-1820668-1242465387 -o /tmp/evaluation-result-1820668-1242465387/solver-1820668-1242465387 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820668-1242465387.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6fcbaf8c6c7ed0c41d8ac12258cafaee
RANDOM SEED= 1846590201
Linux tipi16 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 857952 kB
Buffers: 51784 kB
Cached: 1069268 kB
SwapCached: 6028 kB
Active: 513356 kB
Inactive: 617760 kB
HighTotal: 1178688 kB
HighFree: 320536 kB
LowTotal: 895776 kB
LowFree: 537416 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 33748 kB
Writeback: 0 kB
AnonPages: 9308 kB
Mapped: 3260 kB
Slab: 76712 kB
PageTables: 508 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5461 MiB
End job on tipi16 at 2009-05-16 11:36:32