| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.02 | 1300.01 |
| Name | application/fuhs/slp-synthesis-AES/ slp-synthesis-aes-top22.cnf |
| MD5SUM | e822739302a2d834ec9ddfe9fbd0caa2 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 55875 |
| Number of clauses | 177646 |
| Sum of the clauses size | 434144 |
| Maximum clause length | 2255 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 108197 |
| Number of clauses of size 3 | 68250 |
| Number of clauses of size 4 | 252 |
| Number of clauses of size 5 | 20 |
| Number of clauses of size over 5 | 926 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.07 c ============================================================================== 0.00/0.07 c | | ORIGINAL | LEARNT | | 0.00/0.07 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.07 c ============================================================================== 0.00/0.07 c | 0 | 166893 407954 | 50067 0 0 nan | 0.000 % | 0.00/0.57 c | 0 | 104196 351417 | -- 0 -- -- | -- | -62697/-56537 0.00/0.57 c ============================================================================== 0.00/0.57 c Result : #vars: 20430 #clauses: 104196 #literals: 351417 0.00/0.57 c CPU time: 0.551916 s 0.00/0.57 c ============================================================================== 0.00/0.64 c 0.00/0.64 c Starting glucose 0.00/0.64 c 3.68/3.71 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 3.68/3.71 c WARNING: for repeatability, setting FPU to use double precision 3.68/3.71 c ============================[ Problem Statistics ]============================= 3.68/3.71 c | | 3.68/3.71 c | Number of variables: 20430 | 3.68/3.71 c | Number of clauses: 104196 | 3.68/3.71 c | Parse time: 0.02 s | 3.68/3.71 c | | 3.68/3.71 c ============================[ Search Statistics ]============================== 3.68/3.71 c | Conflicts | ORIGINAL | LEARNT | Progress | 3.68/3.71 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 3.68/3.71 c =============================================================================== 3.68/3.71 c | 420 | 20428 104196 351417 | 1 419 21 | 0.010 % | 3.68/3.71 c | 752 | 20428 104196 351417 | 1 751 25 | 0.010 % | 3.68/3.71 c | 997 | 20428 104190 351382 | 1 996 23 | 0.010 % | 3.68/3.71 c | 1813 | 20428 104190 351382 | 1 1812 24 | 0.010 % | 3.68/3.71 c | 7076 | 20428 104190 351382 | 1 5089 22 | 0.010 % | 3.68/3.71 c | 7176 | 20428 104190 351382 | 1 5189 23 | 0.010 % | 3.68/3.71 c | 7452 | 20428 104190 351382 | 1 5465 23 | 0.010 % | 3.68/3.71 c | 7779 | 20428 104190 351382 | 1 5792 22 | 0.010 % | 3.68/3.71 c | 12648 | 20424 104139 351204 | 1 6370 23 | 0.029 % | 3.68/3.71 c | 14947 | 20424 104139 351204 | 1 8669 26 | 0.029 % | 3.68/3.71 c | 15050 | 20424 104139 351204 | 1 8772 26 | 0.029 % | 3.68/3.71 c | 15150 | 20424 104139 351204 | 1 8872 26 | 0.029 % | 3.68/3.71 c | 17431 | 20423 104139 351204 | 1 11152 26 | 0.034 % | 3.68/3.71 c | 18141 | 20423 104139 351204 | 1 11862 26 | 0.034 % | 3.68/3.71 c | 18389 | 20423 104139 351204 | 1 12110 26 | 0.034 % | 3.68/3.71 c | 25449 | 20423 104139 351204 | 1 12421 30 | 0.034 % | 3.68/3.71 c | 25775 | 20423 104139 351204 | 1 12747 30 | 0.034 % | 3.68/3.71 c | 25877 | 20423 104139 351204 | 1 12849 30 | 0.034 % | 3.68/3.71 c | 26010 | 20423 104139 351204 | 1 12982 31 | 0.034 % | 3.68/3.71 c | 26226 | 20423 104139 351204 | 1 13198 30 | 0.034 % | 3.68/3.71 c | 26481 | 20423 104139 351204 | 1 13453 31 | 0.034 % | 3.68/3.71 c | 27041 | 20423 104139 351204 | 1 14013 30 | 0.034 % | 3.68/3.71 c | 27272 | 20423 104139 351204 | 1 14244 31 | 0.034 % | 3.68/3.71 c | 27748 | 20423 104139 351204 | 1 14720 31 | 0.034 % | 3.68/3.71 c | 27850 | 20423 104139 351204 | 1 14822 31 | 0.034 % | 3.68/3.71 c | 28085 | 20423 104139 351204 | 1 15057 31 | 0.034 % | 3.68/3.71 c | 29139 | 20423 104139 351204 | 1 16111 31 | 0.034 % | 3.68/3.71 c | 29438 | 20423 104139 351204 | 1 16410 31 | 0.034 % | 3.68/3.71 c | 29538 | 20423 104139 351204 | 1 16510 31 | 0.034 % | 3.68/3.71 c | 30117 | 20423 104139 351204 | 1 17089 31 | 0.034 % | 3.68/3.71 c | 30532 | 20423 104139 351204 | 1 17504 31 | 0.034 % | 3.68/3.71 c | 30689 | 20423 104139 351204 | 1 17661 31 | 0.034 % | 3.68/3.71 c | 32544 | 20419 104088 351026 | 1 10240 19 | 0.054 % | 3.68/3.71 c | 32798 | 20419 104088 351026 | 1 10494 19 | 0.054 % | 3.68/3.71 c | 34766 | 20419 104088 351026 | 1 12462 22 | 0.054 % | 3.68/3.71 c | 34866 | 20419 104088 351026 | 1 12562 22 | 0.054 % | 3.68/3.71 c | 35134 | 20419 104088 351026 | 1 12830 22 | 0.054 % | 3.68/3.71 c | 35547 | 20419 104088 351026 | 1 13243 22 | 0.054 % | 3.68/3.71 c | 35685 | 20419 104088 351026 | 1 13381 23 | 0.054 % | 7.87/7.99 c | 36600 | 20419 104088 351026 | 1 14296 23 | 0.054 % | 7.87/7.99 c | 36845 | 20419 104088 351026 | 1 14541 24 | 0.054 % | 7.87/7.99 c | 37296 | 20419 104088 351026 | 1 14992 24 | 0.054 % | 7.87/7.99 c | 37764 | 20419 104088 351026 | 1 15460 24 | 0.054 % | 7.87/7.99 c | 37906 | 20419 104088 351026 | 1 15602 25 | 0.054 % | 7.87/7.99 c | 39944 | 20419 104088 351026 | 1 17640 27 | 0.054 % | 7.87/7.99 c | 41158 | 20419 104088 351026 | 1 18854 27 | 0.054 % | 7.87/7.99 c | 42500 | 20419 104088 351026 | 1 20196 28 | 0.054 % | 7.87/7.99 c | 45334 | 20419 104088 351026 | 1 23030 27 | 0.054 % | 7.87/7.99 c | 47710 | 20419 104088 351026 | 1 13577 18 | 0.054 % | 7.87/7.99 c | 48237 | 20419 104088 351026 | 1 14104 19 | 0.054 % | 7.87/7.99 c | 48451 | 20419 104088 351026 | 1 14318 19 | 0.054 % | 7.87/7.99 c | 48557 | 20419 104088 351026 | 1 14424 19 | 0.054 % | 7.87/7.99 c | 48744 | 20419 104088 351026 | 1 14611 19 | 0.054 % | 7.87/7.99 c | 49371 | 20419 104088 351026 | 1 15238 20 | 0.054 % | 7.87/7.99 c | 49796 | 20419 104088 351026 | 1 15663 20 | 0.054 % | 7.87/7.99 c | 49906 | 20419 104088 351026 | 1 15773 21 | 0.054 % | 7.87/7.99 c | 50008 | 20419 104088 351026 | 1 15875 21 | 0.054 % | 7.87/7.99 c | 50108 | 20419 104088 351026 | 1 15975 21 | 0.054 % | 7.87/7.99 c | 50680 | 20419 104088 351026 | 1 16547 22 | 0.054 % | 7.87/7.99 c | 52582 | 20419 104088 351026 | 1 18449 23 | 0.054 % | 7.87/7.99 c | 55677 | 20419 104088 351026 | 1 21544 25 | 0.054 % | 7.87/7.99 c | 55844 | 20419 104088 351026 | 1 21711 25 | 0.054 % | 7.87/7.99 c | 57614 | 20419 104088 351026 | 1 23481 26 | 0.054 % | 7.87/7.99 c | 58034 | 20419 104088 351026 | 1 23901 26 | 0.054 % | 7.87/7.99 c | 59009 | 20419 104088 351026 | 1 24876 27 | 0.054 % | 7.87/7.99 c | 59894 | 20419 104088 351026 | 1 25761 27 | 0.054 % | 7.87/7.99 c | 60391 | 20419 104088 351026 | 1 26258 27 | 0.054 % | 7.87/7.99 c | 60501 | 20419 104088 351026 | 1 26368 27 | 0.054 % | 7.87/7.99 c | 60603 | 20419 104088 351026 | 1 26470 27 | 0.054 % | 7.87/7.99 c | 62966 | 20419 104088 351026 | 1 28833 29 | 0.054 % | 7.87/7.99 c | 63118 | 20419 104088 351026 | 1 14564 15 | 0.054 % | 7.87/7.99 c | 65129 | 20419 104088 351026 | 1 16575 18 | 0.054 % | 7.87/7.99 c | 65231 | 20419 104088 351026 | 1 16677 18 | 0.054 % | 7.87/7.99 c | 67633 | 20419 104088 351026 | 1 19079 21 | 0.054 % | 7.87/7.99 c | 68751 | 20419 104088 351026 | 1 20197 22 | 0.054 % | 7.87/7.99 c | 68964 | 20419 104088 351026 | 1 20410 22 | 0.054 % | 7.87/7.99 c | 75861 | 20419 104088 351026 | 1 27307 26 | 0.054 % | 7.87/7.99 c | 76586 | 20419 104088 351026 | 1 28032 26 | 0.054 % | 7.87/7.99 c | 76687 | 20419 104088 351026 | 1 28133 26 | 0.054 % | 7.87/7.99 c | 76787 | 20419 104088 351026 | 1 28233 27 | 0.054 % | 7.87/7.99 c | 76887 | 20419 104088 351026 | 1 28333 27 | 0.054 % | 7.87/7.99 c | 76987 | 20419 104088 351026 | 1 28433 27 | 0.054 % | 7.87/7.99 c | 77344 | 20419 104088 351026 | 1 28790 27 | 0.054 % | 7.87/7.99 c | 77807 | 20419 104088 351026 | 1 29253 27 | 0.054 % | 7.87/7.99 c | 78412 | 20419 104088 351026 | 1 29858 27 | 0.054 % | 7.87/7.99 c | 78597 | 20419 104088 351026 | 1 30043 27 | 0.054 % | 7.87/7.99 c | 78719 | 20419 104088 351026 | 1 30165 27 | 0.054 % | 7.87/7.99 c | 78837 | 20419 104088 351026 | 1 30283 27 | 0.054 % | 7.87/7.99 c | 78980 | 20419 104088 351026 | 1 30426 27 | 0.054 % | 18.68/18.79 c | 80824 | 20419 104088 351026 | 1 32270 28 | 0.054 % | 18.68/18.79 c | 85894 | 20419 104088 351026 | 1 20338 21 | 0.054 % | 18.68/18.79 c | 86366 | 20419 104088 351026 | 1 20810 21 | 0.054 % | 18.68/18.79 c | 86870 | 20419 104088 351026 | 1 21314 22 | 0.054 % | 18.68/18.79 c | 86970 | 20419 104088 351026 | 1 21414 22 | 0.054 % | 18.68/18.79 c | 87418 | 20419 104088 351026 | 1 21862 22 | 0.054 % | 18.68/18.79 c | 93966 | 20419 104088 351026 | 1 28410 27 | 0.054 % | 18.68/18.79 c | 94339 | 20419 104088 351026 | 1 28783 27 | 0.054 % | 18.68/18.79 c | 103301 | 20419 104088 351026 | 1 37745 29 | 0.054 % | 18.68/18.79 c | 103402 | 20419 104088 351026 | 1 37846 30 | 0.054 % | 18.68/18.79 c | 112859 | 20419 104088 351026 | 1 27690 23 | 0.054 % | 18.68/18.79 c | 119812 | 20419 104088 351026 | 1 34643 27 | 0.054 % | 18.68/18.79 c | 119913 | 20419 104088 351026 | 1 34744 27 | 0.054 % | 18.68/18.79 c | 125206 | 20419 104088 351026 | 1 40037 28 | 0.054 % | 18.68/18.79 c | 128915 | 20419 104088 351026 | 1 43746 29 | 0.054 % | 18.68/18.79 c | 150089 | 20419 104088 351026 | 1 42730 27 | 0.054 % | 18.68/18.79 c | 150729 | 20419 104088 351026 | 1 43370 27 | 0.054 % | 18.68/18.79 c | 150829 | 20419 104088 351026 | 1 43470 27 | 0.054 % | 18.68/18.79 c | 150929 | 20419 104088 351026 | 1 43570 27 | 0.054 % | 18.68/18.79 c | 151071 | 20419 104088 351026 | 1 43712 27 | 0.054 % | 18.68/18.79 c | 151198 | 20419 104088 351026 | 1 43839 27 | 0.054 % | 18.68/18.79 c | 152357 | 20419 104088 351026 | 1 44998 27 | 0.054 % | 18.68/18.79 c | 157321 | 20419 104088 351026 | 1 25161 15 | 0.054 % | 18.68/18.79 c | 157423 | 20419 104088 351026 | 1 25263 16 | 0.054 % | 18.68/18.79 c | 157524 | 20419 104088 351026 | 1 25364 16 | 0.054 % | 18.68/18.79 c | 160790 | 20419 104088 351026 | 1 28630 19 | 0.054 % | 18.68/18.79 c | 160929 | 20419 104088 351026 | 1 28769 19 | 0.054 % | 18.68/18.79 c | 161343 | 20419 104088 351026 | 1 29183 19 | 0.054 % | 18.68/18.79 c | 161905 | 20419 104088 351026 | 1 29745 20 | 0.054 % | 18.68/18.79 c | 162786 | 20419 104088 351026 | 1 30626 20 | 0.054 % | 18.68/18.79 c | 163026 | 20419 104088 351026 | 1 30866 20 | 0.054 % | 18.68/18.79 c | 163504 | 20419 104088 351026 | 1 31344 21 | 0.054 % | 18.68/18.79 c | 164611 | 20419 104088 351026 | 1 32451 21 | 0.054 % | 18.68/18.79 c | 164711 | 20419 104088 351026 | 1 32551 21 | 0.054 % | 18.68/18.79 c | 165209 | 20419 104088 351026 | 1 33049 22 | 0.054 % | 18.68/18.79 c | 165612 | 20419 104088 351026 | 1 33452 22 | 0.054 % | 18.68/18.79 c | 167441 | 20419 104088 351026 | 1 35281 24 | 0.054 % | 18.68/18.79 c | 167745 | 20419 104088 351026 | 1 35585 24 | 0.054 % | 18.68/18.79 c | 167928 | 20419 104088 351026 | 1 35768 24 | 0.054 % | 18.68/18.79 c | 168047 | 20419 104088 351026 | 1 35887 24 | 0.054 % | 18.68/18.79 c | 168589 | 20419 104088 351026 | 1 36429 24 | 0.054 % | 18.68/18.79 c | 168690 | 20419 104088 351026 | 1 36530 24 | 0.054 % | 18.68/18.79 c | 171038 | 20419 104088 351026 | 1 38878 25 | 0.054 % | 18.68/18.79 c | 171151 | 20419 104088 351026 | 1 38991 25 | 0.054 % | 18.68/18.79 c | 174374 | 20419 104088 351026 | 1 42214 28 | 0.054 % | 18.68/18.79 c | 174918 | 20419 104088 351026 | 1 42758 28 | 0.054 % | 18.68/18.79 c | 175018 | 20419 104088 351026 | 1 42858 28 | 0.054 % | 18.68/18.79 c | 175177 | 20419 104088 351026 | 1 43017 28 | 0.054 % | 18.68/18.79 c | 175779 | 20419 104088 351026 | 1 43619 28 | 0.054 % | 18.68/18.79 c | 177769 | 20419 104088 351026 | 1 45609 28 | 0.054 % | 27.58/27.66 c | 177869 | 20419 104088 351026 | 1 45709 29 | 0.054 % | 27.58/27.66 c | 178108 | 20419 104088 351026 | 1 45948 29 | 0.054 % | 27.58/27.66 c | 178219 | 20419 104088 351026 | 1 46059 29 | 0.054 % | 27.58/27.66 c | 178321 | 20419 104088 351026 | 1 46161 29 | 0.054 % | 27.58/27.66 c | 178447 | 20419 104088 351026 | 1 46287 29 | 0.054 % | 27.58/27.66 c | 178711 | 20419 104088 351026 | 1 46551 29 | 0.054 % | 27.58/27.66 c | 180157 | 20419 104088 351026 | 1 47997 29 | 0.054 % | 27.58/27.66 c | 180878 | 20419 104088 351026 | 1 48718 29 | 0.054 % | 27.58/27.66 c | 181288 | 20419 104088 351026 | 1 49128 29 | 0.054 % | 27.58/27.66 c | 182552 | 20419 104088 351026 | 1 50392 30 | 0.054 % | 27.58/27.66 c | 182652 | 20419 104088 351026 | 1 50492 30 | 0.054 % | 27.58/27.66 c | 182820 | 20419 104088 351026 | 1 50660 30 | 0.054 % | 27.58/27.66 c | 182944 | 20419 104088 351026 | 1 50784 30 | 0.054 % | 27.58/27.66 c | 183044 | 20419 104088 351026 | 1 50884 30 | 0.054 % | 27.58/27.66 c | 183144 | 20419 104088 351026 | 1 50984 30 | 0.054 % | 27.58/27.66 c | 183447 | 20419 104088 351026 | 1 51287 30 | 0.054 % | 27.58/27.66 c | 183891 | 20419 104088 351026 | 1 51731 30 | 0.054 % | 27.58/27.66 c | 184101 | 20419 104088 351026 | 1 51941 30 | 0.054 % | 27.58/27.66 c | 184637 | 20419 104088 351026 | 1 52477 30 | 0.054 % | 27.58/27.66 c | 184819 | 20419 104088 351026 | 1 52659 30 | 0.054 % | 27.58/27.66 c | 189659 | 20419 104088 351026 | 1 30094 19 | 0.054 % | 27.58/27.66 c | 192363 | 20419 104088 351026 | 1 32798 21 | 0.054 % | 27.58/27.66 c | 193797 | 20419 104088 351026 | 1 34232 21 | 0.054 % | 27.58/27.66 c | 196207 | 20419 104088 351026 | 1 36642 23 | 0.054 % | 27.58/27.66 c | 196360 | 20419 104088 351026 | 1 36795 23 | 0.054 % | 27.58/27.66 c | 199698 | 20419 104088 351026 | 1 40133 24 | 0.054 % | 27.58/27.66 c | 201218 | 20419 104088 351026 | 1 41653 25 | 0.054 % | 27.58/27.66 c | 208146 | 20419 104088 351026 | 1 48581 29 | 0.054 % | 27.58/27.66 c | 209563 | 20419 104088 351026 | 1 49998 29 | 0.054 % | 27.58/27.66 c | 210079 | 20419 104088 351026 | 1 50514 29 | 0.054 % | 27.58/27.66 c | 210202 | 20419 104088 351026 | 1 50637 29 | 0.054 % | 27.58/27.66 c | 210302 | 20419 104088 351026 | 1 50737 29 | 0.054 % | 27.58/27.66 c | 210645 | 20419 104088 351026 | 1 51080 30 | 0.054 % | 27.58/27.66 c | 214730 | 20419 104088 351026 | 1 55165 29 | 0.054 % | 27.58/27.66 c | 214837 | 20419 104088 351026 | 1 55272 29 | 0.054 % | 27.58/27.66 c | 214937 | 20419 104088 351026 | 1 55372 29 | 0.054 % | 27.58/27.66 c | 215199 | 20419 104088 351026 | 1 55634 29 | 0.054 % | 27.58/27.66 c | 215488 | 20419 104088 351026 | 1 55923 30 | 0.054 % | 27.58/27.66 c | 220437 | 20419 104088 351026 | 1 30874 16 | 0.054 % | 27.58/27.66 c | 220583 | 20419 104088 351026 | 1 31020 16 | 0.054 % | 27.58/27.66 c | 225458 | 20419 104088 351026 | 1 35895 21 | 0.054 % | 27.58/27.66 c | 226379 | 20419 104088 351026 | 1 36816 21 | 0.054 % | 27.58/27.66 c | 227162 | 20419 104088 351026 | 1 37599 22 | 0.054 % | 27.58/27.66 c | 227820 | 20419 104088 351026 | 1 38257 22 | 0.054 % | 27.58/27.66 c | 247003 | 20419 104088 351026 | 1 57440 25 | 0.054 % | 27.58/27.66 c | 247111 | 20419 104088 351026 | 1 57548 25 | 0.054 % | 27.58/27.66 c | 252419 | 20419 104088 351026 | 1 62856 26 | 0.054 % | 27.58/27.66 c | 253350 | 20419 104088 351026 | 1 63787 27 | 0.054 % | 27.58/27.66 c | 253451 | 20419 104088 351026 | 1 63888 27 | 0.054 % | 27.58/27.66 c | 254719 | 20419 104088 351026 | 1 65156 27 | 0.054 % | 43.67/43.74 c | 255009 | 20419 104088 351026 | 1 32836 14 | 0.054 % | 43.67/43.74 c | 255156 | 20419 104088 351026 | 1 32983 14 | 0.054 % | 43.67/43.74 c | 256971 | 20419 104088 351026 | 1 34798 16 | 0.054 % | 43.67/43.74 c | 258306 | 20419 104088 351026 | 1 36133 17 | 0.054 % | 43.67/43.74 c | 260242 | 20419 104088 351026 | 1 38069 18 | 0.054 % | 43.67/43.74 c | 264833 | 20419 104088 351026 | 1 42660 21 | 0.054 % | 43.67/43.74 c | 275778 | 20419 104088 351026 | 1 53605 23 | 0.054 % | 43.67/43.74 c | 283331 | 20419 104088 351026 | 1 61158 25 | 0.054 % | 43.67/43.74 c | 288260 | 20419 104088 351026 | 1 66087 27 | 0.054 % | 43.67/43.74 c | 288479 | 20419 104088 351026 | 1 66306 27 | 0.054 % | 43.67/43.74 c | 288960 | 20419 104088 351026 | 1 66787 27 | 0.054 % | 43.67/43.74 c | 289282 | 20419 104088 351026 | 1 67109 27 | 0.054 % | 43.67/43.74 c | 297293 | 20419 104088 351026 | 1 39915 19 | 0.054 % | 43.67/43.74 c | 297632 | 20419 104088 351026 | 1 40254 19 | 0.054 % | 43.67/43.74 c | 299382 | 20419 104088 351026 | 1 42004 20 | 0.054 % | 43.67/43.74 c | 299665 | 20419 104088 351026 | 1 42287 20 | 0.054 % | 43.67/43.74 c | 299773 | 20419 104088 351026 | 1 42395 20 | 0.054 % | 43.67/43.74 c | 299982 | 20419 104088 351026 | 1 42604 20 | 0.054 % | 43.67/43.74 c | 300089 | 20419 104088 351026 | 1 42711 21 | 0.054 % | 43.67/43.74 c | 301605 | 20419 104088 351026 | 1 44227 21 | 0.054 % | 43.67/43.74 c | 302114 | 20419 104088 351026 | 1 44736 21 | 0.054 % | 43.67/43.74 c | 302424 | 20419 104088 351026 | 1 45046 21 | 0.054 % | 43.67/43.74 c | 302542 | 20419 104088 351026 | 1 45164 21 | 0.054 % | 43.67/43.74 c | 303305 | 20419 104088 351026 | 1 45927 22 | 0.054 % | 43.67/43.74 c | 305077 | 20419 104088 351026 | 1 47699 22 | 0.054 % | 43.67/43.74 c | 306584 | 20419 104088 351026 | 1 49206 24 | 0.054 % | 43.67/43.74 c | 307375 | 20419 104088 351026 | 1 49997 24 | 0.054 % | 43.67/43.74 c | 310124 | 20419 104088 351026 | 1 52746 25 | 0.054 % | 43.67/43.74 c | 314362 | 20419 104088 351026 | 1 56984 26 | 0.054 % | 43.67/43.74 c | 314826 | 20419 104088 351026 | 1 57448 26 | 0.054 % | 43.67/43.74 c | 316027 | 20419 104088 351026 | 1 58649 26 | 0.054 % | 43.67/43.74 c | 316248 | 20419 104088 351026 | 1 58870 26 | 0.054 % | 43.67/43.74 c | 317813 | 20419 104088 351026 | 1 60435 27 | 0.054 % | 43.67/43.74 c | 317915 | 20419 104088 351026 | 1 60537 27 | 0.054 % | 43.67/43.74 c | 318026 | 20419 104088 351026 | 1 60648 27 | 0.054 % | 43.67/43.74 c | 318223 | 20419 104088 351026 | 1 60845 27 | 0.054 % | 43.67/43.74 c | 318789 | 20419 104088 351026 | 1 61411 27 | 0.054 % | 43.67/43.74 c | 326619 | 20419 104088 351026 | 1 69241 30 | 0.054 % | 43.67/43.74 c | 327005 | 20419 104088 351026 | 1 69627 30 | 0.054 % | 43.67/43.74 c | 327105 | 20419 104088 351026 | 1 69727 30 | 0.054 % | 43.67/43.74 c | 329532 | 20419 104088 351026 | 1 72154 30 | 0.054 % | 43.67/43.74 c | 356149 | 20419 104088 351026 | 1 60967 27 | 0.054 % | 43.67/43.74 c | 357904 | 20419 104088 351026 | 1 62722 28 | 0.054 % | 43.67/43.74 c | 361893 | 20419 104088 351026 | 1 66711 29 | 0.054 % | 43.67/43.74 c | 362289 | 20419 104088 351026 | 1 67107 29 | 0.054 % | 43.67/43.74 c | 366612 | 20419 104088 351026 | 1 71430 30 | 0.054 % | 43.67/43.74 c | 368005 | 20419 104088 351026 | 1 72823 30 | 0.054 % | 43.67/43.74 c | 374702 | 20419 104088 351026 | 1 79520 31 | 0.054 % | 43.67/43.74 c | 377759 | 20419 104088 351026 | 1 42197 18 | 0.054 % | 43.67/43.74 c | 377902 | 20419 104088 351026 | 1 42340 18 | 0.054 % | 52.47/52.52 c | 379415 | 20419 104088 351026 | 1 43853 19 | 0.054 % | 52.47/52.52 c | 379516 | 20419 104088 351026 | 1 43954 19 | 0.054 % | 52.47/52.52 c | 380049 | 20419 104088 351026 | 1 44487 19 | 0.054 % | 52.47/52.52 c | 381679 | 20419 104088 351026 | 1 46117 20 | 0.054 % | 52.47/52.52 c | 383221 | 20419 104088 351026 | 1 47659 21 | 0.054 % | 52.47/52.52 c | 383325 | 20419 104088 351026 | 1 47763 21 | 0.054 % | 52.47/52.52 c | 383457 | 20419 104088 351026 | 1 47895 21 | 0.054 % | 52.47/52.52 c | 383727 | 20419 104088 351026 | 1 48165 21 | 0.054 % | 52.47/52.52 c | 383957 | 20419 104088 351026 | 1 48395 21 | 0.054 % | 52.47/52.52 c | 385956 | 20419 104088 351026 | 1 50394 22 | 0.054 % | 52.47/52.52 c | 391535 | 20419 104088 351026 | 1 55973 25 | 0.054 % | 52.47/52.52 c | 392343 | 20419 104088 351026 | 1 56781 25 | 0.054 % | 52.47/52.52 c | 394619 | 20419 104088 351026 | 1 59057 26 | 0.054 % | 52.47/52.52 c | 394993 | 20419 104088 351026 | 1 59431 26 | 0.054 % | 52.47/52.52 c | 395352 | 20419 104088 351026 | 1 59790 26 | 0.054 % | 52.47/52.52 c | 395872 | 20419 104088 351026 | 1 60310 26 | 0.054 % | 52.47/52.52 c | 396035 | 20419 104088 351026 | 1 60473 26 | 0.054 % | 52.47/52.52 c | 396597 | 20419 104088 351026 | 1 61035 26 | 0.054 % | 52.47/52.52 c | 397433 | 20419 104088 351026 | 1 61871 27 | 0.054 % | 52.47/52.52 c | 397823 | 20419 104088 351026 | 1 62261 27 | 0.054 % | 52.47/52.52 c | 400841 | 20415 104038 350854 | 1 65277 28 | 0.073 % | 52.47/52.52 c | 401045 | 20415 104038 350854 | 1 65481 28 | 0.073 % | 52.47/52.52 c | 411776 | 20415 104038 350854 | 1 76212 30 | 0.073 % | 52.47/52.52 c | 411909 | 20415 104038 350854 | 1 76345 30 | 0.073 % | 52.47/52.52 c | 412058 | 20415 104038 350854 | 1 76494 30 | 0.073 % | 52.47/52.52 c | 412321 | 20415 104038 350854 | 1 76757 30 | 0.073 % | 52.47/52.52 c | 412511 | 20415 104038 350854 | 1 76947 30 | 0.073 % | 52.47/52.52 c | 412808 | 20415 104038 350854 | 1 77244 30 | 0.073 % | 52.47/52.52 c | 413479 | 20415 104038 350854 | 1 77915 30 | 0.073 % | 52.47/52.52 c | 413626 | 20415 104038 350854 | 1 78062 30 | 0.073 % | 52.47/52.52 c | 414065 | 20415 104038 350854 | 1 78501 30 | 0.073 % | 52.47/52.52 c | 414327 | 20415 104038 350854 | 1 78763 30 | 0.073 % | 52.47/52.52 c | 414941 | 20415 104038 350854 | 1 79377 30 | 0.073 % | 52.47/52.52 c | 415077 | 20415 104038 350854 | 1 79513 30 | 0.073 % | 52.47/52.52 c | 418043 | 20415 104038 350854 | 1 82479 31 | 0.073 % | 52.47/52.52 c | 419160 | 20415 104038 350854 | 1 83596 31 | 0.073 % | 52.47/52.52 c | 424841 | 20415 104038 350854 | 1 46268 18 | 0.073 % | 52.47/52.52 c | 429050 | 20415 104038 350854 | 1 50477 20 | 0.073 % | 52.47/52.52 c | 429294 | 20415 104038 350854 | 1 50721 20 | 0.073 % | 52.47/52.52 c | 429488 | 20415 104038 350854 | 1 50915 20 | 0.073 % | 52.47/52.52 c | 431443 | 20415 104038 350854 | 1 52870 21 | 0.073 % | 52.47/52.52 c | 432268 | 20415 104038 350854 | 1 53695 21 | 0.073 % | 52.47/52.52 c | 432559 | 20415 104038 350854 | 1 53986 21 | 0.073 % | 52.47/52.52 c | 434087 | 20415 104038 350854 | 1 55514 22 | 0.073 % | 52.47/52.52 c | 434761 | 20415 104038 350854 | 1 56188 22 | 0.073 % | 52.47/52.52 c | 434868 | 20415 104038 350854 | 1 56295 22 | 0.073 % | 52.47/52.52 c | 435115 | 20415 104038 350854 | 1 56542 23 | 0.073 % | 52.47/52.52 c | 436536 | 20415 104038 350854 | 1 57963 23 | 0.073 % | 52.47/52.52 c | 440748 | 20415 104038 350854 | 1 62175 24 | 0.073 % | 52.47/52.52 c | 440958 | 20415 104038 350854 | 1 62385 24 | 0.073 % | 68.48/68.55 c | 443093 | 20415 104038 350854 | 1 64520 25 | 0.073 % | 68.48/68.55 c | 443237 | 20415 104038 350854 | 1 64664 25 | 0.073 % | 68.48/68.55 c | 443489 | 20415 104038 350854 | 1 64916 25 | 0.073 % | 68.48/68.55 c | 449552 | 20415 104038 350854 | 1 70979 27 | 0.073 % | 68.48/68.55 c | 449801 | 20415 104038 350854 | 1 71228 27 | 0.073 % | 68.48/68.55 c | 460216 | 20415 104038 350854 | 1 81643 31 | 0.073 % | 68.48/68.55 c | 460625 | 20415 104038 350854 | 1 82052 31 | 0.073 % | 68.48/68.55 c | 460726 | 20415 104038 350854 | 1 82153 31 | 0.073 % | 68.48/68.55 c | 461115 | 20415 104038 350854 | 1 82542 31 | 0.073 % | 68.48/68.55 c | 461222 | 20414 104030 350804 | 1 82645 31 | 0.078 % | 68.48/68.55 c | 464637 | 20414 104030 350804 | 1 86060 32 | 0.078 % | 68.48/68.55 c | 464755 | 20414 104030 350804 | 1 86178 32 | 0.078 % | 68.48/68.55 c | 464903 | 20414 104030 350804 | 1 86326 32 | 0.078 % | 68.48/68.55 c | 466687 | 20414 104030 350804 | 1 88110 32 | 0.078 % | 68.48/68.55 c | 467746 | 20414 104030 350804 | 1 89169 33 | 0.078 % | 68.48/68.55 c | 468279 | 20414 104030 350804 | 1 89702 33 | 0.078 % | 68.48/68.55 c | 468580 | 20414 104030 350804 | 1 90003 33 | 0.078 % | 68.48/68.55 c | 478113 | 20414 104030 350804 | 1 53931 24 | 0.078 % | 68.48/68.55 c | 481356 | 20414 104030 350804 | 1 57174 25 | 0.078 % | 68.48/68.55 c | 482631 | 20414 104030 350804 | 1 58449 25 | 0.078 % | 68.48/68.55 c | 482838 | 20414 104030 350804 | 1 58656 25 | 0.078 % | 68.48/68.55 c | 484578 | 20414 104030 350804 | 1 60396 26 | 0.078 % | 68.48/68.55 c | 488790 | 20414 104030 350804 | 1 64608 27 | 0.078 % | 68.48/68.55 c | 489343 | 20414 104030 350804 | 1 65161 27 | 0.078 % | 68.48/68.55 c | 491712 | 20414 104030 350804 | 1 67530 28 | 0.078 % | 68.48/68.55 c | 493166 | 20414 104030 350804 | 1 68984 28 | 0.078 % | 68.48/68.55 c | 493945 | 20414 104030 350804 | 1 69763 28 | 0.078 % | 68.48/68.55 c | 498420 | 20414 104030 350804 | 1 74238 30 | 0.078 % | 68.48/68.55 c | 498520 | 20414 104030 350804 | 1 74338 30 | 0.078 % | 68.48/68.55 c | 498620 | 20414 104030 350804 | 1 74438 30 | 0.078 % | 68.48/68.55 c | 498733 | 20414 104030 350804 | 1 74551 30 | 0.078 % | 68.48/68.55 c | 500033 | 20414 104030 350804 | 1 75851 30 | 0.078 % | 68.48/68.55 c | 500133 | 20414 104030 350804 | 1 75951 30 | 0.078 % | 68.48/68.55 c | 500979 | 20414 104030 350804 | 1 76797 30 | 0.078 % | 68.48/68.55 c | 501081 | 20414 104030 350804 | 1 76899 30 | 0.078 % | 68.48/68.55 c | 501574 | 20414 104030 350804 | 1 77392 30 | 0.078 % | 68.48/68.55 c | 501679 | 20414 104030 350804 | 1 77497 30 | 0.078 % | 68.48/68.55 c | 501790 | 20414 104030 350804 | 1 77608 30 | 0.078 % | 68.48/68.55 c | 512385 | 20414 104030 350804 | 1 88203 32 | 0.078 % | 68.48/68.55 c | 514087 | 20414 104030 350804 | 1 89905 33 | 0.078 % | 68.48/68.55 c | 514656 | 20414 104030 350804 | 1 90474 33 | 0.078 % | 68.48/68.55 c | 514806 | 20414 104030 350804 | 1 90624 33 | 0.078 % | 68.48/68.55 c | 514950 | 20414 104030 350804 | 1 90768 33 | 0.078 % | 68.48/68.55 c | 515859 | 20414 104030 350804 | 1 91677 33 | 0.078 % | 68.48/68.55 c | 519699 | 20414 104030 350804 | 1 95517 33 | 0.078 % | 68.48/68.55 c | 519800 | 20414 104030 350804 | 1 95618 33 | 0.078 % | 68.48/68.55 c | 541501 | 20414 104030 350804 | 1 69121 27 | 0.078 % | 68.48/68.55 c | 542786 | 20414 104030 350804 | 1 70406 27 | 0.078 % | 68.48/68.55 c | 543165 | 20414 104030 350804 | 1 70785 27 | 0.078 % | 82.78/82.84 c | 543283 | 20414 104030 350804 | 1 70903 27 | 0.078 % | 82.78/82.84 c | 543383 | 20414 104030 350804 | 1 71003 27 | 0.078 % | 82.78/82.84 c | 543489 | 20414 104030 350804 | 1 71109 28 | 0.078 % | 82.78/82.84 c | 544372 | 20414 104030 350804 | 1 71992 28 | 0.078 % | 82.78/82.84 c | 544477 | 20414 104030 350804 | 1 72097 28 | 0.078 % | 82.78/82.84 c | 544620 | 20414 104030 350804 | 1 72240 28 | 0.078 % | 82.78/82.84 c | 547051 | 20414 104030 350804 | 1 74671 29 | 0.078 % | 82.78/82.84 c | 550220 | 20414 104030 350804 | 1 77840 30 | 0.078 % | 82.78/82.84 c | 550322 | 20414 104030 350804 | 1 77942 30 | 0.078 % | 82.78/82.84 c | 550428 | 20414 104030 350804 | 1 78048 30 | 0.078 % | 82.78/82.84 c | 550788 | 20414 104030 350804 | 1 78408 30 | 0.078 % | 82.78/82.84 c | 550964 | 20414 104030 350804 | 1 78584 30 | 0.078 % | 82.78/82.84 c | 551245 | 20414 104030 350804 | 1 78865 30 | 0.078 % | 82.78/82.84 c | 560482 | 20414 104030 350804 | 1 88102 32 | 0.078 % | 82.78/82.84 c | 562317 | 20414 104030 350804 | 1 89937 33 | 0.078 % | 82.78/82.84 c | 564721 | 20414 104030 350804 | 1 92341 33 | 0.078 % | 82.78/82.84 c | 564823 | 20414 104030 350804 | 1 92443 33 | 0.078 % | 82.78/82.84 c | 565188 | 20414 104030 350804 | 1 92808 33 | 0.078 % | 82.78/82.84 c | 565320 | 20414 104030 350804 | 1 92940 33 | 0.078 % | 82.78/82.84 c | 565552 | 20414 104030 350804 | 1 93172 33 | 0.078 % | 82.78/82.84 c | 565896 | 20414 104030 350804 | 1 93516 33 | 0.078 % | 82.78/82.84 c | 576543 | 20414 104030 350804 | 1 53371 19 | 0.078 % | 82.78/82.84 c | 581637 | 20414 104030 350804 | 1 58465 21 | 0.078 % | 82.78/82.84 c | 585772 | 20414 104030 350804 | 1 62600 23 | 0.078 % | 82.78/82.84 c | 593238 | 20414 104030 350804 | 1 70066 25 | 0.078 % | 82.78/82.84 c | 593510 | 20414 104030 350804 | 1 70338 25 | 0.078 % | 82.78/82.84 c | 593759 | 20414 104030 350804 | 1 70587 26 | 0.078 % | 82.78/82.84 c | 607809 | 20414 104030 350804 | 1 84637 29 | 0.078 % | 82.78/82.84 c | 608254 | 20414 104030 350804 | 1 85082 29 | 0.078 % | 82.78/82.84 c | 608465 | 20414 104030 350804 | 1 85293 29 | 0.078 % | 82.78/82.84 c | 609920 | 20414 104030 350804 | 1 86748 30 | 0.078 % | 82.78/82.84 c | 612885 | 20414 104030 350804 | 1 89713 30 | 0.078 % | 82.78/82.84 c | 612988 | 20414 104030 350804 | 1 89816 30 | 0.078 % | 82.78/82.84 c | 613321 | 20414 104030 350804 | 1 90149 30 | 0.078 % | 82.78/82.84 c | 616672 | 20414 104030 350804 | 1 93500 31 | 0.078 % | 82.78/82.84 c | 616970 | 20414 104030 350804 | 1 93798 31 | 0.078 % | 82.78/82.84 c | 617823 | 20414 104030 350804 | 1 94651 31 | 0.078 % | 82.78/82.84 c | 617943 | 20414 104030 350804 | 1 94771 31 | 0.078 % | 82.78/82.84 c | 618635 | 20414 104030 350804 | 1 95463 31 | 0.078 % | 82.78/82.84 c | 619814 | 20414 104030 350804 | 1 96642 31 | 0.078 % | 82.78/82.84 c | 620003 | 20414 104030 350804 | 1 96831 31 | 0.078 % | 82.78/82.84 c | 621809 | 20414 104030 350804 | 1 98637 31 | 0.078 % | 82.78/82.84 c | 621960 | 20414 104030 350804 | 1 98788 31 | 0.078 % | 82.78/82.84 c | 622060 | 20414 104030 350804 | 1 98888 31 | 0.078 % | 82.78/82.84 c | 622161 | 20414 104030 350804 | 1 98989 31 | 0.078 % | 82.78/82.84 c | 622738 | 20414 104030 350804 | 1 99566 31 | 0.078 % | 82.78/82.84 c | 629096 | 20414 104030 350804 | 1 105924 33 | 0.078 % | 82.78/82.84 c | 629253 | 20414 104030 350804 | 1 106081 33 | 0.078 % | 82.78/82.84 c | 629353 | 20414 104030 350804 | 1 106181 33 | 0.078 % | 82.78/82.84 c | 633523 | 20414 104030 350804 | 1 56944 19 | 0.078 % | 97.38/97.47 c | 633917 | 20414 104030 350804 | 1 57338 20 | 0.078 % | 97.38/97.47 c | 634017 | 20414 104030 350804 | 1 57438 20 | 0.078 % | 97.38/97.47 c | 634806 | 20414 104030 350804 | 1 58227 20 | 0.078 % | 97.38/97.47 c | 634906 | 20414 104030 350804 | 1 58327 20 | 0.078 % | 97.38/97.47 c | 637622 | 20414 104030 350804 | 1 61043 22 | 0.078 % | 97.38/97.47 c | 639272 | 20414 104030 350804 | 1 62693 22 | 0.078 % | 97.38/97.47 c | 639953 | 20414 104030 350804 | 1 63374 22 | 0.078 % | 97.38/97.47 c | 640732 | 20414 104030 350804 | 1 64153 23 | 0.078 % | 97.38/97.47 c | 641258 | 20414 104030 350804 | 1 64679 23 | 0.078 % | 97.38/97.47 c | 646196 | 20414 104030 350804 | 1 69617 25 | 0.078 % | 97.38/97.47 c | 648453 | 20414 104030 350804 | 1 71874 26 | 0.078 % | 97.38/97.47 c | 649298 | 20414 104030 350804 | 1 72719 26 | 0.078 % | 97.38/97.47 c | 649398 | 20414 104030 350804 | 1 72819 26 | 0.078 % | 97.38/97.47 c | 649644 | 20414 104030 350804 | 1 73065 26 | 0.078 % | 97.38/97.47 c | 649807 | 20414 104030 350804 | 1 73228 26 | 0.078 % | 97.38/97.47 c | 652990 | 20414 104030 350804 | 1 76411 27 | 0.078 % | 97.38/97.47 c | 654498 | 20414 104030 350804 | 1 77919 27 | 0.078 % | 97.38/97.47 c | 654953 | 20414 104030 350804 | 1 78374 27 | 0.078 % | 97.38/97.47 c | 659050 | 20414 104030 350804 | 1 82471 29 | 0.078 % | 97.38/97.47 c | 666916 | 20414 104030 350804 | 1 90337 31 | 0.078 % | 97.38/97.47 c | 667508 | 20414 104030 350804 | 1 90929 31 | 0.078 % | 97.38/97.47 c | 667628 | 20414 104030 350804 | 1 91049 31 | 0.078 % | 97.38/97.47 c | 671056 | 20414 104030 350804 | 1 94477 31 | 0.078 % | 97.38/97.47 c | 673290 | 20414 104030 350804 | 1 96711 31 | 0.078 % | 97.38/97.47 c | 675706 | 20414 104030 350804 | 1 99127 32 | 0.078 % | 97.38/97.47 c | 676090 | 20414 104030 350804 | 1 99511 32 | 0.078 % | 97.38/97.47 c | 676956 | 20414 104030 350804 | 1 100377 32 | 0.078 % | 97.38/97.47 c | 677059 | 20414 104030 350804 | 1 100480 32 | 0.078 % | 97.38/97.47 c | 677283 | 20414 104030 350804 | 1 100704 32 | 0.078 % | 97.38/97.47 c | 677765 | 20414 104030 350804 | 1 101186 32 | 0.078 % | 97.38/97.47 c | 677865 | 20414 104030 350804 | 1 101286 32 | 0.078 % | 97.38/97.47 c | 677965 | 20414 104030 350804 | 1 101386 32 | 0.078 % | 97.38/97.47 c | 679840 | 20414 104030 350804 | 1 103261 33 | 0.078 % | 97.38/97.47 c | 680121 | 20414 104030 350804 | 1 103542 33 | 0.078 % | 97.38/97.47 c | 680223 | 20414 104030 350804 | 1 103644 33 | 0.078 % | 97.38/97.47 c | 680929 | 20414 104030 350804 | 1 104350 33 | 0.078 % | 97.38/97.47 c | 682734 | 20414 104030 350804 | 1 106155 33 | 0.078 % | 97.38/97.47 c | 682834 | 20414 104030 350804 | 1 106255 33 | 0.078 % | 97.38/97.47 c | 707476 | 20414 104030 350804 | 1 74900 26 | 0.078 % | 97.38/97.47 c | 709443 | 20414 104030 350804 | 1 76867 27 | 0.078 % | 97.38/97.47 c | 709544 | 20414 104030 350804 | 1 76968 27 | 0.078 % | 97.38/97.47 c | 709835 | 20414 104030 350804 | 1 77259 27 | 0.078 % | 97.38/97.47 c | 709942 | 20414 104030 350804 | 1 77366 27 | 0.078 % | 97.38/97.47 c | 710206 | 20414 104030 350804 | 1 77630 27 | 0.078 % | 97.38/97.47 c | 713777 | 20414 104030 350804 | 1 81201 28 | 0.078 % | 97.38/97.47 c | 713877 | 20414 104030 350804 | 1 81301 28 | 0.078 % | 97.38/97.47 c | 713977 | 20414 104030 350804 | 1 81401 28 | 0.078 % | 97.38/97.47 c | 714208 | 20414 104030 350804 | 1 81632 28 | 0.078 % | 97.38/97.47 c | 717860 | 20414 104030 350804 | 1 85284 29 | 0.078 % | 97.38/97.47 c | 720283 | 20414 104030 350804 | 1 87707 30 | 0.078 % | 109.37/109.40 c | 720970 | 20414 104030 350804 | 1 88394 30 | 0.078 % | 109.37/109.40 c | 721197 | 20414 104030 350804 | 1 88621 30 | 0.078 % | 109.37/109.40 c | 721399 | 20414 104030 350804 | 1 88823 30 | 0.078 % | 109.37/109.40 c | 721718 | 20414 104030 350804 | 1 89142 30 | 0.078 % | 109.37/109.40 c | 727776 | 20414 104030 350804 | 1 95200 31 | 0.078 % | 109.37/109.40 c | 727876 | 20414 104030 350804 | 1 95300 31 | 0.078 % | 109.37/109.40 c | 728124 | 20414 104030 350804 | 1 95548 31 | 0.078 % | 109.37/109.40 c | 738908 | 20414 104030 350804 | 1 106332 35 | 0.078 % | 109.37/109.40 c | 739009 | 20414 104030 350804 | 1 106433 35 | 0.078 % | 109.37/109.40 c | 741782 | 20414 104030 350804 | 1 109206 35 | 0.078 % | 109.37/109.40 c | 743338 | 20414 104030 350804 | 1 110762 36 | 0.078 % | 109.37/109.40 c | 752183 | 20414 104030 350804 | 1 61022 21 | 0.078 % | 109.37/109.40 c | 757273 | 20414 104030 350804 | 1 66112 23 | 0.078 % | 109.37/109.40 c | 757614 | 20414 104030 350804 | 1 66453 23 | 0.078 % | 109.37/109.40 c | 757917 | 20414 104030 350804 | 1 66756 23 | 0.078 % | 109.37/109.40 c | 759282 | 20414 104030 350804 | 1 68121 24 | 0.078 % | 109.37/109.40 c | 759494 | 20414 104030 350804 | 1 68333 24 | 0.078 % | 109.37/109.40 c | 763792 | 20414 104030 350804 | 1 72631 24 | 0.078 % | 109.37/109.40 c | 766102 | 20414 104030 350804 | 1 74941 25 | 0.078 % | 109.37/109.40 c | 770603 | 20414 104030 350804 | 1 79442 26 | 0.078 % | 109.37/109.40 c | 770748 | 20414 104030 350804 | 1 79587 26 | 0.078 % | 109.37/109.40 c | 770906 | 20414 104030 350804 | 1 79745 26 | 0.078 % | 109.37/109.40 c | 771007 | 20414 104030 350804 | 1 79846 26 | 0.078 % | 109.37/109.40 c | 771188 | 20414 104030 350804 | 1 80027 26 | 0.078 % | 109.37/109.40 c | 771310 | 20414 104030 350804 | 1 80149 26 | 0.078 % | 109.37/109.40 c | 772125 | 20414 104030 350804 | 1 80964 27 | 0.078 % | 109.37/109.40 c | 772227 | 20414 104030 350804 | 1 81066 27 | 0.078 % | 109.37/109.40 c | 772383 | 20414 104030 350804 | 1 81222 27 | 0.078 % | 109.37/109.40 c | 772484 | 20414 104030 350804 | 1 81323 27 | 0.078 % | 109.37/109.40 c | 772584 | 20414 104030 350804 | 1 81423 27 | 0.078 % | 109.37/109.40 c | 776325 | 20414 104030 350804 | 1 85164 28 | 0.078 % | 109.37/109.40 c | 776581 | 20414 104030 350804 | 1 85420 28 | 0.078 % | 109.37/109.40 c | 778710 | 20414 104030 350804 | 1 87549 28 | 0.078 % | 109.37/109.40 c | 780137 | 20414 104030 350804 | 1 88976 29 | 0.078 % | 109.37/109.40 c | 781448 | 20414 104030 350804 | 1 90287 29 | 0.078 % | 109.37/109.40 c | 781549 | 20414 104030 350804 | 1 90388 29 | 0.078 % | 109.37/109.40 c | 781979 | 20414 104030 350804 | 1 90818 29 | 0.078 % | 109.37/109.40 c | 784451 | 20414 104030 350804 | 1 93290 30 | 0.078 % | 109.37/109.40 c | 784588 | 20414 104030 350804 | 1 93427 30 | 0.078 % | 109.37/109.40 c | 784743 | 20414 104030 350804 | 1 93582 30 | 0.078 % | 109.37/109.40 c | 787929 | 20414 104030 350804 | 1 96768 30 | 0.078 % | 109.37/109.40 c | 788427 | 20414 104030 350804 | 1 97266 30 | 0.078 % | 109.37/109.40 c | 790049 | 20414 104030 350804 | 1 98888 31 | 0.078 % | 109.37/109.40 c | 791063 | 20414 104030 350804 | 1 99902 31 | 0.078 % | 109.37/109.40 c | 791175 | 20414 104030 350804 | 1 100014 31 | 0.078 % | 109.37/109.40 c | 791446 | 20414 104030 350804 | 1 100285 31 | 0.078 % | 109.37/109.40 c | 791887 | 20414 104030 350804 | 1 100726 31 | 0.078 % | 109.37/109.40 c | 791988 | 20414 104030 350804 | 1 100827 31 | 0.078 % | 109.37/109.40 c | 792244 | 20414 104030 350804 | 1 101083 31 | 0.078 % | 109.37/109.40 c | 796372 | 20414 104030 350804 | 1 105211 32 | 0.078 % | 125.77/125.82 c | 796472 | 20414 104030 350804 | 1 105311 32 | 0.078 % | 125.77/125.82 c | 796572 | 20414 104030 350804 | 1 105411 32 | 0.078 % | 125.77/125.82 c | 796752 | 20414 104030 350804 | 1 105591 32 | 0.078 % | 125.77/125.82 c | 803314 | 20414 104030 350804 | 1 112153 33 | 0.078 % | 125.77/125.82 c | 803415 | 20414 104030 350804 | 1 112254 33 | 0.078 % | 125.77/125.82 c | 803773 | 20414 104030 350804 | 1 112612 33 | 0.078 % | 125.77/125.82 c | 806728 | 20414 104030 350804 | 1 115567 33 | 0.078 % | 125.77/125.82 c | 806851 | 20414 104030 350804 | 1 115690 33 | 0.078 % | 125.77/125.82 c | 807059 | 20414 104030 350804 | 1 115898 34 | 0.078 % | 125.77/125.82 c | 807443 | 20414 104030 350804 | 1 116282 34 | 0.078 % | 125.77/125.82 c | 809100 | 20414 104030 350804 | 1 117939 34 | 0.078 % | 125.77/125.82 c | 811607 | 20414 104030 350804 | 1 120446 34 | 0.078 % | 125.77/125.82 c | 812355 | 20414 104030 350804 | 1 121194 34 | 0.078 % | 125.77/125.82 c | 813376 | 20414 104030 350804 | 1 122215 34 | 0.078 % | 125.77/125.82 c | 813476 | 20414 104030 350804 | 1 122315 34 | 0.078 % | 125.77/125.82 c | 813750 | 20414 104030 350804 | 1 61381 17 | 0.078 % | 125.77/125.82 c | 814387 | 20414 104030 350804 | 1 62018 17 | 0.078 % | 125.77/125.82 c | 814959 | 20414 104030 350804 | 1 62590 18 | 0.078 % | 125.77/125.82 c | 816031 | 20414 104030 350804 | 1 63662 18 | 0.078 % | 125.77/125.82 c | 821126 | 20414 104030 350804 | 1 68757 20 | 0.078 % | 125.77/125.82 c | 821488 | 20414 104030 350804 | 1 69119 20 | 0.078 % | 125.77/125.82 c | 822055 | 20414 104030 350804 | 1 69686 21 | 0.078 % | 125.77/125.82 c | 822335 | 20414 104030 350804 | 1 69966 21 | 0.078 % | 125.77/125.82 c | 822436 | 20414 104030 350804 | 1 70067 21 | 0.078 % | 125.77/125.82 c | 822682 | 20414 104030 350804 | 1 70313 21 | 0.078 % | 125.77/125.82 c | 824683 | 20414 104030 350804 | 1 72314 22 | 0.078 % | 125.77/125.82 c | 826388 | 20414 104030 350804 | 1 74019 22 | 0.078 % | 125.77/125.82 c | 827266 | 20414 104030 350804 | 1 74897 23 | 0.078 % | 125.77/125.82 c | 827830 | 20414 104030 350804 | 1 75461 23 | 0.078 % | 125.77/125.82 c | 827931 | 20414 104030 350804 | 1 75562 23 | 0.078 % | 125.77/125.82 c | 829148 | 20414 104030 350804 | 1 76779 23 | 0.078 % | 125.77/125.82 c | 858585 | 20414 104030 350804 | 1 106216 30 | 0.078 % | 125.77/125.82 c | 861818 | 20414 104030 350804 | 1 109449 31 | 0.078 % | 125.77/125.82 c | 862291 | 20414 104030 350804 | 1 109922 31 | 0.078 % | 125.77/125.82 c | 862393 | 20414 104030 350804 | 1 110024 31 | 0.078 % | 125.77/125.82 c | 862637 | 20414 104030 350804 | 1 110268 31 | 0.078 % | 125.77/125.82 c | 862777 | 20414 104030 350804 | 1 110408 31 | 0.078 % | 125.77/125.82 c | 862880 | 20414 104030 350804 | 1 110511 31 | 0.078 % | 125.77/125.82 c | 863429 | 20414 104030 350804 | 1 111060 31 | 0.078 % | 125.77/125.82 c | 863531 | 20414 104030 350804 | 1 111162 31 | 0.078 % | 125.77/125.82 c | 864506 | 20414 104030 350804 | 1 112137 31 | 0.078 % | 125.77/125.82 c | 868245 | 20414 104030 350804 | 1 115876 31 | 0.078 % | 125.77/125.82 c | 878930 | 20414 104030 350804 | 1 126561 33 | 0.078 % | 125.77/125.82 c | 879300 | 20414 104030 350804 | 1 126931 33 | 0.078 % | 125.77/125.82 c | 880420 | 20414 104030 350804 | 1 64244 18 | 0.078 % | 125.77/125.82 c | 881995 | 20414 104030 350804 | 1 65819 19 | 0.078 % | 125.77/125.82 c | 884804 | 20414 104030 350804 | 1 68628 20 | 0.078 % | 125.77/125.82 c | 885918 | 20414 104030 350804 | 1 69742 21 | 0.078 % | 125.77/125.82 c | 886018 | 20414 104030 350804 | 1 69842 21 | 0.078 % | 125.77/125.82 c | 887415 | 20414 104030 350804 | 1 71239 21 | 0.078 % | 133.57/133.68 c | 887700 | 20414 104030 350804 | 1 71524 21 | 0.078 % | 133.57/133.68 c | 888102 | 20414 104030 350804 | 1 71926 21 | 0.078 % | 133.57/133.68 c | 889761 | 20414 104030 350804 | 1 73585 22 | 0.078 % | 133.57/133.68 c | 889970 | 20414 104030 350804 | 1 73794 22 | 0.078 % | 133.57/133.68 c | 896749 | 20414 104030 350804 | 1 80573 24 | 0.078 % | 133.57/133.68 c | 896891 | 20414 104030 350804 | 1 80715 24 | 0.078 % | 133.57/133.68 c | 896991 | 20414 104030 350804 | 1 80815 24 | 0.078 % | 133.57/133.68 c | 897091 | 20414 104030 350804 | 1 80915 24 | 0.078 % | 133.57/133.68 c | 897908 | 20414 104030 350804 | 1 81732 24 | 0.078 % | 133.57/133.68 c | 898067 | 20414 104030 350804 | 1 81891 24 | 0.078 % | 133.57/133.68 c | 898483 | 20414 104030 350804 | 1 82307 25 | 0.078 % | 133.57/133.68 c | 899906 | 20414 104030 350804 | 1 83730 25 | 0.078 % | 133.57/133.68 c | 900020 | 20414 104030 350804 | 1 83844 25 | 0.078 % | 133.57/133.68 c | 901230 | 20414 104030 350804 | 1 85054 25 | 0.078 % | 133.57/133.68 c | 902092 | 20414 104030 350804 | 1 85916 25 | 0.078 % | 133.57/133.68 c | 902564 | 20414 104030 350804 | 1 86388 26 | 0.078 % | 133.57/133.68 c | 908117 | 20414 104030 350804 | 1 91941 27 | 0.078 % | 133.57/133.68 c | 908284 | 20414 104030 350804 | 1 92108 27 | 0.078 % | 133.57/133.68 c | 908386 | 20414 104030 350804 | 1 92210 27 | 0.078 % | 133.57/133.68 c | 908572 | 20414 104030 350804 | 1 92396 27 | 0.078 % | 133.57/133.68 c | 908684 | 20414 104030 350804 | 1 92508 27 | 0.078 % | 133.57/133.68 c | 908977 | 20414 104030 350804 | 1 92801 27 | 0.078 % | 133.57/133.68 c | 909141 | 20414 104030 350804 | 1 92965 27 | 0.078 % | 133.57/133.68 c | 909997 | 20414 104030 350804 | 1 93821 27 | 0.078 % | 133.57/133.68 c | 910587 | 20414 104030 350804 | 1 94411 28 | 0.078 % | 133.57/133.68 c | 910837 | 20414 104030 350804 | 1 94661 28 | 0.078 % | 133.57/133.68 c | 916675 | 20414 104030 350804 | 1 100499 29 | 0.078 % | 133.57/133.68 c | 916775 | 20414 104030 350804 | 1 100599 29 | 0.078 % | 133.57/133.68 c | 916875 | 20414 104030 350804 | 1 100699 29 | 0.078 % | 133.57/133.68 c | 917243 | 20414 104030 350804 | 1 101067 29 | 0.078 % | 133.57/133.68 c | 917580 | 20414 104030 350804 | 1 101404 29 | 0.078 % | 133.57/133.68 c | 917680 | 20414 104030 350804 | 1 101504 29 | 0.078 % | 133.57/133.68 c | 917780 | 20414 104030 350804 | 1 101604 29 | 0.078 % | 133.57/133.68 c | 917960 | 20414 104030 350804 | 1 101784 29 | 0.078 % | 133.57/133.68 c | 918683 | 20414 104030 350804 | 1 102507 30 | 0.078 % | 133.57/133.68 c | 919265 | 20414 104030 350804 | 1 103089 30 | 0.078 % | 133.57/133.68 c | 919365 | 20414 104030 350804 | 1 103189 30 | 0.078 % | 133.57/133.68 c | 920007 | 20414 104030 350804 | 1 103831 30 | 0.078 % | 133.57/133.68 c | 920546 | 20414 104030 350804 | 1 104370 30 | 0.078 % | 133.57/133.68 c | 922324 | 20414 104030 350804 | 1 106148 30 | 0.078 % | 133.57/133.68 c | 922507 | 20414 104030 350804 | 1 106331 30 | 0.078 % | 133.57/133.68 c | 922789 | 20414 104030 350804 | 1 106613 30 | 0.078 % | 133.57/133.68 c | 923197 | 20414 104030 350804 | 1 107021 30 | 0.078 % | 133.57/133.68 c | 923297 | 20414 104030 350804 | 1 107121 30 | 0.078 % | 133.57/133.68 c | 923397 | 20414 104030 350804 | 1 107221 30 | 0.078 % | 133.57/133.68 c | 923499 | 20414 104030 350804 | 1 107323 30 | 0.078 % | 133.57/133.68 c | 923648 | 20414 104030 350804 | 1 107472 30 | 0.078 % | 133.57/133.68 c | 926722 | 20414 104030 350804 | 1 110546 31 | 0.078 % | 133.57/133.68 c | 926887 | 20414 104030 350804 | 1 110711 31 | 0.078 % | 133.57/133.68 c | 934167 | 20414 104030 350804 | 1 117991 33 | 0.078 % | 151.18/151.20 c | 934267 | 20414 104030 350804 | 1 118091 33 | 0.078 % | 151.18/151.20 c | 934853 | 20414 104030 350804 | 1 118677 33 | 0.078 % | 151.18/151.20 c | 934983 | 20414 104030 350804 | 1 118807 33 | 0.078 % | 151.18/151.20 c | 935083 | 20414 104030 350804 | 1 118907 33 | 0.078 % | 151.18/151.20 c | 935260 | 20414 104030 350804 | 1 119084 33 | 0.078 % | 151.18/151.20 c | 936210 | 20414 104030 350804 | 1 120034 33 | 0.078 % | 151.18/151.20 c | 936479 | 20414 104030 350804 | 1 120303 33 | 0.078 % | 151.18/151.20 c | 936579 | 20414 104030 350804 | 1 120403 33 | 0.078 % | 151.18/151.20 c | 936680 | 20414 104030 350804 | 1 120504 33 | 0.078 % | 151.18/151.20 c | 937119 | 20414 104030 350804 | 1 120943 33 | 0.078 % | 151.18/151.20 c | 937436 | 20414 104030 350804 | 1 121260 33 | 0.078 % | 151.18/151.20 c | 946569 | 20414 104030 350804 | 1 130393 34 | 0.078 % | 151.18/151.20 c | 954818 | 20414 104030 350804 | 1 72238 19 | 0.078 % | 151.18/151.20 c | 954979 | 20414 104030 350804 | 1 72399 19 | 0.078 % | 151.18/151.20 c | 955112 | 20414 104030 350804 | 1 72532 19 | 0.078 % | 151.18/151.20 c | 955288 | 20414 104030 350804 | 1 72708 19 | 0.078 % | 151.18/151.20 c | 965857 | 20414 104030 350804 | 1 83277 22 | 0.078 % | 151.18/151.20 c | 976438 | 20414 104030 350804 | 1 93858 28 | 0.078 % | 151.18/151.20 c | 976538 | 20414 104030 350804 | 1 93958 28 | 0.078 % | 151.18/151.20 c | 978741 | 20414 104030 350804 | 1 96161 29 | 0.078 % | 151.18/151.20 c | 979065 | 20414 104030 350804 | 1 96485 29 | 0.078 % | 151.18/151.20 c | 979440 | 20414 104030 350804 | 1 96860 29 | 0.078 % | 151.18/151.20 c | 982699 | 20414 104030 350804 | 1 100119 29 | 0.078 % | 151.18/151.20 c | 983396 | 20414 104030 350804 | 1 100816 29 | 0.078 % | 151.18/151.20 c | 983506 | 20414 104030 350804 | 1 100926 29 | 0.078 % | 151.18/151.20 c | 983830 | 20414 104030 350804 | 1 101250 29 | 0.078 % | 151.18/151.20 c | 985344 | 20414 104030 350804 | 1 102764 30 | 0.078 % | 151.18/151.20 c | 989305 | 20414 104030 350804 | 1 106725 30 | 0.078 % | 151.18/151.20 c | 991968 | 20414 104030 350804 | 1 109388 30 | 0.078 % | 151.18/151.20 c | 1003257 | 20414 104030 350804 | 1 120677 32 | 0.078 % | 151.18/151.20 c | 1008210 | 20414 104030 350804 | 1 125630 32 | 0.078 % | 151.18/151.20 c | 1010926 | 20414 104030 350804 | 1 128346 33 | 0.078 % | 151.18/151.20 c | 1013471 | 20414 104030 350804 | 1 130891 33 | 0.078 % | 151.18/151.20 c | 1014038 | 20414 104030 350804 | 1 131458 33 | 0.078 % | 151.18/151.20 c | 1015243 | 20414 104030 350804 | 1 132663 33 | 0.078 % | 151.18/151.20 c | 1015414 | 20414 104030 350804 | 1 132834 33 | 0.078 % | 151.18/151.20 c | 1015514 | 20414 104030 350804 | 1 132934 33 | 0.078 % | 151.18/151.20 c | 1016673 | 20414 104030 350804 | 1 134093 33 | 0.078 % | 151.18/151.20 c | 1017014 | 20414 104030 350804 | 1 134434 33 | 0.078 % | 151.18/151.20 c | 1018859 | 20414 104030 350804 | 1 136279 33 | 0.078 % | 151.18/151.20 c | 1020491 | 20414 104030 350804 | 1 137911 34 | 0.078 % | 151.18/151.20 c | 1020594 | 20414 104030 350804 | 1 138014 34 | 0.078 % | 151.18/151.20 c | 1021603 | 20414 104030 350804 | 1 70018 18 | 0.078 % | 151.18/151.20 c | 1025616 | 20414 104030 350804 | 1 74031 20 | 0.078 % | 151.18/151.20 c | 1028498 | 20414 104030 350804 | 1 76913 21 | 0.078 % | 151.18/151.20 c | 1028598 | 20414 104030 350804 | 1 77013 21 | 0.078 % | 151.18/151.20 c | 1031251 | 20414 104030 350804 | 1 79666 22 | 0.078 % | 151.18/151.20 c | 1031695 | 20414 104030 350804 | 1 80110 22 | 0.078 % | 151.18/151.20 c | 1032501 | 20414 104030 350804 | 1 80916 22 | 0.078 % | 151.18/151.20 c | 1034925 | 20414 104030 350804 | 1 83340 23 | 0.078 % | 165.57/165.67 c | 1035283 | 20414 104030 350804 | 1 83698 23 | 0.078 % | 165.57/165.67 c | 1035420 | 20414 104030 350804 | 1 83835 23 | 0.078 % | 165.57/165.67 c | 1035520 | 20414 104030 350804 | 1 83935 23 | 0.078 % | 165.57/165.67 c | 1035621 | 20414 104030 350804 | 1 84036 23 | 0.078 % | 165.57/165.67 c | 1037435 | 20414 104030 350804 | 1 85850 24 | 0.078 % | 165.57/165.67 c | 1041901 | 20414 104030 350804 | 1 90316 25 | 0.078 % | 165.57/165.67 c | 1042136 | 20414 104030 350804 | 1 90551 25 | 0.078 % | 165.57/165.67 c | 1042315 | 20414 104030 350804 | 1 90730 25 | 0.078 % | 165.57/165.67 c | 1042439 | 20414 104030 350804 | 1 90854 25 | 0.078 % | 165.57/165.67 c | 1042552 | 20414 104030 350804 | 1 90967 25 | 0.078 % | 165.57/165.67 c | 1052711 | 20414 104030 350804 | 1 101126 27 | 0.078 % | 165.57/165.67 c | 1054790 | 20414 104030 350804 | 1 103205 28 | 0.078 % | 165.57/165.67 c | 1057599 | 20414 104030 350804 | 1 106014 29 | 0.078 % | 165.57/165.67 c | 1057743 | 20414 104030 350804 | 1 106158 29 | 0.078 % | 165.57/165.67 c | 1059033 | 20414 104030 350804 | 1 107448 29 | 0.078 % | 165.57/165.67 c | 1059561 | 20414 104030 350804 | 1 107976 29 | 0.078 % | 165.57/165.67 c | 1060501 | 20414 104030 350804 | 1 108916 29 | 0.078 % | 165.57/165.67 c | 1060791 | 20414 104030 350804 | 1 109206 29 | 0.078 % | 165.57/165.67 c | 1060893 | 20414 104030 350804 | 1 109308 29 | 0.078 % | 165.57/165.67 c | 1061141 | 20414 104030 350804 | 1 109556 29 | 0.078 % | 165.57/165.67 c | 1061241 | 20414 104030 350804 | 1 109656 29 | 0.078 % | 165.57/165.67 c | 1061341 | 20414 104030 350804 | 1 109756 29 | 0.078 % | 165.57/165.67 c | 1061459 | 20414 104030 350804 | 1 109874 29 | 0.078 % | 165.57/165.67 c | 1062342 | 20414 104030 350804 | 1 110757 30 | 0.078 % | 165.57/165.67 c | 1062446 | 20414 104030 350804 | 1 110861 30 | 0.078 % | 165.57/165.67 c | 1062960 | 20414 104030 350804 | 1 111375 30 | 0.078 % | 165.57/165.67 c | 1063112 | 20414 104030 350804 | 1 111527 30 | 0.078 % | 165.57/165.67 c | 1088761 | 20414 104030 350804 | 1 137176 34 | 0.078 % | 165.57/165.67 c | 1088862 | 20414 104030 350804 | 1 137277 34 | 0.078 % | 165.57/165.67 c | 1089185 | 20414 104030 350804 | 1 137600 34 | 0.078 % | 165.57/165.67 c | 1091836 | 20414 104030 350804 | 1 140251 35 | 0.078 % | 165.57/165.67 c | 1094063 | 20414 104030 350804 | 1 142478 35 | 0.078 % | 165.57/165.67 c | 1096521 | 20414 104030 350804 | 1 73336 20 | 0.078 % | 165.57/165.67 c | 1096746 | 20414 104030 350804 | 1 73561 20 | 0.078 % | 165.57/165.67 c | 1098614 | 20414 104030 350804 | 1 75429 20 | 0.078 % | 165.57/165.67 c | 1100022 | 20414 104030 350804 | 1 76837 21 | 0.078 % | 165.57/165.67 c | 1100122 | 20414 104030 350804 | 1 76937 21 | 0.078 % | 165.57/165.67 c | 1100461 | 20414 104030 350804 | 1 77276 21 | 0.078 % | 165.57/165.67 c | 1100610 | 20414 104030 350804 | 1 77425 21 | 0.078 % | 165.57/165.67 c | 1100717 | 20414 104030 350804 | 1 77532 21 | 0.078 % | 165.57/165.67 c | 1100818 | 20414 104030 350804 | 1 77633 21 | 0.078 % | 165.57/165.67 c | 1101759 | 20414 104030 350804 | 1 78574 22 | 0.078 % | 165.57/165.67 c | 1108542 | 20367 103164 347636 | 1 85240 24 | 0.308 % | 165.57/165.67 c | 1108749 | 20367 103164 347636 | 1 85447 24 | 0.308 % | 165.57/165.67 c | 1110679 | 20367 103164 347636 | 1 87377 25 | 0.308 % | 165.57/165.67 c | 1111301 | 20367 103164 347636 | 1 87999 25 | 0.308 % | 165.57/165.67 c | 1111928 | 20367 103164 347636 | 1 88626 25 | 0.308 % | 165.57/165.67 c | 1112057 | 20367 103164 347636 | 1 88755 25 | 0.308 % | 165.57/165.67 c | 1114122 | 20367 103164 347636 | 1 90820 26 | 0.308 % | 165.57/165.67 c | 1114222 | 20367 103164 347636 | 1 90920 26 | 0.308 % | 180.18/180.29 c | 1115144 | 20367 103164 347636 | 1 91842 26 | 0.308 % | 180.18/180.29 c | 1115797 | 20367 103164 347636 | 1 92495 26 | 0.308 % | 180.18/180.29 c | 1116076 | 20367 103164 347636 | 1 92774 26 | 0.308 % | 180.18/180.29 c | 1116695 | 20367 103164 347636 | 1 93393 26 | 0.308 % | 180.18/180.29 c | 1117753 | 20367 103164 347636 | 1 94451 26 | 0.308 % | 180.18/180.29 c | 1118852 | 20367 103164 347636 | 1 95550 26 | 0.308 % | 180.18/180.29 c | 1119028 | 20367 103164 347636 | 1 95726 26 | 0.308 % | 180.18/180.29 c | 1125612 | 20367 103164 347636 | 1 102310 28 | 0.308 % | 180.18/180.29 c | 1125739 | 20367 103164 347636 | 1 102437 28 | 0.308 % | 180.18/180.29 c | 1125841 | 20367 103164 347636 | 1 102539 28 | 0.308 % | 180.18/180.29 c | 1126060 | 20367 103164 347636 | 1 102758 28 | 0.308 % | 180.18/180.29 c | 1128779 | 20367 103164 347636 | 1 105477 29 | 0.308 % | 180.18/180.29 c | 1129756 | 20367 103164 347636 | 1 106454 29 | 0.308 % | 180.18/180.29 c | 1130813 | 20367 103164 347636 | 1 107511 29 | 0.308 % | 180.18/180.29 c | 1138542 | 20367 103164 347636 | 1 115240 30 | 0.308 % | 180.18/180.29 c | 1138670 | 20367 103164 347636 | 1 115368 30 | 0.308 % | 180.18/180.29 c | 1141424 | 20367 103164 347636 | 1 118122 31 | 0.308 % | 180.18/180.29 c | 1142308 | 20367 103164 347636 | 1 119006 31 | 0.308 % | 180.18/180.29 c | 1145554 | 20367 103164 347636 | 1 122252 31 | 0.308 % | 180.18/180.29 c | 1148398 | 20367 103164 347636 | 1 125096 32 | 0.308 % | 180.18/180.29 c | 1152803 | 20367 103164 347636 | 1 129501 32 | 0.308 % | 180.18/180.29 c | 1152906 | 20367 103164 347636 | 1 129604 32 | 0.308 % | 180.18/180.29 c | 1153548 | 20367 103164 347636 | 1 130246 32 | 0.308 % | 180.18/180.29 c | 1154790 | 20367 103164 347636 | 1 131488 32 | 0.308 % | 180.18/180.29 c | 1156376 | 20367 103164 347636 | 1 133074 33 | 0.308 % | 180.18/180.29 c | 1156476 | 20367 103164 347636 | 1 133174 33 | 0.308 % | 180.18/180.29 c | 1157124 | 20367 103164 347636 | 1 133822 33 | 0.308 % | 180.18/180.29 c | 1157224 | 20367 103164 347636 | 1 133922 33 | 0.308 % | 180.18/180.29 c | 1157354 | 20367 103164 347636 | 1 134052 33 | 0.308 % | 180.18/180.29 c | 1157663 | 20367 103164 347636 | 1 134361 33 | 0.308 % | 180.18/180.29 c | 1160239 | 20367 103164 347636 | 1 136937 33 | 0.308 % | 180.18/180.29 c | 1160341 | 20367 103164 347636 | 1 137039 33 | 0.308 % | 180.18/180.29 c | 1160441 | 20367 103164 347636 | 1 137139 33 | 0.308 % | 180.18/180.29 c | 1160602 | 20367 103164 347636 | 1 137300 33 | 0.308 % | 180.18/180.29 c | 1166748 | 20367 103164 347636 | 1 143446 34 | 0.308 % | 180.18/180.29 c | 1167107 | 20367 103164 347636 | 1 143805 34 | 0.308 % | 180.18/180.29 c | 1167566 | 20367 103164 347636 | 1 144264 34 | 0.308 % | 180.18/180.29 c | 1167753 | 20367 103164 347636 | 1 144451 34 | 0.308 % | 180.18/180.29 c | 1168005 | 20367 103164 347636 | 1 144703 34 | 0.308 % | 180.18/180.29 c | 1170927 | 20367 103164 347636 | 1 147625 34 | 0.308 % | 180.18/180.29 c | 1181578 | 20367 103164 347636 | 1 84140 18 | 0.308 % | 180.18/180.29 c | 1181678 | 20367 103164 347636 | 1 84240 18 | 0.308 % | 180.18/180.29 c | 1185323 | 20367 103164 347636 | 1 87885 19 | 0.308 % | 180.18/180.29 c | 1185719 | 20367 103164 347636 | 1 88281 20 | 0.308 % | 180.18/180.29 c | 1188296 | 20367 103164 347636 | 1 90858 20 | 0.308 % | 180.18/180.29 c | 1188396 | 20367 103164 347636 | 1 90958 20 | 0.308 % | 180.18/180.29 c | 1189194 | 20367 103164 347636 | 1 91756 20 | 0.308 % | 180.18/180.29 c | 1197672 | 20367 103164 347636 | 1 100234 21 | 0.308 % | 180.18/180.29 c | 1200239 | 20367 103164 347636 | 1 102801 22 | 0.308 % | 180.18/180.29 c | 1200447 | 20367 103164 347636 | 1 103009 22 | 0.308 % | 204.87/204.90 c | 1200548 | 20367 103164 347636 | 1 103110 22 | 0.308 % | 204.87/204.90 c | 1206007 | 20367 103164 347636 | 1 108569 24 | 0.308 % | 204.87/204.90 c | 1219757 | 20367 103164 347636 | 1 122319 25 | 0.308 % | 204.87/204.90 c | 1221298 | 20367 103164 347636 | 1 123860 25 | 0.308 % | 204.87/204.90 c | 1223311 | 20367 103164 347636 | 1 125873 25 | 0.308 % | 204.87/204.90 c | 1223412 | 20367 103164 347636 | 1 125974 25 | 0.308 % | 204.87/204.90 c | 1224977 | 20367 103164 347636 | 1 127539 26 | 0.308 % | 204.87/204.90 c | 1225419 | 20367 103164 347636 | 1 127981 26 | 0.308 % | 204.87/204.90 c | 1226670 | 20367 103164 347636 | 1 129232 26 | 0.308 % | 204.87/204.90 c | 1235360 | 20367 103164 347636 | 1 137922 28 | 0.308 % | 204.87/204.90 c | 1237126 | 20367 103164 347636 | 1 139688 28 | 0.308 % | 204.87/204.90 c | 1237228 | 20367 103164 347636 | 1 139790 28 | 0.308 % | 204.87/204.90 c | 1239198 | 20367 103164 347636 | 1 141760 29 | 0.308 % | 204.87/204.90 c | 1241237 | 20367 103164 347636 | 1 143799 29 | 0.308 % | 204.87/204.90 c | 1241888 | 20367 103164 347636 | 1 144450 29 | 0.308 % | 204.87/204.90 c | 1244238 | 20367 103164 347636 | 1 146800 29 | 0.308 % | 204.87/204.90 c | 1245913 | 20367 103164 347636 | 1 148475 30 | 0.308 % | 204.87/204.90 c | 1250064 | 20367 103164 347636 | 1 152626 30 | 0.308 % | 204.87/204.90 c | 1250945 | 20367 103164 347636 | 1 153507 31 | 0.308 % | 204.87/204.90 c | 1251979 | 20367 103164 347636 | 1 77767 17 | 0.308 % | 204.87/204.90 c | 1280377 | 20367 103164 347636 | 1 106165 26 | 0.308 % | 204.87/204.90 c | 1281554 | 20367 103164 347636 | 1 107342 27 | 0.308 % | 204.87/204.90 c | 1285181 | 20367 103164 347636 | 1 110969 27 | 0.308 % | 204.87/204.90 c | 1287568 | 20367 103164 347636 | 1 113356 27 | 0.308 % | 204.87/204.90 c | 1291532 | 20367 103164 347636 | 1 117320 28 | 0.308 % | 204.87/204.90 c | 1291632 | 20367 103164 347636 | 1 117420 29 | 0.308 % | 204.87/204.90 c | 1296862 | 20367 103164 347636 | 1 122650 29 | 0.308 % | 204.87/204.90 c | 1297404 | 20367 103164 347636 | 1 123192 29 | 0.308 % | 204.87/204.90 c | 1304283 | 20367 103164 347636 | 1 130071 30 | 0.308 % | 204.87/204.90 c | 1304939 | 20367 103164 347636 | 1 130727 30 | 0.308 % | 204.87/204.90 c | 1308226 | 20367 103164 347636 | 1 134014 31 | 0.308 % | 204.87/204.90 c | 1309040 | 20367 103164 347636 | 1 134828 31 | 0.308 % | 204.87/204.90 c | 1309236 | 20367 103164 347636 | 1 135024 31 | 0.308 % | 204.87/204.90 c | 1309621 | 20367 103164 347636 | 1 135409 31 | 0.308 % | 204.87/204.90 c | 1309721 | 20367 103164 347636 | 1 135509 31 | 0.308 % | 204.87/204.90 c | 1309892 | 20367 103164 347636 | 1 135680 31 | 0.308 % | 204.87/204.90 c | 1310399 | 20367 103164 347636 | 1 136187 31 | 0.308 % | 204.87/204.90 c | 1312120 | 20367 103164 347636 | 1 137908 31 | 0.308 % | 204.87/204.90 c | 1312646 | 20367 103164 347636 | 1 138434 31 | 0.308 % | 204.87/204.90 c | 1312761 | 20367 103164 347636 | 1 138549 31 | 0.308 % | 204.87/204.90 c | 1312866 | 20367 103164 347636 | 1 138654 31 | 0.308 % | 204.87/204.90 c | 1313124 | 20367 103164 347636 | 1 138912 31 | 0.308 % | 204.87/204.90 c | 1314788 | 20367 103164 347636 | 1 140576 32 | 0.308 % | 204.87/204.90 c | 1314938 | 20367 103164 347636 | 1 140726 32 | 0.308 % | 204.87/204.90 c | 1320319 | 20367 103164 347636 | 1 146107 32 | 0.308 % | 204.87/204.90 c | 1320554 | 20367 103164 347636 | 1 146342 32 | 0.308 % | 204.87/204.90 c | 1320669 | 20367 103164 347636 | 1 146457 32 | 0.308 % | 204.87/204.90 c | 1320770 | 20367 103164 347636 | 1 146558 32 | 0.308 % | 204.87/204.90 c | 1334343 | 20367 103164 347636 | 1 80744 19 | 0.308 % | 204.87/204.90 c | 1334445 | 20367 103164 347636 | 1 80846 19 | 0.308 % | 235.18/235.21 c | 1334549 | 20367 103164 347636 | 1 80950 19 | 0.308 % | 235.18/235.21 c | 1338503 | 20367 103164 347636 | 1 84904 21 | 0.308 % | 235.18/235.21 c | 1340927 | 20367 103164 347636 | 1 87328 21 | 0.308 % | 235.18/235.21 c | 1341107 | 20367 103164 347636 | 1 87508 21 | 0.308 % | 235.18/235.21 c | 1341397 | 20367 103164 347636 | 1 87798 22 | 0.308 % | 235.18/235.21 c | 1341637 | 20367 103164 347636 | 1 88038 22 | 0.308 % | 235.18/235.21 c | 1357131 | 20367 103164 347636 | 1 103532 24 | 0.308 % | 235.18/235.21 c | 1358346 | 20367 103164 347636 | 1 104747 24 | 0.308 % | 235.18/235.21 c | 1358529 | 20367 103164 347636 | 1 104930 24 | 0.308 % | 235.18/235.21 c | 1359282 | 20367 103164 347636 | 1 105683 24 | 0.308 % | 235.18/235.21 c | 1368254 | 20367 103164 347636 | 1 114655 25 | 0.308 % | 235.18/235.21 c | 1375029 | 20367 103164 347636 | 1 121430 27 | 0.308 % | 235.18/235.21 c | 1390241 | 20367 103164 347636 | 1 136642 30 | 0.308 % | 235.18/235.21 c | 1390352 | 20367 103164 347636 | 1 136753 30 | 0.308 % | 235.18/235.21 c | 1390684 | 20367 103164 347636 | 1 137085 30 | 0.308 % | 235.18/235.21 c | 1390785 | 20367 103164 347636 | 1 137186 30 | 0.308 % | 235.18/235.21 c | 1393483 | 20367 103164 347636 | 1 139884 31 | 0.308 % | 235.18/235.21 c | 1410161 | 20367 103164 347636 | 1 156562 33 | 0.308 % | 235.18/235.21 c | 1410262 | 20367 103164 347636 | 1 156663 33 | 0.308 % | 235.18/235.21 c | 1410362 | 20367 103164 347636 | 1 156763 33 | 0.308 % | 235.18/235.21 c | 1410466 | 20367 103164 347636 | 1 156867 33 | 0.308 % | 235.18/235.21 c | 1411100 | 20367 103164 347636 | 1 157501 33 | 0.308 % | 235.18/235.21 c | 1411201 | 20367 103164 347636 | 1 157602 33 | 0.308 % | 235.18/235.21 c | 1412206 | 20367 103164 347636 | 1 158607 33 | 0.308 % | 235.18/235.21 c | 1424883 | 20367 103164 347636 | 1 89298 20 | 0.308 % | 235.18/235.21 c | 1425703 | 20367 103164 347636 | 1 90118 20 | 0.308 % | 235.18/235.21 c | 1427307 | 20367 103164 347636 | 1 91722 21 | 0.308 % | 235.18/235.21 c | 1427531 | 20367 103164 347636 | 1 91946 21 | 0.308 % | 235.18/235.21 c | 1427805 | 20367 103164 347636 | 1 92220 21 | 0.308 % | 235.18/235.21 c | 1429861 | 20367 103164 347636 | 1 94276 21 | 0.308 % | 235.18/235.21 c | 1430455 | 20367 103164 347636 | 1 94870 21 | 0.308 % | 235.18/235.21 c | 1430592 | 20367 103164 347636 | 1 95007 21 | 0.308 % | 235.18/235.21 c | 1430693 | 20367 103164 347636 | 1 95108 21 | 0.308 % | 235.18/235.21 c | 1476353 | 20367 103164 347636 | 1 140768 31 | 0.308 % | 235.18/235.21 c | 1477508 | 20367 103164 347636 | 1 141923 31 | 0.308 % | 235.18/235.21 c | 1478066 | 20367 103164 347636 | 1 142481 31 | 0.308 % | 235.18/235.21 c | 1478896 | 20367 103164 347636 | 1 143311 31 | 0.308 % | 235.18/235.21 c | 1479313 | 20367 103164 347636 | 1 143728 31 | 0.308 % | 235.18/235.21 c | 1480005 | 20367 103164 347636 | 1 144420 32 | 0.308 % | 235.18/235.21 c | 1487773 | 20367 103164 347636 | 1 152188 32 | 0.308 % | 235.18/235.21 c | 1487915 | 20367 103164 347636 | 1 152330 32 | 0.308 % | 235.18/235.21 c | 1488618 | 20367 103164 347636 | 1 153033 32 | 0.308 % | 235.18/235.21 c | 1489453 | 20367 103164 347636 | 1 153868 32 | 0.308 % | 235.18/235.21 c | 1491678 | 20367 103164 347636 | 1 156093 32 | 0.308 % | 235.18/235.21 c | 1492628 | 20367 103164 347636 | 1 157043 32 | 0.308 % | 235.18/235.21 c | 1492937 | 20367 103164 347636 | 1 157352 32 | 0.308 % | 235.18/235.21 c | 1493193 | 20367 103164 347636 | 1 157608 32 | 0.308 % | 235.18/235.21 c | 1494759 | 20367 103164 347636 | 1 159174 32 | 0.308 % | 235.18/235.21 c | 1494860 | 20367 103164 347636 | 1 159275 33 | 0.308 % | 235.18/235.21 c | 1495069 | 20367 103164 347636 | 1 159484 33 | 0.308 % | 259.88/259.98 c | 1500156 | 20367 103164 347636 | 1 164571 33 | 0.308 % | 259.88/259.98 c | 1500347 | 20367 103164 347636 | 1 164762 33 | 0.308 % | 259.88/259.98 c | 1500458 | 20367 103164 347636 | 1 164873 33 | 0.308 % | 259.88/259.98 c | 1500558 | 20367 103164 347636 | 1 164973 33 | 0.308 % | 259.88/259.98 c | 1501359 | 20367 103164 347636 | 1 165774 33 | 0.308 % | 259.88/259.98 c | 1501557 | 20367 103164 347636 | 1 165972 33 | 0.308 % | 259.88/259.98 c | 1501748 | 20367 103164 347636 | 1 166163 33 | 0.308 % | 259.88/259.98 c | 1523200 | 20367 103164 347636 | 1 103019 25 | 0.308 % | 259.88/259.98 c | 1523312 | 20367 103164 347636 | 1 103131 25 | 0.308 % | 259.88/259.98 c | 1523412 | 20367 103164 347636 | 1 103231 25 | 0.308 % | 259.88/259.98 c | 1523860 | 20367 103164 347636 | 1 103679 25 | 0.308 % | 259.88/259.98 c | 1523960 | 20367 103164 347636 | 1 103779 25 | 0.308 % | 259.88/259.98 c | 1526359 | 20367 103164 347636 | 1 106178 26 | 0.308 % | 259.88/259.98 c | 1526480 | 20367 103164 347636 | 1 106299 26 | 0.308 % | 259.88/259.98 c | 1526581 | 20367 103164 347636 | 1 106400 26 | 0.308 % | 259.88/259.98 c | 1527154 | 20367 103164 347636 | 1 106973 26 | 0.308 % | 259.88/259.98 c | 1527326 | 20367 103164 347636 | 1 107145 26 | 0.308 % | 259.88/259.98 c | 1528700 | 20367 103164 347636 | 1 108519 26 | 0.308 % | 259.88/259.98 c | 1529378 | 20367 103164 347636 | 1 109197 26 | 0.308 % | 259.88/259.98 c | 1529816 | 20367 103164 347636 | 1 109635 26 | 0.308 % | 259.88/259.98 c | 1535760 | 20367 103164 347636 | 1 115579 27 | 0.308 % | 259.88/259.98 c | 1535860 | 20367 103164 347636 | 1 115679 27 | 0.308 % | 259.88/259.98 c | 1535960 | 20367 103164 347636 | 1 115779 27 | 0.308 % | 259.88/259.98 c | 1536075 | 20367 103164 347636 | 1 115894 27 | 0.308 % | 259.88/259.98 c | 1536175 | 20367 103164 347636 | 1 115994 27 | 0.308 % | 259.88/259.98 c | 1538301 | 20367 103164 347636 | 1 118120 28 | 0.308 % | 259.88/259.98 c | 1539104 | 20367 103164 347636 | 1 118923 28 | 0.308 % | 259.88/259.98 c | 1539344 | 20367 103164 347636 | 1 119163 28 | 0.308 % | 259.88/259.98 c | 1539610 | 20367 103164 347636 | 1 119429 28 | 0.308 % | 259.88/259.98 c | 1541076 | 20367 103164 347636 | 1 120895 28 | 0.308 % | 259.88/259.98 c | 1541230 | 20367 103164 347636 | 1 121049 28 | 0.308 % | 259.88/259.98 c | 1542899 | 20367 103164 347636 | 1 122718 28 | 0.308 % | 259.88/259.98 c | 1543007 | 20367 103164 347636 | 1 122826 28 | 0.308 % | 259.88/259.98 c | 1557979 | 20366 103156 347586 | 1 137790 31 | 0.313 % | 259.88/259.98 c | 1560284 | 20366 103156 347586 | 1 140095 31 | 0.313 % | 259.88/259.98 c | 1560384 | 20366 103156 347586 | 1 140195 31 | 0.313 % | 259.88/259.98 c | 1560484 | 20366 103156 347586 | 1 140295 31 | 0.313 % | 259.88/259.99 c | 1581871 | 20362 103108 347434 | 1 161678 35 | 0.333 % | 259.88/259.99 c | 1591139 | 20362 103108 347434 | 1 170946 36 | 0.333 % | 259.88/259.99 c | 1593954 | 20362 103108 347434 | 1 173761 36 | 0.333 % | 259.88/259.99 c | 1594415 | 20362 103108 347434 | 1 174222 36 | 0.333 % | 259.88/259.99 c | 1596400 | 20362 103108 347434 | 1 89015 20 | 0.333 % | 259.88/259.99 c | 1600338 | 20362 103108 347434 | 1 92953 21 | 0.333 % | 259.88/259.99 c | 1600439 | 20362 103108 347434 | 1 93054 21 | 0.333 % | 259.88/259.99 c | 1601929 | 20362 103108 347434 | 1 94544 22 | 0.333 % | 259.88/259.99 c | 1602029 | 20362 103108 347434 | 1 94644 22 | 0.333 % | 259.88/259.99 c | 1602131 | 20362 103108 347434 | 1 94746 22 | 0.333 % | 259.88/259.99 c | 1602234 | 20362 103108 347434 | 1 94849 22 | 0.333 % | 259.88/259.99 c | 1603107 | 20362 103108 347434 | 1 95722 22 | 0.333 % | 259.88/259.99 c | 1604861 | 20362 103108 347434 | 1 97476 22 | 0.333 % | 284.18/284.27 c | 1605096 | 20362 103108 347434 | 1 97711 22 | 0.333 % | 284.18/284.27 c | 1606089 | 20362 103108 347434 | 1 98704 23 | 0.333 % | 284.18/284.27 c | 1606842 | 20362 103108 347434 | 1 99457 23 | 0.333 % | 284.18/284.27 c | 1606946 | 20362 103108 347434 | 1 99561 23 | 0.333 % | 284.18/284.27 c | 1607502 | 20362 103108 347434 | 1 100117 23 | 0.333 % | 284.18/284.27 c | 1609076 | 20362 103108 347434 | 1 101691 23 | 0.333 % | 284.18/284.27 c | 1609531 | 20362 103108 347434 | 1 102146 23 | 0.333 % | 284.18/284.27 c | 1610437 | 20362 103108 347434 | 1 103052 24 | 0.333 % | 284.18/284.27 c | 1610538 | 20362 103108 347434 | 1 103153 24 | 0.333 % | 284.18/284.27 c | 1611104 | 20362 103108 347434 | 1 103719 24 | 0.333 % | 284.18/284.27 c | 1613019 | 20362 103108 347434 | 1 105634 24 | 0.333 % | 284.18/284.27 c | 1613738 | 20362 103108 347434 | 1 106353 24 | 0.333 % | 284.18/284.27 c | 1614007 | 20362 103108 347434 | 1 106622 24 | 0.333 % | 284.18/284.27 c | 1616192 | 20362 103108 347434 | 1 108807 25 | 0.333 % | 284.18/284.27 c | 1616303 | 20362 103108 347434 | 1 108918 25 | 0.333 % | 284.18/284.27 c | 1616860 | 20362 103108 347434 | 1 109475 25 | 0.333 % | 284.18/284.27 c | 1618683 | 20362 103108 347434 | 1 111298 25 | 0.333 % | 284.18/284.27 c | 1619000 | 20362 103108 347434 | 1 111615 25 | 0.333 % | 284.18/284.27 c | 1619419 | 20362 103108 347434 | 1 112034 25 | 0.333 % | 284.18/284.27 c | 1650601 | 20362 103108 347434 | 1 143216 31 | 0.333 % | 284.18/284.27 c | 1650835 | 20362 103108 347434 | 1 143450 31 | 0.333 % | 284.18/284.27 c | 1650950 | 20362 103108 347434 | 1 143565 31 | 0.333 % | 284.18/284.27 c | 1651361 | 20362 103108 347434 | 1 143976 31 | 0.333 % | 284.18/284.27 c | 1662367 | 20362 103108 347434 | 1 154982 33 | 0.333 % | 284.18/284.27 c | 1662677 | 20362 103108 347434 | 1 155292 33 | 0.333 % | 284.18/284.27 c | 1663583 | 20362 103108 347434 | 1 156198 33 | 0.333 % | 284.18/284.27 c | 1664598 | 20362 103108 347434 | 1 157213 33 | 0.333 % | 284.18/284.27 c | 1664882 | 20362 103108 347434 | 1 157497 33 | 0.333 % | 284.18/284.27 c | 1667588 | 20362 103108 347434 | 1 160203 33 | 0.333 % | 284.18/284.27 c | 1667690 | 20362 103108 347434 | 1 160305 33 | 0.333 % | 284.18/284.27 c | 1675053 | 20362 103108 347434 | 1 167668 34 | 0.333 % | 284.18/284.27 c | 1675153 | 20362 103108 347434 | 1 167768 34 | 0.333 % | 284.18/284.27 c | 1675691 | 20362 103108 347434 | 1 168306 34 | 0.333 % | 284.18/284.27 c | 1675791 | 20362 103108 347434 | 1 168406 34 | 0.333 % | 284.18/284.27 c | 1676380 | 20362 103108 347434 | 1 168995 35 | 0.333 % | 284.18/284.27 c | 1679793 | 20362 103108 347434 | 1 172408 35 | 0.333 % | 284.18/284.27 c | 1698314 | 20362 103108 347434 | 1 101137 21 | 0.333 % | 284.18/284.27 c | 1698671 | 20362 103108 347434 | 1 101494 21 | 0.333 % | 284.18/284.27 c | 1703587 | 20362 103108 347434 | 1 106410 22 | 0.333 % | 284.18/284.27 c | 1703965 | 20362 103108 347434 | 1 106788 22 | 0.333 % | 284.18/284.27 c | 1704106 | 20362 103108 347434 | 1 106929 22 | 0.333 % | 284.18/284.27 c | 1704487 | 20362 103108 347434 | 1 107310 22 | 0.333 % | 284.18/284.27 c | 1704800 | 20362 103108 347434 | 1 107623 22 | 0.333 % | 284.18/284.27 c | 1704913 | 20362 103108 347434 | 1 107736 22 | 0.333 % | 284.18/284.27 c | 1715640 | 20362 103108 347434 | 1 118463 25 | 0.333 % | 284.18/284.27 c | 1718312 | 20362 103108 347434 | 1 121135 26 | 0.333 % | 284.18/284.27 c | 1728465 | 20362 103108 347434 | 1 131288 27 | 0.333 % | 284.18/284.27 c | 1729125 | 20362 103108 347434 | 1 131948 27 | 0.333 % | 284.18/284.27 c | 1729473 | 20362 103108 347434 | 1 132296 27 | 0.333 % | 284.18/284.27 c | 1729574 | 20362 103108 347434 | 1 132397 27 | 0.333 % | 308.58/308.60 c | 1737798 | 20362 103108 347434 | 1 140621 28 | 0.333 % | 308.58/308.60 c | 1739248 | 20362 103108 347434 | 1 142071 28 | 0.333 % | 308.58/308.60 c | 1742555 | 20362 103108 347434 | 1 145378 29 | 0.333 % | 308.58/308.60 c | 1745815 | 20362 103108 347434 | 1 148638 29 | 0.333 % | 308.58/308.60 c | 1745918 | 20362 103108 347434 | 1 148741 29 | 0.333 % | 308.58/308.60 c | 1746018 | 20362 103108 347434 | 1 148841 29 | 0.333 % | 308.58/308.60 c | 1746953 | 20362 103108 347434 | 1 149776 29 | 0.333 % | 308.58/308.60 c | 1759194 | 20362 103108 347434 | 1 162017 31 | 0.333 % | 308.58/308.60 c | 1763585 | 20362 103108 347434 | 1 166408 31 | 0.333 % | 308.58/308.60 c | 1763687 | 20362 103108 347434 | 1 166510 31 | 0.333 % | 308.58/308.60 c | 1764077 | 20362 103108 347434 | 1 166900 32 | 0.333 % | 308.58/308.60 c | 1764177 | 20362 103108 347434 | 1 167000 32 | 0.333 % | 308.58/308.60 c | 1775348 | 20362 103108 347434 | 1 178171 32 | 0.333 % | 308.58/308.60 c | 1775762 | 20362 103108 347434 | 1 178585 32 | 0.333 % | 308.58/308.60 c | 1775863 | 20362 103108 347434 | 1 178686 32 | 0.333 % | 308.58/308.60 c | 1775966 | 20362 103108 347434 | 1 178789 32 | 0.333 % | 308.58/308.60 c | 1776066 | 20362 103108 347434 | 1 178889 32 | 0.333 % | 308.58/308.60 c | 1776166 | 20362 103108 347434 | 1 178989 32 | 0.333 % | 308.58/308.60 c | 1776267 | 20362 103108 347434 | 1 179090 32 | 0.333 % | 308.58/308.60 c | 1776461 | 20362 103108 347434 | 1 179284 32 | 0.333 % | 308.58/308.60 c | 1777724 | 20362 103108 347434 | 1 180547 32 | 0.333 % | 308.58/308.60 c | 1782050 | 20362 103108 347434 | 1 92467 17 | 0.333 % | 308.58/308.60 c | 1782268 | 20362 103108 347434 | 1 92685 17 | 0.333 % | 308.58/308.60 c | 1782368 | 20362 103108 347434 | 1 92785 17 | 0.333 % | 308.58/308.60 c | 1782481 | 20362 103108 347434 | 1 92898 17 | 0.333 % | 308.58/308.60 c | 1782705 | 20362 103108 347434 | 1 93122 17 | 0.333 % | 308.58/308.60 c | 1784919 | 20362 103108 347434 | 1 95336 18 | 0.333 % | 308.58/308.60 c | 1785019 | 20362 103108 347434 | 1 95436 18 | 0.333 % | 308.58/308.60 c | 1785160 | 20362 103108 347434 | 1 95577 18 | 0.333 % | 308.58/308.60 c | 1790711 | 20362 103108 347434 | 1 101128 20 | 0.333 % | 308.58/308.60 c | 1791075 | 20362 103108 347434 | 1 101492 20 | 0.333 % | 308.58/308.60 c | 1792501 | 20362 103108 347434 | 1 102918 21 | 0.333 % | 308.58/308.60 c | 1792602 | 20362 103108 347434 | 1 103019 21 | 0.333 % | 308.58/308.60 c | 1797253 | 20362 103108 347434 | 1 107670 22 | 0.333 % | 308.58/308.60 c | 1797424 | 20362 103108 347434 | 1 107841 22 | 0.333 % | 308.58/308.60 c | 1804682 | 20362 103108 347434 | 1 115099 23 | 0.333 % | 308.58/308.60 c | 1805564 | 20362 103108 347434 | 1 115981 23 | 0.333 % | 308.58/308.60 c | 1805688 | 20362 103108 347434 | 1 116105 23 | 0.333 % | 308.58/308.60 c | 1805868 | 20362 103108 347434 | 1 116285 23 | 0.333 % | 308.58/308.60 c | 1806182 | 20362 103108 347434 | 1 116599 23 | 0.333 % | 308.58/308.60 c | 1806775 | 20362 103108 347434 | 1 117192 23 | 0.333 % | 308.58/308.60 c | 1806905 | 20362 103108 347434 | 1 117322 23 | 0.333 % | 308.58/308.60 c | 1816158 | 20362 103108 347434 | 1 126575 26 | 0.333 % | 308.58/308.60 c | 1816674 | 20362 103108 347434 | 1 127091 26 | 0.333 % | 308.58/308.60 c | 1820362 | 20362 103108 347434 | 1 130779 26 | 0.333 % | 308.58/308.60 c | 1824909 | 20362 103108 347434 | 1 135326 27 | 0.333 % | 308.58/308.60 c | 1825607 | 20362 103108 347434 | 1 136024 27 | 0.333 % | 308.58/308.60 c | 1828056 | 20362 103108 347434 | 1 138473 27 | 0.333 % | 308.58/308.60 c | 1846631 | 20362 103108 347434 | 1 157048 30 | 0.333 % | 308.58/308.60 c | 1850406 | 20362 103108 347434 | 1 160823 31 | 0.333 % | 401.29/401.38 c | 1850506 | 20362 103108 347434 | 1 160923 31 | 0.333 % | 401.29/401.38 c | 1851707 | 20362 103108 347434 | 1 162124 31 | 0.333 % | 401.29/401.38 c | 1854312 | 20362 103108 347434 | 1 164729 31 | 0.333 % | 401.29/401.38 c | 1856024 | 20362 103108 347434 | 1 166441 32 | 0.333 % | 401.29/401.38 c | 1865540 | 20362 103108 347434 | 1 175957 33 | 0.333 % | 401.29/401.38 c | 1865879 | 20362 103108 347434 | 1 176296 33 | 0.333 % | 401.29/401.38 c | 1865979 | 20362 103108 347434 | 1 176396 33 | 0.333 % | 401.29/401.38 c | 1866080 | 20362 103108 347434 | 1 176497 33 | 0.333 % | 401.29/401.38 c | 1867535 | 20362 103108 347434 | 1 177952 33 | 0.333 % | 401.29/401.38 c | 1868831 | 20362 103108 347434 | 1 179248 33 | 0.333 % | 401.29/401.38 c | 1875605 | 20362 103108 347434 | 1 186022 33 | 0.333 % | 401.29/401.38 c | 1875714 | 20362 103108 347434 | 1 186131 33 | 0.333 % | 401.29/401.38 c | 1875814 | 20362 103108 347434 | 1 186231 33 | 0.333 % | 401.29/401.38 c | 1876178 | 20362 103108 347434 | 1 186595 33 | 0.333 % | 401.29/401.38 c | 1876364 | 20362 103108 347434 | 1 186781 33 | 0.333 % | 401.29/401.38 c | 1876660 | 20362 103108 347434 | 1 187077 33 | 0.333 % | 401.29/401.38 c | 1877259 | 20362 103108 347434 | 1 187676 33 | 0.333 % | 401.29/401.38 c | 1880510 | 20362 103108 347434 | 1 95930 19 | 0.333 % | 401.29/401.38 c | 1880702 | 20362 103108 347434 | 1 96122 19 | 0.333 % | 401.29/401.38 c | 1883986 | 20362 103108 347434 | 1 99406 19 | 0.333 % | 401.29/401.38 c | 1885523 | 20362 103108 347434 | 1 100943 20 | 0.333 % | 401.29/401.38 c | 1885689 | 20362 103108 347434 | 1 101109 20 | 0.333 % | 401.29/401.38 c | 1885793 | 20362 103108 347434 | 1 101213 20 | 0.333 % | 401.29/401.38 c | 1886219 | 20362 103108 347434 | 1 101639 20 | 0.333 % | 401.29/401.38 c | 1889268 | 20362 103108 347434 | 1 104688 21 | 0.333 % | 401.29/401.38 c | 1889719 | 20362 103108 347434 | 1 105139 21 | 0.333 % | 401.29/401.38 c | 1892388 | 20362 103108 347434 | 1 107808 22 | 0.333 % | 401.29/401.38 c | 1894695 | 20362 103108 347434 | 1 110115 22 | 0.333 % | 401.29/401.38 c | 1899888 | 20362 103108 347434 | 1 115308 23 | 0.333 % | 401.29/401.38 c | 1900722 | 20362 103108 347434 | 1 116142 24 | 0.333 % | 401.29/401.38 c | 1901125 | 20362 103108 347434 | 1 116545 24 | 0.333 % | 401.29/401.38 c | 1903626 | 20362 103108 347434 | 1 119046 24 | 0.333 % | 401.29/401.38 c | 1904457 | 20362 103108 347434 | 1 119877 24 | 0.333 % | 401.29/401.38 c | 1905964 | 20362 103108 347434 | 1 121384 24 | 0.333 % | 401.29/401.38 c | 1906117 | 20362 103108 347434 | 1 121537 24 | 0.333 % | 401.29/401.38 c | 1908423 | 20362 103108 347434 | 1 123843 25 | 0.333 % | 401.29/401.38 c | 1910510 | 20362 103108 347434 | 1 125930 25 | 0.333 % | 401.29/401.38 c | 1918882 | 20362 103108 347434 | 1 134302 28 | 0.333 % | 401.29/401.38 c | 1918982 | 20362 103108 347434 | 1 134402 28 | 0.333 % | 401.29/401.38 c | 1919445 | 20362 103108 347434 | 1 134865 28 | 0.333 % | 401.29/401.38 c | 2191087 | 20362 103108 347434 | 1 105924 17 | 0.333 % | 401.29/401.38 c | 2203805 | 20362 103108 347434 | 1 118642 20 | 0.333 % | 401.29/401.38 c | 2209445 | 20362 103108 347434 | 1 124282 21 | 0.333 % | 401.29/401.38 c | 2237152 | 20362 103108 347434 | 1 151989 23 | 0.333 % | 401.29/401.38 c | 2264974 | 20362 103108 347434 | 1 179811 26 | 0.333 % | 401.29/401.38 c | 2269849 | 20362 103108 347434 | 1 184686 26 | 0.333 % | 401.29/401.38 c | 2273977 | 20362 103108 347434 | 1 188814 27 | 0.333 % | 401.29/401.38 c | 2276231 | 20362 103108 347434 | 1 191068 27 | 0.333 % | 401.29/401.38 c | 2279478 | 20362 103108 347434 | 1 194315 27 | 0.333 % | 401.29/401.38 c | 2286333 | 20362 103108 347434 | 1 201170 28 | 0.333 % | 443.30/443.34 c | 2290504 | 20362 103108 347434 | 1 205341 29 | 0.333 % | 443.30/443.34 c | 2290604 | 20362 103108 347434 | 1 205441 29 | 0.333 % | 443.30/443.34 c | 2291667 | 20362 103108 347434 | 1 206504 29 | 0.333 % | 443.30/443.34 c | 2292317 | 20362 103108 347434 | 1 207154 29 | 0.333 % | 443.30/443.34 c | 2292419 | 20362 103108 347434 | 1 207256 29 | 0.333 % | 443.30/443.34 c | 2292521 | 20362 103108 347434 | 1 207358 29 | 0.333 % | 443.30/443.34 c | 2292774 | 20362 103108 347434 | 1 207611 29 | 0.333 % | 443.30/443.34 c | 2292912 | 20362 103108 347434 | 1 207749 29 | 0.333 % | 443.30/443.34 c | 2298701 | 20362 103108 347434 | 1 108128 18 | 0.333 % | 443.30/443.34 c | 2300123 | 20362 103108 347434 | 1 109550 19 | 0.333 % | 443.30/443.34 c | 2300310 | 20362 103108 347434 | 1 109737 19 | 0.333 % | 443.30/443.34 c | 2322976 | 20362 103108 347434 | 1 132403 22 | 0.333 % | 443.30/443.34 c | 2324120 | 20362 103108 347434 | 1 133547 22 | 0.333 % | 443.30/443.34 c | 2326471 | 20362 103108 347434 | 1 135898 23 | 0.333 % | 443.30/443.34 c | 2326855 | 20362 103108 347434 | 1 136282 23 | 0.333 % | 443.30/443.34 c | 2327466 | 20362 103108 347434 | 1 136893 23 | 0.333 % | 443.30/443.34 c | 2327788 | 20362 103108 347434 | 1 137215 23 | 0.333 % | 443.30/443.34 c | 2329586 | 20362 103108 347434 | 1 139013 23 | 0.333 % | 443.30/443.34 c | 2330665 | 20362 103108 347434 | 1 140092 23 | 0.333 % | 443.30/443.34 c | 2331936 | 20362 103108 347434 | 1 141363 24 | 0.333 % | 443.30/443.34 c | 2332846 | 20362 103108 347434 | 1 142273 24 | 0.333 % | 443.30/443.34 c | 2340132 | 20362 103108 347434 | 1 149559 25 | 0.333 % | 443.30/443.34 c | 2340728 | 20362 103108 347434 | 1 150155 25 | 0.333 % | 443.30/443.34 c | 2340847 | 20362 103108 347434 | 1 150274 25 | 0.333 % | 443.30/443.34 c | 2341533 | 20362 103108 347434 | 1 150960 26 | 0.333 % | 443.30/443.34 c | 2342427 | 20362 103108 347434 | 1 151854 26 | 0.333 % | 443.30/443.34 c | 2342528 | 20362 103108 347434 | 1 151955 26 | 0.333 % | 443.30/443.34 c | 2345032 | 20362 103108 347434 | 1 154459 26 | 0.333 % | 443.30/443.34 c | 2350946 | 20362 103108 347434 | 1 160373 27 | 0.333 % | 443.30/443.34 c | 2351046 | 20362 103108 347434 | 1 160473 27 | 0.333 % | 443.30/443.34 c | 2352083 | 20362 103108 347434 | 1 161510 27 | 0.333 % | 443.30/443.34 c | 2354667 | 20362 103108 347434 | 1 164094 28 | 0.333 % | 443.30/443.34 c | 2355428 | 20362 103108 347434 | 1 164855 28 | 0.333 % | 443.30/443.34 c | 2356131 | 20362 103108 347434 | 1 165558 28 | 0.333 % | 443.30/443.34 c | 2356393 | 20362 103108 347434 | 1 165820 28 | 0.333 % | 443.30/443.34 c | 2358564 | 20362 103108 347434 | 1 167991 28 | 0.333 % | 443.30/443.34 c | 2360063 | 20362 103108 347434 | 1 169490 28 | 0.333 % | 443.30/443.34 c | 2361747 | 20362 103108 347434 | 1 171174 28 | 0.333 % | 443.30/443.34 c | 2363891 | 20362 103108 347434 | 1 173318 29 | 0.333 % | 443.30/443.34 c | 2368189 | 20362 103108 347434 | 1 177616 29 | 0.333 % | 443.30/443.34 c | 2368291 | 20362 103108 347434 | 1 177718 29 | 0.333 % | 443.30/443.34 c | 2370063 | 20362 103108 347434 | 1 179490 29 | 0.333 % | 443.30/443.34 c | 2375966 | 20362 103108 347434 | 1 185393 29 | 0.333 % | 443.30/443.34 c | 2404878 | 20362 103108 347434 | 1 214305 31 | 0.333 % | 443.30/443.34 c | 2405486 | 20362 103108 347434 | 1 214913 31 | 0.333 % | 443.30/443.34 c | 2450629 | 20362 103108 347434 | 1 152058 25 | 0.333 % | 443.30/443.34 c | 2450729 | 20362 103108 347434 | 1 152158 25 | 0.333 % | 443.30/443.34 c | 2459355 | 20362 103108 347434 | 1 160784 27 | 0.333 % | 443.30/443.34 c | 2462706 | 20362 103108 347434 | 1 164135 27 | 0.333 % | 443.30/443.34 c | 2471230 | 20361 103100 347384 | 1 172640 28 | 0.338 % | 488.29/488.39 c | 2482974 | 20361 103100 347384 | 1 184384 29 | 0.338 % | 488.29/488.39 c | 2485875 | 20361 103100 347384 | 1 187285 29 | 0.338 % | 488.29/488.39 c | 2486664 | 20361 103100 347384 | 1 188074 29 | 0.338 % | 488.29/488.39 c | 2487794 | 20361 103100 347384 | 1 189204 29 | 0.338 % | 488.29/488.39 c | 2489095 | 20361 103100 347384 | 1 190505 29 | 0.338 % | 488.29/488.39 c | 2489461 | 20361 103100 347384 | 1 190871 29 | 0.338 % | 488.29/488.39 c | 2489561 | 20361 103100 347384 | 1 190971 29 | 0.338 % | 488.29/488.39 c | 2489772 | 20361 103100 347384 | 1 191182 29 | 0.338 % | 488.29/488.39 c | 2489920 | 20361 103100 347384 | 1 191330 29 | 0.338 % | 488.29/488.39 c | 2490021 | 20361 103100 347384 | 1 191431 29 | 0.338 % | 488.29/488.39 c | 2507103 | 20361 103100 347384 | 1 208513 31 | 0.338 % | 488.29/488.39 c | 2507320 | 20361 103100 347384 | 1 208730 31 | 0.338 % | 488.29/488.39 c | 2511023 | 20361 103100 347384 | 1 212433 32 | 0.338 % | 488.29/488.39 c | 2511147 | 20361 103100 347384 | 1 212557 32 | 0.338 % | 488.29/488.39 c | 2534924 | 20361 103100 347384 | 1 125740 22 | 0.338 % | 488.29/488.39 c | 2536049 | 20361 103100 347384 | 1 126865 22 | 0.338 % | 488.29/488.39 c | 2536194 | 20361 103100 347384 | 1 127010 22 | 0.338 % | 488.29/488.39 c | 2539380 | 20361 103100 347384 | 1 130196 23 | 0.338 % | 488.29/488.39 c | 2541351 | 20361 103100 347384 | 1 132167 23 | 0.338 % | 488.29/488.39 c | 2552372 | 20361 103100 347384 | 1 143188 26 | 0.338 % | 488.29/488.39 c | 2555266 | 20361 103100 347384 | 1 146082 26 | 0.338 % | 488.29/488.39 c | 2557407 | 20361 103100 347384 | 1 148223 26 | 0.338 % | 488.29/488.39 c | 2597031 | 20361 103100 347384 | 1 187847 28 | 0.338 % | 488.29/488.39 c | 2597453 | 20361 103100 347384 | 1 188269 28 | 0.338 % | 488.29/488.39 c | 2598782 | 20361 103100 347384 | 1 189598 28 | 0.338 % | 488.29/488.39 c | 2615003 | 20361 103100 347384 | 1 205819 30 | 0.338 % | 488.29/488.39 c | 2615159 | 20361 103100 347384 | 1 205975 30 | 0.338 % | 488.29/488.39 c | 2615402 | 20361 103100 347384 | 1 206218 30 | 0.338 % | 488.29/488.39 c | 2624419 | 20361 103100 347384 | 1 215235 31 | 0.338 % | 488.29/488.39 c | 2624809 | 20361 103100 347384 | 1 215625 31 | 0.338 % | 488.29/488.39 c | 2625799 | 20361 103100 347384 | 1 216615 31 | 0.338 % | 488.29/488.39 c | 2625988 | 20361 103100 347384 | 1 216804 31 | 0.338 % | 488.29/488.39 c | 2626224 | 20361 103100 347384 | 1 217040 31 | 0.338 % | 488.29/488.39 c | 2629194 | 20361 103100 347384 | 1 220010 31 | 0.338 % | 488.29/488.39 c | 2629295 | 20361 103100 347384 | 1 220111 31 | 0.338 % | 488.29/488.39 c | 2631455 | 20361 103100 347384 | 1 222271 31 | 0.338 % | 488.29/488.39 c | 2634707 | 20361 103100 347384 | 1 225523 31 | 0.338 % | 488.29/488.39 c | 2636152 | 20361 103100 347384 | 1 113765 19 | 0.338 % | 488.29/488.39 c | 2636254 | 20361 103100 347384 | 1 113867 19 | 0.338 % | 488.29/488.39 c | 2636383 | 20361 103100 347384 | 1 113996 19 | 0.338 % | 488.29/488.39 c | 2640053 | 20361 103100 347384 | 1 117666 20 | 0.338 % | 488.29/488.39 c | 2641434 | 20361 103100 347384 | 1 119047 20 | 0.338 % | 488.29/488.39 c | 2647932 | 20361 103100 347384 | 1 125545 22 | 0.338 % | 488.29/488.39 c | 2648032 | 20361 103100 347384 | 1 125645 22 | 0.338 % | 488.29/488.39 c | 2649327 | 20361 103100 347384 | 1 126940 22 | 0.338 % | 488.29/488.39 c | 2649535 | 20361 103100 347384 | 1 127148 22 | 0.338 % | 488.29/488.39 c | 2650685 | 20361 103100 347384 | 1 128298 23 | 0.338 % | 488.29/488.39 c | 2673066 | 20361 103100 347384 | 1 150679 26 | 0.338 % | 488.29/488.39 c | 2674244 | 20361 103100 347384 | 1 151857 26 | 0.338 % | 488.29/488.39 c | 2674598 | 20361 103100 347384 | 1 152211 26 | 0.338 % | 627.29/627.38 c | 2702728 | 20361 103100 347384 | 1 180341 28 | 0.338 % | 627.29/627.38 c | 2703302 | 20361 103100 347384 | 1 180915 28 | 0.338 % | 627.29/627.38 c | 2782505 | 20138 100489 338052 | 1 144177 23 | 1.429 % | 627.29/627.38 c | 2790315 | 20138 100489 338052 | 1 151987 25 | 1.429 % | 627.29/627.38 c | 2790603 | 20138 100489 338052 | 1 152275 25 | 1.429 % | 627.29/627.38 c | 2791125 | 20138 100489 338052 | 1 152797 25 | 1.429 % | 627.29/627.38 c | 2791225 | 20138 100489 338052 | 1 152897 25 | 1.429 % | 627.29/627.38 c | 2794777 | 20138 100489 338052 | 1 156449 25 | 1.429 % | 627.29/627.38 c | 2811293 | 20138 100489 338052 | 1 172965 28 | 1.429 % | 627.29/627.38 c | 2828322 | 20138 100489 338052 | 1 189994 30 | 1.429 % | 627.29/627.38 c | 2828625 | 20138 100489 338052 | 1 190297 30 | 1.429 % | 627.29/627.38 c | 2859047 | 20138 100489 338052 | 1 220719 32 | 1.429 % | 627.29/627.38 c | 2875710 | 20138 100489 338052 | 1 119051 18 | 1.429 % | 627.29/627.38 c | 2880247 | 20138 100489 338052 | 1 123588 19 | 1.429 % | 627.29/627.38 c | 2881968 | 20138 100489 338052 | 1 125309 20 | 1.429 % | 627.29/627.38 c | 2882070 | 20138 100489 338052 | 1 125411 20 | 1.429 % | 627.29/627.38 c | 2882259 | 20138 100489 338052 | 1 125600 20 | 1.429 % | 627.29/627.38 c | 2885794 | 20138 100489 338052 | 1 129135 20 | 1.429 % | 627.29/627.38 c | 2898754 | 20138 100489 338052 | 1 142095 24 | 1.429 % | 627.29/627.38 c | 2905845 | 20138 100489 338052 | 1 149186 25 | 1.429 % | 627.29/627.38 c | 2905947 | 20138 100489 338052 | 1 149288 25 | 1.429 % | 627.29/627.38 c | 2907787 | 20138 100489 338052 | 1 151128 25 | 1.429 % | 627.29/627.38 c | 2914013 | 20138 100489 338052 | 1 157354 26 | 1.429 % | 627.29/627.38 c | 2914134 | 20138 100489 338052 | 1 157475 26 | 1.429 % | 627.29/627.38 c | 2914363 | 20138 100489 338052 | 1 157704 26 | 1.429 % | 627.29/627.38 c | 2914704 | 20138 100489 338052 | 1 158045 26 | 1.429 % | 627.29/627.38 c | 2932691 | 20138 100489 338052 | 1 176032 28 | 1.429 % | 627.29/627.38 c | 2932826 | 20138 100489 338052 | 1 176167 28 | 1.429 % | 627.29/627.38 c | 2933557 | 20138 100489 338052 | 1 176898 28 | 1.429 % | 627.29/627.38 c | 3123652 | 20138 100489 338052 | 1 246034 27 | 1.429 % | 627.29/627.38 c | 3127143 | 20138 100489 338052 | 1 125942 19 | 1.429 % | 627.29/627.38 c | 3127337 | 20138 100489 338052 | 1 126136 19 | 1.429 % | 627.29/627.38 c | 3130503 | 20138 100489 338052 | 1 129302 20 | 1.429 % | 627.29/627.38 c | 3134759 | 20138 100489 338052 | 1 133558 21 | 1.429 % | 627.29/627.38 c | 3135628 | 20138 100489 338052 | 1 134427 21 | 1.429 % | 627.29/627.38 c | 3147839 | 20138 100489 338052 | 1 146638 24 | 1.429 % | 627.29/627.38 c | 3147940 | 20138 100489 338052 | 1 146739 24 | 1.429 % | 627.29/627.38 c | 3148174 | 20138 100489 338052 | 1 146973 24 | 1.429 % | 627.29/627.38 c | 3148985 | 20138 100489 338052 | 1 147784 24 | 1.429 % | 627.29/627.38 c | 3149866 | 20138 100489 338052 | 1 148665 24 | 1.429 % | 627.29/627.38 c | 3150352 | 20138 100489 338052 | 1 149151 24 | 1.429 % | 627.29/627.38 c | 3152234 | 20138 100489 338052 | 1 151033 25 | 1.429 % | 627.29/627.38 c | 3152444 | 20138 100489 338052 | 1 151243 25 | 1.429 % | 627.29/627.38 c | 3165271 | 20138 100489 338052 | 1 164070 27 | 1.429 % | 627.29/627.38 c | 3166013 | 20138 100489 338052 | 1 164812 27 | 1.429 % | 627.29/627.38 c | 3170648 | 20138 100489 338052 | 1 169447 27 | 1.429 % | 627.29/627.38 c | 3171524 | 20138 100489 338052 | 1 170323 27 | 1.429 % | 627.29/627.38 c | 3246330 | 20138 100489 338052 | 1 245129 32 | 1.429 % | 627.29/627.38 c | 3246747 | 20138 100489 338052 | 1 245546 32 | 1.429 % | 627.29/627.38 c | 3247178 | 20138 100489 338052 | 1 245977 32 | 1.429 % | 695.99/696.08 c | 3249256 | 20138 100489 338052 | 1 248055 32 | 1.429 % | 695.99/696.08 c | 3249392 | 20138 100489 338052 | 1 248191 32 | 1.429 % | 695.99/696.08 c | 3253797 | 20138 100489 338052 | 1 126405 20 | 1.429 % | 695.99/696.08 c | 3253904 | 20138 100489 338052 | 1 126512 20 | 1.429 % | 695.99/696.08 c | 3254932 | 20138 100489 338052 | 1 127540 20 | 1.429 % | 695.99/696.08 c | 3273517 | 20138 100489 338052 | 1 146125 24 | 1.429 % | 695.99/696.08 c | 3275447 | 20138 100489 338052 | 1 148055 25 | 1.429 % | 695.99/696.08 c | 3275547 | 20138 100489 338052 | 1 148155 25 | 1.429 % | 695.99/696.08 c | 3276540 | 20138 100489 338052 | 1 149148 25 | 1.429 % | 695.99/696.08 c | 3276857 | 20138 100489 338052 | 1 149465 25 | 1.429 % | 695.99/696.08 c | 3276958 | 20138 100489 338052 | 1 149566 25 | 1.429 % | 695.99/696.08 c | 3277085 | 20138 100489 338052 | 1 149693 25 | 1.429 % | 695.99/696.08 c | 3284491 | 20138 100489 338052 | 1 157099 26 | 1.429 % | 695.99/696.08 c | 3293244 | 20138 100489 338052 | 1 165852 27 | 1.429 % | 695.99/696.08 c | 3294265 | 20138 100489 338052 | 1 166873 28 | 1.429 % | 695.99/696.08 c | 3315178 | 20138 100489 338052 | 1 187786 29 | 1.429 % | 695.99/696.08 c | 3319143 | 20138 100489 338052 | 1 191751 30 | 1.429 % | 695.99/696.08 c | 3323906 | 20138 100489 338052 | 1 196514 31 | 1.429 % | 695.99/696.08 c | 3324711 | 20138 100489 338052 | 1 197319 31 | 1.429 % | 695.99/696.08 c | 3331001 | 20138 100489 338052 | 1 203609 31 | 1.429 % | 695.99/696.08 c | 3343821 | 20138 100489 338052 | 1 216429 32 | 1.429 % | 695.99/696.08 c | 3358449 | 20138 100489 338052 | 1 231057 33 | 1.429 % | 695.99/696.08 c | 3358550 | 20138 100489 338052 | 1 231158 33 | 1.429 % | 695.99/696.08 c | 3361598 | 20138 100489 338052 | 1 234206 34 | 1.429 % | 695.99/696.08 c | 3361698 | 20138 100489 338052 | 1 234306 34 | 1.429 % | 695.99/696.08 c | 3361989 | 20138 100489 338052 | 1 234597 34 | 1.429 % | 695.99/696.08 c | 3417474 | 20138 100489 338052 | 1 161287 25 | 1.429 % | 695.99/696.08 c | 3423870 | 20138 100489 338052 | 1 167683 26 | 1.429 % | 695.99/696.08 c | 3424554 | 20138 100489 338052 | 1 168367 26 | 1.429 % | 695.99/696.08 c | 3424877 | 20138 100489 338052 | 1 168690 26 | 1.429 % | 695.99/696.08 c | 3433050 | 20138 100489 338052 | 1 176863 27 | 1.429 % | 695.99/696.08 c | 3435283 | 20138 100489 338052 | 1 179096 27 | 1.429 % | 695.99/696.08 c | 3448053 | 20138 100489 338052 | 1 191866 28 | 1.429 % | 695.99/696.08 c | 3452484 | 20138 100489 338052 | 1 196297 29 | 1.429 % | 695.99/696.08 c | 3459463 | 20138 100489 338052 | 1 203276 30 | 1.429 % | 695.99/696.08 c | 3463147 | 20138 100489 338052 | 1 206960 30 | 1.429 % | 695.99/696.08 c | 3463514 | 20138 100489 338052 | 1 207327 30 | 1.429 % | 695.99/696.08 c | 3463615 | 20138 100489 338052 | 1 207428 30 | 1.429 % | 695.99/696.08 c | 3470223 | 20138 100489 338052 | 1 214036 30 | 1.429 % | 695.99/696.08 c | 3471007 | 20138 100489 338052 | 1 214820 31 | 1.429 % | 695.99/696.08 c | 3471151 | 20138 100489 338052 | 1 214964 31 | 1.429 % | 695.99/696.08 c | 3471976 | 20138 100489 338052 | 1 215789 31 | 1.429 % | 695.99/696.08 c | 3472453 | 20138 100489 338052 | 1 216266 31 | 1.429 % | 695.99/696.08 c | 3481509 | 20136 100481 338002 | 1 225306 32 | 1.439 % | 695.99/696.08 c | 3482429 | 20136 100481 338002 | 1 226226 32 | 1.439 % | 695.99/696.08 c | 3499081 | 20136 100481 338002 | 1 242878 32 | 1.439 % | 695.99/696.08 c | 3532551 | 20136 100473 337952 | 1 144946 20 | 1.439 % | 695.99/696.08 c | 3532707 | 20136 100473 337952 | 1 145102 20 | 1.439 % | 695.99/696.08 c | 3533165 | 20136 100473 337952 | 1 145560 20 | 1.439 % | 695.99/696.08 c | 3536421 | 20136 100473 337952 | 1 148816 20 | 1.439 % | 733.49/733.50 c | 3536521 | 20136 100473 337952 | 1 148916 20 | 1.439 % | 733.49/733.50 c | 3539648 | 20136 100473 337952 | 1 152043 21 | 1.439 % | 733.49/733.50 c | 3540464 | 20136 100473 337952 | 1 152859 21 | 1.439 % | 733.49/733.50 c | 3541698 | 20136 100473 337952 | 1 154093 21 | 1.439 % | 733.49/733.50 c | 3542712 | 20136 100473 337952 | 1 155107 21 | 1.439 % | 733.49/733.50 c | 3543649 | 20136 100473 337952 | 1 156044 21 | 1.439 % | 733.49/733.50 c | 3543750 | 20136 100473 337952 | 1 156145 21 | 1.439 % | 733.49/733.50 c | 3567646 | 20136 100473 337952 | 1 180041 24 | 1.439 % | 733.49/733.50 c | 3568221 | 20136 100473 337952 | 1 180616 24 | 1.439 % | 733.49/733.50 c | 3570998 | 20136 100473 337952 | 1 183393 24 | 1.439 % | 733.49/733.50 c | 3571152 | 20136 100473 337952 | 1 183547 24 | 1.439 % | 733.49/733.50 c | 3576248 | 20136 100473 337952 | 1 188643 25 | 1.439 % | 733.49/733.50 c | 3587354 | 20136 100473 337952 | 1 199749 26 | 1.439 % | 733.49/733.50 c | 3606656 | 20136 100473 337952 | 1 219051 28 | 1.439 % | 733.49/733.50 c | 3607871 | 20136 100473 337952 | 1 220266 28 | 1.439 % | 733.49/733.50 c | 3608792 | 20136 100473 337952 | 1 221187 28 | 1.439 % | 733.49/733.50 c | 3609079 | 20136 100473 337952 | 1 221474 28 | 1.439 % | 733.49/733.50 c | 3609486 | 20136 100473 337952 | 1 221881 28 | 1.439 % | 733.49/733.50 c | 3613799 | 20136 100473 337952 | 1 226194 28 | 1.439 % | 733.49/733.50 c | 3614353 | 20136 100473 337952 | 1 226748 28 | 1.439 % | 733.49/733.50 c | 3616001 | 20136 100473 337952 | 1 228396 28 | 1.439 % | 733.49/733.50 c | 3618457 | 20136 100473 337952 | 1 230852 29 | 1.439 % | 733.49/733.50 c | 3618748 | 20136 100473 337952 | 1 231143 29 | 1.439 % | 733.49/733.50 c | 3619620 | 20136 100473 337952 | 1 232015 29 | 1.439 % | 733.49/733.50 c | 3621795 | 20136 100473 337952 | 1 234190 29 | 1.439 % | 733.49/733.50 c | 3623755 | 20136 100473 337952 | 1 236150 29 | 1.439 % | 733.49/733.50 c | 3631209 | 20136 100473 337952 | 1 243604 29 | 1.439 % | 733.49/733.50 c | 3631311 | 20136 100473 337952 | 1 243706 29 | 1.439 % | 733.49/733.50 c | 3634424 | 20136 100473 337952 | 1 246819 30 | 1.439 % | 733.49/733.50 c | 3657293 | 20136 100473 337952 | 1 135700 19 | 1.439 % | 733.49/733.50 c | 3657393 | 20136 100473 337952 | 1 135800 19 | 1.439 % | 733.49/733.50 c | 3657493 | 20136 100473 337952 | 1 135900 19 | 1.439 % | 733.49/733.50 c | 3664409 | 20136 100473 337952 | 1 142816 20 | 1.439 % | 733.49/733.50 c | 3672948 | 20136 100473 337952 | 1 151355 21 | 1.439 % | 733.49/733.50 c | 3673932 | 20136 100473 337952 | 1 152339 22 | 1.439 % | 733.49/733.50 c | 3679866 | 20136 100473 337952 | 1 158273 23 | 1.439 % | 733.49/733.50 c | 3679967 | 20136 100473 337952 | 1 158374 23 | 1.439 % | 733.49/733.50 c | 3680123 | 20136 100473 337952 | 1 158530 23 | 1.439 % | 733.49/733.50 c | 3680298 | 20136 100473 337952 | 1 158705 23 | 1.439 % | 733.49/733.50 c | 3680550 | 20136 100473 337952 | 1 158957 23 | 1.439 % | 733.49/733.50 c | 3680672 | 20136 100473 337952 | 1 159079 23 | 1.439 % | 733.49/733.50 c | 3681174 | 20136 100473 337952 | 1 159581 23 | 1.439 % | 733.49/733.50 c | 3682894 | 20136 100473 337952 | 1 161301 23 | 1.439 % | 733.49/733.50 c | 3683730 | 20136 100473 337952 | 1 162137 23 | 1.439 % | 733.49/733.50 c | 3685181 | 20136 100473 337952 | 1 163588 23 | 1.439 % | 733.49/733.50 c | 3686819 | 20136 100473 337952 | 1 165226 24 | 1.439 % | 733.49/733.50 c | 3686919 | 20136 100473 337952 | 1 165326 24 | 1.439 % | 733.49/733.50 c | 3687539 | 20136 100473 337952 | 1 165946 24 | 1.439 % | 733.49/733.50 c | 3691928 | 20136 100473 337952 | 1 170335 24 | 1.439 % | 733.49/733.50 c | 3692863 | 20136 100473 337952 | 1 171270 24 | 1.439 % | 788.09/788.17 c | 3693105 | 20136 100473 337952 | 1 171512 24 | 1.439 % | 788.09/788.17 c | 3695335 | 20136 100473 337952 | 1 173742 24 | 1.439 % | 788.09/788.17 c | 3696468 | 20136 100473 337952 | 1 174875 24 | 1.439 % | 788.09/788.17 c | 3704500 | 20136 100473 337952 | 1 182907 25 | 1.439 % | 788.09/788.17 c | 3707875 | 20136 100473 337952 | 1 186282 26 | 1.439 % | 788.09/788.17 c | 3714665 | 20136 100473 337952 | 1 193072 27 | 1.439 % | 788.09/788.17 c | 3714856 | 20136 100473 337952 | 1 193263 27 | 1.439 % | 788.09/788.17 c | 3714956 | 20136 100473 337952 | 1 193363 27 | 1.439 % | 788.09/788.17 c | 3718376 | 20136 100473 337952 | 1 196783 27 | 1.439 % | 788.09/788.17 c | 3718603 | 20136 100473 337952 | 1 197010 27 | 1.439 % | 788.09/788.17 c | 3719866 | 20136 100473 337952 | 1 198273 27 | 1.439 % | 788.09/788.17 c | 3720433 | 20136 100473 337952 | 1 198840 27 | 1.439 % | 788.09/788.17 c | 3732741 | 20136 100473 337952 | 1 211148 28 | 1.439 % | 788.09/788.17 c | 3737554 | 20136 100473 337952 | 1 215961 29 | 1.439 % | 788.09/788.17 c | 3742880 | 20136 100473 337952 | 1 221287 30 | 1.439 % | 788.09/788.17 c | 3744460 | 20136 100473 337952 | 1 222867 30 | 1.439 % | 788.09/788.17 c | 3813013 | 20136 100473 337952 | 1 154828 21 | 1.439 % | 788.09/788.17 c | 3815893 | 20136 100473 337952 | 1 157708 21 | 1.439 % | 788.09/788.17 c | 3817495 | 20136 100473 337952 | 1 159310 21 | 1.439 % | 788.09/788.17 c | 3820233 | 20136 100473 337952 | 1 162048 22 | 1.439 % | 788.09/788.17 c | 3829576 | 20136 100473 337952 | 1 171391 23 | 1.439 % | 788.09/788.17 c | 3841980 | 20136 100473 337952 | 1 183795 25 | 1.439 % | 788.09/788.17 c | 3844637 | 20136 100473 337952 | 1 186452 26 | 1.439 % | 788.09/788.17 c | 3848612 | 20136 100473 337952 | 1 190427 26 | 1.439 % | 788.09/788.17 c | 3849081 | 20136 100473 337952 | 1 190896 26 | 1.439 % | 788.09/788.17 c | 3851269 | 20136 100473 337952 | 1 193084 26 | 1.439 % | 788.09/788.17 c | 3856143 | 20136 100473 337952 | 1 197958 27 | 1.439 % | 788.09/788.17 c | 3856250 | 20136 100473 337952 | 1 198065 27 | 1.439 % | 788.09/788.17 c | 3856678 | 20136 100473 337952 | 1 198493 27 | 1.439 % | 788.09/788.17 c | 3856796 | 20136 100473 337952 | 1 198611 27 | 1.439 % | 788.09/788.17 c | 3866117 | 20136 100473 337952 | 1 207932 28 | 1.439 % | 788.09/788.17 c | 3871148 | 20136 100473 337952 | 1 212963 29 | 1.439 % | 788.09/788.17 c | 3873453 | 20136 100473 337952 | 1 215268 29 | 1.439 % | 788.09/788.17 c | 3875380 | 20136 100473 337952 | 1 217195 29 | 1.439 % | 788.09/788.17 c | 3875613 | 20136 100473 337952 | 1 217428 29 | 1.439 % | 788.09/788.17 c | 3875894 | 20136 100473 337952 | 1 217709 29 | 1.439 % | 788.09/788.17 c | 3875994 | 20136 100473 337952 | 1 217809 29 | 1.439 % | 788.09/788.17 c | 3877556 | 20136 100473 337952 | 1 219371 29 | 1.439 % | 788.09/788.17 c | 3877658 | 20136 100473 337952 | 1 219473 29 | 1.439 % | 788.09/788.17 c | 3879056 | 20136 100473 337952 | 1 220871 29 | 1.439 % | 788.09/788.17 c | 3879178 | 20136 100473 337952 | 1 220993 29 | 1.439 % | 788.09/788.17 c | 3892329 | 20136 100473 337952 | 1 234144 30 | 1.439 % | 788.09/788.17 c | 3894403 | 20136 100473 337952 | 1 236218 30 | 1.439 % | 788.09/788.17 c | 3899228 | 20136 100473 337952 | 1 241043 30 | 1.439 % | 788.09/788.17 c | 3899527 | 20136 100473 337952 | 1 241342 30 | 1.439 % | 788.09/788.17 c | 3904286 | 20136 100473 337952 | 1 246101 31 | 1.439 % | 788.09/788.17 c | 3905008 | 20136 100473 337952 | 1 246823 31 | 1.439 % | 788.09/788.17 c | 3918607 | 20136 100473 337952 | 1 260422 32 | 1.439 % | 788.09/788.17 c | 3920805 | 20136 100473 337952 | 1 262620 32 | 1.439 % | 818.29/818.30 c | 3920905 | 20136 100473 337952 | 1 262720 32 | 1.439 % | 818.29/818.30 c | 3921028 | 20136 100473 337952 | 1 262843 32 | 1.439 % | 818.29/818.30 c | 3921128 | 20136 100473 337952 | 1 262943 32 | 1.439 % | 818.29/818.30 c | 3921292 | 20136 100473 337952 | 1 263107 32 | 1.439 % | 818.29/818.30 c | 3921398 | 20136 100473 337952 | 1 263213 32 | 1.439 % | 818.29/818.30 c | 3932100 | 20136 100473 337952 | 1 273915 33 | 1.439 % | 818.29/818.30 c | 3933242 | 20136 100473 337952 | 1 275057 33 | 1.439 % | 818.29/818.30 c | 3933343 | 20136 100473 337952 | 1 275158 33 | 1.439 % | 818.29/818.30 c | 3935066 | 20136 100473 337952 | 1 276881 33 | 1.439 % | 818.29/818.30 c | 3938460 | 20136 100473 337952 | 1 141071 19 | 1.439 % | 818.29/818.30 c | 3938562 | 20136 100473 337952 | 1 141173 19 | 1.439 % | 818.29/818.30 c | 3961135 | 20136 100473 337952 | 1 163746 24 | 1.439 % | 818.29/818.30 c | 3961236 | 20136 100473 337952 | 1 163847 24 | 1.439 % | 818.29/818.30 c | 3961806 | 20136 100473 337952 | 1 164417 24 | 1.439 % | 818.29/818.30 c | 3961910 | 20136 100473 337952 | 1 164521 24 | 1.439 % | 818.29/818.30 c | 3965435 | 20136 100473 337952 | 1 168046 24 | 1.439 % | 818.29/818.30 c | 3968590 | 20136 100473 337952 | 1 171201 25 | 1.439 % | 818.29/818.30 c | 3974609 | 20136 100473 337952 | 1 177220 26 | 1.439 % | 818.29/818.30 c | 3976502 | 20136 100473 337952 | 1 179113 26 | 1.439 % | 818.29/818.30 c | 3976996 | 20135 100463 337902 | 1 179595 26 | 1.444 % | 818.29/818.30 c | 3987208 | 20135 100463 337902 | 1 189807 27 | 1.444 % | 818.29/818.30 c | 3988308 | 20135 100463 337902 | 1 190907 27 | 1.444 % | 818.29/818.30 c | 3988409 | 20135 100463 337902 | 1 191008 27 | 1.444 % | 818.29/818.30 c | 3988509 | 20135 100463 337902 | 1 191108 27 | 1.444 % | 818.29/818.30 c | 3993296 | 20135 100463 337902 | 1 195895 28 | 1.444 % | 818.29/818.30 c | 3998933 | 20135 100463 337902 | 1 201532 28 | 1.444 % | 818.29/818.30 c | 4000069 | 20135 100463 337902 | 1 202668 28 | 1.444 % | 818.29/818.30 c | 4002140 | 20135 100463 337902 | 1 204739 29 | 1.444 % | 818.29/818.30 c | 4002394 | 20135 100463 337902 | 1 204993 29 | 1.444 % | 818.29/818.30 c | 4002494 | 20135 100463 337902 | 1 205093 29 | 1.444 % | 818.29/818.30 c | 4003207 | 20135 100463 337902 | 1 205806 29 | 1.444 % | 818.29/818.30 c | 4011257 | 20135 100463 337902 | 1 213856 29 | 1.444 % | 818.29/818.30 c | 4011357 | 20135 100463 337902 | 1 213956 29 | 1.444 % | 818.29/818.30 c | 4011458 | 20135 100463 337902 | 1 214057 29 | 1.444 % | 818.29/818.30 c | 4011598 | 20135 100463 337902 | 1 214197 29 | 1.444 % | 818.29/818.30 c | 4011699 | 20135 100463 337902 | 1 214298 29 | 1.444 % | 818.29/818.30 c | 4012352 | 20135 100463 337902 | 1 214951 29 | 1.444 % | 818.29/818.30 c | 4012486 | 20135 100463 337902 | 1 215085 29 | 1.444 % | 818.29/818.30 c | 4014085 | 20135 100463 337902 | 1 216684 29 | 1.444 % | 818.29/818.30 c | 4014785 | 20135 100463 337902 | 1 217384 30 | 1.444 % | 818.29/818.30 c | 4015054 | 20135 100463 337902 | 1 217653 30 | 1.444 % | 818.29/818.30 c | 4019881 | 20135 100463 337902 | 1 222480 30 | 1.444 % | 818.29/818.30 c | 4023903 | 20135 100463 337902 | 1 226502 30 | 1.444 % | 818.29/818.30 c | 4024005 | 20135 100463 337902 | 1 226604 30 | 1.444 % | 818.29/818.30 c | 4024105 | 20135 100463 337902 | 1 226704 30 | 1.444 % | 818.29/818.30 c | 4024238 | 20135 100463 337902 | 1 226837 30 | 1.444 % | 818.29/818.30 c | 4025548 | 20135 100463 337902 | 1 228147 30 | 1.444 % | 818.29/818.30 c | 4032316 | 20135 100463 337902 | 1 234915 31 | 1.444 % | 818.29/818.30 c | 4032417 | 20135 100463 337902 | 1 235016 31 | 1.444 % | 818.29/818.30 c | 4033124 | 20135 100463 337902 | 1 235723 31 | 1.444 % | 857.39/857.47 c | 4041409 | 20135 100463 337902 | 1 244008 32 | 1.444 % | 857.39/857.47 c | 4042674 | 20135 100463 337902 | 1 245273 32 | 1.444 % | 857.39/857.47 c | 4044138 | 20135 100463 337902 | 1 246737 32 | 1.444 % | 857.39/857.47 c | 4044287 | 20135 100463 337902 | 1 246886 32 | 1.444 % | 857.39/857.47 c | 4044800 | 20135 100463 337902 | 1 247399 32 | 1.444 % | 857.39/857.47 c | 4044924 | 20135 100463 337902 | 1 247523 32 | 1.444 % | 857.39/857.47 c | 4049715 | 20135 100463 337902 | 1 252314 32 | 1.444 % | 857.39/857.47 c | 4050946 | 20135 100463 337902 | 1 253545 32 | 1.444 % | 857.39/857.47 c | 4056863 | 20135 100463 337902 | 1 259462 33 | 1.444 % | 857.39/857.47 c | 4063270 | 20135 100463 337902 | 1 265869 33 | 1.444 % | 857.39/857.47 c | 4063608 | 20135 100463 337902 | 1 266207 33 | 1.444 % | 857.39/857.47 c | 4064528 | 20135 100463 337902 | 1 267127 33 | 1.444 % | 857.39/857.47 c | 4066716 | 20135 100463 337902 | 1 269315 33 | 1.444 % | 857.39/857.47 c | 4071798 | 20135 100463 337902 | 1 274397 33 | 1.444 % | 857.39/857.47 c | 4073106 | 20135 100463 337902 | 1 275705 33 | 1.444 % | 857.39/857.47 c | 4076310 | 20135 100463 337902 | 1 278909 34 | 1.444 % | 857.39/857.47 c | 4076410 | 20135 100463 337902 | 1 279009 34 | 1.444 % | 857.39/857.47 c | 4077922 | 20135 100463 337902 | 1 280521 34 | 1.444 % | 857.39/857.47 c | 4081495 | 20135 100463 337902 | 1 142301 20 | 1.444 % | 857.39/857.47 c | 4082493 | 20135 100463 337902 | 1 143299 20 | 1.444 % | 857.39/857.47 c | 4083456 | 20135 100463 337902 | 1 144262 20 | 1.444 % | 857.39/857.47 c | 4084128 | 20135 100463 337902 | 1 144934 20 | 1.444 % | 857.39/857.47 c | 4085314 | 20135 100463 337902 | 1 146120 20 | 1.444 % | 857.39/857.47 c | 4093785 | 20135 100463 337902 | 1 154591 22 | 1.444 % | 857.39/857.47 c | 4094301 | 20135 100463 337902 | 1 155107 22 | 1.444 % | 857.39/857.47 c | 4097713 | 20135 100463 337902 | 1 158519 22 | 1.444 % | 857.39/857.47 c | 4097815 | 20135 100463 337902 | 1 158621 22 | 1.444 % | 857.39/857.47 c | 4101849 | 20135 100463 337902 | 1 162655 23 | 1.444 % | 857.39/857.47 c | 4103574 | 20135 100463 337902 | 1 164380 23 | 1.444 % | 857.39/857.47 c | 4104133 | 20135 100463 337902 | 1 164939 23 | 1.444 % | 857.39/857.47 c | 4104233 | 20135 100463 337902 | 1 165039 23 | 1.444 % | 857.39/857.47 c | 4105798 | 20135 100463 337902 | 1 166604 24 | 1.444 % | 857.39/857.47 c | 4117879 | 20135 100463 337902 | 1 178685 25 | 1.444 % | 857.39/857.47 c | 4118402 | 20135 100463 337902 | 1 179208 25 | 1.444 % | 857.39/857.47 c | 4120137 | 20135 100463 337902 | 1 180943 25 | 1.444 % | 857.39/857.47 c | 4121177 | 20135 100463 337902 | 1 181983 25 | 1.444 % | 857.39/857.47 c | 4121877 | 20135 100463 337902 | 1 182683 25 | 1.444 % | 857.39/857.47 c | 4127357 | 20135 100463 337902 | 1 188163 26 | 1.444 % | 857.39/857.47 c | 4128548 | 20135 100463 337902 | 1 189354 26 | 1.444 % | 857.39/857.47 c | 4133208 | 20135 100463 337902 | 1 194014 26 | 1.444 % | 857.39/857.47 c | 4138640 | 20135 100463 337902 | 1 199446 27 | 1.444 % | 857.39/857.47 c | 4141496 | 20135 100463 337902 | 1 202302 27 | 1.444 % | 857.39/857.47 c | 4150792 | 20135 100463 337902 | 1 211598 29 | 1.444 % | 857.39/857.47 c | 4150892 | 20135 100463 337902 | 1 211698 29 | 1.444 % | 857.39/857.47 c | 4151020 | 20135 100463 337902 | 1 211826 29 | 1.444 % | 857.39/857.47 c | 4165169 | 20135 100463 337902 | 1 225975 30 | 1.444 % | 857.39/857.47 c | 4165269 | 20135 100463 337902 | 1 226075 30 | 1.444 % | 857.39/857.47 c | 4165543 | 20135 100463 337902 | 1 226349 30 | 1.444 % | 857.39/857.47 c | 4165987 | 20135 100463 337902 | 1 226793 30 | 1.444 % | 857.39/857.47 c | 4173081 | 20089 100171 336859 | 1 233796 31 | 1.669 % | 965.20/965.22 c | 4178001 | 20089 100171 336859 | 1 238716 31 | 1.669 % | 965.20/965.22 c | 4178515 | 20089 100171 336859 | 1 239230 31 | 1.669 % | 965.20/965.22 c | 4179125 | 20089 100171 336859 | 1 239840 31 | 1.669 % | 965.20/965.22 c | 4184836 | 20086 100171 336859 | 1 245548 32 | 1.684 % | 965.20/965.22 c | 4201898 | 20086 100171 336859 | 1 262610 33 | 1.684 % | 965.20/965.22 c | 4202071 | 20086 100145 336709 | 1 262758 33 | 1.684 % | 965.20/965.22 c | 4202172 | 20086 100145 336709 | 1 262859 33 | 1.684 % | 965.20/965.22 c | 4205938 | 20086 100145 336709 | 1 266625 33 | 1.684 % | 965.20/965.22 c | 4206038 | 20086 100145 336709 | 1 266725 33 | 1.684 % | 965.20/965.22 c | 4406451 | 20086 100145 336709 | 1 175849 23 | 1.684 % | 965.20/965.22 c | 4406566 | 20086 100145 336709 | 1 175964 23 | 1.684 % | 965.20/965.22 c | 4409141 | 20086 100145 336709 | 1 178539 23 | 1.684 % | 965.20/965.22 c | 4421279 | 20086 100145 336709 | 1 190677 25 | 1.684 % | 965.20/965.22 c | 4421381 | 20086 100145 336709 | 1 190779 25 | 1.684 % | 965.20/965.22 c | 4426017 | 20086 100145 336709 | 1 195415 26 | 1.684 % | 965.20/965.22 c | 4426503 | 20086 100145 336709 | 1 195901 26 | 1.684 % | 965.20/965.22 c | 4430241 | 20086 100145 336709 | 1 199639 26 | 1.684 % | 965.20/965.22 c | 4434458 | 20086 100145 336709 | 1 203856 27 | 1.684 % | 965.20/965.22 c | 4454577 | 20086 100145 336709 | 1 223975 29 | 1.684 % | 965.20/965.22 c | 4454928 | 20086 100145 336709 | 1 224326 29 | 1.684 % | 965.20/965.22 c | 4455429 | 20086 100145 336709 | 1 224827 29 | 1.684 % | 965.20/965.22 c | 4458226 | 20086 100145 336709 | 1 227624 29 | 1.684 % | 965.20/965.22 c | 4468089 | 20086 100145 336709 | 1 237487 30 | 1.684 % | 965.20/965.22 c | 4488959 | 20086 100145 336709 | 1 258357 31 | 1.684 % | 965.20/965.22 c | 4492264 | 20086 100145 336709 | 1 261662 31 | 1.684 % | 965.20/965.22 c | 4493200 | 20086 100145 336709 | 1 262598 31 | 1.684 % | 965.20/965.22 c | 4496336 | 20086 100145 336709 | 1 265734 31 | 1.684 % | 965.20/965.22 c | 4499213 | 20086 100145 336709 | 1 268611 31 | 1.684 % | 965.20/965.22 c | 4511824 | 20086 100145 336709 | 1 281222 32 | 1.684 % | 965.20/965.22 c | 4549243 | 20085 100137 336659 | 1 169038 22 | 1.689 % | 965.20/965.22 c | 4549573 | 20085 100137 336659 | 1 169368 22 | 1.689 % | 965.20/965.22 c | 4550307 | 20085 100137 336659 | 1 170102 22 | 1.689 % | 965.20/965.22 c | 4550408 | 20085 100137 336659 | 1 170203 22 | 1.689 % | 965.20/965.22 c | 4551997 | 20085 100137 336659 | 1 171792 23 | 1.689 % | 965.20/965.22 c | 4554767 | 20085 100137 336659 | 1 174562 23 | 1.689 % | 965.20/965.22 c | 4555450 | 20085 100137 336659 | 1 175245 23 | 1.689 % | 965.20/965.22 c | 4555614 | 20085 100137 336659 | 1 175409 23 | 1.689 % | 965.20/965.22 c | 4556506 | 20085 100137 336659 | 1 176301 23 | 1.689 % | 965.20/965.22 c | 4562157 | 20085 100137 336659 | 1 181952 24 | 1.689 % | 965.20/965.22 c | 4562358 | 20085 100137 336659 | 1 182153 24 | 1.689 % | 965.20/965.22 c | 4562552 | 20085 100137 336659 | 1 182347 24 | 1.689 % | 965.20/965.22 c | 4569064 | 20085 100137 336659 | 1 188859 25 | 1.689 % | 965.20/965.22 c | 4574324 | 20085 100137 336659 | 1 194119 26 | 1.689 % | 965.20/965.22 c | 4583788 | 20085 100137 336659 | 1 203583 27 | 1.689 % | 965.20/965.22 c | 4585574 | 20085 100137 336659 | 1 205369 27 | 1.689 % | 965.20/965.22 c | 4590131 | 20085 100137 336659 | 1 209926 27 | 1.689 % | 965.20/965.22 c | 4590231 | 20085 100137 336659 | 1 210026 27 | 1.689 % | 965.20/965.22 c | 4591843 | 20085 100137 336659 | 1 211638 27 | 1.689 % | 965.20/965.22 c | 4591945 | 20085 100137 336659 | 1 211740 27 | 1.689 % | 965.20/965.22 c | 4597123 | 20085 100137 336659 | 1 216918 28 | 1.689 % | 1007.40/1007.47 c | 4597223 | 20085 100137 336659 | 1 217018 28 | 1.689 % | 1007.40/1007.47 c | 4620954 | 20085 100137 336659 | 1 240749 30 | 1.689 % | 1007.40/1007.47 c | 4630384 | 20085 100137 336659 | 1 250179 31 | 1.689 % | 1007.40/1007.47 c | 4633180 | 20085 100137 336659 | 1 252975 31 | 1.689 % | 1007.40/1007.47 c | 4633385 | 20085 100137 336659 | 1 253180 31 | 1.689 % | 1007.40/1007.47 c | 4636281 | 20085 100137 336659 | 1 256076 32 | 1.689 % | 1007.40/1007.47 c | 4639422 | 20085 100137 336659 | 1 259217 32 | 1.689 % | 1007.40/1007.47 c | 4648237 | 20085 100137 336659 | 1 268032 33 | 1.689 % | 1007.40/1007.47 c | 4648484 | 20085 100137 336659 | 1 268279 33 | 1.689 % | 1007.40/1007.47 c | 4648616 | 20085 100137 336659 | 1 268411 33 | 1.689 % | 1007.40/1007.47 c | 4648818 | 20085 100137 336659 | 1 268613 33 | 1.689 % | 1007.40/1007.47 c | 4654456 | 20085 100137 336659 | 1 274251 33 | 1.689 % | 1007.40/1007.47 c | 4655718 | 20085 100137 336659 | 1 275513 33 | 1.689 % | 1007.40/1007.47 c | 4656671 | 20085 100137 336659 | 1 276466 33 | 1.689 % | 1007.40/1007.47 c | 4657965 | 20085 100137 336659 | 1 277760 33 | 1.689 % | 1007.40/1007.47 c | 4663319 | 20085 100137 336659 | 1 283114 33 | 1.689 % | 1007.40/1007.47 c | 4663423 | 20085 100137 336659 | 1 283218 33 | 1.689 % | 1007.40/1007.47 c | 4666105 | 20085 100137 336659 | 1 285900 33 | 1.689 % | 1007.40/1007.47 c | 4669778 | 20085 100137 336659 | 1 289573 33 | 1.689 % | 1007.40/1007.47 c | 4669878 | 20085 100137 336659 | 1 289673 33 | 1.689 % | 1007.40/1007.47 c | 4695424 | 20085 100137 336659 | 1 163028 21 | 1.689 % | 1007.40/1007.47 c | 4695541 | 20085 100137 336659 | 1 163145 21 | 1.689 % | 1007.40/1007.47 c | 4695988 | 20085 100137 336659 | 1 163592 21 | 1.689 % | 1007.40/1007.47 c | 4701124 | 20085 100137 336659 | 1 168728 22 | 1.689 % | 1007.40/1007.47 c | 4704422 | 20085 100137 336659 | 1 172026 22 | 1.689 % | 1007.40/1007.47 c | 4704540 | 20085 100137 336659 | 1 172144 22 | 1.689 % | 1007.40/1007.47 c | 4705991 | 20085 100137 336659 | 1 173595 23 | 1.689 % | 1007.40/1007.47 c | 4706561 | 20085 100137 336659 | 1 174165 23 | 1.689 % | 1007.40/1007.47 c | 4709572 | 20085 100137 336659 | 1 177176 23 | 1.689 % | 1007.40/1007.47 c | 4710163 | 20085 100137 336659 | 1 177767 23 | 1.689 % | 1007.40/1007.47 c | 4711710 | 20085 100137 336659 | 1 179314 23 | 1.689 % | 1007.40/1007.47 c | 4712368 | 20085 100137 336659 | 1 179972 23 | 1.689 % | 1007.40/1007.47 c | 4713670 | 20085 100137 336659 | 1 181274 23 | 1.689 % | 1007.40/1007.47 c | 4714693 | 20085 100137 336659 | 1 182297 24 | 1.689 % | 1007.40/1007.47 c | 4714866 | 20085 100137 336659 | 1 182470 24 | 1.689 % | 1007.40/1007.47 c | 4729301 | 20085 100137 336659 | 1 196905 26 | 1.689 % | 1007.40/1007.47 c | 4729405 | 20085 100137 336659 | 1 197009 26 | 1.689 % | 1007.40/1007.47 c | 4729638 | 20085 100137 336659 | 1 197242 26 | 1.689 % | 1007.40/1007.47 c | 4730004 | 20085 100137 336659 | 1 197608 26 | 1.689 % | 1007.40/1007.47 c | 4730104 | 20085 100137 336659 | 1 197708 26 | 1.689 % | 1007.40/1007.47 c | 4730205 | 20085 100137 336659 | 1 197809 26 | 1.689 % | 1007.40/1007.47 c | 4739460 | 20085 100137 336659 | 1 207064 26 | 1.689 % | 1007.40/1007.47 c | 4741425 | 20085 100137 336659 | 1 209029 26 | 1.689 % | 1007.40/1007.47 c | 4747267 | 20085 100137 336659 | 1 214871 27 | 1.689 % | 1007.40/1007.47 c | 4747367 | 20085 100137 336659 | 1 214971 27 | 1.689 % | 1007.40/1007.47 c | 4748702 | 20085 100137 336659 | 1 216306 27 | 1.689 % | 1007.40/1007.47 c | 4748802 | 20085 100137 336659 | 1 216406 27 | 1.689 % | 1007.40/1007.47 c | 4748902 | 20085 100137 336659 | 1 216506 27 | 1.689 % | 1007.40/1007.47 c | 4751256 | 20085 100137 336659 | 1 218860 27 | 1.689 % | 1007.40/1007.47 c | 4751381 | 20085 100137 336659 | 1 218985 27 | 1.689 % | 1052.10/1052.18 c | 4752920 | 20085 100137 336659 | 1 220524 27 | 1.689 % | 1052.10/1052.18 c | 4759508 | 20085 100137 336659 | 1 227112 28 | 1.689 % | 1052.10/1052.18 c | 4761338 | 20085 100137 336659 | 1 228942 28 | 1.689 % | 1052.10/1052.18 c | 4761779 | 20085 100137 336659 | 1 229383 28 | 1.689 % | 1052.10/1052.18 c | 4763722 | 20085 100137 336659 | 1 231326 28 | 1.689 % | 1052.10/1052.18 c | 4764380 | 20085 100137 336659 | 1 231984 28 | 1.689 % | 1052.10/1052.18 c | 4764481 | 20085 100137 336659 | 1 232085 28 | 1.689 % | 1052.10/1052.18 c | 4765426 | 20085 100137 336659 | 1 233030 28 | 1.689 % | 1052.10/1052.18 c | 4766185 | 20085 100137 336659 | 1 233789 28 | 1.689 % | 1052.10/1052.18 c | 4766289 | 20085 100137 336659 | 1 233893 28 | 1.689 % | 1052.10/1052.18 c | 4766389 | 20085 100137 336659 | 1 233993 28 | 1.689 % | 1052.10/1052.18 c | 4820972 | 20085 100137 336659 | 1 288576 34 | 1.689 % | 1052.10/1052.18 c | 4821072 | 20085 100137 336659 | 1 288676 34 | 1.689 % | 1052.10/1052.18 c | 4821174 | 20085 100137 336659 | 1 288778 34 | 1.689 % | 1052.10/1052.18 c | 4825744 | 20085 100137 336659 | 1 293348 34 | 1.689 % | 1052.10/1052.18 c | 4831349 | 20085 100137 336659 | 1 298953 35 | 1.689 % | 1052.10/1052.18 c | 4834500 | 20085 100137 336659 | 1 302104 35 | 1.689 % | 1052.10/1052.18 c | 4838690 | 20085 100137 336659 | 1 306294 35 | 1.689 % | 1052.10/1052.18 c | 4838841 | 20085 100137 336659 | 1 306445 35 | 1.689 % | 1052.10/1052.18 c | 4841595 | 20085 100137 336659 | 1 309199 35 | 1.689 % | 1052.10/1052.18 c | 4845032 | 20085 100137 336659 | 1 157840 21 | 1.689 % | 1052.10/1052.18 c | 4845796 | 20085 100137 336659 | 1 158604 21 | 1.689 % | 1052.10/1052.18 c | 4845898 | 20085 100137 336659 | 1 158706 21 | 1.689 % | 1052.10/1052.18 c | 4848803 | 20085 100137 336659 | 1 161611 21 | 1.689 % | 1052.10/1052.18 c | 4850953 | 20085 100137 336659 | 1 163761 21 | 1.689 % | 1052.10/1052.18 c | 4851054 | 20085 100137 336659 | 1 163862 21 | 1.689 % | 1052.10/1052.18 c | 4867668 | 20085 100137 336659 | 1 180476 24 | 1.689 % | 1052.10/1052.18 c | 4870544 | 20085 100137 336659 | 1 183352 24 | 1.689 % | 1052.10/1052.18 c | 4871233 | 20085 100137 336659 | 1 184041 24 | 1.689 % | 1052.10/1052.18 c | 4878194 | 20085 100137 336659 | 1 191002 25 | 1.689 % | 1052.10/1052.18 c | 4881709 | 20085 100137 336659 | 1 194517 25 | 1.689 % | 1052.10/1052.18 c | 4884846 | 20085 100137 336659 | 1 197654 25 | 1.689 % | 1052.10/1052.18 c | 4885605 | 20085 100137 336659 | 1 198413 25 | 1.689 % | 1052.10/1052.18 c | 4885705 | 20085 100137 336659 | 1 198513 25 | 1.689 % | 1052.10/1052.18 c | 4886601 | 20085 100137 336659 | 1 199409 26 | 1.689 % | 1052.10/1052.18 c | 4887711 | 20085 100137 336659 | 1 200519 26 | 1.689 % | 1052.10/1052.18 c | 4889352 | 20085 100137 336659 | 1 202160 26 | 1.689 % | 1052.10/1052.18 c | 4891540 | 20085 100137 336659 | 1 204348 26 | 1.689 % | 1052.10/1052.18 c | 4892480 | 20085 100137 336659 | 1 205288 26 | 1.689 % | 1052.10/1052.18 c | 4892774 | 20085 100137 336659 | 1 205582 26 | 1.689 % | 1052.10/1052.18 c | 4893765 | 20085 100137 336659 | 1 206573 26 | 1.689 % | 1052.10/1052.18 c | 4894216 | 20085 100137 336659 | 1 207024 26 | 1.689 % | 1052.10/1052.18 c | 4894316 | 20085 100137 336659 | 1 207124 26 | 1.689 % | 1052.10/1052.18 c | 4895506 | 20085 100137 336659 | 1 208314 27 | 1.689 % | 1052.10/1052.18 c | 4897210 | 20085 100137 336659 | 1 210018 27 | 1.689 % | 1052.10/1052.18 c | 4898854 | 20085 100137 336659 | 1 211662 27 | 1.689 % | 1052.10/1052.18 c | 4900135 | 20085 100137 336659 | 1 212943 27 | 1.689 % | 1052.10/1052.18 c | 4900841 | 20085 100137 336659 | 1 213649 27 | 1.689 % | 1052.10/1052.18 c | 4900941 | 20085 100137 336659 | 1 213749 27 | 1.689 % | 1052.10/1052.18 c | 4901042 | 20085 100137 336659 | 1 213850 27 | 1.689 % | 1099.01/1099.06 c | 4903732 | 20085 100137 336659 | 1 216540 27 | 1.689 % | 1099.01/1099.06 c | 4905537 | 20085 100137 336659 | 1 218345 27 | 1.689 % | 1099.01/1099.06 c | 4909640 | 20085 100137 336659 | 1 222448 28 | 1.689 % | 1099.01/1099.06 c | 4910070 | 20085 100137 336659 | 1 222878 28 | 1.689 % | 1099.01/1099.06 c | 4911902 | 20085 100137 336659 | 1 224710 28 | 1.689 % | 1099.01/1099.06 c | 4913388 | 20085 100137 336659 | 1 226196 28 | 1.689 % | 1099.01/1099.06 c | 4914703 | 20085 100137 336659 | 1 227511 28 | 1.689 % | 1099.01/1099.06 c | 4914810 | 20085 100137 336659 | 1 227618 28 | 1.689 % | 1099.01/1099.06 c | 4914914 | 20085 100137 336659 | 1 227722 28 | 1.689 % | 1099.01/1099.06 c | 4915250 | 20085 100137 336659 | 1 228058 28 | 1.689 % | 1099.01/1099.06 c | 4922644 | 20085 100137 336659 | 1 235452 29 | 1.689 % | 1099.01/1099.06 c | 4922745 | 20085 100137 336659 | 1 235553 29 | 1.689 % | 1099.01/1099.06 c | 4922845 | 20085 100137 336659 | 1 235653 29 | 1.689 % | 1099.01/1099.06 c | 4924403 | 20085 100137 336659 | 1 237211 29 | 1.689 % | 1099.01/1099.06 c | 4930165 | 20085 100137 336659 | 1 242973 29 | 1.689 % | 1099.01/1099.06 c | 4930315 | 20085 100137 336659 | 1 243123 29 | 1.689 % | 1099.01/1099.06 c | 4933179 | 20085 100137 336659 | 1 245987 29 | 1.689 % | 1099.01/1099.06 c | 4933464 | 20085 100137 336659 | 1 246272 29 | 1.689 % | 1099.01/1099.06 c | 4936653 | 20085 100137 336659 | 1 249461 30 | 1.689 % | 1099.01/1099.06 c | 4937072 | 20085 100137 336659 | 1 249880 30 | 1.689 % | 1099.01/1099.06 c | 4937468 | 20085 100137 336659 | 1 250276 30 | 1.689 % | 1099.01/1099.06 c | 4937668 | 20085 100137 336659 | 1 250476 30 | 1.689 % | 1099.01/1099.06 c | 4939681 | 20085 100137 336659 | 1 252489 30 | 1.689 % | 1099.01/1099.06 c | 4940016 | 20085 100137 336659 | 1 252824 30 | 1.689 % | 1099.01/1099.06 c | 4940475 | 20085 100137 336659 | 1 253283 30 | 1.689 % | 1099.01/1099.06 c | 4940837 | 20085 100137 336659 | 1 253645 30 | 1.689 % | 1099.01/1099.06 c | 4941554 | 20085 100137 336659 | 1 254362 30 | 1.689 % | 1099.01/1099.06 c | 4941735 | 20085 100137 336659 | 1 254543 30 | 1.689 % | 1099.01/1099.06 c | 4943108 | 20085 100137 336659 | 1 255916 30 | 1.689 % | 1099.01/1099.06 c | 4963166 | 20085 100137 336659 | 1 275974 31 | 1.689 % | 1099.01/1099.06 c | 4964829 | 20085 100137 336659 | 1 277637 31 | 1.689 % | 1099.01/1099.06 c | 4978422 | 20085 100137 336659 | 1 291230 32 | 1.689 % | 1099.01/1099.06 c | 4979013 | 20085 100137 336659 | 1 291821 32 | 1.689 % | 1099.01/1099.06 c | 4981599 | 20085 100137 336659 | 1 294407 32 | 1.689 % | 1099.01/1099.06 c | 4995337 | 20085 100137 336659 | 1 308145 33 | 1.689 % | 1099.01/1099.06 c | 4996421 | 20085 100137 336659 | 1 309229 33 | 1.689 % | 1099.01/1099.06 c | 4996538 | 20085 100137 336659 | 1 309346 33 | 1.689 % | 1099.01/1099.06 c | 5006711 | 20085 100137 336659 | 1 162122 20 | 1.689 % | 1099.01/1099.06 c | 5006842 | 20085 100137 336659 | 1 162253 20 | 1.689 % | 1099.01/1099.06 c | 5008825 | 20085 100137 336659 | 1 164236 21 | 1.689 % | 1099.01/1099.06 c | 5008992 | 20085 100137 336659 | 1 164403 21 | 1.689 % | 1099.01/1099.06 c | 5010080 | 20085 100137 336659 | 1 165491 21 | 1.689 % | 1099.01/1099.06 c | 5029695 | 20085 100137 336659 | 1 185106 23 | 1.689 % | 1099.01/1099.06 c | 5029799 | 20085 100137 336659 | 1 185210 23 | 1.689 % | 1099.01/1099.06 c | 5031074 | 20085 100137 336659 | 1 186485 23 | 1.689 % | 1099.01/1099.06 c | 5033386 | 20085 100137 336659 | 1 188797 24 | 1.689 % | 1099.01/1099.06 c | 5033817 | 20085 100137 336659 | 1 189228 24 | 1.689 % | 1099.01/1099.06 c | 5066371 | 20085 100137 336659 | 1 221782 27 | 1.689 % | 1099.01/1099.06 c | 5066565 | 20085 100137 336659 | 1 221976 27 | 1.689 % | 1099.01/1099.06 c | 5069161 | 20085 100137 336659 | 1 224572 27 | 1.689 % | 1174.91/1174.98 c | 5070145 | 20085 100137 336659 | 1 225556 27 | 1.689 % | 1174.91/1174.98 c | 5070245 | 20085 100137 336659 | 1 225656 27 | 1.689 % | 1174.91/1174.98 c | 5102750 | 20085 100137 336659 | 1 258161 29 | 1.689 % | 1174.91/1174.98 c | 5106735 | 20085 100137 336659 | 1 262146 30 | 1.689 % | 1174.91/1174.98 c | 5113870 | 20085 100137 336659 | 1 269281 30 | 1.689 % | 1174.91/1174.98 c | 5115990 | 20085 100137 336659 | 1 271401 30 | 1.689 % | 1174.91/1174.98 c | 5195231 | 20084 100129 336609 | 1 190648 22 | 1.694 % | 1174.91/1174.98 c | 5195334 | 20084 100129 336609 | 1 190751 22 | 1.694 % | 1174.91/1174.98 c | 5199227 | 20084 100129 336609 | 1 194644 22 | 1.694 % | 1174.91/1174.98 c | 5200047 | 20084 100129 336609 | 1 195464 22 | 1.694 % | 1174.91/1174.98 c | 5200620 | 20084 100129 336609 | 1 196037 22 | 1.694 % | 1174.91/1174.98 c | 5203178 | 20084 100129 336609 | 1 198595 23 | 1.694 % | 1174.91/1174.98 c | 5208045 | 20084 100129 336609 | 1 203462 23 | 1.694 % | 1174.91/1174.98 c | 5208146 | 20084 100129 336609 | 1 203563 23 | 1.694 % | 1174.91/1174.98 c | 5208837 | 20084 100129 336609 | 1 204254 23 | 1.694 % | 1174.91/1174.98 c | 5211869 | 20084 100129 336609 | 1 207286 24 | 1.694 % | 1174.91/1174.98 c | 5236745 | 20084 100129 336609 | 1 232162 26 | 1.694 % | 1174.91/1174.98 c | 5237605 | 20084 100129 336609 | 1 233022 26 | 1.694 % | 1174.91/1174.98 c | 5237790 | 20084 100129 336609 | 1 233207 26 | 1.694 % | 1174.91/1174.98 c | 5238512 | 20084 100129 336609 | 1 233929 26 | 1.694 % | 1174.91/1174.98 c | 5270715 | 20084 100129 336609 | 1 266132 28 | 1.694 % | 1174.91/1174.98 c | 5271536 | 20084 100129 336609 | 1 266953 28 | 1.694 % | 1174.91/1174.98 c | 5271636 | 20084 100129 336609 | 1 267053 28 | 1.694 % | 1174.91/1174.98 c | 5280377 | 20084 100129 336609 | 1 275794 28 | 1.694 % | 1174.91/1174.98 c | 5280489 | 20084 100129 336609 | 1 275906 28 | 1.694 % | 1174.91/1174.98 c | 5283479 | 20084 100129 336609 | 1 278896 28 | 1.694 % | 1174.91/1174.98 c | 5283765 | 20084 100129 336609 | 1 279182 28 | 1.694 % | 1174.91/1174.98 c | 5284441 | 20084 100129 336609 | 1 279858 28 | 1.694 % | 1174.91/1174.98 c | 5285715 | 20084 100129 336609 | 1 281132 28 | 1.694 % | 1174.91/1174.98 c | 5285815 | 20084 100129 336609 | 1 281232 28 | 1.694 % | 1174.91/1174.98 c | 5325449 | 20084 100129 336609 | 1 320866 30 | 1.694 % | 1174.91/1174.98 c | 5335563 | 20084 100129 336609 | 1 168377 19 | 1.694 % | 1174.91/1174.98 c | 5343927 | 20084 100129 336609 | 1 176741 20 | 1.694 % | 1174.91/1174.98 c | 5344091 | 20084 100129 336609 | 1 176905 20 | 1.694 % | 1174.91/1174.98 c | 5344632 | 20084 100129 336609 | 1 177446 20 | 1.694 % | 1174.91/1174.98 c | 5345041 | 20084 100129 336609 | 1 177855 20 | 1.694 % | 1174.91/1174.98 c | 5348168 | 20084 100129 336609 | 1 180982 20 | 1.694 % | 1174.91/1174.98 c | 5348901 | 20084 100129 336609 | 1 181715 20 | 1.694 % | 1174.91/1174.98 c | 5349104 | 20084 100129 336609 | 1 181918 20 | 1.694 % | 1174.91/1174.98 c | 5350472 | 20084 100129 336609 | 1 183286 21 | 1.694 % | 1174.91/1174.98 c | 5352440 | 20084 100129 336609 | 1 185254 21 | 1.694 % | 1174.91/1174.98 c | 5360751 | 20084 100129 336609 | 1 193565 22 | 1.694 % | 1174.91/1174.98 c | 5361543 | 20084 100129 336609 | 1 194357 22 | 1.694 % | 1174.91/1174.98 c | 5361743 | 20084 100129 336609 | 1 194557 22 | 1.694 % | 1174.91/1174.98 c | 5366999 | 20084 100129 336609 | 1 199813 23 | 1.694 % | 1174.91/1174.98 c | 5367099 | 20084 100129 336609 | 1 199913 23 | 1.694 % | 1174.91/1174.98 c | 5367881 | 20084 100129 336609 | 1 200695 23 | 1.694 % | 1174.91/1174.98 c | 5368460 | 20084 100129 336609 | 1 201274 23 | 1.694 % | 1174.91/1174.98 c | 5368883 | 20084 100129 336609 | 1 201697 23 | 1.694 % | 1174.91/1174.98 c | 5368983 | 20084 100129 336609 | 1 201797 23 | 1.694 % | 1271.71/1271.79 c | 5369086 | 20084 100129 336609 | 1 201900 23 | 1.694 % | 1271.71/1271.79 c | 5375034 | 20084 100129 336609 | 1 207848 24 | 1.694 % | 1271.71/1271.79 c | 5376447 | 20084 100129 336609 | 1 209261 24 | 1.694 % | 1271.71/1271.79 c | 5377024 | 20084 100129 336609 | 1 209838 25 | 1.694 % | 1271.71/1271.79 c | 5377127 | 20084 100129 336609 | 1 209941 25 | 1.694 % | 1271.71/1271.79 c | 5377236 | 20084 100129 336609 | 1 210050 25 | 1.694 % | 1271.71/1271.79 c | 5378539 | 20084 100129 336609 | 1 211353 25 | 1.694 % | 1271.71/1271.79 c | 5378639 | 20084 100129 336609 | 1 211453 25 | 1.694 % | 1271.71/1271.79 c | 5380082 | 20084 100129 336609 | 1 212896 25 | 1.694 % | 1271.71/1271.79 c | 5380302 | 20084 100129 336609 | 1 213116 25 | 1.694 % | 1271.71/1271.79 c | 5380415 | 20084 100129 336609 | 1 213229 25 | 1.694 % | 1271.71/1271.79 c | 5390494 | 20084 100129 336609 | 1 223308 26 | 1.694 % | 1271.71/1271.79 c | 5400134 | 20084 100129 336609 | 1 232948 26 | 1.694 % | 1271.71/1271.79 c | 5458465 | 20084 100129 336609 | 1 291279 28 | 1.694 % | 1271.71/1271.79 c | 5458972 | 20084 100129 336609 | 1 291786 28 | 1.694 % | 1271.71/1271.79 c | 5459388 | 20084 100129 336609 | 1 292202 28 | 1.694 % | 1271.71/1271.79 c | 5471527 | 20084 100129 336609 | 1 304341 29 | 1.694 % | 1271.71/1271.79 c | 5484877 | 20084 100129 336609 | 1 317691 30 | 1.694 % | 1271.71/1271.79 c | 5486391 | 20084 100129 336609 | 1 319205 30 | 1.694 % | 1271.71/1271.79 c | 5488086 | 20084 100129 336609 | 1 320900 30 | 1.694 % | 1271.71/1271.79 c | 5507817 | 20084 100129 336609 | 1 175434 20 | 1.694 % | 1271.71/1271.79 c | 5509857 | 20084 100129 336609 | 1 177474 20 | 1.694 % | 1271.71/1271.79 c | 5518832 | 20084 100129 336609 | 1 186449 22 | 1.694 % | 1271.71/1271.79 c | 5522951 | 20084 100129 336609 | 1 190568 23 | 1.694 % | 1271.71/1271.79 c | 5525541 | 20084 100129 336609 | 1 193158 23 | 1.694 % | 1271.71/1271.79 c | 5526245 | 20084 100129 336609 | 1 193862 23 | 1.694 % | 1271.71/1271.79 c | 5526481 | 20084 100129 336609 | 1 194098 23 | 1.694 % | 1271.71/1271.79 c | 5539931 | 20084 100129 336609 | 1 207548 25 | 1.694 % | 1271.71/1271.79 c | 5548588 | 20084 100129 336609 | 1 216205 26 | 1.694 % | 1271.71/1271.79 c | 5557665 | 20084 100129 336609 | 1 225282 27 | 1.694 % | 1271.71/1271.79 c | 5559349 | 20084 100129 336609 | 1 226966 27 | 1.694 % | 1271.71/1271.79 c | 5562168 | 20084 100129 336609 | 1 229785 27 | 1.694 % | 1271.71/1271.79 c | 5562981 | 20084 100129 336609 | 1 230598 28 | 1.694 % | 1271.71/1271.79 c | 5594984 | 20084 100129 336609 | 1 262601 30 | 1.694 % | 1271.71/1271.79 c | 5620242 | 20084 100129 336609 | 1 287859 32 | 1.694 % | 1271.71/1271.79 c | 5622397 | 20084 100129 336609 | 1 290014 32 | 1.694 % | 1271.71/1271.79 c | 5624019 | 20084 100129 336609 | 1 291636 32 | 1.694 % | 1271.71/1271.79 c | 5634362 | 20084 100129 336609 | 1 301979 33 | 1.694 % | 1271.71/1271.79 c | 5634469 | 20084 100129 336609 | 1 302086 33 | 1.694 % | 1271.71/1271.79 c | 5636259 | 20084 100129 336609 | 1 303876 33 | 1.694 % | 1271.71/1271.79 c | 5636935 | 20084 100129 336609 | 1 304552 33 | 1.694 % | 1271.71/1271.79 c | 5644348 | 20084 100129 336609 | 1 311965 33 | 1.694 % | 1271.71/1271.79 c | 5645185 | 20084 100129 336609 | 1 312802 33 | 1.694 % | 1271.71/1271.79 c | 5695242 | 20084 100129 336609 | 1 195065 22 | 1.694 % | 1271.71/1271.79 c | 5701554 | 20084 100129 336609 | 1 201377 23 | 1.694 % | 1271.71/1271.79 c | 5701711 | 20084 100129 336609 | 1 201534 23 | 1.694 % | 1271.71/1271.79 c | 5729915 | 20084 100129 336609 | 1 229738 26 | 1.694 % | 1271.71/1271.79 c | 5730055 | 20084 100129 336609 | 1 229878 26 | 1.694 % | 1271.71/1271.79 c | 5731829 | 20084 100129 336609 | 1 231652 27 | 1.694 % | 1271.71/1271.79 c | 5736146 | 20084 100129 336609 |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3289034-1303769233/watcher-3289034-1303769233 -o /tmp/evaluation-result-3289034-1303769233/solver-3289034-1303769233 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3289034-1303769233.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 4.00 3.99 3.84 5/192 15150 /proc/meminfo: memFree=23727504/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 469338629 8912896 252 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 252 211 178 0 69 0 [startup+0.100625 s] /proc/loadavg: 4.00 3.99 3.84 5/192 15150 /proc/meminfo: memFree=23727504/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 469338629 8912896 252 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200609 s] /proc/loadavg: 4.00 3.99 3.84 5/192 15150 /proc/meminfo: memFree=23727504/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 469338629 8912896 252 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300589 s] /proc/loadavg: 4.00 3.99 3.84 5/192 15150 /proc/meminfo: memFree=23727504/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 333 0 0 0 0 0 0 0 23 0 1 0 469338629 8912896 252 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.704512 s] /proc/loadavg: 4.00 3.99 3.84 5/192 15150 /proc/meminfo: memFree=23727504/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 Current children cumulated CPU time (s) 0.63 Current children cumulated vsize (KiB) 8704 [startup+1.50035 s] /proc/loadavg: 4.00 3.99 3.84 5/194 15155 /proc/meminfo: memFree=23709268/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=25248 CPUtime=0.84 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 4152 0 0 0 84 0 0 0 20 0 1 0 469338694 25853952 3029 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 6312 3029 250 17 0 2953 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 33952 [startup+3.10109 s] /proc/loadavg: 4.00 3.99 3.84 5/194 15155 /proc/meminfo: memFree=23703068/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=30104 CPUtime=2.44 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 5811 0 0 0 244 0 0 0 25 0 1 0 469338694 30826496 3619 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224757 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 7526 3619 251 17 0 4167 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 38808 [startup+6.30053 s] /proc/loadavg: 4.00 3.99 3.84 5/194 15155 /proc/meminfo: memFree=23681252/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=39224 CPUtime=5.65 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 9707 0 0 0 564 1 0 0 25 0 1 0 469338694 40165376 6129 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 9806 6129 251 17 0 6447 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 47928 [startup+12.7004 s] /proc/loadavg: 4.00 3.99 3.85 5/194 15155 /proc/meminfo: memFree=23630324/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=43644 CPUtime=12.05 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 12258 0 0 0 1203 2 0 0 25 0 1 0 469338694 44691456 6554 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 10911 6554 251 17 0 7552 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 52348 [startup+25.5011 s] /proc/loadavg: 4.00 3.99 3.85 5/194 15156 /proc/meminfo: memFree=23606180/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=46364 CPUtime=24.84 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 13640 0 0 0 2482 2 0 0 25 0 1 0 469338694 47476736 7906 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 11591 7906 251 17 0 8232 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 55068 [startup+51.1006 s] /proc/loadavg: 4.00 3.99 3.85 5/194 15156 /proc/meminfo: memFree=23614084/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=69800 CPUtime=50.44 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 24219 0 0 0 5041 3 0 0 25 0 1 0 469338694 71475200 12516 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 17450 12516 251 17 0 14091 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 78504 [startup+102.301 s] /proc/loadavg: 4.00 3.99 3.85 5/194 15158 /proc/meminfo: memFree=23572824/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=69800 CPUtime=101.65 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 25841 0 0 0 10161 4 0 0 25 0 1 0 469338694 71475200 14109 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 17450 14109 251 17 0 14091 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 78504 [startup+162.301 s] /proc/loadavg: 4.00 3.99 3.86 5/194 15189 /proc/meminfo: memFree=23586932/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=81416 CPUtime=161.65 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 28909 0 0 0 16161 4 0 0 25 0 1 0 469338694 83369984 16999 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 20354 16999 251 17 0 16995 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 90120 [startup+222.307 s] /proc/loadavg: 4.00 3.99 3.87 5/194 15191 /proc/meminfo: memFree=23540368/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=81416 CPUtime=221.65 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 28942 0 0 0 22161 4 0 0 25 0 1 0 469338694 83369984 17031 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 20354 17031 251 17 0 16995 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 90120 [startup+282.301 s] /proc/loadavg: 4.00 3.99 3.87 5/194 15192 /proc/meminfo: memFree=23518512/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=81416 CPUtime=281.65 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 28944 0 0 0 28161 4 0 0 25 0 1 0 469338694 83369984 17033 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224776 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 20354 17033 251 17 0 16995 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 90120 [startup+342.301 s] /proc/loadavg: 4.00 3.99 3.88 5/194 15194 /proc/meminfo: memFree=23515980/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=83084 CPUtime=341.65 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 29395 0 0 0 34161 4 0 0 25 0 1 0 469338694 85078016 17473 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 20771 17473 251 17 0 17412 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 91788 [startup+402.301 s] /proc/loadavg: 4.09 4.02 3.89 5/194 15196 /proc/meminfo: memFree=23487056/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 ################ # More data... # ################ /proc/15154/statm: 25517 22201 251 17 0 22158 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 110772 [startup+702.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 15204 /proc/meminfo: memFree=23389708/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=102068 CPUtime=701.66 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 127240 0 0 0 70143 23 0 0 25 0 1 0 469338694 104517632 22202 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 25517 22202 251 17 0 22158 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 110772 [startup+762.301 s] /proc/loadavg: 4.00 4.00 3.91 5/194 15205 /proc/meminfo: memFree=23467896/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=102068 CPUtime=761.67 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 146570 0 0 0 76141 26 0 0 25 0 1 0 469338694 104517632 22205 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 25517 22205 251 17 0 22158 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 110772 [startup+822.3 s] /proc/loadavg: 4.00 4.00 3.91 5/194 15207 /proc/meminfo: memFree=23329588/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=821.67 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 165887 0 0 0 82137 30 0 0 25 0 1 0 469338694 155021312 31207 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 31207 251 17 0 34488 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 160092 [startup+882.307 s] /proc/loadavg: 4.00 4.00 3.91 5/194 15208 /proc/meminfo: memFree=23414716/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=102068 CPUtime=881.68 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 178232 0 0 0 88135 33 0 0 25 0 1 0 469338694 104517632 22205 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225060 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 25517 22205 251 17 0 22158 0 Current children cumulated CPU time (s) 882.31 Current children cumulated vsize (KiB) 110772 [startup+942.301 s] /proc/loadavg: 4.13 4.03 3.92 5/194 15210 /proc/meminfo: memFree=23413556/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=941.67 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 197092 0 0 0 94130 37 0 0 25 0 1 0 469338694 155021312 31385 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 31385 251 17 0 34488 0 Current children cumulated CPU time (s) 942.3 Current children cumulated vsize (KiB) 160092 [startup+1002.3 s] /proc/loadavg: 4.05 4.02 3.92 5/194 15212 /proc/meminfo: memFree=23335596/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=102068 CPUtime=1001.67 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 210654 0 0 0 100126 41 0 0 25 0 1 0 469338694 104517632 22225 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 25517 22225 251 17 0 22158 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 110772 [startup+1062.3 s] /proc/loadavg: 4.02 4.02 3.92 5/194 15213 /proc/meminfo: memFree=23397656/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=1061.67 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 231284 0 0 0 106122 45 0 0 25 0 1 0 469338694 155021312 30699 33554432000 4194304 4260849 140735171710064 18446744073709551615 4209639 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 30699 251 17 0 34488 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 160092 [startup+1122.3 s] /proc/loadavg: 4.00 4.01 3.92 5/194 15218 /proc/meminfo: memFree=23261908/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=1121.68 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 246061 0 0 0 112118 50 0 0 25 0 1 0 469338694 155021312 33576 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 33576 251 17 0 34488 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 160092 [startup+1182.3 s] /proc/loadavg: 4.00 4.01 3.92 5/194 15219 /proc/meminfo: memFree=23325992/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=102068 CPUtime=1181.68 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 257319 0 0 0 118114 54 0 0 25 0 1 0 469338694 104517632 22225 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 25517 22225 251 17 0 22158 0 Current children cumulated CPU time (s) 1182.31 Current children cumulated vsize (KiB) 110772 [startup+1242.3 s] /proc/loadavg: 4.00 4.00 3.92 5/194 15221 /proc/meminfo: memFree=23383616/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=1241.67 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 279776 0 0 0 124108 59 0 0 25 0 1 0 469338694 155021312 33322 33554432000 4194304 4260849 140735171710064 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 33322 251 17 0 34488 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 160092 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 3.84 3.97 3.91 3/190 15225 /proc/meminfo: memFree=23563380/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=1299.39 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 293191 0 0 0 129876 63 0 0 25 0 1 0 469338694 155021312 33937 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 33937 251 17 0 34488 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 160092 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 3.84 3.97 3.91 3/190 15225 /proc/meminfo: memFree=23563380/32951124 swapFree=67111528/67111528 [pid=15150] ppid=15148 vsize=8704 CPUtime=0.63 cores=0,2 /proc/15150/stat : 15150 (glucose.sh) S 15148 15150 13679 0 -1 4202496 360 7442 0 0 0 0 61 2 17 0 1 0 469338629 8912896 254 33554432000 4194304 4922060 140734158089280 18446744073709551615 254261435525 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/15150/statm: 2176 254 211 178 0 69 0 [pid=15154] ppid=15150 vsize=151388 CPUtime=1299.39 cores=0,2 /proc/15154/stat : 15154 (glucose_static) R 15150 15150 13679 0 -1 4202496 293191 0 0 0 129876 63 0 0 25 0 1 0 469338694 155021312 33937 33554432000 4194304 4260849 140735171710064 18446744073709551615 4225142 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/15154/statm: 37847 33937 251 17 0 34488 0 Current children cumulated CPU time (s) 1300.02 Current children cumulated vsize (KiB) 160092 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 15150 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=617906 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=25996 # CPU time returned by wait4() is 0.643902 # while last known CPU time is 1300.02 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.02 CPU user time (s): 1299.37 CPU system time (s): 0.65 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 190912 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.617906 system time used= 0.025996 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 7802 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= 6 involuntary context switches= 10 runsolver used 2.33164 second user time and 4.77627 second system time The end
Begin job on node140 at 2011-04-26 00:07:13 IDJOB=3289034 IDBENCH=83113 IDSOLVER=1651 FILE ID=node140/3289034-1303769233 RUNJOBID= node140-1303767930-14940 PBS_JOBID= 13157121 Free space on /tmp= 72256 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/fuhs/slp-synthesis-AES/slp-synthesis-aes-top22.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3289034-1303769233/watcher-3289034-1303769233 -o /tmp/evaluation-result-3289034-1303769233/solver-3289034-1303769233 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3289034-1303769233.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= e822739302a2d834ec9ddfe9fbd0caa2 RANDOM SEED=651751735 node140.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.66 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.14 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.77 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.833 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 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 rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 23729148 kB Buffers: 2233488 kB Cached: 6220796 kB SwapCached: 0 kB Active: 1154520 kB Inactive: 7499768 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23729148 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 13520 kB Writeback: 0 kB AnonPages: 199564 kB Mapped: 15464 kB Slab: 501512 kB PageTables: 5692 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 392212 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72228 MiB End job on node140 at 2011-04-26 00:28:55