| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 2318.75 | 2318.7 |
| Name | SAT02/industrial/nam/fpga-routing/ k2fix_gr_rcs_w8.shuffled.cnf |
| MD5SUM | 82e833e539576c6d79252b19dcace0cf |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 4.63029 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 10056 |
| Number of clauses | 271393 |
| Sum of the clauses size | 550328 |
| Maximum clause length | 8 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 270136 |
| 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 | 1257 |
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.09 c ============================================================================== 0.00/0.09 c | | ORIGINAL | LEARNT | | 0.00/0.09 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.09 c ============================================================================== 0.00/0.09 c | 0 | 271393 550328 | 81417 0 0 nan | 0.000 % | 0.00/0.68 c | 0 | 269998 945031 | -- 0 -- -- | -- | -1395/394703 0.00/0.68 c ============================================================================== 0.00/0.68 c Result : #vars: 8694 #clauses: 269998 #literals: 945031 0.00/0.68 c CPU time: 0.674897 s 0.00/0.68 c ============================================================================== 0.00/0.84 c 0.00/0.84 c Starting glucose 0.00/0.84 c 117.18/117.23 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 117.18/117.23 c WARNING: for repeatability, setting FPU to use double precision 117.18/117.23 c ============================[ Problem Statistics ]============================= 117.18/117.23 c | | 117.18/117.23 c | Number of variables: 8694 | 117.18/117.23 c | Number of clauses: 269998 | 117.18/117.23 c | Parse time: 0.07 s | 117.18/117.23 c | | 117.18/117.23 c ============================[ Search Statistics ]============================== 117.18/117.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 117.18/117.23 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 117.18/117.23 c =============================================================================== 117.18/117.23 c | 12969 | 8694 269998 945031 | 1 6680 33 | 0.000 % | 117.18/117.23 c | 107176 | 8694 269998 945031 | 1 22003 25 | 0.000 % | 117.18/117.23 c | 193279 | 8694 269998 945031 | 1 33704 23 | 0.000 % | 117.18/117.23 c | 249955 | 8694 269998 945031 | 1 60375 27 | 0.000 % | 117.18/117.23 c | 256826 | 8694 269998 945031 | 1 34644 22 | 0.000 % | 117.18/117.23 c | 351048 | 8694 269998 945031 | 1 55860 24 | 0.000 % | 117.18/117.23 c | 360388 | 8694 269998 945031 | 1 65200 24 | 0.000 % | 117.18/117.23 c | 424571 | 8694 269998 945031 | 1 45979 20 | 0.000 % | 117.18/117.23 c | 437189 | 8694 269998 945031 | 1 58597 22 | 0.000 % | 117.18/117.23 c | 442237 | 8694 269998 945031 | 1 63645 23 | 0.000 % | 117.18/117.23 c | 481956 | 8694 269998 945031 | 1 57766 22 | 0.000 % | 117.18/117.23 c | 485670 | 8694 269998 945031 | 1 61480 22 | 0.000 % | 117.18/117.23 c | 488514 | 8694 269998 945031 | 1 64324 23 | 0.000 % | 117.18/117.23 c | 511130 | 8694 269998 945031 | 1 86940 24 | 0.000 % | 117.18/117.23 c | 525310 | 8694 269998 945031 | 1 52930 21 | 0.000 % | 117.18/117.23 c | 529775 | 8694 269998 945031 | 1 57395 22 | 0.000 % | 117.18/117.23 c | 529960 | 8694 269998 945031 | 1 57580 22 | 0.000 % | 117.18/117.23 c | 530267 | 8694 269998 945031 | 1 57887 22 | 0.000 % | 117.18/117.23 c | 532730 | 8694 269998 945031 | 1 60350 23 | 0.000 % | 117.18/117.23 c | 532860 | 8694 269998 945031 | 1 60480 23 | 0.000 % | 117.18/117.23 c | 532961 | 8694 269998 945031 | 1 60581 23 | 0.000 % | 117.18/117.23 c | 533063 | 8694 269998 945031 | 1 60683 23 | 0.000 % | 117.18/117.23 c | 538418 | 8694 269998 945031 | 1 66038 24 | 0.000 % | 117.18/117.23 c | 556886 | 8694 269998 945031 | 1 84506 25 | 0.000 % | 117.18/117.23 c | 577624 | 8694 269998 945031 | 1 54440 20 | 0.000 % | 117.18/117.23 c | 590747 | 8694 269998 945031 | 1 67563 23 | 0.000 % | 117.18/117.23 c | 590923 | 8694 269998 945031 | 1 67739 23 | 0.000 % | 117.18/117.23 c | 592710 | 8694 269998 945031 | 1 69526 23 | 0.000 % | 117.18/117.23 c | 593008 | 8694 269998 945031 | 1 69824 23 | 0.000 % | 117.18/117.23 c | 603041 | 8694 269998 945031 | 1 79857 23 | 0.000 % | 117.18/117.23 c | 618452 | 8694 269998 945031 | 1 95268 24 | 0.000 % | 117.18/117.23 c | 618553 | 8694 269998 945031 | 1 95369 24 | 0.000 % | 117.18/117.23 c | 618668 | 8694 269998 945031 | 1 95484 24 | 0.000 % | 117.18/117.23 c | 618769 | 8694 269998 945031 | 1 95585 24 | 0.000 % | 117.18/117.23 c | 619239 | 8694 269998 945031 | 1 96055 24 | 0.000 % | 117.18/117.23 c | 619834 | 8694 269998 945031 | 1 96650 25 | 0.000 % | 117.18/117.23 c | 640355 | 8694 269998 945031 | 1 63772 22 | 0.000 % | 117.18/117.23 c | 665710 | 8694 269998 945031 | 1 89127 25 | 0.000 % | 117.18/117.23 c | 668246 | 8694 269998 945031 | 1 91663 25 | 0.000 % | 154.68/154.79 c | 670278 | 8694 269998 945031 | 1 93695 25 | 0.000 % | 154.68/154.79 c | 672316 | 8694 269998 945031 | 1 95733 25 | 0.000 % | 154.68/154.79 c | 672791 | 8694 269998 945031 | 1 96208 25 | 0.000 % | 154.68/154.79 c | 675458 | 8694 269998 945031 | 1 98875 25 | 0.000 % | 154.68/154.79 c | 675643 | 8694 269998 945031 | 1 99060 25 | 0.000 % | 154.68/154.79 c | 680534 | 8694 269998 945031 | 1 103951 26 | 0.000 % | 154.68/154.79 c | 680723 | 8694 269998 945031 | 1 104140 26 | 0.000 % | 154.68/154.79 c | 683883 | 8694 269998 945031 | 1 107300 26 | 0.000 % | 154.68/154.79 c | 684225 | 8694 269998 945031 | 1 107642 26 | 0.000 % | 154.68/154.79 c | 684484 | 8694 269998 945031 | 1 107901 26 | 0.000 % | 154.68/154.79 c | 687953 | 8694 269998 945031 | 1 111370 26 | 0.000 % | 154.68/154.79 c | 691849 | 8694 269998 945031 | 1 59267 21 | 0.000 % | 154.68/154.79 c | 694345 | 8694 269998 945031 | 1 61763 22 | 0.000 % | 154.68/154.79 c | 697112 | 8694 269998 945031 | 1 64530 23 | 0.000 % | 154.68/154.79 c | 698298 | 8694 269998 945031 | 1 65716 23 | 0.000 % | 154.68/154.79 c | 699383 | 8694 269998 945031 | 1 66801 23 | 0.000 % | 154.68/154.79 c | 729290 | 8694 269998 945031 | 1 96708 26 | 0.000 % | 154.68/154.79 c | 733274 | 8694 269998 945031 | 1 100692 27 | 0.000 % | 154.68/154.79 c | 760488 | 8694 269998 945031 | 1 69305 23 | 0.000 % | 154.68/154.79 c | 769430 | 8694 269998 945031 | 1 78247 23 | 0.000 % | 154.68/154.79 c | 789080 | 8694 269998 945031 | 1 97897 25 | 0.000 % | 154.68/154.79 c | 789633 | 8694 269998 945031 | 1 98450 25 | 0.000 % | 154.68/154.79 c | 789799 | 8694 269998 945031 | 1 98616 25 | 0.000 % | 154.68/154.79 c | 792674 | 8694 269998 945031 | 1 101491 25 | 0.000 % | 154.68/154.79 c | 816073 | 8694 269998 945031 | 1 63690 20 | 0.000 % | 154.68/154.79 c | 836637 | 8694 269998 945031 | 1 84254 23 | 0.000 % | 154.68/154.79 c | 837007 | 8694 269998 945031 | 1 84624 23 | 0.000 % | 154.68/154.79 c | 838153 | 8694 269998 945031 | 1 85770 23 | 0.000 % | 154.68/154.79 c | 843172 | 8694 269998 945031 | 1 90789 24 | 0.000 % | 154.68/154.79 c | 843276 | 8694 269998 945031 | 1 90893 24 | 0.000 % | 154.68/154.79 c | 843576 | 8694 269998 945031 | 1 91193 24 | 0.000 % | 154.68/154.79 c | 846164 | 8694 269998 945031 | 1 93781 24 | 0.000 % | 154.68/154.79 c | 846905 | 8694 269998 945031 | 1 94522 24 | 0.000 % | 154.68/154.79 c | 847006 | 8694 269998 945031 | 1 94623 24 | 0.000 % | 154.68/154.79 c | 847934 | 8694 269998 945031 | 1 95551 24 | 0.000 % | 154.68/154.79 c | 848035 | 8694 269998 945031 | 1 95652 24 | 0.000 % | 154.68/154.79 c | 848136 | 8694 269998 945031 | 1 95753 24 | 0.000 % | 154.68/154.79 c | 848825 | 8694 269998 945031 | 1 96442 25 | 0.000 % | 154.68/154.79 c | 849488 | 8694 269998 945031 | 1 97105 25 | 0.000 % | 154.68/154.79 c | 853859 | 8694 269998 945031 | 1 101476 25 | 0.000 % | 154.68/154.79 c | 854059 | 8694 269998 945031 | 1 101676 25 | 0.000 % | 154.68/154.79 c | 854313 | 8694 269998 945031 | 1 101930 25 | 0.000 % | 154.68/154.79 c | 854646 | 8694 269998 945031 | 1 102263 25 | 0.000 % | 154.68/154.79 c | 854935 | 8694 269998 945031 | 1 102552 25 | 0.000 % | 154.68/154.79 c | 855450 | 8694 269998 945031 | 1 103067 25 | 0.000 % | 154.68/154.79 c | 855902 | 8694 269998 945031 | 1 103519 25 | 0.000 % | 154.68/154.79 c | 857894 | 8694 269998 945031 | 1 105511 25 | 0.000 % | 154.68/154.79 c | 858190 | 8694 269998 945031 | 1 105807 25 | 0.000 % | 154.68/154.79 c | 858290 | 8694 269998 945031 | 1 105907 25 | 0.000 % | 154.68/154.79 c | 858391 | 8694 269998 945031 | 1 106008 25 | 0.000 % | 311.99/312.00 c | 858491 | 8694 269998 945031 | 1 106108 25 | 0.000 % | 311.99/312.00 c | 859099 | 8694 269998 945031 | 1 106716 26 | 0.000 % | 311.99/312.00 c | 859199 | 8694 269998 945031 | 1 106816 26 | 0.000 % | 311.99/312.00 c | 912828 | 8694 269998 945031 | 1 96648 24 | 0.000 % | 311.99/312.00 c | 933687 | 8694 269998 945031 | 1 117507 25 | 0.000 % | 311.99/312.00 c | 933787 | 8694 269998 945031 | 1 117607 25 | 0.000 % | 311.99/312.00 c | 934019 | 8694 269998 945031 | 1 117839 25 | 0.000 % | 311.99/312.00 c | 938684 | 8694 269998 945031 | 1 122504 25 | 0.000 % | 311.99/312.00 c | 939718 | 8694 269998 945031 | 1 123538 25 | 0.000 % | 311.99/312.00 c | 970967 | 8694 269998 945031 | 1 88387 23 | 0.000 % | 311.99/312.00 c | 971194 | 8694 269998 945031 | 1 88614 23 | 0.000 % | 311.99/312.00 c | 971987 | 8694 269998 945031 | 1 89407 23 | 0.000 % | 311.99/312.00 c | 974022 | 8694 269998 945031 | 1 91442 23 | 0.000 % | 311.99/312.00 c | 975796 | 8694 269998 945031 | 1 93216 23 | 0.000 % | 311.99/312.00 c | 1001939 | 8694 269998 945031 | 1 119359 25 | 0.000 % | 311.99/312.00 c | 1081087 | 8694 269998 945031 | 1 129508 25 | 0.000 % | 311.99/312.00 c | 1199845 | 8694 269998 945031 | 1 102466 22 | 0.000 % | 311.99/312.00 c | 1201975 | 8694 269998 945031 | 1 104596 22 | 0.000 % | 311.99/312.00 c | 1219122 | 8694 269998 945031 | 1 121743 24 | 0.000 % | 311.99/312.00 c | 1257920 | 8694 269998 945031 | 1 83740 20 | 0.000 % | 311.99/312.00 c | 1359863 | 8694 269998 945031 | 1 106278 21 | 0.000 % | 311.99/312.00 c | 1367907 | 8694 269998 945031 | 1 114322 22 | 0.000 % | 311.99/312.00 c | 1392085 | 8694 269998 945031 | 1 138500 24 | 0.000 % | 311.99/312.00 c | 1393934 | 8694 269998 945031 | 1 140349 24 | 0.000 % | 311.99/312.00 c | 1394074 | 8694 269998 945031 | 1 140489 24 | 0.000 % | 311.99/312.00 c | 1407182 | 8694 269998 945031 | 1 153597 25 | 0.000 % | 311.99/312.00 c | 1413417 | 8694 269998 945031 | 1 159832 25 | 0.000 % | 311.99/312.00 c | 1414313 | 8694 269998 945031 | 1 160728 25 | 0.000 % | 311.99/312.00 c | 1417117 | 8694 269998 945031 | 1 163532 25 | 0.000 % | 311.99/312.00 c | 1434686 | 8694 269998 945031 | 1 99101 21 | 0.000 % | 311.99/312.00 c | 1435669 | 8694 269998 945031 | 1 100084 22 | 0.000 % | 311.99/312.00 c | 1439882 | 8694 269998 945031 | 1 104297 22 | 0.000 % | 311.99/312.00 c | 1439989 | 8694 269998 945031 | 1 104404 22 | 0.000 % | 311.99/312.00 c | 1440089 | 8694 269998 945031 | 1 104504 22 | 0.000 % | 311.99/312.00 c | 1440398 | 8694 269998 945031 | 1 104813 22 | 0.000 % | 311.99/312.00 c | 1440499 | 8694 269998 945031 | 1 104914 22 | 0.000 % | 311.99/312.00 c | 1440928 | 8694 269998 945031 | 1 105343 22 | 0.000 % | 311.99/312.00 c | 1441028 | 8694 269998 945031 | 1 105443 22 | 0.000 % | 311.99/312.00 c | 1441131 | 8694 269998 945031 | 1 105546 22 | 0.000 % | 311.99/312.00 c | 1441234 | 8694 269998 945031 | 1 105649 22 | 0.000 % | 311.99/312.00 c | 1441337 | 8694 269998 945031 | 1 105752 22 | 0.000 % | 311.99/312.00 c | 1441439 | 8694 269998 945031 | 1 105854 22 | 0.000 % | 311.99/312.00 c | 1441599 | 8694 269998 945031 | 1 106014 22 | 0.000 % | 311.99/312.00 c | 1441903 | 8694 269998 945031 | 1 106318 22 | 0.000 % | 311.99/312.00 c | 1447051 | 8694 269998 945031 | 1 111466 23 | 0.000 % | 311.99/312.00 c | 1447151 | 8694 269998 945031 | 1 111566 23 | 0.000 % | 311.99/312.00 c | 1482878 | 8694 269998 945031 | 1 147293 24 | 0.000 % | 311.99/312.00 c | 1558800 | 8694 269998 945031 | 1 138616 23 | 0.000 % | 311.99/312.00 c | 1559895 | 8694 269998 945031 | 1 139711 23 | 0.000 % | 311.99/312.00 c | 1577972 | 8694 269998 945031 | 1 157788 24 | 0.000 % | 372.79/372.85 c | 1581071 | 8694 269998 945031 | 1 160887 24 | 0.000 % | 372.79/372.85 c | 1581804 | 8694 269998 945031 | 1 161620 24 | 0.000 % | 372.79/372.85 c | 1582146 | 8694 269998 945031 | 1 161962 24 | 0.000 % | 372.79/372.85 c | 1582390 | 8694 269998 945031 | 1 162206 24 | 0.000 % | 372.79/372.85 c | 1593394 | 8694 269998 945031 | 1 173210 24 | 0.000 % | 372.79/372.85 c | 1599431 | 8694 269998 945031 | 1 92045 19 | 0.000 % | 372.79/372.85 c | 1601731 | 8694 269998 945031 | 1 94345 20 | 0.000 % | 372.79/372.85 c | 1629760 | 8694 269998 945031 | 1 122374 22 | 0.000 % | 372.79/372.85 c | 1634151 | 8694 269998 945031 | 1 126765 23 | 0.000 % | 372.79/372.85 c | 1634251 | 8694 269998 945031 | 1 126865 23 | 0.000 % | 372.79/372.85 c | 1637232 | 8694 269998 945031 | 1 129846 23 | 0.000 % | 372.79/372.85 c | 1692336 | 8694 269998 945031 | 1 95156 20 | 0.000 % | 372.79/372.85 c | 1749297 | 8694 269998 945031 | 1 152117 22 | 0.000 % | 372.79/372.85 c | 1769171 | 8694 269998 945031 | 1 171991 23 | 0.000 % | 372.79/372.85 c | 1769501 | 8694 269998 945031 | 1 172321 23 | 0.000 % | 372.79/372.85 c | 1770618 | 8694 269998 945031 | 1 173438 23 | 0.000 % | 372.79/372.85 c | 1770718 | 8694 269998 945031 | 1 173538 23 | 0.000 % | 372.79/372.85 c | 1770841 | 8694 269998 945031 | 1 173661 23 | 0.000 % | 372.79/372.85 c | 1775290 | 8694 269998 945031 | 1 178110 23 | 0.000 % | 372.79/372.85 c | 1775971 | 8694 269998 945031 | 1 178791 23 | 0.000 % | 372.79/372.85 c | 1776264 | 8694 269998 945031 | 1 179084 24 | 0.000 % | 372.79/372.85 c | 1776833 | 8694 269998 945031 | 1 179653 24 | 0.000 % | 372.79/372.85 c | 1776933 | 8694 269998 945031 | 1 179753 24 | 0.000 % | 372.79/372.85 c | 1777034 | 8694 269998 945031 | 1 179854 24 | 0.000 % | 372.79/372.85 c | 1777136 | 8694 269998 945031 | 1 179956 24 | 0.000 % | 372.79/372.85 c | 1777280 | 8694 269998 945031 | 1 180100 24 | 0.000 % | 372.79/372.85 c | 1779067 | 8694 269998 945031 | 1 181887 24 | 0.000 % | 372.79/372.85 c | 1779652 | 8694 269998 945031 | 1 182472 24 | 0.000 % | 372.79/372.85 c | 1779918 | 8694 269998 945031 | 1 182738 24 | 0.000 % | 372.79/372.85 c | 1780019 | 8694 269998 945031 | 1 182839 24 | 0.000 % | 372.79/372.85 c | 1780204 | 8694 269998 945031 | 1 183024 24 | 0.000 % | 372.79/372.85 c | 1781238 | 8694 269998 945031 | 1 184058 24 | 0.000 % | 372.79/372.85 c | 1781338 | 8694 269998 945031 | 1 184158 24 | 0.000 % | 372.79/372.85 c | 1782130 | 8694 269998 945031 | 1 92543 19 | 0.000 % | 372.79/372.85 c | 1783408 | 8694 269998 945031 | 1 93821 19 | 0.000 % | 372.79/372.85 c | 1784390 | 8694 269998 945031 | 1 94803 19 | 0.000 % | 372.79/372.85 c | 1785322 | 8694 269998 945031 | 1 95735 19 | 0.000 % | 372.79/372.85 c | 1811811 | 8694 269998 945031 | 1 122224 22 | 0.000 % | 372.79/372.85 c | 1813288 | 8694 269998 945031 | 1 123701 22 | 0.000 % | 372.79/372.85 c | 1813388 | 8694 269998 945031 | 1 123801 22 | 0.000 % | 372.79/372.85 c | 1817637 | 8694 269998 945031 | 1 128050 22 | 0.000 % | 372.79/372.85 c | 1821427 | 8694 269998 945031 | 1 131840 22 | 0.000 % | 372.79/372.85 c | 1821527 | 8694 269998 945031 | 1 131940 22 | 0.000 % | 372.79/372.85 c | 1821791 | 8694 269998 945031 | 1 132204 22 | 0.000 % | 372.79/372.85 c | 1823159 | 8694 269998 945031 | 1 133572 22 | 0.000 % | 372.79/372.85 c | 1825091 | 8694 269998 945031 | 1 135504 23 | 0.000 % | 372.79/372.85 c | 1827686 | 8694 269998 945031 | 1 138099 23 | 0.000 % | 372.79/372.85 c | 1827787 | 8694 269998 945031 | 1 138200 23 | 0.000 % | 372.79/372.85 c | 1832187 | 8694 269998 945031 | 1 142600 23 | 0.000 % | 372.79/372.85 c | 1832538 | 8694 269998 945031 | 1 142951 23 | 0.000 % | 471.09/471.11 c | 1928744 | 8694 269998 945031 | 1 144164 22 | 0.000 % | 471.09/471.11 c | 1944733 | 8694 269998 945031 | 1 160153 23 | 0.000 % | 471.09/471.11 c | 1948787 | 8694 269998 945031 | 1 164207 23 | 0.000 % | 471.09/471.11 c | 1948891 | 8694 269998 945031 | 1 164311 23 | 0.000 % | 471.09/471.11 c | 1949062 | 8694 269998 945031 | 1 164482 23 | 0.000 % | 471.09/471.11 c | 1949764 | 8694 269998 945031 | 1 165184 23 | 0.000 % | 471.09/471.11 c | 1950110 | 8694 269998 945031 | 1 165530 23 | 0.000 % | 471.09/471.11 c | 1952439 | 8694 269998 945031 | 1 167859 24 | 0.000 % | 471.09/471.11 c | 1952553 | 8694 269998 945031 | 1 167973 24 | 0.000 % | 471.09/471.11 c | 1953023 | 8694 269998 945031 | 1 168443 24 | 0.000 % | 471.09/471.11 c | 1955882 | 8694 269998 945031 | 1 171302 24 | 0.000 % | 471.09/471.11 c | 1956031 | 8694 269998 945031 | 1 171451 24 | 0.000 % | 471.09/471.11 c | 1992260 | 8694 269998 945031 | 1 110081 20 | 0.000 % | 471.09/471.11 c | 2005649 | 8694 269998 945031 | 1 123470 21 | 0.000 % | 471.09/471.11 c | 2006134 | 8694 269998 945031 | 1 123955 21 | 0.000 % | 471.09/471.11 c | 2024358 | 8694 269998 945031 | 1 142179 22 | 0.000 % | 471.09/471.11 c | 2037886 | 8694 269998 945031 | 1 155707 23 | 0.000 % | 471.09/471.11 c | 2038159 | 8694 269998 945031 | 1 155980 23 | 0.000 % | 471.09/471.11 c | 2038300 | 8694 269998 945031 | 1 156121 23 | 0.000 % | 471.09/471.11 c | 2045753 | 8694 269998 945031 | 1 163574 23 | 0.000 % | 471.09/471.11 c | 2051265 | 8694 269998 945031 | 1 169086 23 | 0.000 % | 471.09/471.11 c | 2051444 | 8694 269998 945031 | 1 169265 23 | 0.000 % | 471.09/471.11 c | 2051632 | 8694 269998 945031 | 1 169453 23 | 0.000 % | 471.09/471.11 c | 2052478 | 8694 269998 945031 | 1 170299 23 | 0.000 % | 471.09/471.11 c | 2052578 | 8694 269998 945031 | 1 170399 23 | 0.000 % | 471.09/471.11 c | 2054173 | 8694 269998 945031 | 1 171994 23 | 0.000 % | 471.09/471.11 c | 2071194 | 8694 269998 945031 | 1 189015 24 | 0.000 % | 471.09/471.11 c | 2074099 | 8694 269998 945031 | 1 191920 24 | 0.000 % | 471.09/471.11 c | 2074199 | 8694 269998 945031 | 1 192020 24 | 0.000 % | 471.09/471.11 c | 2076707 | 8694 269998 945031 | 1 194528 24 | 0.000 % | 471.09/471.11 c | 2080932 | 8694 269998 945031 | 1 198753 24 | 0.000 % | 471.09/471.11 c | 2106442 | 8694 269998 945031 | 1 124062 20 | 0.000 % | 471.09/471.11 c | 2113184 | 8694 269998 945031 | 1 130804 20 | 0.000 % | 471.09/471.11 c | 2113685 | 8694 269998 945031 | 1 131305 20 | 0.000 % | 471.09/471.11 c | 2114449 | 8694 269998 945031 | 1 132069 20 | 0.000 % | 471.09/471.11 c | 2119403 | 8694 269998 945031 | 1 137023 21 | 0.000 % | 471.09/471.11 c | 2119503 | 8694 269998 945031 | 1 137123 21 | 0.000 % | 471.09/471.11 c | 2125665 | 8694 269998 945031 | 1 143285 21 | 0.000 % | 471.09/471.11 c | 2135855 | 8694 269998 945031 | 1 153475 22 | 0.000 % | 471.09/471.11 c | 2136109 | 8694 269998 945031 | 1 153729 22 | 0.000 % | 471.09/471.11 c | 2143514 | 8694 269998 945031 | 1 161134 22 | 0.000 % | 471.09/471.11 c | 2192653 | 8694 269998 945031 | 1 107469 19 | 0.000 % | 471.09/471.11 c | 2206927 | 8694 269998 945031 | 1 121743 20 | 0.000 % | 471.09/471.11 c | 2208760 | 8694 269998 945031 | 1 123576 20 | 0.000 % | 471.09/471.11 c | 2224241 | 8694 269998 945031 | 1 139057 22 | 0.000 % | 471.09/471.11 c | 2224468 | 8694 269998 945031 | 1 139284 22 | 0.000 % | 471.09/471.11 c | 2226234 | 8694 269998 945031 | 1 141050 22 | 0.000 % | 471.09/471.11 c | 2233104 | 8694 269998 945031 | 1 147920 22 | 0.000 % | 471.09/471.11 c | 2238029 | 8694 269998 945031 | 1 152845 23 | 0.000 % | 471.09/471.11 c | 2244344 | 8694 269998 945031 | 1 159160 23 | 0.000 % | 548.99/549.09 c | 2244550 | 8694 269998 945031 | 1 159366 23 | 0.000 % | 548.99/549.09 c | 2250440 | 8694 269998 945031 | 1 165256 23 | 0.000 % | 548.99/549.09 c | 2271240 | 8694 269998 945031 | 1 186056 24 | 0.000 % | 548.99/549.09 c | 2287001 | 8694 269998 945031 | 1 201817 24 | 0.000 % | 548.99/549.09 c | 2288878 | 8694 269998 945031 | 1 203694 24 | 0.000 % | 548.99/549.09 c | 2293157 | 8694 269998 945031 | 1 207973 25 | 0.000 % | 548.99/549.09 c | 2293701 | 8694 269998 945031 | 1 208517 25 | 0.000 % | 548.99/549.09 c | 2303780 | 8694 269998 945031 | 1 113197 20 | 0.000 % | 548.99/549.09 c | 2305792 | 8694 269998 945031 | 1 115209 20 | 0.000 % | 548.99/549.09 c | 2307352 | 8694 269998 945031 | 1 116769 20 | 0.000 % | 548.99/549.09 c | 2307592 | 8694 269998 945031 | 1 117009 20 | 0.000 % | 548.99/549.09 c | 2332853 | 8694 269998 945031 | 1 142270 22 | 0.000 % | 548.99/549.09 c | 2332959 | 8694 269998 945031 | 1 142376 22 | 0.000 % | 548.99/549.09 c | 2335150 | 8694 269998 945031 | 1 144567 22 | 0.000 % | 548.99/549.09 c | 2342237 | 8694 269998 945031 | 1 151654 22 | 0.000 % | 548.99/549.09 c | 2362743 | 8694 269998 945031 | 1 172160 23 | 0.000 % | 548.99/549.09 c | 2371580 | 8694 269998 945031 | 1 180997 24 | 0.000 % | 548.99/549.09 c | 2389327 | 8694 269998 945031 | 1 198744 24 | 0.000 % | 548.99/549.09 c | 2390207 | 8694 269998 945031 | 1 199624 24 | 0.000 % | 548.99/549.09 c | 2406018 | 8694 269998 945031 | 1 215435 25 | 0.000 % | 548.99/549.09 c | 2410993 | 8694 269998 945031 | 1 112418 19 | 0.000 % | 548.99/549.09 c | 2412751 | 8694 269998 945031 | 1 114176 20 | 0.000 % | 548.99/549.09 c | 2415851 | 8694 269998 945031 | 1 117276 20 | 0.000 % | 548.99/549.09 c | 2416446 | 8694 269998 945031 | 1 117871 20 | 0.000 % | 548.99/549.09 c | 2416546 | 8694 269998 945031 | 1 117971 20 | 0.000 % | 548.99/549.09 c | 2416646 | 8694 269998 945031 | 1 118071 20 | 0.000 % | 548.99/549.09 c | 2442698 | 8694 269998 945031 | 1 144123 21 | 0.000 % | 548.99/549.09 c | 2463276 | 8694 269998 945031 | 1 164701 22 | 0.000 % | 548.99/549.09 c | 2467300 | 8694 269998 945031 | 1 168725 23 | 0.000 % | 548.99/549.09 c | 2472986 | 8694 269998 945031 | 1 174411 23 | 0.000 % | 548.99/549.09 c | 2477365 | 8694 269998 945031 | 1 178790 23 | 0.000 % | 548.99/549.09 c | 2477465 | 8694 269998 945031 | 1 178890 23 | 0.000 % | 548.99/549.09 c | 2502016 | 8694 269998 945031 | 1 203441 24 | 0.000 % | 548.99/549.09 c | 2504019 | 8694 269998 945031 | 1 205444 24 | 0.000 % | 548.99/549.09 c | 2520205 | 8694 269998 945031 | 1 111028 19 | 0.000 % | 548.99/549.09 c | 2522690 | 8694 269998 945031 | 1 113513 19 | 0.000 % | 548.99/549.09 c | 2523166 | 8694 269998 945031 | 1 113989 19 | 0.000 % | 548.99/549.09 c | 2523269 | 8694 269998 945031 | 1 114092 19 | 0.000 % | 548.99/549.09 c | 2524435 | 8694 269998 945031 | 1 115258 19 | 0.000 % | 548.99/549.09 c | 2532749 | 8694 269998 945031 | 1 123572 20 | 0.000 % | 548.99/549.09 c | 2532850 | 8694 269998 945031 | 1 123673 20 | 0.000 % | 548.99/549.09 c | 2543228 | 8694 269998 945031 | 1 134051 21 | 0.000 % | 548.99/549.09 c | 2543450 | 8694 269998 945031 | 1 134273 21 | 0.000 % | 548.99/549.09 c | 2554450 | 8694 269998 945031 | 1 145273 22 | 0.000 % | 548.99/549.09 c | 2555938 | 8694 269998 945031 | 1 146761 22 | 0.000 % | 548.99/549.09 c | 2557765 | 8694 269998 945031 | 1 148588 22 | 0.000 % | 548.99/549.09 c | 2557865 | 8694 269998 945031 | 1 148688 22 | 0.000 % | 548.99/549.09 c | 2558053 | 8694 269998 945031 | 1 148876 22 | 0.000 % | 548.99/549.09 c | 2562928 | 8694 269998 945031 | 1 153751 23 | 0.000 % | 548.99/549.09 c | 2563643 | 8694 269998 945031 | 1 154466 23 | 0.000 % | 668.00/668.06 c | 2572610 | 8694 269998 945031 | 1 163433 23 | 0.000 % | 668.00/668.06 c | 2583809 | 8694 269998 945031 | 1 174632 24 | 0.000 % | 668.00/668.06 c | 2583910 | 8694 269998 945031 | 1 174733 24 | 0.000 % | 668.00/668.06 c | 2584742 | 8694 269998 945031 | 1 175565 24 | 0.000 % | 668.00/668.06 c | 2585177 | 8694 269998 945031 | 1 176000 24 | 0.000 % | 668.00/668.06 c | 2585331 | 8694 269998 945031 | 1 176154 24 | 0.000 % | 668.00/668.06 c | 2667267 | 8694 269998 945031 | 1 144879 21 | 0.000 % | 668.00/668.06 c | 2676544 | 8694 269998 945031 | 1 154156 21 | 0.000 % | 668.00/668.06 c | 2731506 | 8694 269998 945031 | 1 209118 23 | 0.000 % | 668.00/668.06 c | 2731606 | 8694 269998 945031 | 1 209218 23 | 0.000 % | 668.00/668.06 c | 2731862 | 8694 269998 945031 | 1 209474 23 | 0.000 % | 668.00/668.06 c | 2748075 | 8694 269998 945031 | 1 225687 24 | 0.000 % | 668.00/668.06 c | 2748394 | 8694 269998 945031 | 1 226006 24 | 0.000 % | 668.00/668.06 c | 2748494 | 8694 269998 945031 | 1 226106 24 | 0.000 % | 668.00/668.06 c | 2770065 | 8694 269998 945031 | 1 131881 21 | 0.000 % | 668.00/668.06 c | 2770214 | 8694 269998 945031 | 1 132030 21 | 0.000 % | 668.00/668.06 c | 2781025 | 8694 269998 945031 | 1 142841 21 | 0.000 % | 668.00/668.06 c | 2792793 | 8694 269998 945031 | 1 154609 22 | 0.000 % | 668.00/668.06 c | 2792893 | 8694 269998 945031 | 1 154709 22 | 0.000 % | 668.00/668.06 c | 2792994 | 8694 269998 945031 | 1 154810 22 | 0.000 % | 668.00/668.06 c | 2793650 | 8694 269998 945031 | 1 155466 22 | 0.000 % | 668.00/668.06 c | 2829953 | 8694 269998 945031 | 1 191769 23 | 0.000 % | 668.00/668.06 c | 2833679 | 8694 269998 945031 | 1 195495 23 | 0.000 % | 668.00/668.06 c | 2836368 | 8694 269998 945031 | 1 198184 23 | 0.000 % | 668.00/668.06 c | 2836468 | 8694 269998 945031 | 1 198284 23 | 0.000 % | 668.00/668.06 c | 2836569 | 8694 269998 945031 | 1 198385 23 | 0.000 % | 668.00/668.06 c | 2840214 | 8694 269998 945031 | 1 202030 23 | 0.000 % | 668.00/668.06 c | 2840514 | 8694 269998 945031 | 1 202330 23 | 0.000 % | 668.00/668.06 c | 2840614 | 8694 269998 945031 | 1 202430 23 | 0.000 % | 668.00/668.06 c | 2840715 | 8694 269998 945031 | 1 202531 23 | 0.000 % | 668.00/668.06 c | 2847142 | 8694 269998 945031 | 1 208958 24 | 0.000 % | 668.00/668.06 c | 2880399 | 8694 269998 945031 | 1 123820 19 | 0.000 % | 668.00/668.06 c | 2891924 | 8694 269998 945031 | 1 135345 20 | 0.000 % | 668.00/668.06 c | 2929856 | 8694 269998 945031 | 1 173277 22 | 0.000 % | 668.00/668.06 c | 2929957 | 8694 269998 945031 | 1 173378 22 | 0.000 % | 668.00/668.06 c | 2930189 | 8694 269998 945031 | 1 173610 22 | 0.000 % | 668.00/668.06 c | 2930849 | 8694 269998 945031 | 1 174270 22 | 0.000 % | 668.00/668.06 c | 2947096 | 8694 269998 945031 | 1 190517 23 | 0.000 % | 668.00/668.06 c | 2948948 | 8694 269998 945031 | 1 192369 23 | 0.000 % | 668.00/668.06 c | 2953490 | 8694 269998 945031 | 1 196911 23 | 0.000 % | 668.00/668.06 c | 2953721 | 8694 269998 945031 | 1 197142 23 | 0.000 % | 668.00/668.06 c | 2954425 | 8694 269998 945031 | 1 197846 23 | 0.000 % | 668.00/668.06 c | 2955271 | 8694 269998 945031 | 1 198692 23 | 0.000 % | 668.00/668.06 c | 2955459 | 8694 269998 945031 | 1 198880 23 | 0.000 % | 668.00/668.06 c | 2968270 | 8694 269998 945031 | 1 211691 24 | 0.000 % | 668.00/668.06 c | 2968757 | 8694 269998 945031 | 1 212178 24 | 0.000 % | 668.00/668.06 c | 2979781 | 8694 269998 945031 | 1 223202 24 | 0.000 % | 668.00/668.06 c | 3008154 | 8694 269998 945031 | 1 130577 20 | 0.000 % | 668.00/668.06 c | 3017880 | 8694 269998 945031 | 1 140303 20 | 0.000 % | 775.79/775.81 c | 3071789 | 8694 269998 945031 | 1 194212 22 | 0.000 % | 775.79/775.81 c | 3077361 | 8694 269998 945031 | 1 199784 22 | 0.000 % | 775.79/775.81 c | 3079203 | 8694 269998 945031 | 1 201626 22 | 0.000 % | 775.79/775.81 c | 3079902 | 8694 269998 945031 | 1 202325 22 | 0.000 % | 775.79/775.81 c | 3080135 | 8694 269998 945031 | 1 202558 22 | 0.000 % | 775.79/775.81 c | 3087956 | 8694 269998 945031 | 1 210379 23 | 0.000 % | 775.79/775.81 c | 3088302 | 8694 269998 945031 | 1 210725 23 | 0.000 % | 775.79/775.81 c | 3116644 | 8694 269998 945031 | 1 239067 23 | 0.000 % | 775.79/775.81 c | 3126980 | 8694 269998 945031 | 1 125796 19 | 0.000 % | 775.79/775.81 c | 3146411 | 8694 269998 945031 | 1 145227 20 | 0.000 % | 775.79/775.81 c | 3153592 | 8694 269998 945031 | 1 152408 20 | 0.000 % | 775.79/775.81 c | 3156973 | 8694 269998 945031 | 1 155789 20 | 0.000 % | 775.79/775.81 c | 3160751 | 8694 269998 945031 | 1 159567 21 | 0.000 % | 775.79/775.81 c | 3203562 | 8694 269998 945031 | 1 202378 23 | 0.000 % | 775.79/775.81 c | 3203662 | 8694 269998 945031 | 1 202478 23 | 0.000 % | 775.79/775.81 c | 3225177 | 8694 269998 945031 | 1 223993 23 | 0.000 % | 775.79/775.81 c | 3227619 | 8694 269998 945031 | 1 226435 23 | 0.000 % | 775.79/775.81 c | 3228901 | 8694 269998 945031 | 1 227717 24 | 0.000 % | 775.79/775.81 c | 3229573 | 8694 269998 945031 | 1 228389 24 | 0.000 % | 775.79/775.81 c | 3230157 | 8694 269998 945031 | 1 228973 24 | 0.000 % | 775.79/775.81 c | 3231176 | 8694 269998 945031 | 1 229992 24 | 0.000 % | 775.79/775.81 c | 3236165 | 8694 269998 945031 | 1 234981 24 | 0.000 % | 775.79/775.81 c | 3237270 | 8694 269998 945031 | 1 236086 24 | 0.000 % | 775.79/775.81 c | 3237381 | 8694 269998 945031 | 1 236197 24 | 0.000 % | 775.79/775.81 c | 3237484 | 8694 269998 945031 | 1 236300 24 | 0.000 % | 775.79/775.81 c | 3237584 | 8694 269998 945031 | 1 236400 24 | 0.000 % | 775.79/775.81 c | 3237684 | 8694 269998 945031 | 1 236500 24 | 0.000 % | 775.79/775.81 c | 3244220 | 8694 269998 945031 | 1 243036 24 | 0.000 % | 775.79/775.81 c | 3244638 | 8694 269998 945031 | 1 243454 24 | 0.000 % | 775.79/775.81 c | 3269660 | 8694 269998 945031 | 1 142280 20 | 0.000 % | 775.79/775.81 c | 3283172 | 8694 269998 945031 | 1 155792 21 | 0.000 % | 775.79/775.81 c | 3283274 | 8694 269998 945031 | 1 155894 21 | 0.000 % | 775.79/775.81 c | 3285133 | 8694 269998 945031 | 1 157753 21 | 0.000 % | 775.79/775.81 c | 3285949 | 8694 269998 945031 | 1 158569 21 | 0.000 % | 775.79/775.81 c | 3287195 | 8694 269998 945031 | 1 159815 22 | 0.000 % | 775.79/775.81 c | 3287299 | 8694 269998 945031 | 1 159919 22 | 0.000 % | 775.79/775.81 c | 3291607 | 8694 269998 945031 | 1 164227 22 | 0.000 % | 775.79/775.81 c | 3291846 | 8694 269998 945031 | 1 164466 22 | 0.000 % | 775.79/775.81 c | 3292006 | 8694 269998 945031 | 1 164626 22 | 0.000 % | 775.79/775.81 c | 3299975 | 8694 269998 945031 | 1 172595 22 | 0.000 % | 775.79/775.81 c | 3300075 | 8694 269998 945031 | 1 172695 22 | 0.000 % | 775.79/775.81 c | 3312646 | 8694 269998 945031 | 1 185266 23 | 0.000 % | 775.79/775.81 c | 3323948 | 8694 269998 945031 | 1 196568 23 | 0.000 % | 775.79/775.81 c | 3336141 | 8694 269998 945031 | 1 208761 23 | 0.000 % | 775.79/775.81 c | 3340970 | 8694 269998 945031 | 1 213590 23 | 0.000 % | 775.79/775.81 c | 3366327 | 8694 269998 945031 | 1 238947 24 | 0.000 % | 775.79/775.81 c | 3381671 | 8694 269998 945031 | 1 254291 24 | 0.000 % | 775.79/775.81 c | 3397094 | 8694 269998 945031 | 1 140917 20 | 0.000 % | 775.79/775.81 c | 3411952 | 8694 269998 945031 | 1 155775 21 | 0.000 % | 775.79/775.81 c | 3412226 | 8694 269998 945031 | 1 156049 21 | 0.000 % | 864.40/864.48 c | 3425023 | 8694 269998 945031 | 1 168846 21 | 0.000 % | 864.40/864.48 c | 3431202 | 8694 269998 945031 | 1 175025 22 | 0.000 % | 864.40/864.48 c | 3458495 | 8694 269998 945031 | 1 202318 23 | 0.000 % | 864.40/864.48 c | 3459135 | 8694 269998 945031 | 1 202958 23 | 0.000 % | 864.40/864.48 c | 3473058 | 8694 269998 945031 | 1 216881 23 | 0.000 % | 864.40/864.48 c | 3475780 | 8694 269998 945031 | 1 219603 23 | 0.000 % | 864.40/864.48 c | 3489128 | 8694 269998 945031 | 1 232951 23 | 0.000 % | 864.40/864.48 c | 3489601 | 8694 269998 945031 | 1 233424 23 | 0.000 % | 864.40/864.48 c | 3507295 | 8694 269998 945031 | 1 251118 24 | 0.000 % | 864.40/864.48 c | 3525183 | 8694 269998 945031 | 1 137608 19 | 0.000 % | 864.40/864.48 c | 3525802 | 8694 269998 945031 | 1 138227 19 | 0.000 % | 864.40/864.48 c | 3526340 | 8694 269998 945031 | 1 138765 20 | 0.000 % | 864.40/864.48 c | 3526440 | 8694 269998 945031 | 1 138865 20 | 0.000 % | 864.40/864.48 c | 3527519 | 8694 269998 945031 | 1 139944 20 | 0.000 % | 864.40/864.48 c | 3527796 | 8694 269998 945031 | 1 140221 20 | 0.000 % | 864.40/864.48 c | 3527931 | 8694 269998 945031 | 1 140356 20 | 0.000 % | 864.40/864.48 c | 3528828 | 8694 269998 945031 | 1 141253 20 | 0.000 % | 864.40/864.48 c | 3528962 | 8694 269998 945031 | 1 141387 20 | 0.000 % | 864.40/864.48 c | 3529064 | 8694 269998 945031 | 1 141489 20 | 0.000 % | 864.40/864.48 c | 3530099 | 8694 269998 945031 | 1 142524 20 | 0.000 % | 864.40/864.48 c | 3530199 | 8694 269998 945031 | 1 142624 20 | 0.000 % | 864.40/864.48 c | 3532125 | 8694 269998 945031 | 1 144550 20 | 0.000 % | 864.40/864.48 c | 3532390 | 8694 269998 945031 | 1 144815 20 | 0.000 % | 864.40/864.48 c | 3540529 | 8694 269998 945031 | 1 152954 21 | 0.000 % | 864.40/864.48 c | 3541058 | 8694 269998 945031 | 1 153483 21 | 0.000 % | 864.40/864.48 c | 3541777 | 8694 269998 945031 | 1 154202 21 | 0.000 % | 864.40/864.48 c | 3542571 | 8694 269998 945031 | 1 154996 21 | 0.000 % | 864.40/864.48 c | 3546959 | 8694 269998 945031 | 1 159384 21 | 0.000 % | 864.40/864.48 c | 3590944 | 8694 269998 945031 | 1 203369 23 | 0.000 % | 864.40/864.48 c | 3660261 | 8694 269998 945031 | 1 138686 20 | 0.000 % | 864.40/864.48 c | 3660364 | 8694 269998 945031 | 1 138789 20 | 0.000 % | 864.40/864.48 c | 3660496 | 8694 269998 945031 | 1 138921 20 | 0.000 % | 864.40/864.48 c | 3660866 | 8694 269998 945031 | 1 139291 20 | 0.000 % | 864.40/864.48 c | 3661599 | 8694 269998 945031 | 1 140024 20 | 0.000 % | 864.40/864.48 c | 3661702 | 8694 269998 945031 | 1 140127 20 | 0.000 % | 864.40/864.48 c | 3661986 | 8694 269998 945031 | 1 140411 20 | 0.000 % | 864.40/864.48 c | 3662459 | 8694 269998 945031 | 1 140884 20 | 0.000 % | 864.40/864.48 c | 3665441 | 8694 269998 945031 | 1 143866 20 | 0.000 % | 864.40/864.48 c | 3672233 | 8694 269998 945031 | 1 150658 21 | 0.000 % | 864.40/864.48 c | 3672987 | 8694 269998 945031 | 1 151412 21 | 0.000 % | 864.40/864.48 c | 3673117 | 8694 269998 945031 | 1 151542 21 | 0.000 % | 864.40/864.48 c | 3674539 | 8694 269998 945031 | 1 152964 21 | 0.000 % | 864.40/864.48 c | 3682888 | 8694 269998 945031 | 1 161313 21 | 0.000 % | 864.40/864.48 c | 3683433 | 8694 269998 945031 | 1 161858 21 | 0.000 % | 864.40/864.48 c | 3705313 | 8694 269998 945031 | 1 183738 22 | 0.000 % | 864.40/864.48 c | 3705413 | 8694 269998 945031 | 1 183838 22 | 0.000 % | 864.40/864.48 c | 3719503 | 8694 269998 945031 | 1 197928 23 | 0.000 % | 864.40/864.48 c | 3722251 | 8694 269998 945031 | 1 200676 23 | 0.000 % | 864.40/864.48 c | 3722355 | 8694 269998 945031 | 1 200780 23 | 0.000 % | 864.40/864.48 c | 3727818 | 8694 269998 945031 | 1 206243 24 | 0.000 % | 999.21/999.27 c | 3727995 | 8694 269998 945031 | 1 206420 24 | 0.000 % | 999.21/999.27 c | 3733427 | 8694 269998 945031 | 1 211852 24 | 0.000 % | 999.21/999.27 c | 3748367 | 8694 269998 945031 | 1 226792 24 | 0.000 % | 999.21/999.27 c | 3755661 | 8694 269998 945031 | 1 234086 24 | 0.000 % | 999.21/999.27 c | 3783762 | 8694 269998 945031 | 1 262187 25 | 0.000 % | 999.21/999.27 c | 3783985 | 8694 269998 945031 | 1 262410 25 | 0.000 % | 999.21/999.27 c | 3784330 | 8694 269998 945031 | 1 262755 25 | 0.000 % | 999.21/999.27 c | 3790434 | 8694 269998 945031 | 1 268859 25 | 0.000 % | 999.21/999.27 c | 3815117 | 8694 269998 945031 | 1 156941 20 | 0.000 % | 999.21/999.27 c | 3824745 | 8694 269998 945031 | 1 166569 21 | 0.000 % | 999.21/999.27 c | 3825346 | 8694 269998 945031 | 1 167170 21 | 0.000 % | 999.21/999.27 c | 3844842 | 8694 269998 945031 | 1 186666 22 | 0.000 % | 999.21/999.27 c | 3869056 | 8694 269998 945031 | 1 210880 23 | 0.000 % | 999.21/999.27 c | 3870161 | 8694 269998 945031 | 1 211985 23 | 0.000 % | 999.21/999.27 c | 3872310 | 8694 269998 945031 | 1 214134 23 | 0.000 % | 999.21/999.27 c | 3889243 | 8694 269998 945031 | 1 231067 23 | 0.000 % | 999.21/999.27 c | 3892241 | 8694 269998 945031 | 1 234065 23 | 0.000 % | 999.21/999.27 c | 3905884 | 8694 269998 945031 | 1 247708 24 | 0.000 % | 999.21/999.27 c | 3911741 | 8694 269998 945031 | 1 253565 24 | 0.000 % | 999.21/999.27 c | 3915406 | 8694 269998 945031 | 1 257230 24 | 0.000 % | 999.21/999.27 c | 3978224 | 8694 269998 945031 | 1 180846 21 | 0.000 % | 999.21/999.27 c | 3979078 | 8694 269998 945031 | 1 181700 21 | 0.000 % | 999.21/999.27 c | 4025916 | 8694 269998 945031 | 1 228538 22 | 0.000 % | 999.21/999.27 c | 4040017 | 8694 269998 945031 | 1 242639 23 | 0.000 % | 999.21/999.27 c | 4040229 | 8694 269998 945031 | 1 242851 23 | 0.000 % | 999.21/999.27 c | 4040864 | 8694 269998 945031 | 1 243486 23 | 0.000 % | 999.21/999.27 c | 4041619 | 8694 269998 945031 | 1 244241 23 | 0.000 % | 999.21/999.27 c | 4057061 | 8694 269998 945031 | 1 259683 23 | 0.000 % | 999.21/999.27 c | 4057523 | 8694 269998 945031 | 1 260145 23 | 0.000 % | 999.21/999.27 c | 4077089 | 8694 269998 945031 | 1 279711 23 | 0.000 % | 999.21/999.27 c | 4077560 | 8694 269998 945031 | 1 280182 23 | 0.000 % | 999.21/999.27 c | 4112857 | 8694 269998 945031 | 1 173677 20 | 0.000 % | 999.21/999.27 c | 4113576 | 8694 269998 945031 | 1 174396 20 | 0.000 % | 999.21/999.27 c | 4115345 | 8694 269998 945031 | 1 176165 20 | 0.000 % | 999.21/999.27 c | 4153730 | 8694 269998 945031 | 1 214550 22 | 0.000 % | 999.21/999.27 c | 4154632 | 8694 269998 945031 | 1 215452 22 | 0.000 % | 999.21/999.27 c | 4171458 | 8694 269998 945031 | 1 232278 22 | 0.000 % | 999.21/999.27 c | 4172527 | 8694 269998 945031 | 1 233347 22 | 0.000 % | 999.21/999.27 c | 4172960 | 8694 269998 945031 | 1 233780 22 | 0.000 % | 999.21/999.27 c | 4175907 | 8694 269998 945031 | 1 236727 22 | 0.000 % | 999.21/999.27 c | 4182160 | 8694 269998 945031 | 1 242980 22 | 0.000 % | 999.21/999.27 c | 4182263 | 8694 269998 945031 | 1 243083 23 | 0.000 % | 999.21/999.27 c | 4186288 | 8694 269998 945031 | 1 247108 23 | 0.000 % | 999.21/999.27 c | 4188187 | 8694 269998 945031 | 1 249007 23 | 0.000 % | 999.21/999.27 c | 4188289 | 8694 269998 945031 | 1 249109 23 | 0.000 % | 999.21/999.27 c | 4189974 | 8694 269998 945031 | 1 250794 23 | 0.000 % | 999.21/999.27 c | 4198665 | 8694 269998 945031 | 1 259485 23 | 0.000 % | 999.21/999.27 c | 4199391 | 8694 269998 945031 | 1 260211 23 | 0.000 % | 999.21/999.27 c | 4199628 | 8694 269998 945031 | 1 260448 23 | 0.000 % | 999.21/999.27 c | 4200525 | 8694 269998 945031 | 1 261345 23 | 0.000 % | 1120.51/1120.55 c | 4209696 | 8694 269998 945031 | 1 270516 24 | 0.000 % | 1120.51/1120.55 c | 4209796 | 8694 269998 945031 | 1 270616 24 | 0.000 % | 1120.51/1120.55 c | 4213125 | 8694 269998 945031 | 1 273945 24 | 0.000 % | 1120.51/1120.55 c | 4213344 | 8694 269998 945031 | 1 274164 24 | 0.000 % | 1120.51/1120.55 c | 4239555 | 8694 269998 945031 | 1 155979 20 | 0.000 % | 1120.51/1120.55 c | 4250837 | 8694 269998 945031 | 1 167261 20 | 0.000 % | 1120.51/1120.55 c | 4252122 | 8694 269998 945031 | 1 168546 20 | 0.000 % | 1120.51/1120.55 c | 4292013 | 8694 269998 945031 | 1 208437 22 | 0.000 % | 1120.51/1120.55 c | 4308223 | 8694 269998 945031 | 1 224647 22 | 0.000 % | 1120.51/1120.55 c | 4313684 | 8694 269998 945031 | 1 230108 23 | 0.000 % | 1120.51/1120.55 c | 4317781 | 8694 269998 945031 | 1 234205 23 | 0.000 % | 1120.51/1120.55 c | 4318380 | 8694 269998 945031 | 1 234804 23 | 0.000 % | 1120.51/1120.55 c | 4337497 | 8694 269998 945031 | 1 253921 23 | 0.000 % | 1120.51/1120.55 c | 4345334 | 8694 269998 945031 | 1 261758 23 | 0.000 % | 1120.51/1120.55 c | 4345435 | 8694 269998 945031 | 1 261859 23 | 0.000 % | 1120.51/1120.55 c | 4346048 | 8694 269998 945031 | 1 262472 23 | 0.000 % | 1120.51/1120.55 c | 4346449 | 8694 269998 945031 | 1 262873 23 | 0.000 % | 1120.51/1120.55 c | 4346714 | 8694 269998 945031 | 1 263138 23 | 0.000 % | 1120.51/1120.55 c | 4355568 | 8694 269998 945031 | 1 271992 24 | 0.000 % | 1120.51/1120.55 c | 4362686 | 8694 269998 945031 | 1 279110 24 | 0.000 % | 1120.51/1120.55 c | 4416770 | 8694 269998 945031 | 1 186193 20 | 0.000 % | 1120.51/1120.55 c | 4436705 | 8694 269998 945031 | 1 206128 21 | 0.000 % | 1120.51/1120.55 c | 4441152 | 8694 269998 945031 | 1 210575 21 | 0.000 % | 1120.51/1120.55 c | 4448134 | 8694 269998 945031 | 1 217557 21 | 0.000 % | 1120.51/1120.55 c | 4453449 | 8694 269998 945031 | 1 222872 21 | 0.000 % | 1120.51/1120.55 c | 4470424 | 8694 269998 945031 | 1 239847 22 | 0.000 % | 1120.51/1120.55 c | 4481445 | 8694 269998 945031 | 1 250868 22 | 0.000 % | 1120.51/1120.55 c | 4481656 | 8694 269998 945031 | 1 251079 22 | 0.000 % | 1120.51/1120.55 c | 4491116 | 8694 269998 945031 | 1 260539 23 | 0.000 % | 1120.51/1120.55 c | 4491399 | 8694 269998 945031 | 1 260822 23 | 0.000 % | 1120.51/1120.55 c | 4497177 | 8694 269998 945031 | 1 266600 23 | 0.000 % | 1120.51/1120.55 c | 4507032 | 8694 269998 945031 | 1 276455 23 | 0.000 % | 1120.51/1120.55 c | 4507133 | 8694 269998 945031 | 1 276556 23 | 0.000 % | 1120.51/1120.55 c | 4507979 | 8694 269998 945031 | 1 277402 23 | 0.000 % | 1120.51/1120.55 c | 4511616 | 8694 269998 945031 | 1 281039 23 | 0.000 % | 1120.51/1120.55 c | 4515689 | 8694 269998 945031 | 1 285112 23 | 0.000 % | 1120.51/1120.55 c | 4517631 | 8694 269998 945031 | 1 287054 24 | 0.000 % | 1120.51/1120.55 c | 4518005 | 8694 269998 945031 | 1 287428 24 | 0.000 % | 1120.51/1120.55 c | 4518106 | 8694 269998 945031 | 1 287529 24 | 0.000 % | 1120.51/1120.55 c | 4518757 | 8694 269998 945031 | 1 288180 24 | 0.000 % | 1120.51/1120.55 c | 4518908 | 8694 269998 945031 | 1 288331 24 | 0.000 % | 1120.51/1120.55 c | 4519049 | 8694 269998 945031 | 1 288472 24 | 0.000 % | 1120.51/1120.55 c | 4532251 | 8694 269998 945031 | 1 152070 19 | 0.000 % | 1120.51/1120.55 c | 4554522 | 8694 269998 945031 | 1 174341 20 | 0.000 % | 1120.51/1120.55 c | 4554882 | 8694 269998 945031 | 1 174701 20 | 0.000 % | 1120.51/1120.55 c | 4558683 | 8694 269998 945031 | 1 178502 20 | 0.000 % | 1120.51/1120.55 c | 4580570 | 8694 269998 945031 | 1 200389 21 | 0.000 % | 1120.51/1120.55 c | 4611088 | 8694 269998 945031 | 1 230907 22 | 0.000 % | 1120.51/1120.55 c | 4611609 | 8694 269998 945031 | 1 231428 22 | 0.000 % | 1120.51/1120.55 c | 4615965 | 8694 269998 945031 | 1 235784 22 | 0.000 % | 1303.52/1303.52 c | 4619381 | 8694 269998 945031 | 1 239200 22 | 0.000 % | 1303.52/1303.52 c | 4620402 | 8694 269998 945031 | 1 240221 22 | 0.000 % | 1303.52/1303.52 c | 4621391 | 8694 269998 945031 | 1 241210 22 | 0.000 % | 1303.52/1303.52 c | 4635595 | 8694 269998 945031 | 1 255414 23 | 0.000 % | 1303.52/1303.52 c | 4655970 | 8694 269998 945031 | 1 275789 23 | 0.000 % | 1303.52/1303.52 c | 4662797 | 8694 269998 945031 | 1 282616 24 | 0.000 % | 1303.52/1303.52 c | 4696967 | 8694 269998 945031 | 1 164585 19 | 0.000 % | 1303.52/1303.52 c | 4747992 | 8693 269984 944919 | 1 160268 20 | 0.012 % | 1303.52/1303.52 c | 4749311 | 8693 269984 944919 | 1 161587 20 | 0.012 % | 1303.52/1303.52 c | 4831235 | 8693 269984 944919 | 1 243511 22 | 0.012 % | 1303.52/1303.52 c | 4835658 | 8693 269984 944919 | 1 247934 23 | 0.012 % | 1303.52/1303.52 c | 4838266 | 8693 269984 944919 | 1 250542 23 | 0.012 % | 1303.52/1303.52 c | 4841322 | 8693 269984 944919 | 1 253598 23 | 0.012 % | 1303.52/1303.52 c | 4850195 | 8693 269984 944919 | 1 135343 19 | 0.012 % | 1303.52/1303.52 c | 4850845 | 8693 269984 944919 | 1 135993 19 | 0.012 % | 1303.52/1303.52 c | 4895483 | 8693 269984 944919 | 1 180631 22 | 0.012 % | 1303.52/1303.52 c | 4907176 | 8693 269984 944919 | 1 192324 22 | 0.012 % | 1303.52/1303.52 c | 4913268 | 8693 269984 944919 | 1 198416 22 | 0.012 % | 1303.52/1303.52 c | 4914704 | 8693 269984 944919 | 1 199852 22 | 0.012 % | 1303.52/1303.52 c | 4917054 | 8693 269984 944919 | 1 202202 23 | 0.012 % | 1303.52/1303.52 c | 4917388 | 8693 269984 944919 | 1 202536 23 | 0.012 % | 1303.52/1303.52 c | 4924680 | 8693 269984 944919 | 1 209828 23 | 0.012 % | 1303.52/1303.52 c | 4951712 | 8693 269984 944919 | 1 236860 24 | 0.012 % | 1303.52/1303.52 c | 4955666 | 8693 269984 944919 | 1 240814 24 | 0.012 % | 1303.52/1303.52 c | 5006442 | 8693 269984 944919 | 1 148033 20 | 0.012 % | 1303.52/1303.52 c | 5008086 | 8693 269984 944919 | 1 149677 20 | 0.012 % | 1303.52/1303.52 c | 5008191 | 8693 269984 944919 | 1 149782 20 | 0.012 % | 1303.52/1303.52 c | 5008291 | 8693 269984 944919 | 1 149882 20 | 0.012 % | 1303.52/1303.52 c | 5010852 | 8693 269984 944919 | 1 152443 20 | 0.012 % | 1303.52/1303.52 c | 5011361 | 8693 269984 944919 | 1 152952 20 | 0.012 % | 1303.52/1303.52 c | 5014365 | 8693 269984 944919 | 1 155956 20 | 0.012 % | 1303.52/1303.52 c | 5015151 | 8693 269984 944919 | 1 156742 20 | 0.012 % | 1303.52/1303.52 c | 5026562 | 8693 269984 944919 | 1 168153 21 | 0.012 % | 1303.52/1303.52 c | 5027632 | 8693 269984 944919 | 1 169223 21 | 0.012 % | 1303.52/1303.52 c | 5027774 | 8693 269984 944919 | 1 169365 21 | 0.012 % | 1303.52/1303.52 c | 5053198 | 8693 269984 944919 | 1 194789 22 | 0.012 % | 1303.52/1303.52 c | 5079951 | 8693 269984 944919 | 1 221542 23 | 0.012 % | 1303.52/1303.52 c | 5080156 | 8693 269984 944919 | 1 221747 23 | 0.012 % | 1303.52/1303.52 c | 5080256 | 8693 269984 944919 | 1 221847 23 | 0.012 % | 1303.52/1303.52 c | 5081573 | 8693 269984 944919 | 1 223164 23 | 0.012 % | 1303.52/1303.52 c | 5102379 | 8693 269984 944919 | 1 243970 23 | 0.012 % | 1303.52/1303.52 c | 5109955 | 8693 269984 944919 | 1 251546 24 | 0.012 % | 1303.52/1303.52 c | 5110095 | 8693 269984 944919 | 1 251686 24 | 0.012 % | 1303.52/1303.52 c | 5115581 | 8693 269984 944919 | 1 257172 24 | 0.012 % | 1303.52/1303.52 c | 5118142 | 8693 269984 944919 | 1 259733 24 | 0.012 % | 1303.52/1303.52 c | 5118466 | 8693 269984 944919 | 1 260057 24 | 0.012 % | 1303.52/1303.52 c | 5126901 | 8693 269984 944919 | 1 268492 24 | 0.012 % | 1303.52/1303.52 c | 5144033 | 8693 269984 944919 | 1 285624 24 | 0.012 % | 1303.52/1303.52 c | 5197914 | 8693 269984 944919 | 1 186427 21 | 0.012 % | 1303.52/1303.52 c | 5211780 | 8693 269984 944919 | 1 200293 22 | 0.012 % | 1432.71/1432.77 c | 5211905 | 8693 269984 944919 | 1 200418 22 | 0.012 % | 1432.71/1432.77 c | 5216505 | 8693 269984 944919 | 1 205018 22 | 0.012 % | 1432.71/1432.77 c | 5220251 | 8693 269984 944919 | 1 208764 22 | 0.012 % | 1432.71/1432.77 c | 5244437 | 8693 269984 944919 | 1 232950 23 | 0.012 % | 1432.71/1432.77 c | 5249201 | 8693 269984 944919 | 1 237714 23 | 0.012 % | 1432.71/1432.77 c | 5252988 | 8693 269984 944919 | 1 241501 23 | 0.012 % | 1432.71/1432.77 c | 5253432 | 8693 269984 944919 | 1 241945 23 | 0.012 % | 1432.71/1432.77 c | 5253610 | 8693 269984 944919 | 1 242123 23 | 0.012 % | 1432.71/1432.77 c | 5307558 | 8693 269984 944919 | 1 296071 24 | 0.012 % | 1432.71/1432.77 c | 5307658 | 8693 269984 944919 | 1 296171 24 | 0.012 % | 1432.71/1432.77 c | 5310561 | 8693 269984 944919 | 1 299074 24 | 0.012 % | 1432.71/1432.77 c | 5310663 | 8693 269984 944919 | 1 299176 24 | 0.012 % | 1432.71/1432.77 c | 5310766 | 8693 269984 944919 | 1 299279 24 | 0.012 % | 1432.71/1432.77 c | 5317731 | 8693 269984 944919 | 1 306244 24 | 0.012 % | 1432.71/1432.77 c | 5320961 | 8693 269984 944919 | 1 309474 24 | 0.012 % | 1432.71/1432.77 c | 5321886 | 8693 269984 944919 | 1 310399 24 | 0.012 % | 1432.71/1432.77 c | 5326204 | 8693 269984 944919 | 1 314717 24 | 0.012 % | 1432.71/1432.77 c | 5326309 | 8693 269984 944919 | 1 314822 24 | 0.012 % | 1432.71/1432.77 c | 5326519 | 8693 269984 944919 | 1 315032 24 | 0.012 % | 1432.71/1432.77 c | 5333916 | 8693 269984 944919 | 1 163281 19 | 0.012 % | 1432.71/1432.77 c | 5334016 | 8693 269984 944919 | 1 163381 19 | 0.012 % | 1432.71/1432.77 c | 5334746 | 8693 269984 944919 | 1 164111 19 | 0.012 % | 1432.71/1432.77 c | 5339689 | 8693 269984 944919 | 1 169054 19 | 0.012 % | 1432.71/1432.77 c | 5339791 | 8693 269984 944919 | 1 169156 20 | 0.012 % | 1432.71/1432.77 c | 5344540 | 8693 269984 944919 | 1 173905 20 | 0.012 % | 1432.71/1432.77 c | 5349292 | 8693 269984 944919 | 1 178657 20 | 0.012 % | 1432.71/1432.77 c | 5349580 | 8693 269984 944919 | 1 178945 20 | 0.012 % | 1432.71/1432.77 c | 5351366 | 8693 269984 944919 | 1 180731 20 | 0.012 % | 1432.71/1432.77 c | 5351726 | 8693 269984 944919 | 1 181091 20 | 0.012 % | 1432.71/1432.77 c | 5351826 | 8693 269984 944919 | 1 181191 20 | 0.012 % | 1432.71/1432.77 c | 5353337 | 8693 269984 944919 | 1 182702 20 | 0.012 % | 1432.71/1432.77 c | 5359358 | 8693 269984 944919 | 1 188723 21 | 0.012 % | 1432.71/1432.77 c | 5367198 | 8693 269984 944919 | 1 196563 21 | 0.012 % | 1432.71/1432.77 c | 5372566 | 8693 269984 944919 | 1 201931 21 | 0.012 % | 1432.71/1432.77 c | 5372804 | 8693 269984 944919 | 1 202169 21 | 0.012 % | 1432.71/1432.77 c | 5380881 | 8693 269984 944919 | 1 210246 21 | 0.012 % | 1432.71/1432.77 c | 5387783 | 8693 269984 944919 | 1 217148 22 | 0.012 % | 1432.71/1432.77 c | 5387883 | 8693 269984 944919 | 1 217248 22 | 0.012 % | 1432.71/1432.77 c | 5409272 | 8693 269984 944919 | 1 238637 22 | 0.012 % | 1432.71/1432.77 c | 5422650 | 8693 269984 944919 | 1 252015 23 | 0.012 % | 1432.71/1432.77 c | 5428786 | 8693 269984 944919 | 1 258151 23 | 0.012 % | 1432.71/1432.77 c | 5432566 | 8693 269984 944919 | 1 261931 23 | 0.012 % | 1432.71/1432.77 c | 5487532 | 8693 269984 944919 | 1 316897 23 | 0.012 % | 1432.71/1432.77 c | 5496926 | 8693 269984 944919 | 1 326291 24 | 0.012 % | 1432.71/1432.77 c | 5515026 | 8693 269984 944919 | 1 180915 20 | 0.012 % | 1432.71/1432.77 c | 5530784 | 8693 269984 944919 | 1 196673 20 | 0.012 % | 1432.71/1432.77 c | 5549822 | 8693 269984 944919 | 1 215711 21 | 0.012 % | 1432.71/1432.77 c | 5553223 | 8693 269984 944919 | 1 219112 21 | 0.012 % | 1432.71/1432.77 c | 5556385 | 8693 269984 944919 | 1 222274 21 | 0.012 % | 1432.71/1432.77 c | 5594243 | 8692 269960 944727 | 1 160933 19 | 0.023 % | 1512.81/1512.85 c | 5602430 | 8692 269960 944727 | 1 169120 20 | 0.023 % | 1512.81/1512.85 c | 5603147 | 8692 269960 944727 | 1 169837 20 | 0.023 % | 1512.81/1512.85 c | 5608084 | 8692 269960 944727 | 1 174774 20 | 0.023 % | 1512.81/1512.85 c | 5610713 | 8692 269960 944727 | 1 177403 20 | 0.023 % | 1512.81/1512.85 c | 5628100 | 8692 269960 944727 | 1 194790 21 | 0.023 % | 1512.81/1512.85 c | 5628200 | 8692 269960 944727 | 1 194890 21 | 0.023 % | 1512.81/1512.85 c | 5628301 | 8692 269960 944727 | 1 194991 21 | 0.023 % | 1512.81/1512.85 c | 5628401 | 8692 269960 944727 | 1 195091 21 | 0.023 % | 1512.81/1512.85 c | 5628538 | 8692 269960 944727 | 1 195228 21 | 0.023 % | 1512.81/1512.85 c | 5636078 | 8692 269960 944727 | 1 202768 21 | 0.023 % | 1512.81/1512.85 c | 5637903 | 8692 269960 944727 | 1 204593 21 | 0.023 % | 1512.81/1512.85 c | 5640100 | 8692 269960 944727 | 1 206790 21 | 0.023 % | 1512.81/1512.85 c | 5674094 | 8692 269960 944727 | 1 123446 18 | 0.023 % | 1512.81/1512.85 c | 5678899 | 8692 269960 944727 | 1 128251 19 | 0.023 % | 1512.81/1512.85 c | 5678999 | 8692 269960 944727 | 1 128351 19 | 0.023 % | 1512.81/1512.85 c | 5679402 | 8692 269960 944727 | 1 128754 19 | 0.023 % | 1512.81/1512.85 c | 5679710 | 8692 269960 944727 | 1 129062 19 | 0.023 % | 1512.81/1512.85 c | 5679960 | 8692 269960 944727 | 1 129312 19 | 0.023 % | 1512.81/1512.85 c | 5684329 | 8692 269960 944727 | 1 133681 19 | 0.023 % | 1512.81/1512.85 c | 5689123 | 8692 269960 944727 | 1 138475 20 | 0.023 % | 1512.81/1512.85 c | 5691434 | 8692 269960 944727 | 1 140786 20 | 0.023 % | 1512.81/1512.85 c | 5691578 | 8692 269960 944727 | 1 140930 20 | 0.023 % | 1512.81/1512.85 c | 5691719 | 8692 269960 944727 | 1 141071 20 | 0.023 % | 1512.81/1512.85 c | 5695436 | 8692 269960 944727 | 1 144788 20 | 0.023 % | 1512.81/1512.85 c | 5695538 | 8692 269960 944727 | 1 144890 20 | 0.023 % | 1512.81/1512.85 c | 5697487 | 8692 269960 944727 | 1 146839 20 | 0.023 % | 1512.81/1512.85 c | 5699067 | 8692 269960 944727 | 1 148419 20 | 0.023 % | 1512.81/1512.85 c | 5700249 | 8692 269960 944727 | 1 149601 21 | 0.023 % | 1512.81/1512.85 c | 5700858 | 8692 269960 944727 | 1 150210 21 | 0.023 % | 1512.81/1512.85 c | 5700960 | 8692 269960 944727 | 1 150312 21 | 0.023 % | 1512.81/1512.85 c | 5701061 | 8692 269960 944727 | 1 150413 21 | 0.023 % | 1512.81/1512.85 c | 5705989 | 8692 269960 944727 | 1 155341 21 | 0.023 % | 1512.81/1512.85 c | 5709339 | 8692 269960 944727 | 1 158691 21 | 0.023 % | 1512.81/1512.85 c | 5710722 | 8692 269960 944727 | 1 160074 21 | 0.023 % | 1512.81/1512.85 c | 5710823 | 8692 269960 944727 | 1 160175 21 | 0.023 % | 1512.81/1512.85 c | 5724059 | 8692 269960 944727 | 1 173411 22 | 0.023 % | 1512.81/1512.85 c | 5734255 | 8692 269960 944727 | 1 183607 22 | 0.023 % | 1512.81/1512.85 c | 5740658 | 8692 269960 944727 | 1 190010 22 | 0.023 % | 1512.81/1512.85 c | 5755107 | 8692 269960 944727 | 1 204459 23 | 0.023 % | 1512.81/1512.85 c | 5755345 | 8692 269960 944727 | 1 204697 23 | 0.023 % | 1512.81/1512.85 c | 5760059 | 8692 269960 944727 | 1 209411 23 | 0.023 % | 1512.81/1512.85 c | 5760566 | 8692 269960 944727 | 1 209918 23 | 0.023 % | 1512.81/1512.85 c | 5772084 | 8692 269960 944727 | 1 221436 23 | 0.023 % | 1512.81/1512.85 c | 5855330 | 8692 269960 944727 | 1 159514 20 | 0.023 % | 1512.81/1512.85 c | 5857523 | 8692 269960 944727 | 1 161707 20 | 0.023 % | 1512.81/1512.85 c | 5857624 | 8692 269960 944727 | 1 161808 20 | 0.023 % | 1512.81/1512.85 c | 5858457 | 8692 269960 944727 | 1 162641 20 | 0.023 % | 1512.81/1512.85 c | 5860842 | 8692 269960 944727 | 1 165026 20 | 0.023 % | 1512.81/1512.85 c | 5861213 | 8692 269960 944727 | 1 165397 20 | 0.023 % | 1512.81/1512.85 c | 5861313 | 8692 269960 944727 | 1 165497 20 | 0.023 % | 1568.02/1568.03 c | 5861661 | 8692 269960 944727 | 1 165845 21 | 0.023 % | 1568.02/1568.03 c | 5862875 | 8692 269960 944727 | 1 167059 21 | 0.023 % | 1568.02/1568.03 c | 5863336 | 8692 269960 944727 | 1 167520 21 | 0.023 % | 1568.02/1568.03 c | 5867513 | 8692 269960 944727 | 1 171697 21 | 0.023 % | 1568.02/1568.03 c | 5874314 | 8692 269960 944727 | 1 178498 21 | 0.023 % | 1568.02/1568.03 c | 5875061 | 8692 269960 944727 | 1 179245 21 | 0.023 % | 1568.02/1568.03 c | 5875162 | 8692 269960 944727 | 1 179346 21 | 0.023 % | 1568.02/1568.03 c | 5876195 | 8692 269960 944727 | 1 180379 21 | 0.023 % | 1568.02/1568.03 c | 5877546 | 8692 269960 944727 | 1 181730 21 | 0.023 % | 1568.02/1568.03 c | 5882816 | 8692 269960 944727 | 1 187000 22 | 0.023 % | 1568.02/1568.03 c | 5883641 | 8692 269960 944727 | 1 187825 22 | 0.023 % | 1568.02/1568.03 c | 5883909 | 8692 269960 944727 | 1 188093 22 | 0.023 % | 1568.02/1568.03 c | 5884423 | 8692 269960 944727 | 1 188607 22 | 0.023 % | 1568.02/1568.03 c | 5923263 | 8692 269960 944727 | 1 227447 23 | 0.023 % | 1568.02/1568.03 c | 5942388 | 8692 269960 944727 | 1 246572 23 | 0.023 % | 1568.02/1568.03 c | 5946595 | 8692 269960 944727 | 1 250779 23 | 0.023 % | 1568.02/1568.03 c | 5946695 | 8692 269960 944727 | 1 250879 23 | 0.023 % | 1568.02/1568.03 c | 5946818 | 8692 269960 944727 | 1 251002 23 | 0.023 % | 1568.02/1568.03 c | 5949682 | 8692 269960 944727 | 1 253866 23 | 0.023 % | 1568.02/1568.03 c | 5949784 | 8692 269960 944727 | 1 253968 23 | 0.023 % | 1568.02/1568.03 c | 5951908 | 8692 269960 944727 | 1 256092 23 | 0.023 % | 1568.02/1568.03 c | 5952009 | 8692 269960 944727 | 1 256193 23 | 0.023 % | 1568.02/1568.03 c | 5957636 | 8692 269960 944727 | 1 261820 24 | 0.023 % | 1568.02/1568.03 c | 5958255 | 8692 269960 944727 | 1 262439 24 | 0.023 % | 1568.02/1568.03 c | 5958463 | 8692 269960 944727 | 1 262647 24 | 0.023 % | 1568.02/1568.03 c | 5959301 | 8692 269960 944727 | 1 263485 24 | 0.023 % | 1568.02/1568.03 c | 5959517 | 8692 269960 944727 | 1 263701 24 | 0.023 % | 1568.02/1568.03 c | 5959617 | 8692 269960 944727 | 1 263801 24 | 0.023 % | 1568.02/1568.03 c | 5959719 | 8692 269960 944727 | 1 263903 24 | 0.023 % | 1568.02/1568.03 c | 5963350 | 8692 269960 944727 | 1 267534 24 | 0.023 % | 1568.02/1568.03 c | 5965371 | 8692 269960 944727 | 1 269555 24 | 0.023 % | 1568.02/1568.03 c | 5975286 | 8692 269960 944727 | 1 279470 24 | 0.023 % | 1568.02/1568.03 c | 5978123 | 8692 269960 944727 | 1 282307 24 | 0.023 % | 1568.02/1568.03 c | 5991886 | 8692 269960 944727 | 1 296070 25 | 0.023 % | 1568.02/1568.03 c | 6015143 | 8692 269960 944727 | 1 319327 25 | 0.023 % | 1568.02/1568.03 c | 6015453 | 8692 269960 944727 | 1 319637 25 | 0.023 % | 1568.02/1568.03 c | 6015686 | 8692 269960 944727 | 1 319870 25 | 0.023 % | 1568.02/1568.03 c | 6022486 | 8692 269960 944727 | 1 166286 20 | 0.023 % | 1568.02/1568.03 c | 6022751 | 8692 269960 944727 | 1 166551 20 | 0.023 % | 1568.02/1568.03 c | 6023145 | 8692 269960 944727 | 1 166945 20 | 0.023 % | 1568.02/1568.03 c | 6023245 | 8692 269960 944727 | 1 167045 20 | 0.023 % | 1568.02/1568.03 c | 6025497 | 8692 269960 944727 | 1 169297 20 | 0.023 % | 1568.02/1568.03 c | 6026188 | 8692 269960 944727 | 1 169988 20 | 0.023 % | 1568.02/1568.03 c | 6027799 | 8692 269960 944727 | 1 171599 20 | 0.023 % | 1568.02/1568.03 c | 6027900 | 8692 269960 944727 | 1 171700 20 | 0.023 % | 1568.02/1568.03 c | 6028001 | 8692 269960 944727 | 1 171801 20 | 0.023 % | 1568.02/1568.03 c | 6028430 | 8692 269960 944727 | 1 172230 20 | 0.023 % | 1568.02/1568.03 c | 6028621 | 8692 269960 944727 | 1 172421 20 | 0.023 % | 1568.02/1568.03 c | 6028723 | 8692 269960 944727 | 1 172523 20 | 0.023 % | 1568.02/1568.03 c | 6029058 | 8692 269960 944727 | 1 172858 20 | 0.023 % | 1634.53/1634.51 c | 6029498 | 8692 269960 944727 | 1 173298 20 | 0.023 % | 1634.53/1634.51 c | 6030176 | 8692 269960 944727 | 1 173976 20 | 0.023 % | 1634.53/1634.51 c | 6035234 | 8692 269960 944727 | 1 179034 21 | 0.023 % | 1634.53/1634.51 c | 6035336 | 8692 269960 944727 | 1 179136 21 | 0.023 % | 1634.53/1634.51 c | 6035843 | 8692 269960 944727 | 1 179643 21 | 0.023 % | 1634.53/1634.51 c | 6036122 | 8692 269960 944727 | 1 179922 21 | 0.023 % | 1634.53/1634.51 c | 6037317 | 8692 269960 944727 | 1 181117 21 | 0.023 % | 1634.53/1634.51 c | 6037419 | 8692 269960 944727 | 1 181219 21 | 0.023 % | 1634.53/1634.51 c | 6043410 | 8692 269960 944727 | 1 187210 21 | 0.023 % | 1634.53/1634.51 c | 6043770 | 8692 269960 944727 | 1 187570 21 | 0.023 % | 1634.53/1634.51 c | 6047593 | 8692 269960 944727 | 1 191393 21 | 0.023 % | 1634.53/1634.51 c | 6047983 | 8692 269960 944727 | 1 191783 22 | 0.023 % | 1634.53/1634.51 c | 6071521 | 8692 269960 944727 | 1 215321 22 | 0.023 % | 1634.53/1634.51 c | 6119536 | 8692 269960 944727 | 1 263336 23 | 0.023 % | 1634.53/1634.51 c | 6121678 | 8692 269960 944727 | 1 265478 23 | 0.023 % | 1634.53/1634.51 c | 6121897 | 8692 269960 944727 | 1 265697 23 | 0.023 % | 1634.53/1634.51 c | 6121999 | 8692 269960 944727 | 1 265799 23 | 0.023 % | 1634.53/1634.51 c | 6122113 | 8692 269960 944727 | 1 265913 23 | 0.023 % | 1634.53/1634.51 c | 6122213 | 8692 269960 944727 | 1 266013 23 | 0.023 % | 1634.53/1634.51 c | 6122506 | 8692 269960 944727 | 1 266306 23 | 0.023 % | 1634.53/1634.51 c | 6123329 | 8692 269960 944727 | 1 267129 23 | 0.023 % | 1634.53/1634.51 c | 6123442 | 8692 269960 944727 | 1 267242 23 | 0.023 % | 1634.53/1634.51 c | 6123544 | 8692 269960 944727 | 1 267344 23 | 0.023 % | 1634.53/1634.51 c | 6126249 | 8692 269960 944727 | 1 270049 23 | 0.023 % | 1634.53/1634.51 c | 6135637 | 8692 269960 944727 | 1 279437 23 | 0.023 % | 1634.53/1634.51 c | 6135986 | 8692 269960 944727 | 1 279786 23 | 0.023 % | 1634.53/1634.51 c | 6145551 | 8692 269960 944727 | 1 289351 24 | 0.023 % | 1634.53/1634.51 c | 6145721 | 8692 269960 944727 | 1 289521 24 | 0.023 % | 1634.53/1634.51 c | 6147408 | 8692 269960 944727 | 1 291208 24 | 0.023 % | 1634.53/1634.51 c | 6147508 | 8692 269960 944727 | 1 291308 24 | 0.023 % | 1634.53/1634.51 c | 6147616 | 8692 269960 944727 | 1 291416 24 | 0.023 % | 1634.53/1634.51 c | 6147737 | 8692 269960 944727 | 1 291537 24 | 0.023 % | 1634.53/1634.51 c | 6147838 | 8692 269960 944727 | 1 291638 24 | 0.023 % | 1634.53/1634.51 c | 6147938 | 8692 269960 944727 | 1 291738 24 | 0.023 % | 1634.53/1634.51 c | 6149644 | 8692 269960 944727 | 1 293444 24 | 0.023 % | 1634.53/1634.51 c | 6149746 | 8692 269960 944727 | 1 293546 24 | 0.023 % | 1634.53/1634.51 c | 6149846 | 8692 269960 944727 | 1 293646 24 | 0.023 % | 1634.53/1634.51 c | 6150020 | 8692 269960 944727 | 1 293820 24 | 0.023 % | 1634.53/1634.51 c | 6150121 | 8692 269960 944727 | 1 293921 24 | 0.023 % | 1634.53/1634.51 c | 6150724 | 8692 269960 944727 | 1 294524 24 | 0.023 % | 1634.53/1634.51 c | 6152007 | 8692 269960 944727 | 1 295807 24 | 0.023 % | 1634.53/1634.51 c | 6154186 | 8692 269960 944727 | 1 297986 24 | 0.023 % | 1634.53/1634.51 c | 6154481 | 8692 269960 944727 | 1 298281 24 | 0.023 % | 1634.53/1634.51 c | 6174099 | 8692 269960 944727 | 1 317899 24 | 0.023 % | 1634.53/1634.51 c | 6174736 | 8692 269960 944727 | 1 318536 24 | 0.023 % | 1634.53/1634.51 c | 6175840 | 8692 269960 944727 | 1 319640 24 | 0.023 % | 1634.53/1634.51 c | 6218121 | 8692 269960 944727 | 1 192634 20 | 0.023 % | 1634.53/1634.51 c | 6218300 | 8692 269960 944727 | 1 192813 20 | 0.023 % | 1634.53/1634.51 c | 6218426 | 8692 269960 944727 | 1 192939 20 | 0.023 % | 1634.53/1634.51 c | 6231495 | 8692 269960 944727 | 1 206008 21 | 0.023 % | 1742.33/1742.40 c | 6240981 | 8692 269960 944727 | 1 215494 21 | 0.023 % | 1742.33/1742.40 c | 6246921 | 8692 269960 944727 | 1 221434 22 | 0.023 % | 1742.33/1742.40 c | 6247030 | 8692 269960 944727 | 1 221543 22 | 0.023 % | 1742.33/1742.40 c | 6247130 | 8692 269960 944727 | 1 221643 22 | 0.023 % | 1742.33/1742.40 c | 6248569 | 8692 269960 944727 | 1 223082 22 | 0.023 % | 1742.33/1742.40 c | 6273703 | 8692 269960 944727 | 1 248216 23 | 0.023 % | 1742.33/1742.40 c | 6274974 | 8692 269960 944727 | 1 249487 23 | 0.023 % | 1742.33/1742.40 c | 6277237 | 8692 269960 944727 | 1 251750 23 | 0.023 % | 1742.33/1742.40 c | 6304035 | 8692 269960 944727 | 1 278548 24 | 0.023 % | 1742.33/1742.40 c | 6304154 | 8692 269960 944727 | 1 278667 24 | 0.023 % | 1742.33/1742.40 c | 6319390 | 8692 269960 944727 | 1 293903 24 | 0.023 % | 1742.33/1742.40 c | 6319491 | 8692 269960 944727 | 1 294004 24 | 0.023 % | 1742.33/1742.40 c | 6319652 | 8692 269960 944727 | 1 294165 24 | 0.023 % | 1742.33/1742.40 c | 6319870 | 8692 269960 944727 | 1 294383 24 | 0.023 % | 1742.33/1742.40 c | 6319970 | 8692 269960 944727 | 1 294483 24 | 0.023 % | 1742.33/1742.40 c | 6320070 | 8692 269960 944727 | 1 294583 24 | 0.023 % | 1742.33/1742.40 c | 6329491 | 8692 269960 944727 | 1 304004 24 | 0.023 % | 1742.33/1742.40 c | 6330629 | 8692 269960 944727 | 1 305142 24 | 0.023 % | 1742.33/1742.40 c | 6376684 | 8692 269960 944727 | 1 176152 19 | 0.023 % | 1742.33/1742.40 c | 6379086 | 8692 269960 944727 | 1 178554 19 | 0.023 % | 1742.33/1742.40 c | 6379301 | 8692 269960 944727 | 1 178769 19 | 0.023 % | 1742.33/1742.40 c | 6379412 | 8692 269960 944727 | 1 178880 19 | 0.023 % | 1742.33/1742.40 c | 6379754 | 8692 269960 944727 | 1 179222 19 | 0.023 % | 1742.33/1742.40 c | 6379858 | 8692 269960 944727 | 1 179326 19 | 0.023 % | 1742.33/1742.40 c | 6379958 | 8692 269960 944727 | 1 179426 19 | 0.023 % | 1742.33/1742.40 c | 6380061 | 8692 269960 944727 | 1 179529 19 | 0.023 % | 1742.33/1742.40 c | 6383776 | 8692 269960 944727 | 1 183244 19 | 0.023 % | 1742.33/1742.40 c | 6384709 | 8692 269960 944727 | 1 184177 20 | 0.023 % | 1742.33/1742.40 c | 6385035 | 8692 269960 944727 | 1 184503 20 | 0.023 % | 1742.33/1742.40 c | 6385526 | 8692 269960 944727 | 1 184994 20 | 0.023 % | 1742.33/1742.40 c | 6385626 | 8692 269960 944727 | 1 185094 20 | 0.023 % | 1742.33/1742.40 c | 6386422 | 8692 269960 944727 | 1 185890 20 | 0.023 % | 1742.33/1742.40 c | 6387099 | 8692 269960 944727 | 1 186567 20 | 0.023 % | 1742.33/1742.40 c | 6388552 | 8692 269960 944727 | 1 188020 20 | 0.023 % | 1742.33/1742.40 c | 6406683 | 8692 269960 944727 | 1 206151 21 | 0.023 % | 1742.33/1742.40 c | 6410868 | 8692 269960 944727 | 1 210336 21 | 0.023 % | 1742.33/1742.40 c | 6413408 | 8692 269960 944727 | 1 212876 21 | 0.023 % | 1742.33/1742.40 c | 6439428 | 8692 269960 944727 | 1 238896 22 | 0.023 % | 1742.33/1742.40 c | 6449549 | 8692 269960 944727 | 1 249017 22 | 0.023 % | 1742.33/1742.40 c | 6450231 | 8692 269960 944727 | 1 249699 22 | 0.023 % | 1742.33/1742.40 c | 6454272 | 8692 269960 944727 | 1 253740 22 | 0.023 % | 1742.33/1742.40 c | 6454933 | 8692 269960 944727 | 1 254401 22 | 0.023 % | 1742.33/1742.40 c | 6455610 | 8692 269960 944727 | 1 255078 22 | 0.023 % | 1742.33/1742.40 c | 6485271 | 8692 269960 944727 | 1 284739 23 | 0.023 % | 1742.33/1742.40 c | 6515973 | 8692 269960 944727 | 1 315441 23 | 0.023 % | 1742.33/1742.40 c | 6516614 | 8692 269960 944727 | 1 316082 23 | 0.023 % | 1742.33/1742.40 c | 6517126 | 8692 269960 944727 | 1 316594 23 | 0.023 % | 1742.33/1742.40 c | 6525704 | 8692 269960 944727 | 1 325172 23 | 0.023 % | 1742.33/1742.40 c | 6525804 | 8692 269960 944727 | 1 325272 23 | 0.023 % | 1742.33/1742.40 c | 6525907 | 8692 269960 944727 | 1 325375 23 | 0.023 % | 1854.32/1854.35 c | 6531546 | 8692 269960 944727 | 1 331014 23 | 0.023 % | 1854.32/1854.35 c | 6534679 | 8692 269960 944727 | 1 334147 23 | 0.023 % | 1854.32/1854.35 c | 6542961 | 8692 269960 944727 | 1 342429 24 | 0.023 % | 1854.32/1854.35 c | 6546589 | 8692 269960 944727 | 1 346057 24 | 0.023 % | 1854.32/1854.35 c | 6546689 | 8692 269960 944727 | 1 346157 24 | 0.023 % | 1854.32/1854.35 c | 6550559 | 8692 269960 944727 | 1 350027 24 | 0.023 % | 1854.32/1854.35 c | 6552529 | 8692 269960 944727 | 1 351997 24 | 0.023 % | 1854.32/1854.35 c | 6572214 | 8692 269960 944727 | 1 192456 19 | 0.023 % | 1854.32/1854.35 c | 6572511 | 8692 269960 944727 | 1 192753 19 | 0.023 % | 1854.32/1854.35 c | 6583605 | 8692 269960 944727 | 1 203847 20 | 0.023 % | 1854.32/1854.35 c | 6587110 | 8692 269960 944727 | 1 207352 20 | 0.023 % | 1854.32/1854.35 c | 6594070 | 8692 269960 944727 | 1 214312 20 | 0.023 % | 1854.32/1854.35 c | 6594173 | 8692 269960 944727 | 1 214415 20 | 0.023 % | 1854.32/1854.35 c | 6594775 | 8692 269960 944727 | 1 215017 20 | 0.023 % | 1854.32/1854.35 c | 6616546 | 8691 269920 944407 | 1 177486 19 | 0.035 % | 1854.32/1854.35 c | 6616758 | 8691 269920 944407 | 1 177698 19 | 0.035 % | 1854.32/1854.35 c | 6616909 | 8691 269920 944407 | 1 177849 19 | 0.035 % | 1854.32/1854.35 c | 6637955 | 8691 269920 944407 | 1 198895 21 | 0.035 % | 1854.32/1854.35 c | 6642212 | 8691 269920 944407 | 1 203152 21 | 0.035 % | 1854.32/1854.35 c | 6644972 | 8691 269920 944407 | 1 205912 21 | 0.035 % | 1854.32/1854.35 c | 6645486 | 8691 269920 944407 | 1 206426 21 | 0.035 % | 1854.32/1854.35 c | 6646695 | 8691 269920 944407 | 1 207635 21 | 0.035 % | 1854.32/1854.35 c | 6656393 | 8691 269920 944407 | 1 217333 22 | 0.035 % | 1854.32/1854.35 c | 6657882 | 8691 269920 944407 | 1 218822 22 | 0.035 % | 1854.32/1854.35 c | 6669584 | 8691 269920 944407 | 1 230524 22 | 0.035 % | 1854.32/1854.35 c | 6678067 | 8691 269920 944407 | 1 239007 23 | 0.035 % | 1854.32/1854.35 c | 6678348 | 8691 269920 944407 | 1 239288 23 | 0.035 % | 1854.32/1854.35 c | 6689419 | 8691 269920 944407 | 1 250359 23 | 0.035 % | 1854.32/1854.35 c | 6691541 | 8691 269920 944407 | 1 252481 23 | 0.035 % | 1854.32/1854.35 c | 6691644 | 8691 269920 944407 | 1 252584 23 | 0.035 % | 1854.32/1854.35 c | 6694685 | 8691 269920 944407 | 1 255625 23 | 0.035 % | 1854.32/1854.35 c | 6695580 | 8691 269920 944407 | 1 256520 23 | 0.035 % | 1854.32/1854.35 c | 6750635 | 8691 269920 944407 | 1 158617 19 | 0.035 % | 1854.32/1854.35 c | 6755495 | 8691 269920 944407 | 1 163477 19 | 0.035 % | 1854.32/1854.35 c | 6789896 | 8691 269920 944407 | 1 197878 21 | 0.035 % | 1854.32/1854.35 c | 6808772 | 8691 269920 944407 | 1 216754 22 | 0.035 % | 1854.32/1854.35 c | 6810970 | 8691 269920 944407 | 1 218952 22 | 0.035 % | 1854.32/1854.35 c | 6816541 | 8691 269920 944407 | 1 224523 22 | 0.035 % | 1854.32/1854.35 c | 6816664 | 8691 269920 944407 | 1 224646 22 | 0.035 % | 1854.32/1854.35 c | 6818114 | 8691 269920 944407 | 1 226096 22 | 0.035 % | 1854.32/1854.35 c | 6818221 | 8691 269920 944407 | 1 226203 22 | 0.035 % | 1854.32/1854.35 c | 6818322 | 8691 269920 944407 | 1 226304 22 | 0.035 % | 1854.32/1854.35 c | 6818422 | 8691 269920 944407 | 1 226404 22 | 0.035 % | 1854.32/1854.35 c | 6818522 | 8691 269920 944407 | 1 226504 22 | 0.035 % | 1854.32/1854.35 c | 6820317 | 8691 269920 944407 | 1 228299 22 | 0.035 % | 1854.32/1854.35 c | 6820696 | 8691 269920 944407 | 1 228678 22 | 0.035 % | 1854.32/1854.35 c | 6826227 | 8691 269920 944407 | 1 234209 22 | 0.035 % | 1854.32/1854.35 c | 6832845 | 8691 269920 944407 | 1 240827 22 | 0.035 % | 1854.32/1854.35 c | 6838116 | 8691 269920 944407 | 1 246098 23 | 0.035 % | 1854.32/1854.35 c | 6846247 | 8691 269920 944407 | 1 254229 23 | 0.035 % | 1905.03/1905.02 c | 6849639 | 8691 269920 944407 | 1 257621 23 | 0.035 % | 1905.03/1905.02 c | 6856550 | 8691 269920 944407 | 1 264532 23 | 0.035 % | 1905.03/1905.02 c | 6861364 | 8691 269920 944407 | 1 269346 23 | 0.035 % | 1905.03/1905.02 c | 6861464 | 8691 269920 944407 | 1 269446 23 | 0.035 % | 1905.03/1905.02 c | 6868208 | 8691 269920 944407 | 1 276190 24 | 0.035 % | 1905.03/1905.02 c | 6869718 | 8691 269920 944407 | 1 277700 24 | 0.035 % | 1905.03/1905.02 c | 6872985 | 8691 269920 944407 | 1 280967 24 | 0.035 % | 1905.03/1905.02 c | 6873085 | 8691 269920 944407 | 1 281067 24 | 0.035 % | 1905.03/1905.02 c | 6876623 | 8691 269920 944407 | 1 284605 24 | 0.035 % | 1905.03/1905.02 c | 6876966 | 8691 269920 944407 | 1 284948 24 | 0.035 % | 1905.03/1905.02 c | 6877066 | 8691 269920 944407 | 1 285048 24 | 0.035 % | 1905.03/1905.02 c | 6877166 | 8691 269920 944407 | 1 285148 24 | 0.035 % | 1905.03/1905.02 c | 6877266 | 8691 269920 944407 | 1 285248 24 | 0.035 % | 1905.03/1905.02 c | 6881714 | 8691 269920 944407 | 1 289696 24 | 0.035 % | 1905.03/1905.02 c | 6881814 | 8691 269920 944407 | 1 289796 24 | 0.035 % | 1905.03/1905.02 c | 6882127 | 8691 269920 944407 | 1 290109 24 | 0.035 % | 1905.03/1905.02 c | 6882264 | 8691 269920 944407 | 1 290246 24 | 0.035 % | 1905.03/1905.02 c | 6886703 | 8691 269920 944407 | 1 294685 24 | 0.035 % | 1905.03/1905.02 c | 6887536 | 8691 269920 944407 | 1 295518 24 | 0.035 % | 1905.03/1905.02 c | 6887637 | 8691 269920 944407 | 1 295619 24 | 0.035 % | 1905.03/1905.02 c | 6887861 | 8691 269920 944407 | 1 295843 24 | 0.035 % | 1905.03/1905.02 c | 6889313 | 8691 269920 944407 | 1 297295 24 | 0.035 % | 1905.03/1905.02 c | 6889886 | 8691 269920 944407 | 1 297868 24 | 0.035 % | 1905.03/1905.02 c | 6890104 | 8691 269920 944407 | 1 298086 24 | 0.035 % | 1905.03/1905.02 c | 6890204 | 8691 269920 944407 | 1 298186 24 | 0.035 % | 1905.03/1905.02 c | 6892410 | 8691 269920 944407 | 1 300392 24 | 0.035 % | 1905.03/1905.02 c | 6895015 | 8691 269920 944407 | 1 302997 24 | 0.035 % | 1905.03/1905.02 c | 6895115 | 8691 269920 944407 | 1 303097 24 | 0.035 % | 1905.03/1905.02 c | 6895216 | 8691 269920 944407 | 1 303198 24 | 0.035 % | 1905.03/1905.02 c | 6895316 | 8691 269920 944407 | 1 303298 24 | 0.035 % | 1905.03/1905.02 c | 6895416 | 8691 269920 944407 | 1 303398 24 | 0.035 % | 1905.03/1905.02 c | 6896390 | 8691 269920 944407 | 1 304372 25 | 0.035 % | 1905.03/1905.02 c | 6898170 | 8691 269920 944407 | 1 306152 25 | 0.035 % | 1905.03/1905.02 c | 6898277 | 8691 269920 944407 | 1 306259 25 | 0.035 % | 1905.03/1905.02 c | 6898898 | 8691 269920 944407 | 1 306880 25 | 0.035 % | 1905.03/1905.02 c | 6915588 | 8691 269920 944407 | 1 323570 25 | 0.035 % | 1905.03/1905.02 c | 6916320 | 8691 269920 944407 | 1 324302 25 | 0.035 % | 1905.03/1905.02 c | 6916422 | 8691 269920 944407 | 1 324404 25 | 0.035 % | 1905.03/1905.02 c | 6917816 | 8691 269920 944407 | 1 325798 25 | 0.035 % | 1905.03/1905.02 c | 6918821 | 8691 269920 944407 | 1 326803 25 | 0.035 % | 1905.03/1905.02 c | 6931252 | 8691 269920 944407 | 1 339234 25 | 0.035 % | 1905.03/1905.02 c | 6931610 | 8691 269920 944407 | 1 339592 25 | 0.035 % | 1905.03/1905.02 c | 6931710 | 8691 269920 944407 | 1 339692 25 | 0.035 % | 1905.03/1905.02 c | 6931810 | 8691 269920 944407 | 1 339792 25 | 0.035 % | 1905.03/1905.02 c | 6932845 | 8691 269920 944407 | 1 340827 25 | 0.035 % | 1905.03/1905.02 c | 6941751 | 8691 269920 944407 | 1 178947 20 | 0.035 % | 1905.03/1905.02 c | 6943230 | 8691 269920 944407 | 1 180426 20 | 0.035 % | 1905.03/1905.02 c | 6979006 | 8691 269920 944407 | 1 216202 21 | 0.035 % | 1905.03/1905.02 c | 6989592 | 8691 269920 944407 | 1 226788 22 | 0.035 % | 1905.03/1905.02 c | 6989853 | 8691 269920 944407 | 1 227049 22 | 0.035 % | 1984.23/1984.21 c | 6990625 | 8691 269920 944407 | 1 227821 22 | 0.035 % | 1984.23/1984.21 c | 7005387 | 8691 269920 944407 | 1 242583 22 | 0.035 % | 1984.23/1984.21 c | 7005488 | 8691 269920 944407 | 1 242684 22 | 0.035 % | 1984.23/1984.21 c | 7008184 | 8691 269920 944407 | 1 245380 23 | 0.035 % | 1984.23/1984.21 c | 7008284 | 8691 269920 944407 | 1 245480 23 | 0.035 % | 1984.23/1984.21 c | 7032976 | 8691 269920 944407 | 1 270172 23 | 0.035 % | 1984.23/1984.21 c | 7033076 | 8691 269920 944407 | 1 270272 23 | 0.035 % | 1984.23/1984.21 c | 7035592 | 8691 269920 944407 | 1 272788 23 | 0.035 % | 1984.23/1984.21 c | 7036012 | 8691 269920 944407 | 1 273208 23 | 0.035 % | 1984.23/1984.21 c | 7037485 | 8691 269920 944407 | 1 274681 23 | 0.035 % | 1984.23/1984.21 c | 7037585 | 8691 269920 944407 | 1 274781 23 | 0.035 % | 1984.23/1984.21 c | 7045401 | 8691 269920 944407 | 1 282597 24 | 0.035 % | 1984.23/1984.21 c | 7046044 | 8691 269920 944407 | 1 283240 24 | 0.035 % | 1984.23/1984.21 c | 7050717 | 8691 269920 944407 | 1 287913 24 | 0.035 % | 1984.23/1984.21 c | 7052374 | 8691 269920 944407 | 1 289570 24 | 0.035 % | 1984.23/1984.21 c | 7054178 | 8691 269920 944407 | 1 291374 24 | 0.035 % | 1984.23/1984.21 c | 7054870 | 8691 269920 944407 | 1 292066 24 | 0.035 % | 1984.23/1984.21 c | 7054971 | 8691 269920 944407 | 1 292167 24 | 0.035 % | 1984.23/1984.21 c | 7061123 | 8691 269920 944407 | 1 298319 24 | 0.035 % | 1984.23/1984.21 c | 7090624 | 8691 269920 944407 | 1 327820 25 | 0.035 % | 1984.23/1984.21 c | 7091092 | 8691 269920 944407 | 1 328288 25 | 0.035 % | 1984.23/1984.21 c | 7091304 | 8691 269920 944407 | 1 328500 25 | 0.035 % | 1984.23/1984.21 c | 7105778 | 8691 269920 944407 | 1 342974 25 | 0.035 % | 1984.23/1984.21 c | 7107516 | 8691 269920 944407 | 1 344712 25 | 0.035 % | 1984.23/1984.21 c | 7107757 | 8691 269920 944407 | 1 344953 25 | 0.035 % | 1984.23/1984.21 c | 7112939 | 8691 269920 944407 | 1 350135 25 | 0.035 % | 1984.23/1984.21 c | 7115315 | 8691 269920 944407 | 1 352511 25 | 0.035 % | 1984.23/1984.21 c | 7117947 | 8691 269920 944407 | 1 355143 25 | 0.035 % | 1984.23/1984.21 c | 7119130 | 8691 269920 944407 | 1 356326 25 | 0.035 % | 1984.23/1984.21 c | 7119496 | 8691 269920 944407 | 1 356692 25 | 0.035 % | 1984.23/1984.21 c | 7120894 | 8691 269920 944407 | 1 358090 25 | 0.035 % | 1984.23/1984.21 c | 7126724 | 8691 269920 944407 | 1 182932 19 | 0.035 % | 1984.23/1984.21 c | 7147525 | 8691 269920 944407 | 1 203733 20 | 0.035 % | 1984.23/1984.21 c | 7147929 | 8691 269920 944407 | 1 204137 20 | 0.035 % | 1984.23/1984.21 c | 7153204 | 8691 269920 944407 | 1 209412 20 | 0.035 % | 1984.23/1984.21 c | 7153304 | 8691 269920 944407 | 1 209512 20 | 0.035 % | 1984.23/1984.21 c | 7186221 | 8691 269920 944407 | 1 242429 22 | 0.035 % | 1984.23/1984.21 c | 7187914 | 8691 269920 944407 | 1 244122 22 | 0.035 % | 1984.23/1984.21 c | 7188023 | 8691 269920 944407 | 1 244231 22 | 0.035 % | 1984.23/1984.21 c | 7188635 | 8691 269920 944407 | 1 244843 22 | 0.035 % | 1984.23/1984.21 c | 7189620 | 8691 269920 944407 | 1 245828 22 | 0.035 % | 1984.23/1984.21 c | 7189722 | 8691 269920 944407 | 1 245930 22 | 0.035 % | 1984.23/1984.21 c | 7189822 | 8691 269920 944407 | 1 246030 22 | 0.035 % | 1984.23/1984.21 c | 7190056 | 8691 269920 944407 | 1 246264 22 | 0.035 % | 1984.23/1984.21 c | 7190157 | 8691 269920 944407 | 1 246365 22 | 0.035 % | 1984.23/1984.21 c | 7190257 | 8691 269920 944407 | 1 246465 22 | 0.035 % | 1984.23/1984.21 c | 7196177 | 8691 269920 944407 | 1 252385 22 | 0.035 % | 1984.23/1984.21 c | 7196323 | 8691 269920 944407 | 1 252531 22 | 0.035 % | 1984.23/1984.21 c | 7199169 | 8691 269920 944407 | 1 255377 22 | 0.035 % | 1984.23/1984.21 c | 7199269 | 8691 269920 944407 | 1 255477 22 | 0.035 % | 2061.63/2061.64 c | 7200279 | 8691 269920 944407 | 1 256487 22 | 0.035 % | 2061.63/2061.64 c | 7225899 | 8691 269920 944407 | 1 282107 23 | 0.035 % | 2061.63/2061.64 c | 7235549 | 8691 269920 944407 | 1 291757 23 | 0.035 % | 2061.63/2061.64 c | 7235649 | 8691 269920 944407 | 1 291857 23 | 0.035 % | 2061.63/2061.64 c | 7235749 | 8691 269920 944407 | 1 291957 23 | 0.035 % | 2061.63/2061.64 c | 7239738 | 8691 269920 944407 | 1 295946 23 | 0.035 % | 2061.63/2061.64 c | 7242666 | 8691 269920 944407 | 1 298874 23 | 0.035 % | 2061.63/2061.64 c | 7242766 | 8691 269920 944407 | 1 298974 23 | 0.035 % | 2061.63/2061.64 c | 7242970 | 8691 269920 944407 | 1 299178 23 | 0.035 % | 2061.63/2061.64 c | 7243227 | 8691 269920 944407 | 1 299435 23 | 0.035 % | 2061.63/2061.64 c | 7243474 | 8691 269920 944407 | 1 299682 23 | 0.035 % | 2061.63/2061.64 c | 7243575 | 8691 269920 944407 | 1 299783 23 | 0.035 % | 2061.63/2061.64 c | 7245243 | 8691 269920 944407 | 1 301451 23 | 0.035 % | 2061.63/2061.64 c | 7246978 | 8691 269920 944407 | 1 303186 23 | 0.035 % | 2061.63/2061.64 c | 7248788 | 8691 269920 944407 | 1 304996 23 | 0.035 % | 2061.63/2061.64 c | 7249045 | 8691 269920 944407 | 1 305253 23 | 0.035 % | 2061.63/2061.64 c | 7253434 | 8691 269920 944407 | 1 309642 23 | 0.035 % | 2061.63/2061.64 c | 7253623 | 8691 269920 944407 | 1 309831 23 | 0.035 % | 2061.63/2061.64 c | 7253724 | 8691 269920 944407 | 1 309932 23 | 0.035 % | 2061.63/2061.64 c | 7253824 | 8691 269920 944407 | 1 310032 23 | 0.035 % | 2061.63/2061.64 c | 7253958 | 8691 269920 944407 | 1 310166 23 | 0.035 % | 2061.63/2061.64 c | 7261469 | 8691 269920 944407 | 1 317677 23 | 0.035 % | 2061.63/2061.64 c | 7262092 | 8691 269920 944407 | 1 318300 23 | 0.035 % | 2061.63/2061.64 c | 7266754 | 8691 269920 944407 | 1 322962 24 | 0.035 % | 2061.63/2061.64 c | 7271333 | 8691 269920 944407 | 1 327541 24 | 0.035 % | 2061.63/2061.64 c | 7274479 | 8691 269920 944407 | 1 330687 24 | 0.035 % | 2061.63/2061.64 c | 7274580 | 8691 269920 944407 | 1 330788 24 | 0.035 % | 2061.63/2061.64 c | 7274949 | 8691 269920 944407 | 1 331157 24 | 0.035 % | 2061.63/2061.64 c | 7288254 | 8691 269920 944407 | 1 344462 24 | 0.035 % | 2061.63/2061.64 c | 7294121 | 8691 269920 944407 | 1 350329 24 | 0.035 % | 2061.63/2061.64 c | 7298825 | 8691 269920 944407 | 1 355033 24 | 0.035 % | 2061.63/2061.64 c | 7302715 | 8691 269920 944407 | 1 358923 24 | 0.035 % | 2061.63/2061.64 c | 7327581 | 8691 269920 944407 | 1 196396 19 | 0.035 % | 2061.63/2061.64 c | 7335370 | 8691 269920 944407 | 1 204185 19 | 0.035 % | 2061.63/2061.64 c | 7340288 | 8691 269920 944407 | 1 209103 20 | 0.035 % | 2061.63/2061.64 c | 7343225 | 8691 269920 944407 | 1 212040 20 | 0.035 % | 2061.63/2061.64 c | 7344929 | 8691 269920 944407 | 1 213744 20 | 0.035 % | 2061.63/2061.64 c | 7345029 | 8691 269920 944407 | 1 213844 20 | 0.035 % | 2061.63/2061.64 c | 7350639 | 8691 269920 944407 | 1 219454 20 | 0.035 % | 2061.63/2061.64 c | 7350739 | 8691 269920 944407 | 1 219554 20 | 0.035 % | 2061.63/2061.64 c | 7350839 | 8691 269920 944407 | 1 219654 20 | 0.035 % | 2061.63/2061.64 c | 7351639 | 8691 269920 944407 | 1 220454 20 | 0.035 % | 2061.63/2061.64 c | 7354053 | 8691 269920 944407 | 1 222868 20 | 0.035 % | 2061.63/2061.64 c | 7358236 | 8691 269920 944407 | 1 227051 21 | 0.035 % | 2061.63/2061.64 c | 7364393 | 8691 269920 944407 | 1 233208 21 | 0.035 % | 2061.63/2061.64 c | 7369169 | 8691 269920 944407 | 1 237984 21 | 0.035 % | 2061.63/2061.64 c | 7371081 | 8691 269920 944407 | 1 239896 21 | 0.035 % | 2061.63/2061.64 c | 7390215 | 8691 269920 944407 | 1 259030 21 | 0.035 % | 2061.63/2061.64 c | 7390333 | 8691 269920 944407 | 1 259148 21 | 0.035 % | 2061.63/2061.64 c | 7393287 | 8691 269920 944407 | 1 262102 22 | 0.035 % | 2102.83/2102.82 c | 7399510 | 8691 269920 944407 | 1 268325 22 | 0.035 % | 2102.83/2102.82 c | 7400302 | 8691 269920 944407 | 1 269117 22 | 0.035 % | 2102.83/2102.82 c | 7405639 | 8691 269920 944407 | 1 274454 22 | 0.035 % | 2102.83/2102.82 c | 7405776 | 8691 269920 944407 | 1 274591 22 | 0.035 % | 2102.83/2102.82 c | 7405877 | 8691 269920 944407 | 1 274692 22 | 0.035 % | 2102.83/2102.82 c | 7406558 | 8691 269920 944407 | 1 275373 22 | 0.035 % | 2102.83/2102.82 c | 7408081 | 8691 269920 944407 | 1 276896 22 | 0.035 % | 2102.83/2102.82 c | 7415236 | 8691 269920 944407 | 1 284051 22 | 0.035 % | 2102.83/2102.82 c | 7416583 | 8691 269920 944407 | 1 285398 22 | 0.035 % | 2102.83/2102.82 c | 7428248 | 8691 269920 944407 | 1 297063 22 | 0.035 % | 2102.83/2102.82 c | 7445009 | 8691 269920 944407 | 1 313824 23 | 0.035 % | 2102.83/2102.82 c | 7448160 | 8691 269920 944407 | 1 316975 23 | 0.035 % | 2102.83/2102.82 c | 7448262 | 8691 269920 944407 | 1 317077 23 | 0.035 % | 2102.83/2102.82 c | 7448362 | 8691 269920 944407 | 1 317177 23 | 0.035 % | 2102.83/2102.82 c | 7448462 | 8691 269920 944407 | 1 317277 23 | 0.035 % | 2102.83/2102.82 c | 7448563 | 8691 269920 944407 | 1 317378 23 | 0.035 % | 2102.83/2102.82 c | 7448665 | 8691 269920 944407 | 1 317480 23 | 0.035 % | 2102.83/2102.82 c | 7453549 | 8691 269920 944407 | 1 322364 23 | 0.035 % | 2102.83/2102.82 c | 7453650 | 8691 269920 944407 | 1 322465 23 | 0.035 % | 2102.83/2102.82 c | 7456073 | 8691 269920 944407 | 1 324888 23 | 0.035 % | 2102.83/2102.82 c | 7456438 | 8691 269920 944407 | 1 325253 23 | 0.035 % | 2102.83/2102.82 c | 7456872 | 8691 269920 944407 | 1 325687 23 | 0.035 % | 2102.83/2102.82 c | 7456972 | 8691 269920 944407 | 1 325787 23 | 0.035 % | 2102.83/2102.82 c | 7457263 | 8691 269920 944407 | 1 326078 23 | 0.035 % | 2102.83/2102.82 c | 7457494 | 8691 269920 944407 | 1 326309 23 | 0.035 % | 2102.83/2102.82 c | 7457595 | 8691 269920 944407 | 1 326410 23 | 0.035 % | 2102.83/2102.82 c | 7458374 | 8691 269920 944407 | 1 327189 23 | 0.035 % | 2102.83/2102.82 c | 7478768 | 8691 269920 944407 | 1 347583 24 | 0.035 % | 2102.83/2102.82 c | 7482019 | 8691 269920 944407 | 1 350834 24 | 0.035 % | 2102.83/2102.82 c | 7482123 | 8691 269920 944407 | 1 350938 24 | 0.035 % | 2102.83/2102.82 c | 7482224 | 8691 269920 944407 | 1 351039 24 | 0.035 % | 2102.83/2102.82 c | 7483267 | 8691 269920 944407 | 1 352082 24 | 0.035 % | 2102.83/2102.82 c | 7484579 | 8691 269920 944407 | 1 353394 24 | 0.035 % | 2102.83/2102.82 c | 7484695 | 8691 269920 944407 | 1 353510 24 | 0.035 % | 2102.83/2102.82 c | 7486934 | 8691 269920 944407 | 1 355749 24 | 0.035 % | 2102.83/2102.82 c | 7487035 | 8691 269920 944407 | 1 355850 24 | 0.035 % | 2102.83/2102.82 c | 7489139 | 8691 269920 944407 | 1 357954 24 | 0.035 % | 2102.83/2102.82 c | 7489365 | 8691 269920 944407 | 1 358180 24 | 0.035 % | 2102.83/2102.82 c | 7489508 | 8691 269920 944407 | 1 358323 24 | 0.035 % | 2102.83/2102.82 c | 7489608 | 8691 269920 944407 | 1 358423 24 | 0.035 % | 2102.83/2102.82 c | 7489709 | 8691 269920 944407 | 1 358524 24 | 0.035 % | 2102.83/2102.82 c | 7490300 | 8691 269920 944407 | 1 359115 24 | 0.035 % | 2102.83/2102.82 c | 7493130 | 8691 269920 944407 | 1 361945 24 | 0.035 % | 2102.83/2102.82 c | 7493688 | 8691 269920 944407 | 1 362503 24 | 0.035 % | 2102.83/2102.82 c | 7493910 | 8691 269920 944407 | 1 362725 24 | 0.035 % | 2102.83/2102.82 c | 7494985 | 8691 269920 944407 | 1 363800 24 | 0.035 % | 2102.83/2102.82 c | 7495097 | 8691 269920 944407 | 1 363912 24 | 0.035 % | 2102.83/2102.82 c | 7495198 | 8691 269920 944407 | 1 364013 24 | 0.035 % | 2102.83/2102.82 c | 7495399 | 8691 269920 944407 | 1 364214 24 | 0.035 % | 2102.83/2102.82 c | 7495509 | 8691 269920 944407 | 1 364324 24 | 0.035 % | 2167.94/2167.97 c | 7495913 | 8691 269920 944407 | 1 364728 24 | 0.035 % | 2167.94/2167.97 c | 7496014 | 8691 269920 944407 | 1 364829 24 | 0.035 % | 2167.94/2167.97 c | 7496552 | 8691 269920 944407 | 1 365367 24 | 0.035 % | 2167.94/2167.97 c | 7496687 | 8691 269920 944407 | 1 365502 24 | 0.035 % | 2167.94/2167.97 c | 7496787 | 8691 269920 944407 | 1 365602 24 | 0.035 % | 2167.94/2167.97 c | 7498709 | 8691 269920 944407 | 1 367524 24 | 0.035 % | 2167.94/2167.97 c | 7499824 | 8691 269920 944407 | 1 368639 24 | 0.035 % | 2167.94/2167.97 c | 7499925 | 8691 269920 944407 | 1 368740 24 | 0.035 % | 2167.94/2167.97 c | 7500618 | 8691 269920 944407 | 1 369433 24 | 0.035 % | 2167.94/2167.97 c | 7500719 | 8691 269920 944407 | 1 369534 24 | 0.035 % | 2167.94/2167.97 c | 7500820 | 8691 269920 944407 | 1 369635 24 | 0.035 % | 2167.94/2167.97 c | 7500920 | 8691 269920 944407 | 1 369735 24 | 0.035 % | 2167.94/2167.97 c | 7533302 | 8691 269920 944407 | 1 210213 20 | 0.035 % | 2167.94/2167.97 c | 7546168 | 8690 269910 944327 | 1 206414 20 | 0.046 % | 2167.94/2167.97 c | 7563358 | 8690 269910 944327 | 1 223604 20 | 0.046 % | 2167.94/2167.97 c | 7585379 | 8690 269910 944327 | 1 245625 21 | 0.046 % | 2167.94/2167.97 c | 7592185 | 8690 269910 944327 | 1 252431 21 | 0.046 % | 2167.94/2167.97 c | 7593493 | 8690 269910 944327 | 1 253739 21 | 0.046 % | 2167.94/2167.97 c | 7593873 | 8690 269910 944327 | 1 254119 21 | 0.046 % | 2167.94/2167.97 c | 7594416 | 8690 269910 944327 | 1 254662 21 | 0.046 % | 2167.94/2167.97 c | 7595216 | 8690 269910 944327 | 1 255462 21 | 0.046 % | 2167.94/2167.97 c | 7604312 | 8690 269910 944327 | 1 264558 22 | 0.046 % | 2167.94/2167.97 c | 7609440 | 8690 269910 944327 | 1 269686 22 | 0.046 % | 2167.94/2167.97 c | 7617607 | 8690 269910 944327 | 1 277853 22 | 0.046 % | 2167.94/2167.97 c | 7618265 | 8690 269910 944327 | 1 278511 22 | 0.046 % | 2167.94/2167.97 c | 7619717 | 8690 269910 944327 | 1 279963 22 | 0.046 % | 2167.94/2167.97 c | 7619850 | 8690 269910 944327 | 1 280096 22 | 0.046 % | 2167.94/2167.97 c | 7620002 | 8690 269910 944327 | 1 280248 22 | 0.046 % | 2167.94/2167.97 c | 7620102 | 8690 269910 944327 | 1 280348 22 | 0.046 % | 2167.94/2167.97 c | 7620202 | 8690 269910 944327 | 1 280448 22 | 0.046 % | 2167.94/2167.97 c | 7620303 | 8690 269910 944327 | 1 280549 22 | 0.046 % | 2167.94/2167.97 c | 7623534 | 8690 269910 944327 | 1 283780 22 | 0.046 % | 2167.94/2167.97 c | 7624783 | 8690 269910 944327 | 1 285029 22 | 0.046 % | 2167.94/2167.97 c | 7632693 | 8690 269910 944327 | 1 292939 23 | 0.046 % | 2167.94/2167.97 c | 7633715 | 8690 269910 944327 | 1 293961 23 | 0.046 % | 2167.94/2167.97 c | 7634071 | 8690 269910 944327 | 1 294317 23 | 0.046 % | 2167.94/2167.97 c | 7638447 | 8690 269910 944327 | 1 298693 23 | 0.046 % | 2167.94/2167.97 c | 7642273 | 8690 269910 944327 | 1 302519 23 | 0.046 % | 2167.94/2167.97 c | 7645398 | 8690 269910 944327 | 1 305644 23 | 0.046 % | 2167.94/2167.97 c | 7645590 | 8690 269910 944327 | 1 305836 23 | 0.046 % | 2167.94/2167.97 c | 7646210 | 8690 269910 944327 | 1 306456 23 | 0.046 % | 2167.94/2167.97 c | 7646909 | 8690 269910 944327 | 1 307155 23 | 0.046 % | 2167.94/2167.97 c | 7647776 | 8690 269910 944327 | 1 308022 23 | 0.046 % | 2167.94/2167.97 c | 7648416 | 8690 269910 944327 | 1 308662 23 | 0.046 % | 2167.94/2167.97 c | 7649368 | 8690 269910 944327 | 1 309614 23 | 0.046 % | 2167.94/2167.97 c | 7649468 | 8690 269910 944327 | 1 309714 23 | 0.046 % | 2167.94/2167.97 c | 7650930 | 8690 269910 944327 | 1 311176 23 | 0.046 % | 2167.94/2167.97 c | 7654240 | 8690 269910 944327 | 1 314486 23 | 0.046 % | 2167.94/2167.97 c | 7655025 | 8690 269910 944327 | 1 315271 23 | 0.046 % | 2167.94/2167.97 c | 7655128 | 8690 269910 944327 | 1 315374 23 | 0.046 % | 2239.94/2239.95 c | 7655619 | 8690 269910 944327 | 1 315865 23 | 0.046 % | 2239.94/2239.95 c | 7656053 | 8690 269910 944327 | 1 316299 23 | 0.046 % | 2239.94/2239.95 c | 7656423 | 8690 269910 944327 | 1 316669 23 | 0.046 % | 2239.94/2239.95 c | 7656526 | 8690 269910 944327 | 1 316772 23 | 0.046 % | 2239.94/2239.95 c | 7679723 | 8689 269874 944039 | 1 299717 23 | 0.058 % | 2239.94/2239.95 c | 7679833 | 8689 269874 944039 | 1 299827 23 | 0.058 % | 2239.94/2239.95 c | 7679935 | 8689 269874 944039 | 1 299929 23 | 0.058 % | 2239.94/2239.95 c | 7680063 | 8689 269874 944039 | 1 300057 23 | 0.058 % | 2239.94/2239.95 c | 7680454 | 8689 269874 944039 | 1 300448 23 | 0.058 % | 2239.94/2239.95 c | 7680554 | 8689 269874 944039 | 1 300548 23 | 0.058 % | 2239.94/2239.95 c | 7681226 | 8689 269874 944039 | 1 301220 23 | 0.058 % | 2239.94/2239.95 c | 7704342 | 8688 269874 944039 | 1 324335 23 | 0.069 % | 2239.94/2239.95 c | 7705673 | 8688 269874 944039 | 1 325666 23 | 0.069 % | 2239.94/2239.95 c | 7705788 | 8688 269874 944039 | 1 325781 23 | 0.069 % | 2239.94/2239.95 c | 7706070 | 8688 269874 944039 | 1 326063 23 | 0.069 % | 2239.94/2239.95 c | 7706315 | 8688 269874 944039 | 1 326308 23 | 0.069 % | 2239.94/2239.95 c | 7707084 | 8688 269874 944039 | 1 327077 24 | 0.069 % | 2239.94/2239.95 c | 7718745 | 8688 269853 943871 | 1 160807 19 | 0.069 % | 2239.94/2239.95 c | 7718847 | 8688 269853 943871 | 1 160909 19 | 0.069 % | 2239.94/2239.95 c | 7722828 | 8688 269853 943871 | 1 164890 19 | 0.069 % | 2239.94/2239.95 c | 7737720 | 8688 269853 943871 | 1 179782 20 | 0.069 % | 2239.94/2239.95 c | 7738819 | 8688 269853 943871 | 1 180881 20 | 0.069 % | 2239.94/2239.95 c | 7744269 | 8688 269853 943871 | 1 186331 20 | 0.069 % | 2239.94/2239.95 c | 7759984 | 8688 269853 943871 | 1 202046 21 | 0.069 % | 2239.94/2239.95 c | 7768859 | 8688 269853 943871 | 1 210921 22 | 0.069 % | 2239.94/2239.95 c | 7769006 | 8688 269853 943871 | 1 211068 22 | 0.069 % | 2239.94/2239.95 c | 7769120 | 8688 269853 943871 | 1 211182 22 | 0.069 % | 2239.94/2239.95 c | 7769221 | 8688 269853 943871 | 1 211283 22 | 0.069 % | 2239.94/2239.95 c | 7770214 | 8688 269853 943871 | 1 212276 22 | 0.069 % | 2239.94/2239.95 c | 7771514 | 8688 269853 943871 | 1 213576 22 | 0.069 % | 2239.94/2239.95 c | 7774471 | 8688 269853 943871 | 1 216533 22 | 0.069 % | 2239.94/2239.95 c | 7774655 | 8688 269853 943871 | 1 216717 22 | 0.069 % | 2239.94/2239.95 c | 7779261 | 8688 269853 943871 | 1 221323 22 | 0.069 % | 2239.94/2239.95 c | 7791010 | 8688 269853 943871 | 1 233072 22 | 0.069 % | 2239.94/2239.95 c | 7795736 | 8688 269853 943871 | 1 237798 23 | 0.069 % | 2239.94/2239.95 c | 7797774 | 8688 269853 943871 | 1 239836 23 | 0.069 % | 2239.94/2239.95 c | 7803070 | 8688 269853 943871 | 1 245132 23 | 0.069 % | 2239.94/2239.95 c | 7803265 | 8688 269853 943871 | 1 245327 23 | 0.069 % | 2239.94/2239.95 c | 7803408 | 8688 269853 943871 | 1 245470 23 | 0.069 % | 2239.94/2239.95 c | 7803754 | 8688 269853 943871 | 1 245816 23 | 0.069 % | 2239.94/2239.95 c | 7806027 | 8688 269853 943871 | 1 248089 23 | 0.069 % | 2239.94/2239.95 c | 7806129 | 8688 269853 943871 | 1 248191 23 | 0.069 % | 2239.94/2239.95 c | 7807748 | 8688 269853 943871 | 1 249810 23 | 0.069 % | 2239.94/2239.95 c | 7812167 | 8688 269853 943871 | 1 254229 23 | 0.069 % | 2239.94/2239.95 c | 7826521 | 8688 269853 943871 | 1 268583 24 | 0.069 % | 2239.94/2239.95 c | 7830052 | 8688 269853 943871 | 1 272114 24 | 0.069 % | 2239.94/2239.95 c | 7830153 | 8688 269853 943871 | 1 272215 24 | 0.069 % | 2239.94/2239.95 c | 7830253 | 8688 269853 943871 | 1 272315 24 | 0.069 % | 2239.94/2239.95 c | 7834286 | 8688 269853 943871 | 1 276348 24 | 0.069 % | 2239.94/2239.95 c | 7834391 | 8688 269853 943871 | 1 276453 24 | 0.069 % | 2318.64/2318.68 c | 7845483 | 8688 269853 943871 | 1 287545 24 | 0.069 % | 2318.64/2318.68 c | 7846029 | 8688 269853 943871 | 1 288091 24 | 0.069 % | 2318.64/2318.68 c | 7846129 | 8688 269853 943871 | 1 288191 24 | 0.069 % | 2318.64/2318.68 c | 7857499 | 8688 269853 943871 | 1 299561 24 | 0.069 % | 2318.64/2318.68 c | 7861207 | 8688 269853 943871 | 1 303269 24 | 0.069 % | 2318.64/2318.68 c | 7864828 | 8688 269853 943871 | 1 306890 25 | 0.069 % | 2318.64/2318.68 c | 7869125 | 8688 269853 943871 | 1 311187 25 | 0.069 % | 2318.64/2318.68 c | 7869225 | 8688 269853 943871 | 1 311287 25 | 0.069 % | 2318.64/2318.68 c | 7883184 | 8688 269853 943871 | 1 325246 25 | 0.069 % | 2318.64/2318.68 c | 7883284 | 8688 269853 943871 | 1 325346 25 | 0.069 % | 2318.64/2318.68 c | 7885884 | 8688 269853 943871 | 1 327946 25 | 0.069 % | 2318.64/2318.68 c | 7901032 | 8687 269848 943831 | 1 334004 25 | 0.081 % | 2318.64/2318.68 c | 7901631 | 8687 269848 943831 | 1 334603 25 | 0.081 % | 2318.64/2318.68 c | 7901733 | 8687 269848 943831 | 1 334705 25 | 0.081 % | 2318.64/2318.68 c | 7901837 | 8687 269848 943831 | 1 334809 25 | 0.081 % | 2318.64/2318.68 c | 7901958 | 8687 269848 943831 | 1 334930 25 | 0.081 % | 2318.64/2318.68 c | 7902058 | 8687 269848 943831 | 1 335030 25 | 0.081 % | 2318.64/2318.68 c | 7902158 | 8687 269848 943831 | 1 335130 25 | 0.081 % | 2318.64/2318.68 c | 7904191 | 8687 269848 943831 | 1 337163 25 | 0.081 % | 2318.64/2318.68 c | 7904292 | 8687 269848 943831 | 1 337264 25 | 0.081 % | 2318.64/2318.68 c | 7907626 | 8687 269848 943831 | 1 340598 25 | 0.081 % | 2318.64/2318.68 c | 7907884 | 8687 269848 943831 | 1 340856 25 | 0.081 % | 2318.64/2318.68 c | 7913256 | 8687 269848 943831 | 1 346228 25 | 0.081 % | 2318.64/2318.68 c | 7921446 | 8687 269848 943831 | 1 180140 20 | 0.081 % | 2318.64/2318.68 c | 7924872 | 8687 269848 943831 | 1 183566 20 | 0.081 % | 2318.64/2318.68 c | 7933100 | 8687 269848 943831 | 1 191794 21 | 0.081 % | 2318.64/2318.68 c | 7933583 | 8687 269848 943831 | 1 192277 21 | 0.081 % | 2318.64/2318.68 c | 7934751 | 8687 269848 943831 | 1 193445 21 | 0.081 % | 2318.64/2318.68 c | 7934852 | 8687 269848 943831 | 1 193546 21 | 0.081 % | 2318.64/2318.68 c | 7934952 | 8687 269848 943831 | 1 193646 21 | 0.081 % | 2318.64/2318.68 c | 7948838 | 8687 269848 943831 | 1 207532 21 | 0.081 % | 2318.64/2318.68 c | 7957983 | 8687 269848 943831 | 1 216677 22 | 0.081 % | 2318.64/2318.68 c | 7959554 | 8687 269848 943831 | 1 218248 22 | 0.081 % | 2318.64/2318.68 c | 7959654 | 8687 269848 943831 | 1 218348 22 | 0.081 % | 2318.64/2318.68 c | 7962527 | 8687 269848 943831 | 1 221221 22 | 0.081 % | 2318.64/2318.68 c | 7974706 | 8686 269842 943783 | 1 214625 22 | 0.092 % | 2318.64/2318.68 c | 7975044 | 8686 269842 943783 | 1 214963 22 | 0.092 % | 2318.64/2318.68 c | 7975144 | 8686 269842 943783 | 1 215063 22 | 0.092 % | 2318.64/2318.68 c | 7975931 | 8686 269842 943783 | 1 215850 22 | 0.092 % | 2318.64/2318.68 c | 7982191 | 8685 269842 943783 | 1 222109 22 | 0.104 % | 2318.64/2318.68 c | 7982298 | 8685 269842 943783 | 1 222216 22 | 0.104 % | 2318.64/2318.68 c | 7982399 | 8685 269842 943783 | 1 222317 22 | 0.104 % | 2318.64/2318.68 c | 7982726 | 8685 269842 943783 | 1 222644 22 | 0.104 % | 2318.64/2318.68 c | 7982827 | 8685 269842 943783 | 1 222745 22 | 0.104 % | 2318.64/2318.68 c | 8012693 | 8050 269128 938011 | 1 139389 20 | 7.407 % | 2318.64/2318.68 c =============================================================================== 2318.64/2318.68 c restarts : 1233 2318.64/2318.68 c nb ReduceDB : 77 2318.64/2318.68 c nb removed Clauses : 7439561 2318.64/2318.68 c nb learnts DL2 : 1055 2318.64/2318.68 c nb learnts size 2 : 188 2318.64/2318.68 c nb learnts size 1 : 16 2318.64/2318.68 c conflicts : 8012693 (3458 /sec) 2318.64/2318.68 c decisions : 10482561 (0.00 % random) (4524 /sec) 2318.64/2318.68 c propagations : 2267413322 (978535 /sec) 2318.64/2318.68 c conflict literals : 237799704 (49.51 % deleted) 2318.64/2318.68 c nb reduced Clauses : 91068 2318.64/2318.68 c CPU time : 2317.15 s 2318.64/2318.68 2318.64/2318.69 s UNSATISFIABLE
No possible verification on an UNSAT instance
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-3304193-1303907421/watcher-3304193-1303907421 -o /tmp/evaluation-result-3304193-1303907421/solver-3304193-1303907421 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3304193-1303907421.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.96 3/178 11210 /proc/meminfo: memFree=13593980/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 502340137 8912896 252 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11210/statm: 2176 252 211 178 0 69 0 [startup+0.073552 s] /proc/loadavg: 2.00 2.00 1.96 3/178 11210 /proc/meminfo: memFree=13593980/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 502340137 8912896 252 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11210/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100548 s] /proc/loadavg: 2.00 2.00 1.96 3/178 11210 /proc/meminfo: memFree=13593980/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 502340137 8912896 252 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11210/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300516 s] /proc/loadavg: 2.00 2.00 1.96 3/178 11210 /proc/meminfo: memFree=13593980/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 502340137 8912896 252 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11210/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.70045 s] /proc/loadavg: 2.00 2.00 1.96 3/178 11210 /proc/meminfo: memFree=13593980/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 333 0 0 0 0 0 0 0 25 0 1 0 502340137 8912896 252 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/11210/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50029 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11213 /proc/meminfo: memFree=13569908/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=31652 CPUtime=0.65 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 4923 0 0 0 64 1 0 0 21 0 1 0 502340222 32411648 4521 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 7913 4521 240 17 0 4554 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 40356 [startup+3.101 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11213 /proc/meminfo: memFree=13567588/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=36628 CPUtime=2.25 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 5455 0 0 0 224 1 0 0 25 0 1 0 502340222 37507072 5040 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 9157 5040 240 17 0 5798 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 45332 [startup+6.30043 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11213 /proc/meminfo: memFree=13563496/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=37956 CPUtime=5.45 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 8565 0 0 0 544 1 0 0 25 0 1 0 502340222 38866944 5530 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 9489 5530 249 17 0 6130 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 46660 [startup+12.7003 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11213 /proc/meminfo: memFree=13618816/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=50572 CPUtime=11.85 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 14517 0 0 0 1183 2 0 0 25 0 1 0 502340222 51785728 8409 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 12643 8409 249 17 0 9284 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 59276 [startup+25.501 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11214 /proc/meminfo: memFree=13588528/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=69248 CPUtime=24.65 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 20208 0 0 0 2461 4 0 0 25 0 1 0 502340222 70909952 13591 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 17312 13591 249 17 0 13953 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 77952 [startup+51.1003 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11214 /proc/meminfo: memFree=13576752/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=69248 CPUtime=50.25 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 20209 0 0 0 5021 4 0 0 25 0 1 0 502340222 70909952 13592 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224307 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 17312 13592 249 17 0 13953 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 77952 [startup+102.307 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11216 /proc/meminfo: memFree=13556372/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=69248 CPUtime=101.46 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 20209 0 0 0 10142 4 0 0 25 0 1 0 502340222 70909952 13592 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 17312 13592 249 17 0 13953 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 77952 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11217 /proc/meminfo: memFree=13587488/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=118516 CPUtime=161.45 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 36171 0 0 0 16138 7 0 0 25 0 1 0 502340222 121360384 16582 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/11213/statm: 29629 16582 249 17 0 26270 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 127220 [startup+222.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11219 /proc/meminfo: memFree=13554364/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=118516 CPUtime=221.46 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 37148 0 0 0 22138 8 0 0 25 0 1 0 502340222 121360384 17543 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 29629 17543 249 17 0 26270 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 127220 [startup+282.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11221 /proc/meminfo: memFree=13524600/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=118516 CPUtime=281.46 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 38107 0 0 0 28138 8 0 0 25 0 1 0 502340222 121360384 18494 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 29629 18494 249 17 0 26270 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 127220 [startup+342.3 s] /proc/loadavg: 2.00 2.00 1.96 3/180 11222 /proc/meminfo: memFree=13560404/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=118516 CPUtime=341.45 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 38816 0 0 0 34137 8 0 0 25 0 1 0 502340222 121360384 19198 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/11213/statm: 29629 19198 249 17 0 26270 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 127220 [startup+402.301 s] /proc/loadavg: 2.04 2.01 1.97 3/180 11224 /proc/meminfo: memFree=13531624/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 ################ # More data... # ################ [startup+2022.3 s] /proc/loadavg: 1.64 1.92 1.95 2/173 11294 /proc/meminfo: memFree=13650052/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2021.5 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 344234 0 0 0 202088 62 0 0 25 0 1 0 502340222 184258560 39995 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 39995 249 17 0 41626 0 Current children cumulated CPU time (s) 2022.33 Current children cumulated vsize (KiB) 188644 [startup+2082.31 s] /proc/loadavg: 1.24 1.75 1.89 2/173 11299 /proc/meminfo: memFree=13655712/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2081.51 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 354567 0 0 0 208086 65 0 0 25 0 1 0 502340222 184258560 38755 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 38755 249 17 0 41626 0 Current children cumulated CPU time (s) 2082.34 Current children cumulated vsize (KiB) 188644 [startup+2142.3 s] /proc/loadavg: 1.08 1.61 1.83 2/173 11300 /proc/meminfo: memFree=13661884/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2141.51 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 364806 0 0 0 214083 68 0 0 25 0 1 0 502340222 184258560 37247 33554432000 4194304 4260849 140737371592496 18446744073709551615 4226051 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 37247 249 17 0 41626 0 Current children cumulated CPU time (s) 2142.34 Current children cumulated vsize (KiB) 188644 [startup+2202.3 s] /proc/loadavg: 1.03 1.50 1.77 2/173 11302 /proc/meminfo: memFree=13692868/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=130620 CPUtime=2201.5 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 368710 0 0 0 220080 70 0 0 25 0 1 0 502340222 133754880 29314 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 32655 29314 249 17 0 29296 0 Current children cumulated CPU time (s) 2202.33 Current children cumulated vsize (KiB) 139324 [startup+2262.3 s] /proc/loadavg: 1.01 1.40 1.72 2/173 11303 /proc/meminfo: memFree=13652148/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2261.5 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 379132 0 0 0 226078 72 0 0 25 0 1 0 502340222 184258560 39652 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224932 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 39652 249 17 0 41626 0 Current children cumulated CPU time (s) 2262.33 Current children cumulated vsize (KiB) 188644 Solver just ended. Dumping a history of the last processes samples [startup+2278.3 s] /proc/loadavg: 1.01 1.38 1.71 2/173 11304 /proc/meminfo: memFree=13648152/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2277.51 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 380082 0 0 0 227678 73 0 0 25 0 1 0 502340222 184258560 40567 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 40567 249 17 0 41626 0 Current children cumulated CPU time (s) 2278.34 Current children cumulated vsize (KiB) 188644 [startup+2303.9 s] /proc/loadavg: 1.00 1.35 1.69 2/173 11304 /proc/meminfo: memFree=13692648/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=130620 CPUtime=2303.11 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 380134 0 0 0 230237 74 0 0 25 0 1 0 502340222 133754880 29316 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225064 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 32655 29316 249 17 0 29296 0 Current children cumulated CPU time (s) 2303.94 Current children cumulated vsize (KiB) 139324 [startup+2310.3 s] /proc/loadavg: 1.00 1.34 1.68 2/173 11305 /proc/meminfo: memFree=13662392/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2309.51 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 387868 0 0 0 230876 75 0 0 25 0 1 0 502340222 184258560 37047 33554432000 4194304 4260849 140737371592496 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 37047 249 17 0 41626 0 Current children cumulated CPU time (s) 2310.34 Current children cumulated vsize (KiB) 188644 [startup+2313.5 s] /proc/loadavg: 1.00 1.34 1.68 2/173 11305 /proc/meminfo: memFree=13661276/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2312.71 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 388145 0 0 0 231196 75 0 0 25 0 1 0 502340222 184258560 37318 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224307 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 37318 249 17 0 41626 0 Current children cumulated CPU time (s) 2313.54 Current children cumulated vsize (KiB) 188644 [startup+2316.7 s] /proc/loadavg: 1.00 1.33 1.68 2/173 11305 /proc/meminfo: memFree=13660408/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=179940 CPUtime=2315.91 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 388375 0 0 0 231516 75 0 0 25 0 1 0 502340222 184258560 37537 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 44985 37537 249 17 0 41626 0 Current children cumulated CPU time (s) 2316.74 Current children cumulated vsize (KiB) 188644 [startup+2317.5 s] /proc/loadavg: 1.00 1.33 1.68 2/173 11305 /proc/meminfo: memFree=13660408/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=130620 CPUtime=2316.71 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 388412 0 0 0 231596 75 0 0 25 0 1 0 502340222 133754880 29316 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 32655 29316 249 17 0 29296 0 Current children cumulated CPU time (s) 2317.54 Current children cumulated vsize (KiB) 139324 [startup+2318.3 s] /proc/loadavg: 1.00 1.33 1.68 2/173 11305 /proc/meminfo: memFree=13692772/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=130620 CPUtime=2317.51 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 388412 0 0 0 231676 75 0 0 25 0 1 0 502340222 133754880 29316 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 32655 29316 249 17 0 29296 0 Current children cumulated CPU time (s) 2318.34 Current children cumulated vsize (KiB) 139324 [startup+2318.5 s] /proc/loadavg: 1.00 1.33 1.68 2/173 11305 /proc/meminfo: memFree=13692772/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=130620 CPUtime=2317.71 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 388412 0 0 0 231696 75 0 0 25 0 1 0 502340222 133754880 29316 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 32655 29316 249 17 0 29296 0 Current children cumulated CPU time (s) 2318.54 Current children cumulated vsize (KiB) 139324 [startup+2318.6 s] /proc/loadavg: 1.00 1.33 1.68 2/173 11305 /proc/meminfo: memFree=13692772/32951124 swapFree=67111528/67111528 [pid=11210] ppid=11208 vsize=8704 CPUtime=0.83 cores=1,3,5,7 /proc/11210/stat : 11210 (glucose.sh) S 11208 11210 10749 0 -1 4202496 359 6529 0 0 0 0 82 1 18 0 1 0 502340137 8912896 254 33554432000 4194304 4922060 140734276528832 18446744073709551615 228122532997 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/11210/statm: 2176 254 211 178 0 69 0 [pid=11213] ppid=11210 vsize=130620 CPUtime=2317.81 cores=1,3,5,7 /proc/11213/stat : 11213 (glucose_static) R 11210 11210 10749 0 -1 4202496 388412 0 0 0 231706 75 0 0 25 0 1 0 502340222 133754880 29316 33554432000 4194304 4260849 140737371592496 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/11213/statm: 32655 29316 249 17 0 29296 0 Current children cumulated CPU time (s) 2318.64 Current children cumulated vsize (KiB) 139324 Child status: 20 Real time (s): 2318.7 CPU time (s): 2318.75 CPU user time (s): 2317.97 CPU system time (s): 0.775882 CPU usage (%): 100.002 Max. virtual memory (cumulated for all children) (KiB): 188644 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2317.97 system time used= 0.775882 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 395516 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= 42 involuntary context switches= 10044 runsolver used 3.60245 second user time and 8.95264 second system time The end
Begin job on node138 at 2011-04-27 14:30:22 IDJOB=3304193 IDBENCH=88062 IDSOLVER=1687 FILE ID=node138/3304193-1303907421 RUNJOBID= node138-1303899330-10768 PBS_JOBID= 13164510 Free space on /tmp= 71800 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT02/industrial/nam/fpga-routing/k2fix_gr_rcs_w8.shuffled.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3304193-1303907421/watcher-3304193-1303907421 -o /tmp/evaluation-result-3304193-1303907421/solver-3304193-1303907421 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3304193-1303907421.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 82e833e539576c6d79252b19dcace0cf RANDOM SEED=1588426408 node138.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.854 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.70 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.854 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.854 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.82 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.854 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.75 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.854 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.80 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.854 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.75 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.854 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.82 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.854 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13594252 kB Buffers: 2087704 kB Cached: 16428336 kB SwapCached: 0 kB Active: 10909764 kB Inactive: 7881292 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13594252 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 4728 kB Writeback: 0 kB AnonPages: 274468 kB Mapped: 15164 kB Slab: 503324 kB PageTables: 5208 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 444884 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= 71812 MiB End job on node138 at 2011-04-27 15:09:00