| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1300.03 | 1300.01 |
| Name | CRAFTED/rbsat/random/ forced/rbsat-v1150c84314gyes1.cnf |
| MD5SUM | d6097a9814089eeede1d027388c17a02 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.3218 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1150 |
| Number of clauses | 84314 |
| Sum of the clauses size | 169678 |
| Maximum clause length | 23 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 84264 |
| 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 | 50 |
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.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 84314 169678 | 25294 0 0 nan | 0.000 % | 0.00/0.17 c | 0 | 82811 270194 | -- 0 -- -- | -- | -1503/100516 0.00/0.17 c ============================================================================== 0.00/0.17 c Result : #vars: 1100 #clauses: 82811 #literals: 270194 0.00/0.17 c CPU time: 0.171973 s 0.00/0.17 c ============================================================================== 0.00/0.21 c 0.00/0.21 c Starting glucose 0.00/0.21 c 66.37/66.48 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 66.37/66.48 c WARNING: for repeatability, setting FPU to use double precision 66.37/66.48 c ============================[ Problem Statistics ]============================= 66.37/66.48 c | | 66.37/66.48 c | Number of variables: 1100 | 66.37/66.48 c | Number of clauses: 82811 | 66.37/66.48 c | Parse time: 0.01 s | 66.37/66.48 c | | 66.37/66.48 c ============================[ Search Statistics ]============================== 66.37/66.48 c | Conflicts | ORIGINAL | LEARNT | Progress | 66.37/66.48 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 66.37/66.48 c =============================================================================== 66.37/66.48 c | 6864 | 1100 82811 270194 | 1 4876 86 | 0.000 % | 66.37/66.48 c | 7418 | 1100 82811 270194 | 1 5430 88 | 0.000 % | 66.37/66.48 c | 20776 | 1100 82811 270194 | 1 7748 48 | 0.000 % | 66.37/66.48 c | 47782 | 1100 82811 270194 | 1 13641 43 | 0.000 % | 66.37/66.48 c | 160990 | 1100 82811 270194 | 1 28829 40 | 0.000 % | 66.37/66.48 c | 164177 | 1100 82811 270194 | 1 32016 42 | 0.000 % | 66.37/66.48 c | 214712 | 1100 82811 270194 | 1 55143 47 | 0.000 % | 66.37/66.48 c | 219640 | 1100 82811 270194 | 1 30066 35 | 0.000 % | 66.37/66.48 c | 220455 | 1100 82811 270194 | 1 30881 36 | 0.000 % | 66.37/66.48 c | 280575 | 1100 82811 270194 | 1 58395 44 | 0.000 % | 66.37/66.48 c | 287603 | 1100 82811 270194 | 1 65423 45 | 0.000 % | 66.37/66.48 c | 288529 | 1100 82811 270194 | 1 66349 45 | 0.000 % | 66.37/66.48 c | 325436 | 1100 82811 270194 | 1 68046 44 | 0.000 % | 66.37/66.48 c | 325876 | 1100 82811 270194 | 1 68486 44 | 0.000 % | 66.37/66.48 c | 364260 | 1100 82811 270194 | 1 69068 45 | 0.000 % | 66.37/66.48 c | 364736 | 1100 82811 270194 | 1 69544 45 | 0.000 % | 66.37/66.48 c | 367999 | 1100 82811 270194 | 1 72807 46 | 0.000 % | 66.37/66.48 c | 371607 | 1100 82811 270194 | 1 76415 46 | 0.000 % | 66.37/66.48 c | 386376 | 1100 82811 270194 | 1 50788 36 | 0.000 % | 66.37/66.48 c | 386477 | 1100 82811 270194 | 1 50889 36 | 0.000 % | 66.37/66.48 c | 390402 | 1100 82811 270194 | 1 54814 37 | 0.000 % | 66.37/66.48 c | 390625 | 1100 82811 270194 | 1 55037 37 | 0.000 % | 66.37/66.48 c | 395910 | 1100 82811 270194 | 1 60322 39 | 0.000 % | 66.37/66.48 c | 403015 | 1100 82811 270194 | 1 67427 41 | 0.000 % | 66.37/66.48 c | 438130 | 1100 82811 270194 | 1 59542 36 | 0.000 % | 66.37/66.48 c | 462029 | 1100 82811 270194 | 1 83441 41 | 0.000 % | 66.37/66.48 c | 482521 | 1100 82811 270194 | 1 58341 35 | 0.000 % | 66.37/66.48 c | 494012 | 1100 82811 270194 | 1 69832 38 | 0.000 % | 66.37/66.48 c | 506546 | 1100 82811 270194 | 1 82366 40 | 0.000 % | 66.37/66.48 c | 514174 | 1100 82811 270194 | 1 89994 41 | 0.000 % | 66.37/66.48 c | 514478 | 1100 82811 270194 | 1 90298 42 | 0.000 % | 66.37/66.48 c | 514649 | 1100 82811 270194 | 1 90469 42 | 0.000 % | 66.37/66.48 c | 514917 | 1100 82811 270194 | 1 90737 42 | 0.000 % | 66.37/66.48 c | 515017 | 1100 82811 270194 | 1 90837 42 | 0.000 % | 66.37/66.48 c | 526970 | 1100 82811 270194 | 1 54590 35 | 0.000 % | 66.37/66.48 c | 531985 | 1100 82811 270194 | 1 59605 37 | 0.000 % | 66.37/66.48 c | 600435 | 1100 82811 270194 | 1 77251 37 | 0.000 % | 66.37/66.48 c | 604187 | 1100 82811 270194 | 1 81003 38 | 0.000 % | 66.37/66.48 c | 605713 | 1100 82811 270194 | 1 82529 38 | 0.000 % | 110.98/111.00 c | 611472 | 1100 82811 270194 | 1 88288 39 | 0.000 % | 110.98/111.00 c | 613638 | 1100 82811 270194 | 1 90454 39 | 0.000 % | 110.98/111.00 c | 613738 | 1100 82811 270194 | 1 90554 39 | 0.000 % | 110.98/111.00 c | 614232 | 1100 82811 270194 | 1 91048 40 | 0.000 % | 110.98/111.00 c | 625577 | 1100 82811 270194 | 1 102393 43 | 0.000 % | 110.98/111.00 c | 629931 | 1100 82811 270194 | 1 106747 44 | 0.000 % | 110.98/111.00 c | 635551 | 1100 82811 270194 | 1 58964 36 | 0.000 % | 110.98/111.00 c | 636160 | 1100 82811 270194 | 1 59573 36 | 0.000 % | 110.98/111.00 c | 637471 | 1100 82811 270194 | 1 60884 37 | 0.000 % | 110.98/111.00 c | 666445 | 1100 82811 270194 | 1 89858 43 | 0.000 % | 110.98/111.00 c | 672507 | 1100 82811 270194 | 1 95920 44 | 0.000 % | 110.98/111.00 c | 672607 | 1100 82811 270194 | 1 96020 44 | 0.000 % | 110.98/111.00 c | 679306 | 1100 82811 270194 | 1 102719 45 | 0.000 % | 110.98/111.00 c | 679711 | 1100 82811 270194 | 1 103124 45 | 0.000 % | 110.98/111.00 c | 679811 | 1100 82811 270194 | 1 103224 45 | 0.000 % | 110.98/111.00 c | 685629 | 1100 82811 270194 | 1 109042 45 | 0.000 % | 110.98/111.00 c | 693820 | 1100 82811 270194 | 1 61229 33 | 0.000 % | 110.98/111.00 c | 701606 | 1100 82811 270194 | 1 69015 36 | 0.000 % | 110.98/111.00 c | 736937 | 1100 82811 270194 | 1 104346 42 | 0.000 % | 110.98/111.00 c | 737206 | 1100 82811 270194 | 1 104615 42 | 0.000 % | 110.98/111.00 c | 739318 | 1100 82811 270194 | 1 106727 43 | 0.000 % | 110.98/111.00 c | 743666 | 1100 82811 270194 | 1 111075 43 | 0.000 % | 110.98/111.00 c | 744387 | 1100 82811 270194 | 1 111796 43 | 0.000 % | 110.98/111.00 c | 748111 | 1100 82811 270194 | 1 115520 43 | 0.000 % | 110.98/111.00 c | 755995 | 1100 82811 270194 | 1 64805 32 | 0.000 % | 110.98/111.00 c | 768379 | 1100 82811 270194 | 1 77189 36 | 0.000 % | 110.98/111.00 c | 768481 | 1100 82811 270194 | 1 77291 36 | 0.000 % | 110.98/111.00 c | 768810 | 1100 82811 270194 | 1 77620 36 | 0.000 % | 110.98/111.00 c | 770496 | 1100 82811 270194 | 1 79306 37 | 0.000 % | 110.98/111.00 c | 785932 | 1100 82811 270194 | 1 94742 39 | 0.000 % | 110.98/111.00 c | 801299 | 1100 82811 270194 | 1 110109 42 | 0.000 % | 110.98/111.00 c | 804550 | 1100 82811 270194 | 1 113360 42 | 0.000 % | 110.98/111.00 c | 805499 | 1100 82811 270194 | 1 114309 42 | 0.000 % | 110.98/111.00 c | 807326 | 1100 82811 270194 | 1 116136 43 | 0.000 % | 110.98/111.00 c | 827614 | 1100 82811 270194 | 1 75228 35 | 0.000 % | 110.98/111.00 c | 830883 | 1100 82811 270194 | 1 78497 36 | 0.000 % | 110.98/111.00 c | 846496 | 1100 82811 270194 | 1 94110 40 | 0.000 % | 110.98/111.00 c | 853059 | 1100 82811 270194 | 1 100673 42 | 0.000 % | 110.98/111.00 c | 854431 | 1100 82811 270194 | 1 102045 42 | 0.000 % | 110.98/111.00 c | 875992 | 1100 82811 270194 | 1 123606 45 | 0.000 % | 110.98/111.00 c | 877956 | 1100 82811 270194 | 1 125570 46 | 0.000 % | 110.98/111.00 c | 881363 | 1100 82811 270194 | 1 65182 32 | 0.000 % | 110.98/111.00 c | 881546 | 1100 82811 270194 | 1 65365 32 | 0.000 % | 110.98/111.00 c | 889086 | 1100 82811 270194 | 1 72905 35 | 0.000 % | 110.98/111.00 c | 914049 | 1100 82811 270194 | 1 97868 39 | 0.000 % | 110.98/111.00 c | 927941 | 1100 82811 270194 | 1 111760 41 | 0.000 % | 110.98/111.00 c | 933637 | 1100 82811 270194 | 1 117456 42 | 0.000 % | 110.98/111.00 c | 934391 | 1100 82811 270194 | 1 118210 42 | 0.000 % | 110.98/111.00 c | 939844 | 1100 82811 270194 | 1 123663 43 | 0.000 % | 110.98/111.00 c | 940638 | 1100 82811 270194 | 1 124457 43 | 0.000 % | 160.58/160.69 c | 942390 | 1100 82811 270194 | 1 126209 43 | 0.000 % | 160.58/160.69 c | 942495 | 1100 82811 270194 | 1 126314 43 | 0.000 % | 160.58/160.69 c | 946369 | 1100 82811 270194 | 1 130188 43 | 0.000 % | 160.58/160.69 c | 954569 | 1100 82811 270194 | 1 71984 31 | 0.000 % | 160.58/160.69 c | 973749 | 1100 82811 270194 | 1 91164 37 | 0.000 % | 160.58/160.69 c | 977401 | 1100 82811 270194 | 1 94816 38 | 0.000 % | 160.58/160.69 c | 977542 | 1100 82811 270194 | 1 94957 38 | 0.000 % | 160.58/160.69 c | 977643 | 1100 82811 270194 | 1 95058 38 | 0.000 % | 160.58/160.69 c | 989127 | 1100 82811 270194 | 1 106542 41 | 0.000 % | 160.58/160.69 c | 989227 | 1100 82811 270194 | 1 106642 41 | 0.000 % | 160.58/160.69 c | 1007185 | 1100 82811 270194 | 1 124600 46 | 0.000 % | 160.58/160.69 c | 1008295 | 1100 82811 270194 | 1 125710 46 | 0.000 % | 160.58/160.69 c | 1008818 | 1100 82811 270194 | 1 126233 46 | 0.000 % | 160.58/160.69 c | 1008920 | 1100 82811 270194 | 1 126335 46 | 0.000 % | 160.58/160.69 c | 1018027 | 1100 82811 270194 | 1 135442 47 | 0.000 % | 160.58/160.69 c | 1024098 | 1100 82811 270194 | 1 72521 33 | 0.000 % | 160.58/160.69 c | 1026150 | 1100 82811 270194 | 1 74573 34 | 0.000 % | 160.58/160.69 c | 1028957 | 1100 82811 270194 | 1 77380 35 | 0.000 % | 160.58/160.69 c | 1029362 | 1100 82811 270194 | 1 77785 35 | 0.000 % | 160.58/160.69 c | 1029465 | 1100 82811 270194 | 1 77888 35 | 0.000 % | 160.58/160.69 c | 1058025 | 1100 82811 270194 | 1 106448 41 | 0.000 % | 160.58/160.69 c | 1060037 | 1100 82811 270194 | 1 108460 41 | 0.000 % | 160.58/160.69 c | 1062646 | 1100 82811 270194 | 1 111069 42 | 0.000 % | 160.58/160.69 c | 1080869 | 1100 82811 270194 | 1 129292 43 | 0.000 % | 160.58/160.69 c | 1095125 | 1100 82811 270194 | 1 71945 28 | 0.000 % | 160.58/160.69 c | 1125317 | 1100 82811 270194 | 1 102137 33 | 0.000 % | 160.58/160.69 c | 1141935 | 1100 82811 270194 | 1 118755 34 | 0.000 % | 160.58/160.69 c | 1142035 | 1100 82811 270194 | 1 118855 34 | 0.000 % | 160.58/160.69 c | 1142469 | 1100 82811 270194 | 1 119289 34 | 0.000 % | 160.58/160.69 c | 1167227 | 1100 82811 270194 | 1 144047 39 | 0.000 % | 160.58/160.69 c | 1192062 | 1100 82811 270194 | 1 94683 32 | 0.000 % | 160.58/160.69 c | 1192923 | 1100 82811 270194 | 1 95544 32 | 0.000 % | 160.58/160.69 c | 1202239 | 1100 82811 270194 | 1 104860 34 | 0.000 % | 160.58/160.69 c | 1206732 | 1100 82811 270194 | 1 109353 36 | 0.000 % | 160.58/160.69 c | 1210051 | 1100 82811 270194 | 1 112672 36 | 0.000 % | 160.58/160.69 c | 1214540 | 1100 82811 270194 | 1 117161 37 | 0.000 % | 160.58/160.69 c | 1214641 | 1100 82811 270194 | 1 117262 37 | 0.000 % | 160.58/160.69 c | 1221222 | 1100 82811 270194 | 1 123843 38 | 0.000 % | 160.58/160.69 c | 1226583 | 1100 82811 270194 | 1 129204 39 | 0.000 % | 160.58/160.69 c | 1230952 | 1100 82811 270194 | 1 133573 39 | 0.000 % | 160.58/160.69 c | 1239709 | 1100 82811 270194 | 1 142330 41 | 0.000 % | 160.58/160.69 c | 1241285 | 1100 82811 270194 | 1 143906 41 | 0.000 % | 160.58/160.69 c | 1251087 | 1100 82811 270194 | 1 76907 29 | 0.000 % | 160.58/160.69 c | 1254609 | 1100 82811 270194 | 1 80429 30 | 0.000 % | 160.58/160.69 c | 1254709 | 1100 82811 270194 | 1 80529 30 | 0.000 % | 160.58/160.69 c | 1255981 | 1100 82811 270194 | 1 81801 31 | 0.000 % | 160.58/160.69 c | 1258184 | 1100 82811 270194 | 1 84004 32 | 0.000 % | 160.58/160.69 c | 1258354 | 1100 82811 270194 | 1 84174 32 | 0.000 % | 160.58/160.69 c | 1271359 | 1100 82811 270194 | 1 97179 35 | 0.000 % | 160.58/160.69 c | 1271486 | 1100 82811 270194 | 1 97306 36 | 0.000 % | 186.78/186.88 c | 1275094 | 1100 82811 270194 | 1 100914 36 | 0.000 % | 186.78/186.88 c | 1275218 | 1100 82811 270194 | 1 101038 36 | 0.000 % | 186.78/186.88 c | 1275804 | 1100 82811 270194 | 1 101624 37 | 0.000 % | 186.78/186.88 c | 1282001 | 1100 82811 270194 | 1 107821 38 | 0.000 % | 186.78/186.88 c | 1293674 | 1100 82811 270194 | 1 119494 40 | 0.000 % | 186.78/186.88 c | 1296187 | 1100 82811 270194 | 1 122007 40 | 0.000 % | 186.78/186.88 c | 1300201 | 1100 82811 270194 | 1 126021 41 | 0.000 % | 186.78/186.88 c | 1304333 | 1100 82811 270194 | 1 130153 42 | 0.000 % | 186.78/186.88 c | 1304855 | 1100 82811 270194 | 1 130675 42 | 0.000 % | 186.78/186.88 c | 1304957 | 1100 82811 270194 | 1 130777 42 | 0.000 % | 186.78/186.88 c | 1307641 | 1100 82811 270194 | 1 133461 43 | 0.000 % | 186.78/186.88 c | 1323322 | 1100 82811 270194 | 1 149142 44 | 0.000 % | 186.78/186.88 c | 1327071 | 1100 82811 270194 | 1 152891 45 | 0.000 % | 186.78/186.88 c | 1327325 | 1100 82811 270194 | 1 153145 45 | 0.000 % | 186.78/186.88 c | 1327791 | 1100 82811 270194 | 1 153611 45 | 0.000 % | 186.78/186.88 c | 1327891 | 1100 82811 270194 | 1 153711 45 | 0.000 % | 186.78/186.88 c | 1328892 | 1100 82811 270194 | 1 154712 45 | 0.000 % | 186.78/186.88 c | 1334938 | 1100 82811 270194 | 1 81361 30 | 0.000 % | 186.78/186.88 c | 1335236 | 1100 82811 270194 | 1 81659 31 | 0.000 % | 186.78/186.88 c | 1342037 | 1100 82811 270194 | 1 88460 33 | 0.000 % | 186.78/186.88 c | 1342138 | 1100 82811 270194 | 1 88561 33 | 0.000 % | 186.78/186.88 c | 1342239 | 1100 82811 270194 | 1 88662 33 | 0.000 % | 186.78/186.88 c | 1342915 | 1100 82811 270194 | 1 89338 33 | 0.000 % | 186.78/186.88 c | 1343912 | 1100 82811 270194 | 1 90335 33 | 0.000 % | 186.78/186.88 c | 1345135 | 1100 82811 270194 | 1 91558 34 | 0.000 % | 186.78/186.88 c | 1345462 | 1100 82811 270194 | 1 91885 34 | 0.000 % | 186.78/186.88 c | 1346181 | 1100 82811 270194 | 1 92604 34 | 0.000 % | 186.78/186.88 c | 1346413 | 1100 82811 270194 | 1 92836 34 | 0.000 % | 186.78/186.88 c | 1353707 | 1100 82811 270194 | 1 100130 35 | 0.000 % | 186.78/186.88 c | 1353807 | 1100 82811 270194 | 1 100230 35 | 0.000 % | 186.78/186.88 c | 1354974 | 1100 82811 270194 | 1 101397 36 | 0.000 % | 186.78/186.88 c | 1356570 | 1100 82811 270194 | 1 102993 36 | 0.000 % | 186.78/186.88 c | 1357987 | 1100 82811 270194 | 1 104410 37 | 0.000 % | 186.78/186.88 c | 1362902 | 1100 82811 270194 | 1 109325 37 | 0.000 % | 186.78/186.88 c | 1363284 | 1100 82811 270194 | 1 109707 38 | 0.000 % | 186.78/186.88 c | 1364437 | 1100 82811 270194 | 1 110860 38 | 0.000 % | 186.78/186.88 c | 1369430 | 1100 82811 270194 | 1 115853 38 | 0.000 % | 186.78/186.88 c | 1386452 | 1100 82811 270194 | 1 132875 39 | 0.000 % | 186.78/186.88 c | 1387808 | 1100 82811 270194 | 1 134231 39 | 0.000 % | 186.78/186.88 c | 1396699 | 1100 82811 270194 | 1 143122 41 | 0.000 % | 186.78/186.88 c | 1399432 | 1100 82811 270194 | 1 145855 41 | 0.000 % | 186.78/186.88 c | 1408187 | 1100 82811 270194 | 1 154610 42 | 0.000 % | 186.78/186.88 c | 1415613 | 1100 82811 270194 | 1 162036 43 | 0.000 % | 186.78/186.88 c | 1433995 | 1100 82811 270194 | 1 98412 32 | 0.000 % | 186.78/186.88 c | 1435300 | 1100 82811 270194 | 1 99717 32 | 0.000 % | 186.78/186.88 c | 1438712 | 1100 82811 270194 | 1 103129 33 | 0.000 % | 186.78/186.88 c | 1442247 | 1100 82811 270194 | 1 106664 34 | 0.000 % | 186.78/186.88 c | 1442349 | 1100 82811 270194 | 1 106766 34 | 0.000 % | 186.78/186.88 c | 1444038 | 1100 82811 270194 | 1 108455 35 | 0.000 % | 186.78/186.88 c | 1449900 | 1100 82811 270194 | 1 114317 36 | 0.000 % | 223.88/223.94 c | 1450382 | 1100 82811 270194 | 1 114799 36 | 0.000 % | 223.88/223.94 c | 1457396 | 1100 82811 270194 | 1 121813 37 | 0.000 % | 223.88/223.94 c | 1459152 | 1100 82811 270194 | 1 123569 38 | 0.000 % | 223.88/223.94 c | 1461331 | 1100 82811 270194 | 1 125748 38 | 0.000 % | 223.88/223.94 c | 1461431 | 1100 82811 270194 | 1 125848 38 | 0.000 % | 223.88/223.94 c | 1462737 | 1100 82811 270194 | 1 127154 38 | 0.000 % | 223.88/223.94 c | 1465587 | 1100 82811 270194 | 1 130004 39 | 0.000 % | 223.88/223.94 c | 1468821 | 1100 82811 270194 | 1 133238 40 | 0.000 % | 223.88/223.94 c | 1479326 | 1100 82811 270194 | 1 143743 41 | 0.000 % | 223.88/223.94 c | 1481660 | 1100 82811 270194 | 1 146077 41 | 0.000 % | 223.88/223.94 c | 1481760 | 1100 82811 270194 | 1 146177 41 | 0.000 % | 223.88/223.94 c | 1481863 | 1100 82811 270194 | 1 146280 41 | 0.000 % | 223.88/223.94 c | 1482100 | 1100 82811 270194 | 1 146517 41 | 0.000 % | 223.88/223.94 c | 1487472 | 1100 82811 270194 | 1 151889 42 | 0.000 % | 223.88/223.94 c | 1487572 | 1100 82811 270194 | 1 151989 42 | 0.000 % | 223.88/223.94 c | 1495829 | 1100 82811 270194 | 1 160246 43 | 0.000 % | 223.88/223.94 c | 1495929 | 1100 82811 270194 | 1 160346 43 | 0.000 % | 223.88/223.94 c | 1496126 | 1100 82811 270194 | 1 160543 43 | 0.000 % | 223.88/223.94 c | 1506142 | 1100 82811 270194 | 1 85956 30 | 0.000 % | 223.88/223.94 c | 1514040 | 1100 82811 270194 | 1 93854 33 | 0.000 % | 223.88/223.94 c | 1514140 | 1100 82811 270194 | 1 93954 33 | 0.000 % | 223.88/223.94 c | 1527017 | 1100 82811 270194 | 1 106831 37 | 0.000 % | 223.88/223.94 c | 1529950 | 1100 82811 270194 | 1 109764 37 | 0.000 % | 223.88/223.94 c | 1530051 | 1100 82811 270194 | 1 109865 37 | 0.000 % | 223.88/223.94 c | 1530151 | 1100 82811 270194 | 1 109965 37 | 0.000 % | 223.88/223.94 c | 1530434 | 1100 82811 270194 | 1 110248 37 | 0.000 % | 223.88/223.94 c | 1563019 | 1100 82811 270194 | 1 142833 42 | 0.000 % | 223.88/223.94 c | 1590984 | 1100 82811 270194 | 1 170798 45 | 0.000 % | 223.88/223.94 c | 1610318 | 1100 82811 270194 | 1 102929 33 | 0.000 % | 223.88/223.94 c | 1610986 | 1100 82811 270194 | 1 103597 33 | 0.000 % | 223.88/223.94 c | 1612255 | 1100 82811 270194 | 1 104866 33 | 0.000 % | 223.88/223.94 c | 1612652 | 1100 82811 270194 | 1 105263 34 | 0.000 % | 223.88/223.94 c | 1612752 | 1100 82811 270194 | 1 105363 34 | 0.000 % | 223.88/223.94 c | 1612855 | 1100 82811 270194 | 1 105466 34 | 0.000 % | 223.88/223.94 c | 1612957 | 1100 82811 270194 | 1 105568 34 | 0.000 % | 223.88/223.94 c | 1613059 | 1100 82811 270194 | 1 105670 34 | 0.000 % | 223.88/223.94 c | 1615379 | 1100 82811 270194 | 1 107990 34 | 0.000 % | 223.88/223.94 c | 1615601 | 1100 82811 270194 | 1 108212 34 | 0.000 % | 223.88/223.94 c | 1625443 | 1100 82811 270194 | 1 118054 36 | 0.000 % | 223.88/223.94 c | 1632126 | 1100 82811 270194 | 1 124737 36 | 0.000 % | 223.88/223.94 c | 1642385 | 1100 82811 270194 | 1 134996 38 | 0.000 % | 223.88/223.94 c | 1645382 | 1100 82811 270194 | 1 137993 39 | 0.000 % | 223.88/223.94 c | 1648254 | 1100 82811 270194 | 1 140865 39 | 0.000 % | 223.88/223.94 c | 1657867 | 1100 82811 270194 | 1 150478 40 | 0.000 % | 223.88/223.94 c | 1671262 | 1100 82811 270194 | 1 163873 41 | 0.000 % | 223.88/223.94 c | 1672992 | 1100 82811 270194 | 1 165603 42 | 0.000 % | 223.88/223.94 c | 1676054 | 1100 82811 270194 | 1 168665 42 | 0.000 % | 223.88/223.94 c | 1685331 | 1100 82811 270194 | 1 177942 43 | 0.000 % | 223.88/223.94 c | 1688703 | 1100 82811 270194 | 1 91523 28 | 0.000 % | 223.88/223.94 c | 1692566 | 1100 82811 270194 | 1 95386 30 | 0.000 % | 253.17/253.21 c | 1697052 | 1100 82811 270194 | 1 99872 31 | 0.000 % | 253.17/253.21 c | 1700438 | 1100 82811 270194 | 1 103258 31 | 0.000 % | 253.17/253.21 c | 1704931 | 1100 82811 270194 | 1 107751 32 | 0.000 % | 253.17/253.21 c | 1705031 | 1100 82811 270194 | 1 107851 32 | 0.000 % | 253.17/253.21 c | 1706365 | 1100 82811 270194 | 1 109185 33 | 0.000 % | 253.17/253.21 c | 1708291 | 1100 82811 270194 | 1 111111 33 | 0.000 % | 253.17/253.21 c | 1708416 | 1100 82811 270194 | 1 111236 33 | 0.000 % | 253.17/253.21 c | 1710558 | 1100 82811 270194 | 1 113378 34 | 0.000 % | 253.17/253.21 c | 1722012 | 1100 82811 270194 | 1 124832 36 | 0.000 % | 253.17/253.21 c | 1727820 | 1100 82811 270194 | 1 130640 37 | 0.000 % | 253.17/253.21 c | 1734242 | 1100 82811 270194 | 1 137062 38 | 0.000 % | 253.17/253.21 c | 1737306 | 1100 82811 270194 | 1 140126 39 | 0.000 % | 253.17/253.22 c | 1737410 | 1100 82811 270194 | 1 140230 39 | 0.000 % | 253.17/253.22 c | 1737511 | 1100 82811 270194 | 1 140331 39 | 0.000 % | 253.17/253.22 c | 1737611 | 1100 82811 270194 | 1 140431 39 | 0.000 % | 253.17/253.22 c | 1737713 | 1100 82811 270194 | 1 140533 39 | 0.000 % | 253.17/253.22 c | 1739695 | 1100 82811 270194 | 1 142515 40 | 0.000 % | 253.17/253.22 c | 1739865 | 1100 82811 270194 | 1 142685 40 | 0.000 % | 253.17/253.22 c | 1749673 | 1100 82811 270194 | 1 152493 41 | 0.000 % | 253.17/253.22 c | 1757230 | 1100 82811 270194 | 1 160050 42 | 0.000 % | 253.17/253.22 c | 1757332 | 1100 82811 270194 | 1 160152 42 | 0.000 % | 253.17/253.22 c | 1757434 | 1100 82811 270194 | 1 160254 42 | 0.000 % | 253.17/253.22 c | 1770820 | 1100 82811 270194 | 1 173640 44 | 0.000 % | 253.17/253.22 c | 1771123 | 1100 82811 270194 | 1 173943 44 | 0.000 % | 253.17/253.22 c | 1772019 | 1100 82811 270194 | 1 174839 44 | 0.000 % | 253.17/253.22 c | 1773103 | 1100 82811 270194 | 1 175923 44 | 0.000 % | 253.17/253.22 c | 1773203 | 1100 82811 270194 | 1 176023 44 | 0.000 % | 253.17/253.22 c | 1773304 | 1100 82811 270194 | 1 176124 44 | 0.000 % | 253.17/253.22 c | 1774366 | 1100 82811 270194 | 1 177186 44 | 0.000 % | 253.17/253.22 c | 1775817 | 1100 82811 270194 | 1 178637 44 | 0.000 % | 253.17/253.22 c | 1789774 | 1100 82811 270194 | 1 100197 30 | 0.000 % | 253.17/253.22 c | 1791257 | 1100 82811 270194 | 1 101680 31 | 0.000 % | 253.17/253.22 c | 1797608 | 1100 82811 270194 | 1 108031 32 | 0.000 % | 253.17/253.22 c | 1800174 | 1100 82811 270194 | 1 110597 33 | 0.000 % | 253.17/253.22 c | 1800274 | 1100 82811 270194 | 1 110697 33 | 0.000 % | 253.17/253.22 c | 1800522 | 1100 82811 270194 | 1 110945 33 | 0.000 % | 253.17/253.22 c | 1809078 | 1100 82811 270194 | 1 119501 35 | 0.000 % | 253.17/253.22 c | 1809297 | 1100 82811 270194 | 1 119720 35 | 0.000 % | 253.17/253.22 c | 1812552 | 1100 82811 270194 | 1 122975 36 | 0.000 % | 253.17/253.22 c | 1812652 | 1100 82811 270194 | 1 123075 36 | 0.000 % | 253.17/253.22 c | 1813127 | 1100 82811 270194 | 1 123550 36 | 0.000 % | 253.17/253.22 c | 1814239 | 1100 82811 270194 | 1 124662 36 | 0.000 % | 253.17/253.22 c | 1816588 | 1100 82811 270194 | 1 127011 37 | 0.000 % | 253.17/253.22 c | 1847798 | 1100 82811 270194 | 1 158221 43 | 0.000 % | 253.17/253.22 c | 1853317 | 1100 82811 270194 | 1 163740 43 | 0.000 % | 253.17/253.22 c | 1854918 | 1100 82811 270194 | 1 165341 43 | 0.000 % | 253.17/253.22 c | 1859048 | 1100 82811 270194 | 1 169471 43 | 0.000 % | 253.17/253.22 c | 1866196 | 1100 82811 270194 | 1 176619 44 | 0.000 % | 253.17/253.22 c | 1875985 | 1100 82811 270194 | 1 186408 45 | 0.000 % | 253.17/253.22 c | 1876362 | 1100 82811 270194 | 1 186785 45 | 0.000 % | 328.18/328.27 c | 1906213 | 1100 82811 270194 | 1 121634 38 | 0.000 % | 328.18/328.27 c | 1918141 | 1100 82811 270194 | 1 133562 40 | 0.000 % | 328.18/328.27 c | 1918676 | 1100 82811 270194 | 1 134097 40 | 0.000 % | 328.18/328.27 c | 1937542 | 1100 82811 270194 | 1 152963 42 | 0.000 % | 328.18/328.27 c | 1969769 | 1100 82811 270194 | 1 185190 45 | 0.000 % | 328.18/328.27 c | 1973336 | 1100 82811 270194 | 1 188757 45 | 0.000 % | 328.18/328.27 c | 1979474 | 1100 82811 270194 | 1 194895 45 | 0.000 % | 328.18/328.27 c | 1985135 | 1100 82811 270194 | 1 102952 30 | 0.000 % | 328.18/328.27 c | 1993042 | 1100 82811 270194 | 1 110859 33 | 0.000 % | 328.18/328.27 c | 2008247 | 1100 82811 270194 | 1 126064 35 | 0.000 % | 328.18/328.27 c | 2009138 | 1100 82811 270194 | 1 126955 35 | 0.000 % | 328.18/328.27 c | 2009678 | 1100 82811 270194 | 1 127495 36 | 0.000 % | 328.18/328.27 c | 2014267 | 1100 82811 270194 | 1 132084 36 | 0.000 % | 328.18/328.27 c | 2026726 | 1100 82811 270194 | 1 144543 38 | 0.000 % | 328.18/328.27 c | 2027243 | 1100 82811 270194 | 1 145060 38 | 0.000 % | 328.18/328.27 c | 2033777 | 1100 82811 270194 | 1 151594 39 | 0.000 % | 328.18/328.27 c | 2067940 | 1100 82811 270194 | 1 185757 42 | 0.000 % | 328.18/328.27 c | 2068617 | 1100 82811 270194 | 1 186434 42 | 0.000 % | 328.18/328.27 c | 2083868 | 1100 82811 270194 | 1 101495 28 | 0.000 % | 328.18/328.27 c | 2091896 | 1100 82811 270194 | 1 109523 31 | 0.000 % | 328.18/328.27 c | 2102550 | 1100 82811 270194 | 1 120177 34 | 0.000 % | 328.18/328.27 c | 2109212 | 1100 82811 270194 | 1 126839 35 | 0.000 % | 328.18/328.27 c | 2109313 | 1100 82811 270194 | 1 126940 35 | 0.000 % | 328.18/328.27 c | 2111734 | 1100 82811 270194 | 1 129361 36 | 0.000 % | 328.18/328.27 c | 2111888 | 1100 82811 270194 | 1 129515 36 | 0.000 % | 328.18/328.27 c | 2113045 | 1100 82811 270194 | 1 130672 37 | 0.000 % | 328.18/328.27 c | 2116910 | 1100 82811 270194 | 1 134537 37 | 0.000 % | 328.18/328.27 c | 2145088 | 1100 82811 270194 | 1 162715 40 | 0.000 % | 328.18/328.27 c | 2145421 | 1100 82811 270194 | 1 163048 40 | 0.000 % | 328.18/328.27 c | 2166401 | 1100 82811 270194 | 1 184028 41 | 0.000 % | 328.18/328.27 c | 2166573 | 1100 82811 270194 | 1 184200 41 | 0.000 % | 328.18/328.27 c | 2175231 | 1100 82811 270194 | 1 192858 42 | 0.000 % | 328.18/328.27 c | 2178454 | 1100 82811 270194 | 1 196081 43 | 0.000 % | 328.18/328.27 c | 2180710 | 1100 82811 270194 | 1 198337 43 | 0.000 % | 328.18/328.27 c | 2186015 | 1100 82811 270194 | 1 203642 44 | 0.000 % | 328.18/328.27 c | 2186116 | 1100 82811 270194 | 1 203743 44 | 0.000 % | 328.18/328.27 c | 2187504 | 1100 82811 270194 | 1 205131 44 | 0.000 % | 328.18/328.27 c | 2187604 | 1100 82811 270194 | 1 205231 44 | 0.000 % | 328.18/328.27 c | 2191684 | 1100 82811 270194 | 1 106504 30 | 0.000 % | 328.18/328.27 c | 2194776 | 1100 82811 270194 | 1 109596 31 | 0.000 % | 328.18/328.27 c | 2195481 | 1100 82811 270194 | 1 110301 31 | 0.000 % | 328.18/328.27 c | 2195783 | 1100 82811 270194 | 1 110603 31 | 0.000 % | 328.18/328.27 c | 2200713 | 1100 82811 270194 | 1 115533 32 | 0.000 % | 328.18/328.27 c | 2203892 | 1100 82811 270194 | 1 118712 33 | 0.000 % | 328.18/328.27 c | 2223396 | 1100 82811 270194 | 1 138216 35 | 0.000 % | 328.18/328.27 c | 2229092 | 1100 82811 270194 | 1 143912 36 | 0.000 % | 328.18/328.27 c | 2229193 | 1100 82811 270194 | 1 144013 36 | 0.000 % | 328.18/328.27 c | 2262361 | 1100 82811 270194 | 1 177181 41 | 0.000 % | 328.18/328.27 c | 2314053 | 1100 82811 270194 | 1 123471 31 | 0.000 % | 367.08/367.16 c | 2316852 | 1100 82811 270194 | 1 126270 32 | 0.000 % | 367.08/367.16 c | 2320105 | 1100 82811 270194 | 1 129523 33 | 0.000 % | 367.08/367.16 c | 2321373 | 1100 82811 270194 | 1 130791 33 | 0.000 % | 367.08/367.16 c | 2327771 | 1100 82811 270194 | 1 137189 34 | 0.000 % | 367.08/367.16 c | 2327987 | 1100 82811 270194 | 1 137405 34 | 0.000 % | 367.08/367.16 c | 2328089 | 1100 82811 270194 | 1 137507 34 | 0.000 % | 367.08/367.16 c | 2333443 | 1100 82811 270194 | 1 142861 36 | 0.000 % | 367.08/367.16 c | 2336890 | 1100 82811 270194 | 1 146308 36 | 0.000 % | 367.08/367.16 c | 2340128 | 1100 82811 270194 | 1 149546 37 | 0.000 % | 367.08/367.16 c | 2342120 | 1100 82811 270194 | 1 151538 37 | 0.000 % | 367.08/367.16 c | 2347758 | 1100 82811 270194 | 1 157176 38 | 0.000 % | 367.08/367.16 c | 2347893 | 1100 82811 270194 | 1 157311 38 | 0.000 % | 367.08/367.16 c | 2350897 | 1100 82811 270194 | 1 160315 38 | 0.000 % | 367.08/367.16 c | 2364393 | 1100 82811 270194 | 1 173811 40 | 0.000 % | 367.08/367.16 c | 2364493 | 1100 82811 270194 | 1 173911 40 | 0.000 % | 367.08/367.16 c | 2366268 | 1100 82811 270194 | 1 175686 40 | 0.000 % | 367.08/367.16 c | 2374187 | 1100 82811 270194 | 1 183605 41 | 0.000 % | 367.08/367.16 c | 2374697 | 1100 82811 270194 | 1 184115 41 | 0.000 % | 367.08/367.16 c | 2375424 | 1100 82811 270194 | 1 184842 41 | 0.000 % | 367.08/367.16 c | 2400833 | 1100 82811 270194 | 1 210251 43 | 0.000 % | 367.08/367.16 c | 2411599 | 1100 82811 270194 | 1 113017 30 | 0.000 % | 367.08/367.16 c | 2426674 | 1100 82811 270194 | 1 128092 32 | 0.000 % | 367.08/367.16 c | 2426812 | 1100 82811 270194 | 1 128230 32 | 0.000 % | 367.08/367.16 c | 2426916 | 1100 82811 270194 | 1 128334 32 | 0.000 % | 367.08/367.16 c | 2429466 | 1100 82811 270194 | 1 130884 33 | 0.000 % | 367.08/367.16 c | 2435392 | 1100 82811 270194 | 1 136810 35 | 0.000 % | 367.08/367.16 c | 2438287 | 1100 82811 270194 | 1 139705 35 | 0.000 % | 367.08/367.16 c | 2439153 | 1100 82811 270194 | 1 140571 35 | 0.000 % | 367.08/367.16 c | 2445667 | 1100 82811 270194 | 1 147085 36 | 0.000 % | 367.08/367.16 c | 2447302 | 1100 82811 270194 | 1 148720 37 | 0.000 % | 367.08/367.16 c | 2449922 | 1100 82811 270194 | 1 151340 37 | 0.000 % | 367.08/367.16 c | 2455322 | 1100 82811 270194 | 1 156740 38 | 0.000 % | 367.08/367.16 c | 2455535 | 1100 82811 270194 | 1 156953 38 | 0.000 % | 367.08/367.16 c | 2462566 | 1100 82811 270194 | 1 163984 39 | 0.000 % | 367.08/367.16 c | 2462930 | 1100 82811 270194 | 1 164348 39 | 0.000 % | 367.08/367.16 c | 2463119 | 1100 82811 270194 | 1 164537 39 | 0.000 % | 367.08/367.16 c | 2463461 | 1100 82811 270194 | 1 164879 39 | 0.000 % | 367.08/367.16 c | 2475199 | 1100 82811 270194 | 1 176617 40 | 0.000 % | 367.08/367.16 c | 2475936 | 1100 82811 270194 | 1 177354 40 | 0.000 % | 367.08/367.16 c | 2482859 | 1100 82811 270194 | 1 184277 41 | 0.000 % | 367.08/367.16 c | 2495052 | 1100 82811 270194 | 1 196470 42 | 0.000 % | 367.08/367.16 c | 2498443 | 1100 82811 270194 | 1 199861 42 | 0.000 % | 367.08/367.16 c | 2507097 | 1100 82811 270194 | 1 208515 43 | 0.000 % | 367.08/367.16 c | 2530520 | 1100 82811 270194 | 1 121344 31 | 0.000 % | 367.08/367.16 c | 2530704 | 1100 82811 270194 | 1 121528 31 | 0.000 % | 367.08/367.16 c | 2537937 | 1100 82811 270194 | 1 128761 33 | 0.000 % | 367.08/367.16 c | 2539632 | 1100 82811 270194 | 1 130456 33 | 0.000 % | 367.08/367.16 c | 2540890 | 1100 82811 270194 | 1 131714 33 | 0.000 % | 367.08/367.16 c | 2546608 | 1100 82811 270194 | 1 137432 34 | 0.000 % | 367.08/367.16 c | 2552626 | 1100 82811 270194 | 1 143450 35 | 0.000 % | 426.09/426.18 c | 2554828 | 1100 82811 270194 | 1 145652 35 | 0.000 % | 426.09/426.18 c | 2557295 | 1100 82811 270194 | 1 148119 36 | 0.000 % | 426.09/426.18 c | 2572640 | 1100 82811 270194 | 1 163464 38 | 0.000 % | 426.09/426.18 c | 2574466 | 1100 82811 270194 | 1 165290 38 | 0.000 % | 426.09/426.18 c | 2577080 | 1100 82811 270194 | 1 167904 39 | 0.000 % | 426.09/426.18 c | 2579910 | 1100 82811 270194 | 1 170734 39 | 0.000 % | 426.09/426.18 c | 2582733 | 1100 82811 270194 | 1 173557 39 | 0.000 % | 426.09/426.18 c | 2582985 | 1100 82811 270194 | 1 173809 39 | 0.000 % | 426.09/426.18 c | 2589084 | 1100 82811 270194 | 1 179908 40 | 0.000 % | 426.09/426.18 c | 2590422 | 1100 82811 270194 | 1 181246 41 | 0.000 % | 426.09/426.18 c | 2591367 | 1100 82811 270194 | 1 182191 41 | 0.000 % | 426.09/426.18 c | 2596929 | 1100 82811 270194 | 1 187753 41 | 0.000 % | 426.09/426.18 c | 2619922 | 1100 82811 270194 | 1 210746 42 | 0.000 % | 426.09/426.18 c | 2620501 | 1100 82811 270194 | 1 211325 42 | 0.000 % | 426.09/426.18 c | 2632983 | 1100 82811 270194 | 1 223807 43 | 0.000 % | 426.09/426.18 c | 2633304 | 1100 82811 270194 | 1 224128 43 | 0.000 % | 426.09/426.18 c | 2640434 | 1100 82811 270194 | 1 118060 29 | 0.000 % | 426.09/426.18 c | 2651081 | 1100 82811 270194 | 1 128707 31 | 0.000 % | 426.09/426.18 c | 2667861 | 1100 82811 270194 | 1 145487 34 | 0.000 % | 426.09/426.18 c | 2684875 | 1100 82811 270194 | 1 162501 36 | 0.000 % | 426.09/426.18 c | 2686392 | 1100 82811 270194 | 1 164018 36 | 0.000 % | 426.09/426.18 c | 2689934 | 1100 82811 270194 | 1 167560 36 | 0.000 % | 426.09/426.18 c | 2690699 | 1100 82811 270194 | 1 168325 36 | 0.000 % | 426.09/426.18 c | 2700197 | 1100 82811 270194 | 1 177823 37 | 0.000 % | 426.09/426.18 c | 2700300 | 1100 82811 270194 | 1 177926 37 | 0.000 % | 426.09/426.18 c | 2702595 | 1100 82811 270194 | 1 180221 38 | 0.000 % | 426.09/426.18 c | 2704601 | 1100 82811 270194 | 1 182227 38 | 0.000 % | 426.09/426.18 c | 2720268 | 1100 82811 270194 | 1 197894 39 | 0.000 % | 426.09/426.18 c | 2723723 | 1100 82811 270194 | 1 201349 39 | 0.000 % | 426.09/426.18 c | 2738552 | 1100 82811 270194 | 1 216178 41 | 0.000 % | 426.09/426.18 c | 2740678 | 1100 82811 270194 | 1 218304 41 | 0.000 % | 426.09/426.18 c | 2768684 | 1100 82811 270194 | 1 130499 30 | 0.000 % | 426.09/426.18 c | 2774506 | 1100 82811 270194 | 1 136321 31 | 0.000 % | 426.09/426.18 c | 2790250 | 1100 82811 270194 | 1 152065 34 | 0.000 % | 426.09/426.18 c | 2790481 | 1100 82811 270194 | 1 152296 34 | 0.000 % | 426.09/426.18 c | 2791293 | 1100 82811 270194 | 1 153108 34 | 0.000 % | 426.09/426.18 c | 2797320 | 1100 82811 270194 | 1 159135 35 | 0.000 % | 426.09/426.18 c | 2800266 | 1100 82811 270194 | 1 162081 35 | 0.000 % | 426.09/426.18 c | 2800666 | 1100 82811 270194 | 1 162481 35 | 0.000 % | 426.09/426.18 c | 2806426 | 1100 82811 270194 | 1 168241 36 | 0.000 % | 426.09/426.18 c | 2807794 | 1100 82811 270194 | 1 169609 36 | 0.000 % | 426.09/426.18 c | 2807894 | 1100 82811 270194 | 1 169709 36 | 0.000 % | 426.09/426.18 c | 2810726 | 1100 82811 270194 | 1 172541 37 | 0.000 % | 426.09/426.18 c | 2811516 | 1100 82811 270194 | 1 173331 37 | 0.000 % | 426.09/426.18 c | 2812281 | 1100 82811 270194 | 1 174096 37 | 0.000 % | 426.09/426.18 c | 2839274 | 1100 82811 270194 | 1 201089 39 | 0.000 % | 426.09/426.18 c | 2839405 | 1100 82811 270194 | 1 201220 39 | 0.000 % | 426.09/426.18 c | 2849794 | 1100 82811 270194 | 1 211609 40 | 0.000 % | 426.09/426.18 c | 2856684 | 1100 82811 270194 | 1 218499 41 | 0.000 % | 426.09/426.18 c | 2856784 | 1100 82811 270194 | 1 218599 41 | 0.000 % | 463.98/464.07 c | 2867505 | 1100 82811 270194 | 1 229320 42 | 0.000 % | 463.98/464.07 c | 2867948 | 1100 82811 270194 | 1 229763 42 | 0.000 % | 463.98/464.07 c | 2868050 | 1100 82811 270194 | 1 229865 42 | 0.000 % | 463.98/464.07 c | 2868150 | 1100 82811 270194 | 1 229965 42 | 0.000 % | 463.98/464.07 c | 2868253 | 1100 82811 270194 | 1 230068 42 | 0.000 % | 463.98/464.07 c | 2868443 | 1100 82811 270194 | 1 230258 42 | 0.000 % | 463.98/464.07 c | 2869741 | 1100 82811 270194 | 1 231556 42 | 0.000 % | 463.98/464.07 c | 2870297 | 1100 82811 270194 | 1 232112 42 | 0.000 % | 463.98/464.07 c | 2870454 | 1100 82811 270194 | 1 232269 42 | 0.000 % | 463.98/464.07 c | 2873618 | 1100 82811 270194 | 1 235433 42 | 0.000 % | 463.98/464.07 c | 2873777 | 1100 82811 270194 | 1 235592 42 | 0.000 % | 463.98/464.07 c | 2892707 | 1100 82811 270194 | 1 136121 32 | 0.000 % | 463.98/464.07 c | 2893799 | 1100 82811 270194 | 1 137213 32 | 0.000 % | 463.98/464.07 c | 2914761 | 1100 82811 270194 | 1 158175 37 | 0.000 % | 463.98/464.07 c | 2918281 | 1100 82811 270194 | 1 161695 37 | 0.000 % | 463.98/464.07 c | 2918999 | 1100 82811 270194 | 1 162413 37 | 0.000 % | 463.98/464.07 c | 2922388 | 1100 82811 270194 | 1 165802 38 | 0.000 % | 463.98/464.07 c | 2923009 | 1100 82811 270194 | 1 166423 38 | 0.000 % | 463.98/464.07 c | 2928573 | 1100 82811 270194 | 1 171987 39 | 0.000 % | 463.98/464.07 c | 2928674 | 1100 82811 270194 | 1 172088 39 | 0.000 % | 463.98/464.07 c | 2936390 | 1100 82811 270194 | 1 179804 40 | 0.000 % | 463.98/464.07 c | 2937524 | 1100 82811 270194 | 1 180938 40 | 0.000 % | 463.98/464.07 c | 2941426 | 1100 82811 270194 | 1 184840 40 | 0.000 % | 463.98/464.07 c | 2944912 | 1100 82811 270194 | 1 188326 41 | 0.000 % | 463.98/464.07 c | 2945012 | 1100 82811 270194 | 1 188426 41 | 0.000 % | 463.98/464.07 c | 2950066 | 1100 82811 270194 | 1 193480 41 | 0.000 % | 463.98/464.07 c | 2950300 | 1100 82811 270194 | 1 193714 41 | 0.000 % | 463.98/464.07 c | 2955771 | 1100 82811 270194 | 1 199185 42 | 0.000 % | 463.98/464.07 c | 2955871 | 1100 82811 270194 | 1 199285 42 | 0.000 % | 463.98/464.07 c | 2964971 | 1100 82811 270194 | 1 208385 43 | 0.000 % | 463.98/464.07 c | 2991696 | 1100 82811 270194 | 1 235110 44 | 0.000 % | 463.98/464.07 c | 3001163 | 1100 82811 270194 | 1 123580 30 | 0.000 % | 463.98/464.07 c | 3001464 | 1100 82811 270194 | 1 123881 30 | 0.000 % | 463.98/464.07 c | 3004112 | 1100 82811 270194 | 1 126529 30 | 0.000 % | 463.98/464.07 c | 3004859 | 1100 82811 270194 | 1 127276 31 | 0.000 % | 463.98/464.07 c | 3008662 | 1100 82811 270194 | 1 131079 31 | 0.000 % | 463.98/464.07 c | 3008763 | 1100 82811 270194 | 1 131180 31 | 0.000 % | 463.98/464.07 c | 3008980 | 1100 82811 270194 | 1 131397 31 | 0.000 % | 463.98/464.07 c | 3013442 | 1100 82811 270194 | 1 135859 32 | 0.000 % | 463.98/464.07 c | 3016252 | 1100 82811 270194 | 1 138669 33 | 0.000 % | 463.98/464.07 c | 3024191 | 1100 82811 270194 | 1 146608 34 | 0.000 % | 463.98/464.07 c | 3041101 | 1100 82811 270194 | 1 163518 37 | 0.000 % | 463.98/464.07 c | 3042155 | 1100 82811 270194 | 1 164572 37 | 0.000 % | 463.98/464.07 c | 3042399 | 1100 82811 270194 | 1 164816 37 | 0.000 % | 463.98/464.07 c | 3058863 | 1100 82811 270194 | 1 181280 40 | 0.000 % | 463.98/464.07 c | 3059274 | 1100 82811 270194 | 1 181691 40 | 0.000 % | 463.98/464.07 c | 3059907 | 1100 82811 270194 | 1 182324 40 | 0.000 % | 463.98/464.07 c | 3060008 | 1100 82811 270194 | 1 182425 40 | 0.000 % | 463.98/464.07 c | 3060399 | 1100 82811 270194 | 1 182816 40 | 0.000 % | 463.98/464.07 c | 3069213 | 1100 82811 270194 | 1 191630 41 | 0.000 % | 508.29/508.32 c | 3069316 | 1100 82811 270194 | 1 191733 41 | 0.000 % | 508.29/508.32 c | 3074544 | 1100 82811 270194 | 1 196961 41 | 0.000 % | 508.29/508.32 c | 3075426 | 1100 82811 270194 | 1 197843 41 | 0.000 % | 508.29/508.32 c | 3077300 | 1100 82811 270194 | 1 199717 42 | 0.000 % | 508.29/508.32 c | 3077401 | 1100 82811 270194 | 1 199818 42 | 0.000 % | 508.29/508.32 c | 3077501 | 1100 82811 270194 | 1 199918 42 | 0.000 % | 508.29/508.32 c | 3083795 | 1100 82811 270194 | 1 206212 42 | 0.000 % | 508.29/508.32 c | 3088228 | 1100 82811 270194 | 1 210645 42 | 0.000 % | 508.29/508.32 c | 3096328 | 1100 82811 270194 | 1 218745 43 | 0.000 % | 508.29/508.32 c | 3097476 | 1100 82811 270194 | 1 219893 44 | 0.000 % | 508.29/508.32 c | 3111510 | 1100 82811 270194 | 1 233927 45 | 0.000 % | 508.29/508.32 c | 3111612 | 1100 82811 270194 | 1 234029 45 | 0.000 % | 508.29/508.32 c | 3118452 | 1100 82811 270194 | 1 240869 45 | 0.000 % | 508.29/508.32 c | 3121689 | 1100 82811 270194 | 1 244106 45 | 0.000 % | 508.29/508.32 c | 3121891 | 1100 82811 270194 | 1 244308 45 | 0.000 % | 508.29/508.32 c | 3133041 | 1100 82811 270194 | 1 131856 30 | 0.000 % | 508.29/508.32 c | 3140615 | 1100 82811 270194 | 1 139430 32 | 0.000 % | 508.29/508.32 c | 3141964 | 1100 82811 270194 | 1 140779 32 | 0.000 % | 508.29/508.32 c | 3162405 | 1100 82811 270194 | 1 161220 35 | 0.000 % | 508.29/508.32 c | 3162893 | 1100 82811 270194 | 1 161708 35 | 0.000 % | 508.29/508.32 c | 3163574 | 1100 82811 270194 | 1 162389 35 | 0.000 % | 508.29/508.32 c | 3164457 | 1100 82811 270194 | 1 163272 35 | 0.000 % | 508.29/508.32 c | 3164557 | 1100 82811 270194 | 1 163372 35 | 0.000 % | 508.29/508.32 c | 3165564 | 1100 82811 270194 | 1 164379 35 | 0.000 % | 508.29/508.32 c | 3171953 | 1100 82811 270194 | 1 170768 36 | 0.000 % | 508.29/508.32 c | 3172938 | 1100 82811 270194 | 1 171753 36 | 0.000 % | 508.29/508.32 c | 3174290 | 1100 82811 270194 | 1 173105 36 | 0.000 % | 508.29/508.32 c | 3176043 | 1100 82811 270194 | 1 174858 37 | 0.000 % | 508.29/508.32 c | 3196998 | 1100 82811 270194 | 1 195813 40 | 0.000 % | 508.29/508.32 c | 3202436 | 1100 82811 270194 | 1 201251 41 | 0.000 % | 508.29/508.32 c | 3217099 | 1100 82811 270194 | 1 215914 42 | 0.000 % | 508.29/508.32 c | 3219622 | 1100 82811 270194 | 1 218437 42 | 0.000 % | 508.29/508.32 c | 3220378 | 1100 82811 270194 | 1 219193 42 | 0.000 % | 508.29/508.32 c | 3220501 | 1100 82811 270194 | 1 219316 42 | 0.000 % | 508.29/508.32 c | 3221195 | 1100 82811 270194 | 1 220010 42 | 0.000 % | 508.29/508.32 c | 3221606 | 1100 82811 270194 | 1 220421 42 | 0.000 % | 508.29/508.32 c | 3223934 | 1100 82811 270194 | 1 222749 42 | 0.000 % | 508.29/508.32 c | 3240464 | 1100 82811 270194 | 1 239279 44 | 0.000 % | 508.29/508.32 c | 3240941 | 1100 82811 270194 | 1 239756 44 | 0.000 % | 508.29/508.32 c | 3245821 | 1100 82811 270194 | 1 244636 44 | 0.000 % | 508.29/508.32 c | 3245922 | 1100 82811 270194 | 1 244737 44 | 0.000 % | 508.29/508.32 c | 3246033 | 1100 82811 270194 | 1 244848 44 | 0.000 % | 508.29/508.32 c | 3246216 | 1100 82811 270194 | 1 245031 44 | 0.000 % | 508.29/508.32 c | 3270377 | 1100 82811 270194 | 1 142990 32 | 0.000 % | 508.29/508.32 c | 3275526 | 1100 82811 270194 | 1 148139 33 | 0.000 % | 508.29/508.32 c | 3276771 | 1100 82811 270194 | 1 149384 33 | 0.000 % | 508.29/508.32 c | 3282559 | 1100 82811 270194 | 1 155172 34 | 0.000 % | 508.29/508.32 c | 3296123 | 1100 82811 270194 | 1 168736 37 | 0.000 % | 508.29/508.32 c | 3307698 | 1100 82811 270194 | 1 180311 39 | 0.000 % | 508.29/508.32 c | 3308106 | 1100 82811 270194 | 1 180719 39 | 0.000 % | 566.19/566.25 c | 3337996 | 1100 82811 270194 | 1 210609 42 | 0.000 % | 566.19/566.25 c | 3371303 | 1100 82811 270194 | 1 243916 44 | 0.000 % | 566.19/566.25 c | 3374639 | 1100 82811 270194 | 1 247252 44 | 0.000 % | 566.19/566.25 c | 3380883 | 1100 82811 270194 | 1 253496 45 | 0.000 % | 566.19/566.25 c | 3387132 | 1100 82811 270194 | 1 130947 29 | 0.000 % | 566.19/566.25 c | 3395483 | 1100 82811 270194 | 1 139298 31 | 0.000 % | 566.19/566.25 c | 3395584 | 1100 82811 270194 | 1 139399 31 | 0.000 % | 566.19/566.25 c | 3396352 | 1100 82811 270194 | 1 140167 31 | 0.000 % | 566.19/566.25 c | 3401349 | 1100 82811 270194 | 1 145164 32 | 0.000 % | 566.19/566.25 c | 3419888 | 1100 82811 270194 | 1 163703 35 | 0.000 % | 566.19/566.25 c | 3428010 | 1100 82811 270194 | 1 171825 37 | 0.000 % | 566.19/566.25 c | 3429377 | 1100 82811 270194 | 1 173192 37 | 0.000 % | 566.19/566.25 c | 3429478 | 1100 82811 270194 | 1 173293 37 | 0.000 % | 566.19/566.25 c | 3430361 | 1100 82811 270194 | 1 174176 37 | 0.000 % | 566.19/566.25 c | 3435270 | 1100 82811 270194 | 1 179085 38 | 0.000 % | 566.19/566.25 c | 3451544 | 1100 82811 270194 | 1 195359 40 | 0.000 % | 566.19/566.25 c | 3456340 | 1100 82811 270194 | 1 200155 41 | 0.000 % | 566.19/566.25 c | 3465676 | 1100 82811 270194 | 1 209491 41 | 0.000 % | 566.19/566.25 c | 3471279 | 1100 82811 270194 | 1 215094 42 | 0.000 % | 566.19/566.25 c | 3473181 | 1100 82811 270194 | 1 216996 42 | 0.000 % | 566.19/566.25 c | 3487056 | 1100 82811 270194 | 1 230871 44 | 0.000 % | 566.19/566.25 c | 3487299 | 1100 82811 270194 | 1 231114 44 | 0.000 % | 566.19/566.25 c | 3488655 | 1100 82811 270194 | 1 232470 44 | 0.000 % | 566.19/566.25 c | 3494223 | 1100 82811 270194 | 1 238038 44 | 0.000 % | 566.19/566.25 c | 3499671 | 1100 82811 270194 | 1 243486 45 | 0.000 % | 566.19/566.25 c | 3500585 | 1100 82811 270194 | 1 244400 45 | 0.000 % | 566.19/566.25 c | 3502005 | 1100 82811 270194 | 1 245820 45 | 0.000 % | 566.19/566.25 c | 3504161 | 1100 82811 270194 | 1 247976 45 | 0.000 % | 566.19/566.25 c | 3518966 | 1100 82811 270194 | 1 262781 46 | 0.000 % | 566.19/566.25 c | 3521956 | 1100 82811 270194 | 1 134364 29 | 0.000 % | 566.19/566.25 c | 3524050 | 1100 82811 270194 | 1 136458 30 | 0.000 % | 566.19/566.25 c | 3536296 | 1100 82811 270194 | 1 148704 32 | 0.000 % | 566.19/566.25 c | 3536396 | 1100 82811 270194 | 1 148804 32 | 0.000 % | 566.19/566.25 c | 3536508 | 1100 82811 270194 | 1 148916 32 | 0.000 % | 566.19/566.25 c | 3537334 | 1100 82811 270194 | 1 149742 32 | 0.000 % | 566.19/566.25 c | 3537455 | 1100 82811 270194 | 1 149863 32 | 0.000 % | 566.19/566.25 c | 3537714 | 1100 82811 270194 | 1 150122 32 | 0.000 % | 566.19/566.25 c | 3543218 | 1100 82811 270194 | 1 155626 33 | 0.000 % | 566.19/566.25 c | 3543318 | 1100 82811 270194 | 1 155726 33 | 0.000 % | 566.19/566.25 c | 3549986 | 1100 82811 270194 | 1 162394 35 | 0.000 % | 566.19/566.25 c | 3564600 | 1100 82811 270194 | 1 177008 37 | 0.000 % | 566.19/566.25 c | 3564701 | 1100 82811 270194 | 1 177109 37 | 0.000 % | 566.19/566.25 c | 3566949 | 1100 82811 270194 | 1 179357 37 | 0.000 % | 566.19/566.25 c | 3577741 | 1100 82811 270194 | 1 190149 38 | 0.000 % | 566.19/566.25 c | 3578831 | 1100 82811 270194 | 1 191239 39 | 0.000 % | 566.19/566.25 c | 3590980 | 1100 82811 270194 | 1 203388 41 | 0.000 % | 566.19/566.25 c | 3591080 | 1100 82811 270194 | 1 203488 41 | 0.000 % | 566.19/566.25 c | 3591181 | 1100 82811 270194 | 1 203589 41 | 0.000 % | 566.19/566.25 c | 3599054 | 1100 82811 270194 | 1 211462 42 | 0.000 % | 566.19/566.25 c | 3599157 | 1100 82811 270194 | 1 211565 42 | 0.000 % | 614.19/614.24 c | 3604106 | 1100 82811 270194 | 1 216514 43 | 0.000 % | 614.19/614.24 c | 3604798 | 1100 82811 270194 | 1 217206 43 | 0.000 % | 614.19/614.24 c | 3604989 | 1100 82811 270194 | 1 217397 43 | 0.000 % | 614.19/614.24 c | 3612767 | 1100 82811 270194 | 1 225175 43 | 0.000 % | 614.19/614.24 c | 3620803 | 1100 82811 270194 | 1 233211 44 | 0.000 % | 614.19/614.24 c | 3621549 | 1100 82811 270194 | 1 233957 44 | 0.000 % | 614.19/614.24 c | 3625256 | 1100 82811 270194 | 1 237664 44 | 0.000 % | 614.19/614.24 c | 3625357 | 1100 82811 270194 | 1 237765 44 | 0.000 % | 614.19/614.24 c | 3636297 | 1100 82811 270194 | 1 248705 43 | 0.000 % | 614.19/614.24 c | 3647433 | 1100 82811 270194 | 1 259841 44 | 0.000 % | 614.19/614.24 c | 3652223 | 1100 82811 270194 | 1 264631 44 | 0.000 % | 614.19/614.24 c | 3664849 | 1100 82811 270194 | 1 143257 29 | 0.000 % | 614.19/614.24 c | 3672262 | 1100 82811 270194 | 1 150670 30 | 0.000 % | 614.19/614.24 c | 3678320 | 1100 82811 270194 | 1 156728 31 | 0.000 % | 614.19/614.24 c | 3678422 | 1100 82811 270194 | 1 156830 31 | 0.000 % | 614.19/614.24 c | 3681756 | 1100 82811 270194 | 1 160164 31 | 0.000 % | 614.19/614.24 c | 3694663 | 1100 82811 270194 | 1 173071 32 | 0.000 % | 614.19/614.24 c | 3705927 | 1100 82811 270194 | 1 184335 33 | 0.000 % | 614.19/614.24 c | 3720842 | 1100 82811 270194 | 1 199250 35 | 0.000 % | 614.19/614.24 c | 3721629 | 1100 82811 270194 | 1 200037 36 | 0.000 % | 614.19/614.24 c | 3722381 | 1100 82811 270194 | 1 200789 36 | 0.000 % | 614.19/614.24 c | 3724843 | 1100 82811 270194 | 1 203251 36 | 0.000 % | 614.19/614.24 c | 3725839 | 1100 82811 270194 | 1 204247 36 | 0.000 % | 614.19/614.24 c | 3727758 | 1100 82811 270194 | 1 206166 36 | 0.000 % | 614.19/614.24 c | 3731660 | 1100 82811 270194 | 1 210068 37 | 0.000 % | 614.19/614.24 c | 3739800 | 1100 82811 270194 | 1 218208 38 | 0.000 % | 614.19/614.24 c | 3740191 | 1100 82811 270194 | 1 218599 38 | 0.000 % | 614.19/614.24 c | 3741271 | 1100 82811 270194 | 1 219679 38 | 0.000 % | 614.19/614.24 c | 3741372 | 1100 82811 270194 | 1 219780 38 | 0.000 % | 614.19/614.24 c | 3745335 | 1100 82811 270194 | 1 223743 38 | 0.000 % | 614.19/614.24 c | 3750160 | 1100 82811 270194 | 1 228568 39 | 0.000 % | 614.19/614.24 c | 3755380 | 1100 82811 270194 | 1 233788 40 | 0.000 % | 614.19/614.24 c | 3755733 | 1100 82811 270194 | 1 234141 40 | 0.000 % | 614.19/614.24 c | 3757896 | 1100 82811 270194 | 1 236304 40 | 0.000 % | 614.19/614.24 c | 3764488 | 1100 82811 270194 | 1 242896 40 | 0.000 % | 614.19/614.24 c | 3764588 | 1100 82811 270194 | 1 242996 40 | 0.000 % | 614.19/614.24 c | 3765168 | 1100 82811 270194 | 1 243576 40 | 0.000 % | 614.19/614.24 c | 3765270 | 1100 82811 270194 | 1 243678 40 | 0.000 % | 614.19/614.24 c | 3765370 | 1100 82811 270194 | 1 243778 40 | 0.000 % | 614.19/614.24 c | 3766879 | 1100 82811 270194 | 1 245287 41 | 0.000 % | 614.19/614.24 c | 3778841 | 1100 82811 270194 | 1 257249 42 | 0.000 % | 614.19/614.24 c | 3785800 | 1100 82811 270194 | 1 264208 42 | 0.000 % | 614.19/614.24 c | 3792728 | 1100 82811 270194 | 1 271136 42 | 0.000 % | 614.19/614.24 c | 3795355 | 1100 82811 270194 | 1 137166 27 | 0.000 % | 614.19/614.24 c | 3805015 | 1100 82811 270194 | 1 146826 28 | 0.000 % | 614.19/614.24 c | 3805116 | 1100 82811 270194 | 1 146927 28 | 0.000 % | 614.19/614.24 c | 3812896 | 1100 82811 270194 | 1 154707 30 | 0.000 % | 614.19/614.24 c | 3816052 | 1100 82811 270194 | 1 157863 30 | 0.000 % | 614.19/614.24 c | 3819161 | 1100 82811 270194 | 1 160972 31 | 0.000 % | 614.19/614.24 c | 3820679 | 1100 82811 270194 | 1 162490 31 | 0.000 % | 655.29/655.30 c | 3822100 | 1100 82811 270194 | 1 163911 31 | 0.000 % | 655.29/655.30 c | 3827594 | 1100 82811 270194 | 1 169405 32 | 0.000 % | 655.29/655.30 c | 3827696 | 1100 82811 270194 | 1 169507 32 | 0.000 % | 655.29/655.30 c | 3828194 | 1100 82811 270194 | 1 170005 32 | 0.000 % | 655.29/655.30 c | 3828697 | 1100 82811 270194 | 1 170508 33 | 0.000 % | 655.29/655.30 c | 3830052 | 1100 82811 270194 | 1 171863 33 | 0.000 % | 655.29/655.30 c | 3830404 | 1100 82811 270194 | 1 172215 33 | 0.000 % | 655.29/655.30 c | 3830504 | 1100 82811 270194 | 1 172315 33 | 0.000 % | 655.29/655.30 c | 3833935 | 1100 82811 270194 | 1 175746 33 | 0.000 % | 655.29/655.30 c | 3834334 | 1100 82811 270194 | 1 176145 33 | 0.000 % | 655.29/655.30 c | 3851537 | 1100 82811 270194 | 1 193348 35 | 0.000 % | 655.29/655.30 c | 3852114 | 1100 82811 270194 | 1 193925 35 | 0.000 % | 655.29/655.30 c | 3852214 | 1100 82811 270194 | 1 194025 35 | 0.000 % | 655.29/655.30 c | 3855759 | 1100 82811 270194 | 1 197570 35 | 0.000 % | 655.29/655.30 c | 3869041 | 1100 82811 270194 | 1 210852 36 | 0.000 % | 655.29/655.30 c | 3878779 | 1100 82811 270194 | 1 220590 37 | 0.000 % | 655.29/655.30 c | 3881545 | 1100 82811 270194 | 1 223356 37 | 0.000 % | 655.29/655.30 c | 3895702 | 1100 82811 270194 | 1 237513 38 | 0.000 % | 655.29/655.30 c | 3895802 | 1100 82811 270194 | 1 237613 38 | 0.000 % | 655.29/655.30 c | 3899954 | 1100 82811 270194 | 1 241765 39 | 0.000 % | 655.29/655.30 c | 3910741 | 1100 82811 270194 | 1 252552 39 | 0.000 % | 655.29/655.30 c | 3911412 | 1100 82811 270194 | 1 253223 39 | 0.000 % | 655.29/655.30 c | 3911610 | 1100 82811 270194 | 1 253421 39 | 0.000 % | 655.29/655.30 c | 3912047 | 1100 82811 270194 | 1 253858 40 | 0.000 % | 655.29/655.30 c | 3930625 | 1100 82811 270194 | 1 272436 41 | 0.000 % | 655.29/655.30 c | 3930741 | 1100 82811 270194 | 1 272552 41 | 0.000 % | 655.29/655.30 c | 3931043 | 1100 82811 270194 | 1 272854 41 | 0.000 % | 655.29/655.30 c | 3931176 | 1100 82811 270194 | 1 272987 41 | 0.000 % | 655.29/655.30 c | 3935624 | 1100 82811 270194 | 1 277435 41 | 0.000 % | 655.29/655.30 c | 3938350 | 1100 82811 270194 | 1 140968 27 | 0.000 % | 655.29/655.30 c | 3939107 | 1100 82811 270194 | 1 141725 27 | 0.000 % | 655.29/655.30 c | 3939589 | 1100 82811 270194 | 1 142207 27 | 0.000 % | 655.29/655.30 c | 3948761 | 1100 82811 270194 | 1 151379 29 | 0.000 % | 655.29/655.30 c | 3951053 | 1100 82811 270194 | 1 153671 30 | 0.000 % | 655.29/655.30 c | 3951870 | 1100 82811 270194 | 1 154488 30 | 0.000 % | 655.29/655.30 c | 3953167 | 1100 82811 270194 | 1 155785 30 | 0.000 % | 655.29/655.30 c | 3953267 | 1100 82811 270194 | 1 155885 30 | 0.000 % | 655.29/655.30 c | 3953370 | 1100 82811 270194 | 1 155988 30 | 0.000 % | 655.29/655.31 c | 3953471 | 1100 82811 270194 | 1 156089 30 | 0.000 % | 655.29/655.31 c | 3956002 | 1100 82811 270194 | 1 158620 31 | 0.000 % | 655.29/655.31 c | 3965163 | 1100 82811 270194 | 1 167781 32 | 0.000 % | 655.29/655.31 c | 3966188 | 1100 82811 270194 | 1 168806 32 | 0.000 % | 655.29/655.31 c | 4003889 | 1100 82811 270194 | 1 206507 38 | 0.000 % | 655.29/655.31 c | 4005377 | 1100 82811 270194 | 1 207995 38 | 0.000 % | 655.29/655.31 c | 4006152 | 1100 82811 270194 | 1 208770 38 | 0.000 % | 655.29/655.31 c | 4007173 | 1100 82811 270194 | 1 209791 38 | 0.000 % | 655.29/655.31 c | 4011952 | 1100 82811 270194 | 1 214570 39 | 0.000 % | 655.29/655.31 c | 4013896 | 1100 82811 270194 | 1 216514 39 | 0.000 % | 655.29/655.31 c | 4023194 | 1100 82811 270194 | 1 225812 40 | 0.000 % | 655.29/655.31 c | 4024220 | 1100 82811 270194 | 1 226838 40 | 0.000 % | 700.71/700.71 c | 4024411 | 1100 82811 270194 | 1 227029 40 | 0.000 % | 700.71/700.71 c | 4028090 | 1100 82811 270194 | 1 230708 40 | 0.000 % | 700.71/700.71 c | 4029349 | 1100 82811 270194 | 1 231967 40 | 0.000 % | 700.71/700.71 c | 4033807 | 1100 82811 270194 | 1 236425 40 | 0.000 % | 700.71/700.71 c | 4052887 | 1100 82811 270194 | 1 255505 42 | 0.000 % | 700.71/700.71 c | 4057062 | 1100 82811 270194 | 1 259680 42 | 0.000 % | 700.71/700.71 c | 4066295 | 1100 82811 270194 | 1 268913 43 | 0.000 % | 700.71/700.71 c | 4066396 | 1100 82811 270194 | 1 269014 43 | 0.000 % | 700.71/700.71 c | 4066657 | 1100 82811 270194 | 1 269275 43 | 0.000 % | 700.71/700.71 c | 4083073 | 1100 82811 270194 | 1 143891 29 | 0.000 % | 700.71/700.71 c | 4084550 | 1100 82811 270194 | 1 145368 29 | 0.000 % | 700.71/700.71 c | 4085508 | 1100 82811 270194 | 1 146326 29 | 0.000 % | 700.71/700.71 c | 4096368 | 1100 82811 270194 | 1 157186 31 | 0.000 % | 700.71/700.71 c | 4098863 | 1100 82811 270194 | 1 159681 31 | 0.000 % | 700.71/700.71 c | 4119430 | 1100 82811 270194 | 1 180248 33 | 0.000 % | 700.71/700.71 c | 4124743 | 1100 82811 270194 | 1 185561 34 | 0.000 % | 700.71/700.71 c | 4124845 | 1100 82811 270194 | 1 185663 34 | 0.000 % | 700.71/700.71 c | 4124945 | 1100 82811 270194 | 1 185763 34 | 0.000 % | 700.71/700.71 c | 4131831 | 1100 82811 270194 | 1 192649 35 | 0.000 % | 700.71/700.71 c | 4131933 | 1100 82811 270194 | 1 192751 35 | 0.000 % | 700.71/700.71 c | 4135521 | 1100 82811 270194 | 1 196339 35 | 0.000 % | 700.71/700.71 c | 4137523 | 1100 82811 270194 | 1 198341 35 | 0.000 % | 700.71/700.71 c | 4145656 | 1100 82811 270194 | 1 206474 36 | 0.000 % | 700.71/700.71 c | 4147878 | 1100 82811 270194 | 1 208696 36 | 0.000 % | 700.71/700.71 c | 4153614 | 1100 82811 270194 | 1 214432 36 | 0.000 % | 700.71/700.71 c | 4156114 | 1100 82811 270194 | 1 216932 36 | 0.000 % | 700.71/700.71 c | 4156259 | 1100 82811 270194 | 1 217077 36 | 0.000 % | 700.71/700.71 c | 4160611 | 1100 82811 270194 | 1 221429 37 | 0.000 % | 700.71/700.71 c | 4160866 | 1100 82811 270194 | 1 221684 37 | 0.000 % | 700.71/700.71 c | 4167425 | 1100 82811 270194 | 1 228243 37 | 0.000 % | 700.71/700.71 c | 4169041 | 1100 82811 270194 | 1 229859 37 | 0.000 % | 700.71/700.71 c | 4169637 | 1100 82811 270194 | 1 230455 37 | 0.000 % | 700.71/700.71 c | 4170891 | 1100 82811 270194 | 1 231709 37 | 0.000 % | 700.71/700.71 c | 4177889 | 1100 82811 270194 | 1 238707 37 | 0.000 % | 700.71/700.71 c | 4188570 | 1100 82811 270194 | 1 249388 38 | 0.000 % | 700.71/700.71 c | 4190842 | 1100 82811 270194 | 1 251660 38 | 0.000 % | 700.71/700.71 c | 4194861 | 1100 82811 270194 | 1 255679 38 | 0.000 % | 700.71/700.71 c | 4207540 | 1100 82811 270194 | 1 268358 39 | 0.000 % | 700.71/700.71 c | 4208587 | 1100 82811 270194 | 1 269405 39 | 0.000 % | 700.71/700.71 c | 4208992 | 1100 82811 270194 | 1 269810 39 | 0.000 % | 700.71/700.71 c | 4213731 | 1100 82811 270194 | 1 274549 40 | 0.000 % | 700.71/700.71 c | 4213833 | 1100 82811 270194 | 1 274651 40 | 0.000 % | 700.71/700.71 c | 4213933 | 1100 82811 270194 | 1 274751 40 | 0.000 % | 700.71/700.71 c | 4215039 | 1100 82811 270194 | 1 275857 40 | 0.000 % | 700.71/700.71 c | 4215321 | 1100 82811 270194 | 1 276139 40 | 0.000 % | 700.71/700.71 c | 4217431 | 1100 82811 270194 | 1 278249 40 | 0.000 % | 700.71/700.71 c | 4217531 | 1100 82811 270194 | 1 278349 40 | 0.000 % | 700.71/700.71 c | 4228368 | 1100 82811 270194 | 1 144790 26 | 0.000 % | 700.71/700.71 c | 4228468 | 1100 82811 270194 | 1 144890 26 | 0.000 % | 700.71/700.71 c | 4230031 | 1100 82811 270194 | 1 146453 26 | 0.000 % | 740.40/740.44 c | 4232223 | 1100 82811 270194 | 1 148645 27 | 0.000 % | 740.40/740.44 c | 4239809 | 1100 82811 270194 | 1 156231 29 | 0.000 % | 740.40/740.44 c | 4251439 | 1100 82811 270194 | 1 167861 31 | 0.000 % | 740.40/740.44 c | 4251885 | 1100 82811 270194 | 1 168307 31 | 0.000 % | 740.40/740.44 c | 4252001 | 1100 82811 270194 | 1 168423 31 | 0.000 % | 740.40/740.44 c | 4252181 | 1100 82811 270194 | 1 168603 31 | 0.000 % | 740.40/740.44 c | 4254927 | 1100 82811 270194 | 1 171349 31 | 0.000 % | 740.40/740.44 c | 4269880 | 1100 82811 270194 | 1 186302 33 | 0.000 % | 740.40/740.44 c | 4277354 | 1100 82811 270194 | 1 193776 34 | 0.000 % | 740.40/740.44 c | 4281102 | 1100 82811 270194 | 1 197524 35 | 0.000 % | 740.40/740.44 c | 4281682 | 1100 82811 270194 | 1 198104 35 | 0.000 % | 740.40/740.44 c | 4286658 | 1100 82811 270194 | 1 203080 36 | 0.000 % | 740.40/740.44 c | 4288039 | 1100 82811 270194 | 1 204461 36 | 0.000 % | 740.40/740.44 c | 4289012 | 1100 82811 270194 | 1 205434 36 | 0.000 % | 740.40/740.44 c | 4289313 | 1100 82811 270194 | 1 205735 36 | 0.000 % | 740.40/740.44 c | 4296046 | 1100 82811 270194 | 1 212468 37 | 0.000 % | 740.40/740.44 c | 4304492 | 1100 82811 270194 | 1 220914 38 | 0.000 % | 740.40/740.44 c | 4304592 | 1100 82811 270194 | 1 221014 38 | 0.000 % | 740.40/740.44 c | 4310571 | 1100 82811 270194 | 1 226993 38 | 0.000 % | 740.40/740.44 c | 4312620 | 1100 82811 270194 | 1 229042 39 | 0.000 % | 740.40/740.44 c | 4315642 | 1100 82811 270194 | 1 232064 39 | 0.000 % | 740.40/740.44 c | 4319037 | 1100 82811 270194 | 1 235459 39 | 0.000 % | 740.40/740.44 c | 4321599 | 1100 82811 270194 | 1 238021 39 | 0.000 % | 740.40/740.44 c | 4322894 | 1100 82811 270194 | 1 239316 39 | 0.000 % | 740.40/740.44 c | 4324879 | 1100 82811 270194 | 1 241301 39 | 0.000 % | 740.40/740.44 c | 4335702 | 1100 82811 270194 | 1 252124 40 | 0.000 % | 740.40/740.44 c | 4336756 | 1100 82811 270194 | 1 253178 40 | 0.000 % | 740.40/740.44 c | 4341643 | 1100 82811 270194 | 1 258065 41 | 0.000 % | 740.40/740.44 c | 4341869 | 1100 82811 270194 | 1 258291 41 | 0.000 % | 740.40/740.44 c | 4365073 | 1100 82811 270194 | 1 281495 43 | 0.000 % | 740.40/740.44 c | 4366910 | 1100 82811 270194 | 1 283332 43 | 0.000 % | 740.40/740.44 c | 4367399 | 1100 82811 270194 | 1 283821 43 | 0.000 % | 740.40/740.44 c | 4373791 | 1100 82811 270194 | 1 290213 43 | 0.000 % | 740.40/740.44 c | 4375601 | 1100 82811 270194 | 1 292023 43 | 0.000 % | 740.40/740.44 c | 4382611 | 1100 82811 270194 | 1 152030 29 | 0.000 % | 740.40/740.44 c | 4382764 | 1100 82811 270194 | 1 152183 29 | 0.000 % | 740.40/740.44 c | 4385565 | 1100 82811 270194 | 1 154984 30 | 0.000 % | 740.40/740.44 c | 4401987 | 1100 82811 270194 | 1 171406 33 | 0.000 % | 740.40/740.44 c | 4403834 | 1100 82811 270194 | 1 173253 33 | 0.000 % | 740.40/740.44 c | 4403968 | 1100 82811 270194 | 1 173387 33 | 0.000 % | 740.40/740.44 c | 4407915 | 1100 82811 270194 | 1 177334 34 | 0.000 % | 740.40/740.44 c | 4410320 | 1100 82811 270194 | 1 179739 34 | 0.000 % | 740.40/740.44 c | 4414172 | 1100 82811 270194 | 1 183591 35 | 0.000 % | 740.40/740.44 c | 4414926 | 1100 82811 270194 | 1 184345 35 | 0.000 % | 740.40/740.44 c | 4417172 | 1100 82811 270194 | 1 186591 35 | 0.000 % | 740.40/740.44 c | 4417911 | 1100 82811 270194 | 1 187330 35 | 0.000 % | 740.40/740.44 c | 4423255 | 1100 82811 270194 | 1 192674 35 | 0.000 % | 740.40/740.44 c | 4424510 | 1100 82811 270194 | 1 193929 36 | 0.000 % | 740.40/740.44 c | 4426517 | 1100 82811 270194 | 1 195936 36 | 0.000 % | 740.40/740.44 c | 4428884 | 1100 82811 270194 | 1 198303 36 | 0.000 % | 778.00/778.00 c | 4430079 | 1100 82811 270194 | 1 199498 36 | 0.000 % | 778.00/778.00 c | 4435250 | 1100 82811 270194 | 1 204669 37 | 0.000 % | 778.00/778.00 c | 4436615 | 1100 82811 270194 | 1 206034 37 | 0.000 % | 778.00/778.00 c | 4441666 | 1100 82811 270194 | 1 211085 38 | 0.000 % | 778.00/778.00 c | 4445594 | 1100 82811 270194 | 1 215013 38 | 0.000 % | 778.00/778.00 c | 4452718 | 1100 82811 270194 | 1 222137 39 | 0.000 % | 778.00/778.00 c | 4457259 | 1100 82811 270194 | 1 226678 40 | 0.000 % | 778.00/778.00 c | 4459188 | 1100 82811 270194 | 1 228607 40 | 0.000 % | 778.00/778.00 c | 4469427 | 1100 82811 270194 | 1 238846 41 | 0.000 % | 778.00/778.00 c | 4492403 | 1100 82811 270194 | 1 261822 44 | 0.000 % | 778.00/778.00 c | 4492503 | 1100 82811 270194 | 1 261922 44 | 0.000 % | 778.00/778.00 c | 4493426 | 1100 82811 270194 | 1 262845 44 | 0.000 % | 778.00/778.00 c | 4494255 | 1100 82811 270194 | 1 263674 44 | 0.000 % | 778.00/778.00 c | 4496668 | 1100 82811 270194 | 1 266087 44 | 0.000 % | 778.00/778.00 c | 4496771 | 1100 82811 270194 | 1 266190 44 | 0.000 % | 778.00/778.00 c | 4497037 | 1100 82811 270194 | 1 266456 44 | 0.000 % | 778.00/778.00 c | 4498042 | 1100 82811 270194 | 1 267461 44 | 0.000 % | 778.00/778.00 c | 4498142 | 1100 82811 270194 | 1 267561 44 | 0.000 % | 778.00/778.00 c | 4499225 | 1100 82811 270194 | 1 268644 44 | 0.000 % | 778.00/778.00 c | 4502754 | 1100 82811 270194 | 1 272173 44 | 0.000 % | 778.00/778.00 c | 4503174 | 1100 82811 270194 | 1 272593 44 | 0.000 % | 778.00/778.00 c | 4504784 | 1100 82811 270194 | 1 274203 44 | 0.000 % | 778.00/778.00 c | 4505802 | 1100 82811 270194 | 1 275221 44 | 0.000 % | 778.00/778.00 c | 4506520 | 1100 82811 270194 | 1 275939 45 | 0.000 % | 778.00/778.00 c | 4512938 | 1100 82811 270194 | 1 282357 45 | 0.000 % | 778.00/778.00 c | 4518402 | 1100 82811 270194 | 1 287821 45 | 0.000 % | 778.00/778.00 c | 4518502 | 1100 82811 270194 | 1 287921 45 | 0.000 % | 778.00/778.00 c | 4518602 | 1100 82811 270194 | 1 288021 45 | 0.000 % | 778.00/778.00 c | 4519049 | 1100 82811 270194 | 1 288468 45 | 0.000 % | 778.00/778.00 c | 4519582 | 1100 82811 270194 | 1 289001 45 | 0.000 % | 778.00/778.00 c | 4519684 | 1100 82811 270194 | 1 289103 45 | 0.000 % | 778.00/778.00 c | 4539184 | 1100 82811 270194 | 1 159015 29 | 0.000 % | 778.00/778.00 c | 4548890 | 1100 82811 270194 | 1 168721 31 | 0.000 % | 778.00/778.00 c | 4551053 | 1100 82811 270194 | 1 170884 31 | 0.000 % | 778.00/778.00 c | 4552510 | 1100 82811 270194 | 1 172341 31 | 0.000 % | 778.00/778.00 c | 4564298 | 1100 82811 270194 | 1 184129 33 | 0.000 % | 778.00/778.00 c | 4566005 | 1100 82811 270194 | 1 185836 33 | 0.000 % | 778.00/778.00 c | 4568768 | 1100 82811 270194 | 1 188599 33 | 0.000 % | 778.00/778.00 c | 4569076 | 1100 82811 270194 | 1 188907 33 | 0.000 % | 778.00/778.00 c | 4573342 | 1100 82811 270194 | 1 193173 34 | 0.000 % | 778.00/778.00 c | 4573442 | 1100 82811 270194 | 1 193273 34 | 0.000 % | 778.00/778.00 c | 4580986 | 1100 82811 270194 | 1 200817 35 | 0.000 % | 778.00/778.00 c | 4584157 | 1100 82811 270194 | 1 203988 35 | 0.000 % | 778.00/778.00 c | 4584257 | 1100 82811 270194 | 1 204088 35 | 0.000 % | 778.00/778.00 c | 4585322 | 1100 82811 270194 | 1 205153 35 | 0.000 % | 778.00/778.00 c | 4599045 | 1100 82811 270194 | 1 218876 37 | 0.000 % | 778.00/778.00 c | 4602514 | 1100 82811 270194 | 1 222345 37 | 0.000 % | 778.00/778.00 c | 4602615 | 1100 82811 270194 | 1 222446 37 | 0.000 % | 778.00/778.00 c | 4603498 | 1100 82811 270194 | 1 223329 37 | 0.000 % | 778.00/778.00 c | 4604485 | 1100 82811 270194 | 1 224316 37 | 0.000 % | 820.10/820.16 c | 4610493 | 1100 82811 270194 | 1 230324 38 | 0.000 % | 820.10/820.16 c | 4612760 | 1100 82811 270194 | 1 232591 38 | 0.000 % | 820.10/820.16 c | 4613732 | 1100 82811 270194 | 1 233563 38 | 0.000 % | 820.10/820.16 c | 4620370 | 1100 82811 270194 | 1 240201 39 | 0.000 % | 820.10/820.16 c | 4622322 | 1100 82811 270194 | 1 242153 39 | 0.000 % | 820.10/820.16 c | 4623339 | 1100 82811 270194 | 1 243170 39 | 0.000 % | 820.10/820.16 c | 4635402 | 1100 82811 270194 | 1 255233 40 | 0.000 % | 820.10/820.16 c | 4641863 | 1100 82811 270194 | 1 261694 40 | 0.000 % | 820.10/820.16 c | 4646327 | 1100 82811 270194 | 1 266158 40 | 0.000 % | 820.10/820.16 c | 4656807 | 1100 82811 270194 | 1 276638 42 | 0.000 % | 820.10/820.16 c | 4656909 | 1100 82811 270194 | 1 276740 42 | 0.000 % | 820.10/820.16 c | 4661444 | 1100 82811 270194 | 1 281275 42 | 0.000 % | 820.10/820.17 c | 4666091 | 1100 82811 270194 | 1 285922 42 | 0.000 % | 820.10/820.17 c | 4669236 | 1100 82811 270194 | 1 289067 42 | 0.000 % | 820.10/820.17 c | 4669899 | 1100 82811 270194 | 1 289730 42 | 0.000 % | 820.10/820.17 c | 4670541 | 1100 82811 270194 | 1 290372 42 | 0.000 % | 820.10/820.17 c | 4673276 | 1100 82811 270194 | 1 293107 42 | 0.000 % | 820.10/820.17 c | 4673377 | 1100 82811 270194 | 1 293208 42 | 0.000 % | 820.10/820.17 c | 4673477 | 1100 82811 270194 | 1 293308 42 | 0.000 % | 820.10/820.17 c | 4673580 | 1100 82811 270194 | 1 293411 42 | 0.000 % | 820.10/820.17 c | 4674411 | 1100 82811 270194 | 1 294242 43 | 0.000 % | 820.10/820.17 c | 4675254 | 1100 82811 270194 | 1 295085 43 | 0.000 % | 820.10/820.17 c | 4675425 | 1100 82811 270194 | 1 295256 43 | 0.000 % | 820.10/820.17 c | 4681518 | 1100 82811 270194 | 1 301349 43 | 0.000 % | 820.10/820.17 c | 4692423 | 1100 82811 270194 | 1 160049 29 | 0.000 % | 820.10/820.17 c | 4700454 | 1100 82811 270194 | 1 168080 30 | 0.000 % | 820.10/820.17 c | 4701309 | 1100 82811 270194 | 1 168935 31 | 0.000 % | 820.10/820.17 c | 4715467 | 1100 82811 270194 | 1 183093 33 | 0.000 % | 820.10/820.17 c | 4720346 | 1100 82811 270194 | 1 187972 34 | 0.000 % | 820.10/820.17 c | 4725258 | 1100 82811 270194 | 1 192884 34 | 0.000 % | 820.10/820.17 c | 4725358 | 1100 82811 270194 | 1 192984 34 | 0.000 % | 820.10/820.17 c | 4725462 | 1100 82811 270194 | 1 193088 34 | 0.000 % | 820.10/820.17 c | 4725564 | 1100 82811 270194 | 1 193190 34 | 0.000 % | 820.10/820.17 c | 4726765 | 1100 82811 270194 | 1 194391 34 | 0.000 % | 820.10/820.17 c | 4731019 | 1100 82811 270194 | 1 198645 35 | 0.000 % | 820.10/820.17 c | 4732567 | 1100 82811 270194 | 1 200193 35 | 0.000 % | 820.10/820.17 c | 4737256 | 1100 82811 270194 | 1 204882 36 | 0.000 % | 820.10/820.17 c | 4747718 | 1100 82811 270194 | 1 215344 37 | 0.000 % | 820.10/820.17 c | 4749360 | 1100 82811 270194 | 1 216986 37 | 0.000 % | 820.10/820.17 c | 4749790 | 1100 82811 270194 | 1 217416 37 | 0.000 % | 820.10/820.17 c | 4751012 | 1100 82811 270194 | 1 218638 37 | 0.000 % | 820.10/820.17 c | 4751227 | 1100 82811 270194 | 1 218853 37 | 0.000 % | 820.10/820.17 c | 4770418 | 1100 82811 270194 | 1 238044 40 | 0.000 % | 820.10/820.17 c | 4770520 | 1100 82811 270194 | 1 238146 40 | 0.000 % | 820.10/820.17 c | 4779896 | 1100 82811 270194 | 1 247522 40 | 0.000 % | 820.10/820.17 c | 4786917 | 1100 82811 270194 | 1 254543 41 | 0.000 % | 820.10/820.17 c | 4787185 | 1100 82811 270194 | 1 254811 41 | 0.000 % | 820.10/820.17 c | 4789899 | 1100 82811 270194 | 1 257525 41 | 0.000 % | 820.10/820.17 c | 4793636 | 1100 82811 270194 | 1 261262 41 | 0.000 % | 820.10/820.17 c | 4797673 | 1100 82811 270194 | 1 265299 41 | 0.000 % | 853.31/853.32 c | 4797792 | 1100 82811 270194 | 1 265418 42 | 0.000 % | 853.31/853.32 c | 4797894 | 1100 82811 270194 | 1 265520 42 | 0.000 % | 853.31/853.32 c | 4799410 | 1100 82811 270194 | 1 267036 42 | 0.000 % | 853.31/853.32 c | 4799816 | 1100 82811 270194 | 1 267442 42 | 0.000 % | 853.31/853.32 c | 4801360 | 1100 82811 270194 | 1 268986 42 | 0.000 % | 853.31/853.32 c | 4802151 | 1100 82811 270194 | 1 269777 42 | 0.000 % | 853.31/853.32 c | 4802301 | 1100 82811 270194 | 1 269927 42 | 0.000 % | 853.31/853.32 c | 4805094 | 1100 82811 270194 | 1 272720 42 | 0.000 % | 853.31/853.32 c | 4805489 | 1100 82811 270194 | 1 273115 42 | 0.000 % | 853.31/853.32 c | 4805590 | 1100 82811 270194 | 1 273216 42 | 0.000 % | 853.31/853.32 c | 4805720 | 1100 82811 270194 | 1 273346 42 | 0.000 % | 853.31/853.32 c | 4805820 | 1100 82811 270194 | 1 273446 42 | 0.000 % | 853.31/853.32 c | 4807966 | 1100 82811 270194 | 1 275592 42 | 0.000 % | 853.31/853.32 c | 4808957 | 1100 82811 270194 | 1 276583 42 | 0.000 % | 853.31/853.32 c | 4809679 | 1100 82811 270194 | 1 277305 42 | 0.000 % | 853.31/853.32 c | 4810098 | 1100 82811 270194 | 1 277724 42 | 0.000 % | 853.31/853.32 c | 4814515 | 1100 82811 270194 | 1 282141 43 | 0.000 % | 853.31/853.32 c | 4819172 | 1100 82811 270194 | 1 286798 43 | 0.000 % | 853.31/853.32 c | 4825784 | 1100 82811 270194 | 1 293410 43 | 0.000 % | 853.31/853.32 c | 4830157 | 1100 82811 270194 | 1 297783 44 | 0.000 % | 853.31/853.32 c | 4831778 | 1100 82811 270194 | 1 299404 44 | 0.000 % | 853.31/853.32 c | 4844990 | 1100 82811 270194 | 1 157815 28 | 0.000 % | 853.31/853.32 c | 4850029 | 1100 82811 270194 | 1 162854 29 | 0.000 % | 853.31/853.32 c | 4850175 | 1100 82811 270194 | 1 163000 29 | 0.000 % | 853.31/853.32 c | 4850507 | 1100 82811 270194 | 1 163332 29 | 0.000 % | 853.31/853.32 c | 4863207 | 1100 82811 270194 | 1 176032 31 | 0.000 % | 853.31/853.32 c | 4863307 | 1100 82811 270194 | 1 176132 31 | 0.000 % | 853.31/853.32 c | 4866191 | 1100 82811 270194 | 1 179016 31 | 0.000 % | 853.31/853.32 c | 4867607 | 1100 82811 270194 | 1 180432 32 | 0.000 % | 853.31/853.32 c | 4872597 | 1100 82811 270194 | 1 185422 32 | 0.000 % | 853.31/853.32 c | 4873986 | 1100 82811 270194 | 1 186811 33 | 0.000 % | 853.31/853.32 c | 4874087 | 1100 82811 270194 | 1 186912 33 | 0.000 % | 853.31/853.32 c | 4875493 | 1100 82811 270194 | 1 188318 33 | 0.000 % | 853.31/853.32 c | 4886227 | 1100 82811 270194 | 1 199052 34 | 0.000 % | 853.31/853.32 c | 4891402 | 1100 82811 270194 | 1 204227 35 | 0.000 % | 853.31/853.32 c | 4892585 | 1100 82811 270194 | 1 205410 35 | 0.000 % | 853.31/853.32 c | 4899960 | 1100 82811 270194 | 1 212785 36 | 0.000 % | 853.31/853.32 c | 4904536 | 1100 82811 270194 | 1 217361 37 | 0.000 % | 853.31/853.32 c | 4916009 | 1100 82811 270194 | 1 228834 38 | 0.000 % | 853.31/853.32 c | 4916157 | 1100 82811 270194 | 1 228982 38 | 0.000 % | 853.31/853.32 c | 4924784 | 1100 82811 270194 | 1 237609 39 | 0.000 % | 853.31/853.32 c | 4931449 | 1100 82811 270194 | 1 244274 40 | 0.000 % | 853.31/853.32 c | 4932243 | 1100 82811 270194 | 1 245068 40 | 0.000 % | 853.31/853.32 c | 4932389 | 1100 82811 270194 | 1 245214 40 | 0.000 % | 853.31/853.32 c | 4932517 | 1100 82811 270194 | 1 245342 40 | 0.000 % | 853.31/853.32 c | 4933403 | 1100 82811 270194 | 1 246228 40 | 0.000 % | 853.31/853.32 c | 4937733 | 1100 82811 270194 | 1 250558 40 | 0.000 % | 853.31/853.32 c | 4948264 | 1100 82811 270194 | 1 261089 41 | 0.000 % | 853.31/853.32 c | 4948366 | 1100 82811 270194 | 1 261191 41 | 0.000 % | 853.31/853.32 c | 4948898 | 1100 82811 270194 | 1 261723 41 | 0.000 % | 903.21/903.25 c | 4955747 | 1100 82811 270194 | 1 268572 41 | 0.000 % | 903.21/903.25 c | 4967701 | 1100 82811 270194 | 1 280526 42 | 0.000 % | 903.21/903.25 c | 4982403 | 1100 82811 270194 | 1 295228 42 | 0.000 % | 903.21/903.25 c | 4982924 | 1100 82811 270194 | 1 295749 42 | 0.000 % | 903.21/903.25 c | 4985463 | 1100 82811 270194 | 1 298288 42 | 0.000 % | 903.21/903.25 c | 4989900 | 1100 82811 270194 | 1 302725 43 | 0.000 % | 903.21/903.25 c | 4994943 | 1100 82811 270194 | 1 307768 43 | 0.000 % | 903.21/903.25 c | 4995043 | 1100 82811 270194 | 1 307868 43 | 0.000 % | 903.21/903.25 c | 4995149 | 1100 82811 270194 | 1 307974 43 | 0.000 % | 903.21/903.25 c | 4997553 | 1100 82811 270194 | 1 310378 43 | 0.000 % | 903.21/903.25 c | 5004497 | 1100 82811 270194 | 1 159914 28 | 0.000 % | 903.21/903.25 c | 5010739 | 1100 82811 270194 | 1 166156 29 | 0.000 % | 903.21/903.25 c | 5010870 | 1100 82811 270194 | 1 166287 29 | 0.000 % | 903.21/903.25 c | 5012954 | 1100 82811 270194 | 1 168371 29 | 0.000 % | 903.21/903.25 c | 5014716 | 1100 82811 270194 | 1 170133 29 | 0.000 % | 903.21/903.25 c | 5015543 | 1100 82811 270194 | 1 170960 30 | 0.000 % | 903.21/903.25 c | 5015643 | 1100 82811 270194 | 1 171060 30 | 0.000 % | 903.21/903.25 c | 5019217 | 1100 82811 270194 | 1 174634 30 | 0.000 % | 903.21/903.25 c | 5022600 | 1100 82811 270194 | 1 178017 30 | 0.000 % | 903.21/903.25 c | 5023297 | 1100 82811 270194 | 1 178714 31 | 0.000 % | 903.21/903.25 c | 5023547 | 1100 82811 270194 | 1 178964 31 | 0.000 % | 903.21/903.25 c | 5023753 | 1100 82811 270194 | 1 179170 31 | 0.000 % | 903.21/903.25 c | 5041630 | 1100 82811 270194 | 1 197047 33 | 0.000 % | 903.21/903.25 c | 5041735 | 1100 82811 270194 | 1 197152 33 | 0.000 % | 903.21/903.25 c | 5041979 | 1100 82811 270194 | 1 197396 33 | 0.000 % | 903.21/903.25 c | 5045268 | 1100 82811 270194 | 1 200685 33 | 0.000 % | 903.21/903.25 c | 5045612 | 1100 82811 270194 | 1 201029 33 | 0.000 % | 903.21/903.25 c | 5053696 | 1100 82811 270194 | 1 209113 34 | 0.000 % | 903.21/903.25 c | 5054037 | 1100 82811 270194 | 1 209454 34 | 0.000 % | 903.21/903.25 c | 5064859 | 1100 82811 270194 | 1 220276 35 | 0.000 % | 903.21/903.25 c | 5066593 | 1100 82811 270194 | 1 222010 35 | 0.000 % | 903.21/903.25 c | 5067984 | 1100 82811 270194 | 1 223401 35 | 0.000 % | 903.21/903.25 c | 5068085 | 1100 82811 270194 | 1 223502 35 | 0.000 % | 903.21/903.25 c | 5068185 | 1100 82811 270194 | 1 223602 35 | 0.000 % | 903.21/903.25 c | 5110861 | 1100 82811 270194 | 1 266278 38 | 0.000 % | 903.21/903.25 c | 5111162 | 1100 82811 270194 | 1 266579 38 | 0.000 % | 903.21/903.25 c | 5118683 | 1100 82811 270194 | 1 274100 39 | 0.000 % | 903.21/903.25 c | 5123340 | 1100 82811 270194 | 1 278757 39 | 0.000 % | 903.21/903.25 c | 5128090 | 1100 82811 270194 | 1 283507 40 | 0.000 % | 903.21/903.25 c | 5131766 | 1100 82811 270194 | 1 287183 40 | 0.000 % | 903.21/903.25 c | 5136980 | 1100 82811 270194 | 1 292397 40 | 0.000 % | 903.21/903.25 c | 5138435 | 1100 82811 270194 | 1 293852 40 | 0.000 % | 903.21/903.25 c | 5138613 | 1100 82811 270194 | 1 294030 40 | 0.000 % | 903.21/903.25 c | 5142994 | 1100 82811 270194 | 1 298411 41 | 0.000 % | 903.21/903.25 c | 5143155 | 1100 82811 270194 | 1 298572 41 | 0.000 % | 903.21/903.25 c | 5145337 | 1100 82811 270194 | 1 300754 41 | 0.000 % | 903.21/903.25 c | 5148222 | 1100 82811 270194 | 1 303639 41 | 0.000 % | 903.21/903.25 c | 5148323 | 1100 82811 270194 | 1 303740 41 | 0.000 % | 903.21/903.25 c | 5148584 | 1100 82811 270194 | 1 304001 41 | 0.000 % | 903.21/903.25 c | 5148901 | 1100 82811 270194 | 1 304318 41 | 0.000 % | 932.41/932.47 c | 5149868 | 1100 82811 270194 | 1 305285 41 | 0.000 % | 932.41/932.47 c | 5152896 | 1100 82811 270194 | 1 308313 41 | 0.000 % | 932.41/932.47 c | 5157004 | 1100 82811 270194 | 1 312421 42 | 0.000 % | 932.41/932.47 c | 5157609 | 1100 82811 270194 | 1 313026 42 | 0.000 % | 932.41/932.47 c | 5158378 | 1100 82811 270194 | 1 313795 42 | 0.000 % | 932.41/932.47 c | 5158517 | 1100 82811 270194 | 1 313934 42 | 0.000 % | 932.41/932.47 c | 5161628 | 1100 82811 270194 | 1 317045 42 | 0.000 % | 932.41/932.47 c | 5161729 | 1100 82811 270194 | 1 317146 42 | 0.000 % | 932.41/932.47 c | 5161830 | 1100 82811 270194 | 1 317247 42 | 0.000 % | 932.41/932.47 c | 5164657 | 1100 82811 270194 | 1 160069 27 | 0.000 % | 932.41/932.47 c | 5165439 | 1100 82811 270194 | 1 160851 27 | 0.000 % | 932.41/932.47 c | 5169365 | 1100 82811 270194 | 1 164777 28 | 0.000 % | 932.41/932.47 c | 5173313 | 1100 82811 270194 | 1 168725 29 | 0.000 % | 932.41/932.47 c | 5178363 | 1100 82811 270194 | 1 173775 29 | 0.000 % | 932.41/932.47 c | 5179370 | 1100 82811 270194 | 1 174782 30 | 0.000 % | 932.41/932.47 c | 5179738 | 1100 82811 270194 | 1 175150 30 | 0.000 % | 932.41/932.47 c | 5179838 | 1100 82811 270194 | 1 175250 30 | 0.000 % | 932.41/932.47 c | 5180025 | 1100 82811 270194 | 1 175437 30 | 0.000 % | 932.41/932.47 c | 5188298 | 1100 82811 270194 | 1 183710 31 | 0.000 % | 932.41/932.47 c | 5189894 | 1100 82811 270194 | 1 185306 31 | 0.000 % | 932.41/932.47 c | 5191176 | 1100 82811 270194 | 1 186588 31 | 0.000 % | 932.41/932.47 c | 5193475 | 1100 82811 270194 | 1 188887 32 | 0.000 % | 932.41/932.47 c | 5193810 | 1100 82811 270194 | 1 189222 32 | 0.000 % | 932.41/932.47 c | 5196652 | 1100 82811 270194 | 1 192064 32 | 0.000 % | 932.41/932.47 c | 5197287 | 1100 82811 270194 | 1 192699 32 | 0.000 % | 932.41/932.47 c | 5197387 | 1100 82811 270194 | 1 192799 32 | 0.000 % | 932.41/932.47 c | 5209707 | 1100 82811 270194 | 1 205119 34 | 0.000 % | 932.41/932.47 c | 5214824 | 1100 82811 270194 | 1 210236 34 | 0.000 % | 932.41/932.47 c | 5217421 | 1100 82811 270194 | 1 212833 35 | 0.000 % | 932.41/932.47 c | 5222904 | 1100 82811 270194 | 1 218316 35 | 0.000 % | 932.41/932.47 c | 5223102 | 1100 82811 270194 | 1 218514 35 | 0.000 % | 932.41/932.47 c | 5223555 | 1100 82811 270194 | 1 218967 35 | 0.000 % | 932.41/932.47 c | 5231611 | 1100 82811 270194 | 1 227023 36 | 0.000 % | 932.41/932.47 c | 5240194 | 1100 82811 270194 | 1 235606 37 | 0.000 % | 932.41/932.47 c | 5240907 | 1100 82811 270194 | 1 236319 37 | 0.000 % | 932.41/932.47 c | 5244518 | 1100 82811 270194 | 1 239930 37 | 0.000 % | 932.41/932.47 c | 5250999 | 1100 82811 270194 | 1 246411 38 | 0.000 % | 932.41/932.47 c | 5251923 | 1100 82811 270194 | 1 247335 38 | 0.000 % | 932.41/932.47 c | 5257332 | 1100 82811 270194 | 1 252744 38 | 0.000 % | 932.41/932.47 c | 5257681 | 1100 82811 270194 | 1 253093 38 | 0.000 % | 932.41/932.47 c | 5258836 | 1100 82811 270194 | 1 254248 38 | 0.000 % | 932.41/932.47 c | 5265961 | 1100 82811 270194 | 1 261373 39 | 0.000 % | 932.41/932.47 c | 5267167 | 1100 82811 270194 | 1 262579 39 | 0.000 % | 932.41/932.47 c | 5268817 | 1100 82811 270194 | 1 264229 39 | 0.000 % | 932.41/932.47 c | 5279261 | 1100 82811 270194 | 1 274673 40 | 0.000 % | 932.41/932.47 c | 5279361 | 1100 82811 270194 | 1 274773 40 | 0.000 % | 932.41/932.47 c | 5281979 | 1100 82811 270194 | 1 277391 40 | 0.000 % | 932.41/932.47 c | 5286628 | 1100 82811 270194 | 1 282040 40 | 0.000 % | 932.41/932.47 c | 5286728 | 1100 82811 270194 | 1 282140 40 | 0.000 % | 932.41/932.47 c | 5288110 | 1100 82811 270194 | 1 283522 40 | 0.000 % | 965.02/965.04 c | 5288587 | 1100 82811 270194 | 1 283999 40 | 0.000 % | 965.02/965.04 c | 5288688 | 1100 82811 270194 | 1 284100 40 | 0.000 % | 965.02/965.04 c | 5288791 | 1100 82811 270194 | 1 284203 40 | 0.000 % | 965.02/965.04 c | 5288891 | 1100 82811 270194 | 1 284303 40 | 0.000 % | 965.02/965.04 c | 5289048 | 1100 82811 270194 | 1 284460 40 | 0.000 % | 965.02/965.04 c | 5289678 | 1100 82811 270194 | 1 285090 40 | 0.000 % | 965.02/965.04 c | 5292246 | 1100 82811 270194 | 1 287658 41 | 0.000 % | 965.02/965.04 c | 5296414 | 1100 82811 270194 | 1 291826 41 | 0.000 % | 965.02/965.04 c | 5296634 | 1100 82811 270194 | 1 292046 41 | 0.000 % | 965.02/965.04 c | 5305498 | 1100 82811 270194 | 1 300910 42 | 0.000 % | 965.02/965.04 c | 5305697 | 1100 82811 270194 | 1 301109 42 | 0.000 % | 965.02/965.04 c | 5305797 | 1100 82811 270194 | 1 301209 42 | 0.000 % | 965.02/965.04 c | 5312559 | 1100 82811 270194 | 1 307971 42 | 0.000 % | 965.02/965.04 c | 5314335 | 1100 82811 270194 | 1 309747 42 | 0.000 % | 965.02/965.04 c | 5318846 | 1100 82811 270194 | 1 314258 42 | 0.000 % | 965.02/965.04 c | 5320599 | 1100 82811 270194 | 1 316011 42 | 0.000 % | 965.02/965.04 c | 5337652 | 1100 82811 270194 | 1 170469 29 | 0.000 % | 965.02/965.04 c | 5346285 | 1100 82811 270194 | 1 179102 30 | 0.000 % | 965.02/965.04 c | 5354198 | 1100 82811 270194 | 1 187015 31 | 0.000 % | 965.02/965.04 c | 5354321 | 1100 82811 270194 | 1 187138 31 | 0.000 % | 965.02/965.04 c | 5356096 | 1100 82811 270194 | 1 188913 32 | 0.000 % | 965.02/965.04 c | 5356196 | 1100 82811 270194 | 1 189013 32 | 0.000 % | 965.02/965.04 c | 5359912 | 1100 82811 270194 | 1 192729 33 | 0.000 % | 965.02/965.04 c | 5360013 | 1100 82811 270194 | 1 192830 33 | 0.000 % | 965.02/965.04 c | 5363292 | 1100 82811 270194 | 1 196109 33 | 0.000 % | 965.02/965.04 c | 5363763 | 1100 82811 270194 | 1 196580 33 | 0.000 % | 965.02/965.04 c | 5363865 | 1100 82811 270194 | 1 196682 33 | 0.000 % | 965.02/965.04 c | 5364634 | 1100 82811 270194 | 1 197451 33 | 0.000 % | 965.02/965.04 c | 5364735 | 1100 82811 270194 | 1 197552 33 | 0.000 % | 965.02/965.04 c | 5364837 | 1100 82811 270194 | 1 197654 33 | 0.000 % | 965.02/965.04 c | 5383717 | 1100 82811 270194 | 1 216534 35 | 0.000 % | 965.02/965.04 c | 5384793 | 1100 82811 270194 | 1 217610 36 | 0.000 % | 965.02/965.04 c | 5388298 | 1100 82811 270194 | 1 221115 36 | 0.000 % | 965.02/965.04 c | 5402474 | 1100 82811 270194 | 1 235291 38 | 0.000 % | 965.02/965.04 c | 5402574 | 1100 82811 270194 | 1 235391 38 | 0.000 % | 965.02/965.04 c | 5403975 | 1100 82811 270194 | 1 236792 38 | 0.000 % | 965.02/965.04 c | 5407791 | 1100 82811 270194 | 1 240608 38 | 0.000 % | 965.02/965.04 c | 5407938 | 1100 82811 270194 | 1 240755 38 | 0.000 % | 965.02/965.04 c | 5413167 | 1100 82811 270194 | 1 245984 39 | 0.000 % | 965.02/965.04 c | 5414484 | 1100 82811 270194 | 1 247301 39 | 0.000 % | 965.02/965.04 c | 5418104 | 1100 82811 270194 | 1 250921 39 | 0.000 % | 965.02/965.04 c | 5418253 | 1100 82811 270194 | 1 251070 39 | 0.000 % | 965.02/965.04 c | 5419738 | 1100 82811 270194 | 1 252555 40 | 0.000 % | 965.02/965.04 c | 5419838 | 1100 82811 270194 | 1 252655 40 | 0.000 % | 965.02/965.04 c | 5421735 | 1100 82811 270194 | 1 254552 40 | 0.000 % | 965.02/965.04 c | 5421959 | 1100 82811 270194 | 1 254776 40 | 0.000 % | 965.02/965.04 c | 5431628 | 1100 82811 270194 | 1 264445 41 | 0.000 % | 965.02/965.04 c | 5434645 | 1100 82811 270194 | 1 267462 41 | 0.000 % | 965.02/965.04 c | 5435221 | 1100 82811 270194 | 1 268038 41 | 0.000 % | 965.02/965.04 c | 5436494 | 1100 82811 270194 | 1 269311 41 | 0.000 % | 1011.12/1011.15 c | 5436595 | 1100 82811 270194 | 1 269412 41 | 0.000 % | 1011.12/1011.15 c | 5444031 | 1100 82811 270194 | 1 276848 42 | 0.000 % | 1011.12/1011.15 c | 5444380 | 1100 82811 270194 | 1 277197 42 | 0.000 % | 1011.12/1011.15 c | 5444506 | 1100 82811 270194 | 1 277323 42 | 0.000 % | 1011.12/1011.15 c | 5449309 | 1100 82811 270194 | 1 282126 43 | 0.000 % | 1011.12/1011.15 c | 5451857 | 1100 82811 270194 | 1 284674 43 | 0.000 % | 1011.12/1011.15 c | 5452708 | 1100 82811 270194 | 1 285525 43 | 0.000 % | 1011.12/1011.15 c | 5452928 | 1100 82811 270194 | 1 285745 43 | 0.000 % | 1011.12/1011.15 c | 5458252 | 1100 82811 270194 | 1 291069 43 | 0.000 % | 1011.12/1011.15 c | 5463330 | 1100 82811 270194 | 1 296147 43 | 0.000 % | 1011.12/1011.15 c | 5466585 | 1100 82811 270194 | 1 299402 44 | 0.000 % | 1011.12/1011.15 c | 5466685 | 1100 82811 270194 | 1 299502 44 | 0.000 % | 1011.12/1011.15 c | 5466913 | 1100 82811 270194 | 1 299730 44 | 0.000 % | 1011.12/1011.15 c | 5467087 | 1100 82811 270194 | 1 299904 44 | 0.000 % | 1011.12/1011.15 c | 5467190 | 1100 82811 270194 | 1 300007 44 | 0.000 % | 1011.12/1011.15 c | 5467360 | 1100 82811 270194 | 1 300177 44 | 0.000 % | 1011.12/1011.15 c | 5470602 | 1100 82811 270194 | 1 303419 44 | 0.000 % | 1011.12/1011.15 c | 5496284 | 1100 82811 270194 | 1 329101 45 | 0.000 % | 1011.12/1011.15 c | 5496395 | 1100 82811 270194 | 1 329212 45 | 0.000 % | 1011.12/1011.15 c | 5496495 | 1100 82811 270194 | 1 329312 45 | 0.000 % | 1011.12/1011.15 c | 5497665 | 1100 82811 270194 | 1 165277 28 | 0.000 % | 1011.12/1011.15 c | 5498057 | 1100 82811 270194 | 1 165669 28 | 0.000 % | 1011.12/1011.15 c | 5510735 | 1100 82811 270194 | 1 178347 31 | 0.000 % | 1011.12/1011.15 c | 5528515 | 1100 82811 270194 | 1 196127 33 | 0.000 % | 1011.12/1011.15 c | 5529985 | 1100 82811 270194 | 1 197597 33 | 0.000 % | 1011.12/1011.15 c | 5537422 | 1100 82811 270194 | 1 205034 34 | 0.000 % | 1011.12/1011.15 c | 5549442 | 1100 82811 270194 | 1 217054 35 | 0.000 % | 1011.12/1011.15 c | 5556044 | 1100 82811 270194 | 1 223656 36 | 0.000 % | 1011.12/1011.15 c | 5560768 | 1100 82811 270194 | 1 228380 36 | 0.000 % | 1011.12/1011.15 c | 5567529 | 1100 82811 270194 | 1 235141 37 | 0.000 % | 1011.12/1011.15 c | 5570511 | 1100 82811 270194 | 1 238123 37 | 0.000 % | 1011.12/1011.15 c | 5573363 | 1100 82811 270194 | 1 240975 37 | 0.000 % | 1011.12/1011.15 c | 5575108 | 1100 82811 270194 | 1 242720 38 | 0.000 % | 1011.12/1011.15 c | 5575550 | 1100 82811 270194 | 1 243162 38 | 0.000 % | 1011.12/1011.15 c | 5576931 | 1100 82811 270194 | 1 244543 38 | 0.000 % | 1011.12/1011.15 c | 5593741 | 1100 82811 270194 | 1 261353 40 | 0.000 % | 1011.12/1011.15 c | 5593843 | 1100 82811 270194 | 1 261455 40 | 0.000 % | 1011.12/1011.15 c | 5594182 | 1100 82811 270194 | 1 261794 40 | 0.000 % | 1011.12/1011.15 c | 5594380 | 1100 82811 270194 | 1 261992 40 | 0.000 % | 1011.12/1011.15 c | 5601181 | 1100 82811 270194 | 1 268793 41 | 0.000 % | 1011.12/1011.15 c | 5611634 | 1100 82811 270194 | 1 279246 41 | 0.000 % | 1011.12/1011.15 c | 5611738 | 1100 82811 270194 | 1 279350 41 | 0.000 % | 1011.12/1011.15 c | 5611935 | 1100 82811 270194 | 1 279547 41 | 0.000 % | 1011.12/1011.15 c | 5624462 | 1100 82811 270194 | 1 292074 42 | 0.000 % | 1011.12/1011.15 c | 5627637 | 1100 82811 270194 | 1 295249 42 | 0.000 % | 1011.12/1011.15 c | 5631280 | 1100 82811 270194 | 1 298892 42 | 0.000 % | 1011.12/1011.15 c | 5631787 | 1100 82811 270194 | 1 299399 42 | 0.000 % | 1011.12/1011.15 c | 5631889 | 1100 82811 270194 | 1 299501 42 | 0.000 % | 1011.12/1011.15 c | 5632036 | 1100 82811 270194 | 1 299648 42 | 0.000 % | 1011.12/1011.15 c | 5633455 | 1100 82811 270194 | 1 301067 43 | 0.000 % | 1050.53/1050.56 c | 5633683 | 1100 82811 270194 | 1 301295 43 | 0.000 % | 1050.53/1050.56 c | 5633948 | 1100 82811 270194 | 1 301560 43 | 0.000 % | 1050.53/1050.56 c | 5641265 | 1100 82811 270194 | 1 308877 43 | 0.000 % | 1050.53/1050.56 c | 5644331 | 1100 82811 270194 | 1 311943 43 | 0.000 % | 1050.53/1050.56 c | 5648491 | 1100 82811 270194 | 1 316103 43 | 0.000 % | 1050.53/1050.56 c | 5660382 | 1100 82811 270194 | 1 327994 44 | 0.000 % | 1050.53/1050.56 c | 5662582 | 1100 82811 270194 | 1 330194 44 | 0.000 % | 1050.53/1050.56 c | 5665184 | 1100 82811 270194 | 1 332796 44 | 0.000 % | 1050.53/1050.56 c | 5665683 | 1100 82811 270194 | 1 333295 44 | 0.000 % | 1050.53/1050.56 c | 5665783 | 1100 82811 270194 | 1 333395 44 | 0.000 % | 1050.53/1050.56 c | 5666209 | 1100 82811 270194 | 1 333821 44 | 0.000 % | 1050.53/1050.56 c | 5666311 | 1100 82811 270194 | 1 333923 44 | 0.000 % | 1050.53/1050.56 c | 5667122 | 1100 82811 270194 | 1 334734 44 | 0.000 % | 1050.53/1050.56 c | 5667236 | 1100 82811 270194 | 1 334848 44 | 0.000 % | 1050.53/1050.56 c | 5671875 | 1100 82811 270194 | 1 171689 28 | 0.000 % | 1050.53/1050.56 c | 5672533 | 1100 82811 270194 | 1 172347 28 | 0.000 % | 1050.53/1050.56 c | 5673983 | 1100 82811 270194 | 1 173797 29 | 0.000 % | 1050.53/1050.56 c | 5674238 | 1100 82811 270194 | 1 174052 29 | 0.000 % | 1050.53/1050.56 c | 5679750 | 1100 82811 270194 | 1 179564 30 | 0.000 % | 1050.53/1050.56 c | 5679851 | 1100 82811 270194 | 1 179665 30 | 0.000 % | 1050.53/1050.56 c | 5680210 | 1100 82811 270194 | 1 180024 30 | 0.000 % | 1050.53/1050.56 c | 5680310 | 1100 82811 270194 | 1 180124 30 | 0.000 % | 1050.53/1050.56 c | 5681360 | 1100 82811 270194 | 1 181174 30 | 0.000 % | 1050.53/1050.56 c | 5691730 | 1100 82811 270194 | 1 191544 31 | 0.000 % | 1050.53/1050.56 c | 5707420 | 1100 82811 270194 | 1 207234 34 | 0.000 % | 1050.53/1050.56 c | 5725653 | 1100 82811 270194 | 1 225467 36 | 0.000 % | 1050.53/1050.56 c | 5725754 | 1100 82811 270194 | 1 225568 36 | 0.000 % | 1050.53/1050.56 c | 5725855 | 1100 82811 270194 | 1 225669 36 | 0.000 % | 1050.53/1050.56 c | 5725992 | 1100 82811 270194 | 1 225806 36 | 0.000 % | 1050.53/1050.56 c | 5726320 | 1100 82811 270194 | 1 226134 36 | 0.000 % | 1050.53/1050.56 c | 5730316 | 1100 82811 270194 | 1 230130 36 | 0.000 % | 1050.53/1050.56 c | 5731083 | 1100 82811 270194 | 1 230897 36 | 0.000 % | 1050.53/1050.56 c | 5738298 | 1100 82811 270194 | 1 238112 37 | 0.000 % | 1050.53/1050.56 c | 5738865 | 1100 82811 270194 | 1 238679 37 | 0.000 % | 1050.53/1050.56 c | 5743168 | 1100 82811 270194 | 1 242982 37 | 0.000 % | 1050.53/1050.56 c | 5744391 | 1100 82811 270194 | 1 244205 37 | 0.000 % | 1050.53/1050.56 c | 5744494 | 1100 82811 270194 | 1 244308 37 | 0.000 % | 1050.53/1050.56 c | 5745814 | 1100 82811 270194 | 1 245628 37 | 0.000 % | 1050.53/1050.56 c | 5748523 | 1100 82811 270194 | 1 248337 38 | 0.000 % | 1050.53/1050.56 c | 5756963 | 1100 82811 270194 | 1 256777 38 | 0.000 % | 1050.53/1050.56 c | 5760754 | 1100 82811 270194 | 1 260568 39 | 0.000 % | 1050.53/1050.56 c | 5776824 | 1100 82811 270194 | 1 276638 39 | 0.000 % | 1050.53/1050.56 c | 5781131 | 1100 82811 270194 | 1 280945 40 | 0.000 % | 1050.53/1050.56 c | 5781231 | 1100 82811 270194 | 1 281045 40 | 0.000 % | 1050.53/1050.56 c | 5781333 | 1100 82811 270194 | 1 281147 40 | 0.000 % | 1050.53/1050.56 c | 5782335 | 1100 82811 270194 | 1 282149 40 | 0.000 % | 1050.53/1050.56 c | 5789494 | 1100 82811 270194 | 1 289308 40 | 0.000 % | 1050.53/1050.56 c | 5794030 | 1100 82811 270194 | 1 293844 40 | 0.000 % | 1050.53/1050.56 c | 5803248 | 1100 82811 270194 | 1 303062 41 | 0.000 % | 1050.53/1050.56 c | 5803569 | 1100 82811 270194 | 1 303383 41 | 0.000 % | 1099.62/1099.64 c | 5806836 | 1100 82811 270194 | 1 306650 41 | 0.000 % | 1099.62/1099.64 c | 5808160 | 1100 82811 270194 | 1 307974 41 | 0.000 % | 1099.62/1099.64 c | 5814228 | 1100 82811 270194 | 1 314042 42 | 0.000 % | 1099.62/1099.64 c | 5830921 | 1100 82811 270194 | 1 330735 42 | 0.000 % | 1099.62/1099.64 c | 5831085 | 1100 82811 270194 | 1 330899 43 | 0.000 % | 1099.62/1099.64 c | 5844077 | 1100 82811 270194 | 1 173497 28 | 0.000 % | 1099.62/1099.64 c | 5850930 | 1100 82811 270194 | 1 180350 29 | 0.000 % | 1099.62/1099.64 c | 5851223 | 1100 82811 270194 | 1 180643 29 | 0.000 % | 1099.62/1099.64 c | 5859754 | 1100 82811 270194 | 1 189174 30 | 0.000 % | 1099.62/1099.64 c | 5861960 | 1100 82811 270194 | 1 191380 31 | 0.000 % | 1099.62/1099.64 c | 5862060 | 1100 82811 270194 | 1 191480 31 | 0.000 % | 1099.62/1099.64 c | 5866629 | 1100 82811 270194 | 1 196049 32 | 0.000 % | 1099.62/1099.64 c | 5868632 | 1100 82811 270194 | 1 198052 32 | 0.000 % | 1099.62/1099.64 c | 5868733 | 1100 82811 270194 | 1 198153 32 | 0.000 % | 1099.62/1099.64 c | 5876864 | 1100 82811 270194 | 1 206284 33 | 0.000 % | 1099.62/1099.64 c | 5877686 | 1100 82811 270194 | 1 207106 34 | 0.000 % | 1099.62/1099.64 c | 5879379 | 1100 82811 270194 | 1 208799 34 | 0.000 % | 1099.62/1099.64 c | 5879644 | 1100 82811 270194 | 1 209064 34 | 0.000 % | 1099.62/1099.64 c | 5883577 | 1100 82811 270194 | 1 212997 34 | 0.000 % | 1099.62/1099.64 c | 5885289 | 1100 82811 270194 | 1 214709 34 | 0.000 % | 1099.62/1099.64 c | 5904850 | 1100 82811 270194 | 1 234270 36 | 0.000 % | 1099.62/1099.64 c | 5912367 | 1100 82811 270194 | 1 241787 37 | 0.000 % | 1099.62/1099.64 c | 5912470 | 1100 82811 270194 | 1 241890 37 | 0.000 % | 1099.62/1099.64 c | 5923790 | 1100 82811 270194 | 1 253210 37 | 0.000 % | 1099.62/1099.64 c | 5927042 | 1100 82811 270194 | 1 256462 38 | 0.000 % | 1099.62/1099.64 c | 5928621 | 1100 82811 270194 | 1 258041 38 | 0.000 % | 1099.62/1099.64 c | 5944429 | 1100 82811 270194 | 1 273849 40 | 0.000 % | 1099.62/1099.64 c | 5944883 | 1100 82811 270194 | 1 274303 40 | 0.000 % | 1099.62/1099.64 c | 5945243 | 1100 82811 270194 | 1 274663 40 | 0.000 % | 1099.62/1099.64 c | 5952886 | 1100 82811 270194 | 1 282306 40 | 0.000 % | 1099.62/1099.64 c | 5952987 | 1100 82811 270194 | 1 282407 40 | 0.000 % | 1099.62/1099.64 c | 5953088 | 1100 82811 270194 | 1 282508 40 | 0.000 % | 1099.62/1099.64 c | 5954133 | 1100 82811 270194 | 1 283553 40 | 0.000 % | 1099.62/1099.64 c | 5956480 | 1100 82811 270194 | 1 285900 40 | 0.000 % | 1099.62/1099.64 c | 5957808 | 1100 82811 270194 | 1 287228 41 | 0.000 % | 1099.62/1099.64 c | 5961067 | 1100 82811 270194 | 1 290487 41 | 0.000 % | 1099.62/1099.64 c | 5962469 | 1100 82811 270194 | 1 291889 41 | 0.000 % | 1099.62/1099.64 c | 5975941 | 1100 82811 270194 | 1 305361 42 | 0.000 % | 1099.62/1099.64 c | 5976041 | 1100 82811 270194 | 1 305461 42 | 0.000 % | 1099.62/1099.64 c | 5983430 | 1100 82811 270194 | 1 312850 42 | 0.000 % | 1099.62/1099.64 c | 5991627 | 1100 82811 270194 | 1 321047 42 | 0.000 % | 1099.62/1099.64 c | 5994772 | 1100 82811 270194 | 1 324192 43 | 0.000 % | 1099.62/1099.64 c | 5996124 | 1100 82811 270194 | 1 325544 43 | 0.000 % | 1099.62/1099.64 c | 5997887 | 1100 82811 270194 | 1 327307 43 | 0.000 % | 1099.62/1099.64 c | 5999539 | 1100 82811 270194 | 1 328959 43 | 0.000 % | 1099.62/1099.64 c | 6008502 | 1100 82811 270194 | 1 337922 43 | 0.000 % | 1099.62/1099.64 c | 6008638 | 1100 82811 270194 | 1 338058 43 | 0.000 % | 1099.62/1099.64 c | 6008738 | 1100 82811 270194 | 1 338158 43 | 0.000 % | 1099.62/1099.64 c | 6011636 | 1100 82811 270194 | 1 341056 43 | 0.000 % | 1099.62/1099.64 c | 6016694 | 1100 82811 270194 | 1 173115 28 | 0.000 % | 1124.42/1124.42 c | 6016909 | 1100 82811 270194 | 1 173330 28 | 0.000 % | 1124.42/1124.42 c | 6021206 | 1100 82811 270194 | 1 177627 28 | 0.000 % | 1124.42/1124.42 c | 6021515 | 1100 82811 270194 | 1 177936 28 | 0.000 % | 1124.42/1124.42 c | 6021897 | 1100 82811 270194 | 1 178318 28 | 0.000 % | 1124.42/1124.42 c | 6021997 | 1100 82811 270194 | 1 178418 28 | 0.000 % | 1124.42/1124.42 c | 6025951 | 1100 82811 270194 | 1 182372 29 | 0.000 % | 1124.42/1124.42 c | 6028525 | 1100 82811 270194 | 1 184946 29 | 0.000 % | 1124.42/1124.42 c | 6031188 | 1100 82811 270194 | 1 187609 30 | 0.000 % | 1124.42/1124.42 c | 6031292 | 1100 82811 270194 | 1 187713 30 | 0.000 % | 1124.42/1124.42 c | 6031492 | 1100 82811 270194 | 1 187913 30 | 0.000 % | 1124.42/1124.42 c | 6033294 | 1100 82811 270194 | 1 189715 30 | 0.000 % | 1124.42/1124.42 c | 6035323 | 1100 82811 270194 | 1 191744 30 | 0.000 % | 1124.42/1124.42 c | 6035750 | 1100 82811 270194 | 1 192171 31 | 0.000 % | 1124.42/1124.42 c | 6038167 | 1100 82811 270194 | 1 194588 31 | 0.000 % | 1124.42/1124.42 c | 6040240 | 1100 82811 270194 | 1 196661 31 | 0.000 % | 1124.42/1124.42 c | 6042956 | 1100 82811 270194 | 1 199377 32 | 0.000 % | 1124.42/1124.42 c | 6043300 | 1100 82811 270194 | 1 199721 32 | 0.000 % | 1124.42/1124.42 c | 6043591 | 1100 82811 270194 | 1 200012 32 | 0.000 % | 1124.42/1124.42 c | 6049366 | 1100 82811 270194 | 1 205787 33 | 0.000 % | 1124.42/1124.42 c | 6051997 | 1100 82811 270194 | 1 208418 33 | 0.000 % | 1124.42/1124.42 c | 6059357 | 1100 82811 270194 | 1 215778 34 | 0.000 % | 1124.42/1124.42 c | 6059676 | 1100 82811 270194 | 1 216097 34 | 0.000 % | 1124.42/1124.42 c | 6060419 | 1100 82811 270194 | 1 216840 34 | 0.000 % | 1124.42/1124.42 c | 6068977 | 1100 82811 270194 | 1 225398 35 | 0.000 % | 1124.42/1124.42 c | 6069739 | 1100 82811 270194 | 1 226160 35 | 0.000 % | 1124.42/1124.42 c | 6081825 | 1100 82811 270194 | 1 238246 36 | 0.000 % | 1124.42/1124.42 c | 6082876 | 1100 82811 270194 | 1 239297 36 | 0.000 % | 1124.42/1124.42 c | 6082979 | 1100 82811 270194 | 1 239400 36 | 0.000 % | 1124.42/1124.42 c | 6087663 | 1100 82811 270194 | 1 244084 37 | 0.000 % | 1124.42/1124.42 c | 6089329 | 1100 82811 270194 | 1 245750 37 | 0.000 % | 1124.42/1124.42 c | 6090477 | 1100 82811 270194 | 1 246898 37 | 0.000 % | 1124.42/1124.42 c | 6090935 | 1100 82811 270194 | 1 247356 37 | 0.000 % | 1124.42/1124.42 c | 6092543 | 1100 82811 270194 | 1 248964 37 | 0.000 % | 1124.42/1124.42 c | 6093713 | 1100 82811 270194 | 1 250134 37 | 0.000 % | 1124.42/1124.42 c | 6097473 | 1100 82811 270194 | 1 253894 38 | 0.000 % | 1124.42/1124.42 c | 6100954 | 1100 82811 270194 | 1 257375 38 | 0.000 % | 1124.42/1124.42 c | 6101428 | 1100 82811 270194 | 1 257849 38 | 0.000 % | 1124.42/1124.42 c | 6105166 | 1100 82811 270194 | 1 261587 38 | 0.000 % | 1124.42/1124.42 c | 6107388 | 1100 82811 270194 | 1 263809 39 | 0.000 % | 1124.42/1124.42 c | 6107490 | 1100 82811 270194 | 1 263911 39 | 0.000 % | 1124.42/1124.42 c | 6107590 | 1100 82811 270194 | 1 264011 39 | 0.000 % | 1124.42/1124.42 c | 6107690 | 1100 82811 270194 | 1 264111 39 | 0.000 % | 1124.42/1124.42 c | 6107790 | 1100 82811 270194 | 1 264211 39 | 0.000 % | 1124.42/1124.42 c | 6115057 | 1100 82811 270194 | 1 271478 39 | 0.000 % | 1124.42/1124.42 c | 6116198 | 1100 82811 270194 | 1 272619 40 | 0.000 % | 1124.42/1124.42 c | 6117557 | 1100 82811 270194 | 1 273978 40 | 0.000 % | 1124.42/1124.42 c | 6117769 | 1100 82811 270194 | 1 274190 40 | 0.000 % | 1124.42/1124.42 c | 6118923 | 1100 82811 270194 | 1 275344 40 | 0.000 % | 1124.42/1124.42 c | 6119719 | 1100 82811 270194 | 1 276140 40 | 0.000 % | 1124.42/1124.42 c | 6127369 | 1100 82811 270194 | 1 283790 40 | 0.000 % | 1167.72/1167.73 c | 6127494 | 1100 82811 270194 | 1 283915 40 | 0.000 % | 1167.72/1167.73 c | 6135536 | 1100 82811 270194 | 1 291957 41 | 0.000 % | 1167.72/1167.73 c | 6137481 | 1100 82811 270194 | 1 293902 41 | 0.000 % | 1167.72/1167.73 c | 6138901 | 1100 82811 270194 | 1 295322 41 | 0.000 % | 1167.72/1167.73 c | 6152063 | 1100 82811 270194 | 1 308484 42 | 0.000 % | 1167.72/1167.73 c | 6158837 | 1100 82811 270194 | 1 315258 43 | 0.000 % | 1167.72/1167.73 c | 6166838 | 1100 82811 270194 | 1 323259 43 | 0.000 % | 1167.72/1167.73 c | 6167150 | 1100 82811 270194 | 1 323571 43 | 0.000 % | 1167.72/1167.73 c | 6186911 | 1100 82811 270194 | 1 343332 43 | 0.000 % | 1167.72/1167.73 c | 6187903 | 1100 82811 270194 | 1 344324 44 | 0.000 % | 1167.72/1167.73 c | 6188548 | 1100 82811 270194 | 1 344969 44 | 0.000 % | 1167.72/1167.73 c | 6191163 | 1100 82811 270194 | 1 347584 44 | 0.000 % | 1167.72/1167.73 c | 6191902 | 1100 82811 270194 | 1 348323 44 | 0.000 % | 1167.72/1167.73 c | 6193648 | 1100 82811 270194 | 1 350069 44 | 0.000 % | 1167.72/1167.73 c | 6194285 | 1100 82811 270194 | 1 350706 44 | 0.000 % | 1167.72/1167.73 c | 6195578 | 1100 82811 270194 | 1 176398 27 | 0.000 % | 1167.72/1167.73 c | 6195833 | 1100 82811 270194 | 1 176653 27 | 0.000 % | 1167.72/1167.73 c | 6195955 | 1100 82811 270194 | 1 176775 27 | 0.000 % | 1167.72/1167.73 c | 6215746 | 1100 82811 270194 | 1 196566 30 | 0.000 % | 1167.72/1167.73 c | 6223634 | 1100 82811 270194 | 1 204454 30 | 0.000 % | 1167.72/1167.73 c | 6223735 | 1100 82811 270194 | 1 204555 31 | 0.000 % | 1167.72/1167.73 c | 6226106 | 1100 82811 270194 | 1 206926 31 | 0.000 % | 1167.72/1167.73 c | 6227243 | 1100 82811 270194 | 1 208063 31 | 0.000 % | 1167.72/1167.73 c | 6232457 | 1100 82811 270194 | 1 213277 32 | 0.000 % | 1167.72/1167.73 c | 6234197 | 1100 82811 270194 | 1 215017 32 | 0.000 % | 1167.72/1167.73 c | 6246441 | 1100 82811 270194 | 1 227261 33 | 0.000 % | 1167.72/1167.73 c | 6247262 | 1100 82811 270194 | 1 228082 34 | 0.000 % | 1167.72/1167.73 c | 6247364 | 1100 82811 270194 | 1 228184 34 | 0.000 % | 1167.72/1167.73 c | 6247466 | 1100 82811 270194 | 1 228286 34 | 0.000 % | 1167.72/1167.73 c | 6254302 | 1100 82811 270194 | 1 235122 34 | 0.000 % | 1167.72/1167.73 c | 6254402 | 1100 82811 270194 | 1 235222 34 | 0.000 % | 1167.72/1167.73 c | 6257417 | 1100 82811 270194 | 1 238237 35 | 0.000 % | 1167.72/1167.73 c | 6257581 | 1100 82811 270194 | 1 238401 35 | 0.000 % | 1167.72/1167.73 c | 6261382 | 1100 82811 270194 | 1 242202 35 | 0.000 % | 1167.72/1167.73 c | 6262181 | 1100 82811 270194 | 1 243001 35 | 0.000 % | 1167.72/1167.73 c | 6263207 | 1100 82811 270194 | 1 244027 35 | 0.000 % | 1167.72/1167.73 c | 6263307 | 1100 82811 270194 | 1 244127 35 | 0.000 % | 1167.72/1167.73 c | 6273216 | 1100 82811 270194 | 1 254036 36 | 0.000 % | 1167.72/1167.73 c | 6276052 | 1100 82811 270194 | 1 256872 36 | 0.000 % | 1167.72/1167.73 c | 6281368 | 1100 82811 270194 | 1 262188 36 | 0.000 % | 1167.72/1167.73 c | 6281574 | 1100 82811 270194 | 1 262394 37 | 0.000 % | 1167.72/1167.73 c | 6282375 | 1100 82811 270194 | 1 263195 37 | 0.000 % | 1167.72/1167.73 c | 6282476 | 1100 82811 270194 | 1 263296 37 | 0.000 % | 1167.72/1167.73 c | 6283224 | 1100 82811 270194 | 1 264044 37 | 0.000 % | 1167.72/1167.73 c | 6285120 | 1100 82811 270194 | 1 265940 37 | 0.000 % | 1167.72/1167.73 c | 6285949 | 1100 82811 270194 | 1 266769 37 | 0.000 % | 1167.72/1167.73 c | 6286527 | 1100 82811 270194 | 1 267347 37 | 0.000 % | 1167.72/1167.73 c | 6286996 | 1100 82811 270194 | 1 267816 37 | 0.000 % | 1167.72/1167.73 c | 6307150 | 1100 82811 270194 | 1 287970 38 | 0.000 % | 1210.12/1210.11 c | 6307567 | 1100 82811 270194 | 1 288387 38 | 0.000 % | 1210.12/1210.11 c | 6317016 | 1100 82811 270194 | 1 297836 39 | 0.000 % | 1210.12/1210.11 c | 6317585 | 1100 82811 270194 | 1 298405 39 | 0.000 % | 1210.12/1210.11 c | 6320956 | 1100 82811 270194 | 1 301776 39 | 0.000 % | 1210.12/1210.11 c | 6321265 | 1100 82811 270194 | 1 302085 39 | 0.000 % | 1210.12/1210.11 c | 6321541 | 1100 82811 270194 | 1 302361 39 | 0.000 % | 1210.12/1210.11 c | 6321642 | 1100 82811 270194 | 1 302462 39 | 0.000 % | 1210.12/1210.11 c | 6323555 | 1100 82811 270194 | 1 304375 39 | 0.000 % | 1210.12/1210.11 c | 6323656 | 1100 82811 270194 | 1 304476 39 | 0.000 % | 1210.12/1210.11 c | 6323756 | 1100 82811 270194 | 1 304576 39 | 0.000 % | 1210.12/1210.11 c | 6323856 | 1100 82811 270194 | 1 304676 39 | 0.000 % | 1210.12/1210.11 c | 6331139 | 1100 82811 270194 | 1 311959 40 | 0.000 % | 1210.12/1210.11 c | 6343562 | 1100 82811 270194 | 1 324382 41 | 0.000 % | 1210.12/1210.11 c | 6343763 | 1100 82811 270194 | 1 324583 41 | 0.000 % | 1210.12/1210.11 c | 6344792 | 1100 82811 270194 | 1 325612 41 | 0.000 % | 1210.12/1210.11 c | 6348429 | 1100 82811 270194 | 1 329249 41 | 0.000 % | 1210.12/1210.11 c | 6349453 | 1100 82811 270194 | 1 330273 41 | 0.000 % | 1210.12/1210.11 c | 6355217 | 1100 82811 270194 | 1 336037 41 | 0.000 % | 1210.12/1210.11 c | 6355657 | 1100 82811 270194 | 1 336477 41 | 0.000 % | 1210.12/1210.11 c | 6360710 | 1100 82811 270194 | 1 341530 42 | 0.000 % | 1210.12/1210.11 c | 6362659 | 1100 82811 270194 | 1 343479 42 | 0.000 % | 1210.12/1210.11 c | 6363633 | 1100 82811 270194 | 1 344453 42 | 0.000 % | 1210.12/1210.11 c | 6364585 | 1100 82811 270194 | 1 345405 42 | 0.000 % | 1210.12/1210.11 c | 6375456 | 1100 82811 270194 | 1 356276 42 | 0.000 % | 1210.12/1210.11 c | 6377468 | 1100 82811 270194 | 1 180083 27 | 0.000 % | 1210.12/1210.11 c | 6377570 | 1100 82811 270194 | 1 180185 27 | 0.000 % | 1210.12/1210.11 c | 6381688 | 1100 82811 270194 | 1 184303 28 | 0.000 % | 1210.12/1210.11 c | 6399932 | 1100 82811 270194 | 1 202547 30 | 0.000 % | 1210.12/1210.11 c | 6400125 | 1100 82811 270194 | 1 202740 30 | 0.000 % | 1210.12/1210.11 c | 6402463 | 1100 82811 270194 | 1 205078 31 | 0.000 % | 1210.12/1210.11 c | 6402563 | 1100 82811 270194 | 1 205178 31 | 0.000 % | 1210.12/1210.11 c | 6404474 | 1100 82811 270194 | 1 207089 31 | 0.000 % | 1210.12/1210.11 c | 6404694 | 1100 82811 270194 | 1 207309 31 | 0.000 % | 1210.12/1210.11 c | 6404975 | 1100 82811 270194 | 1 207590 31 | 0.000 % | 1210.12/1210.11 c | 6405268 | 1100 82811 270194 | 1 207883 31 | 0.000 % | 1210.12/1210.11 c | 6410963 | 1100 82811 270194 | 1 213578 32 | 0.000 % | 1210.12/1210.11 c | 6416299 | 1100 82811 270194 | 1 218914 32 | 0.000 % | 1210.12/1210.11 c | 6424370 | 1100 82811 270194 | 1 226985 34 | 0.000 % | 1210.12/1210.11 c | 6426916 | 1100 82811 270194 | 1 229531 34 | 0.000 % | 1210.12/1210.11 c | 6432531 | 1100 82811 270194 | 1 235146 34 | 0.000 % | 1210.12/1210.11 c | 6445291 | 1100 82811 270194 | 1 247906 36 | 0.000 % | 1210.12/1210.11 c | 6453198 | 1100 82811 270194 | 1 255813 36 | 0.000 % | 1210.12/1210.11 c | 6453829 | 1100 82811 270194 | 1 256444 36 | 0.000 % | 1210.12/1210.11 c | 6455718 | 1100 82811 270194 | 1 258333 36 | 0.000 % | 1210.12/1210.11 c | 6475072 | 1100 82811 270194 | 1 277687 37 | 0.000 % | 1210.12/1210.11 c | 6476858 | 1100 82811 270194 | 1 279473 37 | 0.000 % | 1210.12/1210.11 c | 6478899 | 1100 82811 270194 | 1 281514 38 | 0.000 % | 1210.12/1210.11 c | 6479178 | 1100 82811 270194 | 1 281793 38 | 0.000 % | 1210.12/1210.11 c | 6488931 | 1100 82811 270194 | 1 291546 38 | 0.000 % | 1210.12/1210.11 c | 6489034 | 1100 82811 270194 | 1 291649 38 | 0.000 % | 1251.83/1251.80 c | 6489134 | 1100 82811 270194 | 1 291749 38 | 0.000 % | 1251.83/1251.80 c | 6489235 | 1100 82811 270194 | 1 291850 38 | 0.000 % | 1251.83/1251.80 c | 6491280 | 1100 82811 270194 | 1 293895 39 | 0.000 % | 1251.83/1251.80 c | 6492588 | 1100 82811 270194 | 1 295203 39 | 0.000 % | 1251.83/1251.80 c | 6495648 | 1100 82811 270194 | 1 298263 39 | 0.000 % | 1251.83/1251.80 c | 6496140 | 1100 82811 270194 | 1 298755 39 | 0.000 % | 1251.83/1251.80 c | 6497900 | 1100 82811 270194 | 1 300515 39 | 0.000 % | 1251.83/1251.80 c | 6498517 | 1100 82811 270194 | 1 301132 39 | 0.000 % | 1251.83/1251.80 c | 6499867 | 1100 82811 270194 | 1 302482 39 | 0.000 % | 1251.83/1251.80 c | 6518303 | 1100 82811 270194 | 1 320918 41 | 0.000 % | 1251.83/1251.80 c | 6521068 | 1100 82811 270194 | 1 323683 41 | 0.000 % | 1251.83/1251.80 c | 6523300 | 1100 82811 270194 | 1 325915 41 | 0.000 % | 1251.83/1251.80 c | 6523400 | 1100 82811 270194 | 1 326015 41 | 0.000 % | 1251.83/1251.80 c | 6532625 | 1100 82811 270194 | 1 335240 41 | 0.000 % | 1251.83/1251.80 c | 6534726 | 1100 82811 270194 | 1 337341 41 | 0.000 % | 1251.83/1251.80 c | 6535614 | 1100 82811 270194 | 1 338229 41 | 0.000 % | 1251.83/1251.80 c | 6535714 | 1100 82811 270194 | 1 338329 41 | 0.000 % | 1251.83/1251.80 c | 6541805 | 1100 82811 270194 | 1 344420 41 | 0.000 % | 1251.83/1251.80 c | 6542234 | 1100 82811 270194 | 1 344849 41 | 0.000 % | 1251.83/1251.80 c | 6542561 | 1100 82811 270194 | 1 345176 42 | 0.000 % | 1251.83/1251.80 c | 6544700 | 1100 82811 270194 | 1 347315 42 | 0.000 % | 1251.83/1251.80 c | 6544800 | 1100 82811 270194 | 1 347415 42 | 0.000 % | 1251.83/1251.80 c | 6551309 | 1100 82811 270194 | 1 353924 42 | 0.000 % | 1251.83/1251.80 c | 6563391 | 1100 82811 270194 | 1 185208 27 | 0.000 % | 1251.83/1251.80 c | 6564552 | 1100 82811 270194 | 1 186369 27 | 0.000 % | 1251.83/1251.80 c | 6565525 | 1100 82811 270194 | 1 187342 28 | 0.000 % | 1251.83/1251.80 c | 6571758 | 1100 82811 270194 | 1 193575 29 | 0.000 % | 1251.83/1251.80 c | 6571859 | 1100 82811 270194 | 1 193676 29 | 0.000 % | 1251.83/1251.80 c | 6573334 | 1100 82811 270194 | 1 195151 29 | 0.000 % | 1251.83/1251.80 c | 6577218 | 1100 82811 270194 | 1 199035 30 | 0.000 % | 1251.83/1251.80 c | 6577668 | 1100 82811 270194 | 1 199485 30 | 0.000 % | 1251.83/1251.80 c | 6580481 | 1100 82811 270194 | 1 202298 30 | 0.000 % | 1251.83/1251.80 c | 6617082 | 1100 82811 270194 | 1 238899 35 | 0.000 % | 1251.83/1251.80 c | 6620893 | 1100 82811 270194 | 1 242710 35 | 0.000 % | 1251.83/1251.80 c | 6620993 | 1100 82811 270194 | 1 242810 35 | 0.000 % | 1251.83/1251.80 c | 6621094 | 1100 82811 270194 | 1 242911 35 | 0.000 % | 1251.83/1251.80 c | 6629224 | 1100 82811 270194 | 1 251041 36 | 0.000 % | 1251.83/1251.80 c | 6633388 | 1100 82811 270194 | 1 255205 37 | 0.000 % | 1251.83/1251.80 c | 6635854 | 1100 82811 270194 | 1 257671 37 | 0.000 % | 1251.83/1251.80 c | 6636623 | 1100 82811 270194 | 1 258440 37 | 0.000 % | 1251.83/1251.80 c | 6636891 | 1100 82811 270194 | 1 258708 37 | 0.000 % | 1251.83/1251.80 c | 6637559 | 1100 82811 270194 | 1 259376 37 | 0.000 % | 1251.83/1251.80 c | 6637671 | 1100 82811 270194 | 1 259488 37 | 0.000 % | 1251.83/1251.80 c | 6640359 | 1100 82811 270194 | 1 262176 37 | 0.000 % | 1251.83/1251.80 c | 6640841 | 1100 82811 270194 | 1 262658 37 | 0.000 % | 1251.83/1251.80 c | 6640943 | 1100 82811 270194 | 1 262760 37 | 0.000 % | 1251.83/1251.80 c | 6641050 | 1100 82811 270194 | 1 262867 38 | 0.000 % | 1251.83/1251.80 c | 6643822 | 1100 82811 270194 | 1 265639 38 | 0.000 % | 1251.83/1251.80 c | 6653518 | 1100 82811 270194 | 1 275335 38 | 0.000 % | 1251.83/1251.80 c | 6658361 | 1100 82811 270194 | 1 280178 39 | 0.000 % | 1285.84/1285.80 c | 6675764 | 1100 82811 270194 | 1 297581 39 | 0.000 % | 1285.84/1285.80 c | 6678413 | 1100 82811 270194 | 1 300230 40 | 0.000 % | 1285.84/1285.80 c | 6679686 | 1100 82811 270194 | 1 301503 40 | 0.000 % | 1285.84/1285.80 c | 6680149 | 1100 82811 270194 | 1 301966 40 | 0.000 % | 1285.84/1285.80 c | 6684506 | 1100 82811 270194 | 1 306323 40 | 0.000 % | 1285.84/1285.80 c | 6689878 | 1100 82811 270194 | 1 311695 40 | 0.000 % | 1285.84/1285.80 c | 6694575 | 1100 82811 270194 | 1 316392 41 | 0.000 % | 1285.84/1285.80 c | 6695168 | 1100 82811 270194 | 1 316985 41 | 0.000 % | 1285.84/1285.80 c | 6697837 | 1100 82811 270194 | 1 319654 41 | 0.000 % | 1285.84/1285.80 c | 6697940 | 1100 82811 270194 | 1 319757 41 | 0.000 % | 1285.84/1285.80 c | 6698163 | 1100 82811 270194 | 1 319980 41 | 0.000 % | 1285.84/1285.80 c | 6699098 | 1100 82811 270194 | 1 320915 41 | 0.000 % | 1285.84/1285.80 c | 6699198 | 1100 82811 270194 | 1 321015 41 | 0.000 % | 1285.84/1285.80 c | 6699362 | 1100 82811 270194 | 1 321179 41 | 0.000 % | 1285.84/1285.80 c | 6699466 | 1100 82811 270194 | 1 321283 41 | 0.000 % | 1285.84/1285.80 c | 6700964 | 1100 82811 270194 | 1 322781 41 | 0.000 % | 1285.84/1285.80 c | 6701065 | 1100 82811 270194 | 1 322882 41 | 0.000 % | 1285.84/1285.80 c | 6704558 | 1100 82811 270194 | 1 326375 42 | 0.000 % | 1285.84/1285.80 c | 6704660 | 1100 82811 270194 | 1 326477 42 | 0.000 % | 1285.84/1285.80 c | 6705820 | 1100 82811 270194 | 1 327637 42 | 0.000 % | 1285.84/1285.80 c | 6710333 | 1100 82811 270194 | 1 332150 42 | 0.000 % | 1285.84/1285.80 c | 6713475 | 1100 82811 270194 | 1 335292 42 | 0.000 % | 1285.84/1285.80 c | 6715390 | 1100 82811 270194 | 1 337207 42 | 0.000 % | 1285.84/1285.80 c | 6726986 | 1100 82811 270194 | 1 348803 43 | 0.000 % | 1285.84/1285.80 c | 6727852 | 1100 82811 270194 | 1 349669 43 | 0.000 % | 1285.84/1285.80 c | 6727953 | 1100 82811 270194 | 1 349770 43 | 0.000 % | 1285.84/1285.80 c | 6732980 | 1100 82811 270194 | 1 354797 43 | 0.000 % | 1285.84/1285.80 c | 6733167 | 1100 82811 270194 | 1 354984 43 | 0.000 % | 1285.84/1285.80 c | 6736234 | 1100 82811 270194 | 1 358051 43 | 0.000 % | 1285.84/1285.80 c | 6736334 | 1100 82811 270194 | 1 358151 43 | 0.000 % | 1285.84/1285.80 c | 6736434 | 1100 82811 270194 | 1 358251 43 | 0.000 % | 1285.84/1285.80 c | 6736607 | 1100 82811 270194 | 1 358424 43 | 0.000 % | 1285.84/1285.80 c | 6736807 | 1100 82811 270194 | 1 358624 43 | 0.000 % | 1285.84/1285.80 c | 6738012 | 1100 82811 270194 | 1 359829 43 | 0.000 % | 1285.84/1285.80 c | 6744739 | 1100 82811 270194 | 1 366556 44 | 0.000 % | 1285.84/1285.80 c | 6744901 | 1100 82811 270194 | 1 366718 44 | 0.000 % | 1285.84/1285.80 c | 6745635 | 1100 82811 270194 | 1 184046 27 | 0.000 % | 1285.84/1285.80 c | 6762728 | 1100 82811 270194 | 1 201139 30 | 0.000 % | 1285.84/1285.80 c | 6771048 | 1100 82811 270194 | 1 209459 31 | 0.000 % | 1285.84/1285.80 c | 6772235 | 1100 82811 270194 | 1 210646 31 | 0.000 % | 1285.84/1285.80 c | 6772423 | 1100 82811 270194 | 1 210834 31 | 0.000 % | 1285.84/1285.80 c | 6774931 | 1100 82811 270194 | 1 213342 31 | 0.000 % | 1285.84/1285.80 c | 6777734 | 1100 82811 270194 | 1 216145 32 | 0.000 % | 1285.84/1285.80 c | 6779319 | 1100 82811 270194 | 1 217730 32 | 0.000 % | 1285.84/1285.80 c | 6785260 | 1100 82811 270194 | 1 223671 33 | 0.000 % | 1285.84/1285.80 c | 6785448 | 1100 82811 270194 | 1 223859 33 | 0.000 % | 1285.84/1285.80 c | 6789419 | 1100 82811 270194 | 1 227830 33 | 0.000 % | 1285.84/1285.80 c | 6801222 | 1100 82811 270194 | 1 239633 35 | 0.000 % | 1285.84/1285.80 c | 6801558 | 1100 82811 270194 | 1 239969 35 | 0.000 % | 1285.84/1285.80 c | 6801659 | 1100 82811 270194 | 1 240070 35
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-3258876-1303542293/watcher-3258876-1303542293 -o /tmp/evaluation-result-3258876-1303542293/solver-3258876-1303542293 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258876-1303542293.cnf running on 2 cores: 1,3 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.82 3.03 3.14 3/178 24003 /proc/meminfo: memFree=12725560/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) R 23999 24003 23623 0 -1 4202496 317 0 0 0 0 0 0 0 20 0 1 0 446644957 8912896 253 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338204053 0 65538 4100 65536 0 0 0 17 1 0 0 0 /proc/24003/statm: 2176 253 211 178 0 69 0 [startup+0.0505201 s] /proc/loadavg: 2.82 3.03 3.14 3/178 24003 /proc/meminfo: memFree=12725560/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 446644957 8912896 253 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/24003/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100509 s] /proc/loadavg: 2.82 3.03 3.14 3/178 24003 /proc/meminfo: memFree=12725560/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 334 0 0 0 0 0 0 0 20 0 1 0 446644957 8912896 253 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 3 0 0 0 /proc/24003/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300439 s] /proc/loadavg: 2.82 3.03 3.14 3/178 24003 /proc/meminfo: memFree=12725560/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 8704 [startup+0.70036 s] /proc/loadavg: 2.82 3.03 3.14 3/178 24003 /proc/meminfo: memFree=12725560/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 8704 [startup+1.50024 s] /proc/loadavg: 2.82 3.03 3.14 5/194 24028 /proc/meminfo: memFree=12686212/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=32012 CPUtime=1.27 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 6491 0 0 0 126 1 0 0 22 0 1 0 446644979 32780288 4080 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 8003 4080 249 17 0 4644 0 Current children cumulated CPU time (s) 1.47 Current children cumulated vsize (KiB) 40716 [startup+3.10092 s] /proc/loadavg: 2.82 3.03 3.14 6/194 24028 /proc/meminfo: memFree=12672944/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=37204 CPUtime=2.87 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 7271 0 0 0 286 1 0 0 25 0 1 0 446644979 38096896 4813 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224834 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 9301 4813 249 17 0 5942 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 45908 [startup+6.30028 s] /proc/loadavg: 2.91 3.04 3.14 5/194 24028 /proc/meminfo: memFree=12658260/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=37204 CPUtime=6.07 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 7762 0 0 0 606 1 0 0 25 0 1 0 446644979 38096896 5295 33554432000 4194304 4260849 140736657056112 18446744073709551615 4209229 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 9301 5295 249 17 0 5942 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 45908 [startup+12.701 s] /proc/loadavg: 3.00 3.06 3.14 7/194 24028 /proc/meminfo: memFree=12623344/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=44344 CPUtime=12.47 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 10343 0 0 0 1246 1 0 0 25 0 1 0 446644979 45408256 7744 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 11086 7744 249 17 0 7727 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 53048 [startup+25.5005 s] /proc/loadavg: 3.22 3.10 3.16 5/194 24028 /proc/meminfo: memFree=12595476/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=55948 CPUtime=25.27 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 19251 0 0 0 2524 3 0 0 25 0 1 0 446644979 57290752 9712 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 13987 9712 249 17 0 10628 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 64652 [startup+51.1004 s] /proc/loadavg: 3.48 3.17 3.18 5/194 24029 /proc/meminfo: memFree=12572164/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=74780 CPUtime=50.86 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 21415 0 0 0 5083 3 0 0 25 0 1 0 446644979 76574720 11836 33554432000 4194304 4260849 140736657056112 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 18695 11836 250 17 0 15336 0 Current children cumulated CPU time (s) 51.06 Current children cumulated vsize (KiB) 83484 [startup+102.307 s] /proc/loadavg: 3.77 3.30 3.22 6/194 24060 /proc/meminfo: memFree=12520448/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=93612 CPUtime=102.07 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 31754 0 0 0 10202 5 0 0 25 0 1 0 446644979 95858688 17211 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 23403 17211 250 17 0 20044 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 102316 [startup+162.3 s] /proc/loadavg: 3.91 3.42 3.27 5/194 24062 /proc/meminfo: memFree=12479868/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=93612 CPUtime=162.08 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 34416 0 0 0 16202 6 0 0 25 0 1 0 446644979 95858688 19821 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 23403 19821 250 17 0 20044 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 102316 [startup+222.3 s] /proc/loadavg: 3.97 3.53 3.31 5/194 24124 /proc/meminfo: memFree=12492260/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=142932 CPUtime=222.07 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 75490 0 0 0 22196 11 0 0 25 0 1 0 446644979 146362368 28273 33554432000 4194304 4260849 140736657056112 18446744073709551615 4226718 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 35733 28273 250 17 0 32374 0 Current children cumulated CPU time (s) 222.27 Current children cumulated vsize (KiB) 151636 [startup+282.3 s] /proc/loadavg: 3.99 3.61 3.35 5/194 24125 /proc/meminfo: memFree=12471356/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=93612 CPUtime=282.08 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 104016 0 0 0 28192 16 0 0 25 0 1 0 446644979 95858688 20173 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 23403 20173 250 17 0 20044 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 102316 [startup+342.301 s] /proc/loadavg: 3.99 3.68 3.39 5/194 24127 /proc/meminfo: memFree=12405120/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=142932 CPUtime=342.08 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 142934 0 0 0 34185 23 0 0 25 0 1 0 446644979 146362368 30075 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225100 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 35733 30075 250 17 0 32374 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 151636 [startup+402.301 s] /proc/loadavg: 4.03 3.75 3.43 5/194 24128 /proc/meminfo: memFree=12358464/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 ################ # More data... # ################ /proc/24028/statm: 26367 23148 250 17 0 23008 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 114172 [startup+642.301 s] /proc/loadavg: 4.01 3.89 3.55 5/194 24135 /proc/meminfo: memFree=12299588/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=105468 CPUtime=642.1 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 289014 0 0 0 64155 55 0 0 25 0 1 0 446644979 107999232 23149 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 26367 23149 250 17 0 23008 0 Current children cumulated CPU time (s) 642.3 Current children cumulated vsize (KiB) 114172 [startup+702.301 s] /proc/loadavg: 4.00 3.91 3.58 5/194 24136 /proc/meminfo: memFree=12321028/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=105468 CPUtime=702.1 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 315205 0 0 0 70149 61 0 0 25 0 1 0 446644979 107999232 23151 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 26367 23151 250 17 0 23008 0 Current children cumulated CPU time (s) 702.3 Current children cumulated vsize (KiB) 114172 [startup+762.307 s] /proc/loadavg: 4.00 3.92 3.60 5/194 24138 /proc/meminfo: memFree=12285400/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=105468 CPUtime=762.11 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 343646 0 0 0 76143 68 0 0 25 0 1 0 446644979 107999232 23153 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225107 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 26367 23153 250 17 0 23008 0 Current children cumulated CPU time (s) 762.31 Current children cumulated vsize (KiB) 114172 [startup+822.3 s] /proc/loadavg: 4.00 3.93 3.62 5/194 24140 /proc/meminfo: memFree=12233536/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=185608 CPUtime=822.11 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 370539 0 0 0 82137 74 0 0 25 0 1 0 446644979 190062592 35666 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 46402 35666 250 17 0 43043 0 Current children cumulated CPU time (s) 822.31 Current children cumulated vsize (KiB) 194312 [startup+882.3 s] /proc/loadavg: 4.06 3.96 3.65 5/194 24141 /proc/meminfo: memFree=12215292/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=154788 CPUtime=882.1 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 396033 0 0 0 88129 81 0 0 25 0 1 0 446644979 158502912 31732 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 38697 31732 250 17 0 35338 0 Current children cumulated CPU time (s) 882.3 Current children cumulated vsize (KiB) 163492 [startup+942.3 s] /proc/loadavg: 4.02 3.96 3.67 5/194 24143 /proc/meminfo: memFree=12188704/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=185608 CPUtime=942.11 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 417280 0 0 0 94124 87 0 0 25 0 1 0 446644979 190062592 38256 33554432000 4194304 4260849 140736657056112 18446744073709551615 4246868 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 46402 38256 250 17 0 43043 0 Current children cumulated CPU time (s) 942.31 Current children cumulated vsize (KiB) 194312 [startup+1002.3 s] /proc/loadavg: 4.00 3.97 3.68 5/194 24144 /proc/meminfo: memFree=12194872/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=154788 CPUtime=1002.11 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 445154 0 0 0 100118 93 0 0 25 0 1 0 446644979 158502912 34772 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 38697 34772 250 17 0 35338 0 Current children cumulated CPU time (s) 1002.31 Current children cumulated vsize (KiB) 163492 [startup+1062.3 s] /proc/loadavg: 4.05 3.99 3.71 5/194 24146 /proc/meminfo: memFree=12208124/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=105468 CPUtime=1062.12 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 465421 0 0 0 106113 99 0 0 25 0 1 0 446644979 107999232 23165 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224467 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 26367 23165 250 17 0 23008 0 Current children cumulated CPU time (s) 1062.32 Current children cumulated vsize (KiB) 114172 [startup+1122.3 s] /proc/loadavg: 4.02 3.99 3.73 5/194 24179 /proc/meminfo: memFree=12280672/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=154788 CPUtime=1122.11 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 493799 0 0 0 112107 104 0 0 25 0 1 0 446644979 158502912 35116 33554432000 4194304 4260849 140736657056112 18446744073709551615 4226461 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 38697 35116 250 17 0 35338 0 Current children cumulated CPU time (s) 1122.31 Current children cumulated vsize (KiB) 163492 [startup+1182.3 s] /proc/loadavg: 4.00 3.99 3.74 5/194 24210 /proc/meminfo: memFree=12265836/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=185608 CPUtime=1182.12 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 514279 0 0 0 118102 110 0 0 25 0 1 0 446644979 190062592 38877 33554432000 4194304 4260849 140736657056112 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 46402 38877 250 17 0 43043 0 Current children cumulated CPU time (s) 1182.32 Current children cumulated vsize (KiB) 194312 [startup+1242.3 s] /proc/loadavg: 4.00 3.99 3.75 5/194 24215 /proc/meminfo: memFree=12302392/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=154788 CPUtime=1242.13 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 540797 0 0 0 124097 116 0 0 25 0 1 0 446644979 158502912 32530 33554432000 4194304 4260849 140736657056112 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 38697 32530 250 17 0 35338 0 Current children cumulated CPU time (s) 1242.33 Current children cumulated vsize (KiB) 163492 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.00 3.99 3.76 5/194 24216 /proc/meminfo: memFree=12253760/32951124 swapFree=67111528/67111528 [pid=24003] ppid=23999 vsize=8704 CPUtime=0.2 cores=1,3 /proc/24003/stat : 24003 (glucose.sh) S 23999 24003 23623 0 -1 4202496 360 1856 0 0 0 0 20 0 18 0 1 0 446644957 8912896 255 33554432000 4194304 4922060 140734244092320 18446744073709551615 270338202757 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/24003/statm: 2176 255 211 178 0 69 0 [pid=24028] ppid=24003 vsize=185608 CPUtime=1299.83 cores=1,3 /proc/24028/stat : 24028 (glucose_static) R 24003 24003 23623 0 -1 4202496 561613 0 0 0 129861 122 0 0 25 0 1 0 446644979 190062592 35952 33554432000 4194304 4260849 140736657056112 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 1 0 0 0 /proc/24028/statm: 46402 35952 252 17 0 43043 0 Current children cumulated CPU time (s) 1300.03 Current children cumulated vsize (KiB) 194312 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 24003 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=209968 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=7998 # CPU time returned by wait4() is 0.217966 # while last known CPU time is 1300.03 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300.03 CPU user time (s): 1298.81 CPU system time (s): 1.22 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 194312 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.209968 system time used= 0.007998 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2216 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= 14 involuntary context switches= 4 runsolver used 2.07368 second user time and 5.03024 second system time The end
Begin job on node143 at 2011-04-23 09:04:53 IDJOB=3258876 IDBENCH=71433 IDSOLVER=1651 FILE ID=node143/3258876-1303542293 RUNJOBID= node143-1303542293-23979 PBS_JOBID= 13143095 Free space on /tmp= 72408 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/CRAFTED/rbsat/random/forced/rbsat-v1150c84314gyes1.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3258876-1303542293/watcher-3258876-1303542293 -o /tmp/evaluation-result-3258876-1303542293/solver-3258876-1303542293 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3258876-1303542293.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= d6097a9814089eeede1d027388c17a02 RANDOM SEED=2044933641 node143.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.846 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.69 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5226.15 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.846 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.74 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.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 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.846 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.846 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.846 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.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 12726120 kB Buffers: 2294572 kB Cached: 17310884 kB SwapCached: 0 kB Active: 9524048 kB Inactive: 10146088 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 12726120 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 5452 kB Writeback: 0 kB AnonPages: 64248 kB Mapped: 14708 kB Slab: 490572 kB PageTables: 5176 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 187096 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 72400 MiB End job on node143 at 2011-04-23 09:26:35