0.00/0.00 c Parsing...
0.00/0.16 c ==============================================================================
0.00/0.16 c | | ORIGINAL | LEARNT | |
0.00/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.16 c ==============================================================================
0.00/0.16 c | 0 | 180421 522537 | 54126 0 0 nan | 0.000 % |
0.00/0.83 c | 0 | 120276 407848 | -- 0 -- -- | -- | -57310/-106300
0.00/0.83 c ==============================================================================
0.00/0.83 c Result : #vars: 20562 #clauses: 120276 #literals: 407848
0.00/0.83 c CPU time: 0.78288 s
0.00/0.83 c ==============================================================================
0.00/0.96 c This is MiniSat 2.0 beta
0.00/0.96 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.96 c ============================[ Problem Statistics ]=============================
0.00/0.96 c | |
0.00/0.96 c | Number of variables: 20562 |
0.00/0.96 c | Number of clauses: 120276 |
0.98/1.04 c | Parsing time: 0.06 s |
0.98/1.04 c ============================[ Search Statistics ]==============================
0.98/1.04 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.98/1.04 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.98/1.04 c ===============================================================================
0.98/1.04 c | 0 | 20562 120276 407848 | 40092 0 nan | 0.000 % |
0.98/1.05 c | 100 | 20562 120276 407848 | 40092 100 5 | 0.000 % |
0.98/1.06 c | 200 | 20560 120276 407848 | 40092 198 5 | 0.039 % |
0.98/1.07 c | 300 | 20560 120276 407848 | 40092 298 6 | 0.039 % |
0.98/1.09 c | 410 | 20560 120276 407848 | 40092 408 5 | 0.039 % |
1.08/1.11 c | 512 | 20556 120276 407848 | 40092 507 6 | 0.092 % |
1.08/1.11 c | 622 | 20549 120276 407848 | 40092 617 6 | 0.092 % |
1.08/1.13 c | 744 | 20549 120276 407848 | 40092 739 6 | 0.092 % |
1.08/1.16 c | 844 | 20545 120276 407848 | 40092 835 6 | 0.117 % |
1.08/1.18 c | 954 | 20544 120276 407848 | 40092 945 6 | 0.117 % |
1.08/1.19 c | 1076 | 20544 120276 407848 | 40092 1067 6 | 0.117 % |
1.18/1.20 c | 1210 | 20544 120276 407848 | 40092 1201 6 | 0.117 % |
1.18/1.21 c | 1311 | 20544 120276 407848 | 40092 1302 6 | 0.117 % |
1.18/1.21 c | 1421 | 20544 120276 407848 | 40092 1412 7 | 0.117 % |
1.18/1.21 c | 1542 | 20544 120276 407848 | 40092 1533 7 | 0.117 % |
1.18/1.21 c | 1675 | 20544 120276 407848 | 40092 1666 7 | 0.117 % |
1.18/1.22 c | 1823 | 20544 120276 407848 | 40092 1814 7 | 0.117 % |
1.18/1.23 c | 1923 | 20544 120276 407848 | 40092 1914 7 | 0.117 % |
1.18/1.24 c | 2033 | 20544 120276 407848 | 40092 2024 7 | 0.117 % |
1.18/1.24 c | 2155 | 20544 120276 407848 | 40092 2146 7 | 0.117 % |
1.18/1.24 c | 2289 | 20544 120276 407848 | 40092 2280 7 | 0.117 % |
1.18/1.25 c | 2436 | 20544 120276 407848 | 40092 2427 7 | 0.117 % |
1.18/1.26 c | 2596 | 20538 120141 407479 | 40092 2575 7 | 0.117 % |
1.18/1.26 c | 2696 | 20538 120141 407479 | 40092 2675 7 | 0.117 % |
1.18/1.26 c | 2806 | 20538 120141 407479 | 40092 2785 7 | 0.117 % |
1.18/1.27 c | 2927 | 20538 120141 407479 | 40092 2906 7 | 0.117 % |
1.18/1.27 c | 3061 | 20538 120141 407479 | 40092 3040 7 | 0.117 % |
1.28/1.31 c | 3207 | 20538 120141 407479 | 40092 3186 7 | 0.117 % |
1.28/1.31 c | 3369 | 20538 120141 407479 | 40092 3348 7 | 0.117 % |
1.28/1.32 c | 3545 | 20538 120141 407479 | 40092 3524 7 | 0.117 % |
1.28/1.32 c | 3645 | 20538 120141 407479 | 40092 3624 7 | 0.117 % |
1.28/1.33 c | 3757 | 20538 120141 407479 | 40092 3736 7 | 0.117 % |
1.28/1.33 c | 3878 | 20538 120141 407479 | 40092 3857 7 | 0.117 % |
1.28/1.34 c | 4011 | 20538 120141 407479 | 40092 3990 7 | 0.117 % |
1.28/1.34 c | 4158 | 20538 120141 407479 | 40092 4137 7 | 0.117 % |
1.28/1.34 c | 4318 | 20538 120141 407479 | 40092 4297 7 | 0.117 % |
1.28/1.35 c | 4497 | 20538 120141 407479 | 40092 4476 7 | 0.117 % |
1.28/1.35 c | 4690 | 20538 120141 407479 | 40092 4669 8 | 0.117 % |
1.28/1.36 c | 4791 | 20538 120141 407479 | 40092 4770 7 | 0.117 % |
1.28/1.36 c | 4901 | 20538 120141 407479 | 40092 4880 8 | 0.117 % |
1.28/1.36 c | 5024 | 20538 120141 407479 | 40092 5003 8 | 0.117 % |
1.28/1.37 c | 5158 | 20538 120141 407479 | 40092 5137 8 | 0.117 % |
1.28/1.37 c | 5304 | 20538 120141 407479 | 40092 5283 8 | 0.117 % |
1.28/1.38 c | 5465 | 20538 120141 407479 | 40092 5444 8 | 0.117 % |
1.28/1.38 c | 5642 | 20538 120141 407479 | 40092 5621 8 | 0.117 % |
1.28/1.39 c | 5835 | 20538 120141 407479 | 40092 5814 8 | 0.117 % |
1.37/1.40 c | 6048 | 20537 120141 407479 | 40092 6026 8 | 0.122 % |
1.37/1.40 c | 6149 | 20537 120141 407479 | 40092 6127 8 | 0.122 % |
1.37/1.41 c | 6259 | 20537 120141 407479 | 40092 6237 8 | 0.122 % |
1.37/1.42 c | 6380 | 20536 120141 407479 | 40092 6357 8 | 0.126 % |
1.37/1.42 c | 6513 | 20536 120141 407479 | 40092 6490 8 | 0.126 % |
1.37/1.43 c | 6659 | 20531 120141 407479 | 40092 6635 8 | 0.156 % |
1.37/1.43 c | 6821 | 20531 120141 407479 | 40092 6797 8 | 0.156 % |
1.37/1.44 c | 6999 | 20513 120141 407479 | 40092 6972 8 | 0.345 % |
1.37/1.44 c | 7193 | 20513 120141 407479 | 40092 7166 8 | 0.345 % |
1.37/1.45 c | 7406 | 20513 120141 407479 | 40092 7379 8 | 0.345 % |
1.37/1.46 c | 7639 | 20513 120141 407479 | 40092 7612 8 | 0.345 % |
1.37/1.46 c | 7739 | 20513 120141 407479 | 40092 7712 8 | 0.345 % |
1.37/1.46 c | 7850 | 20513 120141 407479 | 40092 7823 8 | 0.345 % |
1.37/1.47 c | 7972 | 20508 120141 407479 | 40092 7944 8 | 0.389 % |
1.37/1.47 c | 8105 | 20505 120141 407479 | 40092 8076 8 | 0.404 % |
1.37/1.48 c | 8251 | 20505 120141 407479 | 40092 8222 8 | 0.404 % |
1.37/1.48 c | 8412 | 20505 120141 407479 | 40092 8383 8 | 0.404 % |
1.37/1.49 c | 8588 | 20505 120141 407479 | 40092 8559 8 | 0.404 % |
1.47/1.50 c | 8781 | 20497 120141 407479 | 40092 8752 8 | 0.404 % |
1.47/1.51 c | 8994 | 20497 120141 407479 | 40092 8965 8 | 0.404 % |
1.47/1.52 c | 9227 | 20497 120141 407479 | 40092 9198 8 | 0.404 % |
1.47/1.53 c | 9483 | 20493 120141 407479 | 40092 9453 8 | 0.467 % |
1.47/1.53 c | 9584 | 20492 120141 407479 | 40092 9554 8 | 0.467 % |
1.47/1.54 c | 9694 | 20492 120141 407479 | 40092 9664 8 | 0.467 % |
1.47/1.54 c | 9815 | 20492 120141 407479 | 40092 9785 8 | 0.467 % |
1.47/1.55 c | 9948 | 20492 120141 407479 | 40092 9918 8 | 0.467 % |
1.47/1.55 c | 10095 | 20492 120141 407479 | 2147483647 10065 8 | 0.467 % |
1.47/1.57 c | 10256 | 20466 119579 405724 | 2147483647 9731 8 | 0.467 % |
1.47/1.57 c | 10432 | 20466 119579 405724 | 2147483647 9907 8 | 0.467 % |
1.47/1.58 c | 10625 | 20464 119579 405724 | 2147483647 10098 8 | 0.545 % |
1.47/1.59 c | 10840 | 20459 119579 405724 | 2147483647 10313 8 | 0.545 % |
1.47/1.60 c | 11073 | 20452 119579 405724 | 2147483647 10544 8 | 0.579 % |
1.57/1.61 c | 11329 | 20441 119579 405724 | 2147483647 10799 8 | 0.613 % |
1.57/1.62 c | 11610 | 20441 119579 405724 | 2147483647 11080 8 | 0.613 % |
1.57/1.62 c | 11710 | 20441 119579 405724 | 2147483647 11180 8 | 0.613 % |
1.57/1.63 c | 11822 | 20437 119579 405724 | 2147483647 11291 8 | 0.647 % |
1.57/1.63 c | 11943 | 20437 119579 405724 | 2147483647 11412 8 | 0.647 % |
1.57/1.64 c | 12076 | 20437 119579 405724 | 2147483647 11545 8 | 0.647 % |
1.57/1.64 c | 12222 | 20437 119579 405724 | 2147483647 11691 8 | 0.647 % |
1.57/1.65 c | 12383 | 20420 119579 405724 | 2147483647 11850 8 | 0.768 % |
1.57/1.66 c | 12559 | 20420 119579 405724 | 2147483647 12026 8 | 0.768 % |
1.57/1.67 c | 12752 | 20417 119579 405724 | 2147483647 12219 8 | 0.768 % |
1.57/1.68 c | 12965 | 20417 119579 405724 | 2147483647 12432 8 | 0.768 % |
1.57/1.69 c | 13198 | 20417 119579 405724 | 2147483647 12665 8 | 0.768 % |
1.67/1.71 c | 13454 | 20417 119579 405724 | 2147483647 12921 8 | 0.768 % |
1.67/1.72 c | 13737 | 20417 119579 405724 | 2147483647 13204 8 | 0.768 % |
1.67/1.73 c | 14046 | 20417 119579 405724 | 2147483647 13512 8 | 0.783 % |
1.67/1.74 c | 14146 | 20415 119579 405724 | 2147483647 13612 8 | 0.783 % |
1.67/1.74 c | 14258 | 20403 119579 405724 | 2147483647 13723 8 | 0.851 % |
1.67/1.75 c | 14380 | 20403 119579 405724 | 2147483647 13845 8 | 0.851 % |
1.67/1.75 c | 14513 | 20400 119579 405724 | 2147483647 13977 8 | 0.875 % |
1.67/1.76 c | 14659 | 20400 119579 405724 | 2147483647 14123 8 | 0.875 % |
1.67/1.78 c | 14820 | 20395 119579 405724 | 2147483647 14284 8 | 0.875 % |
1.77/1.83 c | 14997 | 20395 119579 405724 | 2147483647 14461 8 | 0.875 % |
1.77/1.84 c | 15191 | 20395 119579 405724 | 2147483647 14655 8 | 0.875 % |
1.77/1.85 c | 15405 | 20394 119579 405724 | 2147483647 14867 8 | 0.934 % |
1.77/1.88 c | 15639 | 20388 119579 405724 | 2147483647 15100 8 | 0.953 % |
1.77/1.89 c | 15895 | 20388 119579 405724 | 2147483647 15356 8 | 0.953 % |
1.87/1.90 c | 16176 | 20383 119579 405724 | 2147483647 15636 8 | 0.987 % |
1.87/1.92 c | 16485 | 20381 119579 405724 | 2147483647 15945 8 | 0.987 % |
1.87/1.96 c | 16824 | 20354 118625 402624 | 2147483647 13448 8 | 1.012 % |
1.87/1.97 c | 16925 | 20350 118625 402624 | 2147483647 13548 8 | 1.075 % |
1.87/1.97 c | 17035 | 20350 118625 402624 | 2147483647 13658 8 | 1.075 % |
1.87/1.98 c | 17156 | 20350 118625 402624 | 2147483647 13779 8 | 1.075 % |
1.87/1.99 c | 17289 | 20350 118625 402624 | 2147483647 13912 8 | 1.075 % |
1.87/1.99 c | 17436 | 20350 118625 402624 | 2147483647 14059 8 | 1.075 % |
1.97/2.00 c | 17597 | 20350 118625 402624 | 2147483647 14220 8 | 1.075 % |
1.97/2.01 c | 17773 | 20350 118625 402624 | 2147483647 14395 8 | 1.138 % |
1.97/2.02 c | 17966 | 20343 118625 402624 | 2147483647 14588 8 | 1.138 % |
1.97/2.03 c | 18178 | 20343 118625 402624 | 2147483647 14800 8 | 1.138 % |
1.97/2.04 c | 18412 | 20343 118625 402624 | 2147483647 15034 8 | 1.138 % |
1.97/2.06 c | 18672 | 20343 118625 402624 | 2147483647 15294 8 | 1.138 % |
1.97/2.07 c | 18953 | 20343 118625 402624 | 2147483647 15575 8 | 1.138 % |
1.97/2.09 c | 19264 | 20339 118625 402624 | 2147483647 15885 8 | 1.157 % |
2.08/2.12 c | 19603 | 20336 118625 402624 | 2147483647 16224 8 | 1.157 % |
2.08/2.15 c | 19975 | 20336 118625 402624 | 2147483647 16596 8 | 1.157 % |
2.08/2.16 c | 20076 | 20329 118625 402624 | 2147483647 16695 8 | 1.226 % |
2.08/2.17 c | 20186 | 20328 118625 402624 | 2147483647 16804 8 | 1.230 % |
2.08/2.18 c | 20307 | 20328 118625 402624 | 2147483647 16925 8 | 1.230 % |
2.08/2.18 c | 20440 | 20328 118625 402624 | 2147483647 17058 8 | 1.230 % |
2.08/2.19 c | 20587 | 20328 118625 402624 | 2147483647 17205 8 | 1.230 % |
2.08/2.20 c | 20747 | 20328 118625 402624 | 2147483647 17365 8 | 1.230 % |
2.17/2.21 c | 20923 | 20328 118625 402624 | 2147483647 17541 8 | 1.230 % |
2.17/2.22 c | 21116 | 20328 118625 402624 | 2147483647 17734 8 | 1.230 % |
2.17/2.23 c | 21329 | 20328 118625 402624 | 2147483647 17947 8 | 1.230 % |
2.17/2.24 c | 21564 | 20328 118625 402624 | 2147483647 18182 9 | 1.230 % |
2.17/2.25 c | 21820 | 20328 118625 402624 | 2147483647 18438 9 | 1.230 % |
2.17/2.27 c | 22101 | 20319 118625 402624 | 2147483647 18718 9 | 1.313 % |
2.17/2.28 c | 22410 | 20310 118625 402624 | 2147483647 19022 9 | 1.566 % |
2.17/2.30 c | 22749 | 20270 118625 402624 | 2147483647 19360 9 | 1.595 % |
2.27/2.38 c | 23121 | 20231 117621 399395 | 2147483647 16124 8 | 1.610 % |
2.37/2.44 c | 23530 | 20218 117621 399395 | 2147483647 16531 8 | 1.819 % |
2.37/2.45 c | 23631 | 20218 117621 399395 | 2147483647 16632 8 | 1.819 % |
2.37/2.46 c | 23744 | 20218 117621 399395 | 2147483647 16745 8 | 1.819 % |
2.37/2.46 c | 23865 | 20218 117621 399395 | 2147483647 16866 8 | 1.819 % |
2.37/2.47 c | 24000 | 20215 117621 399395 | 2147483647 17000 8 | 1.877 % |
2.37/2.48 c | 24146 | 20202 117621 399395 | 2147483647 17144 8 | 1.965 % |
2.48/2.50 c | 24306 | 20186 117621 399395 | 2147483647 17303 8 | 1.975 % |
2.48/2.51 c | 24483 | 20186 117621 399395 | 2147483647 17480 8 | 1.975 % |
2.48/2.54 c | 24676 | 20186 117621 399395 | 2147483647 17673 8 | 1.975 % |
2.58/2.62 c | 24888 | 20185 117621 399395 | 2147483647 17885 8 | 1.975 % |
2.58/2.69 c | 25121 | 20185 117621 399395 | 2147483647 18118 8 | 1.975 % |
2.68/2.72 c | 25377 | 20177 117621 399395 | 2147483647 18373 8 | 2.018 % |
2.68/2.74 c | 25660 | 20177 117621 399395 | 2147483647 18656 8 | 2.018 % |
2.68/2.79 c | 25969 | 20142 117056 397653 | 2147483647 17021 8 | 2.043 % |
2.78/2.84 c | 26309 | 20117 117056 397653 | 2147483647 17355 8 | 2.213 % |
2.78/2.88 c | 26681 | 20098 117056 397653 | 2147483647 17721 8 | 2.295 % |
2.87/2.90 c | 27091 | 20097 117056 397653 | 2147483647 18131 8 | 2.296 % |
2.97/3.01 c | 27540 | 20095 117056 397653 | 2147483647 18580 8 | 2.295 % |
2.97/3.02 c | 27643 | 20095 117056 397653 | 2147483647 18683 8 | 2.295 % |
2.97/3.05 c | 27754 | 20095 117056 397653 | 2147483647 18794 8 | 2.295 % |
2.97/3.05 c | 27875 | 20095 117056 397653 | 2147483647 18915 8 | 2.295 % |
2.97/3.06 c | 28008 | 20095 117056 397653 | 2147483647 19048 8 | 2.295 % |
2.97/3.07 c | 28156 | 20091 117056 397653 | 2147483647 19195 8 | 2.339 % |
2.97/3.07 c | 28317 | 20087 117056 397653 | 2147483647 19356 8 | 2.339 % |
3.07/3.12 c | 28493 | 20086 117056 397653 | 2147483647 19532 8 | 2.339 % |
3.07/3.17 c | 28688 | 20084 117056 397653 | 2147483647 19725 8 | 2.349 % |
3.18/3.22 c | 28901 | 20079 116641 396344 | 2147483647 18620 7 | 2.349 % |
3.18/3.23 c | 29134 | 20079 116641 396344 | 2147483647 18853 7 | 2.349 % |
3.18/3.24 c | 29390 | 20079 116641 396344 | 2147483647 19109 7 | 2.349 % |
3.18/3.25 c | 29671 | 20076 116641 396344 | 2147483647 19389 7 | 2.364 % |
3.28/3.33 c | 29980 | 20051 116641 396344 | 2147483647 19696 7 | 2.544 % |
3.28/3.38 c | 30319 | 20051 116641 396344 | 2147483647 20035 7 | 2.544 % |
3.37/3.44 c | 30692 | 20024 116641 396344 | 2147483647 20406 8 | 2.738 % |
3.47/3.56 c | 31102 | 20021 116641 396344 | 2147483647 20816 8 | 2.738 % |
3.47/3.59 c | 31552 | 20019 116641 396344 | 2147483647 21264 8 | 2.748 % |
3.57/3.63 c | 32046 | 19996 116118 394682 | 2147483647 20578 8 | 2.753 % |
3.57/3.63 c | 32146 | 19996 116118 394682 | 2147483647 20678 8 | 2.753 % |
3.57/3.63 c | 32257 | 19996 116118 394682 | 2147483647 20789 8 | 2.753 % |
3.57/3.64 c | 32378 | 19996 116118 394682 | 2147483647 20910 8 | 2.753 % |
3.57/3.65 c | 32511 | 19996 116118 394682 | 2147483647 21043 8 | 2.753 % |
3.57/3.66 c | 32658 | 19985 116118 394682 | 2147483647 21187 8 | 2.845 % |
3.57/3.67 c | 32819 | 19985 116118 394682 | 2147483647 21348 8 | 2.845 % |
3.57/3.68 c | 32996 | 19981 116118 394682 | 2147483647 21525 8 | 2.845 % |
3.57/3.70 c | 33189 | 19976 116118 394682 | 2147483647 21715 8 | 2.869 % |
3.67/3.71 c | 33401 | 19973 116118 394682 | 2147483647 21926 8 | 2.884 % |
3.67/3.74 c | 33635 | 19970 116118 394682 | 2147483647 22158 8 | 2.942 % |
3.67/3.78 c | 33892 | 19965 116118 394682 | 2147483647 22411 8 | 3.025 % |
3.67/3.79 c | 34173 | 19965 116118 394682 | 2147483647 22692 8 | 3.025 % |
3.77/3.81 c | 34482 | 19963 116118 394682 | 2147483647 23001 8 | 3.025 % |
3.77/3.83 c | 34823 | 19963 116118 394682 | 2147483647 23342 8 | 3.025 % |
3.77/3.85 c | 35197 | 19963 116118 394682 | 2147483647 23716 8 | 3.025 % |
3.77/3.87 c | 35607 | 19963 116118 394682 | 2147483647 24126 8 | 3.025 % |
3.77/3.90 c | 36056 | 19962 116118 394682 | 2147483647 24574 8 | 3.030 % |
3.86/3.94 c | 36550 | 19961 116118 394682 | 2147483647 25067 8 | 3.035 % |
3.86/3.99 c | 37093 | 19961 116118 394682 | 2147483647 25610 8 | 3.035 % |
3.96/4.00 c | 37193 | 19960 116118 394682 | 2147483647 25709 8 | 3.040 % |
3.96/4.00 c | 37303 | 19959 116118 394682 | 2147483647 25818 8 | 3.044 % |
3.96/4.03 c | 37424 | 19935 115646 393223 | 2147483647 24624 8 | 3.049 % |
3.96/4.04 c | 37558 | 19935 115646 393223 | 2147483647 24758 8 | 3.049 % |
3.96/4.06 c | 37705 | 19935 115646 393223 | 2147483647 24905 8 | 3.049 % |
3.96/4.08 c | 37865 | 19934 115646 393223 | 2147483647 25064 8 | 3.054 % |
4.07/4.10 c | 38044 | 19934 115646 393223 | 2147483647 25243 8 | 3.054 % |
4.07/4.12 c | 38237 | 19934 115646 393223 | 2147483647 25436 8 | 3.054 % |
4.07/4.14 c | 38449 | 19934 115646 393223 | 2147483647 25648 8 | 3.054 % |
4.07/4.15 c | 38683 | 19933 115646 393223 | 2147483647 25881 8 | 3.059 % |
4.07/4.18 c | 38940 | 19933 115646 393223 | 2147483647 26138 8 | 3.059 % |
4.17/4.20 c | 39221 | 19933 115646 393223 | 2147483647 26419 8 | 3.059 % |
4.17/4.24 c | 39530 | 19933 115646 393223 | 2147483647 26728 8 | 3.059 % |
4.17/4.26 c | 39870 | 19930 115646 393223 | 2147483647 27066 8 | 3.210 % |
4.17/4.28 c | 40242 | 19929 115646 393223 | 2147483647 27437 8 | 3.215 % |
4.17/4.30 c | 40651 | 19929 115646 393223 | 2147483647 27846 8 | 3.215 % |
4.27/4.33 c | 41100 | 19908 115646 393223 | 2147483647 28295 8 | 3.215 % |
4.27/4.40 c | 41593 | 19908 115646 393223 | 2147483647 28788 8 | 3.215 % |
4.37/4.47 c | 42135 | 19894 115646 393223 | 2147483647 29329 8 | 3.570 % |
4.47/4.55 c | 42734 | 19870 115646 393223 | 2147483647 29928 8 | 3.570 % |
4.47/4.57 c | 42834 | 19828 114925 390872 | 2147483647 28473 8 | 3.570 % |
4.47/4.58 c | 42944 | 19827 114925 390872 | 2147483647 28582 8 | 3.575 % |
4.47/4.60 c | 43065 | 19827 114925 390872 | 2147483647 28703 8 | 3.575 % |
4.57/4.61 c | 43198 | 19827 114925 390872 | 2147483647 28836 8 | 3.575 % |
4.57/4.64 c | 43344 | 19827 114925 390872 | 2147483647 28982 8 | 3.575 % |
4.57/4.65 c | 43505 | 19826 114925 390872 | 2147483647 29142 8 | 3.579 % |
4.57/4.67 c | 43683 | 19826 114925 390872 | 2147483647 29320 8 | 3.579 % |
4.57/4.68 c | 43877 | 19826 114925 390872 | 2147483647 29514 8 | 3.579 % |
4.57/4.70 c | 44090 | 19826 114925 390872 | 2147483647 29727 8 | 3.579 % |
4.67/4.72 c | 44323 | 19826 114925 390872 | 2147483647 29960 8 | 3.579 % |
4.67/4.77 c | 44579 | 19826 114925 390872 | 2147483647 30216 8 | 3.579 % |
4.77/4.81 c | 44860 | 19825 114925 390872 | 2147483647 30496 8 | 3.584 % |
4.77/4.88 c | 45169 | 19788 114925 390872 | 2147483647 30803 8 | 3.827 % |
4.77/4.89 c | 45509 | 19788 114925 390872 | 2147483647 31143 8 | 3.827 % |
4.87/4.91 c | 45882 | 19788 114925 390872 | 2147483647 31516 8 | 3.827 % |
4.97/5.01 c | 46291 | 19788 114925 390872 | 2147483647 31925 8 | 3.827 % |
4.97/5.09 c | 46740 | 19784 114925 390872 | 2147483647 32370 8 | 3.847 % |
5.06/5.16 c | 47234 | 19783 114925 390872 | 2147483647 32864 8 | 3.847 % |
5.06/5.18 c | 47776 | 19783 114925 390872 | 2147483647 33406 8 | 3.847 % |
5.16/5.22 c | 48374 | 19768 114533 389623 | 2147483647 32679 8 | 3.910 % |
5.16/5.25 c | 49029 | 19768 114533 389623 | 2147483647 33334 8 | 3.910 % |
5.16/5.26 c | 49131 | 19768 114533 389623 | 2147483647 33436 8 | 3.910 % |
5.16/5.28 c | 49241 | 19768 114533 389623 | 2147483647 33546 8 | 3.910 % |
5.16/5.29 c | 49362 | 19768 114533 389623 | 2147483647 33667 8 | 3.910 % |
5.16/5.30 c | 49495 | 19768 114533 389623 | 2147483647 33800 8 | 3.910 % |
5.26/5.30 c | 49643 | 19768 114533 389623 | 2147483647 33948 8 | 3.910 % |
5.26/5.31 c | 49805 | 19768 114533 389623 | 2147483647 34110 9 | 3.910 % |
5.26/5.32 c | 49981 | 19766 114533 389623 | 2147483647 34285 9 | 3.930 % |
5.26/5.33 c | 50174 | 19766 114533 389623 | 2147483647 34478 9 | 3.930 % |
5.26/5.34 c | 50386 | 19766 114533 389623 | 2147483647 34690 9 | 3.930 % |
5.26/5.35 c | 50619 | 19765 114533 389623 | 2147483647 34923 9 | 3.930 % |
5.26/5.36 c | 50877 | 19765 114533 389623 | 2147483647 35181 9 | 3.930 % |
5.26/5.38 c | 51158 | 19765 114533 389623 | 2147483647 35462 9 | 3.930 % |
5.26/5.39 c | 51467 | 19765 114533 389623 | 2147483647 35771 9 | 3.930 % |
5.37/5.41 c | 51809 | 19765 114533 389623 | 2147483647 36113 9 | 3.930 % |
5.37/5.48 c | 52181 | 19762 114533 389623 | 2147483647 36485 9 | 3.930 % |
5.47/5.53 c | 52590 | 19762 114533 389623 | 2147483647 36894 9 | 3.930 % |
5.47/5.57 c | 53041 | 19762 114533 389623 | 2147483647 37345 9 | 3.930 % |
5.56/5.60 c | 53534 | 19762 114533 389623 | 2147483647 37838 9 | 3.930 % |
5.56/5.63 c | 54076 | 19756 114533 389623 | 2147483647 38378 9 | 3.983 % |
5.56/5.69 c | 54673 | 19756 114533 389623 | 2147483647 38975 9 | 3.983 % |
5.66/5.74 c | 55328 | 19756 114533 389623 | 2147483647 39630 9 | 3.983 % |
5.66/5.77 c | 56048 | 19755 114533 389623 | 2147483647 40350 9 | 3.983 % |
5.66/5.78 c | 56148 | 19755 114533 389623 | 2147483647 40450 9 | 3.983 % |
5.66/5.78 c | 56258 | 19755 114533 389623 | 2147483647 40560 9 | 3.983 % |
5.66/5.79 c | 56380 | 19755 114533 389623 | 2147483647 40682 9 | 3.983 % |
5.76/5.81 c | 56515 | 19743 114285 388848 | 2147483647 39333 9 | 3.983 % |
5.76/5.83 c | 56661 | 19743 114285 388848 | 2147483647 39479 9 | 3.983 % |
5.76/5.89 c | 56822 | 19743 114285 388848 | 2147483647 39640 9 | 3.983 % |
5.86/5.92 c | 56998 | 19743 114285 388848 | 2147483647 39816 9 | 3.983 % |
5.86/5.93 c | 57193 | 19743 114285 388848 | 2147483647 40011 9 | 3.983 % |
5.86/5.95 c | 57405 | 19743 114285 388848 | 2147483647 40223 9 | 3.983 % |
5.86/5.96 c | 57639 | 19743 114285 388848 | 2147483647 40457 9 | 3.983 % |
5.96/6.01 c | 57895 | 19743 114285 388848 | 2147483647 40713 9 | 3.983 % |
5.96/6.05 c | 58177 | 19743 114285 388848 | 2147483647 40995 9 | 3.983 % |
5.96/6.07 c | 58486 | 19743 114285 388848 | 2147483647 41304 9 | 3.983 % |
5.96/6.09 c | 58825 | 19738 114285 388848 | 2147483647 41642 9 | 4.007 % |
6.06/6.13 c | 59198 | 19735 114285 388848 | 2147483647 42014 9 | 4.022 % |
6.06/6.18 c | 59607 | 19735 114285 388848 | 2147483647 42423 9 | 4.022 % |
6.16/6.22 c | 60057 | 19735 114285 388848 | 2147483647 42873 9 | 4.022 % |
6.16/6.23 c | 60550 | 19730 114285 388848 | 2147483647 43364 9 | 4.100 % |
6.16/6.25 c | 61093 | 19726 114285 388848 | 2147483647 43906 9 | 4.124 % |
6.26/6.35 c | 61691 | 19725 114285 388848 | 2147483647 44504 9 | 4.124 % |
6.36/6.42 c | 62346 | 19724 114285 388848 | 2147483647 45159 9 | 4.124 % |
6.36/6.46 c | 63066 | 19724 114285 388848 | 2147483647 45879 9 | 4.124 % |
6.46/6.51 c | 63860 | 19707 114285 388848 | 2147483647 46671 9 | 4.236 % |
6.46/6.51 c | 63961 | 19706 114285 388848 | 2147483647 46771 9 | 4.241 % |
6.46/6.52 c | 64071 | 19706 114285 388848 | 2147483647 46881 9 | 4.241 % |
6.46/6.53 c | 64192 | 19706 114285 388848 | 2147483647 47002 9 | 4.241 % |
6.46/6.55 c | 64326 | 19690 113824 387350 | 2147483647 45616 9 | 4.241 % |
6.46/6.56 c | 64474 | 19690 113824 387350 | 2147483647 45764 9 | 4.241 % |
6.46/6.57 c | 64637 | 19690 113824 387350 | 2147483647 45927 9 | 4.241 % |
6.46/6.58 c | 64815 | 19690 113824 387350 | 2147483647 46105 9 | 4.241 % |
6.56/6.61 c | 65009 | 19690 113824 387350 | 2147483647 46299 9 | 4.241 % |
6.56/6.64 c | 65222 | 19688 113824 387350 | 2147483647 46511 9 | 4.270 % |
6.56/6.67 c | 65457 | 19688 113824 387350 | 2147483647 46746 9 | 4.270 % |
6.56/6.68 c | 65713 | 19688 113824 387350 | 2147483647 47002 9 | 4.270 % |
6.56/6.70 c | 65994 | 19688 113824 387350 | 2147483647 47283 9 | 4.270 % |
6.66/6.71 c | 66303 | 19688 113824 387350 | 2147483647 47592 9 | 4.270 % |
6.66/6.72 c | 66642 | 19688 113824 387350 | 2147483647 47931 9 | 4.270 % |
6.76/6.83 c | 67014 | 19686 113824 387350 | 2147483647 48303 9 | 4.270 % |
6.76/6.85 c | 67423 | 19673 113824 387350 | 2147483647 48710 9 | 4.435 % |
6.76/6.87 c | 67873 | 19668 113824 387350 | 2147483647 49160 9 | 4.435 % |
6.85/6.96 c | 68367 | 19668 113824 387350 | 2147483647 49654 9 | 4.435 % |
6.95/7.05 c | 68909 | 19665 113824 387350 | 2147483647 50195 9 | 4.469 % |
7.05/7.17 c | 69506 | 19643 113824 387350 | 2147483647 50789 9 | 4.513 % |
7.25/7.30 c | 70161 | 19637 113824 387350 | 2147483647 51442 9 | 4.542 % |
7.25/7.37 c | 70881 | 19625 113290 385582 | 2147483647 46731 9 | 4.572 % |
7.45/7.52 c | 71675 | 19622 113290 385582 | 2147483647 47524 9 | 4.576 % |
7.45/7.57 c | 72546 | 19615 113290 385582 | 2147483647 48392 9 | 4.630 % |
7.45/7.57 c | 72647 | 19615 113290 385582 | 2147483647 48493 9 | 4.630 % |
7.45/7.60 c | 72757 | 19609 113290 385582 | 2147483647 48602 9 | 4.659 % |
7.56/7.64 c | 72881 | 19608 113290 385582 | 2147483647 48725 9 | 4.664 % |
7.56/7.65 c | 73014 | 19608 113290 385582 | 2147483647 48858 9 | 4.664 % |
7.56/7.68 c | 73161 | 19608 113290 385582 | 2147483647 49005 9 | 4.664 % |
7.56/7.70 c | 73321 | 19608 113290 385582 | 2147483647 49165 9 | 4.664 % |
7.66/7.73 c | 73499 | 19608 113290 385582 | 2147483647 49343 9 | 4.664 % |
7.66/7.78 c | 73693 | 19605 113290 385582 | 2147483647 49536 9 | 4.679 % |
7.66/7.79 c | 73905 | 19603 113290 385582 | 2147483647 49747 9 | 4.756 % |
7.75/7.81 c | 74138 | 19599 113290 385582 | 2147483647 49979 9 | 4.834 % |
7.75/7.87 c | 74394 | 19592 113290 385582 | 2147483647 50235 9 | 4.834 % |
7.85/7.96 c | 74675 | 19591 113290 385582 | 2147483647 50515 9 | 4.839 % |
7.95/8.00 c | 74985 | 19590 113290 385582 | 2147483647 50824 9 | 4.844 % |
7.95/8.03 c | 75326 | 19590 113290 385582 | 2147483647 51165 9 | 4.844 % |
8.05/8.10 c | 75698 | 19590 113290 385582 | 2147483647 51537 9 | 4.844 % |
8.05/8.14 c | 76107 | 19566 112915 384418 | 2147483647 50950 9 | 4.844 % |
8.15/8.23 c | 76556 | 19566 112915 384418 | 2147483647 51399 9 | 4.844 % |
8.25/8.31 c | 77049 | 19550 112915 384418 | 2147483647 51889 9 | 5.038 % |
8.35/8.40 c | 77593 | 19549 112915 384418 | 2147483647 52432 9 | 5.053 % |
8.35/8.48 c | 78190 | 19542 112915 384418 | 2147483647 53027 9 | 5.092 % |
8.55/8.64 c | 78845 | 19511 112915 384418 | 2147483647 53681 9 | 5.136 % |
8.66/8.74 c | 79567 | 19490 112915 384418 | 2147483647 54400 9 | 5.277 % |
8.85/8.91 c | 80361 | 19490 112915 384418 | 2147483647 55194 9 | 5.277 % |
8.95/9.09 c | 81232 | 19459 112238 382216 | 2147483647 51551 9 | 5.476 % |
9.15/9.29 c | 82190 | 19453 112238 382216 | 2147483647 52507 9 | 5.500 % |
9.25/9.32 c | 82290 | 19453 112238 382216 | 2147483647 52607 9 | 5.500 % |
9.25/9.34 c | 82400 | 19453 112238 382216 | 2147483647 52717 9 | 5.500 % |
9.25/9.37 c | 82521 | 19453 112238 382216 | 2147483647 52838 9 | 5.500 % |
9.25/9.38 c | 82654 | 19447 112238 382216 | 2147483647 52970 9 | 5.539 % |
9.35/9.43 c | 82800 | 19447 112238 382216 | 2147483647 53116 9 | 5.539 % |
9.35/9.44 c | 82960 | 19447 112238 382216 | 2147483647 53276 9 | 5.539 % |
9.45/9.50 c | 83136 | 19447 112238 382216 | 2147483647 53452 9 | 5.539 % |
9.45/9.56 c | 83329 | 19442 112238 382216 | 2147483647 53643 9 | 5.700 % |
9.55/9.63 c | 83541 | 19433 112238 382216 | 2147483647 53855 9 | 5.700 % |
9.65/9.73 c | 83774 | 19433 112238 382216 | 2147483647 54088 9 | 5.700 % |
9.76/9.80 c | 84030 | 19389 111653 380365 | 2147483647 51775 9 | 5.710 % |
9.76/9.88 c | 84312 | 19389 111653 380365 | 2147483647 52057 9 | 5.710 % |
9.86/9.96 c | 84622 | 19389 111653 380365 | 2147483647 52367 9 | 5.710 % |
9.95/10.05 c | 84962 | 19389 111653 380365 | 2147483647 52707 9 | 5.710 % |
9.95/10.08 c | 85336 | 19389 111653 380365 | 2147483647 53081 9 | 5.710 % |
10.05/10.16 c | 85745 | 19385 111653 380365 | 2147483647 53487 9 | 5.729 % |
10.15/10.23 c | 86194 | 19382 111653 380365 | 2147483647 53935 9 | 5.773 % |
10.25/10.34 c | 86687 | 19382 111653 380365 | 2147483647 54428 9 | 5.773 % |
10.25/10.37 c | 87231 | 19382 111653 380365 | 2147483647 54972 9 | 5.773 % |
10.45/10.50 c | 87828 | 19372 111653 380365 | 2147483647 55567 9 | 5.851 % |
10.55/10.63 c | 88483 | 19372 111653 380365 | 2147483647 56222 9 | 5.851 % |
10.65/10.78 c | 89203 | 19359 111442 379681 | 2147483647 56676 9 | 5.851 % |
10.75/10.87 c | 89996 | 19347 111442 379681 | 2147483647 57466 9 | 5.928 % |
10.85/10.98 c | 90868 | 19338 111442 379681 | 2147483647 58337 9 | 5.972 % |
11.05/11.17 c | 91826 | 19327 111442 379681 | 2147483647 59294 9 | 6.084 % |
11.15/11.27 c | 92879 | 19324 111442 379681 | 2147483647 60346 10 | 6.099 % |
11.15/11.28 c | 92979 | 19324 111442 379681 | 2147483647 60446 10 | 6.099 % |
11.25/11.30 c | 93090 | 19324 111442 379681 | 2147483647 60557 10 | 6.099 % |
11.25/11.35 c | 93211 | 19324 111442 379681 | 2147483647 60678 10 | 6.099 % |
11.25/11.35 c | 93344 | 19324 111442 379681 | 2147483647 60811 10 | 6.099 % |
11.25/11.36 c | 93490 | 19324 111442 379681 | 2147483647 60957 10 | 6.099 % |
11.25/11.38 c | 93650 | 19324 111442 379681 | 2147483647 61117 10 | 6.099 % |
11.36/11.42 c | 93828 | 19324 111442 379681 | 2147483647 61295 10 | 6.099 % |
11.36/11.45 c | 94023 | 19324 111442 379681 | 2147483647 61490 10 | 6.099 % |
11.36/11.47 c | 94236 | 19324 111442 379681 | 2147483647 61703 10 | 6.099 % |
11.36/11.48 c | 94469 | 19324 111442 379681 | 2147483647 61936 10 | 6.099 % |
11.36/11.50 c | 94726 | 19324 111442 379681 | 2147483647 62193 10 | 6.099 % |
11.46/11.53 c | 95007 | 19324 111442 379681 | 2147483647 62474 10 | 6.099 % |
11.46/11.57 c | 95316 | 19324 111442 379681 | 2147483647 62783 10 | 6.099 % |
11.56/11.63 c | 95655 | 19308 111081 378476 | 2147483647 61945 10 | 6.099 % |
11.56/11.67 c | 96027 | 19308 111081 378476 | 2147483647 62317 10 | 6.099 % |
11.66/11.72 c | 96438 | 19307 111081 378476 | 2147483647 62727 10 | 6.103 % |
11.66/11.74 c | 96887 | 19307 111081 378476 | 2147483647 63176 10 | 6.103 % |
11.76/11.84 c | 97380 | 19307 111081 378476 | 2147483647 63669 10 | 6.103 % |
11.86/11.93 c | 97923 | 19306 111081 378476 | 2147483647 64211 10 | 6.108 % |
11.86/12.00 c | 98519 | 19303 111081 378476 | 2147483647 64806 10 | 6.181 % |
11.96/12.03 c | 99174 | 19298 111081 378476 | 2147483647 65460 10 | 6.210 % |
11.96/12.06 c | 99894 | 19298 111081 378476 | 2147483647 66180 10 | 6.210 % |
12.06/12.18 c | 100686 | 19298 111081 378476 | 2147483647 66972 10 | 6.210 % |
12.36/12.44 c | 101558 | 19293 111081 378476 | 2147483647 67843 10 | 6.235 % |
12.46/12.55 c | 102518 | 19291 111081 378476 | 2147483647 68802 10 | 6.376 % |
12.56/12.65 c | 103571 | 19248 110682 377179 | 2147483647 67349 10 | 6.390 % |
12.76/12.88 c | 104731 | 19247 110682 377179 | 2147483647 68508 10 | 6.395 % |
12.76/12.89 c | 104832 | 19247 110682 377179 | 2147483647 68609 10 | 6.395 % |
12.86/12.93 c | 104944 | 19246 110682 377179 | 2147483647 68720 10 | 6.410 % |
12.86/12.96 c | 105065 | 19246 110682 377179 | 2147483647 68841 10 | 6.410 % |
12.86/12.98 c | 105198 | 19243 110682 377179 | 2147483647 68973 10 | 6.439 % |
12.96/13.01 c | 105345 | 19243 110682 377179 | 2147483647 69120 10 | 6.439 % |
12.96/13.07 c | 105505 | 19243 110682 377179 | 2147483647 69280 10 | 6.439 % |
13.06/13.13 c | 105682 | 19243 110682 377179 | 2147483647 69457 10 | 6.439 % |
13.06/13.18 c | 105875 | 19243 110682 377179 | 2147483647 69650 10 | 6.439 % |
13.16/13.20 c | 106088 | 19243 110682 377179 | 2147483647 69863 10 | 6.439 % |
13.25/13.32 c | 106321 | 19243 110682 377179 | 2147483647 70096 10 | 6.439 % |
13.25/13.39 c | 106580 | 19243 110682 377179 | 2147483647 70355 10 | 6.439 % |
13.35/13.42 c | 106862 | 19239 110682 377179 | 2147483647 70636 10 | 6.541 % |
13.35/13.44 c | 107172 | 19239 110682 377179 | 2147483647 70946 10 | 6.541 % |
13.35/13.50 c | 107511 | 19237 110682 377179 | 2147483647 71284 10 | 6.551 % |
13.55/13.64 c | 107883 | 19235 110682 377179 | 2147483647 71655 10 | 6.561 % |
13.65/13.77 c | 108292 | 19212 110410 376282 | 2147483647 71274 10 | 6.566 % |
13.75/13.80 c | 108741 | 19212 110410 376282 | 2147483647 71723 10 | 6.566 % |
13.85/13.90 c | 109235 | 19212 110410 376282 | 2147483647 72217 10 | 6.566 % |
13.95/14.01 c | 109777 | 19212 110410 376282 | 2147483647 72759 10 | 6.566 % |
14.05/14.11 c | 110374 | 19212 110410 376282 | 2147483647 73356 10 | 6.566 % |
14.26/14.32 c | 111029 | 19212 110410 376282 | 2147483647 74011 10 | 6.566 % |
14.26/14.39 c | 111751 | 19212 110410 376282 | 2147483647 74733 10 | 6.566 % |
14.35/14.42 c | 112544 | 19211 110410 376282 | 2147483647 75525 10 | 6.570 % |
14.45/14.54 c | 113415 | 19211 110410 376282 | 2147483647 76396 10 | 6.570 % |
14.75/14.87 c | 114373 | 19211 110410 376282 | 2147483647 77354 10 | 6.570 % |
14.85/14.93 c | 115426 | 19211 110404 376262 | 2147483647 77547 10 | 6.570 % |
15.05/15.19 c | 116585 | 19211 110404 376262 | 2147483647 78706 10 | 6.570 % |
15.35/15.46 c | 117858 | 19211 110404 376262 | 2147483647 79979 10 | 6.570 % |
15.35/15.49 c | 117958 | 19211 110404 376262 | 2147483647 80079 10 | 6.570 % |
15.45/15.53 c | 118068 | 19211 110404 376262 | 2147483647 80189 10 | 6.570 % |
15.55/15.61 c | 118189 | 19211 110404 376262 | 2147483647 80310 10 | 6.570 % |
15.55/15.68 c | 118323 | 19211 110404 376262 | 2147483647 80444 10 | 6.570 % |
15.65/15.74 c | 118469 | 19197 110404 376262 | 2147483647 80588 10 | 6.677 % |
15.65/15.78 c | 118629 | 19197 110404 376262 | 2147483647 80748 10 | 6.677 % |
15.75/15.80 c | 118805 | 19197 110404 376262 | 2147483647 80924 10 | 6.677 % |
15.75/15.88 c | 118998 | 19197 110404 376262 | 2147483647 81117 10 | 6.677 % |
15.85/15.96 c | 119210 | 19196 110404 376262 | 2147483647 81328 10 | 6.682 % |
15.95/16.05 c | 119443 | 19196 110404 376262 | 2147483647 81561 10 | 6.682 % |
16.05/16.15 c | 119699 | 19196 110404 376262 | 2147483647 81817 10 | 6.682 % |
16.05/16.18 c | 119980 | 19196 110404 376262 | 2147483647 82098 10 | 6.682 % |
16.15/16.27 c | 120289 | 19174 110196 375576 | 2147483647 82010 10 | 6.750 % |
16.25/16.35 c | 120629 | 19169 110196 375576 | 2147483647 82349 10 | 6.779 % |
16.35/16.46 c | 121001 | 19169 110196 375576 | 2147483647 82721 10 | 6.779 % |
16.45/16.57 c | 121410 | 19169 110196 375576 | 2147483647 83130 10 | 6.779 % |
16.65/16.73 c | 121860 | 19169 110196 375576 | 2147483647 83580 10 | 6.779 % |
16.75/16.85 c | 122353 | 19169 110196 375576 | 2147483647 84073 10 | 6.779 % |
16.75/16.87 c | 122896 | 19169 110196 375576 | 2147483647 84616 10 | 6.779 % |
16.85/16.95 c | 123493 | 19169 110196 375576 | 2147483647 85213 10 | 6.779 % |
17.05/17.16 c | 124149 | 19169 110196 375576 | 2147483647 85869 11 | 6.779 % |
17.15/17.26 c | 124870 | 19162 110196 375576 | 2147483647 86587 11 | 6.823 % |
17.25/17.37 c | 125663 | 19162 110196 375576 | 2147483647 87380 11 | 6.823 % |
17.35/17.47 c | 126534 | 19161 110196 375576 | 2147483647 88250 11 | 6.828 % |
17.55/17.61 c | 127492 | 19157 110196 375576 | 2147483647 89206 11 | 6.862 % |
17.95/18.08 c | 128547 | 19157 110196 375576 | 2147483647 90261 11 | 6.862 % |
18.55/18.67 c | 129706 | 19151 109971 374848 | 2147483647 88178 12 | 6.862 % |
19.05/19.19 c | 130979 | 19151 109971 374848 | 2147483647 89451 12 | 6.862 % |
19.94/20.05 c | 132380 | 19151 109971 374848 | 2147483647 90852 14 | 6.862 % |
20.04/20.11 c | 132481 | 19151 109971 374848 | 2147483647 90953 14 | 6.862 % |
20.04/20.14 c | 132592 | 19151 109971 374848 | 2147483647 91064 13 | 6.862 % |
20.04/20.17 c | 132713 | 19151 109971 374848 | 2147483647 91185 13 | 6.862 % |
20.14/20.21 c | 132846 | 19151 109971 374848 | 2147483647 91318 13 | 6.862 % |
20.14/20.29 c | 132992 | 19151 109971 374848 | 2147483647 91464 14 | 6.862 % |
20.24/20.36 c | 133152 | 19151 109971 374848 | 2147483647 91624 14 | 6.862 % |
20.34/20.46 c | 133328 | 19151 109971 374848 | 2147483647 91800 14 | 6.862 % |
20.44/20.51 c | 133521 | 19151 109971 374848 | 2147483647 91993 14 | 6.862 % |
20.54/20.62 c | 133735 | 19151 109971 374848 | 2147483647 92207 14 | 6.862 % |
20.64/20.71 c | 133968 | 19151 109971 374848 | 2147483647 92440 14 | 6.862 % |
20.75/20.81 c | 134224 | 19151 109971 374848 | 2147483647 92696 14 | 6.862 % |
20.85/20.99 c | 134506 | 19151 109971 374848 | 2147483647 92978 14 | 6.862 % |
21.04/21.12 c | 134816 | 19151 109971 374848 | 2147483647 93288 14 | 6.862 % |
21.14/21.26 c | 135156 | 19143 109907 374634 | 2147483647 93102 14 | 6.901 % |
21.44/21.54 c | 135528 | 19143 109907 374634 | 2147483647 93474 14 | 6.901 % |
21.64/21.74 c | 135937 | 19143 109907 374634 | 2147483647 93882 14 | 6.911 % |
21.64/21.78 c | 136386 | 19143 109907 374634 | 2147483647 94331 14 | 6.911 % |
21.74/21.87 c | 136879 | 19143 109907 374634 | 2147483647 94824 14 | 6.911 % |
21.84/21.91 c | 137422 | 19143 109907 374634 | 2147483647 95367 14 | 6.911 % |
22.04/22.18 c | 138018 | 19143 109907 374634 | 2147483647 95963 14 | 6.911 % |
22.64/22.74 c | 138675 | 19139 109907 374634 | 2147483647 96619 15 | 6.955 % |
22.84/22.95 c | 139395 | 19139 109907 374634 | 2147483647 97339 15 | 6.955 % |
23.34/23.46 c | 140187 | 19131 109821 374349 | 2147483647 97933 16 | 6.959 % |
24.14/24.22 c | 141058 | 19130 109821 374349 | 2147483647 98803 17 | 6.964 % |
24.65/24.71 c | 142016 | 19130 109821 374349 | 2147483647 99761 17 | 6.964 % |
25.05/25.13 c | 143070 | 19130 109821 374349 | 2147483647 100815 17 | 6.964 % |
25.75/25.87 c | 144228 | 19130 109821 374349 | 2147483647 101973 18 | 6.964 % |
26.45/26.51 c | 145502 | 19130 109813 374321 | 2147483647 103242 18 | 6.964 % |
27.45/27.56 c | 146903 | 19129 109813 374321 | 2147483647 104642 20 | 6.993 % |
28.64/28.73 c | 148443 | 19125 109813 374321 | 2147483647 106180 21 | 7.023 % |
28.64/28.78 c | 148543 | 19125 109813 374321 | 2147483647 106280 21 | 7.023 % |
28.74/28.84 c | 148655 | 19125 109813 374321 | 2147483647 106392 21 | 7.023 % |
28.74/28.89 c | 148776 | 19125 109813 374321 | 2147483647 106513 21 | 7.023 % |
28.84/28.94 c | 148909 | 19125 109813 374321 | 2147483647 106646 21 | 7.023 % |
28.94/29.07 c | 149055 | 19118 109715 374012 | 2147483647 105270 21 | 7.023 % |
29.04/29.15 c | 149215 | 19118 109715 374012 | 2147483647 105430 21 | 7.023 % |
29.14/29.24 c | 149391 | 19118 109715 374012 | 2147483647 105606 21 | 7.023 % |
29.24/29.38 c | 149584 | 19118 109715 374012 | 2147483647 105799 21 | 7.023 % |
29.34/29.47 c | 149796 | 19117 109715 374012 | 2147483647 106010 21 | 7.028 % |
29.44/29.57 c | 150029 | 19117 109715 374012 | 2147483647 106243 21 | 7.028 % |
29.65/29.73 c | 150285 | 19117 109715 374012 | 2147483647 106499 21 | 7.028 % |
29.65/29.80 c | 150566 | 19117 109715 374012 | 2147483647 106780 21 | 7.028 % |
29.94/30.05 c | 150876 | 19116 109715 374012 | 2147483647 107089 21 | 7.037 % |
30.04/30.19 c | 151215 | 19116 109715 374012 | 2147483647 107427 21 | 7.081 % |
30.44/30.50 c | 151590 | 19116 109715 374012 | 2147483647 107802 21 | 7.081 % |
30.75/30.89 c | 151999 | 19116 109715 374012 | 2147483647 108211 22 | 7.081 % |
30.94/31.09 c | 152448 | 19116 109715 374012 | 2147483647 108660 22 | 7.081 % |
31.24/31.39 c | 152942 | 19116 109715 374012 | 2147483647 109154 22 | 7.081 % |
31.54/31.62 c | 153484 | 19116 109715 374012 | 2147483647 109696 22 | 7.081 % |
31.84/31.93 c | 154080 | 19116 109715 374012 | 2147483647 110292 22 | 7.081 % |
32.34/32.40 c | 154736 | 19116 109715 374012 | 2147483647 110948 22 | 7.081 % |
32.84/32.91 c | 155456 | 19116 109715 374012 | 2147483647 111668 23 | 7.081 % |
33.14/33.24 c | 156248 | 19102 109635 373741 | 2147483647 112287 23 | 7.125 % |
33.73/33.81 c | 157119 | 19102 109635 373741 | 2147483647 113158 23 | 7.125 % |
34.43/34.52 c | 158078 | 19102 109635 373741 | 2147483647 114117 23 | 7.125 % |
34.94/35.00 c | 159131 | 19102 109635 373741 | 2147483647 115170 24 | 7.125 % |
35.44/35.59 c | 160289 | 19102 109635 373741 | 2147483647 116328 24 | 7.125 % |
36.44/36.56 c | 161562 | 19102 109635 373741 | 2147483647 117601 25 | 7.125 % |
37.64/37.74 c | 162962 | 19101 109635 373741 | 2147483647 119000 26 | 7.130 % |
39.04/39.15 c | 164503 | 19096 109555 373477 | 2147483647 120383 27 | 7.130 % |
40.54/40.62 c | 166197 | 19096 109555 373477 | 2147483647 122077 28 | 7.130 % |
40.54/40.68 c | 166299 | 19096 109555 373477 | 2147483647 122179 28 | 7.130 % |
40.64/40.79 c | 166410 | 19096 109555 373477 | 2147483647 122290 28 | 7.130 % |
40.73/40.86 c | 166532 | 19096 109555 373477 | 2147483647 122412 28 | 7.130 % |
40.83/40.94 c | 166665 | 19096 109555 373477 | 2147483647 122545 28 | 7.130 % |
40.83/40.98 c | 166811 | 19096 109555 373477 | 2147483647 122691 28 | 7.130 % |
40.93/41.05 c | 166972 | 19094 109555 373477 | 2147483647 122851 28 | 7.169 % |
40.93/41.07 c | 167148 | 19094 109555 373477 | 2147483647 123027 28 | 7.169 % |
40.93/41.07 c | 167341 | 19094 109555 373477 | 2147483647 123220 28 | 7.169 % |
40.93/41.09 c | 167553 | 19094 109555 373477 | 2147483647 123432 28 | 7.169 % |
41.03/41.17 c | 167787 | 19094 109555 373477 | 2147483647 123666 28 | 7.169 % |
41.03/41.19 c | 168043 | 19094 109555 373477 | 2147483647 123922 28 | 7.169 % |
41.33/41.40 c | 168324 | 19094 109555 373477 | 2147483647 124203 28 | 7.169 % |
41.53/41.60 c | 168634 | 19094 109555 373477 | 2147483647 124513 28 | 7.169 % |
41.64/41.73 c | 168974 | 19094 109555 373477 | 2147483647 124853 28 | 7.169 % |
41.74/41.89 c | 169348 | 19094 109555 373477 | 2147483647 125227 28 | 7.169 % |
42.03/42.11 c | 169759 | 19094 109555 373477 | 2147483647 125638 28 | 7.169 % |
42.34/42.40 c | 170208 | 19094 109555 373477 | 2147483647 126087 28 | 7.169 % |
42.64/42.71 c | 170701 | 19094 109555 373477 | 2147483647 126580 28 | 7.169 % |
43.04/43.15 c | 171246 | 19094 109555 373477 | 2147483647 127125 28 | 7.169 % |
43.34/43.41 c | 171842 | 19088 109467 373155 | 2147483647 126980 28 | 7.169 % |
43.64/43.73 c | 172497 | 19088 109467 373155 | 2147483647 127635 29 | 7.169 % |
44.04/44.13 c | 173217 | 19088 109467 373155 | 2147483647 128355 29 | 7.169 % |
44.74/44.85 c | 174009 | 19087 109467 373155 | 2147483647 129146 29 | 7.173 % |
45.23/45.30 c | 174882 | 19087 109467 373155 | 2147483647 130019 29 | 7.173 % |
46.43/46.51 c | 175841 | 19087 109467 373155 | 2147483647 130978 30 | 7.173 % |
47.03/47.19 c | 176894 | 19087 109467 373155 | 2147483647 132031 30 | 7.173 % |
47.83/47.99 c | 178052 | 19087 109467 373155 | 2147483647 133189 31 | 7.173 % |
48.64/48.70 c | 179325 | 19087 109467 373155 | 2147483647 134462 31 | 7.173 % |
49.63/49.77 c | 180726 | 19087 109467 373155 | 2147483647 135863 31 | 7.173 % |
50.93/51.05 c | 182266 | 19087 109462 373140 | 2147483647 137402 32 | 7.173 % |
52.42/52.52 c | 183960 | 19087 109462 373140 | 2147483647 139096 33 | 7.173 % |
53.92/54.05 c | 185824 | 19087 109462 373140 | 2147483647 140960 34 | 7.173 % |
53.92/54.09 c | 185924 | 19087 109462 373140 | 2147483647 141060 34 | 7.173 % |
54.02/54.11 c | 186035 | 19087 109462 373140 | 2147483647 141171 34 | 7.173 % |
54.12/54.21 c | 186156 | 19087 109462 373140 | 2147483647 141292 34 | 7.173 % |
54.12/54.26 c | 186290 | 19087 109462 373140 | 2147483647 141426 34 | 7.173 % |
54.22/54.35 c | 186436 | 19087 109462 373140 | 2147483647 141572 34 | 7.173 % |
54.31/54.40 c | 186596 | 19087 109462 373140 | 2147483647 141732 34 | 7.173 % |
54.31/54.46 c | 186772 | 19087 109462 373140 | 2147483647 141908 34 | 7.173 % |
54.41/54.59 c | 186965 | 19087 109462 373140 | 2147483647 142101 34 | 7.173 % |
54.61/54.74 c | 187177 | 19087 109462 373140 | 2147483647 142313 34 | 7.173 % |
54.82/54.92 c | 187411 | 19087 109462 373140 | 2147483647 142547 34 | 7.173 % |
55.01/55.13 c | 187667 | 19087 109462 373140 | 2147483647 142803 34 | 7.173 % |
55.21/55.36 c | 187950 | 19087 109462 373140 | 2147483647 143086 34 | 7.173 % |
55.51/55.64 c | 188259 | 19087 109462 373140 | 2147483647 143395 34 | 7.173 % |
55.81/55.93 c | 188598 | 19087 109462 373140 | 2147483647 143734 34 | 7.173 % |
55.92/56.09 c | 188971 | 19087 109462 373140 | 2147483647 144107 34 | 7.173 % |
56.21/56.34 c | 189380 | 19087 109462 373140 | 2147483647 144516 34 | 7.173 % |
56.52/56.64 c | 189829 | 19087 109462 373140 | 2147483647 144965 34 | 7.173 % |
57.02/57.13 c | 190322 | 19087 109462 373140 | 2147483647 145458 34 | 7.173 % |
57.32/57.46 c | 190865 | 19087 109462 373140 | 2147483647 146001 35 | 7.173 % |
57.92/58.04 c | 191462 | 19087 109462 373140 | 2147483647 146598 35 | 7.173 % |
58.32/58.46 c | 192117 | 19087 109462 373140 | 2147483647 147253 35 | 7.173 % |
59.02/59.18 c | 192837 | 19087 109462 373140 | 2147483647 147973 35 | 7.173 % |
59.81/59.95 c | 193629 | 19087 109462 373140 | 2147483647 148765 36 | 7.173 % |
60.51/60.60 c | 194500 | 19087 109462 373140 | 2147483647 149636 36 | 7.173 % |
61.21/61.35 c | 195458 | 19087 109462 373140 | 2147483647 150594 36 | 7.173 % |
62.51/62.61 c | 196513 | 19087 109462 373140 | 2147483647 151649 37 | 7.173 % |
63.11/63.26 c | 197671 | 19087 109462 373140 | 2147483647 152807 37 | 7.173 % |
64.31/64.43 c | 198944 | 19087 109462 373140 | 2147483647 154080 38 | 7.173 % |
65.71/65.89 c | 200344 | 19087 109462 373140 | 2147483647 155480 39 | 7.173 % |
66.92/67.02 c | 201884 | 19087 109462 373140 | 2147483647 157020 39 | 7.173 % |
68.61/68.74 c | 203578 | 19087 109462 373140 | 2147483647 158714 40 | 7.173 % |
70.11/70.22 c | 205443 | 19087 109462 373140 | 2147483647 160579 41 | 7.173 % |
73.41/73.54 c | 207492 | 19087 109462 373140 | 2147483647 162628 43 | 7.173 % |
73.51/73.62 c | 207592 | 19087 109462 373140 | 2147483647 162728 43 | 7.173 % |
73.61/73.70 c | 207702 | 19087 109462 373140 | 2147483647 162838 43 | 7.173 % |
73.61/73.79 c | 207823 | 19087 109462 373140 | 2147483647 162959 43 | 7.173 % |
73.71/73.89 c | 207958 | 19087 109462 373140 | 2147483647 163094 43 | 7.173 % |
73.91/74.04 c | 208104 | 19087 109462 373140 | 2147483647 163240 43 | 7.173 % |
74.01/74.11 c | 208265 | 19087 109462 373140 | 2147483647 163401 43 | 7.173 % |
74.11/74.24 c | 208442 | 19087 109462 373140 | 2147483647 163578 43 | 7.173 % |
74.31/74.40 c | 208635 | 19087 109462 373140 | 2147483647 163771 43 | 7.173 % |
74.50/74.60 c | 208848 | 19087 109462 373140 | 2147483647 163984 43 | 7.173 % |
74.61/74.79 c | 209082 | 19087 109462 373140 | 2147483647 164218 43 | 7.173 % |
74.90/75.08 c | 209339 | 19087 109462 373140 | 2147483647 164475 43 | 7.173 % |
75.10/75.23 c | 209621 | 19087 109462 373140 | 2147483647 164757 43 | 7.173 % |
75.30/75.46 c | 209930 | 19087 109462 373140 | 2147483647 165066 43 | 7.173 % |
75.60/75.75 c | 210269 | 19087 109462 373140 | 2147483647 165405 43 | 7.173 % |
76.00/76.11 c | 210642 | 19087 109462 373140 | 2147483647 165778 43 | 7.173 % |
76.40/76.52 c | 211052 | 19086 109456 373120 | 2147483647 166178 43 | 7.178 % |
76.91/77.09 c | 211501 | 19086 109456 373120 | 2147483647 166627 43 | 7.178 % |
77.40/77.55 c | 211994 | 19086 109456 373120 | 2147483647 167120 43 | 7.178 % |
77.80/77.91 c | 212537 | 19086 109456 373120 | 2147483647 167663 43 | 7.178 % |
78.40/78.56 c | 213133 | 19086 109456 373120 | 2147483647 168259 43 | 7.178 % |
79.00/79.12 c | 213789 | 19086 109456 373120 | 2147483647 168915 43 | 7.178 % |
79.60/79.79 c | 214510 | 19086 109456 373120 | 2147483647 169636 44 | 7.178 % |
80.20/80.38 c | 215302 | 19086 109456 373120 | 2147483647 170428 44 | 7.178 % |
81.00/81.19 c | 216174 | 19086 109456 373120 | 2147483647 171300 44 | 7.178 % |
82.50/82.61 c | 217132 | 19086 109456 373120 | 2147483647 172258 45 | 7.178 % |
83.80/83.94 c | 218186 | 19086 109456 373120 | 2147483647 173312 45 | 7.178 % |
84.80/84.97 c | 219345 | 19086 109456 373120 | 2147483647 174471 46 | 7.178 % |
86.60/86.72 c | 220619 | 19086 109456 373120 | 2147483647 175745 46 | 7.178 % |
87.80/87.97 c | 222019 | 19086 109456 373120 | 2147483647 177145 47 | 7.178 % |
90.89/91.01 c | 223559 | 19086 109456 373120 | 2147483647 178685 49 | 7.178 % |
92.30/92.40 c | 225254 | 19086 109456 373120 | 2147483647 180380 49 | 7.178 % |
94.19/94.38 c | 227118 | 19086 109456 373120 | 2147483647 182244 50 | 7.178 % |
95.89/96.01 c | 229167 | 19086 109456 373120 | 2147483647 184293 50 | 7.178 % |
97.89/98.04 c | 231420 | 19086 109456 373120 | 2147483647 186546 51 | 7.178 % |
97.99/98.11 c | 231520 | 19086 109456 373120 | 2147483647 186646 51 | 7.178 % |
98.19/98.31 c | 231630 | 19083 109433 373043 | 2147483647 186632 51 | 7.193 % |
98.19/98.40 c | 231753 | 19083 109433 373043 | 2147483647 186755 51 | 7.193 % |
98.29/98.42 c | 231886 | 19083 109433 373043 | 2147483647 186888 51 | 7.193 % |
98.39/98.51 c | 232032 | 19083 109433 373043 | 2147483647 187034 51 | 7.193 % |
98.49/98.68 c | 232194 | 19083 109433 373043 | 2147483647 187196 51 | 7.193 % |
98.69/98.85 c | 232372 | 19083 109433 373043 | 2147483647 187374 51 | 7.193 % |
98.89/99.05 c | 232565 | 19083 109433 373043 | 2147483647 187567 51 | 7.193 % |
99.18/99.30 c | 232778 | 19083 109433 373043 | 2147483647 187780 51 | 7.193 % |
99.38/99.54 c | 233011 | 19083 109433 373043 | 2147483647 188013 51 | 7.193 % |
99.58/99.77 c | 233267 | 19082 109433 373043 | 2147483647 188268 51 | 7.203 % |
99.98/100.10 c | 233552 | 19082 109433 373043 | 2147483647 188553 51 | 7.203 % |
100.18/100.31 c | 233861 | 19082 109433 373043 | 2147483647 188862 51 | 7.203 % |
100.38/100.52 c | 234203 | 19082 109433 373043 | 2147483647 189204 51 | 7.203 % |
100.78/100.91 c | 234575 | 19082 109433 373043 | 2147483647 189576 51 | 7.203 % |
101.18/101.38 c | 234985 | 19082 109433 373043 | 2147483647 189986 51 | 7.203 % |
101.68/101.90 c | 235434 | 19082 109433 373043 | 2147483647 190435 51 | 7.203 % |
102.08/102.25 c | 235928 | 19082 109433 373043 | 2147483647 190929 51 | 7.203 % |
102.58/102.73 c | 236471 | 19082 109433 373043 | 2147483647 191472 51 | 7.203 % |
103.08/103.28 c | 237068 | 19082 109433 373043 | 2147483647 192069 51 | 7.203 % |
103.78/103.91 c | 237725 | 19082 109433 373043 | 2147483647 192726 51 | 7.203 % |
104.38/104.59 c | 238445 | 19082 109433 373043 | 2147483647 193446 51 | 7.203 % |
105.68/105.86 c | 239237 | 19082 109433 373043 | 2147483647 194238 52 | 7.203 % |
106.78/106.94 c | 240108 | 19082 109433 373043 | 2147483647 195109 52 | 7.203 % |
107.88/108.06 c | 241068 | 19082 109433 373043 | 2147483647 196069 53 | 7.203 % |
109.08/109.21 c | 242121 | 19082 109433 373043 | 2147483647 197122 53 | 7.203 % |
109.58/109.71 c | 243282 | 19082 109433 373043 | 2147483647 198283 52 | 7.203 % |
110.58/110.76 c | 244556 | 19082 109433 373043 | 2147483647 199557 53 | 7.203 % |
112.38/112.51 c | 245957 | 19082 109433 373043 | 2147483647 200958 53 | 7.203 % |
114.28/114.47 c | 247498 | 19082 109433 373043 | 2147483647 202499 54 | 7.203 % |
115.77/115.93 c | 249194 | 19082 109433 373043 | 2147483647 204195 54 | 7.203 % |
117.08/117.29 c | 251058 | 19082 109433 373043 | 2147483647 206059 54 | 7.203 % |
119.97/120.17 c | 253107 | 19082 109433 373043 | 2147483647 208108 55 | 7.203 % |
122.47/122.63 c | 255361 | 19082 109433 373043 | 2147483647 210362 55 | 7.203 % |
124.58/124.78 c | 257839 | 19081 109417 372987 | 2147483647 212825 56 | 7.203 % |
124.68/124.87 c | 257941 | 19081 109417 372987 | 2147483647 212927 56 | 7.203 % |
124.88/125.03 c | 258051 | 19081 109417 372987 | 2147483647 213037 56 | 7.203 % |
124.98/125.16 c | 258172 | 19081 109417 372987 | 2147483647 213158 56 | 7.203 % |
125.18/125.35 c | 258305 | 19081 109417 372987 | 2147483647 213291 56 | 7.203 % |
125.28/125.48 c | 258452 | 19081 109417 372987 | 2147483647 213438 56 | 7.203 % |
125.58/125.71 c | 258612 | 19081 109417 372987 | 2147483647 213598 56 | 7.203 % |
125.67/125.83 c | 258790 | 19081 109417 372987 | 2147483647 213776 56 | 7.203 % |
125.87/126.08 c | 258984 | 19081 109417 372987 | 2147483647 213970 56 | 7.203 % |
126.17/126.30 c | 259196 | 19081 109417 372987 | 2147483647 214182 56 | 7.203 % |
126.28/126.46 c | 259429 | 19081 109417 372987 | 2147483647 214415 56 | 7.203 % |
126.77/126.90 c | 259686 | 19081 109417 372987 | 2147483647 214672 56 | 7.203 % |
126.87/127.08 c | 259967 | 19081 109417 372987 | 2147483647 214953 56 | 7.203 % |
127.27/127.45 c | 260276 | 19081 109417 372987 | 2147483647 215262 56 | 7.203 % |
127.48/127.68 c | 260615 | 19081 109417 372987 | 2147483647 215601 56 | 7.203 % |
127.97/128.11 c | 260988 | 19081 109417 372987 | 2147483647 215974 56 | 7.203 % |
128.48/128.68 c | 261398 | 19081 109417 372987 | 2147483647 216384 56 | 7.203 % |
128.97/129.11 c | 261847 | 19081 109417 372987 | 2147483647 216833 56 | 7.203 % |
129.37/129.51 c | 262340 | 19081 109417 372987 | 2147483647 217326 56 | 7.203 % |
130.17/130.34 c | 262883 | 19081 109417 372987 | 2147483647 217869 56 | 7.203 % |
130.87/131.03 c | 263480 | 19081 109417 372987 | 2147483647 218466 56 | 7.203 % |
131.47/131.61 c | 264135 | 19081 109417 372987 | 2147483647 219121 56 | 7.203 % |
132.47/132.68 c | 264856 | 19081 109417 372987 | 2147483647 219842 56 | 7.203 % |
133.47/133.61 c | 265649 | 19081 109417 372987 | 2147483647 220635 57 | 7.203 % |
134.17/134.37 c | 266521 | 19081 109417 372987 | 2147483647 221507 57 | 7.203 % |
135.77/135.92 c | 267480 | 19081 109417 372987 | 2147483647 222466 57 | 7.203 % |
136.77/136.98 c | 268533 | 19081 109417 372987 | 2147483647 223519 57 | 7.203 % |
138.48/138.68 c | 269691 | 19081 109417 372987 | 2147483647 224677 58 | 7.203 % |
139.77/139.93 c | 270965 | 19081 109417 372987 | 2147483647 225951 58 | 7.203 % |
141.56/141.71 c | 272365 | 19081 109417 372987 | 2147483647 227351 59 | 7.203 % |
143.57/143.74 c | 273905 | 19081 109417 372987 | 2147483647 228891 59 | 7.203 % |
145.67/145.81 c | 275599 | 19081 109417 372987 | 2147483647 230585 59 | 7.203 % |
147.96/148.15 c | 277462 | 19081 109417 372987 | 2147483647 232448 59 | 7.203 % |
150.66/150.83 c | 279511 | 19081 109417 372987 | 2147483647 234497 60 | 7.203 % |
152.76/152.93 c | 281764 | 19081 109417 372987 | 2147483647 236750 60 | 7.203 % |
154.86/155.05 c | 284243 | 19081 109417 372987 | 2147483647 239229 60 | 7.203 % |
160.36/160.55 c | 286969 | 19081 109417 372987 | 2147483647 241955 62 | 7.203 % |
160.46/160.68 c | 287069 | 19081 109417 372987 | 2147483647 242055 62 | 7.203 % |
160.66/160.82 c | 287179 | 19081 109417 372987 | 2147483647 242165 62 | 7.203 % |
160.76/160.98 c | 287301 | 19081 109417 372987 | 2147483647 242287 62 | 7.203 % |
160.96/161.10 c | 287434 | 19081 109417 372987 | 2147483647 242420 62 | 7.203 % |
161.06/161.24 c | 287581 | 19081 109417 372987 | 2147483647 242567 62 | 7.203 % |
161.26/161.40 c | 287744 | 19081 109417 372987 | 2147483647 242730 62 | 7.203 % |
161.66/161.81 c | 287922 | 19080 109409 372959 | 2147483647 242907 62 | 7.207 % |
161.96/162.15 c | 288116 | 19080 109409 372959 | 2147483647 243101 62 | 7.207 % |
162.16/162.31 c | 288331 | 19080 109409 372959 | 2147483647 243316 62 | 7.207 % |
162.36/162.58 c | 288564 | 19080 109409 372959 | 2147483647 243549 62 | 7.207 % |
162.76/162.94 c | 288820 | 19080 109409 372959 | 2147483647 243805 62 | 7.207 % |
162.96/163.17 c | 289101 | 19080 109409 372959 | 2147483647 244086 62 | 7.207 % |
163.26/163.44 c | 289412 | 19080 109409 372959 | 2147483647 244397 62 | 7.207 % |
163.55/163.78 c | 289751 | 19080 109409 372959 | 2147483647 244736 62 | 7.207 % |
163.95/164.16 c | 290124 | 19080 109409 372959 | 2147483647 245109 62 | 7.207 % |
164.45/164.66 c | 290533 | 19080 109409 372959 | 2147483647 245518 62 | 7.207 % |
165.05/165.21 c | 290983 | 19080 109409 372959 | 2147483647 245968 62 | 7.207 % |
165.96/166.19 c | 291478 | 19080 109409 372959 | 2147483647 246463 62 | 7.207 % |
166.65/166.86 c | 292022 | 19080 109409 372959 | 2147483647 247007 62 | 7.207 % |
167.46/167.66 c | 292620 | 19080 109409 372959 | 2147483647 247605 62 | 7.207 % |
168.36/168.55 c | 293275 | 19080 109409 372959 | 2147483647 248260 62 | 7.207 % |
169.06/169.29 c | 293995 | 19080 109409 372959 | 2147483647 248980 62 | 7.207 % |
170.46/170.61 c | 294788 | 19080 109409 372959 | 2147483647 249773 63 | 7.207 % |
171.76/171.92 c | 295660 | 19080 109409 372959 | 2147483647 250645 63 | 7.207 % |
173.05/173.27 c | 296619 | 19080 109409 372959 | 2147483647 251604 63 | 7.207 % |
174.15/174.34 c | 297674 | 19080 109409 372959 | 2147483647 252659 63 | 7.207 % |
175.85/176.05 c | 298832 | 19078 109409 372959 | 2147483647 253816 64 | 7.232 % |
177.45/177.65 c | 300105 | 19078 109409 372959 | 2147483647 255089 64 | 7.232 % |
179.35/179.55 c | 301505 | 19078 109409 372959 | 2147483647 256489 64 | 7.232 % |
181.15/181.31 c | 303045 | 19078 109409 372959 | 2147483647 258029 64 | 7.232 % |
183.95/184.14 c | 304740 | 19078 109409 372959 | 2147483647 259724 65 | 7.232 % |
186.94/187.17 c | 306603 | 19078 109409 372959 | 2147483647 261587 65 | 7.232 % |
190.94/191.15 c | 308653 | 19078 109409 372959 | 2147483647 263637 67 | 7.232 % |
193.74/193.91 c | 310907 | 19078 109409 372959 | 264987 265891 67 | 7.232 % |
196.44/196.66 c | 313386 | 19078 109409 372959 | 264987 268370 67 | 7.232 % |
201.24/201.40 c | 316112 | 19078 109409 372959 | 264987 240364 71 | 7.232 % |
205.24/205.47 c | 319109 | 19078 109409 372959 | 264987 243361 72 | 7.232 % |
205.44/205.60 c | 319210 | 19078 109409 372959 | 264987 243462 72 | 7.232 % |
205.54/205.76 c | 319320 | 19078 109409 372959 | 264987 243572 72 | 7.232 % |
205.94/206.18 c | 319443 | 19075 109384 372882 | 264987 243688 72 | 7.232 % |
206.04/206.29 c | 319577 | 19075 109384 372882 | 264987 243822 72 | 7.232 % |
206.24/206.46 c | 319725 | 19075 109384 372882 | 264987 243970 72 | 7.232 % |
206.44/206.60 c | 319886 | 19075 109384 372882 | 264987 244131 72 | 7.232 % |
206.54/206.75 c | 320064 | 19075 109384 372882 | 2147483647 244309 72 | 7.232 % |
206.94/207.13 c | 320258 | 19075 109384 372882 | 2147483647 244503 72 | 7.232 % |
207.13/207.36 c | 320471 | 19075 109384 372882 | 2147483647 244716 72 | 7.232 % |
207.53/207.73 c | 320704 | 19075 109384 372882 | 2147483647 244949 72 | 7.232 % |
207.93/208.17 c | 320963 | 19075 109384 372882 | 2147483647 245208 72 | 7.232 % |
208.33/208.58 c | 321244 | 19075 109384 372882 | 2147483647 245489 72 | 7.232 % |
208.94/209.13 c | 321556 | 19075 109384 372882 | 2147483647 245801 72 | 7.232 % |
209.24/209.47 c | 321899 | 19075 109384 372882 | 2147483647 246144 72 | 7.232 % |
209.73/209.98 c | 322271 | 19075 109384 372882 | 2147483647 246516 72 | 7.232 % |
210.13/210.31 c | 322681 | 19075 109384 372882 | 2147483647 246926 72 | 7.232 % |
210.73/210.92 c | 323131 | 19075 109384 372882 | 2147483647 247376 72 | 7.232 % |
211.43/211.62 c | 323626 | 19075 109384 372882 | 2147483647 247871 72 | 7.232 % |
212.04/212.28 c | 324168 | 19075 109384 372882 | 2147483647 248413 72 | 7.232 % |
212.93/213.13 c | 324765 | 19075 109384 372882 | 2147483647 249010 72 | 7.232 % |
213.83/214.04 c | 325420 | 19075 109384 372882 | 2147483647 249665 72 | 7.232 % |
215.23/215.41 c | 326143 | 19075 109384 372882 | 2147483647 250388 72 | 7.232 % |
216.23/216.49 c | 326935 | 19075 109384 372882 | 2147483647 251180 73 | 7.232 % |
217.33/217.53 c | 327806 | 19075 109384 372882 | 2147483647 252051 73 | 7.232 % |
218.73/218.96 c | 328765 | 19075 109384 372882 | 2147483647 253010 73 | 7.232 % |
220.03/220.28 c | 329818 | 19075 109384 372882 | 2147483647 254063 73 | 7.232 % |
221.33/221.57 c | 330977 | 19075 109384 372882 | 254246 255222 73 | 7.232 % |
222.63/222.86 c | 332250 | 19075 109384 372882 | 254246 256495 73 | 7.232 % |
224.63/224.81 c | 333651 | 19075 109384 372882 | 254246 227609 72 | 7.232 % |
226.43/226.62 c | 335191 | 19075 109384 372882 | 254246 229149 72 | 7.232 % |
228.42/228.67 c | 336887 | 19075 109384 372882 | 254246 230845 72 | 7.232 % |
231.82/232.09 c | 338752 | 19075 109384 372882 | 254246 232710 73 | 7.232 % |
234.91/235.16 c | 340801 | 19075 109384 372882 | 2147483647 234759 74 | 7.232 % |
238.41/238.60 c | 343055 | 19075 109384 372882 | 2147483647 237013 75 | 7.232 % |
242.01/242.28 c | 345534 | 19075 109384 372882 | 2147483647 239492 75 | 7.232 % |
246.61/246.82 c | 348261 | 19075 109384 372882 | 2147483647 242219 76 | 7.232 % |
250.51/250.74 c | 351258 | 19075 109384 372882 | 2147483647 245216 76 | 7.232 % |
253.71/253.91 c | 354556 | 19075 109384 372882 | 2147483647 248514 76 | 7.232 % |
253.81/254.06 c | 354656 | 19075 109384 372882 | 2147483647 248614 76 | 7.232 % |
254.01/254.24 c | 354766 | 19075 109384 372882 | 2147483647 248724 76 | 7.232 % |
254.21/254.41 c | 354888 | 19075 109384 372882 | 2147483647 248846 76 | 7.232 % |
254.30/254.58 c | 355021 | 19075 109384 372882 | 2147483647 248979 76 | 7.232 % |
254.60/254.83 c | 355167 | 19075 109384 372882 | 2147483647 249125 76 | 7.232 % |
254.70/254.99 c | 355327 | 19075 109384 372882 | 2147483647 249285 76 | 7.232 % |
254.91/255.13 c | 355504 | 19075 109384 372882 | 2147483647 249462 76 | 7.232 % |
255.20/255.44 c | 355697 | 19075 109384 372882 | 2147483647 249655 76 | 7.232 % |
255.40/255.62 c | 355910 | 19075 109384 372882 | 2147483647 249868 76 | 7.232 % |
255.70/255.92 c | 356143 | 19075 109384 372882 | 2147483647 250101 76 | 7.232 % |
256.30/256.55 c | 356400 | 19075 109384 372882 | 2147483647 250358 76 | 7.232 % |
256.60/256.81 c | 356683 | 19075 109384 372882 | 2147483647 250641 76 | 7.232 % |
257.11/257.31 c | 356993 | 19075 109384 372882 | 2147483647 250951 76 | 7.232 % |
257.50/257.73 c | 357333 | 19075 109384 372882 | 2147483647 251291 76 | 7.232 % |
258.00/258.25 c | 357705 | 19075 109384 372882 | 2147483647 251663 76 | 7.232 % |
258.60/258.86 c | 358115 | 19075 109384 372882 | 2147483647 252073 76 | 7.232 % |
259.10/259.38 c | 358565 | 19075 109384 372882 | 2147483647 252523 76 | 7.232 % |
260.11/260.31 c | 359059 | 19075 109384 372882 | 2147483647 253017 76 | 7.232 % |
261.01/261.26 c | 359602 | 19075 109384 372882 | 2147483647 253560 76 | 7.232 % |
261.80/262.10 c | 360198 | 19075 109384 372882 | 2147483647 254156 76 | 7.232 % |
262.40/262.69 c | 360853 | 19075 109384 372882 | 2147483647 254811 76 | 7.232 % |
263.30/263.57 c | 361574 | 19075 109384 372882 | 2147483647 255532 76 | 7.232 % |
264.50/264.71 c | 362366 | 19075 109384 372882 | 2147483647 256324 77 | 7.232 % |
265.30/265.51 c | 363237 | 19075 109384 372882 | 2147483647 257195 76 | 7.232 % |
266.60/266.85 c | 364195 | 19075 109384 372882 | 2147483647 258153 77 | 7.232 % |
268.30/268.59 c | 365248 | 19075 109384 372882 | 2147483647 259206 77 | 7.232 % |
269.60/269.80 c | 366407 | 19075 109384 372882 | 2147483647 260365 77 | 7.232 % |
270.60/270.87 c | 367681 | 19075 109384 372882 | 2147483647 261639 77 | 7.232 % |
272.80/273.07 c | 369082 | 19075 109384 372882 | 2147483647 263040 77 | 7.232 % |
276.09/276.32 c | 370625 | 19075 109384 372882 | 263958 264583 78 | 7.232 % |
278.49/278.71 c | 372320 | 19075 109384 372882 | 263958 266278 78 | 7.232 % |
281.39/281.63 c | 374184 | 19075 109384 372882 | 263958 237216 78 | 7.232 % |
284.99/285.24 c | 376233 | 19075 109384 372882 | 263958 239265 78 | 7.232 % |
288.19/288.44 c | 378487 | 19075 109384 372882 | 263958 241519 79 | 7.232 % |
291.78/292.01 c | 380965 | 19075 109384 372882 | 243033 243997 80 | 7.232 % |
295.78/296.01 c | 383696 | 19075 109384 372882 | 243033 246728 80 | 7.232 % |
299.88/300.13 c | 386693 | 19075 109384 372882 | 243033 224132 81 | 7.232 % |
304.88/305.15 c | 389989 | 19075 109384 372882 | 243033 227428 82 | 7.232 % |
310.08/310.33 c | 393616 | 19075 109384 372882 | 2147483647 231055 83 | 7.232 % |
310.18/310.47 c | 393716 | 19075 109384 372882 | 2147483647 231155 83 | 7.232 % |
310.38/310.67 c | 393826 | 19075 109384 372882 | 2147483647 231265 83 | 7.232 % |
310.58/310.83 c | 393948 | 19075 109384 372882 | 2147483647 231387 83 | 7.232 % |
310.68/310.97 c | 394081 | 19075 109384 372882 | 2147483647 231520 83 | 7.232 % |
310.98/311.23 c | 394227 | 19075 109384 372882 | 2147483647 231666 83 | 7.232 % |
311.18/311.47 c | 394388 | 19075 109384 372882 | 2147483647 231827 83 | 7.232 % |
311.58/311.80 c | 394564 | 19075 109384 372882 | 2147483647 232003 83 | 7.232 % |
311.68/311.98 c | 394757 | 19075 109384 372882 | 2147483647 232196 82 | 7.232 % |
311.98/312.27 c | 394969 | 19075 109384 372882 | 2147483647 232408 82 | 7.232 % |
312.38/312.62 c | 395202 | 19075 109384 372882 | 2147483647 232641 82 | 7.232 % |
312.68/312.97 c | 395458 | 19075 109384 372882 | 2147483647 232897 82 | 7.232 % |
313.08/313.32 c | 395740 | 19075 109384 372882 | 2147483647 233179 82 | 7.232 % |
313.48/313.74 c | 396050 | 19075 109384 372882 | 2147483647 233489 82 | 7.232 % |
313.68/313.95 c | 396391 | 19075 109384 372882 | 2147483647 233830 82 | 7.232 % |
314.08/314.39 c | 396764 | 19075 109384 372882 | 2147483647 234203 82 | 7.232 % |
314.28/314.57 c | 397173 | 19075 109384 372882 | 2147483647 234612 82 | 7.232 % |
314.78/315.09 c | 397622 | 19075 109384 372882 | 2147483647 235061 82 | 7.232 % |
315.28/315.58 c | 398116 | 19075 109384 372882 | 2147483647 235555 82 | 7.232 % |
316.18/316.42 c | 398659 | 19075 109384 372882 | 2147483647 236098 82 | 7.232 % |
316.88/317.19 c | 399256 | 19075 109384 372882 | 2147483647 236695 82 | 7.232 % |
317.78/318.04 c | 399911 | 19075 109384 372882 | 2147483647 237350 82 | 7.232 % |
318.58/318.80 c | 400631 | 19075 109384 372882 | 2147483647 238070 82 | 7.232 % |
319.58/319.90 c | 401425 | 19075 109384 372882 | 2147483647 238864 82 | 7.232 % |
320.88/321.15 c | 402296 | 19075 109384 372882 | 2147483647 239735 82 | 7.232 % |
322.17/322.48 c | 403256 | 19075 109384 372882 | 2147483647 240695 82 | 7.232 % |
323.86/324.12 c | 404309 | 19075 109384 372882 | 2147483647 241748 83 | 7.232 % |
324.96/325.26 c | 405468 | 19075 109384 372882 | 2147483647 242907 82 | 7.232 % |
326.86/327.14 c | 406741 | 19075 109384 372882 | 2147483647 244180 82 | 7.232 % |
328.57/328.87 c | 408141 | 19075 109384 372882 | 2147483647 245580 83 | 7.232 % |
330.46/330.73 c | 409681 | 19075 109384 372882 | 2147483647 247120 83 | 7.232 % |
333.07/333.34 c | 411376 | 19075 109384 372882 | 247441 248815 83 | 7.232 % |
335.76/336.01 c | 413240 | 19075 109384 372882 | 247441 250679 84 | 7.232 % |
338.56/338.81 c | 415290 | 19075 109384 372882 | 247441 225234 80 | 7.232 % |
340.96/341.24 c | 417544 | 19075 109384 372882 | 247441 227488 80 | 7.232 % |
345.36/345.68 c | 420022 | 19075 109384 372882 | 2147483647 229966 81 | 7.232 % |
350.25/350.54 c | 422747 | 19072 109369 372839 | 2147483647 232679 82 | 7.246 % |
353.75/354.04 c | 425745 | 19072 109369 372839 | 2147483647 235677 82 | 7.246 % |
359.25/359.52 c | 429041 | 19072 109369 372839 | 2147483647 238973 83 | 7.246 % |
363.95/364.23 c | 432667 | 19072 109369 372839 | 2147483647 242599 83 | 7.246 % |
369.15/369.42 c | 436655 | 19072 109369 372839 | 2147483647 246587 84 | 7.246 % |
369.25/369.55 c | 436755 | 19072 109369 372839 | 2147483647 246687 84 | 7.246 % |
369.35/369.68 c | 436866 | 19072 109369 372839 | 2147483647 246798 84 | 7.246 % |
369.54/369.81 c | 436987 | 19072 109369 372839 | 2147483647 246919 84 | 7.246 % |
369.74/370.06 c | 437120 | 19072 109369 372839 | 2147483647 247052 84 | 7.246 % |
369.94/370.25 c | 437266 | 19072 109369 372839 | 2147483647 247198 84 | 7.246 % |
370.24/370.53 c | 437427 | 19072 109369 372839 | 2147483647 247359 84 | 7.246 % |
370.45/370.77 c | 437604 | 19072 109369 372839 | 2147483647 247536 84 | 7.246 % |
370.84/371.11 c | 437797 | 19072 109369 372839 | 2147483647 247729 84 | 7.246 % |
371.04/371.34 c | 438009 | 19072 109369 372839 | 2147483647 247941 84 | 7.246 % |
371.45/371.78 c | 438242 | 19072 109369 372839 | 2147483647 248174 84 | 7.246 % |
371.74/372.02 c | 438498 | 19072 109369 372839 | 2147483647 248430 84 | 7.246 % |
372.14/372.44 c | 438779 | 19072 109369 372839 | 2147483647 248711 84 | 7.246 % |
372.65/372.96 c | 439089 | 19072 109369 372839 | 2147483647 249021 84 | 7.246 % |
373.14/373.41 c | 439429 | 19072 109369 372839 | 2147483647 249361 84 | 7.246 % |
373.54/373.85 c | 439802 | 19072 109369 372839 | 2147483647 249734 84 | 7.246 % |
374.14/374.45 c | 440211 | 19072 109369 372839 | 249933 250143 84 | 7.246 % |
374.74/375.08 c | 440660 | 19072 109369 372839 | 249933 250592 84 | 7.246 % |
375.14/375.47 c | 441153 | 19072 109369 372839 | 249933 251085 84 | 7.246 % |
376.25/376.51 c | 441695 | 19072 109369 372839 | 249933 251627 84 | 7.246 % |
376.65/376.99 c | 442291 | 19072 109369 372839 | 249933 225776 86 | 7.246 % |
377.65/377.93 c | 442946 | 19072 109369 372839 | 249933 226431 86 | 7.246 % |
378.34/378.63 c | 443668 | 19072 109369 372839 | 249933 227153 86 | 7.246 % |
379.55/379.89 c | 444460 | 19072 109369 372839 | 249933 227945 86 | 7.246 % |
380.94/381.25 c | 445331 | 19071 109369 372839 | 249933 228815 86 | 7.256 % |
382.45/382.73 c | 446289 | 19071 109369 372839 | 249933 229773 86 | 7.256 % |
383.74/384.04 c | 447343 | 19071 109369 372839 | 249933 230827 86 | 7.256 % |
385.04/385.37 c | 448504 | 19071 109369 372839 | 249933 231988 86 | 7.256 % |
387.34/387.64 c | 449778 | 19071 109369 372839 | 249933 233262 87 | 7.256 % |
388.74/389.07 c | 451179 | 19071 109369 372839 | 2147483647 234663 87 | 7.256 % |
391.84/392.10 c | 452719 | 19071 109369 372839 | 2147483647 236203 87 | 7.256 % |
393.94/394.28 c | 454415 | 19071 109369 372839 | 2147483647 237899 88 | 7.256 % |
396.74/397.05 c | 456278 | 19071 109369 372839 | 2147483647 239762 88 | 7.256 % |
399.24/399.59 c | 458328 | 19071 109369 372839 | 2147483647 241812 88 | 7.256 % |
402.04/402.39 c | 460581 | 19071 109369 372839 | 2147483647 244065 88 | 7.256 % |
407.03/407.31 c | 463059 | 19070 109362 372817 | 2147483647 246543 89 | 7.256 % |
411.03/411.36 c | 465784 | 19070 109362 372817 | 2147483647 249268 90 | 7.256 % |
415.43/415.78 c | 468782 | 19070 109362 372817 | 2147483647 252266 91 | 7.256 % |
420.12/420.45 c | 472078 | 19070 109362 372817 | 2147483647 255562 91 | 7.256 % |
425.52/425.85 c | 475703 | 19070 109362 372817 | 2147483647 259187 92 | 7.256 % |
435.52/435.87 c | 479692 | 19070 109362 372817 | 2147483647 263176 95 | 7.256 % |
442.21/442.54 c | 484079 | 19070 109362 372817 | 263484 234975 95 | 7.256 % |
442.31/442.69 c | 484180 | 19070 109362 372817 | 263484 235076 94 | 7.256 % |
442.51/442.82 c | 484291 | 19070 109362 372817 | 263484 235187 94 | 7.256 % |
442.71/443.07 c | 484412 | 19070 109362 372817 | 263484 235308 94 | 7.256 % |
442.92/443.22 c | 484545 | 19070 109362 372817 | 263484 235441 94 | 7.256 % |
443.21/443.53 c | 484691 | 19070 109362 372817 | 263484 235587 94 | 7.256 % |
443.31/443.69 c | 484852 | 19070 109362 372817 | 263484 235748 94 | 7.256 % |
443.51/443.82 c | 485028 | 19070 109362 372817 | 263484 235924 94 | 7.256 % |
443.81/444.14 c | 485223 | 19070 109362 372817 | 263484 236119 94 | 7.256 % |
444.02/444.39 c | 485435 | 19070 109362 372817 | 263484 236331 94 | 7.256 % |
444.31/444.69 c | 485670 | 19070 109362 372817 | 263484 236566 94 | 7.256 % |
444.81/445.12 c | 485926 | 19070 109362 372817 | 263484 236822 94 | 7.256 % |
445.11/445.48 c | 486207 | 19070 109362 372817 | 263484 237103 94 | 7.256 % |
445.61/445.99 c | 486518 | 19070 109362 372817 | 263484 237414 94 | 7.256 % |
446.31/446.62 c | 486858 | 19070 109362 372817 | 263484 237754 94 | 7.256 % |
446.81/447.13 c | 487230 | 19070 109362 372817 | 263484 238126 94 | 7.256 % |
447.51/447.87 c | 487639 | 19070 109362 372817 | 263484 238535 94 | 7.256 % |
448.01/448.31 c | 488089 | 19070 109362 372817 | 263484 238985 94 | 7.256 % |
448.61/448.96 c | 488582 | 19070 109362 372817 | 263484 239478 94 | 7.256 % |
449.41/449.74 c | 489124 | 19069 109362 372817 | 263484 240019 94 | 7.261 % |
450.21/450.59 c | 489721 | 19069 109362 372817 | 263484 240616 94 | 7.261 % |
451.11/451.49 c | 490377 | 19069 109362 372817 | 240895 241272 94 | 7.261 % |
452.01/452.30 c | 491097 | 19069 109362 372817 | 240895 241992 94 | 7.261 % |
452.91/453.28 c | 491890 | 19069 109362 372817 | 240895 242785 94 | 7.261 % |
454.31/454.62 c | 492761 | 19069 109362 372817 | 240895 214836 91 | 7.261 % |
455.80/456.17 c | 493721 | 19069 109362 372817 | 240895 215796 91 | 7.261 % |
457.70/458.06 c | 494774 | 19069 109362 372817 | 240895 216849 91 | 7.261 % |
458.80/459.14 c | 495932 | 19069 109362 372817 | 240895 218007 91 | 7.261 % |
460.90/461.22 c | 497205 | 19069 109362 372817 | 240895 219280 92 | 7.261 % |
462.90/463.26 c | 498605 | 19069 109362 372817 | 240895 220680 92 | 7.261 % |
464.40/464.72 c | 500146 | 19069 109362 372817 | 2147483647 222221 92 | 7.261 % |
466.90/467.25 c | 501840 | 19069 109362 372817 | 2147483647 223915 92 | 7.261 % |
470.80/471.11 c | 503704 | 19069 109354 372789 | 2147483647 225776 93 | 7.261 % |
474.10/474.42 c | 505754 | 19069 109354 372789 | 2147483647 227826 93 | 7.261 % |
478.49/478.90 c | 508008 | 19069 109354 372789 | 2147483647 230080 95 | 7.261 % |
481.89/482.24 c | 510486 | 19069 109354 372789 | 2147483647 232558 95 | 7.261 % |
487.19/487.55 c | 513211 | 19069 109354 372789 | 2147483647 235283 96 | 7.261 % |
491.99/492.33 c | 516208 | 19069 109354 372789 | 2147483647 238280 97 | 7.261 % |
498.69/499.02 c | 519504 | 19069 109354 372789 | 2147483647 241576 98 | 7.261 % |
504.88/505.26 c | 523130 | 19069 109354 372789 | 2147483647 245202 99 | 7.261 % |
512.08/512.46 c | 527117 | 19069 109354 372789 | 2147483647 249189 101 | 7.261 % |
518.48/518.87 c | 531502 | 19069 109354 372789 | 2147483647 253574 102 | 7.261 % |
526.88/527.26 c | 536325 | 19069 109354 372789 | 2147483647 258397 103 | 7.261 % |
527.08/527.42 c | 536426 | 19069 109354 372789 | 2147483647 258498 103 | 7.261 % |
527.18/527.56 c | 536538 | 19069 109354 372789 | 2147483647 258610 103 | 7.261 % |
527.38/527.75 c | 536659 | 19069 109354 372789 | 2147483647 258731 103 | 7.261 % |
527.58/527.90 c | 536792 | 19069 109354 372789 | 2147483647 258864 103 | 7.261 % |
527.78/528.16 c | 536938 | 19069 109354 372789 | 2147483647 259010 103 | 7.261 % |
527.98/528.36 c | 537098 | 19069 109354 372789 | 2147483647 259170 103 | 7.261 % |
528.28/528.62 c | 537274 | 19069 109354 372789 | 2147483647 259346 103 | 7.261 % |
528.58/528.93 c | 537468 | 19069 109354 372789 | 2147483647 259540 103 | 7.261 % |
528.78/529.18 c | 537681 | 19069 109354 372789 | 2147483647 259753 103 | 7.261 % |
529.18/529.57 c | 537914 | 19069 109354 372789 | 2147483647 259986 103 | 7.261 % |
529.58/529.96 c | 538170 | 19069 109354 372789 | 2147483647 260242 103 | 7.261 % |
529.88/530.24 c | 538451 | 19069 109354 372789 | 2147483647 260523 103 | 7.261 % |
530.18/530.59 c | 538761 | 19069 109354 372789 | 2147483647 260833 103 | 7.261 % |
530.58/530.95 c | 539102 | 19069 109354 372789 | 2147483647 261174 103 | 7.261 % |
531.28/531.60 c | 539474 | 19069 109354 372789 | 2147483647 261546 103 | 7.261 % |
531.78/532.12 c | 539883 | 19069 109354 372789 | 2147483647 261955 103 | 7.261 % |
532.68/533.07 c | 540333 | 19069 109354 372789 | 2147483647 262405 103 | 7.261 % |
533.58/533.94 c | 540827 | 19069 109354 372789 | 2147483647 262899 103 | 7.261 % |
534.37/534.74 c | 541371 | 19069 109354 372789 | 2147483647 263443 103 | 7.261 % |
535.17/535.52 c | 541967 | 19069 109354 372789 | 2147483647 264039 103 | 7.261 % |
536.07/536.41 c | 542622 | 19069 109354 372789 | 2147483647 264694 103 | 7.261 % |
536.77/537.19 c | 543343 | 19069 109354 372789 | 2147483647 265415 103 | 7.261 % |
538.27/538.61 c | 544135 | 19069 109354 372789 | 2147483647 266207 103 | 7.261 % |
539.58/539.99 c | 545009 | 19069 109354 372789 | 2147483647 267081 103 | 7.261 % |
542.07/542.49 c | 545968 | 19069 109354 372789 | 2147483647 268040 103 | 7.261 % |
543.08/543.49 c | 547023 | 19069 109354 372789 | 2147483647 269095 103 | 7.261 % |
545.48/545.89 c | 548181 | 19069 109354 372789 | 2147483647 270253 103 | 7.261 % |
547.37/547.76 c | 549454 | 19069 109354 372789 | 2147483647 271526 103 | 7.261 % |
549.77/550.17 c | 550855 | 19069 109354 372789 | 272073 272927 104 | 7.261 % |
553.56/553.98 c | 552396 | 19069 109354 372789 | 272073 274468 105 | 7.261 % |
555.66/556.02 c | 554090 | 19069 109354 372789 | 272073 248716 104 | 7.261 % |
558.66/559.03 c | 555955 | 19069 109354 372789 | 272073 250581 104 | 7.261 % |
562.46/562.89 c | 558005 | 19069 109354 372789 | 272073 252631 105 | 7.261 % |
566.96/567.32 c | 560260 | 19069 109354 372789 | 254626 254886 105 | 7.261 % |
570.76/571.13 c | 562738 | 19069 109354 372789 | 254626 230547 102 | 7.261 % |
574.06/574.45 c | 565463 | 19069 109354 372789 | 254626 233272 102 | 7.261 % |
580.86/581.25 c | 568460 | 19069 109354 372789 | 254626 236269 103 | 7.261 % |
585.45/585.82 c | 571756 | 19069 109354 372789 | 2147483647 239565 103 | 7.261 % |
591.65/592.09 c | 575383 | 19069 109354 372789 | 2147483647 243192 104 | 7.261 % |
599.54/599.99 c | 579370 | 19069 109354 372789 | 2147483647 247179 106 | 7.261 % |
607.34/607.72 c | 583757 | 19069 109354 372789 | 2147483647 251566 107 | 7.261 % |
618.04/618.42 c | 588582 | 19069 109354 372789 | 2147483647 256391 109 | 7.261 % |
629.64/630.01 c | 593887 | 19069 109354 372789 | 257810 261696 111 | 7.261 % |
630.04/630.48 c | 593987 | 19069 109354 372789 | 257810 234632 108 | 7.261 % |
630.24/630.64 c | 594097 | 19069 109354 372789 | 257810 234742 108 | 7.261 % |
630.44/630.85 c | 594219 | 19069 109354 372789 | 257810 234864 108 | 7.261 % |
630.64/631.02 c | 594352 | 19069 109354 372789 | 257810 234997 108 | 7.261 % |
630.84/631.23 c | 594498 | 19069 109354 372789 | 257810 235143 108 | 7.261 % |
631.04/631.49 c | 594658 | 19069 109354 372789 | 257810 235303 108 | 7.261 % |
631.24/631.69 c | 594836 | 19069 109354 372789 | 257810 235481 108 | 7.261 % |
631.34/631.76 c | 595030 | 19069 109354 372789 | 257810 235675 108 | 7.261 % |
631.54/631.98 c | 595243 | 19069 109354 372789 | 257810 235888 108 | 7.261 % |
631.94/632.34 c | 595476 | 19069 109354 372789 | 257810 236121 108 | 7.261 % |
632.34/632.76 c | 595732 | 19069 109354 372789 | 257810 236377 108 | 7.261 % |
632.54/632.96 c | 596013 | 19069 109354 372789 | 257810 236658 108 | 7.261 % |
632.74/633.17 c | 596323 | 19069 109354 372789 | 257810 236968 108 | 7.261 % |
633.04/633.44 c | 596663 | 19069 109354 372789 | 257810 237308 108 | 7.261 % |
633.64/634.04 c | 597036 | 19069 109354 372789 | 257810 237681 108 | 7.261 % |
634.24/634.63 c | 597445 | 19069 109354 372789 | 257810 238090 108 | 7.261 % |
634.84/635.28 c | 597894 | 19069 109354 372789 | 257810 238539 108 | 7.261 % |
635.54/635.96 c | 598388 | 19069 109354 372789 | 257810 239033 107 | 7.261 % |
636.23/636.65 c | 598930 | 19069 109354 372789 | 257810 239575 107 | 7.261 % |
637.03/637.42 c | 599528 | 19069 109354 372789 | 257810 240173 107 | 7.261 % |
638.23/638.66 c | 600184 | 19069 109354 372789 | 240646 240829 107 | 7.261 % |
639.03/639.49 c | 600906 | 19069 109354 372789 | 240646 241551 107 | 7.261 % |
640.53/640.95 c | 601700 | 19069 109354 372789 | 240646 242345 107 | 7.261 % |
642.04/642.47 c | 602574 | 19069 109354 372789 | 240646 216728 105 | 7.261 % |
643.43/643.82 c | 603533 | 19069 109354 372789 | 240646 217687 105 | 7.261 % |
645.03/645.41 c | 604586 | 19069 109354 372789 | 240646 218740 105 | 7.261 % |
647.83/648.21 c | 605745 | 19069 109354 372789 | 240646 219899 106 | 7.261 % |
649.43/649.85 c | 607020 | 19069 109354 372789 | 240646 221174 106 | 7.261 % |
651.73/652.17 c | 608423 | 19069 109354 372789 | 240646 222577 106 | 7.261 % |
654.13/654.56 c | 609963 | 19069 109354 372789 | 240646 224117 106 | 7.261 % |
656.33/656.75 c | 611658 | 19069 109354 372789 | 2147483647 225812 106 | 7.261 % |
660.02/660.46 c | 613521 | 19069 109354 372789 | 2147483647 227675 107 | 7.261 % |
663.22/663.69 c | 615570 | 19069 109354 372789 | 2147483647 229724 108 | 7.261 % |
666.02/666.48 c | 617823 | 19069 109354 372789 | 2147483647 231977 107 | 7.261 % |
672.22/672.61 c | 620301 | 19069 109354 372789 | 2147483647 234455 109 | 7.261 % |
676.42/676.86 c | 623026 | 19069 109354 372789 | 2147483647 237180 109 | 7.261 % |
681.22/681.65 c | 626025 | 19069 109354 372789 | 2147483647 240179 110 | 7.261 % |
687.21/687.66 c | 629321 | 19069 109354 372789 | 2147483647 243475 111 | 7.261 % |
693.11/693.50 c | 632946 | 19069 109354 372789 | 2147483647 247100 111 | 7.261 % |
701.81/702.25 c | 636935 | 19069 109354 372789 | 2147483647 251089 113 | 7.261 % |
709.30/709.71 c | 641322 | 19069 109354 372789 | 2147483647 255476 114 | 7.261 % |
716.60/717.03 c | 646145 | 19069 109354 372789 | 2147483647 260299 115 | 7.261 % |
725.40/725.87 c | 651450 | 19069 109354 372789 | 264157 265604 116 | 7.261 % |
734.19/734.65 c | 657286 | 19069 109354 372789 | 264157 271440 117 | 7.261 % |
734.79/735.21 c | 657386 | 19069 109354 372789 | 264157 227024 109 | 7.261 % |
734.89/735.33 c | 657497 | 19069 109354 372789 | 264157 227135 109 | 7.261 % |
735.09/735.53 c | 657619 | 19069 109354 372789 | 264157 227257 109 | 7.261 % |
735.29/735.70 c | 657752 | 19069 109354 372789 | 264157 227390 109 | 7.261 % |
735.50/735.94 c | 657899 | 19069 109354 372789 | 264157 227537 109 | 7.261 % |
735.69/736.15 c | 658060 | 19069 109354 372789 | 264157 227698 109 | 7.261 % |
735.99/736.46 c | 658237 | 19069 109354 372789 | 264157 227875 109 | 7.261 % |
736.19/736.67 c | 658430 | 19069 109354 372789 | 264157 228068 109 | 7.261 % |
736.39/736.86 c | 658644 | 19069 109354 372789 | 264157 228282 109 | 7.261 % |
736.69/737.11 c | 658878 | 19069 109354 372789 | 264157 228516 109 | 7.261 % |
736.89/737.36 c | 659134 | 19069 109354 372789 | 264157 228772 109 | 7.261 % |
737.39/737.82 c | 659415 | 19069 109354 372789 | 264157 229053 109 | 7.261 % |
737.70/738.13 c | 659724 | 19069 109354 372789 | 264157 229362 109 | 7.261 % |
738.09/738.55 c | 660063 | 19069 109354 372789 | 229639 229701 109 | 7.261 % |
738.69/739.20 c | 660436 | 19069 109354 372789 | 229639 230074 109 | 7.261 % |
739.39/739.85 c | 660845 | 19069 109354 372789 | 229639 230483 109 | 7.261 % |
740.09/740.50 c | 661295 | 19069 109354 372789 | 229639 230933 109 | 7.261 % |
740.69/741.12 c | 661788 | 19069 109354 372789 | 229639 231426 109 | 7.261 % |
741.99/742.42 c | 662333 | 19069 109354 372789 | 229639 200479 103 | 7.261 % |
742.69/743.15 c | 662929 | 19069 109354 372789 | 229639 201075 103 | 7.261 % |
743.59/744.01 c | 663585 | 19069 109354 372789 | 229639 201731 103 | 7.261 % |
744.89/745.34 c | 664306 | 19069 109354 372789 | 229639 202452 103 | 7.261 % |
745.79/746.28 c | 665098 | 19069 109354 372789 | 229639 203244 103 | 7.261 % |
747.19/747.65 c | 665969 | 19069 109354 372789 | 229639 204115 103 | 7.261 % |
748.19/748.62 c | 666928 | 19069 109354 372789 | 229639 205074 103 | 7.261 % |
749.69/750.12 c | 667981 | 19069 109354 372789 | 229639 206127 103 | 7.261 % |
750.99/751.48 c | 669139 | 19069 109354 372789 | 229639 207285 103 | 7.261 % |
752.89/753.39 c | 670413 | 19069 109354 372789 | 2147483647 208559 103 | 7.261 % |
755.59/756.01 c | 671813 | 19069 109354 372789 | 2147483647 209959 104 | 7.261 % |
757.19/757.64 c | 673354 | 19069 109354 372789 | 2147483647 211500 104 | 7.261 % |
759.69/760.15 c | 675049 | 19069 109354 372789 | 2147483647 213195 104 | 7.261 % |
762.78/763.25 c | 676913 | 19069 109354 372789 | 2147483647 215059 105 | 7.261 % |
764.98/765.45 c | 678962 | 19069 109354 372789 | 2147483647 217108 105 | 7.261 % |
768.68/769.16 c | 681216 | 19069 109354 372789 | 2147483647 219362 106 | 7.261 % |
771.68/772.11 c | 683694 | 19069 109354 372789 | 2147483647 221840 106 | 7.261 % |
775.77/776.25 c | 686420 | 19069 109354 372789 | 2147483647 224566 107 | 7.261 % |
778.57/779.04 c | 689417 | 19069 109354 372789 | 2147483647 227563 106 | 7.261 % |
782.97/783.48 c | 692713 | 19069 109354 372789 | 2147483647 230859 107 | 7.261 % |
789.57/790.09 c | 696339 | 19069 109354 372789 | 2147483647 234485 108 | 7.261 % |
798.07/798.54 c | 700327 | 19069 109354 372789 | 2147483647 238473 110 | 7.261 % |
805.37/805.87 c | 704712 | 19069 109354 372789 | 2147483647 242858 112 | 7.261 % |
813.36/813.86 c | 709536 | 19069 109354 372789 | 2147483647 247682 114 | 7.261 % |
822.96/823.45 c | 714841 | 19069 109354 372789 | 2147483647 252987 116 | 7.261 % |
835.56/836.04 c | 720677 | 19069 109354 372789 | 2147483647 258823 118 | 7.261 % |
845.85/846.36 c | 727095 | 19069 109354 372789 | 2147483647 265241 119 | 7.261 % |
846.05/846.54 c | 727195 | 19069 109354 372789 | 2147483647 265341 119 | 7.261 % |
846.25/846.73 c | 727305 | 19069 109354 372789 | 2147483647 265451 119 | 7.261 % |
846.45/846.97 c | 727427 | 19069 109354 372789 | 2147483647 265573 119 | 7.261 % |
846.65/847.11 c | 727560 | 19069 109354 372789 | 2147483647 265706 119 | 7.261 % |
846.95/847.45 c | 727707 | 19069 109354 372789 | 2147483647 265853 119 | 7.261 % |
847.25/847.70 c | 727868 | 19069 109354 372789 | 2147483647 266014 119 | 7.261 % |
847.55/848.05 c | 728044 | 19069 109354 372789 | 2147483647 266190 118 | 7.261 % |
847.85/848.35 c | 728237 | 19069 109354 372789 | 2147483647 266383 118 | 7.261 % |
848.25/848.71 c | 728451 | 19069 109354 372789 | 2147483647 266597 118 | 7.261 % |
848.45/848.97 c | 728687 | 19069 109354 372789 | 2147483647 266833 118 | 7.261 % |
848.95/849.43 c | 728943 | 19069 109354 372789 | 2147483647 267089 118 | 7.261 % |
849.35/849.80 c | 729224 | 19069 109354 372789 | 2147483647 267370 118 | 7.261 % |
849.85/850.37 c | 729534 | 19069 109354 372789 | 2147483647 267680 118 | 7.261 % |
850.55/851.08 c | 729876 | 19069 109354 372789 | 2147483647 268022 118 | 7.261 % |
851.25/851.73 c | 730248 | 19069 109354 372789 | 268146 268394 118 | 7.261 % |
851.95/852.50 c | 730657 | 19069 109354 372789 | 268146 268803 118 | 7.261 % |
852.75/853.20 c | 731107 | 19069 109354 372789 | 268146 269253 118 | 7.261 % |
853.54/854.04 c | 731600 | 19069 109354 372789 | 268146 269746 118 | 7.261 % |
854.44/854.99 c | 732142 | 19069 109354 372789 | 268146 232725 113 | 7.261 % |
855.44/855.94 c | 732739 | 19069 109354 372789 | 268146 233322 113 | 7.261 % |
855.94/856.44 c | 733394 | 19069 109354 372789 | 268146 233977 113 | 7.261 % |
856.94/857.40 c | 734115 | 19069 109354 372789 | 268146 234698 113 | 7.261 % |
857.94/858.47 c | 734908 | 19069 109354 372789 | 268146 235491 113 | 7.261 % |
859.24/859.76 c | 735781 | 19069 109354 372789 | 268146 236364 113 | 7.261 % |
860.95/861.43 c | 736740 | 19066 109325 372686 | 268146 237311 112 | 7.276 % |
862.34/862.86 c | 737795 | 19066 109325 372686 | 268146 238366 112 | 7.276 % |
863.94/864.42 c | 738953 | 19066 109325 372686 | 268146 239524 112 | 7.276 % |
865.54/866.07 c | 740226 | 19066 109325 372686 | 240572 240797 112 | 7.276 % |
867.64/868.13 c | 741626 | 19066 109325 372686 | 240572 242197 112 | 7.276 % |
870.64/871.17 c | 743166 | 19066 109325 372686 | 240572 217944 109 | 7.276 % |
872.24/872.76 c | 744860 | 19066 109325 372686 | 240572 219638 108 | 7.276 % |
875.54/876.03 c | 746724 | 19066 109325 372686 | 240572 221502 109 | 7.276 % |
879.74/880.29 c | 748773 | 19066 109325 372686 | 240572 223551 110 | 7.276 % |
883.84/884.32 c | 751026 | 19066 109325 372686 | 2147483647 225804 111 | 7.276 % |
888.43/888.93 c | 753506 | 19066 109325 372686 | 2147483647 228284 112 | 7.276 % |
892.13/892.64 c | 756231 | 19066 109325 372686 | 2147483647 231009 111 | 7.276 % |
897.23/897.76 c | 759228 | 19066 109325 372686 | 2147483647 234006 112 | 7.276 % |
903.53/904.07 c | 762525 | 19066 109325 372686 | 2147483647 237303 113 | 7.276 % |
909.63/910.13 c | 766150 | 19066 109325 372686 | 2147483647 240928 113 | 7.276 % |
916.72/917.23 c | 770137 | 19066 109325 372686 | 2147483647 244915 114 | 7.276 % |
922.33/922.85 c | 774522 | 19066 109325 372686 | 2147483647 249300 114 | 7.276 % |
931.52/932.01 c | 779345 | 19066 109325 372686 | 2147483647 254123 115 | 7.276 % |
942.42/942.98 c | 784650 | 19066 109325 372686 | 2147483647 259428 118 | 7.276 % |
951.91/952.42 c | 790485 | 19066 109325 372686 | 264779 265263 118 | 7.276 % |
962.90/963.48 c | 796903 | 19066 109325 372686 | 264779 228335 114 | 7.276 % |
977.80/978.39 c | 803962 | 19066 109325 372686 | 231433 235394 117 | 7.276 % |
978.30/978.89 c | 804062 | 19066 109325 372686 | 231433 211955 112 | 7.276 % |
978.50/979.01 c | 804175 | 19066 109325 372686 | 231433 212068 112 | 7.276 % |
978.60/979.15 c | 804299 | 19066 109325 372686 | 231433 212192 112 | 7.276 % |
978.70/979.25 c | 804433 | 19066 109325 372686 | 231433 212326 112 | 7.276 % |
978.90/979.41 c | 804580 | 19066 109325 372686 | 231433 212473 111 | 7.276 % |
979.10/979.67 c | 804740 | 19066 109325 372686 | 231433 212633 111 | 7.276 % |
979.40/979.92 c | 804918 | 19066 109325 372686 | 231433 212811 111 | 7.276 % |
979.70/980.20 c | 805111 | 19066 109325 372686 | 231433 213004 111 | 7.276 % |
979.90/980.41 c | 805323 | 19066 109325 372686 | 231433 213216 111 | 7.276 % |
980.10/980.65 c | 805558 | 19066 109325 372686 | 231433 213451 111 | 7.276 % |
980.30/980.83 c | 805814 | 19066 109325 372686 | 231433 213707 111 | 7.276 % |
980.70/981.25 c | 806095 | 19066 109325 372686 | 231433 213988 111 | 7.276 % |
981.09/981.67 c | 806404 | 19066 109325 372686 | 231433 214297 111 | 7.276 % |
981.59/982.11 c | 806746 | 19066 109325 372686 | 231433 214639 111 | 7.276 % |
981.89/982.43 c | 807118 | 19066 109325 372686 | 231433 215011 111 | 7.276 % |
982.29/982.89 c | 807528 | 19066 109325 372686 | 231433 215421 111 | 7.276 % |
982.80/983.33 c | 807979 | 19066 109325 372686 | 231433 215872 111 | 7.276 % |
983.49/984.08 c | 808472 | 19066 109325 372686 | 231433 216365 111 | 7.276 % |
984.19/984.78 c | 809014 | 19066 109325 372686 | 231433 216907 111 | 7.276 % |
985.10/985.61 c | 809613 | 19066 109325 372686 | 231433 217506 111 | 7.276 % |
985.99/986.56 c | 810270 | 19066 109325 372686 | 2147483647 218163 111 | 7.276 % |
987.20/987.71 c | 810991 | 19066 109325 372686 | 2147483647 218884 111 | 7.276 % |
988.69/989.27 c | 811785 | 19066 109325 372686 | 2147483647 219678 111 | 7.276 % |
989.79/990.37 c | 812657 | 19066 109325 372686 | 2147483647 220550 111 | 7.276 % |
991.19/991.75 c | 813616 | 19066 109325 372686 | 2147483647 221509 111 | 7.276 % |
992.99/993.54 c | 814669 | 19066 109325 372686 | 2147483647 222562 111 | 7.276 % |
994.29/994.88 c | 815827 | 19066 109325 372686 | 2147483647 223720 111 | 7.276 % |
995.69/996.27 c | 817100 | 19066 109325 372686 | 2147483647 224993 110 | 7.276 % |
998.78/999.37 c | 818501 | 19066 109325 372686 | 2147483647 226394 111 | 7.276 % |
1001.28/1001.81 c | 820043 | 19066 109325 372686 | 2147483647 227936 111 | 7.276 % |
1003.88/1004.50 c | 821738 | 19066 109325 372686 | 2147483647 229631 111 | 7.276 % |
1006.18/1006.77 c | 823601 | 19066 109325 372686 | 2147483647 231494 111 | 7.276 % |
1009.18/1009.74 c | 825650 | 19066 109325 372686 | 2147483647 233543 112 | 7.276 % |
1011.98/1012.58 c | 827903 | 19066 109325 372686 | 2147483647 235796 112 | 7.276 % |
1015.08/1015.63 c | 830384 | 19066 109325 372686 | 2147483647 238277 112 | 7.276 % |
1018.98/1019.59 c | 833110 | 19066 109325 372686 | 2147483647 241003 112 | 7.276 % |
1023.98/1024.56 c | 836108 | 19066 109325 372686 | 2147483647 244001 113 | 7.276 % |
1028.17/1028.77 c | 839404 | 19066 109325 372686 | 2147483647 247297 113 | 7.276 % |
1033.77/1034.35 c | 843029 | 19066 109325 372686 | 2147483647 250922 113 | 7.276 % |
1040.27/1040.84 c | 847016 | 19066 109325 372686 | 2147483647 254909 114 | 7.276 % |
1047.77/1048.37 c | 851401 | 19066 109325 372686 | 257893 259294 115 | 7.276 % |
1056.66/1057.23 c | 856226 | 19066 109325 372686 | 257893 231309 105 | 7.276 % |
1061.16/1061.74 c | 861532 | 19066 109325 372686 | 2147483647 236615 104 | 7.276 % |
1069.86/1070.49 c | 867368 | 19066 109325 372686 | 2147483647 242451 106 | 7.276 % |
1085.55/1086.13 c | 873786 | 19066 109325 372686 | 245084 248869 110 | 7.276 % |
1098.05/1098.69 c | 880845 | 19066 109325 372686 | 2147483647 231042 109 | 7.276 % |
1111.85/1112.44 c | 888610 | 19066 109325 372686 | 2147483647 238807 111 | 7.276 % |
1112.05/1112.61 c | 888711 | 19066 109325 372686 | 2147483647 238908 111 | 7.276 % |
1112.15/1112.74 c | 888821 | 19066 109325 372686 | 2147483647 239018 111 | 7.276 % |
1112.25/1112.89 c | 888943 | 19066 109325 372686 | 2147483647 239140 111 | 7.276 % |
1112.55/1113.14 c | 889076 | 19066 109325 372686 | 2147483647 239273 111 | 7.276 % |
1112.75/1113.36 c | 889223 | 19066 109325 372686 | 2147483647 239420 111 | 7.276 % |
1112.95/1113.56 c | 889383 | 19066 109325 372686 | 2147483647 239580 111 | 7.276 % |
1113.05/1113.70 c | 889559 | 19066 109325 372686 | 2147483647 239756 110 | 7.276 % |
1113.25/1113.87 c | 889752 | 19066 109325 372686 | 2147483647 239949 110 | 7.276 % |
1113.65/1114.22 c | 889964 | 19066 109325 372686 | 2147483647 240161 110 | 7.276 % |
1113.85/1114.47 c | 890197 | 19066 109325 372686 | 2147483647 240394 110 | 7.276 % |
1114.25/1114.82 c | 890454 | 19066 109325 372686 | 2147483647 240651 110 | 7.276 % |
1114.55/1115.19 c | 890739 | 19066 109325 372686 | 2147483647 240936 110 | 7.276 % |
1115.15/1115.73 c | 891049 | 19066 109325 372686 | 2147483647 241246 110 | 7.276 % |
1115.75/1116.33 c | 891388 | 19066 109325 372686 | 2147483647 241585 110 | 7.276 % |
1116.25/1116.86 c | 891761 | 19066 109325 372686 | 2147483647 241958 110 | 7.276 % |
1116.85/1117.48 c | 892174 | 19066 109325 372686 | 2147483647 242371 110 | 7.276 % |
1117.75/1118.32 c | 892623 | 19066 109325 372686 | 2147483647 242820 110 | 7.276 % |
1118.55/1119.16 c | 893116 | 19066 109325 372686 | 2147483647 243313 110 | 7.276 % |
1119.45/1120.02 c | 893658 | 19066 109325 372686 | 2147483647 243855 110 | 7.276 % |
1120.55/1121.12 c | 894254 | 19066 109325 372686 | 2147483647 244451 110 | 7.276 % |
1121.55/1122.15 c | 894909 | 19066 109325 372686 | 2147483647 245106 110 | 7.276 % |
1122.65/1123.24 c | 895630 | 19066 109325 372686 | 2147483647 245827 110 | 7.276 % |
1124.25/1124.81 c | 896422 | 19066 109325 372686 | 2147483647 246619 111 | 7.276 % |
1125.25/1125.89 c | 897295 | 19066 109325 372686 | 2147483647 247492 110 | 7.276 % |
1126.85/1127.46 c | 898254 | 19066 109325 372686 | 2147483647 248451 111 | 7.276 % |
1128.05/1128.61 c | 899307 | 19066 109325 372686 | 2147483647 249504 110 | 7.276 % |
1130.65/1131.28 c | 900465 | 19066 109325 372686 | 250199 250662 111 | 7.276 % |
1132.64/1133.28 c | 901738 | 19066 109325 372686 | 250199 251935 111 | 7.276 % |
1135.34/1135.95 c | 903141 | 19066 109325 372686 | 250199 226659 106 | 7.276 % |
1137.54/1138.18 c | 904681 | 19066 109325 372686 | 250199 228199 107 | 7.276 % |
1140.44/1141.08 c | 906375 | 19066 109325 372686 | 250199 229893 107 | 7.276 % |
1142.74/1143.38 c | 908238 | 19066 109325 372686 | 250199 231756 107 | 7.276 % |
1145.84/1146.46 c | 910290 | 19066 109325 372686 | 233518 233808 108 | 7.276 % |
1149.04/1149.69 c | 912544 | 19066 109325 372686 | 233518 236062 108 | 7.276 % |
1153.93/1154.57 c | 915024 | 19066 109325 372686 | 233518 213456 104 | 7.276 % |
1157.74/1158.36 c | 917749 | 19066 109325 372686 | 233518 216181 104 | 7.276 % |
1161.93/1162.55 c | 920747 | 19066 109325 372686 | 2147483647 219179 105 | 7.276 % |
1167.23/1167.84 c | 924045 | 19066 109325 372686 | 2147483647 222477 106 | 7.276 % |
1172.23/1172.88 c | 927672 | 19066 109325 372686 | 2147483647 226104 107 | 7.276 % |
1177.82/1178.44 c | 931661 | 19066 109325 372686 | 228432 230093 108 | 7.276 % |
1184.52/1185.16 c | 936048 | 19066 109325 372686 | 228432 204081 104 | 7.276 % |
1190.62/1191.22 c | 940871 | 19066 109325 372686 | 2147483647 208904 104 | 7.276 % |
1198.21/1198.80 c | 946176 | 19066 109325 372686 | 2147483647 214209 106 | 7.276 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832401-1242772797/watcher-1832401-1242772797 -o /tmp/evaluation-result-1832401-1242772797/solver-1832401-1242772797 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832401-1242772797.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.97 3/65 18929
/proc/meminfo: memFree=1850128/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 276 0 0 0 0 0 0 0 19 0 1 0 305309708 5484544 235 1992294400 4194304 4889804 548682068832 18446744073709551615 234046062674 0 0 4100 65536 18446744071563648864 0 0 17 0 0 0
/proc/18929/statm: 1339 235 195 169 0 50 0
[pid=18930] ppid=18929 vsize=0 CPUtime=0
/proc/18930/stat : 18930 (SatELiteGTI) R 18929 18929 18627 0 -1 4194372 61 188 0 0 0 0 0 0 21 0 1 0 305309709 0 0 1992294400 0 0 0 0 0 0 0 4096 65538 0 0 0 17 0 0 0
/proc/18930/statm: -- couldn't open statm file --
[startup+0.0785411 s]
/proc/loadavg: 0.92 0.98 0.97 3/65 18929
/proc/meminfo: memFree=1850128/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305309708 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18929/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.101543 s]
/proc/loadavg: 0.92 0.98 0.97 3/65 18929
/proc/meminfo: memFree=1850128/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305309708 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18929/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.301563 s]
/proc/loadavg: 0.92 0.98 0.97 3/65 18929
/proc/meminfo: memFree=1850128/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305309708 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18929/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.701605 s]
/proc/loadavg: 0.92 0.98 0.97 3/65 18929
/proc/meminfo: memFree=1850128/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 310 249 0 0 0 0 0 0 19 0 1 0 305309708 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/18929/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50168 s]
/proc/loadavg: 0.92 0.98 0.97 2/67 18935
/proc/meminfo: memFree=1840448/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=9684 CPUtime=0.52
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 2209 0 0 0 51 1 0 0 22 0 1 0 305309805 9916416 2195 1992294400 134512640 135215339 4294956240 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 2421 2195 77 171 0 2248 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 15040
[startup+3.10185 s]
/proc/loadavg: 0.92 0.98 0.97 2/67 18935
/proc/meminfo: memFree=1835776/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=10740 CPUtime=2.12
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 2460 0 0 0 210 2 0 0 25 0 1 0 305309805 10997760 2446 1992294400 134512640 135215339 4294956240 18446744073709551615 134527218 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 2685 2446 77 171 0 2512 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16096
[startup+6.30118 s]
/proc/loadavg: 1.09 1.02 0.98 2/67 18935
/proc/meminfo: memFree=1833920/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=12700 CPUtime=5.31
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 2967 0 0 0 528 3 0 0 25 0 1 0 305309805 13004800 2953 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 3175 2953 77 171 0 3002 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18056
[startup+12.7028 s]
/proc/loadavg: 1.08 1.02 0.98 2/67 18935
/proc/meminfo: memFree=1831368/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=15064 CPUtime=11.71
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 3532 0 0 0 1167 4 0 0 25 0 1 0 305309805 15425536 3518 1992294400 134512640 135215339 4294956240 18446744073709551615 134538563 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 3766 3518 77 171 0 3593 0
Current children cumulated CPU time (s) 12.66
Current children cumulated vsize (KiB) 20420
[startup+25.5012 s]
/proc/loadavg: 1.06 1.01 0.98 2/67 18935
/proc/meminfo: memFree=1825672/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=20668 CPUtime=24.5
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 4916 0 0 0 2445 5 0 0 25 0 1 0 305309805 21164032 4902 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 5167 4902 77 171 0 4994 0
Current children cumulated CPU time (s) 25.45
Current children cumulated vsize (KiB) 26024
[startup+51.1019 s]
/proc/loadavg: 1.04 1.01 0.98 2/67 18935
/proc/meminfo: memFree=1814088/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=32288 CPUtime=50.08
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 7844 0 0 0 5000 8 0 0 25 0 1 0 305309805 33062912 7830 1992294400 134512640 135215339 4294956240 18446744073709551615 134528592 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 8072 7830 77 171 0 7899 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 37644
[startup+102.305 s]
/proc/loadavg: 1.02 1.01 0.98 2/67 18935
/proc/meminfo: memFree=1790408/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=55532 CPUtime=101.23
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 13651 0 0 0 10109 14 0 0 25 0 1 0 305309805 56864768 13637 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 13883 13637 77 171 0 13710 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 60888
[startup+162.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18935
/proc/meminfo: memFree=1767304/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=78780 CPUtime=161.21
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 19409 0 0 0 16101 20 0 0 25 0 1 0 305309805 80670720 19395 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 19695 19395 77 171 0 19522 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 84136
[startup+222.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1752072/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=93568 CPUtime=221.18
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 23125 0 0 0 22095 23 0 0 25 0 1 0 305309805 95813632 23111 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 23392 23111 77 171 0 23219 0
Current children cumulated CPU time (s) 222.13
Current children cumulated vsize (KiB) 98924
[startup+282.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1743368/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=102148 CPUtime=281.14
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 25294 0 0 0 28088 26 0 0 25 0 1 0 305309805 104599552 25280 1992294400 134512640 135215339 4294956240 18446744073709551615 134528806 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 25537 25280 77 171 0 25364 0
Current children cumulated CPU time (s) 282.09
Current children cumulated vsize (KiB) 107504
[startup+342.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1742088/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=103336 CPUtime=341.11
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 25584 0 0 0 34085 26 0 0 25 0 1 0 305309805 105816064 25570 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 25834 25570 77 171 0 25661 0
Current children cumulated CPU time (s) 342.06
Current children cumulated vsize (KiB) 108692
[startup+402.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1739784/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=105980 CPUtime=401.09
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 26232 0 0 0 40082 27 0 0 25 0 1 0 305309805 108523520 26218 1992294400 134512640 135215339 4294956240 18446744073709551615 134528624 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 26495 26218 77 171 0 26322 0
Current children cumulated CPU time (s) 402.04
Current children cumulated vsize (KiB) 111336
################
# More data... #
################
/proc/18935/statm: 31082 30830 77 171 0 30909 0
Current children cumulated CPU time (s) 521.98
Current children cumulated vsize (KiB) 129684
[startup+582.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1710280/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=134760 CPUtime=581
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 33459 0 0 0 58064 36 0 0 25 0 1 0 305309805 137994240 33445 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 33690 33445 77 171 0 33517 0
Current children cumulated CPU time (s) 581.95
Current children cumulated vsize (KiB) 140116
[startup+642.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1708616/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=136476 CPUtime=640.99
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 33858 0 0 0 64062 37 0 0 25 0 1 0 305309805 139751424 33844 1992294400 134512640 135215339 4294956240 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 34119 33844 77 171 0 33946 0
Current children cumulated CPU time (s) 641.94
Current children cumulated vsize (KiB) 141832
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1708424/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=136476 CPUtime=700.96
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 33858 0 0 0 70059 37 0 0 25 0 1 0 305309805 139751424 33844 1992294400 134512640 135215339 4294956240 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 34119 33844 77 171 0 33946 0
Current children cumulated CPU time (s) 701.91
Current children cumulated vsize (KiB) 141832
[startup+762.305 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1697672/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=147040 CPUtime=760.94
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 36507 0 0 0 76054 40 0 0 25 0 1 0 305309805 150568960 36493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528721 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 36760 36493 77 171 0 36587 0
Current children cumulated CPU time (s) 761.89
Current children cumulated vsize (KiB) 152396
[startup+822.301 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1697544/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=147040 CPUtime=820.91
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 36507 0 0 0 82051 40 0 0 25 0 1 0 305309805 150568960 36493 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 36760 36493 77 171 0 36587 0
Current children cumulated CPU time (s) 821.86
Current children cumulated vsize (KiB) 152396
[startup+882.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1696584/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=147964 CPUtime=880.89
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 36732 0 0 0 88048 41 0 0 25 0 1 0 305309805 151515136 36718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 36991 36718 77 171 0 36818 0
Current children cumulated CPU time (s) 881.84
Current children cumulated vsize (KiB) 153320
[startup+942.302 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1696456/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=147964 CPUtime=940.87
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 36732 0 0 0 94046 41 0 0 25 0 1 0 305309805 151515136 36718 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 36991 36718 77 171 0 36818 0
Current children cumulated CPU time (s) 941.82
Current children cumulated vsize (KiB) 153320
[startup+1002.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1694984/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=149416 CPUtime=1000.83
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 37103 0 0 0 100042 41 0 0 25 0 1 0 305309805 153001984 37089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 37354 37089 77 171 0 37181 0
Current children cumulated CPU time (s) 1001.78
Current children cumulated vsize (KiB) 154772
[startup+1062.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1694920/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=149416 CPUtime=1060.81
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 37103 0 0 0 106040 41 0 0 25 0 1 0 305309805 153001984 37089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 37354 37089 77 171 0 37181 0
Current children cumulated CPU time (s) 1061.76
Current children cumulated vsize (KiB) 154772
[startup+1122.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1694856/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=149416 CPUtime=1120.8
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 37103 0 0 0 112038 42 0 0 25 0 1 0 305309805 153001984 37089 1992294400 134512640 135215339 4294956240 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 37354 37089 77 171 0 37181 0
Current children cumulated CPU time (s) 1121.75
Current children cumulated vsize (KiB) 154772
[startup+1182.3 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1694664/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=149416 CPUtime=1180.77
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 37103 0 0 0 118035 42 0 0 25 0 1 0 305309805 153001984 37089 1992294400 134512640 135215339 4294956240 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 37354 37089 77 171 0 37181 0
Current children cumulated CPU time (s) 1181.72
Current children cumulated vsize (KiB) 154772
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.6 s]
/proc/loadavg: 1.00 1.00 0.98 2/67 18937
/proc/meminfo: memFree=1694600/2055920 swapFree=4178328/4192956
[pid=18929] ppid=18927 vsize=5356 CPUtime=0.95
/proc/18929/stat : 18929 (SatELiteGTI) S 18927 18929 18627 0 -1 4194304 336 8337 0 0 0 0 90 5 16 0 1 0 305309708 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 234045891396 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/18929/statm: 1339 239 197 169 0 50 0
[pid=18935] ppid=18929 vsize=149416 CPUtime=1199.07
/proc/18935/stat : 18935 (minisat_static) R 18929 18929 18627 0 -1 4194304 37103 0 0 0 119865 42 0 0 25 0 1 0 305309805 153001984 37089 1992294400 134512640 135215339 4294956240 18446744073709551615 134539005 0 0 4096 3 0 0 0 17 0 0 0
/proc/18935/statm: 37354 37089 77 171 0 37181 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 154772
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 18929 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=905862
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=58991
# CPU time returned by wait4() is 0.964853
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.61
CPU time (s): 1200.02
CPU user time (s): 1199.55
CPU system time (s): 0.47
CPU usage (%): 99.9506
Max. virtual memory (cumulated for all children) (KiB): 154772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.905862
system time used= 0.058991
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8673
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= 13
involuntary context switches= 18
runsolver used 1.07584 second user time and 3.39348 second system time
The end
Begin job on node79 at 2009-05-20 00:39:57
IDJOB=1832401
IDBENCH=69574
IDSOLVER=671
FILE ID=node79/1832401-1242772797
PBS_JOBID= 9322224
Free space on /tmp= 66336 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832401-1242772797/watcher-1832401-1242772797 -o /tmp/evaluation-result-1832401-1242772797/solver-1832401-1242772797 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832401-1242772797.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= 7e900a3d5c709e5167c14f906d6ebd88
RANDOM SEED=1380999026
node79.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.220
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5996.54
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1850672 kB
Buffers: 14148 kB
Cached: 152788 kB
SwapCached: 9184 kB
Active: 73604 kB
Inactive: 104560 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1850672 kB
SwapTotal: 4192956 kB
SwapFree: 4178328 kB
Dirty: 5704 kB
Writeback: 0 kB
Mapped: 15468 kB
Slab: 13080 kB
Committed_AS: 1028968 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66332 MiB
End job on node79 at 2009-05-20 01:00:00