0.00/0.00 c Parsing...
0.00/0.82 c ==============================================================================
0.00/0.82 c | | ORIGINAL | LEARNT | |
0.00/0.82 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.82 c ==============================================================================
0.00/0.82 c | 0 | 1052492 2433683 | 315747 0 0 nan | 0.000 % |
7.28/7.39 c | 0 | 628528 1721300 | -- 0 -- -- | -- | -196875/-198394
7.28/7.39 c ==============================================================================
7.28/7.39 c Result : #vars: 113985 #clauses: 628528 #literals: 1721300
7.28/7.39 c CPU time: 7.14591 s
7.28/7.39 c ==============================================================================
7.98/8.01 c This is MiniSat 2.0 beta
7.98/8.01 c WARNING: for repeatability, setting FPU to use double precision
7.98/8.01 c ============================[ Problem Statistics ]=============================
7.98/8.01 c | |
7.98/8.01 c | Number of variables: 113985 |
7.98/8.01 c | Number of clauses: 628528 |
7.98/8.38 c | Parsing time: 0.33 s |
7.98/8.40 c ============================[ Search Statistics ]==============================
7.98/8.40 c | Conflicts | ORIGINAL | LEARNT | Progress |
7.98/8.40 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
7.98/8.40 c ===============================================================================
7.98/8.40 c | 0 | 113985 628528 1721300 | 209509 0 nan | 0.000 % |
8.66/8.72 c | 100 | 113742 628528 1721300 | 209509 98 86 | 0.930 % |
8.76/8.85 c | 203 | 113742 628528 1721300 | 209509 201 99 | 0.930 % |
8.86/8.98 c | 303 | 113742 628528 1721300 | 209509 301 91 | 0.930 % |
8.96/9.03 c | 414 | 113731 628528 1721300 | 209509 410 81 | 1.046 % |
9.06/9.12 c | 515 | 113731 628528 1721300 | 209509 511 77 | 1.046 % |
9.26/9.33 c | 625 | 113716 628528 1721300 | 209509 621 75 | 1.046 % |
9.46/9.56 c | 746 | 113716 628528 1721300 | 209509 742 71 | 1.046 % |
9.86/9.98 c | 846 | 112793 621613 1703966 | 209509 842 75 | 1.046 % |
10.16/10.29 c | 956 | 112793 621613 1703966 | 209509 952 98 | 1.046 % |
10.56/10.63 c | 1078 | 112793 621613 1703966 | 209509 1074 107 | 1.046 % |
10.96/11.05 c | 1211 | 112705 621089 1702626 | 209509 1206 110 | 1.123 % |
11.46/11.53 c | 1311 | 112699 621089 1702626 | 209509 1304 119 | 1.414 % |
11.76/11.82 c | 1422 | 112576 621089 1702626 | 209509 1413 117 | 1.958 % |
12.26/12.38 c | 1543 | 112576 621089 1702626 | 209509 1534 124 | 1.958 % |
12.56/12.67 c | 1676 | 111753 615619 1689202 | 209509 1666 126 | 1.958 % |
13.16/13.21 c | 1822 | 111753 615619 1689202 | 209509 1812 140 | 1.958 % |
13.46/13.60 c | 1922 | 111752 615619 1689202 | 209509 1911 141 | 2.228 % |
13.76/13.81 c | 2032 | 111752 615619 1689202 | 209509 2021 146 | 2.228 % |
14.16/14.23 c | 2153 | 111440 613803 1684547 | 209509 2140 148 | 3.205 % |
14.56/14.67 c | 2286 | 111440 613803 1684547 | 209509 2273 148 | 3.205 % |
14.86/14.99 c | 2432 | 111427 613803 1684547 | 209509 2418 150 | 3.371 % |
15.36/15.46 c | 2592 | 111427 613803 1684547 | 209509 2578 150 | 3.371 % |
15.55/15.65 c | 2693 | 110142 605965 1664683 | 209509 2675 151 | 3.371 % |
15.85/15.94 c | 2806 | 110130 605965 1664683 | 209509 2787 148 | 3.414 % |
16.25/16.30 c | 2927 | 110130 605965 1664683 | 209509 2908 158 | 3.414 % |
16.75/16.83 c | 3060 | 110130 605965 1664683 | 209509 3041 160 | 3.414 % |
17.15/17.21 c | 3206 | 110080 605659 1664011 | 209509 3186 161 | 3.426 % |
18.05/18.12 c | 3366 | 110078 605659 1664011 | 209509 3345 193 | 3.441 % |
18.56/18.65 c | 3542 | 110076 605659 1664011 | 209509 3520 194 | 3.833 % |
18.75/18.88 c | 3642 | 110076 605659 1664011 | 209509 3620 191 | 3.833 % |
19.06/19.10 c | 3753 | 109616 603647 1659914 | 209509 3731 192 | 3.833 % |
19.16/19.26 c | 3874 | 109616 603647 1659914 | 209509 3852 192 | 3.833 % |
20.06/20.15 c | 4012 | 109616 603647 1659914 | 209509 3990 196 | 3.833 % |
20.46/20.52 c | 4158 | 109553 603647 1659914 | 209509 4134 195 | 4.115 % |
20.87/20.95 c | 4318 | 108503 597615 1645584 | 209509 4283 194 | 4.809 % |
21.76/21.89 c | 4495 | 108503 597615 1645584 | 209509 4460 201 | 4.809 % |
22.26/22.36 c | 4690 | 108493 597615 1645584 | 209509 4653 198 | 4.978 % |
22.46/22.51 c | 4791 | 108493 597615 1645584 | 209509 4754 196 | 4.978 % |
22.56/22.68 c | 4902 | 108493 597615 1645584 | 209509 4865 195 | 4.978 % |
22.76/22.83 c | 5024 | 108311 596623 1643307 | 209509 4987 192 | 4.978 % |
22.86/22.97 c | 5158 | 108311 596623 1643307 | 209509 5121 190 | 4.978 % |
23.76/23.81 c | 5305 | 108311 596623 1643307 | 209509 5268 192 | 4.978 % |
24.86/24.96 c | 5465 | 108222 596623 1643307 | 209509 5425 203 | 6.138 % |
25.96/26.03 c | 5644 | 106989 588662 1622821 | 209509 5600 211 | 6.138 % |
26.26/26.37 c | 5838 | 106989 588662 1622821 | 209509 5794 209 | 6.138 % |
27.06/27.13 c | 6050 | 106989 588662 1622821 | 209509 6006 215 | 6.138 % |
27.36/27.47 c | 6153 | 106989 588662 1622821 | 209509 6109 221 | 6.138 % |
27.96/28.03 c | 6263 | 106989 588662 1622821 | 209509 6219 224 | 6.138 % |
28.36/28.43 c | 6384 | 106858 588084 1621297 | 209509 6336 221 | 8.092 % |
28.66/28.73 c | 6520 | 106852 588084 1621297 | 209509 6471 219 | 8.112 % |
28.76/28.84 c | 6669 | 106852 588084 1621297 | 209509 6620 216 | 8.112 % |
29.66/29.73 c | 6832 | 106795 588084 1621297 | 209509 6781 223 | 8.368 % |
30.45/30.58 c | 7011 | 106795 588084 1621297 | 209509 6959 225 | 8.371 % |
31.35/31.44 c | 7204 | 104443 574173 1586894 | 209509 7143 231 | 8.371 % |
32.14/32.21 c | 7416 | 104378 574173 1586894 | 209509 7352 230 | 8.686 % |
33.05/33.12 c | 7651 | 104378 574173 1586894 | 209509 7587 236 | 8.686 % |
33.45/33.55 c | 7752 | 104309 574173 1586894 | 209509 7687 235 | 8.797 % |
33.96/34.02 c | 7864 | 103958 571667 1581360 | 209509 7793 238 | 8.797 % |
34.35/34.42 c | 7987 | 103958 571667 1581360 | 209509 7916 238 | 8.797 % |
34.85/34.90 c | 8120 | 103938 571667 1581360 | 209509 8048 238 | 8.951 % |
35.45/35.52 c | 8266 | 103938 571667 1581360 | 209509 8194 243 | 8.951 % |
35.85/35.99 c | 8426 | 103938 571667 1581360 | 209509 8354 246 | 8.951 % |
36.65/36.78 c | 8602 | 103938 571667 1581360 | 209509 8530 253 | 8.951 % |
37.55/37.61 c | 8796 | 103782 570639 1578717 | 209509 8724 256 | 8.951 % |
38.35/38.50 c | 9009 | 103782 570639 1578717 | 209509 8937 259 | 8.951 % |
39.05/39.17 c | 9245 | 103781 570639 1578717 | 209509 9172 259 | 8.967 % |
39.85/40.00 c | 9501 | 103781 570639 1578717 | 209509 9428 262 | 8.967 % |
40.05/40.10 c | 9601 | 103781 570639 1578717 | 209509 9528 261 | 8.967 % |
40.35/40.46 c | 9712 | 103764 570521 1578405 | 209509 9639 260 | 8.967 % |
40.84/40.91 c | 9833 | 103764 570521 1578405 | 209509 9760 260 | 8.967 % |
41.24/41.31 c | 9968 | 103764 570521 1578405 | 209509 9895 260 | 8.967 % |
41.64/41.79 c | 10114 | 103758 570521 1578405 | 2147483647 10040 261 | 8.986 % |
42.53/42.66 c | 10274 | 103758 570521 1578405 | 2147483647 10200 263 | 8.986 % |
43.33/43.43 c | 10452 | 103758 570521 1578405 | 2147483647 10377 267 | 9.003 % |
43.94/44.07 c | 10645 | 103712 570270 1577763 | 2147483647 10567 267 | 9.038 % |
44.84/44.92 c | 10860 | 103712 570270 1577763 | 2147483647 10782 273 | 9.038 % |
45.84/45.94 c | 11095 | 103712 570270 1577763 | 2147483647 11017 274 | 9.038 % |
46.63/46.72 c | 11351 | 103712 570270 1577763 | 2147483647 11273 273 | 9.038 % |
48.13/48.23 c | 11632 | 103501 569020 1574387 | 2147483647 11551 275 | 9.198 % |
48.62/48.74 c | 11732 | 103501 569020 1574387 | 2147483647 11651 277 | 9.198 % |
49.32/49.50 c | 11844 | 103501 569020 1574387 | 2147483647 11763 283 | 9.198 % |
50.02/50.14 c | 11966 | 103501 569020 1574387 | 2147483647 11885 287 | 9.198 % |
50.52/50.62 c | 12099 | 103501 569020 1574387 | 2147483647 12018 289 | 9.198 % |
51.22/51.33 c | 12248 | 103501 569020 1574387 | 2147483647 12167 290 | 9.198 % |
52.01/52.12 c | 12408 | 103479 569020 1574387 | 2147483647 12325 291 | 9.707 % |
52.71/52.83 c | 12585 | 103479 569020 1574387 | 2147483647 12502 295 | 9.707 % |
53.70/53.82 c | 12778 | 102920 566404 1569155 | 2147483647 12693 302 | 9.707 % |
54.80/54.90 c | 12992 | 102920 566404 1569155 | 2147483647 12907 310 | 9.707 % |
56.00/56.11 c | 13225 | 102920 566404 1569155 | 2147483647 13140 318 | 9.707 % |
56.91/57.09 c | 13481 | 102920 566404 1569155 | 2147483647 13396 321 | 9.707 % |
58.00/58.12 c | 13768 | 102920 566404 1569155 | 2147483647 13683 325 | 9.707 % |
59.30/59.44 c | 14077 | 102906 566310 1568902 | 2147483647 13991 325 | 9.720 % |
59.50/59.69 c | 14177 | 102906 566310 1568902 | 2147483647 14091 325 | 9.720 % |
59.80/59.97 c | 14288 | 102764 566310 1568902 | 2147483647 14201 323 | 9.969 % |
60.30/60.40 c | 14415 | 102764 566310 1568902 | 2147483647 14328 322 | 9.969 % |
60.40/60.57 c | 14551 | 102764 566310 1568902 | 2147483647 14464 320 | 9.969 % |
61.00/61.19 c | 14699 | 102764 566310 1568902 | 2147483647 14612 319 | 9.969 % |
61.29/61.46 c | 14860 | 102764 566310 1568902 | 2147483647 14773 317 | 9.969 % |
62.19/62.30 c | 15036 | 102764 566310 1568902 | 2147483647 14949 321 | 9.969 % |
62.69/62.86 c | 15229 | 102759 566310 1568902 | 2147483647 15139 318 | 10.077 % |
63.39/63.55 c | 15441 | 102759 566310 1568902 | 2147483647 15351 320 | 10.077 % |
64.69/64.83 c | 15674 | 102759 566310 1568902 | 2147483647 15584 322 | 10.077 % |
65.90/66.05 c | 15932 | 102499 564248 1563146 | 2147483647 15841 334 | 10.077 % |
66.89/67.05 c | 16214 | 102499 564248 1563146 | 2147483647 16123 332 | 10.077 % |
68.19/68.39 c | 16523 | 102499 564248 1563146 | 2147483647 16432 332 | 10.077 % |
69.48/69.60 c | 16862 | 102499 564248 1563146 | 2147483647 16771 337 | 10.077 % |
69.78/69.96 c | 16962 | 102499 564248 1563146 | 2147483647 16871 337 | 10.077 % |
69.98/70.19 c | 17073 | 102499 564248 1563146 | 2147483647 16982 336 | 10.077 % |
70.38/70.54 c | 17196 | 102499 564248 1563146 | 2147483647 17105 335 | 10.077 % |
70.89/71.06 c | 17329 | 102499 564248 1563146 | 2147483647 17238 335 | 10.077 % |
71.59/71.74 c | 17475 | 102499 564248 1563146 | 2147483647 17384 336 | 10.077 % |
71.79/71.97 c | 17636 | 102499 564248 1563146 | 2147483647 17545 334 | 10.077 % |
72.49/72.62 c | 17812 | 102499 564248 1563146 | 2147483647 17721 332 | 10.077 % |
73.39/73.59 c | 18005 | 102163 562736 1560122 | 2147483647 17910 336 | 10.372 % |
73.99/74.11 c | 18220 | 102163 562736 1560122 | 2147483647 18125 336 | 10.372 % |
75.28/75.43 c | 18455 | 102161 562736 1560122 | 2147483647 18359 337 | 10.570 % |
76.68/76.84 c | 18711 | 102161 562736 1560122 | 2147483647 18615 337 | 10.570 % |
77.58/77.71 c | 18992 | 102080 562736 1560122 | 2147483647 18893 336 | 10.914 % |
78.08/78.26 c | 19301 | 102077 562736 1560122 | 2147483647 19200 333 | 10.937 % |
78.99/79.17 c | 19640 | 102071 562736 1560122 | 2147483647 19538 331 | 10.948 % |
80.99/81.17 c | 20013 | 102071 562736 1560122 | 2147483647 19911 331 | 10.948 % |
81.29/81.47 c | 20115 | 101506 559647 1552738 | 2147483647 20012 331 | 10.948 % |
81.69/81.90 c | 20225 | 101506 559647 1552738 | 2147483647 20122 331 | 10.948 % |
82.29/82.46 c | 20347 | 101506 559647 1552738 | 2147483647 20244 331 | 10.948 % |
82.79/82.94 c | 20480 | 101506 559647 1552738 | 2147483647 20377 330 | 10.948 % |
83.39/83.57 c | 20628 | 101506 559647 1552738 | 2147483647 20525 333 | 10.948 % |
83.78/83.91 c | 20789 | 101506 559647 1552738 | 2147483647 20686 332 | 10.948 % |
84.78/84.99 c | 20965 | 101506 559647 1552738 | 2147483647 20862 334 | 10.948 % |
85.78/85.91 c | 21158 | 101506 559647 1552738 | 2147483647 21055 334 | 10.948 % |
86.99/87.19 c | 21370 | 101506 559647 1552738 | 2147483647 21267 336 | 10.948 % |
88.19/88.38 c | 21606 | 101506 559647 1552738 | 2147483647 21502 339 | 11.096 % |
89.09/89.27 c | 21864 | 101128 557757 1547438 | 2147483647 21756 339 | 11.280 % |
90.48/90.61 c | 22145 | 101128 557757 1547438 | 2147483647 22037 345 | 11.280 % |
91.78/91.93 c | 22454 | 101128 557757 1547438 | 2147483647 22346 348 | 11.280 % |
93.78/93.92 c | 22793 | 101128 557757 1547438 | 2147483647 22685 349 | 11.280 % |
95.68/95.87 c | 23166 | 101128 557757 1547438 | 2147483647 23058 357 | 11.280 % |
98.27/98.46 c | 23576 | 101128 557757 1547438 | 2147483647 23468 362 | 11.280 % |
98.58/98.74 c | 23676 | 101128 557757 1547438 | 2147483647 23568 362 | 11.280 % |
98.78/98.97 c | 23786 | 101128 557757 1547438 | 2147483647 23678 361 | 11.280 % |
99.08/99.28 c | 23908 | 101128 557757 1547438 | 2147483647 23800 360 | 11.280 % |
99.68/99.80 c | 24042 | 101128 557757 1547438 | 2147483647 23934 360 | 11.280 % |
100.08/100.22 c | 24188 | 101128 557757 1547438 | 2147483647 24080 360 | 11.280 % |
100.78/100.93 c | 24348 | 101128 557757 1547438 | 2147483647 24240 360 | 11.280 % |
101.67/101.86 c | 24525 | 101128 557757 1547438 | 2147483647 24417 361 | 11.280 % |
102.27/102.42 c | 24720 | 101128 557757 1547438 | 2147483647 24612 360 | 11.280 % |
102.97/103.14 c | 24932 | 101128 557757 1547438 | 2147483647 24824 362 | 11.280 % |
103.77/103.98 c | 25165 | 101128 557757 1547438 | 2147483647 25057 362 | 11.280 % |
105.17/105.31 c | 25421 | 101128 557757 1547438 | 2147483647 25313 362 | 11.280 % |
106.27/106.42 c | 25702 | 101015 556743 1544734 | 2147483647 25583 362 | 11.379 % |
107.87/108.02 c | 26011 | 101014 556743 1544734 | 2147483647 25891 367 | 11.380 % |
108.97/109.14 c | 26351 | 101014 556743 1544734 | 2147483647 26231 370 | 11.380 % |
110.97/111.19 c | 26723 | 101014 556743 1544734 | 2147483647 26603 383 | 11.380 % |
112.97/113.19 c | 27132 | 101012 556743 1544734 | 2147483647 27010 384 | 11.381 % |
114.97/115.14 c | 27583 | 101012 556743 1544734 | 2147483647 27461 389 | 11.381 % |
115.07/115.28 c | 27684 | 101012 556743 1544734 | 2147483647 27562 389 | 11.381 % |
115.38/115.52 c | 27795 | 101012 556743 1544734 | 2147483647 27673 388 | 11.381 % |
115.77/116.00 c | 27916 | 101012 556743 1544734 | 2147483647 27794 389 | 11.381 % |
116.17/116.39 c | 28049 | 101012 556743 1544734 | 2147483647 27927 388 | 11.381 % |
116.77/116.92 c | 28202 | 101007 556743 1544734 | 2147483647 28079 387 | 11.401 % |
117.67/117.84 c | 28364 | 101007 556743 1544734 | 2147483647 28241 389 | 11.401 % |
119.27/119.44 c | 28540 | 100990 556596 1544367 | 2147483647 28409 393 | 11.401 % |
119.97/120.18 c | 28733 | 100990 556596 1544367 | 2147483647 28602 395 | 11.401 % |
120.96/121.17 c | 28947 | 100990 556596 1544367 | 2147483647 28816 397 | 11.401 % |
122.06/122.24 c | 29185 | 100990 556596 1544367 | 2147483647 29054 399 | 11.401 % |
123.37/123.58 c | 29441 | 100990 556596 1544367 | 2147483647 29310 401 | 11.401 % |
124.57/124.71 c | 29723 | 100990 556596 1544367 | 2147483647 29591 402 | 11.414 % |
126.27/126.43 c | 30032 | 100990 556596 1544367 | 2147483647 29900 407 | 11.414 % |
127.66/127.81 c | 30373 | 100990 556596 1544367 | 2147483647 30241 410 | 11.414 % |
129.06/129.29 c | 30745 | 100990 556596 1544367 | 2147483647 30613 415 | 11.414 % |
130.56/130.72 c | 31154 | 100990 556596 1544367 | 2147483647 31022 416 | 11.414 % |
133.37/133.57 c | 31603 | 100990 556596 1544367 | 2147483647 31471 423 | 11.414 % |
135.17/135.33 c | 32097 | 100975 556497 1544104 | 2147483647 31965 421 | 11.414 % |
135.46/135.64 c | 32197 | 100975 556497 1544104 | 2147483647 32065 420 | 11.414 % |
136.06/136.23 c | 32307 | 100975 556497 1544104 | 2147483647 32175 420 | 11.414 % |
136.46/136.61 c | 32428 | 100975 556497 1544104 | 2147483647 32296 419 | 11.414 % |
136.86/137.06 c | 32563 | 100975 556497 1544104 | 2147483647 32431 418 | 11.414 % |
137.27/137.50 c | 32709 | 100975 556497 1544104 | 2147483647 32577 417 | 11.414 % |
138.37/138.50 c | 32869 | 100975 556497 1544104 | 2147483647 32737 416 | 11.414 % |
139.47/139.65 c | 33045 | 100965 556497 1544104 | 2147483647 32912 416 | 11.514 % |
140.26/140.45 c | 33238 | 100964 556497 1544104 | 2147483647 33104 416 | 11.515 % |
141.27/141.49 c | 33452 | 100964 556497 1544104 | 2147483647 33318 417 | 11.515 % |
142.27/142.43 c | 33685 | 100964 556497 1544104 | 2147483647 33551 420 | 11.515 % |
143.96/144.16 c | 33945 | 100964 556497 1544104 | 2147483647 33811 421 | 11.515 % |
144.75/144.90 c | 34232 | 100964 556497 1544104 | 2147483647 34098 421 | 11.515 % |
146.25/146.40 c | 34541 | 100964 556497 1544104 | 2147483647 34407 424 | 11.515 % |
147.36/147.54 c | 34880 | 100964 556497 1544104 | 2147483647 34746 425 | 11.515 % |
149.55/149.70 c | 35252 | 100964 556497 1544104 | 2147483647 35118 429 | 11.515 % |
151.66/151.83 c | 35664 | 100859 555924 1542502 | 2147483647 35529 432 | 11.516 % |
153.65/153.85 c | 36114 | 100859 555924 1542502 | 2147483647 35979 436 | 11.516 % |
156.45/156.62 c | 36612 | 100858 555924 1542502 | 2147483647 36476 436 | 11.518 % |
159.15/159.37 c | 37154 | 100858 555924 1542502 | 2147483647 37018 439 | 11.518 % |
159.75/159.94 c | 37255 | 100858 555924 1542502 | 2147483647 37119 440 | 11.518 % |
160.35/160.57 c | 37365 | 100858 555924 1542502 | 2147483647 37229 440 | 11.518 % |
160.95/161.16 c | 37488 | 100858 555924 1542502 | 2147483647 37352 442 | 11.518 % |
161.35/161.55 c | 37622 | 100858 555924 1542502 | 2147483647 37486 441 | 11.518 % |
162.25/162.40 c | 37768 | 100858 555924 1542502 | 2147483647 37632 441 | 11.518 % |
163.15/163.38 c | 37928 | 100858 555924 1542502 | 2147483647 37792 445 | 11.518 % |
163.85/164.05 c | 38104 | 100858 555924 1542502 | 2147483647 37968 445 | 11.518 % |
165.05/165.27 c | 38297 | 100857 555924 1542502 | 2147483647 38160 446 | 11.519 % |
166.15/166.34 c | 38514 | 100857 555924 1542502 | 2147483647 38377 447 | 11.519 % |
167.35/167.55 c | 38748 | 100857 555924 1542502 | 2147483647 38611 448 | 11.519 % |
168.45/168.70 c | 39004 | 100857 555924 1542502 | 2147483647 38867 450 | 11.519 % |
169.64/169.85 c | 39287 | 100854 555892 1542427 | 2147483647 39149 449 | 11.522 % |
171.75/171.98 c | 39602 | 100854 555892 1542427 | 2147483647 39464 450 | 11.522 % |
173.45/173.60 c | 39942 | 100854 555892 1542427 | 2147483647 39804 450 | 11.522 % |
175.35/175.53 c | 40315 | 100854 555892 1542427 | 2147483647 40177 452 | 11.522 % |
177.75/177.93 c | 40725 | 100853 555892 1542427 | 2147483647 40586 455 | 11.523 % |
179.94/180.18 c | 41174 | 100853 555892 1542427 | 2147483647 41035 457 | 11.523 % |
182.84/183.07 c | 41667 | 100850 555892 1542427 | 2147483647 41527 460 | 11.525 % |
185.94/186.11 c | 42210 | 100850 555892 1542427 | 2147483647 42070 462 | 11.525 % |
188.43/188.68 c | 42806 | 100850 555892 1542427 | 2147483647 42666 467 | 11.525 % |
189.04/189.21 c | 42908 | 100850 555892 1542427 | 2147483647 42768 468 | 11.525 % |
189.44/189.63 c | 43019 | 100850 555892 1542427 | 2147483647 42879 468 | 11.525 % |
189.64/189.80 c | 43140 | 100850 555892 1542427 | 2147483647 43000 467 | 11.525 % |
190.44/190.60 c | 43274 | 100850 555892 1542427 | 2147483647 43134 467 | 11.525 % |
191.24/191.45 c | 43421 | 100848 555850 1542332 | 2147483647 43280 468 | 11.525 % |
192.04/192.24 c | 43582 | 100848 555850 1542332 | 2147483647 43441 467 | 11.525 % |
192.54/192.70 c | 43758 | 100848 555850 1542332 | 2147483647 43617 466 | 11.525 % |
193.74/193.99 c | 43951 | 100848 555850 1542332 | 2147483647 43810 468 | 11.525 % |
194.54/194.71 c | 44163 | 100848 555850 1542332 | 2147483647 44022 467 | 11.525 % |
195.34/195.58 c | 44398 | 100845 555850 1542332 | 2147483647 44256 465 | 11.539 % |
196.54/196.73 c | 44654 | 100844 555850 1542332 | 2147483647 44511 465 | 11.540 % |
198.13/198.31 c | 44936 | 100844 555850 1542332 | 2147483647 44793 466 | 11.540 % |
199.43/199.60 c | 45245 | 100844 555850 1542332 | 2147483647 45102 466 | 11.540 % |
200.03/200.24 c | 45584 | 100843 555850 1542332 | 2147483647 45440 464 | 11.541 % |
202.63/202.84 c | 45958 | 100843 555850 1542332 | 2147483647 45814 467 | 11.541 % |
204.53/204.74 c | 46369 | 100843 555850 1542332 | 2147483647 46225 468 | 11.541 % |
206.93/207.15 c | 46818 | 100842 555850 1542332 | 2147483647 46673 471 | 11.542 % |
209.12/209.38 c | 47311 | 100842 555850 1542332 | 2147483647 47166 474 | 11.542 % |
212.03/212.25 c | 47853 | 100841 555850 1542332 | 2147483647 47707 478 | 11.543 % |
214.83/215.03 c | 48452 | 100840 555850 1542332 | 2147483647 48305 480 | 11.545 % |
220.53/220.76 c | 49108 | 100840 555850 1542332 | 2147483647 48961 489 | 11.545 % |
221.33/221.60 c | 49208 | 100825 555702 1541948 | 2147483647 49055 489 | 11.545 % |
221.83/222.07 c | 49318 | 100825 555702 1541948 | 2147483647 49165 489 | 11.545 % |
222.63/222.80 c | 49440 | 100825 555702 1541948 | 2147483647 49287 489 | 11.545 % |
222.93/223.10 c | 49574 | 100825 555702 1541948 | 2147483647 49421 489 | 11.545 % |
223.33/223.52 c | 49720 | 100825 555702 1541948 | 2147483647 49567 488 | 11.545 % |
224.33/224.51 c | 49885 | 100825 555702 1541948 | 2147483647 49732 488 | 11.545 % |
225.23/225.46 c | 50061 | 100825 555702 1541948 | 2147483647 49908 488 | 11.545 % |
225.92/226.14 c | 50254 | 100825 555702 1541948 | 2147483647 50101 488 | 11.545 % |
227.12/227.35 c | 50466 | 100825 555702 1541948 | 2147483647 50313 488 | 11.545 % |
228.33/228.52 c | 50699 | 100825 555702 1541948 | 2147483647 50546 489 | 11.545 % |
229.92/230.12 c | 50955 | 100825 555702 1541948 | 2147483647 50802 491 | 11.545 % |
230.82/231.08 c | 51237 | 100824 555702 1541948 | 2147483647 51083 490 | 11.546 % |
232.32/232.52 c | 51546 | 100823 555702 1541948 | 2147483647 51391 490 | 11.547 % |
234.41/234.61 c | 51889 | 100822 555702 1541948 | 2147483647 51733 490 | 11.548 % |
236.32/236.50 c | 52261 | 100822 555702 1541948 | 2147483647 52105 493 | 11.548 % |
238.91/239.11 c | 52671 | 100822 555702 1541948 | 2147483647 52515 497 | 11.548 % |
241.91/242.10 c | 53121 | 100822 555702 1541948 | 2147483647 52965 499 | 11.548 % |
244.21/244.49 c | 53615 | 100822 555702 1541948 | 2147483647 53459 502 | 11.548 % |
247.11/247.40 c | 54159 | 100820 555702 1541948 | 2147483647 54002 504 | 11.568 % |
249.41/249.69 c | 54756 | 100817 555702 1541948 | 2147483647 54598 504 | 11.571 % |
252.61/252.83 c | 55413 | 100710 555702 1541948 | 2147483647 55253 506 | 11.673 % |
256.31/256.57 c | 56139 | 100678 555043 1540534 | 2147483647 55972 509 | 11.684 % |
256.90/257.18 c | 56239 | 100678 555043 1540534 | 2147483647 56072 509 | 11.684 % |
257.71/257.93 c | 56350 | 100677 555043 1540534 | 2147483647 56182 509 | 11.685 % |
258.32/258.58 c | 56473 | 100677 555043 1540534 | 2147483647 56305 509 | 11.685 % |
258.81/259.03 c | 56606 | 100677 555043 1540534 | 2147483647 56438 508 | 11.685 % |
259.41/259.65 c | 56754 | 100677 555043 1540534 | 2147483647 56586 509 | 11.685 % |
260.31/260.57 c | 56916 | 100677 555043 1540534 | 2147483647 56748 509 | 11.685 % |
261.21/261.43 c | 57093 | 100677 555043 1540534 | 2147483647 56925 510 | 11.685 % |
262.51/262.70 c | 57290 | 100677 555043 1540534 | 2147483647 57122 512 | 11.685 % |
263.61/263.88 c | 57504 | 100677 555043 1540534 | 2147483647 57336 513 | 11.685 % |
264.50/264.72 c | 57737 | 100677 555043 1540534 | 2147483647 57569 513 | 11.685 % |
264.91/265.18 c | 57996 | 100677 555043 1540534 | 2147483647 57828 512 | 11.685 % |
266.10/266.30 c | 58277 | 100677 555043 1540534 | 2147483647 58109 511 | 11.685 % |
267.30/267.59 c | 58589 | 100677 555043 1540534 | 2147483647 58421 512 | 11.685 % |
269.31/269.50 c | 58930 | 100677 555043 1540534 | 2147483647 58762 513 | 11.685 % |
270.61/270.88 c | 59302 | 100677 555043 1540534 | 2147483647 59134 512 | 11.685 % |
273.00/273.29 c | 59714 | 100677 555043 1540534 | 2147483647 59546 515 | 11.685 % |
276.20/276.44 c | 60163 | 100677 555043 1540534 | 2147483647 59995 517 | 11.685 % |
279.20/279.46 c | 60656 | 100677 555043 1540534 | 2147483647 60488 521 | 11.685 % |
282.89/283.18 c | 61199 | 100677 555043 1540534 | 2147483647 61031 525 | 11.685 % |
286.10/286.30 c | 61795 | 100677 555043 1540534 | 2147483647 61627 526 | 11.685 % |
289.59/289.85 c | 62454 | 100674 555043 1540534 | 2147483647 62284 527 | 11.702 % |
294.09/294.34 c | 63175 | 100646 554832 1539980 | 2147483647 63004 531 | 11.702 % |
299.69/299.94 c | 63967 | 100646 554832 1539980 | 2147483647 63796 534 | 11.702 % |
300.38/300.61 c | 64068 | 100646 554832 1539980 | 2147483647 63897 534 | 11.702 % |
300.88/301.11 c | 64178 | 100646 554832 1539980 | 2147483647 64007 534 | 11.702 % |
301.58/301.86 c | 64301 | 100644 554832 1539980 | 2147483647 64129 534 | 11.717 % |
302.19/302.45 c | 64434 | 100644 554832 1539980 | 2147483647 64262 534 | 11.717 % |
302.38/302.68 c | 64580 | 100644 554832 1539980 | 2147483647 64408 533 | 11.717 % |
303.49/303.70 c | 64740 | 100644 554832 1539980 | 2147483647 64568 533 | 11.717 % |
304.29/304.50 c | 64916 | 100644 554832 1539980 | 2147483647 64744 533 | 11.717 % |
305.49/305.78 c | 65110 | 100644 554832 1539980 | 2147483647 64938 534 | 11.717 % |
306.89/307.17 c | 65324 | 100644 554832 1539980 | 2147483647 65152 535 | 11.717 % |
308.18/308.42 c | 65558 | 100644 554832 1539980 | 2147483647 65386 536 | 11.717 % |
309.89/310.11 c | 65816 | 100644 554832 1539980 | 2147483647 65644 536 | 11.717 % |
311.58/311.80 c | 66097 | 100606 554832 1539980 | 2147483647 65924 537 | 11.763 % |
313.48/313.72 c | 66407 | 100606 554832 1539980 | 2147483647 66234 538 | 11.763 % |
315.29/315.51 c | 66748 | 100606 554832 1539980 | 2147483647 66575 539 | 11.763 % |
317.98/318.30 c | 67122 | 100602 554832 1539980 | 2147483647 66948 540 | 11.777 % |
320.38/320.66 c | 67531 | 100602 554832 1539980 | 2147483647 67357 541 | 11.777 % |
322.58/322.81 c | 67981 | 100601 554832 1539980 | 2147483647 67806 542 | 11.778 % |
325.38/325.69 c | 68474 | 100597 554832 1539980 | 2147483647 68297 543 | 11.784 % |
328.37/328.60 c | 69018 | 100597 554832 1539980 | 2147483647 68841 543 | 11.784 % |
332.07/332.30 c | 69616 | 100597 554832 1539980 | 2147483647 69439 546 | 11.784 % |
336.18/336.44 c | 70271 | 100597 554832 1539980 | 2147483647 70094 548 | 11.784 % |
340.47/340.79 c | 70993 | 100553 554331 1538818 | 2147483647 70812 548 | 11.784 % |
344.17/344.49 c | 71788 | 100552 554331 1538818 | 2147483647 71606 547 | 11.785 % |
350.07/350.37 c | 72659 | 100550 554331 1538818 | 2147483647 72476 550 | 11.823 % |
350.37/350.69 c | 72759 | 100550 554331 1538818 | 2147483647 72576 549 | 11.823 % |
350.67/350.95 c | 72870 | 100550 554331 1538818 | 2147483647 72687 549 | 11.823 % |
350.87/351.17 c | 72991 | 100550 554331 1538818 | 2147483647 72808 548 | 11.823 % |
351.17/351.43 c | 73124 | 100550 554331 1538818 | 2147483647 72941 547 | 11.823 % |
351.27/351.59 c | 73270 | 100550 554331 1538818 | 2147483647 73087 547 | 11.823 % |
352.07/352.35 c | 73433 | 100550 554331 1538818 | 2147483647 73250 546 | 11.823 % |
353.07/353.32 c | 73610 | 100550 554331 1538818 | 2147483647 73427 546 | 11.823 % |
354.26/354.50 c | 73808 | 100550 554331 1538818 | 2147483647 73625 547 | 11.823 % |
354.86/355.15 c | 74020 | 100550 554331 1538818 | 2147483647 73837 546 | 11.823 % |
355.26/355.51 c | 74256 | 100550 554331 1538818 | 2147483647 74073 545 | 11.823 % |
355.66/355.96 c | 74512 | 100550 554331 1538818 | 2147483647 74329 545 | 11.823 % |
357.27/357.53 c | 74793 | 100544 554331 1538818 | 2147483647 74609 544 | 11.864 % |
358.76/359.06 c | 75102 | 100544 554331 1538818 | 2147483647 74918 544 | 11.864 % |
361.76/362.05 c | 75443 | 100544 554331 1538818 | 2147483647 75259 545 | 11.864 % |
364.56/364.80 c | 75816 | 100543 554331 1538818 | 2147483647 75631 546 | 11.865 % |
366.56/366.84 c | 76225 | 100543 554331 1538818 | 2147483647 76040 548 | 11.865 % |
368.75/369.04 c | 76675 | 100543 554331 1538818 | 2147483647 76490 548 | 11.865 % |
371.85/372.15 c | 77172 | 100543 554331 1538818 | 2147483647 76987 549 | 11.865 % |
375.45/375.78 c | 77717 | 100542 554331 1538818 | 2147483647 77531 550 | 11.866 % |
378.74/379.05 c | 78315 | 100542 554331 1538818 | 2147483647 78129 552 | 11.866 % |
382.45/382.74 c | 78972 | 100542 554331 1538818 | 2147483647 78786 553 | 11.866 % |
386.95/387.22 c | 79692 | 100542 554331 1538818 | 2147483647 79506 556 | 11.866 % |
391.64/391.96 c | 80485 | 100541 554331 1538818 | 2147483647 80298 559 | 11.866 % |
397.34/397.67 c | 81356 | 100459 553911 1537818 | 2147483647 81133 563 | 11.866 % |
403.64/403.94 c | 82314 | 100459 553911 1537818 | 2147483647 82091 564 | 11.866 % |
404.14/404.49 c | 82414 | 100459 553911 1537818 | 2147483647 82191 565 | 11.866 % |
404.84/405.15 c | 82526 | 100459 553911 1537818 | 2147483647 82303 565 | 11.866 % |
405.44/405.72 c | 82651 | 100459 553911 1537818 | 2147483647 82428 565 | 11.866 % |
406.14/406.45 c | 82784 | 100459 553911 1537818 | 2147483647 82561 565 | 11.866 % |
407.04/407.31 c | 82930 | 100459 553911 1537818 | 2147483647 82707 565 | 11.866 % |
408.24/408.55 c | 83093 | 100459 553911 1537818 | 2147483647 82870 565 | 11.866 % |
409.04/409.37 c | 83270 | 100459 553911 1537818 | 2147483647 83047 565 | 11.866 % |
409.83/410.20 c | 83463 | 100459 553911 1537818 | 2147483647 83240 565 | 11.866 % |
410.34/410.67 c | 83682 | 100459 553911 1537818 | 2147483647 83459 564 | 11.866 % |
410.84/411.10 c | 83917 | 100459 553911 1537818 | 2147483647 83694 563 | 11.866 % |
412.84/413.14 c | 84173 | 100459 553911 1537818 | 2147483647 83950 564 | 11.866 % |
414.63/414.91 c | 84454 | 100458 553911 1537818 | 2147483647 84230 565 | 11.867 % |
416.33/416.67 c | 84766 | 100458 553911 1537818 | 2147483647 84542 566 | 11.867 % |
418.23/418.55 c | 85105 | 100458 553911 1537818 | 2147483647 84881 566 | 11.867 % |
421.42/421.79 c | 85479 | 100458 553911 1537818 | 2147483647 85255 568 | 11.867 % |
424.23/424.53 c | 85888 | 100458 553911 1537818 | 2147483647 85664 570 | 11.867 % |
428.03/428.32 c | 86337 | 100457 553911 1537818 | 2147483647 86112 573 | 11.868 % |
430.92/431.27 c | 86830 | 100457 553911 1537818 | 2147483647 86605 574 | 11.868 % |
434.23/434.51 c | 87373 | 100456 553911 1537818 | 2147483647 87147 576 | 11.869 % |
439.52/439.83 c | 87971 | 100456 553911 1537818 | 2147483647 87745 575 | 11.869 % |
443.12/443.42 c | 88630 | 100361 553911 1537818 | 2147483647 88402 576 | 11.995 % |
448.02/448.36 c | 89352 | 100361 553911 1537818 | 2147483647 89124 576 | 11.995 % |
453.21/453.53 c | 90147 | 100361 553911 1537818 | 2147483647 89919 581 | 11.995 % |
457.61/457.97 c | 91021 | 100311 552679 1534569 | 2147483647 90711 581 | 11.996 % |
463.51/463.84 c | 91979 | 100311 552679 1534569 | 2147483647 91669 582 | 11.996 % |
470.51/470.89 c | 93034 | 100307 552679 1534569 | 2147483647 92722 585 | 12.038 % |
470.90/471.27 c | 93135 | 100307 552679 1534569 | 2147483647 92823 585 | 12.038 % |
471.61/471.92 c | 93245 | 100307 552679 1534569 | 2147483647 92933 585 | 12.038 % |
472.30/472.62 c | 93366 | 100307 552679 1534569 | 2147483647 93054 585 | 12.038 % |
472.90/473.24 c | 93500 | 100307 552679 1534569 | 2147483647 93188 585 | 12.038 % |
473.81/474.15 c | 93646 | 100307 552679 1534569 | 2147483647 93334 585 | 12.038 % |
474.81/475.15 c | 93806 | 100307 552679 1534569 | 2147483647 93494 584 | 12.038 % |
476.01/476.32 c | 93984 | 100306 552679 1534569 | 2147483647 93671 584 | 12.038 % |
476.80/477.18 c | 94178 | 100306 552679 1534569 | 2147483647 93865 584 | 12.038 % |
478.20/478.51 c | 94394 | 100306 552679 1534569 | 2147483647 94081 586 | 12.038 % |
479.20/479.57 c | 94628 | 100306 552679 1534569 | 2147483647 94315 586 | 12.038 % |
480.80/481.17 c | 94885 | 100306 552679 1534569 | 2147483647 94572 586 | 12.038 % |
483.10/483.48 c | 95167 | 100306 552679 1534569 | 2147483647 94854 587 | 12.038 % |
485.20/485.55 c | 95477 | 100306 552679 1534569 | 2147483647 95164 588 | 12.038 % |
487.40/487.71 c | 95817 | 100306 552679 1534569 | 2147483647 95504 589 | 12.038 % |
489.60/489.99 c | 96189 | 100305 552679 1534569 | 2147483647 95875 590 | 12.039 % |
491.60/491.98 c | 96600 | 100305 552679 1534569 | 2147483647 96286 591 | 12.039 % |
495.30/495.63 c | 97055 | 100304 552679 1534569 | 2147483647 96740 592 | 12.040 % |
498.79/499.19 c | 97550 | 100304 552679 1534569 | 2147483647 97235 594 | 12.040 % |
501.19/501.54 c | 98092 | 100304 552679 1534569 | 2147483647 97777 593 | 12.040 % |
504.59/504.95 c | 98688 | 100304 552679 1534569 | 2147483647 98373 595 | 12.040 % |
508.99/509.33 c | 99343 | 100303 552679 1534569 | 2147483647 99027 596 | 12.041 % |
513.19/513.59 c | 100063 | 100303 552679 1534569 | 2147483647 99747 596 | 12.041 % |
518.08/518.46 c | 100855 | 100303 552679 1534569 | 2147483647 100539 597 | 12.041 % |
523.78/524.15 c | 101732 | 100303 552679 1534569 | 2147483647 101416 601 | 12.041 % |
529.58/529.90 c | 102692 | 100302 552679 1534569 | 2147483647 102375 604 | 12.042 % |
534.08/534.43 c | 103747 | 100296 552679 1534569 | 2147483647 103428 601 | 12.098 % |
541.88/542.30 c | 104907 | 100195 551972 1532815 | 2147483647 104578 605 | 12.098 % |
542.37/542.79 c | 105008 | 100195 551972 1532815 | 2147483647 104679 604 | 12.098 % |
542.98/543.38 c | 105121 | 100195 551972 1532815 | 2147483647 104792 604 | 12.098 % |
543.77/544.16 c | 105242 | 100195 551972 1532815 | 2147483647 104913 604 | 12.098 % |
544.57/544.99 c | 105375 | 100195 551972 1532815 | 2147483647 105046 604 | 12.098 % |
545.98/546.33 c | 105523 | 100195 551972 1532815 | 2147483647 105194 604 | 12.098 % |
546.68/547.07 c | 105684 | 100195 551972 1532815 | 2147483647 105355 604 | 12.098 % |
547.87/548.26 c | 105860 | 100195 551972 1532815 | 2147483647 105531 605 | 12.098 % |
549.17/549.55 c | 106055 | 100195 551972 1532815 | 2147483647 105726 605 | 12.098 % |
550.37/550.74 c | 106268 | 100195 551972 1532815 | 2147483647 105939 604 | 12.098 % |
551.47/551.87 c | 106501 | 100195 551972 1532815 | 2147483647 106172 604 | 12.098 % |
552.67/553.06 c | 106758 | 100195 551972 1532815 | 2147483647 106429 603 | 12.098 % |
554.96/555.40 c | 107039 | 100195 551972 1532815 | 2147483647 106710 603 | 12.098 % |
555.96/556.34 c | 107350 | 100195 551972 1532815 | 2147483647 107021 602 | 12.098 % |
558.36/558.79 c | 107690 | 100195 551972 1532815 | 2147483647 107361 604 | 12.098 % |
560.67/561.03 c | 108063 | 100195 551972 1532815 | 2147483647 107734 604 | 12.098 % |
563.36/563.76 c | 108473 | 100193 551972 1532815 | 2147483647 108142 603 | 12.100 % |
566.76/567.18 c | 108922 | 100193 551972 1532815 | 2147483647 108591 605 | 12.100 % |
569.66/570.00 c | 109415 | 100193 551972 1532815 | 2147483647 109084 606 | 12.100 % |
573.46/573.82 c | 109957 | 100192 551972 1532815 | 2147483647 109625 606 | 12.101 % |
577.95/578.36 c | 110553 | 100192 551972 1532815 | 2147483647 110221 608 | 12.101 % |
583.36/583.78 c | 111209 | 100191 551972 1532815 | 2147483647 110876 609 | 12.102 % |
587.86/588.26 c | 111929 | 100185 551972 1532815 | 2147483647 111595 610 | 12.608 % |
592.85/593.24 c | 112721 | 100157 551972 1532815 | 2147483647 112386 611 | 12.653 % |
598.04/598.47 c | 113593 | 100157 551972 1532815 | 2147483647 113258 614 | 12.653 % |
605.34/605.76 c | 114551 | 100157 551972 1532815 | 2147483647 114216 616 | 12.653 % |
610.44/610.89 c | 115604 | 100157 551972 1532815 | 2147483647 115269 618 | 12.653 % |
618.23/618.69 c | 116762 | 100157 551972 1532815 | 2147483647 116427 621 | 12.653 % |
627.34/627.71 c | 118035 | 100151 551972 1532815 | 2147483647 117695 622 | 12.672 % |
627.54/627.96 c | 118135 | 100150 551972 1532815 | 2147483647 117794 622 | 12.673 % |
628.03/628.45 c | 118246 | 100150 551972 1532815 | 2147483647 117905 621 | 12.673 % |
628.43/628.86 c | 118371 | 100150 551972 1532815 | 2147483647 118030 621 | 12.673 % |
628.74/629.13 c | 118504 | 100150 551972 1532815 | 2147483647 118163 620 | 12.673 % |
630.03/630.43 c | 118652 | 100150 551972 1532815 | 2147483647 118311 620 | 12.673 % |
631.03/631.43 c | 118821 | 100150 551972 1532815 | 2147483647 118480 620 | 12.673 % |
632.03/632.41 c | 118999 | 100150 551972 1532815 | 2147483647 118658 620 | 12.673 % |
632.63/633.06 c | 119192 | 100150 551972 1532815 | 2147483647 118851 619 | 12.673 % |
634.02/634.49 c | 119406 | 100150 551972 1532815 | 2147483647 119065 620 | 12.673 % |
634.52/634.97 c | 119639 | 100150 551972 1532815 | 2147483647 119298 619 | 12.673 % |
635.33/635.79 c | 119899 | 100150 551972 1532815 | 2147483647 119558 618 | 12.673 % |
636.03/636.41 c | 120180 | 100150 551972 1532815 | 2147483647 119839 617 | 12.673 % |
637.33/637.70 c | 120490 | 100150 551972 1532815 | 2147483647 120149 617 | 12.673 % |
639.83/640.28 c | 120829 | 99540 548011 1522497 | 2147483647 120449 618 | 12.673 % |
642.22/642.65 c | 121202 | 99539 548011 1522497 | 2147483647 120821 619 | 12.674 % |
645.03/645.47 c | 121611 | 99539 548011 1522497 | 2147483647 121230 619 | 12.674 % |
648.53/649.00 c | 122062 | 99539 548011 1522497 | 2147483647 121681 619 | 12.674 % |
651.63/652.07 c | 122555 | 99539 548011 1522497 | 2147483647 122174 620 | 12.674 % |
654.42/654.81 c | 123098 | 99539 548011 1522497 | 2147483647 122717 619 | 12.674 % |
658.22/658.61 c | 123695 | 99539 548011 1522497 | 2147483647 123314 620 | 12.674 % |
662.62/663.00 c | 124351 | 99539 548011 1522497 | 2147483647 123970 620 | 12.674 % |
667.62/668.05 c | 125071 | 99539 548011 1522497 | 2147483647 124690 622 | 12.674 % |
672.72/673.11 c | 125863 | 99539 548011 1522497 | 2147483647 125482 623 | 12.674 % |
679.52/679.91 c | 126734 | 99538 548011 1522497 | 2147483647 126352 625 | 12.674 % |
686.01/686.48 c | 127693 | 99536 548011 1522497 | 2147483647 127310 627 | 12.678 % |
693.60/694.05 c | 128747 | 99493 548011 1522497 | 2147483647 128363 629 | 12.720 % |
702.80/703.25 c | 129905 | 99493 548011 1522497 | 2147483647 129521 634 | 12.720 % |
712.19/712.65 c | 131184 | 99493 548011 1522497 | 2147483647 130800 637 | 12.720 % |
720.19/720.61 c | 132584 | 99492 548011 1522497 | 2147483647 132197 637 | 12.904 % |
720.99/721.42 c | 132687 | 99492 548011 1522497 | 2147483647 132300 637 | 12.904 % |
721.99/722.42 c | 132797 | 99491 548011 1522497 | 2147483647 132409 637 | 12.905 % |
722.89/723.31 c | 132919 | 99491 548011 1522497 | 2147483647 132531 637 | 12.905 % |
723.79/724.26 c | 133056 | 99491 548011 1522497 | 2147483647 132668 638 | 12.905 % |
724.60/725.10 c | 133203 | 99491 548011 1522497 | 2147483647 132815 638 | 12.905 % |
725.30/725.70 c | 133363 | 99491 548011 1522497 | 2147483647 132975 637 | 12.905 % |
726.49/726.96 c | 133541 | 99491 548011 1522497 | 2147483647 133153 637 | 12.905 % |
727.29/727.75 c | 133736 | 99490 548011 1522497 | 2147483647 133347 637 | 12.906 % |
728.59/729.05 c | 133950 | 99490 548011 1522497 | 2147483647 133561 637 | 12.906 % |
730.59/731.05 c | 134183 | 99490 548011 1522497 | 2147483647 133794 637 | 12.906 % |
732.38/732.87 c | 134439 | 99490 548011 1522497 | 2147483647 134050 638 | 12.906 % |
734.39/734.81 c | 134720 | 99489 548011 1522497 | 2147483647 134330 638 | 12.907 % |
736.89/737.30 c | 135031 | 99489 548011 1522497 | 2147483647 134641 638 | 12.907 % |
738.79/739.22 c | 135374 | 99489 548011 1522497 | 2147483647 134984 637 | 12.907 % |
740.39/740.80 c | 135746 | 99489 548011 1522497 | 2147483647 135356 637 | 12.907 % |
743.28/743.78 c | 136155 | 99489 548011 1522497 | 2147483647 135765 638 | 12.907 % |
746.19/746.67 c | 136604 | 99489 548011 1522497 | 2147483647 136214 639 | 12.907 % |
749.69/750.12 c | 137098 | 99489 548011 1522497 | 2147483647 136708 639 | 12.907 % |
753.28/753.73 c | 137640 | 99489 548011 1522497 | 2147483647 137250 640 | 12.907 % |
758.19/758.60 c | 138236 | 99489 548011 1522497 | 2147483647 137846 640 | 12.907 % |
761.68/762.20 c | 138892 | 99489 548011 1522497 | 2147483647 138502 640 | 12.907 % |
767.08/767.53 c | 139613 | 99489 548011 1522497 | 2147483647 139222 640 | 12.925 % |
773.46/773.92 c | 140405 | 99251 546496 1518537 | 2147483647 139973 641 | 12.928 % |
779.17/779.66 c | 141276 | 99250 546496 1518537 | 2147483647 140843 643 | 12.929 % |
785.26/785.76 c | 142236 | 99248 546496 1518537 | 2147483647 141801 644 | 12.931 % |
792.86/793.35 c | 143289 | 99246 546496 1518537 | 2147483647 142852 644 | 12.932 % |
801.06/801.50 c | 144450 | 99246 546496 1518537 | 2147483647 144013 645 | 12.932 % |
809.56/810.07 c | 145724 | 99231 546496 1518537 | 2147483647 145286 647 | 13.258 % |
819.86/820.30 c | 147125 | 99230 546496 1518537 | 2147483647 146685 649 | 13.260 % |
828.85/829.32 c | 148665 | 99228 546496 1518537 | 2147483647 148223 653 | 13.261 % |
829.45/829.99 c | 148765 | 99228 546496 1518537 | 2147483647 148323 652 | 13.261 % |
830.35/830.87 c | 148876 | 99228 546496 1518537 | 2147483647 148434 653 | 13.261 % |
831.44/831.94 c | 148997 | 99228 546496 1518537 | 2147483647 148555 653 | 13.261 % |
832.45/832.93 c | 149134 | 99228 546496 1518537 | 2147483647 148692 653 | 13.261 % |
833.35/833.85 c | 149280 | 99228 546496 1518537 | 2147483647 148838 653 | 13.261 % |
834.95/835.42 c | 149444 | 99228 546496 1518537 | 2147483647 149002 653 | 13.261 % |
836.35/836.83 c | 149623 | 99228 546496 1518537 | 2147483647 149181 653 | 13.261 % |
838.04/838.55 c | 149816 | 99228 546496 1518537 | 2147483647 149374 653 | 13.261 % |
840.04/840.54 c | 150031 | 99228 546496 1518537 | 2147483647 149589 654 | 13.261 % |
842.05/842.53 c | 150267 | 99228 546496 1518537 | 2147483647 149825 654 | 13.261 % |
843.65/844.16 c | 150523 | 99228 546496 1518537 | 2147483647 150081 654 | 13.261 % |
844.84/845.32 c | 150804 | 99228 546496 1518537 | 2147483647 150362 654 | 13.261 % |
846.34/846.85 c | 151117 | 99228 546496 1518537 | 2147483647 150675 653 | 13.261 % |
847.94/848.43 c | 151458 | 99228 546496 1518537 | 2147483647 151016 653 | 13.261 % |
850.85/851.31 c | 151832 | 99228 546496 1518537 | 2147483647 151390 653 | 13.261 % |
854.04/854.54 c | 152241 | 99228 546496 1518537 | 2147483647 151799 653 | 13.261 % |
857.45/857.99 c | 152692 | 99228 546496 1518537 | 2147483647 152250 654 | 13.261 % |
862.04/862.51 c | 153185 | 99228 546496 1518537 | 2147483647 152743 655 | 13.261 % |
866.23/866.76 c | 153727 | 99227 546496 1518537 | 2147483647 153284 655 | 13.262 % |
870.23/870.78 c | 154326 | 99227 546496 1518537 | 2147483647 153883 655 | 13.262 % |
875.63/876.12 c | 154982 | 99227 546496 1518537 | 2147483647 154539 656 | 13.262 % |
881.33/881.86 c | 155707 | 99227 546496 1518537 | 2147483647 155264 656 | 13.262 % |
887.32/887.83 c | 156500 | 99227 546496 1518537 | 2147483647 156057 658 | 13.262 % |
894.32/894.87 c | 157372 | 99226 546496 1518537 | 2147483647 156928 659 | 13.263 % |
902.92/903.41 c | 158330 | 99226 546496 1518537 | 2147483647 157886 660 | 13.263 % |
911.51/912.01 c | 159383 | 99222 546496 1518537 | 2147483647 158938 661 | 13.277 % |
920.61/921.12 c | 160545 | 99222 546496 1518537 | 2147483647 160100 663 | 13.277 % |
929.41/929.96 c | 161818 | 99222 546496 1518537 | 2147483647 161373 665 | 13.277 % |
940.81/941.31 c | 163218 | 98850 544072 1512353 | 2147483647 162713 665 | 13.278 % |
948.70/949.22 c | 164758 | 98849 544072 1512353 | 2147483647 164252 663 | 13.279 % |
962.29/962.90 c | 166453 | 98849 544072 1512353 | 2147483647 165946 667 | 13.280 % |
963.19/963.79 c | 166554 | 98849 544072 1512353 | 2147483647 166047 667 | 13.280 % |
964.49/965.01 c | 166664 | 98849 544072 1512353 | 2147483647 166157 667 | 13.280 % |
965.69/966.25 c | 166785 | 98849 544072 1512353 | 2147483647 166278 667 | 13.280 % |
966.90/967.45 c | 166919 | 98848 544072 1512353 | 2147483647 166411 667 | 13.281 % |
967.90/968.47 c | 167065 | 98848 544072 1512353 | 2147483647 166557 667 | 13.281 % |
969.40/969.93 c | 167225 | 98848 544072 1512353 | 2147483647 166717 667 | 13.281 % |
971.39/971.91 c | 167402 | 98848 544072 1512353 | 2147483647 166894 667 | 13.281 % |
973.09/973.62 c | 167596 | 98848 544072 1512353 | 2147483647 167088 667 | 13.281 % |
974.89/975.40 c | 167809 | 98848 544072 1512353 | 2147483647 167301 667 | 13.281 % |
976.89/977.49 c | 168043 | 98848 544072 1512353 | 2147483647 167535 667 | 13.281 % |
979.49/980.07 c | 168301 | 98848 544072 1512353 | 2147483647 167793 668 | 13.281 % |
981.79/982.39 c | 168582 | 98848 544072 1512353 | 2147483647 168074 668 | 13.281 % |
984.19/984.72 c | 168892 | 98848 544072 1512353 | 2147483647 168384 669 | 13.281 % |
986.49/987.04 c | 169231 | 98848 544072 1512353 | 2147483647 168723 669 | 13.281 % |
988.98/989.56 c | 169604 | 98848 544072 1512353 | 2147483647 169096 669 | 13.281 % |
992.38/992.96 c | 170014 | 98848 544072 1512353 | 2147483647 169506 669 | 13.281 % |
995.69/996.23 c | 170464 | 98848 544072 1512353 | 2147483647 169956 669 | 13.281 % |
999.38/999.99 c | 170958 | 98846 544072 1512353 | 2147483647 170448 669 | 13.284 % |
1003.57/1004.13 c | 171504 | 98846 544072 1512353 | 2147483647 170994 670 | 13.284 % |
1007.47/1008.04 c | 172102 | 98846 544072 1512353 | 2147483647 171592 670 | 13.284 % |
1011.98/1012.54 c | 172760 | 98846 544072 1512353 | 2147483647 172250 669 | 13.284 % |
1018.37/1018.96 c | 173480 | 98846 544072 1512353 | 2147483647 172970 670 | 13.284 % |
1024.27/1024.89 c | 174273 | 98846 544072 1512353 | 2147483647 173763 670 | 13.284 % |
1030.96/1031.54 c | 175149 | 98845 544072 1512353 | 2147483647 174638 671 | 13.296 % |
1039.37/1039.96 c | 176108 | 98842 544072 1512353 | 2147483647 175596 672 | 13.307 % |
1047.36/1047.92 c | 177162 | 98842 544072 1512353 | 2147483647 176650 674 | 13.307 % |
1057.15/1057.77 c | 178320 | 98842 544072 1512353 | 2147483647 177808 674 | 13.307 % |
1067.65/1068.23 c | 179593 | 98841 544072 1512353 | 2147483647 179080 675 | 13.308 % |
1076.45/1077.07 c | 180993 | 98839 544072 1512353 | 2147483647 180478 677 | 13.323 % |
1090.34/1090.95 c | 182537 | 98810 544072 1512353 | 2147483647 182020 681 | 13.380 % |
1103.04/1103.67 c | 184231 | 98809 544072 1512353 | 2147483647 183713 683 | 13.381 % |
1116.14/1116.78 c | 186094 | 98809 544072 1512353 | 2147483647 185576 684 | 13.381 % |
1117.04/1117.60 c | 186195 | 98809 544072 1512353 | 2147483647 185677 684 | 13.381 % |
1117.93/1118.55 c | 186306 | 98809 544072 1512353 | 2147483647 185788 684 | 13.381 % |
1119.03/1119.67 c | 186428 | 98809 544072 1512353 | 2147483647 185910 684 | 13.381 % |
1119.83/1120.49 c | 186561 | 98809 544072 1512353 | 2147483647 186043 684 | 13.381 % |
1120.33/1120.92 c | 186709 | 98809 544072 1512353 | 2147483647 186191 683 | 13.381 % |
1121.23/1121.90 c | 186875 | 98809 544072 1512353 | 2147483647 186357 683 | 13.381 % |
1122.64/1123.24 c | 187051 | 98809 544072 1512353 | 2147483647 186533 683 | 13.381 % |
1123.54/1124.12 c | 187246 | 98808 544072 1512353 | 2147483647 186727 683 | 13.382 % |
1124.53/1125.12 c | 187460 | 98732 543465 1510952 | 2147483647 186913 682 | 13.382 % |
1125.93/1126.56 c | 187694 | 98732 543465 1510952 | 2147483647 187147 682 | 13.382 % |
1127.93/1128.57 c | 187951 | 98731 543465 1510952 | 2147483647 187403 682 | 13.382 % |
1130.13/1130.77 c | 188232 | 98731 543465 1510952 | 2147483647 187684 682 | 13.382 % |
1132.32/1132.99 c | 188543 | 98731 543465 1510952 | 2147483647 187995 683 | 13.382 % |
1134.62/1135.28 c | 188888 | 98728 543465 1510952 | 2147483647 188339 682 | 13.396 % |
1137.52/1138.14 c | 189261 | 98728 543465 1510952 | 2147483647 188712 683 | 13.396 % |
1140.31/1140.91 c | 189670 | 98728 543465 1510952 | 2147483647 189121 683 | 13.396 % |
1144.02/1144.69 c | 190119 | 98728 543465 1510952 | 2147483647 189569 684 | 13.397 % |
1148.62/1149.23 c | 190614 | 98728 543465 1510952 | 2147483647 190064 685 | 13.397 % |
1150.31/1150.92 c | 191159 | 98708 543465 1510952 | 2147483647 190607 684 | 13.614 % |
1156.42/1157.05 c | 191757 | 98700 543465 1510952 | 2147483647 191205 685 | 13.614 % |
1161.71/1162.32 c | 192412 | 98698 543465 1510952 | 2147483647 191858 685 | 13.616 % |
1166.81/1167.43 c | 193132 | 98698 543465 1510952 | 2147483647 192578 686 | 13.616 % |
1172.91/1173.60 c | 193924 | 98698 543465 1510952 | 2147483647 193370 688 | 13.616 % |
1179.80/1180.40 c | 194795 | 98698 543465 1510952 | 2147483647 194241 690 | 13.616 % |
1187.20/1187.87 c | 195753 | 98698 543465 1510952 | 2147483647 195199 690 | 13.616 % |
1196.50/1197.16 c | 196807 | 98697 543465 1510952 | 2147483647 196252 691 | 13.617 % |
1207.59/1208.26 c | 197968 | 98697 543465 1510952 | 2147483647 197413 692 | 13.617 % |
1218.29/1218.98 c | 199242 | 98696 543465 1510952 | 2147483647 198686 695 | 13.618 % |
1229.48/1230.15 c | 200644 | 98696 543465 1510952 | 2147483647 200088 696 | 13.618 % |
1240.08/1240.76 c | 202185 | 98695 543465 1510952 | 2147483647 201628 698 | 13.618 % |
1251.07/1251.76 c | 203880 | 98694 543465 1510952 | 2147483647 203322 698 | 13.633 % |
1265.67/1266.36 c | 205751 | 98694 543465 1510952 | 2147483647 205193 702 | 13.632 % |
1279.76/1280.47 c | 207803 | 98692 543465 1510952 | 2147483647 207243 704 | 13.634 % |
1280.76/1281.45 c | 207907 | 98692 543465 1510952 | 2147483647 207347 703 | 13.634 % |
1281.75/1282.46 c | 208019 | 98690 543465 1510952 | 2147483647 207458 703 | 13.647 % |
1282.55/1283.28 c | 208140 | 98690 543465 1510952 | 2147483647 207579 703 | 13.647 % |
1283.65/1284.33 c | 208274 | 98690 543465 1510952 | 2147483647 207713 703 | 13.647 % |
1284.85/1285.50 c | 208420 | 98690 543465 1510952 | 2147483647 207859 703 | 13.647 % |
1286.15/1286.89 c | 208582 | 98690 543465 1510952 | 2147483647 208021 703 | 13.647 % |
1286.76/1287.47 c | 208761 | 98690 543465 1510952 | 2147483647 208200 702 | 13.647 % |
1288.66/1289.35 c | 208955 | 98690 543465 1510952 | 2147483647 208394 703 | 13.647 % |
1290.55/1291.20 c | 209167 | 98690 543465 1510952 | 2147483647 208606 703 | 13.647 % |
1291.45/1292.10 c | 209401 | 98689 543465 1510952 | 2147483647 208839 702 | 13.648 % |
1294.65/1295.31 c | 209658 | 98689 543465 1510952 | 2147483647 209096 703 | 13.648 % |
1297.75/1298.48 c | 209940 | 98689 543465 1510952 | 2147483647 209378 702 | 13.648 % |
1300.45/1301.16 c | 210252 | 98689 543465 1510952 | 2147483647 209690 702 | 13.648 % |
1303.75/1304.43 c | 210591 | 98689 543465 1510952 | 2147483647 210029 703 | 13.648 % |
1307.45/1308.16 c | 210964 | 98689 543465 1510952 | 2147483647 210402 703 | 13.648 % |
1310.64/1311.30 c | 211375 | 98689 543465 1510952 | 2147483647 210813 703 | 13.648 % |
1314.13/1314.85 c | 211824 | 98689 543465 1510952 | 2147483647 211262 703 | 13.648 % |
1318.73/1319.48 c | 212321 | 98671 543465 1510952 | 2147483647 211758 704 | 13.819 % |
1323.23/1323.91 c | 212864 | 98671 543465 1510952 | 2147483647 212301 705 | 13.819 % |
1326.53/1327.21 c | 213460 | 98671 543465 1510952 | 2147483647 212897 704 | 13.819 % |
1331.93/1332.64 c | 214118 | 98671 543465 1510952 | 2147483647 213555 705 | 13.819 % |
1337.52/1338.21 c | 214841 | 98671 543465 1510952 | 2147483647 214278 706 | 13.819 % |
1344.62/1345.31 c | 215633 | 98671 543465 1510952 | 2147483647 215070 707 | 13.819 % |
1351.12/1351.85 c | 216504 | 98670 543465 1510952 | 2147483647 215940 707 | 13.820 % |
1358.91/1359.66 c | 217464 | 98566 543465 1510952 | 2147483647 216896 707 | 13.914 % |
1367.80/1368.58 c | 218517 | 98565 543465 1510952 | 2147483647 217948 708 | 13.915 % |
1378.39/1379.16 c | 219675 | 98565 543465 1510952 | 2147483647 219106 710 | 13.915 % |
1389.79/1390.51 c | 220951 | 98565 543465 1510952 | 2147483647 220382 712 | 13.915 % |
1402.98/1403.79 c | 222351 | 98124 539475 1500646 | 2147483647 221613 713 | 13.915 % |
1415.18/1415.91 c | 223891 | 98124 539475 1500646 | 2147483647 223153 712 | 13.915 % |
1430.87/1431.65 c | 225585 | 98124 539475 1500646 | 2147483647 224847 713 | 13.915 % |
1445.96/1446.70 c | 227450 | 98124 539475 1500646 | 2147483647 226712 715 | 13.915 % |
1463.26/1464.04 c | 229499 | 98124 539475 1500646 | 2147483647 228761 716 | 13.915 % |
1487.05/1487.80 c | 231752 | 98124 539475 1500646 | 2147483647 231014 718 | 13.915 % |
1488.45/1489.30 c | 231856 | 98124 539475 1500646 | 2147483647 231118 718 | 13.915 % |
1489.45/1490.29 c | 231966 | 98124 539475 1500646 | 2147483647 231228 718 | 13.915 % |
1490.75/1491.52 c | 232087 | 98124 539475 1500646 | 2147483647 231349 718 | 13.915 % |
1491.95/1492.74 c | 232221 | 98124 539475 1500646 | 2147483647 231483 718 | 13.915 % |
1493.44/1494.20 c | 232369 | 98124 539475 1500646 | 2147483647 231631 718 | 13.915 % |
1494.74/1495.54 c | 232531 | 98124 539475 1500646 | 2147483647 231793 718 | 13.915 % |
1496.15/1496.92 c | 232708 | 98124 539475 1500646 | 2147483647 231970 718 | 13.915 % |
1497.45/1498.26 c | 232904 | 98124 539475 1500646 | 2147483647 232166 718 | 13.915 % |
1499.55/1500.34 c | 233116 | 98124 539475 1500646 | 2147483647 232378 718 | 13.915 % |
1501.44/1502.29 c | 233349 | 98124 539475 1500646 | 2147483647 232611 718 | 13.915 % |
1503.14/1503.92 c | 233605 | 98124 539475 1500646 | 2147483647 232867 718 | 13.915 % |
1505.64/1506.48 c | 233886 | 98124 539475 1500646 | 2147483647 233148 718 | 13.915 % |
1507.75/1508.59 c | 234197 | 98124 539475 1500646 | 2147483647 233459 718 | 13.915 % |
1510.44/1511.29 c | 234538 | 98120 539475 1500646 | 2147483647 233799 718 | 13.918 % |
1512.54/1513.34 c | 234910 | 98120 539475 1500646 | 2147483647 234171 718 | 13.918 % |
1516.94/1517.73 c | 235319 | 98118 539475 1500646 | 2147483647 234578 718 | 13.920 % |
1521.44/1522.22 c | 235768 | 98118 539475 1500646 | 2147483647 235027 718 | 13.920 % |
1525.13/1525.90 c | 236262 | 98118 539475 1500646 | 2147483647 235521 718 | 13.920 % |
1531.34/1532.18 c | 236806 | 98118 539475 1500646 | 2147483647 236065 718 | 13.920 % |
1536.54/1537.36 c | 237402 | 98118 539475 1500646 | 2147483647 236661 717 | 13.920 % |
1544.02/1544.88 c | 238057 | 98118 539475 1500646 | 2147483647 237316 718 | 13.920 % |
1550.23/1551.09 c | 238779 | 98118 539475 1500646 | 2147483647 238038 719 | 13.920 % |
1556.52/1557.36 c | 239573 | 98117 539475 1500646 | 2147483647 238831 719 | 13.921 % |
1562.91/1563.73 c | 240444 | 98117 539475 1500646 | 2147483647 239702 719 | 13.921 % |
1569.62/1570.48 c | 241402 | 98053 539475 1500646 | 2147483647 240658 720 | 14.119 % |
1578.41/1579.29 c | 242457 | 98053 539475 1500646 | 2147483647 241713 720 | 14.119 % |
1588.11/1588.93 c | 243616 | 98053 539475 1500646 | 2147483647 242872 721 | 14.119 % |
1599.51/1600.30 c | 244889 | 98053 539475 1500646 | 2147483647 244145 724 | 14.119 % |
1608.10/1608.95 c | 246290 | 98053 539475 1500646 | 2147483647 245546 726 | 14.119 % |
1622.70/1623.57 c | 247830 | 98053 539475 1500646 | 2147483647 247086 728 | 14.119 % |
1637.48/1638.36 c | 249524 | 98052 539475 1500646 | 2147483647 248779 729 | 14.119 % |
1653.08/1653.95 c | 251389 | 98052 539475 1500646 | 2147483647 250644 730 | 14.119 % |
1673.06/1673.91 c | 253440 | 98052 539475 1500646 | 2147483647 252694 731 | 14.120 % |
1693.96/1694.80 c | 255693 | 98049 539475 1500646 | 2147483647 254944 734 | 14.134 % |
1714.86/1715.79 c | 258172 | 98047 539475 1500646 | 2147483647 257421 737 | 14.136 % |
1716.16/1717.03 c | 258272 | 98047 539475 1500646 | 2147483647 257521 737 | 14.136 % |
1717.36/1718.22 c | 258383 | 98047 539475 1500646 | 2147483647 257632 737 | 14.136 % |
1718.25/1719.16 c | 258504 | 98047 539475 1500646 | 2147483647 257753 737 | 14.136 % |
1718.65/1719.50 c | 258638 | 98047 539475 1500646 | 2147483647 257887 737 | 14.136 % |
1719.45/1720.36 c | 258784 | 98047 539475 1500646 | 2147483647 258033 737 | 14.136 % |
1720.95/1721.84 c | 258947 | 98047 539475 1500646 | 2147483647 258196 737 | 14.136 % |
1722.95/1723.88 c | 259126 | 98047 539475 1500646 | 2147483647 258375 737 | 14.136 % |
1724.05/1724.95 c | 259319 | 98047 539475 1500646 | 2147483647 258568 736 | 14.136 % |
1726.15/1727.08 c | 259533 | 98047 539475 1500646 | 2147483647 258782 736 | 14.136 % |
1728.04/1728.96 c | 259767 | 98047 539475 1500646 | 2147483647 259016 736 | 14.136 % |
1730.35/1731.27 c | 260030 | 98047 539475 1500646 | 2147483647 259279 736 | 14.136 % |
1732.65/1733.59 c | 260311 | 98047 539475 1500646 | 2147483647 259560 736 | 14.136 % |
1736.44/1737.33 c | 260624 | 97872 538368 1498358 | 2147483647 259854 737 | 14.136 % |
1739.34/1740.28 c | 260965 | 97872 538368 1498358 | 2147483647 260195 737 | 14.136 % |
1743.44/1744.38 c | 261338 | 97872 538368 1498358 | 2147483647 260568 737 | 14.136 % |
1746.74/1747.67 c | 261749 | 97872 538368 1498358 | 2147483647 260979 737 | 14.136 % |
1750.24/1751.19 c | 262198 | 97872 538368 1498358 | 2147483647 261428 738 | 14.136 % |
1754.83/1755.70 c | 262691 | 97872 538368 1498358 | 2147483647 261921 738 | 14.136 % |
1760.24/1761.15 c | 263234 | 97872 538368 1498358 | 2147483647 262464 738 | 14.136 % |
1765.22/1766.12 c | 263830 | 97872 538368 1498358 | 2147483647 263060 739 | 14.136 % |
1770.92/1771.87 c | 264486 | 97872 538368 1498358 | 2147483647 263716 739 | 14.136 % |
1778.12/1779.08 c | 265208 | 97872 538368 1498358 | 2147483647 264438 739 | 14.136 % |
1786.32/1787.22 c | 266000 | 97872 538368 1498358 | 2147483647 265230 740 | 14.136 % |
1795.81/1796.79 c | 266873 | 97872 538368 1498358 | 2147483647 266103 742 | 14.136 % |
1806.02/1806.93 c | 267831 | 97872 538368 1498358 | 2147483647 267061 742 | 14.136 % |
1815.21/1816.17 c | 268884 | 97872 538368 1498358 | 2147483647 268114 744 | 14.136 % |
1826.40/1827.31 c | 270044 | 97872 538368 1498358 | 2147483647 269274 745 | 14.136 % |
1837.40/1838.39 c | 271318 | 97872 538368 1498358 | 2147483647 270548 746 | 14.136 % |
1851.50/1852.46 c | 272719 | 97872 538368 1498358 | 2147483647 271949 747 | 14.136 % |
1866.28/1867.20 c | 274263 | 97871 538368 1498358 | 2147483647 273492 748 | 14.137 % |
1882.28/1883.22 c | 275958 | 97871 538368 1498358 | 2147483647 275187 749 | 14.137 % |
1895.38/1896.35 c | 277821 | 97870 538368 1498358 | 2147483647 277049 749 | 14.138 % |
1913.96/1914.93 c | 279870 | 97866 538368 1498358 | 2147483647 279097 750 | 14.149 % |
1934.86/1935.84 c | 282123 | 97865 538368 1498358 | 2147483647 281349 751 | 14.178 % |
1966.74/1967.73 c | 284602 | 97865 538368 1498358 | 2147483647 283828 757 | 14.178 % |
1993.64/1994.65 c | 287327 | 97863 538368 1498358 | 2147483647 286551 760 | 14.194 % |
1995.03/1996.01 c | 287429 | 97863 538368 1498358 | 2147483647 286653 760 | 14.194 % |
1995.83/1996.87 c | 287545 | 97863 538368 1498358 | 2147483647 286769 759 | 14.194 % |
1996.43/1997.42 c | 287667 | 97863 538368 1498358 | 2147483647 286891 759 | 14.194 % |
1997.43/1998.45 c | 287800 | 97863 538368 1498358 | 2147483647 287024 759 | 14.194 % |
1998.73/1999.77 c | 287946 | 97863 538368 1498358 | 2147483647 287170 759 | 14.194 % |
2000.13/2001.18 c | 288106 | 97863 538368 1498358 | 2147483647 287330 759 | 14.194 % |
2001.73/2002.78 c | 288284 | 97863 538368 1498358 | 2147483647 287508 759 | 14.194 % |
2003.82/2004.80 c | 288477 | 97863 538368 1498358 | 2147483647 287701 759 | 14.194 % |
2005.83/2006.88 c | 288689 | 97863 538368 1498358 | 2147483647 287913 759 | 14.194 % |
2008.33/2009.35 c | 288924 | 97863 538368 1498358 | 2147483647 288148 759 | 14.194 % |
2010.83/2011.80 c | 289181 | 97861 538368 1498358 | 2147483647 288403 759 | 14.196 % |
2013.42/2014.43 c | 289462 | 97859 538368 1498358 | 2147483647 288683 759 | 14.211 % |
2016.52/2017.59 c | 289772 | 97859 538368 1498358 | 2147483647 288993 759 | 14.211 % |
2019.43/2020.49 c | 290111 | 97859 538368 1498358 | 2147483647 289332 759 | 14.211 % |
2022.73/2023.79 c | 290484 | 97859 538368 1498358 | 2147483647 289705 759 | 14.211 % |
2027.52/2028.52 c | 290895 | 97858 538368 1498358 | 2147483647 290115 759 | 14.212 % |
2031.42/2032.48 c | 291344 | 97858 538368 1498358 | 2147483647 290564 759 | 14.212 % |
2036.71/2037.79 c | 291837 | 97858 538368 1498358 | 2147483647 291057 759 | 14.212 % |
2042.51/2043.58 c | 292381 | 97857 538368 1498358 | 2147483647 291600 759 | 14.212 % |
2048.71/2049.71 c | 292977 | 97856 538368 1498358 | 2147483647 292195 759 | 14.213 % |
2053.00/2054.04 c | 293632 | 97856 538368 1498358 | 2147483647 292850 759 | 14.213 % |
2060.31/2061.38 c | 294354 | 97854 538368 1498358 | 2147483647 293571 758 | 14.227 % |
2067.70/2068.77 c | 295146 | 97854 538368 1498358 | 2147483647 294363 759 | 14.227 % |
2076.90/2078.00 c | 296018 | 97854 538368 1498358 | 2147483647 295235 760 | 14.227 % |
2086.69/2087.77 c | 296977 | 97854 538368 1498358 | 2147483647 296194 761 | 14.227 % |
2096.49/2097.54 c | 298032 | 97854 538368 1498358 | 2147483647 297249 761 | 14.227 % |
2108.49/2109.55 c | 299190 | 97854 538368 1498358 | 2147483647 298407 762 | 14.227 % |
2120.88/2121.98 c | 300463 | 97854 538368 1498358 | 2147483647 299680 763 | 14.227 % |
2137.37/2138.44 c | 301864 | 97854 538368 1498358 | 2147483647 301081 765 | 14.227 % |
2151.76/2152.82 c | 303405 | 97854 538368 1498358 | 2147483647 302621 765 | 14.228 % |
2168.16/2169.20 c | 305102 | 97854 538368 1498358 | 2147483647 304318 766 | 14.228 % |
2184.66/2185.73 c | 306966 | 97853 538368 1498358 | 2147483647 306181 768 | 14.229 % |
2201.05/2202.20 c | 309015 | 97766 537731 1496658 | 2147483647 308189 769 | 14.233 % |
2225.63/2226.76 c | 311268 | 97765 537731 1496658 | 2147483647 310441 770 | 14.245 % |
2257.72/2258.88 c | 313746 | 97765 537731 1496658 | 2147483647 312919 774 | 14.245 % |
2285.11/2286.25 c | 316473 | 97765 537731 1496658 | 2147483647 315646 777 | 14.245 % |
2314.40/2315.57 c | 319472 | 97765 537731 1496658 | 2147483647 318644 782 | 14.247 % |
2315.40/2316.56 c | 319573 | 97765 537731 1496658 | 2147483647 318745 782 | 14.247 % |
2315.90/2317.00 c | 319684 | 97765 537731 1496658 | 2147483647 318856 782 | 14.247 % |
2317.20/2318.37 c | 319805 | 97765 537731 1496658 | 2147483647 318977 782 | 14.247 % |
2318.80/2319.97 c | 319939 | 97764 537731 1496658 | 2147483647 319110 781 | 14.249 % |
2320.69/2321.88 c | 320087 | 97764 537731 1496658 | 2147483647 319258 781 | 14.249 % |
2322.69/2323.86 c | 320247 | 97763 537731 1496658 | 2147483647 319417 781 | 14.250 % |
2324.29/2325.42 c | 320424 | 97763 537731 1496658 | 2147483647 319594 782 | 14.250 % |
2326.20/2327.32 c | 320617 | 97763 537731 1496658 | 2147483647 319787 782 | 14.250 % |
2328.89/2330.02 c | 320829 | 97763 537731 1496658 | 2147483647 319999 782 | 14.250 % |
2331.50/2332.67 c | 321064 | 97763 537731 1496658 | 2147483647 320234 782 | 14.250 % |
2333.89/2335.03 c | 321320 | 97763 537731 1496658 | 2147483647 320490 782 | 14.250 % |
2336.79/2337.97 c | 321601 | 97763 537731 1496658 | 2147483647 320771 783 | 14.250 % |
2339.79/2340.96 c | 321910 | 97763 537731 1496658 | 2147483647 321080 783 | 14.250 % |
2343.89/2345.09 c | 322252 | 97763 537731 1496658 | 2147483647 321422 783 | 14.250 % |
2347.98/2349.19 c | 322625 | 97763 537731 1496658 | 2147483647 321795 783 | 14.250 % |
2352.38/2353.55 c | 323034 | 97763 537731 1496658 | 2147483647 322204 783 | 14.250 % |
2356.08/2357.25 c | 323483 | 97763 537731 1496658 | 2147483647 322653 783 | 14.250 % |
2361.08/2362.23 c | 323980 | 97762 537731 1496658 | 2147483647 323148 783 | 14.252 % |
2366.08/2367.21 c | 324522 | 97762 537731 1496658 | 2147483647 323690 783 | 14.252 % |
2371.97/2373.16 c | 325118 | 97762 537731 1496658 | 2147483647 324286 783 | 14.252 % |
2380.28/2381.49 c | 325778 | 97761 537731 1496658 | 2147483647 324945 784 | 14.253 % |
2387.37/2388.52 c | 326500 | 97761 537731 1496658 | 2147483647 325667 785 | 14.253 % |
2395.46/2396.65 c | 327292 | 97761 537731 1496658 | 2147483647 326459 785 | 14.253 % |
2403.56/2404.71 c | 328163 | 97760 537731 1496658 | 2147483647 327329 786 | 14.254 % |
2412.95/2414.18 c | 329122 | 97760 537731 1496658 | 2147483647 328288 787 | 14.254 % |
2423.35/2424.55 c | 330175 | 97759 537731 1496658 | 2147483647 329340 788 | 14.267 % |
2435.85/2437.01 c | 331335 | 97759 537731 1496658 | 2147483647 330500 789 | 14.267 % |
2448.94/2450.11 c | 332608 | 97719 537731 1496658 | 2147483647 331772 789 | 14.317 % |
2466.23/2467.43 c | 334010 | 97719 537731 1496658 | 2147483647 333174 790 | 14.317 % |
2483.63/2484.87 c | 335550 | 97719 537731 1496658 | 2147483647 334714 790 | 14.317 % |
2499.41/2500.67 c | 337245 | 97719 537731 1496658 | 2147483647 336409 790 | 14.317 % |
2519.72/2520.90 c | 339108 | 97717 537731 1496658 | 2147483647 338270 790 | 14.319 % |
2539.90/2541.10 c | 341158 | 97715 537731 1496658 | 2147483647 340318 793 | 14.320 % |
2564.89/2566.16 c | 343411 | 97715 537731 1496658 | 2147483647 342571 795 | 14.320 % |
2591.98/2593.30 c | 345889 | 97713 537731 1496658 | 2147483647 345047 795 | 14.322 % |
2619.27/2620.52 c | 348614 | 97711 537731 1496658 | 2147483647 347770 796 | 14.324 % |
2650.86/2652.15 c | 351611 | 97711 537731 1496658 | 2147483647 350767 798 | 14.324 % |
2687.25/2688.58 c | 354908 | 97708 537731 1496658 | 2147483647 354061 799 | 14.326 % |
2688.64/2689.97 c | 355008 | 97708 537731 1496658 | 2147483647 354161 799 | 14.326 % |
2689.94/2691.28 c | 355118 | 97708 537731 1496658 | 2147483647 354271 799 | 14.326 % |
2691.35/2692.69 c | 355242 | 97708 537731 1496658 | 2147483647 354395 799 | 14.326 % |
2693.25/2694.52 c | 355375 | 97708 537731 1496658 | 2147483647 354528 799 | 14.326 % |
2694.95/2696.22 c | 355522 | 97708 537731 1496658 | 2147483647 354675 799 | 14.326 % |
2696.64/2697.98 c | 355684 | 97708 537731 1496658 | 2147483647 354837 799 | 14.326 % |
2698.64/2699.92 c | 355867 | 97708 537731 1496658 | 2147483647 355020 799 | 14.326 % |
2699.94/2701.24 c | 356061 | 97708 537731 1496658 | 2147483647 355214 799 | 14.326 % |
2702.74/2704.08 c | 356273 | 97708 537731 1496658 | 2147483647 355426 799 | 14.326 % |
2705.14/2706.48 c | 356506 | 97708 537731 1496658 | 2147483647 355659 799 | 14.326 % |
2706.44/2707.76 c | 356762 | 97708 537731 1496658 | 2147483647 355915 798 | 14.326 % |
2709.43/2710.75 c | 357046 | 97708 537731 1496658 | 2147483647 356199 799 | 14.326 % |
2712.63/2713.96 c | 357356 | 97706 537731 1496658 | 2147483647 356508 798 | 14.455 % |
2716.83/2718.15 c | 357701 | 97706 537731 1496658 | 2147483647 356853 798 | 14.455 % |
2720.53/2721.88 c | 358074 | 97705 537731 1496658 | 2147483647 357225 798 | 14.456 % |
2724.22/2725.55 c | 358485 | 97705 537731 1496658 | 2147483647 357636 799 | 14.456 % |
2728.83/2730.17 c | 358934 | 97705 537731 1496658 | 2147483647 358085 798 | 14.456 % |
2734.12/2735.48 c | 359427 | 97705 537731 1496658 | 2147483647 358578 798 | 14.456 % |
2740.22/2741.54 c | 359972 | 97705 537731 1496658 | 2147483647 359123 798 | 14.456 % |
2747.32/2748.64 c | 360570 | 97704 537731 1496658 | 2147483647 359720 798 | 14.457 % |
2756.41/2757.74 c | 361226 | 97704 537731 1496658 | 2147483647 360376 798 | 14.457 % |
2765.91/2767.28 c | 361948 | 97704 537731 1496658 | 2147483647 361098 799 | 14.457 % |
2774.81/2776.19 c | 362740 | 97704 537731 1496658 | 2147483647 361890 799 | 14.457 % |
2784.01/2785.38 c | 363611 | 97704 537731 1496658 | 2147483647 362761 799 | 14.457 % |
2793.60/2794.95 c | 364570 | 97704 537731 1496658 | 2147483647 363720 799 | 14.457 % |
2804.40/2805.74 c | 365623 | 97703 537731 1496658 | 2147483647 364772 799 | 14.458 % |
2817.19/2818.57 c | 366781 | 97703 537731 1496658 | 2147483647 365930 800 | 14.458 % |
2833.39/2834.77 c | 368055 | 97505 536073 1492260 | 2147483647 367182 801 | 14.458 % |
2843.78/2845.11 c | 369456 | 97505 536073 1492260 | 2147483647 368583 801 | 14.458 % |
2862.48/2863.84 c | 370999 | 97505 536073 1492260 | 2147483647 370126 801 | 14.458 % |
2878.87/2880.29 c | 372694 | 97504 536073 1492260 | 2147483647 371820 802 | 14.459 % |
2898.86/2900.27 c | 374558 | 97504 536073 1492260 | 2147483647 373684 802 | 14.459 % |
2915.56/2916.97 c | 376607 | 97503 536073 1492260 | 2147483647 375732 803 | 14.462 % |
2942.74/2944.17 c | 378862 | 97499 536073 1492260 | 2147483647 377984 804 | 14.478 % |
2970.63/2972.04 c | 381341 | 97497 536073 1492260 | 2147483647 380461 806 | 14.480 % |
3002.51/3003.94 c | 384066 | 97496 536073 1492260 | 2147483647 383185 806 | 14.481 % |
3034.01/3035.42 c | 387064 | 97495 536073 1492260 | 2147483647 386181 809 | 14.483 % |
3063.30/3064.74 c | 390361 | 97495 536073 1492260 | 2147483647 389478 810 | 14.483 % |
3102.18/3103.64 c | 393986 | 97493 536073 1492260 | 2147483647 393101 813 | 14.488 % |
3103.17/3104.65 c | 394086 | 97493 536073 1492260 | 2147483647 393201 813 | 14.488 % |
3104.37/3105.82 c | 394197 | 97493 536073 1492260 | 2147483647 393312 813 | 14.488 % |
3106.38/3107.85 c | 394318 | 97493 536073 1492260 | 2147483647 393433 813 | 14.488 % |
3107.58/3109.02 c | 394456 | 97493 536073 1492260 | 2147483647 393571 813 | 14.488 % |
3109.38/3110.85 c | 394605 | 97493 536073 1492260 | 2147483647 393720 813 | 14.488 % |
3111.77/3113.21 c | 394766 | 97493 536073 1492260 | 2147483647 393881 813 | 14.488 % |
3114.67/3116.20 c | 394945 | 97493 536073 1492260 | 2147483647 394060 813 | 14.488 % |
3116.77/3118.25 c | 395138 | 97493 536073 1492260 | 2147483647 394253 813 | 14.488 % |
3119.66/3121.11 c | 395350 | 97493 536073 1492260 | 2147483647 394465 813 | 14.488 % |
3122.56/3124.05 c | 395585 | 97493 536073 1492260 | 2147483647 394700 813 | 14.488 % |
3123.66/3125.14 c | 395841 | 97493 536073 1492260 | 2147483647 394956 812 | 14.488 % |
3127.07/3128.52 c | 396122 | 97493 536073 1492260 | 2147483647 395237 812 | 14.488 % |
3130.17/3131.66 c | 396431 | 97490 536073 1492260 | 2147483647 395545 812 | 14.498 % |
3133.66/3135.14 c | 396772 | 97490 536073 1492260 | 2147483647 395886 812 | 14.498 % |
3138.15/3139.68 c | 397151 | 97490 536073 1492260 | 2147483647 396265 812 | 14.498 % |
3140.85/3142.35 c | 397560 | 97490 536073 1492260 | 2147483647 396674 811 | 14.498 % |
3145.26/3146.72 c | 398009 | 97490 536073 1492260 | 2147483647 397123 811 | 14.498 % |
3150.85/3152.36 c | 398502 | 97490 536073 1492260 | 2147483647 397616 811 | 14.498 % |
3156.05/3157.58 c | 399044 | 97488 536073 1492260 | 2147483647 398157 811 | 14.502 % |
3163.45/3164.97 c | 399641 | 97486 536073 1492260 | 2147483647 398754 811 | 14.502 % |
3172.34/3173.81 c | 400296 | 97486 536073 1492260 | 2147483647 399409 812 | 14.502 % |
3181.14/3182.64 c | 401016 | 97486 536073 1492260 | 2147483647 400129 812 | 14.502 % |
3189.64/3191.13 c | 401809 | 97486 536073 1492260 | 2147483647 400922 812 | 14.502 % |
3199.63/3201.11 c | 402680 | 97486 536073 1492260 | 2147483647 401793 812 | 14.502 % |
3207.83/3209.36 c | 403638 | 97486 536073 1492260 | 2147483647 402751 812 | 14.502 % |
3220.33/3221.89 c | 404692 | 97486 536073 1492260 | 2147483647 403805 813 | 14.502 % |
3233.32/3234.89 c | 405851 | 97484 536073 1492260 | 2147483647 404962 813 | 14.504 % |
3247.61/3249.19 c | 407128 | 97483 536073 1492260 | 2147483647 406238 814 | 14.505 % |
3264.92/3266.40 c | 408528 | 97483 536073 1492260 | 2147483647 407637 814 | 14.507 % |
3283.61/3285.14 c | 410069 | 97483 536073 1492260 | 2147483647 409177 815 | 14.511 % |
3300.88/3302.48 c | 411763 | 97483 536073 1492260 | 2147483647 410871 815 | 14.511 % |
3323.78/3325.33 c | 413628 | 97482 536073 1492260 | 2147483647 412735 816 | 14.512 % |
3345.56/3347.12 c | 415683 | 97482 536073 1492260 | 2147483647 414790 818 | 14.512 % |
3373.16/3374.76 c | 417938 | 97480 536073 1492260 | 2147483647 417043 819 | 14.513 % |
3406.84/3408.44 c | 420417 | 97480 536073 1492260 | 2147483647 419522 820 | 14.513 % |
3437.13/3438.73 c | 423142 | 97478 536073 1492260 | 2147483647 422245 822 | 14.515 % |
3476.10/3477.76 c | 426141 | 97478 536073 1492260 | 2147483647 425244 824 | 14.515 % |
3511.09/3512.73 c | 429438 | 97478 536073 1492260 | 2147483647 428541 825 | 14.515 % |
3550.58/3552.24 c | 433066 | 97477 536073 1492260 | 2147483647 432168 827 | 14.516 % |
3597.46/3599.17 c | 437053 | 97473 536073 1492260 | 2147483647 436153 829 | 14.529 % |
3598.67/3600.36 c | 437153 | 97473 536073 1492260 | 2147483647 436253 829 | 14.529 % |
3600.16/3601.83 c | 437263 | 97473 536073 1492260 | 2147483647 436363 829 | 14.529 % |
3602.26/3603.96 c | 437385 | 97473 536073 1492260 | 2147483647 436485 829 | 14.529 % |
3604.07/3605.71 c | 437518 | 97473 536073 1492260 | 2147483647 436618 829 | 14.529 % |
3604.96/3606.65 c | 437667 | 97473 536073 1492260 | 2147483647 436767 829 | 14.529 % |
3605.86/3607.58 c | 437828 | 97473 536073 1492260 | 2147483647 436928 828 | 14.529 % |
3606.46/3608.14 c | 438008 | 97473 536073 1492260 | 2147483647 437108 828 | 14.529 % |
3608.96/3610.70 c | 438201 | 97473 536073 1492260 | 2147483647 437301 828 | 14.529 % |
3612.15/3613.81 c | 438415 | 97472 536073 1492260 | 2147483647 437514 828 | 14.530 % |
3615.35/3617.00 c | 438648 | 97472 536073 1492260 | 2147483647 437747 828 | 14.530 % |
3618.75/3620.43 c | 438905 | 97472 536073 1492260 | 2147483647 438004 828 | 14.530 % |
3622.54/3624.22 c | 439186 | 97472 536073 1492260 | 2147483647 438285 828 | 14.530 % |
3626.54/3628.29 c | 439497 | 97472 536073 1492260 | 2147483647 438596 828 | 14.530 % |
3631.25/3632.95 c | 439837 | 97471 536073 1492260 | 2147483647 438935 829 | 14.531 % |
3635.14/3636.88 c | 440210 | 97471 536073 1492260 | 2147483647 439308 829 | 14.531 % |
3640.75/3642.45 c | 440620 | 97471 536073 1492260 | 2147483647 439718 829 | 14.531 % |
3646.14/3647.80 c | 441069 | 97471 536073 1492260 | 2147483647 440167 829 | 14.531 % |
3650.34/3652.07 c | 441562 | 97470 536073 1492260 | 2147483647 440659 829 | 14.533 % |
3656.23/3657.91 c | 442104 | 97470 536073 1492260 | 2147483647 441201 828 | 14.533 % |
3663.33/3665.08 c | 442703 | 97470 536073 1492260 | 2147483647 441800 829 | 14.533 % |
3671.02/3672.78 c | 443359 | 97470 536073 1492260 | 2147483647 442456 830 | 14.533 % |
3681.22/3682.98 c | 444082 | 97470 536073 1492260 | 2147483647 443179 830 | 14.533 % |
3691.32/3693.04 c | 444878 | 97470 536073 1492260 | 2147483647 443975 830 | 14.533 % |
3704.51/3706.21 c | 445749 | 97419 535559 1490996 | 2147483647 444814 831 | 14.545 % |
3717.21/3718.95 c | 446707 | 97419 535559 1490996 | 2147483647 445772 831 | 14.545 % |
3730.00/3731.79 c | 447760 | 97419 535559 1490996 | 2147483647 446825 831 | 14.545 % |
3743.99/3745.74 c | 448918 | 97419 535559 1490996 | 2147483647 447983 832 | 14.545 % |
3760.99/3762.75 c | 450191 | 97418 535559 1490996 | 2147483647 449255 832 | 14.546 % |
3776.28/3778.08 c | 451591 | 97418 535559 1490996 | 2147483647 450655 833 | 14.546 % |
3796.77/3798.53 c | 453132 | 97418 535559 1490996 | 2147483647 452196 834 | 14.546 % |
3817.76/3819.56 c | 454830 | 97418 535559 1490996 | 2147483647 453894 835 | 14.546 % |
3839.45/3841.28 c | 456693 | 97418 535559 1490996 | 2147483647 455757 836 | 14.546 % |
3862.84/3864.64 c | 458746 | 97418 535559 1490996 | 2147483647 457810 836 | 14.546 % |
3886.83/3888.62 c | 461001 | 97418 535559 1490996 | 2147483647 460065 836 | 14.546 % |
3908.73/3910.56 c | 463479 | 97418 535559 1490996 | 2147483647 462543 836 | 14.546 % |
3943.61/3945.48 c | 466206 | 97417 535559 1490996 | 2147483647 465269 836 | 14.547 % |
3976.19/3978.00 c | 469204 | 97414 535559 1490996 | 2147483647 468264 836 | 14.574 % |
4020.78/4022.70 c | 472501 | 97412 535559 1490996 | 2147483647 471558 837 | 14.578 % |
4063.85/4065.76 c | 476126 | 97411 535559 1490996 | 2147483647 475182 839 | 14.579 % |
4124.32/4126.29 c | 480114 | 97411 535559 1490996 | 2147483647 479170 843 | 14.579 % |
4177.51/4179.43 c | 484500 | 97410 535559 1490996 | 2147483647 483555 842 | 14.580 % |
4178.91/4180.89 c | 484600 | 97410 535559 1490996 | 2147483647 483655 842 | 14.580 % |
4180.81/4182.78 c | 484710 | 97410 535559 1490996 | 2147483647 483765 842 | 14.580 % |
4182.71/4184.64 c | 484834 | 97410 535559 1490996 | 2147483647 483889 842 | 14.580 % |
4184.71/4186.65 c | 484967 | 97410 535559 1490996 | 2147483647 484022 842 | 14.580 % |
4186.20/4188.13 c | 485113 | 97407 535559 1490996 | 2147483647 484167 842 | 14.583 % |
4189.50/4191.46 c | 485273 | 97407 535559 1490996 | 2147483647 484327 842 | 14.583 % |
4192.40/4194.34 c | 485449 | 97407 535559 1490996 | 2147483647 484503 842 | 14.584 % |
4195.09/4197.03 c | 485644 | 97407 535559 1490996 | 2147483647 484698 842 | 14.583 % |
4198.19/4200.15 c | 485858 | 97407 535559 1490996 | 2147483647 484912 842 | 14.583 % |
4201.49/4203.47 c | 486091 | 97407 535559 1490996 | 2147483647 485145 842 | 14.583 % |
4204.99/4206.99 c | 486347 | 97407 535559 1490996 | 2147483647 485401 842 | 14.583 % |
4208.48/4210.49 c | 486628 | 97407 535559 1490996 | 2147483647 485682 842 | 14.583 % |
4212.48/4214.49 c | 486939 | 97407 535559 1490996 | 2147483647 485993 842 | 14.584 % |
4216.79/4218.79 c | 487279 | 97407 535559 1490996 | 2147483647 486333 842 | 14.583 % |
4221.19/4223.14 c | 487652 | 97406 535559 1490996 | 2147483647 486705 842 | 14.584 % |
4225.99/4227.94 c | 488064 | 97406 535559 1490996 | 2147483647 487117 843 | 14.584 % |
4231.58/4233.56 c | 488516 | 97406 535559 1490996 | 2147483647 487569 842 | 14.584 % |
4236.38/4238.36 c | 489009 | 97406 535559 1490996 | 2147483647 488062 842 | 14.584 % |
4242.47/4244.49 c | 489551 | 97406 535559 1490996 | 2147483647 488604 842 | 14.584 % |
4249.57/4251.50 c | 490150 | 97406 535559 1490996 | 2147483647 489203 842 | 14.584 % |
4260.47/4262.46 c | 490805 | 97406 535559 1490996 | 2147483647 489858 842 | 14.584 % |
4270.86/4272.82 c | 491525 | 97406 535559 1490996 | 2147483647 490578 842 | 14.584 % |
4281.76/4283.76 c | 492318 | 97406 535559 1490996 | 2147483647 491371 842 | 14.584 % |
4291.95/4293.93 c | 493191 | 97406 535559 1490996 | 2147483647 492244 842 | 14.584 % |
4304.95/4306.92 c | 494149 | 97406 535559 1490996 | 2147483647 493202 842 | 14.584 % |
4319.44/4321.48 c | 495202 | 97406 535559 1490996 | 2147483647 494254 843 | 14.585 % |
4332.93/4334.95 c | 496362 | 97406 535559 1490996 | 2147483647 495414 844 | 14.585 % |
4351.63/4353.64 c | 497637 | 97406 535559 1490996 | 2147483647 496689 844 | 14.585 % |
4369.82/4371.83 c | 499038 | 97406 535559 1490996 | 2147483647 498090 845 | 14.585 % |
4386.21/4388.24 c | 500579 | 97406 535559 1490996 | 2147483647 499631 845 | 14.585 % |
4409.70/4411.76 c | 502273 | 97406 535559 1490996 | 2147483647 501324 846 | 14.586 % |
4440.29/4442.35 c | 504136 | 97406 535559 1490996 | 2147483647 503187 847 | 14.586 % |
4465.28/4467.37 c | 506187 | 97406 535559 1490996 | 2147483647 505238 848 | 14.586 % |
4498.77/4500.89 c | 508441 | 97405 535559 1490996 | 2147483647 507491 849 | 14.587 % |
4530.06/4532.10 c | 510919 | 97405 535559 1490996 | 2147483647 509969 850 | 14.587 % |
4565.63/4567.75 c | 513645 | 97405 535559 1490996 | 2147483647 512695 851 | 14.587 % |
4606.72/4608.90 c | 516643 | 97405 535559 1490996 | 2147483647 515692 853 | 14.600 % |
4652.80/4654.96 c | 519943 | 97405 535559 1490996 | 2147483647 518992 855 | 14.600 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1837042-1242857004/watcher-1837042-1242857004 -o /tmp/evaluation-result-1837042-1242857004/solver-1837042-1242857004 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837042-1242857004.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.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 313729879 5484544 235 1992294400 4194304 4889804 548682068816 18446744073709551615 230266994770 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/12114/statm: 1339 235 195 169 0 50 0
[pid=12115] ppid=12114 vsize=5356 CPUtime=0
/proc/12115/stat : 12115 (SatELiteGTI) S 12114 12114 12077 0 -1 4194368 51 25 0 0 0 0 0 0 18 0 1 0 313729879 5484544 238 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4096 65538 18446744071563356171 0 0 17 0 0 0
/proc/12115/statm: 1339 238 198 169 0 50 0
[pid=12117] ppid=12115 vsize=5356 CPUtime=0
/proc/12117/stat : 12117 (SatELiteGTI) R 12115 12114 12077 0 -1 4194368 19 0 0 0 0 0 0 0 21 0 1 0 313729880 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266826023 0 0 4096 0 0 0 0 17 1 0 0
/proc/12117/statm: 1339 239 199 169 0 50 0
[startup+0.0315819 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101586 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301605 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701645 s]
/proc/loadavg: 0.01 0.02 0.00 3/65 12114
/proc/meminfo: memFree=1559024/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50171 s]
/proc/loadavg: 0.09 0.03 0.01 2/67 12119
/proc/meminfo: memFree=1458136/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
[pid=12119] ppid=12114 vsize=118792 CPUtime=1.48
/proc/12119/stat : 12119 (SatELite_releas) R 12114 12114 12077 0 -1 4194304 29363 0 0 0 133 15 0 0 25 0 1 0 313729880 121643008 26707 1992294400 134512640 135223648 4294956128 18446744073709551615 134737406 0 0 4096 3 0 0 0 17 0 0 0
/proc/12119/statm: 29698 26707 76 173 0 29523 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 124148
[startup+3.10188 s]
/proc/loadavg: 0.09 0.03 0.01 2/67 12119
/proc/meminfo: memFree=1444504/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
[pid=12119] ppid=12114 vsize=128392 CPUtime=3.08
/proc/12119/stat : 12119 (SatELite_releas) R 12114 12114 12077 0 -1 4194304 31220 0 0 0 292 16 0 0 25 0 1 0 313729880 131473408 28383 1992294400 134512640 135223648 4294956128 18446744073709551615 134587016 0 0 4096 3 0 0 0 17 0 0 0
/proc/12119/statm: 32098 28383 76 173 0 31923 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 133748
[startup+6.30221 s]
/proc/loadavg: 0.09 0.03 0.01 2/67 12119
/proc/meminfo: memFree=1435416/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=0
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 313729879 5484544 237 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/12114/statm: 1339 237 197 169 0 50 0
[pid=12119] ppid=12114 vsize=130892 CPUtime=6.28
/proc/12119/stat : 12119 (SatELite_releas) R 12114 12114 12077 0 -1 4194304 34315 0 0 0 609 19 0 0 25 0 1 0 313729880 134033408 29078 1992294400 134512640 135223648 4294956128 18446744073709551615 134586759 0 0 4096 3 0 0 0 17 0 0 0
/proc/12119/statm: 32723 29078 76 173 0 32548 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 136248
[startup+12.7019 s]
/proc/loadavg: 0.38 0.10 0.03 2/67 12120
/proc/meminfo: memFree=1501664/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=38700 CPUtime=4.68
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 9072 0 0 0 464 4 0 0 25 0 1 0 313730680 39628800 9021 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 9675 9021 77 171 0 9502 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 44056
[startup+25.5012 s]
/proc/loadavg: 0.63 0.16 0.05 2/67 12120
/proc/meminfo: memFree=1498016/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=42404 CPUtime=17.48
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 10009 0 0 0 1743 5 0 0 25 0 1 0 313730680 43421696 9958 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 10601 9958 77 171 0 10428 0
Current children cumulated CPU time (s) 25.46
Current children cumulated vsize (KiB) 47760
[startup+51.1018 s]
/proc/loadavg: 1.15 0.32 0.10 2/67 12120
/proc/meminfo: memFree=1488864/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=52064 CPUtime=43.04
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 12409 0 0 0 4297 7 0 0 25 0 1 0 313730680 53313536 12358 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 13016 12358 77 171 0 12843 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 57420
[startup+102.305 s]
/proc/loadavg: 1.25 0.51 0.18 2/67 12120
/proc/meminfo: memFree=1467680/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=74096 CPUtime=94.2
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 17908 0 0 0 9407 13 0 0 25 0 1 0 313730680 75874304 17857 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 18524 17857 77 171 0 18351 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 79452
[startup+162.301 s]
/proc/loadavg: 1.09 0.59 0.22 2/67 12120
/proc/meminfo: memFree=1436192/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=105744 CPUtime=154.17
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 25819 0 0 0 15396 21 0 0 25 0 1 0 313730680 108281856 25768 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 26436 25768 77 171 0 26263 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 111100
[startup+222.301 s]
/proc/loadavg: 1.03 0.66 0.27 2/67 12120
/proc/meminfo: memFree=1405408/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=136156 CPUtime=214.15
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 33429 0 0 0 21388 27 0 0 25 0 1 0 313730680 139423744 33378 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 34039 33378 77 171 0 33866 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 141512
[startup+282.302 s]
/proc/loadavg: 1.01 0.72 0.31 2/67 12120
/proc/meminfo: memFree=1373664/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=168084 CPUtime=274.11
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 41421 0 0 0 27377 34 0 0 25 0 1 0 313730680 172118016 41370 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 42021 41370 77 171 0 41848 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 173440
[startup+342.302 s]
/proc/loadavg: 1.00 0.77 0.35 2/67 12120
/proc/meminfo: memFree=1344800/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=196864 CPUtime=334.09
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 48574 0 0 0 33367 42 0 0 25 0 1 0 313730680 201588736 48523 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 49216 48523 77 171 0 49043 0
Current children cumulated CPU time (s) 342.07
Current children cumulated vsize (KiB) 202220
[startup+402.301 s]
/proc/loadavg: 1.00 0.81 0.39 2/67 12120
/proc/meminfo: memFree=1316128/2055924 swapFree=4157864/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=225632 CPUtime=394.06
################
# More data... #
################
/proc/12120/statm: 406218 405214 77 171 0 406045 0
Current children cumulated CPU time (s) 4000.48
Current children cumulated vsize (KiB) 1630228
[startup+4062.31 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=16096/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1643784 CPUtime=4052.48
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 409997 0 0 0 404910 338 0 0 25 0 1 0 313730680 1683234816 409946 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 410946 409946 77 171 0 410773 0
Current children cumulated CPU time (s) 4060.46
Current children cumulated vsize (KiB) 1649140
[startup+4122.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15776/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1664544 CPUtime=4112.45
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 415178 0 0 0 410904 341 0 0 25 0 1 0 313730680 1704493056 415127 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 416136 415127 77 171 0 415963 0
Current children cumulated CPU time (s) 4120.43
Current children cumulated vsize (KiB) 1669900
[startup+4182.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=16160/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1680728 CPUtime=4172.43
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 419239 0 0 0 416898 345 0 0 25 0 1 0 313730680 1721065472 419188 1992294400 134512640 135215339 4294956240 18446744073709551615 134529080 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 420182 419188 77 171 0 420009 0
Current children cumulated CPU time (s) 4180.41
Current children cumulated vsize (KiB) 1686084
[startup+4242.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=16032/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1696284 CPUtime=4232.39
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 423116 0 0 0 422891 348 0 0 25 0 1 0 313730680 1736994816 423065 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 424071 423065 77 171 0 423898 0
Current children cumulated CPU time (s) 4240.37
Current children cumulated vsize (KiB) 1701640
[startup+4302.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15712/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1712012 CPUtime=4292.37
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 427063 0 0 0 428886 351 0 0 25 0 1 0 313730680 1753100288 427012 1992294400 134512640 135215339 4294956240 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 428003 427012 77 171 0 427830 0
Current children cumulated CPU time (s) 4300.35
Current children cumulated vsize (KiB) 1717368
[startup+4362.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15456/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1730908 CPUtime=4352.34
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 431782 0 0 0 434879 355 0 0 25 0 1 0 313730680 1772449792 431731 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 432727 431731 77 171 0 432554 0
Current children cumulated CPU time (s) 4360.32
Current children cumulated vsize (KiB) 1736264
[startup+4422.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=14880/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1749708 CPUtime=4412.31
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 436485 0 0 0 440871 360 0 0 25 0 1 0 313730680 1791700992 436434 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 437427 436434 77 171 0 437254 0
Current children cumulated CPU time (s) 4420.29
Current children cumulated vsize (KiB) 1755064
[startup+4482.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15328/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1769272 CPUtime=4472.29
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 441358 0 0 0 446866 363 0 0 25 0 1 0 313730680 1811734528 441307 1992294400 134512640 135215339 4294956240 18446744073709551615 134528784 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 442318 441307 77 171 0 442145 0
Current children cumulated CPU time (s) 4480.27
Current children cumulated vsize (KiB) 1774628
[startup+4542.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15648/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1787284 CPUtime=4532.27
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 445856 0 0 0 452860 367 0 0 25 0 1 0 313730680 1830178816 445805 1992294400 134512640 135215339 4294956240 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 446821 445805 77 171 0 446648 0
Current children cumulated CPU time (s) 4540.25
Current children cumulated vsize (KiB) 1792640
[startup+4602.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15584/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1808936 CPUtime=4592.24
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 451272 0 0 0 458853 371 0 0 25 0 1 0 313730680 1852350464 451221 1992294400 134512640 135215339 4294956240 18446744073709551615 134538272 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 452234 451221 77 171 0 452061 0
Current children cumulated CPU time (s) 4600.22
Current children cumulated vsize (KiB) 1814292
[startup+4662.3 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=15904/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1829004 CPUtime=4652.22
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 456312 0 0 0 464847 375 0 0 25 0 1 0 313730680 1872900096 456261 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 457251 456261 77 171 0 457078 0
Current children cumulated CPU time (s) 4660.2
Current children cumulated vsize (KiB) 1834360
Maximum VSize exceeded: sending SIGTERM then SIGKILL
[startup+4681.4 s]
/proc/loadavg: 1.00 1.00 0.91 2/67 12128
/proc/meminfo: memFree=14944/2055924 swapFree=4178432/4192956
[pid=12114] ppid=12112 vsize=5356 CPUtime=7.98
/proc/12114/stat : 12114 (SatELiteGTI) S 12112 12114 12077 0 -1 4194304 336 44330 0 0 0 0 768 30 16 0 1 0 313729879 5484544 239 1992294400 4194304 4889804 548682068816 18446744073709551615 230266823492 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/12114/statm: 1339 239 197 169 0 50 0
[pid=12120] ppid=12114 vsize=1837864 CPUtime=4671.29
/proc/12120/stat : 12120 (minisat_static) R 12114 12114 12077 0 -1 4194304 458496 0 0 0 466752 377 0 0 25 0 1 0 313730680 1881972736 458445 1992294400 134512640 135215339 4294956240 18446744073709551615 134532704 0 0 4096 3 0 0 0 17 0 0 0
/proc/12120/statm: 459466 458445 77 171 0 459293 0
Current children cumulated CPU time (s) 4679.27
Current children cumulated vsize (KiB) 1843220
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 12114 and gives
# childrusage.ru_utime.tv_sec=7
# childrusage.ru_utime.tv_usec=689830
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=310952
# CPU time returned by wait4() is 8.00078
# while last known CPU time is 4679.27
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 4681.41
CPU time (s): 4679.27
CPU user time (s): 4675.2
CPU system time (s): 4.07
CPU usage (%): 99.9543
Max. virtual memory (cumulated for all children) (KiB): 1843220
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 7.68983
system time used= 0.310952
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44666
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 14
involuntary context switches= 49
runsolver used 5.01124 second user time and 12.1022 second system time
The end
Begin job on node83 at 2009-05-21 00:03:26
IDJOB=1837042
IDBENCH=20353
IDSOLVER=674
FILE ID=node83/1837042-1242857004
PBS_JOBID= 9328436
Free space on /tmp= 66148 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT07/industrial/anbulagan/hard-sat/partial-10-13-s.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1837042-1242857004/watcher-1837042-1242857004 -o /tmp/evaluation-result-1837042-1242857004/solver-1837042-1242857004 -C 10000 -W 12000 -M 1800 SatELiteGTI HOME/instance-1837042-1242857004.cnf
TIME LIMIT= 10000 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= d90571b4b69632567da9d3ebfd25979e
RANDOM SEED=2016091326
node83.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.222
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.222
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: 2055924 kB
MemFree: 1559504 kB
Buffers: 57024 kB
Cached: 364048 kB
SwapCached: 29496 kB
Active: 177740 kB
Inactive: 274752 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055924 kB
LowFree: 1559504 kB
SwapTotal: 4192956 kB
SwapFree: 4157864 kB
Dirty: 20952 kB
Writeback: 0 kB
Mapped: 15416 kB
Slab: 29924 kB
Committed_AS: 1074032 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66128 MiB
End job on node83 at 2009-05-21 01:21:29