0.00/0.00 c Parsing...
1.42/1.41 c ==============================================================================
1.42/1.41 c | | ORIGINAL | LEARNT | |
1.42/1.41 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.42/1.41 c ==============================================================================
1.42/1.41 c | 0 | 1814188 5280500 | 544256 0 0 nan | 0.000 % |
15.43/15.51 c | 0 | 1789068 5451065 | -- 0 -- -- | -- | -25093/170622
15.43/15.51 c ==============================================================================
15.43/15.51 c Result : #vars: 84942 #clauses: 1789068 #literals: 5451065
15.43/15.51 c CPU time: 15.29 s
15.43/15.51 c ==============================================================================
17.33/17.32 c This is MiniSat 2.0 beta
17.33/17.32 c WARNING: for repeatability, setting FPU to use double precision
17.33/17.32 c ============================[ Problem Statistics ]=============================
17.33/17.32 c | |
17.33/17.32 c | Number of variables: 84942 |
17.33/17.32 c | Number of clauses: 1789068 |
18.42/18.45 c | Parsing time: 0.99 s |
18.52/18.53 c ============================[ Search Statistics ]==============================
18.52/18.53 c | Conflicts | ORIGINAL | LEARNT | Progress |
18.52/18.53 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
18.52/18.53 c ===============================================================================
18.52/18.53 c | 0 | 84942 1789068 5451065 | 596356 0 nan | 0.000 % |
19.02/19.08 c | 100 | 84942 1789068 5451065 | 596356 100 16 | 0.000 % |
19.22/19.25 c | 201 | 84942 1789068 5451065 | 596356 201 31 | 0.000 % |
19.52/19.60 c | 303 | 84942 1789068 5451065 | 596356 303 36 | 0.000 % |
20.22/20.25 c | 414 | 84942 1789068 5451065 | 596356 414 34 | 0.000 % |
21.12/21.14 c | 515 | 84942 1789068 5451065 | 596356 515 31 | 0.000 % |
21.42/21.43 c | 626 | 84942 1789068 5451065 | 596356 626 34 | 0.000 % |
21.52/21.60 c | 749 | 84942 1789068 5451065 | 596356 749 34 | 0.000 % |
21.72/21.78 c | 850 | 84942 1789068 5451065 | 596356 850 36 | 0.000 % |
21.92/21.94 c | 961 | 84942 1789068 5451065 | 596356 961 36 | 0.000 % |
22.02/22.11 c | 1083 | 84942 1789068 5451065 | 596356 1083 38 | 0.000 % |
22.22/22.27 c | 1216 | 84942 1789068 5451065 | 596356 1216 37 | 0.000 % |
22.52/22.54 c | 1317 | 84942 1789068 5451065 | 596356 1317 37 | 0.000 % |
22.62/22.70 c | 1428 | 84942 1789068 5451065 | 596356 1428 38 | 0.000 % |
22.92/22.93 c | 1550 | 84942 1789068 5451065 | 596356 1550 37 | 0.000 % |
23.42/23.42 c | 1683 | 84942 1789068 5451065 | 596356 1683 39 | 0.000 % |
23.52/23.58 c | 1829 | 84942 1789068 5451065 | 596356 1829 40 | 0.000 % |
23.72/23.74 c | 1929 | 84942 1789068 5451065 | 596356 1929 39 | 0.000 % |
24.02/24.02 c | 2042 | 84942 1789068 5451065 | 596356 2042 38 | 0.000 % |
24.42/24.42 c | 2164 | 84942 1789068 5451065 | 596356 2164 37 | 0.000 % |
24.62/24.67 c | 2297 | 84942 1789068 5451065 | 596356 2297 37 | 0.000 % |
24.92/24.97 c | 2444 | 84942 1789068 5451065 | 596356 2444 37 | 0.000 % |
25.22/25.25 c | 2605 | 84942 1789068 5451065 | 596356 2605 37 | 0.000 % |
25.42/25.48 c | 2706 | 84942 1789068 5451065 | 596356 2706 36 | 0.000 % |
25.52/25.60 c | 2816 | 84942 1789068 5451065 | 596356 2816 36 | 0.000 % |
25.72/25.80 c | 2937 | 84942 1789068 5451065 | 596356 2937 36 | 0.000 % |
25.92/25.96 c | 3071 | 84942 1789068 5451065 | 596356 3071 37 | 0.000 % |
26.12/26.18 c | 3217 | 84942 1789068 5451065 | 596356 3217 36 | 0.000 % |
26.32/26.37 c | 3377 | 84942 1789068 5451065 | 596356 3377 36 | 0.000 % |
26.62/26.67 c | 3556 | 84942 1789068 5451065 | 596356 3556 37 | 0.000 % |
26.82/26.82 c | 3656 | 84942 1789068 5451065 | 596356 3656 36 | 0.000 % |
26.92/26.98 c | 3767 | 84942 1789068 5451065 | 596356 3767 36 | 0.000 % |
27.12/27.18 c | 3888 | 84942 1789068 5451065 | 596356 3888 36 | 0.000 % |
27.22/27.24 c | 4022 | 84942 1789068 5451065 | 596356 4022 36 | 0.000 % |
27.52/27.54 c | 4169 | 84942 1789068 5451065 | 596356 4169 35 | 0.000 % |
27.82/27.82 c | 4332 | 84942 1789068 5451065 | 596356 4332 35 | 0.000 % |
28.12/28.16 c | 4512 | 84942 1789068 5451065 | 596356 4512 39 | 0.000 % |
28.32/28.38 c | 4705 | 84942 1789068 5451065 | 596356 4705 38 | 0.000 % |
28.42/28.48 c | 4805 | 84942 1789068 5451065 | 596356 4805 38 | 0.000 % |
28.62/28.67 c | 4915 | 84942 1789068 5451065 | 596356 4915 38 | 0.000 % |
28.62/28.71 c | 5039 | 84942 1789068 5451065 | 596356 5039 38 | 0.000 % |
28.92/28.93 c | 5172 | 84942 1789068 5451065 | 596356 5172 38 | 0.000 % |
28.92/29.00 c | 5318 | 84942 1789068 5451065 | 596356 5318 38 | 0.000 % |
29.12/29.13 c | 5479 | 84942 1789068 5451065 | 596356 5479 37 | 0.000 % |
29.72/29.73 c | 5656 | 84942 1789068 5451065 | 596356 5656 37 | 0.000 % |
30.12/30.14 c | 5850 | 84942 1789068 5451065 | 596356 5850 37 | 0.000 % |
30.72/30.78 c | 6066 | 84942 1789068 5451065 | 596356 6066 37 | 0.000 % |
31.22/31.23 c | 6166 | 84942 1789068 5451065 | 596356 6166 37 | 0.000 % |
31.72/31.74 c | 6276 | 84942 1789068 5451065 | 596356 6276 37 | 0.000 % |
32.12/32.16 c | 6398 | 84942 1789068 5451065 | 596356 6398 40 | 0.000 % |
32.22/32.26 c | 6531 | 84942 1789068 5451065 | 596356 6531 40 | 0.000 % |
32.52/32.52 c | 6678 | 84942 1789068 5451065 | 596356 6678 40 | 0.000 % |
32.92/32.92 c | 6840 | 84942 1789068 5451065 | 596356 6840 40 | 0.000 % |
33.02/33.03 c | 7016 | 84942 1789068 5451065 | 596356 7016 40 | 0.000 % |
33.52/33.56 c | 7209 | 84942 1789068 5451065 | 596356 7209 40 | 0.000 % |
33.82/33.89 c | 7423 | 84942 1789068 5451065 | 596356 7423 40 | 0.000 % |
34.12/34.20 c | 7656 | 84942 1789068 5451065 | 596356 7656 39 | 0.000 % |
34.22/34.29 c | 7757 | 84942 1789068 5451065 | 596356 7757 40 | 0.000 % |
34.32/34.35 c | 7869 | 84942 1789068 5451065 | 596356 7869 39 | 0.000 % |
34.42/34.46 c | 7990 | 84942 1789068 5451065 | 596356 7990 39 | 0.000 % |
34.52/34.57 c | 8123 | 84942 1789068 5451065 | 596356 8123 39 | 0.000 % |
34.72/34.73 c | 8269 | 84942 1789068 5451065 | 596356 8269 39 | 0.000 % |
34.92/35.00 c | 8430 | 84942 1789068 5451065 | 596356 8430 39 | 0.000 % |
35.12/35.14 c | 8609 | 84942 1789068 5451065 | 596356 8609 39 | 0.000 % |
35.22/35.29 c | 8802 | 84942 1789068 5451065 | 596356 8802 39 | 0.000 % |
35.52/35.57 c | 9016 | 84942 1789068 5451065 | 596356 9016 40 | 0.000 % |
35.82/35.88 c | 9249 | 84942 1789068 5451065 | 596356 9249 40 | 0.000 % |
36.02/36.11 c | 9506 | 84942 1789068 5451065 | 596356 9506 40 | 0.000 % |
36.22/36.27 c | 9606 | 84942 1789068 5451065 | 596356 9606 40 | 0.000 % |
36.62/36.62 c | 9716 | 84942 1789068 5451065 | 596356 9716 40 | 0.000 % |
36.72/36.77 c | 9839 | 84942 1789068 5451065 | 596356 9839 41 | 0.000 % |
37.12/37.13 c | 9972 | 84942 1789068 5451065 | 596356 9972 41 | 0.000 % |
37.52/37.61 c | 10119 | 84942 1789068 5451065 | 2147483647 10119 41 | 0.000 % |
37.82/37.89 c | 10283 | 84942 1789068 5451065 | 2147483647 10283 41 | 0.000 % |
38.02/38.08 c | 10459 | 84942 1789068 5451065 | 2147483647 10459 41 | 0.000 % |
38.12/38.21 c | 10653 | 84942 1789068 5451065 | 2147483647 10653 40 | 0.000 % |
38.52/38.58 c | 10867 | 84942 1789068 5451065 | 2147483647 10867 40 | 0.000 % |
38.92/38.93 c | 11101 | 84942 1789068 5451065 | 2147483647 11101 40 | 0.000 % |
39.32/39.34 c | 11358 | 84942 1789068 5451065 | 2147483647 11358 41 | 0.000 % |
39.42/39.51 c | 11640 | 84942 1789068 5451065 | 2147483647 11640 42 | 0.000 % |
39.51/39.60 c | 11742 | 84942 1789068 5451065 | 2147483647 11742 42 | 0.000 % |
39.71/39.73 c | 11852 | 84942 1789068 5451065 | 2147483647 11852 42 | 0.000 % |
39.81/39.91 c | 11974 | 84942 1789068 5451065 | 2147483647 11974 42 | 0.000 % |
40.01/40.03 c | 12108 | 84942 1789068 5451065 | 2147483647 12108 42 | 0.000 % |
40.21/40.26 c | 12256 | 84942 1789068 5451065 | 2147483647 12256 42 | 0.000 % |
40.51/40.56 c | 12417 | 84942 1789068 5451065 | 2147483647 12417 42 | 0.000 % |
40.71/40.74 c | 12596 | 84942 1789068 5451065 | 2147483647 12596 42 | 0.000 % |
41.21/41.22 c | 12790 | 84942 1789068 5451065 | 2147483647 12790 42 | 0.000 % |
41.91/41.94 c | 13003 | 84942 1789068 5451065 | 2147483647 13003 42 | 0.000 % |
42.41/42.51 c | 13236 | 84942 1789068 5451065 | 2147483647 13236 42 | 0.000 % |
42.81/42.86 c | 13494 | 84942 1789068 5451065 | 2147483647 13494 42 | 0.000 % |
43.51/43.52 c | 13775 | 84942 1789068 5451065 | 2147483647 13775 42 | 0.000 % |
43.81/43.87 c | 14084 | 84942 1789068 5451065 | 2147483647 14084 41 | 0.000 % |
44.21/44.25 c | 14185 | 84942 1789068 5451065 | 2147483647 14185 41 | 0.000 % |
44.31/44.36 c | 14295 | 84942 1789068 5451065 | 2147483647 14295 41 | 0.000 % |
44.51/44.60 c | 14417 | 84942 1789068 5451065 | 2147483647 14417 41 | 0.000 % |
45.01/45.03 c | 14550 | 84942 1789068 5451065 | 2147483647 14550 41 | 0.000 % |
45.21/45.30 c | 14701 | 84942 1789068 5451065 | 2147483647 14701 41 | 0.000 % |
45.61/45.64 c | 14861 | 84942 1789068 5451065 | 2147483647 14861 41 | 0.000 % |
45.81/45.84 c | 15037 | 84942 1789068 5451065 | 2147483647 15037 41 | 0.000 % |
46.01/46.09 c | 15230 | 84942 1789068 5451065 | 2147483647 15230 41 | 0.000 % |
46.31/46.40 c | 15442 | 84942 1789068 5451065 | 2147483647 15442 41 | 0.000 % |
46.51/46.55 c | 15675 | 84942 1789068 5451065 | 2147483647 15675 41 | 0.000 % |
47.11/47.15 c | 15933 | 84942 1789068 5451065 | 2147483647 15933 41 | 0.000 % |
47.21/47.31 c | 16216 | 84942 1789068 5451065 | 2147483647 16216 41 | 0.000 % |
47.51/47.52 c | 16525 | 84942 1789068 5451065 | 2147483647 16525 41 | 0.000 % |
48.21/48.27 c | 16864 | 84942 1789068 5451065 | 2147483647 16864 41 | 0.000 % |
48.41/48.43 c | 16964 | 84942 1789068 5451065 | 2147483647 16964 41 | 0.000 % |
48.51/48.54 c | 17074 | 84942 1789068 5451065 | 2147483647 17074 41 | 0.000 % |
48.61/48.61 c | 17196 | 84942 1789068 5451065 | 2147483647 17196 41 | 0.000 % |
48.81/48.88 c | 17329 | 84942 1789068 5451065 | 2147483647 17329 41 | 0.000 % |
49.41/49.42 c | 17475 | 84942 1789068 5451065 | 2147483647 17475 41 | 0.000 % |
49.81/49.88 c | 17636 | 84942 1789068 5451065 | 2147483647 17636 41 | 0.000 % |
50.01/50.08 c | 17812 | 84942 1789068 5451065 | 2147483647 17812 41 | 0.000 % |
50.31/50.37 c | 18005 | 84942 1789068 5451065 | 2147483647 18005 41 | 0.000 % |
50.51/50.59 c | 18222 | 84942 1789068 5451065 | 2147483647 18222 41 | 0.000 % |
50.61/50.70 c | 18455 | 84942 1789068 5451065 | 2147483647 18455 41 | 0.000 % |
50.81/50.87 c | 18711 | 84942 1789068 5451065 | 2147483647 18711 41 | 0.000 % |
51.01/51.10 c | 18993 | 84942 1789068 5451065 | 2147483647 18993 41 | 0.000 % |
51.61/51.69 c | 19304 | 84942 1789068 5451065 | 2147483647 19304 42 | 0.000 % |
52.01/52.08 c | 19644 | 84942 1789068 5451065 | 2147483647 19644 42 | 0.000 % |
52.41/52.49 c | 20018 | 84942 1789068 5451065 | 2147483647 20018 42 | 0.000 % |
52.51/52.57 c | 20119 | 84942 1789068 5451065 | 2147483647 20119 42 | 0.000 % |
52.71/52.80 c | 20229 | 84942 1789068 5451065 | 2147483647 20229 42 | 0.000 % |
53.11/53.11 c | 20351 | 84942 1789068 5451065 | 2147483647 20351 42 | 0.000 % |
53.31/53.40 c | 20485 | 84942 1789068 5451065 | 2147483647 20485 42 | 0.000 % |
53.61/53.62 c | 20633 | 84942 1789068 5451065 | 2147483647 20633 42 | 0.000 % |
53.71/53.73 c | 20793 | 84942 1789068 5451065 | 2147483647 20793 42 | 0.000 % |
53.81/53.83 c | 20972 | 84942 1789068 5451065 | 2147483647 20972 42 | 0.000 % |
54.21/54.23 c | 21165 | 84942 1789068 5451065 | 2147483647 21165 42 | 0.000 % |
54.31/54.32 c | 21378 | 84942 1789068 5451065 | 2147483647 21378 42 | 0.000 % |
54.61/54.70 c | 21612 | 84942 1789068 5451065 | 2147483647 21612 41 | 0.000 % |
55.11/55.14 c | 21872 | 84942 1789068 5451065 | 2147483647 21872 42 | 0.000 % |
55.31/55.37 c | 22153 | 84942 1789068 5451065 | 2147483647 22153 42 | 0.000 % |
56.01/56.08 c | 22462 | 84942 1789068 5451065 | 2147483647 22462 42 | 0.000 % |
56.31/56.34 c | 22805 | 84942 1789068 5451065 | 2147483647 22805 42 | 0.000 % |
56.71/56.77 c | 23177 | 84942 1789068 5451065 | 2147483647 23177 42 | 0.000 % |
57.71/57.72 c | 23586 | 84942 1789068 5451065 | 2147483647 23586 42 | 0.000 % |
58.01/58.03 c | 23686 | 84942 1789068 5451065 | 2147483647 23686 42 | 0.000 % |
58.41/58.51 c | 23796 | 84942 1789068 5451065 | 2147483647 23796 43 | 0.000 % |
58.51/58.58 c | 23918 | 84942 1789068 5451065 | 2147483647 23918 43 | 0.000 % |
58.71/58.73 c | 24052 | 84942 1789068 5451065 | 2147483647 24052 44 | 0.000 % |
58.91/59.00 c | 24199 | 84942 1789068 5451065 | 2147483647 24199 44 | 0.000 % |
59.21/59.29 c | 24363 | 84942 1789068 5451065 | 2147483647 24363 44 | 0.000 % |
59.51/59.51 c | 24540 | 84942 1789068 5451065 | 2147483647 24540 44 | 0.000 % |
60.21/60.21 c | 24733 | 84942 1789068 5451065 | 2147483647 24733 44 | 0.000 % |
60.51/60.61 c | 24945 | 84942 1789068 5451065 | 2147483647 24945 44 | 0.000 % |
60.91/60.93 c | 25179 | 84942 1789068 5451065 | 2147483647 25179 44 | 0.000 % |
61.31/61.33 c | 25435 | 84942 1789068 5451065 | 2147483647 25435 44 | 0.000 % |
61.71/61.77 c | 25717 | 84942 1789068 5451065 | 2147483647 25717 44 | 0.000 % |
62.61/62.62 c | 26027 | 84942 1789068 5451065 | 2147483647 26027 44 | 0.000 % |
63.21/63.27 c | 26366 | 84942 1789068 5451065 | 2147483647 26366 44 | 0.000 % |
63.81/63.85 c | 26738 | 84942 1789068 5451065 | 2147483647 26738 44 | 0.000 % |
64.41/64.42 c | 27149 | 84942 1789068 5451065 | 2147483647 27149 44 | 0.000 % |
64.81/64.83 c | 27600 | 84942 1789068 5451065 | 2147483647 27600 45 | 0.000 % |
64.91/64.97 c | 27702 | 84942 1789068 5451065 | 2147483647 27702 45 | 0.000 % |
65.11/65.14 c | 27813 | 84942 1789068 5451065 | 2147483647 27813 45 | 0.000 % |
65.21/65.25 c | 27934 | 84942 1789068 5451065 | 2147483647 27934 45 | 0.000 % |
65.31/65.33 c | 28067 | 84942 1789068 5451065 | 2147483647 28067 45 | 0.000 % |
65.51/65.52 c | 28215 | 84942 1789068 5451065 | 2147483647 28215 45 | 0.000 % |
65.61/65.69 c | 28377 | 84942 1789068 5451065 | 2147483647 28377 45 | 0.000 % |
65.81/65.82 c | 28556 | 84942 1789068 5451065 | 2147483647 28556 45 | 0.000 % |
66.11/66.14 c | 28750 | 84942 1789068 5451065 | 2147483647 28750 45 | 0.000 % |
66.21/66.26 c | 28962 | 84942 1789068 5451065 | 2147483647 28962 45 | 0.000 % |
66.61/66.62 c | 29197 | 84942 1789068 5451065 | 2147483647 29197 45 | 0.000 % |
66.91/66.92 c | 29455 | 84942 1789068 5451065 | 2147483647 29455 45 | 0.000 % |
67.11/67.14 c | 29738 | 84942 1789068 5451065 | 2147483647 29738 45 | 0.000 % |
67.61/67.61 c | 30048 | 84942 1789068 5451065 | 2147483647 30048 45 | 0.000 % |
68.11/68.17 c | 30387 | 84942 1789068 5451065 | 2147483647 30387 45 | 0.000 % |
68.51/68.52 c | 30761 | 84942 1789068 5451065 | 2147483647 30761 45 | 0.000 % |
68.91/68.95 c | 31171 | 84942 1789068 5451065 | 2147483647 31171 45 | 0.000 % |
69.01/69.04 c | 31621 | 84942 1789068 5451065 | 2147483647 31621 45 | 0.000 % |
69.11/69.20 c | 32115 | 84942 1789068 5451065 | 2147483647 32115 45 | 0.000 % |
69.21/69.30 c | 32216 | 84942 1789068 5451065 | 2147483647 32216 45 | 0.000 % |
69.31/69.37 c | 32327 | 84942 1789068 5451065 | 2147483647 32327 45 | 0.000 % |
69.41/69.51 c | 32449 | 84942 1789068 5451065 | 2147483647 32449 45 | 0.000 % |
69.61/69.69 c | 32582 | 84942 1789068 5451065 | 2147483647 32582 45 | 0.000 % |
69.91/69.92 c | 32730 | 84942 1789068 5451065 | 2147483647 32730 45 | 0.000 % |
70.01/70.09 c | 32893 | 84942 1789068 5451065 | 2147483647 32893 45 | 0.000 % |
70.31/70.33 c | 33069 | 84942 1789068 5451065 | 2147483647 33069 45 | 0.000 % |
70.51/70.61 c | 33262 | 84942 1789068 5451065 | 2147483647 33262 45 | 0.000 % |
70.81/70.85 c | 33474 | 84942 1789068 5451065 | 2147483647 33474 45 | 0.000 % |
71.01/71.07 c | 33707 | 84942 1789068 5451065 | 2147483647 33707 45 | 0.000 % |
71.21/71.26 c | 33964 | 84942 1789068 5451065 | 2147483647 33964 45 | 0.000 % |
71.52/71.61 c | 34246 | 84942 1789068 5451065 | 2147483647 34246 46 | 0.000 % |
71.91/71.96 c | 34555 | 84942 1789068 5451065 | 2147483647 34555 46 | 0.000 % |
72.41/72.42 c | 34894 | 84942 1789068 5451065 | 2147483647 34894 46 | 0.000 % |
72.62/72.68 c | 35266 | 84942 1789068 5451065 | 2147483647 35266 46 | 0.000 % |
73.21/73.28 c | 35679 | 84942 1789068 5451065 | 2147483647 35679 46 | 0.000 % |
73.51/73.60 c | 36129 | 84942 1789068 5451065 | 2147483647 36129 46 | 0.000 % |
74.21/74.22 c | 36624 | 84942 1789068 5451065 | 2147483647 36624 46 | 0.000 % |
74.91/74.99 c | 37168 | 84942 1789068 5451065 | 2147483647 37168 47 | 0.000 % |
75.11/75.12 c | 37271 | 84942 1789068 5451065 | 2147483647 37271 47 | 0.000 % |
75.21/75.23 c | 37381 | 84942 1789068 5451065 | 2147483647 37381 47 | 0.000 % |
75.41/75.48 c | 37503 | 84942 1789068 5451065 | 2147483647 37503 47 | 0.000 % |
75.71/75.71 c | 37636 | 84942 1789068 5451065 | 2147483647 37636 47 | 0.000 % |
75.81/75.89 c | 37782 | 84942 1789068 5451065 | 2147483647 37782 47 | 0.000 % |
76.11/76.15 c | 37942 | 84942 1789068 5451065 | 2147483647 37942 47 | 0.000 % |
76.41/76.41 c | 38118 | 84942 1789068 5451065 | 2147483647 38118 47 | 0.000 % |
76.61/76.61 c | 38311 | 84942 1789068 5451065 | 2147483647 38311 47 | 0.000 % |
76.71/76.76 c | 38523 | 84942 1789068 5451065 | 2147483647 38523 47 | 0.000 % |
77.31/77.35 c | 38756 | 84942 1789068 5451065 | 2147483647 38756 47 | 0.000 % |
77.51/77.55 c | 39013 | 84942 1789068 5451065 | 2147483647 39013 47 | 0.000 % |
78.21/78.28 c | 39294 | 84942 1789068 5451065 | 2147483647 39294 47 | 0.000 % |
78.41/78.45 c | 39603 | 84942 1789068 5451065 | 2147483647 39603 47 | 0.000 % |
78.71/78.80 c | 39943 | 84942 1789068 5451065 | 2147483647 39943 47 | 0.000 % |
79.01/79.07 c | 40316 | 84942 1789068 5451065 | 2147483647 40316 47 | 0.000 % |
79.61/79.65 c | 40725 | 84942 1789068 5451065 | 2147483647 40725 47 | 0.000 % |
80.11/80.20 c | 41176 | 84942 1789068 5451065 | 2147483647 41176 47 | 0.000 % |
80.61/80.67 c | 41669 | 84942 1789068 5451065 | 2147483647 41669 47 | 0.000 % |
81.11/81.20 c | 42212 | 84942 1789068 5451065 | 2147483647 42212 48 | 0.000 % |
81.42/81.49 c | 42810 | 84942 1789068 5451065 | 2147483647 42810 48 | 0.000 % |
81.81/81.83 c | 42910 | 84942 1789068 5451065 | 2147483647 42910 48 | 0.000 % |
82.01/82.08 c | 43020 | 84942 1789068 5451065 | 2147483647 43020 48 | 0.000 % |
82.31/82.32 c | 43142 | 84942 1789068 5451065 | 2147483647 43142 48 | 0.000 % |
82.52/82.52 c | 43278 | 84942 1789068 5451065 | 2147483647 43278 48 | 0.000 % |
82.61/82.70 c | 43427 | 84942 1789068 5451065 | 2147483647 43427 48 | 0.000 % |
82.81/82.86 c | 43588 | 84942 1789068 5451065 | 2147483647 43588 48 | 0.000 % |
83.11/83.16 c | 43765 | 84942 1789068 5451065 | 2147483647 43765 48 | 0.000 % |
83.31/83.32 c | 43959 | 84942 1789068 5451065 | 2147483647 43959 48 | 0.000 % |
83.71/83.79 c | 44172 | 84942 1789068 5451065 | 2147483647 44172 48 | 0.000 % |
84.11/84.14 c | 44406 | 84942 1789068 5451065 | 2147483647 44406 48 | 0.000 % |
84.81/84.87 c | 44662 | 84942 1789068 5451065 | 2147483647 44662 48 | 0.000 % |
84.91/85.00 c | 44944 | 84942 1789068 5451065 | 2147483647 44944 48 | 0.000 % |
85.31/85.40 c | 45254 | 84942 1789068 5451065 | 2147483647 45254 48 | 0.000 % |
85.91/85.95 c | 45601 | 84942 1789068 5451065 | 2147483647 45601 48 | 0.000 % |
86.01/86.08 c | 45974 | 84942 1789068 5451065 | 2147483647 45974 48 | 0.000 % |
86.92/86.96 c | 46384 | 84942 1789068 5451065 | 2147483647 46384 48 | 0.000 % |
87.21/87.27 c | 46834 | 84942 1789068 5451065 | 2147483647 46834 48 | 0.000 % |
87.61/87.63 c | 47328 | 84942 1789068 5451065 | 2147483647 47328 48 | 0.000 % |
88.02/88.04 c | 47873 | 84942 1789068 5451065 | 2147483647 47873 49 | 0.000 % |
88.31/88.40 c | 48469 | 84942 1789068 5451065 | 2147483647 48469 49 | 0.000 % |
89.12/89.19 c | 49124 | 84942 1789068 5451065 | 2147483647 49124 49 | 0.000 % |
89.21/89.28 c | 49225 | 84942 1789068 5451065 | 2147483647 49225 49 | 0.000 % |
89.41/89.48 c | 49335 | 84942 1789068 5451065 | 2147483647 49335 49 | 0.000 % |
89.51/89.60 c | 49456 | 84942 1789068 5451065 | 2147483647 49456 49 | 0.000 % |
89.81/89.83 c | 49589 | 84942 1789068 5451065 | 2147483647 49589 49 | 0.000 % |
90.11/90.15 c | 49735 | 84942 1789068 5451065 | 2147483647 49735 49 | 0.000 % |
90.31/90.34 c | 49895 | 84942 1789068 5451065 | 2147483647 49895 49 | 0.000 % |
90.61/90.66 c | 50071 | 84942 1789068 5451065 | 2147483647 50071 49 | 0.000 % |
90.91/90.98 c | 50268 | 84942 1789068 5451065 | 2147483647 50268 50 | 0.000 % |
91.01/91.11 c | 50481 | 84942 1789068 5451065 | 2147483647 50481 49 | 0.000 % |
91.51/91.59 c | 50714 | 84942 1789068 5451065 | 2147483647 50714 50 | 0.000 % |
91.71/91.79 c | 50970 | 84942 1789068 5451065 | 2147483647 50970 50 | 0.000 % |
92.01/92.04 c | 51251 | 84942 1789068 5451065 | 2147483647 51251 50 | 0.000 % |
92.21/92.26 c | 51560 | 84942 1789068 5451065 | 2147483647 51560 50 | 0.000 % |
92.81/92.82 c | 51900 | 84942 1789068 5451065 | 2147483647 51900 50 | 0.000 % |
93.01/93.05 c | 52276 | 84942 1789068 5451065 | 2147483647 52276 50 | 0.000 % |
93.31/93.34 c | 52685 | 84942 1789068 5451065 | 2147483647 52685 50 | 0.000 % |
93.61/93.63 c | 53135 | 84942 1789068 5451065 | 2147483647 53135 50 | 0.000 % |
94.11/94.16 c | 53629 | 84942 1789068 5451065 | 2147483647 53629 50 | 0.000 % |
94.51/94.54 c | 54171 | 84942 1789068 5451065 | 2147483647 54171 50 | 0.000 % |
94.71/94.76 c | 54767 | 84942 1789068 5451065 | 2147483647 54767 51 | 0.000 % |
95.01/95.01 c | 55422 | 84942 1789068 5451065 | 2147483647 55422 51 | 0.000 % |
95.61/95.63 c | 56142 | 84942 1789068 5451065 | 2147483647 56142 51 | 0.000 % |
95.61/95.71 c | 56243 | 84942 1789068 5451065 | 2147483647 56243 52 | 0.000 % |
95.81/95.87 c | 56358 | 84942 1789068 5451065 | 2147483647 56358 52 | 0.000 % |
95.91/95.93 c | 56480 | 84942 1789068 5451065 | 2147483647 56480 52 | 0.000 % |
96.01/96.11 c | 56613 | 84942 1789068 5451065 | 2147483647 56613 52 | 0.000 % |
96.51/96.51 c | 56759 | 84942 1789068 5451065 | 2147483647 56759 52 | 0.000 % |
96.71/96.78 c | 56920 | 84942 1789068 5451065 | 2147483647 56920 52 | 0.000 % |
96.91/96.94 c | 57100 | 84942 1789068 5451065 | 2147483647 57100 52 | 0.000 % |
97.11/97.20 c | 57293 | 84942 1789068 5451065 | 2147483647 57293 52 | 0.000 % |
97.41/97.41 c | 57508 | 84942 1789068 5451065 | 2147483647 57508 52 | 0.000 % |
97.71/97.77 c | 57741 | 84942 1789068 5451065 | 2147483647 57741 52 | 0.000 % |
97.92/97.98 c | 57998 | 84942 1789068 5451065 | 2147483647 57998 52 | 0.000 % |
98.21/98.28 c | 58281 | 84942 1789068 5451065 | 2147483647 58281 52 | 0.000 % |
98.61/98.62 c | 58590 | 84942 1789068 5451065 | 2147483647 58590 52 | 0.000 % |
99.51/99.53 c | 58929 | 84942 1789068 5451065 | 2147483647 58929 52 | 0.000 % |
100.01/100.03 c | 59304 | 84942 1789068 5451065 | 2147483647 59304 52 | 0.000 % |
100.31/100.31 c | 59713 | 84942 1789068 5451065 | 2147483647 59713 52 | 0.000 % |
100.61/100.61 c | 60163 | 84942 1789068 5451065 | 2147483647 60163 52 | 0.000 % |
100.91/100.92 c | 60658 | 84942 1789068 5451065 | 2147483647 60658 53 | 0.000 % |
101.51/101.57 c | 61201 | 84942 1789068 5451065 | 2147483647 61201 53 | 0.000 % |
101.91/101.96 c | 61798 | 84942 1789068 5451065 | 2147483647 61798 53 | 0.000 % |
102.51/102.57 c | 62453 | 84942 1789068 5451065 | 2147483647 62453 54 | 0.000 % |
103.11/103.16 c | 63177 | 84942 1789068 5451065 | 2147483647 63177 54 | 0.000 % |
103.71/103.75 c | 63969 | 84942 1789068 5451065 | 2147483647 63969 54 | 0.000 % |
103.81/103.90 c | 64070 | 84942 1789068 5451065 | 2147483647 64070 54 | 0.000 % |
104.01/104.07 c | 64181 | 84942 1789068 5451065 | 2147483647 64181 54 | 0.000 % |
104.11/104.18 c | 64302 | 84942 1789068 5451065 | 2147483647 64302 54 | 0.000 % |
104.31/104.40 c | 64436 | 84942 1789068 5451065 | 2147483647 64436 54 | 0.000 % |
104.41/104.50 c | 64582 | 84942 1789068 5451065 | 2147483647 64582 54 | 0.000 % |
104.81/104.82 c | 64743 | 84942 1789068 5451065 | 2147483647 64743 54 | 0.000 % |
104.91/104.96 c | 64920 | 84942 1789068 5451065 | 2147483647 64920 54 | 0.000 % |
105.01/105.10 c | 65114 | 84942 1789068 5451065 | 2147483647 65114 54 | 0.000 % |
105.21/105.30 c | 65327 | 84942 1789068 5451065 | 2147483647 65327 54 | 0.000 % |
105.41/105.44 c | 65561 | 84942 1789068 5451065 | 2147483647 65561 54 | 0.000 % |
105.62/105.64 c | 65817 | 84942 1789068 5451065 | 2147483647 65817 54 | 0.000 % |
105.81/105.89 c | 66099 | 84942 1789068 5451065 | 2147483647 66099 54 | 0.000 % |
106.11/106.19 c | 66409 | 84942 1789068 5451065 | 2147483647 66409 55 | 0.000 % |
106.31/106.40 c | 66749 | 84942 1789068 5451065 | 2147483647 66749 55 | 0.000 % |
106.61/106.67 c | 67123 | 84942 1789068 5451065 | 2147483647 67123 55 | 0.000 % |
107.11/107.17 c | 67532 | 84942 1789068 5451065 | 2147483647 67532 55 | 0.000 % |
107.51/107.58 c | 67981 | 84942 1789068 5451065 | 2147483647 67981 55 | 0.000 % |
108.01/108.08 c | 68474 | 84942 1789068 5451065 | 2147483647 68474 55 | 0.000 % |
108.41/108.43 c | 69016 | 84942 1789068 5451065 | 2147483647 69016 55 | 0.000 % |
109.41/109.44 c | 69613 | 84942 1789068 5451065 | 2147483647 69613 55 | 0.000 % |
109.81/109.91 c | 70269 | 84942 1789068 5451065 | 2147483647 70269 55 | 0.000 % |
110.51/110.55 c | 70989 | 84942 1789068 5451065 | 2147483647 70989 55 | 0.000 % |
110.81/110.89 c | 71783 | 84942 1789068 5451065 | 2147483647 71783 56 | 0.000 % |
111.41/111.44 c | 72654 | 84942 1789068 5451065 | 2147483647 72654 56 | 0.000 % |
111.51/111.58 c | 72756 | 84942 1789068 5451065 | 2147483647 72756 56 | 0.000 % |
111.71/111.71 c | 72869 | 84942 1789068 5451065 | 2147483647 72869 56 | 0.000 % |
111.71/111.79 c | 72990 | 84942 1789068 5451065 | 2147483647 72990 56 | 0.000 % |
111.92/111.96 c | 73128 | 84942 1789068 5451065 | 2147483647 73128 56 | 0.000 % |
112.02/112.12 c | 73274 | 84942 1789068 5451065 | 2147483647 73274 56 | 0.000 % |
112.22/112.22 c | 73435 | 84942 1789068 5451065 | 2147483647 73435 56 | 0.000 % |
112.32/112.41 c | 73614 | 84942 1789068 5451065 | 2147483647 73614 56 | 0.000 % |
112.62/112.63 c | 73807 | 84942 1789068 5451065 | 2147483647 73807 56 | 0.000 % |
112.82/112.84 c | 74019 | 84942 1789068 5451065 | 2147483647 74019 56 | 0.000 % |
113.32/113.34 c | 74252 | 84942 1789068 5451065 | 2147483647 74252 56 | 0.000 % |
113.52/113.58 c | 74509 | 84942 1789068 5451065 | 2147483647 74509 56 | 0.000 % |
114.02/114.03 c | 74791 | 84942 1789068 5451065 | 2147483647 74791 56 | 0.000 % |
114.22/114.31 c | 75100 | 84942 1789068 5451065 | 2147483647 75100 56 | 0.000 % |
114.82/114.84 c | 75447 | 84942 1789068 5451065 | 2147483647 75447 56 | 0.000 % |
115.52/115.54 c | 75820 | 84942 1789068 5451065 | 2147483647 75820 56 | 0.000 % |
115.92/116.00 c | 76229 | 84942 1789068 5451065 | 2147483647 76229 56 | 0.000 % |
116.32/116.37 c | 76678 | 84942 1789068 5451065 | 2147483647 76678 56 | 0.000 % |
116.92/116.99 c | 77173 | 84942 1789068 5451065 | 2147483647 77173 56 | 0.000 % |
117.32/117.39 c | 77715 | 84942 1789068 5451065 | 2147483647 77715 56 | 0.000 % |
117.92/117.94 c | 78312 | 84942 1789068 5451065 | 2147483647 78312 56 | 0.000 % |
118.22/118.30 c | 78967 | 84942 1789068 5451065 | 2147483647 78967 56 | 0.000 % |
119.12/119.20 c | 79687 | 84942 1789068 5451065 | 2147483647 79687 56 | 0.000 % |
119.82/119.89 c | 80479 | 84942 1789068 5451065 | 2147483647 80479 57 | 0.000 % |
120.32/120.33 c | 81352 | 84942 1789068 5451065 | 2147483647 81352 57 | 0.000 % |
121.22/121.22 c | 82311 | 84942 1789068 5451065 | 2147483647 82311 57 | 0.000 % |
121.42/121.44 c | 82411 | 84942 1789068 5451065 | 2147483647 82411 57 | 0.000 % |
121.52/121.60 c | 82522 | 84942 1789068 5451065 | 2147483647 82522 57 | 0.000 % |
121.82/121.87 c | 82643 | 84942 1789068 5451065 | 2147483647 82643 57 | 0.000 % |
122.12/122.12 c | 82776 | 84942 1789068 5451065 | 2147483647 82776 57 | 0.000 % |
122.22/122.28 c | 82922 | 84942 1789068 5451065 | 2147483647 82922 57 | 0.000 % |
122.42/122.42 c | 83082 | 84942 1789068 5451065 | 2147483647 83082 57 | 0.000 % |
122.72/122.72 c | 83260 | 84942 1789068 5451065 | 2147483647 83260 57 | 0.000 % |
122.92/122.93 c | 83453 | 84942 1789068 5451065 | 2147483647 83453 57 | 0.000 % |
123.02/123.12 c | 83667 | 84942 1789068 5451065 | 2147483647 83667 57 | 0.000 % |
123.42/123.43 c | 83900 | 84942 1789068 5451065 | 2147483647 83900 57 | 0.000 % |
123.82/123.86 c | 84157 | 84942 1789068 5451065 | 2147483647 84157 57 | 0.000 % |
124.02/124.09 c | 84439 | 84942 1789068 5451065 | 2147483647 84439 57 | 0.000 % |
124.32/124.35 c | 84749 | 84942 1789068 5451065 | 2147483647 84749 57 | 0.000 % |
124.82/124.87 c | 85088 | 84942 1789068 5451065 | 2147483647 85088 57 | 0.000 % |
125.32/125.32 c | 85462 | 84942 1789068 5451065 | 2147483647 85462 58 | 0.000 % |
125.52/125.56 c | 85872 | 84942 1789068 5451065 | 2147483647 85872 58 | 0.000 % |
125.82/125.84 c | 86323 | 84942 1789068 5451065 | 2147483647 86323 58 | 0.000 % |
126.32/126.32 c | 86819 | 84942 1789068 5451065 | 2147483647 86819 58 | 0.000 % |
126.92/126.94 c | 87362 | 84942 1789068 5451065 | 2147483647 87362 58 | 0.000 % |
127.22/127.31 c | 87959 | 84942 1789068 5451065 | 2147483647 87959 58 | 0.000 % |
127.72/127.79 c | 88614 | 84942 1789068 5451065 | 2147483647 88614 58 | 0.000 % |
128.32/128.35 c | 89335 | 84942 1789068 5451065 | 2147483647 89335 59 | 0.000 % |
128.92/128.93 c | 90127 | 84942 1789068 5451065 | 2147483647 90127 59 | 0.000 % |
129.62/129.72 c | 90998 | 84942 1789068 5451065 | 2147483647 90998 59 | 0.000 % |
130.52/130.56 c | 91957 | 84942 1789068 5451065 | 2147483647 91957 59 | 0.000 % |
131.22/131.29 c | 93010 | 84942 1789068 5451065 | 2147483647 93010 60 | 0.000 % |
131.42/131.51 c | 93110 | 84942 1789068 5451065 | 2147483647 93110 60 | 0.000 % |
131.62/131.63 c | 93221 | 84942 1789068 5451065 | 2147483647 93221 60 | 0.000 % |
131.92/131.99 c | 93342 | 84942 1789068 5451065 | 2147483647 93342 60 | 0.000 % |
132.22/132.24 c | 93475 | 84942 1789068 5451065 | 2147483647 93475 60 | 0.000 % |
132.52/132.53 c | 93621 | 84942 1789068 5451065 | 2147483647 93621 60 | 0.000 % |
132.62/132.71 c | 93782 | 84942 1789068 5451065 | 2147483647 93782 60 | 0.000 % |
132.82/132.84 c | 93959 | 84942 1789068 5451065 | 2147483647 93959 60 | 0.000 % |
132.92/132.92 c | 94152 | 84942 1789068 5451065 | 2147483647 94152 60 | 0.000 % |
133.12/133.16 c | 94371 | 84942 1789068 5451065 | 2147483647 94371 60 | 0.000 % |
133.32/133.37 c | 94605 | 84942 1789068 5451065 | 2147483647 94605 60 | 0.000 % |
133.52/133.56 c | 94861 | 84942 1789068 5451065 | 2147483647 94861 60 | 0.000 % |
133.82/133.81 c | 95145 | 84942 1789068 5451065 | 2147483647 95145 60 | 0.000 % |
134.02/134.10 c | 95454 | 84942 1789068 5451065 | 2147483647 95454 60 | 0.000 % |
134.42/134.51 c | 95797 | 84942 1789068 5451065 | 2147483647 95797 60 | 0.000 % |
134.72/134.77 c | 96171 | 84942 1789068 5451065 | 2147483647 96171 60 | 0.000 % |
134.92/134.93 c | 96580 | 84942 1789068 5451065 | 2147483647 96580 60 | 0.000 % |
135.32/135.32 c | 97029 | 84942 1789068 5451065 | 2147483647 97029 60 | 0.000 % |
135.72/135.81 c | 97524 | 84942 1789068 5451065 | 2147483647 97524 60 | 0.000 % |
136.22/136.26 c | 98066 | 84942 1789068 5451065 | 2147483647 98066 61 | 0.000 % |
136.92/136.97 c | 98662 | 84942 1789068 5451065 | 2147483647 98662 61 | 0.000 % |
137.32/137.37 c | 99317 | 84942 1789068 5451065 | 2147483647 99317 61 | 0.000 % |
138.22/138.25 c | 100038 | 84942 1789068 5451065 | 2147483647 100038 61 | 0.000 % |
139.72/139.75 c | 100830 | 84942 1789068 5451065 | 2147483647 100830 61 | 0.000 % |
140.42/140.42 c | 101701 | 84942 1789068 5451065 | 2147483647 101701 61 | 0.000 % |
141.52/141.60 c | 102662 | 84942 1789068 5451065 | 2147483647 102662 62 | 0.000 % |
142.62/142.65 c | 103715 | 84942 1789068 5451065 | 2147483647 103715 62 | 0.000 % |
143.42/143.47 c | 104873 | 84942 1789068 5451065 | 2147483647 104873 62 | 0.000 % |
143.52/143.58 c | 104973 | 84942 1789068 5451065 | 2147483647 104973 62 | 0.000 % |
143.62/143.69 c | 105087 | 84942 1789068 5451065 | 2147483647 105087 62 | 0.000 % |
143.92/143.99 c | 105211 | 84942 1789068 5451065 | 2147483647 105211 62 | 0.000 % |
144.12/144.15 c | 105345 | 84942 1789068 5451065 | 2147483647 105345 62 | 0.000 % |
144.52/144.60 c | 105492 | 84942 1789068 5451065 | 2147483647 105492 62 | 0.000 % |
144.72/144.75 c | 105652 | 84942 1789068 5451065 | 2147483647 105652 62 | 0.000 % |
144.92/144.93 c | 105828 | 84942 1789068 5451065 | 2147483647 105828 62 | 0.000 % |
145.02/145.07 c | 106024 | 84942 1789068 5451065 | 2147483647 106024 62 | 0.000 % |
145.52/145.60 c | 106236 | 84942 1789068 5451065 | 2147483647 106236 62 | 0.000 % |
145.72/145.75 c | 106471 | 84942 1789068 5451065 | 2147483647 106471 62 | 0.000 % |
146.12/146.14 c | 106727 | 84942 1789068 5451065 | 2147483647 106727 62 | 0.000 % |
147.12/147.17 c | 107010 | 84942 1789068 5451065 | 2147483647 107010 62 | 0.000 % |
148.42/148.46 c | 107319 | 84942 1789068 5451065 | 2147483647 107319 62 | 0.000 % |
149.12/149.17 c | 107658 | 84942 1789068 5451065 | 2147483647 107658 62 | 0.000 % |
149.72/149.77 c | 108031 | 84942 1789068 5451065 | 2147483647 108031 62 | 0.000 % |
151.02/151.01 c | 108442 | 84942 1789068 5451065 | 2147483647 108442 62 | 0.000 % |
151.72/151.76 c | 108892 | 84942 1789068 5451065 | 2147483647 108892 62 | 0.000 % |
152.22/152.28 c | 109386 | 84942 1789068 5451065 | 2147483647 109386 62 | 0.000 % |
152.72/152.81 c | 109928 | 84942 1789068 5451065 | 2147483647 109928 62 | 0.000 % |
154.12/154.16 c | 110524 | 84942 1789068 5451065 | 2147483647 110524 62 | 0.000 % |
154.92/154.97 c | 111179 | 84942 1789068 5451065 | 2147483647 111179 62 | 0.000 % |
155.62/155.66 c | 111901 | 84942 1789068 5451065 | 2147483647 111901 62 | 0.000 % |
156.82/156.91 c | 112693 | 84942 1789068 5451065 | 2147483647 112693 62 | 0.000 % |
157.82/157.84 c | 113565 | 84942 1789068 5451065 | 2147483647 113565 62 | 0.000 % |
158.72/158.75 c | 114525 | 84942 1789068 5451065 | 2147483647 114525 62 | 0.000 % |
160.02/160.10 c | 115578 | 84942 1789068 5451065 | 2147483647 115578 62 | 0.000 % |
161.32/161.35 c | 116736 | 84942 1789068 5451065 | 2147483647 116736 63 | 0.000 % |
163.42/163.42 c | 118010 | 84942 1789068 5451065 | 2147483647 118010 62 | 0.000 % |
163.52/163.56 c | 118110 | 84942 1789068 5451065 | 2147483647 118110 62 | 0.000 % |
163.72/163.73 c | 118220 | 84942 1789068 5451065 | 2147483647 118220 62 | 0.000 % |
163.82/163.88 c | 118341 | 84942 1789068 5451065 | 2147483647 118341 62 | 0.000 % |
164.12/164.11 c | 118475 | 84942 1789068 5451065 | 2147483647 118475 62 | 0.000 % |
164.32/164.34 c | 118622 | 84942 1789068 5451065 | 2147483647 118622 62 | 0.000 % |
164.42/164.49 c | 118784 | 84942 1789068 5451065 | 2147483647 118784 62 | 0.000 % |
164.62/164.69 c | 118960 | 84942 1789068 5451065 | 2147483647 118960 62 | 0.000 % |
164.82/164.90 c | 119154 | 84942 1789068 5451065 | 2147483647 119154 62 | 0.000 % |
165.02/165.06 c | 119369 | 84942 1789068 5451065 | 2147483647 119369 62 | 0.000 % |
165.22/165.23 c | 119603 | 84942 1789068 5451065 | 2147483647 119603 62 | 0.000 % |
165.62/165.62 c | 119859 | 84942 1789068 5451065 | 2147483647 119859 62 | 0.000 % |
165.82/165.83 c | 120140 | 84942 1789068 5451065 | 2147483647 120140 62 | 0.000 % |
166.22/166.26 c | 120451 | 84942 1789068 5451065 | 2147483647 120451 62 | 0.000 % |
166.42/166.50 c | 120790 | 84942 1789068 5451065 | 2147483647 120790 62 | 0.000 % |
166.82/166.89 c | 121164 | 84942 1789068 5451065 | 2147483647 121164 62 | 0.000 % |
167.22/167.21 c | 121573 | 84942 1789068 5451065 | 2147483647 121573 63 | 0.000 % |
167.62/167.66 c | 122022 | 84942 1789068 5451065 | 2147483647 122022 63 | 0.000 % |
168.12/168.11 c | 122519 | 84942 1789068 5451065 | 2147483647 122519 63 | 0.000 % |
168.62/168.67 c | 123061 | 84942 1789068 5451065 | 2147483647 123061 63 | 0.000 % |
169.12/169.17 c | 123661 | 84942 1789068 5451065 | 2147483647 123661 63 | 0.000 % |
169.62/169.63 c | 124317 | 84942 1789068 5451065 | 2147483647 124317 63 | 0.000 % |
170.12/170.14 c | 125037 | 84942 1789068 5451065 | 2147483647 125037 63 | 0.000 % |
170.72/170.73 c | 125834 | 84942 1789068 5451065 | 2147483647 125834 64 | 0.000 % |
171.22/171.31 c | 126705 | 84942 1789068 5451065 | 2147483647 126705 64 | 0.000 % |
171.92/171.99 c | 127663 | 84942 1789068 5451065 | 2147483647 127663 64 | 0.000 % |
172.92/172.97 c | 128716 | 84942 1789068 5451065 | 2147483647 128716 64 | 0.000 % |
173.72/173.77 c | 129875 | 84942 1789068 5451065 | 2147483647 129875 64 | 0.000 % |
174.93/174.99 c | 131148 | 84942 1789068 5451065 | 2147483647 131148 64 | 0.000 % |
176.12/176.18 c | 132548 | 84942 1789068 5451065 | 2147483647 132548 64 | 0.000 % |
176.32/176.39 c | 132648 | 84942 1789068 5451065 | 2147483647 132648 64 | 0.000 % |
176.52/176.54 c | 132758 | 84942 1789068 5451065 | 2147483647 132758 64 | 0.000 % |
176.62/176.69 c | 132882 | 84942 1789068 5451065 | 2147483647 132882 64 | 0.000 % |
176.82/176.85 c | 133018 | 84942 1789068 5451065 | 2147483647 133018 64 | 0.000 % |
176.92/177.01 c | 133167 | 84942 1789068 5451065 | 2147483647 133167 64 | 0.000 % |
177.13/177.21 c | 133327 | 84942 1789068 5451065 | 2147483647 133327 64 | 0.000 % |
177.32/177.38 c | 133504 | 84942 1789068 5451065 | 2147483647 133504 64 | 0.000 % |
177.62/177.67 c | 133697 | 84942 1789068 5451065 | 2147483647 133697 64 | 0.000 % |
177.82/177.89 c | 133911 | 84942 1789068 5451065 | 2147483647 133911 64 | 0.000 % |
178.23/178.25 c | 134147 | 84942 1789068 5451065 | 2147483647 134147 64 | 0.000 % |
178.52/178.55 c | 134403 | 84942 1789068 5451065 | 2147483647 134403 64 | 0.000 % |
178.82/178.90 c | 134684 | 84942 1789068 5451065 | 2147483647 134684 64 | 0.000 % |
179.22/179.27 c | 134997 | 84942 1789068 5451065 | 2147483647 134997 65 | 0.000 % |
179.72/179.76 c | 135336 | 84942 1789068 5451065 | 2147483647 135336 64 | 0.000 % |
180.52/180.52 c | 135708 | 84942 1789068 5451065 | 2147483647 135708 64 | 0.000 % |
181.12/181.12 c | 136119 | 84942 1789068 5451065 | 2147483647 136119 64 | 0.000 % |
181.62/181.62 c | 136568 | 84942 1789068 5451065 | 2147483647 136568 64 | 0.000 % |
182.22/182.26 c | 137061 | 84942 1789068 5451065 | 2147483647 137061 64 | 0.000 % |
183.82/183.83 c | 137605 | 84942 1789068 5451065 | 2147483647 137605 64 | 0.000 % |
184.52/184.55 c | 138201 | 84942 1789068 5451065 | 2147483647 138201 64 | 0.000 % |
185.72/185.75 c | 138857 | 84942 1789068 5451065 | 2147483647 138857 64 | 0.000 % |
186.22/186.24 c | 139578 | 84942 1789068 5451065 | 2147483647 139578 64 | 0.000 % |
187.82/187.83 c | 140370 | 84942 1789068 5451065 | 2147483647 140370 64 | 0.000 % |
188.92/188.92 c | 141242 | 84942 1789068 5451065 | 2147483647 141242 64 | 0.000 % |
189.62/189.61 c | 142200 | 84942 1789068 5451065 | 2147483647 142200 64 | 0.000 % |
190.52/190.53 c | 143253 | 84942 1789068 5451065 | 2147483647 143253 64 | 0.000 % |
191.32/191.37 c | 144412 | 84942 1789068 5451065 | 2147483647 144412 65 | 0.000 % |
192.62/192.62 c | 145685 | 84942 1789068 5451065 | 2147483647 145685 65 | 0.000 % |
193.32/193.36 c | 147090 | 84942 1789068 5451065 | 2147483647 147090 65 | 0.000 % |
194.73/194.73 c | 148630 | 84942 1789068 5451065 | 2147483647 148630 65 | 0.000 % |
194.82/194.91 c | 148730 | 84942 1789068 5451065 | 2147483647 148730 65 | 0.000 % |
195.12/195.12 c | 148840 | 84942 1789068 5451065 | 2147483647 148840 65 | 0.000 % |
195.32/195.32 c | 148961 | 84942 1789068 5451065 | 2147483647 148961 65 | 0.000 % |
195.52/195.56 c | 149094 | 84942 1789068 5451065 | 2147483647 149094 65 | 0.000 % |
195.72/195.75 c | 149240 | 84942 1789068 5451065 | 2147483647 149240 65 | 0.000 % |
195.92/195.91 c | 149400 | 84942 1789068 5451065 | 2147483647 149400 65 | 0.000 % |
196.02/196.11 c | 149576 | 84942 1789068 5451065 | 2147483647 149576 65 | 0.000 % |
196.42/196.50 c | 149769 | 84942 1789068 5451065 | 2147483647 149769 65 | 0.000 % |
197.32/197.37 c | 149981 | 84942 1789068 5451065 | 2147483647 149981 65 | 0.000 % |
197.62/197.69 c | 150216 | 84942 1789068 5451065 | 2147483647 150216 65 | 0.000 % |
198.32/198.41 c | 150473 | 84942 1789068 5451065 | 2147483647 150473 65 | 0.000 % |
199.22/199.22 c | 150756 | 84942 1789068 5451065 | 2147483647 150756 65 | 0.000 % |
200.23/200.25 c | 151065 | 84942 1789068 5451065 | 2147483647 151065 65 | 0.000 % |
200.42/200.49 c | 151406 | 84942 1789068 5451065 | 2147483647 151406 65 | 0.000 % |
201.02/201.02 c | 151778 | 84942 1789068 5451065 | 2147483647 151778 65 | 0.000 % |
201.62/201.69 c | 152187 | 84942 1789068 5451065 | 2147483647 152187 65 | 0.000 % |
202.02/202.04 c | 152636 | 84942 1789068 5451065 | 2147483647 152636 65 | 0.000 % |
202.82/202.88 c | 153129 | 84942 1789068 5451065 | 2147483647 153129 66 | 0.000 % |
203.32/203.32 c | 153671 | 84942 1789068 5451065 | 2147483647 153671 66 | 0.000 % |
203.92/203.94 c | 154267 | 84942 1789068 5451065 | 2147483647 154267 66 | 0.000 % |
204.52/204.54 c | 154923 | 84942 1789068 5451065 | 2147483647 154923 66 | 0.000 % |
205.12/205.18 c | 155643 | 84942 1789068 5451065 | 2147483647 155643 66 | 0.000 % |
205.82/205.89 c | 156436 | 84942 1789068 5451065 | 2147483647 156436 66 | 0.000 % |
206.72/206.72 c | 157307 | 84942 1789068 5451065 | 2147483647 157307 66 | 0.000 % |
207.62/207.61 c | 158265 | 84942 1789068 5451065 | 2147483647 158265 66 | 0.000 % |
208.52/208.60 c | 159319 | 84942 1789068 5451065 | 2147483647 159319 66 | 0.000 % |
209.22/209.22 c | 160477 | 84942 1789068 5451065 | 2147483647 160477 66 | 0.000 % |
210.33/210.39 c | 161751 | 84942 1789068 5451065 | 2147483647 161751 66 | 0.000 % |
211.93/211.97 c | 163151 | 84942 1789068 5451065 | 2147483647 163151 66 | 0.000 % |
213.13/213.19 c | 164692 | 84942 1789068 5451065 | 2147483647 164692 66 | 0.000 % |
214.83/214.91 c | 166386 | 84942 1789068 5451065 | 2147483647 166386 66 | 0.000 % |
215.03/215.03 c | 166490 | 84942 1789068 5451065 | 2147483647 166490 66 | 0.000 % |
215.13/215.17 c | 166600 | 84942 1789068 5451065 | 2147483647 166600 66 | 0.000 % |
215.23/215.26 c | 166721 | 84942 1789068 5451065 | 2147483647 166721 66 | 0.000 % |
215.43/215.43 c | 166854 | 84942 1789068 5451065 | 2147483647 166854 66 | 0.000 % |
215.73/215.75 c | 167000 | 84942 1789068 5451065 | 2147483647 167000 66 | 0.000 % |
216.03/216.08 c | 167160 | 84942 1789068 5451065 | 2147483647 167160 66 | 0.000 % |
216.23/216.29 c | 167337 | 84942 1789068 5451065 | 2147483647 167337 66 | 0.000 % |
216.53/216.58 c | 167530 | 84942 1789068 5451065 | 2147483647 167530 66 | 0.000 % |
216.83/216.88 c | 167742 | 84942 1789068 5451065 | 2147483647 167742 66 | 0.000 % |
217.13/217.13 c | 167976 | 84942 1789068 5451065 | 2147483647 167976 66 | 0.000 % |
217.43/217.42 c | 168232 | 84942 1789068 5451065 | 2147483647 168232 66 | 0.000 % |
217.73/217.77 c | 168513 | 84942 1789068 5451065 | 2147483647 168513 66 | 0.000 % |
218.13/218.19 c | 168822 | 84942 1789068 5451065 | 2147483647 168822 66 | 0.000 % |
218.53/218.53 c | 169162 | 84942 1789068 5451065 | 2147483647 169162 66 | 0.000 % |
218.73/218.74 c | 169534 | 84942 1789068 5451065 | 2147483647 169534 66 | 0.000 % |
219.13/219.13 c | 169943 | 84942 1789068 5451065 | 2147483647 169943 66 | 0.000 % |
219.53/219.61 c | 170392 | 84942 1789068 5451065 | 2147483647 170392 66 | 0.000 % |
220.13/220.13 c | 170889 | 84942 1789068 5451065 | 2147483647 170889 66 | 0.000 % |
220.63/220.63 c | 171431 | 84942 1789068 5451065 | 2147483647 171431 66 | 0.000 % |
221.03/221.03 c | 172027 | 84942 1789068 5451065 | 2147483647 172027 66 | 0.000 % |
221.63/221.67 c | 172683 | 84942 1789068 5451065 | 2147483647 172683 66 | 0.000 % |
222.23/222.30 c | 173403 | 84942 1789068 5451065 | 2147483647 173403 66 | 0.000 % |
223.13/223.12 c | 174195 | 84942 1789068 5451065 | 2147483647 174195 66 | 0.000 % |
223.83/223.91 c | 175066 | 84942 1789068 5451065 | 2147483647 175066 66 | 0.000 % |
224.63/224.68 c | 176026 | 84942 1789068 5451065 | 2147483647 176026 67 | 0.000 % |
225.53/225.53 c | 177079 | 84942 1789068 5451065 | 2147483647 177079 67 | 0.000 % |
226.43/226.51 c | 178238 | 84942 1789068 5451065 | 2147483647 178238 67 | 0.000 % |
227.63/227.69 c | 179511 | 84942 1789068 5451065 | 2147483647 179511 67 | 0.000 % |
229.03/229.04 c | 180911 | 84942 1789068 5451065 | 2147483647 180911 67 | 0.000 % |
230.63/230.65 c | 182452 | 84942 1789068 5451065 | 2147483647 182452 67 | 0.000 % |
232.23/232.31 c | 184147 | 84942 1789068 5451065 | 2147483647 184147 67 | 0.000 % |
233.43/233.51 c | 186010 | 84942 1789068 5451065 | 2147483647 186010 66 | 0.000 % |
233.73/233.73 c | 186110 | 84942 1789068 5451065 | 2147483647 186110 66 | 0.000 % |
233.83/233.87 c | 186220 | 84942 1789068 5451065 | 2147483647 186220 66 | 0.000 % |
234.03/234.05 c | 186342 | 84942 1789068 5451065 | 2147483647 186342 66 | 0.000 % |
234.23/234.23 c | 186476 | 84942 1789068 5451065 | 2147483647 186476 66 | 0.000 % |
234.43/234.44 c | 186625 | 84942 1789068 5451065 | 2147483647 186625 66 | 0.000 % |
234.53/234.60 c | 186785 | 84942 1789068 5451065 | 2147483647 186785 66 | 0.000 % |
234.73/234.79 c | 186961 | 84942 1789068 5451065 | 2147483647 186961 66 | 0.000 % |
234.93/234.99 c | 187154 | 84942 1789068 5451065 | 2147483647 187154 66 | 0.000 % |
235.13/235.19 c | 187366 | 84942 1789068 5451065 | 2147483647 187366 66 | 0.000 % |
235.33/235.38 c | 187599 | 84942 1789068 5451065 | 2147483647 187599 66 | 0.000 % |
235.63/235.63 c | 187855 | 84942 1789068 5451065 | 2147483647 187855 66 | 0.000 % |
235.93/235.96 c | 188136 | 84942 1789068 5451065 | 2147483647 188136 66 | 0.000 % |
236.23/236.24 c | 188445 | 84942 1789068 5451065 | 2147483647 188445 66 | 0.000 % |
236.63/236.65 c | 188785 | 84942 1789068 5451065 | 2147483647 188785 66 | 0.000 % |
237.13/237.13 c | 189157 | 84942 1789068 5451065 | 2147483647 189157 66 | 0.000 % |
237.43/237.45 c | 189568 | 84942 1789068 5451065 | 2147483647 189568 66 | 0.000 % |
237.93/237.98 c | 190017 | 84942 1789068 5451065 | 2147483647 190017 66 | 0.000 % |
238.63/238.69 c | 190510 | 84942 1789068 5451065 | 2147483647 190510 66 | 0.000 % |
239.23/239.26 c | 191052 | 84942 1789068 5451065 | 2147483647 191052 66 | 0.000 % |
239.83/239.85 c | 191648 | 84942 1789068 5451065 | 2147483647 191648 66 | 0.000 % |
240.43/240.45 c | 192303 | 84942 1789068 5451065 | 2147483647 192303 66 | 0.000 % |
241.03/241.05 c | 193023 | 84942 1789068 5451065 | 2147483647 193023 66 | 0.000 % |
241.83/241.88 c | 193816 | 84942 1789068 5451065 | 2147483647 193816 66 | 0.000 % |
242.43/242.47 c | 194689 | 84942 1789068 5451065 | 2147483647 194689 66 | 0.000 % |
243.53/243.59 c | 195647 | 84942 1789068 5451065 | 2147483647 195647 66 | 0.000 % |
244.33/244.39 c | 196700 | 84942 1789068 5451065 | 2147483647 196700 65 | 0.000 % |
245.23/245.27 c | 197860 | 84942 1789068 5451065 | 2147483647 197860 65 | 0.000 % |
246.83/246.82 c | 199136 | 84942 1789068 5451065 | 2147483647 199136 65 | 0.000 % |
248.13/248.17 c | 200536 | 84942 1789068 5451065 | 2147483647 200536 65 | 0.000 % |
249.63/249.66 c | 202076 | 84942 1789068 5451065 | 2147483647 202076 65 | 0.000 % |
251.33/251.34 c | 203773 | 84942 1789068 5451065 | 2147483647 203773 65 | 0.000 % |
253.13/253.19 c | 205637 | 84942 1789068 5451065 | 2147483647 205637 65 | 0.000 % |
255.63/255.62 c | 207686 | 84942 1789068 5451065 | 2147483647 207686 65 | 0.000 % |
255.63/255.71 c | 207787 | 84942 1789068 5451065 | 2147483647 207787 64 | 0.000 % |
255.93/255.93 c | 207897 | 84942 1789068 5451065 | 2147483647 207897 64 | 0.000 % |
256.03/256.10 c | 208018 | 84942 1789068 5451065 | 2147483647 208018 64 | 0.000 % |
256.33/256.32 c | 208153 | 84942 1789068 5451065 | 2147483647 208153 64 | 0.000 % |
256.53/256.53 c | 208300 | 84942 1789068 5451065 | 2147483647 208300 64 | 0.000 % |
256.73/256.75 c | 208461 | 84942 1789068 5451065 | 2147483647 208461 64 | 0.000 % |
256.93/256.95 c | 208637 | 84942 1789068 5451065 | 2147483647 208637 64 | 0.000 % |
257.23/257.21 c | 208832 | 84942 1789068 5451065 | 2147483647 208832 64 | 0.000 % |
257.43/257.45 c | 209046 | 84942 1789068 5451065 | 2147483647 209046 64 | 0.000 % |
257.73/257.72 c | 209279 | 84942 1789068 5451065 | 2147483647 209279 64 | 0.000 % |
258.13/258.18 c | 209535 | 84942 1789068 5451065 | 2147483647 209535 64 | 0.000 % |
258.53/258.57 c | 209816 | 84942 1789068 5451065 | 2147483647 209816 64 | 0.000 % |
259.03/259.07 c | 210126 | 84942 1789068 5451065 | 2147483647 210126 64 | 0.000 % |
259.33/259.40 c | 210465 | 84942 1789068 5451065 | 2147483647 210465 64 | 0.000 % |
259.83/259.84 c | 210838 | 84942 1789068 5451065 | 2147483647 210838 64 | 0.000 % |
260.13/260.19 c | 211248 | 84942 1789068 5451065 | 2147483647 211248 64 | 0.000 % |
261.13/261.15 c | 211698 | 84942 1789068 5451065 | 2147483647 211698 64 | 0.000 % |
261.53/261.52 c | 212191 | 84942 1789068 5451065 | 2147483647 212191 64 | 0.000 % |
262.23/262.22 c | 212735 | 84942 1789068 5451065 | 2147483647 212735 64 | 0.000 % |
262.93/263.01 c | 213332 | 84942 1789068 5451065 | 2147483647 213332 64 | 0.000 % |
263.73/263.80 c | 213988 | 84942 1789068 5451065 | 2147483647 213988 64 | 0.000 % |
264.73/264.72 c | 214708 | 84942 1789068 5451065 | 2147483647 214708 64 | 0.000 % |
265.43/265.47 c | 215500 | 84942 1789068 5451065 | 2147483647 215500 64 | 0.000 % |
266.93/266.92 c | 216372 | 84942 1789068 5451065 | 2147483647 216372 64 | 0.000 % |
268.33/268.41 c | 217330 | 84942 1789068 5451065 | 2147483647 217330 64 | 0.000 % |
269.43/269.43 c | 218392 | 84942 1789068 5451065 | 2147483647 218392 64 | 0.000 % |
270.03/270.03 c | 219550 | 84942 1789068 5451065 | 2147483647 219550 64 | 0.000 % |
271.43/271.51 c | 220824 | 84942 1789068 5451065 | 2147483647 220824 64 | 0.000 % |
272.73/272.73 c | 222225 | 84942 1789068 5451065 | 2147483647 222225 64 | 0.000 % |
274.43/274.42 c | 223767 | 84942 1789068 5451065 | 2147483647 223767 64 | 0.000 % |
276.03/276.06 c | 225462 | 84942 1789068 5451065 | 2147483647 225462 64 | 0.000 % |
277.83/277.88 c | 227325 | 84942 1789068 5451065 | 2147483647 227325 64 | 0.000 % |
280.33/280.35 c | 229374 | 84942 1789068 5451065 | 2147483647 229374 64 | 0.000 % |
282.93/282.91 c | 231627 | 84942 1789068 5451065 | 2147483647 231627 64 | 0.000 % |
283.13/283.13 c | 231728 | 84942 1789068 5451065 | 2147483647 231728 64 | 0.000 % |
283.33/283.32 c | 231840 | 84942 1789068 5451065 | 2147483647 231840 64 | 0.000 % |
283.53/283.52 c | 231961 | 84942 1789068 5451065 | 2147483647 231961 64 | 0.000 % |
283.63/283.71 c | 232096 | 84942 1789068 5451065 | 2147483647 232096 64 | 0.000 % |
283.93/283.96 c | 232245 | 84942 1789068 5451065 | 2147483647 232245 64 | 0.000 % |
284.63/284.62 c | 232405 | 84942 1789068 5451065 | 2147483647 232405 64 | 0.000 % |
284.83/284.86 c | 232581 | 84942 1789068 5451065 | 2147483647 232581 64 | 0.000 % |
285.23/285.26 c | 232774 | 84942 1789068 5451065 | 2147483647 232774 64 | 0.000 % |
285.53/285.58 c | 232987 | 84942 1789068 5451065 | 2147483647 232987 64 | 0.000 % |
285.93/285.98 c | 233220 | 84942 1789068 5451065 | 2147483647 233220 64 | 0.000 % |
286.33/286.32 c | 233476 | 84942 1789068 5451065 | 2147483647 233476 64 | 0.000 % |
286.73/286.79 c | 233758 | 84942 1789068 5451065 | 2147483647 233758 64 | 0.000 % |
287.14/287.13 c | 234067 | 84942 1789068 5451065 | 2147483647 234067 64 | 0.000 % |
287.73/287.76 c | 234406 | 84942 1789068 5451065 | 2147483647 234406 64 | 0.000 % |
288.33/288.38 c | 234778 | 84942 1789068 5451065 | 2147483647 234778 64 | 0.000 % |
288.83/288.81 c | 235187 | 84942 1789068 5451065 | 2147483647 235187 64 | 0.000 % |
289.43/289.46 c | 235636 | 84942 1789068 5451065 | 2147483647 235636 64 | 0.000 % |
290.13/290.15 c | 236129 | 84942 1789068 5451065 | 2147483647 236129 64 | 0.000 % |
290.73/290.72 c | 236672 | 84942 1789068 5451065 | 2147483647 236672 64 | 0.000 % |
291.54/291.57 c | 237269 | 84942 1789068 5451065 | 2147483647 237269 64 | 0.000 % |
292.33/292.34 c | 237924 | 84942 1789068 5451065 | 2147483647 237924 64 | 0.000 % |
293.13/293.16 c | 238645 | 84942 1789068 5451065 | 2147483647 238645 64 | 0.000 % |
293.83/293.85 c | 239437 | 84942 1789068 5451065 | 2147483647 239437 64 | 0.000 % |
294.84/294.83 c | 240308 | 84942 1789068 5451065 | 2147483647 240308 64 | 0.000 % |
295.63/295.64 c | 241266 | 84942 1789068 5451065 | 2147483647 241266 64 | 0.000 % |
296.83/296.89 c | 242320 | 84942 1789068 5451065 | 2147483647 242320 64 | 0.000 % |
298.14/298.17 c | 243479 | 84942 1789068 5451065 | 2147483647 243479 64 | 0.000 % |
299.73/299.71 c | 244752 | 84942 1789068 5451065 | 2147483647 244752 64 | 0.000 % |
301.13/301.20 c | 246153 | 84942 1789068 5451065 | 2147483647 246153 64 | 0.000 % |
302.83/302.88 c | 247693 | 84942 1789068 5451065 | 2147483647 247693 64 | 0.000 % |
304.13/304.14 c | 249388 | 84942 1789068 5451065 | 2147483647 249388 64 | 0.000 % |
306.23/306.23 c | 251251 | 84942 1789068 5451065 | 2147483647 251251 64 | 0.000 % |
308.64/308.71 c | 253301 | 84942 1789068 5451065 | 2147483647 253301 64 | 0.000 % |
311.64/311.65 c | 255554 | 84942 1789068 5451065 | 2147483647 255554 64 | 0.000 % |
316.94/316.93 c | 258032 | 84942 1789068 5451065 | 2147483647 258032 64 | 0.000 % |
317.14/317.21 c | 258132 | 84942 1789068 5451065 | 2147483647 258132 64 | 0.000 % |
317.44/317.46 c | 258246 | 84942 1789068 5451065 | 2147483647 258246 64 | 0.000 % |
317.64/317.69 c | 258367 | 84942 1789068 5451065 | 2147483647 258367 64 | 0.000 % |
317.84/317.91 c | 258501 | 84942 1789068 5451065 | 2147483647 258501 64 | 0.000 % |
318.24/318.26 c | 258647 | 84942 1789068 5451065 | 2147483647 258647 64 | 0.000 % |
318.54/318.53 c | 258807 | 84942 1789068 5451065 | 2147483647 258807 64 | 0.000 % |
318.74/318.75 c | 258983 | 84942 1789068 5451065 | 2147483647 258983 64 | 0.000 % |
319.04/319.02 c | 259177 | 84942 1789068 5451065 | 2147483647 259177 64 | 0.000 % |
319.34/319.35 c | 259390 | 84942 1789068 5451065 | 2147483647 259390 64 | 0.000 % |
319.54/319.58 c | 259625 | 84942 1789068 5451065 | 2147483647 259625 64 | 0.000 % |
319.84/319.91 c | 259883 | 84942 1789068 5451065 | 2147483647 259883 64 | 0.000 % |
320.44/320.45 c | 260164 | 84942 1789068 5451065 | 2147483647 260164 64 | 0.000 % |
320.74/320.79 c | 260473 | 84942 1789068 5451065 | 2147483647 260473 64 | 0.000 % |
321.44/321.42 c | 260812 | 84942 1789068 5451065 | 2147483647 260812 64 | 0.000 % |
321.94/321.98 c | 261185 | 84942 1789068 5451065 | 2147483647 261185 64 | 0.000 % |
322.44/322.46 c | 261594 | 84942 1789068 5451065 | 2147483647 261594 64 | 0.000 % |
323.14/323.17 c | 262043 | 84942 1789068 5451065 | 2147483647 262043 64 | 0.000 % |
324.14/324.16 c | 262537 | 84942 1789068 5451065 | 2147483647 262537 64 | 0.000 % |
325.24/325.24 c | 263079 | 84942 1789068 5451065 | 2147483647 263079 63 | 0.000 % |
326.14/326.16 c | 263680 | 84942 1789068 5451065 | 2147483647 263680 64 | 0.000 % |
326.94/326.98 c | 264335 | 84942 1789068 5451065 | 2147483647 264335 64 | 0.000 % |
327.64/327.69 c | 265055 | 84942 1789068 5451065 | 2147483647 265055 64 | 0.000 % |
328.93/328.99 c | 265848 | 84942 1789068 5451065 | 2147483647 265848 64 | 0.000 % |
329.83/329.91 c | 266720 | 84942 1789068 5451065 | 2147483647 266720 64 | 0.000 % |
331.23/331.25 c | 267680 | 84942 1789068 5451065 | 2147483647 267680 63 | 0.000 % |
332.63/332.61 c | 268737 | 84942 1789068 5451065 | 2147483647 268737 63 | 0.000 % |
333.93/333.97 c | 269896 | 84942 1789068 5451065 | 2147483647 269896 63 | 0.000 % |
335.13/335.19 c | 271170 | 84942 1789068 5451065 | 2147483647 271170 63 | 0.000 % |
337.03/337.02 c | 272570 | 84942 1789068 5451065 | 2147483647 272570 63 | 0.000 % |
339.23/339.28 c | 274114 | 84942 1789068 5451065 | 2147483647 274114 64 | 0.000 % |
341.33/341.34 c | 275808 | 84942 1789068 5451065 | 2147483647 275808 64 | 0.000 % |
343.73/343.72 c | 277671 | 84942 1789068 5451065 | 2147483647 277671 64 | 0.000 % |
346.43/346.44 c | 279720 | 84942 1789068 5451065 | 2147483647 279720 64 | 0.000 % |
349.53/349.51 c | 281974 | 84942 1789068 5451065 | 2147483647 281974 64 | 0.000 % |
352.33/352.35 c | 284453 | 84942 1789068 5451065 | 2147483647 284453 63 | 0.000 % |
355.93/355.99 c | 287178 | 84942 1789068 5451065 | 2147483647 287178 63 | 0.000 % |
356.03/356.10 c | 287278 | 84942 1789068 5451065 | 2147483647 287278 63 | 0.000 % |
356.23/356.24 c | 287388 | 84942 1789068 5451065 | 2147483647 287388 63 | 0.000 % |
356.33/356.40 c | 287509 | 84942 1789068 5451065 | 2147483647 287509 63 | 0.000 % |
356.73/356.75 c | 287642 | 84942 1789068 5451065 | 2147483647 287642 63 | 0.000 % |
357.03/357.05 c | 287788 | 84942 1789068 5451065 | 2147483647 287788 63 | 0.000 % |
357.23/357.30 c | 287950 | 84942 1789068 5451065 | 2147483647 287950 63 | 0.000 % |
357.53/357.51 c | 288126 | 84942 1789068 5451065 | 2147483647 288126 63 | 0.000 % |
357.73/357.75 c | 288320 | 84942 1789068 5451065 | 2147483647 288320 63 | 0.000 % |
358.03/358.05 c | 288534 | 84942 1789068 5451065 | 2147483647 288534 63 | 0.000 % |
358.33/358.39 c | 288767 | 84942 1789068 5451065 | 2147483647 288767 63 | 0.000 % |
358.83/358.82 c | 289023 | 84942 1789068 5451065 | 2147483647 289023 63 | 0.000 % |
359.23/359.24 c | 289304 | 84942 1789068 5451065 | 2147483647 289304 63 | 0.000 % |
359.53/359.61 c | 289613 | 84942 1789068 5451065 | 2147483647 289613 63 | 0.000 % |
360.63/360.62 c | 289953 | 84942 1789068 5451065 | 2147483647 289953 63 | 0.000 % |
361.23/361.21 c | 290325 | 84942 1789068 5451065 | 2147483647 290325 63 | 0.000 % |
361.73/361.77 c | 290734 | 84942 1789068 5451065 | 2147483647 290734 63 | 0.000 % |
362.53/362.52 c | 291183 | 84942 1789068 5451065 | 2147483647 291183 63 | 0.000 % |
363.53/363.59 c | 291678 | 84942 1789068 5451065 | 2147483647 291678 63 | 0.000 % |
364.23/364.26 c | 292221 | 84942 1789068 5451065 | 2147483647 292221 63 | 0.000 % |
365.03/365.11 c | 292817 | 84942 1789068 5451065 | 2147483647 292817 63 | 0.000 % |
366.03/366.03 c | 293473 | 84942 1789068 5451065 | 2147483647 293473 63 | 0.000 % |
366.73/366.80 c | 294194 | 84942 1789068 5451065 | 2147483647 294194 63 | 0.000 % |
368.13/368.19 c | 294987 | 84942 1789068 5451065 | 2147483647 294987 63 | 0.000 % |
369.33/369.38 c | 295859 | 84942 1789068 5451065 | 2147483647 295859 63 | 0.000 % |
370.63/370.64 c | 296817 | 84942 1789068 5451065 | 2147483647 296817 63 | 0.000 % |
372.33/372.38 c | 297870 | 84942 1789068 5451065 | 2147483647 297870 63 | 0.000 % |
374.73/374.80 c | 299028 | 84942 1789068 5451065 | 2147483647 299028 63 | 0.000 % |
376.03/376.09 c | 300301 | 84942 1789068 5451065 | 2147483647 300301 63 | 0.000 % |
378.03/378.02 c | 301702 | 84942 1789068 5451065 | 2147483647 301702 63 | 0.000 % |
379.33/379.32 c | 303242 | 84942 1789068 5451065 | 2147483647 303242 63 | 0.000 % |
381.63/381.71 c | 304937 | 84942 1789068 5451065 | 2147483647 304937 63 | 0.000 % |
383.94/383.92 c | 306800 | 84942 1789068 5451065 | 2147483647 306800 63 | 0.000 % |
386.63/386.63 c | 308849 | 84942 1789068 5451065 | 2147483647 308849 63 | 0.000 % |
389.23/389.29 c | 311102 | 84942 1789068 5451065 | 2147483647 311102 62 | 0.000 % |
391.93/391.93 c | 313581 | 84942 1789068 5451065 | 2147483647 313581 62 | 0.000 % |
394.94/394.94 c | 316306 | 84942 1789068 5451065 | 2147483647 316306 62 | 0.000 % |
399.03/399.06 c | 319303 | 84942 1789068 5451065 | 2147483647 319303 62 | 0.000 % |
399.23/399.23 c | 319404 | 84942 1789068 5451065 | 2147483647 319404 62 | 0.000 % |
399.43/399.41 c | 319514 | 84942 1789068 5451065 | 2147483647 319514 62 | 0.000 % |
399.63/399.69 c | 319635 | 84942 1789068 5451065 | 2147483647 319635 62 | 0.000 % |
399.83/399.83 c | 319768 | 84942 1789068 5451065 | 2147483647 319768 62 | 0.000 % |
400.13/400.12 c | 319914 | 84942 1789068 5451065 | 2147483647 319914 62 | 0.000 % |
400.33/400.38 c | 320074 | 84942 1789068 5451065 | 2147483647 320074 62 | 0.000 % |
401.03/401.02 c | 320250 | 84942 1789068 5451065 | 2147483647 320250 62 | 0.000 % |
401.63/401.64 c | 320443 | 84942 1789068 5451065 | 2147483647 320443 62 | 0.000 % |
401.93/402.00 c | 320657 | 84942 1789068 5451065 | 2147483647 320657 62 | 0.000 % |
402.33/402.33 c | 320890 | 84942 1789068 5451065 | 2147483647 320890 62 | 0.000 % |
402.53/402.58 c | 321147 | 84942 1789068 5451065 | 2147483647 321147 62 | 0.000 % |
402.93/402.92 c | 321429 | 84942 1789068 5451065 | 2147483647 321429 62 | 0.000 % |
403.23/403.29 c | 321739 | 84942 1789068 5451065 | 2147483647 321739 62 | 0.000 % |
403.74/403.79 c | 322078 | 84942 1789068 5451065 | 2147483647 322078 62 | 0.000 % |
404.23/404.30 c | 322450 | 84942 1789068 5451065 | 2147483647 322450 62 | 0.000 % |
404.73/404.75 c | 322861 | 84942 1789068 5451065 | 2147483647 322861 62 | 0.000 % |
405.54/405.56 c | 323310 | 84942 1789068 5451065 | 2147483647 323310 62 | 0.000 % |
406.04/406.04 c | 323803 | 84942 1789068 5451065 | 2147483647 323803 62 | 0.000 % |
406.84/406.91 c | 324346 | 84942 1789068 5451065 | 2147483647 324346 62 | 0.000 % |
407.74/407.72 c | 324942 | 84942 1789068 5451065 | 2147483647 324942 62 | 0.000 % |
408.54/408.51 c | 325597 | 84942 1789068 5451065 | 2147483647 325597 62 | 0.000 % |
409.54/409.61 c | 326317 | 84942 1789068 5451065 | 2147483647 326317 62 | 0.000 % |
410.54/410.51 c | 327110 | 84942 1789068 5451065 | 2147483647 327110 62 | 0.000 % |
411.54/411.56 c | 327981 | 84942 1789068 5451065 | 2147483647 327981 62 | 0.000 % |
412.74/412.78 c | 328940 | 84942 1789068 5451065 | 2147483647 328940 62 | 0.000 % |
413.74/413.72 c | 329994 | 84942 1789068 5451065 | 2147483647 329994 62 | 0.000 % |
415.14/415.20 c | 331156 | 84942 1789068 5451065 | 2147483647 331156 62 | 0.000 % |
416.74/416.72 c | 332430 | 84942 1789068 5451065 | 2147483647 332430 62 | 0.000 % |
418.64/418.70 c | 333831 | 84942 1789068 5451065 | 2147483647 333831 62 | 0.000 % |
420.34/420.35 c | 335371 | 84942 1789068 5451065 | 2147483647 335371 62 | 0.000 % |
422.04/422.07 c | 337065 | 84942 1789068 5451065 | 2147483647 337065 62 | 0.000 % |
423.54/423.59 c | 338929 | 84942 1789068 5451065 | 2147483647 338929 62 | 0.000 % |
425.64/425.64 c | 340978 | 84942 1789068 5451065 | 2147483647 340978 62 | 0.000 % |
428.24/428.23 c | 343232 | 84942 1789068 5451065 | 2147483647 343232 62 | 0.000 % |
430.84/430.86 c | 345712 | 84942 1789068 5451065 | 2147483647 345712 62 | 0.000 % |
433.24/433.22 c | 348437 | 84942 1789068 5451065 | 2147483647 348437 62 | 0.000 % |
437.44/437.42 c | 351434 | 84942 1789068 5451065 | 2147483647 351434 62 | 0.000 % |
440.94/440.99 c | 354730 | 84942 1789068 5451065 | 2147483647 354730 62 | 0.000 % |
441.14/441.19 c | 354831 | 84942 1789068 5451065 | 2147483647 354831 62 | 0.000 % |
441.34/441.34 c | 354941 | 84942 1789068 5451065 | 2147483647 354941 62 | 0.000 % |
441.54/441.60 c | 355064 | 84942 1789068 5451065 | 2147483647 355064 62 | 0.000 % |
441.84/441.83 c | 355198 | 84942 1789068 5451065 | 2147483647 355198 62 | 0.000 % |
442.04/442.10 c | 355344 | 84942 1789068 5451065 | 2147483647 355344 62 | 0.000 % |
442.44/442.43 c | 355504 | 84942 1789068 5451065 | 2147483647 355504 62 | 0.000 % |
442.64/442.63 c | 355680 | 84942 1789068 5451065 | 2147483647 355680 62 | 0.000 % |
442.94/442.98 c | 355873 | 84942 1789068 5451065 | 2147483647 355873 62 | 0.000 % |
443.24/443.28 c | 356085 | 84942 1789068 5451065 | 2147483647 356085 62 | 0.000 % |
443.54/443.54 c | 356318 | 84942 1789068 5451065 | 2147483647 356318 62 | 0.000 % |
443.84/443.85 c | 356574 | 84942 1789068 5451065 | 2147483647 356574 62 | 0.000 % |
444.24/444.23 c | 356855 | 84942 1789068 5451065 | 2147483647 356855 62 | 0.000 % |
444.84/444.82 c | 357165 | 84942 1789068 5451065 | 2147483647 357165 62 | 0.000 % |
445.34/445.38 c | 357504 | 84942 1789068 5451065 | 2147483647 357504 62 | 0.000 % |
446.04/446.06 c | 357876 | 84942 1789068 5451065 | 2147483647 357876 62 | 0.000 % |
446.74/446.76 c | 358286 | 84942 1789068 5451065 | 2147483647 358286 62 | 0.000 % |
447.24/447.25 c | 358735 | 84942 1789068 5451065 | 2147483647 358735 62 | 0.000 % |
447.84/447.82 c | 359228 | 84942 1789068 5451065 | 2147483647 359228 62 | 0.000 % |
448.34/448.37 c | 359770 | 84942 1789068 5451065 | 2147483647 359770 62 | 0.000 % |
448.94/448.97 c | 360367 | 84942 1789068 5451065 | 2147483647 360367 62 | 0.000 % |
449.94/449.93 c | 361023 | 84942 1789068 5451065 | 2147483647 361023 62 | 0.000 % |
450.64/450.65 c | 361744 | 84942 1789068 5451065 | 2147483647 361744 62 | 0.000 % |
451.44/451.46 c | 362537 | 84942 1789068 5451065 | 2147483647 362537 61 | 0.000 % |
452.44/452.42 c | 363408 | 84942 1789068 5451065 | 2147483647 363408 61 | 0.000 % |
454.44/454.47 c | 364371 | 84942 1789068 5451065 | 2147483647 364371 61 | 0.000 % |
456.24/456.22 c | 365424 | 84942 1789068 5451065 | 2147483647 365424 61 | 0.000 % |
458.14/458.14 c | 366584 | 84942 1789068 5451065 | 2147483647 366584 61 | 0.000 % |
460.04/460.02 c | 367857 | 84942 1789068 5451065 | 2147483647 367857 61 | 0.000 % |
461.94/461.96 c | 369257 | 84942 1789068 5451065 | 2147483647 369257 61 | 0.000 % |
464.25/464.27 c | 370797 | 84942 1789068 5451065 | 2147483647 370797 61 | 0.000 % |
467.04/467.10 c | 372492 | 84942 1789068 5451065 | 2147483647 372492 61 | 0.000 % |
469.54/469.52 c | 374355 | 84942 1789068 5451065 | 2147483647 374355 61 | 0.000 % |
472.24/472.24 c | 376404 | 84942 1789068 5451065 | 2147483647 376404 61 | 0.000 % |
476.14/476.18 c | 378657 | 84942 1789068 5451065 | 2147483647 378657 61 | 0.000 % |
479.04/479.05 c | 381137 | 84942 1789068 5451065 | 2147483647 381137 61 | 0.000 % |
482.95/482.96 c | 383864 | 84942 1789068 5451065 | 2147483647 383864 61 | 0.000 % |
487.35/487.39 c | 386863 | 84942 1789068 5451065 | 2147483647 386863 60 | 0.000 % |
493.44/493.43 c | 390159 | 84942 1789068 5451065 | 2147483647 390159 60 | 0.000 % |
498.94/498.95 c | 393785 | 84942 1789068 5451065 | 2147483647 393785 60 | 0.000 % |
499.14/499.12 c | 393885 | 84942 1789068 5451065 | 2147483647 393885 60 | 0.000 % |
499.34/499.32 c | 393995 | 84942 1789068 5451065 | 2147483647 393995 60 | 0.000 % |
499.54/499.55 c | 394117 | 84942 1789068 5451065 | 2147483647 394117 60 | 0.000 % |
499.84/499.81 c | 394251 | 84942 1789068 5451065 | 2147483647 394251 60 | 0.000 % |
500.04/500.08 c | 394398 | 84942 1789068 5451065 | 2147483647 394398 60 | 0.000 % |
500.55/500.60 c | 394558 | 84942 1789068 5451065 | 2147483647 394558 60 | 0.000 % |
500.84/500.85 c | 394734 | 84942 1789068 5451065 | 2147483647 394734 60 | 0.000 % |
501.14/501.12 c | 394927 | 84942 1789068 5451065 | 2147483647 394927 60 | 0.000 % |
501.44/501.46 c | 395146 | 84942 1789068 5451065 | 2147483647 395146 60 | 0.000 % |
501.94/501.95 c | 395379 | 84942 1789068 5451065 | 2147483647 395379 60 | 0.000 % |
502.75/502.75 c | 395635 | 84942 1789068 5451065 | 2147483647 395635 60 | 0.000 % |
503.65/503.62 c | 395917 | 84942 1789068 5451065 | 2147483647 395917 60 | 0.000 % |
504.15/504.16 c | 396226 | 84942 1789068 5451065 | 2147483647 396226 60 | 0.000 % |
504.75/504.78 c | 396565 | 84942 1789068 5451065 | 2147483647 396565 60 | 0.000 % |
505.35/505.38 c | 396937 | 84942 1789068 5451065 | 2147483647 396937 60 | 0.000 % |
506.15/506.14 c | 397347 | 84942 1789068 5451065 | 2147483647 397347 60 | 0.000 % |
506.75/506.72 c | 397796 | 84942 1789068 5451065 | 2147483647 397796 60 | 0.000 % |
507.25/507.26 c | 398289 | 84942 1789068 5451065 | 2147483647 398289 60 | 0.000 % |
508.05/508.03 c | 398832 | 84942 1789068 5451065 | 2147483647 398832 60 | 0.000 % |
508.95/509.01 c | 399428 | 84942 1789068 5451065 | 2147483647 399428 60 | 0.000 % |
510.05/510.04 c | 400083 | 84942 1789068 5451065 | 2147483647 400083 60 | 0.000 % |
510.95/510.95 c | 400803 | 84942 1789068 5451065 | 2147483647 400803 60 | 0.000 % |
512.15/512.13 c | 401595 | 84942 1789068 5451065 | 2147483647 401595 60 | 0.000 % |
513.45/513.50 c | 402466 | 84942 1789068 5451065 | 2147483647 402466 60 | 0.000 % |
515.05/515.02 c | 403425 | 84942 1789068 5451065 | 2147483647 403425 60 | 0.000 % |
516.45/516.46 c | 404478 | 84942 1789068 5451065 | 2147483647 404478 60 | 0.000 % |
518.25/518.25 c | 405636 | 84942 1789068 5451065 | 2147483647 405636 60 | 0.000 % |
520.05/520.02 c | 406909 | 84942 1789068 5451065 | 2147483647 406909 60 | 0.000 % |
522.75/522.80 c | 408309 | 84942 1789068 5451065 | 2147483647 408309 60 | 0.000 % |
524.95/524.97 c | 409849 | 84942 1789068 5451065 | 2147483647 409849 60 | 0.000 % |
527.25/527.26 c | 411544 | 84942 1789068 5451065 | 2147483647 411544 60 | 0.000 % |
529.85/529.89 c | 413407 | 84942 1789068 5451065 | 2147483647 413407 60 | 0.000 % |
532.65/532.67 c | 415456 | 84942 1789068 5451065 | 2147483647 415456 60 | 0.000 % |
535.25/535.28 c | 417709 | 84942 1789068 5451065 | 2147483647 417709 60 | 0.000 % |
538.25/538.29 c | 420187 | 84942 1789068 5451065 | 2147483647 420187 60 | 0.000 % |
542.95/542.98 c | 422912 | 84942 1789068 5451065 | 2147483647 422912 60 | 0.000 % |
547.35/547.34 c | 425909 | 84942 1789068 5451065 | 2147483647 425909 60 | 0.000 % |
552.05/552.04 c | 429205 | 84942 1789068 5451065 | 2147483647 429205 60 | 0.000 % |
558.85/558.82 c | 432830 | 84942 1789068 5451065 | 2147483647 432830 59 | 0.000 % |
566.25/566.26 c | 436818 | 84942 1789068 5451065 | 2147483647 436818 59 | 0.000 % |
566.56/566.52 c | 436923 | 84942 1789068 5451065 | 2147483647 436923 59 | 0.000 % |
566.75/566.75 c | 437033 | 84942 1789068 5451065 | 2147483647 437033 59 | 0.000 % |
567.05/567.03 c | 437154 | 84942 1789068 5451065 | 2147483647 437154 59 | 0.000 % |
567.25/567.27 c | 437288 | 84942 1789068 5451065 | 2147483647 437288 59 | 0.000 % |
567.55/567.53 c | 437435 | 84942 1789068 5451065 | 2147483647 437435 59 | 0.000 % |
567.75/567.76 c | 437595 | 84942 1789068 5451065 | 2147483647 437595 59 | 0.000 % |
568.05/568.07 c | 437772 | 84942 1789068 5451065 | 2147483647 437772 59 | 0.000 % |
568.35/568.38 c | 437966 | 84942 1789068 5451065 | 2147483647 437966 59 | 0.000 % |
568.65/568.70 c | 438178 | 84942 1789068 5451065 | 2147483647 438178 59 | 0.000 % |
569.05/569.04 c | 438411 | 84942 1789068 5451065 | 2147483647 438411 59 | 0.000 % |
569.45/569.49 c | 438669 | 84942 1789068 5451065 | 2147483647 438669 59 | 0.000 % |
569.95/569.98 c | 438950 | 84942 1789068 5451065 | 2147483647 438950 59 | 0.000 % |
570.55/570.58 c | 439261 | 84942 1789068 5451065 | 2147483647 439261 59 | 0.000 % |
571.15/571.11 c | 439602 | 84942 1789068 5451065 | 2147483647 439602 59 | 0.000 % |
571.65/571.62 c | 439975 | 84942 1789068 5451065 | 2147483647 439975 59 | 0.000 % |
572.45/572.42 c | 440387 | 84942 1789068 5451065 | 2147483647 440387 59 | 0.000 % |
573.05/573.10 c | 440836 | 84942 1789068 5451065 | 2147483647 440836 59 | 0.000 % |
574.75/574.78 c | 441329 | 84942 1789068 5451065 | 2147483647 441329 59 | 0.000 % |
576.35/576.33 c | 441872 | 84942 1789068 5451065 | 2147483647 441872 59 | 0.000 % |
577.75/577.73 c | 442468 | 84942 1789068 5451065 | 2147483647 442468 59 | 0.000 % |
579.45/579.49 c | 443124 | 84942 1789068 5451065 | 2147483647 443124 59 | 0.000 % |
580.55/580.51 c | 443846 | 84942 1789068 5451065 | 2147483647 443846 59 | 0.000 % |
581.65/581.62 c | 444639 | 84942 1789068 5451065 | 2147483647 444639 59 | 0.000 % |
582.85/582.88 c | 445514 | 84942 1789068 5451065 | 2147483647 445514 59 | 0.000 % |
585.85/585.87 c | 446474 | 84942 1789068 5451065 | 2147483647 446474 59 | 0.000 % |
587.65/587.69 c | 447527 | 84942 1789068 5451065 | 2147483647 447527 59 | 0.000 % |
589.95/589.94 c | 448688 | 84942 1789068 5451065 | 2147483647 448688 59 | 0.000 % |
591.75/591.73 c | 449963 | 84942 1789068 5451065 | 2147483647 449963 59 | 0.000 % |
593.95/594.01 c | 451363 | 84942 1789068 5451065 | 2147483647 451363 59 | 0.000 % |
596.15/596.21 c | 452903 | 84942 1789068 5451065 | 2147483647 452903 59 | 0.000 % |
597.74/597.79 c | 454597 | 84942 1789068 5451065 | 2147483647 454597 59 | 0.000 % |
600.44/600.44 c | 456460 | 84942 1789068 5451065 | 2147483647 456460 59 | 0.000 % |
603.75/603.81 c | 458509 | 84942 1789068 5451065 | 2147483647 458509 59 | 0.000 % |
606.75/606.79 c | 460762 | 84942 1789068 5451065 | 2147483647 460762 59 | 0.000 % |
610.05/610.11 c | 463240 | 84942 1789068 5451065 | 2147483647 463240 59 | 0.000 % |
613.25/613.26 c | 465965 | 84942 1789068 5451065 | 2147483647 465965 59 | 0.000 % |
617.25/617.30 c | 468964 | 84942 1789068 5451065 | 2147483647 468964 59 | 0.000 % |
621.05/621.10 c | 472260 | 84942 1789068 5451065 | 2147483647 472260 59 | 0.000 % |
626.15/626.12 c | 475887 | 84942 1789068 5451065 | 2147483647 475887 59 | 0.000 % |
631.66/631.70 c | 479874 | 84942 1789068 5451065 | 2147483647 479874 58 | 0.000 % |
637.26/637.30 c | 484260 | 84942 1789068 5451065 | 2147483647 484260 58 | 0.000 % |
637.56/637.52 c | 484360 | 84942 1789068 5451065 | 2147483647 484360 58 | 0.000 % |
637.86/637.87 c | 484470 | 84942 1789068 5451065 | 2147483647 484470 58 | 0.000 % |
638.06/638.03 c | 484591 | 84942 1789068 5451065 | 2147483647 484591 58 | 0.000 % |
638.26/638.22 c | 484725 | 84942 1789068 5451065 | 2147483647 484725 58 | 0.000 % |
638.36/638.40 c | 484871 | 84942 1789068 5451065 | 2147483647 484871 58 | 0.000 % |
638.76/638.78 c | 485032 | 84942 1789068 5451065 | 2147483647 485032 58 | 0.000 % |
639.16/639.14 c | 485208 | 84942 1789068 5451065 | 2147483647 485208 58 | 0.000 % |
639.46/639.46 c | 485402 | 84942 1789068 5451065 | 2147483647 485402 58 | 0.000 % |
639.76/639.74 c | 485616 | 84942 1789068 5451065 | 2147483647 485616 58 | 0.000 % |
640.06/640.06 c | 485852 | 84942 1789068 5451065 | 2147483647 485852 58 | 0.000 % |
640.56/640.53 c | 486108 | 84942 1789068 5451065 | 2147483647 486108 58 | 0.000 % |
640.96/640.98 c | 486391 | 84942 1789068 5451065 | 2147483647 486391 58 | 0.000 % |
641.36/641.40 c | 486700 | 84942 1789068 5451065 | 2147483647 486700 58 | 0.000 % |
642.26/642.29 c | 487042 | 84942 1789068 5451065 | 2147483647 487042 58 | 0.000 % |
643.16/643.13 c | 487415 | 84942 1789068 5451065 | 2147483647 487415 58 | 0.000 % |
643.86/643.90 c | 487824 | 84942 1789068 5451065 | 2147483647 487824 58 | 0.000 % |
645.26/645.30 c | 488273 | 84942 1789068 5451065 | 2147483647 488273 58 | 0.000 % |
646.06/646.08 c | 488766 | 84942 1789068 5451065 | 2147483647 488766 58 | 0.000 % |
647.06/647.04 c | 489308 | 84942 1789068 5451065 | 2147483647 489308 58 | 0.000 % |
647.66/647.68 c | 489904 | 84942 1789068 5451065 | 2147483647 489904 58 | 0.000 % |
648.46/648.43 c | 490560 | 84942 1789068 5451065 | 2147483647 490560 58 | 0.000 % |
650.26/650.26 c | 491280 | 84942 1789068 5451065 | 2147483647 491280 58 | 0.000 % |
651.76/651.72 c | 492072 | 84942 1789068 5451065 | 2147483647 492072 58 | 0.000 % |
653.76/653.82 c | 492943 | 84942 1789068 5451065 | 2147483647 492943 58 | 0.000 % |
656.86/656.84 c | 493903 | 84942 1789068 5451065 | 2147483647 493903 58 | 0.000 % |
658.76/658.80 c | 494956 | 84942 1789068 5451065 | 2147483647 494956 58 | 0.000 % |
660.66/660.62 c | 496114 | 84942 1789068 5451065 | 2147483647 496114 58 | 0.000 % |
662.66/662.63 c | 497387 | 84942 1789068 5451065 | 2147483647 497387 58 | 0.000 % |
665.16/665.14 c | 498787 | 84942 1789068 5451065 | 2147483647 498787 58 | 0.000 % |
667.56/667.60 c | 500328 | 84942 1789068 5451065 | 2147483647 500328 58 | 0.000 % |
669.56/669.52 c | 502022 | 84942 1789068 5451065 | 2147483647 502022 58 | 0.000 % |
672.26/672.30 c | 503885 | 84942 1789068 5451065 | 2147483647 503885 58 | 0.001 % |
675.06/675.07 c | 505934 | 84942 1789068 5451065 | 2147483647 505934 58 | 0.000 % |
678.26/678.26 c | 508190 | 84942 1789068 5451065 | 2147483647 508190 58 | 0.000 % |
681.76/681.77 c | 510668 | 84942 1789068 5451065 | 2147483647 510668 58 | 0.000 % |
685.37/685.34 c | 513393 | 84942 1789068 5451065 | 2147483647 513393 58 | 0.000 % |
693.55/693.51 c | 516390 | 84942 1789068 5451065 | 2147483647 516390 58 | 0.000 % |
697.15/697.17 c | 519686 | 84942 1789068 5451065 | 2147483647 519686 58 | 0.000 % |
699.46/699.45 c | 523311 | 84942 1789068 5451065 | 2147483647 523311 58 | 0.000 % |
703.06/703.05 c | 527299 | 84942 1789068 5451065 | 2147483647 527299 58 | 0.000 % |
708.56/708.56 c | 531685 | 84942 1789068 5451065 | 2147483647 531685 58 | 0.000 % |
713.16/713.16 c | 536508 | 84942 1789068 5451065 | 2147483647 536508 59 | 0.000 % |
713.56/713.56 c | 536609 | 84942 1789068 5451065 | 2147483647 536609 59 | 0.001 % |
713.76/713.78 c | 536719 | 84942 1789068 5451065 | 2147483647 536719 59 | 0.001 % |
713.96/713.99 c | 536840 | 84942 1789068 5451065 | 2147483647 536840 59 | 0.000 % |
714.26/714.22 c | 536974 | 84942 1789068 5451065 | 2147483647 536974 59 | 0.001 % |
714.36/714.39 c | 537120 | 84942 1789068 5451065 | 2147483647 537120 59 | 0.001 % |
714.76/714.72 c | 537280 | 84942 1789068 5451065 | 2147483647 537280 59 | 0.001 % |
714.96/714.93 c | 537457 | 84942 1789068 5451065 | 2147483647 537457 59 | 0.000 % |
793.86/793.82 c | 537652 | 74908 1604498 4923594 | 2147483647 85095 52 | 11.813 % |
794.46/794.48 c | 537864 | 74908 1604498 4923594 | 2147483647 85307 52 | 11.813 % |
794.76/794.77 c | 538098 | 74908 1604498 4923594 | 2147483647 85541 52 | 11.813 % |
794.96/794.99 c | 538355 | 74908 1604498 4923594 | 2147483647 85798 52 | 11.813 % |
795.46/795.46 c | 538636 | 74908 1604498 4923594 | 2147483647 86079 52 | 11.813 % |
795.86/795.88 c | 538945 | 74908 1604498 4923594 | 2147483647 86388 52 | 11.813 % |
796.16/796.12 c | 539284 | 74908 1604498 4923594 | 2147483647 86727 53 | 11.813 % |
796.36/796.31 c | 539658 | 74908 1604498 4923594 | 2147483647 87101 52 | 11.813 % |
796.56/796.60 c | 540067 | 74908 1604498 4923594 | 2147483647 87510 52 | 11.813 % |
797.37/797.38 c | 540516 | 74908 1604498 4923594 | 2147483647 87959 53 | 11.813 % |
797.77/797.78 c | 541009 | 74908 1604498 4923594 | 2147483647 88452 52 | 11.813 % |
798.67/798.67 c | 541551 | 74908 1604498 4923594 | 2147483647 88994 52 | 11.813 % |
799.07/799.08 c | 542148 | 74908 1604498 4923594 | 2147483647 89591 52 | 11.813 % |
800.07/800.04 c | 542804 | 74908 1604498 4923594 | 2147483647 90247 52 | 11.813 % |
800.27/800.24 c | 543525 | 74908 1604498 4923594 | 2147483647 90968 52 | 11.813 % |
800.87/800.83 c | 544318 | 74908 1604498 4923594 | 2147483647 91761 53 | 11.813 % |
801.77/801.72 c | 545191 | 74908 1604498 4923594 | 2147483647 92634 53 | 11.813 % |
802.57/802.59 c | 546149 | 74908 1604498 4923594 | 2147483647 93592 53 | 11.813 % |
803.37/803.33 c | 547203 | 74908 1604498 4923594 | 2147483647 94646 53 | 11.813 % |
804.27/804.28 c | 548361 | 74908 1604498 4923594 | 2147483647 95804 53 | 11.813 % |
804.77/804.80 c | 549634 | 74908 1604498 4923594 | 2147483647 97077 53 | 11.813 % |
805.77/805.73 c | 551035 | 74908 1604498 4923594 | 2147483647 98478 53 | 11.813 % |
807.57/807.58 c | 552576 | 74908 1604498 4923594 | 2147483647 100019 53 | 11.813 % |
809.57/809.55 c | 554270 | 74908 1604498 4923594 | 2147483647 101713 54 | 11.813 % |
810.77/810.78 c | 556134 | 74908 1604498 4923594 | 2147483647 103577 54 | 11.813 % |
811.97/812.00 c | 558183 | 74908 1604498 4923594 | 2147483647 105626 55 | 11.813 % |
813.47/813.46 c | 560437 | 74908 1604498 4923594 | 2147483647 107880 55 | 11.813 % |
814.67/814.62 c | 562915 | 74908 1604498 4923594 | 2147483647 110358 55 | 11.813 % |
817.07/817.10 c | 565640 | 74908 1604498 4923594 | 2147483647 113083 56 | 11.813 % |
819.47/819.43 c | 568637 | 74908 1604498 4923594 | 2147483647 116080 57 | 11.813 % |
822.27/822.28 c | 571933 | 74908 1604498 4923594 | 2147483647 119376 57 | 11.813 % |
825.47/825.43 c | 575559 | 74908 1604498 4923594 | 2147483647 123002 58 | 11.813 % |
828.47/828.45 c | 579546 | 74908 1604498 4923594 | 2147483647 126989 58 | 11.813 % |
832.87/832.91 c | 583931 | 74908 1604498 4923594 | 2147483647 131374 59 | 11.813 % |
837.37/837.36 c | 588755 | 74908 1604498 4923594 | 2147483647 136198 60 | 11.813 % |
840.57/840.56 c | 594060 | 74908 1604498 4923594 | 2147483647 141503 61 | 11.813 % |
840.77/840.78 c | 594160 | 74908 1604498 4923594 | 2147483647 141603 61 | 11.813 % |
840.87/840.89 c | 594271 | 74908 1604498 4923594 | 2147483647 141714 61 | 11.813 % |
841.27/841.29 c | 594393 | 74908 1604498 4923594 | 2147483647 141836 61 | 11.813 % |
841.57/841.55 c | 594529 | 74908 1604498 4923594 | 2147483647 141972 61 | 11.813 % |
841.67/841.69 c | 594676 | 74908 1604498 4923594 | 2147483647 142119 61 | 11.813 % |
841.77/841.81 c | 594837 | 74908 1604498 4923594 | 2147483647 142280 61 | 11.813 % |
842.17/842.14 c | 595013 | 74908 1604498 4923594 | 2147483647 142456 61 | 11.813 % |
842.57/842.56 c | 595206 | 74908 1604498 4923594 | 2147483647 142649 61 | 11.813 % |
842.77/842.75 c | 595419 | 74908 1604498 4923594 | 2147483647 142862 61 | 11.813 % |
843.17/843.11 c | 595653 | 74908 1604498 4923594 | 2147483647 143096 61 | 11.813 % |
843.37/843.34 c | 595910 | 74908 1604498 4923594 | 2147483647 143353 61 | 11.813 % |
843.67/843.66 c | 596191 | 74908 1604498 4923594 | 2147483647 143634 61 | 11.813 % |
843.87/843.86 c | 596500 | 74908 1604498 4923594 | 2147483647 143943 61 | 11.813 % |
844.47/844.49 c | 596839 | 74908 1604498 4923594 | 2147483647 144282 61 | 11.813 % |
844.87/844.84 c | 597212 | 74908 1604498 4923594 | 2147483647 144655 61 | 11.813 % |
845.07/845.06 c | 597621 | 74908 1604498 4923594 | 2147483647 145064 61 | 11.813 % |
845.67/845.64 c | 598072 | 74908 1604498 4923594 | 2147483647 145515 61 | 11.813 % |
846.27/846.29 c | 598566 | 74908 1604498 4923594 | 2147483647 146009 61 | 11.813 % |
846.87/846.88 c | 599109 | 74908 1604498 4923594 | 2147483647 146552 61 | 11.813 % |
847.77/847.80 c | 599705 | 74908 1604498 4923594 | 2147483647 147148 61 | 11.813 % |
848.27/848.28 c | 600361 | 74908 1604498 4923594 | 2147483647 147804 61 | 11.813 % |
848.87/848.87 c | 601086 | 74908 1604498 4923594 | 2147483647 148529 61 | 11.813 % |
849.67/849.62 c | 601878 | 74908 1604498 4923594 | 2147483647 149321 61 | 11.813 % |
850.77/850.81 c | 602750 | 74908 1604498 4923594 | 2147483647 150193 61 | 11.813 % |
851.57/851.61 c | 603709 | 74908 1604498 4923594 | 2147483647 151152 61 | 11.813 % |
852.87/852.82 c | 604762 | 74908 1604498 4923594 | 2147483647 152205 61 | 11.813 % |
854.37/854.31 c | 605921 | 74908 1604498 4923594 | 2147483647 153364 61 | 11.813 % |
855.67/855.68 c | 607194 | 74908 1604498 4923594 | 2147483647 154637 61 | 11.813 % |
857.37/857.31 c | 608594 | 74908 1604498 4923594 | 2147483647 156037 61 | 11.813 % |
858.57/858.60 c | 610134 | 74908 1604498 4923594 | 2147483647 157577 61 | 11.813 % |
860.17/860.18 c | 611828 | 74908 1604498 4923594 | 2147483647 159271 61 | 11.813 % |
861.57/861.61 c | 613691 | 74908 1604498 4923594 | 2147483647 161134 61 | 11.813 % |
863.87/863.89 c | 615742 | 74908 1604498 4923594 | 2147483647 163185 61 | 11.813 % |
866.37/866.31 c | 617996 | 74908 1604498 4923594 | 2147483647 165439 62 | 11.813 % |
869.47/869.45 c | 620475 | 74908 1604498 4923594 | 2147483647 167918 62 | 11.813 % |
872.77/872.76 c | 623204 | 74908 1604498 4923594 | 2147483647 170647 62 | 11.813 % |
876.37/876.37 c | 626202 | 74908 1604498 4923594 | 2147483647 173645 62 | 11.813 % |
879.77/879.72 c | 629498 | 74908 1604498 4923594 | 2147483647 176941 62 | 11.813 % |
883.97/883.93 c | 633123 | 74908 1604498 4923594 | 2147483647 180566 62 | 11.813 % |
887.57/887.60 c | 637111 | 74908 1604498 4923594 | 2147483647 184554 62 | 11.813 % |
892.18/892.19 c | 641496 | 74908 1604498 4923594 | 2147483647 188939 62 | 11.813 % |
897.98/897.99 c | 646319 | 74908 1604498 4923594 | 2147483647 193762 62 | 11.813 % |
903.68/903.71 c | 651624 | 74908 1604498 4923594 | 2147483647 199067 62 | 11.813 % |
909.88/909.91 c | 657460 | 74908 1604498 4923594 | 2147483647 204903 62 | 11.813 % |
909.98/910.00 c | 657560 | 74908 1604498 4923594 | 2147483647 205003 62 | 11.813 % |
910.18/910.14 c | 657670 | 74908 1604498 4923594 | 2147483647 205113 62 | 11.813 % |
910.28/910.26 c | 657792 | 74908 1604498 4923594 | 2147483647 205235 62 | 11.813 % |
910.78/910.80 c | 657925 | 74908 1604498 4923594 | 2147483647 205368 62 | 11.813 % |
910.98/910.98 c | 658071 | 74908 1604498 4923594 | 2147483647 205514 62 | 11.813 % |
911.28/911.26 c | 658231 | 74908 1604498 4923594 | 2147483647 205674 62 | 11.813 % |
911.48/911.48 c | 658408 | 74908 1604498 4923594 | 2147483647 205851 62 | 11.813 % |
911.68/911.64 c | 658602 | 74908 1604498 4923594 | 2147483647 206045 62 | 11.813 % |
912.08/912.02 c | 658814 | 74908 1604498 4923594 | 2147483647 206257 62 | 11.813 % |
912.28/912.24 c | 659047 | 74908 1604498 4923594 | 2147483647 206490 62 | 11.813 % |
912.58/912.52 c | 659303 | 74908 1604498 4923594 | 2147483647 206746 62 | 11.813 % |
912.98/912.95 c | 659585 | 74908 1604498 4923594 | 2147483647 207028 62 | 11.813 % |
913.48/913.52 c | 659894 | 74908 1604498 4923594 | 2147483647 207337 62 | 11.813 % |
914.08/914.08 c | 660235 | 74908 1604498 4923594 | 2147483647 207678 62 | 11.813 % |
914.68/914.68 c | 660607 | 74908 1604498 4923594 | 2147483647 208050 62 | 11.813 % |
915.18/915.22 c | 661016 | 74908 1604498 4923594 | 2147483647 208459 62 | 11.813 % |
915.58/915.58 c | 661465 | 74908 1604498 4923594 | 2147483647 208908 62 | 11.813 % |
916.18/916.16 c | 661959 | 74908 1604498 4923594 | 2147483647 209402 62 | 11.813 % |
916.68/916.63 c | 662501 | 74908 1604498 4923594 | 2147483647 209944 62 | 11.813 % |
917.28/917.23 c | 663097 | 74908 1604498 4923594 | 2147483647 210540 62 | 11.813 % |
918.38/918.33 c | 663753 | 74908 1604498 4923594 | 2147483647 211196 62 | 11.813 % |
919.28/919.29 c | 664473 | 74908 1604498 4923594 | 2147483647 211916 62 | 11.813 % |
920.38/920.32 c | 665266 | 74908 1604498 4923594 | 2147483647 212709 62 | 11.813 % |
921.08/921.09 c | 666138 | 74908 1604498 4923594 | 2147483647 213581 62 | 11.813 % |
921.98/922.01 c | 667096 | 74908 1604498 4923594 | 2147483647 214539 62 | 11.813 % |
922.98/922.98 c | 668149 | 74908 1604498 4923594 | 2147483647 215592 62 | 11.813 % |
924.38/924.37 c | 669307 | 74908 1604498 4923594 | 2147483647 216750 62 | 11.813 % |
926.18/926.20 c | 670581 | 74908 1604498 4923594 | 2147483647 218024 62 | 11.813 % |
927.98/927.96 c | 671981 | 74908 1604498 4923594 | 2147483647 219424 62 | 11.813 % |
929.58/929.59 c | 673521 | 74908 1604498 4923594 | 2147483647 220964 62 | 11.813 % |
931.78/931.81 c | 675217 | 74908 1604498 4923594 | 2147483647 222660 62 | 11.813 % |
933.68/933.67 c | 677080 | 74908 1604498 4923594 | 2147483647 224523 62 | 11.813 % |
936.38/936.37 c | 679130 | 74908 1604498 4923594 | 2147483647 226573 63 | 11.813 % |
938.28/938.27 c | 681383 | 74908 1604498 4923594 | 2147483647 228826 62 | 11.813 % |
941.98/941.97 c | 683861 | 74908 1604498 4923594 | 2147483647 231304 62 | 11.813 % |
945.58/945.54 c | 686586 | 74908 1604498 4923594 | 2147483647 234029 62 | 11.813 % |
949.58/949.54 c | 689583 | 74908 1604498 4923594 | 2147483647 237026 63 | 11.813 % |
953.79/953.80 c | 692879 | 74908 1604498 4923594 | 2147483647 240322 63 | 11.813 % |
958.68/958.63 c | 696504 | 74908 1604498 4923594 | 2147483647 243947 64 | 11.813 % |
963.78/963.73 c | 700491 | 74908 1604498 4923594 | 2147483647 247934 64 | 11.813 % |
969.68/969.70 c | 704876 | 74908 1604498 4923594 | 2147483647 252319 65 | 11.813 % |
975.68/975.66 c | 709699 | 74908 1604498 4923594 | 2147483647 257142 65 | 11.813 % |
982.58/982.57 c | 715005 | 74908 1604498 4923594 | 2147483647 262448 65 | 11.813 % |
992.38/992.40 c | 720842 | 74908 1604498 4923594 | 2147483647 268285 65 | 11.813 % |
1001.79/1001.75 c | 727261 | 74908 1604498 4923594 | 2147483647 274704 66 | 11.813 % |
1002.09/1002.05 c | 727362 | 74908 1604498 4923594 | 2147483647 274805 66 | 11.813 % |
1002.19/1002.21 c | 727472 | 74908 1604498 4923594 | 2147483647 274915 66 | 11.813 % |
1002.59/1002.52 c | 727593 | 74908 1604498 4923594 | 2147483647 275036 66 | 11.813 % |
1002.89/1002.82 c | 727726 | 74908 1604498 4923594 | 2147483647 275169 66 | 11.813 % |
1003.09/1003.04 c | 727872 | 74908 1604498 4923594 | 2147483647 275315 66 | 11.813 % |
1003.29/1003.29 c | 728032 | 74908 1604498 4923594 | 2147483647 275475 66 | 11.813 % |
1003.79/1003.81 c | 728209 | 74908 1604498 4923594 | 2147483647 275652 66 | 11.813 % |
1004.19/1004.14 c | 728402 | 74908 1604498 4923594 | 2147483647 275845 66 | 11.813 % |
1004.69/1004.66 c | 728614 | 74908 1604498 4923594 | 2147483647 276057 66 | 11.813 % |
1005.09/1005.04 c | 728847 | 74908 1604498 4923594 | 2147483647 276290 66 | 11.813 % |
1005.59/1005.57 c | 729103 | 74908 1604498 4923594 | 2147483647 276546 66 | 11.813 % |
1006.09/1006.07 c | 729385 | 74908 1604498 4923594 | 2147483647 276828 66 | 11.813 % |
1006.59/1006.58 c | 729695 | 74908 1604498 4923594 | 2147483647 277138 66 | 11.813 % |
1007.09/1007.02 c | 730034 | 74908 1604498 4923594 | 2147483647 277477 66 | 11.813 % |
1007.69/1007.66 c | 730407 | 74908 1604498 4923594 | 2147483647 277850 66 | 11.813 % |
1008.29/1008.23 c | 730816 | 74908 1604498 4923594 | 2147483647 278259 66 | 11.813 % |
1008.69/1008.65 c | 731265 | 74908 1604498 4923594 | 2147483647 278708 66 | 11.813 % |
1009.49/1009.44 c | 731759 | 74908 1604498 4923594 | 2147483647 279202 66 | 11.813 % |
1010.59/1010.54 c | 732301 | 74908 1604498 4923594 | 2147483647 279744 66 | 11.813 % |
1011.49/1011.48 c | 732897 | 74908 1604498 4923594 | 2147483647 280340 66 | 11.813 % |
1012.59/1012.54 c | 733552 | 74908 1604498 4923594 | 2147483647 280995 66 | 11.813 % |
1013.69/1013.62 c | 734272 | 74908 1604498 4923594 | 2147483647 281715 66 | 11.813 % |
1014.79/1014.73 c | 735064 | 74908 1604498 4923594 | 2147483647 282507 66 | 11.813 % |
1016.39/1016.40 c | 735935 | 74908 1604498 4923594 | 2147483647 283378 65 | 11.813 % |
1017.79/1017.78 c | 736893 | 74908 1604498 4923594 | 2147483647 284336 65 | 11.813 % |
1019.49/1019.47 c | 737946 | 74908 1604498 4923594 | 2147483647 285389 65 | 11.813 % |
1021.59/1021.58 c | 739105 | 74908 1604498 4923594 | 2147483647 286548 65 | 11.813 % |
1023.69/1023.69 c | 740378 | 74908 1604498 4923594 | 2147483647 287821 65 | 11.813 % |
1025.89/1025.91 c | 741778 | 74908 1604498 4923594 | 2147483647 289221 65 | 11.813 % |
1028.19/1028.17 c | 743318 | 74908 1604498 4923594 | 2147483647 290761 65 | 11.813 % |
1030.59/1030.55 c | 745012 | 74908 1604498 4923594 | 2147483647 292455 65 | 11.813 % |
1033.49/1033.42 c | 746875 | 74908 1604498 4923594 | 2147483647 294318 65 | 11.813 % |
1036.49/1036.47 c | 748926 | 74908 1604498 4923594 | 2147483647 296369 65 | 11.813 % |
1039.99/1039.94 c | 751179 | 74908 1604498 4923594 | 2147483647 298622 65 | 11.813 % |
1043.59/1043.58 c | 753657 | 74908 1604498 4923594 | 2147483647 301100 65 | 11.813 % |
1047.28/1047.25 c | 756382 | 74908 1604498 4923594 | 2147483647 303825 65 | 11.813 % |
1052.88/1052.84 c | 759380 | 74908 1604498 4923594 | 2147483647 306823 65 | 11.813 % |
1058.29/1058.28 c | 762676 | 74908 1604498 4923594 | 2147483647 310119 64 | 11.813 % |
1064.89/1064.90 c | 766301 | 74908 1604498 4923594 | 2147483647 313744 64 | 11.813 % |
1071.28/1071.27 c | 770289 | 74908 1604498 4923594 | 2147483647 317732 64 | 11.813 % |
1079.48/1079.48 c | 774676 | 74908 1604498 4923594 | 2147483647 322119 64 | 11.813 % |
1087.38/1087.33 c | 779499 | 74908 1604498 4923594 | 2147483647 326942 64 | 11.813 % |
1097.69/1097.68 c | 784805 | 74908 1604498 4923594 | 2147483647 332248 64 | 11.813 % |
1107.89/1107.81 c | 790640 | 74908 1604498 4923594 | 2147483647 338083 64 | 11.813 % |
1119.69/1119.61 c | 797058 | 74908 1604498 4923594 | 2147483647 344501 64 | 11.813 % |
1134.29/1134.28 c | 804117 | 74908 1604498 4923594 | 2147483647 351560 65 | 11.813 % |
1134.59/1134.55 c | 804217 | 74908 1604498 4923594 | 2147483647 351660 65 | 11.813 % |
1134.89/1134.82 c | 804328 | 74908 1604498 4923594 | 2147483647 351771 65 | 11.813 % |
1135.29/1135.21 c | 804449 | 74908 1604498 4923594 | 2147483647 351892 65 | 11.813 % |
1135.59/1135.52 c | 804582 | 74908 1604498 4923594 | 2147483647 352025 65 | 11.813 % |
1135.99/1136.00 c | 804731 | 74908 1604498 4923594 | 2147483647 352174 65 | 11.813 % |
1136.39/1136.36 c | 804891 | 74908 1604498 4923594 | 2147483647 352334 65 | 11.813 % |
1136.79/1136.72 c | 805068 | 74908 1604498 4923594 | 2147483647 352511 65 | 11.813 % |
1137.29/1137.30 c | 805263 | 74908 1604498 4923594 | 2147483647 352706 65 | 11.813 % |
1137.89/1137.83 c | 805476 | 74908 1604498 4923594 | 2147483647 352919 65 | 11.813 % |
1138.39/1138.37 c | 805710 | 74908 1604498 4923594 | 2147483647 353153 65 | 11.813 % |
1139.29/1139.22 c | 805966 | 74908 1604498 4923594 | 2147483647 353409 65 | 11.813 % |
1139.79/1139.71 c | 806248 | 74908 1604498 4923594 | 2147483647 353691 65 | 11.813 % |
1140.29/1140.27 c | 806557 | 74908 1604498 4923594 | 2147483647 354000 65 | 11.813 % |
1141.09/1141.06 c | 806896 | 74908 1604498 4923594 | 2147483647 354339 65 | 11.813 % |
1141.99/1141.99 c | 807268 | 74908 1604498 4923594 | 2147483647 354711 65 | 11.813 % |
1142.79/1142.77 c | 807678 | 74908 1604498 4923594 | 2147483647 355121 65 | 11.813 % |
1143.79/1143.78 c | 808127 | 74908 1604498 4923594 | 2147483647 355570 65 | 11.813 % |
1144.69/1144.64 c | 808621 | 74908 1604498 4923594 | 2147483647 356064 65 | 11.813 % |
1145.89/1145.86 c | 809163 | 74908 1604498 4923594 | 2147483647 356606 65 | 11.813 % |
1147.29/1147.24 c | 809760 | 74908 1604498 4923594 | 2147483647 357203 65 | 11.813 % |
1148.89/1148.85 c | 810416 | 74908 1604498 4923594 | 2147483647 357859 65 | 11.813 % |
1150.19/1150.11 c | 811136 | 74908 1604498 4923594 | 2147483647 358579 65 | 11.813 % |
1151.29/1151.26 c | 811928 | 74908 1604498 4923594 | 2147483647 359371 65 | 11.813 % |
1153.49/1153.50 c | 812801 | 74908 1604498 4923594 | 2147483647 360244 64 | 11.813 % |
1155.10/1155.03 c | 813759 | 74908 1604498 4923594 | 2147483647 361202 64 | 11.813 % |
1157.69/1157.62 c | 814812 | 74908 1604498 4923594 | 2147483647 362255 64 | 11.813 % |
1159.99/1159.97 c | 815970 | 74908 1604498 4923594 | 2147483647 363413 64 | 11.813 % |
1162.49/1162.48 c | 817244 | 74908 1604498 4923594 | 2147483647 364687 64 | 11.813 % |
1165.09/1165.09 c | 818645 | 74908 1604498 4923594 | 2147483647 366088 64 | 11.813 % |
1168.30/1168.25 c | 820186 | 74908 1604498 4923594 | 2147483647 367629 64 | 11.813 % |
1172.09/1172.07 c | 821880 | 74908 1604498 4923594 | 2147483647 369323 64 | 11.813 % |
1174.99/1174.91 c | 823743 | 74908 1604498 4923594 | 2147483647 371186 64 | 11.813 % |
1178.39/1178.34 c | 825793 | 74908 1604498 4923594 | 2147483647 373236 64 | 11.813 % |
1181.99/1181.94 c | 828046 | 74908 1604498 4923594 | 2147483647 375489 64 | 11.813 % |
1188.40/1188.36 c | 830525 | 74908 1604498 4923594 | 2147483647 377968 64 | 11.813 % |
1194.40/1194.39 c | 833250 | 74908 1604498 4923594 | 2147483647 380693 64 | 11.813 % |
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821928-1242579861/watcher-1821928-1242579861 -o /tmp/evaluation-result-1821928-1242579861/solver-1821928-1242579861 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821928-1242579861.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) R 6331 6333 14060 0 -1 4194304 366 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485552 134655351 0 0 4 65536 0 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=84 CPUtime=0
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4194304 65 0 0 0 0 0 0 0 18 0 1 0 1022483545 86016 0 4294967295 0 0 0 3214485380 3085654506 0 0 0 0 0 0 0 17 3 0 0 0
/proc/6337/statm: 203 5 2 174 0 28 0
[startup+0.030148 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=3780 CPUtime=0.03
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 773 0 0 0 2 1 0 0 18 0 1 0 1022483545 3870720 709 4294967295 134512640 135223648 3216520896 3216519848 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 945 710 46 174 0 770 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6192
[startup+0.110133 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=12052 CPUtime=0.11
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 2497 0 0 0 8 3 0 0 18 0 1 0 1022483545 12341248 2433 4294967295 134512640 135223648 3216520896 3216519848 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 3013 2433 46 174 0 2838 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 14464
[startup+0.310115 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=28820 CPUtime=0.31
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 6530 0 0 0 25 6 0 0 18 0 1 0 1022483545 29511680 6466 4294967295 134512640 135223648 3216520896 3216519464 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 7205 6468 46 174 0 7030 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 31232
[startup+0.71008 s]
/proc/loadavg: 0.86 0.97 0.99 2/93 6333
/proc/meminfo: memFree=733100/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=61032 CPUtime=0.71
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 13889 0 0 0 61 10 0 0 18 0 1 0 1022483545 62496768 13825 4294967295 134512640 135223648 3216520896 3216519480 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 15258 13825 46 174 0 15083 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 63444
[startup+1.51001 s]
/proc/loadavg: 0.87 0.97 0.99 3/95 6338
/proc/meminfo: memFree=656824/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=131640 CPUtime=1.51
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 33849 0 0 0 136 15 0 0 20 0 1 0 1022483545 134799360 31058 4294967295 134512640 135223648 3216520896 3216518564 134719062 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 32910 31058 73 174 0 32735 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 134052
[startup+3.10987 s]
/proc/loadavg: 0.87 0.97 0.99 3/95 6338
/proc/meminfo: memFree=603132/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=148432 CPUtime=3.11
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 36380 0 0 0 294 17 0 0 25 0 1 0 1022483545 151994368 33589 4294967295 134512640 135223648 3216520896 3216518912 134586733 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 37108 33589 73 174 0 36933 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 150844
[startup+6.3096 s]
/proc/loadavg: 0.87 0.97 0.99 3/95 6338
/proc/meminfo: memFree=584656/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=172676 CPUtime=6.31
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 39878 0 0 0 613 18 0 0 25 0 1 0 1022483545 176820224 36824 4294967295 134512640 135223648 3216520896 3216519248 134602102 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 43169 36824 91 174 0 42994 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 175088
[startup+12.709 s]
/proc/loadavg: 0.89 0.97 0.99 3/95 6338
/proc/meminfo: memFree=583860/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2412 CPUtime=0.01
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 368 649 0 0 0 1 0 0 25 0 1 0 1022483544 2469888 277 4294967295 134512640 135169312 3214486752 3214485288 3085651694 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6333/statm: 603 277 235 161 0 42 0
[pid=6337] ppid=6333 vsize=173700 CPUtime=12.71
/proc/6337/stat : 6337 (SatELite_releas) R 6333 6333 14060 0 -1 4202496 40098 0 0 0 1253 18 0 0 25 0 1 0 1022483545 177868800 37026 4294967295 134512640 135223648 3216520896 3216518704 134548993 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6337/statm: 43425 37026 73 174 0 43250 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 176112
[startup+25.5179 s]
/proc/loadavg: 0.91 0.97 0.99 2/95 6339
/proc/meminfo: memFree=610832/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=86048 CPUtime=8.19
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 20652 0 0 0 806 13 0 0 25 0 1 0 1022485277 88113152 20587 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 21512 20587 73 172 0 21339 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 88464
[startup+51.1157 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 6523
/proc/meminfo: memFree=606180/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=89904 CPUtime=33.78
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 21642 0 0 0 3361 17 0 0 25 0 1 0 1022485277 92061696 21577 4294967295 134512640 135215339 3213870240 3213868528 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 22476 21577 73 172 0 22303 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 92320
[startup+102.321 s]
/proc/loadavg: 1.00 0.99 0.99 3/95 6711
/proc/meminfo: memFree=593764/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=102368 CPUtime=84.99
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 24731 0 0 0 8479 20 0 0 25 0 1 0 1022485277 104824832 24666 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 25592 24666 73 172 0 25419 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 104784
[startup+162.316 s]
/proc/loadavg: 1.13 1.02 1.00 3/95 6900
/proc/meminfo: memFree=575156/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=121176 CPUtime=144.99
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 29409 0 0 0 14477 22 0 0 25 0 1 0 1022485277 124084224 29344 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 30294 29344 73 172 0 30121 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 123592
[startup+222.321 s]
/proc/loadavg: 1.05 1.01 1.00 2/95 7089
/proc/meminfo: memFree=556400/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=139944 CPUtime=205
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 34083 0 0 0 20475 25 0 0 25 0 1 0 1022485277 143302656 34018 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 34986 34018 73 172 0 34813 0
Current children cumulated CPU time (s) 222.33
Current children cumulated vsize (KiB) 142360
[startup+282.316 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 7273
/proc/meminfo: memFree=540940/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=156016 CPUtime=265
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 38001 0 0 0 26471 29 0 0 25 0 1 0 1022485277 159760384 37936 4294967295 134512640 135215339 3213870240 3213868528 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 39004 37936 73 172 0 38831 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 158432
[startup+342.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 7468
/proc/meminfo: memFree=528516/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=168216 CPUtime=325
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 41074 0 0 0 32462 38 0 0 25 0 1 0 1022485277 172253184 41009 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/6339/statm: 42054 41009 73 172 0 41881 0
Current children cumulated CPU time (s) 342.33
################
# More data... #
################
/proc/6339/statm: 52710 51459 73 172 0 52537 0
Current children cumulated CPU time (s) 582.35
Current children cumulated vsize (KiB) 213256
[startup+642.324 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 8411
/proc/meminfo: memFree=476808/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=220900 CPUtime=625.03
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 53929 0 0 0 62451 52 0 0 25 0 1 0 1022485277 226201600 53864 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 55225 53864 73 172 0 55052 0
Current children cumulated CPU time (s) 642.36
Current children cumulated vsize (KiB) 223316
[startup+702.319 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 8599
/proc/meminfo: memFree=466416/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=231620 CPUtime=685.03
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 56574 0 0 0 68451 52 0 0 25 0 1 0 1022485277 237178880 56509 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 57905 56509 73 172 0 57732 0
Current children cumulated CPU time (s) 702.36
Current children cumulated vsize (KiB) 234036
[startup+762.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8791
/proc/meminfo: memFree=462788/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=745.04
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57420 0 0 0 74448 56 0 0 25 0 1 0 1022485277 240558080 57355 4294967295 134512640 135215339 3213870240 3213868448 134526318 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57355 73 172 0 58557 0
Current children cumulated CPU time (s) 762.37
Current children cumulated vsize (KiB) 237336
[startup+822.319 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 8980
/proc/meminfo: memFree=463292/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=805.04
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57421 0 0 0 80448 56 0 0 25 0 1 0 1022485277 240558080 57356 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57356 73 172 0 58557 0
Current children cumulated CPU time (s) 822.37
Current children cumulated vsize (KiB) 237336
[startup+882.314 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9164
/proc/meminfo: memFree=463184/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=865.04
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57424 0 0 0 86448 56 0 0 25 0 1 0 1022485277 240558080 57359 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57359 73 172 0 58557 0
Current children cumulated CPU time (s) 882.37
Current children cumulated vsize (KiB) 237336
[startup+942.318 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9353
/proc/meminfo: memFree=463160/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=925.05
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57426 0 0 0 92449 56 0 0 25 0 1 0 1022485277 240558080 57361 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57361 73 172 0 58557 0
Current children cumulated CPU time (s) 942.38
Current children cumulated vsize (KiB) 237336
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9545
/proc/meminfo: memFree=463168/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=234920 CPUtime=985.06
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57432 0 0 0 98450 56 0 0 25 0 1 0 1022485277 240558080 57367 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58730 57367 73 172 0 58557 0
Current children cumulated CPU time (s) 1002.39
Current children cumulated vsize (KiB) 237336
[startup+1062.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 9734
/proc/meminfo: memFree=462820/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=235324 CPUtime=1045.05
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57503 0 0 0 104449 56 0 0 25 0 1 0 1022485277 240971776 57438 4294967295 134512640 135215339 3213870240 3213868528 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 58831 57438 73 172 0 58658 0
Current children cumulated CPU time (s) 1062.38
Current children cumulated vsize (KiB) 237740
[startup+1122.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 9923
/proc/meminfo: memFree=462316/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236108 CPUtime=1105.06
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57658 0 0 0 110450 56 0 0 25 0 1 0 1022485277 241774592 57593 4294967295 134512640 135215339 3213870240 3213868528 134528721 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59027 57593 73 172 0 58854 0
Current children cumulated CPU time (s) 1122.39
Current children cumulated vsize (KiB) 238524
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10107
/proc/meminfo: memFree=462084/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236376 CPUtime=1165.06
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57711 0 0 0 116449 57 0 0 25 0 1 0 1022485277 242049024 57646 4294967295 134512640 135215339 3213870240 3213868240 134532626 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59094 57646 73 172 0 58921 0
Current children cumulated CPU time (s) 1182.39
Current children cumulated vsize (KiB) 238792
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10112
/proc/meminfo: memFree=462072/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236556 CPUtime=1182.67
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57731 0 0 0 118209 58 0 0 25 0 1 0 1022485277 242233344 57666 4294967295 134512640 135215339 3213870240 3213868528 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59139 57666 73 172 0 58966 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 238972
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 10112
/proc/meminfo: memFree=462072/2074464 swapFree=1949056/1959888
[pid=6333] ppid=6331 vsize=2416 CPUtime=17.33
/proc/6333/stat : 6333 (SatELiteGTI) S 6331 6333 14060 0 -1 4194304 388 46509 0 0 0 1 1695 37 24 0 1 0 1022483544 2473984 278 4294967295 134512640 135169312 3214486752 3214482968 3085651694 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6333/statm: 604 278 235 161 0 43 0
[pid=6339] ppid=6333 vsize=236556 CPUtime=1182.67
/proc/6339/stat : 6339 (minisat_static) R 6333 6333 14060 0 -1 4202496 57731 0 0 0 118209 58 0 0 25 0 1 0 1022485277 242233344 57666 4294967295 134512640 135215339 3213870240 3213868528 134528788 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6339/statm: 59139 57666 73 172 0 58966 0
Current children cumulated CPU time (s) 1200
Current children cumulated vsize (KiB) 238972
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6333 and gives
# childrusage.ru_utime.tv_sec=16
# childrusage.ru_utime.tv_usec=950000
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=380000
# CPU time returned by wait4() is 17.33
# while last known CPU time is 1200
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1199.94
CPU time (s): 1200
CPU user time (s): 1199.04
CPU system time (s): 0.96
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 238972
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 16.95
system time used= 0.38
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46897
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= 15
involuntary context switches= 17
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi27 at 2009-05-17 19:04:21
IDJOB=1821928
IDBENCH=71736
IDSOLVER=657
FILE ID=tipi27/1821928-1242579861
PBS_JOBID=
Free space on /tmp= 8421 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/velev-vliw-uns-4.0-9C1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821928-1242579861/watcher-1821928-1242579861 -o /tmp/evaluation-result-1821928-1242579861/solver-1821928-1242579861 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821928-1242579861.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED= 144644200
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: 733348 kB
Buffers: 63148 kB
Cached: 1162944 kB
SwapCached: 5456 kB
Active: 444008 kB
Inactive: 791916 kB
HighTotal: 1178688 kB
HighFree: 331008 kB
LowTotal: 895776 kB
LowFree: 402340 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 38064 kB
Writeback: 4 kB
AnonPages: 9024 kB
Mapped: 3260 kB
Slab: 96960 kB
PageTables: 496 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90624 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 8383 MiB
End job on tipi27 at 2009-05-17 19:24:26