0.00/0.00 c Parsing...
0.42/0.45 c ==============================================================================
0.42/0.45 c | | ORIGINAL | LEARNT | |
0.42/0.45 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.42/0.45 c ==============================================================================
0.42/0.45 c | 0 | 473595 1105055 | 142078 0 0 nan | 0.000 % |
2.92/2.98 c | 0 | 206201 803155 | -- 0 -- -- | -- | -267392/-301895
2.92/2.99 c ==============================================================================
2.92/2.99 c Result : #vars: 26986 #clauses: 206201 #literals: 803155
2.92/2.99 c CPU time: 2.9 s
2.92/2.99 c ==============================================================================
3.22/3.27 c This is MiniSat 2.0 beta
3.22/3.27 c WARNING: for repeatability, setting FPU to use double precision
3.22/3.27 c ============================[ Problem Statistics ]=============================
3.22/3.27 c | |
3.22/3.27 c | Number of variables: 26986 |
3.22/3.27 c | Number of clauses: 206201 |
3.27/3.42 c | Parsing time: 0.15 s |
3.27/3.44 c ============================[ Search Statistics ]==============================
3.27/3.44 c | Conflicts | ORIGINAL | LEARNT | Progress |
3.27/3.44 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
3.27/3.44 c ===============================================================================
3.27/3.44 c | 0 | 26986 206201 803155 | 68733 0 nan | 0.000 % |
3.27/3.46 c | 100 | 26986 206201 803155 | 68733 99 10 | 0.011 % |
3.27/3.49 c | 202 | 26984 206201 803155 | 68733 201 13 | 0.011 % |
3.27/3.51 c | 303 | 26976 206201 803155 | 68733 300 11 | 0.078 % |
3.27/3.54 c | 413 | 26976 206201 803155 | 68733 410 12 | 0.078 % |
3.27/3.60 c | 513 | 26974 206201 803155 | 68733 510 15 | 0.078 % |
3.27/3.65 c | 624 | 26974 206201 803155 | 68733 621 16 | 0.078 % |
3.27/3.72 c | 746 | 26972 206201 803155 | 68733 743 15 | 0.078 % |
3.27/3.85 c | 848 | 26966 206201 803155 | 68733 845 14 | 0.078 % |
3.27/3.85 c | 958 | 26966 206201 803155 | 68733 955 13 | 0.078 % |
3.27/3.92 c | 1080 | 26966 206201 803155 | 68733 1077 13 | 0.078 % |
3.27/3.97 c | 1213 | 26966 206201 803155 | 68733 1210 14 | 0.078 % |
3.27/4.01 c | 1315 | 26949 206201 803155 | 68733 1311 15 | 0.200 % |
3.27/4.03 c | 1428 | 26945 206201 803155 | 68733 1424 16 | 0.200 % |
3.27/4.13 c | 1549 | 26932 204958 798790 | 68733 1529 16 | 0.200 % |
3.27/4.23 c | 1683 | 26931 204958 798790 | 68733 1662 16 | 0.204 % |
3.27/4.28 c | 1830 | 26929 204958 798790 | 68733 1808 16 | 0.215 % |
3.27/4.30 c | 1930 | 26926 204958 798790 | 68733 1904 16 | 0.271 % |
4.32/4.33 c | 2040 | 26917 204958 798790 | 68733 2014 16 | 0.271 % |
4.32/4.36 c | 2161 | 26916 204958 798790 | 68733 2134 16 | 0.278 % |
4.32/4.39 c | 2294 | 26914 204958 798790 | 68733 2266 15 | 0.282 % |
4.42/4.48 c | 2440 | 26913 204958 798790 | 68733 2412 17 | 0.282 % |
4.42/4.50 c | 2600 | 26913 204958 798790 | 68733 2572 17 | 0.282 % |
4.52/4.54 c | 2702 | 26913 204958 798790 | 68733 2674 17 | 0.282 % |
4.52/4.58 c | 2812 | 26910 204958 798790 | 68733 2783 18 | 0.315 % |
4.52/4.59 c | 2933 | 26910 204958 798790 | 68733 2904 20 | 0.315 % |
4.62/4.68 c | 3067 | 26895 204416 796917 | 68733 2954 20 | 0.337 % |
4.72/4.73 c | 3213 | 26895 204416 796917 | 68733 3100 20 | 0.337 % |
4.72/4.78 c | 3374 | 26895 204416 796917 | 68733 3261 20 | 0.337 % |
4.82/4.86 c | 3550 | 26895 204416 796917 | 68733 3437 21 | 0.337 % |
4.82/4.90 c | 3650 | 26876 204416 796917 | 68733 3533 21 | 0.611 % |
4.92/4.91 c | 3760 | 26876 204416 796917 | 68733 3643 21 | 0.611 % |
4.92/4.96 c | 3881 | 26876 204416 796917 | 68733 3764 21 | 0.611 % |
4.92/4.98 c | 4015 | 26876 204416 796917 | 68733 3898 21 | 0.611 % |
5.02/5.02 c | 4163 | 26864 204416 796917 | 68733 4044 21 | 0.797 % |
5.02/5.03 c | 4324 | 26863 204416 796917 | 68733 4204 20 | 0.800 % |
5.02/5.09 c | 4501 | 26861 204416 796917 | 68733 4381 21 | 0.800 % |
5.12/5.12 c | 4694 | 26861 204416 796917 | 68733 4574 21 | 0.800 % |
5.12/5.21 c | 4794 | 26859 204416 796917 | 68733 4673 21 | 0.808 % |
5.22/5.25 c | 4904 | 26857 204416 796917 | 68733 4782 21 | 0.915 % |
5.22/5.28 c | 5025 | 26857 204416 796917 | 68733 4903 21 | 0.915 % |
5.32/5.33 c | 5158 | 26712 201116 784807 | 68733 4949 21 | 1.049 % |
5.32/5.37 c | 5304 | 26690 201116 784807 | 68733 5094 22 | 1.167 % |
5.32/5.40 c | 5465 | 26688 201116 784807 | 68733 5255 22 | 1.167 % |
5.42/5.45 c | 5642 | 26687 201116 784807 | 68733 5431 22 | 1.171 % |
5.42/5.48 c | 5835 | 26687 201116 784807 | 68733 5624 22 | 1.171 % |
5.52/5.61 c | 6048 | 26687 201116 784807 | 68733 5837 22 | 1.171 % |
5.62/5.63 c | 6149 | 26687 201116 784807 | 68733 5938 22 | 1.171 % |
5.62/5.65 c | 6260 | 26687 201116 784807 | 68733 6049 22 | 1.171 % |
5.62/5.70 c | 6381 | 26687 201116 784807 | 68733 6170 22 | 1.171 % |
5.72/5.73 c | 6515 | 26684 201116 784807 | 68733 6302 22 | 1.190 % |
5.72/5.76 c | 6661 | 26684 201116 784807 | 68733 6448 22 | 1.190 % |
5.72/5.78 c | 6823 | 26684 201116 784807 | 68733 6610 22 | 1.190 % |
5.82/5.82 c | 6999 | 26672 201116 784807 | 68733 6784 23 | 1.338 % |
5.82/5.83 c | 7195 | 26665 201116 784807 | 68733 6977 22 | 1.371 % |
5.82/5.89 c | 7408 | 26665 201116 784807 | 68733 7190 23 | 1.371 % |
5.92/5.93 c | 7642 | 26616 198970 776198 | 68733 7410 22 | 1.371 % |
5.92/5.96 c | 7742 | 26616 198970 776198 | 68733 7510 22 | 1.371 % |
6.02/6.01 c | 7852 | 26616 198970 776198 | 68733 7620 23 | 1.371 % |
6.02/6.03 c | 7973 | 26615 198970 776198 | 68733 7740 22 | 1.393 % |
6.02/6.08 c | 8106 | 26615 198970 776198 | 68733 7873 22 | 1.393 % |
6.12/6.14 c | 8252 | 26615 198970 776198 | 68733 8019 22 | 1.393 % |
6.12/6.18 c | 8414 | 26615 198970 776198 | 68733 8181 22 | 1.393 % |
6.22/6.21 c | 8593 | 26615 198970 776198 | 68733 8360 23 | 1.393 % |
6.22/6.26 c | 8786 | 26615 198970 776198 | 68733 8553 22 | 1.393 % |
6.22/6.30 c | 8999 | 26615 198970 776198 | 68733 8766 23 | 1.393 % |
6.32/6.35 c | 9233 | 26597 198970 776198 | 68733 8994 22 | 1.482 % |
6.32/6.38 c | 9491 | 26597 198970 776198 | 68733 9252 23 | 1.482 % |
6.32/6.40 c | 9591 | 26572 198970 776198 | 68733 9348 23 | 1.653 % |
6.42/6.43 c | 9702 | 26564 198970 776198 | 68733 9459 23 | 1.653 % |
6.42/6.46 c | 9823 | 26563 198970 776198 | 68733 9579 23 | 1.656 % |
6.52/6.52 c | 9956 | 26563 198970 776198 | 68733 9712 23 | 1.656 % |
6.52/6.56 c | 10102 | 26560 198970 776198 | 2147483647 9857 23 | 1.668 % |
6.52/6.61 c | 10262 | 26508 197676 771540 | 2147483647 9971 23 | 1.801 % |
6.62/6.63 c | 10438 | 26508 197676 771540 | 2147483647 10147 23 | 1.801 % |
6.62/6.68 c | 10631 | 26508 197676 771540 | 2147483647 10340 23 | 1.801 % |
6.72/6.71 c | 10843 | 26508 197676 771540 | 2147483647 10552 24 | 1.801 % |
6.82/6.83 c | 11078 | 26508 197676 771540 | 2147483647 10787 24 | 1.801 % |
6.82/6.86 c | 11337 | 26508 197676 771540 | 2147483647 11046 25 | 1.801 % |
6.92/6.97 c | 11618 | 26508 197676 771540 | 2147483647 11327 25 | 1.801 % |
6.92/6.99 c | 11718 | 26508 197676 771540 | 2147483647 11427 25 | 1.801 % |
7.02/7.04 c | 11830 | 26508 197676 771540 | 2147483647 11539 25 | 1.801 % |
7.02/7.06 c | 11951 | 26508 197676 771540 | 2147483647 11660 25 | 1.801 % |
7.02/7.07 c | 12084 | 26508 197676 771540 | 2147483647 11793 25 | 1.801 % |
7.12/7.13 c | 12230 | 26508 197676 771540 | 2147483647 11939 25 | 1.801 % |
7.12/7.19 c | 12395 | 26508 197676 771540 | 2147483647 12104 25 | 1.801 % |
7.22/7.22 c | 12572 | 26508 197676 771540 | 2147483647 12281 26 | 1.801 % |
7.22/7.25 c | 12765 | 26502 197676 771540 | 2147483647 12471 26 | 1.827 % |
7.22/7.26 c | 12977 | 26502 197676 771540 | 2147483647 12683 25 | 1.827 % |
7.42/7.42 c | 13211 | 26493 196963 769039 | 2147483647 12892 26 | 1.827 % |
7.42/7.44 c | 13468 | 26493 196963 769039 | 2147483647 13149 26 | 1.827 % |
7.42/7.51 c | 13749 | 26493 196963 769039 | 2147483647 13430 26 | 1.827 % |
7.52/7.53 c | 14058 | 26493 196963 769039 | 2147483647 13739 26 | 1.827 % |
7.52/7.57 c | 14158 | 26491 196963 769039 | 2147483647 13838 26 | 1.838 % |
7.52/7.60 c | 14269 | 26490 196963 769039 | 2147483647 13949 26 | 1.838 % |
7.62/7.64 c | 14390 | 26486 196963 769039 | 2147483647 14069 26 | 1.853 % |
7.62/7.67 c | 14523 | 26486 196963 769039 | 2147483647 14202 26 | 1.853 % |
7.62/7.70 c | 14670 | 26486 196963 769039 | 2147483647 14349 26 | 1.853 % |
7.72/7.78 c | 14831 | 26486 196963 769039 | 2147483647 14510 26 | 1.853 % |
7.72/7.79 c | 15008 | 26485 196963 769039 | 2147483647 14686 26 | 1.857 % |
7.82/7.85 c | 15201 | 26485 196963 769039 | 2147483647 14879 26 | 1.857 % |
7.82/7.89 c | 15413 | 26485 196963 769039 | 2147483647 15091 25 | 1.857 % |
7.92/7.95 c | 15651 | 26485 196963 769039 | 2147483647 15329 26 | 1.857 % |
7.92/8.00 c | 15909 | 26485 196963 769039 | 2147483647 15587 26 | 1.857 % |
8.02/8.04 c | 16193 | 26485 196963 769039 | 2147483647 15871 26 | 1.857 % |
8.02/8.08 c | 16505 | 26485 196963 769039 | 2147483647 16183 27 | 1.857 % |
8.12/8.16 c | 16844 | 26485 196850 768599 | 2147483647 16508 26 | 1.857 % |
8.12/8.19 c | 16944 | 26485 196850 768599 | 2147483647 16608 26 | 1.857 % |
8.22/8.21 c | 17054 | 26485 196850 768599 | 2147483647 16718 26 | 1.857 % |
8.22/8.24 c | 17175 | 26481 196850 768599 | 2147483647 16835 26 | 1.871 % |
8.22/8.26 c | 17310 | 26481 196850 768599 | 2147483647 16970 26 | 1.871 % |
8.22/8.29 c | 17460 | 26428 196850 768599 | 2147483647 17117 26 | 2.353 % |
8.32/8.31 c | 17620 | 26428 196850 768599 | 2147483647 17277 26 | 2.353 % |
8.32/8.36 c | 17796 | 26428 196850 768599 | 2147483647 17453 27 | 2.353 % |
8.32/8.40 c | 17990 | 26428 196850 768599 | 2147483647 17647 27 | 2.353 % |
8.42/8.45 c | 18202 | 26428 196850 768599 | 2147483647 17859 27 | 2.353 % |
8.42/8.49 c | 18435 | 26428 196850 768599 | 2147483647 18092 27 | 2.353 % |
8.52/8.52 c | 18692 | 26428 196850 768599 | 2147483647 18349 27 | 2.353 % |
8.62/8.69 c | 18975 | 26428 196850 768599 | 2147483647 18632 27 | 2.353 % |
8.72/8.77 c | 19284 | 26427 196850 768599 | 2147483647 18940 27 | 2.360 % |
8.82/8.82 c | 19623 | 26427 196850 768599 | 2147483647 19279 27 | 2.360 % |
8.82/8.87 c | 20000 | 26427 196850 768599 | 2147483647 19656 27 | 2.360 % |
8.82/8.89 c | 20100 | 26427 196850 768599 | 2147483647 19756 27 | 2.360 % |
8.82/8.90 c | 20211 | 26427 196850 768599 | 2147483647 19867 27 | 2.360 % |
8.92/8.96 c | 20333 | 26426 196850 768599 | 2147483647 19989 27 | 2.360 % |
9.02/9.01 c | 20466 | 26349 194614 760072 | 2147483647 20109 28 | 2.360 % |
9.02/9.07 c | 20613 | 26349 194614 760072 | 2147483647 20256 28 | 2.360 % |
9.12/9.12 c | 20774 | 26349 194614 760072 | 2147483647 20417 28 | 2.360 % |
9.12/9.15 c | 20952 | 26349 194614 760072 | 2147483647 20595 28 | 2.360 % |
9.22/9.21 c | 21146 | 26349 194614 760072 | 2147483647 20789 28 | 2.360 % |
9.22/9.24 c | 21359 | 26349 194614 760072 | 2147483647 21002 28 | 2.360 % |
9.22/9.29 c | 21597 | 26349 194614 760072 | 2147483647 21240 28 | 2.360 % |
9.32/9.37 c | 21857 | 26349 194614 760072 | 2147483647 21500 28 | 2.360 % |
9.42/9.44 c | 22138 | 26349 194614 760072 | 2147483647 21781 28 | 2.360 % |
9.42/9.45 c | 22447 | 26349 194614 760072 | 2147483647 22090 28 | 2.360 % |
9.52/9.55 c | 22787 | 26349 194614 760072 | 2147483647 22430 28 | 2.360 % |
9.52/9.61 c | 23159 | 26346 194614 760072 | 2147483647 22801 28 | 2.372 % |
9.62/9.66 c | 23568 | 26346 194614 760072 | 2147483647 23210 28 | 2.372 % |
9.72/9.71 c | 23668 | 26340 194614 760072 | 2147483647 23307 28 | 2.394 % |
9.72/9.79 c | 23779 | 26340 194614 760072 | 2147483647 23418 28 | 2.394 % |
9.82/9.81 c | 23902 | 26340 194614 760072 | 2147483647 23541 28 | 2.394 % |
9.82/9.83 c | 24035 | 26340 194614 760072 | 2147483647 23674 28 | 2.394 % |
9.82/9.86 c | 24181 | 26340 194614 760072 | 2147483647 23820 28 | 2.394 % |
9.82/9.89 c | 24343 | 26340 194614 760072 | 2147483647 23982 28 | 2.394 % |
9.92/9.97 c | 24519 | 26340 194614 760072 | 2147483647 24158 28 | 2.394 % |
10.02/10.05 c | 24712 | 26340 194614 760072 | 2147483647 24351 28 | 2.394 % |
10.12/10.11 c | 24925 | 26340 194458 759534 | 2147483647 24465 28 | 2.394 % |
10.12/10.17 c | 25159 | 26338 194458 759534 | 2147483647 24698 28 | 2.405 % |
10.12/10.21 c | 25415 | 26335 194458 759534 | 2147483647 24953 29 | 2.416 % |
10.22/10.25 c | 25696 | 26335 194458 759534 | 2147483647 25234 29 | 2.416 % |
10.22/10.30 c | 26007 | 26335 194458 759534 | 2147483647 25545 29 | 2.416 % |
10.42/10.48 c | 26346 | 26335 194458 759534 | 2147483647 25884 29 | 2.416 % |
10.52/10.56 c | 26720 | 26335 194458 759534 | 2147483647 26258 29 | 2.416 % |
10.52/10.61 c | 27130 | 26335 194458 759534 | 2147483647 26668 29 | 2.416 % |
10.62/10.69 c | 27591 | 26335 194458 759534 | 2147483647 27129 30 | 2.416 % |
10.72/10.74 c | 27691 | 26335 194458 759534 | 2147483647 27229 30 | 2.416 % |
10.72/10.77 c | 27802 | 26335 194458 759534 | 2147483647 27340 30 | 2.416 % |
10.72/10.78 c | 27923 | 26335 194458 759534 | 2147483647 27461 30 | 2.416 % |
10.82/10.84 c | 28056 | 26335 194458 759534 | 2147483647 27594 30 | 2.416 % |
10.82/10.89 c | 28202 | 26333 194458 759534 | 2147483647 27739 30 | 2.427 % |
10.82/10.89 c | 28362 | 26333 194458 759534 | 2147483647 27899 30 | 2.427 % |
10.92/10.93 c | 28541 | 26333 194458 759534 | 2147483647 28078 30 | 2.427 % |
10.92/10.97 c | 28735 | 26333 194458 759534 | 2147483647 28272 30 | 2.427 % |
10.92/11.01 c | 28949 | 26333 194458 759534 | 2147483647 28486 30 | 2.427 % |
11.02/11.05 c | 29186 | 26333 194458 759534 | 2147483647 28723 30 | 2.427 % |
11.02/11.10 c | 29442 | 26333 194458 759534 | 2147483647 28979 30 | 2.427 % |
11.12/11.13 c | 29723 | 26333 194458 759534 | 2147483647 29260 30 | 2.427 % |
11.12/11.21 c | 30032 | 26333 194458 759534 | 2147483647 29569 30 | 2.427 % |
11.22/11.29 c | 30372 | 26328 194458 759534 | 2147483647 29907 30 | 2.446 % |
11.32/11.35 c | 30744 | 26326 194169 758509 | 2147483647 30268 30 | 2.446 % |
11.42/11.41 c | 31158 | 26326 194169 758509 | 2147483647 30682 31 | 2.446 % |
11.42/11.48 c | 31607 | 26326 194169 758509 | 2147483647 31131 31 | 2.446 % |
11.52/11.56 c | 32101 | 26326 194169 758509 | 2147483647 31625 31 | 2.446 % |
11.52/11.57 c | 32201 | 26326 194169 758509 | 2147483647 31725 31 | 2.446 % |
11.52/11.60 c | 32311 | 26326 194169 758509 | 2147483647 31835 31 | 2.446 % |
11.62/11.63 c | 32432 | 26326 194169 758509 | 2147483647 31956 31 | 2.446 % |
11.62/11.67 c | 32566 | 26326 194169 758509 | 2147483647 32090 31 | 2.446 % |
11.62/11.71 c | 32712 | 26326 194169 758509 | 2147483647 32236 31 | 2.446 % |
11.72/11.74 c | 32872 | 26326 194169 758509 | 2147483647 32396 31 | 2.446 % |
11.72/11.77 c | 33049 | 26326 194169 758509 | 2147483647 32573 31 | 2.446 % |
11.82/11.87 c | 33242 | 26326 194169 758509 | 2147483647 32766 32 | 2.446 % |
11.92/11.93 c | 33457 | 26326 194169 758509 | 2147483647 32981 31 | 2.446 % |
11.92/11.96 c | 33692 | 26326 194169 758509 | 2147483647 33216 31 | 2.446 % |
12.02/12.01 c | 33949 | 26326 194169 758509 | 2147483647 33473 32 | 2.446 % |
12.02/12.08 c | 34231 | 26326 194169 758509 | 2147483647 33755 32 | 2.446 % |
12.22/12.23 c | 34540 | 26324 194169 758509 | 2147483647 34063 32 | 2.457 % |
12.22/12.30 c | 34881 | 26317 194169 758509 | 2147483647 34402 32 | 2.483 % |
12.32/12.35 c | 35253 | 26315 194169 758509 | 2147483647 34773 32 | 2.501 % |
12.42/12.42 c | 35663 | 26314 194169 758509 | 2147483647 35183 32 | 2.501 % |
12.52/12.52 c | 36114 | 26313 194169 758509 | 2147483647 35634 32 | 2.501 % |
12.62/12.62 c | 36607 | 26309 194169 758509 | 2147483647 36123 32 | 2.542 % |
12.72/12.71 c | 37153 | 26309 194169 758509 | 2147483647 36669 32 | 2.542 % |
12.72/12.74 c | 37254 | 26309 194169 758509 | 2147483647 36770 32 | 2.542 % |
12.72/12.78 c | 37366 | 26309 194169 758509 | 2147483647 36882 32 | 2.542 % |
12.82/12.84 c | 37487 | 26300 193855 757334 | 2147483647 36972 32 | 2.542 % |
12.82/12.90 c | 37623 | 26300 193855 757334 | 2147483647 37108 32 | 2.542 % |
12.92/12.92 c | 37769 | 26300 193855 757334 | 2147483647 37254 32 | 2.542 % |
12.92/12.94 c | 37929 | 26300 193855 757334 | 2147483647 37414 32 | 2.542 % |
12.92/12.97 c | 38106 | 26300 193855 757334 | 2147483647 37591 32 | 2.542 % |
13.02/13.01 c | 38300 | 26300 193855 757334 | 2147483647 37785 32 | 2.542 % |
13.02/13.05 c | 38513 | 26300 193855 757334 | 2147483647 37998 32 | 2.542 % |
13.02/13.10 c | 38748 | 26300 193855 757334 | 2147483647 38233 33 | 2.542 % |
13.12/13.16 c | 39004 | 26300 193855 757334 | 2147483647 38489 33 | 2.542 % |
13.12/13.20 c | 39285 | 26300 193855 757334 | 2147483647 38770 33 | 2.542 % |
13.22/13.26 c | 39596 | 26300 193855 757334 | 2147483647 39081 33 | 2.542 % |
13.32/13.31 c | 39937 | 26300 193855 757334 | 2147483647 39422 33 | 2.542 % |
13.32/13.40 c | 40309 | 26300 193855 757334 | 2147483647 39794 33 | 2.542 % |
13.42/13.46 c | 40722 | 26300 193855 757334 | 2147483647 40207 33 | 2.542 % |
13.52/13.54 c | 41176 | 26300 193855 757334 | 2147483647 40661 34 | 2.542 % |
13.62/13.62 c | 41670 | 26298 193855 757334 | 2147483647 41154 34 | 2.701 % |
13.62/13.70 c | 42216 | 26298 193855 757334 | 2147483647 41700 34 | 2.701 % |
13.72/13.79 c | 42813 | 26298 193855 757334 | 2147483647 42297 34 | 2.701 % |
13.82/13.81 c | 42914 | 26298 193855 757334 | 2147483647 42398 34 | 2.701 % |
13.82/13.84 c | 43024 | 26298 193855 757334 | 2147483647 42508 34 | 2.701 % |
13.82/13.87 c | 43148 | 26298 193855 757334 | 2147483647 42632 34 | 2.701 % |
13.82/13.90 c | 43283 | 26297 193855 757334 | 2147483647 42766 34 | 2.713 % |
13.92/13.93 c | 43430 | 26296 193855 757334 | 2147483647 42912 34 | 2.716 % |
13.92/13.97 c | 43590 | 26296 193855 757334 | 2147483647 43072 34 | 2.716 % |
14.02/14.01 c | 43770 | 26296 193855 757334 | 2147483647 43252 34 | 2.716 % |
14.02/14.04 c | 43963 | 26296 193855 757334 | 2147483647 43445 34 | 2.716 % |
14.02/14.09 c | 44175 | 26296 193855 757334 | 2147483647 43657 34 | 2.716 % |
14.12/14.14 c | 44411 | 26296 193855 757334 | 2147483647 43893 34 | 2.716 % |
14.12/14.20 c | 44669 | 26285 193855 757334 | 2147483647 44149 34 | 2.887 % |
14.22/14.25 c | 44950 | 26285 193855 757334 | 2147483647 44430 35 | 2.887 % |
14.32/14.31 c | 45259 | 26280 193855 757334 | 2147483647 44739 34 | 2.887 % |
14.32/14.38 c | 45609 | 26280 193855 757334 | 2147483647 45089 35 | 2.887 % |
14.52/14.58 c | 45982 | 26280 193855 757334 | 2147483647 45462 34 | 2.887 % |
14.62/14.66 c | 46391 | 26280 193855 757334 | 2147483647 45871 35 | 2.887 % |
14.72/14.75 c | 46843 | 26207 192257 751391 | 2147483647 46269 35 | 2.887 % |
14.82/14.85 c | 47337 | 26207 192257 751391 | 2147483647 46763 35 | 2.887 % |
14.82/14.91 c | 47880 | 26207 192257 751391 | 2147483647 47306 35 | 2.887 % |
14.92/14.99 c | 48477 | 26207 192257 751391 | 2147483647 47903 35 | 2.887 % |
15.02/15.10 c | 49136 | 26207 192257 751391 | 2147483647 48562 35 | 2.887 % |
15.12/15.14 c | 49237 | 26207 192257 751391 | 2147483647 48663 35 | 2.887 % |
15.12/15.20 c | 49347 | 26207 192257 751391 | 2147483647 48773 35 | 2.887 % |
15.22/15.24 c | 49469 | 26207 192257 751391 | 2147483647 48895 35 | 2.887 % |
15.32/15.34 c | 49603 | 26207 192257 751391 | 2147483647 49029 35 | 2.887 % |
15.32/15.38 c | 49751 | 26207 192257 751391 | 2147483647 49177 35 | 2.887 % |
15.42/15.42 c | 49911 | 26207 192257 751391 | 2147483647 49337 35 | 2.887 % |
15.42/15.46 c | 50088 | 26205 192257 751391 | 2147483647 49513 35 | 2.894 % |
15.52/15.51 c | 50283 | 26205 192257 751391 | 2147483647 49708 35 | 2.894 % |
15.52/15.56 c | 50496 | 26205 192257 751391 | 2147483647 49921 35 | 2.894 % |
15.62/15.67 c | 50729 | 26205 192257 751391 | 2147483647 50154 35 | 2.894 % |
15.72/15.72 c | 50985 | 26205 192257 751391 | 2147483647 50410 35 | 2.894 % |
15.72/15.79 c | 51270 | 26205 192257 751391 | 2147483647 50695 35 | 2.894 % |
15.82/15.88 c | 51588 | 26202 192257 751391 | 2147483647 51012 35 | 2.913 % |
15.92/15.95 c | 51928 | 26201 192257 751391 | 2147483647 51351 35 | 2.916 % |
15.92/16.00 c | 52300 | 26201 192257 751391 | 2147483647 51723 35 | 2.916 % |
16.02/16.08 c | 52713 | 26201 192257 751391 | 2147483647 52136 35 | 2.916 % |
16.12/16.17 c | 53163 | 26201 192257 751391 | 2147483647 52586 35 | 2.916 % |
16.22/16.24 c | 53657 | 26201 192257 751391 | 2147483647 53080 36 | 2.916 % |
16.42/16.51 c | 54199 | 26201 192257 751391 | 2147483647 53622 36 | 2.916 % |
16.52/16.56 c | 54796 | 26201 192257 751391 | 2147483647 54219 35 | 2.916 % |
16.62/16.68 c | 55451 | 26201 192257 751391 | 2147483647 54874 36 | 2.916 % |
16.72/16.80 c | 56171 | 26201 192257 751391 | 2147483647 55594 36 | 2.916 % |
16.82/16.84 c | 56274 | 26201 192257 751391 | 2147483647 55697 36 | 2.916 % |
16.82/16.87 c | 56384 | 26201 192257 751391 | 2147483647 55807 36 | 2.916 % |
16.92/16.93 c | 56506 | 26201 192257 751391 | 2147483647 55929 36 | 2.916 % |
16.92/16.96 c | 56640 | 26201 192257 751391 | 2147483647 56063 36 | 2.916 % |
16.92/16.99 c | 56786 | 26201 192257 751391 | 2147483647 56209 36 | 2.916 % |
17.02/17.05 c | 56948 | 26199 192146 750948 | 2147483647 56361 36 | 2.916 % |
17.12/17.14 c | 57127 | 26197 192146 750948 | 2147483647 56539 36 | 2.927 % |
17.12/17.18 c | 57322 | 26197 192146 750948 | 2147483647 56734 36 | 2.927 % |
17.22/17.25 c | 57536 | 26197 192146 750948 | 2147483647 56948 36 | 2.927 % |
17.22/17.31 c | 57769 | 26197 192146 750948 | 2147483647 57181 36 | 2.927 % |
17.32/17.36 c | 58033 | 26197 192146 750948 | 2147483647 57445 36 | 2.927 % |
17.42/17.45 c | 58314 | 26197 192146 750948 | 2147483647 57726 36 | 2.927 % |
17.42/17.50 c | 58623 | 26197 192146 750948 | 2147483647 58035 36 | 2.927 % |
17.52/17.56 c | 58964 | 26197 192146 750948 | 2147483647 58376 36 | 2.927 % |
17.62/17.64 c | 59338 | 26197 192146 750948 | 2147483647 58750 36 | 2.927 % |
17.62/17.70 c | 59747 | 26197 192146 750948 | 2147483647 59159 36 | 2.927 % |
17.72/17.80 c | 60196 | 26197 192146 750948 | 2147483647 59608 36 | 2.927 % |
17.92/17.92 c | 60689 | 26197 192146 750948 | 2147483647 60101 36 | 2.927 % |
17.92/18.01 c | 61231 | 26197 192146 750948 | 2147483647 60643 37 | 2.927 % |
18.12/18.11 c | 61827 | 26197 192146 750948 | 2147483647 61239 37 | 2.927 % |
18.12/18.20 c | 62482 | 26197 192146 750948 | 2147483647 61894 37 | 2.927 % |
18.32/18.36 c | 63202 | 26197 192146 750948 | 2147483647 62614 37 | 2.927 % |
18.42/18.48 c | 63994 | 26197 192146 750948 | 2147483647 63406 37 | 2.927 % |
18.52/18.55 c | 64097 | 26197 192146 750948 | 2147483647 63509 37 | 2.927 % |
18.62/18.65 c | 64207 | 26197 192146 750948 | 2147483647 63619 37 | 2.927 % |
18.72/18.72 c | 64329 | 26197 192146 750948 | 2147483647 63741 37 | 2.927 % |
18.72/18.76 c | 64462 | 26197 192146 750948 | 2147483647 63874 37 | 2.927 % |
18.82/18.82 c | 64609 | 26194 192146 750948 | 2147483647 64020 37 | 2.953 % |
18.82/18.86 c | 64769 | 26194 192146 750948 | 2147483647 64180 37 | 2.953 % |
18.92/18.91 c | 64945 | 26194 192146 750948 | 2147483647 64356 37 | 2.953 % |
18.92/18.95 c | 65140 | 26194 192146 750948 | 2147483647 64551 37 | 2.953 % |
18.92/19.01 c | 65353 | 26194 192146 750948 | 2147483647 64764 37 | 2.953 % |
19.02/19.06 c | 65586 | 26192 192146 750948 | 2147483647 64996 37 | 3.065 % |
19.12/19.12 c | 65842 | 26192 192146 750948 | 2147483647 65252 37 | 3.065 % |
19.12/19.19 c | 66124 | 26192 192146 750948 | 2147483647 65534 37 | 3.065 % |
19.22/19.26 c | 66436 | 26192 192146 750948 | 2147483647 65846 37 | 3.065 % |
19.32/19.34 c | 66775 | 26192 192146 750948 | 2147483647 66185 37 | 3.065 % |
19.42/19.45 c | 67147 | 26192 192146 750948 | 2147483647 66557 37 | 3.065 % |
19.42/19.50 c | 67559 | 26192 192146 750948 | 2147483647 66969 37 | 3.065 % |
19.62/19.61 c | 68012 | 26192 192146 750948 | 2147483647 67422 37 | 3.065 % |
19.62/19.69 c | 68505 | 26177 192146 750948 | 2147483647 67914 37 | 3.176 % |
19.82/19.84 c | 69048 | 26156 192146 750948 | 2147483647 68456 37 | 3.179 % |
19.92/19.99 c | 69644 | 26154 192146 750948 | 2147483647 69050 38 | 3.216 % |
20.12/20.17 c | 70304 | 26154 192146 750948 | 2147483647 69710 38 | 3.216 % |
20.22/20.30 c | 71024 | 26154 192146 750948 | 2147483647 70430 38 | 3.216 % |
20.62/20.66 c | 71816 | 26116 190857 746409 | 2147483647 71079 38 | 3.224 % |
20.82/20.87 c | 72687 | 26116 190857 746409 | 2147483647 71950 38 | 3.224 % |
20.92/20.91 c | 72787 | 26116 190857 746409 | 2147483647 72050 38 | 3.224 % |
20.92/20.94 c | 72897 | 26116 190857 746409 | 2147483647 72160 38 | 3.224 % |
20.92/21.00 c | 73018 | 26116 190857 746409 | 2147483647 72281 38 | 3.224 % |
21.02/21.07 c | 73151 | 26116 190857 746409 | 2147483647 72414 38 | 3.224 % |
21.12/21.13 c | 73300 | 26116 190857 746409 | 2147483647 72563 38 | 3.224 % |
21.12/21.18 c | 73462 | 26116 190857 746409 | 2147483647 72725 38 | 3.224 % |
21.22/21.21 c | 73638 | 26116 190857 746409 | 2147483647 72901 38 | 3.224 % |
21.22/21.26 c | 73835 | 26116 190857 746409 | 2147483647 73098 38 | 3.224 % |
21.22/21.30 c | 74047 | 26116 190857 746409 | 2147483647 73310 38 | 3.224 % |
21.42/21.44 c | 74280 | 26116 190857 746409 | 2147483647 73543 38 | 3.224 % |
21.42/21.49 c | 74536 | 26116 190857 746409 | 2147483647 73799 38 | 3.224 % |
21.52/21.55 c | 74819 | 26097 190857 746409 | 2147483647 74081 38 | 3.409 % |
21.62/21.64 c | 75130 | 26085 190857 746409 | 2147483647 74391 38 | 3.457 % |
21.62/21.70 c | 75469 | 26085 190857 746409 | 2147483647 74730 38 | 3.457 % |
21.72/21.80 c | 75847 | 26084 190857 746409 | 2147483647 75107 38 | 3.461 % |
21.82/21.87 c | 76256 | 26084 190857 746409 | 2147483647 75516 38 | 3.461 % |
21.92/21.98 c | 76706 | 26084 190857 746409 | 2147483647 75966 38 | 3.461 % |
22.02/22.06 c | 77199 | 26084 190857 746409 | 2147483647 76459 38 | 3.461 % |
22.12/22.15 c | 77741 | 26080 190857 746409 | 2147483647 76999 38 | 3.476 % |
22.22/22.27 c | 78337 | 26080 190857 746409 | 2147483647 77595 38 | 3.476 % |
22.32/22.40 c | 78995 | 26080 190857 746409 | 2147483647 78253 39 | 3.476 % |
22.52/22.54 c | 79715 | 26080 190857 746409 | 2147483647 78973 39 | 3.476 % |
22.62/22.69 c | 80507 | 26080 190857 746409 | 2147483647 79765 39 | 3.476 % |
22.82/22.86 c | 81378 | 26080 190857 746409 | 2147483647 80636 39 | 3.476 % |
23.02/23.06 c | 82336 | 26080 190857 746409 | 2147483647 81594 39 | 3.476 % |
23.02/23.09 c | 82436 | 26080 190857 746409 | 2147483647 81694 39 | 3.476 % |
23.12/23.15 c | 82548 | 26080 190857 746409 | 2147483647 81806 39 | 3.476 % |
23.12/23.19 c | 82669 | 26080 190857 746409 | 2147483647 81927 39 | 3.476 % |
23.22/23.22 c | 82803 | 26080 190857 746409 | 2147483647 82061 39 | 3.476 % |
23.22/23.26 c | 82950 | 26080 190857 746409 | 2147483647 82208 39 | 3.476 % |
23.32/23.33 c | 83111 | 26080 190857 746409 | 2147483647 82369 39 | 3.476 % |
23.32/23.38 c | 83290 | 26080 190857 746409 | 2147483647 82548 39 | 3.476 % |
23.42/23.44 c | 83483 | 26080 190857 746409 | 2147483647 82741 39 | 3.476 % |
23.42/23.50 c | 83696 | 26080 190857 746409 | 2147483647 82954 39 | 3.476 % |
23.52/23.59 c | 83930 | 26080 190857 746409 | 2147483647 83188 39 | 3.476 % |
23.62/23.66 c | 84186 | 26080 190857 746409 | 2147483647 83444 39 | 3.476 % |
23.72/23.75 c | 84467 | 26080 190857 746409 | 2147483647 83725 39 | 3.476 % |
23.82/23.81 c | 84776 | 26080 190857 746409 | 2147483647 84034 39 | 3.476 % |
23.92/23.95 c | 85115 | 26079 190857 746409 | 2147483647 84372 39 | 3.480 % |
24.02/24.09 c | 85487 | 26079 190857 746409 | 2147483647 84744 39 | 3.480 % |
24.12/24.19 c | 85896 | 26079 190857 746409 | 2147483647 85153 39 | 3.480 % |
24.22/24.29 c | 86357 | 26079 190857 746409 | 2147483647 85614 39 | 3.480 % |
24.32/24.40 c | 86850 | 26079 190857 746409 | 2147483647 86107 39 | 3.480 % |
24.62/24.69 c | 87393 | 26079 190857 746409 | 2147483647 86650 39 | 3.480 % |
24.82/24.81 c | 87989 | 26079 190857 746409 | 2147483647 87246 39 | 3.480 % |
24.92/24.98 c | 88646 | 26079 190857 746409 | 2147483647 87903 39 | 3.480 % |
25.42/25.46 c | 89367 | 26079 190857 746409 | 2147483647 88624 39 | 3.480 % |
25.62/25.65 c | 90159 | 26047 189666 742112 | 2147483647 88892 39 | 3.480 % |
25.82/25.81 c | 91030 | 26047 189666 742112 | 2147483647 89763 39 | 3.480 % |
26.12/26.11 c | 91988 | 26047 189666 742112 | 2147483647 90721 39 | 3.480 % |
26.42/26.45 c | 93041 | 26047 189666 742112 | 2147483647 91774 39 | 3.480 % |
26.42/26.49 c | 93146 | 26047 189666 742112 | 2147483647 91879 39 | 3.480 % |
26.52/26.53 c | 93256 | 26047 189666 742112 | 2147483647 91989 39 | 3.480 % |
26.52/26.58 c | 93377 | 26047 189666 742112 | 2147483647 92110 39 | 3.480 % |
26.62/26.62 c | 93511 | 26047 189666 742112 | 2147483647 92244 39 | 3.480 % |
26.62/26.70 c | 93658 | 26038 189666 742112 | 2147483647 92390 39 | 3.754 % |
26.72/26.75 c | 93819 | 26036 189666 742112 | 2147483647 92551 39 | 3.754 % |
26.82/26.83 c | 93995 | 26036 189666 742112 | 2147483647 92727 39 | 3.754 % |
26.92/26.92 c | 94191 | 26036 189666 742112 | 2147483647 92923 39 | 3.754 % |
26.92/26.97 c | 94405 | 26036 189666 742112 | 2147483647 93137 39 | 3.754 % |
27.02/27.06 c | 94638 | 26036 189666 742112 | 2147483647 93370 39 | 3.754 % |
27.12/27.13 c | 94896 | 26036 189666 742112 | 2147483647 93628 39 | 3.754 % |
27.12/27.19 c | 95178 | 26036 189666 742112 | 2147483647 93910 39 | 3.754 % |
27.22/27.25 c | 95487 | 26036 189666 742112 | 2147483647 94219 39 | 3.754 % |
27.32/27.34 c | 95827 | 26036 189666 742112 | 2147483647 94559 39 | 3.754 % |
27.42/27.45 c | 96199 | 26036 189666 742112 | 2147483647 94931 39 | 3.754 % |
27.52/27.53 c | 96609 | 26036 189666 742112 | 2147483647 95341 39 | 3.754 % |
27.62/27.63 c | 97059 | 26036 189666 742112 | 2147483647 95791 39 | 3.754 % |
27.72/27.80 c | 97552 | 26036 189666 742112 | 2147483647 96284 39 | 3.754 % |
27.92/27.95 c | 98096 | 26033 189666 742112 | 2147483647 96827 39 | 3.765 % |
28.12/28.19 c | 98693 | 26033 189666 742112 | 2147483647 97424 40 | 3.765 % |
28.32/28.33 c | 99348 | 26033 189666 742112 | 2147483647 98079 40 | 3.765 % |
28.52/28.56 c | 100072 | 26033 189666 742112 | 2147483647 98803 40 | 3.765 % |
28.72/28.76 c | 100875 | 26032 189666 742112 | 2147483647 99605 40 | 3.769 % |
29.02/29.09 c | 101746 | 26011 189666 742112 | 2147483647 100474 40 | 3.943 % |
29.32/29.32 c | 102704 | 26005 189666 742112 | 2147483647 101432 40 | 3.943 % |
29.52/29.52 c | 103757 | 26005 189666 742112 | 2147483647 102485 40 | 3.943 % |
29.92/29.92 c | 104917 | 26005 189666 742112 | 2147483647 103645 40 | 3.943 % |
29.92/29.96 c | 105017 | 26005 189666 742112 | 2147483647 103745 40 | 3.943 % |
30.02/30.01 c | 105127 | 25998 189666 742112 | 2147483647 103854 40 | 4.002 % |
30.02/30.06 c | 105249 | 25998 189666 742112 | 2147483647 103976 40 | 4.002 % |
30.02/30.09 c | 105382 | 25998 189666 742112 | 2147483647 104109 40 | 4.002 % |
30.12/30.13 c | 105533 | 25998 189666 742112 | 2147483647 104260 40 | 4.002 % |
30.22/30.21 c | 105696 | 25998 189666 742112 | 2147483647 104423 40 | 4.002 % |
30.22/30.27 c | 105872 | 25995 189666 742112 | 2147483647 104598 40 | 4.013 % |
30.32/30.35 c | 106066 | 25995 189666 742112 | 2147483647 104792 40 | 4.013 % |
30.42/30.42 c | 106279 | 25995 189666 742112 | 2147483647 105005 39 | 4.013 % |
30.42/30.49 c | 106512 | 25995 189666 742112 | 2147483647 105238 39 | 4.013 % |
30.52/30.60 c | 106769 | 25995 189666 742112 | 2147483647 105495 39 | 4.013 % |
30.62/30.66 c | 107054 | 25995 189666 742112 | 2147483647 105780 39 | 4.013 % |
30.72/30.78 c | 107367 | 25995 189666 742112 | 2147483647 106093 39 | 4.013 % |
30.92/30.98 c | 107706 | 25995 189666 742112 | 2147483647 106432 39 | 4.013 % |
31.02/31.08 c | 108079 | 25995 189666 742112 | 2147483647 106805 39 | 4.013 % |
31.12/31.21 c | 108494 | 25995 189666 742112 | 2147483647 107220 39 | 4.013 % |
31.32/31.36 c | 108943 | 25995 189666 742112 | 2147483647 107669 39 | 4.013 % |
31.42/31.47 c | 109436 | 25994 189666 742112 | 2147483647 108161 39 | 4.017 % |
31.52/31.59 c | 109978 | 25994 189666 742112 | 2147483647 108703 39 | 4.017 % |
31.72/31.72 c | 110574 | 25994 189666 742112 | 2147483647 109299 39 | 4.017 % |
31.92/31.92 c | 111229 | 25994 189666 742112 | 2147483647 109954 40 | 4.017 % |
32.02/32.08 c | 111950 | 25980 189666 742112 | 2147483647 110671 39 | 4.117 % |
32.22/32.25 c | 112747 | 25980 189666 742112 | 2147483647 111468 40 | 4.117 % |
32.42/32.44 c | 113619 | 25980 189666 742112 | 2147483647 112340 40 | 4.117 % |
32.62/32.67 c | 114580 | 25978 189666 742112 | 2147483647 113299 40 | 4.124 % |
32.82/32.89 c | 115639 | 25978 189666 742112 | 2147483647 114358 39 | 4.124 % |
33.12/33.17 c | 116799 | 25978 189666 742112 | 2147483647 115518 40 | 4.124 % |
33.52/33.53 c | 118072 | 25977 189666 742112 | 2147483647 116790 40 | 4.128 % |
33.52/33.57 c | 118173 | 25977 189666 742112 | 2147483647 116891 39 | 4.128 % |
33.62/33.67 c | 118285 | 25977 189666 742112 | 2147483647 117003 39 | 4.128 % |
33.72/33.71 c | 118407 | 25977 189666 742112 | 2147483647 117125 39 | 4.128 % |
33.72/33.80 c | 118549 | 25977 189666 742112 | 2147483647 117267 39 | 4.128 % |
33.82/33.89 c | 118695 | 25960 189666 742112 | 2147483647 117411 39 | 4.343 % |
34.02/34.06 c | 118855 | 25814 186058 728191 | 2147483647 114173 40 | 4.343 % |
34.12/34.12 c | 119033 | 25814 186058 728191 | 2147483647 114351 40 | 4.343 % |
34.22/34.24 c | 119227 | 25814 186058 728191 | 2147483647 114545 40 | 4.343 % |
34.22/34.31 c | 119439 | 25814 186058 728191 | 2147483647 114757 40 | 4.343 % |
34.32/34.38 c | 119672 | 25814 186058 728191 | 2147483647 114990 40 | 4.343 % |
34.42/34.47 c | 119931 | 25814 186058 728191 | 2147483647 115249 40 | 4.343 % |
34.52/34.58 c | 120212 | 25814 186058 728191 | 2147483647 115530 40 | 4.343 % |
34.62/34.67 c | 120521 | 25814 186058 728191 | 2147483647 115839 40 | 4.343 % |
34.72/34.78 c | 120866 | 25814 186058 728191 | 2147483647 116184 40 | 4.343 % |
34.92/34.96 c | 121238 | 25814 186058 728191 | 2147483647 116556 40 | 4.343 % |
35.02/35.06 c | 121652 | 25814 186058 728191 | 2147483647 116970 40 | 4.343 % |
35.22/35.21 c | 122101 | 25814 186058 728191 | 2147483647 117419 40 | 4.343 % |
35.32/35.33 c | 122608 | 25814 186058 728191 | 2147483647 117926 40 | 4.343 % |
35.62/35.65 c | 123150 | 25814 186058 728191 | 2147483647 118468 40 | 4.343 % |
35.82/35.82 c | 123746 | 25814 186058 728191 | 2147483647 119064 40 | 4.343 % |
36.12/36.15 c | 124401 | 25814 186058 728191 | 2147483647 119719 40 | 4.343 % |
36.32/36.32 c | 125124 | 25814 186058 728191 | 2147483647 120442 40 | 4.343 % |
36.62/36.66 c | 125917 | 25814 186058 728191 | 2147483647 121235 40 | 4.343 % |
36.82/36.87 c | 126794 | 25814 186058 728191 | 2147483647 122112 40 | 4.343 % |
37.32/37.31 c | 127752 | 25814 186058 728191 | 2147483647 123070 40 | 4.343 % |
37.52/37.58 c | 128806 | 25814 186058 728191 | 2147483647 124124 40 | 4.343 % |
38.02/38.03 c | 129964 | 25814 186058 728191 | 2147483647 125282 40 | 4.343 % |
38.42/38.47 c | 131237 | 25814 186058 728191 | 125319 126555 40 | 4.343 % |
39.22/39.21 c | 132637 | 25814 186058 728191 | 125319 113829 41 | 4.343 % |
39.22/39.26 c | 132739 | 25814 186058 728191 | 125319 113931 41 | 4.343 % |
39.32/39.32 c | 132850 | 25814 186058 728191 | 125319 114042 41 | 4.343 % |
39.32/39.40 c | 132971 | 25814 186058 728191 | 125319 114163 41 | 4.343 % |
39.42/39.44 c | 133104 | 25814 186058 728191 | 125319 114296 41 | 4.343 % |
39.52/39.56 c | 133251 | 25814 186058 728191 | 125319 114443 41 | 4.343 % |
39.52/39.61 c | 133414 | 25814 186058 728191 | 125319 114606 41 | 4.343 % |
39.63/39.70 c | 133591 | 25814 186058 728191 | 125319 114783 41 | 4.343 % |
39.82/39.81 c | 133784 | 25814 186058 728191 | 125319 114976 41 | 4.343 % |
39.82/39.89 c | 133996 | 25814 186058 728191 | 125319 115188 41 | 4.343 % |
39.92/39.96 c | 134229 | 25814 186058 728191 | 125319 115421 41 | 4.343 % |
40.02/40.08 c | 134485 | 25810 186058 728191 | 125319 115676 41 | 4.365 % |
40.12/40.18 c | 134766 | 25810 186058 728191 | 125319 115957 41 | 4.365 % |
40.32/40.37 c | 135076 | 25810 186058 728191 | 125319 116267 41 | 4.365 % |
40.52/40.55 c | 135418 | 25810 186058 728191 | 125319 116609 41 | 4.365 % |
40.62/40.67 c | 135801 | 25810 186058 728191 | 125319 116992 41 | 4.365 % |
40.82/40.85 c | 136211 | 25810 186058 728191 | 125319 117402 41 | 4.365 % |
41.02/41.04 c | 136666 | 25810 186058 728191 | 125319 117857 41 | 4.365 % |
41.32/41.31 c | 137160 | 25810 186058 728191 | 125319 118351 41 | 4.365 % |
41.42/41.45 c | 137705 | 25810 186058 728191 | 125319 118896 41 | 4.365 % |
41.72/41.77 c | 138301 | 25810 186058 728191 | 125319 119492 41 | 4.365 % |
41.92/41.97 c | 138956 | 25810 186058 728191 | 125319 120147 41 | 4.365 % |
42.32/42.39 c | 139677 | 25810 186058 728191 | 125319 120868 41 | 4.365 % |
42.62/42.65 c | 140469 | 25810 186058 728191 | 2147483647 121660 41 | 4.365 % |
43.22/43.29 c | 141341 | 25810 186058 728191 | 2147483647 122532 41 | 4.365 % |
43.52/43.53 c | 142301 | 25810 186058 728191 | 2147483647 123492 41 | 4.365 % |
43.82/43.88 c | 143355 | 25810 186058 728191 | 2147483647 124546 40 | 4.365 % |
44.22/44.22 c | 144515 | 25810 186058 728191 | 2147483647 125706 40 | 4.365 % |
44.82/44.87 c | 145788 | 25810 186058 728191 | 2147483647 126979 40 | 4.365 % |
45.22/45.26 c | 147192 | 25810 186058 728191 | 2147483647 128383 40 | 4.365 % |
46.23/46.27 c | 148732 | 25810 186058 728191 | 2147483647 129923 40 | 4.365 % |
46.32/46.32 c | 148834 | 25810 186058 728191 | 2147483647 130025 40 | 4.365 % |
46.32/46.40 c | 148944 | 25810 186058 728191 | 2147483647 130135 40 | 4.365 % |
46.42/46.47 c | 149067 | 25810 186058 728191 | 2147483647 130258 40 | 4.365 % |
46.52/46.57 c | 149202 | 25810 186058 728191 | 2147483647 130393 40 | 4.365 % |
46.62/46.63 c | 149350 | 25810 186058 728191 | 2147483647 130541 40 | 4.365 % |
46.72/46.77 c | 149510 | 25810 186058 728191 | 2147483647 130701 40 | 4.365 % |
46.82/46.87 c | 149687 | 25810 186058 728191 | 2147483647 130878 40 | 4.365 % |
46.92/46.94 c | 149881 | 25810 186058 728191 | 2147483647 131072 40 | 4.365 % |
47.02/47.07 c | 150093 | 25810 186058 728191 | 131192 131284 40 | 4.365 % |
47.12/47.20 c | 150327 | 25806 186058 728191 | 131192 131517 40 | 4.387 % |
47.33/47.40 c | 150583 | 25806 186058 728191 | 131192 131773 40 | 4.387 % |
47.52/47.50 c | 150865 | 25806 186058 728191 | 131192 132055 40 | 4.387 % |
47.62/47.69 c | 151175 | 25806 186058 728191 | 131192 132365 40 | 4.387 % |
47.92/48.00 c | 151515 | 25806 186058 728191 | 131192 112375 39 | 4.387 % |
48.12/48.13 c | 151890 | 25806 186058 728191 | 131192 112750 39 | 4.387 % |
48.43/48.45 c | 152299 | 25806 186058 728191 | 131192 113159 39 | 4.387 % |
48.62/48.63 c | 152753 | 25802 185829 727368 | 131192 113586 39 | 4.387 % |
49.02/49.00 c | 153247 | 25802 185829 727368 | 131192 114080 39 | 4.387 % |
49.22/49.22 c | 153790 | 25798 185829 727368 | 131192 114622 39 | 4.402 % |
49.53/49.59 c | 154388 | 25798 185829 727368 | 131192 115220 39 | 4.402 % |
49.72/49.79 c | 155044 | 25798 185829 727368 | 131192 115876 39 | 4.402 % |
50.32/50.37 c | 155764 | 25797 185829 727368 | 131192 116595 39 | 4.406 % |
50.52/50.58 c | 156558 | 25797 185829 727368 | 131192 117389 39 | 4.406 % |
50.92/50.94 c | 157434 | 25797 185829 727368 | 131192 118265 39 | 4.406 % |
51.42/51.43 c | 158392 | 25793 185829 727368 | 131192 119221 39 | 4.421 % |
51.92/51.99 c | 159447 | 25793 185829 727368 | 131192 120274 39 | 4.458 % |
52.32/52.35 c | 160615 | 25790 185829 727368 | 2147483647 121442 39 | 4.458 % |
52.83/52.82 c | 161888 | 25789 185829 727368 | 2147483647 122714 39 | 4.465 % |
53.93/53.95 c | 163288 | 25786 185829 727368 | 2147483647 124113 39 | 4.476 % |
54.62/54.65 c | 164835 | 25781 185829 727368 | 2147483647 125659 39 | 4.495 % |
55.22/55.21 c | 166532 | 25777 185829 727368 | 2147483647 127354 39 | 4.510 % |
55.22/55.26 c | 166632 | 25775 185829 727368 | 2147483647 127453 39 | 4.525 % |
55.32/55.31 c | 166743 | 25774 185829 727368 | 2147483647 127563 39 | 4.528 % |
55.32/55.36 c | 166869 | 25762 185829 727368 | 2147483647 127688 39 | 4.743 % |
55.42/55.43 c | 167005 | 25762 185829 727368 | 2147483647 127824 39 | 4.743 % |
55.42/55.47 c | 167151 | 25762 185829 727368 | 2147483647 127970 39 | 4.743 % |
55.52/55.56 c | 167311 | 25762 185829 727368 | 2147483647 128130 39 | 4.743 % |
55.62/55.62 c | 167487 | 25762 185829 727368 | 2147483647 128306 39 | 4.743 % |
55.62/55.68 c | 167680 | 25762 185829 727368 | 2147483647 128499 39 | 4.743 % |
55.72/55.76 c | 167893 | 25762 185829 727368 | 2147483647 128712 39 | 4.743 % |
55.82/55.84 c | 168126 | 25762 185829 727368 | 2147483647 128945 39 | 4.743 % |
55.92/55.95 c | 168382 | 25762 185829 727368 | 2147483647 129201 39 | 4.743 % |
56.02/56.04 c | 168663 | 25762 185829 727368 | 2147483647 129482 39 | 4.743 % |
56.13/56.15 c | 168976 | 25762 185829 727368 | 2147483647 129795 39 | 4.743 % |
56.22/56.27 c | 169315 | 25762 185829 727368 | 2147483647 130134 39 | 4.743 % |
56.42/56.41 c | 169695 | 25762 185829 727368 | 2147483647 130514 39 | 4.743 % |
56.52/56.54 c | 170105 | 25762 185829 727368 | 2147483647 130924 39 | 4.743 % |
56.62/56.70 c | 170556 | 25762 185829 727368 | 2147483647 131375 39 | 4.743 % |
56.82/56.90 c | 171051 | 25762 185829 727368 | 2147483647 131870 39 | 4.743 % |
57.02/57.09 c | 171593 | 25762 185829 727368 | 2147483647 132412 39 | 4.743 % |
57.23/57.30 c | 172189 | 25762 185829 727368 | 2147483647 133007 38 | 4.810 % |
57.52/57.58 c | 172844 | 25762 185829 727368 | 2147483647 133662 38 | 4.810 % |
57.82/57.83 c | 173567 | 25762 185829 727368 | 2147483647 134385 38 | 4.810 % |
58.12/58.12 c | 174362 | 25762 185829 727368 | 2147483647 135180 38 | 4.810 % |
58.42/58.41 c | 175233 | 25762 185829 727368 | 2147483647 136051 38 | 4.810 % |
58.72/58.75 c | 176198 | 25762 185829 727368 | 2147483647 137016 38 | 4.810 % |
59.12/59.11 c | 177254 | 25760 185829 727368 | 2147483647 138071 38 | 4.910 % |
60.12/60.16 c | 178412 | 25661 184053 720542 | 2147483647 86564 35 | 4.910 % |
60.53/60.57 c | 179685 | 25661 184053 720542 | 2147483647 87837 34 | 4.910 % |
61.02/61.04 c | 181093 | 25661 184053 720542 | 2147483647 89245 34 | 4.910 % |
61.52/61.58 c | 182635 | 25661 184053 720542 | 2147483647 90787 34 | 4.910 % |
62.12/62.19 c | 184329 | 25661 184053 720542 | 2147483647 92481 34 | 4.910 % |
62.82/62.87 c | 186192 | 25661 184053 720542 | 2147483647 94344 34 | 4.910 % |
62.92/62.91 c | 186297 | 25661 184053 720542 | 2147483647 94449 34 | 4.910 % |
62.92/62.95 c | 186407 | 25661 184053 720542 | 2147483647 94559 34 | 4.910 % |
63.02/63.00 c | 186530 | 25661 184053 720542 | 2147483647 94682 34 | 4.910 % |
63.02/63.07 c | 186663 | 25661 184053 720542 | 2147483647 94815 34 | 4.910 % |
63.12/63.12 c | 186809 | 25661 184053 720542 | 2147483647 94961 34 | 4.910 % |
63.12/63.19 c | 186971 | 25661 184053 720542 | 2147483647 95123 34 | 4.910 % |
63.22/63.25 c | 187151 | 25661 184053 720542 | 2147483647 95303 34 | 4.910 % |
63.32/63.31 c | 187344 | 25661 184053 720542 | 2147483647 95496 34 | 4.910 % |
63.32/63.38 c | 187558 | 25661 184053 720542 | 2147483647 95710 33 | 4.910 % |
63.42/63.48 c | 187791 | 25661 184053 720542 | 2147483647 95943 33 | 4.910 % |
63.52/63.58 c | 188047 | 25661 184053 720542 | 2147483647 96199 33 | 4.910 % |
63.62/63.70 c | 188335 | 25661 184053 720542 | 2147483647 96487 33 | 4.910 % |
63.72/63.81 c | 188644 | 25661 184053 720542 | 2147483647 96796 33 | 4.910 % |
63.92/63.94 c | 188984 | 25661 184053 720542 | 2147483647 97136 33 | 4.910 % |
64.02/64.10 c | 189356 | 25661 184053 720542 | 2147483647 97508 33 | 4.910 % |
64.22/64.23 c | 189765 | 25661 184053 720542 | 2147483647 97917 33 | 4.910 % |
64.42/64.41 c | 190216 | 25661 184053 720542 | 98152 98368 33 | 4.910 % |
64.62/64.60 c | 190711 | 25661 184053 720542 | 98152 98863 33 | 4.910 % |
64.82/64.81 c | 191253 | 25661 184053 720542 | 98152 99405 33 | 4.910 % |
65.22/65.22 c | 191851 | 25661 184053 720542 | 98152 85559 33 | 4.910 % |
65.42/65.42 c | 192509 | 25661 184053 720542 | 98152 86217 33 | 4.910 % |
65.62/65.65 c | 193229 | 25661 184053 720542 | 98152 86937 33 | 4.910 % |
65.92/65.92 c | 194021 | 25661 184053 720542 | 98152 87729 32 | 4.910 % |
66.22/66.26 c | 194895 | 25661 184053 720542 | 98152 88603 32 | 4.910 % |
66.52/66.59 c | 195854 | 25661 184053 720542 | 98152 89562 32 | 4.910 % |
66.92/66.95 c | 196916 | 25661 184053 720542 | 98152 90624 32 | 4.910 % |
67.42/67.41 c | 198074 | 25661 184053 720542 | 98152 91782 32 | 4.910 % |
67.82/67.88 c | 199348 | 25661 184053 720542 | 98152 93056 32 | 4.910 % |
68.42/68.41 c | 200755 | 25661 184053 720542 | 93708 94463 32 | 4.910 % |
69.12/69.18 c | 202297 | 25661 184053 720542 | 93708 78733 30 | 4.910 % |
69.72/69.74 c | 203991 | 25661 184053 720542 | 93708 80427 30 | 4.910 % |
70.32/70.39 c | 205858 | 25661 184053 720542 | 93708 82294 30 | 4.910 % |
71.12/71.18 c | 207908 | 25661 184053 720542 | 93708 84344 30 | 4.910 % |
71.22/71.22 c | 208011 | 25661 184053 720542 | 93708 84447 30 | 4.910 % |
71.22/71.27 c | 208125 | 25661 184053 720542 | 93708 84561 30 | 4.910 % |
71.32/71.31 c | 208247 | 25661 184053 720542 | 93708 84683 30 | 4.910 % |
71.32/71.35 c | 208380 | 25661 184053 720542 | 93708 84816 30 | 4.910 % |
71.42/71.41 c | 208528 | 25661 184053 720542 | 93708 84964 30 | 4.910 % |
71.42/71.49 c | 208695 | 25661 184053 720542 | 93708 85131 30 | 4.910 % |
71.53/71.56 c | 208875 | 25661 184053 720542 | 93708 85311 30 | 4.910 % |
71.62/71.64 c | 209069 | 25661 184053 720542 | 93708 85505 30 | 4.910 % |
71.72/71.73 c | 209281 | 25661 184053 720542 | 93708 85717 30 | 4.910 % |
71.82/71.83 c | 209515 | 25661 184053 720542 | 93708 85951 30 | 4.910 % |
71.92/71.92 c | 209771 | 25661 184053 720542 | 93708 86207 30 | 4.910 % |
72.02/72.02 c | 210054 | 25661 184053 720542 | 86437 86490 30 | 4.910 % |
72.12/72.12 c | 210364 | 25661 184053 720542 | 86437 86800 30 | 4.910 % |
72.22/72.25 c | 210703 | 25661 184053 720542 | 86437 87139 30 | 4.910 % |
72.32/72.39 c | 211075 | 25661 184053 720542 | 86437 87511 30 | 4.910 % |
72.52/72.54 c | 211486 | 25661 184053 720542 | 86437 87922 30 | 4.910 % |
72.83/72.90 c | 211939 | 25661 184053 720542 | 86437 70634 27 | 4.910 % |
73.03/73.05 c | 212435 | 25661 184053 720542 | 86437 71130 27 | 4.910 % |
73.23/73.23 c | 212985 | 25661 184053 720542 | 86437 71680 27 | 4.910 % |
73.43/73.44 c | 213585 | 25661 184053 720542 | 86437 72280 27 | 4.910 % |
73.63/73.67 c | 214241 | 25661 184053 720542 | 86437 72936 27 | 4.910 % |
73.83/73.90 c | 214961 | 25661 184053 720542 | 86437 73656 27 | 4.910 % |
74.13/74.13 c | 215754 | 25661 184053 720542 | 86437 74449 27 | 4.910 % |
74.33/74.41 c | 216628 | 25661 184053 720542 | 86437 75323 27 | 4.910 % |
74.73/74.72 c | 217586 | 25661 184053 720542 | 86437 76281 27 | 4.910 % |
75.03/75.10 c | 218640 | 25661 184053 720542 | 86437 77335 27 | 4.910 % |
75.43/75.50 c | 219799 | 25661 184053 720542 | 86437 78494 27 | 4.910 % |
75.93/75.93 c | 221072 | 25661 184053 720542 | 78705 79767 27 | 4.910 % |
76.43/76.51 c | 222475 | 25661 184053 720542 | 78705 64519 25 | 4.910 % |
77.03/77.01 c | 224021 | 25592 183347 717835 | 78705 66040 25 | 5.166 % |
77.53/77.60 c | 225716 | 25592 183347 717835 | 78705 67735 25 | 5.166 % |
78.23/78.24 c | 227580 | 25592 183347 717835 | 78705 69599 25 | 5.166 % |
78.93/78.96 c | 229629 | 25592 183347 717835 | 78705 71648 25 | 5.166 % |
79.93/80.00 c | 231882 | 25592 183347 717835 | 72020 58369 23 | 5.166 % |
80.03/80.03 c | 231982 | 25592 183347 717835 | 72020 58469 23 | 5.166 % |
80.03/80.06 c | 232095 | 25592 183347 717835 | 72020 58582 23 | 5.166 % |
80.03/80.10 c | 232216 | 25592 183347 717835 | 72020 58703 23 | 5.166 % |
80.13/80.13 c | 232352 | 25592 183347 717835 | 72020 58839 23 | 5.166 % |
80.13/80.18 c | 232505 | 25592 183347 717835 | 72020 58992 23 | 5.166 % |
80.23/80.23 c | 232676 | 25592 183347 717835 | 72020 59163 23 | 5.166 % |
80.23/80.28 c | 232852 | 25592 183347 717835 | 72020 59339 23 | 5.166 % |
80.33/80.34 c | 233048 | 25592 183347 717835 | 72020 59535 23 | 5.166 % |
80.33/80.40 c | 233262 | 25592 183347 717835 | 72020 59749 24 | 5.166 % |
80.43/80.47 c | 233497 | 25592 183347 717835 | 72020 59984 24 | 5.166 % |
80.53/80.54 c | 233753 | 25592 183347 717835 | 72020 60240 24 | 5.166 % |
80.63/80.62 c | 234035 | 25592 183347 717835 | 72020 60522 24 | 5.166 % |
80.63/80.71 c | 234346 | 25592 183347 717835 | 72020 60833 24 | 5.166 % |
80.73/80.80 c | 234685 | 25592 183347 717835 | 72020 61172 24 | 5.166 % |
80.93/80.91 c | 235063 | 25592 183347 717835 | 72020 61550 24 | 5.166 % |
81.03/81.06 c | 235475 | 25592 183347 717835 | 72020 61962 24 | 5.166 % |
81.13/81.21 c | 235924 | 25592 183347 717835 | 72020 62411 24 | 5.166 % |
81.33/81.36 c | 236420 | 25592 183347 717835 | 72020 62907 24 | 5.166 % |
81.53/81.53 c | 236962 | 25592 183347 717835 | 72020 63449 24 | 5.166 % |
81.73/81.72 c | 237559 | 25592 183347 717835 | 72020 64046 24 | 5.166 % |
81.93/81.95 c | 238216 | 25592 183347 717835 | 72020 64703 24 | 5.166 % |
82.13/82.19 c | 238936 | 25592 183347 717835 | 72020 65423 23 | 5.166 % |
82.43/82.44 c | 239728 | 25592 183347 717835 | 72020 66215 23 | 5.166 % |
82.73/82.73 c | 240599 | 25592 183347 717835 | 66488 67086 23 | 5.166 % |
83.03/83.04 c | 241558 | 25592 183347 717835 | 66488 68045 23 | 5.166 % |
83.53/83.60 c | 242612 | 25592 183347 717835 | 66488 55049 23 | 5.166 % |
83.93/83.92 c | 243772 | 25592 183347 717835 | 66488 56209 23 | 5.166 % |
84.23/84.28 c | 245045 | 25592 183347 717835 | 66488 57482 23 | 5.166 % |
84.63/84.67 c | 246447 | 25592 183347 717835 | 66488 58884 23 | 5.166 % |
85.03/85.10 c | 247990 | 25592 183347 717835 | 66488 60427 23 | 5.166 % |
85.53/85.57 c | 249685 | 25592 183347 717835 | 66488 62122 23 | 5.166 % |
86.13/86.16 c | 251560 | 25592 183347 717835 | 62437 63997 23 | 5.166 % |
87.13/87.12 c | 253609 | 25592 183347 717835 | 62437 53122 23 | 5.166 % |
87.63/87.71 c | 255869 | 25592 183347 717835 | 62437 55382 23 | 5.166 % |
88.33/88.36 c | 258350 | 25592 183347 717835 | 62437 57863 23 | 5.166 % |
88.33/88.38 c | 258454 | 25592 183347 717835 | 62437 57967 23 | 5.166 % |
88.43/88.41 c | 258567 | 25592 183347 717835 | 62437 58080 23 | 5.166 % |
88.43/88.46 c | 258688 | 25592 183347 717835 | 62437 58201 23 | 5.166 % |
88.43/88.50 c | 258821 | 25592 183347 717835 | 62437 58334 23 | 5.166 % |
88.53/88.55 c | 258967 | 25592 183347 717835 | 62437 58480 23 | 5.166 % |
88.53/88.59 c | 259127 | 25592 183347 717835 | 62437 58640 23 | 5.166 % |
88.63/88.64 c | 259303 | 25592 183347 717835 | 62437 58816 23 | 5.166 % |
88.63/88.69 c | 259497 | 25592 183347 717835 | 62437 59010 23 | 5.166 % |
88.73/88.75 c | 259709 | 25592 183347 717835 | 62437 59222 23 | 5.166 % |
88.83/88.82 c | 259946 | 25592 183347 717835 | 62437 59459 23 | 5.166 % |
88.83/88.89 c | 260202 | 25592 183347 717835 | 59513 59715 23 | 5.166 % |
88.93/88.97 c | 260487 | 25592 183347 717835 | 59513 60000 23 | 5.166 % |
89.03/89.06 c | 260798 | 25592 183347 717835 | 59513 60311 23 | 5.166 % |
89.13/89.15 c | 261137 | 25592 183347 717835 | 59513 60650 23 | 5.166 % |
89.23/89.27 c | 261513 | 25592 183347 717835 | 59513 61026 23 | 5.166 % |
89.73/89.78 c | 261922 | 25592 183347 717835 | 59513 49968 23 | 5.166 % |
89.83/89.90 c | 262381 | 25592 183347 717835 | 59513 50427 23 | 5.166 % |
90.03/90.04 c | 262874 | 25592 183347 717835 | 59513 50920 23 | 5.166 % |
90.13/90.19 c | 263418 | 25592 183347 717835 | 59513 51464 23 | 5.166 % |
90.33/90.35 c | 264020 | 25592 183347 717835 | 59513 52066 23 | 5.166 % |
90.53/90.52 c | 264676 | 25592 183347 717835 | 59513 52722 23 | 5.166 % |
90.63/90.70 c | 265397 | 25592 183347 717835 | 59513 53443 23 | 5.166 % |
90.83/90.91 c | 266189 | 25592 183347 717835 | 59513 54235 23 | 5.166 % |
91.13/91.14 c | 267060 | 25592 183347 717835 | 59513 55106 23 | 5.166 % |
91.43/91.41 c | 268018 | 25592 183347 717835 | 59513 56064 23 | 5.166 % |
91.73/91.73 c | 269074 | 25592 183347 717835 | 59513 57120 23 | 5.166 % |
92.03/92.07 c | 270232 | 25592 183347 717835 | 58046 58278 23 | 5.166 % |
92.43/92.43 c | 271507 | 25592 183347 717835 | 58046 59553 23 | 5.166 % |
93.03/93.01 c | 272907 | 25592 183347 717835 | 58046 51549 23 | 5.166 % |
93.43/93.45 c | 274447 | 25592 183347 717835 | 58046 53089 23 | 5.166 % |
93.83/93.90 c | 276142 | 25592 183347 717835 | 58046 54784 23 | 5.166 % |
94.33/94.40 c | 278012 | 25592 183347 717835 | 58046 56654 23 | 5.166 % |
94.93/94.99 c | 280063 | 25592 183347 717835 | 58644 58705 23 | 5.166 % |
95.73/95.79 c | 282319 | 25592 183347 717835 | 58644 51640 23 | 5.166 % |
96.43/96.42 c | 284799 | 25592 183347 717835 | 58644 54120 23 | 5.166 % |
97.13/97.17 c | 287526 | 25592 183347 717835 | 58644 56847 23 | 5.166 % |
97.23/97.21 c | 287626 | 25592 183347 717835 | 58644 56947 23 | 5.166 % |
97.23/97.25 c | 287736 | 25592 183347 717835 | 58644 57057 23 | 5.166 % |
97.23/97.28 c | 287857 | 25592 183347 717835 | 58644 57178 23 | 5.166 % |
97.33/97.32 c | 287990 | 25592 183347 717835 | 58644 57311 23 | 5.166 % |
97.33/97.36 c | 288136 | 25592 183347 717835 | 58644 57457 23 | 5.166 % |
97.33/97.40 c | 288298 | 25592 183347 717835 | 58644 57619 23 | 5.166 % |
97.43/97.45 c | 288476 | 25592 183347 717835 | 58644 57797 23 | 5.166 % |
97.43/97.51 c | 288669 | 25592 183347 717835 | 58644 57990 23 | 5.166 % |
97.53/97.58 c | 288881 | 25592 183347 717835 | 58644 58202 23 | 5.166 % |
97.63/97.64 c | 289115 | 25592 183347 717835 | 58644 58436 23 | 5.166 % |
97.63/97.71 c | 289371 | 25592 183347 717835 | 58644 58692 23 | 5.166 % |
97.73/97.79 c | 289664 | 25592 183347 717835 | 58644 58985 23 | 5.166 % |
97.83/97.88 c | 289975 | 25592 183347 717835 | 58644 59296 23 | 5.166 % |
97.93/98.00 c | 290315 | 25592 183347 717835 | 59321 59636 23 | 5.166 % |
98.03/98.10 c | 290687 | 25592 183347 717835 | 59321 60008 23 | 5.166 % |
98.23/98.23 c | 291097 | 25592 183347 717835 | 59321 60418 23 | 5.166 % |
98.33/98.36 c | 291547 | 25592 183347 717835 | 59321 60868 23 | 5.166 % |
98.63/98.69 c | 292041 | 25592 183347 717835 | 59321 51777 23 | 5.166 % |
98.83/98.85 c | 292583 | 25592 183347 717835 | 59321 52319 23 | 5.166 % |
99.03/99.02 c | 293180 | 25592 183347 717835 | 59321 52916 23 | 5.166 % |
99.23/99.22 c | 293836 | 25592 183347 717835 | 59321 53572 23 | 5.166 % |
99.33/99.40 c | 294566 | 25592 183347 717835 | 59321 54302 23 | 5.166 % |
99.63/99.68 c | 295358 | 25591 183341 717817 | 59321 55093 23 | 5.169 % |
99.93/99.91 c | 296229 | 25591 183341 717817 | 59321 55964 23 | 5.169 % |
100.13/100.19 c | 297187 | 25591 183341 717817 | 59321 56922 23 | 5.169 % |
100.43/100.49 c | 298241 | 25591 183341 717817 | 59321 57976 23 | 5.169 % |
100.83/100.82 c | 299400 | 25591 183341 717817 | 59321 59135 23 | 5.169 % |
101.13/101.17 c | 300677 | 25591 183341 717817 | 59735 60412 23 | 5.169 % |
101.83/101.86 c | 302077 | 25591 183341 717817 | 59735 51858 23 | 5.169 % |
102.23/102.25 c | 303619 | 25591 183341 717817 | 59735 53400 23 | 5.169 % |
102.63/102.68 c | 305318 | 25591 183341 717817 | 59735 55099 23 | 5.169 % |
103.13/103.17 c | 307191 | 25591 183341 717817 | 59735 56972 23 | 5.169 % |
103.73/103.71 c | 309241 | 25591 183341 717817 | 59735 59022 23 | 5.169 % |
104.23/104.31 c | 311496 | 25591 183341 717817 | 59784 61277 23 | 5.169 % |
105.13/105.13 c | 313979 | 25591 183341 717817 | 59784 53562 23 | 5.169 % |
105.83/105.88 c | 316709 | 25591 183341 717817 | 59784 56292 23 | 5.169 % |
106.73/106.72 c | 319706 | 25591 183341 717817 | 59784 59289 23 | 5.169 % |
106.73/106.75 c | 319807 | 25591 183341 717817 | 59784 59390 23 | 5.169 % |
106.73/106.78 c | 319918 | 25591 183341 717817 | 59784 59501 23 | 5.169 % |
106.83/106.82 c | 320043 | 25591 183341 717817 | 59583 59626 23 | 5.169 % |
106.83/106.87 c | 320176 | 25591 183341 717817 | 59583 59759 23 | 5.169 % |
106.93/106.91 c | 320326 | 25591 183341 717817 | 59583 59909 23 | 5.169 % |
106.93/106.95 c | 320487 | 25591 183341 717817 | 59583 60070 23 | 5.169 % |
106.93/107.00 c | 320663 | 25591 183341 717817 | 59583 60246 23 | 5.169 % |
107.03/107.06 c | 320856 | 25591 183341 717817 | 59583 60439 23 | 5.169 % |
107.13/107.12 c | 321068 | 25591 183341 717817 | 59583 60651 23 | 5.169 % |
107.13/107.19 c | 321305 | 25591 183341 717817 | 59583 60888 23 | 5.169 % |
107.23/107.28 c | 321563 | 25591 183341 717817 | 59583 61146 23 | 5.169 % |
107.53/107.56 c | 321844 | 25591 183341 717817 | 59583 51176 23 | 5.169 % |
107.63/107.63 c | 322153 | 25591 183341 717817 | 59583 51485 23 | 5.169 % |
107.73/107.73 c | 322492 | 25591 183341 717817 | 59583 51824 23 | 5.169 % |
107.83/107.82 c | 322864 | 25591 183341 717817 | 59583 52196 23 | 5.169 % |
107.93/107.92 c | 323273 | 25591 183341 717817 | 59583 52605 23 | 5.169 % |
108.03/108.04 c | 323724 | 25591 183341 717817 | 59583 53056 23 | 5.169 % |
108.13/108.17 c | 324218 | 25591 183341 717817 | 59583 53550 23 | 5.169 % |
108.33/108.32 c | 324760 | 25591 183341 717817 | 59583 54092 23 | 5.169 % |
108.43/108.48 c | 325356 | 25591 183341 717817 | 59583 54688 23 | 5.169 % |
108.63/108.65 c | 326019 | 25591 183341 717817 | 59583 55351 23 | 5.169 % |
108.83/108.86 c | 326739 | 25591 183341 717817 | 59583 56071 23 | 5.169 % |
109.03/109.08 c | 327533 | 25591 183341 717817 | 59583 56865 23 | 5.169 % |
109.33/109.36 c | 328405 | 25591 183341 717817 | 59583 57737 23 | 5.169 % |
109.63/109.62 c | 329363 | 25591 183341 717817 | 59583 58695 23 | 5.169 % |
109.83/109.90 c | 330416 | 25591 183341 717817 | 59332 59748 23 | 5.169 % |
110.23/110.22 c | 331593 | 25591 183341 717817 | 59332 60925 23 | 5.169 % |
110.83/110.83 c | 332866 | 25591 183341 717817 | 59332 52782 23 | 5.169 % |
111.13/111.19 c | 334266 | 25591 183341 717817 | 59332 54182 23 | 5.169 % |
111.53/111.60 c | 335807 | 25591 183341 717817 | 59332 55723 23 | 5.169 % |
112.03/112.04 c | 337502 | 25591 183341 717817 | 59332 57418 23 | 5.169 % |
112.53/112.55 c | 339369 | 25591 183341 717817 | 59332 59285 23 | 5.169 % |
113.13/113.17 c | 341419 | 25591 183341 717817 | 59917 61335 23 | 5.169 % |
113.83/113.91 c | 343672 | 25591 183341 717817 | 59917 53897 23 | 5.169 % |
114.53/114.57 c | 346150 | 25591 183341 717817 | 59917 56375 22 | 5.169 % |
115.33/115.34 c | 348880 | 25591 183341 717817 | 59917 59105 22 | 5.169 % |
116.43/116.46 c | 351877 | 25591 183341 717817 | 60225 52205 22 | 5.169 % |
117.33/117.33 c | 355180 | 25588 183336 717800 | 60225 55506 22 | 5.184 % |
117.33/117.36 c | 355281 | 25588 183336 717800 | 60225 55607 22 | 5.184 % |
117.33/117.39 c | 355392 | 25588 183336 717800 | 60225 55718 22 | 5.184 % |
117.43/117.42 c | 355514 | 25588 183336 717800 | 60225 55840 22 | 5.184 % |
117.43/117.46 c | 355649 | 25588 183336 717800 | 60225 55975 22 | 5.184 % |
117.53/117.51 c | 355795 | 25588 183336 717800 | 60225 56121 22 | 5.184 % |
117.53/117.56 c | 355955 | 25588 183336 717800 | 60225 56281 22 | 5.184 % |
117.63/117.61 c | 356132 | 25588 183336 717800 | 60225 56458 22 | 5.184 % |
117.63/117.67 c | 356325 | 25588 183336 717800 | 60225 56651 22 | 5.184 % |
117.73/117.73 c | 356537 | 25588 183336 717800 | 60225 56863 22 | 5.184 % |
117.73/117.81 c | 356771 | 25588 183336 717800 | 60225 57097 22 | 5.184 % |
117.83/117.89 c | 357030 | 25588 183336 717800 | 60225 57356 22 | 5.184 % |
117.93/117.97 c | 357312 | 25588 183336 717800 | 60225 57638 22 | 5.184 % |
118.03/118.06 c | 357621 | 25588 183336 717800 | 60225 57947 22 | 5.184 % |
118.13/118.15 c | 357960 | 25588 183336 717800 | 60225 58286 22 | 5.184 % |
118.23/118.25 c | 358332 | 25588 183336 717800 | 60225 58658 22 | 5.184 % |
118.33/118.38 c | 358741 | 25588 183336 717800 | 60225 59067 22 | 5.184 % |
118.53/118.52 c | 359190 | 25588 183336 717800 | 60225 59516 22 | 5.184 % |
118.63/118.68 c | 359684 | 25588 183336 717800 | 60225 60010 22 | 5.184 % |
118.83/118.84 c | 360228 | 25588 183336 717800 | 60330 60554 22 | 5.184 % |
119.03/119.02 c | 360827 | 25588 183336 717800 | 60330 61153 22 | 5.184 % |
119.23/119.23 c | 361489 | 25588 183336 717800 | 60330 61815 22 | 5.184 % |
119.63/119.66 c | 362211 | 25588 183336 717800 | 60330 53331 23 | 5.184 % |
119.83/119.89 c | 363006 | 25588 183336 717800 | 60330 54126 23 | 5.184 % |
120.13/120.16 c | 363878 | 25588 183336 717800 | 60330 54998 23 | 5.184 % |
120.43/120.42 c | 364838 | 25588 183336 717800 | 60330 55958 23 | 5.184 % |
120.73/120.76 c | 365897 | 25588 183336 717800 | 60330 57017 23 | 5.184 % |
121.13/121.11 c | 367059 | 25588 183336 717800 | 60330 58179 23 | 5.184 % |
121.53/121.51 c | 368333 | 25588 183336 717800 | 60330 59453 23 | 5.184 % |
121.93/121.93 c | 369733 | 25587 183296 717641 | 60330 60853 23 | 5.184 % |
122.33/122.39 c | 371273 | 25587 183296 717641 | 61120 62393 23 | 5.184 % |
123.03/123.10 c | 372968 | 25587 183296 717641 | 61120 54702 23 | 5.184 % |
123.63/123.61 c | 374831 | 25587 183296 717641 | 61120 56565 23 | 5.184 % |
124.13/124.19 c | 376880 | 25587 183296 717641 | 61120 58614 23 | 5.184 % |
124.83/124.88 c | 379134 | 25587 183296 717641 | 61120 60868 22 | 5.184 % |
125.63/125.64 c | 381614 | 25587 183296 717641 | 61737 63348 23 | 5.184 % |
126.63/126.68 c | 384343 | 25587 183296 717641 | 61737 55605 22 | 5.184 % |
127.53/127.54 c | 387340 | 25587 183296 717641 | 61737 58602 22 | 5.184 % |
128.43/128.47 c | 390636 | 25587 183296 717641 | 61263 61898 22 | 5.184 % |
129.63/129.61 c | 394261 | 25587 183296 717641 | 61263 55150 22 | 5.184 % |
129.63/129.64 c | 394361 | 25587 183296 717641 | 61263 55250 22 | 5.184 % |
129.63/129.67 c | 394472 | 25587 183296 717641 | 61263 55361 22 | 5.184 % |
129.63/129.70 c | 394600 | 25587 183296 717641 | 61263 55489 22 | 5.184 % |
129.73/129.74 c | 394733 | 25587 183296 717641 | 61263 55622 22 | 5.184 % |
129.73/129.77 c | 394879 | 25587 183296 717641 | 61263 55768 22 | 5.184 % |
129.73/129.81 c | 395040 | 25587 183296 717641 | 61263 55929 22 | 5.184 % |
129.84/129.87 c | 395219 | 25587 183296 717641 | 61263 56108 22 | 5.184 % |
129.93/129.93 c | 395415 | 25587 183296 717641 | 61263 56304 22 | 5.184 % |
129.93/129.97 c | 395630 | 25587 183296 717641 | 61263 56519 22 | 5.184 % |
130.03/130.03 c | 395868 | 25587 183296 717641 | 61263 56757 22 | 5.184 % |
130.03/130.09 c | 396124 | 25587 183296 717641 | 61263 57013 22 | 5.184 % |
130.13/130.16 c | 396405 | 25587 183296 717641 | 61263 57294 22 | 5.184 % |
130.23/130.24 c | 396714 | 25587 183296 717641 | 61263 57603 22 | 5.184 % |
130.33/130.33 c | 397057 | 25587 183296 717641 | 61263 57946 22 | 5.184 % |
130.43/130.44 c | 397429 | 25587 183296 717641 | 61263 58318 22 | 5.184 % |
130.53/130.56 c | 397838 | 25587 183296 717641 | 61263 58727 22 | 5.184 % |
130.63/130.69 c | 398287 | 25587 183296 717641 | 61263 59176 22 | 5.184 % |
130.83/130.82 c | 398781 | 25587 183296 717641 | 61263 59670 22 | 5.184 % |
131.03/131.01 c | 399326 | 25586 183261 717524 | 61263 60214 22 | 5.188 % |
131.13/131.17 c | 399922 | 25586 183261 717524 | 61263 60810 22 | 5.188 % |
131.33/131.35 c | 400581 | 25586 183261 717524 | 60888 61469 23 | 5.188 % |
131.53/131.56 c | 401301 | 25586 183261 717524 | 60888 62189 23 | 5.188 % |
131.93/132.00 c | 402094 | 25586 183261 717524 | 60888 51687 23 | 5.188 % |
132.13/132.20 c | 402965 | 25586 183261 717524 | 60888 52558 23 | 5.188 % |
132.43/132.43 c | 403926 | 25586 183261 717524 | 60888 53519 23 | 5.188 % |
132.63/132.68 c | 404979 | 25586 183261 717524 | 60888 54572 23 | 5.188 % |
132.93/132.96 c | 406138 | 25586 183261 717524 | 60888 55731 23 | 5.188 % |
133.23/133.28 c | 407411 | 25586 183261 717524 | 60888 57004 23 | 5.188 % |
133.63/133.64 c | 408811 | 25586 183261 717524 | 60888 58404 23 | 5.188 % |
134.03/134.04 c | 410360 | 25586 183261 717524 | 59595 59953 23 | 5.188 % |
134.63/134.70 c | 412059 | 25586 183261 717524 | 59595 50348 22 | 5.188 % |
135.13/135.13 c | 413924 | 25586 183261 717524 | 59595 52213 22 | 5.188 % |
135.63/135.62 c | 415973 | 25586 183261 717524 | 59595 54262 22 | 5.188 % |
136.13/136.18 c | 418226 | 25586 183261 717524 | 59595 56515 22 | 5.188 % |
136.73/136.79 c | 420707 | 25586 183261 717524 | 58289 58996 22 | 5.188 % |
137.73/137.77 c | 423433 | 25586 183261 717524 | 58289 50634 22 | 5.188 % |
138.43/138.44 c | 426430 | 25586 183261 717524 | 58289 53631 22 | 5.188 % |
139.23/139.26 c | 429727 | 25586 183261 717524 | 58289 56928 22 | 5.188 % |
140.33/140.34 c | 433352 | 25586 183261 717524 | 57210 50191 22 | 5.188 % |
141.43/141.45 c | 437339 | 25586 183261 717524 | 57210 54178 22 | 5.188 % |
141.43/141.49 c | 437440 | 25586 183261 717524 | 57210 54279 22 | 5.188 % |
141.53/141.51 c | 437552 | 25586 183261 717524 | 57210 54391 22 | 5.188 % |
141.53/141.56 c | 437673 | 25586 183261 717524 | 57210 54512 22 | 5.188 % |
141.53/141.60 c | 437806 | 25586 183261 717524 | 57210 54645 22 | 5.188 % |
141.63/141.65 c | 437952 | 25586 183261 717524 | 57210 54791 22 | 5.188 % |
141.63/141.69 c | 438115 | 25586 183261 717524 | 57210 54954 22 | 5.188 % |
141.73/141.75 c | 438294 | 25586 183261 717524 | 57210 55133 22 | 5.188 % |
141.83/141.81 c | 438487 | 25586 183261 717524 | 57210 55326 22 | 5.188 % |
141.83/141.86 c | 438699 | 25586 183261 717524 | 57210 55538 22 | 5.188 % |
141.94/141.93 c | 438933 | 25586 183261 717524 | 57210 55772 22 | 5.188 % |
141.94/142.00 c | 439189 | 25586 183261 717524 | 57210 56028 22 | 5.188 % |
142.03/142.09 c | 439474 | 25586 183261 717524 | 57210 56313 22 | 5.188 % |
142.13/142.17 c | 439784 | 25586 183261 717524 | 57210 56623 22 | 5.188 % |
142.23/142.27 c | 440125 | 25586 183261 717524 | 56842 56964 22 | 5.188 % |
142.33/142.38 c | 440497 | 25586 183261 717524 | 56842 57336 22 | 5.188 % |
142.43/142.49 c | 440907 | 25586 183261 717524 | 56842 57746 22 | 5.188 % |
142.53/142.60 c | 441356 | 25586 183261 717524 | 56842 58195 22 | 5.188 % |
142.93/142.91 c | 441861 | 25586 183261 717524 | 56842 51019 22 | 5.188 % |
143.04/143.05 c | 442403 | 25586 183261 717524 | 56842 51561 22 | 5.188 % |
143.13/143.19 c | 443003 | 25586 183261 717524 | 56842 52161 22 | 5.188 % |
143.33/143.40 c | 443658 | 25586 183261 717524 | 56842 52816 22 | 5.188 % |
143.63/143.61 c | 444378 | 25586 183261 717524 | 56842 53536 22 | 5.188 % |
143.83/143.85 c | 445171 | 25586 183261 717524 | 56842 54329 22 | 5.188 % |
144.03/144.08 c | 446043 | 25586 183261 717524 | 56842 55201 22 | 5.188 % |
144.43/144.41 c | 447006 | 25586 183261 717524 | 56842 56164 22 | 5.188 % |
144.73/144.74 c | 448061 | 25586 183261 717524 | 56842 57219 22 | 5.188 % |
145.03/145.10 c | 449220 | 25586 183261 717524 | 56842 58378 22 | 5.188 % |
145.53/145.54 c | 450496 | 25586 183261 717524 | 53106 53601 22 | 5.188 % |
146.03/146.07 c | 451896 | 25586 183261 717524 | 53106 48615 22 | 5.188 % |
146.43/146.47 c | 453436 | 25586 183261 717524 | 53106 50155 22 | 5.188 % |
146.83/146.87 c | 455130 | 25586 183261 717524 | 53106 51849 22 | 5.188 % |
147.33/147.32 c | 456994 | 25586 183261 717524 | 53106 53713 22 | 5.188 % |
148.03/148.03 c | 459045 | 25586 183261 717524 | 53106 49796 22 | 5.188 % |
148.54/148.59 c | 461298 | 25586 183261 717524 | 50751 52049 22 | 5.188 % |
149.33/149.35 c | 463776 | 25586 183261 717524 | 50751 49091 22 | 5.188 % |
150.03/150.08 c | 466505 | 25586 183261 717524 | 50751 51820 22 | 5.188 % |
151.03/151.01 c | 469508 | 25586 183261 717524 | 50751 49586 22 | 5.188 % |
151.84/151.90 c | 472804 | 25586 183261 717524 | 2147483647 52882 22 | 5.188 % |
152.83/152.88 c | 476430 | 25586 183261 717524 | 2147483647 56508 22 | 5.188 % |
153.93/153.98 c | 480419 | 25586 183261 717524 | 60082 60497 22 | 5.188 % |
155.34/155.37 c | 484809 | 25586 183261 717524 | 60082 56351 22 | 5.188 % |
155.34/155.40 c | 484911 | 25586 183261 717524 | 60082 56453 22 | 5.188 % |
155.44/155.43 c | 485022 | 25586 183261 717524 | 60082 56564 22 | 5.188 % |
155.44/155.47 c | 485143 | 25586 183261 717524 | 60082 56685 22 | 5.188 % |
155.44/155.51 c | 485279 | 25586 183261 717524 | 60082 56821 22 | 5.188 % |
155.54/155.55 c | 485429 | 25586 183261 717524 | 60082 56971 22 | 5.188 % |
155.54/155.60 c | 485598 | 25586 183261 717524 | 60082 57140 22 | 5.188 % |
155.64/155.64 c | 485777 | 25586 183261 717524 | 60082 57319 22 | 5.188 % |
155.64/155.69 c | 485970 | 25586 183261 717524 | 60082 57512 22 | 5.188 % |
155.74/155.74 c | 486182 | 25586 183261 717524 | 60082 57724 22 | 5.188 % |
155.74/155.80 c | 486420 | 25586 183261 717524 | 60082 57962 22 | 5.188 % |
155.84/155.87 c | 486684 | 25586 183261 717524 | 60082 58226 22 | 5.188 % |
155.94/155.95 c | 486965 | 25586 183261 717524 | 60082 58507 22 | 5.188 % |
156.04/156.02 c | 487278 | 25586 183261 717524 | 60082 58820 22 | 5.188 % |
156.04/156.11 c | 487623 | 25586 183261 717524 | 60082 59165 22 | 5.188 % |
156.14/156.21 c | 488004 | 25586 183261 717524 | 60082 59546 22 | 5.188 % |
156.34/156.32 c | 488416 | 25586 183261 717524 | 60082 59958 22 | 5.188 % |
156.44/156.45 c | 488876 | 25586 183261 717524 | 60082 60418 22 | 5.188 % |
156.54/156.60 c | 489375 | 25586 183261 717524 | 60082 60917 22 | 5.188 % |
156.74/156.76 c | 489917 | 25586 183261 717524 | 60082 61459 22 | 5.188 % |
156.94/156.94 c | 490517 | 25586 183261 717524 | 61542 62059 22 | 5.188 % |
157.14/157.14 c | 491172 | 25586 183261 717524 | 61542 62714 22 | 5.188 % |
157.44/157.49 c | 491892 | 25586 183261 717524 | 61542 52364 22 | 5.188 % |
157.64/157.70 c | 492684 | 25586 183261 717524 | 61542 53156 22 | 5.188 % |
157.94/157.94 c | 493557 | 25586 183261 717524 | 61542 54029 22 | 5.188 % |
158.24/158.24 c | 494515 | 25586 183261 717524 | 61542 54987 22 | 5.188 % |
158.54/158.52 c | 495568 | 25586 183261 717524 | 61542 56040 22 | 5.188 % |
158.74/158.81 c | 496726 | 25586 183261 717524 | 61542 57198 22 | 5.188 % |
159.14/159.16 c | 497999 | 25586 183261 717524 | 61542 58471 22 | 5.188 % |
159.54/159.53 c | 499399 | 25586 183261 717524 | 61542 59871 22 | 5.188 % |
159.94/159.94 c | 500939 | 25586 183261 717524 | 60472 61411 22 | 5.188 % |
160.74/160.80 c | 502633 | 25586 183261 717524 | 60472 51539 22 | 5.188 % |
161.24/161.24 c | 504498 | 25586 183261 717524 | 60472 53404 22 | 5.188 % |
161.74/161.76 c | 506548 | 25586 183261 717524 | 60472 55454 22 | 5.188 % |
162.34/162.37 c | 508806 | 25586 183261 717524 | 60472 57712 22 | 5.188 % |
163.04/163.05 c | 511296 | 25586 183261 717524 | 58906 60202 22 | 5.188 % |
164.04/164.01 c | 514024 | 25586 183261 717524 | 58906 53331 22 | 5.188 % |
164.74/164.79 c | 517023 | 25586 183261 717524 | 58906 56330 22 | 5.188 % |
165.64/165.71 c | 520319 | 25586 183261 717524 | 59307 59626 22 | 5.188 % |
167.04/167.04 c | 523944 | 25586 183261 717524 | 59307 53959 22 | 5.188 % |
168.04/168.06 c | 527931 | 25586 183261 717524 | 59307 57946 22 | 5.188 % |
169.64/169.66 c | 532316 | 25586 183261 717524 | 60024 50903 22 | 5.188 % |
170.94/170.92 c | 537139 | 25586 183261 717524 | 60024 55726 22 | 5.188 % |
170.94/170.95 c | 537242 | 25586 183261 717524 | 60024 55829 22 | 5.188 % |
170.94/170.98 c | 537353 | 25586 183261 717524 | 60024 55940 22 | 5.188 % |
171.04/171.02 c | 537478 | 25586 183261 717524 | 60024 56065 22 | 5.188 % |
171.04/171.06 c | 537611 | 25586 183261 717524 | 60024 56198 22 | 5.188 % |
171.04/171.10 c | 537757 | 25586 183261 717524 | 60024 56344 22 | 5.188 % |
171.14/171.14 c | 537919 | 25586 183261 717524 | 60024 56506 22 | 5.188 % |
171.14/171.20 c | 538101 | 25586 183261 717524 | 60024 56688 22 | 5.188 % |
171.24/171.26 c | 538300 | 25586 183261 717524 | 60024 56887 22 | 5.188 % |
171.34/171.32 c | 538520 | 25586 183261 717524 | 60024 57107 22 | 5.188 % |
171.34/171.39 c | 538753 | 25586 183261 717524 | 60024 57340 22 | 5.188 % |
171.44/171.46 c | 539011 | 25586 183261 717524 | 60024 57598 22 | 5.188 % |
171.54/171.55 c | 539292 | 25586 183261 717524 | 60024 57879 22 | 5.188 % |
171.64/171.64 c | 539602 | 25586 183261 717524 | 60024 58189 22 | 5.188 % |
171.74/171.72 c | 539944 | 25586 183261 717524 | 60024 58531 22 | 5.188 % |
171.84/171.81 c | 540319 | 25586 183261 717524 | 58588 58906 22 | 5.188 % |
171.94/171.92 c | 540728 | 25586 183261 717524 | 58588 59315 22 | 5.188 % |
172.04/172.05 c | 541177 | 25586 183261 717524 | 58588 59764 22 | 5.188 % |
172.34/172.34 c | 541670 | 25586 183261 717524 | 58588 51193 22 | 5.188 % |
172.44/172.46 c | 542212 | 25586 183261 717524 | 58588 51735 22 | 5.188 % |
172.54/172.60 c | 542808 | 25586 183261 717524 | 58588 52331 22 | 5.188 % |
172.74/172.74 c | 543464 | 25586 183261 717524 | 58588 52987 22 | 5.188 % |
172.94/172.93 c | 544184 | 25586 183261 717524 | 58588 53707 22 | 5.188 % |
173.14/173.13 c | 544976 | 25586 183261 717524 | 58588 54499 22 | 5.188 % |
173.34/173.36 c | 545847 | 25586 183261 717524 | 58588 55370 22 | 5.188 % |
173.64/173.61 c | 546809 | 25586 183261 717524 | 58588 56332 22 | 5.188 % |
173.84/173.89 c | 547862 | 25586 183261 717524 | 58588 57385 22 | 5.188 % |
174.14/174.19 c | 549022 | 25586 183261 717524 | 58588 58545 22 | 5.188 % |
174.54/174.54 c | 550298 | 25586 183261 717524 | 59523 59821 22 | 5.188 % |
175.14/175.18 c | 551698 | 25586 183261 717524 | 59523 51179 22 | 5.188 % |
175.54/175.55 c | 553238 | 25586 183261 717524 | 59523 52719 22 | 5.188 % |
175.94/176.00 c | 554934 | 25586 183261 717524 | 59523 54415 22 | 5.188 % |
176.44/176.46 c | 556797 | 25586 183261 717524 | 59523 56278 22 | 5.188 % |
176.94/176.96 c | 558846 | 25586 183261 717524 | 59523 58327 22 | 5.188 % |
177.54/177.54 c | 561099 | 25586 183261 717524 | 59481 60580 22 | 5.188 % |
178.34/178.36 c | 563577 | 25586 183261 717524 | 59481 53677 22 | 5.188 % |
179.04/179.04 c | 566305 | 25586 183261 717524 | 59481 56405 22 | 5.188 % |
179.84/179.83 c | 569303 | 25586 183261 717524 | 59481 59403 22 | 5.188 % |
181.04/181.03 c | 572600 | 25586 183261 717524 | 60102 53553 22 | 5.188 % |
181.94/181.93 c | 576226 | 25586 183261 717524 | 60102 57179 22 | 5.188 % |
183.04/183.02 c | 580213 | 25585 183258 717514 | 60953 61165 22 | 5.192 % |
184.34/184.33 c | 584599 | 25585 183258 717514 | 60953 55387 21 | 5.192 % |
185.54/185.59 c | 589423 | 25585 183258 717514 | 60953 60211 21 | 5.192 % |
187.24/187.24 c | 594731 | 25585 183258 717514 | 60788 54555 21 | 5.192 % |
187.24/187.27 c | 594831 | 25585 183258 717514 | 60788 54655 21 | 5.192 % |
187.24/187.31 c | 594941 | 25585 183258 717514 | 60788 54765 21 | 5.192 % |
187.34/187.34 c | 595063 | 25585 183258 717514 | 60788 54887 21 | 5.192 % |
187.34/187.39 c | 595196 | 25585 183258 717514 | 60788 55020 21 | 5.192 % |
187.44/187.42 c | 595342 | 25585 183258 717514 | 60788 55166 21 | 5.192 % |
187.44/187.46 c | 595503 | 25585 183258 717514 | 60788 55327 21 | 5.192 % |
187.44/187.51 c | 595682 | 25585 183258 717514 | 60788 55506 21 | 5.192 % |
187.54/187.56 c | 595878 | 25585 183258 717514 | 60788 55702 21 | 5.192 % |
187.54/187.61 c | 596092 | 25585 183258 717514 | 60788 55916 21 | 5.192 % |
187.64/187.67 c | 596326 | 25585 183258 717514 | 60788 56150 21 | 5.192 % |
187.74/187.72 c | 596596 | 25585 183258 717514 | 60788 56420 21 | 5.192 % |
187.74/187.80 c | 596877 | 25585 183258 717514 | 60788 56701 21 | 5.192 % |
187.84/187.88 c | 597186 | 25585 183258 717514 | 60788 57010 21 | 5.192 % |
187.94/187.97 c | 597525 | 25585 183258 717514 | 60788 57349 21 | 5.192 % |
188.04/188.09 c | 597897 | 25585 183258 717514 | 60788 57721 21 | 5.192 % |
188.14/188.20 c | 598306 | 25585 183258 717514 | 60788 58130 21 | 5.192 % |
188.34/188.32 c | 598760 | 25585 183258 717514 | 60788 58584 21 | 5.192 % |
188.44/188.44 c | 599260 | 25585 183258 717514 | 60788 59084 21 | 5.192 % |
188.54/188.59 c | 599802 | 25585 183258 717514 | 60788 59626 21 | 5.192 % |
188.74/188.74 c | 600398 | 25585 183258 717514 | 59827 60222 21 | 5.192 % |
188.94/188.92 c | 601059 | 25585 183258 717514 | 59827 60883 21 | 5.192 % |
189.34/189.35 c | 601779 | 25585 183258 717514 | 59827 50742 21 | 5.192 % |
189.54/189.54 c | 602572 | 25585 183258 717514 | 59827 51535 21 | 5.192 % |
189.74/189.74 c | 603443 | 25585 183258 717514 | 59827 52406 21 | 5.192 % |
189.94/189.97 c | 604405 | 25585 183258 717514 | 59827 53368 21 | 5.192 % |
190.14/190.21 c | 605460 | 25585 183258 717514 | 59827 54423 21 | 5.192 % |
190.44/190.49 c | 606620 | 25585 183258 717514 | 59827 55583 21 | 5.192 % |
190.84/190.81 c | 607893 | 25585 183258 717514 | 59827 56856 21 | 5.192 % |
191.24/191.22 c | 609293 | 25585 183258 717514 | 59827 58256 21 | 5.192 % |
191.64/191.67 c | 610833 | 25585 183258 717514 | 58963 59796 21 | 5.192 % |
192.34/192.39 c | 612529 | 25585 183258 717514 | 58963 53148 21 | 5.192 % |
192.84/192.87 c | 614392 | 25585 183258 717514 | 58963 55011 21 | 5.192 % |
193.34/193.37 c | 616441 | 25585 183258 717514 | 58963 57060 21 | 5.192 % |
193.94/193.94 c | 618694 | 25585 183258 717514 | 58963 59313 21 | 5.192 % |
194.84/194.82 c | 621172 | 25585 183258 717514 | 51390 52562 20 | 5.192 % |
195.54/195.60 c | 623897 | 25585 183258 717514 | 51390 47840 20 | 5.192 % |
196.24/196.28 c | 626908 | 25585 183258 717514 | 51390 50851 20 | 5.192 % |
197.14/197.16 c | 630212 | 25585 183258 717514 | 47409 47618 21 | 5.192 % |
198.14/198.15 c | 633837 | 25585 183258 717514 | 47409 44869 21 | 5.192 % |
199.04/199.04 c | 637824 | 25585 183258 717514 | 47409 48856 21 | 5.192 % |
200.04/200.11 c | 642210 | 25585 183258 717514 | 2147483647 48357 20 | 5.192 % |
201.14/201.20 c | 647033 | 25585 183258 717514 | 2147483647 53180 20 | 5.192 % |
202.74/202.74 c | 652338 | 25585 183258 717514 | 2147483647 58485 20 | 5.192 % |
204.34/204.40 c | 658176 | 25585 183258 717514 | 2147483647 64323 20 | 5.192 % |
204.44/204.45 c | 658276 | 25585 183258 717514 | 2147483647 64423 20 | 5.192 % |
204.44/204.50 c | 658386 | 25585 183258 717514 | 2147483647 64533 20 | 5.192 % |
204.54/204.54 c | 658511 | 25585 183258 717514 | 2147483647 64658 20 | 5.192 % |
204.54/204.59 c | 658644 | 25585 183258 717514 | 2147483647 64791 20 | 5.192 % |
204.65/204.63 c | 658790 | 25585 183258 717514 | 2147483647 64937 20 | 5.192 % |
204.65/204.68 c | 658965 | 25585 183258 717514 | 2147483647 65112 20 | 5.192 % |
204.74/204.73 c | 659142 | 25585 183258 717514 | 2147483647 65289 20 | 5.192 % |
204.74/204.79 c | 659336 | 25585 183258 717514 | 2147483647 65483 20 | 5.192 % |
204.84/204.86 c | 659551 | 25585 183258 717514 | 2147483647 65698 20 | 5.192 % |
204.94/204.95 c | 659788 | 25585 183258 717514 | 2147483647 65935 20 | 5.192 % |
205.04/205.03 c | 660050 | 25585 183258 717514 | 66149 66197 20 | 5.192 % |
205.14/205.12 c | 660331 | 25585 183258 717514 | 66149 66478 20 | 5.192 % |
205.24/205.21 c | 660643 | 25585 183258 717514 | 66149 66790 20 | 5.192 % |
205.34/205.31 c | 660982 | 25585 183258 717514 | 66149 67129 20 | 5.192 % |
205.44/205.43 c | 661354 | 25585 183258 717514 | 66149 67501 20 | 5.192 % |
205.84/205.85 c | 661765 | 25585 183258 717514 | 66149 56885 20 | 5.192 % |
205.94/205.98 c | 662214 | 25585 183258 717514 | 66149 57334 20 | 5.192 % |
206.14/206.11 c | 662707 | 25585 183258 717514 | 66149 57827 20 | 5.192 % |
206.24/206.25 c | 663250 | 25585 183258 717514 | 66149 58370 20 | 5.192 % |
206.34/206.41 c | 663846 | 25585 183258 717514 | 66149 58966 20 | 5.192 % |
206.54/206.58 c | 664502 | 25585 183258 717514 | 66149 59622 20 | 5.192 % |
206.74/206.79 c | 665222 | 25585 183258 717514 | 66149 60342 20 | 5.192 % |
207.04/207.01 c | 666014 | 25585 183258 717514 | 66149 61134 20 | 5.192 % |
207.24/207.27 c | 666889 | 25585 183258 717514 | 66149 62009 20 | 5.192 % |
207.54/207.54 c | 667847 | 25585 183258 717514 | 66149 62967 20 | 5.192 % |
207.84/207.83 c | 668900 | 25585 183258 717514 | 66149 64020 20 | 5.192 % |
208.14/208.19 c | 670060 | 25585 183258 717514 | 65120 65180 20 | 5.192 % |
208.54/208.57 c | 671333 | 25585 183258 717514 | 65120 66453 20 | 5.192 % |
209.24/209.24 c | 672733 | 25585 183258 717514 | 65120 55743 20 | 5.192 % |
209.64/209.64 c | 674275 | 25585 183258 717514 | 65120 57285 20 | 5.192 % |
210.04/210.08 c | 675969 | 25585 183258 717514 | 65120 58979 20 | 5.192 % |
210.54/210.57 c | 677832 | 25585 183258 717514 | 65120 60842 20 | 5.192 % |
211.14/211.12 c | 679883 | 25585 183258 717514 | 65120 62893 20 | 5.192 % |
212.04/212.02 c | 682136 | 25585 183258 717514 | 63010 52948 20 | 5.192 % |
212.64/212.65 c | 684614 | 25585 183258 717514 | 63010 55426 20 | 5.192 % |
213.34/213.35 c | 687339 | 25585 183258 717514 | 63010 58151 20 | 5.192 % |
214.14/214.11 c | 690337 | 25585 183258 717514 | 60812 61149 20 | 5.192 % |
215.14/215.13 c | 693633 | 25585 183258 717514 | 60812 54485 20 | 5.192 % |
216.04/216.03 c | 697259 | 25585 183258 717514 | 60812 58111 20 | 5.192 % |
217.04/217.11 c | 701246 | 25585 183258 717514 | 60854 62098 20 | 5.192 % |
218.44/218.49 c | 705632 | 25585 183258 717514 | 60854 56275 20 | 5.192 % |
219.74/219.74 c | 710455 | 25585 183258 717514 | 60643 61098 20 | 5.192 % |
221.34/221.37 c | 715761 | 25585 183258 717514 | 60643 56617 20 | 5.192 % |
223.24/223.26 c | 721596 | 25585 183258 717514 | 60856 52055 20 | 5.192 % |
224.84/224.87 c | 728018 | 25585 183258 717514 | 60856 58477 20 | 5.192 % |
224.94/224.91 c | 728118 | 25585 183258 717514 | 60856 58577 20 | 5.192 % |
224.94/224.94 c | 728230 | 25585 183258 717514 | 60856 58689 20 | 5.192 % |
224.94/224.98 c | 728354 | 25585 183258 717514 | 60856 58813 20 | 5.192 % |
225.04/225.02 c | 728487 | 25585 183258 717514 | 60856 58946 20 | 5.192 % |
225.04/225.06 c | 728633 | 25585 183258 717514 | 60856 59092 20 | 5.192 % |
225.14/225.12 c | 728793 | 25585 183258 717514 | 60856 59252 20 | 5.192 % |
225.14/225.18 c | 728970 | 25585 183258 717514 | 60856 59429 20 | 5.192 % |
225.24/225.23 c | 729163 | 25585 183258 717514 | 60856 59622 20 | 5.192 % |
225.24/225.29 c | 729375 | 25585 183258 717514 | 60856 59834 20 | 5.192 % |
225.34/225.37 c | 729609 | 25585 183258 717514 | 60856 60068 20 | 5.192 % |
225.44/225.45 c | 729865 | 25585 183258 717514 | 60856 60324 20 | 5.192 % |
225.55/225.54 c | 730146 | 25585 183258 717514 | 60460 60605 20 | 5.192 % |
225.64/225.62 c | 730455 | 25585 183258 717514 | 60460 60914 20 | 5.192 % |
225.74/225.73 c | 730794 | 25585 183258 717514 | 60460 61253 20 | 5.192 % |
225.84/225.84 c | 731166 | 25585 183258 717514 | 60460 61625 20 | 5.192 % |
225.94/225.99 c | 731576 | 25585 183258 717514 | 60460 62035 20 | 5.192 % |
226.44/226.43 c | 732025 | 25585 183258 717514 | 60460 52673 20 | 5.192 % |
226.54/226.57 c | 732525 | 25585 183258 717514 | 60460 53173 20 | 5.192 % |
226.74/226.72 c | 733071 | 25585 183258 717514 | 60460 53719 20 | 5.192 % |
226.84/226.90 c | 733667 | 25585 183258 717514 | 60460 54315 20 | 5.192 % |
227.04/227.09 c | 734322 | 25585 183258 717514 | 60460 54970 20 | 5.192 % |
227.24/227.29 c | 735043 | 25585 183258 717514 | 60460 55691 20 | 5.192 % |
227.54/227.53 c | 735835 | 25585 183258 717514 | 60460 56483 20 | 5.192 % |
227.75/227.77 c | 736707 | 25585 183258 717514 | 60460 57355 20 | 5.192 % |
228.04/228.02 c | 737665 | 25585 183258 717514 | 60460 58313 20 | 5.192 % |
228.34/228.31 c | 738719 | 25585 183258 717514 | 60460 59367 20 | 5.192 % |
228.64/228.64 c | 739877 | 25585 183258 717514 | 60460 60525 20 | 5.192 % |
229.04/229.01 c | 741152 | 25585 183258 717514 | 60648 61800 20 | 5.192 % |
229.84/229.82 c | 742553 | 25585 183258 717514 | 60648 53798 20 | 5.192 % |
230.24/230.27 c | 744093 | 25585 183258 717514 | 60648 55338 20 | 5.192 % |
230.74/230.73 c | 745788 | 25585 183258 717514 | 60648 57033 20 | 5.192 % |
231.24/231.28 c | 747657 | 25585 183258 717514 | 60648 58902 20 | 5.192 % |
231.84/231.88 c | 749707 | 25585 183258 717514 | 60648 60952 20 | 5.192 % |
232.74/232.75 c | 751971 | 25585 183258 717514 | 61247 53648 20 | 5.192 % |
233.34/233.40 c | 754450 | 25585 183258 717514 | 61247 56127 20 | 5.192 % |
234.14/234.15 c | 757175 | 25585 183258 717514 | 61247 58852 20 | 5.192 % |
234.94/234.96 c | 760172 | 25585 183258 717514 | 61680 61849 20 | 5.192 % |
236.14/236.14 c | 763478 | 25585 183258 717514 | 61680 54032 20 | 5.192 % |
237.05/237.10 c | 767105 | 25585 183258 717514 | 61680 57659 20 | 5.192 % |
238.15/238.18 c | 771101 | 25585 183258 717514 | 60554 61655 20 | 5.192 % |
239.55/239.56 c | 775487 | 25585 183258 717514 | 60554 54433 20 | 5.192 % |
240.85/240.83 c | 780310 | 25585 183258 717514 | 58946 59256 20 | 5.192 % |
242.35/242.40 c | 785615 | 25585 183258 717514 | 58946 53376 20 | 5.192 % |
244.05/244.07 c | 791451 | 25585 183258 717514 | 57761 59212 20 | 5.192 % |
245.95/245.93 c | 797869 | 25585 183258 717514 | 57761 56376 20 | 5.192 % |
248.05/248.08 c | 804928 | 25585 183258 717514 | 58511 52363 20 | 5.192 % |
248.05/248.11 c | 805032 | 25585 183258 717514 | 58511 52467 20 | 5.192 % |
248.15/248.15 c | 805143 | 25585 183258 717514 | 58511 52578 20 | 5.192 % |
248.15/248.19 c | 805264 | 25585 183258 717514 | 58511 52699 20 | 5.192 % |
248.25/248.22 c | 805397 | 25585 183258 717514 | 58511 52832 20 | 5.192 % |
248.25/248.27 c | 805547 | 25585 183258 717514 | 58511 52982 20 | 5.192 % |
248.35/248.32 c | 805707 | 25585 183258 717514 | 58511 53142 20 | 5.192 % |
248.35/248.37 c | 805883 | 25585 183258 717514 | 58511 53318 20 | 5.192 % |
248.45/248.42 c | 806078 | 25585 183258 717514 | 58511 53513 20 | 5.192 % |
248.45/248.49 c | 806290 | 25585 183258 717514 | 58511 53725 20 | 5.192 % |
248.55/248.56 c | 806523 | 25585 183258 717514 | 58511 53958 20 | 5.192 % |
248.65/248.63 c | 806779 | 25585 183258 717514 | 58511 54214 20 | 5.192 % |
248.65/248.71 c | 807063 | 25585 183258 717514 | 58511 54498 20 | 5.192 % |
248.75/248.80 c | 807375 | 25585 183258 717514 | 58511 54810 20 | 5.192 % |
248.85/248.90 c | 807716 | 25585 183258 717514 | 58511 55151 20 | 5.192 % |
248.95/248.99 c | 808089 | 25585 183258 717514 | 58511 55524 20 | 5.192 % |
249.05/249.09 c | 808499 | 25585 183258 717514 | 58511 55934 20 | 5.192 % |
249.15/249.20 c | 808948 | 25585 183258 717514 | 58511 56383 20 | 5.192 % |
249.35/249.33 c | 809441 | 25585 183258 717514 | 58511 56876 20 | 5.192 % |
249.45/249.48 c | 809983 | 25585 183258 717514 | 58511 57418 20 | 5.192 % |
249.65/249.64 c | 810580 | 25585 183258 717514 | 57435 58015 20 | 5.192 % |
249.85/249.83 c | 811237 | 25585 183258 717514 | 57435 58672 20 | 5.192 % |
250.55/250.52 c | 811959 | 25585 183258 717514 | 57435 49881 20 | 5.192 % |
250.65/250.71 c | 812754 | 25585 183258 717514 | 57435 50676 20 | 5.192 % |
250.85/250.91 c | 813627 | 25585 183258 717514 | 57435 51549 20 | 5.192 % |
251.15/251.14 c | 814585 | 25585 183258 717514 | 57435 52507 20 | 5.192 % |
251.35/251.38 c | 815641 | 25585 183258 717514 | 57435 53563 20 | 5.192 % |
251.65/251.64 c | 816799 | 25585 183258 717514 | 57435 54721 20 | 5.192 % |
251.95/251.94 c | 818078 | 25585 183258 717514 | 57435 56000 20 | 5.192 % |
252.25/252.29 c | 819478 | 25585 183258 717514 | 57435 57400 20 | 5.192 % |
252.65/252.68 c | 821019 | 25585 183258 717514 | 57925 58941 20 | 5.192 % |
253.65/253.64 c | 822714 | 25585 183258 717514 | 57925 51326 20 | 5.192 % |
254.05/254.10 c | 824577 | 25585 183258 717514 | 57925 53189 20 | 5.192 % |
254.65/254.62 c | 826627 | 25585 183258 717514 | 57925 55239 20 | 5.192 % |
255.15/255.17 c | 828880 | 25585 183258 717514 | 57925 57492 20 | 5.192 % |
255.85/255.83 c | 831360 | 25585 183258 717514 | 58612 59972 20 | 5.192 % |
256.75/256.80 c | 834087 | 25585 183258 717514 | 58612 52515 20 | 5.192 % |
257.55/257.60 c | 837089 | 25585 183258 717514 | 58612 55517 20 | 5.192 % |
258.55/258.54 c | 840385 | 25585 183258 717514 | 58431 58813 20 | 5.192 % |
259.65/259.65 c | 844010 | 25585 183258 717514 | 58431 52342 20 | 5.192 % |
260.55/260.60 c | 847998 | 25585 183258 717514 | 58431 56330 20 | 5.192 % |
262.05/262.09 c | 852384 | 25585 183258 717514 | 58332 49543 20 | 5.192 % |
263.25/263.25 c | 857207 | 25583 183252 717493 | 58332 54365 20 | 5.199 % |
264.75/264.79 c | 862512 | 25583 183252 717493 | 57163 49135 20 | 5.199 % |
266.05/266.09 c | 868347 | 25583 183252 717493 | 57163 54970 20 | 5.199 % |
267.85/267.89 c | 874766 | 25583 183252 717493 | 56625 51476 20 | 5.199 % |
269.85/269.82 c | 881826 | 25583 183252 717493 | 56710 49041 20 | 5.199 % |
271.55/271.55 c | 889591 | 25583 183252 717493 | 56710 56806 20 | 5.199 % |
271.55/271.59 c | 889692 | 25583 183252 717493 | 56710 56907 20 | 5.199 % |
271.65/271.62 c | 889803 | 25583 183252 717493 | 56710 57018 20 | 5.199 % |
271.65/271.65 c | 889924 | 25583 183252 717493 | 56710 57139 20 | 5.199 % |
271.65/271.68 c | 890060 | 25583 183252 717493 | 57227 57275 20 | 5.199 % |
271.75/271.72 c | 890213 | 25583 183252 717493 | 57227 57428 20 | 5.199 % |
271.75/271.76 c | 890373 | 25583 183252 717493 | 57227 57588 20 | 5.199 % |
271.75/271.80 c | 890557 | 25583 183252 717493 | 57227 57772 20 | 5.199 % |
271.85/271.85 c | 890750 | 25583 183252 717493 | 57227 57965 20 | 5.199 % |
271.95/271.92 c | 890966 | 25583 183252 717493 | 57227 58181 20 | 5.199 % |
271.95/271.98 c | 891201 | 25583 183252 717493 | 57227 58416 20 | 5.199 % |
272.05/272.05 c | 891457 | 25583 183252 717493 | 57227 58672 20 | 5.199 % |
272.35/272.34 c | 891741 | 25583 183252 717493 | 57227 49377 20 | 5.199 % |
272.35/272.41 c | 892051 | 25583 183252 717493 | 57227 49687 20 | 5.199 % |
272.45/272.49 c | 892402 | 25583 183252 717493 | 57227 50038 20 | 5.199 % |
272.55/272.57 c | 892774 | 25583 183252 717493 | 57227 50410 20 | 5.199 % |
272.65/272.66 c | 893183 | 25583 183252 717493 | 57227 50819 20 | 5.199 % |
272.75/272.76 c | 893643 | 25583 183252 717493 | 57227 51279 20 | 5.199 % |
272.85/272.86 c | 894146 | 25583 183252 717493 | 57227 51782 20 | 5.199 % |
272.95/272.98 c | 894688 | 25583 183252 717493 | 57227 52324 20 | 5.199 % |
273.15/273.12 c | 895285 | 25583 183252 717493 | 57227 52921 20 | 5.199 % |
273.25/273.27 c | 895946 | 25583 183252 717493 | 57227 53582 20 | 5.199 % |
273.45/273.44 c | 896668 | 25583 183252 717493 | 57227 54304 20 | 5.199 % |
273.65/273.64 c | 897464 | 25583 183252 717493 | 57227 55100 20 | 5.199 % |
273.85/273.85 c | 898337 | 25583 183252 717493 | 57227 55973 20 | 5.199 % |
274.05/274.09 c | 899295 | 25583 183252 717493 | 57227 56931 20 | 5.199 % |
274.35/274.36 c | 900350 | 25583 183252 717493 | 57636 57986 20 | 5.199 % |
274.65/274.67 c | 901511 | 25583 183252 717493 | 57636 59147 20 | 5.199 % |
275.15/275.20 c | 902787 | 25583 183252 717493 | 57636 48780 20 | 5.199 % |
275.45/275.50 c | 904189 | 25583 183252 717493 | 57636 50182 20 | 5.199 % |
275.85/275.86 c | 905729 | 25583 183252 717493 | 57636 51722 20 | 5.199 % |
276.25/276.25 c | 907423 | 25583 183252 717493 | 57636 53416 20 | 5.199 % |
276.65/276.69 c | 909286 | 25583 183252 717493 | 57636 55279 20 | 5.199 % |
277.15/277.18 c | 911336 | 25583 183252 717493 | 55994 57329 20 | 5.199 % |
277.85/277.90 c | 913594 | 25583 183252 717493 | 55994 49440 19 | 5.199 % |
278.45/278.44 c | 916080 | 25583 183252 717493 | 55994 51926 19 | 5.199 % |
279.05/279.08 c | 918808 | 25583 183252 717493 | 55994 54654 19 | 5.199 % |
280.15/280.19 c | 921805 | 25583 183252 717493 | 55846 47058 19 | 5.199 % |
280.85/280.89 c | 925106 | 25583 183252 717493 | 55846 50359 19 | 5.199 % |
281.75/281.72 c | 928731 | 25583 183252 717493 | 55846 53984 19 | 5.199 % |
282.85/282.90 c | 932719 | 25583 183252 717493 | 55253 48739 19 | 5.199 % |
283.85/283.83 c | 937107 | 25583 183252 717493 | 55253 53127 19 | 5.199 % |
285.35/285.36 c | 941931 | 25583 183252 717493 | 56024 48492 19 | 5.199 % |
286.55/286.57 c | 947238 | 25583 183252 717493 | 56024 53799 18 | 5.199 % |
288.15/288.11 c | 953074 | 25583 183252 717493 | 56563 49413 18 | 5.199 % |
289.55/289.55 c | 959493 | 25583 183252 717493 | 56563 55832 18 | 5.199 % |
291.35/291.32 c | 966552 | 25583 183252 717493 | 56339 53588 18 | 5.199 % |
293.25/293.26 c | 974317 | 25583 183252 717493 | 57038 51969 18 | 5.199 % |
295.15/295.17 c | 982857 | 25568 183085 716730 | 26007 26108 19 | 5.255 % |
295.15/295.18 c | 982963 | 25568 183085 716730 | 26007 26214 19 | 5.255 % |
295.15/295.19 c | 983073 | 25568 183085 716730 | 26007 26324 19 | 5.255 % |
295.25/295.21 c | 983195 | 25568 183085 716730 | 26007 26446 19 | 5.255 % |
295.25/295.23 c | 983328 | 25568 183085 716730 | 26007 26579 19 | 5.255 % |
295.25/295.25 c | 983474 | 25568 183085 716730 | 26007 26725 19 | 5.255 % |
295.25/295.27 c | 983637 | 25568 183085 716730 | 26007 26888 19 | 5.255 % |
295.25/295.30 c | 983813 | 25568 183085 716730 | 26007 27064 19 | 5.255 % |
295.35/295.33 c | 984014 | 25568 183085 716730 | 26007 27265 19 | 5.255 % |
295.35/295.36 c | 984227 | 25568 183085 716730 | 26007 27478 18 | 5.255 % |
295.45/295.44 c | 984461 | 25568 183085 716730 | 26007 24965 19 | 5.255 % |
295.45/295.47 c | 984717 | 25568 183085 716730 | 26007 25221 19 | 5.255 % |
295.55/295.51 c | 984998 | 25568 183085 716730 | 26007 25502 19 | 5.255 % |
295.55/295.55 c | 985307 | 25568 183085 716730 | 26007 25811 19 | 5.255 % |
295.55/295.60 c | 985648 | 25568 183085 716730 | 26007 26152 19 | 5.255 % |
295.65/295.66 c | 986020 | 25568 183085 716730 | 26007 26524 19 | 5.255 % |
295.75/295.72 c | 986434 | 25568 183085 716730 | 26007 26938 19 | 5.255 % |
295.75/295.78 c | 986884 | 25568 183085 716730 | 26007 27388 18 | 5.255 % |
295.85/295.88 c | 987378 | 25568 183085 716730 | 26007 25124 19 | 5.255 % |
295.96/295.95 c | 987920 | 25568 183085 716730 | 26007 25666 18 | 5.255 % |
296.05/296.02 c | 988516 | 25568 183085 716730 | 26007 26262 19 | 5.255 % |
296.05/296.11 c | 989171 | 25568 183085 716730 | 26007 26917 19 | 5.255 % |
296.25/296.25 c | 989891 | 25568 183085 716730 | 26007 24876 18 | 5.255 % |
296.35/296.35 c | 990684 | 25568 183085 716730 | 2147483647 25669 19 | 5.255 % |
296.45/296.46 c | 991555 | 25568 183085 716730 | 2147483647 26540 18 | 5.255 % |
296.55/296.59 c | 992515 | 25568 183085 716730 | 2147483647 27500 18 | 5.255 % |
296.75/296.73 c | 993572 | 25568 183085 716730 | 2147483647 28557 18 | 5.255 % |
296.85/296.88 c | 994732 | 25568 183085 716730 | 2147483647 29717 18 | 5.255 % |
297.06/297.06 c | 996014 | 25568 183085 716730 | 2147483647 30999 18 | 5.255 % |
297.25/297.27 c | 997416 | 25568 183085 716730 | 2147483647 32401 18 | 5.255 % |
297.55/297.51 c | 998956 | 25568 183085 716730 | 2147483647 33941 18 | 5.255 % |
297.85/297.87 c | 1000651 | 25553 182951 716165 | 2147483647 19627 18 | 5.310 % |
298.05/298.07 c | 1002522 | 25553 182951 716165 | 2147483647 21498 18 | 5.310 % |
298.25/298.30 c | 1004574 | 25552 182951 716165 | 2147483647 23549 17 | 5.366 % |
298.45/298.50 c ===============================================================================
298.45/298.50 c restarts : 1211
298.45/298.50 c conflicts : 1006286 (3410 /sec)
298.45/298.50 c decisions : 2748586 (1.85 % random) (9315 /sec)
298.45/298.50 c propagations : 123983697 (420170 /sec)
298.45/298.50 c conflict literals : 24160270 (36.38 % deleted)
298.45/298.50 c Memory used : 42.04 MB
298.45/298.50 c CPU time : 295.08 s
298.45/298.50 c
298.45/298.50 s UNSATISFIABLE
298.45/298.51 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821898-1242577859/watcher-1821898-1242577859 -o /tmp/evaluation-result-1821898-1242577859/solver-1821898-1242577859 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821898-1242577859.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: 8192 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 6287
/proc/meminfo: memFree=796432/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=952 CPUtime=0
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 113 0 0 0 0 0 0 0 25 0 1 0 1022287006 974848 50 4294967295 134512640 135223648 3212936032 3212935000 134700496 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 238 50 40 174 0 63 0
[startup+0.023933 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 6287
/proc/meminfo: memFree=796432/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=4448 CPUtime=0.02
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 860 0 0 0 2 0 0 0 25 0 1 0 1022287006 4554752 797 4294967295 134512640 135223648 3212936032 3212934616 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 1112 798 46 174 0 937 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 6864
[startup+0.113918 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 6287
/proc/meminfo: memFree=796432/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=18360 CPUtime=0.11
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 4013 0 0 0 9 2 0 0 25 0 1 0 1022287006 18800640 3949 4294967295 134512640 135223648 3212936032 3212934912 134543757 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 4590 3950 46 174 0 4415 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 20776
[startup+0.313897 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 6287
/proc/meminfo: memFree=796432/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=43812 CPUtime=0.31
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 10651 0 0 0 28 3 0 0 25 0 1 0 1022287006 44863488 10587 4294967295 134512640 135223648 3212936032 3212934600 134718983 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 10953 10589 46 174 0 10778 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 46228
[startup+0.713909 s]
/proc/loadavg: 0.92 0.98 0.99 2/93 6287
/proc/meminfo: memFree=796432/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=77748 CPUtime=0.71
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 17638 0 0 0 66 5 0 0 25 0 1 0 1022287006 79613952 16258 4294967295 134512640 135223648 3212936032 3212933936 134734703 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 19437 16263 73 174 0 19262 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 80164
[startup+1.51378 s]
/proc/loadavg: 0.92 0.98 0.99 2/95 6292
/proc/meminfo: memFree=726588/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=81820 CPUtime=1.51
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 18604 0 0 0 144 7 0 0 25 0 1 0 1022287006 83783680 17224 4294967295 134512640 135223648 3212936032 3212934032 134548347 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 20455 17224 73 174 0 20280 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 84236
[startup+3.11362 s]
/proc/loadavg: 0.92 0.98 0.99 3/95 6292
/proc/meminfo: memFree=713320/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2416 CPUtime=0.01
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 367 644 0 0 0 0 0 1 25 0 1 0 1022287006 2473984 277 4294967295 134512640 135169312 3221193536 3221192072 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 604 277 235 161 0 43 0
[pid=6291] ppid=6287 vsize=85080 CPUtime=3.11
/proc/6291/stat : 6291 (SatELite_releas) R 6287 6287 20977 0 -1 4202496 21048 0 0 0 302 9 0 0 25 0 1 0 1022287006 87121920 17953 4294967295 134512640 135223648 3212936032 3212932652 134737406 0 0 0 3 0 0 0 17 2 0 0 0
/proc/6291/statm: 21270 17953 73 174 0 21095 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 87496
[startup+6.31331 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 6293
/proc/meminfo: memFree=763664/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=15392 CPUtime=3.05
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 3755 0 0 0 304 1 0 0 25 0 1 0 1022287333 15761408 3690 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 3848 3690 73 172 0 3675 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 17812
[startup+12.7127 s]
/proc/loadavg: 0.93 0.98 0.99 2/95 6293
/proc/meminfo: memFree=759016/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=20176 CPUtime=9.45
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 4951 0 0 0 943 2 0 0 25 0 1 0 1022287333 20660224 4886 4294967295 134512640 135215339 3215431200 3215429472 134525654 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 5044 4886 73 172 0 4871 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 22596
[startup+25.5114 s]
/proc/loadavg: 0.95 0.98 0.99 2/95 6295
/proc/meminfo: memFree=747672/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=31120 CPUtime=22.25
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 7699 0 0 0 2219 6 0 0 25 0 1 0 1022287333 31866880 7634 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 7780 7634 73 172 0 7607 0
Current children cumulated CPU time (s) 25.52
Current children cumulated vsize (KiB) 33540
[startup+51.1089 s]
/proc/loadavg: 0.96 0.98 0.99 2/95 6479
/proc/meminfo: memFree=737500/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=41324 CPUtime=47.85
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10218 0 0 0 4771 14 0 0 25 0 1 0 1022287333 42315776 10153 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10331 10153 73 172 0 10158 0
Current children cumulated CPU time (s) 51.12
Current children cumulated vsize (KiB) 43744
[startup+102.314 s]
/proc/loadavg: 0.98 0.98 0.99 4/95 6667
/proc/meminfo: memFree=735056/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=42828 CPUtime=99.06
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10586 0 0 0 9890 16 0 0 25 0 1 0 1022287333 43855872 10521 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10707 10521 73 172 0 10534 0
Current children cumulated CPU time (s) 102.33
Current children cumulated vsize (KiB) 45248
[startup+162.318 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 6858
/proc/meminfo: memFree=735444/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=42828 CPUtime=159.07
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10592 0 0 0 15891 16 0 0 25 0 1 0 1022287333 43855872 10527 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10707 10527 73 172 0 10534 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 45248
[startup+222.312 s]
/proc/loadavg: 0.99 0.98 0.99 2/95 7047
/proc/meminfo: memFree=735436/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=42828 CPUtime=219.07
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10593 0 0 0 21888 19 0 0 25 0 1 0 1022287333 43855872 10528 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10707 10528 73 172 0 10534 0
Current children cumulated CPU time (s) 222.34
Current children cumulated vsize (KiB) 45248
[startup+282.316 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7234
/proc/meminfo: memFree=735320/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=43040 CPUtime=279.08
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10625 0 0 0 27889 19 0 0 25 0 1 0 1022287333 44072960 10560 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10760 10560 73 172 0 10587 0
Current children cumulated CPU time (s) 282.35
Current children cumulated vsize (KiB) 45460
Solver just ended. Dumping a history of the last processes samples
[startup+287.916 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7234
/proc/meminfo: memFree=735424/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=43040 CPUtime=284.68
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10627 0 0 0 28449 19 0 0 25 0 1 0 1022287333 44072960 10562 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10760 10562 73 172 0 10587 0
Current children cumulated CPU time (s) 287.95
Current children cumulated vsize (KiB) 45460
[startup+294.315 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7235
/proc/meminfo: memFree=735424/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=43040 CPUtime=291.08
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10627 0 0 0 29089 19 0 0 25 0 1 0 1022287333 44072960 10562 4294967295 134512640 135215339 3215431200 3215429408 134526033 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10760 10562 73 172 0 10587 0
Current children cumulated CPU time (s) 294.35
Current children cumulated vsize (KiB) 45460
[startup+295.925 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7236
/proc/meminfo: memFree=735456/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=43040 CPUtime=292.69
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10627 0 0 0 29250 19 0 0 25 0 1 0 1022287333 44072960 10562 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10760 10562 73 172 0 10587 0
Current children cumulated CPU time (s) 295.96
Current children cumulated vsize (KiB) 45460
[startup+297.515 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7236
/proc/meminfo: memFree=735456/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=43040 CPUtime=294.28
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10627 0 0 0 29409 19 0 0 25 0 1 0 1022287333 44072960 10562 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10760 10562 73 172 0 10587 0
Current children cumulated CPU time (s) 297.55
Current children cumulated vsize (KiB) 45460
[startup+298.315 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7236
/proc/meminfo: memFree=735456/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2420 CPUtime=3.27
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 386 21694 0 0 0 0 316 11 18 0 1 0 1022287006 2478080 278 4294967295 134512640 135169312 3221193536 3221189752 3085647598 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/6287/statm: 605 278 235 161 0 44 0
[pid=6293] ppid=6287 vsize=43040 CPUtime=295.08
/proc/6293/stat : 6293 (minisat_static) R 6287 6287 20977 0 -1 4202496 10627 0 0 0 29489 19 0 0 25 0 1 0 1022287333 44072960 10562 4294967295 134512640 135215339 3215431200 3215429488 134528682 0 0 0 3 0 0 0 17 3 0 0 0
/proc/6293/statm: 10760 10562 73 172 0 10587 0
Current children cumulated CPU time (s) 298.35
Current children cumulated vsize (KiB) 45460
[startup+298.515 s]
/proc/loadavg: 0.99 0.98 0.99 3/95 7236
/proc/meminfo: memFree=735456/2074464 swapFree=1951864/1959888
[pid=6287] ppid=6285 vsize=2936 CPUtime=298.54
/proc/6287/stat : 6287 (SatELiteGTI) S 6285 6287 20977 0 -1 4194304 476 32328 0 0 0 0 29824 30 18 0 1 0 1022287006 3006464 346 4294967295 134512640 135169312 3221193536 3221188920 3085647598 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/6287/statm: 734 346 237 161 0 173 0
Current children cumulated CPU time (s) 298.54
Current children cumulated vsize (KiB) 2936
Child status: 20
Real time (s): 298.525
CPU time (s): 298.56
CPU user time (s): 298.24
CPU system time (s): 0.32
CPU usage (%): 100.012
Max. virtual memory (cumulated for all children) (KiB): 88748
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 298.24
system time used= 0.32
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32990
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= 20
involuntary context switches= 202
runsolver used 0.01 second user time and 0.02 second system time
The end
Begin job on tipi10 at 2009-05-17 18:30:59
IDJOB=1821898
IDBENCH=71717
IDSOLVER=657
FILE ID=tipi10/1821898-1242577859
PBS_JOBID=
Free space on /tmp= 3689 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE06/manol-pipe-g10id.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821898-1242577859/watcher-1821898-1242577859 -o /tmp/evaluation-result-1821898-1242577859/solver-1821898-1242577859 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821898-1242577859.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 79b8866c5f4be7f699958174c5be63e9
RANDOM SEED= 1022327408
Linux tipi10 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.367
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 796944 kB
Buffers: 48940 kB
Cached: 1108704 kB
SwapCached: 2732 kB
Active: 393432 kB
Inactive: 774288 kB
HighTotal: 1178688 kB
HighFree: 446772 kB
LowTotal: 895776 kB
LowFree: 350172 kB
SwapTotal: 1959888 kB
SwapFree: 1951864 kB
Dirty: 10028 kB
Writeback: 0 kB
AnonPages: 9312 kB
Mapped: 3116 kB
Slab: 101512 kB
PageTables: 484 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90584 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 3689 MiB
End job on tipi10 at 2009-05-17 18:35:58