| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 400.521 | 400.517 |
| Name | industrial/fuhs/hard/ AProVE07-03.cnf |
| MD5SUM | 8c67f78ca36ec96e662a91c74844da21 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 154.887 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3114 |
| Number of clauses | 10827 |
| Sum of the clauses size | 28341 |
| Maximum clause length | 119 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 4934 |
| Number of clauses of size 3 | 5378 |
| Number of clauses of size 4 | 408 |
| Number of clauses of size 5 | 84 |
| Number of clauses of size over 5 | 22 |
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.00 c ============================================================================== 0.00/0.00 c | | ORIGINAL | LEARNT | | 0.00/0.00 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.00 c ============================================================================== 0.00/0.00 c | 0 | 10580 27785 | 3173 0 0 nan | 0.000 % | 0.00/0.03 c | 0 | 7470 25292 | -- 0 -- -- | -- | -3110/-2493 0.00/0.03 c ============================================================================== 0.00/0.03 c Result : #vars: 1304 #clauses: 7470 #literals: 25292 0.00/0.03 c CPU time: 0.027995 s 0.00/0.03 c ============================================================================== 0.00/0.03 c 0.00/0.03 c Starting glucose 0.00/0.03 c 2.49/2.50 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 2.49/2.50 c WARNING: for repeatability, setting FPU to use double precision 2.49/2.50 c ============================[ Problem Statistics ]============================= 2.49/2.50 c | | 2.49/2.50 c | Number of variables: 1304 | 2.49/2.50 c | Number of clauses: 7470 | 2.49/2.50 c | Parse time: 0.00 s | 2.49/2.50 c | | 2.49/2.50 c ============================[ Search Statistics ]============================== 2.49/2.50 c | Conflicts | ORIGINAL | LEARNT | Progress | 2.49/2.50 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 2.49/2.50 c =============================================================================== 2.49/2.50 c | 35311 | 1304 7470 25292 | 1 12998 16 | 0.000 % | 2.49/2.50 c | 35412 | 1304 7470 25292 | 1 13099 16 | 0.000 % | 2.49/2.50 c | 37070 | 1304 7470 25292 | 1 14757 19 | 0.000 % | 2.49/2.50 c | 37171 | 1304 7470 25292 | 1 14858 19 | 0.000 % | 2.49/2.50 c | 37271 | 1304 7470 25292 | 1 14958 19 | 0.000 % | 2.49/2.50 c | 40699 | 1304 7470 25292 | 1 18386 19 | 0.000 % | 2.49/2.50 c | 41237 | 1304 7470 25292 | 1 18924 20 | 0.000 % | 2.49/2.50 c | 41337 | 1304 7470 25292 | 1 19024 20 | 0.000 % | 2.49/2.50 c | 43594 | 1304 7470 25292 | 1 21281 20 | 0.000 % | 2.49/2.50 c | 43779 | 1304 7470 25292 | 1 21466 21 | 0.000 % | 2.49/2.50 c | 45110 | 1304 7470 25292 | 1 22797 22 | 0.000 % | 2.49/2.50 c | 45210 | 1304 7470 25292 | 1 22897 23 | 0.000 % | 2.49/2.50 c | 46054 | 1304 7470 25292 | 1 11907 14 | 0.000 % | 2.49/2.50 c | 46171 | 1304 7470 25292 | 1 12024 14 | 0.000 % | 2.49/2.50 c | 47050 | 1304 7470 25292 | 1 12903 17 | 0.000 % | 2.49/2.50 c | 47151 | 1304 7470 25292 | 1 13004 17 | 0.000 % | 2.49/2.50 c | 47351 | 1304 7470 25292 | 1 13204 17 | 0.000 % | 2.49/2.50 c | 47452 | 1304 7470 25292 | 1 13305 17 | 0.000 % | 2.49/2.50 c | 47552 | 1304 7470 25292 | 1 13405 18 | 0.000 % | 2.49/2.50 c | 48075 | 1304 7470 25292 | 1 13928 18 | 0.000 % | 2.49/2.50 c | 48175 | 1304 7470 25292 | 1 14028 19 | 0.000 % | 2.49/2.50 c | 48399 | 1304 7470 25292 | 1 14252 19 | 0.000 % | 2.49/2.50 c | 48500 | 1304 7470 25292 | 1 14353 19 | 0.000 % | 2.49/2.50 c | 48600 | 1304 7470 25292 | 1 14453 19 | 0.000 % | 2.49/2.50 c | 48700 | 1304 7470 25292 | 1 14553 19 | 0.000 % | 2.49/2.50 c | 50115 | 1304 7470 25292 | 1 15968 21 | 0.000 % | 2.49/2.50 c | 53880 | 1304 7470 25292 | 1 19733 24 | 0.000 % | 2.49/2.50 c | 54007 | 1304 7470 25292 | 1 19860 24 | 0.000 % | 2.49/2.50 c | 54108 | 1304 7470 25292 | 1 19961 24 | 0.000 % | 2.49/2.50 c | 58937 | 1304 7470 25292 | 1 24790 23 | 0.000 % | 2.49/2.50 c | 59039 | 1304 7470 25292 | 1 24892 23 | 0.000 % | 2.49/2.50 c | 59485 | 1304 7470 25292 | 1 25338 23 | 0.000 % | 2.49/2.50 c | 59693 | 1304 7470 25292 | 1 25546 24 | 0.000 % | 2.49/2.50 c | 59794 | 1304 7470 25292 | 1 25647 24 | 0.000 % | 2.49/2.50 c | 59894 | 1304 7470 25292 | 1 25747 24 | 0.000 % | 2.49/2.50 c | 60514 | 1304 7470 25292 | 1 26367 25 | 0.000 % | 2.49/2.50 c | 60615 | 1304 7470 25292 | 1 26468 25 | 0.000 % | 2.49/2.50 c | 60715 | 1304 7470 25292 | 1 26568 25 | 0.000 % | 2.49/2.50 c | 61324 | 1304 7470 25292 | 1 27177 25 | 0.000 % | 8.68/8.70 c | 62296 | 1304 7470 25292 | 1 28149 26 | 0.000 % | 8.68/8.70 c | 62398 | 1304 7470 25292 | 1 28251 26 | 0.000 % | 8.68/8.70 c | 63463 | 1304 7470 25292 | 1 14893 14 | 0.000 % | 8.68/8.70 c | 64171 | 1304 7470 25292 | 1 15601 15 | 0.000 % | 8.68/8.70 c | 64617 | 1304 7470 25292 | 1 16047 15 | 0.000 % | 8.68/8.70 c | 64766 | 1304 7470 25292 | 1 16196 16 | 0.000 % | 8.68/8.70 c | 64866 | 1304 7470 25292 | 1 16296 16 | 0.000 % | 8.68/8.70 c | 64966 | 1304 7470 25292 | 1 16396 16 | 0.000 % | 8.68/8.70 c | 65136 | 1304 7470 25292 | 1 16566 16 | 0.000 % | 8.68/8.70 c | 65236 | 1304 7470 25292 | 1 16666 17 | 0.000 % | 8.68/8.70 c | 65593 | 1304 7470 25292 | 1 17023 17 | 0.000 % | 8.68/8.70 c | 65720 | 1304 7470 25292 | 1 17150 18 | 0.000 % | 8.68/8.70 c | 65821 | 1304 7470 25292 | 1 17251 18 | 0.000 % | 8.68/8.70 c | 65922 | 1304 7470 25292 | 1 17352 18 | 0.000 % | 8.68/8.70 c | 66761 | 1304 7470 25292 | 1 18191 19 | 0.000 % | 8.68/8.70 c | 67052 | 1304 7470 25292 | 1 18482 19 | 0.000 % | 8.68/8.70 c | 69789 | 1304 7470 25292 | 1 21219 19 | 0.000 % | 8.68/8.70 c | 125331 | 1304 7470 25292 | 1 40153 17 | 0.000 % | 8.68/8.70 c | 127007 | 1304 7470 25292 | 1 41829 17 | 0.000 % | 8.68/8.70 c | 127642 | 1304 7470 25292 | 1 42464 17 | 0.000 % | 8.68/8.70 c | 127804 | 1304 7470 25292 | 1 42626 18 | 0.000 % | 8.68/8.70 c | 128055 | 1304 7470 25292 | 1 42877 18 | 0.000 % | 8.68/8.70 c | 128322 | 1304 7470 25292 | 1 43144 18 | 0.000 % | 8.68/8.70 c | 128447 | 1304 7470 25292 | 1 43269 18 | 0.000 % | 8.68/8.70 c | 130480 | 1304 7470 25292 | 1 23098 13 | 0.000 % | 8.68/8.70 c | 130580 | 1304 7470 25292 | 1 23198 14 | 0.000 % | 8.68/8.70 c | 130681 | 1304 7470 25292 | 1 23299 14 | 0.000 % | 8.68/8.70 c | 143876 | 1304 7470 25292 | 1 36494 16 | 0.000 % | 8.68/8.70 c | 146643 | 1304 7470 25292 | 1 39261 17 | 0.000 % | 8.68/8.70 c | 147020 | 1304 7470 25292 | 1 39638 17 | 0.000 % | 8.68/8.70 c | 147288 | 1304 7470 25292 | 1 39906 17 | 0.000 % | 8.68/8.70 c | 147388 | 1304 7470 25292 | 1 40006 17 | 0.000 % | 8.68/8.70 c | 147488 | 1304 7470 25292 | 1 40106 17 | 0.000 % | 8.68/8.70 c | 147590 | 1304 7470 25292 | 1 40208 18 | 0.000 % | 8.68/8.70 c | 147946 | 1304 7470 25292 | 1 40564 18 | 0.000 % | 8.68/8.70 c | 149965 | 1304 7470 25292 | 1 42583 18 | 0.000 % | 8.68/8.70 c | 150066 | 1304 7470 25292 | 1 42684 19 | 0.000 % | 8.68/8.70 c | 150490 | 1304 7470 25292 | 1 43108 19 | 0.000 % | 8.68/8.70 c | 151008 | 1304 7470 25292 | 1 43626 19 | 0.000 % | 8.68/8.70 c | 151108 | 1304 7470 25292 | 1 43726 19 | 0.000 % | 8.68/8.70 c | 153653 | 1304 7470 25292 | 1 46271 19 | 0.000 % | 8.68/8.70 c | 156571 | 1304 7470 25292 | 1 49189 21 | 0.000 % | 8.68/8.70 c | 162504 | 1304 7470 25292 | 1 30322 14 | 0.000 % | 8.68/8.70 c | 162606 | 1304 7470 25292 | 1 30424 14 | 0.000 % | 8.68/8.70 c | 162706 | 1304 7470 25292 | 1 30524 15 | 0.000 % | 8.68/8.70 c | 162806 | 1304 7470 25292 | 1 30624 15 | 0.000 % | 8.68/8.70 c | 162906 | 1304 7470 25292 | 1 30724 15 | 0.000 % | 8.68/8.70 c | 163007 | 1304 7470 25292 | 1 30825 15 | 0.000 % | 8.68/8.70 c | 164393 | 1304 7470 25292 | 1 32211 15 | 0.000 % | 8.68/8.70 c | 170067 | 1304 7470 25292 | 1 37885 21 | 0.000 % | 13.48/13.59 c | 170167 | 1304 7470 25292 | 1 37985 21 | 0.000 % | 13.48/13.59 c | 170267 | 1304 7470 25292 | 1 38085 21 | 0.000 % | 13.48/13.59 c | 171188 | 1304 7470 25292 | 1 39006 21 | 0.000 % | 13.48/13.59 c | 171288 | 1304 7470 25292 | 1 39106 21 | 0.000 % | 13.48/13.59 c | 171388 | 1304 7470 25292 | 1 39206 21 | 0.000 % | 13.48/13.59 c | 173846 | 1304 7470 25292 | 1 41664 21 | 0.000 % | 13.48/13.59 c | 174226 | 1304 7470 25292 | 1 42044 21 | 0.000 % | 13.48/13.59 c | 175973 | 1304 7470 25292 | 1 43791 22 | 0.000 % | 13.48/13.59 c | 176267 | 1304 7470 25292 | 1 44085 22 | 0.000 % | 13.48/13.59 c | 176368 | 1304 7470 25292 | 1 44186 22 | 0.000 % | 13.48/13.59 c | 176470 | 1304 7470 25292 | 1 44288 22 | 0.000 % | 13.48/13.59 c | 176747 | 1304 7470 25292 | 1 44565 22 | 0.000 % | 13.48/13.59 c | 176849 | 1304 7470 25292 | 1 44667 22 | 0.000 % | 13.48/13.59 c | 177787 | 1304 7470 25292 | 1 45605 23 | 0.000 % | 13.48/13.59 c | 177888 | 1304 7470 25292 | 1 45706 23 | 0.000 % | 13.48/13.59 c | 177989 | 1304 7470 25292 | 1 45807 23 | 0.000 % | 13.48/13.59 c | 178139 | 1304 7470 25292 | 1 45957 23 | 0.000 % | 13.48/13.59 c | 178699 | 1304 7470 25292 | 1 46517 23 | 0.000 % | 13.48/13.59 c | 178801 | 1304 7470 25292 | 1 46619 23 | 0.000 % | 13.48/13.59 c | 178947 | 1304 7470 25292 | 1 46765 23 | 0.000 % | 13.48/13.59 c | 179053 | 1304 7470 25292 | 1 46871 23 | 0.000 % | 13.48/13.59 c | 179153 | 1304 7470 25292 | 1 46971 23 | 0.000 % | 13.48/13.59 c | 179254 | 1304 7470 25292 | 1 47072 24 | 0.000 % | 13.48/13.59 c | 179355 | 1304 7470 25292 | 1 47173 24 | 0.000 % | 13.48/13.59 c | 179543 | 1304 7470 25292 | 1 47361 24 | 0.000 % | 13.48/13.59 c | 179646 | 1304 7470 25292 | 1 47464 24 | 0.000 % | 13.48/13.59 c | 181177 | 1304 7470 25292 | 1 48995 24 | 0.000 % | 13.48/13.59 c | 184784 | 1304 7470 25292 | 1 52602 25 | 0.000 % | 13.48/13.59 c | 186845 | 1304 7470 25292 | 1 54663 25 | 0.000 % | 13.48/13.59 c | 227245 | 1304 7470 25292 | 1 37667 14 | 0.000 % | 13.48/13.59 c | 227347 | 1304 7470 25292 | 1 37769 14 | 0.000 % | 13.48/13.59 c | 227447 | 1304 7470 25292 | 1 37869 15 | 0.000 % | 13.48/13.59 c | 227564 | 1304 7470 25292 | 1 37986 15 | 0.000 % | 13.48/13.59 c | 227664 | 1304 7470 25292 | 1 38086 15 | 0.000 % | 13.48/13.59 c | 228571 | 1304 7470 25292 | 1 38993 16 | 0.000 % | 13.48/13.59 c | 234400 | 1304 7470 25292 | 1 44822 17 | 0.000 % | 13.48/13.59 c | 234502 | 1304 7470 25292 | 1 44924 17 | 0.000 % | 13.48/13.59 c | 234967 | 1304 7470 25292 | 1 45389 17 | 0.000 % | 13.48/13.59 c | 235247 | 1304 7470 25292 | 1 45669 17 | 0.000 % | 13.48/13.59 c | 235351 | 1304 7470 25292 | 1 45773 17 | 0.000 % | 13.48/13.59 c | 235494 | 1304 7470 25292 | 1 45916 17 | 0.000 % | 13.48/13.59 c | 235596 | 1304 7470 25292 | 1 46018 17 | 0.000 % | 13.48/13.59 c | 236922 | 1304 7470 25292 | 1 47344 18 | 0.000 % | 13.48/13.59 c | 237144 | 1304 7470 25292 | 1 47566 18 | 0.000 % | 13.48/13.59 c | 237244 | 1304 7470 25292 | 1 47666 18 | 0.000 % | 13.48/13.59 c | 237345 | 1304 7470 25292 | 1 47767 18 | 0.000 % | 13.48/13.59 c | 237446 | 1304 7470 25292 | 1 47868 18 | 0.000 % | 13.48/13.59 c | 238778 | 1304 7470 25292 | 1 49200 18 | 0.000 % | 13.48/13.59 c | 238888 | 1304 7470 25292 | 1 49310 18 | 0.000 % | 13.48/13.59 c | 239193 | 1304 7470 25292 | 1 49615 19 | 0.000 % | 23.10/23.12 c | 239294 | 1304 7470 25292 | 1 49716 19 | 0.000 % | 23.10/23.12 c | 239396 | 1304 7470 25292 | 1 49818 19 | 0.000 % | 23.10/23.12 c | 239496 | 1304 7470 25292 | 1 49918 19 | 0.000 % | 23.10/23.12 c | 239596 | 1304 7470 25292 | 1 50018 19 | 0.000 % | 23.10/23.12 c | 297064 | 1304 7470 25292 | 1 39682 14 | 0.000 % | 23.10/23.12 c | 297210 | 1304 7470 25292 | 1 39828 14 | 0.000 % | 23.10/23.12 c | 297310 | 1304 7470 25292 | 1 39928 14 | 0.000 % | 23.10/23.12 c | 297410 | 1304 7470 25292 | 1 40028 14 | 0.000 % | 23.10/23.12 c | 297545 | 1304 7470 25292 | 1 40163 14 | 0.000 % | 23.10/23.12 c | 297665 | 1304 7470 25292 | 1 40283 14 | 0.000 % | 23.10/23.12 c | 297958 | 1304 7470 25292 | 1 40576 15 | 0.000 % | 23.10/23.12 c | 298094 | 1304 7470 25292 | 1 40712 15 | 0.000 % | 23.10/23.12 c | 299131 | 1304 7470 25292 | 1 41749 15 | 0.000 % | 23.10/23.12 c | 299232 | 1304 7470 25292 | 1 41850 15 | 0.000 % | 23.10/23.12 c | 299471 | 1304 7470 25292 | 1 42089 15 | 0.000 % | 23.10/23.12 c | 299571 | 1304 7470 25292 | 1 42189 15 | 0.000 % | 23.10/23.12 c | 301312 | 1304 7470 25292 | 1 43930 16 | 0.000 % | 23.10/23.12 c | 301420 | 1304 7470 25292 | 1 44038 16 | 0.000 % | 23.10/23.12 c | 302687 | 1304 7470 25292 | 1 45305 16 | 0.000 % | 23.10/23.12 c | 302933 | 1304 7470 25292 | 1 45551 16 | 0.000 % | 23.10/23.12 c | 303528 | 1304 7470 25292 | 1 46146 17 | 0.000 % | 23.10/23.12 c | 303628 | 1304 7470 25292 | 1 46246 17 | 0.000 % | 23.10/23.12 c | 304364 | 1304 7470 25292 | 1 46982 17 | 0.000 % | 23.10/23.12 c | 304716 | 1304 7470 25292 | 1 47334 18 | 0.000 % | 23.10/23.12 c | 304819 | 1304 7470 25292 | 1 47437 18 | 0.000 % | 23.10/23.12 c | 304921 | 1304 7470 25292 | 1 47539 18 | 0.000 % | 23.10/23.12 c | 305033 | 1304 7470 25292 | 1 47651 18 | 0.000 % | 23.10/23.12 c | 325614 | 1304 7470 25292 | 1 68232 26 | 0.000 % | 23.10/23.12 c | 325714 | 1304 7470 25292 | 1 68332 26 | 0.000 % | 23.10/23.12 c | 327120 | 1304 7470 25292 | 1 69738 26 | 0.000 % | 23.10/23.12 c | 327220 | 1304 7470 25292 | 1 69838 26 | 0.000 % | 23.10/23.12 c | 327322 | 1304 7470 25292 | 1 69940 26 | 0.000 % | 23.10/23.12 c | 327966 | 1304 7470 25292 | 1 70584 26 | 0.000 % | 23.10/23.12 c | 328066 | 1304 7470 25292 | 1 70684 26 | 0.000 % | 23.10/23.12 c | 328169 | 1304 7470 25292 | 1 70787 26 | 0.000 % | 23.10/23.12 c | 328269 | 1304 7470 25292 | 1 70887 26 | 0.000 % | 23.10/23.12 c | 328371 | 1304 7470 25292 | 1 70989 26 | 0.000 % | 23.10/23.12 c | 328579 | 1304 7470 25292 | 1 71197 26 | 0.000 % | 23.10/23.12 c | 328911 | 1304 7470 25292 | 1 71529 26 | 0.000 % | 23.10/23.12 c | 329013 | 1304 7470 25292 | 1 71631 26 | 0.000 % | 23.10/23.12 c | 329113 | 1304 7470 25292 | 1 71731 26 | 0.000 % | 23.10/23.12 c | 329258 | 1304 7470 25292 | 1 71876 26 | 0.000 % | 23.10/23.12 c | 330750 | 1304 7470 25292 | 1 73368 27 | 0.000 % | 23.10/23.12 c | 331309 | 1304 7470 25292 | 1 73927 27 | 0.000 % | 23.10/23.12 c | 331409 | 1304 7470 25292 | 1 74027 27 | 0.000 % | 23.10/23.12 c | 331509 | 1304 7470 25292 | 1 74127 27 | 0.000 % | 23.10/23.12 c | 332314 | 1304 7470 25292 | 1 74932 27 | 0.000 % | 23.10/23.12 c | 332415 | 1304 7470 25292 | 1 75033 27 | 0.000 % | 23.10/23.12 c | 333081 | 1304 7470 25292 | 1 37891 14 | 0.000 % | 23.10/23.12 c | 333185 | 1304 7470 25292 | 1 37995 14 | 0.000 % | 37.18/37.28 c | 338452 | 1304 7470 25292 | 1 43262 17 | 0.000 % | 37.18/37.28 c | 338831 | 1304 7470 25292 | 1 43641 18 | 0.000 % | 37.18/37.28 c | 339400 | 1304 7470 25292 | 1 44210 18 | 0.000 % | 37.18/37.28 c | 339504 | 1304 7470 25292 | 1 44314 18 | 0.000 % | 37.18/37.28 c | 340703 | 1304 7470 25292 | 1 45513 19 | 0.000 % | 37.18/37.28 c | 340803 | 1304 7470 25292 | 1 45613 19 | 0.000 % | 37.18/37.28 c | 340903 | 1304 7470 25292 | 1 45713 19 | 0.000 % | 37.18/37.28 c | 341004 | 1304 7470 25292 | 1 45814 19 | 0.000 % | 37.18/37.28 c | 341105 | 1304 7470 25292 | 1 45915 19 | 0.000 % | 37.18/37.28 c | 341911 | 1304 7470 25292 | 1 46721 20 | 0.000 % | 37.18/37.28 c | 342012 | 1304 7470 25292 | 1 46822 20 | 0.000 % | 37.18/37.28 c | 344507 | 1304 7470 25292 | 1 49317 20 | 0.000 % | 37.18/37.28 c | 344609 | 1304 7470 25292 | 1 49419 21 | 0.000 % | 37.18/37.28 c | 345008 | 1304 7470 25292 | 1 49818 21 | 0.000 % | 37.18/37.28 c | 345108 | 1304 7470 25292 | 1 49918 21 | 0.000 % | 37.18/37.28 c | 345209 | 1304 7470 25292 | 1 50019 21 | 0.000 % | 37.18/37.28 c | 442066 | 1303 7468 25286 | 1 49054 14 | 0.077 % | 37.18/37.28 c | 442167 | 1303 7468 25286 | 1 49155 14 | 0.077 % | 37.18/37.28 c | 442268 | 1303 7468 25286 | 1 49256 14 | 0.077 % | 37.18/37.28 c | 446584 | 1303 7468 25286 | 1 53572 15 | 0.077 % | 37.18/37.28 c | 446685 | 1303 7468 25286 | 1 53673 15 | 0.077 % | 37.18/37.28 c | 447191 | 1303 7468 25286 | 1 54179 15 | 0.077 % | 37.18/37.28 c | 450657 | 1303 7468 25286 | 1 57645 15 | 0.077 % | 37.18/37.28 c | 450758 | 1303 7468 25286 | 1 57746 15 | 0.077 % | 37.18/37.28 c | 450859 | 1303 7468 25286 | 1 57847 15 | 0.077 % | 37.18/37.28 c | 450976 | 1303 7468 25286 | 1 57964 15 | 0.077 % | 37.18/37.28 c | 451076 | 1303 7468 25286 | 1 58064 15 | 0.077 % | 37.18/37.28 c | 451176 | 1303 7468 25286 | 1 58164 16 | 0.077 % | 37.18/37.28 c | 454636 | 1303 7468 25286 | 1 61624 16 | 0.077 % | 37.18/37.28 c | 458550 | 1303 7468 25286 | 1 65538 17 | 0.077 % | 37.18/37.28 c | 458651 | 1303 7468 25286 | 1 65639 17 | 0.077 % | 37.18/37.28 c | 458835 | 1303 7468 25286 | 1 65823 17 | 0.077 % | 37.18/37.28 c | 458935 | 1303 7468 25286 | 1 65923 17 | 0.077 % | 37.18/37.28 c | 459268 | 1303 7468 25286 | 1 66256 17 | 0.077 % | 37.18/37.28 c | 460298 | 1303 7468 25286 | 1 67286 17 | 0.077 % | 37.18/37.28 c | 462043 | 1303 7468 25286 | 1 69031 18 | 0.077 % | 37.18/37.28 c | 462143 | 1303 7468 25286 | 1 69131 18 | 0.077 % | 37.18/37.28 c | 462247 | 1303 7468 25286 | 1 69235 18 | 0.077 % | 37.18/37.28 c | 462689 | 1303 7468 25286 | 1 69677 18 | 0.077 % | 37.18/37.28 c | 462790 | 1303 7468 25286 | 1 69778 18 | 0.077 % | 37.18/37.28 c | 462890 | 1303 7468 25286 | 1 69878 19 | 0.077 % | 37.18/37.28 c | 462992 | 1303 7468 25286 | 1 69980 19 | 0.077 % | 37.18/37.28 c | 463440 | 1303 7468 25286 | 1 70428 19 | 0.077 % | 37.18/37.28 c | 463540 | 1303 7468 25286 | 1 70528 19 | 0.077 % | 37.18/37.28 c | 463640 | 1303 7468 25286 | 1 70628 19 | 0.077 % | 37.18/37.28 c | 463741 | 1303 7468 25286 | 1 70729 19 | 0.077 % | 37.18/37.28 c | 463842 | 1303 7468 25286 | 1 70830 19 | 0.077 % | 37.18/37.28 c | 464608 | 1303 7468 25286 | 1 71596 19 | 0.077 % | 37.18/37.28 c | 464748 | 1303 7468 25286 | 1 71736 19 | 0.077 % | 37.18/37.28 c | 465043 | 1303 7468 25286 | 1 72031 19 | 0.077 % | 39.28/39.38 c | 465206 | 1303 7468 25286 | 1 72194 19 | 0.077 % | 39.28/39.38 c | 465306 | 1303 7468 25286 | 1 72294 19 | 0.077 % | 39.28/39.38 c | 465703 | 1303 7468 25286 | 1 72691 19 | 0.077 % | 39.28/39.38 c | 465804 | 1303 7468 25286 | 1 72792 20 | 0.077 % | 39.28/39.38 c | 466083 | 1303 7468 25286 | 1 73071 20 | 0.077 % | 39.28/39.38 c | 466282 | 1303 7468 25286 | 1 73270 20 | 0.077 % | 39.28/39.38 c | 466963 | 1303 7468 25286 | 1 73951 20 | 0.077 % | 39.28/39.38 c | 467064 | 1303 7468 25286 | 1 74052 20 | 0.077 % | 39.28/39.38 c | 467164 | 1303 7468 25286 | 1 74152 20 | 0.077 % | 39.28/39.38 c | 467266 | 1303 7468 25286 | 1 74254 20 | 0.077 % | 39.28/39.38 c | 467366 | 1303 7468 25286 | 1 74354 20 | 0.077 % | 39.28/39.38 c | 468815 | 1303 7468 25286 | 1 75803 20 | 0.077 % | 39.28/39.38 c | 470524 | 1303 7468 25286 | 1 39128 13 | 0.077 % | 39.28/39.38 c | 471580 | 1303 7468 25286 | 1 40184 13 | 0.077 % | 39.28/39.38 c | 471680 | 1303 7468 25286 | 1 40284 14 | 0.077 % | 39.28/39.38 c | 472588 | 1303 7468 25286 | 1 41192 14 | 0.077 % | 39.28/39.38 c | 472698 | 1303 7468 25286 | 1 41302 15 | 0.077 % | 39.28/39.38 c | 473251 | 1303 7468 25286 | 1 41855 15 | 0.077 % | 39.28/39.38 c | 473867 | 1303 7468 25286 | 1 42471 16 | 0.077 % | 39.28/39.38 c | 474120 | 1303 7468 25286 | 1 42724 16 | 0.077 % | 39.28/39.38 c | 474280 | 1303 7468 25286 | 1 42884 16 | 0.077 % | 39.28/39.38 c | 474380 | 1303 7468 25286 | 1 42984 16 | 0.077 % | 39.28/39.38 c | 474481 | 1303 7468 25286 | 1 43085 16 | 0.077 % | 39.28/39.38 c | 475445 | 1303 7468 25286 | 1 44049 17 | 0.077 % | 39.28/39.38 c | 476105 | 1303 7468 25286 | 1 44709 17 | 0.077 % | 39.28/39.38 c | 476206 | 1303 7468 25286 | 1 44810 17 | 0.077 % | 39.28/39.38 c | 476783 | 1303 7468 25286 | 1 45387 17 | 0.077 % | 39.28/39.38 c | 476885 | 1303 7468 25286 | 1 45489 17 | 0.077 % | 39.28/39.38 c | 476986 | 1303 7468 25286 | 1 45590 17 | 0.077 % | 39.28/39.38 c | 477559 | 1303 7468 25286 | 1 46163 17 | 0.077 % | 39.28/39.38 c | 477826 | 1303 7468 25286 | 1 46430 18 | 0.077 % | 39.28/39.38 c | 478087 | 1303 7468 25286 | 1 46691 18 | 0.077 % | 39.28/39.38 c | 478984 | 1303 7468 25286 | 1 47588 18 | 0.077 % | 39.28/39.38 c | 479208 | 1303 7468 25286 | 1 47812 18 | 0.077 % | 39.28/39.38 c | 479308 | 1303 7468 25286 | 1 47912 19 | 0.077 % | 39.28/39.38 c | 479410 | 1303 7468 25286 | 1 48014 19 | 0.077 % | 39.28/39.38 c | 479510 | 1303 7468 25286 | 1 48114 19 | 0.077 % | 39.28/39.38 c | 479611 | 1303 7468 25286 | 1 48215 19 | 0.077 % | 39.28/39.38 c | 482382 | 1303 7468 25286 | 1 50986 19 | 0.077 % | 39.28/39.38 c | 482484 | 1303 7468 25286 | 1 51088 19 | 0.077 % | 39.28/39.38 c | 482983 | 1303 7468 25286 | 1 51587 20 | 0.077 % | 39.28/39.38 c | 483148 | 1303 7468 25286 | 1 51752 20 | 0.077 % | 39.28/39.38 c | 483251 | 1303 7468 25286 | 1 51855 20 | 0.077 % | 39.28/39.38 c | 483738 | 1303 7468 25286 | 1 52342 20 | 0.077 % | 39.28/39.38 c | 483839 | 1303 7468 25286 | 1 52443 20 | 0.077 % | 39.28/39.38 c | 483955 | 1303 7468 25286 | 1 52559 20 | 0.077 % | 39.28/39.38 c | 484144 | 1303 7468 25286 | 1 52748 20 | 0.077 % | 39.28/39.38 c | 484349 | 1303 7468 25286 | 1 52953 20 | 0.077 % | 39.28/39.38 c | 484449 | 1303 7468 25286 | 1 53053 20 | 0.077 % | 39.28/39.38 c | 484817 | 1303 7468 25286 | 1 53421 21 | 0.077 % | 50.68/50.75 c | 484918 | 1303 7468 25286 | 1 53522 21 | 0.077 % | 50.68/50.75 c | 485018 | 1303 7468 25286 | 1 53622 21 | 0.077 % | 50.68/50.75 c | 495372 | 1303 7468 25286 | 1 63976 21 | 0.077 % | 50.68/50.75 c | 495472 | 1303 7468 25286 | 1 64076 21 | 0.077 % | 50.68/50.75 c | 495574 | 1303 7468 25286 | 1 64178 22 | 0.077 % | 50.68/50.75 c | 495799 | 1303 7468 25286 | 1 64403 22 | 0.077 % | 50.68/50.75 c | 496846 | 1303 7468 25286 | 1 65450 22 | 0.077 % | 50.68/50.75 c | 496947 | 1303 7468 25286 | 1 65551 22 | 0.077 % | 50.68/50.75 c | 497374 | 1303 7468 25286 | 1 65978 22 | 0.077 % | 50.68/50.75 c | 497474 | 1303 7468 25286 | 1 66078 22 | 0.077 % | 50.68/50.75 c | 497822 | 1303 7468 25286 | 1 66426 22 | 0.077 % | 50.68/50.75 c | 497922 | 1303 7468 25286 | 1 66526 22 | 0.077 % | 50.68/50.75 c | 498022 | 1303 7468 25286 | 1 66626 22 | 0.077 % | 50.68/50.75 c | 499219 | 1303 7468 25286 | 1 67823 22 | 0.077 % | 50.68/50.75 c | 499319 | 1303 7468 25286 | 1 67923 23 | 0.077 % | 50.68/50.75 c | 499420 | 1303 7468 25286 | 1 68024 23 | 0.077 % | 50.68/50.75 c | 499535 | 1303 7468 25286 | 1 68139 23 | 0.077 % | 50.68/50.75 c | 501763 | 1303 7468 25286 | 1 70367 23 | 0.077 % | 50.68/50.75 c | 501865 | 1303 7468 25286 | 1 70469 23 | 0.077 % | 50.68/50.75 c | 503965 | 1303 7468 25286 | 1 72569 23 | 0.077 % | 50.68/50.75 c | 509923 | 1303 7468 25286 | 1 78527 23 | 0.077 % | 50.68/50.75 c | 510024 | 1303 7468 25286 | 1 78628 23 | 0.077 % | 50.68/50.75 c | 511443 | 1303 7468 25286 | 1 80047 23 | 0.077 % | 50.68/50.75 c | 511665 | 1303 7468 25286 | 1 80269 23 | 0.077 % | 50.68/50.75 c | 511765 | 1303 7468 25286 | 1 80369 23 | 0.077 % | 50.68/50.75 c | 511866 | 1303 7468 25286 | 1 80470 23 | 0.077 % | 50.68/50.75 c | 516855 | 1303 7468 25286 | 1 85459 23 | 0.077 % | 50.68/50.75 c | 516988 | 1303 7468 25286 | 1 85592 23 | 0.077 % | 50.68/50.75 c | 517088 | 1303 7468 25286 | 1 85692 23 | 0.077 % | 50.68/50.75 c | 517189 | 1303 7468 25286 | 1 85793 23 | 0.077 % | 50.68/50.75 c | 517290 | 1303 7468 25286 | 1 85894 24 | 0.077 % | 50.68/50.75 c | 517479 | 1303 7468 25286 | 1 86083 24 | 0.077 % | 50.68/50.75 c | 517580 | 1303 7468 25286 | 1 86184 24 | 0.077 % | 50.68/50.75 c | 517681 | 1303 7468 25286 | 1 86285 24 | 0.077 % | 50.68/50.75 c | 521191 | 1303 7468 25286 | 1 45194 13 | 0.077 % | 50.68/50.75 c | 521667 | 1303 7468 25286 | 1 45670 14 | 0.077 % | 50.68/50.75 c | 521767 | 1303 7468 25286 | 1 45770 14 | 0.077 % | 50.68/50.75 c | 521868 | 1303 7468 25286 | 1 45871 14 | 0.077 % | 50.68/50.75 c | 523460 | 1303 7468 25286 | 1 47463 15 | 0.077 % | 50.68/50.75 c | 523561 | 1303 7468 25286 | 1 47564 15 | 0.077 % | 50.68/50.75 c | 523661 | 1303 7468 25286 | 1 47664 15 | 0.077 % | 50.68/50.75 c | 523828 | 1303 7468 25286 | 1 47831 15 | 0.077 % | 50.68/50.75 c | 523929 | 1303 7468 25286 | 1 47932 15 | 0.077 % | 50.68/50.75 c | 524328 | 1303 7468 25286 | 1 48331 15 | 0.077 % | 50.68/50.75 c | 524468 | 1303 7468 25286 | 1 48471 15 | 0.077 % | 50.68/50.75 c | 524894 | 1303 7468 25286 | 1 48897 16 | 0.077 % | 50.68/50.75 c | 525031 | 1303 7468 25286 | 1 49034 16 | 0.077 % | 50.68/50.75 c | 525167 | 1303 7468 25286 | 1 49170 16 | 0.077 % | 50.68/50.75 c | 568498 | 1303 7468 25286 | 1 92501 18 | 0.077 % | 60.68/60.77 c | 569057 | 1303 7468 25286 | 1 93060 18 | 0.077 % | 60.68/60.77 c | 576543 | 1303 7468 25286 | 1 51552 14 | 0.077 % | 60.68/60.77 c | 576646 | 1303 7468 25286 | 1 51655 14 | 0.077 % | 60.68/60.77 c | 576941 | 1303 7468 25286 | 1 51950 14 | 0.077 % | 60.68/60.77 c | 577042 | 1303 7468 25286 | 1 52051 14 | 0.077 % | 60.68/60.77 c | 577144 | 1303 7468 25286 | 1 52153 14 | 0.077 % | 60.68/60.77 c | 599038 | 1302 7466 25280 | 1 63649 16 | 0.153 % | 60.68/60.77 c | 599138 | 1302 7466 25280 | 1 63749 16 | 0.153 % | 60.68/60.77 c | 601203 | 1302 7466 25280 | 1 65814 17 | 0.153 % | 60.68/60.77 c | 601303 | 1302 7466 25280 | 1 65914 17 | 0.153 % | 60.68/60.77 c | 601405 | 1302 7466 25280 | 1 66016 17 | 0.153 % | 60.68/60.77 c | 605767 | 1302 7466 25280 | 1 70378 18 | 0.153 % | 60.68/60.77 c | 617327 | 1302 7466 25280 | 1 81938 18 | 0.153 % | 60.68/60.77 c | 617427 | 1302 7466 25280 | 1 82038 18 | 0.153 % | 60.68/60.77 c | 621082 | 1302 7466 25280 | 1 85693 19 | 0.153 % | 60.68/60.77 c | 621182 | 1302 7466 25280 | 1 85793 19 | 0.153 % | 60.68/60.77 c | 621285 | 1302 7466 25280 | 1 85896 19 | 0.153 % | 60.68/60.77 c | 621747 | 1302 7466 25280 | 1 86358 19 | 0.153 % | 60.68/60.77 c | 621848 | 1302 7466 25280 | 1 86459 20 | 0.153 % | 60.68/60.77 c | 621949 | 1302 7466 25280 | 1 86560 20 | 0.153 % | 60.68/60.77 c | 622138 | 1302 7466 25280 | 1 86749 20 | 0.153 % | 60.68/60.77 c | 622240 | 1302 7466 25280 | 1 86851 20 | 0.153 % | 60.68/60.77 c | 623599 | 1302 7466 25280 | 1 88210 20 | 0.153 % | 60.68/60.77 c | 623709 | 1302 7466 25280 | 1 88320 20 | 0.153 % | 60.68/60.77 c | 625062 | 1302 7466 25280 | 1 89673 20 | 0.153 % | 60.68/60.77 c | 627113 | 1302 7466 25280 | 1 91724 21 | 0.153 % | 60.68/60.77 c | 627215 | 1302 7466 25280 | 1 91826 21 | 0.153 % | 60.68/60.77 c | 629292 | 1302 7466 25280 | 1 93903 21 | 0.153 % | 60.68/60.77 c | 629394 | 1302 7466 25280 | 1 94005 21 | 0.153 % | 60.68/60.77 c | 629494 | 1302 7466 25280 | 1 94105 21 | 0.153 % | 60.68/60.77 c | 629627 | 1302 7466 25280 | 1 94238 21 | 0.153 % | 60.68/60.77 c | 629728 | 1302 7466 25280 | 1 94339 21 | 0.153 % | 60.68/60.77 c | 635074 | 1302 7466 25280 | 1 52388 14 | 0.153 % | 60.68/60.77 c | 635176 | 1302 7466 25280 | 1 52490 14 | 0.153 % | 60.68/60.77 c | 635355 | 1302 7466 25280 | 1 52669 14 | 0.153 % | 60.68/60.77 c | 635456 | 1302 7466 25280 | 1 52770 14 | 0.153 % | 60.68/60.77 c | 635719 | 1302 7466 25280 | 1 53033 15 | 0.153 % | 60.68/60.77 c | 654031 | 1302 7466 25280 | 1 71345 15 | 0.153 % | 60.68/60.77 c | 654131 | 1302 7466 25280 | 1 71445 15 | 0.153 % | 60.68/60.77 c | 654275 | 1302 7466 25280 | 1 71589 15 | 0.153 % | 60.68/60.77 c | 654375 | 1302 7466 25280 | 1 71689 16 | 0.153 % | 60.68/60.77 c | 654476 | 1302 7466 25280 | 1 71790 16 | 0.153 % | 60.68/60.77 c | 654799 | 1302 7466 25280 | 1 72113 16 | 0.153 % | 60.68/60.77 c | 654905 | 1302 7466 25280 | 1 72219 16 | 0.153 % | 60.68/60.77 c | 655005 | 1302 7466 25280 | 1 72319 16 | 0.153 % | 60.68/60.77 c | 655106 | 1302 7466 25280 | 1 72420 16 | 0.153 % | 60.68/60.77 c | 655210 | 1302 7466 25280 | 1 72524 16 | 0.153 % | 60.68/60.77 c | 655575 | 1302 7466 25280 | 1 72889 16 | 0.153 % | 60.68/60.77 c | 655821 | 1302 7466 25280 | 1 73135 16 | 0.153 % | 60.68/60.77 c | 656170 | 1302 7466 25280 | 1 73484 16 | 0.153 % | 66.68/66.77 c | 656787 | 1302 7466 25280 | 1 74101 16 | 0.153 % | 66.68/66.77 c | 657939 | 1302 7466 25280 | 1 75253 17 | 0.153 % | 66.68/66.77 c | 658039 | 1302 7466 25280 | 1 75353 17 | 0.153 % | 66.68/66.77 c | 658657 | 1302 7466 25280 | 1 75971 17 | 0.153 % | 66.68/66.77 c | 658801 | 1302 7466 25280 | 1 76115 17 | 0.153 % | 66.68/66.77 c | 658958 | 1302 7466 25280 | 1 76272 17 | 0.153 % | 66.68/66.77 c | 659058 | 1302 7466 25280 | 1 76372 17 | 0.153 % | 66.68/66.77 c | 659159 | 1302 7466 25280 | 1 76473 17 | 0.153 % | 66.68/66.77 c | 659758 | 1302 7466 25280 | 1 77072 17 | 0.153 % | 66.68/66.77 c | 659859 | 1302 7466 25280 | 1 77173 17 | 0.153 % | 66.68/66.77 c | 660102 | 1302 7466 25280 | 1 77416 17 | 0.153 % | 66.68/66.77 c | 660202 | 1302 7466 25280 | 1 77516 17 | 0.153 % | 66.68/66.77 c | 660766 | 1302 7466 25280 | 1 78080 18 | 0.153 % | 66.68/66.77 c | 661331 | 1302 7466 25280 | 1 78645 18 | 0.153 % | 66.68/66.77 c | 661431 | 1302 7466 25280 | 1 78745 18 | 0.153 % | 66.68/66.77 c | 661531 | 1302 7466 25280 | 1 78845 18 | 0.153 % | 66.68/66.77 c | 661651 | 1302 7466 25280 | 1 78965 18 | 0.153 % | 66.68/66.77 c | 661751 | 1302 7466 25280 | 1 79065 18 | 0.153 % | 66.68/66.77 c | 662842 | 1302 7466 25280 | 1 80156 18 | 0.153 % | 66.68/66.77 c | 662944 | 1302 7466 25280 | 1 80258 18 | 0.153 % | 66.68/66.77 c | 663827 | 1302 7466 25280 | 1 81141 18 | 0.153 % | 66.68/66.77 c | 665465 | 1302 7466 25280 | 1 82779 18 | 0.153 % | 66.68/66.77 c | 666707 | 1302 7466 25280 | 1 84021 18 | 0.153 % | 66.68/66.77 c | 666807 | 1302 7466 25280 | 1 84121 18 | 0.153 % | 66.68/66.77 c | 666907 | 1302 7466 25280 | 1 84221 18 | 0.153 % | 66.68/66.77 c | 672219 | 1302 7466 25280 | 1 89533 19 | 0.153 % | 66.68/66.77 c | 672320 | 1302 7466 25280 | 1 89634 19 | 0.153 % | 66.68/66.77 c | 672421 | 1302 7466 25280 | 1 89735 19 | 0.153 % | 66.68/66.77 c | 672523 | 1302 7466 25280 | 1 89837 19 | 0.153 % | 66.68/66.77 c | 672625 | 1302 7466 25280 | 1 89939 19 | 0.153 % | 66.68/66.77 c | 672776 | 1302 7466 25280 | 1 90090 19 | 0.153 % | 66.68/66.77 c | 672877 | 1302 7466 25280 | 1 90191 19 | 0.153 % | 66.68/66.77 c | 672977 | 1302 7466 25280 | 1 90291 19 | 0.153 % | 66.68/66.77 c | 673711 | 1302 7466 25280 | 1 91025 19 | 0.153 % | 66.68/66.77 c | 673908 | 1302 7466 25280 | 1 91222 19 | 0.153 % | 66.68/66.77 c | 674009 | 1302 7466 25280 | 1 91323 19 | 0.153 % | 66.68/66.77 c | 674109 | 1302 7466 25280 | 1 91423 19 | 0.153 % | 66.68/66.77 c | 695068 | 1302 7466 25280 | 1 59428 13 | 0.153 % | 66.68/66.77 c | 695222 | 1302 7466 25280 | 1 59582 13 | 0.153 % | 66.68/66.77 c | 695322 | 1302 7466 25280 | 1 59682 13 | 0.153 % | 66.68/66.77 c | 700981 | 1302 7466 25280 | 1 65341 15 | 0.153 % | 66.68/66.77 c | 701081 | 1302 7466 25280 | 1 65441 15 | 0.153 % | 66.68/66.77 c | 701182 | 1302 7466 25280 | 1 65542 15 | 0.153 % | 66.68/66.77 c | 701359 | 1302 7466 25280 | 1 65719 15 | 0.153 % | 66.68/66.77 c | 701460 | 1302 7466 25280 | 1 65820 15 | 0.153 % | 66.68/66.77 c | 701560 | 1302 7466 25280 | 1 65920 16 | 0.153 % | 66.68/66.77 c | 701687 | 1302 7466 25280 | 1 66047 16 | 0.153 % | 66.68/66.77 c | 702029 | 1302 7466 25280 | 1 66389 16 | 0.153 % | 66.68/66.77 c | 702132 | 1302 7466 25280 | 1 66492 16 | 0.153 % | 66.68/66.77 c | 703955 | 1302 7466 25280 | 1 68315 16 | 0.153 % | 78.88/78.96 c | 704055 | 1302 7466 25280 | 1 68415 16 | 0.153 % | 78.88/78.96 c | 704156 | 1302 7466 25280 | 1 68516 16 | 0.153 % | 78.88/78.96 c | 704257 | 1302 7466 25280 | 1 68617 16 | 0.153 % | 78.88/78.96 c | 704359 | 1302 7466 25280 | 1 68719 17 | 0.153 % | 78.88/78.96 c | 704459 | 1302 7466 25280 | 1 68819 17 | 0.153 % | 78.88/78.96 c | 704560 | 1302 7466 25280 | 1 68920 17 | 0.153 % | 78.88/78.96 c | 704661 | 1302 7466 25280 | 1 69021 17 | 0.153 % | 78.88/78.96 c | 704761 | 1302 7466 25280 | 1 69121 17 | 0.153 % | 78.88/78.96 c | 705055 | 1302 7466 25280 | 1 69415 17 | 0.153 % | 78.88/78.96 c | 705156 | 1302 7466 25280 | 1 69516 17 | 0.153 % | 78.88/78.96 c | 705296 | 1302 7466 25280 | 1 69656 17 | 0.153 % | 78.88/78.96 c | 706024 | 1302 7466 25280 | 1 70384 17 | 0.153 % | 78.88/78.96 c | 706193 | 1302 7466 25280 | 1 70553 18 | 0.153 % | 78.88/78.96 c | 706293 | 1302 7466 25280 | 1 70653 18 | 0.153 % | 78.88/78.96 c | 707033 | 1302 7466 25280 | 1 71393 18 | 0.153 % | 78.88/78.96 c | 707407 | 1302 7466 25280 | 1 71767 18 | 0.153 % | 78.88/78.96 c | 707538 | 1302 7466 25280 | 1 71898 18 | 0.153 % | 78.88/78.96 c | 707653 | 1302 7466 25280 | 1 72013 18 | 0.153 % | 78.88/78.96 c | 707755 | 1302 7466 25280 | 1 72115 18 | 0.153 % | 78.88/78.96 c | 707935 | 1302 7466 25280 | 1 72295 18 | 0.153 % | 78.88/78.96 c | 712859 | 1302 7466 25280 | 1 77219 19 | 0.153 % | 78.88/78.96 c | 714119 | 1302 7466 25280 | 1 78479 19 | 0.153 % | 78.88/78.96 c | 757443 | 1302 7466 25280 | 1 64731 14 | 0.153 % | 78.88/78.96 c | 757544 | 1302 7466 25280 | 1 64832 14 | 0.153 % | 78.88/78.96 c | 759529 | 1302 7466 25280 | 1 66817 15 | 0.153 % | 78.88/78.96 c | 759629 | 1302 7466 25280 | 1 66917 15 | 0.153 % | 78.88/78.96 c | 760952 | 1302 7466 25280 | 1 68240 16 | 0.153 % | 78.88/78.96 c | 761053 | 1302 7466 25280 | 1 68341 16 | 0.153 % | 78.88/78.96 c | 769716 | 1302 7466 25280 | 1 77004 16 | 0.153 % | 78.88/78.96 c | 769816 | 1302 7466 25280 | 1 77104 16 | 0.153 % | 78.88/78.96 c | 769965 | 1302 7466 25280 | 1 77253 16 | 0.153 % | 78.88/78.96 c | 770065 | 1302 7466 25280 | 1 77353 16 | 0.153 % | 78.88/78.96 c | 770165 | 1302 7466 25280 | 1 77453 16 | 0.153 % | 78.88/78.96 c | 770265 | 1302 7466 25280 | 1 77553 17 | 0.153 % | 78.88/78.96 c | 770366 | 1302 7466 25280 | 1 77654 17 | 0.153 % | 78.88/78.96 c | 770977 | 1302 7466 25280 | 1 78265 17 | 0.153 % | 78.88/78.96 c | 771089 | 1302 7466 25280 | 1 78377 17 | 0.153 % | 78.88/78.96 c | 771628 | 1302 7466 25280 | 1 78916 17 | 0.153 % | 78.88/78.96 c | 771728 | 1302 7466 25280 | 1 79016 17 | 0.153 % | 78.88/78.96 c | 772844 | 1302 7466 25280 | 1 80132 17 | 0.153 % | 78.88/78.96 c | 772944 | 1302 7466 25280 | 1 80232 17 | 0.153 % | 78.88/78.96 c | 773083 | 1302 7466 25280 | 1 80371 17 | 0.153 % | 78.88/78.96 c | 773184 | 1302 7466 25280 | 1 80472 17 | 0.153 % | 78.88/78.96 c | 773451 | 1302 7466 25280 | 1 80739 17 | 0.153 % | 78.88/78.96 c | 773553 | 1302 7466 25280 | 1 80841 18 | 0.153 % | 78.88/78.96 c | 773848 | 1302 7466 25280 | 1 81136 18 | 0.153 % | 78.88/78.96 c | 773948 | 1302 7466 25280 | 1 81236 18 | 0.153 % | 78.88/78.96 c | 777560 | 1302 7466 25280 | 1 84848 19 | 0.153 % | 78.88/78.96 c | 787964 | 1302 7466 25280 | 1 95252 19 | 0.153 % | 78.88/78.96 c | 788065 | 1302 7466 25280 | 1 95353 19 | 0.153 % | 83.09/83.11 c | 788197 | 1302 7466 25280 | 1 95485 19 | 0.153 % | 83.09/83.11 c | 789552 | 1302 7466 25280 | 1 96840 19 | 0.153 % | 83.09/83.11 c | 790178 | 1302 7466 25280 | 1 97466 19 | 0.153 % | 83.09/83.11 c | 790278 | 1302 7466 25280 | 1 97566 19 | 0.153 % | 83.09/83.11 c | 792335 | 1302 7466 25280 | 1 99623 20 | 0.153 % | 83.09/83.11 c | 792436 | 1302 7466 25280 | 1 99724 20 | 0.153 % | 83.09/83.11 c | 792536 | 1302 7466 25280 | 1 99824 20 | 0.153 % | 83.09/83.11 c | 792637 | 1302 7466 25280 | 1 99925 20 | 0.153 % | 83.09/83.11 c | 792739 | 1302 7466 25280 | 1 100027 20 | 0.153 % | 83.09/83.11 c | 792841 | 1302 7466 25280 | 1 100129 20 | 0.153 % | 83.09/83.11 c | 793015 | 1302 7466 25280 | 1 100303 20 | 0.153 % | 83.09/83.11 c | 793115 | 1302 7466 25280 | 1 100403 20 | 0.153 % | 83.09/83.11 c | 793215 | 1302 7466 25280 | 1 100503 20 | 0.153 % | 83.09/83.11 c | 793316 | 1302 7466 25280 | 1 100604 20 | 0.153 % | 83.09/83.11 c | 795091 | 1302 7466 25280 | 1 102379 21 | 0.153 % | 83.09/83.11 c | 795194 | 1302 7466 25280 | 1 102482 21 | 0.153 % | 83.09/83.11 c | 795302 | 1302 7466 25280 | 1 102590 21 | 0.153 % | 83.09/83.11 c | 796335 | 1302 7466 25280 | 1 103623 21 | 0.153 % | 83.09/83.11 c | 796648 | 1302 7466 25280 | 1 103936 21 | 0.153 % | 83.09/83.11 c | 796749 | 1302 7466 25280 | 1 104037 21 | 0.153 % | 83.09/83.11 c | 796849 | 1302 7466 25280 | 1 104137 21 | 0.153 % | 83.09/83.11 c | 796949 | 1302 7466 25280 | 1 104237 21 | 0.153 % | 83.09/83.11 c | 797050 | 1302 7466 25280 | 1 104338 21 | 0.153 % | 83.09/83.11 c | 797150 | 1302 7466 25280 | 1 104438 21 | 0.153 % | 83.09/83.11 c | 797480 | 1302 7466 25280 | 1 104768 21 | 0.153 % | 83.09/83.11 c | 797580 | 1302 7466 25280 | 1 104868 22 | 0.153 % | 83.09/83.11 c | 797848 | 1302 7466 25280 | 1 105136 22 | 0.153 % | 83.09/83.11 c | 797950 | 1302 7466 25280 | 1 105238 22 | 0.153 % | 83.09/83.11 c | 799446 | 1302 7466 25280 | 1 106734 22 | 0.153 % | 83.09/83.11 c | 799547 | 1302 7466 25280 | 1 106835 22 | 0.153 % | 83.09/83.11 c | 800890 | 1302 7466 25280 | 1 108178 22 | 0.153 % | 83.09/83.11 c | 801645 | 1302 7466 25280 | 1 108933 22 | 0.153 % | 83.09/83.11 c | 801746 | 1302 7466 25280 | 1 109034 22 | 0.153 % | 83.09/83.11 c | 801849 | 1302 7466 25280 | 1 109137 22 | 0.153 % | 83.09/83.11 c | 801950 | 1302 7466 25280 | 1 109238 22 | 0.153 % | 83.09/83.11 c | 802122 | 1302 7466 25280 | 1 109410 22 | 0.153 % | 83.09/83.11 c | 807516 | 1302 7466 25280 | 1 114804 23 | 0.153 % | 83.09/83.11 c | 807619 | 1302 7466 25280 | 1 114907 23 | 0.153 % | 83.09/83.11 c | 807727 | 1302 7466 25280 | 1 115015 23 | 0.153 % | 83.09/83.11 c | 808073 | 1302 7466 25280 | 1 115361 23 | 0.153 % | 83.09/83.11 c | 809941 | 1302 7466 25280 | 1 117229 23 | 0.153 % | 83.09/83.11 c | 810043 | 1302 7466 25280 | 1 117331 23 | 0.153 % | 83.09/83.11 c | 810320 | 1302 7466 25280 | 1 117608 23 | 0.153 % | 83.09/83.11 c | 810421 | 1302 7466 25280 | 1 117709 23 | 0.153 % | 83.09/83.11 c | 810521 | 1302 7466 25280 | 1 117809 23 | 0.153 % | 83.09/83.11 c | 810653 | 1302 7466 25280 | 1 117941 24 | 0.153 % | 83.09/83.11 c | 811388 | 1302 7466 25280 | 1 118676 24 | 0.153 % | 83.09/83.11 c | 811488 | 1302 7466 25280 | 1 118776 24 | 0.153 % | 83.09/83.11 c | 811834 | 1302 7466 25280 | 1 119122 24 | 0.153 % | 83.09/83.11 c | 811936 | 1302 7466 25280 | 1 119224 24 | 0.153 % | 99.19/99.20 c | 812196 | 1302 7466 25280 | 1 119484 24 | 0.153 % | 99.19/99.20 c | 812739 | 1302 7466 25280 | 1 120027 24 | 0.153 % | 99.19/99.20 c | 812840 | 1302 7466 25280 | 1 120128 24 | 0.153 % | 99.19/99.20 c | 812941 | 1302 7466 25280 | 1 120229 24 | 0.153 % | 99.19/99.20 c | 813041 | 1302 7466 25280 | 1 120329 24 | 0.153 % | 99.19/99.20 c | 813142 | 1302 7466 25280 | 1 120430 24 | 0.153 % | 99.19/99.20 c | 813913 | 1302 7466 25280 | 1 60762 13 | 0.153 % | 99.19/99.20 c | 817928 | 1302 7466 25280 | 1 64777 13 | 0.153 % | 99.19/99.20 c | 818276 | 1302 7466 25280 | 1 65125 14 | 0.153 % | 99.19/99.20 c | 819326 | 1302 7466 25280 | 1 66175 14 | 0.153 % | 99.19/99.20 c | 819428 | 1302 7466 25280 | 1 66277 14 | 0.153 % | 99.19/99.20 c | 819528 | 1302 7466 25280 | 1 66377 14 | 0.153 % | 99.19/99.20 c | 820412 | 1302 7466 25280 | 1 67261 14 | 0.153 % | 99.19/99.20 c | 820685 | 1302 7466 25280 | 1 67534 14 | 0.153 % | 99.19/99.20 c | 820786 | 1302 7466 25280 | 1 67635 14 | 0.153 % | 99.19/99.20 c | 820892 | 1302 7466 25280 | 1 67741 15 | 0.153 % | 99.19/99.20 c | 820993 | 1302 7466 25280 | 1 67842 15 | 0.153 % | 99.19/99.20 c | 821095 | 1302 7466 25280 | 1 67944 15 | 0.153 % | 99.19/99.20 c | 821195 | 1302 7466 25280 | 1 68044 15 | 0.153 % | 99.19/99.20 c | 823091 | 1302 7466 25280 | 1 69940 16 | 0.153 % | 99.19/99.20 c | 823859 | 1302 7466 25280 | 1 70708 16 | 0.153 % | 99.19/99.20 c | 824030 | 1302 7466 25280 | 1 70879 16 | 0.153 % | 99.19/99.20 c | 824133 | 1302 7466 25280 | 1 70982 16 | 0.153 % | 99.19/99.20 c | 824719 | 1302 7466 25280 | 1 71568 16 | 0.153 % | 99.19/99.20 c | 824852 | 1302 7466 25280 | 1 71701 16 | 0.153 % | 99.19/99.20 c | 828324 | 1302 7466 25280 | 1 75173 16 | 0.153 % | 99.19/99.20 c | 828426 | 1302 7466 25280 | 1 75275 16 | 0.153 % | 99.19/99.20 c | 829244 | 1302 7466 25280 | 1 76093 16 | 0.153 % | 99.19/99.20 c | 829344 | 1302 7466 25280 | 1 76193 17 | 0.153 % | 99.19/99.20 c | 829446 | 1302 7466 25280 | 1 76295 17 | 0.153 % | 99.19/99.20 c | 829765 | 1302 7466 25280 | 1 76614 17 | 0.153 % | 99.19/99.20 c | 835794 | 1302 7466 25280 | 1 82643 18 | 0.153 % | 99.19/99.20 c | 835898 | 1302 7466 25280 | 1 82747 18 | 0.153 % | 99.19/99.20 c | 836216 | 1302 7466 25280 | 1 83065 18 | 0.153 % | 99.19/99.20 c | 895287 | 1302 7466 25280 | 1 78724 14 | 0.153 % | 99.19/99.20 c | 897396 | 1302 7466 25280 | 1 80833 15 | 0.153 % | 99.19/99.20 c | 897498 | 1302 7466 25280 | 1 80935 15 | 0.153 % | 99.19/99.20 c | 897598 | 1302 7466 25280 | 1 81035 15 | 0.153 % | 99.19/99.20 c | 907281 | 1302 7466 25280 | 1 90718 16 | 0.153 % | 99.19/99.20 c | 907382 | 1302 7466 25280 | 1 90819 16 | 0.153 % | 99.19/99.20 c | 907515 | 1302 7466 25280 | 1 90952 16 | 0.153 % | 99.19/99.20 c | 913547 | 1302 7466 25280 | 1 96984 16 | 0.153 % | 99.19/99.20 c | 913647 | 1302 7466 25280 | 1 97084 16 | 0.153 % | 99.19/99.20 c | 913813 | 1302 7466 25280 | 1 97250 17 | 0.153 % | 99.19/99.20 c | 913913 | 1302 7466 25280 | 1 97350 17 | 0.153 % | 99.19/99.20 c | 914013 | 1302 7466 25280 | 1 97450 17 | 0.153 % | 99.19/99.20 c | 914115 | 1302 7466 25280 | 1 97552 17 | 0.153 % | 99.19/99.20 c | 914216 | 1302 7466 25280 | 1 97653 17 | 0.153 % | 99.19/99.20 c | 914319 | 1302 7466 25280 | 1 97756 17 | 0.153 % | 99.19/99.20 c | 914419 | 1302 7466 25280 | 1 97856 17 | 0.153 % | 121.19/121.25 c | 914520 | 1302 7466 25280 | 1 97957 17 | 0.153 % | 121.19/121.25 c | 915448 | 1302 7466 25280 | 1 98885 17 | 0.153 % | 121.19/121.25 c | 915549 | 1302 7466 25280 | 1 98986 17 | 0.153 % | 121.19/121.25 c | 916692 | 1302 7466 25280 | 1 100129 17 | 0.153 % | 121.19/121.25 c | 917224 | 1302 7466 25280 | 1 100661 17 | 0.153 % | 121.19/121.25 c | 1012326 | 1295 7450 25222 | 1 97329 14 | 0.690 % | 121.19/121.25 c | 1012427 | 1295 7450 25222 | 1 97430 14 | 0.690 % | 121.19/121.25 c | 1012635 | 1295 7450 25222 | 1 97638 14 | 0.690 % | 121.19/121.25 c | 1012737 | 1295 7450 25222 | 1 97740 14 | 0.690 % | 121.19/121.25 c | 1012915 | 1295 7450 25222 | 1 97918 14 | 0.690 % | 121.19/121.25 c | 1013017 | 1295 7450 25222 | 1 98020 14 | 0.690 % | 121.19/121.25 c | 1013119 | 1295 7450 25222 | 1 98122 14 | 0.690 % | 121.19/121.25 c | 1013652 | 1295 7450 25222 | 1 98655 14 | 0.690 % | 121.19/121.25 c | 1017265 | 1295 7450 25222 | 1 102268 15 | 0.690 % | 121.19/121.25 c | 1035260 | 1295 7450 25222 | 1 67895 16 | 0.690 % | 121.19/121.25 c | 1035360 | 1295 7449 25218 | 1 67927 16 | 0.690 % | 121.19/121.25 c | 1036185 | 1295 7449 25218 | 1 68752 17 | 0.690 % | 121.19/121.25 c | 1036744 | 1295 7449 25218 | 1 69311 17 | 0.690 % | 121.19/121.25 c | 1037473 | 1295 7449 25218 | 1 70040 17 | 0.690 % | 121.19/121.25 c | 1037575 | 1295 7449 25218 | 1 70142 17 | 0.690 % | 121.19/121.25 c | 1038269 | 1295 7449 25218 | 1 70836 17 | 0.690 % | 121.19/121.25 c | 1038369 | 1295 7449 25218 | 1 70936 17 | 0.690 % | 121.19/121.25 c | 1038469 | 1295 7449 25218 | 1 71036 17 | 0.690 % | 121.19/121.25 c | 1038569 | 1295 7449 25218 | 1 71136 17 | 0.690 % | 121.19/121.25 c | 1038780 | 1295 7449 25218 | 1 71347 17 | 0.690 % | 121.19/121.25 c | 1038881 | 1295 7449 25218 | 1 71448 17 | 0.690 % | 121.19/121.25 c | 1038982 | 1295 7449 25218 | 1 71549 18 | 0.690 % | 121.19/121.25 c | 1039082 | 1295 7449 25218 | 1 71649 18 | 0.690 % | 121.19/121.25 c | 1039210 | 1295 7449 25218 | 1 71777 18 | 0.690 % | 121.19/121.25 c | 1040592 | 1295 7449 25218 | 1 73159 18 | 0.690 % | 121.19/121.25 c | 1040692 | 1295 7449 25218 | 1 73259 18 | 0.690 % | 121.19/121.25 c | 1040998 | 1295 7449 25218 | 1 73565 18 | 0.690 % | 121.19/121.25 c | 1041100 | 1295 7449 25218 | 1 73667 18 | 0.690 % | 121.19/121.25 c | 1041841 | 1295 7449 25218 | 1 74408 19 | 0.690 % | 121.19/121.25 c | 1041942 | 1295 7449 25218 | 1 74509 19 | 0.690 % | 121.19/121.25 c | 1042043 | 1295 7449 25218 | 1 74610 19 | 0.690 % | 121.19/121.25 c | 1042164 | 1295 7449 25218 | 1 74731 19 | 0.690 % | 121.19/121.25 c | 1043056 | 1295 7449 25218 | 1 75623 19 | 0.690 % | 121.19/121.25 c | 1043159 | 1295 7449 25218 | 1 75726 19 | 0.690 % | 121.19/121.25 c | 1043260 | 1295 7449 25218 | 1 75827 19 | 0.690 % | 121.19/121.25 c | 1045247 | 1295 7449 25218 | 1 77814 19 | 0.690 % | 121.19/121.25 c | 1045356 | 1295 7449 25218 | 1 77923 19 | 0.690 % | 121.19/121.25 c | 1045582 | 1295 7449 25218 | 1 78149 19 | 0.690 % | 121.19/121.25 c | 1045684 | 1295 7449 25218 | 1 78251 19 | 0.690 % | 121.19/121.25 c | 1045786 | 1295 7449 25218 | 1 78353 19 | 0.690 % | 121.19/121.25 c | 1047068 | 1295 7449 25218 | 1 79635 19 | 0.690 % | 121.19/121.25 c | 1047168 | 1295 7449 25218 | 1 79735 20 | 0.690 % | 121.19/121.25 c | 1061624 | 1295 7449 25218 | 1 94191 20 | 0.690 % | 121.19/121.25 c | 1061726 | 1295 7449 25218 | 1 94293 20 | 0.690 % | 121.19/121.25 c | 1062945 | 1295 7449 25218 | 1 95512 20 | 0.690 % | 144.98/145.06 c | 1063045 | 1295 7449 25218 | 1 95612 20 | 0.690 % | 144.98/145.06 c | 1063274 | 1295 7449 25218 | 1 95841 20 | 0.690 % | 144.98/145.06 c | 1064287 | 1295 7449 25218 | 1 96854 20 | 0.690 % | 144.98/145.06 c | 1064388 | 1295 7449 25218 | 1 96955 20 | 0.690 % | 144.98/145.06 c | 1064490 | 1295 7449 25218 | 1 97057 20 | 0.690 % | 144.98/145.06 c | 1064590 | 1295 7449 25218 | 1 97157 20 | 0.690 % | 144.98/145.06 c | 1064690 | 1295 7449 25218 | 1 97257 20 | 0.690 % | 144.98/145.06 c | 1065460 | 1295 7449 25218 | 1 98027 20 | 0.690 % | 144.98/145.06 c | 1065619 | 1295 7449 25218 | 1 98186 20 | 0.690 % | 144.98/145.06 c | 1065721 | 1295 7449 25218 | 1 98288 20 | 0.690 % | 144.98/145.06 c | 1065821 | 1295 7449 25218 | 1 98388 20 | 0.690 % | 144.98/145.06 c | 1065921 | 1295 7449 25218 | 1 98488 20 | 0.690 % | 144.98/145.06 c | 1066021 | 1295 7449 25218 | 1 98588 20 | 0.690 % | 144.98/145.06 c | 1066123 | 1295 7449 25218 | 1 98690 20 | 0.690 % | 144.98/145.06 c | 1068101 | 1295 7449 25218 | 1 100668 21 | 0.690 % | 144.98/145.06 c | 1068464 | 1295 7449 25218 | 1 101031 21 | 0.690 % | 144.98/145.06 c | 1068566 | 1295 7449 25218 | 1 101133 21 | 0.690 % | 144.98/145.06 c | 1068952 | 1295 7449 25218 | 1 101519 21 | 0.690 % | 144.98/145.06 c | 1069347 | 1295 7449 25218 | 1 101914 21 | 0.690 % | 144.98/145.06 c | 1070849 | 1295 7449 25218 | 1 103416 22 | 0.690 % | 144.98/145.06 c | 1070949 | 1295 7449 25218 | 1 103516 22 | 0.690 % | 144.98/145.06 c | 1071385 | 1295 7449 25218 | 1 103952 22 | 0.690 % | 144.98/145.06 c | 1072926 | 1295 7449 25218 | 1 105493 22 | 0.690 % | 144.98/145.06 c | 1073026 | 1295 7449 25218 | 1 105593 22 | 0.690 % | 144.98/145.06 c | 1073128 | 1295 7449 25218 | 1 105695 22 | 0.690 % | 144.98/145.06 c | 1073228 | 1295 7449 25218 | 1 105795 22 | 0.690 % | 144.98/145.06 c | 1073440 | 1295 7449 25218 | 1 106007 22 | 0.690 % | 144.98/145.06 c | 1089185 | 1294 7447 25212 | 1 114294 22 | 0.767 % | 144.98/145.06 c | 1091413 | 1294 7447 25212 | 1 116522 22 | 0.767 % | 144.98/145.06 c | 1091514 | 1294 7447 25212 | 1 116623 22 | 0.767 % | 144.98/145.06 c | 1091614 | 1294 7447 25212 | 1 116723 22 | 0.767 % | 144.98/145.06 c | 1091714 | 1294 7447 25212 | 1 116823 22 | 0.767 % | 144.98/145.06 c | 1091815 | 1294 7447 25212 | 1 116924 22 | 0.767 % | 144.98/145.06 c | 1091921 | 1294 7447 25212 | 1 117030 22 | 0.767 % | 144.98/145.06 c | 1092111 | 1294 7447 25212 | 1 117220 22 | 0.767 % | 144.98/145.06 c | 1092211 | 1294 7447 25212 | 1 117320 22 | 0.767 % | 144.98/145.06 c | 1092322 | 1294 7447 25212 | 1 117431 22 | 0.767 % | 144.98/145.06 c | 1092423 | 1294 7447 25212 | 1 117532 22 | 0.767 % | 144.98/145.06 c | 1092523 | 1294 7447 25212 | 1 117632 22 | 0.767 % | 144.98/145.06 c | 1092623 | 1294 7447 25212 | 1 117732 22 | 0.767 % | 144.98/145.06 c | 1092723 | 1294 7447 25212 | 1 117832 22 | 0.767 % | 144.98/145.06 c | 1092824 | 1294 7447 25212 | 1 117933 22 | 0.767 % | 144.98/145.06 c | 1093711 | 1294 7447 25212 | 1 118820 23 | 0.767 % | 144.98/145.06 c | 1093943 | 1294 7447 25212 | 1 119052 23 | 0.767 % | 144.98/145.06 c | 1094045 | 1294 7447 25212 | 1 119154 23 | 0.767 % | 144.98/145.06 c | 1148333 | 1294 7447 25212 | 1 99492 15 | 0.767 % | 144.98/145.06 c | 1148435 | 1294 7447 25212 | 1 99594 15 | 0.767 % | 144.98/145.06 c | 1148537 | 1294 7447 25212 | 1 99696 15 | 0.767 % | 144.98/145.06 c | 1170726 | 1294 7447 25212 | 1 121885 18 | 0.767 % | 144.98/145.06 c | 1170827 | 1294 7447 25212 | 1 121986 18 | 0.767 % | 152.08/152.14 c | 1170929 | 1294 7447 25212 | 1 122088 18 | 0.767 % | 152.08/152.14 c | 1171030 | 1294 7447 25212 | 1 122189 18 | 0.767 % | 152.08/152.14 c | 1171130 | 1294 7447 25212 | 1 122289 18 | 0.767 % | 152.08/152.14 c | 1171282 | 1294 7447 25212 | 1 122441 18 | 0.767 % | 152.08/152.14 c | 1175251 | 1294 7447 25212 | 1 126410 18 | 0.767 % | 152.08/152.14 c | 1175351 | 1294 7447 25212 | 1 126510 18 | 0.767 % | 152.08/152.14 c | 1175451 | 1294 7447 25212 | 1 126610 18 | 0.767 % | 152.08/152.14 c | 1176087 | 1294 7447 25212 | 1 127246 18 | 0.767 % | 152.08/152.14 c | 1176188 | 1294 7447 25212 | 1 127347 18 | 0.767 % | 152.08/152.14 c | 1176672 | 1294 7447 25212 | 1 127831 19 | 0.767 % | 152.08/152.14 c | 1177009 | 1294 7447 25212 | 1 128168 19 | 0.767 % | 152.08/152.14 c | 1177109 | 1294 7447 25212 | 1 128268 19 | 0.767 % | 152.08/152.14 c | 1177212 | 1294 7447 25212 | 1 128371 19 | 0.767 % | 152.08/152.14 c | 1177312 | 1294 7447 25212 | 1 128471 19 | 0.767 % | 152.08/152.14 c | 1177570 | 1294 7447 25212 | 1 128729 19 | 0.767 % | 152.08/152.14 c | 1178561 | 1294 7447 25212 | 1 129720 19 | 0.767 % | 152.08/152.14 c | 1179229 | 1294 7447 25212 | 1 130388 19 | 0.767 % | 152.08/152.14 c | 1179390 | 1294 7447 25212 | 1 130549 19 | 0.767 % | 152.08/152.14 c | 1179735 | 1294 7447 25212 | 1 130894 19 | 0.767 % | 152.08/152.14 c | 1179926 | 1294 7447 25212 | 1 131085 19 | 0.767 % | 152.08/152.14 c | 1180026 | 1294 7447 25212 | 1 131185 19 | 0.767 % | 152.08/152.14 c | 1180128 | 1294 7447 25212 | 1 131287 19 | 0.767 % | 152.08/152.14 c | 1180229 | 1294 7447 25212 | 1 131388 19 | 0.767 % | 152.08/152.14 c | 1180329 | 1294 7447 25212 | 1 131488 19 | 0.767 % | 152.08/152.14 c | 1180761 | 1294 7447 25212 | 1 131920 19 | 0.767 % | 152.08/152.14 c | 1180861 | 1294 7447 25212 | 1 132020 19 | 0.767 % | 152.08/152.14 c | 1185990 | 1294 7447 25212 | 1 137149 19 | 0.767 % | 152.08/152.14 c | 1186090 | 1294 7447 25212 | 1 137249 19 | 0.767 % | 152.08/152.14 c | 1208851 | 1294 7447 25212 | 1 84142 13 | 0.767 % | 152.08/152.14 c | 1208952 | 1294 7447 25212 | 1 84243 13 | 0.767 % | 152.08/152.14 c | 1209956 | 1294 7447 25212 | 1 85247 13 | 0.767 % | 152.08/152.14 c | 1210056 | 1294 7447 25212 | 1 85347 13 | 0.767 % | 152.08/152.14 c | 1210156 | 1294 7447 25212 | 1 85447 13 | 0.767 % | 152.08/152.14 c | 1210257 | 1294 7447 25212 | 1 85548 13 | 0.767 % | 152.08/152.14 c | 1210625 | 1294 7447 25212 | 1 85916 13 | 0.767 % | 152.08/152.14 c | 1210823 | 1294 7447 25212 | 1 86114 13 | 0.767 % | 152.08/152.14 c | 1211169 | 1294 7447 25212 | 1 86460 13 | 0.767 % | 152.08/152.14 c | 1211269 | 1294 7447 25212 | 1 86560 13 | 0.767 % | 152.08/152.14 c | 1211888 | 1294 7447 25212 | 1 87179 14 | 0.767 % | 152.08/152.14 c | 1212049 | 1294 7447 25212 | 1 87340 14 | 0.767 % | 152.08/152.14 c | 1212480 | 1294 7447 25212 | 1 87771 14 | 0.767 % | 152.08/152.14 c | 1212580 | 1294 7447 25212 | 1 87871 14 | 0.767 % | 152.08/152.14 c | 1212688 | 1294 7447 25212 | 1 87979 14 | 0.767 % | 152.08/152.14 c | 1212788 | 1294 7447 25212 | 1 88079 14 | 0.767 % | 152.08/152.14 c | 1212888 | 1294 7447 25212 | 1 88179 14 | 0.767 % | 152.08/152.14 c | 1213149 | 1294 7447 25212 | 1 88440 14 | 0.767 % | 152.08/152.14 c | 1213249 | 1294 7447 25212 | 1 88540 14 | 0.767 % | 152.08/152.14 c | 1213351 | 1294 7447 25212 | 1 88642 14 | 0.767 % | 152.08/152.14 c | 1213452 | 1294 7447 25212 | 1 88743 14 | 0.767 % | 152.08/152.14 c | 1214573 | 1294 7447 25212 | 1 89864 14 | 0.767 % | 159.08/159.12 c | 1214674 | 1294 7447 25212 | 1 89965 14 | 0.767 % | 159.08/159.12 c | 1214914 | 1294 7447 25212 | 1 90205 15 | 0.767 % | 159.08/159.12 c | 1215031 | 1294 7447 25212 | 1 90322 15 | 0.767 % | 159.08/159.12 c | 1215630 | 1294 7447 25212 | 1 90921 15 | 0.767 % | 159.08/159.12 c | 1215730 | 1294 7447 25212 | 1 91021 15 | 0.767 % | 159.08/159.12 c | 1216894 | 1294 7447 25212 | 1 92185 15 | 0.767 % | 159.08/159.12 c | 1217904 | 1294 7447 25212 | 1 93195 15 | 0.767 % | 159.08/159.12 c | 1218004 | 1294 7447 25212 | 1 93295 15 | 0.767 % | 159.08/159.12 c | 1218105 | 1294 7447 25212 | 1 93396 15 | 0.767 % | 159.08/159.12 c | 1226231 | 1294 7447 25212 | 1 101522 18 | 0.767 % | 159.08/159.12 c | 1226334 | 1294 7447 25212 | 1 101625 18 | 0.767 % | 159.08/159.12 c | 1226435 | 1294 7447 25212 | 1 101726 18 | 0.767 % | 159.08/159.12 c | 1226536 | 1294 7447 25212 | 1 101827 18 | 0.767 % | 159.08/159.12 c | 1226637 | 1294 7447 25212 | 1 101928 18 | 0.767 % | 159.08/159.12 c | 1228738 | 1294 7447 25212 | 1 104029 18 | 0.767 % | 159.08/159.12 c | 1230151 | 1294 7447 25212 | 1 105442 18 | 0.767 % | 159.08/159.12 c | 1230251 | 1294 7447 25212 | 1 105542 18 | 0.767 % | 159.08/159.12 c | 1230352 | 1294 7447 25212 | 1 105643 18 | 0.767 % | 159.08/159.12 c | 1230508 | 1294 7447 25212 | 1 105799 18 | 0.767 % | 159.08/159.12 c | 1231307 | 1294 7447 25212 | 1 106598 18 | 0.767 % | 159.08/159.12 c | 1231465 | 1294 7447 25212 | 1 106756 19 | 0.767 % | 159.08/159.12 c | 1231566 | 1294 7447 25212 | 1 106857 19 | 0.767 % | 159.08/159.12 c | 1231666 | 1294 7447 25212 | 1 106957 19 | 0.767 % | 159.08/159.12 c | 1231767 | 1294 7447 25212 | 1 107058 19 | 0.767 % | 159.08/159.12 c | 1231868 | 1294 7447 25212 | 1 107159 19 | 0.767 % | 159.08/159.12 c | 1232246 | 1294 7447 25212 | 1 107537 19 | 0.767 % | 159.08/159.12 c | 1234624 | 1294 7447 25212 | 1 109915 19 | 0.767 % | 159.08/159.12 c | 1234724 | 1294 7447 25212 | 1 110015 19 | 0.767 % | 159.08/159.12 c | 1234825 | 1294 7447 25212 | 1 110116 19 | 0.767 % | 159.08/159.12 c | 1234974 | 1294 7447 25212 | 1 110265 19 | 0.767 % | 159.08/159.12 c | 1240506 | 1294 7447 25212 | 1 115797 20 | 0.767 % | 159.08/159.12 c | 1244177 | 1294 7447 25212 | 1 119468 20 | 0.767 % | 159.08/159.12 c | 1244277 | 1294 7447 25212 | 1 119568 20 | 0.767 % | 159.08/159.12 c | 1244571 | 1294 7447 25212 | 1 119862 20 | 0.767 % | 159.08/159.12 c | 1244671 | 1294 7447 25212 | 1 119962 20 | 0.767 % | 159.08/159.12 c | 1244885 | 1294 7447 25212 | 1 120176 20 | 0.767 % | 159.08/159.12 c | 1244986 | 1294 7447 25212 | 1 120277 20 | 0.767 % | 159.08/159.12 c | 1245088 | 1294 7447 25212 | 1 120379 20 | 0.767 % | 159.08/159.12 c | 1245188 | 1294 7447 25212 | 1 120479 20 | 0.767 % | 159.08/159.12 c | 1245476 | 1294 7447 25212 | 1 120767 20 | 0.767 % | 159.08/159.12 c | 1245578 | 1294 7447 25212 | 1 120869 20 | 0.767 % | 159.08/159.12 c | 1246215 | 1294 7447 25212 | 1 121506 20 | 0.767 % | 159.08/159.12 c | 1246316 | 1294 7447 25212 | 1 121607 20 | 0.767 % | 159.08/159.12 c | 1246416 | 1294 7447 25212 | 1 121707 20 | 0.767 % | 159.08/159.12 c | 1246516 | 1294 7447 25212 | 1 121807 20 | 0.767 % | 159.08/159.12 c | 1251876 | 1294 7447 25212 | 1 127167 20 | 0.767 % | 159.08/159.12 c | 1251976 | 1294 7447 25212 | 1 127267 20 | 0.767 % | 159.08/159.12 c | 1252078 | 1294 7447 25212 | 1 127369 20 | 0.767 % | 159.08/159.12 c | 1252962 | 1294 7447 25212 | 1 128253 20 | 0.767 % | 159.08/159.12 c | 1253065 | 1294 7447 25212 | 1 128356 20 | 0.767 % | 174.28/174.39 c | 1254700 | 1294 7447 25212 | 1 129991 21 | 0.767 % | 174.28/174.39 c | 1254800 | 1294 7447 25212 | 1 130091 21 | 0.767 % | 174.28/174.39 c | 1254900 | 1294 7447 25212 | 1 130191 21 | 0.767 % | 174.28/174.39 c | 1255053 | 1294 7447 25212 | 1 130344 21 | 0.767 % | 174.28/174.39 c | 1255156 | 1294 7447 25212 | 1 130447 21 | 0.767 % | 174.28/174.39 c | 1285032 | 1294 7447 25212 | 1 82191 13 | 0.767 % | 174.28/174.39 c | 1285134 | 1294 7447 25212 | 1 82293 13 | 0.767 % | 174.28/174.39 c | 1285467 | 1294 7447 25212 | 1 82626 13 | 0.767 % | 174.28/174.39 c | 1285576 | 1294 7447 25212 | 1 82735 13 | 0.767 % | 174.28/174.39 c | 1285679 | 1294 7447 25212 | 1 82838 13 | 0.767 % | 174.28/174.39 c | 1287213 | 1294 7447 25212 | 1 84372 14 | 0.767 % | 174.28/174.39 c | 1300534 | 1294 7447 25212 | 1 97693 15 | 0.767 % | 174.28/174.39 c | 1300634 | 1294 7447 25212 | 1 97793 15 | 0.767 % | 174.28/174.39 c | 1300735 | 1294 7447 25212 | 1 97894 15 | 0.767 % | 174.28/174.39 c | 1300835 | 1294 7447 25212 | 1 97994 15 | 0.767 % | 174.28/174.39 c | 1301539 | 1294 7447 25212 | 1 98698 15 | 0.767 % | 174.28/174.39 c | 1301639 | 1294 7447 25212 | 1 98798 15 | 0.767 % | 174.28/174.39 c | 1301754 | 1294 7447 25212 | 1 98913 15 | 0.767 % | 174.28/174.39 c | 1301854 | 1294 7447 25212 | 1 99013 15 | 0.767 % | 174.28/174.39 c | 1301954 | 1294 7447 25212 | 1 99113 15 | 0.767 % | 174.28/174.39 c | 1302054 | 1294 7447 25212 | 1 99213 15 | 0.767 % | 174.28/174.39 c | 1302197 | 1294 7447 25212 | 1 99356 15 | 0.767 % | 174.28/174.39 c | 1302377 | 1294 7447 25212 | 1 99536 15 | 0.767 % | 174.28/174.39 c | 1302698 | 1294 7447 25212 | 1 99857 15 | 0.767 % | 174.28/174.39 c | 1302898 | 1294 7447 25212 | 1 100057 15 | 0.767 % | 174.28/174.39 c | 1303015 | 1294 7447 25212 | 1 100174 15 | 0.767 % | 174.28/174.39 c | 1303245 | 1294 7447 25212 | 1 100404 15 | 0.767 % | 174.28/174.39 c | 1303346 | 1294 7447 25212 | 1 100505 15 | 0.767 % | 174.28/174.39 c | 1304206 | 1294 7447 25212 | 1 101365 15 | 0.767 % | 174.28/174.39 c | 1304308 | 1294 7447 25212 | 1 101467 15 | 0.767 % | 174.28/174.39 c | 1304519 | 1294 7447 25212 | 1 101678 15 | 0.767 % | 174.28/174.39 c | 1304622 | 1294 7447 25212 | 1 101781 16 | 0.767 % | 174.28/174.39 c | 1304724 | 1294 7447 25212 | 1 101883 16 | 0.767 % | 174.28/174.39 c | 1304826 | 1294 7447 25212 | 1 101985 16 | 0.767 % | 174.28/174.39 c | 1304967 | 1294 7447 25212 | 1 102126 16 | 0.767 % | 174.28/174.39 c | 1309002 | 1294 7447 25212 | 1 106161 16 | 0.767 % | 174.28/174.39 c | 1309203 | 1294 7447 25212 | 1 106362 16 | 0.767 % | 174.28/174.39 c | 1309304 | 1294 7447 25212 | 1 106463 16 | 0.767 % | 174.28/174.39 c | 1311173 | 1294 7447 25212 | 1 108332 17 | 0.767 % | 174.28/174.39 c | 1311635 | 1294 7447 25212 | 1 108794 17 | 0.767 % | 174.28/174.39 c | 1315304 | 1294 7447 25212 | 1 112463 17 | 0.767 % | 174.28/174.39 c | 1315405 | 1294 7447 25212 | 1 112564 17 | 0.767 % | 174.28/174.39 c | 1315542 | 1294 7447 25212 | 1 112701 17 | 0.767 % | 174.28/174.39 c | 1315644 | 1294 7447 25212 | 1 112803 17 | 0.767 % | 174.28/174.39 c | 1316025 | 1294 7447 25212 | 1 113184 17 | 0.767 % | 174.28/174.39 c | 1316126 | 1294 7447 25212 | 1 113285 17 | 0.767 % | 174.28/174.39 c | 1316226 | 1294 7447 25212 | 1 113385 17 | 0.767 % | 174.28/174.39 c | 1330478 | 1294 7447 25212 | 1 127637 17 | 0.767 % | 174.28/174.39 c | 1330689 | 1294 7447 25212 | 1 127848 17 | 0.767 % | 174.28/174.39 c | 1331382 | 1294 7447 25212 | 1 128541 17 | 0.767 % | 189.89/189.99 c | 1331482 | 1294 7447 25212 | 1 128641 17 | 0.767 % | 189.89/189.99 c | 1331789 | 1294 7447 25212 | 1 128948 18 | 0.767 % | 189.89/189.99 c | 1331890 | 1294 7447 25212 | 1 129049 18 | 0.767 % | 189.89/189.99 c | 1331991 | 1294 7447 25212 | 1 129150 18 | 0.767 % | 189.89/189.99 c | 1332334 | 1294 7447 25212 | 1 129493 18 | 0.767 % | 189.89/189.99 c | 1332623 | 1294 7447 25212 | 1 129782 18 | 0.767 % | 189.89/189.99 c | 1332724 | 1294 7447 25212 | 1 129883 18 | 0.767 % | 189.89/189.99 c | 1332824 | 1294 7447 25212 | 1 129983 18 | 0.767 % | 189.89/189.99 c | 1333772 | 1294 7447 25212 | 1 130931 18 | 0.767 % | 189.89/189.99 c | 1335165 | 1294 7447 25212 | 1 132324 18 | 0.767 % | 189.89/189.99 c | 1336304 | 1294 7447 25212 | 1 133463 18 | 0.767 % | 189.89/189.99 c | 1337413 | 1294 7447 25212 | 1 134572 18 | 0.767 % | 189.89/189.99 c | 1337519 | 1294 7447 25212 | 1 134678 18 | 0.767 % | 189.89/189.99 c | 1337620 | 1294 7447 25212 | 1 134779 18 | 0.767 % | 189.89/189.99 c | 1338703 | 1294 7447 25212 | 1 135862 18 | 0.767 % | 189.89/189.99 c | 1338816 | 1294 7447 25212 | 1 135975 18 | 0.767 % | 189.89/189.99 c | 1338917 | 1294 7447 25212 | 1 136076 18 | 0.767 % | 189.89/189.99 c | 1384721 | 1294 7447 25212 | 1 101307 14 | 0.767 % | 189.89/189.99 c | 1384936 | 1294 7447 25212 | 1 101522 14 | 0.767 % | 189.89/189.99 c | 1385036 | 1294 7447 25212 | 1 101622 14 | 0.767 % | 189.89/189.99 c | 1387156 | 1294 7447 25212 | 1 103742 14 | 0.767 % | 189.89/189.99 c | 1387256 | 1294 7447 25212 | 1 103842 14 | 0.767 % | 189.89/189.99 c | 1389044 | 1294 7447 25212 | 1 105630 15 | 0.767 % | 189.89/189.99 c | 1389145 | 1294 7447 25212 | 1 105731 15 | 0.767 % | 189.89/189.99 c | 1389245 | 1294 7447 25212 | 1 105831 15 | 0.767 % | 189.89/189.99 c | 1389980 | 1294 7447 25212 | 1 106566 15 | 0.767 % | 189.89/189.99 c | 1390089 | 1294 7447 25212 | 1 106675 15 | 0.767 % | 189.89/189.99 c | 1390190 | 1294 7447 25212 | 1 106776 15 | 0.767 % | 189.89/189.99 c | 1390346 | 1294 7447 25212 | 1 106932 15 | 0.767 % | 189.89/189.99 c | 1394375 | 1294 7447 25212 | 1 110961 16 | 0.767 % | 189.89/189.99 c | 1394476 | 1294 7447 25212 | 1 111062 16 | 0.767 % | 189.89/189.99 c | 1394576 | 1294 7447 25212 | 1 111162 16 | 0.767 % | 189.89/189.99 c | 1394676 | 1294 7447 25212 | 1 111262 16 | 0.767 % | 189.89/189.99 c | 1395684 | 1294 7447 25212 | 1 112270 16 | 0.767 % | 189.89/189.99 c | 1395784 | 1294 7447 25212 | 1 112370 16 | 0.767 % | 189.89/189.99 c | 1397617 | 1294 7447 25212 | 1 114203 16 | 0.767 % | 189.89/189.99 c | 1397719 | 1294 7447 25212 | 1 114305 16 | 0.767 % | 189.89/189.99 c | 1397903 | 1294 7447 25212 | 1 114489 16 | 0.767 % | 189.89/189.99 c | 1398003 | 1294 7447 25212 | 1 114589 16 | 0.767 % | 189.89/189.99 c | 1398104 | 1294 7447 25212 | 1 114690 17 | 0.767 % | 189.89/189.99 c | 1400005 | 1294 7447 25212 | 1 116591 17 | 0.767 % | 189.89/189.99 c | 1400107 | 1294 7447 25212 | 1 116693 17 | 0.767 % | 189.89/189.99 c | 1400207 | 1294 7447 25212 | 1 116793 17 | 0.767 % | 189.89/189.99 c | 1400577 | 1294 7447 25212 | 1 117163 17 | 0.767 % | 189.89/189.99 c | 1401102 | 1294 7447 25212 | 1 117688 17 | 0.767 % | 189.89/189.99 c | 1404144 | 1294 7447 25212 | 1 120730 18 | 0.767 % | 189.89/189.99 c | 1404246 | 1294 7447 25212 | 1 120832 18 | 0.767 % | 189.89/189.99 c | 1409241 | 1294 7447 25212 | 1 125827 18 | 0.767 % | 189.89/189.99 c | 1409341 | 1294 7447 25212 | 1 125927 18 | 0.767 % | 189.89/189.99 c | 1411471 | 1294 7447 25212 | 1 128057 18 | 0.767 % | 200.49/200.56 c | 1411572 | 1294 7447 25212 | 1 128158 18 | 0.767 % | 200.49/200.56 c | 1411675 | 1294 7447 25212 | 1 128261 18 | 0.767 % | 200.49/200.56 c | 1411775 | 1294 7447 25212 | 1 128361 18 | 0.767 % | 200.49/200.56 c | 1411878 | 1294 7447 25212 | 1 128464 18 | 0.767 % | 200.49/200.56 c | 1412075 | 1294 7447 25212 | 1 128661 19 | 0.767 % | 200.49/200.56 c | 1412176 | 1294 7447 25212 | 1 128762 19 | 0.767 % | 200.49/200.56 c | 1412276 | 1294 7447 25212 | 1 128862 19 | 0.767 % | 200.49/200.56 c | 1412376 | 1294 7447 25212 | 1 128962 19 | 0.767 % | 200.49/200.56 c | 1413496 | 1294 7447 25212 | 1 130082 19 | 0.767 % | 200.49/200.56 c | 1413599 | 1294 7447 25212 | 1 130185 19 | 0.767 % | 200.49/200.56 c | 1413702 | 1294 7447 25212 | 1 130288 19 | 0.767 % | 200.49/200.56 c | 1413802 | 1294 7447 25212 | 1 130388 19 | 0.767 % | 200.49/200.56 c | 1429480 | 1293 7445 25206 | 1 137099 19 | 0.844 % | 200.49/200.56 c | 1429770 | 1293 7445 25206 | 1 137389 19 | 0.844 % | 200.49/200.56 c | 1429871 | 1293 7445 25206 | 1 137490 19 | 0.844 % | 200.49/200.56 c | 1429971 | 1293 7445 25206 | 1 137590 20 | 0.844 % | 200.49/200.56 c | 1430073 | 1293 7445 25206 | 1 137692 20 | 0.844 % | 200.49/200.56 c | 1430368 | 1293 7445 25206 | 1 137987 20 | 0.844 % | 200.49/200.56 c | 1430468 | 1293 7445 25206 | 1 138087 20 | 0.844 % | 200.49/200.56 c | 1430568 | 1293 7445 25206 | 1 138187 20 | 0.844 % | 200.49/200.56 c | 1430669 | 1293 7445 25206 | 1 138288 20 | 0.844 % | 200.49/200.56 c | 1430967 | 1293 7445 25206 | 1 138586 20 | 0.844 % | 200.49/200.56 c | 1431067 | 1293 7445 25206 | 1 138686 20 | 0.844 % | 200.49/200.56 c | 1431241 | 1293 7445 25206 | 1 138860 20 | 0.844 % | 200.49/200.56 c | 1432167 | 1293 7445 25206 | 1 139786 20 | 0.844 % | 200.49/200.56 c | 1432267 | 1293 7445 25206 | 1 139886 20 | 0.844 % | 200.49/200.56 c | 1432568 | 1293 7445 25206 | 1 140187 20 | 0.844 % | 200.49/200.56 c | 1433867 | 1293 7445 25206 | 1 141486 20 | 0.844 % | 200.49/200.56 c | 1435129 | 1293 7445 25206 | 1 142748 20 | 0.844 % | 200.49/200.56 c | 1435257 | 1293 7445 25206 | 1 142876 20 | 0.844 % | 200.49/200.56 c | 1435358 | 1293 7445 25206 | 1 142977 20 | 0.844 % | 200.49/200.56 c | 1435460 | 1293 7445 25206 | 1 143079 20 | 0.844 % | 200.49/200.56 c | 1441034 | 1293 7445 25206 | 1 148653 21 | 0.844 % | 200.49/200.56 c | 1441134 | 1293 7445 25206 | 1 148753 21 | 0.844 % | 200.49/200.56 c | 1441234 | 1293 7445 25206 | 1 148853 21 | 0.844 % | 200.49/200.56 c | 1441334 | 1293 7445 25206 | 1 148953 21 | 0.844 % | 200.49/200.56 c | 1441434 | 1293 7445 25206 | 1 149053 21 | 0.844 % | 200.49/200.56 c | 1441534 | 1293 7445 25206 | 1 149153 21 | 0.844 % | 200.49/200.56 c | 1442030 | 1293 7445 25206 | 1 149649 21 | 0.844 % | 200.49/200.56 c | 1442130 | 1293 7445 25206 | 1 149749 21 | 0.844 % | 200.49/200.56 c | 1442231 | 1293 7445 25206 | 1 149850 22 | 0.844 % | 200.49/200.56 c | 1442533 | 1293 7445 25206 | 1 150152 22 | 0.844 % | 200.49/200.56 c | 1442905 | 1293 7445 25206 | 1 150524 22 | 0.844 % | 200.49/200.56 c | 1443008 | 1293 7445 25206 | 1 150627 22 | 0.844 % | 200.49/200.56 c | 1443370 | 1293 7445 25206 | 1 150989 22 | 0.844 % | 200.49/200.56 c | 1444262 | 1293 7445 25206 | 1 151881 22 | 0.844 % | 200.49/200.56 c | 1444362 | 1293 7445 25206 | 1 151981 22 | 0.844 % | 200.49/200.56 c | 1447228 | 1293 7445 25206 | 1 154847 22 | 0.844 % | 200.49/200.56 c | 1447330 | 1293 7445 25206 | 1 154949 22 | 0.844 % | 200.49/200.56 c | 1453165 | 1293 7445 25206 | 1 82181 14 | 0.844 % | 211.79/211.81 c | 1453303 | 1293 7445 25206 | 1 82319 14 | 0.844 % | 211.79/211.81 c | 1453562 | 1293 7445 25206 | 1 82578 14 | 0.844 % | 211.79/211.81 c | 1453675 | 1293 7445 25206 | 1 82691 14 | 0.844 % | 211.79/211.81 c | 1453777 | 1293 7445 25206 | 1 82793 14 | 0.844 % | 211.79/211.81 c | 1453893 | 1293 7445 25206 | 1 82909 14 | 0.844 % | 211.79/211.81 c | 1453994 | 1293 7445 25206 | 1 83010 14 | 0.844 % | 211.79/211.81 c | 1454141 | 1293 7445 25206 | 1 83157 14 | 0.844 % | 211.79/211.81 c | 1456664 | 1293 7445 25206 | 1 85680 14 | 0.844 % | 211.79/211.81 c | 1473285 | 1293 7445 25206 | 1 102301 19 | 0.844 % | 211.79/211.81 c | 1473636 | 1293 7445 25206 | 1 102652 20 | 0.844 % | 211.79/211.81 c | 1473740 | 1293 7445 25206 | 1 102756 20 | 0.844 % | 211.79/211.81 c | 1474008 | 1293 7445 25206 | 1 103024 20 | 0.844 % | 211.79/211.81 c | 1474112 | 1293 7445 25206 | 1 103128 20 | 0.844 % | 211.79/211.81 c | 1474212 | 1293 7445 25206 | 1 103228 20 | 0.844 % | 211.79/211.81 c | 1474312 | 1293 7445 25206 | 1 103328 20 | 0.844 % | 211.79/211.81 c | 1474610 | 1293 7445 25206 | 1 103626 20 | 0.844 % | 211.79/211.81 c | 1474710 | 1293 7445 25206 | 1 103726 20 | 0.844 % | 211.79/211.81 c | 1474813 | 1293 7445 25206 | 1 103829 20 | 0.844 % | 211.79/211.81 c | 1474914 | 1293 7445 25206 | 1 103930 20 | 0.844 % | 211.79/211.81 c | 1475082 | 1293 7445 25206 | 1 104098 20 | 0.844 % | 211.79/211.81 c | 1475197 | 1293 7445 25206 | 1 104213 20 | 0.844 % | 211.79/211.81 c | 1475297 | 1293 7445 25206 | 1 104313 20 | 0.844 % | 211.79/211.81 c | 1480424 | 1293 7445 25206 | 1 109440 20 | 0.844 % | 211.79/211.81 c | 1480524 | 1293 7445 25206 | 1 109540 20 | 0.844 % | 211.79/211.81 c | 1485610 | 1293 7445 25206 | 1 114626 20 | 0.844 % | 211.79/211.81 c | 1486390 | 1293 7445 25206 | 1 115406 20 | 0.844 % | 211.79/211.81 c | 1487672 | 1293 7445 25206 | 1 116688 21 | 0.844 % | 211.79/211.81 c | 1487772 | 1293 7445 25206 | 1 116788 21 | 0.844 % | 211.79/211.81 c | 1488516 | 1293 7445 25206 | 1 117532 21 | 0.844 % | 211.79/211.81 c | 1488616 | 1293 7445 25206 | 1 117632 21 | 0.844 % | 211.79/211.81 c | 1488718 | 1293 7445 25206 | 1 117734 21 | 0.844 % | 211.79/211.81 c | 1489160 | 1293 7445 25206 | 1 118176 21 | 0.844 % | 211.79/211.81 c | 1510945 | 1293 7445 25206 | 1 139961 20 | 0.844 % | 211.79/211.81 c | 1511046 | 1293 7445 25206 | 1 140062 20 | 0.844 % | 211.79/211.81 c | 1511229 | 1293 7445 25206 | 1 140245 20 | 0.844 % | 211.79/211.81 c | 1511331 | 1293 7445 25206 | 1 140347 20 | 0.844 % | 211.79/211.81 c | 1511516 | 1293 7445 25206 | 1 140532 20 | 0.844 % | 211.79/211.81 c | 1511616 | 1293 7445 25206 | 1 140632 21 | 0.844 % | 211.79/211.81 c | 1512930 | 1293 7445 25206 | 1 141946 21 | 0.844 % | 211.79/211.81 c | 1513030 | 1293 7445 25206 | 1 142046 21 | 0.844 % | 211.79/211.81 c | 1513131 | 1293 7445 25206 | 1 142147 21 | 0.844 % | 211.79/211.81 c | 1513231 | 1293 7445 25206 | 1 142247 21 | 0.844 % | 211.79/211.81 c | 1513331 | 1293 7445 25206 | 1 142347 21 | 0.844 % | 211.79/211.81 c | 1513454 | 1293 7445 25206 | 1 142470 21 | 0.844 % | 211.79/211.81 c | 1513555 | 1293 7445 25206 | 1 142571 21 | 0.844 % | 211.79/211.81 c | 1513657 | 1293 7445 25206 | 1 142673 21 | 0.844 % | 211.79/211.81 c | 1513758 | 1293 7445 25206 | 1 142774 21 | 0.844 % | 211.79/211.81 c | 1514449 | 1293 7445 25206 | 1 143465 21 | 0.844 % | 211.79/211.81 c | 1514549 | 1293 7445 25206 | 1 143565 21 | 0.844 % | 211.79/211.81 c | 1515838 | 1293 7445 25206 | 1 144854 21 | 0.844 % | 217.59/217.67 c | 1515938 | 1293 7445 25206 | 1 144954 21 | 0.844 % | 217.59/217.67 c | 1516038 | 1293 7445 25206 | 1 145054 21 | 0.844 % | 217.59/217.67 c | 1516292 | 1293 7445 25206 | 1 145308 21 | 0.844 % | 217.59/217.67 c | 1516392 | 1293 7445 25206 | 1 145408 21 | 0.844 % | 217.59/217.67 c | 1516492 | 1293 7445 25206 | 1 145508 21 | 0.844 % | 217.59/217.67 c | 1516592 | 1293 7445 25206 | 1 145608 21 | 0.844 % | 217.59/217.67 c | 1517014 | 1293 7445 25206 | 1 146030 21 | 0.844 % | 217.59/217.67 c | 1517114 | 1293 7445 25206 | 1 146130 21 | 0.844 % | 217.59/217.67 c | 1518898 | 1293 7445 25206 | 1 147914 22 | 0.844 % | 217.59/217.67 c | 1519703 | 1293 7445 25206 | 1 148719 22 | 0.844 % | 217.59/217.67 c | 1520148 | 1293 7445 25206 | 1 149164 22 | 0.844 % | 217.59/217.67 c | 1522383 | 1293 7445 25206 | 1 151399 22 | 0.844 % | 217.59/217.67 c | 1522486 | 1293 7445 25206 | 1 151502 22 | 0.844 % | 217.59/217.67 c | 1522586 | 1293 7445 25206 | 1 151602 22 | 0.844 % | 217.59/217.67 c | 1522882 | 1293 7445 25206 | 1 151898 22 | 0.844 % | 217.59/217.67 c | 1523559 | 1293 7445 25206 | 1 152575 22 | 0.844 % | 217.59/217.67 c | 1523661 | 1293 7445 25206 | 1 152677 22 | 0.844 % | 217.59/217.67 c | 1527643 | 1293 7445 25206 | 1 156659 22 | 0.844 % | 217.59/217.67 c | 1527744 | 1293 7445 25206 | 1 156760 22 | 0.844 % | 217.59/217.67 c | 1527986 | 1293 7445 25206 | 1 157002 22 | 0.844 % | 217.59/217.67 c | 1528087 | 1293 7445 25206 | 1 157103 22 | 0.844 % | 217.59/217.67 c | 1529086 | 1293 7445 25206 | 1 158102 23 | 0.844 % | 217.59/217.67 c | 1529358 | 1293 7445 25206 | 1 158374 23 | 0.844 % | 217.59/217.67 c | 1529461 | 1293 7445 25206 | 1 158477 23 | 0.844 % | 217.59/217.67 c | 1533840 | 1293 7445 25206 | 1 162856 23 | 0.844 % | 217.59/217.67 c | 1533942 | 1293 7445 25206 | 1 162958 23 | 0.844 % | 217.59/217.67 c | 1534042 | 1293 7445 25206 | 1 163058 23 | 0.844 % | 217.59/217.67 c | 1534144 | 1293 7445 25206 | 1 163160 23 | 0.844 % | 217.59/217.67 c | 1534334 | 1293 7445 25206 | 1 163350 23 | 0.844 % | 217.59/217.67 c | 1534434 | 1293 7445 25206 | 1 163450 23 | 0.844 % | 217.59/217.67 c | 1534683 | 1293 7445 25206 | 1 163699 24 | 0.844 % | 217.59/217.67 c | 1534785 | 1293 7445 25206 | 1 163801 24 | 0.844 % | 217.59/217.67 c | 1534885 | 1293 7445 25206 | 1 163901 24 | 0.844 % | 217.59/217.67 c | 1535245 | 1293 7445 25206 | 1 164261 24 | 0.844 % | 217.59/217.67 c | 1535674 | 1293 7445 25206 | 1 164690 24 | 0.844 % | 217.59/217.67 c | 1535920 | 1293 7445 25206 | 1 164936 24 | 0.844 % | 217.59/217.67 c | 1536021 | 1293 7445 25206 | 1 165037 24 | 0.844 % | 217.59/217.67 c | 1537976 | 1293 7445 25206 | 1 83592 13 | 0.844 % | 217.59/217.67 c | 1538077 | 1293 7445 25206 | 1 83693 13 | 0.844 % | 217.59/217.67 c | 1538294 | 1293 7445 25206 | 1 83910 13 | 0.844 % | 217.59/217.67 c | 1538396 | 1293 7445 25206 | 1 84012 13 | 0.844 % | 217.59/217.67 c | 1538556 | 1293 7445 25206 | 1 84172 14 | 0.844 % | 217.59/217.67 c | 1538657 | 1293 7445 25206 | 1 84273 14 | 0.844 % | 217.59/217.67 c | 1538759 | 1293 7445 25206 | 1 84375 14 | 0.844 % | 217.59/217.67 c | 1539127 | 1293 7445 25206 | 1 84743 14 | 0.844 % | 217.59/217.67 c | 1539227 | 1293 7445 25206 | 1 84843 14 | 0.844 % | 217.59/217.67 c | 1539412 | 1293 7445 25206 | 1 85028 14 | 0.844 % | 217.59/217.67 c | 1539513 | 1293 7445 25206 | 1 85129 14 | 0.844 % | 217.59/217.67 c | 1539613 | 1293 7445 25206 | 1 85229 14 | 0.844 % | 217.59/217.67 c | 1539716 | 1293 7445 25206 | 1 85332 14 | 0.844 % | 236.39/236.47 c | 1592915 | 1293 7445 25206 | 1 138531 16 | 0.844 % | 236.39/236.47 c | 1593015 | 1293 7445 25206 | 1 138631 16 | 0.844 % | 236.39/236.47 c | 1594499 | 1293 7445 25206 | 1 140115 16 | 0.844 % | 236.39/236.47 c | 1594600 | 1293 7445 25206 | 1 140216 16 | 0.844 % | 236.39/236.47 c | 1595380 | 1293 7445 25206 | 1 140996 16 | 0.844 % | 236.39/236.47 c | 1595481 | 1293 7445 25206 | 1 141097 16 | 0.844 % | 236.39/236.47 c | 1595583 | 1293 7445 25206 | 1 141199 16 | 0.844 % | 236.39/236.47 c | 1595688 | 1293 7445 25206 | 1 141304 16 | 0.844 % | 236.39/236.47 c | 1596370 | 1293 7445 25206 | 1 141986 16 | 0.844 % | 236.39/236.47 c | 1596471 | 1293 7445 25206 | 1 142087 16 | 0.844 % | 236.39/236.47 c | 1596664 | 1293 7445 25206 | 1 142280 16 | 0.844 % | 236.39/236.47 c | 1596764 | 1293 7445 25206 | 1 142380 16 | 0.844 % | 236.39/236.47 c | 1598240 | 1293 7445 25206 | 1 143856 16 | 0.844 % | 236.39/236.47 c | 1598653 | 1293 7445 25206 | 1 144269 17 | 0.844 % | 236.39/236.47 c | 1598758 | 1293 7445 25206 | 1 144374 17 | 0.844 % | 236.39/236.47 c | 1598859 | 1293 7445 25206 | 1 144475 17 | 0.844 % | 236.39/236.47 c | 1598963 | 1293 7445 25206 | 1 144579 17 | 0.844 % | 236.39/236.47 c | 1599066 | 1293 7445 25206 | 1 144682 17 | 0.844 % | 236.39/236.47 c | 1599757 | 1293 7445 25206 | 1 145373 17 | 0.844 % | 236.39/236.47 c | 1608837 | 1293 7445 25206 | 1 154453 17 | 0.844 % | 236.39/236.47 c | 1608982 | 1293 7445 25206 | 1 154598 17 | 0.844 % | 236.39/236.47 c | 1609084 | 1293 7445 25206 | 1 154700 17 | 0.844 % | 236.39/236.47 c | 1609409 | 1293 7445 25206 | 1 155025 17 | 0.844 % | 236.39/236.47 c | 1609509 | 1293 7445 25206 | 1 155125 17 | 0.844 % | 236.39/236.47 c | 1609614 | 1293 7445 25206 | 1 155230 17 | 0.844 % | 236.39/236.47 c | 1609715 | 1293 7445 25206 | 1 155331 17 | 0.844 % | 236.39/236.47 c | 1609818 | 1293 7445 25206 | 1 155434 17 | 0.844 % | 236.39/236.47 c | 1609919 | 1293 7445 25206 | 1 155535 17 | 0.844 % | 236.39/236.47 c | 1610936 | 1293 7445 25206 | 1 156552 17 | 0.844 % | 236.39/236.47 c | 1611071 | 1293 7445 25206 | 1 156687 17 | 0.844 % | 236.39/236.47 c | 1611398 | 1293 7445 25206 | 1 157014 17 | 0.844 % | 236.39/236.47 c | 1612294 | 1293 7445 25206 | 1 157910 17 | 0.844 % | 236.39/236.47 c | 1613818 | 1293 7445 25206 | 1 159434 17 | 0.844 % | 236.39/236.47 c | 1613918 | 1293 7445 25206 | 1 159534 17 | 0.844 % | 236.39/236.47 c | 1614109 | 1293 7445 25206 | 1 159725 18 | 0.844 % | 236.39/236.47 c | 1614212 | 1293 7445 25206 | 1 159828 18 | 0.844 % | 236.39/236.47 c | 1614313 | 1293 7445 25206 | 1 159929 18 | 0.844 % | 236.39/236.47 c | 1614413 | 1293 7445 25206 | 1 160029 18 | 0.844 % | 236.39/236.47 c | 1614514 | 1293 7445 25206 | 1 160130 18 | 0.844 % | 236.39/236.47 c | 1614616 | 1293 7445 25206 | 1 160232 18 | 0.844 % | 236.39/236.47 c | 1614716 | 1293 7445 25206 | 1 160332 18 | 0.844 % | 236.39/236.47 c | 1624060 | 1293 7445 25206 | 1 169676 18 | 0.844 % | 236.39/236.47 c | 1624211 | 1293 7445 25206 | 1 169827 18 | 0.844 % | 236.39/236.47 c | 1624314 | 1293 7445 25206 | 1 169930 18 | 0.844 % | 236.39/236.47 c | 1624527 | 1293 7445 25206 | 1 170143 18 | 0.844 % | 236.39/236.47 c | 1625457 | 1293 7445 25206 | 1 171073 18 | 0.844 % | 236.39/236.47 c | 1625559 | 1293 7445 25206 | 1 171175 18 | 0.844 % | 236.39/236.47 c | 1625731 | 1293 7445 25206 | 1 171347 19 | 0.844 % | 236.39/236.47 c | 1626007 | 1293 7445 25206 | 1 171623 19 | 0.844 % | 236.39/236.47 c | 1626108 | 1293 7445 25206 | 1 171724 19 | 0.844 % | 256.59/256.61 c | 1627001 | 1293 7445 25206 | 1 172617 19 | 0.844 % | 256.59/256.61 c | 1627101 | 1293 7445 25206 | 1 172717 19 | 0.844 % | 256.59/256.61 c | 1627202 | 1293 7445 25206 | 1 172818 19 | 0.844 % | 256.59/256.61 c | 1627302 | 1293 7445 25206 | 1 172918 19 | 0.844 % | 256.59/256.61 c | 1627404 | 1293 7445 25206 | 1 173020 19 | 0.844 % | 256.59/256.61 c | 1627625 | 1293 7445 25206 | 1 173241 19 | 0.844 % | 256.59/256.61 c | 1651120 | 1293 7445 25206 | 1 109634 14 | 0.844 % | 256.59/256.61 c | 1667099 | 1293 7445 25206 | 1 125613 15 | 0.844 % | 256.59/256.61 c | 1667199 | 1293 7445 25206 | 1 125713 15 | 0.844 % | 256.59/256.61 c | 1667314 | 1293 7445 25206 | 1 125828 15 | 0.844 % | 256.59/256.61 c | 1667415 | 1293 7445 25206 | 1 125929 15 | 0.844 % | 256.59/256.61 c | 1668877 | 1293 7445 25206 | 1 127391 16 | 0.844 % | 256.59/256.61 c | 1669186 | 1293 7445 25206 | 1 127700 16 | 0.844 % | 256.59/256.61 c | 1669314 | 1293 7445 25206 | 1 127828 16 | 0.844 % | 256.59/256.61 c | 1669415 | 1293 7445 25206 | 1 127929 16 | 0.844 % | 256.59/256.61 c | 1669515 | 1293 7445 25206 | 1 128029 16 | 0.844 % | 256.59/256.61 c | 1669615 | 1293 7445 25206 | 1 128129 16 | 0.844 % | 256.59/256.61 c | 1671819 | 1293 7445 25206 | 1 130333 16 | 0.844 % | 256.59/256.61 c | 1671919 | 1293 7445 25206 | 1 130433 17 | 0.844 % | 256.59/256.61 c | 1672019 | 1293 7445 25206 | 1 130533 17 | 0.844 % | 256.59/256.61 c | 1672119 | 1293 7445 25206 | 1 130633 17 | 0.844 % | 256.59/256.61 c | 1675263 | 1293 7445 25206 | 1 133777 17 | 0.844 % | 256.59/256.61 c | 1677786 | 1293 7445 25206 | 1 136300 18 | 0.844 % | 256.59/256.61 c | 1677887 | 1293 7445 25206 | 1 136401 18 | 0.844 % | 256.59/256.61 c | 1678597 | 1293 7445 25206 | 1 137111 18 | 0.844 % | 256.59/256.61 c | 1679298 | 1293 7445 25206 | 1 137812 18 | 0.844 % | 256.59/256.61 c | 1679716 | 1293 7445 25206 | 1 138230 18 | 0.844 % | 256.59/256.61 c | 1690329 | 1293 7445 25206 | 1 148843 20 | 0.844 % | 256.59/256.61 c | 1690626 | 1293 7445 25206 | 1 149140 20 | 0.844 % | 256.59/256.61 c | 1690727 | 1293 7445 25206 | 1 149241 20 | 0.844 % | 256.59/256.61 c | 1697062 | 1293 7445 25206 | 1 155576 20 | 0.844 % | 256.59/256.61 c | 1697162 | 1293 7445 25206 | 1 155676 20 | 0.844 % | 256.59/256.61 c | 1697262 | 1293 7445 25206 | 1 155776 20 | 0.844 % | 256.59/256.61 c | 1697362 | 1293 7445 25206 | 1 155876 20 | 0.844 % | 256.59/256.61 c | 1697464 | 1293 7445 25206 | 1 155978 20 | 0.844 % | 256.59/256.61 c | 1697615 | 1293 7445 25206 | 1 156129 20 | 0.844 % | 256.59/256.61 c | 1715725 | 1293 7445 25206 | 1 174239 22 | 0.844 % | 256.59/256.61 c | 1715826 | 1293 7445 25206 | 1 174340 22 | 0.844 % | 256.59/256.61 c | 1717100 | 1293 7445 25206 | 1 175614 22 | 0.844 % | 256.59/256.61 c | 1717201 | 1293 7445 25206 | 1 175715 22 | 0.844 % | 256.59/256.61 c | 1717302 | 1293 7445 25206 | 1 175816 22 | 0.844 % | 256.59/256.61 c | 1717404 | 1293 7445 25206 | 1 175918 22 | 0.844 % | 256.59/256.61 c | 1718064 | 1293 7445 25206 | 1 176578 22 | 0.844 % | 256.59/256.61 c | 1721600 | 1293 7445 25206 | 1 180114 22 | 0.844 % | 256.59/256.61 c | 1721700 | 1293 7445 25206 | 1 180214 22 | 0.844 % | 256.59/256.61 c | 1721802 | 1293 7445 25206 | 1 180316 22 | 0.844 % | 256.59/256.61 c | 1722254 | 1293 7445 25206 | 1 90515 14 | 0.844 % | 256.59/256.61 c | 1722354 | 1293 7445 25206 | 1 90615 14 | 0.844 % | 256.59/256.61 c | 1723357 | 1293 7445 25206 | 1 91618 14 | 0.844 % | 256.59/256.61 c | 1723457 | 1293 7445 25206 | 1 91718 14 | 0.844 % | 261.60/261.60 c | 1723564 | 1293 7445 25206 | 1 91825 14 | 0.844 % | 261.60/261.60 c | 1724257 | 1293 7445 25206 | 1 92518 14 | 0.844 % | 261.60/261.60 c | 1724526 | 1293 7445 25206 | 1 92787 14 | 0.844 % | 261.60/261.60 c | 1726607 | 1293 7445 25206 | 1 94868 15 | 0.844 % | 261.60/261.60 c | 1726708 | 1293 7445 25206 | 1 94969 15 | 0.844 % | 261.60/261.60 c | 1726809 | 1293 7445 25206 | 1 95070 15 | 0.844 % | 261.60/261.60 c | 1726910 | 1293 7445 25206 | 1 95171 15 | 0.844 % | 261.60/261.60 c | 1727010 | 1293 7445 25206 | 1 95271 15 | 0.844 % | 261.60/261.60 c | 1727110 | 1293 7445 25206 | 1 95371 15 | 0.844 % | 261.60/261.60 c | 1727212 | 1293 7445 25206 | 1 95473 15 | 0.844 % | 261.60/261.60 c | 1727360 | 1293 7445 25206 | 1 95621 15 | 0.844 % | 261.60/261.60 c | 1727975 | 1293 7445 25206 | 1 96236 15 | 0.844 % | 261.60/261.60 c | 1728076 | 1293 7445 25206 | 1 96337 15 | 0.844 % | 261.60/261.60 c | 1728566 | 1293 7445 25206 | 1 96827 15 | 0.844 % | 261.60/261.60 c | 1728666 | 1293 7445 25206 | 1 96927 15 | 0.844 % | 261.60/261.60 c | 1729358 | 1293 7445 25206 | 1 97619 16 | 0.844 % | 261.60/261.60 c | 1729799 | 1293 7445 25206 | 1 98060 16 | 0.844 % | 261.60/261.60 c | 1729900 | 1293 7445 25206 | 1 98161 16 | 0.844 % | 261.60/261.60 c | 1730002 | 1293 7445 25206 | 1 98263 16 | 0.844 % | 261.60/261.60 c | 1731162 | 1293 7445 25206 | 1 99423 16 | 0.844 % | 261.60/261.60 c | 1731428 | 1293 7445 25206 | 1 99689 16 | 0.844 % | 261.60/261.60 c | 1731529 | 1293 7445 25206 | 1 99790 16 | 0.844 % | 261.60/261.60 c | 1731757 | 1293 7445 25206 | 1 100018 16 | 0.844 % | 261.60/261.60 c | 1732045 | 1293 7445 25206 | 1 100306 16 | 0.844 % | 261.60/261.60 c | 1733978 | 1293 7445 25206 | 1 102239 17 | 0.844 % | 261.60/261.60 c | 1734082 | 1293 7445 25206 | 1 102343 17 | 0.844 % | 261.60/261.60 c | 1737577 | 1293 7445 25206 | 1 105838 17 | 0.844 % | 261.60/261.60 c | 1737681 | 1293 7445 25206 | 1 105942 18 | 0.844 % | 261.60/261.60 c | 1737782 | 1293 7445 25206 | 1 106043 18 | 0.844 % | 261.60/261.60 c | 1738534 | 1293 7445 25206 | 1 106795 18 | 0.844 % | 261.60/261.60 c | 1738634 | 1293 7445 25206 | 1 106895 18 | 0.844 % | 261.60/261.60 c | 1738735 | 1293 7445 25206 | 1 106996 18 | 0.844 % | 261.60/261.60 c | 1739557 | 1293 7445 25206 | 1 107818 18 | 0.844 % | 261.60/261.60 c | 1748142 | 1293 7445 25206 | 1 116403 18 | 0.844 % | 261.60/261.60 c | 1748252 | 1293 7445 25206 | 1 116513 18 | 0.844 % | 261.60/261.60 c | 1749667 | 1293 7445 25206 | 1 117928 18 | 0.844 % | 261.60/261.60 c | 1749767 | 1293 7445 25206 | 1 118028 18 | 0.844 % | 261.60/261.60 c | 1749867 | 1293 7445 25206 | 1 118128 18 | 0.844 % | 261.60/261.60 c | 1751261 | 1293 7445 25206 | 1 119522 18 | 0.844 % | 261.60/261.60 c | 1751363 | 1293 7445 25206 | 1 119624 18 | 0.844 % | 261.60/261.60 c | 1751566 | 1293 7445 25206 | 1 119827 19 | 0.844 % | 261.60/261.60 c | 1751667 | 1293 7445 25206 | 1 119928 19 | 0.844 % | 261.60/261.60 c | 1751917 | 1293 7445 25206 | 1 120178 19 | 0.844 % | 261.60/261.60 c | 1752017 | 1293 7445 25206 | 1 120278 19 | 0.844 % | 261.60/261.60 c | 1752117 | 1293 7445 25206 | 1 120378 19 | 0.844 % | 261.60/261.60 c | 1752219 | 1293 7445 25206 | 1 120480 19 | 0.844 % | 261.60/261.60 c | 1752359 | 1293 7445 25206 | 1 120620 19 | 0.844 % | 261.60/261.60 c | 1752462 | 1293 7445 25206 | 1 120723 19 | 0.844 % | 261.60/261.60 c | 1752562 | 1293 7445 25206 | 1 120823 19 | 0.844 % | 261.60/261.60 c | 1753164 | 1293 7445 25206 | 1 121425 19 | 0.844 % | 271.80/271.89 c | 1753264 | 1293 7445 25206 | 1 121525 19 | 0.844 % | 271.80/271.89 c | 1754071 | 1293 7445 25206 | 1 122332 19 | 0.844 % | 271.80/271.89 c | 1754171 | 1293 7445 25206 | 1 122432 19 | 0.844 % | 271.80/271.89 c | 1754272 | 1293 7445 25206 | 1 122533 19 | 0.844 % | 271.80/271.89 c | 1754372 | 1293 7445 25206 | 1 122633 19 | 0.844 % | 271.80/271.89 c | 1754473 | 1293 7445 25206 | 1 122734 19 | 0.844 % | 271.80/271.89 c | 1758754 | 1293 7445 25206 | 1 127015 20 | 0.844 % | 271.80/271.89 c | 1761000 | 1293 7445 25206 | 1 129261 20 | 0.844 % | 271.80/271.89 c | 1761101 | 1293 7445 25206 | 1 129362 20 | 0.844 % | 271.80/271.89 c | 1761204 | 1293 7445 25206 | 1 129465 20 | 0.844 % | 271.80/271.89 c | 1763186 | 1293 7445 25206 | 1 131447 20 | 0.844 % | 271.80/271.89 c | 1763286 | 1293 7445 25206 | 1 131547 20 | 0.844 % | 271.80/271.89 c | 1765537 | 1293 7445 25206 | 1 133798 21 | 0.844 % | 271.80/271.89 c | 1765637 | 1293 7445 25206 | 1 133898 21 | 0.844 % | 271.80/271.89 c | 1765738 | 1293 7445 25206 | 1 133999 21 | 0.844 % | 271.80/271.89 c | 1766043 | 1293 7445 25206 | 1 134304 21 | 0.844 % | 271.80/271.89 c | 1769040 | 1293 7445 25206 | 1 137301 21 | 0.844 % | 271.80/271.89 c | 1769347 | 1293 7445 25206 | 1 137608 21 | 0.844 % | 271.80/271.89 c | 1769447 | 1293 7445 25206 | 1 137708 21 | 0.844 % | 271.80/271.89 c | 1769549 | 1293 7445 25206 | 1 137810 21 | 0.844 % | 271.80/271.89 c | 1769712 | 1293 7445 25206 | 1 137973 21 | 0.844 % | 271.80/271.89 c | 1780131 | 1293 7445 25206 | 1 148392 21 | 0.844 % | 271.80/271.89 c | 1780231 | 1293 7445 25206 | 1 148492 21 | 0.844 % | 271.80/271.89 c | 1780670 | 1293 7445 25206 | 1 148931 21 | 0.844 % | 271.80/271.89 c | 1780771 | 1293 7445 25206 | 1 149032 21 | 0.844 % | 271.80/271.89 c | 1782825 | 1293 7445 25206 | 1 151086 22 | 0.844 % | 271.80/271.89 c | 1785988 | 1293 7445 25206 | 1 154249 22 | 0.844 % | 271.80/271.89 c | 1786088 | 1293 7445 25206 | 1 154349 22 | 0.844 % | 271.80/271.89 c | 1786189 | 1293 7445 25206 | 1 154450 22 | 0.844 % | 271.80/271.89 c | 1786289 | 1293 7445 25206 | 1 154550 22 | 0.844 % | 271.80/271.89 c | 1786390 | 1293 7445 25206 | 1 154651 22 | 0.844 % | 271.80/271.89 c | 1786490 | 1293 7445 25206 | 1 154751 22 | 0.844 % | 271.80/271.89 c | 1786694 | 1293 7445 25206 | 1 154955 22 | 0.844 % | 271.80/271.89 c | 1787719 | 1293 7445 25206 | 1 155980 22 | 0.844 % | 271.80/271.89 c | 1787820 | 1293 7445 25206 | 1 156081 22 | 0.844 % | 271.80/271.89 c | 1787922 | 1293 7445 25206 | 1 156183 22 | 0.844 % | 271.80/271.89 c | 1788623 | 1293 7445 25206 | 1 156884 22 | 0.844 % | 271.80/271.89 c | 1788922 | 1293 7445 25206 | 1 157183 22 | 0.844 % | 271.80/271.89 c | 1789410 | 1293 7445 25206 | 1 157671 22 | 0.844 % | 271.80/271.89 c | 1793191 | 1293 7445 25206 | 1 161452 23 | 0.844 % | 271.80/271.89 c | 1793327 | 1293 7445 25206 | 1 161588 23 | 0.844 % | 271.80/271.89 c | 1793429 | 1293 7445 25206 | 1 161690 23 | 0.844 % | 271.80/271.89 c | 1797214 | 1293 7445 25206 | 1 165475 23 | 0.844 % | 271.80/271.89 c | 1797315 | 1293 7445 25206 | 1 165576 23 | 0.844 % | 271.80/271.89 c | 1797415 | 1293 7445 25206 | 1 165676 23 | 0.844 % | 271.80/271.89 c | 1798051 | 1293 7445 25206 | 1 166312 23 | 0.844 % | 271.80/271.89 c | 1798152 | 1293 7445 25206 | 1 166413 23 | 0.844 % | 271.80/271.89 c | 1798252 | 1293 7445 25206 | 1 166513 23 | 0.844 % | 271.80/271.89 c | 1798353 | 1293 7445 25206 | 1 166614 23 | 0.844 % | 271.80/271.89 c | 1799685 | 1293 7445 25206 | 1 167946 23 | 0.844 % | 286.89/286.92 c | 1799805 | 1293 7445 25206 | 1 168066 23 | 0.844 % | 286.89/286.92 c | 1800022 | 1293 7445 25206 | 1 168283 23 | 0.844 % | 286.89/286.92 c | 1800123 | 1293 7445 25206 | 1 168384 23 | 0.844 % | 286.89/286.92 c | 1806845 | 1293 7445 25206 | 1 175106 24 | 0.844 % | 286.89/286.92 c | 1806947 | 1293 7445 25206 | 1 175208 24 | 0.844 % | 286.89/286.92 c | 1807048 | 1293 7445 25206 | 1 175309 24 | 0.844 % | 286.89/286.92 c | 1807149 | 1293 7445 25206 | 1 175410 24 | 0.844 % | 286.89/286.92 c | 1807262 | 1293 7445 25206 | 1 175523 24 | 0.844 % | 286.89/286.92 c | 1812795 | 1293 7445 25206 | 1 181056 24 | 0.844 % | 286.89/286.92 c | 1812895 | 1293 7445 25206 | 1 181156 24 | 0.844 % | 286.89/286.92 c | 1813772 | 1293 7445 25206 | 1 182033 24 | 0.844 % | 286.89/286.92 c | 1831533 | 1293 7445 25206 | 1 106666 15 | 0.844 % | 286.89/286.92 c | 1831940 | 1293 7445 25206 | 1 107073 15 | 0.844 % | 286.89/286.92 c | 1832139 | 1293 7445 25206 | 1 107272 15 | 0.844 % | 286.89/286.92 c | 1832893 | 1293 7445 25206 | 1 108026 15 | 0.844 % | 286.89/286.92 c | 1832993 | 1293 7445 25206 | 1 108126 15 | 0.844 % | 286.89/286.92 c | 1833093 | 1293 7445 25206 | 1 108226 15 | 0.844 % | 286.89/286.92 c | 1833194 | 1293 7445 25206 | 1 108327 15 | 0.844 % | 286.89/286.92 c | 1833832 | 1293 7445 25206 | 1 108965 15 | 0.844 % | 286.89/286.92 c | 1839583 | 1293 7445 25206 | 1 114716 15 | 0.844 % | 286.89/286.92 c | 1839684 | 1293 7445 25206 | 1 114817 15 | 0.844 % | 286.89/286.92 c | 1839785 | 1293 7445 25206 | 1 114918 15 | 0.844 % | 286.89/286.92 c | 1843954 | 1293 7445 25206 | 1 119087 16 | 0.844 % | 286.89/286.92 c | 1849210 | 1293 7445 25206 | 1 124343 16 | 0.844 % | 286.89/286.92 c | 1849311 | 1293 7445 25206 | 1 124444 16 | 0.844 % | 286.89/286.92 c | 1851759 | 1293 7445 25206 | 1 126892 17 | 0.844 % | 286.89/286.92 c | 1851860 | 1293 7445 25206 | 1 126993 17 | 0.844 % | 286.89/286.92 c | 1853539 | 1293 7445 25206 | 1 128672 17 | 0.844 % | 286.89/286.92 c | 1853639 | 1293 7445 25206 | 1 128772 17 | 0.844 % | 286.89/286.92 c | 1854505 | 1293 7445 25206 | 1 129638 17 | 0.844 % | 286.89/286.92 c | 1854606 | 1293 7445 25206 | 1 129739 17 | 0.844 % | 286.89/286.92 c | 1854857 | 1293 7445 25206 | 1 129990 17 | 0.844 % | 286.89/286.92 c | 1861878 | 1293 7445 25206 | 1 137011 18 | 0.844 % | 286.89/286.92 c | 1866868 | 1293 7445 25206 | 1 142001 18 | 0.844 % | 286.89/286.92 c | 1866968 | 1293 7445 25206 | 1 142101 18 | 0.844 % | 286.89/286.92 c | 1867068 | 1293 7445 25206 | 1 142201 18 | 0.844 % | 286.89/286.92 c | 1867170 | 1293 7445 25206 | 1 142303 18 | 0.844 % | 286.89/286.92 c | 1868792 | 1293 7445 25206 | 1 143925 19 | 0.844 % | 286.89/286.92 c | 1868895 | 1293 7445 25206 | 1 144028 19 | 0.844 % | 286.89/286.92 c | 1870479 | 1293 7445 25206 | 1 145612 19 | 0.844 % | 286.89/286.92 c | 1870964 | 1293 7445 25206 | 1 146097 19 | 0.844 % | 286.89/286.92 c | 1871073 | 1293 7445 25206 | 1 146206 19 | 0.844 % | 286.89/286.92 c | 1871174 | 1293 7445 25206 | 1 146307 19 | 0.844 % | 286.89/286.92 c | 1872770 | 1293 7445 25206 | 1 147903 19 | 0.844 % | 286.89/286.92 c | 1872885 | 1293 7445 25206 | 1 148018 19 | 0.844 % | 286.89/286.92 c | 1872986 | 1293 7445 25206 | 1 148119 19 | 0.844 % | 286.89/286.92 c | 1873088 | 1293 7445 25206 | 1 148221 19 | 0.844 % | 286.89/286.92 c | 1873189 | 1293 7445 25206 | 1 148322 19 | 0.844 % | 286.89/286.92 c | 1873289 | 1293 7445 25206 | 1 148422 19 | 0.844 % | 286.89/286.92 c | 1873779 | 1293 7445 25206 | 1 148912 19 | 0.844 % | 304.99/305.09 c | 1874063 | 1293 7445 25206 | 1 149196 19 | 0.844 % | 304.99/305.09 c | 1874166 | 1293 7445 25206 | 1 149299 19 | 0.844 % | 304.99/305.09 c | 1874267 | 1293 7445 25206 | 1 149400 19 | 0.844 % | 304.99/305.09 c | 1874368 | 1293 7445 25206 | 1 149501 19 | 0.844 % | 304.99/305.09 c | 1874568 | 1293 7445 25206 | 1 149701 19 | 0.844 % | 304.99/305.09 c | 1874669 | 1293 7445 25206 | 1 149802 19 | 0.844 % | 304.99/305.09 c | 1874933 | 1293 7445 25206 | 1 150066 19 | 0.844 % | 304.99/305.09 c | 1875033 | 1293 7445 25206 | 1 150166 19 | 0.844 % | 304.99/305.09 c | 1875480 | 1293 7445 25206 | 1 150613 19 | 0.844 % | 304.99/305.09 c | 1875580 | 1293 7445 25206 | 1 150713 19 | 0.844 % | 304.99/305.09 c | 1875789 | 1293 7445 25206 | 1 150922 19 | 0.844 % | 304.99/305.09 c | 1875890 | 1293 7445 25206 | 1 151023 20 | 0.844 % | 304.99/305.09 c | 1875990 | 1293 7445 25206 | 1 151123 20 | 0.844 % | 304.99/305.09 c | 1877957 | 1293 7445 25206 | 1 153090 20 | 0.844 % | 304.99/305.09 c | 1878060 | 1293 7445 25206 | 1 153193 20 | 0.844 % | 304.99/305.09 c | 1878304 | 1293 7445 25206 | 1 153437 20 | 0.844 % | 304.99/305.09 c | 1878407 | 1293 7445 25206 | 1 153540 20 | 0.844 % | 304.99/305.09 c | 1878509 | 1293 7445 25206 | 1 153642 20 | 0.844 % | 304.99/305.09 c | 1882363 | 1293 7445 25206 | 1 157496 20 | 0.844 % | 304.99/305.09 c | 1882489 | 1293 7445 25206 | 1 157622 20 | 0.844 % | 304.99/305.09 c | 1882589 | 1293 7445 25206 | 1 157722 20 | 0.844 % | 304.99/305.09 c | 1882690 | 1293 7445 25206 | 1 157823 20 | 0.844 % | 304.99/305.09 c | 1882790 | 1293 7445 25206 | 1 157923 20 | 0.844 % | 304.99/305.09 c | 1883100 | 1293 7445 25206 | 1 158233 20 | 0.844 % | 304.99/305.09 c | 1894488 | 1293 7445 25206 | 1 169621 21 | 0.844 % | 304.99/305.09 c | 1894588 | 1293 7445 25206 | 1 169721 21 | 0.844 % | 304.99/305.09 c | 1895762 | 1293 7445 25206 | 1 170895 21 | 0.844 % | 304.99/305.09 c | 1895862 | 1293 7445 25206 | 1 170995 21 | 0.844 % | 304.99/305.09 c | 1895962 | 1293 7445 25206 | 1 171095 21 | 0.844 % | 304.99/305.09 c | 1896170 | 1293 7445 25206 | 1 171303 21 | 0.844 % | 304.99/305.09 c | 1947468 | 1292 7443 25200 | 1 111637 14 | 0.920 % | 304.99/305.09 c | 1947569 | 1292 7443 25200 | 1 111738 14 | 0.920 % | 304.99/305.09 c | 1948097 | 1292 7443 25200 | 1 112266 14 | 0.920 % | 304.99/305.09 c | 1948709 | 1292 7443 25200 | 1 112878 14 | 0.920 % | 304.99/305.09 c | 1948810 | 1292 7443 25200 | 1 112979 14 | 0.920 % | 304.99/305.09 c | 1950178 | 1292 7443 25200 | 1 114347 15 | 0.920 % | 304.99/305.09 c | 1950278 | 1292 7443 25200 | 1 114447 15 | 0.920 % | 304.99/305.09 c | 1950990 | 1292 7443 25200 | 1 115159 15 | 0.920 % | 304.99/305.09 c | 1951091 | 1292 7443 25200 | 1 115260 15 | 0.920 % | 304.99/305.09 c | 1951458 | 1292 7443 25200 | 1 115627 15 | 0.920 % | 304.99/305.09 c | 1951698 | 1292 7443 25200 | 1 115867 15 | 0.920 % | 304.99/305.09 c | 1956120 | 1292 7443 25200 | 1 120289 16 | 0.920 % | 304.99/305.09 c | 1957705 | 1292 7443 25200 | 1 121874 16 | 0.920 % | 304.99/305.09 c | 1957806 | 1292 7443 25200 | 1 121975 16 | 0.920 % | 304.99/305.09 c | 1958028 | 1292 7443 25200 | 1 122197 16 | 0.920 % | 304.99/305.09 c | 1958128 | 1292 7443 25200 | 1 122297 16 | 0.920 % | 304.99/305.09 c | 1958231 | 1292 7443 25200 | 1 122400 16 | 0.920 % | 304.99/305.09 c | 1958333 | 1292 7443 25200 | 1 122502 16 | 0.920 % | 304.99/305.09 c | 1959529 | 1292 7443 25200 | 1 123698 17 | 0.920 % | 318.49/318.53 c | 1959629 | 1292 7443 25200 | 1 123798 17 | 0.920 % | 318.49/318.53 c | 1959729 | 1292 7443 25200 | 1 123898 17 | 0.920 % | 318.49/318.53 c | 1960744 | 1292 7443 25200 | 1 124913 17 | 0.920 % | 318.49/318.53 c | 1961043 | 1292 7443 25200 | 1 125212 17 | 0.920 % | 318.49/318.53 c | 1961143 | 1292 7443 25200 | 1 125312 17 | 0.920 % | 318.49/318.53 c | 1961243 | 1292 7443 25200 | 1 125412 17 | 0.920 % | 318.49/318.53 c | 1961343 | 1292 7443 25200 | 1 125512 17 | 0.920 % | 318.49/318.53 c | 1961712 | 1292 7443 25200 | 1 125881 17 | 0.920 % | 318.49/318.53 c | 1961813 | 1292 7443 25200 | 1 125982 17 | 0.920 % | 318.49/318.53 c | 1967268 | 1292 7443 25200 | 1 131437 18 | 0.920 % | 318.49/318.53 c | 1971435 | 1292 7443 25200 | 1 135604 18 | 0.920 % | 318.49/318.53 c | 1971659 | 1292 7443 25200 | 1 135828 18 | 0.920 % | 318.49/318.53 c | 1971759 | 1292 7443 25200 | 1 135928 18 | 0.920 % | 318.49/318.53 c | 1971873 | 1292 7443 25200 | 1 136042 18 | 0.920 % | 318.49/318.53 c | 1972411 | 1292 7443 25200 | 1 136580 18 | 0.920 % | 318.49/318.53 c | 1972511 | 1292 7443 25200 | 1 136680 18 | 0.920 % | 318.49/318.53 c | 1974909 | 1292 7443 25200 | 1 139078 19 | 0.920 % | 318.49/318.53 c | 1975009 | 1292 7443 25200 | 1 139178 19 | 0.920 % | 318.49/318.53 c | 1975602 | 1292 7443 25200 | 1 139771 19 | 0.920 % | 318.49/318.53 c | 1977815 | 1292 7443 25200 | 1 141984 19 | 0.920 % | 318.49/318.53 c | 1983972 | 1292 7443 25200 | 1 148141 20 | 0.920 % | 318.49/318.53 c | 1984185 | 1292 7443 25200 | 1 148354 20 | 0.920 % | 318.49/318.53 c | 1984286 | 1292 7443 25200 | 1 148455 20 | 0.920 % | 318.49/318.53 c | 2003808 | 1292 7443 25200 | 1 167977 20 | 0.920 % | 318.49/318.53 c | 2003971 | 1292 7443 25200 | 1 168140 20 | 0.920 % | 318.49/318.53 c | 2004074 | 1292 7443 25200 | 1 168243 20 | 0.920 % | 318.49/318.53 c | 2006127 | 1292 7443 25200 | 1 170296 20 | 0.920 % | 318.49/318.53 c | 2006229 | 1292 7443 25200 | 1 170398 20 | 0.920 % | 318.49/318.53 c | 2006332 | 1292 7443 25200 | 1 170501 20 | 0.920 % | 318.49/318.53 c | 2006432 | 1292 7443 25200 | 1 170601 20 | 0.920 % | 318.49/318.53 c | 2007816 | 1292 7443 25200 | 1 171985 20 | 0.920 % | 318.49/318.53 c | 2007916 | 1292 7443 25200 | 1 172085 20 | 0.920 % | 318.49/318.53 c | 2008092 | 1292 7443 25200 | 1 172261 20 | 0.920 % | 318.49/318.53 c | 2008195 | 1292 7443 25200 | 1 172364 20 | 0.920 % | 318.49/318.53 c | 2008411 | 1292 7443 25200 | 1 172580 20 | 0.920 % | 318.49/318.53 c | 2008511 | 1292 7443 25200 | 1 172680 20 | 0.920 % | 318.49/318.53 c | 2009255 | 1292 7443 25200 | 1 173424 20 | 0.920 % | 318.49/318.53 c | 2013776 | 1292 7443 25200 | 1 177945 21 | 0.920 % | 318.49/318.53 c | 2020087 | 1292 7443 25200 | 1 95011 14 | 0.920 % | 318.49/318.53 c | 2020189 | 1292 7443 25200 | 1 95113 14 | 0.920 % | 318.49/318.53 c | 2020783 | 1292 7443 25200 | 1 95707 14 | 0.920 % | 318.49/318.53 c | 2021415 | 1292 7443 25200 | 1 96339 14 | 0.920 % | 318.49/318.53 c | 2024236 | 1292 7443 25200 | 1 99160 15 | 0.920 % | 318.49/318.53 c | 2024336 | 1292 7443 25200 | 1 99260 15 | 0.920 % | 318.49/318.53 c | 2024436 | 1292 7443 25200 | 1 99360 15 | 0.920 % | 318.49/318.53 c | 2024537 | 1292 7443 25200 | 1 99461 15 | 0.920 % | 318.49/318.53 c | 2026582 | 1292 7443 25200 | 1 101506 15 | 0.920 % | 318.49/318.53 c | 2026684 | 1292 7443 25200 | 1 101608 15 | 0.920 % | 318.49/318.53 c | 2028009 | 1292 7443 25200 | 1 102933 15 | 0.920 % | 318.49/318.53 c | 2028193 | 1292 7443 25200 | 1 103117 15 | 0.920 % | 330.69/330.77 c | 2034886 | 1292 7443 25200 | 1 109810 17 | 0.920 % | 330.69/330.77 c | 2038383 | 1292 7443 25200 | 1 113307 17 | 0.920 % | 330.69/330.77 c | 2040866 | 1292 7443 25200 | 1 115790 17 | 0.920 % | 330.69/330.77 c | 2040966 | 1292 7443 25200 | 1 115890 17 | 0.920 % | 330.69/330.77 c | 2041181 | 1292 7443 25200 | 1 116105 17 | 0.920 % | 330.69/330.77 c | 2051867 | 1292 7443 25200 | 1 126791 19 | 0.920 % | 330.69/330.77 c | 2056269 | 1292 7443 25200 | 1 131193 20 | 0.920 % | 330.69/330.77 c | 2057739 | 1292 7443 25200 | 1 132663 20 | 0.920 % | 330.69/330.77 c | 2057840 | 1292 7443 25200 | 1 132764 20 | 0.920 % | 330.69/330.77 c | 2057940 | 1292 7443 25200 | 1 132864 20 | 0.920 % | 330.69/330.77 c | 2058042 | 1292 7443 25200 | 1 132966 20 | 0.920 % | 330.69/330.77 c | 2060728 | 1292 7443 25200 | 1 135652 20 | 0.920 % | 330.69/330.77 c | 2060916 | 1292 7443 25200 | 1 135840 20 | 0.920 % | 330.69/330.77 c | 2061528 | 1292 7443 25200 | 1 136452 20 | 0.920 % | 330.69/330.77 c | 2061648 | 1292 7443 25200 | 1 136572 20 | 0.920 % | 330.69/330.77 c | 2061750 | 1292 7443 25200 | 1 136674 20 | 0.920 % | 330.69/330.77 c | 2062110 | 1292 7443 25200 | 1 137034 20 | 0.920 % | 330.69/330.77 c | 2064273 | 1292 7443 25200 | 1 139197 20 | 0.920 % | 330.69/330.77 c | 2064374 | 1292 7443 25200 | 1 139298 20 | 0.920 % | 330.69/330.77 c | 2064475 | 1292 7443 25200 | 1 139399 21 | 0.920 % | 330.69/330.77 c | 2065916 | 1292 7443 25200 | 1 140840 21 | 0.920 % | 330.69/330.77 c | 2066031 | 1292 7443 25200 | 1 140955 21 | 0.920 % | 330.69/330.77 c | 2068794 | 1292 7443 25200 | 1 143718 21 | 0.920 % | 330.69/330.77 c | 2074565 | 1292 7443 25200 | 1 149489 21 | 0.920 % | 330.69/330.77 c | 2083753 | 1292 7443 25200 | 1 158677 22 | 0.920 % | 330.69/330.77 c | 2083854 | 1292 7443 25200 | 1 158778 22 | 0.920 % | 330.69/330.77 c | 2084009 | 1292 7443 25200 | 1 158933 22 | 0.920 % | 330.69/330.77 c | 2084110 | 1292 7443 25200 | 1 159034 22 | 0.920 % | 330.69/330.77 c | 2084213 | 1292 7443 25200 | 1 159137 22 | 0.920 % | 330.69/330.77 c | 2084314 | 1292 7443 25200 | 1 159238 22 | 0.920 % | 330.69/330.77 c | 2089803 | 1292 7443 25200 | 1 164727 23 | 0.920 % | 330.69/330.77 c | 2090435 | 1292 7443 25200 | 1 165359 23 | 0.920 % | 330.69/330.77 c | 2090655 | 1292 7443 25200 | 1 165579 23 | 0.920 % | 330.69/330.77 c | 2090783 | 1292 7443 25200 | 1 165707 23 | 0.920 % | 330.69/330.77 c | 2090884 | 1292 7443 25200 | 1 165808 23 | 0.920 % | 330.69/330.77 c | 2090985 | 1292 7443 25200 | 1 165909 23 | 0.920 % | 330.69/330.77 c | 2091085 | 1292 7443 25200 | 1 166009 23 | 0.920 % | 330.69/330.77 c | 2091186 | 1292 7443 25200 | 1 166110 23 | 0.920 % | 330.69/330.77 c | 2091408 | 1292 7443 25200 | 1 166332 23 | 0.920 % | 330.69/330.77 c | 2091753 | 1292 7443 25200 | 1 166677 23 | 0.920 % | 330.69/330.77 c | 2091857 | 1292 7443 25200 | 1 166781 23 | 0.920 % | 330.69/330.77 c | 2091958 | 1292 7443 25200 | 1 166882 23 | 0.920 % | 330.69/330.77 c | 2092176 | 1292 7443 25200 | 1 167100 23 | 0.920 % | 330.69/330.77 c | 2092276 | 1292 7443 25200 | 1 167200 23 | 0.920 % | 330.69/330.77 c | 2092377 | 1292 7443 25200 | 1 167301 23 | 0.920 % | 330.69/330.77 c | 2092479 | 1292 7443 25200 | 1 167403 23 | 0.920 % | 330.69/330.77 c | 2092582 | 1292 7443 25200 | 1 167506 23 | 0.920 % | 330.69/330.77 c | 2093142 | 1292 7443 25200 | 1 168066 23 | 0.920 % | 330.69/330.77 c | 2093245 | 1292 7443 25200 | 1 168169 23 | 0.920 % | 330.69/330.77 c | 2094750 | 1292 7443 25200 | 1 169674 23 | 0.920 % | 343.89/343.93 c | 2094850 | 1292 7443 25200 | 1 169774 23 | 0.920 % | 343.89/343.93 c | 2095875 | 1292 7443 25200 | 1 170799 23 | 0.920 % | 343.89/343.93 c | 2095976 | 1292 7443 25200 | 1 170900 23 | 0.920 % | 343.89/343.93 c | 2096144 | 1292 7443 25200 | 1 171068 23 | 0.920 % | 343.89/343.93 c | 2096245 | 1292 7443 25200 | 1 171169 23 | 0.920 % | 343.89/343.93 c | 2096346 | 1292 7443 25200 | 1 171270 23 | 0.920 % | 343.89/343.93 c | 2096836 | 1292 7443 25200 | 1 171760 24 | 0.920 % | 343.89/343.93 c | 2097003 | 1292 7443 25200 | 1 171927 24 | 0.920 % | 343.89/343.93 c | 2097103 | 1292 7443 25200 | 1 172027 24 | 0.920 % | 343.89/343.93 c | 2097310 | 1292 7443 25200 | 1 172234 24 | 0.920 % | 343.89/343.93 c | 2112041 | 1291 7439 25188 | 1 184478 25 | 0.997 % | 343.89/343.93 c | 2112142 | 1291 7439 25188 | 1 184579 25 | 0.997 % | 343.89/343.93 c | 2112983 | 1291 7439 25188 | 1 185420 25 | 0.997 % | 343.89/343.93 c | 2113350 | 1291 7439 25188 | 1 185787 25 | 0.997 % | 343.89/343.93 c | 2113451 | 1291 7439 25188 | 1 185888 25 | 0.997 % | 343.89/343.93 c | 2114479 | 1291 7439 25188 | 1 186916 25 | 0.997 % | 343.89/343.93 c | 2114581 | 1291 7439 25188 | 1 187018 25 | 0.997 % | 343.89/343.93 c | 2122493 | 1291 7439 25188 | 1 102687 16 | 0.997 % | 343.89/343.93 c | 2122671 | 1291 7439 25188 | 1 102865 16 | 0.997 % | 343.89/343.93 c | 2122771 | 1291 7439 25188 | 1 102965 16 | 0.997 % | 343.89/343.93 c | 2122871 | 1291 7439 25188 | 1 103065 16 | 0.997 % | 343.89/343.93 c | 2123394 | 1291 7439 25188 | 1 103588 16 | 0.997 % | 343.89/343.93 c | 2124111 | 1291 7439 25188 | 1 104305 16 | 0.997 % | 343.89/343.93 c | 2124213 | 1291 7439 25188 | 1 104407 16 | 0.997 % | 343.89/343.93 c | 2124626 | 1291 7439 25188 | 1 104820 16 | 0.997 % | 343.89/343.93 c | 2124783 | 1291 7439 25188 | 1 104977 16 | 0.997 % | 343.89/343.93 c | 2127145 | 1291 7439 25188 | 1 107339 17 | 0.997 % | 343.89/343.93 c | 2128357 | 1291 7439 25188 | 1 108551 17 | 0.997 % | 343.89/343.93 c | 2128850 | 1291 7439 25188 | 1 109044 17 | 0.997 % | 343.89/343.93 c | 2129155 | 1291 7439 25188 | 1 109349 17 | 0.997 % | 343.89/343.93 c | 2129255 | 1291 7439 25188 | 1 109449 17 | 0.997 % | 343.89/343.93 c | 2129810 | 1291 7439 25188 | 1 110004 17 | 0.997 % | 343.89/343.93 c | 2129987 | 1291 7439 25188 | 1 110181 17 | 0.997 % | 343.89/343.93 c | 2130930 | 1291 7439 25188 | 1 111124 17 | 0.997 % | 343.89/343.93 c | 2131054 | 1291 7439 25188 | 1 111248 17 | 0.997 % | 343.89/343.93 c | 2131476 | 1291 7439 25188 | 1 111670 17 | 0.997 % | 343.89/343.93 c | 2132207 | 1291 7439 25188 | 1 112401 17 | 0.997 % | 343.89/343.93 c | 2138441 | 1291 7439 25188 | 1 118635 19 | 0.997 % | 343.89/343.93 c | 2143628 | 1291 7439 25188 | 1 123822 20 | 0.997 % | 343.89/343.93 c | 2143729 | 1291 7439 25188 | 1 123923 20 | 0.997 % | 343.89/343.93 c | 2147122 | 1291 7439 25188 | 1 127316 20 | 0.997 % | 343.89/343.93 c | 2147222 | 1291 7439 25188 | 1 127416 20 | 0.997 % | 343.89/343.93 c | 2147323 | 1291 7439 25188 | 1 127517 20 | 0.997 % | 343.89/343.93 c | 2147424 | 1291 7439 25188 | 1 127618 21 | 0.997 % | 343.89/343.93 c | 2147718 | 1291 7439 25188 | 1 127912 21 | 0.997 % | 343.89/343.93 c | 2148556 | 1291 7439 25188 | 1 128750 21 | 0.997 % | 343.89/343.93 c | 2148658 | 1291 7439 25188 | 1 128852 21 | 0.997 % | 343.89/343.93 c | 2148845 | 1291 7439 25188 | 1 129039 21 | 0.997 % | 343.89/343.93 c | 2148947 | 1291 7439 25188 | 1 129141 21 | 0.997 % | 343.89/343.93 c | 2149048 | 1291 7439 25188 | 1 129242 21 | 0.997 % | 369.19/369.20 c | 2150478 | 1291 7439 25188 | 1 130672 21 | 0.997 % | 369.19/369.20 c | 2151075 | 1291 7439 25188 | 1 131269 21 | 0.997 % | 369.19/369.20 c | 2153386 | 1291 7439 25188 | 1 133580 21 | 0.997 % | 369.19/369.20 c | 2154947 | 1291 7439 25188 | 1 135141 21 | 0.997 % | 369.19/369.20 c | 2155047 | 1291 7439 25188 | 1 135241 21 | 0.997 % | 369.19/369.20 c | 2155148 | 1291 7439 25188 | 1 135342 21 | 0.997 % | 369.19/369.20 c | 2155402 | 1291 7439 25188 | 1 135596 21 | 0.997 % | 369.19/369.20 c | 2157304 | 1291 7439 25188 | 1 137498 22 | 0.997 % | 369.19/369.20 c | 2186946 | 1285 7387 25008 | 1 155811 26 | 1.457 % | 369.19/369.20 c | 2187047 | 1285 7387 25008 | 1 155912 26 | 1.457 % | 369.19/369.20 c | 2187147 | 1285 7387 25008 | 1 156012 26 | 1.457 % | 369.19/369.20 c | 2187980 | 1285 7387 25008 | 1 156845 26 | 1.457 % | 369.19/369.20 c | 2188080 | 1285 7387 25008 | 1 156945 26 | 1.457 % | 369.19/369.20 c | 2189259 | 1285 7387 25008 | 1 158124 26 | 1.457 % | 369.19/369.20 c | 2189635 | 1285 7387 25008 | 1 158500 26 | 1.457 % | 369.19/369.20 c | 2193063 | 1285 7387 25008 | 1 161928 26 | 1.457 % | 369.19/369.20 c | 2193164 | 1285 7387 25008 | 1 162029 26 | 1.457 % | 369.19/369.20 c | 2193524 | 1285 7387 25008 | 1 162389 26 | 1.457 % | 369.19/369.20 c | 2201397 | 1285 7387 25008 | 1 170262 27 | 1.457 % | 369.19/369.20 c | 2201727 | 1285 7387 25008 | 1 170592 27 | 1.457 % | 369.19/369.20 c | 2207661 | 1285 7387 25008 | 1 176526 27 | 1.457 % | 369.19/369.20 c | 2209088 | 1285 7387 25008 | 1 177953 27 | 1.457 % | 369.19/369.20 c | 2210696 | 1285 7387 25008 | 1 179561 28 | 1.457 % | 369.19/369.20 c | 2210824 | 1285 7387 25008 | 1 179689 28 | 1.457 % | 369.19/369.20 c | 2247408 | 1285 7387 25008 | 1 119788 16 | 1.457 % | 369.19/369.20 c | 2247508 | 1285 7387 25008 | 1 119888 16 | 1.457 % | 369.19/369.20 c | 2248065 | 1285 7387 25008 | 1 120445 16 | 1.457 % | 369.19/369.20 c | 2248165 | 1285 7387 25008 | 1 120545 16 | 1.457 % | 369.19/369.20 c | 2248266 | 1285 7387 25008 | 1 120646 16 | 1.457 % | 369.19/369.20 c | 2248614 | 1285 7387 25008 | 1 120994 16 | 1.457 % | 369.19/369.20 c | 2249300 | 1285 7387 25008 | 1 121680 16 | 1.457 % | 369.19/369.20 c | 2249434 | 1285 7387 25008 | 1 121814 16 | 1.457 % | 369.19/369.20 c | 2249538 | 1285 7387 25008 | 1 121918 16 | 1.457 % | 369.19/369.20 c | 2255156 | 1285 7387 25008 | 1 127536 17 | 1.457 % | 369.19/369.20 c | 2255257 | 1285 7387 25008 | 1 127637 17 | 1.457 % | 369.19/369.20 c | 2255360 | 1285 7387 25008 | 1 127740 17 | 1.457 % | 369.19/369.20 c | 2255460 | 1285 7387 25008 | 1 127840 17 | 1.457 % | 369.19/369.20 c | 2255561 | 1285 7387 25008 | 1 127941 17 | 1.457 % | 369.19/369.20 c | 2255693 | 1285 7387 25008 | 1 128073 17 | 1.457 % | 369.19/369.20 c | 2255796 | 1285 7387 25008 | 1 128176 17 | 1.457 % | 369.19/369.20 c | 2255916 | 1285 7387 25008 | 1 128296 17 | 1.457 % | 369.19/369.20 c | 2256178 | 1285 7387 25008 | 1 128558 17 | 1.457 % | 369.19/369.20 c | 2256558 | 1285 7387 25008 | 1 128938 17 | 1.457 % | 369.19/369.20 c | 2256658 | 1285 7387 25008 | 1 129038 17 | 1.457 % | 369.19/369.20 c | 2258116 | 1285 7387 25008 | 1 130496 17 | 1.457 % | 369.19/369.20 c | 2258235 | 1285 7387 25008 | 1 130615 17 | 1.457 % | 369.19/369.20 c | 2267513 | 1285 7387 25008 | 1 139893 19 | 1.457 % | 369.19/369.20 c | 2267616 | 1285 7387 25008 | 1 139996 19 | 1.457 % | 369.19/369.20 c | 2268199 | 1285 7387 25008 | 1 140579 19 | 1.457 % | 369.19/369.20 c | 2268299 | 1285 7387 25008 | 1 140679 19 | 1.457 % | 400.49/400.50 c | 2268519 | 1285 7387 25008 | 1 140899 19 | 1.457 % | 400.49/400.50 c | 2268632 | 1285 7387 25008 | 1 141012 19 | 1.457 % | 400.49/400.50 c | 2269918 | 1285 7387 25008 | 1 142298 19 | 1.457 % | 400.49/400.50 c | 2270129 | 1285 7387 25008 | 1 142509 19 | 1.457 % | 400.49/400.50 c | 2273474 | 1285 7387 25008 | 1 145854 20 | 1.457 % | 400.49/400.50 c | 2273814 | 1285 7387 25008 | 1 146194 20 | 1.457 % | 400.49/400.50 c | 2296704 | 1285 7387 25008 | 1 169084 22 | 1.457 % | 400.49/400.50 c | 2298560 | 1285 7387 25008 | 1 170940 22 | 1.457 % | 400.49/400.50 c | 2298723 | 1285 7387 25008 | 1 171103 22 | 1.457 % | 400.49/400.50 c | 2298823 | 1285 7387 25008 | 1 171203 22 | 1.457 % | 400.49/400.50 c | 2301521 | 1285 7387 25008 | 1 173901 22 | 1.457 % | 400.49/400.50 c | 2301621 | 1285 7387 25008 | 1 174001 22 | 1.457 % | 400.49/400.50 c | 2336370 | 1285 7387 25008 | 1 208750 25 | 1.457 % | 400.49/400.50 c | 2336471 | 1285 7387 25008 | 1 208851 25 | 1.457 % | 400.49/400.50 c | 2336571 | 1285 7387 25008 | 1 208951 25 | 1.457 % | 400.49/400.50 c | 2339938 | 1285 7387 25008 | 1 110703 16 | 1.457 % | 400.49/400.50 c | 2340038 | 1285 7387 25008 | 1 110803 16 | 1.457 % | 400.49/400.50 c | 2376389 | 1285 7387 25008 | 1 147154 20 | 1.457 % | 400.49/400.50 c | 2376976 | 1285 7387 25008 | 1 147741 20 | 1.457 % | 400.49/400.50 c | 2377076 | 1285 7387 25008 | 1 147841 20 | 1.457 % | 400.49/400.50 c | 2377178 | 1285 7387 25008 | 1 147943 20 | 1.457 % | 400.49/400.50 c | 2381242 | 1285 7387 25008 | 1 152007 21 | 1.457 % | 400.49/400.50 c | 2381547 | 1285 7387 25008 | 1 152312 21 | 1.457 % | 400.49/400.50 c | 2387702 | 1285 7387 25008 | 1 158467 21 | 1.457 % | 400.49/400.50 c | 2390379 | 1285 7387 25008 | 1 161144 21 | 1.457 % | 400.49/400.50 c | 2390479 | 1285 7387 25008 | 1 161244 21 | 1.457 % | 400.49/400.50 c | 2412513 | 1273 7227 24454 | 1 113385 18 | 2.377 % | 400.49/400.50 c | 2412615 | 1273 7227 24454 | 1 113487 18 | 2.377 % | 400.49/400.50 c | 2422427 | 1273 7227 24454 | 1 123299 19 | 2.377 % | 400.49/400.50 c | 2433552 | 567 6122 20497 | 1 45326 13 | 56.518 % | 400.49/400.50 c =============================================================================== 400.49/400.50 c restarts : 1567 400.49/400.50 c nb ReduceDB : 41 400.49/400.50 c nb removed Clauses : 2126773 400.49/400.50 c nb learnts DL2 : 2303 400.49/400.50 c nb learnts size 2 : 665 400.49/400.50 c nb learnts size 1 : 21 400.49/400.50 c conflicts : 2433552 (6078 /sec) 400.49/400.50 c decisions : 3021768 (0.00 % random) (7547 /sec) 400.49/400.50 c propagations : 357433004 (892696 /sec) 400.49/400.50 c conflict literals : 69565153 (47.21 % deleted) 400.49/400.50 c nb reduced Clauses : 13743 400.49/400.50 c CPU time : 400.397 s 400.49/400.50 400.49/400.51 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3280570-1303749581/watcher-3280570-1303749581 -o /tmp/evaluation-result-3280570-1303749581/solver-3280570-1303749581 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280570-1303749581.cnf running on 2 cores: 5,7 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: 1.16 2.92 3.36 2/174 26892 /proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) R 26890 26892 26342 0 -1 4202496 317 0 0 0 0 0 0 0 22 0 1 0 486560865 8912896 253 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370777493 0 65538 4100 65536 0 0 0 17 5 0 0 0 /proc/26892/statm: 2176 253 211 178 0 69 0 [startup+0.051311 s] /proc/loadavg: 1.16 2.92 3.36 2/174 26892 /proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.100199 s] /proc/loadavg: 1.16 2.92 3.36 2/174 26892 /proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.300162 s] /proc/loadavg: 1.16 2.92 3.36 2/174 26892 /proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+0.701094 s] /proc/loadavg: 1.16 2.92 3.36 2/174 26892 /proc/meminfo: memFree=23278364/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.03 Current children cumulated vsize (KiB) 8704 [startup+1.50095 s] /proc/loadavg: 1.16 2.92 3.36 4/184 26910 /proc/meminfo: memFree=23201404/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=20040 CPUtime=1.46 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 2122 0 0 0 146 0 0 0 20 0 1 0 486560868 20520960 1633 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225056 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 5010 1633 247 17 0 1651 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 28744 [startup+3.10067 s] /proc/loadavg: 1.16 2.92 3.36 5/190 26921 /proc/meminfo: memFree=23036388/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=26060 CPUtime=3.05 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 3348 0 0 0 305 0 0 0 25 0 1 0 486560868 26685440 2819 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225504 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 6515 2819 250 17 0 3156 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 34764 [startup+6.3011 s] /proc/loadavg: 1.39 2.94 3.36 5/194 26929 /proc/meminfo: memFree=22747100/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=26060 CPUtime=6.25 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 3567 0 0 0 625 0 0 0 25 0 1 0 486560868 26685440 3029 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 6515 3029 250 17 0 3156 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 34764 [startup+12.701 s] /proc/loadavg: 1.60 2.96 3.37 5/194 26930 /proc/meminfo: memFree=22662588/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=30724 CPUtime=12.65 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 5854 0 0 0 1265 0 0 0 25 0 1 0 486560868 31461376 4092 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225129 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 7681 4092 250 17 0 4322 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 39428 [startup+25.5007 s] /proc/loadavg: 2.13 3.01 3.38 5/194 26932 /proc/meminfo: memFree=22894216/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=33376 CPUtime=25.46 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 9088 0 0 0 2544 2 0 0 25 0 1 0 486560868 34177024 4973 33554432000 4194304 4260849 140733810534080 18446744073709551615 4226291 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 8344 4973 250 17 0 4985 0 Current children cumulated CPU time (s) 25.49 Current children cumulated vsize (KiB) 42080 [startup+51.1012 s] /proc/loadavg: 2.77 3.08 3.39 5/194 26933 /proc/meminfo: memFree=22874596/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=47344 CPUtime=51.05 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 11792 0 0 0 5103 2 0 0 25 0 1 0 486560868 48480256 7566 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 11836 7566 250 17 0 8477 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 56048 [startup+102.307 s] /proc/loadavg: 3.50 3.24 3.42 5/194 26934 /proc/meminfo: memFree=22835924/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=47344 CPUtime=102.27 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 15940 0 0 0 10224 3 0 0 25 0 1 0 486560868 48480256 8445 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 11836 8445 250 17 0 8477 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 56048 [startup+162.3 s] /proc/loadavg: 3.89 3.39 3.46 5/194 26936 /proc/meminfo: memFree=22789588/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=61516 CPUtime=162.25 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 19686 0 0 0 16221 4 0 0 25 0 1 0 486560868 62992384 11981 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 15379 11981 250 17 0 12020 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 70220 [startup+222.301 s] /proc/loadavg: 3.96 3.50 3.49 5/194 26937 /proc/meminfo: memFree=22720916/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=61516 CPUtime=222.26 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 19686 0 0 0 22222 4 0 0 25 0 1 0 486560868 62992384 11981 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 15379 11981 250 17 0 12020 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 70220 [startup+282.301 s] /proc/loadavg: 3.98 3.59 3.52 5/194 26939 /proc/meminfo: memFree=22723208/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=61944 CPUtime=282.26 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 24800 0 0 0 28221 5 0 0 25 0 1 0 486560868 63430656 12146 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 15486 12146 250 17 0 12127 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 70648 [startup+342.301 s] /proc/loadavg: 3.99 3.66 3.55 5/194 26941 /proc/meminfo: memFree=22687348/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=342.26 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 28508 0 0 0 34219 7 0 0 25 0 1 0 486560868 106954752 15785 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 15785 250 17 0 22753 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 113152 Solver just ended. Dumping a history of the last processes samples [startup+358.301 s] /proc/loadavg: 3.99 3.68 3.56 5/194 26941 /proc/meminfo: memFree=22681336/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=358.27 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29073 0 0 0 35819 8 0 0 25 0 1 0 486560868 106954752 16332 33554432000 4194304 4260849 140733810534080 18446744073709551615 4209925 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16332 250 17 0 22753 0 Current children cumulated CPU time (s) 358.3 Current children cumulated vsize (KiB) 113152 [startup+383.907 s] /proc/loadavg: 3.99 3.70 3.57 5/194 26941 /proc/meminfo: memFree=22640908/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=383.87 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 38379 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 383.9 Current children cumulated vsize (KiB) 113152 [startup+390.301 s] /proc/loadavg: 3.99 3.71 3.57 5/194 26942 /proc/meminfo: memFree=22639296/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=390.26 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39018 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 390.29 Current children cumulated vsize (KiB) 113152 [startup+396.701 s] /proc/loadavg: 3.99 3.71 3.57 5/194 26942 /proc/meminfo: memFree=22637304/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=396.66 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39658 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 396.69 Current children cumulated vsize (KiB) 113152 [startup+398.301 s] /proc/loadavg: 3.99 3.71 3.57 5/194 26942 /proc/meminfo: memFree=22635444/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=398.26 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39818 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 398.29 Current children cumulated vsize (KiB) 113152 [startup+399.9 s] /proc/loadavg: 3.99 3.71 3.57 5/194 26942 /proc/meminfo: memFree=22634824/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=399.86 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 39978 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 399.89 Current children cumulated vsize (KiB) 113152 [startup+400.3 s] /proc/loadavg: 3.99 3.72 3.58 5/194 26942 /proc/meminfo: memFree=22634080/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=400.27 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 40019 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4224674 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 400.3 Current children cumulated vsize (KiB) 113152 [startup+400.5 s] /proc/loadavg: 3.99 3.72 3.58 5/194 26942 /proc/meminfo: memFree=22634080/32951124 swapFree=67051468/67111528 [pid=26892] ppid=26890 vsize=8704 CPUtime=0.03 cores=5,7 /proc/26892/stat : 26892 (glucose.sh) S 26890 26892 26342 0 -1 4202496 360 635 0 0 0 0 3 0 22 0 1 0 486560865 8912896 255 33554432000 4194304 4922060 140737421363088 18446744073709551615 218370776197 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/26892/statm: 2176 255 211 178 0 69 0 [pid=26895] ppid=26892 vsize=104448 CPUtime=400.46 cores=5,7 /proc/26895/stat : 26895 (glucose_static) R 26892 26892 26342 0 -1 4202496 29417 0 0 0 40038 8 0 0 25 0 1 0 486560868 106954752 16653 33554432000 4194304 4260849 140733810534080 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/26895/statm: 26112 16653 250 17 0 22753 0 Current children cumulated CPU time (s) 400.49 Current children cumulated vsize (KiB) 113152 Child status: 20 Real time (s): 400.517 CPU time (s): 400.521 CPU user time (s): 400.43 CPU system time (s): 0.090986 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 113152 getrusage(RUSAGE_CHILDREN,...) data: user time used= 400.43 system time used= 0.090986 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 30628 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= 44 involuntary context switches= 4542 runsolver used 0.597909 second user time and 1.59676 second system time The end
Begin job on node101 at 2011-04-25 18:39:41 IDJOB=3280570 IDBENCH=20401 IDSOLVER=1651 FILE ID=node101/3280570-1303749581 RUNJOBID= node101-1303749579-26883 PBS_JOBID= 13154061 Free space on /tmp= 71780 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT07/industrial/fuhs/hard/AProVE07-03.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3280570-1303749581/watcher-3280570-1303749581 -o /tmp/evaluation-result-3280570-1303749581/solver-3280570-1303749581 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3280570-1303749581.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 8c67f78ca36ec96e662a91c74844da21 RANDOM SEED=1952001916 node101.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.841 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.68 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.841 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.07 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.841 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.77 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.841 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.841 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.74 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.841 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.841 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.841 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: 23278644 kB Buffers: 2073972 kB Cached: 7092864 kB SwapCached: 33708 kB Active: 6143080 kB Inactive: 3061028 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 23278644 kB SwapTotal: 67111528 kB SwapFree: 67051468 kB Dirty: 1288 kB Writeback: 0 kB AnonPages: 25116 kB Mapped: 8508 kB Slab: 404144 kB PageTables: 5168 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 191920 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= 71600 MiB End job on node101 at 2011-04-25 18:46:22