0.00/0.00 c Parsing...
0.12/0.18 c ==============================================================================
0.12/0.18 c | | ORIGINAL | LEARNT | |
0.12/0.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.18 c ==============================================================================
0.12/0.18 c | 0 | 180421 522537 | 54126 0 0 nan | 0.000 % |
0.72/0.78 c | 0 | 120276 407848 | -- 0 -- -- | -- | -57310/-106300
0.72/0.78 c ==============================================================================
0.72/0.78 c Result : #vars: 20562 #clauses: 120276 #literals: 407848
0.72/0.78 c CPU time: 0.71 s
0.72/0.78 c ==============================================================================
0.92/0.93 c This is MiniSat 2.0 beta
0.92/0.93 c WARNING: for repeatability, setting FPU to use double precision
0.92/0.93 c ============================[ Problem Statistics ]=============================
0.92/0.93 c | |
0.92/0.93 c | Number of variables: 20562 |
0.92/0.93 c | Number of clauses: 120276 |
1.01/1.01 c | Parsing time: 0.07 s |
1.01/1.02 c ============================[ Search Statistics ]==============================
1.01/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.01/1.02 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.01/1.02 c ===============================================================================
1.01/1.02 c | 0 | 20562 120276 407848 | 40092 0 nan | 0.000 % |
1.01/1.03 c | 100 | 20562 120276 407848 | 40092 100 5 | 0.000 % |
1.01/1.04 c | 200 | 20560 120276 407848 | 40092 198 5 | 0.039 % |
1.01/1.05 c | 300 | 20560 120276 407848 | 40092 298 6 | 0.039 % |
1.01/1.07 c | 410 | 20560 120276 407848 | 40092 408 5 | 0.039 % |
1.01/1.09 c | 512 | 20556 120276 407848 | 40092 507 6 | 0.092 % |
1.01/1.10 c | 622 | 20549 120276 407848 | 40092 617 6 | 0.092 % |
1.11/1.12 c | 744 | 20549 120276 407848 | 40092 739 6 | 0.092 % |
1.11/1.15 c | 844 | 20545 120276 407848 | 40092 835 6 | 0.117 % |
1.11/1.17 c | 954 | 20544 120276 407848 | 40092 945 6 | 0.117 % |
1.11/1.18 c | 1076 | 20544 120276 407848 | 40092 1067 6 | 0.117 % |
1.11/1.19 c | 1210 | 20544 120276 407848 | 40092 1201 6 | 0.117 % |
1.11/1.20 c | 1311 | 20544 120276 407848 | 40092 1302 6 | 0.117 % |
1.11/1.20 c | 1421 | 20544 120276 407848 | 40092 1412 7 | 0.117 % |
1.11/1.20 c | 1542 | 20544 120276 407848 | 40092 1533 7 | 0.117 % |
1.11/1.21 c | 1675 | 20544 120276 407848 | 40092 1666 7 | 0.117 % |
1.20/1.21 c | 1823 | 20544 120276 407848 | 40092 1814 7 | 0.117 % |
1.20/1.23 c | 1923 | 20544 120276 407848 | 40092 1914 7 | 0.117 % |
1.20/1.23 c | 2033 | 20544 120276 407848 | 40092 2024 7 | 0.117 % |
1.20/1.23 c | 2155 | 20544 120276 407848 | 40092 2146 7 | 0.117 % |
1.20/1.23 c | 2289 | 20544 120276 407848 | 40092 2280 7 | 0.117 % |
1.20/1.24 c | 2436 | 20544 120276 407848 | 40092 2427 7 | 0.117 % |
1.20/1.25 c | 2596 | 20538 120141 407479 | 40092 2575 7 | 0.117 % |
1.20/1.25 c | 2696 | 20538 120141 407479 | 40092 2675 7 | 0.117 % |
1.20/1.26 c | 2806 | 20538 120141 407479 | 40092 2785 7 | 0.117 % |
1.20/1.26 c | 2927 | 20538 120141 407479 | 40092 2906 7 | 0.117 % |
1.20/1.27 c | 3061 | 20538 120141 407479 | 40092 3040 7 | 0.117 % |
1.20/1.31 c | 3207 | 20538 120141 407479 | 40092 3186 7 | 0.117 % |
1.30/1.31 c | 3369 | 20538 120141 407479 | 40092 3348 7 | 0.117 % |
1.30/1.32 c | 3545 | 20538 120141 407479 | 40092 3524 7 | 0.117 % |
1.30/1.32 c | 3645 | 20538 120141 407479 | 40092 3624 7 | 0.117 % |
1.30/1.32 c | 3757 | 20538 120141 407479 | 40092 3736 7 | 0.117 % |
1.30/1.33 c | 3878 | 20538 120141 407479 | 40092 3857 7 | 0.117 % |
1.30/1.33 c | 4011 | 20538 120141 407479 | 40092 3990 7 | 0.117 % |
1.30/1.33 c | 4158 | 20538 120141 407479 | 40092 4137 7 | 0.117 % |
1.30/1.34 c | 4318 | 20538 120141 407479 | 40092 4297 7 | 0.117 % |
1.30/1.34 c | 4497 | 20538 120141 407479 | 40092 4476 7 | 0.117 % |
1.30/1.35 c | 4690 | 20538 120141 407479 | 40092 4669 8 | 0.117 % |
1.30/1.35 c | 4791 | 20538 120141 407479 | 40092 4770 7 | 0.117 % |
1.30/1.35 c | 4901 | 20538 120141 407479 | 40092 4880 8 | 0.117 % |
1.30/1.35 c | 5024 | 20538 120141 407479 | 40092 5003 8 | 0.117 % |
1.30/1.35 c | 5158 | 20538 120141 407479 | 40092 5137 8 | 0.117 % |
1.30/1.36 c | 5304 | 20538 120141 407479 | 40092 5283 8 | 0.117 % |
1.30/1.36 c | 5465 | 20538 120141 407479 | 40092 5444 8 | 0.117 % |
1.30/1.37 c | 5642 | 20538 120141 407479 | 40092 5621 8 | 0.117 % |
1.30/1.38 c | 5835 | 20538 120141 407479 | 40092 5814 8 | 0.117 % |
1.30/1.38 c | 6048 | 20537 120141 407479 | 40092 6026 8 | 0.122 % |
1.30/1.39 c | 6149 | 20537 120141 407479 | 40092 6127 8 | 0.122 % |
1.30/1.39 c | 6259 | 20537 120141 407479 | 40092 6237 8 | 0.122 % |
1.30/1.41 c | 6380 | 20536 120141 407479 | 40092 6357 8 | 0.126 % |
1.40/1.41 c | 6513 | 20536 120141 407479 | 40092 6490 8 | 0.126 % |
1.40/1.41 c | 6659 | 20531 120141 407479 | 40092 6635 8 | 0.156 % |
1.40/1.42 c | 6821 | 20531 120141 407479 | 40092 6797 8 | 0.156 % |
1.40/1.42 c | 6999 | 20513 120141 407479 | 40092 6972 8 | 0.345 % |
1.40/1.42 c | 7193 | 20513 120141 407479 | 40092 7166 8 | 0.345 % |
1.40/1.43 c | 7406 | 20513 120141 407479 | 40092 7379 8 | 0.345 % |
1.40/1.44 c | 7639 | 20513 120141 407479 | 40092 7612 8 | 0.345 % |
1.40/1.44 c | 7739 | 20513 120141 407479 | 40092 7712 8 | 0.345 % |
1.40/1.44 c | 7850 | 20513 120141 407479 | 40092 7823 8 | 0.345 % |
1.40/1.45 c | 7972 | 20508 120141 407479 | 40092 7944 8 | 0.389 % |
1.40/1.45 c | 8105 | 20505 120141 407479 | 40092 8076 8 | 0.404 % |
1.40/1.45 c | 8251 | 20505 120141 407479 | 40092 8222 8 | 0.404 % |
1.40/1.46 c | 8412 | 20505 120141 407479 | 40092 8383 8 | 0.404 % |
1.40/1.46 c | 8588 | 20505 120141 407479 | 40092 8559 8 | 0.404 % |
1.40/1.47 c | 8781 | 20497 120141 407479 | 40092 8752 8 | 0.404 % |
1.40/1.48 c | 8994 | 20497 120141 407479 | 40092 8965 8 | 0.404 % |
1.40/1.49 c | 9227 | 20497 120141 407479 | 40092 9198 8 | 0.404 % |
1.40/1.50 c | 9483 | 20493 120141 407479 | 40092 9453 8 | 0.467 % |
1.40/1.50 c | 9584 | 20492 120141 407479 | 40092 9554 8 | 0.467 % |
1.50/1.51 c | 9694 | 20492 120141 407479 | 40092 9664 8 | 0.467 % |
1.50/1.51 c | 9815 | 20492 120141 407479 | 40092 9785 8 | 0.467 % |
1.50/1.51 c | 9948 | 20492 120141 407479 | 40092 9918 8 | 0.467 % |
1.50/1.52 c | 10095 | 20492 120141 407479 | 2147483647 10065 8 | 0.467 % |
1.50/1.54 c | 10256 | 20466 119579 405724 | 2147483647 9731 8 | 0.467 % |
1.50/1.54 c | 10432 | 20466 119579 405724 | 2147483647 9907 8 | 0.467 % |
1.50/1.55 c | 10625 | 20464 119579 405724 | 2147483647 10098 8 | 0.545 % |
1.50/1.56 c | 10840 | 20459 119579 405724 | 2147483647 10313 8 | 0.545 % |
1.50/1.56 c | 11073 | 20452 119579 405724 | 2147483647 10544 8 | 0.579 % |
1.50/1.58 c | 11329 | 20441 119579 405724 | 2147483647 10799 8 | 0.613 % |
1.50/1.58 c | 11610 | 20441 119579 405724 | 2147483647 11080 8 | 0.613 % |
1.50/1.59 c | 11710 | 20441 119579 405724 | 2147483647 11180 8 | 0.613 % |
1.50/1.59 c | 11822 | 20437 119579 405724 | 2147483647 11291 8 | 0.647 % |
1.50/1.60 c | 11943 | 20437 119579 405724 | 2147483647 11412 8 | 0.647 % |
1.50/1.60 c | 12076 | 20437 119579 405724 | 2147483647 11545 8 | 0.647 % |
1.50/1.61 c | 12222 | 20437 119579 405724 | 2147483647 11691 8 | 0.647 % |
1.60/1.61 c | 12383 | 20420 119579 405724 | 2147483647 11850 8 | 0.768 % |
1.60/1.62 c | 12559 | 20420 119579 405724 | 2147483647 12026 8 | 0.768 % |
1.60/1.63 c | 12752 | 20417 119579 405724 | 2147483647 12219 8 | 0.768 % |
1.60/1.64 c | 12965 | 20417 119579 405724 | 2147483647 12432 8 | 0.768 % |
1.60/1.65 c | 13198 | 20417 119579 405724 | 2147483647 12665 8 | 0.768 % |
1.60/1.67 c | 13454 | 20417 119579 405724 | 2147483647 12921 8 | 0.768 % |
1.60/1.68 c | 13737 | 20417 119579 405724 | 2147483647 13204 8 | 0.768 % |
1.60/1.69 c | 14046 | 20417 119579 405724 | 2147483647 13512 8 | 0.783 % |
1.60/1.69 c | 14146 | 20415 119579 405724 | 2147483647 13612 8 | 0.783 % |
1.60/1.70 c | 14258 | 20403 119579 405724 | 2147483647 13723 8 | 0.851 % |
1.60/1.71 c | 14380 | 20403 119579 405724 | 2147483647 13845 8 | 0.851 % |
1.70/1.71 c | 14513 | 20400 119579 405724 | 2147483647 13977 8 | 0.875 % |
1.70/1.72 c | 14659 | 20400 119579 405724 | 2147483647 14123 8 | 0.875 % |
1.70/1.74 c | 14820 | 20395 119579 405724 | 2147483647 14284 8 | 0.875 % |
1.70/1.80 c | 14997 | 20395 119579 405724 | 2147483647 14461 8 | 0.875 % |
1.70/1.81 c | 15191 | 20395 119579 405724 | 2147483647 14655 8 | 0.875 % |
1.80/1.82 c | 15405 | 20394 119579 405724 | 2147483647 14867 8 | 0.934 % |
1.80/1.86 c | 15639 | 20388 119579 405724 | 2147483647 15100 8 | 0.953 % |
1.80/1.87 c | 15895 | 20388 119579 405724 | 2147483647 15356 8 | 0.953 % |
1.80/1.88 c | 16176 | 20383 119579 405724 | 2147483647 15636 8 | 0.987 % |
1.80/1.89 c | 16485 | 20381 119579 405724 | 2147483647 15945 8 | 0.987 % |
1.90/1.95 c | 16824 | 20354 118625 402624 | 2147483647 13448 8 | 1.012 % |
1.90/1.95 c | 16925 | 20350 118625 402624 | 2147483647 13548 8 | 1.075 % |
1.90/1.95 c | 17035 | 20350 118625 402624 | 2147483647 13658 8 | 1.075 % |
1.90/1.96 c | 17156 | 20350 118625 402624 | 2147483647 13779 8 | 1.075 % |
1.90/1.97 c | 17289 | 20350 118625 402624 | 2147483647 13912 8 | 1.075 % |
1.90/1.97 c | 17436 | 20350 118625 402624 | 2147483647 14059 8 | 1.075 % |
1.90/1.98 c | 17597 | 20350 118625 402624 | 2147483647 14220 8 | 1.075 % |
1.90/1.99 c | 17773 | 20350 118625 402624 | 2147483647 14395 8 | 1.138 % |
1.90/2.00 c | 17966 | 20343 118625 402624 | 2147483647 14588 8 | 1.138 % |
1.90/2.00 c | 18178 | 20343 118625 402624 | 2147483647 14800 8 | 1.138 % |
2.00/2.02 c | 18412 | 20343 118625 402624 | 2147483647 15034 8 | 1.138 % |
2.00/2.03 c | 18672 | 20343 118625 402624 | 2147483647 15294 8 | 1.138 % |
2.00/2.05 c | 18953 | 20343 118625 402624 | 2147483647 15575 8 | 1.138 % |
2.00/2.06 c | 19264 | 20339 118625 402624 | 2147483647 15885 8 | 1.157 % |
2.00/2.10 c | 19603 | 20336 118625 402624 | 2147483647 16224 8 | 1.157 % |
2.10/2.14 c | 19975 | 20336 118625 402624 | 2147483647 16596 8 | 1.157 % |
2.10/2.14 c | 20076 | 20329 118625 402624 | 2147483647 16695 8 | 1.226 % |
2.10/2.15 c | 20186 | 20328 118625 402624 | 2147483647 16804 8 | 1.230 % |
2.10/2.16 c | 20307 | 20328 118625 402624 | 2147483647 16925 8 | 1.230 % |
2.10/2.17 c | 20440 | 20328 118625 402624 | 2147483647 17058 8 | 1.230 % |
2.10/2.17 c | 20587 | 20328 118625 402624 | 2147483647 17205 8 | 1.230 % |
2.10/2.18 c | 20747 | 20328 118625 402624 | 2147483647 17365 8 | 1.230 % |
2.10/2.19 c | 20923 | 20328 118625 402624 | 2147483647 17541 8 | 1.230 % |
2.10/2.20 c | 21116 | 20328 118625 402624 | 2147483647 17734 8 | 1.230 % |
2.10/2.21 c | 21329 | 20328 118625 402624 | 2147483647 17947 8 | 1.230 % |
2.21/2.22 c | 21564 | 20328 118625 402624 | 2147483647 18182 9 | 1.230 % |
2.21/2.22 c | 21820 | 20328 118625 402624 | 2147483647 18438 9 | 1.230 % |
2.21/2.24 c | 22101 | 20319 118625 402624 | 2147483647 18718 9 | 1.313 % |
2.21/2.26 c | 22410 | 20310 118625 402624 | 2147483647 19022 9 | 1.566 % |
2.21/2.27 c | 22749 | 20270 118625 402624 | 2147483647 19360 9 | 1.595 % |
2.30/2.37 c | 23121 | 20231 117621 399395 | 2147483647 16124 8 | 1.610 % |
2.40/2.44 c | 23530 | 20218 117621 399395 | 2147483647 16531 8 | 1.819 % |
2.40/2.44 c | 23631 | 20218 117621 399395 | 2147483647 16632 8 | 1.819 % |
2.40/2.46 c | 23744 | 20218 117621 399395 | 2147483647 16745 8 | 1.819 % |
2.40/2.46 c | 23865 | 20218 117621 399395 | 2147483647 16866 8 | 1.819 % |
2.40/2.47 c | 24000 | 20215 117621 399395 | 2147483647 17000 8 | 1.877 % |
2.40/2.48 c | 24146 | 20202 117621 399395 | 2147483647 17144 8 | 1.965 % |
2.40/2.50 c | 24306 | 20186 117621 399395 | 2147483647 17303 8 | 1.975 % |
2.40/2.51 c | 24483 | 20186 117621 399395 | 2147483647 17480 8 | 1.975 % |
2.50/2.54 c | 24676 | 20186 117621 399395 | 2147483647 17673 8 | 1.975 % |
2.60/2.64 c | 24888 | 20185 117621 399395 | 2147483647 17885 8 | 1.975 % |
2.70/2.73 c | 25121 | 20185 117621 399395 | 2147483647 18118 8 | 1.975 % |
2.70/2.76 c | 25377 | 20177 117621 399395 | 2147483647 18373 8 | 2.018 % |
2.70/2.79 c | 25660 | 20177 117621 399395 | 2147483647 18656 8 | 2.018 % |
2.80/2.85 c | 25969 | 20142 117056 397653 | 2147483647 17021 8 | 2.043 % |
2.80/2.90 c | 26309 | 20117 117056 397653 | 2147483647 17355 8 | 2.213 % |
2.90/2.94 c | 26681 | 20098 117056 397653 | 2147483647 17721 8 | 2.295 % |
2.90/2.97 c | 27091 | 20097 117056 397653 | 2147483647 18131 8 | 2.296 % |
3.00/3.10 c | 27540 | 20095 117056 397653 | 2147483647 18580 8 | 2.295 % |
3.10/3.11 c | 27643 | 20095 117056 397653 | 2147483647 18683 8 | 2.295 % |
3.10/3.14 c | 27754 | 20095 117056 397653 | 2147483647 18794 8 | 2.295 % |
3.10/3.14 c | 27875 | 20095 117056 397653 | 2147483647 18915 8 | 2.295 % |
3.10/3.15 c | 28008 | 20095 117056 397653 | 2147483647 19048 8 | 2.295 % |
3.10/3.16 c | 28156 | 20091 117056 397653 | 2147483647 19195 8 | 2.339 % |
3.10/3.16 c | 28317 | 20087 117056 397653 | 2147483647 19356 8 | 2.339 % |
3.20/3.22 c | 28493 | 20086 117056 397653 | 2147483647 19532 8 | 2.339 % |
3.20/3.28 c | 28688 | 20084 117056 397653 | 2147483647 19725 8 | 2.349 % |
3.31/3.33 c | 28901 | 20079 116641 396344 | 2147483647 18620 7 | 2.349 % |
3.31/3.35 c | 29134 | 20079 116641 396344 | 2147483647 18853 7 | 2.349 % |
3.31/3.36 c | 29390 | 20079 116641 396344 | 2147483647 19109 7 | 2.349 % |
3.31/3.37 c | 29671 | 20076 116641 396344 | 2147483647 19389 7 | 2.364 % |
3.40/3.46 c | 29980 | 20051 116641 396344 | 2147483647 19696 7 | 2.544 % |
3.50/3.52 c | 30319 | 20051 116641 396344 | 2147483647 20035 7 | 2.544 % |
3.50/3.58 c | 30692 | 20024 116641 396344 | 2147483647 20406 8 | 2.738 % |
3.70/3.73 c | 31102 | 20021 116641 396344 | 2147483647 20816 8 | 2.738 % |
3.70/3.76 c | 31552 | 20019 116641 396344 | 2147483647 21264 8 | 2.748 % |
3.70/3.80 c | 32046 | 19996 116118 394682 | 2147483647 20578 8 | 2.753 % |
3.80/3.81 c | 32146 | 19996 116118 394682 | 2147483647 20678 8 | 2.753 % |
3.80/3.81 c | 32257 | 19996 116118 394682 | 2147483647 20789 8 | 2.753 % |
3.80/3.81 c | 32378 | 19996 116118 394682 | 2147483647 20910 8 | 2.753 % |
3.80/3.83 c | 32511 | 19996 116118 394682 | 2147483647 21043 8 | 2.753 % |
3.80/3.84 c | 32658 | 19985 116118 394682 | 2147483647 21187 8 | 2.845 % |
3.80/3.85 c | 32819 | 19985 116118 394682 | 2147483647 21348 8 | 2.845 % |
3.80/3.86 c | 32996 | 19981 116118 394682 | 2147483647 21525 8 | 2.845 % |
3.80/3.87 c | 33189 | 19976 116118 394682 | 2147483647 21715 8 | 2.869 % |
3.80/3.89 c | 33401 | 19973 116118 394682 | 2147483647 21926 8 | 2.884 % |
3.90/3.93 c | 33635 | 19970 116118 394682 | 2147483647 22158 8 | 2.942 % |
3.90/3.96 c | 33892 | 19965 116118 394682 | 2147483647 22411 8 | 3.025 % |
3.90/3.98 c | 34173 | 19965 116118 394682 | 2147483647 22692 8 | 3.025 % |
3.90/4.00 c | 34482 | 19963 116118 394682 | 2147483647 23001 8 | 3.025 % |
4.00/4.01 c | 34823 | 19963 116118 394682 | 2147483647 23342 8 | 3.025 % |
4.00/4.04 c | 35197 | 19963 116118 394682 | 2147483647 23716 8 | 3.025 % |
4.00/4.06 c | 35607 | 19963 116118 394682 | 2147483647 24126 8 | 3.025 % |
4.00/4.08 c | 36056 | 19962 116118 394682 | 2147483647 24574 8 | 3.030 % |
4.10/4.14 c | 36550 | 19961 116118 394682 | 2147483647 25067 8 | 3.035 % |
4.10/4.18 c | 37093 | 19961 116118 394682 | 2147483647 25610 8 | 3.035 % |
4.10/4.19 c | 37193 | 19960 116118 394682 | 2147483647 25709 8 | 3.040 % |
4.10/4.20 c | 37303 | 19959 116118 394682 | 2147483647 25818 8 | 3.044 % |
4.20/4.23 c | 37424 | 19935 115646 393223 | 2147483647 24624 8 | 3.049 % |
4.20/4.24 c | 37558 | 19935 115646 393223 | 2147483647 24758 8 | 3.049 % |
4.20/4.26 c | 37705 | 19935 115646 393223 | 2147483647 24905 8 | 3.049 % |
4.20/4.28 c | 37865 | 19934 115646 393223 | 2147483647 25064 8 | 3.054 % |
4.30/4.31 c | 38044 | 19934 115646 393223 | 2147483647 25243 8 | 3.054 % |
4.30/4.33 c | 38237 | 19934 115646 393223 | 2147483647 25436 8 | 3.054 % |
4.30/4.35 c | 38449 | 19934 115646 393223 | 2147483647 25648 8 | 3.054 % |
4.30/4.36 c | 38683 | 19933 115646 393223 | 2147483647 25881 8 | 3.059 % |
4.30/4.39 c | 38940 | 19933 115646 393223 | 2147483647 26138 8 | 3.059 % |
4.30/4.41 c | 39221 | 19933 115646 393223 | 2147483647 26419 8 | 3.059 % |
4.41/4.45 c | 39530 | 19933 115646 393223 | 2147483647 26728 8 | 3.059 % |
4.41/4.48 c | 39870 | 19930 115646 393223 | 2147483647 27066 8 | 3.210 % |
4.41/4.50 c | 40242 | 19929 115646 393223 | 2147483647 27437 8 | 3.215 % |
4.50/4.52 c | 40651 | 19929 115646 393223 | 2147483647 27846 8 | 3.215 % |
4.50/4.55 c | 41100 | 19908 115646 393223 | 2147483647 28295 8 | 3.215 % |
4.60/4.63 c | 41593 | 19908 115646 393223 | 2147483647 28788 8 | 3.215 % |
4.60/4.71 c | 42135 | 19894 115646 393223 | 2147483647 29329 8 | 3.570 % |
4.70/4.79 c | 42734 | 19870 115646 393223 | 2147483647 29928 8 | 3.570 % |
4.80/4.82 c | 42834 | 19828 114925 390872 | 2147483647 28473 8 | 3.570 % |
4.80/4.83 c | 42944 | 19827 114925 390872 | 2147483647 28582 8 | 3.575 % |
4.80/4.85 c | 43065 | 19827 114925 390872 | 2147483647 28703 8 | 3.575 % |
4.80/4.87 c | 43198 | 19827 114925 390872 | 2147483647 28836 8 | 3.575 % |
4.80/4.89 c | 43344 | 19827 114925 390872 | 2147483647 28982 8 | 3.575 % |
4.90/4.91 c | 43505 | 19826 114925 390872 | 2147483647 29142 8 | 3.579 % |
4.90/4.92 c | 43683 | 19826 114925 390872 | 2147483647 29320 8 | 3.579 % |
4.90/4.94 c | 43877 | 19826 114925 390872 | 2147483647 29514 8 | 3.579 % |
4.90/4.96 c | 44090 | 19826 114925 390872 | 2147483647 29727 8 | 3.579 % |
4.90/4.98 c | 44323 | 19826 114925 390872 | 2147483647 29960 8 | 3.579 % |
5.00/5.04 c | 44579 | 19826 114925 390872 | 2147483647 30216 8 | 3.579 % |
5.00/5.08 c | 44860 | 19825 114925 390872 | 2147483647 30496 8 | 3.584 % |
5.10/5.15 c | 45169 | 19788 114925 390872 | 2147483647 30803 8 | 3.827 % |
5.10/5.16 c | 45509 | 19788 114925 390872 | 2147483647 31143 8 | 3.827 % |
5.10/5.18 c | 45882 | 19788 114925 390872 | 2147483647 31516 8 | 3.827 % |
5.20/5.28 c | 46291 | 19788 114925 390872 | 2147483647 31925 8 | 3.827 % |
5.30/5.37 c | 46740 | 19784 114925 390872 | 2147483647 32370 8 | 3.847 % |
5.40/5.43 c | 47234 | 19783 114925 390872 | 2147483647 32864 8 | 3.847 % |
5.40/5.45 c | 47776 | 19783 114925 390872 | 2147483647 33406 8 | 3.847 % |
5.40/5.49 c | 48374 | 19768 114533 389623 | 2147483647 32679 8 | 3.910 % |
5.51/5.53 c | 49029 | 19768 114533 389623 | 2147483647 33334 8 | 3.910 % |
5.51/5.54 c | 49131 | 19768 114533 389623 | 2147483647 33436 8 | 3.910 % |
5.51/5.55 c | 49241 | 19768 114533 389623 | 2147483647 33546 8 | 3.910 % |
5.51/5.57 c | 49362 | 19768 114533 389623 | 2147483647 33667 8 | 3.910 % |
5.51/5.57 c | 49495 | 19768 114533 389623 | 2147483647 33800 8 | 3.910 % |
5.51/5.58 c | 49643 | 19768 114533 389623 | 2147483647 33948 8 | 3.910 % |
5.51/5.59 c | 49805 | 19768 114533 389623 | 2147483647 34110 9 | 3.910 % |
5.51/5.60 c | 49981 | 19766 114533 389623 | 2147483647 34285 9 | 3.930 % |
5.51/5.60 c | 50174 | 19766 114533 389623 | 2147483647 34478 9 | 3.930 % |
5.60/5.61 c | 50386 | 19766 114533 389623 | 2147483647 34690 9 | 3.930 % |
5.60/5.62 c | 50619 | 19765 114533 389623 | 2147483647 34923 9 | 3.930 % |
5.60/5.63 c | 50877 | 19765 114533 389623 | 2147483647 35181 9 | 3.930 % |
5.60/5.66 c | 51158 | 19765 114533 389623 | 2147483647 35462 9 | 3.930 % |
5.60/5.67 c | 51467 | 19765 114533 389623 | 2147483647 35771 9 | 3.930 % |
5.60/5.69 c | 51809 | 19765 114533 389623 | 2147483647 36113 9 | 3.930 % |
5.70/5.75 c | 52181 | 19762 114533 389623 | 2147483647 36485 9 | 3.930 % |
5.70/5.81 c | 52590 | 19762 114533 389623 | 2147483647 36894 9 | 3.930 % |
5.80/5.85 c | 53041 | 19762 114533 389623 | 2147483647 37345 9 | 3.930 % |
5.80/5.88 c | 53534 | 19762 114533 389623 | 2147483647 37838 9 | 3.930 % |
5.90/5.91 c | 54076 | 19756 114533 389623 | 2147483647 38378 9 | 3.983 % |
5.90/5.98 c | 54673 | 19756 114533 389623 | 2147483647 38975 9 | 3.983 % |
6.00/6.03 c | 55328 | 19756 114533 389623 | 2147483647 39630 9 | 3.983 % |
6.00/6.06 c | 56048 | 19755 114533 389623 | 2147483647 40350 9 | 3.983 % |
6.00/6.07 c | 56148 | 19755 114533 389623 | 2147483647 40450 9 | 3.983 % |
6.00/6.07 c | 56258 | 19755 114533 389623 | 2147483647 40560 9 | 3.983 % |
6.00/6.08 c | 56380 | 19755 114533 389623 | 2147483647 40682 9 | 3.983 % |
6.00/6.10 c | 56515 | 19743 114285 388848 | 2147483647 39333 9 | 3.983 % |
6.10/6.13 c | 56661 | 19743 114285 388848 | 2147483647 39479 9 | 3.983 % |
6.10/6.19 c | 56822 | 19743 114285 388848 | 2147483647 39640 9 | 3.983 % |
6.20/6.23 c | 56998 | 19743 114285 388848 | 2147483647 39816 9 | 3.983 % |
6.20/6.24 c | 57193 | 19743 114285 388848 | 2147483647 40011 9 | 3.983 % |
6.20/6.26 c | 57405 | 19743 114285 388848 | 2147483647 40223 9 | 3.983 % |
6.20/6.27 c | 57639 | 19743 114285 388848 | 2147483647 40457 9 | 3.983 % |
6.30/6.32 c | 57895 | 19743 114285 388848 | 2147483647 40713 9 | 3.983 % |
6.30/6.37 c | 58177 | 19743 114285 388848 | 2147483647 40995 9 | 3.983 % |
6.30/6.39 c | 58486 | 19743 114285 388848 | 2147483647 41304 9 | 3.983 % |
6.40/6.42 c | 58825 | 19738 114285 388848 | 2147483647 41642 9 | 4.007 % |
6.40/6.45 c | 59198 | 19735 114285 388848 | 2147483647 42014 9 | 4.022 % |
6.50/6.51 c | 59607 | 19735 114285 388848 | 2147483647 42423 9 | 4.022 % |
6.50/6.55 c | 60057 | 19735 114285 388848 | 2147483647 42873 9 | 4.022 % |
6.50/6.57 c | 60550 | 19730 114285 388848 | 2147483647 43364 9 | 4.100 % |
6.50/6.58 c | 61093 | 19726 114285 388848 | 2147483647 43906 9 | 4.124 % |
6.61/6.69 c | 61691 | 19725 114285 388848 | 2147483647 44504 9 | 4.124 % |
6.70/6.78 c | 62346 | 19724 114285 388848 | 2147483647 45159 9 | 4.124 % |
6.80/6.82 c | 63066 | 19724 114285 388848 | 2147483647 45879 9 | 4.124 % |
6.80/6.86 c | 63860 | 19707 114285 388848 | 2147483647 46671 9 | 4.236 % |
6.80/6.86 c | 63961 | 19706 114285 388848 | 2147483647 46771 9 | 4.241 % |
6.80/6.87 c | 64071 | 19706 114285 388848 | 2147483647 46881 9 | 4.241 % |
6.80/6.87 c | 64192 | 19706 114285 388848 | 2147483647 47002 9 | 4.241 % |
6.80/6.90 c | 64326 | 19690 113824 387350 | 2147483647 45616 9 | 4.241 % |
6.90/6.91 c | 64474 | 19690 113824 387350 | 2147483647 45764 9 | 4.241 % |
6.90/6.92 c | 64637 | 19690 113824 387350 | 2147483647 45927 9 | 4.241 % |
6.90/6.94 c | 64815 | 19690 113824 387350 | 2147483647 46105 9 | 4.241 % |
6.90/6.97 c | 65009 | 19690 113824 387350 | 2147483647 46299 9 | 4.241 % |
6.90/7.00 c | 65222 | 19688 113824 387350 | 2147483647 46511 9 | 4.270 % |
7.00/7.04 c | 65457 | 19688 113824 387350 | 2147483647 46746 9 | 4.270 % |
7.00/7.04 c | 65713 | 19688 113824 387350 | 2147483647 47002 9 | 4.270 % |
7.00/7.06 c | 65994 | 19688 113824 387350 | 2147483647 47283 9 | 4.270 % |
7.00/7.07 c | 66303 | 19688 113824 387350 | 2147483647 47592 9 | 4.270 % |
7.00/7.08 c | 66642 | 19688 113824 387350 | 2147483647 47931 9 | 4.270 % |
7.10/7.20 c | 67014 | 19686 113824 387350 | 2147483647 48303 9 | 4.270 % |
7.20/7.22 c | 67423 | 19673 113824 387350 | 2147483647 48710 9 | 4.435 % |
7.20/7.24 c | 67873 | 19668 113824 387350 | 2147483647 49160 9 | 4.435 % |
7.30/7.35 c | 68367 | 19668 113824 387350 | 2147483647 49654 9 | 4.435 % |
7.40/7.45 c | 68909 | 19665 113824 387350 | 2147483647 50195 9 | 4.469 % |
7.50/7.58 c | 69506 | 19643 113824 387350 | 2147483647 50789 9 | 4.513 % |
7.71/7.73 c | 70161 | 19637 113824 387350 | 2147483647 51442 9 | 4.542 % |
7.80/7.81 c | 70881 | 19625 113290 385582 | 2147483647 46731 9 | 4.572 % |
7.90/7.98 c | 71675 | 19622 113290 385582 | 2147483647 47524 9 | 4.576 % |
8.00/8.03 c | 72546 | 19615 113290 385582 | 2147483647 48392 9 | 4.630 % |
8.00/8.03 c | 72647 | 19615 113290 385582 | 2147483647 48493 9 | 4.630 % |
8.00/8.07 c | 72757 | 19609 113290 385582 | 2147483647 48602 9 | 4.659 % |
8.10/8.12 c | 72881 | 19608 113290 385582 | 2147483647 48725 9 | 4.664 % |
8.10/8.13 c | 73014 | 19608 113290 385582 | 2147483647 48858 9 | 4.664 % |
8.10/8.16 c | 73161 | 19608 113290 385582 | 2147483647 49005 9 | 4.664 % |
8.10/8.18 c | 73321 | 19608 113290 385582 | 2147483647 49165 9 | 4.664 % |
8.20/8.22 c | 73499 | 19608 113290 385582 | 2147483647 49343 9 | 4.664 % |
8.20/8.27 c | 73693 | 19605 113290 385582 | 2147483647 49536 9 | 4.679 % |
8.20/8.28 c | 73905 | 19603 113290 385582 | 2147483647 49747 9 | 4.756 % |
8.30/8.31 c | 74138 | 19599 113290 385582 | 2147483647 49979 9 | 4.834 % |
8.30/8.37 c | 74394 | 19592 113290 385582 | 2147483647 50235 9 | 4.834 % |
8.40/8.48 c | 74675 | 19591 113290 385582 | 2147483647 50515 9 | 4.839 % |
8.50/8.52 c | 74985 | 19590 113290 385582 | 2147483647 50824 9 | 4.844 % |
8.50/8.56 c | 75326 | 19590 113290 385582 | 2147483647 51165 9 | 4.844 % |
8.60/8.63 c | 75698 | 19590 113290 385582 | 2147483647 51537 9 | 4.844 % |
8.60/8.68 c | 76107 | 19566 112915 384418 | 2147483647 50950 9 | 4.844 % |
8.70/8.78 c | 76556 | 19566 112915 384418 | 2147483647 51399 9 | 4.844 % |
8.81/8.87 c | 77049 | 19550 112915 384418 | 2147483647 51889 9 | 5.038 % |
8.90/8.97 c | 77593 | 19549 112915 384418 | 2147483647 52432 9 | 5.053 % |
9.00/9.06 c | 78190 | 19542 112915 384418 | 2147483647 53027 9 | 5.092 % |
9.20/9.24 c | 78845 | 19511 112915 384418 | 2147483647 53681 9 | 5.136 % |
9.30/9.35 c | 79567 | 19490 112915 384418 | 2147483647 54400 9 | 5.277 % |
9.50/9.55 c | 80361 | 19490 112915 384418 | 2147483647 55194 9 | 5.277 % |
9.70/9.75 c | 81232 | 19459 112238 382216 | 2147483647 51551 9 | 5.476 % |
9.91/9.99 c | 82190 | 19453 112238 382216 | 2147483647 52507 9 | 5.500 % |
10.00/10.01 c | 82290 | 19453 112238 382216 | 2147483647 52607 9 | 5.500 % |
10.00/10.04 c | 82400 | 19453 112238 382216 | 2147483647 52717 9 | 5.500 % |
10.00/10.07 c | 82521 | 19453 112238 382216 | 2147483647 52838 9 | 5.500 % |
10.00/10.08 c | 82654 | 19447 112238 382216 | 2147483647 52970 9 | 5.539 % |
10.10/10.14 c | 82800 | 19447 112238 382216 | 2147483647 53116 9 | 5.539 % |
10.10/10.15 c | 82960 | 19447 112238 382216 | 2147483647 53276 9 | 5.539 % |
10.20/10.22 c | 83136 | 19447 112238 382216 | 2147483647 53452 9 | 5.539 % |
10.20/10.29 c | 83329 | 19442 112238 382216 | 2147483647 53643 9 | 5.700 % |
10.30/10.38 c | 83541 | 19433 112238 382216 | 2147483647 53855 9 | 5.700 % |
10.40/10.49 c | 83774 | 19433 112238 382216 | 2147483647 54088 9 | 5.700 % |
10.50/10.58 c | 84030 | 19389 111653 380365 | 2147483647 51775 9 | 5.710 % |
10.60/10.66 c | 84312 | 19389 111653 380365 | 2147483647 52057 9 | 5.710 % |
10.70/10.76 c | 84622 | 19389 111653 380365 | 2147483647 52367 9 | 5.710 % |
10.80/10.87 c | 84962 | 19389 111653 380365 | 2147483647 52707 9 | 5.710 % |
10.80/10.89 c | 85336 | 19389 111653 380365 | 2147483647 53081 9 | 5.710 % |
10.90/10.98 c | 85745 | 19385 111653 380365 | 2147483647 53487 9 | 5.729 % |
11.01/11.05 c | 86194 | 19382 111653 380365 | 2147483647 53935 9 | 5.773 % |
11.10/11.19 c | 86687 | 19382 111653 380365 | 2147483647 54428 9 | 5.773 % |
11.20/11.21 c | 87231 | 19382 111653 380365 | 2147483647 54972 9 | 5.773 % |
11.30/11.36 c | 87828 | 19372 111653 380365 | 2147483647 55567 9 | 5.851 % |
11.50/11.52 c | 88483 | 19372 111653 380365 | 2147483647 56222 9 | 5.851 % |
11.60/11.69 c | 89203 | 19359 111442 379681 | 2147483647 56676 9 | 5.851 % |
11.70/11.79 c | 89996 | 19347 111442 379681 | 2147483647 57466 9 | 5.928 % |
11.90/11.91 c | 90868 | 19338 111442 379681 | 2147483647 58337 9 | 5.972 % |
12.11/12.13 c | 91826 | 19327 111442 379681 | 2147483647 59294 9 | 6.084 % |
12.20/12.24 c | 92879 | 19324 111442 379681 | 2147483647 60346 10 | 6.099 % |
12.20/12.25 c | 92979 | 19324 111442 379681 | 2147483647 60446 10 | 6.099 % |
12.20/12.28 c | 93090 | 19324 111442 379681 | 2147483647 60557 10 | 6.099 % |
12.30/12.33 c | 93211 | 19324 111442 379681 | 2147483647 60678 10 | 6.099 % |
12.30/12.33 c | 93344 | 19324 111442 379681 | 2147483647 60811 10 | 6.099 % |
12.30/12.34 c | 93490 | 19324 111442 379681 | 2147483647 60957 10 | 6.099 % |
12.30/12.36 c | 93650 | 19324 111442 379681 | 2147483647 61117 10 | 6.099 % |
12.40/12.42 c | 93828 | 19324 111442 379681 | 2147483647 61295 10 | 6.099 % |
12.40/12.45 c | 94023 | 19324 111442 379681 | 2147483647 61490 10 | 6.099 % |
12.40/12.46 c | 94236 | 19324 111442 379681 | 2147483647 61703 10 | 6.099 % |
12.40/12.48 c | 94469 | 19324 111442 379681 | 2147483647 61936 10 | 6.099 % |
12.40/12.49 c | 94726 | 19324 111442 379681 | 2147483647 62193 10 | 6.099 % |
12.50/12.53 c | 95007 | 19324 111442 379681 | 2147483647 62474 10 | 6.099 % |
12.50/12.57 c | 95316 | 19324 111442 379681 | 2147483647 62783 10 | 6.099 % |
12.60/12.65 c | 95655 | 19308 111081 378476 | 2147483647 61945 10 | 6.099 % |
12.60/12.69 c | 96027 | 19308 111081 378476 | 2147483647 62317 10 | 6.099 % |
12.70/12.74 c | 96438 | 19307 111081 378476 | 2147483647 62727 10 | 6.103 % |
12.70/12.76 c | 96887 | 19307 111081 378476 | 2147483647 63176 10 | 6.103 % |
12.80/12.88 c | 97380 | 19307 111081 378476 | 2147483647 63669 10 | 6.103 % |
12.90/12.98 c | 97923 | 19306 111081 378476 | 2147483647 64211 10 | 6.108 % |
13.00/13.06 c | 98519 | 19303 111081 378476 | 2147483647 64806 10 | 6.181 % |
13.00/13.09 c | 99174 | 19298 111081 378476 | 2147483647 65460 10 | 6.210 % |
13.10/13.12 c | 99894 | 19298 111081 378476 | 2147483647 66180 10 | 6.210 % |
13.21/13.25 c | 100686 | 19298 111081 378476 | 2147483647 66972 10 | 6.210 % |
13.50/13.56 c | 101558 | 19293 111081 378476 | 2147483647 67843 10 | 6.235 % |
13.60/13.68 c | 102518 | 19291 111081 378476 | 2147483647 68802 10 | 6.376 % |
13.70/13.78 c | 103571 | 19248 110682 377179 | 2147483647 67349 10 | 6.390 % |
14.00/14.04 c | 104731 | 19247 110682 377179 | 2147483647 68508 10 | 6.395 % |
14.00/14.05 c | 104832 | 19247 110682 377179 | 2147483647 68609 10 | 6.395 % |
14.00/14.10 c | 104944 | 19246 110682 377179 | 2147483647 68720 10 | 6.410 % |
14.10/14.13 c | 105065 | 19246 110682 377179 | 2147483647 68841 10 | 6.410 % |
14.10/14.15 c | 105198 | 19243 110682 377179 | 2147483647 68973 10 | 6.439 % |
14.10/14.19 c | 105345 | 19243 110682 377179 | 2147483647 69120 10 | 6.439 % |
14.20/14.26 c | 105505 | 19243 110682 377179 | 2147483647 69280 10 | 6.439 % |
14.31/14.33 c | 105682 | 19243 110682 377179 | 2147483647 69457 10 | 6.439 % |
14.31/14.39 c | 105875 | 19243 110682 377179 | 2147483647 69650 10 | 6.439 % |
14.40/14.41 c | 106088 | 19243 110682 377179 | 2147483647 69863 10 | 6.439 % |
14.50/14.55 c | 106321 | 19243 110682 377179 | 2147483647 70096 10 | 6.439 % |
14.60/14.63 c | 106580 | 19243 110682 377179 | 2147483647 70355 10 | 6.439 % |
14.60/14.66 c | 106862 | 19239 110682 377179 | 2147483647 70636 10 | 6.541 % |
14.60/14.69 c | 107172 | 19239 110682 377179 | 2147483647 70946 10 | 6.541 % |
14.70/14.74 c | 107511 | 19237 110682 377179 | 2147483647 71284 10 | 6.551 % |
14.90/14.91 c | 107883 | 19235 110682 377179 | 2147483647 71655 10 | 6.561 % |
15.00/15.06 c | 108292 | 19212 110410 376282 | 2147483647 71274 10 | 6.566 % |
15.00/15.09 c | 108741 | 19212 110410 376282 | 2147483647 71723 10 | 6.566 % |
15.20/15.21 c | 109235 | 19212 110410 376282 | 2147483647 72217 10 | 6.566 % |
15.30/15.33 c | 109777 | 19212 110410 376282 | 2147483647 72759 10 | 6.566 % |
15.41/15.44 c | 110374 | 19212 110410 376282 | 2147483647 73356 10 | 6.566 % |
15.60/15.68 c | 111029 | 19212 110410 376282 | 2147483647 74011 10 | 6.566 % |
15.70/15.77 c | 111751 | 19212 110410 376282 | 2147483647 74733 10 | 6.566 % |
15.70/15.80 c | 112544 | 19211 110410 376282 | 2147483647 75525 10 | 6.570 % |
15.90/15.92 c | 113415 | 19211 110410 376282 | 2147483647 76396 10 | 6.570 % |
16.30/16.31 c | 114373 | 19211 110410 376282 | 2147483647 77354 10 | 6.570 % |
16.30/16.36 c | 115426 | 19211 110404 376262 | 2147483647 77547 10 | 6.570 % |
16.60/16.66 c | 116585 | 19211 110404 376262 | 2147483647 78706 10 | 6.570 % |
16.90/16.97 c | 117858 | 19211 110404 376262 | 2147483647 79979 10 | 6.570 % |
16.90/17.00 c | 117958 | 19211 110404 376262 | 2147483647 80079 10 | 6.570 % |
17.00/17.05 c | 118068 | 19211 110404 376262 | 2147483647 80189 10 | 6.570 % |
17.10/17.14 c | 118189 | 19211 110404 376262 | 2147483647 80310 10 | 6.570 % |
17.20/17.24 c | 118323 | 19211 110404 376262 | 2147483647 80444 10 | 6.570 % |
17.20/17.30 c | 118469 | 19197 110404 376262 | 2147483647 80588 10 | 6.677 % |
17.30/17.35 c | 118629 | 19197 110404 376262 | 2147483647 80748 10 | 6.677 % |
17.30/17.37 c | 118805 | 19197 110404 376262 | 2147483647 80924 10 | 6.677 % |
17.40/17.47 c | 118998 | 19197 110404 376262 | 2147483647 81117 10 | 6.677 % |
17.50/17.55 c | 119210 | 19196 110404 376262 | 2147483647 81328 10 | 6.682 % |
17.61/17.66 c | 119443 | 19196 110404 376262 | 2147483647 81561 10 | 6.682 % |
17.70/17.77 c | 119699 | 19196 110404 376262 | 2147483647 81817 10 | 6.682 % |
17.80/17.81 c | 119980 | 19196 110404 376262 | 2147483647 82098 10 | 6.682 % |
17.90/17.91 c | 120289 | 19174 110196 375576 | 2147483647 82010 10 | 6.750 % |
17.90/18.00 c | 120629 | 19169 110196 375576 | 2147483647 82349 10 | 6.779 % |
18.10/18.13 c | 121001 | 19169 110196 375576 | 2147483647 82721 10 | 6.779 % |
18.20/18.25 c | 121410 | 19169 110196 375576 | 2147483647 83130 10 | 6.779 % |
18.40/18.45 c | 121860 | 19169 110196 375576 | 2147483647 83580 10 | 6.779 % |
18.50/18.58 c | 122353 | 19169 110196 375576 | 2147483647 84073 10 | 6.779 % |
18.50/18.60 c | 122896 | 19169 110196 375576 | 2147483647 84616 10 | 6.779 % |
18.60/18.68 c | 123493 | 19169 110196 375576 | 2147483647 85213 10 | 6.779 % |
18.91/18.93 c | 124149 | 19169 110196 375576 | 2147483647 85869 11 | 6.779 % |
19.01/19.04 c | 124870 | 19162 110196 375576 | 2147483647 86587 11 | 6.823 % |
19.11/19.16 c | 125663 | 19162 110196 375576 | 2147483647 87380 11 | 6.823 % |
19.21/19.27 c | 126534 | 19161 110196 375576 | 2147483647 88250 11 | 6.828 % |
19.41/19.42 c | 127492 | 19157 110196 375576 | 2147483647 89206 11 | 6.862 % |
19.91/19.97 c | 128547 | 19157 110196 375576 | 2147483647 90261 11 | 6.862 % |
20.61/20.67 c | 129706 | 19151 109971 374848 | 2147483647 88178 12 | 6.862 % |
21.21/21.27 c | 130979 | 19151 109971 374848 | 2147483647 89451 12 | 6.862 % |
22.21/22.30 c | 132380 | 19151 109971 374848 | 2147483647 90852 14 | 6.862 % |
22.31/22.37 c | 132481 | 19151 109971 374848 | 2147483647 90953 14 | 6.862 % |
22.31/22.41 c | 132592 | 19151 109971 374848 | 2147483647 91064 13 | 6.862 % |
22.41/22.44 c | 132713 | 19151 109971 374848 | 2147483647 91185 13 | 6.862 % |
22.41/22.49 c | 132846 | 19151 109971 374848 | 2147483647 91318 13 | 6.862 % |
22.51/22.57 c | 132992 | 19151 109971 374848 | 2147483647 91464 14 | 6.862 % |
22.61/22.65 c | 133152 | 19151 109971 374848 | 2147483647 91624 14 | 6.862 % |
22.71/22.78 c | 133328 | 19151 109971 374848 | 2147483647 91800 14 | 6.862 % |
22.81/22.83 c | 133521 | 19151 109971 374848 | 2147483647 91993 14 | 6.862 % |
22.91/22.96 c | 133735 | 19151 109971 374848 | 2147483647 92207 14 | 6.862 % |
23.01/23.06 c | 133968 | 19151 109971 374848 | 2147483647 92440 14 | 6.862 % |
23.11/23.17 c | 134224 | 19151 109971 374848 | 2147483647 92696 14 | 6.862 % |
23.31/23.40 c | 134506 | 19151 109971 374848 | 2147483647 92978 14 | 6.862 % |
23.51/23.55 c | 134816 | 19151 109971 374848 | 2147483647 93288 14 | 6.862 % |
23.61/23.70 c | 135156 | 19143 109907 374634 | 2147483647 93102 14 | 6.901 % |
24.01/24.04 c | 135528 | 19143 109907 374634 | 2147483647 93474 14 | 6.901 % |
24.21/24.27 c | 135937 | 19143 109907 374634 | 2147483647 93882 14 | 6.911 % |
24.21/24.31 c | 136386 | 19143 109907 374634 | 2147483647 94331 14 | 6.911 % |
24.31/24.41 c | 136879 | 19143 109907 374634 | 2147483647 94824 14 | 6.911 % |
24.41/24.46 c | 137422 | 19143 109907 374634 | 2147483647 95367 14 | 6.911 % |
24.71/24.78 c | 138018 | 19143 109907 374634 | 2147483647 95963 14 | 6.911 % |
25.41/25.45 c | 138675 | 19139 109907 374634 | 2147483647 96619 15 | 6.955 % |
25.61/25.70 c | 139395 | 19139 109907 374634 | 2147483647 97339 15 | 6.955 % |
26.21/26.30 c | 140187 | 19131 109821 374349 | 2147483647 97933 16 | 6.959 % |
27.21/27.22 c | 141058 | 19130 109821 374349 | 2147483647 98803 17 | 6.964 % |
27.71/27.81 c | 142016 | 19130 109821 374349 | 2147483647 99761 17 | 6.964 % |
28.21/28.31 c | 143070 | 19130 109821 374349 | 2147483647 100815 17 | 6.964 % |
29.11/29.20 c | 144228 | 19130 109821 374349 | 2147483647 101973 18 | 6.964 % |
29.91/29.95 c | 145502 | 19130 109813 374321 | 2147483647 103242 18 | 6.964 % |
31.11/31.21 c | 146903 | 19129 109813 374321 | 2147483647 104642 20 | 6.993 % |
32.61/32.63 c | 148443 | 19125 109813 374321 | 2147483647 106180 21 | 7.023 % |
32.61/32.69 c | 148543 | 19125 109813 374321 | 2147483647 106280 21 | 7.023 % |
32.71/32.76 c | 148655 | 19125 109813 374321 | 2147483647 106392 21 | 7.023 % |
32.81/32.82 c | 148776 | 19125 109813 374321 | 2147483647 106513 21 | 7.023 % |
32.81/32.88 c | 148909 | 19125 109813 374321 | 2147483647 106646 21 | 7.023 % |
33.01/33.03 c | 149055 | 19118 109715 374012 | 2147483647 105270 21 | 7.023 % |
33.11/33.12 c | 149215 | 19118 109715 374012 | 2147483647 105430 21 | 7.023 % |
33.21/33.24 c | 149391 | 19118 109715 374012 | 2147483647 105606 21 | 7.023 % |
33.31/33.40 c | 149584 | 19118 109715 374012 | 2147483647 105799 21 | 7.023 % |
33.41/33.50 c | 149796 | 19117 109715 374012 | 2147483647 106010 21 | 7.028 % |
33.61/33.63 c | 150029 | 19117 109715 374012 | 2147483647 106243 21 | 7.028 % |
33.71/33.81 c | 150285 | 19117 109715 374012 | 2147483647 106499 21 | 7.028 % |
33.81/33.88 c | 150566 | 19117 109715 374012 | 2147483647 106780 21 | 7.028 % |
34.11/34.18 c | 150876 | 19116 109715 374012 | 2147483647 107089 21 | 7.037 % |
34.31/34.36 c | 151215 | 19116 109715 374012 | 2147483647 107427 21 | 7.081 % |
34.71/34.72 c | 151590 | 19116 109715 374012 | 2147483647 107802 21 | 7.081 % |
35.11/35.18 c | 151999 | 19116 109715 374012 | 2147483647 108211 22 | 7.081 % |
35.41/35.42 c | 152448 | 19116 109715 374012 | 2147483647 108660 22 | 7.081 % |
35.71/35.79 c | 152942 | 19116 109715 374012 | 2147483647 109154 22 | 7.081 % |
36.01/36.06 c | 153484 | 19116 109715 374012 | 2147483647 109696 22 | 7.081 % |
36.41/36.42 c | 154080 | 19116 109715 374012 | 2147483647 110292 22 | 7.081 % |
36.91/36.98 c | 154736 | 19116 109715 374012 | 2147483647 110948 22 | 7.081 % |
37.51/37.59 c | 155456 | 19116 109715 374012 | 2147483647 111668 23 | 7.081 % |
37.91/37.97 c | 156248 | 19102 109635 373741 | 2147483647 112287 23 | 7.125 % |
38.61/38.66 c | 157119 | 19102 109635 373741 | 2147483647 113158 23 | 7.125 % |
39.41/39.50 c | 158078 | 19102 109635 373741 | 2147483647 114117 23 | 7.125 % |
40.01/40.07 c | 159131 | 19102 109635 373741 | 2147483647 115170 24 | 7.125 % |
40.71/40.77 c | 160289 | 19102 109635 373741 | 2147483647 116328 24 | 7.125 % |
41.91/41.92 c | 161562 | 19102 109635 373741 | 2147483647 117601 25 | 7.125 % |
43.31/43.35 c | 162962 | 19101 109635 373741 | 2147483647 119000 26 | 7.130 % |
45.01/45.06 c | 164503 | 19096 109555 373477 | 2147483647 120383 27 | 7.130 % |
46.81/46.84 c | 166197 | 19096 109555 373477 | 2147483647 122077 28 | 7.130 % |
46.91/46.91 c | 166299 | 19096 109555 373477 | 2147483647 122179 28 | 7.130 % |
47.01/47.04 c | 166410 | 19096 109555 373477 | 2147483647 122290 28 | 7.130 % |
47.11/47.12 c | 166532 | 19096 109555 373477 | 2147483647 122412 28 | 7.130 % |
47.11/47.21 c | 166665 | 19096 109555 373477 | 2147483647 122545 28 | 7.130 % |
47.21/47.25 c | 166811 | 19096 109555 373477 | 2147483647 122691 28 | 7.130 % |
47.31/47.33 c | 166972 | 19094 109555 373477 | 2147483647 122851 28 | 7.169 % |
47.31/47.36 c | 167148 | 19094 109555 373477 | 2147483647 123027 28 | 7.169 % |
47.31/47.36 c | 167341 | 19094 109555 373477 | 2147483647 123220 28 | 7.169 % |
47.31/47.38 c | 167553 | 19094 109555 373477 | 2147483647 123432 28 | 7.169 % |
47.41/47.47 c | 167787 | 19094 109555 373477 | 2147483647 123666 28 | 7.169 % |
47.41/47.49 c | 168043 | 19094 109555 373477 | 2147483647 123922 28 | 7.169 % |
47.71/47.75 c | 168324 | 19094 109555 373477 | 2147483647 124203 28 | 7.169 % |
47.91/47.98 c | 168634 | 19094 109555 373477 | 2147483647 124513 28 | 7.169 % |
48.11/48.13 c | 168974 | 19094 109555 373477 | 2147483647 124853 28 | 7.169 % |
48.31/48.32 c | 169348 | 19094 109555 373477 | 2147483647 125227 28 | 7.169 % |
48.51/48.58 c | 169759 | 19094 109555 373477 | 2147483647 125638 28 | 7.169 % |
48.91/48.93 c | 170208 | 19094 109555 373477 | 2147483647 126087 28 | 7.169 % |
49.21/49.29 c | 170701 | 19094 109555 373477 | 2147483647 126580 28 | 7.169 % |
49.81/49.83 c | 171246 | 19094 109555 373477 | 2147483647 127125 28 | 7.169 % |
50.01/50.11 c | 171842 | 19088 109467 373155 | 2147483647 126980 28 | 7.169 % |
50.41/50.49 c | 172497 | 19088 109467 373155 | 2147483647 127635 29 | 7.169 % |
50.91/50.96 c | 173217 | 19088 109467 373155 | 2147483647 128355 29 | 7.169 % |
51.81/51.84 c | 174009 | 19087 109467 373155 | 2147483647 129146 29 | 7.173 % |
52.31/52.38 c | 174882 | 19087 109467 373155 | 2147483647 130019 29 | 7.173 % |
53.81/53.85 c | 175841 | 19087 109467 373155 | 2147483647 130978 30 | 7.173 % |
54.61/54.67 c | 176894 | 19087 109467 373155 | 2147483647 132031 30 | 7.173 % |
55.61/55.63 c | 178052 | 19087 109467 373155 | 2147483647 133189 31 | 7.173 % |
56.41/56.49 c | 179325 | 19087 109467 373155 | 2147483647 134462 31 | 7.173 % |
57.71/57.79 c | 180726 | 19087 109467 373155 | 2147483647 135863 31 | 7.173 % |
59.31/59.35 c | 182266 | 19087 109462 373140 | 2147483647 137402 32 | 7.173 % |
61.01/61.10 c | 183960 | 19087 109462 373140 | 2147483647 139096 33 | 7.173 % |
62.91/62.96 c | 185824 | 19087 109462 373140 | 2147483647 140960 34 | 7.173 % |
62.91/63.00 c | 185924 | 19087 109462 373140 | 2147483647 141060 34 | 7.173 % |
63.01/63.02 c | 186035 | 19087 109462 373140 | 2147483647 141171 34 | 7.173 % |
63.11/63.14 c | 186156 | 19087 109462 373140 | 2147483647 141292 34 | 7.173 % |
63.11/63.20 c | 186290 | 19087 109462 373140 | 2147483647 141426 34 | 7.173 % |
63.21/63.29 c | 186436 | 19087 109462 373140 | 2147483647 141572 34 | 7.173 % |
63.31/63.35 c | 186596 | 19087 109462 373140 | 2147483647 141732 34 | 7.173 % |
63.41/63.42 c | 186772 | 19087 109462 373140 | 2147483647 141908 34 | 7.173 % |
63.51/63.58 c | 186965 | 19087 109462 373140 | 2147483647 142101 34 | 7.173 % |
63.71/63.75 c | 187177 | 19087 109462 373140 | 2147483647 142313 34 | 7.173 % |
63.91/63.97 c | 187411 | 19087 109462 373140 | 2147483647 142547 34 | 7.173 % |
64.21/64.21 c | 187667 | 19087 109462 373140 | 2147483647 142803 34 | 7.173 % |
64.41/64.49 c | 187950 | 19087 109462 373140 | 2147483647 143086 34 | 7.173 % |
64.81/64.83 c | 188259 | 19087 109462 373140 | 2147483647 143395 34 | 7.173 % |
65.11/65.18 c | 188598 | 19087 109462 373140 | 2147483647 143734 34 | 7.173 % |
65.31/65.35 c | 188971 | 19087 109462 373140 | 2147483647 144107 34 | 7.173 % |
65.61/65.65 c | 189380 | 19087 109462 373140 | 2147483647 144516 34 | 7.173 % |
65.91/66.00 c | 189829 | 19087 109462 373140 | 2147483647 144965 34 | 7.173 % |
66.51/66.60 c | 190322 | 19087 109462 373140 | 2147483647 145458 34 | 7.173 % |
66.91/67.00 c | 190865 | 19087 109462 373140 | 2147483647 146001 35 | 7.173 % |
67.71/67.72 c | 191462 | 19087 109462 373140 | 2147483647 146598 35 | 7.173 % |
68.11/68.21 c | 192117 | 19087 109462 373140 | 2147483647 147253 35 | 7.173 % |
69.01/69.09 c | 192837 | 19087 109462 373140 | 2147483647 147973 35 | 7.173 % |
70.01/70.03 c | 193629 | 19087 109462 373140 | 2147483647 148765 36 | 7.173 % |
70.81/70.82 c | 194500 | 19087 109462 373140 | 2147483647 149636 36 | 7.173 % |
71.71/71.73 c | 195458 | 19087 109462 373140 | 2147483647 150594 36 | 7.173 % |
73.21/73.27 c | 196513 | 19087 109462 373140 | 2147483647 151649 37 | 7.173 % |
74.01/74.04 c | 197671 | 19087 109462 373140 | 2147483647 152807 37 | 7.173 % |
75.41/75.48 c | 198944 | 19087 109462 373140 | 2147483647 154080 38 | 7.173 % |
77.21/77.29 c | 200344 | 19087 109462 373140 | 2147483647 155480 39 | 7.173 % |
78.61/78.67 c | 201884 | 19087 109462 373140 | 2147483647 157020 39 | 7.173 % |
80.71/80.78 c | 203578 | 19087 109462 373140 | 2147483647 158714 40 | 7.173 % |
82.52/82.60 c | 205443 | 19087 109462 373140 | 2147483647 160579 41 | 7.173 % |
86.61/86.69 c | 207492 | 19087 109462 373140 | 2147483647 162628 43 | 7.173 % |
86.71/86.78 c | 207592 | 19087 109462 373140 | 2147483647 162728 43 | 7.173 % |
86.81/86.87 c | 207702 | 19087 109462 373140 | 2147483647 162838 43 | 7.173 % |
86.92/86.97 c | 207823 | 19087 109462 373140 | 2147483647 162959 43 | 7.173 % |
87.01/87.08 c | 207958 | 19087 109462 373140 | 2147483647 163094 43 | 7.173 % |
87.21/87.26 c | 208104 | 19087 109462 373140 | 2147483647 163240 43 | 7.173 % |
87.31/87.34 c | 208265 | 19087 109462 373140 | 2147483647 163401 43 | 7.173 % |
87.41/87.49 c | 208442 | 19087 109462 373140 | 2147483647 163578 43 | 7.173 % |
87.61/87.67 c | 208635 | 19087 109462 373140 | 2147483647 163771 43 | 7.173 % |
87.81/87.90 c | 208848 | 19087 109462 373140 | 2147483647 163984 43 | 7.173 % |
88.11/88.13 c | 209082 | 19087 109462 373140 | 2147483647 164218 43 | 7.173 % |
88.41/88.48 c | 209339 | 19087 109462 373140 | 2147483647 164475 43 | 7.173 % |
88.61/88.64 c | 209621 | 19087 109462 373140 | 2147483647 164757 43 | 7.173 % |
88.91/88.91 c | 209930 | 19087 109462 373140 | 2147483647 165066 43 | 7.173 % |
89.21/89.25 c | 210269 | 19087 109462 373140 | 2147483647 165405 43 | 7.173 % |
89.61/89.69 c | 210642 | 19087 109462 373140 | 2147483647 165778 43 | 7.173 % |
90.11/90.15 c | 211052 | 19086 109456 373120 | 2147483647 166178 43 | 7.178 % |
90.81/90.85 c | 211501 | 19086 109456 373120 | 2147483647 166627 43 | 7.178 % |
91.32/91.40 c | 211994 | 19086 109456 373120 | 2147483647 167120 43 | 7.178 % |
91.81/91.83 c | 212537 | 19086 109456 373120 | 2147483647 167663 43 | 7.178 % |
92.51/92.61 c | 213133 | 19086 109456 373120 | 2147483647 168259 43 | 7.178 % |
93.21/93.28 c | 213789 | 19086 109456 373120 | 2147483647 168915 43 | 7.178 % |
94.01/94.08 c | 214510 | 19086 109456 373120 | 2147483647 169636 44 | 7.178 % |
94.71/94.80 c | 215302 | 19086 109456 373120 | 2147483647 170428 44 | 7.178 % |
95.72/95.76 c | 216174 | 19086 109456 373120 | 2147483647 171300 44 | 7.178 % |
97.41/97.49 c | 217132 | 19086 109456 373120 | 2147483647 172258 45 | 7.178 % |
99.02/99.11 c | 218186 | 19086 109456 373120 | 2147483647 173312 45 | 7.178 % |
100.31/100.33 c | 219345 | 19086 109456 373120 | 2147483647 174471 46 | 7.178 % |
102.41/102.49 c | 220619 | 19086 109456 373120 | 2147483647 175745 46 | 7.178 % |
104.01/104.01 c | 222019 | 19086 109456 373120 | 2147483647 177145 47 | 7.178 % |
107.71/107.77 c | 223559 | 19086 109456 373120 | 2147483647 178685 49 | 7.178 % |
109.41/109.45 c | 225254 | 19086 109456 373120 | 2147483647 180380 49 | 7.178 % |
111.81/111.86 c | 227118 | 19086 109456 373120 | 2147483647 182244 50 | 7.178 % |
113.81/113.81 c | 229167 | 19086 109456 373120 | 2147483647 184293 50 | 7.178 % |
116.21/116.24 c | 231420 | 19086 109456 373120 | 2147483647 186546 51 | 7.178 % |
116.31/116.32 c | 231520 | 19086 109456 373120 | 2147483647 186646 51 | 7.178 % |
116.51/116.53 c | 231630 | 19083 109433 373043 | 2147483647 186632 51 | 7.193 % |
116.62/116.63 c | 231753 | 19083 109433 373043 | 2147483647 186755 51 | 7.193 % |
116.62/116.66 c | 231886 | 19083 109433 373043 | 2147483647 186888 51 | 7.193 % |
116.71/116.76 c | 232032 | 19083 109433 373043 | 2147483647 187034 51 | 7.193 % |
116.91/116.96 c | 232194 | 19083 109433 373043 | 2147483647 187196 51 | 7.193 % |
117.11/117.16 c | 232372 | 19083 109433 373043 | 2147483647 187374 51 | 7.193 % |
117.31/117.38 c | 232565 | 19083 109433 373043 | 2147483647 187567 51 | 7.193 % |
117.61/117.68 c | 232778 | 19083 109433 373043 | 2147483647 187780 51 | 7.193 % |
117.91/117.96 c | 233011 | 19083 109433 373043 | 2147483647 188013 51 | 7.193 % |
118.21/118.22 c | 233267 | 19082 109433 373043 | 2147483647 188268 51 | 7.203 % |
118.61/118.62 c | 233552 | 19082 109433 373043 | 2147483647 188553 51 | 7.203 % |
118.82/118.86 c | 233861 | 19082 109433 373043 | 2147483647 188862 51 | 7.203 % |
119.01/119.09 c | 234203 | 19082 109433 373043 | 2147483647 189204 51 | 7.203 % |
119.51/119.55 c | 234575 | 19082 109433 373043 | 2147483647 189576 51 | 7.203 % |
120.11/120.11 c | 234985 | 19082 109433 373043 | 2147483647 189986 51 | 7.203 % |
120.71/120.72 c | 235434 | 19082 109433 373043 | 2147483647 190435 51 | 7.203 % |
121.11/121.13 c | 235928 | 19082 109433 373043 | 2147483647 190929 51 | 7.203 % |
121.61/121.70 c | 236471 | 19082 109433 373043 | 2147483647 191472 51 | 7.203 % |
122.31/122.38 c | 237068 | 19082 109433 373043 | 2147483647 192069 51 | 7.203 % |
123.11/123.13 c | 237725 | 19082 109433 373043 | 2147483647 192726 51 | 7.203 % |
123.91/123.94 c | 238445 | 19082 109433 373043 | 2147483647 193446 51 | 7.203 % |
125.42/125.50 c | 239237 | 19082 109433 373043 | 2147483647 194238 52 | 7.203 % |
126.81/126.82 c | 240108 | 19082 109433 373043 | 2147483647 195109 52 | 7.203 % |
128.11/128.20 c | 241068 | 19082 109433 373043 | 2147483647 196069 53 | 7.203 % |
129.51/129.60 c | 242121 | 19082 109433 373043 | 2147483647 197122 53 | 7.203 % |
130.11/130.18 c | 243282 | 19082 109433 373043 | 2147483647 198283 52 | 7.203 % |
131.42/131.45 c | 244556 | 19082 109433 373043 | 2147483647 199557 53 | 7.203 % |
133.52/133.57 c | 245957 | 19082 109433 373043 | 2147483647 200958 53 | 7.203 % |
135.92/135.96 c | 247498 | 19082 109433 373043 | 2147483647 202499 54 | 7.203 % |
137.62/137.67 c | 249194 | 19082 109433 373043 | 2147483647 204195 54 | 7.203 % |
139.22/139.28 c | 251058 | 19082 109433 373043 | 2147483647 206059 54 | 7.203 % |
142.82/142.84 c | 253107 | 19082 109433 373043 | 2147483647 208108 55 | 7.203 % |
145.82/145.82 c | 255361 | 19082 109433 373043 | 2147483647 210362 55 | 7.203 % |
148.32/148.40 c | 257839 | 19081 109417 372987 | 2147483647 212825 56 | 7.203 % |
148.42/148.50 c | 257941 | 19081 109417 372987 | 2147483647 212927 56 | 7.203 % |
148.62/148.68 c | 258051 | 19081 109417 372987 | 2147483647 213037 56 | 7.203 % |
148.82/148.83 c | 258172 | 19081 109417 372987 | 2147483647 213158 56 | 7.203 % |
149.02/149.05 c | 258305 | 19081 109417 372987 | 2147483647 213291 56 | 7.203 % |
149.12/149.20 c | 258452 | 19081 109417 372987 | 2147483647 213438 56 | 7.203 % |
149.42/149.48 c | 258612 | 19081 109417 372987 | 2147483647 213598 56 | 7.203 % |
149.52/149.61 c | 258790 | 19081 109417 372987 | 2147483647 213776 56 | 7.203 % |
149.82/149.89 c | 258984 | 19081 109417 372987 | 2147483647 213970 56 | 7.203 % |
150.12/150.16 c | 259196 | 19081 109417 372987 | 2147483647 214182 56 | 7.203 % |
150.32/150.34 c | 259429 | 19081 109417 372987 | 2147483647 214415 56 | 7.203 % |
150.82/150.88 c | 259686 | 19081 109417 372987 | 2147483647 214672 56 | 7.203 % |
151.02/151.08 c | 259967 | 19081 109417 372987 | 2147483647 214953 56 | 7.203 % |
151.52/151.52 c | 260276 | 19081 109417 372987 | 2147483647 215262 56 | 7.203 % |
151.72/151.77 c | 260615 | 19081 109417 372987 | 2147483647 215601 56 | 7.203 % |
152.22/152.30 c | 260988 | 19081 109417 372987 | 2147483647 215974 56 | 7.203 % |
152.92/152.98 c | 261398 | 19081 109417 372987 | 2147483647 216384 56 | 7.203 % |
153.42/153.50 c | 261847 | 19081 109417 372987 | 2147483647 216833 56 | 7.203 % |
153.92/153.98 c | 262340 | 19081 109417 372987 | 2147483647 217326 56 | 7.203 % |
154.92/154.98 c | 262883 | 19081 109417 372987 | 2147483647 217869 56 | 7.203 % |
155.82/155.83 c | 263480 | 19081 109417 372987 | 2147483647 218466 56 | 7.203 % |
156.52/156.53 c | 264135 | 19081 109417 372987 | 2147483647 219121 56 | 7.203 % |
157.82/157.83 c | 264856 | 19081 109417 372987 | 2147483647 219842 56 | 7.203 % |
158.92/158.96 c | 265649 | 19081 109417 372987 | 2147483647 220635 57 | 7.203 % |
159.82/159.87 c | 266521 | 19081 109417 372987 | 2147483647 221507 57 | 7.203 % |
161.72/161.77 c | 267480 | 19081 109417 372987 | 2147483647 222466 57 | 7.203 % |
163.02/163.03 c | 268533 | 19081 109417 372987 | 2147483647 223519 57 | 7.203 % |
165.12/165.13 c | 269691 | 19081 109417 372987 | 2147483647 224677 58 | 7.203 % |
166.62/166.68 c | 270965 | 19081 109417 372987 | 2147483647 225951 58 | 7.203 % |
168.82/168.86 c | 272365 | 19081 109417 372987 | 2147483647 227351 59 | 7.203 % |
171.32/171.36 c | 273905 | 19081 109417 372987 | 2147483647 228891 59 | 7.203 % |
173.82/173.89 c | 275599 | 19081 109417 372987 | 2147483647 230585 59 | 7.203 % |
176.72/176.79 c | 277462 | 19081 109417 372987 | 2147483647 232448 59 | 7.203 % |
180.02/180.10 c | 279511 | 19081 109417 372987 | 2147483647 234497 60 | 7.203 % |
182.62/182.65 c | 281764 | 19081 109417 372987 | 2147483647 236750 60 | 7.203 % |
185.22/185.21 c | 284243 | 19081 109417 372987 | 2147483647 239229 60 | 7.203 % |
192.12/192.12 c | 286969 | 19081 109417 372987 | 2147483647 241955 62 | 7.203 % |
192.22/192.28 c | 287069 | 19081 109417 372987 | 2147483647 242055 62 | 7.203 % |
192.42/192.43 c | 287179 | 19081 109417 372987 | 2147483647 242165 62 | 7.203 % |
192.62/192.62 c | 287301 | 19081 109417 372987 | 2147483647 242287 62 | 7.203 % |
192.72/192.75 c | 287434 | 19081 109417 372987 | 2147483647 242420 62 | 7.203 % |
192.82/192.90 c | 287581 | 19081 109417 372987 | 2147483647 242567 62 | 7.203 % |
193.02/193.08 c | 287744 | 19081 109417 372987 | 2147483647 242730 62 | 7.203 % |
193.52/193.53 c | 287922 | 19080 109409 372959 | 2147483647 242907 62 | 7.207 % |
193.92/193.95 c | 288116 | 19080 109409 372959 | 2147483647 243101 62 | 7.207 % |
194.12/194.12 c | 288331 | 19080 109409 372959 | 2147483647 243316 62 | 7.207 % |
194.42/194.43 c | 288564 | 19080 109409 372959 | 2147483647 243549 62 | 7.207 % |
194.82/194.85 c | 288820 | 19080 109409 372959 | 2147483647 243805 62 | 7.207 % |
195.12/195.12 c | 289101 | 19080 109409 372959 | 2147483647 244086 62 | 7.207 % |
195.42/195.43 c | 289412 | 19080 109409 372959 | 2147483647 244397 62 | 7.207 % |
195.82/195.82 c | 289751 | 19080 109409 372959 | 2147483647 244736 62 | 7.207 % |
196.22/196.25 c | 290124 | 19080 109409 372959 | 2147483647 245109 62 | 7.207 % |
196.82/196.87 c | 290533 | 19080 109409 372959 | 2147483647 245518 62 | 7.207 % |
197.52/197.51 c | 290983 | 19080 109409 372959 | 2147483647 245968 62 | 7.207 % |
198.72/198.74 c | 291478 | 19080 109409 372959 | 2147483647 246463 62 | 7.207 % |
199.52/199.55 c | 292022 | 19080 109409 372959 | 2147483647 247007 62 | 7.207 % |
200.42/200.51 c | 292620 | 19080 109409 372959 | 2147483647 247605 62 | 7.207 % |
201.52/201.57 c | 293275 | 19080 109409 372959 | 2147483647 248260 62 | 7.207 % |
202.43/202.46 c | 293995 | 19080 109409 372959 | 2147483647 248980 62 | 7.207 % |
204.02/204.10 c | 294788 | 19080 109409 372959 | 2147483647 249773 63 | 7.207 % |
205.62/205.71 c | 295660 | 19080 109409 372959 | 2147483647 250645 63 | 7.207 % |
207.32/207.31 c | 296619 | 19080 109409 372959 | 2147483647 251604 63 | 7.207 % |
208.62/208.65 c | 297674 | 19080 109409 372959 | 2147483647 252659 63 | 7.207 % |
210.72/210.71 c | 298832 | 19078 109409 372959 | 2147483647 253816 64 | 7.232 % |
212.62/212.69 c | 300105 | 19078 109409 372959 | 2147483647 255089 64 | 7.232 % |
215.02/215.09 c | 301505 | 19078 109409 372959 | 2147483647 256489 64 | 7.232 % |
217.22/217.21 c | 303045 | 19078 109409 372959 | 2147483647 258029 64 | 7.232 % |
220.72/220.75 c | 304740 | 19078 109409 372959 | 2147483647 259724 65 | 7.232 % |
224.43/224.49 c | 306603 | 19078 109409 372959 | 2147483647 261587 65 | 7.232 % |
229.42/229.47 c | 308653 | 19078 109409 372959 | 2147483647 263637 67 | 7.232 % |
232.82/232.83 c | 310907 | 19078 109409 372959 | 264987 265891 67 | 7.232 % |
236.22/236.22 c | 313386 | 19078 109409 372959 | 264987 268370 67 | 7.232 % |
241.93/241.93 c | 316112 | 19078 109409 372959 | 264987 240364 71 | 7.232 % |
246.83/246.91 c | 319109 | 19078 109409 372959 | 264987 243361 72 | 7.232 % |
247.03/247.07 c | 319210 | 19078 109409 372959 | 264987 243462 72 | 7.232 % |
247.23/247.24 c | 319320 | 19078 109409 372959 | 264987 243572 72 | 7.232 % |
247.63/247.69 c | 319443 | 19075 109384 372882 | 264987 243688 72 | 7.232 % |
247.73/247.82 c | 319577 | 19075 109384 372882 | 264987 243822 72 | 7.232 % |
247.93/248.00 c | 319725 | 19075 109384 372882 | 264987 243970 72 | 7.232 % |
248.13/248.15 c | 319886 | 19075 109384 372882 | 264987 244131 72 | 7.232 % |
248.23/248.31 c | 320064 | 19075 109384 372882 | 2147483647 244309 72 | 7.232 % |
248.73/248.76 c | 320258 | 19075 109384 372882 | 2147483647 244503 72 | 7.232 % |
249.03/249.02 c | 320471 | 19075 109384 372882 | 2147483647 244716 72 | 7.232 % |
249.43/249.44 c | 320704 | 19075 109384 372882 | 2147483647 244949 72 | 7.232 % |
249.93/249.99 c | 320963 | 19075 109384 372882 | 2147483647 245208 72 | 7.232 % |
250.43/250.45 c | 321244 | 19075 109384 372882 | 2147483647 245489 72 | 7.232 % |
251.13/251.12 c | 321556 | 19075 109384 372882 | 2147483647 245801 72 | 7.232 % |
251.43/251.51 c | 321899 | 19075 109384 372882 | 2147483647 246144 72 | 7.232 % |
252.13/252.12 c | 322271 | 19075 109384 372882 | 2147483647 246516 72 | 7.232 % |
252.43/252.51 c | 322681 | 19075 109384 372882 | 2147483647 246926 72 | 7.232 % |
253.23/253.26 c | 323131 | 19075 109384 372882 | 2147483647 247376 72 | 7.232 % |
254.13/254.13 c | 323626 | 19075 109384 372882 | 2147483647 247871 72 | 7.232 % |
254.93/254.93 c | 324168 | 19075 109384 372882 | 2147483647 248413 72 | 7.232 % |
255.93/255.95 c | 324765 | 19075 109384 372882 | 2147483647 249010 72 | 7.232 % |
257.03/257.02 c | 325420 | 19075 109384 372882 | 2147483647 249665 72 | 7.232 % |
258.73/258.73 c | 326143 | 19075 109384 372882 | 2147483647 250388 72 | 7.232 % |
260.03/260.05 c | 326935 | 19075 109384 372882 | 2147483647 251180 73 | 7.232 % |
261.23/261.29 c | 327806 | 19075 109384 372882 | 2147483647 252051 73 | 7.232 % |
262.93/262.99 c | 328765 | 19075 109384 372882 | 2147483647 253010 73 | 7.232 % |
264.53/264.59 c | 329818 | 19075 109384 372882 | 2147483647 254063 73 | 7.232 % |
266.13/266.15 c | 330977 | 19075 109384 372882 | 254246 255222 73 | 7.232 % |
267.63/267.70 c | 332250 | 19075 109384 372882 | 254246 256495 73 | 7.232 % |
269.93/269.93 c | 333651 | 19075 109384 372882 | 254246 227609 72 | 7.232 % |
272.13/272.14 c | 335191 | 19075 109384 372882 | 254246 229149 72 | 7.232 % |
274.63/274.68 c | 336887 | 19075 109384 372882 | 254246 230845 72 | 7.232 % |
278.83/278.87 c | 338752 | 19075 109384 372882 | 254246 232710 73 | 7.232 % |
282.53/282.58 c | 340801 | 19075 109384 372882 | 2147483647 234759 74 | 7.232 % |
286.83/286.90 c | 343055 | 19075 109384 372882 | 2147483647 237013 75 | 7.232 % |
291.33/291.38 c | 345534 | 19075 109384 372882 | 2147483647 239492 75 | 7.232 % |
297.03/297.03 c | 348261 | 19075 109384 372882 | 2147483647 242219 76 | 7.232 % |
301.73/301.78 c | 351258 | 19075 109384 372882 | 2147483647 245216 76 | 7.232 % |
305.52/305.59 c | 354556 | 19075 109384 372882 | 2147483647 248514 76 | 7.232 % |
305.72/305.75 c | 354656 | 19075 109384 372882 | 2147483647 248614 76 | 7.232 % |
305.92/305.95 c | 354766 | 19075 109384 372882 | 2147483647 248724 76 | 7.232 % |
306.12/306.15 c | 354888 | 19075 109384 372882 | 2147483647 248846 76 | 7.232 % |
306.32/306.35 c | 355021 | 19075 109384 372882 | 2147483647 248979 76 | 7.232 % |
306.62/306.62 c | 355167 | 19075 109384 372882 | 2147483647 249125 76 | 7.232 % |
306.72/306.80 c | 355327 | 19075 109384 372882 | 2147483647 249285 76 | 7.232 % |
306.92/306.95 c | 355504 | 19075 109384 372882 | 2147483647 249462 76 | 7.232 % |
307.32/307.31 c | 355697 | 19075 109384 372882 | 2147483647 249655 76 | 7.232 % |
307.52/307.50 c | 355910 | 19075 109384 372882 | 2147483647 249868 76 | 7.232 % |
307.82/307.85 c | 356143 | 19075 109384 372882 | 2147483647 250101 76 | 7.232 % |
308.62/308.61 c | 356400 | 19075 109384 372882 | 2147483647 250358 76 | 7.232 % |
308.92/308.90 c | 356683 | 19075 109384 372882 | 2147483647 250641 76 | 7.232 % |
309.42/309.48 c | 356993 | 19075 109384 372882 | 2147483647 250951 76 | 7.232 % |
309.92/309.98 c | 357333 | 19075 109384 372882 | 2147483647 251291 76 | 7.232 % |
310.52/310.58 c | 357705 | 19075 109384 372882 | 2147483647 251663 76 | 7.232 % |
311.22/311.31 c | 358115 | 19075 109384 372882 | 2147483647 252073 76 | 7.232 % |
311.92/311.90 c | 358565 | 19075 109384 372882 | 2147483647 252523 76 | 7.232 % |
313.02/313.05 c | 359059 | 19075 109384 372882 | 2147483647 253017 76 | 7.232 % |
314.12/314.19 c | 359602 | 19075 109384 372882 | 2147483647 253560 76 | 7.232 % |
315.22/315.20 c | 360198 | 19075 109384 372882 | 2147483647 254156 76 | 7.232 % |
315.82/315.90 c | 360853 | 19075 109384 372882 | 2147483647 254811 76 | 7.232 % |
316.92/316.96 c | 361574 | 19075 109384 372882 | 2147483647 255532 76 | 7.232 % |
318.32/318.36 c | 362366 | 19075 109384 372882 | 2147483647 256324 77 | 7.232 % |
319.22/319.27 c | 363237 | 19075 109384 372882 | 2147483647 257195 76 | 7.232 % |
320.92/320.93 c | 364195 | 19075 109384 372882 | 2147483647 258153 77 | 7.232 % |
323.02/323.06 c | 365248 | 19075 109384 372882 | 2147483647 259206 77 | 7.232 % |
324.42/324.50 c | 366407 | 19075 109384 372882 | 2147483647 260365 77 | 7.232 % |
325.72/325.78 c | 367681 | 19075 109384 372882 | 2147483647 261639 77 | 7.232 % |
328.52/328.57 c | 369082 | 19075 109384 372882 | 2147483647 263040 77 | 7.232 % |
332.52/332.56 c | 370625 | 19075 109384 372882 | 263958 264583 78 | 7.232 % |
335.42/335.47 c | 372320 | 19075 109384 372882 | 263958 266278 78 | 7.232 % |
338.83/338.89 c | 374184 | 19075 109384 372882 | 263958 237216 78 | 7.232 % |
343.42/343.42 c | 376233 | 19075 109384 372882 | 263958 239265 78 | 7.232 % |
347.42/347.40 c | 378487 | 19075 109384 372882 | 263958 241519 79 | 7.232 % |
351.82/351.81 c | 380965 | 19075 109384 372882 | 243033 243997 80 | 7.232 % |
356.73/356.71 c | 383696 | 19075 109384 372882 | 243033 246728 80 | 7.232 % |
361.63/361.61 c | 386693 | 19075 109384 372882 | 243033 224132 81 | 7.232 % |
367.83/367.82 c | 389989 | 19075 109384 372882 | 243033 227428 82 | 7.232 % |
374.13/374.19 c | 393616 | 19075 109384 372882 | 2147483647 231055 83 | 7.232 % |
374.33/374.34 c | 393716 | 19075 109384 372882 | 2147483647 231155 83 | 7.232 % |
374.53/374.57 c | 393826 | 19075 109384 372882 | 2147483647 231265 83 | 7.232 % |
374.73/374.75 c | 393948 | 19075 109384 372882 | 2147483647 231387 83 | 7.232 % |
374.83/374.90 c | 394081 | 19075 109384 372882 | 2147483647 231520 83 | 7.232 % |
375.23/375.21 c | 394227 | 19075 109384 372882 | 2147483647 231666 83 | 7.232 % |
375.43/375.47 c | 394388 | 19075 109384 372882 | 2147483647 231827 83 | 7.232 % |
375.83/375.87 c | 394564 | 19075 109384 372882 | 2147483647 232003 83 | 7.232 % |
376.03/376.06 c | 394757 | 19075 109384 372882 | 2147483647 232196 82 | 7.232 % |
376.33/376.39 c | 394969 | 19075 109384 372882 | 2147483647 232408 82 | 7.232 % |
376.73/376.80 c | 395202 | 19075 109384 372882 | 2147483647 232641 82 | 7.232 % |
377.23/377.21 c | 395458 | 19075 109384 372882 | 2147483647 232897 82 | 7.232 % |
377.53/377.60 c | 395740 | 19075 109384 372882 | 2147483647 233179 82 | 7.232 % |
378.03/378.09 c | 396050 | 19075 109384 372882 | 2147483647 233489 82 | 7.232 % |
378.23/378.30 c | 396391 | 19075 109384 372882 | 2147483647 233830 82 | 7.232 % |
378.83/378.81 c | 396764 | 19075 109384 372882 | 2147483647 234203 82 | 7.232 % |
378.93/379.00 c | 397173 | 19075 109384 372882 | 2147483647 234612 82 | 7.232 % |
379.53/379.58 c | 397622 | 19075 109384 372882 | 2147483647 235061 82 | 7.232 % |
380.13/380.14 c | 398116 | 19075 109384 372882 | 2147483647 235555 82 | 7.232 % |
381.13/381.14 c | 398659 | 19075 109384 372882 | 2147483647 236098 82 | 7.232 % |
382.03/382.04 c | 399256 | 19075 109384 372882 | 2147483647 236695 82 | 7.232 % |
383.03/383.06 c | 399911 | 19075 109384 372882 | 2147483647 237350 82 | 7.232 % |
383.93/383.97 c | 400631 | 19075 109384 372882 | 2147483647 238070 82 | 7.232 % |
385.23/385.27 c | 401425 | 19075 109384 372882 | 2147483647 238864 82 | 7.232 % |
386.73/386.75 c | 402296 | 19075 109384 372882 | 2147483647 239735 82 | 7.232 % |
388.33/388.34 c | 403256 | 19075 109384 372882 | 2147483647 240695 82 | 7.232 % |
390.33/390.38 c | 404309 | 19075 109384 372882 | 2147483647 241748 83 | 7.232 % |
391.73/391.71 c | 405468 | 19075 109384 372882 | 2147483647 242907 82 | 7.232 % |
393.93/393.98 c | 406741 | 19075 109384 372882 | 2147483647 244180 82 | 7.232 % |
396.03/396.09 c | 408141 | 19075 109384 372882 | 2147483647 245580 83 | 7.232 % |
398.33/398.32 c | 409681 | 19075 109384 372882 | 2147483647 247120 83 | 7.232 % |
401.53/401.59 c | 411376 | 19075 109384 372882 | 247441 248815 83 | 7.232 % |
404.74/404.81 c | 413240 | 19075 109384 372882 | 247441 250679 84 | 7.232 % |
408.04/408.08 c | 415290 | 19075 109384 372882 | 247441 225234 80 | 7.232 % |
410.94/410.99 c | 417544 | 19075 109384 372882 | 247441 227488 80 | 7.232 % |
416.44/416.45 c | 420022 | 19075 109384 372882 | 2147483647 229966 81 | 7.232 % |
422.34/422.38 c | 422747 | 19072 109369 372839 | 2147483647 232679 82 | 7.246 % |
426.54/426.56 c | 425745 | 19072 109369 372839 | 2147483647 235677 82 | 7.246 % |
432.74/432.71 c | 429041 | 19072 109369 372839 | 2147483647 238973 83 | 7.246 % |
437.33/437.35 c | 432667 | 19072 109369 372839 | 2147483647 242599 83 | 7.246 % |
442.62/442.61 c | 436655 | 19072 109369 372839 | 2147483647 246587 84 | 7.246 % |
442.72/442.74 c | 436755 | 19072 109369 372839 | 2147483647 246687 84 | 7.246 % |
442.82/442.85 c | 436866 | 19072 109369 372839 | 2147483647 246798 84 | 7.246 % |
442.92/442.96 c | 436987 | 19072 109369 372839 | 2147483647 246919 84 | 7.246 % |
443.12/443.21 c | 437120 | 19072 109369 372839 | 2147483647 247052 84 | 7.246 % |
443.33/443.38 c | 437266 | 19072 109369 372839 | 2147483647 247198 84 | 7.246 % |
443.62/443.66 c | 437427 | 19072 109369 372839 | 2147483647 247359 84 | 7.246 % |
443.82/443.88 c | 437604 | 19072 109369 372839 | 2147483647 247536 84 | 7.246 % |
444.22/444.21 c | 437797 | 19072 109369 372839 | 2147483647 247729 84 | 7.246 % |
444.32/444.42 c | 438009 | 19072 109369 372839 | 2147483647 247941 84 | 7.246 % |
444.82/444.83 c | 438242 | 19072 109369 372839 | 2147483647 248174 84 | 7.246 % |
445.02/445.05 c | 438498 | 19072 109369 372839 | 2147483647 248430 84 | 7.246 % |
445.42/445.45 c | 438779 | 19072 109369 372839 | 2147483647 248711 84 | 7.246 % |
445.92/445.95 c | 439089 | 19072 109369 372839 | 2147483647 249021 84 | 7.246 % |
446.32/446.38 c | 439429 | 19072 109369 372839 | 2147483647 249361 84 | 7.246 % |
446.72/446.80 c | 439802 | 19072 109369 372839 | 2147483647 249734 84 | 7.246 % |
447.32/447.38 c | 440211 | 19072 109369 372839 | 249933 250143 84 | 7.246 % |
447.92/447.99 c | 440660 | 19072 109369 372839 | 249933 250592 84 | 7.246 % |
448.32/448.35 c | 441153 | 19072 109369 372839 | 249933 251085 84 | 7.246 % |
449.32/449.38 c | 441695 | 19072 109369 372839 | 249933 251627 84 | 7.246 % |
449.72/449.78 c | 442291 | 19072 109369 372839 | 249933 225776 86 | 7.246 % |
450.62/450.68 c | 442946 | 19072 109369 372839 | 249933 226431 86 | 7.246 % |
451.32/451.32 c | 443668 | 19072 109369 372839 | 249933 227153 86 | 7.246 % |
452.52/452.55 c | 444460 | 19072 109369 372839 | 249933 227945 86 | 7.246 % |
453.82/453.85 c | 445331 | 19071 109369 372839 | 249933 228815 86 | 7.256 % |
455.22/455.31 c | 446289 | 19071 109369 372839 | 249933 229773 86 | 7.256 % |
456.53/456.57 c | 447343 | 19071 109369 372839 | 249933 230827 86 | 7.256 % |
457.82/457.84 c | 448504 | 19071 109369 372839 | 249933 231988 86 | 7.256 % |
460.02/460.10 c | 449778 | 19071 109369 372839 | 249933 233262 87 | 7.256 % |
461.42/461.43 c | 451179 | 19071 109369 372839 | 2147483647 234663 87 | 7.256 % |
464.43/464.44 c | 452719 | 19071 109369 372839 | 2147483647 236203 87 | 7.256 % |
466.53/466.59 c | 454415 | 19071 109369 372839 | 2147483647 237899 88 | 7.256 % |
469.33/469.34 c | 456278 | 19071 109369 372839 | 2147483647 239762 88 | 7.256 % |
471.73/471.82 c | 458328 | 19071 109369 372839 | 2147483647 241812 88 | 7.256 % |
474.53/474.61 c | 460581 | 19071 109369 372839 | 2147483647 244065 88 | 7.256 % |
479.43/479.52 c | 463059 | 19070 109362 372817 | 2147483647 246543 89 | 7.256 % |
483.53/483.58 c | 465784 | 19070 109362 372817 | 2147483647 249268 90 | 7.256 % |
487.93/487.97 c | 468782 | 19070 109362 372817 | 2147483647 252266 91 | 7.256 % |
492.63/492.62 c | 472078 | 19070 109362 372817 | 2147483647 255562 91 | 7.256 % |
497.93/498.01 c | 475703 | 19070 109362 372817 | 2147483647 259187 92 | 7.256 % |
508.23/508.26 c | 479692 | 19070 109362 372817 | 2147483647 263176 95 | 7.256 % |
514.73/514.79 c | 484079 | 19070 109362 372817 | 263484 234975 95 | 7.256 % |
514.93/514.93 c | 484180 | 19070 109362 372817 | 263484 235076 94 | 7.256 % |
515.03/515.04 c | 484291 | 19070 109362 372817 | 263484 235187 94 | 7.256 % |
515.23/515.28 c | 484412 | 19070 109362 372817 | 263484 235308 94 | 7.256 % |
515.33/515.41 c | 484545 | 19070 109362 372817 | 263484 235441 94 | 7.256 % |
515.63/515.70 c | 484691 | 19070 109362 372817 | 263484 235587 94 | 7.256 % |
515.83/515.84 c | 484852 | 19070 109362 372817 | 263484 235748 94 | 7.256 % |
515.93/515.96 c | 485028 | 19070 109362 372817 | 263484 235924 94 | 7.256 % |
516.23/516.26 c | 485223 | 19070 109362 372817 | 263484 236119 94 | 7.256 % |
516.43/516.49 c | 485435 | 19070 109362 372817 | 263484 236331 94 | 7.256 % |
516.73/516.77 c | 485670 | 19070 109362 372817 | 263484 236566 94 | 7.256 % |
517.13/517.19 c | 485926 | 19070 109362 372817 | 263484 236822 94 | 7.256 % |
517.53/517.54 c | 486207 | 19070 109362 372817 | 263484 237103 94 | 7.256 % |
518.03/518.03 c | 486518 | 19070 109362 372817 | 263484 237414 94 | 7.256 % |
518.63/518.64 c | 486858 | 19070 109362 372817 | 263484 237754 94 | 7.256 % |
519.13/519.14 c | 487230 | 19070 109362 372817 | 263484 238126 94 | 7.256 % |
519.83/519.88 c | 487639 | 19070 109362 372817 | 263484 238535 94 | 7.256 % |
520.23/520.29 c | 488089 | 19070 109362 372817 | 263484 238985 94 | 7.256 % |
520.93/520.93 c | 488582 | 19070 109362 372817 | 263484 239478 94 | 7.256 % |
521.63/521.69 c | 489124 | 19069 109362 372817 | 263484 240019 94 | 7.261 % |
522.53/522.52 c | 489721 | 19069 109362 372817 | 263484 240616 94 | 7.261 % |
523.33/523.39 c | 490377 | 19069 109362 372817 | 240895 241272 94 | 7.261 % |
524.13/524.19 c | 491097 | 19069 109362 372817 | 240895 241992 94 | 7.261 % |
525.13/525.16 c | 491890 | 19069 109362 372817 | 240895 242785 94 | 7.261 % |
526.33/526.38 c | 492761 | 19069 109362 372817 | 240895 214836 91 | 7.261 % |
527.83/527.88 c | 493721 | 19069 109362 372817 | 240895 215796 91 | 7.261 % |
529.73/529.74 c | 494774 | 19069 109362 372817 | 240895 216849 91 | 7.261 % |
530.73/530.78 c | 495932 | 19069 109362 372817 | 240895 218007 91 | 7.261 % |
532.83/532.82 c | 497205 | 19069 109362 372817 | 240895 219280 92 | 7.261 % |
534.73/534.81 c | 498605 | 19069 109362 372817 | 240895 220680 92 | 7.261 % |
536.13/536.21 c | 500146 | 19069 109362 372817 | 2147483647 222221 92 | 7.261 % |
538.63/538.69 c | 501840 | 19069 109362 372817 | 2147483647 223915 92 | 7.261 % |
542.53/542.54 c | 503704 | 19069 109354 372789 | 2147483647 225776 93 | 7.261 % |
545.83/545.83 c | 505754 | 19069 109354 372789 | 2147483647 227826 93 | 7.261 % |
550.23/550.26 c | 508008 | 19069 109354 372789 | 2147483647 230080 95 | 7.261 % |
553.53/553.52 c | 510486 | 19069 109354 372789 | 2147483647 232558 95 | 7.261 % |
558.93/558.93 c | 513211 | 19069 109354 372789 | 2147483647 235283 96 | 7.261 % |
563.63/563.68 c | 516208 | 19069 109354 372789 | 2147483647 238280 97 | 7.261 % |
570.33/570.33 c | 519504 | 19069 109354 372789 | 2147483647 241576 98 | 7.261 % |
576.54/576.60 c | 523130 | 19069 109354 372789 | 2147483647 245202 99 | 7.261 % |
583.84/583.87 c | 527117 | 19069 109354 372789 | 2147483647 249189 101 | 7.261 % |
590.34/590.36 c | 531502 | 19069 109354 372789 | 2147483647 253574 102 | 7.261 % |
598.74/598.76 c | 536325 | 19069 109354 372789 | 2147483647 258397 103 | 7.261 % |
598.84/598.90 c | 536426 | 19069 109354 372789 | 2147483647 258498 103 | 7.261 % |
599.04/599.03 c | 536538 | 19069 109354 372789 | 2147483647 258610 103 | 7.261 % |
599.14/599.20 c | 536659 | 19069 109354 372789 | 2147483647 258731 103 | 7.261 % |
599.34/599.34 c | 536792 | 19069 109354 372789 | 2147483647 258864 103 | 7.261 % |
599.54/599.58 c | 536938 | 19069 109354 372789 | 2147483647 259010 103 | 7.261 % |
599.74/599.76 c | 537098 | 19069 109354 372789 | 2147483647 259170 103 | 7.261 % |
599.94/599.99 c | 537274 | 19069 109354 372789 | 2147483647 259346 103 | 7.261 % |
600.24/600.30 c | 537468 | 19069 109354 372789 | 2147483647 259540 103 | 7.261 % |
600.54/600.52 c | 537681 | 19069 109354 372789 | 2147483647 259753 103 | 7.261 % |
600.84/600.90 c | 537914 | 19069 109354 372789 | 2147483647 259986 103 | 7.261 % |
601.24/601.28 c | 538170 | 19069 109354 372789 | 2147483647 260242 103 | 7.261 % |
601.54/601.54 c | 538451 | 19069 109354 372789 | 2147483647 260523 103 | 7.261 % |
601.84/601.86 c | 538761 | 19069 109354 372789 | 2147483647 260833 103 | 7.261 % |
602.14/602.19 c | 539102 | 19069 109354 372789 | 2147483647 261174 103 | 7.261 % |
602.84/602.83 c | 539474 | 19069 109354 372789 | 2147483647 261546 103 | 7.261 % |
603.34/603.33 c | 539883 | 19069 109354 372789 | 2147483647 261955 103 | 7.261 % |
604.24/604.27 c | 540333 | 19069 109354 372789 | 2147483647 262405 103 | 7.261 % |
605.14/605.13 c | 540827 | 19069 109354 372789 | 2147483647 262899 103 | 7.261 % |
605.84/605.91 c | 541371 | 19069 109354 372789 | 2147483647 263443 103 | 7.261 % |
606.64/606.66 c | 541967 | 19069 109354 372789 | 2147483647 264039 103 | 7.261 % |
607.54/607.53 c | 542622 | 19069 109354 372789 | 2147483647 264694 103 | 7.261 % |
608.24/608.28 c | 543343 | 19069 109354 372789 | 2147483647 265415 103 | 7.261 % |
609.64/609.66 c | 544135 | 19069 109354 372789 | 2147483647 266207 103 | 7.261 % |
611.04/611.02 c | 545009 | 19069 109354 372789 | 2147483647 267081 103 | 7.261 % |
613.54/613.55 c | 545968 | 19069 109354 372789 | 2147483647 268040 103 | 7.261 % |
614.44/614.51 c | 547023 | 19069 109354 372789 | 2147483647 269095 103 | 7.261 % |
616.94/616.94 c | 548181 | 19069 109354 372789 | 2147483647 270253 103 | 7.261 % |
618.74/618.81 c | 549454 | 19069 109354 372789 | 2147483647 271526 103 | 7.261 % |
621.24/621.24 c | 550855 | 19069 109354 372789 | 272073 272927 104 | 7.261 % |
625.04/625.04 c | 552396 | 19069 109354 372789 | 272073 274468 105 | 7.261 % |
626.84/626.90 c | 554090 | 19069 109354 372789 | 272073 248716 104 | 7.261 % |
629.94/629.93 c | 555955 | 19069 109354 372789 | 272073 250581 104 | 7.261 % |
633.84/633.83 c | 558005 | 19069 109354 372789 | 272073 252631 105 | 7.261 % |
638.34/638.39 c | 560260 | 19069 109354 372789 | 254626 254886 105 | 7.261 % |
642.04/642.09 c | 562738 | 19069 109354 372789 | 254626 230547 102 | 7.261 % |
645.44/645.42 c | 565463 | 19069 109354 372789 | 254626 233272 102 | 7.261 % |
652.24/652.32 c | 568460 | 19069 109354 372789 | 254626 236269 103 | 7.261 % |
656.84/656.88 c | 571756 | 19069 109354 372789 | 2147483647 239565 103 | 7.261 % |
663.23/663.28 c | 575383 | 19069 109354 372789 | 2147483647 243192 104 | 7.261 % |
671.23/671.21 c | 579370 | 19069 109354 372789 | 2147483647 247179 106 | 7.261 % |
678.93/678.93 c | 583757 | 19069 109354 372789 | 2147483647 251566 107 | 7.261 % |
689.74/689.78 c | 588582 | 19069 109354 372789 | 2147483647 256391 109 | 7.261 % |
701.64/701.66 c | 593887 | 19069 109354 372789 | 257810 261696 111 | 7.261 % |
702.04/702.03 c | 593987 | 19069 109354 372789 | 257810 234632 108 | 7.261 % |
702.14/702.17 c | 594097 | 19069 109354 372789 | 257810 234742 108 | 7.261 % |
702.34/702.37 c | 594219 | 19069 109354 372789 | 257810 234864 108 | 7.261 % |
702.54/702.52 c | 594352 | 19069 109354 372789 | 257810 234997 108 | 7.261 % |
702.74/702.71 c | 594498 | 19069 109354 372789 | 257810 235143 108 | 7.261 % |
702.94/702.96 c | 594658 | 19069 109354 372789 | 257810 235303 108 | 7.261 % |
703.14/703.14 c | 594836 | 19069 109354 372789 | 257810 235481 108 | 7.261 % |
703.24/703.21 c | 595030 | 19069 109354 372789 | 257810 235675 108 | 7.261 % |
703.34/703.40 c | 595243 | 19069 109354 372789 | 257810 235888 108 | 7.261 % |
703.74/703.76 c | 595476 | 19069 109354 372789 | 257810 236121 108 | 7.261 % |
704.14/704.15 c | 595732 | 19069 109354 372789 | 257810 236377 108 | 7.261 % |
704.34/704.33 c | 596013 | 19069 109354 372789 | 257810 236658 108 | 7.261 % |
704.54/704.51 c | 596323 | 19069 109354 372789 | 257810 236968 108 | 7.261 % |
704.74/704.75 c | 596663 | 19069 109354 372789 | 257810 237308 108 | 7.261 % |
705.34/705.34 c | 597036 | 19069 109354 372789 | 257810 237681 108 | 7.261 % |
705.84/705.90 c | 597445 | 19069 109354 372789 | 257810 238090 108 | 7.261 % |
706.54/706.54 c | 597894 | 19069 109354 372789 | 257810 238539 108 | 7.261 % |
707.14/707.19 c | 598388 | 19069 109354 372789 | 257810 239033 107 | 7.261 % |
707.84/707.87 c | 598930 | 19069 109354 372789 | 257810 239575 107 | 7.261 % |
708.54/708.60 c | 599528 | 19069 109354 372789 | 257810 240173 107 | 7.261 % |
709.84/709.82 c | 600184 | 19069 109354 372789 | 240646 240829 107 | 7.261 % |
710.54/710.60 c | 600906 | 19069 109354 372789 | 240646 241551 107 | 7.261 % |
712.04/712.07 c | 601700 | 19069 109354 372789 | 240646 242345 107 | 7.261 % |
713.44/713.48 c | 602574 | 19069 109354 372789 | 240646 216728 105 | 7.261 % |
714.84/714.85 c | 603533 | 19069 109354 372789 | 240646 217687 105 | 7.261 % |
716.34/716.41 c | 604586 | 19069 109354 372789 | 240646 218740 105 | 7.261 % |
719.24/719.21 c | 605745 | 19069 109354 372789 | 240646 219899 106 | 7.261 % |
720.84/720.88 c | 607020 | 19069 109354 372789 | 240646 221174 106 | 7.261 % |
723.14/723.17 c | 608423 | 19069 109354 372789 | 240646 222577 106 | 7.261 % |
725.54/725.55 c | 609963 | 19069 109354 372789 | 240646 224117 106 | 7.261 % |
727.74/727.72 c | 611658 | 19069 109354 372789 | 2147483647 225812 106 | 7.261 % |
731.34/731.41 c | 613521 | 19069 109354 372789 | 2147483647 227675 107 | 7.261 % |
734.64/734.69 c | 615570 | 19069 109354 372789 | 2147483647 229724 108 | 7.261 % |
737.44/737.46 c | 617823 | 19069 109354 372789 | 2147483647 231977 107 | 7.261 % |
743.54/743.55 c | 620301 | 19069 109354 372789 | 2147483647 234455 109 | 7.261 % |
747.84/747.84 c | 623026 | 19069 109354 372789 | 2147483647 237180 109 | 7.261 % |
752.64/752.69 c | 626025 | 19069 109354 372789 | 2147483647 240179 110 | 7.261 % |
758.64/758.66 c | 629321 | 19069 109354 372789 | 2147483647 243475 111 | 7.261 % |
764.64/764.63 c | 632946 | 19069 109354 372789 | 2147483647 247100 111 | 7.261 % |
773.54/773.51 c | 636935 | 19069 109354 372789 | 2147483647 251089 113 | 7.261 % |
780.94/780.98 c | 641322 | 19069 109354 372789 | 2147483647 255476 114 | 7.261 % |
788.44/788.40 c | 646145 | 19069 109354 372789 | 2147483647 260299 115 | 7.261 % |
797.44/797.43 c | 651450 | 19069 109354 372789 | 264157 265604 116 | 7.261 % |
806.45/806.45 c | 657286 | 19069 109354 372789 | 264157 271440 117 | 7.261 % |
806.95/806.92 c | 657386 | 19069 109354 372789 | 264157 227024 109 | 7.261 % |
807.05/807.02 c | 657497 | 19069 109354 372789 | 264157 227135 109 | 7.261 % |
807.15/807.19 c | 657619 | 19069 109354 372789 | 264157 227257 109 | 7.261 % |
807.35/807.36 c | 657752 | 19069 109354 372789 | 264157 227390 109 | 7.261 % |
807.55/807.59 c | 657899 | 19069 109354 372789 | 264157 227537 109 | 7.261 % |
807.75/807.78 c | 658060 | 19069 109354 372789 | 264157 227698 109 | 7.261 % |
808.05/808.06 c | 658237 | 19069 109354 372789 | 264157 227875 109 | 7.261 % |
808.25/808.25 c | 658430 | 19069 109354 372789 | 264157 228068 109 | 7.261 % |
808.45/808.42 c | 658644 | 19069 109354 372789 | 264157 228282 109 | 7.261 % |
808.65/808.65 c | 658878 | 19069 109354 372789 | 264157 228516 109 | 7.261 % |
808.85/808.87 c | 659134 | 19069 109354 372789 | 264157 228772 109 | 7.261 % |
809.35/809.32 c | 659415 | 19069 109354 372789 | 264157 229053 109 | 7.261 % |
809.55/809.61 c | 659724 | 19069 109354 372789 | 264157 229362 109 | 7.261 % |
810.05/810.02 c | 660063 | 19069 109354 372789 | 229639 229701 109 | 7.261 % |
810.65/810.64 c | 660436 | 19069 109354 372789 | 229639 230074 109 | 7.261 % |
811.25/811.26 c | 660845 | 19069 109354 372789 | 229639 230483 109 | 7.261 % |
811.85/811.90 c | 661295 | 19069 109354 372789 | 229639 230933 109 | 7.261 % |
812.45/812.51 c | 661788 | 19069 109354 372789 | 229639 231426 109 | 7.261 % |
813.75/813.72 c | 662333 | 19069 109354 372789 | 229639 200479 103 | 7.261 % |
814.45/814.44 c | 662929 | 19069 109354 372789 | 229639 201075 103 | 7.261 % |
815.25/815.28 c | 663585 | 19069 109354 372789 | 229639 201731 103 | 7.261 % |
816.55/816.60 c | 664306 | 19069 109354 372789 | 229639 202452 103 | 7.261 % |
817.55/817.51 c | 665098 | 19069 109354 372789 | 229639 203244 103 | 7.261 % |
818.85/818.88 c | 665969 | 19069 109354 372789 | 229639 204115 103 | 7.261 % |
819.85/819.81 c | 666928 | 19069 109354 372789 | 229639 205074 103 | 7.261 % |
821.25/821.30 c | 667981 | 19069 109354 372789 | 229639 206127 103 | 7.261 % |
822.65/822.63 c | 669139 | 19069 109354 372789 | 229639 207285 103 | 7.261 % |
824.55/824.55 c | 670413 | 19069 109354 372789 | 2147483647 208559 103 | 7.261 % |
827.15/827.13 c | 671813 | 19069 109354 372789 | 2147483647 209959 104 | 7.261 % |
828.75/828.77 c | 673354 | 19069 109354 372789 | 2147483647 211500 104 | 7.261 % |
831.25/831.25 c | 675049 | 19069 109354 372789 | 2147483647 213195 104 | 7.261 % |
834.35/834.39 c | 676913 | 19069 109354 372789 | 2147483647 215059 105 | 7.261 % |
836.55/836.54 c | 678962 | 19069 109354 372789 | 2147483647 217108 105 | 7.261 % |
840.35/840.38 c | 681216 | 19069 109354 372789 | 2147483647 219362 106 | 7.261 % |
843.35/843.34 c | 683694 | 19069 109354 372789 | 2147483647 221840 106 | 7.261 % |
847.45/847.48 c | 686420 | 19069 109354 372789 | 2147483647 224566 107 | 7.261 % |
850.15/850.17 c | 689417 | 19069 109354 372789 | 2147483647 227563 106 | 7.261 % |
854.65/854.64 c | 692713 | 19069 109354 372789 | 2147483647 230859 107 | 7.261 % |
861.35/861.35 c | 696339 | 19069 109354 372789 | 2147483647 234485 108 | 7.261 % |
869.95/869.94 c | 700327 | 19069 109354 372789 | 2147483647 238473 110 | 7.261 % |
877.25/877.27 c | 704712 | 19069 109354 372789 | 2147483647 242858 112 | 7.261 % |
885.56/885.58 c | 709536 | 19069 109354 372789 | 2147483647 247682 114 | 7.261 % |
895.35/895.36 c | 714841 | 19069 109354 372789 | 2147483647 252987 116 | 7.261 % |
908.06/908.09 c | 720677 | 19069 109354 372789 | 2147483647 258823 118 | 7.261 % |
918.57/918.61 c | 727095 | 19069 109354 372789 | 2147483647 265241 119 | 7.261 % |
918.77/918.77 c | 727195 | 19069 109354 372789 | 2147483647 265341 119 | 7.261 % |
918.97/918.96 c | 727305 | 19069 109354 372789 | 2147483647 265451 119 | 7.261 % |
919.17/919.18 c | 727427 | 19069 109354 372789 | 2147483647 265573 119 | 7.261 % |
919.27/919.31 c | 727560 | 19069 109354 372789 | 2147483647 265706 119 | 7.261 % |
919.67/919.64 c | 727707 | 19069 109354 372789 | 2147483647 265853 119 | 7.261 % |
919.87/919.88 c | 727868 | 19069 109354 372789 | 2147483647 266014 119 | 7.261 % |
920.27/920.22 c | 728044 | 19069 109354 372789 | 2147483647 266190 118 | 7.261 % |
920.47/920.51 c | 728237 | 19069 109354 372789 | 2147483647 266383 118 | 7.261 % |
920.87/920.85 c | 728451 | 19069 109354 372789 | 2147483647 266597 118 | 7.261 % |
921.07/921.08 c | 728687 | 19069 109354 372789 | 2147483647 266833 118 | 7.261 % |
921.57/921.54 c | 728943 | 19069 109354 372789 | 2147483647 267089 118 | 7.261 % |
921.87/921.89 c | 729224 | 19069 109354 372789 | 2147483647 267370 118 | 7.261 % |
922.47/922.46 c | 729534 | 19069 109354 372789 | 2147483647 267680 118 | 7.261 % |
923.17/923.17 c | 729876 | 19069 109354 372789 | 2147483647 268022 118 | 7.261 % |
923.77/923.81 c | 730248 | 19069 109354 372789 | 268146 268394 118 | 7.261 % |
924.57/924.58 c | 730657 | 19069 109354 372789 | 268146 268803 118 | 7.261 % |
925.27/925.29 c | 731107 | 19069 109354 372789 | 268146 269253 118 | 7.261 % |
926.07/926.12 c | 731600 | 19069 109354 372789 | 268146 269746 118 | 7.261 % |
926.97/926.98 c | 732142 | 19069 109354 372789 | 268146 232725 113 | 7.261 % |
927.87/927.90 c | 732739 | 19069 109354 372789 | 268146 233322 113 | 7.261 % |
928.37/928.36 c | 733394 | 19069 109354 372789 | 268146 233977 113 | 7.261 % |
929.37/929.32 c | 734115 | 19069 109354 372789 | 268146 234698 113 | 7.261 % |
930.37/930.37 c | 734908 | 19069 109354 372789 | 268146 235491 113 | 7.261 % |
931.67/931.62 c | 735781 | 19069 109354 372789 | 268146 236364 113 | 7.261 % |
933.17/933.22 c | 736740 | 19066 109325 372686 | 268146 237311 112 | 7.276 % |
934.57/934.61 c | 737795 | 19066 109325 372686 | 268146 238366 112 | 7.276 % |
936.17/936.20 c | 738953 | 19066 109325 372686 | 268146 239524 112 | 7.276 % |
937.87/937.86 c | 740226 | 19066 109325 372686 | 240572 240797 112 | 7.276 % |
939.87/939.89 c | 741626 | 19066 109325 372686 | 240572 242197 112 | 7.276 % |
942.87/942.89 c | 743166 | 19066 109325 372686 | 240572 217944 109 | 7.276 % |
944.47/944.46 c | 744860 | 19066 109325 372686 | 240572 219638 108 | 7.276 % |
947.77/947.79 c | 746724 | 19066 109325 372686 | 240572 221502 109 | 7.276 % |
952.07/952.06 c | 748773 | 19066 109325 372686 | 240572 223551 110 | 7.276 % |
956.07/956.10 c | 751026 | 19066 109325 372686 | 2147483647 225804 111 | 7.276 % |
960.77/960.76 c | 753506 | 19066 109325 372686 | 2147483647 228284 112 | 7.276 % |
964.47/964.42 c | 756231 | 19066 109325 372686 | 2147483647 231009 111 | 7.276 % |
969.67/969.66 c | 759228 | 19066 109325 372686 | 2147483647 234006 112 | 7.276 % |
975.97/976.01 c | 762525 | 19066 109325 372686 | 2147483647 237303 113 | 7.276 % |
982.17/982.19 c | 766150 | 19066 109325 372686 | 2147483647 240928 113 | 7.276 % |
989.37/989.41 c | 770137 | 19066 109325 372686 | 2147483647 244915 114 | 7.276 % |
994.97/994.99 c | 774522 | 19066 109325 372686 | 2147483647 249300 114 | 7.276 % |
1004.47/1004.42 c | 779345 | 19066 109325 372686 | 2147483647 254123 115 | 7.276 % |
1015.67/1015.64 c | 784650 | 19066 109325 372686 | 2147483647 259428 118 | 7.276 % |
1025.37/1025.32 c | 790485 | 19066 109325 372686 | 264779 265263 118 | 7.276 % |
1036.57/1036.52 c | 796903 | 19066 109325 372686 | 264779 228335 114 | 7.276 % |
1051.47/1051.47 c | 803962 | 19066 109325 372686 | 231433 235394 117 | 7.276 % |
1051.87/1051.86 c | 804062 | 19066 109325 372686 | 231433 211955 112 | 7.276 % |
1051.97/1051.97 c | 804175 | 19066 109325 372686 | 231433 212068 112 | 7.276 % |
1052.07/1052.08 c | 804299 | 19066 109325 372686 | 231433 212192 112 | 7.276 % |
1052.17/1052.18 c | 804433 | 19066 109325 372686 | 231433 212326 112 | 7.276 % |
1052.37/1052.32 c | 804580 | 19066 109325 372686 | 231433 212473 111 | 7.276 % |
1052.57/1052.56 c | 804740 | 19066 109325 372686 | 231433 212633 111 | 7.276 % |
1052.77/1052.79 c | 804918 | 19066 109325 372686 | 231433 212811 111 | 7.276 % |
1053.07/1053.06 c | 805111 | 19066 109325 372686 | 231433 213004 111 | 7.276 % |
1053.27/1053.25 c | 805323 | 19066 109325 372686 | 231433 213216 111 | 7.276 % |
1053.47/1053.47 c | 805558 | 19066 109325 372686 | 231433 213451 111 | 7.276 % |
1053.67/1053.63 c | 805814 | 19066 109325 372686 | 231433 213707 111 | 7.276 % |
1054.07/1054.05 c | 806095 | 19066 109325 372686 | 231433 213988 111 | 7.276 % |
1054.47/1054.43 c | 806404 | 19066 109325 372686 | 231433 214297 111 | 7.276 % |
1054.87/1054.85 c | 806746 | 19066 109325 372686 | 231433 214639 111 | 7.276 % |
1055.17/1055.14 c | 807118 | 19066 109325 372686 | 231433 215011 111 | 7.276 % |
1055.57/1055.58 c | 807528 | 19066 109325 372686 | 231433 215421 111 | 7.276 % |
1055.97/1055.99 c | 807979 | 19066 109325 372686 | 231433 215872 111 | 7.276 % |
1056.77/1056.72 c | 808472 | 19066 109325 372686 | 231433 216365 111 | 7.276 % |
1057.37/1057.40 c | 809014 | 19066 109325 372686 | 231433 216907 111 | 7.276 % |
1058.27/1058.22 c | 809613 | 19066 109325 372686 | 231433 217506 111 | 7.276 % |
1059.17/1059.15 c | 810270 | 19066 109325 372686 | 2147483647 218163 111 | 7.276 % |
1060.27/1060.28 c | 810991 | 19066 109325 372686 | 2147483647 218884 111 | 7.276 % |
1061.87/1061.82 c | 811785 | 19066 109325 372686 | 2147483647 219678 111 | 7.276 % |
1062.87/1062.88 c | 812657 | 19066 109325 372686 | 2147483647 220550 111 | 7.276 % |
1064.27/1064.25 c | 813616 | 19066 109325 372686 | 2147483647 221509 111 | 7.276 % |
1066.07/1066.01 c | 814669 | 19066 109325 372686 | 2147483647 222562 111 | 7.276 % |
1067.37/1067.32 c | 815827 | 19066 109325 372686 | 2147483647 223720 111 | 7.276 % |
1068.67/1068.63 c | 817100 | 19066 109325 372686 | 2147483647 224993 110 | 7.276 % |
1071.77/1071.74 c | 818501 | 19066 109325 372686 | 2147483647 226394 111 | 7.276 % |
1074.17/1074.13 c | 820043 | 19066 109325 372686 | 2147483647 227936 111 | 7.276 % |
1076.77/1076.80 c | 821738 | 19066 109325 372686 | 2147483647 229631 111 | 7.276 % |
1079.07/1079.07 c | 823601 | 19066 109325 372686 | 2147483647 231494 111 | 7.276 % |
1082.07/1082.06 c | 825650 | 19066 109325 372686 | 2147483647 233543 112 | 7.276 % |
1084.87/1084.90 c | 827903 | 19066 109325 372686 | 2147483647 235796 112 | 7.276 % |
1087.87/1087.87 c | 830384 | 19066 109325 372686 | 2147483647 238277 112 | 7.276 % |
1091.87/1091.83 c | 833110 | 19066 109325 372686 | 2147483647 241003 112 | 7.276 % |
1096.87/1096.86 c | 836108 | 19066 109325 372686 | 2147483647 244001 113 | 7.276 % |
1101.07/1101.06 c | 839404 | 19066 109325 372686 | 2147483647 247297 113 | 7.276 % |
1106.68/1106.69 c | 843029 | 19066 109325 372686 | 2147483647 250922 113 | 7.276 % |
1113.17/1113.14 c | 847016 | 19066 109325 372686 | 2147483647 254909 114 | 7.276 % |
1120.87/1120.81 c | 851401 | 19066 109325 372686 | 257893 259294 115 | 7.276 % |
1129.67/1129.64 c | 856226 | 19066 109325 372686 | 257893 231309 105 | 7.276 % |
1133.98/1133.92 c | 861532 | 19066 109325 372686 | 2147483647 236615 104 | 7.276 % |
1142.98/1142.95 c | 867368 | 19066 109325 372686 | 2147483647 242451 106 | 7.276 % |
1158.98/1158.97 c | 873786 | 19066 109325 372686 | 245084 248869 110 | 7.276 % |
1171.48/1171.45 c | 880845 | 19066 109325 372686 | 2147483647 231042 109 | 7.276 % |
1185.18/1185.20 c | 888610 | 19066 109325 372686 | 2147483647 238807 111 | 7.276 % |
1185.38/1185.36 c | 888711 | 19066 109325 372686 | 2147483647 238908 111 | 7.276 % |
1185.48/1185.48 c | 888821 | 19066 109325 372686 | 2147483647 239018 111 | 7.276 % |
1185.68/1185.61 c | 888943 | 19066 109325 372686 | 2147483647 239140 111 | 7.276 % |
1185.88/1185.83 c | 889076 | 19066 109325 372686 | 2147483647 239273 111 | 7.276 % |
1186.08/1186.04 c | 889223 | 19066 109325 372686 | 2147483647 239420 111 | 7.276 % |
1186.28/1186.22 c | 889383 | 19066 109325 372686 | 2147483647 239580 111 | 7.276 % |
1186.38/1186.34 c | 889559 | 19066 109325 372686 | 2147483647 239756 110 | 7.276 % |
1186.48/1186.49 c | 889752 | 19066 109325 372686 | 2147483647 239949 110 | 7.276 % |
1186.88/1186.84 c | 889964 | 19066 109325 372686 | 2147483647 240161 110 | 7.276 % |
1187.08/1187.08 c | 890197 | 19066 109325 372686 | 2147483647 240394 110 | 7.276 % |
1187.48/1187.42 c | 890454 | 19066 109325 372686 | 2147483647 240651 110 | 7.276 % |
1187.78/1187.77 c | 890739 | 19066 109325 372686 | 2147483647 240936 110 | 7.276 % |
1188.28/1188.30 c | 891049 | 19066 109325 372686 | 2147483647 241246 110 | 7.276 % |
1188.88/1188.87 c | 891388 | 19066 109325 372686 | 2147483647 241585 110 | 7.276 % |
1189.38/1189.39 c | 891761 | 19066 109325 372686 | 2147483647 241958 110 | 7.276 % |
1189.98/1189.99 c | 892174 | 19066 109325 372686 | 2147483647 242371 110 | 7.276 % |
1190.78/1190.80 c | 892623 | 19066 109325 372686 | 2147483647 242820 110 | 7.276 % |
1191.68/1191.63 c | 893116 | 19066 109325 372686 | 2147483647 243313 110 | 7.276 % |
1192.48/1192.48 c | 893658 | 19066 109325 372686 | 2147483647 243855 110 | 7.276 % |
1193.58/1193.57 c | 894254 | 19066 109325 372686 | 2147483647 244451 110 | 7.276 % |
1194.58/1194.57 c | 894909 | 19066 109325 372686 | 2147483647 245106 110 | 7.276 % |
1195.68/1195.66 c | 895630 | 19066 109325 372686 | 2147483647 245827 110 | 7.276 % |
1197.28/1197.26 c | 896422 | 19066 109325 372686 | 2147483647 246619 111 | 7.276 % |
1198.38/1198.32 c | 897295 | 19066 109325 372686 | 2147483647 247492 110 | 7.276 % |
1199.98/1199.91 c | 898254 | 19066 109325 372686 | 2147483647 248451 111 | 7.276 % |
1200.08/1200.03 HOME/SatELiteGTI: line 36: 16641 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820746-1242473324/watcher-1820746-1242473324 -o /tmp/evaluation-result-1820746-1242473324/solver-1820746-1242473324 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820746-1242473324.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.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=948 CPUtime=0
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 95 0 0 0 0 0 0 0 20 0 1 0 1011832954 970752 32 4294967295 134512640 135223648 3217588160 3217587936 134651181 0 0 0 0 0 0 0 17 2 0 0 0
/proc/16639/statm: 237 44 35 174 0 62 0
[startup+0.0515 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=7632 CPUtime=0.05
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 1488 0 0 0 5 0 0 0 20 0 1 0 1011832954 7815168 1424 4294967295 134512640 135223648 3217588160 3217587112 134737310 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 1908 1424 47 174 0 1733 0
Current children cumulated CPU time (s) 0.06
Current children cumulated vsize (KiB) 10048
[startup+0.111494 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=15364 CPUtime=0.11
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 3123 0 0 0 10 1 0 0 20 0 1 0 1011832954 15732736 3059 4294967295 134512640 135223648 3217588160 3217586744 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 3841 3060 47 174 0 3666 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 17780
[startup+0.311477 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=27676 CPUtime=0.31
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 6562 0 0 0 28 3 0 0 21 0 1 0 1011832954 28340224 6047 4294967295 134512640 135223648 3217588160 3217585828 134719062 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 6919 6047 73 174 0 6744 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30092
[startup+0.711444 s]
/proc/loadavg: 0.99 1.00 0.99 2/93 16635
/proc/meminfo: memFree=1622520/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2416 CPUtime=0.01
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 368 648 0 0 1 0 0 0 18 0 1 0 1011832954 2473984 277 4294967295 134512640 135169312 3214601472 3214600008 3085795054 0 65536 4 65538 3222381614 0 0 17 1 0 0 0
/proc/16635/statm: 604 277 235 161 0 43 0
[pid=16639] ppid=16635 vsize=30064 CPUtime=0.71
/proc/16639/stat : 16639 (SatELite_releas) R 16635 16635 10436 0 -1 4202496 7669 0 0 0 65 6 0 0 22 0 1 0 1011832954 30785536 6610 4294967295 134512640 135223648 3217588160 3217586256 134598308 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16639/statm: 7516 6610 73 174 0 7341 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 32480
[startup+1.51138 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16641
/proc/meminfo: memFree=1610088/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=9684 CPUtime=0.57
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 2276 0 0 0 56 1 0 0 22 0 1 0 1011833047 9916416 2211 4294967295 134512640 135215339 3216525088 3216523376 134528711 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 2421 2211 73 172 0 2248 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 12104
[startup+3.11125 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16641
/proc/meminfo: memFree=1608476/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=10608 CPUtime=2.17
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 2496 0 0 0 215 2 0 0 25 0 1 0 1011833047 10862592 2431 4294967295 134512640 135215339 3216525088 3216523184 134527239 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 2652 2431 73 172 0 2479 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 13028
[startup+6.31098 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16824
/proc/meminfo: memFree=1606256/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=12488 CPUtime=5.37
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 2947 0 0 0 535 2 0 0 25 0 1 0 1011833047 12787712 2882 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 3122 2882 73 172 0 2949 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 14908
[startup+12.7105 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16824
/proc/meminfo: memFree=1604248/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=14536 CPUtime=11.77
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 3439 0 0 0 1173 4 0 0 25 0 1 0 1011833047 14884864 3374 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 3634 3374 73 172 0 3461 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 16956
[startup+25.5194 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16824
/proc/meminfo: memFree=1599384/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=19360 CPUtime=24.58
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 4648 0 0 0 2452 6 0 0 25 0 1 0 1011833047 19824640 4583 4294967295 134512640 135215339 3216525088 3216523376 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 4840 4583 73 172 0 4667 0
Current children cumulated CPU time (s) 25.51
Current children cumulated vsize (KiB) 21780
[startup+51.1173 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 16831
/proc/meminfo: memFree=1589472/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=29128 CPUtime=50.18
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 7112 0 0 0 5010 8 0 0 25 0 1 0 1011833047 29827072 7047 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 7282 7047 73 172 0 7109 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 31548
[startup+102.323 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17021
/proc/meminfo: memFree=1570128/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=48536 CPUtime=101.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 11925 0 0 0 10124 15 0 0 25 0 1 0 1011833047 49700864 11860 4294967295 134512640 135215339 3216525088 3216523088 134532626 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 12134 11860 73 172 0 11961 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 50956
[startup+162.318 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 17208
/proc/meminfo: memFree=1550180/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=68744 CPUtime=161.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 16934 0 0 0 16118 21 0 0 25 0 1 0 1011833047 70393856 16869 4294967295 134512640 135215339 3216525088 3216523184 134527359 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 17186 16869 73 172 0 17013 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 71164
[startup+222.313 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17397
/proc/meminfo: memFree=1531944/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=86568 CPUtime=221.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 21432 0 0 0 22117 22 0 0 25 0 1 0 1011833047 88645632 21367 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 21642 21367 73 172 0 21469 0
Current children cumulated CPU time (s) 222.32
Current children cumulated vsize (KiB) 88988
[startup+282.318 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17583
/proc/meminfo: memFree=1524760/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=93696 CPUtime=281.4
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 23214 0 0 0 28116 24 0 0 25 0 1 0 1011833047 95944704 23149 4294967295 134512640 135215339 3216525088 3216523088 134532687 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 23424 23149 73 172 0 23251 0
Current children cumulated CPU time (s) 282.33
Current children cumulated vsize (KiB) 96116
[startup+342.303 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 17771
/proc/meminfo: memFree=1515956/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=102144 CPUtime=341.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 25341 0 0 0 34113 26 0 0 25 0 1 0 1011833047 104595456 25276 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/16641/statm: 25536 25276 73 172 0 25363 0
Current children cumulated CPU time (s) 342.32
################
# More data... #
################
[pid=16641] ppid=16635 vsize=104520 CPUtime=461.39
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 25916 0 0 0 46108 31 0 0 25 0 1 0 1011833047 107028480 25851 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 26130 25851 73 172 0 25957 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 106940
[startup+522.319 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 18339
/proc/meminfo: memFree=1497232/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=121284 CPUtime=521.4
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 30120 0 0 0 52107 33 0 0 25 0 1 0 1011833047 124194816 30055 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 30321 30055 73 172 0 30148 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 123704
[startup+582.324 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 18526
/proc/meminfo: memFree=1497356/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=121284 CPUtime=581.41
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 30120 0 0 0 58107 34 0 0 25 0 1 0 1011833047 124194816 30055 4294967295 134512640 135215339 3216525088 3216523360 134525106 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 30321 30055 73 172 0 30148 0
Current children cumulated CPU time (s) 582.34
Current children cumulated vsize (KiB) 123704
[startup+642.319 s]
/proc/loadavg: 0.99 1.00 0.99 3/95 18714
/proc/meminfo: memFree=1483592/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=134764 CPUtime=641.41
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 33506 0 0 0 64103 38 0 0 25 0 1 0 1011833047 137998336 33441 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 33691 33441 73 172 0 33518 0
Current children cumulated CPU time (s) 642.34
Current children cumulated vsize (KiB) 137184
[startup+702.314 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 18903
/proc/meminfo: memFree=1481964/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=136480 CPUtime=701.41
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 33907 0 0 0 70101 40 0 0 25 0 1 0 1011833047 139755520 33842 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 34120 33842 73 172 0 33947 0
Current children cumulated CPU time (s) 702.34
Current children cumulated vsize (KiB) 138900
[startup+762.319 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 19090
/proc/meminfo: memFree=1482104/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=136480 CPUtime=761.42
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 33907 0 0 0 76102 40 0 0 25 0 1 0 1011833047 139755520 33842 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 34120 33842 73 172 0 33947 0
Current children cumulated CPU time (s) 762.35
Current children cumulated vsize (KiB) 138900
[startup+822.314 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 19283
/proc/meminfo: memFree=1471556/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147040 CPUtime=821.42
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36554 0 0 0 82100 42 0 0 25 0 1 0 1011833047 150568960 36489 4294967295 134512640 135215339 3216525088 3216523088 134532956 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36760 36489 73 172 0 36587 0
Current children cumulated CPU time (s) 822.35
Current children cumulated vsize (KiB) 149460
[startup+882.309 s]
/proc/loadavg: 0.99 1.00 0.99 2/95 19469
/proc/meminfo: memFree=1471564/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147040 CPUtime=881.42
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36554 0 0 0 88100 42 0 0 25 0 1 0 1011833047 150568960 36489 4294967295 134512640 135215339 3216525088 3216523376 134528734 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36760 36489 73 172 0 36587 0
Current children cumulated CPU time (s) 882.35
Current children cumulated vsize (KiB) 149460
[startup+942.324 s]
/proc/loadavg: 1.07 1.03 1.00 3/95 19657
/proc/meminfo: memFree=1470572/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147964 CPUtime=941.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36780 0 0 0 94101 43 0 0 25 0 1 0 1011833047 151515136 36715 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36991 36715 73 172 0 36818 0
Current children cumulated CPU time (s) 942.37
Current children cumulated vsize (KiB) 150384
[startup+1002.32 s]
/proc/loadavg: 1.02 1.02 1.00 2/95 19846
/proc/meminfo: memFree=1470556/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=147964 CPUtime=1001.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 36780 0 0 0 100101 43 0 0 25 0 1 0 1011833047 151515136 36715 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 36991 36715 73 172 0 36818 0
Current children cumulated CPU time (s) 1002.37
Current children cumulated vsize (KiB) 150384
[startup+1062.31 s]
/proc/loadavg: 1.01 1.02 1.00 3/95 20033
/proc/meminfo: memFree=1469084/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1061.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 106101 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523376 134528863 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1062.37
Current children cumulated vsize (KiB) 151836
[startup+1122.31 s]
/proc/loadavg: 1.00 1.01 1.00 3/95 20222
/proc/meminfo: memFree=1469200/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1121.44
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 112101 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523072 134545752 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1122.37
Current children cumulated vsize (KiB) 151836
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 20412
/proc/meminfo: memFree=1469332/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1181.45
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 118102 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523376 134528666 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1182.38
Current children cumulated vsize (KiB) 151836
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.01 s]
/proc/loadavg: 1.13 1.03 1.01 3/95 20415
/proc/meminfo: memFree=1469324/2074464 swapFree=1948616/1959888
[pid=16635] ppid=16633 vsize=2420 CPUtime=0.93
/proc/16635/stat : 16635 (SatELiteGTI) S 16633 16635 10436 0 -1 4194304 388 8783 0 0 1 0 81 11 18 0 1 0 1011832954 2478080 278 4294967295 134512640 135169312 3214601472 3214597688 3085795054 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/16635/statm: 605 278 235 161 0 44 0
[pid=16641] ppid=16635 vsize=149416 CPUtime=1199.15
/proc/16641/stat : 16641 (minisat_static) R 16635 16635 10436 0 -1 4202496 37150 0 0 0 119872 43 0 0 25 0 1 0 1011833047 153001984 37085 4294967295 134512640 135215339 3216525088 3216523376 134528682 0 0 0 3 0 0 0 17 2 0 0 0
/proc/16641/statm: 37354 37085 73 172 0 37181 0
Current children cumulated CPU time (s) 1200.08
Current children cumulated vsize (KiB) 151836
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child status: 143
Real time (s): 1200.04
CPU time (s): 1200.1
CPU user time (s): 1199.54
CPU system time (s): 0.56
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 151836
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.54
system time used= 0.56
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 46597
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= 18
involuntary context switches= 2697
runsolver used 0 second user time and 0.04 second system time
The end
Begin job on tipi16 at 2009-05-16 13:28:44
IDJOB=1820746
IDBENCH=69574
IDSOLVER=657
FILE ID=tipi16/1820746-1242473324
PBS_JOBID=
Free space on /tmp= 5172 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-3.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820746-1242473324/watcher-1820746-1242473324 -o /tmp/evaluation-result-1820746-1242473324/solver-1820746-1242473324 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820746-1242473324.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7e900a3d5c709e5167c14f906d6ebd88
RANDOM SEED= 460070344
Linux tipi16 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.457
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.457
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.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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.78
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.457
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.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1622660 kB
Buffers: 29412 kB
Cached: 343020 kB
SwapCached: 5908 kB
Active: 37356 kB
Inactive: 345124 kB
HighTotal: 1178688 kB
HighFree: 872524 kB
LowTotal: 895776 kB
LowFree: 750136 kB
SwapTotal: 1959888 kB
SwapFree: 1948616 kB
Dirty: 5960 kB
Writeback: 0 kB
AnonPages: 9288 kB
Mapped: 3156 kB
Slab: 61184 kB
PageTables: 480 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90760 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 5172 MiB
End job on tipi16 at 2009-05-16 13:48:44