0.00/0.00 c Parsing...
1.28/1.35 c ==============================================================================
1.28/1.35 c | | ORIGINAL | LEARNT | |
1.28/1.35 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.28/1.35 c ==============================================================================
1.28/1.35 c | 0 | 1814188 5280500 | 544256 0 0 nan | 0.000 % |
12.28/12.39 c | 0 | 1789068 5451065 | -- 0 -- -- | -- | -25093/170622
12.28/12.39 c ==============================================================================
12.28/12.39 c Result : #vars: 84942 #clauses: 1789068 #literals: 5451065
12.28/12.40 c CPU time: 12.1102 s
12.28/12.40 c ==============================================================================
14.07/14.16 c This is MiniSat 2.0 beta
14.07/14.16 c WARNING: for repeatability, setting FPU to use double precision
14.07/14.16 c ============================[ Problem Statistics ]=============================
14.07/14.16 c | |
14.07/14.16 c | Number of variables: 84942 |
14.07/14.16 c | Number of clauses: 1789068 |
15.16/15.22 c | Parsing time: 0.94 s |
15.16/15.28 c ============================[ Search Statistics ]==============================
15.16/15.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
15.16/15.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
15.16/15.28 c ===============================================================================
15.16/15.28 c | 0 | 84942 1789068 5451065 | 596356 0 nan | 0.000 % |
15.66/15.73 c | 100 | 84942 1789068 5451065 | 596356 100 16 | 0.000 % |
15.76/15.86 c | 201 | 84942 1789068 5451065 | 596356 201 31 | 0.000 % |
16.06/16.12 c | 303 | 84942 1789068 5451065 | 596356 303 36 | 0.000 % |
16.56/16.62 c | 414 | 84942 1789068 5451065 | 596356 414 34 | 0.000 % |
17.26/17.32 c | 515 | 84942 1789068 5451065 | 596356 515 31 | 0.000 % |
17.47/17.56 c | 626 | 84942 1789068 5451065 | 596356 626 34 | 0.000 % |
17.57/17.69 c | 749 | 84942 1789068 5451065 | 596356 749 34 | 0.000 % |
17.76/17.84 c | 850 | 84942 1789068 5451065 | 596356 850 36 | 0.000 % |
17.86/17.97 c | 961 | 84942 1789068 5451065 | 596356 961 36 | 0.000 % |
18.06/18.11 c | 1083 | 84942 1789068 5451065 | 596356 1083 38 | 0.000 % |
18.16/18.24 c | 1216 | 84942 1789068 5451065 | 596356 1216 37 | 0.000 % |
18.36/18.46 c | 1317 | 84942 1789068 5451065 | 596356 1317 37 | 0.000 % |
18.46/18.59 c | 1428 | 84942 1789068 5451065 | 596356 1428 38 | 0.000 % |
18.67/18.76 c | 1550 | 84942 1789068 5451065 | 596356 1550 37 | 0.000 % |
19.06/19.17 c | 1683 | 84942 1789068 5451065 | 596356 1683 39 | 0.000 % |
19.16/19.29 c | 1829 | 84942 1789068 5451065 | 596356 1829 40 | 0.000 % |
19.36/19.43 c | 1929 | 84942 1789068 5451065 | 596356 1929 39 | 0.000 % |
19.56/19.66 c | 2042 | 84942 1789068 5451065 | 596356 2042 38 | 0.000 % |
19.86/19.97 c | 2164 | 84942 1789068 5451065 | 596356 2164 37 | 0.000 % |
20.06/20.18 c | 2297 | 84942 1789068 5451065 | 596356 2297 37 | 0.000 % |
20.36/20.40 c | 2444 | 84942 1789068 5451065 | 596356 2444 37 | 0.000 % |
20.56/20.63 c | 2605 | 84942 1789068 5451065 | 596356 2605 37 | 0.000 % |
20.76/20.81 c | 2706 | 84942 1789068 5451065 | 596356 2706 36 | 0.000 % |
20.76/20.90 c | 2816 | 84942 1789068 5451065 | 596356 2816 36 | 0.000 % |
20.96/21.06 c | 2937 | 84942 1789068 5451065 | 596356 2937 36 | 0.000 % |
21.06/21.19 c | 3071 | 84942 1789068 5451065 | 596356 3071 37 | 0.000 % |
21.26/21.38 c | 3217 | 84942 1789068 5451065 | 596356 3217 36 | 0.000 % |
21.46/21.54 c | 3377 | 84942 1789068 5451065 | 596356 3377 36 | 0.000 % |
21.66/21.78 c | 3556 | 84942 1789068 5451065 | 596356 3556 37 | 0.000 % |
21.86/21.91 c | 3656 | 84942 1789068 5451065 | 596356 3656 36 | 0.000 % |
21.96/22.05 c | 3767 | 84942 1789068 5451065 | 596356 3767 36 | 0.000 % |
22.16/22.22 c | 3888 | 84942 1789068 5451065 | 596356 3888 36 | 0.000 % |
22.16/22.27 c | 4022 | 84942 1789068 5451065 | 596356 4022 36 | 0.000 % |
22.46/22.52 c | 4169 | 84942 1789068 5451065 | 596356 4169 35 | 0.000 % |
22.66/22.75 c | 4332 | 84942 1789068 5451065 | 596356 4332 35 | 0.000 % |
22.96/23.02 c | 4512 | 84942 1789068 5451065 | 596356 4512 39 | 0.000 % |
23.16/23.21 c | 4705 | 84942 1789068 5451065 | 596356 4705 38 | 0.000 % |
23.16/23.29 c | 4805 | 84942 1789068 5451065 | 596356 4805 38 | 0.000 % |
23.36/23.44 c | 4915 | 84942 1789068 5451065 | 596356 4915 38 | 0.000 % |
23.36/23.48 c | 5039 | 84942 1789068 5451065 | 596356 5039 38 | 0.000 % |
23.56/23.66 c | 5172 | 84942 1789068 5451065 | 596356 5172 38 | 0.000 % |
23.66/23.72 c | 5318 | 84942 1789068 5451065 | 596356 5318 38 | 0.000 % |
23.76/23.83 c | 5479 | 84942 1789068 5451065 | 596356 5479 37 | 0.000 % |
24.26/24.31 c | 5656 | 84942 1789068 5451065 | 596356 5656 37 | 0.000 % |
24.56/24.66 c | 5850 | 84942 1789068 5451065 | 596356 5850 37 | 0.000 % |
25.06/25.16 c | 6066 | 84942 1789068 5451065 | 596356 6066 37 | 0.000 % |
25.46/25.55 c | 6166 | 84942 1789068 5451065 | 596356 6166 37 | 0.000 % |
25.86/25.97 c | 6276 | 84942 1789068 5451065 | 596356 6276 37 | 0.000 % |
26.26/26.31 c | 6398 | 84942 1789068 5451065 | 596356 6398 40 | 0.000 % |
26.36/26.40 c | 6531 | 84942 1789068 5451065 | 596356 6531 40 | 0.000 % |
26.56/26.62 c | 6678 | 84942 1789068 5451065 | 596356 6678 40 | 0.000 % |
26.86/26.95 c | 6840 | 84942 1789068 5451065 | 596356 6840 40 | 0.000 % |
26.96/27.04 c | 7016 | 84942 1789068 5451065 | 596356 7016 40 | 0.000 % |
27.36/27.48 c | 7209 | 84942 1789068 5451065 | 596356 7209 40 | 0.000 % |
27.65/27.76 c | 7423 | 84942 1789068 5451065 | 596356 7423 40 | 0.000 % |
27.96/28.03 c | 7656 | 84942 1789068 5451065 | 596356 7656 39 | 0.000 % |
28.06/28.11 c | 7757 | 84942 1789068 5451065 | 596356 7757 40 | 0.000 % |
28.06/28.16 c | 7869 | 84942 1789068 5451065 | 596356 7869 39 | 0.000 % |
28.16/28.26 c | 7990 | 84942 1789068 5451065 | 596356 7990 39 | 0.000 % |
28.26/28.35 c | 8123 | 84942 1789068 5451065 | 596356 8123 39 | 0.000 % |
28.36/28.49 c | 8269 | 84942 1789068 5451065 | 596356 8269 39 | 0.000 % |
28.66/28.72 c | 8430 | 84942 1789068 5451065 | 596356 8430 39 | 0.000 % |
28.76/28.83 c | 8609 | 84942 1789068 5451065 | 596356 8609 39 | 0.000 % |
28.86/28.96 c | 8802 | 84942 1789068 5451065 | 596356 8802 39 | 0.000 % |
29.06/29.19 c | 9016 | 84942 1789068 5451065 | 596356 9016 40 | 0.000 % |
29.36/29.46 c | 9249 | 84942 1789068 5451065 | 596356 9249 40 | 0.000 % |
29.56/29.66 c | 9506 | 84942 1789068 5451065 | 596356 9506 40 | 0.000 % |
29.76/29.81 c | 9606 | 84942 1789068 5451065 | 596356 9606 40 | 0.000 % |
29.96/30.09 c | 9716 | 84942 1789068 5451065 | 596356 9716 40 | 0.000 % |
30.16/30.22 c | 9839 | 84942 1789068 5451065 | 596356 9839 41 | 0.000 % |
30.46/30.52 c | 9972 | 84942 1789068 5451065 | 596356 9972 41 | 0.000 % |
30.86/30.92 c | 10119 | 84942 1789068 5451065 | 2147483647 10119 41 | 0.000 % |
31.06/31.16 c | 10283 | 84942 1789068 5451065 | 2147483647 10283 41 | 0.000 % |
31.26/31.31 c | 10459 | 84942 1789068 5451065 | 2147483647 10459 41 | 0.000 % |
31.36/31.42 c | 10653 | 84942 1789068 5451065 | 2147483647 10653 40 | 0.000 % |
31.66/31.73 c | 10867 | 84942 1789068 5451065 | 2147483647 10867 40 | 0.000 % |
31.96/32.02 c | 11101 | 84942 1789068 5451065 | 2147483647 11101 40 | 0.000 % |
32.26/32.36 c | 11358 | 84942 1789068 5451065 | 2147483647 11358 41 | 0.000 % |
32.46/32.51 c | 11640 | 84942 1789068 5451065 | 2147483647 11640 42 | 0.000 % |
32.46/32.59 c | 11742 | 84942 1789068 5451065 | 2147483647 11742 42 | 0.000 % |
32.66/32.71 c | 11852 | 84942 1789068 5451065 | 2147483647 11852 42 | 0.000 % |
32.75/32.86 c | 11974 | 84942 1789068 5451065 | 2147483647 11974 42 | 0.000 % |
32.86/32.96 c | 12108 | 84942 1789068 5451065 | 2147483647 12108 42 | 0.000 % |
33.05/33.15 c | 12256 | 84942 1789068 5451065 | 2147483647 12256 42 | 0.000 % |
33.25/33.39 c | 12417 | 84942 1789068 5451065 | 2147483647 12417 42 | 0.000 % |
33.45/33.55 c | 12596 | 84942 1789068 5451065 | 2147483647 12596 42 | 0.000 % |
33.85/33.94 c | 12790 | 84942 1789068 5451065 | 2147483647 12790 42 | 0.000 % |
34.45/34.53 c | 13003 | 84942 1789068 5451065 | 2147483647 13003 42 | 0.000 % |
34.85/34.97 c | 13236 | 84942 1789068 5451065 | 2147483647 13236 42 | 0.000 % |
35.15/35.25 c | 13494 | 84942 1789068 5451065 | 2147483647 13494 42 | 0.000 % |
35.65/35.78 c | 13775 | 84942 1789068 5451065 | 2147483647 13775 42 | 0.000 % |
35.95/36.06 c | 14084 | 84942 1789068 5451065 | 2147483647 14084 41 | 0.000 % |
36.25/36.35 c | 14185 | 84942 1789068 5451065 | 2147483647 14185 41 | 0.000 % |
36.35/36.44 c | 14295 | 84942 1789068 5451065 | 2147483647 14295 41 | 0.000 % |
36.55/36.63 c | 14417 | 84942 1789068 5451065 | 2147483647 14417 41 | 0.000 % |
36.84/36.98 c | 14550 | 84942 1789068 5451065 | 2147483647 14550 41 | 0.000 % |
37.14/37.21 c | 14701 | 84942 1789068 5451065 | 2147483647 14701 41 | 0.000 % |
37.35/37.48 c | 14861 | 84942 1789068 5451065 | 2147483647 14861 41 | 0.000 % |
37.54/37.65 c | 15037 | 84942 1789068 5451065 | 2147483647 15037 41 | 0.000 % |
37.74/37.86 c | 15230 | 84942 1789068 5451065 | 2147483647 15230 41 | 0.000 % |
38.04/38.10 c | 15442 | 84942 1789068 5451065 | 2147483647 15442 41 | 0.000 % |
38.14/38.24 c | 15675 | 84942 1789068 5451065 | 2147483647 15675 41 | 0.000 % |
38.64/38.70 c | 15933 | 84942 1789068 5451065 | 2147483647 15933 41 | 0.000 % |
38.74/38.84 c | 16216 | 84942 1789068 5451065 | 2147483647 16216 41 | 0.000 % |
38.94/39.03 c | 16525 | 84942 1789068 5451065 | 2147483647 16525 41 | 0.000 % |
39.55/39.61 c | 16864 | 84942 1789068 5451065 | 2147483647 16864 41 | 0.000 % |
39.64/39.74 c | 16964 | 84942 1789068 5451065 | 2147483647 16964 41 | 0.000 % |
39.74/39.83 c | 17074 | 84942 1789068 5451065 | 2147483647 17074 41 | 0.000 % |
39.74/39.89 c | 17196 | 84942 1789068 5451065 | 2147483647 17196 41 | 0.000 % |
39.94/40.10 c | 17329 | 84942 1789068 5451065 | 2147483647 17329 41 | 0.000 % |
40.44/40.52 c | 17475 | 84942 1789068 5451065 | 2147483647 17475 41 | 0.000 % |
40.74/40.90 c | 17636 | 84942 1789068 5451065 | 2147483647 17636 41 | 0.000 % |
40.94/41.06 c | 17812 | 84942 1789068 5451065 | 2147483647 17812 41 | 0.000 % |
41.14/41.30 c | 18005 | 84942 1789068 5451065 | 2147483647 18005 41 | 0.000 % |
41.34/41.49 c | 18222 | 84942 1789068 5451065 | 2147483647 18222 41 | 0.000 % |
41.44/41.58 c | 18455 | 84942 1789068 5451065 | 2147483647 18455 41 | 0.000 % |
41.64/41.73 c | 18711 | 84942 1789068 5451065 | 2147483647 18711 41 | 0.000 % |
41.84/41.92 c | 18993 | 84942 1789068 5451065 | 2147483647 18993 41 | 0.000 % |
42.34/42.42 c | 19304 | 84942 1789068 5451065 | 2147483647 19304 42 | 0.000 % |
42.64/42.74 c | 19644 | 84942 1789068 5451065 | 2147483647 19644 42 | 0.000 % |
42.94/43.10 c | 20018 | 84942 1789068 5451065 | 2147483647 20018 42 | 0.000 % |
43.04/43.17 c | 20119 | 84942 1789068 5451065 | 2147483647 20119 42 | 0.000 % |
43.24/43.37 c | 20229 | 84942 1789068 5451065 | 2147483647 20229 42 | 0.000 % |
43.54/43.63 c | 20351 | 84942 1789068 5451065 | 2147483647 20351 42 | 0.000 % |
43.74/43.87 c | 20485 | 84942 1789068 5451065 | 2147483647 20485 42 | 0.000 % |
43.95/44.06 c | 20633 | 84942 1789068 5451065 | 2147483647 20633 42 | 0.000 % |
44.05/44.15 c | 20793 | 84942 1789068 5451065 | 2147483647 20793 42 | 0.000 % |
44.15/44.25 c | 20972 | 84942 1789068 5451065 | 2147483647 20972 42 | 0.000 % |
44.45/44.59 c | 21165 | 84942 1789068 5451065 | 2147483647 21165 42 | 0.000 % |
44.55/44.66 c | 21378 | 84942 1789068 5451065 | 2147483647 21378 42 | 0.000 % |
44.85/44.98 c | 21612 | 84942 1789068 5451065 | 2147483647 21612 41 | 0.000 % |
45.25/45.36 c | 21872 | 84942 1789068 5451065 | 2147483647 21872 42 | 0.000 % |
45.44/45.56 c | 22153 | 84942 1789068 5451065 | 2147483647 22153 42 | 0.000 % |
46.05/46.14 c | 22462 | 84942 1789068 5451065 | 2147483647 22462 42 | 0.000 % |
46.24/46.37 c | 22805 | 84942 1789068 5451065 | 2147483647 22805 42 | 0.000 % |
46.64/46.74 c | 23177 | 84942 1789068 5451065 | 2147483647 23177 42 | 0.000 % |
47.44/47.52 c | 23586 | 84942 1789068 5451065 | 2147483647 23586 42 | 0.000 % |
47.64/47.78 c | 23686 | 84942 1789068 5451065 | 2147483647 23686 42 | 0.000 % |
48.04/48.18 c | 23796 | 84942 1789068 5451065 | 2147483647 23796 43 | 0.000 % |
48.14/48.24 c | 23918 | 84942 1789068 5451065 | 2147483647 23918 43 | 0.000 % |
48.25/48.37 c | 24052 | 84942 1789068 5451065 | 2147483647 24052 44 | 0.000 % |
48.54/48.61 c | 24199 | 84942 1789068 5451065 | 2147483647 24199 44 | 0.000 % |
48.74/48.84 c | 24363 | 84942 1789068 5451065 | 2147483647 24363 44 | 0.000 % |
48.94/49.04 c | 24540 | 84942 1789068 5451065 | 2147483647 24540 44 | 0.000 % |
49.54/49.60 c | 24733 | 84942 1789068 5451065 | 2147483647 24733 44 | 0.000 % |
49.84/49.92 c | 24945 | 84942 1789068 5451065 | 2147483647 24945 44 | 0.000 % |
50.04/50.17 c | 25179 | 84942 1789068 5451065 | 2147483647 25179 44 | 0.000 % |
50.44/50.51 c | 25435 | 84942 1789068 5451065 | 2147483647 25435 44 | 0.000 % |
50.74/50.89 c | 25717 | 84942 1789068 5451065 | 2147483647 25717 44 | 0.000 % |
51.44/51.58 c | 26027 | 84942 1789068 5451065 | 2147483647 26027 44 | 0.000 % |
52.04/52.13 c | 26366 | 84942 1789068 5451065 | 2147483647 26366 44 | 0.000 % |
52.54/52.63 c | 26738 | 84942 1789068 5451065 | 2147483647 26738 44 | 0.000 % |
53.04/53.11 c | 27149 | 84942 1789068 5451065 | 2147483647 27149 44 | 0.000 % |
53.34/53.46 c | 27600 | 84942 1789068 5451065 | 2147483647 27600 45 | 0.000 % |
53.44/53.58 c | 27702 | 84942 1789068 5451065 | 2147483647 27702 45 | 0.000 % |
53.64/53.73 c | 27813 | 84942 1789068 5451065 | 2147483647 27813 45 | 0.000 % |
53.74/53.82 c | 27934 | 84942 1789068 5451065 | 2147483647 27934 45 | 0.000 % |
53.74/53.89 c | 28067 | 84942 1789068 5451065 | 2147483647 28067 45 | 0.000 % |
53.94/54.05 c | 28215 | 84942 1789068 5451065 | 2147483647 28215 45 | 0.000 % |
54.14/54.21 c | 28377 | 84942 1789068 5451065 | 2147483647 28377 45 | 0.000 % |
54.24/54.32 c | 28556 | 84942 1789068 5451065 | 2147483647 28556 45 | 0.000 % |
54.44/54.59 c | 28750 | 84942 1789068 5451065 | 2147483647 28750 45 | 0.000 % |
54.54/54.69 c | 28962 | 84942 1789068 5451065 | 2147483647 28962 45 | 0.000 % |
54.84/54.98 c | 29197 | 84942 1789068 5451065 | 2147483647 29197 45 | 0.000 % |
55.13/55.24 c | 29455 | 84942 1789068 5451065 | 2147483647 29455 45 | 0.000 % |
55.33/55.43 c | 29738 | 84942 1789068 5451065 | 2147483647 29738 45 | 0.000 % |
55.73/55.83 c | 30048 | 84942 1789068 5451065 | 2147483647 30048 45 | 0.000 % |
56.23/56.30 c | 30387 | 84942 1789068 5451065 | 2147483647 30387 45 | 0.000 % |
56.53/56.61 c | 30761 | 84942 1789068 5451065 | 2147483647 30761 45 | 0.000 % |
56.83/56.98 c | 31171 | 84942 1789068 5451065 | 2147483647 31171 45 | 0.000 % |
56.93/57.06 c | 31621 | 84942 1789068 5451065 | 2147483647 31621 45 | 0.000 % |
57.15/57.21 c | 32115 | 84942 1789068 5451065 | 2147483647 32115 45 | 0.000 % |
57.15/57.29 c | 32216 | 84942 1789068 5451065 | 2147483647 32216 45 | 0.000 % |
57.24/57.35 c | 32327 | 84942 1789068 5451065 | 2147483647 32327 45 | 0.000 % |
57.34/57.48 c | 32449 | 84942 1789068 5451065 | 2147483647 32449 45 | 0.000 % |
57.54/57.64 c | 32582 | 84942 1789068 5451065 | 2147483647 32582 45 | 0.000 % |
57.74/57.83 c | 32730 | 84942 1789068 5451065 | 2147483647 32730 45 | 0.000 % |
57.84/57.98 c | 32893 | 84942 1789068 5451065 | 2147483647 32893 45 | 0.000 % |
58.04/58.18 c | 33069 | 84942 1789068 5451065 | 2147483647 33069 45 | 0.000 % |
58.34/58.42 c | 33262 | 84942 1789068 5451065 | 2147483647 33262 45 | 0.000 % |
58.54/58.63 c | 33474 | 84942 1789068 5451065 | 2147483647 33474 45 | 0.000 % |
58.74/58.82 c | 33707 | 84942 1789068 5451065 | 2147483647 33707 45 | 0.000 % |
58.84/58.99 c | 33964 | 84942 1789068 5451065 | 2147483647 33964 45 | 0.000 % |
59.14/59.29 c | 34246 | 84942 1789068 5451065 | 2147483647 34246 46 | 0.000 % |
59.54/59.60 c | 34555 | 84942 1789068 5451065 | 2147483647 34555 46 | 0.000 % |
59.84/59.99 c | 34894 | 84942 1789068 5451065 | 2147483647 34894 46 | 0.000 % |
60.14/60.22 c | 35266 | 84942 1789068 5451065 | 2147483647 35266 46 | 0.000 % |
60.64/60.73 c | 35679 | 84942 1789068 5451065 | 2147483647 35679 46 | 0.000 % |
60.94/61.02 c | 36129 | 84942 1789068 5451065 | 2147483647 36129 46 | 0.000 % |
61.44/61.55 c | 36624 | 84942 1789068 5451065 | 2147483647 36624 46 | 0.000 % |
62.04/62.19 c | 37168 | 84942 1789068 5451065 | 2147483647 37168 47 | 0.000 % |
62.23/62.31 c | 37271 | 84942 1789068 5451065 | 2147483647 37271 47 | 0.000 % |
62.33/62.40 c | 37381 | 84942 1789068 5451065 | 2147483647 37381 47 | 0.000 % |
62.54/62.62 c | 37503 | 84942 1789068 5451065 | 2147483647 37503 47 | 0.000 % |
62.73/62.82 c | 37636 | 84942 1789068 5451065 | 2147483647 37636 47 | 0.000 % |
62.83/62.97 c | 37782 | 84942 1789068 5451065 | 2147483647 37782 47 | 0.000 % |
63.03/63.19 c | 37942 | 84942 1789068 5451065 | 2147483647 37942 47 | 0.000 % |
63.33/63.42 c | 38118 | 84942 1789068 5451065 | 2147483647 38118 47 | 0.000 % |
63.43/63.60 c | 38311 | 84942 1789068 5451065 | 2147483647 38311 47 | 0.000 % |
63.64/63.73 c | 38523 | 84942 1789068 5451065 | 2147483647 38523 47 | 0.000 % |
64.13/64.21 c | 38756 | 84942 1789068 5451065 | 2147483647 38756 47 | 0.000 % |
64.23/64.39 c | 39013 | 84942 1789068 5451065 | 2147483647 39013 47 | 0.000 % |
64.83/64.96 c | 39294 | 84942 1789068 5451065 | 2147483647 39294 47 | 0.000 % |
65.03/65.11 c | 39603 | 84942 1789068 5451065 | 2147483647 39603 47 | 0.000 % |
65.33/65.41 c | 39943 | 84942 1789068 5451065 | 2147483647 39943 47 | 0.000 % |
65.54/65.66 c | 40316 | 84942 1789068 5451065 | 2147483647 40316 47 | 0.000 % |
66.04/66.16 c | 40725 | 84942 1789068 5451065 | 2147483647 40725 47 | 0.000 % |
66.54/66.64 c | 41176 | 84942 1789068 5451065 | 2147483647 41176 47 | 0.000 % |
66.94/67.05 c | 41669 | 84942 1789068 5451065 | 2147483647 41669 47 | 0.000 % |
67.44/67.52 c | 42212 | 84942 1789068 5451065 | 2147483647 42212 48 | 0.000 % |
67.64/67.79 c | 42810 | 84942 1789068 5451065 | 2147483647 42810 48 | 0.000 % |
67.94/68.08 c | 42910 | 84942 1789068 5451065 | 2147483647 42910 48 | 0.000 % |
68.14/68.29 c | 43020 | 84942 1789068 5451065 | 2147483647 43020 48 | 0.000 % |
68.44/68.50 c | 43142 | 84942 1789068 5451065 | 2147483647 43142 48 | 0.000 % |
68.54/68.68 c | 43278 | 84942 1789068 5451065 | 2147483647 43278 48 | 0.000 % |
68.73/68.83 c | 43427 | 84942 1789068 5451065 | 2147483647 43427 48 | 0.000 % |
68.83/68.96 c | 43588 | 84942 1789068 5451065 | 2147483647 43588 48 | 0.000 % |
69.13/69.21 c | 43765 | 84942 1789068 5451065 | 2147483647 43765 48 | 0.000 % |
69.23/69.36 c | 43959 | 84942 1789068 5451065 | 2147483647 43959 48 | 0.000 % |
69.63/69.75 c | 44172 | 84942 1789068 5451065 | 2147483647 44172 48 | 0.000 % |
69.93/70.04 c | 44406 | 84942 1789068 5451065 | 2147483647 44406 48 | 0.000 % |
70.53/70.65 c | 44662 | 84942 1789068 5451065 | 2147483647 44662 48 | 0.000 % |
70.63/70.77 c | 44944 | 84942 1789068 5451065 | 2147483647 44944 48 | 0.000 % |
71.03/71.12 c | 45254 | 84942 1789068 5451065 | 2147483647 45254 48 | 0.000 % |
71.43/71.59 c | 45601 | 84942 1789068 5451065 | 2147483647 45601 48 | 0.000 % |
71.63/71.71 c | 45974 | 84942 1789068 5451065 | 2147483647 45974 48 | 0.000 % |
72.33/72.45 c | 46384 | 84942 1789068 5451065 | 2147483647 46384 48 | 0.000 % |
72.63/72.74 c | 46834 | 84942 1789068 5451065 | 2147483647 46834 48 | 0.000 % |
72.93/73.06 c | 47328 | 84942 1789068 5451065 | 2147483647 47328 48 | 0.000 % |
73.33/73.42 c | 47873 | 84942 1789068 5451065 | 2147483647 47873 49 | 0.000 % |
73.63/73.75 c | 48469 | 84942 1789068 5451065 | 2147483647 48469 49 | 0.000 % |
74.32/74.45 c | 49124 | 84942 1789068 5451065 | 2147483647 49124 49 | 0.000 % |
74.42/74.53 c | 49225 | 84942 1789068 5451065 | 2147483647 49225 49 | 0.000 % |
74.52/74.70 c | 49335 | 84942 1789068 5451065 | 2147483647 49335 49 | 0.000 % |
74.73/74.81 c | 49456 | 84942 1789068 5451065 | 2147483647 49456 49 | 0.000 % |
74.92/75.02 c | 49589 | 84942 1789068 5451065 | 2147483647 49589 49 | 0.000 % |
75.22/75.30 c | 49735 | 84942 1789068 5451065 | 2147483647 49735 49 | 0.000 % |
75.32/75.47 c | 49895 | 84942 1789068 5451065 | 2147483647 49895 49 | 0.000 % |
75.62/75.75 c | 50071 | 84942 1789068 5451065 | 2147483647 50071 49 | 0.000 % |
75.92/76.03 c | 50268 | 84942 1789068 5451065 | 2147483647 50268 50 | 0.000 % |
76.02/76.14 c | 50481 | 84942 1789068 5451065 | 2147483647 50481 49 | 0.000 % |
76.42/76.55 c | 50714 | 84942 1789068 5451065 | 2147483647 50714 50 | 0.000 % |
76.62/76.73 c | 50970 | 84942 1789068 5451065 | 2147483647 50970 50 | 0.000 % |
76.83/76.95 c | 51251 | 84942 1789068 5451065 | 2147483647 51251 50 | 0.000 % |
77.02/77.15 c | 51560 | 84942 1789068 5451065 | 2147483647 51560 50 | 0.000 % |
77.52/77.62 c | 51900 | 84942 1789068 5451065 | 2147483647 51900 50 | 0.000 % |
77.72/77.83 c | 52276 | 84942 1789068 5451065 | 2147483647 52276 50 | 0.000 % |
77.93/78.10 c | 52685 | 84942 1789068 5451065 | 2147483647 52685 50 | 0.000 % |
78.22/78.36 c | 53135 | 84942 1789068 5451065 | 2147483647 53135 50 | 0.000 % |
78.72/78.81 c | 53629 | 84942 1789068 5451065 | 2147483647 53629 50 | 0.000 % |
79.03/79.15 c | 54171 | 84942 1789068 5451065 | 2147483647 54171 50 | 0.000 % |
79.22/79.35 c | 54767 | 84942 1789068 5451065 | 2147483647 54767 51 | 0.000 % |
79.42/79.58 c | 55422 | 84942 1789068 5451065 | 2147483647 55422 51 | 0.000 % |
80.03/80.14 c | 56142 | 84942 1789068 5451065 | 2147483647 56142 51 | 0.000 % |
80.13/80.22 c | 56243 | 84942 1789068 5451065 | 2147483647 56243 52 | 0.000 % |
80.23/80.36 c | 56358 | 84942 1789068 5451065 | 2147483647 56358 52 | 0.000 % |
80.32/80.41 c | 56480 | 84942 1789068 5451065 | 2147483647 56480 52 | 0.000 % |
80.42/80.57 c | 56613 | 84942 1789068 5451065 | 2147483647 56613 52 | 0.000 % |
80.82/80.91 c | 56759 | 84942 1789068 5451065 | 2147483647 56759 52 | 0.000 % |
81.02/81.14 c | 56920 | 84942 1789068 5451065 | 2147483647 56920 52 | 0.000 % |
81.12/81.30 c | 57100 | 84942 1789068 5451065 | 2147483647 57100 52 | 0.000 % |
81.42/81.52 c | 57293 | 84942 1789068 5451065 | 2147483647 57293 52 | 0.000 % |
81.62/81.71 c | 57508 | 84942 1789068 5451065 | 2147483647 57508 52 | 0.000 % |
81.92/82.02 c | 57741 | 84942 1789068 5451065 | 2147483647 57741 52 | 0.000 % |
82.12/82.21 c | 57998 | 84942 1789068 5451065 | 2147483647 57998 52 | 0.000 % |
82.33/82.48 c | 58281 | 84942 1789068 5451065 | 2147483647 58281 52 | 0.000 % |
82.62/82.79 c | 58590 | 84942 1789068 5451065 | 2147483647 58590 52 | 0.000 % |
83.43/83.56 c | 58929 | 84942 1789068 5451065 | 2147483647 58929 52 | 0.000 % |
83.82/83.99 c | 59304 | 84942 1789068 5451065 | 2147483647 59304 52 | 0.000 % |
84.12/84.24 c | 59713 | 84942 1789068 5451065 | 2147483647 59713 52 | 0.000 % |
84.42/84.51 c | 60163 | 84942 1789068 5451065 | 2147483647 60163 52 | 0.000 % |
84.71/84.80 c | 60658 | 84942 1789068 5451065 | 2147483647 60658 53 | 0.000 % |
85.21/85.39 c | 61201 | 84942 1789068 5451065 | 2147483647 61201 53 | 0.000 % |
85.61/85.75 c | 61798 | 84942 1789068 5451065 | 2147483647 61798 53 | 0.000 % |
86.21/86.31 c | 62453 | 84942 1789068 5451065 | 2147483647 62453 54 | 0.000 % |
86.71/86.85 c | 63177 | 84942 1789068 5451065 | 2147483647 63177 54 | 0.000 % |
87.31/87.40 c | 63969 | 84942 1789068 5451065 | 2147483647 63969 54 | 0.000 % |
87.41/87.54 c | 64070 | 84942 1789068 5451065 | 2147483647 64070 54 | 0.000 % |
87.51/87.69 c | 64181 | 84942 1789068 5451065 | 2147483647 64181 54 | 0.000 % |
87.61/87.79 c | 64302 | 84942 1789068 5451065 | 2147483647 64302 54 | 0.000 % |
87.81/87.99 c | 64436 | 84942 1789068 5451065 | 2147483647 64436 54 | 0.000 % |
87.91/88.09 c | 64582 | 84942 1789068 5451065 | 2147483647 64582 54 | 0.000 % |
88.21/88.36 c | 64743 | 84942 1789068 5451065 | 2147483647 64743 54 | 0.000 % |
88.30/88.49 c | 64920 | 84942 1789068 5451065 | 2147483647 64920 54 | 0.000 % |
88.50/88.62 c | 65114 | 84942 1789068 5451065 | 2147483647 65114 54 | 0.000 % |
88.70/88.81 c | 65327 | 84942 1789068 5451065 | 2147483647 65327 54 | 0.000 % |
88.80/88.94 c | 65561 | 84942 1789068 5451065 | 2147483647 65561 54 | 0.000 % |
89.01/89.12 c | 65817 | 84942 1789068 5451065 | 2147483647 65817 54 | 0.000 % |
89.20/89.35 c | 66099 | 84942 1789068 5451065 | 2147483647 66099 54 | 0.000 % |
89.50/89.62 c | 66409 | 84942 1789068 5451065 | 2147483647 66409 55 | 0.000 % |
89.70/89.81 c | 66749 | 84942 1789068 5451065 | 2147483647 66749 55 | 0.000 % |
89.90/90.07 c | 67123 | 84942 1789068 5451065 | 2147483647 67123 55 | 0.000 % |
90.40/90.52 c | 67532 | 84942 1789068 5451065 | 2147483647 67532 55 | 0.000 % |
90.70/90.87 c | 67981 | 84942 1789068 5451065 | 2147483647 67981 55 | 0.000 % |
91.20/91.30 c | 68474 | 84942 1789068 5451065 | 2147483647 68474 55 | 0.000 % |
91.50/91.63 c | 69016 | 84942 1789068 5451065 | 2147483647 69016 55 | 0.000 % |
92.31/92.46 c | 69613 | 84942 1789068 5451065 | 2147483647 69613 55 | 0.000 % |
92.70/92.89 c | 70269 | 84942 1789068 5451065 | 2147483647 70269 55 | 0.000 % |
93.31/93.45 c | 70989 | 84942 1789068 5451065 | 2147483647 70989 55 | 0.000 % |
93.60/93.78 c | 71783 | 84942 1789068 5451065 | 2147483647 71783 56 | 0.000 % |
94.20/94.30 c | 72654 | 84942 1789068 5451065 | 2147483647 72654 56 | 0.000 % |
94.30/94.43 c | 72756 | 84942 1789068 5451065 | 2147483647 72756 56 | 0.000 % |
94.41/94.54 c | 72869 | 84942 1789068 5451065 | 2147483647 72869 56 | 0.000 % |
94.51/94.61 c | 72990 | 84942 1789068 5451065 | 2147483647 72990 56 | 0.000 % |
94.60/94.76 c | 73128 | 84942 1789068 5451065 | 2147483647 73128 56 | 0.000 % |
94.80/94.90 c | 73274 | 84942 1789068 5451065 | 2147483647 73274 56 | 0.000 % |
94.80/95.00 c | 73435 | 84942 1789068 5451065 | 2147483647 73435 56 | 0.000 % |
95.00/95.16 c | 73614 | 84942 1789068 5451065 | 2147483647 73614 56 | 0.000 % |
95.20/95.35 c | 73807 | 84942 1789068 5451065 | 2147483647 73807 56 | 0.000 % |
95.40/95.54 c | 74019 | 84942 1789068 5451065 | 2147483647 74019 56 | 0.000 % |
95.80/95.95 c | 74252 | 84942 1789068 5451065 | 2147483647 74252 56 | 0.000 % |
96.00/96.17 c | 74509 | 84942 1789068 5451065 | 2147483647 74509 56 | 0.000 % |
96.39/96.54 c | 74791 | 84942 1789068 5451065 | 2147483647 74791 56 | 0.000 % |
96.60/96.79 c | 75100 | 84942 1789068 5451065 | 2147483647 75100 56 | 0.000 % |
97.09/97.26 c | 75447 | 84942 1789068 5451065 | 2147483647 75447 56 | 0.000 % |
97.70/97.84 c | 75820 | 84942 1789068 5451065 | 2147483647 75820 56 | 0.000 % |
98.09/98.25 c | 76229 | 84942 1789068 5451065 | 2147483647 76229 56 | 0.000 % |
98.39/98.59 c | 76678 | 84942 1789068 5451065 | 2147483647 76678 56 | 0.000 % |
98.99/99.14 c | 77173 | 84942 1789068 5451065 | 2147483647 77173 56 | 0.000 % |
99.40/99.52 c | 77715 | 84942 1789068 5451065 | 2147483647 77715 56 | 0.000 % |
99.90/100.02 c | 78312 | 84942 1789068 5451065 | 2147483647 78312 56 | 0.000 % |
100.20/100.37 c | 78967 | 84942 1789068 5451065 | 2147483647 78967 56 | 0.000 % |
101.00/101.18 c | 79687 | 84942 1789068 5451065 | 2147483647 79687 56 | 0.000 % |
101.69/101.80 c | 80479 | 84942 1789068 5451065 | 2147483647 80479 57 | 0.000 % |
102.10/102.22 c | 81352 | 84942 1789068 5451065 | 2147483647 81352 57 | 0.000 % |
102.89/103.02 c | 82311 | 84942 1789068 5451065 | 2147483647 82311 57 | 0.000 % |
103.09/103.22 c | 82411 | 84942 1789068 5451065 | 2147483647 82411 57 | 0.000 % |
103.20/103.36 c | 82522 | 84942 1789068 5451065 | 2147483647 82522 57 | 0.000 % |
103.49/103.60 c | 82643 | 84942 1789068 5451065 | 2147483647 82643 57 | 0.000 % |
103.69/103.82 c | 82776 | 84942 1789068 5451065 | 2147483647 82776 57 | 0.000 % |
103.79/103.96 c | 82922 | 84942 1789068 5451065 | 2147483647 82922 57 | 0.000 % |
103.89/104.10 c | 83082 | 84942 1789068 5451065 | 2147483647 83082 57 | 0.000 % |
104.19/104.35 c | 83260 | 84942 1789068 5451065 | 2147483647 83260 57 | 0.000 % |
104.40/104.54 c | 83453 | 84942 1789068 5451065 | 2147483647 83453 57 | 0.000 % |
104.59/104.71 c | 83667 | 84942 1789068 5451065 | 2147483647 83667 57 | 0.000 % |
104.79/104.98 c | 83900 | 84942 1789068 5451065 | 2147483647 83900 57 | 0.000 % |
105.19/105.35 c | 84157 | 84942 1789068 5451065 | 2147483647 84157 57 | 0.000 % |
105.40/105.57 c | 84439 | 84942 1789068 5451065 | 2147483647 84439 57 | 0.000 % |
105.69/105.81 c | 84749 | 84942 1789068 5451065 | 2147483647 84749 57 | 0.000 % |
106.09/106.25 c | 85088 | 84942 1789068 5451065 | 2147483647 85088 57 | 0.000 % |
106.49/106.65 c | 85462 | 84942 1789068 5451065 | 2147483647 85462 58 | 0.000 % |
106.69/106.89 c | 85872 | 84942 1789068 5451065 | 2147483647 85872 58 | 0.000 % |
106.99/107.15 c | 86323 | 84942 1789068 5451065 | 2147483647 86323 58 | 0.000 % |
107.39/107.60 c | 86819 | 84942 1789068 5451065 | 2147483647 86819 58 | 0.000 % |
107.99/108.13 c | 87362 | 84942 1789068 5451065 | 2147483647 87362 58 | 0.000 % |
108.29/108.48 c | 87959 | 84942 1789068 5451065 | 2147483647 87959 58 | 0.000 % |
108.79/108.93 c | 88614 | 84942 1789068 5451065 | 2147483647 88614 58 | 0.000 % |
109.29/109.46 c | 89335 | 84942 1789068 5451065 | 2147483647 89335 59 | 0.000 % |
109.89/110.01 c | 90127 | 84942 1789068 5451065 | 2147483647 90127 59 | 0.000 % |
110.59/110.71 c | 90998 | 84942 1789068 5451065 | 2147483647 90998 59 | 0.000 % |
111.28/111.47 c | 91957 | 84942 1789068 5451065 | 2147483647 91957 59 | 0.000 % |
111.99/112.15 c | 93010 | 84942 1789068 5451065 | 2147483647 93010 60 | 0.000 % |
112.18/112.35 c | 93110 | 84942 1789068 5451065 | 2147483647 93110 60 | 0.000 % |
112.28/112.46 c | 93221 | 84942 1789068 5451065 | 2147483647 93221 60 | 0.000 % |
112.59/112.74 c | 93342 | 84942 1789068 5451065 | 2147483647 93342 60 | 0.000 % |
112.79/112.94 c | 93475 | 84942 1789068 5451065 | 2147483647 93475 60 | 0.000 % |
113.09/113.20 c | 93621 | 84942 1789068 5451065 | 2147483647 93621 60 | 0.000 % |
113.19/113.37 c | 93782 | 84942 1789068 5451065 | 2147483647 93782 60 | 0.000 % |
113.28/113.49 c | 93959 | 84942 1789068 5451065 | 2147483647 93959 60 | 0.000 % |
113.38/113.56 c | 94152 | 84942 1789068 5451065 | 2147483647 94152 60 | 0.000 % |
113.58/113.78 c | 94371 | 84942 1789068 5451065 | 2147483647 94371 60 | 0.000 % |
113.78/113.97 c | 94605 | 84942 1789068 5451065 | 2147483647 94605 60 | 0.000 % |
113.98/114.15 c | 94861 | 84942 1789068 5451065 | 2147483647 94861 60 | 0.000 % |
114.19/114.38 c | 95145 | 84942 1789068 5451065 | 2147483647 95145 60 | 0.000 % |
114.48/114.65 c | 95454 | 84942 1789068 5451065 | 2147483647 95454 60 | 0.000 % |
114.88/115.02 c | 95797 | 84942 1789068 5451065 | 2147483647 95797 60 | 0.000 % |
115.08/115.26 c | 96171 | 84942 1789068 5451065 | 2147483647 96171 60 | 0.000 % |
115.29/115.42 c | 96580 | 84942 1789068 5451065 | 2147483647 96580 60 | 0.000 % |
115.59/115.77 c | 97029 | 84942 1789068 5451065 | 2147483647 97029 60 | 0.000 % |
116.09/116.22 c | 97524 | 84942 1789068 5451065 | 2147483647 97524 60 | 0.000 % |
116.49/116.63 c | 98066 | 84942 1789068 5451065 | 2147483647 98066 61 | 0.000 % |
117.09/117.26 c | 98662 | 84942 1789068 5451065 | 2147483647 98662 61 | 0.000 % |
117.49/117.62 c | 99317 | 84942 1789068 5451065 | 2147483647 99317 61 | 0.000 % |
118.19/118.39 c | 100038 | 84942 1789068 5451065 | 2147483647 100038 61 | 0.000 % |
119.59/119.71 c | 100830 | 84942 1789068 5451065 | 2147483647 100830 61 | 0.000 % |
120.19/120.34 c | 101701 | 84942 1789068 5451065 | 2147483647 101701 61 | 0.000 % |
121.29/121.40 c | 102662 | 84942 1789068 5451065 | 2147483647 102662 62 | 0.000 % |
122.18/122.40 c | 103715 | 84942 1789068 5451065 | 2147483647 103715 62 | 0.000 % |
122.98/123.15 c | 104873 | 84942 1789068 5451065 | 2147483647 104873 62 | 0.000 % |
123.08/123.26 c | 104973 | 84942 1789068 5451065 | 2147483647 104973 62 | 0.000 % |
123.18/123.37 c | 105087 | 84942 1789068 5451065 | 2147483647 105087 62 | 0.000 % |
123.48/123.61 c | 105211 | 84942 1789068 5451065 | 2147483647 105211 62 | 0.000 % |
123.58/123.75 c | 105345 | 84942 1789068 5451065 | 2147483647 105345 62 | 0.000 % |
123.98/124.15 c | 105492 | 84942 1789068 5451065 | 2147483647 105492 62 | 0.000 % |
124.08/124.29 c | 105652 | 84942 1789068 5451065 | 2147483647 105652 62 | 0.000 % |
124.28/124.45 c | 105828 | 84942 1789068 5451065 | 2147483647 105828 62 | 0.000 % |
124.38/124.59 c | 106024 | 84942 1789068 5451065 | 2147483647 106024 62 | 0.000 % |
124.88/125.04 c | 106236 | 84942 1789068 5451065 | 2147483647 106236 62 | 0.000 % |
124.98/125.18 c | 106471 | 84942 1789068 5451065 | 2147483647 106471 62 | 0.000 % |
125.38/125.51 c | 106727 | 84942 1789068 5451065 | 2147483647 106727 62 | 0.000 % |
126.18/126.34 c | 107010 | 84942 1789068 5451065 | 2147483647 107010 62 | 0.000 % |
127.28/127.43 c | 107319 | 84942 1789068 5451065 | 2147483647 107319 62 | 0.000 % |
127.88/128.02 c | 107658 | 84942 1789068 5451065 | 2147483647 107658 62 | 0.000 % |
128.38/128.51 c | 108031 | 84942 1789068 5451065 | 2147483647 108031 62 | 0.000 % |
129.38/129.51 c | 108442 | 84942 1789068 5451065 | 2147483647 108442 62 | 0.000 % |
129.98/130.13 c | 108892 | 84942 1789068 5451065 | 2147483647 108892 62 | 0.000 % |
130.38/130.58 c | 109386 | 84942 1789068 5451065 | 2147483647 109386 62 | 0.000 % |
130.87/131.02 c | 109928 | 84942 1789068 5451065 | 2147483647 109928 62 | 0.000 % |
131.97/132.13 c | 110524 | 84942 1789068 5451065 | 2147483647 110524 62 | 0.000 % |
132.67/132.86 c | 111179 | 84942 1789068 5451065 | 2147483647 111179 62 | 0.000 % |
133.27/133.49 c | 111901 | 84942 1789068 5451065 | 2147483647 111901 62 | 0.000 % |
134.38/134.60 c | 112693 | 84942 1789068 5451065 | 2147483647 112693 62 | 0.000 % |
135.28/135.42 c | 113565 | 84942 1789068 5451065 | 2147483647 113565 62 | 0.000 % |
136.08/136.26 c | 114525 | 84942 1789068 5451065 | 2147483647 114525 62 | 0.000 % |
137.28/137.45 c | 115578 | 84942 1789068 5451065 | 2147483647 115578 62 | 0.000 % |
138.38/138.59 c | 116736 | 84942 1789068 5451065 | 2147483647 116736 63 | 0.000 % |
140.07/140.30 c | 118010 | 84942 1789068 5451065 | 2147483647 118010 62 | 0.000 % |
140.27/140.43 c | 118110 | 84942 1789068 5451065 | 2147483647 118110 62 | 0.000 % |
140.37/140.58 c | 118220 | 84942 1789068 5451065 | 2147483647 118220 62 | 0.000 % |
140.57/140.72 c | 118341 | 84942 1789068 5451065 | 2147483647 118341 62 | 0.000 % |
140.77/140.92 c | 118475 | 84942 1789068 5451065 | 2147483647 118475 62 | 0.000 % |
140.97/141.13 c | 118622 | 84942 1789068 5451065 | 2147483647 118622 62 | 0.000 % |
141.07/141.27 c | 118784 | 84942 1789068 5451065 | 2147483647 118784 62 | 0.000 % |
141.27/141.45 c | 118960 | 84942 1789068 5451065 | 2147483647 118960 62 | 0.000 % |
141.47/141.66 c | 119154 | 84942 1789068 5451065 | 2147483647 119154 62 | 0.000 % |
141.67/141.81 c | 119369 | 84942 1789068 5451065 | 2147483647 119369 62 | 0.000 % |
141.78/141.97 c | 119603 | 84942 1789068 5451065 | 2147483647 119603 62 | 0.000 % |
142.18/142.32 c | 119859 | 84942 1789068 5451065 | 2147483647 119859 62 | 0.000 % |
142.38/142.52 c | 120140 | 84942 1789068 5451065 | 2147483647 120140 62 | 0.000 % |
142.78/142.91 c | 120451 | 84942 1789068 5451065 | 2147483647 120451 62 | 0.000 % |
142.98/143.14 c | 120790 | 84942 1789068 5451065 | 2147483647 120790 62 | 0.000 % |
143.38/143.51 c | 121164 | 84942 1789068 5451065 | 2147483647 121164 62 | 0.000 % |
143.67/143.81 c | 121573 | 84942 1789068 5451065 | 2147483647 121573 63 | 0.000 % |
144.07/144.22 c | 122022 | 84942 1789068 5451065 | 2147483647 122022 63 | 0.000 % |
144.47/144.65 c | 122519 | 84942 1789068 5451065 | 2147483647 122519 63 | 0.000 % |
144.97/145.15 c | 123061 | 84942 1789068 5451065 | 2147483647 123061 63 | 0.000 % |
145.47/145.61 c | 123661 | 84942 1789068 5451065 | 2147483647 123661 63 | 0.000 % |
145.87/146.05 c | 124317 | 84942 1789068 5451065 | 2147483647 124317 63 | 0.000 % |
146.37/146.54 c | 125037 | 84942 1789068 5451065 | 2147483647 125037 63 | 0.000 % |
146.87/147.08 c | 125834 | 84942 1789068 5451065 | 2147483647 125834 64 | 0.000 % |
147.47/147.62 c | 126705 | 84942 1789068 5451065 | 2147483647 126705 64 | 0.000 % |
148.07/148.26 c | 127663 | 84942 1789068 5451065 | 2147483647 127663 64 | 0.000 % |
149.07/149.20 c | 128716 | 84942 1789068 5451065 | 2147483647 128716 64 | 0.000 % |
149.77/149.97 c | 129875 | 84942 1789068 5451065 | 2147483647 129875 64 | 0.000 % |
150.97/151.12 c | 131148 | 84942 1789068 5451065 | 2147483647 131148 64 | 0.000 % |
152.07/152.21 c | 132548 | 84942 1789068 5451065 | 2147483647 132548 64 | 0.000 % |
152.17/152.39 c | 132648 | 84942 1789068 5451065 | 2147483647 132648 64 | 0.000 % |
152.37/152.53 c | 132758 | 84942 1789068 5451065 | 2147483647 132758 64 | 0.000 % |
152.47/152.68 c | 132882 | 84942 1789068 5451065 | 2147483647 132882 64 | 0.000 % |
152.67/152.83 c | 133018 | 84942 1789068 5451065 | 2147483647 133018 64 | 0.000 % |
152.77/152.97 c | 133167 | 84942 1789068 5451065 | 2147483647 133167 64 | 0.000 % |
152.97/153.16 c | 133327 | 84942 1789068 5451065 | 2147483647 133327 64 | 0.000 % |
153.17/153.32 c | 133504 | 84942 1789068 5451065 | 2147483647 133504 64 | 0.000 % |
153.37/153.58 c | 133697 | 84942 1789068 5451065 | 2147483647 133697 64 | 0.000 % |
153.57/153.78 c | 133911 | 84942 1789068 5451065 | 2147483647 133911 64 | 0.000 % |
153.97/154.11 c | 134147 | 84942 1789068 5451065 | 2147483647 134147 64 | 0.000 % |
154.17/154.38 c | 134403 | 84942 1789068 5451065 | 2147483647 134403 64 | 0.000 % |
154.57/154.71 c | 134684 | 84942 1789068 5451065 | 2147483647 134684 64 | 0.000 % |
154.87/155.03 c | 134997 | 84942 1789068 5451065 | 2147483647 134997 65 | 0.000 % |
155.27/155.47 c | 135336 | 84942 1789068 5451065 | 2147483647 135336 64 | 0.000 % |
155.97/156.12 c | 135708 | 84942 1789068 5451065 | 2147483647 135708 64 | 0.000 % |
156.46/156.64 c | 136119 | 84942 1789068 5451065 | 2147483647 136119 64 | 0.000 % |
156.86/157.06 c | 136568 | 84942 1789068 5451065 | 2147483647 136568 64 | 0.000 % |
157.46/157.64 c | 137061 | 84942 1789068 5451065 | 2147483647 137061 64 | 0.000 % |
158.76/158.98 c | 137605 | 84942 1789068 5451065 | 2147483647 137605 64 | 0.000 % |
159.46/159.62 c | 138201 | 84942 1789068 5451065 | 2147483647 138201 64 | 0.000 % |
160.47/160.68 c | 138857 | 84942 1789068 5451065 | 2147483647 138857 64 | 0.000 % |
160.96/161.14 c | 139578 | 84942 1789068 5451065 | 2147483647 139578 64 | 0.000 % |
162.37/162.52 c | 140370 | 84942 1789068 5451065 | 2147483647 140370 64 | 0.000 % |
163.27/163.47 c | 141242 | 84942 1789068 5451065 | 2147483647 141242 64 | 0.000 % |
163.97/164.12 c | 142200 | 84942 1789068 5451065 | 2147483647 142200 64 | 0.000 % |
164.77/164.98 c | 143253 | 84942 1789068 5451065 | 2147483647 143253 64 | 0.000 % |
165.56/165.77 c | 144412 | 84942 1789068 5451065 | 2147483647 144412 65 | 0.000 % |
166.76/166.91 c | 145685 | 84942 1789068 5451065 | 2147483647 145685 65 | 0.000 % |
167.46/167.62 c | 147090 | 84942 1789068 5451065 | 2147483647 147090 65 | 0.000 % |
168.76/168.90 c | 148630 | 84942 1789068 5451065 | 2147483647 148630 65 | 0.000 % |
168.86/169.06 c | 148730 | 84942 1789068 5451065 | 2147483647 148730 65 | 0.000 % |
169.06/169.26 c | 148840 | 84942 1789068 5451065 | 2147483647 148840 65 | 0.000 % |
169.26/169.43 c | 148961 | 84942 1789068 5451065 | 2147483647 148961 65 | 0.000 % |
169.46/169.66 c | 149094 | 84942 1789068 5451065 | 2147483647 149094 65 | 0.000 % |
169.66/169.83 c | 149240 | 84942 1789068 5451065 | 2147483647 149240 65 | 0.000 % |
169.76/169.98 c | 149400 | 84942 1789068 5451065 | 2147483647 149400 65 | 0.000 % |
169.96/170.16 c | 149576 | 84942 1789068 5451065 | 2147483647 149576 65 | 0.000 % |
170.36/170.51 c | 149769 | 84942 1789068 5451065 | 2147483647 149769 65 | 0.000 % |
171.06/171.21 c | 149981 | 84942 1789068 5451065 | 2147483647 149981 65 | 0.000 % |
171.26/171.48 c | 150216 | 84942 1789068 5451065 | 2147483647 150216 65 | 0.000 % |
171.86/172.07 c | 150473 | 84942 1789068 5451065 | 2147483647 150473 65 | 0.000 % |
172.56/172.72 c | 150756 | 84942 1789068 5451065 | 2147483647 150756 65 | 0.000 % |
173.36/173.56 c | 151065 | 84942 1789068 5451065 | 2147483647 151065 65 | 0.000 % |
173.57/173.78 c | 151406 | 84942 1789068 5451065 | 2147483647 151406 65 | 0.000 % |
174.06/174.26 c | 151778 | 84942 1789068 5451065 | 2147483647 151778 65 | 0.000 % |
174.67/174.86 c | 152187 | 84942 1789068 5451065 | 2147483647 152187 65 | 0.000 % |
174.96/175.19 c | 152636 | 84942 1789068 5451065 | 2147483647 152636 65 | 0.000 % |
175.76/175.93 c | 153129 | 84942 1789068 5451065 | 2147483647 153129 66 | 0.000 % |
176.16/176.35 c | 153671 | 84942 1789068 5451065 | 2147483647 153671 66 | 0.000 % |
176.76/176.91 c | 154267 | 84942 1789068 5451065 | 2147483647 154267 66 | 0.000 % |
177.26/177.45 c | 154923 | 84942 1789068 5451065 | 2147483647 154923 66 | 0.000 % |
177.86/178.05 c | 155643 | 84942 1789068 5451065 | 2147483647 155643 66 | 0.000 % |
178.56/178.70 c | 156436 | 84942 1789068 5451065 | 2147483647 156436 66 | 0.000 % |
179.26/179.46 c | 157307 | 84942 1789068 5451065 | 2147483647 157307 66 | 0.000 % |
180.16/180.30 c | 158265 | 84942 1789068 5451065 | 2147483647 158265 66 | 0.000 % |
181.05/181.22 c | 159319 | 84942 1789068 5451065 | 2147483647 159319 66 | 0.000 % |
181.65/181.80 c | 160477 | 84942 1789068 5451065 | 2147483647 160477 66 | 0.000 % |
182.66/182.88 c | 161751 | 84942 1789068 5451065 | 2147483647 161751 66 | 0.000 % |
184.16/184.35 c | 163151 | 84942 1789068 5451065 | 2147483647 163151 66 | 0.000 % |
185.35/185.50 c | 164692 | 84942 1789068 5451065 | 2147483647 164692 66 | 0.000 % |
186.95/187.12 c | 166386 | 84942 1789068 5451065 | 2147483647 166386 66 | 0.000 % |
187.05/187.23 c | 166490 | 84942 1789068 5451065 | 2147483647 166490 66 | 0.000 % |
187.15/187.37 c | 166600 | 84942 1789068 5451065 | 2147483647 166600 66 | 0.000 % |
187.25/187.45 c | 166721 | 84942 1789068 5451065 | 2147483647 166721 66 | 0.000 % |
187.45/187.61 c | 166854 | 84942 1789068 5451065 | 2147483647 166854 66 | 0.000 % |
187.65/187.87 c | 167000 | 84942 1789068 5451065 | 2147483647 167000 66 | 0.000 % |
187.95/188.16 c | 167160 | 84942 1789068 5451065 | 2147483647 167160 66 | 0.000 % |
188.15/188.34 c | 167337 | 84942 1789068 5451065 | 2147483647 167337 66 | 0.000 % |
188.46/188.61 c | 167530 | 84942 1789068 5451065 | 2147483647 167530 66 | 0.000 % |
188.66/188.89 c | 167742 | 84942 1789068 5451065 | 2147483647 167742 66 | 0.000 % |
188.96/189.13 c | 167976 | 84942 1789068 5451065 | 2147483647 167976 66 | 0.000 % |
189.25/189.40 c | 168232 | 84942 1789068 5451065 | 2147483647 168232 66 | 0.000 % |
189.56/189.73 c | 168513 | 84942 1789068 5451065 | 2147483647 168513 66 | 0.000 % |
189.95/190.11 c | 168822 | 84942 1789068 5451065 | 2147483647 168822 66 | 0.000 % |
190.25/190.43 c | 169162 | 84942 1789068 5451065 | 2147483647 169162 66 | 0.000 % |
190.45/190.64 c | 169534 | 84942 1789068 5451065 | 2147483647 169534 66 | 0.000 % |
190.85/191.00 c | 169943 | 84942 1789068 5451065 | 2147483647 169943 66 | 0.000 % |
191.26/191.44 c | 170392 | 84942 1789068 5451065 | 2147483647 170392 66 | 0.000 % |
191.75/191.93 c | 170889 | 84942 1789068 5451065 | 2147483647 170889 66 | 0.000 % |
192.15/192.38 c | 171431 | 84942 1789068 5451065 | 2147483647 171431 66 | 0.000 % |
192.55/192.76 c | 172027 | 84942 1789068 5451065 | 2147483647 172027 66 | 0.000 % |
193.15/193.35 c | 172683 | 84942 1789068 5451065 | 2147483647 172683 66 | 0.000 % |
193.75/193.93 c | 173403 | 84942 1789068 5451065 | 2147483647 173403 66 | 0.000 % |
194.45/194.70 c | 174195 | 84942 1789068 5451065 | 2147483647 174195 66 | 0.000 % |
195.25/195.44 c | 175066 | 84942 1789068 5451065 | 2147483647 175066 66 | 0.000 % |
195.95/196.16 c | 176026 | 84942 1789068 5451065 | 2147483647 176026 67 | 0.000 % |
196.75/196.95 c | 177079 | 84942 1789068 5451065 | 2147483647 177079 67 | 0.000 % |
197.65/197.85 c | 178238 | 84942 1789068 5451065 | 2147483647 178238 67 | 0.000 % |
198.75/198.97 c | 179511 | 84942 1789068 5451065 | 2147483647 179511 67 | 0.000 % |
199.95/200.19 c | 180911 | 84942 1789068 5451065 | 2147483647 180911 67 | 0.000 % |
201.44/201.63 c | 182452 | 84942 1789068 5451065 | 2147483647 182452 67 | 0.000 % |
202.95/203.19 c | 184147 | 84942 1789068 5451065 | 2147483647 184147 67 | 0.000 % |
204.15/204.32 c | 186010 | 84942 1789068 5451065 | 2147483647 186010 66 | 0.000 % |
204.35/204.51 c | 186110 | 84942 1789068 5451065 | 2147483647 186110 66 | 0.000 % |
204.45/204.64 c | 186220 | 84942 1789068 5451065 | 2147483647 186220 66 | 0.000 % |
204.65/204.82 c | 186342 | 84942 1789068 5451065 | 2147483647 186342 66 | 0.000 % |
204.75/204.98 c | 186476 | 84942 1789068 5451065 | 2147483647 186476 66 | 0.000 % |
204.95/205.18 c | 186625 | 84942 1789068 5451065 | 2147483647 186625 66 | 0.000 % |
205.15/205.34 c | 186785 | 84942 1789068 5451065 | 2147483647 186785 66 | 0.000 % |
205.35/205.50 c | 186961 | 84942 1789068 5451065 | 2147483647 186961 66 | 0.000 % |
205.45/205.70 c | 187154 | 84942 1789068 5451065 | 2147483647 187154 66 | 0.000 % |
205.65/205.89 c | 187366 | 84942 1789068 5451065 | 2147483647 187366 66 | 0.000 % |
205.85/206.08 c | 187599 | 84942 1789068 5451065 | 2147483647 187599 66 | 0.000 % |
206.15/206.31 c | 187855 | 84942 1789068 5451065 | 2147483647 187855 66 | 0.000 % |
206.45/206.61 c | 188136 | 84942 1789068 5451065 | 2147483647 188136 66 | 0.000 % |
206.65/206.88 c | 188445 | 84942 1789068 5451065 | 2147483647 188445 66 | 0.000 % |
207.05/207.28 c | 188785 | 84942 1789068 5451065 | 2147483647 188785 66 | 0.000 % |
207.55/207.72 c | 189157 | 84942 1789068 5451065 | 2147483647 189157 66 | 0.000 % |
207.85/208.03 c | 189568 | 84942 1789068 5451065 | 2147483647 189568 66 | 0.000 % |
208.34/208.51 c | 190017 | 84942 1789068 5451065 | 2147483647 190017 66 | 0.000 % |
208.94/209.14 c | 190510 | 84942 1789068 5451065 | 2147483647 190510 66 | 0.000 % |
209.44/209.67 c | 191052 | 84942 1789068 5451065 | 2147483647 191052 66 | 0.000 % |
210.04/210.22 c | 191648 | 84942 1789068 5451065 | 2147483647 191648 66 | 0.000 % |
210.54/210.76 c | 192303 | 84942 1789068 5451065 | 2147483647 192303 66 | 0.000 % |
211.14/211.32 c | 193023 | 84942 1789068 5451065 | 2147483647 193023 66 | 0.000 % |
211.84/212.04 c | 193816 | 84942 1789068 5451065 | 2147483647 193816 66 | 0.000 % |
212.34/212.58 c | 194689 | 84942 1789068 5451065 | 2147483647 194689 66 | 0.000 % |
213.34/213.59 c | 195647 | 84942 1789068 5451065 | 2147483647 195647 66 | 0.000 % |
214.14/214.35 c | 196700 | 84942 1789068 5451065 | 2147483647 196700 65 | 0.000 % |
214.94/215.16 c | 197860 | 84942 1789068 5451065 | 2147483647 197860 65 | 0.000 % |
216.34/216.53 c | 199136 | 84942 1789068 5451065 | 2147483647 199136 65 | 0.000 % |
217.54/217.75 c | 200536 | 84942 1789068 5451065 | 2147483647 200536 65 | 0.000 % |
218.84/219.07 c | 202076 | 84942 1789068 5451065 | 2147483647 202076 65 | 0.000 % |
220.34/220.57 c | 203773 | 84942 1789068 5451065 | 2147483647 203773 65 | 0.000 % |
222.04/222.29 c | 205637 | 84942 1789068 5451065 | 2147483647 205637 65 | 0.000 % |
224.24/224.45 c | 207686 | 84942 1789068 5451065 | 2147483647 207686 65 | 0.000 % |
224.34/224.54 c | 207787 | 84942 1789068 5451065 | 2147483647 207787 64 | 0.000 % |
224.54/224.72 c | 207897 | 84942 1789068 5451065 | 2147483647 207897 64 | 0.000 % |
224.64/224.87 c | 208018 | 84942 1789068 5451065 | 2147483647 208018 64 | 0.000 % |
224.84/225.08 c | 208153 | 84942 1789068 5451065 | 2147483647 208153 64 | 0.000 % |
225.03/225.27 c | 208300 | 84942 1789068 5451065 | 2147483647 208300 64 | 0.000 % |
225.24/225.47 c | 208461 | 84942 1789068 5451065 | 2147483647 208461 64 | 0.000 % |
225.43/225.66 c | 208637 | 84942 1789068 5451065 | 2147483647 208637 64 | 0.000 % |
225.73/225.90 c | 208832 | 84942 1789068 5451065 | 2147483647 208832 64 | 0.000 % |
225.93/226.12 c | 209046 | 84942 1789068 5451065 | 2147483647 209046 64 | 0.000 % |
226.13/226.37 c | 209279 | 84942 1789068 5451065 | 2147483647 209279 64 | 0.000 % |
226.53/226.79 c | 209535 | 84942 1789068 5451065 | 2147483647 209535 64 | 0.000 % |
226.93/227.15 c | 209816 | 84942 1789068 5451065 | 2147483647 209816 64 | 0.000 % |
227.33/227.59 c | 210126 | 84942 1789068 5451065 | 2147483647 210126 64 | 0.000 % |
227.63/227.89 c | 210465 | 84942 1789068 5451065 | 2147483647 210465 64 | 0.000 % |
228.13/228.31 c | 210838 | 84942 1789068 5451065 | 2147483647 210838 64 | 0.000 % |
228.43/228.63 c | 211248 | 84942 1789068 5451065 | 2147483647 211248 64 | 0.000 % |
229.23/229.44 c | 211698 | 84942 1789068 5451065 | 2147483647 211698 64 | 0.000 % |
229.53/229.78 c | 212191 | 84942 1789068 5451065 | 2147483647 212191 64 | 0.000 % |
230.14/230.39 c | 212735 | 84942 1789068 5451065 | 2147483647 212735 64 | 0.000 % |
230.84/231.10 c | 213332 | 84942 1789068 5451065 | 2147483647 213332 64 | 0.000 % |
231.54/231.79 c | 213988 | 84942 1789068 5451065 | 2147483647 213988 64 | 0.000 % |
232.44/232.60 c | 214708 | 84942 1789068 5451065 | 2147483647 214708 64 | 0.000 % |
233.04/233.28 c | 215500 | 84942 1789068 5451065 | 2147483647 215500 64 | 0.000 % |
234.33/234.53 c | 216372 | 84942 1789068 5451065 | 2147483647 216372 64 | 0.000 % |
235.63/235.85 c | 217330 | 84942 1789068 5451065 | 2147483647 217330 64 | 0.000 % |
236.53/236.79 c | 218392 | 84942 1789068 5451065 | 2147483647 218392 64 | 0.000 % |
237.13/237.35 c | 219550 | 84942 1789068 5451065 | 2147483647 219550 64 | 0.000 % |
238.43/238.67 c | 220824 | 84942 1789068 5451065 | 2147483647 220824 64 | 0.000 % |
239.63/239.82 c | 222225 | 84942 1789068 5451065 | 2147483647 222225 64 | 0.000 % |
241.13/241.36 c | 223767 | 84942 1789068 5451065 | 2147483647 223767 64 | 0.000 % |
242.63/242.85 c | 225462 | 84942 1789068 5451065 | 2147483647 225462 64 | 0.000 % |
244.33/244.51 c | 227325 | 84942 1789068 5451065 | 2147483647 227325 64 | 0.000 % |
246.52/246.75 c | 229374 | 84942 1789068 5451065 | 2147483647 229374 64 | 0.000 % |
248.83/249.09 c | 231627 | 84942 1789068 5451065 | 2147483647 231627 64 | 0.000 % |
249.03/249.29 c | 231728 | 84942 1789068 5451065 | 2147483647 231728 64 | 0.000 % |
249.23/249.46 c | 231840 | 84942 1789068 5451065 | 2147483647 231840 64 | 0.000 % |
249.43/249.65 c | 231961 | 84942 1789068 5451065 | 2147483647 231961 64 | 0.000 % |
249.63/249.82 c | 232096 | 84942 1789068 5451065 | 2147483647 232096 64 | 0.000 % |
249.83/250.05 c | 232245 | 84942 1789068 5451065 | 2147483647 232245 64 | 0.000 % |
250.43/250.63 c | 232405 | 84942 1789068 5451065 | 2147483647 232405 64 | 0.000 % |
250.63/250.85 c | 232581 | 84942 1789068 5451065 | 2147483647 232581 64 | 0.000 % |
251.03/251.20 c | 232774 | 84942 1789068 5451065 | 2147483647 232774 64 | 0.000 % |
251.23/251.48 c | 232987 | 84942 1789068 5451065 | 2147483647 232987 64 | 0.000 % |
251.63/251.84 c | 233220 | 84942 1789068 5451065 | 2147483647 233220 64 | 0.000 % |
251.92/252.15 c | 233476 | 84942 1789068 5451065 | 2147483647 233476 64 | 0.000 % |
252.32/252.58 c | 233758 | 84942 1789068 5451065 | 2147483647 233758 64 | 0.000 % |
252.62/252.88 c | 234067 | 84942 1789068 5451065 | 2147483647 234067 64 | 0.000 % |
253.22/253.44 c | 234406 | 84942 1789068 5451065 | 2147483647 234406 64 | 0.000 % |
253.72/253.99 c | 234778 | 84942 1789068 5451065 | 2147483647 234778 64 | 0.000 % |
254.12/254.38 c | 235187 | 84942 1789068 5451065 | 2147483647 235187 64 | 0.000 % |
254.72/254.96 c | 235636 | 84942 1789068 5451065 | 2147483647 235636 64 | 0.000 % |
255.32/255.58 c | 236129 | 84942 1789068 5451065 | 2147483647 236129 64 | 0.000 % |
255.92/256.10 c | 236672 | 84942 1789068 5451065 | 2147483647 236672 64 | 0.000 % |
256.62/256.88 c | 237269 | 84942 1789068 5451065 | 2147483647 237269 64 | 0.000 % |
257.32/257.55 c | 237924 | 84942 1789068 5451065 | 2147483647 237924 64 | 0.000 % |
258.02/258.28 c | 238645 | 84942 1789068 5451065 | 2147483647 238645 64 | 0.000 % |
258.72/258.91 c | 239437 | 84942 1789068 5451065 | 2147483647 239437 64 | 0.000 % |
259.62/259.81 c | 240308 | 84942 1789068 5451065 | 2147483647 240308 64 | 0.000 % |
260.32/260.55 c | 241266 | 84942 1789068 5451065 | 2147483647 241266 64 | 0.000 % |
261.43/261.66 c | 242320 | 84942 1789068 5451065 | 2147483647 242320 64 | 0.000 % |
262.63/262.83 c | 243479 | 84942 1789068 5451065 | 2147483647 243479 64 | 0.000 % |
264.02/264.23 c | 244752 | 84942 1789068 5451065 | 2147483647 244752 64 | 0.000 % |
265.32/265.58 c | 246153 | 84942 1789068 5451065 | 2147483647 246153 64 | 0.000 % |
266.92/267.11 c | 247693 | 84942 1789068 5451065 | 2147483647 247693 64 | 0.000 % |
268.02/268.27 c | 249388 | 84942 1789068 5451065 | 2147483647 249388 64 | 0.000 % |
269.92/270.14 c | 251251 | 84942 1789068 5451065 | 2147483647 251251 64 | 0.000 % |
272.11/272.34 c | 253301 | 84942 1789068 5451065 | 2147483647 253301 64 | 0.000 % |
274.72/274.93 c | 255554 | 84942 1789068 5451065 | 2147483647 255554 64 | 0.000 % |
279.02/279.27 c | 258032 | 84942 1789068 5451065 | 2147483647 258032 64 | 0.000 % |
279.32/279.53 c | 258132 | 84942 1789068 5451065 | 2147483647 258132 64 | 0.000 % |
279.52/279.76 c | 258246 | 84942 1789068 5451065 | 2147483647 258246 64 | 0.000 % |
279.72/279.95 c | 258367 | 84942 1789068 5451065 | 2147483647 258367 64 | 0.000 % |
279.92/280.15 c | 258501 | 84942 1789068 5451065 | 2147483647 258501 64 | 0.000 % |
280.22/280.45 c | 258647 | 84942 1789068 5451065 | 2147483647 258647 64 | 0.000 % |
280.42/280.68 c | 258807 | 84942 1789068 5451065 | 2147483647 258807 64 | 0.000 % |
280.62/280.87 c | 258983 | 84942 1789068 5451065 | 2147483647 258983 64 | 0.000 % |
280.92/281.12 c | 259177 | 84942 1789068 5451065 | 2147483647 259177 64 | 0.000 % |
281.22/281.42 c | 259390 | 84942 1789068 5451065 | 2147483647 259390 64 | 0.000 % |
281.42/281.64 c | 259625 | 84942 1789068 5451065 | 2147483647 259625 64 | 0.000 % |
281.72/281.94 c | 259883 | 84942 1789068 5451065 | 2147483647 259883 64 | 0.000 % |
282.22/282.43 c | 260164 | 84942 1789068 5451065 | 2147483647 260164 64 | 0.000 % |
282.52/282.74 c | 260473 | 84942 1789068 5451065 | 2147483647 260473 64 | 0.000 % |
283.01/283.29 c | 260812 | 84942 1789068 5451065 | 2147483647 260812 64 | 0.000 % |
283.52/283.79 c | 261185 | 84942 1789068 5451065 | 2147483647 261185 64 | 0.000 % |
284.01/284.22 c | 261594 | 84942 1789068 5451065 | 2147483647 261594 64 | 0.000 % |
284.62/284.86 c | 262043 | 84942 1789068 5451065 | 2147483647 262043 64 | 0.000 % |
285.51/285.70 c | 262537 | 84942 1789068 5451065 | 2147483647 262537 64 | 0.000 % |
286.41/286.65 c | 263079 | 84942 1789068 5451065 | 2147483647 263079 63 | 0.000 % |
287.21/287.48 c | 263680 | 84942 1789068 5451065 | 2147483647 263680 64 | 0.000 % |
288.02/288.21 c | 264335 | 84942 1789068 5451065 | 2147483647 264335 64 | 0.000 % |
288.62/288.83 c | 265055 | 84942 1789068 5451065 | 2147483647 265055 64 | 0.000 % |
289.72/289.99 c | 265848 | 84942 1789068 5451065 | 2147483647 265848 64 | 0.000 % |
290.61/290.82 c | 266720 | 84942 1789068 5451065 | 2147483647 266720 64 | 0.000 % |
291.81/292.00 c | 267680 | 84942 1789068 5451065 | 2147483647 267680 63 | 0.000 % |
292.91/293.20 c | 268737 | 84942 1789068 5451065 | 2147483647 268737 63 | 0.000 % |
294.11/294.39 c | 269896 | 84942 1789068 5451065 | 2147483647 269896 63 | 0.000 % |
295.21/295.48 c | 271170 | 84942 1789068 5451065 | 2147483647 271170 63 | 0.000 % |
296.81/297.09 c | 272570 | 84942 1789068 5451065 | 2147483647 272570 63 | 0.000 % |
298.81/299.01 c | 274114 | 84942 1789068 5451065 | 2147483647 274114 64 | 0.000 % |
300.51/300.79 c | 275808 | 84942 1789068 5451065 | 2147483647 275808 64 | 0.000 % |
302.71/302.90 c | 277671 | 84942 1789068 5451065 | 2147483647 277671 64 | 0.000 % |
305.11/305.31 c | 279720 | 84942 1789068 5451065 | 2147483647 279720 64 | 0.000 % |
307.81/308.03 c | 281974 | 84942 1789068 5451065 | 2147483647 281974 64 | 0.000 % |
310.21/310.48 c | 284453 | 84942 1789068 5451065 | 2147483647 284453 63 | 0.000 % |
313.41/313.65 c | 287178 | 84942 1789068 5451065 | 2147483647 287178 63 | 0.000 % |
313.51/313.75 c | 287278 | 84942 1789068 5451065 | 2147483647 287278 63 | 0.000 % |
313.61/313.87 c | 287388 | 84942 1789068 5451065 | 2147483647 287388 63 | 0.000 % |
313.81/314.01 c | 287509 | 84942 1789068 5451065 | 2147483647 287509 63 | 0.000 % |
314.01/314.29 c | 287642 | 84942 1789068 5451065 | 2147483647 287642 63 | 0.000 % |
314.31/314.55 c | 287788 | 84942 1789068 5451065 | 2147483647 287788 63 | 0.000 % |
314.50/314.75 c | 287950 | 84942 1789068 5451065 | 2147483647 287950 63 | 0.000 % |
314.70/314.94 c | 288126 | 84942 1789068 5451065 | 2147483647 288126 63 | 0.000 % |
314.90/315.14 c | 288320 | 84942 1789068 5451065 | 2147483647 288320 63 | 0.000 % |
315.20/315.41 c | 288534 | 84942 1789068 5451065 | 2147483647 288534 63 | 0.000 % |
315.41/315.70 c | 288767 | 84942 1789068 5451065 | 2147483647 288767 63 | 0.000 % |
315.80/316.05 c | 289023 | 84942 1789068 5451065 | 2147483647 289023 63 | 0.000 % |
316.20/316.41 c | 289304 | 84942 1789068 5451065 | 2147483647 289304 63 | 0.000 % |
316.51/316.72 c | 289613 | 84942 1789068 5451065 | 2147483647 289613 63 | 0.000 % |
317.40/317.61 c | 289953 | 84942 1789068 5451065 | 2147483647 289953 63 | 0.000 % |
317.90/318.15 c | 290325 | 84942 1789068 5451065 | 2147483647 290325 63 | 0.000 % |
318.40/318.66 c | 290734 | 84942 1789068 5451065 | 2147483647 290734 63 | 0.000 % |
319.10/319.38 c | 291183 | 84942 1789068 5451065 | 2147483647 291183 63 | 0.000 % |
320.10/320.35 c | 291678 | 84942 1789068 5451065 | 2147483647 291678 63 | 0.000 % |
320.71/320.96 c | 292221 | 84942 1789068 5451065 | 2147483647 292221 63 | 0.000 % |
321.51/321.70 c | 292817 | 84942 1789068 5451065 | 2147483647 292817 63 | 0.000 % |
322.31/322.51 c | 293473 | 84942 1789068 5451065 | 2147483647 293473 63 | 0.000 % |
323.01/323.20 c | 294194 | 84942 1789068 5451065 | 2147483647 294194 63 | 0.000 % |
324.10/324.37 c | 294987 | 84942 1789068 5451065 | 2147483647 294987 63 | 0.000 % |
325.10/325.39 c | 295859 | 84942 1789068 5451065 | 2147483647 295859 63 | 0.000 % |
326.20/326.47 c | 296817 | 84942 1789068 5451065 | 2147483647 296817 63 | 0.000 % |
327.70/328.00 c | 297870 | 84942 1789068 5451065 | 2147483647 297870 63 | 0.000 % |
329.80/330.08 c | 299028 | 84942 1789068 5451065 | 2147483647 299028 63 | 0.000 % |
331.00/331.21 c | 300301 | 84942 1789068 5451065 | 2147483647 300301 63 | 0.000 % |
332.60/332.84 c | 301702 | 84942 1789068 5451065 | 2147483647 301702 63 | 0.000 % |
333.79/334.03 c | 303242 | 84942 1789068 5451065 | 2147483647 303242 63 | 0.000 % |
335.90/336.19 c | 304937 | 84942 1789068 5451065 | 2147483647 304937 63 | 0.000 % |
337.90/338.18 c | 306800 | 84942 1789068 5451065 | 2147483647 306800 63 | 0.000 % |
340.30/340.60 c | 308849 | 84942 1789068 5451065 | 2147483647 308849 63 | 0.000 % |
342.69/342.97 c | 311102 | 84942 1789068 5451065 | 2147483647 311102 62 | 0.000 % |
345.10/345.32 c | 313581 | 84942 1789068 5451065 | 2147483647 313581 62 | 0.000 % |
347.69/347.96 c | 316306 | 84942 1789068 5451065 | 2147483647 316306 62 | 0.000 % |
351.30/351.58 c | 319303 | 84942 1789068 5451065 | 2147483647 319303 62 | 0.000 % |
351.50/351.72 c | 319404 | 84942 1789068 5451065 | 2147483647 319404 62 | 0.000 % |
351.60/351.88 c | 319514 | 84942 1789068 5451065 | 2147483647 319514 62 | 0.000 % |
351.90/352.12 c | 319635 | 84942 1789068 5451065 | 2147483647 319635 62 | 0.000 % |
352.00/352.24 c | 319768 | 84942 1789068 5451065 | 2147483647 319768 62 | 0.000 % |
352.30/352.50 c | 319914 | 84942 1789068 5451065 | 2147483647 319914 62 | 0.000 % |
352.50/352.73 c | 320074 | 84942 1789068 5451065 | 2147483647 320074 62 | 0.000 % |
352.99/353.28 c | 320250 | 84942 1789068 5451065 | 2147483647 320250 62 | 0.000 % |
353.59/353.84 c | 320443 | 84942 1789068 5451065 | 2147483647 320443 62 | 0.000 % |
353.90/354.16 c | 320657 | 84942 1789068 5451065 | 2147483647 320657 62 | 0.000 % |
354.19/354.47 c | 320890 | 84942 1789068 5451065 | 2147483647 320890 62 | 0.000 % |
354.39/354.69 c | 321147 | 84942 1789068 5451065 | 2147483647 321147 62 | 0.000 % |
354.79/355.00 c | 321429 | 84942 1789068 5451065 | 2147483647 321429 62 | 0.000 % |
355.10/355.33 c | 321739 | 84942 1789068 5451065 | 2147483647 321739 62 | 0.000 % |
355.49/355.78 c | 322078 | 84942 1789068 5451065 | 2147483647 322078 62 | 0.000 % |
355.99/356.23 c | 322450 | 84942 1789068 5451065 | 2147483647 322450 62 | 0.000 % |
356.39/356.65 c | 322861 | 84942 1789068 5451065 | 2147483647 322861 62 | 0.000 % |
357.09/357.38 c | 323310 | 84942 1789068 5451065 | 2147483647 323310 62 | 0.000 % |
357.59/357.82 c | 323803 | 84942 1789068 5451065 | 2147483647 323803 62 | 0.000 % |
358.29/358.60 c | 324346 | 84942 1789068 5451065 | 2147483647 324346 62 | 0.000 % |
359.09/359.31 c | 324942 | 84942 1789068 5451065 | 2147483647 324942 62 | 0.000 % |
359.79/360.00 c | 325597 | 84942 1789068 5451065 | 2147483647 325597 62 | 0.000 % |
360.69/360.95 c | 326317 | 84942 1789068 5451065 | 2147483647 326317 62 | 0.000 % |
361.49/361.76 c | 327110 | 84942 1789068 5451065 | 2147483647 327110 62 | 0.000 % |
362.39/362.69 c | 327981 | 84942 1789068 5451065 | 2147483647 327981 62 | 0.000 % |
363.48/363.76 c | 328940 | 84942 1789068 5451065 | 2147483647 328940 62 | 0.000 % |
364.39/364.62 c | 329994 | 84942 1789068 5451065 | 2147483647 329994 62 | 0.000 % |
365.69/365.90 c | 331156 | 84942 1789068 5451065 | 2147483647 331156 62 | 0.000 % |
366.99/367.21 c | 332430 | 84942 1789068 5451065 | 2147483647 332430 62 | 0.000 % |
368.69/368.99 c | 333831 | 84942 1789068 5451065 | 2147483647 333831 62 | 0.000 % |
370.19/370.42 c | 335371 | 84942 1789068 5451065 | 2147483647 335371 62 | 0.000 % |
371.69/371.98 c | 337065 | 84942 1789068 5451065 | 2147483647 337065 62 | 0.000 % |
372.99/373.29 c | 338929 | 84942 1789068 5451065 | 2147483647 338929 62 | 0.000 % |
374.79/375.08 c | 340978 | 84942 1789068 5451065 | 2147483647 340978 62 | 0.000 % |
377.09/377.38 c | 343232 | 84942 1789068 5451065 | 2147483647 343232 62 | 0.000 % |
379.39/379.65 c | 345712 | 84942 1789068 5451065 | 2147483647 345712 62 | 0.000 % |
381.49/381.71 c | 348437 | 84942 1789068 5451065 | 2147483647 348437 62 | 0.000 % |
384.98/385.26 c | 351434 | 84942 1789068 5451065 | 2147483647 351434 62 | 0.000 % |
388.18/388.42 c | 354730 | 84942 1789068 5451065 | 2147483647 354730 62 | 0.000 % |
388.28/388.58 c | 354831 | 84942 1789068 5451065 | 2147483647 354831 62 | 0.000 % |
388.48/388.72 c | 354941 | 84942 1789068 5451065 | 2147483647 354941 62 | 0.000 % |
388.68/388.94 c | 355064 | 84942 1789068 5451065 | 2147483647 355064 62 | 0.000 % |
388.88/389.14 c | 355198 | 84942 1789068 5451065 | 2147483647 355198 62 | 0.000 % |
389.09/389.37 c | 355344 | 84942 1789068 5451065 | 2147483647 355344 62 | 0.000 % |
389.39/389.65 c | 355504 | 84942 1789068 5451065 | 2147483647 355504 62 | 0.000 % |
389.58/389.83 c | 355680 | 84942 1789068 5451065 | 2147483647 355680 62 | 0.000 % |
389.88/390.12 c | 355873 | 84942 1789068 5451065 | 2147483647 355873 62 | 0.000 % |
390.08/390.39 c | 356085 | 84942 1789068 5451065 | 2147483647 356085 62 | 0.000 % |
390.38/390.61 c | 356318 | 84942 1789068 5451065 | 2147483647 356318 62 | 0.000 % |
390.58/390.88 c | 356574 | 84942 1789068 5451065 | 2147483647 356574 62 | 0.000 % |
390.98/391.21 c | 356855 | 84942 1789068 5451065 | 2147483647 356855 62 | 0.000 % |
391.39/391.69 c | 357165 | 84942 1789068 5451065 | 2147483647 357165 62 | 0.000 % |
391.88/392.15 c | 357504 | 84942 1789068 5451065 | 2147483647 357504 62 | 0.000 % |
392.49/392.71 c | 357876 | 84942 1789068 5451065 | 2147483647 357876 62 | 0.000 % |
393.08/393.30 c | 358286 | 84942 1789068 5451065 | 2147483647 358286 62 | 0.000 % |
393.49/393.74 c | 358735 | 84942 1789068 5451065 | 2147483647 358735 62 | 0.000 % |
393.98/394.22 c | 359228 | 84942 1789068 5451065 | 2147483647 359228 62 | 0.000 % |
394.38/394.69 c | 359770 | 84942 1789068 5451065 | 2147483647 359770 62 | 0.000 % |
394.88/395.20 c | 360367 | 84942 1789068 5451065 | 2147483647 360367 62 | 0.000 % |
395.68/396.00 c | 361023 | 84942 1789068 5451065 | 2147483647 361023 62 | 0.000 % |
396.38/396.62 c | 361744 | 84942 1789068 5451065 | 2147483647 361744 62 | 0.000 % |
396.98/397.30 c | 362537 | 84942 1789068 5451065 | 2147483647 362537 61 | 0.000 % |
397.88/398.12 c | 363408 | 84942 1789068 5451065 | 2147483647 363408 61 | 0.000 % |
399.48/399.77 c | 364371 | 84942 1789068 5451065 | 2147483647 364371 61 | 0.000 % |
400.97/401.23 c | 365424 | 84942 1789068 5451065 | 2147483647 365424 61 | 0.000 % |
402.67/402.91 c | 366584 | 84942 1789068 5451065 | 2147483647 366584 61 | 0.000 % |
404.17/404.45 c | 367857 | 84942 1789068 5451065 | 2147483647 367857 61 | 0.000 % |
405.88/406.13 c | 369257 | 84942 1789068 5451065 | 2147483647 369257 61 | 0.000 % |
407.88/408.16 c | 370797 | 84942 1789068 5451065 | 2147483647 370797 61 | 0.000 % |
410.38/410.61 c | 372492 | 84942 1789068 5451065 | 2147483647 372492 61 | 0.000 % |
412.38/412.60 c | 374355 | 84942 1789068 5451065 | 2147483647 374355 61 | 0.000 % |
414.67/414.93 c | 376404 | 84942 1789068 5451065 | 2147483647 376404 61 | 0.000 % |
417.87/418.19 c | 378657 | 84942 1789068 5451065 | 2147483647 378657 61 | 0.000 % |
420.37/420.67 c | 381137 | 84942 1789068 5451065 | 2147483647 381137 61 | 0.000 % |
423.67/423.97 c | 383864 | 84942 1789068 5451065 | 2147483647 383864 61 | 0.000 % |
427.47/427.75 c | 386863 | 84942 1789068 5451065 | 2147483647 386863 60 | 0.000 % |
432.36/432.64 c | 390159 | 84942 1789068 5451065 | 2147483647 390159 60 | 0.000 % |
436.76/437.07 c | 393785 | 84942 1789068 5451065 | 2147483647 393785 60 | 0.000 % |
436.96/437.21 c | 393885 | 84942 1789068 5451065 | 2147483647 393885 60 | 0.000 % |
437.06/437.38 c | 393995 | 84942 1789068 5451065 | 2147483647 393995 60 | 0.000 % |
437.26/437.57 c | 394117 | 84942 1789068 5451065 | 2147483647 394117 60 | 0.000 % |
437.46/437.78 c | 394251 | 84942 1789068 5451065 | 2147483647 394251 60 | 0.000 % |
437.66/437.99 c | 394398 | 84942 1789068 5451065 | 2147483647 394398 60 | 0.000 % |
438.06/438.40 c | 394558 | 84942 1789068 5451065 | 2147483647 394558 60 | 0.000 % |
438.37/438.60 c | 394734 | 84942 1789068 5451065 | 2147483647 394734 60 | 0.000 % |
438.57/438.83 c | 394927 | 84942 1789068 5451065 | 2147483647 394927 60 | 0.000 % |
438.86/439.11 c | 395146 | 84942 1789068 5451065 | 2147483647 395146 60 | 0.000 % |
439.16/439.49 c | 395379 | 84942 1789068 5451065 | 2147483647 395379 60 | 0.000 % |
439.86/440.18 c | 395635 | 84942 1789068 5451065 | 2147483647 395635 60 | 0.000 % |
440.56/440.86 c | 395917 | 84942 1789068 5451065 | 2147483647 395917 60 | 0.000 % |
441.06/441.34 c | 396226 | 84942 1789068 5451065 | 2147483647 396226 60 | 0.000 % |
441.56/441.88 c | 396565 | 84942 1789068 5451065 | 2147483647 396565 60 | 0.000 % |
442.06/442.39 c | 396937 | 84942 1789068 5451065 | 2147483647 396937 60 | 0.000 % |
442.76/443.01 c | 397347 | 84942 1789068 5451065 | 2147483647 397347 60 | 0.000 % |
443.26/443.50 c | 397796 | 84942 1789068 5451065 | 2147483647 397796 60 | 0.000 % |
443.66/443.95 c | 398289 | 84942 1789068 5451065 | 2147483647 398289 60 | 0.000 % |
444.26/444.59 c | 398832 | 84942 1789068 5451065 | 2147483647 398832 60 | 0.000 % |
445.17/445.41 c | 399428 | 84942 1789068 5451065 | 2147483647 399428 60 | 0.000 % |
446.06/446.31 c | 400083 | 84942 1789068 5451065 | 2147483647 400083 60 | 0.000 % |
446.76/447.08 c | 400803 | 84942 1789068 5451065 | 2147483647 400803 60 | 0.000 % |
447.76/448.07 c | 401595 | 84942 1789068 5451065 | 2147483647 401595 60 | 0.000 % |
448.96/449.23 c | 402466 | 84942 1789068 5451065 | 2147483647 402466 60 | 0.000 % |
450.16/450.47 c | 403425 | 84942 1789068 5451065 | 2147483647 403425 60 | 0.000 % |
451.36/451.65 c | 404478 | 84942 1789068 5451065 | 2147483647 404478 60 | 0.000 % |
452.76/453.10 c | 405636 | 84942 1789068 5451065 | 2147483647 405636 60 | 0.000 % |
454.26/454.55 c | 406909 | 84942 1789068 5451065 | 2147483647 406909 60 | 0.000 % |
456.65/456.93 c | 408309 | 84942 1789068 5451065 | 2147483647 408309 60 | 0.000 % |
458.45/458.77 c | 409849 | 84942 1789068 5451065 | 2147483647 409849 60 | 0.000 % |
460.36/460.67 c | 411544 | 84942 1789068 5451065 | 2147483647 411544 60 | 0.000 % |
462.56/462.86 c | 413407 | 84942 1789068 5451065 | 2147483647 413407 60 | 0.000 % |
464.85/465.18 c | 415456 | 84942 1789068 5451065 | 2147483647 415456 60 | 0.000 % |
467.05/467.34 c | 417709 | 84942 1789068 5451065 | 2147483647 417709 60 | 0.000 % |
469.45/469.79 c | 420187 | 84942 1789068 5451065 | 2147483647 420187 60 | 0.000 % |
473.35/473.66 c | 422912 | 84942 1789068 5451065 | 2147483647 422912 60 | 0.000 % |
476.94/477.23 c | 425909 | 84942 1789068 5451065 | 2147483647 425909 60 | 0.000 % |
480.95/481.23 c | 429205 | 84942 1789068 5451065 | 2147483647 429205 60 | 0.000 % |
486.55/486.83 c | 432830 | 84942 1789068 5451065 | 2147483647 432830 59 | 0.000 % |
492.64/492.91 c | 436818 | 84942 1789068 5451065 | 2147483647 436818 59 | 0.000 % |
492.84/493.13 c | 436923 | 84942 1789068 5451065 | 2147483647 436923 59 | 0.000 % |
493.04/493.32 c | 437033 | 84942 1789068 5451065 | 2147483647 437033 59 | 0.000 % |
493.24/493.55 c | 437154 | 84942 1789068 5451065 | 2147483647 437154 59 | 0.000 % |
493.44/493.74 c | 437288 | 84942 1789068 5451065 | 2147483647 437288 59 | 0.000 % |
493.64/493.96 c | 437435 | 84942 1789068 5451065 | 2147483647 437435 59 | 0.000 % |
493.84/494.15 c | 437595 | 84942 1789068 5451065 | 2147483647 437595 59 | 0.000 % |
494.14/494.40 c | 437772 | 84942 1789068 5451065 | 2147483647 437772 59 | 0.000 % |
494.34/494.66 c | 437966 | 84942 1789068 5451065 | 2147483647 437966 59 | 0.000 % |
494.64/494.93 c | 438178 | 84942 1789068 5451065 | 2147483647 438178 59 | 0.000 % |
494.94/495.22 c | 438411 | 84942 1789068 5451065 | 2147483647 438411 59 | 0.000 % |
495.24/495.59 c | 438669 | 84942 1789068 5451065 | 2147483647 438669 59 | 0.000 % |
495.64/495.98 c | 438950 | 84942 1789068 5451065 | 2147483647 438950 59 | 0.000 % |
496.14/496.49 c | 439261 | 84942 1789068 5451065 | 2147483647 439261 59 | 0.000 % |
496.64/496.92 c | 439602 | 84942 1789068 5451065 | 2147483647 439602 59 | 0.000 % |
497.04/497.34 c | 439975 | 84942 1789068 5451065 | 2147483647 439975 59 | 0.000 % |
497.74/498.00 c | 440387 | 84942 1789068 5451065 | 2147483647 440387 59 | 0.000 % |
498.34/498.61 c | 440836 | 84942 1789068 5451065 | 2147483647 440836 59 | 0.000 % |
499.64/499.95 c | 441329 | 84942 1789068 5451065 | 2147483647 441329 59 | 0.000 % |
500.84/501.18 c | 441872 | 84942 1789068 5451065 | 2147483647 441872 59 | 0.000 % |
501.94/502.29 c | 442468 | 84942 1789068 5451065 | 2147483647 442468 59 | 0.000 % |
503.45/503.71 c | 443124 | 84942 1789068 5451065 | 2147483647 443124 59 | 0.000 % |
504.24/504.55 c | 443846 | 84942 1789068 5451065 | 2147483647 443846 59 | 0.000 % |
505.14/505.46 c | 444639 | 84942 1789068 5451065 | 2147483647 444639 59 | 0.000 % |
506.14/506.49 c | 445514 | 84942 1789068 5451065 | 2147483647 445514 59 | 0.000 % |
508.64/508.90 c | 446474 | 84942 1789068 5451065 | 2147483647 446474 59 | 0.000 % |
510.14/510.43 c | 447527 | 84942 1789068 5451065 | 2147483647 447527 59 | 0.000 % |
511.93/512.26 c | 448688 | 84942 1789068 5451065 | 2147483647 448688 59 | 0.000 % |
513.53/513.85 c | 449963 | 84942 1789068 5451065 | 2147483647 449963 59 | 0.000 % |
515.73/516.08 c | 451363 | 84942 1789068 5451065 | 2147483647 451363 59 | 0.000 % |
517.93/518.24 c | 452903 | 84942 1789068 5451065 | 2147483647 452903 59 | 0.000 % |
519.53/519.80 c | 454597 | 84942 1789068 5451065 | 2147483647 454597 59 | 0.000 % |
522.13/522.42 c | 456460 | 84942 1789068 5451065 | 2147483647 456460 59 | 0.000 % |
525.54/525.85 c | 458509 | 84942 1789068 5451065 | 2147483647 458509 59 | 0.000 % |
528.43/528.76 c | 460762 | 84942 1789068 5451065 | 2147483647 460762 59 | 0.000 % |
531.83/532.15 c | 463240 | 84942 1789068 5451065 | 2147483647 463240 59 | 0.000 % |
535.03/535.32 c | 465965 | 84942 1789068 5451065 | 2147483647 465965 59 | 0.000 % |
538.92/539.23 c | 468964 | 84942 1789068 5451065 | 2147483647 468964 59 | 0.000 % |
542.62/542.95 c | 472260 | 84942 1789068 5451065 | 2147483647 472260 59 | 0.000 % |
547.52/547.87 c | 475887 | 84942 1789068 5451065 | 2147483647 475887 59 | 0.000 % |
553.03/553.34 c | 479874 | 84942 1789068 5451065 | 2147483647 479874 58 | 0.000 % |
558.43/558.76 c | 484260 | 84942 1789068 5451065 | 2147483647 484260 58 | 0.000 % |
558.62/558.96 c | 484360 | 84942 1789068 5451065 | 2147483647 484360 58 | 0.000 % |
559.02/559.30 c | 484470 | 84942 1789068 5451065 | 2147483647 484470 58 | 0.000 % |
559.12/559.46 c | 484591 | 84942 1789068 5451065 | 2147483647 484591 58 | 0.000 % |
559.32/559.66 c | 484725 | 84942 1789068 5451065 | 2147483647 484725 58 | 0.000 % |
559.53/559.83 c | 484871 | 84942 1789068 5451065 | 2147483647 484871 58 | 0.000 % |
559.92/560.21 c | 485032 | 84942 1789068 5451065 | 2147483647 485032 58 | 0.000 % |
560.22/560.56 c | 485208 | 84942 1789068 5451065 | 2147483647 485208 58 | 0.000 % |
560.52/560.86 c | 485402 | 84942 1789068 5451065 | 2147483647 485402 58 | 0.000 % |
560.82/561.15 c | 485616 | 84942 1789068 5451065 | 2147483647 485616 58 | 0.000 % |
561.12/561.46 c | 485852 | 84942 1789068 5451065 | 2147483647 485852 58 | 0.000 % |
561.62/561.93 c | 486108 | 84942 1789068 5451065 | 2147483647 486108 58 | 0.000 % |
562.02/562.37 c | 486391 | 84942 1789068 5451065 | 2147483647 486391 58 | 0.000 % |
562.42/562.79 c | 486700 | 84942 1789068 5451065 | 2147483647 486700 58 | 0.000 % |
563.32/563.67 c | 487042 | 84942 1789068 5451065 | 2147483647 487042 58 | 0.000 % |
564.22/564.50 c | 487415 | 84942 1789068 5451065 | 2147483647 487415 58 | 0.000 % |
564.92/565.27 c | 487824 | 84942 1789068 5451065 | 2147483647 487824 58 | 0.000 % |
566.22/566.59 c | 488273 | 84942 1789068 5451065 | 2147483647 488273 58 | 0.000 % |
567.02/567.33 c | 488766 | 84942 1789068 5451065 | 2147483647 488766 58 | 0.000 % |
567.92/568.29 c | 489308 | 84942 1789068 5451065 | 2147483647 489308 58 | 0.000 % |
568.61/568.92 c | 489904 | 84942 1789068 5451065 | 2147483647 489904 58 | 0.000 % |
569.31/569.66 c | 490560 | 84942 1789068 5451065 | 2147483647 490560 58 | 0.000 % |
571.21/571.52 c | 491280 | 84942 1789068 5451065 | 2147483647 491280 58 | 0.000 % |
572.61/572.96 c | 492072 | 84942 1789068 5451065 | 2147483647 492072 58 | 0.000 % |
574.71/575.04 c | 492943 | 84942 1789068 5451065 | 2147483647 492943 58 | 0.000 % |
577.51/577.87 c | 493903 | 84942 1789068 5451065 | 2147483647 493903 58 | 0.000 % |
579.41/579.75 c | 494956 | 84942 1789068 5451065 | 2147483647 494956 58 | 0.000 % |
581.12/581.48 c | 496114 | 84942 1789068 5451065 | 2147483647 496114 58 | 0.000 % |
583.12/583.41 c | 497387 | 84942 1789068 5451065 | 2147483647 497387 58 | 0.000 % |
585.51/585.88 c | 498787 | 84942 1789068 5451065 | 2147483647 498787 58 | 0.000 % |
587.91/588.27 c | 500328 | 84942 1789068 5451065 | 2147483647 500328 58 | 0.000 % |
589.91/590.22 c | 502022 | 84942 1789068 5451065 | 2147483647 502022 58 | 0.000 % |
592.62/592.98 c | 503885 | 84942 1789068 5451065 | 2147483647 503885 58 | 0.001 % |
595.31/595.64 c | 505934 | 84942 1789068 5451065 | 2147483647 505934 58 | 0.000 % |
598.31/598.63 c | 508190 | 84942 1789068 5451065 | 2147483647 508190 58 | 0.000 % |
601.61/601.99 c | 510668 | 84942 1789068 5451065 | 2147483647 510668 58 | 0.000 % |
605.10/605.40 c | 513393 | 84942 1789068 5451065 | 2147483647 513393 58 | 0.000 % |
612.21/612.52 c | 516390 | 84942 1789068 5451065 | 2147483647 516390 58 | 0.000 % |
615.80/616.12 c | 519686 | 84942 1789068 5451065 | 2147483647 519686 58 | 0.000 % |
618.10/618.46 c | 523311 | 84942 1789068 5451065 | 2147483647 523311 58 | 0.000 % |
621.60/621.95 c | 527299 | 84942 1789068 5451065 | 2147483647 527299 58 | 0.000 % |
626.99/627.31 c | 531685 | 84942 1789068 5451065 | 2147483647 531685 58 | 0.000 % |
631.60/631.98 c | 536508 | 84942 1789068 5451065 | 2147483647 536508 59 | 0.000 % |
632.10/632.40 c | 536609 | 84942 1789068 5451065 | 2147483647 536609 59 | 0.001 % |
632.30/632.62 c | 536719 | 84942 1789068 5451065 | 2147483647 536719 59 | 0.001 % |
632.50/632.82 c | 536840 | 84942 1789068 5451065 | 2147483647 536840 59 | 0.000 % |
632.70/633.03 c | 536974 | 84942 1789068 5451065 | 2147483647 536974 59 | 0.001 % |
632.80/633.19 c | 537120 | 84942 1789068 5451065 | 2147483647 537120 59 | 0.001 % |
633.10/633.50 c | 537280 | 84942 1789068 5451065 | 2147483647 537280 59 | 0.001 % |
633.30/633.69 c | 537457 | 84942 1789068 5451065 | 2147483647 537457 59 | 0.000 % |
695.88/696.24 c | 537652 | 74908 1604498 4923594 | 2147483647 85095 52 | 11.813 % |
696.58/696.90 c | 537864 | 74908 1604498 4923594 | 2147483647 85307 52 | 11.813 % |
696.88/697.21 c | 538098 | 74908 1604498 4923594 | 2147483647 85541 52 | 11.813 % |
697.08/697.45 c | 538355 | 74908 1604498 4923594 | 2147483647 85798 52 | 11.813 % |
697.58/697.91 c | 538636 | 74908 1604498 4923594 | 2147483647 86079 52 | 11.813 % |
697.98/698.35 c | 538945 | 74908 1604498 4923594 | 2147483647 86388 52 | 11.813 % |
698.28/698.61 c | 539284 | 74908 1604498 4923594 | 2147483647 86727 53 | 11.813 % |
698.48/698.82 c | 539658 | 74908 1604498 4923594 | 2147483647 87101 52 | 11.813 % |
698.78/699.13 c | 540067 | 74908 1604498 4923594 | 2147483647 87510 52 | 11.813 % |
699.58/699.92 c | 540516 | 74908 1604498 4923594 | 2147483647 87959 53 | 11.813 % |
699.98/700.36 c | 541009 | 74908 1604498 4923594 | 2147483647 88452 52 | 11.813 % |
700.88/701.23 c | 541551 | 74908 1604498 4923594 | 2147483647 88994 52 | 11.813 % |
701.28/701.67 c | 542148 | 74908 1604498 4923594 | 2147483647 89591 52 | 11.813 % |
702.28/702.68 c | 542804 | 74908 1604498 4923594 | 2147483647 90247 52 | 11.813 % |
702.58/702.90 c | 543525 | 74908 1604498 4923594 | 2147483647 90968 52 | 11.813 % |
703.18/703.56 c | 544318 | 74908 1604498 4923594 | 2147483647 91761 53 | 11.813 % |
704.08/704.48 c | 545191 | 74908 1604498 4923594 | 2147483647 92634 53 | 11.813 % |
705.07/705.42 c | 546149 | 74908 1604498 4923594 | 2147483647 93592 53 | 11.813 % |
705.88/706.23 c | 547203 | 74908 1604498 4923594 | 2147483647 94646 53 | 11.813 % |
706.88/707.25 c | 548361 | 74908 1604498 4923594 | 2147483647 95804 53 | 11.813 % |
707.47/707.85 c | 549634 | 74908 1604498 4923594 | 2147483647 97077 53 | 11.813 % |
708.47/708.88 c | 551035 | 74908 1604498 4923594 | 2147483647 98478 53 | 11.813 % |
710.37/710.79 c | 552576 | 74908 1604498 4923594 | 2147483647 100019 53 | 11.813 % |
712.47/712.83 c | 554270 | 74908 1604498 4923594 | 2147483647 101713 54 | 11.813 % |
713.77/714.12 c | 556134 | 74908 1604498 4923594 | 2147483647 103577 54 | 11.813 % |
715.07/715.44 c | 558183 | 74908 1604498 4923594 | 2147483647 105626 55 | 11.813 % |
716.67/717.00 c | 560437 | 74908 1604498 4923594 | 2147483647 107880 55 | 11.813 % |
717.87/718.26 c | 562915 | 74908 1604498 4923594 | 2147483647 110358 55 | 11.813 % |
720.47/720.80 c | 565640 | 74908 1604498 4923594 | 2147483647 113083 56 | 11.813 % |
722.87/723.29 c | 568637 | 74908 1604498 4923594 | 2147483647 116080 57 | 11.813 % |
725.87/726.25 c | 571933 | 74908 1604498 4923594 | 2147483647 119376 57 | 11.813 % |
729.27/729.63 c | 575559 | 74908 1604498 4923594 | 2147483647 123002 58 | 11.813 % |
732.46/732.86 c | 579546 | 74908 1604498 4923594 | 2147483647 126989 58 | 11.813 % |
737.06/737.40 c | 583931 | 74908 1604498 4923594 | 2147483647 131374 59 | 11.813 % |
741.56/741.97 c | 588755 | 74908 1604498 4923594 | 2147483647 136198 60 | 11.813 % |
744.96/745.34 c | 594060 | 74908 1604498 4923594 | 2147483647 141503 61 | 11.813 % |
745.16/745.57 c | 594160 | 74908 1604498 4923594 | 2147483647 141603 61 | 11.813 % |
745.36/745.70 c | 594271 | 74908 1604498 4923594 | 2147483647 141714 61 | 11.813 % |
745.76/746.10 c | 594393 | 74908 1604498 4923594 | 2147483647 141836 61 | 11.813 % |
745.96/746.39 c | 594529 | 74908 1604498 4923594 | 2147483647 141972 61 | 11.813 % |
746.16/746.54 c | 594676 | 74908 1604498 4923594 | 2147483647 142119 61 | 11.813 % |
746.26/746.68 c | 594837 | 74908 1604498 4923594 | 2147483647 142280 61 | 11.813 % |
746.66/747.03 c | 595013 | 74908 1604498 4923594 | 2147483647 142456 61 | 11.813 % |
747.06/747.47 c | 595206 | 74908 1604498 4923594 | 2147483647 142649 61 | 11.813 % |
747.26/747.67 c | 595419 | 74908 1604498 4923594 | 2147483647 142862 61 | 11.813 % |
747.66/748.07 c | 595653 | 74908 1604498 4923594 | 2147483647 143096 61 | 11.813 % |
747.96/748.32 c | 595910 | 74908 1604498 4923594 | 2147483647 143353 61 | 11.813 % |
748.26/748.66 c | 596191 | 74908 1604498 4923594 | 2147483647 143634 61 | 11.813 % |
748.46/748.88 c | 596500 | 74908 1604498 4923594 | 2147483647 143943 61 | 11.813 % |
749.16/749.52 c | 596839 | 74908 1604498 4923594 | 2147483647 144282 61 | 11.813 % |
749.56/749.91 c | 597212 | 74908 1604498 4923594 | 2147483647 144655 61 | 11.813 % |
749.76/750.15 c | 597621 | 74908 1604498 4923594 | 2147483647 145064 61 | 11.813 % |
750.36/750.77 c | 598072 | 74908 1604498 4923594 | 2147483647 145515 61 | 11.813 % |
751.06/751.45 c | 598566 | 74908 1604498 4923594 | 2147483647 146009 61 | 11.813 % |
751.66/752.09 c | 599109 | 74908 1604498 4923594 | 2147483647 146552 61 | 11.813 % |
752.66/753.03 c | 599705 | 74908 1604498 4923594 | 2147483647 147148 61 | 11.813 % |
753.16/753.54 c | 600361 | 74908 1604498 4923594 | 2147483647 147804 61 | 11.813 % |
753.76/754.18 c | 601086 | 74908 1604498 4923594 | 2147483647 148529 61 | 11.813 % |
754.56/754.98 c | 601878 | 74908 1604498 4923594 | 2147483647 149321 61 | 11.813 % |
755.86/756.22 c | 602750 | 74908 1604498 4923594 | 2147483647 150193 61 | 11.813 % |
756.66/757.05 c | 603709 | 74908 1604498 4923594 | 2147483647 151152 61 | 11.813 % |
757.96/758.32 c | 604762 | 74908 1604498 4923594 | 2147483647 152205 61 | 11.813 % |
759.46/759.84 c | 605921 | 74908 1604498 4923594 | 2147483647 153364 61 | 11.813 % |
760.86/761.29 c | 607194 | 74908 1604498 4923594 | 2147483647 154637 61 | 11.813 % |
762.56/762.98 c | 608594 | 74908 1604498 4923594 | 2147483647 156037 61 | 11.813 % |
763.95/764.32 c | 610134 | 74908 1604498 4923594 | 2147483647 157577 61 | 11.813 % |
765.55/765.92 c | 611828 | 74908 1604498 4923594 | 2147483647 159271 61 | 11.813 % |
767.05/767.48 c | 613691 | 74908 1604498 4923594 | 2147483647 161134 61 | 11.813 % |
769.45/769.88 c | 615742 | 74908 1604498 4923594 | 2147483647 163185 61 | 11.813 % |
772.05/772.41 c | 617996 | 74908 1604498 4923594 | 2147483647 165439 62 | 11.813 % |
775.25/775.66 c | 620475 | 74908 1604498 4923594 | 2147483647 167918 62 | 11.813 % |
778.75/779.10 c | 623204 | 74908 1604498 4923594 | 2147483647 170647 62 | 11.813 % |
782.45/782.84 c | 626202 | 74908 1604498 4923594 | 2147483647 173645 62 | 11.813 % |
785.95/786.37 c | 629498 | 74908 1604498 4923594 | 2147483647 176941 62 | 11.813 % |
790.35/790.76 c | 633123 | 74908 1604498 4923594 | 2147483647 180566 62 | 11.813 % |
794.15/794.54 c | 637111 | 74908 1604498 4923594 | 2147483647 184554 62 | 11.813 % |
798.84/799.28 c | 641496 | 74908 1604498 4923594 | 2147483647 188939 62 | 11.813 % |
804.85/805.21 c | 646319 | 74908 1604498 4923594 | 2147483647 193762 62 | 11.813 % |
810.84/811.20 c | 651624 | 74908 1604498 4923594 | 2147483647 199067 62 | 11.813 % |
817.14/817.59 c | 657460 | 74908 1604498 4923594 | 2147483647 204903 62 | 11.813 % |
817.24/817.69 c | 657560 | 74908 1604498 4923594 | 2147483647 205003 62 | 11.813 % |
817.44/817.84 c | 657670 | 74908 1604498 4923594 | 2147483647 205113 62 | 11.813 % |
817.54/817.99 c | 657792 | 74908 1604498 4923594 | 2147483647 205235 62 | 11.813 % |
818.14/818.53 c | 657925 | 74908 1604498 4923594 | 2147483647 205368 62 | 11.813 % |
818.34/818.72 c | 658071 | 74908 1604498 4923594 | 2147483647 205514 62 | 11.813 % |
818.64/819.00 c | 658231 | 74908 1604498 4923594 | 2147483647 205674 62 | 11.813 % |
818.84/819.24 c | 658408 | 74908 1604498 4923594 | 2147483647 205851 62 | 11.813 % |
819.04/819.42 c | 658602 | 74908 1604498 4923594 | 2147483647 206045 62 | 11.813 % |
819.44/819.82 c | 658814 | 74908 1604498 4923594 | 2147483647 206257 62 | 11.813 % |
819.64/820.06 c | 659047 | 74908 1604498 4923594 | 2147483647 206490 62 | 11.813 % |
819.94/820.37 c | 659303 | 74908 1604498 4923594 | 2147483647 206746 62 | 11.813 % |
820.44/820.81 c | 659585 | 74908 1604498 4923594 | 2147483647 207028 62 | 11.813 % |
820.94/821.39 c | 659894 | 74908 1604498 4923594 | 2147483647 207337 62 | 11.813 % |
821.54/821.99 c | 660235 | 74908 1604498 4923594 | 2147483647 207678 62 | 11.813 % |
822.24/822.64 c | 660607 | 74908 1604498 4923594 | 2147483647 208050 62 | 11.813 % |
822.84/823.23 c | 661016 | 74908 1604498 4923594 | 2147483647 208459 62 | 11.813 % |
823.24/823.62 c | 661465 | 74908 1604498 4923594 | 2147483647 208908 62 | 11.813 % |
823.84/824.21 c | 661959 | 74908 1604498 4923594 | 2147483647 209402 62 | 11.813 % |
824.34/824.72 c | 662501 | 74908 1604498 4923594 | 2147483647 209944 62 | 11.813 % |
824.94/825.38 c | 663097 | 74908 1604498 4923594 | 2147483647 210540 62 | 11.813 % |
826.04/826.49 c | 663753 | 74908 1604498 4923594 | 2147483647 211196 62 | 11.813 % |
827.04/827.49 c | 664473 | 74908 1604498 4923594 | 2147483647 211916 62 | 11.813 % |
828.14/828.55 c | 665266 | 74908 1604498 4923594 | 2147483647 212709 62 | 11.813 % |
829.04/829.41 c | 666138 | 74908 1604498 4923594 | 2147483647 213581 62 | 11.813 % |
830.04/830.40 c | 667096 | 74908 1604498 4923594 | 2147483647 214539 62 | 11.813 % |
831.04/831.49 c | 668149 | 74908 1604498 4923594 | 2147483647 215592 62 | 11.813 % |
832.63/833.00 c | 669307 | 74908 1604498 4923594 | 2147483647 216750 62 | 11.813 % |
834.44/834.88 c | 670581 | 74908 1604498 4923594 | 2147483647 218024 62 | 11.813 % |
836.23/836.63 c | 671981 | 74908 1604498 4923594 | 2147483647 219424 62 | 11.813 % |
837.93/838.35 c | 673521 | 74908 1604498 4923594 | 2147483647 220964 62 | 11.813 % |
840.13/840.55 c | 675217 | 74908 1604498 4923594 | 2147483647 222660 62 | 11.813 % |
842.14/842.60 c | 677080 | 74908 1604498 4923594 | 2147483647 224523 62 | 11.813 % |
844.93/845.35 c | 679130 | 74908 1604498 4923594 | 2147483647 226573 63 | 11.813 % |
847.03/847.40 c | 681383 | 74908 1604498 4923594 | 2147483647 228826 62 | 11.813 % |
850.83/851.21 c | 683861 | 74908 1604498 4923594 | 2147483647 231304 62 | 11.813 % |
854.53/854.93 c | 686586 | 74908 1604498 4923594 | 2147483647 234029 62 | 11.813 % |
858.53/858.97 c | 689583 | 74908 1604498 4923594 | 2147483647 237026 63 | 11.813 % |
862.83/863.27 c | 692879 | 74908 1604498 4923594 | 2147483647 240322 63 | 11.813 % |
867.82/868.22 c | 696504 | 74908 1604498 4923594 | 2147483647 243947 64 | 11.813 % |
872.93/873.38 c | 700491 | 74908 1604498 4923594 | 2147483647 247934 64 | 11.813 % |
878.92/879.37 c | 704876 | 74908 1604498 4923594 | 2147483647 252319 65 | 11.813 % |
885.42/885.81 c | 709699 | 74908 1604498 4923594 | 2147483647 257142 65 | 11.813 % |
892.52/892.93 c | 715005 | 74908 1604498 4923594 | 2147483647 262448 65 | 11.813 % |
902.21/902.63 c | 720842 | 74908 1604498 4923594 | 2147483647 268285 65 | 11.813 % |
911.81/912.29 c | 727261 | 74908 1604498 4923594 | 2147483647 274704 66 | 11.813 % |
912.21/912.63 c | 727362 | 74908 1604498 4923594 | 2147483647 274805 66 | 11.813 % |
912.31/912.79 c | 727472 | 74908 1604498 4923594 | 2147483647 274915 66 | 11.813 % |
912.71/913.14 c | 727593 | 74908 1604498 4923594 | 2147483647 275036 66 | 11.813 % |
913.01/913.48 c | 727726 | 74908 1604498 4923594 | 2147483647 275169 66 | 11.813 % |
913.31/913.72 c | 727872 | 74908 1604498 4923594 | 2147483647 275315 66 | 11.813 % |
913.61/914.00 c | 728032 | 74908 1604498 4923594 | 2147483647 275475 66 | 11.813 % |
914.11/914.53 c | 728209 | 74908 1604498 4923594 | 2147483647 275652 66 | 11.813 % |
914.41/914.87 c | 728402 | 74908 1604498 4923594 | 2147483647 275845 66 | 11.813 % |
915.01/915.42 c | 728614 | 74908 1604498 4923594 | 2147483647 276057 66 | 11.813 % |
915.41/915.85 c | 728847 | 74908 1604498 4923594 | 2147483647 276290 66 | 11.813 % |
916.01/916.44 c | 729103 | 74908 1604498 4923594 | 2147483647 276546 66 | 11.813 % |
916.51/916.99 c | 729385 | 74908 1604498 4923594 | 2147483647 276828 66 | 11.813 % |
917.11/917.56 c | 729695 | 74908 1604498 4923594 | 2147483647 277138 66 | 11.813 % |
917.61/918.04 c | 730034 | 74908 1604498 4923594 | 2147483647 277477 66 | 11.813 % |
918.31/918.72 c | 730407 | 74908 1604498 4923594 | 2147483647 277850 66 | 11.813 % |
918.91/919.32 c | 730816 | 74908 1604498 4923594 | 2147483647 278259 66 | 11.813 % |
919.31/919.79 c | 731265 | 74908 1604498 4923594 | 2147483647 278708 66 | 11.813 % |
920.21/920.61 c | 731759 | 74908 1604498 4923594 | 2147483647 279202 66 | 11.813 % |
921.31/921.78 c | 732301 | 74908 1604498 4923594 | 2147483647 279744 66 | 11.813 % |
922.41/922.81 c | 732897 | 74908 1604498 4923594 | 2147483647 280340 66 | 11.813 % |
923.51/923.97 c | 733552 | 74908 1604498 4923594 | 2147483647 280995 66 | 11.813 % |
924.71/925.11 c | 734272 | 74908 1604498 4923594 | 2147483647 281715 66 | 11.813 % |
925.91/926.35 c | 735064 | 74908 1604498 4923594 | 2147483647 282507 66 | 11.813 % |
927.70/928.17 c | 735935 | 74908 1604498 4923594 | 2147483647 283378 65 | 11.813 % |
929.20/929.64 c | 736893 | 74908 1604498 4923594 | 2147483647 284336 65 | 11.813 % |
931.00/931.41 c | 737946 | 74908 1604498 4923594 | 2147483647 285389 65 | 11.813 % |
933.20/933.62 c | 739105 | 74908 1604498 4923594 | 2147483647 286548 65 | 11.813 % |
935.40/935.86 c | 740378 | 74908 1604498 4923594 | 2147483647 287821 65 | 11.813 % |
937.70/938.12 c | 741778 | 74908 1604498 4923594 | 2147483647 289221 65 | 11.813 % |
940.00/940.44 c | 743318 | 74908 1604498 4923594 | 2147483647 290761 65 | 11.813 % |
942.60/943.02 c | 745012 | 74908 1604498 4923594 | 2147483647 292455 65 | 11.813 % |
945.50/945.99 c | 746875 | 74908 1604498 4923594 | 2147483647 294318 65 | 11.813 % |
948.90/949.30 c | 748926 | 74908 1604498 4923594 | 2147483647 296369 65 | 11.813 % |
952.50/952.92 c | 751179 | 74908 1604498 4923594 | 2147483647 298622 65 | 11.813 % |
956.30/956.70 c | 753657 | 74908 1604498 4923594 | 2147483647 301100 65 | 11.813 % |
960.10/960.57 c | 756382 | 74908 1604498 4923594 | 2147483647 303825 65 | 11.813 % |
965.99/966.46 c | 759380 | 74908 1604498 4923594 | 2147483647 306823 65 | 11.813 % |
971.59/972.08 c | 762676 | 74908 1604498 4923594 | 2147483647 310119 64 | 11.813 % |
978.30/978.74 c | 766301 | 74908 1604498 4923594 | 2147483647 313744 64 | 11.813 % |
984.70/985.18 c | 770289 | 74908 1604498 4923594 | 2147483647 317732 64 | 11.813 % |
993.09/993.55 c | 774676 | 74908 1604498 4923594 | 2147483647 322119 64 | 11.813 % |
1000.99/1001.48 c | 779499 | 74908 1604498 4923594 | 2147483647 326942 64 | 11.813 % |
1011.09/1011.58 c | 784805 | 74908 1604498 4923594 | 2147483647 332248 64 | 11.813 % |
1020.88/1021.31 c | 790640 | 74908 1604498 4923594 | 2147483647 338083 64 | 11.813 % |
1032.49/1032.98 c | 797058 | 74908 1604498 4923594 | 2147483647 344501 64 | 11.813 % |
1046.78/1047.21 c | 804117 | 74908 1604498 4923594 | 2147483647 351560 65 | 11.813 % |
1046.98/1047.49 c | 804217 | 74908 1604498 4923594 | 2147483647 351660 65 | 11.813 % |
1047.28/1047.78 c | 804328 | 74908 1604498 4923594 | 2147483647 351771 65 | 11.813 % |
1047.78/1048.21 c | 804449 | 74908 1604498 4923594 | 2147483647 351892 65 | 11.813 % |
1048.08/1048.52 c | 804582 | 74908 1604498 4923594 | 2147483647 352025 65 | 11.813 % |
1048.58/1049.03 c | 804731 | 74908 1604498 4923594 | 2147483647 352174 65 | 11.813 % |
1048.88/1049.40 c | 804891 | 74908 1604498 4923594 | 2147483647 352334 65 | 11.813 % |
1049.28/1049.77 c | 805068 | 74908 1604498 4923594 | 2147483647 352511 65 | 11.813 % |
1049.88/1050.39 c | 805263 | 74908 1604498 4923594 | 2147483647 352706 65 | 11.813 % |
1050.47/1050.99 c | 805476 | 74908 1604498 4923594 | 2147483647 352919 65 | 11.813 % |
1051.08/1051.57 c | 805710 | 74908 1604498 4923594 | 2147483647 353153 65 | 11.813 % |
1051.97/1052.48 c | 805966 | 74908 1604498 4923594 | 2147483647 353409 65 | 11.813 % |
1052.47/1052.99 c | 806248 | 74908 1604498 4923594 | 2147483647 353691 65 | 11.813 % |
1053.07/1053.57 c | 806557 | 74908 1604498 4923594 | 2147483647 354000 65 | 11.813 % |
1053.97/1054.40 c | 806896 | 74908 1604498 4923594 | 2147483647 354339 65 | 11.813 % |
1054.97/1055.40 c | 807268 | 74908 1604498 4923594 | 2147483647 354711 65 | 11.813 % |
1055.77/1056.24 c | 807678 | 74908 1604498 4923594 | 2147483647 355121 65 | 11.813 % |
1056.87/1057.32 c | 808127 | 74908 1604498 4923594 | 2147483647 355570 65 | 11.813 % |
1057.78/1058.21 c | 808621 | 74908 1604498 4923594 | 2147483647 356064 65 | 11.813 % |
1058.97/1059.47 c | 809163 | 74908 1604498 4923594 | 2147483647 356606 65 | 11.813 % |
1060.37/1060.87 c | 809760 | 74908 1604498 4923594 | 2147483647 357203 65 | 11.813 % |
1061.97/1062.49 c | 810416 | 74908 1604498 4923594 | 2147483647 357859 65 | 11.813 % |
1063.27/1063.79 c | 811136 | 74908 1604498 4923594 | 2147483647 358579 65 | 11.813 % |
1064.47/1064.93 c | 811928 | 74908 1604498 4923594 | 2147483647 359371 65 | 11.813 % |
1066.77/1067.21 c | 812801 | 74908 1604498 4923594 | 2147483647 360244 64 | 11.813 % |
1068.27/1068.76 c | 813759 | 74908 1604498 4923594 | 2147483647 361202 64 | 11.813 % |
1070.97/1071.44 c | 814812 | 74908 1604498 4923594 | 2147483647 362255 64 | 11.813 % |
1073.37/1073.83 c | 815970 | 74908 1604498 4923594 | 2147483647 363413 64 | 11.813 % |
1075.86/1076.39 c | 817244 | 74908 1604498 4923594 | 2147483647 364687 64 | 11.813 % |
1078.57/1079.03 c | 818645 | 74908 1604498 4923594 | 2147483647 366088 64 | 11.813 % |
1081.66/1082.19 c | 820186 | 74908 1604498 4923594 | 2147483647 367629 64 | 11.813 % |
1085.46/1085.95 c | 821880 | 74908 1604498 4923594 | 2147483647 369323 64 | 11.813 % |
1088.26/1088.71 c | 823743 | 74908 1604498 4923594 | 2147483647 371186 64 | 11.813 % |
1091.66/1092.20 c | 825793 | 74908 1604498 4923594 | 2147483647 373236 64 | 11.813 % |
1095.26/1095.78 c | 828046 | 74908 1604498 4923594 | 2147483647 375489 64 | 11.813 % |
1101.66/1102.12 c | 830525 | 74908 1604498 4923594 | 2147483647 377968 64 | 11.813 % |
1107.75/1108.21 c | 833250 | 74908 1604498 4923594 | 2147483647 380693 64 | 11.813 % |
1113.86/1114.36 c | 836247 | 74908 1604498 4923594 | 2147483647 383690 64 | 11.813 % |
1120.65/1121.16 c | 839543 | 74908 1604498 4923594 | 2147483647 386986 64 | 11.813 % |
1126.85/1127.35 c | 843168 | 74908 1604498 4923594 | 2147483647 390611 64 | 11.813 % |
1133.15/1133.70 c | 847155 | 74908 1604498 4923594 | 2147483647 394598 64 | 11.813 % |
1140.54/1141.03 c | 851540 | 74908 1604498 4923594 | 2147483647 398983 64 | 11.813 % |
1148.95/1149.43 c | 856363 | 74908 1604498 4923594 | 2147483647 403806 64 | 11.813 % |
1160.14/1160.63 c | 861669 | 74908 1604498 4923594 | 2147483647 409112 64 | 11.813 % |
1171.74/1172.21 c | 867504 | 74908 1604498 4923594 | 2147483647 414947 64 | 11.813 % |
1183.53/1184.09 c | 873923 | 74908 1604498 4923594 | 2147483647 421366 64 | 11.813 % |
1197.03/1197.54 c | 880982 | 74908 1604498 4923594 | 2147483647 428425 64 | 11.813 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834209-1242828743/watcher-1834209-1242828743 -o /tmp/evaluation-result-1834209-1242828743/solver-1834209-1242828743 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834209-1242828743.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 18178
/proc/meminfo: memFree=1889904/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
[startup+0.0859339 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 18178
/proc/meminfo: memFree=1889904/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101934 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 18178
/proc/meminfo: memFree=1889904/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301956 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 18178
/proc/meminfo: memFree=1889904/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702002 s]
/proc/loadavg: 1.07 1.00 1.00 3/64 18178
/proc/meminfo: memFree=1889904/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50209 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 18183
/proc/meminfo: memFree=1811168/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
[pid=18182] ppid=18178 vsize=131676 CPUtime=1.48
/proc/18182/stat : 18182 (SatELite_releas) R 18178 18178 17522 0 -1 4194304 33849 0 0 0 128 20 0 0 25 0 1 0 310902127 134836224 31108 1992294400 134512640 135223648 4294956128 18446744073709551615 134549027 0 0 4096 3 0 0 0 17 1 0 0
/proc/18182/statm: 32919 31108 76 173 0 32744 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 137032
[startup+3.10128 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 18183
/proc/meminfo: memFree=1756064/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
[pid=18182] ppid=18178 vsize=148616 CPUtime=3.07
/proc/18182/stat : 18182 (SatELite_releas) R 18178 18178 17522 0 -1 4194304 36440 0 0 0 285 22 0 0 25 0 1 0 310902127 152182784 33699 1992294400 134512640 135223648 4294956128 18446744073709551615 134586762 0 0 4096 3 0 0 0 17 1 0 0
/proc/18182/statm: 37154 33699 76 173 0 36979 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 153972
[startup+6.30164 s]
/proc/loadavg: 1.07 1.00 1.00 2/66 18183
/proc/meminfo: memFree=1740640/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
[pid=18182] ppid=18178 vsize=172596 CPUtime=6.28
/proc/18182/stat : 18182 (SatELite_releas) R 18178 18178 17522 0 -1 4194304 39847 0 0 0 604 24 0 0 25 0 1 0 310902127 176738304 36826 1992294400 134512640 135223648 4294956128 18446744073709551615 134602026 0 0 4096 3 0 0 0 17 1 0 0
/proc/18182/statm: 43149 36826 76 173 0 42974 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 177952
[startup+12.7014 s]
/proc/loadavg: 1.06 1.00 1.00 2/66 18183
/proc/meminfo: memFree=1740400/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=0
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 310902126 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18178/statm: 1339 237 197 169 0 50 0
[pid=18182] ppid=18178 vsize=149504 CPUtime=12.68
/proc/18182/stat : 18182 (SatELite_releas) R 18178 18178 17522 0 -1 4194304 45827 0 0 0 1239 29 0 0 25 0 1 0 310902127 153092096 33894 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/18182/statm: 37376 33894 78 173 0 37201 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 154860
[startup+25.5018 s]
/proc/loadavg: 1.12 1.02 1.00 2/66 18184
/proc/meminfo: memFree=1766896/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=86968 CPUtime=11.32
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 20839 0 0 0 1118 14 0 0 25 0 1 0 310903543 89055232 20825 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 21742 20825 77 171 0 21569 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 92324
[startup+51.1018 s]
/proc/loadavg: 1.08 1.01 1.00 2/66 18184
/proc/meminfo: memFree=1762288/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=91748 CPUtime=36.9
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 22054 0 0 0 3674 16 0 0 25 0 1 0 310903543 93949952 22040 1992294400 134512640 135215339 4294956240 18446744073709551615 134527408 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 22937 22040 77 171 0 22764 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 97104
[startup+102.306 s]
/proc/loadavg: 1.03 1.01 1.00 2/66 18184
/proc/meminfo: memFree=1745520/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=108492 CPUtime=88.06
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 26216 0 0 0 8785 21 0 0 25 0 1 0 310903543 111095808 26202 1992294400 134512640 135215339 4294956240 18446744073709551615 134529119 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 27123 26202 77 171 0 26950 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 113848
[startup+162.301 s]
/proc/loadavg: 1.01 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1725424/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=128936 CPUtime=148.03
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 31226 0 0 0 14777 26 0 0 25 0 1 0 310903543 132030464 31212 1992294400 134512640 135215339 4294956240 18446744073709551615 134525115 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 32234 31212 77 171 0 32061 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 134292
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1705840/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=148160 CPUtime=208
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 36096 0 0 0 20768 32 0 0 25 0 1 0 310903543 151715840 36082 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 37040 36082 77 171 0 36867 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 153516
[startup+282.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1690544/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=163720 CPUtime=267.98
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 39899 0 0 0 26761 37 0 0 25 0 1 0 310903543 167649280 39885 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 40930 39885 77 171 0 40757 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 169076
[startup+342.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1676976/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=177076 CPUtime=327.96
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 43242 0 0 0 32755 41 0 0 25 0 1 0 310903543 181325824 43228 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 44269 43228 77 171 0 44096 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 182432
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1663216/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=191372 CPUtime=387.93
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 46700 0 0 0 38748 45 0 0 25 0 1 0 310903543 195964928 46686 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 47843 46686 77 171 0 47670 0
Current children cumulated CPU time (s) 402.07
Current children cumulated vsize (KiB) 196728
[startup+462.302 s]
################
# More data... #
################
/proc/18184/statm: 55953 54499 77 171 0 55780 0
Current children cumulated CPU time (s) 582.02
Current children cumulated vsize (KiB) 229168
[startup+642.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1619696/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=234916 CPUtime=627.86
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57375 0 0 0 62731 55 0 0 25 0 1 0 310903543 240553984 57361 1992294400 134512640 135215339 4294956240 18446744073709551615 134526315 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58729 57361 77 171 0 58556 0
Current children cumulated CPU time (s) 642
Current children cumulated vsize (KiB) 240272
[startup+702.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1619696/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=234916 CPUtime=687.84
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57376 0 0 0 68729 55 0 0 25 0 1 0 310903543 240553984 57362 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58729 57362 77 171 0 58556 0
Current children cumulated CPU time (s) 701.98
Current children cumulated vsize (KiB) 240272
[startup+762.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1619632/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=234916 CPUtime=747.82
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57378 0 0 0 74727 55 0 0 25 0 1 0 310903543 240553984 57364 1992294400 134512640 135215339 4294956240 18446744073709551615 134528633 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58729 57364 77 171 0 58556 0
Current children cumulated CPU time (s) 761.96
Current children cumulated vsize (KiB) 240272
[startup+822.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1619504/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=234916 CPUtime=807.8
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57381 0 0 0 80725 55 0 0 25 0 1 0 310903543 240553984 57367 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58729 57367 77 171 0 58556 0
Current children cumulated CPU time (s) 821.94
Current children cumulated vsize (KiB) 240272
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1619440/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=234916 CPUtime=867.78
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57382 0 0 0 86723 55 0 0 25 0 1 0 310903543 240553984 57368 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58729 57368 77 171 0 58556 0
Current children cumulated CPU time (s) 881.92
Current children cumulated vsize (KiB) 240272
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1618992/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=235240 CPUtime=927.76
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57442 0 0 0 92721 55 0 0 25 0 1 0 310903543 240885760 57428 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58810 57428 77 171 0 58637 0
Current children cumulated CPU time (s) 941.9
Current children cumulated vsize (KiB) 240596
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1618544/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=235804 CPUtime=987.75
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57538 0 0 0 98719 56 0 0 25 0 1 0 310903543 241463296 57524 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 58951 57524 77 171 0 58778 0
Current children cumulated CPU time (s) 1001.89
Current children cumulated vsize (KiB) 241160
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1618160/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=236104 CPUtime=1047.73
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57616 0 0 0 104717 56 0 0 25 0 1 0 310903543 241770496 57602 1992294400 134512640 135215339 4294956240 18446744073709551615 134532628 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 59026 57602 77 171 0 58853 0
Current children cumulated CPU time (s) 1061.87
Current children cumulated vsize (KiB) 241460
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1617776/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=236552 CPUtime=1107.71
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57696 0 0 0 110715 56 0 0 25 0 1 0 310903543 242229248 57682 1992294400 134512640 135215339 4294956240 18446744073709551615 134528688 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 59138 57682 77 171 0 58965 0
Current children cumulated CPU time (s) 1121.85
Current children cumulated vsize (KiB) 241908
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1617648/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=236552 CPUtime=1167.69
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57710 0 0 0 116713 56 0 0 25 0 1 0 310903543 242229248 57696 1992294400 134512640 135215339 4294956240 18446744073709551615 134529183 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 59138 57696 77 171 0 58965 0
Current children cumulated CPU time (s) 1181.83
Current children cumulated vsize (KiB) 241908
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1617456/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=236796 CPUtime=1185.89
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57751 0 0 0 118533 56 0 0 25 0 1 0 310903543 242479104 57737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 59199 57737 77 171 0 59026 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 242152
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 18184
/proc/meminfo: memFree=1617456/2055920 swapFree=4179040/4192956
[pid=18178] ppid=18176 vsize=5356 CPUtime=14.14
/proc/18178/stat : 18178 (SatELiteGTI) S 18176 18178 17522 0 -1 4194304 336 46078 0 0 0 0 1369 45 16 0 1 0 310902126 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 236437693252 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18178/statm: 1339 239 197 169 0 50 0
[pid=18184] ppid=18178 vsize=236796 CPUtime=1185.89
/proc/18184/stat : 18184 (minisat_static) R 18178 18178 17522 0 -1 4194304 57751 0 0 0 118533 56 0 0 25 0 1 0 310903543 242479104 57737 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/18184/statm: 59199 57737 77 171 0 59026 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 242152
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18178 and gives
# childrusage.ru_utime.tv_sec=13
# childrusage.ru_utime.tv_usec=698917
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=454930
# CPU time returned by wait4() is 14.1538
# while last known CPU time is 1200.03
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.51
CPU time (s): 1200.03
CPU user time (s): 1199.02
CPU system time (s): 1.01
CPU usage (%): 99.9598
Max. virtual memory (cumulated for all children) (KiB): 242152
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.6989
system time used= 0.45493
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46414
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 13
involuntary context switches= 46
runsolver used 1.35079 second user time and 3.12252 second system time
The end
Begin job on node62 at 2009-05-20 16:12:26
IDJOB=1834209
IDBENCH=71736
IDSOLVER=671
FILE ID=node62/1834209-1242828743
PBS_JOBID= 9322490
Free space on /tmp= 66212 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834209-1242828743/watcher-1834209-1242828743 -o /tmp/evaluation-result-1834209-1242828743/solver-1834209-1242828743 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834209-1242828743.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 0c9a15d0f561e9d1bb438b04ae3c31af
RANDOM SEED=1191489609
node62.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1890384 kB
Buffers: 21220 kB
Cached: 103644 kB
SwapCached: 7464 kB
Active: 84388 kB
Inactive: 50176 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1890384 kB
SwapTotal: 4192956 kB
SwapFree: 4179040 kB
Dirty: 37584 kB
Writeback: 0 kB
Mapped: 14688 kB
Slab: 16752 kB
Committed_AS: 866684 kB
PageTables: 1464 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66172 MiB
End job on node62 at 2009-05-20 16:32:28