0.00/0.00 c Parsing...
1.38/1.49 c ==============================================================================
1.38/1.49 c | | ORIGINAL | LEARNT | |
1.38/1.49 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.38/1.49 c ==============================================================================
1.38/1.49 c | 0 | 1373915 3337034 | 412174 0 0 nan | 0.000 % |
9.36/9.42 c | 0 | 959954 2694138 | -- 0 -- -- | -- | -111844/44415
9.36/9.43 c ==============================================================================
9.36/9.43 c Result : #vars: 137915 #clauses: 959954 #literals: 2694138
9.36/9.43 c CPU time: 9.08662 s
9.36/9.43 c ==============================================================================
10.37/10.44 c This is MiniSat 2.0 beta
10.37/10.44 c WARNING: for repeatability, setting FPU to use double precision
10.37/10.44 c ============================[ Problem Statistics ]=============================
10.37/10.44 c | |
10.37/10.44 c | Number of variables: 137915 |
10.37/10.44 c | Number of clauses: 959954 |
10.95/11.09 c | Parsing time: 0.58 s |
11.04/11.12 c ============================[ Search Statistics ]==============================
11.04/11.12 c | Conflicts | ORIGINAL | LEARNT | Progress |
11.04/11.12 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
11.04/11.12 c ===============================================================================
11.04/11.12 c | 0 | 137915 959954 2694138 | 319984 0 nan | 0.000 % |
11.14/11.23 c | 103 | 137915 959954 2694138 | 319984 102 80 | 0.144 % |
11.24/11.32 c | 203 | 137915 959954 2694138 | 319984 202 66 | 0.144 % |
11.34/11.47 c | 303 | 137915 959954 2694138 | 319984 302 58 | 0.144 % |
11.95/12.10 c | 413 | 137875 959954 2694138 | 319984 410 51 | 0.827 % |
12.24/12.33 c | 513 | 137669 959954 2694138 | 319984 507 49 | 3.277 % |
12.34/12.48 c | 623 | 137618 959954 2694138 | 319984 616 47 | 3.741 % |
12.54/12.62 c | 748 | 137618 959954 2694138 | 319984 740 47 | 3.751 % |
12.54/12.69 c | 848 | 137618 959954 2694138 | 319984 840 44 | 3.751 % |
12.74/12.86 c | 958 | 132653 918057 2584791 | 319984 935 42 | 3.887 % |
12.84/12.99 c | 1079 | 132647 918057 2584791 | 319984 1054 41 | 3.907 % |
13.04/13.17 c | 1213 | 132647 918057 2584791 | 319984 1188 48 | 3.907 % |
13.24/13.30 c | 1316 | 132647 918057 2584791 | 319984 1291 48 | 3.907 % |
13.44/13.59 c | 1429 | 132624 918057 2584791 | 319984 1403 53 | 4.043 % |
13.84/13.99 c | 1552 | 132357 918057 2584791 | 319984 1520 52 | 5.445 % |
14.04/14.13 c | 1685 | 132357 918057 2584791 | 319984 1653 51 | 5.445 % |
14.44/14.53 c | 1831 | 129074 892877 2521928 | 319984 1780 55 | 6.410 % |
14.64/14.71 c | 1932 | 129074 892877 2521928 | 319984 1881 55 | 6.410 % |
14.84/14.98 c | 2042 | 129072 892877 2521928 | 319984 1989 53 | 6.474 % |
15.04/15.15 c | 2163 | 129072 892877 2521928 | 319984 2110 53 | 6.474 % |
15.35/15.45 c | 2298 | 128088 892877 2521928 | 319984 2242 53 | 7.673 % |
15.64/15.72 c | 2445 | 128014 892877 2521928 | 319984 2387 51 | 7.955 % |
15.84/15.91 c | 2606 | 128014 892877 2521928 | 319984 2548 51 | 7.955 % |
15.84/15.97 c | 2712 | 128014 892877 2521928 | 319984 2654 53 | 7.955 % |
16.04/16.11 c | 2824 | 128014 892877 2521928 | 319984 2766 52 | 7.955 % |
16.24/16.31 c | 2946 | 126943 882202 2498135 | 319984 2882 51 | 7.956 % |
16.34/16.49 c | 3081 | 126716 882202 2498135 | 319984 3016 53 | 8.279 % |
16.74/16.83 c | 3228 | 126682 882202 2498135 | 319984 3162 53 | 8.473 % |
17.24/17.30 c | 3388 | 126478 882202 2498135 | 319984 3319 53 | 8.709 % |
17.34/17.41 c | 3566 | 126478 882202 2498135 | 319984 3497 53 | 8.709 % |
17.54/17.63 c | 3667 | 126478 882202 2498135 | 319984 3598 53 | 8.709 % |
17.74/17.82 c | 3778 | 126477 882202 2498135 | 319984 3708 53 | 8.716 % |
17.84/17.94 c | 3901 | 126471 882202 2498135 | 319984 3830 53 | 8.726 % |
18.04/18.12 c | 4035 | 126471 882202 2498135 | 319984 3964 53 | 8.726 % |
18.24/18.32 c | 4181 | 125881 876413 2484823 | 319984 4106 53 | 8.726 % |
18.54/18.64 c | 4343 | 125881 876413 2484823 | 319984 4268 52 | 8.726 % |
18.94/19.02 c | 4522 | 125860 876413 2484823 | 319984 4446 55 | 8.856 % |
19.14/19.27 c | 4715 | 125860 876413 2484823 | 319984 4639 56 | 8.856 % |
19.54/19.68 c | 4815 | 125857 876413 2484823 | 319984 4737 57 | 9.021 % |
19.74/19.89 c | 4928 | 125857 876413 2484823 | 319984 4850 57 | 9.021 % |
20.04/20.11 c | 5055 | 125345 873951 2478845 | 319984 4972 58 | 9.665 % |
20.14/20.24 c | 5188 | 125345 873951 2478845 | 319984 5105 58 | 9.665 % |
20.44/20.53 c | 5336 | 125280 873951 2478845 | 319984 5253 58 | 9.665 % |
20.74/20.88 c | 5496 | 125275 873951 2478845 | 319984 5412 59 | 9.680 % |
20.94/21.08 c | 5675 | 125275 873951 2478845 | 319984 5591 60 | 9.680 % |
21.24/21.34 c | 5868 | 125273 873951 2478845 | 319984 5783 60 | 9.687 % |
21.54/21.64 c | 6081 | 125273 873951 2478845 | 319984 5996 60 | 9.687 % |
21.94/22.08 c | 6185 | 124456 867062 2461837 | 319984 6070 60 | 9.768 % |
22.14/22.24 c | 6295 | 124456 867062 2461837 | 319984 6180 61 | 9.768 % |
22.24/22.38 c | 6417 | 124450 867062 2461837 | 319984 6301 60 | 9.860 % |
22.74/22.86 c | 6550 | 124318 867062 2461837 | 319984 6432 61 | 10.215 % |
23.04/23.17 c | 6697 | 124257 867062 2461837 | 319984 6578 63 | 10.398 % |
23.44/23.53 c | 6857 | 124057 867062 2461837 | 319984 6737 64 | 10.398 % |
23.64/23.77 c | 7034 | 124057 867062 2461837 | 319984 6914 65 | 10.398 % |
23.93/24.03 c | 7227 | 124057 867062 2461837 | 319984 7107 66 | 10.398 % |
24.33/24.43 c | 7441 | 123574 862528 2451931 | 319984 7299 66 | 10.398 % |
24.93/25.05 c | 7675 | 123574 862528 2451931 | 319984 7533 69 | 10.398 % |
25.33/25.41 c | 7775 | 123574 862528 2451931 | 319984 7633 69 | 10.398 % |
25.53/25.60 c | 7885 | 123567 862528 2451931 | 319984 7741 69 | 10.459 % |
25.93/26.04 c | 8006 | 123557 862528 2451931 | 319984 7862 70 | 10.459 % |
26.24/26.34 c | 8139 | 123545 862528 2451931 | 319984 7993 70 | 10.560 % |
26.43/26.58 c | 8286 | 123351 861314 2449189 | 319984 8134 70 | 10.560 % |
26.93/27.05 c | 8446 | 123351 861314 2449189 | 319984 8294 71 | 10.560 % |
27.34/27.49 c | 8623 | 123351 861314 2449189 | 319984 8471 75 | 10.560 % |
27.73/27.88 c | 8817 | 123351 861314 2449189 | 319984 8665 75 | 10.560 % |
28.44/28.57 c | 9029 | 123351 861314 2449189 | 319984 8877 75 | 10.560 % |
28.83/28.90 c | 9265 | 123325 861105 2448624 | 319984 9111 76 | 10.579 % |
29.23/29.38 c | 9521 | 123325 861105 2448624 | 319984 9367 77 | 10.579 % |
29.43/29.58 c | 9621 | 123325 861105 2448624 | 319984 9467 79 | 10.579 % |
29.83/29.94 c | 9731 | 123325 861105 2448624 | 319984 9577 79 | 10.579 % |
30.13/30.22 c | 9853 | 123325 861105 2448624 | 319984 9699 79 | 10.579 % |
30.43/30.52 c | 9986 | 123325 861105 2448624 | 319984 9832 79 | 10.579 % |
30.93/31.03 c | 10135 | 123311 861105 2448624 | 2147483647 9980 79 | 10.600 % |
31.23/31.32 c | 10296 | 123233 860284 2446574 | 2147483647 10128 79 | 10.646 % |
31.63/31.72 c | 10473 | 123233 860284 2446574 | 2147483647 10305 81 | 10.646 % |
32.03/32.16 c | 10666 | 123108 860284 2446574 | 2147483647 10497 82 | 10.810 % |
32.63/32.72 c | 10878 | 123108 860284 2446574 | 2147483647 10709 83 | 10.810 % |
33.03/33.15 c | 11111 | 123108 860284 2446574 | 2147483647 10942 83 | 10.810 % |
33.43/33.59 c | 11371 | 123101 860284 2446574 | 2147483647 11199 84 | 10.828 % |
33.84/33.94 c | 11654 | 123101 860284 2446574 | 2147483647 11482 84 | 10.828 % |
34.03/34.14 c | 11755 | 123101 860284 2446574 | 2147483647 11583 85 | 10.828 % |
34.23/34.35 c | 11866 | 122982 859117 2444112 | 2147483647 11682 85 | 10.828 % |
34.33/34.43 c | 11987 | 122982 859117 2444112 | 2147483647 11803 84 | 10.828 % |
34.43/34.57 c | 12122 | 122982 859117 2444112 | 2147483647 11938 84 | 10.828 % |
34.83/34.94 c | 12269 | 122982 859117 2444112 | 2147483647 12085 85 | 10.828 % |
35.33/35.43 c | 12431 | 122982 859117 2444112 | 2147483647 12247 88 | 10.828 % |
35.73/35.80 c | 12607 | 122981 859117 2444112 | 2147483647 12422 89 | 10.868 % |
36.13/36.28 c | 12800 | 122981 859117 2444112 | 2147483647 12615 90 | 10.868 % |
36.53/36.60 c | 13013 | 122981 859117 2444112 | 2147483647 12828 89 | 10.868 % |
36.93/37.01 c | 13246 | 122969 859117 2444112 | 2147483647 13060 91 | 10.891 % |
37.43/37.52 c | 13502 | 122894 858666 2443040 | 2147483647 13314 91 | 10.891 % |
38.23/38.38 c | 13785 | 122876 858666 2443040 | 2147483647 13596 92 | 10.967 % |
39.33/39.40 c | 14094 | 122876 858666 2443040 | 2147483647 13905 94 | 10.967 % |
39.43/39.60 c | 14194 | 122873 858666 2443040 | 2147483647 14004 94 | 10.976 % |
39.83/39.93 c | 14305 | 122873 858666 2443040 | 2147483647 14115 95 | 10.976 % |
40.13/40.28 c | 14427 | 122873 858666 2443040 | 2147483647 14237 96 | 10.976 % |
40.73/40.85 c | 14561 | 122730 858090 2441813 | 2147483647 14370 97 | 11.179 % |
41.13/41.21 c | 14709 | 122620 858090 2441813 | 2147483647 14517 98 | 11.454 % |
41.63/41.72 c | 14871 | 122387 858090 2441813 | 2147483647 14677 98 | 11.473 % |
42.22/42.32 c | 15048 | 122387 858090 2441813 | 2147483647 14854 98 | 11.473 % |
42.42/42.53 c | 15241 | 122387 858090 2441813 | 2147483647 15047 98 | 11.473 % |
43.02/43.18 c | 15454 | 122366 858090 2441813 | 2147483647 15257 97 | 11.838 % |
44.02/44.15 c | 15687 | 121588 852158 2428791 | 2147483647 15368 101 | 11.838 % |
44.72/44.86 c | 15944 | 121587 852158 2428791 | 2147483647 15624 101 | 11.839 % |
45.62/45.71 c | 16225 | 121585 852158 2428791 | 2147483647 15904 101 | 11.848 % |
46.42/46.55 c | 16535 | 121585 852158 2428791 | 2147483647 16214 102 | 11.848 % |
46.92/47.08 c | 16876 | 121566 851965 2428295 | 2147483647 16545 102 | 11.861 % |
47.02/47.16 c | 16977 | 121564 851965 2428295 | 2147483647 16645 102 | 11.867 % |
47.43/47.57 c | 17087 | 121558 851965 2428295 | 2147483647 16755 102 | 11.867 % |
47.63/47.78 c | 17210 | 121558 851965 2428295 | 2147483647 16878 102 | 11.867 % |
48.03/48.17 c | 17343 | 121553 851965 2428295 | 2147483647 17008 102 | 11.965 % |
48.52/48.66 c | 17490 | 121553 851965 2428295 | 2147483647 17154 102 | 11.972 % |
48.92/49.08 c | 17653 | 121552 851965 2428295 | 2147483647 17317 102 | 11.972 % |
49.43/49.57 c | 17829 | 121552 851965 2428295 | 2147483647 17493 102 | 11.972 % |
49.92/50.06 c | 18022 | 121400 850563 2424622 | 2147483647 17670 102 | 11.975 % |
50.32/50.48 c | 18238 | 121400 850563 2424622 | 2147483647 17886 103 | 11.975 % |
50.62/50.72 c | 18471 | 121392 850563 2424622 | 2147483647 18118 102 | 11.986 % |
51.22/51.34 c | 18727 | 121351 850563 2424622 | 2147483647 18372 102 | 12.028 % |
52.02/52.16 c | 19009 | 121344 850563 2424622 | 2147483647 18653 102 | 12.029 % |
53.42/53.51 c | 19318 | 121301 850563 2424622 | 2147483647 18959 102 | 12.551 % |
54.52/54.67 c | 19658 | 120414 845702 2412880 | 2147483647 19283 103 | 12.946 % |
55.72/55.86 c | 20031 | 120334 845702 2412880 | 2147483647 19655 103 | 13.032 % |
56.02/56.17 c | 20132 | 120334 845702 2412880 | 2147483647 19756 103 | 13.032 % |
56.12/56.29 c | 20245 | 120334 845702 2412880 | 2147483647 19869 102 | 13.032 % |
56.42/56.55 c | 20369 | 120334 845702 2412880 | 2147483647 19992 103 | 13.140 % |
56.82/56.98 c | 20505 | 120290 845702 2412880 | 2147483647 20128 103 | 13.140 % |
57.02/57.17 c | 20652 | 119793 841774 2403737 | 2147483647 20182 103 | 13.140 % |
57.42/57.52 c | 20812 | 119793 841774 2403737 | 2147483647 20342 104 | 13.140 % |
57.72/57.81 c | 20988 | 119793 841774 2403737 | 2147483647 20518 104 | 13.140 % |
58.12/58.24 c | 21181 | 119793 841774 2403737 | 2147483647 20711 105 | 13.140 % |
58.62/58.73 c | 21393 | 119791 841774 2403737 | 2147483647 20922 104 | 13.144 % |
59.12/59.26 c | 21628 | 119789 841774 2403737 | 2147483647 21156 105 | 13.152 % |
59.62/59.79 c | 21884 | 119787 841774 2403737 | 2147483647 21411 106 | 13.159 % |
60.42/60.59 c | 22165 | 119787 841774 2403737 | 2147483647 21692 108 | 13.159 % |
60.91/61.00 c | 22475 | 119787 841774 2403737 | 2147483647 22001 107 | 13.350 % |
62.01/62.16 c | 22815 | 119503 839617 2398145 | 2147483647 22325 109 | 13.455 % |
62.71/62.86 c | 23189 | 119502 839617 2398145 | 2147483647 22699 110 | 13.455 % |
64.01/64.13 c | 23599 | 119502 839617 2398145 | 2147483647 23108 112 | 13.465 % |
64.31/64.43 c | 23699 | 119502 839617 2398145 | 2147483647 23208 112 | 13.465 % |
64.72/64.87 c | 23811 | 119501 839617 2398145 | 2147483647 23320 112 | 13.465 % |
65.12/65.23 c | 23933 | 119499 839617 2398145 | 2147483647 23442 112 | 13.465 % |
65.52/65.61 c | 24066 | 119345 838272 2394552 | 2147483647 23572 112 | 13.465 % |
65.72/65.85 c | 24212 | 119345 838272 2394552 | 2147483647 23718 112 | 13.465 % |
66.02/66.13 c | 24372 | 119345 838272 2394552 | 2147483647 23877 112 | 13.517 % |
66.62/66.73 c | 24549 | 119305 838272 2394552 | 2147483647 24052 112 | 13.526 % |
67.02/67.16 c | 24742 | 119305 838272 2394552 | 2147483647 24245 111 | 13.526 % |
67.72/67.86 c | 24955 | 119305 838272 2394552 | 2147483647 24458 111 | 13.526 % |
68.42/68.54 c | 25189 | 119286 838272 2394552 | 2147483647 24689 112 | 13.637 % |
69.32/69.49 c | 25445 | 119271 838272 2394552 | 2147483647 24944 113 | 13.680 % |
70.11/70.27 c | 25726 | 119032 836528 2390483 | 2147483647 25214 114 | 13.870 % |
71.11/71.30 c | 26035 | 119029 836528 2390483 | 2147483647 25522 114 | 13.880 % |
71.81/71.91 c | 26376 | 119029 836528 2390483 | 2147483647 25863 114 | 13.880 % |
72.31/72.49 c | 26748 | 119028 836528 2390483 | 2147483647 26234 114 | 13.880 % |
73.82/73.93 c | 27157 | 119028 836528 2390483 | 2147483647 26643 118 | 13.880 % |
75.62/75.74 c | 27606 | 119017 836528 2390483 | 2147483647 27089 119 | 13.904 % |
76.22/76.35 c | 27706 | 118695 835094 2387302 | 2147483647 27182 119 | 14.041 % |
76.82/76.97 c | 27816 | 118695 835094 2387302 | 2147483647 27292 120 | 14.041 % |
77.12/77.20 c | 27938 | 118668 835094 2387302 | 2147483647 27410 120 | 14.182 % |
77.72/77.80 c | 28071 | 118647 835094 2387302 | 2147483647 27542 120 | 14.184 % |
78.02/78.17 c | 28217 | 118647 835094 2387302 | 2147483647 27688 120 | 14.184 % |
78.51/78.65 c | 28377 | 118647 835094 2387302 | 2147483647 27848 120 | 14.184 % |
79.01/79.18 c | 28560 | 118647 835094 2387302 | 2147483647 28031 121 | 14.184 % |
79.31/79.42 c | 28753 | 118647 835094 2387302 | 2147483647 28224 121 | 14.184 % |
80.30/80.40 c | 28965 | 118647 835094 2387302 | 2147483647 28436 121 | 14.184 % |
80.90/81.05 c | 29198 | 118647 835094 2387302 | 2147483647 28669 122 | 14.184 % |
82.10/82.28 c | 29454 | 118353 832790 2382050 | 2147483647 28915 124 | 14.184 % |
83.30/83.41 c | 29736 | 118352 832790 2382050 | 2147483647 29196 124 | 14.188 % |
84.00/84.15 c | 30045 | 118332 832790 2382050 | 2147483647 29503 125 | 14.325 % |
85.20/85.35 c | 30384 | 118322 832790 2382050 | 2147483647 29838 125 | 14.673 % |
86.20/86.39 c | 30756 | 118321 832790 2382050 | 2147483647 30209 126 | 14.676 % |
87.30/87.41 c | 31167 | 117674 828638 2372458 | 2147483647 30609 127 | 14.676 % |
88.50/88.64 c | 31619 | 117674 828638 2372458 | 2147483647 31061 128 | 14.676 % |
90.50/90.60 c | 32113 | 117673 828638 2372458 | 2147483647 31554 130 | 14.680 % |
91.00/91.10 c | 32213 | 117673 828638 2372458 | 2147483647 31654 130 | 14.680 % |
91.21/91.38 c | 32323 | 117407 828638 2372458 | 2147483647 31763 130 | 14.883 % |
91.60/91.70 c | 32444 | 117407 828638 2372458 | 2147483647 31884 130 | 14.883 % |
92.30/92.41 c | 32582 | 117407 828638 2372458 | 2147483647 32022 131 | 14.883 % |
92.90/93.01 c | 32728 | 117389 827430 2370041 | 2147483647 32167 132 | 14.883 % |
93.10/93.24 c | 32889 | 117387 827430 2370041 | 2147483647 32327 131 | 14.897 % |
93.90/94.03 c | 33067 | 117378 827430 2370041 | 2147483647 32505 131 | 14.897 % |
94.50/94.65 c | 33261 | 117378 827430 2370041 | 2147483647 32699 132 | 14.897 % |
95.10/95.24 c | 33473 | 117378 827430 2370041 | 2147483647 32911 132 | 14.897 % |
95.70/95.86 c | 33707 | 117376 827430 2370041 | 2147483647 33143 132 | 14.905 % |
96.40/96.53 c | 33963 | 117371 827430 2370041 | 2147483647 33397 132 | 14.916 % |
97.20/97.40 c | 34246 | 117366 827430 2370041 | 2147483647 33679 132 | 14.942 % |
98.30/98.46 c | 34559 | 117333 827430 2370041 | 2147483647 33991 135 | 14.988 % |
99.40/99.54 c | 34898 | 117244 826396 2367585 | 2147483647 34312 136 | 14.988 % |
100.60/100.79 c | 35272 | 117242 826396 2367585 | 2147483647 34685 137 | 14.993 % |
102.20/102.31 c | 35681 | 117165 826396 2367585 | 2147483647 35090 138 | 15.347 % |
103.49/103.68 c | 36130 | 117134 826396 2367585 | 2147483647 35538 138 | 15.444 % |
105.59/105.76 c | 36623 | 117122 826396 2367585 | 2147483647 36030 140 | 15.454 % |
107.90/108.07 c | 37165 | 116594 821871 2356097 | 2147483647 36533 141 | 15.473 % |
108.40/108.55 c | 37267 | 116593 821871 2356097 | 2147483647 36634 141 | 15.482 % |
108.70/108.89 c | 37378 | 116590 821871 2356097 | 2147483647 36744 141 | 15.492 % |
109.30/109.46 c | 37500 | 116590 821871 2356097 | 2147483647 36866 141 | 15.492 % |
110.00/110.16 c | 37633 | 116587 821871 2356097 | 2147483647 36996 142 | 15.515 % |
110.59/110.74 c | 37779 | 116587 821871 2356097 | 2147483647 37142 142 | 15.515 % |
111.30/111.48 c | 37939 | 116585 821871 2356097 | 2147483647 37300 142 | 15.522 % |
111.89/112.02 c | 38116 | 116583 821871 2356097 | 2147483647 37477 142 | 15.522 % |
112.39/112.51 c | 38310 | 116583 821871 2356097 | 2147483647 37671 142 | 15.522 % |
112.69/112.85 c | 38523 | 116508 820997 2353883 | 2147483647 37857 141 | 15.522 % |
113.69/113.89 c | 38757 | 116508 820997 2353883 | 2147483647 38091 142 | 15.522 % |
114.39/114.56 c | 39013 | 116451 820997 2353883 | 2147483647 38344 142 | 15.802 % |
115.89/116.07 c | 39294 | 116451 820997 2353883 | 2147483647 38625 144 | 15.802 % |
117.29/117.46 c | 39604 | 116123 820997 2353883 | 2147483647 38933 144 | 16.203 % |
118.60/118.73 c | 39944 | 116122 820997 2353883 | 2147483647 39272 144 | 16.203 % |
120.10/120.29 c | 40316 | 116122 820997 2353883 | 2147483647 39644 144 | 16.203 % |
121.49/121.60 c | 40727 | 115552 815975 2342666 | 2147483647 40039 145 | 16.279 % |
123.59/123.74 c | 41176 | 115372 815975 2342666 | 2147483647 40487 147 | 16.528 % |
125.08/125.25 c | 41669 | 115363 815975 2342666 | 2147483647 40976 147 | 16.626 % |
127.78/127.98 c | 42212 | 115363 815975 2342666 | 2147483647 41519 150 | 16.626 % |
130.38/130.58 c | 42808 | 114952 812933 2336001 | 2147483647 41726 152 | 16.650 % |
130.78/130.99 c | 42908 | 114952 812933 2336001 | 2147483647 41826 152 | 16.650 % |
131.38/131.50 c | 43019 | 114920 812933 2336001 | 2147483647 41936 152 | 16.818 % |
131.78/131.99 c | 43140 | 114920 812933 2336001 | 2147483647 42057 152 | 16.818 % |
132.48/132.60 c | 43274 | 114920 812933 2336001 | 2147483647 42191 152 | 16.818 % |
132.98/133.18 c | 43420 | 114919 812933 2336001 | 2147483647 42336 152 | 16.822 % |
133.68/133.86 c | 43580 | 114919 812933 2336001 | 2147483647 42496 152 | 16.822 % |
134.38/134.54 c | 43756 | 114844 812933 2336001 | 2147483647 42669 152 | 17.028 % |
134.98/135.19 c | 43949 | 114843 812933 2336001 | 2147483647 42861 152 | 17.029 % |
135.88/136.05 c | 44161 | 114837 812933 2336001 | 2147483647 43071 152 | 17.112 % |
136.88/137.04 c | 44394 | 114807 812933 2336001 | 2147483647 43304 153 | 17.112 % |
137.68/137.86 c | 44652 | 114807 812933 2336001 | 2147483647 43562 153 | 17.112 % |
139.28/139.44 c | 44933 | 114315 809384 2327705 | 2147483647 43798 155 | 17.112 % |
140.98/141.10 c | 45242 | 114313 809384 2327705 | 2147483647 44105 157 | 17.131 % |
142.98/143.13 c | 45582 | 114312 809384 2327705 | 2147483647 44444 159 | 17.134 % |
144.48/144.64 c | 45954 | 114312 809384 2327705 | 2147483647 44816 159 | 17.134 % |
145.68/145.80 c | 46364 | 114312 809384 2327705 | 2147483647 45226 159 | 17.134 % |
147.48/147.62 c | 46814 | 114312 809384 2327705 | 2147483647 45676 160 | 17.134 % |
149.68/149.86 c | 47310 | 114284 809146 2327123 | 2147483647 46162 165 | 17.134 % |
152.38/152.51 c | 47852 | 114284 809146 2327123 | 2147483647 46704 167 | 17.134 % |
154.67/154.88 c | 48451 | 114284 809146 2327123 | 2147483647 47303 167 | 17.134 % |
158.07/158.29 c | 49106 | 114214 809146 2327123 | 2147483647 47957 169 | 17.340 % |
158.87/159.01 c | 49207 | 114000 808200 2325137 | 2147483647 47998 170 | 17.340 % |
159.17/159.35 c | 49318 | 114000 808200 2325137 | 2147483647 48109 170 | 17.340 % |
159.47/159.69 c | 49440 | 114000 808200 2325137 | 2147483647 48231 169 | 17.340 % |
159.87/160.04 c | 49573 | 113998 808200 2325137 | 2147483647 48363 169 | 17.344 % |
160.27/160.43 c | 49726 | 113997 808200 2325137 | 2147483647 48515 169 | 17.345 % |
160.57/160.74 c | 49886 | 113997 808200 2325137 | 2147483647 48673 169 | 17.535 % |
160.98/161.12 c | 50062 | 113826 808200 2325137 | 2147483647 48849 169 | 17.535 % |
161.28/161.41 c | 50255 | 113825 808200 2325137 | 2147483647 49042 168 | 17.535 % |
161.38/161.57 c | 50467 | 113821 808200 2325137 | 2147483647 49253 168 | 17.544 % |
162.47/162.67 c | 50700 | 113815 808200 2325137 | 2147483647 49485 168 | 17.554 % |
163.37/163.53 c | 50963 | 113815 808200 2325137 | 2147483647 49748 168 | 17.554 % |
163.97/164.13 c | 51246 | 113815 808200 2325137 | 2147483647 50031 168 | 17.554 % |
165.27/165.40 c | 51556 | 113815 808200 2325137 | 2147483647 50341 169 | 17.554 % |
166.87/167.00 c | 51900 | 113815 808200 2325137 | 2147483647 50685 170 | 17.554 % |
168.46/168.70 c | 52272 | 113813 808200 2325137 | 2147483647 51056 171 | 17.562 % |
169.86/170.09 c | 52681 | 113691 806896 2322245 | 2147483647 51443 172 | 17.572 % |
171.96/172.13 c | 53130 | 113691 806896 2322245 | 2147483647 51892 173 | 17.572 % |
173.57/173.76 c | 53623 | 113691 806896 2322245 | 2147483647 52385 174 | 17.572 % |
176.16/176.34 c | 54165 | 113690 806896 2322245 | 2147483647 52926 176 | 17.573 % |
179.26/179.50 c | 54761 | 113685 806896 2322245 | 2147483647 53519 178 | 17.586 % |
182.36/182.56 c | 55417 | 113660 806598 2321486 | 2147483647 54169 180 | 17.587 % |
185.36/185.53 c | 56137 | 113659 806598 2321486 | 2147483647 54887 181 | 17.608 % |
185.46/185.65 c | 56238 | 113658 806598 2321486 | 2147483647 54987 181 | 17.614 % |
185.66/185.82 c | 56349 | 113658 806598 2321486 | 2147483647 55098 181 | 17.614 % |
186.16/186.32 c | 56473 | 113649 806598 2321486 | 2147483647 55221 181 | 17.633 % |
186.66/186.89 c | 56606 | 113649 806598 2321486 | 2147483647 55354 181 | 17.633 % |
187.06/187.22 c | 56757 | 113649 806598 2321486 | 2147483647 55505 181 | 17.633 % |
187.26/187.47 c | 56922 | 113649 806598 2321486 | 2147483647 55670 181 | 17.633 % |
188.25/188.41 c | 57098 | 113649 806598 2321486 | 2147483647 55846 181 | 17.633 % |
188.85/189.01 c | 57292 | 113648 806598 2321486 | 2147483647 56039 181 | 17.634 % |
190.35/190.58 c | 57504 | 113648 806598 2321486 | 2147483647 56251 182 | 17.634 % |
191.46/191.68 c | 57737 | 113647 806598 2321486 | 2147483647 56483 182 | 17.635 % |
193.16/193.32 c | 57993 | 113647 806598 2321486 | 2147483647 56739 183 | 17.635 % |
194.26/194.48 c | 58277 | 113594 806106 2320255 | 2147483647 57008 184 | 17.635 % |
196.05/196.25 c | 58588 | 113589 806106 2320255 | 2147483647 57316 185 | 17.657 % |
196.95/197.14 c | 58928 | 113589 806106 2320255 | 2147483647 57656 185 | 17.657 % |
198.05/198.20 c | 59300 | 113581 806106 2320255 | 2147483647 58025 185 | 17.671 % |
200.56/200.73 c | 59710 | 113581 806106 2320255 | 2147483647 58435 186 | 17.671 % |
202.56/202.71 c | 60159 | 113581 806106 2320255 | 2147483647 58883 187 | 17.680 % |
204.46/204.69 c | 60652 | 113581 806106 2320255 | 2147483647 59376 187 | 17.680 % |
205.66/205.88 c | 61194 | 113233 803717 2314332 | 2147483647 59868 187 | 17.897 % |
208.16/208.38 c | 61790 | 113232 803717 2314332 | 2147483647 60463 189 | 17.903 % |
210.35/210.52 c | 62447 | 113229 803717 2314332 | 2147483647 61117 189 | 17.912 % |
212.45/212.64 c | 63167 | 113229 803717 2314332 | 2147483647 61837 190 | 17.912 % |
216.85/217.09 c | 63961 | 113213 803717 2314332 | 2147483647 62629 192 | 17.997 % |
217.55/217.72 c | 64061 | 113213 803717 2314332 | 2147483647 62729 192 | 17.997 % |
218.05/218.25 c | 64173 | 113213 803717 2314332 | 2147483647 62841 192 | 17.997 % |
218.55/218.77 c | 64294 | 113213 803717 2314332 | 2147483647 62962 192 | 17.997 % |
219.35/219.52 c | 64431 | 113213 803717 2314332 | 2147483647 63099 193 | 17.997 % |
220.05/220.25 c | 64579 | 113095 802961 2312509 | 2147483647 63207 193 | 18.003 % |
220.44/220.69 c | 64741 | 113095 802961 2312509 | 2147483647 63369 193 | 18.003 % |
220.85/221.06 c | 64917 | 113095 802961 2312509 | 2147483647 63545 193 | 18.003 % |
222.24/222.45 c | 65110 | 113095 802961 2312509 | 2147483647 63738 194 | 18.003 % |
223.24/223.41 c | 65322 | 113095 802961 2312509 | 2147483647 63950 194 | 18.003 % |
224.24/224.40 c | 65556 | 113095 802961 2312509 | 2147483647 64184 194 | 18.003 % |
225.14/225.33 c | 65812 | 113095 802961 2312509 | 2147483647 64440 194 | 18.003 % |
226.24/226.49 c | 66094 | 113095 802961 2312509 | 2147483647 64722 195 | 18.003 % |
226.94/227.10 c | 66403 | 113095 802961 2312509 | 2147483647 65031 194 | 18.003 % |
228.74/228.98 c | 66744 | 113095 802961 2312509 | 2147483647 65372 196 | 18.003 % |
231.34/231.54 c | 67116 | 113095 802961 2312509 | 2147483647 65744 198 | 18.003 % |
233.14/233.35 c | 67525 | 113094 802961 2312509 | 2147483647 66152 199 | 18.015 % |
235.24/235.48 c | 67974 | 113087 802961 2312509 | 2147483647 66600 199 | 18.025 % |
237.14/237.34 c | 68468 | 113087 802961 2312509 | 2147483647 67094 200 | 18.025 % |
240.34/240.58 c | 69010 | 113056 802628 2311671 | 2147483647 67611 202 | 18.025 % |
243.63/243.89 c | 69606 | 113056 802628 2311671 | 2147483647 68207 204 | 18.025 % |
245.34/245.58 c | 70262 | 113024 802628 2311671 | 2147483647 68862 204 | 18.100 % |
248.54/248.74 c | 70982 | 113023 802628 2311671 | 2147483647 69581 206 | 18.110 % |
251.74/251.99 c | 71774 | 113021 802628 2311671 | 2147483647 70372 206 | 18.121 % |
256.54/256.73 c | 72647 | 113015 802628 2311671 | 2147483647 71242 209 | 18.151 % |
257.04/257.27 c | 72747 | 112878 801281 2308313 | 2147483647 71282 209 | 18.290 % |
257.53/257.72 c | 72857 | 112875 801281 2308313 | 2147483647 71391 209 | 18.427 % |
258.33/258.57 c | 72979 | 112875 801281 2308313 | 2147483647 71513 209 | 18.427 % |
258.83/259.01 c | 73113 | 112874 801281 2308313 | 2147483647 71646 209 | 18.432 % |
259.43/259.66 c | 73259 | 112871 801281 2308313 | 2147483647 71792 210 | 18.432 % |
260.63/260.88 c | 73419 | 112871 801281 2308313 | 2147483647 71952 210 | 18.432 % |
261.22/261.48 c | 73596 | 112871 801281 2308313 | 2147483647 72129 210 | 18.432 % |
261.82/262.00 c | 73790 | 112871 801281 2308313 | 2147483647 72323 210 | 18.432 % |
262.42/262.66 c | 74006 | 112871 801281 2308313 | 2147483647 72539 210 | 18.432 % |
263.22/263.43 c | 74239 | 112871 801281 2308313 | 2147483647 72772 210 | 18.432 % |
264.12/264.32 c | 74498 | 112870 801281 2308313 | 2147483647 73030 211 | 18.433 % |
264.93/265.15 c | 74781 | 112870 801281 2308313 | 2147483647 73313 211 | 18.433 % |
265.93/266.17 c | 75090 | 112870 801281 2308313 | 2147483647 73622 211 | 18.433 % |
266.83/267.07 c | 75432 | 112867 801281 2308313 | 2147483647 73963 211 | 18.442 % |
268.13/268.33 c | 75804 | 112867 801281 2308313 | 2147483647 74335 212 | 18.442 % |
269.63/269.89 c | 76213 | 112866 801281 2308313 | 2147483647 74743 212 | 18.443 % |
271.82/272.02 c | 76662 | 112862 801281 2308313 | 2147483647 75191 212 | 18.443 % |
274.62/274.84 c | 77155 | 112861 801281 2308313 | 2147483647 75683 213 | 18.451 % |
278.32/278.56 c | 77699 | 112466 799612 2304709 | 2147483647 76194 215 | 18.459 % |
281.52/281.73 c | 78298 | 112464 799612 2304709 | 2147483647 76790 215 | 18.475 % |
283.92/284.16 c | 78953 | 112457 799612 2304709 | 2147483647 77443 216 | 18.486 % |
288.61/288.87 c | 79673 | 112456 799612 2304709 | 2147483647 78162 218 | 18.496 % |
292.71/292.92 c | 80466 | 112456 799612 2304709 | 2147483647 78955 221 | 18.496 % |
297.22/297.42 c | 81339 | 112454 799612 2304709 | 2147483647 79826 224 | 18.498 % |
303.11/303.39 c | 82298 | 112398 799075 2303289 | 2147483647 80741 228 | 18.507 % |
303.70/303.90 c | 82398 | 112398 799075 2303289 | 2147483647 80841 228 | 18.507 % |
304.30/304.58 c | 82508 | 112398 799075 2303289 | 2147483647 80951 228 | 18.507 % |
304.70/304.94 c | 82629 | 112398 799075 2303289 | 2147483647 81071 228 | 18.622 % |
305.10/305.30 c | 82762 | 112338 799075 2303289 | 2147483647 81202 228 | 18.682 % |
305.90/306.19 c | 82908 | 112338 799075 2303289 | 2147483647 81348 228 | 18.682 % |
306.71/306.99 c | 83068 | 112333 799075 2303289 | 2147483647 81506 228 | 18.693 % |
307.61/307.83 c | 83245 | 112332 799075 2303289 | 2147483647 81683 228 | 18.693 % |
308.11/308.32 c | 83438 | 112331 799075 2303289 | 2147483647 81875 228 | 18.693 % |
308.71/308.92 c | 83651 | 112330 799075 2303289 | 2147483647 82087 228 | 18.694 % |
309.41/309.65 c | 83884 | 112330 799075 2303289 | 2147483647 82320 228 | 18.694 % |
310.31/310.55 c | 84145 | 112329 799075 2303289 | 2147483647 82579 228 | 18.701 % |
312.31/312.50 c | 84428 | 112329 799075 2303289 | 2147483647 82862 228 | 18.701 % |
313.81/314.02 c | 84740 | 112329 799075 2303289 | 2147483647 83174 229 | 18.701 % |
315.41/315.62 c | 85080 | 112329 799075 2303289 | 2147483647 83514 230 | 18.701 % |
317.00/317.21 c | 85453 | 112328 799075 2303289 | 2147483647 83886 230 | 18.710 % |
319.10/319.33 c | 85863 | 112328 799075 2303289 | 2147483647 84296 230 | 18.710 % |
320.10/320.39 c | 86312 | 112326 799075 2303289 | 2147483647 84744 230 | 18.712 % |
322.71/322.92 c | 86805 | 112109 797085 2298297 | 2147483647 85170 231 | 18.712 % |
325.00/325.29 c | 87347 | 112109 797085 2298297 | 2147483647 85711 231 | 18.720 % |
328.00/328.28 c | 87944 | 112109 797085 2298297 | 2147483647 86308 232 | 18.720 % |
330.70/330.95 c | 88599 | 112109 797085 2298297 | 2147483647 86963 232 | 18.720 % |
334.29/334.53 c | 89319 | 112109 797085 2298297 | 2147483647 87683 233 | 18.720 % |
336.40/336.62 c | 90111 | 112103 797085 2298297 | 2147483647 88472 233 | 18.746 % |
341.30/341.59 c | 90983 | 112103 797085 2298297 | 2147483647 89344 236 | 18.746 % |
347.00/347.24 c | 91943 | 111979 796029 2295503 | 2147483647 90260 237 | 18.806 % |
353.49/353.73 c | 92996 | 111972 796029 2295503 | 2147483647 91311 239 | 19.012 % |
353.89/354.10 c | 93096 | 111972 796029 2295503 | 2147483647 91411 239 | 19.012 % |
354.09/354.38 c | 93206 | 111972 796029 2295503 | 2147483647 91521 239 | 19.012 % |
355.29/355.57 c | 93327 | 111971 796029 2295503 | 2147483647 91641 239 | 19.013 % |
356.49/356.70 c | 93460 | 111971 796029 2295503 | 2147483647 91774 240 | 19.013 % |
357.09/357.33 c | 93609 | 111971 796029 2295503 | 2147483647 91923 240 | 19.013 % |
357.59/357.89 c | 93770 | 111971 796029 2295503 | 2147483647 92084 240 | 19.013 % |
358.19/358.50 c | 93946 | 111971 796029 2295503 | 2147483647 92260 240 | 19.013 % |
359.89/360.12 c | 94139 | 111970 796029 2295503 | 2147483647 92452 240 | 19.018 % |
360.59/360.83 c | 94351 | 111970 796029 2295503 | 2147483647 92664 240 | 19.018 % |
361.69/361.90 c | 94584 | 111970 796029 2295503 | 2147483647 92897 240 | 19.018 % |
363.08/363.32 c | 94840 | 111969 796029 2295503 | 2147483647 93152 240 | 19.021 % |
364.68/364.98 c | 95122 | 111968 796029 2295503 | 2147483647 93433 240 | 19.031 % |
366.58/366.86 c | 95434 | 111968 796029 2295503 | 2147483647 93745 241 | 19.031 % |
367.78/368.00 c | 95775 | 111968 796029 2295503 | 2147483647 94086 242 | 19.031 % |
368.58/368.90 c | 96147 | 111968 796029 2295503 | 2147483647 94458 242 | 19.031 % |
371.89/372.12 c | 96557 | 111968 796029 2295503 | 2147483647 94868 244 | 19.031 % |
375.38/375.64 c | 97009 | 111968 796029 2295503 | 2147483647 95320 245 | 19.031 % |
376.88/377.18 c | 97503 | 111668 794730 2292601 | 2147483647 95777 245 | 19.140 % |
379.68/379.90 c | 98046 | 111668 794730 2292601 | 2147483647 96320 245 | 19.140 % |
383.97/384.23 c | 98642 | 111668 794730 2292601 | 2147483647 96916 247 | 19.140 % |
388.48/388.70 c | 99298 | 111668 794730 2292601 | 2147483647 97571 249 | 19.149 % |
392.28/392.53 c | 100018 | 111668 794730 2292601 | 2147483647 98291 249 | 19.149 % |
394.57/394.88 c | 100810 | 111664 794730 2292601 | 2147483647 99082 249 | 19.155 % |
400.47/400.76 c | 101683 | 111664 794730 2292601 | 2147483647 99955 252 | 19.155 % |
406.07/406.34 c | 102641 | 111664 794730 2292601 | 2147483647 100913 252 | 19.155 % |
413.16/413.42 c | 103694 | 111446 793706 2290035 | 2147483647 101940 255 | 19.237 % |
418.16/418.45 c | 104852 | 111445 793706 2290035 | 2147483647 103097 255 | 19.245 % |
418.56/418.81 c | 104952 | 111444 793706 2290035 | 2147483647 103195 255 | 19.296 % |
419.36/419.60 c | 105063 | 111433 793706 2290035 | 2147483647 103306 255 | 19.296 % |
420.36/420.61 c | 105184 | 111433 793706 2290035 | 2147483647 103426 256 | 19.297 % |
421.36/421.61 c | 105317 | 111432 793706 2290035 | 2147483647 103559 255 | 19.297 % |
422.56/422.80 c | 105466 | 111432 793706 2290035 | 2147483647 103708 256 | 19.297 % |
423.36/423.61 c | 105626 | 111432 793706 2290035 | 2147483647 103868 256 | 19.297 % |
424.96/425.21 c | 105803 | 111432 793706 2290035 | 2147483647 104045 257 | 19.297 % |
425.56/425.84 c | 105998 | 111432 793706 2290035 | 2147483647 104240 257 | 19.297 % |
426.16/426.45 c | 106210 | 111385 793706 2290035 | 2147483647 104450 257 | 19.518 % |
427.56/427.86 c | 106445 | 111385 793706 2290035 | 2147483647 104685 257 | 19.518 % |
429.06/429.32 c | 106701 | 111385 793706 2290035 | 2147483647 104941 257 | 19.518 % |
430.76/431.00 c | 106983 | 111385 793706 2290035 | 2147483647 105223 257 | 19.518 % |
432.06/432.36 c | 107295 | 111385 793706 2290035 | 2147483647 105535 257 | 19.518 % |
435.06/435.34 c | 107634 | 111385 793706 2290035 | 2147483647 105874 258 | 19.518 % |
436.46/436.79 c | 108006 | 111385 793706 2290035 | 2147483647 106246 258 | 19.518 % |
439.65/439.97 c | 108419 | 110997 791822 2285980 | 2147483647 106575 260 | 19.518 % |
443.25/443.57 c | 108868 | 110996 791822 2285980 | 2147483647 107022 261 | 19.519 % |
447.35/447.64 c | 109361 | 110994 791822 2285980 | 2147483647 107514 262 | 19.525 % |
451.35/451.60 c | 109903 | 110991 791822 2285980 | 2147483647 108055 264 | 19.530 % |
453.74/454.08 c | 110500 | 110989 791822 2285980 | 2147483647 108651 264 | 19.537 % |
456.34/456.68 c | 111158 | 110984 791822 2285980 | 2147483647 109307 264 | 19.556 % |
459.54/459.86 c | 111878 | 110984 791822 2285980 | 2147483647 110026 265 | 19.564 % |
463.65/463.99 c | 112670 | 110967 791822 2285980 | 2147483647 110812 264 | 19.589 % |
469.14/469.42 c | 113541 | 110967 791822 2285980 | 2147483647 111683 267 | 19.589 % |
476.34/476.65 c | 114501 | 110967 791822 2285980 | 2147483647 112643 269 | 19.589 % |
481.94/482.28 c | 115554 | 110895 790817 2283341 | 2147483647 113586 270 | 19.634 % |
490.23/490.60 c | 116714 | 110891 790817 2283341 | 2147483647 114743 272 | 19.651 % |
500.62/500.95 c | 117987 | 110890 790817 2283341 | 2147483647 116015 275 | 19.656 % |
501.02/501.35 c | 118090 | 110890 790817 2283341 | 2147483647 116118 275 | 19.656 % |
501.52/501.82 c | 118201 | 110890 790817 2283341 | 2147483647 116229 275 | 19.656 % |
502.12/502.41 c | 118328 | 110890 790817 2283341 | 2147483647 116356 275 | 19.656 % |
502.62/502.93 c | 118464 | 110890 790817 2283341 | 2147483647 116492 275 | 19.656 % |
503.22/503.52 c | 118610 | 110890 790817 2283341 | 2147483647 116638 275 | 19.656 % |
503.92/504.20 c | 118774 | 110889 790817 2283341 | 2147483647 116801 275 | 19.657 % |
504.82/505.19 c | 118951 | 110888 790817 2283341 | 2147483647 116977 275 | 19.658 % |
505.82/506.16 c | 119145 | 110887 790817 2283341 | 2147483647 117170 275 | 19.674 % |
508.02/508.32 c | 119357 | 110887 790817 2283341 | 2147483647 117382 276 | 19.674 % |
509.72/510.09 c | 119593 | 110886 790817 2283341 | 2147483647 117616 276 | 19.773 % |
510.83/511.19 c | 119849 | 110884 790817 2283341 | 2147483647 117869 276 | 19.819 % |
512.03/512.31 c | 120134 | 110884 790817 2283341 | 2147483647 118154 276 | 19.819 % |
513.52/513.83 c | 120443 | 110846 790817 2283341 | 2147483647 118463 276 | 19.819 % |
515.22/515.56 c | 120782 | 110846 790817 2283341 | 2147483647 118802 276 | 19.819 % |
517.42/517.72 c | 121158 | 110844 790817 2283341 | 2147483647 119176 277 | 19.838 % |
519.42/519.79 c | 121571 | 110556 788363 2277176 | 2147483647 119396 277 | 19.838 % |
521.92/522.26 c | 122020 | 110556 788363 2277176 | 2147483647 119845 278 | 19.838 % |
524.92/525.24 c | 122514 | 110556 788363 2277176 | 2147483647 120339 278 | 19.838 % |
528.91/529.28 c | 123056 | 110556 788363 2277176 | 2147483647 120881 279 | 19.838 % |
531.51/531.83 c | 123652 | 110556 788363 2277176 | 2147483647 121477 278 | 19.838 % |
536.71/537.00 c | 124307 | 110556 788363 2277176 | 2147483647 122132 279 | 19.838 % |
542.11/542.41 c | 125027 | 110555 788363 2277176 | 2147483647 122851 280 | 19.838 % |
545.10/545.47 c | 125822 | 110555 788363 2277176 | 2147483647 123646 278 | 19.838 % |
552.10/552.43 c | 126694 | 110552 788363 2277176 | 2147483647 124517 280 | 19.844 % |
560.30/560.64 c | 127654 | 110548 788363 2277176 | 2147483647 125476 282 | 19.850 % |
566.60/566.97 c | 128707 | 110537 788192 2276762 | 2147483647 126406 283 | 19.973 % |
573.40/573.77 c | 129865 | 110537 788192 2276762 | 2147483647 127561 284 | 19.980 % |
581.79/582.16 c | 131138 | 110534 788192 2276762 | 2147483647 128831 285 | 19.986 % |
591.19/591.59 c | 132541 | 110534 788192 2276762 | 2147483647 130234 288 | 19.986 % |
592.09/592.40 c | 132645 | 110534 788192 2276762 | 2147483647 130338 288 | 19.986 % |
592.99/593.36 c | 132756 | 110534 788192 2276762 | 2147483647 130449 288 | 19.986 % |
593.99/594.33 c | 132878 | 110534 788192 2276762 | 2147483647 130571 288 | 19.986 % |
595.09/595.48 c | 133011 | 110534 788192 2276762 | 2147483647 130704 289 | 19.986 % |
595.79/596.12 c | 133158 | 110534 788192 2276762 | 2147483647 130851 289 | 19.986 % |
596.89/597.29 c | 133320 | 110534 788192 2276762 | 2147483647 131013 289 | 19.986 % |
597.88/598.26 c | 133497 | 110534 788192 2276762 | 2147483647 131190 289 | 19.986 % |
599.19/599.57 c | 133691 | 110534 788192 2276762 | 2147483647 131384 289 | 19.986 % |
600.19/600.58 c | 133904 | 110534 788192 2276762 | 2147483647 131597 289 | 19.986 % |
602.39/602.76 c | 134137 | 110534 788192 2276762 | 2147483647 131830 290 | 19.986 % |
604.39/604.77 c | 134395 | 110534 788192 2276762 | 2147483647 132088 290 | 19.986 % |
605.89/606.20 c | 134677 | 110534 788192 2276762 | 2147483647 132370 291 | 19.986 % |
607.58/607.94 c | 134989 | 110534 788192 2276762 | 2147483647 132682 291 | 19.986 % |
610.48/610.81 c | 135328 | 110351 786891 2273499 | 2147483647 132945 291 | 19.986 % |
613.88/614.27 c | 135700 | 110351 786891 2273499 | 2147483647 133317 293 | 19.986 % |
616.98/617.36 c | 136113 | 110350 786891 2273499 | 2147483647 133729 293 | 19.988 % |
619.47/619.85 c | 136562 | 110348 786891 2273499 | 2147483647 134176 294 | 19.992 % |
622.28/622.65 c | 137055 | 110343 786891 2273499 | 2147483647 134666 294 | 20.004 % |
625.67/626.03 c | 137597 | 110330 786891 2273499 | 2147483647 135205 295 | 20.109 % |
628.47/628.87 c | 138193 | 110330 786891 2273499 | 2147483647 135801 295 | 20.109 % |
631.87/632.28 c | 138850 | 110329 786891 2273499 | 2147483647 136457 295 | 20.109 % |
635.07/635.45 c | 139570 | 110329 786891 2273499 | 2147483647 137177 295 | 20.109 % |
638.17/638.59 c | 140363 | 110327 786891 2273499 | 2147483647 137968 295 | 20.111 % |
642.27/642.66 c | 141234 | 110313 786891 2273499 | 2147483647 138836 295 | 20.162 % |
650.16/650.50 c | 142193 | 110244 786891 2273499 | 2147483647 139792 296 | 20.180 % |
658.16/658.55 c | 143250 | 110244 786891 2273499 | 2147483647 140849 299 | 20.180 % |
666.95/667.38 c | 144409 | 110083 785108 2268999 | 2147483647 141949 302 | 20.181 % |
676.56/676.98 c | 145682 | 110082 785108 2268999 | 2147483647 143221 303 | 20.186 % |
684.95/685.39 c | 147083 | 110081 785108 2268999 | 2147483647 144621 305 | 20.186 % |
696.14/696.57 c | 148624 | 110081 785108 2268999 | 2147483647 146162 309 | 20.186 % |
696.74/697.17 c | 148725 | 110081 785108 2268999 | 2147483647 146263 309 | 20.186 % |
697.85/698.27 c | 148835 | 110081 785108 2268999 | 2147483647 146373 309 | 20.186 % |
698.85/699.28 c | 148956 | 110081 785108 2268999 | 2147483647 146494 309 | 20.186 % |
699.45/699.87 c | 149090 | 110081 785108 2268999 | 2147483647 146628 309 | 20.186 % |
699.85/700.28 c | 149237 | 110081 785108 2268999 | 2147483647 146775 309 | 20.186 % |
700.35/700.78 c | 149397 | 110081 785108 2268999 | 2147483647 146935 309 | 20.186 % |
700.95/701.37 c | 149576 | 110081 785108 2268999 | 2147483647 147111 309 | 20.279 % |
702.05/702.42 c | 149771 | 110078 785108 2268999 | 2147483647 147305 309 | 20.287 % |
704.34/704.75 c | 149985 | 110078 785108 2268999 | 2147483647 147519 310 | 20.287 % |
705.85/706.27 c | 150219 | 110078 785108 2268999 | 2147483647 147753 310 | 20.287 % |
707.74/708.19 c | 150475 | 110078 785108 2268999 | 2147483647 148009 310 | 20.287 % |
710.14/710.59 c | 150757 | 110078 785108 2268999 | 2147483647 148291 310 | 20.287 % |
712.74/713.15 c | 151066 | 110078 785108 2268999 | 2147483647 148600 310 | 20.287 % |
714.04/714.49 c | 151407 | 110078 785108 2268999 | 2147483647 148941 310 | 20.287 % |
716.33/716.74 c | 151780 | 110076 785108 2268999 | 2147483647 149313 311 | 20.293 % |
718.53/718.99 c | 152190 | 109928 784067 2266416 | 2147483647 149684 311 | 20.293 % |
721.93/722.32 c | 152640 | 109924 784067 2266416 | 2147483647 150132 312 | 20.305 % |
724.64/725.05 c | 153133 | 109924 784067 2266416 | 2147483647 150625 312 | 20.305 % |
727.93/728.33 c | 153676 | 109921 784067 2266416 | 2147483647 151165 312 | 20.313 % |
731.63/732.06 c | 154273 | 109921 784067 2266416 | 2147483647 151761 313 | 20.313 % |
736.23/736.69 c | 154930 | 109921 784067 2266416 | 2147483647 152418 314 | 20.313 % |
741.13/741.52 c | 155651 | 109920 784067 2266416 | 2147483647 153137 314 | 20.321 % |
746.33/746.71 c | 156444 | 109920 784067 2266416 | 2147483647 153930 315 | 20.321 % |
753.91/754.33 c | 157317 | 109919 784067 2266416 | 2147483647 154802 316 | 20.322 % |
761.31/761.73 c | 158275 | 109919 784067 2266416 | 2147483647 155759 316 | 20.328 % |
769.91/770.39 c | 159330 | 109916 784067 2266416 | 2147483647 156813 317 | 20.332 % |
776.81/777.23 c | 160488 | 109916 784067 2266416 | 2147483647 157971 317 | 20.332 % |
784.70/785.18 c | 161773 | 109861 783473 2264842 | 2147483647 159216 317 | 20.342 % |
792.91/793.39 c | 163173 | 109861 783473 2264842 | 2147483647 160616 318 | 20.342 % |
803.00/803.45 c | 164713 | 109861 783473 2264842 | 2147483647 162155 320 | 20.345 % |
813.69/814.14 c | 166408 | 109822 783473 2264842 | 2147483647 163847 321 | 20.451 % |
814.29/814.71 c | 166508 | 109822 783473 2264842 | 2147483647 163947 321 | 20.451 % |
814.79/815.29 c | 166618 | 109822 783473 2264842 | 2147483647 164056 321 | 20.454 % |
816.09/816.57 c | 166740 | 109818 783473 2264842 | 2147483647 164178 321 | 20.454 % |
817.79/818.20 c | 166874 | 109818 783473 2264842 | 2147483647 164312 321 | 20.454 % |
818.50/818.96 c | 167025 | 109818 783473 2264842 | 2147483647 164463 321 | 20.454 % |
819.50/819.90 c | 167190 | 109818 783473 2264842 | 2147483647 164628 321 | 20.454 % |
820.20/820.68 c | 167368 | 109818 783473 2264842 | 2147483647 164806 322 | 20.454 % |
821.39/821.80 c | 167561 | 109818 783473 2264842 | 2147483647 164999 322 | 20.454 % |
822.79/823.29 c | 167774 | 109818 783473 2264842 | 2147483647 165212 322 | 20.454 % |
823.89/824.38 c | 168017 | 109818 783473 2264842 | 2147483647 165455 322 | 20.454 % |
825.29/825.76 c | 168277 | 109816 783473 2264842 | 2147483647 165713 322 | 20.455 % |
826.19/826.64 c | 168558 | 109783 783473 2264842 | 2147483647 165993 322 | 20.519 % |
827.59/828.08 c | 168867 | 109783 783473 2264842 | 2147483647 166302 322 | 20.519 % |
830.39/830.89 c | 169211 | 109783 783473 2264842 | 2147483647 166645 322 | 20.526 % |
831.39/831.82 c | 169584 | 109783 783473 2264842 | 2147483647 167018 322 | 20.526 % |
834.50/834.99 c | 169993 | 109783 783473 2264842 | 2147483647 167427 323 | 20.526 % |
838.19/838.70 c | 170442 | 109782 783473 2264842 | 2147483647 167875 323 | 20.538 % |
843.08/843.56 c | 170938 | 109782 783473 2264842 | 2147483647 168371 324 | 20.538 % |
847.08/847.53 c | 171480 | 109779 783473 2264842 | 2147483647 168911 324 | 20.544 % |
851.38/851.85 c | 172077 | 109779 783473 2264842 | 2147483647 169508 324 | 20.544 % |
856.48/856.99 c | 172732 | 109568 781392 2259618 | 2147483647 169845 325 | 20.717 % |
863.68/864.17 c | 173452 | 109563 781392 2259618 | 2147483647 170561 325 | 20.728 % |
870.68/871.11 c | 174244 | 109562 781392 2259618 | 2147483647 171352 327 | 20.729 % |
878.57/879.04 c | 175115 | 109560 781392 2259618 | 2147483647 172222 328 | 20.737 % |
885.07/885.54 c | 176074 | 109559 781392 2259618 | 2147483647 173180 329 | 20.738 % |
893.25/893.78 c | 177127 | 109558 781392 2259618 | 2147483647 174232 330 | 20.823 % |
904.86/905.37 c | 178286 | 109554 781392 2259618 | 2147483647 175389 331 | 20.972 % |
914.35/914.80 c | 179561 | 109553 781392 2259618 | 2147483647 176663 333 | 20.973 % |
923.75/924.21 c | 180961 | 109553 781392 2259618 | 2147483647 178062 333 | 21.194 % |
934.34/934.80 c | 182503 | 108636 776829 2248954 | 2147483647 179360 335 | 21.402 % |
949.84/950.37 c | 184199 | 108636 776829 2248954 | 2147483647 181055 336 | 21.402 % |
963.34/963.83 c | 186062 | 108631 776829 2248954 | 2147483647 182912 336 | 21.450 % |
964.24/964.74 c | 186168 | 108631 776829 2248954 | 2147483647 183018 336 | 21.450 % |
965.64/966.15 c | 186278 | 108627 776829 2248954 | 2147483647 183127 336 | 21.459 % |
965.94/966.45 c | 186400 | 108627 776829 2248954 | 2147483647 183249 336 | 21.459 % |
966.44/966.95 c | 186535 | 108627 776829 2248954 | 2147483647 183384 336 | 21.459 % |
967.24/967.71 c | 186681 | 108625 776829 2248954 | 2147483647 183529 336 | 21.467 % |
968.04/968.52 c | 186841 | 108625 776829 2248954 | 2147483647 183689 336 | 21.467 % |
969.34/969.81 c | 187017 | 108625 776829 2248954 | 2147483647 183865 336 | 21.467 % |
970.24/970.78 c | 187215 | 108625 776829 2248954 | 2147483647 184063 336 | 21.467 % |
971.73/972.27 c | 187427 | 108625 776829 2248954 | 2147483647 184275 336 | 21.467 % |
972.83/973.36 c | 187660 | 108625 776829 2248954 | 2147483647 184508 336 | 21.467 % |
973.83/974.40 c | 187917 | 108625 776829 2248954 | 2147483647 184765 336 | 21.467 % |
974.93/975.46 c | 188201 | 108625 776829 2248954 | 2147483647 185049 335 | 21.467 % |
977.03/977.56 c | 188510 | 108625 776829 2248954 | 2147483647 185357 335 | 21.468 % |
978.83/979.32 c | 188852 | 108625 776829 2248954 | 2147483647 185699 335 | 21.468 % |
980.83/981.35 c | 189224 | 108625 776829 2248954 | 2147483647 186071 335 | 21.468 % |
983.03/983.55 c | 189637 | 108620 776829 2248954 | 2147483647 186483 335 | 21.477 % |
987.52/988.00 c | 190086 | 108613 776829 2248954 | 2147483647 186930 336 | 21.481 % |
992.43/992.90 c | 190580 | 108612 776829 2248954 | 2147483647 187423 338 | 21.482 % |
998.02/998.55 c | 191122 | 108611 776829 2248954 | 2147483647 187964 338 | 21.483 % |
1002.62/1003.13 c | 191718 | 108611 776829 2248954 | 2147483647 188560 338 | 21.483 % |
1008.02/1008.54 c | 192376 | 108611 776829 2248954 | 2147483647 189218 340 | 21.483 % |
1015.02/1015.56 c | 193102 | 108287 774094 2241794 | 2147483647 189859 340 | 21.483 % |
1020.81/1021.30 c | 193894 | 108287 774094 2241794 | 2147483647 190651 341 | 21.483 % |
1026.81/1027.31 c | 194765 | 108287 774094 2241794 | 2147483647 191522 341 | 21.483 % |
1034.61/1035.18 c | 195725 | 108286 774094 2241794 | 2147483647 192481 342 | 21.488 % |
1043.51/1044.01 c | 196778 | 108284 774094 2241794 | 2147483647 193532 343 | 21.496 % |
1052.40/1052.95 c | 197939 | 108283 774094 2241794 | 2147483647 194692 344 | 21.497 % |
1063.90/1064.48 c | 199212 | 108283 774094 2241794 | 2147483647 195965 346 | 21.497 % |
1075.79/1076.37 c | 200616 | 108283 774094 2241794 | 2147483647 197369 347 | 21.497 % |
1086.68/1087.29 c | 202158 | 108282 774094 2241794 | 2147483647 198909 347 | 21.506 % |
1098.78/1099.38 c | 203853 | 108221 773494 2240179 | 2147483647 200510 349 | 21.531 % |
1115.37/1115.90 c | 205716 | 108216 773494 2240179 | 2147483647 202369 351 | 21.565 % |
1130.86/1131.47 c | 207768 | 108206 773494 2240179 | 2147483647 204418 352 | 21.577 % |
1131.96/1132.55 c | 207869 | 108206 773494 2240179 | 2147483647 204519 352 | 21.577 % |
1132.47/1133.09 c | 207979 | 108206 773494 2240179 | 2147483647 204629 352 | 21.577 % |
1133.16/1133.76 c | 208104 | 108206 773494 2240179 | 2147483647 204754 352 | 21.577 % |
1134.67/1135.21 c | 208238 | 108206 773494 2240179 | 2147483647 204888 352 | 21.577 % |
1136.16/1136.71 c | 208384 | 108206 773494 2240179 | 2147483647 205033 352 | 21.579 % |
1137.97/1138.55 c | 208549 | 108206 773494 2240179 | 2147483647 205198 352 | 21.579 % |
1138.86/1139.44 c | 208725 | 108206 773494 2240179 | 2147483647 205374 352 | 21.579 % |
1140.86/1141.44 c | 208918 | 108206 773494 2240179 | 2147483647 205567 353 | 21.579 % |
1143.36/1143.95 c | 209130 | 108206 773494 2240179 | 2147483647 205779 353 | 21.579 % |
1145.57/1146.15 c | 209363 | 108206 773494 2240179 | 2147483647 206012 353 | 21.579 % |
1147.87/1148.47 c | 209620 | 108206 773494 2240179 | 2147483647 206269 353 | 21.579 % |
1150.06/1150.69 c | 209901 | 108206 773494 2240179 | 2147483647 206549 353 | 21.586 % |
1152.46/1153.08 c | 210211 | 108206 773494 2240179 | 2147483647 206859 353 | 21.586 % |
1154.76/1155.36 c | 210552 | 108205 773494 2240179 | 2147483647 207199 353 | 21.587 % |
1156.45/1157.06 c | 210925 | 108205 773494 2240179 | 2147483647 207572 353 | 21.587 % |
1160.25/1160.86 c | 211338 | 108205 773494 2240179 | 2147483647 207985 353 | 21.587 % |
1165.05/1165.67 c | 211788 | 108205 773494 2240179 | 2147483647 208434 353 | 21.594 % |
1167.65/1168.21 c | 212281 | 108205 773494 2240179 | 2147483647 208927 353 | 21.594 % |
1171.14/1171.71 c | 212825 | 108205 773494 2240179 | 2147483647 209471 353 | 21.594 % |
1176.85/1177.48 c | 213421 | 108205 773494 2240179 | 2147483647 210067 354 | 21.594 % |
1183.74/1184.36 c | 214077 | 108205 773494 2240179 | 2147483647 210722 354 | 21.595 % |
1191.04/1191.61 c | 214799 | 108205 773494 2240179 | 2147483647 211444 354 | 21.595 % |
1195.74/1196.36 c | 215597 | 108129 772753 2238131 | 2147483647 212162 354 | 21.597 % |
1201.34/1201.95 c | 216468 | 108129 772753 2238131 | 2147483647 213033 354 | 21.597 % |
1208.83/1209.49 c | 217429 | 108124 772753 2238131 | 2147483647 213990 355 | 21.605 % |
1217.92/1218.53 c | 218482 | 108124 772753 2238131 | 2147483647 215042 356 | 21.611 % |
1230.82/1231.41 c | 219640 | 108124 772753 2238131 | 2147483647 216200 359 | 21.611 % |
1242.12/1242.78 c | 220913 | 108124 772753 2238131 | 2147483647 217473 361 | 21.611 % |
1250.91/1251.58 c | 222317 | 108122 772753 2238131 | 2147483647 218874 360 | 21.635 % |
1258.41/1259.09 c | 223857 | 108121 772753 2238131 | 2147483647 220413 360 | 21.640 % |
1270.50/1271.12 c | 225552 | 108121 772753 2238131 | 2147483647 222108 361 | 21.640 % |
1283.90/1284.56 c | 227416 | 108121 772753 2238131 | 2147483647 223972 363 | 21.640 % |
1305.08/1305.78 c | 229465 | 108117 772753 2238131 | 2147483647 226019 366 | 21.909 % |
1321.18/1321.81 c | 231719 | 107620 767931 2226114 | 2147483647 227979 367 | 21.974 % |
1322.08/1322.71 c | 231819 | 107620 767931 2226114 | 2147483647 228079 367 | 21.974 % |
1322.38/1323.03 c | 231930 | 107620 767931 2226114 | 2147483647 228189 367 | 22.014 % |
1323.98/1324.68 c | 232054 | 107615 767931 2226114 | 2147483647 228312 367 | 22.014 % |
1325.28/1325.92 c | 232187 | 107615 767931 2226114 | 2147483647 228445 367 | 22.014 % |
1326.38/1327.03 c | 232338 | 107615 767931 2226114 | 2147483647 228596 367 | 22.014 % |
1328.18/1328.86 c | 232504 | 107615 767931 2226114 | 2147483647 228762 367 | 22.014 % |
1329.98/1330.67 c | 232683 | 107615 767931 2226114 | 2147483647 228941 367 | 22.014 % |
1332.17/1332.83 c | 232876 | 107615 767931 2226114 | 2147483647 229134 367 | 22.014 % |
1334.17/1334.87 c | 233092 | 107615 767931 2226114 | 2147483647 229350 367 | 22.014 % |
1335.67/1336.32 c | 233327 | 107615 767931 2226114 | 2147483647 229585 367 | 22.014 % |
1336.88/1337.56 c | 233586 | 107615 767931 2226114 | 2147483647 229844 367 | 22.014 % |
1339.46/1340.18 c | 233867 | 107615 767931 2226114 | 2147483647 230125 367 | 22.014 % |
1342.67/1343.34 c | 234177 | 107614 767931 2226114 | 2147483647 230434 367 | 22.023 % |
1346.67/1347.32 c | 234516 | 107614 767931 2226114 | 2147483647 230773 367 | 22.023 % |
1349.97/1350.61 c | 234891 | 107614 767931 2226114 | 2147483647 231148 367 | 22.023 % |
1352.76/1353.49 c | 235301 | 107614 767931 2226114 | 2147483647 231558 367 | 22.023 % |
1355.06/1355.71 c | 235750 | 107614 767931 2226114 | 2147483647 232007 368 | 22.023 % |
1359.77/1360.49 c | 236243 | 107614 767931 2226114 | 2147483647 232500 368 | 22.023 % |
1364.37/1365.05 c | 236785 | 107614 767931 2226114 | 2147483647 233042 368 | 22.023 % |
1369.26/1369.90 c | 237382 | 107614 767931 2226114 | 2147483647 233639 369 | 22.023 % |
1376.46/1377.12 c | 238039 | 107614 767931 2226114 | 2147483647 234296 369 | 22.023 % |
1382.56/1383.28 c | 238760 | 107614 767931 2226114 | 2147483647 235017 370 | 22.023 % |
1387.85/1388.58 c | 239552 | 107611 767931 2226114 | 2147483647 235804 369 | 22.059 % |
1395.64/1396.32 c | 240423 | 107610 767931 2226114 | 2147483647 236674 370 | 22.059 % |
1399.95/1400.60 c | 241386 | 107608 767931 2226114 | 2147483647 237635 370 | 22.061 % |
1410.35/1411.03 c | 242441 | 107605 767931 2226114 | 2147483647 238687 371 | 22.067 % |
1419.94/1420.70 c | 243599 | 107604 767931 2226114 | 2147483647 239844 371 | 22.372 % |
1428.63/1429.33 c | 244872 | 107603 767931 2226114 | 2147483647 241116 371 | 22.383 % |
1441.33/1442.01 c | 246272 | 107045 757949 2198415 | 2147483647 239104 373 | 22.383 % |
1453.43/1454.18 c | 247815 | 107045 757949 2198415 | 2147483647 240645 374 | 22.392 % |
1471.73/1472.45 c | 249510 | 107045 757949 2198415 | 2147483647 242339 375 | 22.396 % |
1491.21/1491.92 c | 251373 | 107045 757949 2198415 | 2147483647 244202 376 | 22.396 % |
1511.50/1512.23 c | 253425 | 107042 757949 2198415 | 2147483647 246252 377 | 22.410 % |
1529.29/1530.03 c | 255681 | 107039 757949 2198415 | 2147483647 248502 378 | 22.437 % |
1554.69/1555.47 c | 258159 | 107038 757949 2198415 | 2147483647 250979 380 | 22.446 % |
1555.69/1556.41 c | 258259 | 107038 757949 2198415 | 2147483647 251079 380 | 22.446 % |
1556.09/1556.90 c | 258372 | 107038 757949 2198415 | 2147483647 251192 380 | 22.446 % |
1557.29/1558.06 c | 258495 | 107038 757949 2198415 | 2147483647 251315 381 | 22.446 % |
1558.08/1558.87 c | 258630 | 107038 757949 2198415 | 2147483647 251450 380 | 22.446 % |
1559.58/1560.34 c | 258777 | 107038 757949 2198415 | 2147483647 251597 381 | 22.446 % |
1561.08/1561.84 c | 258938 | 107038 757949 2198415 | 2147483647 251758 380 | 22.446 % |
1562.29/1563.09 c | 259114 | 107038 757949 2198415 | 2147483647 251934 380 | 22.446 % |
1564.37/1565.16 c | 259309 | 107038 757949 2198415 | 2147483647 252128 381 | 22.458 % |
1565.97/1566.78 c | 259521 | 107038 757949 2198415 | 2147483647 252340 380 | 22.458 % |
1566.57/1567.38 c | 259754 | 107038 757949 2198415 | 2147483647 252573 380 | 22.458 % |
1568.87/1569.67 c | 260011 | 107038 757949 2198415 | 2147483647 252830 380 | 22.458 % |
1571.87/1572.65 c | 260295 | 106942 757076 2196169 | 2147483647 252989 380 | 22.458 % |
1573.27/1574.03 c | 260611 | 106942 757076 2196169 | 2147483647 253305 380 | 22.458 % |
1576.17/1576.99 c | 260953 | 106942 757076 2196169 | 2147483647 253647 381 | 22.458 % |
1580.78/1581.50 c | 261326 | 106942 757076 2196169 | 2147483647 254020 381 | 22.458 % |
1584.48/1585.25 c | 261736 | 106942 757076 2196169 | 2147483647 254430 381 | 22.458 % |
1588.47/1589.22 c | 262185 | 106942 757076 2196169 | 2147483647 254879 381 | 22.458 % |
1594.27/1595.04 c | 262679 | 106942 757076 2196169 | 2147483647 255373 382 | 22.458 % |
1597.67/1598.46 c | 263224 | 106939 757076 2196169 | 2147483647 255917 382 | 22.467 % |
1602.17/1602.93 c | 263822 | 106938 757076 2196169 | 2147483647 256514 383 | 22.467 % |
1608.57/1609.33 c | 264477 | 106938 757076 2196169 | 2147483647 257168 383 | 22.502 % |
1614.26/1615.08 c | 265199 | 106840 757076 2196169 | 2147483647 257887 383 | 22.577 % |
1620.66/1621.42 c | 265991 | 106840 757076 2196169 | 2147483647 258679 383 | 22.577 % |
1628.76/1629.53 c | 266862 | 106840 757076 2196169 | 2147483647 259549 384 | 22.594 % |
1638.05/1638.80 c | 267820 | 106839 757076 2196169 | 2147483647 260506 384 | 22.595 % |
1647.65/1648.44 c | 268877 | 106838 757076 2196169 | 2147483647 261562 384 | 22.596 % |
1657.44/1658.29 c | 270037 | 106837 757076 2196169 | 2147483647 262721 385 | 22.597 % |
1668.54/1669.36 c | 271311 | 106837 757076 2196169 | 2147483647 263995 386 | 22.597 % |
1682.03/1682.88 c | 272714 | 106837 757076 2196169 | 2147483647 265398 386 | 22.597 % |
1694.13/1694.96 c | 274255 | 106759 757076 2196169 | 2147483647 266937 385 | 22.718 % |
1709.62/1710.44 c | 275949 | 106757 757076 2196169 | 2147483647 268629 387 | 22.886 % |
1726.12/1726.91 c | 277812 | 106341 750273 2178065 | 2147483647 269859 387 | 22.894 % |
1746.90/1747.75 c | 279863 | 106336 750273 2178065 | 2147483647 271908 389 | 22.907 % |
1761.20/1762.04 c | 282116 | 106325 750273 2178065 | 2147483647 274156 389 | 22.935 % |
1784.39/1785.26 c | 284596 | 106323 750273 2178065 | 2147483647 276634 390 | 22.944 % |
1809.58/1810.42 c | 287322 | 106323 750273 2178065 | 2147483647 279359 391 | 22.945 % |
1810.28/1811.15 c | 287424 | 106323 750273 2178065 | 2147483647 279461 391 | 22.945 % |
1811.18/1812.08 c | 287534 | 106323 750273 2178065 | 2147483647 279571 391 | 22.945 % |
1812.17/1813.01 c | 287657 | 106322 750273 2178065 | 2147483647 279693 391 | 22.945 % |
1812.87/1813.80 c | 287790 | 106322 750273 2178065 | 2147483647 279825 391 | 22.946 % |
1813.97/1814.89 c | 287936 | 106321 750273 2178065 | 2147483647 279971 391 | 22.946 % |
1815.37/1816.28 c | 288098 | 106321 750273 2178065 | 2147483647 280133 391 | 22.946 % |
1817.17/1818.08 c | 288274 | 106321 750273 2178065 | 2147483647 280309 392 | 22.946 % |
1818.67/1819.55 c | 288467 | 106321 750273 2178065 | 2147483647 280502 392 | 22.946 % |
1820.48/1821.38 c | 288679 | 106321 750273 2178065 | 2147483647 280714 392 | 22.946 % |
1822.58/1823.48 c | 288913 | 106321 750273 2178065 | 2147483647 280948 392 | 22.946 % |
1824.78/1825.62 c | 289170 | 106321 750273 2178065 | 2147483647 281205 392 | 22.946 % |
1827.17/1828.07 c | 289453 | 106321 750273 2178065 | 2147483647 281488 392 | 22.946 % |
1831.27/1832.10 c | 289767 | 106321 750273 2178065 | 2147483647 281802 393 | 22.946 % |
1834.36/1835.21 c | 290106 | 106321 750273 2178065 | 2147483647 282141 393 | 22.946 % |
1837.37/1838.27 c | 290478 | 106318 750273 2178065 | 2147483647 282512 393 | 22.952 % |
1841.77/1842.62 c | 290887 | 106318 750273 2178065 | 2147483647 282921 394 | 22.952 % |
1845.56/1846.43 c | 291337 | 106315 750273 2178065 | 2147483647 283370 394 | 22.958 % |
1850.06/1850.98 c | 291835 | 106315 750273 2178065 | 2147483647 283868 394 | 22.958 % |
1855.55/1856.46 c | 292379 | 106315 750273 2178065 | 2147483647 284412 394 | 22.958 % |
1861.66/1862.57 c | 292977 | 106314 750273 2178065 | 2147483647 285009 394 | 22.958 % |
1866.96/1867.82 c | 293633 | 106314 750273 2178065 | 2147483647 285665 394 | 22.958 % |
1874.15/1875.04 c | 294353 | 106314 750273 2178065 | 2147483647 286385 395 | 22.958 % |
1879.24/1880.18 c | 295150 | 106314 750273 2178065 | 2147483647 287182 395 | 22.958 % |
1887.04/1887.92 c | 296021 | 106252 749496 2176008 | 2147483647 287992 395 | 22.958 % |
1897.65/1898.52 c | 296980 | 106247 749496 2176008 | 2147483647 288950 397 | 23.000 % |
1907.94/1908.86 c | 298033 | 106244 749496 2176008 | 2147483647 290001 397 | 23.008 % |
1918.34/1919.26 c | 299191 | 106233 749496 2176008 | 2147483647 291158 398 | 23.022 % |
1930.23/1931.18 c | 300464 | 106232 749496 2176008 | 2147483647 292430 399 | 23.030 % |
1944.63/1945.53 c | 301866 | 106231 749496 2176008 | 2147483647 293831 399 | 23.040 % |
1961.32/1962.22 c | 303413 | 106230 749496 2176008 | 2147483647 295375 399 | 23.055 % |
1978.01/1978.90 c | 305107 | 106228 749496 2176008 | 2147483647 297068 401 | 23.056 % |
1994.00/1994.91 c | 306971 | 106227 749496 2176008 | 2147483647 298930 401 | 23.057 % |
2012.10/2013.09 c | 309022 | 106223 749496 2176008 | 2147483647 300977 401 | 23.065 % |
2037.19/2038.19 c | 311275 | 106222 749496 2176008 | 2147483647 303229 401 | 23.066 % |
2060.07/2061.00 c | 313755 | 106099 748308 2172899 | 2147483647 305649 401 | 23.069 % |
2085.47/2086.46 c | 316482 | 106093 748308 2172899 | 2147483647 308370 404 | 23.079 % |
2118.45/2119.42 c | 319479 | 106093 748308 2172899 | 2147483647 311367 408 | 23.079 % |
2119.25/2120.27 c | 319582 | 106093 748308 2172899 | 2147483647 311470 408 | 23.079 % |
2120.05/2121.06 c | 319692 | 106093 748308 2172899 | 2147483647 311580 408 | 23.079 % |
2120.55/2121.51 c | 319815 | 106093 748308 2172899 | 2147483647 311703 408 | 23.079 % |
2121.05/2122.00 c | 319948 | 106093 748308 2172899 | 2147483647 311836 408 | 23.079 % |
2121.25/2122.27 c | 320099 | 106093 748308 2172899 | 2147483647 311987 407 | 23.079 % |
2122.25/2123.27 c | 320260 | 106091 748308 2172899 | 2147483647 312147 407 | 23.082 % |
2124.25/2125.26 c | 320438 | 106091 748308 2172899 | 2147483647 312325 407 | 23.082 % |
2125.95/2126.95 c | 320632 | 106087 748308 2172899 | 2147483647 312515 408 | 23.085 % |
2127.25/2128.23 c | 320848 | 106087 748308 2172899 | 2147483647 312731 408 | 23.085 % |
2130.05/2131.09 c | 321081 | 106087 748308 2172899 | 2147483647 312964 408 | 23.085 % |
2132.05/2133.02 c | 321338 | 106087 748308 2172899 | 2147483647 313221 408 | 23.085 % |
2134.85/2135.87 c | 321619 | 106087 748308 2172899 | 2147483647 313501 408 | 23.087 % |
2139.35/2140.33 c | 321928 | 106087 748308 2172899 | 2147483647 313810 408 | 23.087 % |
2142.44/2143.48 c | 322268 | 106085 748308 2172899 | 2147483647 314148 408 | 23.103 % |
2145.15/2146.18 c | 322645 | 106085 748308 2172899 | 2147483647 314524 408 | 23.111 % |
2149.73/2150.73 c | 323054 | 106085 748308 2172899 | 2147483647 314933 408 | 23.111 % |
2156.23/2157.25 c | 323511 | 106085 748308 2172899 | 2147483647 315390 408 | 23.111 % |
2162.33/2163.39 c | 324005 | 106085 748308 2172899 | 2147483647 315884 408 | 23.111 % |
2169.13/2170.20 c | 324548 | 106085 748308 2172899 | 2147483647 316427 408 | 23.111 % |
2175.63/2176.66 c | 325146 | 106085 748308 2172899 | 2147483647 317025 408 | 23.111 % |
2183.13/2184.19 c | 325801 | 106085 748308 2172899 | 2147483647 317680 409 | 23.111 % |
2189.82/2190.87 c | 326523 | 106082 748308 2172899 | 2147483647 318400 409 | 23.127 % |
2197.51/2198.59 c | 327315 | 106082 748308 2172899 | 2147483647 319192 409 | 23.127 % |
2207.01/2208.06 c | 328186 | 106081 748308 2172899 | 2147483647 320062 410 | 23.128 % |
2217.11/2218.12 c | 329144 | 106080 748308 2172899 | 2147483647 321019 410 | 23.129 % |
2227.41/2228.46 c | 330200 | 106080 748308 2172899 | 2147483647 322075 410 | 23.129 % |
2237.99/2239.01 c | 331362 | 106080 748308 2172899 | 2147483647 323236 410 | 23.139 % |
2253.48/2254.56 c | 332635 | 106080 748308 2172899 | 2147483647 324509 411 | 23.139 % |
2267.68/2268.72 c | 334037 | 106080 748308 2172899 | 2147483647 325911 411 | 23.139 % |
2285.97/2287.01 c | 335580 | 106002 747507 2170756 | 2147483647 327398 412 | 23.146 % |
2303.96/2305.04 c | 337274 | 106002 747507 2170756 | 2147483647 329091 413 | 23.147 % |
2323.66/2324.73 c | 339139 | 106001 747507 2170756 | 2147483647 330954 413 | 23.178 % |
2345.54/2346.64 c | 341188 | 106001 747507 2170756 | 2147483647 333003 413 | 23.178 % |
2371.64/2372.77 c | 343441 | 105997 747507 2170756 | 2147483647 335253 414 | 23.190 % |
2398.32/2399.42 c | 345920 | 105996 747507 2170756 | 2147483647 337731 414 | 23.190 % |
2431.11/2432.26 c | 348651 | 105995 747507 2170756 | 2147483647 340461 415 | 23.191 % |
2459.60/2460.75 c | 351648 | 105994 747507 2170756 | 2147483647 343455 416 | 23.198 % |
2491.78/2492.98 c | 354944 | 105994 747507 2170756 | 2147483647 346750 417 | 23.202 % |
2492.98/2494.16 c | 355044 | 105994 747507 2170756 | 2147483647 346850 417 | 23.202 % |
2494.58/2495.77 c | 355155 | 105994 747507 2170756 | 2147483647 346961 417 | 23.202 % |
2496.18/2497.31 c | 355276 | 105994 747507 2170756 | 2147483647 347082 417 | 23.202 % |
2497.38/2498.58 c | 355413 | 105994 747507 2170756 | 2147483647 347219 417 | 23.202 % |
2498.38/2499.58 c | 355559 | 105994 747507 2170756 | 2147483647 347365 417 | 23.202 % |
2500.28/2501.44 c | 355721 | 105994 747507 2170756 | 2147483647 347527 417 | 23.202 % |
2502.48/2503.61 c | 355898 | 105993 747507 2170756 | 2147483647 347703 417 | 23.209 % |
2505.17/2506.33 c | 356092 | 105993 747507 2170756 | 2147483647 347897 417 | 23.209 % |
2507.67/2508.89 c | 356304 | 105993 747507 2170756 | 2147483647 348109 417 | 23.209 % |
2510.66/2511.84 c | 356537 | 105993 747507 2170756 | 2147483647 348342 417 | 23.209 % |
2513.06/2514.20 c | 356793 | 105906 746687 2168556 | 2147483647 348531 417 | 23.209 % |
2516.07/2517.29 c | 357076 | 105905 746687 2168556 | 2147483647 348813 418 | 23.210 % |
2519.37/2520.50 c | 357397 | 105905 746687 2168556 | 2147483647 349134 418 | 23.210 % |
2522.46/2523.64 c | 357738 | 105905 746687 2168556 | 2147483647 349475 418 | 23.210 % |
2525.96/2527.15 c | 358112 | 105905 746687 2168556 | 2147483647 349849 418 | 23.210 % |
2530.16/2531.32 c | 358522 | 105905 746687 2168556 | 2147483647 350259 418 | 23.210 % |
2533.66/2534.82 c | 358972 | 105904 746687 2168556 | 2147483647 350708 418 | 23.240 % |
2538.45/2539.69 c | 359465 | 105892 746687 2168556 | 2147483647 351201 418 | 23.240 % |
2543.56/2544.71 c | 360009 | 105892 746687 2168556 | 2147483647 351745 418 | 23.240 % |
2548.76/2549.93 c | 360605 | 105892 746687 2168556 | 2147483647 352341 418 | 23.240 % |
2555.94/2557.10 c | 361260 | 105892 746687 2168556 | 2147483647 352996 418 | 23.240 % |
2563.74/2564.99 c | 361982 | 105892 746687 2168556 | 2147483647 353718 417 | 23.240 % |
2572.44/2573.67 c | 362776 | 105891 746687 2168556 | 2147483647 354511 417 | 23.247 % |
2581.34/2582.52 c | 363647 | 105889 746687 2168556 | 2147483647 355380 417 | 23.253 % |
2590.53/2591.79 c | 364608 | 105886 746687 2168556 | 2147483647 356339 418 | 23.260 % |
2600.62/2601.88 c | 365663 | 105884 746687 2168556 | 2147483647 357391 418 | 23.274 % |
2611.92/2613.13 c | 366821 | 105884 746687 2168556 | 2147483647 358549 418 | 23.274 % |
2624.92/2626.18 c | 368094 | 105878 746687 2168556 | 2147483647 359817 418 | 23.341 % |
2641.02/2642.22 c | 369495 | 105875 746687 2168556 | 2147483647 361217 418 | 23.347 % |
2660.41/2661.67 c | 371036 | 105871 746687 2168556 | 2147483647 362754 418 | 23.668 % |
2682.80/2684.06 c | 372731 | 105870 746687 2168556 | 2147483647 364447 419 | 23.679 % |
2706.28/2707.58 c | 374594 | 105870 746687 2168556 | 2147483647 366310 420 | 23.679 % |
2734.56/2735.80 c | 376643 | 105870 746687 2168556 | 2147483647 368358 420 | 23.681 % |
2756.96/2758.29 c | 378899 | 105863 746687 2168556 | 2147483647 370612 419 | 23.884 % |
2782.75/2784.03 c | 381377 | 104975 733661 2132796 | 2147483647 352684 413 | 23.884 % |
2809.64/2810.96 c | 384102 | 104975 733661 2132796 | 2147483647 355409 412 | 23.884 % |
2848.92/2850.26 c | 387103 | 104974 733661 2132796 | 2147483647 358404 413 | 23.907 % |
2885.30/2886.63 c | 390400 | 104962 733661 2132796 | 2147483647 361689 413 | 23.987 % |
2920.70/2922.04 c | 394031 | 104953 733661 2132796 | 2147483647 365318 414 | 24.005 % |
2921.40/2922.73 c | 394131 | 104952 733661 2132796 | 2147483647 365417 414 | 24.006 % |
2922.60/2923.92 c | 394241 | 104952 733661 2132796 | 2147483647 365527 414 | 24.006 % |
2924.10/2925.45 c | 394368 | 104952 733661 2132796 | 2147483647 365654 415 | 24.006 % |
2926.40/2927.71 c | 394501 | 104952 733661 2132796 | 2147483647 365787 414 | 24.006 % |
2927.50/2928.89 c | 394648 | 104952 733661 2132796 | 2147483647 365934 414 | 24.006 % |
2929.40/2930.72 c | 394808 | 104952 733661 2132796 | 2147483647 366094 415 | 24.006 % |
2931.60/2932.94 c | 394984 | 104952 733661 2132796 | 2147483647 366270 414 | 24.006 % |
2933.19/2934.51 c | 395177 | 104952 733661 2132796 | 2147483647 366463 414 | 24.006 % |
2934.39/2935.73 c | 395390 | 104952 733661 2132796 | 2147483647 366676 414 | 24.006 % |
2936.80/2938.18 c | 395626 | 104952 733661 2132796 | 2147483647 366912 414 | 24.006 % |
2940.89/2942.23 c | 395882 | 104952 733661 2132796 | 2147483647 367168 414 | 24.006 % |
2945.60/2946.95 c | 396173 | 104952 733661 2132796 | 2147483647 367459 414 | 24.006 % |
2948.29/2949.64 c | 396482 | 104952 733661 2132796 | 2147483647 367768 414 | 24.006 % |
2950.39/2951.72 c | 396822 | 104952 733661 2132796 | 2147483647 368108 414 | 24.006 % |
2954.49/2955.89 c | 397194 | 104952 733661 2132796 | 2147483647 368479 414 | 24.009 % |
2959.89/2961.26 c | 397603 | 104952 733661 2132796 | 2147483647 368888 414 | 24.009 % |
2965.39/2966.74 c | 398052 | 104952 733661 2132796 | 2147483647 369337 414 | 24.009 % |
2971.78/2973.14 c | 398545 | 104952 733661 2132796 | 2147483647 369830 414 | 24.009 % |
2979.28/2980.69 c | 399088 | 104952 733661 2132796 | 2147483647 370373 415 | 24.009 % |
2984.48/2985.81 c | 399685 | 104952 733661 2132796 | 2147483647 370970 415 | 24.009 % |
2991.07/2992.41 c | 400342 | 104949 733661 2132796 | 2147483647 371625 415 | 24.065 % |
2996.97/2998.34 c | 401063 | 104949 733661 2132796 | 2147483647 372346 415 | 24.065 % |
3006.96/3008.30 c | 401855 | 104949 733661 2132796 | 2147483647 373138 416 | 24.065 % |
3016.46/3017.86 c | 402727 | 104949 733661 2132796 | 2147483647 374010 416 | 24.065 % |
3027.46/3028.84 c | 403686 | 104948 733661 2132796 | 2147483647 374968 416 | 24.066 % |
3040.45/3041.85 c | 404746 | 104725 731612 2127532 | 2147483647 375406 417 | 24.066 % |
3050.54/3051.98 c | 405906 | 104725 731612 2127532 | 2147483647 376566 417 | 24.066 % |
3065.63/3067.10 c | 407180 | 104724 731612 2127532 | 2147483647 377839 418 | 24.066 % |
3081.14/3082.56 c | 408580 | 104724 731612 2127532 | 2147483647 379237 418 | 24.078 % |
3099.82/3101.23 c | 410121 | 104724 731612 2127532 | 2147483647 380778 420 | 24.078 % |
3117.02/3118.47 c | 411815 | 104724 731612 2127532 | 2147483647 382472 420 | 24.078 % |
3135.51/3136.95 c | 413678 | 104724 731612 2127532 | 2147483647 384334 421 | 24.079 % |
3161.30/3162.79 c | 415727 | 104724 731612 2127532 | 2147483647 386382 420 | 24.087 % |
3188.89/3190.33 c | 417980 | 104722 731612 2127532 | 2147483647 388633 420 | 24.088 % |
3210.58/3212.06 c | 420459 | 104721 731612 2127532 | 2147483647 391109 420 | 24.114 % |
3236.57/3238.03 c | 423185 | 104721 731612 2127532 | 2147483647 393835 420 | 24.114 % |
3271.85/3273.34 c | 426182 | 104720 731612 2127532 | 2147483647 396829 421 | 24.129 % |
3306.54/3308.04 c | 429480 | 104718 731612 2127532 | 2147483647 400125 422 | 24.136 % |
3345.62/3347.19 c | 433105 | 104625 730871 2125604 | 2147483647 403657 423 | 24.143 % |
3397.00/3398.56 c | 437095 | 104623 730871 2125604 | 2147483647 407645 427 | 24.155 % |
3399.00/3400.52 c | 437198 | 104623 730871 2125604 | 2147483647 407748 427 | 24.155 % |
3400.49/3402.00 c | 437309 | 104623 730871 2125604 | 2147483647 407859 427 | 24.155 % |
3402.39/3403.92 c | 437430 | 104623 730871 2125604 | 2147483647 407980 427 | 24.155 % |
3404.49/3406.06 c | 437565 | 104623 730871 2125604 | 2147483647 408115 427 | 24.155 % |
3406.60/3408.13 c | 437712 | 104623 730871 2125604 | 2147483647 408262 426 | 24.155 % |
3408.50/3410.03 c | 437872 | 104623 730871 2125604 | 2147483647 408422 427 | 24.155 % |
3410.59/3412.11 c | 438048 | 104623 730871 2125604 | 2147483647 408598 427 | 24.155 % |
3413.19/3414.72 c | 438243 | 104623 730871 2125604 | 2147483647 408793 426 | 24.155 % |
3415.79/3417.31 c | 438457 | 104623 730871 2125604 | 2147483647 409007 427 | 24.155 % |
3419.08/3420.64 c | 438690 | 104623 730871 2125604 | 2147483647 409240 427 | 24.155 % |
3421.69/3423.27 c | 438951 | 104623 730871 2125604 | 2147483647 409501 427 | 24.155 % |
3424.08/3425.64 c | 439232 | 104622 730871 2125604 | 2147483647 409781 427 | 24.155 % |
3428.68/3430.24 c | 439542 | 104621 730871 2125604 | 2147483647 410090 427 | 24.156 % |
3433.58/3435.16 c | 439881 | 104620 730871 2125604 | 2147483647 410428 427 | 24.157 % |
3436.47/3438.01 c | 440253 | 104620 730871 2125604 | 2147483647 410800 427 | 24.157 % |
3440.47/3442.04 c | 440664 | 104620 730871 2125604 | 2147483647 411211 426 | 24.157 % |
3446.78/3448.37 c | 441114 | 104620 730871 2125604 | 2147483647 411661 426 | 24.157 % |
3451.56/3453.13 c | 441609 | 104620 730871 2125604 | 2147483647 412155 426 | 24.158 % |
3457.25/3458.86 c | 442154 | 104619 730871 2125604 | 2147483647 412699 426 | 24.158 % |
3463.86/3465.46 c | 442753 | 104617 730871 2125604 | 2147483647 413297 426 | 24.165 % |
3472.55/3474.16 c | 443409 | 104616 730871 2125604 | 2147483647 413952 426 | 24.166 % |
3481.14/3482.71 c | 444131 | 104616 730871 2125604 | 2147483647 414674 427 | 24.166 % |
3489.95/3491.56 c | 444923 | 104612 730871 2125604 | 2147483647 415465 427 | 24.208 % |
3500.04/3501.65 c | 445794 | 104612 730871 2125604 | 2147483647 416335 427 | 24.210 % |
3510.33/3511.90 c | 446752 | 104611 730871 2125604 | 2147483647 417292 427 | 24.211 % |
3522.93/3524.58 c | 447810 | 104611 730871 2125604 | 2147483647 418350 428 | 24.211 % |
3535.12/3536.70 c | 448968 | 104608 730871 2125604 | 2147483647 419507 428 | 24.213 % |
3546.52/3548.15 c | 450241 | 104606 730871 2125604 | 2147483647 420779 429 | 24.219 % |
3565.21/3566.80 c | 451641 | 104606 730871 2125604 | 2147483647 422178 429 | 24.219 % |
3583.91/3585.55 c | 453183 | 104604 730871 2125604 | 2147483647 423718 429 | 24.221 % |
3602.89/3604.57 c | 454877 | 104603 730871 2125604 | 2147483647 425411 429 | 24.527 % |
3627.29/3628.91 c | 456741 | 104076 720184 2095697 | 2147483647 426871 430 | 24.536 % |
3651.58/3653.29 c | 458790 | 104076 720184 2095697 | 2147483647 428920 430 | 24.536 % |
3674.47/3676.16 c | 461045 | 104073 720184 2095697 | 2147483647 431173 431 | 24.552 % |
3704.16/3705.81 c | 463524 | 104073 720184 2095697 | 2147483647 433652 432 | 24.552 % |
3733.95/3735.63 c | 466249 | 104065 720184 2095697 | 2147483647 436373 432 | 24.572 % |
3775.73/3777.45 c | 469248 | 104065 720184 2095697 | 2147483647 439371 433 | 24.581 % |
3813.40/3815.11 c | 472546 | 104063 720184 2095697 | 2147483647 442665 433 | 24.599 % |
3856.49/3858.22 c | 476173 | 104046 720184 2095697 | 2147483647 446290 434 | 25.112 % |
3904.07/3905.89 c | 480161 | 104045 720184 2095697 | 2147483647 450277 435 | 25.117 % |
3954.95/3956.79 c | 484546 | 104043 720184 2095697 | 2147483647 454656 437 | 25.121 % |
3956.05/3957.81 c | 484647 | 104043 720184 2095697 | 2147483647 454757 437 | 25.121 % |
3957.84/3959.69 c | 484757 | 104043 720184 2095697 | 2147483647 454867 437 | 25.121 % |
3959.44/3961.29 c | 484879 | 104043 720184 2095697 | 2147483647 454989 437 | 25.121 % |
3961.14/3962.93 c | 485012 | 104043 720184 2095697 | 2147483647 455122 437 | 25.121 % |
3963.64/3965.40 c | 485158 | 104043 720184 2095697 | 2147483647 455268 437 | 25.121 % |
3965.14/3966.98 c | 485318 | 104043 720184 2095697 | 2147483647 455428 437 | 25.121 % |
3967.55/3969.34 c | 485494 | 104043 720184 2095697 | 2147483647 455603 437 | 25.122 % |
3970.45/3972.29 c | 485687 | 104043 720184 2095697 | 2147483647 455796 437 | 25.122 % |
3972.64/3974.49 c | 485899 | 104043 720184 2095697 | 2147483647 456008 437 | 25.122 % |
3975.75/3977.56 c | 486132 | 104043 720184 2095697 | 2147483647 456241 437 | 25.122 % |
3978.84/3980.63 c | 486389 | 104043 720184 2095697 | 2147483647 456498 437 | 25.122 % |
3982.04/3983.85 c | 486670 | 104043 720184 2095697 | 2147483647 456779 437 | 25.122 % |
3984.84/3986.69 c | 486980 | 104043 720184 2095697 | 2147483647 457089 437 | 25.122 % |
3989.73/3991.56 c | 487320 | 104043 720184 2095697 | 2147483647 457429 437 | 25.122 % |
3996.52/3998.40 c | 487692 | 103266 706990 2059010 | 2147483647 414757 427 | 25.123 % |
4002.52/4004.38 c | 488101 | 103266 706990 2059010 | 2147483647 415166 427 | 25.123 % |
4008.22/4010.07 c | 488551 | 103266 706990 2059010 | 2147483647 415616 427 | 25.123 % |
4015.32/4017.18 c | 489048 | 103265 706990 2059010 | 2147483647 416111 427 | 25.140 % |
4024.01/4025.87 c | 489591 | 103265 706990 2059010 | 2147483647 416653 427 | 25.147 % |
4031.61/4033.46 c | 490190 | 103265 706990 2059010 | 2147483647 417252 428 | 25.147 % |
4039.80/4041.65 c | 490845 | 103265 706990 2059010 | 2147483647 417907 428 | 25.147 % |
4048.20/4050.03 c | 491567 | 103264 706990 2059010 | 2147483647 418628 428 | 25.147 % |
4056.80/4058.64 c | 492361 | 103264 706990 2059010 | 2147483647 419422 428 | 25.147 % |
4068.20/4070.04 c | 493232 | 103264 706990 2059010 | 2147483647 420292 428 | 25.148 % |
4082.09/4083.92 c | 494199 | 103264 706990 2059010 | 2147483647 421259 428 | 25.148 % |
4090.98/4092.81 c | 495253 | 103264 706990 2059010 | 2147483647 422313 428 | 25.148 % |
4105.18/4107.05 c | 496411 | 103264 706990 2059010 | 2147483647 423471 428 | 25.148 % |
4115.67/4117.53 c | 497685 | 103263 706990 2059010 | 2147483647 424743 429 | 25.155 % |
4130.87/4132.74 c | 499089 | 103263 706990 2059010 | 2147483647 426146 429 | 25.156 % |
4147.96/4149.84 c | 500629 | 103263 706990 2059010 | 2147483647 427686 429 | 25.156 % |
4167.85/4169.74 c | 502323 | 103263 706990 2059010 | 2147483647 429380 430 | 25.156 % |
4187.64/4189.55 c | 504186 | 103263 706990 2059010 | 2147483647 431243 431 | 25.156 % |
4212.14/4214.09 c | 506236 | 103263 706990 2059010 | 2147483647 433292 431 | 25.157 % |
4240.02/4241.99 c | 508490 | 103263 706990 2059010 | 2147483647 435545 432 | 25.158 % |
4271.80/4273.75 c | 510968 | 103261 706990 2059010 | 2147483647 438020 433 | 25.244 % |
4303.50/4305.42 c | 513695 | 103259 706990 2059010 | 2147483647 440745 433 | 25.256 % |
4332.39/4334.32 c | 516696 | 103254 706990 2059010 | 2147483647 443743 434 | 25.289 % |
4369.07/4371.03 c | 519993 | 103254 706990 2059010 | 2147483647 447040 435 | 25.289 % |
4410.85/4412.89 c | 523618 | 103035 705427 2054955 | 2147483647 450573 435 | 25.292 % |
4462.33/4464.38 c | 527608 | 103035 705427 2054955 | 2147483647 454563 439 | 25.292 % |
4508.51/4510.53 c | 531993 | 103026 705427 2054955 | 2147483647 458941 439 | 25.352 % |
4568.90/4570.92 c | 536816 | 103015 705427 2054955 | 2147483647 463758 439 | 25.444 % |
4571.00/4573.00 c | 536916 | 103015 705427 2054955 | 2147483647 463858 440 | 25.444 % |
4572.39/4574.40 c | 537026 | 103015 705427 2054955 | 2147483647 463968 440 | 25.444 % |
4573.69/4575.73 c | 537147 | 103015 705427 2054955 | 2147483647 464089 440 | 25.444 % |
4574.79/4576.87 c | 537280 | 103015 705427 2054955 | 2147483647 464222 439 | 25.444 % |
4575.59/4577.68 c | 537426 | 103015 705427 2054955 | 2147483647 464368 439 | 25.444 % |
4578.98/4581.01 c | 537588 | 103015 705427 2054955 | 2147483647 464530 439 | 25.444 % |
4580.58/4582.62 c | 537764 | 103015 705427 2054955 | 2147483647 464706 439 | 25.444 % |
4582.78/4584.82 c | 537957 | 103015 705427 2054955 | 2147483647 464899 439 | 25.444 % |
4585.38/4587.49 c | 538169 | 103015 705427 2054955 | 2147483647 465111 439 | 25.444 % |
4588.78/4590.81 c | 538405 | 103014 705427 2054955 | 2147483647 465346 439 | 25.445 % |
4591.77/4593.89 c | 538661 | 103012 705427 2054955 | 2147483647 465600 439 | 25.453 % |
4596.38/4598.41 c | 538943 | 103012 705427 2054955 | 2147483647 465882 439 | 25.453 % |
4600.78/4602.82 c | 539252 | 103012 705427 2054955 | 2147483647 466190 439 | 25.454 % |
4605.97/4608.01 c | 539591 | 103011 705427 2054955 | 2147483647 466528 440 | 25.455 % |
4610.07/4612.16 c | 539965 | 103011 705427 2054955 | 2147483647 466902 440 | 25.455 % |
4615.07/4617.17 c | 540376 | 103011 705427 2054955 | 2147483647 467313 440 | 25.455 % |
4620.77/4622.86 c | 540825 | 103011 705427 2054955 | 2147483647 467762 440 | 25.455 % |
4628.86/4630.97 c | 541319 | 103011 705427 2054955 | 2147483647 468256 440 | 25.455 % |
4637.26/4639.30 c | 541863 | 103011 705427 2054955 | 2147483647 468800 440 | 25.455 % |
4645.26/4647.31 c | 542460 | 103011 705427 2054955 | 2147483647 469397 439 | 25.455 % |
4652.86/4654.92 c | 543115 | 103011 705427 2054955 | 2147483647 470052 439 | 25.455 % |
4662.35/4664.48 c | 543840 | 103011 705427 2054955 | 2147483647 470777 439 | 25.455 % |
4674.84/4676.91 c | 544635 | 103010 705427 2054955 | 2147483647 471571 438 | 25.456 % |
4689.54/4691.69 c | 545509 | 103010 705427 2054955 | 2147483647 472445 438 | 25.456 % |
4702.64/4704.72 c | 546467 | 103010 705427 2054955 | 2147483647 473403 438 | 25.456 % |
4718.03/4720.16 c | 547520 | 103010 705427 2054955 | 2147483647 474456 439 | 25.456 % |
4737.92/4740.03 c | 548679 | 103010 705427 2054955 | 2147483647 475615 439 | 25.456 % |
4756.01/4758.12 c | 549952 | 103010 705427 2054955 | 2147483647 476887 439 | 25.464 % |
4778.30/4780.41 c | 551353 | 103005 705427 2054955 | 2147483647 478286 441 | 25.480 % |
4801.09/4803.28 c | 552893 | 102774 703286 2049397 | 2147483647 479548 442 | 25.480 % |
4823.18/4825.32 c | 554587 | 102774 703286 2049397 | 2147483647 481242 442 | 25.480 % |
4847.87/4850.01 c | 556450 | 102771 703286 2049397 | 2147483647 483102 443 | 25.498 % |
4878.06/4880.28 c | 558500 | 102771 703286 2049397 | 2147483647 485152 443 | 25.498 % |
4912.44/4914.62 c | 560756 | 102770 703286 2049397 | 2147483647 487406 443 | 25.516 % |
4950.63/4952.88 c | 563236 | 102770 703286 2049397 | 2147483647 489885 443 | 25.516 % |
4987.71/4989.94 c | 565962 | 102769 703286 2049397 | 2147483647 492610 443 | 25.522 % |
5025.10/5027.31 c | 568959 | 102769 703286 2049397 | 2147483647 495607 444 | 25.522 % |
5066.98/5069.23 c | 572262 | 102768 703286 2049397 | 2147483647 498909 444 | 25.527 % |
5114.56/5116.81 c | 575887 | 102767 703286 2049397 | 2147483647 502533 445 | 25.528 % |
5181.14/5183.46 c | 579876 | 102767 703286 2049397 | 2147483647 506522 447 | 25.528 % |
5239.41/5241.77 c | 584263 | 102767 703286 2049397 | 2147483647 510909 449 | 25.528 % |
5307.28/5309.61 c | 589086 | 102706 702724 2047868 | 2147483647 515699 451 | 25.536 % |
5376.75/5379.10 c | 594393 | 102696 702724 2047868 | 2147483647 521000 453 | 25.585 % |
5378.45/5380.80 c | 594493 | 102696 702724 2047868 | 2147483647 521100 453 | 25.585 % |
5380.15/5382.59 c | 594606 | 102695 702724 2047868 | 2147483647 521212 453 | 25.592 % |
5381.35/5383.78 c | 594735 | 102695 702724 2047868 | 2147483647 521341 453 | 25.592 % |
5383.05/5385.46 c | 594871 | 102695 702724 2047868 | 2147483647 521477 453 | 25.592 % |
5385.05/5387.42 c | 595019 | 102695 702724 2047868 | 2147483647 521625 453 | 25.592 % |
5387.24/5389.67 c | 595180 | 102695 702724 2047868 | 2147483647 521786 453 | 25.592 % |
5389.54/5391.96 c | 595356 | 102695 702724 2047868 | 2147483647 521962 453 | 25.592 % |
5391.64/5394.08 c | 595551 | 102695 702724 2047868 | 2147483647 522157 453 | 25.592 % |
5394.44/5396.83 c | 595763 | 102695 702724 2047868 | 2147483647 522369 453 | 25.592 % |
5397.14/5399.52 c | 596004 | 102695 702724 2047868 | 2147483647 522610 453 | 25.592 % |
5401.04/5403.47 c | 596260 | 102695 702724 2047868 | 2147483647 522866 453 | 25.592 % |
5405.34/5407.74 c | 596544 | 102694 702724 2047868 | 2147483647 523149 453 | 25.593 % |
5409.74/5412.19 c | 596854 | 102694 702724 2047868 | 2147483647 523459 453 | 25.593 % |
5414.43/5416.90 c | 597194 | 102694 702724 2047868 | 2147483647 523799 454 | 25.593 % |
5420.23/5422.60 c | 597567 | 102694 702724 2047868 | 2147483647 524171 454 | 25.593 % |
5426.04/5428.47 c | 597976 | 102694 702724 2047868 | 2147483647 524580 454 | 25.593 % |
5432.12/5434.58 c | 598425 | 102693 702724 2047868 | 2147483647 525028 454 | 25.594 % |
5439.62/5442.08 c | 598924 | 102693 702724 2047868 | 2147483647 525527 454 | 25.594 % |
5449.01/5451.49 c | 599468 | 102693 702724 2047868 | 2147483647 526071 454 | 25.594 % |
5459.21/5461.69 c | 600065 | 102693 702724 2047868 | 2147483647 526668 454 | 25.594 % |
5471.41/5473.83 c | 600721 | 102693 702724 2047868 | 2147483647 527324 455 | 25.594 % |
5482.71/5485.19 c | 601441 | 102693 702724 2047868 | 2147483647 528044 455 | 25.594 % |
5495.50/5497.91 c | 602233 | 102693 702724 2047868 | 2147483647 528836 455 | 25.594 % |
5507.89/5510.30 c | 603104 | 102693 702724 2047868 | 2147483647 529706 455 | 25.639 % |
5521.59/5524.02 c | 604062 | 102693 702724 2047868 | 2147483647 530664 455 | 25.639 % |
5537.19/5539.61 c | 605117 | 102691 702724 2047868 | 2147483647 531718 455 | 25.645 % |
5551.28/5553.80 c | 606275 | 102691 702724 2047868 | 2147483647 532876 455 | 25.645 % |
5570.17/5572.64 c | 607548 | 102691 702724 2047868 | 2147483647 534149 455 | 25.645 % |
5591.26/5593.75 c | 608948 | 102691 702724 2047868 | 2147483647 535549 454 | 25.645 % |
5614.05/5616.57 c | 610488 | 102691 702724 2047868 | 2147483647 537089 455 | 25.645 % |
5639.24/5641.70 c | 612182 | 102687 702724 2047868 | 2147483647 538778 456 | 25.694 % |
5665.33/5667.88 c | 614046 | 102687 702724 2047868 | 2147483647 540642 456 | 25.694 % |
5685.42/5687.94 c | 616097 | 102687 702724 2047868 | 2147483647 542692 455 | 25.695 % |
5716.41/5718.99 c | 618350 | 102687 702724 2047868 | 2147483647 544945 456 | 25.695 % |
5745.69/5748.20 c | 620829 | 102477 700761 2042609 | 2147483647 547294 457 | 25.696 % |
5785.59/5788.10 c | 623557 | 102475 700761 2042609 | 2147483647 550020 458 | 25.737 % |
5830.46/5833.00 c | 626555 | 102474 700761 2042609 | 2147483647 553017 458 | 25.738 % |
5880.94/5883.50 c | 629851 | 102474 700761 2042609 | 2147483647 556313 459 | 25.738 % |
5940.02/5942.67 c | 633476 | 102472 700761 2042609 | 2147483647 559936 459 | 25.746 % |
5990.90/5993.52 c | 637463 | 102472 700761 2042609 | 2147483647 563923 459 | 25.746 % |
6059.38/6062.05 c | 641848 | 102471 700761 2042609 | 2147483647 568306 460 | 25.748 % |
6135.64/6138.31 c | 646671 | 102469 700761 2042609 | 2147483647 573126 459 | 25.764 % |
6218.10/6220.81 c | 651978 | 102466 700761 2042609 | 2147483647 578430 461 | 25.778 % |
6300.18/6302.99 c | 657814 | 102461 700761 2042609 | 2147483647 584263 463 | 25.820 % |
6301.77/6304.60 c | 657916 | 102461 700761 2042609 | 2147483647 584365 463 | 25.820 % |
6303.67/6306.46 c | 658026 | 102461 700761 2042609 | 2147483647 584475 463 | 25.820 % |
6305.27/6308.02 c | 658147 | 102461 700761 2042609 | 2147483647 584596 463 | 25.820 % |
6307.47/6310.21 c | 658280 | 102461 700761 2042609 | 2147483647 584729 463 | 25.820 % |
6309.87/6312.68 c | 658426 | 102461 700761 2042609 | 2147483647 584875 463 | 25.820 % |
6311.96/6314.79 c | 658589 | 102461 700761 2042609 | 2147483647 585038 463 | 25.820 % |
6314.76/6317.52 c | 658765 | 102461 700761 2042609 | 2147483647 585214 463 | 25.820 % |
6318.27/6321.05 c | 658961 | 102461 700761 2042609 | 2147483647 585410 463 | 25.820 % |
6323.37/6326.17 c | 659173 | 102306 699347 2038872 | 2147483647 585438 463 | 25.820 % |
6326.36/6329.10 c | 659406 | 102306 699347 2038872 | 2147483647 585671 463 | 25.820 % |
6329.66/6332.45 c | 659666 | 102306 699347 2038872 | 2147483647 585931 463 | 25.820 % |
6332.55/6335.36 c | 659949 | 102306 699347 2038872 | 2147483647 586214 463 | 25.820 % |
6338.45/6341.28 c | 660259 | 102306 699347 2038872 | 2147483647 586524 463 | 25.820 % |
6343.44/6346.22 c | 660599 | 102306 699347 2038872 | 2147483647 586864 463 | 25.820 % |
6349.15/6351.95 c | 660971 | 102306 699347 2038872 | 2147483647 587236 463 | 25.820 % |
6356.85/6359.69 c | 661385 | 102306 699347 2038872 | 2147483647 587650 463 | 25.820 % |
6361.34/6364.14 c | 661834 | 102306 699347 2038872 | 2147483647 588099 463 | 25.820 % |
6369.94/6372.72 c | 662330 | 102306 699347 2038872 | 2147483647 588595 463 | 25.820 % |
6377.33/6380.13 c | 662874 | 102306 699347 2038872 | 2147483647 589139 463 | 25.820 % |
6385.13/6387.93 c | 663470 | 102306 699347 2038872 | 2147483647 589735 463 | 25.820 % |
6393.13/6395.95 c | 664126 | 102306 699347 2038872 | 2147483647 590390 464 | 25.920 % |
6402.53/6405.39 c | 664846 | 102305 699347 2038872 | 2147483647 591109 464 | 25.920 % |
6415.82/6418.62 c | 665638 | 102304 699347 2038872 | 2147483647 591900 464 | 25.921 % |
6431.02/6433.81 c | 666511 | 102304 699347 2038872 | 2147483647 592773 464 | 25.921 % |
6445.50/6448.37 c | 667471 | 102304 699347 2038872 | 2147483647 593733 465 | 25.921 % |
6460.60/6463.43 c | 668526 | 102301 699347 2038872 | 2147483647 594787 465 | 25.927 % |
6477.59/6480.46 c | 669684 | 102300 699347 2038872 | 2147483647 595944 465 | 25.928 % |
6498.37/6501.28 c | 670957 | 102300 699347 2038872 | 2147483647 597217 465 | 25.928 % |
6517.77/6520.68 c | 672358 | 102300 699347 2038872 | 2147483647 598618 465 | 25.928 % |
6536.77/6539.66 c | 673898 | 102300 699347 2038872 | 2147483647 600158 465 | 25.928 % |
6555.16/6558.06 c | 675594 | 102300 699347 2038872 | 2147483647 601854 466 | 25.928 % |
6585.64/6588.52 c | 677457 | 102300 699347 2038872 | 2147483647 603717 466 | 25.928 % |
6619.63/6622.56 c | 679510 | 102300 699347 2038872 | 2147483647 605770 467 | 25.928 % |
6649.91/6652.87 c | 681763 | 102299 699347 2038872 | 2147483647 608021 467 | 25.940 % |
6694.19/6697.16 c | 684245 | 102299 699347 2038872 | 2147483647 610502 468 | 25.945 % |
6734.28/6737.24 c | 686972 | 102297 699347 2038872 | 2147483647 613226 468 | 25.956 % |
6790.86/6793.88 c | 689970 | 102294 699347 2038872 | 2147483647 616222 468 | 25.962 % |
6849.73/6852.79 c | 693266 | 102293 699347 2038872 | 2147483647 619517 469 | 25.972 % |
6901.61/6904.65 c | 696892 | 102292 699347 2038872 | 2147483647 623142 469 | 25.973 % |
6954.19/6957.23 c | 700880 | 102292 699347 2038872 | 2147483647 627129 470 | 25.982 % |
7021.76/7024.87 c | 705265 | 102292 699347 2038872 | 2147483647 631514 471 | 25.982 % |
7095.31/7098.47 c | 710093 | 102078 698104 2035861 | 2147483647 636208 472 | 25.995 % |
7180.28/7183.40 c | 715398 | 102076 698104 2035861 | 2147483647 641510 472 | 26.010 % |
7260.94/7264.19 c | 721236 | 102071 698104 2035861 | 2147483647 647344 472 | 26.027 % |
7367.39/7370.62 c | 727654 | 102067 698104 2035861 | 2147483647 653757 472 | 26.036 % |
7369.09/7372.39 c | 727754 | 102067 698104 2035861 | 2147483647 653857 472 | 26.036 % |
7370.69/7373.99 c | 727866 | 102067 698104 2035861 | 2147483647 653969 472 | 26.036 % |
7373.29/7376.55 c | 727987 | 102067 698104 2035861 | 2147483647 654090 472 | 26.036 % |
7374.49/7377.71 c | 728122 | 102067 698104 2035861 | 2147483647 654225 472 | 26.036 % |
7375.59/7378.85 c | 728268 | 102067 698104 2035861 | 2147483647 654371 472 | 26.036 % |
7378.49/7381.71 c | 728428 | 102051 698104 2035861 | 2147483647 654530 472 | 26.101 % |
7381.68/7384.93 c | 728604 | 102051 698104 2035861 | 2147483647 654706 472 | 26.101 % |
7382.98/7386.23 c | 728797 | 102051 698104 2035861 | 2147483647 654899 472 | 26.101 % |
7384.68/7387.90 c | 729009 | 102051 698104 2035861 | 2147483647 655111 472 | 26.101 % |
7388.48/7391.79 c | 729242 | 102051 698104 2035861 | 2147483647 655344 472 | 26.101 % |
7392.88/7396.11 c | 729498 | 102051 698104 2035861 | 2147483647 655600 472 | 26.101 % |
7397.59/7400.81 c | 729779 | 102050 698104 2035861 | 2147483647 655880 472 | 26.102 % |
7403.48/7406.80 c | 730088 | 102049 698104 2035861 | 2147483647 656188 472 | 26.102 % |
7407.77/7411.03 c | 730427 | 102049 698104 2035861 | 2147483647 656527 472 | 26.102 % |
7412.97/7416.25 c | 730800 | 102049 698104 2035861 | 2147483647 656900 472 | 26.102 % |
7417.47/7420.75 c | 731219 | 102049 698104 2035861 | 2147483647 657319 472 | 26.102 % |
7423.46/7426.77 c | 731668 | 102049 698104 2035861 | 2147483647 657768 472 | 26.102 % |
7431.87/7435.12 c | 732161 | 102049 698104 2035861 | 2147483647 658261 472 | 26.102 % |
7438.76/7442.09 c | 732704 | 102048 698104 2035861 | 2147483647 658803 473 | 26.103 % |
7446.46/7449.71 c | 733301 | 102048 698104 2035861 | 2147483647 659400 473 | 26.103 % |
7460.64/7464.00 c | 733957 | 102048 698104 2035861 | 2147483647 660056 473 | 26.103 % |
7473.35/7476.67 c | 734680 | 102048 698104 2035861 | 2147483647 660779 473 | 26.103 % |
7488.74/7492.10 c | 735474 | 102048 698104 2035861 | 2147483647 661573 473 | 26.103 % |
7502.43/7505.78 c | 736345 | 102048 698104 2035861 | 2147483647 662444 474 | 26.103 % |
7522.72/7526.00 c | 737304 | 102046 698104 2035861 | 2147483647 663401 474 | 26.129 % |
7542.72/7546.04 c | 738357 | 102046 698104 2035861 | 2147483647 664454 474 | 26.129 % |
7562.01/7565.31 c | 739515 | 102046 698104 2035861 | 2147483647 665612 474 | 26.129 % |
7582.50/7585.86 c | 740793 | 102046 698104 2035861 | 2147483647 666890 474 | 26.129 % |
7609.29/7612.68 c | 742196 | 102045 698104 2035861 | 2147483647 668292 474 | 26.135 % |
7635.17/7638.54 c | 743737 | 102045 698104 2035861 | 2147483647 669832 475 | 26.136 % |
7661.36/7664.77 c | 745431 | 102045 698104 2035861 | 2147483647 671526 475 | 26.136 % |
7690.85/7694.24 c | 747295 | 102045 698104 2035861 | 2147483647 673390 476 | 26.136 % |
7728.13/7731.54 c | 749344 | 102045 698104 2035861 | 2147483647 675438 476 | 26.136 % |
7768.42/7771.83 c | 751597 | 101839 696283 2031189 | 2147483647 677480 476 | 26.165 % |
7815.79/7819.25 c | 754079 | 101839 696283 2031189 | 2147483647 679962 477 | 26.165 % |
7862.78/7866.23 c | 756806 | 101836 696283 2031189 | 2147483647 682687 477 | 26.176 % |
7909.54/7913.05 c | 759803 | 101835 696283 2031189 | 2147483647 685682 477 | 26.186 % |
7971.13/7974.63 c | 763099 | 101835 696283 2031189 | 2147483647 688978 477 | 26.186 % |
8032.11/8035.61 c | 766724 | 101832 696283 2031189 | 2147483647 692600 477 | 26.188 % |
8088.58/8092.16 c | 770712 | 101831 696283 2031189 | 2147483647 696587 477 | 26.190 % |
8145.95/8149.58 c | 775100 | 101829 696283 2031189 | 2147483647 700973 477 | 26.191 % |
8216.93/8220.51 c | 779924 | 101829 696283 2031189 | 2147483647 705795 477 | 26.193 % |
8298.70/8302.36 c | 785229 | 101828 696283 2031189 | 2147483647 711099 478 | 26.194 % |
8405.25/8408.90 c | 791065 | 101824 696283 2031189 | 2147483647 716932 478 | 26.217 % |
8526.40/8530.14 c | 797485 | 101823 696283 2031189 | 2147483647 723350 479 | 26.220 % |
8668.64/8672.40 c | 804547 | 101823 696283 2031189 | 2147483647 730411 480 | 26.224 % |
8672.13/8675.94 c | 804647 | 101748 695543 2029286 | 2147483647 730440 480 | 26.224 % |
8674.23/8678.09 c | 804758 | 101748 695543 2029286 | 2147483647 730551 480 | 26.224 % |
8676.73/8680.55 c | 804883 | 101748 695543 2029286 | 2147483647 730676 480 | 26.224 % |
8679.83/8683.64 c | 805016 | 101748 695543 2029286 | 2147483647 730809 480 | 26.224 % |
8683.03/8686.89 c | 805162 | 101748 695543 2029286 | 2147483647 730955 480 | 26.224 % |
8686.23/8690.01 c | 805323 | 101747 695543 2029286 | 2147483647 731114 480 | 26.234 % |
8689.54/8693.39 c | 805500 | 101747 695543 2029286 | 2147483647 731291 481 | 26.234 % |
8693.93/8697.70 c | 805693 | 101747 695543 2029286 | 2147483647 731484 481 | 26.234 % |
8699.02/8702.82 c | 805907 | 101747 695543 2029286 | 2147483647 731698 481 | 26.234 % |
8702.82/8706.68 c | 806147 | 101747 695543 2029286 | 2147483647 731938 481 | 26.234 % |
8708.02/8711.81 c | 806404 | 101747 695543 2029286 | 2147483647 732195 481 | 26.234 % |
8712.62/8716.44 c | 806685 | 101747 695543 2029286 | 2147483647 732476 481 | 26.234 % |
8718.70/8722.54 c | 806999 | 101747 695543 2029286 | 2147483647 732790 480 | 26.234 % |
8724.80/8728.65 c | 807339 | 101747 695543 2029286 | 2147483647 733130 481 | 26.234 % |
8731.21/8735.01 c | 807713 | 101747 695543 2029286 | 2147483647 733504 481 | 26.234 % |
8738.50/8742.30 c | 808122 | 101747 695543 2029286 | 2147483647 733913 481 | 26.234 % |
8747.30/8751.18 c | 808571 | 101747 695543 2029286 | 2147483647 734362 481 | 26.234 % |
8756.20/8760.00 c | 809064 | 101747 695543 2029286 | 2147483647 734855 481 | 26.234 % |
8766.99/8770.87 c | 809608 | 101747 695543 2029286 | 2147483647 735399 481 | 26.234 % |
8779.08/8782.99 c | 810205 | 101747 695543 2029286 | 2147483647 735996 481 | 26.234 % |
8792.08/8795.98 c | 810860 | 101747 695543 2029286 | 2147483647 736651 481 | 26.234 % |
8804.57/8808.40 c | 811582 | 101747 695543 2029286 | 2147483647 737373 481 | 26.234 % |
8819.56/8823.45 c | 812374 | 101747 695543 2029286 | 2147483647 738165 481 | 26.234 % |
8838.15/8842.04 c | 813245 | 101747 695543 2029286 | 2147483647 739035 481 | 26.306 % |
8858.75/8862.62 c | 814203 | 101747 695543 2029286 | 2147483647 739993 481 | 26.306 % |
8880.44/8884.35 c | 815266 | 101747 695543 2029286 | 2147483647 741056 481 | 26.306 % |
8901.13/8905.09 c | 816427 | 101747 695543 2029286 | 2147483647 742216 481 | 26.307 % |
8928.02/8931.94 c | 817700 | 101747 695543 2029286 | 2147483647 743489 482 | 26.307 % |
8955.91/8959.89 c | 819102 | 101747 695543 2029286 | 2147483647 744891 482 | 26.307 % |
8987.58/8991.53 c | 820642 | 101747 695543 2029286 | 2147483647 746431 482 | 26.307 % |
9025.88/9029.82 c | 822345 | 101747 695543 2029286 | 2147483647 748134 482 | 26.307 % |
9063.76/9067.75 c | 824208 | 101747 695543 2029286 | 2147483647 749997 483 | 26.307 % |
9100.84/9104.89 c | 826257 | 101747 695543 2029286 | 2147483647 752046 483 | 26.307 % |
9141.02/9145.07 c | 828512 | 101747 695543 2029286 | 2147483647 754301 483 | 26.307 % |
9181.30/9185.39 c | 830995 | 101747 695543 2029286 | 2147483647 756784 484 | 26.307 % |
9229.49/9233.51 c | 833721 | 101747 695543 2029286 | 2147483647 759510 485 | 26.307 % |
9286.96/9291.06 c | 836718 | 101745 695543 2029286 | 2147483647 762505 486 | 26.313 % |
9347.03/9351.11 c | 840014 | 101745 695543 2029286 | 2147483647 765801 487 | 26.313 % |
9425.30/9429.46 c | 843642 | 101745 695543 2029286 | 2147483647 769429 487 | 26.313 % |
9515.76/9519.99 c | 847629 | 101690 695543 2029286 | 2147483647 773415 488 | 26.537 % |
9609.82/9614.03 c | 852020 | 101690 695543 2029286 | 2147483647 777805 489 | 26.537 % |
9715.48/9719.78 c | 856843 | 101690 695543 2029286 | 2147483647 782628 490 | 26.537 % |
9826.74/9831.01 c | 862149 | 101690 695543 2029286 | 2147483647 787934 490 | 26.537 % |
9939.28/9943.61 c | 867987 | 101315 693383 2024036 | 2147483647 793486 491 | 26.562 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837500-1242875008/watcher-1837500-1242875008 -o /tmp/evaluation-result-1837500-1242875008/solver-1837500-1242875008 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837500-1242875008.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 10000 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 10030 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 12000 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: 0.85 0.97 0.99 2/64 19008
/proc/meminfo: memFree=1694440/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 315533951 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 233588883538 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/19008/statm: 1339 235 195 169 0 50 0
[pid=19009] ppid=19008 vsize=5356 CPUtime=0
/proc/19009/stat : 19009 (SatELiteGTI) S 19008 19008 18971 0 -1 4194368 51 25 0 0 0 0 0 0 19 0 1 0 315533952 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/19009/statm: 1339 238 198 169 0 50 0
[pid=19011] ppid=19009 vsize=2608 CPUtime=0
/proc/19011/stat : 19011 (sed) R 19009 19008 18971 0 -1 4194304 157 0 0 0 0 0 0 0 22 0 1 0 315533952 2670592 130 1992294400 4194304 4240196 548682069056 18446744073709551615 233588793525 0 0 4096 0 0 0 0 17 0 0 0
/proc/19011/statm: 652 132 105 11 0 56 0
[startup+0.081497 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 19008
/proc/meminfo: memFree=1694440/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102499 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 19008
/proc/meminfo: memFree=1694440/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302519 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 19008
/proc/meminfo: memFree=1694440/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702561 s]
/proc/loadavg: 0.85 0.97 0.99 2/64 19008
/proc/meminfo: memFree=1694440/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50163 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 19013
/proc/meminfo: memFree=1606616/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
[pid=19013] ppid=19008 vsize=122884 CPUtime=1.48
/proc/19013/stat : 19013 (SatELite_releas) R 19008 19008 18971 0 -1 4194304 29920 0 0 0 130 18 0 0 25 0 1 0 315533952 125833216 29738 1992294400 134512640 135223648 4294956128 18446744073709551615 134576622 0 0 4096 3 0 0 0 17 0 0 0
/proc/19013/statm: 30721 29744 70 173 0 30546 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 128240
[startup+3.1018 s]
/proc/loadavg: 0.85 0.97 0.99 2/66 19013
/proc/meminfo: memFree=1565528/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
[pid=19013] ppid=19008 vsize=147412 CPUtime=3.07
/proc/19013/stat : 19013 (SatELite_releas) R 19008 19008 18971 0 -1 4194304 38506 0 0 0 284 23 0 0 25 0 1 0 315533952 150949888 35006 1992294400 134512640 135223648 4294956128 18446744073709551615 134586640 0 0 4096 3 0 0 0 17 1 0 0
/proc/19013/statm: 36853 35006 76 173 0 36678 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 152768
[startup+6.30112 s]
/proc/loadavg: 0.86 0.97 0.99 2/66 19013
/proc/meminfo: memFree=1536984/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=0
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 315533951 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 237 197 169 0 50 0
[pid=19013] ppid=19008 vsize=150872 CPUtime=6.26
/proc/19013/stat : 19013 (SatELite_releas) R 19008 19008 18971 0 -1 4194304 42217 0 0 0 599 27 0 0 25 0 1 0 315533952 154492928 35903 1992294400 134512640 135223648 4294956128 18446744073709551615 134586672 0 0 4096 3 0 0 0 17 0 0 0
/proc/19013/statm: 37718 35903 76 173 0 37543 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 156228
[startup+12.7018 s]
/proc/loadavg: 0.87 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1614904/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=51772 CPUtime=2.24
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 12735 0 0 0 216 8 0 0 25 0 1 0 315534996 53014528 12615 1992294400 134512640 135215339 4294956240 18446744073709551615 134525867 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 12943 12615 77 171 0 12770 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 57128
[startup+25.5011 s]
/proc/loadavg: 0.90 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1613752/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=53096 CPUtime=15.03
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 13069 0 0 0 1494 9 0 0 25 0 1 0 315534996 54370304 12949 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 13274 12949 77 171 0 13101 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 58452
[startup+51.1017 s]
/proc/loadavg: 0.93 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1608056/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=59132 CPUtime=40.62
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 14554 0 0 0 4051 11 0 0 25 0 1 0 315534996 60551168 14434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 14783 14434 77 171 0 14610 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 64488
[startup+102.307 s]
/proc/loadavg: 0.97 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1595256/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=71576 CPUtime=91.8
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 17678 0 0 0 9166 14 0 0 25 0 1 0 315534996 73293824 17558 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 17894 17558 77 171 0 17721 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 76932
[startup+162.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1580920/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=85920 CPUtime=151.77
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 21264 0 0 0 15159 18 0 0 25 0 1 0 315534996 87982080 21144 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 21480 21144 77 171 0 21307 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 91276
[startup+222.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1564024/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=102848 CPUtime=211.74
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 25460 0 0 0 21152 22 0 0 25 0 1 0 315534996 105316352 25340 1992294400 134512640 135215339 4294956240 18446744073709551615 134532792 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 25712 25340 77 171 0 25539 0
Current children cumulated CPU time (s) 222.14
Current children cumulated vsize (KiB) 108204
[startup+282.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1546616/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=120028 CPUtime=271.72
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 29801 0 0 0 27145 27 0 0 25 0 1 0 315534996 122908672 29681 1992294400 134512640 135215339 4294956240 18446744073709551615 134532758 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 30007 29681 77 171 0 29834 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 125384
[startup+342.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1527736/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=138692 CPUtime=331.7
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 34469 0 0 0 33139 31 0 0 25 0 1 0 315534996 142020608 34349 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 34673 34349 77 171 0 34500 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 144048
[startup+402.302 s]
/proc/loadavg: 0.99 0.97 0.99 2/66 19014
/proc/meminfo: memFree=1510904/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=155532 CPUtime=391.67
################
# More data... #
################
/proc/19014/statm: 389502 388519 77 171 0 389329 0
Current children cumulated CPU time (s) 9338.24
Current children cumulated vsize (KiB) 1563364
[startup+9402.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19030
/proc/meminfo: memFree=96120/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1564628 CPUtime=9387.8
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 390303 0 0 0 938386 394 0 0 25 0 1 0 315534996 1602179072 390183 1992294400 134512640 135215339 4294956240 18446744073709551615 134528782 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 391157 390183 77 171 0 390984 0
Current children cumulated CPU time (s) 9398.2
Current children cumulated vsize (KiB) 1569984
[startup+9462.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19030
/proc/meminfo: memFree=90040/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1570488 CPUtime=9447.78
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 391791 0 0 0 944382 396 0 0 25 0 1 0 315534996 1608179712 391671 1992294400 134512640 135215339 4294956240 18446744073709551615 134528809 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 392622 391671 77 171 0 392449 0
Current children cumulated CPU time (s) 9458.18
Current children cumulated vsize (KiB) 1575844
[startup+9522.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19030
/proc/meminfo: memFree=83768/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1577004 CPUtime=9507.76
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 393393 0 0 0 950378 398 0 0 25 0 1 0 315534996 1614852096 393273 1992294400 134512640 135215339 4294956240 18446744073709551615 134532669 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 394251 393273 77 171 0 394078 0
Current children cumulated CPU time (s) 9518.16
Current children cumulated vsize (KiB) 1582360
[startup+9582.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=74680/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1585732 CPUtime=9567.73
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 395613 0 0 0 956372 401 0 0 25 0 1 0 315534996 1623789568 395493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 396433 395493 77 171 0 396260 0
Current children cumulated CPU time (s) 9578.13
Current children cumulated vsize (KiB) 1591088
[startup+9642.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=68600/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1592004 CPUtime=9627.71
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 397156 0 0 0 962369 402 0 0 25 0 1 0 315534996 1630212096 397036 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 398001 397036 77 171 0 397828 0
Current children cumulated CPU time (s) 9638.11
Current children cumulated vsize (KiB) 1597360
[startup+9702.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=61944/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1598552 CPUtime=9687.68
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 398780 0 0 0 968365 403 0 0 25 0 1 0 315534996 1636917248 398660 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 399638 398660 77 171 0 399465 0
Current children cumulated CPU time (s) 9698.08
Current children cumulated vsize (KiB) 1603908
[startup+9762.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=55928/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1604628 CPUtime=9747.66
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 400296 0 0 0 974362 404 0 0 25 0 1 0 315534996 1643139072 400176 1992294400 134512640 135215339 4294956240 18446744073709551615 134532970 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 401157 400176 77 171 0 400984 0
Current children cumulated CPU time (s) 9758.06
Current children cumulated vsize (KiB) 1609984
[startup+9822.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=48376/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1612152 CPUtime=9807.63
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 402175 0 0 0 980357 406 0 0 25 0 1 0 315534996 1650843648 402055 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 403038 402055 77 171 0 402865 0
Current children cumulated CPU time (s) 9818.03
Current children cumulated vsize (KiB) 1617508
[startup+9882.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=42488/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1617872 CPUtime=9867.61
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 403624 0 0 0 986353 408 0 0 25 0 1 0 315534996 1656700928 403504 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 404468 403504 77 171 0 404295 0
Current children cumulated CPU time (s) 9878.01
Current children cumulated vsize (KiB) 1623228
[startup+9942.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=35640/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1624748 CPUtime=9927.58
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 405357 0 0 0 992348 410 0 0 25 0 1 0 315534996 1663741952 405237 1992294400 134512640 135215339 4294956240 18446744073709551615 134532615 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 406187 405237 77 171 0 406014 0
Current children cumulated CPU time (s) 9937.98
Current children cumulated vsize (KiB) 1630104
[startup+10002.3 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=27576/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1632800 CPUtime=9987.56
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 407361 0 0 0 998345 411 0 0 25 0 1 0 315534996 1671987200 407241 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 408200 407241 77 171 0 408027 0
Current children cumulated CPU time (s) 9997.96
Current children cumulated vsize (KiB) 1638156
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+10004.4 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 19032
/proc/meminfo: memFree=27256/2055920 swapFree=4178756/4192956
[pid=19008] ppid=19006 vsize=5356 CPUtime=10.4
/proc/19008/stat : 19008 (SatELiteGTI) S 19006 19008 18971 0 -1 4194304 336 47165 0 0 0 0 1000 40 16 0 1 0 315533951 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 233588712260 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/19008/statm: 1339 239 197 169 0 50 0
[pid=19014] ppid=19008 vsize=1633064 CPUtime=9989.66
/proc/19014/stat : 19014 (minisat_static) R 19008 19008 18971 0 -1 4194304 407437 0 0 0 998555 411 0 0 25 0 1 0 315534996 1672257536 407317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/19014/statm: 408266 407317 77 171 0 408093 0
Current children cumulated CPU time (s) 10000.1
Current children cumulated vsize (KiB) 1638420
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 19008 and gives
# childrusage.ru_utime.tv_sec=10
# childrusage.ru_utime.tv_usec=6478
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=410937
# CPU time returned by wait4() is 10.4174
# while last known CPU time is 10000.1
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 10004.4
CPU time (s): 10000.1
CPU user time (s): 9995.55
CPU system time (s): 4.51
CPU usage (%): 99.9565
Max. virtual memory (cumulated for all children) (KiB): 1638420
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 10.0065
system time used= 0.410937
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 47501
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 49
runsolver used 8.45671 second user time and 28.0247 second system time
The end
Begin job on node27 at 2009-05-21 05:03:30
IDJOB=1837500
IDBENCH=71055
IDSOLVER=674
FILE ID=node27/1837500-1242875008
PBS_JOBID= 9328618
Free space on /tmp= 66260 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837500-1242875008/watcher-1837500-1242875008 -o /tmp/evaluation-result-1837500-1242875008/solver-1837500-1242875008 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837500-1242875008.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998
RANDOM SEED=760175335
node27.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 : 2800.234
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 : 5521.40
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 : 2800.234
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: 1694984 kB
Buffers: 35328 kB
Cached: 276048 kB
SwapCached: 7816 kB
Active: 142612 kB
Inactive: 178692 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1694984 kB
SwapTotal: 4192956 kB
SwapFree: 4178756 kB
Dirty: 28176 kB
Writeback: 0 kB
Mapped: 14680 kB
Slab: 25588 kB
Committed_AS: 1044760 kB
PageTables: 1380 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264948 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66232 MiB
End job on node27 at 2009-05-21 07:50:17