| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 132.277 | 132.286 |
| Name | manol-pipe-c10nidw.cnf |
| MD5SUM | 943fd86d922b13236c21a74c4f82b6d0 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 132.277 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 433601 |
| Number of clauses | 1291714 |
| Sum of the clauses size | 3013998 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 861142 |
| Number of clauses of size 3 | 430571 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
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.54 c ============================================================================== 0.00/0.54 c | | ORIGINAL | LEARNT | | 0.00/0.54 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.54 c ============================================================================== 0.00/0.54 c | 0 | 1291713 3013997 | 387513 0 0 nan | 0.000 % | 4.19/4.23 c | 0 | 547995 2160666 | -- 0 -- -- | -- | -743716/-853326 4.19/4.23 c ============================================================================== 4.19/4.23 c Result : #vars: 68748 #clauses: 547995 #literals: 2160666 4.19/4.23 c CPU time: 4.06538 s 4.19/4.23 c ============================================================================== 4.59/4.63 c 4.59/4.63 c Starting glucose 4.59/4.63 c 7.48/7.52 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 7.48/7.52 c WARNING: for repeatability, setting FPU to use double precision 7.48/7.52 c ============================[ Problem Statistics ]============================= 7.48/7.52 c | | 7.48/7.52 c | Number of variables: 68748 | 7.48/7.52 c | Number of clauses: 547995 | 7.48/7.52 c | Parse time: 0.15 s | 7.48/7.52 c | | 7.48/7.52 c ============================[ Search Statistics ]============================== 7.48/7.52 c | Conflicts | ORIGINAL | LEARNT | Progress | 7.48/7.52 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 7.48/7.52 c =============================================================================== 7.48/7.52 c | 312 | 68735 547995 2160666 | 1 311 15 | 0.019 % | 7.48/7.52 c | 960 | 68735 547995 2160666 | 1 959 15 | 0.019 % | 7.48/7.52 c | 1230 | 68735 547995 2160666 | 1 1229 16 | 0.019 % | 7.48/7.52 c | 2227 | 68716 547995 2160666 | 1 2225 16 | 0.047 % | 7.48/7.52 c | 2327 | 68716 547995 2160666 | 1 2325 18 | 0.047 % | 7.48/7.52 c | 2488 | 68716 547995 2160666 | 1 2486 18 | 0.047 % | 7.48/7.52 c | 2800 | 68716 547995 2160666 | 1 2798 18 | 0.047 % | 7.48/7.52 c | 2901 | 68716 547995 2160666 | 1 2899 19 | 0.047 % | 7.48/7.52 c | 3262 | 68716 547995 2160666 | 1 3260 19 | 0.047 % | 7.48/7.52 c | 3670 | 68644 547995 2160666 | 1 3666 19 | 0.151 % | 7.48/7.52 c | 4072 | 68574 547995 2160666 | 1 2076 11 | 0.253 % | 7.48/7.52 c | 4240 | 68493 547995 2160666 | 1 2241 11 | 0.371 % | 7.48/7.52 c | 4502 | 68493 547995 2160666 | 1 2503 13 | 0.371 % | 7.48/7.52 c | 4725 | 68487 544360 2144346 | 1 2669 15 | 0.380 % | 7.48/7.52 c | 5070 | 68484 544360 2144346 | 1 3013 15 | 0.384 % | 7.48/7.52 c | 5661 | 68358 544360 2144346 | 1 3602 16 | 0.567 % | 7.48/7.52 c | 11235 | 68358 544360 2144346 | 1 4923 15 | 0.567 % | 7.48/7.52 c | 12173 | 68352 544360 2144346 | 1 5859 17 | 0.576 % | 7.48/7.52 c | 12712 | 68352 544360 2144346 | 1 6398 17 | 0.576 % | 7.48/7.52 c | 13529 | 68352 542189 2133898 | 1 7214 18 | 0.576 % | 7.48/7.52 c | 13630 | 68352 542189 2133898 | 1 7315 18 | 0.576 % | 7.48/7.52 c | 13932 | 68136 542189 2133898 | 1 7612 18 | 0.890 % | 7.48/7.52 c | 14216 | 68062 542189 2133898 | 1 7895 18 | 0.998 % | 7.48/7.52 c | 14589 | 68062 542189 2133898 | 1 8268 18 | 0.998 % | 7.48/7.52 c | 38210 | 68030 537747 2112419 | 1 15899 20 | 1.044 % | 7.48/7.52 c | 40261 | 68030 537747 2112419 | 1 17950 19 | 1.044 % | 7.48/7.52 c | 40542 | 68021 537747 2112419 | 1 18230 19 | 1.057 % | 7.48/7.52 c | 40896 | 68020 537747 2112419 | 1 18583 19 | 1.059 % | 7.48/7.52 c | 41528 | 68020 537747 2112419 | 1 19215 19 | 1.059 % | 7.48/7.52 c | 41628 | 68020 537747 2112419 | 1 19315 19 | 1.059 % | 7.48/7.52 c | 41905 | 68020 537747 2112419 | 1 19592 19 | 1.059 % | 7.48/7.52 c | 42729 | 68020 537747 2112419 | 1 20416 19 | 1.059 % | 7.48/7.52 c | 42896 | 68020 537747 2112419 | 1 20583 19 | 1.059 % | 7.48/7.52 c | 43319 | 67992 537747 2112419 | 1 21004 19 | 1.100 % | 7.48/7.52 c | 43801 | 67992 537747 2112419 | 1 21486 19 | 1.100 % | 7.48/7.52 c | 44714 | 67992 537747 2112419 | 1 22399 19 | 1.100 % | 7.48/7.52 c | 60356 | 67992 537130 2109524 | 1 26211 19 | 1.100 % | 7.48/7.52 c | 61909 | 67992 537130 2109524 | 1 27764 18 | 1.100 % | 7.48/7.52 c | 62009 | 67992 537130 2109524 | 1 27864 18 | 1.100 % | 10.18/10.22 c | 63277 | 67992 537130 2109524 | 1 14711 13 | 1.100 % | 10.18/10.22 c | 63377 | 67992 537130 2109524 | 1 14811 13 | 1.100 % | 10.18/10.22 c | 63853 | 67992 537130 2109524 | 1 15287 13 | 1.100 % | 10.18/10.22 c | 64796 | 67992 537130 2109524 | 1 16230 14 | 1.100 % | 10.18/10.22 c | 65048 | 67992 537130 2109524 | 1 16482 14 | 1.100 % | 10.18/10.22 c | 65566 | 67992 537130 2109524 | 1 17000 14 | 1.100 % | 10.18/10.22 c | 65711 | 67992 537130 2109524 | 1 17145 14 | 1.100 % | 10.18/10.22 c | 67008 | 67992 537130 2109524 | 1 18442 15 | 1.100 % | 10.18/10.22 c | 67270 | 67991 537114 2109444 | 1 18700 16 | 1.101 % | 10.18/10.22 c | 67409 | 67991 537114 2109444 | 1 18839 16 | 1.101 % | 10.18/10.22 c | 67601 | 67991 537114 2109444 | 1 19031 16 | 1.101 % | 10.18/10.22 c | 68998 | 67991 537114 2109444 | 1 20428 16 | 1.101 % | 10.18/10.22 c | 70735 | 67985 537114 2109444 | 1 22163 16 | 1.110 % | 10.18/10.22 c | 70835 | 67985 537114 2109444 | 1 22263 16 | 1.110 % | 10.18/10.22 c | 71027 | 67985 537114 2109444 | 1 22455 16 | 1.110 % | 10.18/10.22 c | 71284 | 67985 537114 2109444 | 1 22712 16 | 1.110 % | 10.18/10.22 c | 72396 | 67979 537114 2109444 | 1 23823 16 | 1.119 % | 10.18/10.22 c | 72631 | 67979 537114 2109444 | 1 24058 16 | 1.119 % | 10.18/10.22 c | 72776 | 67979 537114 2109444 | 1 24203 16 | 1.119 % | 10.18/10.22 c | 72877 | 67979 537114 2109444 | 1 24304 16 | 1.119 % | 10.18/10.22 c | 73318 | 67979 537114 2109444 | 1 24745 16 | 1.119 % | 10.18/10.22 c | 73978 | 67979 537114 2109444 | 1 25405 16 | 1.119 % | 10.18/10.22 c | 75240 | 67979 536948 2108755 | 1 26667 17 | 1.119 % | 10.18/10.22 c | 75340 | 67969 536948 2108755 | 1 26765 17 | 1.133 % | 10.18/10.22 c | 76304 | 67969 536948 2108755 | 1 27729 17 | 1.133 % | 10.18/10.22 c | 76606 | 67969 536948 2108755 | 1 28031 17 | 1.133 % | 10.18/10.22 c | 76921 | 67969 536948 2108755 | 1 28346 17 | 1.133 % | 10.18/10.22 c | 77021 | 67969 536948 2108755 | 1 28446 17 | 1.133 % | 10.18/10.22 c | 77351 | 67969 536948 2108755 | 1 28776 17 | 1.133 % | 10.18/10.22 c | 77640 | 67969 536948 2108755 | 1 29065 17 | 1.133 % | 10.18/10.22 c | 78090 | 67969 536948 2108755 | 1 29515 17 | 1.133 % | 10.18/10.22 c | 78419 | 67969 536948 2108755 | 1 29844 17 | 1.133 % | 10.18/10.22 c | 80332 | 67967 536948 2108755 | 1 31755 17 | 1.136 % | 10.18/10.22 c | 81538 | 67967 536739 2107930 | 1 32954 17 | 1.136 % | 10.18/10.22 c | 82428 | 67961 536739 2107930 | 1 33842 17 | 1.145 % | 10.18/10.22 c | 82529 | 67961 536739 2107930 | 1 33943 17 | 1.145 % | 10.18/10.22 c | 83067 | 67960 536739 2107930 | 1 17475 10 | 1.146 % | 10.18/10.22 c | 83167 | 67960 536739 2107930 | 1 17575 10 | 1.146 % | 10.18/10.22 c | 83476 | 67959 536739 2107930 | 1 17883 10 | 1.148 % | 10.18/10.22 c | 84392 | 67959 536739 2107930 | 1 18799 11 | 1.148 % | 10.18/10.22 c | 85943 | 67959 536739 2107930 | 1 20350 11 | 1.148 % | 10.18/10.22 c | 86257 | 67959 536739 2107930 | 1 20664 11 | 1.148 % | 10.18/10.22 c | 86633 | 67959 536739 2107930 | 1 21040 11 | 1.148 % | 10.18/10.22 c | 88520 | 67959 536739 2107930 | 1 22927 12 | 1.148 % | 10.18/10.22 c | 99823 | 67959 536739 2107930 | 1 34230 18 | 1.148 % | 10.18/10.22 c | 100612 | 67958 536633 2107407 | 1 35011 18 | 1.149 % | 10.18/10.22 c | 108353 | 67956 536633 2107407 | 1 23158 12 | 1.152 % | 10.18/10.22 c | 108689 | 67956 536633 2107407 | 1 23494 12 | 1.152 % | 10.18/10.22 c | 108958 | 67956 536633 2107407 | 1 23763 12 | 1.152 % | 10.18/10.22 c | 109438 | 67956 536633 2107407 | 1 24243 12 | 1.152 % | 12.97/13.03 c | 109786 | 67932 536633 2107407 | 1 24590 12 | 1.187 % | 12.97/13.03 c | 111139 | 67932 535958 2104524 | 1 25941 13 | 1.187 % | 12.97/13.03 c | 111242 | 67932 535958 2104524 | 1 26044 13 | 1.187 % | 12.97/13.03 c | 111407 | 67932 535958 2104524 | 1 26209 13 | 1.187 % | 12.97/13.03 c | 111642 | 67932 535958 2104524 | 1 26444 13 | 1.187 % | 12.97/13.03 c | 111898 | 67932 535958 2104524 | 1 26700 13 | 1.187 % | 12.97/13.03 c | 113347 | 67932 535958 2104524 | 1 28149 14 | 1.187 % | 12.97/13.03 c | 113449 | 67932 535958 2104524 | 1 28251 14 | 1.187 % | 12.97/13.03 c | 113739 | 67932 535958 2104524 | 1 28541 14 | 1.187 % | 12.97/13.03 c | 113901 | 67932 535958 2104524 | 1 28703 14 | 1.187 % | 12.97/13.03 c | 114175 | 67926 535958 2104524 | 1 28976 14 | 1.196 % | 12.97/13.03 c | 115203 | 67926 535958 2104524 | 1 30004 14 | 1.196 % | 12.97/13.03 c | 115313 | 67926 535958 2104524 | 1 30114 14 | 1.196 % | 12.97/13.03 c | 115414 | 67926 535958 2104524 | 1 30215 14 | 1.196 % | 12.97/13.03 c | 116527 | 67926 535958 2104524 | 1 31328 14 | 1.196 % | 12.97/13.03 c | 117035 | 67917 535888 2104277 | 1 31835 14 | 1.209 % | 12.97/13.03 c | 118265 | 67917 535888 2104277 | 1 33065 15 | 1.209 % | 12.97/13.03 c | 120841 | 67917 535888 2104277 | 1 35641 15 | 1.209 % | 12.97/13.03 c | 121028 | 67917 535888 2104277 | 1 35828 15 | 1.209 % | 12.97/13.03 c | 121875 | 67917 535888 2104277 | 1 36675 15 | 1.209 % | 12.97/13.03 c | 123261 | 67917 535888 2104277 | 1 38061 15 | 1.209 % | 12.97/13.03 c | 123955 | 67917 535715 2103678 | 1 38746 15 | 1.209 % | 12.97/13.03 c | 128087 | 67917 535715 2103678 | 1 42878 15 | 1.209 % | 12.97/13.03 c | 128728 | 67917 535715 2103678 | 1 43519 15 | 1.209 % | 12.97/13.03 c | 136275 | 67917 535715 2103678 | 1 28880 13 | 1.209 % | 12.97/13.03 c | 136404 | 67917 535715 2103678 | 1 29009 13 | 1.209 % | 12.97/13.03 c | 136505 | 67917 535715 2103678 | 1 29110 14 | 1.209 % | 12.97/13.03 c | 138932 | 67917 535715 2103678 | 1 31537 14 | 1.209 % | 12.97/13.03 c | 139215 | 67917 535715 2103678 | 1 31820 14 | 1.209 % | 12.97/13.03 c | 141171 | 67917 535715 2103678 | 1 33776 14 | 1.209 % | 12.97/13.03 c | 141271 | 67917 535715 2103678 | 1 33876 14 | 1.209 % | 12.97/13.03 c | 141652 | 67917 535715 2103678 | 1 34257 14 | 1.209 % | 12.97/13.03 c | 141965 | 67917 535715 2103678 | 1 34570 14 | 1.209 % | 12.97/13.03 c | 143409 | 67917 535715 2103678 | 1 36014 14 | 1.209 % | 12.97/13.03 c | 143602 | 67917 535715 2103678 | 1 36207 14 | 1.209 % | 12.97/13.03 c | 143870 | 67917 535715 2103678 | 1 36475 14 | 1.209 % | 12.97/13.03 c | 143970 | 67917 535715 2103678 | 1 36575 14 | 1.209 % | 12.97/13.03 c | 144122 | 67917 535715 2103678 | 1 36727 14 | 1.209 % | 12.97/13.03 c | 150732 | 67917 535715 2103678 | 1 43337 15 | 1.209 % | 12.97/13.03 c | 150836 | 67917 535715 2103678 | 1 43441 15 | 1.209 % | 12.97/13.03 c | 150951 | 67917 535715 2103678 | 1 43556 15 | 1.209 % | 12.97/13.03 c | 152029 | 67917 535715 2103678 | 1 44634 15 | 1.209 % | 12.97/13.03 c | 152839 | 67917 535715 2103678 | 1 45444 15 | 1.209 % | 12.97/13.03 c | 153043 | 67917 535715 2103678 | 1 45648 15 | 1.209 % | 12.97/13.03 c | 153324 | 67917 535715 2103678 | 1 45929 15 | 1.209 % | 12.97/13.03 c | 154077 | 67917 535715 2103678 | 1 46682 15 | 1.209 % | 12.97/13.03 c | 154472 | 67917 535715 2103678 | 1 47077 15 | 1.209 % | 12.97/13.03 c | 155600 | 67912 535676 2103541 | 1 48204 15 | 1.216 % | 12.97/13.03 c | 155700 | 67912 535676 2103541 | 1 48304 15 | 1.216 % | 12.97/13.03 c | 155900 | 67912 535676 2103541 | 1 48504 15 | 1.216 % | 17.67/17.77 c | 158992 | 67912 535676 2103541 | 1 26831 10 | 1.216 % | 17.67/17.77 c | 159919 | 67909 535676 2103541 | 1 27757 11 | 1.220 % | 17.67/17.77 c | 160283 | 67909 535676 2103541 | 1 28121 11 | 1.220 % | 17.67/17.77 c | 162973 | 67908 535676 2103541 | 1 30810 11 | 1.222 % | 17.67/17.77 c | 163499 | 67902 535676 2103541 | 1 31335 11 | 1.231 % | 17.67/17.77 c | 166201 | 67902 535676 2103541 | 1 34037 12 | 1.231 % | 17.67/17.77 c | 176757 | 67902 535676 2103541 | 1 44593 12 | 1.231 % | 17.67/17.77 c | 177479 | 67901 535574 2103134 | 1 45314 12 | 1.232 % | 17.67/17.77 c | 178445 | 67901 535574 2103134 | 1 46280 12 | 1.232 % | 17.67/17.77 c | 178609 | 67901 535574 2103134 | 1 46444 12 | 1.232 % | 17.67/17.77 c | 178821 | 67901 535574 2103134 | 1 46656 12 | 1.232 % | 17.67/17.77 c | 178922 | 67900 535574 2103134 | 1 46756 12 | 1.233 % | 17.67/17.77 c | 179728 | 67900 535574 2103134 | 1 47562 12 | 1.233 % | 17.67/17.77 c | 185925 | 67886 535574 2103134 | 1 53758 12 | 1.254 % | 17.67/17.77 c | 186572 | 67886 535574 2103134 | 1 54405 12 | 1.254 % | 17.67/17.77 c | 186672 | 67886 535574 2103134 | 1 54505 12 | 1.254 % | 17.67/17.77 c | 187006 | 67886 535574 2103134 | 1 27435 8 | 1.254 % | 17.67/17.77 c | 187238 | 67886 535574 2103134 | 1 27667 8 | 1.254 % | 17.67/17.77 c | 188263 | 67791 535574 2103134 | 1 28690 9 | 1.392 % | 17.67/17.77 c | 188528 | 67791 535574 2103134 | 1 28955 9 | 1.392 % | 17.67/17.77 c | 188628 | 67791 535574 2103134 | 1 29055 9 | 1.392 % | 17.67/17.77 c | 188779 | 67791 535574 2103134 | 1 29206 9 | 1.392 % | 17.67/17.77 c | 189248 | 67776 535574 2103134 | 1 29673 9 | 1.414 % | 17.67/17.77 c | 190407 | 67776 535574 2103134 | 1 30832 9 | 1.414 % | 17.67/17.77 c | 193240 | 67776 533900 2095347 | 1 30583 10 | 1.414 % | 17.67/17.77 c | 193621 | 67776 533900 2095347 | 1 30964 10 | 1.414 % | 17.67/17.77 c | 194675 | 67776 533900 2095347 | 1 32018 10 | 1.414 % | 17.67/17.77 c | 195342 | 67776 533900 2095347 | 1 32685 10 | 1.414 % | 17.67/17.77 c | 196320 | 67776 533900 2095347 | 1 33663 11 | 1.414 % | 17.67/17.77 c | 196420 | 67776 533900 2095347 | 1 33763 11 | 1.414 % | 17.67/17.77 c | 196833 | 67776 533900 2095347 | 1 34176 11 | 1.414 % | 17.67/17.77 c | 198274 | 67776 533900 2095347 | 1 35617 11 | 1.414 % | 17.67/17.77 c | 198379 | 67772 533884 2095255 | 1 35712 11 | 1.420 % | 17.67/17.77 c | 199345 | 67771 533884 2095255 | 1 36677 11 | 1.421 % | 17.67/17.77 c | 199467 | 67771 533884 2095255 | 1 36799 11 | 1.421 % | 17.67/17.77 c | 200011 | 67771 533884 2095255 | 1 37343 12 | 1.421 % | 17.67/17.77 c | 200112 | 67771 533884 2095255 | 1 37444 12 | 1.421 % | 17.67/17.77 c | 200224 | 67771 533884 2095255 | 1 37556 12 | 1.421 % | 17.67/17.77 c | 200324 | 67771 533884 2095255 | 1 37656 12 | 1.421 % | 17.67/17.77 c | 265497 | 67771 533884 2095255 | 1 42560 16 | 1.421 % | 17.67/17.77 c | 265750 | 67771 533852 2095108 | 1 42812 16 | 1.421 % | 17.67/17.77 c | 265900 | 67771 533852 2095108 | 1 42962 16 | 1.421 % | 17.67/17.77 c | 266668 | 67771 533852 2095108 | 1 43730 16 | 1.421 % | 17.67/17.77 c | 266949 | 67771 533852 2095108 | 1 44011 16 | 1.421 % | 17.67/17.77 c | 267116 | 67771 533852 2095108 | 1 44178 16 | 1.421 % | 17.67/17.77 c | 272971 | 67771 533852 2095108 | 1 50033 17 | 1.421 % | 17.67/17.77 c | 273437 | 67771 533852 2095108 | 1 50499 17 | 1.421 % | 17.67/17.77 c | 273537 | 67771 533852 2095108 | 1 50599 17 | 1.421 % | 17.67/17.77 c | 274024 | 67771 533852 2095108 | 1 51086 17 | 1.421 % | 17.67/17.77 c | 274125 | 67771 533852 2095108 | 1 51187 17 | 1.421 % | 19.97/20.09 c | 275855 | 67771 533852 2095108 | 1 52917 17 | 1.421 % | 19.97/20.09 c | 275984 | 67771 533852 2095108 | 1 53046 17 | 1.421 % | 19.97/20.09 c | 276085 | 67771 533852 2095108 | 1 53147 17 | 1.421 % | 19.97/20.09 c | 283453 | 67771 533852 2095108 | 1 60515 16 | 1.421 % | 19.97/20.09 c | 283987 | 67771 533852 2095108 | 1 61049 16 | 1.421 % | 19.97/20.09 c | 284698 | 67771 533852 2095108 | 1 61760 16 | 1.421 % | 19.97/20.09 c | 284798 | 67771 533852 2095108 | 1 61860 16 | 1.421 % | 19.97/20.09 c | 285412 | 67771 533852 2095108 | 1 62474 16 | 1.421 % | 19.97/20.09 c | 286936 | 67771 533852 2095108 | 1 63998 16 | 1.421 % | 19.97/20.09 c | 288869 | 67771 533852 2095108 | 1 65931 16 | 1.421 % | 19.97/20.09 c | 289517 | 67771 533852 2095108 | 1 66579 17 | 1.421 % | 19.97/20.09 c | 290431 | 67771 533852 2095108 | 1 67493 17 | 1.421 % | 19.97/20.09 c | 290616 | 67771 533852 2095108 | 1 67678 17 | 1.421 % | 19.97/20.09 c | 292097 | 67771 533852 2095108 | 1 69159 17 | 1.421 % | 19.97/20.09 c | 292583 | 67771 533852 2095108 | 1 69645 17 | 1.421 % | 19.97/20.09 c | 293215 | 67771 533852 2095108 | 1 35451 11 | 1.421 % | 19.97/20.09 c | 294181 | 67771 533852 2095108 | 1 36417 11 | 1.421 % | 19.97/20.09 c | 294374 | 67771 533852 2095108 | 1 36610 11 | 1.421 % | 19.97/20.09 c | 294475 | 67771 533852 2095108 | 1 36711 11 | 1.421 % | 19.97/20.09 c | 294624 | 67771 533852 2095108 | 1 36860 11 | 1.421 % | 19.97/20.09 c | 297742 | 67771 533852 2095108 | 1 39978 13 | 1.421 % | 19.97/20.09 c | 298455 | 67771 533852 2095108 | 1 40691 13 | 1.421 % | 19.97/20.09 c | 298709 | 67771 533852 2095108 | 1 40945 13 | 1.421 % | 19.97/20.09 c | 300029 | 67771 533852 2095108 | 1 42265 13 | 1.421 % | 19.97/20.09 c | 300820 | 67771 533852 2095108 | 1 43056 14 | 1.421 % | 19.97/20.09 c | 301013 | 67771 533852 2095108 | 1 43249 14 | 1.421 % | 19.97/20.09 c | 301287 | 67771 533852 2095108 | 1 43523 14 | 1.421 % | 19.97/20.09 c | 302198 | 67771 533852 2095108 | 1 44434 14 | 1.421 % | 19.97/20.09 c | 302564 | 67771 533852 2095108 | 1 44800 14 | 1.421 % | 19.97/20.09 c | 302828 | 67771 533852 2095108 | 1 45064 14 | 1.421 % | 19.97/20.09 c | 303392 | 67771 533852 2095108 | 1 45628 14 | 1.421 % | 19.97/20.09 c | 305698 | 67771 533852 2095108 | 1 47934 14 | 1.421 % | 19.97/20.09 c | 306160 | 67771 533852 2095108 | 1 48396 14 | 1.421 % | 19.97/20.09 c | 306321 | 67771 533852 2095108 | 1 48557 14 | 1.421 % | 19.97/20.09 c | 306747 | 67771 533852 2095108 | 1 48983 14 | 1.421 % | 19.97/20.09 c | 306848 | 67771 533852 2095108 | 1 49084 15 | 1.421 % | 19.97/20.09 c | 306995 | 67771 533852 2095108 | 1 49231 15 | 1.421 % | 19.97/20.09 c | 307142 | 67771 533852 2095108 | 1 49378 15 | 1.421 % | 19.97/20.09 c | 308090 | 67771 533852 2095108 | 1 50326 15 | 1.421 % | 19.97/20.09 c | 308576 | 67771 533852 2095108 | 1 50812 15 | 1.421 % | 19.97/20.09 c | 308809 | 67771 533852 2095108 | 1 51045 15 | 1.421 % | 19.97/20.09 c | 308909 | 67771 533852 2095108 | 1 51145 15 | 1.421 % | 19.97/20.09 c | 309897 | 67771 533852 2095108 | 1 52133 15 | 1.421 % | 19.97/20.09 c | 311621 | 67771 533852 2095108 | 1 53857 15 | 1.421 % | 19.97/20.09 c | 312766 | 67771 533852 2095108 | 1 55002 15 | 1.421 % | 19.97/20.09 c | 312867 | 67771 533852 2095108 | 1 55103 15 | 1.421 % | 19.97/20.09 c | 312968 | 67771 533852 2095108 | 1 55204 15 | 1.421 % | 19.97/20.09 c | 313138 | 67771 533852 2095108 | 1 55374 15 | 1.421 % | 19.97/20.09 c | 313241 | 67771 533852 2095108 | 1 55477 15 | 1.421 % | 19.97/20.09 c | 313341 | 67771 533852 2095108 | 1 55577 15 | 1.421 % | 23.17/23.20 c | 313496 | 67771 533852 2095108 | 1 55732 15 | 1.421 % | 23.17/23.20 c | 313998 | 67771 533852 2095108 | 1 56234 15 | 1.421 % | 23.17/23.20 c | 317165 | 67771 533852 2095108 | 1 59401 15 | 1.421 % | 23.17/23.20 c | 317296 | 67771 533852 2095108 | 1 59532 15 | 1.421 % | 23.17/23.20 c | 318158 | 67771 533852 2095108 | 1 60394 16 | 1.421 % | 23.17/23.20 c | 319227 | 67771 533852 2095108 | 1 61463 16 | 1.421 % | 23.17/23.20 c | 319327 | 67771 533852 2095108 | 1 61563 16 | 1.421 % | 23.17/23.20 c | 319599 | 67771 533852 2095108 | 1 61835 16 | 1.421 % | 23.17/23.20 c | 319753 | 67771 533852 2095108 | 1 61989 16 | 1.421 % | 23.17/23.20 c | 320767 | 67771 533852 2095108 | 1 63003 16 | 1.421 % | 23.17/23.20 c | 321121 | 67771 533852 2095108 | 1 63357 16 | 1.421 % | 23.17/23.20 c | 321426 | 67771 533852 2095108 | 1 63662 16 | 1.421 % | 23.17/23.20 c | 321735 | 67771 533852 2095108 | 1 63971 16 | 1.421 % | 23.17/23.20 c | 329458 | 67771 533852 2095108 | 1 71694 17 | 1.421 % | 23.17/23.20 c | 329992 | 67771 533852 2095108 | 1 72228 17 | 1.421 % | 23.17/23.20 c | 330157 | 67771 533852 2095108 | 1 72393 17 | 1.421 % | 23.17/23.20 c | 339532 | 67771 533852 2095108 | 1 44201 13 | 1.421 % | 23.17/23.20 c | 339633 | 67771 533852 2095108 | 1 44302 13 | 1.421 % | 23.17/23.20 c | 339735 | 67771 533852 2095108 | 1 44404 13 | 1.421 % | 23.17/23.20 c | 340193 | 67771 533852 2095108 | 1 44862 13 | 1.421 % | 23.17/23.20 c | 340376 | 67771 533852 2095108 | 1 45045 13 | 1.421 % | 23.17/23.20 c | 340585 | 67771 533852 2095108 | 1 45254 13 | 1.421 % | 23.17/23.20 c | 340977 | 67771 533852 2095108 | 1 45646 14 | 1.421 % | 23.17/23.20 c | 341866 | 67771 533852 2095108 | 1 46535 14 | 1.421 % | 23.17/23.20 c | 342027 | 67707 533077 2091258 | 1 46689 14 | 1.514 % | 23.17/23.20 c | 342361 | 67707 533077 2091258 | 1 47023 14 | 1.514 % | 23.17/23.20 c | 344170 | 67707 533077 2091258 | 1 48832 14 | 1.514 % | 23.17/23.20 c | 344485 | 67707 533077 2091258 | 1 49147 14 | 1.514 % | 23.17/23.20 c | 344764 | 67707 533077 2091258 | 1 49426 14 | 1.514 % | 23.17/23.20 c | 344891 | 67707 533077 2091258 | 1 49553 14 | 1.514 % | 23.17/23.20 c | 345663 | 67707 533077 2091258 | 1 50325 14 | 1.514 % | 23.17/23.20 c | 346615 | 67707 533077 2091258 | 1 51277 14 | 1.514 % | 23.17/23.20 c | 346912 | 67707 533077 2091258 | 1 51574 14 | 1.514 % | 23.17/23.20 c | 350092 | 67707 533077 2091258 | 1 54754 15 | 1.514 % | 23.17/23.20 c | 351193 | 67707 533077 2091258 | 1 55855 15 | 1.514 % | 23.17/23.20 c | 351853 | 67707 533077 2091258 | 1 56515 15 | 1.514 % | 23.17/23.20 c | 352394 | 67707 533077 2091258 | 1 57056 15 | 1.514 % | 23.17/23.20 c | 352942 | 67707 533061 2091202 | 1 57601 15 | 1.514 % | 23.17/23.20 c | 353897 | 67707 533061 2091202 | 1 58556 15 | 1.514 % | 23.17/23.20 c | 354086 | 67707 533061 2091202 | 1 58745 15 | 1.514 % | 23.17/23.20 c | 354187 | 67707 533061 2091202 | 1 58846 15 | 1.514 % | 23.17/23.20 c | 355616 | 67707 533061 2091202 | 1 60275 15 | 1.514 % | 23.17/23.20 c | 356929 | 67707 533061 2091202 | 1 61588 15 | 1.514 % | 23.17/23.20 c | 357693 | 67707 533061 2091202 | 1 62352 15 | 1.514 % | 23.17/23.20 c | 358033 | 67707 533061 2091202 | 1 62692 15 | 1.514 % | 23.17/23.20 c | 358133 | 67707 533061 2091202 | 1 62792 15 | 1.514 % | 23.17/23.20 c | 371786 | 67707 533061 2091202 | 1 76445 17 | 1.514 % | 23.17/23.20 c | 371929 | 67707 533061 2091202 | 1 76588 17 | 1.514 % | 23.17/23.20 c | 372192 | 67707 533061 2091202 | 1 76851 17 | 1.514 % | 23.17/23.20 c | 372962 | 67707 533061 2091202 | 1 77621 17 | 1.514 % | 26.77/26.87 c | 373119 | 67707 533061 2091202 | 1 77778 17 | 1.514 % | 26.77/26.87 c | 373423 | 67707 533061 2091202 | 1 78082 17 | 1.514 % | 26.77/26.87 c | 373622 | 67707 533061 2091202 | 1 78281 17 | 1.514 % | 26.77/26.87 c | 373791 | 67707 533061 2091202 | 1 78450 17 | 1.514 % | 26.77/26.87 c | 374892 | 67707 533061 2091202 | 1 79551 17 | 1.514 % | 26.77/26.87 c | 375218 | 67707 533061 2091202 | 1 79877 17 | 1.514 % | 26.77/26.87 c | 376153 | 67707 533061 2091202 | 1 40518 10 | 1.514 % | 26.77/26.87 c | 376345 | 67707 533061 2091202 | 1 40710 10 | 1.514 % | 26.77/26.87 c | 377573 | 67707 533061 2091202 | 1 41938 11 | 1.514 % | 26.77/26.87 c | 379027 | 67707 533061 2091202 | 1 43392 11 | 1.514 % | 26.77/26.87 c | 379174 | 67707 533061 2091202 | 1 43539 11 | 1.514 % | 26.77/26.87 c | 379545 | 67707 533061 2091202 | 1 43910 11 | 1.514 % | 26.77/26.87 c | 380285 | 67707 533061 2091202 | 1 44650 11 | 1.514 % | 26.77/26.87 c | 381404 | 67640 532290 2087373 | 1 45767 12 | 1.612 % | 26.77/26.87 c | 381505 | 67640 532290 2087373 | 1 45868 12 | 1.612 % | 26.77/26.87 c | 382940 | 67576 532290 2087373 | 1 47301 12 | 1.705 % | 26.77/26.87 c | 384888 | 67576 532290 2087373 | 1 49249 12 | 1.705 % | 26.77/26.87 c | 386076 | 67576 532290 2087373 | 1 50437 12 | 1.705 % | 26.77/26.87 c | 387102 | 67567 531147 2082616 | 1 51462 12 | 1.718 % | 26.77/26.87 c | 387885 | 67567 531147 2082616 | 1 52245 13 | 1.718 % | 26.77/26.87 c | 388349 | 67567 531147 2082616 | 1 52709 13 | 1.718 % | 26.77/26.87 c | 389472 | 67567 531147 2082616 | 1 53832 13 | 1.718 % | 26.77/26.87 c | 389825 | 67567 531147 2082616 | 1 54185 13 | 1.718 % | 26.77/26.87 c | 390249 | 67567 531147 2082616 | 1 54609 13 | 1.718 % | 26.77/26.87 c | 391215 | 67567 531147 2082616 | 1 55575 13 | 1.718 % | 26.77/26.87 c | 392687 | 67567 531147 2082616 | 1 57047 13 | 1.718 % | 26.77/26.87 c | 393111 | 67567 531147 2082616 | 1 57471 13 | 1.718 % | 26.77/26.87 c | 393238 | 67567 531147 2082616 | 1 57598 13 | 1.718 % | 26.77/26.87 c | 394061 | 67567 531147 2082616 | 1 58421 13 | 1.718 % | 26.77/26.87 c | 394284 | 67567 531147 2082616 | 1 58644 14 | 1.718 % | 26.77/26.87 c | 394491 | 67567 531147 2082616 | 1 58851 14 | 1.718 % | 26.77/26.87 c | 394671 | 67567 531147 2082616 | 1 59031 14 | 1.718 % | 26.77/26.87 c | 418396 | 67567 530953 2081927 | 1 82755 17 | 1.718 % | 26.77/26.87 c | 418599 | 67567 530953 2081927 | 1 82958 17 | 1.718 % | 26.77/26.87 c | 418961 | 67567 530953 2081927 | 1 83320 17 | 1.718 % | 26.77/26.87 c | 420827 | 67567 530953 2081927 | 1 85186 17 | 1.718 % | 26.77/26.87 c | 421633 | 67567 530953 2081927 | 1 43032 10 | 1.718 % | 26.77/26.87 c | 422448 | 67567 530953 2081927 | 1 43847 11 | 1.718 % | 26.77/26.87 c | 422550 | 67567 530953 2081927 | 1 43949 11 | 1.718 % | 26.77/26.87 c | 422856 | 67567 530953 2081927 | 1 44255 11 | 1.718 % | 26.77/26.87 c | 423416 | 67567 530953 2081927 | 1 44815 11 | 1.718 % | 26.77/26.87 c | 423851 | 67567 530953 2081927 | 1 45250 11 | 1.718 % | 26.77/26.87 c | 424409 | 67567 530953 2081927 | 1 45808 11 | 1.718 % | 26.77/26.87 c | 425362 | 67567 530953 2081927 | 1 46761 12 | 1.718 % | 26.77/26.87 c | 425462 | 67567 530953 2081927 | 1 46861 12 | 1.718 % | 26.77/26.87 c | 425628 | 67567 530953 2081927 | 1 47027 12 | 1.718 % | 26.77/26.87 c | 426116 | 67567 530953 2081927 | 1 47515 12 | 1.718 % | 26.77/26.87 c | 426217 | 67567 530953 2081927 | 1 47616 12 | 1.718 % | 26.77/26.87 c | 426952 | 67567 530953 2081927 | 1 48351 12 | 1.718 % | 31.47/31.53 c | 427114 | 67567 530953 2081927 | 1 48513 12 | 1.718 % | 31.47/31.53 c | 428743 | 67567 530953 2081927 | 1 50142 12 | 1.718 % | 31.47/31.53 c | 428844 | 67567 530953 2081927 | 1 50243 12 | 1.718 % | 31.47/31.53 c | 429082 | 67567 530953 2081927 | 1 50481 12 | 1.718 % | 31.47/31.53 c | 429737 | 67567 530953 2081927 | 1 51136 12 | 1.718 % | 31.47/31.53 c | 430055 | 67567 530953 2081927 | 1 51454 13 | 1.718 % | 31.47/31.53 c | 431206 | 67567 530953 2081927 | 1 52605 13 | 1.718 % | 31.47/31.53 c | 431741 | 67567 530953 2081927 | 1 53140 13 | 1.718 % | 31.47/31.53 c | 432282 | 67567 530953 2081927 | 1 53681 13 | 1.718 % | 31.47/31.53 c | 432382 | 67567 530953 2081927 | 1 53781 13 | 1.718 % | 31.47/31.53 c | 432945 | 67567 530953 2081927 | 1 54344 13 | 1.718 % | 31.47/31.53 c | 433459 | 67567 530953 2081927 | 1 54858 13 | 1.718 % | 31.47/31.53 c | 433768 | 67567 530953 2081927 | 1 55167 13 | 1.718 % | 31.47/31.53 c | 435688 | 67567 530953 2081927 | 1 57087 13 | 1.718 % | 31.47/31.53 c | 436681 | 67567 530953 2081927 | 1 58080 13 | 1.718 % | 31.47/31.53 c | 437147 | 67567 530953 2081927 | 1 58546 13 | 1.718 % | 31.47/31.53 c | 440103 | 67567 530953 2081927 | 1 61502 14 | 1.718 % | 31.47/31.53 c | 446422 | 67567 530953 2081927 | 1 67821 14 | 1.718 % | 31.47/31.53 c | 448111 | 67567 530953 2081927 | 1 69510 14 | 1.718 % | 31.47/31.53 c | 450248 | 67567 530953 2081927 | 1 71647 14 | 1.718 % | 31.47/31.53 c | 450772 | 67567 530953 2081927 | 1 72171 14 | 1.718 % | 31.47/31.53 c | 450993 | 67567 530953 2081927 | 1 72392 14 | 1.718 % | 31.47/31.53 c | 455384 | 67567 530953 2081927 | 1 76783 15 | 1.718 % | 31.47/31.53 c | 456756 | 67567 530953 2081927 | 1 78155 15 | 1.718 % | 31.47/31.53 c | 457682 | 67567 530953 2081927 | 1 79081 15 | 1.718 % | 31.47/31.53 c | 458176 | 67567 530953 2081927 | 1 79575 15 | 1.718 % | 31.47/31.53 c | 458483 | 67567 530953 2081927 | 1 79882 15 | 1.718 % | 31.47/31.53 c | 458904 | 67567 530953 2081927 | 1 80303 15 | 1.718 % | 31.47/31.53 c | 459122 | 67567 530953 2081927 | 1 80521 15 | 1.718 % | 31.47/31.53 c | 461547 | 67567 530953 2081927 | 1 82946 15 | 1.718 % | 31.47/31.53 c | 462482 | 67567 530953 2081927 | 1 83881 15 | 1.718 % | 31.47/31.53 c | 463690 | 67567 530953 2081927 | 1 85089 16 | 1.718 % | 31.47/31.53 c | 477649 | 66921 521515 2036770 | 1 50535 11 | 2.658 % | 31.47/31.53 c | 477947 | 66921 521515 2036770 | 1 50833 12 | 2.658 % | 31.47/31.53 c | 478304 | 66921 521515 2036770 | 1 51190 12 | 2.658 % | 31.47/31.53 c | 478518 | 66921 521515 2036770 | 1 51404 12 | 2.658 % | 31.47/31.53 c | 478775 | 66921 521515 2036770 | 1 51661 12 | 2.658 % | 31.47/31.53 c | 479024 | 66921 521515 2036770 | 1 51910 12 | 2.658 % | 31.47/31.53 c | 479299 | 66921 521515 2036770 | 1 52185 12 | 2.658 % | 31.47/31.53 c | 480305 | 66921 521515 2036770 | 1 53191 12 | 2.658 % | 31.47/31.53 c | 480777 | 66911 521515 2036770 | 1 53662 12 | 2.672 % | 31.47/31.53 c | 480878 | 66911 521455 2036447 | 1 53762 12 | 2.672 % | 31.47/31.53 c | 493275 | 66902 521455 2036447 | 1 66158 14 | 2.685 % | 31.47/31.53 c | 494071 | 66902 521455 2036447 | 1 66954 14 | 2.685 % | 31.47/31.53 c | 499579 | 66902 521455 2036447 | 1 72462 14 | 2.685 % | 31.47/31.53 c | 499893 | 66902 521275 2035539 | 1 72681 14 | 2.685 % | 31.47/31.53 c | 500026 | 66902 521275 2035539 | 1 72814 15 | 2.685 % | 31.47/31.53 c | 500129 | 66902 521275 2035539 | 1 72917 15 | 2.685 % | 31.47/31.53 c | 500348 | 66902 521275 2035539 | 1 73136 15 | 2.685 % | 31.47/31.53 c | 500771 | 66902 521275 2035539 | 1 73559 15 | 2.685 % | 34.67/34.78 c | 500960 | 66902 521275 2035539 | 1 73748 15 | 2.685 % | 34.67/34.78 c | 501460 | 66902 521275 2035539 | 1 74248 15 | 2.685 % | 34.67/34.78 c | 502132 | 66902 521275 2035539 | 1 74920 15 | 2.685 % | 34.67/34.78 c | 502449 | 66899 521275 2035539 | 1 75236 15 | 2.690 % | 34.67/34.78 c | 502549 | 66899 521275 2035539 | 1 75336 15 | 2.690 % | 34.67/34.78 c | 503101 | 66899 521275 2035539 | 1 75888 15 | 2.690 % | 34.67/34.78 c | 503202 | 66899 521275 2035539 | 1 75989 15 | 2.690 % | 34.67/34.78 c | 503504 | 66899 521275 2035539 | 1 76291 15 | 2.690 % | 34.67/34.78 c | 504375 | 66899 521275 2035539 | 1 77162 15 | 2.690 % | 34.67/34.78 c | 504599 | 66894 521275 2035539 | 1 77385 15 | 2.697 % | 34.67/34.78 c | 510136 | 66894 521275 2035539 | 1 82922 16 | 2.697 % | 34.67/34.78 c | 510742 | 66891 521169 2035101 | 1 83371 16 | 2.701 % | 34.67/34.78 c | 510843 | 66891 521169 2035101 | 1 83472 16 | 2.701 % | 34.67/34.78 c | 511832 | 66891 521169 2035101 | 1 84461 16 | 2.701 % | 34.67/34.78 c | 512086 | 66891 521169 2035101 | 1 84715 16 | 2.701 % | 34.67/34.78 c | 512411 | 66891 521169 2035101 | 1 85040 16 | 2.701 % | 34.67/34.78 c | 524448 | 66891 521169 2035101 | 1 50527 11 | 2.701 % | 34.67/34.78 c | 524589 | 66891 521169 2035101 | 1 50668 11 | 2.701 % | 34.67/34.78 c | 524690 | 66891 521169 2035101 | 1 50769 11 | 2.701 % | 34.67/34.78 c | 524850 | 66891 521169 2035101 | 1 50929 11 | 2.701 % | 34.67/34.78 c | 524952 | 66891 521131 2034928 | 1 50996 11 | 2.701 % | 34.67/34.78 c | 525052 | 66891 521131 2034928 | 1 51096 11 | 2.701 % | 34.67/34.78 c | 525358 | 66891 521131 2034928 | 1 51402 11 | 2.701 % | 34.67/34.78 c | 525459 | 66891 521131 2034928 | 1 51503 11 | 2.701 % | 34.67/34.78 c | 525561 | 66888 521131 2034928 | 1 51604 11 | 2.706 % | 34.67/34.78 c | 525711 | 66888 521131 2034928 | 1 51754 11 | 2.706 % | 34.67/34.78 c | 526292 | 66888 521131 2034928 | 1 52335 11 | 2.706 % | 34.67/34.78 c | 526424 | 66888 521131 2034928 | 1 52467 11 | 2.706 % | 34.67/34.78 c | 526777 | 66888 521131 2034928 | 1 52820 11 | 2.706 % | 34.67/34.78 c | 527395 | 66888 521131 2034928 | 1 53438 11 | 2.706 % | 34.67/34.78 c | 527830 | 66888 521131 2034928 | 1 53873 11 | 2.706 % | 34.67/34.78 c | 527930 | 66888 521131 2034928 | 1 53973 11 | 2.706 % | 34.67/34.78 c | 528031 | 66882 521131 2034928 | 1 54073 11 | 2.714 % | 34.67/34.78 c | 528499 | 66882 521131 2034928 | 1 54541 11 | 2.714 % | 34.67/34.78 c | 528713 | 66882 521131 2034928 | 1 54755 12 | 2.714 % | 34.67/34.78 c | 528845 | 66882 521131 2034928 | 1 54887 12 | 2.714 % | 34.67/34.78 c | 529117 | 66882 521131 2034928 | 1 55159 12 | 2.714 % | 34.67/34.78 c | 530359 | 66881 521040 2034552 | 1 56399 12 | 2.716 % | 34.67/34.78 c | 530909 | 66881 521040 2034552 | 1 56949 12 | 2.716 % | 34.67/34.78 c | 532476 | 66881 521040 2034552 | 1 58516 12 | 2.716 % | 34.67/34.78 c | 532986 | 66881 521040 2034552 | 1 59026 12 | 2.716 % | 34.67/34.78 c | 533168 | 66881 521040 2034552 | 1 59208 12 | 2.716 % | 34.67/34.78 c | 533456 | 66881 521040 2034552 | 1 59496 12 | 2.716 % | 34.67/34.78 c | 533566 | 66881 521040 2034552 | 1 59606 12 | 2.716 % | 34.67/34.78 c | 534546 | 66881 521040 2034552 | 1 60586 12 | 2.716 % | 34.67/34.78 c | 534647 | 66881 521040 2034552 | 1 60687 12 | 2.716 % | 34.67/34.78 c | 534999 | 66881 521040 2034552 | 1 61039 12 | 2.716 % | 34.67/34.78 c | 535191 | 66881 521040 2034552 | 1 61231 12 | 2.716 % | 34.67/34.78 c | 535576 | 66881 521040 2034552 | 1 61616 12 | 2.716 % | 34.67/34.78 c | 542212 | 66872 520935 2034006 | 1 68086 13 | 2.729 % | 38.07/38.16 c | 543196 | 66872 520935 2034006 | 1 69070 13 | 2.729 % | 38.07/38.16 c | 545738 | 66872 520935 2034006 | 1 71612 13 | 2.729 % | 38.07/38.16 c | 546779 | 66872 520935 2034006 | 1 72653 13 | 2.729 % | 38.07/38.16 c | 547253 | 66872 520935 2034006 | 1 73127 13 | 2.729 % | 38.07/38.16 c | 547354 | 66872 520935 2034006 | 1 73228 13 | 2.729 % | 38.07/38.16 c | 547901 | 66864 520935 2034006 | 1 73773 13 | 2.740 % | 38.07/38.16 c | 548075 | 66864 520935 2034006 | 1 73947 13 | 2.740 % | 38.07/38.16 c | 548307 | 66864 520854 2033676 | 1 74118 13 | 2.740 % | 38.07/38.16 c | 549380 | 66864 520854 2033676 | 1 75191 13 | 2.740 % | 38.07/38.16 c | 549600 | 66864 520854 2033676 | 1 75411 13 | 2.740 % | 38.07/38.16 c | 551265 | 66861 520854 2033676 | 1 77075 13 | 2.745 % | 38.07/38.16 c | 551972 | 66861 520854 2033676 | 1 77782 14 | 2.745 % | 38.07/38.16 c | 552072 | 66861 520854 2033676 | 1 77882 14 | 2.745 % | 38.07/38.16 c | 557590 | 66861 520854 2033676 | 1 83400 15 | 2.745 % | 38.07/38.16 c | 558534 | 66861 520854 2033676 | 1 84344 15 | 2.745 % | 38.07/38.16 c | 558634 | 66861 520833 2033574 | 1 84443 15 | 2.745 % | 38.07/38.16 c | 559437 | 66861 520833 2033574 | 1 85246 15 | 2.745 % | 38.07/38.16 c | 559743 | 66861 520833 2033574 | 1 85552 15 | 2.745 % | 38.07/38.16 c | 559910 | 66861 520833 2033574 | 1 85719 15 | 2.745 % | 38.07/38.16 c | 560011 | 66861 520833 2033574 | 1 85820 15 | 2.745 % | 38.07/38.16 c | 560196 | 66861 520833 2033574 | 1 86005 15 | 2.745 % | 38.07/38.16 c | 560668 | 66861 520833 2033574 | 1 86477 15 | 2.745 % | 38.07/38.16 c | 562714 | 66861 520833 2033574 | 1 88523 15 | 2.745 % | 38.07/38.16 c | 563072 | 66861 520833 2033574 | 1 88881 15 | 2.745 % | 38.07/38.16 c | 563219 | 66861 520833 2033574 | 1 89028 15 | 2.745 % | 38.07/38.16 c | 563320 | 66861 520833 2033574 | 1 89129 15 | 2.745 % | 38.07/38.16 c | 564170 | 66861 520833 2033574 | 1 89979 15 | 2.745 % | 38.07/38.16 c | 564441 | 66861 520833 2033574 | 1 90250 15 | 2.745 % | 38.07/38.16 c | 564727 | 66861 520833 2033574 | 1 90536 15 | 2.745 % | 38.07/38.16 c | 564932 | 66861 520833 2033574 | 1 90741 15 | 2.745 % | 38.07/38.16 c | 565032 | 66861 520833 2033574 | 1 90841 15 | 2.745 % | 38.07/38.16 c | 567003 | 66861 520833 2033574 | 1 92812 15 | 2.745 % | 38.07/38.16 c | 568298 | 66861 520833 2033574 | 1 94107 15 | 2.745 % | 38.07/38.16 c | 571955 | 66856 520819 2033507 | 1 97762 16 | 2.752 % | 38.07/38.16 c | 572143 | 66856 520819 2033507 | 1 97950 16 | 2.752 % | 38.07/38.16 c | 572292 | 66856 520819 2033507 | 1 98099 16 | 2.752 % | 38.07/38.16 c | 572918 | 66856 520819 2033507 | 1 98725 16 | 2.752 % | 38.07/38.16 c | 573283 | 66856 520819 2033507 | 1 99090 16 | 2.752 % | 38.07/38.16 c | 573428 | 66856 520819 2033507 | 1 99235 16 | 2.752 % | 38.07/38.16 c | 573602 | 66850 520819 2033507 | 1 99408 16 | 2.761 % | 38.07/38.16 c | 575557 | 66850 520819 2033507 | 1 51502 10 | 2.761 % | 38.07/38.16 c | 576128 | 66850 520819 2033507 | 1 52073 10 | 2.761 % | 38.07/38.16 c | 576228 | 66850 520819 2033507 | 1 52173 10 | 2.761 % | 38.07/38.16 c | 576372 | 66850 520819 2033507 | 1 52317 10 | 2.761 % | 38.07/38.16 c | 576602 | 66850 520819 2033507 | 1 52547 10 | 2.761 % | 38.07/38.16 c | 576788 | 66850 520747 2033190 | 1 52732 10 | 2.761 % | 38.07/38.16 c | 577143 | 66849 520747 2033190 | 1 53086 10 | 2.762 % | 38.07/38.16 c | 577942 | 66849 520747 2033190 | 1 53885 10 | 2.762 % | 38.07/38.16 c | 578042 | 66849 520747 2033190 | 1 53985 10 | 2.762 % | 38.07/38.16 c | 578708 | 66849 520747 2033190 | 1 54651 10 | 2.762 % | 41.97/42.02 c | 580307 | 66849 520747 2033190 | 1 56250 10 | 2.762 % | 41.97/42.02 c | 580408 | 66849 520747 2033190 | 1 56351 10 | 2.762 % | 41.97/42.02 c | 580595 | 66843 520747 2033190 | 1 56537 10 | 2.771 % | 41.97/42.02 c | 581008 | 66843 520747 2033190 | 1 56950 11 | 2.771 % | 41.97/42.02 c | 582078 | 66843 520747 2033190 | 1 58020 11 | 2.771 % | 41.97/42.02 c | 583367 | 66827 520593 2032601 | 1 59297 11 | 2.794 % | 41.97/42.02 c | 584541 | 66826 520593 2032601 | 1 60470 11 | 2.796 % | 41.97/42.02 c | 584907 | 66826 520593 2032601 | 1 60836 11 | 2.796 % | 41.97/42.02 c | 585625 | 66826 520593 2032601 | 1 61554 12 | 2.796 % | 41.97/42.02 c | 586008 | 66826 520593 2032601 | 1 61937 12 | 2.796 % | 41.97/42.02 c | 586108 | 66826 520593 2032601 | 1 62037 12 | 2.796 % | 41.97/42.02 c | 586352 | 66826 520593 2032601 | 1 62281 12 | 2.796 % | 41.97/42.02 c | 586758 | 66826 520593 2032601 | 1 62687 12 | 2.796 % | 41.97/42.02 c | 586858 | 66826 520593 2032601 | 1 62787 12 | 2.796 % | 41.97/42.02 c | 587473 | 66826 520593 2032601 | 1 63402 12 | 2.796 % | 41.97/42.02 c | 589350 | 66826 520593 2032601 | 1 65279 12 | 2.796 % | 41.97/42.02 c | 589606 | 66826 520473 2032004 | 1 65115 12 | 2.796 % | 41.97/42.02 c | 589713 | 66826 520473 2032004 | 1 65222 12 | 2.796 % | 41.97/42.02 c | 590704 | 66826 520473 2032004 | 1 66213 12 | 2.796 % | 41.97/42.02 c | 619307 | 66826 520473 2032004 | 1 94816 16 | 2.796 % | 41.97/42.02 c | 620229 | 66826 520473 2032004 | 1 95738 16 | 2.796 % | 41.97/42.02 c | 620722 | 66826 520473 2032004 | 1 96231 16 | 2.796 % | 41.97/42.02 c | 620960 | 66826 520473 2032004 | 1 96469 16 | 2.796 % | 41.97/42.02 c | 621060 | 66826 520473 2032004 | 1 96569 16 | 2.796 % | 41.97/42.02 c | 621424 | 66825 520457 2031924 | 1 96929 16 | 2.797 % | 41.97/42.02 c | 621875 | 66825 520457 2031924 | 1 97380 16 | 2.797 % | 41.97/42.02 c | 622559 | 66825 520457 2031924 | 1 98064 16 | 2.797 % | 41.97/42.02 c | 622700 | 66825 520457 2031924 | 1 98205 16 | 2.797 % | 41.97/42.02 c | 622963 | 66825 520457 2031924 | 1 98468 16 | 2.797 % | 41.97/42.02 c | 623109 | 66825 520457 2031924 | 1 98614 16 | 2.797 % | 41.97/42.02 c | 623710 | 66825 520457 2031924 | 1 99215 16 | 2.797 % | 41.97/42.02 c | 634151 | 66825 520457 2031924 | 1 56984 11 | 2.797 % | 41.97/42.02 c | 634251 | 66825 520457 2031924 | 1 57084 11 | 2.797 % | 41.97/42.02 c | 634911 | 66817 520457 2031924 | 1 57742 11 | 2.809 % | 41.97/42.02 c | 635695 | 66817 520457 2031924 | 1 58526 11 | 2.809 % | 41.97/42.02 c | 636247 | 66817 520269 2031155 | 1 59075 12 | 2.809 % | 41.97/42.02 c | 638614 | 66815 520269 2031155 | 1 61441 12 | 2.812 % | 41.97/42.02 c | 638736 | 66815 520269 2031155 | 1 61563 12 | 2.812 % | 41.97/42.02 c | 638836 | 66815 520269 2031155 | 1 61663 12 | 2.812 % | 41.97/42.02 c | 639443 | 66815 520269 2031155 | 1 62270 12 | 2.812 % | 41.97/42.02 c | 640650 | 66814 520269 2031155 | 1 63476 12 | 2.813 % | 41.97/42.02 c | 640813 | 66814 520269 2031155 | 1 63639 12 | 2.813 % | 41.97/42.02 c | 641614 | 66814 520269 2031155 | 1 64440 12 | 2.813 % | 41.97/42.02 c | 641714 | 66814 520229 2030999 | 1 64513 12 | 2.813 % | 41.97/42.02 c | 642176 | 66811 520229 2030999 | 1 64974 12 | 2.818 % | 41.97/42.02 c | 642375 | 66811 520229 2030999 | 1 65173 12 | 2.818 % | 41.97/42.02 c | 642478 | 66811 520229 2030999 | 1 65276 12 | 2.818 % | 41.97/42.02 c | 642582 | 66811 520229 2030999 | 1 65380 12 | 2.818 % | 41.97/42.02 c | 642682 | 66806 520229 2030999 | 1 65479 12 | 2.825 % | 41.97/42.02 c | 643237 | 66806 520229 2030999 | 1 66034 12 | 2.825 % | 48.17/48.26 c | 663787 | 66806 520229 2030999 | 1 86584 15 | 2.825 % | 48.17/48.26 c | 663958 | 66806 520081 2030421 | 1 86752 15 | 2.825 % | 48.17/48.26 c | 664181 | 66805 520081 2030421 | 1 86974 15 | 2.826 % | 48.17/48.26 c | 664282 | 66805 520081 2030421 | 1 87075 15 | 2.826 % | 48.17/48.26 c | 664600 | 66805 520081 2030421 | 1 87393 15 | 2.826 % | 48.17/48.26 c | 679819 | 66805 520081 2030421 | 1 102612 17 | 2.826 % | 48.17/48.26 c | 682943 | 66805 520081 2030421 | 1 105736 18 | 2.826 % | 48.17/48.26 c | 683043 | 66805 520081 2030421 | 1 105836 18 | 2.826 % | 48.17/48.26 c | 683143 | 66805 520081 2030421 | 1 105936 18 | 2.826 % | 48.17/48.26 c | 683372 | 66805 520081 2030421 | 1 106165 18 | 2.826 % | 48.17/48.26 c | 684596 | 66794 519977 2030014 | 1 107384 18 | 2.842 % | 48.17/48.26 c | 684989 | 66794 519977 2030014 | 1 107777 18 | 2.842 % | 48.17/48.26 c | 685218 | 66794 519977 2030014 | 1 108006 18 | 2.842 % | 48.17/48.26 c | 687106 | 66794 519977 2030014 | 1 109894 18 | 2.842 % | 48.17/48.26 c | 709984 | 66794 519977 2030014 | 1 77093 15 | 2.842 % | 48.17/48.26 c | 710084 | 66794 519853 2029495 | 1 77192 15 | 2.842 % | 48.17/48.26 c | 710260 | 66794 519853 2029495 | 1 77368 15 | 2.842 % | 48.17/48.26 c | 710572 | 66794 519853 2029495 | 1 77680 15 | 2.842 % | 48.17/48.26 c | 710673 | 66794 519853 2029495 | 1 77781 15 | 2.842 % | 48.17/48.26 c | 710815 | 66794 519853 2029495 | 1 77923 15 | 2.842 % | 48.17/48.26 c | 711197 | 66794 519853 2029495 | 1 78305 15 | 2.842 % | 48.17/48.26 c | 711562 | 66794 519853 2029495 | 1 78670 15 | 2.842 % | 48.17/48.26 c | 712136 | 66794 519853 2029495 | 1 79244 15 | 2.842 % | 48.17/48.26 c | 712340 | 66794 519853 2029495 | 1 79448 15 | 2.842 % | 48.17/48.26 c | 712812 | 66794 519853 2029495 | 1 79920 15 | 2.842 % | 48.17/48.26 c | 713708 | 66794 519853 2029495 | 1 80816 15 | 2.842 % | 48.17/48.26 c | 714393 | 66794 519853 2029495 | 1 81501 15 | 2.842 % | 48.17/48.26 c | 714494 | 66794 519853 2029495 | 1 81602 16 | 2.842 % | 48.17/48.26 c | 715330 | 66794 519853 2029495 | 1 82438 16 | 2.842 % | 48.17/48.26 c | 715716 | 66794 519853 2029495 | 1 82824 16 | 2.842 % | 48.17/48.26 c | 717467 | 66794 519853 2029495 | 1 84575 16 | 2.842 % | 48.17/48.26 c | 735904 | 66794 519853 2029495 | 1 103012 18 | 2.842 % | 48.17/48.26 c | 736004 | 66794 519853 2029495 | 1 103112 18 | 2.842 % | 48.17/48.26 c | 736839 | 66794 519853 2029495 | 1 103947 18 | 2.842 % | 48.17/48.26 c | 738591 | 66794 519853 2029495 | 1 105699 18 | 2.842 % | 48.17/48.26 c | 738743 | 66794 519853 2029495 | 1 105851 19 | 2.842 % | 48.17/48.26 c | 739057 | 66794 519853 2029495 | 1 106165 19 | 2.842 % | 48.17/48.26 c | 739709 | 66792 519845 2029442 | 1 106804 19 | 2.845 % | 48.17/48.26 c | 740420 | 66792 519845 2029442 | 1 107515 19 | 2.845 % | 48.17/48.26 c | 740521 | 66789 519845 2029442 | 1 107615 19 | 2.850 % | 48.17/48.26 c | 741069 | 66784 519845 2029442 | 1 108160 19 | 2.857 % | 48.17/48.26 c | 741280 | 66784 519845 2029442 | 1 108371 19 | 2.857 % | 48.17/48.26 c | 741688 | 66784 519845 2029442 | 1 108779 19 | 2.857 % | 48.17/48.26 c | 741961 | 66784 519845 2029442 | 1 109052 19 | 2.857 % | 48.17/48.26 c | 744235 | 66782 519845 2029442 | 1 111324 19 | 2.860 % | 48.17/48.26 c | 745000 | 66782 519845 2029442 | 1 112089 18 | 2.860 % | 48.17/48.26 c | 745138 | 66782 519845 2029442 | 1 112227 19 | 2.860 % | 48.17/48.26 c | 749886 | 66764 519845 2029442 | 1 58620 11 | 2.886 % | 48.17/48.26 c | 750819 | 66764 519610 2028323 | 1 59389 11 | 2.886 % | 48.17/48.26 c | 751141 | 66764 519610 2028323 | 1 59711 11 | 2.886 % | 54.17/54.21 c | 752048 | 66764 519610 2028323 | 1 60618 11 | 2.886 % | 54.17/54.21 c | 752970 | 66764 519610 2028323 | 1 61540 11 | 2.886 % | 54.17/54.21 c | 753070 | 66764 519610 2028323 | 1 61640 11 | 2.886 % | 54.17/54.21 c | 753740 | 66764 519610 2028323 | 1 62310 11 | 2.886 % | 54.17/54.21 c | 754675 | 66764 519610 2028323 | 1 63245 12 | 2.886 % | 54.17/54.21 c | 754918 | 66764 519610 2028323 | 1 63488 12 | 2.886 % | 54.17/54.21 c | 755777 | 66764 519610 2028323 | 1 64347 12 | 2.886 % | 54.17/54.21 c | 757040 | 66764 519610 2028323 | 1 65610 12 | 2.886 % | 54.17/54.21 c | 757170 | 66764 519610 2028323 | 1 65740 12 | 2.886 % | 54.17/54.21 c | 757982 | 66764 519610 2028323 | 1 66552 12 | 2.886 % | 54.17/54.21 c | 758154 | 66764 519610 2028323 | 1 66724 12 | 2.886 % | 54.17/54.21 c | 758358 | 66764 519610 2028323 | 1 66928 12 | 2.886 % | 54.17/54.21 c | 759158 | 66764 519610 2028323 | 1 67728 12 | 2.886 % | 54.17/54.21 c | 759714 | 66764 519610 2028323 | 1 68284 12 | 2.886 % | 54.17/54.21 c | 759937 | 66764 519610 2028323 | 1 68507 12 | 2.886 % | 54.17/54.21 c | 760584 | 66764 519610 2028323 | 1 69154 12 | 2.886 % | 54.17/54.21 c | 762020 | 66764 519610 2028323 | 1 70590 12 | 2.886 % | 54.17/54.21 c | 762477 | 66764 519610 2028323 | 1 71047 12 | 2.886 % | 54.17/54.21 c | 762643 | 66764 519610 2028323 | 1 71213 12 | 2.886 % | 54.17/54.21 c | 771314 | 66764 519610 2028323 | 1 79884 13 | 2.886 % | 54.17/54.21 c | 771617 | 66764 519610 2028323 | 1 80187 13 | 2.886 % | 54.17/54.21 c | 772335 | 66764 519610 2028323 | 1 80905 13 | 2.886 % | 54.17/54.21 c | 772537 | 66764 519610 2028323 | 1 81107 13 | 2.886 % | 54.17/54.21 c | 774186 | 66764 519610 2028323 | 1 82756 14 | 2.886 % | 54.17/54.21 c | 774286 | 66764 519610 2028323 | 1 82856 14 | 2.886 % | 54.17/54.21 c | 774708 | 66759 519546 2028105 | 1 83276 14 | 2.893 % | 54.17/54.21 c | 774809 | 66759 519546 2028105 | 1 83377 14 | 2.893 % | 54.17/54.21 c | 776925 | 66759 519546 2028105 | 1 85493 14 | 2.893 % | 54.17/54.21 c | 777663 | 66759 519546 2028105 | 1 86231 14 | 2.893 % | 54.17/54.21 c | 779305 | 66759 519546 2028105 | 1 87873 14 | 2.893 % | 54.17/54.21 c | 780025 | 66759 519546 2028105 | 1 88593 14 | 2.893 % | 54.17/54.21 c | 781259 | 66759 519546 2028105 | 1 89827 14 | 2.893 % | 54.17/54.21 c | 782599 | 66759 519546 2028105 | 1 91167 14 | 2.893 % | 54.17/54.21 c | 796588 | 66759 519512 2027974 | 1 105156 16 | 2.893 % | 54.17/54.21 c | 796752 | 66759 519512 2027974 | 1 105320 16 | 2.893 % | 54.17/54.21 c | 797810 | 66759 519512 2027974 | 1 106378 16 | 2.893 % | 54.17/54.21 c | 799063 | 66749 519512 2027974 | 1 107630 16 | 2.908 % | 54.17/54.21 c | 799228 | 66749 519512 2027974 | 1 107795 16 | 2.908 % | 54.17/54.21 c | 799333 | 66749 519512 2027974 | 1 107900 16 | 2.908 % | 54.17/54.21 c | 799521 | 66749 519512 2027974 | 1 108088 16 | 2.908 % | 54.17/54.21 c | 799731 | 66749 519512 2027974 | 1 108298 16 | 2.908 % | 54.17/54.21 c | 800377 | 66749 519512 2027974 | 1 108944 16 | 2.908 % | 54.17/54.21 c | 800925 | 66749 519358 2027414 | 1 109490 16 | 2.908 % | 54.17/54.21 c | 801070 | 66749 519358 2027414 | 1 109635 16 | 2.908 % | 54.17/54.21 c | 801907 | 66748 519358 2027414 | 1 110471 16 | 2.909 % | 54.17/54.21 c | 806905 | 66748 519358 2027414 | 1 115469 17 | 2.909 % | 54.17/54.21 c | 807362 | 66748 519342 2027334 | 1 115924 17 | 2.909 % | 54.17/54.21 c | 807906 | 66748 519342 2027334 | 1 116468 17 | 2.909 % | 54.17/54.21 c | 808006 | 66748 519342 2027334 | 1 116568 17 | 2.909 % | 54.17/54.21 c | 817673 | 66748 519342 2027334 | 1 65621 11 | 2.909 % | 57.37/57.46 c | 819088 | 66748 519342 2027334 | 1 67036 11 | 2.909 % | 57.37/57.46 c | 821208 | 66748 519342 2027334 | 1 69156 11 | 2.909 % | 57.37/57.46 c | 821461 | 66748 519342 2027334 | 1 69409 11 | 2.909 % | 57.37/57.46 c | 822675 | 66748 519342 2027334 | 1 70623 11 | 2.909 % | 57.37/57.46 c | 824121 | 66748 519342 2027334 | 1 72069 12 | 2.909 % | 57.37/57.46 c | 826539 | 66748 519342 2027334 | 1 74487 12 | 2.909 % | 57.37/57.46 c | 826698 | 66748 519342 2027334 | 1 74646 12 | 2.909 % | 57.37/57.46 c | 827308 | 66748 519342 2027334 | 1 75256 12 | 2.909 % | 57.37/57.46 c | 827660 | 66748 519342 2027334 | 1 75608 12 | 2.909 % | 57.37/57.46 c | 827760 | 66748 519342 2027334 | 1 75708 12 | 2.909 % | 57.37/57.46 c | 828027 | 66748 519342 2027334 | 1 75975 12 | 2.909 % | 57.37/57.46 c | 828281 | 66748 519342 2027334 | 1 76229 12 | 2.909 % | 57.37/57.46 c | 828471 | 66748 519342 2027334 | 1 76419 12 | 2.909 % | 57.37/57.46 c | 829126 | 66748 519342 2027334 | 1 77074 12 | 2.909 % | 57.37/57.46 c | 829567 | 66748 519342 2027334 | 1 77515 12 | 2.909 % | 57.37/57.46 c | 830320 | 66748 519342 2027334 | 1 78268 12 | 2.909 % | 57.37/57.46 c | 830486 | 66748 519342 2027334 | 1 78434 12 | 2.909 % | 57.37/57.46 c | 831150 | 66748 519342 2027334 | 1 79098 12 | 2.909 % | 57.37/57.46 c | 831466 | 66743 519264 2026975 | 1 79356 12 | 2.916 % | 57.37/57.46 c | 831969 | 66743 519264 2026975 | 1 79859 12 | 2.916 % | 57.37/57.46 c | 832261 | 66743 519264 2026975 | 1 80151 13 | 2.916 % | 57.37/57.46 c | 832495 | 66743 519264 2026975 | 1 80385 13 | 2.916 % | 57.37/57.46 c | 835796 | 66743 519264 2026975 | 1 83686 13 | 2.916 % | 57.37/57.46 c | 836779 | 66737 519264 2026975 | 1 84668 13 | 2.925 % | 57.37/57.46 c | 836879 | 66737 519264 2026975 | 1 84768 13 | 2.925 % | 57.37/57.46 c | 837282 | 66737 519264 2026975 | 1 85171 13 | 2.925 % | 57.37/57.46 c | 837407 | 66737 519164 2026511 | 1 85293 13 | 2.925 % | 57.37/57.46 c | 838499 | 66737 519164 2026511 | 1 86385 13 | 2.925 % | 57.37/57.46 c | 838839 | 66737 519164 2026511 | 1 86725 13 | 2.925 % | 57.37/57.46 c | 839001 | 66737 519164 2026511 | 1 86887 13 | 2.925 % | 57.37/57.46 c | 839313 | 66737 519164 2026511 | 1 87199 13 | 2.925 % | 57.37/57.46 c | 839526 | 66737 519164 2026511 | 1 87412 13 | 2.925 % | 57.37/57.46 c | 839977 | 66737 519164 2026511 | 1 87863 13 | 2.925 % | 57.37/57.46 c | 840077 | 66737 519164 2026511 | 1 87963 13 | 2.925 % | 57.37/57.46 c | 840179 | 66737 519164 2026511 | 1 88065 13 | 2.925 % | 57.37/57.46 c | 841068 | 66731 519164 2026511 | 1 88953 13 | 2.934 % | 57.37/57.46 c | 841262 | 66731 519164 2026511 | 1 89147 13 | 2.934 % | 57.37/57.46 c | 841363 | 66731 519164 2026511 | 1 89248 13 | 2.934 % | 57.37/57.46 c | 841483 | 66731 519164 2026511 | 1 89368 13 | 2.934 % | 57.37/57.46 c | 842252 | 66731 519164 2026511 | 1 90137 13 | 2.934 % | 57.37/57.46 c | 842715 | 66731 519164 2026511 | 1 90600 13 | 2.934 % | 57.37/57.46 c | 842951 | 66731 519164 2026511 | 1 90836 13 | 2.934 % | 57.37/57.46 c | 843249 | 66731 519164 2026511 | 1 91134 14 | 2.934 % | 57.37/57.46 c | 843349 | 66728 519017 2025978 | 1 91233 14 | 2.938 % | 57.37/57.46 c | 845160 | 66728 519017 2025978 | 1 93044 14 | 2.938 % | 57.37/57.46 c | 845413 | 66728 519017 2025978 | 1 93297 14 | 2.938 % | 57.37/57.46 c | 845652 | 66728 519017 2025978 | 1 93536 14 | 2.938 % | 57.37/57.46 c | 845756 | 66728 519017 2025978 | 1 93640 14 | 2.938 % | 57.37/57.46 c | 846065 | 66728 519017 2025978 | 1 93949 14 | 2.938 % | 57.37/57.46 c | 852221 | 66728 519017 2025978 | 1 100105 15 | 2.938 % | 61.37/61.49 c | 852321 | 66728 519017 2025978 | 1 100205 15 | 2.938 % | 61.37/61.49 c | 852633 | 66728 519017 2025978 | 1 100517 15 | 2.938 % | 61.37/61.49 c | 853810 | 66728 519017 2025978 | 1 101694 15 | 2.938 % | 61.37/61.49 c | 855102 | 66728 519017 2025978 | 1 102986 15 | 2.938 % | 61.37/61.49 c | 855233 | 66728 519000 2025904 | 1 103117 15 | 2.938 % | 61.37/61.49 c | 858618 | 66728 519000 2025904 | 1 106502 15 | 2.938 % | 61.37/61.49 c | 861001 | 66728 519000 2025904 | 1 108885 15 | 2.938 % | 61.37/61.49 c | 861268 | 66728 519000 2025904 | 1 109152 15 | 2.938 % | 61.37/61.49 c | 861368 | 66728 519000 2025904 | 1 109252 15 | 2.938 % | 61.37/61.49 c | 861637 | 66728 519000 2025904 | 1 109521 15 | 2.938 % | 61.37/61.49 c | 861884 | 66728 519000 2025904 | 1 109768 15 | 2.938 % | 61.37/61.49 c | 870020 | 66728 519000 2025904 | 1 117904 16 | 2.938 % | 61.37/61.49 c | 870238 | 66728 519000 2025904 | 1 118122 16 | 2.938 % | 61.37/61.49 c | 870572 | 66728 519000 2025904 | 1 118456 16 | 2.938 % | 61.37/61.49 c | 872259 | 66728 519000 2025904 | 1 120143 16 | 2.938 % | 61.37/61.49 c | 872381 | 66728 519000 2025904 | 1 120265 16 | 2.938 % | 61.37/61.49 c | 873341 | 66728 519000 2025904 | 1 121225 16 | 2.938 % | 61.37/61.49 c | 874430 | 66728 519000 2025904 | 1 122314 16 | 2.938 % | 61.37/61.49 c | 874530 | 66728 519000 2025904 | 1 122414 16 | 2.938 % | 61.37/61.49 c | 874902 | 66728 519000 2025904 | 1 122786 16 | 2.938 % | 61.37/61.49 c | 875197 | 66728 519000 2025904 | 1 123081 16 | 2.938 % | 61.37/61.49 c | 875297 | 66728 519000 2025904 | 1 123181 16 | 2.938 % | 61.37/61.49 c | 876270 | 66728 519000 2025904 | 1 124154 16 | 2.938 % | 61.37/61.49 c | 876572 | 66728 519000 2025904 | 1 124456 16 | 2.938 % | 61.37/61.49 c | 876673 | 66728 519000 2025904 | 1 124557 16 | 2.938 % | 61.37/61.49 c | 876773 | 66728 519000 2025904 | 1 124657 16 | 2.938 % | 61.37/61.49 c | 876873 | 66728 519000 2025904 | 1 124757 16 | 2.938 % | 61.37/61.49 c | 876974 | 66728 519000 2025904 | 1 124858 16 | 2.938 % | 61.37/61.49 c | 877137 | 66728 519000 2025904 | 1 125021 16 | 2.938 % | 61.37/61.49 c | 877327 | 66728 519000 2025904 | 1 125211 16 | 2.938 % | 61.37/61.49 c | 877635 | 66728 519000 2025904 | 1 125519 16 | 2.938 % | 61.37/61.49 c | 878030 | 66728 519000 2025904 | 1 125914 16 | 2.938 % | 61.37/61.49 c | 878131 | 66728 519000 2025904 | 1 126015 16 | 2.938 % | 61.37/61.49 c | 878232 | 66728 519000 2025904 | 1 126116 16 | 2.938 % | 61.37/61.49 c | 878580 | 66727 518962 2025790 | 1 126459 16 | 2.940 % | 61.37/61.49 c | 879327 | 66727 518962 2025790 | 1 127206 16 | 2.940 % | 61.37/61.49 c | 880186 | 66727 518962 2025790 | 1 66978 10 | 2.940 % | 61.37/61.49 c | 880287 | 66727 518962 2025790 | 1 67079 10 | 2.940 % | 61.37/61.49 c | 880389 | 66727 518962 2025790 | 1 67181 10 | 2.940 % | 61.37/61.49 c | 880960 | 66727 518962 2025790 | 1 67752 10 | 2.940 % | 61.37/61.49 c | 881280 | 66727 518962 2025790 | 1 68072 10 | 2.940 % | 61.37/61.49 c | 881574 | 66727 518962 2025790 | 1 68366 10 | 2.940 % | 61.37/61.49 c | 882248 | 66727 518962 2025790 | 1 69040 10 | 2.940 % | 61.37/61.49 c | 882811 | 66725 518962 2025790 | 1 69602 10 | 2.943 % | 61.37/61.49 c | 884261 | 66725 518962 2025790 | 1 71052 10 | 2.943 % | 61.37/61.49 c | 884458 | 66725 518962 2025790 | 1 71249 10 | 2.943 % | 61.37/61.49 c | 892153 | 66725 518962 2025790 | 1 78944 12 | 2.943 % | 61.37/61.49 c | 892886 | 66725 518954 2025746 | 1 79616 12 | 2.943 % | 61.37/61.49 c | 893269 | 66725 518954 2025746 | 1 79999 12 | 2.943 % | 61.37/61.49 c | 893370 | 66725 518954 2025746 | 1 80100 12 | 2.943 % | 65.17/65.25 c | 895376 | 66725 518954 2025746 | 1 82106 12 | 2.943 % | 65.17/65.25 c | 895476 | 66725 518954 2025746 | 1 82206 12 | 2.943 % | 65.17/65.25 c | 895949 | 66725 518954 2025746 | 1 82679 12 | 2.943 % | 65.17/65.25 c | 896717 | 66725 518954 2025746 | 1 83447 12 | 2.943 % | 65.17/65.25 c | 896819 | 66725 518954 2025746 | 1 83549 12 | 2.943 % | 65.17/65.25 c | 896920 | 66725 518954 2025746 | 1 83650 12 | 2.943 % | 65.17/65.25 c | 897399 | 66725 518954 2025746 | 1 84129 12 | 2.943 % | 65.17/65.25 c | 897881 | 66725 518954 2025746 | 1 84611 13 | 2.943 % | 65.17/65.25 c | 898324 | 66725 518954 2025746 | 1 85054 13 | 2.943 % | 65.17/65.25 c | 902941 | 66725 518954 2025746 | 1 89671 13 | 2.943 % | 65.17/65.25 c | 904709 | 66725 518954 2025746 | 1 91439 13 | 2.943 % | 65.17/65.25 c | 904812 | 66725 518954 2025746 | 1 91542 13 | 2.943 % | 65.17/65.25 c | 905492 | 66725 518954 2025746 | 1 92222 13 | 2.943 % | 65.17/65.25 c | 907821 | 66714 518835 2025086 | 1 94373 13 | 2.959 % | 65.17/65.25 c | 907921 | 66714 518835 2025086 | 1 94473 13 | 2.959 % | 65.17/65.25 c | 908428 | 66714 518835 2025086 | 1 94980 14 | 2.959 % | 65.17/65.25 c | 908984 | 66714 518835 2025086 | 1 95536 14 | 2.959 % | 65.17/65.25 c | 909693 | 66714 518835 2025086 | 1 96245 14 | 2.959 % | 65.17/65.25 c | 909852 | 66714 518835 2025086 | 1 96404 14 | 2.959 % | 65.17/65.25 c | 909957 | 66714 518835 2025086 | 1 96509 14 | 2.959 % | 65.17/65.25 c | 910094 | 66714 518835 2025086 | 1 96646 14 | 2.959 % | 65.17/65.25 c | 910194 | 66714 518835 2025086 | 1 96746 14 | 2.959 % | 65.17/65.25 c | 911050 | 66714 518835 2025086 | 1 97602 14 | 2.959 % | 65.17/65.25 c | 911150 | 66714 518835 2025086 | 1 97702 14 | 2.959 % | 65.17/65.25 c | 911402 | 66714 518835 2025086 | 1 97954 14 | 2.959 % | 65.17/65.25 c | 912090 | 66714 518835 2025086 | 1 98642 14 | 2.959 % | 65.17/65.25 c | 912343 | 66714 518835 2025086 | 1 98895 14 | 2.959 % | 65.17/65.25 c | 913661 | 66714 518835 2025086 | 1 100213 14 | 2.959 % | 65.17/65.25 c | 915011 | 66714 518835 2025086 | 1 101563 14 | 2.959 % | 65.17/65.25 c | 915153 | 66714 518835 2025086 | 1 101705 14 | 2.959 % | 65.17/65.25 c | 915564 | 66714 518835 2025086 | 1 102116 14 | 2.959 % | 65.17/65.25 c | 917411 | 66709 518802 2024854 | 1 103897 14 | 2.966 % | 65.17/65.25 c | 917512 | 66709 518802 2024854 | 1 103998 14 | 2.966 % | 65.17/65.25 c | 917931 | 66709 518802 2024854 | 1 104417 14 | 2.966 % | 65.17/65.25 c | 918496 | 66709 518802 2024854 | 1 104982 14 | 2.966 % | 65.17/65.25 c | 920050 | 66709 518802 2024854 | 1 106536 15 | 2.966 % | 65.17/65.25 c | 920194 | 66709 518802 2024854 | 1 106680 15 | 2.966 % | 65.17/65.25 c | 920683 | 66709 518802 2024854 | 1 107169 15 | 2.966 % | 65.17/65.25 c | 921305 | 66709 518802 2024854 | 1 107791 15 | 2.966 % | 65.17/65.25 c | 921423 | 66709 518802 2024854 | 1 107909 15 | 2.966 % | 65.17/65.25 c | 922048 | 66709 518802 2024854 | 1 108534 15 | 2.966 % | 65.17/65.25 c | 922245 | 66709 518802 2024854 | 1 108731 15 | 2.966 % | 65.17/65.25 c | 922345 | 66709 518802 2024854 | 1 108831 15 | 2.966 % | 65.17/65.25 c | 923307 | 66709 518802 2024854 | 1 109793 15 | 2.966 % | 65.17/65.25 c | 925356 | 66709 518772 2024725 | 1 111825 15 | 2.966 % | 65.17/65.25 c | 926007 | 66709 518772 2024725 | 1 112476 15 | 2.966 % | 65.17/65.25 c | 926291 | 66709 518772 2024725 | 1 112760 15 | 2.966 % | 65.17/65.25 c | 926392 | 66709 518772 2024725 | 1 112861 15 | 2.966 % | 65.17/65.25 c | 927521 | 66709 518772 2024725 | 1 113990 15 | 2.966 % | 65.17/65.25 c | 927854 | 66707 518772 2024725 | 1 114321 15 | 2.969 % | 68.27/68.35 c | 928348 | 66707 518772 2024725 | 1 114815 15 | 2.969 % | 68.27/68.35 c | 928465 | 66707 518772 2024725 | 1 114932 15 | 2.969 % | 68.27/68.35 c | 929778 | 66707 518772 2024725 | 1 116245 15 | 2.969 % | 68.27/68.35 c | 929878 | 66707 518772 2024725 | 1 116345 15 | 2.969 % | 68.27/68.35 c | 930568 | 66707 518772 2024725 | 1 117035 15 | 2.969 % | 68.27/68.35 c | 931053 | 66707 518772 2024725 | 1 117520 15 | 2.969 % | 68.27/68.35 c | 931245 | 66707 518735 2024590 | 1 117707 15 | 2.969 % | 68.27/68.35 c | 931345 | 66707 518735 2024590 | 1 117807 15 | 2.969 % | 68.27/68.35 c | 931485 | 66707 518735 2024590 | 1 117947 15 | 2.969 % | 68.27/68.35 c | 932151 | 66707 518735 2024590 | 1 118613 16 | 2.969 % | 68.27/68.35 c | 932252 | 66707 518735 2024590 | 1 118714 16 | 2.969 % | 68.27/68.35 c | 932577 | 66707 518735 2024590 | 1 119039 16 | 2.969 % | 68.27/68.35 c | 933850 | 66707 518735 2024590 | 1 120312 16 | 2.969 % | 68.27/68.35 c | 934286 | 66705 518735 2024590 | 1 120747 16 | 2.972 % | 68.27/68.35 c | 934463 | 66705 518735 2024590 | 1 120924 16 | 2.972 % | 68.27/68.35 c | 935873 | 66705 518735 2024590 | 1 122334 16 | 2.972 % | 68.27/68.35 c | 936016 | 66705 518735 2024590 | 1 122477 16 | 2.972 % | 68.27/68.35 c | 936141 | 66705 518735 2024590 | 1 122602 16 | 2.972 % | 68.27/68.35 c | 937078 | 66705 518735 2024590 | 1 123539 16 | 2.972 % | 68.27/68.35 c | 937290 | 66705 518735 2024590 | 1 123751 16 | 2.972 % | 68.27/68.35 c | 937647 | 66705 518735 2024590 | 1 124108 16 | 2.972 % | 68.27/68.35 c | 937849 | 66705 518735 2024590 | 1 124310 16 | 2.972 % | 68.27/68.35 c | 937954 | 66705 518735 2024590 | 1 124415 16 | 2.972 % | 68.27/68.35 c | 938055 | 66705 518735 2024590 | 1 124516 16 | 2.972 % | 68.27/68.35 c | 938472 | 66705 518735 2024590 | 1 124933 16 | 2.972 % | 68.27/68.35 c | 938608 | 66705 518735 2024590 | 1 125069 16 | 2.972 % | 68.27/68.35 c | 938778 | 66705 518735 2024590 | 1 125239 16 | 2.972 % | 68.27/68.35 c | 939434 | 66704 518735 2024590 | 1 125894 16 | 2.973 % | 68.27/68.35 c | 939828 | 66704 518723 2024522 | 1 126229 16 | 2.973 % | 68.27/68.35 c | 939935 | 66704 518723 2024522 | 1 126336 16 | 2.973 % | 68.27/68.35 c | 940125 | 66704 518723 2024522 | 1 126526 16 | 2.973 % | 68.27/68.35 c | 941690 | 66704 518723 2024522 | 1 128091 16 | 2.973 % | 68.27/68.35 c | 941790 | 66704 518723 2024522 | 1 128191 16 | 2.973 % | 68.27/68.35 c | 941986 | 66704 518723 2024522 | 1 128387 16 | 2.973 % | 68.27/68.35 c | 942728 | 66704 518723 2024522 | 1 129129 16 | 2.973 % | 68.27/68.35 c | 943577 | 66701 518723 2024522 | 1 129977 16 | 2.978 % | 68.27/68.35 c | 944192 | 66701 518723 2024522 | 1 130592 16 | 2.978 % | 68.27/68.35 c | 944419 | 66701 518723 2024522 | 1 130819 16 | 2.978 % | 68.27/68.35 c | 944588 | 66701 518723 2024522 | 1 130988 16 | 2.978 % | 68.27/68.35 c | 944795 | 66701 518723 2024522 | 1 131195 16 | 2.978 % | 68.27/68.35 c | 945253 | 66701 518723 2024522 | 1 131653 16 | 2.978 % | 68.27/68.35 c | 945488 | 66701 518723 2024522 | 1 131888 16 | 2.978 % | 68.27/68.35 c | 945734 | 66701 518723 2024522 | 1 132134 16 | 2.978 % | 68.27/68.35 c | 945836 | 66701 518723 2024522 | 1 132236 16 | 2.978 % | 68.27/68.35 c | 947195 | 66701 518723 2024522 | 1 133595 16 | 2.978 % | 68.27/68.35 c | 947402 | 66701 518642 2024229 | 1 133801 16 | 2.978 % | 68.27/68.35 c | 947707 | 66701 518642 2024229 | 1 134106 16 | 2.978 % | 68.27/68.35 c | 947808 | 66701 518642 2024229 | 1 134207 16 | 2.978 % | 68.27/68.35 c | 949432 | 66700 518642 2024229 | 1 73669 10 | 2.979 % | 68.27/68.35 c | 951012 | 66700 518642 2024229 | 1 75249 10 | 2.979 % | 71.57/71.66 c | 951112 | 66700 518642 2024229 | 1 75349 10 | 2.979 % | 71.57/71.66 c | 951311 | 66700 518642 2024229 | 1 75548 10 | 2.979 % | 71.57/71.66 c | 951411 | 66700 518642 2024229 | 1 75648 10 | 2.979 % | 71.57/71.66 c | 952296 | 66696 518642 2024229 | 1 76532 10 | 2.985 % | 71.57/71.66 c | 952396 | 66696 518642 2024229 | 1 76632 10 | 2.985 % | 71.57/71.66 c | 952546 | 66696 518642 2024229 | 1 76782 10 | 2.985 % | 71.57/71.66 c | 953237 | 66696 518642 2024229 | 1 77473 10 | 2.985 % | 71.57/71.66 c | 953662 | 66696 518642 2024229 | 1 77898 11 | 2.985 % | 71.57/71.66 c | 953764 | 66696 518642 2024229 | 1 78000 11 | 2.985 % | 71.57/71.66 c | 953979 | 66696 518642 2024229 | 1 78215 11 | 2.985 % | 71.57/71.66 c | 954256 | 66696 518642 2024229 | 1 78492 11 | 2.985 % | 71.57/71.66 c | 955024 | 66696 518642 2024229 | 1 79260 11 | 2.985 % | 71.57/71.66 c | 955499 | 66696 518642 2024229 | 1 79735 11 | 2.985 % | 71.57/71.66 c | 955607 | 66696 518642 2024229 | 1 79843 11 | 2.985 % | 71.57/71.66 c | 956183 | 66696 518564 2023870 | 1 80261 11 | 2.985 % | 71.57/71.66 c | 957765 | 66696 518564 2023870 | 1 81843 11 | 2.985 % | 71.57/71.66 c | 958722 | 66696 518564 2023870 | 1 82800 11 | 2.985 % | 71.57/71.66 c | 959004 | 66696 518564 2023870 | 1 83082 11 | 2.985 % | 71.57/71.66 c | 961309 | 66692 518564 2023870 | 1 85386 12 | 2.991 % | 71.57/71.66 c | 961411 | 66692 518564 2023870 | 1 85488 12 | 2.991 % | 71.57/71.66 c | 961877 | 66692 518564 2023870 | 1 85954 12 | 2.991 % | 71.57/71.66 c | 962196 | 66692 518546 2023766 | 1 86256 12 | 2.991 % | 71.57/71.66 c | 962301 | 66692 518546 2023766 | 1 86361 12 | 2.991 % | 71.57/71.66 c | 962489 | 66692 518546 2023766 | 1 86549 12 | 2.991 % | 71.57/71.66 c | 963171 | 66692 518546 2023766 | 1 87231 12 | 2.991 % | 71.57/71.66 c | 963557 | 66692 518546 2023766 | 1 87617 12 | 2.991 % | 71.57/71.66 c | 964020 | 66692 518546 2023766 | 1 88080 12 | 2.991 % | 71.57/71.66 c | 965538 | 66692 518546 2023766 | 1 89598 12 | 2.991 % | 71.57/71.66 c | 965729 | 66692 518546 2023766 | 1 89789 12 | 2.991 % | 71.57/71.66 c | 966466 | 66692 518546 2023766 | 1 90526 13 | 2.991 % | 71.57/71.66 c | 966566 | 66692 518546 2023766 | 1 90626 13 | 2.991 % | 71.57/71.66 c | 967012 | 66692 518546 2023766 | 1 91072 13 | 2.991 % | 71.57/71.66 c | 967616 | 66692 518546 2023766 | 1 91676 13 | 2.991 % | 71.57/71.66 c | 967716 | 66692 518546 2023766 | 1 91776 13 | 2.991 % | 71.57/71.66 c | 968060 | 66692 518546 2023766 | 1 92120 13 | 2.991 % | 71.57/71.66 c | 968162 | 66692 518546 2023766 | 1 92222 13 | 2.991 % | 71.57/71.66 c | 969100 | 66689 518542 2023746 | 1 93140 13 | 2.995 % | 71.57/71.66 c | 969239 | 66688 518542 2023746 | 1 93278 13 | 2.996 % | 71.57/71.66 c | 969441 | 66688 518542 2023746 | 1 93480 13 | 2.996 % | 71.57/71.66 c | 972004 | 66688 518542 2023746 | 1 96043 13 | 2.996 % | 71.57/71.66 c | 973255 | 66688 518542 2023746 | 1 97294 13 | 2.996 % | 71.57/71.66 c | 973577 | 66688 518542 2023746 | 1 97616 13 | 2.996 % | 71.57/71.66 c | 975207 | 66688 518542 2023746 | 1 99246 13 | 2.996 % | 71.57/71.66 c | 975307 | 66688 518542 2023746 | 1 99346 13 | 2.996 % | 71.57/71.66 c | 977011 | 66688 518542 2023746 | 1 101050 13 | 2.996 % | 71.57/71.66 c | 977541 | 66688 518542 2023746 | 1 101580 14 | 2.996 % | 71.57/71.66 c | 978978 | 66688 518542 2023746 | 1 103017 14 | 2.996 % | 71.57/71.66 c | 979485 | 66688 518504 2023569 | 1 103462 14 | 2.996 % | 71.57/71.66 c | 979718 | 66688 518504 2023569 | 1 103695 14 | 2.996 % | 71.57/71.66 c | 979818 | 66688 518504 2023569 | 1 103795 14 | 2.996 % | 77.27/77.31 c | 981027 | 66688 518504 2023569 | 1 105004 14 | 2.996 % | 77.27/77.31 c | 981278 | 66680 518504 2023569 | 1 105254 14 | 3.008 % | 77.27/77.31 c | 982413 | 66680 518504 2023569 | 1 106389 14 | 3.008 % | 77.27/77.31 c | 982841 | 66680 518504 2023569 | 1 106817 14 | 3.008 % | 77.27/77.31 c | 982941 | 66680 518504 2023569 | 1 106917 14 | 3.008 % | 77.27/77.31 c | 983814 | 66680 518504 2023569 | 1 107790 14 | 3.008 % | 77.27/77.31 c | 984370 | 66680 518504 2023569 | 1 108346 14 | 3.008 % | 77.27/77.31 c | 987113 | 66680 518504 2023569 | 1 111089 14 | 3.008 % | 77.27/77.31 c | 987306 | 66680 518446 2023125 | 1 111180 14 | 3.008 % | 77.27/77.31 c | 989605 | 66680 518446 2023125 | 1 113479 14 | 3.008 % | 77.27/77.31 c | 989707 | 66680 518446 2023125 | 1 113581 14 | 3.008 % | 77.27/77.31 c | 989872 | 66680 518446 2023125 | 1 113746 14 | 3.008 % | 77.27/77.31 c | 996302 | 66680 518446 2023125 | 1 120176 15 | 3.008 % | 77.27/77.31 c | 996763 | 66680 518446 2023125 | 1 120637 15 | 3.008 % | 77.27/77.31 c | 997099 | 66680 518446 2023125 | 1 120973 15 | 3.008 % | 77.27/77.31 c | 997451 | 66680 518446 2023125 | 1 121325 15 | 3.008 % | 77.27/77.31 c | 997856 | 66680 518446 2023125 | 1 121730 15 | 3.008 % | 77.27/77.31 c | 998373 | 66680 518446 2023125 | 1 122247 15 | 3.008 % | 77.27/77.31 c | 999107 | 66680 518446 2023125 | 1 122981 15 | 3.008 % | 77.27/77.31 c | 999686 | 66680 518446 2023125 | 1 123560 15 | 3.008 % | 77.27/77.31 c | 1002744 | 66680 518446 2023125 | 1 126618 15 | 3.008 % | 77.27/77.31 c | 1005240 | 66680 518446 2023125 | 1 129114 16 | 3.008 % | 77.27/77.31 c | 1005341 | 66680 518446 2023125 | 1 129215 16 | 3.008 % | 77.27/77.31 c | 1005539 | 66680 518446 2023125 | 1 129413 16 | 3.008 % | 77.27/77.31 c | 1005769 | 66680 518446 2023125 | 1 129643 16 | 3.008 % | 77.27/77.31 c | 1007071 | 66676 518420 2022952 | 1 130865 16 | 3.014 % | 77.27/77.31 c | 1007358 | 66676 518420 2022952 | 1 131152 16 | 3.014 % | 77.27/77.31 c | 1008151 | 66676 518420 2022952 | 1 131945 16 | 3.014 % | 77.27/77.31 c | 1009281 | 66676 518420 2022952 | 1 133075 16 | 3.014 % | 77.27/77.31 c | 1009383 | 66676 518420 2022952 | 1 133177 16 | 3.014 % | 77.27/77.31 c | 1009582 | 66676 518420 2022952 | 1 133376 16 | 3.014 % | 77.27/77.31 c | 1011946 | 66675 518420 2022952 | 1 135739 16 | 3.015 % | 77.27/77.31 c | 1012590 | 66675 518420 2022952 | 1 136383 16 | 3.015 % | 77.27/77.31 c | 1014009 | 66675 518420 2022952 | 1 137802 16 | 3.015 % | 77.27/77.31 c | 1014414 | 66675 518420 2022952 | 1 138207 16 | 3.015 % | 77.27/77.31 c | 1015037 | 66675 518420 2022952 | 1 138830 16 | 3.015 % | 77.27/77.31 c | 1015142 | 66675 518412 2022925 | 1 138928 16 | 3.015 % | 77.27/77.31 c | 1015242 | 66675 518412 2022925 | 1 139028 16 | 3.015 % | 77.27/77.31 c | 1015634 | 66675 518412 2022925 | 1 139420 16 | 3.015 % | 77.27/77.31 c | 1015975 | 66675 518412 2022925 | 1 139761 16 | 3.015 % | 77.27/77.31 c | 1017854 | 66675 518412 2022925 | 1 141640 16 | 3.015 % | 77.27/77.31 c | 1018687 | 66675 518412 2022925 | 1 142473 16 | 3.015 % | 77.27/77.31 c | 1019279 | 66675 518412 2022925 | 1 143065 16 | 3.015 % | 77.27/77.31 c | 1020447 | 66675 518412 2022925 | 1 144233 16 | 3.015 % | 77.27/77.31 c | 1021548 | 66675 518412 2022925 | 1 82730 10 | 3.015 % | 77.27/77.31 c | 1027063 | 66675 518412 2022925 | 1 88245 11 | 3.015 % | 77.27/77.31 c | 1027556 | 66675 518412 2022925 | 1 88738 12 | 3.015 % | 77.27/77.31 c | 1027906 | 66675 518412 2022925 | 1 89088 12 | 3.015 % | 77.27/77.31 c | 1028372 | 66675 518412 2022925 | 1 89554 12 | 3.015 % | 77.27/77.31 c | 1028533 | 66675 518412 2022925 | 1 89715 12 | 3.015 % | 80.97/81.09 c | 1028805 | 66675 518412 2022925 | 1 89987 12 | 3.015 % | 80.97/81.09 c | 1031293 | 66660 518395 2022857 | 1 92472 12 | 3.037 % | 80.97/81.09 c | 1031574 | 66660 518395 2022857 | 1 92753 12 | 3.037 % | 80.97/81.09 c | 1031675 | 66660 518395 2022857 | 1 92854 12 | 3.037 % | 80.97/81.09 c | 1031874 | 66660 518395 2022857 | 1 93053 12 | 3.037 % | 80.97/81.09 c | 1032250 | 66660 518395 2022857 | 1 93429 12 | 3.037 % | 80.97/81.09 c | 1032510 | 66660 518395 2022857 | 1 93689 12 | 3.037 % | 80.97/81.09 c | 1032687 | 66660 518395 2022857 | 1 93866 12 | 3.037 % | 80.97/81.09 c | 1033081 | 66660 518395 2022857 | 1 94260 12 | 3.037 % | 80.97/81.09 c | 1035474 | 66660 518395 2022857 | 1 96653 12 | 3.037 % | 80.97/81.09 c | 1035918 | 66660 518255 2022367 | 1 97077 12 | 3.037 % | 80.97/81.09 c | 1040440 | 66660 518255 2022367 | 1 101599 14 | 3.037 % | 80.97/81.09 c | 1040540 | 66660 518255 2022367 | 1 101699 14 | 3.037 % | 80.97/81.09 c | 1040707 | 66660 518255 2022367 | 1 101866 14 | 3.037 % | 80.97/81.09 c | 1040833 | 66660 518255 2022367 | 1 101992 14 | 3.037 % | 80.97/81.09 c | 1040933 | 66660 518255 2022367 | 1 102092 14 | 3.037 % | 80.97/81.09 c | 1041308 | 66660 518255 2022367 | 1 102467 14 | 3.037 % | 80.97/81.09 c | 1041732 | 66648 518255 2022367 | 1 102890 14 | 3.055 % | 80.97/81.09 c | 1041908 | 66648 518255 2022367 | 1 103066 14 | 3.055 % | 80.97/81.09 c | 1042890 | 66648 518255 2022367 | 1 104048 14 | 3.055 % | 80.97/81.09 c | 1043747 | 66648 518255 2022367 | 1 104905 14 | 3.055 % | 80.97/81.09 c | 1043910 | 66648 518255 2022367 | 1 105068 14 | 3.055 % | 80.97/81.09 c | 1044500 | 66648 518197 2022125 | 1 105602 14 | 3.055 % | 80.97/81.09 c | 1044601 | 66648 518197 2022125 | 1 105703 14 | 3.055 % | 80.97/81.09 c | 1046040 | 66648 518197 2022125 | 1 107142 14 | 3.055 % | 80.97/81.09 c | 1046234 | 66648 518197 2022125 | 1 107336 14 | 3.055 % | 80.97/81.09 c | 1046769 | 66648 518197 2022125 | 1 107871 14 | 3.055 % | 80.97/81.09 c | 1046870 | 66648 518197 2022125 | 1 107972 14 | 3.055 % | 80.97/81.09 c | 1047494 | 66648 518197 2022125 | 1 108596 14 | 3.055 % | 80.97/81.09 c | 1047595 | 66648 518197 2022125 | 1 108697 14 | 3.055 % | 80.97/81.09 c | 1047695 | 66648 518197 2022125 | 1 108797 14 | 3.055 % | 80.97/81.09 c | 1048188 | 66648 518197 2022125 | 1 109290 14 | 3.055 % | 80.97/81.09 c | 1048288 | 66648 518197 2022125 | 1 109390 14 | 3.055 % | 80.97/81.09 c | 1048388 | 66648 518197 2022125 | 1 109490 14 | 3.055 % | 80.97/81.09 c | 1049004 | 66648 518197 2022125 | 1 110106 14 | 3.055 % | 80.97/81.09 c | 1049310 | 66646 518131 2021838 | 1 110343 14 | 3.058 % | 80.97/81.09 c | 1049583 | 66646 518131 2021838 | 1 110616 14 | 3.058 % | 80.97/81.09 c | 1049766 | 66646 518131 2021838 | 1 110799 14 | 3.058 % | 80.97/81.09 c | 1052719 | 66646 518131 2021838 | 1 113752 15 | 3.058 % | 80.97/81.09 c | 1052928 | 66646 518131 2021838 | 1 113961 15 | 3.058 % | 80.97/81.09 c | 1053060 | 66646 518131 2021838 | 1 114093 15 | 3.058 % | 80.97/81.09 c | 1056211 | 66646 518131 2021838 | 1 117244 15 | 3.058 % | 80.97/81.09 c | 1057564 | 66646 518131 2021838 | 1 118597 15 | 3.058 % | 80.97/81.09 c | 1057895 | 66646 518131 2021838 | 1 118928 15 | 3.058 % | 80.97/81.09 c | 1058045 | 66646 518131 2021838 | 1 119078 15 | 3.058 % | 80.97/81.09 c | 1058905 | 66646 518131 2021838 | 1 119938 15 | 3.058 % | 80.97/81.09 c | 1059005 | 66646 518131 2021838 | 1 120038 15 | 3.058 % | 80.97/81.09 c | 1059105 | 66646 518131 2021838 | 1 120138 15 | 3.058 % | 80.97/81.09 c | 1059297 | 66646 518131 2021838 | 1 120330 15 | 3.058 % | 80.97/81.09 c | 1059397 | 66646 518131 2021838 | 1 120430 15 | 3.058 % | 83.77/83.87 c | 1059498 | 66646 518131 2021838 | 1 120531 15 | 3.058 % | 83.77/83.87 c | 1060025 | 66646 518131 2021838 | 1 121058 15 | 3.058 % | 83.77/83.87 c | 1060127 | 66646 518131 2021838 | 1 121160 15 | 3.058 % | 83.77/83.87 c | 1060227 | 66646 518131 2021838 | 1 121260 15 | 3.058 % | 83.77/83.87 c | 1061944 | 66646 518131 2021838 | 1 122977 15 | 3.058 % | 83.77/83.87 c | 1062114 | 66646 518131 2021838 | 1 123147 15 | 3.058 % | 83.77/83.87 c | 1062561 | 66646 518131 2021838 | 1 123594 15 | 3.058 % | 83.77/83.87 c | 1062949 | 66646 518131 2021838 | 1 123982 15 | 3.058 % | 83.77/83.87 c | 1063119 | 66646 518131 2021838 | 1 124152 15 | 3.058 % | 83.77/83.87 c | 1063266 | 66646 518131 2021838 | 1 124299 15 | 3.058 % | 83.77/83.87 c | 1063366 | 66646 518131 2021838 | 1 124399 15 | 3.058 % | 83.77/83.87 c | 1063467 | 66646 518131 2021838 | 1 124500 15 | 3.058 % | 83.77/83.87 c | 1063694 | 66646 518131 2021838 | 1 124727 16 | 3.058 % | 83.77/83.87 c | 1063795 | 66646 518131 2021838 | 1 124828 16 | 3.058 % | 83.77/83.87 c | 1064303 | 66646 518131 2021838 | 1 125336 16 | 3.058 % | 83.77/83.87 c | 1064586 | 66646 518131 2021838 | 1 125619 16 | 3.058 % | 83.77/83.87 c | 1064689 | 66646 518131 2021838 | 1 125722 16 | 3.058 % | 83.77/83.87 c | 1065322 | 66646 518131 2021838 | 1 126355 16 | 3.058 % | 83.77/83.87 c | 1065711 | 66646 518131 2021838 | 1 126744 16 | 3.058 % | 83.77/83.87 c | 1067124 | 66645 518101 2021709 | 1 128128 16 | 3.059 % | 83.77/83.87 c | 1067226 | 66645 518101 2021709 | 1 128230 16 | 3.059 % | 83.77/83.87 c | 1067454 | 66645 518101 2021709 | 1 128458 16 | 3.059 % | 83.77/83.87 c | 1068102 | 66645 518101 2021709 | 1 129106 16 | 3.059 % | 83.77/83.87 c | 1068203 | 66645 518101 2021709 | 1 129207 16 | 3.059 % | 83.77/83.87 c | 1068305 | 66645 518101 2021709 | 1 129309 16 | 3.059 % | 83.77/83.87 c | 1068462 | 66645 518101 2021709 | 1 129466 16 | 3.059 % | 83.77/83.87 c | 1068634 | 66645 518101 2021709 | 1 129638 16 | 3.059 % | 83.77/83.87 c | 1069439 | 66645 518101 2021709 | 1 130443 16 | 3.059 % | 83.77/83.87 c | 1069680 | 66645 518101 2021709 | 1 130684 16 | 3.059 % | 83.77/83.87 c | 1070037 | 66645 518101 2021709 | 1 131041 16 | 3.059 % | 83.77/83.87 c | 1070175 | 66645 518101 2021709 | 1 131179 16 | 3.059 % | 83.77/83.87 c | 1071526 | 66643 518101 2021709 | 1 132529 16 | 3.062 % | 83.77/83.87 c | 1073365 | 66643 518101 2021709 | 1 134368 16 | 3.062 % | 83.77/83.87 c | 1073602 | 66643 518101 2021709 | 1 134605 16 | 3.062 % | 83.77/83.87 c | 1073951 | 66643 518101 2021709 | 1 134954 16 | 3.062 % | 83.77/83.87 c | 1074051 | 66643 518101 2021709 | 1 135054 16 | 3.062 % | 83.77/83.87 c | 1074800 | 66643 518101 2021709 | 1 135803 16 | 3.062 % | 83.77/83.87 c | 1074901 | 66643 518101 2021709 | 1 135904 16 | 3.062 % | 83.77/83.87 c | 1075043 | 66643 518101 2021709 | 1 136046 16 | 3.062 % | 83.77/83.87 c | 1075404 | 66639 518096 2021690 | 1 136404 16 | 3.068 % | 83.77/83.87 c | 1075528 | 66639 518096 2021690 | 1 136528 16 | 3.068 % | 83.77/83.87 c | 1075872 | 66639 518096 2021690 | 1 136872 16 | 3.068 % | 83.77/83.87 c | 1076038 | 66639 518096 2021690 | 1 137038 16 | 3.068 % | 83.77/83.87 c | 1076327 | 66639 518096 2021690 | 1 137327 16 | 3.068 % | 83.77/83.87 c | 1076843 | 66639 518096 2021690 | 1 137843 16 | 3.068 % | 83.77/83.87 c | 1077035 | 66639 518096 2021690 | 1 138035 16 | 3.068 % | 83.77/83.87 c | 1079111 | 66639 518096 2021690 | 1 140111 16 | 3.068 % | 83.77/83.87 c | 1079211 | 66639 518096 2021690 | 1 140211 16 | 3.068 % | 83.77/83.87 c | 1079710 | 66639 518096 2021690 | 1 140710 16 | 3.068 % | 83.77/83.87 c | 1080061 | 66639 518096 2021690 | 1 141061 16 | 3.068 % | 87.56/87.66 c | 1080436 | 66639 518096 2021690 | 1 141436 16 | 3.068 % | 87.56/87.66 c | 1080537 | 66639 518096 2021690 | 1 141537 16 | 3.068 % | 87.56/87.66 c | 1080912 | 66639 518096 2021690 | 1 141912 16 | 3.068 % | 87.56/87.66 c | 1089937 | 66639 518096 2021690 | 1 150937 17 | 3.068 % | 87.56/87.66 c | 1090345 | 66639 518096 2021690 | 1 151345 17 | 3.068 % | 87.56/87.66 c | 1090582 | 66639 518096 2021690 | 1 151582 17 | 3.068 % | 87.56/87.66 c | 1090929 | 66639 518096 2021690 | 1 151929 17 | 3.068 % | 87.56/87.66 c | 1091068 | 66639 518054 2021493 | 1 151900 17 | 3.068 % | 87.56/87.66 c | 1091387 | 66639 518054 2021493 | 1 152219 17 | 3.068 % | 87.56/87.66 c | 1091489 | 66639 518054 2021493 | 1 152321 17 | 3.068 % | 87.56/87.66 c | 1091615 | 66639 518054 2021493 | 1 152447 17 | 3.068 % | 87.56/87.66 c | 1091979 | 66639 518054 2021493 | 1 152811 17 | 3.068 % | 87.56/87.66 c | 1092561 | 66639 518054 2021493 | 1 153393 17 | 3.068 % | 87.56/87.66 c | 1092662 | 66639 518054 2021493 | 1 153494 17 | 3.068 % | 87.56/87.66 c | 1093078 | 66639 518054 2021493 | 1 153910 17 | 3.068 % | 87.56/87.66 c | 1093238 | 66639 518054 2021493 | 1 154070 17 | 3.068 % | 87.56/87.66 c | 1093340 | 66639 518054 2021493 | 1 154172 17 | 3.068 % | 87.56/87.66 c | 1093579 | 66639 518054 2021493 | 1 154411 17 | 3.068 % | 87.56/87.66 c | 1094240 | 66639 518054 2021493 | 1 155072 17 | 3.068 % | 87.56/87.66 c | 1094345 | 66639 518054 2021493 | 1 155177 17 | 3.068 % | 87.56/87.66 c | 1103543 | 66639 518054 2021493 | 1 164375 18 | 3.068 % | 87.56/87.66 c | 1107727 | 66639 518054 2021493 | 1 168559 19 | 3.068 % | 87.56/87.66 c | 1107829 | 66639 518054 2021493 | 1 168661 19 | 3.068 % | 87.56/87.66 c | 1108095 | 66639 518054 2021493 | 1 168927 19 | 3.068 % | 87.56/87.66 c | 1108336 | 66639 518054 2021493 | 1 169168 19 | 3.068 % | 87.56/87.66 c | 1108723 | 66639 518054 2021493 | 1 169555 19 | 3.068 % | 87.56/87.66 c | 1109182 | 66639 518054 2021493 | 1 170014 19 | 3.068 % | 87.56/87.66 c | 1109419 | 66639 518054 2021493 | 1 170251 19 | 3.068 % | 87.56/87.66 c | 1109520 | 66639 518054 2021493 | 1 170352 19 | 3.068 % | 87.56/87.66 c | 1111630 | 66639 518054 2021493 | 1 172462 19 | 3.068 % | 87.56/87.66 c | 1112123 | 66639 518054 2021493 | 1 172955 19 | 3.068 % | 87.56/87.66 c | 1112223 | 66639 518054 2021493 | 1 173055 19 | 3.068 % | 87.56/87.66 c | 1112665 | 66639 518054 2021493 | 1 173497 19 | 3.068 % | 87.56/87.66 c | 1113851 | 66639 518054 2021493 | 1 174683 19 | 3.068 % | 87.56/87.66 c | 1113952 | 66639 518054 2021493 | 1 174784 19 | 3.068 % | 87.56/87.66 c | 1114146 | 66639 518054 2021493 | 1 174978 19 | 3.068 % | 87.56/87.66 c | 1114671 | 66639 518054 2021493 | 1 175503 19 | 3.068 % | 87.56/87.66 c | 1114772 | 66639 518054 2021493 | 1 175604 19 | 3.068 % | 87.56/87.66 c | 1115100 | 66639 518054 2021493 | 1 175932 19 | 3.068 % | 87.56/87.66 c | 1115402 | 66639 518054 2021493 | 1 176234 19 | 3.068 % | 87.56/87.66 c | 1115781 | 66639 518054 2021493 | 1 176613 19 | 3.068 % | 87.56/87.66 c | 1116123 | 66639 518054 2021493 | 1 176955 19 | 3.068 % | 87.56/87.66 c | 1116271 | 66639 518054 2021493 | 1 177103 19 | 3.068 % | 87.56/87.66 c | 1116726 | 66639 518054 2021493 | 1 177558 19 | 3.068 % | 87.56/87.66 c | 1116832 | 66639 518054 2021493 | 1 177664 19 | 3.068 % | 87.56/87.66 c | 1116933 | 66639 518054 2021493 | 1 177765 19 | 3.068 % | 87.56/87.66 c | 1117833 | 66639 518054 2021493 | 1 178665 19 | 3.068 % | 87.56/87.66 c | 1118747 | 66639 518054 2021493 | 1 179579 19 | 3.068 % | 87.56/87.66 c | 1119913 | 66639 518054 2021493 | 1 180745 19 | 3.068 % | 87.56/87.66 c | 1120210 | 66639 518054 2021493 | 1 181042 19 | 3.068 % | 90.66/90.75 c | 1120598 | 66639 518054 2021493 | 1 181430 19 | 3.068 % | 90.66/90.75 c | 1120698 | 66639 518054 2021493 | 1 181530 19 | 3.068 % | 90.66/90.75 c | 1120799 | 66639 518054 2021493 | 1 181631 19 | 3.068 % | 90.66/90.75 c | 1123806 | 66639 518054 2021493 | 1 96754 11 | 3.068 % | 90.66/90.75 c | 1124002 | 66639 518054 2021493 | 1 96950 11 | 3.068 % | 90.66/90.75 c | 1124153 | 66639 518054 2021493 | 1 97101 11 | 3.068 % | 90.66/90.75 c | 1124716 | 66639 518054 2021493 | 1 97664 11 | 3.068 % | 90.66/90.75 c | 1125132 | 66639 518054 2021493 | 1 98080 11 | 3.068 % | 90.66/90.75 c | 1125710 | 66639 518054 2021493 | 1 98658 11 | 3.068 % | 90.66/90.75 c | 1126306 | 66639 518054 2021493 | 1 99254 11 | 3.068 % | 90.66/90.75 c | 1127214 | 66639 518054 2021493 | 1 100162 11 | 3.068 % | 90.66/90.75 c | 1127317 | 66639 518054 2021493 | 1 100265 11 | 3.068 % | 90.66/90.75 c | 1127417 | 66639 518054 2021493 | 1 100365 11 | 3.068 % | 90.66/90.75 c | 1127517 | 66639 518054 2021493 | 1 100465 11 | 3.068 % | 90.66/90.75 c | 1127801 | 66639 518054 2021493 | 1 100749 11 | 3.068 % | 90.66/90.75 c | 1127949 | 66639 518054 2021493 | 1 100897 11 | 3.068 % | 90.66/90.75 c | 1128137 | 66639 518054 2021493 | 1 101085 11 | 3.068 % | 90.66/90.75 c | 1128326 | 66639 518054 2021493 | 1 101274 11 | 3.068 % | 90.66/90.75 c | 1128711 | 66639 518054 2021493 | 1 101659 11 | 3.068 % | 90.66/90.75 c | 1128815 | 66639 518054 2021493 | 1 101763 11 | 3.068 % | 90.66/90.75 c | 1129183 | 66639 518054 2021493 | 1 102131 11 | 3.068 % | 90.66/90.75 c | 1129286 | 66639 518054 2021493 | 1 102234 11 | 3.068 % | 90.66/90.75 c | 1129969 | 66639 518054 2021493 | 1 102917 11 | 3.068 % | 90.66/90.75 c | 1131136 | 66636 518031 2021366 | 1 104082 12 | 3.072 % | 90.66/90.75 c | 1131607 | 66636 518031 2021366 | 1 104553 12 | 3.072 % | 90.66/90.75 c | 1131707 | 66636 518031 2021366 | 1 104653 12 | 3.072 % | 90.66/90.75 c | 1131807 | 66636 518031 2021366 | 1 104753 12 | 3.072 % | 90.66/90.75 c | 1131908 | 66636 518031 2021366 | 1 104854 12 | 3.072 % | 90.66/90.75 c | 1132765 | 66636 518031 2021366 | 1 105711 12 | 3.072 % | 90.66/90.75 c | 1132865 | 66636 518031 2021366 | 1 105811 12 | 3.072 % | 90.66/90.75 c | 1133129 | 66636 518031 2021366 | 1 106075 12 | 3.072 % | 90.66/90.75 c | 1133527 | 66636 518031 2021366 | 1 106473 12 | 3.072 % | 90.66/90.75 c | 1133628 | 66636 518031 2021366 | 1 106574 12 | 3.072 % | 90.66/90.75 c | 1134092 | 66636 518031 2021366 | 1 107038 12 | 3.072 % | 90.66/90.75 c | 1134445 | 66636 518031 2021366 | 1 107391 12 | 3.072 % | 90.66/90.75 c | 1134546 | 66636 518031 2021366 | 1 107492 12 | 3.072 % | 90.66/90.75 c | 1134647 | 66636 518031 2021366 | 1 107593 12 | 3.072 % | 90.66/90.75 c | 1135960 | 66636 518031 2021366 | 1 108906 12 | 3.072 % | 90.66/90.75 c | 1136254 | 66636 518031 2021366 | 1 109200 12 | 3.072 % | 90.66/90.75 c | 1136358 | 66636 518031 2021366 | 1 109304 12 | 3.072 % | 90.66/90.75 c | 1139261 | 66636 518031 2021366 | 1 112207 13 | 3.072 % | 90.66/90.75 c | 1139361 | 66636 518031 2021366 | 1 112307 13 | 3.072 % | 90.66/90.75 c | 1139462 | 66636 518031 2021366 | 1 112408 13 | 3.072 % | 90.66/90.75 c | 1141226 | 66636 518031 2021366 | 1 114172 13 | 3.072 % | 90.66/90.75 c | 1141718 | 66636 518031 2021366 | 1 114664 13 | 3.072 % | 90.66/90.75 c | 1142101 | 66636 518031 2021366 | 1 115047 13 | 3.072 % | 90.66/90.75 c | 1142518 | 66636 518031 2021366 | 1 115464 13 | 3.072 % | 90.66/90.75 c | 1142990 | 66636 518031 2021366 | 1 115936 13 | 3.072 % | 90.66/90.75 c | 1143477 | 66636 518031 2021366 | 1 116423 13 | 3.072 % | 90.66/90.75 c | 1144162 | 66636 518031 2021366 | 1 117108 13 | 3.072 % | 94.36/94.43 c | 1144327 | 66636 518031 2021366 | 1 117273 13 | 3.072 % | 94.36/94.43 c | 1144759 | 66636 518031 2021366 | 1 117705 13 | 3.072 % | 94.36/94.43 c | 1144859 | 66636 518031 2021366 | 1 117805 13 | 3.072 % | 94.36/94.43 c | 1145817 | 66636 518031 2021366 | 1 118763 13 | 3.072 % | 94.36/94.43 c | 1146580 | 66636 518031 2021366 | 1 119526 13 | 3.072 % | 94.36/94.43 c | 1147059 | 66636 518031 2021366 | 1 120005 13 | 3.072 % | 94.36/94.43 c | 1147160 | 66636 518031 2021366 | 1 120106 13 | 3.072 % | 94.36/94.43 c | 1147540 | 66636 518031 2021366 | 1 120486 14 | 3.072 % | 94.36/94.43 c | 1148931 | 66636 518031 2021366 | 1 121877 14 | 3.072 % | 94.36/94.43 c | 1149033 | 66636 518031 2021366 | 1 121979 14 | 3.072 % | 94.36/94.43 c | 1149456 | 66636 518031 2021366 | 1 122402 14 | 3.072 % | 94.36/94.43 c | 1149646 | 66636 518031 2021366 | 1 122592 14 | 3.072 % | 94.36/94.43 c | 1149747 | 66636 518031 2021366 | 1 122693 14 | 3.072 % | 94.36/94.43 c | 1150158 | 66636 518031 2021366 | 1 123104 14 | 3.072 % | 94.36/94.43 c | 1151065 | 66636 518031 2021366 | 1 124011 14 | 3.072 % | 94.36/94.43 c | 1151262 | 66636 518031 2021366 | 1 124208 14 | 3.072 % | 94.36/94.43 c | 1151396 | 66636 518031 2021366 | 1 124342 14 | 3.072 % | 94.36/94.43 c | 1152325 | 66636 518031 2021366 | 1 125271 14 | 3.072 % | 94.36/94.43 c | 1153244 | 66636 518031 2021366 | 1 126190 14 | 3.072 % | 94.36/94.43 c | 1153347 | 66636 518031 2021366 | 1 126293 14 | 3.072 % | 94.36/94.43 c | 1153447 | 66636 518031 2021366 | 1 126393 14 | 3.072 % | 94.36/94.43 c | 1153547 | 66636 518031 2021366 | 1 126493 14 | 3.072 % | 94.36/94.43 c | 1153911 | 66636 518031 2021366 | 1 126857 14 | 3.072 % | 94.36/94.43 c | 1154015 | 66636 518031 2021366 | 1 126961 14 | 3.072 % | 94.36/94.43 c | 1154116 | 66636 518031 2021366 | 1 127062 14 | 3.072 % | 94.36/94.43 c | 1154216 | 66636 518031 2021366 | 1 127162 14 | 3.072 % | 94.36/94.43 c | 1155135 | 66636 518031 2021366 | 1 128081 14 | 3.072 % | 94.36/94.43 c | 1156477 | 66636 518031 2021366 | 1 129423 14 | 3.072 % | 94.36/94.43 c | 1157097 | 66636 518031 2021366 | 1 130043 14 | 3.072 % | 94.36/94.43 c | 1158078 | 66636 518031 2021366 | 1 131024 14 | 3.072 % | 94.36/94.43 c | 1159397 | 66635 518012 2021309 | 1 132340 14 | 3.074 % | 94.36/94.43 c | 1159635 | 66635 518012 2021309 | 1 132578 14 | 3.074 % | 94.36/94.43 c | 1159736 | 66635 518012 2021309 | 1 132679 14 | 3.074 % | 94.36/94.43 c | 1159836 | 66635 518012 2021309 | 1 132779 14 | 3.074 % | 94.36/94.43 c | 1159936 | 66635 518012 2021309 | 1 132879 14 | 3.074 % | 94.36/94.43 c | 1160036 | 66635 518012 2021309 | 1 132979 14 | 3.074 % | 94.36/94.43 c | 1160202 | 66635 518012 2021309 | 1 133145 14 | 3.074 % | 94.36/94.43 c | 1160800 | 66635 518012 2021309 | 1 133743 14 | 3.074 % | 94.36/94.43 c | 1161060 | 66635 518012 2021309 | 1 134003 15 | 3.074 % | 94.36/94.43 c | 1161759 | 66635 518012 2021309 | 1 134702 15 | 3.074 % | 94.36/94.43 c | 1162921 | 66635 518012 2021309 | 1 135864 15 | 3.074 % | 94.36/94.43 c | 1163093 | 66635 518012 2021309 | 1 136036 15 | 3.074 % | 94.36/94.43 c | 1163384 | 66635 518012 2021309 | 1 136327 15 | 3.074 % | 94.36/94.43 c | 1163484 | 66635 518012 2021309 | 1 136427 15 | 3.074 % | 94.36/94.43 c | 1163653 | 66635 518012 2021309 | 1 136596 15 | 3.074 % | 94.36/94.43 c | 1163753 | 66635 518012 2021309 | 1 136696 15 | 3.074 % | 94.36/94.43 c | 1164193 | 66635 518012 2021309 | 1 137136 15 | 3.074 % | 94.36/94.43 c | 1165244 | 66635 518012 2021309 | 1 138187 15 | 3.074 % | 94.36/94.43 c | 1166946 | 66635 518012 2021309 | 1 139889 15 | 3.074 % | 94.36/94.43 c | 1167462 | 66635 518012 2021309 | 1 140405 15 | 3.074 % | 96.67/96.75 c | 1167688 | 66635 518012 2021309 | 1 140631 15 | 3.074 % | 96.67/96.75 c | 1169128 | 66635 518012 2021309 | 1 142071 15 | 3.074 % | 96.67/96.75 c | 1169292 | 66635 518012 2021309 | 1 142235 15 | 3.074 % | 96.67/96.75 c | 1169452 | 66635 518012 2021309 | 1 142395 15 | 3.074 % | 96.67/96.75 c | 1169693 | 66635 518012 2021309 | 1 142636 15 | 3.074 % | 96.67/96.75 c | 1170324 | 66635 518012 2021309 | 1 143267 15 | 3.074 % | 96.67/96.75 c | 1171674 | 66635 518012 2021309 | 1 144617 15 | 3.074 % | 96.67/96.75 c | 1171775 | 66635 518012 2021309 | 1 144718 15 | 3.074 % | 96.67/96.75 c | 1171882 | 66635 518012 2021309 | 1 144825 15 | 3.074 % | 96.67/96.75 c | 1171985 | 66635 518012 2021309 | 1 144928 15 | 3.074 % | 96.67/96.75 c | 1172173 | 66635 518012 2021309 | 1 145116 15 | 3.074 % | 96.67/96.75 c | 1172710 | 66635 518012 2021309 | 1 145653 15 | 3.074 % | 96.67/96.75 c | 1172896 | 66635 518012 2021309 | 1 145839 15 | 3.074 % | 96.67/96.75 c | 1172996 | 66635 518012 2021309 | 1 145939 15 | 3.074 % | 96.67/96.75 c | 1173096 | 66635 518012 2021309 | 1 146039 15 | 3.074 % | 96.67/96.75 c | 1173229 | 66635 518012 2021309 | 1 146172 15 | 3.074 % | 96.67/96.75 c | 1173391 | 66635 518012 2021309 | 1 146334 15 | 3.074 % | 96.67/96.75 c | 1173744 | 66635 518012 2021309 | 1 146687 15 | 3.074 % | 96.67/96.75 c | 1173845 | 66635 518012 2021309 | 1 146788 15 | 3.074 % | 96.67/96.75 c | 1174346 | 66635 518012 2021309 | 1 147289 15 | 3.074 % | 96.67/96.75 c | 1174612 | 66635 518012 2021309 | 1 147555 15 | 3.074 % | 96.67/96.75 c | 1174713 | 66635 518012 2021309 | 1 147656 15 | 3.074 % | 96.67/96.75 c | 1174816 | 66635 518012 2021309 | 1 147759 15 | 3.074 % | 96.67/96.75 c | 1174978 | 66635 518012 2021309 | 1 147921 15 | 3.074 % | 96.67/96.75 c | 1175439 | 66635 518012 2021309 | 1 148382 15 | 3.074 % | 96.67/96.75 c | 1176702 | 66635 518012 2021309 | 1 149645 15 | 3.074 % | 96.67/96.75 c | 1177713 | 66635 518012 2021309 | 1 150656 16 | 3.074 % | 96.67/96.75 c | 1177976 | 66635 518012 2021309 | 1 150919 16 | 3.074 % | 96.67/96.75 c | 1178103 | 66635 518012 2021309 | 1 151046 16 | 3.074 % | 96.67/96.75 c | 1178323 | 66635 518012 2021309 | 1 151266 16 | 3.074 % | 96.67/96.75 c | 1178423 | 66635 518012 2021309 | 1 151366 16 | 3.074 % | 96.67/96.75 c | 1178524 | 66635 518012 2021309 | 1 151467 16 | 3.074 % | 96.67/96.75 c | 1178654 | 66635 518012 2021309 | 1 151597 16 | 3.074 % | 96.67/96.75 c | 1178878 | 66635 518012 2021309 | 1 151821 16 | 3.074 % | 96.67/96.75 c | 1178978 | 66635 518012 2021309 | 1 151921 16 | 3.074 % | 96.67/96.75 c | 1179078 | 66635 518012 2021309 | 1 152021 16 | 3.074 % | 96.67/96.75 c | 1179178 | 66635 518012 2021309 | 1 152121 16 | 3.074 % | 96.67/96.75 c | 1179278 | 66635 518012 2021309 | 1 152221 16 | 3.074 % | 96.67/96.75 c | 1179380 | 66635 518012 2021309 | 1 152323 16 | 3.074 % | 96.67/96.75 c | 1179804 | 66635 518012 2021309 | 1 152747 16 | 3.074 % | 96.67/96.75 c | 1180115 | 66635 518012 2021309 | 1 153058 16 | 3.074 % | 96.67/96.75 c | 1180374 | 66635 518012 2021309 | 1 153317 16 | 3.074 % | 96.67/96.75 c | 1180635 | 66635 518012 2021309 | 1 153578 16 | 3.074 % | 96.67/96.75 c | 1180736 | 66635 518012 2021309 | 1 153679 16 | 3.074 % | 96.67/96.75 c | 1184202 | 66635 518012 2021309 | 1 157145 16 | 3.074 % | 96.67/96.75 c | 1184303 | 66635 518012 2021309 | 1 157246 16 | 3.074 % | 96.67/96.75 c | 1184404 | 66635 518012 2021309 | 1 157347 16 | 3.074 % | 96.67/96.75 c | 1184504 | 66635 518012 2021309 | 1 157447 16 | 3.074 % | 96.67/96.75 c | 1184655 | 66635 518012 2021309 | 1 157598 16 | 3.074 % | 96.67/96.75 c | 1184919 | 66635 518012 2021309 | 1 157862 16 | 3.074 % | 100.86/100.94 c | 1185569 | 66635 518012 2021309 | 1 158512 16 | 3.074 % | 100.86/100.94 c | 1186260 | 66635 518012 2021309 | 1 159203 16 | 3.074 % | 100.86/100.94 c | 1186613 | 66635 518012 2021309 | 1 159556 16 | 3.074 % | 100.86/100.94 c | 1186838 | 66635 518012 2021309 | 1 159781 16 | 3.074 % | 100.86/100.94 c | 1187016 | 66635 518012 2021309 | 1 159959 16 | 3.074 % | 100.86/100.94 c | 1187927 | 66635 518012 2021309 | 1 160870 16 | 3.074 % | 100.86/100.94 c | 1188147 | 66635 518012 2021309 | 1 161090 16 | 3.074 % | 100.86/100.94 c | 1188617 | 66635 518012 2021309 | 1 161560 16 | 3.074 % | 100.86/100.94 c | 1188720 | 66635 518012 2021309 | 1 161663 16 | 3.074 % | 100.86/100.94 c | 1188991 | 66635 518012 2021309 | 1 161934 16 | 3.074 % | 100.86/100.94 c | 1189102 | 66635 518012 2021309 | 1 162045 16 | 3.074 % | 100.86/100.94 c | 1189607 | 66635 518012 2021309 | 1 162550 16 | 3.074 % | 100.86/100.94 c | 1189713 | 66635 518012 2021309 | 1 162656 16 | 3.074 % | 100.86/100.94 c | 1189815 | 66635 518012 2021309 | 1 162758 16 | 3.074 % | 100.86/100.94 c | 1190265 | 66635 518012 2021309 | 1 163208 16 | 3.074 % | 100.86/100.94 c | 1191771 | 66635 518012 2021309 | 1 164714 16 | 3.074 % | 100.86/100.94 c | 1192715 | 66635 518012 2021309 | 1 165658 16 | 3.074 % | 100.86/100.94 c | 1192860 | 66635 518012 2021309 | 1 165803 16 | 3.074 % | 100.86/100.94 c | 1192960 | 66635 518012 2021309 | 1 165903 16 | 3.074 % | 100.86/100.94 c | 1193298 | 66635 518012 2021309 | 1 166241 16 | 3.074 % | 100.86/100.94 c | 1193398 | 66635 518012 2021309 | 1 166341 16 | 3.074 % | 100.86/100.94 c | 1193653 | 66635 518012 2021309 | 1 166596 16 | 3.074 % | 100.86/100.94 c | 1194437 | 66635 518012 2021309 | 1 167380 16 | 3.074 % | 100.86/100.94 c | 1194681 | 66635 518012 2021309 | 1 167624 16 | 3.074 % | 100.86/100.94 c | 1195034 | 66635 518012 2021309 | 1 167977 16 | 3.074 % | 100.86/100.94 c | 1195135 | 66635 518012 2021309 | 1 168078 16 | 3.074 % | 100.86/100.94 c | 1196690 | 66635 518012 2021309 | 1 169633 16 | 3.074 % | 100.86/100.94 c | 1196792 | 66635 518012 2021309 | 1 169735 16 | 3.074 % | 100.86/100.94 c | 1196892 | 66635 518012 2021309 | 1 169835 16 | 3.074 % | 100.86/100.94 c | 1197202 | 66635 518012 2021309 | 1 170145 16 | 3.074 % | 100.86/100.94 c | 1197302 | 66635 518012 2021309 | 1 170245 16 | 3.074 % | 100.86/100.94 c | 1198684 | 66635 518012 2021309 | 1 171627 16 | 3.074 % | 100.86/100.94 c | 1209777 | 66635 518012 2021309 | 1 110719 11 | 3.074 % | 100.86/100.94 c | 1211428 | 66635 518012 2021309 | 1 112370 12 | 3.074 % | 100.86/100.94 c | 1212661 | 66635 518012 2021309 | 1 113603 12 | 3.074 % | 100.86/100.94 c | 1213226 | 66635 518012 2021309 | 1 114168 12 | 3.074 % | 100.86/100.94 c | 1213471 | 66635 518012 2021309 | 1 114413 12 | 3.074 % | 100.86/100.94 c | 1214005 | 66635 518012 2021309 | 1 114947 12 | 3.074 % | 100.86/100.94 c | 1214537 | 66635 518012 2021309 | 1 115479 12 | 3.074 % | 100.86/100.94 c | 1214637 | 66635 518012 2021309 | 1 115579 12 | 3.074 % | 100.86/100.94 c | 1215361 | 66635 518012 2021309 | 1 116303 12 | 3.074 % | 100.86/100.94 c | 1215503 | 66635 518012 2021309 | 1 116445 12 | 3.074 % | 100.86/100.94 c | 1215770 | 66635 518012 2021309 | 1 116712 12 | 3.074 % | 100.86/100.94 c | 1216103 | 66635 518012 2021309 | 1 117045 12 | 3.074 % | 100.86/100.94 c | 1216278 | 66635 518012 2021309 | 1 117220 12 | 3.074 % | 100.86/100.94 c | 1216415 | 66635 518012 2021309 | 1 117357 12 | 3.074 % | 100.86/100.94 c | 1216546 | 66635 518012 2021309 | 1 117488 12 | 3.074 % | 100.86/100.94 c | 1216770 | 66635 518012 2021309 | 1 117712 12 | 3.074 % | 100.86/100.94 c | 1216872 | 66635 518012 2021309 | 1 117814 12 | 3.074 % | 100.86/100.94 c | 1217435 | 66635 518012 2021309 | 1 118377 12 | 3.074 % | 106.37/106.43 c | 1219006 | 66635 518012 2021309 | 1 119948 12 | 3.074 % | 106.37/106.43 c | 1219254 | 66635 518012 2021309 | 1 120196 12 | 3.074 % | 106.37/106.43 c | 1219796 | 66635 518012 2021309 | 1 120738 12 | 3.074 % | 106.37/106.43 c | 1223962 | 66635 518012 2021309 | 1 124904 13 | 3.074 % | 106.37/106.43 c | 1225173 | 66635 518012 2021309 | 1 126115 13 | 3.074 % | 106.37/106.43 c | 1225274 | 66635 518012 2021309 | 1 126216 13 | 3.074 % | 106.37/106.43 c | 1225791 | 66635 518012 2021309 | 1 126733 13 | 3.074 % | 106.37/106.43 c | 1225956 | 66635 518012 2021309 | 1 126898 13 | 3.074 % | 106.37/106.43 c | 1226171 | 66635 518012 2021309 | 1 127113 13 | 3.074 % | 106.37/106.43 c | 1226353 | 66635 518012 2021309 | 1 127295 13 | 3.074 % | 106.37/106.43 c | 1226455 | 66635 518012 2021309 | 1 127397 13 | 3.074 % | 106.37/106.43 c | 1227581 | 66635 518012 2021309 | 1 128523 13 | 3.074 % | 106.37/106.43 c | 1228883 | 66635 518012 2021309 | 1 129825 13 | 3.074 % | 106.37/106.43 c | 1229217 | 66635 518012 2021309 | 1 130159 13 | 3.074 % | 106.37/106.43 c | 1239680 | 66635 518012 2021309 | 1 140622 14 | 3.074 % | 106.37/106.43 c | 1239780 | 66635 518012 2021309 | 1 140722 14 | 3.074 % | 106.37/106.43 c | 1241871 | 66635 518012 2021309 | 1 142813 14 | 3.074 % | 106.37/106.43 c | 1242128 | 66635 518012 2021309 | 1 143070 14 | 3.074 % | 106.37/106.43 c | 1242229 | 66635 518012 2021309 | 1 143171 14 | 3.074 % | 106.37/106.43 c | 1242330 | 66635 518012 2021309 | 1 143272 14 | 3.074 % | 106.37/106.43 c | 1243471 | 66635 518012 2021309 | 1 144413 15 | 3.074 % | 106.37/106.43 c | 1244316 | 66635 518012 2021309 | 1 145258 15 | 3.074 % | 106.37/106.43 c | 1244484 | 66635 518012 2021309 | 1 145426 15 | 3.074 % | 106.37/106.43 c | 1244585 | 66635 518012 2021309 | 1 145527 15 | 3.074 % | 106.37/106.43 c | 1244693 | 66635 518012 2021309 | 1 145635 15 | 3.074 % | 106.37/106.43 c | 1244920 | 66635 518012 2021309 | 1 145862 15 | 3.074 % | 106.37/106.43 c | 1247722 | 66635 518012 2021309 | 1 148664 15 | 3.074 % | 106.37/106.43 c | 1250160 | 66635 518012 2021309 | 1 151102 15 | 3.074 % | 106.37/106.43 c | 1253293 | 66635 518012 2021309 | 1 154235 15 | 3.074 % | 106.37/106.43 c | 1253885 | 66635 518012 2021309 | 1 154827 15 | 3.074 % | 106.37/106.43 c | 1254130 | 66635 518012 2021309 | 1 155072 15 | 3.074 % | 106.37/106.43 c | 1254337 | 66635 518012 2021309 | 1 155279 15 | 3.074 % | 106.37/106.43 c | 1254893 | 66635 518012 2021309 | 1 155835 15 | 3.074 % | 106.37/106.43 c | 1255137 | 66635 518012 2021309 | 1 156079 15 | 3.074 % | 106.37/106.43 c | 1255431 | 66635 518012 2021309 | 1 156373 15 | 3.074 % | 106.37/106.43 c | 1255608 | 66635 518012 2021309 | 1 156550 15 | 3.074 % | 106.37/106.43 c | 1255708 | 66635 518012 2021309 | 1 156650 15 | 3.074 % | 106.37/106.43 c | 1258718 | 66635 518012 2021309 | 1 159660 16 | 3.074 % | 106.37/106.43 c | 1258820 | 66635 518012 2021309 | 1 159762 16 | 3.074 % | 106.37/106.43 c | 1258920 | 66635 518012 2021309 | 1 159862 16 | 3.074 % | 106.37/106.43 c | 1259555 | 66635 518012 2021309 | 1 160497 16 | 3.074 % | 106.37/106.43 c | 1259784 | 66635 518012 2021309 | 1 160726 16 | 3.074 % | 106.37/106.43 c | 1260972 | 66635 518012 2021309 | 1 161914 16 | 3.074 % | 106.37/106.43 c | 1261269 | 66635 518012 2021309 | 1 162211 16 | 3.074 % | 106.37/106.43 c | 1274707 | 66635 518012 2021309 | 1 175649 16 | 3.074 % | 106.37/106.43 c | 1274808 | 66635 518012 2021309 | 1 175750 16 | 3.074 % | 106.37/106.43 c | 1275019 | 66635 518012 2021309 | 1 175961 16 | 3.074 % | 106.37/106.43 c | 1275209 | 66635 518012 2021309 | 1 176151 16 | 3.074 % | 106.37/106.43 c | 1275799 | 66635 518012 2021309 | 1 176741 16 | 3.074 % | 112.37/112.45 c | 1276082 | 66635 518012 2021309 | 1 177024 17 | 3.074 % | 112.37/112.45 c | 1276502 | 66635 518012 2021309 | 1 177444 17 | 3.074 % | 112.37/112.45 c | 1277001 | 66635 518012 2021309 | 1 177943 17 | 3.074 % | 112.37/112.45 c | 1277101 | 66635 518012 2021309 | 1 178043 17 | 3.074 % | 112.37/112.45 c | 1277202 | 66635 518012 2021309 | 1 178144 17 | 3.074 % | 112.37/112.45 c | 1277415 | 66635 518012 2021309 | 1 178357 17 | 3.074 % | 112.37/112.45 c | 1278618 | 66635 518012 2021309 | 1 179560 17 | 3.074 % | 112.37/112.45 c | 1278857 | 66635 518012 2021309 | 1 179799 17 | 3.074 % | 112.37/112.45 c | 1279118 | 66635 518012 2021309 | 1 180060 17 | 3.074 % | 112.37/112.45 c | 1279324 | 66635 518012 2021309 | 1 180266 17 | 3.074 % | 112.37/112.45 c | 1279424 | 66635 518012 2021309 | 1 180366 17 | 3.074 % | 112.37/112.45 c | 1279524 | 66635 518012 2021309 | 1 180466 17 | 3.074 % | 112.37/112.45 c | 1279624 | 66635 518012 2021309 | 1 180566 17 | 3.074 % | 112.37/112.45 c | 1279801 | 66635 518012 2021309 | 1 180743 17 | 3.074 % | 112.37/112.45 c | 1280482 | 66635 518012 2021309 | 1 181424 17 | 3.074 % | 112.37/112.45 c | 1280733 | 66635 518012 2021309 | 1 181675 17 | 3.074 % | 112.37/112.45 c | 1280961 | 66635 518012 2021309 | 1 181903 17 | 3.074 % | 112.37/112.45 c | 1281075 | 66635 518012 2021309 | 1 182017 17 | 3.074 % | 112.37/112.45 c | 1282575 | 66635 518012 2021309 | 1 183517 17 | 3.074 % | 112.37/112.45 c | 1282675 | 66635 518012 2021309 | 1 183617 17 | 3.074 % | 112.37/112.45 c | 1283039 | 66635 518012 2021309 | 1 183981 17 | 3.074 % | 112.37/112.45 c | 1291125 | 66635 518012 2021309 | 1 192067 17 | 3.074 % | 112.37/112.45 c | 1291226 | 66635 518012 2021309 | 1 192168 17 | 3.074 % | 112.37/112.45 c | 1291398 | 66635 518012 2021309 | 1 192340 17 | 3.074 % | 112.37/112.45 c | 1291612 | 66635 518012 2021309 | 1 192554 17 | 3.074 % | 112.37/112.45 c | 1291712 | 66635 518012 2021309 | 1 192654 17 | 3.074 % | 112.37/112.45 c | 1294295 | 66635 518012 2021309 | 1 195237 17 | 3.074 % | 112.37/112.45 c | 1294570 | 66635 518012 2021309 | 1 195512 17 | 3.074 % | 112.37/112.45 c | 1300509 | 66635 518012 2021309 | 1 201451 18 | 3.074 % | 112.37/112.45 c | 1301373 | 66635 518012 2021309 | 1 202315 18 | 3.074 % | 112.37/112.45 c | 1301473 | 66635 518012 2021309 | 1 202415 18 | 3.074 % | 112.37/112.45 c | 1301763 | 66635 518012 2021309 | 1 202705 18 | 3.074 % | 112.37/112.45 c | 1301984 | 66635 518012 2021309 | 1 202926 18 | 3.074 % | 112.37/112.45 c | 1302091 | 66635 518012 2021309 | 1 203033 18 | 3.074 % | 112.37/112.45 c | 1302645 | 66635 518012 2021309 | 1 203587 18 | 3.074 % | 112.37/112.45 c | 1302746 | 66635 518012 2021309 | 1 203688 18 | 3.074 % | 112.37/112.45 c | 1306622 | 66501 516405 2013479 | 1 207561 18 | 3.268 % | 112.37/112.45 c | 1306722 | 66501 516405 2013479 | 1 207661 18 | 3.268 % | 112.37/112.45 c | 1317796 | 66501 516405 2013479 | 1 129919 13 | 3.268 % | 112.37/112.45 c | 1317926 | 66501 516405 2013479 | 1 130049 13 | 3.268 % | 112.37/112.45 c | 1318042 | 66501 516405 2013479 | 1 130165 13 | 3.268 % | 112.37/112.45 c | 1318675 | 66501 516405 2013479 | 1 130798 13 | 3.268 % | 112.37/112.45 c | 1318993 | 66501 516405 2013479 | 1 131116 13 | 3.268 % | 112.37/112.45 c | 1319105 | 66501 516405 2013479 | 1 131228 13 | 3.268 % | 112.37/112.45 c | 1319252 | 66501 516405 2013479 | 1 131375 13 | 3.268 % | 112.37/112.45 c | 1327174 | 66501 516405 2013479 | 1 139297 13 | 3.268 % | 112.37/112.45 c | 1328505 | 66501 516405 2013479 | 1 140628 13 | 3.268 % | 112.37/112.45 c | 1329155 | 66501 516405 2013479 | 1 141278 13 | 3.268 % | 112.37/112.45 c | 1329550 | 66501 516405 2013479 | 1 141673 13 | 3.268 % | 112.37/112.45 c | 1330036 | 66501 516405 2013479 | 1 142159 14 | 3.268 % | 121.36/121.44 c | 1330144 | 66501 516405 2013479 | 1 142267 14 | 3.268 % | 121.36/121.44 c | 1330555 | 66501 516405 2013479 | 1 142678 14 | 3.268 % | 121.36/121.44 c | 1333254 | 66501 516405 2013479 | 1 145377 14 | 3.268 % | 121.36/121.44 c | 1333746 | 66501 516405 2013479 | 1 145869 14 | 3.268 % | 121.36/121.44 c | 1333983 | 66501 516405 2013479 | 1 146106 14 | 3.268 % | 121.36/121.44 c | 1334099 | 66501 516405 2013479 | 1 146222 14 | 3.268 % | 121.36/121.44 c | 1335054 | 66501 516405 2013479 | 1 147177 14 | 3.268 % | 121.36/121.44 c | 1336201 | 66501 516405 2013479 | 1 148324 14 | 3.268 % | 121.36/121.44 c | 1336302 | 66501 516405 2013479 | 1 148425 14 | 3.268 % | 121.36/121.44 c | 1336547 | 66501 516405 2013479 | 1 148670 14 | 3.268 % | 121.36/121.44 c | 1339827 | 66501 516405 2013479 | 1 151950 14 | 3.268 % | 121.36/121.44 c | 1341606 | 66501 516405 2013479 | 1 153729 15 | 3.268 % | 121.36/121.44 c | 1341782 | 66501 516405 2013479 | 1 153905 15 | 3.268 % | 121.36/121.44 c | 1342046 | 66501 516405 2013479 | 1 154169 15 | 3.268 % | 121.36/121.44 c | 1343369 | 66501 516405 2013479 | 1 155492 15 | 3.268 % | 121.36/121.44 c | 1343825 | 66501 516405 2013479 | 1 155948 15 | 3.268 % | 121.36/121.44 c | 1345252 | 66501 516405 2013479 | 1 157375 15 | 3.268 % | 121.36/121.44 c | 1345413 | 66501 516405 2013479 | 1 157536 15 | 3.268 % | 121.36/121.44 c | 1347768 | 66501 516405 2013479 | 1 159891 15 | 3.268 % | 121.36/121.44 c | 1349329 | 66501 516405 2013479 | 1 161452 15 | 3.268 % | 121.36/121.44 c | 1350522 | 66501 516405 2013479 | 1 162645 15 | 3.268 % | 121.36/121.44 c | 1350791 | 66501 516405 2013479 | 1 162914 15 | 3.268 % | 121.36/121.44 c | 1358096 | 66501 516405 2013479 | 1 170219 16 | 3.268 % | 121.36/121.44 c | 1358196 | 66501 516405 2013479 | 1 170319 16 | 3.268 % | 121.36/121.44 c | 1361476 | 66501 516405 2013479 | 1 173599 16 | 3.268 % | 121.36/121.44 c | 1361578 | 66501 516405 2013479 | 1 173701 16 | 3.268 % | 121.36/121.44 c | 1361679 | 66501 516405 2013479 | 1 173802 16 | 3.268 % | 121.36/121.44 c | 1362340 | 66501 516405 2013479 | 1 174463 16 | 3.268 % | 121.36/121.44 c | 1363019 | 66501 516405 2013479 | 1 175142 16 | 3.268 % | 121.36/121.44 c | 1363253 | 66501 516405 2013479 | 1 175376 16 | 3.268 % | 121.36/121.44 c | 1363468 | 66501 516405 2013479 | 1 175591 16 | 3.268 % | 121.36/121.44 c | 1363597 | 66501 516405 2013479 | 1 175720 16 | 3.268 % | 121.36/121.44 c | 1366058 | 66501 516405 2013479 | 1 178181 16 | 3.268 % | 121.36/121.44 c | 1373531 | 66501 516405 2013479 | 1 185654 17 | 3.268 % | 121.36/121.44 c | 1373855 | 66501 516405 2013479 | 1 185978 17 | 3.268 % | 121.36/121.44 c | 1374560 | 66501 516405 2013479 | 1 186683 17 | 3.268 % | 121.36/121.44 c | 1374662 | 66501 516405 2013479 | 1 186785 17 | 3.268 % | 121.36/121.44 c | 1375796 | 66501 516405 2013479 | 1 187919 17 | 3.268 % | 121.36/121.44 c | 1375897 | 66501 516405 2013479 | 1 188020 17 | 3.268 % | 121.36/121.44 c | 1378672 | 66501 516405 2013479 | 1 190795 17 | 3.268 % | 121.36/121.44 c | 1380278 | 66500 516383 2013409 | 1 192394 17 | 3.270 % | 121.36/121.44 c | 1380381 | 66500 516383 2013409 | 1 192497 17 | 3.270 % | 121.36/121.44 c | 1380483 | 66500 516383 2013409 | 1 192599 17 | 3.270 % | 121.36/121.44 c | 1380646 | 66500 516383 2013409 | 1 192762 17 | 3.270 % | 121.36/121.44 c | 1380986 | 66500 516383 2013409 | 1 193102 17 | 3.270 % | 121.36/121.44 c | 1381323 | 66500 516383 2013409 | 1 193439 17 | 3.270 % | 121.36/121.44 c | 1381423 | 66500 516383 2013409 | 1 193539 17 | 3.270 % | 121.36/121.44 c | 1381616 | 66500 516383 2013409 | 1 193732 17 | 3.270 % | 121.36/121.44 c | 1381717 | 66500 516383 2013409 | 1 193833 17 | 3.270 % | 121.36/121.44 c | 1381818 | 66500 516383 2013409 | 1 193934 17 | 3.270 % | 124.76/124.83 c | 1382141 | 66500 516383 2013409 | 1 194257 17 | 3.270 % | 124.76/124.83 c | 1382272 | 66500 516383 2013409 | 1 194388 17 | 3.270 % | 124.76/124.83 c | 1383096 | 66500 516383 2013409 | 1 195212 17 | 3.270 % | 124.76/124.83 c | 1384161 | 66500 516383 2013409 | 1 196277 17 | 3.270 % | 124.76/124.83 c | 1384628 | 66500 516383 2013409 | 1 196744 17 | 3.270 % | 124.76/124.83 c | 1384758 | 66500 516383 2013409 | 1 196874 17 | 3.270 % | 124.76/124.83 c | 1385796 | 66500 516383 2013409 | 1 197912 17 | 3.270 % | 124.76/124.83 c | 1385909 | 66500 516383 2013409 | 1 198025 17 | 3.270 % | 124.76/124.83 c | 1386009 | 66500 516383 2013409 | 1 198125 17 | 3.270 % | 124.76/124.83 c | 1386112 | 66500 516383 2013409 | 1 198228 17 | 3.270 % | 124.76/124.83 c | 1386220 | 66500 516383 2013409 | 1 198336 17 | 3.270 % | 124.76/124.83 c | 1386349 | 66500 516383 2013409 | 1 198465 17 | 3.270 % | 124.76/124.83 c | 1386449 | 66500 516383 2013409 | 1 198565 17 | 3.270 % | 124.76/124.83 c | 1388174 | 66500 516383 2013409 | 1 200290 17 | 3.270 % | 124.76/124.83 c | 1388518 | 66500 516383 2013409 | 1 200634 17 | 3.270 % | 124.76/124.83 c | 1388831 | 66500 516383 2013409 | 1 200947 18 | 3.270 % | 124.76/124.83 c | 1388931 | 66500 516383 2013409 | 1 201047 18 | 3.270 % | 124.76/124.83 c | 1389117 | 66500 516383 2013409 | 1 201233 18 | 3.270 % | 124.76/124.83 c | 1389232 | 66500 516383 2013409 | 1 201348 18 | 3.270 % | 124.76/124.83 c | 1389364 | 66500 516383 2013409 | 1 201480 18 | 3.270 % | 124.76/124.83 c | 1389465 | 66500 516383 2013409 | 1 201581 18 | 3.270 % | 124.76/124.83 c | 1389567 | 66500 516383 2013409 | 1 201683 18 | 3.270 % | 124.76/124.83 c | 1389949 | 66500 516383 2013409 | 1 202065 18 | 3.270 % | 124.76/124.83 c | 1390049 | 66500 516383 2013409 | 1 202165 18 | 3.270 % | 124.76/124.83 c | 1390612 | 66500 516383 2013409 | 1 202728 18 | 3.270 % | 124.76/124.83 c | 1390716 | 66500 516383 2013409 | 1 202832 18 | 3.270 % | 124.76/124.83 c | 1390965 | 66500 516383 2013409 | 1 203081 18 | 3.270 % | 124.76/124.83 c | 1391851 | 66500 516383 2013409 | 1 203967 18 | 3.270 % | 124.76/124.83 c | 1391952 | 66500 516383 2013409 | 1 204068 18 | 3.270 % | 124.76/124.83 c | 1400559 | 66499 516379 2013389 | 1 128481 12 | 3.271 % | 124.76/124.83 c | 1401339 | 66499 516379 2013389 | 1 129261 12 | 3.271 % | 124.76/124.83 c | 1401630 | 66499 516379 2013389 | 1 129552 12 | 3.271 % | 124.76/124.83 c | 1401833 | 66499 516379 2013389 | 1 129755 12 | 3.271 % | 124.76/124.83 c | 1403430 | 66499 516379 2013389 | 1 131352 12 | 3.271 % | 124.76/124.83 c | 1404531 | 66499 516379 2013389 | 1 132453 12 | 3.271 % | 124.76/124.83 c | 1404632 | 66499 516379 2013389 | 1 132554 12 | 3.271 % | 124.76/124.83 c | 1404758 | 66499 516379 2013389 | 1 132680 12 | 3.271 % | 124.76/124.83 c | 1405122 | 66499 516379 2013389 | 1 133044 12 | 3.271 % | 124.76/124.83 c | 1405225 | 66499 516379 2013389 | 1 133147 12 | 3.271 % | 124.76/124.83 c | 1410911 | 66499 516379 2013389 | 1 138833 13 | 3.271 % | 124.76/124.83 c | 1411011 | 66499 516379 2013389 | 1 138933 13 | 3.271 % | 124.76/124.83 c | 1411111 | 66499 516379 2013389 | 1 139033 13 | 3.271 % | 124.76/124.83 c | 1411923 | 66499 516379 2013389 | 1 139845 13 | 3.271 % | 124.76/124.83 c | 1412023 | 66499 516379 2013389 | 1 139945 13 | 3.271 % | 124.76/124.83 c | 1412123 | 66499 516379 2013389 | 1 140045 13 | 3.271 % | 124.76/124.83 c | 1413271 | 66499 516379 2013389 | 1 141193 13 | 3.271 % | 124.76/124.83 c | 1413372 | 66499 516379 2013389 | 1 141294 13 | 3.271 % | 124.76/124.83 c | 1413503 | 66499 516379 2013389 | 1 141425 13 | 3.271 % | 124.76/124.83 c | 1413984 | 66499 516379 2013389 | 1 141906 13 | 3.271 % | 124.76/124.83 c | 1414315 | 66499 516379 2013389 | 1 142237 13 | 3.271 % | 132.16/132.26 c | 1415987 | 66499 516379 2013389 | 1 143909 13 | 3.271 % | 132.16/132.26 c | 1416374 | 66499 516379 2013389 | 1 144296 13 | 3.271 % | 132.16/132.26 c | 1416589 | 66499 516379 2013389 | 1 144511 13 | 3.271 % | 132.16/132.26 c | 1416831 | 66499 516379 2013389 | 1 144753 14 | 3.271 % | 132.16/132.26 c | 1417187 | 66499 516379 2013389 | 1 145109 14 | 3.271 % | 132.16/132.26 c | 1417391 | 66499 516379 2013389 | 1 145313 14 | 3.271 % | 132.16/132.26 c | 1418653 | 66499 516379 2013389 | 1 146575 14 | 3.271 % | 132.16/132.26 c | 1418826 | 66493 516346 2013161 | 1 146702 14 | 3.280 % | 132.16/132.26 c | 1418926 | 66493 516346 2013161 | 1 146802 14 | 3.280 % | 132.16/132.26 c | 1419026 | 66493 516346 2013161 | 1 146902 14 | 3.280 % | 132.16/132.26 c | 1419604 | 66493 516346 2013161 | 1 147480 14 | 3.280 % | 132.16/132.26 c | 1421218 | 66492 516346 2013161 | 1 149093 14 | 3.282 % | 132.16/132.26 c | 1421319 | 66492 516346 2013161 | 1 149194 14 | 3.282 % | 132.16/132.26 c | 1421902 | 66486 516346 2013161 | 1 149775 14 | 3.290 % | 132.16/132.26 c | 1422002 | 66486 516346 2013161 | 1 149875 14 | 3.290 % | 132.16/132.26 c | 1422144 | 66486 516346 2013161 | 1 150017 14 | 3.290 % | 132.16/132.26 c | 1425364 | 66486 516346 2013161 | 1 153237 14 | 3.290 % | 132.16/132.26 c | 1425464 | 66486 516346 2013161 | 1 153337 14 | 3.290 % | 132.16/132.26 c | 1425565 | 66486 516346 2013161 | 1 153438 14 | 3.290 % | 132.16/132.26 c | 1433922 | 66486 516346 2013161 | 1 161795 14 | 3.290 % | 132.16/132.26 c | 1434023 | 66486 516346 2013161 | 1 161896 14 | 3.290 % | 132.16/132.26 c | 1434127 | 66486 516346 2013161 | 1 162000 14 | 3.290 % | 132.16/132.26 c | 1434268 | 66486 516346 2013161 | 1 162141 14 | 3.290 % | 132.16/132.26 c | 1434816 | 66483 516346 2013161 | 1 162688 14 | 3.295 % | 132.16/132.26 c | 1435354 | 66483 516346 2013161 | 1 163226 15 | 3.295 % | 132.16/132.26 c | 1437192 | 66483 516260 2012614 | 1 164745 15 | 3.295 % | 132.16/132.26 c | 1440232 | 66483 516260 2012614 | 1 167785 15 | 3.295 % | 132.16/132.26 c | 1440421 | 66483 516260 2012614 | 1 167974 15 | 3.295 % | 132.16/132.26 c | 1458709 | 66479 514346 2003840 | 1 181411 16 | 3.300 % | 132.16/132.26 c | 1458811 | 66479 514346 2003840 | 1 181513 16 | 3.300 % | 132.16/132.26 c | 1458912 | 66479 514346 2003840 | 1 181614 16 | 3.300 % | 132.16/132.26 c | 1464026 | 66479 514346 2003840 | 1 186728 16 | 3.300 % | 132.16/132.26 c | 1464170 | 66479 514346 2003840 | 1 186872 16 | 3.300 % | 132.16/132.26 c | 1470612 | 66479 514346 2003840 | 1 193314 17 | 3.300 % | 132.16/132.26 c | 1470900 | 66479 514346 2003840 | 1 193602 17 | 3.300 % | 132.16/132.26 c | 1472366 | 66479 514346 2003840 | 1 195068 17 | 3.300 % | 132.16/132.26 c | 1477410 | 66479 514346 2003840 | 1 200112 17 | 3.300 % | 132.16/132.26 c | 1477562 | 66479 514346 2003840 | 1 200264 17 | 3.300 % | 132.16/132.26 c | 1478574 | 66479 514346 2003840 | 1 201276 17 | 3.300 % | 132.16/132.26 c | 1485715 | 61216 512088 1996798 | 1 204865 17 | 10.956 % | 132.16/132.26 c =============================================================================== 132.16/132.26 c restarts : 1527 132.16/132.26 c nb ReduceDB : 31 132.16/132.26 c nb removed Clauses : 1263337 132.16/132.26 c nb learnts DL2 : 8979 132.16/132.26 c nb learnts size 2 : 1535 132.16/132.26 c nb learnts size 1 : 158 132.16/132.26 c conflicts : 1485715 (11649 /sec) 132.16/132.26 c decisions : 7096879 (0.00 % random) (55644 /sec) 132.16/132.26 c propagations : 502242403 (3937902 /sec) 132.16/132.26 c conflict literals : 34816451 (22.28 % deleted) 132.16/132.26 c nb reduced Clauses : 4467 132.16/132.26 c CPU time : 127.541 s 132.16/132.26 132.16/132.27 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-3303691-1303902693/watcher-3303691-1303902693 -o /tmp/evaluation-result-3303691-1303902693/solver-3303691-1303902693 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303691-1303902693.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.02 2.01 1.91 2/178 30313 /proc/meminfo: memFree=19562084/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 [startup+0.0357799 s] /proc/loadavg: 2.02 2.01 1.91 2/178 30313 /proc/meminfo: memFree=19562084/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100748 s] /proc/loadavg: 2.02 2.01 1.91 2/178 30313 /proc/meminfo: memFree=19562084/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.30071 s] /proc/loadavg: 2.02 2.01 1.91 2/178 30313 /proc/meminfo: memFree=19562084/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700656 s] /proc/loadavg: 2.02 2.01 1.91 2/178 30313 /proc/meminfo: memFree=19562084/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50047 s] /proc/loadavg: 2.02 2.01 1.91 3/180 30315 /proc/meminfo: memFree=19379524/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 [pid=30314] ppid=30313 vsize=198600 CPUtime=1.48 cores=0,2,4,6 /proc/30314/stat : 30314 (SatELite_releas) R 30313 30313 30110 0 -1 4202496 48842 0 0 0 139 9 0 0 25 0 1 0 482685477 203366400 45213 33554432000 134512640 135144242 4288891232 18446744073709551615 134745630 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30314/statm: 49650 45213 77 155 0 49493 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 207304 [startup+3.1012 s] /proc/loadavg: 2.02 2.01 1.91 3/180 30315 /proc/meminfo: memFree=19355704/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 482685477 8912896 253 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/30313/statm: 2176 253 211 178 0 69 0 [pid=30314] ppid=30313 vsize=212068 CPUtime=3.09 cores=0,2,4,6 /proc/30314/stat : 30314 (SatELite_releas) R 30313 30313 30110 0 -1 4202496 51901 0 0 0 294 15 0 0 25 0 1 0 482685477 217157632 48272 33554432000 134512640 135144242 4288891232 18446744073709551615 134726939 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/30314/statm: 53017 48272 77 155 0 52860 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 220772 [startup+6.30064 s] /proc/loadavg: 2.10 2.03 1.92 3/180 30316 /proc/meminfo: memFree=19432704/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=68656 CPUtime=1.66 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 13466 0 0 0 164 2 0 0 24 0 1 0 482685941 70303744 12720 33554432000 4194304 4260849 140737281033216 18446744073709551615 4211192 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 17164 12720 250 17 0 13805 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 77360 [startup+12.7005 s] /proc/loadavg: 2.17 2.04 1.93 3/180 30316 /proc/meminfo: memFree=19422936/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=72716 CPUtime=8.05 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 25302 0 0 0 801 4 0 0 25 0 1 0 482685941 74461184 14227 33554432000 4194304 4260849 140737281033216 18446744073709551615 4225138 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 18179 14227 251 17 0 14820 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 81420 [startup+25.5003 s] /proc/loadavg: 2.20 2.06 1.93 3/180 30317 /proc/meminfo: memFree=19379908/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=121912 CPUtime=20.85 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 36549 0 0 0 2080 5 0 0 25 0 1 0 482685941 124837888 24211 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 30478 24211 251 17 0 27119 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 130616 [startup+51.1008 s] /proc/loadavg: 2.13 2.05 1.93 3/180 30317 /proc/meminfo: memFree=19372216/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=121912 CPUtime=46.45 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 36832 0 0 0 4640 5 0 0 25 0 1 0 482685941 124837888 24480 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224562 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 30478 24480 251 17 0 27119 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 130616 [startup+102.307 s] /proc/loadavg: 2.06 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19371876/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=152736 CPUtime=97.65 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 39045 0 0 0 9760 5 0 0 25 0 1 0 482685941 156401664 26618 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224331 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 38184 26618 251 17 0 34825 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 161440 Solver just ended. Dumping a history of the last processes samples [startup+115.101 s] /proc/loadavg: 2.04 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19337300/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=110.44 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 47869 0 0 0 11037 7 0 0 25 0 1 0 482685941 168353792 34685 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224703 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 34685 251 17 0 37743 0 Current children cumulated CPU time (s) 115.06 Current children cumulated vsize (KiB) 173112 [startup+121.5 s] /proc/loadavg: 2.04 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19331296/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=116.84 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 48937 0 0 0 11677 7 0 0 25 0 1 0 482685941 168353792 35715 33554432000 4194304 4260849 140737281033216 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 35715 251 17 0 37743 0 Current children cumulated CPU time (s) 121.46 Current children cumulated vsize (KiB) 173112 [startup+127.9 s] /proc/loadavg: 2.04 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19327944/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=123.24 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 49312 0 0 0 12317 7 0 0 25 0 1 0 482685941 168353792 36075 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 36075 251 17 0 37743 0 Current children cumulated CPU time (s) 127.86 Current children cumulated vsize (KiB) 173112 [startup+129.501 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19327448/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=124.84 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 49312 0 0 0 12477 7 0 0 25 0 1 0 482685941 168353792 36075 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 36075 251 17 0 37743 0 Current children cumulated CPU time (s) 129.46 Current children cumulated vsize (KiB) 173112 [startup+131.101 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19326828/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=126.44 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 49312 0 0 0 12637 7 0 0 25 0 1 0 482685941 168353792 36075 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 36075 251 17 0 37743 0 Current children cumulated CPU time (s) 131.06 Current children cumulated vsize (KiB) 173112 [startup+131.901 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19326456/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=127.25 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 49312 0 0 0 12718 7 0 0 25 0 1 0 482685941 168353792 36075 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 36075 251 17 0 37743 0 Current children cumulated CPU time (s) 131.87 Current children cumulated vsize (KiB) 173112 [startup+132.101 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19326456/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=127.44 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 49312 0 0 0 12737 7 0 0 25 0 1 0 482685941 168353792 36075 33554432000 4194304 4260849 140737281033216 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 36075 251 17 0 37743 0 Current children cumulated CPU time (s) 132.06 Current children cumulated vsize (KiB) 173112 [startup+132.201 s] /proc/loadavg: 2.03 2.04 1.93 3/180 30319 /proc/meminfo: memFree=19326456/32951124 swapFree=67111524/67111528 [pid=30313] ppid=30311 vsize=8704 CPUtime=4.62 cores=0,2,4,6 /proc/30313/stat : 30313 (glucose.sh) S 30311 30313 30110 0 -1 4202496 359 56848 0 0 0 0 443 19 18 0 1 0 482685477 8912896 255 33554432000 4194304 4922060 140733516174688 18446744073709551615 255106587781 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/30313/statm: 2176 255 211 178 0 69 0 [pid=30316] ppid=30313 vsize=164408 CPUtime=127.54 cores=0,2,4,6 /proc/30316/stat : 30316 (glucose_static) R 30313 30313 30110 0 -1 4202496 49312 0 0 0 12747 7 0 0 25 0 1 0 482685941 168353792 36075 33554432000 4194304 4260849 140737281033216 18446744073709551615 4225121 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/30316/statm: 41102 36075 251 17 0 37743 0 Current children cumulated CPU time (s) 132.16 Current children cumulated vsize (KiB) 173112 Child status: 20 Real time (s): 132.286 CPU time (s): 132.277 CPU user time (s): 131.98 CPU system time (s): 0.296954 CPU usage (%): 99.993 Max. virtual memory (cumulated for all children) (KiB): 225916 getrusage(RUSAGE_CHILDREN,...) data: user time used= 131.98 system time used= 0.296954 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 106734 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= 43 involuntary context switches= 182 runsolver used 0.223965 second user time and 0.45893 second system time The end
Begin job on node144 at 2011-04-27 13:11:34 IDJOB=3303691 IDBENCH=69591 IDSOLVER=1687 FILE ID=node144/3303691-1303902693 RUNJOBID= node144-1303899330-30128 PBS_JOBID= 13164504 Free space on /tmp= 72396 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT_RACE08/cnf/manol-pipe-c10nidw.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303691-1303902693/watcher-3303691-1303902693 -o /tmp/evaluation-result-3303691-1303902693/solver-3303691-1303902693 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303691-1303902693.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 943fd86d922b13236c21a74c4f82b6d0 RANDOM SEED=1301479520 node144.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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.70 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.16 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.850 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.850 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.82 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.850 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.850 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 19562116 kB Buffers: 2197928 kB Cached: 10417476 kB SwapCached: 4 kB Active: 4621664 kB Inactive: 8204984 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 19562116 kB SwapTotal: 67111528 kB SwapFree: 67111524 kB Dirty: 24972 kB Writeback: 8 kB AnonPages: 210328 kB Mapped: 15124 kB Slab: 499080 kB PageTables: 5180 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 352768 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= 72392 MiB End job on node144 at 2011-04-27 13:13:46