Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | ? (TO) | 1299.98 | 1300.01 |
Name | SAT04/handmade/kexu/frb-0.8/ frb59-26-1.used-as.sat04-891.cnf |
MD5SUM | 5877850d9f604b6973676132cbba5c90 |
Bench Category | CRAFTED (crafted 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 | 1534 |
Number of clauses | 132295 |
Sum of the clauses size | 266006 |
Maximum clause length | 26 |
Minimum clause length | 2 |
Number of clauses of size 1 | 0 |
Number of clauses of size 2 | 132236 |
Number of clauses of size 3 | 0 |
Number of clauses of size 4 | 0 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 59 |
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.03 c ============================================================================== 0.00/0.03 c | | ORIGINAL | LEARNT | | 0.00/0.03 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.03 c ============================================================================== 0.00/0.03 c | 0 | 132295 266006 | 39688 0 0 nan | 0.000 % | 0.00/0.35 c | 0 | 130281 429935 | -- 0 -- -- | -- | -2014/163929 0.00/0.35 c ============================================================================== 0.00/0.35 c Result : #vars: 1475 #clauses: 130281 #literals: 429935 0.00/0.35 c CPU time: 0.343947 s 0.00/0.35 c ============================================================================== 0.00/0.42 c 0.00/0.42 c Starting glucose 0.00/0.42 c 43.05/43.14 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 43.05/43.14 c WARNING: for repeatability, setting FPU to use double precision 43.05/43.14 c ============================[ Problem Statistics ]============================= 43.05/43.14 c | | 43.05/43.14 c | Number of variables: 1475 | 43.05/43.14 c | Number of clauses: 130281 | 43.05/43.14 c | Parse time: 0.02 s | 43.05/43.14 c | | 43.05/43.14 c ============================[ Search Statistics ]============================== 43.05/43.14 c | Conflicts | ORIGINAL | LEARNT | Progress | 43.05/43.14 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 43.05/43.14 c =============================================================================== 43.05/43.14 c | 715 | 1475 130281 429935 | 1 715 115 | 0.000 % | 43.05/43.14 c | 2591 | 1475 130281 429935 | 1 2591 97 | 0.000 % | 43.05/43.14 c | 36506 | 1475 130281 429935 | 1 14214 51 | 0.000 % | 43.05/43.14 c | 99438 | 1475 130281 429935 | 1 33865 50 | 0.000 % | 43.05/43.14 c | 142686 | 1475 130281 429935 | 1 35303 41 | 0.000 % | 43.05/43.14 c | 186339 | 1475 130281 429935 | 1 54159 48 | 0.000 % | 43.05/43.14 c | 196257 | 1475 130281 429935 | 1 36675 41 | 0.000 % | 43.05/43.14 c | 196888 | 1475 130281 429935 | 1 37306 41 | 0.000 % | 43.05/43.14 c | 196988 | 1475 130281 429935 | 1 37406 41 | 0.000 % | 43.05/43.14 c | 197088 | 1475 130281 429935 | 1 37506 41 | 0.000 % | 43.05/43.14 c | 216887 | 1475 130281 429935 | 1 57305 50 | 0.000 % | 43.05/43.14 c | 227030 | 1475 130281 429935 | 1 37445 41 | 0.000 % | 43.05/43.14 c | 229639 | 1475 130281 429935 | 1 40054 43 | 0.000 % | 43.05/43.14 c | 230719 | 1475 130281 429935 | 1 41134 44 | 0.000 % | 43.05/43.14 c | 234263 | 1475 130281 429935 | 1 44678 45 | 0.000 % | 43.05/43.14 c | 246404 | 1475 130281 429935 | 1 56819 46 | 0.000 % | 43.05/43.14 c | 246599 | 1475 130281 429935 | 1 57014 46 | 0.000 % | 43.05/43.14 c | 247647 | 1475 130281 429935 | 1 58062 47 | 0.000 % | 43.05/43.14 c | 264281 | 1475 130281 429935 | 1 42097 38 | 0.000 % | 43.05/43.14 c | 267402 | 1475 130281 429935 | 1 45218 39 | 0.000 % | 43.05/43.14 c | 289892 | 1475 130281 429935 | 1 67708 42 | 0.000 % | 43.05/43.14 c | 289993 | 1475 130281 429935 | 1 67809 42 | 0.000 % | 43.05/43.14 c | 298965 | 1475 130281 429935 | 1 41579 35 | 0.000 % | 43.05/43.14 c | 303911 | 1475 130281 429935 | 1 46525 37 | 0.000 % | 43.05/43.14 c | 314035 | 1475 130281 429935 | 1 56649 40 | 0.000 % | 43.05/43.14 c | 321614 | 1475 130281 429935 | 1 64228 43 | 0.000 % | 43.05/43.14 c | 338635 | 1475 130281 429935 | 1 43452 36 | 0.000 % | 43.05/43.14 c | 345271 | 1475 130281 429935 | 1 50088 39 | 0.000 % | 43.05/43.14 c | 345425 | 1475 130281 429935 | 1 50242 39 | 0.000 % | 43.05/43.14 c | 346042 | 1475 130281 429935 | 1 50859 39 | 0.000 % | 43.05/43.14 c | 347682 | 1475 130281 429935 | 1 52499 40 | 0.000 % | 43.05/43.14 c | 350760 | 1475 130281 429935 | 1 55577 42 | 0.000 % | 43.05/43.14 c | 352401 | 1475 130281 429935 | 1 57218 42 | 0.000 % | 43.05/43.14 c | 358910 | 1475 130281 429935 | 1 63727 45 | 0.000 % | 43.05/43.14 c | 368091 | 1475 130281 429935 | 1 72908 47 | 0.000 % | 43.05/43.14 c | 370532 | 1475 130281 429935 | 1 75349 48 | 0.000 % | 43.05/43.14 c | 375699 | 1475 130281 429935 | 1 80516 49 | 0.000 % | 43.05/43.14 c | 375872 | 1475 130281 429935 | 1 80689 49 | 0.000 % | 43.05/43.14 c | 380106 | 1475 130281 429935 | 1 44523 35 | 0.000 % | 72.15/72.26 c | 380207 | 1475 130281 429935 | 1 44624 35 | 0.000 % | 72.15/72.26 c | 382399 | 1475 130281 429935 | 1 46816 37 | 0.000 % | 72.15/72.26 c | 382844 | 1475 130281 429935 | 1 47261 37 | 0.000 % | 72.15/72.26 c | 384736 | 1475 130281 429935 | 1 49153 39 | 0.000 % | 72.15/72.26 c | 384836 | 1475 130281 429935 | 1 49253 39 | 0.000 % | 72.15/72.26 c | 413018 | 1475 130281 429935 | 1 77435 52 | 0.000 % | 72.15/72.26 c | 413118 | 1475 130281 429935 | 1 77535 52 | 0.000 % | 72.15/72.26 c | 413221 | 1475 130281 429935 | 1 77638 52 | 0.000 % | 72.15/72.26 c | 418659 | 1475 130281 429935 | 1 83076 53 | 0.000 % | 72.15/72.26 c | 421076 | 1475 130281 429935 | 1 85493 54 | 0.000 % | 72.15/72.26 c | 439755 | 1475 130281 429935 | 1 61166 44 | 0.000 % | 72.15/72.26 c | 444068 | 1475 130281 429935 | 1 65479 45 | 0.000 % | 72.15/72.26 c | 475201 | 1475 130281 429935 | 1 51019 37 | 0.000 % | 72.15/72.26 c | 478657 | 1475 130281 429935 | 1 54475 39 | 0.000 % | 72.15/72.26 c | 479786 | 1475 130281 429935 | 1 55604 40 | 0.000 % | 72.15/72.26 c | 494063 | 1475 130281 429935 | 1 69881 46 | 0.000 % | 72.15/72.26 c | 497253 | 1475 130281 429935 | 1 73071 47 | 0.000 % | 72.15/72.26 c | 500307 | 1475 130281 429935 | 1 76125 48 | 0.000 % | 72.15/72.26 c | 506225 | 1475 130281 429935 | 1 82043 50 | 0.000 % | 72.15/72.26 c | 509849 | 1475 130281 429935 | 1 85667 51 | 0.000 % | 72.15/72.26 c | 513039 | 1475 130281 429935 | 1 88857 52 | 0.000 % | 72.15/72.26 c | 515476 | 1475 130281 429935 | 1 91294 53 | 0.000 % | 72.15/72.26 c | 516980 | 1475 130281 429935 | 1 92798 53 | 0.000 % | 72.15/72.26 c | 518618 | 1475 130281 429935 | 1 94436 54 | 0.000 % | 72.15/72.26 c | 525606 | 1475 130281 429935 | 1 53224 39 | 0.000 % | 72.15/72.26 c | 526460 | 1475 130281 429935 | 1 54078 39 | 0.000 % | 72.15/72.26 c | 529432 | 1475 130281 429935 | 1 57050 41 | 0.000 % | 72.15/72.26 c | 531411 | 1475 130281 429935 | 1 59029 42 | 0.000 % | 72.15/72.26 c | 534646 | 1475 130281 429935 | 1 62264 44 | 0.000 % | 72.15/72.26 c | 534748 | 1475 130281 429935 | 1 62366 44 | 0.000 % | 72.15/72.26 c | 535825 | 1475 130281 429935 | 1 63443 44 | 0.000 % | 72.15/72.26 c | 539504 | 1475 130281 429935 | 1 67122 45 | 0.000 % | 72.15/72.26 c | 541897 | 1475 130281 429935 | 1 69515 47 | 0.000 % | 72.15/72.26 c | 542387 | 1475 130281 429935 | 1 70005 47 | 0.000 % | 72.15/72.26 c | 546769 | 1475 130281 429935 | 1 74387 49 | 0.000 % | 72.15/72.26 c | 547066 | 1475 130281 429935 | 1 74684 49 | 0.000 % | 72.15/72.26 c | 547167 | 1475 130281 429935 | 1 74785 49 | 0.000 % | 72.15/72.26 c | 548806 | 1475 130281 429935 | 1 76424 50 | 0.000 % | 72.15/72.26 c | 556661 | 1475 130281 429935 | 1 84279 52 | 0.000 % | 72.15/72.26 c | 558451 | 1475 130281 429935 | 1 86069 52 | 0.000 % | 72.15/72.26 c | 566913 | 1475 130281 429935 | 1 94531 53 | 0.000 % | 72.15/72.26 c | 567455 | 1475 130281 429935 | 1 95073 53 | 0.000 % | 72.15/72.26 c | 572527 | 1475 130281 429935 | 1 100145 53 | 0.000 % | 72.15/72.26 c | 573345 | 1475 130281 429935 | 1 100963 54 | 0.000 % | 72.15/72.26 c | 573824 | 1475 130281 429935 | 1 101442 54 | 0.000 % | 72.15/72.26 c | 574319 | 1475 130281 429935 | 1 51133 34 | 0.000 % | 72.15/72.26 c | 574688 | 1475 130281 429935 | 1 51502 34 | 0.000 % | 72.15/72.26 c | 594378 | 1475 130281 429935 | 1 71192 40 | 0.000 % | 72.15/72.26 c | 608524 | 1475 130281 429935 | 1 85338 45 | 0.000 % | 72.15/72.26 c | 608624 | 1475 130281 429935 | 1 85438 45 | 0.000 % | 116.85/116.93 c | 611928 | 1475 130281 429935 | 1 88742 46 | 0.000 % | 116.85/116.93 c | 614004 | 1475 130281 429935 | 1 90818 46 | 0.000 % | 116.85/116.93 c | 644226 | 1475 130281 429935 | 1 67645 37 | 0.000 % | 116.85/116.93 c | 651828 | 1475 130281 429935 | 1 75247 39 | 0.000 % | 116.85/116.93 c | 652870 | 1475 130281 429935 | 1 76289 40 | 0.000 % | 116.85/116.93 c | 665574 | 1475 130281 429935 | 1 88993 43 | 0.000 % | 116.85/116.93 c | 665769 | 1475 130281 429935 | 1 89188 43 | 0.000 % | 116.85/116.93 c | 690291 | 1475 130281 429935 | 1 57709 32 | 0.000 % | 116.85/116.93 c | 691001 | 1475 130281 429935 | 1 58419 33 | 0.000 % | 116.85/116.93 c | 691901 | 1475 130281 429935 | 1 59319 33 | 0.000 % | 116.85/116.93 c | 692081 | 1475 130281 429935 | 1 59499 33 | 0.000 % | 116.85/116.93 c | 692294 | 1475 130281 429935 | 1 59712 33 | 0.000 % | 116.85/116.93 c | 694955 | 1475 130281 429935 | 1 62373 34 | 0.000 % | 116.85/116.93 c | 699273 | 1475 130281 429935 | 1 66691 36 | 0.000 % | 116.85/116.93 c | 711791 | 1475 130281 429935 | 1 79209 40 | 0.000 % | 116.85/116.93 c | 728218 | 1475 130281 429935 | 1 95636 46 | 0.000 % | 116.85/116.93 c | 729135 | 1475 130281 429935 | 1 96553 47 | 0.000 % | 116.85/116.93 c | 735250 | 1475 130281 429935 | 1 102668 49 | 0.000 % | 116.85/116.93 c | 738529 | 1475 130281 429935 | 1 105947 50 | 0.000 % | 116.85/116.93 c | 748408 | 1475 130281 429935 | 1 115826 51 | 0.000 % | 116.85/116.93 c | 754580 | 1475 130281 429935 | 1 63404 36 | 0.000 % | 116.85/116.93 c | 759801 | 1475 130281 429935 | 1 68625 40 | 0.000 % | 116.85/116.93 c | 768990 | 1475 130281 429935 | 1 77814 43 | 0.000 % | 116.85/116.93 c | 776973 | 1475 130281 429935 | 1 85797 45 | 0.000 % | 116.85/116.93 c | 792690 | 1475 130281 429935 | 1 101514 50 | 0.000 % | 116.85/116.93 c | 798751 | 1475 130281 429935 | 1 107575 50 | 0.000 % | 116.85/116.93 c | 799845 | 1475 130281 429935 | 1 108669 51 | 0.000 % | 116.85/116.93 c | 801291 | 1475 130281 429935 | 1 110115 51 | 0.000 % | 116.85/116.93 c | 806898 | 1475 130281 429935 | 1 115722 51 | 0.000 % | 116.85/116.93 c | 807526 | 1475 130281 429935 | 1 116350 51 | 0.000 % | 116.85/116.93 c | 807627 | 1475 130281 429935 | 1 116451 51 | 0.000 % | 116.85/116.93 c | 807893 | 1475 130281 429935 | 1 116717 52 | 0.000 % | 116.85/116.93 c | 823389 | 1475 130281 429935 | 1 71026 38 | 0.000 % | 116.85/116.93 c | 824441 | 1475 130281 429935 | 1 72078 38 | 0.000 % | 116.85/116.93 c | 826152 | 1475 130281 429935 | 1 73789 39 | 0.000 % | 116.85/116.93 c | 834827 | 1475 130281 429935 | 1 82464 41 | 0.000 % | 116.85/116.93 c | 834960 | 1475 130281 429935 | 1 82597 41 | 0.000 % | 116.85/116.93 c | 835295 | 1475 130281 429935 | 1 82932 42 | 0.000 % | 116.85/116.93 c | 835395 | 1475 130281 429935 | 1 83032 42 | 0.000 % | 116.85/116.93 c | 843435 | 1475 130281 429935 | 1 91072 44 | 0.000 % | 116.85/116.93 c | 851406 | 1475 130281 429935 | 1 99043 45 | 0.000 % | 116.85/116.93 c | 857924 | 1475 130281 429935 | 1 105561 47 | 0.000 % | 116.85/116.93 c | 858920 | 1475 130281 429935 | 1 106557 47 | 0.000 % | 116.85/116.93 c | 862762 | 1475 130281 429935 | 1 110399 48 | 0.000 % | 116.85/116.93 c | 862862 | 1475 130281 429935 | 1 110499 48 | 0.000 % | 116.85/116.93 c | 891347 | 1475 130281 429935 | 1 75184 36 | 0.000 % | 116.85/116.93 c | 899439 | 1475 130281 429935 | 1 83276 39 | 0.000 % | 116.85/116.93 c | 899955 | 1475 130281 429935 | 1 83792 39 | 0.000 % | 116.85/116.93 c | 904660 | 1475 130281 429935 | 1 88497 40 | 0.000 % | 116.85/116.93 c | 907969 | 1475 130281 429935 | 1 91806 42 | 0.000 % | 135.36/135.46 c | 908672 | 1475 130281 429935 | 1 92509 42 | 0.000 % | 135.36/135.46 c | 915803 | 1475 130281 429935 | 1 99640 44 | 0.000 % | 135.36/135.46 c | 915921 | 1475 130281 429935 | 1 99758 45 | 0.000 % | 135.36/135.46 c | 916312 | 1475 130281 429935 | 1 100149 45 | 0.000 % | 135.36/135.46 c | 918801 | 1475 130281 429935 | 1 102638 45 | 0.000 % | 135.36/135.46 c | 918964 | 1475 130281 429935 | 1 102801 45 | 0.000 % | 135.36/135.46 c | 919195 | 1475 130281 429935 | 1 103032 45 | 0.000 % | 135.36/135.46 c | 919605 | 1475 130281 429935 | 1 103442 46 | 0.000 % | 135.36/135.46 c | 930590 | 1475 130281 429935 | 1 114427 48 | 0.000 % | 135.36/135.46 c | 930693 | 1475 130281 429935 | 1 114530 48 | 0.000 % | 135.36/135.46 c | 933101 | 1475 130281 429935 | 1 116938 49 | 0.000 % | 135.36/135.46 c | 933208 | 1475 130281 429935 | 1 117045 49 | 0.000 % | 135.36/135.47 c | 947587 | 1475 130281 429935 | 1 131424 52 | 0.000 % | 135.36/135.47 c | 962885 | 1475 130281 429935 | 1 80314 44 | 0.000 % | 135.36/135.47 c | 964553 | 1475 130281 429935 | 1 81982 44 | 0.000 % | 135.36/135.47 c | 964654 | 1475 130281 429935 | 1 82083 44 | 0.000 % | 135.36/135.47 c | 964754 | 1475 130281 429935 | 1 82183 44 | 0.000 % | 135.36/135.47 c | 964854 | 1475 130281 429935 | 1 82283 44 | 0.000 % | 135.36/135.47 c | 966085 | 1475 130281 429935 | 1 83514 45 | 0.000 % | 135.36/135.47 c | 966274 | 1475 130281 429935 | 1 83703 45 | 0.000 % | 135.36/135.47 c | 966641 | 1475 130281 429935 | 1 84070 45 | 0.000 % | 135.36/135.47 c | 966742 | 1475 130281 429935 | 1 84171 45 | 0.000 % | 135.36/135.47 c | 967738 | 1475 130281 429935 | 1 85167 46 | 0.000 % | 135.36/135.47 c | 967928 | 1475 130281 429935 | 1 85357 46 | 0.000 % | 135.36/135.47 c | 971345 | 1475 130281 429935 | 1 88774 47 | 0.000 % | 135.36/135.47 c | 971445 | 1475 130281 429935 | 1 88874 47 | 0.000 % | 135.36/135.47 c | 972212 | 1475 130281 429935 | 1 89641 47 | 0.000 % | 135.36/135.47 c | 973222 | 1475 130281 429935 | 1 90651 47 | 0.000 % | 135.36/135.47 c | 973392 | 1475 130281 429935 | 1 90821 47 | 0.000 % | 135.36/135.47 c | 978511 | 1475 130281 429935 | 1 95940 48 | 0.000 % | 135.36/135.47 c | 979133 | 1475 130281 429935 | 1 96562 49 | 0.000 % | 135.36/135.47 c | 993968 | 1475 130281 429935 | 1 111397 52 | 0.000 % | 135.36/135.47 c | 1005627 | 1475 130281 429935 | 1 123056 54 | 0.000 % | 135.36/135.47 c | 1006067 | 1475 130281 429935 | 1 123496 54 | 0.000 % | 135.36/135.47 c | 1011693 | 1475 130281 429935 | 1 129122 55 | 0.000 % | 135.36/135.47 c | 1011919 | 1475 130281 429935 | 1 129348 55 | 0.000 % | 135.36/135.47 c | 1013636 | 1475 130281 429935 | 1 131065 56 | 0.000 % | 135.36/135.47 c | 1013737 | 1475 130281 429935 | 1 131166 56 | 0.000 % | 135.36/135.47 c | 1015733 | 1475 130281 429935 | 1 133162 56 | 0.000 % | 135.36/135.47 c | 1021391 | 1475 130281 429935 | 1 69815 35 | 0.000 % | 135.36/135.47 c | 1024115 | 1475 130281 429935 | 1 72539 36 | 0.000 % | 135.36/135.47 c | 1024218 | 1475 130281 429935 | 1 72642 36 | 0.000 % | 135.36/135.47 c | 1026844 | 1475 130281 429935 | 1 75268 37 | 0.000 % | 135.36/135.47 c | 1027573 | 1475 130281 429935 | 1 75997 37 | 0.000 % | 135.36/135.47 c | 1027753 | 1475 130281 429935 | 1 76177 38 | 0.000 % | 135.36/135.47 c | 1030255 | 1475 130281 429935 | 1 78679 39 | 0.000 % | 135.36/135.47 c | 1031126 | 1475 130281 429935 | 1 79550 39 | 0.000 % | 135.36/135.47 c | 1031226 | 1475 130281 429935 | 1 79650 39 | 0.000 % | 135.36/135.47 c | 1037179 | 1475 130281 429935 | 1 85603 43 | 0.000 % | 135.36/135.47 c | 1043167 | 1475 130281 429935 | 1 91591 45 | 0.000 % | 174.96/175.09 c | 1044865 | 1475 130281 429935 | 1 93289 45 | 0.000 % | 174.96/175.09 c | 1046818 | 1475 130281 429935 | 1 95242 46 | 0.000 % | 174.96/175.09 c | 1065140 | 1475 130281 429935 | 1 113564 47 | 0.000 % | 174.96/175.09 c | 1071595 | 1475 130281 429935 | 1 120019 48 | 0.000 % | 174.96/175.09 c | 1076666 | 1475 130281 429935 | 1 125090 49 | 0.000 % | 174.96/175.09 c | 1076766 | 1475 130281 429935 | 1 125190 49 | 0.000 % | 174.96/175.09 c | 1077719 | 1475 130281 429935 | 1 126143 49 | 0.000 % | 174.96/175.09 c | 1078069 | 1475 130281 429935 | 1 126493 49 | 0.000 % | 174.96/175.09 c | 1078217 | 1475 130281 429935 | 1 126641 49 | 0.000 % | 174.96/175.09 c | 1079703 | 1475 130281 429935 | 1 128127 49 | 0.000 % | 174.96/175.09 c | 1081228 | 1475 130281 429935 | 1 129652 49 | 0.000 % | 174.96/175.09 c | 1097442 | 1475 130281 429935 | 1 74263 33 | 0.000 % | 174.96/175.09 c | 1097542 | 1475 130281 429935 | 1 74363 33 | 0.000 % | 174.96/175.09 c | 1117536 | 1475 130281 429935 | 1 94357 40 | 0.000 % | 174.96/175.09 c | 1137466 | 1475 130281 429935 | 1 114287 44 | 0.000 % | 174.96/175.09 c | 1137566 | 1475 130281 429935 | 1 114387 44 | 0.000 % | 174.96/175.09 c | 1138120 | 1475 130281 429935 | 1 114941 44 | 0.000 % | 174.96/175.09 c | 1150846 | 1475 130281 429935 | 1 127667 46 | 0.000 % | 174.96/175.09 c | 1152610 | 1475 130281 429935 | 1 129431 46 | 0.000 % | 174.96/175.09 c | 1152788 | 1475 130281 429935 | 1 129609 46 | 0.000 % | 174.96/175.09 c | 1155763 | 1475 130281 429935 | 1 132584 47 | 0.000 % | 174.96/175.09 c | 1165706 | 1475 130281 429935 | 1 142527 48 | 0.000 % | 174.96/175.09 c | 1166326 | 1475 130281 429935 | 1 143147 49 | 0.000 % | 174.96/175.09 c | 1180291 | 1475 130281 429935 | 1 82912 36 | 0.000 % | 174.96/175.09 c | 1181646 | 1475 130281 429935 | 1 84267 36 | 0.000 % | 174.96/175.09 c | 1181895 | 1475 130281 429935 | 1 84516 37 | 0.000 % | 174.96/175.09 c | 1182197 | 1475 130281 429935 | 1 84818 37 | 0.000 % | 174.96/175.09 c | 1182387 | 1475 130281 429935 | 1 85008 37 | 0.000 % | 174.96/175.09 c | 1182489 | 1475 130281 429935 | 1 85110 37 | 0.000 % | 174.96/175.09 c | 1182589 | 1475 130281 429935 | 1 85210 37 | 0.000 % | 174.96/175.09 c | 1183025 | 1475 130281 429935 | 1 85646 37 | 0.000 % | 174.96/175.09 c | 1183154 | 1475 130281 429935 | 1 85775 37 | 0.000 % | 174.96/175.09 c | 1183750 | 1475 130281 429935 | 1 86371 38 | 0.000 % | 174.96/175.09 c | 1185131 | 1475 130281 429935 | 1 87752 38 | 0.000 % | 174.96/175.09 c | 1185702 | 1475 130281 429935 | 1 88323 38 | 0.000 % | 174.96/175.09 c | 1187300 | 1475 130281 429935 | 1 89921 39 | 0.000 % | 174.96/175.09 c | 1204392 | 1475 130281 429935 | 1 107013 42 | 0.000 % | 174.96/175.09 c | 1225050 | 1475 130281 429935 | 1 127671 45 | 0.000 % | 174.96/175.09 c | 1240986 | 1475 130281 429935 | 1 143607 46 | 0.000 % | 174.96/175.09 c | 1256415 | 1475 130281 429935 | 1 82231 32 | 0.000 % | 174.96/175.09 c | 1256556 | 1475 130281 429935 | 1 82372 32 | 0.000 % | 174.96/175.09 c | 1257142 | 1475 130281 429935 | 1 82958 32 | 0.000 % | 174.96/175.09 c | 1268780 | 1475 130281 429935 | 1 94596 35 | 0.000 % | 174.96/175.09 c | 1270112 | 1475 130281 429935 | 1 95928 35 | 0.000 % | 174.96/175.09 c | 1271198 | 1475 130281 429935 | 1 97014 36 | 0.000 % | 174.96/175.09 c | 1272956 | 1475 130281 429935 | 1 98772 36 | 0.000 % | 174.96/175.09 c | 1279810 | 1475 130281 429935 | 1 105626 39 | 0.000 % | 174.96/175.09 c | 1284806 | 1475 130281 429935 | 1 110622 41 | 0.000 % | 174.96/175.09 c | 1284925 | 1475 130281 429935 | 1 110741 41 | 0.000 % | 174.96/175.09 c | 1288908 | 1475 130281 429935 | 1 114724 42 | 0.000 % | 229.36/229.48 c | 1291041 | 1475 130281 429935 | 1 116857 43 | 0.000 % | 229.36/229.48 c | 1292632 | 1475 130281 429935 | 1 118448 43 | 0.000 % | 229.36/229.48 c | 1322540 | 1475 130281 429935 | 1 148356 51 | 0.000 % | 229.36/229.48 c | 1343390 | 1475 130281 429935 | 1 89807 36 | 0.000 % | 229.36/229.48 c | 1348715 | 1475 130281 429935 | 1 95132 37 | 0.000 % | 229.36/229.48 c | 1352128 | 1475 130281 429935 | 1 98545 39 | 0.000 % | 229.36/229.48 c | 1352892 | 1475 130281 429935 | 1 99309 39 | 0.000 % | 229.36/229.48 c | 1354305 | 1475 130281 429935 | 1 100722 40 | 0.000 % | 229.36/229.48 c | 1354954 | 1475 130281 429935 | 1 101371 40 | 0.000 % | 229.36/229.48 c | 1355054 | 1475 130281 429935 | 1 101471 40 | 0.000 % | 229.36/229.48 c | 1359809 | 1475 130281 429935 | 1 106226 42 | 0.000 % | 229.36/229.48 c | 1362078 | 1475 130281 429935 | 1 108495 42 | 0.000 % | 229.36/229.48 c | 1366582 | 1475 130281 429935 | 1 112999 43 | 0.000 % | 229.36/229.48 c | 1400784 | 1475 130281 429935 | 1 147201 48 | 0.000 % | 229.36/229.48 c | 1433016 | 1475 130281 429935 | 1 97430 37 | 0.000 % | 229.36/229.48 c | 1438661 | 1475 130281 429935 | 1 103075 39 | 0.000 % | 229.36/229.48 c | 1438845 | 1475 130281 429935 | 1 103259 39 | 0.000 % | 229.36/229.48 c | 1447193 | 1475 130281 429935 | 1 111607 41 | 0.000 % | 229.36/229.48 c | 1451351 | 1475 130281 429935 | 1 115765 42 | 0.000 % | 229.36/229.48 c | 1460960 | 1475 130281 429935 | 1 125374 44 | 0.000 % | 229.36/229.48 c | 1480650 | 1475 130281 429935 | 1 145064 46 | 0.000 % | 229.36/229.48 c | 1486255 | 1475 130281 429935 | 1 150669 47 | 0.000 % | 229.36/229.48 c | 1500069 | 1475 130281 429935 | 1 164483 49 | 0.000 % | 229.36/229.48 c | 1500170 | 1475 130281 429935 | 1 164584 49 | 0.000 % | 229.36/229.48 c | 1500874 | 1475 130281 429935 | 1 165288 50 | 0.000 % | 229.36/229.48 c | 1504770 | 1475 130281 429935 | 1 169184 50 | 0.000 % | 229.36/229.48 c | 1527234 | 1475 130281 429935 | 1 107046 38 | 0.000 % | 229.36/229.48 c | 1527335 | 1475 130281 429935 | 1 107147 38 | 0.000 % | 229.36/229.48 c | 1529449 | 1475 130281 429935 | 1 109261 39 | 0.000 % | 229.36/229.48 c | 1530591 | 1475 130281 429935 | 1 110403 39 | 0.000 % | 229.36/229.48 c | 1535034 | 1475 130281 429935 | 1 114846 40 | 0.000 % | 229.36/229.48 c | 1538934 | 1475 130281 429935 | 1 118746 41 | 0.000 % | 229.36/229.48 c | 1539059 | 1475 130281 429935 | 1 118871 41 | 0.000 % | 229.36/229.48 c | 1539208 | 1475 130281 429935 | 1 119020 41 | 0.000 % | 229.36/229.48 c | 1544707 | 1475 130281 429935 | 1 124519 42 | 0.000 % | 229.36/229.48 c | 1549806 | 1475 130281 429935 | 1 129618 43 | 0.000 % | 229.36/229.48 c | 1551570 | 1475 130281 429935 | 1 131382 43 | 0.000 % | 229.36/229.48 c | 1559017 | 1475 130281 429935 | 1 138829 45 | 0.000 % | 229.36/229.48 c | 1560652 | 1475 130281 429935 | 1 140464 45 | 0.000 % | 229.36/229.48 c | 1571657 | 1475 130281 429935 | 1 151469 48 | 0.000 % | 229.36/229.48 c | 1572160 | 1475 130281 429935 | 1 151972 48 | 0.000 % | 229.36/229.48 c | 1575371 | 1475 130281 429935 | 1 155183 49 | 0.000 % | 229.36/229.48 c | 1577394 | 1475 130281 429935 | 1 157206 50 | 0.000 % | 229.36/229.48 c | 1588049 | 1475 130281 429935 | 1 167861 51 | 0.000 % | 229.36/229.48 c | 1599671 | 1475 130281 429935 | 1 92281 35 | 0.000 % | 229.36/229.48 c | 1600444 | 1475 130281 429935 | 1 93054 35 | 0.000 % | 229.36/229.48 c | 1606926 | 1475 130281 429935 | 1 99536 37 | 0.000 % | 229.36/229.48 c | 1607760 | 1475 130281 429935 | 1 100370 38 | 0.000 % | 229.36/229.48 c | 1608497 | 1475 130281 429935 | 1 101107 38 | 0.000 % | 229.36/229.48 c | 1614126 | 1475 130281 429935 | 1 106736 40 | 0.000 % | 255.06/255.13 c | 1615339 | 1475 130281 429935 | 1 107949 40 | 0.000 % | 255.06/255.13 c | 1617798 | 1475 130281 429935 | 1 110408 41 | 0.000 % | 255.06/255.13 c | 1621337 | 1475 130281 429935 | 1 113947 42 | 0.000 % | 255.06/255.13 c | 1621666 | 1475 130281 429935 | 1 114276 42 | 0.000 % | 255.06/255.13 c | 1622603 | 1475 130281 429935 | 1 115213 42 | 0.000 % | 255.06/255.13 c | 1623180 | 1475 130281 429935 | 1 115790 43 | 0.000 % | 255.06/255.13 c | 1624617 | 1475 130281 429935 | 1 117227 43 | 0.000 % | 255.06/255.13 c | 1628167 | 1475 130281 429935 | 1 120777 44 | 0.000 % | 255.06/255.13 c | 1628562 | 1475 130281 429935 | 1 121172 44 | 0.000 % | 255.06/255.13 c | 1629177 | 1475 130281 429935 | 1 121787 44 | 0.000 % | 255.06/255.13 c | 1649726 | 1475 130281 429935 | 1 142336 48 | 0.000 % | 255.06/255.13 c | 1650723 | 1475 130281 429935 | 1 143333 48 | 0.000 % | 255.06/255.13 c | 1650824 | 1475 130281 429935 | 1 143434 48 | 0.000 % | 255.06/255.13 c | 1650924 | 1475 130281 429935 | 1 143534 48 | 0.000 % | 255.06/255.13 c | 1674613 | 1475 130281 429935 | 1 167223 50 | 0.000 % | 255.06/255.13 c | 1691959 | 1475 130281 429935 | 1 94778 34 | 0.000 % | 255.06/255.13 c | 1692552 | 1475 130281 429935 | 1 95371 34 | 0.000 % | 255.06/255.13 c | 1694396 | 1475 130281 429935 | 1 97215 35 | 0.000 % | 255.06/255.13 c | 1701398 | 1475 130281 429935 | 1 104217 37 | 0.000 % | 255.06/255.13 c | 1701498 | 1475 130281 429935 | 1 104317 37 | 0.000 % | 255.06/255.13 c | 1701693 | 1475 130281 429935 | 1 104512 37 | 0.000 % | 255.06/255.13 c | 1702378 | 1475 130281 429935 | 1 105197 37 | 0.000 % | 255.06/255.13 c | 1705427 | 1475 130281 429935 | 1 108246 38 | 0.000 % | 255.06/255.13 c | 1715602 | 1475 130281 429935 | 1 118421 40 | 0.000 % | 255.06/255.13 c | 1717542 | 1475 130281 429935 | 1 120361 40 | 0.000 % | 255.06/255.13 c | 1717642 | 1475 130281 429935 | 1 120461 40 | 0.000 % | 255.06/255.13 c | 1726174 | 1475 130281 429935 | 1 128993 44 | 0.000 % | 255.06/255.13 c | 1726283 | 1475 130281 429935 | 1 129102 44 | 0.000 % | 255.06/255.13 c | 1726384 | 1475 130281 429935 | 1 129203 44 | 0.000 % | 255.06/255.13 c | 1726488 | 1475 130281 429935 | 1 129307 44 | 0.000 % | 255.06/255.13 c | 1726624 | 1475 130281 429935 | 1 129443 44 | 0.000 % | 255.06/255.13 c | 1726724 | 1475 130281 429935 | 1 129543 44 | 0.000 % | 255.06/255.13 c | 1726975 | 1475 130281 429935 | 1 129794 44 | 0.000 % | 255.06/255.13 c | 1731552 | 1475 130281 429935 | 1 134371 45 | 0.000 % | 255.06/255.13 c | 1733463 | 1475 130281 429935 | 1 136282 45 | 0.000 % | 255.06/255.13 c | 1734174 | 1475 130281 429935 | 1 136993 45 | 0.000 % | 255.06/255.13 c | 1734372 | 1475 130281 429935 | 1 137191 45 | 0.000 % | 255.06/255.13 c | 1736330 | 1475 130281 429935 | 1 139149 46 | 0.000 % | 255.06/255.13 c | 1748747 | 1475 130281 429935 | 1 151566 47 | 0.000 % | 255.06/255.13 c | 1748849 | 1475 130281 429935 | 1 151668 47 | 0.000 % | 255.06/255.13 c | 1750957 | 1475 130281 429935 | 1 153776 48 | 0.000 % | 255.06/255.13 c | 1751438 | 1475 130281 429935 | 1 154257 48 | 0.000 % | 255.06/255.13 c | 1751717 | 1475 130281 429935 | 1 154536 48 | 0.000 % | 255.06/255.13 c | 1755010 | 1475 130281 429935 | 1 157829 48 | 0.000 % | 255.06/255.13 c | 1755111 | 1475 130281 429935 | 1 157930 48 | 0.000 % | 255.06/255.13 c | 1755288 | 1475 130281 429935 | 1 158107 48 | 0.000 % | 255.06/255.13 c | 1755466 | 1475 130281 429935 | 1 158285 48 | 0.000 % | 255.06/255.13 c | 1758413 | 1475 130281 429935 | 1 161232 49 | 0.000 % | 255.06/255.13 c | 1764840 | 1475 130281 429935 | 1 167659 50 | 0.000 % | 321.95/322.09 c | 1767805 | 1475 130281 429935 | 1 170624 50 | 0.000 % | 321.95/322.09 c | 1770097 | 1475 130281 429935 | 1 172916 50 | 0.000 % | 321.95/322.09 c | 1787850 | 1475 130281 429935 | 1 98264 33 | 0.000 % | 321.95/322.09 c | 1788849 | 1475 130281 429935 | 1 99263 34 | 0.000 % | 321.95/322.09 c | 1789042 | 1475 130281 429935 | 1 99456 34 | 0.000 % | 321.95/322.09 c | 1794136 | 1475 130281 429935 | 1 104550 35 | 0.000 % | 321.95/322.09 c | 1794651 | 1475 130281 429935 | 1 105065 36 | 0.000 % | 321.95/322.09 c | 1796893 | 1475 130281 429935 | 1 107307 36 | 0.000 % | 321.95/322.09 c | 1797914 | 1475 130281 429935 | 1 108328 37 | 0.000 % | 321.95/322.09 c | 1798213 | 1475 130281 429935 | 1 108627 37 | 0.000 % | 321.95/322.09 c | 1799671 | 1475 130281 429935 | 1 110085 37 | 0.000 % | 321.95/322.09 c | 1799957 | 1475 130281 429935 | 1 110371 37 | 0.000 % | 321.95/322.09 c | 1804321 | 1475 130281 429935 | 1 114735 38 | 0.000 % | 321.95/322.09 c | 1808453 | 1475 130281 429935 | 1 118867 39 | 0.000 % | 321.95/322.09 c | 1808888 | 1475 130281 429935 | 1 119302 39 | 0.000 % | 321.95/322.09 c | 1810714 | 1475 130281 429935 | 1 121128 39 | 0.000 % | 321.95/322.09 c | 1812682 | 1475 130281 429935 | 1 123096 40 | 0.000 % | 321.95/322.09 c | 1824994 | 1475 130281 429935 | 1 135408 41 | 0.000 % | 321.95/322.09 c | 1825197 | 1475 130281 429935 | 1 135611 41 | 0.000 % | 321.95/322.09 c | 1848623 | 1475 130281 429935 | 1 159037 48 | 0.000 % | 321.95/322.09 c | 1848751 | 1475 130281 429935 | 1 159165 48 | 0.000 % | 321.95/322.09 c | 1849556 | 1475 130281 429935 | 1 159970 48 | 0.000 % | 321.95/322.09 c | 1849921 | 1475 130281 429935 | 1 160335 48 | 0.000 % | 321.95/322.09 c | 1850519 | 1475 130281 429935 | 1 160933 48 | 0.000 % | 321.95/322.09 c | 1862499 | 1475 130281 429935 | 1 172913 51 | 0.000 % | 321.95/322.09 c | 1872713 | 1475 130281 429935 | 1 183127 52 | 0.000 % | 321.95/322.09 c | 1877891 | 1475 130281 429935 | 1 188305 52 | 0.000 % | 321.95/322.09 c | 1878550 | 1475 130281 429935 | 1 188964 52 | 0.000 % | 321.95/322.09 c | 1891251 | 1475 130281 429935 | 1 106668 35 | 0.000 % | 321.95/322.09 c | 1911995 | 1475 130281 429935 | 1 127412 39 | 0.000 % | 321.95/322.09 c | 1950167 | 1475 130281 429935 | 1 165584 44 | 0.000 % | 321.95/322.09 c | 1973850 | 1475 130281 429935 | 1 189267 47 | 0.000 % | 321.95/322.09 c | 1973964 | 1475 130281 429935 | 1 189381 47 | 0.000 % | 321.95/322.09 c | 1999298 | 1475 130281 429935 | 1 117120 36 | 0.000 % | 321.95/322.09 c | 1999738 | 1475 130281 429935 | 1 117560 36 | 0.000 % | 321.95/322.09 c | 2000860 | 1475 130281 429935 | 1 118682 36 | 0.000 % | 321.95/322.09 c | 2017717 | 1475 130281 429935 | 1 135539 41 | 0.000 % | 321.95/322.09 c | 2018064 | 1475 130281 429935 | 1 135886 41 | 0.000 % | 321.95/322.09 c | 2023420 | 1475 130281 429935 | 1 141242 42 | 0.000 % | 321.95/322.09 c | 2029705 | 1475 130281 429935 | 1 147527 43 | 0.000 % | 321.95/322.09 c | 2030818 | 1475 130281 429935 | 1 148640 43 | 0.000 % | 321.95/322.09 c | 2031603 | 1475 130281 429935 | 1 149425 43 | 0.000 % | 321.95/322.09 c | 2059873 | 1475 130281 429935 | 1 177695 48 | 0.000 % | 321.95/322.09 c | 2067585 | 1475 130281 429935 | 1 185407 48 | 0.000 % | 321.95/322.09 c | 2101124 | 1475 130281 429935 | 1 118743 37 | 0.000 % | 321.95/322.09 c | 2101224 | 1475 130281 429935 | 1 118843 37 | 0.000 % | 321.95/322.09 c | 2117634 | 1475 130281 429935 | 1 135253 41 | 0.000 % | 321.95/322.09 c | 2124440 | 1475 130281 429935 | 1 142059 42 | 0.000 % | 321.95/322.09 c | 2125133 | 1475 130281 429935 | 1 142752 42 | 0.000 % | 321.95/322.09 c | 2125687 | 1475 130281 429935 | 1 143306 42 | 0.000 % | 386.76/386.86 c | 2126569 | 1475 130281 429935 | 1 144188 42 | 0.000 % | 386.76/386.86 c | 2184813 | 1475 130281 429935 | 1 202432 45 | 0.000 % | 386.76/386.86 c | 2202781 | 1475 130281 429935 | 1 117601 31 | 0.000 % | 386.76/386.86 c | 2211305 | 1475 130281 429935 | 1 126125 34 | 0.000 % | 386.76/386.86 c | 2212079 | 1475 130281 429935 | 1 126899 34 | 0.000 % | 386.76/386.86 c | 2213196 | 1475 130281 429935 | 1 128016 35 | 0.000 % | 386.76/386.86 c | 2218448 | 1475 130281 429935 | 1 133268 36 | 0.000 % | 386.76/386.86 c | 2218573 | 1475 130281 429935 | 1 133393 36 | 0.000 % | 386.76/386.86 c | 2225455 | 1475 130281 429935 | 1 140275 37 | 0.000 % | 386.76/386.86 c | 2247065 | 1475 130281 429935 | 1 161885 40 | 0.000 % | 386.76/386.86 c | 2247527 | 1475 130281 429935 | 1 162347 41 | 0.000 % | 386.76/386.86 c | 2254048 | 1475 130281 429935 | 1 168868 41 | 0.000 % | 386.76/386.86 c | 2254879 | 1475 130281 429935 | 1 169699 42 | 0.000 % | 386.76/386.86 c | 2256810 | 1475 130281 429935 | 1 171630 42 | 0.000 % | 386.76/386.86 c | 2259710 | 1475 130281 429935 | 1 174530 42 | 0.000 % | 386.76/386.86 c | 2262816 | 1475 130281 429935 | 1 177636 43 | 0.000 % | 386.76/386.86 c | 2277481 | 1475 130281 429935 | 1 192301 44 | 0.000 % | 386.76/386.86 c | 2282032 | 1475 130281 429935 | 1 196852 44 | 0.000 % | 386.76/386.86 c | 2282722 | 1475 130281 429935 | 1 197542 44 | 0.000 % | 386.76/386.86 c | 2285248 | 1475 130281 429935 | 1 200068 45 | 0.000 % | 386.76/386.86 c | 2291684 | 1475 130281 429935 | 1 206504 45 | 0.000 % | 386.76/386.86 c | 2292760 | 1475 130281 429935 | 1 207580 46 | 0.000 % | 386.76/386.86 c | 2299107 | 1475 130281 429935 | 1 108529 32 | 0.000 % | 386.76/386.86 c | 2301823 | 1475 130281 429935 | 1 111245 33 | 0.000 % | 386.76/386.86 c | 2329809 | 1475 130281 429935 | 1 139231 39 | 0.000 % | 386.76/386.86 c | 2334539 | 1475 130281 429935 | 1 143961 40 | 0.000 % | 386.76/386.86 c | 2337044 | 1475 130281 429935 | 1 146466 40 | 0.000 % | 386.76/386.86 c | 2337626 | 1475 130281 429935 | 1 147048 40 | 0.000 % | 386.76/386.86 c | 2344114 | 1475 130281 429935 | 1 153536 41 | 0.000 % | 386.76/386.86 c | 2355734 | 1475 130281 429935 | 1 165156 43 | 0.000 % | 386.76/386.86 c | 2363327 | 1475 130281 429935 | 1 172749 44 | 0.000 % | 386.76/386.86 c | 2365453 | 1475 130281 429935 | 1 174875 44 | 0.000 % | 386.76/386.86 c | 2367025 | 1475 130281 429935 | 1 176447 44 | 0.000 % | 386.76/386.86 c | 2376197 | 1475 130281 429935 | 1 185619 46 | 0.000 % | 386.76/386.86 c | 2376298 | 1475 130281 429935 | 1 185720 46 | 0.000 % | 386.76/386.86 c | 2381354 | 1475 130281 429935 | 1 190776 46 | 0.000 % | 386.76/386.86 c | 2386256 | 1475 130281 429935 | 1 195678 47 | 0.000 % | 386.76/386.86 c | 2397644 | 1475 130281 429935 | 1 207066 48 | 0.000 % | 386.76/386.86 c | 2407179 | 1475 130281 429935 | 1 108616 32 | 0.000 % | 386.76/386.86 c | 2409162 | 1475 130281 429935 | 1 110599 32 | 0.000 % | 386.76/386.86 c | 2434847 | 1475 130281 429935 | 1 136284 38 | 0.000 % | 386.76/386.86 c | 2434947 | 1475 130281 429935 | 1 136384 38 | 0.000 % | 386.76/386.86 c | 2436133 | 1475 130281 429935 | 1 137570 38 | 0.000 % | 386.76/386.86 c | 2437547 | 1475 130281 429935 | 1 138984 38 | 0.000 % | 386.76/386.86 c | 2446113 | 1475 130281 429935 | 1 147550 40 | 0.000 % | 386.76/386.86 c | 2452211 | 1475 130281 429935 | 1 153648 41 | 0.000 % | 386.76/386.86 c | 2452483 | 1475 130281 429935 | 1 153920 41 | 0.000 % | 386.76/386.86 c | 2453955 | 1475 130281 429935 | 1 155392 41 | 0.000 % | 386.76/386.86 c | 2471152 | 1475 130281 429935 | 1 172589 44 | 0.000 % | 386.76/386.86 c | 2471252 | 1475 130281 429935 | 1 172689 45 | 0.000 % | 430.36/430.46 c | 2471525 | 1475 130281 429935 | 1 172962 45 | 0.000 % | 430.36/430.46 c | 2510353 | 1475 130281 429935 | 1 211790 48 | 0.000 % | 430.36/430.46 c | 2516808 | 1475 130281 429935 | 1 218245 48 | 0.000 % | 430.36/430.46 c | 2518502 | 1475 130281 429935 | 1 219939 48 | 0.000 % | 430.36/430.46 c | 2519457 | 1475 130281 429935 | 1 220894 49 | 0.000 % | 430.36/430.46 c | 2519649 | 1475 130281 429935 | 1 221086 49 | 0.000 % | 430.36/430.46 c | 2520455 | 1475 130281 429935 | 1 111279 31 | 0.000 % | 430.36/430.46 c | 2523118 | 1475 130281 429935 | 1 113942 32 | 0.000 % | 430.36/430.46 c | 2523357 | 1475 130281 429935 | 1 114181 32 | 0.000 % | 430.36/430.46 c | 2532289 | 1475 130281 429935 | 1 123113 34 | 0.000 % | 430.36/430.46 c | 2556609 | 1475 130281 429935 | 1 147433 38 | 0.000 % | 430.36/430.46 c | 2557547 | 1475 130281 429935 | 1 148371 38 | 0.000 % | 430.36/430.46 c | 2558428 | 1475 130281 429935 | 1 149252 39 | 0.000 % | 430.36/430.46 c | 2562244 | 1475 130281 429935 | 1 153068 39 | 0.000 % | 430.36/430.46 c | 2562450 | 1475 130281 429935 | 1 153274 39 | 0.000 % | 430.36/430.46 c | 2565384 | 1475 130281 429935 | 1 156208 40 | 0.000 % | 430.36/430.46 c | 2565812 | 1475 130281 429935 | 1 156636 40 | 0.000 % | 430.36/430.46 c | 2566511 | 1475 130281 429935 | 1 157335 40 | 0.000 % | 430.36/430.46 c | 2568805 | 1475 130281 429935 | 1 159629 40 | 0.000 % | 430.36/430.46 c | 2569237 | 1475 130281 429935 | 1 160061 40 | 0.000 % | 430.36/430.46 c | 2570713 | 1475 130281 429935 | 1 161537 40 | 0.000 % | 430.36/430.46 c | 2588554 | 1475 130281 429935 | 1 179378 42 | 0.000 % | 430.36/430.46 c | 2594857 | 1475 130281 429935 | 1 185681 43 | 0.000 % | 430.36/430.46 c | 2594961 | 1475 130281 429935 | 1 185785 43 | 0.000 % | 430.36/430.46 c | 2595846 | 1475 130281 429935 | 1 186670 43 | 0.000 % | 430.36/430.46 c | 2605006 | 1475 130281 429935 | 1 195830 46 | 0.000 % | 430.36/430.46 c | 2609776 | 1475 130281 429935 | 1 200600 46 | 0.000 % | 430.36/430.46 c | 2610123 | 1475 130281 429935 | 1 200947 46 | 0.000 % | 430.36/430.46 c | 2611501 | 1475 130281 429935 | 1 202325 46 | 0.000 % | 430.36/430.46 c | 2615435 | 1475 130281 429935 | 1 206259 47 | 0.000 % | 430.36/430.46 c | 2623655 | 1475 130281 429935 | 1 214479 48 | 0.000 % | 430.36/430.46 c | 2623957 | 1475 130281 429935 | 1 214781 48 | 0.000 % | 430.36/430.46 c | 2624057 | 1475 130281 429935 | 1 214881 48 | 0.000 % | 430.36/430.46 c | 2633424 | 1475 130281 429935 | 1 224248 49 | 0.000 % | 430.36/430.46 c | 2635068 | 1475 130281 429935 | 1 225892 49 | 0.000 % | 430.36/430.46 c | 2635169 | 1475 130281 429935 | 1 225993 49 | 0.000 % | 430.36/430.46 c | 2636714 | 1475 130281 429935 | 1 114337 31 | 0.000 % | 430.36/430.46 c | 2638452 | 1475 130281 429935 | 1 116075 32 | 0.000 % | 430.36/430.46 c | 2639041 | 1475 130281 429935 | 1 116664 32 | 0.000 % | 430.36/430.46 c | 2641796 | 1475 130281 429935 | 1 119419 33 | 0.000 % | 430.36/430.46 c | 2647336 | 1475 130281 429935 | 1 124959 35 | 0.000 % | 430.36/430.46 c | 2650045 | 1475 130281 429935 | 1 127668 35 | 0.000 % | 430.36/430.46 c | 2654731 | 1475 130281 429935 | 1 132354 37 | 0.000 % | 430.36/430.46 c | 2654831 | 1475 130281 429935 | 1 132454 37 | 0.000 % | 430.36/430.46 c | 2673028 | 1475 130281 429935 | 1 150651 40 | 0.000 % | 430.36/430.46 c | 2685745 | 1475 130281 429935 | 1 163368 42 | 0.000 % | 430.36/430.46 c | 2692935 | 1475 130281 429935 | 1 170558 43 | 0.000 % | 430.36/430.46 c | 2695146 | 1475 130281 429935 | 1 172769 44 | 0.000 % | 430.36/430.46 c | 2700608 | 1475 130281 429935 | 1 178231 45 | 0.000 % | 430.36/430.46 c | 2707892 | 1475 130281 429935 | 1 185515 46 | 0.000 % | 454.56/454.66 c | 2707996 | 1475 130281 429935 | 1 185619 46 | 0.000 % | 454.56/454.66 c | 2713607 | 1475 130281 429935 | 1 191230 46 | 0.000 % | 454.56/454.66 c | 2715059 | 1475 130281 429935 | 1 192682 47 | 0.000 % | 454.56/454.66 c | 2716147 | 1475 130281 429935 | 1 193770 47 | 0.000 % | 454.56/454.66 c | 2716443 | 1475 130281 429935 | 1 194066 47 | 0.000 % | 454.56/454.66 c | 2719706 | 1475 130281 429935 | 1 197329 48 | 0.000 % | 454.56/454.66 c | 2720902 | 1475 130281 429935 | 1 198525 48 | 0.000 % | 454.56/454.66 c | 2728165 | 1475 130281 429935 | 1 205788 48 | 0.000 % | 454.56/454.66 c | 2731101 | 1475 130281 429935 | 1 208724 49 | 0.000 % | 454.56/454.66 c | 2733722 | 1475 130281 429935 | 1 211345 49 | 0.000 % | 454.56/454.66 c | 2733824 | 1475 130281 429935 | 1 211447 49 | 0.000 % | 454.56/454.66 c | 2735487 | 1475 130281 429935 | 1 213110 49 | 0.000 % | 454.56/454.66 c | 2736097 | 1475 130281 429935 | 1 213720 50 | 0.000 % | 454.56/454.66 c | 2736198 | 1475 130281 429935 | 1 213821 50 | 0.000 % | 454.56/454.66 c | 2736603 | 1475 130281 429935 | 1 214226 50 | 0.000 % | 454.56/454.66 c | 2738363 | 1475 130281 429935 | 1 215986 50 | 0.000 % | 454.56/454.66 c | 2738463 | 1475 130281 429935 | 1 216086 50 | 0.000 % | 454.56/454.66 c | 2738775 | 1475 130281 429935 | 1 216398 50 | 0.000 % | 454.56/454.66 c | 2738909 | 1475 130281 429935 | 1 216532 50 | 0.000 % | 454.56/454.66 c | 2740542 | 1475 130281 429935 | 1 218165 50 | 0.000 % | 454.56/454.66 c | 2740821 | 1475 130281 429935 | 1 218444 50 | 0.000 % | 454.56/454.66 c | 2741597 | 1475 130281 429935 | 1 219220 50 | 0.000 % | 454.56/454.66 c | 2741954 | 1475 130281 429935 | 1 219577 50 | 0.000 % | 454.56/454.66 c | 2751135 | 1475 130281 429935 | 1 228758 51 | 0.000 % | 454.56/454.66 c | 2763363 | 1475 130281 429935 | 1 125185 35 | 0.000 % | 454.56/454.66 c | 2764676 | 1475 130281 429935 | 1 126498 35 | 0.000 % | 454.56/454.66 c | 2776800 | 1475 130281 429935 | 1 138622 37 | 0.000 % | 454.56/454.66 c | 2776949 | 1475 130281 429935 | 1 138771 37 | 0.000 % | 454.56/454.66 c | 2777127 | 1475 130281 429935 | 1 138949 38 | 0.000 % | 454.56/454.66 c | 2777251 | 1475 130281 429935 | 1 139073 38 | 0.000 % | 454.56/454.66 c | 2778037 | 1475 130281 429935 | 1 139859 38 | 0.000 % | 454.56/454.66 c | 2778153 | 1475 130281 429935 | 1 139975 38 | 0.000 % | 454.56/454.66 c | 2780012 | 1475 130281 429935 | 1 141834 38 | 0.000 % | 454.56/454.66 c | 2781949 | 1475 130281 429935 | 1 143771 39 | 0.000 % | 454.56/454.66 c | 2785825 | 1475 130281 429935 | 1 147647 39 | 0.000 % | 454.56/454.66 c | 2786518 | 1475 130281 429935 | 1 148340 39 | 0.000 % | 454.56/454.66 c | 2788900 | 1475 130281 429935 | 1 150722 40 | 0.000 % | 454.56/454.66 c | 2796395 | 1475 130281 429935 | 1 158217 41 | 0.000 % | 454.56/454.66 c | 2796495 | 1475 130281 429935 | 1 158317 41 | 0.000 % | 454.56/454.66 c | 2797659 | 1475 130281 429935 | 1 159481 41 | 0.000 % | 454.56/454.66 c | 2797759 | 1475 130281 429935 | 1 159581 41 | 0.000 % | 454.56/454.66 c | 2798123 | 1475 130281 429935 | 1 159945 41 | 0.000 % | 454.56/454.66 c | 2806126 | 1475 130281 429935 | 1 167948 42 | 0.000 % | 454.56/454.66 c | 2806288 | 1475 130281 429935 | 1 168110 42 | 0.000 % | 454.56/454.66 c | 2811872 | 1475 130281 429935 | 1 173694 44 | 0.000 % | 454.56/454.66 c | 2812209 | 1475 130281 429935 | 1 174031 44 | 0.000 % | 454.56/454.66 c | 2820058 | 1475 130281 429935 | 1 181880 46 | 0.000 % | 454.56/454.66 c | 2831282 | 1475 130281 429935 | 1 193104 47 | 0.000 % | 454.56/454.66 c | 2836352 | 1475 130281 429935 | 1 198174 48 | 0.000 % | 454.56/454.66 c | 2844385 | 1475 130281 429935 | 1 206207 49 | 0.000 % | 516.06/516.10 c | 2844582 | 1475 130281 429935 | 1 206404 49 | 0.000 % | 516.06/516.10 c | 2845636 | 1475 130281 429935 | 1 207458 49 | 0.000 % | 516.06/516.10 c | 2845737 | 1475 130281 429935 | 1 207559 49 | 0.000 % | 516.06/516.10 c | 2845839 | 1475 130281 429935 | 1 207661 49 | 0.000 % | 516.06/516.10 c | 2845969 | 1475 130281 429935 | 1 207791 49 | 0.000 % | 516.06/516.10 c | 2847312 | 1475 130281 429935 | 1 209134 49 | 0.000 % | 516.06/516.10 c | 2847534 | 1475 130281 429935 | 1 209356 49 | 0.000 % | 516.06/516.10 c | 2852228 | 1475 130281 429935 | 1 214050 49 | 0.000 % | 516.06/516.10 c | 2854697 | 1475 130281 429935 | 1 216519 49 | 0.000 % | 516.06/516.10 c | 2865382 | 1475 130281 429935 | 1 227204 50 | 0.000 % | 516.06/516.10 c | 2866660 | 1475 130281 429935 | 1 228482 50 | 0.000 % | 516.06/516.10 c | 2878967 | 1475 130281 429935 | 1 122382 32 | 0.000 % | 516.06/516.10 c | 2892847 | 1475 130281 429935 | 1 136262 35 | 0.000 % | 516.06/516.10 c | 2893357 | 1475 130281 429935 | 1 136772 35 | 0.000 % | 516.06/516.10 c | 2905153 | 1475 130281 429935 | 1 148568 37 | 0.000 % | 516.06/516.10 c | 2908004 | 1475 130281 429935 | 1 151419 37 | 0.000 % | 516.06/516.10 c | 2919576 | 1475 130281 429935 | 1 162991 39 | 0.000 % | 516.06/516.10 c | 2924451 | 1475 130281 429935 | 1 167866 40 | 0.000 % | 516.06/516.10 c | 2928382 | 1475 130281 429935 | 1 171797 40 | 0.000 % | 516.06/516.10 c | 2940448 | 1475 130281 429935 | 1 183863 41 | 0.000 % | 516.06/516.10 c | 3012338 | 1475 130281 429935 | 1 134756 32 | 0.000 % | 516.06/516.10 c | 3012602 | 1475 130281 429935 | 1 135020 32 | 0.000 % | 516.06/516.10 c | 3013309 | 1475 130281 429935 | 1 135727 32 | 0.000 % | 516.06/516.10 c | 3013410 | 1475 130281 429935 | 1 135828 32 | 0.000 % | 516.06/516.10 c | 3020993 | 1475 130281 429935 | 1 143411 34 | 0.000 % | 516.06/516.10 c | 3027974 | 1475 130281 429935 | 1 150392 36 | 0.000 % | 516.06/516.10 c | 3033808 | 1475 130281 429935 | 1 156226 37 | 0.000 % | 516.06/516.10 c | 3034479 | 1475 130281 429935 | 1 156897 37 | 0.000 % | 516.06/516.10 c | 3046962 | 1475 130281 429935 | 1 169380 39 | 0.000 % | 516.06/516.10 c | 3050034 | 1475 130281 429935 | 1 172452 39 | 0.000 % | 516.06/516.10 c | 3050447 | 1475 130281 429935 | 1 172865 40 | 0.000 % | 516.06/516.10 c | 3052993 | 1475 130281 429935 | 1 175411 40 | 0.000 % | 516.06/516.10 c | 3053095 | 1475 130281 429935 | 1 175513 40 | 0.000 % | 516.06/516.10 c | 3053196 | 1475 130281 429935 | 1 175614 40 | 0.000 % | 516.06/516.10 c | 3053352 | 1475 130281 429935 | 1 175770 40 | 0.000 % | 516.06/516.10 c | 3073546 | 1475 130281 429935 | 1 195964 42 | 0.000 % | 516.06/516.10 c | 3081455 | 1475 130281 429935 | 1 203873 43 | 0.000 % | 516.06/516.10 c | 3083668 | 1475 130281 429935 | 1 206086 44 | 0.000 % | 516.06/516.10 c | 3083805 | 1475 130281 429935 | 1 206223 44 | 0.000 % | 516.06/516.10 c | 3084148 | 1475 130281 429935 | 1 206566 44 | 0.000 % | 516.06/516.10 c | 3084248 | 1475 130281 429935 | 1 206666 44 | 0.000 % | 516.06/516.10 c | 3099301 | 1475 130281 429935 | 1 221719 46 | 0.000 % | 516.06/516.10 c | 3106027 | 1475 130281 429935 | 1 228445 46 | 0.000 % | 516.06/516.10 c | 3109818 | 1475 130281 429935 | 1 232236 47 | 0.000 % | 516.06/516.10 c | 3113142 | 1475 130281 429935 | 1 235560 47 | 0.000 % | 516.06/516.10 c | 3113930 | 1475 130281 429935 | 1 236348 47 | 0.000 % | 516.06/516.10 c | 3126371 | 1475 130281 429935 | 1 125182 32 | 0.000 % | 516.06/516.10 c | 3128063 | 1475 130281 429935 | 1 126874 32 | 0.000 % | 516.06/516.10 c | 3129549 | 1475 130281 429935 | 1 128360 33 | 0.000 % | 516.06/516.10 c | 3130192 | 1475 130281 429935 | 1 129003 33 | 0.000 % | 552.57/552.60 c | 3132961 | 1475 130281 429935 | 1 131772 34 | 0.000 % | 552.57/552.60 c | 3138841 | 1475 130281 429935 | 1 137652 35 | 0.000 % | 552.57/552.60 c | 3139787 | 1475 130281 429935 | 1 138598 35 | 0.000 % | 552.57/552.60 c | 3153419 | 1475 130281 429935 | 1 152230 38 | 0.000 % | 552.57/552.60 c | 3155241 | 1475 130281 429935 | 1 154052 38 | 0.000 % | 552.57/552.60 c | 3159712 | 1475 130281 429935 | 1 158523 39 | 0.000 % | 552.57/552.60 c | 3175177 | 1475 130281 429935 | 1 173988 41 | 0.000 % | 552.57/552.60 c | 3175512 | 1475 130281 429935 | 1 174323 41 | 0.000 % | 552.57/552.60 c | 3177935 | 1475 130281 429935 | 1 176746 41 | 0.000 % | 552.57/552.60 c | 3182249 | 1475 130281 429935 | 1 181060 42 | 0.000 % | 552.57/552.60 c | 3182873 | 1475 130281 429935 | 1 181684 42 | 0.000 % | 552.57/552.60 c | 3187791 | 1475 130281 429935 | 1 186602 42 | 0.000 % | 552.57/552.60 c | 3193409 | 1475 130281 429935 | 1 192220 43 | 0.000 % | 552.57/552.60 c | 3199117 | 1475 130281 429935 | 1 197928 44 | 0.000 % | 552.57/552.60 c | 3199668 | 1475 130281 429935 | 1 198479 44 | 0.000 % | 552.57/552.60 c | 3200175 | 1475 130281 429935 | 1 198986 44 | 0.000 % | 552.57/552.60 c | 3205749 | 1475 130281 429935 | 1 204560 44 | 0.000 % | 552.57/552.60 c | 3215917 | 1475 130281 429935 | 1 214728 45 | 0.000 % | 552.57/552.60 c | 3218204 | 1475 130281 429935 | 1 217015 45 | 0.000 % | 552.57/552.60 c | 3219935 | 1475 130281 429935 | 1 218746 45 | 0.000 % | 552.57/552.60 c | 3221123 | 1475 130281 429935 | 1 219934 45 | 0.000 % | 552.57/552.60 c | 3221226 | 1475 130281 429935 | 1 220037 45 | 0.000 % | 552.57/552.60 c | 3223164 | 1475 130281 429935 | 1 221975 45 | 0.000 % | 552.57/552.60 c | 3224202 | 1475 130281 429935 | 1 223013 45 | 0.000 % | 552.57/552.60 c | 3226396 | 1475 130281 429935 | 1 225207 46 | 0.000 % | 552.57/552.60 c | 3231040 | 1475 130281 429935 | 1 229851 46 | 0.000 % | 552.57/552.60 c | 3232445 | 1475 130281 429935 | 1 231256 46 | 0.000 % | 552.57/552.60 c | 3232602 | 1475 130281 429935 | 1 231413 46 | 0.000 % | 552.57/552.60 c | 3234854 | 1475 130281 429935 | 1 233665 46 | 0.000 % | 552.57/552.60 c | 3236742 | 1475 130281 429935 | 1 235553 46 | 0.000 % | 552.57/552.60 c | 3253517 | 1475 130281 429935 | 1 252328 47 | 0.000 % | 552.57/552.60 c | 3253618 | 1475 130281 429935 | 1 126227 30 | 0.000 % | 552.57/552.60 c | 3256540 | 1475 130281 429935 | 1 129149 31 | 0.000 % | 552.57/552.60 c | 3256908 | 1475 130281 429935 | 1 129517 31 | 0.000 % | 552.57/552.60 c | 3273192 | 1475 130281 429935 | 1 145801 34 | 0.000 % | 552.57/552.60 c | 3284263 | 1475 130281 429935 | 1 156872 37 | 0.000 % | 552.57/552.60 c | 3284420 | 1475 130281 429935 | 1 157029 37 | 0.000 % | 552.57/552.60 c | 3291679 | 1475 130281 429935 | 1 164288 39 | 0.000 % | 552.57/552.60 c | 3291780 | 1475 130281 429935 | 1 164389 39 | 0.000 % | 552.57/552.60 c | 3297619 | 1475 130281 429935 | 1 170228 40 | 0.000 % | 552.57/552.60 c | 3309808 | 1475 130281 429935 | 1 182417 43 | 0.000 % | 552.57/552.60 c | 3310852 | 1475 130281 429935 | 1 183461 43 | 0.000 % | 552.57/552.60 c | 3311175 | 1475 130281 429935 | 1 183784 43 | 0.000 % | 552.57/552.60 c | 3311276 | 1475 130281 429935 | 1 183885 43 | 0.000 % | 552.57/552.60 c | 3311376 | 1475 130281 429935 | 1 183985 43 | 0.000 % | 552.57/552.60 c | 3311530 | 1475 130281 429935 | 1 184139 43 | 0.000 % | 552.57/552.60 c | 3315599 | 1475 130281 429935 | 1 188208 44 | 0.000 % | 552.57/552.60 c | 3315700 | 1475 130281 429935 | 1 188309 44 | 0.000 % | 552.57/552.60 c | 3315800 | 1475 130281 429935 | 1 188409 44 | 0.000 % | 552.57/552.60 c | 3315903 | 1475 130281 429935 | 1 188512 44 | 0.000 % | 592.87/592.97 c | 3317033 | 1475 130281 429935 | 1 189642 44 | 0.000 % | 592.87/592.97 c | 3318431 | 1475 130281 429935 | 1 191040 44 | 0.000 % | 592.87/592.97 c | 3318818 | 1475 130281 429935 | 1 191427 44 | 0.000 % | 592.87/592.97 c | 3318920 | 1475 130281 429935 | 1 191529 44 | 0.000 % | 592.87/592.97 c | 3319313 | 1475 130281 429935 | 1 191922 44 | 0.000 % | 592.87/592.97 c | 3329795 | 1475 130281 429935 | 1 202404 46 | 0.000 % | 592.87/592.97 c | 3332479 | 1475 130281 429935 | 1 205088 46 | 0.000 % | 592.87/592.97 c | 3332915 | 1475 130281 429935 | 1 205524 46 | 0.000 % | 592.87/592.97 c | 3333015 | 1475 130281 429935 | 1 205624 46 | 0.000 % | 592.87/592.97 c | 3333115 | 1475 130281 429935 | 1 205724 46 | 0.000 % | 592.87/592.97 c | 3334175 | 1475 130281 429935 | 1 206784 46 | 0.000 % | 592.87/592.97 c | 3334276 | 1475 130281 429935 | 1 206885 46 | 0.000 % | 592.87/592.97 c | 3334828 | 1475 130281 429935 | 1 207437 46 | 0.000 % | 592.87/592.97 c | 3357583 | 1475 130281 429935 | 1 230192 48 | 0.000 % | 592.87/592.97 c | 3360923 | 1475 130281 429935 | 1 233532 49 | 0.000 % | 592.87/592.97 c | 3392300 | 1475 130281 429935 | 1 136114 34 | 0.000 % | 592.87/592.97 c | 3399446 | 1475 130281 429935 | 1 143260 36 | 0.000 % | 592.87/592.97 c | 3399548 | 1475 130281 429935 | 1 143362 36 | 0.000 % | 592.87/592.97 c | 3405248 | 1475 130281 429935 | 1 149062 37 | 0.000 % | 592.87/592.97 c | 3415523 | 1475 130281 429935 | 1 159337 39 | 0.000 % | 592.87/592.97 c | 3419472 | 1475 130281 429935 | 1 163286 40 | 0.000 % | 592.87/592.97 c | 3421259 | 1475 130281 429935 | 1 165073 40 | 0.000 % | 592.87/592.97 c | 3421411 | 1475 130281 429935 | 1 165225 40 | 0.000 % | 592.87/592.97 c | 3421769 | 1475 130281 429935 | 1 165583 40 | 0.000 % | 592.87/592.97 c | 3425182 | 1475 130281 429935 | 1 168996 42 | 0.000 % | 592.87/592.97 c | 3425838 | 1475 130281 429935 | 1 169652 42 | 0.000 % | 592.87/592.97 c | 3447297 | 1475 130281 429935 | 1 191111 46 | 0.000 % | 592.87/592.97 c | 3448191 | 1475 130281 429935 | 1 192005 46 | 0.000 % | 592.87/592.97 c | 3454689 | 1475 130281 429935 | 1 198503 47 | 0.000 % | 592.87/592.97 c | 3456076 | 1475 130281 429935 | 1 199890 48 | 0.000 % | 592.87/592.97 c | 3456201 | 1475 130281 429935 | 1 200015 48 | 0.000 % | 592.87/592.97 c | 3466338 | 1475 130281 429935 | 1 210152 49 | 0.000 % | 592.87/592.97 c | 3477159 | 1475 130281 429935 | 1 220973 50 | 0.000 % | 592.87/592.97 c | 3478267 | 1475 130281 429935 | 1 222081 50 | 0.000 % | 592.87/592.97 c | 3490478 | 1475 130281 429935 | 1 234292 50 | 0.000 % | 592.87/592.97 c | 3494117 | 1475 130281 429935 | 1 237931 51 | 0.000 % | 592.87/592.97 c | 3495199 | 1475 130281 429935 | 1 239013 51 | 0.000 % | 592.87/592.97 c | 3501597 | 1475 130281 429935 | 1 245411 51 | 0.000 % | 592.87/592.97 c | 3502665 | 1475 130281 429935 | 1 246479 51 | 0.000 % | 592.87/592.97 c | 3504185 | 1475 130281 429935 | 1 247999 51 | 0.000 % | 592.87/592.97 c | 3504308 | 1475 130281 429935 | 1 248122 51 | 0.000 % | 592.87/592.97 c | 3504409 | 1475 130281 429935 | 1 248223 51 | 0.000 % | 592.87/592.97 c | 3504510 | 1475 130281 429935 | 1 248324 51 | 0.000 % | 592.87/592.97 c | 3504940 | 1475 130281 429935 | 1 248754 51 | 0.000 % | 592.87/592.97 c | 3505056 | 1475 130281 429935 | 1 248870 51 | 0.000 % | 592.87/592.97 c | 3505158 | 1475 130281 429935 | 1 248972 51 | 0.000 % | 592.87/592.97 c | 3507319 | 1475 130281 429935 | 1 251133 52 | 0.000 % | 592.87/592.97 c | 3508120 | 1475 130281 429935 | 1 251934 52 | 0.000 % | 592.87/592.97 c | 3510637 | 1475 130281 429935 | 1 254451 52 | 0.000 % | 592.87/592.97 c | 3510738 | 1475 130281 429935 | 1 254552 52 | 0.000 % | 646.27/646.34 c | 3529951 | 1475 130281 429935 | 1 142365 34 | 0.000 % | 646.27/646.34 c | 3530759 | 1475 130281 429935 | 1 143173 35 | 0.000 % | 646.27/646.34 c | 3532472 | 1475 130281 429935 | 1 144886 35 | 0.000 % | 646.27/646.34 c | 3545361 | 1475 130281 429935 | 1 157775 38 | 0.000 % | 646.27/646.34 c | 3546610 | 1475 130281 429935 | 1 159024 38 | 0.000 % | 646.27/646.34 c | 3547713 | 1475 130281 429935 | 1 160127 38 | 0.000 % | 646.27/646.34 c | 3553569 | 1475 130281 429935 | 1 165983 39 | 0.000 % | 646.27/646.34 c | 3555626 | 1475 130281 429935 | 1 168040 40 | 0.000 % | 646.27/646.34 c | 3570592 | 1475 130281 429935 | 1 183006 42 | 0.000 % | 646.27/646.34 c | 3572859 | 1475 130281 429935 | 1 185273 42 | 0.000 % | 646.27/646.34 c | 3601572 | 1475 130281 429935 | 1 213986 44 | 0.000 % | 646.27/646.34 c | 3614161 | 1475 130281 429935 | 1 226575 46 | 0.000 % | 646.27/646.34 c | 3614261 | 1475 130281 429935 | 1 226675 46 | 0.000 % | 646.27/646.34 c | 3623328 | 1475 130281 429935 | 1 235742 47 | 0.000 % | 646.27/646.34 c | 3623580 | 1475 130281 429935 | 1 235994 47 | 0.000 % | 646.27/646.34 c | 3623695 | 1475 130281 429935 | 1 236109 47 | 0.000 % | 646.27/646.34 c | 3627526 | 1475 130281 429935 | 1 239940 47 | 0.000 % | 646.27/646.34 c | 3627628 | 1475 130281 429935 | 1 240042 47 | 0.000 % | 646.27/646.34 c | 3629732 | 1475 130281 429935 | 1 242146 47 | 0.000 % | 646.27/646.34 c | 3635582 | 1475 130281 429935 | 1 247996 48 | 0.000 % | 646.27/646.34 c | 3635682 | 1475 130281 429935 | 1 248096 48 | 0.000 % | 646.27/646.34 c | 3637394 | 1475 130281 429935 | 1 249808 49 | 0.000 % | 646.27/646.34 c | 3637494 | 1475 130281 429935 | 1 249908 49 | 0.000 % | 646.27/646.34 c | 3638418 | 1475 130281 429935 | 1 250832 49 | 0.000 % | 646.27/646.34 c | 3638518 | 1475 130281 429935 | 1 250932 49 | 0.000 % | 646.27/646.34 c | 3642304 | 1475 130281 429935 | 1 254718 49 | 0.000 % | 646.27/646.34 c | 3646856 | 1475 130281 429935 | 1 259270 49 | 0.000 % | 646.27/646.34 c | 3647526 | 1475 130281 429935 | 1 259940 49 | 0.000 % | 646.27/646.34 c | 3648550 | 1475 130281 429935 | 1 260964 50 | 0.000 % | 646.27/646.34 c | 3659704 | 1475 130281 429935 | 1 138120 32 | 0.000 % | 646.27/646.34 c | 3669603 | 1475 130281 429935 | 1 148019 34 | 0.000 % | 646.27/646.34 c | 3669703 | 1475 130281 429935 | 1 148119 34 | 0.000 % | 646.27/646.34 c | 3669803 | 1475 130281 429935 | 1 148219 34 | 0.000 % | 646.27/646.34 c | 3672490 | 1475 130281 429935 | 1 150906 35 | 0.000 % | 646.27/646.34 c | 3674717 | 1475 130281 429935 | 1 153133 36 | 0.000 % | 646.27/646.34 c | 3679557 | 1475 130281 429935 | 1 157973 37 | 0.000 % | 646.27/646.34 c | 3679657 | 1475 130281 429935 | 1 158073 37 | 0.000 % | 646.27/646.34 c | 3682737 | 1475 130281 429935 | 1 161153 38 | 0.000 % | 646.27/646.34 c | 3686924 | 1475 130281 429935 | 1 165340 39 | 0.000 % | 646.27/646.34 c | 3691218 | 1475 130281 429935 | 1 169634 40 | 0.000 % | 646.27/646.34 c | 3695471 | 1475 130281 429935 | 1 173887 40 | 0.000 % | 646.27/646.34 c | 3713975 | 1475 130281 429935 | 1 192391 44 | 0.000 % | 646.27/646.34 c | 3714692 | 1475 130281 429935 | 1 193108 44 | 0.000 % | 646.27/646.34 c | 3733480 | 1475 130281 429935 | 1 211896 45 | 0.000 % | 646.27/646.34 c | 3734002 | 1475 130281 429935 | 1 212418 45 | 0.000 % | 646.27/646.34 c | 3734337 | 1475 130281 429935 | 1 212753 45 | 0.000 % | 646.27/646.34 c | 3742298 | 1475 130281 429935 | 1 220714 46 | 0.000 % | 646.27/646.34 c | 3742398 | 1475 130281 429935 | 1 220814 46 | 0.000 % | 646.27/646.34 c | 3743322 | 1475 130281 429935 | 1 221738 46 | 0.000 % | 646.27/646.34 c | 3758835 | 1475 130281 429935 | 1 237251 47 | 0.000 % | 684.76/684.84 c | 3759483 | 1475 130281 429935 | 1 237899 47 | 0.000 % | 684.76/684.84 c | 3760070 | 1475 130281 429935 | 1 238486 47 | 0.000 % | 684.76/684.84 c | 3762153 | 1475 130281 429935 | 1 240569 48 | 0.000 % | 684.76/684.84 c | 3762541 | 1475 130281 429935 | 1 240957 48 | 0.000 % | 684.76/684.84 c | 3764270 | 1475 130281 429935 | 1 242686 48 | 0.000 % | 684.76/684.84 c | 3765781 | 1475 130281 429935 | 1 244197 48 | 0.000 % | 684.76/684.84 c | 3771341 | 1475 130281 429935 | 1 249757 48 | 0.000 % | 684.76/684.84 c | 3771443 | 1475 130281 429935 | 1 249859 48 | 0.000 % | 684.76/684.84 c | 3774117 | 1475 130281 429935 | 1 252533 48 | 0.000 % | 684.76/684.84 c | 3774932 | 1475 130281 429935 | 1 253348 49 | 0.000 % | 684.76/684.84 c | 3777369 | 1475 130281 429935 | 1 255785 49 | 0.000 % | 684.76/684.84 c | 3777664 | 1475 130281 429935 | 1 256080 49 | 0.000 % | 684.76/684.84 c | 3778403 | 1475 130281 429935 | 1 256819 49 | 0.000 % | 684.76/684.84 c | 3783357 | 1475 130281 429935 | 1 261773 50 | 0.000 % | 684.76/684.84 c | 3784326 | 1475 130281 429935 | 1 262742 50 | 0.000 % | 684.76/684.84 c | 3788683 | 1475 130281 429935 | 1 267099 50 | 0.000 % | 684.76/684.84 c | 3795864 | 1475 130281 429935 | 1 137686 31 | 0.000 % | 684.76/684.84 c | 3796759 | 1475 130281 429935 | 1 138581 31 | 0.000 % | 684.76/684.84 c | 3805162 | 1475 130281 429935 | 1 146984 33 | 0.000 % | 684.76/684.84 c | 3805262 | 1475 130281 429935 | 1 147084 33 | 0.000 % | 684.76/684.84 c | 3805946 | 1475 130281 429935 | 1 147768 33 | 0.000 % | 684.76/684.84 c | 3808400 | 1475 130281 429935 | 1 150222 34 | 0.000 % | 684.76/684.84 c | 3810250 | 1475 130281 429935 | 1 152072 35 | 0.000 % | 684.76/684.84 c | 3816484 | 1475 130281 429935 | 1 158306 36 | 0.000 % | 684.76/684.84 c | 3816752 | 1475 130281 429935 | 1 158574 36 | 0.000 % | 684.76/684.84 c | 3818310 | 1475 130281 429935 | 1 160132 37 | 0.000 % | 684.76/684.84 c | 3818411 | 1475 130281 429935 | 1 160233 37 | 0.000 % | 684.76/684.84 c | 3820522 | 1475 130281 429935 | 1 162344 37 | 0.000 % | 684.76/684.84 c | 3825951 | 1475 130281 429935 | 1 167773 38 | 0.000 % | 684.76/684.84 c | 3829236 | 1475 130281 429935 | 1 171058 39 | 0.000 % | 684.76/684.84 c | 3835678 | 1475 130281 429935 | 1 177500 40 | 0.000 % | 684.76/684.84 c | 3847867 | 1475 130281 429935 | 1 189689 42 | 0.000 % | 684.76/684.84 c | 3849695 | 1475 130281 429935 | 1 191517 42 | 0.000 % | 684.76/684.84 c | 3862012 | 1475 130281 429935 | 1 203834 44 | 0.000 % | 684.76/684.84 c | 3862135 | 1475 130281 429935 | 1 203957 44 | 0.000 % | 684.76/684.84 c | 3864098 | 1475 130281 429935 | 1 205920 44 | 0.000 % | 684.76/684.84 c | 3874055 | 1475 130281 429935 | 1 215877 46 | 0.000 % | 684.76/684.84 c | 3883081 | 1475 130281 429935 | 1 224903 47 | 0.000 % | 684.76/684.84 c | 3886735 | 1475 130281 429935 | 1 228557 47 | 0.000 % | 684.76/684.84 c | 3896403 | 1475 130281 429935 | 1 238225 48 | 0.000 % | 684.76/684.84 c | 3900992 | 1475 130281 429935 | 1 242814 48 | 0.000 % | 684.76/684.84 c | 3913757 | 1475 130281 429935 | 1 255579 49 | 0.000 % | 684.76/684.84 c | 3913892 | 1475 130281 429935 | 1 255714 49 | 0.000 % | 684.76/684.84 c | 3916455 | 1475 130281 429935 | 1 258277 50 | 0.000 % | 684.76/684.84 c | 3916644 | 1475 130281 429935 | 1 258466 50 | 0.000 % | 684.76/684.84 c | 3917929 | 1475 130281 429935 | 1 259751 50 | 0.000 % | 684.76/684.84 c | 3919384 | 1475 130281 429935 | 1 261206 50 | 0.000 % | 684.76/684.84 c | 3920802 | 1475 130281 429935 | 1 262624 50 | 0.000 % | 684.76/684.84 c | 3939276 | 1475 130281 429935 | 1 141901 32 | 0.000 % | 684.76/684.84 c | 3946469 | 1475 130281 429935 | 1 149094 34 | 0.000 % | 731.07/731.19 c | 3946571 | 1475 130281 429935 | 1 149196 34 | 0.000 % | 731.07/731.19 c | 3955013 | 1475 130281 429935 | 1 157638 36 | 0.000 % | 731.07/731.19 c | 3955230 | 1475 130281 429935 | 1 157855 36 | 0.000 % | 731.07/731.19 c | 3956638 | 1475 130281 429935 | 1 159263 36 | 0.000 % | 731.07/731.19 c | 3959638 | 1475 130281 429935 | 1 162263 37 | 0.000 % | 731.07/731.19 c | 3959803 | 1475 130281 429935 | 1 162428 37 | 0.000 % | 731.07/731.19 c | 3959905 | 1475 130281 429935 | 1 162530 37 | 0.000 % | 731.07/731.19 c | 3960495 | 1475 130281 429935 | 1 163120 37 | 0.000 % | 731.07/731.19 c | 3961355 | 1475 130281 429935 | 1 163980 37 | 0.000 % | 731.07/731.19 c | 3961455 | 1475 130281 429935 | 1 164080 37 | 0.000 % | 731.07/731.19 c | 3961714 | 1475 130281 429935 | 1 164339 37 | 0.000 % | 731.07/731.19 c | 3962441 | 1475 130281 429935 | 1 165066 37 | 0.000 % | 731.07/731.19 c | 3965514 | 1475 130281 429935 | 1 168139 38 | 0.000 % | 731.07/731.19 c | 3970443 | 1475 130281 429935 | 1 173068 39 | 0.000 % | 731.07/731.19 c | 3972449 | 1475 130281 429935 | 1 175074 39 | 0.000 % | 731.07/731.19 c | 3988284 | 1475 130281 429935 | 1 190909 41 | 0.000 % | 731.07/731.19 c | 3990200 | 1475 130281 429935 | 1 192825 41 | 0.000 % | 731.07/731.19 c | 3996438 | 1475 130281 429935 | 1 199063 42 | 0.000 % | 731.07/731.19 c | 3996927 | 1475 130281 429935 | 1 199552 42 | 0.000 % | 731.07/731.19 c | 3997027 | 1475 130281 429935 | 1 199652 42 | 0.000 % | 731.07/731.19 c | 4002446 | 1475 130281 429935 | 1 205071 43 | 0.000 % | 731.07/731.19 c | 4005475 | 1475 130281 429935 | 1 208100 43 | 0.000 % | 731.07/731.19 c | 4006027 | 1475 130281 429935 | 1 208652 43 | 0.000 % | 731.07/731.19 c | 4006128 | 1475 130281 429935 | 1 208753 43 | 0.000 % | 731.07/731.19 c | 4009230 | 1475 130281 429935 | 1 211855 44 | 0.000 % | 731.07/731.19 c | 4018929 | 1475 130281 429935 | 1 221554 45 | 0.000 % | 731.07/731.19 c | 4021087 | 1475 130281 429935 | 1 223712 46 | 0.000 % | 731.07/731.19 c | 4051222 | 1475 130281 429935 | 1 253847 48 | 0.000 % | 731.07/731.19 c | 4054459 | 1475 130281 429935 | 1 257084 49 | 0.000 % | 731.07/731.19 c | 4059559 | 1475 130281 429935 | 1 262184 49 | 0.000 % | 731.07/731.19 c | 4059890 | 1475 130281 429935 | 1 262515 49 | 0.000 % | 731.07/731.19 c | 4059991 | 1475 130281 429935 | 1 262616 49 | 0.000 % | 731.07/731.19 c | 4068553 | 1475 130281 429935 | 1 271178 49 | 0.000 % | 731.07/731.19 c | 4068983 | 1475 130281 429935 | 1 271608 49 | 0.000 % | 731.07/731.19 c | 4070058 | 1475 130281 429935 | 1 272683 49 | 0.000 % | 731.07/731.19 c | 4071127 | 1475 130281 429935 | 1 273752 49 | 0.000 % | 731.07/731.19 c | 4071407 | 1475 130281 429935 | 1 274032 50 | 0.000 % | 731.07/731.19 c | 4075897 | 1475 130281 429935 | 1 278522 50 | 0.000 % | 731.07/731.19 c | 4078943 | 1475 130281 429935 | 1 281568 50 | 0.000 % | 731.07/731.19 c | 4079628 | 1475 130281 429935 | 1 282253 50 | 0.000 % | 731.07/731.19 c | 4079728 | 1475 130281 429935 | 1 282353 50 | 0.000 % | 731.07/731.19 c | 4079831 | 1475 130281 429935 | 1 282456 50 | 0.000 % | 731.07/731.19 c | 4079932 | 1475 130281 429935 | 1 282557 50 | 0.000 % | 731.07/731.19 c | 4120748 | 1475 130281 429935 | 1 181572 39 | 0.000 % | 731.07/731.19 c | 4124828 | 1475 130281 429935 | 1 185652 39 | 0.000 % | 731.07/731.19 c | 4126320 | 1475 130281 429935 | 1 187144 40 | 0.000 % | 731.07/731.19 c | 4127136 | 1475 130281 429935 | 1 187960 40 | 0.000 % | 731.07/731.19 c | 4151274 | 1475 130281 429935 | 1 212098 42 | 0.000 % | 731.07/731.19 c | 4153578 | 1475 130281 429935 | 1 214402 42 | 0.000 % | 731.07/731.19 c | 4157171 | 1475 130281 429935 | 1 217995 42 | 0.000 % | 795.06/795.12 c | 4158345 | 1475 130281 429935 | 1 219169 43 | 0.000 % | 795.06/795.12 c | 4160015 | 1475 130281 429935 | 1 220839 43 | 0.000 % | 795.06/795.12 c | 4166513 | 1475 130281 429935 | 1 227337 44 | 0.000 % | 795.06/795.12 c | 4166613 | 1475 130281 429935 | 1 227437 44 | 0.000 % | 795.06/795.12 c | 4179001 | 1475 130281 429935 | 1 239825 44 | 0.000 % | 795.06/795.12 c | 4210329 | 1475 130281 429935 | 1 271153 46 | 0.000 % | 795.06/795.12 c | 4213114 | 1475 130281 429935 | 1 273938 46 | 0.000 % | 795.06/795.12 c | 4215606 | 1475 130281 429935 | 1 276430 46 | 0.000 % | 795.06/795.12 c | 4215869 | 1475 130281 429935 | 1 276693 46 | 0.000 % | 795.06/795.12 c | 4248198 | 1475 130281 429935 | 1 164618 34 | 0.000 % | 795.06/795.12 c | 4248564 | 1475 130281 429935 | 1 164984 34 | 0.000 % | 795.06/795.12 c | 4249821 | 1475 130281 429935 | 1 166241 34 | 0.000 % | 795.06/795.12 c | 4252262 | 1475 130281 429935 | 1 168682 35 | 0.000 % | 795.06/795.12 c | 4252413 | 1475 130281 429935 | 1 168833 35 | 0.000 % | 795.06/795.12 c | 4255769 | 1475 130281 429935 | 1 172189 35 | 0.000 % | 795.06/795.12 c | 4265913 | 1475 130281 429935 | 1 182333 37 | 0.000 % | 795.06/795.12 c | 4268779 | 1475 130281 429935 | 1 185199 37 | 0.000 % | 795.06/795.12 c | 4269446 | 1475 130281 429935 | 1 185866 38 | 0.000 % | 795.06/795.12 c | 4285553 | 1475 130281 429935 | 1 201973 39 | 0.000 % | 795.06/795.12 c | 4305499 | 1475 130281 429935 | 1 221919 41 | 0.000 % | 795.06/795.12 c | 4312039 | 1475 130281 429935 | 1 228459 42 | 0.000 % | 795.06/795.12 c | 4312267 | 1475 130281 429935 | 1 228687 42 | 0.000 % | 795.06/795.12 c | 4313435 | 1475 130281 429935 | 1 229855 42 | 0.000 % | 795.06/795.12 c | 4315080 | 1475 130281 429935 | 1 231500 42 | 0.000 % | 795.06/795.12 c | 4315181 | 1475 130281 429935 | 1 231601 42 | 0.000 % | 795.06/795.12 c | 4317771 | 1475 130281 429935 | 1 234191 42 | 0.000 % | 795.06/795.12 c | 4320439 | 1475 130281 429935 | 1 236859 42 | 0.000 % | 795.06/795.12 c | 4322790 | 1475 130281 429935 | 1 239210 42 | 0.000 % | 795.06/795.12 c | 4323536 | 1475 130281 429935 | 1 239956 43 | 0.000 % | 795.06/795.12 c | 4326739 | 1475 130281 429935 | 1 243159 43 | 0.000 % | 795.06/795.12 c | 4331936 | 1475 130281 429935 | 1 248356 43 | 0.000 % | 795.06/795.12 c | 4332123 | 1475 130281 429935 | 1 248543 43 | 0.000 % | 795.06/795.12 c | 4334769 | 1475 130281 429935 | 1 251189 44 | 0.000 % | 795.06/795.12 c | 4335623 | 1475 130281 429935 | 1 252043 44 | 0.000 % | 795.06/795.12 c | 4336062 | 1475 130281 429935 | 1 252482 44 | 0.000 % | 795.06/795.12 c | 4336163 | 1475 130281 429935 | 1 252583 44 | 0.000 % | 795.06/795.12 c | 4337138 | 1475 130281 429935 | 1 253558 44 | 0.000 % | 795.06/795.12 c | 4339248 | 1475 130281 429935 | 1 255668 44 | 0.000 % | 795.06/795.12 c | 4339810 | 1475 130281 429935 | 1 256230 44 | 0.000 % | 795.06/795.12 c | 4345349 | 1475 130281 429935 | 1 261769 45 | 0.000 % | 795.06/795.12 c | 4345449 | 1475 130281 429935 | 1 261869 45 | 0.000 % | 795.06/795.12 c | 4365085 | 1475 130281 429935 | 1 281505 47 | 0.000 % | 795.06/795.12 c | 4365875 | 1475 130281 429935 | 1 282295 47 | 0.000 % | 795.06/795.12 c | 4396171 | 1475 130281 429935 | 1 165595 34 | 0.000 % | 795.06/795.12 c | 4396272 | 1475 130281 429935 | 1 165696 34 | 0.000 % | 795.06/795.12 c | 4396498 | 1475 130281 429935 | 1 165922 34 | 0.000 % | 795.06/795.12 c | 4396598 | 1475 130281 429935 | 1 166022 34 | 0.000 % | 795.06/795.12 c | 4406917 | 1475 130281 429935 | 1 176341 37 | 0.000 % | 795.06/795.12 c | 4407017 | 1475 130281 429935 | 1 176441 37 | 0.000 % | 795.06/795.12 c | 4408290 | 1475 130281 429935 | 1 177714 37 | 0.000 % | 832.57/832.63 c | 4408390 | 1475 130281 429935 | 1 177814 37 | 0.000 % | 832.57/832.63 c | 4409348 | 1475 130281 429935 | 1 178772 37 | 0.000 % | 832.57/832.63 c | 4416805 | 1475 130281 429935 | 1 186229 39 | 0.000 % | 832.57/832.63 c | 4417514 | 1475 130281 429935 | 1 186938 39 | 0.000 % | 832.57/832.63 c | 4417632 | 1475 130281 429935 | 1 187056 39 | 0.000 % | 832.57/832.63 c | 4418022 | 1475 130281 429935 | 1 187446 39 | 0.000 % | 832.57/832.63 c | 4419051 | 1475 130281 429935 | 1 188475 39 | 0.000 % | 832.57/832.63 c | 4425734 | 1475 130281 429935 | 1 195158 40 | 0.000 % | 832.57/832.63 c | 4426988 | 1475 130281 429935 | 1 196412 40 | 0.000 % | 832.57/832.63 c | 4444983 | 1475 130281 429935 | 1 214407 42 | 0.000 % | 832.57/832.63 c | 4445170 | 1475 130281 429935 | 1 214594 42 | 0.000 % | 832.57/832.63 c | 4445282 | 1475 130281 429935 | 1 214706 43 | 0.000 % | 832.57/832.63 c | 4446098 | 1475 130281 429935 | 1 215522 43 | 0.000 % | 832.57/832.63 c | 4449300 | 1475 130281 429935 | 1 218724 43 | 0.000 % | 832.57/832.63 c | 4457237 | 1475 130281 429935 | 1 226661 44 | 0.000 % | 832.57/832.63 c | 4462150 | 1475 130281 429935 | 1 231574 44 | 0.000 % | 832.57/832.63 c | 4465325 | 1475 130281 429935 | 1 234749 44 | 0.000 % | 832.57/832.63 c | 4469052 | 1475 130281 429935 | 1 238476 45 | 0.000 % | 832.57/832.63 c | 4469153 | 1475 130281 429935 | 1 238577 45 | 0.000 % | 832.57/832.63 c | 4469855 | 1475 130281 429935 | 1 239279 45 | 0.000 % | 832.57/832.63 c | 4479777 | 1475 130281 429935 | 1 249201 46 | 0.000 % | 832.57/832.63 c | 4489591 | 1475 130281 429935 | 1 259015 47 | 0.000 % | 832.57/832.63 c | 4495474 | 1475 130281 429935 | 1 264898 47 | 0.000 % | 832.57/832.63 c | 4496017 | 1475 130281 429935 | 1 265441 47 | 0.000 % | 832.57/832.63 c | 4498259 | 1475 130281 429935 | 1 267683 48 | 0.000 % | 832.57/832.63 c | 4500645 | 1475 130281 429935 | 1 270069 48 | 0.000 % | 832.57/832.63 c | 4500745 | 1475 130281 429935 | 1 270169 48 | 0.000 % | 832.57/832.63 c | 4502228 | 1475 130281 429935 | 1 271652 48 | 0.000 % | 832.57/832.63 c | 4503986 | 1475 130281 429935 | 1 273410 48 | 0.000 % | 832.57/832.63 c | 4516181 | 1475 130281 429935 | 1 285605 49 | 0.000 % | 832.57/832.63 c | 4530105 | 1475 130281 429935 | 1 149923 31 | 0.000 % | 832.57/832.63 c | 4532665 | 1475 130281 429935 | 1 152483 32 | 0.000 % | 832.57/832.63 c | 4555551 | 1475 130281 429935 | 1 175369 35 | 0.000 % | 832.57/832.63 c | 4555652 | 1475 130281 429935 | 1 175470 35 | 0.000 % | 832.57/832.63 c | 4556732 | 1475 130281 429935 | 1 176550 35 | 0.000 % | 832.57/832.63 c | 4570348 | 1475 130281 429935 | 1 190166 38 | 0.000 % | 832.57/832.63 c | 4570481 | 1475 130281 429935 | 1 190299 38 | 0.000 % | 832.57/832.63 c | 4570581 | 1475 130281 429935 | 1 190399 38 | 0.000 % | 832.57/832.63 c | 4574187 | 1475 130281 429935 | 1 194005 39 | 0.000 % | 832.57/832.63 c | 4574302 | 1475 130281 429935 | 1 194120 39 | 0.000 % | 832.57/832.63 c | 4576210 | 1475 130281 429935 | 1 196028 39 | 0.000 % | 832.57/832.63 c | 4576710 | 1475 130281 429935 | 1 196528 39 | 0.000 % | 832.57/832.63 c | 4579268 | 1475 130281 429935 | 1 199086 40 | 0.000 % | 832.57/832.63 c | 4581297 | 1475 130281 429935 | 1 201115 40 | 0.000 % | 832.57/832.63 c | 4582083 | 1475 130281 429935 | 1 201901 40 | 0.000 % | 832.57/832.63 c | 4584101 | 1475 130281 429935 | 1 203919 40 | 0.000 % | 832.57/832.63 c | 4585039 | 1475 130281 429935 | 1 204857 40 | 0.000 % | 832.57/832.63 c | 4586407 | 1475 130281 429935 | 1 206225 41 | 0.000 % | 832.57/832.63 c | 4589575 | 1475 130281 429935 | 1 209393 41 | 0.000 % | 832.57/832.63 c | 4589696 | 1475 130281 429935 | 1 209514 41 | 0.000 % | 860.07/860.10 c | 4589796 | 1475 130281 429935 | 1 209614 41 | 0.000 % | 860.07/860.10 c | 4589896 | 1475 130281 429935 | 1 209714 41 | 0.000 % | 860.07/860.10 c | 4595138 | 1475 130281 429935 | 1 214956 42 | 0.000 % | 860.07/860.10 c | 4600306 | 1475 130281 429935 | 1 220124 43 | 0.000 % | 860.07/860.10 c | 4615691 | 1475 130281 429935 | 1 235509 44 | 0.000 % | 860.07/860.10 c | 4615795 | 1475 130281 429935 | 1 235613 44 | 0.000 % | 860.07/860.10 c | 4616018 | 1475 130281 429935 | 1 235836 44 | 0.000 % | 860.07/860.10 c | 4622861 | 1475 130281 429935 | 1 242679 45 | 0.000 % | 860.07/860.10 c | 4626595 | 1475 130281 429935 | 1 246413 45 | 0.000 % | 860.07/860.10 c | 4634257 | 1475 130281 429935 | 1 254075 46 | 0.000 % | 860.07/860.10 c | 4636484 | 1475 130281 429935 | 1 256302 46 | 0.000 % | 860.07/860.10 c | 4636860 | 1475 130281 429935 | 1 256678 46 | 0.000 % | 860.07/860.10 c | 4637038 | 1475 130281 429935 | 1 256856 46 | 0.000 % | 860.07/860.10 c | 4638815 | 1475 130281 429935 | 1 258633 46 | 0.000 % | 860.07/860.10 c | 4640024 | 1475 130281 429935 | 1 259842 46 | 0.000 % | 860.07/860.10 c | 4642377 | 1475 130281 429935 | 1 262195 46 | 0.000 % | 860.07/860.10 c | 4656043 | 1475 130281 429935 | 1 275861 47 | 0.000 % | 860.07/860.10 c | 4656705 | 1475 130281 429935 | 1 276523 47 | 0.000 % | 860.07/860.10 c | 4660714 | 1475 130281 429935 | 1 280532 48 | 0.000 % | 860.07/860.10 c | 4662175 | 1475 130281 429935 | 1 281993 48 | 0.000 % | 860.07/860.10 c | 4665916 | 1475 130281 429935 | 1 285734 48 | 0.000 % | 860.07/860.10 c | 4667051 | 1475 130281 429935 | 1 286869 48 | 0.000 % | 860.07/860.10 c | 4669148 | 1475 130281 429935 | 1 288966 48 | 0.000 % | 860.07/860.10 c | 4670272 | 1475 130281 429935 | 1 290090 49 | 0.000 % | 860.07/860.10 c | 4670909 | 1475 130281 429935 | 1 290727 49 | 0.000 % | 860.07/860.10 c | 4671239 | 1475 130281 429935 | 1 291057 49 | 0.000 % | 860.07/860.10 c | 4671339 | 1475 130281 429935 | 1 291157 49 | 0.000 % | 860.07/860.10 c | 4671455 | 1475 130281 429935 | 1 291273 49 | 0.000 % | 860.07/860.10 c | 4676929 | 1475 130281 429935 | 1 296747 49 | 0.000 % | 860.07/860.10 c | 4677078 | 1475 130281 429935 | 1 296896 49 | 0.000 % | 860.07/860.10 c | 4679040 | 1475 130281 429935 | 1 298858 49 | 0.000 % | 860.07/860.10 c | 4682195 | 1475 130281 429935 | 1 302013 49 | 0.000 % | 860.07/860.10 c | 4682904 | 1475 130281 429935 | 1 302722 49 | 0.000 % | 860.07/860.10 c | 4686266 | 1475 130281 429935 | 1 153886 31 | 0.000 % | 860.07/860.10 c | 4693911 | 1475 130281 429935 | 1 161531 33 | 0.000 % | 860.07/860.10 c | 4695625 | 1475 130281 429935 | 1 163245 34 | 0.000 % | 860.07/860.10 c | 4695968 | 1475 130281 429935 | 1 163588 34 | 0.000 % | 860.07/860.10 c | 4697717 | 1475 130281 429935 | 1 165337 34 | 0.000 % | 860.07/860.10 c | 4699446 | 1475 130281 429935 | 1 167066 35 | 0.000 % | 860.07/860.10 c | 4700943 | 1475 130281 429935 | 1 168563 35 | 0.000 % | 860.07/860.10 c | 4701065 | 1475 130281 429935 | 1 168685 35 | 0.000 % | 860.07/860.10 c | 4701165 | 1475 130281 429935 | 1 168785 35 | 0.000 % | 860.07/860.10 c | 4701266 | 1475 130281 429935 | 1 168886 35 | 0.000 % | 860.07/860.10 c | 4701368 | 1475 130281 429935 | 1 168988 35 | 0.000 % | 860.07/860.10 c | 4701498 | 1475 130281 429935 | 1 169118 35 | 0.000 % | 860.07/860.10 c | 4703235 | 1475 130281 429935 | 1 170855 36 | 0.000 % | 860.07/860.10 c | 4709730 | 1475 130281 429935 | 1 177350 37 | 0.000 % | 860.07/860.10 c | 4720796 | 1475 130281 429935 | 1 188416 39 | 0.000 % | 860.07/860.10 c | 4720896 | 1475 130281 429935 | 1 188516 39 | 0.000 % | 860.07/860.10 c | 4721749 | 1475 130281 429935 | 1 189369 39 | 0.000 % | 945.27/945.32 c | 4721986 | 1475 130281 429935 | 1 189606 39 | 0.000 % | 945.27/945.32 c | 4739467 | 1475 130281 429935 | 1 207087 41 | 0.000 % | 945.27/945.32 c | 4743155 | 1475 130281 429935 | 1 210775 41 | 0.000 % | 945.27/945.32 c | 4791113 | 1475 130281 429935 | 1 258733 45 | 0.000 % | 945.27/945.32 c | 4791215 | 1475 130281 429935 | 1 258835 45 | 0.000 % | 945.27/945.32 c | 4804055 | 1475 130281 429935 | 1 271675 46 | 0.000 % | 945.27/945.32 c | 4804156 | 1475 130281 429935 | 1 271776 46 | 0.000 % | 945.27/945.32 c | 4822024 | 1475 130281 429935 | 1 289644 47 | 0.000 % | 945.27/945.32 c | 4824364 | 1475 130281 429935 | 1 291984 47 | 0.000 % | 945.27/945.32 c | 4850132 | 1475 130281 429935 | 1 162958 32 | 0.000 % | 945.27/945.32 c | 4850980 | 1475 130281 429935 | 1 163806 32 | 0.000 % | 945.27/945.32 c | 4875112 | 1475 130281 429935 | 1 187938 37 | 0.000 % | 945.27/945.32 c | 4875741 | 1475 130281 429935 | 1 188567 38 | 0.000 % | 945.27/945.32 c | 4903655 | 1475 130281 429935 | 1 216481 42 | 0.000 % | 945.27/945.32 c | 4910877 | 1475 130281 429935 | 1 223703 43 | 0.000 % | 945.27/945.32 c | 4910979 | 1475 130281 429935 | 1 223805 43 | 0.000 % | 945.27/945.32 c | 4914319 | 1475 130281 429935 | 1 227145 44 | 0.000 % | 945.27/945.32 c | 4926603 | 1475 130281 429935 | 1 239429 45 | 0.000 % | 945.27/945.32 c | 4927017 | 1475 130281 429935 | 1 239843 45 | 0.000 % | 945.27/945.32 c | 4960512 | 1475 130281 429935 | 1 273338 48 | 0.000 % | 945.27/945.32 c | 4964028 | 1475 130281 429935 | 1 276854 48 | 0.000 % | 945.27/945.32 c | 4964132 | 1475 130281 429935 | 1 276958 48 | 0.000 % | 945.27/945.32 c | 4965415 | 1475 130281 429935 | 1 278241 49 | 0.000 % | 945.27/945.32 c | 4971990 | 1475 130281 429935 | 1 284816 49 | 0.000 % | 945.27/945.32 c | 4972090 | 1475 130281 429935 | 1 284916 49 | 0.000 % | 945.27/945.32 c | 4983183 | 1475 130281 429935 | 1 296009 50 | 0.000 % | 945.27/945.32 c | 4983435 | 1475 130281 429935 | 1 296261 50 | 0.000 % | 945.27/945.32 c | 4986420 | 1475 130281 429935 | 1 299246 50 | 0.000 % | 945.27/945.32 c | 5001430 | 1475 130281 429935 | 1 314256 50 | 0.000 % | 945.27/945.32 c | 5016681 | 1475 130281 429935 | 1 172105 33 | 0.000 % | 945.27/945.32 c | 5018799 | 1475 130281 429935 | 1 174223 34 | 0.000 % | 945.27/945.32 c | 5018900 | 1475 130281 429935 | 1 174324 34 | 0.000 % | 945.27/945.32 c | 5020216 | 1475 130281 429935 | 1 175640 34 | 0.000 % | 945.27/945.32 c | 5020995 | 1475 130281 429935 | 1 176419 34 | 0.000 % | 945.27/945.32 c | 5031151 | 1475 130281 429935 | 1 186575 36 | 0.000 % | 945.27/945.32 c | 5031253 | 1475 130281 429935 | 1 186677 36 | 0.000 % | 945.27/945.32 c | 5032072 | 1475 130281 429935 | 1 187496 36 | 0.000 % | 945.27/945.32 c | 5037346 | 1475 130281 429935 | 1 192770 37 | 0.000 % | 945.27/945.32 c | 5037597 | 1475 130281 429935 | 1 193021 37 | 0.000 % | 945.27/945.32 c | 5046514 | 1475 130281 429935 | 1 201938 38 | 0.000 % | 945.27/945.32 c | 5046614 | 1475 130281 429935 | 1 202038 38 | 0.000 % | 945.27/945.32 c | 5047794 | 1475 130281 429935 | 1 203218 38 | 0.000 % | 945.27/945.32 c | 5050407 | 1475 130281 429935 | 1 205831 39 | 0.000 % | 945.27/945.32 c | 5050546 | 1475 130281 429935 | 1 205970 39 | 0.000 % | 945.27/945.32 c | 5064647 | 1475 130281 429935 | 1 220071 40 | 0.000 % | 945.27/945.32 c | 5065105 | 1475 130281 429935 | 1 220529 40 | 0.000 % | 945.27/945.32 c | 5066060 | 1475 130281 429935 | 1 221484 40 | 0.000 % | 945.27/945.32 c | 5066235 | 1475 130281 429935 | 1 221659 40 | 0.000 % | 945.27/945.32 c | 5068874 | 1475 130281 429935 | 1 224298 40 | 0.000 % | 945.27/945.32 c | 5077747 | 1475 130281 429935 | 1 233171 41 | 0.000 % | 988.37/988.47 c | 5079209 | 1475 130281 429935 | 1 234633 41 | 0.000 % | 988.37/988.47 c | 5079311 | 1475 130281 429935 | 1 234735 41 | 0.000 % | 988.37/988.47 c | 5080990 | 1475 130281 429935 | 1 236414 42 | 0.000 % | 988.37/988.47 c | 5081091 | 1475 130281 429935 | 1 236515 42 | 0.000 % | 988.37/988.47 c | 5081191 | 1475 130281 429935 | 1 236615 42 | 0.000 % | 988.37/988.47 c | 5088540 | 1475 130281 429935 | 1 243964 43 | 0.000 % | 988.37/988.47 c | 5089533 | 1475 130281 429935 | 1 244957 43 | 0.000 % | 988.37/988.47 c | 5090306 | 1475 130281 429935 | 1 245730 43 | 0.000 % | 988.37/988.47 c | 5090406 | 1475 130281 429935 | 1 245830 43 | 0.000 % | 988.37/988.47 c | 5093989 | 1475 130281 429935 | 1 249413 43 | 0.000 % | 988.37/988.47 c | 5094354 | 1475 130281 429935 | 1 249778 43 | 0.000 % | 988.37/988.47 c | 5094536 | 1475 130281 429935 | 1 249960 43 | 0.000 % | 988.37/988.47 c | 5095255 | 1475 130281 429935 | 1 250679 43 | 0.000 % | 988.37/988.47 c | 5100726 | 1475 130281 429935 | 1 256150 44 | 0.000 % | 988.37/988.47 c | 5112270 | 1475 130281 429935 | 1 267694 44 | 0.000 % | 988.37/988.47 c | 5112372 | 1475 130281 429935 | 1 267796 44 | 0.000 % | 988.37/988.47 c | 5114717 | 1475 130281 429935 | 1 270141 45 | 0.000 % | 988.37/988.47 c | 5119523 | 1475 130281 429935 | 1 274947 45 | 0.000 % | 988.37/988.47 c | 5121347 | 1475 130281 429935 | 1 276771 45 | 0.000 % | 988.37/988.47 c | 5132319 | 1475 130281 429935 | 1 287743 47 | 0.000 % | 988.37/988.47 c | 5141228 | 1475 130281 429935 | 1 296652 47 | 0.000 % | 988.37/988.47 c | 5141415 | 1475 130281 429935 | 1 296839 47 | 0.000 % | 988.37/988.47 c | 5141620 | 1475 130281 429935 | 1 297044 47 | 0.000 % | 988.37/988.47 c | 5142892 | 1475 130281 429935 | 1 298316 47 | 0.000 % | 988.37/988.47 c | 5144153 | 1475 130281 429935 | 1 299577 47 | 0.000 % | 988.37/988.47 c | 5147786 | 1475 130281 429935 | 1 303210 48 | 0.000 % | 988.37/988.47 c | 5152317 | 1475 130281 429935 | 1 307741 48 | 0.000 % | 988.37/988.47 c | 5174970 | 1475 130281 429935 | 1 170392 32 | 0.000 % | 988.37/988.47 c | 5177531 | 1475 130281 429935 | 1 172953 32 | 0.000 % | 988.37/988.47 c | 5193655 | 1475 130281 429935 | 1 189077 35 | 0.000 % | 988.37/988.47 c | 5195328 | 1475 130281 429935 | 1 190750 36 | 0.000 % | 988.37/988.47 c | 5195649 | 1475 130281 429935 | 1 191071 36 | 0.000 % | 988.37/988.47 c | 5196472 | 1475 130281 429935 | 1 191894 36 | 0.000 % | 988.37/988.47 c | 5200571 | 1475 130281 429935 | 1 195993 37 | 0.000 % | 988.37/988.47 c | 5201594 | 1475 130281 429935 | 1 197016 37 | 0.000 % | 988.37/988.47 c | 5202893 | 1475 130281 429935 | 1 198315 37 | 0.000 % | 988.37/988.47 c | 5204136 | 1475 130281 429935 | 1 199558 37 | 0.000 % | 988.37/988.47 c | 5212770 | 1475 130281 429935 | 1 208192 38 | 0.000 % | 988.37/988.47 c | 5214173 | 1475 130281 429935 | 1 209595 39 | 0.000 % | 988.37/988.47 c | 5216084 | 1475 130281 429935 | 1 211506 39 | 0.000 % | 988.37/988.47 c | 5229936 | 1475 130281 429935 | 1 225358 40 | 0.000 % | 988.37/988.47 c | 5230244 | 1475 130281 429935 | 1 225666 40 | 0.000 % | 988.37/988.47 c | 5246921 | 1475 130281 429935 | 1 242343 43 | 0.000 % | 988.37/988.47 c | 5256118 | 1475 130281 429935 | 1 251540 44 | 0.000 % | 988.37/988.47 c | 5256218 | 1475 130281 429935 | 1 251640 44 | 0.000 % | 988.37/988.47 c | 5256451 | 1475 130281 429935 | 1 251873 44 | 0.000 % | 988.37/988.47 c | 5256676 | 1475 130281 429935 | 1 252098 44 | 0.000 % | 988.37/988.47 c | 5260826 | 1475 130281 429935 | 1 256248 44 | 0.000 % | 988.37/988.47 c | 5260930 | 1475 130281 429935 | 1 256352 44 | 0.000 % | 988.37/988.47 c | 5267858 | 1475 130281 429935 | 1 263280 45 | 0.000 % | 1023.48/1023.52 c | 5278406 | 1475 130281 429935 | 1 273828 46 | 0.000 % | 1023.48/1023.52 c | 5278506 | 1475 130281 429935 | 1 273928 46 | 0.000 % | 1023.48/1023.52 c | 5279039 | 1475 130281 429935 | 1 274461 46 | 0.000 % | 1023.48/1023.52 c | 5280667 | 1475 130281 429935 | 1 276089 46 | 0.000 % | 1023.48/1023.52 c | 5285526 | 1475 130281 429935 | 1 280948 47 | 0.000 % | 1023.48/1023.52 c | 5285629 | 1475 130281 429935 | 1 281051 47 | 0.000 % | 1023.48/1023.52 c | 5285882 | 1475 130281 429935 | 1 281304 47 | 0.000 % | 1023.48/1023.52 c | 5286074 | 1475 130281 429935 | 1 281496 47 | 0.000 % | 1023.48/1023.52 c | 5286174 | 1475 130281 429935 | 1 281596 47 | 0.000 % | 1023.48/1023.52 c | 5289123 | 1475 130281 429935 | 1 284545 47 | 0.000 % | 1023.48/1023.52 c | 5289509 | 1475 130281 429935 | 1 284931 47 | 0.000 % | 1023.48/1023.52 c | 5291069 | 1475 130281 429935 | 1 286491 47 | 0.000 % | 1023.48/1023.52 c | 5291169 | 1475 130281 429935 | 1 286591 47 | 0.000 % | 1023.48/1023.52 c | 5293437 | 1475 130281 429935 | 1 288859 47 | 0.000 % | 1023.48/1023.52 c | 5300663 | 1475 130281 429935 | 1 296085 48 | 0.000 % | 1023.48/1023.52 c | 5301238 | 1475 130281 429935 | 1 296660 48 | 0.000 % | 1023.48/1023.52 c | 5304761 | 1475 130281 429935 | 1 300183 48 | 0.000 % | 1023.48/1023.52 c | 5311042 | 1475 130281 429935 | 1 306464 48 | 0.000 % | 1023.48/1023.52 c | 5313312 | 1475 130281 429935 | 1 308734 49 | 0.000 % | 1023.48/1023.52 c | 5313994 | 1475 130281 429935 | 1 309416 49 | 0.000 % | 1023.48/1023.52 c | 5330412 | 1475 130281 429935 | 1 163234 31 | 0.000 % | 1023.48/1023.52 c | 5330520 | 1475 130281 429935 | 1 163342 31 | 0.000 % | 1023.48/1023.52 c | 5330885 | 1475 130281 429935 | 1 163707 31 | 0.000 % | 1023.48/1023.52 c | 5354344 | 1475 130281 429935 | 1 187166 35 | 0.000 % | 1023.48/1023.52 c | 5375917 | 1475 130281 429935 | 1 208739 38 | 0.000 % | 1023.48/1023.52 c | 5379537 | 1475 130281 429935 | 1 212359 39 | 0.000 % | 1023.48/1023.52 c | 5380781 | 1475 130281 429935 | 1 213603 39 | 0.000 % | 1023.48/1023.52 c | 5381092 | 1475 130281 429935 | 1 213914 39 | 0.000 % | 1023.48/1023.52 c | 5383955 | 1475 130281 429935 | 1 216777 40 | 0.000 % | 1023.48/1023.52 c | 5393677 | 1475 130281 429935 | 1 226499 41 | 0.000 % | 1023.48/1023.52 c | 5393777 | 1475 130281 429935 | 1 226599 41 | 0.000 % | 1023.48/1023.52 c | 5395336 | 1475 130281 429935 | 1 228158 41 | 0.000 % | 1023.48/1023.52 c | 5395917 | 1475 130281 429935 | 1 228739 41 | 0.000 % | 1023.48/1023.52 c | 5396621 | 1475 130281 429935 | 1 229443 41 | 0.000 % | 1023.48/1023.52 c | 5397221 | 1475 130281 429935 | 1 230043 41 | 0.000 % | 1023.48/1023.52 c | 5397321 | 1475 130281 429935 | 1 230143 41 | 0.000 % | 1023.48/1023.52 c | 5397512 | 1475 130281 429935 | 1 230334 41 | 0.000 % | 1023.48/1023.52 c | 5398002 | 1475 130281 429935 | 1 230824 41 | 0.000 % | 1023.48/1023.52 c | 5405017 | 1475 130281 429935 | 1 237839 42 | 0.000 % | 1023.48/1023.52 c | 5406350 | 1475 130281 429935 | 1 239172 42 | 0.000 % | 1023.48/1023.52 c | 5406995 | 1475 130281 429935 | 1 239817 42 | 0.000 % | 1023.48/1023.52 c | 5407515 | 1475 130281 429935 | 1 240337 42 | 0.000 % | 1023.48/1023.52 c | 5408465 | 1475 130281 429935 | 1 241287 42 | 0.000 % | 1023.48/1023.52 c | 5409321 | 1475 130281 429935 | 1 242143 43 | 0.000 % | 1023.48/1023.52 c | 5409472 | 1475 130281 429935 | 1 242294 43 | 0.000 % | 1023.48/1023.52 c | 5413695 | 1475 130281 429935 | 1 246517 43 | 0.000 % | 1023.48/1023.52 c | 5415095 | 1475 130281 429935 | 1 247917 43 | 0.000 % | 1023.48/1023.52 c | 5415818 | 1475 130281 429935 | 1 248640 43 | 0.000 % | 1023.48/1023.52 c | 5416908 | 1475 130281 429935 | 1 249730 43 | 0.000 % | 1023.48/1023.52 c | 5419110 | 1475 130281 429935 | 1 251932 43 | 0.000 % | 1079.18/1079.20 c | 5426612 | 1475 130281 429935 | 1 259434 44 | 0.000 % | 1079.18/1079.20 c | 5431451 | 1475 130281 429935 | 1 264273 44 | 0.000 % | 1079.18/1079.20 c | 5441777 | 1475 130281 429935 | 1 274599 45 | 0.000 % | 1079.18/1079.20 c | 5445544 | 1475 130281 429935 | 1 278366 46 | 0.000 % | 1079.18/1079.20 c | 5446235 | 1475 130281 429935 | 1 279057 46 | 0.000 % | 1079.18/1079.20 c | 5446335 | 1475 130281 429935 | 1 279157 46 | 0.000 % | 1079.18/1079.20 c | 5447019 | 1475 130281 429935 | 1 279841 46 | 0.000 % | 1079.18/1079.20 c | 5449827 | 1475 130281 429935 | 1 282649 46 | 0.000 % | 1079.18/1079.20 c | 5450248 | 1475 130281 429935 | 1 283070 46 | 0.000 % | 1079.18/1079.20 c | 5493585 | 1475 130281 429935 | 1 326407 49 | 0.000 % | 1079.18/1079.20 c | 5495769 | 1475 130281 429935 | 1 328591 49 | 0.000 % | 1079.18/1079.20 c | 5500474 | 1475 130281 429935 | 1 168088 31 | 0.000 % | 1079.18/1079.20 c | 5505277 | 1475 130281 429935 | 1 172891 31 | 0.000 % | 1079.18/1079.20 c | 5507124 | 1475 130281 429935 | 1 174738 32 | 0.000 % | 1079.18/1079.20 c | 5508499 | 1475 130281 429935 | 1 176113 32 | 0.000 % | 1079.18/1079.20 c | 5518330 | 1475 130281 429935 | 1 185944 33 | 0.000 % | 1079.18/1079.20 c | 5531977 | 1475 130281 429935 | 1 199591 35 | 0.000 % | 1079.18/1079.20 c | 5539884 | 1475 130281 429935 | 1 207498 36 | 0.000 % | 1079.18/1079.20 c | 5540708 | 1475 130281 429935 | 1 208322 36 | 0.000 % | 1079.18/1079.20 c | 5545825 | 1475 130281 429935 | 1 213439 37 | 0.000 % | 1079.18/1079.20 c | 5551908 | 1475 130281 429935 | 1 219522 38 | 0.000 % | 1079.18/1079.20 c | 5554754 | 1475 130281 429935 | 1 222368 38 | 0.000 % | 1079.18/1079.20 c | 5555073 | 1475 130281 429935 | 1 222687 38 | 0.000 % | 1079.18/1079.20 c | 5561831 | 1475 130281 429935 | 1 229445 39 | 0.000 % | 1079.18/1079.20 c | 5567553 | 1475 130281 429935 | 1 235167 40 | 0.000 % | 1079.18/1079.20 c | 5567881 | 1475 130281 429935 | 1 235495 40 | 0.000 % | 1079.18/1079.20 c | 5569649 | 1475 130281 429935 | 1 237263 40 | 0.000 % | 1079.18/1079.20 c | 5570396 | 1475 130281 429935 | 1 238010 40 | 0.000 % | 1079.18/1079.20 c | 5581771 | 1475 130281 429935 | 1 249385 41 | 0.000 % | 1079.18/1079.20 c | 5611077 | 1475 130281 429935 | 1 278691 45 | 0.000 % | 1079.18/1079.20 c | 5611178 | 1475 130281 429935 | 1 278792 45 | 0.000 % | 1079.18/1079.20 c | 5611283 | 1475 130281 429935 | 1 278897 45 | 0.000 % | 1079.18/1079.20 c | 5612318 | 1475 130281 429935 | 1 279932 45 | 0.000 % | 1079.18/1079.20 c | 5614787 | 1475 130281 429935 | 1 282401 45 | 0.000 % | 1079.18/1079.20 c | 5615048 | 1475 130281 429935 | 1 282662 45 | 0.000 % | 1079.18/1079.20 c | 5619712 | 1475 130281 429935 | 1 287326 45 | 0.000 % | 1079.18/1079.20 c | 5624290 | 1475 130281 429935 | 1 291904 46 | 0.000 % | 1079.18/1079.20 c | 5628324 | 1475 130281 429935 | 1 295938 47 | 0.000 % | 1079.18/1079.20 c | 5628424 | 1475 130281 429935 | 1 296038 47 | 0.000 % | 1079.18/1079.20 c | 5628721 | 1475 130281 429935 | 1 296335 47 | 0.000 % | 1079.18/1079.20 c | 5631403 | 1475 130281 429935 | 1 299017 47 | 0.000 % | 1079.18/1079.20 c | 5632559 | 1475 130281 429935 | 1 300173 47 | 0.000 % | 1079.18/1079.20 c | 5633006 | 1475 130281 429935 | 1 300620 47 | 0.000 % | 1079.18/1079.20 c | 5633106 | 1475 130281 429935 | 1 300720 47 | 0.000 % | 1079.18/1079.20 c | 5637930 | 1475 130281 429935 | 1 305544 48 | 0.000 % | 1079.18/1079.20 c | 5638066 | 1475 130281 429935 | 1 305680 48 | 0.000 % | 1079.18/1079.20 c | 5638181 | 1475 130281 429935 | 1 305795 48 | 0.000 % | 1079.18/1079.20 c | 5639306 | 1475 130281 429935 | 1 306920 48 | 0.000 % | 1079.18/1079.20 c | 5646321 | 1475 130281 429935 | 1 313935 48 | 0.000 % | 1079.18/1079.20 c | 5646628 | 1475 130281 429935 | 1 314242 48 | 0.000 % | 1140.68/1140.78 c | 5650337 | 1475 130281 429935 | 1 317951 49 | 0.000 % | 1140.68/1140.78 c | 5651501 | 1475 130281 429935 | 1 319115 49 | 0.000 % | 1140.68/1140.78 c | 5675741 | 1475 130281 429935 | 1 175562 32 | 0.000 % | 1140.68/1140.78 c | 5677426 | 1475 130281 429935 | 1 177247 33 | 0.000 % | 1140.68/1140.78 c | 5679718 | 1475 130281 429935 | 1 179539 33 | 0.000 % | 1140.68/1140.78 c | 5700363 | 1475 130281 429935 | 1 200184 36 | 0.000 % | 1140.68/1140.78 c | 5709633 | 1475 130281 429935 | 1 209454 38 | 0.000 % | 1140.68/1140.78 c | 5730763 | 1475 130281 429935 | 1 230584 41 | 0.000 % | 1140.68/1140.78 c | 5732985 | 1475 130281 429935 | 1 232806 41 | 0.000 % | 1140.68/1140.78 c | 5733497 | 1475 130281 429935 | 1 233318 41 | 0.000 % | 1140.68/1140.78 c | 5735275 | 1475 130281 429935 | 1 235096 41 | 0.000 % | 1140.68/1140.78 c | 5739973 | 1475 130281 429935 | 1 239794 42 | 0.000 % | 1140.68/1140.78 c | 5740074 | 1475 130281 429935 | 1 239895 42 | 0.000 % | 1140.68/1140.78 c | 5740179 | 1475 130281 429935 | 1 240000 42 | 0.000 % | 1140.68/1140.78 c | 5740810 | 1475 130281 429935 | 1 240631 42 | 0.000 % | 1140.68/1140.78 c | 5757504 | 1475 130281 429935 | 1 257325 44 | 0.000 % | 1140.68/1140.78 c | 5757846 | 1475 130281 429935 | 1 257667 44 | 0.000 % | 1140.68/1140.78 c | 5762576 | 1475 130281 429935 | 1 262397 44 | 0.000 % | 1140.68/1140.78 c | 5764834 | 1475 130281 429935 | 1 264655 44 | 0.000 % | 1140.68/1140.78 c | 5765102 | 1475 130281 429935 | 1 264923 44 | 0.000 % | 1140.68/1140.78 c | 5765629 | 1475 130281 429935 | 1 265450 44 | 0.000 % | 1140.68/1140.78 c | 5766858 | 1475 130281 429935 | 1 266679 44 | 0.000 % | 1140.68/1140.78 c | 5767579 | 1475 130281 429935 | 1 267400 45 | 0.000 % | 1140.68/1140.78 c | 5775247 | 1475 130281 429935 | 1 275068 45 | 0.000 % | 1140.68/1140.78 c | 5775399 | 1475 130281 429935 | 1 275220 45 | 0.000 % | 1140.68/1140.78 c | 5776598 | 1475 130281 429935 | 1 276419 45 | 0.000 % | 1140.68/1140.78 c | 5783015 | 1475 130281 429935 | 1 282836 46 | 0.000 % | 1140.68/1140.78 c | 5783115 | 1475 130281 429935 | 1 282936 46 | 0.000 % | 1140.68/1140.78 c | 5808080 | 1475 130281 429935 | 1 307901 47 | 0.000 % | 1140.68/1140.78 c | 5816530 | 1475 130281 429935 | 1 316351 47 | 0.000 % | 1140.68/1140.78 c | 5822054 | 1475 130281 429935 | 1 321875 48 | 0.000 % | 1140.68/1140.78 c | 5836534 | 1475 130281 429935 | 1 336355 48 | 0.000 % | 1140.68/1140.78 c | 5842591 | 1475 130281 429935 | 1 172013 31 | 0.000 % | 1140.68/1140.78 c | 5843302 | 1475 130281 429935 | 1 172724 31 | 0.000 % | 1140.68/1140.78 c | 5852818 | 1475 130281 429935 | 1 182240 33 | 0.000 % | 1140.68/1140.78 c | 5852976 | 1475 130281 429935 | 1 182398 33 | 0.000 % | 1140.68/1140.78 c | 5861906 | 1475 130281 429935 | 1 191328 34 | 0.000 % | 1140.68/1140.78 c | 5862006 | 1475 130281 429935 | 1 191428 34 | 0.000 % | 1140.68/1140.78 c | 5863434 | 1475 130281 429935 | 1 192856 35 | 0.000 % | 1140.68/1140.78 c | 5863673 | 1475 130281 429935 | 1 193095 35 | 0.000 % | 1140.68/1140.78 c | 5863776 | 1475 130281 429935 | 1 193198 35 | 0.000 % | 1140.68/1140.78 c | 5865371 | 1475 130281 429935 | 1 194793 35 | 0.000 % | 1140.68/1140.78 c | 5875349 | 1475 130281 429935 | 1 204771 37 | 0.000 % | 1140.68/1140.78 c | 5886568 | 1475 130281 429935 | 1 215990 38 | 0.000 % | 1140.68/1140.78 c | 5886852 | 1475 130281 429935 | 1 216274 38 | 0.000 % | 1140.68/1140.78 c | 5887244 | 1475 130281 429935 | 1 216666 38 | 0.000 % | 1140.68/1140.78 c | 5890939 | 1475 130281 429935 | 1 220361 39 | 0.000 % | 1140.68/1140.78 c | 5896132 | 1475 130281 429935 | 1 225554 39 | 0.000 % | 1140.68/1140.78 c | 5897713 | 1475 130281 429935 | 1 227135 39 | 0.000 % | 1140.68/1140.78 c | 5898599 | 1475 130281 429935 | 1 228021 39 | 0.000 % | 1186.48/1186.58 c | 5900334 | 1475 130281 429935 | 1 229756 40 | 0.000 % | 1186.48/1186.58 c | 5901570 | 1475 130281 429935 | 1 230992 40 | 0.000 % | 1186.48/1186.58 c | 5902416 | 1475 130281 429935 | 1 231838 40 | 0.000 % | 1186.48/1186.58 c | 5902517 | 1475 130281 429935 | 1 231939 40 | 0.000 % | 1186.48/1186.58 c | 5904147 | 1475 130281 429935 | 1 233569 40 | 0.000 % | 1186.48/1186.58 c | 5905624 | 1475 130281 429935 | 1 235046 40 | 0.000 % | 1186.48/1186.58 c | 5907853 | 1475 130281 429935 | 1 237275 40 | 0.000 % | 1186.48/1186.58 c | 5914992 | 1475 130281 429935 | 1 244414 41 | 0.000 % | 1186.48/1186.58 c | 5927919 | 1475 130281 429935 | 1 257341 41 | 0.000 % | 1186.48/1186.58 c | 5941363 | 1475 130281 429935 | 1 270785 42 | 0.000 % | 1186.48/1186.58 c | 5944950 | 1475 130281 429935 | 1 274372 42 | 0.000 % | 1186.48/1186.58 c | 5950427 | 1475 130281 429935 | 1 279849 43 | 0.000 % | 1186.48/1186.58 c | 5950542 | 1475 130281 429935 | 1 279964 43 | 0.000 % | 1186.48/1186.58 c | 5950642 | 1475 130281 429935 | 1 280064 43 | 0.000 % | 1186.48/1186.58 c | 5950781 | 1475 130281 429935 | 1 280203 43 | 0.000 % | 1186.48/1186.58 c | 5952572 | 1475 130281 429935 | 1 281994 43 | 0.000 % | 1186.48/1186.58 c | 5952704 | 1475 130281 429935 | 1 282126 43 | 0.000 % | 1186.48/1186.58 c | 5954817 | 1475 130281 429935 | 1 284239 43 | 0.000 % | 1186.48/1186.58 c | 5970487 | 1475 130281 429935 | 1 299909 45 | 0.000 % | 1186.48/1186.58 c | 5974017 | 1475 130281 429935 | 1 303439 45 | 0.000 % | 1186.48/1186.58 c | 5974118 | 1475 130281 429935 | 1 303540 45 | 0.000 % | 1186.48/1186.58 c | 5974219 | 1475 130281 429935 | 1 303641 45 | 0.000 % | 1186.48/1186.58 c | 5979383 | 1475 130281 429935 | 1 308805 46 | 0.000 % | 1186.48/1186.58 c | 6006572 | 1475 130281 429935 | 1 335994 47 | 0.000 % | 1186.48/1186.58 c | 6009013 | 1475 130281 429935 | 1 338435 48 | 0.000 % | 1186.48/1186.58 c | 6009447 | 1475 130281 429935 | 1 338869 48 | 0.000 % | 1186.48/1186.58 c | 6010612 | 1475 130281 429935 | 1 340034 48 | 0.000 % | 1186.48/1186.58 c | 6016990 | 1475 130281 429935 | 1 173409 30 | 0.000 % | 1186.48/1186.58 c | 6019203 | 1475 130281 429935 | 1 175622 30 | 0.000 % | 1186.48/1186.58 c | 6025913 | 1475 130281 429935 | 1 182332 32 | 0.000 % | 1186.48/1186.58 c | 6026890 | 1475 130281 429935 | 1 183309 32 | 0.000 % | 1186.48/1186.58 c | 6033351 | 1475 130281 429935 | 1 189770 33 | 0.000 % | 1186.48/1186.58 c | 6033548 | 1475 130281 429935 | 1 189967 33 | 0.000 % | 1186.48/1186.58 c | 6036498 | 1475 130281 429935 | 1 192917 33 | 0.000 % | 1186.48/1186.58 c | 6037160 | 1475 130281 429935 | 1 193579 33 | 0.000 % | 1186.48/1186.58 c | 6050030 | 1475 130281 429935 | 1 206449 35 | 0.000 % | 1186.48/1186.58 c | 6051089 | 1475 130281 429935 | 1 207508 35 | 0.000 % | 1186.48/1186.58 c | 6051198 | 1475 130281 429935 | 1 207617 35 | 0.000 % | 1186.48/1186.58 c | 6051300 | 1475 130281 429935 | 1 207719 35 | 0.000 % | 1186.48/1186.58 c | 6057949 | 1475 130281 429935 | 1 214368 37 | 0.000 % | 1186.48/1186.58 c | 6080442 | 1475 130281 429935 | 1 236861 40 | 0.000 % | 1186.48/1186.58 c | 6080543 | 1475 130281 429935 | 1 236962 40 | 0.000 % | 1186.48/1186.58 c | 6081751 | 1475 130281 429935 | 1 238170 40 | 0.000 % | 1186.48/1186.58 c | 6082828 | 1475 130281 429935 | 1 239247 41 | 0.000 % | 1186.48/1186.58 c | 6082929 | 1475 130281 429935 | 1 239348 41 | 0.000 % | 1186.48/1186.58 c | 6083120 | 1475 130281 429935 | 1 239539 41 | 0.000 % | 1186.48/1186.58 c | 6084915 | 1475 130281 429935 | 1 241334 41 | 0.000 % | 1186.48/1186.58 c | 6085016 | 1475 130281 429935 | 1 241435 41 | 0.000 % | 1186.48/1186.58 c | 6085783 | 1475 130281 429935 | 1 242202 41 | 0.000 % | 1186.48/1186.58 c | 6086870 | 1475 130281 429935 | 1 243289 41 | 0.000 % | 1235.08/1235.11 c | 6091784 | 1475 130281 429935 | 1 248203 42 | 0.000 % | 1235.08/1235.11 c | 6091961 | 1475 130281 429935 | 1 248380 42 | 0.000 % | 1235.08/1235.11 c | 6092671 | 1475 130281 429935 | 1 249090 42 | 0.000 % | 1235.08/1235.11 c | 6095040 | 1475 130281 429935 | 1 251459 42 | 0.000 % | 1235.08/1235.11 c | 6103503 | 1475 130281 429935 | 1 259922 43 | 0.000 % | 1235.08/1235.11 c | 6103721 | 1475 130281 429935 | 1 260140 43 | 0.000 % | 1235.08/1235.11 c | 6104453 | 1475 130281 429935 | 1 260872 43 | 0.000 % | 1235.08/1235.11 c | 6104930 | 1475 130281 429935 | 1 261349 43 | 0.000 % | 1235.08/1235.11 c | 6105153 | 1475 130281 429935 | 1 261572 43 | 0.000 % | 1235.08/1235.11 c | 6106870 | 1475 130281 429935 | 1 263289 43 | 0.000 % | 1235.08/1235.11 c | 6125819 | 1475 130281 429935 | 1 282238 45 | 0.000 % | 1235.08/1235.11 c | 6128232 | 1475 130281 429935 | 1 284651 45 | 0.000 % | 1235.08/1235.11 c | 6137403 | 1475 130281 429935 | 1 293822 46 | 0.000 % | 1235.08/1235.11 c | 6138703 | 1475 130281 429935 | 1 295122 46 | 0.000 % | 1235.08/1235.11 c | 6139349 | 1475 130281 429935 | 1 295768 46 | 0.000 % | 1235.08/1235.11 c | 6139463 | 1475 130281 429935 | 1 295882 46 | 0.000 % | 1235.08/1235.11 c | 6155946 | 1475 130281 429935 | 1 312365 47 | 0.000 % | 1235.08/1235.11 c | 6158794 | 1475 130281 429935 | 1 315213 47 | 0.000 % | 1235.08/1235.11 c | 6159758 | 1475 130281 429935 | 1 316177 47 | 0.000 % | 1235.08/1235.11 c | 6159963 | 1475 130281 429935 | 1 316382 47 | 0.000 % | 1235.08/1235.11 c | 6161021 | 1475 130281 429935 | 1 317440 47 | 0.000 % | 1235.08/1235.11 c | 6165100 | 1475 130281 429935 | 1 321519 48 | 0.000 % | 1235.08/1235.11 c | 6170659 | 1475 130281 429935 | 1 327078 48 | 0.000 % | 1235.08/1235.11 c | 6176480 | 1475 130281 429935 | 1 332899 48 | 0.000 % | 1235.08/1235.11 c | 6180171 | 1475 130281 429935 | 1 336590 49 | 0.000 % | 1235.08/1235.11 c | 6189220 | 1475 130281 429935 | 1 345639 49 | 0.000 % | 1235.08/1235.11 c | 6192704 | 1475 130281 429935 | 1 349123 49 | 0.000 % | 1235.08/1235.11 c | 6218440 | 1475 130281 429935 | 1 199257 35 | 0.000 % | 1235.08/1235.11 c | 6226532 | 1475 130281 429935 | 1 207349 36 | 0.000 % | 1235.08/1235.11 c | 6227656 | 1475 130281 429935 | 1 208473 36 | 0.000 % | 1235.08/1235.11 c | 6228026 | 1475 130281 429935 | 1 208843 36 | 0.000 % | 1235.08/1235.11 c | 6228167 | 1475 130281 429935 | 1 208984 36 | 0.000 % | 1235.08/1235.11 c | 6228453 | 1475 130281 429935 | 1 209270 36 | 0.000 % | 1235.08/1235.11 c | 6228553 | 1475 130281 429935 | 1 209370 36 | 0.000 % | 1235.08/1235.11 c | 6242912 | 1475 130281 429935 | 1 223729 38 | 0.000 % | 1235.08/1235.11 c | 6247622 | 1475 130281 429935 | 1 228439 39 | 0.000 % | 1235.08/1235.11 c | 6247726 | 1475 130281 429935 | 1 228543 39 | 0.000 % | 1235.08/1235.11 c | 6247828 | 1475 130281 429935 | 1 228645 39 | 0.000 % | 1235.08/1235.11 c | 6248006 | 1475 130281 429935 | 1 228823 39 | 0.000 % | 1235.08/1235.11 c | 6248106 | 1475 130281 429935 | 1 228923 39 | 0.000 % | 1235.08/1235.11 c | 6248898 | 1475 130281 429935 | 1 229715 39 | 0.000 % | 1235.08/1235.11 c | 6249000 | 1475 130281 429935 | 1 229817 39 | 0.000 % | 1235.08/1235.11 c | 6249187 | 1475 130281 429935 | 1 230004 39 | 0.000 % | 1235.08/1235.11 c | 6252251 | 1475 130281 429935 | 1 233068 39 | 0.000 % | 1235.08/1235.11 c | 6255045 | 1475 130281 429935 | 1 235862 40 | 0.000 % | 1235.08/1235.11 c | 6255755 | 1475 130281 429935 | 1 236572 40 | 0.000 % | 1235.08/1235.11 c | 6258990 | 1475 130281 429935 | 1 239807 40 | 0.000 % | 1235.08/1235.11 c | 6267641 | 1475 130281 429935 | 1 248458 41 | 0.000 % | 1235.08/1235.11 c | 6268970 | 1475 130281 429935 | 1 249787 41 | 0.000 % | 1266.28/1266.34 c | 6270217 | 1475 130281 429935 | 1 251034 41 | 0.000 % | 1266.28/1266.34 c | 6271562 | 1475 130281 429935 | 1 252379 41 | 0.000 % | 1266.28/1266.34 c | 6271963 | 1475 130281 429935 | 1 252780 42 | 0.000 % | 1266.28/1266.34 c | 6273494 | 1475 130281 429935 | 1 254311 42 | 0.000 % | 1266.28/1266.34 c | 6281107 | 1475 130281 429935 | 1 261924 43 | 0.000 % | 1266.28/1266.34 c | 6282636 | 1475 130281 429935 | 1 263453 43 | 0.000 % | 1266.28/1266.34 c | 6284078 | 1475 130281 429935 | 1 264895 43 | 0.000 % | 1266.28/1266.34 c | 6287301 | 1475 130281 429935 | 1 268118 43 | 0.000 % | 1266.28/1266.34 c | 6295717 | 1475 130281 429935 | 1 276534 44 | 0.000 % | 1266.28/1266.34 c | 6298259 | 1475 130281 429935 | 1 279076 45 | 0.000 % | 1266.28/1266.34 c | 6298870 | 1475 130281 429935 | 1 279687 45 | 0.000 % | 1266.28/1266.34 c | 6307443 | 1475 130281 429935 | 1 288260 45 | 0.000 % | 1266.28/1266.34 c | 6308635 | 1475 130281 429935 | 1 289452 45 | 0.000 % | 1266.28/1266.34 c | 6308780 | 1475 130281 429935 | 1 289597 45 | 0.000 % | 1266.28/1266.34 c | 6309106 | 1475 130281 429935 | 1 289923 45 | 0.000 % | 1266.28/1266.34 c | 6309209 | 1475 130281 429935 | 1 290026 45 | 0.000 % | 1266.28/1266.34 c | 6312144 | 1475 130281 429935 | 1 292961 46 | 0.000 % | 1266.28/1266.34 c | 6313664 | 1475 130281 429935 | 1 294481 46 | 0.000 % | 1266.28/1266.34 c | 6318833 | 1475 130281 429935 | 1 299650 46 | 0.000 % | 1266.28/1266.34 c | 6319241 | 1475 130281 429935 | 1 300058 46 | 0.000 % | 1266.28/1266.34 c | 6319863 | 1475 130281 429935 | 1 300680 46 | 0.000 % | 1266.28/1266.34 c | 6322285 | 1475 130281 429935 | 1 303102 46 | 0.000 % | 1266.28/1266.34 c | 6324989 | 1475 130281 429935 | 1 305806 46 | 0.000 % | 1266.28/1266.34 c | 6326297 | 1475 130281 429935 | 1 307114 47 | 0.000 % | 1266.28/1266.34 c | 6326397 | 1475 130281 429935 | 1 307214 47 | 0.000 % | 1266.28/1266.34 c | 6326501 | 1475 130281 429935 | 1 307318 47 | 0.000 % | 1266.28/1266.34 c | 6326835 | 1475 130281 429935 | 1 307652 47 | 0.000 % | 1266.28/1266.34 c | 6331024 | 1475 130281 429935 | 1 311841 47 | 0.000 % | 1266.28/1266.34 c | 6339165 | 1475 130281 429935 | 1 319982 47 | 0.000 % | 1266.28/1266.34 c | 6339266 | 1475 130281 429935 | 1 320083 47 | 0.000 % | 1266.28/1266.34 c | 6342786 | 1475 130281 429935 | 1 323603 48 | 0.000 % | 1266.28/1266.34 c | 6342890 | 1475 130281 429935 | 1 323707 48 | 0.000 % | 1266.28/1266.34 c | 6345165 | 1475 130281 429935 | 1 325982 48 | 0.000 % | 1266.28/1266.34 c | 6345265 | 1475 130281 429935 | 1 326082 48 | 0.000 % | 1266.28/1266.34 c | 6345365 | 1475 130281 429935 | 1 326182 48 | 0.000 % | 1266.28/1266.34 c | 6345466 | 1475 130281 429935 | 1 326283 48 | 0.000 % | 1266.28/1266.34 c | 6348084 | 1475 130281 429935 | 1 328901 48 | 0.000 % | 1266.28/1266.34 c | 6348369 | 1475 130281 429935 | 1 329186 48 | 0.000 % | 1266.28/1266.34 c | 6356965 | 1475 130281 429935 | 1 337782 49 | 0.000 % | 1266.28/1266.34 c | 6361921 | 1475 130281 429935 | 1 342738 49 | 0.000 % | 1266.28/1266.34 c | 6362024 | 1475 130281 429935 | 1 342841 49 | 0.000 % | 1266.28/1266.34 c | 6363625 | 1475 130281 429935 | 1 344442 50 | 0.000 % | 1266.28/1266.34 c | 6365926 | 1475 130281 429935 | 1 346743 50 | 0.000 % | 1266.28/1266.34 c | 6366866 | 1475 130281 429935 | 1 347683 50 | 0.000 % | 1266.28/1266.34 c | 6367735 | 1475 130281 429935 | 1 348552 50 | 0.000 % | 1266.28/1266.34 c | 6368198 | 1475 130281 429935 | 1 349015 50 | 0.000 % | 1266.28/1266.34 c | 6368299 | 1475 130281 429935 | 1 349116 50 | 0.000 % | 1266.28/1266.34 c | 6378448 | 1475 130281 429935 | 1 181073 31 | 0.000 % | 1266.28/1266.34 c | 6380371 | 1475 130281 429935 | 1 182996 31 | 0.000 % | 1266.28/1266.34 c | 6382398 | 1475 130281 429935 | 1 185023 32 | 0.000
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-3264244-1303546922/watcher-3264244-1303546922 -o /tmp/evaluation-result-3264244-1303546922/solver-3264244-1303546922 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264244-1303546922.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: 0.87 1.88 2.77 4/186 11660 /proc/meminfo: memFree=14477396/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 466290143 8912896 253 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 253 211 178 0 69 0 [startup+0.104919 s] /proc/loadavg: 0.87 1.88 2.77 4/186 11660 /proc/meminfo: memFree=14477396/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 466290143 8912896 253 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.200928 s] /proc/loadavg: 0.87 1.88 2.77 4/186 11660 /proc/meminfo: memFree=14477396/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 466290143 8912896 253 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300919 s] /proc/loadavg: 0.87 1.88 2.77 4/186 11660 /proc/meminfo: memFree=14477396/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 466290143 8912896 253 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700782 s] /proc/loadavg: 0.87 1.88 2.77 4/186 11660 /proc/meminfo: memFree=14477396/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.41 Current children cumulated vsize (KiB) 8704 [startup+1.50064 s] /proc/loadavg: 0.87 1.88 2.77 5/194 11673 /proc/meminfo: memFree=14451180/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=30784 CPUtime=1.05 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 6937 0 0 0 105 0 0 0 20 0 1 0 466290185 31522816 4132 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/11673/statm: 7696 4132 250 17 0 4337 0 Current children cumulated CPU time (s) 1.46 Current children cumulated vsize (KiB) 39488 [startup+3.10036 s] /proc/loadavg: 0.87 1.88 2.77 5/194 11704 /proc/meminfo: memFree=14436464/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=42276 CPUtime=2.65 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 10182 0 0 0 264 1 0 0 25 0 1 0 466290185 43290624 7101 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/11673/statm: 10569 7101 250 17 0 7210 0 Current children cumulated CPU time (s) 3.06 Current children cumulated vsize (KiB) 50980 [startup+6.30086 s] /proc/loadavg: 1.12 1.91 2.78 5/194 11704 /proc/meminfo: memFree=14417000/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=42276 CPUtime=5.84 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 10442 0 0 0 583 1 0 0 25 0 1 0 466290185 43290624 7355 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 10569 7355 250 17 0 7210 0 Current children cumulated CPU time (s) 6.25 Current children cumulated vsize (KiB) 50980 [startup+12.7007 s] /proc/loadavg: 1.35 1.95 2.78 5/194 11735 /proc/meminfo: memFree=14406644/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=42276 CPUtime=12.24 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 10442 0 0 0 1223 1 0 0 25 0 1 0 466290185 43290624 7355 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 10569 7355 250 17 0 7210 0 Current children cumulated CPU time (s) 12.65 Current children cumulated vsize (KiB) 50980 [startup+25.5005 s] /proc/loadavg: 1.94 2.05 2.80 5/194 11766 /proc/meminfo: memFree=14373308/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=65816 CPUtime=25.04 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 22525 0 0 0 2501 3 0 0 25 0 1 0 466290185 67395584 12175 33554432000 4194304 4260849 140733980777344 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 16454 12175 252 17 0 13095 0 Current children cumulated CPU time (s) 25.45 Current children cumulated vsize (KiB) 74520 [startup+51.101 s] /proc/loadavg: 2.64 2.20 2.83 5/194 11767 /proc/meminfo: memFree=14324412/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=84668 CPUtime=50.64 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 32615 0 0 0 5059 5 0 0 25 0 1 0 466290185 86700032 17303 33554432000 4194304 4260849 140733980777344 18446744073709551615 4225427 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 21167 17303 252 17 0 17808 0 Current children cumulated CPU time (s) 51.05 Current children cumulated vsize (KiB) 93372 [startup+102.301 s] /proc/loadavg: 3.41 2.48 2.89 5/194 11768 /proc/meminfo: memFree=14291676/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=84668 CPUtime=101.85 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 33254 0 0 0 10180 5 0 0 25 0 1 0 466290185 86700032 17927 33554432000 4194304 4260849 140733980777344 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 21167 17927 252 17 0 17808 0 Current children cumulated CPU time (s) 102.26 Current children cumulated vsize (KiB) 93372 [startup+162.3 s] /proc/loadavg: 3.78 2.75 2.96 5/194 11770 /proc/meminfo: memFree=14239812/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=96444 CPUtime=161.84 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 69291 0 0 0 16173 11 0 0 25 0 1 0 466290185 98758656 20915 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 24111 20915 252 17 0 20752 0 Current children cumulated CPU time (s) 162.25 Current children cumulated vsize (KiB) 105148 [startup+222.307 s] /proc/loadavg: 3.92 2.98 3.02 5/194 11772 /proc/meminfo: memFree=14202100/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=145764 CPUtime=221.85 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 113279 0 0 0 22167 18 0 0 25 0 1 0 466290185 149262336 28914 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 36441 28914 252 17 0 33082 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 154468 [startup+282.3 s] /proc/loadavg: 3.97 3.16 3.08 5/194 11773 /proc/meminfo: memFree=14227744/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=96444 CPUtime=281.85 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 147101 0 0 0 28160 25 0 0 25 0 1 0 466290185 98758656 20915 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 24111 20915 252 17 0 20752 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 105148 [startup+342.301 s] /proc/loadavg: 3.99 3.31 3.13 5/194 11775 /proc/meminfo: memFree=14208632/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=96444 CPUtime=341.84 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 178911 0 0 0 34152 32 0 0 25 0 1 0 466290185 98758656 20915 33554432000 4194304 4260849 140733980777344 18446744073709551615 4225091 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 24111 20915 252 17 0 20752 0 Current children cumulated CPU time (s) 342.25 Current children cumulated vsize (KiB) 105148 [startup+402.3 s] /proc/loadavg: 3.99 3.43 3.19 5/194 11776 /proc/meminfo: memFree=14185064/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 ################ # More data... # ################ /proc/11673/statm: 36441 32229 252 17 0 33082 0 Current children cumulated CPU time (s) 642.27 Current children cumulated vsize (KiB) 154468 [startup+702.301 s] /proc/loadavg: 4.00 3.79 3.40 5/194 11784 /proc/meminfo: memFree=14115108/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=145764 CPUtime=701.85 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 376264 0 0 0 70107 78 0 0 25 0 1 0 466290185 149262336 32892 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 36441 32892 252 17 0 33082 0 Current children cumulated CPU time (s) 702.26 Current children cumulated vsize (KiB) 154468 [startup+762.301 s] /proc/loadavg: 4.09 3.86 3.45 5/194 11786 /proc/meminfo: memFree=14089540/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=145764 CPUtime=761.86 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 403304 0 0 0 76100 86 0 0 25 0 1 0 466290185 149262336 29521 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 36441 29521 252 17 0 33082 0 Current children cumulated CPU time (s) 762.27 Current children cumulated vsize (KiB) 154468 [startup+822.301 s] /proc/loadavg: 4.03 3.88 3.48 5/194 11788 /proc/meminfo: memFree=14116668/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=96444 CPUtime=821.86 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 426269 0 0 0 82092 94 0 0 25 0 1 0 466290185 98758656 20917 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 24111 20917 252 17 0 20752 0 Current children cumulated CPU time (s) 822.27 Current children cumulated vsize (KiB) 105148 [startup+882.307 s] /proc/loadavg: 4.01 3.90 3.51 5/194 11789 /proc/meminfo: memFree=14057884/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=176584 CPUtime=881.87 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 456720 0 0 0 88086 101 0 0 25 0 1 0 466290185 180822016 34839 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224818 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 44146 34839 252 17 0 40787 0 Current children cumulated CPU time (s) 882.28 Current children cumulated vsize (KiB) 185288 [startup+942.3 s] /proc/loadavg: 4.00 3.91 3.54 5/194 11791 /proc/meminfo: memFree=14066428/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=145764 CPUtime=941.86 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 486349 0 0 0 94074 112 0 0 25 0 1 0 466290185 149262336 30986 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224334 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 36441 30986 252 17 0 33082 0 Current children cumulated CPU time (s) 942.27 Current children cumulated vsize (KiB) 154468 [startup+1002.3 s] /proc/loadavg: 4.07 3.94 3.57 5/194 11792 /proc/meminfo: memFree=14039236/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=176584 CPUtime=1001.86 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 510349 0 0 0 100068 118 0 0 25 0 1 0 466290185 180822016 37935 33554432000 4194304 4260849 140733980777344 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 44146 37935 252 17 0 40787 0 Current children cumulated CPU time (s) 1002.27 Current children cumulated vsize (KiB) 185288 [startup+1062.3 s] /proc/loadavg: 4.07 3.96 3.60 5/194 11794 /proc/meminfo: memFree=14055704/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=145764 CPUtime=1061.86 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 539124 0 0 0 106061 125 0 0 25 0 1 0 466290185 149262336 31784 33554432000 4194304 4260849 140733980777344 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 36441 31784 252 17 0 33082 0 Current children cumulated CPU time (s) 1062.27 Current children cumulated vsize (KiB) 154468 [startup+1122.3 s] /proc/loadavg: 4.02 3.97 3.62 5/194 11796 /proc/meminfo: memFree=14026780/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=176584 CPUtime=1121.86 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 563054 0 0 0 112053 133 0 0 25 0 1 0 466290185 180822016 37528 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224730 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 44146 37528 252 17 0 40787 0 Current children cumulated CPU time (s) 1122.27 Current children cumulated vsize (KiB) 185288 [startup+1182.3 s] /proc/loadavg: 4.01 3.97 3.64 5/194 11797 /proc/meminfo: memFree=14058112/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=145764 CPUtime=1181.87 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 592116 0 0 0 118046 141 0 0 25 0 1 0 466290185 149262336 30656 33554432000 4194304 4260849 140733980777344 18446744073709551615 4228001 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 36441 30656 252 17 0 33082 0 Current children cumulated CPU time (s) 1182.28 Current children cumulated vsize (KiB) 154468 [startup+1242.3 s] /proc/loadavg: 4.00 3.97 3.66 5/194 11799 /proc/meminfo: memFree=14041720/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=176584 CPUtime=1241.87 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 614794 0 0 0 124038 149 0 0 25 0 1 0 466290185 180822016 34480 33554432000 4194304 4260849 140733980777344 18446744073709551615 4228548 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 44146 34480 252 17 0 40787 0 Current children cumulated CPU time (s) 1242.28 Current children cumulated vsize (KiB) 185288 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.13 4.00 3.69 5/194 11800 /proc/meminfo: memFree=14031772/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=176584 CPUtime=1299.57 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 637795 0 0 0 129800 157 0 0 25 0 1 0 466290185 180822016 38046 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 44146 38046 252 17 0 40787 0 Current children cumulated CPU time (s) 1299.98 Current children cumulated vsize (KiB) 185288 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: 4.13 4.00 3.69 5/194 11800 /proc/meminfo: memFree=14031772/32951124 swapFree=67111524/67111528 [pid=11660] ppid=11658 vsize=8704 CPUtime=0.41 cores=0,2 /proc/11660/stat : 11660 (glucose.sh) S 11658 11660 10350 0 -1 4202496 360 2786 0 0 0 0 41 0 17 0 1 0 466290143 8912896 255 33554432000 4194304 4922060 140734519623856 18446744073709551615 228244167813 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/11660/statm: 2176 255 211 178 0 69 0 [pid=11673] ppid=11660 vsize=176584 CPUtime=1299.57 cores=0,2 /proc/11673/stat : 11673 (glucose_static) R 11660 11660 10350 0 -1 4202496 637795 0 0 0 129800 157 0 0 25 0 1 0 466290185 180822016 38046 33554432000 4194304 4260849 140733980777344 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/11673/statm: 44146 38046 252 17 0 40787 0 Current children cumulated CPU time (s) 1299.98 Current children cumulated vsize (KiB) 185288 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 11660 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=414936 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=7998 # CPU time returned by wait4() is 0.422934 # while last known CPU time is 1299.98 # # 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): 1299.98 CPU user time (s): 1298.41 CPU system time (s): 1.57 CPU usage (%): 99.9975 Max. virtual memory (cumulated for all children) (KiB): 185288 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.414936 system time used= 0.007998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 3146 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= 8 involuntary context switches= 5 runsolver used 2.29165 second user time and 4.81427 second system time The end
Begin job on node136 at 2011-04-23 10:22:02 IDJOB=3264244 IDBENCH=84568 IDSOLVER=1651 FILE ID=node136/3264244-1303546922 RUNJOBID= node136-1303546921-11622 PBS_JOBID= 13143102 Free space on /tmp= 71636 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT04/handmade/kexu/frb-0.8/frb59-26-1.used-as.sat04-891.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3264244-1303546922/watcher-3264244-1303546922 -o /tmp/evaluation-result-3264244-1303546922/solver-3264244-1303546922 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3264244-1303546922.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 5877850d9f604b6973676132cbba5c90 RANDOM SEED=839689487 node136.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.809 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.61 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.809 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 : 5332.75 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.809 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.809 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.76 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.809 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.809 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.83 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.809 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.809 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.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 14477792 kB Buffers: 1698628 kB Cached: 16143204 kB SwapCached: 4 kB Active: 9413724 kB Inactive: 8495272 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 14477792 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 5100 kB Writeback: 0 kB AnonPages: 66764 kB Mapped: 15264 kB Slab: 499984 kB PageTables: 5896 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 241940 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= 71628 MiB End job on node136 at 2011-04-23 10:43:44