0.00/0.00 c Parsing...
1.92/1.99 c ==============================================================================
1.92/1.99 c | | ORIGINAL | LEARNT | |
1.92/1.99 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.92/1.99 c ==============================================================================
1.92/1.99 c | 0 | 2465730 7141422 | 739718 0 0 nan | 0.000 % |
27.62/27.68 c | 0 | 2391111 7388117 | -- 0 -- -- | -- | -74473/249552
27.62/27.69 c ==============================================================================
27.62/27.69 c Result : #vars: 120317 #clauses: 2391111 #literals: 7388117
27.62/27.69 c CPU time: 27.19 s
27.62/27.69 c ==============================================================================
30.12/30.12 c This is MiniSat 2.0 beta
30.12/30.12 c WARNING: for repeatability, setting FPU to use double precision
30.12/30.12 c ============================[ Problem Statistics ]=============================
30.12/30.12 c | |
30.12/30.12 c | Number of variables: 120317 |
30.12/30.12 c | Number of clauses: 2391111 |
31.62/31.63 c | Parsing time: 1.34 s |
31.72/31.74 c ============================[ Search Statistics ]==============================
31.72/31.74 c | Conflicts | ORIGINAL | LEARNT | Progress |
31.72/31.74 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
31.72/31.74 c ===============================================================================
31.72/31.74 c | 0 | 120317 2391111 7388117 | 797037 0 nan | 0.000 % |
31.92/31.95 c | 100 | 120317 2391111 7388117 | 797037 100 77 | 0.000 % |
32.32/32.33 c | 200 | 120317 2391111 7388117 | 797037 200 55 | 0.000 % |
32.62/32.64 c | 301 | 120317 2391111 7388117 | 797037 301 43 | 0.000 % |
32.72/32.80 c | 412 | 120317 2391111 7388117 | 797037 412 42 | 0.000 % |
32.92/32.94 c | 512 | 120317 2391111 7388117 | 797037 512 45 | 0.000 % |
33.12/33.13 c | 622 | 120317 2391111 7388117 | 797037 622 41 | 0.000 % |
33.12/33.20 c | 743 | 120317 2391111 7388117 | 797037 743 39 | 0.000 % |
33.32/33.40 c | 845 | 120317 2391111 7388117 | 797037 845 37 | 0.000 % |
33.42/33.46 c | 957 | 120317 2391111 7388117 | 797037 957 37 | 0.000 % |
33.52/33.55 c | 1079 | 120317 2391111 7388117 | 797037 1079 39 | 0.000 % |
33.92/33.96 c | 1212 | 120317 2391111 7388117 | 797037 1212 39 | 0.000 % |
34.02/34.03 c | 1313 | 120317 2391111 7388117 | 797037 1313 40 | 0.000 % |
34.12/34.13 c | 1423 | 120317 2391111 7388117 | 797037 1423 40 | 0.000 % |
34.22/34.26 c | 1544 | 120317 2391111 7388117 | 797037 1544 43 | 0.000 % |
34.52/34.57 c | 1677 | 120317 2391111 7388117 | 797037 1677 42 | 0.000 % |
34.62/34.70 c | 1824 | 120317 2391111 7388117 | 797037 1824 40 | 0.000 % |
34.92/34.97 c | 1928 | 120317 2391111 7388117 | 797037 1928 40 | 0.000 % |
35.12/35.14 c | 2040 | 120317 2391111 7388117 | 797037 2040 40 | 0.000 % |
35.22/35.28 c | 2162 | 120317 2391111 7388117 | 797037 2162 40 | 0.000 % |
35.32/35.40 c | 2298 | 120317 2391111 7388117 | 797037 2298 40 | 0.000 % |
35.52/35.57 c | 2462 | 120317 2391111 7388117 | 797037 2462 40 | 0.000 % |
35.62/35.68 c | 2622 | 120317 2391111 7388117 | 797037 2622 41 | 0.000 % |
35.72/35.77 c | 2724 | 120317 2391111 7388117 | 797037 2724 41 | 0.000 % |
35.92/35.94 c | 2834 | 120317 2391111 7388117 | 797037 2834 41 | 0.000 % |
36.02/36.07 c | 2955 | 120317 2391111 7388117 | 797037 2955 41 | 0.000 % |
36.22/36.23 c | 3088 | 120317 2391111 7388117 | 797037 3088 41 | 0.000 % |
36.42/36.51 c | 3234 | 120317 2391111 7388117 | 797037 3234 41 | 0.000 % |
36.62/36.62 c | 3397 | 120317 2391111 7388117 | 797037 3397 40 | 0.000 % |
36.62/36.70 c | 3573 | 120317 2391111 7388117 | 797037 3573 40 | 0.000 % |
36.82/36.86 c | 3674 | 120317 2391111 7388117 | 797037 3674 40 | 0.000 % |
36.92/36.94 c | 3784 | 120317 2391111 7388117 | 797037 3784 40 | 0.000 % |
37.02/37.05 c | 3905 | 120317 2391111 7388117 | 797037 3905 40 | 0.000 % |
37.12/37.17 c | 4039 | 120317 2391111 7388117 | 797037 4039 40 | 0.000 % |
37.32/37.38 c | 4185 | 120317 2391111 7388117 | 797037 4185 40 | 0.000 % |
37.42/37.50 c | 4345 | 120317 2391111 7388117 | 797037 4345 40 | 0.000 % |
37.72/37.71 c | 4521 | 120317 2391111 7388117 | 797037 4521 41 | 0.000 % |
37.82/37.88 c | 4715 | 120317 2391111 7388117 | 797037 4715 40 | 0.000 % |
37.92/37.99 c | 4815 | 120317 2391111 7388117 | 797037 4815 40 | 0.000 % |
38.12/38.15 c | 4928 | 120317 2391111 7388117 | 797037 4928 40 | 0.000 % |
38.22/38.28 c | 5049 | 120317 2391111 7388117 | 797037 5049 40 | 0.000 % |
38.42/38.48 c | 5182 | 120317 2391111 7388117 | 797037 5182 40 | 0.000 % |
38.52/38.57 c | 5331 | 120317 2391111 7388117 | 797037 5331 40 | 0.000 % |
38.72/38.79 c | 5491 | 120317 2391111 7388117 | 797037 5491 40 | 0.000 % |
38.92/38.98 c | 5670 | 120317 2391111 7388117 | 797037 5670 40 | 0.000 % |
39.12/39.12 c | 5863 | 120317 2391111 7388117 | 797037 5863 41 | 0.000 % |
39.22/39.28 c | 6076 | 120317 2391111 7388117 | 797037 6076 40 | 0.000 % |
39.42/39.49 c | 6176 | 120317 2391111 7388117 | 797037 6176 40 | 0.000 % |
39.62/39.61 c | 6286 | 120317 2391111 7388117 | 797037 6286 40 | 0.000 % |
39.72/39.75 c | 6410 | 120317 2391111 7388117 | 797037 6410 40 | 0.000 % |
39.82/39.85 c | 6544 | 120317 2391111 7388117 | 797037 6544 40 | 0.000 % |
40.02/40.05 c | 6691 | 120317 2391111 7388117 | 797037 6691 40 | 0.000 % |
40.12/40.17 c | 6853 | 120317 2391111 7388117 | 797037 6853 40 | 0.000 % |
40.32/40.36 c | 7030 | 120317 2391111 7388117 | 797037 7030 40 | 0.000 % |
40.52/40.54 c | 7223 | 120317 2391111 7388117 | 797037 7223 39 | 0.000 % |
40.62/40.69 c | 7435 | 120317 2391111 7388117 | 797037 7435 40 | 0.000 % |
40.92/40.98 c | 7668 | 120317 2391111 7388117 | 797037 7668 40 | 0.000 % |
41.32/41.36 c | 7772 | 120317 2391111 7388117 | 797037 7772 39 | 0.000 % |
41.52/41.53 c | 7882 | 120317 2391111 7388117 | 797037 7882 39 | 0.000 % |
41.72/41.72 c | 8003 | 120317 2391111 7388117 | 797037 8003 39 | 0.000 % |
41.82/41.83 c | 8136 | 120317 2391111 7388117 | 797037 8136 39 | 0.000 % |
42.02/42.05 c | 8282 | 120317 2391111 7388117 | 797037 8282 39 | 0.000 % |
42.12/42.17 c | 8443 | 120317 2391111 7388117 | 797037 8443 39 | 0.000 % |
42.42/42.49 c | 8620 | 120317 2391111 7388117 | 797037 8620 39 | 0.000 % |
42.52/42.61 c | 8816 | 120317 2391111 7388117 | 797037 8816 39 | 0.000 % |
42.82/42.84 c | 9033 | 120317 2391111 7388117 | 797037 9033 39 | 0.000 % |
43.12/43.15 c | 9269 | 120317 2391111 7388117 | 797037 9269 39 | 0.000 % |
43.32/43.39 c | 9528 | 120317 2391111 7388117 | 797037 9528 39 | 0.000 % |
43.52/43.58 c | 9628 | 120317 2391111 7388117 | 797037 9628 39 | 0.000 % |
43.72/43.75 c | 9740 | 120317 2391111 7388117 | 797037 9740 39 | 0.000 % |
43.82/43.87 c | 9862 | 120317 2391111 7388117 | 797037 9862 39 | 0.000 % |
43.92/43.99 c | 9996 | 120317 2391111 7388117 | 797037 9996 39 | 0.000 % |
44.12/44.12 c | 10142 | 120317 2391111 7388117 | 2147483647 10142 39 | 0.000 % |
44.22/44.30 c | 10303 | 120317 2391111 7388117 | 2147483647 10303 39 | 0.000 % |
44.42/44.44 c | 10479 | 120317 2391111 7388117 | 2147483647 10479 39 | 0.000 % |
44.52/44.57 c | 10673 | 120317 2391111 7388117 | 2147483647 10673 39 | 0.000 % |
44.82/44.85 c | 10885 | 120317 2391111 7388117 | 2147483647 10885 39 | 0.000 % |
45.02/45.10 c | 11118 | 120317 2391111 7388117 | 2147483647 11118 39 | 0.000 % |
45.32/45.33 c | 11374 | 120317 2391111 7388117 | 2147483647 11374 39 | 0.000 % |
45.52/45.55 c | 11655 | 120317 2391111 7388117 | 2147483647 11655 39 | 0.000 % |
45.62/45.70 c | 11755 | 120317 2391111 7388117 | 2147483647 11755 39 | 0.000 % |
45.82/45.88 c | 11865 | 120317 2391111 7388117 | 2147483647 11865 39 | 0.000 % |
46.02/46.07 c | 11987 | 120317 2391111 7388117 | 2147483647 11987 39 | 0.000 % |
46.22/46.24 c | 12121 | 120317 2391111 7388117 | 2147483647 12121 39 | 0.000 % |
46.42/46.41 c | 12268 | 120317 2391111 7388117 | 2147483647 12268 39 | 0.000 % |
46.52/46.56 c | 12429 | 120317 2391111 7388117 | 2147483647 12429 39 | 0.000 % |
46.72/46.74 c | 12605 | 120317 2391111 7388117 | 2147483647 12605 39 | 0.000 % |
46.92/46.96 c | 12798 | 120317 2391111 7388117 | 2147483647 12798 38 | 0.000 % |
47.12/47.16 c | 13011 | 120317 2391111 7388117 | 2147483647 13011 38 | 0.000 % |
47.42/47.44 c | 13245 | 120317 2391111 7388117 | 2147483647 13245 38 | 0.000 % |
47.72/47.78 c | 13502 | 120317 2391111 7388117 | 2147483647 13502 39 | 0.000 % |
48.12/48.11 c | 13784 | 120317 2391111 7388117 | 2147483647 13784 39 | 0.000 % |
48.32/48.38 c | 14093 | 120317 2391111 7388117 | 2147483647 14093 38 | 0.000 % |
48.52/48.54 c | 14194 | 120317 2391111 7388117 | 2147483647 14194 38 | 0.000 % |
48.62/48.64 c | 14304 | 120317 2391111 7388117 | 2147483647 14304 38 | 0.000 % |
48.72/48.78 c | 14425 | 120317 2391111 7388117 | 2147483647 14425 38 | 0.000 % |
48.82/48.87 c | 14559 | 120317 2391111 7388117 | 2147483647 14559 38 | 0.000 % |
49.02/49.03 c | 14705 | 120317 2391111 7388117 | 2147483647 14705 39 | 0.000 % |
49.12/49.19 c | 14867 | 120317 2391111 7388117 | 2147483647 14867 38 | 0.000 % |
49.32/49.38 c | 15043 | 120317 2391111 7388117 | 2147483647 15043 38 | 0.000 % |
49.52/49.60 c | 15237 | 120317 2391111 7388117 | 2147483647 15237 38 | 0.000 % |
49.72/49.77 c | 15450 | 120317 2391111 7388117 | 2147483647 15450 38 | 0.000 % |
50.02/50.04 c | 15683 | 120317 2391111 7388117 | 2147483647 15683 38 | 0.000 % |
50.12/50.20 c | 15940 | 120317 2391111 7388117 | 2147483647 15940 38 | 0.000 % |
50.52/50.52 c | 16221 | 120317 2391111 7388117 | 2147483647 16221 38 | 0.000 % |
50.72/50.76 c | 16530 | 120317 2391111 7388117 | 2147483647 16530 38 | 0.000 % |
50.92/51.00 c | 16869 | 120317 2391111 7388117 | 2147483647 16869 38 | 0.000 % |
51.02/51.11 c | 16969 | 120317 2391111 7388117 | 2147483647 16969 38 | 0.000 % |
51.12/51.20 c | 17079 | 120317 2391111 7388117 | 2147483647 17079 38 | 0.000 % |
51.32/51.38 c | 17200 | 120317 2391111 7388117 | 2147483647 17200 38 | 0.000 % |
51.42/51.47 c | 17333 | 120317 2391111 7388117 | 2147483647 17333 38 | 0.000 % |
51.52/51.59 c | 17480 | 120317 2391111 7388117 | 2147483647 17480 38 | 0.000 % |
51.72/51.77 c | 17640 | 120317 2391111 7388117 | 2147483647 17640 38 | 0.000 % |
51.92/51.92 c | 17816 | 120317 2391111 7388117 | 2147483647 17816 37 | 0.000 % |
52.02/52.09 c | 18011 | 120317 2391111 7388117 | 2147483647 18011 37 | 0.000 % |
52.32/52.33 c | 18224 | 120317 2391111 7388117 | 2147483647 18224 37 | 0.000 % |
52.62/52.62 c | 18458 | 120317 2391111 7388117 | 2147483647 18458 37 | 0.000 % |
52.82/52.88 c | 18714 | 120317 2391111 7388117 | 2147483647 18714 37 | 0.000 % |
53.42/53.50 c | 18995 | 120317 2391111 7388117 | 2147483647 18995 38 | 0.000 % |
54.02/54.05 c | 19304 | 120317 2391111 7388117 | 2147483647 19304 38 | 0.000 % |
54.52/54.55 c | 19644 | 120317 2391111 7388117 | 2147483647 19644 38 | 0.000 % |
54.62/54.71 c | 20016 | 120317 2391111 7388117 | 2147483647 20016 38 | 0.000 % |
54.92/54.95 c | 20116 | 120317 2391111 7388117 | 2147483647 20116 38 | 0.000 % |
55.02/55.07 c | 20228 | 120317 2391111 7388117 | 2147483647 20228 38 | 0.000 % |
55.12/55.20 c | 20349 | 120317 2391111 7388117 | 2147483647 20349 38 | 0.000 % |
55.32/55.32 c | 20482 | 120317 2391111 7388117 | 2147483647 20482 38 | 0.000 % |
55.42/55.47 c | 20629 | 120317 2391111 7388117 | 2147483647 20629 38 | 0.000 % |
55.62/55.64 c | 20789 | 120317 2391111 7388117 | 2147483647 20789 38 | 0.000 % |
55.72/55.80 c | 20965 | 120317 2391111 7388117 | 2147483647 20965 38 | 0.000 % |
55.92/56.00 c | 21159 | 120317 2391111 7388117 | 2147483647 21159 38 | 0.000 % |
56.22/56.24 c | 21371 | 120317 2391111 7388117 | 2147483647 21371 37 | 0.000 % |
56.42/56.47 c | 21604 | 120317 2391111 7388117 | 2147483647 21604 37 | 0.000 % |
56.72/56.72 c | 21861 | 120317 2391111 7388117 | 2147483647 21861 37 | 0.000 % |
57.02/57.02 c | 22142 | 120317 2391111 7388117 | 2147483647 22142 37 | 0.000 % |
57.22/57.26 c | 22454 | 120317 2391111 7388117 | 2147483647 22454 37 | 0.000 % |
57.52/57.60 c | 22794 | 120317 2391111 7388117 | 2147483647 22794 37 | 0.000 % |
57.82/57.88 c | 23166 | 120317 2391111 7388117 | 2147483647 23166 36 | 0.000 % |
58.22/58.22 c | 23576 | 120317 2391111 7388117 | 2147483647 23576 36 | 0.000 % |
58.32/58.37 c | 23678 | 120317 2391111 7388117 | 2147483647 23678 36 | 0.000 % |
58.52/58.54 c | 23790 | 120317 2391111 7388117 | 2147483647 23790 36 | 0.000 % |
58.72/58.71 c | 23911 | 120317 2391111 7388117 | 2147483647 23911 36 | 0.000 % |
58.82/58.83 c | 24044 | 120317 2391111 7388117 | 2147483647 24044 36 | 0.000 % |
58.92/58.98 c | 24190 | 120317 2391111 7388117 | 2147483647 24190 36 | 0.000 % |
59.12/59.11 c | 24350 | 120317 2391111 7388117 | 2147483647 24350 36 | 0.000 % |
59.22/59.27 c | 24526 | 120317 2391111 7388117 | 2147483647 24526 36 | 0.000 % |
59.52/59.56 c | 24719 | 120317 2391111 7388117 | 2147483647 24719 36 | 0.000 % |
59.72/59.71 c | 24931 | 120317 2391111 7388117 | 2147483647 24931 35 | 0.000 % |
59.82/59.87 c | 25165 | 120317 2391111 7388117 | 2147483647 25165 35 | 0.000 % |
60.02/60.04 c | 25421 | 120317 2391111 7388117 | 2147483647 25421 35 | 0.000 % |
60.12/60.21 c | 25703 | 120317 2391111 7388117 | 2147483647 25703 35 | 0.000 % |
60.32/60.39 c | 26012 | 120317 2391111 7388117 | 2147483647 26012 35 | 0.000 % |
60.62/60.64 c | 26351 | 120317 2391111 7388117 | 2147483647 26351 35 | 0.000 % |
61.02/61.05 c | 26726 | 120317 2391111 7388117 | 2147483647 26726 35 | 0.000 % |
61.32/61.41 c | 27140 | 120317 2391111 7388117 | 2147483647 27140 36 | 0.000 % |
61.62/61.65 c | 27590 | 120317 2391111 7388117 | 2147483647 27590 36 | 0.000 % |
61.92/61.91 c | 27690 | 120317 2391111 7388117 | 2147483647 27690 37 | 0.000 % |
62.02/62.03 c | 27800 | 120317 2391111 7388117 | 2147483647 27800 37 | 0.000 % |
62.02/62.10 c | 27921 | 120317 2391111 7388117 | 2147483647 27921 37 | 0.000 % |
62.12/62.17 c | 28060 | 120317 2391111 7388117 | 2147483647 28060 37 | 0.000 % |
62.42/62.50 c | 28206 | 120317 2391111 7388117 | 2147483647 28206 37 | 0.000 % |
62.62/62.67 c | 28367 | 120317 2391111 7388117 | 2147483647 28367 37 | 0.000 % |
62.82/62.83 c | 28545 | 120317 2391111 7388117 | 2147483647 28545 37 | 0.000 % |
63.12/63.18 c | 28738 | 120317 2391111 7388117 | 2147483647 28738 37 | 0.000 % |
63.42/63.45 c | 28950 | 120317 2391111 7388117 | 2147483647 28950 38 | 0.000 % |
63.92/63.95 c | 29183 | 120317 2391111 7388117 | 2147483647 29183 38 | 0.000 % |
64.12/64.15 c | 29439 | 120317 2391111 7388117 | 2147483647 29439 38 | 0.000 % |
64.42/64.48 c | 29720 | 120317 2391111 7388117 | 2147483647 29720 38 | 0.000 % |
65.02/65.09 c | 30029 | 120317 2391111 7388117 | 2147483647 30029 38 | 0.000 % |
65.72/65.80 c | 30370 | 120317 2391111 7388117 | 2147483647 30370 38 | 0.000 % |
66.02/66.04 c | 30746 | 120317 2391111 7388117 | 2147483647 30746 38 | 0.000 % |
66.42/66.47 c | 31156 | 120317 2391111 7388117 | 2147483647 31156 38 | 0.000 % |
67.32/67.32 c | 31606 | 120317 2391111 7388117 | 2147483647 31606 38 | 0.000 % |
67.92/67.99 c | 32101 | 120317 2391111 7388117 | 2147483647 32101 39 | 0.000 % |
68.22/68.25 c | 32202 | 120317 2391111 7388117 | 2147483647 32202 39 | 0.000 % |
68.42/68.49 c | 32312 | 120317 2391111 7388117 | 2147483647 32312 39 | 0.000 % |
68.82/68.90 c | 32434 | 120317 2391111 7388117 | 2147483647 32434 39 | 0.000 % |
69.02/69.01 c | 32569 | 120317 2391111 7388117 | 2147483647 32569 39 | 0.000 % |
69.12/69.19 c | 32716 | 120317 2391111 7388117 | 2147483647 32716 39 | 0.000 % |
69.52/69.59 c | 32876 | 120317 2391111 7388117 | 2147483647 32876 39 | 0.000 % |
69.82/69.86 c | 33052 | 120317 2391111 7388117 | 2147483647 33052 39 | 0.000 % |
69.92/69.98 c | 33246 | 120317 2391111 7388117 | 2147483647 33246 39 | 0.000 % |
70.52/70.51 c | 33458 | 120317 2391111 7388117 | 2147483647 33458 39 | 0.000 % |
71.02/71.11 c | 33691 | 120317 2391111 7388117 | 2147483647 33691 39 | 0.000 % |
71.62/71.65 c | 33947 | 120317 2391111 7388117 | 2147483647 33947 39 | 0.000 % |
71.92/71.91 c | 34233 | 120317 2391111 7388117 | 2147483647 34233 40 | 0.000 % |
72.32/72.38 c | 34542 | 120317 2391111 7388117 | 2147483647 34542 40 | 0.000 % |
73.12/73.15 c | 34882 | 120317 2391111 7388117 | 2147483647 34882 40 | 0.000 % |
73.32/73.34 c | 35255 | 120317 2391111 7388117 | 2147483647 35255 40 | 0.000 % |
74.02/74.08 c | 35664 | 120317 2391111 7388117 | 2147483647 35664 40 | 0.000 % |
74.72/74.73 c | 36113 | 120317 2391111 7388117 | 2147483647 36113 41 | 0.000 % |
75.12/75.14 c | 36608 | 120317 2391111 7388117 | 2147483647 36608 41 | 0.000 % |
75.82/75.88 c | 37156 | 120317 2391111 7388117 | 2147483647 37156 41 | 0.000 % |
76.02/76.10 c | 37259 | 120317 2391111 7388117 | 2147483647 37259 42 | 0.000 % |
76.32/76.34 c | 37369 | 120317 2391111 7388117 | 2147483647 37369 42 | 0.000 % |
76.42/76.48 c | 37493 | 120317 2391111 7388117 | 2147483647 37493 42 | 0.000 % |
76.92/76.92 c | 37626 | 120317 2391111 7388117 | 2147483647 37626 42 | 0.000 % |
77.52/77.52 c | 37773 | 120317 2391111 7388117 | 2147483647 37773 42 | 0.000 % |
77.82/77.88 c | 37933 | 120317 2391111 7388117 | 2147483647 37933 42 | 0.000 % |
77.92/77.98 c | 38110 | 120317 2391111 7388117 | 2147483647 38110 42 | 0.000 % |
78.32/78.39 c | 38303 | 120317 2391111 7388117 | 2147483647 38303 42 | 0.000 % |
78.72/78.71 c | 38515 | 120317 2391111 7388117 | 2147483647 38515 42 | 0.000 % |
79.02/79.08 c | 38749 | 120317 2391111 7388117 | 2147483647 38749 42 | 0.000 % |
79.42/79.46 c | 39005 | 120317 2391111 7388117 | 2147483647 39005 42 | 0.000 % |
79.92/79.97 c | 39288 | 120317 2391111 7388117 | 2147483647 39288 42 | 0.000 % |
80.33/80.35 c | 39597 | 120317 2391111 7388117 | 2147483647 39597 42 | 0.000 % |
81.22/81.28 c | 39936 | 120317 2391111 7388117 | 2147483647 39936 42 | 0.000 % |
81.43/81.49 c | 40308 | 120317 2391111 7388117 | 2147483647 40308 42 | 0.000 % |
82.02/82.05 c | 40718 | 120317 2391111 7388117 | 2147483647 40718 42 | 0.000 % |
82.42/82.47 c | 41168 | 120317 2391111 7388117 | 2147483647 41168 43 | 0.000 % |
82.92/82.95 c | 41662 | 120317 2391111 7388117 | 2147483647 41662 43 | 0.000 % |
83.52/83.51 c | 42204 | 120317 2391111 7388117 | 2147483647 42204 43 | 0.000 % |
84.32/84.37 c | 42800 | 120317 2391111 7388117 | 2147483647 42800 44 | 0.000 % |
84.42/84.49 c | 42900 | 120317 2391111 7388117 | 2147483647 42900 44 | 0.000 % |
84.82/84.85 c | 43011 | 120317 2391111 7388117 | 2147483647 43011 44 | 0.000 % |
85.02/85.06 c | 43134 | 120317 2391111 7388117 | 2147483647 43134 44 | 0.000 % |
85.22/85.29 c | 43267 | 120317 2391111 7388117 | 2147483647 43267 44 | 0.000 % |
85.42/85.42 c | 43415 | 120317 2391111 7388117 | 2147483647 43415 44 | 0.000 % |
85.62/85.64 c | 43575 | 120317 2391111 7388117 | 2147483647 43575 44 | 0.000 % |
85.83/85.90 c | 43755 | 120317 2391111 7388117 | 2147483647 43755 44 | 0.000 % |
86.22/86.24 c | 43949 | 120317 2391111 7388117 | 2147483647 43949 44 | 0.000 % |
86.32/86.40 c | 44161 | 120317 2391111 7388117 | 2147483647 44161 44 | 0.000 % |
86.62/86.62 c | 44394 | 120317 2391111 7388117 | 2147483647 44394 44 | 0.000 % |
87.02/87.04 c | 44653 | 120317 2391111 7388117 | 2147483647 44653 44 | 0.000 % |
87.22/87.23 c | 44938 | 120317 2391111 7388117 | 2147483647 44938 44 | 0.000 % |
87.32/87.38 c | 45247 | 120317 2391111 7388117 | 2147483647 45247 44 | 0.000 % |
87.72/87.74 c | 45586 | 120317 2391111 7388117 | 2147483647 45586 44 | 0.000 % |
88.03/88.08 c | 45959 | 120317 2391111 7388117 | 2147483647 45959 44 | 0.000 % |
89.02/89.10 c | 46368 | 120317 2391111 7388117 | 2147483647 46368 44 | 0.000 % |
89.42/89.48 c | 46818 | 120317 2391111 7388117 | 2147483647 46818 44 | 0.000 % |
90.02/90.11 c | 47318 | 120317 2391111 7388117 | 2147483647 47318 44 | 0.000 % |
90.71/90.76 c | 47861 | 120317 2391111 7388117 | 2147483647 47861 44 | 0.000 % |
91.01/91.09 c | 48460 | 120317 2391111 7388117 | 2147483647 48460 44 | 0.000 % |
91.51/91.52 c | 49117 | 120317 2391111 7388117 | 2147483647 49117 44 | 0.000 % |
91.61/91.66 c | 49217 | 120317 2391111 7388117 | 2147483647 49217 44 | 0.000 % |
91.71/91.78 c | 49328 | 120317 2391111 7388117 | 2147483647 49328 44 | 0.000 % |
91.91/91.91 c | 49451 | 120317 2391111 7388117 | 2147483647 49451 44 | 0.000 % |
92.01/92.08 c | 49584 | 120317 2391111 7388117 | 2147483647 49584 44 | 0.000 % |
92.21/92.29 c | 49730 | 120317 2391111 7388117 | 2147483647 49730 44 | 0.000 % |
92.51/92.60 c | 49890 | 120317 2391111 7388117 | 2147483647 49890 45 | 0.000 % |
92.91/92.99 c | 50068 | 120317 2391111 7388117 | 2147483647 50068 45 | 0.000 % |
93.11/93.12 c | 50261 | 120317 2391111 7388117 | 2147483647 50261 45 | 0.000 % |
93.31/93.41 c | 50474 | 120317 2391111 7388117 | 2147483647 50474 45 | 0.000 % |
93.71/93.74 c | 50708 | 120317 2391111 7388117 | 2147483647 50708 45 | 0.000 % |
93.91/93.99 c | 50964 | 120317 2391111 7388117 | 2147483647 50964 45 | 0.000 % |
94.21/94.21 c | 51245 | 120317 2391111 7388117 | 2147483647 51245 45 | 0.000 % |
94.41/94.45 c | 51554 | 120317 2391111 7388117 | 2147483647 51554 45 | 0.000 % |
94.81/94.83 c | 51893 | 120317 2391111 7388117 | 2147483647 51893 45 | 0.000 % |
95.21/95.26 c | 52265 | 120317 2391111 7388117 | 2147483647 52265 45 | 0.000 % |
95.41/95.47 c | 52674 | 120317 2391111 7388117 | 2147483647 52674 45 | 0.000 % |
96.11/96.13 c | 53123 | 120317 2391111 7388117 | 2147483647 53123 45 | 0.000 % |
96.91/96.94 c | 53616 | 120317 2391111 7388117 | 2147483647 53616 46 | 0.000 % |
97.71/97.73 c | 54160 | 120317 2391111 7388117 | 2147483647 54160 46 | 0.000 % |
98.31/98.35 c | 54756 | 120317 2391111 7388117 | 2147483647 54756 46 | 0.000 % |
98.91/98.99 c | 55412 | 120317 2391111 7388117 | 2147483647 55412 46 | 0.000 % |
100.21/100.26 c | 56132 | 120317 2391111 7388117 | 2147483647 56132 47 | 0.000 % |
100.31/100.38 c | 56233 | 120317 2391111 7388117 | 2147483647 56233 47 | 0.000 % |
100.61/100.63 c | 56343 | 120317 2391111 7388117 | 2147483647 56343 47 | 0.000 % |
100.91/101.00 c | 56464 | 120317 2391111 7388117 | 2147483647 56464 47 | 0.000 % |
101.01/101.07 c | 56597 | 120317 2391111 7388117 | 2147483647 56597 47 | 0.000 % |
101.31/101.32 c | 56744 | 120317 2391111 7388117 | 2147483647 56744 47 | 0.000 % |
101.51/101.54 c | 56904 | 120317 2391111 7388117 | 2147483647 56904 47 | 0.000 % |
101.81/101.90 c | 57080 | 120317 2391111 7388117 | 2147483647 57080 47 | 0.000 % |
102.32/102.32 c | 57273 | 120317 2391111 7388117 | 2147483647 57273 47 | 0.000 % |
102.51/102.54 c | 57488 | 120317 2391111 7388117 | 2147483647 57488 47 | 0.000 % |
103.21/103.27 c | 57723 | 120317 2391111 7388117 | 2147483647 57723 47 | 0.000 % |
103.61/103.67 c | 57979 | 120317 2391111 7388117 | 2147483647 57979 47 | 0.000 % |
104.01/104.07 c | 58260 | 120317 2391111 7388117 | 2147483647 58260 47 | 0.000 % |
104.41/104.49 c | 58571 | 120317 2391111 7388117 | 2147483647 58571 47 | 0.000 % |
105.01/105.07 c | 58911 | 120317 2391111 7388117 | 2147483647 58911 47 | 0.000 % |
105.51/105.53 c | 59283 | 120317 2391111 7388117 | 2147483647 59283 47 | 0.000 % |
106.01/106.07 c | 59695 | 120317 2391111 7388117 | 2147483647 59695 47 | 0.000 % |
106.21/106.25 c | 60145 | 120317 2391111 7388117 | 2147483647 60145 47 | 0.000 % |
106.61/106.69 c | 60638 | 120317 2391111 7388117 | 2147483647 60638 47 | 0.000 % |
107.01/107.05 c | 61180 | 120317 2391111 7388117 | 2147483647 61180 47 | 0.000 % |
107.41/107.44 c | 61777 | 120317 2391111 7388117 | 2147483647 61777 47 | 0.000 % |
108.11/108.16 c | 62434 | 120317 2391111 7388117 | 2147483647 62434 47 | 0.000 % |
108.92/108.92 c | 63154 | 120317 2391111 7388117 | 2147483647 63154 47 | 0.000 % |
109.81/109.81 c | 63946 | 120317 2391111 7388117 | 2147483647 63946 48 | 0.000 % |
110.02/110.06 c | 64047 | 120317 2391111 7388117 | 2147483647 64047 48 | 0.000 % |
110.31/110.34 c | 64158 | 120317 2391111 7388117 | 2147483647 64158 48 | 0.000 % |
110.51/110.60 c | 64279 | 120317 2391111 7388117 | 2147483647 64279 48 | 0.000 % |
110.71/110.71 c | 64412 | 120317 2391111 7388117 | 2147483647 64412 48 | 0.000 % |
110.81/110.89 c | 64559 | 120317 2391111 7388117 | 2147483647 64559 48 | 0.000 % |
111.01/111.04 c | 64720 | 120317 2391111 7388117 | 2147483647 64720 48 | 0.000 % |
111.21/111.29 c | 64897 | 120317 2391111 7388117 | 2147483647 64897 48 | 0.000 % |
111.71/111.80 c | 65091 | 120317 2391111 7388117 | 2147483647 65091 48 | 0.000 % |
112.11/112.16 c | 65304 | 120317 2391111 7388117 | 2147483647 65304 48 | 0.000 % |
112.71/112.78 c | 65537 | 120317 2391111 7388117 | 2147483647 65537 48 | 0.000 % |
113.32/113.37 c | 65795 | 120317 2391111 7388117 | 2147483647 65795 48 | 0.000 % |
113.61/113.62 c | 66080 | 120317 2391111 7388117 | 2147483647 66080 48 | 0.000 % |
113.81/113.85 c | 66389 | 120317 2391111 7388117 | 2147483647 66389 48 | 0.000 % |
114.21/114.28 c | 66729 | 120317 2391111 7388117 | 2147483647 66729 48 | 0.000 % |
114.71/114.77 c | 67101 | 120317 2391111 7388117 | 2147483647 67101 48 | 0.000 % |
115.21/115.25 c | 67510 | 120317 2391111 7388117 | 2147483647 67510 49 | 0.000 % |
115.61/115.69 c | 67960 | 120317 2391111 7388117 | 2147483647 67960 48 | 0.000 % |
116.01/116.03 c | 68453 | 120317 2391111 7388117 | 2147483647 68453 49 | 0.000 % |
116.71/116.74 c | 68998 | 120317 2391111 7388117 | 2147483647 68998 49 | 0.000 % |
117.21/117.27 c | 69594 | 120317 2391111 7388117 | 2147483647 69594 49 | 0.000 % |
118.31/118.39 c | 70249 | 120317 2391111 7388117 | 2147483647 70249 50 | 0.000 % |
119.12/119.12 c | 70969 | 120317 2391111 7388117 | 2147483647 70969 50 | 0.000 % |
120.22/120.24 c | 71763 | 120317 2391111 7388117 | 2147483647 71763 50 | 0.000 % |
120.92/120.99 c | 72634 | 120317 2391111 7388117 | 2147483647 72634 50 | 0.000 % |
121.02/121.09 c | 72735 | 120317 2391111 7388117 | 2147483647 72735 50 | 0.000 % |
121.22/121.28 c | 72845 | 120317 2391111 7388117 | 2147483647 72845 50 | 0.000 % |
121.42/121.51 c | 72971 | 120317 2391111 7388117 | 2147483647 72971 50 | 0.000 % |
121.82/121.81 c | 73104 | 120317 2391111 7388117 | 2147483647 73104 50 | 0.000 % |
122.02/122.09 c | 73250 | 120317 2391111 7388117 | 2147483647 73250 50 | 0.000 % |
122.32/122.32 c | 73410 | 120317 2391111 7388117 | 2147483647 73410 51 | 0.000 % |
122.42/122.51 c | 73587 | 120317 2391111 7388117 | 2147483647 73587 51 | 0.000 % |
122.82/122.82 c | 73780 | 120317 2391111 7388117 | 2147483647 73780 51 | 0.000 % |
123.22/123.30 c | 73993 | 120317 2391111 7388117 | 2147483647 73993 51 | 0.000 % |
123.52/123.55 c | 74226 | 120317 2391111 7388117 | 2147483647 74226 51 | 0.000 % |
123.92/123.97 c | 74483 | 120317 2391111 7388117 | 2147483647 74483 51 | 0.000 % |
124.62/124.62 c | 74764 | 120317 2391111 7388117 | 2147483647 74764 51 | 0.000 % |
124.82/124.82 c | 75074 | 120317 2391111 7388117 | 2147483647 75074 51 | 0.000 % |
125.42/125.42 c | 75415 | 120317 2391111 7388117 | 2147483647 75415 51 | 0.000 % |
125.72/125.76 c | 75787 | 120317 2391111 7388117 | 2147483647 75787 51 | 0.000 % |
126.02/126.06 c | 76198 | 120317 2391111 7388117 | 2147483647 76198 51 | 0.000 % |
126.52/126.53 c | 76647 | 120317 2391111 7388117 | 2147483647 76647 51 | 0.000 % |
127.02/127.02 c | 77141 | 120317 2391111 7388117 | 2147483647 77141 51 | 0.000 % |
127.32/127.41 c | 77684 | 120317 2391111 7388117 | 2147483647 77684 51 | 0.000 % |
128.72/128.76 c | 78280 | 120317 2391111 7388117 | 2147483647 78280 51 | 0.000 % |
129.32/129.36 c | 78938 | 120317 2391111 7388117 | 2147483647 78938 52 | 0.000 % |
129.62/129.67 c | 79659 | 120317 2391111 7388117 | 2147483647 79659 52 | 0.000 % |
130.12/130.13 c | 80452 | 120317 2391111 7388117 | 2147483647 80452 52 | 0.000 % |
131.22/131.31 c | 81323 | 120317 2391111 7388117 | 2147483647 81323 52 | 0.000 % |
132.52/132.55 c | 82281 | 120317 2391111 7388117 | 2147483647 82281 53 | 0.000 % |
132.82/132.83 c | 82381 | 120317 2391111 7388117 | 2147483647 82381 53 | 0.000 % |
133.12/133.12 c | 82492 | 120317 2391111 7388117 | 2147483647 82492 53 | 0.000 % |
133.22/133.30 c | 82616 | 120317 2391111 7388117 | 2147483647 82616 53 | 0.000 % |
133.52/133.57 c | 82749 | 120317 2391111 7388117 | 2147483647 82749 53 | 0.000 % |
133.72/133.79 c | 82895 | 120317 2391111 7388117 | 2147483647 82895 53 | 0.000 % |
133.92/133.98 c | 83058 | 120317 2391111 7388117 | 2147483647 83058 53 | 0.000 % |
134.22/134.25 c | 83235 | 120317 2391111 7388117 | 2147483647 83235 53 | 0.000 % |
134.52/134.57 c | 83429 | 120317 2391111 7388117 | 2147483647 83429 53 | 0.000 % |
134.72/134.80 c | 83642 | 120317 2391111 7388117 | 2147483647 83642 53 | 0.000 % |
134.92/135.01 c | 83876 | 120317 2391111 7388117 | 2147483647 83876 53 | 0.000 % |
135.32/135.38 c | 84132 | 120317 2391111 7388117 | 2147483647 84132 53 | 0.000 % |
135.62/135.66 c | 84413 | 120317 2391111 7388117 | 2147483647 84413 53 | 0.000 % |
135.82/135.86 c | 84723 | 120317 2391111 7388117 | 2147483647 84723 53 | 0.000 % |
136.12/136.17 c | 85062 | 120317 2391111 7388117 | 2147483647 85062 53 | 0.000 % |
136.62/136.65 c | 85435 | 120317 2391111 7388117 | 2147483647 85435 53 | 0.000 % |
137.02/137.05 c | 85844 | 120317 2391111 7388117 | 2147483647 85844 53 | 0.000 % |
137.42/137.47 c | 86293 | 120317 2391111 7388117 | 2147483647 86293 53 | 0.000 % |
137.92/137.97 c | 86787 | 120317 2391111 7388117 | 2147483647 86787 53 | 0.000 % |
138.72/138.73 c | 87329 | 120317 2391111 7388117 | 2147483647 87329 53 | 0.000 % |
139.42/139.46 c | 87925 | 120317 2391111 7388117 | 2147483647 87925 53 | 0.000 % |
139.92/139.99 c | 88581 | 120317 2391111 7388117 | 2147483647 88581 54 | 0.000 % |
141.52/141.60 c | 89301 | 120317 2391111 7388117 | 2147483647 89301 54 | 0.000 % |
142.12/142.19 c | 90094 | 120317 2391111 7388117 | 2147483647 90094 54 | 0.000 % |
143.02/143.10 c | 90965 | 120317 2391111 7388117 | 2147483647 90965 54 | 0.000 % |
144.92/144.95 c | 91924 | 120317 2391111 7388117 | 2147483647 91924 55 | 0.000 % |
146.12/146.18 c | 92977 | 120317 2391111 7388117 | 2147483647 92977 55 | 0.000 % |
146.32/146.34 c | 93077 | 120317 2391111 7388117 | 2147483647 93077 55 | 0.000 % |
146.62/146.68 c | 93188 | 120317 2391111 7388117 | 2147483647 93188 55 | 0.000 % |
146.82/146.85 c | 93310 | 120317 2391111 7388117 | 2147483647 93310 55 | 0.000 % |
147.32/147.34 c | 93446 | 120317 2391111 7388117 | 2147483647 93446 55 | 0.000 % |
147.62/147.62 c | 93592 | 120317 2391111 7388117 | 2147483647 93592 55 | 0.000 % |
147.82/147.82 c | 93752 | 120317 2391111 7388117 | 2147483647 93752 55 | 0.000 % |
148.02/148.02 c | 93929 | 120317 2391111 7388117 | 2147483647 93929 55 | 0.000 % |
148.22/148.28 c | 94122 | 120317 2391111 7388117 | 2147483647 94122 55 | 0.000 % |
148.42/148.43 c | 94335 | 120317 2391111 7388117 | 2147483647 94335 55 | 0.000 % |
148.62/148.62 c | 94568 | 120317 2391111 7388117 | 2147483647 94568 55 | 0.000 % |
148.82/148.87 c | 94828 | 120317 2391111 7388117 | 2147483647 94828 55 | 0.000 % |
150.12/150.19 c | 95111 | 116936 2329796 7231247 | 2147483647 94970 55 | 2.810 % |
150.52/150.52 c | 95421 | 116936 2329796 7231247 | 2147483647 95280 55 | 2.810 % |
150.92/150.91 c | 95761 | 116936 2329796 7231247 | 2147483647 95620 55 | 2.810 % |
151.12/151.21 c | 96134 | 116936 2329796 7231247 | 2147483647 95993 55 | 2.810 % |
151.52/151.56 c | 96544 | 116936 2329796 7231247 | 2147483647 96403 55 | 2.810 % |
152.02/152.04 c | 96993 | 116936 2329796 7231247 | 2147483647 96852 56 | 2.810 % |
152.52/152.57 c | 97486 | 116936 2329796 7231247 | 2147483647 97345 56 | 2.810 % |
152.92/152.94 c | 98028 | 116936 2329796 7231247 | 2147483647 97887 55 | 2.810 % |
153.72/153.75 c | 98624 | 116936 2329796 7231247 | 2147483647 98483 55 | 2.810 % |
154.22/154.21 c | 99279 | 116936 2329796 7231247 | 2147483647 99138 56 | 2.810 % |
154.92/154.99 c | 100002 | 116936 2329796 7231247 | 2147483647 99861 56 | 2.810 % |
156.02/156.05 c | 100794 | 116936 2329796 7231247 | 2147483647 100653 56 | 2.810 % |
156.92/156.98 c | 101665 | 116936 2329796 7231247 | 2147483647 101524 56 | 2.810 % |
157.72/157.73 c | 102623 | 116936 2329796 7231247 | 2147483647 102482 56 | 2.810 % |
158.82/158.86 c | 103677 | 116936 2329796 7231247 | 2147483647 103536 56 | 2.810 % |
160.02/160.03 c | 104835 | 116936 2329796 7231247 | 2147483647 104694 56 | 2.810 % |
160.12/160.18 c | 104937 | 116936 2329796 7231247 | 2147483647 104796 56 | 2.810 % |
160.32/160.32 c | 105047 | 116936 2329796 7231247 | 2147483647 104906 56 | 2.810 % |
160.52/160.54 c | 105168 | 116936 2329796 7231247 | 2147483647 105027 56 | 2.810 % |
160.82/160.85 c | 105301 | 116936 2329796 7231247 | 2147483647 105160 56 | 2.810 % |
161.02/161.02 c | 105447 | 116936 2329796 7231247 | 2147483647 105306 56 | 2.810 % |
161.32/161.34 c | 105609 | 116936 2329796 7231247 | 2147483647 105468 56 | 2.810 % |
161.52/161.54 c | 105786 | 116936 2329796 7231247 | 2147483647 105645 56 | 2.810 % |
161.72/161.80 c | 105980 | 116936 2329796 7231247 | 2147483647 105839 56 | 2.810 % |
162.22/162.24 c | 106193 | 116936 2329796 7231247 | 2147483647 106052 56 | 2.810 % |
162.52/162.57 c | 106426 | 116936 2329796 7231247 | 2147483647 106285 56 | 2.810 % |
163.02/163.07 c | 106684 | 116936 2329796 7231247 | 2147483647 106543 56 | 2.810 % |
163.32/163.32 c | 106965 | 116936 2329796 7231247 | 2147483647 106824 56 | 2.810 % |
164.32/164.32 c | 107276 | 116936 2329796 7231247 | 2147483647 107135 56 | 2.810 % |
164.72/164.71 c | 107616 | 116936 2329796 7231247 | 2147483647 107475 56 | 2.810 % |
165.22/165.22 c | 107992 | 116936 2329796 7231247 | 2147483647 107851 56 | 2.810 % |
165.52/165.57 c | 108402 | 116936 2329796 7231247 | 2147483647 108261 57 | 2.810 % |
165.72/165.77 c | 108852 | 116936 2329796 7231247 | 2147483647 108711 57 | 2.810 % |
166.62/166.65 c | 109349 | 116936 2329796 7231247 | 2147483647 109208 57 | 2.810 % |
167.12/167.14 c | 109891 | 116936 2329796 7231247 | 2147483647 109750 57 | 2.810 % |
168.32/168.38 c | 110487 | 116936 2329796 7231247 | 2147483647 110346 57 | 2.810 % |
169.42/169.45 c | 111142 | 116936 2329796 7231247 | 2147483647 111001 57 | 2.810 % |
170.02/170.07 c | 111864 | 116936 2329796 7231247 | 2147483647 111723 58 | 2.810 % |
170.62/170.65 c | 112659 | 116936 2329796 7231247 | 2147483647 112518 58 | 2.810 % |
172.02/172.10 c | 113530 | 116936 2329796 7231247 | 2147483647 113389 58 | 2.810 % |
173.32/173.40 c | 114493 | 116936 2329796 7231247 | 2147483647 114352 58 | 2.810 % |
174.22/174.29 c | 115548 | 116936 2329796 7231247 | 2147483647 115407 58 | 2.810 % |
175.92/176.00 c | 116706 | 116936 2329796 7231247 | 2147483647 116565 59 | 2.810 % |
177.62/177.65 c | 117980 | 116936 2329796 7231247 | 2147483647 117839 60 | 2.810 % |
177.72/177.78 c | 118088 | 116936 2329796 7231247 | 2147483647 117947 60 | 2.810 % |
177.92/177.99 c | 118199 | 116936 2329796 7231247 | 2147483647 118058 60 | 2.810 % |
178.42/178.43 c | 118321 | 116936 2329796 7231247 | 2147483647 118180 60 | 2.810 % |
178.62/178.66 c | 118458 | 116936 2329796 7231247 | 2147483647 118317 60 | 2.810 % |
178.92/179.01 c | 118605 | 116936 2329796 7231247 | 2147483647 118464 60 | 2.810 % |
179.22/179.30 c | 118765 | 116936 2329796 7231247 | 2147483647 118624 60 | 2.810 % |
179.52/179.54 c | 118941 | 116936 2329796 7231247 | 2147483647 118800 60 | 2.810 % |
179.92/179.99 c | 119135 | 116936 2329796 7231247 | 2147483647 118994 60 | 2.810 % |
180.52/180.57 c | 119348 | 116936 2329796 7231247 | 2147483647 119207 60 | 2.810 % |
181.02/181.04 c | 119582 | 116936 2329796 7231247 | 2147483647 119441 60 | 2.810 % |
181.53/181.57 c | 119841 | 116936 2329796 7231247 | 2147483647 119700 60 | 2.810 % |
182.02/182.05 c | 120122 | 116936 2329796 7231247 | 2147483647 119981 60 | 2.810 % |
182.32/182.33 c | 120431 | 116936 2329796 7231247 | 2147483647 120290 60 | 2.810 % |
182.92/182.95 c | 120770 | 116936 2329796 7231247 | 2147483647 120629 60 | 2.810 % |
183.32/183.41 c | 121142 | 116936 2329796 7231247 | 2147483647 121001 60 | 2.810 % |
183.92/183.96 c | 121551 | 116936 2329796 7231247 | 2147483647 121410 60 | 2.810 % |
184.72/184.76 c | 122000 | 116936 2329796 7231247 | 2147483647 121859 60 | 2.810 % |
185.52/185.54 c | 122493 | 116936 2329796 7231247 | 2147483647 122352 60 | 2.810 % |
186.52/186.57 c | 123036 | 116936 2329796 7231247 | 2147483647 122895 60 | 2.810 % |
187.22/187.23 c | 123632 | 116936 2329796 7231247 | 2147483647 123491 60 | 2.810 % |
187.82/187.83 c | 124288 | 116936 2329796 7231247 | 2147483647 124147 60 | 2.810 % |
188.72/188.80 c | 125009 | 116936 2329796 7231247 | 2147483647 124868 60 | 2.810 % |
190.22/190.26 c | 125803 | 116936 2329796 7231247 | 2147483647 125662 60 | 2.810 % |
191.22/191.28 c | 126674 | 116936 2329796 7231247 | 2147483647 126533 60 | 2.810 % |
192.22/192.24 c | 127634 | 116936 2329796 7231247 | 2147483647 127493 60 | 2.810 % |
193.12/193.19 c | 128687 | 116936 2329796 7231247 | 2147483647 128546 60 | 2.810 % |
194.12/194.15 c | 129845 | 116936 2329796 7231247 | 2147483647 129704 60 | 2.810 % |
195.42/195.45 c | 131119 | 116936 2329796 7231247 | 2147483647 130978 61 | 2.810 % |
196.82/196.89 c | 132519 | 116936 2329796 7231247 | 2147483647 132378 61 | 2.810 % |
197.02/197.10 c | 132619 | 116936 2329796 7231247 | 2147483647 132478 61 | 2.810 % |
197.42/197.45 c | 132729 | 116936 2329796 7231247 | 2147483647 132588 61 | 2.810 % |
197.62/197.67 c | 132850 | 116936 2329796 7231247 | 2147483647 132709 61 | 2.810 % |
197.72/197.78 c | 132985 | 116936 2329796 7231247 | 2147483647 132844 61 | 2.810 % |
198.03/198.03 c | 133131 | 116936 2329796 7231247 | 2147483647 132990 61 | 2.810 % |
198.32/198.34 c | 133291 | 116936 2329796 7231247 | 2147483647 133150 61 | 2.810 % |
198.82/198.87 c | 133469 | 116936 2329796 7231247 | 2147483647 133328 61 | 2.810 % |
199.13/199.13 c | 133662 | 116936 2329796 7231247 | 2147483647 133521 61 | 2.810 % |
199.52/199.60 c | 133875 | 116936 2329796 7231247 | 2147483647 133734 61 | 2.810 % |
199.92/199.93 c | 134109 | 116936 2329796 7231247 | 2147483647 133968 61 | 2.810 % |
200.12/200.16 c | 134366 | 116936 2329796 7231247 | 2147483647 134225 61 | 2.810 % |
200.42/200.48 c | 134647 | 116936 2329796 7231247 | 2147483647 134506 61 | 2.810 % |
200.72/200.73 c | 134957 | 116936 2329796 7231247 | 2147483647 134816 61 | 2.810 % |
201.12/201.13 c | 135296 | 116936 2329796 7231247 | 2147483647 135155 61 | 2.810 % |
201.62/201.68 c | 135668 | 116936 2329796 7231247 | 2147483647 135527 61 | 2.810 % |
202.12/202.20 c | 136077 | 116936 2329796 7231247 | 2147483647 135936 61 | 2.810 % |
202.82/202.86 c | 136526 | 116936 2329796 7231247 | 2147483647 136385 61 | 2.810 % |
203.32/203.39 c | 137019 | 116936 2329796 7231247 | 2147483647 136878 61 | 2.810 % |
204.22/204.21 c | 137563 | 116936 2329796 7231247 | 2147483647 137422 61 | 2.810 % |
205.12/205.20 c | 138164 | 116936 2329796 7231247 | 2147483647 138023 61 | 2.810 % |
205.92/205.92 c | 138820 | 116936 2329796 7231247 | 2147483647 138679 61 | 2.810 % |
206.72/206.79 c | 139540 | 116936 2329796 7231247 | 2147483647 139399 61 | 2.810 % |
208.02/208.02 c | 140332 | 116936 2329796 7231247 | 2147483647 140191 61 | 2.810 % |
208.92/208.97 c | 141204 | 116936 2329796 7231247 | 2147483647 141063 61 | 2.810 % |
209.82/209.87 c | 142162 | 116936 2329796 7231247 | 2147483647 142021 61 | 2.810 % |
210.82/210.81 c | 143215 | 116936 2329796 7231247 | 2147483647 143074 61 | 2.810 % |
211.92/211.96 c | 144377 | 116936 2329796 7231247 | 2147483647 144236 62 | 2.810 % |
212.92/213.00 c | 145650 | 116936 2329796 7231247 | 2147483647 145509 62 | 2.810 % |
213.72/213.73 c | 147050 | 116936 2329796 7231247 | 2147483647 146909 62 | 2.810 % |
215.83/215.86 c | 148591 | 116936 2329796 7231247 | 2147483647 148450 62 | 2.810 % |
216.13/216.13 c | 148693 | 116936 2329796 7231247 | 2147483647 148552 62 | 2.810 % |
216.43/216.42 c | 148803 | 116936 2329796 7231247 | 2147483647 148662 62 | 2.810 % |
216.53/216.56 c | 148925 | 116936 2329796 7231247 | 2147483647 148784 62 | 2.810 % |
216.73/216.73 c | 149059 | 116936 2329796 7231247 | 2147483647 148918 62 | 2.810 % |
217.03/217.08 c | 149210 | 116936 2329796 7231247 | 2147483647 149069 62 | 2.810 % |
217.23/217.26 c | 149373 | 116936 2329796 7231247 | 2147483647 149232 62 | 2.810 % |
217.43/217.51 c | 149549 | 116936 2329796 7231247 | 2147483647 149408 62 | 2.810 % |
217.83/217.89 c | 149743 | 116936 2329796 7231247 | 2147483647 149602 62 | 2.810 % |
218.13/218.14 c | 149955 | 116936 2329796 7231247 | 2147483647 149814 62 | 2.810 % |
218.43/218.45 c | 150188 | 116936 2329796 7231247 | 2147483647 150047 62 | 2.810 % |
218.73/218.81 c | 150444 | 116936 2329796 7231247 | 2147483647 150303 62 | 2.810 % |
219.03/219.05 c | 150727 | 116936 2329796 7231247 | 2147483647 150586 62 | 2.810 % |
219.53/219.54 c | 151037 | 116936 2329796 7231247 | 2147483647 150896 62 | 2.810 % |
220.43/220.45 c | 151376 | 116936 2329796 7231247 | 2147483647 151235 62 | 2.810 % |
221.03/221.05 c | 151748 | 116936 2329796 7231247 | 2147483647 151607 62 | 2.810 % |
221.33/221.34 c | 152158 | 116936 2329796 7231247 | 2147483647 152017 62 | 2.810 % |
222.03/222.05 c | 152607 | 116936 2329796 7231247 | 2147483647 152466 62 | 2.810 % |
222.93/222.94 c | 153103 | 116936 2329796 7231247 | 2147483647 152962 62 | 2.810 % |
223.43/223.51 c | 153645 | 116936 2329796 7231247 | 2147483647 153504 62 | 2.810 % |
224.13/224.15 c | 154242 | 116936 2329796 7231247 | 2147483647 154101 62 | 2.810 % |
224.93/224.98 c | 154899 | 116936 2329796 7231247 | 2147483647 154758 62 | 2.810 % |
225.33/225.42 c | 155619 | 116936 2329796 7231247 | 2147483647 155478 63 | 2.810 % |
226.03/226.02 c | 156412 | 116936 2329796 7231247 | 2147483647 156271 63 | 2.810 % |
227.43/227.47 c | 157287 | 116936 2329796 7231247 | 2147483647 157146 63 | 2.810 % |
228.33/228.38 c | 158246 | 116936 2329796 7231247 | 2147483647 158105 63 | 2.810 % |
229.43/229.47 c | 159301 | 116936 2329796 7231247 | 2147483647 159160 64 | 2.810 % |
230.63/230.70 c | 160459 | 116936 2329796 7231247 | 2147483647 160318 64 | 2.810 % |
231.93/231.95 c | 161733 | 116936 2329796 7231247 | 2147483647 161592 64 | 2.810 % |
233.63/233.67 c | 163133 | 116936 2329796 7231247 | 2147483647 162992 64 | 2.810 % |
235.53/235.57 c | 164673 | 116936 2329796 7231247 | 2147483647 164532 65 | 2.810 % |
236.83/236.83 c | 166369 | 116936 2329796 7231247 | 2147483647 166228 65 | 2.810 % |
237.03/237.09 c | 166469 | 116936 2329796 7231247 | 2147483647 166328 65 | 2.810 % |
237.23/237.31 c | 166579 | 116936 2329796 7231247 | 2147483647 166438 65 | 2.810 % |
237.43/237.48 c | 166701 | 116936 2329796 7231247 | 2147483647 166560 65 | 2.810 % |
237.63/237.62 c | 166834 | 116936 2329796 7231247 | 2147483647 166693 65 | 2.810 % |
238.03/238.03 c | 166980 | 116936 2329796 7231247 | 2147483647 166839 65 | 2.810 % |
238.23/238.26 c | 167140 | 116936 2329796 7231247 | 2147483647 166999 65 | 2.810 % |
238.43/238.46 c | 167316 | 116936 2329796 7231247 | 2147483647 167175 65 | 2.810 % |
238.53/238.62 c | 167509 | 116936 2329796 7231247 | 2147483647 167368 65 | 2.810 % |
239.23/239.24 c | 167721 | 116936 2329796 7231247 | 2147483647 167580 65 | 2.810 % |
239.53/239.58 c | 167955 | 116936 2329796 7231247 | 2147483647 167814 65 | 2.810 % |
240.33/240.38 c | 168211 | 116936 2329796 7231247 | 2147483647 168070 65 | 2.810 % |
240.63/240.69 c | 168492 | 116936 2329796 7231247 | 2147483647 168351 65 | 2.810 % |
241.13/241.17 c | 168801 | 116936 2329796 7231247 | 2147483647 168660 65 | 2.810 % |
241.43/241.42 c | 169141 | 116936 2329796 7231247 | 2147483647 169000 65 | 2.810 % |
242.13/242.13 c | 169514 | 116936 2329796 7231247 | 2147483647 169373 65 | 2.810 % |
242.53/242.59 c | 169924 | 116936 2329796 7231247 | 2147483647 169783 65 | 2.810 % |
243.73/243.73 c | 170373 | 116936 2329796 7231247 | 2147483647 170232 65 | 2.810 % |
244.13/244.17 c | 170866 | 116936 2329796 7231247 | 2147483647 170725 65 | 2.810 % |
244.53/244.60 c | 171409 | 116936 2329796 7231247 | 2147483647 171268 65 | 2.810 % |
245.13/245.21 c | 172005 | 116936 2329796 7231247 | 2147483647 171864 65 | 2.810 % |
246.13/246.17 c | 172661 | 116936 2329796 7231247 | 2147483647 172520 65 | 2.810 % |
246.93/246.91 c | 173381 | 116936 2329796 7231247 | 2147483647 173240 65 | 2.810 % |
247.73/247.73 c | 174174 | 116936 2329796 7231247 | 2147483647 174033 65 | 2.810 % |
248.63/248.69 c | 175045 | 116936 2329796 7231247 | 2147483647 174904 65 | 2.810 % |
249.73/249.79 c | 176003 | 116936 2329796 7231247 | 2147483647 175862 66 | 2.810 % |
250.83/250.91 c | 177058 | 116936 2329796 7231247 | 2147483647 176917 66 | 2.810 % |
252.83/252.82 c | 178217 | 116936 2329796 7231247 | 2147483647 178076 66 | 2.810 % |
254.23/254.22 c | 179490 | 116936 2329796 7231247 | 2147483647 179349 66 | 2.810 % |
255.83/255.89 c | 180893 | 116936 2329796 7231247 | 2147483647 180752 67 | 2.810 % |
257.13/257.12 c | 182434 | 116936 2329796 7231247 | 2147483647 182293 67 | 2.810 % |
258.93/258.93 c | 184128 | 116936 2329796 7231247 | 2147483647 183987 67 | 2.810 % |
262.03/262.03 c | 185992 | 116936 2329796 7231247 | 2147483647 185851 67 | 2.810 % |
262.23/262.22 c | 186092 | 116936 2329796 7231247 | 2147483647 185951 67 | 2.810 % |
262.53/262.58 c | 186205 | 116936 2329796 7231247 | 2147483647 186064 67 | 2.810 % |
262.83/262.83 c | 186326 | 116936 2329796 7231247 | 2147483647 186185 67 | 2.810 % |
263.03/263.09 c | 186459 | 116936 2329796 7231247 | 2147483647 186318 67 | 2.810 % |
263.23/263.29 c | 186606 | 116936 2329796 7231247 | 2147483647 186465 67 | 2.810 % |
263.53/263.52 c | 186766 | 116936 2329796 7231247 | 2147483647 186625 67 | 2.810 % |
263.73/263.75 c | 186942 | 116936 2329796 7231247 | 2147483647 186801 67 | 2.810 % |
264.03/264.05 c | 187135 | 116936 2329796 7231247 | 2147483647 186994 67 | 2.810 % |
264.23/264.30 c | 187348 | 116936 2329796 7231247 | 2147483647 187207 67 | 2.810 % |
264.63/264.70 c | 187581 | 116936 2329796 7231247 | 2147483647 187440 67 | 2.810 % |
265.43/265.42 c | 187838 | 116936 2329796 7231247 | 2147483647 187697 67 | 2.810 % |
265.73/265.77 c | 188120 | 116936 2329796 7231247 | 2147483647 187979 67 | 2.810 % |
265.93/266.00 c | 188431 | 116936 2329796 7231247 | 2147483647 188290 67 | 2.810 % |
266.63/266.64 c | 188771 | 116936 2329796 7231247 | 2147483647 188630 67 | 2.810 % |
267.23/267.24 c | 189143 | 116936 2329796 7231247 | 2147483647 189002 67 | 2.810 % |
267.73/267.79 c | 189552 | 116936 2329796 7231247 | 2147483647 189411 67 | 2.810 % |
268.73/268.75 c | 190001 | 116936 2329796 7231247 | 2147483647 189860 68 | 2.810 % |
269.53/269.61 c | 190494 | 116936 2329796 7231247 | 2147483647 190353 68 | 2.810 % |
270.64/270.70 c | 191036 | 116936 2329796 7231247 | 2147483647 190895 68 | 2.810 % |
271.63/271.67 c | 191638 | 116936 2329796 7231247 | 2147483647 191497 68 | 2.810 % |
272.33/272.36 c | 192293 | 116936 2329796 7231247 | 2147483647 192152 68 | 2.810 % |
273.43/273.49 c | 193017 | 116936 2329796 7231247 | 2147483647 192876 68 | 2.810 % |
274.33/274.37 c | 193809 | 116936 2329796 7231247 | 2147483647 193668 68 | 2.810 % |
276.14/276.16 c | 194682 | 116936 2329796 7231247 | 2147483647 194541 68 | 2.810 % |
276.83/276.90 c | 195641 | 116936 2329796 7231247 | 2147483647 195500 68 | 2.810 % |
278.53/278.53 c | 196694 | 116936 2329796 7231247 | 2147483647 196553 68 | 2.810 % |
279.33/279.38 c | 197854 | 116936 2329796 7231247 | 2147483647 197713 68 | 2.810 % |
280.43/280.52 c | 199130 | 116936 2329796 7231247 | 2147483647 198989 69 | 2.810 % |
282.03/282.01 c | 200533 | 116936 2329796 7231247 | 2147483647 200392 69 | 2.810 % |
283.73/283.76 c | 202073 | 116936 2329796 7231247 | 2147483647 201932 69 | 2.810 % |
285.13/285.12 c | 203768 | 116936 2329796 7231247 | 2147483647 203627 69 | 2.810 % |
287.43/287.47 c | 205631 | 116936 2329796 7231247 | 2147483647 205490 70 | 2.810 % |
289.73/289.72 c | 207680 | 116936 2329796 7231247 | 2147483647 207539 70 | 2.810 % |
289.83/289.88 c | 207780 | 116936 2329796 7231247 | 2147483647 207639 70 | 2.810 % |
289.93/290.00 c | 207892 | 116936 2329796 7231247 | 2147483647 207751 70 | 2.810 % |
290.23/290.29 c | 208013 | 116936 2329796 7231247 | 2147483647 207872 70 | 2.810 % |
290.73/290.72 c | 208147 | 116936 2329796 7231247 | 2147483647 208006 70 | 2.810 % |
290.83/290.89 c | 208293 | 116936 2329796 7231247 | 2147483647 208152 70 | 2.810 % |
291.43/291.43 c | 208454 | 116936 2329796 7231247 | 2147483647 208313 70 | 2.810 % |
291.54/291.60 c | 208630 | 116936 2329796 7231247 | 2147483647 208489 70 | 2.810 % |
291.83/291.89 c | 208828 | 116936 2329796 7231247 | 2147483647 208687 70 | 2.810 % |
292.13/292.15 c | 209043 | 116936 2329796 7231247 | 2147483647 208902 70 | 2.810 % |
292.53/292.55 c | 209276 | 116936 2329796 7231247 | 2147483647 209135 70 | 2.810 % |
293.13/293.18 c | 209533 | 116936 2329796 7231247 | 2147483647 209392 70 | 2.810 % |
294.03/294.10 c | 209814 | 116936 2329796 7231247 | 2147483647 209673 70 | 2.810 % |
294.53/294.52 c | 210123 | 116936 2329796 7231247 | 2147483647 209982 70 | 2.810 % |
295.03/295.06 c | 210466 | 116936 2329796 7231247 | 2147483647 210325 70 | 2.810 % |
295.53/295.57 c | 210838 | 116936 2329796 7231247 | 2147483647 210697 70 | 2.810 % |
296.13/296.15 c | 211250 | 116936 2329796 7231247 | 2147483647 211109 70 | 2.810 % |
296.73/296.74 c | 211701 | 116936 2329796 7231247 | 2147483647 211560 70 | 2.810 % |
297.33/297.38 c | 212195 | 116936 2329796 7231247 | 2147483647 212054 70 | 2.810 % |
298.03/298.09 c | 212738 | 116936 2329796 7231247 | 2147483647 212597 70 | 2.810 % |
299.03/299.05 c | 213335 | 116936 2329796 7231247 | 2147483647 213194 70 | 2.810 % |
299.63/299.65 c | 213990 | 116936 2329796 7231247 | 2147483647 213849 70 | 2.810 % |
300.34/300.36 c | 214710 | 116936 2329796 7231247 | 2147483647 214569 70 | 2.810 % |
301.23/301.30 c | 215502 | 116936 2329796 7231247 | 2147483647 215361 70 | 2.810 % |
302.73/302.74 c | 216373 | 116936 2329796 7231247 | 2147483647 216232 70 | 2.810 % |
303.23/303.25 c | 217332 | 116936 2329796 7231247 | 2147483647 217191 70 | 2.810 % |
304.33/304.38 c | 218385 | 116936 2329796 7231247 | 2147483647 218244 70 | 2.810 % |
306.13/306.13 c | 219543 | 116936 2329796 7231247 | 2147483647 219402 70 | 2.810 % |
307.53/307.56 c | 220816 | 116936 2329796 7231247 | 2147483647 220675 70 | 2.810 % |
309.33/309.35 c | 222217 | 116936 2329796 7231247 | 2147483647 222076 70 | 2.810 % |
310.53/310.54 c | 223758 | 116936 2329796 7231247 | 2147483647 223617 71 | 2.810 % |
311.83/311.81 c | 225454 | 116936 2329796 7231247 | 2147483647 225313 72 | 2.810 % |
313.44/313.48 c | 227317 | 116936 2329796 7231247 | 2147483647 227176 73 | 2.810 % |
316.74/316.72 c | 229367 | 116936 2329796 7231247 | 2147483647 229226 73 | 2.810 % |
318.94/319.01 c | 231620 | 116936 2329796 7231247 | 2147483647 231479 74 | 2.810 % |
319.14/319.21 c | 231721 | 116936 2329796 7231247 | 2147483647 231580 74 | 2.810 % |
319.44/319.45 c | 231836 | 116936 2329796 7231247 | 2147483647 231695 74 | 2.810 % |
319.84/319.85 c | 231959 | 116936 2329796 7231247 | 2147483647 231818 74 | 2.810 % |
320.24/320.25 c | 232092 | 116936 2329796 7231247 | 2147483647 231951 74 | 2.810 % |
320.44/320.51 c | 232238 | 116936 2329796 7231247 | 2147483647 232097 74 | 2.810 % |
320.94/320.97 c | 232400 | 116936 2329796 7231247 | 2147483647 232259 74 | 2.810 % |
321.24/321.25 c | 232576 | 116936 2329796 7231247 | 2147483647 232435 74 | 2.810 % |
321.94/321.93 c | 232769 | 116936 2329796 7231247 | 2147483647 232628 74 | 2.810 % |
322.34/322.32 c | 232981 | 116936 2329796 7231247 | 2147483647 232840 74 | 2.810 % |
322.64/322.69 c | 233222 | 116936 2329796 7231247 | 2147483647 233081 74 | 2.810 % |
322.84/322.91 c | 233479 | 116936 2329796 7231247 | 2147483647 233338 74 | 2.810 % |
323.44/323.49 c | 233763 | 116936 2329796 7231247 | 2147483647 233622 74 | 2.810 % |
323.74/323.81 c | 234072 | 116936 2329796 7231247 | 2147483647 233931 74 | 2.810 % |
324.44/324.44 c | 234412 | 116936 2329796 7231247 | 2147483647 234271 74 | 2.810 % |
324.84/324.90 c | 234784 | 116936 2329796 7231247 | 2147483647 234643 74 | 2.810 % |
326.04/326.10 c | 235201 | 116936 2329796 7231247 | 2147483647 235060 74 | 2.810 % |
326.54/326.52 c | 235650 | 116936 2329796 7231247 | 2147483647 235509 74 | 2.810 % |
327.14/327.18 c | 236144 | 116936 2329796 7231247 | 2147483647 236003 74 | 2.810 % |
328.14/328.14 c | 236686 | 116936 2329796 7231247 | 2147483647 236545 74 | 2.810 % |
328.64/328.71 c | 237283 | 116936 2329796 7231247 | 2147483647 237142 74 | 2.810 % |
329.74/329.72 c | 237938 | 116936 2329796 7231247 | 2147483647 237797 74 | 2.810 % |
331.14/331.14 c | 238659 | 116936 2329796 7231247 | 2147483647 238518 74 | 2.810 % |
332.14/332.15 c | 239454 | 116936 2329796 7231247 | 2147483647 239313 74 | 2.810 % |
333.54/333.56 c | 240326 | 116936 2329796 7231247 | 2147483647 240185 74 | 2.810 % |
334.74/334.76 c | 241286 | 116936 2329796 7231247 | 2147483647 241145 74 | 2.810 % |
336.44/336.51 c | 242339 | 116936 2329796 7231247 | 2147483647 242198 75 | 2.810 % |
337.74/337.73 c | 243498 | 116936 2329796 7231247 | 2147483647 243357 75 | 2.810 % |
339.34/339.40 c | 244772 | 116936 2329796 7231247 | 2147483647 244631 75 | 2.810 % |
340.64/340.63 c | 246173 | 116936 2329796 7231247 | 2147483647 246032 75 | 2.810 % |
342.84/342.91 c | 247713 | 116936 2329796 7231247 | 2147483647 247572 75 | 2.810 % |
344.14/344.18 c | 249407 | 116936 2329796 7231247 | 2147483647 249266 75 | 2.810 % |
346.14/346.19 c | 251271 | 116936 2329796 7231247 | 2147483647 251130 76 | 2.810 % |
348.54/348.55 c | 253320 | 116936 2329796 7231247 | 2147483647 253179 76 | 2.810 % |
350.54/350.52 c | 255573 | 116936 2329796 7231247 | 2147483647 255432 76 | 2.810 % |
353.24/353.31 c | 258051 | 116936 2329796 7231247 | 2147483647 257910 79 | 2.810 % |
353.54/353.52 c | 258151 | 116936 2329796 7231247 | 2147483647 258010 79 | 2.810 % |
353.84/353.88 c | 258262 | 116936 2329796 7231247 | 2147483647 258121 79 | 2.810 % |
354.24/354.21 c | 258383 | 116936 2329796 7231247 | 2147483647 258242 79 | 2.810 % |
354.54/354.56 c | 258518 | 116936 2329796 7231247 | 2147483647 258377 79 | 2.810 % |
354.74/354.81 c | 258668 | 116936 2329796 7231247 | 2147483647 258527 78 | 2.810 % |
354.94/354.95 c | 258828 | 116936 2329796 7231247 | 2147483647 258687 78 | 2.810 % |
355.44/355.46 c | 259004 | 116936 2329796 7231247 | 2147483647 258863 78 | 2.810 % |
356.14/356.13 c | 259197 | 116936 2329796 7231247 | 2147483647 259056 78 | 2.810 % |
356.44/356.45 c | 259409 | 116936 2329796 7231247 | 2147483647 259268 78 | 2.810 % |
357.24/357.24 c | 259643 | 116936 2329796 7231247 | 2147483647 259502 78 | 2.810 % |
357.54/357.54 c | 259899 | 116936 2329796 7231247 | 2147483647 259758 78 | 2.810 % |
357.94/358.01 c | 260181 | 116936 2329796 7231247 | 2147483647 260040 78 | 2.810 % |
358.34/358.35 c | 260490 | 116936 2329796 7231247 | 2147483647 260349 79 | 2.810 % |
359.04/359.08 c | 260829 | 116936 2329796 7231247 | 2147483647 260688 79 | 2.810 % |
359.64/359.68 c | 261201 | 116936 2329796 7231247 | 2147483647 261060 79 | 2.810 % |
359.84/359.90 c | 261611 | 116936 2329796 7231247 | 2147483647 261470 79 | 2.810 % |
360.34/360.34 c | 262060 | 116936 2329796 7231247 | 2147483647 261919 79 | 2.810 % |
361.04/361.06 c | 262553 | 116936 2329796 7231247 | 2147483647 262412 79 | 2.810 % |
361.94/361.97 c | 263095 | 116936 2329796 7231247 | 2147483647 262954 79 | 2.810 % |
363.14/363.12 c | 263691 | 116936 2329796 7231247 | 2147483647 263550 79 | 2.810 % |
363.84/363.82 c | 264346 | 116936 2329796 7231247 | 2147483647 264205 79 | 2.810 % |
364.44/364.47 c | 265066 | 116936 2329796 7231247 | 2147483647 264925 79 | 2.810 % |
366.04/366.06 c | 265858 | 116936 2329796 7231247 | 2147483647 265717 79 | 2.810 % |
367.04/367.02 c | 266731 | 116936 2329796 7231247 | 2147483647 266590 80 | 2.810 % |
367.94/368.00 c | 267689 | 116936 2329796 7231247 | 2147483647 267548 80 | 2.810 % |
368.84/368.85 c | 268742 | 116936 2329796 7231247 | 2147483647 268601 80 | 2.810 % |
370.75/370.76 c | 269901 | 116936 2329796 7231247 | 2147483647 269760 80 | 2.810 % |
372.44/372.42 c | 271174 | 116936 2329796 7231247 | 2147483647 271033 80 | 2.810 % |
373.94/373.92 c | 272574 | 116936 2329796 7231247 | 2147483647 272433 81 | 2.810 % |
376.44/376.50 c | 274114 | 116936 2329796 7231247 | 2147483647 273973 81 | 2.810 % |
378.54/378.60 c | 275808 | 116936 2329796 7231247 | 2147483647 275667 81 | 2.810 % |
380.94/380.95 c | 277671 | 116936 2329796 7231247 | 2147483647 277530 81 | 2.810 % |
383.64/383.61 c | 279720 | 116936 2329796 7231247 | 2147483647 279579 81 | 2.810 % |
385.83/385.84 c | 281974 | 116936 2329796 7231247 | 2147483647 281833 82 | 2.810 % |
389.13/389.13 c | 284453 | 116936 2329796 7231247 | 2147483647 284312 82 | 2.810 % |
391.43/391.49 c | 287179 | 116936 2329796 7231247 | 2147483647 287038 82 | 2.810 % |
391.73/391.77 c | 287280 | 116936 2329796 7231247 | 2147483647 287139 82 | 2.810 % |
391.93/391.91 c | 287390 | 116936 2329796 7231247 | 2147483647 287249 82 | 2.810 % |
392.33/392.33 c | 287511 | 116936 2329796 7231247 | 2147483647 287370 82 | 2.810 % |
392.74/392.73 c | 287644 | 116936 2329796 7231247 | 2147483647 287503 82 | 2.810 % |
393.03/393.01 c | 287791 | 116936 2329796 7231247 | 2147483647 287650 82 | 2.810 % |
393.43/393.45 c | 287951 | 116936 2329796 7231247 | 2147483647 287810 82 | 2.810 % |
393.63/393.64 c | 288128 | 116936 2329796 7231247 | 2147483647 287987 82 | 2.810 % |
394.13/394.15 c | 288322 | 116936 2329796 7231247 | 2147483647 288181 82 | 2.810 % |
394.33/394.36 c | 288537 | 116936 2329796 7231247 | 2147483647 288396 82 | 2.810 % |
395.33/395.40 c | 288771 | 116936 2329796 7231247 | 2147483647 288630 82 | 2.810 % |
395.93/395.91 c | 289027 | 116936 2329796 7231247 | 2147483647 288886 82 | 2.810 % |
396.63/396.63 c | 289308 | 116936 2329796 7231247 | 2147483647 289167 82 | 2.810 % |
396.93/396.98 c | 289617 | 116936 2329796 7231247 | 2147483647 289476 82 | 2.810 % |
397.23/397.29 c | 289957 | 116936 2329796 7231247 | 2147483647 289816 82 | 2.810 % |
398.13/398.16 c | 290329 | 116936 2329796 7231247 | 2147483647 290188 82 | 2.810 % |
398.53/398.53 c | 290738 | 116936 2329796 7231247 | 2147483647 290597 82 | 2.810 % |
398.93/398.94 c | 291187 | 116936 2329796 7231247 | 2147483647 291046 82 | 2.810 % |
399.43/399.41 c | 291680 | 116936 2329796 7231247 | 2147483647 291539 82 | 2.810 % |
400.03/400.04 c | 292222 | 116936 2329796 7231247 | 2147483647 292081 82 | 2.810 % |
400.63/400.62 c | 292818 | 116936 2329796 7231247 | 2147483647 292677 82 | 2.810 % |
401.54/401.51 c | 293473 | 116936 2329796 7231247 | 2147483647 293332 82 | 2.810 % |
402.43/402.43 c | 294193 | 116936 2329796 7231247 | 2147483647 294052 82 | 2.810 % |
403.33/403.37 c | 294985 | 116936 2329796 7231247 | 2147483647 294844 82 | 2.810 % |
404.53/404.56 c | 295857 | 116936 2329796 7231247 | 2147483647 295716 82 | 2.810 % |
405.43/405.48 c | 296815 | 116936 2329796 7231247 | 2147483647 296674 83 | 2.810 % |
406.83/406.89 c | 297868 | 116936 2329796 7231247 | 2147483647 297727 83 | 2.810 % |
408.84/408.81 c | 299026 | 116936 2329796 7231247 | 2147483647 298885 83 | 2.810 % |
411.44/411.46 c | 300299 | 116936 2329796 7231247 | 2147483647 300158 83 | 2.810 % |
413.04/413.04 c | 301699 | 116936 2329796 7231247 | 2147483647 301558 82 | 2.810 % |
414.64/414.70 c | 303240 | 116936 2329796 7231247 | 2147483647 303099 82 | 2.810 % |
416.44/416.43 c | 304935 | 116936 2329796 7231247 | 2147483647 304794 83 | 2.810 % |
417.94/418.01 c | 306798 | 116936 2329796 7231247 | 2147483647 306657 83 | 2.810 % |
420.44/420.41 c | 308849 | 116936 2329796 7231247 | 2147483647 308708 83 | 2.810 % |
422.44/422.47 c | 311102 | 116936 2329796 7231247 | 2147483647 310961 83 | 2.810 % |
427.04/427.10 c | 313580 | 116935 2329780 7231215 | 2147483647 313438 84 | 2.811 % |
432.14/432.15 c | 316307 | 116935 2329780 7231215 | 2147483647 316165 85 | 2.811 % |
435.34/435.34 c | 319304 | 116935 2329780 7231215 | 2147483647 319162 86 | 2.811 % |
435.54/435.56 c | 319408 | 116935 2329780 7231215 | 2147483647 319266 86 | 2.811 % |
435.84/435.88 c | 319518 | 116935 2329780 7231215 | 2147483647 319376 86 | 2.811 % |
436.04/436.08 c | 319639 | 116935 2329780 7231215 | 2147483647 319497 86 | 2.811 % |
436.44/436.46 c | 319772 | 116935 2329780 7231215 | 2147483647 319630 86 | 2.811 % |
436.84/436.84 c | 319918 | 116935 2329780 7231215 | 2147483647 319776 86 | 2.811 % |
437.04/437.10 c | 320078 | 116935 2329780 7231215 | 2147483647 319936 86 | 2.811 % |
437.44/437.50 c | 320256 | 116935 2329780 7231215 | 2147483647 320114 86 | 2.811 % |
438.04/438.06 c | 320449 | 116935 2329780 7231215 | 2147483647 320307 86 | 2.811 % |
438.44/438.43 c | 320662 | 116935 2329780 7231215 | 2147483647 320520 86 | 2.811 % |
438.84/438.82 c | 320897 | 116935 2329780 7231215 | 2147483647 320755 86 | 2.811 % |
439.24/439.30 c | 321154 | 116935 2329780 7231215 | 2147483647 321012 86 | 2.811 % |
439.74/439.72 c | 321437 | 116935 2329780 7231215 | 2147483647 321295 86 | 2.811 % |
440.24/440.21 c | 321746 | 116935 2329780 7231215 | 2147483647 321604 86 | 2.811 % |
440.94/440.96 c | 322085 | 116935 2329780 7231215 | 2147483647 321943 86 | 2.811 % |
441.84/441.84 c | 322458 | 116935 2329780 7231215 | 2147483647 322316 86 | 2.811 % |
442.74/442.76 c | 322868 | 116935 2329780 7231215 | 2147483647 322726 86 | 2.811 % |
443.24/443.25 c | 323319 | 116935 2329780 7231215 | 2147483647 323177 86 | 2.811 % |
443.74/443.76 c | 323812 | 116935 2329780 7231215 | 2147483647 323670 86 | 2.811 % |
444.14/444.12 c | 324356 | 116935 2329780 7231215 | 2147483647 324214 86 | 2.811 % |
444.94/444.92 c | 324953 | 116935 2329780 7231215 | 2147483647 324811 86 | 2.811 % |
445.44/445.49 c | 325608 | 116935 2329780 7231215 | 2147483647 325466 86 | 2.811 % |
446.24/446.21 c | 326329 | 116935 2329780 7231215 | 2147483647 326187 86 | 2.811 % |
447.64/447.62 c | 327121 | 116935 2329780 7231215 | 2147483647 326979 86 | 2.811 % |
449.04/449.08 c | 327992 | 116935 2329780 7231215 | 2147483647 327850 86 | 2.811 % |
450.14/450.16 c | 328950 | 116935 2329780 7231215 | 2147483647 328808 86 | 2.811 % |
452.14/452.11 c | 330003 | 116935 2329780 7231215 | 2147483647 329861 86 | 2.811 % |
454.04/454.09 c | 331162 | 116935 2329780 7231215 | 2147483647 331020 87 | 2.811 % |
455.54/455.55 c | 332436 | 116935 2329780 7231215 | 2147483647 332294 87 | 2.811 % |
456.94/456.96 c | 333836 | 116935 2329780 7231215 | 2147483647 333694 88 | 2.811 % |
459.94/459.93 c | 335380 | 116935 2329780 7231215 | 2147483647 335238 88 | 2.811 % |
461.84/461.88 c | 337075 | 116935 2329780 7231215 | 2147483647 336933 88 | 2.811 % |
465.14/465.14 c | 338939 | 116935 2329780 7231215 | 2147483647 338797 88 | 2.811 % |
467.64/467.61 c | 340990 | 116935 2329780 7231215 | 2147483647 340848 88 | 2.811 % |
469.75/469.76 c | 343244 | 116935 2329780 7231215 | 2147483647 343102 89 | 2.811 % |
472.24/472.25 c | 345723 | 116935 2329780 7231215 | 2147483647 345581 89 | 2.811 % |
474.94/474.93 c | 348449 | 116935 2329780 7231215 | 2147483647 348307 89 | 2.811 % |
477.64/477.63 c | 351448 | 116935 2329780 7231215 | 2147483647 351306 88 | 2.811 % |
483.24/483.22 c | 354745 | 116935 2329780 7231215 | 2147483647 354603 89 | 2.811 % |
483.44/483.48 c | 354845 | 116935 2329780 7231215 | 2147483647 354703 89 | 2.811 % |
483.84/483.88 c | 354956 | 116935 2329780 7231215 | 2147483647 354814 89 | 2.811 % |
484.05/484.06 c | 355077 | 116935 2329780 7231215 | 2147483647 354935 89 | 2.811 % |
484.74/484.74 c | 355211 | 116935 2329780 7231215 | 2147483647 355069 89 | 2.811 % |
485.44/485.44 c | 355358 | 116935 2329780 7231215 | 2147483647 355216 89 | 2.811 % |
485.74/485.76 c | 355518 | 116935 2329780 7231215 | 2147483647 355376 89 | 2.811 % |
486.25/486.28 c | 355694 | 116935 2329780 7231215 | 2147483647 355552 89 | 2.811 % |
486.44/486.49 c | 355888 | 116935 2329780 7231215 | 2147483647 355746 89 | 2.811 % |
486.84/486.88 c | 356103 | 116935 2329780 7231215 | 2147483647 355961 89 | 2.811 % |
487.44/487.48 c | 356336 | 116935 2329780 7231215 | 2147483647 356194 88 | 2.811 % |
487.84/487.88 c | 356592 | 116935 2329780 7231215 | 2147483647 356450 88 | 2.811 % |
488.45/488.50 c | 356875 | 116935 2329780 7231215 | 2147483647 356733 88 | 2.811 % |
489.04/489.07 c | 357184 | 116935 2329780 7231215 | 2147483647 357042 88 | 2.811 % |
489.64/489.69 c | 357523 | 116935 2329780 7231215 | 2147483647 357381 88 | 2.811 % |
490.54/490.54 c | 357895 | 116935 2329780 7231215 | 2147483647 357753 89 | 2.811 % |
491.04/491.00 c | 358305 | 116935 2329780 7231215 | 2147483647 358163 88 | 2.811 % |
491.64/491.70 c | 358754 | 116935 2329780 7231215 | 2147483647 358612 88 | 2.811 % |
492.44/492.43 c | 359252 | 116935 2329780 7231215 | 2147483647 359110 88 | 2.811 % |
493.04/493.05 c | 359794 | 116935 2329780 7231215 | 2147483647 359652 88 | 2.811 % |
493.84/493.89 c | 360391 | 116935 2329780 7231215 | 2147483647 360249 88 | 2.811 % |
494.74/494.76 c | 361046 | 116935 2329780 7231215 | 2147483647 360904 88 | 2.811 % |
495.54/495.57 c | 361766 | 116935 2329780 7231215 | 2147483647 361624 88 | 2.811 % |
496.54/496.53 c | 362559 | 116935 2329780 7231215 | 2147483647 362417 88 | 2.811 % |
497.64/497.66 c | 363431 | 116935 2329780 7231215 | 2147483647 363289 88 | 2.811 % |
499.74/499.78 c | 364389 | 116935 2329780 7231215 | 2147483647 364247 88 | 2.811 % |
501.04/501.07 c | 365443 | 116935 2329780 7231215 | 2147483647 365301 89 | 2.811 % |
503.14/503.15 c | 366601 | 116935 2329780 7231215 | 2147483647 366459 89 | 2.811 % |
504.44/504.41 c | 367875 | 116935 2329780 7231215 | 2147483647 367733 89 | 2.811 % |
507.05/507.10 c | 369276 | 116935 2329780 7231215 | 2147483647 369134 89 | 2.811 % |
509.15/509.11 c | 370817 | 116935 2329780 7231215 | 2147483647 370675 89 | 2.811 % |
510.55/510.56 c | 372511 | 116935 2329780 7231215 | 2147483647 372369 89 | 2.811 % |
514.15/514.16 c | 374374 | 116935 2329780 7231215 | 2147483647 374232 89 | 2.811 % |
516.15/516.18 c | 376424 | 116935 2329780 7231215 | 2147483647 376282 89 | 2.811 % |
519.35/519.33 c | 378677 | 116935 2329780 7231215 | 2147483647 378535 89 | 2.811 % |
521.35/521.33 c | 381157 | 116935 2329780 7231215 | 2147483647 381015 89 | 2.811 % |
525.65/525.64 c | 383882 | 116935 2329780 7231215 | 2147483647 383740 89 | 2.811 % |
528.45/528.47 c | 386880 | 116935 2329780 7231215 | 2147483647 386738 89 | 2.811 % |
532.35/532.39 c | 390177 | 116935 2329780 7231215 | 2147483647 390035 89 | 2.811 % |
537.25/537.26 c | 393806 | 116935 2329780 7231215 | 2147483647 393664 89 | 2.811 % |
537.45/537.45 c | 393906 | 116935 2329780 7231215 | 2147483647 393764 89 | 2.811 % |
537.55/537.60 c | 394017 | 116935 2329780 7231215 | 2147483647 393875 89 | 2.811 % |
538.15/538.20 c | 394140 | 116935 2329780 7231215 | 2147483647 393998 89 | 2.811 % |
538.45/538.45 c | 394274 | 116935 2329780 7231215 | 2147483647 394132 89 | 2.811 % |
538.85/538.82 c | 394420 | 116935 2329780 7231215 | 2147483647 394278 89 | 2.811 % |
539.05/539.03 c | 394581 | 116935 2329780 7231215 | 2147483647 394439 89 | 2.811 % |
539.55/539.59 c | 394758 | 116935 2329780 7231215 | 2147483647 394616 89 | 2.811 % |
540.15/540.17 c | 394952 | 116935 2329780 7231215 | 2147483647 394810 89 | 2.811 % |
541.15/541.12 c | 395164 | 116935 2329780 7231215 | 2147483647 395022 89 | 2.811 % |
541.75/541.75 c | 395397 | 116935 2329780 7231215 | 2147483647 395255 89 | 2.811 % |
542.45/542.42 c | 395653 | 116935 2329780 7231215 | 2147483647 395511 89 | 2.811 % |
542.95/542.97 c | 395938 | 116935 2329780 7231215 | 2147483647 395796 89 | 2.811 % |
543.65/543.70 c | 396250 | 116935 2329780 7231215 | 2147483647 396108 89 | 2.811 % |
544.15/544.11 c | 396589 | 116935 2329780 7231215 | 2147483647 396447 89 | 2.811 % |
544.95/544.99 c | 396962 | 116935 2329780 7231215 | 2147483647 396820 89 | 2.811 % |
546.25/546.22 c | 397371 | 116935 2329780 7231215 | 2147483647 397229 89 | 2.811 % |
546.95/546.99 c | 397822 | 116935 2329780 7231215 | 2147483647 397680 89 | 2.811 % |
548.15/548.12 c | 398315 | 116935 2329780 7231215 | 2147483647 398173 89 | 2.811 % |
548.75/548.81 c | 398858 | 116935 2329780 7231215 | 2147483647 398716 89 | 2.811 % |
549.35/549.39 c | 399454 | 116935 2329780 7231215 | 2147483647 399312 89 | 2.811 % |
550.05/550.07 c | 400112 | 116935 2329780 7231215 | 2147483647 399970 89 | 2.811 % |
550.95/550.98 c | 400832 | 116935 2329780 7231215 | 2147483647 400690 89 | 2.811 % |
551.75/551.78 c | 401626 | 116935 2329780 7231215 | 2147483647 401484 89 | 2.811 % |
552.65/552.61 c | 402500 | 116935 2329780 7231215 | 2147483647 402358 89 | 2.811 % |
554.15/554.16 c | 403458 | 116935 2329780 7231215 | 2147483647 403316 90 | 2.811 % |
555.95/555.94 c | 404511 | 116935 2329780 7231215 | 2147483647 404369 90 | 2.811 % |
557.75/557.75 c | 405669 | 116935 2329780 7231215 | 2147483647 405527 89 | 2.811 % |
559.85/559.87 c | 406942 | 116935 2329780 7231215 | 2147483647 406800 90 | 2.811 % |
561.75/561.72 c | 408342 | 116935 2329780 7231215 | 2147483647 408200 90 | 2.811 % |
563.95/563.97 c | 409884 | 116935 2329780 7231215 | 2147483647 409742 90 | 2.811 % |
566.75/566.74 c | 411578 | 116935 2329780 7231215 | 2147483647 411436 90 | 2.811 % |
569.65/569.62 c | 413441 | 116935 2329780 7231215 | 2147483647 413299 90 | 2.811 % |
572.85/572.87 c | 415491 | 116935 2329780 7231215 | 2147483647 415349 90 | 2.811 % |
575.75/575.72 c | 417744 | 116935 2329780 7231215 | 2147483647 417602 90 | 2.811 % |
580.15/580.12 c | 420224 | 116935 2329780 7231215 | 2147483647 420082 90 | 2.811 % |
584.05/584.11 c | 422949 | 116935 2329780 7231215 | 2147483647 422807 90 | 2.811 % |
588.75/588.71 c | 425947 | 116935 2329780 7231215 | 2147483647 425805 91 | 2.811 % |
594.45/594.49 c | 429243 | 116935 2329780 7231215 | 2147483647 429101 91 | 2.811 % |
599.75/599.78 c | 432868 | 116935 2329780 7231215 | 2147483647 432726 91 | 2.811 % |
602.66/602.70 c | 436855 | 116935 2329780 7231215 | 2147483647 436713 91 | 2.811 % |
602.86/602.88 c | 436955 | 116935 2329780 7231215 | 2147483647 436813 91 | 2.811 % |
603.26/603.22 c | 437067 | 116935 2329780 7231215 | 2147483647 436925 91 | 2.811 % |
603.46/603.48 c | 437189 | 116935 2329780 7231215 | 2147483647 437047 91 | 2.811 % |
603.76/603.76 c | 437322 | 116935 2329780 7231215 | 2147483647 437180 91 | 2.811 % |
604.26/604.28 c | 437469 | 116935 2329780 7231215 | 2147483647 437327 91 | 2.811 % |
604.46/604.48 c | 437629 | 116935 2329780 7231215 | 2147483647 437487 91 | 2.811 % |
604.76/604.79 c | 437806 | 116935 2329780 7231215 | 2147483647 437664 91 | 2.811 % |
605.06/605.07 c | 437999 | 116935 2329780 7231215 | 2147483647 437857 91 | 2.811 % |
605.46/605.50 c | 438223 | 116935 2329780 7231215 | 2147483647 438081 91 | 2.811 % |
605.86/605.91 c | 438457 | 116935 2329780 7231215 | 2147483647 438315 91 | 2.811 % |
606.46/606.42 c | 438713 | 116935 2329780 7231215 | 2147483647 438571 91 | 2.811 % |
606.86/606.90 c | 438994 | 116935 2329780 7231215 | 2147483647 438852 92 | 2.811 % |
607.56/607.55 c | 439303 | 116935 2329780 7231215 | 2147483647 439161 92 | 2.811 % |
608.66/608.63 c | 439643 | 116935 2329780 7231215 | 2147483647 439501 91 | 2.811 % |
609.76/609.72 c | 440016 | 116935 2329780 7231215 | 2147483647 439874 91 | 2.811 % |
610.86/610.88 c | 440425 | 116935 2329780 7231215 | 2147483647 440283 91 | 2.811 % |
611.86/611.87 c | 440876 | 116935 2329780 7231215 | 2147483647 440734 91 | 2.811 % |
613.16/613.18 c | 441369 | 116935 2329780 7231215 | 2147483647 441227 91 | 2.811 % |
614.16/614.18 c | 441912 | 116935 2329780 7231215 | 2147483647 441770 91 | 2.811 % |
615.46/615.45 c | 442508 | 116935 2329780 7231215 | 2147483647 442366 91 | 2.811 % |
617.16/617.19 c | 443163 | 116935 2329780 7231215 | 2147483647 443021 91 | 2.811 % |
618.67/618.64 c | 443884 | 116935 2329780 7231215 | 2147483647 443742 91 | 2.811 % |
619.77/619.79 c | 444676 | 116935 2329780 7231215 | 2147483647 444534 91 | 2.811 % |
621.47/621.46 c | 445547 | 116935 2329780 7231215 | 2147483647 445405 91 | 2.811 % |
623.07/623.03 c | 446507 | 116935 2329780 7231215 | 2147483647 446365 92 | 2.811 % |
624.57/624.53 c | 447560 | 116935 2329780 7231215 | 2147483647 447418 91 | 2.811 % |
627.47/627.52 c | 448718 | 116935 2329780 7231215 | 2147483647 448576 92 | 2.811 % |
629.27/629.26 c | 449992 | 116935 2329780 7231215 | 2147483647 449850 92 | 2.811 % |
631.77/631.79 c | 451395 | 116935 2329780 7231215 | 2147483647 451253 92 | 2.811 % |
633.97/633.94 c | 452936 | 116935 2329780 7231215 | 2147483647 452794 92 | 2.811 % |
637.37/637.37 c | 454630 | 116935 2329780 7231215 | 2147483647 454488 93 | 2.811 % |
640.07/640.03 c | 456493 | 116935 2329780 7231215 | 2147483647 456351 93 | 2.811 % |
643.37/643.35 c | 458542 | 116935 2329780 7231215 | 2147483647 458400 93 | 2.811 % |
645.97/645.96 c | 460795 | 116935 2329780 7231215 | 2147483647 460653 93 | 2.811 % |
648.27/648.31 c | 463274 | 116935 2329780 7231215 | 2147483647 463132 93 | 2.811 % |
651.57/651.56 c | 466000 | 116935 2329780 7231215 | 2147483647 465858 93 | 2.811 % |
655.37/655.35 c | 468997 | 116935 2329780 7231215 | 2147483647 468855 94 | 2.811 % |
659.57/659.55 c | 472293 | 116935 2329780 7231215 | 2147483647 472151 94 | 2.811 % |
663.47/663.49 c | 475918 | 116935 2329780 7231215 | 2147483647 475776 93 | 2.811 % |
667.87/667.85 c | 479906 | 116935 2329780 7231215 | 2147483647 479764 93 | 2.811 % |
673.07/673.10 c | 484293 | 116935 2329780 7231215 | 2147483647 484151 93 | 2.811 % |
673.28/673.23 c | 484393 | 116935 2329780 7231215 | 2147483647 484251 93 | 2.811 % |
673.37/673.41 c | 484504 | 116935 2329780 7231215 | 2147483647 484362 93 | 2.811 % |
674.07/674.11 c | 484626 | 116935 2329780 7231215 | 2147483647 484484 93 | 2.811 % |
674.47/674.48 c | 484759 | 116935 2329780 7231215 | 2147483647 484617 93 | 2.811 % |
674.77/674.80 c | 484906 | 116935 2329780 7231215 | 2147483647 484764 93 | 2.811 % |
675.17/675.14 c | 485066 | 116935 2329780 7231215 | 2147483647 484924 93 | 2.811 % |
675.67/675.64 c | 485243 | 116935 2329780 7231215 | 2147483647 485101 93 | 2.811 % |
676.58/676.54 c | 485437 | 116935 2329780 7231215 | 2147483647 485295 93 | 2.811 % |
677.07/677.09 c | 485649 | 116935 2329780 7231215 | 2147483647 485507 93 | 2.811 % |
677.57/677.59 c | 485882 | 116935 2329780 7231215 | 2147483647 485740 93 | 2.811 % |
678.27/678.28 c | 486138 | 116935 2329780 7231215 | 2147483647 485996 93 | 2.811 % |
678.97/679.00 c | 486420 | 116935 2329780 7231215 | 2147483647 486278 93 | 2.811 % |
679.97/679.95 c | 486730 | 116935 2329780 7231215 | 2147483647 486588 93 | 2.811 % |
680.77/680.74 c | 487072 | 116935 2329780 7231215 | 2147483647 486930 93 | 2.811 % |
681.37/681.38 c | 487444 | 116935 2329780 7231215 | 2147483647 487302 93 | 2.811 % |
682.67/682.63 c | 487853 | 116935 2329780 7231215 | 2147483647 487711 93 | 2.811 % |
683.37/683.32 c | 488302 | 116935 2329780 7231215 | 2147483647 488160 93 | 2.811 % |
685.17/685.19 c | 488795 | 116935 2329780 7231215 | 2147483647 488653 93 | 2.811 % |
686.27/686.26 c | 489337 | 116935 2329780 7231215 | 2147483647 489195 93 | 2.811 % |
687.07/687.05 c | 489934 | 116935 2329780 7231215 | 2147483647 489792 93 | 2.811 % |
688.27/688.29 c | 490589 | 116935 2329780 7231215 | 2147483647 490447 93 | 2.811 % |
689.87/689.84 c | 491309 | 116935 2329780 7231215 | 2147483647 491167 93 | 2.811 % |
691.67/691.66 c | 492102 | 116935 2329780 7231215 | 2147483647 491960 93 | 2.811 % |
692.87/692.82 c | 492973 | 116935 2329780 7231215 | 2147483647 492831 94 | 2.811 % |
694.57/694.61 c | 493931 | 116935 2329780 7231215 | 2147483647 493789 94 | 2.811 % |
696.67/696.66 c | 494984 | 116935 2329780 7231215 | 2147483647 494842 94 | 2.811 % |
698.17/698.11 c | 496143 | 116935 2329780 7231215 | 2147483647 496001 94 | 2.811 % |
700.58/700.55 c | 497417 | 116935 2329780 7231215 | 2147483647 497275 94 | 2.811 % |
702.78/702.73 c | 498817 | 116935 2329780 7231215 | 2147483647 498675 94 | 2.811 % |
705.58/705.60 c | 500358 | 116935 2329780 7231215 | 2147483647 500216 94 | 2.811 % |
708.68/708.69 c | 502053 | 116935 2329780 7231215 | 2147483647 501911 94 | 2.811 % |
711.38/711.38 c | 503916 | 116935 2329780 7231215 | 2147483647 503774 95 | 2.811 % |
713.98/714.02 c | 505967 | 116935 2329780 7231215 | 2147483647 505825 95 | 2.811 % |
718.88/718.90 c | 508220 | 116935 2329780 7231215 | 2147483647 508078 95 | 2.811 % |
722.08/722.12 c | 510698 | 116935 2329780 7231215 | 2147483647 510556 95 | 2.811 % |
727.18/727.20 c | 513424 | 116935 2329780 7231215 | 2147483647 513282 95 | 2.811 % |
731.58/731.55 c | 516422 | 116935 2329780 7231215 | 2147483647 516280 95 | 2.811 % |
736.18/736.14 c | 519718 | 116935 2329780 7231215 | 2147483647 519576 96 | 2.811 % |
743.37/743.38 c | 523343 | 116935 2329780 7231215 | 2147483647 523201 96 | 2.811 % |
747.87/747.88 c | 527331 | 116935 2329780 7231215 | 2147483647 527189 96 | 2.811 % |
751.57/751.54 c | 531716 | 116935 2329780 7231215 | 2147483647 531574 97 | 2.811 % |
759.67/759.68 c | 536540 | 116935 2329780 7231215 | 2147483647 536398 97 | 2.811 % |
760.27/760.28 c | 536640 | 116935 2329780 7231215 | 2147483647 536498 97 | 2.811 % |
760.57/760.55 c | 536751 | 116935 2329780 7231215 | 2147483647 536609 97 | 2.811 % |
761.07/761.06 c | 536872 | 116935 2329780 7231215 | 2147483647 536730 97 | 2.811 % |
761.37/761.39 c | 537006 | 116935 2329780 7231215 | 2147483647 536864 97 | 2.811 % |
761.97/761.99 c | 537153 | 116935 2329780 7231215 | 2147483647 537011 97 | 2.811 % |
762.57/762.54 c | 537313 | 116935 2329780 7231215 | 2147483647 537171 97 | 2.811 % |
762.77/762.80 c | 537490 | 116935 2329780 7231215 | 2147483647 537348 97 | 2.811 % |
763.17/763.17 c | 537683 | 116935 2329780 7231215 | 2147483647 537541 97 | 2.811 % |
763.57/763.56 c | 537895 | 116935 2329780 7231215 | 2147483647 537753 97 | 2.811 % |
764.37/764.32 c | 538129 | 116935 2329780 7231215 | 2147483647 537987 97 | 2.811 % |
764.97/764.93 c | 538386 | 116935 2329780 7231215 | 2147483647 538244 97 | 2.811 % |
765.37/765.40 c | 538669 | 116935 2329780 7231215 | 2147483647 538527 97 | 2.811 % |
766.17/766.15 c | 538978 | 116935 2329780 7231215 | 2147483647 538836 97 | 2.811 % |
766.87/766.81 c | 539317 | 116935 2329780 7231215 | 2147483647 539175 97 | 2.811 % |
767.77/767.80 c | 539690 | 116935 2329780 7231215 | 2147483647 539548 97 | 2.811 % |
768.67/768.67 c | 540099 | 116935 2329780 7231215 | 2147483647 539957 97 | 2.811 % |
769.77/769.73 c | 540550 | 116935 2329780 7231215 | 2147483647 540408 97 | 2.811 % |
770.77/770.76 c | 541043 | 116935 2329780 7231215 | 2147483647 540901 97 | 2.811 % |
772.17/772.16 c | 541585 | 116935 2329780 7231215 | 2147483647 541443 97 | 2.811 % |
774.17/774.20 c | 542182 | 116935 2329780 7231215 | 2147483647 542040 97 | 2.811 % |
775.47/775.46 c | 542837 | 116935 2329780 7231215 | 2147483647 542695 97 | 2.811 % |
776.77/776.78 c | 543557 | 116935 2329780 7231215 | 2147483647 543415 97 | 2.811 % |
778.17/778.17 c | 544350 | 116935 2329780 7231215 | 2147483647 544208 97 | 2.811 % |
779.57/779.55 c | 545221 | 116935 2329780 7231215 | 2147483647 545079 97 | 2.811 % |
781.67/781.64 c | 546180 | 116935 2329780 7231215 | 2147483647 546038 97 | 2.811 % |
783.57/783.56 c | 547233 | 116935 2329780 7231215 | 2147483647 547091 97 | 2.811 % |
785.17/785.13 c | 548391 | 116935 2329780 7231215 | 2147483647 548249 97 | 2.811 % |
787.17/787.15 c | 549664 | 116935 2329780 7231215 | 2147483647 549522 97 | 2.811 % |
789.57/789.57 c | 551068 | 116935 2329780 7231215 | 2147483647 550926 97 | 2.811 % |
793.18/793.19 c | 552608 | 116935 2329780 7231215 | 2147483647 552466 97 | 2.811 % |
797.38/797.37 c | 554303 | 116935 2329780 7231215 | 2147483647 554161 97 | 2.811 % |
800.98/800.92 c | 556167 | 116935 2329780 7231215 | 2147483647 556025 98 | 2.811 % |
804.18/804.14 c | 558217 | 116935 2329780 7231215 | 2147483647 558075 98 | 2.811 % |
809.18/809.13 c | 560471 | 116935 2329780 7231215 | 2147483647 560329 98 | 2.811 % |
812.38/812.39 c | 562949 | 116935 2329780 7231215 | 2147483647 562807 98 | 2.811 % |
817.28/817.29 c | 565674 | 116935 2329780 7231215 | 2147483647 565532 98 | 2.811 % |
821.58/821.59 c | 568673 | 116935 2329780 7231215 | 2147483647 568531 99 | 2.811 % |
825.68/825.64 c | 571970 | 116935 2329780 7231215 | 2147483647 571828 101 | 2.811 % |
831.68/831.62 c | 575596 | 116935 2329780 7231215 | 2147483647 575454 101 | 2.811 % |
836.98/836.97 c | 579583 | 116935 2329780 7231215 | 2147483647 579441 103 | 2.811 % |
845.18/845.12 c | 583970 | 116935 2329780 7231215 | 2147483647 583828 103 | 2.811 % |
850.98/850.94 c | 588793 | 116935 2329780 7231215 | 2147483647 588651 103 | 2.811 % |
861.28/861.24 c | 594099 | 116935 2329780 7231215 | 2147483647 593957 103 | 2.811 % |
861.68/861.64 c | 594201 | 116935 2329780 7231215 | 2147483647 594059 103 | 2.811 % |
861.98/861.91 c | 594311 | 116935 2329780 7231215 | 2147483647 594169 103 | 2.811 % |
862.38/862.35 c | 594432 | 116935 2329780 7231215 | 2147483647 594290 103 | 2.811 % |
862.98/862.95 c | 594565 | 116935 2329780 7231215 | 2147483647 594423 103 | 2.811 % |
863.28/863.30 c | 594711 | 116935 2329780 7231215 | 2147483647 594569 103 | 2.811 % |
863.68/863.70 c | 594871 | 116935 2329780 7231215 | 2147483647 594729 103 | 2.811 % |
864.18/864.20 c | 595047 | 116935 2329780 7231215 | 2147483647 594905 103 | 2.811 % |
864.88/864.81 c | 595240 | 116935 2329780 7231215 | 2147483647 595098 103 | 2.811 % |
865.58/865.57 c | 595453 | 116935 2329780 7231215 | 2147483647 595311 103 | 2.811 % |
866.08/866.10 c | 595690 | 116935 2329780 7231215 | 2147483647 595548 103 | 2.811 % |
866.68/866.66 c | 595948 | 116935 2329780 7231215 | 2147483647 595806 103 | 2.811 % |
867.58/867.58 c | 596230 | 116935 2329780 7231215 | 2147483647 596088 103 | 2.811 % |
868.18/868.21 c | 596539 | 116935 2329780 7231215 | 2147483647 596397 103 | 2.811 % |
869.28/869.27 c | 596879 | 116935 2329780 7231215 | 2147483647 596737 103 | 2.811 % |
870.38/870.31 c | 597251 | 116935 2329780 7231215 | 2147483647 597109 103 | 2.811 % |
870.98/870.97 c | 597661 | 116935 2329780 7231215 | 2147483647 597519 103 | 2.811 % |
871.98/871.95 c | 598110 | 116935 2329780 7231215 | 2147483647 597968 103 | 2.811 % |
873.78/873.78 c | 598603 | 116935 2329780 7231215 | 2147483647 598461 103 | 2.811 % |
874.68/874.68 c | 599145 | 116935 2329780 7231215 | 2147483647 599003 103 | 2.811 % |
876.38/876.35 c | 599742 | 116935 2329780 7231215 | 2147483647 599600 103 | 2.811 % |
877.58/877.54 c | 600397 | 116935 2329780 7231215 | 2147483647 600255 103 | 2.811 % |
878.78/878.72 c | 601118 | 116935 2329780 7231215 | 2147483647 600976 103 | 2.811 % |
880.18/880.19 c | 601911 | 116935 2329780 7231215 | 2147483647 601769 103 | 2.811 % |
881.19/881.14 c | 602782 | 116935 2329780 7231215 | 2147483647 602640 103 | 2.811 % |
882.18/882.17 c | 603742 | 116935 2329780 7231215 | 2147483647 603600 103 | 2.811 % |
883.78/883.77 c | 604796 | 116935 2329780 7231215 | 2147483647 604654 103 | 2.811 % |
886.38/886.31 c | 605955 | 116935 2329780 7231215 | 2147483647 605813 103 | 2.811 % |
887.98/887.92 c | 607228 | 116935 2329780 7231215 | 2147483647 607086 103 | 2.811 % |
889.48/889.45 c | 608629 | 116935 2329780 7231215 | 2147483647 608487 103 | 2.811 % |
891.78/891.76 c | 610170 | 116935 2329780 7231215 | 2147483647 610028 103 | 2.811 % |
894.69/894.62 c | 611864 | 116935 2329780 7231215 | 2147483647 611722 103 | 2.811 % |
897.39/897.35 c | 613729 | 116935 2329780 7231215 | 2147483647 613587 103 | 2.811 % |
901.19/901.16 c | 615779 | 116935 2329780 7231215 | 2147483647 615637 103 | 2.811 % |
905.29/905.30 c | 618032 | 116935 2329780 7231215 | 2147483647 617890 103 | 2.811 % |
909.59/909.53 c | 620510 | 116935 2329780 7231215 | 2147483647 620368 103 | 2.811 % |
915.09/915.07 c | 623235 | 116935 2329780 7231215 | 2147483647 623093 104 | 2.811 % |
919.89/919.87 c | 626232 | 116935 2329780 7231215 | 2147483647 626090 104 | 2.811 % |
926.19/926.20 c | 629528 | 116935 2329780 7231215 | 2147483647 629386 104 | 2.811 % |
933.29/933.22 c | 633156 | 116935 2329780 7231215 | 2147483647 633014 104 | 2.811 % |
938.99/938.92 c | 637145 | 116935 2329780 7231215 | 2147483647 637003 104 | 2.811 % |
948.39/948.32 c | 641530 | 116935 2329780 7231215 | 2147483647 641388 104 | 2.811 % |
954.69/954.71 c | 646353 | 116935 2329780 7231215 | 2147483647 646211 104 | 2.811 % |
961.79/961.72 c | 651658 | 116935 2329780 7231215 | 2147483647 651516 104 | 2.811 % |
968.39/968.41 c | 657494 | 116935 2329780 7231215 | 2147483647 657352 104 | 2.811 % |
968.59/968.59 c | 657594 | 116935 2329780 7231215 | 2147483647 657452 104 | 2.811 % |
969.09/969.06 c | 657705 | 116935 2329780 7231215 | 2147483647 657563 104 | 2.811 % |
969.59/969.52 c | 657826 | 116935 2329780 7231215 | 2147483647 657684 104 | 2.811 % |
970.09/970.01 c | 657959 | 116935 2329780 7231215 | 2147483647 657817 104 | 2.811 % |
970.30/970.30 c | 658106 | 116935 2329780 7231215 | 2147483647 657964 104 | 2.811 % |
970.69/970.61 c | 658266 | 116935 2329780 7231215 | 2147483647 658124 104 | 2.811 % |
970.99/970.93 c | 658442 | 116935 2329780 7231215 | 2147483647 658300 103 | 2.811 % |
971.19/971.18 c | 658635 | 116935 2329780 7231215 | 2147483647 658493 103 | 2.811 % |
971.59/971.57 c | 658848 | 116935 2329780 7231215 | 2147483647 658706 103 | 2.811 % |
972.09/972.07 c | 659081 | 116935 2329780 7231215 | 2147483647 658939 103 | 2.811 % |
972.79/972.74 c | 659337 | 116935 2329780 7231215 | 2147483647 659195 103 | 2.811 % |
973.79/973.71 c | 659618 | 116935 2329780 7231215 | 2147483647 659476 103 | 2.811 % |
974.70/974.64 c | 659927 | 116935 2329780 7231215 | 2147483647 659785 103 | 2.811 % |
975.39/975.31 c | 660267 | 116935 2329780 7231215 | 2147483647 660125 103 | 2.811 % |
976.49/976.44 c | 660639 | 116935 2329780 7231215 | 2147483647 660497 103 | 2.811 % |
977.39/977.40 c | 661048 | 116935 2329780 7231215 | 2147483647 660906 103 | 2.811 % |
978.19/978.15 c | 661499 | 116935 2329780 7231215 | 2147483647 661357 103 | 2.811 % |
978.99/979.00 c | 661992 | 116935 2329780 7231215 | 2147483647 661850 103 | 2.811 % |
980.09/980.05 c | 662535 | 116935 2329780 7231215 | 2147483647 662393 103 | 2.811 % |
981.19/981.12 c | 663131 | 116935 2329780 7231215 | 2147483647 662989 103 | 2.811 % |
982.49/982.44 c | 663786 | 116935 2329780 7231215 | 2147483647 663644 103 | 2.811 % |
983.79/983.78 c | 664506 | 116935 2329780 7231215 | 2147483647 664364 103 | 2.811 % |
985.49/985.43 c | 665298 | 116935 2329780 7231215 | 2147483647 665156 103 | 2.811 % |
986.80/986.77 c | 666169 | 116935 2329780 7231215 | 2147483647 666027 103 | 2.811 % |
988.69/988.70 c | 667127 | 116935 2329780 7231215 | 2147483647 666985 103 | 2.811 % |
990.49/990.51 c | 668180 | 116935 2329780 7231215 | 2147483647 668038 103 | 2.811 % |
992.80/992.79 c | 669339 | 116935 2329780 7231215 | 2147483647 669197 103 | 2.811 % |
994.60/994.59 c | 670612 | 116935 2329780 7231215 | 2147483647 670470 103 | 2.811 % |
996.90/996.90 c | 672017 | 116935 2329780 7231215 | 2147483647 671875 103 | 2.811 % |
1000.90/1000.88 c | 673557 | 116935 2329780 7231215 | 2147483647 673415 103 | 2.811 % |
1004.70/1004.66 c | 675251 | 116935 2329780 7231215 | 2147483647 675109 104 | 2.811 % |
1007.20/1007.13 c | 677114 | 116935 2329780 7231215 | 2147483647 676972 104 | 2.811 % |
1011.50/1011.44 c | 679165 | 116935 2329780 7231215 | 2147483647 679023 104 | 2.811 % |
1016.30/1016.32 c | 681418 | 116935 2329780 7231215 | 2147483647 681276 104 | 2.811 % |
1022.40/1022.36 c | 683896 | 116935 2329780 7231215 | 2147483647 683754 104 | 2.811 % |
1026.50/1026.44 c | 686622 | 116935 2329780 7231215 | 2147483647 686480 104 | 2.811 % |
1031.90/1031.82 c | 689622 | 116935 2329780 7231215 | 2147483647 689480 104 | 2.811 % |
1036.20/1036.14 c | 692920 | 116935 2329780 7231215 | 2147483647 692778 104 | 2.811 % |
1042.80/1042.74 c | 696545 | 116935 2329780 7231215 | 2147483647 696403 104 | 2.811 % |
1049.51/1049.49 c | 700533 | 116935 2329780 7231215 | 2147483647 700391 105 | 2.811 % |
1058.50/1058.47 c | 704918 | 116935 2329780 7231215 | 2147483647 704776 105 | 2.811 % |
1066.20/1066.14 c | 709741 | 116935 2329780 7231215 | 2147483647 709599 105 | 2.811 % |
1077.50/1077.42 c | 715046 | 116935 2329780 7231215 | 2147483647 714904 105 | 2.811 % |
1088.01/1087.95 c | 720882 | 116935 2329780 7231215 | 2147483647 720740 105 | 2.811 % |
1101.70/1101.62 c | 727301 | 116935 2329780 7231215 | 2147483647 727159 105 | 2.811 % |
1102.10/1102.03 c | 727401 | 116935 2329780 7231215 | 2147483647 727259 105 | 2.811 % |
1102.60/1102.52 c | 727511 | 116935 2329780 7231215 | 2147483647 727369 105 | 2.811 % |
1103.50/1103.42 c | 727632 | 116935 2329780 7231215 | 2147483647 727490 105 | 2.811 % |
1103.80/1103.80 c | 727766 | 116935 2329780 7231215 | 2147483647 727624 105 | 2.811 % |
1104.80/1104.72 c | 727912 | 116935 2329780 7231215 | 2147483647 727770 105 | 2.811 % |
1105.70/1105.70 c | 728072 | 116935 2329780 7231215 | 2147483647 727930 105 | 2.811 % |
1106.50/1106.51 c | 728248 | 116935 2329780 7231215 | 2147483647 728106 105 | 2.811 % |
1107.40/1107.31 c | 728441 | 116935 2329780 7231215 | 2147483647 728299 105 | 2.811 % |
1108.00/1107.95 c | 728655 | 116935 2329780 7231215 | 2147483647 728513 105 | 2.811 % |
1108.50/1108.50 c | 728889 | 116935 2329780 7231215 | 2147483647 728747 105 | 2.811 % |
1109.70/1109.63 c | 729145 | 116935 2329780 7231215 | 2147483647 729003 105 | 2.811 % |
1110.90/1110.84 c | 729426 | 116935 2329780 7231215 | 2147483647 729284 105 | 2.811 % |
1111.70/1111.63 c | 729735 | 116935 2329780 7231215 | 2147483647 729593 105 | 2.811 % |
1112.50/1112.41 c | 730074 | 116935 2329780 7231215 | 2147483647 729932 105 | 2.811 % |
1113.50/1113.42 c | 730446 | 116935 2329780 7231215 | 2147483647 730304 105 | 2.811 % |
1114.80/1114.73 c | 730855 | 116935 2329780 7231215 | 2147483647 730713 105 | 2.811 % |
1115.90/1115.87 c | 731304 | 116935 2329780 7231215 | 2147483647 731162 105 | 2.811 % |
1117.20/1117.12 c | 731797 | 116935 2329780 7231215 | 2147483647 731655 105 | 2.811 % |
1118.20/1118.15 c | 732340 | 116935 2329780 7231215 | 2147483647 732198 105 | 2.811 % |
1119.50/1119.49 c | 732936 | 116935 2329780 7231215 | 2147483647 732794 105 | 2.811 % |
1120.70/1120.69 c | 733591 | 116935 2329780 7231215 | 2147483647 733449 105 | 2.811 % |
1122.20/1122.11 c | 734311 | 116935 2329780 7231215 | 2147483647 734169 105 | 2.811 % |
1123.70/1123.67 c | 735106 | 116935 2329780 7231215 | 2147483647 734964 105 | 2.811 % |
1124.80/1124.73 c | 735977 | 116935 2329780 7231215 | 2147483647 735835 105 | 2.811 % |
1126.00/1125.97 c | 736935 | 116935 2329780 7231215 | 2147483647 736793 105 | 2.811 % |
1127.40/1127.39 c | 737988 | 116935 2329780 7231215 | 2147483647 737846 105 | 2.811 % |
1128.80/1128.77 c | 739146 | 116935 2329780 7231215 | 2147483647 739004 105 | 2.811 % |
1130.40/1130.37 c | 740420 | 116935 2329780 7231215 | 2147483647 740278 105 | 2.811 % |
1132.20/1132.16 c | 741821 | 116935 2329780 7231215 | 2147483647 741679 105 | 2.811 % |
1134.30/1134.28 c | 743361 | 116935 2329780 7231215 | 2147483647 743219 105 | 2.811 % |
1136.80/1136.76 c | 745055 | 116935 2329780 7231215 | 2147483647 744913 104 | 2.811 % |
1140.10/1140.03 c | 746919 | 116935 2329780 7231215 | 2147483647 746777 105 | 2.811 % |
1142.70/1142.69 c | 748968 | 116935 2329780 7231215 | 2147483647 748826 105 | 2.811 % |
1146.50/1146.49 c | 751221 | 116935 2329780 7231215 | 2147483647 751079 105 | 2.811 % |
1150.60/1150.56 c | 753699 | 116935 2329780 7231215 | 2147483647 753557 104 | 2.811 % |
1154.70/1154.64 c | 756426 | 116935 2329780 7231215 | 2147483647 756284 104 | 2.811 % |
1158.90/1158.87 c | 759423 | 116935 2329780 7231215 | 2147483647 759281 104 | 2.811 % |
1163.60/1163.56 c | 762719 | 116935 2329780 7231215 | 2147483647 762577 104 | 2.811 % |
1168.40/1168.31 c | 766344 | 116935 2329780 7231215 | 2147483647 766202 104 | 2.811 % |
1175.70/1175.62 c | 770331 | 116935 2329780 7231215 | 2147483647 770189 104 | 2.811 % |
1183.00/1182.96 c | 774716 | 116935 2329780 7231215 | 2147483647 774574 103 | 2.811 % |
1190.41/1190.36 c | 779539 | 116935 2329780 7231215 | 2147483647 779397 103 | 2.811 % |
1199.81/1199.81 c | 784845 | 116935 2329780 7231215 | 2147483647 784703 103 | 2.811 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820650-1242462763/watcher-1820650-1242462763 -o /tmp/evaluation-result-1820650-1242462763/solver-1820650-1242462763 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820650-1242462763.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: 1.00 1.00 1.00 2/93 18927
/proc/meminfo: memFree=1224596/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=952 CPUtime=0
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 114 0 0 0 0 0 0 0 18 0 1 0 1010773868 974848 49 4294967295 134512640 135223648 3220531856 3220530768 134693872 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 238 50 41 174 0 63 0
[startup+0.069259 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18927
/proc/meminfo: memFree=1224596/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=7368 CPUtime=0.07
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 1607 0 0 0 5 2 0 0 18 0 1 0 1010773868 7544832 1542 4294967295 134512640 135223648 3220531856 3220530808 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 1842 1542 46 174 0 1667 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9784
[startup+0.119256 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18927
/proc/meminfo: memFree=1224596/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=11764 CPUtime=0.12
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 2631 0 0 0 9 3 0 0 18 0 1 0 1010773868 12046336 2566 4294967295 134512640 135223648 3220531856 3220530576 134734703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 2941 2570 46 174 0 2766 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14180
[startup+0.319237 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18927
/proc/meminfo: memFree=1224596/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=28760 CPUtime=0.32
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 6435 0 0 0 25 7 0 0 18 0 1 0 1010773868 29450240 6370 4294967295 134512640 135223648 3220531856 3220530808 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 7190 6371 46 174 0 7015 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31176
[startup+0.719202 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 18927
/proc/meminfo: memFree=1224596/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=65444 CPUtime=0.72
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 13920 0 0 0 60 12 0 0 18 0 1 0 1010773868 67014656 13855 4294967295 134512640 135223648 3220531856 3220530424 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 16361 13855 46 174 0 16186 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 67860
[startup+1.51913 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18932
/proc/meminfo: memFree=1147204/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=133100 CPUtime=1.52
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 28206 0 0 0 123 29 0 0 20 0 1 0 1010773868 136294400 28141 4294967295 134512640 135223648 3220531856 3220530808 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 33275 28142 46 174 0 33100 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 135516
[startup+3.11899 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18932
/proc/meminfo: memFree=1039696/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=192936 CPUtime=3.12
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 47133 0 0 0 271 41 0 0 25 0 1 0 1010773868 197566464 41880 4294967295 134512640 135223648 3220531856 3220529856 134548289 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 48234 41880 73 174 0 48059 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 195352
[startup+6.31871 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18932
/proc/meminfo: memFree=1042300/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=222160 CPUtime=6.32
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 51900 0 0 0 584 48 0 0 25 0 1 0 1010773868 227491840 46647 4294967295 134512640 135223648 3220531856 3220529872 134586754 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 55540 46647 73 174 0 55365 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 224576
[startup+12.7182 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18932
/proc/meminfo: memFree=1024564/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=233092 CPUtime=12.72
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 54494 0 0 0 1224 48 0 0 25 0 1 0 1010773868 238686208 49092 4294967295 134512640 135223648 3220531856 3220529872 134586697 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 58273 49092 73 174 0 58098 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 235508
[startup+25.527 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 18932
/proc/meminfo: memFree=1004076/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2416 CPUtime=0
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 369 643 0 0 0 0 0 0 25 0 1 0 1010773868 2473984 277 4294967295 134512640 135169312 3214624000 3214622536 3085573870 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/18927/statm: 604 277 235 161 0 43 0
[pid=18931] ppid=18927 vsize=264956 CPUtime=25.53
/proc/18931/stat : 18931 (SatELite_releas) R 18927 18927 14060 0 -1 4202496 59920 0 0 0 2504 49 0 0 25 0 1 0 1010773868 271314944 54256 4294967295 134512640 135223648 3220531856 3220530032 134585461 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18931/statm: 66239 54256 73 174 0 66064 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 267372
[startup+51.1148 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 18935
/proc/meminfo: memFree=1052816/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=120540 CPUtime=20.99
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 28527 0 0 0 2082 17 0 0 25 0 1 0 1010776880 123432960 28462 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/18933/statm: 30135 28462 73 172 0 29962 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 122960
[startup+102.32 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 19122
/proc/meminfo: memFree=1042484/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=131184 CPUtime=72.19
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 31171 0 0 0 7198 21 0 0 25 0 1 0 1010776880 134332416 31106 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 32796 31106 73 172 0 32623 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 133604
[startup+162.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 19311
/proc/meminfo: memFree=1027644/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=145580 CPUtime=132.19
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 34746 0 0 0 13195 24 0 0 25 0 1 0 1010776880 149073920 34681 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 36395 34681 73 172 0 36222 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 148000
[startup+222.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19500
/proc/meminfo: memFree=1011276/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=161448 CPUtime=192.2
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 38676 0 0 0 19188 32 0 0 25 0 1 0 1010776880 165322752 38611 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 40362 38611 73 172 0 40189 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 163868
[startup+282.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19686
/proc/meminfo: memFree=992536/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=180348 CPUtime=252.2
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 43422 0 0 0 25183 37 0 0 25 0 1 0 1010776880 184676352 43357 4294967295 134512640 135215339 3218546960 3218545248 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 45087 43357 73 172 0 44914 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 182768
[startup+342.319 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 19879
/proc/meminfo: memFree=971516/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=201308 CPUtime=312.21
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 48600 0 0 0 31178 43 0 0 25 0 1 0 1010776880 206139392 48535 4294967295 134512640 135215339 3218546960 3218545056 134527344 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 50327 48535 73 172 0 50154 0
Current children cumulated CPU time (s) 342.34
################
# More data... #
################
/proc/18933/statm: 71371 69540 73 172 0 71198 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 287904
[startup+642.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 20820
/proc/meminfo: memFree=867932/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=304436 CPUtime=612.24
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 74361 0 0 0 61166 58 0 0 25 0 1 0 1010776880 311742464 74296 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 76109 74296 73 172 0 75936 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 306856
[startup+702.328 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21007
/proc/meminfo: memFree=848912/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=324480 CPUtime=672.25
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 79119 0 0 0 67161 64 0 0 25 0 1 0 1010776880 332267520 79054 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 81120 79054 73 172 0 80947 0
Current children cumulated CPU time (s) 702.38
Current children cumulated vsize (KiB) 326900
[startup+762.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21200
/proc/meminfo: memFree=827568/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=345736 CPUtime=732.25
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 84435 0 0 0 73154 71 0 0 25 0 1 0 1010776880 354033664 84370 4294967295 134512640 135215339 3218546960 3218545056 134527372 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 86434 84370 73 172 0 86261 0
Current children cumulated CPU time (s) 762.38
Current children cumulated vsize (KiB) 348156
[startup+822.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 21389
/proc/meminfo: memFree=808596/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=364956 CPUtime=792.25
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 89280 0 0 0 79152 73 0 0 25 0 1 0 1010776880 373714944 89215 4294967295 134512640 135215339 3218546960 3218545248 134529085 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 91239 89215 73 172 0 91066 0
Current children cumulated CPU time (s) 822.38
Current children cumulated vsize (KiB) 367376
[startup+882.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21575
/proc/meminfo: memFree=784308/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=388540 CPUtime=852.25
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 95171 0 0 0 85149 76 0 0 25 0 1 0 1010776880 397864960 95106 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 97135 95106 73 172 0 96962 0
Current children cumulated CPU time (s) 882.38
Current children cumulated vsize (KiB) 390960
[startup+942.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21763
/proc/meminfo: memFree=765948/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=406904 CPUtime=912.26
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 99800 0 0 0 91145 81 0 0 25 0 1 0 1010776880 416669696 99735 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 101726 99735 73 172 0 101553 0
Current children cumulated CPU time (s) 942.39
Current children cumulated vsize (KiB) 409324
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 21950
/proc/meminfo: memFree=751812/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=420824 CPUtime=972.27
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 103332 0 0 0 97137 90 0 0 25 0 1 0 1010776880 430923776 103267 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 105206 103267 73 172 0 105033 0
Current children cumulated CPU time (s) 1002.4
Current children cumulated vsize (KiB) 423244
[startup+1062.32 s]
/proc/loadavg: 1.04 1.01 1.00 3/95 22139
/proc/meminfo: memFree=733212/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=440848 CPUtime=1032.27
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 107988 0 0 0 103136 91 0 0 25 0 1 0 1010776880 451428352 107923 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 110212 107923 73 172 0 110039 0
Current children cumulated CPU time (s) 1062.4
Current children cumulated vsize (KiB) 443268
[startup+1122.31 s]
/proc/loadavg: 1.05 1.02 1.00 2/95 22332
/proc/meminfo: memFree=718836/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=455120 CPUtime=1092.27
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 111517 0 0 0 109132 95 0 0 25 0 1 0 1010776880 466042880 111452 4294967295 134512640 135215339 3218546960 3218545232 134525025 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 113780 111452 73 172 0 113607 0
Current children cumulated CPU time (s) 1122.4
Current children cumulated vsize (KiB) 457540
[startup+1182.31 s]
/proc/loadavg: 1.05 1.03 1.00 2/95 22518
/proc/meminfo: memFree=707404/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=466556 CPUtime=1152.27
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 114381 0 0 0 115130 97 0 0 25 0 1 0 1010776880 477753344 114316 4294967295 134512640 135215339 3218546960 3218545248 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 116639 114316 73 172 0 116466 0
Current children cumulated CPU time (s) 1182.4
Current children cumulated vsize (KiB) 468976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.91 s]
/proc/loadavg: 1.12 1.04 1.01 2/95 22704
/proc/meminfo: memFree=703252/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=470132 CPUtime=1169.88
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 115307 0 0 0 116891 97 0 0 25 0 1 0 1010776880 481415168 115242 4294967295 134512640 135215339 3218546960 3218545248 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 117533 115242 73 172 0 117360 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 472552
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.91 s]
/proc/loadavg: 1.12 1.04 1.01 2/95 22704
/proc/meminfo: memFree=703252/2074464 swapFree=1949056/1959888
[pid=18927] ppid=18925 vsize=2420 CPUtime=30.13
/proc/18927/stat : 18927 (SatELiteGTI) S 18925 18927 14060 0 -1 4194304 387 65690 0 0 0 0 2945 68 25 0 1 0 1010773868 2478080 278 4294967295 134512640 135169312 3214624000 3214620216 3085573870 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/18927/statm: 605 278 235 161 0 44 0
[pid=18933] ppid=18927 vsize=470132 CPUtime=1169.88
/proc/18933/stat : 18933 (minisat_static) R 18927 18927 14060 0 -1 4202496 115307 0 0 0 116891 97 0 0 25 0 1 0 1010776880 481415168 115242 4294967295 134512640 135215339 3218546960 3218545248 134528802 0 0 0 3 0 0 0 17 2 0 0 0
/proc/18933/statm: 117533 115242 73 172 0 117360 0
Current children cumulated CPU time (s) 1200.01
Current children cumulated vsize (KiB) 472552
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18927 and gives
# childrusage.ru_utime.tv_sec=29
# childrusage.ru_utime.tv_usec=450000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=680000
# CPU time returned by wait4() is 30.13
# while last known CPU time is 1200.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.93
CPU time (s): 1200.01
CPU user time (s): 1198.36
CPU system time (s): 1.65
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 472552
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 29.45
system time used= 0.68
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 66077
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 50
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi27 at 2009-05-16 10:32:43
IDJOB=1820650
IDBENCH=20575
IDSOLVER=657
FILE ID=tipi27/1820650-1242462763
PBS_JOBID=
Free space on /tmp= 9772 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq5.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820650-1242462763/watcher-1820650-1242462763 -o /tmp/evaluation-result-1820650-1242462763/solver-1820650-1242462763 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820650-1242462763.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79c983ee7a6671238604da3040f85341
RANDOM SEED= 803583588
Linux tipi27 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.389
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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: 1225092 kB
Buffers: 37712 kB
Cached: 713252 kB
SwapCached: 5508 kB
Active: 398144 kB
Inactive: 362696 kB
HighTotal: 1178688 kB
HighFree: 617808 kB
LowTotal: 895776 kB
LowFree: 607284 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 53396 kB
Writeback: 0 kB
AnonPages: 8944 kB
Mapped: 3076 kB
Slab: 80684 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9716 MiB
End job on tipi27 at 2009-05-16 10:52:49