| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 5000.04 | 4999.91 |
| Name | CRAFTED/rbsat/random/ forced/rbsat-v2100c215164gyes2.cnf |
| MD5SUM | 5301921bbf5d6337937a0fa8d34aaf48 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 775.246 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 2100 |
| Number of clauses | 215164 |
| Sum of the clauses size | 432288 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 215094 |
| 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 | 70 |
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.06 c ============================================================================== 0.00/0.06 c | | ORIGINAL | LEARNT | | 0.00/0.06 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.06 c ============================================================================== 0.00/0.06 c | 0 | 215164 432288 | 64549 0 0 nan | 0.000 % | 0.00/0.69 c | 0 | 212446 711172 | -- 0 -- -- | -- | -2718/278884 0.00/0.69 c ============================================================================== 0.00/0.69 c Result : #vars: 2030 #clauses: 212446 #literals: 711172 0.00/0.69 c CPU time: 0.680896 s 0.00/0.69 c ============================================================================== 0.00/0.80 c 0.00/0.80 c Starting glucose 0.00/0.80 c 107.18/107.25 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 107.18/107.25 c WARNING: for repeatability, setting FPU to use double precision 107.18/107.25 c ============================[ Problem Statistics ]============================= 107.18/107.25 c | | 107.18/107.25 c | Number of variables: 2030 | 107.18/107.25 c | Number of clauses: 212446 | 107.18/107.25 c | Parse time: 0.04 s | 107.18/107.25 c | | 107.18/107.25 c ============================[ Search Statistics ]============================== 107.18/107.25 c | Conflicts | ORIGINAL | LEARNT | Progress | 107.18/107.25 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 107.18/107.25 c =============================================================================== 107.18/107.25 c | 1018 | 2030 212446 711172 | 1 1018 152 | 0.000 % | 107.18/107.25 c | 1288 | 2030 212446 711172 | 1 1288 152 | 0.000 % | 107.18/107.25 c | 1459 | 2030 212446 711172 | 1 1459 148 | 0.000 % | 107.18/107.25 c | 8991 | 2030 212446 711172 | 1 6996 96 | 0.000 % | 107.18/107.25 c | 87028 | 2030 212446 711172 | 1 21455 59 | 0.000 % | 107.18/107.25 c | 177246 | 2030 212446 711172 | 1 45065 58 | 0.000 % | 107.18/107.25 c | 184564 | 2030 212446 711172 | 1 52383 61 | 0.000 % | 107.18/107.25 c | 190646 | 2030 212446 711172 | 1 31062 50 | 0.000 % | 107.18/107.25 c | 229703 | 2030 212446 711172 | 1 40122 50 | 0.000 % | 107.18/107.25 c | 248575 | 2030 212446 711172 | 1 58994 61 | 0.000 % | 107.18/107.25 c | 271324 | 2030 212446 711172 | 1 49138 56 | 0.000 % | 107.18/107.25 c | 274170 | 2030 212446 711172 | 1 51984 58 | 0.000 % | 107.18/107.25 c | 281353 | 2030 212446 711172 | 1 59167 61 | 0.000 % | 107.18/107.25 c | 320316 | 2030 212446 711172 | 1 62933 61 | 0.000 % | 107.18/107.25 c | 399785 | 2030 212446 711172 | 1 64213 57 | 0.000 % | 107.18/107.25 c | 399886 | 2030 212446 711172 | 1 64314 57 | 0.000 % | 107.18/107.25 c | 401795 | 2030 212446 711172 | 1 66223 58 | 0.000 % | 107.18/107.25 c | 411110 | 2030 212446 711172 | 1 75538 59 | 0.000 % | 107.18/107.25 c | 413370 | 2030 212446 711172 | 1 77798 60 | 0.000 % | 107.18/107.25 c | 432023 | 2030 212446 711172 | 1 53454 48 | 0.000 % | 107.18/107.25 c | 447535 | 2030 212446 711172 | 1 68966 54 | 0.000 % | 107.18/107.25 c | 478109 | 2030 212446 711172 | 1 53947 47 | 0.000 % | 107.18/107.25 c | 478439 | 2030 212446 711172 | 1 54277 47 | 0.000 % | 107.18/107.25 c | 479523 | 2030 212446 711172 | 1 55361 48 | 0.000 % | 107.18/107.25 c | 480746 | 2030 212446 711172 | 1 56584 49 | 0.000 % | 107.18/107.25 c | 494145 | 2030 212446 711172 | 1 69983 57 | 0.000 % | 107.18/107.25 c | 509034 | 2030 212446 711172 | 1 84872 61 | 0.000 % | 107.18/107.25 c | 562317 | 2030 212446 711172 | 1 89953 57 | 0.000 % | 107.18/107.25 c | 603633 | 2030 212446 711172 | 1 80465 52 | 0.000 % | 107.18/107.25 c | 603854 | 2030 212446 711172 | 1 80686 52 | 0.000 % | 107.18/107.25 c | 610672 | 2030 212446 711172 | 1 87504 55 | 0.000 % | 107.18/107.25 c | 610988 | 2030 212446 711172 | 1 87820 55 | 0.000 % | 107.18/107.25 c | 624605 | 2030 212446 711172 | 1 101437 60 | 0.000 % | 107.18/107.25 c | 634953 | 2030 212446 711172 | 1 58385 44 | 0.000 % | 107.18/107.25 c | 635535 | 2030 212446 711172 | 1 58967 45 | 0.000 % | 107.18/107.25 c | 637325 | 2030 212446 711172 | 1 60757 46 | 0.000 % | 107.18/107.25 c | 641758 | 2030 212446 711172 | 1 65190 50 | 0.000 % | 107.18/107.25 c | 670929 | 2030 212446 711172 | 1 94361 57 | 0.000 % | 107.18/107.25 c | 702922 | 2030 212446 711172 | 1 70355 49 | 0.000 % | 247.58/247.69 c | 720389 | 2030 212446 711172 | 1 87822 55 | 0.000 % | 247.58/247.69 c | 720492 | 2030 212446 711172 | 1 87925 55 | 0.000 % | 247.58/247.69 c | 728428 | 2030 212446 711172 | 1 95861 57 | 0.000 % | 247.58/247.69 c | 732222 | 2030 212446 711172 | 1 99655 58 | 0.000 % | 247.58/247.69 c | 732534 | 2030 212446 711172 | 1 99967 58 | 0.000 % | 247.58/247.69 c | 773770 | 2030 212446 711172 | 1 82602 56 | 0.000 % | 247.58/247.69 c | 789682 | 2030 212446 711172 | 1 98514 59 | 0.000 % | 247.58/247.69 c | 790256 | 2030 212446 711172 | 1 99088 60 | 0.000 % | 247.58/247.69 c | 793737 | 2030 212446 711172 | 1 102569 61 | 0.000 % | 247.58/247.69 c | 813115 | 2030 212446 711172 | 1 121947 64 | 0.000 % | 247.58/247.69 c | 813430 | 2030 212446 711172 | 1 122262 64 | 0.000 % | 247.58/247.69 c | 828904 | 2030 212446 711172 | 1 76523 49 | 0.000 % | 247.58/247.69 c | 859638 | 2030 212446 711172 | 1 107257 56 | 0.000 % | 247.58/247.69 c | 880246 | 2030 212446 711172 | 1 64075 40 | 0.000 % | 247.58/247.69 c | 880346 | 2030 212446 711172 | 1 64175 40 | 0.000 % | 247.58/247.69 c | 910624 | 2030 212446 711172 | 1 94453 53 | 0.000 % | 247.58/247.69 c | 919030 | 2030 212446 711172 | 1 102859 56 | 0.000 % | 247.58/247.69 c | 922934 | 2030 212446 711172 | 1 106763 57 | 0.000 % | 247.58/247.69 c | 959549 | 2030 212446 711172 | 1 76976 45 | 0.000 % | 247.58/247.69 c | 960950 | 2030 212446 711172 | 1 78377 47 | 0.000 % | 247.58/247.69 c | 980431 | 2030 212446 711172 | 1 97858 57 | 0.000 % | 247.58/247.69 c | 983904 | 2030 212446 711172 | 1 101331 58 | 0.000 % | 247.58/247.69 c | 1000322 | 2030 212446 711172 | 1 117749 62 | 0.000 % | 247.58/247.69 c | 1000905 | 2030 212446 711172 | 1 118332 62 | 0.000 % | 247.58/247.69 c | 1007962 | 2030 212446 711172 | 1 125389 63 | 0.000 % | 247.58/247.69 c | 1041477 | 2030 212446 711172 | 1 89911 50 | 0.000 % | 247.58/247.69 c | 1042929 | 2030 212446 711172 | 1 91363 51 | 0.000 % | 247.58/247.69 c | 1056019 | 2030 212446 711172 | 1 104453 56 | 0.000 % | 247.58/247.69 c | 1102418 | 2030 212446 711172 | 1 79258 45 | 0.000 % | 247.58/247.69 c | 1103149 | 2030 212446 711172 | 1 79989 45 | 0.000 % | 247.58/247.69 c | 1145065 | 2030 212446 711172 | 1 121905 64 | 0.000 % | 247.58/247.69 c | 1151773 | 2030 212446 711172 | 1 128613 66 | 0.000 % | 247.58/247.69 c | 1151873 | 2030 212446 711172 | 1 128713 66 | 0.000 % | 247.58/247.69 c | 1152973 | 2030 212446 711172 | 1 129813 66 | 0.000 % | 247.58/247.69 c | 1160842 | 2030 212446 711172 | 1 137682 67 | 0.000 % | 247.58/247.69 c | 1174259 | 2030 212446 711172 | 1 76893 44 | 0.000 % | 247.58/247.69 c | 1222076 | 2030 212446 711172 | 1 124710 55 | 0.000 % | 247.58/247.69 c | 1250374 | 2030 212446 711172 | 1 153008 60 | 0.000 % | 247.58/247.69 c | 1265185 | 2030 212446 711172 | 1 91006 47 | 0.000 % | 247.58/247.69 c | 1283098 | 2030 212446 711172 | 1 108919 52 | 0.000 % | 247.58/247.69 c | 1289548 | 2030 212446 711172 | 1 115369 54 | 0.000 % | 247.58/247.69 c | 1307976 | 2030 212446 711172 | 1 133797 58 | 0.000 % | 247.58/247.69 c | 1313686 | 2030 212446 711172 | 1 139507 59 | 0.000 % | 247.58/247.69 c | 1366279 | 2030 212446 711172 | 1 112708 49 | 0.000 % | 247.58/247.69 c | 1422613 | 2030 212446 711172 | 1 87036 42 | 0.000 % | 247.58/247.69 c | 1422714 | 2030 212446 711172 | 1 87137 43 | 0.000 % | 247.58/247.69 c | 1428476 | 2030 212446 711172 | 1 92899 45 | 0.000 % | 247.58/247.69 c | 1428576 | 2030 212446 711172 | 1 92999 46 | 0.000 % | 247.58/247.69 c | 1431221 | 2030 212446 711172 | 1 95644 47 | 0.000 % | 247.58/247.69 c | 1431321 | 2030 212446 711172 | 1 95744 47 | 0.000 % | 386.49/386.51 c | 1431437 | 2030 212446 711172 | 1 95860 47 | 0.000 % | 386.49/386.51 c | 1461000 | 2030 212446 711172 | 1 125423 55 | 0.000 % | 386.49/386.51 c | 1473855 | 2030 212446 711172 | 1 138278 57 | 0.000 % | 386.49/386.51 c | 1476923 | 2030 212446 711172 | 1 141346 58 | 0.000 % | 386.49/386.51 c | 1482464 | 2030 212446 711172 | 1 146887 58 | 0.000 % | 386.49/386.51 c | 1483890 | 2030 212446 711172 | 1 148313 58 | 0.000 % | 386.49/386.51 c | 1498020 | 2030 212446 711172 | 1 162443 60 | 0.000 % | 386.49/386.51 c | 1500814 | 2030 212446 711172 | 1 165237 61 | 0.000 % | 386.49/386.51 c | 1512190 | 2030 212446 711172 | 1 92011 42 | 0.000 % | 386.49/386.51 c | 1517836 | 2030 212446 711172 | 1 97657 45 | 0.000 % | 386.49/386.51 c | 1519028 | 2030 212446 711172 | 1 98849 45 | 0.000 % | 386.49/386.51 c | 1546835 | 2030 212446 711172 | 1 126656 53 | 0.000 % | 386.49/386.51 c | 1551103 | 2030 212446 711172 | 1 130924 54 | 0.000 % | 386.49/386.51 c | 1552985 | 2030 212446 711172 | 1 132806 54 | 0.000 % | 386.49/386.51 c | 1555198 | 2030 212446 711172 | 1 135019 55 | 0.000 % | 386.49/386.51 c | 1555316 | 2030 212446 711172 | 1 135137 55 | 0.000 % | 386.49/386.51 c | 1600638 | 2030 212446 711172 | 1 93262 41 | 0.000 % | 386.49/386.51 c | 1705888 | 2030 212446 711172 | 1 108712 49 | 0.000 % | 386.49/386.51 c | 1735115 | 2030 212446 711172 | 1 137939 57 | 0.000 % | 386.49/386.51 c | 1735215 | 2030 212446 711172 | 1 138039 57 | 0.000 % | 386.49/386.51 c | 1748654 | 2030 212446 711172 | 1 151478 59 | 0.000 % | 386.49/386.51 c | 1752727 | 2030 212446 711172 | 1 155551 60 | 0.000 % | 386.49/386.51 c | 1756507 | 2030 212446 711172 | 1 159331 60 | 0.000 % | 386.49/386.51 c | 1757936 | 2030 212446 711172 | 1 160760 61 | 0.000 % | 386.49/386.51 c | 1853331 | 2030 212446 711172 | 1 163756 58 | 0.000 % | 386.49/386.51 c | 1865242 | 2030 212446 711172 | 1 175667 60 | 0.000 % | 386.49/386.51 c | 1887553 | 2030 212446 711172 | 1 102985 42 | 0.000 % | 386.49/386.51 c | 1889718 | 2030 212446 711172 | 1 105150 43 | 0.000 % | 386.49/386.51 c | 1889881 | 2030 212446 711172 | 1 105313 43 | 0.000 % | 386.49/386.51 c | 1915261 | 2030 212446 711172 | 1 130693 50 | 0.000 % | 386.49/386.51 c | 1915386 | 2030 212446 711172 | 1 130818 50 | 0.000 % | 386.49/386.51 c | 1918032 | 2030 212446 711172 | 1 133464 51 | 0.000 % | 386.49/386.51 c | 1929304 | 2030 212446 711172 | 1 144736 53 | 0.000 % | 386.49/386.51 c | 1933571 | 2030 212446 711172 | 1 149003 54 | 0.000 % | 386.49/386.51 c | 1963536 | 2030 212446 711172 | 1 178968 61 | 0.000 % | 386.49/386.51 c | 1964076 | 2030 212446 711172 | 1 179508 61 | 0.000 % | 386.49/386.51 c | 1969843 | 2030 212446 711172 | 1 185275 62 | 0.000 % | 386.49/386.51 c | 1973658 | 2030 212446 711172 | 1 189090 62 | 0.000 % | 386.49/386.51 c | 1986246 | 2030 212446 711172 | 1 104074 43 | 0.000 % | 386.49/386.51 c | 2010154 | 2030 212446 711172 | 1 127982 52 | 0.000 % | 386.49/386.51 c | 2027521 | 2030 212446 711172 | 1 145349 55 | 0.000 % | 386.49/386.51 c | 2029411 | 2030 212446 711172 | 1 147239 56 | 0.000 % | 386.49/386.51 c | 2030027 | 2030 212446 711172 | 1 147855 56 | 0.000 % | 386.49/386.51 c | 2031931 | 2030 212446 711172 | 1 149759 57 | 0.000 % | 386.49/386.51 c | 2067789 | 2030 212446 711172 | 1 185617 62 | 0.000 % | 386.49/386.51 c | 2070695 | 2030 212446 711172 | 1 188523 62 | 0.000 % | 386.49/386.51 c | 2072037 | 2030 212446 711172 | 1 189865 62 | 0.000 % | 386.49/386.51 c | 2072137 | 2030 212446 711172 | 1 189965 62 | 0.000 % | 386.49/386.51 c | 2072273 | 2030 212446 711172 | 1 190101 62 | 0.000 % | 386.49/386.51 c | 2072373 | 2030 212446 711172 | 1 190201 62 | 0.000 % | 478.30/478.31 c | 2075531 | 2030 212446 711172 | 1 193359 63 | 0.000 % | 478.30/478.31 c | 2076283 | 2030 212446 711172 | 1 194111 63 | 0.000 % | 478.30/478.31 c | 2085910 | 2030 212446 711172 | 1 103544 41 | 0.000 % | 478.30/478.31 c | 2086745 | 2030 212446 711172 | 1 104379 41 | 0.000 % | 478.30/478.31 c | 2087693 | 2030 212446 711172 | 1 105327 42 | 0.000 % | 478.30/478.31 c | 2087794 | 2030 212446 711172 | 1 105428 42 | 0.000 % | 478.30/478.31 c | 2098244 | 2030 212446 711172 | 1 115878 46 | 0.000 % | 478.30/478.31 c | 2120974 | 2030 212446 711172 | 1 138608 52 | 0.000 % | 478.30/478.31 c | 2128065 | 2030 212446 711172 | 1 145699 54 | 0.000 % | 478.30/478.31 c | 2129729 | 2030 212446 711172 | 1 147363 55 | 0.000 % | 478.30/478.31 c | 2130655 | 2030 212446 711172 | 1 148289 55 | 0.000 % | 478.30/478.31 c | 2130758 | 2030 212446 711172 | 1 148392 55 | 0.000 % | 478.30/478.31 c | 2137602 | 2030 212446 711172 | 1 155236 57 | 0.000 % | 478.30/478.31 c | 2137703 | 2030 212446 711172 | 1 155337 57 | 0.000 % | 478.30/478.31 c | 2138344 | 2030 212446 711172 | 1 155978 57 | 0.000 % | 478.30/478.31 c | 2138445 | 2030 212446 711172 | 1 156079 57 | 0.000 % | 478.30/478.31 c | 2139074 | 2030 212446 711172 | 1 156708 57 | 0.000 % | 478.30/478.31 c | 2139291 | 2030 212446 711172 | 1 156925 57 | 0.000 % | 478.30/478.31 c | 2140289 | 2030 212446 711172 | 1 157923 58 | 0.000 % | 478.30/478.31 c | 2178941 | 2030 212446 711172 | 1 196575 63 | 0.000 % | 478.30/478.31 c | 2185955 | 2030 212446 711172 | 1 203589 63 | 0.000 % | 478.30/478.31 c | 2222407 | 2030 212446 711172 | 1 137242 50 | 0.000 % | 478.30/478.31 c | 2240903 | 2030 212446 711172 | 1 155738 55 | 0.000 % | 478.30/478.31 c | 2241111 | 2030 212446 711172 | 1 155946 55 | 0.000 % | 478.30/478.31 c | 2242627 | 2030 212446 711172 | 1 157462 55 | 0.000 % | 478.30/478.31 c | 2243887 | 2030 212446 711172 | 1 158722 56 | 0.000 % | 478.30/478.31 c | 2244121 | 2030 212446 711172 | 1 158956 56 | 0.000 % | 478.30/478.31 c | 2258701 | 2030 212446 711172 | 1 173536 59 | 0.000 % | 478.30/478.31 c | 2260899 | 2030 212446 711172 | 1 175734 60 | 0.000 % | 478.30/478.31 c | 2292392 | 2030 212446 711172 | 1 207227 62 | 0.000 % | 478.30/478.31 c | 2293394 | 2030 212446 711172 | 1 208229 62 | 0.000 % | 478.30/478.31 c | 2297207 | 2030 212446 711172 | 1 106638 40 | 0.000 % | 478.30/478.31 c | 2301531 | 2030 212446 711172 | 1 110962 41 | 0.000 % | 478.30/478.31 c | 2305446 | 2030 212446 711172 | 1 114877 43 | 0.000 % | 478.30/478.31 c | 2314352 | 2030 212446 711172 | 1 123783 46 | 0.000 % | 478.30/478.31 c | 2315711 | 2030 212446 711172 | 1 125142 46 | 0.000 % | 478.30/478.31 c | 2333861 | 2030 212446 711172 | 1 143292 52 | 0.000 % | 478.30/478.31 c | 2367864 | 2030 212446 711172 | 1 177295 58 | 0.000 % | 478.30/478.31 c | 2367986 | 2030 212446 711172 | 1 177417 58 | 0.000 % | 478.30/478.31 c | 2401533 | 2030 212446 711172 | 1 210964 64 | 0.000 % | 478.30/478.31 c | 2403174 | 2030 212446 711172 | 1 212605 64 | 0.000 % | 478.30/478.31 c | 2409382 | 2030 212446 711172 | 1 110812 40 | 0.000 % | 478.30/478.31 c | 2430473 | 2030 212446 711172 | 1 131903 45 | 0.000 % | 478.30/478.31 c | 2434460 | 2030 212446 711172 | 1 135890 46 | 0.000 % | 478.30/478.31 c | 2436431 | 2030 212446 711172 | 1 137861 47 | 0.000 % | 478.30/478.31 c | 2437847 | 2030 212446 711172 | 1 139277 47 | 0.000 % | 478.30/478.31 c | 2438402 | 2030 212446 711172 | 1 139832 47 | 0.000 % | 478.30/478.31 c | 2438505 | 2030 212446 711172 | 1 139935 47 | 0.000 % | 478.30/478.31 c | 2438694 | 2030 212446 711172 | 1 140124 47 | 0.000 % | 478.30/478.31 c | 2479330 | 2030 212446 711172 | 1 180760 54 | 0.000 % | 632.20/632.24 c | 2493168 | 2030 212446 711172 | 1 194598 56 | 0.000 % | 632.20/632.24 c | 2493268 | 2030 212446 711172 | 1 194698 56 | 0.000 % | 632.20/632.24 c | 2502615 | 2030 212446 711172 | 1 204045 57 | 0.000 % | 632.20/632.24 c | 2503908 | 2030 212446 711172 | 1 205338 57 | 0.000 % | 632.20/632.24 c | 2507624 | 2030 212446 711172 | 1 209054 58 | 0.000 % | 632.20/632.24 c | 2508005 | 2030 212446 711172 | 1 209435 58 | 0.000 % | 632.20/632.24 c | 2521039 | 2030 212446 711172 | 1 111870 38 | 0.000 % | 632.20/632.24 c | 2533764 | 2030 212446 711172 | 1 124595 41 | 0.000 % | 632.20/632.24 c | 2541484 | 2030 212446 711172 | 1 132315 44 | 0.000 % | 632.20/632.24 c | 2541959 | 2030 212446 711172 | 1 132790 44 | 0.000 % | 632.20/632.24 c | 2544002 | 2030 212446 711172 | 1 134833 44 | 0.000 % | 632.20/632.24 c | 2552410 | 2030 212446 711172 | 1 143241 47 | 0.000 % | 632.20/632.24 c | 2586741 | 2030 212446 711172 | 1 177572 55 | 0.000 % | 632.20/632.24 c | 2595438 | 2030 212446 711172 | 1 186269 57 | 0.000 % | 632.20/632.24 c | 2597208 | 2030 212446 711172 | 1 188039 58 | 0.000 % | 632.20/632.24 c | 2609874 | 2030 212446 711172 | 1 200705 59 | 0.000 % | 632.20/632.24 c | 2615608 | 2030 212446 711172 | 1 206439 60 | 0.000 % | 632.20/632.24 c | 2615945 | 2030 212446 711172 | 1 206776 60 | 0.000 % | 632.20/632.24 c | 2616663 | 2030 212446 711172 | 1 207494 60 | 0.000 % | 632.20/632.24 c | 2617030 | 2030 212446 711172 | 1 207861 60 | 0.000 % | 632.20/632.24 c | 2708954 | 2030 212446 711172 | 1 186579 53 | 0.000 % | 632.20/632.24 c | 2710847 | 2030 212446 711172 | 1 188472 53 | 0.000 % | 632.20/632.24 c | 2750665 | 2030 212446 711172 | 1 228290 58 | 0.000 % | 632.20/632.24 c | 2761228 | 2030 212446 711172 | 1 123050 40 | 0.000 % | 632.20/632.24 c | 2764553 | 2030 212446 711172 | 1 126375 41 | 0.000 % | 632.20/632.24 c | 2831128 | 2030 212446 711172 | 1 192950 53 | 0.000 % | 632.20/632.24 c | 2831310 | 2030 212446 711172 | 1 193132 53 | 0.000 % | 632.20/632.24 c | 2840441 | 2030 212446 711172 | 1 202263 53 | 0.000 % | 632.20/632.24 c | 2884359 | 2030 212446 711172 | 1 127781 43 | 0.000 % | 632.20/632.24 c | 2888730 | 2030 212446 711172 | 1 132152 44 | 0.000 % | 632.20/632.24 c | 2888859 | 2030 212446 711172 | 1 132281 44 | 0.000 % | 632.20/632.24 c | 2888960 | 2030 212446 711172 | 1 132382 44 | 0.000 % | 632.20/632.24 c | 2933121 | 2030 212446 711172 | 1 176543 55 | 0.000 % | 632.20/632.24 c | 2939656 | 2030 212446 711172 | 1 183078 56 | 0.000 % | 632.20/632.24 c | 2947665 | 2030 212446 711172 | 1 191087 57 | 0.000 % | 632.20/632.24 c | 2959686 | 2030 212446 711172 | 1 203108 59 | 0.000 % | 632.20/632.24 c | 2962901 | 2030 212446 711172 | 1 206323 59 | 0.000 % | 632.20/632.24 c | 2963004 | 2030 212446 711172 | 1 206426 59 | 0.000 % | 632.20/632.24 c | 2963239 | 2030 212446 711172 | 1 206661 59 | 0.000 % | 632.20/632.24 c | 2968456 | 2030 212446 711172 | 1 211878 60 | 0.000 % | 632.20/632.24 c | 2968607 | 2030 212446 711172 | 1 212029 60 | 0.000 % | 632.20/632.24 c | 2968707 | 2030 212446 711172 | 1 212129 60 | 0.000 % | 632.20/632.24 c | 3020318 | 2030 212446 711172 | 1 142736 45 | 0.000 % | 632.20/632.24 c | 3020614 | 2030 212446 711172 | 1 143032 45 | 0.000 % | 632.20/632.24 c | 3024128 | 2030 212446 711172 | 1 146546 46 | 0.000 % | 632.20/632.24 c | 3033631 | 2030 212446 711172 | 1 156049 48 | 0.000 % | 632.20/632.24 c | 3046771 | 2030 212446 711172 | 1 169189 51 | 0.000 % | 632.20/632.24 c | 3054160 | 2030 212446 711172 | 1 176578 52 | 0.000 % | 632.20/632.24 c | 3084858 | 2030 212446 711172 | 1 207276 56 | 0.000 % | 632.20/632.24 c | 3105685 | 2030 212446 711172 | 1 228103 60 | 0.000 % | 756.50/756.59 c | 3111543 | 2030 212446 711172 | 1 233961 61 | 0.000 % | 756.50/756.59 c | 3121814 | 2030 212446 711172 | 1 244232 61 | 0.000 % | 756.50/756.59 c | 3121976 | 2030 212446 711172 | 1 244394 61 | 0.000 % | 756.50/756.59 c | 3161680 | 2030 212446 711172 | 1 160497 48 | 0.000 % | 756.50/756.59 c | 3186646 | 2030 212446 711172 | 1 185463 53 | 0.000 % | 756.50/756.59 c | 3221714 | 2030 212446 711172 | 1 220531 59 | 0.000 % | 756.50/756.59 c | 3228536 | 2030 212446 711172 | 1 227353 60 | 0.000 % | 756.50/756.59 c | 3263200 | 2030 212446 711172 | 1 135825 44 | 0.000 % | 756.50/756.59 c | 3268405 | 2030 212446 711172 | 1 141030 46 | 0.000 % | 756.50/756.59 c | 3269629 | 2030 212446 711172 | 1 142254 46 | 0.000 % | 756.50/756.59 c | 3291102 | 2030 212446 711172 | 1 163727 52 | 0.000 % | 756.50/756.59 c | 3308603 | 2030 212446 711172 | 1 181228 56 | 0.000 % | 756.50/756.59 c | 3308829 | 2030 212446 711172 | 1 181454 56 | 0.000 % | 756.50/756.59 c | 3314372 | 2030 212446 711172 | 1 186997 57 | 0.000 % | 756.50/756.59 c | 3318241 | 2030 212446 711172 | 1 190866 58 | 0.000 % | 756.50/756.59 c | 3370291 | 2030 212446 711172 | 1 242916 64 | 0.000 % | 756.50/756.59 c | 3421149 | 2030 212446 711172 | 1 164983 49 | 0.000 % | 756.50/756.59 c | 3446227 | 2030 212446 711172 | 1 190061 54 | 0.000 % | 756.50/756.59 c | 3461701 | 2030 212446 711172 | 1 205535 56 | 0.000 % | 756.50/756.59 c | 3464390 | 2030 212446 711172 | 1 208224 57 | 0.000 % | 756.50/756.59 c | 3464491 | 2030 212446 711172 | 1 208325 57 | 0.000 % | 756.50/756.59 c | 3466500 | 2030 212446 711172 | 1 210334 57 | 0.000 % | 756.50/756.59 c | 3469838 | 2030 212446 711172 | 1 213672 58 | 0.000 % | 756.50/756.59 c | 3470066 | 2030 212446 711172 | 1 213900 58 | 0.000 % | 756.50/756.59 c | 3471593 | 2030 212446 711172 | 1 215427 58 | 0.000 % | 756.50/756.59 c | 3472283 | 2030 212446 711172 | 1 216117 59 | 0.000 % | 756.50/756.59 c | 3474274 | 2030 212446 711172 | 1 218108 59 | 0.000 % | 756.50/756.59 c | 3474824 | 2030 212446 711172 | 1 218658 59 | 0.000 % | 756.50/756.59 c | 3476604 | 2030 212446 711172 | 1 220438 59 | 0.000 % | 756.50/756.59 c | 3497714 | 2030 212446 711172 | 1 241548 61 | 0.000 % | 756.50/756.59 c | 3502584 | 2030 212446 711172 | 1 246418 62 | 0.000 % | 756.50/756.59 c | 3526227 | 2030 212446 711172 | 1 138654 41 | 0.000 % | 756.50/756.59 c | 3554320 | 2030 212446 711172 | 1 166747 48 | 0.000 % | 756.50/756.59 c | 3570166 | 2030 212446 711172 | 1 182593 52 | 0.000 % | 756.50/756.59 c | 3642515 | 2030 212446 711172 | 1 254942 63 | 0.000 % | 756.50/756.59 c | 3642620 | 2030 212446 711172 | 1 255047 63 | 0.000 % | 756.50/756.59 c | 3644915 | 2030 212446 711172 | 1 257342 63 | 0.000 % | 756.50/756.59 c | 3645025 | 2030 212446 711172 | 1 257452 63 | 0.000 % | 756.50/756.59 c | 3645249 | 2030 212446 711172 | 1 257676 63 | 0.000 % | 756.50/756.59 c | 3646451 | 2030 212446 711172 | 1 258878 63 | 0.000 % | 756.50/756.59 c | 3647290 | 2030 212446 711172 | 1 259717 63 | 0.000 % | 756.50/756.59 c | 3660683 | 2030 212446 711172 | 1 139115 42 | 0.000 % | 756.50/756.59 c | 3660826 | 2030 212446 711172 | 1 139258 42 | 0.000 % | 756.50/756.59 c | 3661101 | 2030 212446 711172 | 1 139533 42 | 0.000 % | 756.50/756.59 c | 3661410 | 2030 212446 711172 | 1 139842 43 | 0.000 % | 756.50/756.59 c | 3668258 | 2030 212446 711172 | 1 146690 45 | 0.000 % | 756.50/756.59 c | 3687436 | 2030 212446 711172 | 1 165868 50 | 0.000 % | 756.50/756.59 c | 3688255 | 2030 212446 711172 | 1 166687 50 | 0.000 % | 756.50/756.59 c | 3701001 | 2030 212446 711172 | 1 179433 53 | 0.000 % | 756.50/756.59 c | 3702115 | 2030 212446 711172 | 1 180547 54 | 0.000 % | 905.60/905.60 c | 3722767 | 2030 212446 711172 | 1 201199 58 | 0.000 % | 905.60/905.60 c | 3730568 | 2030 212446 711172 | 1 209000 59 | 0.000 % | 905.60/905.60 c | 3732490 | 2030 212446 711172 | 1 210922 59 | 0.000 % | 905.60/905.60 c | 3752149 | 2030 212446 711172 | 1 230581 61 | 0.000 % | 905.60/905.60 c | 3752635 | 2030 212446 711172 | 1 231067 61 | 0.000 % | 905.60/905.60 c | 3753812 | 2030 212446 711172 | 1 232244 62 | 0.000 % | 905.60/905.60 c | 3757691 | 2030 212446 711172 | 1 236123 62 | 0.000 % | 905.60/905.60 c | 3758566 | 2030 212446 711172 | 1 236998 62 | 0.000 % | 905.60/905.60 c | 3772612 | 2030 212446 711172 | 1 251044 63 | 0.000 % | 905.60/905.60 c | 3775053 | 2030 212446 711172 | 1 253485 63 | 0.000 % | 905.60/905.60 c | 3775657 | 2030 212446 711172 | 1 254089 63 | 0.000 % | 905.60/905.60 c | 3776482 | 2030 212446 711172 | 1 254914 64 | 0.000 % | 905.60/905.60 c | 3789543 | 2030 212446 711172 | 1 267975 65 | 0.000 % | 905.60/905.60 c | 3827107 | 2030 212446 711172 | 1 168937 47 | 0.000 % | 905.60/905.60 c | 3833735 | 2030 212446 711172 | 1 175565 49 | 0.000 % | 905.60/905.60 c | 3833998 | 2030 212446 711172 | 1 175828 49 | 0.000 % | 905.60/905.60 c | 3839423 | 2030 212446 711172 | 1 181253 50 | 0.000 % | 905.60/905.60 c | 3839527 | 2030 212446 711172 | 1 181357 50 | 0.000 % | 905.60/905.60 c | 3840380 | 2030 212446 711172 | 1 182210 50 | 0.000 % | 905.60/905.60 c | 3877382 | 2030 212446 711172 | 1 219212 55 | 0.000 % | 905.60/905.60 c | 3893556 | 2030 212446 711172 | 1 235386 57 | 0.000 % | 905.60/905.60 c | 3909262 | 2030 212446 711172 | 1 251092 59 | 0.000 % | 905.60/905.60 c | 3924262 | 2030 212446 711172 | 1 266092 60 | 0.000 % | 905.60/905.60 c | 3938120 | 2030 212446 711172 | 1 140752 40 | 0.000 % | 905.60/905.60 c | 3938221 | 2030 212446 711172 | 1 140853 40 | 0.000 % | 905.60/905.60 c | 3940348 | 2030 212446 711172 | 1 142980 41 | 0.000 % | 905.60/905.60 c | 3940570 | 2030 212446 711172 | 1 143202 41 | 0.000 % | 905.60/905.60 c | 3941612 | 2030 212446 711172 | 1 144244 41 | 0.000 % | 905.60/905.60 c | 3941879 | 2030 212446 711172 | 1 144511 42 | 0.000 % | 905.60/905.60 c | 3947639 | 2030 212446 711172 | 1 150271 43 | 0.000 % | 905.60/905.60 c | 3952103 | 2030 212446 711172 | 1 154735 44 | 0.000 % | 905.60/905.60 c | 3960848 | 2030 212446 711172 | 1 163480 46 | 0.000 % | 905.60/905.60 c | 3966707 | 2030 212446 711172 | 1 169339 47 | 0.000 % | 905.60/905.60 c | 3986053 | 2030 212446 711172 | 1 188685 51 | 0.000 % | 905.60/905.60 c | 3986351 | 2030 212446 711172 | 1 188983 51 | 0.000 % | 905.60/905.60 c | 4061873 | 2030 212446 711172 | 1 264505 60 | 0.000 % | 905.60/905.60 c | 4062014 | 2030 212446 711172 | 1 264646 60 | 0.000 % | 905.60/905.60 c | 4080880 | 2030 212446 711172 | 1 283512 61 | 0.000 % | 905.60/905.60 c | 4082563 | 2030 212446 711172 | 1 143387 39 | 0.000 % | 905.60/905.60 c | 4082726 | 2030 212446 711172 | 1 143550 39 | 0.000 % | 905.60/905.60 c | 4082827 | 2030 212446 711172 | 1 143651 39 | 0.000 % | 905.60/905.60 c | 4087079 | 2030 212446 711172 | 1 147903 41 | 0.000 % | 905.60/905.60 c | 4204685 | 2030 212446 711172 | 1 265509 60 | 0.000 % | 905.60/905.60 c | 4266211 | 2030 212446 711172 | 1 182636 48 | 0.000 % | 905.60/905.60 c | 4296480 | 2030 212446 711172 | 1 212905 54 | 0.000 % | 905.60/905.60 c | 4297475 | 2030 212446 711172 | 1 213900 54 | 0.000 % | 905.60/905.60 c | 4331904 | 2030 212446 711172 | 1 248329 61 | 0.000 % | 905.60/905.60 c | 4332030 | 2030 212446 711172 | 1 248455 61 | 0.000 % | 905.60/905.60 c | 4332257 | 2030 212446 711172 | 1 248682 61 | 0.000 % | 1091.42/1091.46 c | 4332440 | 2030 212446 711172 | 1 248865 61 | 0.000 % | 1091.42/1091.46 c | 4332619 | 2030 212446 711172 | 1 249044 61 | 0.000 % | 1091.42/1091.46 c | 4332782 | 2030 212446 711172 | 1 249207 61 | 0.000 % | 1091.42/1091.46 c | 4332882 | 2030 212446 711172 | 1 249307 61 | 0.000 % | 1091.42/1091.46 c | 4335997 | 2030 212446 711172 | 1 252422 61 | 0.000 % | 1091.42/1091.46 c | 4336099 | 2030 212446 711172 | 1 252524 61 | 0.000 % | 1091.42/1091.46 c | 4340707 | 2030 212446 711172 | 1 257132 62 | 0.000 % | 1091.42/1091.46 c | 4341397 | 2030 212446 711172 | 1 257822 62 | 0.000 % | 1091.42/1091.46 c | 4342515 | 2030 212446 711172 | 1 258940 62 | 0.000 % | 1091.42/1091.46 c | 4349372 | 2030 212446 711172 | 1 265797 62 | 0.000 % | 1091.42/1091.46 c | 4358318 | 2030 212446 711172 | 1 274743 63 | 0.000 % | 1091.42/1091.46 c | 4360125 | 2030 212446 711172 | 1 276550 63 | 0.000 % | 1091.42/1091.46 c | 4375005 | 2030 212446 711172 | 1 291430 64 | 0.000 % | 1091.42/1091.46 c | 4379181 | 2030 212446 711172 | 1 148600 40 | 0.000 % | 1091.42/1091.46 c | 4383592 | 2030 212446 711172 | 1 153011 41 | 0.000 % | 1091.42/1091.46 c | 4467394 | 2030 212446 711172 | 1 236813 52 | 0.000 % | 1091.42/1091.46 c | 4479004 | 2030 212446 711172 | 1 248423 53 | 0.000 % | 1091.42/1091.46 c | 4488216 | 2030 212446 711172 | 1 257635 55 | 0.000 % | 1091.42/1091.46 c | 4488316 | 2030 212446 711172 | 1 257735 55 | 0.000 % | 1091.42/1091.46 c | 4490072 | 2030 212446 711172 | 1 259491 55 | 0.000 % | 1091.42/1091.46 c | 4509244 | 2030 212446 711172 | 1 278663 58 | 0.000 % | 1091.42/1091.46 c | 4551748 | 2030 212446 711172 | 1 171580 42 | 0.000 % | 1091.42/1091.46 c | 4600698 | 2030 212446 711172 | 1 220530 49 | 0.000 % | 1091.42/1091.46 c | 4660037 | 2030 212446 711172 | 1 279869 53 | 0.000 % | 1091.42/1091.46 c | 4664985 | 2030 212446 711172 | 1 284817 54 | 0.000 % | 1091.42/1091.46 c | 4670194 | 2030 212446 711172 | 1 290026 54 | 0.000 % | 1091.42/1091.46 c | 4674752 | 2030 212446 711172 | 1 294584 55 | 0.000 % | 1091.42/1091.46 c | 4677643 | 2030 212446 711172 | 1 297475 55 | 0.000 % | 1091.42/1091.46 c | 4714060 | 2030 212446 711172 | 1 181691 42 | 0.000 % | 1091.42/1091.46 c | 4714864 | 2030 212446 711172 | 1 182495 42 | 0.000 % | 1091.42/1091.46 c | 4736113 | 2030 212446 711172 | 1 203744 45 | 0.000 % | 1091.42/1091.46 c | 4736213 | 2030 212446 711172 | 1 203844 45 | 0.000 % | 1091.42/1091.46 c | 4745128 | 2030 212446 711172 | 1 212759 46 | 0.000 % | 1091.42/1091.46 c | 4745322 | 2030 212446 711172 | 1 212953 46 | 0.000 % | 1091.42/1091.46 c | 4745425 | 2030 212446 711172 | 1 213056 46 | 0.000 % | 1091.42/1091.46 c | 4799461 | 2030 212446 711172 | 1 267092 51 | 0.000 % | 1091.42/1091.46 c | 4820670 | 2030 212446 711172 | 1 288301 52 | 0.000 % | 1091.42/1091.46 c | 4859355 | 2030 212446 711172 | 1 172193 40 | 0.000 % | 1091.42/1091.46 c | 4867773 | 2030 212446 711172 | 1 180611 42 | 0.000 % | 1091.42/1091.46 c | 4906096 | 2030 212446 711172 | 1 218934 50 | 0.000 % | 1091.42/1091.46 c | 4910148 | 2030 212446 711172 | 1 222986 51 | 0.000 % | 1091.42/1091.46 c | 4911882 | 2030 212446 711172 | 1 224720 51 | 0.000 % | 1091.42/1091.46 c | 4935066 | 2030 212446 711172 | 1 247904 55 | 0.000 % | 1091.42/1091.46 c | 4935166 | 2030 212446 711172 | 1 248004 55 | 0.000 % | 1091.42/1091.46 c | 4938612 | 2030 212446 711172 | 1 251450 55 | 0.000 % | 1091.42/1091.46 c | 4947601 | 2030 212446 711172 | 1 260439 56 | 0.000 % | 1091.42/1091.46 c | 4954366 | 2030 212446 711172 | 1 267204 57 | 0.000 % | 1091.42/1091.46 c | 4954713 | 2030 212446 711172 | 1 267551 57 | 0.000 % | 1091.42/1091.46 c | 4989604 | 2030 212446 711172 | 1 302442 59 | 0.000 % | 1091.42/1091.46 c | 5014606 | 2030 212446 711172 | 1 170035 40 | 0.000 % | 1271.32/1271.34 c | 5016652 | 2030 212446 711172 | 1 172081 41 | 0.000 % | 1271.32/1271.34 c | 5030116 | 2030 212446 711172 | 1 185545 43 | 0.000 % | 1271.32/1271.34 c | 5041690 | 2030 212446 711172 | 1 197119 45 | 0.000 % | 1271.32/1271.34 c | 5045245 | 2030 212446 711172 | 1 200674 45 | 0.000 % | 1271.32/1271.34 c | 5046066 | 2030 212446 711172 | 1 201495 46 | 0.000 % | 1271.32/1271.34 c | 5046344 | 2030 212446 711172 | 1 201773 46 | 0.000 % | 1271.32/1271.34 c | 5080525 | 2030 212446 711172 | 1 235954 51 | 0.000 % | 1271.32/1271.34 c | 5092071 | 2030 212446 711172 | 1 247500 52 | 0.000 % | 1271.32/1271.34 c | 5101387 | 2030 212446 711172 | 1 256816 53 | 0.000 % | 1271.32/1271.34 c | 5109599 | 2030 212446 711172 | 1 265028 54 | 0.000 % | 1271.32/1271.34 c | 5110084 | 2030 212446 711172 | 1 265513 54 | 0.000 % | 1271.32/1271.34 c | 5110540 | 2030 212446 711172 | 1 265969 54 | 0.000 % | 1271.32/1271.34 c | 5113165 | 2030 212446 711172 | 1 268594 55 | 0.000 % | 1271.32/1271.34 c | 5118137 | 2030 212446 711172 | 1 273566 55 | 0.000 % | 1271.32/1271.34 c | 5126057 | 2030 212446 711172 | 1 281486 56 | 0.000 % | 1271.32/1271.34 c | 5126259 | 2030 212446 711172 | 1 281688 56 | 0.000 % | 1271.32/1271.34 c | 5134315 | 2030 212446 711172 | 1 289744 57 | 0.000 % | 1271.32/1271.34 c | 5134959 | 2030 212446 711172 | 1 290388 57 | 0.000 % | 1271.32/1271.34 c | 5140221 | 2030 212446 711172 | 1 295650 58 | 0.000 % | 1271.32/1271.34 c | 5184926 | 2030 212446 711172 | 1 180348 41 | 0.000 % | 1271.32/1271.34 c | 5216968 | 2030 212446 711172 | 1 212390 48 | 0.000 % | 1271.32/1271.34 c | 5217857 | 2030 212446 711172 | 1 213279 49 | 0.000 % | 1271.32/1271.34 c | 5223599 | 2030 212446 711172 | 1 219021 50 | 0.000 % | 1271.32/1271.34 c | 5282473 | 2030 212446 711172 | 1 277895 54 | 0.000 % | 1271.32/1271.34 c | 5282580 | 2030 212446 711172 | 1 278002 54 | 0.000 % | 1271.32/1271.34 c | 5300627 | 2030 212446 711172 | 1 296049 55 | 0.000 % | 1271.32/1271.34 c | 5307763 | 2030 212446 711172 | 1 303185 56 | 0.000 % | 1271.32/1271.34 c | 5311871 | 2030 212446 711172 | 1 307293 56 | 0.000 % | 1271.32/1271.34 c | 5366589 | 2030 212446 711172 | 1 199410 44 | 0.000 % | 1271.32/1271.34 c | 5382229 | 2030 212446 711172 | 1 215050 47 | 0.000 % | 1271.32/1271.34 c | 5426605 | 2030 212446 711172 | 1 259426 52 | 0.000 % | 1271.32/1271.34 c | 5439039 | 2030 212446 711172 | 1 271860 53 | 0.000 % | 1271.32/1271.34 c | 5478482 | 2030 212446 711172 | 1 311303 56 | 0.000 % | 1271.32/1271.34 c | 5487456 | 2030 212446 711172 | 1 320277 57 | 0.000 % | 1271.32/1271.34 c | 5495194 | 2030 212446 711172 | 1 328015 57 | 0.000 % | 1271.32/1271.34 c | 5515781 | 2030 212446 711172 | 1 183409 42 | 0.000 % | 1271.32/1271.34 c | 5533570 | 2030 212446 711172 | 1 201198 46 | 0.000 % | 1271.32/1271.34 c | 5551284 | 2030 212446 711172 | 1 218912 49 | 0.000 % | 1271.32/1271.34 c | 5570580 | 2030 212446 711172 | 1 238208 53 | 0.000 % | 1271.32/1271.34 c | 5596330 | 2030 212446 711172 | 1 263958 56 | 0.000 % | 1271.32/1271.34 c | 5598783 | 2030 212446 711172 | 1 266411 56 | 0.000 % | 1271.32/1271.34 c | 5604791 | 2030 212446 711172 | 1 272419 56 | 0.000 % | 1271.32/1271.34 c | 5647906 | 2030 212446 711172 | 1 315534 60 | 0.000 % | 1271.32/1271.34 c | 5649899 | 2030 212446 711172 | 1 317527 60 | 0.000 % | 1271.32/1271.34 c | 5650745 | 2030 212446 711172 | 1 318373 60 | 0.000 % | 1271.32/1271.34 c | 5656439 | 2030 212446 711172 | 1 324067 60 | 0.000 % | 1271.32/1271.34 c | 5656539 | 2030 212446 711172 | 1 324167 60 | 0.000 % | 1271.32/1271.34 c | 5656640 | 2030 212446 711172 | 1 324268 60 | 0.000 % | 1271.32/1271.34 c | 5656740 | 2030 212446 711172 | 1 324368 60 | 0.000 % | 1271.32/1271.34 c | 5729989 | 2030 212446 711172 | 1 229819 50 | 0.000 % | 1502.33/1502.31 c | 5737130 | 2030 212446 711172 | 1 236960 51 | 0.000 % | 1502.33/1502.31 c | 5781085 | 2030 212446 711172 | 1 280915 58 | 0.000 % | 1502.33/1502.31 c | 5787741 | 2030 212446 711172 | 1 287571 59 | 0.000 % | 1502.33/1502.31 c | 5799064 | 2030 212446 711172 | 1 298894 60 | 0.000 % | 1502.33/1502.31 c | 5810123 | 2030 212446 711172 | 1 309953 61 | 0.000 % | 1502.33/1502.31 c | 5810781 | 2030 212446 711172 | 1 310611 61 | 0.000 % | 1502.33/1502.31 c | 5815595 | 2030 212446 711172 | 1 315425 61 | 0.000 % | 1502.33/1502.31 c | 5825459 | 2030 212446 711172 | 1 325289 62 | 0.000 % | 1502.33/1502.31 c | 5854983 | 2030 212446 711172 | 1 184410 43 | 0.000 % | 1502.33/1502.31 c | 5855136 | 2030 212446 711172 | 1 184563 43 | 0.000 % | 1502.33/1502.31 c | 5885617 | 2030 212446 711172 | 1 215044 50 | 0.000 % | 1502.33/1502.31 c | 5886923 | 2030 212446 711172 | 1 216350 51 | 0.000 % | 1502.33/1502.31 c | 5887023 | 2030 212446 711172 | 1 216450 51 | 0.000 % | 1502.33/1502.31 c | 5921702 | 2030 212446 711172 | 1 251129 56 | 0.000 % | 1502.33/1502.31 c | 5935804 | 2030 212446 711172 | 1 265231 58 | 0.000 % | 1502.33/1502.31 c | 5942237 | 2030 212446 711172 | 1 271664 59 | 0.000 % | 1502.33/1502.31 c | 5951398 | 2030 212446 711172 | 1 280825 60 | 0.000 % | 1502.33/1502.31 c | 5956140 | 2030 212446 711172 | 1 285567 60 | 0.000 % | 1502.33/1502.31 c | 5981323 | 2030 212446 711172 | 1 310750 62 | 0.000 % | 1502.33/1502.31 c | 5997664 | 2030 212446 711172 | 1 327091 63 | 0.000 % | 1502.33/1502.31 c | 6035184 | 2030 212446 711172 | 1 191615 43 | 0.000 % | 1502.33/1502.31 c | 6140439 | 2030 212446 711172 | 1 296870 53 | 0.000 % | 1502.33/1502.31 c | 6143421 | 2030 212446 711172 | 1 299852 54 | 0.000 % | 1502.33/1502.31 c | 6167242 | 2030 212446 711172 | 1 323673 56 | 0.000 % | 1502.33/1502.31 c | 6208272 | 2030 212446 711172 | 1 189099 41 | 0.000 % | 1502.33/1502.31 c | 6225715 | 2030 212446 711172 | 1 206542 45 | 0.000 % | 1502.33/1502.31 c | 6263935 | 2030 212446 711172 | 1 244762 53 | 0.000 % | 1502.33/1502.31 c | 6266920 | 2030 212446 711172 | 1 247747 54 | 0.000 % | 1502.33/1502.31 c | 6269603 | 2030 212446 711172 | 1 250430 54 | 0.000 % | 1502.33/1502.31 c | 6270057 | 2030 212446 711172 | 1 250884 54 | 0.000 % | 1502.33/1502.31 c | 6270187 | 2030 212446 711172 | 1 251014 54 | 0.000 % | 1502.33/1502.31 c | 6270982 | 2030 212446 711172 | 1 251809 54 | 0.000 % | 1502.33/1502.31 c | 6285544 | 2030 212446 711172 | 1 266371 56 | 0.000 % | 1502.33/1502.31 c | 6288884 | 2030 212446 711172 | 1 269711 57 | 0.000 % | 1502.33/1502.31 c | 6293619 | 2030 212446 711172 | 1 274446 57 | 0.000 % | 1502.33/1502.31 c | 6300588 | 2030 212446 711172 | 1 281415 58 | 0.000 % | 1502.33/1502.31 c | 6301985 | 2030 212446 711172 | 1 282812 58 | 0.000 % | 1502.33/1502.31 c | 6336792 | 2030 212446 711172 | 1 317619 60 | 0.000 % | 1502.33/1502.31 c | 6357304 | 2030 212446 711172 | 1 338131 61 | 0.000 % | 1502.33/1502.31 c | 6357404 | 2030 212446 711172 | 1 338231 61 | 0.000 % | 1502.33/1502.31 c | 6359374 | 2030 212446 711172 | 1 340201 61 | 0.000 % | 1502.33/1502.31 c | 6359477 | 2030 212446 711172 | 1 340304 61 | 0.000 % | 1502.33/1502.31 c | 6397535 | 2030 212446 711172 | 1 200155 42 | 0.000 % | 1502.33/1502.31 c | 6420473 | 2030 212446 711172 | 1 223093 46 | 0.000 % | 1502.33/1502.31 c | 6430763 | 2030 212446 711172 | 1 233383 48 | 0.000 % | 1502.33/1502.31 c | 6461571 | 2030 212446 711172 | 1 264191 52 | 0.000 % | 1502.33/1502.31 c | 6539110 | 2030 212446 711172 | 1 341730 56 | 0.000 % | 1502.33/1502.31 c | 6546766 | 2030 212446 711172 | 1 349386 57 | 0.000 % | 1502.33/1502.31 c | 6548497 | 2030 212446 711172 | 1 351117 57 | 0.000 % | 1502.33/1502.31 c | 6548955 | 2030 212446 711172 | 1 351575 57 | 0.000 % | 1670.73/1670.72 c | 6554388 | 2030 212446 711172 | 1 357008 57 | 0.000 % | 1670.73/1670.72 c | 6564150 | 2030 212446 711172 | 1 185966 37 | 0.000 % | 1670.73/1670.72 c | 6572192 | 2030 212446 711172 | 1 194008 38 | 0.000 % | 1670.73/1670.72 c | 6598249 | 2030 212446 711172 | 1 220065 43 | 0.000 % | 1670.73/1670.72 c | 6611888 | 2030 212446 711172 | 1 233704 46 | 0.000 % | 1670.73/1670.72 c | 6621856 | 2030 212446 711172 | 1 243672 47 | 0.000 % | 1670.73/1670.72 c | 6631244 | 2030 212446 711172 | 1 253060 49 | 0.000 % | 1670.73/1670.72 c | 6632935 | 2030 212446 711172 | 1 254751 49 | 0.000 % | 1670.73/1670.72 c | 6662617 | 2030 212446 711172 | 1 284433 52 | 0.000 % | 1670.73/1670.72 c | 6668852 | 2030 212446 711172 | 1 290668 52 | 0.000 % | 1670.73/1670.72 c | 6680068 | 2030 212446 711172 | 1 301884 53 | 0.000 % | 1670.73/1670.72 c | 6685441 | 2030 212446 711172 | 1 307257 54 | 0.000 % | 1670.73/1670.72 c | 6692319 | 2030 212446 711172 | 1 314135 54 | 0.000 % | 1670.73/1670.72 c | 6760384 | 2030 212446 711172 | 1 198808 42 | 0.000 % | 1670.73/1670.72 c | 6768431 | 2030 212446 711172 | 1 206855 44 | 0.000 % | 1670.73/1670.72 c | 6770753 | 2030 212446 711172 | 1 209177 45 | 0.000 % | 1670.73/1670.72 c | 6773570 | 2030 212446 711172 | 1 211994 45 | 0.000 % | 1670.73/1670.72 c | 6778042 | 2030 212446 711172 | 1 216466 46 | 0.000 % | 1670.73/1670.72 c | 6779581 | 2030 212446 711172 | 1 218005 47 | 0.000 % | 1670.73/1670.72 c | 6781908 | 2030 212446 711172 | 1 220332 47 | 0.000 % | 1670.73/1670.72 c | 6789472 | 2030 212446 711172 | 1 227896 49 | 0.000 % | 1670.73/1670.72 c | 6790282 | 2030 212446 711172 | 1 228706 50 | 0.000 % | 1670.73/1670.72 c | 6878408 | 2030 212446 711172 | 1 316832 58 | 0.000 % | 1670.73/1670.72 c | 6878636 | 2030 212446 711172 | 1 317060 58 | 0.000 % | 1670.73/1670.72 c | 6946718 | 2030 212446 711172 | 1 199144 42 | 0.000 % | 1670.73/1670.72 c | 6946820 | 2030 212446 711172 | 1 199246 42 | 0.000 % | 1670.73/1670.72 c | 6952845 | 2030 212446 711172 | 1 205271 43 | 0.000 % | 1670.73/1670.72 c | 6963108 | 2030 212446 711172 | 1 215534 45 | 0.000 % | 1670.73/1670.72 c | 6985436 | 2030 212446 711172 | 1 237862 49 | 0.000 % | 1670.73/1670.72 c | 6987195 | 2030 212446 711172 | 1 239621 50 | 0.000 % | 1670.73/1670.72 c | 7021888 | 2030 212446 711172 | 1 274314 54 | 0.000 % | 1670.73/1670.72 c | 7031441 | 2030 212446 711172 | 1 283867 55 | 0.000 % | 1670.73/1670.72 c | 7070092 | 2030 212446 711172 | 1 322518 58 | 0.000 % | 1670.73/1670.72 c | 7076087 | 2030 212446 711172 | 1 328513 59 | 0.000 % | 1670.73/1670.72 c | 7083733 | 2030 212446 711172 | 1 336159 59 | 0.000 % | 1670.73/1670.72 c | 7085196 | 2030 212446 711172 | 1 337622 59 | 0.000 % | 1670.73/1670.72 c | 7085393 | 2030 212446 711172 | 1 337819 59 | 0.000 % | 1670.73/1670.72 c | 7086134 | 2030 212446 711172 | 1 338560 59 | 0.000 % | 1670.73/1670.72 c | 7105497 | 2030 212446 711172 | 1 357923 60 | 0.000 % | 1670.73/1670.72 c | 7107220 | 2030 212446 711172 | 1 359646 61 | 0.000 % | 1670.73/1670.72 c | 7109456 | 2030 212446 711172 | 1 361882 61 | 0.000 % | 1670.73/1670.72 c | 7117850 | 2030 212446 711172 | 1 370276 62 | 0.000 % | 1670.73/1670.72 c | 7135109 | 2030 212446 711172 | 1 198947 41 | 0.000 % | 1670.73/1670.72 c | 7136486 | 2030 212446 711172 | 1 200324 41 | 0.000 % | 1670.73/1670.72 c | 7143173 | 2030 212446 711172 | 1 207011 42 | 0.000 % | 1670.73/1670.72 c | 7157943 | 2030 212446 711172 | 1 221781 46 | 0.000 % | 1670.73/1670.72 c | 7160381 | 2030 212446 711172 | 1 224219 46 | 0.000 % | 1670.73/1670.72 c | 7178968 | 2030 212446 711172 | 1 242806 48 | 0.000 % | 1670.73/1670.72 c | 7179189 | 2030 212446 711172 | 1 243027 48 | 0.000 % | 1670.73/1670.72 c | 7180051 | 2030 212446 711172 | 1 243889 48 | 0.000 % | 1825.74/1825.71 c | 7204430 | 2030 212446 711172 | 1 268268 52 | 0.000 % | 1825.74/1825.71 c | 7216398 | 2030 212446 711172 | 1 280236 53 | 0.000 % | 1825.74/1825.71 c | 7216580 | 2030 212446 711172 | 1 280418 53 | 0.000 % | 1825.74/1825.71 c | 7216710 | 2030 212446 711172 | 1 280548 53 | 0.000 % | 1825.74/1825.71 c | 7252120 | 2030 212446 711172 | 1 315958 56 | 0.000 % | 1825.74/1825.71 c | 7253009 | 2030 212446 711172 | 1 316847 56 | 0.000 % | 1825.74/1825.71 c | 7260163 | 2030 212446 711172 | 1 324001 57 | 0.000 % | 1825.74/1825.71 c | 7311663 | 2030 212446 711172 | 1 375501 61 | 0.000 % | 1825.74/1825.71 c | 7312799 | 2030 212446 711172 | 1 376637 61 | 0.000 % | 1825.74/1825.71 c | 7318806 | 2030 212446 711172 | 1 191435 37 | 0.000 % | 1825.74/1825.71 c | 7329685 | 2030 212446 711172 | 1 202314 39 | 0.000 % | 1825.74/1825.71 c | 7343790 | 2030 212446 711172 | 1 216419 41 | 0.000 % | 1825.74/1825.71 c | 7345087 | 2030 212446 711172 | 1 217716 42 | 0.000 % | 1825.74/1825.71 c | 7402899 | 2030 212446 711172 | 1 275528 50 | 0.000 % | 1825.74/1825.71 c | 7406085 | 2030 212446 711172 | 1 278714 51 | 0.000 % | 1825.74/1825.71 c | 7406545 | 2030 212446 711172 | 1 279174 51 | 0.000 % | 1825.74/1825.71 c | 7436207 | 2030 212446 711172 | 1 308836 55 | 0.000 % | 1825.74/1825.71 c | 7436336 | 2030 212446 711172 | 1 308965 55 | 0.000 % | 1825.74/1825.71 c | 7438813 | 2030 212446 711172 | 1 311442 55 | 0.000 % | 1825.74/1825.71 c | 7439051 | 2030 212446 711172 | 1 311680 55 | 0.000 % | 1825.74/1825.71 c | 7446059 | 2030 212446 711172 | 1 318688 56 | 0.000 % | 1825.74/1825.71 c | 7459074 | 2030 212446 711172 | 1 331703 58 | 0.000 % | 1825.74/1825.71 c | 7459656 | 2030 212446 711172 | 1 332285 58 | 0.000 % | 1825.74/1825.71 c | 7460101 | 2030 212446 711172 | 1 332730 58 | 0.000 % | 1825.74/1825.71 c | 7463821 | 2030 212446 711172 | 1 336450 58 | 0.000 % | 1825.74/1825.71 c | 7467365 | 2030 212446 711172 | 1 339994 58 | 0.000 % | 1825.74/1825.71 c | 7495294 | 2030 212446 711172 | 1 367923 61 | 0.000 % | 1825.74/1825.71 c | 7514542 | 2030 212446 711172 | 1 387171 63 | 0.000 % | 1825.74/1825.71 c | 7514780 | 2030 212446 711172 | 1 387409 63 | 0.000 % | 1825.74/1825.71 c | 7517389 | 2030 212446 711172 | 1 196206 39 | 0.000 % | 1825.74/1825.71 c | 7522529 | 2030 212446 711172 | 1 201346 40 | 0.000 % | 1825.74/1825.71 c | 7538925 | 2030 212446 711172 | 1 217742 43 | 0.000 % | 1825.74/1825.71 c | 7543065 | 2030 212446 711172 | 1 221882 44 | 0.000 % | 1825.74/1825.71 c | 7547664 | 2030 212446 711172 | 1 226481 45 | 0.000 % | 1825.74/1825.71 c | 7548004 | 2030 212446 711172 | 1 226821 45 | 0.000 % | 1825.74/1825.71 c | 7548676 | 2030 212446 711172 | 1 227493 45 | 0.000 % | 1825.74/1825.71 c | 7550730 | 2030 212446 711172 | 1 229547 45 | 0.000 % | 1825.74/1825.71 c | 7552378 | 2030 212446 711172 | 1 231195 46 | 0.000 % | 1825.74/1825.71 c | 7576175 | 2030 212446 711172 | 1 254992 49 | 0.000 % | 1825.74/1825.71 c | 7576359 | 2030 212446 711172 | 1 255176 49 | 0.000 % | 1825.74/1825.71 c | 7581825 | 2030 212446 711172 | 1 260642 50 | 0.000 % | 1825.74/1825.71 c | 7594055 | 2030 212446 711172 | 1 272872 52 | 0.000 % | 1825.74/1825.71 c | 7595205 | 2030 212446 711172 | 1 274022 52 | 0.000 % | 1825.74/1825.71 c | 7655432 | 2030 212446 711172 | 1 334249 57 | 0.000 % | 1825.74/1825.71 c | 7661917 | 2030 212446 711172 | 1 340734 57 | 0.000 % | 1825.74/1825.71 c | 7662019 | 2030 212446 711172 | 1 340836 57 | 0.000 % | 1825.74/1825.71 c | 7673629 | 2030 212446 711172 | 1 352446 58 | 0.000 % | 1825.74/1825.71 c | 7680455 | 2030 212446 711172 | 1 359272 59 | 0.000 % | 1825.74/1825.71 c | 7701923 | 2030 212446 711172 | 1 380740 60 | 0.000 % | 1825.74/1825.71 c | 7716924 | 2030 212446 711172 | 1 199349 38 | 0.000 % | 1945.04/1945.05 c | 7723029 | 2030 212446 711172 | 1 205454 39 | 0.000 % | 1945.04/1945.05 c | 7737357 | 2030 212446 711172 | 1 219782 43 | 0.000 % | 1945.04/1945.05 c | 7737743 | 2030 212446 711172 | 1 220168 43 | 0.000 % | 1945.04/1945.05 c | 7739522 | 2030 212446 711172 | 1 221947 43 | 0.000 % | 1945.04/1945.05 c | 7741119 | 2030 212446 711172 | 1 223544 43 | 0.000 % | 1945.04/1945.05 c | 7741412 | 2030 212446 711172 | 1 223837 43 | 0.000 % | 1945.04/1945.05 c | 7741512 | 2030 212446 711172 | 1 223937 43 | 0.000 % | 1945.04/1945.05 c | 7741963 | 2030 212446 711172 | 1 224388 43 | 0.000 % | 1945.04/1945.05 c | 7743671 | 2030 212446 711172 | 1 226096 44 | 0.000 % | 1945.04/1945.05 c | 7743771 | 2030 212446 711172 | 1 226196 44 | 0.000 % | 1945.04/1945.05 c | 7744665 | 2030 212446 711172 | 1 227090 44 | 0.000 % | 1945.04/1945.05 c | 7745501 | 2030 212446 711172 | 1 227926 44 | 0.000 % | 1945.04/1945.05 c | 7764225 | 2030 212446 711172 | 1 246650 47 | 0.000 % | 1945.04/1945.05 c | 7793490 | 2030 212446 711172 | 1 275915 51 | 0.000 % | 1945.04/1945.05 c | 7793592 | 2030 212446 711172 | 1 276017 51 | 0.000 % | 1945.04/1945.05 c | 7799242 | 2030 212446 711172 | 1 281667 52 | 0.000 % | 1945.04/1945.05 c | 7799359 | 2030 212446 711172 | 1 281784 53 | 0.000 % | 1945.04/1945.05 c | 7801935 | 2030 212446 711172 | 1 284360 53 | 0.000 % | 1945.04/1945.05 c | 7802868 | 2030 212446 711172 | 1 285293 53 | 0.000 % | 1945.04/1945.05 c | 7803291 | 2030 212446 711172 | 1 285716 53 | 0.000 % | 1945.04/1945.05 c | 7815096 | 2030 212446 711172 | 1 297521 54 | 0.000 % | 1945.04/1945.05 c | 7817421 | 2030 212446 711172 | 1 299846 55 | 0.000 % | 1945.04/1945.05 c | 7819471 | 2030 212446 711172 | 1 301896 55 | 0.000 % | 1945.04/1945.05 c | 7830960 | 2030 212446 711172 | 1 313385 56 | 0.000 % | 1945.04/1945.05 c | 7831775 | 2030 212446 711172 | 1 314200 56 | 0.000 % | 1945.04/1945.05 c | 7832790 | 2030 212446 711172 | 1 315215 56 | 0.000 % | 1945.04/1945.05 c | 7833271 | 2030 212446 711172 | 1 315696 56 | 0.000 % | 1945.04/1945.05 c | 7843839 | 2030 212446 711172 | 1 326264 57 | 0.000 % | 1945.04/1945.05 c | 7856733 | 2030 212446 711172 | 1 339158 58 | 0.000 % | 1945.04/1945.05 c | 7859669 | 2030 212446 711172 | 1 342094 59 | 0.000 % | 1945.04/1945.05 c | 7900408 | 2030 212446 711172 | 1 382833 60 | 0.000 % | 1945.04/1945.05 c | 7900933 | 2030 212446 711172 | 1 383358 61 | 0.000 % | 1945.04/1945.05 c | 7901825 | 2030 212446 711172 | 1 384250 61 | 0.000 % | 1945.04/1945.05 c | 7902518 | 2030 212446 711172 | 1 384943 61 | 0.000 % | 1945.04/1945.05 c | 7904881 | 2030 212446 711172 | 1 387306 61 | 0.000 % | 1945.04/1945.05 c | 7928455 | 2030 212446 711172 | 1 211877 40 | 0.000 % | 1945.04/1945.05 c | 7933722 | 2030 212446 711172 | 1 217144 41 | 0.000 % | 1945.04/1945.05 c | 7938696 | 2030 212446 711172 | 1 222118 42 | 0.000 % | 1945.04/1945.05 c | 7940401 | 2030 212446 711172 | 1 223823 43 | 0.000 % | 1945.04/1945.05 c | 7943694 | 2030 212446 711172 | 1 227116 44 | 0.000 % | 1945.04/1945.05 c | 7948830 | 2030 212446 711172 | 1 232252 45 | 0.000 % | 1945.04/1945.05 c | 8041234 | 2030 212446 711172 | 1 324656 53 | 0.000 % | 1945.04/1945.05 c | 8041335 | 2030 212446 711172 | 1 324757 53 | 0.000 % | 1945.04/1945.05 c | 8041454 | 2030 212446 711172 | 1 324876 53 | 0.000 % | 1945.04/1945.05 c | 8043424 | 2030 212446 711172 | 1 326846 53 | 0.000 % | 1945.04/1945.05 c | 8043938 | 2030 212446 711172 | 1 327360 53 | 0.000 % | 1945.04/1945.05 c | 8044427 | 2030 212446 711172 | 1 327849 53 | 0.000 % | 1945.04/1945.05 c | 8095979 | 2030 212446 711172 | 1 379401 57 | 0.000 % | 1945.04/1945.05 c | 8101687 | 2030 212446 711172 | 1 385109 58 | 0.000 % | 1945.04/1945.05 c | 8104650 | 2030 212446 711172 | 1 388072 58 | 0.000 % | 2103.85/2103.81 c | 8118699 | 2030 212446 711172 | 1 402121 59 | 0.000 % | 2103.85/2103.81 c | 8123907 | 2030 212446 711172 | 1 205729 37 | 0.000 % | 2103.85/2103.81 c | 8124008 | 2030 212446 711172 | 1 205830 37 | 0.000 % | 2103.85/2103.81 c | 8125030 | 2030 212446 711172 | 1 206852 38 | 0.000 % | 2103.85/2103.81 c | 8159868 | 2030 212446 711172 | 1 241690 44 | 0.000 % | 2103.85/2103.81 c | 8172956 | 2030 212446 711172 | 1 254778 45 | 0.000 % | 2103.85/2103.81 c | 8193693 | 2030 212446 711172 | 1 275515 48 | 0.000 % | 2103.85/2103.81 c | 8227937 | 2030 212446 711172 | 1 309759 51 | 0.000 % | 2103.85/2103.81 c | 8233604 | 2030 212446 711172 | 1 315426 52 | 0.000 % | 2103.85/2103.81 c | 8241478 | 2030 212446 711172 | 1 323300 53 | 0.000 % | 2103.85/2103.81 c | 8243143 | 2030 212446 711172 | 1 324965 53 | 0.000 % | 2103.85/2103.81 c | 8250520 | 2030 212446 711172 | 1 332342 53 | 0.000 % | 2103.85/2103.81 c | 8250666 | 2030 212446 711172 | 1 332488 53 | 0.000 % | 2103.85/2103.81 c | 8256038 | 2030 212446 711172 | 1 337860 54 | 0.000 % | 2103.85/2103.81 c | 8270926 | 2030 212446 711172 | 1 352748 55 | 0.000 % | 2103.85/2103.81 c | 8281739 | 2030 212446 711172 | 1 363561 56 | 0.000 % | 2103.85/2103.81 c | 8281842 | 2030 212446 711172 | 1 363664 56 | 0.000 % | 2103.85/2103.81 c | 8300353 | 2030 212446 711172 | 1 382175 58 | 0.000 % | 2103.85/2103.81 c | 8339192 | 2030 212446 711172 | 1 216818 38 | 0.000 % | 2103.85/2103.81 c | 8343126 | 2030 212446 711172 | 1 220752 39 | 0.000 % | 2103.85/2103.81 c | 8345905 | 2030 212446 711172 | 1 223531 40 | 0.000 % | 2103.85/2103.81 c | 8350362 | 2030 212446 711172 | 1 227988 40 | 0.000 % | 2103.85/2103.81 c | 8354629 | 2030 212446 711172 | 1 232255 41 | 0.000 % | 2103.85/2103.81 c | 8357795 | 2030 212446 711172 | 1 235421 42 | 0.000 % | 2103.85/2103.81 c | 8362644 | 2030 212446 711172 | 1 240270 43 | 0.000 % | 2103.85/2103.81 c | 8362744 | 2030 212446 711172 | 1 240370 43 | 0.000 % | 2103.85/2103.81 c | 8363509 | 2030 212446 711172 | 1 241135 43 | 0.000 % | 2103.85/2103.81 c | 8378110 | 2030 212446 711172 | 1 255736 45 | 0.000 % | 2103.85/2103.81 c | 8378851 | 2030 212446 711172 | 1 256477 46 | 0.000 % | 2103.85/2103.81 c | 8380625 | 2030 212446 711172 | 1 258251 46 | 0.000 % | 2103.85/2103.81 c | 8388312 | 2030 212446 711172 | 1 265938 47 | 0.000 % | 2103.85/2103.81 c | 8405173 | 2030 212446 711172 | 1 282799 49 | 0.000 % | 2103.85/2103.81 c | 8409158 | 2030 212446 711172 | 1 286784 49 | 0.000 % | 2103.85/2103.81 c | 8411232 | 2030 212446 711172 | 1 288858 49 | 0.000 % | 2103.85/2103.81 c | 8418469 | 2030 212446 711172 | 1 296095 50 | 0.000 % | 2103.85/2103.81 c | 8471930 | 2030 212446 711172 | 1 349556 55 | 0.000 % | 2103.85/2103.81 c | 8472108 | 2030 212446 711172 | 1 349734 55 | 0.000 % | 2103.85/2103.81 c | 8480626 | 2030 212446 711172 | 1 358252 56 | 0.000 % | 2103.85/2103.81 c | 8500367 | 2030 212446 711172 | 1 377993 57 | 0.000 % | 2103.85/2103.81 c | 8505766 | 2030 212446 711172 | 1 383392 57 | 0.000 % | 2103.85/2103.81 c | 8506108 | 2030 212446 711172 | 1 383734 58 | 0.000 % | 2103.85/2103.81 c | 8506379 | 2030 212446 711172 | 1 384005 58 | 0.000 % | 2103.85/2103.81 c | 8522519 | 2030 212446 711172 | 1 400145 59 | 0.000 % | 2103.85/2103.81 c | 8545192 | 2030 212446 711172 | 1 216017 38 | 0.000 % | 2103.85/2103.81 c | 8545873 | 2030 212446 711172 | 1 216698 38 | 0.000 % | 2103.85/2103.81 c | 8547686 | 2030 212446 711172 | 1 218511 39 | 0.000 % | 2103.85/2103.81 c | 8555975 | 2030 212446 711172 | 1 226800 40 | 0.000 % | 2103.85/2103.81 c | 8593193 | 2030 212446 711172 | 1 264018 45 | 0.000 % | 2103.85/2103.81 c | 8595241 | 2030 212446 711172 | 1 266066 46 | 0.000 % | 2103.85/2103.81 c | 8603620 | 2030 212446 711172 | 1 274445 47 | 0.000 % | 2272.15/2272.10 c | 8603726 | 2030 212446 711172 | 1 274551 47 | 0.000 % | 2272.15/2272.10 c | 8609455 | 2030 212446 711172 | 1 280280 48 | 0.000 % | 2272.15/2272.10 c | 8637041 | 2030 212446 711172 | 1 307866 50 | 0.000 % | 2272.15/2272.10 c | 8664620 | 2030 212446 711172 | 1 335445 53 | 0.000 % | 2272.15/2272.10 c | 8664721 | 2030 212446 711172 | 1 335546 53 | 0.000 % | 2272.15/2272.10 c | 8665097 | 2030 212446 711172 | 1 335922 53 | 0.000 % | 2272.15/2272.10 c | 8672634 | 2030 212446 711172 | 1 343459 54 | 0.000 % | 2272.15/2272.10 c | 8673099 | 2030 212446 711172 | 1 343924 54 | 0.000 % | 2272.15/2272.10 c | 8677798 | 2030 212446 711172 | 1 348623 54 | 0.000 % | 2272.15/2272.10 c | 8678161 | 2030 212446 711172 | 1 348986 54 | 0.000 % | 2272.15/2272.10 c | 8684149 | 2030 212446 711172 | 1 354974 55 | 0.000 % | 2272.15/2272.10 c | 8731563 | 2030 212446 711172 | 1 402388 58 | 0.000 % | 2272.15/2272.10 c | 8785207 | 2030 212446 711172 | 1 246630 43 | 0.000 % | 2272.15/2272.10 c | 8789800 | 2030 212446 711172 | 1 251223 44 | 0.000 % | 2272.15/2272.10 c | 8808679 | 2030 212446 711172 | 1 270102 46 | 0.000 % | 2272.15/2272.10 c | 8845782 | 2030 212446 711172 | 1 307205 50 | 0.000 % | 2272.15/2272.10 c | 8846359 | 2030 212446 711172 | 1 307782 50 | 0.000 % | 2272.15/2272.10 c | 8851238 | 2030 212446 711172 | 1 312661 51 | 0.000 % | 2272.15/2272.10 c | 8855163 | 2030 212446 711172 | 1 316586 51 | 0.000 % | 2272.15/2272.10 c | 8869138 | 2030 212446 711172 | 1 330561 52 | 0.000 % | 2272.15/2272.10 c | 8901047 | 2030 212446 711172 | 1 362470 54 | 0.000 % | 2272.15/2272.10 c | 8913170 | 2030 212446 711172 | 1 374593 55 | 0.000 % | 2272.15/2272.10 c | 8920285 | 2030 212446 711172 | 1 381708 55 | 0.000 % | 2272.15/2272.10 c | 8932071 | 2030 212446 711172 | 1 393494 56 | 0.000 % | 2272.15/2272.10 c | 8938031 | 2030 212446 711172 | 1 399454 56 | 0.000 % | 2272.15/2272.10 c | 8941502 | 2030 212446 711172 | 1 402925 56 | 0.000 % | 2272.15/2272.10 c | 8942734 | 2030 212446 711172 | 1 404157 57 | 0.000 % | 2272.15/2272.10 c | 8949227 | 2030 212446 711172 | 1 410650 57 | 0.000 % | 2272.15/2272.10 c | 8949328 | 2030 212446 711172 | 1 410751 57 | 0.000 % | 2272.15/2272.10 c | 8949438 | 2030 212446 711172 | 1 410861 57 | 0.000 % | 2272.15/2272.10 c | 8949539 | 2030 212446 711172 | 1 410962 57 | 0.000 % | 2272.15/2272.10 c | 8962510 | 2030 212446 711172 | 1 423933 58 | 0.000 % | 2272.15/2272.10 c | 8980999 | 2030 212446 711172 | 1 230418 39 | 0.000 % | 2272.15/2272.10 c | 8986167 | 2030 212446 711172 | 1 235586 39 | 0.000 % | 2272.15/2272.10 c | 8998344 | 2030 212446 711172 | 1 247763 41 | 0.000 % | 2272.15/2272.10 c | 9000189 | 2030 212446 711172 | 1 249608 42 | 0.000 % | 2272.15/2272.10 c | 9002193 | 2030 212446 711172 | 1 251612 42 | 0.000 % | 2272.15/2272.10 c | 9012580 | 2030 212446 711172 | 1 261999 43 | 0.000 % | 2272.15/2272.10 c | 9016533 | 2030 212446 711172 | 1 265952 44 | 0.000 % | 2272.15/2272.10 c | 9016635 | 2030 212446 711172 | 1 266054 44 | 0.000 % | 2272.15/2272.10 c | 9026374 | 2030 212446 711172 | 1 275793 45 | 0.000 % | 2272.15/2272.10 c | 9026898 | 2030 212446 711172 | 1 276317 45 | 0.000 % | 2272.15/2272.10 c | 9027226 | 2030 212446 711172 | 1 276645 45 | 0.000 % | 2272.15/2272.10 c | 9027923 | 2030 212446 711172 | 1 277342 45 | 0.000 % | 2272.15/2272.10 c | 9028446 | 2030 212446 711172 | 1 277865 45 | 0.000 % | 2272.15/2272.10 c | 9029084 | 2030 212446 711172 | 1 278503 45 | 0.000 % | 2272.15/2272.10 c | 9029189 | 2030 212446 711172 | 1 278608 45 | 0.000 % | 2272.15/2272.10 c | 9029785 | 2030 212446 711172 | 1 279204 45 | 0.000 % | 2272.15/2272.10 c | 9055961 | 2030 212446 711172 | 1 305380 49 | 0.000 % | 2272.15/2272.10 c | 9064275 | 2030 212446 711172 | 1 313694 50 | 0.000 % | 2453.96/2453.92 c | 9080415 | 2030 212446 711172 | 1 329834 52 | 0.000 % | 2453.96/2453.92 c | 9080517 | 2030 212446 711172 | 1 329936 52 | 0.000 % | 2453.96/2453.92 c | 9090957 | 2030 212446 711172 | 1 340376 52 | 0.000 % | 2453.96/2453.92 c | 9093429 | 2030 212446 711172 | 1 342848 53 | 0.000 % | 2453.96/2453.92 c | 9093530 | 2030 212446 711172 | 1 342949 53 | 0.000 % | 2453.96/2453.92 c | 9111918 | 2030 212446 711172 | 1 361337 54 | 0.000 % | 2453.96/2453.92 c | 9138148 | 2030 212446 711172 | 1 387567 56 | 0.000 % | 2453.96/2453.92 c | 9152414 | 2030 212446 711172 | 1 401833 56 | 0.000 % | 2453.96/2453.92 c | 9169158 | 2030 212446 711172 | 1 418577 57 | 0.000 % | 2453.96/2453.92 c | 9181931 | 2030 212446 711172 | 1 216762 36 | 0.000 % | 2453.96/2453.92 c | 9185225 | 2030 212446 711172 | 1 220056 36 | 0.000 % | 2453.96/2453.92 c | 9195835 | 2030 212446 711172 | 1 230666 38 | 0.000 % | 2453.96/2453.92 c | 9212567 | 2030 212446 711172 | 1 247398 40 | 0.000 % | 2453.96/2453.92 c | 9219103 | 2030 212446 711172 | 1 253934 41 | 0.000 % | 2453.96/2453.92 c | 9220936 | 2030 212446 711172 | 1 255767 42 | 0.000 % | 2453.96/2453.92 c | 9221254 | 2030 212446 711172 | 1 256085 42 | 0.000 % | 2453.96/2453.92 c | 9222799 | 2030 212446 711172 | 1 257630 42 | 0.000 % | 2453.96/2453.92 c | 9226253 | 2030 212446 711172 | 1 261084 43 | 0.000 % | 2453.96/2453.92 c | 9226956 | 2030 212446 711172 | 1 261787 43 | 0.000 % | 2453.96/2453.92 c | 9233522 | 2030 212446 711172 | 1 268353 44 | 0.000 % | 2453.96/2453.92 c | 9234131 | 2030 212446 711172 | 1 268962 44 | 0.000 % | 2453.96/2453.92 c | 9238358 | 2030 212446 711172 | 1 273189 44 | 0.000 % | 2453.96/2453.92 c | 9238498 | 2030 212446 711172 | 1 273329 44 | 0.000 % | 2453.96/2453.92 c | 9239043 | 2030 212446 711172 | 1 273874 44 | 0.000 % | 2453.96/2453.92 c | 9296496 | 2030 212446 711172 | 1 331327 51 | 0.000 % | 2453.96/2453.92 c | 9303706 | 2030 212446 711172 | 1 338537 52 | 0.000 % | 2453.96/2453.92 c | 9305441 | 2030 212446 711172 | 1 340272 52 | 0.000 % | 2453.96/2453.92 c | 9305541 | 2030 212446 711172 | 1 340372 52 | 0.000 % | 2453.96/2453.92 c | 9307872 | 2030 212446 711172 | 1 342703 52 | 0.000 % | 2453.96/2453.92 c | 9328886 | 2030 212446 711172 | 1 363717 54 | 0.000 % | 2453.96/2453.92 c | 9332725 | 2030 212446 711172 | 1 367556 54 | 0.000 % | 2453.96/2453.92 c | 9332828 | 2030 212446 711172 | 1 367659 54 | 0.000 % | 2453.96/2453.92 c | 9335750 | 2030 212446 711172 | 1 370581 55 | 0.000 % | 2453.96/2453.92 c | 9336925 | 2030 212446 711172 | 1 371756 55 | 0.000 % | 2453.96/2453.92 c | 9423651 | 2030 212446 711172 | 1 241280 39 | 0.000 % | 2453.96/2453.92 c | 9424367 | 2030 212446 711172 | 1 241996 39 | 0.000 % | 2453.96/2453.92 c | 9427967 | 2030 212446 711172 | 1 245596 40 | 0.000 % | 2453.96/2453.92 c | 9429011 | 2030 212446 711172 | 1 246640 40 | 0.000 % | 2453.96/2453.92 c | 9443297 | 2030 212446 711172 | 1 260926 43 | 0.000 % | 2453.96/2453.92 c | 9444235 | 2030 212446 711172 | 1 261864 43 | 0.000 % | 2453.96/2453.92 c | 9465149 | 2030 212446 711172 | 1 282778 46 | 0.000 % | 2453.96/2453.92 c | 9466718 | 2030 212446 711172 | 1 284347 46 | 0.000 % | 2453.96/2453.92 c | 9548457 | 2030 212446 711172 | 1 366086 53 | 0.000 % | 2453.96/2453.92 c | 9551261 | 2030 212446 711172 | 1 368890 53 | 0.000 % | 2453.96/2453.92 c | 9551531 | 2030 212446 711172 | 1 369160 53 | 0.000 % | 2453.96/2453.92 c | 9554929 | 2030 212446 711172 | 1 372558 54 | 0.000 % | 2453.96/2453.92 c | 9556332 | 2030 212446 711172 | 1 373961 54 | 0.000 % | 2453.96/2453.92 c | 9556573 | 2030 212446 711172 | 1 374202 54 | 0.000 % | 2453.96/2453.92 c | 9559459 | 2030 212446 711172 | 1 377088 54 | 0.000 % | 2453.96/2453.92 c | 9561788 | 2030 212446 711172 | 1 379417 54 | 0.000 % | 2582.56/2582.55 c | 9562455 | 2030 212446 711172 | 1 380084 54 | 0.000 % | 2582.56/2582.55 c | 9594053 | 2030 212446 711172 | 1 411682 56 | 0.000 % | 2582.56/2582.55 c | 9595657 | 2030 212446 711172 | 1 413286 56 | 0.000 % | 2582.56/2582.55 c | 9596571 | 2030 212446 711172 | 1 414200 56 | 0.000 % | 2582.56/2582.55 c | 9596672 | 2030 212446 711172 | 1 414301 56 | 0.000 % | 2582.56/2582.55 c | 9601196 | 2030 212446 711172 | 1 418825 56 | 0.000 % | 2582.56/2582.55 c | 9606740 | 2030 212446 711172 | 1 424369 56 | 0.000 % | 2582.56/2582.55 c | 9631275 | 2030 212446 711172 | 1 229095 38 | 0.000 % | 2582.56/2582.55 c | 9672577 | 2030 212446 711172 | 1 270397 46 | 0.000 % | 2582.56/2582.55 c | 9683956 | 2030 212446 711172 | 1 281776 47 | 0.000 % | 2582.56/2582.55 c | 9686957 | 2030 212446 711172 | 1 284777 47 | 0.000 % | 2582.56/2582.55 c | 9689219 | 2030 212446 711172 | 1 287039 47 | 0.000 % | 2582.56/2582.55 c | 9694841 | 2030 212446 711172 | 1 292661 48 | 0.000 % | 2582.56/2582.55 c | 9705706 | 2030 212446 711172 | 1 303526 49 | 0.000 % | 2582.56/2582.55 c | 9705921 | 2030 212446 711172 | 1 303741 49 | 0.000 % | 2582.56/2582.55 c | 9710300 | 2030 212446 711172 | 1 308120 49 | 0.000 % | 2582.56/2582.55 c | 9719922 | 2030 212446 711172 | 1 317742 50 | 0.000 % | 2582.56/2582.55 c | 9721164 | 2030 212446 711172 | 1 318984 50 | 0.000 % | 2582.56/2582.55 c | 9722703 | 2030 212446 711172 | 1 320523 51 | 0.000 % | 2582.56/2582.55 c | 9727328 | 2030 212446 711172 | 1 325148 51 | 0.000 % | 2582.56/2582.55 c | 9728208 | 2030 212446 711172 | 1 326028 51 | 0.000 % | 2582.56/2582.55 c | 9728312 | 2030 212446 711172 | 1 326132 51 | 0.000 % | 2582.56/2582.55 c | 9729488 | 2030 212446 711172 | 1 327308 51 | 0.000 % | 2582.56/2582.55 c | 9737101 | 2030 212446 711172 | 1 334921 52 | 0.000 % | 2582.56/2582.55 c | 9756216 | 2030 212446 711172 | 1 354036 54 | 0.000 % | 2582.56/2582.55 c | 9762333 | 2030 212446 711172 | 1 360153 54 | 0.000 % | 2582.56/2582.55 c | 9822828 | 2030 212446 711172 | 1 420648 59 | 0.000 % | 2582.56/2582.55 c | 9823225 | 2030 212446 711172 | 1 421045 59 | 0.000 % | 2582.56/2582.55 c | 9827158 | 2030 212446 711172 | 1 424978 59 | 0.000 % | 2582.56/2582.55 c | 9829225 | 2030 212446 711172 | 1 427045 59 | 0.000 % | 2582.56/2582.55 c | 9837081 | 2030 212446 711172 | 1 434901 60 | 0.000 % | 2582.56/2582.55 c | 9843057 | 2030 212446 711172 | 1 440877 60 | 0.000 % | 2582.56/2582.55 c | 9846182 | 2030 212446 711172 | 1 444002 60 | 0.000 % | 2582.56/2582.55 c | 9846991 | 2030 212446 711172 | 1 444811 60 | 0.000 % | 2582.56/2582.55 c | 9847097 | 2030 212446 711172 | 1 222508 36 | 0.000 % | 2582.56/2582.55 c | 9847199 | 2030 212446 711172 | 1 222610 36 | 0.000 % | 2582.56/2582.55 c | 9850868 | 2030 212446 711172 | 1 226279 37 | 0.000 % | 2582.56/2582.55 c | 9855453 | 2030 212446 711172 | 1 230864 38 | 0.000 % | 2582.56/2582.55 c | 9855649 | 2030 212446 711172 | 1 231060 38 | 0.000 % | 2582.56/2582.55 c | 9855991 | 2030 212446 711172 | 1 231402 38 | 0.000 % | 2582.56/2582.55 c | 9884727 | 2030 212446 711172 | 1 260138 44 | 0.000 % | 2582.56/2582.55 c | 9884856 | 2030 212446 711172 | 1 260267 44 | 0.000 % | 2582.56/2582.55 c | 9902599 | 2030 212446 711172 | 1 278010 47 | 0.000 % | 2582.56/2582.55 c | 9902747 | 2030 212446 711172 | 1 278158 47 | 0.000 % | 2582.56/2582.55 c | 9903093 | 2030 212446 711172 | 1 278504 47 | 0.000 % | 2582.56/2582.55 c | 9904992 | 2030 212446 711172 | 1 280403 47 | 0.000 % | 2582.56/2582.55 c | 9913699 | 2030 212446 711172 | 1 289110 48 | 0.000 % | 2582.56/2582.55 c | 9928891 | 2030 212446 711172 | 1 304302 50 | 0.000 % | 2582.56/2582.55 c | 9940002 | 2030 212446 711172 | 1 315413 51 | 0.000 % | 2582.56/2582.55 c | 9941238 | 2030 212446 711172 | 1 316649 51 | 0.000 % | 2752.76/2752.72 c | 9953029 | 2030 212446 711172 | 1 328440 52 | 0.000 % | 2752.76/2752.72 c | 10000677 | 2030 212446 711172 | 1 376088 55 | 0.000 % | 2752.76/2752.72 c | 10013550 | 2030 212446 711172 | 1 388961 56 | 0.000 % | 2752.76/2752.72 c | 10042138 | 2030 212446 711172 | 1 417549 58 | 0.000 % | 2752.76/2752.72 c | 10042238 | 2030 212446 711172 | 1 417649 58 | 0.000 % | 2752.76/2752.72 c | 10042353 | 2030 212446 711172 | 1 417764 58 | 0.000 % | 2752.76/2752.72 c | 10043952 | 2030 212446 711172 | 1 419363 58 | 0.000 % | 2752.76/2752.72 c | 10045884 | 2030 212446 711172 | 1 421295 58 | 0.000 % | 2752.76/2752.72 c | 10066702 | 2030 212446 711172 | 1 442113 59 | 0.000 % | 2752.76/2752.72 c | 10067351 | 2030 212446 711172 | 1 442762 59 | 0.000 % | 2752.76/2752.72 c | 10093057 | 2030 212446 711172 | 1 243475 40 | 0.000 % | 2752.76/2752.72 c | 10102713 | 2030 212446 711172 | 1 253131 42 | 0.000 % | 2752.76/2752.72 c | 10102967 | 2030 212446 711172 | 1 253385 42 | 0.000 % | 2752.76/2752.72 c | 10105596 | 2030 212446 711172 | 1 256014 43 | 0.000 % | 2752.76/2752.72 c | 10105697 | 2030 212446 711172 | 1 256115 43 | 0.000 % | 2752.76/2752.72 c | 10105797 | 2030 212446 711172 | 1 256215 43 | 0.000 % | 2752.76/2752.72 c | 10132776 | 2030 212446 711172 | 1 283194 46 | 0.000 % | 2752.76/2752.72 c | 10132877 | 2030 212446 711172 | 1 283295 46 | 0.000 % | 2752.76/2752.72 c | 10141617 | 2030 212446 711172 | 1 292035 47 | 0.000 % | 2752.76/2752.72 c | 10154461 | 2030 212446 711172 | 1 304879 49 | 0.000 % | 2752.76/2752.72 c | 10159509 | 2030 212446 711172 | 1 309927 49 | 0.000 % | 2752.76/2752.72 c | 10162455 | 2030 212446 711172 | 1 312873 50 | 0.000 % | 2752.76/2752.72 c | 10171741 | 2030 212446 711172 | 1 322159 52 | 0.000 % | 2752.76/2752.72 c | 10172611 | 2030 212446 711172 | 1 323029 52 | 0.000 % | 2752.76/2752.72 c | 10240698 | 2030 212446 711172 | 1 391116 58 | 0.000 % | 2752.76/2752.72 c | 10241908 | 2030 212446 711172 | 1 392326 58 | 0.000 % | 2752.76/2752.72 c | 10242008 | 2030 212446 711172 | 1 392426 58 | 0.000 % | 2752.76/2752.72 c | 10242110 | 2030 212446 711172 | 1 392528 58 | 0.000 % | 2752.76/2752.72 c | 10244909 | 2030 212446 711172 | 1 395327 59 | 0.000 % | 2752.76/2752.72 c | 10257526 | 2030 212446 711172 | 1 407944 59 | 0.000 % | 2752.76/2752.72 c | 10264922 | 2030 212446 711172 | 1 415340 60 | 0.000 % | 2752.76/2752.72 c | 10288545 | 2030 212446 711172 | 1 438963 61 | 0.000 % | 2752.76/2752.72 c | 10288753 | 2030 212446 711172 | 1 439171 61 | 0.000 % | 2752.76/2752.72 c | 10289451 | 2030 212446 711172 | 1 439869 61 | 0.000 % | 2752.76/2752.72 c | 10292525 | 2030 212446 711172 | 1 442943 61 | 0.000 % | 2752.76/2752.72 c | 10295983 | 2030 212446 711172 | 1 446401 62 | 0.000 % | 2752.76/2752.72 c | 10296935 | 2030 212446 711172 | 1 447353 62 | 0.000 % | 2752.76/2752.72 c | 10315543 | 2030 212446 711172 | 1 238363 40 | 0.000 % | 2752.76/2752.72 c | 10334781 | 2030 212446 711172 | 1 257601 44 | 0.000 % | 2752.76/2752.72 c | 10351173 | 2030 212446 711172 | 1 273993 46 | 0.000 % | 2752.76/2752.72 c | 10366781 | 2030 212446 711172 | 1 289601 48 | 0.000 % | 2752.76/2752.72 c | 10400432 | 2030 212446 711172 | 1 323252 53 | 0.000 % | 2752.76/2752.72 c | 10400536 | 2030 212446 711172 | 1 323356 53 | 0.000 % | 2752.76/2752.72 c | 10402432 | 2030 212446 711172 | 1 325252 54 | 0.000 % | 2752.76/2752.72 c | 10403125 | 2030 212446 711172 | 1 325945 54 | 0.000 % | 2752.76/2752.72 c | 10403227 | 2030 212446 711172 | 1 326047 54 | 0.000 % | 2752.76/2752.72 c | 10447120 | 2030 212446 711172 | 1 369940 59 | 0.000 % | 2752.76/2752.72 c | 10449176 | 2030 212446 711172 | 1 371996 59 | 0.000 % | 2752.76/2752.72 c | 10450144 | 2030 212446 711172 | 1 372964 60 | 0.000 % | 2752.76/2752.72 c | 10452918 | 2030 212446 711172 | 1 375738 60 | 0.000 % | 2923.18/2923.11 c | 10463704 | 2030 212446 711172 | 1 386524 60 | 0.000 % | 2923.18/2923.11 c | 10466828 | 2030 212446 711172 | 1 389648 61 | 0.000 % | 2923.18/2923.11 c | 10470230 | 2030 212446 711172 | 1 393050 61 | 0.000 % | 2923.18/2923.11 c | 10472435 | 2030 212446 711172 | 1 395255 61 | 0.000 % | 2923.18/2923.11 c | 10472707 | 2030 212446 711172 | 1 395527 61 | 0.000 % | 2923.18/2923.11 c | 10474416 | 2030 212446 711172 | 1 397236 61 | 0.000 % | 2923.18/2923.11 c | 10479088 | 2030 212446 711172 | 1 401908 61 | 0.000 % | 2923.18/2923.11 c | 10479188 | 2030 212446 711172 | 1 402008 61 | 0.000 % | 2923.18/2923.11 c | 10484131 | 2030 212446 711172 | 1 406951 62 | 0.000 % | 2923.18/2923.11 c | 10487646 | 2030 212446 711172 | 1 410466 62 | 0.000 % | 2923.18/2923.11 c | 10487746 | 2030 212446 711172 | 1 410566 62 | 0.000 % | 2923.18/2923.11 c | 10492182 | 2030 212446 711172 | 1 415002 63 | 0.000 % | 2923.18/2923.11 c | 10493449 | 2030 212446 711172 | 1 416269 63 | 0.000 % | 2923.18/2923.11 c | 10497219 | 2030 212446 711172 | 1 420039 63 | 0.000 % | 2923.18/2923.11 c | 10497385 | 2030 212446 711172 | 1 420205 63 | 0.000 % | 2923.18/2923.11 c | 10498545 | 2030 212446 711172 | 1 421365 63 | 0.000 % | 2923.18/2923.11 c | 10498651 | 2030 212446 711172 | 1 421471 63 | 0.000 % | 2923.18/2923.11 c | 10556700 | 2030 212446 711172 | 1 249326 44 | 0.000 % | 2923.18/2923.11 c | 10563004 | 2030 212446 711172 | 1 255630 45 | 0.000 % | 2923.18/2923.11 c | 10607610 | 2030 212446 711172 | 1 300236 51 | 0.000 % | 2923.18/2923.11 c | 10611311 | 2030 212446 711172 | 1 303937 52 | 0.000 % | 2923.18/2923.11 c | 10626571 | 2030 212446 711172 | 1 319197 53 | 0.000 % | 2923.18/2923.11 c | 10626695 | 2030 212446 711172 | 1 319321 53 | 0.000 % | 2923.18/2923.11 c | 10628399 | 2030 212446 711172 | 1 321025 54 | 0.000 % | 2923.18/2923.11 c | 10642999 | 2030 212446 711172 | 1 335625 55 | 0.000 % | 2923.18/2923.11 c | 10689657 | 2030 212446 711172 | 1 382283 57 | 0.000 % | 2923.18/2923.11 c | 10690990 | 2030 212446 711172 | 1 383616 58 | 0.000 % | 2923.18/2923.11 c | 10694448 | 2030 212446 711172 | 1 387074 58 | 0.000 % | 2923.18/2923.11 c | 10704105 | 2030 212446 711172 | 1 396731 59 | 0.000 % | 2923.18/2923.11 c | 10704263 | 2030 212446 711172 | 1 396889 59 | 0.000 % | 2923.18/2923.11 c | 10704364 | 2030 212446 711172 | 1 396990 59 | 0.000 % | 2923.18/2923.11 c | 10705024 | 2030 212446 711172 | 1 397650 59 | 0.000 % | 2923.18/2923.11 c | 10710858 | 2030 212446 711172 | 1 403484 60 | 0.000 % | 2923.18/2923.11 c | 10712159 | 2030 212446 711172 | 1 404785 60 | 0.000 % | 2923.18/2923.11 c | 10718035 | 2030 212446 711172 | 1 410661 60 | 0.000 % | 2923.18/2923.11 c | 10760508 | 2030 212446 711172 | 1 453134 63 | 0.000 % | 2923.18/2923.11 c | 10760609 | 2030 212446 711172 | 1 453235 63 | 0.000 % | 2923.18/2923.11 c | 10770231 | 2030 212446 711172 | 1 462857 64 | 0.000 % | 2923.18/2923.11 c | 10827486 | 2030 212446 711172 | 1 287301 49 | 0.000 % | 2923.18/2923.11 c | 10830721 | 2030 212446 711172 | 1 290536 49 | 0.000 % | 2923.18/2923.11 c | 10831516 | 2030 212446 711172 | 1 291331 49 | 0.000 % | 2923.18/2923.11 c | 10831787 | 2030 212446 711172 | 1 291602 49 | 0.000 % | 2923.18/2923.11 c | 10858532 | 2030 212446 711172 | 1 318347 52 | 0.000 % | 2923.18/2923.11 c | 10859104 | 2030 212446 711172 | 1 318919 52 | 0.000 % | 2923.18/2923.11 c | 10952892 | 2030 212446 711172 | 1 412707 58 | 0.000 % | 2923.18/2923.11 c | 10961644 | 2030 212446 711172 | 1 421459 58 | 0.000 % | 2923.18/2923.11 c | 10977737 | 2030 212446 711172 | 1 437552 59 | 0.000 % | 2923.18/2923.11 c | 10980057 | 2030 212446 711172 | 1 439872 60 | 0.000 % | 2923.18/2923.11 c | 11031754 | 2030 212446 711172 | 1 256181 41 | 0.000 % | 2923.18/2923.11 c | 11034629 | 2030 212446 711172 | 1 259056 41 | 0.000 % | 3154.48/3154.42 c | 11091473 | 2030 212446 711172 | 1 315900 48 | 0.000 % | 3154.48/3154.42 c | 11126051 | 2030 212446 711172 | 1 350478 51 | 0.000 % | 3154.48/3154.42 c | 11159584 | 2030 212446 711172 | 1 384011 54 | 0.000 % | 3154.48/3154.42 c | 11169286 | 2030 212446 711172 | 1 393713 55 | 0.000 % | 3154.48/3154.42 c | 11206178 | 2030 212446 711172 | 1 430605 57 | 0.000 % | 3154.48/3154.42 c | 11206278 | 2030 212446 711172 | 1 430705 57 | 0.000 % | 3154.48/3154.42 c | 11208992 | 2030 212446 711172 | 1 433419 57 | 0.000 % | 3154.48/3154.42 c | 11276429 | 2030 212446 711172 | 1 262855 39 | 0.000 % | 3154.48/3154.42 c | 11279005 | 2030 212446 711172 | 1 265431 39 | 0.000 % | 3154.48/3154.42 c | 11281466 | 2030 212446 711172 | 1 267892 40 | 0.000 % | 3154.48/3154.42 c | 11283233 | 2030 212446 711172 | 1 269659 40 | 0.000 % | 3154.48/3154.42 c | 11283659 | 2030 212446 711172 | 1 270085 40 | 0.000 % | 3154.48/3154.42 c | 11287128 | 2030 212446 711172 | 1 273554 41 | 0.000 % | 3154.48/3154.42 c | 11289209 | 2030 212446 711172 | 1 275635 41 | 0.000 % | 3154.48/3154.42 c | 11289819 | 2030 212446 711172 | 1 276245 41 | 0.000 % | 3154.48/3154.42 c | 11327859 | 2030 212446 711172 | 1 314285 45 | 0.000 % | 3154.48/3154.42 c | 11348068 | 2030 212446 711172 | 1 334494 48 | 0.000 % | 3154.48/3154.42 c | 11352351 | 2030 212446 711172 | 1 338777 48 | 0.000 % | 3154.48/3154.42 c | 11360533 | 2030 212446 711172 | 1 346959 49 | 0.000 % | 3154.48/3154.42 c | 11413339 | 2030 212446 711172 | 1 399765 52 | 0.000 % | 3154.48/3154.42 c | 11414434 | 2030 212446 711172 | 1 400860 52 | 0.000 % | 3154.48/3154.42 c | 11415703 | 2030 212446 711172 | 1 402129 52 | 0.000 % | 3154.48/3154.42 c | 11415838 | 2030 212446 711172 | 1 402264 52 | 0.000 % | 3154.48/3154.42 c | 11416886 | 2030 212446 711172 | 1 403312 52 | 0.000 % | 3154.48/3154.42 c | 11417480 | 2030 212446 711172 | 1 403906 52 | 0.000 % | 3154.48/3154.42 c | 11417584 | 2030 212446 711172 | 1 404010 52 | 0.000 % | 3154.48/3154.42 c | 11417900 | 2030 212446 711172 | 1 404326 52 | 0.000 % | 3154.48/3154.42 c | 11467227 | 2030 212446 711172 | 1 453653 56 | 0.000 % | 3154.48/3154.42 c | 11469208 | 2030 212446 711172 | 1 455634 56 | 0.000 % | 3154.48/3154.42 c | 11477361 | 2030 212446 711172 | 1 463787 56 | 0.000 % | 3154.48/3154.42 c | 11480402 | 2030 212446 711172 | 1 466828 56 | 0.000 % | 3154.48/3154.42 c | 11490016 | 2030 212446 711172 | 1 476442 57 | 0.000 % | 3154.48/3154.42 c | 11509422 | 2030 212446 711172 | 1 255253 38 | 0.000 % | 3154.48/3154.42 c | 11511458 | 2030 212446 711172 | 1 257289 38 | 0.000 % | 3154.48/3154.42 c | 11518403 | 2030 212446 711172 | 1 264234 39 | 0.000 % | 3154.48/3154.42 c | 11537920 | 2030 212446 711172 | 1 283751 41 | 0.000 % | 3154.48/3154.42 c | 11638279 | 2030 212446 711172 | 1 384110 50 | 0.000 % | 3154.48/3154.42 c | 11669173 | 2030 212446 711172 | 1 415004 52 | 0.000 % | 3154.48/3154.42 c | 11671044 | 2030 212446 711172 | 1 416875 52 | 0.000 % | 3154.48/3154.42 c | 11678062 | 2030 212446 711172 | 1 423893 52 | 0.000 % | 3154.48/3154.42 c | 11691843 | 2030 212446 711172 | 1 437674 53 | 0.000 % | 3154.48/3154.42 c | 11697940 | 2030 212446 711172 | 1 443771 53 | 0.000 % | 3154.48/3154.42 c | 11701027 | 2030 212446 711172 | 1 446858 54 | 0.000 % | 3154.48/3154.42 c | 11701403 | 2030 212446 711172 | 1 447234 54 | 0.000 % | 3154.48/3154.42 c | 11719959 | 2030 212446 711172 | 1 465790 55 | 0.000 % | 3154.48/3154.42 c | 11730468 | 2030 212446 711172 | 1 476299 56 | 0.000 % | 3154.48/3154.42 c | 11733233 | 2030 212446 711172 | 1 479064 56 | 0.000 % | 3154.48/3154.42 c | 11756002 | 2030 212446 711172 | 1 258629 38 | 0.000 % | 3154.48/3154.42 c | 11756298 | 2030 212446 711172 | 1 258925 38 | 0.000 % | 3154.48/3154.42 c | 11772514 | 2030 212446 711172 | 1 275141 40 | 0.000 % | 3484.90/3484.86 c | 11780416 | 2030 212446 711172 | 1 283043 41 | 0.000 % | 3484.90/3484.86 c | 11840249 | 2030 212446 711172 | 1 342876 47 | 0.000 % | 3484.90/3484.86 c | 11841669 | 2030 212446 711172 | 1 344296 47 | 0.000 % | 3484.90/3484.86 c | 11844508 | 2030 212446 711172 | 1 347135 48 | 0.000 % | 3484.90/3484.86 c | 11872857 | 2030 212446 711172 | 1 375484 50 | 0.000 % | 3484.90/3484.86 c | 11908350 | 2030 212446 711172 | 1 410977 52 | 0.000 % | 3484.90/3484.86 c | 11928521 | 2030 212446 711172 | 1 431148 53 | 0.000 % | 3484.90/3484.86 c | 11938656 | 2030 212446 711172 | 1 441283 53 | 0.000 % | 3484.90/3484.86 c | 11938883 | 2030 212446 711172 | 1 441510 53 | 0.000 % | 3484.90/3484.86 c | 11962979 | 2030 212446 711172 | 1 465606 55 | 0.000 % | 3484.90/3484.86 c | 12196660 | 2030 212446 711172 | 1 453490 57 | 0.000 % | 3484.90/3484.86 c | 12204088 | 2030 212446 711172 | 1 460918 58 | 0.000 % | 3484.90/3484.86 c | 12289491 | 2030 212446 711172 | 1 297914 44 | 0.000 % | 3484.90/3484.86 c | 12292018 | 2030 212446 711172 | 1 300441 44 | 0.000 % | 3484.90/3484.86 c | 12292813 | 2030 212446 711172 | 1 301236 44 | 0.000 % | 3484.90/3484.86 c | 12292923 | 2030 212446 711172 | 1 301346 44 | 0.000 % | 3484.90/3484.86 c | 12293132 | 2030 212446 711172 | 1 301555 44 | 0.000 % | 3484.90/3484.86 c | 12338597 | 2030 212446 711172 | 1 347020 49 | 0.000 % | 3484.90/3484.86 c | 12345071 | 2030 212446 711172 | 1 353494 50 | 0.000 % | 3484.90/3484.86 c | 12351591 | 2030 212446 711172 | 1 360014 50 | 0.000 % | 3484.90/3484.86 c | 12352137 | 2030 212446 711172 | 1 360560 50 | 0.000 % | 3484.90/3484.86 c | 12406577 | 2030 212446 711172 | 1 415000 54 | 0.000 % | 3484.90/3484.86 c | 12410863 | 2030 212446 711172 | 1 419286 54 | 0.000 % | 3484.90/3484.86 c | 12411363 | 2030 212446 711172 | 1 419786 54 | 0.000 % | 3484.90/3484.86 c | 12428773 | 2030 212446 711172 | 1 437196 55 | 0.000 % | 3484.90/3484.86 c | 12447261 | 2030 212446 711172 | 1 455684 56 | 0.000 % | 3484.90/3484.86 c | 12456023 | 2030 212446 711172 | 1 464446 56 | 0.000 % | 3484.90/3484.86 c | 12469292 | 2030 212446 711172 | 1 477715 56 | 0.000 % | 3484.90/3484.86 c | 12481008 | 2030 212446 711172 | 1 489431 57 | 0.000 % | 3484.90/3484.86 c | 12491180 | 2030 212446 711172 | 1 499603 58 | 0.000 % | 3484.90/3484.86 c | 12514325 | 2030 212446 711172 | 1 271747 39 | 0.000 % | 3484.90/3484.86 c | 12518908 | 2030 212446 711172 | 1 276330 40 | 0.000 % | 3484.90/3484.86 c | 12528799 | 2030 212446 711172 | 1 286221 41 | 0.000 % | 3484.90/3484.86 c | 12570358 | 2030 212446 711172 | 1 327780 45 | 0.000 % | 3484.90/3484.86 c | 12581497 | 2030 212446 711172 | 1 338919 46 | 0.000 % | 3484.90/3484.86 c | 12583396 | 2030 212446 711172 | 1 340818 46 | 0.000 % | 3484.90/3484.86 c | 12617834 | 2030 212446 711172 | 1 375256 48 | 0.000 % | 3484.90/3484.86 c | 12620156 | 2030 212446 711172 | 1 377578 48 | 0.000 % | 3484.90/3484.86 c | 12651049 | 2030 212446 711172 | 1 408471 51 | 0.000 % | 3484.90/3484.86 c | 12670559 | 2030 212446 711172 | 1 427981 52 | 0.000 % | 3484.90/3484.86 c | 12670659 | 2030 212446 711172 | 1 428081 53 | 0.000 % | 3484.90/3484.86 c | 12680771 | 2030 212446 711172 | 1 438193 53 | 0.000 % | 3484.90/3484.86 c | 12687442 | 2030 212446 711172 | 1 444864 54 | 0.000 % | 3484.90/3484.86 c | 12692687 | 2030 212446 711172 | 1 450109 54 | 0.000 % | 3484.90/3484.86 c | 12701066 | 2030 212446 711172 | 1 458488 55 | 0.000 % | 3484.90/3484.86 c | 12701584 | 2030 212446 711172 | 1 459006 55 | 0.000 % | 3484.90/3484.86 c | 12721518 | 2030 212446 711172 | 1 478940 56 | 0.000 % | 3484.90/3484.86 c | 12721682 | 2030 212446 711172 | 1 479104 56 | 0.000 % | 3484.90/3484.86 c | 12732747 | 2030 212446 711172 | 1 490169 57 | 0.000 % | 3484.90/3484.86 c | 12743309 | 2030 212446 711172 | 1 500731 57 | 0.000 % | 3661.80/3661.71 c | 12750839 | 2030 212446 711172 | 1 254664 36 | 0.000 % | 3661.80/3661.71 c | 12756375 | 2030 212446 711172 | 1 260200 37 | 0.000 % | 3661.80/3661.71 c | 12778512 | 2030 212446 711172 | 1 282337 40 | 0.000 % | 3661.80/3661.71 c | 12779039 | 2030 212446 711172 | 1 282864 40 | 0.000 % | 3661.80/3661.71 c | 12779484 | 2030 212446 711172 | 1 283309 40 | 0.000 % | 3661.80/3661.71 c | 12780609 | 2030 212446 711172 | 1 284434 40 | 0.000 % | 3661.80/3661.71 c | 12782531 | 2030 212446 711172 | 1 286356 40 | 0.000 % | 3661.80/3661.71 c | 12782631 | 2030 212446 711172 | 1 286456 40 | 0.000 % | 3661.80/3661.71 c | 12808750 | 2030 212446 711172 | 1 312575 44 | 0.000 % | 3661.80/3661.71 c | 12809576 | 2030 212446 711172 | 1 313401 44 | 0.000 % | 3661.80/3661.71 c | 12855006 | 2030 212446 711172 | 1 358831 48 | 0.000 % | 3661.80/3661.71 c | 12855630 | 2030 212446 711172 | 1 359455 48 | 0.000 % | 3661.80/3661.71 c | 12858376 | 2030 212446 711172 | 1 362201 49 | 0.000 % | 3661.80/3661.71 c | 12876127 | 2030 212446 711172 | 1 379952 50 | 0.000 % | 3661.80/3661.71 c | 12876338 | 2030 212446 711172 | 1 380163 50 | 0.000 % | 3661.80/3661.71 c | 12902219 | 2030 212446 711172 | 1 406044 52 | 0.000 % | 3661.80/3661.71 c | 12902507 | 2030 212446 711172 | 1 406332 52 | 0.000 % | 3661.80/3661.71 c | 12904119 | 2030 212446 711172 | 1 407944 52 | 0.000 % | 3661.80/3661.71 c | 12912243 | 2030 212446 711172 | 1 416068 53 | 0.000 % | 3661.80/3661.71 c | 12922056 | 2030 212446 711172 | 1 425881 53 | 0.000 % | 3661.80/3661.71 c | 12941577 | 2030 212446 711172 | 1 445402 54 | 0.000 % | 3661.80/3661.71 c | 12942908 | 2030 212446 711172 | 1 446733 54 | 0.000 % | 3661.80/3661.71 c | 12957335 | 2030 212446 711172 | 1 461160 55 | 0.000 % | 3661.80/3661.71 c | 12966391 | 2030 212446 711172 | 1 470216 55 | 0.000 % | 3661.80/3661.71 c | 12969033 | 2030 212446 711172 | 1 472858 56 | 0.000 % | 3661.80/3661.71 c | 12969260 | 2030 212446 711172 | 1 473085 56 | 0.000 % | 3661.80/3661.71 c | 12973863 | 2030 212446 711172 | 1 477688 56 | 0.000 % | 3661.80/3661.71 c | 12973965 | 2030 212446 711172 | 1 477790 56 | 0.000 % | 3661.80/3661.71 c | 12982420 | 2030 212446 711172 | 1 486245 56 | 0.000 % | 3661.80/3661.71 c | 12983045 | 2030 212446 711172 | 1 486870 56 | 0.000 % | 3661.80/3661.71 c | 13007278 | 2030 212446 711172 | 1 511103 58 | 0.000 % | 3661.80/3661.71 c | 13021810 | 2030 212446 711172 | 1 269436 38 | 0.000 % | 3661.80/3661.71 c | 13027296 | 2030 212446 711172 | 1 274922 39 | 0.000 % | 3661.80/3661.71 c | 13035654 | 2030 212446 711172 | 1 283280 40 | 0.000 % | 3661.80/3661.71 c | 13134620 | 2030 212446 711172 | 1 382246 49 | 0.000 % | 3661.80/3661.71 c | 13152965 | 2030 212446 711172 | 1 400591 51 | 0.000 % | 3661.80/3661.71 c | 13154256 | 2030 212446 711172 | 1 401882 51 | 0.000 % | 3661.80/3661.71 c | 13154412 | 2030 212446 711172 | 1 402038 51 | 0.000 % | 3661.80/3661.71 c | 13155246 | 2030 212446 711172 | 1 402872 51 | 0.000 % | 3661.80/3661.71 c | 13159804 | 2030 212446 711172 | 1 407430 51 | 0.000 % | 3661.80/3661.71 c | 13161170 | 2030 212446 711172 | 1 408796 51 | 0.000 % | 3661.80/3661.71 c | 13161438 | 2030 212446 711172 | 1 409064 52 | 0.000 % | 3661.80/3661.71 c | 13172621 | 2030 212446 711172 | 1 420247 52 | 0.000 % | 3661.80/3661.71 c | 13173078 | 2030 212446 711172 | 1 420704 52 | 0.000 % | 3661.80/3661.71 c | 13173314 | 2030 212446 711172 | 1 420940 52 | 0.000 % | 3661.80/3661.71 c | 13173553 | 2030 212446 711172 | 1 421179 52 | 0.000 % | 3661.80/3661.71 c | 13173744 | 2030 212446 711172 | 1 421370 52 | 0.000 % | 3661.80/3661.71 c | 13262429 | 2030 212446 711172 | 1 510055 56 | 0.000 % | 3661.80/3661.71 c | 13266220 | 2030 212446 711172 | 1 513846 56 | 0.000 % | 3661.80/3661.71 c | 13266557 | 2030 212446 711172 | 1 514183 56 | 0.000 % | 3885.01/3884.98 c | 13266657 | 2030 212446 711172 | 1 514283 56 | 0.000 % | 3885.01/3884.98 c | 13291607 | 2030 212446 711172 | 1 280429 40 | 0.000 % | 3885.01/3884.98 c | 13301033 | 2030 212446 711172 | 1 289855 41 | 0.000 % | 3885.01/3884.98 c | 13328676 | 2030 212446 711172 | 1 317498 45 | 0.000 % | 3885.01/3884.98 c | 13330089 | 2030 212446 711172 | 1 318911 45 | 0.000 % | 3885.01/3884.98 c | 13332699 | 2030 212446 711172 | 1 321521 45 | 0.000 % | 3885.01/3884.98 c | 13371238 | 2030 212446 711172 | 1 360060 50 | 0.000 % | 3885.01/3884.98 c | 13371861 | 2030 212446 711172 | 1 360683 50 | 0.000 % | 3885.01/3884.98 c | 13372040 | 2030 212446 711172 | 1 360862 50 | 0.000 % | 3885.01/3884.98 c | 13372702 | 2030 212446 711172 | 1 361524 50 | 0.000 % | 3885.01/3884.98 c | 13373419 | 2030 212446 711172 | 1 362241 50 | 0.000 % | 3885.01/3884.98 c | 13375758 | 2030 212446 711172 | 1 364580 50 | 0.000 % | 3885.01/3884.98 c | 13398528 | 2030 212446 711172 | 1 387350 52 | 0.000 % | 3885.01/3884.98 c | 13405518 | 2030 212446 711172 | 1 394340 53 | 0.000 % | 3885.01/3884.98 c | 13433981 | 2030 212446 711172 | 1 422803 55 | 0.000 % | 3885.01/3884.98 c | 13458773 | 2030 212446 711172 | 1 447595 56 | 0.000 % | 3885.01/3884.98 c | 13464142 | 2030 212446 711172 | 1 452964 56 | 0.000 % | 3885.01/3884.98 c | 13534304 | 2030 212446 711172 | 1 261734 36 | 0.000 % | 3885.01/3884.98 c | 13535540 | 2030 212446 711172 | 1 262970 36 | 0.000 % | 3885.01/3884.98 c | 13568057 | 2030 212446 711172 | 1 295487 41 | 0.000 % | 3885.01/3884.98 c | 13571866 | 2030 212446 711172 | 1 299296 42 | 0.000 % | 3885.01/3884.98 c | 13576116 | 2030 212446 711172 | 1 303546 42 | 0.000 % | 3885.01/3884.98 c | 13576216 | 2030 212446 711172 | 1 303646 42 | 0.000 % | 3885.01/3884.98 c | 13584481 | 2030 212446 711172 | 1 311911 44 | 0.000 % | 3885.01/3884.98 c | 13586623 | 2030 212446 711172 | 1 314053 44 | 0.000 % | 3885.01/3884.98 c | 13587011 | 2030 212446 711172 | 1 314441 44 | 0.000 % | 3885.01/3884.98 c | 13587667 | 2030 212446 711172 | 1 315097 44 | 0.000 % | 3885.01/3884.98 c | 13601494 | 2030 212446 711172 | 1 328924 46 | 0.000 % | 3885.01/3884.98 c | 13626327 | 2030 212446 711172 | 1 353757 49 | 0.000 % | 3885.01/3884.98 c | 13680106 | 2030 212446 711172 | 1 407536 52 | 0.000 % | 3885.01/3884.98 c | 13682070 | 2030 212446 711172 | 1 409500 52 | 0.000 % | 3885.01/3884.98 c | 13689814 | 2030 212446 711172 | 1 417244 53 | 0.000 % | 3885.01/3884.98 c | 13713560 | 2030 212446 711172 | 1 440990 54 | 0.000 % | 3885.01/3884.98 c | 13715788 | 2030 212446 711172 | 1 443218 55 | 0.000 % | 3885.01/3884.98 c | 13737648 | 2030 212446 711172 | 1 465078 56 | 0.000 % | 3885.01/3884.98 c | 13771620 | 2030 212446 711172 | 1 499050 57 | 0.000 % | 3885.01/3884.98 c | 13773404 | 2030 212446 711172 | 1 500834 57 | 0.000 % | 3885.01/3884.98 c | 13778737 | 2030 212446 711172 | 1 506167 57 | 0.000 % | 3885.01/3884.98 c | 13779904 | 2030 212446 711172 | 1 507334 57 | 0.000 % | 3885.01/3884.98 c | 13780550 | 2030 212446 711172 | 1 507980 58 | 0.000 % | 3885.01/3884.98 c | 13792897 | 2030 212446 711172 | 1 520327 58 | 0.000 % | 3885.01/3884.98 c | 13820247 | 2030 212446 711172 | 1 283678 38 | 0.000 % | 3885.01/3884.98 c | 13830369 | 2030 212446 711172 | 1 293800 40 | 0.000 % | 3885.01/3884.98 c | 13841611 | 2030 212446 711172 | 1 305042 42 | 0.000 % | 3885.01/3884.98 c | 13842056 | 2030 212446 711172 | 1 305487 42 | 0.000 % | 3885.01/3884.98 c | 13845269 | 2030 212446 711172 | 1 308700 42 | 0.000 % | 3885.01/3884.98 c | 13897159 | 2030 212446 711172 | 1 360590 48 | 0.000 % | 3885.01/3884.98 c | 13933440 | 2030 212446 711172 | 1 396871 51 | 0.000 % | 3885.01/3884.98 c | 13950215 | 2030 212446 711172 | 1 413646 52 | 0.000 % | 3885.01/3884.98 c | 13953789 | 2030 212446 711172 | 1 417220 52 | 0.000 % | 4098.21/4098.14 c | 13966809 | 2030 212446 711172 | 1 430240 53 | 0.000 % | 4098.21/4098.14 c | 13967020 | 2030 212446 711172 | 1 430451 53 | 0.000 % | 4098.21/4098.14 c | 13969010 | 2030 212446 711172 | 1 432441 53 | 0.000 % | 4098.21/4098.14 c | 13991392 | 2030 212446 711172 | 1 454823 55 | 0.000 % | 4098.21/4098.14 c | 13991614 | 2030 212446 711172 | 1 455045 55 | 0.000 % | 4098.21/4098.14 c | 14008768 | 2030 212446 711172 | 1 472199 56 | 0.000 % | 4098.21/4098.14 c | 14011966 | 2030 212446 711172 | 1 475397 57 | 0.000 % | 4098.21/4098.14 c | 14035067 | 2030 212446 711172 | 1 498498 58 | 0.000 % | 4098.21/4098.14 c | 14035168 | 2030 212446 711172 | 1 498599 58 | 0.000 % | 4098.21/4098.14 c | 14107212 | 2030 212446 711172 | 1 304045 41 | 0.000 % | 4098.21/4098.14 c | 14117938 | 2030 212446 711172 | 1 314771 43 | 0.000 % | 4098.21/4098.14 c | 14120878 | 2030 212446 711172 | 1 317711 43 | 0.000 % | 4098.21/4098.14 c | 14132010 | 2030 212446 711172 | 1 328843 45 | 0.000 % | 4098.21/4098.14 c | 14133110 | 2030 212446 711172 | 1 329943 45 | 0.000 % | 4098.21/4098.14 c | 14188168 | 2030 212446 711172 | 1 385001 50 | 0.000 % | 4098.21/4098.14 c | 14205691 | 2030 212446 711172 | 1 402524 52 | 0.000 % | 4098.21/4098.14 c | 14229919 | 2030 212446 711172 | 1 426752 54 | 0.000 % | 4098.21/4098.14 c | 14260059 | 2030 212446 711172 | 1 456892 56 | 0.000 % | 4098.21/4098.14 c | 14260210 | 2030 212446 711172 | 1 457043 56 | 0.000 % | 4098.21/4098.14 c | 14260310 | 2030 212446 711172 | 1 457143 56 | 0.000 % | 4098.21/4098.14 c | 14272066 | 2030 212446 711172 | 1 468899 56 | 0.000 % | 4098.21/4098.14 c | 14277911 | 2030 212446 711172 | 1 474744 57 | 0.000 % | 4098.21/4098.14 c | 14309431 | 2030 212446 711172 | 1 506264 58 | 0.000 % | 4098.21/4098.14 c | 14312657 | 2030 212446 711172 | 1 509490 59 | 0.000 % | 4098.21/4098.14 c | 14319036 | 2030 212446 711172 | 1 515869 59 | 0.000 % | 4098.21/4098.14 c | 14367768 | 2030 212446 711172 | 1 295392 40 | 0.000 % | 4098.21/4098.14 c | 14370067 | 2030 212446 711172 | 1 297691 40 | 0.000 % | 4098.21/4098.14 c | 14375527 | 2030 212446 711172 | 1 303151 41 | 0.000 % | 4098.21/4098.14 c | 14389998 | 2030 212446 711172 | 1 317622 43 | 0.000 % | 4098.21/4098.14 c | 14396357 | 2030 212446 711172 | 1 323981 44 | 0.000 % | 4098.21/4098.14 c | 14410442 | 2030 212446 711172 | 1 338066 46 | 0.000 % | 4098.21/4098.14 c | 14411796 | 2030 212446 711172 | 1 339420 46 | 0.000 % | 4098.21/4098.14 c | 14414207 | 2030 212446 711172 | 1 341831 46 | 0.000 % | 4098.21/4098.14 c | 14414308 | 2030 212446 711172 | 1 341932 46 | 0.000 % | 4098.21/4098.14 c | 14414568 | 2030 212446 711172 | 1 342192 47 | 0.000 % | 4098.21/4098.14 c | 14415926 | 2030 212446 711172 | 1 343550 47 | 0.000 % | 4098.21/4098.14 c | 14416026 | 2030 212446 711172 | 1 343650 47 | 0.000 % | 4098.21/4098.14 c | 14417430 | 2030 212446 711172 | 1 345054 47 | 0.000 % | 4098.21/4098.14 c | 14441795 | 2030 212446 711172 | 1 369419 49 | 0.000 % | 4098.21/4098.14 c | 14456017 | 2030 212446 711172 | 1 383641 51 | 0.000 % | 4098.21/4098.14 c | 14458825 | 2030 212446 711172 | 1 386449 51 | 0.000 % | 4098.21/4098.14 c | 14466122 | 2030 212446 711172 | 1 393746 51 | 0.000 % | 4098.21/4098.14 c | 14582034 | 2030 212446 711172 | 1 509658 58 | 0.000 % | 4098.21/4098.14 c | 14590163 | 2030 212446 711172 | 1 517787 58 | 0.000 % | 4098.21/4098.14 c | 14631009 | 2030 212446 711172 | 1 286832 39 | 0.000 % | 4098.21/4098.14 c | 14632724 | 2030 212446 711172 | 1 288547 39 | 0.000 % | 4098.21/4098.14 c | 14638047 | 2030 212446 711172 | 1 293870 40 | 0.000 % | 4098.21/4098.14 c | 14667183 | 2030 212446 711172 | 1 323006 44 | 0.000 % | 4098.21/4098.14 c | 14671130 | 2030 212446 711172 | 1 326953 44 | 0.000 % | 4098.21/4098.14 c | 14673104 | 2030 212446 711172 | 1 328927 45 | 0.000 % | 4365.72/4365.64 c | 14692772 | 2030 212446 711172 | 1 348595 46 | 0.000 % | 4365.72/4365.64 c | 14702258 | 2030 212446 711172 | 1 358081 47 | 0.000 % | 4365.72/4365.64 c | 14732014 | 2030 212446 711172 | 1 387837 50 | 0.000 % | 4365.72/4365.64 c | 14732310 | 2030 212446 711172 | 1 388133 50 | 0.000 % | 4365.72/4365.64 c | 14759900 | 2030 212446 711172 | 1 415723 52 | 0.000 % | 4365.72/4365.64 c | 14941634 | 2030 212446 711172 | 1 323061 40 | 0.000 % | 4365.72/4365.64 c | 14951676 | 2030 212446 711172 | 1 333103 42 | 0.000 % | 4365.72/4365.64 c | 14963681 | 2030 212446 711172 | 1 345108 43 | 0.000 % | 4365.72/4365.64 c | 14963783 | 2030 212446 711172 | 1 345210 43 | 0.000 % | 4365.72/4365.64 c | 14969404 | 2030 212446 711172 | 1 350831 44 | 0.000 % | 4365.72/4365.64 c | 14991303 | 2030 212446 711172 | 1 372730 47 | 0.000 % | 4365.72/4365.64 c | 14996602 | 2030 212446 711172 | 1 378029 48 | 0.000 % | 4365.72/4365.64 c | 14998083 | 2030 212446 711172 | 1 379510 48 | 0.000 % | 4365.72/4365.64 c | 15011554 | 2030 212446 711172 | 1 392981 49 | 0.000 % | 4365.72/4365.64 c | 15011817 | 2030 212446 711172 | 1 393244 49 | 0.000 % | 4365.72/4365.64 c | 15012025 | 2030 212446 711172 | 1 393452 49 | 0.000 % | 4365.72/4365.64 c | 15012182 | 2030 212446 711172 | 1 393609 49 | 0.000 % | 4365.72/4365.64 c | 15032478 | 2030 212446 711172 | 1 413905 52 | 0.000 % | 4365.72/4365.64 c | 15069348 | 2030 212446 711172 | 1 450775 56 | 0.000 % | 4365.72/4365.64 c | 15112014 | 2030 212446 711172 | 1 493441 58 | 0.000 % | 4365.72/4365.64 c | 15113020 | 2030 212446 711172 | 1 494447 58 | 0.000 % | 4365.72/4365.64 c | 15114800 | 2030 212446 711172 | 1 496227 58 | 0.000 % | 4365.72/4365.64 c | 15125221 | 2030 212446 711172 | 1 506648 58 | 0.000 % | 4365.72/4365.64 c | 15151996 | 2030 212446 711172 | 1 533423 60 | 0.000 % | 4365.72/4365.64 c | 15234160 | 2030 212446 711172 | 1 338585 45 | 0.000 % | 4365.72/4365.64 c | 15270764 | 2030 212446 711172 | 1 375189 48 | 0.000 % | 4365.72/4365.64 c | 15270864 | 2030 212446 711172 | 1 375289 48 | 0.000 % | 4365.72/4365.64 c | 15273178 | 2030 212446 711172 | 1 377603 48 | 0.000 % | 4365.72/4365.64 c | 15284815 | 2030 212446 711172 | 1 389240 49 | 0.000 % | 4365.72/4365.64 c | 15284915 | 2030 212446 711172 | 1 389340 49 | 0.000 % | 4365.72/4365.64 c | 15285247 | 2030 212446 711172 | 1 389672 49 | 0.000 % | 4365.72/4365.64 c | 15301887 | 2030 212446 711172 | 1 406312 50 | 0.000 % | 4365.72/4365.64 c | 15308609 | 2030 212446 711172 | 1 413034 50 | 0.000 % | 4365.72/4365.64 c | 15312123 | 2030 212446 711172 | 1 416548 50 | 0.000 % | 4365.72/4365.64 c | 15312450 | 2030 212446 711172 | 1 416875 50 | 0.000 % | 4365.72/4365.64 c | 15322397 | 2030 212446 711172 | 1 426822 51 | 0.000 % | 4365.72/4365.64 c | 15332071 | 2030 212446 711172 | 1 436496 51 | 0.000 % | 4365.72/4365.64 c | 15379928 | 2030 212446 711172 | 1 484353 53 | 0.000 % | 4365.72/4365.64 c | 15380432 | 2030 212446 711172 | 1 484857 53 | 0.000 % | 4365.72/4365.64 c | 15380623 | 2030 212446 711172 | 1 485048 53 | 0.000 % | 4365.72/4365.64 c | 15389240 | 2030 212446 711172 | 1 493665 54 | 0.000 % | 4365.72/4365.64 c | 15389524 | 2030 212446 711172 | 1 493949 54 | 0.000 % | 4365.72/4365.64 c | 15391057 | 2030 212446 711172 | 1 495482 54 | 0.000 % | 4365.72/4365.64 c | 15397278 | 2030 212446 711172 | 1 501703 54 | 0.000 % | 4365.72/4365.64 c | 15399504 | 2030 212446 711172 | 1 503929 54 | 0.000 % | 4365.72/4365.64 c | 15459766 | 2030 212446 711172 | 1 284592 36 | 0.000 % | 4365.72/4365.64 c | 15460115 | 2030 212446 711172 | 1 284941 36 | 0.000 % | 4365.72/4365.64 c | 15460825 | 2030 212446 711172 | 1 285651 36 | 0.000 % | 4365.72/4365.64 c | 15461110 | 2030 212446 711172 | 1 285936 36 | 0.000 % | 4365.72/4365.64 c | 15473302 | 2030 212446 711172 | 1 298128 38 | 0.000 % | 4626.53/4626.48 c | 15477867 | 2030 212446 711172 | 1 302693 39 | 0.000 % | 4626.53/4626.48 c | 15576954 | 2030 212446 711172 | 1 401780 49 | 0.000 % | 4626.53/4626.48 c | 15606173 | 2030 212446 711172 | 1 430999 50 | 0.000 % | 4626.53/4626.48 c | 15655671 | 2030 212446 711172 | 1 480497 54 | 0.000 % | 4626.53/4626.48 c | 15667551 | 2030 212446 711172 | 1 492377 55 | 0.000 % | 4626.53/4626.48 c | 15706821 | 2030 212446 711172 | 1 531647 58 | 0.000 % | 4626.53/4626.48 c | 15747208 | 2030 212446 711172 | 1 289828 38 | 0.000 % | 4626.53/4626.48 c | 15750705 | 2030 212446 711172 | 1 293325 38 | 0.000 % | 4626.53/4626.48 c | 15760834 | 2030 212446 711172 | 1 303454 39 | 0.000 % | 4626.53/4626.48 c | 15764142 | 2030 212446 711172 | 1 306762 40 | 0.000 % | 4626.53/4626.48 c | 15764766 | 2030 212446 711172 | 1 307386 40 | 0.000 % | 4626.53/4626.48 c | 15764923 | 2030 212446 711172 | 1 307543 40 | 0.000 % | 4626.53/4626.48 c | 15765343 | 2030 212446 711172 | 1 307963 40 | 0.000 % | 4626.53/4626.48 c | 15773885 | 2030 212446 711172 | 1 316505 41 | 0.000 % | 4626.53/4626.48 c | 15785637 | 2030 212446 711172 | 1 328257 43 | 0.000 % | 4626.53/4626.48 c | 15813056 | 2030 212446 711172 | 1 355676 46 | 0.000 % | 4626.53/4626.48 c | 15826535 | 2030 212446 711172 | 1 369155 48 | 0.000 % | 4626.53/4626.48 c | 15836308 | 2030 212446 711172 | 1 378928 49 | 0.000 % | 4626.53/4626.48 c | 15852015 | 2030 212446 711172 | 1 394635 50 | 0.000 % | 4626.53/4626.48 c | 15856291 | 2030 212446 711172 | 1 398911 51 | 0.000 % | 4626.53/4626.48 c | 15864354 | 2030 212446 711172 | 1 406974 51 | 0.000 % | 4626.53/4626.48 c | 15892423 | 2030 212446 711172 | 1 435043 54 | 0.000 % | 4626.53/4626.48 c | 15929729 | 2030 212446 711172 | 1 472349 55 | 0.000 % | 4626.53/4626.48 c | 15932883 | 2030 212446 711172 | 1 475503 56 | 0.000 % | 4626.53/4626.48 c | 15968586 | 2030 212446 711172 | 1 511206 57 | 0.000 % | 4626.53/4626.48 c | 15991958 | 2030 212446 711172 | 1 534578 58 | 0.000 % | 4626.53/4626.48 c | 16000431 | 2030 212446 711172 | 1 543051 58 | 0.000 % | 4626.53/4626.48 c | 16080770 | 2030 212446 711172 | 1 338590 42 | 0.000 % | 4626.53/4626.48 c | 16081310 | 2030 212446 711172 | 1 339130 42 | 0.000 % | 4626.53/4626.48 c | 16081564 | 2030 212446 711172 | 1 339384 42 | 0.000 % | 4626.53/4626.48 c | 16081973 | 2030 212446 711172 | 1 339793 42 | 0.000 % | 4626.53/4626.48 c | 16084252 | 2030 212446 711172 | 1 342072 42 | 0.000 % | 4626.53/4626.48 c | 16084590 | 2030 212446 711172 | 1 342410 42 | 0.000 % | 4626.53/4626.48 c | 16085367 | 2030 212446 711172 | 1 343187 43 | 0.000 % | 4626.53/4626.48 c | 16086929 | 2030 212446 711172 | 1 344749 43 | 0.000 % | 4626.53/4626.48 c | 16088486 | 2030 212446 711172 | 1 346306 43 | 0.000 % | 4626.53/4626.48 c | 16089453 | 2030 212446 711172 | 1 347273 43 | 0.000 % | 4626.53/4626.48 c | 16089556 | 2030 212446 711172 | 1 347376 43 | 0.000 % | 4626.53/4626.48 c | 16096365 | 2030 212446 711172 | 1 354185 44 | 0.000 % | 4626.53/4626.48 c | 16108892 | 2030 212446 711172 | 1 366712 45 | 0.000 % | 4626.53/4626.48 c | 16114262 | 2030 212446 711172 | 1 372082 46 | 0.000 % | 4626.53/4626.48 c | 16117808 | 2030 212446 711172 | 1 375628 46 | 0.000 % | 4626.53/4626.48 c | 16137917 | 2030 212446 711172 | 1 395737 48 | 0.000 % | 4626.53/4626.48 c | 16138871 | 2030 212446 711172 | 1 396691 48 | 0.000 % | 4626.53/4626.48 c | 16139299 | 2030 212446 711172 | 1 397119 48 | 0.000 % | 4626.53/4626.48 c | 16139417 | 2030 212446 711172 | 1 397237 48 | 0.000 % | 4626.53/4626.48 c | 16143736 | 2030 212446 711172 | 1 401556 49 | 0.000 % | 4626.53/4626.48 c | 16192505 | 2030 212446 711172 | 1 450325 52 | 0.000 % | 4626.53/4626.48 c | 16222907 | 2030 212446 711172 | 1 480727 53 | 0.000 % | 4626.53/4626.48 c | 16223289 | 2030 212446 711172 | 1 481109 53 | 0.000 % | 4821.53/4821.41 c | 16250570 | 2030 212446 711172 | 1 508390 54 | 0.000 % | 4821.53/4821.41 c | 16250732 | 2030 212446 711172 | 1 508552 54 | 0.000 % | 4821.53/4821.41 c | 16251741 | 2030 212446 711172 | 1 509561 54 | 0.000 % | 4821.53/4821.41 c | 16260433 | 2030 212446 711172 | 1 518253 55 | 0.000 % | 4821.53/4821.41 c | 16262063 | 2030 212446 711172 | 1 519883 55 | 0.000 % | 4821.53/4821.41 c | 16265543 | 2030 212446 711172 | 1 523363 55 | 0.000 % | 4821.53/4821.41 c | 16266774 | 2030 212446 711172 | 1 524594 55 | 0.000 % | 4821.53/4821.41 c | 16270704 | 2030 212446 711172 | 1 528524 56 | 0.000 % | 4821.53/4821.41 c | 16271851 | 2030 212446 711172 | 1 529671 56 | 0.000 % | 4821.53/4821.41 c | 16271951 | 2030 212446 711172 | 1 529771 56 | 0.000 % | 4821.53/4821.41 c | 16274866 | 2030 212446 711172 | 1 532686 56 | 0.000 % | 4821.53/4821.41 c | 16275118 | 2030 212446 711172 | 1 532938 56 | 0.000 % | 4821.53/4821.41 c | 16301416 | 2030 212446 711172 | 1 559236 57 | 0.000 % | 4821.53/4821.41 c | 16315906 | 2030 212446 711172 | 1 573726 58 | 0.000 % | 4821.53/4821.41 c | 16316008 | 2030 212446 711172 | 1 573828 58 | 0.000 % | 4821.53/4821.41 c | 16318986 | 2030 212446 711172 | 1 289408 36 | 0.000 % | 4821.53/4821.41 c | 16319113 | 2030 212446 711172 | 1 289535 36 | 0.000 % | 4821.53/4821.41 c | 16319213 | 2030 212446 711172 | 1 289635 36 | 0.000 % | 4821.53/4821.41 c | 16342335 | 2030 212446 711172 | 1 312757 40 | 0.000 % | 4821.53/4821.41 c | 16357664 | 2030 212446 711172 | 1 328086 42 | 0.000 % | 4821.53/4821.41 c | 16395918 | 2030 212446 711172 | 1 366340 46 | 0.000 % | 4821.53/4821.41 c | 16433929 | 2030 212446 711172 | 1 404351 49 | 0.000 % | 4821.53/4821.41 c | 16434029 | 2030 212446 711172 | 1 404451 49 | 0.000 % | 4821.53/4821.41 c | 16434230 | 2030 212446 711172 | 1 404652 49 | 0.000 % | 4821.53/4821.41 c | 16438429 | 2030 212446 711172 | 1 408851 49 | 0.000 % | 4821.53/4821.41 c | 16438761 | 2030 212446 711172 | 1 409183 49 | 0.000 % | 4821.53/4821.41 c | 16556612 | 2030 212446 711172 | 1 527034 55 | 0.000 % | 4821.53/4821.41 c | 16594353 | 2030 212446 711172 | 1 564775 57 | 0.000 % | 4821.53/4821.41 c | 16595443 | 2030 212446 711172 | 1 565865 57 | 0.000 % | 4821.53/4821.41 c | 16608898 | 2030 212446 711172 | 1 579320 58 | 0.000 % | 4821.53/4821.41 c | 16633141 | 2030 212446 711172 | 1 313557 40 | 0.000 % | 4821.53/4821.41 c | 16634005 | 2030 212446 711172 | 1 314421 40 | 0.000 % | 4821.53/4821.41 c | 16639925 | 2030 212446 711172 | 1 320341 41 | 0.000 % | 4821.53/4821.41 c | 16665150 | 2030 212446 711172 | 1 345566 43 | 0.000 % | 4821.53/4821.41 c | 16669029 | 2030 212446 711172 | 1 349445 44 | 0.000 % | 4821.53/4821.41 c | 16670799 | 2030 212446 711172 | 1 351215 44 | 0.000 % | 4821.53/4821.41 c | 16673530 | 2030 212446 711172 | 1 353946 44 | 0.000 % | 4821.53/4821.41 c | 16675613 | 2030 212446 711172 | 1 356029 45 | 0.000 % | 4821.53/4821.41 c | 16680372 | 2030 212446 711172 | 1 360788 45 | 0.000 % | 4821.53/4821.41 c | 16683537 | 2030 212446 711172 | 1 363953 45 | 0.000 % | 4821.53/4821.41 c | 16683856 | 2030 212446 711172 | 1 364272 45 | 0.000 % | 4821.53/4821.41 c | 16698174 | 2030 212446 711172 | 1 378590 47 | 0.000 % | 4821.53/4821.41 c | 16710628 | 2030 212446 711172 | 1 391044 48 | 0.000 % | 4821.53/4821.41 c | 16715829 | 2030 212446 711172 | 1 396245 48 | 0.000 % | 4821.53/4821.41 c | 16718338 | 2030 212446 711172 | 1 398754 49 | 0.000 % | 4821.53/4821.41 c | 16718715 | 2030 212446 711172 | 1 399131 49 | 0.000 % | 4821.53/4821.41 c | 16718817 | 2030 212446 711172 | 1 399233 49 | 0.000 % | 4821.53/4821.41 c | 16718918 | 2030 212446 711172 | 1 399334 49 | 0.000 % | 4821.53/4821.41 c | 16721882 | 2030 212446 711172 | 1 402298 49 | 0.000 % |
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303360-1303899334/watcher-3303360-1303899334 -o /tmp/evaluation-result-3303360-1303899334/solver-3303360-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303360-1303899334.cnf running on 4 cores: 0,2,4,6 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: 0.00 0.00 0.00 2/178 25871 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 501531298 8912896 252 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25870/statm: 2176 252 211 178 0 69 0 [startup+0.0472811 s] /proc/loadavg: 0.00 0.00 0.00 2/178 25871 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 501531298 8912896 252 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25870/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100274 s] /proc/loadavg: 0.00 0.00 0.00 2/178 25871 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 501531298 8912896 252 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25870/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300233 s] /proc/loadavg: 0.00 0.00 0.00 2/178 25871 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 501531298 8912896 252 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25870/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701129 s] /proc/loadavg: 0.00 0.00 0.00 2/178 25871 /proc/meminfo: memFree=21676340/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 332 0 0 0 0 0 0 0 20 0 1 0 501531298 8912896 252 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/25870/statm: 2176 252 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50099 s] /proc/loadavg: 0.00 0.00 0.00 4/184 25877 /proc/meminfo: memFree=21632304/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=28664 CPUtime=0.68 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 6017 0 0 0 68 0 0 0 20 0 1 0 501531379 29351936 3959 33554432000 4194304 4260849 140736704899552 18446744073709551615 255376962245 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/25877/statm: 7166 3959 250 17 0 3807 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 37368 [startup+3.10069 s] /proc/loadavg: 0.00 0.00 0.00 4/184 25878 /proc/meminfo: memFree=21620276/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=47552 CPUtime=2.28 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 12406 0 0 0 227 1 0 0 25 0 1 0 501531379 48693248 8004 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 11888 8004 250 17 0 8529 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 56256 [startup+6.30114 s] /proc/loadavg: 0.16 0.03 0.01 3/184 25879 /proc/meminfo: memFree=21581836/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=47552 CPUtime=5.48 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 12899 0 0 0 547 1 0 0 25 0 1 0 501531379 48693248 8492 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 11888 8492 250 17 0 8529 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 56256 [startup+12.7009 s] /proc/loadavg: 0.31 0.07 0.02 4/184 25879 /proc/meminfo: memFree=21565572/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=59152 CPUtime=11.88 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 16231 0 0 0 1186 2 0 0 25 0 1 0 501531379 60571648 11552 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224855 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 14788 11552 250 17 0 11429 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 67856 [startup+25.5006 s] /proc/loadavg: 0.68 0.16 0.05 4/184 25879 /proc/meminfo: memFree=21553900/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=59152 CPUtime=24.68 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 16231 0 0 0 2466 2 0 0 25 0 1 0 501531379 60571648 11552 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 14788 11552 250 17 0 11429 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 67856 [startup+51.1008 s] /proc/loadavg: 1.28 0.34 0.11 4/184 25880 /proc/meminfo: memFree=21529788/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=108392 CPUtime=50.28 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 33365 0 0 0 5023 5 0 0 25 0 1 0 501531379 110993408 15854 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 27098 15854 251 17 0 23739 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 117096 [startup+102.307 s] /proc/loadavg: 1.68 0.59 0.21 3/184 25881 /proc/meminfo: memFree=21520484/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=108392 CPUtime=101.48 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 43347 0 0 0 10142 6 0 0 25 0 1 0 501531379 110993408 18022 33554432000 4194304 4260849 140736704899552 18446744073709551615 4225082 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 27098 18022 251 17 0 23739 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 117096 [startup+162.3 s] /proc/loadavg: 1.92 0.86 0.32 3/184 25883 /proc/meminfo: memFree=21476184/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=157712 CPUtime=161.48 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 98119 0 0 0 16133 15 0 0 25 0 1 0 501531379 161497088 28442 33554432000 4194304 4260849 140736704899552 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 39428 28442 251 17 0 36069 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 166416 [startup+222.301 s] /proc/loadavg: 2.08 1.10 0.44 4/184 25884 /proc/meminfo: memFree=21428428/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=157712 CPUtime=221.48 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 141968 0 0 0 22126 22 0 0 25 0 1 0 501531379 161497088 29185 33554432000 4194304 4260849 140736704899552 18446744073709551615 4209392 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 39428 29185 251 17 0 36069 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 166416 [startup+282.301 s] /proc/loadavg: 2.09 1.27 0.54 4/184 25886 /proc/meminfo: memFree=21421588/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=108392 CPUtime=281.48 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 177362 0 0 0 28120 28 0 0 25 0 1 0 501531379 110993408 19123 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224818 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 27098 19123 251 17 0 23739 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 117096 [startup+342.301 s] /proc/loadavg: 2.03 1.40 0.63 4/184 25888 /proc/meminfo: memFree=21425540/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=157712 CPUtime=341.49 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 214610 0 0 0 34115 34 0 0 25 0 1 0 501531379 161497088 30372 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 39428 30372 251 17 0 36069 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 166416 [startup+402.301 s] /proc/loadavg: 2.01 1.51 0.71 4/184 25889 /proc/meminfo: memFree=21414364/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 ################ # More data... # ################ /proc/25877/statm: 45757 41811 251 17 0 42398 0 Current children cumulated CPU time (s) 4362.42 Current children cumulated vsize (KiB) 191732 [startup+4422.3 s] /proc/loadavg: 2.00 2.01 1.96 3/184 26008 /proc/meminfo: memFree=21229060/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=264272 CPUtime=4421.62 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2005901 0 0 0 441750 412 0 0 25 0 1 0 501531379 270614528 55239 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 66068 55239 251 17 0 62709 0 Current children cumulated CPU time (s) 4422.42 Current children cumulated vsize (KiB) 272976 [startup+4482.3 s] /proc/loadavg: 2.00 2.00 1.96 3/184 26010 /proc/meminfo: memFree=21171628/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=215056 CPUtime=4481.63 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2035423 0 0 0 447744 419 0 0 25 0 1 0 501531379 220217344 48297 33554432000 4194304 4260849 140736704899552 18446744073709551615 4229323 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 53764 48297 251 17 0 50405 0 Current children cumulated CPU time (s) 4482.43 Current children cumulated vsize (KiB) 223760 [startup+4542.3 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26012 /proc/meminfo: memFree=21149784/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=346532 CPUtime=4541.63 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2050151 0 0 0 453740 423 0 0 25 0 1 0 501531379 354848768 62860 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224903 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 86633 62860 251 17 0 83274 0 Current children cumulated CPU time (s) 4542.43 Current children cumulated vsize (KiB) 355236 [startup+4602.3 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26013 /proc/meminfo: memFree=21223556/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=265608 CPUtime=4601.64 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2076161 0 0 0 459735 429 0 0 25 0 1 0 501531379 271982592 52490 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 66402 52490 251 17 0 63043 0 Current children cumulated CPU time (s) 4602.44 Current children cumulated vsize (KiB) 274312 [startup+4662.3 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26015 /proc/meminfo: memFree=21128428/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=347520 CPUtime=4661.63 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2089109 0 0 0 465731 432 0 0 25 0 1 0 501531379 355860480 65275 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 86880 65275 251 17 0 83521 0 Current children cumulated CPU time (s) 4662.43 Current children cumulated vsize (KiB) 356224 [startup+4722.31 s] /proc/loadavg: 2.00 2.00 1.96 4/184 26016 /proc/meminfo: memFree=21210868/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=266568 CPUtime=4721.64 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2115118 0 0 0 471725 439 0 0 25 0 1 0 501531379 272965632 55376 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 66642 55376 251 17 0 63283 0 Current children cumulated CPU time (s) 4722.44 Current children cumulated vsize (KiB) 275272 [startup+4782.3 s] /proc/loadavg: 2.16 2.04 1.97 4/184 26018 /proc/meminfo: memFree=21109296/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=349136 CPUtime=4781.64 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2125619 0 0 0 477722 442 0 0 25 0 1 0 501531379 357515264 65765 33554432000 4194304 4260849 140736704899552 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 87284 65765 251 17 0 83925 0 Current children cumulated CPU time (s) 4782.44 Current children cumulated vsize (KiB) 357840 [startup+4842.3 s] /proc/loadavg: 2.10 2.05 1.98 4/184 26020 /proc/meminfo: memFree=21182572/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=267940 CPUtime=4841.64 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2153132 0 0 0 483716 448 0 0 25 0 1 0 501531379 274370560 57036 33554432000 4194304 4260849 140736704899552 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 66985 57036 251 17 0 63626 0 Current children cumulated CPU time (s) 4842.44 Current children cumulated vsize (KiB) 276644 [startup+4902.3 s] /proc/loadavg: 2.09 2.05 1.98 4/184 26021 /proc/meminfo: memFree=21168052/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=217852 CPUtime=4901.64 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2181099 0 0 0 489710 454 0 0 25 0 1 0 501531379 223080448 47188 33554432000 4194304 4260849 140736704899552 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 54463 47188 251 17 0 51104 0 Current children cumulated CPU time (s) 4902.44 Current children cumulated vsize (KiB) 226556 [startup+4962.3 s] /proc/loadavg: 2.03 2.04 1.98 3/184 26023 /proc/meminfo: memFree=21156264/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=268248 CPUtime=4961.65 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2195269 0 0 0 495707 458 0 0 25 0 1 0 501531379 274685952 61180 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 67062 61180 251 17 0 63703 0 Current children cumulated CPU time (s) 4962.45 Current children cumulated vsize (KiB) 276952 Maximum CPU time exceeded: sending SIGTERM then SIGKILL [startup+4999.9 s] /proc/loadavg: 2.02 2.03 1.98 3/184 26024 /proc/meminfo: memFree=21189112/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=218960 CPUtime=4999.24 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2215204 0 0 0 499463 461 0 0 25 0 1 0 501531379 224215040 43783 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 54740 43783 251 17 0 51381 0 Current children cumulated CPU time (s) 5000.04 Current children cumulated vsize (KiB) 227664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+4999.9 s] /proc/loadavg: 2.02 2.03 1.98 3/184 26024 /proc/meminfo: memFree=21189112/32951124 swapFree=67111524/67111528 [pid=25870] ppid=25867 vsize=8704 CPUtime=0.8 cores=0,2,4,6 /proc/25870/stat : 25870 (glucose.sh) S 25867 25870 25835 0 -1 4202496 359 4452 0 0 0 0 79 1 18 0 1 0 501531298 8912896 254 33554432000 4194304 4922060 140736617165600 18446744073709551615 255377120389 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/25870/statm: 2176 254 211 178 0 69 0 [pid=25877] ppid=25870 vsize=218960 CPUtime=4999.24 cores=0,2,4,6 /proc/25877/stat : 25877 (glucose_static) R 25870 25870 25835 0 -1 4202496 2215204 0 0 0 499463 461 0 0 25 0 1 0 501531379 224215040 43783 33554432000 4194304 4260849 140736704899552 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/25877/statm: 54740 43783 251 17 0 51381 0 Current children cumulated CPU time (s) 5000.04 Current children cumulated vsize (KiB) 227664 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 25870 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=793879 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=14997 # CPU time returned by wait4() is 0.808876 # while last known CPU time is 5000.04 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 4999.91 CPU time (s): 5000.04 CPU user time (s): 4995.42 CPU system time (s): 4.62 CPU usage (%): 100.003 Max. virtual memory (cumulated for all children) (KiB): 408460 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.793879 system time used= 0.014997 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 4811 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= 12 involuntary context switches= 13 runsolver used 8.25574 second user time and 18.8641 second system time The end
Begin job on node135 at 2011-04-27 12:15:34 IDJOB=3303360 IDBENCH=71428 IDSOLVER=1687 FILE ID=node135/3303360-1303899334 RUNJOBID= node135-1303899334-25853 PBS_JOBID= 13164513 Free space on /tmp= 71124 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v2100c215164gyes2.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303360-1303899334/watcher-3303360-1303899334 -o /tmp/evaluation-result-3303360-1303899334/solver-3303360-1303899334 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303360-1303899334.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 5301921bbf5d6337937a0fa8d34aaf48 RANDOM SEED=441143718 node135.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.851 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.851 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.83 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.851 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.851 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 : 6640.14 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.851 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.78 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.851 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.851 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.74 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.851 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.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 21676900 kB Buffers: 1867172 kB Cached: 8758096 kB SwapCached: 4 kB Active: 2290848 kB Inactive: 8400544 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 21676900 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 8956 kB Writeback: 0 kB AnonPages: 65132 kB Mapped: 14396 kB Slab: 519780 kB PageTables: 4696 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 193116 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71112 MiB End job on node135 at 2011-04-27 13:38:56