0.00/0.00 c Parsing...
1.89/1.92 c ==============================================================================
1.89/1.92 c | | ORIGINAL | LEARNT | |
1.89/1.92 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.89/1.92 c ==============================================================================
1.89/1.92 c | 0 | 2465730 7141422 | 739718 0 0 nan | 0.000 % |
22.99/23.03 c | 0 | 2391111 7388117 | -- 0 -- -- | -- | -74473/249552
22.99/23.03 c ==============================================================================
22.99/23.03 c Result : #vars: 120317 #clauses: 2391111 #literals: 7388117
22.99/23.03 c CPU time: 22.5866 s
22.99/23.03 c ==============================================================================
25.38/25.43 c This is MiniSat 2.0 beta
25.38/25.43 c WARNING: for repeatability, setting FPU to use double precision
25.38/25.43 c ============================[ Problem Statistics ]=============================
25.38/25.43 c | |
25.38/25.43 c | Number of variables: 120317 |
25.38/25.43 c | Number of clauses: 2391111 |
26.77/26.88 c | Parsing time: 1.26 s |
26.87/26.95 c ============================[ Search Statistics ]==============================
26.87/26.95 c | Conflicts | ORIGINAL | LEARNT | Progress |
26.87/26.95 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
26.87/26.95 c ===============================================================================
26.87/26.95 c | 0 | 120317 2391111 7388117 | 797037 0 nan | 0.000 % |
27.07/27.19 c | 100 | 120317 2391111 7388117 | 797037 100 77 | 0.000 % |
27.46/27.58 c | 200 | 120317 2391111 7388117 | 797037 200 55 | 0.000 % |
27.76/27.89 c | 301 | 120317 2391111 7388117 | 797037 301 43 | 0.000 % |
27.96/28.07 c | 412 | 120317 2391111 7388117 | 797037 412 42 | 0.000 % |
28.16/28.20 c | 512 | 120317 2391111 7388117 | 797037 512 45 | 0.000 % |
28.36/28.41 c | 622 | 120317 2391111 7388117 | 797037 622 41 | 0.000 % |
28.36/28.48 c | 743 | 120317 2391111 7388117 | 797037 743 39 | 0.000 % |
28.56/28.68 c | 845 | 120317 2391111 7388117 | 797037 845 37 | 0.000 % |
28.66/28.75 c | 957 | 120317 2391111 7388117 | 797037 957 37 | 0.000 % |
28.76/28.84 c | 1079 | 120317 2391111 7388117 | 797037 1079 39 | 0.000 % |
29.16/29.26 c | 1212 | 120317 2391111 7388117 | 797037 1212 39 | 0.000 % |
29.26/29.33 c | 1313 | 120317 2391111 7388117 | 797037 1313 40 | 0.000 % |
29.36/29.45 c | 1423 | 120317 2391111 7388117 | 797037 1423 40 | 0.000 % |
29.46/29.58 c | 1544 | 120317 2391111 7388117 | 797037 1544 43 | 0.000 % |
29.76/29.90 c | 1677 | 120317 2391111 7388117 | 797037 1677 42 | 0.000 % |
29.96/30.04 c | 1824 | 120317 2391111 7388117 | 797037 1824 40 | 0.000 % |
30.26/30.33 c | 1928 | 120317 2391111 7388117 | 797037 1928 40 | 0.000 % |
30.46/30.50 c | 2040 | 120317 2391111 7388117 | 797037 2040 40 | 0.000 % |
30.56/30.65 c | 2162 | 120317 2391111 7388117 | 797037 2162 40 | 0.000 % |
30.66/30.78 c | 2298 | 120317 2391111 7388117 | 797037 2298 40 | 0.000 % |
30.86/30.95 c | 2462 | 120317 2391111 7388117 | 797037 2462 40 | 0.000 % |
30.96/31.07 c | 2622 | 120317 2391111 7388117 | 797037 2622 41 | 0.000 % |
31.06/31.17 c | 2724 | 120317 2391111 7388117 | 797037 2724 41 | 0.000 % |
31.26/31.34 c | 2834 | 120317 2391111 7388117 | 797037 2834 41 | 0.000 % |
31.36/31.48 c | 2955 | 120317 2391111 7388117 | 797037 2955 41 | 0.000 % |
31.56/31.64 c | 3088 | 120317 2391111 7388117 | 797037 3088 41 | 0.000 % |
31.86/31.94 c | 3234 | 120317 2391111 7388117 | 797037 3234 41 | 0.000 % |
31.96/32.06 c | 3397 | 120317 2391111 7388117 | 797037 3397 40 | 0.000 % |
32.06/32.14 c | 3573 | 120317 2391111 7388117 | 797037 3573 40 | 0.000 % |
32.25/32.31 c | 3674 | 120317 2391111 7388117 | 797037 3674 40 | 0.000 % |
32.25/32.40 c | 3784 | 120317 2391111 7388117 | 797037 3784 40 | 0.000 % |
32.45/32.51 c | 3905 | 120317 2391111 7388117 | 797037 3905 40 | 0.000 % |
32.55/32.63 c | 4039 | 120317 2391111 7388117 | 797037 4039 40 | 0.000 % |
32.75/32.83 c | 4185 | 120317 2391111 7388117 | 797037 4185 40 | 0.000 % |
32.86/32.93 c | 4345 | 120317 2391111 7388117 | 797037 4345 40 | 0.000 % |
33.05/33.11 c | 4521 | 120317 2391111 7388117 | 797037 4521 41 | 0.000 % |
33.15/33.26 c | 4715 | 120317 2391111 7388117 | 797037 4715 40 | 0.000 % |
33.25/33.35 c | 4815 | 120317 2391111 7388117 | 797037 4815 40 | 0.000 % |
33.35/33.49 c | 4928 | 120317 2391111 7388117 | 797037 4928 40 | 0.000 % |
33.56/33.61 c | 5049 | 120317 2391111 7388117 | 797037 5049 40 | 0.000 % |
33.66/33.77 c | 5182 | 120317 2391111 7388117 | 797037 5182 40 | 0.000 % |
33.76/33.86 c | 5331 | 120317 2391111 7388117 | 797037 5331 40 | 0.000 % |
33.97/34.04 c | 5491 | 120317 2391111 7388117 | 797037 5491 40 | 0.000 % |
34.16/34.20 c | 5670 | 120317 2391111 7388117 | 797037 5670 40 | 0.000 % |
34.26/34.33 c | 5863 | 120317 2391111 7388117 | 797037 5863 41 | 0.000 % |
34.36/34.47 c | 6076 | 120317 2391111 7388117 | 797037 6076 40 | 0.000 % |
34.56/34.65 c | 6176 | 120317 2391111 7388117 | 797037 6176 40 | 0.000 % |
34.66/34.75 c | 6286 | 120317 2391111 7388117 | 797037 6286 40 | 0.000 % |
34.76/34.87 c | 6410 | 120317 2391111 7388117 | 797037 6410 40 | 0.000 % |
34.86/34.96 c | 6544 | 120317 2391111 7388117 | 797037 6544 40 | 0.000 % |
35.07/35.13 c | 6691 | 120317 2391111 7388117 | 797037 6691 40 | 0.000 % |
35.17/35.24 c | 6853 | 120317 2391111 7388117 | 797037 6853 40 | 0.000 % |
35.36/35.40 c | 7030 | 120317 2391111 7388117 | 797037 7030 40 | 0.000 % |
35.46/35.56 c | 7223 | 120317 2391111 7388117 | 797037 7223 39 | 0.000 % |
35.56/35.69 c | 7435 | 120317 2391111 7388117 | 797037 7435 40 | 0.000 % |
35.86/35.94 c | 7668 | 120317 2391111 7388117 | 797037 7668 40 | 0.000 % |
36.16/36.25 c | 7772 | 120317 2391111 7388117 | 797037 7772 39 | 0.000 % |
36.36/36.40 c | 7882 | 120317 2391111 7388117 | 797037 7882 39 | 0.000 % |
36.46/36.56 c | 8003 | 120317 2391111 7388117 | 797037 8003 39 | 0.000 % |
36.56/36.66 c | 8136 | 120317 2391111 7388117 | 797037 8136 39 | 0.000 % |
36.76/36.85 c | 8282 | 120317 2391111 7388117 | 797037 8282 39 | 0.000 % |
36.86/36.96 c | 8443 | 120317 2391111 7388117 | 797037 8443 39 | 0.000 % |
37.16/37.23 c | 8620 | 120317 2391111 7388117 | 797037 8620 39 | 0.000 % |
37.26/37.34 c | 8816 | 120317 2391111 7388117 | 797037 8816 39 | 0.000 % |
37.46/37.53 c | 9033 | 120317 2391111 7388117 | 797037 9033 39 | 0.000 % |
37.76/37.80 c | 9269 | 120317 2391111 7388117 | 797037 9269 39 | 0.000 % |
37.96/38.02 c | 9528 | 120317 2391111 7388117 | 797037 9528 39 | 0.000 % |
38.06/38.17 c | 9628 | 120317 2391111 7388117 | 797037 9628 39 | 0.000 % |
38.26/38.33 c | 9740 | 120317 2391111 7388117 | 797037 9740 39 | 0.000 % |
38.36/38.43 c | 9862 | 120317 2391111 7388117 | 797037 9862 39 | 0.000 % |
38.46/38.53 c | 9996 | 120317 2391111 7388117 | 797037 9996 39 | 0.000 % |
38.56/38.64 c | 10142 | 120317 2391111 7388117 | 2147483647 10142 39 | 0.000 % |
38.76/38.80 c | 10303 | 120317 2391111 7388117 | 2147483647 10303 39 | 0.000 % |
38.86/38.92 c | 10479 | 120317 2391111 7388117 | 2147483647 10479 39 | 0.000 % |
38.96/39.04 c | 10673 | 120317 2391111 7388117 | 2147483647 10673 39 | 0.000 % |
39.16/39.29 c | 10885 | 120317 2391111 7388117 | 2147483647 10885 39 | 0.000 % |
39.46/39.51 c | 11118 | 120317 2391111 7388117 | 2147483647 11118 39 | 0.000 % |
39.66/39.72 c | 11374 | 120317 2391111 7388117 | 2147483647 11374 39 | 0.000 % |
39.86/39.92 c | 11655 | 120317 2391111 7388117 | 2147483647 11655 39 | 0.000 % |
39.96/40.04 c | 11755 | 120317 2391111 7388117 | 2147483647 11755 39 | 0.000 % |
40.16/40.20 c | 11865 | 120317 2391111 7388117 | 2147483647 11865 39 | 0.000 % |
40.26/40.36 c | 11987 | 120317 2391111 7388117 | 2147483647 11987 39 | 0.000 % |
40.46/40.50 c | 12121 | 120317 2391111 7388117 | 2147483647 12121 39 | 0.000 % |
40.56/40.65 c | 12268 | 120317 2391111 7388117 | 2147483647 12268 39 | 0.000 % |
40.66/40.78 c | 12429 | 120317 2391111 7388117 | 2147483647 12429 39 | 0.000 % |
40.86/40.94 c | 12605 | 120317 2391111 7388117 | 2147483647 12605 39 | 0.000 % |
41.06/41.13 c | 12798 | 120317 2391111 7388117 | 2147483647 12798 38 | 0.000 % |
41.26/41.30 c | 13011 | 120317 2391111 7388117 | 2147483647 13011 38 | 0.000 % |
41.46/41.53 c | 13245 | 120317 2391111 7388117 | 2147483647 13245 38 | 0.000 % |
41.76/41.82 c | 13502 | 120317 2391111 7388117 | 2147483647 13502 39 | 0.000 % |
42.06/42.11 c | 13784 | 120317 2391111 7388117 | 2147483647 13784 39 | 0.000 % |
42.26/42.34 c | 14093 | 120317 2391111 7388117 | 2147483647 14093 38 | 0.000 % |
42.36/42.48 c | 14194 | 120317 2391111 7388117 | 2147483647 14194 38 | 0.000 % |
42.46/42.56 c | 14304 | 120317 2391111 7388117 | 2147483647 14304 38 | 0.000 % |
42.56/42.69 c | 14425 | 120317 2391111 7388117 | 2147483647 14425 38 | 0.000 % |
42.66/42.77 c | 14559 | 120317 2391111 7388117 | 2147483647 14559 38 | 0.000 % |
42.86/42.90 c | 14705 | 120317 2391111 7388117 | 2147483647 14705 39 | 0.000 % |
42.96/43.05 c | 14867 | 120317 2391111 7388117 | 2147483647 14867 38 | 0.000 % |
43.16/43.21 c | 15043 | 120317 2391111 7388117 | 2147483647 15043 38 | 0.000 % |
43.36/43.40 c | 15237 | 120317 2391111 7388117 | 2147483647 15237 38 | 0.000 % |
43.46/43.55 c | 15450 | 120317 2391111 7388117 | 2147483647 15450 38 | 0.000 % |
43.66/43.78 c | 15683 | 120317 2391111 7388117 | 2147483647 15683 38 | 0.000 % |
43.86/43.93 c | 15940 | 120317 2391111 7388117 | 2147483647 15940 38 | 0.000 % |
44.16/44.21 c | 16221 | 120317 2391111 7388117 | 2147483647 16221 38 | 0.000 % |
44.36/44.42 c | 16530 | 120317 2391111 7388117 | 2147483647 16530 38 | 0.000 % |
44.56/44.63 c | 16869 | 120317 2391111 7388117 | 2147483647 16869 38 | 0.000 % |
44.66/44.73 c | 16969 | 120317 2391111 7388117 | 2147483647 16969 38 | 0.000 % |
44.76/44.82 c | 17079 | 120317 2391111 7388117 | 2147483647 17079 38 | 0.000 % |
44.86/44.97 c | 17200 | 120317 2391111 7388117 | 2147483647 17200 38 | 0.000 % |
44.96/45.05 c | 17333 | 120317 2391111 7388117 | 2147483647 17333 38 | 0.000 % |
45.06/45.16 c | 17480 | 120317 2391111 7388117 | 2147483647 17480 38 | 0.000 % |
45.25/45.31 c | 17640 | 120317 2391111 7388117 | 2147483647 17640 38 | 0.000 % |
45.35/45.45 c | 17816 | 120317 2391111 7388117 | 2147483647 17816 37 | 0.000 % |
45.55/45.60 c | 18011 | 120317 2391111 7388117 | 2147483647 18011 37 | 0.000 % |
45.75/45.81 c | 18224 | 120317 2391111 7388117 | 2147483647 18224 37 | 0.000 % |
45.95/46.06 c | 18458 | 120317 2391111 7388117 | 2147483647 18458 37 | 0.000 % |
46.16/46.27 c | 18714 | 120317 2391111 7388117 | 2147483647 18714 37 | 0.000 % |
46.75/46.82 c | 18995 | 120317 2391111 7388117 | 2147483647 18995 38 | 0.000 % |
47.16/47.29 c | 19304 | 120317 2391111 7388117 | 2147483647 19304 38 | 0.000 % |
47.66/47.72 c | 19644 | 120317 2391111 7388117 | 2147483647 19644 38 | 0.000 % |
47.76/47.86 c | 20016 | 120317 2391111 7388117 | 2147483647 20016 38 | 0.000 % |
47.96/48.07 c | 20116 | 120317 2391111 7388117 | 2147483647 20116 38 | 0.000 % |
48.06/48.17 c | 20228 | 120317 2391111 7388117 | 2147483647 20228 38 | 0.000 % |
48.16/48.29 c | 20349 | 120317 2391111 7388117 | 2147483647 20349 38 | 0.000 % |
48.26/48.40 c | 20482 | 120317 2391111 7388117 | 2147483647 20482 38 | 0.000 % |
48.46/48.53 c | 20629 | 120317 2391111 7388117 | 2147483647 20629 38 | 0.000 % |
48.56/48.69 c | 20789 | 120317 2391111 7388117 | 2147483647 20789 38 | 0.000 % |
48.76/48.82 c | 20965 | 120317 2391111 7388117 | 2147483647 20965 38 | 0.000 % |
48.96/49.00 c | 21159 | 120317 2391111 7388117 | 2147483647 21159 38 | 0.000 % |
49.16/49.21 c | 21371 | 120317 2391111 7388117 | 2147483647 21371 37 | 0.000 % |
49.36/49.42 c | 21604 | 120317 2391111 7388117 | 2147483647 21604 37 | 0.000 % |
49.56/49.65 c | 21861 | 120317 2391111 7388117 | 2147483647 21861 37 | 0.000 % |
49.86/49.91 c | 22142 | 120317 2391111 7388117 | 2147483647 22142 37 | 0.000 % |
50.06/50.12 c | 22454 | 120317 2391111 7388117 | 2147483647 22454 37 | 0.000 % |
50.36/50.43 c | 22794 | 120317 2391111 7388117 | 2147483647 22794 37 | 0.000 % |
50.56/50.69 c | 23166 | 120317 2391111 7388117 | 2147483647 23166 36 | 0.000 % |
50.86/50.99 c | 23576 | 120317 2391111 7388117 | 2147483647 23576 36 | 0.000 % |
51.06/51.12 c | 23678 | 120317 2391111 7388117 | 2147483647 23678 36 | 0.000 % |
51.16/51.28 c | 23790 | 120317 2391111 7388117 | 2147483647 23790 36 | 0.000 % |
51.36/51.44 c | 23911 | 120317 2391111 7388117 | 2147483647 23911 36 | 0.000 % |
51.46/51.55 c | 24044 | 120317 2391111 7388117 | 2147483647 24044 36 | 0.000 % |
51.56/51.67 c | 24190 | 120317 2391111 7388117 | 2147483647 24190 36 | 0.000 % |
51.76/51.80 c | 24350 | 120317 2391111 7388117 | 2147483647 24350 36 | 0.000 % |
51.86/51.94 c | 24526 | 120317 2391111 7388117 | 2147483647 24526 36 | 0.000 % |
52.16/52.22 c | 24719 | 120317 2391111 7388117 | 2147483647 24719 36 | 0.000 % |
52.26/52.39 c | 24931 | 120317 2391111 7388117 | 2147483647 24931 35 | 0.000 % |
52.46/52.56 c | 25165 | 120317 2391111 7388117 | 2147483647 25165 35 | 0.000 % |
52.66/52.75 c | 25421 | 120317 2391111 7388117 | 2147483647 25421 35 | 0.000 % |
52.86/52.93 c | 25703 | 120317 2391111 7388117 | 2147483647 25703 35 | 0.000 % |
53.06/53.13 c | 26012 | 120317 2391111 7388117 | 2147483647 26012 35 | 0.000 % |
53.36/53.42 c | 26351 | 120317 2391111 7388117 | 2147483647 26351 35 | 0.000 % |
53.76/53.85 c | 26726 | 120317 2391111 7388117 | 2147483647 26726 35 | 0.000 % |
54.15/54.22 c | 27140 | 120317 2391111 7388117 | 2147483647 27140 36 | 0.000 % |
54.35/54.44 c | 27590 | 120317 2391111 7388117 | 2147483647 27590 36 | 0.000 % |
54.55/54.66 c | 27690 | 120317 2391111 7388117 | 2147483647 27690 37 | 0.000 % |
54.65/54.76 c | 27800 | 120317 2391111 7388117 | 2147483647 27800 37 | 0.000 % |
54.75/54.82 c | 27921 | 120317 2391111 7388117 | 2147483647 27921 37 | 0.000 % |
54.75/54.88 c | 28060 | 120317 2391111 7388117 | 2147483647 28060 37 | 0.000 % |
55.06/55.17 c | 28206 | 120317 2391111 7388117 | 2147483647 28206 37 | 0.000 % |
55.26/55.32 c | 28367 | 120317 2391111 7388117 | 2147483647 28367 37 | 0.000 % |
55.36/55.46 c | 28545 | 120317 2391111 7388117 | 2147483647 28545 37 | 0.000 % |
55.66/55.77 c | 28738 | 120317 2391111 7388117 | 2147483647 28738 37 | 0.000 % |
55.96/56.00 c | 28950 | 120317 2391111 7388117 | 2147483647 28950 38 | 0.000 % |
56.35/56.44 c | 29183 | 120317 2391111 7388117 | 2147483647 29183 38 | 0.000 % |
56.55/56.62 c | 29439 | 120317 2391111 7388117 | 2147483647 29439 38 | 0.000 % |
56.85/56.90 c | 29720 | 120317 2391111 7388117 | 2147483647 29720 38 | 0.000 % |
57.35/57.42 c | 30029 | 120317 2391111 7388117 | 2147483647 30029 38 | 0.000 % |
57.95/58.04 c | 30370 | 120317 2391111 7388117 | 2147483647 30370 38 | 0.000 % |
58.16/58.25 c | 30746 | 120317 2391111 7388117 | 2147483647 30746 38 | 0.000 % |
58.55/58.62 c | 31156 | 120317 2391111 7388117 | 2147483647 31156 38 | 0.000 % |
59.26/59.36 c | 31606 | 120317 2391111 7388117 | 2147483647 31606 38 | 0.000 % |
59.85/59.93 c | 32101 | 120317 2391111 7388117 | 2147483647 32101 39 | 0.000 % |
60.05/60.16 c | 32202 | 120317 2391111 7388117 | 2147483647 32202 39 | 0.000 % |
60.25/60.36 c | 32312 | 120317 2391111 7388117 | 2147483647 32312 39 | 0.000 % |
60.65/60.70 c | 32434 | 120317 2391111 7388117 | 2147483647 32434 39 | 0.000 % |
60.65/60.79 c | 32569 | 120317 2391111 7388117 | 2147483647 32569 39 | 0.000 % |
60.85/60.95 c | 32716 | 120317 2391111 7388117 | 2147483647 32716 39 | 0.000 % |
61.15/61.27 c | 32876 | 120317 2391111 7388117 | 2147483647 32876 39 | 0.000 % |
61.45/61.51 c | 33052 | 120317 2391111 7388117 | 2147483647 33052 39 | 0.000 % |
61.55/61.62 c | 33246 | 120317 2391111 7388117 | 2147483647 33246 39 | 0.000 % |
61.95/62.06 c | 33458 | 120317 2391111 7388117 | 2147483647 33458 39 | 0.000 % |
62.45/62.57 c | 33691 | 120317 2391111 7388117 | 2147483647 33691 39 | 0.000 % |
62.95/63.04 c | 33947 | 120317 2391111 7388117 | 2147483647 33947 39 | 0.000 % |
63.15/63.26 c | 34233 | 120317 2391111 7388117 | 2147483647 34233 40 | 0.000 % |
63.55/63.68 c | 34542 | 120317 2391111 7388117 | 2147483647 34542 40 | 0.000 % |
64.25/64.34 c | 34882 | 120317 2391111 7388117 | 2147483647 34882 40 | 0.000 % |
64.45/64.51 c | 35255 | 120317 2391111 7388117 | 2147483647 35255 40 | 0.000 % |
65.05/65.13 c | 35664 | 120317 2391111 7388117 | 2147483647 35664 40 | 0.000 % |
65.55/65.68 c | 36113 | 120317 2391111 7388117 | 2147483647 36113 41 | 0.000 % |
65.95/66.05 c | 36608 | 120317 2391111 7388117 | 2147483647 36608 41 | 0.000 % |
66.55/66.69 c | 37156 | 120317 2391111 7388117 | 2147483647 37156 41 | 0.000 % |
66.75/66.89 c | 37259 | 120317 2391111 7388117 | 2147483647 37259 42 | 0.000 % |
66.96/67.09 c | 37369 | 120317 2391111 7388117 | 2147483647 37369 42 | 0.000 % |
67.15/67.22 c | 37493 | 120317 2391111 7388117 | 2147483647 37493 42 | 0.000 % |
67.55/67.60 c | 37626 | 120317 2391111 7388117 | 2147483647 37626 42 | 0.000 % |
68.06/68.12 c | 37773 | 120317 2391111 7388117 | 2147483647 37773 42 | 0.000 % |
68.35/68.43 c | 37933 | 120317 2391111 7388117 | 2147483647 37933 42 | 0.000 % |
68.45/68.52 c | 38110 | 120317 2391111 7388117 | 2147483647 38110 42 | 0.000 % |
68.75/68.86 c | 38303 | 120317 2391111 7388117 | 2147483647 38303 42 | 0.000 % |
69.05/69.13 c | 38515 | 120317 2391111 7388117 | 2147483647 38515 42 | 0.000 % |
69.35/69.46 c | 38749 | 120317 2391111 7388117 | 2147483647 38749 42 | 0.000 % |
69.75/69.81 c | 39005 | 120317 2391111 7388117 | 2147483647 39005 42 | 0.000 % |
70.15/70.25 c | 39288 | 120317 2391111 7388117 | 2147483647 39288 42 | 0.000 % |
70.45/70.59 c | 39597 | 120317 2391111 7388117 | 2147483647 39597 42 | 0.000 % |
71.25/71.39 c | 39936 | 120317 2391111 7388117 | 2147483647 39936 42 | 0.000 % |
71.45/71.58 c | 40308 | 120317 2391111 7388117 | 2147483647 40308 42 | 0.000 % |
71.95/72.07 c | 40718 | 120317 2391111 7388117 | 2147483647 40718 42 | 0.000 % |
72.35/72.44 c | 41168 | 120317 2391111 7388117 | 2147483647 41168 43 | 0.000 % |
72.75/72.85 c | 41662 | 120317 2391111 7388117 | 2147483647 41662 43 | 0.000 % |
73.25/73.34 c | 42204 | 120317 2391111 7388117 | 2147483647 42204 43 | 0.000 % |
74.05/74.11 c | 42800 | 120317 2391111 7388117 | 2147483647 42800 44 | 0.000 % |
74.15/74.21 c | 42900 | 120317 2391111 7388117 | 2147483647 42900 44 | 0.000 % |
74.45/74.53 c | 43011 | 120317 2391111 7388117 | 2147483647 43011 44 | 0.000 % |
74.65/74.71 c | 43134 | 120317 2391111 7388117 | 2147483647 43134 44 | 0.000 % |
74.84/74.90 c | 43267 | 120317 2391111 7388117 | 2147483647 43267 44 | 0.000 % |
74.94/75.02 c | 43415 | 120317 2391111 7388117 | 2147483647 43415 44 | 0.000 % |
75.14/75.21 c | 43575 | 120317 2391111 7388117 | 2147483647 43575 44 | 0.000 % |
75.34/75.45 c | 43755 | 120317 2391111 7388117 | 2147483647 43755 44 | 0.000 % |
75.64/75.74 c | 43949 | 120317 2391111 7388117 | 2147483647 43949 44 | 0.000 % |
75.75/75.88 c | 44161 | 120317 2391111 7388117 | 2147483647 44161 44 | 0.000 % |
75.94/76.07 c | 44394 | 120317 2391111 7388117 | 2147483647 44394 44 | 0.000 % |
76.34/76.42 c | 44653 | 120317 2391111 7388117 | 2147483647 44653 44 | 0.000 % |
76.44/76.59 c | 44938 | 120317 2391111 7388117 | 2147483647 44938 44 | 0.000 % |
76.64/76.72 c | 45247 | 120317 2391111 7388117 | 2147483647 45247 44 | 0.000 % |
76.95/77.03 c | 45586 | 120317 2391111 7388117 | 2147483647 45586 44 | 0.000 % |
77.25/77.33 c | 45959 | 120317 2391111 7388117 | 2147483647 45959 44 | 0.000 % |
78.15/78.21 c | 46368 | 120317 2391111 7388117 | 2147483647 46368 44 | 0.000 % |
78.45/78.54 c | 46818 | 120317 2391111 7388117 | 2147483647 46818 44 | 0.000 % |
79.05/79.16 c | 47318 | 120317 2391111 7388117 | 2147483647 47318 44 | 0.000 % |
79.75/79.84 c | 47861 | 120317 2391111 7388117 | 2147483647 47861 44 | 0.000 % |
80.15/80.21 c | 48460 | 120317 2391111 7388117 | 2147483647 48460 44 | 0.000 % |
80.55/80.66 c | 49117 | 120317 2391111 7388117 | 2147483647 49117 44 | 0.000 % |
80.75/80.80 c | 49217 | 120317 2391111 7388117 | 2147483647 49217 44 | 0.000 % |
80.85/80.94 c | 49328 | 120317 2391111 7388117 | 2147483647 49328 44 | 0.000 % |
80.95/81.07 c | 49451 | 120317 2391111 7388117 | 2147483647 49451 44 | 0.000 % |
81.15/81.26 c | 49584 | 120317 2391111 7388117 | 2147483647 49584 44 | 0.000 % |
81.35/81.49 c | 49730 | 120317 2391111 7388117 | 2147483647 49730 44 | 0.000 % |
81.75/81.81 c | 49890 | 120317 2391111 7388117 | 2147483647 49890 45 | 0.000 % |
82.15/82.23 c | 50068 | 120317 2391111 7388117 | 2147483647 50068 45 | 0.000 % |
82.25/82.37 c | 50261 | 120317 2391111 7388117 | 2147483647 50261 45 | 0.000 % |
82.55/82.66 c | 50474 | 120317 2391111 7388117 | 2147483647 50474 45 | 0.000 % |
82.95/83.00 c | 50708 | 120317 2391111 7388117 | 2147483647 50708 45 | 0.000 % |
83.15/83.27 c | 50964 | 120317 2391111 7388117 | 2147483647 50964 45 | 0.000 % |
83.35/83.49 c | 51245 | 120317 2391111 7388117 | 2147483647 51245 45 | 0.000 % |
83.65/83.74 c | 51554 | 120317 2391111 7388117 | 2147483647 51554 45 | 0.000 % |
84.05/84.14 c | 51893 | 120317 2391111 7388117 | 2147483647 51893 45 | 0.000 % |
84.55/84.60 c | 52265 | 120317 2391111 7388117 | 2147483647 52265 45 | 0.000 % |
84.75/84.82 c | 52674 | 120317 2391111 7388117 | 2147483647 52674 45 | 0.000 % |
85.44/85.51 c | 53123 | 120317 2391111 7388117 | 2147483647 53123 45 | 0.000 % |
86.24/86.34 c | 53616 | 120317 2391111 7388117 | 2147483647 53616 46 | 0.000 % |
87.04/87.16 c | 54160 | 120317 2391111 7388117 | 2147483647 54160 46 | 0.000 % |
87.74/87.80 c | 54756 | 120317 2391111 7388117 | 2147483647 54756 46 | 0.000 % |
88.35/88.47 c | 55412 | 120317 2391111 7388117 | 2147483647 55412 46 | 0.000 % |
89.65/89.79 c | 56132 | 120317 2391111 7388117 | 2147483647 56132 47 | 0.000 % |
89.84/89.92 c | 56233 | 120317 2391111 7388117 | 2147483647 56233 47 | 0.000 % |
90.05/90.19 c | 56343 | 120317 2391111 7388117 | 2147483647 56343 47 | 0.000 % |
90.44/90.57 c | 56464 | 120317 2391111 7388117 | 2147483647 56464 47 | 0.000 % |
90.54/90.65 c | 56597 | 120317 2391111 7388117 | 2147483647 56597 47 | 0.000 % |
90.84/90.93 c | 56744 | 120317 2391111 7388117 | 2147483647 56744 47 | 0.000 % |
91.04/91.17 c | 56904 | 120317 2391111 7388117 | 2147483647 56904 47 | 0.000 % |
91.44/91.54 c | 57080 | 120317 2391111 7388117 | 2147483647 57080 47 | 0.000 % |
91.94/92.00 c | 57273 | 120317 2391111 7388117 | 2147483647 57273 47 | 0.000 % |
92.14/92.24 c | 57488 | 120317 2391111 7388117 | 2147483647 57488 47 | 0.000 % |
92.94/93.01 c | 57723 | 120317 2391111 7388117 | 2147483647 57723 47 | 0.000 % |
93.35/93.43 c | 57979 | 120317 2391111 7388117 | 2147483647 57979 47 | 0.000 % |
93.74/93.85 c | 58260 | 120317 2391111 7388117 | 2147483647 58260 47 | 0.000 % |
94.14/94.29 c | 58571 | 120317 2391111 7388117 | 2147483647 58571 47 | 0.000 % |
94.84/94.91 c | 58911 | 120317 2391111 7388117 | 2147483647 58911 47 | 0.000 % |
95.34/95.40 c | 59283 | 120317 2391111 7388117 | 2147483647 59283 47 | 0.000 % |
95.84/95.97 c | 59695 | 120317 2391111 7388117 | 2147483647 59695 47 | 0.000 % |
96.04/96.17 c | 60145 | 120317 2391111 7388117 | 2147483647 60145 47 | 0.000 % |
96.54/96.64 c | 60638 | 120317 2391111 7388117 | 2147483647 60638 47 | 0.000 % |
96.94/97.02 c | 61180 | 120317 2391111 7388117 | 2147483647 61180 47 | 0.000 % |
97.34/97.45 c | 61777 | 120317 2391111 7388117 | 2147483647 61777 47 | 0.000 % |
98.14/98.22 c | 62434 | 120317 2391111 7388117 | 2147483647 62434 47 | 0.000 % |
98.94/99.02 c | 63154 | 120317 2391111 7388117 | 2147483647 63154 47 | 0.000 % |
99.84/99.99 c | 63946 | 120317 2391111 7388117 | 2147483647 63946 48 | 0.000 % |
100.14/100.25 c | 64047 | 120317 2391111 7388117 | 2147483647 64047 48 | 0.000 % |
100.44/100.55 c | 64158 | 120317 2391111 7388117 | 2147483647 64158 48 | 0.000 % |
100.74/100.82 c | 64279 | 120317 2391111 7388117 | 2147483647 64279 48 | 0.000 % |
100.84/100.94 c | 64412 | 120317 2391111 7388117 | 2147483647 64412 48 | 0.000 % |
101.04/101.13 c | 64559 | 120317 2391111 7388117 | 2147483647 64559 48 | 0.000 % |
101.14/101.30 c | 64720 | 120317 2391111 7388117 | 2147483647 64720 48 | 0.000 % |
101.44/101.56 c | 64897 | 120317 2391111 7388117 | 2147483647 64897 48 | 0.000 % |
101.94/102.09 c | 65091 | 120317 2391111 7388117 | 2147483647 65091 48 | 0.000 % |
102.34/102.47 c | 65304 | 120317 2391111 7388117 | 2147483647 65304 48 | 0.000 % |
103.04/103.12 c | 65537 | 120317 2391111 7388117 | 2147483647 65537 48 | 0.000 % |
103.64/103.72 c | 65795 | 120317 2391111 7388117 | 2147483647 65795 48 | 0.000 % |
103.84/103.99 c | 66080 | 120317 2391111 7388117 | 2147483647 66080 48 | 0.000 % |
104.14/104.24 c | 66389 | 120317 2391111 7388117 | 2147483647 66389 48 | 0.000 % |
104.64/104.72 c | 66729 | 120317 2391111 7388117 | 2147483647 66729 48 | 0.000 % |
105.14/105.24 c | 67101 | 120317 2391111 7388117 | 2147483647 67101 48 | 0.000 % |
105.64/105.74 c | 67510 | 120317 2391111 7388117 | 2147483647 67510 49 | 0.000 % |
106.15/106.22 c | 67960 | 120317 2391111 7388117 | 2147483647 67960 48 | 0.000 % |
106.45/106.59 c | 68453 | 120317 2391111 7388117 | 2147483647 68453 49 | 0.000 % |
107.24/107.35 c | 68998 | 120317 2391111 7388117 | 2147483647 68998 49 | 0.000 % |
107.84/107.92 c | 69594 | 120317 2391111 7388117 | 2147483647 69594 49 | 0.000 % |
109.04/109.12 c | 70249 | 120317 2391111 7388117 | 2147483647 70249 50 | 0.000 % |
109.74/109.89 c | 70969 | 120317 2391111 7388117 | 2147483647 70969 50 | 0.000 % |
111.05/111.11 c | 71763 | 120317 2391111 7388117 | 2147483647 71763 50 | 0.000 % |
111.84/111.90 c | 72634 | 120317 2391111 7388117 | 2147483647 72634 50 | 0.000 % |
111.94/112.01 c | 72735 | 120317 2391111 7388117 | 2147483647 72735 50 | 0.000 % |
112.15/112.21 c | 72845 | 120317 2391111 7388117 | 2147483647 72845 50 | 0.000 % |
112.34/112.46 c | 72971 | 120317 2391111 7388117 | 2147483647 72971 50 | 0.000 % |
112.64/112.78 c | 73104 | 120317 2391111 7388117 | 2147483647 73104 50 | 0.000 % |
112.94/113.06 c | 73250 | 120317 2391111 7388117 | 2147483647 73250 50 | 0.000 % |
113.25/113.30 c | 73410 | 120317 2391111 7388117 | 2147483647 73410 51 | 0.000 % |
113.44/113.50 c | 73587 | 120317 2391111 7388117 | 2147483647 73587 51 | 0.000 % |
113.74/113.84 c | 73780 | 120317 2391111 7388117 | 2147483647 73780 51 | 0.000 % |
114.25/114.33 c | 73993 | 120317 2391111 7388117 | 2147483647 73993 51 | 0.000 % |
114.54/114.60 c | 74226 | 120317 2391111 7388117 | 2147483647 74226 51 | 0.000 % |
114.94/115.04 c | 74483 | 120317 2391111 7388117 | 2147483647 74483 51 | 0.000 % |
115.64/115.74 c | 74764 | 120317 2391111 7388117 | 2147483647 74764 51 | 0.000 % |
115.84/115.95 c | 75074 | 120317 2391111 7388117 | 2147483647 75074 51 | 0.000 % |
116.44/116.59 c | 75415 | 120317 2391111 7388117 | 2147483647 75415 51 | 0.000 % |
116.84/116.96 c | 75787 | 120317 2391111 7388117 | 2147483647 75787 51 | 0.000 % |
117.14/117.28 c | 76198 | 120317 2391111 7388117 | 2147483647 76198 51 | 0.000 % |
117.64/117.77 c | 76647 | 120317 2391111 7388117 | 2147483647 76647 51 | 0.000 % |
118.14/118.29 c | 77141 | 120317 2391111 7388117 | 2147483647 77141 51 | 0.000 % |
118.54/118.70 c | 77684 | 120317 2391111 7388117 | 2147483647 77684 51 | 0.000 % |
120.04/120.11 c | 78280 | 120317 2391111 7388117 | 2147483647 78280 51 | 0.000 % |
120.64/120.76 c | 78938 | 120317 2391111 7388117 | 2147483647 78938 52 | 0.000 % |
120.94/121.08 c | 79659 | 120317 2391111 7388117 | 2147483647 79659 52 | 0.000 % |
121.54/121.60 c | 80452 | 120317 2391111 7388117 | 2147483647 80452 52 | 0.000 % |
122.73/122.83 c | 81323 | 120317 2391111 7388117 | 2147483647 81323 52 | 0.000 % |
124.04/124.16 c | 82281 | 120317 2391111 7388117 | 2147483647 82281 53 | 0.000 % |
124.33/124.45 c | 82381 | 120317 2391111 7388117 | 2147483647 82381 53 | 0.000 % |
124.63/124.75 c | 82492 | 120317 2391111 7388117 | 2147483647 82492 53 | 0.000 % |
124.83/124.95 c | 82616 | 120317 2391111 7388117 | 2147483647 82616 53 | 0.000 % |
125.13/125.24 c | 82749 | 120317 2391111 7388117 | 2147483647 82749 53 | 0.000 % |
125.34/125.46 c | 82895 | 120317 2391111 7388117 | 2147483647 82895 53 | 0.000 % |
125.53/125.66 c | 83058 | 120317 2391111 7388117 | 2147483647 83058 53 | 0.000 % |
125.83/125.96 c | 83235 | 120317 2391111 7388117 | 2147483647 83235 53 | 0.000 % |
126.13/126.29 c | 83429 | 120317 2391111 7388117 | 2147483647 83429 53 | 0.000 % |
126.44/126.54 c | 83642 | 120317 2391111 7388117 | 2147483647 83642 53 | 0.000 % |
126.63/126.76 c | 83876 | 120317 2391111 7388117 | 2147483647 83876 53 | 0.000 % |
127.03/127.16 c | 84132 | 120317 2391111 7388117 | 2147483647 84132 53 | 0.000 % |
127.33/127.46 c | 84413 | 120317 2391111 7388117 | 2147483647 84413 53 | 0.000 % |
127.54/127.68 c | 84723 | 120317 2391111 7388117 | 2147483647 84723 53 | 0.000 % |
127.93/128.00 c | 85062 | 120317 2391111 7388117 | 2147483647 85062 53 | 0.000 % |
128.43/128.51 c | 85435 | 120317 2391111 7388117 | 2147483647 85435 53 | 0.000 % |
128.83/128.93 c | 85844 | 120317 2391111 7388117 | 2147483647 85844 53 | 0.000 % |
129.23/129.37 c | 86293 | 120317 2391111 7388117 | 2147483647 86293 53 | 0.000 % |
129.83/129.90 c | 86787 | 120317 2391111 7388117 | 2147483647 86787 53 | 0.000 % |
130.63/130.70 c | 87329 | 120317 2391111 7388117 | 2147483647 87329 53 | 0.000 % |
131.34/131.48 c | 87925 | 120317 2391111 7388117 | 2147483647 87925 53 | 0.000 % |
131.94/132.06 c | 88581 | 120317 2391111 7388117 | 2147483647 88581 54 | 0.000 % |
133.63/133.78 c | 89301 | 120317 2391111 7388117 | 2147483647 89301 54 | 0.000 % |
134.33/134.41 c | 90094 | 120317 2391111 7388117 | 2147483647 90094 54 | 0.000 % |
135.23/135.38 c | 90965 | 120317 2391111 7388117 | 2147483647 90965 54 | 0.000 % |
137.23/137.34 c | 91924 | 120317 2391111 7388117 | 2147483647 91924 55 | 0.000 % |
138.53/138.65 c | 92977 | 120317 2391111 7388117 | 2147483647 92977 55 | 0.000 % |
138.73/138.83 c | 93077 | 120317 2391111 7388117 | 2147483647 93077 55 | 0.000 % |
139.03/139.18 c | 93188 | 120317 2391111 7388117 | 2147483647 93188 55 | 0.000 % |
139.23/139.37 c | 93310 | 120317 2391111 7388117 | 2147483647 93310 55 | 0.000 % |
139.73/139.88 c | 93446 | 120317 2391111 7388117 | 2147483647 93446 55 | 0.000 % |
140.03/140.18 c | 93592 | 120317 2391111 7388117 | 2147483647 93592 55 | 0.000 % |
140.33/140.41 c | 93752 | 120317 2391111 7388117 | 2147483647 93752 55 | 0.000 % |
140.53/140.63 c | 93929 | 120317 2391111 7388117 | 2147483647 93929 55 | 0.000 % |
140.83/140.91 c | 94122 | 120317 2391111 7388117 | 2147483647 94122 55 | 0.000 % |
140.93/141.08 c | 94335 | 120317 2391111 7388117 | 2147483647 94335 55 | 0.000 % |
141.13/141.28 c | 94568 | 120317 2391111 7388117 | 2147483647 94568 55 | 0.000 % |
141.43/141.56 c | 94828 | 120317 2391111 7388117 | 2147483647 94828 55 | 0.000 % |
142.73/142.89 c | 95111 | 116936 2329796 7231247 | 2147483647 94970 55 | 2.810 % |
143.13/143.25 c | 95421 | 116936 2329796 7231247 | 2147483647 95280 55 | 2.810 % |
143.53/143.66 c | 95761 | 116936 2329796 7231247 | 2147483647 95620 55 | 2.810 % |
143.83/143.99 c | 96134 | 116936 2329796 7231247 | 2147483647 95993 55 | 2.810 % |
144.23/144.36 c | 96544 | 116936 2329796 7231247 | 2147483647 96403 55 | 2.810 % |
144.73/144.87 c | 96993 | 116936 2329796 7231247 | 2147483647 96852 56 | 2.810 % |
145.33/145.45 c | 97486 | 116936 2329796 7231247 | 2147483647 97345 56 | 2.810 % |
145.73/145.87 c | 98028 | 116936 2329796 7231247 | 2147483647 97887 55 | 2.810 % |
146.63/146.73 c | 98624 | 116936 2329796 7231247 | 2147483647 98483 55 | 2.810 % |
147.13/147.20 c | 99279 | 116936 2329796 7231247 | 2147483647 99138 56 | 2.810 % |
147.93/148.04 c | 100002 | 116936 2329796 7231247 | 2147483647 99861 56 | 2.810 % |
149.03/149.13 c | 100794 | 116936 2329796 7231247 | 2147483647 100653 56 | 2.810 % |
150.03/150.11 c | 101665 | 116936 2329796 7231247 | 2147483647 101524 56 | 2.810 % |
150.72/150.89 c | 102623 | 116936 2329796 7231247 | 2147483647 102482 56 | 2.810 % |
152.02/152.10 c | 103677 | 116936 2329796 7231247 | 2147483647 103536 56 | 2.810 % |
153.22/153.35 c | 104835 | 116936 2329796 7231247 | 2147483647 104694 56 | 2.810 % |
153.42/153.51 c | 104937 | 116936 2329796 7231247 | 2147483647 104796 56 | 2.810 % |
153.52/153.67 c | 105047 | 116936 2329796 7231247 | 2147483647 104906 56 | 2.810 % |
153.82/153.91 c | 105168 | 116936 2329796 7231247 | 2147483647 105027 56 | 2.810 % |
154.12/154.24 c | 105301 | 116936 2329796 7231247 | 2147483647 105160 56 | 2.810 % |
154.32/154.42 c | 105447 | 116936 2329796 7231247 | 2147483647 105306 56 | 2.810 % |
154.62/154.77 c | 105609 | 116936 2329796 7231247 | 2147483647 105468 56 | 2.810 % |
154.82/154.99 c | 105786 | 116936 2329796 7231247 | 2147483647 105645 56 | 2.810 % |
155.12/155.27 c | 105980 | 116936 2329796 7231247 | 2147483647 105839 56 | 2.810 % |
155.62/155.74 c | 106193 | 116936 2329796 7231247 | 2147483647 106052 56 | 2.810 % |
155.92/156.10 c | 106426 | 116936 2329796 7231247 | 2147483647 106285 56 | 2.810 % |
156.52/156.64 c | 106684 | 116936 2329796 7231247 | 2147483647 106543 56 | 2.810 % |
156.82/156.91 c | 106965 | 116936 2329796 7231247 | 2147483647 106824 56 | 2.810 % |
157.82/157.97 c | 107276 | 116936 2329796 7231247 | 2147483647 107135 56 | 2.810 % |
158.22/158.37 c | 107616 | 116936 2329796 7231247 | 2147483647 107475 56 | 2.810 % |
158.82/158.91 c | 107992 | 116936 2329796 7231247 | 2147483647 107851 56 | 2.810 % |
159.12/159.29 c | 108402 | 116936 2329796 7231247 | 2147483647 108261 57 | 2.810 % |
159.32/159.50 c | 108852 | 116936 2329796 7231247 | 2147483647 108711 57 | 2.810 % |
160.33/160.45 c | 109349 | 116936 2329796 7231247 | 2147483647 109208 57 | 2.810 % |
160.83/160.97 c | 109891 | 116936 2329796 7231247 | 2147483647 109750 57 | 2.810 % |
162.12/162.29 c | 110487 | 116936 2329796 7231247 | 2147483647 110346 57 | 2.810 % |
163.32/163.43 c | 111142 | 116936 2329796 7231247 | 2147483647 111001 57 | 2.810 % |
163.92/164.08 c | 111864 | 116936 2329796 7231247 | 2147483647 111723 58 | 2.810 % |
164.62/164.72 c | 112659 | 116936 2329796 7231247 | 2147483647 112518 58 | 2.810 % |
166.12/166.25 c | 113530 | 116936 2329796 7231247 | 2147483647 113389 58 | 2.810 % |
167.52/167.61 c | 114493 | 116936 2329796 7231247 | 2147483647 114352 58 | 2.810 % |
168.42/168.59 c | 115548 | 116936 2329796 7231247 | 2147483647 115407 58 | 2.810 % |
170.22/170.37 c | 116706 | 116936 2329796 7231247 | 2147483647 116565 59 | 2.810 % |
172.02/172.11 c | 117980 | 116936 2329796 7231247 | 2147483647 117839 60 | 2.810 % |
172.12/172.25 c | 118088 | 116936 2329796 7231247 | 2147483647 117947 60 | 2.810 % |
172.32/172.48 c | 118199 | 116936 2329796 7231247 | 2147483647 118058 60 | 2.810 % |
172.82/172.95 c | 118321 | 116936 2329796 7231247 | 2147483647 118180 60 | 2.810 % |
173.02/173.20 c | 118458 | 116936 2329796 7231247 | 2147483647 118317 60 | 2.810 % |
173.42/173.58 c | 118605 | 116936 2329796 7231247 | 2147483647 118464 60 | 2.810 % |
173.82/173.90 c | 118765 | 116936 2329796 7231247 | 2147483647 118624 60 | 2.810 % |
174.02/174.15 c | 118941 | 116936 2329796 7231247 | 2147483647 118800 60 | 2.810 % |
174.52/174.65 c | 119135 | 116936 2329796 7231247 | 2147483647 118994 60 | 2.810 % |
175.12/175.25 c | 119348 | 116936 2329796 7231247 | 2147483647 119207 60 | 2.810 % |
175.62/175.76 c | 119582 | 116936 2329796 7231247 | 2147483647 119441 60 | 2.810 % |
176.22/176.32 c | 119841 | 116936 2329796 7231247 | 2147483647 119700 60 | 2.810 % |
176.72/176.83 c | 120122 | 116936 2329796 7231247 | 2147483647 119981 60 | 2.810 % |
177.02/177.15 c | 120431 | 116936 2329796 7231247 | 2147483647 120290 60 | 2.810 % |
177.72/177.80 c | 120770 | 116936 2329796 7231247 | 2147483647 120629 60 | 2.810 % |
178.12/178.29 c | 121142 | 116936 2329796 7231247 | 2147483647 121001 60 | 2.810 % |
178.72/178.88 c | 121551 | 116936 2329796 7231247 | 2147483647 121410 60 | 2.810 % |
179.61/179.72 c | 122000 | 116936 2329796 7231247 | 2147483647 121859 60 | 2.810 % |
180.41/180.54 c | 122493 | 116936 2329796 7231247 | 2147483647 122352 60 | 2.810 % |
181.51/181.65 c | 123036 | 116936 2329796 7231247 | 2147483647 122895 60 | 2.810 % |
182.21/182.37 c | 123632 | 116936 2329796 7231247 | 2147483647 123491 60 | 2.810 % |
182.81/183.00 c | 124288 | 116936 2329796 7231247 | 2147483647 124147 60 | 2.810 % |
183.81/183.99 c | 125009 | 116936 2329796 7231247 | 2147483647 124868 60 | 2.810 % |
185.41/185.51 c | 125803 | 116936 2329796 7231247 | 2147483647 125662 60 | 2.810 % |
186.41/186.59 c | 126674 | 116936 2329796 7231247 | 2147483647 126533 60 | 2.810 % |
187.41/187.59 c | 127634 | 116936 2329796 7231247 | 2147483647 127493 60 | 2.810 % |
188.52/188.61 c | 128687 | 116936 2329796 7231247 | 2147483647 128546 60 | 2.810 % |
189.51/189.63 c | 129845 | 116936 2329796 7231247 | 2147483647 129704 60 | 2.810 % |
190.91/191.03 c | 131119 | 116936 2329796 7231247 | 2147483647 130978 61 | 2.810 % |
192.41/192.55 c | 132519 | 116936 2329796 7231247 | 2147483647 132378 61 | 2.810 % |
192.61/192.79 c | 132619 | 116936 2329796 7231247 | 2147483647 132478 61 | 2.810 % |
193.01/193.17 c | 132729 | 116936 2329796 7231247 | 2147483647 132588 61 | 2.810 % |
193.21/193.40 c | 132850 | 116936 2329796 7231247 | 2147483647 132709 61 | 2.810 % |
193.41/193.52 c | 132985 | 116936 2329796 7231247 | 2147483647 132844 61 | 2.810 % |
193.71/193.80 c | 133131 | 116936 2329796 7231247 | 2147483647 132990 61 | 2.810 % |
194.01/194.14 c | 133291 | 116936 2329796 7231247 | 2147483647 133150 61 | 2.810 % |
194.61/194.71 c | 133469 | 116936 2329796 7231247 | 2147483647 133328 61 | 2.810 % |
194.81/194.98 c | 133662 | 116936 2329796 7231247 | 2147483647 133521 61 | 2.810 % |
195.31/195.47 c | 133875 | 116936 2329796 7231247 | 2147483647 133734 61 | 2.810 % |
195.71/195.84 c | 134109 | 116936 2329796 7231247 | 2147483647 133968 61 | 2.810 % |
195.91/196.09 c | 134366 | 116936 2329796 7231247 | 2147483647 134225 61 | 2.810 % |
196.31/196.44 c | 134647 | 116936 2329796 7231247 | 2147483647 134506 61 | 2.810 % |
196.61/196.72 c | 134957 | 116936 2329796 7231247 | 2147483647 134816 61 | 2.810 % |
197.01/197.16 c | 135296 | 116936 2329796 7231247 | 2147483647 135155 61 | 2.810 % |
197.61/197.74 c | 135668 | 116936 2329796 7231247 | 2147483647 135527 61 | 2.810 % |
198.11/198.30 c | 136077 | 116936 2329796 7231247 | 2147483647 135936 61 | 2.810 % |
198.92/199.01 c | 136526 | 116936 2329796 7231247 | 2147483647 136385 61 | 2.810 % |
199.41/199.57 c | 137019 | 116936 2329796 7231247 | 2147483647 136878 61 | 2.810 % |
200.31/200.46 c | 137563 | 116936 2329796 7231247 | 2147483647 137422 61 | 2.810 % |
201.41/201.51 c | 138164 | 116936 2329796 7231247 | 2147483647 138023 61 | 2.810 % |
202.11/202.30 c | 138820 | 116936 2329796 7231247 | 2147483647 138679 61 | 2.810 % |
203.11/203.25 c | 139540 | 116936 2329796 7231247 | 2147483647 139399 61 | 2.810 % |
204.41/204.59 c | 140332 | 116936 2329796 7231247 | 2147483647 140191 61 | 2.810 % |
205.40/205.59 c | 141204 | 116936 2329796 7231247 | 2147483647 141063 61 | 2.810 % |
206.40/206.55 c | 142162 | 116936 2329796 7231247 | 2147483647 142021 61 | 2.810 % |
207.41/207.56 c | 143215 | 116936 2329796 7231247 | 2147483647 143074 61 | 2.810 % |
208.61/208.78 c | 144377 | 116936 2329796 7231247 | 2147483647 144236 62 | 2.810 % |
209.81/209.92 c | 145650 | 116936 2329796 7231247 | 2147483647 145509 62 | 2.810 % |
210.61/210.73 c | 147050 | 116936 2329796 7231247 | 2147483647 146909 62 | 2.810 % |
212.81/212.96 c | 148591 | 116936 2329796 7231247 | 2147483647 148450 62 | 2.810 % |
213.11/213.26 c | 148693 | 116936 2329796 7231247 | 2147483647 148552 62 | 2.810 % |
213.41/213.58 c | 148803 | 116936 2329796 7231247 | 2147483647 148662 62 | 2.810 % |
213.61/213.73 c | 148925 | 116936 2329796 7231247 | 2147483647 148784 62 | 2.810 % |
213.80/213.92 c | 149059 | 116936 2329796 7231247 | 2147483647 148918 62 | 2.810 % |
214.20/214.30 c | 149210 | 116936 2329796 7231247 | 2147483647 149069 62 | 2.810 % |
214.31/214.50 c | 149373 | 116936 2329796 7231247 | 2147483647 149232 62 | 2.810 % |
214.60/214.76 c | 149549 | 116936 2329796 7231247 | 2147483647 149408 62 | 2.810 % |
215.00/215.18 c | 149743 | 116936 2329796 7231247 | 2147483647 149602 62 | 2.810 % |
215.30/215.45 c | 149955 | 116936 2329796 7231247 | 2147483647 149814 62 | 2.810 % |
215.60/215.79 c | 150188 | 116936 2329796 7231247 | 2147483647 150047 62 | 2.810 % |
216.00/216.19 c | 150444 | 116936 2329796 7231247 | 2147483647 150303 62 | 2.810 % |
216.30/216.45 c | 150727 | 116936 2329796 7231247 | 2147483647 150586 62 | 2.810 % |
216.80/216.97 c | 151037 | 116936 2329796 7231247 | 2147483647 150896 62 | 2.810 % |
217.80/217.93 c | 151376 | 116936 2329796 7231247 | 2147483647 151235 62 | 2.810 % |
218.40/218.58 c | 151748 | 116936 2329796 7231247 | 2147483647 151607 62 | 2.810 % |
218.71/218.90 c | 152158 | 116936 2329796 7231247 | 2147483647 152017 62 | 2.810 % |
219.50/219.66 c | 152607 | 116936 2329796 7231247 | 2147483647 152466 62 | 2.810 % |
220.50/220.62 c | 153103 | 116936 2329796 7231247 | 2147483647 152962 62 | 2.810 % |
221.10/221.22 c | 153645 | 116936 2329796 7231247 | 2147483647 153504 62 | 2.810 % |
221.79/221.91 c | 154242 | 116936 2329796 7231247 | 2147483647 154101 62 | 2.810 % |
222.69/222.80 c | 154899 | 116936 2329796 7231247 | 2147483647 154758 62 | 2.810 % |
223.10/223.27 c | 155619 | 116936 2329796 7231247 | 2147483647 155478 63 | 2.810 % |
223.79/223.92 c | 156412 | 116936 2329796 7231247 | 2147483647 156271 63 | 2.810 % |
225.30/225.49 c | 157287 | 116936 2329796 7231247 | 2147483647 157146 63 | 2.810 % |
226.30/226.44 c | 158246 | 116936 2329796 7231247 | 2147483647 158105 63 | 2.810 % |
227.40/227.60 c | 159301 | 116936 2329796 7231247 | 2147483647 159160 64 | 2.810 % |
228.80/228.90 c | 160459 | 116936 2329796 7231247 | 2147483647 160318 64 | 2.810 % |
230.10/230.25 c | 161733 | 116936 2329796 7231247 | 2147483647 161592 64 | 2.810 % |
231.90/232.10 c | 163133 | 116936 2329796 7231247 | 2147483647 162992 64 | 2.810 % |
233.99/234.12 c | 164673 | 116936 2329796 7231247 | 2147483647 164532 65 | 2.810 % |
235.39/235.50 c | 166369 | 116936 2329796 7231247 | 2147483647 166228 65 | 2.810 % |
235.59/235.78 c | 166469 | 116936 2329796 7231247 | 2147483647 166328 65 | 2.810 % |
235.89/236.01 c | 166579 | 116936 2329796 7231247 | 2147483647 166438 65 | 2.810 % |
236.09/236.21 c | 166701 | 116936 2329796 7231247 | 2147483647 166560 65 | 2.810 % |
236.19/236.36 c | 166834 | 116936 2329796 7231247 | 2147483647 166693 65 | 2.810 % |
236.59/236.79 c | 166980 | 116936 2329796 7231247 | 2147483647 166839 65 | 2.810 % |
236.89/237.05 c | 167140 | 116936 2329796 7231247 | 2147483647 166999 65 | 2.810 % |
237.09/237.26 c | 167316 | 116936 2329796 7231247 | 2147483647 167175 65 | 2.810 % |
237.28/237.44 c | 167509 | 116936 2329796 7231247 | 2147483647 167368 65 | 2.810 % |
237.98/238.10 c | 167721 | 116936 2329796 7231247 | 2147483647 167580 65 | 2.810 % |
238.28/238.46 c | 167955 | 116936 2329796 7231247 | 2147483647 167814 65 | 2.810 % |
239.18/239.33 c | 168211 | 116936 2329796 7231247 | 2147483647 168070 65 | 2.810 % |
239.48/239.67 c | 168492 | 116936 2329796 7231247 | 2147483647 168351 65 | 2.810 % |
239.98/240.18 c | 168801 | 116936 2329796 7231247 | 2147483647 168660 65 | 2.810 % |
240.29/240.46 c | 169141 | 116936 2329796 7231247 | 2147483647 169000 65 | 2.810 % |
241.09/241.20 c | 169514 | 116936 2329796 7231247 | 2147483647 169373 65 | 2.810 % |
241.59/241.72 c | 169924 | 116936 2329796 7231247 | 2147483647 169783 65 | 2.810 % |
242.79/242.91 c | 170373 | 116936 2329796 7231247 | 2147483647 170232 65 | 2.810 % |
243.19/243.37 c | 170866 | 116936 2329796 7231247 | 2147483647 170725 65 | 2.810 % |
243.69/243.80 c | 171409 | 116936 2329796 7231247 | 2147483647 171268 65 | 2.810 % |
244.29/244.45 c | 172005 | 116936 2329796 7231247 | 2147483647 171864 65 | 2.810 % |
245.29/245.45 c | 172661 | 116936 2329796 7231247 | 2147483647 172520 65 | 2.810 % |
246.09/246.25 c | 173381 | 116936 2329796 7231247 | 2147483647 173240 65 | 2.810 % |
246.99/247.12 c | 174174 | 116936 2329796 7231247 | 2147483647 174033 65 | 2.810 % |
247.99/248.16 c | 175045 | 116936 2329796 7231247 | 2147483647 174904 65 | 2.810 % |
249.18/249.30 c | 176003 | 116936 2329796 7231247 | 2147483647 175862 66 | 2.810 % |
250.38/250.55 c | 177058 | 116936 2329796 7231247 | 2147483647 176917 66 | 2.810 % |
252.49/252.62 c | 178217 | 116936 2329796 7231247 | 2147483647 178076 66 | 2.810 % |
253.99/254.11 c | 179490 | 116936 2329796 7231247 | 2147483647 179349 66 | 2.810 % |
255.78/255.94 c | 180893 | 116936 2329796 7231247 | 2147483647 180752 67 | 2.810 % |
257.08/257.30 c | 182434 | 116936 2329796 7231247 | 2147483647 182293 67 | 2.810 % |
259.08/259.27 c | 184128 | 116936 2329796 7231247 | 2147483647 183987 67 | 2.810 % |
262.38/262.59 c | 185992 | 116936 2329796 7231247 | 2147483647 185851 67 | 2.810 % |
262.59/262.80 c | 186092 | 116936 2329796 7231247 | 2147483647 185951 67 | 2.810 % |
262.98/263.18 c | 186205 | 116936 2329796 7231247 | 2147483647 186064 67 | 2.810 % |
263.28/263.45 c | 186326 | 116936 2329796 7231247 | 2147483647 186185 67 | 2.810 % |
263.58/263.74 c | 186459 | 116936 2329796 7231247 | 2147483647 186318 67 | 2.810 % |
263.79/263.96 c | 186606 | 116936 2329796 7231247 | 2147483647 186465 67 | 2.810 % |
264.08/264.21 c | 186766 | 116936 2329796 7231247 | 2147483647 186625 67 | 2.810 % |
264.28/264.46 c | 186942 | 116936 2329796 7231247 | 2147483647 186801 67 | 2.810 % |
264.58/264.78 c | 187135 | 116936 2329796 7231247 | 2147483647 186994 67 | 2.810 % |
264.89/265.06 c | 187348 | 116936 2329796 7231247 | 2147483647 187207 67 | 2.810 % |
265.28/265.49 c | 187581 | 116936 2329796 7231247 | 2147483647 187440 67 | 2.810 % |
266.09/266.28 c | 187838 | 116936 2329796 7231247 | 2147483647 187697 67 | 2.810 % |
266.48/266.65 c | 188120 | 116936 2329796 7231247 | 2147483647 187979 67 | 2.810 % |
266.78/266.90 c | 188431 | 116936 2329796 7231247 | 2147483647 188290 67 | 2.810 % |
267.38/267.59 c | 188771 | 116936 2329796 7231247 | 2147483647 188630 67 | 2.810 % |
268.08/268.24 c | 189143 | 116936 2329796 7231247 | 2147483647 189002 67 | 2.810 % |
268.68/268.80 c | 189552 | 116936 2329796 7231247 | 2147483647 189411 67 | 2.810 % |
269.67/269.84 c | 190001 | 116936 2329796 7231247 | 2147483647 189860 68 | 2.810 % |
270.57/270.78 c | 190494 | 116936 2329796 7231247 | 2147483647 190353 68 | 2.810 % |
271.77/271.94 c | 191036 | 116936 2329796 7231247 | 2147483647 190895 68 | 2.810 % |
272.78/272.96 c | 191638 | 116936 2329796 7231247 | 2147483647 191497 68 | 2.810 % |
273.58/273.72 c | 192293 | 116936 2329796 7231247 | 2147483647 192152 68 | 2.810 % |
274.78/274.91 c | 193017 | 116936 2329796 7231247 | 2147483647 192876 68 | 2.810 % |
275.68/275.87 c | 193809 | 116936 2329796 7231247 | 2147483647 193668 68 | 2.810 % |
277.58/277.79 c | 194682 | 116936 2329796 7231247 | 2147483647 194541 68 | 2.810 % |
278.48/278.61 c | 195641 | 116936 2329796 7231247 | 2147483647 195500 68 | 2.810 % |
280.17/280.36 c | 196694 | 116936 2329796 7231247 | 2147483647 196553 68 | 2.810 % |
281.07/281.28 c | 197854 | 116936 2329796 7231247 | 2147483647 197713 68 | 2.810 % |
282.37/282.51 c | 199130 | 116936 2329796 7231247 | 2147483647 198989 69 | 2.810 % |
283.97/284.14 c | 200533 | 116936 2329796 7231247 | 2147483647 200392 69 | 2.810 % |
285.78/285.99 c | 202073 | 116936 2329796 7231247 | 2147483647 201932 69 | 2.810 % |
287.27/287.45 c | 203768 | 116936 2329796 7231247 | 2147483647 203627 69 | 2.810 % |
289.77/289.94 c | 205631 | 116936 2329796 7231247 | 2147483647 205490 70 | 2.810 % |
292.17/292.36 c | 207680 | 116936 2329796 7231247 | 2147483647 207539 70 | 2.810 % |
292.38/292.55 c | 207780 | 116936 2329796 7231247 | 2147483647 207639 70 | 2.810 % |
292.48/292.68 c | 207892 | 116936 2329796 7231247 | 2147483647 207751 70 | 2.810 % |
292.77/292.98 c | 208013 | 116936 2329796 7231247 | 2147483647 207872 70 | 2.810 % |
293.27/293.45 c | 208147 | 116936 2329796 7231247 | 2147483647 208006 70 | 2.810 % |
293.48/293.65 c | 208293 | 116936 2329796 7231247 | 2147483647 208152 70 | 2.810 % |
294.07/294.22 c | 208454 | 116936 2329796 7231247 | 2147483647 208313 70 | 2.810 % |
294.27/294.41 c | 208630 | 116936 2329796 7231247 | 2147483647 208489 70 | 2.810 % |
294.58/294.71 c | 208828 | 116936 2329796 7231247 | 2147483647 208687 70 | 2.810 % |
294.87/295.01 c | 209043 | 116936 2329796 7231247 | 2147483647 208902 70 | 2.810 % |
295.27/295.43 c | 209276 | 116936 2329796 7231247 | 2147483647 209135 70 | 2.810 % |
295.97/296.12 c | 209533 | 116936 2329796 7231247 | 2147483647 209392 70 | 2.810 % |
296.97/297.13 c | 209814 | 116936 2329796 7231247 | 2147483647 209673 70 | 2.810 % |
297.47/297.60 c | 210123 | 116936 2329796 7231247 | 2147483647 209982 70 | 2.810 % |
297.97/298.18 c | 210466 | 116936 2329796 7231247 | 2147483647 210325 70 | 2.810 % |
298.57/298.74 c | 210838 | 116936 2329796 7231247 | 2147483647 210697 70 | 2.810 % |
299.17/299.38 c | 211250 | 116936 2329796 7231247 | 2147483647 211109 70 | 2.810 % |
299.87/300.02 c | 211701 | 116936 2329796 7231247 | 2147483647 211560 70 | 2.810 % |
300.57/300.72 c | 212195 | 116936 2329796 7231247 | 2147483647 212054 70 | 2.810 % |
301.27/301.49 c | 212738 | 116936 2329796 7231247 | 2147483647 212597 70 | 2.810 % |
302.37/302.52 c | 213335 | 116936 2329796 7231247 | 2147483647 213194 70 | 2.810 % |
302.97/303.18 c | 213990 | 116936 2329796 7231247 | 2147483647 213849 70 | 2.810 % |
303.77/303.94 c | 214710 | 116936 2329796 7231247 | 2147483647 214569 70 | 2.810 % |
304.77/304.96 c | 215502 | 116936 2329796 7231247 | 2147483647 215361 70 | 2.810 % |
306.27/306.48 c | 216373 | 116936 2329796 7231247 | 2147483647 216232 70 | 2.810 % |
306.87/307.03 c | 217332 | 116936 2329796 7231247 | 2147483647 217191 70 | 2.810 % |
308.07/308.22 c | 218385 | 116936 2329796 7231247 | 2147483647 218244 70 | 2.810 % |
309.87/310.02 c | 219543 | 116936 2329796 7231247 | 2147483647 219402 70 | 2.810 % |
311.37/311.56 c | 220816 | 116936 2329796 7231247 | 2147483647 220675 70 | 2.810 % |
313.37/313.50 c | 222217 | 116936 2329796 7231247 | 2147483647 222076 70 | 2.810 % |
314.56/314.75 c | 223758 | 116936 2329796 7231247 | 2147483647 223617 71 | 2.810 % |
315.97/316.12 c | 225454 | 116936 2329796 7231247 | 2147483647 225313 72 | 2.810 % |
317.67/317.89 c | 227317 | 116936 2329796 7231247 | 2147483647 227176 73 | 2.810 % |
321.16/321.32 c | 229367 | 116936 2329796 7231247 | 2147483647 229226 73 | 2.810 % |
323.57/323.77 c | 231620 | 116936 2329796 7231247 | 2147483647 231479 74 | 2.810 % |
323.76/323.99 c | 231721 | 116936 2329796 7231247 | 2147483647 231580 74 | 2.810 % |
324.06/324.24 c | 231836 | 116936 2329796 7231247 | 2147483647 231695 74 | 2.810 % |
324.46/324.67 c | 231959 | 116936 2329796 7231247 | 2147483647 231818 74 | 2.810 % |
324.96/325.11 c | 232092 | 116936 2329796 7231247 | 2147483647 231951 74 | 2.810 % |
325.26/325.42 c | 232238 | 116936 2329796 7231247 | 2147483647 232097 74 | 2.810 % |
325.76/325.93 c | 232400 | 116936 2329796 7231247 | 2147483647 232259 74 | 2.810 % |
326.06/326.23 c | 232576 | 116936 2329796 7231247 | 2147483647 232435 74 | 2.810 % |
326.76/326.95 c | 232769 | 116936 2329796 7231247 | 2147483647 232628 74 | 2.810 % |
327.16/327.37 c | 232981 | 116936 2329796 7231247 | 2147483647 232840 74 | 2.810 % |
327.56/327.76 c | 233222 | 116936 2329796 7231247 | 2147483647 233081 74 | 2.810 % |
327.86/328.00 c | 233479 | 116936 2329796 7231247 | 2147483647 233338 74 | 2.810 % |
328.46/328.62 c | 233763 | 116936 2329796 7231247 | 2147483647 233622 74 | 2.810 % |
328.76/328.96 c | 234072 | 116936 2329796 7231247 | 2147483647 233931 74 | 2.810 % |
329.46/329.64 c | 234412 | 116936 2329796 7231247 | 2147483647 234271 74 | 2.810 % |
329.96/330.12 c | 234784 | 116936 2329796 7231247 | 2147483647 234643 74 | 2.810 % |
331.26/331.44 c | 235201 | 116936 2329796 7231247 | 2147483647 235060 74 | 2.810 % |
331.76/331.90 c | 235650 | 116936 2329796 7231247 | 2147483647 235509 74 | 2.810 % |
332.46/332.62 c | 236144 | 116936 2329796 7231247 | 2147483647 236003 74 | 2.810 % |
333.46/333.63 c | 236686 | 116936 2329796 7231247 | 2147483647 236545 74 | 2.810 % |
334.06/334.25 c | 237283 | 116936 2329796 7231247 | 2147483647 237142 74 | 2.810 % |
335.15/335.32 c | 237938 | 116936 2329796 7231247 | 2147483647 237797 74 | 2.810 % |
336.65/336.83 c | 238659 | 116936 2329796 7231247 | 2147483647 238518 74 | 2.810 % |
337.65/337.89 c | 239454 | 116936 2329796 7231247 | 2147483647 239313 74 | 2.810 % |
339.25/339.41 c | 240326 | 116936 2329796 7231247 | 2147483647 240185 74 | 2.810 % |
340.46/340.68 c | 241286 | 116936 2329796 7231247 | 2147483647 241145 74 | 2.810 % |
342.36/342.55 c | 242339 | 116936 2329796 7231247 | 2147483647 242198 75 | 2.810 % |
343.65/343.87 c | 243498 | 116936 2329796 7231247 | 2147483647 243357 75 | 2.810 % |
345.45/345.65 c | 244772 | 116936 2329796 7231247 | 2147483647 244631 75 | 2.810 % |
346.75/346.97 c | 246173 | 116936 2329796 7231247 | 2147483647 246032 75 | 2.810 % |
349.14/349.39 c | 247713 | 116936 2329796 7231247 | 2147483647 247572 75 | 2.810 % |
350.55/350.77 c | 249407 | 116936 2329796 7231247 | 2147483647 249266 75 | 2.810 % |
352.75/352.92 c | 251271 | 116936 2329796 7231247 | 2147483647 251130 76 | 2.810 % |
355.25/355.48 c | 253320 | 116936 2329796 7231247 | 2147483647 253179 76 | 2.810 % |
357.44/357.63 c | 255573 | 116936 2329796 7231247 | 2147483647 255432 76 | 2.810 % |
360.25/360.48 c | 258051 | 116936 2329796 7231247 | 2147483647 257910 79 | 2.810 % |
360.55/360.72 c | 258151 | 116936 2329796 7231247 | 2147483647 258010 79 | 2.810 % |
360.95/361.12 c | 258262 | 116936 2329796 7231247 | 2147483647 258121 79 | 2.810 % |
361.25/361.47 c | 258383 | 116936 2329796 7231247 | 2147483647 258242 79 | 2.810 % |
361.65/361.85 c | 258518 | 116936 2329796 7231247 | 2147483647 258377 79 | 2.810 % |
361.95/362.13 c | 258668 | 116936 2329796 7231247 | 2147483647 258527 78 | 2.810 % |
362.05/362.29 c | 258828 | 116936 2329796 7231247 | 2147483647 258687 78 | 2.810 % |
362.65/362.83 c | 259004 | 116936 2329796 7231247 | 2147483647 258863 78 | 2.810 % |
363.35/363.53 c | 259197 | 116936 2329796 7231247 | 2147483647 259056 78 | 2.810 % |
363.65/363.88 c | 259409 | 116936 2329796 7231247 | 2147483647 259268 78 | 2.810 % |
364.55/364.73 c | 259643 | 116936 2329796 7231247 | 2147483647 259502 78 | 2.810 % |
364.85/365.04 c | 259899 | 116936 2329796 7231247 | 2147483647 259758 78 | 2.810 % |
365.35/365.55 c | 260181 | 116936 2329796 7231247 | 2147483647 260040 78 | 2.810 % |
365.75/365.92 c | 260490 | 116936 2329796 7231247 | 2147483647 260349 79 | 2.810 % |
366.45/366.70 c | 260829 | 116936 2329796 7231247 | 2147483647 260688 79 | 2.810 % |
367.15/367.32 c | 261201 | 116936 2329796 7231247 | 2147483647 261060 79 | 2.810 % |
367.34/367.56 c | 261611 | 116936 2329796 7231247 | 2147483647 261470 79 | 2.810 % |
367.84/368.03 c | 262060 | 116936 2329796 7231247 | 2147483647 261919 79 | 2.810 % |
368.64/368.82 c | 262553 | 116936 2329796 7231247 | 2147483647 262412 79 | 2.810 % |
369.64/369.80 c | 263095 | 116936 2329796 7231247 | 2147483647 262954 79 | 2.810 % |
370.84/371.06 c | 263691 | 116936 2329796 7231247 | 2147483647 263550 79 | 2.810 % |
371.64/371.83 c | 264346 | 116936 2329796 7231247 | 2147483647 264205 79 | 2.810 % |
372.34/372.54 c | 265066 | 116936 2329796 7231247 | 2147483647 264925 79 | 2.810 % |
374.04/374.24 c | 265858 | 116936 2329796 7231247 | 2147483647 265717 79 | 2.810 % |
375.04/375.27 c | 266731 | 116936 2329796 7231247 | 2147483647 266590 80 | 2.810 % |
376.14/376.31 c | 267689 | 116936 2329796 7231247 | 2147483647 267548 80 | 2.810 % |
377.04/377.25 c | 268742 | 116936 2329796 7231247 | 2147483647 268601 80 | 2.810 % |
379.14/379.30 c | 269901 | 116936 2329796 7231247 | 2147483647 269760 80 | 2.810 % |
380.84/381.09 c | 271174 | 116936 2329796 7231247 | 2147483647 271033 80 | 2.810 % |
382.54/382.70 c | 272574 | 116936 2329796 7231247 | 2147483647 272433 81 | 2.810 % |
385.24/385.40 c | 274114 | 116936 2329796 7231247 | 2147483647 273973 81 | 2.810 % |
387.44/387.60 c | 275808 | 116936 2329796 7231247 | 2147483647 275667 81 | 2.810 % |
389.93/390.11 c | 277671 | 116936 2329796 7231247 | 2147483647 277530 81 | 2.810 % |
392.73/392.96 c | 279720 | 116936 2329796 7231247 | 2147483647 279579 81 | 2.810 % |
395.14/395.36 c | 281974 | 116936 2329796 7231247 | 2147483647 281833 82 | 2.810 % |
398.73/398.91 c | 284453 | 116936 2329796 7231247 | 2147483647 284312 82 | 2.810 % |
401.23/401.50 c | 287179 | 116936 2329796 7231247 | 2147483647 287038 82 | 2.810 % |
401.53/401.79 c | 287280 | 116936 2329796 7231247 | 2147483647 287139 82 | 2.810 % |
401.73/401.95 c | 287390 | 116936 2329796 7231247 | 2147483647 287249 82 | 2.810 % |
402.23/402.41 c | 287511 | 116936 2329796 7231247 | 2147483647 287370 82 | 2.810 % |
402.63/402.84 c | 287644 | 116936 2329796 7231247 | 2147483647 287503 82 | 2.810 % |
402.93/403.14 c | 287791 | 116936 2329796 7231247 | 2147483647 287650 82 | 2.810 % |
403.33/403.59 c | 287951 | 116936 2329796 7231247 | 2147483647 287810 82 | 2.810 % |
403.63/403.81 c | 288128 | 116936 2329796 7231247 | 2147483647 287987 82 | 2.810 % |
404.13/404.35 c | 288322 | 116936 2329796 7231247 | 2147483647 288181 82 | 2.810 % |
404.33/404.57 c | 288537 | 116936 2329796 7231247 | 2147483647 288396 82 | 2.810 % |
405.43/405.67 c | 288771 | 116936 2329796 7231247 | 2147483647 288630 82 | 2.810 % |
406.03/406.21 c | 289027 | 116936 2329796 7231247 | 2147483647 288886 82 | 2.810 % |
406.73/406.98 c | 289308 | 116936 2329796 7231247 | 2147483647 289167 82 | 2.810 % |
407.13/407.35 c | 289617 | 116936 2329796 7231247 | 2147483647 289476 82 | 2.810 % |
407.43/407.69 c | 289957 | 116936 2329796 7231247 | 2147483647 289816 82 | 2.810 % |
408.43/408.63 c | 290329 | 116936 2329796 7231247 | 2147483647 290188 82 | 2.810 % |
408.82/409.03 c | 290738 | 116936 2329796 7231247 | 2147483647 290597 82 | 2.810 % |
409.22/409.47 c | 291187 | 116936 2329796 7231247 | 2147483647 291046 82 | 2.810 % |
409.72/409.98 c | 291680 | 116936 2329796 7231247 | 2147483647 291539 82 | 2.810 % |
410.42/410.64 c | 292222 | 116936 2329796 7231247 | 2147483647 292081 82 | 2.810 % |
411.02/411.27 c | 292818 | 116936 2329796 7231247 | 2147483647 292677 82 | 2.810 % |
412.02/412.22 c | 293473 | 116936 2329796 7231247 | 2147483647 293332 82 | 2.810 % |
413.02/413.22 c | 294193 | 116936 2329796 7231247 | 2147483647 294052 82 | 2.810 % |
414.02/414.24 c | 294985 | 116936 2329796 7231247 | 2147483647 294844 82 | 2.810 % |
415.33/415.51 c | 295857 | 116936 2329796 7231247 | 2147483647 295716 82 | 2.810 % |
416.23/416.49 c | 296815 | 116936 2329796 7231247 | 2147483647 296674 83 | 2.810 % |
417.83/418.01 c | 297868 | 116936 2329796 7231247 | 2147483647 297727 83 | 2.810 % |
419.82/420.07 c | 299026 | 116936 2329796 7231247 | 2147483647 298885 83 | 2.810 % |
422.62/422.88 c | 300299 | 116936 2329796 7231247 | 2147483647 300158 83 | 2.810 % |
424.42/424.64 c | 301699 | 116936 2329796 7231247 | 2147483647 301558 82 | 2.810 % |
426.22/426.40 c | 303240 | 116936 2329796 7231247 | 2147483647 303099 82 | 2.810 % |
428.03/428.24 c | 304935 | 116936 2329796 7231247 | 2147483647 304794 83 | 2.810 % |
429.72/429.90 c | 306798 | 116936 2329796 7231247 | 2147483647 306657 83 | 2.810 % |
432.22/432.46 c | 308849 | 116936 2329796 7231247 | 2147483647 308708 83 | 2.810 % |
434.52/434.78 c | 311102 | 116936 2329796 7231247 | 2147483647 310961 83 | 2.810 % |
439.42/439.68 c | 313580 | 116935 2329780 7231215 | 2147483647 313438 84 | 2.811 % |
444.71/444.98 c | 316307 | 116935 2329780 7231215 | 2147483647 316165 85 | 2.811 % |
448.21/448.44 c | 319304 | 116935 2329780 7231215 | 2147483647 319162 86 | 2.811 % |
448.41/448.68 c | 319408 | 116935 2329780 7231215 | 2147483647 319266 86 | 2.811 % |
448.81/449.02 c | 319518 | 116935 2329780 7231215 | 2147483647 319376 86 | 2.811 % |
449.01/449.25 c | 319639 | 116935 2329780 7231215 | 2147483647 319497 86 | 2.811 % |
449.41/449.65 c | 319772 | 116935 2329780 7231215 | 2147483647 319630 86 | 2.811 % |
449.81/450.06 c | 319918 | 116935 2329780 7231215 | 2147483647 319776 86 | 2.811 % |
450.11/450.33 c | 320078 | 116935 2329780 7231215 | 2147483647 319936 86 | 2.811 % |
450.52/450.79 c | 320256 | 116935 2329780 7231215 | 2147483647 320114 86 | 2.811 % |
451.12/451.40 c | 320449 | 116935 2329780 7231215 | 2147483647 320307 86 | 2.811 % |
451.52/451.79 c | 320662 | 116935 2329780 7231215 | 2147483647 320520 86 | 2.811 % |
452.02/452.20 c | 320897 | 116935 2329780 7231215 | 2147483647 320755 86 | 2.811 % |
452.52/452.72 c | 321154 | 116935 2329780 7231215 | 2147483647 321012 86 | 2.811 % |
452.92/453.16 c | 321437 | 116935 2329780 7231215 | 2147483647 321295 86 | 2.811 % |
453.52/453.70 c | 321746 | 116935 2329780 7231215 | 2147483647 321604 86 | 2.811 % |
454.22/454.49 c | 322085 | 116935 2329780 7231215 | 2147483647 321943 86 | 2.811 % |
455.22/455.46 c | 322458 | 116935 2329780 7231215 | 2147483647 322316 86 | 2.811 % |
456.22/456.43 c | 322868 | 116935 2329780 7231215 | 2147483647 322726 86 | 2.811 % |
456.71/456.96 c | 323319 | 116935 2329780 7231215 | 2147483647 323177 86 | 2.811 % |
457.31/457.51 c | 323812 | 116935 2329780 7231215 | 2147483647 323670 86 | 2.811 % |
457.71/457.90 c | 324356 | 116935 2329780 7231215 | 2147483647 324214 86 | 2.811 % |
458.51/458.75 c | 324953 | 116935 2329780 7231215 | 2147483647 324811 86 | 2.811 % |
459.11/459.36 c | 325608 | 116935 2329780 7231215 | 2147483647 325466 86 | 2.811 % |
459.91/460.15 c | 326329 | 116935 2329780 7231215 | 2147483647 326187 86 | 2.811 % |
461.51/461.73 c | 327121 | 116935 2329780 7231215 | 2147483647 326979 86 | 2.811 % |
463.11/463.30 c | 327992 | 116935 2329780 7231215 | 2147483647 327850 86 | 2.811 % |
464.21/464.47 c | 328950 | 116935 2329780 7231215 | 2147483647 328808 86 | 2.811 % |
466.31/466.56 c | 330003 | 116935 2329780 7231215 | 2147483647 329861 86 | 2.811 % |
468.50/468.70 c | 331162 | 116935 2329780 7231215 | 2147483647 331020 87 | 2.811 % |
470.01/470.25 c | 332436 | 116935 2329780 7231215 | 2147483647 332294 87 | 2.811 % |
471.50/471.73 c | 333836 | 116935 2329780 7231215 | 2147483647 333694 88 | 2.811 % |
474.71/474.93 c | 335380 | 116935 2329780 7231215 | 2147483647 335238 88 | 2.811 % |
476.81/477.00 c | 337075 | 116935 2329780 7231215 | 2147483647 336933 88 | 2.811 % |
480.10/480.37 c | 338939 | 116935 2329780 7231215 | 2147483647 338797 88 | 2.811 % |
482.70/482.93 c | 340990 | 116935 2329780 7231215 | 2147483647 340848 88 | 2.811 % |
485.00/485.21 c | 343244 | 116935 2329780 7231215 | 2147483647 343102 89 | 2.811 % |
487.60/487.86 c | 345723 | 116935 2329780 7231215 | 2147483647 345581 89 | 2.811 % |
490.50/490.76 c | 348449 | 116935 2329780 7231215 | 2147483647 348307 89 | 2.811 % |
493.39/493.68 c | 351448 | 116935 2329780 7231215 | 2147483647 351306 88 | 2.811 % |
499.40/499.66 c | 354745 | 116935 2329780 7231215 | 2147483647 354603 89 | 2.811 % |
499.70/499.93 c | 354845 | 116935 2329780 7231215 | 2147483647 354703 89 | 2.811 % |
500.10/500.35 c | 354956 | 116935 2329780 7231215 | 2147483647 354814 89 | 2.811 % |
500.30/500.55 c | 355077 | 116935 2329780 7231215 | 2147483647 354935 89 | 2.811 % |
501.00/501.28 c | 355211 | 116935 2329780 7231215 | 2147483647 355069 89 | 2.811 % |
501.80/502.03 c | 355358 | 116935 2329780 7231215 | 2147483647 355216 89 | 2.811 % |
502.10/502.38 c | 355518 | 116935 2329780 7231215 | 2147483647 355376 89 | 2.811 % |
502.69/502.94 c | 355694 | 116935 2329780 7231215 | 2147483647 355552 89 | 2.811 % |
502.89/503.17 c | 355888 | 116935 2329780 7231215 | 2147483647 355746 89 | 2.811 % |
503.39/503.63 c | 356103 | 116935 2329780 7231215 | 2147483647 355961 89 | 2.811 % |
503.99/504.26 c | 356336 | 116935 2329780 7231215 | 2147483647 356194 88 | 2.811 % |
504.49/504.70 c | 356592 | 116935 2329780 7231215 | 2147483647 356450 88 | 2.811 % |
505.09/505.34 c | 356875 | 116935 2329780 7231215 | 2147483647 356733 88 | 2.811 % |
505.70/505.95 c | 357184 | 116935 2329780 7231215 | 2147483647 357042 88 | 2.811 % |
506.39/506.60 c | 357523 | 116935 2329780 7231215 | 2147483647 357381 88 | 2.811 % |
507.19/507.49 c | 357895 | 116935 2329780 7231215 | 2147483647 357753 89 | 2.811 % |
507.79/508.00 c | 358305 | 116935 2329780 7231215 | 2147483647 358163 88 | 2.811 % |
508.49/508.73 c | 358754 | 116935 2329780 7231215 | 2147483647 358612 88 | 2.811 % |
509.29/509.52 c | 359252 | 116935 2329780 7231215 | 2147483647 359110 88 | 2.811 % |
509.89/510.18 c | 359794 | 116935 2329780 7231215 | 2147483647 359652 88 | 2.811 % |
510.79/511.10 c | 360391 | 116935 2329780 7231215 | 2147483647 360249 88 | 2.811 % |
511.80/512.06 c | 361046 | 116935 2329780 7231215 | 2147483647 360904 88 | 2.811 % |
512.70/512.90 c | 361766 | 116935 2329780 7231215 | 2147483647 361624 88 | 2.811 % |
513.69/513.93 c | 362559 | 116935 2329780 7231215 | 2147483647 362417 88 | 2.811 % |
514.89/515.13 c | 363431 | 116935 2329780 7231215 | 2147483647 363289 88 | 2.811 % |
517.19/517.42 c | 364389 | 116935 2329780 7231215 | 2147483647 364247 88 | 2.811 % |
518.48/518.74 c | 365443 | 116935 2329780 7231215 | 2147483647 365301 89 | 2.811 % |
520.69/520.98 c | 366601 | 116935 2329780 7231215 | 2147483647 366459 89 | 2.811 % |
522.09/522.33 c | 367875 | 116935 2329780 7231215 | 2147483647 367733 89 | 2.811 % |
524.99/525.20 c | 369276 | 116935 2329780 7231215 | 2147483647 369134 89 | 2.811 % |
527.09/527.36 c | 370817 | 116935 2329780 7231215 | 2147483647 370675 89 | 2.811 % |
528.58/528.88 c | 372511 | 116935 2329780 7231215 | 2147483647 372369 89 | 2.811 % |
532.19/532.45 c | 374374 | 116935 2329780 7231215 | 2147483647 374232 89 | 2.811 % |
534.29/534.60 c | 376424 | 116935 2329780 7231215 | 2147483647 376282 89 | 2.811 % |
537.59/537.88 c | 378677 | 116935 2329780 7231215 | 2147483647 378535 89 | 2.811 % |
539.59/539.90 c | 381157 | 116935 2329780 7231215 | 2147483647 381015 89 | 2.811 % |
544.08/544.32 c | 383882 | 116935 2329780 7231215 | 2147483647 383740 89 | 2.811 % |
547.08/547.34 c | 386880 | 116935 2329780 7231215 | 2147483647 386738 89 | 2.811 % |
551.18/551.43 c | 390177 | 116935 2329780 7231215 | 2147483647 390035 89 | 2.811 % |
556.29/556.58 c | 393806 | 116935 2329780 7231215 | 2147483647 393664 89 | 2.811 % |
556.48/556.79 c | 393906 | 116935 2329780 7231215 | 2147483647 393764 89 | 2.811 % |
556.68/556.95 c | 394017 | 116935 2329780 7231215 | 2147483647 393875 89 | 2.811 % |
557.28/557.59 c | 394140 | 116935 2329780 7231215 | 2147483647 393998 89 | 2.811 % |
557.58/557.86 c | 394274 | 116935 2329780 7231215 | 2147483647 394132 89 | 2.811 % |
557.98/558.24 c | 394420 | 116935 2329780 7231215 | 2147483647 394278 89 | 2.811 % |
558.18/558.46 c | 394581 | 116935 2329780 7231215 | 2147483647 394439 89 | 2.811 % |
558.78/559.08 c | 394758 | 116935 2329780 7231215 | 2147483647 394616 89 | 2.811 % |
559.48/559.74 c | 394952 | 116935 2329780 7231215 | 2147483647 394810 89 | 2.811 % |
560.48/560.76 c | 395164 | 116935 2329780 7231215 | 2147483647 395022 89 | 2.811 % |
561.18/561.43 c | 395397 | 116935 2329780 7231215 | 2147483647 395255 89 | 2.811 % |
561.88/562.16 c | 395653 | 116935 2329780 7231215 | 2147483647 395511 89 | 2.811 % |
562.48/562.74 c | 395938 | 116935 2329780 7231215 | 2147483647 395796 89 | 2.811 % |
563.27/563.54 c | 396250 | 116935 2329780 7231215 | 2147483647 396108 89 | 2.811 % |
563.67/563.98 c | 396589 | 116935 2329780 7231215 | 2147483647 396447 89 | 2.811 % |
564.67/564.91 c | 396962 | 116935 2329780 7231215 | 2147483647 396820 89 | 2.811 % |
565.97/566.21 c | 397371 | 116935 2329780 7231215 | 2147483647 397229 89 | 2.811 % |
566.77/567.02 c | 397822 | 116935 2329780 7231215 | 2147483647 397680 89 | 2.811 % |
567.87/568.19 c | 398315 | 116935 2329780 7231215 | 2147483647 398173 89 | 2.811 % |
568.67/568.90 c | 398858 | 116935 2329780 7231215 | 2147483647 398716 89 | 2.811 % |
569.27/569.51 c | 399454 | 116935 2329780 7231215 | 2147483647 399312 89 | 2.811 % |
569.87/570.20 c | 400112 | 116935 2329780 7231215 | 2147483647 399970 89 | 2.811 % |
570.87/571.15 c | 400832 | 116935 2329780 7231215 | 2147483647 400690 89 | 2.811 % |
571.77/572.00 c | 401626 | 116935 2329780 7231215 | 2147483647 401484 89 | 2.811 % |
572.57/572.84 c | 402500 | 116935 2329780 7231215 | 2147483647 402358 89 | 2.811 % |
574.17/574.49 c | 403458 | 116935 2329780 7231215 | 2147483647 403316 90 | 2.811 % |
576.07/576.37 c | 404511 | 116935 2329780 7231215 | 2147483647 404369 90 | 2.811 % |
578.07/578.31 c | 405669 | 116935 2329780 7231215 | 2147483647 405527 89 | 2.811 % |
580.27/580.55 c | 406942 | 116935 2329780 7231215 | 2147483647 406800 90 | 2.811 % |
582.27/582.52 c | 408342 | 116935 2329780 7231215 | 2147483647 408200 90 | 2.811 % |
584.67/584.90 c | 409884 | 116935 2329780 7231215 | 2147483647 409742 90 | 2.811 % |
587.56/587.86 c | 411578 | 116935 2329780 7231215 | 2147483647 411436 90 | 2.811 % |
590.56/590.89 c | 413441 | 116935 2329780 7231215 | 2147483647 413299 90 | 2.811 % |
594.06/594.36 c | 415491 | 116935 2329780 7231215 | 2147483647 415349 90 | 2.811 % |
597.16/597.48 c | 417744 | 116935 2329780 7231215 | 2147483647 417602 90 | 2.811 % |
601.87/602.13 c | 420224 | 116935 2329780 7231215 | 2147483647 420082 90 | 2.811 % |
606.16/606.40 c | 422949 | 116935 2329780 7231215 | 2147483647 422807 90 | 2.811 % |
611.06/611.33 c | 425947 | 116935 2329780 7231215 | 2147483647 425805 91 | 2.811 % |
617.26/617.57 c | 429243 | 116935 2329780 7231215 | 2147483647 429101 91 | 2.811 % |
622.85/623.18 c | 432868 | 116935 2329780 7231215 | 2147483647 432726 91 | 2.811 % |
625.95/626.28 c | 436855 | 116935 2329780 7231215 | 2147483647 436713 91 | 2.811 % |
626.15/626.47 c | 436955 | 116935 2329780 7231215 | 2147483647 436813 91 | 2.811 % |
626.55/626.83 c | 437067 | 116935 2329780 7231215 | 2147483647 436925 91 | 2.811 % |
626.85/627.12 c | 437189 | 116935 2329780 7231215 | 2147483647 437047 91 | 2.811 % |
627.15/627.44 c | 437322 | 116935 2329780 7231215 | 2147483647 437180 91 | 2.811 % |
627.65/627.98 c | 437469 | 116935 2329780 7231215 | 2147483647 437327 91 | 2.811 % |
627.86/628.20 c | 437629 | 116935 2329780 7231215 | 2147483647 437487 91 | 2.811 % |
628.25/628.52 c | 437806 | 116935 2329780 7231215 | 2147483647 437664 91 | 2.811 % |
628.55/628.83 c | 437999 | 116935 2329780 7231215 | 2147483647 437857 91 | 2.811 % |
628.96/629.29 c | 438223 | 116935 2329780 7231215 | 2147483647 438081 91 | 2.811 % |
629.45/629.72 c | 438457 | 116935 2329780 7231215 | 2147483647 438315 91 | 2.811 % |
629.96/630.26 c | 438713 | 116935 2329780 7231215 | 2147483647 438571 91 | 2.811 % |
630.45/630.76 c | 438994 | 116935 2329780 7231215 | 2147483647 438852 92 | 2.811 % |
631.16/631.47 c | 439303 | 116935 2329780 7231215 | 2147483647 439161 92 | 2.811 % |
632.35/632.61 c | 439643 | 116935 2329780 7231215 | 2147483647 439501 91 | 2.811 % |
633.45/633.77 c | 440016 | 116935 2329780 7231215 | 2147483647 439874 91 | 2.811 % |
634.65/634.99 c | 440425 | 116935 2329780 7231215 | 2147483647 440283 91 | 2.811 % |
635.75/636.09 c | 440876 | 116935 2329780 7231215 | 2147483647 440734 91 | 2.811 % |
637.15/637.49 c | 441369 | 116935 2329780 7231215 | 2147483647 441227 91 | 2.811 % |
638.25/638.56 c | 441912 | 116935 2329780 7231215 | 2147483647 441770 91 | 2.811 % |
639.65/639.91 c | 442508 | 116935 2329780 7231215 | 2147483647 442366 91 | 2.811 % |
641.45/641.75 c | 443163 | 116935 2329780 7231215 | 2147483647 443021 91 | 2.811 % |
642.95/643.27 c | 443884 | 116935 2329780 7231215 | 2147483647 443742 91 | 2.811 % |
644.15/644.49 c | 444676 | 116935 2329780 7231215 | 2147483647 444534 91 | 2.811 % |
645.95/646.26 c | 445547 | 116935 2329780 7231215 | 2147483647 445405 91 | 2.811 % |
647.65/647.93 c | 446507 | 116935 2329780 7231215 | 2147483647 446365 92 | 2.811 % |
649.25/649.55 c | 447560 | 116935 2329780 7231215 | 2147483647 447418 91 | 2.811 % |
652.34/652.69 c | 448718 | 116935 2329780 7231215 | 2147483647 448576 92 | 2.811 % |
654.25/654.56 c | 449992 | 116935 2329780 7231215 | 2147483647 449850 92 | 2.811 % |
656.95/657.28 c | 451395 | 116935 2329780 7231215 | 2147483647 451253 92 | 2.811 % |
659.24/659.57 c | 452936 | 116935 2329780 7231215 | 2147483647 452794 92 | 2.811 % |
662.95/663.24 c | 454630 | 116935 2329780 7231215 | 2147483647 454488 93 | 2.811 % |
665.74/666.09 c | 456493 | 116935 2329780 7231215 | 2147483647 456351 93 | 2.811 % |
669.34/669.62 c | 458542 | 116935 2329780 7231215 | 2147483647 458400 93 | 2.811 % |
672.04/672.31 c | 460795 | 116935 2329780 7231215 | 2147483647 460653 93 | 2.811 % |
674.44/674.80 c | 463274 | 116935 2329780 7231215 | 2147483647 463132 93 | 2.811 % |
677.94/678.26 c | 466000 | 116935 2329780 7231215 | 2147483647 465858 93 | 2.811 % |
681.84/682.20 c | 468997 | 116935 2329780 7231215 | 2147483647 468855 94 | 2.811 % |
686.34/686.65 c | 472293 | 116935 2329780 7231215 | 2147483647 472151 94 | 2.811 % |
690.44/690.80 c | 475918 | 116935 2329780 7231215 | 2147483647 475776 93 | 2.811 % |
695.13/695.42 c | 479906 | 116935 2329780 7231215 | 2147483647 479764 93 | 2.811 % |
700.73/701.06 c | 484293 | 116935 2329780 7231215 | 2147483647 484151 93 | 2.811 % |
700.83/701.19 c | 484393 | 116935 2329780 7231215 | 2147483647 484251 93 | 2.811 % |
701.03/701.38 c | 484504 | 116935 2329780 7231215 | 2147483647 484362 93 | 2.811 % |
701.83/702.15 c | 484626 | 116935 2329780 7231215 | 2147483647 484484 93 | 2.811 % |
702.23/702.53 c | 484759 | 116935 2329780 7231215 | 2147483647 484617 93 | 2.811 % |
702.54/702.87 c | 484906 | 116935 2329780 7231215 | 2147483647 484764 93 | 2.811 % |
702.93/703.23 c | 485066 | 116935 2329780 7231215 | 2147483647 484924 93 | 2.811 % |
703.43/703.80 c | 485243 | 116935 2329780 7231215 | 2147483647 485101 93 | 2.811 % |
704.43/704.76 c | 485437 | 116935 2329780 7231215 | 2147483647 485295 93 | 2.811 % |
705.03/705.38 c | 485649 | 116935 2329780 7231215 | 2147483647 485507 93 | 2.811 % |
705.53/705.88 c | 485882 | 116935 2329780 7231215 | 2147483647 485740 93 | 2.811 % |
706.33/706.68 c | 486138 | 116935 2329780 7231215 | 2147483647 485996 93 | 2.811 % |
707.12/707.43 c | 486420 | 116935 2329780 7231215 | 2147483647 486278 93 | 2.811 % |
708.13/708.44 c | 486730 | 116935 2329780 7231215 | 2147483647 486588 93 | 2.811 % |
708.92/709.30 c | 487072 | 116935 2329780 7231215 | 2147483647 486930 93 | 2.811 % |
709.62/709.97 c | 487444 | 116935 2329780 7231215 | 2147483647 487302 93 | 2.811 % |
710.92/711.29 c | 487853 | 116935 2329780 7231215 | 2147483647 487711 93 | 2.811 % |
711.72/712.03 c | 488302 | 116935 2329780 7231215 | 2147483647 488160 93 | 2.811 % |
713.64/714.00 c | 488795 | 116935 2329780 7231215 | 2147483647 488653 93 | 2.811 % |
714.83/715.10 c | 489337 | 116935 2329780 7231215 | 2147483647 489195 93 | 2.811 % |
715.63/715.94 c | 489934 | 116935 2329780 7231215 | 2147483647 489792 93 | 2.811 % |
717.03/717.30 c | 490589 | 116935 2329780 7231215 | 2147483647 490447 93 | 2.811 % |
718.62/718.91 c | 491309 | 116935 2329780 7231215 | 2147483647 491167 93 | 2.811 % |
720.52/720.85 c | 492102 | 116935 2329780 7231215 | 2147483647 491960 93 | 2.811 % |
721.72/722.05 c | 492973 | 116935 2329780 7231215 | 2147483647 492831 94 | 2.811 % |
723.62/723.95 c | 493931 | 116935 2329780 7231215 | 2147483647 493789 94 | 2.811 % |
725.82/726.14 c | 494984 | 116935 2329780 7231215 | 2147483647 494842 94 | 2.811 % |
727.32/727.66 c | 496143 | 116935 2329780 7231215 | 2147483647 496001 94 | 2.811 % |
729.92/730.24 c | 497417 | 116935 2329780 7231215 | 2147483647 497275 94 | 2.811 % |
732.22/732.57 c | 498817 | 116935 2329780 7231215 | 2147483647 498675 94 | 2.811 % |
735.32/735.65 c | 500358 | 116935 2329780 7231215 | 2147483647 500216 94 | 2.811 % |
738.62/738.98 c | 502053 | 116935 2329780 7231215 | 2147483647 501911 94 | 2.811 % |
741.42/741.77 c | 503916 | 116935 2329780 7231215 | 2147483647 503774 95 | 2.811 % |
744.22/744.51 c | 505967 | 116935 2329780 7231215 | 2147483647 505825 95 | 2.811 % |
749.22/749.59 c | 508220 | 116935 2329780 7231215 | 2147483647 508078 95 | 2.811 % |
752.71/753.02 c | 510698 | 116935 2329780 7231215 | 2147483647 510556 95 | 2.811 % |
758.01/758.34 c | 513424 | 116935 2329780 7231215 | 2147483647 513282 95 | 2.811 % |
762.41/762.73 c | 516422 | 116935 2329780 7231215 | 2147483647 516280 95 | 2.811 % |
766.91/767.29 c | 519718 | 116935 2329780 7231215 | 2147483647 519576 96 | 2.811 % |
774.31/774.65 c | 523343 | 116935 2329780 7231215 | 2147483647 523201 96 | 2.811 % |
778.90/779.26 c | 527331 | 116935 2329780 7231215 | 2147483647 527189 96 | 2.811 % |
782.70/783.06 c | 531716 | 116935 2329780 7231215 | 2147483647 531574 97 | 2.811 % |
791.00/791.31 c | 536540 | 116935 2329780 7231215 | 2147483647 536398 97 | 2.811 % |
791.61/791.99 c | 536640 | 116935 2329780 7231215 | 2147483647 536498 97 | 2.811 % |
791.90/792.28 c | 536751 | 116935 2329780 7231215 | 2147483647 536609 97 | 2.811 % |
792.50/792.82 c | 536872 | 116935 2329780 7231215 | 2147483647 536730 97 | 2.811 % |
792.80/793.17 c | 537006 | 116935 2329780 7231215 | 2147483647 536864 97 | 2.811 % |
793.50/793.82 c | 537153 | 116935 2329780 7231215 | 2147483647 537011 97 | 2.811 % |
794.10/794.42 c | 537313 | 116935 2329780 7231215 | 2147483647 537171 97 | 2.811 % |
794.40/794.72 c | 537490 | 116935 2329780 7231215 | 2147483647 537348 97 | 2.811 % |
794.80/795.12 c | 537683 | 116935 2329780 7231215 | 2147483647 537541 97 | 2.811 % |
795.20/795.55 c | 537895 | 116935 2329780 7231215 | 2147483647 537753 97 | 2.811 % |
796.00/796.34 c | 538129 | 116935 2329780 7231215 | 2147483647 537987 97 | 2.811 % |
796.70/797.00 c | 538386 | 116935 2329780 7231215 | 2147483647 538244 97 | 2.811 % |
797.20/797.50 c | 538669 | 116935 2329780 7231215 | 2147483647 538527 97 | 2.811 % |
798.00/798.33 c | 538978 | 116935 2329780 7231215 | 2147483647 538836 97 | 2.811 % |
798.70/799.04 c | 539317 | 116935 2329780 7231215 | 2147483647 539175 97 | 2.811 % |
799.70/800.09 c | 539690 | 116935 2329780 7231215 | 2147483647 539548 97 | 2.811 % |
800.70/801.02 c | 540099 | 116935 2329780 7231215 | 2147483647 539957 97 | 2.811 % |
801.80/802.11 c | 540550 | 116935 2329780 7231215 | 2147483647 540408 97 | 2.811 % |
802.80/803.19 c | 541043 | 116935 2329780 7231215 | 2147483647 540901 97 | 2.811 % |
804.30/804.65 c | 541585 | 116935 2329780 7231215 | 2147483647 541443 97 | 2.811 % |
806.50/806.82 c | 542182 | 116935 2329780 7231215 | 2147483647 542040 97 | 2.811 % |
807.80/808.14 c | 542837 | 116935 2329780 7231215 | 2147483647 542695 97 | 2.811 % |
809.20/809.53 c | 543557 | 116935 2329780 7231215 | 2147483647 543415 97 | 2.811 % |
810.60/810.98 c | 544350 | 116935 2329780 7231215 | 2147483647 544208 97 | 2.811 % |
812.09/812.44 c | 545221 | 116935 2329780 7231215 | 2147483647 545079 97 | 2.811 % |
814.29/814.66 c | 546180 | 116935 2329780 7231215 | 2147483647 546038 97 | 2.811 % |
816.30/816.70 c | 547233 | 116935 2329780 7231215 | 2147483647 547091 97 | 2.811 % |
818.00/818.38 c | 548391 | 116935 2329780 7231215 | 2147483647 548249 97 | 2.811 % |
820.19/820.54 c | 549664 | 116935 2329780 7231215 | 2147483647 549522 97 | 2.811 % |
822.70/823.08 c | 551068 | 116935 2329780 7231215 | 2147483647 550926 97 | 2.811 % |
826.59/826.98 c | 552608 | 116935 2329780 7231215 | 2147483647 552466 97 | 2.811 % |
830.89/831.27 c | 554303 | 116935 2329780 7231215 | 2147483647 554161 97 | 2.811 % |
834.69/835.05 c | 556167 | 116935 2329780 7231215 | 2147483647 556025 98 | 2.811 % |
837.99/838.39 c | 558217 | 116935 2329780 7231215 | 2147483647 558075 98 | 2.811 % |
843.29/843.66 c | 560471 | 116935 2329780 7231215 | 2147483647 560329 98 | 2.811 % |
846.69/847.09 c | 562949 | 116935 2329780 7231215 | 2147483647 562807 98 | 2.811 % |
851.89/852.25 c | 565674 | 116935 2329780 7231215 | 2147483647 565532 98 | 2.811 % |
856.38/856.75 c | 568673 | 116935 2329780 7231215 | 2147483647 568531 99 | 2.811 % |
860.58/860.90 c | 571970 | 116935 2329780 7231215 | 2147483647 571828 101 | 2.811 % |
866.68/867.05 c | 575596 | 116935 2329780 7231215 | 2147483647 575454 101 | 2.811 % |
872.18/872.55 c | 579583 | 116935 2329780 7231215 | 2147483647 579441 103 | 2.811 % |
880.68/881.02 c | 583970 | 116935 2329780 7231215 | 2147483647 583828 103 | 2.811 % |
886.58/886.96 c | 588793 | 116935 2329780 7231215 | 2147483647 588651 103 | 2.811 % |
897.28/897.67 c | 594099 | 116935 2329780 7231215 | 2147483647 593957 103 | 2.811 % |
897.78/898.11 c | 594201 | 116935 2329780 7231215 | 2147483647 594059 103 | 2.811 % |
898.08/898.43 c | 594311 | 116935 2329780 7231215 | 2147483647 594169 103 | 2.811 % |
898.58/898.90 c | 594432 | 116935 2329780 7231215 | 2147483647 594290 103 | 2.811 % |
899.18/899.52 c | 594565 | 116935 2329780 7231215 | 2147483647 594423 103 | 2.811 % |
899.58/899.91 c | 594711 | 116935 2329780 7231215 | 2147483647 594569 103 | 2.811 % |
899.97/900.39 c | 594871 | 116935 2329780 7231215 | 2147483647 594729 103 | 2.811 % |
900.58/900.92 c | 595047 | 116935 2329780 7231215 | 2147483647 594905 103 | 2.811 % |
901.27/901.62 c | 595240 | 116935 2329780 7231215 | 2147483647 595098 103 | 2.811 % |
901.97/902.39 c | 595453 | 116935 2329780 7231215 | 2147483647 595311 103 | 2.811 % |
902.57/902.95 c | 595690 | 116935 2329780 7231215 | 2147483647 595548 103 | 2.811 % |
903.17/903.54 c | 595948 | 116935 2329780 7231215 | 2147483647 595806 103 | 2.811 % |
904.17/904.53 c | 596230 | 116935 2329780 7231215 | 2147483647 596088 103 | 2.811 % |
904.77/905.18 c | 596539 | 116935 2329780 7231215 | 2147483647 596397 103 | 2.811 % |
905.87/906.26 c | 596879 | 116935 2329780 7231215 | 2147483647 596737 103 | 2.811 % |
906.97/907.30 c | 597251 | 116935 2329780 7231215 | 2147483647 597109 103 | 2.811 % |
907.57/907.99 c | 597661 | 116935 2329780 7231215 | 2147483647 597519 103 | 2.811 % |
908.67/909.03 c | 598110 | 116935 2329780 7231215 | 2147483647 597968 103 | 2.811 % |
910.57/910.91 c | 598603 | 116935 2329780 7231215 | 2147483647 598461 103 | 2.811 % |
911.47/911.87 c | 599145 | 116935 2329780 7231215 | 2147483647 599003 103 | 2.811 % |
913.16/913.57 c | 599742 | 116935 2329780 7231215 | 2147483647 599600 103 | 2.811 % |
914.46/914.80 c | 600397 | 116935 2329780 7231215 | 2147483647 600255 103 | 2.811 % |
915.67/916.04 c | 601118 | 116935 2329780 7231215 | 2147483647 600976 103 | 2.811 % |
917.17/917.54 c | 601911 | 116935 2329780 7231215 | 2147483647 601769 103 | 2.811 % |
918.17/918.53 c | 602782 | 116935 2329780 7231215 | 2147483647 602640 103 | 2.811 % |
919.27/919.60 c | 603742 | 116935 2329780 7231215 | 2147483647 603600 103 | 2.811 % |
920.86/921.24 c | 604796 | 116935 2329780 7231215 | 2147483647 604654 103 | 2.811 % |
923.46/923.80 c | 605955 | 116935 2329780 7231215 | 2147483647 605813 103 | 2.811 % |
925.06/925.46 c | 607228 | 116935 2329780 7231215 | 2147483647 607086 103 | 2.811 % |
926.66/927.03 c | 608629 | 116935 2329780 7231215 | 2147483647 608487 103 | 2.811 % |
928.96/929.36 c | 610170 | 116935 2329780 7231215 | 2147483647 610028 103 | 2.811 % |
931.86/932.28 c | 611864 | 116935 2329780 7231215 | 2147483647 611722 103 | 2.811 % |
934.76/935.13 c | 613729 | 116935 2329780 7231215 | 2147483647 613587 103 | 2.811 % |
938.66/939.06 c | 615779 | 116935 2329780 7231215 | 2147483647 615637 103 | 2.811 % |
942.95/943.32 c | 618032 | 116935 2329780 7231215 | 2147483647 617890 103 | 2.811 % |
947.16/947.56 c | 620510 | 116935 2329780 7231215 | 2147483647 620368 103 | 2.811 % |
952.95/953.34 c | 623235 | 116935 2329780 7231215 | 2147483647 623093 104 | 2.811 % |
957.95/958.36 c | 626232 | 116935 2329780 7231215 | 2147483647 626090 104 | 2.811 % |
964.45/964.89 c | 629528 | 116935 2329780 7231215 | 2147483647 629386 104 | 2.811 % |
971.75/972.12 c | 633156 | 116935 2329780 7231215 | 2147483647 633014 104 | 2.811 % |
977.65/978.08 c | 637145 | 116935 2329780 7231215 | 2147483647 637003 104 | 2.811 % |
987.35/987.72 c | 641530 | 116935 2329780 7231215 | 2147483647 641388 104 | 2.811 % |
993.75/994.19 c | 646353 | 116935 2329780 7231215 | 2147483647 646211 104 | 2.811 % |
1000.94/1001.30 c | 651658 | 116935 2329780 7231215 | 2147483647 651516 104 | 2.811 % |
1007.74/1008.10 c | 657494 | 116935 2329780 7231215 | 2147483647 657352 104 | 2.811 % |
1007.84/1008.29 c | 657594 | 116935 2329780 7231215 | 2147483647 657452 104 | 2.811 % |
1008.44/1008.80 c | 657705 | 116935 2329780 7231215 | 2147483647 657563 104 | 2.811 % |
1008.94/1009.34 c | 657826 | 116935 2329780 7231215 | 2147483647 657684 104 | 2.811 % |
1009.44/1009.86 c | 657959 | 116935 2329780 7231215 | 2147483647 657817 104 | 2.811 % |
1009.74/1010.17 c | 658106 | 116935 2329780 7231215 | 2147483647 657964 104 | 2.811 % |
1010.14/1010.50 c | 658266 | 116935 2329780 7231215 | 2147483647 658124 104 | 2.811 % |
1010.44/1010.83 c | 658442 | 116935 2329780 7231215 | 2147483647 658300 103 | 2.811 % |
1010.74/1011.10 c | 658635 | 116935 2329780 7231215 | 2147483647 658493 103 | 2.811 % |
1011.14/1011.51 c | 658848 | 116935 2329780 7231215 | 2147483647 658706 103 | 2.811 % |
1011.64/1012.04 c | 659081 | 116935 2329780 7231215 | 2147483647 658939 103 | 2.811 % |
1012.34/1012.75 c | 659337 | 116935 2329780 7231215 | 2147483647 659195 103 | 2.811 % |
1013.44/1013.82 c | 659618 | 116935 2329780 7231215 | 2147483647 659476 103 | 2.811 % |
1014.44/1014.82 c | 659927 | 116935 2329780 7231215 | 2147483647 659785 103 | 2.811 % |
1015.13/1015.52 c | 660267 | 116935 2329780 7231215 | 2147483647 660125 103 | 2.811 % |
1016.23/1016.69 c | 660639 | 116935 2329780 7231215 | 2147483647 660497 103 | 2.811 % |
1017.33/1017.71 c | 661048 | 116935 2329780 7231215 | 2147483647 660906 103 | 2.811 % |
1018.03/1018.48 c | 661499 | 116935 2329780 7231215 | 2147483647 661357 103 | 2.811 % |
1018.93/1019.36 c | 661992 | 116935 2329780 7231215 | 2147483647 661850 103 | 2.811 % |
1020.03/1020.45 c | 662535 | 116935 2329780 7231215 | 2147483647 662393 103 | 2.811 % |
1021.14/1021.54 c | 663131 | 116935 2329780 7231215 | 2147483647 662989 103 | 2.811 % |
1022.54/1022.93 c | 663786 | 116935 2329780 7231215 | 2147483647 663644 103 | 2.811 % |
1023.94/1024.33 c | 664506 | 116935 2329780 7231215 | 2147483647 664364 103 | 2.811 % |
1025.63/1026.00 c | 665298 | 116935 2329780 7231215 | 2147483647 665156 103 | 2.811 % |
1026.94/1027.34 c | 666169 | 116935 2329780 7231215 | 2147483647 666027 103 | 2.811 % |
1028.93/1029.30 c | 667127 | 116935 2329780 7231215 | 2147483647 666985 103 | 2.811 % |
1030.73/1031.16 c | 668180 | 116935 2329780 7231215 | 2147483647 668038 103 | 2.811 % |
1033.13/1033.51 c | 669339 | 116935 2329780 7231215 | 2147483647 669197 103 | 2.811 % |
1034.93/1035.39 c | 670612 | 116935 2329780 7231215 | 2147483647 670470 103 | 2.811 % |
1037.33/1037.80 c | 672017 | 116935 2329780 7231215 | 2147483647 671875 103 | 2.811 % |
1041.53/1041.93 c | 673557 | 116935 2329780 7231215 | 2147483647 673415 103 | 2.811 % |
1045.23/1045.68 c | 675251 | 116935 2329780 7231215 | 2147483647 675109 104 | 2.811 % |
1047.84/1048.27 c | 677114 | 116935 2329780 7231215 | 2147483647 676972 104 | 2.811 % |
1052.33/1052.71 c | 679165 | 116935 2329780 7231215 | 2147483647 679023 104 | 2.811 % |
1057.32/1057.79 c | 681418 | 116935 2329780 7231215 | 2147483647 681276 104 | 2.811 % |
1063.63/1064.08 c | 683896 | 116935 2329780 7231215 | 2147483647 683754 104 | 2.811 % |
1067.92/1068.32 c | 686622 | 116935 2329780 7231215 | 2147483647 686480 104 | 2.811 % |
1073.62/1074.00 c | 689622 | 116935 2329780 7231215 | 2147483647 689480 104 | 2.811 % |
1078.12/1078.53 c | 692920 | 116935 2329780 7231215 | 2147483647 692778 104 | 2.811 % |
1084.91/1085.39 c | 696545 | 116935 2329780 7231215 | 2147483647 696403 104 | 2.811 % |
1091.61/1092.06 c | 700533 | 116935 2329780 7231215 | 2147483647 700391 105 | 2.811 % |
1100.82/1101.23 c | 704918 | 116935 2329780 7231215 | 2147483647 704776 105 | 2.811 % |
1108.51/1108.96 c | 709741 | 116935 2329780 7231215 | 2147483647 709599 105 | 2.811 % |
1120.01/1120.49 c | 715046 | 116935 2329780 7231215 | 2147483647 714904 105 | 2.811 % |
1130.80/1131.23 c | 720882 | 116935 2329780 7231215 | 2147483647 720740 105 | 2.811 % |
1144.70/1145.17 c | 727301 | 116935 2329780 7231215 | 2147483647 727159 105 | 2.811 % |
1145.21/1145.63 c | 727401 | 116935 2329780 7231215 | 2147483647 727259 105 | 2.811 % |
1145.71/1146.14 c | 727511 | 116935 2329780 7231215 | 2147483647 727369 105 | 2.811 % |
1146.61/1147.07 c | 727632 | 116935 2329780 7231215 | 2147483647 727490 105 | 2.811 % |
1147.01/1147.49 c | 727766 | 116935 2329780 7231215 | 2147483647 727624 105 | 2.811 % |
1147.91/1148.37 c | 727912 | 116935 2329780 7231215 | 2147483647 727770 105 | 2.811 % |
1148.91/1149.36 c | 728072 | 116935 2329780 7231215 | 2147483647 727930 105 | 2.811 % |
1149.81/1150.21 c | 728248 | 116935 2329780 7231215 | 2147483647 728106 105 | 2.811 % |
1150.61/1151.09 c | 728441 | 116935 2329780 7231215 | 2147483647 728299 105 | 2.811 % |
1151.31/1151.76 c | 728655 | 116935 2329780 7231215 | 2147483647 728513 105 | 2.811 % |
1151.90/1152.36 c | 728889 | 116935 2329780 7231215 | 2147483647 728747 105 | 2.811 % |
1153.10/1153.54 c | 729145 | 116935 2329780 7231215 | 2147483647 729003 105 | 2.811 % |
1154.40/1154.83 c | 729426 | 116935 2329780 7231215 | 2147483647 729284 105 | 2.811 % |
1155.20/1155.65 c | 729735 | 116935 2329780 7231215 | 2147483647 729593 105 | 2.811 % |
1156.00/1156.46 c | 730074 | 116935 2329780 7231215 | 2147483647 729932 105 | 2.811 % |
1157.10/1157.55 c | 730446 | 116935 2329780 7231215 | 2147483647 730304 105 | 2.811 % |
1158.50/1158.92 c | 730855 | 116935 2329780 7231215 | 2147483647 730713 105 | 2.811 % |
1159.70/1160.13 c | 731304 | 116935 2329780 7231215 | 2147483647 731162 105 | 2.811 % |
1161.00/1161.46 c | 731797 | 116935 2329780 7231215 | 2147483647 731655 105 | 2.811 % |
1162.10/1162.53 c | 732340 | 116935 2329780 7231215 | 2147483647 732198 105 | 2.811 % |
1163.50/1163.91 c | 732936 | 116935 2329780 7231215 | 2147483647 732794 105 | 2.811 % |
1164.70/1165.17 c | 733591 | 116935 2329780 7231215 | 2147483647 733449 105 | 2.811 % |
1166.10/1166.57 c | 734311 | 116935 2329780 7231215 | 2147483647 734169 105 | 2.811 % |
1167.70/1168.19 c | 735106 | 116935 2329780 7231215 | 2147483647 734964 105 | 2.811 % |
1168.80/1169.26 c | 735977 | 116935 2329780 7231215 | 2147483647 735835 105 | 2.811 % |
1170.09/1170.52 c | 736935 | 116935 2329780 7231215 | 2147483647 736793 105 | 2.811 % |
1171.49/1171.95 c | 737988 | 116935 2329780 7231215 | 2147483647 737846 105 | 2.811 % |
1172.89/1173.35 c | 739146 | 116935 2329780 7231215 | 2147483647 739004 105 | 2.811 % |
1174.49/1174.97 c | 740420 | 116935 2329780 7231215 | 2147483647 740278 105 | 2.811 % |
1176.39/1176.80 c | 741821 | 116935 2329780 7231215 | 2147483647 741679 105 | 2.811 % |
1178.49/1178.99 c | 743361 | 116935 2329780 7231215 | 2147483647 743219 105 | 2.811 % |
1180.99/1181.49 c | 745055 | 116935 2329780 7231215 | 2147483647 744913 104 | 2.811 % |
1184.30/1184.73 c | 746919 | 116935 2329780 7231215 | 2147483647 746777 105 | 2.811 % |
1186.99/1187.46 c | 748968 | 116935 2329780 7231215 | 2147483647 748826 105 | 2.811 % |
1190.89/1191.32 c | 751221 | 116935 2329780 7231215 | 2147483647 751079 105 | 2.811 % |
1194.98/1195.48 c | 753699 | 116935 2329780 7231215 | 2147483647 753557 104 | 2.811 % |
1199.19/1199.65 c | 756426 | 116935 2329780 7231215 | 2147483647 756284 104 | 2.811 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832125-1242769250/watcher-1832125-1242769250 -o /tmp/evaluation-result-1832125-1242769250/solver-1832125-1242769250 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832125-1242769250.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.01 1.04 0.96 3/64 22974
/proc/meminfo: memFree=1920524/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 304957835 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 266134585426 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/22974/statm: 1339 235 195 169 0 50 0
[pid=22975] ppid=22974 vsize=5356 CPUtime=0
/proc/22975/stat : 22975 (SatELiteGTI) S 22974 22974 22820 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 304957835 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/22975/statm: 1339 238 198 169 0 50 0
[pid=22977] ppid=22975 vsize=2608 CPUtime=0
/proc/22977/stat : 22977 (sed) R 22975 22974 22820 0 -1 4194304 159 0 0 0 0 0 0 0 18 0 1 0 304957835 2670592 132 1992294400 4194304 4240196 548682069056 18446744073709551615 266134262497 0 0 4096 0 0 0 0 17 1 0 0
/proc/22977/statm: 653 134 106 11 0 57 0
[startup+0.044984 s]
/proc/loadavg: 1.01 1.04 0.96 3/64 22974
/proc/meminfo: memFree=1920524/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101991 s]
/proc/loadavg: 1.01 1.04 0.96 3/64 22974
/proc/meminfo: memFree=1920524/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302013 s]
/proc/loadavg: 1.01 1.04 0.96 3/64 22974
/proc/meminfo: memFree=1920524/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701058 s]
/proc/loadavg: 1.01 1.04 0.96 3/64 22974
/proc/meminfo: memFree=1920524/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50115 s]
/proc/loadavg: 1.01 1.04 0.96 2/66 22979
/proc/meminfo: memFree=1841276/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
[pid=22978] ppid=22974 vsize=135136 CPUtime=1.49
/proc/22978/stat : 22978 (SatELite_releas) R 22974 22974 22820 0 -1 4194304 28783 0 0 0 128 21 0 0 25 0 1 0 304957836 138379264 28769 1992294400 134512640 135223648 4294956128 18446744073709551615 134563894 0 0 4096 3 0 0 0 17 1 0 0
/proc/22978/statm: 33784 28769 49 173 0 33609 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 140492
[startup+3.10133 s]
/proc/loadavg: 1.01 1.04 0.96 2/66 22979
/proc/meminfo: memFree=1732988/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
[pid=22978] ppid=22974 vsize=202384 CPUtime=3.09
/proc/22978/stat : 22978 (SatELite_releas) R 22974 22974 22820 0 -1 4194304 49473 0 0 0 276 33 0 0 25 0 1 0 304957836 207241216 44271 1992294400 134512640 135223648 4294956128 18446744073709551615 134549033 0 0 4096 3 0 0 0 17 1 0 0
/proc/22978/statm: 50596 44271 76 173 0 50421 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 207740
[startup+6.30168 s]
/proc/loadavg: 1.01 1.04 0.96 2/66 22979
/proc/meminfo: memFree=1730620/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
[pid=22978] ppid=22974 vsize=227244 CPUtime=6.28
/proc/22978/stat : 22978 (SatELite_releas) R 22974 22974 22820 0 -1 4194304 53019 0 0 0 591 37 0 0 25 0 1 0 304957836 232697856 47817 1992294400 134512640 135223648 4294956128 18446744073709551615 134587368 0 0 4096 3 0 0 0 17 1 0 0
/proc/22978/statm: 56811 47817 76 173 0 56636 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 232600
[startup+12.7024 s]
/proc/loadavg: 1.01 1.04 0.96 2/66 22979
/proc/meminfo: memFree=1720060/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=0
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 304957835 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/22974/statm: 1339 237 197 169 0 50 0
[pid=22978] ppid=22974 vsize=263848 CPUtime=12.68
/proc/22978/stat : 22978 (SatELite_releas) R 22974 22974 22820 0 -1 4194304 59674 0 0 0 1227 41 0 0 25 0 1 0 304957836 270180352 54061 1992294400 134512640 135223648 4294956128 18446744073709551615 134601703 0 0 4096 3 0 0 0 17 1 0 0
/proc/22978/statm: 65962 54061 76 173 0 65787 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 269204
[startup+25.5018 s]
/proc/loadavg: 1.01 1.04 0.96 2/66 22979
/proc/meminfo: memFree=1669756/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 5356
[startup+51.1017 s]
/proc/loadavg: 1.00 1.03 0.96 2/66 22980
/proc/meminfo: memFree=1748220/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=121828 CPUtime=25.64
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 28786 0 0 0 2543 21 0 0 25 0 1 0 304960379 124751872 28772 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 30457 28772 77 171 0 30284 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 127184
[startup+102.305 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 22980
/proc/meminfo: memFree=1736764/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=133280 CPUtime=76.82
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 31627 0 0 0 7659 23 0 0 25 0 1 0 304960379 136478720 31613 1992294400 134512640 135215339 4294956240 18446744073709551615 134528742 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 33320 31613 77 171 0 33147 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 138636
[startup+162.301 s]
/proc/loadavg: 1.00 1.02 0.96 2/66 22982
/proc/meminfo: memFree=1722940/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=147164 CPUtime=136.8
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 35090 0 0 0 13653 27 0 0 25 0 1 0 304960379 150695936 35076 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 36791 35076 77 171 0 36618 0
Current children cumulated CPU time (s) 162.22
Current children cumulated vsize (KiB) 152520
[startup+222.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 22982
/proc/meminfo: memFree=1707900/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=162160 CPUtime=196.77
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 38803 0 0 0 19646 31 0 0 25 0 1 0 304960379 166051840 38789 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 40540 38789 77 171 0 40367 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 167516
[startup+282.302 s]
/proc/loadavg: 1.00 1.01 0.96 2/66 22982
/proc/meminfo: memFree=1690492/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=179668 CPUtime=256.75
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 43210 0 0 0 25639 36 0 0 25 0 1 0 304960379 183980032 43196 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 44917 43196 77 171 0 44744 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 185024
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1670716/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=199176 CPUtime=316.74
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 48020 0 0 0 31633 41 0 0 25 0 1 0 304960379 203956224 48006 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 49794 48006 77 171 0 49621 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 204532
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1646972/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=222616 CPUtime=376.71
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 53948 0 0 0 37625 46 0 0 25 0 1 0 304960379 227958784 53934 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 55654 53934 77 171 0 55481 0
Current children cumulated CPU time (s) 402.13
################
# More data... #
################
/proc/22980/statm: 69902 68060 77 171 0 69729 0
Current children cumulated CPU time (s) 582.07
Current children cumulated vsize (KiB) 284964
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1572860/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=296524 CPUtime=616.63
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 72319 0 0 0 61597 66 0 0 25 0 1 0 304960379 303640576 72305 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 74131 72305 77 171 0 73958 0
Current children cumulated CPU time (s) 642.05
Current children cumulated vsize (KiB) 301880
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1553084/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=316912 CPUtime=676.61
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 77218 0 0 0 67590 71 0 0 25 0 1 0 304960379 324517888 77204 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 79228 77204 77 171 0 79055 0
Current children cumulated CPU time (s) 702.03
Current children cumulated vsize (KiB) 322268
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1536252/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=333768 CPUtime=736.6
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 81409 0 0 0 73584 76 0 0 25 0 1 0 304960379 341778432 81395 1992294400 134512640 135215339 4294956240 18446744073709551615 134527419 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 83442 81395 77 171 0 83269 0
Current children cumulated CPU time (s) 762.02
Current children cumulated vsize (KiB) 339124
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1517116/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=352936 CPUtime=796.58
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 86213 0 0 0 79576 82 0 0 25 0 1 0 304960379 361406464 86199 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 88234 86199 77 171 0 88061 0
Current children cumulated CPU time (s) 822
Current children cumulated vsize (KiB) 358292
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1490172/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=379588 CPUtime=856.56
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 92894 0 0 0 85568 88 0 0 25 0 1 0 304960379 388698112 92880 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 94897 92880 77 171 0 94724 0
Current children cumulated CPU time (s) 881.98
Current children cumulated vsize (KiB) 384944
[startup+942.301 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1476092/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=393544 CPUtime=916.53
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 96390 0 0 0 91562 91 0 0 25 0 1 0 304960379 402989056 96376 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 98386 96376 77 171 0 98213 0
Current children cumulated CPU time (s) 941.95
Current children cumulated vsize (KiB) 398900
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1457020/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=412288 CPUtime=976.52
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 101109 0 0 0 97556 96 0 0 25 0 1 0 304960379 422182912 101095 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 103072 101095 77 171 0 102899 0
Current children cumulated CPU time (s) 1001.94
Current children cumulated vsize (KiB) 417644
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1443196/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=426060 CPUtime=1036.5
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 104595 0 0 0 103550 100 0 0 25 0 1 0 304960379 436285440 104581 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 106515 104581 77 171 0 106342 0
Current children cumulated CPU time (s) 1061.92
Current children cumulated vsize (KiB) 431416
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1424956/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=445192 CPUtime=1096.49
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 109061 0 0 0 109544 105 0 0 25 0 1 0 304960379 455876608 109047 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 111298 109047 77 171 0 111125 0
Current children cumulated CPU time (s) 1121.91
Current children cumulated vsize (KiB) 450548
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1412924/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=457744 CPUtime=1156.48
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 112132 0 0 0 115539 109 0 0 25 0 1 0 304960379 468729856 112118 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 114436 112118 77 171 0 114263 0
Current children cumulated CPU time (s) 1181.9
Current children cumulated vsize (KiB) 463100
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.5 s]
/proc/loadavg: 1.00 1.00 0.96 2/66 22982
/proc/meminfo: memFree=1408316/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=461920 CPUtime=1174.68
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 113169 0 0 0 117358 110 0 0 25 0 1 0 304960379 473006080 113155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 115480 113155 77 171 0 115307 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 467276
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 0.96 2/66 22982
/proc/meminfo: memFree=1408316/2055920 swapFree=4180344/4192956
[pid=22974] ppid=22972 vsize=5356 CPUtime=25.42
/proc/22974/stat : 22974 (SatELiteGTI) S 22972 22974 22820 0 -1 4194304 336 65252 0 0 0 0 2477 65 16 0 1 0 304957835 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 266134414148 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/22974/statm: 1339 239 197 169 0 50 0
[pid=22980] ppid=22974 vsize=461920 CPUtime=1174.68
/proc/22980/stat : 22980 (minisat_static) R 22974 22974 22820 0 -1 4194304 113169 0 0 0 117358 110 0 0 25 0 1 0 304960379 473006080 113155 1992294400 134512640 135215339 4294956240 18446744073709551615 134528830 0 0 4096 3 0 0 0 17 1 0 0
/proc/22980/statm: 115480 113155 77 171 0 115307 0
Current children cumulated CPU time (s) 1200.1
Current children cumulated vsize (KiB) 467276
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 22974 and gives
# childrusage.ru_utime.tv_sec=24
# childrusage.ru_utime.tv_usec=774233
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=653900
# CPU time returned by wait4() is 25.4281
# while last known CPU time is 1200.1
#
# 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.1
CPU user time (s): 1198.35
CPU system time (s): 1.75
CPU usage (%): 99.9657
Max. virtual memory (cumulated for all children) (KiB): 467276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 24.7742
system time used= 0.6539
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 65588
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= 77
runsolver used 1.35279 second user time and 3.10653 second system time
The end
Begin job on node35 at 2009-05-19 23:40:53
IDJOB=1832125
IDBENCH=20575
IDSOLVER=671
FILE ID=node35/1832125-1242769250
PBS_JOBID= 9322263
Free space on /tmp= 66156 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/vliw_unsat_2.0/9dlx_vliw_at_b_iq5.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832125-1242769250/watcher-1832125-1242769250 -o /tmp/evaluation-result-1832125-1242769250/solver-1832125-1242769250 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832125-1242769250.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79c983ee7a6671238604da3040f85341
RANDOM SEED=116215484
node35.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.214
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.214
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: 1921076 kB
Buffers: 9440 kB
Cached: 88032 kB
SwapCached: 6840 kB
Active: 66840 kB
Inactive: 39600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1921076 kB
SwapTotal: 4192956 kB
SwapFree: 4180344 kB
Dirty: 52480 kB
Writeback: 0 kB
Mapped: 13988 kB
Slab: 14448 kB
Committed_AS: 1060592 kB
PageTables: 1400 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66100 MiB
End job on node35 at 2009-05-20 00:00:55