0.00/0.00 c Parsing...
0.00/0.92 c ==============================================================================
0.00/0.92 c | | ORIGINAL | LEARNT | |
0.00/0.92 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.92 c ==============================================================================
0.00/0.92 c | 0 | 1190271 2765804 | 357081 0 0 nan | 0.000 % |
8.07/8.12 c | 0 | 708950 1938523 | -- 0 -- -- | -- | -211920/-216212
8.07/8.13 c ==============================================================================
8.07/8.13 c Result : #vars: 124771 #clauses: 708950 #literals: 1938523
8.07/8.13 c CPU time: 7.81281 s
8.07/8.13 c ==============================================================================
8.76/8.82 c This is MiniSat 2.0 beta
8.76/8.82 c WARNING: for repeatability, setting FPU to use double precision
8.76/8.82 c ============================[ Problem Statistics ]=============================
8.76/8.82 c | |
8.76/8.82 c | Number of variables: 124771 |
8.76/8.83 c | Number of clauses: 708950 |
8.78/9.25 c | Parsing time: 0.37 s |
8.78/9.28 c ============================[ Search Statistics ]==============================
8.78/9.28 c | Conflicts | ORIGINAL | LEARNT | Progress |
8.78/9.28 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
8.78/9.28 c ===============================================================================
8.78/9.28 c | 0 | 124771 708950 1938523 | 236316 0 nan | 0.000 % |
8.78/9.45 c | 102 | 124754 708950 1938523 | 236316 100 15 | 0.913 % |
8.78/9.59 c | 203 | 124754 708950 1938523 | 236316 201 48 | 0.913 % |
9.84/9.91 c | 303 | 124657 708950 1938523 | 236316 300 48 | 0.977 % |
9.94/10.09 c | 415 | 124582 708950 1938523 | 236316 411 46 | 1.663 % |
10.14/10.29 c | 517 | 124582 708950 1938523 | 236316 513 45 | 1.663 % |
10.53/10.64 c | 628 | 121674 692570 1901256 | 236316 618 46 | 2.864 % |
10.84/10.91 c | 749 | 121603 692570 1901256 | 236316 734 44 | 3.627 % |
10.94/11.07 c | 849 | 121603 692570 1901256 | 236316 834 46 | 3.627 % |
11.43/11.52 c | 959 | 121603 692570 1901256 | 236316 944 49 | 3.627 % |
11.63/11.71 c | 1080 | 121505 692570 1901256 | 236316 1064 51 | 3.770 % |
11.94/12.07 c | 1213 | 120067 682600 1875756 | 236316 1192 74 | 3.770 % |
12.14/12.20 c | 1313 | 120067 682600 1875756 | 236316 1292 89 | 3.770 % |
12.44/12.59 c | 1423 | 120064 682600 1875756 | 236316 1401 88 | 3.785 % |
12.63/12.78 c | 1545 | 120060 682600 1875756 | 236316 1522 87 | 3.796 % |
13.04/13.16 c | 1680 | 119774 682600 1875756 | 236316 1653 88 | 4.063 % |
13.44/13.58 c | 1826 | 119702 680766 1871718 | 236316 1784 110 | 4.063 % |
13.84/13.94 c | 1926 | 119612 680766 1871718 | 236316 1880 108 | 5.668 % |
14.14/14.22 c | 2036 | 119401 680766 1871718 | 236316 1989 110 | 6.114 % |
14.34/14.47 c | 2159 | 119349 680766 1871718 | 236316 2112 108 | 6.114 % |
14.74/14.80 c | 2293 | 117125 666594 1836433 | 236316 2240 107 | 6.128 % |
15.34/15.44 c | 2440 | 117124 666594 1836433 | 236316 2385 110 | 6.233 % |
15.74/15.83 c | 2600 | 117112 666594 1836433 | 236316 2545 111 | 6.233 % |
15.94/16.00 c | 2702 | 117112 666594 1836433 | 236316 2647 111 | 6.233 % |
16.24/16.37 c | 2812 | 116555 663342 1828113 | 236316 2752 109 | 6.833 % |
16.64/16.71 c | 2933 | 116540 663342 1828113 | 236316 2871 107 | 7.453 % |
17.04/17.19 c | 3070 | 116335 663342 1828113 | 236316 3008 112 | 7.453 % |
17.54/17.63 c | 3217 | 116335 663342 1828113 | 236316 3155 117 | 7.453 % |
17.84/17.92 c | 3377 | 115472 657452 1814820 | 236316 3309 115 | 7.453 % |
18.23/18.37 c | 3556 | 115472 657452 1814820 | 236316 3488 114 | 7.453 % |
18.43/18.59 c | 3668 | 115446 657452 1814820 | 236316 3598 113 | 7.575 % |
18.73/18.86 c | 3778 | 115423 657452 1814820 | 236316 3706 114 | 7.701 % |
18.93/19.07 c | 3900 | 115423 657452 1814820 | 236316 3828 112 | 7.701 % |
19.23/19.35 c | 4033 | 115162 655145 1808653 | 236316 3952 110 | 7.701 % |
19.43/19.51 c | 4179 | 115162 655145 1808653 | 236316 4098 109 | 7.701 % |
19.83/19.92 c | 4341 | 115135 655145 1808653 | 236316 4259 108 | 7.882 % |
20.33/20.40 c | 4518 | 115135 655145 1808653 | 236316 4436 108 | 7.882 % |
20.84/20.92 c | 4712 | 114919 653661 1804844 | 236316 4628 110 | 7.908 % |
21.03/21.16 c | 4813 | 114919 653661 1804844 | 236316 4725 109 | 7.965 % |
21.13/21.23 c | 4925 | 114919 653661 1804844 | 236316 4837 109 | 7.965 % |
21.43/21.59 c | 5046 | 114888 653661 1804844 | 236316 4957 109 | 7.983 % |
21.63/21.78 c | 5180 | 114888 653661 1804844 | 236316 5091 108 | 7.983 % |
21.84/22.00 c | 5326 | 114888 653661 1804844 | 236316 5237 109 | 7.983 % |
22.53/22.68 c | 5486 | 114779 652656 1802171 | 236316 5394 114 | 8.008 % |
23.13/23.26 c | 5665 | 114773 652656 1802171 | 236316 5571 114 | 8.021 % |
23.93/24.00 c | 5860 | 114773 652656 1802171 | 236316 5766 120 | 8.021 % |
24.93/25.08 c | 6074 | 114743 652452 1801673 | 236316 5976 124 | 8.044 % |
25.44/25.51 c | 6176 | 114743 652452 1801673 | 236316 6078 126 | 8.044 % |
25.74/25.80 c | 6286 | 114743 652452 1801673 | 236316 6188 128 | 8.044 % |
25.94/26.08 c | 6408 | 114743 652452 1801673 | 236316 6310 128 | 8.044 % |
26.34/26.48 c | 6542 | 114743 652452 1801673 | 236316 6444 133 | 8.044 % |
26.94/27.01 c | 6688 | 114739 652452 1801673 | 236316 6589 134 | 8.269 % |
27.24/27.33 c | 6848 | 114454 651093 1797765 | 236316 6749 134 | 8.269 % |
27.54/27.68 c | 7026 | 114401 651093 1797765 | 236316 6926 137 | 8.349 % |
28.24/28.33 c | 7219 | 114400 651093 1797765 | 236316 7119 138 | 8.349 % |
28.84/28.94 c | 7441 | 114372 651093 1797765 | 236316 7340 143 | 8.381 % |
29.83/29.94 c | 7674 | 113682 647268 1789047 | 236316 7565 151 | 9.044 % |
30.33/30.44 c | 7775 | 113682 647268 1789047 | 236316 7666 152 | 9.044 % |
30.83/30.92 c | 7885 | 113682 647268 1789047 | 236316 7776 152 | 9.044 % |
31.03/31.16 c | 8009 | 113681 647268 1789047 | 236316 7899 152 | 9.047 % |
31.33/31.49 c | 8142 | 113681 647268 1789047 | 236316 8032 152 | 9.047 % |
31.53/31.66 c | 8288 | 113681 647268 1789047 | 236316 8178 151 | 9.047 % |
31.63/31.78 c | 8449 | 113483 645808 1785245 | 236316 8330 151 | 9.047 % |
31.93/32.02 c | 8625 | 113483 645808 1785245 | 236316 8506 151 | 9.047 % |
32.23/32.36 c | 8818 | 113483 645808 1785245 | 236316 8699 149 | 9.047 % |
32.53/32.69 c | 9031 | 113483 645808 1785245 | 236316 8912 151 | 9.047 % |
32.83/32.95 c | 9265 | 113483 645808 1785245 | 236316 9146 151 | 9.047 % |
33.23/33.34 c | 9522 | 113483 645808 1785245 | 236316 9403 150 | 9.047 % |
33.33/33.46 c | 9622 | 113483 645808 1785245 | 236316 9503 150 | 9.047 % |
33.73/33.81 c | 9732 | 113483 645808 1785245 | 236316 9613 150 | 9.047 % |
34.13/34.28 c | 9853 | 113477 645780 1785189 | 236316 9733 154 | 9.052 % |
34.53/34.66 c | 9989 | 113477 645780 1785189 | 236316 9869 155 | 9.052 % |
34.83/34.99 c | 10135 | 113453 645780 1785189 | 2147483647 10013 156 | 9.133 % |
35.22/35.37 c | 10297 | 113453 645780 1785189 | 2147483647 10175 156 | 9.133 % |
35.92/36.06 c | 10473 | 113453 645780 1785189 | 2147483647 10351 156 | 9.133 % |
36.42/36.58 c | 10667 | 113453 645780 1785189 | 2147483647 10545 157 | 9.133 % |
36.62/36.78 c | 10880 | 113376 645033 1783301 | 2147483647 10741 156 | 9.133 % |
38.12/38.22 c | 11117 | 113376 645033 1783301 | 2147483647 10978 162 | 9.133 % |
38.92/39.07 c | 11373 | 113376 645033 1783301 | 2147483647 11234 172 | 9.133 % |
40.42/40.51 c | 11655 | 113374 645033 1783301 | 2147483647 11515 182 | 9.155 % |
41.02/41.12 c | 11756 | 113348 644865 1782965 | 2147483647 11614 183 | 9.170 % |
41.52/41.66 c | 11866 | 113343 644865 1782965 | 2147483647 11723 183 | 9.184 % |
41.91/42.08 c | 11987 | 113342 644865 1782965 | 2147483647 11843 184 | 9.185 % |
42.41/42.53 c | 12120 | 113342 644865 1782965 | 2147483647 11976 186 | 9.185 % |
43.11/43.24 c | 12266 | 113342 644865 1782965 | 2147483647 12122 187 | 9.185 % |
44.01/44.15 c | 12427 | 113342 644865 1782965 | 2147483647 12283 188 | 9.185 % |
44.81/44.99 c | 12603 | 113311 644626 1782329 | 2147483647 12459 199 | 9.185 % |
45.72/45.83 c | 12798 | 113285 644626 1782329 | 2147483647 12653 200 | 9.249 % |
46.42/46.52 c | 13012 | 113271 644626 1782329 | 2147483647 12866 202 | 9.417 % |
46.82/46.98 c | 13245 | 113271 644626 1782329 | 2147483647 13099 201 | 9.417 % |
47.32/47.41 c | 13501 | 113268 644626 1782329 | 2147483647 13354 199 | 9.430 % |
47.71/47.80 c | 13782 | 113268 644626 1782329 | 2147483647 13635 198 | 9.430 % |
48.31/48.44 c | 14091 | 113005 642844 1777687 | 2147483647 13939 196 | 9.430 % |
48.51/48.63 c | 14193 | 112979 642844 1777687 | 2147483647 14040 195 | 9.469 % |
48.91/49.00 c | 14305 | 112957 642844 1777687 | 2147483647 14152 194 | 9.469 % |
49.01/49.18 c | 14427 | 112855 642844 1777687 | 2147483647 14273 193 | 9.699 % |
49.21/49.34 c | 14561 | 112855 642844 1777687 | 2147483647 14407 193 | 9.699 % |
49.50/49.63 c | 14707 | 112855 642844 1777687 | 2147483647 14553 192 | 9.699 % |
50.20/50.32 c | 14867 | 112855 642844 1777687 | 2147483647 14713 193 | 9.699 % |
50.80/50.92 c | 15043 | 112851 642844 1777687 | 2147483647 14888 194 | 9.711 % |
51.51/51.61 c | 15237 | 112851 642844 1777687 | 2147483647 15082 196 | 9.711 % |
52.10/52.26 c | 15449 | 112654 641229 1774382 | 2147483647 15291 195 | 9.711 % |
52.40/52.59 c | 15685 | 112654 641229 1774382 | 2147483647 15527 194 | 9.711 % |
53.81/53.95 c | 15944 | 112640 641229 1774382 | 2147483647 15785 197 | 9.730 % |
54.90/55.10 c | 16229 | 112640 641229 1774382 | 2147483647 16070 205 | 9.730 % |
55.80/55.94 c | 16540 | 112639 641229 1774382 | 2147483647 16380 205 | 9.731 % |
56.40/56.57 c | 16879 | 112630 641081 1774007 | 2147483647 16708 202 | 9.731 % |
56.70/56.82 c | 16979 | 112630 641081 1774007 | 2147483647 16808 202 | 9.731 % |
56.90/57.00 c | 17094 | 112626 641081 1774007 | 2147483647 16918 201 | 9.816 % |
57.00/57.17 c | 17217 | 112626 641081 1774007 | 2147483647 17041 200 | 9.816 % |
57.20/57.34 c | 17350 | 112626 641081 1774007 | 2147483647 17174 199 | 9.816 % |
57.50/57.61 c | 17500 | 112626 641081 1774007 | 2147483647 17324 199 | 9.816 % |
57.80/57.97 c | 17660 | 112625 641081 1774007 | 2147483647 17483 198 | 9.817 % |
58.50/58.61 c | 17836 | 112564 641081 1774007 | 2147483647 17659 198 | 9.817 % |
59.30/59.43 c | 18029 | 112564 641081 1774007 | 2147483647 17852 200 | 9.817 % |
59.70/59.83 c | 18241 | 112522 640329 1772160 | 2147483647 18003 200 | 9.817 % |
61.00/61.14 c | 18474 | 112522 640329 1772160 | 2147483647 18236 204 | 9.817 % |
62.19/62.35 c | 18730 | 112521 640329 1772160 | 2147483647 18491 212 | 9.818 % |
63.50/63.65 c | 19011 | 112509 640329 1772160 | 2147483647 18770 215 | 9.945 % |
64.00/64.11 c | 19321 | 112481 640329 1772160 | 2147483647 19074 214 | 9.999 % |
64.50/64.69 c | 19660 | 112481 640329 1772160 | 2147483647 19413 212 | 9.999 % |
65.00/65.10 c | 20033 | 112295 639010 1768705 | 2147483647 19739 211 | 9.999 % |
65.10/65.24 c | 20133 | 112295 639010 1768705 | 2147483647 19839 210 | 9.999 % |
65.20/65.37 c | 20243 | 112295 639010 1768705 | 2147483647 19949 209 | 9.999 % |
66.10/66.20 c | 20364 | 112295 639010 1768705 | 2147483647 20070 211 | 9.999 % |
66.70/66.89 c | 20499 | 112295 639010 1768705 | 2147483647 20205 214 | 9.999 % |
67.20/67.36 c | 20645 | 112295 639010 1768705 | 2147483647 20351 214 | 9.999 % |
67.90/68.01 c | 20805 | 112295 639010 1768705 | 2147483647 20511 216 | 9.999 % |
68.70/68.83 c | 20981 | 112294 639010 1768705 | 2147483647 20686 216 | 10.000 % |
69.39/69.57 c | 21175 | 112294 639010 1768705 | 2147483647 20880 217 | 10.000 % |
70.39/70.51 c | 21392 | 112293 639010 1768705 | 2147483647 21096 220 | 10.001 % |
71.29/71.41 c | 21625 | 112293 639002 1768689 | 2147483647 21329 223 | 10.001 % |
71.69/71.87 c | 21882 | 112293 639002 1768689 | 2147483647 21586 223 | 10.001 % |
72.09/72.29 c | 22163 | 112293 639002 1768689 | 2147483647 21867 224 | 10.001 % |
72.69/72.80 c | 22473 | 112293 639002 1768689 | 2147483647 22177 223 | 10.001 % |
73.38/73.55 c | 22812 | 112293 639002 1768689 | 2147483647 22516 222 | 10.001 % |
74.18/74.31 c | 23184 | 112293 639002 1768689 | 2147483647 22888 221 | 10.001 % |
75.19/75.32 c | 23593 | 112289 639002 1768689 | 2147483647 23296 219 | 10.015 % |
75.39/75.53 c | 23695 | 112289 639002 1768689 | 2147483647 23398 219 | 10.015 % |
75.69/75.90 c | 23805 | 112275 638880 1768369 | 2147483647 23507 218 | 10.015 % |
76.29/76.46 c | 23927 | 112275 638880 1768369 | 2147483647 23629 222 | 10.015 % |
76.89/77.02 c | 24060 | 112275 638880 1768369 | 2147483647 23761 222 | 10.017 % |
77.19/77.30 c | 24206 | 112275 638880 1768369 | 2147483647 23907 222 | 10.017 % |
77.49/77.65 c | 24367 | 112275 638880 1768369 | 2147483647 24068 221 | 10.017 % |
78.29/78.44 c | 24543 | 112275 638880 1768369 | 2147483647 24244 224 | 10.017 % |
78.68/78.81 c | 24737 | 112275 638880 1768369 | 2147483647 24438 224 | 10.017 % |
79.68/79.84 c | 24949 | 112217 638880 1768369 | 2147483647 24647 224 | 10.373 % |
80.69/80.83 c | 25182 | 112217 638880 1768369 | 2147483647 24880 226 | 10.373 % |
81.29/81.48 c | 25439 | 112215 638880 1768369 | 2147483647 25136 226 | 10.374 % |
82.29/82.42 c | 25721 | 112214 638880 1768369 | 2147483647 25417 227 | 10.375 % |
83.29/83.50 c | 26032 | 112214 638880 1768369 | 2147483647 25728 233 | 10.375 % |
84.09/84.24 c | 26372 | 111826 636919 1764358 | 2147483647 26066 233 | 10.375 % |
85.78/85.97 c | 26744 | 111826 636919 1764358 | 2147483647 26438 236 | 10.375 % |
87.88/88.10 c | 27153 | 111826 636919 1764358 | 2147483647 26847 244 | 10.375 % |
90.18/90.39 c | 27604 | 111825 636919 1764358 | 2147483647 27297 250 | 10.376 % |
90.88/91.03 c | 27705 | 111825 636919 1764358 | 2147483647 27398 251 | 10.376 % |
91.48/91.62 c | 27815 | 111688 636919 1764358 | 2147483647 27503 250 | 11.176 % |
92.08/92.29 c | 27936 | 110826 630428 1747652 | 2147483647 27607 252 | 11.176 % |
92.47/92.61 c | 28070 | 110826 630428 1747652 | 2147483647 27741 251 | 11.176 % |
92.87/93.04 c | 28216 | 110826 630428 1747652 | 2147483647 27887 251 | 11.176 % |
93.67/93.87 c | 28378 | 110826 630428 1747652 | 2147483647 28049 252 | 11.176 % |
94.47/94.64 c | 28556 | 110820 630428 1747652 | 2147483647 28226 253 | 11.189 % |
94.77/94.97 c | 28749 | 110820 630428 1747652 | 2147483647 28419 252 | 11.189 % |
95.37/95.52 c | 28961 | 110820 630428 1747652 | 2147483647 28631 252 | 11.189 % |
96.47/96.69 c | 29194 | 110768 630428 1747652 | 2147483647 28863 253 | 11.285 % |
97.17/97.33 c | 29452 | 110768 630428 1747652 | 2147483647 29121 253 | 11.285 % |
98.57/98.73 c | 29734 | 110768 630428 1747652 | 2147483647 29403 253 | 11.285 % |
99.66/99.82 c | 30044 | 110768 630428 1747652 | 2147483647 29712 257 | 11.286 % |
100.37/100.55 c | 30383 | 110768 630428 1747652 | 2147483647 30051 257 | 11.286 % |
101.57/101.78 c | 30755 | 110688 629779 1746279 | 2147483647 30419 257 | 11.287 % |
103.87/104.01 c | 31165 | 110688 629779 1746279 | 2147483647 30829 265 | 11.287 % |
105.77/105.91 c | 31614 | 110688 629779 1746279 | 2147483647 31278 268 | 11.287 % |
107.97/108.19 c | 32109 | 110688 629779 1746279 | 2147483647 31773 275 | 11.287 % |
108.56/108.77 c | 32210 | 110688 629779 1746279 | 2147483647 31874 276 | 11.287 % |
109.16/109.31 c | 32320 | 110688 629779 1746279 | 2147483647 31984 275 | 11.287 % |
109.46/109.67 c | 32444 | 110688 629779 1746279 | 2147483647 32108 276 | 11.287 % |
109.96/110.19 c | 32577 | 110688 629779 1746279 | 2147483647 32241 275 | 11.287 % |
110.46/110.63 c | 32723 | 110688 629779 1746279 | 2147483647 32387 276 | 11.287 % |
111.36/111.53 c | 32890 | 110672 629670 1745986 | 2147483647 32553 276 | 11.300 % |
112.16/112.35 c | 33067 | 110672 629670 1745986 | 2147483647 32730 280 | 11.300 % |
113.07/113.29 c | 33260 | 110634 629670 1745986 | 2147483647 32921 281 | 11.411 % |
113.96/114.15 c | 33472 | 110634 629670 1745986 | 2147483647 33133 282 | 11.411 % |
114.56/114.80 c | 33705 | 110633 629670 1745986 | 2147483647 33365 282 | 11.412 % |
115.66/115.86 c | 33961 | 110632 629670 1745986 | 2147483647 33620 282 | 11.413 % |
116.66/116.80 c | 34244 | 110632 629670 1745986 | 2147483647 33903 282 | 11.413 % |
117.36/117.54 c | 34554 | 110632 629670 1745986 | 2147483647 34213 281 | 11.413 % |
118.16/118.33 c | 34894 | 110632 629670 1745986 | 2147483647 34553 281 | 11.413 % |
119.06/119.25 c | 35267 | 110632 629670 1745986 | 2147483647 34926 281 | 11.413 % |
121.06/121.28 c | 35676 | 110632 629670 1745986 | 2147483647 35335 283 | 11.413 % |
123.75/123.92 c | 36125 | 110629 629670 1745986 | 2147483647 35783 296 | 11.427 % |
126.56/126.75 c | 36618 | 110512 628855 1743727 | 2147483647 36266 302 | 11.428 % |
128.66/128.89 c | 37161 | 110497 628855 1743727 | 2147483647 36806 304 | 11.826 % |
129.36/129.59 c | 37262 | 110421 628855 1743727 | 2147483647 36907 305 | 11.826 % |
129.96/130.17 c | 37372 | 110421 628855 1743727 | 2147483647 37017 305 | 11.826 % |
130.56/130.75 c | 37493 | 110421 628855 1743727 | 2147483647 37138 306 | 11.826 % |
131.26/131.40 c | 37626 | 110421 628855 1743727 | 2147483647 37270 306 | 11.838 % |
131.66/131.84 c | 37775 | 110421 628855 1743727 | 2147483647 37419 306 | 11.838 % |
132.06/132.28 c | 37935 | 110396 628855 1743727 | 2147483647 37577 305 | 11.900 % |
132.46/132.65 c | 38113 | 110396 628855 1743727 | 2147483647 37755 305 | 11.900 % |
132.86/133.03 c | 38306 | 110396 628855 1743727 | 2147483647 37948 305 | 11.900 % |
133.56/133.78 c | 38518 | 110396 628855 1743727 | 2147483647 38159 304 | 11.901 % |
134.06/134.27 c | 38752 | 110396 628855 1743727 | 2147483647 38393 304 | 11.901 % |
135.65/135.89 c | 39008 | 110395 628855 1743727 | 2147483647 38649 304 | 11.901 % |
136.95/137.13 c | 39290 | 110395 628855 1743727 | 2147483647 38931 307 | 11.901 % |
137.95/138.18 c | 39599 | 109922 625317 1734371 | 2147483647 39231 307 | 11.901 % |
139.45/139.62 c | 39941 | 109915 625317 1734371 | 2147483647 39571 308 | 11.915 % |
141.05/141.30 c | 40313 | 109915 625317 1734371 | 2147483647 39943 311 | 11.915 % |
143.25/143.43 c | 40722 | 109915 625317 1734371 | 2147483647 40352 315 | 11.915 % |
144.95/145.10 c | 41171 | 109915 625317 1734371 | 2147483647 40801 316 | 11.915 % |
147.04/147.24 c | 41664 | 109914 625317 1734371 | 2147483647 41293 319 | 12.513 % |
149.85/150.04 c | 42207 | 109909 625317 1734371 | 2147483647 41834 327 | 12.526 % |
153.24/153.41 c | 42803 | 109907 625317 1734371 | 2147483647 42428 330 | 12.530 % |
153.84/154.07 c | 42903 | 109137 620575 1722223 | 2147483647 42506 332 | 12.530 % |
154.54/154.78 c | 43014 | 109129 620575 1722223 | 2147483647 42616 334 | 12.671 % |
155.04/155.24 c | 43138 | 109112 620575 1722223 | 2147483647 42740 335 | 12.671 % |
155.74/155.90 c | 43274 | 109112 620575 1722223 | 2147483647 42876 335 | 12.671 % |
156.34/156.58 c | 43420 | 109084 620575 1722223 | 2147483647 43021 337 | 12.908 % |
157.15/157.32 c | 43580 | 109084 620575 1722223 | 2147483647 43181 337 | 12.908 % |
157.45/157.65 c | 43756 | 109083 620575 1722223 | 2147483647 43356 336 | 12.919 % |
157.85/158.02 c | 43949 | 109052 620575 1722223 | 2147483647 43548 336 | 12.948 % |
158.95/159.12 c | 44164 | 109047 620575 1722223 | 2147483647 43763 336 | 12.948 % |
160.45/160.62 c | 44397 | 109035 620575 1722223 | 2147483647 43994 336 | 12.997 % |
162.14/162.35 c | 44653 | 109035 620575 1722223 | 2147483647 44250 340 | 12.997 % |
163.54/163.75 c | 44934 | 109035 620575 1722223 | 2147483647 44531 340 | 12.997 % |
164.64/164.90 c | 45245 | 109035 620575 1722223 | 2147483647 44842 340 | 12.997 % |
166.14/166.33 c | 45584 | 109035 620575 1722223 | 2147483647 45180 340 | 12.999 % |
167.84/168.02 c | 45958 | 109035 620575 1722223 | 2147483647 45554 341 | 12.999 % |
170.04/170.22 c | 46368 | 109034 620575 1722223 | 2147483647 45963 345 | 13.000 % |
172.14/172.30 c | 46817 | 109034 620575 1722223 | 2147483647 46412 346 | 13.000 % |
174.34/174.57 c | 47312 | 108551 617542 1715248 | 2147483647 46896 349 | 13.000 % |
176.03/176.21 c | 47854 | 108551 617542 1715248 | 2147483647 47438 349 | 13.000 % |
179.04/179.27 c | 48450 | 108551 617542 1715248 | 2147483647 48034 354 | 13.000 % |
182.73/182.91 c | 49106 | 108551 617542 1715248 | 2147483647 48690 359 | 13.000 % |
183.33/183.54 c | 49206 | 108550 617542 1715248 | 2147483647 48789 360 | 13.001 % |
183.73/183.91 c | 49316 | 108550 617542 1715248 | 2147483647 48899 360 | 13.001 % |
184.13/184.34 c | 49437 | 108549 617542 1715248 | 2147483647 49018 360 | 13.002 % |
184.53/184.72 c | 49571 | 108549 617542 1715248 | 2147483647 49152 360 | 13.002 % |
184.93/185.12 c | 49718 | 108549 617542 1715248 | 2147483647 49299 360 | 13.002 % |
185.13/185.33 c | 49880 | 108549 617542 1715248 | 2147483647 49461 359 | 13.002 % |
186.63/186.83 c | 50059 | 108548 617542 1715248 | 2147483647 49640 360 | 13.002 % |
187.33/187.58 c | 50252 | 108548 617542 1715248 | 2147483647 49833 360 | 13.002 % |
188.43/188.65 c | 50467 | 108523 617542 1715248 | 2147483647 50046 360 | 13.262 % |
189.13/189.30 c | 50701 | 108523 617542 1715248 | 2147483647 50280 358 | 13.262 % |
190.52/190.78 c | 50959 | 108523 617542 1715248 | 2147483647 50538 359 | 13.262 % |
192.23/192.43 c | 51240 | 108523 617542 1715248 | 2147483647 50819 363 | 13.262 % |
193.62/193.82 c | 51549 | 108523 617542 1715248 | 2147483647 51128 366 | 13.262 % |
195.33/195.51 c | 51889 | 108223 616016 1711756 | 2147483647 51466 367 | 13.263 % |
197.13/197.38 c | 52261 | 108223 616016 1711756 | 2147483647 51838 368 | 13.263 % |
198.93/199.16 c | 52672 | 108223 616016 1711756 | 2147483647 52249 368 | 13.263 % |
201.03/201.28 c | 53121 | 108161 616016 1711756 | 2147483647 52696 368 | 13.407 % |
203.82/204.04 c | 53614 | 108161 616016 1711756 | 2147483647 53189 373 | 13.407 % |
206.62/206.86 c | 54156 | 108155 616016 1711756 | 2147483647 53730 378 | 13.421 % |
209.43/209.60 c | 54753 | 108155 616016 1711756 | 2147483647 54327 381 | 13.421 % |
212.03/212.23 c | 55408 | 108105 616016 1711756 | 2147483647 54980 383 | 13.497 % |
215.42/215.62 c | 56128 | 108104 616016 1711756 | 2147483647 55699 387 | 13.498 % |
215.92/216.19 c | 56229 | 108104 616016 1711756 | 2147483647 55800 387 | 13.498 % |
216.61/216.86 c | 56339 | 108104 616016 1711756 | 2147483647 55910 387 | 13.498 % |
217.32/217.51 c | 56460 | 108104 616016 1711756 | 2147483647 56031 387 | 13.498 % |
217.63/217.85 c | 56594 | 108104 616016 1711756 | 2147483647 56165 386 | 13.498 % |
218.12/218.34 c | 56740 | 108103 616016 1711756 | 2147483647 56310 386 | 13.500 % |
218.63/218.82 c | 56900 | 108103 616016 1711756 | 2147483647 56470 386 | 13.500 % |
219.62/219.80 c | 57076 | 107908 614044 1706386 | 2147483647 56454 387 | 13.515 % |
220.52/220.78 c | 57269 | 107908 614044 1706386 | 2147483647 56647 387 | 13.515 % |
221.82/222.02 c | 57481 | 107898 614044 1706386 | 2147483647 56858 387 | 13.853 % |
222.52/222.76 c | 57714 | 107897 614044 1706386 | 2147483647 57091 386 | 13.853 % |
223.32/223.50 c | 57970 | 107871 614044 1706386 | 2147483647 57346 386 | 13.913 % |
224.81/225.06 c | 58251 | 107871 614044 1706386 | 2147483647 57627 387 | 13.913 % |
226.21/226.45 c | 58561 | 107871 614044 1706386 | 2147483647 57937 387 | 13.913 % |
227.62/227.87 c | 58900 | 107871 614044 1706386 | 2147483647 58276 388 | 13.913 % |
229.82/230.01 c | 59274 | 107869 614044 1706386 | 2147483647 58649 390 | 13.922 % |
231.62/231.80 c | 59683 | 107866 614044 1706386 | 2147483647 59057 391 | 13.926 % |
233.11/233.34 c | 60134 | 107865 614044 1706386 | 2147483647 59508 391 | 13.926 % |
235.61/235.80 c | 60630 | 107864 614044 1706386 | 2147483647 60002 392 | 13.940 % |
237.91/238.12 c | 61172 | 107864 614044 1706386 | 2147483647 60544 396 | 13.940 % |
240.91/241.12 c | 61772 | 107864 614044 1706386 | 2147483647 61144 400 | 13.940 % |
245.02/245.28 c | 62430 | 107862 614044 1706386 | 2147483647 61800 404 | 13.942 % |
248.90/249.12 c | 63150 | 107835 614044 1706386 | 2147483647 62517 406 | 13.972 % |
250.40/250.64 c | 63942 | 107835 614044 1706386 | 2147483647 63309 405 | 13.972 % |
250.80/251.02 c | 64047 | 107338 610597 1697596 | 2147483647 63370 404 | 13.972 % |
251.00/251.26 c | 64163 | 107338 610597 1697596 | 2147483647 63486 404 | 13.972 % |
251.30/251.53 c | 64285 | 107338 610597 1697596 | 2147483647 63608 403 | 13.972 % |
252.40/252.68 c | 64419 | 107338 610597 1697596 | 2147483647 63742 404 | 13.972 % |
253.30/253.52 c | 64565 | 107332 610597 1697596 | 2147483647 63887 405 | 13.990 % |
253.60/253.89 c | 64727 | 107332 610597 1697596 | 2147483647 64049 405 | 13.990 % |
254.40/254.69 c | 64903 | 107332 610597 1697596 | 2147483647 64225 404 | 13.990 % |
255.70/255.94 c | 65097 | 107332 610597 1697596 | 2147483647 64419 406 | 13.990 % |
256.61/256.84 c | 65310 | 107332 610597 1697596 | 2147483647 64632 406 | 13.990 % |
257.81/258.05 c | 65549 | 107332 610597 1697596 | 2147483647 64871 407 | 13.990 % |
258.70/258.95 c | 65808 | 107332 610597 1697596 | 2147483647 65129 406 | 13.991 % |
259.31/259.57 c | 66090 | 107332 610597 1697596 | 2147483647 65411 406 | 13.991 % |
260.10/260.33 c | 66399 | 107332 610597 1697596 | 2147483647 65720 405 | 13.991 % |
261.90/262.14 c | 66741 | 107331 610597 1697596 | 2147483647 66062 407 | 13.991 % |
263.90/264.16 c | 67113 | 107331 610597 1697596 | 2147483647 66434 409 | 13.991 % |
266.09/266.37 c | 67523 | 107331 610597 1697596 | 2147483647 66844 413 | 13.991 % |
268.30/268.54 c | 67973 | 107331 610597 1697596 | 2147483647 67294 413 | 13.991 % |
271.20/271.40 c | 68466 | 107331 610597 1697596 | 2147483647 67787 416 | 13.991 % |
273.09/273.38 c | 69008 | 107325 610597 1697596 | 2147483647 68327 415 | 14.005 % |
275.80/276.09 c | 69608 | 107325 610597 1697596 | 2147483647 68927 416 | 14.005 % |
279.10/279.33 c | 70263 | 107324 610597 1697596 | 2147483647 69581 415 | 14.006 % |
282.99/283.22 c | 70983 | 107323 610597 1697596 | 2147483647 70300 417 | 14.016 % |
287.19/287.44 c | 71776 | 107323 610597 1697596 | 2147483647 71093 421 | 14.016 % |
293.98/294.24 c | 72647 | 107283 610283 1696837 | 2147483647 71954 430 | 14.016 % |
294.89/295.14 c | 72748 | 107283 610283 1696837 | 2147483647 72055 431 | 14.016 % |
295.69/295.91 c | 72858 | 107283 610283 1696837 | 2147483647 72165 433 | 14.016 % |
296.29/296.58 c | 72979 | 107283 610283 1696837 | 2147483647 72286 433 | 14.016 % |
296.79/297.01 c | 73112 | 107283 610283 1696837 | 2147483647 72419 433 | 14.016 % |
297.09/297.38 c | 73262 | 107283 610283 1696837 | 2147483647 72569 433 | 14.016 % |
297.39/297.69 c | 73426 | 107283 610283 1696837 | 2147483647 72733 432 | 14.016 % |
297.79/298.06 c | 73605 | 107283 610283 1696837 | 2147483647 72912 431 | 14.016 % |
298.29/298.57 c | 73799 | 107283 610283 1696837 | 2147483647 73106 431 | 14.016 % |
299.29/299.58 c | 74012 | 107282 610283 1696837 | 2147483647 73318 431 | 14.028 % |
300.29/300.50 c | 74245 | 107282 610283 1696837 | 2147483647 73551 430 | 14.028 % |
301.48/301.71 c | 74502 | 107282 610283 1696837 | 2147483647 73808 431 | 14.028 % |
302.48/302.76 c | 74783 | 107282 610283 1696837 | 2147483647 74089 431 | 14.028 % |
303.28/303.55 c | 75095 | 107282 610283 1696837 | 2147483647 74401 430 | 14.028 % |
304.38/304.66 c | 75434 | 107282 610283 1696837 | 2147483647 74740 429 | 14.028 % |
306.48/306.72 c | 75806 | 107282 610283 1696837 | 2147483647 75112 431 | 14.028 % |
308.47/308.77 c | 76216 | 107281 610283 1696837 | 2147483647 75521 431 | 14.029 % |
310.58/310.86 c | 76665 | 107281 610283 1696837 | 2147483647 75970 433 | 14.029 % |
312.38/312.68 c | 77159 | 107281 610283 1696837 | 2147483647 76464 433 | 14.029 % |
316.18/316.41 c | 77703 | 107281 610283 1696837 | 2147483647 77008 435 | 14.029 % |
320.07/320.38 c | 78299 | 107281 610283 1696837 | 2147483647 77604 436 | 14.029 % |
323.57/323.85 c | 78955 | 107280 610283 1696837 | 2147483647 78259 438 | 14.030 % |
328.67/328.91 c | 79675 | 107280 610283 1696837 | 2147483647 78979 441 | 14.030 % |
332.26/332.56 c | 80467 | 107275 610283 1696837 | 2147483647 79770 441 | 14.035 % |
337.37/337.63 c | 81338 | 107259 610144 1696479 | 2147483647 80630 446 | 14.036 % |
342.36/342.61 c | 82296 | 107259 610144 1696479 | 2147483647 81588 448 | 14.036 % |
343.06/343.37 c | 82399 | 107259 610144 1696479 | 2147483647 81691 448 | 14.036 % |
343.76/344.02 c | 82509 | 107259 610144 1696479 | 2147483647 81801 448 | 14.036 % |
343.97/344.30 c | 82631 | 107259 610144 1696479 | 2147483647 81923 447 | 14.036 % |
344.96/345.26 c | 82766 | 107259 610144 1696479 | 2147483647 82058 448 | 14.036 % |
346.06/346.39 c | 82913 | 107259 610144 1696479 | 2147483647 82205 448 | 14.036 % |
346.56/346.88 c | 83073 | 107259 610144 1696479 | 2147483647 82365 448 | 14.036 % |
347.06/347.32 c | 83251 | 107259 610144 1696479 | 2147483647 82543 447 | 14.036 % |
347.46/347.74 c | 83444 | 107259 610144 1696479 | 2147483647 82736 447 | 14.036 % |
348.06/348.35 c | 83656 | 107259 610144 1696479 | 2147483647 82948 446 | 14.036 % |
349.57/349.89 c | 83891 | 107259 610144 1696479 | 2147483647 83183 447 | 14.036 % |
350.96/351.22 c | 84148 | 107258 610144 1696479 | 2147483647 83438 448 | 14.040 % |
352.06/352.31 c | 84432 | 107257 610144 1696479 | 2147483647 83721 447 | 14.041 % |
353.76/354.04 c | 84741 | 107257 610144 1696479 | 2147483647 84030 448 | 14.041 % |
355.75/356.09 c | 85081 | 107257 610144 1696479 | 2147483647 84370 449 | 14.041 % |
357.66/357.96 c | 85458 | 107257 610144 1696479 | 2147483647 84747 450 | 14.041 % |
360.26/360.53 c | 85867 | 107256 610144 1696479 | 2147483647 85155 452 | 14.042 % |
362.75/363.07 c | 86316 | 107256 610144 1696479 | 2147483647 85603 452 | 14.055 % |
366.54/366.81 c | 86809 | 107256 610144 1696479 | 2147483647 86096 457 | 14.055 % |
368.74/369.08 c | 87352 | 107251 610144 1696479 | 2147483647 86638 457 | 14.067 % |
371.95/372.24 c | 87950 | 107251 610144 1696479 | 2147483647 87236 458 | 14.067 % |
375.15/375.46 c | 88605 | 107222 610144 1696479 | 2147483647 87889 459 | 14.178 % |
378.14/378.40 c | 89325 | 107222 610144 1696479 | 2147483647 88609 457 | 14.178 % |
383.34/383.68 c | 90117 | 107213 610144 1696479 | 2147483647 89399 458 | 14.192 % |
387.74/388.02 c | 90991 | 107064 609122 1693811 | 2147483647 90250 458 | 14.192 % |
393.74/394.07 c | 91949 | 107064 609122 1693811 | 2147483647 91208 465 | 14.192 % |
402.14/402.49 c | 93002 | 107064 609122 1693811 | 2147483647 92261 475 | 14.192 % |
402.44/402.78 c | 93102 | 107064 609122 1693811 | 2147483647 92361 475 | 14.192 % |
402.84/403.19 c | 93212 | 107064 609122 1693811 | 2147483647 92471 475 | 14.192 % |
403.24/403.58 c | 93335 | 107064 609122 1693811 | 2147483647 92594 475 | 14.192 % |
404.04/404.38 c | 93470 | 107064 609122 1693811 | 2147483647 92729 474 | 14.192 % |
404.84/405.16 c | 93618 | 107064 609122 1693811 | 2147483647 92877 474 | 14.192 % |
405.34/405.62 c | 93783 | 107064 609122 1693811 | 2147483647 93042 474 | 14.192 % |
406.14/406.40 c | 93961 | 107064 609122 1693811 | 2147483647 93220 474 | 14.192 % |
407.03/407.34 c | 94156 | 107063 609122 1693811 | 2147483647 93414 474 | 14.192 % |
408.63/408.96 c | 94368 | 107062 609122 1693811 | 2147483647 93625 474 | 14.193 % |
410.23/410.54 c | 94605 | 107062 609122 1693811 | 2147483647 93862 475 | 14.193 % |
411.83/412.16 c | 94861 | 107062 609122 1693811 | 2147483647 94118 476 | 14.193 % |
413.43/413.77 c | 95143 | 107062 609122 1693811 | 2147483647 94400 476 | 14.193 % |
415.33/415.68 c | 95453 | 107061 609122 1693811 | 2147483647 94709 477 | 14.194 % |
417.23/417.53 c | 95792 | 107061 609122 1693811 | 2147483647 95048 477 | 14.194 % |
418.83/419.18 c | 96166 | 107058 609122 1693811 | 2147483647 95421 477 | 14.211 % |
421.93/422.27 c | 96575 | 107058 609122 1693811 | 2147483647 95830 478 | 14.211 % |
424.63/424.98 c | 97025 | 107057 609122 1693811 | 2147483647 96279 479 | 14.212 % |
427.52/427.85 c | 97519 | 107057 609122 1693811 | 2147483647 96773 480 | 14.212 % |
430.83/431.14 c | 98064 | 107057 609122 1693811 | 2147483647 97318 482 | 14.212 % |
434.13/434.45 c | 98660 | 107057 609122 1693811 | 2147483647 97914 484 | 14.212 % |
436.62/436.92 c | 99315 | 107053 609122 1693811 | 2147483647 98567 484 | 14.215 % |
439.43/439.74 c | 100038 | 107051 609122 1693811 | 2147483647 99288 484 | 14.216 % |
444.12/444.46 c | 100830 | 107051 609122 1693811 | 2147483647 100080 485 | 14.216 % |
449.82/450.12 c | 101701 | 107050 609122 1693811 | 2147483647 100950 487 | 14.217 % |
457.31/457.60 c | 102659 | 107050 609122 1693811 | 2147483647 101908 490 | 14.217 % |
463.21/463.52 c | 103712 | 107031 608942 1693371 | 2147483647 102931 491 | 14.218 % |
470.00/470.37 c | 104873 | 106989 608942 1693371 | 2147483647 104091 495 | 14.288 % |
470.71/471.04 c | 104974 | 106989 608942 1693371 | 2147483647 104192 495 | 14.288 % |
471.31/471.67 c | 105084 | 106989 608942 1693371 | 2147483647 104302 495 | 14.288 % |
471.91/472.22 c | 105206 | 106988 608942 1693371 | 2147483647 104423 495 | 14.289 % |
472.71/473.01 c | 105339 | 106988 608942 1693371 | 2147483647 104556 495 | 14.289 % |
473.71/474.03 c | 105488 | 106988 608942 1693371 | 2147483647 104705 495 | 14.289 % |
474.21/474.55 c | 105649 | 106988 608942 1693371 | 2147483647 104866 494 | 14.289 % |
474.71/475.10 c | 105826 | 106988 608942 1693371 | 2147483647 105043 493 | 14.289 % |
475.10/475.46 c | 106019 | 106988 608942 1693371 | 2147483647 105236 493 | 14.289 % |
475.91/476.24 c | 106232 | 106988 608942 1693371 | 2147483647 105449 492 | 14.289 % |
477.20/477.54 c | 106466 | 106988 608942 1693371 | 2147483647 105683 492 | 14.289 % |
478.60/478.99 c | 106722 | 106988 608942 1693371 | 2147483647 105939 493 | 14.289 % |
480.60/480.90 c | 107003 | 106988 608942 1693371 | 2147483647 106220 494 | 14.289 % |
481.80/482.10 c | 107312 | 106988 608942 1693371 | 2147483647 106529 493 | 14.289 % |
484.00/484.38 c | 107651 | 106988 608942 1693371 | 2147483647 106868 493 | 14.289 % |
486.00/486.37 c | 108023 | 106988 608942 1693371 | 2147483647 107240 494 | 14.289 % |
488.00/488.36 c | 108432 | 106988 608942 1693371 | 2147483647 107649 493 | 14.289 % |
490.70/491.06 c | 108884 | 106988 608942 1693371 | 2147483647 108101 496 | 14.289 % |
494.09/494.47 c | 109378 | 106987 608942 1693371 | 2147483647 108594 498 | 14.289 % |
497.29/497.62 c | 109920 | 106986 608942 1693371 | 2147483647 109135 499 | 14.290 % |
500.39/500.74 c | 110518 | 106983 608942 1693371 | 2147483647 109730 499 | 14.293 % |
503.68/504.02 c | 111178 | 106983 608942 1693371 | 2147483647 110390 499 | 14.293 % |
508.39/508.79 c | 111898 | 106983 608942 1693371 | 2147483647 111110 501 | 14.293 % |
512.89/513.23 c | 112690 | 106983 608942 1693371 | 2147483647 111902 503 | 14.293 % |
518.79/519.11 c | 113563 | 106983 608942 1693371 | 2147483647 112775 505 | 14.293 % |
524.28/524.64 c | 114523 | 106983 608942 1693371 | 2147483647 113735 507 | 14.293 % |
528.98/529.33 c | 115579 | 106982 608942 1693371 | 2147483647 114790 508 | 14.293 % |
534.68/535.06 c | 116739 | 106982 608942 1693371 | 2147483647 115949 510 | 14.349 % |
541.27/541.70 c | 118013 | 106855 607682 1690128 | 2147483647 117185 511 | 14.359 % |
541.77/542.11 c | 118114 | 106855 607682 1690128 | 2147483647 117286 511 | 14.359 % |
542.07/542.44 c | 118224 | 106855 607682 1690128 | 2147483647 117396 511 | 14.359 % |
542.76/543.10 c | 118346 | 106855 607682 1690128 | 2147483647 117518 511 | 14.359 % |
543.87/544.23 c | 118479 | 106855 607682 1690128 | 2147483647 117651 511 | 14.359 % |
544.97/545.31 c | 118627 | 106855 607682 1690128 | 2147483647 117799 511 | 14.359 % |
545.67/546.07 c | 118787 | 106855 607682 1690128 | 2147483647 117959 511 | 14.359 % |
546.47/546.83 c | 118964 | 106852 607682 1690128 | 2147483647 118135 511 | 14.370 % |
547.47/547.87 c | 119157 | 106852 607682 1690128 | 2147483647 118328 510 | 14.370 % |
548.17/548.51 c | 119369 | 106852 607682 1690128 | 2147483647 118540 510 | 14.370 % |
548.86/549.23 c | 119602 | 106852 607682 1690128 | 2147483647 118773 510 | 14.370 % |
549.86/550.24 c | 119858 | 106852 607682 1690128 | 2147483647 119029 510 | 14.370 % |
550.77/551.11 c | 120139 | 106852 607682 1690128 | 2147483647 119310 509 | 14.370 % |
551.56/551.97 c | 120448 | 106852 607682 1690128 | 2147483647 119619 508 | 14.370 % |
552.16/552.54 c | 120789 | 106852 607682 1690128 | 2147483647 119960 507 | 14.370 % |
553.76/554.17 c | 121161 | 106851 607682 1690128 | 2147483647 120331 506 | 14.371 % |
556.17/556.56 c | 121573 | 106851 607682 1690128 | 2147483647 120743 506 | 14.371 % |
558.96/559.38 c | 122024 | 106845 607682 1690128 | 2147483647 121192 507 | 14.378 % |
561.37/561.77 c | 122519 | 106845 607682 1690128 | 2147483647 121687 507 | 14.378 % |
563.97/564.35 c | 123062 | 106845 607682 1690128 | 2147483647 122230 506 | 14.378 % |
567.46/567.87 c | 123659 | 106844 607682 1690128 | 2147483647 122826 505 | 14.379 % |
571.96/572.32 c | 124315 | 106843 607682 1690128 | 2147483647 123481 507 | 14.380 % |
575.96/576.33 c | 125035 | 106843 607682 1690128 | 2147483647 124201 509 | 14.380 % |
580.06/580.46 c | 125827 | 106843 607682 1690128 | 2147483647 124993 510 | 14.380 % |
588.25/588.60 c | 126701 | 106843 607682 1690128 | 2147483647 125867 514 | 14.380 % |
594.35/594.74 c | 127661 | 106843 607682 1690128 | 2147483647 126827 516 | 14.380 % |
600.94/601.34 c | 128715 | 106843 607682 1690128 | 2147483647 127881 517 | 14.380 % |
607.44/607.82 c | 129873 | 106842 607682 1690128 | 2147483647 129038 518 | 14.381 % |
614.83/615.25 c | 131147 | 106842 607682 1690128 | 2147483647 130312 521 | 14.381 % |
626.23/626.69 c | 132549 | 106841 607682 1690128 | 2147483647 131713 521 | 14.395 % |
626.63/627.09 c | 132652 | 106841 607682 1690128 | 2147483647 131816 521 | 14.395 % |
627.13/627.57 c | 132763 | 106839 607682 1690128 | 2147483647 131926 521 | 14.402 % |
627.84/628.26 c | 132885 | 106835 607682 1690128 | 2147483647 132048 520 | 14.402 % |
628.63/629.03 c | 133022 | 106834 607682 1690128 | 2147483647 132184 521 | 14.403 % |
629.23/629.63 c | 133168 | 106751 607682 1690128 | 2147483647 132328 520 | 14.535 % |
629.63/630.03 c | 133331 | 106751 607682 1690128 | 2147483647 132491 520 | 14.535 % |
629.94/630.39 c | 133507 | 106751 607682 1690128 | 2147483647 132667 519 | 14.535 % |
631.43/631.84 c | 133700 | 106634 606281 1686694 | 2147483647 132805 519 | 14.536 % |
633.42/633.84 c | 133914 | 106633 606281 1686694 | 2147483647 133018 520 | 14.537 % |
635.43/635.89 c | 134147 | 106632 606281 1686694 | 2147483647 133250 521 | 14.538 % |
637.32/637.77 c | 134403 | 106632 606281 1686694 | 2147483647 133506 522 | 14.538 % |
639.32/639.78 c | 134684 | 106632 606281 1686694 | 2147483647 133787 522 | 14.538 % |
641.82/642.29 c | 134993 | 106632 606281 1686694 | 2147483647 134096 524 | 14.538 % |
644.92/645.38 c | 135333 | 106632 606281 1686694 | 2147483647 134436 527 | 14.538 % |
646.92/647.37 c | 135705 | 106632 606281 1686694 | 2147483647 134808 527 | 14.538 % |
649.63/650.03 c | 136114 | 106632 606281 1686694 | 2147483647 135217 527 | 14.538 % |
653.72/654.18 c | 136563 | 106632 606281 1686694 | 2147483647 135666 529 | 14.538 % |
656.51/656.97 c | 137058 | 106632 606281 1686694 | 2147483647 136161 530 | 14.538 % |
658.72/659.14 c | 137601 | 106631 606281 1686694 | 2147483647 136703 529 | 14.539 % |
663.72/664.12 c | 138198 | 106631 606281 1686694 | 2147483647 137300 530 | 14.539 % |
667.61/668.07 c | 138855 | 106630 606281 1686694 | 2147483647 137956 531 | 14.539 % |
671.41/671.82 c | 139575 | 106630 606281 1686694 | 2147483647 138676 531 | 14.539 % |
675.32/675.76 c | 140367 | 106630 606281 1686694 | 2147483647 139468 532 | 14.539 % |
682.10/682.52 c | 141238 | 106630 606281 1686694 | 2147483647 140339 533 | 14.539 % |
689.40/689.83 c | 142196 | 106630 606281 1686694 | 2147483647 141297 537 | 14.539 % |
696.90/697.38 c | 143252 | 106630 606281 1686694 | 2147483647 142353 540 | 14.539 % |
702.60/703.09 c | 144413 | 106628 606281 1686694 | 2147483647 143511 539 | 14.582 % |
706.50/706.96 c | 145686 | 106628 606281 1686694 | 2147483647 144783 536 | 14.583 % |
714.99/715.40 c | 147088 | 106627 606281 1686694 | 2147483647 146185 539 | 14.583 % |
725.59/726.02 c | 148629 | 106627 606281 1686694 | 2147483647 147726 542 | 14.583 % |
726.19/726.62 c | 148731 | 106627 606281 1686694 | 2147483647 147828 542 | 14.583 % |
726.79/727.24 c | 148841 | 106627 606281 1686694 | 2147483647 147938 542 | 14.583 % |
727.39/727.84 c | 148963 | 106627 606281 1686694 | 2147483647 148060 542 | 14.583 % |
728.18/728.66 c | 149097 | 106627 606281 1686694 | 2147483647 148194 542 | 14.583 % |
729.28/729.71 c | 149243 | 106627 606281 1686694 | 2147483647 148340 542 | 14.583 % |
730.49/730.96 c | 149403 | 106627 606281 1686694 | 2147483647 148500 542 | 14.583 % |
731.59/732.01 c | 149579 | 106627 606281 1686694 | 2147483647 148676 542 | 14.583 % |
732.49/732.93 c | 149772 | 106627 606281 1686694 | 2147483647 148869 541 | 14.583 % |
734.19/734.61 c | 149984 | 106627 606281 1686694 | 2147483647 149081 542 | 14.583 % |
735.89/736.40 c | 150218 | 106627 606281 1686694 | 2147483647 149315 542 | 14.583 % |
738.28/738.71 c | 150475 | 106627 606281 1686694 | 2147483647 149572 543 | 14.583 % |
739.88/740.34 c | 150757 | 106627 606281 1686694 | 2147483647 149854 543 | 14.583 % |
742.08/742.52 c | 151069 | 106627 606281 1686694 | 2147483647 150166 543 | 14.583 % |
743.59/744.00 c | 151409 | 106627 606281 1686694 | 2147483647 150506 542 | 14.583 % |
746.19/746.69 c | 151781 | 106627 606281 1686694 | 2147483647 150878 543 | 14.583 % |
748.68/749.10 c | 152190 | 106627 606281 1686694 | 2147483647 151287 543 | 14.583 % |
752.08/752.53 c | 152639 | 106627 606281 1686694 | 2147483647 151736 545 | 14.583 % |
755.19/755.63 c | 153132 | 106576 605969 1685969 | 2147483647 152224 545 | 14.583 % |
758.08/758.56 c | 153674 | 106576 605969 1685969 | 2147483647 152766 545 | 14.583 % |
762.88/763.31 c | 154271 | 106576 605969 1685969 | 2147483647 153363 547 | 14.583 % |
767.86/768.32 c | 154929 | 106576 605969 1685969 | 2147483647 154021 549 | 14.583 % |
773.88/774.37 c | 155650 | 106575 605969 1685969 | 2147483647 154741 550 | 14.584 % |
779.07/779.60 c | 156446 | 106575 605969 1685969 | 2147483647 155537 551 | 14.584 % |
784.47/784.96 c | 157319 | 106575 605969 1685969 | 2147483647 156410 551 | 14.584 % |
791.06/791.58 c | 158280 | 106574 605969 1685969 | 2147483647 157370 553 | 14.584 % |
798.56/799.07 c | 159333 | 106574 605969 1685969 | 2147483647 158423 556 | 14.584 % |
805.06/805.52 c | 160491 | 106574 605969 1685969 | 2147483647 159581 556 | 14.584 % |
811.15/811.60 c | 161765 | 106571 605969 1685969 | 2147483647 160852 555 | 14.587 % |
820.55/821.08 c | 163166 | 106571 605969 1685969 | 2147483647 162253 561 | 14.587 % |
832.04/832.58 c | 164708 | 106561 605969 1685969 | 2147483647 163793 564 | 14.624 % |
844.14/844.66 c | 166402 | 106561 605969 1685969 | 2147483647 165487 567 | 14.624 % |
845.04/845.59 c | 166502 | 106561 605969 1685969 | 2147483647 165587 567 | 14.624 % |
846.04/846.53 c | 166612 | 106561 605969 1685969 | 2147483647 165697 567 | 14.624 % |
846.45/846.98 c | 166734 | 106561 605969 1685969 | 2147483647 165819 567 | 14.624 % |
847.14/847.62 c | 166867 | 106561 605969 1685969 | 2147483647 165952 567 | 14.624 % |
847.74/848.28 c | 167015 | 106561 605969 1685969 | 2147483647 166100 567 | 14.624 % |
848.94/849.42 c | 167175 | 106561 605969 1685969 | 2147483647 166260 567 | 14.624 % |
850.24/850.74 c | 167351 | 106561 605969 1685969 | 2147483647 166436 567 | 14.624 % |
851.74/852.20 c | 167545 | 106561 605969 1685969 | 2147483647 166630 567 | 14.624 % |
853.04/853.57 c | 167757 | 106561 605969 1685969 | 2147483647 166842 567 | 14.624 % |
855.24/855.75 c | 167995 | 106561 605969 1685969 | 2147483647 167080 567 | 14.624 % |
856.44/856.97 c | 168251 | 106561 605969 1685969 | 2147483647 167336 567 | 14.624 % |
858.44/858.92 c | 168537 | 106561 605969 1685969 | 2147483647 167622 567 | 14.624 % |
860.63/861.13 c | 168846 | 106561 605969 1685969 | 2147483647 167931 567 | 14.624 % |
863.03/863.53 c | 169186 | 106561 605969 1685969 | 2147483647 168271 569 | 14.624 % |
866.63/867.10 c | 169561 | 106561 605969 1685969 | 2147483647 168646 570 | 14.624 % |
868.24/868.75 c | 169970 | 106560 605969 1685969 | 2147483647 169054 569 | 14.624 % |
870.03/870.50 c | 170419 | 106560 605969 1685969 | 2147483647 169503 569 | 14.624 % |
873.83/874.30 c | 170914 | 106560 605969 1685969 | 2147483647 169998 570 | 14.624 % |
876.23/876.79 c | 171456 | 106558 605969 1685969 | 2147483647 170538 569 | 14.626 % |
881.33/881.81 c | 172052 | 106558 605969 1685969 | 2147483647 171134 571 | 14.626 % |
884.93/885.41 c | 172707 | 106555 605969 1685969 | 2147483647 171786 570 | 14.628 % |
889.12/889.69 c | 173427 | 106555 605969 1685969 | 2147483647 172506 571 | 14.628 % |
893.23/893.70 c | 174222 | 106554 605969 1685969 | 2147483647 173300 570 | 14.629 % |
897.32/897.81 c | 175098 | 106554 605969 1685969 | 2147483647 174176 567 | 14.629 % |
904.82/905.39 c | 176056 | 106554 605969 1685969 | 2147483647 175134 569 | 14.629 % |
912.52/913.04 c | 177110 | 106515 605610 1685045 | 2147483647 176149 572 | 14.636 % |
922.01/922.51 c | 178268 | 106515 605610 1685045 | 2147483647 177307 576 | 14.636 % |
930.01/930.57 c | 179543 | 106515 605610 1685045 | 2147483647 178582 578 | 14.636 % |
938.61/939.10 c | 180948 | 106515 605610 1685045 | 2147483647 179987 580 | 14.636 % |
950.40/950.97 c | 182489 | 106515 605610 1685045 | 2147483647 181528 582 | 14.636 % |
963.19/963.75 c | 184183 | 106515 605610 1685045 | 2147483647 183222 584 | 14.636 % |
977.59/978.17 c | 186046 | 106515 605610 1685045 | 2147483647 185085 586 | 14.636 % |
978.29/978.81 c | 186146 | 106515 605610 1685045 | 2147483647 185185 586 | 14.636 % |
979.09/979.67 c | 186257 | 106515 605610 1685045 | 2147483647 185296 586 | 14.636 % |
980.19/980.73 c | 186378 | 106514 605610 1685045 | 2147483647 185416 586 | 14.637 % |
981.28/981.86 c | 186513 | 106514 605610 1685045 | 2147483647 185551 586 | 14.637 % |
982.28/982.85 c | 186659 | 106514 605610 1685045 | 2147483647 185697 586 | 14.637 % |
983.68/984.25 c | 186819 | 106514 605610 1685045 | 2147483647 185857 586 | 14.637 % |
985.08/985.61 c | 186996 | 106514 605610 1685045 | 2147483647 186034 586 | 14.637 % |
986.38/986.97 c | 187189 | 106514 605610 1685045 | 2147483647 186227 586 | 14.637 % |
988.38/988.98 c | 187402 | 106514 605610 1685045 | 2147483647 186440 586 | 14.637 % |
990.08/990.66 c | 187635 | 106513 605610 1685045 | 2147483647 186672 587 | 14.638 % |
992.07/992.65 c | 187893 | 106513 605610 1685045 | 2147483647 186930 587 | 14.638 % |
994.27/994.83 c | 188174 | 106513 605610 1685045 | 2147483647 187211 587 | 14.638 % |
996.37/996.95 c | 188484 | 106513 605610 1685045 | 2147483647 187521 587 | 14.638 % |
998.77/999.35 c | 188825 | 106513 605610 1685045 | 2147483647 187862 587 | 14.638 % |
1001.67/1002.25 c | 189205 | 106512 605610 1685045 | 2147483647 188241 587 | 14.639 % |
1005.17/1005.77 c | 189618 | 106510 605610 1685045 | 2147483647 188653 587 | 14.641 % |
1009.07/1009.61 c | 190070 | 106510 605610 1685045 | 2147483647 189105 588 | 14.641 % |
1012.47/1013.09 c | 190565 | 106509 605610 1685045 | 2147483647 189599 587 | 14.642 % |
1017.07/1017.64 c | 191110 | 106509 605610 1685045 | 2147483647 190144 588 | 14.642 % |
1020.27/1020.82 c | 191706 | 106340 605610 1685045 | 2147483647 190739 588 | 15.083 % |
1025.36/1025.96 c | 192361 | 106340 605610 1685045 | 2147483647 191394 589 | 15.083 % |
1029.26/1029.81 c | 193087 | 106340 605610 1685045 | 2147483647 192120 589 | 15.083 % |
1034.07/1034.67 c | 193880 | 106340 605610 1685045 | 2147483647 192913 589 | 15.083 % |
1041.25/1041.87 c | 194751 | 106340 605610 1685045 | 2147483647 193784 591 | 15.083 % |
1049.55/1050.14 c | 195709 | 106338 605610 1685045 | 2147483647 194740 592 | 15.099 % |
1056.64/1057.24 c | 196762 | 106337 605610 1685045 | 2147483647 195792 592 | 15.100 % |
1067.15/1067.73 c | 197920 | 106337 605610 1685045 | 2147483647 196950 593 | 15.100 % |
1075.84/1076.41 c | 199193 | 106337 605610 1685045 | 2147483647 198223 595 | 15.100 % |
1085.54/1086.15 c | 200593 | 106337 605610 1685045 | 2147483647 199623 596 | 15.100 % |
1095.83/1096.48 c | 202133 | 106337 605610 1685045 | 2147483647 201163 597 | 15.100 % |
1106.03/1106.68 c | 203827 | 105875 601143 1674538 | 2147483647 202824 597 | 15.145 % |
1120.33/1120.97 c | 205692 | 105874 601143 1674538 | 2147483647 204688 603 | 15.145 % |
1135.82/1136.44 c | 207742 | 105874 601143 1674538 | 2147483647 206737 606 | 15.146 % |
1136.32/1136.99 c | 207843 | 105874 601143 1674538 | 2147483647 206838 606 | 15.146 % |
1137.32/1137.92 c | 207955 | 105874 601143 1674538 | 2147483647 206950 606 | 15.146 % |
1138.02/1138.62 c | 208076 | 105874 601143 1674538 | 2147483647 207070 606 | 15.149 % |
1138.61/1139.27 c | 208210 | 105874 601143 1674538 | 2147483647 207204 606 | 15.149 % |
1139.71/1140.37 c | 208358 | 105872 601143 1674538 | 2147483647 207352 606 | 15.149 % |
1141.41/1142.03 c | 208522 | 105871 601143 1674538 | 2147483647 207515 606 | 15.151 % |
1142.11/1142.75 c | 208699 | 105871 601143 1674538 | 2147483647 207692 605 | 15.151 % |
1142.71/1143.36 c | 208893 | 105871 601143 1674538 | 2147483647 207886 605 | 15.151 % |
1144.31/1144.97 c | 209107 | 105858 601143 1674538 | 2147483647 208099 605 | 15.170 % |
1146.41/1147.03 c | 209340 | 105858 601143 1674538 | 2147483647 208332 605 | 15.170 % |
1147.90/1148.51 c | 209599 | 105857 601143 1674538 | 2147483647 208590 605 | 15.171 % |
1150.01/1150.66 c | 209881 | 105857 601143 1674538 | 2147483647 208872 605 | 15.171 % |
1152.41/1153.03 c | 210191 | 105857 601143 1674538 | 2147483647 209182 606 | 15.171 % |
1154.41/1155.01 c | 210530 | 105857 601143 1674538 | 2147483647 209521 606 | 15.171 % |
1156.31/1156.92 c | 210905 | 105857 601143 1674538 | 2147483647 209896 605 | 15.171 % |
1158.50/1159.18 c | 211314 | 105857 601143 1674538 | 2147483647 210305 605 | 15.171 % |
1162.01/1162.67 c | 211767 | 105857 601143 1674538 | 2147483647 210758 606 | 15.171 % |
1165.80/1166.44 c | 212260 | 105857 601143 1674538 | 2147483647 211251 607 | 15.171 % |
1169.60/1170.22 c | 212802 | 105857 601143 1674538 | 2147483647 211793 607 | 15.171 % |
1174.99/1175.64 c | 213399 | 105857 601143 1674538 | 2147483647 212390 608 | 15.171 % |
1181.49/1182.19 c | 214054 | 105857 601143 1674538 | 2147483647 213045 609 | 15.171 % |
1186.39/1187.07 c | 214776 | 105857 601143 1674538 | 2147483647 213767 609 | 15.171 % |
1193.18/1193.83 c | 215568 | 105852 601143 1674538 | 2147483647 214557 610 | 15.186 % |
1198.78/1199.47 c | 216439 | 105852 601143 1674538 | 2147483647 215428 611 | 15.186 % |
1204.89/1205.51 c | 217399 | 105851 601143 1674538 | 2147483647 216387 611 | 15.187 % |
1212.08/1212.76 c | 218452 | 105850 601143 1674538 | 2147483647 217439 611 | 15.188 % |
1221.57/1222.26 c | 219611 | 105848 601143 1674538 | 2147483647 218596 612 | 15.192 % |
1230.87/1231.55 c | 220887 | 105848 601143 1674538 | 2147483647 219872 612 | 15.192 % |
1240.67/1241.33 c | 222289 | 105847 601143 1674538 | 2147483647 221273 614 | 15.193 % |
1251.87/1252.56 c | 223830 | 105846 601143 1674538 | 2147483647 222813 616 | 15.193 % |
1264.86/1265.54 c | 225524 | 105846 601143 1674538 | 2147483647 224507 619 | 15.193 % |
1276.46/1277.18 c | 227387 | 105846 601143 1674538 | 2147483647 226370 618 | 15.193 % |
1293.25/1294.00 c | 229436 | 105844 601143 1674538 | 2147483647 228417 622 | 15.195 % |
1308.84/1309.54 c | 231694 | 105844 601143 1674538 | 2147483647 230675 625 | 15.195 % |
1309.84/1310.55 c | 231794 | 105844 601143 1674538 | 2147483647 230775 625 | 15.195 % |
1310.74/1311.42 c | 231904 | 105844 601143 1674538 | 2147483647 230885 625 | 15.195 % |
1311.74/1312.45 c | 232025 | 105844 601143 1674538 | 2147483647 231006 625 | 15.195 % |
1312.83/1313.50 c | 232159 | 105844 601143 1674538 | 2147483647 231140 626 | 15.195 % |
1313.33/1314.01 c | 232309 | 105844 601143 1674538 | 2147483647 231290 625 | 15.195 % |
1314.63/1315.35 c | 232470 | 105844 601143 1674538 | 2147483647 231451 625 | 15.195 % |
1315.73/1316.46 c | 232646 | 105844 601143 1674538 | 2147483647 231627 625 | 15.195 % |
1316.83/1317.52 c | 232839 | 105844 601143 1674538 | 2147483647 231820 625 | 15.195 % |
1317.53/1318.22 c | 233053 | 105844 601143 1674538 | 2147483647 232034 624 | 15.195 % |
1319.14/1319.82 c | 233286 | 105844 601143 1674538 | 2147483647 232267 624 | 15.195 % |
1321.34/1322.07 c | 233542 | 105844 601143 1674538 | 2147483647 232522 625 | 15.196 % |
1322.34/1323.03 c | 233823 | 105843 601143 1674538 | 2147483647 232803 624 | 15.196 % |
1325.84/1326.52 c | 234135 | 105843 601143 1674538 | 2147483647 233115 625 | 15.196 % |
1327.93/1328.70 c | 234474 | 105843 601143 1674538 | 2147483647 233454 625 | 15.196 % |
1330.53/1331.23 c | 234846 | 105843 601143 1674538 | 2147483647 233826 624 | 15.196 % |
1333.74/1334.47 c | 235256 | 105843 601143 1674538 | 2147483647 234236 624 | 15.196 % |
1337.74/1338.41 c | 235706 | 105843 601143 1674538 | 2147483647 234686 625 | 15.196 % |
1341.83/1342.55 c | 236200 | 105843 601143 1674538 | 2147483647 235180 625 | 15.196 % |
1347.03/1347.73 c | 236744 | 105843 601143 1674538 | 2147483647 235724 626 | 15.196 % |
1352.03/1352.75 c | 237340 | 105837 601143 1674538 | 2147483647 236318 626 | 15.210 % |
1357.73/1358.44 c | 237998 | 105837 601143 1674538 | 2147483647 236976 628 | 15.210 % |
1363.73/1364.42 c | 238719 | 105793 600610 1673210 | 2147483647 237578 629 | 15.210 % |
1368.92/1369.61 c | 239512 | 105792 600610 1673210 | 2147483647 238370 628 | 15.217 % |
1375.92/1376.68 c | 240383 | 105787 600610 1673210 | 2147483647 239239 629 | 15.245 % |
1383.22/1383.97 c | 241343 | 105787 600610 1673210 | 2147483647 240199 631 | 15.245 % |
1392.22/1392.99 c | 242400 | 105787 600610 1673210 | 2147483647 241256 632 | 15.245 % |
1403.80/1404.55 c | 243558 | 105787 600610 1673210 | 2147483647 242414 636 | 15.245 % |
1413.60/1414.36 c | 244831 | 105787 600610 1673210 | 2147483647 243687 638 | 15.245 % |
1426.00/1426.77 c | 246232 | 105785 600610 1673210 | 2147483647 245085 639 | 15.247 % |
1437.99/1438.78 c | 247776 | 105776 600610 1673210 | 2147483647 246627 640 | 15.266 % |
1453.09/1453.87 c | 249474 | 105775 600610 1673210 | 2147483647 248323 642 | 15.267 % |
1470.68/1471.43 c | 251337 | 105774 600610 1673210 | 2147483647 250185 644 | 15.268 % |
1485.97/1486.73 c | 253386 | 105774 600610 1673210 | 2147483647 252234 649 | 15.268 % |
1503.96/1504.73 c | 255639 | 105771 600610 1673210 | 2147483647 254486 652 | 15.282 % |
1523.86/1524.64 c | 258119 | 105771 600610 1673210 | 2147483647 256966 658 | 15.282 % |
1524.96/1525.73 c | 258219 | 105771 600610 1673210 | 2147483647 257066 658 | 15.282 % |
1525.86/1526.69 c | 258331 | 105771 600610 1673210 | 2147483647 257178 658 | 15.282 % |
1527.06/1527.87 c | 258454 | 105771 600610 1673210 | 2147483647 257301 658 | 15.282 % |
1528.56/1529.30 c | 258590 | 105771 600610 1673210 | 2147483647 257437 659 | 15.282 % |
1529.56/1530.37 c | 258737 | 105771 600610 1673210 | 2147483647 257584 658 | 15.282 % |
1531.25/1532.04 c | 258898 | 105771 600610 1673210 | 2147483647 257745 658 | 15.282 % |
1532.85/1533.69 c | 259074 | 105771 600610 1673210 | 2147483647 257921 658 | 15.282 % |
1534.35/1535.11 c | 259269 | 105771 600610 1673210 | 2147483647 258116 658 | 15.282 % |
1535.95/1536.77 c | 259485 | 105771 600610 1673210 | 2147483647 258332 659 | 15.282 % |
1537.25/1538.02 c | 259718 | 105771 600610 1673210 | 2147483647 258565 658 | 15.282 % |
1539.65/1540.47 c | 259978 | 105771 600610 1673210 | 2147483647 258825 658 | 15.282 % |
1541.15/1541.90 c | 260259 | 105771 600610 1673210 | 2147483647 259106 658 | 15.282 % |
1542.14/1542.97 c | 260568 | 105771 600610 1673210 | 2147483647 259415 658 | 15.282 % |
1545.44/1546.23 c | 260907 | 105771 600610 1673210 | 2147483647 259754 658 | 15.282 % |
1548.25/1549.04 c | 261281 | 105771 600610 1673210 | 2147483647 260128 658 | 15.282 % |
1550.34/1551.15 c | 261692 | 105771 600610 1673210 | 2147483647 260539 658 | 15.282 % |
1554.45/1555.26 c | 262142 | 105771 600610 1673210 | 2147483647 260989 658 | 15.282 % |
1558.84/1559.61 c | 262639 | 105768 600610 1673210 | 2147483647 261483 658 | 15.285 % |
1563.44/1564.23 c | 263181 | 105768 600610 1673210 | 2147483647 262025 658 | 15.285 % |
1567.74/1568.51 c | 263777 | 105768 600610 1673210 | 2147483647 262621 658 | 15.285 % |
1574.44/1575.20 c | 264433 | 105768 600610 1673210 | 2147483647 263277 659 | 15.285 % |
1581.43/1582.22 c | 265154 | 105768 600610 1673210 | 2147483647 263998 662 | 15.285 % |
1588.92/1589.80 c | 265946 | 105768 600610 1673210 | 2147483647 264790 663 | 15.285 % |
1596.62/1597.41 c | 266817 | 105765 600610 1673210 | 2147483647 265660 664 | 15.287 % |
1603.02/1603.90 c | 267776 | 105765 600610 1673210 | 2147483647 266619 664 | 15.287 % |
1611.92/1612.75 c | 268830 | 105765 600610 1673210 | 2147483647 267673 664 | 15.287 % |
1623.10/1623.92 c | 269989 | 105765 600610 1673210 | 2147483647 268832 665 | 15.287 % |
1633.11/1633.93 c | 271264 | 105763 600610 1673210 | 2147483647 270105 665 | 15.289 % |
1645.50/1646.30 c | 272665 | 105763 600610 1673210 | 2147483647 271506 667 | 15.289 % |
1661.20/1662.10 c | 274206 | 105758 600610 1673210 | 2147483647 273044 669 | 15.474 % |
1674.99/1675.81 c | 275903 | 105758 600610 1673210 | 2147483647 274741 670 | 15.474 % |
1690.58/1691.48 c | 277769 | 105756 600610 1673210 | 2147483647 276605 672 | 15.476 % |
1706.57/1707.49 c | 279819 | 105462 598560 1668003 | 2147483647 278596 673 | 15.476 % |
1725.47/1726.33 c | 282072 | 105462 598560 1668003 | 2147483647 280848 675 | 15.479 % |
1746.36/1747.29 c | 284550 | 105460 598560 1668003 | 2147483647 283324 676 | 15.480 % |
1772.74/1773.66 c | 287275 | 105284 598560 1668003 | 2147483647 286044 676 | 15.693 % |
1774.14/1775.00 c | 287375 | 105284 598560 1668003 | 2147483647 286144 676 | 15.693 % |
1775.44/1776.33 c | 287487 | 105284 598560 1668003 | 2147483647 286256 677 | 15.693 % |
1776.14/1777.05 c | 287611 | 105284 598560 1668003 | 2147483647 286379 676 | 15.694 % |
1776.74/1777.61 c | 287746 | 105283 598560 1668003 | 2147483647 286513 676 | 15.706 % |
1777.14/1778.05 c | 287892 | 105283 598560 1668003 | 2147483647 286659 676 | 15.706 % |
1778.45/1779.39 c | 288053 | 105281 598560 1668003 | 2147483647 286820 676 | 15.706 % |
1779.45/1780.35 c | 288229 | 105281 598560 1668003 | 2147483647 286995 676 | 15.708 % |
1780.85/1781.77 c | 288423 | 105281 598560 1668003 | 2147483647 287189 675 | 15.708 % |
1781.65/1782.59 c | 288635 | 105280 598560 1668003 | 2147483647 287400 675 | 15.709 % |
1782.85/1783.76 c | 288868 | 105280 598560 1668003 | 2147483647 287633 675 | 15.709 % |
1784.94/1785.86 c | 289126 | 105279 598560 1668003 | 2147483647 287891 675 | 15.709 % |
1787.04/1787.95 c | 289408 | 105278 598560 1668003 | 2147483647 288172 675 | 15.710 % |
1789.74/1790.69 c | 289718 | 105278 598560 1668003 | 2147483647 288482 675 | 15.710 % |
1792.74/1793.67 c | 290060 | 105278 598560 1668003 | 2147483647 288824 675 | 15.710 % |
1796.34/1797.25 c | 290433 | 105278 598560 1668003 | 2147483647 289197 675 | 15.710 % |
1799.44/1800.34 c | 290843 | 105278 598560 1668003 | 2147483647 289607 675 | 15.710 % |
1801.34/1802.24 c | 291292 | 105278 598560 1668003 | 2147483647 290056 675 | 15.710 % |
1805.63/1806.57 c | 291785 | 105278 598560 1668003 | 2147483647 290549 675 | 15.710 % |
1810.74/1811.64 c | 292328 | 105278 598560 1668003 | 2147483647 291092 675 | 15.710 % |
1816.03/1816.99 c | 292924 | 105278 598560 1668003 | 2147483647 291688 676 | 15.710 % |
1823.02/1823.99 c | 293581 | 105274 598560 1668003 | 2147483647 292343 677 | 15.714 % |
1827.53/1828.44 c | 294301 | 105274 598560 1668003 | 2147483647 293063 676 | 15.714 % |
1834.93/1835.83 c | 295093 | 105274 598560 1668003 | 2147483647 293855 677 | 15.714 % |
1840.13/1841.03 c | 295965 | 105269 598560 1668003 | 2147483647 294726 676 | 15.725 % |
1849.72/1850.62 c | 296927 | 105269 598560 1668003 | 2147483647 295688 677 | 15.725 % |
1857.62/1858.51 c | 297981 | 105264 598560 1668003 | 2147483647 296741 678 | 15.897 % |
1868.41/1869.31 c | 299139 | 105258 598560 1668003 | 2147483647 297896 677 | 15.907 % |
1879.91/1880.86 c | 300414 | 105258 598560 1668003 | 2147483647 299171 678 | 15.907 % |
1890.71/1891.62 c | 301816 | 105258 598560 1668003 | 2147483647 300573 681 | 15.907 % |
1904.80/1905.74 c | 303356 | 105255 598560 1668003 | 2147483647 302111 682 | 15.918 % |
1920.80/1921.75 c | 305052 | 105252 598560 1668003 | 2147483647 303804 683 | 15.932 % |
1942.48/1943.43 c | 306916 | 105251 598560 1668003 | 2147483647 305667 685 | 15.933 % |
1963.47/1964.46 c | 308969 | 105251 598560 1668003 | 2147483647 307720 687 | 15.933 % |
1982.16/1983.20 c | 311222 | 105251 598560 1668003 | 2147483647 309973 691 | 15.933 % |
2003.16/2004.18 c | 313700 | 105251 598560 1668003 | 2147483647 312451 694 | 15.933 % |
2024.85/2025.88 c | 316425 | 105238 598560 1668003 | 2147483647 315171 694 | 15.950 % |
2049.65/2050.61 c | 319422 | 105237 598560 1668003 | 2147483647 318167 693 | 15.951 % |
2050.45/2051.49 c | 319524 | 105237 598560 1668003 | 2147483647 318269 693 | 15.951 % |
2051.65/2052.67 c | 319634 | 105237 598560 1668003 | 2147483647 318379 693 | 15.951 % |
2053.54/2054.55 c | 319756 | 105237 598560 1668003 | 2147483647 318501 693 | 15.951 % |
2054.95/2055.92 c | 319889 | 105236 598560 1668003 | 2147483647 318633 693 | 15.952 % |
2056.24/2057.24 c | 320035 | 105236 598560 1668003 | 2147483647 318779 693 | 15.952 % |
2056.94/2057.95 c | 320196 | 105236 598560 1668003 | 2147483647 318940 693 | 15.952 % |
2057.84/2058.86 c | 320374 | 105231 598560 1668003 | 2147483647 319117 692 | 15.963 % |
2059.74/2060.78 c | 320568 | 105231 598560 1668003 | 2147483647 319311 692 | 15.963 % |
2061.34/2062.38 c | 320782 | 105231 598560 1668003 | 2147483647 319525 692 | 15.963 % |
2063.13/2064.17 c | 321015 | 105231 598560 1668003 | 2147483647 319758 692 | 15.963 % |
2065.03/2066.00 c | 321273 | 105231 598560 1668003 | 2147483647 320016 692 | 15.963 % |
2067.54/2068.56 c | 321556 | 105231 598560 1668003 | 2147483647 320299 692 | 15.963 % |
2070.44/2071.43 c | 321867 | 105231 598560 1668003 | 2147483647 320610 692 | 15.963 % |
2073.03/2074.08 c | 322208 | 105231 598560 1668003 | 2147483647 320951 692 | 15.963 % |
2074.63/2075.66 c | 322584 | 105231 598560 1668003 | 2147483647 321327 691 | 15.963 % |
2079.13/2080.17 c | 322995 | 105231 598560 1668003 | 2147483647 321738 691 | 15.963 % |
2083.63/2084.60 c | 323447 | 105231 598560 1668003 | 2147483647 322190 691 | 15.963 % |
2087.23/2088.24 c | 323944 | 105231 598560 1668003 | 2147483647 322687 691 | 15.963 % |
2091.73/2092.78 c | 324486 | 105230 598560 1668003 | 2147483647 323228 691 | 15.964 % |
2098.02/2099.07 c | 325084 | 105230 598560 1668003 | 2147483647 323826 692 | 15.964 % |
2104.52/2105.51 c | 325740 | 105230 598560 1668003 | 2147483647 324482 692 | 15.964 % |
2111.42/2112.45 c | 326460 | 105229 598560 1668003 | 2147483647 325201 692 | 15.967 % |
2117.90/2118.92 c | 327253 | 105228 598560 1668003 | 2147483647 325993 692 | 15.969 % |
2125.31/2126.34 c | 328124 | 105228 598560 1668003 | 2147483647 326864 693 | 15.969 % |
2136.40/2137.45 c | 329084 | 104846 594562 1658287 | 2147483647 326001 696 | 15.969 % |
2147.71/2148.74 c | 330137 | 104846 594562 1658287 | 2147483647 327054 698 | 15.969 % |
2158.59/2159.65 c | 331295 | 104845 594562 1658287 | 2147483647 328211 698 | 15.982 % |
2168.79/2169.87 c | 332568 | 104845 594562 1658287 | 2147483647 329484 699 | 15.982 % |
2182.39/2183.48 c | 333968 | 104844 594562 1658287 | 2147483647 330883 701 | 15.983 % |
2200.18/2201.26 c | 335509 | 104844 594562 1658287 | 2147483647 332424 701 | 15.983 % |
2217.17/2218.29 c | 337203 | 104844 594562 1658287 | 2147483647 334118 702 | 15.983 % |
2236.46/2237.50 c | 339068 | 104843 594562 1658287 | 2147483647 335982 704 | 15.986 % |
2259.65/2260.74 c | 341117 | 104843 594562 1658287 | 2147483647 338031 708 | 15.986 % |
2279.85/2280.92 c | 343370 | 104842 594562 1658287 | 2147483647 340283 710 | 15.987 % |
2302.73/2303.84 c | 345849 | 104841 594562 1658287 | 2147483647 342761 712 | 15.988 % |
2328.53/2329.68 c | 348574 | 104830 594562 1658287 | 2147483647 345483 714 | 16.006 % |
2356.51/2357.64 c | 351571 | 104826 594562 1658287 | 2147483647 348477 716 | 16.015 % |
2386.90/2388.07 c | 354867 | 104826 594562 1658287 | 2147483647 351772 719 | 16.017 % |
2388.10/2389.24 c | 354969 | 104826 594562 1658287 | 2147483647 351874 719 | 16.017 % |
2389.00/2390.18 c | 355080 | 104793 594562 1658287 | 2147483647 351984 719 | 16.120 % |
2389.81/2390.94 c | 355203 | 104793 594562 1658287 | 2147483647 352107 719 | 16.120 % |
2390.31/2391.45 c | 355344 | 104793 594562 1658287 | 2147483647 352248 719 | 16.120 % |
2391.50/2392.69 c | 355494 | 104793 594562 1658287 | 2147483647 352398 719 | 16.120 % |
2393.70/2394.86 c | 355656 | 104793 594562 1658287 | 2147483647 352560 719 | 16.120 % |
2395.40/2396.57 c | 355832 | 104793 594562 1658287 | 2147483647 352736 719 | 16.120 % |
2397.80/2398.91 c | 356025 | 104793 594562 1658287 | 2147483647 352929 719 | 16.120 % |
2398.60/2399.72 c | 356237 | 104793 594562 1658287 | 2147483647 353141 719 | 16.120 % |
2402.09/2403.29 c | 356474 | 104793 594562 1658287 | 2147483647 353378 719 | 16.120 % |
2405.20/2406.30 c | 356733 | 104793 594562 1658287 | 2147483647 353637 719 | 16.120 % |
2407.70/2408.85 c | 357014 | 104793 594562 1658287 | 2147483647 353918 719 | 16.120 % |
2409.80/2410.99 c | 357327 | 104792 594562 1658287 | 2147483647 354230 719 | 16.121 % |
2413.40/2414.59 c | 357667 | 104792 594562 1658287 | 2147483647 354570 719 | 16.121 % |
2418.09/2419.21 c | 358040 | 104792 594562 1658287 | 2147483647 354943 719 | 16.121 % |
2422.49/2423.69 c | 358449 | 104792 594562 1658287 | 2147483647 355352 719 | 16.121 % |
2428.09/2429.23 c | 358901 | 104792 594562 1658287 | 2147483647 355804 720 | 16.121 % |
2432.68/2433.86 c | 359396 | 104792 594562 1658287 | 2147483647 356299 720 | 16.121 % |
2437.48/2438.66 c | 359940 | 104792 594562 1658287 | 2147483647 356843 720 | 16.121 % |
2443.18/2444.38 c | 360537 | 104791 594562 1658287 | 2147483647 357439 721 | 16.122 % |
2450.07/2451.21 c | 361192 | 104791 594562 1658287 | 2147483647 358094 721 | 16.122 % |
2455.98/2457.17 c | 361912 | 104791 594562 1658287 | 2147483647 358814 721 | 16.122 % |
2465.07/2466.28 c | 362704 | 104791 594562 1658287 | 2147483647 359606 721 | 16.122 % |
2473.46/2474.66 c | 363576 | 104791 594562 1658287 | 2147483647 360478 721 | 16.122 % |
2482.16/2483.39 c | 364537 | 104791 594562 1658287 | 2147483647 361439 721 | 16.122 % |
2491.76/2492.91 c | 365590 | 104791 594562 1658287 | 2147483647 362492 722 | 16.122 % |
2502.75/2503.93 c | 366750 | 104791 594562 1658287 | 2147483647 363652 724 | 16.122 % |
2515.15/2516.32 c | 368024 | 104791 594562 1658287 | 2147483647 364926 724 | 16.122 % |
2520.85/2522.04 c | 369426 | 104791 594562 1658287 | 2147483647 366328 722 | 16.122 % |
2540.54/2541.71 c | 370966 | 104791 594562 1658287 | 2147483647 367868 724 | 16.122 % |
2560.54/2561.75 c | 372661 | 104791 594562 1658287 | 2147483647 369563 725 | 16.122 % |
2579.02/2580.23 c | 374524 | 104789 594562 1658287 | 2147483647 371425 726 | 16.134 % |
2598.22/2599.44 c | 376574 | 104786 594562 1658287 | 2147483647 373471 726 | 16.139 % |
2616.71/2617.98 c | 378827 | 104777 594562 1658287 | 2147483647 375720 727 | 16.153 % |
2644.60/2645.84 c | 381305 | 104777 594562 1658287 | 2147483647 378198 729 | 16.153 % |
2672.99/2674.24 c | 384031 | 104777 594562 1658287 | 2147483647 380924 731 | 16.153 % |
2707.27/2708.53 c | 387028 | 104766 594562 1658287 | 2147483647 383916 732 | 16.168 % |
2747.56/2748.80 c | 390324 | 104765 594562 1658287 | 2147483647 387211 733 | 16.169 % |
2786.05/2787.37 c | 393953 | 104765 594562 1658287 | 2147483647 390840 737 | 16.169 % |
2788.04/2789.34 c | 394053 | 104597 593270 1655281 | 2147483647 390884 737 | 16.169 % |
2789.14/2790.43 c | 394163 | 104597 593270 1655281 | 2147483647 390994 737 | 16.169 % |
2790.44/2791.76 c | 394285 | 104597 593270 1655281 | 2147483647 391116 737 | 16.169 % |
2792.23/2793.51 c | 394418 | 104597 593270 1655281 | 2147483647 391249 737 | 16.169 % |
2794.13/2795.42 c | 394565 | 104597 593270 1655281 | 2147483647 391396 738 | 16.169 % |
2795.83/2797.15 c | 394725 | 104597 593270 1655281 | 2147483647 391556 738 | 16.169 % |
2797.94/2799.23 c | 394901 | 104597 593270 1655281 | 2147483647 391732 737 | 16.169 % |
2799.44/2800.78 c | 395095 | 104597 593270 1655281 | 2147483647 391926 737 | 16.169 % |
2801.73/2803.09 c | 395307 | 104596 593270 1655281 | 2147483647 392137 737 | 16.170 % |
2803.63/2804.98 c | 395540 | 104595 593270 1655281 | 2147483647 392369 737 | 16.170 % |
2804.53/2805.80 c | 395798 | 104595 593270 1655281 | 2147483647 392627 737 | 16.170 % |
2806.13/2807.46 c | 396083 | 104595 593270 1655281 | 2147483647 392912 737 | 16.170 % |
2807.73/2809.08 c | 396394 | 104595 593270 1655281 | 2147483647 393223 736 | 16.170 % |
2809.43/2810.70 c | 396733 | 104595 593270 1655281 | 2147483647 393562 736 | 16.170 % |
2812.53/2813.84 c | 397105 | 104587 593270 1655281 | 2147483647 393933 736 | 16.193 % |
2818.43/2819.79 c | 397518 | 104587 593270 1655281 | 2147483647 394346 736 | 16.193 % |
2821.92/2823.22 c | 397970 | 104587 593270 1655281 | 2147483647 394798 736 | 16.193 % |
2826.93/2828.24 c | 398464 | 104587 593270 1655281 | 2147483647 395292 736 | 16.193 % |
2831.43/2832.72 c | 399006 | 104587 593270 1655281 | 2147483647 395834 736 | 16.193 % |
2837.62/2838.95 c | 399603 | 104587 593270 1655281 | 2147483647 396431 737 | 16.193 % |
2843.72/2845.04 c | 400258 | 104587 593270 1655281 | 2147483647 397086 737 | 16.193 % |
2852.02/2853.40 c | 400978 | 104587 593270 1655281 | 2147483647 397806 737 | 16.193 % |
2859.72/2861.04 c | 401770 | 104587 593270 1655281 | 2147483647 398598 737 | 16.193 % |
2868.61/2869.93 c | 402643 | 104587 593270 1655281 | 2147483647 399471 737 | 16.193 % |
2878.10/2879.44 c | 403601 | 104586 593270 1655281 | 2147483647 400428 737 | 16.194 % |
2889.30/2890.68 c | 404655 | 104578 593270 1655281 | 2147483647 401481 737 | 16.208 % |
2900.50/2901.85 c | 405814 | 104578 593270 1655281 | 2147483647 402640 738 | 16.208 % |
2912.60/2913.92 c | 407087 | 104577 593270 1655281 | 2147483647 403912 739 | 16.209 % |
2930.98/2932.39 c | 408488 | 104577 593270 1655281 | 2147483647 405313 742 | 16.209 % |
2944.08/2945.41 c | 410028 | 104577 593270 1655281 | 2147483647 406853 743 | 16.209 % |
2959.78/2961.20 c | 411722 | 104577 593270 1655281 | 2147483647 408547 743 | 16.209 % |
2981.36/2982.71 c | 413587 | 104576 593270 1655281 | 2147483647 410411 744 | 16.335 % |
2999.66/3001.10 c | 415636 | 104576 593270 1655281 | 2147483647 412460 744 | 16.335 % |
3018.94/3020.34 c | 417889 | 104576 593270 1655281 | 2147483647 414713 744 | 16.335 % |
3047.44/3048.88 c | 420368 | 104576 593270 1655281 | 2147483647 417192 747 | 16.335 % |
3080.73/3082.10 c | 423095 | 104575 593270 1655281 | 2147483647 419917 749 | 16.339 % |
3108.01/3109.43 c | 426092 | 104574 593270 1655281 | 2147483647 422913 750 | 16.342 % |
3139.40/3140.85 c | 429389 | 104573 593270 1655281 | 2147483647 426209 752 | 16.343 % |
3171.49/3172.98 c | 433015 | 104573 593270 1655281 | 2147483647 429835 754 | 16.343 % |
3231.86/3233.32 c | 437003 | 104573 593270 1655281 | 2147483647 433823 759 | 16.343 % |
3232.66/3234.19 c | 437103 | 104573 593270 1655281 | 2147483647 433923 759 | 16.343 % |
3234.37/3235.81 c | 437215 | 104573 593270 1655281 | 2147483647 434035 759 | 16.343 % |
3235.57/3237.03 c | 437339 | 104573 593270 1655281 | 2147483647 434159 759 | 16.343 % |
3237.67/3239.16 c | 437474 | 104573 593270 1655281 | 2147483647 434294 759 | 16.343 % |
3239.87/3241.32 c | 437622 | 104573 593270 1655281 | 2147483647 434442 759 | 16.343 % |
3242.06/3243.50 c | 437782 | 104573 593270 1655281 | 2147483647 434602 759 | 16.343 % |
3243.96/3245.48 c | 437958 | 104567 593270 1655281 | 2147483647 434777 759 | 16.356 % |
3246.86/3248.30 c | 438151 | 104567 593270 1655281 | 2147483647 434970 759 | 16.356 % |
3249.65/3251.14 c | 438369 | 104567 593270 1655281 | 2147483647 435188 759 | 16.356 % |
3251.65/3253.19 c | 438602 | 104566 593270 1655281 | 2147483647 435420 759 | 16.358 % |
3253.25/3254.71 c | 438859 | 104566 593270 1655281 | 2147483647 435677 759 | 16.358 % |
3254.85/3256.39 c | 439140 | 104566 593270 1655281 | 2147483647 435958 758 | 16.358 % |
3257.65/3259.19 c | 439452 | 104566 593270 1655281 | 2147483647 436270 758 | 16.358 % |
3261.95/3263.44 c | 439791 | 104566 593270 1655281 | 2147483647 436609 758 | 16.358 % |
3266.55/3268.04 c | 440168 | 104566 593270 1655281 | 2147483647 436986 758 | 16.358 % |
3271.25/3272.77 c | 440580 | 104565 593270 1655281 | 2147483647 437397 758 | 16.359 % |
3275.75/3277.20 c | 441029 | 104565 593270 1655281 | 2147483647 437846 758 | 16.359 % |
3281.24/3282.75 c | 441523 | 104564 593270 1655281 | 2147483647 438339 758 | 16.360 % |
3287.84/3289.34 c | 442065 | 104564 593270 1655281 | 2147483647 438881 758 | 16.360 % |
3291.04/3292.51 c | 442669 | 104562 593270 1655281 | 2147483647 439483 758 | 16.363 % |
3295.04/3296.51 c | 443327 | 104560 593270 1655281 | 2147483647 440139 757 | 16.373 % |
3303.23/3304.73 c | 444048 | 104552 593270 1655281 | 2147483647 440860 757 | 16.373 % |
3311.43/3312.98 c | 444841 | 104552 593270 1655281 | 2147483647 441653 757 | 16.373 % |
3320.53/3322.02 c | 445712 | 104552 593270 1655281 | 2147483647 442524 758 | 16.373 % |
3333.21/3334.71 c | 446672 | 104550 593270 1655281 | 2147483647 443483 759 | 16.378 % |
3346.21/3347.71 c | 447727 | 104550 593270 1655281 | 2147483647 444538 760 | 16.378 % |
3359.01/3360.53 c | 448885 | 104550 593270 1655281 | 2147483647 445696 760 | 16.378 % |
3372.30/3373.87 c | 450159 | 104549 593270 1655281 | 2147483647 446969 760 | 16.379 % |
3387.59/3389.12 c | 451559 | 104548 593270 1655281 | 2147483647 448368 761 | 16.380 % |
3405.19/3406.74 c | 453099 | 104536 593270 1655281 | 2147483647 449907 762 | 16.400 % |
3427.77/3429.31 c | 454796 | 104536 593270 1655281 | 2147483647 451604 763 | 16.400 % |
3448.17/3449.71 c | 456664 | 104536 593270 1655281 | 2147483647 453472 764 | 16.400 % |
3472.85/3474.47 c | 458714 | 104536 593270 1655281 | 2147483647 455522 766 | 16.400 % |
3496.94/3498.55 c | 460970 | 104508 593270 1655281 | 2147483647 457777 766 | 16.452 % |
3523.53/3525.16 c | 463450 | 104504 593270 1655281 | 2147483647 460254 768 | 16.456 % |
3553.33/3554.90 c | 466176 | 104502 593270 1655281 | 2147483647 462978 769 | 16.464 % |
3595.01/3596.63 c | 469177 | 104501 593270 1655281 | 2147483647 465979 771 | 16.464 % |
3635.39/3637.07 c | 472475 | 104501 593270 1655281 | 2147483647 469277 775 | 16.464 % |
3678.57/3680.26 c | 476103 | 104500 593270 1655281 | 2147483647 472904 778 | 16.465 % |
3725.85/3727.53 c | 480092 | 104500 593270 1655281 | 2147483647 476893 781 | 16.465 % |
3770.33/3772.09 c | 484478 | 104228 591020 1649337 | 2147483647 481073 784 | 16.465 % |
3771.43/3773.17 c | 484578 | 104228 591020 1649337 | 2147483647 481173 784 | 16.465 % |
3772.63/3774.30 c | 484688 | 104228 591020 1649337 | 2147483647 481283 784 | 16.465 % |
3773.93/3775.67 c | 484811 | 104228 591020 1649337 | 2147483647 481406 784 | 16.465 % |
3774.93/3776.63 c | 484946 | 104228 591020 1649337 | 2147483647 481541 784 | 16.465 % |
3776.13/3777.89 c | 485093 | 104228 591020 1649337 | 2147483647 481688 784 | 16.465 % |
3777.02/3778.71 c | 485253 | 104227 591020 1649337 | 2147483647 481847 784 | 16.465 % |
3778.23/3779.91 c | 485429 | 104227 591020 1649337 | 2147483647 482023 784 | 16.465 % |
3781.32/3783.09 c | 485623 | 104227 591020 1649337 | 2147483647 482217 784 | 16.465 % |
3784.22/3785.93 c | 485836 | 104227 591020 1649337 | 2147483647 482430 784 | 16.465 % |
3786.32/3788.02 c | 486069 | 104227 591020 1649337 | 2147483647 482663 784 | 16.465 % |
3788.72/3790.41 c | 486325 | 104227 591020 1649337 | 2147483647 482919 784 | 16.465 % |
3792.92/3794.66 c | 486612 | 104226 591020 1649337 | 2147483647 483205 784 | 16.466 % |
3796.31/3798.00 c | 486921 | 104226 591020 1649337 | 2147483647 483514 784 | 16.466 % |
3800.32/3802.07 c | 487260 | 104226 591020 1649337 | 2147483647 483853 784 | 16.466 % |
3804.51/3806.20 c | 487633 | 104226 591020 1649337 | 2147483647 484226 784 | 16.466 % |
3808.61/3810.35 c | 488042 | 104224 591020 1649337 | 2147483647 484632 784 | 16.479 % |
3812.02/3813.79 c | 488491 | 104224 591020 1649337 | 2147483647 485081 784 | 16.479 % |
3818.52/3820.27 c | 488984 | 104220 591020 1649337 | 2147483647 485573 784 | 16.491 % |
3825.60/3827.32 c | 489526 | 104219 591020 1649337 | 2147483647 486114 784 | 16.492 % |
3832.01/3833.71 c | 490122 | 104219 591020 1649337 | 2147483647 486710 784 | 16.492 % |
3839.00/3840.73 c | 490777 | 104219 591020 1649337 | 2147483647 487365 784 | 16.492 % |
3845.91/3847.69 c | 491497 | 104219 591020 1649337 | 2147483647 488085 784 | 16.492 % |
3852.50/3854.25 c | 492291 | 104218 591020 1649337 | 2147483647 488878 784 | 16.493 % |
3862.50/3864.27 c | 493162 | 104218 591020 1649337 | 2147483647 489749 785 | 16.493 % |
3870.89/3872.65 c | 494120 | 104210 591020 1649337 | 2147483647 490704 785 | 16.506 % |
3882.79/3884.58 c | 495173 | 104209 591020 1649337 | 2147483647 491755 785 | 16.508 % |
3899.28/3901.02 c | 496332 | 104207 591020 1649337 | 2147483647 492913 785 | 16.510 % |
3916.07/3917.86 c | 497606 | 104207 591020 1649337 | 2147483647 494187 785 | 16.510 % |
3930.97/3932.79 c | 499007 | 104207 591020 1649337 | 2147483647 495588 785 | 16.510 % |
3948.76/3950.58 c | 500547 | 104207 591020 1649337 | 2147483647 497128 785 | 16.510 % |
3969.06/3970.84 c | 502241 | 104205 591020 1649337 | 2147483647 498821 786 | 16.522 % |
3990.15/3991.99 c | 504104 | 104200 591020 1649337 | 2147483647 500683 788 | 16.533 % |
4016.33/4018.11 c | 506160 | 104200 591020 1649337 | 2147483647 502739 790 | 16.533 % |
4040.82/4042.67 c | 508414 | 104200 591020 1649337 | 2147483647 504993 791 | 16.533 % |
4071.21/4073.00 c | 510894 | 104200 591020 1649337 | 2147483647 507473 793 | 16.533 % |
4107.19/4109.08 c | 513620 | 104198 591020 1649337 | 2147483647 510197 793 | 16.537 % |
4148.98/4150.81 c | 516619 | 104192 591020 1649337 | 2147483647 513193 793 | 16.550 % |
4192.15/4194.02 c | 519917 | 104192 591020 1649337 | 2147483647 516491 796 | 16.550 % |
4230.24/4232.12 c | 523542 | 104191 591020 1649337 | 2147483647 520115 797 | 16.551 % |
4287.62/4289.54 c | 527529 | 104191 591020 1649337 | 2147483647 524102 801 | 16.551 % |
4341.31/4343.28 c | 531914 | 104191 591020 1649337 | 2147483647 528487 805 | 16.551 % |
4400.98/4402.93 c | 536738 | 104191 591020 1649337 | 2147483647 533311 808 | 16.551 % |
4401.78/4403.76 c | 536838 | 104191 591020 1649337 | 2147483647 533411 808 | 16.551 % |
4402.18/4404.16 c | 536950 | 104191 591020 1649337 | 2147483647 533523 808 | 16.551 % |
4403.18/4405.13 c | 537071 | 104184 591020 1649337 | 2147483647 533643 808 | 16.565 % |
4403.88/4405.84 c | 537205 | 104184 591020 1649337 | 2147483647 533777 808 | 16.565 % |
4405.98/4407.90 c | 537351 | 104184 591020 1649337 | 2147483647 533923 808 | 16.565 % |
4408.29/4410.26 c | 537511 | 104184 591020 1649337 | 2147483647 534083 808 | 16.565 % |
4411.38/4413.30 c | 537690 | 104184 591020 1649337 | 2147483647 534262 808 | 16.565 % |
4413.27/4415.21 c | 537883 | 104184 591020 1649337 | 2147483647 534455 808 | 16.565 % |
4415.87/4417.81 c | 538096 | 104184 591020 1649337 | 2147483647 534668 808 | 16.565 % |
4418.27/4420.21 c | 538332 | 104184 591020 1649337 | 2147483647 534904 808 | 16.565 % |
4422.27/4424.21 c | 538598 | 104184 591020 1649337 | 2147483647 535170 808 | 16.565 % |
4427.07/4429.09 c | 538879 | 104184 591020 1649337 | 2147483647 535451 808 | 16.565 % |
4429.66/4431.62 c | 539188 | 104184 591020 1649337 | 2147483647 535760 808 | 16.565 % |
4434.37/4436.34 c | 539528 | 104184 591020 1649337 | 2147483647 536100 808 | 16.565 % |
4439.07/4441.09 c | 539900 | 104184 591020 1649337 | 2147483647 536472 808 | 16.565 % |
4444.27/4446.23 c | 540310 | 104184 591020 1649337 | 2147483647 536882 808 | 16.565 % |
4449.96/4451.96 c | 540759 | 104184 591020 1649337 | 2147483647 537331 808 | 16.565 % |
4457.46/4459.45 c | 541254 | 104184 591020 1649337 | 2147483647 537826 809 | 16.565 % |
4464.45/4466.45 c | 541796 | 104183 591020 1649337 | 2147483647 538367 809 | 16.572 % |
4472.44/4474.47 c | 542394 | 104180 591020 1649337 | 2147483647 538965 809 | 16.572 % |
4481.14/4483.16 c | 543053 | 104180 591020 1649337 | 2147483647 539624 809 | 16.572 % |
4487.55/4489.52 c | 543773 | 104180 591020 1649337 | 2147483647 540344 809 | 16.572 % |
4497.34/4499.35 c | 544566 | 104180 591020 1649337 | 2147483647 541137 809 | 16.572 % |
4507.94/4509.95 c | 545438 | 104180 591020 1649337 | 2147483647 542009 809 | 16.572 % |
4519.43/4521.47 c | 546398 | 104179 591020 1649337 | 2147483647 542968 810 | 16.573 % |
4533.43/4535.43 c | 547451 | 104179 591020 1649337 | 2147483647 544021 810 | 16.573 % |
4547.52/4549.59 c | 548609 | 104178 591020 1649337 | 2147483647 545178 810 | 16.574 % |
4566.11/4568.12 c | 549882 | 104178 591020 1649337 | 2147483647 546451 810 | 16.574 % |
4584.81/4586.86 c | 551289 | 104178 591020 1649337 | 2147483647 547858 811 | 16.574 % |
4604.30/4606.32 c | 552830 | 104177 591020 1649337 | 2147483647 549397 811 | 16.575 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837040-1242857003/watcher-1837040-1242857003 -o /tmp/evaluation-result-1837040-1242857003/solver-1837040-1242857003 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837040-1242857003.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.08 0.02 0.01 3/65 6072
/proc/meminfo: memFree=1746160/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313730384 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 269807747154 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/6072/statm: 1339 235 195 169 0 50 0
[pid=6073] ppid=6072 vsize=5356 CPUtime=0
/proc/6073/stat : 6073 (SatELiteGTI) S 6072 6072 6035 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313730385 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/6073/statm: 1339 238 198 169 0 50 0
[pid=6075] ppid=6073 vsize=192 CPUtime=0
/proc/6075/stat : 6075 (sed) R 6073 6072 6035 0 -1 4194304 42 0 0 0 0 0 0 0 21 0 1 0 313730385 196608 23 1992294400 4194304 4240196 548682069056 18446744073709551615 269804959113 0 0 4096 0 0 0 0 17 0 0 0
/proc/6075/statm: 48 23 16 11 0 11 0
[startup+0.024925 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 6072
/proc/meminfo: memFree=1746160/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101933 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 6072
/proc/meminfo: memFree=1746160/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301954 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 6072
/proc/meminfo: memFree=1746160/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701996 s]
/proc/loadavg: 0.08 0.02 0.01 3/65 6072
/proc/meminfo: memFree=1746160/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50107 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 6077
/proc/meminfo: memFree=1634016/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
[pid=6077] ppid=6072 vsize=128036 CPUtime=1.48
/proc/6077/stat : 6077 (SatELite_releas) R 6072 6072 6035 0 -1 4194304 32046 0 0 0 132 16 0 0 25 0 1 0 313730385 131108864 29357 1992294400 134512640 135223648 4294956128 18446744073709551615 134585493 0 0 4096 3 0 0 0 17 0 0 0
/proc/6077/statm: 32009 29357 76 173 0 31834 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 133392
[startup+3.10125 s]
/proc/loadavg: 0.08 0.02 0.01 2/67 6077
/proc/meminfo: memFree=1620320/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
[pid=6077] ppid=6072 vsize=140276 CPUtime=3.07
/proc/6077/stat : 6077 (SatELite_releas) R 6072 6072 6035 0 -1 4194304 34398 0 0 0 288 19 0 0 25 0 1 0 313730385 143642624 31709 1992294400 134512640 135223648 4294956128 18446744073709551615 134594089 0 0 4096 3 0 0 0 17 1 0 0
/proc/6077/statm: 35069 31709 76 173 0 34894 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 145632
[startup+6.30158 s]
/proc/loadavg: 0.23 0.05 0.02 2/67 6077
/proc/meminfo: memFree=1613984/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=0
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313730384 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 237 197 169 0 50 0
[pid=6077] ppid=6072 vsize=141880 CPUtime=6.27
/proc/6077/stat : 6077 (SatELite_releas) R 6072 6072 6035 0 -1 4194304 38604 0 0 0 603 24 0 0 25 0 1 0 313730385 145285120 32237 1992294400 134512640 135223648 4294956128 18446744073709551615 134587016 0 0 4096 3 0 0 0 17 0 0 0
/proc/6077/statm: 35470 32237 76 173 0 35295 0
Current children cumulated CPU time (s) 6.27
Current children cumulated vsize (KiB) 147236
[startup+12.7023 s]
/proc/loadavg: 0.29 0.06 0.02 2/67 6078
/proc/meminfo: memFree=1684256/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=42480 CPUtime=3.85
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 9918 0 0 0 380 5 0 0 25 0 1 0 313731267 43499520 9867 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 10620 9867 77 171 0 10447 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 47836
[startup+25.5016 s]
/proc/loadavg: 0.45 0.11 0.04 2/67 6078
/proc/meminfo: memFree=1681952/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=44988 CPUtime=16.66
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 10538 0 0 0 1659 7 0 0 25 0 1 0 313731267 46067712 10487 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 11247 10487 77 171 0 11074 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 50344
[startup+51.1013 s]
/proc/loadavg: 0.64 0.18 0.06 2/67 6078
/proc/meminfo: memFree=1673248/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=54008 CPUtime=42.22
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 12801 0 0 0 4213 9 0 0 25 0 1 0 313731267 55304192 12750 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 13502 12750 77 171 0 13329 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 59364
[startup+102.306 s]
/proc/loadavg: 0.84 0.30 0.11 2/67 6078
/proc/meminfo: memFree=1652128/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=74832 CPUtime=93.39
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 18005 0 0 0 9325 14 0 0 25 0 1 0 313731267 76627968 17954 1992294400 134512640 135215339 4294956240 18446744073709551615 134525025 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 18708 17954 77 171 0 18535 0
Current children cumulated CPU time (s) 102.17
Current children cumulated vsize (KiB) 80188
[startup+162.301 s]
/proc/loadavg: 0.94 0.43 0.16 2/67 6078
/proc/meminfo: memFree=1623400/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=104028 CPUtime=153.36
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 25281 0 0 0 15315 21 0 0 25 0 1 0 313731267 106524672 25230 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 26007 25230 77 171 0 25834 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 109384
[startup+222.301 s]
/proc/loadavg: 0.98 0.53 0.21 2/67 6078
/proc/meminfo: memFree=1594408/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=132468 CPUtime=213.34
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 32403 0 0 0 21308 26 0 0 25 0 1 0 313731267 135647232 32352 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 33117 32352 77 171 0 32944 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 137824
[startup+282.302 s]
/proc/loadavg: 0.99 0.61 0.26 2/67 6078
/proc/meminfo: memFree=1565224/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=161984 CPUtime=273.31
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 39757 0 0 0 27299 32 0 0 25 0 1 0 313731267 165871616 39706 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 40496 39706 77 171 0 40323 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 167340
[startup+342.301 s]
/proc/loadavg: 0.99 0.68 0.30 2/67 6078
/proc/meminfo: memFree=1535528/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=191248 CPUtime=333.29
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 47093 0 0 0 33291 38 0 0 25 0 1 0 313731267 195837952 47042 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 47812 47042 77 171 0 47639 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 196604
[startup+402.302 s]
/proc/loadavg: 0.99 0.74 0.34 2/67 6078
/proc/meminfo: memFree=1506216/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=221176 CPUtime=393.26
################
# More data... #
################
/proc/6078/statm: 408143 407099 77 171 0 407970 0
Current children cumulated CPU time (s) 4000.55
Current children cumulated vsize (KiB) 1637928
[startup+4062.31 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=67496/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1654928 CPUtime=4051.73
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 412746 0 0 0 404842 331 0 0 25 0 1 0 313731267 1694646272 412695 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 413732 412695 77 171 0 413559 0
Current children cumulated CPU time (s) 4060.51
Current children cumulated vsize (KiB) 1660284
[startup+4122.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=50408/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1672012 CPUtime=4111.71
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 417028 0 0 0 410835 336 0 0 25 0 1 0 313731267 1712140288 416977 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 418003 416977 77 171 0 417830 0
Current children cumulated CPU time (s) 4120.49
Current children cumulated vsize (KiB) 1677368
[startup+4182.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=31272/2055920 swapFree=4105500/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1691104 CPUtime=4171.69
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 421786 0 0 0 416830 339 0 0 25 0 1 0 313731267 1731690496 421735 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 422776 421735 77 171 0 422603 0
Current children cumulated CPU time (s) 4180.47
Current children cumulated vsize (KiB) 1696460
[startup+4242.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=15016/2055920 swapFree=4108700/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1710628 CPUtime=4231.66
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 426665 0 0 0 422822 344 0 0 25 0 1 0 313731267 1751683072 426614 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 427657 426614 77 171 0 427484 0
Current children cumulated CPU time (s) 4240.44
Current children cumulated vsize (KiB) 1715984
[startup+4302.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=16168/2055920 swapFree=4133276/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1733780 CPUtime=4291.64
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 432474 0 0 0 428816 348 0 0 25 0 1 0 313731267 1775390720 432423 1992294400 134512640 135215339 4294956240 18446744073709551615 134528863 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 433445 432423 77 171 0 433272 0
Current children cumulated CPU time (s) 4300.42
Current children cumulated vsize (KiB) 1739136
[startup+4362.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=15272/2055920 swapFree=4156308/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1757876 CPUtime=4351.62
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 438491 0 0 0 434809 353 0 0 25 0 1 0 313731267 1800065024 438440 1992294400 134512640 135215339 4294956240 18446744073709551615 134528802 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 439469 438440 77 171 0 439296 0
Current children cumulated CPU time (s) 4360.4
Current children cumulated vsize (KiB) 1763232
[startup+4422.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=15912/2055920 swapFree=4164712/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1778776 CPUtime=4411.59
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 443725 0 0 0 440802 357 0 0 25 0 1 0 313731267 1821466624 443674 1992294400 134512640 135215339 4294956240 18446744073709551615 134528788 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 444694 443674 77 171 0 444521 0
Current children cumulated CPU time (s) 4420.37
Current children cumulated vsize (KiB) 1784132
[startup+4482.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=15144/2055920 swapFree=4164712/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1796660 CPUtime=4471.56
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 448168 0 0 0 446795 361 0 0 25 0 1 0 313731267 1839779840 448117 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 449165 448117 77 171 0 448992 0
Current children cumulated CPU time (s) 4480.34
Current children cumulated vsize (KiB) 1802016
[startup+4542.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=15144/2055920 swapFree=4164712/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1814716 CPUtime=4531.55
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 452707 0 0 0 452790 365 0 0 25 0 1 0 313731267 1858269184 452656 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 453679 452656 77 171 0 453506 0
Current children cumulated CPU time (s) 4540.33
Current children cumulated vsize (KiB) 1820072
[startup+4602.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=15272/2055920 swapFree=4164712/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1832840 CPUtime=4591.52
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 457229 0 0 0 458784 368 0 0 25 0 1 0 313731267 1876828160 457178 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 458210 457178 77 171 0 458037 0
Current children cumulated CPU time (s) 4600.3
Current children cumulated vsize (KiB) 1838196
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+4617.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=14824/2055920 swapFree=4164712/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1837948 CPUtime=4606.52
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 458495 0 0 0 460283 369 0 0 25 0 1 0 313731267 1882058752 458444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 459487 458444 77 171 0 459314 0
Current children cumulated CPU time (s) 4615.3
Current children cumulated vsize (KiB) 1843304
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+4617.3 s]
/proc/loadavg: 0.99 0.97 0.91 2/67 6086
/proc/meminfo: memFree=14824/2055920 swapFree=4164712/4192956
[pid=6072] ppid=6070 vsize=5356 CPUtime=8.78
/proc/6072/stat : 6072 (SatELiteGTI) S 6070 6072 6035 0 -1 4194304 336 50432 0 0 0 0 841 37 16 0 1 0 313730384 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 269807575876 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6072/statm: 1339 239 197 169 0 50 0
[pid=6078] ppid=6072 vsize=1837948 CPUtime=4606.52
/proc/6078/stat : 6078 (minisat_static) R 6072 6072 6035 0 -1 4194304 458495 0 0 0 460283 369 0 0 25 0 1 0 313731267 1882058752 458444 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6078/statm: 459487 458444 77 171 0 459314 0
Current children cumulated CPU time (s) 4615.3
Current children cumulated vsize (KiB) 1843304
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6072 and gives
# childrusage.ru_utime.tv_sec=8
# childrusage.ru_utime.tv_usec=420719
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=375942
# CPU time returned by wait4() is 8.79666
# while last known CPU time is 4615.3
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4617.31
CPU time (s): 4615.3
CPU user time (s): 4611.24
CPU system time (s): 4.06
CPU usage (%): 99.9564
Max. virtual memory (cumulated for all children) (KiB): 1843304
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 8.42072
system time used= 0.375942
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 50768
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 15
involuntary context switches= 51
runsolver used 4.07538 second user time and 12.8061 second system time
The end
Begin job on node81 at 2009-05-21 00:03:25
IDJOB=1837040
IDBENCH=20352
IDSOLVER=674
FILE ID=node81/1837040-1242857003
PBS_JOBID= 9328438
Free space on /tmp= 126456 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-15-s.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837040-1242857003/watcher-1837040-1242857003 -o /tmp/evaluation-result-1837040-1242857003/solver-1837040-1242857003 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837040-1242857003.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a6b04ec2cace5c4e6bef212c7f2df796
RANDOM SEED=2016091326
node81.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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 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.234
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1746576 kB
Buffers: 38300 kB
Cached: 152224 kB
SwapCached: 80864 kB
Active: 98368 kB
Inactive: 174600 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1746576 kB
SwapTotal: 4192956 kB
SwapFree: 4105500 kB
Dirty: 23648 kB
Writeback: 0 kB
Mapped: 13512 kB
Slab: 22056 kB
Committed_AS: 964144 kB
PageTables: 1452 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264960 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 126436 MiB
End job on node81 at 2009-05-21 01:20:25