0.00/0.00 c Parsing...
0.00/0.80 c ==============================================================================
0.00/0.80 c | | ORIGINAL | LEARNT | |
0.00/0.80 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.80 c ==============================================================================
0.00/0.80 c | 0 | 985541 2284533 | 295662 0 0 nan | 0.000 % |
7.18/7.28 c | 0 | 590731 1617848 | -- 0 -- -- | -- | -181197/-182944
7.18/7.28 c ==============================================================================
7.18/7.28 c Result : #vars: 105677 #clauses: 590731 #literals: 1617848
7.18/7.28 c CPU time: 7.01493 s
7.18/7.28 c ==============================================================================
7.86/7.91 c This is MiniSat 2.0 beta
7.86/7.91 c WARNING: for repeatability, setting FPU to use double precision
7.86/7.91 c ============================[ Problem Statistics ]=============================
7.86/7.91 c | |
7.86/7.91 c | Number of variables: 105677 |
7.86/7.91 c | Number of clauses: 590731 |
7.87/8.26 c | Parsing time: 0.32 s |
7.87/8.28 c ============================[ Search Statistics ]==============================
7.87/8.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.87/8.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.87/8.28 c ===============================================================================
7.87/8.28 c | 0 | 105677 590731 1617848 | 196910 0 nan | 0.000 % |
7.87/8.51 c | 102 | 105677 590731 1617848 | 196910 101 145 | 0.017 % |
8.74/8.89 c | 202 | 105669 590731 1617848 | 196910 197 99 | 0.406 % |
9.24/9.32 c | 303 | 105383 590731 1617848 | 196910 294 87 | 4.192 % |
9.64/9.76 c | 416 | 101184 564225 1549937 | 196910 402 158 | 4.859 % |
10.04/10.10 c | 516 | 100920 564225 1549937 | 196910 497 143 | 5.427 % |
10.14/10.25 c | 626 | 100700 564225 1549937 | 196910 604 123 | 7.718 % |
10.44/10.58 c | 748 | 97160 542318 1495069 | 196910 714 113 | 9.269 % |
10.74/10.80 c | 849 | 97088 542318 1495069 | 196910 815 111 | 9.269 % |
11.04/11.16 c | 959 | 97008 542318 1495069 | 196910 923 103 | 9.428 % |
11.14/11.28 c | 1080 | 96916 542318 1495069 | 196910 1042 95 | 10.590 % |
11.44/11.50 c | 1213 | 94469 525799 1454023 | 196910 1169 91 | 10.606 % |
11.54/11.63 c | 1313 | 94469 525799 1454023 | 196910 1269 90 | 10.606 % |
11.64/11.76 c | 1423 | 94459 525799 1454023 | 196910 1378 88 | 11.200 % |
11.74/11.89 c | 1544 | 94419 525799 1454023 | 196910 1499 87 | 11.200 % |
12.14/12.26 c | 1678 | 94418 525799 1454023 | 196910 1633 85 | 11.200 % |
12.64/12.75 c | 1825 | 93759 521997 1444296 | 196910 1776 84 | 11.804 % |
12.94/13.06 c | 1925 | 93754 521997 1444296 | 196910 1875 95 | 11.826 % |
13.34/13.49 c | 2035 | 93754 521997 1444296 | 196910 1985 103 | 11.826 % |
13.74/13.87 c | 2156 | 93180 517854 1433634 | 196910 2103 111 | 11.826 % |
14.24/14.32 c | 2290 | 93180 517854 1433634 | 196910 2237 109 | 11.826 % |
14.64/14.73 c | 2436 | 93180 517854 1433634 | 196910 2383 112 | 11.826 % |
15.24/15.31 c | 2597 | 92816 516944 1431283 | 196910 2541 111 | 14.282 % |
15.44/15.59 c | 2698 | 92816 516944 1431283 | 196910 2642 111 | 14.282 % |
15.74/15.80 c | 2808 | 92816 516944 1431283 | 196910 2752 116 | 14.282 % |
15.94/16.06 c | 2929 | 92806 516944 1431283 | 196910 2872 114 | 14.653 % |
16.14/16.28 c | 3062 | 90190 500183 1389445 | 196910 2991 112 | 14.668 % |
16.54/16.60 c | 3208 | 90190 500183 1389445 | 196910 3137 114 | 14.668 % |
17.24/17.37 c | 3369 | 90183 500183 1389445 | 196910 3296 124 | 14.700 % |
18.04/18.17 c | 3546 | 90137 499854 1388563 | 196910 3465 126 | 14.719 % |
18.24/18.31 c | 3647 | 90135 499854 1388563 | 196910 3565 125 | 14.735 % |
18.34/18.46 c | 3759 | 90135 499854 1388563 | 196910 3677 126 | 14.735 % |
18.64/18.73 c | 3880 | 90135 499854 1388563 | 196910 3798 126 | 14.735 % |
19.24/19.35 c | 4013 | 90105 499617 1387943 | 196910 3930 136 | 14.735 % |
19.74/19.83 c | 4162 | 90105 499617 1387943 | 196910 4079 149 | 14.735 % |
20.04/20.10 c | 4322 | 90105 499617 1387943 | 196910 4239 149 | 14.735 % |
20.74/20.80 c | 4499 | 90088 499502 1387634 | 196910 4415 158 | 14.752 % |
21.04/21.14 c | 4695 | 90088 499502 1387634 | 196910 4611 159 | 14.752 % |
21.23/21.31 c | 4795 | 90078 499502 1387634 | 196910 4710 159 | 14.768 % |
21.33/21.48 c | 4905 | 90076 499502 1387634 | 196910 4819 158 | 14.785 % |
21.63/21.78 c | 5026 | 90069 499502 1387634 | 196910 4939 161 | 14.792 % |
22.03/22.18 c | 5159 | 90037 499166 1386799 | 196910 5067 161 | 14.800 % |
22.33/22.49 c | 5305 | 89914 499166 1386799 | 196910 5212 162 | 16.553 % |
22.73/22.89 c | 5465 | 89913 499166 1386799 | 196910 5371 161 | 16.568 % |
23.23/23.35 c | 5645 | 89900 499166 1386799 | 196910 5547 160 | 16.624 % |
23.73/23.88 c | 5838 | 89900 499166 1386799 | 196910 5740 162 | 16.624 % |
24.34/24.41 c | 6051 | 88088 487331 1356146 | 196910 5931 163 | 16.674 % |
24.54/24.63 c | 6156 | 88085 487331 1356146 | 196910 6035 162 | 16.690 % |
24.74/24.89 c | 6267 | 88085 487331 1356146 | 196910 6146 162 | 16.690 % |
25.25/25.32 c | 6389 | 88085 487331 1356146 | 196910 6268 164 | 16.690 % |
25.94/26.00 c | 6522 | 88085 487331 1356146 | 196910 6401 168 | 16.690 % |
26.14/26.26 c | 6668 | 88040 486960 1355123 | 196910 6546 167 | 16.690 % |
26.35/26.46 c | 6828 | 88028 486960 1355123 | 196910 6704 166 | 16.716 % |
27.04/27.15 c | 7004 | 88028 486960 1355123 | 196910 6880 171 | 16.716 % |
27.44/27.59 c | 7200 | 88024 486960 1355123 | 196910 7073 169 | 16.768 % |
27.84/27.99 c | 7413 | 88016 486960 1355123 | 196910 7285 169 | 16.788 % |
28.14/28.29 c | 7646 | 87936 486282 1353355 | 196910 7516 166 | 16.788 % |
28.44/28.54 c | 7747 | 87936 486282 1353355 | 196910 7617 166 | 16.788 % |
28.64/28.72 c | 7860 | 87936 486282 1353355 | 196910 7730 166 | 16.788 % |
29.04/29.16 c | 7981 | 87934 486282 1353355 | 196910 7850 167 | 16.805 % |
29.44/29.57 c | 8114 | 87930 486282 1353355 | 196910 7982 166 | 16.820 % |
29.74/29.80 c | 8261 | 87930 486282 1353355 | 196910 8129 166 | 16.820 % |
29.94/30.07 c | 8423 | 87929 486282 1353355 | 196910 8290 166 | 16.829 % |
30.54/30.69 c | 8601 | 87893 485983 1352597 | 196910 8464 166 | 16.829 % |
30.84/30.96 c | 8797 | 87893 485983 1352597 | 196910 8660 164 | 16.829 % |
31.84/31.94 c | 9014 | 87893 485983 1352597 | 196910 8877 172 | 16.829 % |
32.33/32.48 c | 9250 | 87893 485983 1352597 | 196910 9113 177 | 16.829 % |
32.85/32.91 c | 9506 | 87878 485884 1352317 | 196910 9367 177 | 16.852 % |
32.95/33.01 c | 9607 | 87876 485884 1352317 | 196910 9466 176 | 17.285 % |
33.04/33.16 c | 9718 | 87840 485884 1352317 | 196910 9577 175 | 17.285 % |
33.24/33.33 c | 9839 | 87840 485884 1352317 | 196910 9698 175 | 17.285 % |
33.34/33.47 c | 9972 | 87840 485884 1352317 | 196910 9831 174 | 17.285 % |
33.84/33.90 c | 10122 | 87802 485884 1352317 | 2147483647 9977 173 | 17.349 % |
33.94/34.04 c | 10283 | 87802 485884 1352317 | 2147483647 10138 175 | 17.349 % |
34.44/34.56 c | 10463 | 87787 485884 1352317 | 2147483647 10317 174 | 17.362 % |
35.04/35.19 c | 10657 | 87787 485884 1352317 | 2147483647 10511 181 | 17.362 % |
36.14/36.25 c | 10869 | 87329 482564 1343612 | 2147483647 10717 184 | 17.362 % |
37.04/37.11 c | 11103 | 87329 482564 1343612 | 2147483647 10951 190 | 17.362 % |
37.94/38.00 c | 11361 | 87329 482564 1343612 | 2147483647 11209 193 | 17.362 % |
39.04/39.19 c | 11642 | 87329 482564 1343612 | 2147483647 11490 198 | 17.362 % |
39.34/39.45 c | 11742 | 87329 482564 1343612 | 2147483647 11590 198 | 17.362 % |
39.64/39.79 c | 11852 | 87329 482564 1343612 | 2147483647 11700 198 | 17.362 % |
40.04/40.11 c | 11973 | 87329 482564 1343612 | 2147483647 11821 200 | 17.362 % |
40.34/40.44 c | 12106 | 87317 482476 1343406 | 2147483647 11948 199 | 17.386 % |
40.54/40.63 c | 12252 | 87317 482476 1343406 | 2147483647 12094 197 | 17.386 % |
40.84/40.96 c | 12414 | 87316 482476 1343406 | 2147483647 12256 196 | 17.386 % |
41.34/41.47 c | 12591 | 87312 482476 1343406 | 2147483647 12432 195 | 17.408 % |
41.94/42.04 c | 12784 | 87312 482476 1343406 | 2147483647 12625 197 | 17.408 % |
43.04/43.11 c | 12996 | 87312 482476 1343406 | 2147483647 12837 204 | 17.408 % |
43.84/43.94 c | 13230 | 87312 482476 1343406 | 2147483647 13071 208 | 17.408 % |
44.73/44.88 c | 13486 | 87281 482270 1342859 | 2147483647 13326 215 | 17.408 % |
46.03/46.15 c | 13767 | 87281 482270 1342859 | 2147483647 13607 219 | 17.408 % |
46.94/47.05 c | 14076 | 87278 482270 1342859 | 2147483647 13913 219 | 17.432 % |
47.14/47.21 c | 14177 | 87277 482270 1342859 | 2147483647 14014 218 | 17.432 % |
47.44/47.52 c | 14287 | 87273 482270 1342859 | 2147483647 14123 218 | 17.449 % |
47.84/47.99 c | 14408 | 87236 481973 1342112 | 2147483647 14241 217 | 17.450 % |
48.04/48.17 c | 14541 | 87236 481973 1342112 | 2147483647 14374 216 | 17.450 % |
48.24/48.31 c | 14691 | 87236 481973 1342112 | 2147483647 14524 215 | 17.450 % |
48.84/48.94 c | 14851 | 87236 481973 1342112 | 2147483647 14684 215 | 17.450 % |
49.83/49.90 c | 15029 | 87236 481973 1342112 | 2147483647 14862 218 | 17.450 % |
50.33/50.50 c | 15222 | 87235 481973 1342112 | 2147483647 15054 217 | 17.466 % |
50.93/51.01 c | 15434 | 87188 481637 1341256 | 2147483647 15259 216 | 17.496 % |
51.23/51.36 c | 15667 | 87185 481637 1341256 | 2147483647 15491 215 | 17.506 % |
51.73/51.85 c | 15923 | 87173 481637 1341256 | 2147483647 15745 214 | 17.581 % |
52.53/52.61 c | 16205 | 87170 481637 1341256 | 2147483647 16026 212 | 17.602 % |
52.93/53.05 c | 16514 | 86992 481637 1341256 | 2147483647 16333 209 | 18.470 % |
53.53/53.69 c | 16853 | 86990 481637 1341256 | 2147483647 16671 207 | 18.485 % |
54.03/54.12 c | 16954 | 86982 481637 1341256 | 2147483647 16772 208 | 18.485 % |
54.53/54.66 c | 17065 | 86143 474999 1324730 | 2147483647 16806 211 | 18.485 % |
54.83/54.93 c | 17186 | 86131 474999 1324730 | 2147483647 16926 210 | 18.506 % |
54.93/55.10 c | 17320 | 86131 474999 1324730 | 2147483647 17060 209 | 18.506 % |
55.33/55.42 c | 17466 | 86111 474999 1324730 | 2147483647 17204 209 | 19.078 % |
55.43/55.58 c | 17628 | 86111 474999 1324730 | 2147483647 17366 208 | 19.078 % |
55.93/56.02 c | 17807 | 86111 474999 1324730 | 2147483647 17545 208 | 19.078 % |
56.83/56.92 c | 18000 | 86111 474999 1324730 | 2147483647 17738 216 | 19.078 % |
57.32/57.42 c | 18215 | 86111 474999 1324730 | 2147483647 17953 215 | 19.078 % |
58.33/58.42 c | 18450 | 86111 474999 1324730 | 2147483647 18188 221 | 19.078 % |
59.23/59.34 c | 18707 | 86110 474999 1324730 | 2147483647 18444 222 | 19.079 % |
60.23/60.38 c | 19001 | 85506 471186 1314910 | 2147483647 18701 222 | 19.232 % |
61.13/61.29 c | 19311 | 85499 471186 1314910 | 2147483647 19010 224 | 19.239 % |
62.13/62.29 c | 19650 | 85499 471186 1314910 | 2147483647 19349 224 | 19.239 % |
63.43/63.55 c | 20023 | 85497 471186 1314910 | 2147483647 19721 224 | 19.248 % |
63.63/63.80 c | 20124 | 85497 471186 1314910 | 2147483647 19822 223 | 19.248 % |
64.13/64.23 c | 20234 | 85497 471186 1314910 | 2147483647 19932 223 | 19.248 % |
64.73/64.86 c | 20356 | 85336 469990 1311659 | 2147483647 20049 226 | 19.248 % |
65.12/65.23 c | 20491 | 85336 469990 1311659 | 2147483647 20184 227 | 19.248 % |
65.42/65.58 c | 20638 | 85336 469990 1311659 | 2147483647 20331 226 | 19.248 % |
66.02/66.15 c | 20798 | 85325 469990 1311659 | 2147483647 20490 226 | 19.277 % |
66.93/67.10 c | 20974 | 85324 469990 1311659 | 2147483647 20665 228 | 19.293 % |
67.53/67.62 c | 21169 | 85324 469990 1311659 | 2147483647 20859 227 | 19.301 % |
68.23/68.31 c | 21382 | 85322 469990 1311659 | 2147483647 21072 228 | 19.301 % |
69.13/69.25 c | 21617 | 85322 469990 1311659 | 2147483647 21306 230 | 19.316 % |
70.13/70.30 c | 21873 | 85316 469990 1311659 | 2147483647 21562 234 | 19.316 % |
71.12/71.25 c | 22154 | 85264 469567 1310654 | 2147483647 21837 239 | 19.316 % |
72.62/72.73 c | 22465 | 85264 469567 1310654 | 2147483647 22148 246 | 19.316 % |
73.82/73.93 c | 22805 | 85264 469567 1310654 | 2147483647 22488 246 | 19.316 % |
75.32/75.45 c | 23177 | 85263 469567 1310654 | 2147483647 22859 251 | 19.317 % |
76.63/76.78 c | 23586 | 85263 469567 1310654 | 2147483647 23268 259 | 19.317 % |
76.93/77.07 c | 23692 | 85263 469567 1310654 | 2147483647 23374 259 | 19.317 % |
77.23/77.31 c | 23805 | 85263 469567 1310654 | 2147483647 23487 258 | 19.317 % |
77.73/77.89 c | 23927 | 85263 469563 1310646 | 2147483647 23608 259 | 19.317 % |
78.43/78.56 c | 24060 | 85262 469563 1310646 | 2147483647 23740 262 | 19.318 % |
78.73/78.90 c | 24206 | 85259 469563 1310646 | 2147483647 23885 261 | 19.334 % |
79.13/79.26 c | 24369 | 85255 469563 1310646 | 2147483647 24047 260 | 19.346 % |
79.72/79.89 c | 24546 | 85255 469563 1310646 | 2147483647 24224 260 | 19.346 % |
80.42/80.56 c | 24739 | 85255 469563 1310646 | 2147483647 24417 261 | 19.346 % |
81.12/81.24 c | 24956 | 85255 469563 1310646 | 2147483647 24634 260 | 19.346 % |
81.92/82.04 c | 25189 | 85255 469563 1310646 | 2147483647 24867 260 | 19.346 % |
83.32/83.49 c | 25445 | 85255 469563 1310646 | 2147483647 25123 260 | 19.346 % |
84.22/84.37 c | 25726 | 85255 469563 1310646 | 2147483647 25404 261 | 19.346 % |
86.22/86.35 c | 26035 | 85233 469368 1310144 | 2147483647 25697 267 | 19.346 % |
86.62/86.78 c | 26376 | 85233 469368 1310144 | 2147483647 26038 266 | 19.346 % |
87.83/87.95 c | 26748 | 85233 469368 1310144 | 2147483647 26410 266 | 19.346 % |
89.62/89.79 c | 27159 | 85233 469368 1310144 | 2147483647 26821 269 | 19.346 % |
90.82/90.95 c | 27608 | 85232 469368 1310144 | 2147483647 27269 268 | 19.347 % |
91.32/91.45 c | 27708 | 85232 469368 1310144 | 2147483647 27369 268 | 19.347 % |
91.62/91.79 c | 27818 | 85232 469368 1310144 | 2147483647 27479 268 | 19.347 % |
92.22/92.33 c | 27944 | 85230 469368 1310144 | 2147483647 27604 269 | 19.450 % |
92.82/92.92 c | 28080 | 85230 469368 1310144 | 2147483647 27740 269 | 19.450 % |
93.61/93.73 c | 28227 | 85123 468786 1308814 | 2147483647 27876 270 | 19.450 % |
94.11/94.23 c | 28387 | 85123 468786 1308814 | 2147483647 28036 269 | 19.450 % |
94.81/94.91 c | 28564 | 85123 468786 1308814 | 2147483647 28213 270 | 19.450 % |
95.41/95.55 c | 28757 | 85123 468786 1308814 | 2147483647 28406 271 | 19.450 % |
95.91/96.02 c | 28969 | 85123 468786 1308814 | 2147483647 28618 270 | 19.450 % |
97.02/97.15 c | 29202 | 85123 468786 1308814 | 2147483647 28851 274 | 19.450 % |
98.02/98.19 c | 29460 | 85123 468786 1308814 | 2147483647 29109 275 | 19.450 % |
99.32/99.44 c | 29741 | 85123 468786 1308814 | 2147483647 29390 277 | 19.450 % |
100.32/100.45 c | 30050 | 85122 468786 1308814 | 2147483647 29698 278 | 19.451 % |
101.81/101.93 c | 30389 | 85119 468786 1308814 | 2147483647 30036 279 | 19.467 % |
103.22/103.34 c | 30761 | 85116 468786 1308814 | 2147483647 30406 279 | 19.485 % |
104.91/105.05 c | 31172 | 85086 468554 1308197 | 2147483647 30817 282 | 19.485 % |
106.51/106.64 c | 31621 | 85083 468554 1308197 | 2147483647 31264 282 | 19.502 % |
108.92/109.04 c | 32117 | 85082 468554 1308197 | 2147483647 31759 284 | 19.503 % |
109.32/109.43 c | 32220 | 85082 468554 1308197 | 2147483647 31862 285 | 19.503 % |
109.62/109.72 c | 32331 | 85082 468554 1308197 | 2147483647 31973 285 | 19.503 % |
110.12/110.20 c | 32452 | 85082 468554 1308197 | 2147483647 32094 285 | 19.503 % |
110.51/110.67 c | 32585 | 85082 468554 1308197 | 2147483647 32227 286 | 19.503 % |
111.11/111.22 c | 32731 | 85079 468554 1308197 | 2147483647 32372 286 | 19.516 % |
111.91/112.07 c | 32894 | 85079 468554 1308197 | 2147483647 32535 287 | 19.516 % |
112.61/112.76 c | 33072 | 85079 468554 1308197 | 2147483647 32713 287 | 19.516 % |
113.41/113.55 c | 33267 | 85079 468554 1308197 | 2147483647 32908 288 | 19.516 % |
114.21/114.38 c | 33480 | 85077 468554 1308197 | 2147483647 33120 288 | 19.520 % |
115.21/115.31 c | 33716 | 85077 468554 1308197 | 2147483647 33356 291 | 19.520 % |
115.90/116.08 c | 33974 | 85049 468318 1307587 | 2147483647 33614 291 | 19.520 % |
116.81/116.98 c | 34255 | 85049 468318 1307587 | 2147483647 33895 291 | 19.520 % |
117.52/117.70 c | 34565 | 85042 468318 1307587 | 2147483647 34202 290 | 19.554 % |
118.62/118.73 c | 34905 | 85039 468318 1307587 | 2147483647 34540 289 | 19.563 % |
119.31/119.42 c | 35277 | 85039 468318 1307587 | 2147483647 34912 288 | 19.563 % |
120.81/120.99 c | 35686 | 85035 468318 1307587 | 2147483647 35320 288 | 19.572 % |
122.51/122.62 c | 36135 | 85035 468318 1307587 | 2147483647 35769 290 | 19.572 % |
124.81/124.94 c | 36628 | 85035 468318 1307587 | 2147483647 36262 299 | 19.572 % |
126.50/126.68 c | 37170 | 85035 468318 1307587 | 2147483647 36804 301 | 19.572 % |
127.20/127.32 c | 37271 | 85034 468318 1307587 | 2147483647 36904 301 | 19.573 % |
127.70/127.85 c | 37381 | 85034 468318 1307587 | 2147483647 37014 301 | 19.573 % |
128.30/128.42 c | 37503 | 85034 468318 1307587 | 2147483647 37136 301 | 19.573 % |
128.80/128.91 c | 37636 | 84992 467934 1306613 | 2147483647 37217 301 | 19.574 % |
129.51/129.61 c | 37785 | 84992 467934 1306613 | 2147483647 37366 302 | 19.574 % |
129.91/130.01 c | 37946 | 84992 467934 1306613 | 2147483647 37527 302 | 19.574 % |
130.60/130.70 c | 38124 | 84992 467934 1306613 | 2147483647 37705 303 | 19.574 % |
131.70/131.80 c | 38317 | 84992 467934 1306613 | 2147483647 37898 305 | 19.574 % |
132.20/132.33 c | 38529 | 84992 467934 1306613 | 2147483647 38110 305 | 19.574 % |
132.91/133.01 c | 38763 | 84863 467934 1306613 | 2147483647 38342 304 | 19.819 % |
133.60/133.74 c | 39023 | 84860 467934 1306613 | 2147483647 38600 303 | 19.854 % |
134.70/134.85 c | 39304 | 84857 467934 1306613 | 2147483647 38881 303 | 19.854 % |
136.21/136.38 c | 39613 | 84857 467934 1306613 | 2147483647 39190 305 | 19.854 % |
137.81/137.93 c | 39952 | 84810 467934 1306613 | 2147483647 39528 307 | 20.164 % |
138.90/139.08 c | 40324 | 84809 467934 1306613 | 2147483647 39899 307 | 20.165 % |
139.70/139.88 c | 40735 | 84804 467934 1306613 | 2147483647 40309 305 | 20.211 % |
141.50/141.63 c | 41185 | 84725 467934 1306613 | 2147483647 40758 305 | 20.771 % |
143.40/143.57 c | 41678 | 84725 467934 1306613 | 2147483647 41251 308 | 20.771 % |
145.80/145.93 c | 42220 | 83727 460038 1286466 | 2147483647 41752 310 | 20.771 % |
148.80/148.95 c | 42816 | 83726 460038 1286466 | 2147483647 42347 316 | 20.772 % |
149.30/149.46 c | 42917 | 83726 460038 1286466 | 2147483647 42448 317 | 20.772 % |
149.50/149.70 c | 43029 | 83726 460038 1286466 | 2147483647 42559 317 | 20.790 % |
149.89/150.08 c | 43150 | 83723 460038 1286466 | 2147483647 42680 316 | 20.790 % |
150.69/150.86 c | 43287 | 83722 460038 1286466 | 2147483647 42816 316 | 20.791 % |
151.50/151.60 c | 43434 | 83722 460038 1286466 | 2147483647 42963 316 | 20.791 % |
152.20/152.31 c | 43594 | 83722 460038 1286466 | 2147483647 43123 317 | 20.791 % |
152.60/152.74 c | 43771 | 83722 460038 1286466 | 2147483647 43300 317 | 20.791 % |
153.20/153.32 c | 43964 | 83722 460038 1286466 | 2147483647 43493 317 | 20.791 % |
153.70/153.90 c | 44176 | 83722 460038 1286466 | 2147483647 43705 316 | 20.791 % |
154.69/154.85 c | 44410 | 83720 460038 1286466 | 2147483647 43938 316 | 20.793 % |
155.99/156.12 c | 44666 | 83714 460038 1286466 | 2147483647 44193 317 | 20.804 % |
157.40/157.57 c | 44947 | 83710 460038 1286466 | 2147483647 44471 317 | 20.813 % |
158.00/158.14 c | 45258 | 83710 460038 1286466 | 2147483647 44782 316 | 20.813 % |
159.30/159.46 c | 45598 | 83710 460038 1286466 | 2147483647 45122 317 | 20.813 % |
161.20/161.32 c | 45970 | 83681 459773 1285842 | 2147483647 45470 320 | 20.814 % |
162.80/162.90 c | 46379 | 83681 459773 1285842 | 2147483647 45879 320 | 20.814 % |
164.49/164.69 c | 46831 | 83680 459773 1285842 | 2147483647 46330 321 | 20.815 % |
166.59/166.71 c | 47324 | 83680 459773 1285842 | 2147483647 46823 321 | 20.815 % |
169.19/169.30 c | 47866 | 83680 459773 1285842 | 2147483647 47365 324 | 20.815 % |
171.90/172.00 c | 48462 | 83680 459773 1285842 | 2147483647 47961 326 | 20.815 % |
174.80/174.99 c | 49118 | 83680 459773 1285842 | 2147483647 48617 328 | 20.815 % |
175.09/175.24 c | 49218 | 83680 459773 1285842 | 2147483647 48717 328 | 20.815 % |
175.59/175.72 c | 49329 | 83680 459773 1285842 | 2147483647 48828 329 | 20.815 % |
176.09/176.29 c | 49450 | 83680 459773 1285842 | 2147483647 48949 329 | 20.815 % |
176.89/177.07 c | 49583 | 83680 459773 1285842 | 2147483647 49082 330 | 20.815 % |
177.69/177.85 c | 49729 | 83680 459773 1285842 | 2147483647 49228 330 | 20.815 % |
178.49/178.62 c | 49892 | 83680 459765 1285826 | 2147483647 49390 331 | 20.815 % |
179.09/179.21 c | 50070 | 83677 459765 1285826 | 2147483647 49567 331 | 20.826 % |
179.89/180.06 c | 50264 | 83677 459765 1285826 | 2147483647 49761 331 | 20.826 % |
180.69/180.88 c | 50476 | 83677 459765 1285826 | 2147483647 49973 330 | 20.826 % |
181.78/181.98 c | 50709 | 83677 459765 1285826 | 2147483647 50206 331 | 20.826 % |
182.78/182.98 c | 50966 | 83677 459765 1285826 | 2147483647 50463 332 | 20.826 % |
184.18/184.30 c | 51250 | 83675 459765 1285826 | 2147483647 50746 333 | 20.844 % |
185.38/185.50 c | 51564 | 83675 459765 1285826 | 2147483647 51060 335 | 20.844 % |
186.59/186.79 c | 51905 | 83675 459765 1285826 | 2147483647 51401 336 | 20.844 % |
188.69/188.83 c | 52277 | 83674 459765 1285826 | 2147483647 51772 337 | 20.845 % |
190.38/190.55 c | 52687 | 83674 459765 1285826 | 2147483647 52182 338 | 20.845 % |
191.29/191.44 c | 53136 | 83670 459765 1285826 | 2147483647 52628 336 | 20.883 % |
192.78/192.90 c | 53631 | 83617 459765 1285826 | 2147483647 53121 335 | 20.953 % |
194.69/194.86 c | 54174 | 83616 459765 1285826 | 2147483647 53663 335 | 20.957 % |
197.49/197.64 c | 54770 | 83616 459765 1285826 | 2147483647 54259 336 | 20.957 % |
200.58/200.72 c | 55426 | 83614 459765 1285826 | 2147483647 54913 338 | 20.959 % |
204.39/204.56 c | 56146 | 83528 458869 1283446 | 2147483647 55601 342 | 20.974 % |
204.88/205.01 c | 56248 | 83528 458869 1283446 | 2147483647 55703 343 | 20.974 % |
205.38/205.60 c | 56358 | 83528 458869 1283446 | 2147483647 55813 343 | 20.974 % |
205.88/206.09 c | 56483 | 83528 458869 1283446 | 2147483647 55938 343 | 20.974 % |
206.38/206.58 c | 56617 | 83528 458869 1283446 | 2147483647 56072 344 | 20.974 % |
207.28/207.44 c | 56765 | 83528 458869 1283446 | 2147483647 56220 344 | 20.974 % |
207.88/208.04 c | 56925 | 83528 458869 1283446 | 2147483647 56380 345 | 20.974 % |
208.68/208.86 c | 57101 | 83528 458869 1283446 | 2147483647 56556 345 | 20.974 % |
209.57/209.72 c | 57294 | 83527 458869 1283446 | 2147483647 56748 345 | 20.975 % |
210.48/210.64 c | 57507 | 83527 458869 1283446 | 2147483647 56961 345 | 20.975 % |
211.28/211.46 c | 57740 | 83527 458869 1283446 | 2147483647 57194 345 | 20.975 % |
211.88/212.06 c | 57999 | 83525 458869 1283446 | 2147483647 57451 344 | 20.991 % |
212.38/212.52 c | 58281 | 83523 458869 1283446 | 2147483647 57732 344 | 21.002 % |
213.08/213.22 c | 58590 | 83522 458869 1283446 | 2147483647 58040 343 | 21.010 % |
214.28/214.46 c | 58929 | 83517 458869 1283446 | 2147483647 58379 342 | 21.010 % |
216.38/216.58 c | 59301 | 83517 458869 1283446 | 2147483647 58751 347 | 21.010 % |
218.37/218.50 c | 59711 | 83517 458869 1283446 | 2147483647 59161 348 | 21.010 % |
220.37/220.58 c | 60160 | 83517 458869 1283446 | 2147483647 59610 350 | 21.010 % |
223.48/223.60 c | 60654 | 83517 458869 1283446 | 2147483647 60104 354 | 21.010 % |
225.88/226.07 c | 61197 | 83516 458869 1283446 | 2147483647 60646 355 | 21.019 % |
228.37/228.58 c | 61793 | 83501 458869 1283446 | 2147483647 61238 356 | 21.072 % |
232.67/232.87 c | 62449 | 83406 457991 1281325 | 2147483647 61810 360 | 21.087 % |
236.67/236.82 c | 63169 | 83403 457991 1281325 | 2147483647 62528 361 | 21.096 % |
240.07/240.27 c | 63961 | 83401 457991 1281325 | 2147483647 63318 363 | 21.098 % |
240.68/240.85 c | 64061 | 83401 457991 1281325 | 2147483647 63418 363 | 21.098 % |
240.97/241.15 c | 64174 | 83401 457991 1281325 | 2147483647 63531 363 | 21.098 % |
241.37/241.59 c | 64296 | 83401 457991 1281325 | 2147483647 63653 362 | 21.098 % |
242.17/242.37 c | 64429 | 83401 457991 1281325 | 2147483647 63786 362 | 21.098 % |
242.47/242.67 c | 64575 | 83401 457991 1281325 | 2147483647 63932 362 | 21.098 % |
243.27/243.42 c | 64737 | 83401 457991 1281325 | 2147483647 64094 362 | 21.098 % |
244.46/244.66 c | 64914 | 83401 457991 1281325 | 2147483647 64271 363 | 21.098 % |
245.37/245.57 c | 65107 | 83401 457991 1281325 | 2147483647 64464 364 | 21.098 % |
245.97/246.19 c | 65319 | 83399 457991 1281325 | 2147483647 64673 363 | 21.118 % |
246.67/246.80 c | 65559 | 83393 457991 1281325 | 2147483647 64912 362 | 21.130 % |
247.47/247.63 c | 65817 | 83246 457991 1281325 | 2147483647 65165 361 | 22.398 % |
247.87/248.02 c | 66098 | 83242 457991 1281325 | 2147483647 65444 360 | 22.415 % |
248.27/248.50 c | 66408 | 83227 457991 1281325 | 2147483647 65752 359 | 22.449 % |
248.87/249.02 c | 66749 | 83227 457991 1281325 | 2147483647 66093 358 | 22.449 % |
250.96/251.11 c | 67128 | 83227 457991 1281325 | 2147483647 66472 359 | 22.449 % |
252.87/253.03 c | 67539 | 83227 457991 1281325 | 2147483647 66883 359 | 22.449 % |
254.97/255.18 c | 67988 | 83227 457991 1281325 | 2147483647 67332 362 | 22.449 % |
257.17/257.33 c | 68481 | 83227 457991 1281325 | 2147483647 67825 363 | 22.449 % |
259.66/259.80 c | 69024 | 81954 448791 1257815 | 2147483647 68243 365 | 22.449 % |
261.06/261.22 c | 69622 | 81949 448791 1257815 | 2147483647 68840 364 | 22.466 % |
263.66/263.81 c | 70277 | 81941 448791 1257815 | 2147483647 69492 363 | 22.493 % |
266.66/266.87 c | 70997 | 81941 448791 1257815 | 2147483647 70212 365 | 22.493 % |
270.76/270.92 c | 71789 | 81941 448791 1257815 | 2147483647 71004 366 | 22.493 % |
275.26/275.44 c | 72660 | 81939 448791 1257815 | 2147483647 71874 369 | 22.508 % |
275.76/275.96 c | 72760 | 81939 448791 1257815 | 2147483647 71974 369 | 22.508 % |
276.36/276.54 c | 72871 | 81939 448791 1257815 | 2147483647 72085 369 | 22.508 % |
276.86/277.04 c | 72992 | 81939 448791 1257815 | 2147483647 72206 369 | 22.508 % |
277.36/277.53 c | 73126 | 81939 448791 1257815 | 2147483647 72340 370 | 22.508 % |
278.16/278.33 c | 73272 | 81939 448791 1257815 | 2147483647 72486 370 | 22.508 % |
278.86/279.03 c | 73433 | 81939 448791 1257815 | 2147483647 72647 370 | 22.508 % |
279.65/279.81 c | 73610 | 81939 448791 1257815 | 2147483647 72824 370 | 22.508 % |
280.65/280.89 c | 73805 | 81939 448791 1257815 | 2147483647 73019 371 | 22.508 % |
281.55/281.78 c | 74018 | 81939 448791 1257815 | 2147483647 73232 372 | 22.508 % |
282.75/282.98 c | 74251 | 81939 448791 1257815 | 2147483647 73465 372 | 22.508 % |
284.05/284.25 c | 74507 | 81939 448791 1257815 | 2147483647 73720 372 | 22.509 % |
285.25/285.48 c | 74789 | 81939 448791 1257815 | 2147483647 74002 373 | 22.509 % |
287.26/287.49 c | 75101 | 81939 448791 1257815 | 2147483647 74314 373 | 22.509 % |
288.96/289.19 c | 75444 | 81939 448791 1257815 | 2147483647 74657 374 | 22.509 % |
290.85/291.01 c | 75817 | 81939 448791 1257815 | 2147483647 75030 374 | 22.509 % |
293.15/293.37 c | 76226 | 81939 448791 1257815 | 2147483647 75439 374 | 22.509 % |
295.55/295.77 c | 76676 | 81890 448365 1256708 | 2147483647 75846 374 | 22.509 % |
298.16/298.34 c | 77169 | 81889 448365 1256708 | 2147483647 76338 375 | 22.510 % |
300.35/300.52 c | 77712 | 81888 448365 1256708 | 2147483647 76880 375 | 22.511 % |
303.65/303.89 c | 78308 | 81888 448365 1256708 | 2147483647 77476 375 | 22.511 % |
306.55/306.76 c | 78963 | 81888 448365 1256708 | 2147483647 78131 376 | 22.511 % |
310.35/310.55 c | 79684 | 81888 448365 1256708 | 2147483647 78852 377 | 22.511 % |
314.35/314.53 c | 80477 | 81881 448365 1256708 | 2147483647 79643 380 | 22.539 % |
319.25/319.41 c | 81348 | 81880 448365 1256708 | 2147483647 80513 381 | 22.540 % |
323.05/323.23 c | 82307 | 81880 448365 1256708 | 2147483647 81472 383 | 22.540 % |
323.55/323.77 c | 82409 | 81880 448365 1256708 | 2147483647 81574 383 | 22.540 % |
323.95/324.19 c | 82521 | 81880 448365 1256708 | 2147483647 81686 383 | 22.540 % |
324.45/324.61 c | 82645 | 81880 448365 1256708 | 2147483647 81810 383 | 22.540 % |
325.15/325.31 c | 82779 | 81880 448365 1256708 | 2147483647 81944 383 | 22.540 % |
326.05/326.26 c | 82930 | 81880 448365 1256708 | 2147483647 82095 383 | 22.540 % |
326.65/326.83 c | 83091 | 81875 448365 1256708 | 2147483647 82255 383 | 22.549 % |
327.05/327.25 c | 83269 | 81874 448365 1256708 | 2147483647 82432 382 | 22.550 % |
327.55/327.72 c | 83463 | 81873 448365 1256708 | 2147483647 82625 382 | 22.551 % |
327.85/328.01 c | 83675 | 81873 448365 1256708 | 2147483647 82837 381 | 22.551 % |
328.85/329.01 c | 83908 | 81873 448365 1256708 | 2147483647 83070 381 | 22.551 % |
329.75/329.98 c | 84164 | 81799 448365 1256708 | 2147483647 83325 381 | 22.892 % |
331.14/331.33 c | 84445 | 81797 448365 1256708 | 2147483647 83605 382 | 22.906 % |
332.74/332.99 c | 84755 | 81797 448365 1256708 | 2147483647 83915 383 | 22.906 % |
334.64/334.86 c | 85094 | 81797 448365 1256708 | 2147483647 84254 384 | 22.906 % |
336.24/336.47 c | 85466 | 81797 448365 1256708 | 2147483647 84626 384 | 22.906 % |
338.14/338.35 c | 85876 | 81797 448365 1256708 | 2147483647 85036 384 | 22.906 % |
340.64/340.84 c | 86326 | 81471 445496 1249828 | 2147483647 85441 385 | 22.906 % |
342.74/342.97 c | 86822 | 81471 445496 1249828 | 2147483647 85937 388 | 22.906 % |
345.64/345.88 c | 87364 | 81471 445496 1249828 | 2147483647 86479 389 | 22.906 % |
348.84/349.09 c | 87961 | 81471 445496 1249828 | 2147483647 87076 391 | 22.906 % |
352.44/352.66 c | 88616 | 81471 445496 1249828 | 2147483647 87731 392 | 22.906 % |
356.14/356.32 c | 89336 | 81471 445496 1249828 | 2147483647 88451 395 | 22.906 % |
360.44/360.60 c | 90131 | 81471 445496 1249828 | 2147483647 89246 396 | 22.906 % |
364.94/365.15 c | 91003 | 81470 445496 1249828 | 2147483647 90117 397 | 22.907 % |
368.94/369.17 c | 91962 | 81470 445496 1249828 | 2147483647 91076 400 | 22.907 % |
372.14/372.38 c | 93018 | 81139 445496 1249828 | 2147483647 92129 398 | 23.942 % |
372.34/372.53 c | 93118 | 81139 445496 1249828 | 2147483647 92229 398 | 23.942 % |
372.74/372.91 c | 93232 | 81139 445496 1249828 | 2147483647 92343 398 | 23.942 % |
373.43/373.69 c | 93355 | 81139 445496 1249828 | 2147483647 92466 398 | 23.942 % |
374.23/374.46 c | 93488 | 81139 445496 1249828 | 2147483647 92599 398 | 23.942 % |
375.03/375.25 c | 93635 | 81139 445496 1249828 | 2147483647 92746 398 | 23.942 % |
375.83/376.02 c | 93795 | 81139 445496 1249828 | 2147483647 92906 398 | 23.942 % |
376.63/376.86 c | 93971 | 81139 445496 1249828 | 2147483647 93082 398 | 23.942 % |
377.53/377.70 c | 94168 | 81139 445496 1249828 | 2147483647 93279 398 | 23.942 % |
378.53/378.72 c | 94381 | 81139 445496 1249828 | 2147483647 93492 398 | 23.942 % |
379.73/379.94 c | 94615 | 81138 445496 1249828 | 2147483647 93725 398 | 23.943 % |
380.73/380.97 c | 94872 | 81138 445496 1249828 | 2147483647 93982 399 | 23.943 % |
382.13/382.32 c | 95153 | 81138 445496 1249828 | 2147483647 94263 399 | 23.943 % |
383.53/383.70 c | 95462 | 81138 445496 1249828 | 2147483647 94572 399 | 23.943 % |
385.03/385.21 c | 95801 | 81138 445496 1249828 | 2147483647 94911 400 | 23.943 % |
386.82/387.00 c | 96174 | 81138 445496 1249828 | 2147483647 95284 400 | 23.943 % |
389.32/389.52 c | 96583 | 81137 445496 1249828 | 2147483647 95692 400 | 23.956 % |
391.63/391.81 c | 97034 | 81137 445496 1249828 | 2147483647 96143 401 | 23.956 % |
393.72/393.91 c | 97527 | 81137 445496 1249828 | 2147483647 96636 402 | 23.956 % |
395.62/395.90 c | 98069 | 80361 438892 1233299 | 2147483647 97153 401 | 23.956 % |
398.42/398.64 c | 98668 | 80345 438892 1233299 | 2147483647 97744 401 | 23.993 % |
402.03/402.22 c | 99323 | 80345 438892 1233299 | 2147483647 98399 402 | 23.993 % |
406.62/406.82 c | 100044 | 80345 438892 1233299 | 2147483647 99120 404 | 23.993 % |
410.32/410.55 c | 100838 | 80345 438892 1233299 | 2147483647 99914 404 | 23.993 % |
415.42/415.65 c | 101711 | 80345 438892 1233299 | 2147483647 100787 407 | 23.993 % |
420.82/421.06 c | 102672 | 80344 438892 1233299 | 2147483647 101747 409 | 23.994 % |
427.12/427.36 c | 103726 | 80344 438892 1233299 | 2147483647 102801 414 | 23.994 % |
433.12/433.31 c | 104884 | 80340 438892 1233299 | 2147483647 103955 415 | 23.998 % |
433.62/433.87 c | 104985 | 80340 438892 1233299 | 2147483647 104056 415 | 23.998 % |
434.12/434.36 c | 105097 | 80340 438892 1233299 | 2147483647 104168 414 | 23.998 % |
434.62/434.86 c | 105219 | 80339 438892 1233299 | 2147483647 104289 414 | 23.999 % |
435.12/435.38 c | 105353 | 80339 438892 1233299 | 2147483647 104423 414 | 23.999 % |
435.91/436.17 c | 105499 | 80338 438892 1233299 | 2147483647 104567 413 | 24.000 % |
436.21/436.49 c | 105662 | 80338 438892 1233299 | 2147483647 104730 413 | 24.000 % |
437.11/437.35 c | 105840 | 80337 438892 1233299 | 2147483647 104908 413 | 24.000 % |
438.11/438.34 c | 106033 | 80337 438892 1233299 | 2147483647 105101 413 | 24.000 % |
439.31/439.54 c | 106247 | 80337 438892 1233299 | 2147483647 105315 413 | 24.000 % |
440.71/440.92 c | 106482 | 80329 438892 1233299 | 2147483647 105546 413 | 24.040 % |
441.32/441.53 c | 106743 | 80329 438892 1233299 | 2147483647 105807 412 | 24.040 % |
441.92/442.16 c | 107027 | 80326 438892 1233299 | 2147483647 106091 411 | 24.040 % |
443.61/443.83 c | 107336 | 80326 438892 1233299 | 2147483647 106400 411 | 24.040 % |
445.21/445.45 c | 107675 | 80326 438892 1233299 | 2147483647 106739 412 | 24.040 % |
447.71/447.90 c | 108047 | 80325 438892 1233299 | 2147483647 107110 412 | 24.041 % |
450.91/451.13 c | 108456 | 80324 438892 1233299 | 2147483647 107518 412 | 24.045 % |
453.51/453.70 c | 108905 | 80323 438892 1233299 | 2147483647 107966 413 | 24.046 % |
456.41/456.60 c | 109398 | 80323 438892 1233299 | 2147483647 108459 414 | 24.046 % |
459.60/459.89 c | 109940 | 80323 438892 1233299 | 2147483647 109000 416 | 24.047 % |
462.81/463.10 c | 110538 | 80265 438266 1231745 | 2147483647 109520 416 | 24.047 % |
466.30/466.51 c | 111197 | 80265 438266 1231745 | 2147483647 110179 416 | 24.047 % |
470.80/471.02 c | 111917 | 80262 438266 1231745 | 2147483647 110898 417 | 24.066 % |
475.00/475.21 c | 112710 | 80262 438266 1231745 | 2147483647 111691 418 | 24.066 % |
480.11/480.36 c | 113586 | 80262 438266 1231745 | 2147483647 112567 420 | 24.066 % |
484.10/484.37 c | 114545 | 80262 438266 1231745 | 2147483647 113526 421 | 24.066 % |
489.10/489.40 c | 115599 | 80255 438266 1231745 | 2147483647 114578 420 | 24.087 % |
495.81/496.01 c | 116758 | 80255 438266 1231745 | 2147483647 115737 423 | 24.087 % |
502.99/503.25 c | 118031 | 80253 438266 1231745 | 2147483647 117008 423 | 24.102 % |
503.39/503.68 c | 118131 | 80253 438266 1231745 | 2147483647 117108 423 | 24.102 % |
504.20/504.41 c | 118243 | 80253 438266 1231745 | 2147483647 117220 423 | 24.102 % |
504.70/504.97 c | 118364 | 80253 438266 1231745 | 2147483647 117341 423 | 24.102 % |
505.40/505.65 c | 118498 | 80253 438266 1231745 | 2147483647 117475 423 | 24.102 % |
506.20/506.41 c | 118644 | 80253 438266 1231745 | 2147483647 117621 423 | 24.102 % |
507.20/507.41 c | 118804 | 80253 438266 1231745 | 2147483647 117781 423 | 24.102 % |
508.49/508.71 c | 118980 | 80253 438266 1231745 | 2147483647 117957 423 | 24.102 % |
509.59/509.87 c | 119175 | 80253 438266 1231745 | 2147483647 118152 423 | 24.102 % |
510.89/511.10 c | 119387 | 80253 438266 1231745 | 2147483647 118364 423 | 24.102 % |
512.19/512.42 c | 119621 | 80252 438266 1231745 | 2147483647 118597 423 | 24.103 % |
514.00/514.25 c | 119877 | 80252 438266 1231745 | 2147483647 118853 424 | 24.103 % |
515.00/515.20 c | 120158 | 80252 438266 1231745 | 2147483647 119133 423 | 24.115 % |
517.00/517.23 c | 120468 | 80252 438266 1231745 | 2147483647 119443 424 | 24.115 % |
518.69/518.98 c | 120808 | 80252 438266 1231745 | 2147483647 119783 424 | 24.115 % |
520.69/520.93 c | 121183 | 80252 438266 1231745 | 2147483647 120158 424 | 24.115 % |
522.79/523.01 c | 121592 | 80252 438266 1231745 | 2147483647 120567 424 | 24.115 % |
524.69/524.95 c | 122043 | 80252 438266 1231745 | 2147483647 121018 424 | 24.115 % |
527.19/527.41 c | 122538 | 80252 438266 1231745 | 2147483647 121513 424 | 24.115 % |
529.59/529.87 c | 123080 | 80252 438266 1231745 | 2147483647 122055 425 | 24.115 % |
532.89/533.11 c | 123676 | 80252 438266 1231745 | 2147483647 122651 426 | 24.115 % |
536.59/536.89 c | 124334 | 80252 438266 1231745 | 2147483647 123309 426 | 24.115 % |
540.69/540.97 c | 125055 | 80178 437831 1230695 | 2147483647 123999 428 | 24.290 % |
545.09/545.37 c | 125847 | 80178 437831 1230695 | 2147483647 124791 428 | 24.290 % |
549.88/550.14 c | 126719 | 80171 437831 1230695 | 2147483647 125662 428 | 24.304 % |
553.78/554.05 c | 127681 | 80155 437831 1230695 | 2147483647 126622 427 | 24.320 % |
559.59/559.89 c | 128734 | 80152 437831 1230695 | 2147483647 127674 430 | 24.323 % |
566.69/566.98 c | 129892 | 80151 437831 1230695 | 2147483647 128831 432 | 24.324 % |
573.18/573.46 c | 131166 | 80151 437831 1230695 | 2147483647 130105 434 | 24.324 % |
581.08/581.37 c | 132566 | 80151 437831 1230695 | 2147483647 131505 437 | 24.324 % |
581.78/582.09 c | 132666 | 80151 437831 1230695 | 2147483647 131605 437 | 24.324 % |
582.68/582.93 c | 132776 | 80150 437831 1230695 | 2147483647 131714 437 | 24.325 % |
583.48/583.77 c | 132898 | 80150 437831 1230695 | 2147483647 131836 437 | 24.325 % |
584.38/584.61 c | 133032 | 80150 437831 1230695 | 2147483647 131970 437 | 24.325 % |
584.98/585.26 c | 133178 | 80126 437831 1230695 | 2147483647 132115 437 | 24.552 % |
585.88/586.13 c | 133342 | 80126 437831 1230695 | 2147483647 132279 437 | 24.552 % |
586.88/587.15 c | 133518 | 80126 437831 1230695 | 2147483647 132455 437 | 24.552 % |
588.07/588.38 c | 133714 | 80122 437831 1230695 | 2147483647 132650 437 | 24.566 % |
589.28/589.53 c | 133927 | 80122 437831 1230695 | 2147483647 132863 437 | 24.566 % |
590.38/590.66 c | 134160 | 80122 437831 1230695 | 2147483647 133096 437 | 24.566 % |
592.07/592.35 c | 134419 | 80122 437831 1230695 | 2147483647 133355 437 | 24.566 % |
593.77/594.06 c | 134701 | 80122 437831 1230695 | 2147483647 133637 438 | 24.566 % |
595.57/595.82 c | 135011 | 80122 437831 1230695 | 2147483647 133947 438 | 24.566 % |
597.58/597.84 c | 135354 | 80122 437831 1230695 | 2147483647 134290 438 | 24.566 % |
599.28/599.53 c | 135726 | 80122 437831 1230695 | 2147483647 134662 438 | 24.566 % |
601.17/601.48 c | 136140 | 80122 437831 1230695 | 2147483647 135076 437 | 24.566 % |
604.37/604.63 c | 136594 | 80122 437831 1230695 | 2147483647 135530 438 | 24.566 % |
607.47/607.71 c | 137088 | 80122 437831 1230695 | 2147483647 136024 438 | 24.566 % |
610.06/610.35 c | 137630 | 80121 437831 1230695 | 2147483647 136565 438 | 24.567 % |
613.47/613.77 c | 138226 | 80121 437831 1230695 | 2147483647 137161 439 | 24.567 % |
617.07/617.37 c | 138886 | 80120 437831 1230695 | 2147483647 137820 438 | 24.576 % |
622.56/622.83 c | 139606 | 80118 437831 1230695 | 2147483647 138539 438 | 24.589 % |
626.46/626.77 c | 140398 | 80118 437831 1230695 | 2147483647 139331 437 | 24.589 % |
631.37/631.62 c | 141272 | 80118 437831 1230695 | 2147483647 140205 438 | 24.589 % |
636.57/636.82 c | 142230 | 79692 434675 1222636 | 2147483647 141108 440 | 24.589 % |
643.16/643.41 c | 143285 | 79692 434675 1222636 | 2147483647 142163 441 | 24.589 % |
649.66/649.95 c | 144443 | 79692 434675 1222636 | 2147483647 143321 443 | 24.589 % |
656.86/657.14 c | 145716 | 79680 434675 1222636 | 2147483647 144593 444 | 24.623 % |
665.55/665.83 c | 147117 | 79670 434675 1222636 | 2147483647 145990 444 | 24.650 % |
674.65/674.93 c | 148657 | 79670 434675 1222636 | 2147483647 147530 446 | 24.650 % |
675.35/675.64 c | 148757 | 79670 434675 1222636 | 2147483647 147630 446 | 24.650 % |
676.05/676.39 c | 148869 | 79670 434675 1222636 | 2147483647 147742 446 | 24.650 % |
676.75/677.08 c | 148992 | 79670 434675 1222636 | 2147483647 147865 446 | 24.650 % |
677.25/677.50 c | 149126 | 79670 434675 1222636 | 2147483647 147999 445 | 24.650 % |
678.15/678.49 c | 149272 | 79670 434675 1222636 | 2147483647 148145 445 | 24.650 % |
679.25/679.58 c | 149432 | 79670 434675 1222636 | 2147483647 148305 445 | 24.650 % |
680.15/680.48 c | 149608 | 79670 434675 1222636 | 2147483647 148481 445 | 24.650 % |
681.35/681.67 c | 149806 | 79670 434675 1222636 | 2147483647 148679 446 | 24.650 % |
682.65/682.90 c | 150019 | 79670 434675 1222636 | 2147483647 148892 446 | 24.650 % |
683.65/683.93 c | 150256 | 79670 434675 1222636 | 2147483647 149129 446 | 24.650 % |
685.35/685.66 c | 150513 | 79670 434675 1222636 | 2147483647 149386 445 | 24.650 % |
686.95/687.27 c | 150794 | 79670 434675 1222636 | 2147483647 149667 446 | 24.650 % |
688.65/688.94 c | 151103 | 79670 434675 1222636 | 2147483647 149976 446 | 24.650 % |
690.65/690.99 c | 151442 | 79668 434675 1222636 | 2147483647 150312 446 | 24.652 % |
692.14/692.46 c | 151819 | 79660 434675 1222636 | 2147483647 150687 445 | 24.675 % |
694.85/695.18 c | 152229 | 79660 434675 1222636 | 2147483647 151097 446 | 24.675 % |
698.05/698.37 c | 152681 | 79660 434675 1222636 | 2147483647 151549 446 | 24.675 % |
701.75/702.07 c | 153176 | 79659 434675 1222636 | 2147483647 152043 447 | 24.676 % |
705.54/705.85 c | 153718 | 79659 434675 1222636 | 2147483647 152585 448 | 24.676 % |
709.44/709.77 c | 154316 | 79659 434675 1222636 | 2147483647 153182 448 | 24.693 % |
713.44/713.78 c | 154973 | 79659 434675 1222636 | 2147483647 153839 449 | 24.693 % |
717.14/717.48 c | 155694 | 79658 434675 1222636 | 2147483647 154559 449 | 24.694 % |
721.94/722.27 c | 156486 | 79658 434675 1222636 | 2147483647 155351 450 | 24.694 % |
726.34/726.61 c | 157357 | 79658 434675 1222636 | 2147483647 156222 451 | 24.694 % |
732.43/732.78 c | 158317 | 79656 434675 1222636 | 2147483647 157181 451 | 24.706 % |
738.74/739.02 c | 159371 | 79655 434675 1222636 | 2147483647 158234 453 | 24.707 % |
745.64/745.97 c | 160530 | 79655 434675 1222636 | 2147483647 159393 454 | 24.707 % |
753.93/754.24 c | 161803 | 79567 433778 1220378 | 2147483647 160606 455 | 24.707 % |
762.33/762.66 c | 163204 | 79567 433778 1220378 | 2147483647 162007 457 | 24.707 % |
770.44/770.74 c | 164745 | 79564 433778 1220378 | 2147483647 163547 458 | 24.721 % |
781.73/782.02 c | 166440 | 79564 433778 1220378 | 2147483647 165241 459 | 24.724 % |
782.53/782.87 c | 166540 | 79564 433778 1220378 | 2147483647 165341 459 | 24.724 % |
783.03/783.32 c | 166650 | 79564 433778 1220378 | 2147483647 165451 459 | 24.724 % |
783.53/783.83 c | 166771 | 79564 433778 1220378 | 2147483647 165572 459 | 24.724 % |
783.83/784.15 c | 166904 | 79564 433778 1220378 | 2147483647 165705 459 | 24.724 % |
784.43/784.73 c | 167052 | 79564 433778 1220378 | 2147483647 165853 458 | 24.724 % |
784.92/785.26 c | 167212 | 79564 433778 1220378 | 2147483647 166013 458 | 24.724 % |
786.32/786.70 c | 167389 | 79564 433778 1220378 | 2147483647 166190 458 | 24.724 % |
787.73/788.07 c | 167582 | 79564 433778 1220378 | 2147483647 166383 458 | 24.724 % |
789.33/789.70 c | 167796 | 79564 433778 1220378 | 2147483647 166597 459 | 24.724 % |
790.83/791.16 c | 168029 | 79564 433778 1220378 | 2147483647 166830 459 | 24.724 % |
792.63/793.00 c | 168285 | 79564 433778 1220378 | 2147483647 167086 458 | 24.724 % |
794.53/794.85 c | 168566 | 79561 433778 1220378 | 2147483647 167365 458 | 24.740 % |
796.32/796.64 c | 168876 | 79561 433778 1220378 | 2147483647 167675 458 | 24.740 % |
798.62/798.99 c | 169216 | 79561 433778 1220378 | 2147483647 168015 459 | 24.740 % |
801.32/801.65 c | 169592 | 79556 433778 1220378 | 2147483647 168390 459 | 24.753 % |
803.62/803.95 c | 170001 | 79537 433778 1220378 | 2147483647 168798 459 | 24.811 % |
806.43/806.75 c | 170451 | 79537 433778 1220378 | 2147483647 169248 459 | 24.811 % |
808.43/808.74 c | 170944 | 79518 433778 1220378 | 2147483647 169740 458 | 24.899 % |
812.02/812.34 c | 171486 | 79518 433778 1220378 | 2147483647 170282 458 | 24.899 % |
816.22/816.53 c | 172082 | 79518 433778 1220378 | 2147483647 170878 460 | 24.899 % |
820.82/821.15 c | 172739 | 79518 433778 1220378 | 2147483647 171535 460 | 24.899 % |
826.82/827.13 c | 173460 | 79518 433778 1220378 | 2147483647 172256 461 | 24.899 % |
832.52/832.86 c | 174253 | 79518 433778 1220378 | 2147483647 173049 462 | 24.899 % |
838.11/838.46 c | 175126 | 79518 433778 1220378 | 2147483647 173922 464 | 24.899 % |
845.41/845.74 c | 176084 | 79518 433778 1220378 | 2147483647 174880 465 | 24.899 % |
852.81/853.13 c | 177138 | 79514 433778 1220378 | 2147483647 175933 466 | 24.913 % |
861.41/861.73 c | 178296 | 79514 433778 1220378 | 2147483647 177091 467 | 24.913 % |
869.41/869.79 c | 179569 | 79514 433778 1220378 | 2147483647 178364 468 | 24.913 % |
878.10/878.49 c | 180970 | 79510 433778 1220378 | 2147483647 179764 467 | 24.927 % |
888.20/888.53 c | 182510 | 79506 433778 1220378 | 2147483647 181302 468 | 24.946 % |
898.10/898.41 c | 184207 | 79506 433778 1220378 | 2147483647 182999 468 | 24.946 % |
910.90/911.26 c | 186071 | 79314 432268 1216499 | 2147483647 184763 468 | 24.947 % |
911.50/911.88 c | 186174 | 79314 432268 1216499 | 2147483647 184866 468 | 24.947 % |
912.50/912.80 c | 186284 | 79314 432268 1216499 | 2147483647 184976 468 | 24.947 % |
913.30/913.62 c | 186405 | 79314 432268 1216499 | 2147483647 185097 468 | 24.947 % |
914.20/914.53 c | 186541 | 79314 432268 1216499 | 2147483647 185233 468 | 24.947 % |
915.30/915.65 c | 186687 | 79314 432268 1216499 | 2147483647 185379 468 | 24.947 % |
916.50/916.81 c | 186847 | 79314 432268 1216499 | 2147483647 185538 468 | 24.951 % |
917.29/917.69 c | 187023 | 79314 432268 1216499 | 2147483647 185714 468 | 24.951 % |
917.89/918.24 c | 187217 | 79314 432268 1216499 | 2147483647 185908 468 | 24.951 % |
919.40/919.75 c | 187431 | 79313 432268 1216499 | 2147483647 186121 468 | 24.952 % |
921.40/921.80 c | 187664 | 79313 432268 1216499 | 2147483647 186354 467 | 24.952 % |
923.09/923.46 c | 187920 | 79313 432268 1216499 | 2147483647 186610 468 | 24.952 % |
924.99/925.39 c | 188201 | 79313 432268 1216499 | 2147483647 186891 468 | 24.952 % |
927.49/927.90 c | 188514 | 79312 432268 1216499 | 2147483647 187203 468 | 24.954 % |
929.89/930.25 c | 188854 | 79312 432268 1216499 | 2147483647 187543 468 | 24.954 % |
932.59/932.95 c | 189227 | 79312 432268 1216499 | 2147483647 187916 468 | 24.954 % |
934.49/934.88 c | 189638 | 79307 432268 1216499 | 2147483647 188326 468 | 24.965 % |
936.49/936.84 c | 190090 | 79307 432268 1216499 | 2147483647 188778 467 | 24.965 % |
939.19/939.59 c | 190583 | 79307 432268 1216499 | 2147483647 189271 467 | 24.965 % |
942.69/943.02 c | 191127 | 79305 432268 1216499 | 2147483647 189814 467 | 24.975 % |
946.48/946.87 c | 191724 | 79303 432268 1216499 | 2147483647 190409 467 | 24.977 % |
950.19/950.58 c | 192379 | 79303 432268 1216499 | 2147483647 191064 467 | 24.977 % |
956.99/957.35 c | 193100 | 79303 432268 1216499 | 2147483647 191784 467 | 24.987 % |
962.58/962.93 c | 193892 | 79303 432268 1216499 | 2147483647 192576 467 | 24.987 % |
968.98/969.36 c | 194763 | 79302 432268 1216499 | 2147483647 193446 468 | 24.987 % |
975.18/975.57 c | 195721 | 79301 432268 1216499 | 2147483647 194403 470 | 24.988 % |
981.68/982.05 c | 196774 | 79301 432268 1216499 | 2147483647 195456 471 | 24.988 % |
988.67/989.08 c | 197932 | 79301 432268 1216499 | 2147483647 196613 473 | 24.991 % |
998.67/999.05 c | 199205 | 79300 432268 1216499 | 2147483647 197885 475 | 24.992 % |
1012.47/1012.86 c | 200605 | 79299 432268 1216499 | 2147483647 199284 476 | 24.993 % |
1026.07/1026.47 c | 202145 | 79299 432268 1216499 | 2147483647 200824 477 | 24.993 % |
1038.76/1039.12 c | 203841 | 79299 432268 1216499 | 2147483647 202520 479 | 24.993 % |
1050.17/1050.51 c | 205704 | 79299 432268 1216499 | 2147483647 204383 480 | 24.993 % |
1061.96/1062.33 c | 207753 | 79299 432268 1216499 | 2147483647 206432 480 | 24.993 % |
1063.06/1063.46 c | 207854 | 79299 432268 1216499 | 2147483647 206533 481 | 24.993 % |
1064.16/1064.55 c | 207965 | 79299 432268 1216499 | 2147483647 206644 481 | 24.993 % |
1065.15/1065.51 c | 208086 | 79299 432268 1216499 | 2147483647 206765 481 | 24.993 % |
1066.05/1066.47 c | 208219 | 79299 432268 1216499 | 2147483647 206898 481 | 24.993 % |
1067.45/1067.89 c | 208365 | 79265 431929 1215662 | 2147483647 207008 481 | 24.993 % |
1068.05/1068.47 c | 208527 | 79265 431929 1215662 | 2147483647 207170 480 | 24.993 % |
1069.05/1069.43 c | 208704 | 79265 431929 1215662 | 2147483647 207347 480 | 24.993 % |
1070.25/1070.67 c | 208897 | 79265 431929 1215662 | 2147483647 207540 480 | 24.993 % |
1071.45/1071.88 c | 209109 | 79265 431929 1215662 | 2147483647 207752 480 | 24.993 % |
1074.06/1074.44 c | 209342 | 79265 431929 1215662 | 2147483647 207985 480 | 24.993 % |
1076.06/1076.47 c | 209601 | 79265 431929 1215662 | 2147483647 208244 480 | 24.993 % |
1077.26/1077.60 c | 209883 | 79265 431929 1215662 | 2147483647 208526 479 | 24.993 % |
1079.35/1079.75 c | 210192 | 79265 431929 1215662 | 2147483647 208835 479 | 24.993 % |
1081.96/1082.32 c | 210531 | 79264 431929 1215662 | 2147483647 209173 480 | 24.994 % |
1084.55/1084.91 c | 210903 | 79260 431929 1215662 | 2147483647 209544 480 | 25.004 % |
1087.46/1087.89 c | 211313 | 79260 431929 1215662 | 2147483647 209954 480 | 25.004 % |
1090.66/1091.08 c | 211762 | 79260 431929 1215662 | 2147483647 210403 480 | 25.004 % |
1094.25/1094.60 c | 212257 | 79260 431929 1215662 | 2147483647 210898 480 | 25.004 % |
1098.45/1098.81 c | 212800 | 79260 431929 1215662 | 2147483647 211441 481 | 25.004 % |
1102.15/1102.56 c | 213400 | 79250 431929 1215662 | 2147483647 212040 480 | 25.158 % |
1107.95/1108.40 c | 214055 | 79250 431929 1215662 | 2147483647 212695 481 | 25.158 % |
1112.64/1113.09 c | 214775 | 79250 431929 1215662 | 2147483647 213415 481 | 25.158 % |
1118.25/1118.69 c | 215567 | 79250 431929 1215662 | 2147483647 214207 482 | 25.158 % |
1124.34/1124.73 c | 216438 | 79250 431929 1215662 | 2147483647 215078 482 | 25.158 % |
1131.94/1132.39 c | 217396 | 79250 431929 1215662 | 2147483647 216036 483 | 25.158 % |
1139.04/1139.45 c | 218450 | 79250 431929 1215662 | 2147483647 217090 484 | 25.158 % |
1147.84/1148.23 c | 219609 | 79250 431929 1215662 | 2147483647 218249 484 | 25.158 % |
1156.83/1157.26 c | 220886 | 79249 431929 1215662 | 2147483647 219525 485 | 25.159 % |
1168.73/1169.20 c | 222287 | 79249 431929 1215662 | 2147483647 220926 486 | 25.159 % |
1179.73/1180.13 c | 223833 | 79248 431929 1215662 | 2147483647 222470 487 | 25.162 % |
1192.83/1193.27 c | 225528 | 79248 431929 1215662 | 2147483647 224165 487 | 25.162 % |
1207.32/1207.78 c | 227393 | 79247 431929 1215662 | 2147483647 226029 488 | 25.163 % |
1222.62/1223.09 c | 229444 | 79244 431929 1215662 | 2147483647 228078 489 | 25.165 % |
1241.31/1241.77 c | 231700 | 79243 431929 1215662 | 2147483647 230333 490 | 25.169 % |
1242.51/1242.96 c | 231800 | 79243 431929 1215662 | 2147483647 230433 490 | 25.169 % |
1243.51/1243.99 c | 231910 | 79243 431929 1215662 | 2147483647 230543 490 | 25.169 % |
1244.71/1245.18 c | 232031 | 79243 431929 1215662 | 2147483647 230664 490 | 25.169 % |
1245.81/1246.28 c | 232165 | 79243 431929 1215662 | 2147483647 230798 490 | 25.169 % |
1247.21/1247.66 c | 232313 | 79243 431929 1215662 | 2147483647 230946 490 | 25.169 % |
1248.31/1248.70 c | 232474 | 79243 431929 1215662 | 2147483647 231107 490 | 25.169 % |
1249.41/1249.85 c | 232650 | 79243 431929 1215662 | 2147483647 231283 490 | 25.169 % |
1251.11/1251.51 c | 232847 | 79243 431929 1215662 | 2147483647 231480 490 | 25.169 % |
1252.91/1253.36 c | 233062 | 79243 431929 1215662 | 2147483647 231695 490 | 25.169 % |
1254.61/1255.04 c | 233295 | 79243 431929 1215662 | 2147483647 231928 490 | 25.169 % |
1257.11/1257.54 c | 233551 | 79243 431929 1215662 | 2147483647 232184 491 | 25.169 % |
1259.02/1259.45 c | 233833 | 79243 431929 1215662 | 2147483647 232466 491 | 25.169 % |
1261.41/1261.84 c | 234149 | 79243 431929 1215662 | 2147483647 232782 491 | 25.169 % |
1263.81/1264.23 c | 234489 | 79243 431929 1215662 | 2147483647 233122 491 | 25.169 % |
1266.71/1267.19 c | 234861 | 79243 431929 1215662 | 2147483647 233494 492 | 25.169 % |
1269.41/1269.87 c | 235271 | 79240 431929 1215662 | 2147483647 233903 491 | 25.186 % |
1273.31/1273.70 c | 235720 | 79240 431929 1215662 | 2147483647 234352 491 | 25.186 % |
1276.50/1276.95 c | 236214 | 79240 431929 1215662 | 2147483647 234846 491 | 25.186 % |
1280.51/1280.97 c | 236756 | 79240 431929 1215662 | 2147483647 235388 492 | 25.186 % |
1284.20/1284.70 c | 237353 | 79240 431929 1215662 | 2147483647 235984 492 | 25.198 % |
1289.10/1289.51 c | 238008 | 79240 431929 1215662 | 2147483647 236639 492 | 25.198 % |
1291.70/1292.19 c | 238729 | 79048 430949 1212831 | 2147483647 237334 492 | 25.198 % |
1298.20/1298.60 c | 239521 | 79047 430949 1212831 | 2147483647 238125 492 | 25.199 % |
1305.60/1306.01 c | 240392 | 79047 430949 1212831 | 2147483647 238996 493 | 25.199 % |
1313.00/1313.45 c | 241350 | 79043 430949 1212831 | 2147483647 239953 493 | 25.211 % |
1321.90/1322.33 c | 242406 | 79042 430949 1212831 | 2147483647 241008 493 | 25.212 % |
1329.90/1330.30 c | 243564 | 79041 430949 1212831 | 2147483647 242165 494 | 25.213 % |
1338.69/1339.12 c | 244837 | 79041 430949 1212831 | 2147483647 243438 494 | 25.213 % |
1346.19/1346.69 c | 246237 | 79040 430949 1212831 | 2147483647 244837 493 | 25.214 % |
1356.29/1356.76 c | 247779 | 79019 430949 1212831 | 2147483647 246377 492 | 25.245 % |
1368.99/1369.48 c | 249473 | 79019 430949 1212831 | 2147483647 248071 493 | 25.245 % |
1387.48/1387.99 c | 251340 | 79019 430949 1212831 | 2147483647 249938 495 | 25.245 % |
1406.97/1407.43 c | 253390 | 79019 430949 1212831 | 2147483647 251988 497 | 25.245 % |
1423.98/1424.45 c | 255644 | 79018 430949 1212831 | 2147483647 254241 498 | 25.246 % |
1444.57/1445.09 c | 258122 | 79018 430949 1212831 | 2147483647 256719 501 | 25.246 % |
1445.57/1446.04 c | 258223 | 79018 430949 1212831 | 2147483647 256820 501 | 25.246 % |
1446.67/1447.14 c | 258337 | 79017 430949 1212831 | 2147483647 256933 501 | 25.247 % |
1447.67/1448.18 c | 258458 | 79017 430949 1212831 | 2147483647 257054 501 | 25.247 % |
1448.47/1448.99 c | 258592 | 79017 430949 1212831 | 2147483647 257188 501 | 25.247 % |
1449.96/1450.49 c | 258738 | 79017 430949 1212831 | 2147483647 257334 501 | 25.247 % |
1451.16/1451.64 c | 258899 | 79017 430949 1212831 | 2147483647 257495 501 | 25.247 % |
1452.56/1453.01 c | 259076 | 79017 430949 1212831 | 2147483647 257672 501 | 25.247 % |
1454.37/1454.85 c | 259273 | 79017 430949 1212831 | 2147483647 257869 501 | 25.247 % |
1456.37/1456.85 c | 259489 | 79017 430949 1212831 | 2147483647 258085 501 | 25.247 % |
1457.97/1458.42 c | 259723 | 78975 430949 1212831 | 2147483647 258317 501 | 25.379 % |
1460.16/1460.70 c | 259980 | 78975 430949 1212831 | 2147483647 258574 501 | 25.379 % |
1462.26/1462.74 c | 260261 | 78975 430949 1212831 | 2147483647 258855 501 | 25.379 % |
1463.46/1463.90 c | 260571 | 78975 430949 1212831 | 2147483647 259165 501 | 25.379 % |
1466.46/1466.94 c | 260911 | 78975 430949 1212831 | 2147483647 259505 501 | 25.379 % |
1468.46/1468.95 c | 261283 | 78975 430949 1212831 | 2147483647 259877 501 | 25.379 % |
1472.05/1472.52 c | 261692 | 78975 430949 1212831 | 2147483647 260286 501 | 25.379 % |
1475.77/1476.30 c | 262141 | 78975 430949 1212831 | 2147483647 260735 501 | 25.379 % |
1480.76/1481.21 c | 262636 | 78975 430949 1212831 | 2147483647 261230 501 | 25.379 % |
1485.96/1486.46 c | 263178 | 78975 430949 1212831 | 2147483647 261771 501 | 25.383 % |
1490.65/1491.10 c | 263774 | 78975 430949 1212831 | 2147483647 262367 501 | 25.383 % |
1496.05/1496.52 c | 264430 | 78975 430949 1212831 | 2147483647 263023 502 | 25.383 % |
1502.05/1502.50 c | 265150 | 78975 430949 1212831 | 2147483647 263743 503 | 25.383 % |
1507.55/1508.03 c | 265942 | 78975 430949 1212831 | 2147483647 264535 503 | 25.383 % |
1514.75/1515.20 c | 266814 | 78975 430949 1212831 | 2147483647 265407 504 | 25.383 % |
1522.74/1523.21 c | 267773 | 78975 430949 1212831 | 2147483647 266366 504 | 25.383 % |
1531.85/1532.30 c | 268826 | 78975 430949 1212831 | 2147483647 267419 506 | 25.383 % |
1541.44/1541.96 c | 269984 | 78974 430949 1212831 | 2147483647 268576 507 | 25.403 % |
1552.64/1553.11 c | 271259 | 78974 430949 1212831 | 2147483647 269851 508 | 25.403 % |
1564.24/1564.79 c | 272661 | 78831 429621 1209345 | 2147483647 271112 510 | 25.404 % |
1572.54/1573.08 c | 274201 | 78828 429621 1209345 | 2147483647 272650 509 | 25.418 % |
1589.04/1589.51 c | 275896 | 78828 429621 1209345 | 2147483647 274345 510 | 25.418 % |
1606.12/1606.60 c | 277761 | 78828 429621 1209345 | 2147483647 276209 512 | 25.419 % |
1622.43/1622.94 c | 279810 | 78828 429621 1209345 | 2147483647 278258 514 | 25.419 % |
1640.73/1641.29 c | 282065 | 78828 429621 1209345 | 2147483647 280513 515 | 25.419 % |
1660.61/1661.17 c | 284548 | 78828 429621 1209345 | 2147483647 282996 517 | 25.419 % |
1683.01/1683.56 c | 287274 | 78828 429621 1209345 | 2147483647 285722 517 | 25.419 % |
1683.81/1684.34 c | 287377 | 78828 429621 1209345 | 2147483647 285825 517 | 25.419 % |
1684.71/1685.28 c | 287489 | 78828 429621 1209345 | 2147483647 285937 517 | 25.419 % |
1685.31/1685.87 c | 287610 | 78828 429621 1209345 | 2147483647 286058 517 | 25.419 % |
1685.61/1686.19 c | 287744 | 78828 429621 1209345 | 2147483647 286192 516 | 25.419 % |
1686.41/1686.93 c | 287891 | 78828 429621 1209345 | 2147483647 286339 516 | 25.419 % |
1687.01/1687.59 c | 288056 | 78828 429621 1209345 | 2147483647 286504 516 | 25.419 % |
1688.51/1689.05 c | 288233 | 78823 429621 1209345 | 2147483647 286678 516 | 25.447 % |
1690.30/1690.84 c | 288426 | 78823 429621 1209345 | 2147483647 286871 516 | 25.447 % |
1691.21/1691.71 c | 288638 | 78823 429621 1209345 | 2147483647 287083 516 | 25.447 % |
1691.81/1692.39 c | 288873 | 78823 429621 1209345 | 2147483647 287318 515 | 25.447 % |
1693.71/1694.26 c | 289129 | 78823 429621 1209345 | 2147483647 287574 515 | 25.447 % |
1696.31/1696.89 c | 289419 | 78823 429621 1209345 | 2147483647 287864 515 | 25.447 % |
1698.31/1698.88 c | 289731 | 78821 429621 1209345 | 2147483647 288174 515 | 25.474 % |
1702.10/1702.69 c | 290071 | 78820 429621 1209345 | 2147483647 288514 515 | 25.474 % |
1705.70/1706.27 c | 290444 | 78820 429621 1209345 | 2147483647 288887 515 | 25.474 % |
1709.31/1709.87 c | 290853 | 78820 429621 1209345 | 2147483647 289296 515 | 25.474 % |
1714.00/1714.58 c | 291305 | 78820 429621 1209345 | 2147483647 289748 515 | 25.474 % |
1718.50/1719.01 c | 291798 | 78819 429621 1209345 | 2147483647 290240 515 | 25.478 % |
1723.40/1723.98 c | 292340 | 78819 429621 1209345 | 2147483647 290782 516 | 25.478 % |
1729.60/1730.17 c | 292939 | 78819 429621 1209345 | 2147483647 291381 516 | 25.478 % |
1735.30/1735.81 c | 293596 | 78819 429621 1209345 | 2147483647 292038 516 | 25.478 % |
1740.90/1741.41 c | 294316 | 78818 429621 1209345 | 2147483647 292757 516 | 25.479 % |
1748.09/1748.66 c | 295108 | 78818 429621 1209345 | 2147483647 293549 517 | 25.479 % |
1755.20/1755.75 c | 295979 | 78818 429621 1209345 | 2147483647 294420 518 | 25.479 % |
1763.09/1763.69 c | 296937 | 78817 429621 1209345 | 2147483647 295377 518 | 25.480 % |
1772.49/1773.08 c | 297991 | 78817 429621 1209345 | 2147483647 296431 518 | 25.480 % |
1782.08/1782.62 c | 299149 | 78814 429621 1209345 | 2147483647 297588 518 | 25.494 % |
1794.48/1795.04 c | 300423 | 78814 429621 1209345 | 2147483647 298862 519 | 25.494 % |
1806.68/1807.29 c | 301824 | 78814 429621 1209345 | 2147483647 300263 519 | 25.494 % |
1819.58/1820.15 c | 303364 | 78814 429621 1209345 | 2147483647 301803 520 | 25.494 % |
1833.37/1833.97 c | 305058 | 78814 429621 1209345 | 2147483647 303497 521 | 25.494 % |
1846.97/1847.51 c | 306921 | 78811 429621 1209345 | 2147483647 305359 520 | 25.506 % |
1867.17/1867.75 c | 308971 | 78810 429621 1209345 | 2147483647 307408 522 | 25.507 % |
1890.06/1890.64 c | 311224 | 78721 428899 1207513 | 2147483647 309612 522 | 25.508 % |
1911.46/1912.09 c | 313702 | 78721 428899 1207513 | 2147483647 312090 524 | 25.508 % |
1934.46/1935.00 c | 316429 | 78720 428899 1207513 | 2147483647 314816 526 | 25.550 % |
1963.25/1963.86 c | 319428 | 78720 428899 1207513 | 2147483647 317814 528 | 25.553 % |
1964.55/1965.11 c | 319528 | 78720 428899 1207513 | 2147483647 317914 528 | 25.553 % |
1964.95/1965.55 c | 319638 | 78719 428899 1207513 | 2147483647 318023 528 | 25.554 % |
1966.15/1966.78 c | 319761 | 78719 428899 1207513 | 2147483647 318146 528 | 25.554 % |
1967.55/1968.19 c | 319896 | 78719 428899 1207513 | 2147483647 318281 528 | 25.554 % |
1968.84/1969.46 c | 320042 | 78719 428899 1207513 | 2147483647 318427 528 | 25.554 % |
1970.14/1970.71 c | 320203 | 78719 428899 1207513 | 2147483647 318588 528 | 25.554 % |
1972.04/1972.65 c | 320380 | 78719 428899 1207513 | 2147483647 318765 528 | 25.554 % |
1974.44/1975.05 c | 320573 | 78719 428899 1207513 | 2147483647 318958 528 | 25.554 % |
1976.24/1976.86 c | 320785 | 78719 428899 1207513 | 2147483647 319170 528 | 25.554 % |
1978.94/1979.55 c | 321023 | 78719 428899 1207513 | 2147483647 319408 528 | 25.554 % |
1981.55/1982.14 c | 321281 | 78719 428899 1207513 | 2147483647 319666 528 | 25.554 % |
1983.64/1984.29 c | 321565 | 78719 428899 1207513 | 2147483647 319950 528 | 25.554 % |
1986.33/1986.99 c | 321876 | 78719 428899 1207513 | 2147483647 320261 528 | 25.554 % |
1988.94/1989.51 c | 322217 | 78719 428899 1207513 | 2147483647 320602 528 | 25.554 % |
1993.04/1993.61 c | 322590 | 78719 428899 1207513 | 2147483647 320975 528 | 25.554 % |
1997.34/1997.95 c | 322999 | 78718 428899 1207513 | 2147483647 321383 528 | 25.555 % |
2001.03/2001.69 c | 323450 | 78718 428899 1207513 | 2147483647 321834 528 | 25.555 % |
2005.43/2006.06 c | 323945 | 78718 428899 1207513 | 2147483647 322329 529 | 25.555 % |
2010.23/2010.82 c | 324488 | 78718 428899 1207513 | 2147483647 322872 529 | 25.555 % |
2015.23/2015.88 c | 325084 | 78718 428899 1207513 | 2147483647 323468 529 | 25.555 % |
2021.93/2022.50 c | 325739 | 78718 428899 1207513 | 2147483647 324122 529 | 25.559 % |
2027.63/2028.20 c | 326460 | 78718 428899 1207513 | 2147483647 324843 530 | 25.559 % |
2035.22/2035.81 c | 327253 | 78718 428899 1207513 | 2147483647 325636 531 | 25.559 % |
2042.23/2042.89 c | 328124 | 78716 428899 1207513 | 2147483647 326506 531 | 25.575 % |
2050.52/2051.15 c | 329084 | 78715 428899 1207513 | 2147483647 327465 531 | 25.578 % |
2060.73/2061.33 c | 330138 | 78715 428899 1207513 | 2147483647 328519 531 | 25.578 % |
2071.02/2071.69 c | 331296 | 78715 428899 1207513 | 2147483647 329677 532 | 25.578 % |
2082.31/2082.91 c | 332569 | 78715 428899 1207513 | 2147483647 330950 533 | 25.578 % |
2094.01/2094.68 c | 333970 | 78715 428899 1207513 | 2147483647 332351 533 | 25.578 % |
2107.41/2108.08 c | 335510 | 78715 428899 1207513 | 2147483647 333891 534 | 25.578 % |
2125.81/2126.42 c | 337204 | 78714 428899 1207513 | 2147483647 335584 534 | 25.579 % |
2147.90/2148.52 c | 339067 | 78714 428899 1207513 | 2147483647 337447 536 | 25.579 % |
2163.19/2163.87 c | 341117 | 78714 428899 1207513 | 2147483647 339497 536 | 25.579 % |
2182.30/2182.97 c | 343371 | 78712 428899 1207513 | 2147483647 341749 536 | 25.586 % |
2205.79/2206.42 c | 345850 | 78712 428899 1207513 | 2147483647 344228 537 | 25.586 % |
2229.28/2229.94 c | 348575 | 78706 428899 1207513 | 2147483647 346951 537 | 25.615 % |
2257.58/2258.21 c | 351572 | 78706 428899 1207513 | 2147483647 349948 537 | 25.615 % |
2289.77/2290.47 c | 354870 | 78706 428899 1207513 | 2147483647 353246 538 | 25.615 % |
2290.68/2291.31 c | 354973 | 78706 428899 1207513 | 2147483647 353349 538 | 25.615 % |
2292.07/2292.73 c | 355083 | 78706 428899 1207513 | 2147483647 353459 538 | 25.615 % |
2293.17/2293.81 c | 355204 | 78706 428899 1207513 | 2147483647 353580 538 | 25.615 % |
2294.27/2294.92 c | 355344 | 78706 428899 1207513 | 2147483647 353720 538 | 25.615 % |
2295.47/2296.20 c | 355490 | 78706 428899 1207513 | 2147483647 353866 538 | 25.615 % |
2297.07/2297.78 c | 355651 | 78706 428899 1207513 | 2147483647 354027 538 | 25.615 % |
2298.07/2298.74 c | 355827 | 78706 428899 1207513 | 2147483647 354203 538 | 25.615 % |
2300.26/2300.99 c | 356021 | 78706 428899 1207513 | 2147483647 354397 538 | 25.615 % |
2302.36/2303.03 c | 356233 | 78706 428899 1207513 | 2147483647 354609 539 | 25.615 % |
2303.96/2304.67 c | 356467 | 78704 428899 1207513 | 2147483647 354842 538 | 25.629 % |
2306.67/2307.34 c | 356723 | 78702 428899 1207513 | 2147483647 355098 538 | 25.629 % |
2309.46/2310.10 c | 357004 | 78702 428899 1207513 | 2147483647 355379 538 | 25.629 % |
2310.96/2311.69 c | 357313 | 78702 428899 1207513 | 2147483647 355688 538 | 25.629 % |
2313.06/2313.73 c | 357652 | 78702 428899 1207513 | 2147483647 356027 538 | 25.629 % |
2316.66/2317.38 c | 358025 | 78702 428899 1207513 | 2147483647 356400 538 | 25.629 % |
2319.17/2319.88 c | 358435 | 78702 428899 1207513 | 2147483647 356810 538 | 25.629 % |
2323.26/2323.92 c | 358884 | 78702 428899 1207513 | 2147483647 357259 538 | 25.629 % |
2327.66/2328.30 c | 359377 | 78687 428899 1207513 | 2147483647 357751 538 | 25.780 % |
2332.46/2333.16 c | 359924 | 78687 428899 1207513 | 2147483647 358298 538 | 25.780 % |
2336.45/2337.13 c | 360520 | 78687 428899 1207513 | 2147483647 358894 538 | 25.780 % |
2343.06/2343.72 c | 361176 | 78687 428899 1207513 | 2147483647 359550 538 | 25.780 % |
2351.06/2351.80 c | 361897 | 78687 428899 1207513 | 2147483647 360271 538 | 25.780 % |
2357.65/2358.35 c | 362689 | 78687 428899 1207513 | 2147483647 361063 538 | 25.780 % |
2365.85/2366.59 c | 363562 | 78433 427135 1203025 | 2147483647 361876 538 | 25.780 % |
2374.94/2375.66 c | 364522 | 78432 427135 1203025 | 2147483647 362835 538 | 25.791 % |
2384.15/2384.81 c | 365578 | 78432 427135 1203025 | 2147483647 363891 538 | 25.791 % |
2393.84/2394.58 c | 366740 | 78426 427135 1203025 | 2147483647 365052 539 | 25.805 % |
2405.14/2405.87 c | 368016 | 78426 427135 1203025 | 2147483647 366328 539 | 25.805 % |
2418.64/2419.32 c | 369416 | 78426 427135 1203025 | 2147483647 367728 539 | 25.805 % |
2433.13/2433.86 c | 370956 | 78426 427135 1203025 | 2147483647 369268 539 | 25.805 % |
2449.83/2450.57 c | 372650 | 78425 427135 1203025 | 2147483647 370961 540 | 25.806 % |
2468.33/2469.02 c | 374514 | 78422 427135 1203025 | 2147483647 372822 540 | 25.827 % |
2488.12/2488.87 c | 376564 | 78422 427135 1203025 | 2147483647 374872 540 | 25.827 % |
2509.02/2509.72 c | 378817 | 78422 427135 1203025 | 2147483647 377124 541 | 25.828 % |
2536.41/2537.15 c | 381295 | 78422 427135 1203025 | 2147483647 379602 541 | 25.828 % |
2567.71/2568.43 c | 384020 | 78422 427135 1203025 | 2147483647 382326 541 | 25.829 % |
2593.80/2594.52 c | 387018 | 78422 427135 1203025 | 2147483647 385324 542 | 25.829 % |
2622.80/2623.50 c | 390316 | 78422 427135 1203025 | 2147483647 388622 545 | 25.829 % |
2657.98/2658.76 c | 393942 | 78422 427135 1203025 | 2147483647 392248 546 | 25.829 % |
2659.08/2659.81 c | 394042 | 78422 427135 1203025 | 2147483647 392348 546 | 25.829 % |
2659.58/2660.34 c | 394158 | 78422 427135 1203025 | 2147483647 392464 546 | 25.829 % |
2660.28/2661.09 c | 394280 | 78422 427135 1203025 | 2147483647 392586 546 | 25.829 % |
2661.38/2662.19 c | 394416 | 78422 427135 1203025 | 2147483647 392722 546 | 25.829 % |
2662.68/2663.48 c | 394562 | 78422 427135 1203025 | 2147483647 392868 546 | 25.829 % |
2664.28/2665.08 c | 394724 | 78422 427135 1203025 | 2147483647 393030 546 | 25.829 % |
2665.98/2666.80 c | 394901 | 78422 427135 1203025 | 2147483647 393207 546 | 25.829 % |
2667.68/2668.48 c | 395096 | 78422 427135 1203025 | 2147483647 393402 546 | 25.829 % |
2669.99/2670.76 c | 395310 | 78422 427135 1203025 | 2147483647 393616 546 | 25.829 % |
2673.28/2674.06 c | 395545 | 78422 427135 1203025 | 2147483647 393851 546 | 25.829 % |
2675.78/2676.53 c | 395804 | 78422 427135 1203025 | 2147483647 394110 546 | 25.829 % |
2680.08/2680.86 c | 396085 | 78422 427135 1203025 | 2147483647 394391 546 | 25.829 % |
2682.97/2683.79 c | 396396 | 78422 427135 1203025 | 2147483647 394702 546 | 25.829 % |
2686.68/2687.44 c | 396736 | 78422 427135 1203025 | 2147483647 395042 546 | 25.829 % |
2691.08/2691.86 c | 397108 | 78422 427135 1203025 | 2147483647 395414 546 | 25.829 % |
2695.28/2696.03 c | 397517 | 78422 427135 1203025 | 2147483647 395823 546 | 25.829 % |
2699.28/2700.06 c | 397967 | 78422 427135 1203025 | 2147483647 396273 546 | 25.829 % |
2704.37/2705.13 c | 398461 | 78422 427135 1203025 | 2147483647 396767 546 | 25.829 % |
2709.87/2710.61 c | 399003 | 78422 427135 1203025 | 2147483647 397309 546 | 25.829 % |
2714.97/2715.73 c | 399602 | 78422 427135 1203025 | 2147483647 397908 546 | 25.829 % |
2720.97/2721.75 c | 400260 | 78422 427135 1203025 | 2147483647 398566 546 | 25.829 % |
2727.47/2728.28 c | 400980 | 78422 427135 1203025 | 2147483647 399286 546 | 25.829 % |
2734.97/2735.78 c | 401776 | 78422 427135 1203025 | 2147483647 400082 546 | 25.829 % |
2742.27/2743.10 c | 402647 | 78422 427135 1203025 | 2147483647 400953 547 | 25.829 % |
2749.46/2750.22 c | 403607 | 78421 427135 1203025 | 2147483647 401912 547 | 25.830 % |
2760.06/2760.83 c | 404660 | 78420 427135 1203025 | 2147483647 402964 547 | 25.831 % |
2771.36/2772.17 c | 405820 | 78420 427135 1203025 | 2147483647 404124 547 | 25.831 % |
2778.06/2778.84 c | 407093 | 78400 427135 1203025 | 2147483647 405393 546 | 26.067 % |
2791.46/2792.23 c | 408493 | 78387 427135 1203025 | 2147483647 406792 547 | 26.083 % |
2807.95/2808.70 c | 410036 | 78387 427135 1203025 | 2147483647 408335 547 | 26.083 % |
2825.24/2826.06 c | 411730 | 78387 427135 1203025 | 2147483647 410029 547 | 26.083 % |
2844.14/2844.97 c | 413595 | 78387 427135 1203025 | 2147483647 411894 547 | 26.083 % |
2864.94/2865.76 c | 415644 | 78387 427135 1203025 | 2147483647 413943 548 | 26.083 % |
2887.54/2888.33 c | 417901 | 78385 427135 1203025 | 2147483647 416199 548 | 26.097 % |
2914.33/2915.18 c | 420381 | 78381 427135 1203025 | 2147483647 418678 548 | 26.109 % |
2942.82/2943.62 c | 423109 | 78380 427135 1203025 | 2147483647 421405 549 | 26.110 % |
2971.52/2972.35 c | 426107 | 78380 427135 1203025 | 2147483647 424403 551 | 26.110 % |
3005.90/3006.75 c | 429403 | 78084 425109 1198160 | 2147483647 427545 552 | 26.126 % |
3042.69/3043.60 c | 433028 | 78080 425109 1198160 | 2147483647 431169 551 | 26.137 % |
3080.49/3081.34 c | 437015 | 78077 425109 1198160 | 2147483647 435153 552 | 26.176 % |
3081.79/3082.66 c | 437116 | 78076 425109 1198160 | 2147483647 435253 552 | 26.177 % |
3082.99/3083.83 c | 437227 | 78076 425109 1198160 | 2147483647 435364 552 | 26.177 % |
3084.89/3085.73 c | 437348 | 78076 425109 1198160 | 2147483647 435485 552 | 26.177 % |
3086.39/3087.27 c | 437484 | 78076 425109 1198160 | 2147483647 435621 552 | 26.177 % |
3088.69/3089.59 c | 437630 | 78076 425109 1198160 | 2147483647 435767 552 | 26.177 % |
3090.88/3091.76 c | 437790 | 78076 425109 1198160 | 2147483647 435927 552 | 26.177 % |
3093.08/3093.96 c | 437969 | 78076 425109 1198160 | 2147483647 436106 552 | 26.177 % |
3095.59/3096.50 c | 438163 | 78076 425109 1198160 | 2147483647 436300 552 | 26.177 % |
3097.99/3098.83 c | 438375 | 78076 425109 1198160 | 2147483647 436512 553 | 26.177 % |
3100.39/3101.28 c | 438609 | 78076 425109 1198160 | 2147483647 436746 553 | 26.177 % |
3102.68/3103.50 c | 438867 | 78076 425109 1198160 | 2147483647 437004 553 | 26.177 % |
3105.48/3106.32 c | 439148 | 78076 425109 1198160 | 2147483647 437285 553 | 26.177 % |
3108.88/3109.71 c | 439458 | 78076 425109 1198160 | 2147483647 437595 553 | 26.177 % |
3111.88/3112.71 c | 439798 | 78071 425109 1198160 | 2147483647 437933 553 | 26.217 % |
3116.79/3117.61 c | 440174 | 78071 425109 1198160 | 2147483647 438309 553 | 26.217 % |
3121.68/3122.52 c | 440584 | 78071 425109 1198160 | 2147483647 438719 553 | 26.217 % |
3126.78/3127.64 c | 441033 | 78071 425109 1198160 | 2147483647 439168 553 | 26.217 % |
3132.48/3133.34 c | 441528 | 78071 425109 1198160 | 2147483647 439663 553 | 26.217 % |
3137.48/3138.35 c | 442070 | 78071 425109 1198160 | 2147483647 440205 553 | 26.217 % |
3143.17/3144.03 c | 442670 | 78070 425109 1198160 | 2147483647 440804 553 | 26.218 % |
3150.28/3151.18 c | 443325 | 78070 425109 1198160 | 2147483647 441459 553 | 26.218 % |
3154.48/3155.40 c | 444047 | 78069 425109 1198160 | 2147483647 442180 553 | 26.279 % |
3163.88/3164.72 c | 444839 | 78069 425109 1198160 | 2147483647 442972 553 | 26.279 % |
3175.17/3176.05 c | 445711 | 78069 425109 1198160 | 2147483647 443844 553 | 26.279 % |
3184.07/3184.92 c | 446670 | 78069 425109 1198160 | 2147483647 444803 553 | 26.279 % |
3194.86/3195.72 c | 447724 | 78069 425109 1198160 | 2147483647 445857 553 | 26.279 % |
3209.06/3209.95 c | 448885 | 78069 425109 1198160 | 2147483647 447018 553 | 26.279 % |
3225.76/3226.69 c | 450159 | 78069 425109 1198160 | 2147483647 448292 554 | 26.279 % |
3240.75/3241.69 c | 451560 | 78069 425109 1198160 | 2147483647 449693 554 | 26.279 % |
3258.05/3258.93 c | 453104 | 78069 425109 1198160 | 2147483647 451237 554 | 26.279 % |
3277.45/3278.37 c | 454798 | 78069 425109 1198160 | 2147483647 452931 555 | 26.279 % |
3298.94/3299.87 c | 456662 | 78069 425109 1198160 | 2147483647 454795 555 | 26.279 % |
3318.74/3319.62 c | 458711 | 78068 425109 1198160 | 2147483647 456843 555 | 26.392 % |
3338.03/3338.97 c | 460964 | 78062 425109 1198160 | 2147483647 459094 554 | 26.422 % |
3367.02/3367.92 c | 463442 | 78062 425109 1198160 | 2147483647 461572 555 | 26.422 % |
3391.62/3392.56 c | 466168 | 78062 425109 1198160 | 2147483647 464298 555 | 26.422 % |
3419.21/3420.12 c | 469165 | 78062 425109 1198160 | 2147483647 467295 554 | 26.422 % |
3456.80/3457.76 c | 472462 | 78062 425109 1198160 | 2147483647 470592 555 | 26.422 % |
3500.09/3501.01 c | 476087 | 78057 425109 1198160 | 2147483647 474215 556 | 26.437 % |
3537.48/3538.40 c | 480078 | 78057 425109 1198160 | 2147483647 478206 556 | 26.437 % |
3590.57/3591.55 c | 484465 | 78057 425109 1198160 | 2147483647 482593 557 | 26.437 % |
3592.07/3593.06 c | 484566 | 78057 425109 1198160 | 2147483647 482694 557 | 26.437 % |
3593.77/3594.74 c | 484677 | 78054 425109 1198160 | 2147483647 482804 557 | 26.452 % |
3595.47/3596.44 c | 484798 | 78054 425109 1198160 | 2147483647 482925 557 | 26.452 % |
3597.77/3598.71 c | 484932 | 78054 425109 1198160 | 2147483647 483059 557 | 26.452 % |
3599.07/3600.00 c | 485078 | 78054 425109 1198160 | 2147483647 483205 556 | 26.452 % |
3599.67/3600.69 c | 485241 | 78054 425109 1198160 | 2147483647 483368 556 | 26.452 % |
3602.57/3603.54 c | 485418 | 78054 425109 1198160 | 2147483647 483545 556 | 26.452 % |
3605.37/3606.39 c | 485613 | 78054 425109 1198160 | 2147483647 483740 556 | 26.452 % |
3608.56/3609.58 c | 485825 | 78054 425109 1198160 | 2147483647 483952 556 | 26.452 % |
3611.26/3612.29 c | 486058 | 78054 425109 1198160 | 2147483647 484185 556 | 26.452 % |
3613.36/3614.35 c | 486316 | 78054 425109 1198160 | 2147483647 484443 556 | 26.452 % |
3616.96/3617.94 c | 486597 | 78054 425109 1198160 | 2147483647 484724 556 | 26.452 % |
3620.46/3621.48 c | 486907 | 78054 425109 1198160 | 2147483647 485034 556 | 26.452 % |
3624.67/3625.67 c | 487247 | 78054 425109 1198160 | 2147483647 485374 556 | 26.452 % |
3629.16/3630.19 c | 487619 | 78054 425109 1198160 | 2147483647 485746 557 | 26.452 % |
3635.05/3636.00 c | 488034 | 78054 425109 1198160 | 2147483647 486161 557 | 26.452 % |
3639.66/3640.64 c | 488483 | 78053 425109 1198160 | 2147483647 486609 557 | 26.505 % |
3646.16/3647.16 c | 488977 | 78053 425109 1198160 | 2147483647 487103 557 | 26.505 % |
3652.35/3653.34 c | 489519 | 78053 425109 1198160 | 2147483647 487645 557 | 26.505 % |
3658.35/3659.39 c | 490116 | 78053 425109 1198160 | 2147483647 488242 557 | 26.505 % |
3666.65/3667.66 c | 490773 | 78053 425109 1198160 | 2147483647 488899 557 | 26.505 % |
3674.95/3675.97 c | 491495 | 78051 425109 1198160 | 2147483647 489619 557 | 26.507 % |
3684.94/3685.90 c | 492287 | 78051 425109 1198160 | 2147483647 490411 557 | 26.507 % |
3694.64/3695.60 c | 493158 | 78051 425109 1198160 | 2147483647 491282 557 | 26.507 % |
3706.04/3707.07 c | 494116 | 78051 425109 1198160 | 2147483647 492240 557 | 26.507 % |
3719.33/3720.30 c | 495173 | 78051 425109 1198160 | 2147483647 493297 558 | 26.507 % |
3733.73/3734.73 c | 496332 | 78046 425109 1198160 | 2147483647 494454 558 | 26.520 % |
3750.03/3751.09 c | 497606 | 78046 425109 1198160 | 2147483647 495728 558 | 26.520 % |
3768.12/3769.14 c | 499006 | 77651 422687 1191504 | 2147483647 496934 559 | 26.520 % |
3787.32/3788.31 c | 500549 | 77651 422687 1191504 | 2147483647 498477 559 | 26.520 % |
3804.52/3805.58 c | 502245 | 77651 422687 1191504 | 2147483647 500173 560 | 26.520 % |
3830.81/3831.82 c | 504109 | 77651 422687 1191504 | 2147483647 502037 560 | 26.520 % |
3857.21/3858.23 c | 506158 | 77651 422687 1191504 | 2147483647 504086 561 | 26.520 % |
3883.00/3884.04 c | 508416 | 77651 422687 1191504 | 2147483647 506344 561 | 26.520 % |
3913.20/3914.22 c | 510894 | 77649 422687 1191504 | 2147483647 508820 562 | 26.537 % |
3947.39/3948.48 c | 513620 | 77649 422687 1191504 | 2147483647 511546 562 | 26.537 % |
3982.38/3983.42 c | 516619 | 77649 422687 1191504 | 2147483647 514544 564 | 26.538 % |
4020.17/4021.24 c | 519915 | 77644 422687 1191504 | 2147483647 517838 564 | 26.553 % |
4061.37/4062.43 c | 523540 | 77643 422687 1191504 | 2147483647 521462 564 | 26.554 % |
4099.05/4100.13 c | 527527 | 77643 422687 1191504 | 2147483647 525449 566 | 26.554 % |
4148.25/4149.34 c | 531913 | 77643 422687 1191504 | 2147483647 529835 568 | 26.554 % |
4199.84/4200.98 c | 536738 | 77643 422687 1191504 | 2147483647 534659 568 | 26.695 % |
4200.94/4202.04 c | 536838 | 77643 422687 1191504 | 2147483647 534759 568 | 26.695 % |
4202.33/4203.46 c | 536951 | 77643 422687 1191504 | 2147483647 534872 568 | 26.695 % |
4204.03/4205.11 c | 537072 | 77643 422687 1191504 | 2147483647 534993 568 | 26.695 % |
4205.73/4206.83 c | 537206 | 77643 422687 1191504 | 2147483647 535127 568 | 26.695 % |
4207.43/4208.59 c | 537352 | 77642 422687 1191504 | 2147483647 535272 568 | 26.696 % |
4210.73/4211.80 c | 537514 | 77641 422687 1191504 | 2147483647 535433 568 | 26.697 % |
4212.73/4213.89 c | 537691 | 77641 422687 1191504 | 2147483647 535610 568 | 26.697 % |
4215.23/4216.31 c | 537885 | 77641 422687 1191504 | 2147483647 535804 568 | 26.697 % |
4216.92/4218.08 c | 538100 | 77641 422687 1191504 | 2147483647 536019 568 | 26.697 % |
4220.22/4221.33 c | 538333 | 77641 422687 1191504 | 2147483647 536252 568 | 26.697 % |
4222.52/4223.67 c | 538591 | 77641 422687 1191504 | 2147483647 536510 568 | 26.697 % |
4224.32/4225.47 c | 538872 | 77641 422687 1191504 | 2147483647 536791 568 | 26.697 % |
4228.53/4229.69 c | 539181 | 77641 422687 1191504 | 2147483647 537100 568 | 26.697 % |
4233.42/4234.51 c | 539521 | 77641 422687 1191504 | 2147483647 537440 568 | 26.697 % |
4237.72/4238.86 c | 539893 | 77641 422687 1191504 | 2147483647 537812 568 | 26.697 % |
4241.92/4243.04 c | 540302 | 77641 422687 1191504 | 2147483647 538221 568 | 26.697 % |
4247.02/4248.17 c | 540753 | 77641 422687 1191504 | 2147483647 538672 568 | 26.697 % |
4252.01/4253.18 c | 541248 | 77641 422687 1191504 | 2147483647 539167 568 | 26.697 % |
4259.92/4261.05 c | 541790 | 77641 422687 1191504 | 2147483647 539709 568 | 26.697 % |
4267.61/4268.73 c | 542386 | 77641 422687 1191504 | 2147483647 540305 569 | 26.697 % |
4276.61/4277.74 c | 543043 | 77641 422687 1191504 | 2147483647 540962 569 | 26.697 % |
4284.81/4285.92 c | 543764 | 77641 422687 1191504 | 2147483647 541683 569 | 26.697 % |
4295.41/4296.57 c | 544558 | 77641 422687 1191504 | 2147483647 542477 569 | 26.697 % |
4304.70/4305.84 c | 545430 | 77641 422687 1191504 | 2147483647 543349 569 | 26.697 % |
4315.61/4316.73 c | 546388 | 77640 422687 1191504 | 2147483647 544306 570 | 26.698 % |
4326.70/4327.90 c | 547442 | 77640 422687 1191504 | 2147483647 545360 570 | 26.698 % |
4341.90/4343.02 c | 548601 | 77640 422687 1191504 | 2147483647 546519 571 | 26.698 % |
4357.50/4358.62 c | 549875 | 77640 422687 1191504 | 2147483647 547793 571 | 26.698 % |
4373.28/4374.50 c | 551278 | 77640 422687 1191504 | 2147483647 549196 571 | 26.698 % |
4389.88/4391.07 c | 552818 | 77639 422687 1191504 | 2147483647 550735 571 | 26.699 % |
4409.89/4411.03 c | 554512 | 77639 422687 1191504 | 2147483647 552429 572 | 26.699 % |
4432.07/4433.24 c | 556376 | 77639 422687 1191504 | 2147483647 554293 572 | 26.699 % |
4456.97/4458.11 c | 558428 | 77638 422687 1191504 | 2147483647 556344 572 | 26.700 % |
4480.86/4482.09 c | 560681 | 77638 422687 1191504 | 2147483647 558597 572 | 26.700 % |
4512.26/4513.45 c | 563159 | 77638 422687 1191504 | 2147483647 561075 574 | 26.700 % |
4546.05/4547.24 c | 565884 | 77638 422687 1191504 | 2147483647 563800 575 | 26.700 % |
4585.85/4587.07 c | 568881 | 77638 422687 1191504 | 2147483647 566797 576 | 26.700 % |
4633.03/4634.21 c | 572177 | 77638 422687 1191504 | 2147483647 570093 576 | 26.700 % |
4679.62/4680.90 c | 575802 | 77637 422687 1191504 | 2147483647 573717 579 | 26.701 % |
4727.01/4728.30 c | 579789 | 77637 422687 1191504 | 2147483647 577704 580 | 26.701 % |
4784.69/4785.97 c | 584174 | 77636 422687 1191504 | 2147483647 582088 581 | 26.702 % |
4838.99/4840.24 c | 588998 | 77636 422687 1191504 | 2147483647 586911 583 | 26.703 % |
4900.17/4901.49 c | 594309 | 77458 421518 1188567 | 2147483647 592187 584 | 26.704 % |
4901.47/4902.77 c | 594410 | 77458 421518 1188567 | 2147483647 592288 584 | 26.704 % |
4902.87/4904.15 c | 594520 | 77458 421518 1188567 | 2147483647 592398 584 | 26.704 % |
4904.87/4906.14 c | 594642 | 77458 421518 1188567 | 2147483647 592520 584 | 26.704 % |
4907.07/4908.38 c | 594775 | 77458 421518 1188567 | 2147483647 592653 584 | 26.704 % |
4909.27/4910.59 c | 594925 | 77458 421518 1188567 | 2147483647 592803 584 | 26.704 % |
4910.47/4911.71 c | 595086 | 77458 421518 1188567 | 2147483647 592964 584 | 26.704 % |
4912.27/4913.55 c | 595263 | 77448 421518 1188567 | 2147483647 593140 584 | 26.724 % |
4915.67/4916.99 c | 595457 | 77448 421518 1188567 | 2147483647 593334 584 | 26.724 % |
4918.87/4920.17 c | 595669 | 77448 421518 1188567 | 2147483647 593546 584 | 26.724 % |
4922.67/4923.98 c | 595903 | 77448 421518 1188567 | 2147483647 593780 584 | 26.724 % |
4926.96/4928.22 c | 596159 | 77448 421518 1188567 | 2147483647 594036 584 | 26.724 % |
4931.37/4932.61 c | 596441 | 77448 421518 1188567 | 2147483647 594318 584 | 26.724 % |
4935.26/4936.52 c | 596751 | 77448 421518 1188567 | 2147483647 594628 584 | 26.724 % |
4939.86/4941.17 c | 597091 | 77448 421518 1188567 | 2147483647 594968 584 | 26.724 % |
4945.86/4947.15 c | 597465 | 77448 421518 1188567 | 2147483647 595342 584 | 26.724 % |
4951.36/4952.65 c | 597875 | 77448 421518 1188567 | 2147483647 595752 584 | 26.724 % |
4956.26/4957.50 c | 598324 | 77448 421518 1188567 | 2147483647 596201 584 | 26.724 % |
4963.25/4964.53 c | 598821 | 77448 421518 1188567 | 2147483647 596698 584 | 26.724 % |
4966.56/4967.84 c | 599363 | 77448 421518 1188567 | 2147483647 597240 584 | 26.724 % |
4974.65/4975.98 c | 599959 | 77448 421518 1188567 | 2147483647 597836 584 | 26.724 % |
4982.55/4983.85 c | 600614 | 77448 421518 1188567 | 2147483647 598491 584 | 26.724 % |
4993.05/4994.36 c | 601334 | 77448 421518 1188567 | 2147483647 599211 584 | 26.724 % |
5005.24/5006.56 c | 602128 | 77446 421518 1188567 | 2147483647 600003 584 | 26.742 % |
5019.15/5020.43 c | 603002 | 77446 421518 1188567 | 2147483647 600877 585 | 26.742 % |
5031.44/5032.73 c | 603962 | 77446 421518 1188567 | 2147483647 601837 585 | 26.742 % |
5046.03/5047.38 c | 605016 | 77446 421518 1188567 | 2147483647 602891 585 | 26.742 % |
5059.53/5060.87 c | 606174 | 77446 421518 1188567 | 2147483647 604049 585 | 26.742 % |
5075.83/5077.16 c | 607448 | 77446 421518 1188567 | 2147483647 605323 585 | 26.742 % |
5093.22/5094.57 c | 608853 | 77446 421518 1188567 | 2147483647 606728 586 | 26.742 % |
5114.63/5115.94 c | 610393 | 77446 421518 1188567 | 2147483647 608268 586 | 26.742 % |
5136.02/5137.33 c | 612088 | 77446 421518 1188567 | 2147483647 609963 586 | 26.742 % |
5161.31/5162.65 c | 613951 | 77446 421518 1188567 | 2147483647 611826 587 | 26.742 % |
5188.01/5189.30 c | 616000 | 77445 421518 1188567 | 2147483647 613874 587 | 26.746 % |
5213.21/5214.56 c | 618253 | 77445 421518 1188567 | 2147483647 616127 588 | 26.746 % |
5242.30/5243.69 c | 620731 | 77445 421518 1188567 | 2147483647 618605 589 | 26.746 % |
5286.09/5287.48 c | 623456 | 77445 421518 1188567 | 2147483647 621330 589 | 26.746 % |
5324.78/5326.14 c | 626455 | 77445 421518 1188567 | 2147483647 624328 590 | 26.747 % |
5369.87/5371.27 c | 629753 | 77445 421518 1188567 | 2147483647 627626 591 | 26.747 % |
5412.46/5413.80 c | 633381 | 77445 421518 1188567 | 2147483647 631254 592 | 26.747 % |
5472.25/5473.64 c | 637369 | 77445 421518 1188567 | 2147483647 635242 594 | 26.747 % |
5530.83/5532.20 c | 641755 | 77445 421518 1188567 | 2147483647 639628 594 | 26.747 % |
5594.72/5596.18 c | 646581 | 77409 421518 1188567 | 2147483647 644452 596 | 26.842 % |
5655.50/5656.98 c | 651886 | 77404 421518 1188567 | 2147483647 649754 595 | 26.872 % |
5732.49/5733.97 c | 657721 | 77404 421518 1188567 | 2147483647 655589 599 | 26.872 % |
5733.89/5735.35 c | 657822 | 77404 421518 1188567 | 2147483647 655690 599 | 26.872 % |
5735.49/5736.97 c | 657933 | 77404 421518 1188567 | 2147483647 655801 599 | 26.872 % |
5737.19/5738.64 c | 658055 | 77404 421518 1188567 | 2147483647 655923 599 | 26.872 % |
5739.29/5740.76 c | 658188 | 77404 421518 1188567 | 2147483647 656056 599 | 26.872 % |
5741.59/5743.04 c | 658335 | 77404 421518 1188567 | 2147483647 656203 599 | 26.872 % |
5744.38/5745.81 c | 658496 | 77404 421518 1188567 | 2147483647 656364 599 | 26.872 % |
5746.88/5748.35 c | 658672 | 77404 421518 1188567 | 2147483647 656540 599 | 26.872 % |
5749.28/5750.71 c | 658865 | 77404 421518 1188567 | 2147483647 656733 599 | 26.872 % |
5752.58/5754.04 c | 659077 | 77404 421518 1188567 | 2147483647 656945 599 | 26.872 % |
5754.68/5756.10 c | 659310 | 77400 421518 1188567 | 2147483647 657176 599 | 26.905 % |
5760.59/5762.02 c | 659571 | 77395 421518 1188567 | 2147483647 657437 599 | 26.905 % |
5763.58/5765.03 c | 659854 | 77395 421518 1188567 | 2147483647 657720 599 | 26.905 % |
5769.38/5770.81 c | 660165 | 77395 421518 1188567 | 2147483647 658031 599 | 26.905 % |
5774.38/5775.88 c | 660504 | 77395 421518 1188567 | 2147483647 658370 599 | 26.905 % |
5779.47/5780.98 c | 660876 | 77395 421518 1188567 | 2147483647 658742 599 | 26.905 % |
5785.07/5786.51 c | 661288 | 77395 421518 1188567 | 2147483647 659154 599 | 26.905 % |
5791.38/5792.89 c | 661742 | 77394 421518 1188567 | 2147483647 659607 599 | 26.906 % |
5798.47/5799.96 c | 662235 | 77394 421518 1188567 | 2147483647 660100 599 | 26.906 % |
5807.27/5808.77 c | 662778 | 77394 421518 1188567 | 2147483647 660643 599 | 26.906 % |
5814.77/5816.26 c | 663374 | 77394 421518 1188567 | 2147483647 661239 599 | 26.906 % |
5823.07/5824.57 c | 664030 | 77393 421518 1188567 | 2147483647 661893 599 | 26.907 % |
5831.96/5833.43 c | 664751 | 77393 421518 1188567 | 2147483647 662614 599 | 26.907 % |
5840.86/5842.39 c | 665544 | 77392 421518 1188567 | 2147483647 663406 599 | 26.911 % |
5851.37/5852.82 c | 666417 | 77392 421518 1188567 | 2147483647 664279 599 | 26.911 % |
5865.66/5867.16 c | 667375 | 77392 421518 1188567 | 2147483647 665237 599 | 26.911 % |
5880.35/5881.84 c | 668429 | 77391 421518 1188567 | 2147483647 666290 599 | 26.912 % |
5897.55/5899.04 c | 669589 | 77391 421518 1188567 | 2147483647 667450 599 | 26.912 % |
5914.05/5915.53 c | 670863 | 77391 421518 1188567 | 2147483647 668724 599 | 26.912 % |
5932.74/5934.29 c | 672265 | 77391 421518 1188567 | 2147483647 670126 599 | 26.912 % |
5952.84/5954.31 c | 673805 | 77391 421518 1188567 | 2147483647 671666 599 | 26.912 % |
5975.84/5977.39 c | 675502 | 77391 421518 1188567 | 2147483647 673363 600 | 26.912 % |
6002.13/6003.65 c | 677367 | 77370 421518 1188567 | 2147483647 675226 600 | 26.948 % |
6029.22/6030.71 c | 679416 | 77370 421518 1188567 | 2147483647 677275 600 | 26.948 % |
6058.11/6059.65 c | 681669 | 77370 421518 1188567 | 2147483647 679528 601 | 26.948 % |
6087.31/6088.82 c | 684147 | 77370 421518 1188567 | 2147483647 682006 602 | 26.948 % |
6124.30/6125.81 c | 686872 | 77370 421518 1188567 | 2147483647 684731 602 | 26.948 % |
6169.39/6170.95 c | 689869 | 77370 421518 1188567 | 2147483647 687728 603 | 26.948 % |
6210.58/6212.13 c | 693165 | 77370 421518 1188567 | 2147483647 691024 604 | 26.948 % |
6262.27/6263.80 c | 696791 | 77370 421518 1188567 | 2147483647 694650 605 | 26.948 % |
6307.86/6309.44 c | 700778 | 77370 421518 1188567 | 2147483647 698637 605 | 26.948 % |
6369.44/6371.04 c | 705163 | 77370 421518 1188567 | 2147483647 703021 605 | 27.013 % |
6434.33/6435.96 c | 709986 | 77131 419486 1183144 | 2147483647 707508 605 | 27.016 % |
6505.62/6507.30 c | 715291 | 77131 419486 1183144 | 2147483647 712813 605 | 27.016 % |
6571.40/6573.07 c | 721126 | 77131 419486 1183144 | 2147483647 718648 607 | 27.016 % |
6658.28/6659.92 c | 727548 | 77131 419486 1183144 | 2147483647 725069 607 | 27.017 % |
6659.38/6661.10 c | 727650 | 77131 419486 1183144 | 2147483647 725171 607 | 27.017 % |
6660.08/6661.79 c | 727760 | 77130 419486 1183144 | 2147483647 725280 607 | 27.018 % |
6661.58/6663.23 c | 727884 | 77130 419486 1183144 | 2147483647 725404 607 | 27.018 % |
6664.18/6665.81 c | 728017 | 77130 419486 1183144 | 2147483647 725537 607 | 27.018 % |
6666.08/6667.72 c | 728167 | 77130 419486 1183144 | 2147483647 725687 607 | 27.018 % |
6668.58/6670.30 c | 728327 | 77130 419486 1183144 | 2147483647 725847 607 | 27.018 % |
6671.88/6673.51 c | 728503 | 77130 419486 1183144 | 2147483647 726023 607 | 27.018 % |
6674.08/6675.71 c | 728698 | 77130 419486 1183144 | 2147483647 726218 607 | 27.018 % |
6678.08/6679.79 c | 728911 | 77130 419486 1183144 | 2147483647 726431 607 | 27.018 % |
6680.78/6682.44 c | 729147 | 77130 419486 1183144 | 2147483647 726667 607 | 27.018 % |
6685.48/6687.11 c | 729404 | 77130 419486 1183144 | 2147483647 726924 607 | 27.018 % |
6689.27/6690.92 c | 729687 | 77130 419486 1183144 | 2147483647 727207 607 | 27.018 % |
6694.47/6696.13 c | 729996 | 77130 419486 1183144 | 2147483647 727516 607 | 27.018 % |
6698.58/6700.27 c | 730337 | 77129 419486 1183144 | 2147483647 727856 607 | 27.029 % |
6705.77/6707.48 c | 730714 | 77129 419486 1183144 | 2147483647 728233 607 | 27.029 % |
6712.37/6714.02 c | 731123 | 77129 419486 1183144 | 2147483647 728642 607 | 27.029 % |
6719.96/6721.69 c | 731572 | 77129 419486 1183144 | 2147483647 729091 607 | 27.029 % |
6726.77/6728.50 c | 732065 | 77129 419486 1183144 | 2147483647 729584 607 | 27.029 % |
6732.66/6734.35 c | 732607 | 77129 419486 1183144 | 2147483647 730126 607 | 27.029 % |
6742.46/6744.12 c | 733205 | 77127 419486 1183144 | 2147483647 730723 607 | 27.031 % |
6746.66/6748.30 c | 733862 | 77125 419486 1183144 | 2147483647 731378 607 | 27.033 % |
6758.56/6760.28 c | 734583 | 77125 419486 1183144 | 2147483647 732099 607 | 27.033 % |
6765.55/6767.26 c | 735375 | 77120 419486 1183144 | 2147483647 732890 607 | 27.048 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837070-1242857019/watcher-1837070-1242857019 -o /tmp/evaluation-result-1837070-1242857019/solver-1837070-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837070-1242857019.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.00 0.00 0.00 3/64 17641
/proc/meminfo: memFree=1861872/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
[startup+0.0297589 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 17641
/proc/meminfo: memFree=1861872/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101764 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 17641
/proc/meminfo: memFree=1861872/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301776 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 17641
/proc/meminfo: memFree=1861872/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701803 s]
/proc/loadavg: 0.00 0.00 0.00 3/64 17641
/proc/meminfo: memFree=1861872/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50185 s]
/proc/loadavg: 0.00 0.00 0.00 2/66 17646
/proc/meminfo: memFree=1767456/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
[pid=17645] ppid=17641 vsize=113196 CPUtime=1.49
/proc/17645/stat : 17645 (SatELite_releas) R 17641 17641 17604 0 -1 4194304 27648 0 0 0 132 17 0 0 25 0 1 0 313729584 115912704 25197 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 1 0 0
/proc/17645/statm: 28299 25197 76 173 0 28124 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 118552
[startup+3.10196 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 17646
/proc/meminfo: memFree=1754720/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
[pid=17645] ppid=17641 vsize=118288 CPUtime=3.09
/proc/17645/stat : 17645 (SatELite_releas) R 17641 17641 17604 0 -1 4194304 29130 0 0 0 290 19 0 0 25 0 1 0 313729584 121126912 26511 1992294400 134512640 135223648 4294956128 18446744073709551615 134586777 0 0 4096 3 0 0 0 17 1 0 0
/proc/17645/statm: 29572 26511 76 173 0 29397 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 123644
[startup+6.30117 s]
/proc/loadavg: 0.08 0.02 0.01 2/66 17646
/proc/meminfo: memFree=1747552/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=0
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 310 249 0 0 0 0 0 0 16 0 1 0 313729583 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/17641/statm: 1339 237 197 169 0 50 0
[pid=17645] ppid=17641 vsize=119992 CPUtime=6.28
/proc/17645/stat : 17645 (SatELite_releas) R 17641 17641 17604 0 -1 4194304 32336 0 0 0 607 21 0 0 25 0 1 0 313729584 122871808 27082 1992294400 134512640 135223648 4294956128 18446744073709551615 134586762 0 0 4096 3 0 0 0 17 1 0 0
/proc/17645/statm: 29998 27082 76 173 0 29823 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 125348
[startup+12.7026 s]
/proc/loadavg: 0.22 0.05 0.02 2/66 17647
/proc/meminfo: memFree=1809824/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=36412 CPUtime=4.77
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 8333 0 0 0 473 4 0 0 25 0 1 0 313730374 37285888 8282 1992294400 134512640 135215339 4294956240 18446744073709551615 134525029 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 9103 8282 77 171 0 8930 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 41768
[startup+25.5014 s]
/proc/loadavg: 0.34 0.08 0.02 2/66 17647
/proc/meminfo: memFree=1807264/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=39448 CPUtime=17.57
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 9087 0 0 0 1751 6 0 0 25 0 1 0 313730374 40394752 9036 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 9862 9036 77 171 0 9689 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 44804
[startup+51.1011 s]
/proc/loadavg: 0.56 0.15 0.05 2/66 17647
/proc/meminfo: memFree=1797856/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=48960 CPUtime=43.16
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 11481 0 0 0 4308 8 0 0 25 0 1 0 313730374 50135040 11430 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 12240 11430 77 171 0 12067 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 54316
[startup+102.305 s]
/proc/loadavg: 0.82 0.29 0.10 2/66 17647
/proc/meminfo: memFree=1776736/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=69972 CPUtime=94.35
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 16717 0 0 0 9422 13 0 0 25 0 1 0 313730374 71651328 16666 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 17493 16666 77 171 0 17320 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 75328
[startup+162.301 s]
/proc/loadavg: 0.93 0.42 0.15 2/66 17647
/proc/meminfo: memFree=1751200/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=95608 CPUtime=154.33
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 23139 0 0 0 15413 20 0 0 25 0 1 0 313730374 97902592 23088 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 23902 23088 77 171 0 23729 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 100964
[startup+222.301 s]
/proc/loadavg: 0.97 0.52 0.20 2/66 17647
/proc/meminfo: memFree=1724640/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=121976 CPUtime=214.3
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 29728 0 0 0 21405 25 0 0 25 0 1 0 313730374 124903424 29677 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 30494 29677 77 171 0 30321 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 127332
[startup+282.301 s]
/proc/loadavg: 0.99 0.61 0.25 2/66 17647
/proc/meminfo: memFree=1699744/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=147132 CPUtime=274.28
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 35996 0 0 0 27396 32 0 0 25 0 1 0 313730374 150663168 35945 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 36783 35945 77 171 0 36610 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 152488
[startup+342.301 s]
/proc/loadavg: 0.99 0.67 0.30 2/66 17647
/proc/meminfo: memFree=1675168/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=171360 CPUtime=334.27
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 42067 0 0 0 33390 37 0 0 25 0 1 0 313730374 175472640 42016 1992294400 134512640 135215339 4294956240 18446744073709551615 134532964 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 42840 42016 77 171 0 42667 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 176716
[startup+402.301 s]
/proc/loadavg: 0.99 0.73 0.34 2/66 17647
/proc/meminfo: memFree=1649568/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=197248 CPUtime=394.26
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 48518 0 0 0 39383 43 0 0 25 0 1 0 313730374 201981952 48467 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 49312 48467 77 171 0 49139 0
Current children cumulated CPU time (s) 402.13
Current children cumulated vsize (KiB) 202604
[startup+462.301 s]
################
# More data... #
################
/proc/17647/statm: 428478 427155 77 171 0 428305 0
Current children cumulated CPU time (s) 6160.79
Current children cumulated vsize (KiB) 1719268
[startup+6222.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=114208/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1727708 CPUtime=6212.91
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 430643 0 0 0 620893 398 0 0 25 0 1 0 313730374 1769172992 430592 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 431927 430592 77 171 0 431754 0
Current children cumulated CPU time (s) 6220.78
Current children cumulated vsize (KiB) 1733064
[startup+6282.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=100576/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1741216 CPUtime=6272.9
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 434030 0 0 0 626888 402 0 0 25 0 1 0 313730374 1783005184 433979 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 435304 433979 77 171 0 435131 0
Current children cumulated CPU time (s) 6280.77
Current children cumulated vsize (KiB) 1746572
[startup+6342.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=87904/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1755256 CPUtime=6332.88
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 437204 0 0 0 632884 404 0 0 25 0 1 0 313730374 1797382144 437153 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 438814 437153 77 171 0 438641 0
Current children cumulated CPU time (s) 6340.75
Current children cumulated vsize (KiB) 1760612
[startup+6402.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=79008/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1764048 CPUtime=6392.87
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 439400 0 0 0 638882 405 0 0 25 0 1 0 313730374 1806385152 439349 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 441012 439349 77 171 0 440839 0
Current children cumulated CPU time (s) 6400.74
Current children cumulated vsize (KiB) 1769404
[startup+6462.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=69344/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1773836 CPUtime=6452.86
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 441829 0 0 0 644878 408 0 0 25 0 1 0 313730374 1816408064 441778 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 443459 441778 77 171 0 443286 0
Current children cumulated CPU time (s) 6460.73
Current children cumulated vsize (KiB) 1779192
[startup+6522.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=54560/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1788472 CPUtime=6512.85
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 445520 0 0 0 650872 413 0 0 25 0 1 0 313730374 1831395328 445469 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 447118 445469 77 171 0 446945 0
Current children cumulated CPU time (s) 6520.72
Current children cumulated vsize (KiB) 1793828
[startup+6582.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=39008/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1803840 CPUtime=6572.84
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 449368 0 0 0 656868 416 0 0 25 0 1 0 313730374 1847132160 449317 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 450960 449317 77 171 0 450787 0
Current children cumulated CPU time (s) 6580.71
Current children cumulated vsize (KiB) 1809196
[startup+6642.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=27424/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1815488 CPUtime=6632.82
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 452270 0 0 0 662864 418 0 0 25 0 1 0 313730374 1859059712 452219 1992294400 134512640 135215339 4294956240 18446744073709551615 134528884 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 453872 452219 77 171 0 453699 0
Current children cumulated CPU time (s) 6640.69
Current children cumulated vsize (KiB) 1820844
[startup+6702.31 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=16864/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1826080 CPUtime=6692.81
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 454899 0 0 0 668861 420 0 0 25 0 1 0 313730374 1869905920 454848 1992294400 134512640 135215339 4294956240 18446744073709551615 134528793 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 456520 454848 77 171 0 456347 0
Current children cumulated CPU time (s) 6700.68
Current children cumulated vsize (KiB) 1831436
[startup+6762.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=16288/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1835968 CPUtime=6752.78
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 457385 0 0 0 674856 422 0 0 25 0 1 0 313730374 1880031232 457334 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 458992 457334 77 171 0 458819 0
Current children cumulated CPU time (s) 6760.65
Current children cumulated vsize (KiB) 1841324
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+6772.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=15776/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1837964 CPUtime=6762.79
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 457852 0 0 0 675856 423 0 0 25 0 1 0 313730374 1882075136 457801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 459491 457801 77 171 0 459318 0
Current children cumulated CPU time (s) 6770.66
Current children cumulated vsize (KiB) 1843320
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+6772.3 s]
/proc/loadavg: 1.00 1.00 0.93 2/66 17657
/proc/meminfo: memFree=15776/2055920 swapFree=4180744/4192956
[pid=17641] ppid=17639 vsize=5356 CPUtime=7.87
/proc/17641/stat : 17641 (SatELiteGTI) S 17639 17641 17604 0 -1 4194304 336 41592 0 0 0 0 754 33 16 0 1 0 313729583 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 273653752644 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/17641/statm: 1339 239 197 169 0 50 0
[pid=17647] ppid=17641 vsize=1837964 CPUtime=6762.79
/proc/17647/stat : 17647 (minisat_static) R 17641 17641 17604 0 -1 4194304 457852 0 0 0 675856 423 0 0 25 0 1 0 313730374 1882075136 457801 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/17647/statm: 459491 457801 77 171 0 459318 0
Current children cumulated CPU time (s) 6770.66
Current children cumulated vsize (KiB) 1843320
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 17641 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=550852
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=339948
# CPU time returned by wait4() is 7.8908
# while last known CPU time is 6770.66
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 6772.31
CPU time (s): 6770.66
CPU user time (s): 6766.1
CPU system time (s): 4.56
CPU usage (%): 99.9756
Max. virtual memory (cumulated for all children) (KiB): 1843320
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.55085
system time used= 0.339948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41928
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 18
runsolver used 7.77382 second user time and 16.9464 second system time
The end
Begin job on node52 at 2009-05-21 00:03:41
IDJOB=1837070
IDBENCH=20385
IDSOLVER=674
FILE ID=node52/1837070-1242857019
PBS_JOBID= 9328465
Free space on /tmp= 66076 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-unsat/partial-5-15-u.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837070-1242857019/watcher-1837070-1242857019 -o /tmp/evaluation-result-1837070-1242857019/solver-1837070-1242857019 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837070-1242857019.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= c2f768afbb9db3d5f5133c3f48734894
RANDOM SEED=330840524
node52.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.214
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1862352 kB
Buffers: 34800 kB
Cached: 120188 kB
SwapCached: 6716 kB
Active: 88780 kB
Inactive: 74708 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1862352 kB
SwapTotal: 4192956 kB
SwapFree: 4180744 kB
Dirty: 19672 kB
Writeback: 0 kB
Mapped: 13336 kB
Slab: 16020 kB
Committed_AS: 1168720 kB
PageTables: 1480 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66056 MiB
End job on node52 at 2009-05-21 01:56:35