0.00/0.00 c Parsing...
0.00/0.43 c ==============================================================================
0.00/0.43 c | | ORIGINAL | LEARNT | |
0.00/0.43 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.43 c ==============================================================================
0.00/0.43 c | 0 | 473595 1105055 | 142078 0 0 nan | 0.000 % |
3.38/3.48 c | 0 | 206201 803155 | -- 0 -- -- | -- | -267392/-301895
3.38/3.49 c ==============================================================================
3.38/3.49 c Result : #vars: 26986 #clauses: 206201 #literals: 803155
3.38/3.49 c CPU time: 3.31549 s
3.38/3.49 c ==============================================================================
3.67/3.79 c This is MiniSat 2.0 beta
3.67/3.79 c WARNING: for repeatability, setting FPU to use double precision
3.67/3.79 c ============================[ Problem Statistics ]=============================
3.67/3.79 c | |
3.67/3.79 c | Number of variables: 26986 |
3.67/3.79 c | Number of clauses: 206201 |
3.76/3.95 c | Parsing time: 0.14 s |
3.76/3.96 c ============================[ Search Statistics ]==============================
3.76/3.96 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.76/3.96 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.76/3.96 c ===============================================================================
3.76/3.96 c | 0 | 26986 206201 803155 | 68733 0 nan | 0.000 % |
3.76/3.98 c | 100 | 26986 206201 803155 | 68733 99 10 | 0.011 % |
3.76/4.01 c | 202 | 26984 206201 803155 | 68733 201 13 | 0.011 % |
3.76/4.04 c | 303 | 26976 206201 803155 | 68733 300 11 | 0.078 % |
3.76/4.07 c | 413 | 26976 206201 803155 | 68733 410 12 | 0.078 % |
3.76/4.13 c | 513 | 26974 206201 803155 | 68733 510 15 | 0.078 % |
3.76/4.18 c | 624 | 26974 206201 803155 | 68733 621 16 | 0.078 % |
3.76/4.26 c | 746 | 26972 206201 803155 | 68733 743 15 | 0.078 % |
4.25/4.39 c | 848 | 26966 206201 803155 | 68733 845 14 | 0.078 % |
4.25/4.39 c | 958 | 26966 206201 803155 | 68733 955 13 | 0.078 % |
4.35/4.47 c | 1080 | 26966 206201 803155 | 68733 1077 13 | 0.078 % |
4.45/4.52 c | 1213 | 26966 206201 803155 | 68733 1210 14 | 0.078 % |
4.45/4.56 c | 1315 | 26949 206201 803155 | 68733 1311 15 | 0.200 % |
4.45/4.59 c | 1428 | 26945 206201 803155 | 68733 1424 16 | 0.200 % |
4.55/4.69 c | 1549 | 26932 204958 798790 | 68733 1529 16 | 0.200 % |
4.65/4.79 c | 1683 | 26931 204958 798790 | 68733 1662 16 | 0.204 % |
4.75/4.85 c | 1830 | 26929 204958 798790 | 68733 1808 16 | 0.215 % |
4.75/4.87 c | 1930 | 26926 204958 798790 | 68733 1904 16 | 0.271 % |
4.75/4.90 c | 2040 | 26917 204958 798790 | 68733 2014 16 | 0.271 % |
4.85/4.93 c | 2161 | 26916 204958 798790 | 68733 2134 16 | 0.278 % |
4.85/4.96 c | 2294 | 26914 204958 798790 | 68733 2266 15 | 0.282 % |
4.95/5.06 c | 2440 | 26913 204958 798790 | 68733 2412 17 | 0.282 % |
4.95/5.07 c | 2600 | 26913 204958 798790 | 68733 2572 17 | 0.282 % |
5.05/5.12 c | 2702 | 26913 204958 798790 | 68733 2674 17 | 0.282 % |
5.05/5.16 c | 2812 | 26910 204958 798790 | 68733 2783 18 | 0.315 % |
5.05/5.17 c | 2933 | 26910 204958 798790 | 68733 2904 20 | 0.315 % |
5.15/5.26 c | 3067 | 26895 204416 796917 | 68733 2954 20 | 0.337 % |
5.25/5.32 c | 3213 | 26895 204416 796917 | 68733 3100 20 | 0.337 % |
5.25/5.36 c | 3374 | 26895 204416 796917 | 68733 3261 20 | 0.337 % |
5.35/5.45 c | 3550 | 26895 204416 796917 | 68733 3437 21 | 0.337 % |
5.35/5.49 c | 3650 | 26876 204416 796917 | 68733 3533 21 | 0.611 % |
5.46/5.51 c | 3760 | 26876 204416 796917 | 68733 3643 21 | 0.611 % |
5.46/5.56 c | 3881 | 26876 204416 796917 | 68733 3764 21 | 0.611 % |
5.46/5.58 c | 4015 | 26876 204416 796917 | 68733 3898 21 | 0.611 % |
5.56/5.62 c | 4163 | 26864 204416 796917 | 68733 4044 21 | 0.797 % |
5.56/5.63 c | 4324 | 26863 204416 796917 | 68733 4204 20 | 0.800 % |
5.56/5.69 c | 4501 | 26861 204416 796917 | 68733 4381 21 | 0.800 % |
5.66/5.73 c | 4694 | 26861 204416 796917 | 68733 4574 21 | 0.800 % |
5.76/5.82 c | 4794 | 26859 204416 796917 | 68733 4673 21 | 0.808 % |
5.76/5.87 c | 4904 | 26857 204416 796917 | 68733 4782 21 | 0.915 % |
5.86/5.90 c | 5025 | 26857 204416 796917 | 68733 4903 21 | 0.915 % |
5.86/5.94 c | 5158 | 26712 201116 784807 | 68733 4949 21 | 1.049 % |
5.86/5.98 c | 5304 | 26690 201116 784807 | 68733 5094 22 | 1.167 % |
5.96/6.02 c | 5465 | 26688 201116 784807 | 68733 5255 22 | 1.167 % |
5.96/6.07 c | 5642 | 26687 201116 784807 | 68733 5431 22 | 1.171 % |
6.06/6.11 c | 5835 | 26687 201116 784807 | 68733 5624 22 | 1.171 % |
6.16/6.23 c | 6048 | 26687 201116 784807 | 68733 5837 22 | 1.171 % |
6.16/6.26 c | 6149 | 26687 201116 784807 | 68733 5938 22 | 1.171 % |
6.16/6.28 c | 6260 | 26687 201116 784807 | 68733 6049 22 | 1.171 % |
6.26/6.33 c | 6381 | 26687 201116 784807 | 68733 6170 22 | 1.171 % |
6.26/6.37 c | 6515 | 26684 201116 784807 | 68733 6302 22 | 1.190 % |
6.26/6.40 c | 6661 | 26684 201116 784807 | 68733 6448 22 | 1.190 % |
6.36/6.42 c | 6823 | 26684 201116 784807 | 68733 6610 22 | 1.190 % |
6.36/6.46 c | 6999 | 26672 201116 784807 | 68733 6784 23 | 1.338 % |
6.36/6.48 c | 7195 | 26665 201116 784807 | 68733 6977 22 | 1.371 % |
6.46/6.54 c | 7408 | 26665 201116 784807 | 68733 7190 23 | 1.371 % |
6.46/6.57 c | 7642 | 26616 198970 776198 | 68733 7410 22 | 1.371 % |
6.56/6.61 c | 7742 | 26616 198970 776198 | 68733 7510 22 | 1.371 % |
6.56/6.66 c | 7852 | 26616 198970 776198 | 68733 7620 23 | 1.371 % |
6.56/6.68 c | 7973 | 26615 198970 776198 | 68733 7740 22 | 1.393 % |
6.66/6.73 c | 8106 | 26615 198970 776198 | 68733 7873 22 | 1.393 % |
6.76/6.80 c | 8252 | 26615 198970 776198 | 68733 8019 22 | 1.393 % |
6.76/6.84 c | 8414 | 26615 198970 776198 | 68733 8181 22 | 1.393 % |
6.76/6.88 c | 8593 | 26615 198970 776198 | 68733 8360 23 | 1.393 % |
6.86/6.93 c | 8786 | 26615 198970 776198 | 68733 8553 22 | 1.393 % |
6.86/6.98 c | 8999 | 26615 198970 776198 | 68733 8766 23 | 1.393 % |
6.96/7.02 c | 9233 | 26597 198970 776198 | 68733 8994 22 | 1.482 % |
6.96/7.06 c | 9491 | 26597 198970 776198 | 68733 9252 23 | 1.482 % |
6.96/7.08 c | 9591 | 26572 198970 776198 | 68733 9348 23 | 1.653 % |
7.06/7.11 c | 9702 | 26564 198970 776198 | 68733 9459 23 | 1.653 % |
7.06/7.14 c | 9823 | 26563 198970 776198 | 68733 9579 23 | 1.656 % |
7.16/7.21 c | 9956 | 26563 198970 776198 | 68733 9712 23 | 1.656 % |
7.16/7.25 c | 10102 | 26560 198970 776198 | 2147483647 9857 23 | 1.668 % |
7.26/7.30 c | 10262 | 26508 197676 771540 | 2147483647 9971 23 | 1.801 % |
7.26/7.33 c | 10438 | 26508 197676 771540 | 2147483647 10147 23 | 1.801 % |
7.26/7.37 c | 10631 | 26508 197676 771540 | 2147483647 10340 23 | 1.801 % |
7.36/7.42 c | 10843 | 26508 197676 771540 | 2147483647 10552 24 | 1.801 % |
7.46/7.53 c | 11078 | 26508 197676 771540 | 2147483647 10787 24 | 1.801 % |
7.46/7.57 c | 11337 | 26508 197676 771540 | 2147483647 11046 25 | 1.801 % |
7.56/7.68 c | 11618 | 26508 197676 771540 | 2147483647 11327 25 | 1.801 % |
7.66/7.71 c | 11718 | 26508 197676 771540 | 2147483647 11427 25 | 1.801 % |
7.66/7.76 c | 11830 | 26508 197676 771540 | 2147483647 11539 25 | 1.801 % |
7.66/7.78 c | 11951 | 26508 197676 771540 | 2147483647 11660 25 | 1.801 % |
7.66/7.79 c | 12084 | 26508 197676 771540 | 2147483647 11793 25 | 1.801 % |
7.76/7.85 c | 12230 | 26508 197676 771540 | 2147483647 11939 25 | 1.801 % |
7.86/7.92 c | 12395 | 26508 197676 771540 | 2147483647 12104 25 | 1.801 % |
7.86/7.95 c | 12572 | 26508 197676 771540 | 2147483647 12281 26 | 1.801 % |
7.86/7.98 c | 12765 | 26502 197676 771540 | 2147483647 12471 26 | 1.827 % |
7.86/7.99 c | 12977 | 26502 197676 771540 | 2147483647 12683 25 | 1.827 % |
8.05/8.16 c | 13211 | 26493 196963 769039 | 2147483647 12892 26 | 1.827 % |
8.05/8.17 c | 13468 | 26493 196963 769039 | 2147483647 13149 26 | 1.827 % |
8.15/8.25 c | 13749 | 26493 196963 769039 | 2147483647 13430 26 | 1.827 % |
8.15/8.28 c | 14058 | 26493 196963 769039 | 2147483647 13739 26 | 1.827 % |
8.25/8.31 c | 14158 | 26491 196963 769039 | 2147483647 13838 26 | 1.838 % |
8.25/8.35 c | 14269 | 26490 196963 769039 | 2147483647 13949 26 | 1.838 % |
8.25/8.39 c | 14390 | 26486 196963 769039 | 2147483647 14069 26 | 1.853 % |
8.35/8.42 c | 14523 | 26486 196963 769039 | 2147483647 14202 26 | 1.853 % |
8.35/8.46 c | 14670 | 26486 196963 769039 | 2147483647 14349 26 | 1.853 % |
8.45/8.54 c | 14831 | 26486 196963 769039 | 2147483647 14510 26 | 1.853 % |
8.45/8.56 c | 15008 | 26485 196963 769039 | 2147483647 14686 26 | 1.857 % |
8.55/8.62 c | 15201 | 26485 196963 769039 | 2147483647 14879 26 | 1.857 % |
8.55/8.66 c | 15413 | 26485 196963 769039 | 2147483647 15091 25 | 1.857 % |
8.66/8.73 c | 15651 | 26485 196963 769039 | 2147483647 15329 26 | 1.857 % |
8.66/8.79 c | 15909 | 26485 196963 769039 | 2147483647 15587 26 | 1.857 % |
8.76/8.82 c | 16193 | 26485 196963 769039 | 2147483647 15871 26 | 1.857 % |
8.76/8.87 c | 16505 | 26485 196963 769039 | 2147483647 16183 27 | 1.857 % |
8.85/8.95 c | 16844 | 26485 196850 768599 | 2147483647 16508 26 | 1.857 % |
8.85/8.99 c | 16944 | 26485 196850 768599 | 2147483647 16608 26 | 1.857 % |
8.95/9.01 c | 17054 | 26485 196850 768599 | 2147483647 16718 26 | 1.857 % |
8.95/9.04 c | 17175 | 26481 196850 768599 | 2147483647 16835 26 | 1.871 % |
8.95/9.07 c | 17310 | 26481 196850 768599 | 2147483647 16970 26 | 1.871 % |
8.95/9.10 c | 17460 | 26428 196850 768599 | 2147483647 17117 26 | 2.353 % |
9.05/9.12 c | 17620 | 26428 196850 768599 | 2147483647 17277 26 | 2.353 % |
9.05/9.17 c | 17796 | 26428 196850 768599 | 2147483647 17453 27 | 2.353 % |
9.15/9.22 c | 17990 | 26428 196850 768599 | 2147483647 17647 27 | 2.353 % |
9.15/9.27 c | 18202 | 26428 196850 768599 | 2147483647 17859 27 | 2.353 % |
9.25/9.31 c | 18435 | 26428 196850 768599 | 2147483647 18092 27 | 2.353 % |
9.25/9.34 c | 18692 | 26428 196850 768599 | 2147483647 18349 27 | 2.353 % |
9.45/9.53 c | 18975 | 26428 196850 768599 | 2147483647 18632 27 | 2.353 % |
9.55/9.61 c | 19284 | 26427 196850 768599 | 2147483647 18940 27 | 2.360 % |
9.55/9.66 c | 19623 | 26427 196850 768599 | 2147483647 19279 27 | 2.360 % |
9.65/9.72 c | 20000 | 26427 196850 768599 | 2147483647 19656 27 | 2.360 % |
9.65/9.74 c | 20100 | 26427 196850 768599 | 2147483647 19756 27 | 2.360 % |
9.65/9.75 c | 20211 | 26427 196850 768599 | 2147483647 19867 27 | 2.360 % |
9.75/9.82 c | 20333 | 26426 196850 768599 | 2147483647 19989 27 | 2.360 % |
9.75/9.87 c | 20466 | 26349 194614 760072 | 2147483647 20109 28 | 2.360 % |
9.85/9.93 c | 20613 | 26349 194614 760072 | 2147483647 20256 28 | 2.360 % |
9.85/9.98 c | 20774 | 26349 194614 760072 | 2147483647 20417 28 | 2.360 % |
9.95/10.02 c | 20952 | 26349 194614 760072 | 2147483647 20595 28 | 2.360 % |
9.95/10.08 c | 21146 | 26349 194614 760072 | 2147483647 20789 28 | 2.360 % |
10.05/10.11 c | 21359 | 26349 194614 760072 | 2147483647 21002 28 | 2.360 % |
10.05/10.17 c | 21597 | 26349 194614 760072 | 2147483647 21240 28 | 2.360 % |
10.15/10.25 c | 21857 | 26349 194614 760072 | 2147483647 21500 28 | 2.360 % |
10.25/10.33 c | 22138 | 26349 194614 760072 | 2147483647 21781 28 | 2.360 % |
10.25/10.34 c | 22447 | 26349 194614 760072 | 2147483647 22090 28 | 2.360 % |
10.35/10.45 c | 22787 | 26349 194614 760072 | 2147483647 22430 28 | 2.360 % |
10.45/10.51 c | 23159 | 26346 194614 760072 | 2147483647 22801 28 | 2.372 % |
10.45/10.57 c | 23568 | 26346 194614 760072 | 2147483647 23210 28 | 2.372 % |
10.55/10.63 c | 23668 | 26340 194614 760072 | 2147483647 23307 28 | 2.394 % |
10.65/10.71 c | 23779 | 26340 194614 760072 | 2147483647 23418 28 | 2.394 % |
10.65/10.73 c | 23902 | 26340 194614 760072 | 2147483647 23541 28 | 2.394 % |
10.65/10.75 c | 24035 | 26340 194614 760072 | 2147483647 23674 28 | 2.394 % |
10.65/10.78 c | 24181 | 26340 194614 760072 | 2147483647 23820 28 | 2.394 % |
10.75/10.81 c | 24343 | 26340 194614 760072 | 2147483647 23982 28 | 2.394 % |
10.75/10.90 c | 24519 | 26340 194614 760072 | 2147483647 24158 28 | 2.394 % |
10.85/10.98 c | 24712 | 26340 194614 760072 | 2147483647 24351 28 | 2.394 % |
10.95/11.05 c | 24925 | 26340 194458 759534 | 2147483647 24465 28 | 2.394 % |
11.05/11.11 c | 25159 | 26338 194458 759534 | 2147483647 24698 28 | 2.405 % |
11.05/11.15 c | 25415 | 26335 194458 759534 | 2147483647 24953 29 | 2.416 % |
11.05/11.20 c | 25696 | 26335 194458 759534 | 2147483647 25234 29 | 2.416 % |
11.15/11.26 c | 26007 | 26335 194458 759534 | 2147483647 25545 29 | 2.416 % |
11.35/11.44 c | 26346 | 26335 194458 759534 | 2147483647 25884 29 | 2.416 % |
11.45/11.52 c | 26720 | 26335 194458 759534 | 2147483647 26258 29 | 2.416 % |
11.45/11.57 c | 27130 | 26335 194458 759534 | 2147483647 26668 29 | 2.416 % |
11.56/11.66 c | 27591 | 26335 194458 759534 | 2147483647 27129 30 | 2.416 % |
11.66/11.72 c | 27691 | 26335 194458 759534 | 2147483647 27229 30 | 2.416 % |
11.66/11.74 c | 27802 | 26335 194458 759534 | 2147483647 27340 30 | 2.416 % |
11.66/11.77 c | 27923 | 26335 194458 759534 | 2147483647 27461 30 | 2.416 % |
11.76/11.82 c | 28056 | 26335 194458 759534 | 2147483647 27594 30 | 2.416 % |
11.76/11.88 c | 28202 | 26333 194458 759534 | 2147483647 27739 30 | 2.427 % |
11.76/11.88 c | 28362 | 26333 194458 759534 | 2147483647 27899 30 | 2.427 % |
11.86/11.92 c | 28541 | 26333 194458 759534 | 2147483647 28078 30 | 2.427 % |
11.86/11.97 c | 28735 | 26333 194458 759534 | 2147483647 28272 30 | 2.427 % |
11.96/12.00 c | 28949 | 26333 194458 759534 | 2147483647 28486 30 | 2.427 % |
11.96/12.05 c | 29186 | 26333 194458 759534 | 2147483647 28723 30 | 2.427 % |
12.06/12.10 c | 29442 | 26333 194458 759534 | 2147483647 28979 30 | 2.427 % |
12.06/12.14 c | 29723 | 26333 194458 759534 | 2147483647 29260 30 | 2.427 % |
12.16/12.22 c | 30032 | 26333 194458 759534 | 2147483647 29569 30 | 2.427 % |
12.26/12.31 c | 30372 | 26328 194458 759534 | 2147483647 29907 30 | 2.446 % |
12.26/12.37 c | 30744 | 26326 194169 758509 | 2147483647 30268 30 | 2.446 % |
12.36/12.44 c | 31158 | 26326 194169 758509 | 2147483647 30682 31 | 2.446 % |
12.45/12.51 c | 31607 | 26326 194169 758509 | 2147483647 31131 31 | 2.446 % |
12.45/12.60 c | 32101 | 26326 194169 758509 | 2147483647 31625 31 | 2.446 % |
12.55/12.61 c | 32201 | 26326 194169 758509 | 2147483647 31725 31 | 2.446 % |
12.55/12.64 c | 32311 | 26326 194169 758509 | 2147483647 31835 31 | 2.446 % |
12.55/12.67 c | 32432 | 26326 194169 758509 | 2147483647 31956 31 | 2.446 % |
12.65/12.71 c | 32566 | 26326 194169 758509 | 2147483647 32090 31 | 2.446 % |
12.65/12.75 c | 32712 | 26326 194169 758509 | 2147483647 32236 31 | 2.446 % |
12.65/12.78 c | 32872 | 26326 194169 758509 | 2147483647 32396 31 | 2.446 % |
12.75/12.82 c | 33049 | 26326 194169 758509 | 2147483647 32573 31 | 2.446 % |
12.85/12.93 c | 33242 | 26326 194169 758509 | 2147483647 32766 32 | 2.446 % |
12.85/12.99 c | 33457 | 26326 194169 758509 | 2147483647 32981 31 | 2.446 % |
12.95/13.03 c | 33692 | 26326 194169 758509 | 2147483647 33216 31 | 2.446 % |
12.95/13.08 c | 33949 | 26326 194169 758509 | 2147483647 33473 32 | 2.446 % |
13.06/13.15 c | 34231 | 26326 194169 758509 | 2147483647 33755 32 | 2.446 % |
13.25/13.31 c | 34540 | 26324 194169 758509 | 2147483647 34063 32 | 2.457 % |
13.25/13.38 c | 34881 | 26317 194169 758509 | 2147483647 34402 32 | 2.483 % |
13.35/13.44 c | 35253 | 26315 194169 758509 | 2147483647 34773 32 | 2.501 % |
13.45/13.52 c | 35663 | 26314 194169 758509 | 2147483647 35183 32 | 2.501 % |
13.55/13.62 c | 36114 | 26313 194169 758509 | 2147483647 35634 32 | 2.501 % |
13.65/13.72 c | 36607 | 26309 194169 758509 | 2147483647 36123 32 | 2.542 % |
13.75/13.82 c | 37153 | 26309 194169 758509 | 2147483647 36669 32 | 2.542 % |
13.75/13.85 c | 37254 | 26309 194169 758509 | 2147483647 36770 32 | 2.542 % |
13.75/13.89 c | 37366 | 26309 194169 758509 | 2147483647 36882 32 | 2.542 % |
13.85/13.96 c | 37487 | 26300 193855 757334 | 2147483647 36972 32 | 2.542 % |
13.95/14.02 c | 37623 | 26300 193855 757334 | 2147483647 37108 32 | 2.542 % |
13.95/14.04 c | 37769 | 26300 193855 757334 | 2147483647 37254 32 | 2.542 % |
13.95/14.06 c | 37929 | 26300 193855 757334 | 2147483647 37414 32 | 2.542 % |
14.04/14.10 c | 38106 | 26300 193855 757334 | 2147483647 37591 32 | 2.542 % |
14.04/14.14 c | 38300 | 26300 193855 757334 | 2147483647 37785 32 | 2.542 % |
14.04/14.18 c | 38513 | 26300 193855 757334 | 2147483647 37998 32 | 2.542 % |
14.15/14.23 c | 38748 | 26300 193855 757334 | 2147483647 38233 33 | 2.542 % |
14.15/14.30 c | 39004 | 26300 193855 757334 | 2147483647 38489 33 | 2.542 % |
14.25/14.34 c | 39285 | 26300 193855 757334 | 2147483647 38770 33 | 2.542 % |
14.34/14.41 c | 39596 | 26300 193855 757334 | 2147483647 39081 33 | 2.542 % |
14.34/14.46 c | 39937 | 26300 193855 757334 | 2147483647 39422 33 | 2.542 % |
14.44/14.56 c | 40309 | 26300 193855 757334 | 2147483647 39794 33 | 2.542 % |
14.54/14.62 c | 40722 | 26300 193855 757334 | 2147483647 40207 33 | 2.542 % |
14.64/14.71 c | 41176 | 26300 193855 757334 | 2147483647 40661 34 | 2.542 % |
14.64/14.79 c | 41670 | 26298 193855 757334 | 2147483647 41154 34 | 2.701 % |
14.74/14.87 c | 42216 | 26298 193855 757334 | 2147483647 41700 34 | 2.701 % |
14.84/14.97 c | 42813 | 26298 193855 757334 | 2147483647 42297 34 | 2.701 % |
14.84/14.99 c | 42914 | 26298 193855 757334 | 2147483647 42398 34 | 2.701 % |
14.94/15.03 c | 43024 | 26298 193855 757334 | 2147483647 42508 34 | 2.701 % |
14.94/15.06 c | 43148 | 26298 193855 757334 | 2147483647 42632 34 | 2.701 % |
14.94/15.09 c | 43283 | 26297 193855 757334 | 2147483647 42766 34 | 2.713 % |
15.04/15.12 c | 43430 | 26296 193855 757334 | 2147483647 42912 34 | 2.716 % |
15.04/15.16 c | 43590 | 26296 193855 757334 | 2147483647 43072 34 | 2.716 % |
15.14/15.21 c | 43770 | 26296 193855 757334 | 2147483647 43252 34 | 2.716 % |
15.14/15.24 c | 43963 | 26296 193855 757334 | 2147483647 43445 34 | 2.716 % |
15.14/15.30 c | 44175 | 26296 193855 757334 | 2147483647 43657 34 | 2.716 % |
15.25/15.35 c | 44411 | 26296 193855 757334 | 2147483647 43893 34 | 2.716 % |
15.35/15.42 c | 44669 | 26285 193855 757334 | 2147483647 44149 34 | 2.887 % |
15.35/15.47 c | 44950 | 26285 193855 757334 | 2147483647 44430 35 | 2.887 % |
15.45/15.53 c | 45259 | 26280 193855 757334 | 2147483647 44739 34 | 2.887 % |
15.55/15.61 c | 45609 | 26280 193855 757334 | 2147483647 45089 35 | 2.887 % |
15.75/15.80 c | 45982 | 26280 193855 757334 | 2147483647 45462 34 | 2.887 % |
15.75/15.89 c | 46391 | 26280 193855 757334 | 2147483647 45871 35 | 2.887 % |
15.85/15.98 c | 46843 | 26207 192257 751391 | 2147483647 46269 35 | 2.887 % |
15.95/16.09 c | 47337 | 26207 192257 751391 | 2147483647 46763 35 | 2.887 % |
16.05/16.14 c | 47880 | 26207 192257 751391 | 2147483647 47306 35 | 2.887 % |
16.15/16.23 c | 48477 | 26207 192257 751391 | 2147483647 47903 35 | 2.887 % |
16.25/16.35 c | 49136 | 26207 192257 751391 | 2147483647 48562 35 | 2.887 % |
16.25/16.39 c | 49237 | 26207 192257 751391 | 2147483647 48663 35 | 2.887 % |
16.35/16.45 c | 49347 | 26207 192257 751391 | 2147483647 48773 35 | 2.887 % |
16.35/16.50 c | 49469 | 26207 192257 751391 | 2147483647 48895 35 | 2.887 % |
16.55/16.61 c | 49603 | 26207 192257 751391 | 2147483647 49029 35 | 2.887 % |
16.55/16.64 c | 49751 | 26207 192257 751391 | 2147483647 49177 35 | 2.887 % |
16.55/16.69 c | 49911 | 26207 192257 751391 | 2147483647 49337 35 | 2.887 % |
16.65/16.73 c | 50088 | 26205 192257 751391 | 2147483647 49513 35 | 2.894 % |
16.65/16.79 c | 50283 | 26205 192257 751391 | 2147483647 49708 35 | 2.894 % |
16.74/16.83 c | 50496 | 26205 192257 751391 | 2147483647 49921 35 | 2.894 % |
16.84/16.95 c | 50729 | 26205 192257 751391 | 2147483647 50154 35 | 2.894 % |
16.94/17.00 c | 50985 | 26205 192257 751391 | 2147483647 50410 35 | 2.894 % |
16.94/17.07 c | 51270 | 26205 192257 751391 | 2147483647 50695 35 | 2.894 % |
17.04/17.18 c | 51588 | 26202 192257 751391 | 2147483647 51012 35 | 2.913 % |
17.14/17.24 c | 51928 | 26201 192257 751391 | 2147483647 51351 35 | 2.916 % |
17.24/17.30 c | 52300 | 26201 192257 751391 | 2147483647 51723 35 | 2.916 % |
17.24/17.38 c | 52713 | 26201 192257 751391 | 2147483647 52136 35 | 2.916 % |
17.34/17.48 c | 53163 | 26201 192257 751391 | 2147483647 52586 35 | 2.916 % |
17.44/17.55 c | 53657 | 26201 192257 751391 | 2147483647 53080 36 | 2.916 % |
17.74/17.83 c | 54199 | 26201 192257 751391 | 2147483647 53622 36 | 2.916 % |
17.74/17.89 c | 54796 | 26201 192257 751391 | 2147483647 54219 35 | 2.916 % |
17.94/18.01 c | 55451 | 26201 192257 751391 | 2147483647 54874 36 | 2.916 % |
18.04/18.13 c | 56171 | 26201 192257 751391 | 2147483647 55594 36 | 2.916 % |
18.04/18.18 c | 56274 | 26201 192257 751391 | 2147483647 55697 36 | 2.916 % |
18.14/18.22 c | 56384 | 26201 192257 751391 | 2147483647 55807 36 | 2.916 % |
18.14/18.28 c | 56506 | 26201 192257 751391 | 2147483647 55929 36 | 2.916 % |
18.24/18.31 c | 56640 | 26201 192257 751391 | 2147483647 56063 36 | 2.916 % |
18.24/18.34 c | 56786 | 26201 192257 751391 | 2147483647 56209 36 | 2.916 % |
18.34/18.40 c | 56948 | 26199 192146 750948 | 2147483647 56361 36 | 2.916 % |
18.34/18.50 c | 57127 | 26197 192146 750948 | 2147483647 56539 36 | 2.927 % |
18.44/18.54 c | 57322 | 26197 192146 750948 | 2147483647 56734 36 | 2.927 % |
18.55/18.62 c | 57536 | 26197 192146 750948 | 2147483647 56948 36 | 2.927 % |
18.55/18.68 c | 57769 | 26197 192146 750948 | 2147483647 57181 36 | 2.927 % |
18.65/18.73 c | 58033 | 26197 192146 750948 | 2147483647 57445 36 | 2.927 % |
18.74/18.83 c | 58314 | 26197 192146 750948 | 2147483647 57726 36 | 2.927 % |
18.74/18.88 c | 58623 | 26197 192146 750948 | 2147483647 58035 36 | 2.927 % |
18.84/18.94 c | 58964 | 26197 192146 750948 | 2147483647 58376 36 | 2.927 % |
18.94/19.03 c | 59338 | 26197 192146 750948 | 2147483647 58750 36 | 2.927 % |
18.94/19.10 c | 59747 | 26197 192146 750948 | 2147483647 59159 36 | 2.927 % |
19.14/19.20 c | 60196 | 26197 192146 750948 | 2147483647 59608 36 | 2.927 % |
19.24/19.33 c | 60689 | 26197 192146 750948 | 2147483647 60101 36 | 2.927 % |
19.34/19.42 c | 61231 | 26197 192146 750948 | 2147483647 60643 37 | 2.927 % |
19.44/19.53 c | 61827 | 26197 192146 750948 | 2147483647 61239 37 | 2.927 % |
19.54/19.62 c | 62482 | 26197 192146 750948 | 2147483647 61894 37 | 2.927 % |
19.64/19.79 c | 63202 | 26197 192146 750948 | 2147483647 62614 37 | 2.927 % |
19.84/19.91 c | 63994 | 26197 192146 750948 | 2147483647 63406 37 | 2.927 % |
19.84/19.98 c | 64097 | 26197 192146 750948 | 2147483647 63509 37 | 2.927 % |
19.94/20.09 c | 64207 | 26197 192146 750948 | 2147483647 63619 37 | 2.927 % |
20.04/20.16 c | 64329 | 26197 192146 750948 | 2147483647 63741 37 | 2.927 % |
20.14/20.20 c | 64462 | 26197 192146 750948 | 2147483647 63874 37 | 2.927 % |
20.14/20.27 c | 64609 | 26194 192146 750948 | 2147483647 64020 37 | 2.953 % |
20.24/20.31 c | 64769 | 26194 192146 750948 | 2147483647 64180 37 | 2.953 % |
20.24/20.36 c | 64945 | 26194 192146 750948 | 2147483647 64356 37 | 2.953 % |
20.34/20.41 c | 65140 | 26194 192146 750948 | 2147483647 64551 37 | 2.953 % |
20.34/20.46 c | 65353 | 26194 192146 750948 | 2147483647 64764 37 | 2.953 % |
20.44/20.52 c | 65586 | 26192 192146 750948 | 2147483647 64996 37 | 3.065 % |
20.44/20.58 c | 65842 | 26192 192146 750948 | 2147483647 65252 37 | 3.065 % |
20.53/20.65 c | 66124 | 26192 192146 750948 | 2147483647 65534 37 | 3.065 % |
20.63/20.73 c | 66436 | 26192 192146 750948 | 2147483647 65846 37 | 3.065 % |
20.74/20.82 c | 66775 | 26192 192146 750948 | 2147483647 66185 37 | 3.065 % |
20.84/20.93 c | 67147 | 26192 192146 750948 | 2147483647 66557 37 | 3.065 % |
20.84/20.99 c | 67559 | 26192 192146 750948 | 2147483647 66969 37 | 3.065 % |
20.93/21.09 c | 68012 | 26192 192146 750948 | 2147483647 67422 37 | 3.065 % |
21.03/21.18 c | 68505 | 26177 192146 750948 | 2147483647 67914 37 | 3.176 % |
21.23/21.34 c | 69048 | 26156 192146 750948 | 2147483647 68456 37 | 3.179 % |
21.33/21.50 c | 69644 | 26154 192146 750948 | 2147483647 69050 38 | 3.216 % |
21.53/21.68 c | 70304 | 26154 192146 750948 | 2147483647 69710 38 | 3.216 % |
21.73/21.82 c | 71024 | 26154 192146 750948 | 2147483647 70430 38 | 3.216 % |
22.03/22.20 c | 71816 | 26116 190857 746409 | 2147483647 71079 38 | 3.224 % |
22.33/22.42 c | 72687 | 26116 190857 746409 | 2147483647 71950 38 | 3.224 % |
22.33/22.46 c | 72787 | 26116 190857 746409 | 2147483647 72050 38 | 3.224 % |
22.33/22.49 c | 72897 | 26116 190857 746409 | 2147483647 72160 38 | 3.224 % |
22.43/22.55 c | 73018 | 26116 190857 746409 | 2147483647 72281 38 | 3.224 % |
22.53/22.63 c | 73151 | 26116 190857 746409 | 2147483647 72414 38 | 3.224 % |
22.53/22.70 c | 73300 | 26116 190857 746409 | 2147483647 72563 38 | 3.224 % |
22.63/22.74 c | 73462 | 26116 190857 746409 | 2147483647 72725 38 | 3.224 % |
22.63/22.78 c | 73638 | 26116 190857 746409 | 2147483647 72901 38 | 3.224 % |
22.73/22.83 c | 73835 | 26116 190857 746409 | 2147483647 73098 38 | 3.224 % |
22.73/22.88 c | 74047 | 26116 190857 746409 | 2147483647 73310 38 | 3.224 % |
22.93/23.02 c | 74280 | 26116 190857 746409 | 2147483647 73543 38 | 3.224 % |
22.93/23.08 c | 74536 | 26116 190857 746409 | 2147483647 73799 38 | 3.224 % |
23.03/23.14 c | 74819 | 26097 190857 746409 | 2147483647 74081 38 | 3.409 % |
23.13/23.23 c | 75130 | 26085 190857 746409 | 2147483647 74391 38 | 3.457 % |
23.13/23.30 c | 75469 | 26085 190857 746409 | 2147483647 74730 38 | 3.457 % |
23.34/23.40 c | 75847 | 26084 190857 746409 | 2147483647 75107 38 | 3.461 % |
23.34/23.48 c | 76256 | 26084 190857 746409 | 2147483647 75516 38 | 3.461 % |
23.44/23.59 c | 76706 | 26084 190857 746409 | 2147483647 75966 38 | 3.461 % |
23.54/23.68 c | 77199 | 26084 190857 746409 | 2147483647 76459 38 | 3.461 % |
23.64/23.78 c | 77741 | 26080 190857 746409 | 2147483647 76999 38 | 3.476 % |
23.84/23.90 c | 78337 | 26080 190857 746409 | 2147483647 77595 38 | 3.476 % |
23.94/24.04 c | 78995 | 26080 190857 746409 | 2147483647 78253 39 | 3.476 % |
24.04/24.19 c | 79715 | 26080 190857 746409 | 2147483647 78973 39 | 3.476 % |
24.23/24.35 c | 80507 | 26080 190857 746409 | 2147483647 79765 39 | 3.476 % |
24.43/24.52 c | 81378 | 26080 190857 746409 | 2147483647 80636 39 | 3.476 % |
24.63/24.72 c | 82336 | 26080 190857 746409 | 2147483647 81594 39 | 3.476 % |
24.63/24.76 c | 82436 | 26080 190857 746409 | 2147483647 81694 39 | 3.476 % |
24.73/24.82 c | 82548 | 26080 190857 746409 | 2147483647 81806 39 | 3.476 % |
24.73/24.87 c | 82669 | 26080 190857 746409 | 2147483647 81927 39 | 3.476 % |
24.83/24.90 c | 82803 | 26080 190857 746409 | 2147483647 82061 39 | 3.476 % |
24.83/24.94 c | 82950 | 26080 190857 746409 | 2147483647 82208 39 | 3.476 % |
24.93/25.02 c | 83111 | 26080 190857 746409 | 2147483647 82369 39 | 3.476 % |
24.93/25.07 c | 83290 | 26080 190857 746409 | 2147483647 82548 39 | 3.476 % |
25.03/25.13 c | 83483 | 26080 190857 746409 | 2147483647 82741 39 | 3.476 % |
25.03/25.19 c | 83696 | 26080 190857 746409 | 2147483647 82954 39 | 3.476 % |
25.13/25.29 c | 83930 | 26080 190857 746409 | 2147483647 83188 39 | 3.476 % |
25.23/25.37 c | 84186 | 26080 190857 746409 | 2147483647 83444 39 | 3.476 % |
25.33/25.46 c | 84467 | 26080 190857 746409 | 2147483647 83725 39 | 3.476 % |
25.43/25.53 c | 84776 | 26080 190857 746409 | 2147483647 84034 39 | 3.476 % |
25.53/25.68 c | 85115 | 26079 190857 746409 | 2147483647 84372 39 | 3.480 % |
25.73/25.83 c | 85487 | 26079 190857 746409 | 2147483647 84744 39 | 3.480 % |
25.83/25.93 c | 85896 | 26079 190857 746409 | 2147483647 85153 39 | 3.480 % |
25.93/26.04 c | 86357 | 26079 190857 746409 | 2147483647 85614 39 | 3.480 % |
26.03/26.15 c | 86850 | 26079 190857 746409 | 2147483647 86107 39 | 3.480 % |
26.33/26.46 c | 87393 | 26079 190857 746409 | 2147483647 86650 39 | 3.480 % |
26.43/26.59 c | 87989 | 26079 190857 746409 | 2147483647 87246 39 | 3.480 % |
26.63/26.76 c | 88646 | 26079 190857 746409 | 2147483647 87903 39 | 3.480 % |
27.13/27.27 c | 89367 | 26079 190857 746409 | 2147483647 88624 39 | 3.480 % |
27.34/27.46 c | 90159 | 26047 189666 742112 | 2147483647 88892 39 | 3.480 % |
27.53/27.63 c | 91030 | 26047 189666 742112 | 2147483647 89763 39 | 3.480 % |
27.83/27.94 c | 91988 | 26047 189666 742112 | 2147483647 90721 39 | 3.480 % |
28.13/28.29 c | 93041 | 26047 189666 742112 | 2147483647 91774 39 | 3.480 % |
28.23/28.34 c | 93146 | 26047 189666 742112 | 2147483647 91879 39 | 3.480 % |
28.23/28.39 c | 93256 | 26047 189666 742112 | 2147483647 91989 39 | 3.480 % |
28.33/28.44 c | 93377 | 26047 189666 742112 | 2147483647 92110 39 | 3.480 % |
28.33/28.48 c | 93511 | 26047 189666 742112 | 2147483647 92244 39 | 3.480 % |
28.44/28.56 c | 93658 | 26038 189666 742112 | 2147483647 92390 39 | 3.754 % |
28.54/28.62 c | 93819 | 26036 189666 742112 | 2147483647 92551 39 | 3.754 % |
28.63/28.70 c | 93995 | 26036 189666 742112 | 2147483647 92727 39 | 3.754 % |
28.73/28.80 c | 94191 | 26036 189666 742112 | 2147483647 92923 39 | 3.754 % |
28.73/28.86 c | 94405 | 26036 189666 742112 | 2147483647 93137 39 | 3.754 % |
28.83/28.95 c | 94638 | 26036 189666 742112 | 2147483647 93370 39 | 3.754 % |
28.93/29.02 c | 94896 | 26036 189666 742112 | 2147483647 93628 39 | 3.754 % |
28.93/29.08 c | 95178 | 26036 189666 742112 | 2147483647 93910 39 | 3.754 % |
29.03/29.15 c | 95487 | 26036 189666 742112 | 2147483647 94219 39 | 3.754 % |
29.13/29.24 c | 95827 | 26036 189666 742112 | 2147483647 94559 39 | 3.754 % |
29.23/29.36 c | 96199 | 26036 189666 742112 | 2147483647 94931 39 | 3.754 % |
29.33/29.45 c | 96609 | 26036 189666 742112 | 2147483647 95341 39 | 3.754 % |
29.43/29.54 c | 97059 | 26036 189666 742112 | 2147483647 95791 39 | 3.754 % |
29.63/29.72 c | 97552 | 26036 189666 742112 | 2147483647 96284 39 | 3.754 % |
29.73/29.89 c | 98096 | 26033 189666 742112 | 2147483647 96827 39 | 3.765 % |
30.03/30.14 c | 98693 | 26033 189666 742112 | 2147483647 97424 40 | 3.765 % |
30.13/30.27 c | 99348 | 26033 189666 742112 | 2147483647 98079 40 | 3.765 % |
30.43/30.52 c | 100072 | 26033 189666 742112 | 2147483647 98803 40 | 3.765 % |
30.63/30.72 c | 100875 | 26032 189666 742112 | 2147483647 99605 40 | 3.769 % |
30.92/31.08 c | 101746 | 26011 189666 742112 | 2147483647 100474 40 | 3.943 % |
31.22/31.32 c | 102704 | 26005 189666 742112 | 2147483647 101432 40 | 3.943 % |
31.42/31.51 c | 103757 | 26005 189666 742112 | 2147483647 102485 40 | 3.943 % |
31.83/31.94 c | 104917 | 26005 189666 742112 | 2147483647 103645 40 | 3.943 % |
31.83/31.98 c | 105017 | 26005 189666 742112 | 2147483647 103745 40 | 3.943 % |
31.92/32.04 c | 105127 | 25998 189666 742112 | 2147483647 103854 40 | 4.002 % |
31.92/32.10 c | 105249 | 25998 189666 742112 | 2147483647 103976 40 | 4.002 % |
32.02/32.13 c | 105382 | 25998 189666 742112 | 2147483647 104109 40 | 4.002 % |
32.02/32.17 c | 105533 | 25998 189666 742112 | 2147483647 104260 40 | 4.002 % |
32.12/32.25 c | 105696 | 25998 189666 742112 | 2147483647 104423 40 | 4.002 % |
32.22/32.32 c | 105872 | 25995 189666 742112 | 2147483647 104598 40 | 4.013 % |
32.32/32.41 c | 106066 | 25995 189666 742112 | 2147483647 104792 40 | 4.013 % |
32.32/32.48 c | 106279 | 25995 189666 742112 | 2147483647 105005 39 | 4.013 % |
32.42/32.55 c | 106512 | 25995 189666 742112 | 2147483647 105238 39 | 4.013 % |
32.53/32.67 c | 106769 | 25995 189666 742112 | 2147483647 105495 39 | 4.013 % |
32.63/32.74 c | 107054 | 25995 189666 742112 | 2147483647 105780 39 | 4.013 % |
32.73/32.86 c | 107367 | 25995 189666 742112 | 2147483647 106093 39 | 4.013 % |
32.93/33.08 c | 107706 | 25995 189666 742112 | 2147483647 106432 39 | 4.013 % |
33.03/33.18 c | 108079 | 25995 189666 742112 | 2147483647 106805 39 | 4.013 % |
33.23/33.31 c | 108494 | 25995 189666 742112 | 2147483647 107220 39 | 4.013 % |
33.33/33.47 c | 108943 | 25995 189666 742112 | 2147483647 107669 39 | 4.013 % |
33.43/33.59 c | 109436 | 25994 189666 742112 | 2147483647 108161 39 | 4.017 % |
33.63/33.71 c | 109978 | 25994 189666 742112 | 2147483647 108703 39 | 4.017 % |
33.73/33.84 c | 110574 | 25994 189666 742112 | 2147483647 109299 39 | 4.017 % |
33.93/34.05 c | 111229 | 25994 189666 742112 | 2147483647 109954 40 | 4.017 % |
34.13/34.21 c | 111950 | 25980 189666 742112 | 2147483647 110671 39 | 4.117 % |
34.23/34.38 c | 112747 | 25980 189666 742112 | 2147483647 111468 40 | 4.117 % |
34.43/34.59 c | 113619 | 25980 189666 742112 | 2147483647 112340 40 | 4.117 % |
34.73/34.81 c | 114580 | 25978 189666 742112 | 2147483647 113299 40 | 4.124 % |
34.93/35.04 c | 115639 | 25978 189666 742112 | 2147483647 114358 39 | 4.124 % |
35.22/35.31 c | 116799 | 25978 189666 742112 | 2147483647 115518 40 | 4.124 % |
35.52/35.69 c | 118072 | 25977 189666 742112 | 2147483647 116790 40 | 4.128 % |
35.62/35.74 c | 118173 | 25977 189666 742112 | 2147483647 116891 39 | 4.128 % |
35.72/35.84 c | 118285 | 25977 189666 742112 | 2147483647 117003 39 | 4.128 % |
35.72/35.88 c | 118407 | 25977 189666 742112 | 2147483647 117125 39 | 4.128 % |
35.82/35.97 c | 118549 | 25977 189666 742112 | 2147483647 117267 39 | 4.128 % |
35.92/36.07 c | 118695 | 25960 189666 742112 | 2147483647 117411 39 | 4.343 % |
36.13/36.25 c | 118855 | 25814 186058 728191 | 2147483647 114173 40 | 4.343 % |
36.23/36.31 c | 119033 | 25814 186058 728191 | 2147483647 114351 40 | 4.343 % |
36.32/36.43 c | 119227 | 25814 186058 728191 | 2147483647 114545 40 | 4.343 % |
36.42/36.51 c | 119439 | 25814 186058 728191 | 2147483647 114757 40 | 4.343 % |
36.42/36.59 c | 119672 | 25814 186058 728191 | 2147483647 114990 40 | 4.343 % |
36.52/36.68 c | 119931 | 25814 186058 728191 | 2147483647 115249 40 | 4.343 % |
36.62/36.80 c | 120212 | 25814 186058 728191 | 2147483647 115530 40 | 4.343 % |
36.72/36.89 c | 120521 | 25814 186058 728191 | 2147483647 115839 40 | 4.343 % |
36.92/37.01 c | 120866 | 25814 186058 728191 | 2147483647 116184 40 | 4.343 % |
37.02/37.19 c | 121238 | 25814 186058 728191 | 2147483647 116556 40 | 4.343 % |
37.12/37.30 c | 121652 | 25814 186058 728191 | 2147483647 116970 40 | 4.343 % |
37.33/37.44 c | 122101 | 25814 186058 728191 | 2147483647 117419 40 | 4.343 % |
37.42/37.56 c | 122608 | 25814 186058 728191 | 2147483647 117926 40 | 4.343 % |
37.82/37.90 c | 123150 | 25814 186058 728191 | 2147483647 118468 40 | 4.343 % |
37.92/38.07 c | 123746 | 25814 186058 728191 | 2147483647 119064 40 | 4.343 % |
38.32/38.43 c | 124401 | 25814 186058 728191 | 2147483647 119719 40 | 4.343 % |
38.42/38.58 c | 125124 | 25814 186058 728191 | 2147483647 120442 40 | 4.343 % |
38.82/38.95 c | 125917 | 25814 186058 728191 | 2147483647 121235 40 | 4.343 % |
39.02/39.15 c | 126794 | 25814 186058 728191 | 2147483647 122112 40 | 4.343 % |
39.53/39.62 c | 127752 | 25814 186058 728191 | 2147483647 123070 40 | 4.343 % |
39.72/39.88 c | 128806 | 25814 186058 728191 | 2147483647 124124 40 | 4.343 % |
40.22/40.36 c | 129964 | 25814 186058 728191 | 2147483647 125282 40 | 4.343 % |
40.72/40.80 c | 131237 | 25814 186058 728191 | 125319 126555 40 | 4.343 % |
41.42/41.59 c | 132637 | 25814 186058 728191 | 125319 113829 41 | 4.343 % |
41.52/41.64 c | 132739 | 25814 186058 728191 | 125319 113931 41 | 4.343 % |
41.63/41.70 c | 132850 | 25814 186058 728191 | 125319 114042 41 | 4.343 % |
41.63/41.79 c | 132971 | 25814 186058 728191 | 125319 114163 41 | 4.343 % |
41.73/41.83 c | 133104 | 25814 186058 728191 | 125319 114296 41 | 4.343 % |
41.82/41.96 c | 133251 | 25814 186058 728191 | 125319 114443 41 | 4.343 % |
41.92/42.02 c | 133414 | 25814 186058 728191 | 125319 114606 41 | 4.343 % |
42.02/42.11 c | 133591 | 25814 186058 728191 | 125319 114783 41 | 4.343 % |
42.12/42.23 c | 133784 | 25814 186058 728191 | 125319 114976 41 | 4.343 % |
42.22/42.32 c | 133996 | 25814 186058 728191 | 125319 115188 41 | 4.343 % |
42.22/42.39 c | 134229 | 25814 186058 728191 | 125319 115421 41 | 4.343 % |
42.42/42.52 c | 134485 | 25810 186058 728191 | 125319 115676 41 | 4.365 % |
42.52/42.63 c | 134766 | 25810 186058 728191 | 125319 115957 41 | 4.365 % |
42.73/42.84 c | 135076 | 25810 186058 728191 | 125319 116267 41 | 4.365 % |
42.92/43.04 c | 135418 | 25810 186058 728191 | 125319 116609 41 | 4.365 % |
43.02/43.16 c | 135801 | 25810 186058 728191 | 125319 116992 41 | 4.365 % |
43.22/43.35 c | 136211 | 25810 186058 728191 | 125319 117402 41 | 4.365 % |
43.42/43.56 c | 136666 | 25810 186058 728191 | 125319 117857 41 | 4.365 % |
43.72/43.85 c | 137160 | 25810 186058 728191 | 125319 118351 41 | 4.365 % |
43.83/43.99 c | 137705 | 25810 186058 728191 | 125319 118896 41 | 4.365 % |
44.22/44.34 c | 138301 | 25810 186058 728191 | 125319 119492 41 | 4.365 % |
44.42/44.54 c | 138956 | 25810 186058 728191 | 125319 120147 41 | 4.365 % |
44.82/44.99 c | 139677 | 25810 186058 728191 | 125319 120868 41 | 4.365 % |
45.12/45.28 c | 140469 | 25810 186058 728191 | 2147483647 121660 41 | 4.365 % |
45.82/45.99 c | 141341 | 25810 186058 728191 | 2147483647 122532 41 | 4.365 % |
46.12/46.22 c | 142301 | 25810 186058 728191 | 2147483647 123492 41 | 4.365 % |
46.42/46.59 c | 143355 | 25810 186058 728191 | 2147483647 124546 40 | 4.365 % |
46.82/46.92 c | 144515 | 25810 186058 728191 | 2147483647 125706 40 | 4.365 % |
47.52/47.63 c | 145788 | 25810 186058 728191 | 2147483647 126979 40 | 4.365 % |
47.92/48.00 c | 147192 | 25810 186058 728191 | 2147483647 128383 40 | 4.365 % |
48.92/49.08 c | 148732 | 25810 186058 728191 | 2147483647 129923 40 | 4.365 % |
49.01/49.13 c | 148834 | 25810 186058 728191 | 2147483647 130025 40 | 4.365 % |
49.12/49.23 c | 148944 | 25810 186058 728191 | 2147483647 130135 40 | 4.365 % |
49.22/49.30 c | 149067 | 25810 186058 728191 | 2147483647 130258 40 | 4.365 % |
49.32/49.40 c | 149202 | 25810 186058 728191 | 2147483647 130393 40 | 4.365 % |
49.32/49.47 c | 149350 | 25810 186058 728191 | 2147483647 130541 40 | 4.365 % |
49.52/49.62 c | 149510 | 25810 186058 728191 | 2147483647 130701 40 | 4.365 % |
49.61/49.73 c | 149687 | 25810 186058 728191 | 2147483647 130878 40 | 4.365 % |
49.71/49.80 c | 149881 | 25810 186058 728191 | 2147483647 131072 40 | 4.365 % |
49.81/49.95 c | 150093 | 25810 186058 728191 | 131192 131284 40 | 4.365 % |
49.91/50.08 c | 150327 | 25806 186058 728191 | 131192 131517 40 | 4.387 % |
50.21/50.30 c | 150583 | 25806 186058 728191 | 131192 131773 40 | 4.387 % |
50.31/50.41 c | 150865 | 25806 186058 728191 | 131192 132055 40 | 4.387 % |
50.52/50.61 c | 151175 | 25806 186058 728191 | 131192 132365 40 | 4.387 % |
50.81/50.96 c | 151515 | 25806 186058 728191 | 131192 112375 39 | 4.387 % |
50.91/51.09 c | 151890 | 25806 186058 728191 | 131192 112750 39 | 4.387 % |
51.31/51.43 c | 152299 | 25806 186058 728191 | 131192 113159 39 | 4.387 % |
51.52/51.61 c | 152753 | 25802 185829 727368 | 131192 113586 39 | 4.387 % |
51.91/52.02 c | 153247 | 25802 185829 727368 | 131192 114080 39 | 4.387 % |
52.11/52.25 c | 153790 | 25798 185829 727368 | 131192 114622 39 | 4.402 % |
52.51/52.65 c | 154388 | 25798 185829 727368 | 131192 115220 39 | 4.402 % |
52.72/52.84 c | 155044 | 25798 185829 727368 | 131192 115876 39 | 4.402 % |
53.31/53.47 c | 155764 | 25797 185829 727368 | 131192 116595 39 | 4.406 % |
53.51/53.67 c | 156558 | 25797 185829 727368 | 131192 117389 39 | 4.406 % |
53.91/54.05 c | 157434 | 25797 185829 727368 | 131192 118265 39 | 4.406 % |
54.41/54.55 c | 158392 | 25793 185829 727368 | 131192 119221 39 | 4.421 % |
55.01/55.17 c | 159447 | 25793 185829 727368 | 131192 120274 39 | 4.458 % |
55.41/55.50 c | 160615 | 25790 185829 727368 | 2147483647 121442 39 | 4.458 % |
55.81/55.97 c | 161888 | 25789 185829 727368 | 2147483647 122714 39 | 4.465 % |
57.01/57.15 c | 163288 | 25786 185829 727368 | 2147483647 124113 39 | 4.476 % |
57.71/57.85 c | 164835 | 25781 185829 727368 | 2147483647 125659 39 | 4.495 % |
58.21/58.38 c | 166532 | 25777 185829 727368 | 2147483647 127354 39 | 4.510 % |
58.31/58.43 c | 166632 | 25775 185829 727368 | 2147483647 127453 39 | 4.525 % |
58.31/58.48 c | 166743 | 25774 185829 727368 | 2147483647 127563 39 | 4.528 % |
58.41/58.54 c | 166869 | 25762 185829 727368 | 2147483647 127688 39 | 4.743 % |
58.41/58.60 c | 167005 | 25762 185829 727368 | 2147483647 127824 39 | 4.743 % |
58.51/58.65 c | 167151 | 25762 185829 727368 | 2147483647 127970 39 | 4.743 % |
58.61/58.73 c | 167311 | 25762 185829 727368 | 2147483647 128130 39 | 4.743 % |
58.61/58.78 c | 167487 | 25762 185829 727368 | 2147483647 128306 39 | 4.743 % |
58.71/58.84 c | 167680 | 25762 185829 727368 | 2147483647 128499 39 | 4.743 % |
58.81/58.92 c | 167893 | 25762 185829 727368 | 2147483647 128712 39 | 4.743 % |
58.91/59.00 c | 168126 | 25762 185829 727368 | 2147483647 128945 39 | 4.743 % |
59.01/59.10 c | 168382 | 25762 185829 727368 | 2147483647 129201 39 | 4.743 % |
59.01/59.19 c | 168663 | 25762 185829 727368 | 2147483647 129482 39 | 4.743 % |
59.11/59.29 c | 168976 | 25762 185829 727368 | 2147483647 129795 39 | 4.743 % |
59.31/59.40 c | 169315 | 25762 185829 727368 | 2147483647 130134 39 | 4.743 % |
59.41/59.53 c | 169695 | 25762 185829 727368 | 2147483647 130514 39 | 4.743 % |
59.51/59.66 c | 170105 | 25762 185829 727368 | 2147483647 130924 39 | 4.743 % |
59.71/59.80 c | 170556 | 25762 185829 727368 | 2147483647 131375 39 | 4.743 % |
59.81/60.00 c | 171051 | 25762 185829 727368 | 2147483647 131870 39 | 4.743 % |
60.01/60.18 c | 171593 | 25762 185829 727368 | 2147483647 132412 39 | 4.743 % |
60.21/60.37 c | 172189 | 25762 185829 727368 | 2147483647 133007 38 | 4.810 % |
60.51/60.63 c | 172844 | 25762 185829 727368 | 2147483647 133662 38 | 4.810 % |
60.71/60.87 c | 173567 | 25762 185829 727368 | 2147483647 134385 38 | 4.810 % |
61.01/61.15 c | 174362 | 25762 185829 727368 | 2147483647 135180 38 | 4.810 % |
61.31/61.42 c | 175233 | 25762 185829 727368 | 2147483647 136051 38 | 4.810 % |
61.61/61.73 c | 176198 | 25762 185829 727368 | 2147483647 137016 38 | 4.810 % |
61.90/62.06 c | 177254 | 25760 185829 727368 | 2147483647 138071 38 | 4.910 % |
62.90/63.05 c | 178412 | 25661 184053 720542 | 2147483647 86564 35 | 4.910 % |
63.30/63.43 c | 179685 | 25661 184053 720542 | 2147483647 87837 34 | 4.910 % |
63.71/63.87 c | 181093 | 25661 184053 720542 | 2147483647 89245 34 | 4.910 % |
64.20/64.39 c | 182635 | 25661 184053 720542 | 2147483647 90787 34 | 4.910 % |
64.81/64.96 c | 184329 | 25661 184053 720542 | 2147483647 92481 34 | 4.910 % |
65.40/65.59 c | 186192 | 25661 184053 720542 | 2147483647 94344 34 | 4.910 % |
65.50/65.63 c | 186297 | 25661 184053 720542 | 2147483647 94449 34 | 4.910 % |
65.50/65.67 c | 186407 | 25661 184053 720542 | 2147483647 94559 34 | 4.910 % |
65.60/65.72 c | 186530 | 25661 184053 720542 | 2147483647 94682 34 | 4.910 % |
65.60/65.78 c | 186663 | 25661 184053 720542 | 2147483647 94815 34 | 4.910 % |
65.70/65.84 c | 186809 | 25661 184053 720542 | 2147483647 94961 34 | 4.910 % |
65.70/65.90 c | 186971 | 25661 184053 720542 | 2147483647 95123 34 | 4.910 % |
65.81/65.95 c | 187151 | 25661 184053 720542 | 2147483647 95303 34 | 4.910 % |
65.91/66.01 c | 187344 | 25661 184053 720542 | 2147483647 95496 34 | 4.910 % |
65.91/66.07 c | 187558 | 25661 184053 720542 | 2147483647 95710 33 | 4.910 % |
66.00/66.17 c | 187791 | 25661 184053 720542 | 2147483647 95943 33 | 4.910 % |
66.10/66.27 c | 188047 | 25661 184053 720542 | 2147483647 96199 33 | 4.910 % |
66.20/66.38 c | 188335 | 25661 184053 720542 | 2147483647 96487 33 | 4.910 % |
66.30/66.48 c | 188644 | 25661 184053 720542 | 2147483647 96796 33 | 4.910 % |
66.50/66.61 c | 188984 | 25661 184053 720542 | 2147483647 97136 33 | 4.910 % |
66.60/66.75 c | 189356 | 25661 184053 720542 | 2147483647 97508 33 | 4.910 % |
66.70/66.88 c | 189765 | 25661 184053 720542 | 2147483647 97917 33 | 4.910 % |
66.91/67.04 c | 190216 | 25661 184053 720542 | 98152 98368 33 | 4.910 % |
67.10/67.22 c | 190711 | 25661 184053 720542 | 98152 98863 33 | 4.910 % |
67.30/67.41 c | 191253 | 25661 184053 720542 | 98152 99405 33 | 4.910 % |
67.70/67.82 c | 191851 | 25661 184053 720542 | 98152 85559 33 | 4.910 % |
67.90/68.00 c | 192509 | 25661 184053 720542 | 98152 86217 33 | 4.910 % |
68.11/68.22 c | 193229 | 25661 184053 720542 | 98152 86937 33 | 4.910 % |
68.30/68.47 c | 194021 | 25661 184053 720542 | 98152 87729 32 | 4.910 % |
68.60/68.79 c | 194895 | 25661 184053 720542 | 98152 88603 32 | 4.910 % |
68.90/69.09 c | 195854 | 25661 184053 720542 | 98152 89562 32 | 4.910 % |
69.30/69.43 c | 196916 | 25661 184053 720542 | 98152 90624 32 | 4.910 % |
69.70/69.84 c | 198074 | 25661 184053 720542 | 98152 91782 32 | 4.910 % |
70.10/70.28 c | 199348 | 25661 184053 720542 | 98152 93056 32 | 4.910 % |
70.60/70.76 c | 200755 | 25661 184053 720542 | 93708 94463 32 | 4.910 % |
71.30/71.49 c | 202297 | 25661 184053 720542 | 93708 78733 30 | 4.910 % |
71.90/72.00 c | 203991 | 25661 184053 720542 | 93708 80427 30 | 4.910 % |
72.40/72.59 c | 205858 | 25661 184053 720542 | 93708 82294 30 | 4.910 % |
73.20/73.30 c | 207908 | 25661 184053 720542 | 93708 84344 30 | 4.910 % |
73.20/73.34 c | 208011 | 25661 184053 720542 | 93708 84447 30 | 4.910 % |
73.20/73.39 c | 208125 | 25661 184053 720542 | 93708 84561 30 | 4.910 % |
73.30/73.42 c | 208247 | 25661 184053 720542 | 93708 84683 30 | 4.910 % |
73.30/73.47 c | 208380 | 25661 184053 720542 | 93708 84816 30 | 4.910 % |
73.40/73.52 c | 208528 | 25661 184053 720542 | 93708 84964 30 | 4.910 % |
73.40/73.59 c | 208695 | 25661 184053 720542 | 93708 85131 30 | 4.910 % |
73.50/73.66 c | 208875 | 25661 184053 720542 | 93708 85311 30 | 4.910 % |
73.60/73.73 c | 209069 | 25661 184053 720542 | 93708 85505 30 | 4.910 % |
73.70/73.81 c | 209281 | 25661 184053 720542 | 93708 85717 30 | 4.910 % |
73.80/73.90 c | 209515 | 25661 184053 720542 | 93708 85951 30 | 4.910 % |
73.80/73.98 c | 209771 | 25661 184053 720542 | 93708 86207 30 | 4.910 % |
73.90/74.07 c | 210054 | 25661 184053 720542 | 86437 86490 30 | 4.910 % |
74.00/74.17 c | 210364 | 25661 184053 720542 | 86437 86800 30 | 4.910 % |
74.10/74.28 c | 210703 | 25661 184053 720542 | 86437 87139 30 | 4.910 % |
74.30/74.41 c | 211075 | 25661 184053 720542 | 86437 87511 30 | 4.910 % |
74.40/74.54 c | 211486 | 25661 184053 720542 | 86437 87922 30 | 4.910 % |
74.70/74.87 c | 211939 | 25661 184053 720542 | 86437 70634 27 | 4.910 % |
74.90/75.00 c | 212435 | 25661 184053 720542 | 86437 71130 27 | 4.910 % |
75.00/75.16 c | 212985 | 25661 184053 720542 | 86437 71680 27 | 4.910 % |
75.20/75.36 c | 213585 | 25661 184053 720542 | 86437 72280 27 | 4.910 % |
75.40/75.57 c | 214241 | 25661 184053 720542 | 86437 72936 27 | 4.910 % |
75.60/75.78 c | 214961 | 25661 184053 720542 | 86437 73656 27 | 4.910 % |
75.80/75.99 c | 215754 | 25661 184053 720542 | 86437 74449 27 | 4.910 % |
76.10/76.24 c | 216628 | 25661 184053 720542 | 86437 75323 27 | 4.910 % |
76.39/76.51 c | 217586 | 25661 184053 720542 | 86437 76281 27 | 4.910 % |
76.69/76.86 c | 218640 | 25661 184053 720542 | 86437 77335 27 | 4.910 % |
77.09/77.22 c | 219799 | 25661 184053 720542 | 86437 78494 27 | 4.910 % |
77.49/77.60 c | 221072 | 25661 184053 720542 | 78705 79767 27 | 4.910 % |
78.00/78.14 c | 222475 | 25661 184053 720542 | 78705 64519 25 | 4.910 % |
78.49/78.60 c | 224021 | 25592 183347 717835 | 78705 66040 25 | 5.166 % |
79.00/79.13 c | 225716 | 25592 183347 717835 | 78705 67735 25 | 5.166 % |
79.60/79.71 c | 227580 | 25592 183347 717835 | 78705 69599 25 | 5.166 % |
80.20/80.36 c | 229629 | 25592 183347 717835 | 78705 71648 25 | 5.166 % |
81.10/81.29 c | 231882 | 25592 183347 717835 | 72020 58369 23 | 5.166 % |
81.20/81.32 c | 231982 | 25592 183347 717835 | 72020 58469 23 | 5.166 % |
81.20/81.34 c | 232095 | 25592 183347 717835 | 72020 58582 23 | 5.166 % |
81.20/81.39 c | 232216 | 25592 183347 717835 | 72020 58703 23 | 5.166 % |
81.30/81.42 c | 232352 | 25592 183347 717835 | 72020 58839 23 | 5.166 % |
81.30/81.46 c | 232505 | 25592 183347 717835 | 72020 58992 23 | 5.166 % |
81.40/81.51 c | 232676 | 25592 183347 717835 | 72020 59163 23 | 5.166 % |
81.40/81.55 c | 232852 | 25592 183347 717835 | 72020 59339 23 | 5.166 % |
81.50/81.60 c | 233048 | 25592 183347 717835 | 72020 59535 23 | 5.166 % |
81.50/81.66 c | 233262 | 25592 183347 717835 | 72020 59749 24 | 5.166 % |
81.60/81.73 c | 233497 | 25592 183347 717835 | 72020 59984 24 | 5.166 % |
81.60/81.79 c | 233753 | 25592 183347 717835 | 72020 60240 24 | 5.166 % |
81.70/81.86 c | 234035 | 25592 183347 717835 | 72020 60522 24 | 5.166 % |
81.80/81.95 c | 234346 | 25592 183347 717835 | 72020 60833 24 | 5.166 % |
81.90/82.02 c | 234685 | 25592 183347 717835 | 72020 61172 24 | 5.166 % |
82.00/82.13 c | 235063 | 25592 183347 717835 | 72020 61550 24 | 5.166 % |
82.10/82.27 c | 235475 | 25592 183347 717835 | 72020 61962 24 | 5.166 % |
82.20/82.40 c | 235924 | 25592 183347 717835 | 72020 62411 24 | 5.166 % |
82.40/82.54 c | 236420 | 25592 183347 717835 | 72020 62907 24 | 5.166 % |
82.50/82.69 c | 236962 | 25592 183347 717835 | 72020 63449 24 | 5.166 % |
82.70/82.86 c | 237559 | 25592 183347 717835 | 72020 64046 24 | 5.166 % |
82.89/83.07 c | 238216 | 25592 183347 717835 | 72020 64703 24 | 5.166 % |
83.09/83.29 c | 238936 | 25592 183347 717835 | 72020 65423 23 | 5.166 % |
83.40/83.52 c | 239728 | 25592 183347 717835 | 72020 66215 23 | 5.166 % |
83.59/83.78 c | 240599 | 25592 183347 717835 | 66488 67086 23 | 5.166 % |
83.89/84.06 c | 241558 | 25592 183347 717835 | 66488 68045 23 | 5.166 % |
84.39/84.57 c | 242612 | 25592 183347 717835 | 66488 55049 23 | 5.166 % |
84.69/84.86 c | 243772 | 25592 183347 717835 | 66488 56209 23 | 5.166 % |
84.99/85.19 c | 245045 | 25592 183347 717835 | 66488 57482 23 | 5.166 % |
85.39/85.55 c | 246447 | 25592 183347 717835 | 66488 58884 23 | 5.166 % |
85.79/85.94 c | 247990 | 25592 183347 717835 | 66488 60427 23 | 5.166 % |
86.19/86.36 c | 249685 | 25592 183347 717835 | 66488 62122 23 | 5.166 % |
86.70/86.89 c | 251560 | 25592 183347 717835 | 62437 63997 23 | 5.166 % |
87.59/87.77 c | 253609 | 25592 183347 717835 | 62437 53122 23 | 5.166 % |
88.09/88.29 c | 255869 | 25592 183347 717835 | 62437 55382 23 | 5.166 % |
88.69/88.88 c | 258350 | 25592 183347 717835 | 62437 57863 23 | 5.166 % |
88.79/88.90 c | 258454 | 25592 183347 717835 | 62437 57967 23 | 5.166 % |
88.79/88.93 c | 258567 | 25592 183347 717835 | 62437 58080 23 | 5.166 % |
88.79/88.98 c | 258688 | 25592 183347 717835 | 62437 58201 23 | 5.166 % |
88.90/89.01 c | 258821 | 25592 183347 717835 | 62437 58334 23 | 5.166 % |
88.90/89.06 c | 258967 | 25592 183347 717835 | 62437 58480 23 | 5.166 % |
88.90/89.09 c | 259127 | 25592 183347 717835 | 62437 58640 23 | 5.166 % |
89.00/89.14 c | 259303 | 25592 183347 717835 | 62437 58816 23 | 5.166 % |
89.00/89.19 c | 259497 | 25592 183347 717835 | 62437 59010 23 | 5.166 % |
89.09/89.24 c | 259709 | 25592 183347 717835 | 62437 59222 23 | 5.166 % |
89.19/89.31 c | 259946 | 25592 183347 717835 | 62437 59459 23 | 5.166 % |
89.19/89.37 c | 260202 | 25592 183347 717835 | 59513 59715 23 | 5.166 % |
89.29/89.44 c | 260487 | 25592 183347 717835 | 59513 60000 23 | 5.166 % |
89.39/89.52 c | 260798 | 25592 183347 717835 | 59513 60311 23 | 5.166 % |
89.49/89.61 c | 261137 | 25592 183347 717835 | 59513 60650 23 | 5.166 % |
89.59/89.71 c | 261513 | 25592 183347 717835 | 59513 61026 23 | 5.166 % |
89.99/90.18 c | 261922 | 25592 183347 717835 | 59513 49968 23 | 5.166 % |
90.09/90.29 c | 262381 | 25592 183347 717835 | 59513 50427 23 | 5.166 % |
90.29/90.42 c | 262874 | 25592 183347 717835 | 59513 50920 23 | 5.166 % |
90.39/90.56 c | 263418 | 25592 183347 717835 | 59513 51464 23 | 5.166 % |
90.59/90.70 c | 264020 | 25592 183347 717835 | 59513 52066 23 | 5.166 % |
90.69/90.86 c | 264676 | 25592 183347 717835 | 59513 52722 23 | 5.166 % |
90.89/91.03 c | 265397 | 25592 183347 717835 | 59513 53443 23 | 5.166 % |
91.09/91.21 c | 266189 | 25592 183347 717835 | 59513 54235 23 | 5.166 % |
91.29/91.43 c | 267060 | 25592 183347 717835 | 59513 55106 23 | 5.166 % |
91.49/91.68 c | 268018 | 25592 183347 717835 | 59513 56064 23 | 5.166 % |
91.79/91.96 c | 269074 | 25592 183347 717835 | 59513 57120 23 | 5.166 % |
92.09/92.27 c | 270232 | 25592 183347 717835 | 58046 58278 23 | 5.166 % |
92.39/92.59 c | 271507 | 25592 183347 717835 | 58046 59553 23 | 5.166 % |
92.99/93.14 c | 272907 | 25592 183347 717835 | 58046 51549 23 | 5.166 % |
93.39/93.53 c | 274447 | 25592 183347 717835 | 58046 53089 23 | 5.166 % |
93.79/93.94 c | 276142 | 25592 183347 717835 | 58046 54784 23 | 5.166 % |
94.19/94.39 c | 278012 | 25592 183347 717835 | 58046 56654 23 | 5.166 % |
94.79/94.93 c | 280063 | 25592 183347 717835 | 58644 58705 23 | 5.166 % |
95.49/95.64 c | 282319 | 25592 183347 717835 | 58644 51640 23 | 5.166 % |
96.08/96.21 c | 284799 | 25592 183347 717835 | 58644 54120 23 | 5.166 % |
96.69/96.89 c | 287526 | 25592 183347 717835 | 58644 56847 23 | 5.166 % |
96.78/96.93 c | 287626 | 25592 183347 717835 | 58644 56947 23 | 5.166 % |
96.78/96.96 c | 287736 | 25592 183347 717835 | 58644 57057 23 | 5.166 % |
96.78/96.99 c | 287857 | 25592 183347 717835 | 58644 57178 23 | 5.166 % |
96.88/97.02 c | 287990 | 25592 183347 717835 | 58644 57311 23 | 5.166 % |
96.88/97.06 c | 288136 | 25592 183347 717835 | 58644 57457 23 | 5.166 % |
96.98/97.10 c | 288298 | 25592 183347 717835 | 58644 57619 23 | 5.166 % |
96.98/97.15 c | 288476 | 25592 183347 717835 | 58644 57797 23 | 5.166 % |
96.98/97.19 c | 288669 | 25592 183347 717835 | 58644 57990 23 | 5.166 % |
97.08/97.26 c | 288881 | 25592 183347 717835 | 58644 58202 23 | 5.166 % |
97.18/97.31 c | 289115 | 25592 183347 717835 | 58644 58436 23 | 5.166 % |
97.18/97.37 c | 289371 | 25592 183347 717835 | 58644 58692 23 | 5.166 % |
97.28/97.44 c | 289664 | 25592 183347 717835 | 58644 58985 23 | 5.166 % |
97.38/97.53 c | 289975 | 25592 183347 717835 | 58644 59296 23 | 5.166 % |
97.48/97.63 c | 290315 | 25592 183347 717835 | 59321 59636 23 | 5.166 % |
97.58/97.73 c | 290687 | 25592 183347 717835 | 59321 60008 23 | 5.166 % |
97.68/97.84 c | 291097 | 25592 183347 717835 | 59321 60418 23 | 5.166 % |
97.78/97.96 c | 291547 | 25592 183347 717835 | 59321 60868 23 | 5.166 % |
98.08/98.26 c | 292041 | 25592 183347 717835 | 59321 51777 23 | 5.166 % |
98.28/98.41 c | 292583 | 25592 183347 717835 | 59321 52319 23 | 5.166 % |
98.38/98.57 c | 293180 | 25592 183347 717835 | 59321 52916 23 | 5.166 % |
98.58/98.75 c | 293836 | 25592 183347 717835 | 59321 53572 23 | 5.166 % |
98.78/98.92 c | 294566 | 25592 183347 717835 | 59321 54302 23 | 5.166 % |
98.98/99.19 c | 295358 | 25591 183341 717817 | 59321 55093 23 | 5.169 % |
99.28/99.40 c | 296229 | 25591 183341 717817 | 59321 55964 23 | 5.169 % |
99.48/99.65 c | 297187 | 25591 183341 717817 | 59321 56922 23 | 5.169 % |
99.78/99.92 c | 298241 | 25591 183341 717817 | 59321 57976 23 | 5.169 % |
100.08/100.21 c | 299400 | 25591 183341 717817 | 59321 59135 23 | 5.169 % |
100.38/100.53 c | 300677 | 25591 183341 717817 | 59735 60412 23 | 5.169 % |
100.99/101.15 c | 302077 | 25591 183341 717817 | 59735 51858 23 | 5.169 % |
101.38/101.51 c | 303619 | 25591 183341 717817 | 59735 53400 23 | 5.169 % |
101.68/101.90 c | 305318 | 25591 183341 717817 | 59735 55099 23 | 5.169 % |
102.18/102.34 c | 307191 | 25591 183341 717817 | 59735 56972 23 | 5.169 % |
102.68/102.83 c | 309241 | 25591 183341 717817 | 59735 59022 23 | 5.169 % |
103.18/103.36 c | 311496 | 25591 183341 717817 | 59784 61277 23 | 5.169 % |
103.98/104.12 c | 313979 | 25591 183341 717817 | 59784 53562 23 | 5.169 % |
104.68/104.81 c | 316709 | 25591 183341 717817 | 59784 56292 23 | 5.169 % |
105.38/105.57 c | 319706 | 25591 183341 717817 | 59784 59289 23 | 5.169 % |
105.38/105.60 c | 319807 | 25591 183341 717817 | 59784 59390 23 | 5.169 % |
105.48/105.62 c | 319918 | 25591 183341 717817 | 59784 59501 23 | 5.169 % |
105.48/105.66 c | 320043 | 25591 183341 717817 | 59583 59626 23 | 5.169 % |
105.58/105.71 c | 320176 | 25591 183341 717817 | 59583 59759 23 | 5.169 % |
105.58/105.74 c | 320326 | 25591 183341 717817 | 59583 59909 23 | 5.169 % |
105.58/105.79 c | 320487 | 25591 183341 717817 | 59583 60070 23 | 5.169 % |
105.68/105.82 c | 320663 | 25591 183341 717817 | 59583 60246 23 | 5.169 % |
105.68/105.88 c | 320856 | 25591 183341 717817 | 59583 60439 23 | 5.169 % |
105.78/105.93 c | 321068 | 25591 183341 717817 | 59583 60651 23 | 5.169 % |
105.88/106.01 c | 321305 | 25591 183341 717817 | 59583 60888 23 | 5.169 % |
105.88/106.08 c | 321563 | 25591 183341 717817 | 59583 61146 23 | 5.169 % |
106.18/106.35 c | 321844 | 25591 183341 717817 | 59583 51176 23 | 5.169 % |
106.28/106.41 c | 322153 | 25591 183341 717817 | 59583 51485 23 | 5.169 % |
106.38/106.50 c | 322492 | 25591 183341 717817 | 59583 51824 23 | 5.169 % |
106.38/106.58 c | 322864 | 25591 183341 717817 | 59583 52196 23 | 5.169 % |
106.48/106.68 c | 323273 | 25591 183341 717817 | 59583 52605 23 | 5.169 % |
106.58/106.79 c | 323724 | 25591 183341 717817 | 59583 53056 23 | 5.169 % |
106.78/106.90 c | 324218 | 25591 183341 717817 | 59583 53550 23 | 5.169 % |
106.88/107.05 c | 324760 | 25591 183341 717817 | 59583 54092 23 | 5.169 % |
106.98/107.18 c | 325356 | 25591 183341 717817 | 59583 54688 23 | 5.169 % |
107.18/107.34 c | 326019 | 25591 183341 717817 | 59583 55351 23 | 5.169 % |
107.38/107.53 c | 326739 | 25591 183341 717817 | 59583 56071 23 | 5.169 % |
107.58/107.74 c | 327533 | 25591 183341 717817 | 59583 56865 23 | 5.169 % |
107.78/107.99 c | 328405 | 25591 183341 717817 | 59583 57737 23 | 5.169 % |
108.08/108.23 c | 329363 | 25591 183341 717817 | 59583 58695 23 | 5.169 % |
108.28/108.49 c | 330416 | 25591 183341 717817 | 59332 59748 23 | 5.169 % |
108.58/108.77 c | 331593 | 25591 183341 717817 | 59332 60925 23 | 5.169 % |
109.18/109.34 c | 332866 | 25591 183341 717817 | 59332 52782 23 | 5.169 % |
109.48/109.66 c | 334266 | 25591 183341 717817 | 59332 54182 23 | 5.169 % |
109.88/110.04 c | 335807 | 25591 183341 717817 | 59332 55723 23 | 5.169 % |
110.27/110.43 c | 337502 | 25591 183341 717817 | 59332 57418 23 | 5.169 % |
110.77/110.90 c | 339369 | 25591 183341 717817 | 59332 59285 23 | 5.169 % |
111.27/111.46 c | 341419 | 25591 183341 717817 | 59917 61335 23 | 5.169 % |
111.98/112.13 c | 343672 | 25591 183341 717817 | 59917 53897 23 | 5.169 % |
112.57/112.73 c | 346150 | 25591 183341 717817 | 59917 56375 22 | 5.169 % |
113.27/113.41 c | 348880 | 25591 183341 717817 | 59917 59105 22 | 5.169 % |
114.28/114.42 c | 351877 | 25591 183341 717817 | 60225 52205 22 | 5.169 % |
115.07/115.21 c | 355180 | 25588 183336 717800 | 60225 55506 22 | 5.184 % |
115.07/115.24 c | 355281 | 25588 183336 717800 | 60225 55607 22 | 5.184 % |
115.07/115.27 c | 355392 | 25588 183336 717800 | 60225 55718 22 | 5.184 % |
115.07/115.29 c | 355514 | 25588 183336 717800 | 60225 55840 22 | 5.184 % |
115.17/115.34 c | 355649 | 25588 183336 717800 | 60225 55975 22 | 5.184 % |
115.17/115.38 c | 355795 | 25588 183336 717800 | 60225 56121 22 | 5.184 % |
115.27/115.43 c | 355955 | 25588 183336 717800 | 60225 56281 22 | 5.184 % |
115.27/115.47 c | 356132 | 25588 183336 717800 | 60225 56458 22 | 5.184 % |
115.37/115.53 c | 356325 | 25588 183336 717800 | 60225 56651 22 | 5.184 % |
115.37/115.58 c | 356537 | 25588 183336 717800 | 60225 56863 22 | 5.184 % |
115.47/115.65 c | 356771 | 25588 183336 717800 | 60225 57097 22 | 5.184 % |
115.57/115.72 c | 357030 | 25588 183336 717800 | 60225 57356 22 | 5.184 % |
115.67/115.80 c | 357312 | 25588 183336 717800 | 60225 57638 22 | 5.184 % |
115.67/115.88 c | 357621 | 25588 183336 717800 | 60225 57947 22 | 5.184 % |
115.77/115.96 c | 357960 | 25588 183336 717800 | 60225 58286 22 | 5.184 % |
115.87/116.05 c | 358332 | 25588 183336 717800 | 60225 58658 22 | 5.184 % |
115.97/116.17 c | 358741 | 25588 183336 717800 | 60225 59067 22 | 5.184 % |
116.17/116.30 c | 359190 | 25588 183336 717800 | 60225 59516 22 | 5.184 % |
116.27/116.43 c | 359684 | 25588 183336 717800 | 60225 60010 22 | 5.184 % |
116.37/116.59 c | 360228 | 25588 183336 717800 | 60330 60554 22 | 5.184 % |
116.57/116.74 c | 360827 | 25588 183336 717800 | 60330 61153 22 | 5.184 % |
116.77/116.93 c | 361489 | 25588 183336 717800 | 60330 61815 22 | 5.184 % |
117.17/117.33 c | 362211 | 25588 183336 717800 | 60330 53331 23 | 5.184 % |
117.37/117.54 c | 363006 | 25588 183336 717800 | 60330 54126 23 | 5.184 % |
117.57/117.78 c | 363878 | 25588 183336 717800 | 60330 54998 23 | 5.184 % |
117.87/118.03 c | 364838 | 25588 183336 717800 | 60330 55958 23 | 5.184 % |
118.17/118.33 c | 365897 | 25588 183336 717800 | 60330 57017 23 | 5.184 % |
118.47/118.64 c | 367059 | 25588 183336 717800 | 60330 58179 23 | 5.184 % |
118.87/119.01 c | 368333 | 25588 183336 717800 | 60330 59453 23 | 5.184 % |
119.17/119.39 c | 369733 | 25587 183296 717641 | 60330 60853 23 | 5.184 % |
119.57/119.79 c | 371273 | 25587 183296 717641 | 61120 62393 23 | 5.184 % |
120.27/120.45 c | 372968 | 25587 183296 717641 | 61120 54702 23 | 5.184 % |
120.77/120.91 c | 374831 | 25587 183296 717641 | 61120 56565 23 | 5.184 % |
121.26/121.43 c | 376880 | 25587 183296 717641 | 61120 58614 23 | 5.184 % |
121.87/122.05 c | 379134 | 25587 183296 717641 | 61120 60868 22 | 5.184 % |
122.56/122.74 c | 381614 | 25587 183296 717641 | 61737 63348 23 | 5.184 % |
123.46/123.69 c | 384343 | 25587 183296 717641 | 61737 55605 22 | 5.184 % |
124.26/124.46 c | 387340 | 25587 183296 717641 | 61737 58602 22 | 5.184 % |
125.06/125.29 c | 390636 | 25587 183296 717641 | 61263 61898 22 | 5.184 % |
126.16/126.32 c | 394261 | 25587 183296 717641 | 61263 55150 22 | 5.184 % |
126.16/126.35 c | 394361 | 25587 183296 717641 | 61263 55250 22 | 5.184 % |
126.16/126.38 c | 394472 | 25587 183296 717641 | 61263 55361 22 | 5.184 % |
126.27/126.40 c | 394600 | 25587 183296 717641 | 61263 55489 22 | 5.184 % |
126.27/126.44 c | 394733 | 25587 183296 717641 | 61263 55622 22 | 5.184 % |
126.27/126.47 c | 394879 | 25587 183296 717641 | 61263 55768 22 | 5.184 % |
126.37/126.50 c | 395040 | 25587 183296 717641 | 61263 55929 22 | 5.184 % |
126.37/126.56 c | 395219 | 25587 183296 717641 | 61263 56108 22 | 5.184 % |
126.46/126.61 c | 395415 | 25587 183296 717641 | 61263 56304 22 | 5.184 % |
126.46/126.65 c | 395630 | 25587 183296 717641 | 61263 56519 22 | 5.184 % |
126.56/126.71 c | 395868 | 25587 183296 717641 | 61263 56757 22 | 5.184 % |
126.56/126.76 c | 396124 | 25587 183296 717641 | 61263 57013 22 | 5.184 % |
126.66/126.82 c | 396405 | 25587 183296 717641 | 61263 57294 22 | 5.184 % |
126.66/126.89 c | 396714 | 25587 183296 717641 | 61263 57603 22 | 5.184 % |
126.76/126.97 c | 397057 | 25587 183296 717641 | 61263 57946 22 | 5.184 % |
126.86/127.08 c | 397429 | 25587 183296 717641 | 61263 58318 22 | 5.184 % |
126.96/127.19 c | 397838 | 25587 183296 717641 | 61263 58727 22 | 5.184 % |
127.16/127.30 c | 398287 | 25587 183296 717641 | 61263 59176 22 | 5.184 % |
127.26/127.42 c | 398781 | 25587 183296 717641 | 61263 59670 22 | 5.184 % |
127.47/127.60 c | 399326 | 25586 183261 717524 | 61263 60214 22 | 5.188 % |
127.56/127.74 c | 399922 | 25586 183261 717524 | 61263 60810 22 | 5.188 % |
127.76/127.90 c | 400581 | 25586 183261 717524 | 60888 61469 23 | 5.188 % |
127.86/128.09 c | 401301 | 25586 183261 717524 | 60888 62189 23 | 5.188 % |
128.36/128.50 c | 402094 | 25586 183261 717524 | 60888 51687 23 | 5.188 % |
128.47/128.69 c | 402965 | 25586 183261 717524 | 60888 52558 23 | 5.188 % |
128.66/128.89 c | 403926 | 25586 183261 717524 | 60888 53519 23 | 5.188 % |
128.96/129.12 c | 404979 | 25586 183261 717524 | 60888 54572 23 | 5.188 % |
129.16/129.37 c | 406138 | 25586 183261 717524 | 60888 55731 23 | 5.188 % |
129.46/129.66 c | 407411 | 25586 183261 717524 | 60888 57004 23 | 5.188 % |
129.76/129.98 c | 408811 | 25586 183261 717524 | 60888 58404 23 | 5.188 % |
130.16/130.34 c | 410360 | 25586 183261 717524 | 59595 59953 23 | 5.188 % |
130.76/130.95 c | 412059 | 25586 183261 717524 | 59595 50348 22 | 5.188 % |
131.16/131.33 c | 413924 | 25586 183261 717524 | 59595 52213 22 | 5.188 % |
131.56/131.78 c | 415973 | 25586 183261 717524 | 59595 54262 22 | 5.188 % |
132.06/132.28 c | 418226 | 25586 183261 717524 | 59595 56515 22 | 5.188 % |
132.66/132.83 c | 420707 | 25586 183261 717524 | 58289 58996 22 | 5.188 % |
133.56/133.71 c | 423433 | 25586 183261 717524 | 58289 50634 22 | 5.188 % |
134.16/134.31 c | 426430 | 25586 183261 717524 | 58289 53631 22 | 5.188 % |
134.86/135.05 c | 429727 | 25586 183261 717524 | 58289 56928 22 | 5.188 % |
135.86/136.02 c | 433352 | 25586 183261 717524 | 57210 50191 22 | 5.188 % |
136.86/137.04 c | 437339 | 25586 183261 717524 | 57210 54178 22 | 5.188 % |
136.86/137.07 c | 437440 | 25586 183261 717524 | 57210 54279 22 | 5.188 % |
136.86/137.09 c | 437552 | 25586 183261 717524 | 57210 54391 22 | 5.188 % |
136.96/137.13 c | 437673 | 25586 183261 717524 | 57210 54512 22 | 5.188 % |
136.96/137.17 c | 437806 | 25586 183261 717524 | 57210 54645 22 | 5.188 % |
137.06/137.22 c | 437952 | 25586 183261 717524 | 57210 54791 22 | 5.188 % |
137.06/137.26 c | 438115 | 25586 183261 717524 | 57210 54954 22 | 5.188 % |
137.16/137.32 c | 438294 | 25586 183261 717524 | 57210 55133 22 | 5.188 % |
137.16/137.37 c | 438487 | 25586 183261 717524 | 57210 55326 22 | 5.188 % |
137.26/137.42 c | 438699 | 25586 183261 717524 | 57210 55538 22 | 5.188 % |
137.26/137.47 c | 438933 | 25586 183261 717524 | 57210 55772 22 | 5.188 % |
137.36/137.54 c | 439189 | 25586 183261 717524 | 57210 56028 22 | 5.188 % |
137.46/137.62 c | 439474 | 25586 183261 717524 | 57210 56313 22 | 5.188 % |
137.46/137.69 c | 439784 | 25586 183261 717524 | 57210 56623 22 | 5.188 % |
137.56/137.79 c | 440125 | 25586 183261 717524 | 56842 56964 22 | 5.188 % |
137.66/137.88 c | 440497 | 25586 183261 717524 | 56842 57336 22 | 5.188 % |
137.76/137.98 c | 440907 | 25586 183261 717524 | 56842 57746 22 | 5.188 % |
137.86/138.08 c | 441356 | 25586 183261 717524 | 56842 58195 22 | 5.188 % |
138.16/138.37 c | 441861 | 25586 183261 717524 | 56842 51019 22 | 5.188 % |
138.26/138.49 c | 442403 | 25586 183261 717524 | 56842 51561 22 | 5.188 % |
138.46/138.62 c | 443003 | 25586 183261 717524 | 56842 52161 22 | 5.188 % |
138.66/138.82 c | 443658 | 25586 183261 717524 | 56842 52816 22 | 5.188 % |
138.86/139.00 c | 444378 | 25586 183261 717524 | 56842 53536 22 | 5.188 % |
139.06/139.22 c | 445171 | 25586 183261 717524 | 56842 54329 22 | 5.188 % |
139.26/139.43 c | 446043 | 25586 183261 717524 | 56842 55201 22 | 5.188 % |
139.56/139.74 c | 447006 | 25586 183261 717524 | 56842 56164 22 | 5.188 % |
139.86/140.04 c | 448061 | 25586 183261 717524 | 56842 57219 22 | 5.188 % |
140.16/140.37 c | 449220 | 25586 183261 717524 | 56842 58378 22 | 5.188 % |
140.56/140.77 c | 450496 | 25586 183261 717524 | 53106 53601 22 | 5.188 % |
141.06/141.26 c | 451896 | 25586 183261 717524 | 53106 48615 22 | 5.188 % |
141.46/141.63 c | 453436 | 25586 183261 717524 | 53106 50155 22 | 5.188 % |
141.76/141.99 c | 455130 | 25586 183261 717524 | 53106 51849 22 | 5.188 % |
142.25/142.41 c | 456994 | 25586 183261 717524 | 53106 53713 22 | 5.188 % |
142.86/143.05 c | 459045 | 25586 183261 717524 | 53106 49796 22 | 5.188 % |
143.36/143.57 c | 461298 | 25586 183261 717524 | 50751 52049 22 | 5.188 % |
144.06/144.29 c | 463776 | 25586 183261 717524 | 50751 49091 22 | 5.188 % |
144.75/144.96 c | 466505 | 25586 183261 717524 | 50751 51820 22 | 5.188 % |
145.65/145.83 c | 469508 | 25586 183261 717524 | 50751 49586 22 | 5.188 % |
146.45/146.66 c | 472804 | 25586 183261 717524 | 2147483647 52882 22 | 5.188 % |
147.35/147.57 c | 476430 | 25586 183261 717524 | 2147483647 56508 22 | 5.188 % |
148.36/148.57 c | 480419 | 25586 183261 717524 | 60082 60497 22 | 5.188 % |
149.65/149.84 c | 484809 | 25586 183261 717524 | 60082 56351 22 | 5.188 % |
149.65/149.86 c | 484911 | 25586 183261 717524 | 60082 56453 22 | 5.188 % |
149.65/149.89 c | 485022 | 25586 183261 717524 | 60082 56564 22 | 5.188 % |
149.75/149.94 c | 485143 | 25586 183261 717524 | 60082 56685 22 | 5.188 % |
149.75/149.97 c | 485279 | 25586 183261 717524 | 60082 56821 22 | 5.188 % |
149.85/150.01 c | 485429 | 25586 183261 717524 | 60082 56971 22 | 5.188 % |
149.85/150.05 c | 485598 | 25586 183261 717524 | 60082 57140 22 | 5.188 % |
149.85/150.09 c | 485777 | 25586 183261 717524 | 60082 57319 22 | 5.188 % |
149.95/150.13 c | 485970 | 25586 183261 717524 | 60082 57512 22 | 5.188 % |
149.95/150.18 c | 486182 | 25586 183261 717524 | 60082 57724 22 | 5.188 % |
150.05/150.23 c | 486420 | 25586 183261 717524 | 60082 57962 22 | 5.188 % |
150.05/150.29 c | 486684 | 25586 183261 717524 | 60082 58226 22 | 5.188 % |
150.15/150.37 c | 486965 | 25586 183261 717524 | 60082 58507 22 | 5.188 % |
150.25/150.44 c | 487278 | 25586 183261 717524 | 60082 58820 22 | 5.188 % |
150.35/150.51 c | 487623 | 25586 183261 717524 | 60082 59165 22 | 5.188 % |
150.46/150.60 c | 488004 | 25586 183261 717524 | 60082 59546 22 | 5.188 % |
150.56/150.70 c | 488416 | 25586 183261 717524 | 60082 59958 22 | 5.188 % |
150.65/150.82 c | 488876 | 25586 183261 717524 | 60082 60418 22 | 5.188 % |
150.75/150.95 c | 489375 | 25586 183261 717524 | 60082 60917 22 | 5.188 % |
150.85/151.10 c | 489917 | 25586 183261 717524 | 60082 61459 22 | 5.188 % |
151.05/151.25 c | 490517 | 25586 183261 717524 | 61542 62059 22 | 5.188 % |
151.25/151.44 c | 491172 | 25586 183261 717524 | 61542 62714 22 | 5.188 % |
151.56/151.76 c | 491892 | 25586 183261 717524 | 61542 52364 22 | 5.188 % |
151.75/151.96 c | 492684 | 25586 183261 717524 | 61542 53156 22 | 5.188 % |
151.95/152.17 c | 493557 | 25586 183261 717524 | 61542 54029 22 | 5.188 % |
152.25/152.45 c | 494515 | 25586 183261 717524 | 61542 54987 22 | 5.188 % |
152.55/152.70 c | 495568 | 25586 183261 717524 | 61542 56040 22 | 5.188 % |
152.76/152.96 c | 496726 | 25586 183261 717524 | 61542 57198 22 | 5.188 % |
153.05/153.28 c | 497999 | 25586 183261 717524 | 61542 58471 22 | 5.188 % |
153.45/153.61 c | 499399 | 25586 183261 717524 | 61542 59871 22 | 5.188 % |
153.76/153.97 c | 500939 | 25586 183261 717524 | 60472 61411 22 | 5.188 % |
154.55/154.73 c | 502633 | 25586 183261 717524 | 60472 51539 22 | 5.188 % |
154.96/155.13 c | 504498 | 25586 183261 717524 | 60472 53404 22 | 5.188 % |
155.35/155.59 c | 506548 | 25586 183261 717524 | 60472 55454 22 | 5.188 % |
155.95/156.14 c | 508806 | 25586 183261 717524 | 60472 57712 22 | 5.188 % |
156.55/156.75 c | 511296 | 25586 183261 717524 | 58906 60202 22 | 5.188 % |
157.45/157.62 c | 514024 | 25586 183261 717524 | 58906 53331 22 | 5.188 % |
158.15/158.32 c | 517023 | 25586 183261 717524 | 58906 56330 22 | 5.188 % |
158.95/159.14 c | 520319 | 25586 183261 717524 | 59307 59626 22 | 5.188 % |
160.15/160.34 c | 523944 | 25586 183261 717524 | 59307 53959 22 | 5.188 % |
161.05/161.25 c | 527931 | 25586 183261 717524 | 59307 57946 22 | 5.188 % |
162.45/162.70 c | 532316 | 25586 183261 717524 | 60024 50903 22 | 5.188 % |
163.65/163.85 c | 537139 | 25586 183261 717524 | 60024 55726 22 | 5.188 % |
163.65/163.88 c | 537242 | 25586 183261 717524 | 60024 55829 22 | 5.188 % |
163.75/163.91 c | 537353 | 25586 183261 717524 | 60024 55940 22 | 5.188 % |
163.75/163.95 c | 537478 | 25586 183261 717524 | 60024 56065 22 | 5.188 % |
163.75/163.98 c | 537611 | 25586 183261 717524 | 60024 56198 22 | 5.188 % |
163.85/164.02 c | 537757 | 25586 183261 717524 | 60024 56344 22 | 5.188 % |
163.85/164.06 c | 537919 | 25586 183261 717524 | 60024 56506 22 | 5.188 % |
163.95/164.11 c | 538101 | 25586 183261 717524 | 60024 56688 22 | 5.188 % |
163.95/164.16 c | 538300 | 25586 183261 717524 | 60024 56887 22 | 5.188 % |
164.05/164.23 c | 538520 | 25586 183261 717524 | 60024 57107 22 | 5.188 % |
164.05/164.29 c | 538753 | 25586 183261 717524 | 60024 57340 22 | 5.188 % |
164.15/164.36 c | 539011 | 25586 183261 717524 | 60024 57598 22 | 5.188 % |
164.25/164.44 c | 539292 | 25586 183261 717524 | 60024 57879 22 | 5.188 % |
164.35/164.52 c | 539602 | 25586 183261 717524 | 60024 58189 22 | 5.188 % |
164.35/164.60 c | 539944 | 25586 183261 717524 | 60024 58531 22 | 5.188 % |
164.45/164.68 c | 540319 | 25586 183261 717524 | 58588 58906 22 | 5.188 % |
164.55/164.78 c | 540728 | 25586 183261 717524 | 58588 59315 22 | 5.188 % |
164.65/164.89 c | 541177 | 25586 183261 717524 | 58588 59764 22 | 5.188 % |
164.95/165.16 c | 541670 | 25586 183261 717524 | 58588 51193 22 | 5.188 % |
165.05/165.27 c | 542212 | 25586 183261 717524 | 58588 51735 22 | 5.188 % |
165.15/165.39 c | 542808 | 25586 183261 717524 | 58588 52331 22 | 5.188 % |
165.35/165.52 c | 543464 | 25586 183261 717524 | 58588 52987 22 | 5.188 % |
165.45/165.69 c | 544184 | 25586 183261 717524 | 58588 53707 22 | 5.188 % |
165.65/165.87 c | 544976 | 25586 183261 717524 | 58588 54499 22 | 5.188 % |
165.85/166.08 c | 545847 | 25586 183261 717524 | 58588 55370 22 | 5.188 % |
166.15/166.31 c | 546809 | 25586 183261 717524 | 58588 56332 22 | 5.188 % |
166.35/166.56 c | 547862 | 25586 183261 717524 | 58588 57385 22 | 5.188 % |
166.65/166.83 c | 549022 | 25586 183261 717524 | 58588 58545 22 | 5.188 % |
166.95/167.15 c | 550298 | 25586 183261 717524 | 59523 59821 22 | 5.188 % |
167.55/167.72 c | 551698 | 25586 183261 717524 | 59523 51179 22 | 5.188 % |
167.85/168.06 c | 553238 | 25586 183261 717524 | 59523 52719 22 | 5.188 % |
168.25/168.47 c | 554934 | 25586 183261 717524 | 59523 54415 22 | 5.188 % |
168.64/168.88 c | 556797 | 25586 183261 717524 | 59523 56278 22 | 5.188 % |
169.15/169.33 c | 558846 | 25586 183261 717524 | 59523 58327 22 | 5.188 % |
169.65/169.85 c | 561099 | 25586 183261 717524 | 59481 60580 22 | 5.188 % |
170.35/170.59 c | 563577 | 25586 183261 717524 | 59481 53677 22 | 5.188 % |
171.04/171.20 c | 566305 | 25586 183261 717524 | 59481 56405 22 | 5.188 % |
171.74/171.90 c | 569303 | 25586 183261 717524 | 59481 59403 22 | 5.188 % |
172.74/172.99 c | 572600 | 25586 183261 717524 | 60102 53553 22 | 5.188 % |
173.54/173.80 c | 576226 | 25586 183261 717524 | 60102 57179 22 | 5.188 % |
174.54/174.77 c | 580213 | 25585 183258 717514 | 60953 61165 22 | 5.192 % |
175.75/175.95 c | 584599 | 25585 183258 717514 | 60953 55387 21 | 5.192 % |
176.85/177.08 c | 589423 | 25585 183258 717514 | 60953 60211 21 | 5.192 % |
178.35/178.57 c | 594731 | 25585 183258 717514 | 60788 54555 21 | 5.192 % |
178.45/178.60 c | 594831 | 25585 183258 717514 | 60788 54655 21 | 5.192 % |
178.45/178.63 c | 594941 | 25585 183258 717514 | 60788 54765 21 | 5.192 % |
178.45/178.66 c | 595063 | 25585 183258 717514 | 60788 54887 21 | 5.192 % |
178.55/178.71 c | 595196 | 25585 183258 717514 | 60788 55020 21 | 5.192 % |
178.55/178.74 c | 595342 | 25585 183258 717514 | 60788 55166 21 | 5.192 % |
178.55/178.78 c | 595503 | 25585 183258 717514 | 60788 55327 21 | 5.192 % |
178.65/178.82 c | 595682 | 25585 183258 717514 | 60788 55506 21 | 5.192 % |
178.65/178.86 c | 595878 | 25585 183258 717514 | 60788 55702 21 | 5.192 % |
178.75/178.90 c | 596092 | 25585 183258 717514 | 60788 55916 21 | 5.192 % |
178.75/178.95 c | 596326 | 25585 183258 717514 | 60788 56150 21 | 5.192 % |
178.85/179.00 c | 596596 | 25585 183258 717514 | 60788 56420 21 | 5.192 % |
178.85/179.07 c | 596877 | 25585 183258 717514 | 60788 56701 21 | 5.192 % |
178.95/179.14 c | 597186 | 25585 183258 717514 | 60788 57010 21 | 5.192 % |
179.05/179.22 c | 597525 | 25585 183258 717514 | 60788 57349 21 | 5.192 % |
179.15/179.33 c | 597897 | 25585 183258 717514 | 60788 57721 21 | 5.192 % |
179.25/179.43 c | 598306 | 25585 183258 717514 | 60788 58130 21 | 5.192 % |
179.35/179.54 c | 598760 | 25585 183258 717514 | 60788 58584 21 | 5.192 % |
179.45/179.65 c | 599260 | 25585 183258 717514 | 60788 59084 21 | 5.192 % |
179.55/179.77 c | 599802 | 25585 183258 717514 | 60788 59626 21 | 5.192 % |
179.75/179.91 c | 600398 | 25585 183258 717514 | 59827 60222 21 | 5.192 % |
179.85/180.07 c | 601059 | 25585 183258 717514 | 59827 60883 21 | 5.192 % |
180.25/180.45 c | 601779 | 25585 183258 717514 | 59827 50742 21 | 5.192 % |
180.45/180.63 c | 602572 | 25585 183258 717514 | 59827 51535 21 | 5.192 % |
180.65/180.81 c | 603443 | 25585 183258 717514 | 59827 52406 21 | 5.192 % |
180.85/181.01 c | 604405 | 25585 183258 717514 | 59827 53368 21 | 5.192 % |
181.05/181.23 c | 605460 | 25585 183258 717514 | 59827 54423 21 | 5.192 % |
181.25/181.49 c | 606620 | 25585 183258 717514 | 59827 55583 21 | 5.192 % |
181.54/181.78 c | 607893 | 25585 183258 717514 | 59827 56856 21 | 5.192 % |
181.94/182.15 c | 609293 | 25585 183258 717514 | 59827 58256 21 | 5.192 % |
182.35/182.57 c | 610833 | 25585 183258 717514 | 58963 59796 21 | 5.192 % |
183.04/183.22 c | 612529 | 25585 183258 717514 | 58963 53148 21 | 5.192 % |
183.45/183.67 c | 614392 | 25585 183258 717514 | 58963 55011 21 | 5.192 % |
183.94/184.12 c | 616441 | 25585 183258 717514 | 58963 57060 21 | 5.192 % |
184.44/184.63 c | 618694 | 25585 183258 717514 | 58963 59313 21 | 5.192 % |
185.24/185.44 c | 621172 | 25585 183258 717514 | 51390 52562 20 | 5.192 % |
185.94/186.17 c | 623897 | 25585 183258 717514 | 51390 47840 20 | 5.192 % |
186.54/186.79 c | 626908 | 25585 183258 717514 | 51390 50851 20 | 5.192 % |
187.34/187.59 c | 630212 | 25585 183258 717514 | 47409 47618 21 | 5.192 % |
188.34/188.50 c | 633837 | 25585 183258 717514 | 47409 44869 21 | 5.192 % |
189.14/189.31 c | 637824 | 25585 183258 717514 | 47409 48856 21 | 5.192 % |
190.04/190.28 c | 642210 | 25585 183258 717514 | 2147483647 48357 20 | 5.192 % |
191.04/191.25 c | 647033 | 25585 183258 717514 | 2147483647 53180 20 | 5.192 % |
192.44/192.65 c | 652338 | 25585 183258 717514 | 2147483647 58485 20 | 5.192 % |
193.94/194.12 c | 658176 | 25585 183258 717514 | 2147483647 64323 20 | 5.192 % |
193.94/194.16 c | 658276 | 25585 183258 717514 | 2147483647 64423 20 | 5.192 % |
194.04/194.20 c | 658386 | 25585 183258 717514 | 2147483647 64533 20 | 5.192 % |
194.04/194.24 c | 658511 | 25585 183258 717514 | 2147483647 64658 20 | 5.192 % |
194.04/194.29 c | 658644 | 25585 183258 717514 | 2147483647 64791 20 | 5.192 % |
194.14/194.32 c | 658790 | 25585 183258 717514 | 2147483647 64937 20 | 5.192 % |
194.14/194.37 c | 658965 | 25585 183258 717514 | 2147483647 65112 20 | 5.192 % |
194.24/194.41 c | 659142 | 25585 183258 717514 | 2147483647 65289 20 | 5.192 % |
194.24/194.47 c | 659336 | 25585 183258 717514 | 2147483647 65483 20 | 5.192 % |
194.34/194.53 c | 659551 | 25585 183258 717514 | 2147483647 65698 20 | 5.192 % |
194.44/194.61 c | 659788 | 25585 183258 717514 | 2147483647 65935 20 | 5.192 % |
194.44/194.69 c | 660050 | 25585 183258 717514 | 66149 66197 20 | 5.192 % |
194.54/194.77 c | 660331 | 25585 183258 717514 | 66149 66478 20 | 5.192 % |
194.64/194.85 c | 660643 | 25585 183258 717514 | 66149 66790 20 | 5.192 % |
194.74/194.93 c | 660982 | 25585 183258 717514 | 66149 67129 20 | 5.192 % |
194.84/195.03 c | 661354 | 25585 183258 717514 | 66149 67501 20 | 5.192 % |
195.24/195.43 c | 661765 | 25585 183258 717514 | 66149 56885 20 | 5.192 % |
195.34/195.54 c | 662214 | 25585 183258 717514 | 66149 57334 20 | 5.192 % |
195.44/195.66 c | 662707 | 25585 183258 717514 | 66149 57827 20 | 5.192 % |
195.54/195.79 c | 663250 | 25585 183258 717514 | 66149 58370 20 | 5.192 % |
195.74/195.92 c | 663846 | 25585 183258 717514 | 66149 58966 20 | 5.192 % |
195.84/196.08 c | 664502 | 25585 183258 717514 | 66149 59622 20 | 5.192 % |
196.04/196.27 c | 665222 | 25585 183258 717514 | 66149 60342 20 | 5.192 % |
196.24/196.46 c | 666014 | 25585 183258 717514 | 66149 61134 20 | 5.192 % |
196.54/196.70 c | 666889 | 25585 183258 717514 | 66149 62009 20 | 5.192 % |
196.74/196.93 c | 667847 | 25585 183258 717514 | 66149 62967 20 | 5.192 % |
196.94/197.19 c | 668900 | 25585 183258 717514 | 66149 64020 20 | 5.192 % |
197.34/197.51 c | 670060 | 25585 183258 717514 | 65120 65180 20 | 5.192 % |
197.64/197.85 c | 671333 | 25585 183258 717514 | 65120 66453 20 | 5.192 % |
198.24/198.47 c | 672733 | 25585 183258 717514 | 65120 55743 20 | 5.192 % |
198.64/198.83 c | 674275 | 25585 183258 717514 | 65120 57285 20 | 5.192 % |
199.04/199.22 c | 675969 | 25585 183258 717514 | 65120 58979 20 | 5.192 % |
199.44/199.65 c | 677832 | 25585 183258 717514 | 65120 60842 20 | 5.192 % |
199.94/200.13 c | 679883 | 25585 183258 717514 | 65120 62893 20 | 5.192 % |
200.74/200.93 c | 682136 | 25585 183258 717514 | 63010 52948 20 | 5.192 % |
201.23/201.49 c | 684614 | 25585 183258 717514 | 63010 55426 20 | 5.192 % |
201.93/202.12 c | 687339 | 25585 183258 717514 | 63010 58151 20 | 5.192 % |
202.63/202.81 c | 690337 | 25585 183258 717514 | 60812 61149 20 | 5.192 % |
203.54/203.74 c | 693633 | 25585 183258 717514 | 60812 54485 20 | 5.192 % |
204.34/204.54 c | 697259 | 25585 183258 717514 | 60812 58111 20 | 5.192 % |
205.23/205.49 c | 701246 | 25585 183258 717514 | 60854 62098 20 | 5.192 % |
206.54/206.73 c | 705632 | 25585 183258 717514 | 60854 56275 20 | 5.192 % |
207.64/207.84 c | 710455 | 25585 183258 717514 | 60643 61098 20 | 5.192 % |
209.03/209.29 c | 715761 | 25585 183258 717514 | 60643 56617 20 | 5.192 % |
210.73/210.95 c | 721596 | 25585 183258 717514 | 60856 52055 20 | 5.192 % |
212.14/212.38 c | 728018 | 25585 183258 717514 | 60856 58477 20 | 5.192 % |
212.23/212.41 c | 728118 | 25585 183258 717514 | 60856 58577 20 | 5.192 % |
212.23/212.45 c | 728230 | 25585 183258 717514 | 60856 58689 20 | 5.192 % |
212.23/212.48 c | 728354 | 25585 183258 717514 | 60856 58813 20 | 5.192 % |
212.33/212.52 c | 728487 | 25585 183258 717514 | 60856 58946 20 | 5.192 % |
212.33/212.56 c | 728633 | 25585 183258 717514 | 60856 59092 20 | 5.192 % |
212.43/212.61 c | 728793 | 25585 183258 717514 | 60856 59252 20 | 5.192 % |
212.43/212.66 c | 728970 | 25585 183258 717514 | 60856 59429 20 | 5.192 % |
212.53/212.71 c | 729163 | 25585 183258 717514 | 60856 59622 20 | 5.192 % |
212.53/212.76 c | 729375 | 25585 183258 717514 | 60856 59834 20 | 5.192 % |
212.63/212.83 c | 729609 | 25585 183258 717514 | 60856 60068 20 | 5.192 % |
212.73/212.90 c | 729865 | 25585 183258 717514 | 60856 60324 20 | 5.192 % |
212.73/212.98 c | 730146 | 25585 183258 717514 | 60460 60605 20 | 5.192 % |
212.83/213.06 c | 730455 | 25585 183258 717514 | 60460 60914 20 | 5.192 % |
212.93/213.15 c | 730794 | 25585 183258 717514 | 60460 61253 20 | 5.192 % |
213.03/213.25 c | 731166 | 25585 183258 717514 | 60460 61625 20 | 5.192 % |
213.13/213.37 c | 731576 | 25585 183258 717514 | 60460 62035 20 | 5.192 % |
213.53/213.80 c | 732025 | 25585 183258 717514 | 60460 52673 20 | 5.192 % |
213.73/213.92 c | 732525 | 25585 183258 717514 | 60460 53173 20 | 5.192 % |
213.83/214.05 c | 733071 | 25585 183258 717514 | 60460 53719 20 | 5.192 % |
214.03/214.22 c | 733667 | 25585 183258 717514 | 60460 54315 20 | 5.192 % |
214.13/214.39 c | 734322 | 25585 183258 717514 | 60460 54970 20 | 5.192 % |
214.33/214.57 c | 735043 | 25585 183258 717514 | 60460 55691 20 | 5.192 % |
214.53/214.79 c | 735835 | 25585 183258 717514 | 60460 56483 20 | 5.192 % |
214.83/215.01 c | 736707 | 25585 183258 717514 | 60460 57355 20 | 5.192 % |
215.03/215.23 c | 737665 | 25585 183258 717514 | 60460 58313 20 | 5.192 % |
215.23/215.49 c | 738719 | 25585 183258 717514 | 60460 59367 20 | 5.192 % |
215.53/215.78 c | 739877 | 25585 183258 717514 | 60460 60525 20 | 5.192 % |
215.93/216.10 c | 741152 | 25585 183258 717514 | 60648 61800 20 | 5.192 % |
216.63/216.82 c | 742553 | 25585 183258 717514 | 60648 53798 20 | 5.192 % |
217.03/217.23 c | 744093 | 25585 183258 717514 | 60648 55338 20 | 5.192 % |
217.43/217.64 c | 745788 | 25585 183258 717514 | 60648 57033 20 | 5.192 % |
217.93/218.13 c | 747657 | 25585 183258 717514 | 60648 58902 20 | 5.192 % |
218.43/218.66 c | 749707 | 25585 183258 717514 | 60648 60952 20 | 5.192 % |
219.22/219.44 c | 751971 | 25585 183258 717514 | 61247 53648 20 | 5.192 % |
219.83/220.03 c | 754450 | 25585 183258 717514 | 61247 56127 20 | 5.192 % |
220.43/220.69 c | 757175 | 25585 183258 717514 | 61247 58852 20 | 5.192 % |
221.22/221.42 c | 760172 | 25585 183258 717514 | 61680 61849 20 | 5.192 % |
222.22/222.47 c | 763478 | 25585 183258 717514 | 61680 54032 20 | 5.192 % |
223.13/223.33 c | 767105 | 25585 183258 717514 | 61680 57659 20 | 5.192 % |
224.02/224.28 c | 771101 | 25585 183258 717514 | 60554 61655 20 | 5.192 % |
225.33/225.54 c | 775487 | 25585 183258 717514 | 60554 54433 20 | 5.192 % |
226.43/226.66 c | 780310 | 25585 183258 717514 | 58946 59256 20 | 5.192 % |
227.82/228.07 c | 785615 | 25585 183258 717514 | 58946 53376 20 | 5.192 % |
229.32/229.57 c | 791451 | 25585 183258 717514 | 57761 59212 20 | 5.192 % |
231.02/231.24 c | 797869 | 25585 183258 717514 | 57761 56376 20 | 5.192 % |
232.92/233.16 c | 804928 | 25585 183258 717514 | 58511 52363 20 | 5.192 % |
232.92/233.19 c | 805032 | 25585 183258 717514 | 58511 52467 20 | 5.192 % |
233.02/233.22 c | 805143 | 25585 183258 717514 | 58511 52578 20 | 5.192 % |
233.02/233.25 c | 805264 | 25585 183258 717514 | 58511 52699 20 | 5.192 % |
233.02/233.29 c | 805397 | 25585 183258 717514 | 58511 52832 20 | 5.192 % |
233.12/233.33 c | 805547 | 25585 183258 717514 | 58511 52982 20 | 5.192 % |
233.12/233.38 c | 805707 | 25585 183258 717514 | 58511 53142 20 | 5.192 % |
233.22/233.42 c | 805883 | 25585 183258 717514 | 58511 53318 20 | 5.192 % |
233.22/233.47 c | 806078 | 25585 183258 717514 | 58511 53513 20 | 5.192 % |
233.32/233.53 c | 806290 | 25585 183258 717514 | 58511 53725 20 | 5.192 % |
233.42/233.60 c | 806523 | 25585 183258 717514 | 58511 53958 20 | 5.192 % |
233.42/233.67 c | 806779 | 25585 183258 717514 | 58511 54214 20 | 5.192 % |
233.52/233.74 c | 807063 | 25585 183258 717514 | 58511 54498 20 | 5.192 % |
233.62/233.82 c | 807375 | 25585 183258 717514 | 58511 54810 20 | 5.192 % |
233.72/233.91 c | 807716 | 25585 183258 717514 | 58511 55151 20 | 5.192 % |
233.82/234.00 c | 808089 | 25585 183258 717514 | 58511 55524 20 | 5.192 % |
233.82/234.09 c | 808499 | 25585 183258 717514 | 58511 55934 20 | 5.192 % |
233.92/234.19 c | 808948 | 25585 183258 717514 | 58511 56383 20 | 5.192 % |
234.12/234.30 c | 809441 | 25585 183258 717514 | 58511 56876 20 | 5.192 % |
234.22/234.44 c | 809983 | 25585 183258 717514 | 58511 57418 20 | 5.192 % |
234.32/234.59 c | 810580 | 25585 183258 717514 | 57435 58015 20 | 5.192 % |
234.52/234.76 c | 811237 | 25585 183258 717514 | 57435 58672 20 | 5.192 % |
235.12/235.35 c | 811959 | 25585 183258 717514 | 57435 49881 20 | 5.192 % |
235.32/235.53 c | 812754 | 25585 183258 717514 | 57435 50676 20 | 5.192 % |
235.52/235.71 c | 813627 | 25585 183258 717514 | 57435 51549 20 | 5.192 % |
235.72/235.92 c | 814585 | 25585 183258 717514 | 57435 52507 20 | 5.192 % |
235.92/236.13 c | 815641 | 25585 183258 717514 | 57435 53563 20 | 5.192 % |
236.12/236.37 c | 816799 | 25585 183258 717514 | 57435 54721 20 | 5.192 % |
236.42/236.64 c | 818078 | 25585 183258 717514 | 57435 56000 20 | 5.192 % |
236.72/236.96 c | 819478 | 25585 183258 717514 | 57435 57400 20 | 5.192 % |
237.12/237.31 c | 821019 | 25585 183258 717514 | 57925 58941 20 | 5.192 % |
237.92/238.14 c | 822714 | 25585 183258 717514 | 57925 51326 20 | 5.192 % |
238.32/238.55 c | 824577 | 25585 183258 717514 | 57925 53189 20 | 5.192 % |
238.82/239.03 c | 826627 | 25585 183258 717514 | 57925 55239 20 | 5.192 % |
239.32/239.52 c | 828880 | 25585 183258 717514 | 57925 57492 20 | 5.192 % |
239.82/240.10 c | 831360 | 25585 183258 717514 | 58612 59972 20 | 5.192 % |
240.72/240.98 c | 834087 | 25585 183258 717514 | 58612 52515 20 | 5.192 % |
241.51/241.71 c | 837089 | 25585 183258 717514 | 58612 55517 20 | 5.192 % |
242.31/242.56 c | 840385 | 25585 183258 717514 | 58431 58813 20 | 5.192 % |
243.31/243.57 c | 844010 | 25585 183258 717514 | 58431 52342 20 | 5.192 % |
244.21/244.42 c | 847998 | 25585 183258 717514 | 58431 56330 20 | 5.192 % |
245.51/245.76 c | 852384 | 25585 183258 717514 | 58332 49543 20 | 5.192 % |
246.61/246.81 c | 857207 | 25583 183252 717493 | 58332 54365 20 | 5.199 % |
248.01/248.21 c | 862512 | 25583 183252 717493 | 57163 49135 20 | 5.199 % |
249.11/249.39 c | 868347 | 25583 183252 717493 | 57163 54970 20 | 5.199 % |
250.81/251.01 c | 874766 | 25583 183252 717493 | 56625 51476 20 | 5.199 % |
252.51/252.73 c | 881826 | 25583 183252 717493 | 56710 49041 20 | 5.199 % |
254.01/254.28 c | 889591 | 25583 183252 717493 | 56710 56806 20 | 5.199 % |
254.11/254.31 c | 889692 | 25583 183252 717493 | 56710 56907 20 | 5.199 % |
254.11/254.34 c | 889803 | 25583 183252 717493 | 56710 57018 20 | 5.199 % |
254.11/254.37 c | 889924 | 25583 183252 717493 | 56710 57139 20 | 5.199 % |
254.11/254.40 c | 890060 | 25583 183252 717493 | 57227 57275 20 | 5.199 % |
254.21/254.44 c | 890213 | 25583 183252 717493 | 57227 57428 20 | 5.199 % |
254.21/254.47 c | 890373 | 25583 183252 717493 | 57227 57588 20 | 5.199 % |
254.31/254.50 c | 890557 | 25583 183252 717493 | 57227 57772 20 | 5.199 % |
254.31/254.55 c | 890750 | 25583 183252 717493 | 57227 57965 20 | 5.199 % |
254.41/254.61 c | 890966 | 25583 183252 717493 | 57227 58181 20 | 5.199 % |
254.41/254.67 c | 891201 | 25583 183252 717493 | 57227 58416 20 | 5.199 % |
254.51/254.73 c | 891457 | 25583 183252 717493 | 57227 58672 20 | 5.199 % |
254.81/255.00 c | 891741 | 25583 183252 717493 | 57227 49377 20 | 5.199 % |
254.81/255.06 c | 892051 | 25583 183252 717493 | 57227 49687 20 | 5.199 % |
254.91/255.14 c | 892402 | 25583 183252 717493 | 57227 50038 20 | 5.199 % |
255.01/255.21 c | 892774 | 25583 183252 717493 | 57227 50410 20 | 5.199 % |
255.01/255.29 c | 893183 | 25583 183252 717493 | 57227 50819 20 | 5.199 % |
255.11/255.38 c | 893643 | 25583 183252 717493 | 57227 51279 20 | 5.199 % |
255.21/255.47 c | 894146 | 25583 183252 717493 | 57227 51782 20 | 5.199 % |
255.30/255.58 c | 894688 | 25583 183252 717493 | 57227 52324 20 | 5.199 % |
255.50/255.70 c | 895285 | 25583 183252 717493 | 57227 52921 20 | 5.199 % |
255.60/255.84 c | 895946 | 25583 183252 717493 | 57227 53582 20 | 5.199 % |
255.70/255.98 c | 896668 | 25583 183252 717493 | 57227 54304 20 | 5.199 % |
255.90/256.16 c | 897464 | 25583 183252 717493 | 57227 55100 20 | 5.199 % |
256.11/256.35 c | 898337 | 25583 183252 717493 | 57227 55973 20 | 5.199 % |
256.30/256.56 c | 899295 | 25583 183252 717493 | 57227 56931 20 | 5.199 % |
256.60/256.80 c | 900350 | 25583 183252 717493 | 57636 57986 20 | 5.199 % |
256.80/257.08 c | 901511 | 25583 183252 717493 | 57636 59147 20 | 5.199 % |
257.30/257.57 c | 902787 | 25583 183252 717493 | 57636 48780 20 | 5.199 % |
257.60/257.84 c | 904189 | 25583 183252 717493 | 57636 50182 20 | 5.199 % |
257.90/258.16 c | 905729 | 25583 183252 717493 | 57636 51722 20 | 5.199 % |
258.31/258.51 c | 907423 | 25583 183252 717493 | 57636 53416 20 | 5.199 % |
258.70/258.91 c | 909286 | 25583 183252 717493 | 57636 55279 20 | 5.199 % |
259.10/259.35 c | 911336 | 25583 183252 717493 | 55994 57329 20 | 5.199 % |
259.70/259.99 c | 913594 | 25583 183252 717493 | 55994 49440 19 | 5.199 % |
260.20/260.48 c | 916080 | 25583 183252 717493 | 55994 51926 19 | 5.199 % |
260.80/261.06 c | 918808 | 25583 183252 717493 | 55994 54654 19 | 5.199 % |
261.80/262.08 c | 921805 | 25583 183252 717493 | 55846 47058 19 | 5.199 % |
262.50/262.71 c | 925106 | 25583 183252 717493 | 55846 50359 19 | 5.199 % |
263.20/263.45 c | 928731 | 25583 183252 717493 | 55846 53984 19 | 5.199 % |
264.30/264.51 c | 932719 | 25583 183252 717493 | 55253 48739 19 | 5.199 % |
265.10/265.36 c | 937107 | 25583 183252 717493 | 55253 53127 19 | 5.199 % |
266.50/266.72 c | 941931 | 25583 183252 717493 | 56024 48492 19 | 5.199 % |
267.60/267.82 c | 947238 | 25583 183252 717493 | 56024 53799 18 | 5.199 % |
268.90/269.19 c | 953074 | 25583 183252 717493 | 56563 49413 18 | 5.199 % |
270.20/270.49 c | 959493 | 25583 183252 717493 | 56563 55832 18 | 5.199 % |
271.80/272.05 c | 966552 | 25583 183252 717493 | 56339 53588 18 | 5.199 % |
273.50/273.79 c | 974317 | 25583 183252 717493 | 57038 51969 18 | 5.199 % |
275.29/275.54 c | 982857 | 25568 183085 716730 | 26007 26108 19 | 5.255 % |
275.29/275.56 c | 982963 | 25568 183085 716730 | 26007 26214 19 | 5.255 % |
275.29/275.57 c | 983073 | 25568 183085 716730 | 26007 26324 19 | 5.255 % |
275.29/275.59 c | 983195 | 25568 183085 716730 | 26007 26446 19 | 5.255 % |
275.39/275.61 c | 983328 | 25568 183085 716730 | 26007 26579 19 | 5.255 % |
275.39/275.63 c | 983474 | 25568 183085 716730 | 26007 26725 19 | 5.255 % |
275.39/275.65 c | 983637 | 25568 183085 716730 | 26007 26888 19 | 5.255 % |
275.39/275.67 c | 983813 | 25568 183085 716730 | 26007 27064 19 | 5.255 % |
275.49/275.70 c | 984014 | 25568 183085 716730 | 26007 27265 19 | 5.255 % |
275.49/275.73 c | 984227 | 25568 183085 716730 | 26007 27478 18 | 5.255 % |
275.59/275.80 c | 984461 | 25568 183085 716730 | 26007 24965 19 | 5.255 % |
275.59/275.84 c | 984717 | 25568 183085 716730 | 26007 25221 19 | 5.255 % |
275.59/275.88 c | 984998 | 25568 183085 716730 | 26007 25502 19 | 5.255 % |
275.69/275.92 c | 985307 | 25568 183085 716730 | 26007 25811 19 | 5.255 % |
275.69/275.96 c | 985648 | 25568 183085 716730 | 26007 26152 19 | 5.255 % |
275.80/276.02 c | 986020 | 25568 183085 716730 | 26007 26524 19 | 5.255 % |
275.80/276.08 c | 986434 | 25568 183085 716730 | 26007 26938 19 | 5.255 % |
275.90/276.14 c | 986884 | 25568 183085 716730 | 26007 27388 18 | 5.255 % |
275.99/276.24 c | 987378 | 25568 183085 716730 | 26007 25124 19 | 5.255 % |
276.09/276.31 c | 987920 | 25568 183085 716730 | 26007 25666 18 | 5.255 % |
276.09/276.38 c | 988516 | 25568 183085 716730 | 26007 26262 19 | 5.255 % |
276.19/276.46 c | 989171 | 25568 183085 716730 | 26007 26917 19 | 5.255 % |
276.29/276.60 c | 989891 | 25568 183085 716730 | 26007 24876 18 | 5.255 % |
276.39/276.68 c | 990684 | 25568 183085 716730 | 2147483647 25669 19 | 5.255 % |
276.49/276.79 c | 991555 | 25568 183085 716730 | 2147483647 26540 18 | 5.255 % |
276.69/276.92 c | 992515 | 25568 183085 716730 | 2147483647 27500 18 | 5.255 % |
276.79/277.05 c | 993572 | 25568 183085 716730 | 2147483647 28557 18 | 5.255 % |
277.00/277.20 c | 994732 | 25568 183085 716730 | 2147483647 29717 18 | 5.255 % |
277.09/277.38 c | 996014 | 25568 183085 716730 | 2147483647 30999 18 | 5.255 % |
277.29/277.57 c | 997416 | 25568 183085 716730 | 2147483647 32401 18 | 5.255 % |
277.59/277.80 c | 998956 | 25568 183085 716730 | 2147483647 33941 18 | 5.255 % |
277.89/278.14 c | 1000651 | 25553 182951 716165 | 2147483647 19627 18 | 5.310 % |
278.09/278.34 c | 1002522 | 25553 182951 716165 | 2147483647 21498 18 | 5.310 % |
278.29/278.56 c | 1004574 | 25552 182951 716165 | 2147483647 23549 17 | 5.366 % |
278.49/278.76 c ===============================================================================
278.49/278.76 c restarts : 1211
278.49/278.76 c conflicts : 1006286 (3663 /sec)
278.49/278.76 c decisions : 2748586 (1.85 % random) (10006 /sec)
278.49/278.76 c propagations : 123983697 (451362 /sec)
278.49/278.76 c conflict literals : 24160270 (36.38 % deleted)
278.49/278.76 c Memory used : 42.24 MB
278.49/278.76 c CPU time : 274.688 s
278.49/278.76 c
278.49/278.76 s UNSATISFIABLE
278.49/278.77 s UNSATISFIABLE
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1834199-1242828656/watcher-1834199-1242828656 -o /tmp/evaluation-result-1834199-1242828656/solver-1834199-1242828656 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834199-1242828656.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 276 0 0 0 0 0 0 0 18 0 1 0 310893802 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 259415310418 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/14671/statm: 1339 235 195 169 0 50 0
[pid=14672] ppid=14671 vsize=5356 CPUtime=0
/proc/14672/stat : 14672 (SatELiteGTI) R 14671 14671 14419 0 -1 4194368 51 25 0 0 0 0 0 0 20 0 1 0 310893802 5484544 238 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4096 65538 0 0 0 17 0 0 0
/proc/14672/statm: 1339 238 198 169 0 50 0
[pid=14674] ppid=14672 vsize=0 CPUtime=0
/proc/14674/stat : 14674 (sed) Z 14672 14671 14419 0 -1 4194316 163 0 0 0 0 0 0 0 18 0 1 0 310893802 0 0 1992294400 0 0 0 0 0 0 0 4096 0 18446744071563351923 0 0 17 1 0 0
/proc/14674/statm: 0 0 0 0 0 0 0
[startup+0.033851 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101856 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301877 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701921 s]
/proc/loadavg: 1.00 1.00 1.00 2/64 14671
/proc/meminfo: memFree=1831264/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50201 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14676
/proc/meminfo: memFree=1761944/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
[pid=14676] ppid=14671 vsize=80300 CPUtime=1.48
/proc/14676/stat : 14676 (SatELite_releas) R 14671 14671 14419 0 -1 4194304 18275 0 0 0 138 10 0 0 25 0 1 0 310893803 82227200 16945 1992294400 134512640 135223648 4294956128 18446744073709551615 134719062 0 0 4096 3 0 0 0 17 1 0 0
/proc/14676/statm: 20075 16945 76 173 0 19900 0
Current children cumulated CPU time (s) 1.48
Current children cumulated vsize (KiB) 85656
[startup+3.10119 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14676
/proc/meminfo: memFree=1751320/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=0
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 310893802 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 237 197 169 0 50 0
[pid=14676] ppid=14671 vsize=85156 CPUtime=3.08
/proc/14676/stat : 14676 (SatELite_releas) R 14671 14671 14419 0 -1 4194304 19356 0 0 0 293 15 0 0 25 0 1 0 310893803 87199744 17870 1992294400 134512640 135223648 4294956128 18446744073709551615 134598404 0 0 4096 3 0 0 0 17 0 0 0
/proc/14676/statm: 21289 17870 76 173 0 21114 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 90512
[startup+6.30254 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1797784/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=14992 CPUtime=2.5
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 3633 0 0 0 248 2 0 0 25 0 1 0 310894182 15351808 3619 1992294400 134512640 135215339 4294956240 18446744073709551615 134527252 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 3748 3619 77 171 0 3575 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 20348
[startup+12.7012 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1794008/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=19248 CPUtime=8.89
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 4686 0 0 0 886 3 0 0 25 0 1 0 310894182 19709952 4672 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 4812 4672 77 171 0 4639 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 24604
[startup+25.5017 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1782560/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=30292 CPUtime=21.67
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 7423 0 0 0 2161 6 0 0 25 0 1 0 310894182 31019008 7409 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 7573 7409 77 171 0 7400 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 35648
[startup+51.1015 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1771616/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=41192 CPUtime=47.25
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10125 0 0 0 4716 9 0 0 25 0 1 0 310894182 42180608 10111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10298 10111 77 171 0 10125 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 46548
[startup+102.305 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769824/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=42824 CPUtime=98.42
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10539 0 0 0 9832 10 0 0 25 0 1 0 310894182 43851776 10525 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10706 10525 77 171 0 10533 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 48180
[startup+162.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769760/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=42824 CPUtime=158.39
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10544 0 0 0 15829 10 0 0 25 0 1 0 310894182 43851776 10530 1992294400 134512640 135215339 4294956240 18446744073709551615 134534176 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10706 10530 77 171 0 10533 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 48180
[startup+222.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769632/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43040 CPUtime=218.36
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10572 0 0 0 21825 11 0 0 25 0 1 0 310894182 44072960 10558 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10760 10558 77 171 0 10587 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 48396
Solver just ended. Dumping a history of the last processes samples
[startup+230.301 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769568/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43040 CPUtime=226.36
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10592 0 0 0 22625 11 0 0 25 0 1 0 310894182 44072960 10578 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10760 10578 77 171 0 10587 0
Current children cumulated CPU time (s) 230.12
Current children cumulated vsize (KiB) 48396
[startup+255.901 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=251.94
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10625 0 0 0 25183 11 0 0 25 0 1 0 310894182 44290048 10611 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10611 77 171 0 10640 0
Current children cumulated CPU time (s) 255.7
Current children cumulated vsize (KiB) 48608
[startup+268.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=264.74
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 26463 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 268.5
Current children cumulated vsize (KiB) 48608
[startup+275.101 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=271.13
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27102 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 274.89
Current children cumulated vsize (KiB) 48608
[startup+276.701 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=272.73
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27262 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134525415 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 276.49
Current children cumulated vsize (KiB) 48608
[startup+277.501 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=273.53
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27342 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 277.29
Current children cumulated vsize (KiB) 48608
[startup+278.306 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=274.33
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27422 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 278.09
Current children cumulated vsize (KiB) 48608
[startup+278.702 s]
/proc/loadavg: 1.00 1.00 1.00 2/66 14677
/proc/meminfo: memFree=1769376/2055920 swapFree=4178740/4192956
[pid=14671] ppid=14669 vsize=5356 CPUtime=3.76
/proc/14671/stat : 14671 (SatELiteGTI) S 14669 14671 14419 0 -1 4194304 336 21251 0 0 0 0 357 19 16 0 1 0 310893802 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 259415139140 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/14671/statm: 1339 239 197 169 0 50 0
[pid=14677] ppid=14671 vsize=43252 CPUtime=274.73
/proc/14677/stat : 14677 (minisat_static) R 14671 14671 14419 0 -1 4194304 10626 0 0 0 27462 11 0 0 25 0 1 0 310894182 44290048 10612 1992294400 134512640 135215339 4294956240 18446744073709551615 134528673 0 0 4096 3 0 0 0 17 1 0 0
/proc/14677/statm: 10813 10612 77 171 0 10640 0
Current children cumulated CPU time (s) 278.49
Current children cumulated vsize (KiB) 48608
Child status: 20
Real time (s): 278.787
CPU time (s): 278.597
CPU user time (s): 278.261
CPU system time (s): 0.335948
CPU usage (%): 99.9316
Max. virtual memory (cumulated for all children) (KiB): 91600
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 278.261
system time used= 0.335948
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32374
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= 48
involuntary context switches= 2614
runsolver used 0.357945 second user time and 0.770882 second system time
The end
Begin job on node42 at 2009-05-20 16:10:56
IDJOB=1834199
IDBENCH=71717
IDSOLVER=671
FILE ID=node42/1834199-1242828656
PBS_JOBID= 9322521
Free space on /tmp= 66352 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-g10id.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1834199-1242828656/watcher-1834199-1242828656 -o /tmp/evaluation-result-1834199-1242828656/solver-1834199-1242828656 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1834199-1242828656.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79b8866c5f4be7f699958174c5be63e9
RANDOM SEED=2073044119
node42.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.232
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.232
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1831744 kB
Buffers: 52932 kB
Cached: 120932 kB
SwapCached: 8852 kB
Active: 66992 kB
Inactive: 117496 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1831744 kB
SwapTotal: 4192956 kB
SwapFree: 4178740 kB
Dirty: 9760 kB
Writeback: 0 kB
Mapped: 14580 kB
Slab: 25708 kB
Committed_AS: 1134216 kB
PageTables: 1396 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= 66352 MiB
End job on node42 at 2009-05-20 16:15:35