| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | ? (TO) | 1299.95 | 1300.01 |
| Name | SAT03/handmade/anton/UNSAT/ SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf |
| MD5SUM | e826117d87949a5b285e72732bfa395b |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | |
| Best CPU time to get the best result obtained on this benchmark | |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 870 |
| Number of clauses | 69964 |
| Sum of the clauses size | 140740 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 69935 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 29 |
0.00/0.00 c 0.00/0.00 c Starting SatElite Preprocessing 0.00/0.00 c 0.00/0.00 c Parsing... 0.00/0.02 c ============================================================================== 0.00/0.02 c | | ORIGINAL | LEARNT | | 0.00/0.02 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.02 c ============================================================================== 0.00/0.02 c | 0 | 69964 140740 | 20989 0 0 nan | 0.000 % | 0.00/0.21 c | 0 | 69094 187258 | -- 0 -- -- | -- | -870/46518 0.00/0.21 c ============================================================================== 0.00/0.21 c Result : #vars: 841 #clauses: 69094 #literals: 187258 0.00/0.21 c CPU time: 0.205968 s 0.00/0.21 c ============================================================================== 0.00/0.24 c 0.00/0.24 c Starting glucose 0.00/0.24 c 42.27/42.36 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 42.27/42.36 c WARNING: for repeatability, setting FPU to use double precision 42.27/42.36 c ============================[ Problem Statistics ]============================= 42.27/42.36 c | | 42.27/42.36 c | Number of variables: 841 | 42.27/42.36 c | Number of clauses: 69094 | 42.27/42.36 c | Parse time: 0.01 s | 42.27/42.36 c | | 42.27/42.36 c ============================[ Search Statistics ]============================== 42.27/42.36 c | Conflicts | ORIGINAL | LEARNT | Progress | 42.27/42.36 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 42.27/42.36 c =============================================================================== 42.27/42.36 c | 432 | 841 69094 187258 | 1 432 132 | 0.000 % | 42.27/42.36 c | 534 | 841 69094 187258 | 1 534 131 | 0.000 % | 42.27/42.36 c | 634 | 841 69094 187258 | 1 634 131 | 0.000 % | 42.27/42.36 c | 734 | 841 69094 187258 | 1 734 136 | 0.000 % | 42.27/42.36 c | 834 | 841 69094 187258 | 1 834 137 | 0.000 % | 42.27/42.36 c | 1113 | 841 69094 187258 | 1 1113 128 | 0.000 % | 42.27/42.36 c | 6024 | 841 69094 187258 | 1 4026 80 | 0.000 % | 42.27/42.36 c | 6124 | 841 69094 187258 | 1 4126 80 | 0.000 % | 42.27/42.36 c | 14716 | 841 69094 187258 | 1 8423 75 | 0.000 % | 42.27/42.36 c | 27667 | 841 69094 187258 | 1 14631 88 | 0.000 % | 42.27/42.36 c | 34054 | 841 69094 187258 | 1 11745 78 | 0.000 % | 42.27/42.36 c | 34155 | 841 69094 187258 | 1 11846 78 | 0.000 % | 42.27/42.36 c | 34398 | 841 69094 187258 | 1 12089 78 | 0.000 % | 42.27/42.36 c | 50769 | 841 69094 187258 | 1 16634 73 | 0.000 % | 42.27/42.36 c | 89110 | 841 69094 187258 | 1 23536 71 | 0.000 % | 42.27/42.36 c | 117063 | 841 69094 187258 | 1 31875 80 | 0.000 % | 42.27/42.36 c | 124476 | 841 69094 187258 | 1 39288 82 | 0.000 % | 42.27/42.36 c | 124608 | 841 69094 187258 | 1 39420 82 | 0.000 % | 42.27/42.36 c | 127465 | 841 69094 187258 | 1 42277 83 | 0.000 % | 42.27/42.36 c | 127568 | 841 69094 187258 | 1 42380 83 | 0.000 % | 42.27/42.36 c | 127673 | 841 69094 187258 | 1 42485 83 | 0.000 % | 42.27/42.36 c | 128024 | 841 69094 187258 | 1 42836 83 | 0.000 % | 42.27/42.36 c | 137236 | 841 69094 187258 | 1 29851 73 | 0.000 % | 42.27/42.36 c | 138904 | 841 69094 187258 | 1 31519 73 | 0.000 % | 42.27/42.36 c | 139347 | 841 69094 187258 | 1 31962 74 | 0.000 % | 42.27/42.36 c | 147277 | 841 69094 187258 | 1 39892 76 | 0.000 % | 42.27/42.36 c | 147420 | 841 69094 187258 | 1 40035 76 | 0.000 % | 42.27/42.36 c | 202008 | 841 69094 187258 | 1 42436 62 | 0.000 % | 42.27/42.36 c | 206574 | 841 69094 187258 | 1 47002 64 | 0.000 % | 42.27/42.36 c | 254855 | 841 69094 187258 | 1 32679 56 | 0.000 % | 42.27/42.36 c | 284458 | 840 69086 187019 | 1 61967 65 | 0.119 % | 42.27/42.36 c | 289637 | 840 69086 187019 | 1 67146 66 | 0.119 % | 42.27/42.36 c | 290450 | 840 69086 187019 | 1 67959 66 | 0.119 % | 42.27/42.36 c | 290553 | 840 69086 187019 | 1 68062 66 | 0.119 % | 42.27/42.36 c | 290655 | 840 69086 187019 | 1 68164 66 | 0.119 % | 42.27/42.36 c | 292124 | 840 69086 187019 | 1 69633 66 | 0.119 % | 42.27/42.36 c | 292864 | 840 69086 187019 | 1 35328 51 | 0.119 % | 42.27/42.36 c | 293916 | 840 69086 187019 | 1 36380 51 | 0.119 % | 42.27/42.36 c | 294118 | 840 69086 187019 | 1 36582 51 | 0.119 % | 63.07/63.17 c | 294231 | 840 69086 187019 | 1 36695 52 | 0.119 % | 63.07/63.17 c | 294332 | 840 69086 187019 | 1 36796 52 | 0.119 % | 63.07/63.17 c | 296658 | 840 69086 187019 | 1 39122 53 | 0.119 % | 63.07/63.17 c | 296758 | 840 69086 187019 | 1 39222 53 | 0.119 % | 63.07/63.17 c | 365942 | 840 69086 187019 | 1 70687 77 | 0.119 % | 63.07/63.17 c | 366043 | 840 69086 187019 | 1 70788 77 | 0.119 % | 63.07/63.17 c | 366227 | 840 69086 187019 | 1 70972 77 | 0.119 % | 63.07/63.17 c | 366339 | 840 69086 187019 | 1 71084 77 | 0.119 % | 63.07/63.17 c | 369525 | 840 69086 187019 | 1 74270 79 | 0.119 % | 63.07/63.17 c | 369625 | 840 69086 187019 | 1 74370 79 | 0.119 % | 63.07/63.17 c | 370073 | 840 69086 187019 | 1 74818 80 | 0.119 % | 63.07/63.17 c | 370174 | 840 69086 187019 | 1 74919 80 | 0.119 % | 63.07/63.17 c | 372051 | 840 69086 187019 | 1 76796 80 | 0.119 % | 63.07/63.17 c | 372151 | 840 69086 187019 | 1 76896 80 | 0.119 % | 63.07/63.17 c | 372251 | 840 69086 187019 | 1 76996 80 | 0.119 % | 63.07/63.17 c | 372351 | 840 69086 187019 | 1 77096 80 | 0.119 % | 63.07/63.17 c | 373050 | 840 69086 187019 | 1 77795 80 | 0.119 % | 63.07/63.17 c | 373151 | 840 69086 187019 | 1 77896 80 | 0.119 % | 63.07/63.17 c | 373252 | 840 69086 187019 | 1 77997 80 | 0.119 % | 63.07/63.17 c | 373352 | 840 69086 187019 | 1 78097 80 | 0.119 % | 63.07/63.17 c | 373453 | 840 69086 187019 | 1 78198 80 | 0.119 % | 63.07/63.17 c | 373957 | 840 69086 187019 | 1 78702 80 | 0.119 % | 63.07/63.17 c | 375270 | 840 69086 187019 | 1 80015 81 | 0.119 % | 63.07/63.17 c | 375372 | 840 69086 187019 | 1 80117 81 | 0.119 % | 63.07/63.17 c | 375474 | 840 69086 187019 | 1 80219 81 | 0.119 % | 63.07/63.17 c | 377881 | 840 69086 187019 | 1 42268 56 | 0.119 % | 63.07/63.17 c | 378168 | 840 69086 187019 | 1 42555 56 | 0.119 % | 63.07/63.17 c | 378453 | 840 69086 187019 | 1 42840 56 | 0.119 % | 63.07/63.17 c | 378553 | 840 69086 187019 | 1 42940 56 | 0.119 % | 63.07/63.17 c | 380010 | 840 69086 187019 | 1 44397 58 | 0.119 % | 63.07/63.17 c | 381374 | 840 69086 187019 | 1 45761 59 | 0.119 % | 63.07/63.17 c | 382472 | 840 69086 187019 | 1 46859 60 | 0.119 % | 63.07/63.17 c | 385834 | 840 69086 187019 | 1 50221 61 | 0.119 % | 63.07/63.17 c | 387403 | 840 69086 187019 | 1 51790 62 | 0.119 % | 63.07/63.17 c | 387503 | 840 69086 187019 | 1 51890 63 | 0.119 % | 63.07/63.17 c | 387689 | 840 69086 187019 | 1 52076 63 | 0.119 % | 63.07/63.17 c | 387811 | 840 69086 187019 | 1 52198 63 | 0.119 % | 63.07/63.17 c | 387912 | 840 69086 187019 | 1 52299 63 | 0.119 % | 63.07/63.17 c | 388012 | 840 69086 187019 | 1 52399 63 | 0.119 % | 63.07/63.17 c | 388377 | 840 69086 187019 | 1 52764 63 | 0.119 % | 63.07/63.17 c | 388479 | 840 69086 187019 | 1 52866 63 | 0.119 % | 63.07/63.17 c | 389391 | 840 69086 187019 | 1 53778 64 | 0.119 % | 63.07/63.17 c | 389492 | 840 69086 187019 | 1 53879 64 | 0.119 % | 63.07/63.17 c | 389745 | 840 69086 187019 | 1 54132 64 | 0.119 % | 63.07/63.17 c | 389967 | 840 69086 187019 | 1 54354 64 | 0.119 % | 63.07/63.17 c | 395693 | 840 69086 187019 | 1 60080 66 | 0.119 % | 63.07/63.17 c | 397205 | 840 69086 187019 | 1 61592 67 | 0.119 % | 63.07/63.17 c | 398298 | 840 69086 187019 | 1 62685 67 | 0.119 % | 63.07/63.17 c | 398409 | 840 69086 187019 | 1 62796 67 | 0.119 % | 63.07/63.17 c | 398532 | 840 69086 187019 | 1 62919 67 | 0.119 % | 71.57/71.61 c | 406979 | 840 69086 187019 | 1 71366 72 | 0.119 % | 71.57/71.61 c | 407197 | 840 69086 187019 | 1 71584 72 | 0.119 % | 71.57/71.61 c | 407335 | 840 69086 187019 | 1 71722 72 | 0.119 % | 71.57/71.61 c | 407437 | 840 69086 187019 | 1 71824 72 | 0.119 % | 71.57/71.61 c | 407538 | 840 69086 187019 | 1 71925 72 | 0.119 % | 71.57/71.61 c | 412164 | 840 69086 187019 | 1 76551 73 | 0.119 % | 71.57/71.61 c | 412266 | 840 69086 187019 | 1 76653 73 | 0.119 % | 71.57/71.61 c | 412367 | 840 69086 187019 | 1 76754 74 | 0.119 % | 71.57/71.61 c | 413791 | 840 69086 187019 | 1 78178 74 | 0.119 % | 71.57/71.61 c | 413892 | 840 69086 187019 | 1 78279 74 | 0.119 % | 71.57/71.61 c | 414894 | 840 69086 187019 | 1 79281 74 | 0.119 % | 71.57/71.61 c | 414995 | 840 69086 187019 | 1 79382 74 | 0.119 % | 71.57/71.61 c | 415146 | 840 69086 187019 | 1 79533 75 | 0.119 % | 71.57/71.61 c | 415246 | 840 69086 187019 | 1 79633 75 | 0.119 % | 71.57/71.61 c | 415364 | 840 69086 187019 | 1 79751 75 | 0.119 % | 71.57/71.61 c | 415465 | 840 69086 187019 | 1 79852 75 | 0.119 % | 71.57/71.61 c | 415791 | 840 69086 187019 | 1 80178 75 | 0.119 % | 71.57/71.61 c | 415891 | 840 69086 187019 | 1 80278 75 | 0.119 % | 71.57/71.61 c | 415992 | 840 69086 187019 | 1 80379 75 | 0.119 % | 71.57/71.61 c | 416109 | 840 69086 187019 | 1 80496 75 | 0.119 % | 71.57/71.61 c | 416209 | 840 69086 187019 | 1 80596 75 | 0.119 % | 71.57/71.61 c | 416311 | 840 69086 187019 | 1 80698 75 | 0.119 % | 71.57/71.61 c | 416604 | 840 69086 187019 | 1 80991 75 | 0.119 % | 71.57/71.61 c | 417097 | 840 69086 187019 | 1 81484 75 | 0.119 % | 71.57/71.61 c | 418901 | 840 69086 187019 | 1 83288 76 | 0.119 % | 71.57/71.61 c | 421216 | 840 69086 187019 | 1 85603 76 | 0.119 % | 71.57/71.61 c | 421893 | 840 69086 187019 | 1 43301 53 | 0.119 % | 71.57/71.61 c | 422244 | 840 69086 187019 | 1 43652 54 | 0.119 % | 71.57/71.61 c | 422429 | 840 69086 187019 | 1 43837 54 | 0.119 % | 71.57/71.61 c | 422749 | 840 69086 187019 | 1 44157 54 | 0.119 % | 71.57/71.61 c | 422850 | 840 69086 187019 | 1 44258 54 | 0.119 % | 71.57/71.61 c | 422950 | 840 69086 187019 | 1 44358 54 | 0.119 % | 71.57/71.61 c | 425571 | 840 69086 187019 | 1 46979 57 | 0.119 % | 71.57/71.61 c | 425673 | 840 69086 187019 | 1 47081 57 | 0.119 % | 71.57/71.61 c | 425773 | 840 69086 187019 | 1 47181 57 | 0.119 % | 71.57/71.61 c | 425876 | 840 69086 187019 | 1 47284 57 | 0.119 % | 71.57/71.61 c | 425976 | 840 69086 187019 | 1 47384 57 | 0.119 % | 71.57/71.61 c | 428898 | 840 69086 187019 | 1 50306 59 | 0.119 % | 71.57/71.61 c | 431772 | 840 69086 187019 | 1 53180 62 | 0.119 % | 71.57/71.61 c | 431873 | 840 69086 187019 | 1 53281 62 | 0.119 % | 71.57/71.61 c | 432989 | 840 69086 187019 | 1 54397 63 | 0.119 % | 71.57/71.61 c | 433090 | 840 69086 187019 | 1 54498 63 | 0.119 % | 71.57/71.61 c | 433330 | 840 69086 187019 | 1 54738 63 | 0.119 % | 71.57/71.61 c | 433631 | 840 69086 187019 | 1 55039 63 | 0.119 % | 71.57/71.61 c | 433731 | 840 69086 187019 | 1 55139 64 | 0.119 % | 71.57/71.61 c | 433950 | 840 69086 187019 | 1 55358 64 | 0.119 % | 71.57/71.61 c | 434703 | 840 69086 187019 | 1 56111 64 | 0.119 % | 71.57/71.61 c | 434803 | 840 69086 187019 | 1 56211 64 | 0.119 % | 71.57/71.61 c | 435089 | 840 69086 187019 | 1 56497 64 | 0.119 % | 71.57/71.61 c | 435269 | 840 69086 187019 | 1 56677 64 | 0.119 % | 80.37/80.40 c | 437990 | 840 69086 187019 | 1 59398 66 | 0.119 % | 80.37/80.40 c | 439254 | 840 69086 187019 | 1 60662 66 | 0.119 % | 80.37/80.40 c | 443238 | 840 69086 187019 | 1 64646 69 | 0.119 % | 80.37/80.40 c | 444240 | 840 69086 187019 | 1 65648 70 | 0.119 % | 80.37/80.40 c | 444340 | 840 69086 187019 | 1 65748 70 | 0.119 % | 80.37/80.40 c | 444442 | 840 69086 187019 | 1 65850 70 | 0.119 % | 80.37/80.40 c | 445421 | 840 69086 187019 | 1 66829 70 | 0.119 % | 80.37/80.40 c | 445521 | 840 69086 187019 | 1 66929 70 | 0.119 % | 80.37/80.40 c | 445775 | 840 69086 187019 | 1 67183 70 | 0.119 % | 80.37/80.40 c | 445879 | 840 69086 187019 | 1 67287 70 | 0.119 % | 80.37/80.40 c | 447341 | 840 69086 187019 | 1 68749 71 | 0.119 % | 80.37/80.40 c | 447441 | 840 69086 187019 | 1 68849 71 | 0.119 % | 80.37/80.40 c | 450405 | 840 69086 187019 | 1 71813 71 | 0.119 % | 80.37/80.40 c | 450521 | 840 69086 187019 | 1 71929 71 | 0.119 % | 80.37/80.40 c | 451392 | 840 69086 187019 | 1 72800 71 | 0.119 % | 80.37/80.40 c | 451591 | 840 69086 187019 | 1 72999 71 | 0.119 % | 80.37/80.40 c | 451691 | 840 69086 187019 | 1 73099 71 | 0.119 % | 80.37/80.40 c | 451792 | 840 69086 187019 | 1 73200 72 | 0.119 % | 80.37/80.40 c | 451894 | 840 69086 187019 | 1 73302 72 | 0.119 % | 80.37/80.40 c | 454049 | 840 69086 187019 | 1 75457 72 | 0.119 % | 80.37/80.40 c | 454537 | 840 69086 187019 | 1 75945 72 | 0.119 % | 80.37/80.40 c | 454697 | 840 69086 187019 | 1 76105 73 | 0.119 % | 80.37/80.40 c | 455348 | 840 69086 187019 | 1 76756 73 | 0.119 % | 80.37/80.40 c | 455448 | 840 69086 187019 | 1 76856 73 | 0.119 % | 80.37/80.40 c | 459120 | 840 69086 187019 | 1 80528 74 | 0.119 % | 80.37/80.40 c | 459291 | 840 69086 187019 | 1 80699 74 | 0.119 % | 80.37/80.40 c | 460039 | 840 69086 187019 | 1 81447 74 | 0.119 % | 80.37/80.40 c | 460252 | 840 69086 187019 | 1 81660 74 | 0.119 % | 80.37/80.40 c | 460653 | 840 69086 187019 | 1 82061 74 | 0.119 % | 80.37/80.40 c | 462978 | 840 69086 187019 | 1 84386 75 | 0.119 % | 80.37/80.40 c | 463079 | 840 69086 187019 | 1 84487 75 | 0.119 % | 80.37/80.40 c | 463182 | 840 69086 187019 | 1 84590 75 | 0.119 % | 80.37/80.40 c | 463282 | 840 69086 187019 | 1 84690 75 | 0.119 % | 80.37/80.40 c | 463382 | 840 69086 187019 | 1 84790 75 | 0.119 % | 80.37/80.40 c | 464132 | 840 69086 187019 | 1 85540 76 | 0.119 % | 80.37/80.40 c | 465040 | 840 69086 187019 | 1 86448 76 | 0.119 % | 80.37/80.40 c | 466261 | 840 69086 187019 | 1 87669 76 | 0.119 % | 80.37/80.40 c | 466361 | 840 69086 187019 | 1 87769 77 | 0.119 % | 80.37/80.40 c | 466462 | 840 69086 187019 | 1 87870 77 | 0.119 % | 80.37/80.40 c | 466594 | 840 69086 187019 | 1 88002 77 | 0.119 % | 80.37/80.40 c | 468243 | 840 69086 187019 | 1 89651 77 | 0.119 % | 80.37/80.40 c | 468344 | 840 69086 187019 | 1 89752 77 | 0.119 % | 80.37/80.40 c | 468444 | 840 69086 187019 | 1 89852 77 | 0.119 % | 80.37/80.40 c | 468545 | 840 69086 187019 | 1 89953 77 | 0.119 % | 80.37/80.40 c | 468646 | 840 69086 187019 | 1 90054 77 | 0.119 % | 80.37/80.40 c | 468899 | 840 69086 187019 | 1 90307 77 | 0.119 % | 80.37/80.40 c | 470009 | 840 69086 187019 | 1 45817 53 | 0.119 % | 80.37/80.40 c | 470110 | 840 69086 187019 | 1 45918 53 | 0.119 % | 80.37/80.40 c | 470982 | 840 69086 187019 | 1 46790 54 | 0.119 % | 80.37/80.40 c | 471192 | 840 69086 187019 | 1 47000 54 | 0.119 % | 90.37/90.42 c | 471292 | 840 69086 187019 | 1 47100 54 | 0.119 % | 90.37/90.42 c | 471583 | 840 69086 187019 | 1 47391 54 | 0.119 % | 90.37/90.42 c | 471712 | 840 69086 187019 | 1 47520 54 | 0.119 % | 90.37/90.42 c | 479557 | 840 69086 187019 | 1 55365 59 | 0.119 % | 90.37/90.42 c | 480987 | 840 69086 187019 | 1 56795 60 | 0.119 % | 90.37/90.42 c | 482283 | 840 69086 187019 | 1 58091 61 | 0.119 % | 90.37/90.42 c | 482841 | 840 69086 187019 | 1 58649 61 | 0.119 % | 90.37/90.42 c | 482942 | 840 69086 187019 | 1 58750 61 | 0.119 % | 90.37/90.42 c | 483043 | 840 69086 187019 | 1 58851 61 | 0.119 % | 90.37/90.42 c | 483669 | 840 69086 187019 | 1 59477 62 | 0.119 % | 90.37/90.42 c | 484434 | 840 69086 187019 | 1 60242 62 | 0.119 % | 90.37/90.42 c | 488224 | 840 69086 187019 | 1 64032 64 | 0.119 % | 90.37/90.42 c | 488748 | 840 69086 187019 | 1 64556 64 | 0.119 % | 90.37/90.42 c | 489246 | 840 69086 187019 | 1 65054 65 | 0.119 % | 90.37/90.42 c | 489411 | 840 69086 187019 | 1 65219 65 | 0.119 % | 90.37/90.42 c | 490218 | 840 69086 187019 | 1 66026 66 | 0.119 % | 90.37/90.42 c | 490641 | 840 69086 187019 | 1 66449 66 | 0.119 % | 90.37/90.42 c | 490849 | 840 69086 187019 | 1 66657 66 | 0.119 % | 90.37/90.42 c | 491198 | 840 69086 187019 | 1 67006 66 | 0.119 % | 90.37/90.42 c | 491298 | 840 69086 187019 | 1 67106 66 | 0.119 % | 90.37/90.42 c | 492486 | 840 69086 187019 | 1 68294 67 | 0.119 % | 90.37/90.42 c | 493156 | 840 69086 187019 | 1 68964 67 | 0.119 % | 90.37/90.42 c | 493849 | 840 69086 187019 | 1 69657 67 | 0.119 % | 90.37/90.42 c | 498840 | 840 69086 187019 | 1 74648 69 | 0.119 % | 90.37/90.42 c | 499258 | 840 69086 187019 | 1 75066 70 | 0.119 % | 90.37/90.43 c | 499360 | 840 69086 187019 | 1 75168 70 | 0.119 % | 90.37/90.43 c | 499508 | 840 69086 187019 | 1 75316 70 | 0.119 % | 90.37/90.43 c | 500250 | 840 69086 187019 | 1 76058 70 | 0.119 % | 90.37/90.43 c | 500351 | 840 69086 187019 | 1 76159 70 | 0.119 % | 90.37/90.43 c | 500839 | 840 69086 187019 | 1 76647 70 | 0.119 % | 90.37/90.43 c | 500941 | 840 69086 187019 | 1 76749 70 | 0.119 % | 90.37/90.43 c | 503851 | 840 69086 187019 | 1 79659 72 | 0.119 % | 90.37/90.43 c | 503951 | 840 69086 187019 | 1 79759 72 | 0.119 % | 90.37/90.43 c | 504051 | 840 69086 187019 | 1 79859 72 | 0.119 % | 90.37/90.43 c | 504310 | 840 69086 187019 | 1 80118 72 | 0.119 % | 90.37/90.43 c | 504410 | 840 69086 187019 | 1 80218 72 | 0.119 % | 90.37/90.43 c | 504510 | 840 69086 187019 | 1 80318 72 | 0.119 % | 90.37/90.43 c | 504610 | 840 69086 187019 | 1 80418 72 | 0.119 % | 90.37/90.43 c | 504736 | 840 69086 187019 | 1 80544 72 | 0.119 % | 90.37/90.43 c | 506645 | 840 69086 187019 | 1 82453 73 | 0.119 % | 90.37/90.43 c | 506745 | 840 69086 187019 | 1 82553 73 | 0.119 % | 90.37/90.43 c | 506929 | 840 69086 187019 | 1 82737 73 | 0.119 % | 90.37/90.43 c | 509690 | 840 69086 187019 | 1 85498 74 | 0.119 % | 90.37/90.43 c | 509792 | 840 69086 187019 | 1 85600 74 | 0.119 % | 90.37/90.43 c | 510578 | 840 69086 187019 | 1 86386 74 | 0.119 % | 90.37/90.43 c | 510679 | 840 69086 187019 | 1 86487 74 | 0.119 % | 90.37/90.43 c | 512709 | 840 69086 187019 | 1 88517 74 | 0.119 % | 90.37/90.43 c | 514451 | 840 69086 187019 | 1 90259 75 | 0.119 % | 90.37/90.43 c | 514586 | 840 69086 187019 | 1 90394 75 | 0.119 % | 90.37/90.43 c | 516219 | 840 69086 187019 | 1 92027 75 | 0.119 % | 102.27/102.34 c | 516319 | 840 69086 187019 | 1 92127 75 | 0.119 % | 102.27/102.34 c | 516419 | 840 69086 187019 | 1 92227 75 | 0.119 % | 102.27/102.34 c | 517428 | 840 69086 187019 | 1 93236 75 | 0.119 % | 102.27/102.34 c | 517532 | 840 69086 187019 | 1 93340 75 | 0.119 % | 102.27/102.34 c | 519144 | 840 69086 187019 | 1 94952 76 | 0.119 % | 102.27/102.34 c | 519244 | 840 69086 187019 | 1 95052 76 | 0.119 % | 102.27/102.34 c | 520020 | 840 69086 187019 | 1 95828 76 | 0.119 % | 102.27/102.34 c | 520288 | 840 69086 187019 | 1 96096 76 | 0.119 % | 102.27/102.34 c | 520390 | 840 69086 187019 | 1 96198 76 | 0.119 % | 102.27/102.34 c | 523095 | 840 69086 187019 | 1 50712 55 | 0.119 % | 102.27/102.34 c | 523219 | 840 69086 187019 | 1 50836 55 | 0.119 % | 102.27/102.34 c | 524003 | 840 69086 187019 | 1 51620 55 | 0.119 % | 102.27/102.34 c | 524512 | 840 69086 187019 | 1 52129 56 | 0.119 % | 102.27/102.34 c | 524675 | 840 69086 187019 | 1 52292 56 | 0.119 % | 102.27/102.34 c | 524775 | 840 69086 187019 | 1 52392 56 | 0.119 % | 102.27/102.34 c | 525009 | 840 69086 187019 | 1 52626 56 | 0.119 % | 102.27/102.34 c | 525241 | 840 69086 187019 | 1 52858 56 | 0.119 % | 102.27/102.34 c | 527255 | 840 69086 187019 | 1 54872 58 | 0.119 % | 102.27/102.34 c | 527517 | 840 69086 187019 | 1 55134 58 | 0.119 % | 102.27/102.34 c | 527624 | 840 69086 187019 | 1 55241 58 | 0.119 % | 102.27/102.34 c | 527726 | 840 69086 187019 | 1 55343 58 | 0.119 % | 102.27/102.34 c | 527827 | 840 69086 187019 | 1 55444 58 | 0.119 % | 102.27/102.34 c | 528518 | 840 69086 187019 | 1 56135 59 | 0.119 % | 102.27/102.34 c | 531943 | 840 69086 187019 | 1 59560 61 | 0.119 % | 102.27/102.34 c | 532064 | 840 69086 187019 | 1 59681 61 | 0.119 % | 102.27/102.34 c | 532423 | 840 69086 187019 | 1 60040 61 | 0.119 % | 102.27/102.34 c | 534560 | 840 69086 187019 | 1 62177 62 | 0.119 % | 102.27/102.34 c | 538445 | 840 69086 187019 | 1 66062 64 | 0.119 % | 102.27/102.34 c | 538546 | 840 69086 187019 | 1 66163 64 | 0.119 % | 102.27/102.34 c | 538694 | 840 69086 187019 | 1 66311 64 | 0.119 % | 102.27/102.34 c | 540874 | 840 69086 187019 | 1 68491 66 | 0.119 % | 102.27/102.34 c | 541132 | 840 69086 187019 | 1 68749 66 | 0.119 % | 102.27/102.34 c | 541234 | 840 69086 187019 | 1 68851 66 | 0.119 % | 102.27/102.34 c | 542549 | 840 69086 187019 | 1 70166 66 | 0.119 % | 102.27/102.34 c | 543545 | 840 69086 187019 | 1 71162 66 | 0.119 % | 102.27/102.34 c | 543932 | 840 69086 187019 | 1 71549 67 | 0.119 % | 102.27/102.34 c | 544034 | 840 69086 187019 | 1 71651 67 | 0.119 % | 102.27/102.34 c | 544134 | 840 69086 187019 | 1 71751 67 | 0.119 % | 102.27/102.34 c | 544235 | 840 69086 187019 | 1 71852 67 | 0.119 % | 102.27/102.34 c | 553109 | 840 69086 187019 | 1 80726 70 | 0.119 % | 102.27/102.34 c | 553749 | 840 69086 187019 | 1 81366 70 | 0.119 % | 102.27/102.34 c | 553849 | 840 69086 187019 | 1 81466 70 | 0.119 % | 102.27/102.34 c | 553950 | 840 69086 187019 | 1 81567 70 | 0.119 % | 102.27/102.34 c | 556470 | 840 69086 187019 | 1 84087 72 | 0.119 % | 102.27/102.34 c | 556587 | 840 69086 187019 | 1 84204 72 | 0.119 % | 102.27/102.34 c | 556691 | 840 69086 187019 | 1 84308 72 | 0.119 % | 102.27/102.34 c | 556794 | 840 69086 187019 | 1 84411 72 | 0.119 % | 102.27/102.34 c | 556926 | 840 69086 187019 | 1 84543 72 | 0.119 % | 102.27/102.34 c | 557030 | 840 69086 187019 | 1 84647 72 | 0.119 % | 102.27/102.34 c | 566351 | 840 69086 187019 | 1 93968 76 | 0.119 % | 117.57/117.64 c | 566566 | 840 69086 187019 | 1 94183 76 | 0.119 % | 117.57/117.64 c | 566667 | 840 69086 187019 | 1 94284 76 | 0.119 % | 117.57/117.64 c | 566933 | 840 69086 187019 | 1 94550 76 | 0.119 % | 117.57/117.64 c | 567033 | 840 69086 187019 | 1 94650 76 | 0.119 % | 117.57/117.64 c | 576025 | 840 69086 187019 | 1 52836 53 | 0.119 % | 117.57/117.64 c | 576443 | 840 69086 187019 | 1 53254 54 | 0.119 % | 117.57/117.64 c | 579912 | 840 69086 187019 | 1 56723 56 | 0.119 % | 117.57/117.64 c | 580012 | 840 69086 187019 | 1 56823 56 | 0.119 % | 117.57/117.64 c | 580117 | 840 69086 187019 | 1 56928 56 | 0.119 % | 117.57/117.64 c | 581465 | 840 69086 187019 | 1 58276 57 | 0.119 % | 117.57/117.64 c | 581570 | 840 69086 187019 | 1 58381 58 | 0.119 % | 117.57/117.64 c | 587061 | 840 69086 187019 | 1 63872 60 | 0.119 % | 117.57/117.64 c | 589790 | 840 69086 187019 | 1 66601 61 | 0.119 % | 117.57/117.64 c | 591014 | 840 69086 187019 | 1 67825 62 | 0.119 % | 117.57/117.64 c | 591114 | 840 69086 187019 | 1 67925 62 | 0.119 % | 117.57/117.64 c | 591215 | 840 69086 187019 | 1 68026 62 | 0.119 % | 117.57/117.64 c | 591315 | 840 69086 187019 | 1 68126 62 | 0.119 % | 117.57/117.64 c | 594688 | 840 69086 187019 | 1 71499 64 | 0.119 % | 117.57/117.64 c | 594998 | 840 69086 187019 | 1 71809 65 | 0.119 % | 117.57/117.64 c | 595100 | 840 69086 187019 | 1 71911 65 | 0.119 % | 117.57/117.64 c | 595200 | 840 69086 187019 | 1 72011 65 | 0.119 % | 117.57/117.64 c | 603428 | 840 69086 187019 | 1 80239 67 | 0.119 % | 117.57/117.64 c | 604676 | 840 69086 187019 | 1 81487 68 | 0.119 % | 117.57/117.64 c | 604810 | 840 69086 187019 | 1 81621 68 | 0.119 % | 117.57/117.64 c | 604965 | 840 69086 187019 | 1 81776 68 | 0.119 % | 117.57/117.64 c | 608565 | 840 69086 187019 | 1 85376 70 | 0.119 % | 117.57/117.64 c | 609070 | 840 69086 187019 | 1 85881 70 | 0.119 % | 117.57/117.64 c | 609171 | 840 69086 187019 | 1 85982 70 | 0.119 % | 117.57/117.64 c | 609272 | 840 69086 187019 | 1 86083 70 | 0.119 % | 117.57/117.64 c | 614807 | 840 69086 187019 | 1 91618 72 | 0.119 % | 117.57/117.64 c | 615531 | 840 69086 187019 | 1 92342 72 | 0.119 % | 117.57/117.64 c | 620254 | 840 69086 187019 | 1 97065 74 | 0.119 % | 117.57/117.64 c | 620504 | 840 69086 187019 | 1 97315 74 | 0.119 % | 117.57/117.64 c | 620627 | 840 69086 187019 | 1 97438 74 | 0.119 % | 117.57/117.64 c | 621386 | 840 69086 187019 | 1 98197 74 | 0.119 % | 117.57/117.64 c | 622209 | 840 69086 187019 | 1 99020 74 | 0.119 % | 117.57/117.64 c | 622309 | 840 69086 187019 | 1 99120 74 | 0.119 % | 117.57/117.64 c | 622410 | 840 69086 187019 | 1 99221 75 | 0.119 % | 117.57/117.64 c | 622510 | 840 69086 187019 | 1 99321 75 | 0.119 % | 117.57/117.64 c | 622610 | 840 69086 187019 | 1 99421 75 | 0.119 % | 117.57/117.64 c | 622712 | 840 69086 187019 | 1 99523 75 | 0.119 % | 117.57/117.64 c | 622825 | 840 69086 187019 | 1 99636 75 | 0.119 % | 117.57/117.64 c | 622927 | 840 69086 187019 | 1 99738 75 | 0.119 % | 117.57/117.64 c | 623027 | 840 69086 187019 | 1 99838 75 | 0.119 % | 117.57/117.64 c | 624647 | 840 69086 187019 | 1 101458 75 | 0.119 % | 117.57/117.64 c | 626315 | 840 69086 187019 | 1 103126 76 | 0.119 % | 117.57/117.64 c | 626416 | 840 69086 187019 | 1 103227 76 | 0.119 % | 117.57/117.64 c | 626516 | 840 69086 187019 | 1 103327 76 | 0.119 % | 117.57/117.64 c | 626616 | 840 69086 187019 | 1 103427 76 | 0.119 % | 135.56/135.66 c | 626718 | 840 69086 187019 | 1 103529 76 | 0.119 % | 135.56/135.66 c | 626819 | 840 69086 187019 | 1 103630 76 | 0.119 % | 135.56/135.66 c | 627370 | 840 69086 187019 | 1 104181 76 | 0.119 % | 135.56/135.66 c | 627701 | 840 69086 187019 | 1 104512 76 | 0.119 % | 135.56/135.66 c | 628453 | 840 69086 187019 | 1 105264 76 | 0.119 % | 135.56/135.66 c | 628554 | 840 69086 187019 | 1 105365 76 | 0.119 % | 135.56/135.66 c | 629190 | 840 69086 187019 | 1 106001 76 | 0.119 % | 135.56/135.66 c | 629291 | 840 69086 187019 | 1 106102 76 | 0.119 % | 135.56/135.66 c | 629394 | 840 69086 187019 | 1 106205 76 | 0.119 % | 135.56/135.66 c | 631140 | 840 69086 187019 | 1 54557 53 | 0.119 % | 135.56/135.66 c | 631241 | 840 69086 187019 | 1 54658 53 | 0.119 % | 135.56/135.66 c | 635337 | 840 69086 187019 | 1 58754 56 | 0.119 % | 135.56/135.66 c | 635438 | 840 69086 187019 | 1 58855 56 | 0.119 % | 135.56/135.66 c | 635760 | 840 69086 187019 | 1 59177 57 | 0.119 % | 135.56/135.66 c | 635860 | 840 69086 187019 | 1 59277 57 | 0.119 % | 135.56/135.66 c | 637017 | 840 69086 187019 | 1 60434 58 | 0.119 % | 135.56/135.66 c | 637492 | 840 69086 187019 | 1 60909 58 | 0.119 % | 135.56/135.66 c | 640827 | 840 69086 187019 | 1 64244 60 | 0.119 % | 135.56/135.66 c | 640931 | 840 69086 187019 | 1 64348 60 | 0.119 % | 135.56/135.66 c | 648324 | 840 69086 187019 | 1 71741 64 | 0.119 % | 135.56/135.66 c | 648425 | 840 69086 187019 | 1 71842 64 | 0.119 % | 135.56/135.66 c | 650701 | 840 69086 187019 | 1 74118 65 | 0.119 % | 135.56/135.66 c | 651841 | 840 69086 187019 | 1 75258 65 | 0.119 % | 135.56/135.66 c | 652015 | 840 69086 187019 | 1 75432 65 | 0.119 % | 135.56/135.66 c | 652119 | 840 69086 187019 | 1 75536 66 | 0.119 % | 135.56/135.66 c | 652222 | 840 69086 187019 | 1 75639 66 | 0.119 % | 135.56/135.66 c | 668650 | 840 69086 187019 | 1 92067 72 | 0.119 % | 135.56/135.66 c | 670979 | 840 69086 187019 | 1 94396 73 | 0.119 % | 135.56/135.66 c | 671103 | 840 69086 187019 | 1 94520 73 | 0.119 % | 135.56/135.66 c | 671204 | 840 69086 187019 | 1 94621 73 | 0.119 % | 135.56/135.66 c | 671642 | 840 69086 187019 | 1 95059 73 | 0.119 % | 135.56/135.66 c | 679190 | 840 69086 187019 | 1 102607 75 | 0.119 % | 135.56/135.66 c | 679554 | 840 69086 187019 | 1 102971 75 | 0.119 % | 135.56/135.66 c | 680677 | 840 69086 187019 | 1 104094 75 | 0.119 % | 135.56/135.66 c | 681511 | 840 69086 187019 | 1 104928 75 | 0.119 % | 135.56/135.66 c | 681611 | 840 69086 187019 | 1 105028 75 | 0.119 % | 135.56/135.66 c | 681714 | 840 69086 187019 | 1 105131 75 | 0.119 % | 135.56/135.66 c | 681815 | 840 69086 187019 | 1 105232 76 | 0.119 % | 135.56/135.66 c | 682590 | 840 69086 187019 | 1 106007 76 | 0.119 % | 135.56/135.66 c | 682690 | 840 69086 187019 | 1 106107 76 | 0.119 % | 135.56/135.66 c | 682790 | 840 69086 187019 | 1 106207 76 | 0.119 % | 135.56/135.66 c | 682890 | 840 69086 187019 | 1 106307 76 | 0.119 % | 135.56/135.66 c | 683005 | 840 69086 187019 | 1 106422 76 | 0.119 % | 135.56/135.66 c | 683106 | 840 69086 187019 | 1 106523 76 | 0.119 % | 135.56/135.66 c | 684689 | 840 69086 187019 | 1 108106 76 | 0.119 % | 135.56/135.66 c | 684791 | 840 69086 187019 | 1 108208 76 | 0.119 % | 135.56/135.66 c | 692386 | 840 69086 187019 | 1 59800 54 | 0.119 % | 135.56/135.66 c | 692954 | 840 69086 187019 | 1 60368 55 | 0.119 % | 135.56/135.66 c | 693057 | 840 69086 187019 | 1 60471 55 | 0.119 % | 135.56/135.66 c | 693158 | 840 69086 187019 | 1 60572 55 | 0.119 % | 156.86/156.95 c | 693451 | 840 69086 187019 | 1 60865 55 | 0.119 % | 156.86/156.95 c | 694014 | 840 69086 187019 | 1 61428 55 | 0.119 % | 156.86/156.95 c | 694114 | 840 69086 187019 | 1 61528 56 | 0.119 % | 156.86/156.95 c | 694499 | 840 69086 187019 | 1 61913 56 | 0.119 % | 156.86/156.95 c | 696912 | 840 69086 187019 | 1 64326 57 | 0.119 % | 156.86/156.95 c | 697012 | 840 69086 187019 | 1 64426 58 | 0.119 % | 156.86/156.95 c | 702601 | 840 69086 187019 | 1 70015 61 | 0.119 % | 156.86/156.95 c | 702919 | 840 69086 187019 | 1 70333 61 | 0.119 % | 156.86/156.95 c | 703331 | 840 69086 187019 | 1 70745 61 | 0.119 % | 156.86/156.95 c | 704069 | 840 69086 187019 | 1 71483 62 | 0.119 % | 156.86/156.95 c | 710845 | 840 69086 187019 | 1 78259 64 | 0.119 % | 156.86/156.95 c | 713548 | 840 69086 187019 | 1 80962 66 | 0.119 % | 156.86/156.95 c | 713648 | 840 69086 187019 | 1 81062 66 | 0.119 % | 156.86/156.95 c | 713749 | 840 69086 187019 | 1 81163 66 | 0.119 % | 156.86/156.95 c | 718232 | 840 69086 187019 | 1 85646 68 | 0.119 % | 156.86/156.95 c | 718333 | 840 69086 187019 | 1 85747 68 | 0.119 % | 156.86/156.95 c | 725238 | 840 69086 187019 | 1 92652 72 | 0.119 % | 156.86/156.95 c | 725340 | 840 69086 187019 | 1 92754 72 | 0.119 % | 156.86/156.95 c | 725460 | 840 69086 187019 | 1 92874 72 | 0.119 % | 156.86/156.95 c | 727587 | 840 69086 187019 | 1 95001 72 | 0.119 % | 156.86/156.95 c | 728084 | 840 69086 187019 | 1 95498 72 | 0.119 % | 156.86/156.95 c | 728188 | 840 69086 187019 | 1 95602 72 | 0.119 % | 156.86/156.95 c | 728289 | 840 69086 187019 | 1 95703 72 | 0.119 % | 156.86/156.95 c | 729923 | 840 69086 187019 | 1 97337 73 | 0.119 % | 156.86/156.95 c | 730023 | 840 69086 187019 | 1 97437 73 | 0.119 % | 156.86/156.95 c | 730699 | 840 69086 187019 | 1 98113 73 | 0.119 % | 156.86/156.95 c | 730998 | 840 69086 187019 | 1 98412 74 | 0.119 % | 156.86/156.95 c | 731101 | 840 69086 187019 | 1 98515 74 | 0.119 % | 156.86/156.95 c | 733952 | 840 69086 187019 | 1 101366 75 | 0.119 % | 156.86/156.95 c | 734054 | 840 69086 187019 | 1 101468 75 | 0.119 % | 156.86/156.95 c | 734220 | 840 69086 187019 | 1 101634 75 | 0.119 % | 156.86/156.95 c | 734320 | 840 69086 187019 | 1 101734 75 | 0.119 % | 156.86/156.95 c | 736172 | 840 69086 187019 | 1 103586 75 | 0.119 % | 156.86/156.95 c | 739366 | 840 69086 187019 | 1 106780 76 | 0.119 % | 156.86/156.95 c | 744517 | 840 69086 187019 | 1 111931 78 | 0.119 % | 156.86/156.95 c | 744683 | 840 69086 187019 | 1 112097 78 | 0.119 % | 156.86/156.95 c | 754335 | 840 69086 187019 | 1 63151 55 | 0.119 % | 156.86/156.95 c | 754435 | 840 69086 187019 | 1 63251 55 | 0.119 % | 156.86/156.95 c | 754535 | 840 69086 187019 | 1 63351 55 | 0.119 % | 156.86/156.95 c | 754635 | 840 69086 187019 | 1 63451 56 | 0.119 % | 156.86/156.95 c | 754735 | 840 69086 187019 | 1 63551 56 | 0.119 % | 156.86/156.95 c | 754836 | 840 69086 187019 | 1 63652 56 | 0.119 % | 156.86/156.95 c | 758053 | 840 69086 187019 | 1 66869 58 | 0.119 % | 156.86/156.95 c | 758153 | 840 69086 187019 | 1 66969 58 | 0.119 % | 156.86/156.95 c | 758255 | 840 69086 187019 | 1 67071 58 | 0.119 % | 156.86/156.95 c | 762486 | 840 69086 187019 | 1 71302 60 | 0.119 % | 156.86/156.95 c | 762587 | 840 69086 187019 | 1 71403 61 | 0.119 % | 156.86/156.95 c | 762688 | 840 69086 187019 | 1 71504 61 | 0.119 % | 156.86/156.95 c | 767487 | 840 69086 187019 | 1 76303 65 | 0.119 % | 156.86/156.95 c | 768494 | 840 69086 187019 | 1 77310 65 | 0.119 % | 195.26/195.39 c | 772051 | 840 69086 187019 | 1 80867 66 | 0.119 % | 195.26/195.39 c | 772151 | 840 69086 187019 | 1 80967 66 | 0.119 % | 195.26/195.39 c | 772864 | 840 69086 187019 | 1 81680 67 | 0.119 % | 195.26/195.39 c | 773442 | 840 69086 187019 | 1 82258 67 | 0.119 % | 195.26/195.39 c | 773929 | 840 69086 187019 | 1 82745 67 | 0.119 % | 195.26/195.39 c | 776425 | 840 69086 187019 | 1 85241 68 | 0.119 % | 195.26/195.39 c | 776525 | 840 69086 187019 | 1 85341 68 | 0.119 % | 195.26/195.39 c | 776628 | 840 69086 187019 | 1 85444 68 | 0.119 % | 195.26/195.39 c | 776877 | 840 69086 187019 | 1 85693 68 | 0.119 % | 195.26/195.39 c | 776977 | 840 69086 187019 | 1 85793 68 | 0.119 % | 195.26/195.39 c | 777080 | 840 69086 187019 | 1 85896 68 | 0.119 % | 195.26/195.39 c | 777180 | 840 69086 187019 | 1 85996 68 | 0.119 % | 195.26/195.39 c | 809511 | 840 69086 187019 | 1 118327 78 | 0.119 % | 195.26/195.39 c | 809611 | 840 69086 187019 | 1 118427 78 | 0.119 % | 195.26/195.39 c | 809714 | 840 69086 187019 | 1 118530 78 | 0.119 % | 195.26/195.39 c | 815456 | 840 69086 187019 | 1 63071 54 | 0.119 % | 195.26/195.39 c | 815956 | 840 69086 187019 | 1 63571 54 | 0.119 % | 195.26/195.39 c | 830578 | 840 69086 187019 | 1 78193 63 | 0.119 % | 195.26/195.39 c | 832413 | 840 69086 187019 | 1 80028 64 | 0.119 % | 195.26/195.39 c | 832573 | 840 69086 187019 | 1 80188 64 | 0.119 % | 195.26/195.39 c | 833158 | 840 69086 187019 | 1 80773 64 | 0.119 % | 195.26/195.39 c | 833323 | 840 69086 187019 | 1 80938 65 | 0.119 % | 195.26/195.39 c | 835858 | 840 69086 187019 | 1 83473 66 | 0.119 % | 195.26/195.39 c | 837096 | 840 69086 187019 | 1 84711 66 | 0.119 % | 195.26/195.39 c | 843276 | 840 69086 187019 | 1 90891 69 | 0.119 % | 195.26/195.39 c | 843376 | 840 69086 187019 | 1 90991 69 | 0.119 % | 195.26/195.39 c | 854848 | 840 69086 187019 | 1 102463 74 | 0.119 % | 195.26/195.39 c | 860820 | 840 69086 187019 | 1 108435 76 | 0.119 % | 195.26/195.39 c | 861062 | 840 69086 187019 | 1 108677 76 | 0.119 % | 195.26/195.39 c | 862464 | 840 69086 187019 | 1 110079 76 | 0.119 % | 195.26/195.39 c | 862564 | 840 69086 187019 | 1 110179 76 | 0.119 % | 195.26/195.39 c | 865272 | 840 69086 187019 | 1 112887 77 | 0.119 % | 195.26/195.39 c | 865372 | 840 69086 187019 | 1 112987 77 | 0.119 % | 195.26/195.39 c | 871876 | 840 69086 187019 | 1 119491 78 | 0.119 % | 195.26/195.39 c | 871978 | 840 69086 187019 | 1 119593 78 | 0.119 % | 195.26/195.39 c | 881629 | 840 69086 187019 | 1 65445 56 | 0.119 % | 195.26/195.39 c | 882822 | 840 69086 187019 | 1 66638 57 | 0.119 % | 195.26/195.39 c | 882927 | 840 69086 187019 | 1 66743 57 | 0.119 % | 195.26/195.39 c | 883173 | 840 69086 187019 | 1 66989 57 | 0.119 % | 195.26/195.39 c | 884022 | 840 69086 187019 | 1 67838 58 | 0.119 % | 195.26/195.39 c | 884123 | 840 69086 187019 | 1 67939 58 | 0.119 % | 195.26/195.39 c | 884266 | 840 69086 187019 | 1 68082 58 | 0.119 % | 195.26/195.39 c | 884366 | 840 69086 187019 | 1 68182 58 | 0.119 % | 195.26/195.39 c | 884468 | 840 69086 187019 | 1 68284 58 | 0.119 % | 195.26/195.39 c | 884570 | 840 69086 187019 | 1 68386 58 | 0.119 % | 195.26/195.39 c | 885463 | 840 69086 187019 | 1 69279 59 | 0.119 % | 195.26/195.39 c | 885563 | 840 69086 187019 | 1 69379 59 | 0.119 % | 195.26/195.39 c | 885664 | 840 69086 187019 | 1 69480 59 | 0.119 % | 195.26/195.39 c | 885874 | 840 69086 187019 | 1 69690 59 | 0.119 % | 195.26/195.39 c | 886015 | 840 69086 187019 | 1 69831 59 | 0.119 % | 240.66/240.73 c | 892062 | 840 69086 187019 | 1 75878 63 | 0.119 % | 240.66/240.73 c | 892162 | 840 69086 187019 | 1 75978 64 | 0.119 % | 240.66/240.73 c | 892282 | 840 69086 187019 | 1 76098 64 | 0.119 % | 240.66/240.73 c | 899285 | 840 69086 187019 | 1 83101 67 | 0.119 % | 240.66/240.73 c | 901213 | 840 69086 187019 | 1 85029 68 | 0.119 % | 240.66/240.73 c | 903527 | 840 69086 187019 | 1 87343 69 | 0.119 % | 240.66/240.73 c | 913239 | 840 69086 187019 | 1 97055 73 | 0.119 % | 240.66/240.73 c | 916497 | 840 69086 187019 | 1 100313 75 | 0.119 % | 240.66/240.73 c | 919147 | 840 69086 187019 | 1 102963 75 | 0.119 % | 240.66/240.73 c | 929625 | 840 69086 187019 | 1 113441 78 | 0.119 % | 240.66/240.73 c | 932391 | 840 69086 187019 | 1 116207 79 | 0.119 % | 240.66/240.73 c | 938645 | 840 69086 187019 | 1 122461 80 | 0.119 % | 240.66/240.73 c | 938745 | 840 69086 187019 | 1 122561 80 | 0.119 % | 240.66/240.73 c | 938845 | 840 69086 187019 | 1 122661 80 | 0.119 % | 240.66/240.73 c | 938945 | 840 69086 187019 | 1 122761 80 | 0.119 % | 240.66/240.73 c | 946568 | 840 69086 187019 | 1 130384 82 | 0.119 % | 240.66/240.73 c | 947023 | 840 69086 187019 | 1 130839 82 | 0.119 % | 240.66/240.73 c | 947700 | 840 69086 187019 | 1 131516 83 | 0.119 % | 240.66/240.73 c | 951426 | 840 69086 187019 | 1 68840 56 | 0.119 % | 240.66/240.73 c | 951526 | 840 69086 187019 | 1 68940 57 | 0.119 % | 240.66/240.73 c | 951626 | 840 69086 187019 | 1 69040 57 | 0.119 % | 240.66/240.73 c | 951727 | 840 69086 187019 | 1 69141 57 | 0.119 % | 240.66/240.73 c | 952111 | 840 69086 187019 | 1 69525 57 | 0.119 % | 240.66/240.73 c | 952258 | 840 69086 187019 | 1 69672 57 | 0.119 % | 240.66/240.73 c | 960233 | 840 69086 187019 | 1 77647 62 | 0.119 % | 240.66/240.73 c | 960333 | 840 69086 187019 | 1 77747 62 | 0.119 % | 240.66/240.73 c | 960433 | 840 69086 187019 | 1 77847 62 | 0.119 % | 240.66/240.73 c | 963339 | 840 69086 187019 | 1 80753 63 | 0.119 % | 240.66/240.73 c | 963463 | 840 69086 187019 | 1 80877 63 | 0.119 % | 240.66/240.73 c | 963566 | 840 69086 187019 | 1 80980 64 | 0.119 % | 240.66/240.73 c | 963667 | 840 69086 187019 | 1 81081 64 | 0.119 % | 240.66/240.73 c | 964871 | 840 69086 187019 | 1 82285 64 | 0.119 % | 240.66/240.73 c | 964972 | 840 69086 187019 | 1 82386 65 | 0.119 % | 240.66/240.73 c | 965180 | 840 69086 187019 | 1 82594 65 | 0.119 % | 240.66/240.73 c | 966456 | 840 69086 187019 | 1 83870 65 | 0.119 % | 240.66/240.73 c | 967629 | 840 69086 187019 | 1 85043 66 | 0.119 % | 240.66/240.73 c | 967729 | 840 69086 187019 | 1 85143 66 | 0.119 % | 240.66/240.73 c | 967830 | 840 69086 187019 | 1 85244 66 | 0.119 % | 240.66/240.73 c | 967991 | 840 69086 187019 | 1 85405 66 | 0.119 % | 240.66/240.73 c | 969291 | 840 69086 187019 | 1 86705 67 | 0.119 % | 240.66/240.73 c | 972936 | 840 69086 187019 | 1 90350 68 | 0.119 % | 240.66/240.73 c | 994251 | 840 69086 187019 | 1 111665 74 | 0.119 % | 240.66/240.73 c | 994371 | 840 69086 187019 | 1 111785 74 | 0.119 % | 240.66/240.73 c | 995988 | 840 69086 187019 | 1 113402 75 | 0.119 % | 240.66/240.73 c | 996091 | 840 69086 187019 | 1 113505 75 | 0.119 % | 240.66/240.73 c | 996191 | 840 69086 187019 | 1 113605 75 | 0.119 % | 240.66/240.73 c | 1003341 | 840 69086 187019 | 1 120755 77 | 0.119 % | 240.66/240.73 c | 1003441 | 840 69086 187019 | 1 120855 77 | 0.119 % | 240.66/240.73 c | 1008841 | 840 69086 187019 | 1 126255 78 | 0.119 % | 240.66/240.73 c | 1008941 | 840 69086 187019 | 1 126355 79 | 0.119 % | 278.17/278.25 c | 1009041 | 840 69086 187019 | 1 126455 79 | 0.119 % | 278.17/278.25 c | 1009415 | 840 69086 187019 | 1 126829 79 | 0.119 % | 278.17/278.25 c | 1009517 | 840 69086 187019 | 1 126931 79 | 0.119 % | 278.17/278.25 c | 1020555 | 840 69086 187019 | 1 137969 82 | 0.119 % | 278.17/278.25 c | 1020657 | 840 69086 187019 | 1 69079 55 | 0.119 % | 278.17/278.25 c | 1021567 | 840 69086 187019 | 1 69989 55 | 0.119 % | 278.17/278.25 c | 1026199 | 840 69086 187019 | 1 74621 59 | 0.119 % | 278.17/278.25 c | 1026299 | 840 69086 187019 | 1 74721 59 | 0.119 % | 278.17/278.25 c | 1026401 | 840 69086 187019 | 1 74823 59 | 0.119 % | 278.17/278.25 c | 1027965 | 840 69086 187019 | 1 76387 60 | 0.119 % | 278.17/278.25 c | 1028276 | 840 69086 187019 | 1 76698 60 | 0.119 % | 278.17/278.25 c | 1028376 | 840 69086 187019 | 1 76798 60 | 0.119 % | 278.17/278.25 c | 1044662 | 840 69086 187019 | 1 93084 69 | 0.119 % | 278.17/278.25 c | 1045316 | 840 69086 187019 | 1 93738 69 | 0.119 % | 278.17/278.25 c | 1054034 | 840 69086 187019 | 1 102456 73 | 0.119 % | 278.17/278.25 c | 1054136 | 840 69086 187019 | 1 102558 73 | 0.119 % | 278.17/278.25 c | 1062036 | 840 69086 187019 | 1 110458 75 | 0.119 % | 278.17/278.25 c | 1062139 | 840 69086 187019 | 1 110561 76 | 0.119 % | 278.17/278.25 c | 1066180 | 840 69086 187019 | 1 114602 76 | 0.119 % | 278.17/278.25 c | 1066575 | 840 69086 187019 | 1 114997 76 | 0.119 % | 278.17/278.25 c | 1067149 | 840 69086 187019 | 1 115571 76 | 0.119 % | 278.17/278.25 c | 1067447 | 840 69086 187019 | 1 115869 77 | 0.119 % | 278.17/278.25 c | 1067547 | 840 69086 187019 | 1 115969 77 | 0.119 % | 278.17/278.25 c | 1070908 | 840 69086 187019 | 1 119330 78 | 0.119 % | 278.17/278.25 c | 1071008 | 840 69086 187019 | 1 119430 78 | 0.119 % | 278.17/278.25 c | 1071610 | 840 69086 187019 | 1 120032 78 | 0.119 % | 278.17/278.25 c | 1074856 | 840 69086 187019 | 1 123278 79 | 0.119 % | 278.17/278.25 c | 1074957 | 840 69086 187019 | 1 123379 79 | 0.119 % | 278.17/278.25 c | 1077723 | 840 69086 187019 | 1 126145 79 | 0.119 % | 278.17/278.25 c | 1080448 | 840 69086 187019 | 1 128870 80 | 0.119 % | 278.17/278.25 c | 1081226 | 840 69086 187019 | 1 129648 80 | 0.119 % | 278.17/278.25 c | 1081328 | 840 69086 187019 | 1 129750 80 | 0.119 % | 278.17/278.25 c | 1082579 | 840 69086 187019 | 1 131001 81 | 0.119 % | 278.17/278.25 c | 1083165 | 840 69086 187019 | 1 131587 81 | 0.119 % | 278.17/278.25 c | 1086169 | 840 69086 187019 | 1 134591 81 | 0.119 % | 278.17/278.25 c | 1086273 | 840 69086 187019 | 1 134695 82 | 0.119 % | 278.17/278.25 c | 1086422 | 840 69086 187019 | 1 134844 82 | 0.119 % | 278.17/278.25 c | 1089401 | 840 69086 187019 | 1 137823 82 | 0.119 % | 278.17/278.25 c | 1089501 | 840 69086 187019 | 1 137923 82 | 0.119 % | 278.17/278.25 c | 1089642 | 840 69086 187019 | 1 138064 82 | 0.119 % | 278.17/278.25 c | 1089743 | 840 69086 187019 | 1 138165 82 | 0.119 % | 278.17/278.25 c | 1090451 | 840 69086 187019 | 1 138873 83 | 0.119 % | 278.17/278.25 c | 1093569 | 840 69086 187019 | 1 141991 83 | 0.119 % | 278.17/278.25 c | 1095363 | 840 69086 187019 | 1 72175 55 | 0.119 % | 278.17/278.25 c | 1096765 | 840 69086 187019 | 1 73577 56 | 0.119 % | 278.17/278.25 c | 1097461 | 840 69086 187019 | 1 74273 57 | 0.119 % | 278.17/278.25 c | 1097576 | 840 69086 187019 | 1 74388 57 | 0.119 % | 278.17/278.25 c | 1102204 | 840 69086 187019 | 1 79016 60 | 0.119 % | 278.17/278.25 c | 1102307 | 840 69086 187019 | 1 79119 60 | 0.119 % | 278.17/278.25 c | 1102407 | 840 69086 187019 | 1 79219 60 | 0.119 % | 326.25/326.37 c | 1102508 | 840 69086 187019 | 1 79320 60 | 0.119 % | 326.25/326.37 c | 1102608 | 840 69086 187019 | 1 79420 60 | 0.119 % | 326.25/326.37 c | 1102712 | 840 69086 187019 | 1 79524 60 | 0.119 % | 326.25/326.37 c | 1102812 | 840 69086 187019 | 1 79624 60 | 0.119 % | 326.25/326.37 c | 1102947 | 840 69086 187019 | 1 79759 60 | 0.119 % | 326.25/326.37 c | 1103167 | 840 69086 187019 | 1 79979 60 | 0.119 % | 326.25/326.37 c | 1103328 | 840 69086 187019 | 1 80140 61 | 0.119 % | 326.25/326.37 c | 1103514 | 840 69086 187019 | 1 80326 61 | 0.119 % | 326.25/326.37 c | 1103614 | 840 69086 187019 | 1 80426 61 | 0.119 % | 326.25/326.37 c | 1103714 | 840 69086 187019 | 1 80526 61 | 0.119 % | 326.25/326.37 c | 1103816 | 840 69086 187019 | 1 80628 61 | 0.119 % | 326.25/326.37 c | 1103928 | 840 69086 187019 | 1 80740 61 | 0.119 % | 326.25/326.37 c | 1107364 | 840 69086 187019 | 1 84176 63 | 0.119 % | 326.25/326.37 c | 1113010 | 840 69086 187019 | 1 89822 66 | 0.119 % | 326.25/326.37 c | 1113110 | 840 69086 187019 | 1 89922 66 | 0.119 % | 326.25/326.37 c | 1113210 | 840 69086 187019 | 1 90022 66 | 0.119 % | 326.25/326.37 c | 1113895 | 840 69086 187019 | 1 90707 66 | 0.119 % | 326.25/326.37 c | 1114400 | 840 69086 187019 | 1 91212 67 | 0.119 % | 326.25/326.37 c | 1114501 | 840 69086 187019 | 1 91313 67 | 0.119 % | 326.25/326.37 c | 1114603 | 840 69086 187019 | 1 91415 67 | 0.119 % | 326.25/326.37 c | 1114704 | 840 69086 187019 | 1 91516 67 | 0.119 % | 326.25/326.37 c | 1114850 | 840 69086 187019 | 1 91662 67 | 0.119 % | 326.25/326.37 c | 1114954 | 840 69086 187019 | 1 91766 67 | 0.119 % | 326.25/326.37 c | 1115054 | 840 69086 187019 | 1 91866 67 | 0.119 % | 326.25/326.37 c | 1118830 | 840 69086 187019 | 1 95642 69 | 0.119 % | 326.25/326.37 c | 1118944 | 840 69086 187019 | 1 95756 69 | 0.119 % | 326.25/326.37 c | 1119044 | 840 69086 187019 | 1 95856 69 | 0.119 % | 326.25/326.37 c | 1139598 | 840 69086 187019 | 1 116410 76 | 0.119 % | 326.25/326.37 c | 1139698 | 840 69086 187019 | 1 116510 76 | 0.119 % | 326.25/326.37 c | 1141361 | 840 69086 187019 | 1 118173 77 | 0.119 % | 326.25/326.37 c | 1141461 | 840 69086 187019 | 1 118273 77 | 0.119 % | 326.25/326.37 c | 1141561 | 840 69086 187019 | 1 118373 77 | 0.119 % | 326.25/326.37 c | 1141791 | 840 69086 187019 | 1 118603 77 | 0.119 % | 326.25/326.37 c | 1144918 | 840 69086 187019 | 1 121730 78 | 0.119 % | 326.25/326.37 c | 1145570 | 840 69086 187019 | 1 122382 79 | 0.119 % | 326.25/326.37 c | 1147667 | 840 69086 187019 | 1 124479 79 | 0.119 % | 326.25/326.37 c | 1147848 | 840 69086 187019 | 1 124660 79 | 0.119 % | 326.25/326.37 c | 1149144 | 840 69086 187019 | 1 125956 79 | 0.119 % | 326.25/326.37 c | 1149418 | 840 69086 187019 | 1 126230 80 | 0.119 % | 326.25/326.37 c | 1149518 | 840 69086 187019 | 1 126330 80 | 0.119 % | 326.25/326.37 c | 1150306 | 840 69086 187019 | 1 127118 80 | 0.119 % | 326.25/326.37 c | 1153293 | 840 69086 187019 | 1 130105 80 | 0.119 % | 326.25/326.37 c | 1154335 | 840 69086 187019 | 1 131147 81 | 0.119 % | 326.25/326.37 c | 1167757 | 840 69086 187019 | 1 144569 83 | 0.119 % | 326.25/326.37 c | 1167858 | 840 69086 187019 | 1 144670 83 | 0.119 % | 326.25/326.37 c | 1167958 | 840 69086 187019 | 1 144770 83 | 0.119 % | 326.25/326.37 c | 1201113 | 840 69086 187019 | 1 103734 73 | 0.119 % | 326.25/326.37 c | 1201214 | 840 69086 187019 | 1 103835 73 | 0.119 % | 326.25/326.37 c | 1210531 | 840 69086 187019 | 1 113152 76 | 0.119 % | 326.25/326.37 c | 1210631 | 840 69086 187019 | 1 113252 76 | 0.119 % | 382.85/382.95 c | 1210731 | 840 69086 187019 | 1 113352 76 | 0.119 % | 382.85/382.95 c | 1210832 | 840 69086 187019 | 1 113453 76 | 0.119 % | 382.85/382.95 c | 1218332 | 840 69086 187019 | 1 120953 79 | 0.119 % | 382.85/382.95 c | 1228529 | 840 69086 187019 | 1 131150 81 | 0.119 % | 382.85/382.95 c | 1228859 | 840 69086 187019 | 1 131480 81 | 0.119 % | 382.85/382.95 c | 1229494 | 840 69086 187019 | 1 132115 82 | 0.119 % | 382.85/382.95 c | 1235227 | 840 69086 187019 | 1 137848 83 | 0.119 % | 382.85/382.95 c | 1240397 | 840 69086 187019 | 1 143018 85 | 0.119 % | 382.85/382.95 c | 1240497 | 840 69086 187019 | 1 143118 85 | 0.119 % | 382.85/382.95 c | 1240665 | 840 69086 187019 | 1 143286 85 | 0.119 % | 382.85/382.95 c | 1241952 | 840 69086 187019 | 1 144573 85 | 0.119 % | 382.85/382.95 c | 1243721 | 840 69086 187019 | 1 146342 86 | 0.119 % | 382.85/382.95 c | 1244293 | 840 69086 187019 | 1 146914 86 | 0.119 % | 382.85/382.95 c | 1247316 | 840 69086 187019 | 1 149937 86 | 0.119 % | 382.85/382.95 c | 1247418 | 840 69086 187019 | 1 150039 86 | 0.119 % | 382.85/382.95 c | 1249486 | 840 69086 187019 | 1 152107 87 | 0.119 % | 382.85/382.95 c | 1257620 | 840 69086 187019 | 1 83439 63 | 0.119 % | 382.85/382.95 c | 1257939 | 840 69086 187019 | 1 83758 63 | 0.119 % | 382.85/382.95 c | 1258039 | 840 69086 187019 | 1 83858 63 | 0.119 % | 382.85/382.95 c | 1258139 | 840 69086 187019 | 1 83958 63 | 0.119 % | 382.85/382.95 c | 1258240 | 840 69086 187019 | 1 84059 63 | 0.119 % | 382.85/382.95 c | 1263766 | 840 69086 187019 | 1 89585 66 | 0.119 % | 382.85/382.95 c | 1264732 | 840 69086 187019 | 1 90551 66 | 0.119 % | 382.85/382.95 c | 1265213 | 840 69086 187019 | 1 91032 66 | 0.119 % | 382.85/382.95 c | 1270391 | 840 69086 187019 | 1 96210 69 | 0.119 % | 382.85/382.95 c | 1271805 | 840 69086 187019 | 1 97624 70 | 0.119 % | 382.85/382.95 c | 1283013 | 840 69086 187019 | 1 108832 72 | 0.119 % | 382.85/382.95 c | 1283839 | 840 69086 187019 | 1 109658 72 | 0.119 % | 382.85/382.95 c | 1285023 | 840 69086 187019 | 1 110842 73 | 0.119 % | 382.85/382.95 c | 1285212 | 840 69086 187019 | 1 111031 73 | 0.119 % | 382.85/382.95 c | 1285312 | 840 69086 187019 | 1 111131 73 | 0.119 % | 382.85/382.95 c | 1286147 | 840 69086 187019 | 1 111966 73 | 0.119 % | 382.85/382.95 c | 1286289 | 840 69086 187019 | 1 112108 73 | 0.119 % | 382.85/382.95 c | 1286799 | 840 69086 187019 | 1 112618 74 | 0.119 % | 382.85/382.95 c | 1286901 | 840 69086 187019 | 1 112720 74 | 0.119 % | 382.85/382.95 c | 1287001 | 840 69086 187019 | 1 112820 74 | 0.119 % | 382.85/382.95 c | 1287103 | 840 69086 187019 | 1 112922 74 | 0.119 % | 382.85/382.95 c | 1288901 | 840 69086 187019 | 1 114720 74 | 0.119 % | 382.85/382.95 c | 1290002 | 840 69086 187019 | 1 115821 75 | 0.119 % | 382.85/382.95 c | 1294313 | 840 69086 187019 | 1 120132 76 | 0.119 % | 382.85/382.95 c | 1299330 | 840 69086 187019 | 1 125149 77 | 0.119 % | 382.85/382.95 c | 1299434 | 840 69086 187019 | 1 125253 78 | 0.119 % | 382.85/382.95 c | 1299535 | 840 69086 187019 | 1 125354 78 | 0.119 % | 382.85/382.95 c | 1299635 | 840 69086 187019 | 1 125454 78 | 0.119 % | 382.85/382.95 c | 1299735 | 840 69086 187019 | 1 125554 78 | 0.119 % | 382.85/382.95 c | 1299835 | 840 69086 187019 | 1 125654 78 | 0.119 % | 382.85/382.95 c | 1300181 | 840 69086 187019 | 1 126000 78 | 0.119 % | 382.85/382.95 c | 1300411 | 840 69086 187019 | 1 126230 78 | 0.119 % | 382.85/382.95 c | 1307248 | 840 69086 187019 | 1 133067 79 | 0.119 % | 382.85/382.95 c | 1313718 | 840 69086 187019 | 1 139537 80 | 0.119 % | 415.56/415.66 c | 1317391 | 840 69086 187019 | 1 143210 81 | 0.119 % | 415.56/415.66 c | 1317491 | 840 69086 187019 | 1 143310 81 | 0.119 % | 415.56/415.66 c | 1317592 | 840 69086 187019 | 1 143411 81 | 0.119 % | 415.56/415.66 c | 1319534 | 840 69086 187019 | 1 145353 82 | 0.119 % | 415.56/415.66 c | 1319635 | 840 69086 187019 | 1 145454 82 | 0.119 % | 415.56/415.66 c | 1322148 | 840 69086 187019 | 1 147967 82 | 0.119 % | 415.56/415.66 c | 1322248 | 840 69086 187019 | 1 148067 82 | 0.119 % | 415.56/415.66 c | 1322348 | 840 69086 187019 | 1 148167 82 | 0.119 % | 415.56/415.66 c | 1322451 | 840 69086 187019 | 1 148270 82 | 0.119 % | 415.56/415.66 c | 1322597 | 840 69086 187019 | 1 148416 83 | 0.119 % | 415.56/415.66 c | 1322698 | 840 69086 187019 | 1 148517 83 | 0.119 % | 415.56/415.66 c | 1323501 | 840 69086 187019 | 1 149320 83 | 0.119 % | 415.56/415.66 c | 1323601 | 840 69086 187019 | 1 149420 83 | 0.119 % | 415.56/415.66 c | 1323704 | 840 69086 187019 | 1 149523 83 | 0.119 % | 415.56/415.66 c | 1324196 | 840 69086 187019 | 1 150015 83 | 0.119 % | 415.56/415.66 c | 1324576 | 840 69086 187019 | 1 150395 83 | 0.119 % | 415.56/415.66 c | 1324678 | 840 69086 187019 | 1 150497 83 | 0.119 % | 415.56/415.66 c | 1324778 | 840 69086 187019 | 1 150597 83 | 0.119 % | 415.56/415.66 c | 1324878 | 840 69086 187019 | 1 150697 83 | 0.119 % | 415.56/415.66 c | 1327308 | 840 69086 187019 | 1 153127 84 | 0.119 % | 415.56/415.66 c | 1329510 | 840 69086 187019 | 1 155329 84 | 0.119 % | 415.56/415.66 c | 1329611 | 840 69086 187019 | 1 155430 84 | 0.119 % | 415.56/415.66 c | 1329711 | 840 69086 187019 | 1 155530 84 | 0.119 % | 415.56/415.66 c | 1332004 | 840 69086 187019 | 1 157823 84 | 0.119 % | 415.56/415.66 c | 1332778 | 840 69086 187019 | 1 158597 85 | 0.119 % | 415.56/415.66 c | 1332878 | 840 69086 187019 | 1 158697 85 | 0.119 % | 415.56/415.66 c | 1336100 | 840 69086 187019 | 1 82519 59 | 0.119 % | 415.56/415.66 c | 1336291 | 840 69086 187019 | 1 82710 59 | 0.119 % | 415.56/415.66 c | 1340999 | 840 69086 187019 | 1 87418 62 | 0.119 % | 415.56/415.66 c | 1341100 | 840 69086 187019 | 1 87519 62 | 0.119 % | 415.56/415.66 c | 1341204 | 840 69086 187019 | 1 87623 62 | 0.119 % | 415.56/415.66 c | 1341304 | 840 69086 187019 | 1 87723 62 | 0.119 % | 415.56/415.66 c | 1341404 | 840 69086 187019 | 1 87823 62 | 0.119 % | 415.56/415.66 c | 1341507 | 840 69086 187019 | 1 87926 62 | 0.119 % | 415.56/415.66 c | 1346734 | 840 69086 187019 | 1 93153 65 | 0.119 % | 415.56/415.66 c | 1348243 | 840 69086 187019 | 1 94662 66 | 0.119 % | 415.56/415.66 c | 1348877 | 840 69086 187019 | 1 95296 67 | 0.119 % | 415.56/415.66 c | 1352420 | 840 69086 187019 | 1 98839 69 | 0.119 % | 415.56/415.66 c | 1353200 | 840 69086 187019 | 1 99619 69 | 0.119 % | 415.56/415.66 c | 1354617 | 840 69086 187019 | 1 101036 70 | 0.119 % | 415.56/415.66 c | 1355147 | 840 69086 187019 | 1 101566 70 | 0.119 % | 415.56/415.66 c | 1355247 | 840 69086 187019 | 1 101666 70 | 0.119 % | 415.56/415.66 c | 1356038 | 840 69086 187019 | 1 102457 70 | 0.119 % | 415.56/415.66 c | 1358192 | 840 69086 187019 | 1 104611 71 | 0.119 % | 415.56/415.66 c | 1359245 | 840 69086 187019 | 1 105664 72 | 0.119 % | 415.56/415.66 c | 1368109 | 840 69086 187019 | 1 114528 74 | 0.119 % | 415.56/415.66 c | 1369727 | 840 69086 187019 | 1 116146 74 | 0.119 % | 415.56/415.66 c | 1370490 | 840 69086 187019 | 1 116909 74 | 0.119 % | 415.56/415.66 c | 1370591 | 840 69086 187019 | 1 117010 74 | 0.119 % | 415.56/415.66 c | 1370691 | 840 69086 187019 | 1 117110 74 | 0.119 % | 494.46/494.54 c | 1370792 | 840 69086 187019 | 1 117211 74 | 0.119 % | 494.46/494.54 c | 1371019 | 840 69086 187019 | 1 117438 74 | 0.119 % | 494.46/494.54 c | 1372093 | 840 69086 187019 | 1 118512 75 | 0.119 % | 494.46/494.54 c | 1372873 | 840 69086 187019 | 1 119292 75 | 0.119 % | 494.46/494.54 c | 1372974 | 840 69086 187019 | 1 119393 75 | 0.119 % | 494.46/494.54 c | 1379149 | 840 69086 187019 | 1 125568 77 | 0.119 % | 494.46/494.54 c | 1387655 | 840 69086 187019 | 1 134074 79 | 0.119 % | 494.46/494.54 c | 1387944 | 840 69086 187019 | 1 134363 79 | 0.119 % | 494.46/494.54 c | 1388044 | 840 69086 187019 | 1 134463 79 | 0.119 % | 494.46/494.54 c | 1388144 | 840 69086 187019 | 1 134563 79 | 0.119 % | 494.46/494.54 c | 1390225 | 840 69086 187019 | 1 136644 79 | 0.119 % | 494.46/494.54 c | 1391489 | 840 69086 187019 | 1 137908 80 | 0.119 % | 494.46/494.54 c | 1391734 | 840 69086 187019 | 1 138153 80 | 0.119 % | 494.46/494.54 c | 1405010 | 840 69086 187019 | 1 151429 83 | 0.119 % | 494.46/494.54 c | 1405307 | 840 69086 187019 | 1 151726 83 | 0.119 % | 494.46/494.54 c | 1405408 | 840 69086 187019 | 1 151827 83 | 0.119 % | 494.46/494.54 c | 1406480 | 840 69086 187019 | 1 152899 83 | 0.119 % | 494.46/494.54 c | 1406580 | 840 69086 187019 | 1 152999 83 | 0.119 % | 494.46/494.54 c | 1406680 | 840 69086 187019 | 1 153099 83 | 0.119 % | 494.46/494.54 c | 1406781 | 840 69086 187019 | 1 153200 83 | 0.119 % | 494.46/494.54 c | 1407467 | 840 69086 187019 | 1 153886 83 | 0.119 % | 494.46/494.54 c | 1409221 | 840 69086 187019 | 1 155640 84 | 0.119 % | 494.46/494.54 c | 1420228 | 840 69086 187019 | 1 84645 59 | 0.119 % | 494.46/494.54 c | 1420328 | 840 69086 187019 | 1 84745 59 | 0.119 % | 494.46/494.54 c | 1430720 | 840 69086 187019 | 1 95137 64 | 0.119 % | 494.46/494.54 c | 1430833 | 840 69086 187019 | 1 95250 64 | 0.119 % | 494.46/494.54 c | 1438415 | 840 69086 187019 | 1 102832 69 | 0.119 % | 494.46/494.54 c | 1439102 | 840 69086 187019 | 1 103519 70 | 0.119 % | 494.46/494.54 c | 1439204 | 840 69086 187019 | 1 103621 70 | 0.119 % | 494.46/494.54 c | 1439304 | 840 69086 187019 | 1 103721 70 | 0.119 % | 494.46/494.54 c | 1439406 | 840 69086 187019 | 1 103823 70 | 0.119 % | 494.46/494.54 c | 1439507 | 840 69086 187019 | 1 103924 70 | 0.119 % | 494.46/494.54 c | 1439607 | 840 69086 187019 | 1 104024 70 | 0.119 % | 494.46/494.54 c | 1442129 | 840 69086 187019 | 1 106546 71 | 0.119 % | 494.46/494.54 c | 1442870 | 840 69086 187019 | 1 107287 71 | 0.119 % | 494.46/494.54 c | 1454730 | 840 69086 187019 | 1 119147 76 | 0.119 % | 494.46/494.54 c | 1454831 | 840 69086 187019 | 1 119248 76 | 0.119 % | 494.46/494.54 c | 1455920 | 840 69086 187019 | 1 120337 77 | 0.119 % | 494.46/494.54 c | 1456021 | 840 69086 187019 | 1 120438 77 | 0.119 % | 494.46/494.54 c | 1456121 | 840 69086 187019 | 1 120538 77 | 0.119 % | 494.46/494.54 c | 1456224 | 840 69086 187019 | 1 120641 77 | 0.119 % | 494.46/494.54 c | 1462807 | 840 69086 187019 | 1 127224 78 | 0.119 % | 494.46/494.54 c | 1462907 | 840 69086 187019 | 1 127324 78 | 0.119 % | 494.46/494.54 c | 1463009 | 840 69086 187019 | 1 127426 78 | 0.119 % | 494.46/494.54 c | 1475518 | 840 69086 187019 | 1 139935 82 | 0.119 % | 494.46/494.54 c | 1483250 | 840 69086 187019 | 1 147667 84 | 0.119 % | 494.46/494.54 c | 1483950 | 840 69086 187019 | 1 148367 84 | 0.119 % | 494.46/494.54 c | 1490384 | 840 69086 187019 | 1 154801 85 | 0.119 % | 494.46/494.54 c | 1497188 | 840 69086 187019 | 1 161605 86 | 0.119 % | 494.46/494.54 c | 1497652 | 840 69086 187019 | 1 162069 86 | 0.119 % | 582.75/582.82 c | 1500087 | 840 69086 187019 | 1 164504 86 | 0.119 % | 582.75/582.82 c | 1509334 | 840 69086 187019 | 1 89146 61 | 0.119 % | 582.75/582.82 c | 1511004 | 840 69086 187019 | 1 90816 62 | 0.119 % | 582.75/582.82 c | 1514084 | 840 69086 187019 | 1 93896 64 | 0.119 % | 582.75/582.82 c | 1518378 | 840 69086 187019 | 1 98190 66 | 0.119 % | 582.75/582.82 c | 1518480 | 840 69086 187019 | 1 98292 66 | 0.119 % | 582.75/582.82 c | 1524056 | 840 69086 187019 | 1 103868 68 | 0.119 % | 582.75/582.82 c | 1529444 | 840 69086 187019 | 1 109256 70 | 0.119 % | 582.75/582.82 c | 1529725 | 840 69086 187019 | 1 109537 70 | 0.119 % | 582.75/582.82 c | 1529831 | 840 69086 187019 | 1 109643 70 | 0.119 % | 582.75/582.82 c | 1531803 | 840 69086 187019 | 1 111615 71 | 0.119 % | 582.75/582.82 c | 1531918 | 840 69086 187019 | 1 111730 71 | 0.119 % | 582.75/582.82 c | 1532018 | 840 69086 187019 | 1 111830 71 | 0.119 % | 582.75/582.82 c | 1532178 | 840 69086 187019 | 1 111990 71 | 0.119 % | 582.75/582.82 c | 1535061 | 840 69086 187019 | 1 114873 72 | 0.119 % | 582.75/582.82 c | 1535516 | 840 69086 187019 | 1 115328 72 | 0.119 % | 582.75/582.82 c | 1535616 | 840 69086 187019 | 1 115428 72 | 0.119 % | 582.75/582.82 c | 1536703 | 840 69086 187019 | 1 116515 73 | 0.119 % | 582.75/582.82 c | 1541527 | 840 69086 187019 | 1 121339 74 | 0.119 % | 582.75/582.82 c | 1541627 | 840 69086 187019 | 1 121439 74 | 0.119 % | 582.75/582.82 c | 1549261 | 840 69086 187019 | 1 129073 76 | 0.119 % | 582.75/582.82 c | 1549361 | 840 69086 187019 | 1 129173 76 | 0.119 % | 582.75/582.82 c | 1550514 | 840 69086 187019 | 1 130326 76 | 0.119 % | 582.75/582.82 c | 1567678 | 840 69086 187019 | 1 147490 81 | 0.119 % | 582.75/582.82 c | 1567817 | 840 69086 187019 | 1 147629 81 | 0.119 % | 582.75/582.82 c | 1567918 | 840 69086 187019 | 1 147730 81 | 0.119 % | 582.75/582.82 c | 1568298 | 840 69086 187019 | 1 148110 81 | 0.119 % | 582.75/582.82 c | 1569844 | 840 69086 187019 | 1 149656 82 | 0.119 % | 582.75/582.82 c | 1569945 | 840 69086 187019 | 1 149757 82 | 0.119 % | 582.75/582.82 c | 1570045 | 840 69086 187019 | 1 149857 82 | 0.119 % | 582.75/582.82 c | 1570148 | 840 69086 187019 | 1 149960 82 | 0.119 % | 582.75/582.82 c | 1571796 | 840 69086 187019 | 1 151608 82 | 0.119 % | 582.75/582.82 c | 1575580 | 840 69086 187019 | 1 155392 83 | 0.119 % | 582.75/582.82 c | 1583551 | 840 69086 187019 | 1 163363 84 | 0.119 % | 582.75/582.82 c | 1583651 | 840 69086 187019 | 1 163463 84 | 0.119 % | 582.75/582.82 c | 1583753 | 840 69086 187019 | 1 163565 84 | 0.119 % | 582.75/582.82 c | 1611167 | 840 69086 187019 | 1 103783 68 | 0.119 % | 582.75/582.82 c | 1611271 | 840 69086 187019 | 1 103887 68 | 0.119 % | 582.75/582.82 c | 1611372 | 840 69086 187019 | 1 103988 68 | 0.119 % | 582.75/582.82 c | 1615447 | 840 69086 187019 | 1 108063 69 | 0.119 % | 582.75/582.82 c | 1627122 | 840 69086 187019 | 1 119738 74 | 0.119 % | 582.75/582.82 c | 1627229 | 840 69086 187019 | 1 119845 74 | 0.119 % | 582.75/582.82 c | 1634514 | 840 69086 187019 | 1 127130 76 | 0.119 % | 582.75/582.82 c | 1638791 | 840 69086 187019 | 1 131407 77 | 0.119 % | 582.75/582.82 c | 1639187 | 840 69086 187019 | 1 131803 77 | 0.119 % | 582.75/582.82 c | 1639290 | 840 69086 187019 | 1 131906 77 | 0.119 % | 582.75/582.82 c | 1644014 | 840 69086 187019 | 1 136630 78 | 0.119 % | 582.75/582.82 c | 1646353 | 840 69086 187019 | 1 138969 79 | 0.119 % | 582.75/582.82 c | 1646476 | 840 69086 187019 | 1 139092 79 | 0.119 % | 582.75/582.82 c | 1646577 | 840 69086 187019 | 1 139193 79 | 0.119 % | 623.05/623.15 c | 1646678 | 840 69086 187019 | 1 139294 79 | 0.119 % | 623.05/623.15 c | 1646876 | 840 69086 187019 | 1 139492 79 | 0.119 % | 623.05/623.15 c | 1646976 | 840 69086 187019 | 1 139592 79 | 0.119 % | 623.05/623.15 c | 1647079 | 840 69086 187019 | 1 139695 79 | 0.119 % | 623.05/623.15 c | 1656317 | 840 69086 187019 | 1 148933 82 | 0.119 % | 623.05/623.15 c | 1659667 | 840 69086 187019 | 1 152283 83 | 0.119 % | 623.05/623.15 c | 1659768 | 840 69086 187019 | 1 152384 83 | 0.119 % | 623.05/623.15 c | 1659928 | 840 69086 187019 | 1 152544 83 | 0.119 % | 623.05/623.15 c | 1660706 | 840 69086 187019 | 1 153322 83 | 0.119 % | 623.05/623.15 c | 1660807 | 840 69086 187019 | 1 153423 83 | 0.119 % | 623.05/623.15 c | 1664405 | 840 69086 187019 | 1 157021 84 | 0.119 % | 623.05/623.15 c | 1664505 | 840 69086 187019 | 1 157121 84 | 0.119 % | 623.05/623.15 c | 1664605 | 840 69086 187019 | 1 157221 84 | 0.119 % | 623.05/623.15 c | 1665210 | 840 69086 187019 | 1 157826 84 | 0.119 % | 623.05/623.15 c | 1667094 | 840 69086 187019 | 1 159710 84 | 0.119 % | 623.05/623.15 c | 1667195 | 840 69086 187019 | 1 159811 84 | 0.119 % | 623.05/623.15 c | 1667739 | 840 69086 187019 | 1 160355 84 | 0.119 % | 623.05/623.15 c | 1667988 | 840 69086 187019 | 1 160604 85 | 0.119 % | 623.05/623.15 c | 1668088 | 840 69086 187019 | 1 160704 85 | 0.119 % | 623.05/623.15 c | 1671193 | 840 69086 187019 | 1 163809 85 | 0.119 % | 623.05/623.15 c | 1674223 | 840 69086 187019 | 1 166839 86 | 0.119 % | 623.05/623.15 c | 1679651 | 840 69086 187019 | 1 172267 86 | 0.119 % | 623.05/623.15 c | 1680218 | 840 69086 187019 | 1 172834 87 | 0.119 % | 623.05/623.15 c | 1680318 | 840 69086 187019 | 1 172934 87 | 0.119 % | 623.05/623.15 c | 1680762 | 840 69086 187019 | 1 173378 87 | 0.119 % | 623.05/623.15 c | 1681799 | 840 69086 187019 | 1 174415 87 | 0.119 % | 623.05/623.15 c | 1681899 | 840 69086 187019 | 1 174515 87 | 0.119 % | 623.05/623.15 c | 1682002 | 840 69086 187019 | 1 174618 87 | 0.119 % | 623.05/623.15 c | 1685066 | 840 69086 187019 | 1 177682 88 | 0.119 % | 623.05/623.15 c | 1685314 | 840 69086 187019 | 1 177930 88 | 0.119 % | 623.05/623.15 c | 1685416 | 840 69086 187019 | 1 178032 88 | 0.119 % | 623.05/623.15 c | 1686187 | 840 69086 187019 | 1 178803 88 | 0.119 % | 623.05/623.15 c | 1686995 | 840 69086 187019 | 1 179611 88 | 0.119 % | 623.05/623.15 c | 1690201 | 840 69086 187019 | 1 93011 59 | 0.119 % | 623.05/623.15 c | 1690301 | 840 69086 187019 | 1 93111 59 | 0.119 % | 623.05/623.15 c | 1690401 | 840 69086 187019 | 1 93211 60 | 0.119 % | 623.05/623.15 c | 1690501 | 840 69086 187019 | 1 93311 60 | 0.119 % | 623.05/623.15 c | 1697152 | 840 69086 187019 | 1 99962 63 | 0.119 % | 623.05/623.15 c | 1697253 | 840 69086 187019 | 1 100063 63 | 0.119 % | 623.05/623.15 c | 1697355 | 840 69086 187019 | 1 100165 63 | 0.119 % | 623.05/623.15 c | 1698112 | 840 69086 187019 | 1 100922 64 | 0.119 % | 623.05/623.15 c | 1698212 | 840 69086 187019 | 1 101022 64 | 0.119 % | 623.05/623.15 c | 1698447 | 840 69086 187019 | 1 101257 64 | 0.119 % | 623.05/623.15 c | 1698664 | 840 69086 187019 | 1 101474 64 | 0.119 % | 623.05/623.15 c | 1698793 | 840 69086 187019 | 1 101603 64 | 0.119 % | 623.05/623.15 c | 1704290 | 840 69086 187019 | 1 107100 67 | 0.119 % | 623.05/623.15 c | 1705130 | 840 69086 187019 | 1 107940 67 | 0.119 % | 623.05/623.15 c | 1705835 | 840 69086 187019 | 1 108645 68 | 0.119 % | 623.05/623.15 c | 1709404 | 840 69086 187019 | 1 112214 69 | 0.119 % | 623.05/623.15 c | 1709508 | 840 69086 187019 | 1 112318 69 | 0.119 % | 703.86/703.93 c | 1715110 | 840 69086 187019 | 1 117920 71 | 0.119 % | 703.86/703.93 c | 1728444 | 840 69086 187019 | 1 131254 76 | 0.119 % | 703.86/703.93 c | 1728544 | 840 69086 187019 | 1 131354 76 | 0.119 % | 703.86/703.93 c | 1728644 | 840 69086 187019 | 1 131454 76 | 0.119 % | 703.86/703.93 c | 1729721 | 840 69086 187019 | 1 132531 76 | 0.119 % | 703.86/703.93 c | 1729822 | 840 69086 187019 | 1 132632 76 | 0.119 % | 703.86/703.93 c | 1729924 | 840 69086 187019 | 1 132734 76 | 0.119 % | 703.86/703.93 c | 1741783 | 840 69086 187019 | 1 144593 80 | 0.119 % | 703.86/703.93 c | 1741883 | 840 69086 187019 | 1 144693 80 | 0.119 % | 703.86/703.93 c | 1741983 | 840 69086 187019 | 1 144793 80 | 0.119 % | 703.86/703.93 c | 1743337 | 840 69086 187019 | 1 146147 80 | 0.119 % | 703.86/703.93 c | 1744009 | 840 69086 187019 | 1 146819 80 | 0.119 % | 703.86/703.93 c | 1744643 | 840 69086 187019 | 1 147453 80 | 0.119 % | 703.86/703.93 c | 1744743 | 840 69086 187019 | 1 147553 81 | 0.119 % | 703.86/703.93 c | 1744868 | 840 69086 187019 | 1 147678 81 | 0.119 % | 703.86/703.93 c | 1744971 | 840 69086 187019 | 1 147781 81 | 0.119 % | 703.86/703.93 c | 1752950 | 840 69086 187019 | 1 155760 82 | 0.119 % | 703.86/703.93 c | 1759209 | 840 69086 187019 | 1 162019 83 | 0.119 % | 703.86/703.93 c | 1759637 | 840 69086 187019 | 1 162447 84 | 0.119 % | 703.86/703.93 c | 1767802 | 840 69086 187019 | 1 170612 85 | 0.119 % | 703.86/703.93 c | 1774160 | 840 69086 187019 | 1 176970 86 | 0.119 % | 703.86/703.93 c | 1792951 | 840 69086 187019 | 1 103372 64 | 0.119 % | 703.86/703.93 c | 1793053 | 840 69086 187019 | 1 103474 64 | 0.119 % | 703.86/703.93 c | 1806572 | 840 69086 187019 | 1 116993 73 | 0.119 % | 703.86/703.93 c | 1807477 | 840 69086 187019 | 1 117898 73 | 0.119 % | 703.86/703.93 c | 1810127 | 840 69086 187019 | 1 120548 74 | 0.119 % | 703.86/703.93 c | 1811870 | 840 69086 187019 | 1 122291 74 | 0.119 % | 703.86/703.93 c | 1813562 | 840 69086 187019 | 1 123983 75 | 0.119 % | 703.86/703.93 c | 1813744 | 840 69086 187019 | 1 124165 75 | 0.119 % | 703.86/703.93 c | 1813847 | 840 69086 187019 | 1 124268 75 | 0.119 % | 703.86/703.93 c | 1817041 | 840 69086 187019 | 1 127462 76 | 0.119 % | 703.86/703.93 c | 1817367 | 840 69086 187019 | 1 127788 76 | 0.119 % | 703.86/703.93 c | 1817468 | 840 69086 187019 | 1 127889 76 | 0.119 % | 703.86/703.93 c | 1817641 | 840 69086 187019 | 1 128062 76 | 0.119 % | 703.86/703.93 c | 1818333 | 840 69086 187019 | 1 128754 77 | 0.119 % | 703.86/703.93 c | 1818433 | 840 69086 187019 | 1 128854 77 | 0.119 % | 703.86/703.93 c | 1818878 | 840 69086 187019 | 1 129299 77 | 0.119 % | 703.86/703.93 c | 1820660 | 840 69086 187019 | 1 131081 77 | 0.119 % | 703.86/703.93 c | 1820760 | 840 69086 187019 | 1 131181 77 | 0.119 % | 703.86/703.93 c | 1820894 | 840 69086 187019 | 1 131315 77 | 0.119 % | 703.86/703.93 c | 1821540 | 840 69086 187019 | 1 131961 77 | 0.119 % | 703.86/703.93 c | 1821739 | 840 69086 187019 | 1 132160 77 | 0.119 % | 703.86/703.93 c | 1822147 | 840 69086 187019 | 1 132568 78 | 0.119 % | 703.86/703.93 c | 1824400 | 840 69086 187019 | 1 134821 78 | 0.119 % | 703.86/703.93 c | 1824658 | 840 69086 187019 | 1 135079 78 | 0.119 % | 703.86/703.93 c | 1824779 | 840 69086 187019 | 1 135200 78 | 0.119 % | 703.86/703.93 c | 1825213 | 840 69086 187019 | 1 135634 78 | 0.119 % | 703.86/703.93 c | 1829870 | 840 69086 187019 | 1 140291 79 | 0.119 % | 703.86/703.93 c | 1830175 | 840 69086 187019 | 1 140596 79 | 0.119 % | 703.86/703.93 c | 1832496 | 840 69086 187019 | 1 142917 80 | 0.119 % | 917.05/917.19 c | 1832981 | 840 69086 187019 | 1 143402 80 | 0.119 % | 917.05/917.19 c | 1837888 | 840 69086 187019 | 1 148309 82 | 0.119 % | 917.05/917.19 c | 1838194 | 840 69086 187019 | 1 148615 82 | 0.119 % | 917.05/917.19 c | 1838300 | 840 69086 187019 | 1 148721 82 | 0.119 % | 917.05/917.19 c | 1838669 | 840 69086 187019 | 1 149090 82 | 0.119 % | 917.05/917.19 c | 1838770 | 840 69086 187019 | 1 149191 82 | 0.119 % | 917.05/917.19 c | 1839939 | 840 69086 187019 | 1 150360 82 | 0.119 % | 917.05/917.19 c | 1840080 | 840 69086 187019 | 1 150501 82 | 0.119 % | 917.05/917.19 c | 1840181 | 840 69086 187019 | 1 150602 82 | 0.119 % | 917.05/917.19 c | 1846522 | 840 69086 187019 | 1 156943 83 | 0.119 % | 917.05/917.19 c | 1848466 | 840 69086 187019 | 1 158887 84 | 0.119 % | 917.05/917.19 c | 1849623 | 840 69086 187019 | 1 160044 84 | 0.119 % | 917.05/917.19 c | 2152336 | 839 69073 186647 | 1 169448 81 | 0.238 % | 917.05/917.19 c | 2154426 | 839 69073 186647 | 1 171538 81 | 0.238 % | 917.05/917.19 c | 2159457 | 839 69073 186647 | 1 176569 81 | 0.238 % | 917.05/917.19 c | 2160261 | 839 69073 186647 | 1 177373 81 | 0.238 % | 917.05/917.19 c | 2164564 | 839 69073 186647 | 1 181676 82 | 0.238 % | 917.05/917.19 c | 2166280 | 839 69073 186647 | 1 183392 82 | 0.238 % | 917.05/917.19 c | 2166552 | 839 69073 186647 | 1 183664 82 | 0.238 % | 917.05/917.19 c | 2166680 | 839 69073 186647 | 1 183792 82 | 0.238 % | 917.05/917.19 c | 2168373 | 839 69073 186647 | 1 185485 82 | 0.238 % | 917.05/917.19 c | 2173464 | 839 69073 186647 | 1 190576 83 | 0.238 % | 917.05/917.19 c | 2174545 | 839 69073 186647 | 1 191657 83 | 0.238 % | 917.05/917.19 c | 2174647 | 839 69073 186647 | 1 191759 83 | 0.238 % | 917.05/917.19 c | 2182221 | 839 69073 186647 | 1 199333 84 | 0.238 % | 917.05/917.19 c | 2182321 | 839 69073 186647 | 1 199433 84 | 0.238 % | 917.05/917.19 c | 2185375 | 839 69073 186647 | 1 202487 84 | 0.238 % | 917.05/917.19 c | 2185643 | 839 69073 186647 | 1 202755 84 | 0.238 % | 917.05/917.19 c | 2187300 | 839 69073 186647 | 1 204412 84 | 0.238 % | 917.05/917.19 c | 2187489 | 839 69073 186647 | 1 204601 84 | 0.238 % | 917.05/917.19 c | 2190068 | 839 69073 186647 | 1 104634 58 | 0.238 % | 917.05/917.19 c | 2190278 | 839 69073 186647 | 1 104844 58 | 0.238 % | 917.05/917.19 c | 2200419 | 839 69073 186647 | 1 114985 61 | 0.238 % | 917.05/917.19 c | 2210863 | 839 69073 186647 | 1 125429 62 | 0.238 % | 917.05/917.19 c | 2210963 | 839 69073 186647 | 1 125529 62 | 0.238 % | 917.05/917.19 c | 2217483 | 839 69073 186647 | 1 132049 64 | 0.238 % | 917.05/917.19 c | 2217583 | 839 69073 186647 | 1 132149 64 | 0.238 % | 917.05/917.19 c | 2220778 | 839 69073 186647 | 1 135344 64 | 0.238 % | 917.05/917.19 c | 2221108 | 839 69073 186647 | 1 135674 64 | 0.238 % | 917.05/917.19 c | 2226824 | 839 69073 186647 | 1 141390 67 | 0.238 % | 917.05/917.19 c | 2231278 | 839 69073 186647 | 1 145844 68 | 0.238 % | 917.05/917.19 c | 2231379 | 839 69073 186647 | 1 145945 68 | 0.238 % | 917.05/917.19 c | 2231950 | 839 69073 186647 | 1 146516 69 | 0.238 % | 917.05/917.19 c | 2241117 | 839 69073 186647 | 1 155683 71 | 0.238 % | 917.05/917.19 c | 2241218 | 839 69073 186647 | 1 155784 71 | 0.238 % | 917.05/917.19 c | 2241332 | 839 69073 186647 | 1 155898 71 | 0.238 % | 917.05/917.19 c | 2241433 | 839 69073 186647 | 1 155999 71 | 0.238 % | 917.05/917.19 c | 2251196 | 839 69073 186647 | 1 165762 73 | 0.238 % | 917.05/917.19 c | 2251338 | 839 69073 186647 | 1 165904 73 | 0.238 % | 917.05/917.19 c | 2251438 | 839 69073 186647 | 1 166004 73 | 0.238 % | 999.95/1000.07 c | 2251540 | 839 69073 186647 | 1 166106 73 | 0.238 % | 999.95/1000.07 c | 2251836 | 839 69073 186647 | 1 166402 73 | 0.238 % | 999.95/1000.07 c | 2251937 | 839 69073 186647 | 1 166503 73 | 0.238 % | 999.95/1000.07 c | 2252068 | 839 69073 186647 | 1 166634 73 | 0.238 % | 999.95/1000.07 c | 2252168 | 839 69073 186647 | 1 166734 73 | 0.238 % | 999.95/1000.07 c | 2259910 | 839 69073 186647 | 1 174476 74 | 0.238 % | 999.95/1000.07 c | 2261248 | 839 69073 186647 | 1 175814 75 | 0.238 % | 999.95/1000.07 c | 2266830 | 839 69073 186647 | 1 181396 75 | 0.238 % | 999.95/1000.07 c | 2278617 | 839 69073 186647 | 1 193183 77 | 0.238 % | 999.95/1000.07 c | 2279039 | 839 69073 186647 | 1 193605 77 | 0.238 % | 999.95/1000.07 c | 2279141 | 839 69073 186647 | 1 193707 77 | 0.238 % | 999.95/1000.07 c | 2280691 | 839 69073 186647 | 1 195257 77 | 0.238 % | 999.95/1000.07 c | 2280791 | 839 69073 186647 | 1 195357 77 | 0.238 % | 999.95/1000.07 c | 2288373 | 839 69073 186647 | 1 202939 78 | 0.238 % | 999.95/1000.07 c | 2288474 | 839 69073 186647 | 1 203040 78 | 0.238 % | 999.95/1000.07 c | 2291846 | 839 69073 186647 | 1 206412 78 | 0.238 % | 999.95/1000.07 c | 2292200 | 839 69073 186647 | 1 206766 78 | 0.238 % | 999.95/1000.07 c | 2292302 | 839 69073 186647 | 1 206868 79 | 0.238 % | 999.95/1000.07 c | 2293687 | 839 69073 186647 | 1 208253 79 | 0.238 % | 999.95/1000.07 c | 2313120 | 839 69073 186647 | 1 122423 62 | 0.238 % | 999.95/1000.07 c | 2315066 | 839 69073 186647 | 1 124369 62 | 0.238 % | 999.95/1000.07 c | 2317028 | 839 69073 186647 | 1 126331 63 | 0.238 % | 999.95/1000.07 c | 2322168 | 839 69073 186647 | 1 131471 64 | 0.238 % | 999.95/1000.07 c | 2323048 | 839 69073 186647 | 1 132351 64 | 0.238 % | 999.95/1000.07 c | 2323153 | 839 69073 186647 | 1 132456 64 | 0.238 % | 999.95/1000.07 c | 2329418 | 839 69073 186647 | 1 138721 66 | 0.238 % | 999.95/1000.07 c | 2329558 | 839 69073 186647 | 1 138861 66 | 0.238 % | 999.95/1000.07 c | 2333317 | 839 69073 186647 | 1 142620 66 | 0.238 % | 999.95/1000.07 c | 2333417 | 839 69073 186647 | 1 142720 66 | 0.238 % | 999.95/1000.07 c | 2350770 | 839 69073 186647 | 1 160073 69 | 0.238 % | 999.95/1000.07 c | 2350997 | 839 69073 186647 | 1 160300 69 | 0.238 % | 999.95/1000.07 c | 2352064 | 839 69073 186647 | 1 161367 69 | 0.238 % | 999.95/1000.07 c | 2353296 | 839 69073 186647 | 1 162599 69 | 0.238 % | 999.95/1000.07 c | 2353397 | 839 69073 186647 | 1 162700 69 | 0.238 % | 999.95/1000.07 c | 2353721 | 839 69073 186647 | 1 163024 69 | 0.238 % | 999.95/1000.07 c | 2353876 | 839 69073 186647 | 1 163179 69 | 0.238 % | 999.95/1000.07 c | 2361961 | 839 69073 186647 | 1 171264 70 | 0.238 % | 999.95/1000.07 c | 2362063 | 839 69073 186647 | 1 171366 70 | 0.238 % | 999.95/1000.07 c | 2368231 | 839 69073 186647 | 1 177534 72 | 0.238 % | 999.95/1000.07 c | 2368475 | 839 69073 186647 | 1 177778 72 | 0.238 % | 999.95/1000.07 c | 2371049 | 839 69073 186647 | 1 180352 72 | 0.238 % | 999.95/1000.07 c | 2371356 | 839 69073 186647 | 1 180659 72 | 0.238 % | 999.95/1000.07 c | 2379087 | 839 69073 186647 | 1 188390 73 | 0.238 % | 999.95/1000.07 c | 2379591 | 839 69073 186647 | 1 188894 73 | 0.238 % | 999.95/1000.07 c | 2380506 | 839 69073 186647 | 1 189809 73 | 0.238 % | 999.95/1000.07 c | 2380942 | 839 69073 186647 | 1 190245 74 | 0.238 % | 999.95/1000.07 c | 2387382 | 839 69073 186647 | 1 196685 74 | 0.238 % | 999.95/1000.07 c | 2389767 | 839 69073 186647 | 1 199070 75 | 0.238 % | 999.95/1000.07 c | 2389867 | 839 69073 186647 | 1 199170 75 | 0.238 % | 999.95/1000.07 c | 2390003 | 839 69073 186647 | 1 199306 75 | 0.238 % | 1106.05/1106.15 c | 2390105 | 839 69073 186647 | 1 199408 75 | 0.238 % | 1106.05/1106.15 c | 2390633 | 839 69073 186647 | 1 199936 75 | 0.238 % | 1106.05/1106.15 c | 2401527 | 839 69073 186647 | 1 210830 76 | 0.238 % | 1106.05/1106.15 c | 2403848 | 839 69073 186647 | 1 213151 76 | 0.238 % | 1106.05/1106.15 c | 2404625 | 839 69073 186647 | 1 213928 76 | 0.238 % | 1106.05/1106.15 c | 2404727 | 839 69073 186647 | 1 214030 76 | 0.238 % | 1106.05/1106.15 c | 2404890 | 839 69073 186647 | 1 214193 76 | 0.238 % | 1106.05/1106.15 c | 2405042 | 839 69073 186647 | 1 214345 76 | 0.238 % | 1106.05/1106.15 c | 2405151 | 839 69073 186647 | 1 214454 76 | 0.238 % | 1106.05/1106.15 c | 2430330 | 839 69073 186647 | 1 131695 66 | 0.238 % | 1106.05/1106.15 c | 2431599 | 839 69073 186647 | 1 132964 66 | 0.238 % | 1106.05/1106.15 c | 2433692 | 839 69073 186647 | 1 135057 67 | 0.238 % | 1106.05/1106.15 c | 2435304 | 839 69073 186647 | 1 136669 67 | 0.238 % | 1106.05/1106.15 c | 2440865 | 839 69073 186647 | 1 142230 69 | 0.238 % | 1106.05/1106.15 c | 2440968 | 839 69073 186647 | 1 142333 69 | 0.238 % | 1106.05/1106.15 c | 2441070 | 839 69073 186647 | 1 142435 69 | 0.238 % | 1106.05/1106.15 c | 2441733 | 839 69073 186647 | 1 143098 69 | 0.238 % | 1106.05/1106.15 c | 2443604 | 839 69073 186647 | 1 144969 70 | 0.238 % | 1106.05/1106.15 c | 2443897 | 839 69073 186647 | 1 145262 70 | 0.238 % | 1106.05/1106.15 c | 2443998 | 839 69073 186647 | 1 145363 70 | 0.238 % | 1106.05/1106.15 c | 2454823 | 839 69073 186647 | 1 156188 72 | 0.238 % | 1106.05/1106.15 c | 2454924 | 839 69073 186647 | 1 156289 72 | 0.238 % | 1106.05/1106.15 c | 2455024 | 839 69073 186647 | 1 156389 72 | 0.238 % | 1106.05/1106.15 c | 2461163 | 839 69073 186647 | 1 162528 73 | 0.238 % | 1106.05/1106.15 c | 2461263 | 839 69073 186647 | 1 162628 73 | 0.238 % | 1106.05/1106.15 c | 2462847 | 839 69073 186647 | 1 164212 74 | 0.238 % | 1106.05/1106.15 c | 2462955 | 839 69073 186647 | 1 164320 74 | 0.238 % | 1106.05/1106.15 c | 2469732 | 839 69073 186647 | 1 171097 75 | 0.238 % | 1106.05/1106.15 c | 2469833 | 839 69073 186647 | 1 171198 75 | 0.238 % | 1106.05/1106.15 c | 2470649 | 839 69073 186647 | 1 172014 75 | 0.238 % | 1106.05/1106.15 c | 2471196 | 839 69073 186647 | 1 172561 75 | 0.238 % | 1106.05/1106.15 c | 2474457 | 839 69073 186647 | 1 175822 75 | 0.238 % | 1106.05/1106.15 c | 2481202 | 839 69073 186647 | 1 182567 76 | 0.238 % | 1106.05/1106.15 c | 2497607 | 839 69073 186647 | 1 198972 77 | 0.238 % | 1106.05/1106.15 c | 2498862 | 839 69073 186647 | 1 200227 77 | 0.238 % | 1106.05/1106.15 c | 2498962 | 839 69073 186647 | 1 200327 77 | 0.238 % | 1106.05/1106.15 c | 2514303 | 839 69073 186647 | 1 215668 79 | 0.238 % | 1106.05/1106.15 c | 2517937 | 839 69073 186647 | 1 219302 80 | 0.238 % | 1106.05/1106.15 c | 2518037 | 839 69073 186647 | 1 219402 80 | 0.238 % | 1106.05/1106.15 c | 2518138 | 839 69073 186647 | 1 219503 80 | 0.238 % | 1106.05/1106.15 c | 2520797 | 839 69073 186647 | 1 111600 56 | 0.238 % | 1106.05/1106.15 c | 2522609 | 839 69073 186647 | 1 113412 56 | 0.238 % | 1106.05/1106.15 c | 2524326 | 839 69073 186647 | 1 115129 57 | 0.238 % | 1106.05/1106.15 c | 2534087 | 839 69073 186647 | 1 124890 59 | 0.238 % | 1106.05/1106.15 c | 2536638 | 839 69073 186647 | 1 127441 60 | 0.238 % | 1106.05/1106.15 c | 2536745 | 839 69073 186647 | 1 127548 60 | 0.238 % | 1106.05/1106.15 c | 2564816 | 839 69073 186647 | 1 155619 64 | 0.238 % | 1106.05/1106.15 c | 2564918 | 839 69073 186647 | 1 155721 64 | 0.238 % | 1106.05/1106.15 c | 2566105 | 839 69073 186647 | 1 156908 64 | 0.238 % | 1106.05/1106.15 c | 2566206 | 839 69073 186647 | 1 157009 64 | 0.238 % | 1162.04/1162.11 c | 2566307 | 839 69073 186647 | 1 157110 64 | 0.238 % | 1162.04/1162.11 c | 2566407 | 839 69073 186647 | 1 157210 64 | 0.238 % | 1162.04/1162.11 c | 2566633 | 839 69073 186647 | 1 157436 64 | 0.238 % | 1162.04/1162.11 c | 2567545 | 839 69073 186647 | 1 158348 64 | 0.238 % | 1162.04/1162.11 c | 2569177 | 839 69073 186647 | 1 159980 65 | 0.238 % | 1162.04/1162.11 c | 2569280 | 839 69073 186647 | 1 160083 65 | 0.238 % | 1162.04/1162.11 c | 2569382 | 839 69073 186647 | 1 160185 65 | 0.238 % | 1162.04/1162.11 c | 2569483 | 839 69073 186647 | 1 160286 65 | 0.238 % | 1162.04/1162.11 c | 2569588 | 839 69073 186647 | 1 160391 65 | 0.238 % | 1162.04/1162.11 c | 2570342 | 839 69073 186647 | 1 161145 65 | 0.238 % | 1162.04/1162.11 c | 2580423 | 839 69073 186647 | 1 171226 66 | 0.238 % | 1162.04/1162.11 c | 2583491 | 839 69073 186647 | 1 174294 67 | 0.238 % | 1162.04/1162.11 c | 2583690 | 839 69073 186647 | 1 174493 67 | 0.238 % | 1162.04/1162.11 c | 2583790 | 839 69073 186647 | 1 174593 67 | 0.238 % | 1162.04/1162.11 c | 2584108 | 839 69073 186647 | 1 174911 67 | 0.238 % | 1162.04/1162.11 c | 2587128 | 839 69073 186647 | 1 177931 67 | 0.238 % | 1162.04/1162.11 c | 2587228 | 839 69073 186647 | 1 178031 67 | 0.238 % | 1162.04/1162.11 c | 2587617 | 839 69073 186647 | 1 178420 67 | 0.238 % | 1162.04/1162.11 c | 2593342 | 839 69073 186647 | 1 184145 68 | 0.238 % | 1162.04/1162.11 c | 2597169 | 839 69073 186647 | 1 187972 68 | 0.238 % | 1162.04/1162.11 c | 2597269 | 839 69073 186647 | 1 188072 68 | 0.238 % | 1162.04/1162.11 c | 2597369 | 839 69073 186647 | 1 188172 68 | 0.238 % | 1162.04/1162.11 c | 2601162 | 839 69073 186647 | 1 191965 69 | 0.238 % | 1162.04/1162.11 c | 2601262 | 839 69073 186647 | 1 192065 69 | 0.238 % | 1162.04/1162.11 c | 2603139 | 839 69073 186647 | 1 193942 69 | 0.238 % | 1162.04/1162.11 c | 2603239 | 839 69073 186647 | 1 194042 69 | 0.238 % | 1162.04/1162.11 c | 2603339 | 839 69073 186647 | 1 194142 69 | 0.238 % | 1162.04/1162.11 c | 2604077 | 839 69073 186647 | 1 194880 70 | 0.238 % | 1162.04/1162.11 c | 2604177 | 839 69073 186647 | 1 194980 70 | 0.238 % | 1162.04/1162.11 c | 2605680 | 839 69073 186647 | 1 196483 70 | 0.238 % | 1162.04/1162.11 c | 2605784 | 839 69073 186647 | 1 196587 70 | 0.238 % | 1162.04/1162.11 c | 2605884 | 839 69073 186647 | 1 196687 70 | 0.238 % | 1162.04/1162.11 c | 2605984 | 839 69073 186647 | 1 196787 70 | 0.238 % | 1162.04/1162.11 c | 2606087 | 839 69073 186647 | 1 196890 70 | 0.238 % | 1162.04/1162.11 c | 2606280 | 839 69073 186647 | 1 197083 70 | 0.238 % | 1162.04/1162.11 c | 2607331 | 839 69073 186647 | 1 198134 70 | 0.238 % | 1162.04/1162.11 c | 2607435 | 839 69073 186647 | 1 198238 70 | 0.238 % | 1162.04/1162.11 c | 2607832 | 839 69073 186647 | 1 198635 70 | 0.238 % | 1162.04/1162.11 c | 2608203 | 839 69073 186647 | 1 199006 70 | 0.238 % | 1162.04/1162.11 c | 2610523 | 839 69073 186647 | 1 201326 70 | 0.238 % | 1162.04/1162.11 c | 2623896 | 839 69073 186647 | 1 214699 73 | 0.238 % | 1162.04/1162.11 c | 2630181 | 839 69073 186647 | 1 220984 73 | 0.238 % | 1162.04/1162.11 c | 2630281 | 839 69073 186647 | 1 221084 73 | 0.238 % | 1162.04/1162.11 c | 2630718 | 839 69073 186647 | 1 221521 73 | 0.238 % | 1162.04/1162.11 c | 2649654 | 839 69073 186647 | 1 127274 59 | 0.238 % | 1162.04/1162.11 c | 2650272 | 839 69073 186647 | 1 127892 59 | 0.238 % | 1162.04/1162.11 c | 2650374 | 839 69073 186647 | 1 127994 59 | 0.238 % | 1162.04/1162.11 c | 2652470 | 839 69073 186647 | 1 130090 60 | 0.238 % | 1162.04/1162.11 c | 2652762 | 839 69073 186647 | 1 130382 60 | 0.238 % | 1162.04/1162.11 c | 2655598 | 839 69073 186647 | 1 133218 61 | 0.238 % | 1243.25/1243.32 c | 2655809 | 839 69073 186647 | 1 133429 61 | 0.238 % | 1243.25/1243.32 c | 2655945 | 839 69073 186647 | 1 133565 61 | 0.238 % | 1243.25/1243.32 c | 2656241 | 839 69073 186647 | 1 133861 61 | 0.238 % | 1243.25/1243.32 c | 2656427 | 839 69073 186647 | 1 134047 61 | 0.238 % | 1243.25/1243.32 c | 2656527 | 839 69073 186647 | 1 134147 61 | 0.238 % | 1243.25/1243.32 c | 2658116 | 839 69073 186647 | 1 135736 61 | 0.238 % | 1243.25/1243.32 c | 2660543 | 839 69073 186647 | 1 138163 62 | 0.238 % | 1243.25/1243.32 c | 2661865 | 839 69073 186647 | 1 139485 62 | 0.238 % | 1243.25/1243.32 c | 2662566 | 839 69073 186647 | 1 140186 63 | 0.238 % | 1243.25/1243.32 c | 2662668 | 839 69073 186647 | 1 140288 63 | 0.238 % | 1243.25/1243.32 c | 2663214 | 839 69073 186647 | 1 140834 63 | 0.238 % | 1243.25/1243.32 c | 2669834 | 839 69073 186647 | 1 147454 64 | 0.238 % | 1243.25/1243.32 c | 2672372 | 839 69073 186647 | 1 149992 64 | 0.238 % | 1243.25/1243.32 c | 2672566 | 839 69073 186647 | 1 150186 64 | 0.238 % | 1243.25/1243.32 c | 2672666 | 839 69073 186647 | 1 150286 64 | 0.238 % | 1243.25/1243.32 c | 2677039 | 839 69073 186647 | 1 154659 65 | 0.238 % | 1243.25/1243.32 c | 2677140 | 839 69073 186647 | 1 154760 65 | 0.238 % | 1243.25/1243.32 c | 2684627 | 839 69073 186647 | 1 162247 66 | 0.238 % | 1243.25/1243.32 c | 2688258 | 839 69073 186647 | 1 165878 67 | 0.238 % | 1243.25/1243.32 c | 2688360 | 839 69073 186647 | 1 165980 67 | 0.238 % | 1243.25/1243.32 c | 2698185 | 839 69073 186647 | 1 175805 68 | 0.238 % | 1243.25/1243.32 c | 2707051 | 839 69073 186647 | 1 184671 69 | 0.238 % | 1243.25/1243.32 c | 2707262 | 839 69073 186647 | 1 184882 69 | 0.238 % | 1243.25/1243.32 c | 2707944 | 839 69073 186647 | 1 185564 69 | 0.238 % | 1243.25/1243.32 c | 2709618 | 839 69073 186647 | 1 187238 69 | 0.238 % | 1243.25/1243.32 c | 2709722 | 839 69073 186647 | 1 187342 69 | 0.238 % | 1243.25/1243.32 c | 2709823 | 839 69073 186647 | 1 187443 69 | 0.238 % | 1243.25/1243.32 c | 2709939 | 839 69073 186647 | 1 187559 69 | 0.238 % | 1243.25/1243.32 c | 2712026 | 839 69073 186647 | 1 189646 70 | 0.238 % | 1243.25/1243.32 c | 2715963 | 839 69073 186647 | 1 193583 71 | 0.238 % | 1243.25/1243.32 c | 2726650 | 839 69073 186647 | 1 204270 72 | 0.238 % | 1243.25/1243.32 c | 2726813 | 839 69073 186647 | 1 204433 72 | 0.238 % | 1243.25/1243.32 c | 2726915 | 839 69073 186647 | 1 204535 72 | 0.238 % | 1243.25/1243.32 c | 2728815 | 839 69073 186647 | 1 206435 72 | 0.238 % | 1243.25/1243.32 c | 2730044 | 839 69073 186647 | 1 207664 72 | 0.238 % | 1243.25/1243.32 c | 2736516 | 839 69073 186647 | 1 214136 73 | 0.238 % | 1243.25/1243.32 c | 2736622 | 839 69073 186647 | 1 214242 73 | 0.238 % | 1243.25/1243.32 c | 2738460 | 839 69073 186647 | 1 216080 74 | 0.238 % | 1243.25/1243.32 c | 2739079 | 839 69073 186647 | 1 216699 74 | 0.238 % | 1243.25/1243.32 c | 2750804 | 839 69073 186647 | 1 228424 76 | 0.238 % | 1243.25/1243.32 c | 2750906 | 839 69073 186647 | 1 228526 76 | 0.238 % | 1243.25/1243.32 c | 2768572 | 839 69073 186647 | 1 130412 58 | 0.238 % | 1243.25/1243.32 c | 2769080 | 839 69073 186647 | 1 130920 58 | 0.238 % | 1243.25/1243.32 c | 2774636 | 839 69073 186647 | 1 136476 60 | 0.238 % | 1243.25/1243.32 c | 2774820 | 839 69073 186647 | 1 136660 60 | 0.238 % | 1243.25/1243.32 c | 2774921 | 839 69073 186647 | 1 136761 60 | 0.238 % | 1243.25/1243.32 c | 2776472 | 839 69073 186647 | 1 138312 60 | 0.238 % | 1243.25/1243.32 c | 2778417 | 839 69073 186647 | 1 140257 60 | 0.238 % | 1243.25/1243.32 c | 2778518 | 839 69073 186647 | 1 140358 60 | 0.238 % | 1243.25/1243.32 c | 27877
ERROR: Unexpected answer ! (SATISFIABLE/UNSATISFIABLE expected) Got answer: <no 's ' line found>
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3263584-1303545194/watcher-3263584-1303545194 -o /tmp/evaluation-result-3263584-1303545194/solver-3263584-1303545194 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3263584-1303545194.cnf running on 2 cores: 0,2 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1300 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 7864320 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 7915520 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 3.39 3.87 3.81 5/182 28536 /proc/meminfo: memFree=15364308/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) R 28532 28536 27733 0 -1 4202496 316 0 0 0 0 0 0 0 21 0 1 0 446934980 8912896 253 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726225301 0 65538 4100 65536 0 0 0 17 0 0 0 0 /proc/28536/statm: 2176 253 211 178 0 69 0 [startup+0.0182929 s] /proc/loadavg: 3.39 3.87 3.81 5/182 28536 /proc/meminfo: memFree=15364308/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 446934980 8912896 253 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/28536/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100296 s] /proc/loadavg: 3.39 3.87 3.81 5/182 28536 /proc/meminfo: memFree=15364308/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 334 0 0 0 0 0 0 0 21 0 1 0 446934980 8912896 253 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/28536/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300222 s] /proc/loadavg: 3.39 3.87 3.81 5/182 28536 /proc/meminfo: memFree=15364308/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 8704 [startup+0.700116 s] /proc/loadavg: 3.39 3.87 3.81 5/182 28536 /proc/meminfo: memFree=15364308/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.23 Current children cumulated vsize (KiB) 8704 [startup+1.50102 s] /proc/loadavg: 3.39 3.87 3.81 6/194 28558 /proc/meminfo: memFree=15314872/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=31668 CPUtime=1.25 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 5668 0 0 0 124 1 0 0 22 0 1 0 446935004 32428032 3651 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 7917 3651 250 17 0 4558 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 40372 [startup+3.1007 s] /proc/loadavg: 3.39 3.87 3.81 6/194 28558 /proc/meminfo: memFree=15286356/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=37940 CPUtime=2.84 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 9170 0 0 0 283 1 0 0 25 0 1 0 446935004 38850560 5463 33554432000 4194304 4260849 140734476224512 18446744073709551615 4226321 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 9485 5463 250 17 0 6126 0 Current children cumulated CPU time (s) 3.07 Current children cumulated vsize (KiB) 46644 [startup+6.30112 s] /proc/loadavg: 3.52 3.89 3.82 6/194 28558 /proc/meminfo: memFree=15235660/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=40660 CPUtime=6.04 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 10519 0 0 0 603 1 0 0 25 0 1 0 446935004 41635840 6802 33554432000 4194304 4260849 140734476224512 18446744073709551615 4225080 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 10165 6802 251 17 0 6806 0 Current children cumulated CPU time (s) 6.27 Current children cumulated vsize (KiB) 49364 [startup+12.7009 s] /proc/loadavg: 3.55 3.89 3.82 6/194 28558 /proc/meminfo: memFree=15228980/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=33588 CPUtime=12.44 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 16092 0 0 0 1242 2 0 0 25 0 1 0 446935004 34394112 5253 33554432000 4194304 4260849 140734476224512 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 8397 5253 252 17 0 5038 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 42292 [startup+25.5005 s] /proc/loadavg: 3.65 3.89 3.82 6/194 28558 /proc/meminfo: memFree=15169868/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=70940 CPUtime=25.24 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 24130 0 0 0 2520 4 0 0 25 0 1 0 446935004 72642560 13098 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 17735 13098 252 17 0 14376 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 79644 [startup+51.1007 s] /proc/loadavg: 3.77 3.90 3.82 6/194 28559 /proc/meminfo: memFree=15074360/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=77888 CPUtime=50.84 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 27377 0 0 0 5080 4 0 0 25 0 1 0 446935004 79757312 16253 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 19472 16253 252 17 0 16113 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 86592 [startup+102.307 s] /proc/loadavg: 3.90 3.91 3.83 6/194 28560 /proc/meminfo: memFree=15045196/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=85076 CPUtime=102.04 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 47543 0 0 0 10197 7 0 0 25 0 1 0 446935004 87117824 18060 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 2 0 0 0 /proc/28557/statm: 21269 18060 252 17 0 17910 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 93780 [startup+162.301 s] /proc/loadavg: 4.03 3.94 3.84 6/194 28562 /proc/meminfo: memFree=14968776/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=85216 CPUtime=162.03 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 83174 0 0 0 16188 15 0 0 25 0 1 0 446935004 87261184 17817 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 21304 17817 252 17 0 17945 0 Current children cumulated CPU time (s) 162.26 Current children cumulated vsize (KiB) 93920 [startup+222.3 s] /proc/loadavg: 4.01 3.95 3.85 6/194 28563 /proc/meminfo: memFree=15030736/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=87664 CPUtime=222.03 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 114148 0 0 0 22181 22 0 0 25 0 1 0 446935004 89767936 16513 33554432000 4194304 4260849 140734476224512 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 21916 16513 252 17 0 18557 0 Current children cumulated CPU time (s) 222.26 Current children cumulated vsize (KiB) 96368 [startup+282.301 s] /proc/loadavg: 4.00 3.95 3.85 6/194 28565 /proc/meminfo: memFree=14989792/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=89292 CPUtime=282.03 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 139856 0 0 0 28175 28 0 0 25 0 1 0 446935004 91435008 17961 33554432000 4194304 4260849 140734476224512 18446744073709551615 4225087 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 22323 17961 252 17 0 18964 0 Current children cumulated CPU time (s) 282.26 Current children cumulated vsize (KiB) 97996 [startup+342.301 s] /proc/loadavg: 4.00 3.96 3.86 6/194 28567 /proc/meminfo: memFree=14922300/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=139080 CPUtime=342.03 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 158988 0 0 0 34171 32 0 0 25 0 1 0 446935004 142417920 23919 33554432000 4194304 4260849 140734476224512 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 34770 23919 252 17 0 31411 0 Current children cumulated CPU time (s) 342.26 Current children cumulated vsize (KiB) 147784 [startup+402.3 s] /proc/loadavg: 4.00 3.97 3.86 6/194 28568 /proc/meminfo: memFree=14881472/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 ################ # More data... # ################ /proc/28557/statm: 27065 22897 252 17 0 23706 0 Current children cumulated CPU time (s) 582.25 Current children cumulated vsize (KiB) 116964 [startup+642.301 s] /proc/loadavg: 4.00 3.97 3.89 6/194 28584 /proc/meminfo: memFree=14846228/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=108260 CPUtime=642.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 249150 0 0 0 64141 61 0 0 25 0 1 0 446935004 110858240 23367 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224812 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 27065 23367 252 17 0 23706 0 Current children cumulated CPU time (s) 642.25 Current children cumulated vsize (KiB) 116964 [startup+702.301 s] /proc/loadavg: 4.00 3.97 3.89 6/194 28585 /proc/meminfo: memFree=14891952/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=108260 CPUtime=702.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 265929 0 0 0 70137 65 0 0 25 0 1 0 446935004 110858240 23246 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 27065 23246 252 17 0 23706 0 Current children cumulated CPU time (s) 702.25 Current children cumulated vsize (KiB) 116964 [startup+762.307 s] /proc/loadavg: 4.15 4.00 3.91 6/194 28587 /proc/meminfo: memFree=14852120/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=139080 CPUtime=762.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 286380 0 0 0 76132 70 0 0 25 0 1 0 446935004 142417920 26214 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 34770 26214 252 17 0 31411 0 Current children cumulated CPU time (s) 762.25 Current children cumulated vsize (KiB) 147784 [startup+822.301 s] /proc/loadavg: 4.05 4.00 3.91 6/194 28588 /proc/meminfo: memFree=14831992/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=139080 CPUtime=822.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 303933 0 0 0 82126 76 0 0 25 0 1 0 446935004 142417920 26190 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 34770 26190 252 17 0 31411 0 Current children cumulated CPU time (s) 822.25 Current children cumulated vsize (KiB) 147784 [startup+882.301 s] /proc/loadavg: 4.02 4.00 3.91 6/194 28590 /proc/meminfo: memFree=14771068/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=140872 CPUtime=882.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 322438 0 0 0 88123 79 0 0 25 0 1 0 446935004 144252928 29128 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 35218 29128 252 17 0 31859 0 Current children cumulated CPU time (s) 882.25 Current children cumulated vsize (KiB) 149576 [startup+942.301 s] /proc/loadavg: 4.00 4.00 3.91 6/194 28592 /proc/meminfo: memFree=14814328/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=142284 CPUtime=942.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 339713 0 0 0 94118 84 0 0 25 0 1 0 446935004 145698816 28372 33554432000 4194304 4260849 140734476224512 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 35571 28372 252 17 0 32212 0 Current children cumulated CPU time (s) 942.25 Current children cumulated vsize (KiB) 150988 [startup+1002.3 s] /proc/loadavg: 4.00 4.00 3.91 6/194 28593 /proc/meminfo: memFree=14798188/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=142952 CPUtime=1002.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 356911 0 0 0 100114 88 0 0 25 0 1 0 446935004 146382848 28148 33554432000 4194304 4260849 140734476224512 18446744073709551615 4225409 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 35738 28148 252 17 0 32379 0 Current children cumulated CPU time (s) 1002.25 Current children cumulated vsize (KiB) 151656 [startup+1062.3 s] /proc/loadavg: 4.06 4.01 3.91 6/194 28595 /proc/meminfo: memFree=14788612/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=143752 CPUtime=1062.01 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 373908 0 0 0 106108 93 0 0 25 0 1 0 446935004 147202048 27838 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 35938 27838 252 17 0 32579 0 Current children cumulated CPU time (s) 1062.24 Current children cumulated vsize (KiB) 152456 [startup+1122.3 s] /proc/loadavg: 4.02 4.01 3.91 6/194 28596 /proc/meminfo: memFree=14806672/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=145332 CPUtime=1122.01 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 390324 0 0 0 112104 97 0 0 25 0 1 0 446935004 148819968 25724 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224867 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 36333 25724 252 17 0 32974 0 Current children cumulated CPU time (s) 1122.24 Current children cumulated vsize (KiB) 154036 [startup+1182.3 s] /proc/loadavg: 4.00 4.00 3.91 6/194 28598 /proc/meminfo: memFree=14799076/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=114976 CPUtime=1182.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 406885 0 0 0 118098 104 0 0 25 0 1 0 446935004 117735424 24682 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 28744 24682 252 17 0 25385 0 Current children cumulated CPU time (s) 1182.25 Current children cumulated vsize (KiB) 123680 [startup+1242.3 s] /proc/loadavg: 4.05 4.01 3.92 6/194 28600 /proc/meminfo: memFree=14845932/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=115608 CPUtime=1242.02 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 423363 0 0 0 124093 109 0 0 25 0 1 0 446935004 118382592 22712 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 28902 22712 252 17 0 25543 0 Current children cumulated CPU time (s) 1242.25 Current children cumulated vsize (KiB) 124312 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 4.02 4.01 3.92 6/194 28601 /proc/meminfo: memFree=14772748/32951124 swapFree=67111528/67111528 [pid=28536] ppid=28532 vsize=8704 CPUtime=0.23 cores=0,2 /proc/28536/stat : 28536 (glucose.sh) S 28532 28536 27733 0 -1 4202496 359 1437 0 0 0 0 23 0 18 0 1 0 446934980 8912896 255 33554432000 4194304 4922060 140733345379888 18446744073709551615 264726224005 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/28536/statm: 2176 255 211 178 0 69 0 [pid=28557] ppid=28536 vsize=147588 CPUtime=1299.72 cores=0,2 /proc/28557/stat : 28557 (glucose_static) R 28536 28536 27733 0 -1 4202496 432735 0 0 0 129860 112 0 0 25 0 1 0 446935004 151130112 31990 33554432000 4194304 4260849 140734476224512 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 0 0 0 0 /proc/28557/statm: 36897 31990 252 17 0 33538 0 Current children cumulated CPU time (s) 1299.95 Current children cumulated vsize (KiB) 156292 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 28536 and gives # childrusage.ru_utime.tv_sec=0 # childrusage.ru_utime.tv_usec=237963 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=5999 # CPU time returned by wait4() is 0.243962 # while last known CPU time is 1299.95 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1299.95 CPU user time (s): 1298.83 CPU system time (s): 1.12 CPU usage (%): 99.9951 Max. virtual memory (cumulated for all children) (KiB): 185484 getrusage(RUSAGE_CHILDREN,...) data: user time used= 0.237963 system time used= 0.005999 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 1796 page faults= 0 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 12 involuntary context switches= 8 runsolver used 2.16567 second user time and 4.87626 second system time The end
Begin job on node141 at 2011-04-23 09:53:14 IDJOB=3263584 IDBENCH=83986 IDSOLVER=1651 FILE ID=node141/3263584-1303545194 RUNJOBID= node141-1303545193-28506 PBS_JOBID= 13143097 Free space on /tmp= 71544 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT03/handmade/anton/UNSAT/SGI_30_60_29_30_6-dir.shuffled-as.sat03-130.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3263584-1303545194/watcher-3263584-1303545194 -o /tmp/evaluation-result-3263584-1303545194/solver-3263584-1303545194 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3263584-1303545194.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= e826117d87949a5b285e72732bfa395b RANDOM SEED=547184264 node141.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.806 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.61 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.806 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 : 5362.96 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.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.84 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 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.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 15365108 kB Buffers: 1622260 kB Cached: 15326556 kB SwapCached: 0 kB Active: 9435800 kB Inactive: 7578868 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 15365108 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 3700 kB Writeback: 0 kB AnonPages: 65832 kB Mapped: 14480 kB Slab: 507976 kB PageTables: 5980 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 190996 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= 71532 MiB End job on node141 at 2011-04-23 10:14:56