Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | ? (TO) | 1300 | 1300.01 |
Name | APPLICATIONS/diagnosis/ UR-20-10p1.cnf |
MD5SUM | 6ace5cfbe110f1a43049037cb7432998 |
Bench Category | APPLICATION (applications 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 | 259234 |
Number of clauses | 1387934 |
Sum of the clauses size | 3351923 |
Maximum clause length | 10 |
Minimum clause length | 1 |
Number of clauses of size 1 | 13149 |
Number of clauses of size 2 | 981661 |
Number of clauses of size 3 | 327764 |
Number of clauses of size 4 | 7260 |
Number of clauses of size 5 | 29040 |
Number of clauses of size over 5 | 29060 |
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.71 c ============================================================================== 0.00/0.71 c | | ORIGINAL | LEARNT | | 0.00/0.71 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.71 c ============================================================================== 0.00/0.71 c | 0 | 1373915 3337034 | 412174 0 0 nan | 0.000 % | 3.09/3.77 c | 0 | 959954 2694138 | -- 0 -- -- | -- | -111844/44415 3.09/3.77 c ============================================================================== 3.09/3.77 c Result : #vars: 137915 #clauses: 959954 #literals: 2694138 3.09/3.77 c CPU time: 3.65344 s 3.09/3.77 c ============================================================================== 4.29/4.30 c 4.29/4.30 c Starting glucose 4.29/4.30 c 10.87/10.96 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 10.87/10.96 c WARNING: for repeatability, setting FPU to use double precision 10.87/10.96 c ============================[ Problem Statistics ]============================= 10.87/10.96 c | | 10.87/10.96 c | Number of variables: 137915 | 10.87/10.96 c | Number of clauses: 959954 | 10.87/10.96 c | Parse time: 0.27 s | 10.87/10.96 c | | 10.87/10.96 c ============================[ Search Statistics ]============================== 10.87/10.96 c | Conflicts | ORIGINAL | LEARNT | Progress | 10.87/10.96 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 10.87/10.96 c =============================================================================== 10.87/10.96 c | 560 | 137717 959954 2694138 | 1 559 65 | 0.144 % | 10.87/10.96 c | 661 | 137717 959954 2694138 | 1 660 64 | 0.144 % | 10.87/10.96 c | 1431 | 137383 959954 2694138 | 1 1428 66 | 0.386 % | 10.87/10.96 c | 2458 | 133741 955967 2681589 | 1 2444 64 | 3.027 % | 10.87/10.96 c | 2609 | 133741 955967 2681589 | 1 2595 65 | 3.027 % | 10.87/10.96 c | 3363 | 131359 950309 2661088 | 1 3327 60 | 4.754 % | 10.87/10.96 c | 4090 | 130466 942688 2634018 | 1 2056 36 | 5.401 % | 10.87/10.96 c | 4302 | 130153 942688 2634018 | 1 2265 37 | 5.628 % | 10.87/10.96 c | 5819 | 129259 942688 2634018 | 1 3776 44 | 6.276 % | 10.87/10.96 c | 7208 | 129221 939856 2623838 | 1 5141 50 | 6.304 % | 10.87/10.96 c | 7832 | 128555 939856 2623838 | 1 5763 52 | 6.787 % | 10.87/10.96 c | 7933 | 128555 939774 2623528 | 1 5861 53 | 6.787 % | 10.87/10.96 c | 8316 | 127757 939774 2623528 | 1 6240 55 | 7.365 % | 10.87/10.96 c | 8418 | 127284 939774 2623528 | 1 6341 55 | 7.708 % | 10.87/10.96 c | 8518 | 127284 939774 2623528 | 1 6441 56 | 7.708 % | 10.87/10.96 c | 8652 | 127284 939774 2623528 | 1 6575 56 | 7.708 % | 10.87/10.96 c | 8752 | 127279 939774 2623528 | 1 6674 58 | 7.712 % | 10.87/10.96 c | 8930 | 127095 937525 2615757 | 1 6836 59 | 7.845 % | 10.87/10.96 c | 9702 | 127022 937525 2615757 | 1 7605 59 | 7.898 % | 10.87/10.96 c | 9981 | 127022 937525 2615757 | 1 7884 60 | 7.898 % | 10.87/10.96 c | 10166 | 127022 937525 2615757 | 1 8069 61 | 7.898 % | 10.87/10.96 c | 10268 | 127014 937280 2614850 | 1 8165 62 | 7.904 % | 10.87/10.96 c | 10369 | 126732 937280 2614850 | 1 8265 62 | 8.109 % | 10.87/10.96 c | 10512 | 126732 937280 2614850 | 1 8408 63 | 8.109 % | 10.87/10.96 c | 10648 | 126726 937280 2614850 | 1 4307 38 | 8.113 % | 10.87/10.96 c | 10748 | 126726 937280 2614850 | 1 4407 43 | 8.113 % | 10.87/10.96 c | 10849 | 126726 937280 2614850 | 1 4508 44 | 8.113 % | 10.87/10.96 c | 11184 | 126536 937280 2614850 | 1 4840 46 | 8.251 % | 10.87/10.96 c | 11532 | 126213 936882 2613370 | 1 5180 50 | 8.485 % | 10.87/10.96 c | 11769 | 126213 936882 2613370 | 1 5417 52 | 8.485 % | 10.87/10.96 c | 11869 | 126213 936882 2613370 | 1 5517 53 | 8.485 % | 10.87/10.96 c | 11969 | 126213 936882 2613370 | 1 5617 53 | 8.485 % | 10.87/10.96 c | 12385 | 126213 936882 2613370 | 1 6033 56 | 8.485 % | 10.87/10.96 c | 12721 | 126098 936882 2613370 | 1 6363 57 | 8.568 % | 10.87/10.96 c | 12936 | 123998 936778 2613015 | 1 6567 58 | 10.091 % | 10.87/10.96 c | 13103 | 123998 936778 2613015 | 1 6734 59 | 10.091 % | 10.87/10.96 c | 13651 | 123737 936778 2613015 | 1 7280 60 | 10.280 % | 10.87/10.96 c | 13751 | 123737 936778 2613015 | 1 7380 61 | 10.280 % | 10.87/10.96 c | 14233 | 123737 936778 2613015 | 1 7862 60 | 10.280 % | 21.28/21.36 c | 15874 | 122968 932486 2598187 | 1 9474 62 | 10.838 % | 21.28/21.36 c | 16186 | 122968 931304 2594311 | 1 9780 63 | 10.838 % | 21.28/21.36 c | 16837 | 122074 931304 2594311 | 1 10428 64 | 11.486 % | 21.28/21.36 c | 16991 | 121854 931304 2594311 | 1 10581 64 | 11.646 % | 21.28/21.36 c | 17843 | 120936 928165 2582876 | 1 11410 65 | 12.311 % | 21.28/21.36 c | 17946 | 120936 928165 2582876 | 1 11513 65 | 12.311 % | 21.28/21.36 c | 18046 | 120936 928165 2582876 | 1 11613 65 | 12.311 % | 21.28/21.36 c | 18146 | 120936 928165 2582876 | 1 11713 65 | 12.311 % | 21.28/21.36 c | 18247 | 120927 928165 2582876 | 1 11813 65 | 12.318 % | 21.28/21.36 c | 18677 | 120867 925255 2572570 | 1 12239 65 | 12.361 % | 21.28/21.36 c | 19015 | 119949 925255 2572570 | 1 12573 66 | 13.027 % | 21.28/21.36 c | 19391 | 119949 925255 2572570 | 1 12949 68 | 13.027 % | 21.28/21.36 c | 19491 | 119949 925255 2572570 | 1 13049 68 | 13.027 % | 21.28/21.36 c | 19591 | 119921 925030 2571833 | 1 13136 68 | 13.047 % | 21.28/21.36 c | 19791 | 119779 925030 2571833 | 1 13334 68 | 13.150 % | 21.28/21.36 c | 21484 | 119471 924414 2569863 | 1 8347 43 | 13.373 % | 21.28/21.36 c | 21877 | 119459 924414 2569863 | 1 8739 46 | 13.382 % | 21.28/21.36 c | 21978 | 119435 924414 2569863 | 1 8838 47 | 13.400 % | 21.28/21.36 c | 22723 | 119421 924003 2568400 | 1 9578 50 | 13.410 % | 21.28/21.36 c | 22893 | 119421 924003 2568400 | 1 9748 51 | 13.410 % | 21.28/21.36 c | 23964 | 118400 922058 2561257 | 1 10801 54 | 14.150 % | 21.28/21.36 c | 24285 | 118392 922058 2561257 | 1 11121 54 | 14.156 % | 21.28/21.36 c | 24429 | 118392 922058 2561257 | 1 11265 55 | 14.156 % | 21.28/21.36 c | 24529 | 118392 922058 2561257 | 1 11365 55 | 14.156 % | 21.28/21.36 c | 25067 | 118222 921975 2560968 | 1 11891 57 | 14.279 % | 21.28/21.36 c | 25178 | 118132 921975 2560968 | 1 11999 58 | 14.344 % | 21.28/21.36 c | 25278 | 118132 921975 2560968 | 1 12099 59 | 14.344 % | 21.28/21.36 c | 25378 | 118132 921975 2560968 | 1 12199 59 | 14.344 % | 21.28/21.36 c | 25481 | 118132 921975 2560968 | 1 12302 61 | 14.344 % | 21.28/21.36 c | 25581 | 118064 921975 2560968 | 1 12401 62 | 14.394 % | 21.28/21.36 c | 25682 | 118064 921400 2559149 | 1 12491 62 | 14.394 % | 21.28/21.36 c | 25787 | 118064 921400 2559149 | 1 12596 63 | 14.394 % | 21.28/21.36 c | 25965 | 118064 921400 2559149 | 1 12774 63 | 14.394 % | 21.28/21.36 c | 26340 | 118043 921400 2559149 | 1 13146 64 | 14.409 % | 21.28/21.36 c | 26825 | 117413 921050 2557981 | 1 13612 66 | 14.866 % | 21.28/21.36 c | 26926 | 117413 921050 2557981 | 1 13713 67 | 14.866 % | 21.28/21.36 c | 27042 | 117413 921050 2557981 | 1 13829 67 | 14.866 % | 21.28/21.36 c | 27145 | 117413 921050 2557981 | 1 13932 68 | 14.866 % | 21.28/21.36 c | 27245 | 117413 921050 2557981 | 1 14032 68 | 14.866 % | 21.28/21.36 c | 27345 | 117269 921050 2557981 | 1 14131 68 | 14.970 % | 21.28/21.36 c | 27515 | 117269 921050 2557981 | 1 14301 69 | 14.970 % | 21.28/21.36 c | 27841 | 117256 920708 2556715 | 1 14626 71 | 14.980 % | 21.28/21.36 c | 27942 | 117237 920708 2556715 | 1 14725 72 | 14.993 % | 21.28/21.36 c | 28044 | 117237 920708 2556715 | 1 14827 72 | 14.993 % | 21.28/21.36 c | 28144 | 117237 920708 2556715 | 1 14927 72 | 14.993 % | 21.28/21.36 c | 28245 | 117227 920583 2556276 | 1 15025 73 | 15.001 % | 21.28/21.36 c | 28345 | 117227 920583 2556276 | 1 15125 73 | 15.001 % | 21.28/21.36 c | 29142 | 117200 920583 2556276 | 1 15918 74 | 15.020 % | 21.28/21.36 c | 29246 | 117200 920583 2556276 | 1 16022 75 | 15.020 % | 21.28/21.36 c | 29346 | 117200 920583 2556276 | 1 16122 76 | 15.020 % | 32.07/32.14 c | 29446 | 117200 920583 2556276 | 1 16222 76 | 15.020 % | 32.07/32.14 c | 29650 | 117199 920583 2556276 | 1 16425 77 | 15.021 % | 32.07/32.14 c | 29750 | 117182 920461 2555870 | 1 16508 77 | 15.033 % | 32.07/32.14 c | 29971 | 117001 920461 2555870 | 1 16727 77 | 15.164 % | 32.07/32.14 c | 30071 | 117001 920461 2555870 | 1 16827 78 | 15.164 % | 32.07/32.14 c | 30243 | 116975 920461 2555870 | 1 16996 79 | 15.183 % | 32.07/32.14 c | 30344 | 116975 920461 2555870 | 1 17097 79 | 15.183 % | 32.07/32.14 c | 30872 | 116951 920461 2555870 | 1 17623 82 | 15.201 % | 32.07/32.14 c | 31025 | 116951 920200 2554984 | 1 17768 83 | 15.201 % | 32.07/32.14 c | 31126 | 116951 920200 2554984 | 1 17869 84 | 15.201 % | 32.07/32.14 c | 31686 | 116950 920200 2554984 | 1 9439 42 | 15.201 % | 32.07/32.14 c | 31994 | 116221 920144 2554792 | 1 9740 43 | 15.730 % | 32.07/32.14 c | 32094 | 116221 920144 2554792 | 1 9840 43 | 15.730 % | 32.07/32.14 c | 32455 | 116166 920144 2554792 | 1 10199 46 | 15.770 % | 32.07/32.14 c | 32556 | 116166 920144 2554792 | 1 10300 46 | 15.770 % | 32.07/32.14 c | 33255 | 116166 920144 2554792 | 1 10999 51 | 15.770 % | 32.07/32.14 c | 33420 | 116166 919355 2552400 | 1 11159 53 | 15.770 % | 32.07/32.14 c | 33924 | 116154 919355 2552400 | 1 11662 57 | 15.779 % | 32.07/32.14 c | 34403 | 116154 919355 2552400 | 1 12141 58 | 15.779 % | 32.07/32.14 c | 34503 | 116139 919314 2552247 | 1 12239 58 | 15.789 % | 32.07/32.14 c | 34603 | 116139 919314 2552247 | 1 12339 58 | 15.789 % | 32.07/32.14 c | 34704 | 116139 919314 2552247 | 1 12440 59 | 15.789 % | 32.07/32.14 c | 34939 | 116138 919314 2552247 | 1 12674 59 | 15.790 % | 32.07/32.14 c | 35316 | 116138 919314 2552247 | 1 13051 60 | 15.790 % | 32.07/32.14 c | 35675 | 116138 919314 2552247 | 1 13410 61 | 15.790 % | 32.07/32.14 c | 35780 | 116138 919314 2552247 | 1 13515 61 | 15.790 % | 32.07/32.14 c | 36010 | 116138 919314 2552247 | 1 13745 66 | 15.790 % | 32.07/32.14 c | 36248 | 116138 919253 2552040 | 1 13979 67 | 15.790 % | 32.07/32.14 c | 36533 | 116138 919253 2552040 | 1 14264 67 | 15.790 % | 32.07/32.14 c | 36633 | 116138 919253 2552040 | 1 14364 67 | 15.790 % | 32.07/32.14 c | 36811 | 116131 919253 2552040 | 1 14541 68 | 15.795 % | 32.07/32.14 c | 36912 | 116131 919253 2552040 | 1 14642 68 | 15.795 % | 32.07/32.14 c | 37048 | 116122 919253 2552040 | 1 14777 69 | 15.802 % | 32.07/32.14 c | 37444 | 116122 919253 2552040 | 1 15173 71 | 15.802 % | 32.07/32.14 c | 37544 | 116109 919221 2551916 | 1 15266 72 | 15.811 % | 32.07/32.14 c | 37645 | 116109 919221 2551916 | 1 15367 72 | 15.811 % | 32.07/32.14 c | 37752 | 116109 919221 2551916 | 1 15474 72 | 15.811 % | 32.07/32.14 c | 37853 | 116109 919221 2551916 | 1 15575 72 | 15.811 % | 32.07/32.14 c | 38358 | 116070 919221 2551916 | 1 16077 76 | 15.839 % | 32.07/32.14 c | 38460 | 116070 919221 2551916 | 1 16179 76 | 15.839 % | 32.07/32.14 c | 39092 | 115534 919092 2551433 | 1 16805 78 | 16.228 % | 32.07/32.14 c | 39757 | 114734 918587 2549918 | 1 17458 78 | 16.808 % | 32.07/32.14 c | 40218 | 114452 918587 2549918 | 1 17918 80 | 17.013 % | 32.07/32.14 c | 40318 | 114452 918587 2549918 | 1 18018 81 | 17.013 % | 32.07/32.14 c | 40419 | 114452 918587 2549918 | 1 18119 81 | 17.013 % | 32.07/32.14 c | 40543 | 114452 918587 2549918 | 1 18243 82 | 17.013 % | 32.07/32.14 c | 41063 | 114452 918587 2549918 | 1 18763 83 | 17.013 % | 32.07/32.14 c | 41456 | 114452 917834 2547211 | 1 19141 83 | 17.013 % | 32.07/32.14 c | 41610 | 114452 917834 2547211 | 1 19295 83 | 17.013 % | 32.07/32.14 c | 41951 | 114432 917834 2547211 | 1 19634 84 | 17.027 % | 45.67/45.74 c | 42297 | 114432 917834 2547211 | 1 19980 84 | 17.027 % | 45.67/45.74 c | 42654 | 114421 917834 2547211 | 1 20336 86 | 17.035 % | 45.67/45.74 c | 42754 | 114421 917834 2547211 | 1 20436 86 | 17.035 % | 45.67/45.74 c | 43482 | 114420 917740 2546897 | 1 21156 90 | 17.036 % | 45.67/45.74 c | 43883 | 114410 917740 2546897 | 1 21556 91 | 17.043 % | 45.67/45.74 c | 43985 | 114410 917698 2546755 | 1 21657 91 | 17.043 % | 45.67/45.74 c | 44086 | 114403 917698 2546755 | 1 21757 91 | 17.048 % | 45.67/45.74 c | 44604 | 114403 917698 2546755 | 1 22275 94 | 17.048 % | 45.67/45.74 c | 44875 | 114395 917698 2546755 | 1 22545 94 | 17.054 % | 45.67/45.74 c | 44975 | 114395 917698 2546755 | 1 22645 94 | 17.054 % | 45.67/45.74 c | 45080 | 114383 917698 2546755 | 1 22749 94 | 17.063 % | 45.67/45.74 c | 45437 | 114373 917698 2546755 | 1 23105 98 | 17.070 % | 45.67/45.74 c | 45538 | 114372 917541 2546235 | 1 23198 98 | 17.071 % | 45.67/45.74 c | 45891 | 114254 917541 2546235 | 1 23545 98 | 17.156 % | 45.67/45.74 c | 46241 | 114232 917541 2546235 | 1 12702 46 | 17.172 % | 45.67/45.74 c | 46570 | 114232 917541 2546235 | 1 13031 49 | 17.172 % | 45.67/45.74 c | 46670 | 114232 917541 2546235 | 1 13131 50 | 17.172 % | 45.67/45.74 c | 46785 | 114232 917541 2546235 | 1 13246 52 | 17.172 % | 45.67/45.74 c | 46885 | 114232 917541 2546235 | 1 13346 52 | 17.172 % | 45.67/45.74 c | 46995 | 114231 917222 2545150 | 1 13427 53 | 17.173 % | 45.67/45.74 c | 47347 | 114231 917222 2545150 | 1 13779 60 | 17.173 % | 45.67/45.74 c | 47483 | 114230 917222 2545150 | 1 13914 60 | 17.174 % | 45.67/45.74 c | 47656 | 114220 917222 2545150 | 1 14086 60 | 17.181 % | 45.67/45.74 c | 47783 | 114220 917222 2545150 | 1 14213 61 | 17.181 % | 45.67/45.74 c | 47883 | 114220 917222 2545150 | 1 14313 61 | 17.181 % | 45.67/45.74 c | 47983 | 114220 917222 2545150 | 1 14413 61 | 17.181 % | 45.67/45.74 c | 48189 | 114219 917222 2545150 | 1 14618 64 | 17.182 % | 45.67/45.74 c | 48469 | 114219 917222 2545150 | 1 14898 65 | 17.182 % | 45.67/45.74 c | 48622 | 114039 917186 2545025 | 1 15045 66 | 17.312 % | 45.67/45.74 c | 48724 | 114039 917186 2545025 | 1 15147 67 | 17.312 % | 45.67/45.74 c | 49785 | 114039 917186 2545025 | 1 16208 70 | 17.312 % | 45.67/45.74 c | 50141 | 114039 917186 2545025 | 1 16564 78 | 17.312 % | 45.67/45.74 c | 50496 | 113997 916633 2543366 | 1 16914 81 | 17.343 % | 45.67/45.74 c | 50596 | 113996 916633 2543366 | 1 17013 81 | 17.343 % | 45.67/45.74 c | 50875 | 113982 916633 2543366 | 1 17291 83 | 17.353 % | 45.67/45.74 c | 50976 | 113982 916633 2543366 | 1 17392 83 | 17.353 % | 45.67/45.74 c | 51486 | 113807 915911 2540686 | 1 17885 85 | 17.480 % | 45.67/45.74 c | 51586 | 113807 915911 2540686 | 1 17985 86 | 17.480 % | 45.67/45.74 c | 51686 | 113807 915911 2540686 | 1 18085 86 | 17.480 % | 45.67/45.74 c | 51787 | 113807 915911 2540686 | 1 18186 86 | 17.480 % | 45.67/45.74 c | 52073 | 113807 915911 2540686 | 1 18472 87 | 17.480 % | 45.67/45.74 c | 52857 | 113516 915501 2539418 | 1 19239 89 | 17.691 % | 45.67/45.74 c | 52958 | 113516 915501 2539418 | 1 19340 89 | 17.691 % | 45.67/45.74 c | 53075 | 113516 915501 2539418 | 1 19457 89 | 17.691 % | 45.67/45.74 c | 53415 | 113365 915501 2539418 | 1 19795 89 | 17.801 % | 45.67/45.74 c | 53515 | 113365 914743 2536868 | 1 19892 91 | 17.801 % | 45.67/45.74 c | 53617 | 113365 914743 2536868 | 1 19994 91 | 17.801 % | 45.67/45.74 c | 54998 | 113250 914743 2536868 | 1 21374 104 | 17.884 % | 45.67/45.74 c | 55099 | 113250 914293 2535478 | 1 21409 105 | 17.884 % | 45.67/45.74 c | 55199 | 113250 914293 2535478 | 1 21509 106 | 17.884 % | 56.07/56.19 c | 55300 | 113250 914293 2535478 | 1 21610 107 | 17.884 % | 56.07/56.19 c | 55401 | 113170 914293 2535478 | 1 21710 107 | 17.942 % | 56.07/56.19 c | 55654 | 113170 914293 2535478 | 1 21963 110 | 17.942 % | 56.07/56.19 c | 55754 | 113170 914293 2535478 | 1 22063 110 | 17.942 % | 56.07/56.19 c | 56108 | 113170 914293 2535478 | 1 22417 110 | 17.942 % | 56.07/56.19 c | 56213 | 113170 914293 2535478 | 1 22522 111 | 17.942 % | 56.07/56.19 c | 56313 | 113170 914059 2534632 | 1 22621 111 | 17.942 % | 56.07/56.19 c | 56479 | 113170 914059 2534632 | 1 22787 111 | 17.942 % | 56.07/56.19 c | 56580 | 113170 914059 2534632 | 1 22888 112 | 17.942 % | 56.07/56.19 c | 56708 | 113170 914059 2534632 | 1 23016 112 | 17.942 % | 56.07/56.19 c | 56808 | 113170 914059 2534632 | 1 23116 112 | 17.942 % | 56.07/56.19 c | 56908 | 113170 914059 2534632 | 1 23216 113 | 17.942 % | 56.07/56.19 c | 57326 | 113170 914059 2534632 | 1 23634 113 | 17.942 % | 56.07/56.19 c | 57511 | 113170 914059 2534632 | 1 23819 114 | 17.942 % | 56.07/56.19 c | 57611 | 113170 914059 2534632 | 1 23919 115 | 17.942 % | 56.07/56.19 c | 57734 | 113170 914059 2534632 | 1 24042 115 | 17.942 % | 56.07/56.19 c | 57834 | 113164 914057 2534615 | 1 24141 115 | 17.947 % | 56.07/56.19 c | 58437 | 113151 914057 2534615 | 1 24742 118 | 17.956 % | 56.07/56.19 c | 58864 | 113151 914057 2534615 | 1 25169 121 | 17.956 % | 56.07/56.19 c | 58965 | 113151 914057 2534615 | 1 25270 121 | 17.956 % | 56.07/56.19 c | 59120 | 113151 914057 2534615 | 1 25425 122 | 17.956 % | 56.07/56.19 c | 59281 | 113144 914021 2534463 | 1 25581 122 | 17.961 % | 56.07/56.19 c | 59381 | 113144 914021 2534463 | 1 25681 122 | 17.961 % | 56.07/56.19 c | 59530 | 113144 914021 2534463 | 1 25830 122 | 17.961 % | 56.07/56.19 c | 59631 | 113144 914021 2534463 | 1 25931 123 | 17.961 % | 56.07/56.19 c | 59732 | 113131 914021 2534463 | 1 26031 123 | 17.970 % | 56.07/56.19 c | 60043 | 113125 914021 2534463 | 1 26341 124 | 17.975 % | 56.07/56.19 c | 60143 | 113115 914021 2534463 | 1 26439 124 | 17.982 % | 56.07/56.19 c | 60445 | 113115 914021 2534463 | 1 26741 124 | 17.982 % | 56.07/56.19 c | 60547 | 113115 914021 2534463 | 1 26843 124 | 17.982 % | 56.07/56.19 c | 60647 | 113115 914021 2534463 | 1 26943 125 | 17.982 % | 56.07/56.19 c | 60748 | 113115 914021 2534463 | 1 27044 126 | 17.982 % | 56.07/56.19 c | 60849 | 113089 913876 2533968 | 1 27131 126 | 18.001 % | 56.07/56.19 c | 61847 | 113055 913876 2533968 | 1 28128 128 | 18.026 % | 56.07/56.19 c | 61947 | 112946 913876 2533968 | 1 28227 128 | 18.105 % | 56.07/56.19 c | 62273 | 112884 913876 2533968 | 1 28551 128 | 18.150 % | 56.07/56.19 c | 62560 | 112884 913876 2533968 | 1 28838 130 | 18.150 % | 56.07/56.19 c | 62820 | 112689 913442 2532560 | 1 29045 130 | 18.291 % | 56.07/56.19 c | 62937 | 112689 913442 2532560 | 1 29162 131 | 18.291 % | 56.07/56.19 c | 63038 | 112661 913442 2532560 | 1 15397 54 | 18.311 % | 56.07/56.19 c | 63345 | 112625 913442 2532560 | 1 15703 57 | 18.337 % | 56.07/56.19 c | 63447 | 112625 913442 2532560 | 1 15805 57 | 18.337 % | 56.07/56.19 c | 63830 | 112625 913442 2532560 | 1 16188 58 | 18.337 % | 56.07/56.19 c | 63973 | 112625 913442 2532560 | 1 16331 58 | 18.337 % | 56.07/56.19 c | 64075 | 112625 913442 2532560 | 1 16433 60 | 18.337 % | 56.07/56.19 c | 64364 | 112624 913442 2532560 | 1 16721 61 | 18.338 % | 56.07/56.19 c | 64464 | 112624 913442 2532560 | 1 16821 62 | 18.338 % | 56.07/56.19 c | 64564 | 112624 913442 2532560 | 1 16921 62 | 18.338 % | 56.07/56.19 c | 64870 | 112624 913442 2532560 | 1 17227 63 | 18.338 % | 56.07/56.19 c | 64970 | 112624 912814 2530550 | 1 17314 64 | 18.338 % | 68.77/68.84 c | 65070 | 112624 912814 2530550 | 1 17414 65 | 18.338 % | 68.77/68.84 c | 65170 | 112624 912814 2530550 | 1 17514 66 | 18.338 % | 68.77/68.84 c | 65634 | 112624 912814 2530550 | 1 17978 66 | 18.338 % | 68.77/68.84 c | 65990 | 112624 912814 2530550 | 1 18334 70 | 18.338 % | 68.77/68.84 c | 66419 | 112610 912769 2530385 | 1 18762 74 | 18.348 % | 68.77/68.84 c | 66519 | 112598 912769 2530385 | 1 18861 75 | 18.357 % | 68.77/68.84 c | 66811 | 112598 912769 2530385 | 1 19153 79 | 18.357 % | 68.77/68.84 c | 66913 | 112598 912769 2530385 | 1 19255 79 | 18.357 % | 68.77/68.84 c | 67054 | 112598 912769 2530385 | 1 19396 80 | 18.357 % | 68.77/68.84 c | 67154 | 112598 912769 2530385 | 1 19496 81 | 18.357 % | 68.77/68.84 c | 67499 | 112598 912769 2530385 | 1 19841 82 | 18.357 % | 68.77/68.84 c | 67600 | 112568 912724 2530218 | 1 19939 83 | 18.379 % | 68.77/68.84 c | 67939 | 112562 912724 2530218 | 1 20277 85 | 18.383 % | 68.77/68.84 c | 68133 | 112562 912724 2530218 | 1 20471 85 | 18.383 % | 68.77/68.84 c | 68233 | 112562 912724 2530218 | 1 20571 86 | 18.383 % | 68.77/68.84 c | 68812 | 112561 912724 2530218 | 1 21149 89 | 18.384 % | 68.77/68.84 c | 70133 | 112546 912643 2529934 | 1 22462 91 | 18.395 % | 68.77/68.84 c | 70233 | 112546 912643 2529934 | 1 22562 91 | 18.395 % | 68.77/68.84 c | 70334 | 112546 912643 2529934 | 1 22663 91 | 18.395 % | 68.77/68.84 c | 70435 | 112545 912643 2529934 | 1 22763 91 | 18.395 % | 68.77/68.84 c | 70989 | 112545 912643 2529934 | 1 23317 98 | 18.395 % | 68.77/68.84 c | 71089 | 112545 912602 2529779 | 1 23413 98 | 18.395 % | 68.77/68.84 c | 71193 | 112545 912602 2529779 | 1 23517 98 | 18.395 % | 68.77/68.84 c | 72717 | 112536 912602 2529779 | 1 25040 100 | 18.402 % | 68.77/68.84 c | 73232 | 112518 912486 2529406 | 1 25532 102 | 18.415 % | 68.77/68.84 c | 73333 | 112508 912486 2529406 | 1 25632 102 | 18.422 % | 68.77/68.84 c | 73896 | 112507 912486 2529406 | 1 26194 105 | 18.423 % | 68.77/68.84 c | 74002 | 112506 912486 2529406 | 1 26299 105 | 18.424 % | 68.77/68.84 c | 74318 | 112506 912486 2529406 | 1 26615 106 | 18.424 % | 68.77/68.84 c | 74418 | 112506 912486 2529406 | 1 26715 107 | 18.424 % | 68.77/68.84 c | 74518 | 112496 912486 2529406 | 1 26814 107 | 18.431 % | 68.77/68.84 c | 74618 | 112496 912486 2529406 | 1 26914 109 | 18.431 % | 68.77/68.84 c | 74718 | 112496 912352 2528944 | 1 27014 109 | 18.431 % | 68.77/68.84 c | 74864 | 112496 912352 2528944 | 1 27160 109 | 18.431 % | 68.77/68.84 c | 74967 | 112496 912352 2528944 | 1 27263 110 | 18.431 % | 68.77/68.84 c | 75102 | 112496 912352 2528944 | 1 27398 110 | 18.431 % | 68.77/68.84 c | 75359 | 112496 912352 2528944 | 1 27655 111 | 18.431 % | 68.77/68.84 c | 75459 | 112496 912352 2528944 | 1 27755 112 | 18.431 % | 68.77/68.84 c | 75638 | 112491 912352 2528944 | 1 27933 112 | 18.435 % | 68.77/68.84 c | 75738 | 112491 912352 2528944 | 1 28033 112 | 18.435 % | 68.77/68.84 c | 75898 | 112491 912352 2528944 | 1 28193 113 | 18.435 % | 68.77/68.84 c | 76372 | 112491 912352 2528944 | 1 28667 114 | 18.435 % | 68.77/68.84 c | 76472 | 112482 912347 2528929 | 1 28766 114 | 18.441 % | 68.77/68.84 c | 76637 | 112481 912347 2528929 | 1 28930 113 | 18.442 % | 68.77/68.84 c | 76817 | 112481 912347 2528929 | 1 29110 114 | 18.442 % | 68.77/68.84 c | 76919 | 112481 912347 2528929 | 1 29212 115 | 18.442 % | 68.77/68.84 c | 77022 | 112481 912347 2528929 | 1 29315 115 | 18.442 % | 68.77/68.84 c | 77158 | 112481 912347 2528929 | 1 29451 116 | 18.442 % | 68.77/68.84 c | 77258 | 112481 912347 2528929 | 1 29551 116 | 18.442 % | 68.77/68.84 c | 77429 | 112410 912347 2528929 | 1 29721 116 | 18.493 % | 81.88/81.95 c | 77529 | 112410 912347 2528929 | 1 29821 117 | 18.493 % | 81.88/81.95 c | 77750 | 112409 912347 2528929 | 1 30041 117 | 18.494 % | 81.88/81.95 c | 77852 | 112409 912347 2528929 | 1 30143 117 | 18.494 % | 81.88/81.95 c | 77953 | 112409 912347 2528929 | 1 30244 117 | 18.494 % | 81.88/81.95 c | 78488 | 112396 912100 2528166 | 1 30777 119 | 18.503 % | 81.88/81.95 c | 78672 | 112396 912100 2528166 | 1 30961 120 | 18.503 % | 81.88/81.95 c | 78772 | 112298 912100 2528166 | 1 31060 120 | 18.574 % | 81.88/81.95 c | 78872 | 112298 912100 2528166 | 1 31160 121 | 18.574 % | 81.88/81.95 c | 78973 | 112288 912100 2528166 | 1 31260 121 | 18.582 % | 81.88/81.95 c | 79130 | 112287 912100 2528166 | 1 31416 122 | 18.582 % | 81.88/81.95 c | 79230 | 112287 912100 2528166 | 1 31516 122 | 18.582 % | 81.88/81.95 c | 79388 | 112287 912100 2528166 | 1 31674 123 | 18.582 % | 81.88/81.95 c | 80369 | 111636 912100 2528166 | 1 32652 125 | 19.054 % | 81.88/81.95 c | 80472 | 111636 911479 2526241 | 1 32745 125 | 19.054 % | 81.88/81.95 c | 80608 | 111636 911479 2526241 | 1 32881 126 | 19.054 % | 81.88/81.95 c | 80710 | 111636 911479 2526241 | 1 32983 127 | 19.054 % | 81.88/81.95 c | 80853 | 111636 911479 2526241 | 1 33126 127 | 19.054 % | 81.88/81.95 c | 81304 | 111626 911479 2526241 | 1 33576 127 | 19.062 % | 81.88/81.95 c | 81404 | 111626 911479 2526241 | 1 33676 127 | 19.062 % | 81.88/81.95 c | 81523 | 111626 911479 2526241 | 1 33795 128 | 19.062 % | 81.88/81.95 c | 82225 | 111626 911479 2526241 | 1 34497 133 | 19.062 % | 81.88/81.95 c | 82325 | 111606 911441 2526110 | 1 34593 133 | 19.076 % | 81.88/81.95 c | 82426 | 111606 911441 2526110 | 1 34694 134 | 19.076 % | 81.88/81.95 c | 82562 | 111606 911441 2526110 | 1 34830 134 | 19.076 % | 81.88/81.95 c | 82662 | 111606 911441 2526110 | 1 18908 54 | 19.076 % | 81.88/81.95 c | 83067 | 111585 911441 2526110 | 1 19311 57 | 19.091 % | 81.88/81.95 c | 83211 | 111585 911441 2526110 | 1 19455 57 | 19.091 % | 81.88/81.95 c | 83659 | 111585 911441 2526110 | 1 19903 59 | 19.091 % | 81.88/81.95 c | 83947 | 111576 911441 2526110 | 1 20189 62 | 19.098 % | 81.88/81.95 c | 84363 | 111244 909315 2518706 | 1 20566 64 | 19.339 % | 81.88/81.95 c | 84530 | 111244 909315 2518706 | 1 20733 65 | 19.339 % | 81.88/81.95 c | 84879 | 111218 909315 2518706 | 1 21080 66 | 19.358 % | 81.88/81.95 c | 84979 | 111218 909315 2518706 | 1 21180 67 | 19.358 % | 81.88/81.95 c | 85083 | 111218 909315 2518706 | 1 21284 68 | 19.358 % | 81.88/81.95 c | 85193 | 111218 909315 2518706 | 1 21394 68 | 19.358 % | 81.88/81.95 c | 85465 | 111213 909199 2518315 | 1 21652 69 | 19.361 % | 81.88/81.95 c | 85776 | 111213 909199 2518315 | 1 21963 72 | 19.361 % | 81.88/81.95 c | 85877 | 111213 909199 2518315 | 1 22064 72 | 19.361 % | 81.88/81.95 c | 86333 | 111213 909199 2518315 | 1 22520 76 | 19.361 % | 81.88/81.95 c | 87456 | 111212 909199 2518315 | 1 23642 77 | 19.362 % | 81.88/81.95 c | 87556 | 111212 909199 2518315 | 1 23742 78 | 19.362 % | 81.88/81.95 c | 87656 | 111212 909199 2518315 | 1 23842 79 | 19.362 % | 81.88/81.95 c | 88008 | 111212 909199 2518315 | 1 24194 80 | 19.362 % | 81.88/81.95 c | 88133 | 111212 909199 2518315 | 1 24319 81 | 19.362 % | 81.88/81.95 c | 88233 | 111212 909199 2518315 | 1 24419 81 | 19.362 % | 81.88/81.95 c | 88755 | 111212 909199 2518315 | 1 24941 84 | 19.362 % | 81.88/81.95 c | 88908 | 111212 909199 2518315 | 1 25094 85 | 19.362 % | 81.88/81.95 c | 89012 | 111212 909199 2518315 | 1 25198 86 | 19.362 % | 81.88/81.95 c | 89131 | 111212 909199 2518315 | 1 25317 86 | 19.362 % | 94.98/95.08 c | 89339 | 111212 909199 2518315 | 1 25525 88 | 19.362 % | 94.98/95.08 c | 89547 | 111201 909160 2518168 | 1 25732 89 | 19.370 % | 94.98/95.08 c | 89650 | 111201 909160 2518168 | 1 25835 89 | 19.370 % | 94.98/95.08 c | 89768 | 111201 909160 2518168 | 1 25953 90 | 19.370 % | 94.98/95.08 c | 89963 | 111201 909160 2518168 | 1 26148 90 | 19.370 % | 94.98/95.08 c | 90205 | 111201 909160 2518168 | 1 26390 91 | 19.370 % | 94.98/95.08 c | 90309 | 111201 909160 2518168 | 1 26494 91 | 19.370 % | 94.98/95.08 c | 90473 | 111201 909160 2518168 | 1 26658 92 | 19.370 % | 94.98/95.08 c | 90573 | 111200 909160 2518168 | 1 26757 93 | 19.371 % | 94.98/95.08 c | 90676 | 111200 909160 2518168 | 1 26860 93 | 19.371 % | 94.98/95.08 c | 90777 | 111200 909160 2518168 | 1 26961 93 | 19.371 % | 94.98/95.08 c | 90916 | 111188 909160 2518168 | 1 27099 95 | 19.379 % | 94.98/95.08 c | 91239 | 110880 909094 2517938 | 1 27421 96 | 19.603 % | 94.98/95.08 c | 91628 | 110792 909094 2517938 | 1 27808 97 | 19.666 % | 94.98/95.08 c | 91728 | 110781 909094 2517938 | 1 27906 97 | 19.674 % | 94.98/95.08 c | 92065 | 110781 909094 2517938 | 1 28243 98 | 19.674 % | 94.98/95.08 c | 92177 | 110781 909094 2517938 | 1 28355 99 | 19.674 % | 94.98/95.08 c | 92277 | 110781 909094 2517938 | 1 28455 99 | 19.674 % | 94.98/95.08 c | 92440 | 110767 908174 2514668 | 1 28610 99 | 19.685 % | 94.98/95.08 c | 92568 | 110767 908174 2514668 | 1 28738 100 | 19.685 % | 94.98/95.08 c | 92670 | 110767 908174 2514668 | 1 28840 101 | 19.685 % | 94.98/95.08 c | 92816 | 110767 908174 2514668 | 1 28986 101 | 19.685 % | 94.98/95.08 c | 93325 | 110760 908174 2514668 | 1 29494 102 | 19.690 % | 94.98/95.08 c | 93466 | 110760 908174 2514668 | 1 29635 103 | 19.690 % | 94.98/95.08 c | 94248 | 110760 908091 2514394 | 1 30407 107 | 19.690 % | 94.98/95.08 c | 94371 | 110758 908091 2514394 | 1 30529 108 | 19.691 % | 94.98/95.08 c | 94472 | 110758 908091 2514394 | 1 30630 109 | 19.691 % | 94.98/95.08 c | 94579 | 110758 908089 2514376 | 1 30737 109 | 19.691 % | 94.98/95.08 c | 95091 | 110758 908089 2514376 | 1 31249 110 | 19.691 % | 94.98/95.08 c | 95229 | 110758 908089 2514376 | 1 31387 111 | 19.691 % | 94.98/95.08 c | 95827 | 110738 908046 2514204 | 1 31978 114 | 19.706 % | 94.98/95.08 c | 96026 | 110737 908046 2514204 | 1 32176 114 | 19.706 % | 94.98/95.08 c | 96129 | 110737 908046 2514204 | 1 32279 115 | 19.706 % | 94.98/95.08 c | 96229 | 110737 908046 2514204 | 1 32379 115 | 19.706 % | 94.98/95.08 c | 96601 | 110737 908046 2514204 | 1 32751 114 | 19.706 % | 94.98/95.08 c | 96752 | 110737 908046 2514204 | 1 32902 116 | 19.706 % | 94.98/95.08 c | 96852 | 110737 908046 2514204 | 1 33002 116 | 19.706 % | 94.98/95.08 c | 96952 | 110737 908046 2514204 | 1 33102 117 | 19.706 % | 94.98/95.08 c | 97057 | 110737 908046 2514204 | 1 33207 117 | 19.706 % | 94.98/95.08 c | 97161 | 110737 908046 2514204 | 1 33311 118 | 19.706 % | 94.98/95.08 c | 97263 | 110737 908046 2514204 | 1 33413 119 | 19.706 % | 94.98/95.08 c | 97363 | 110733 908046 2514204 | 1 33512 119 | 19.709 % | 94.98/95.08 c | 98160 | 110651 907765 2513205 | 1 34302 120 | 19.769 % | 94.98/95.08 c | 98261 | 110641 907765 2513205 | 1 34402 119 | 19.776 % | 94.98/95.08 c | 98361 | 110641 907765 2513205 | 1 34502 119 | 19.776 % | 94.98/95.08 c | 98466 | 110640 907765 2513205 | 1 34606 119 | 19.777 % | 94.98/95.08 c | 98566 | 110638 907765 2513205 | 1 34704 119 | 19.778 % | 94.98/95.08 c | 98757 | 110638 907765 2513205 | 1 34895 121 | 19.778 % | 94.98/95.08 c | 98858 | 110638 907765 2513205 | 1 34996 122 | 19.778 % | 94.98/95.08 c | 98959 | 110638 907765 2513205 | 1 35097 123 | 19.778 % | 111.38/111.44 c | 99059 | 110638 907765 2513205 | 1 35197 123 | 19.778 % | 111.38/111.44 c | 99160 | 110542 907765 2513205 | 1 35297 124 | 19.848 % | 111.38/111.44 c | 99291 | 110533 907765 2513205 | 1 35427 124 | 19.854 % | 111.38/111.44 c | 99421 | 110533 907765 2513205 | 1 35557 124 | 19.854 % | 111.38/111.44 c | 99549 | 110533 907765 2513205 | 1 35685 125 | 19.854 % | 111.38/111.44 c | 99765 | 110530 907690 2512939 | 1 35892 125 | 19.856 % | 111.38/111.44 c | 99865 | 110530 907690 2512939 | 1 35992 125 | 19.856 % | 111.38/111.44 c | 100372 | 110517 907690 2512939 | 1 36498 128 | 19.866 % | 111.38/111.44 c | 100572 | 110517 907690 2512939 | 1 36698 129 | 19.866 % | 111.38/111.44 c | 100973 | 110517 907690 2512939 | 1 37099 130 | 19.866 % | 111.38/111.44 c | 101452 | 110516 907638 2512742 | 1 37573 130 | 19.867 % | 111.38/111.44 c | 101552 | 110516 907638 2512742 | 1 37673 131 | 19.867 % | 111.38/111.44 c | 101652 | 110516 907638 2512742 | 1 37773 131 | 19.867 % | 111.38/111.44 c | 101752 | 110516 907638 2512742 | 1 37873 131 | 19.867 % | 111.38/111.44 c | 101852 | 110516 907638 2512742 | 1 37973 131 | 19.867 % | 111.38/111.44 c | 101952 | 110516 907638 2512742 | 1 38073 132 | 19.867 % | 111.38/111.44 c | 102052 | 110516 907638 2512742 | 1 38173 132 | 19.867 % | 111.38/111.44 c | 103194 | 110511 907638 2512742 | 1 39314 135 | 19.870 % | 111.38/111.44 c | 103297 | 110511 907638 2512742 | 1 39417 135 | 19.870 % | 111.38/111.44 c | 103397 | 110511 907638 2512742 | 1 39517 136 | 19.870 % | 111.38/111.44 c | 103499 | 110490 907637 2512739 | 1 39616 136 | 19.885 % | 111.38/111.44 c | 103601 | 110490 907637 2512739 | 1 39718 137 | 19.885 % | 111.38/111.44 c | 103786 | 110490 907637 2512739 | 1 39903 137 | 19.885 % | 111.38/111.44 c | 103887 | 110490 907637 2512739 | 1 40004 137 | 19.885 % | 111.38/111.44 c | 104028 | 110490 907637 2512739 | 1 40145 137 | 19.885 % | 111.38/111.44 c | 104186 | 110490 907637 2512739 | 1 40303 138 | 19.885 % | 111.38/111.44 c | 104286 | 110485 907637 2512739 | 1 40402 138 | 19.889 % | 111.38/111.44 c | 104386 | 110485 907637 2512739 | 1 40502 138 | 19.889 % | 111.38/111.44 c | 104486 | 110471 907637 2512739 | 1 40601 138 | 19.899 % | 111.38/111.44 c | 104630 | 110471 907637 2512739 | 1 40745 139 | 19.899 % | 111.38/111.44 c | 104732 | 110471 907637 2512739 | 1 40847 139 | 19.899 % | 111.38/111.44 c | 104832 | 110471 907637 2512739 | 1 22216 52 | 19.899 % | 111.38/111.44 c | 105606 | 110456 907637 2512739 | 1 22988 62 | 19.910 % | 111.38/111.44 c | 105706 | 110456 907485 2512189 | 1 23072 63 | 19.910 % | 111.38/111.44 c | 106006 | 109964 907485 2512189 | 1 23369 66 | 20.267 % | 111.38/111.44 c | 106106 | 109964 907485 2512189 | 1 23469 67 | 20.267 % | 111.38/111.44 c | 106299 | 109964 907485 2512189 | 1 23662 68 | 20.267 % | 111.38/111.44 c | 107555 | 109957 907485 2512189 | 1 24917 84 | 20.272 % | 111.38/111.44 c | 107657 | 109957 905833 2506889 | 1 24919 85 | 20.272 % | 111.38/111.44 c | 107757 | 109945 905833 2506889 | 1 25018 85 | 20.281 % | 111.38/111.44 c | 108206 | 109914 905833 2506889 | 1 25466 86 | 20.303 % | 111.38/111.44 c | 108459 | 109914 905833 2506889 | 1 25719 87 | 20.303 % | 111.38/111.44 c | 108559 | 109914 905833 2506889 | 1 25819 88 | 20.303 % | 111.38/111.44 c | 109019 | 109906 905685 2506405 | 1 26269 92 | 20.309 % | 111.38/111.44 c | 109119 | 109906 905685 2506405 | 1 26369 92 | 20.309 % | 111.38/111.44 c | 109220 | 109906 905685 2506405 | 1 26470 93 | 20.309 % | 111.38/111.44 c | 109324 | 109906 905685 2506405 | 1 26574 93 | 20.309 % | 111.38/111.44 c | 109431 | 109906 905685 2506405 | 1 26681 93 | 20.309 % | 111.38/111.44 c | 109874 | 109801 905685 2506405 | 1 27123 100 | 20.385 % | 111.38/111.44 c | 109974 | 109801 905685 2506405 | 1 27223 100 | 20.385 % | 123.17/123.26 c | 110128 | 109788 905685 2506405 | 1 27376 101 | 20.394 % | 123.17/123.26 c | 110228 | 109788 905354 2505382 | 1 27460 102 | 20.394 % | 123.17/123.26 c | 110328 | 109788 905354 2505382 | 1 27560 102 | 20.394 % | 123.17/123.26 c | 110429 | 109788 905354 2505382 | 1 27661 103 | 20.394 % | 123.17/123.26 c | 110646 | 109788 905354 2505382 | 1 27878 105 | 20.394 % | 123.17/123.26 c | 110746 | 109788 905354 2505382 | 1 27978 106 | 20.394 % | 123.17/123.26 c | 110847 | 109788 905354 2505382 | 1 28079 106 | 20.394 % | 123.17/123.26 c | 110964 | 109788 905354 2505382 | 1 28196 107 | 20.394 % | 123.17/123.26 c | 111083 | 109788 905354 2505382 | 1 28315 107 | 20.394 % | 123.17/123.26 c | 111183 | 109788 905354 2505382 | 1 28415 108 | 20.394 % | 123.17/123.26 c | 111284 | 109788 905354 2505382 | 1 28516 108 | 20.394 % | 123.17/123.26 c | 111834 | 109742 905129 2504683 | 1 29059 110 | 20.428 % | 123.17/123.26 c | 111936 | 109742 905129 2504683 | 1 29161 111 | 20.428 % | 123.17/123.26 c | 112036 | 109742 905129 2504683 | 1 29261 110 | 20.428 % | 123.17/123.26 c | 112136 | 109742 905129 2504683 | 1 29361 111 | 20.428 % | 123.17/123.26 c | 112236 | 109737 905129 2504683 | 1 29460 111 | 20.431 % | 123.17/123.26 c | 112424 | 109737 905129 2504683 | 1 29648 110 | 20.431 % | 123.17/123.26 c | 112524 | 109737 905129 2504683 | 1 29748 110 | 20.431 % | 123.17/123.26 c | 112628 | 109726 905129 2504683 | 1 29851 110 | 20.439 % | 123.17/123.26 c | 112729 | 109726 905129 2504683 | 1 29952 111 | 20.439 % | 123.17/123.26 c | 112829 | 109714 905129 2504683 | 1 30051 110 | 20.448 % | 123.17/123.26 c | 113035 | 109714 905129 2504683 | 1 30257 110 | 20.448 % | 123.17/123.26 c | 113962 | 109133 897795 2482561 | 1 28815 108 | 20.869 % | 123.17/123.26 c | 114062 | 109133 897795 2482561 | 1 28915 109 | 20.869 % | 123.17/123.26 c | 114276 | 109133 897795 2482561 | 1 29129 109 | 20.869 % | 123.17/123.26 c | 114376 | 109133 897795 2482561 | 1 29229 110 | 20.869 % | 123.17/123.26 c | 114479 | 109133 897795 2482561 | 1 29332 110 | 20.869 % | 123.17/123.26 c | 114579 | 109133 897795 2482561 | 1 29432 111 | 20.869 % | 123.17/123.26 c | 115198 | 109133 897795 2482561 | 1 30051 113 | 20.869 % | 123.17/123.26 c | 115301 | 109133 897795 2482561 | 1 30153 114 | 20.869 % | 123.17/123.26 c | 115403 | 109133 897795 2482561 | 1 30255 116 | 20.869 % | 123.17/123.26 c | 115504 | 109133 897795 2482561 | 1 30356 116 | 20.869 % | 123.17/123.26 c | 115604 | 109133 897795 2482561 | 1 30456 117 | 20.869 % | 123.17/123.26 c | 115959 | 109131 897795 2482561 | 1 30810 118 | 20.871 % | 123.17/123.26 c | 116060 | 109131 897795 2482561 | 1 30911 118 | 20.871 % | 123.17/123.26 c | 116445 | 109131 897795 2482561 | 1 31296 119 | 20.871 % | 123.17/123.26 c | 116582 | 109131 897795 2482561 | 1 31433 119 | 20.871 % | 123.17/123.26 c | 116682 | 109131 897793 2482544 | 1 31533 119 | 20.871 % | 123.17/123.26 c | 116833 | 109042 897793 2482544 | 1 31682 120 | 20.935 % | 123.17/123.26 c | 116933 | 109042 897793 2482544 | 1 31782 121 | 20.935 % | 123.17/123.26 c | 117033 | 109035 897793 2482544 | 1 31881 121 | 20.940 % | 123.17/123.26 c | 117133 | 109035 897793 2482544 | 1 31981 122 | 20.940 % | 123.17/123.26 c | 117233 | 108921 897793 2482544 | 1 32080 122 | 21.023 % | 123.17/123.26 c | 117333 | 108921 897793 2482544 | 1 32180 122 | 21.023 % | 123.17/123.26 c | 117576 | 108921 897793 2482544 | 1 32423 123 | 21.023 % | 123.17/123.26 c | 117930 | 108921 897793 2482544 | 1 32777 124 | 21.023 % | 123.17/123.26 c | 118541 | 108904 897594 2481883 | 1 33316 125 | 21.035 % | 123.17/123.26 c | 118642 | 108894 897594 2481883 | 1 33416 125 | 21.043 % | 123.17/123.26 c | 118742 | 108704 897594 2481883 | 1 33514 125 | 21.180 % | 123.17/123.26 c | 118844 | 108704 897594 2481883 | 1 33616 126 | 21.180 % | 157.97/158.09 c | 119301 | 108704 897594 2481883 | 1 34073 128 | 21.180 % | 157.97/158.09 c | 119402 | 108704 897594 2481883 | 1 34174 129 | 21.180 % | 157.97/158.09 c | 119550 | 108704 897594 2481883 | 1 34322 130 | 21.180 % | 157.97/158.09 c | 120361 | 108704 897594 2481883 | 1 35133 135 | 21.180 % | 157.97/158.09 c | 120461 | 108684 896867 2479645 | 1 35194 135 | 21.195 % | 157.97/158.09 c | 120588 | 108671 896867 2479645 | 1 35319 135 | 21.204 % | 157.97/158.09 c | 120725 | 108671 896867 2479645 | 1 35456 135 | 21.204 % | 157.97/158.09 c | 120843 | 108671 896867 2479645 | 1 35574 136 | 21.204 % | 157.97/158.09 c | 121056 | 108671 896867 2479645 | 1 35787 136 | 21.204 % | 157.97/158.09 c | 121157 | 108671 896867 2479645 | 1 35888 137 | 21.204 % | 157.97/158.09 c | 121910 | 108665 896867 2479645 | 1 36640 143 | 21.209 % | 157.97/158.09 c | 122444 | 108664 896803 2479437 | 1 37156 146 | 21.209 % | 157.97/158.09 c | 122544 | 108646 896803 2479437 | 1 37254 146 | 21.222 % | 157.97/158.09 c | 123094 | 108634 896803 2479437 | 1 37803 148 | 21.231 % | 157.97/158.09 c | 123337 | 108634 896803 2479437 | 1 38046 148 | 21.231 % | 157.97/158.09 c | 125690 | 108619 896803 2479437 | 1 40397 160 | 21.242 % | 157.97/158.09 c | 125797 | 108619 896714 2479154 | 1 40476 161 | 21.242 % | 157.97/158.09 c | 125909 | 108619 896714 2479154 | 1 40588 161 | 21.242 % | 157.97/158.09 c | 129248 | 108619 896714 2479154 | 1 43927 181 | 21.242 % | 157.97/158.09 c | 129348 | 108619 896714 2479154 | 1 44027 182 | 21.242 % | 157.97/158.09 c | 129450 | 108619 896714 2479154 | 1 44129 183 | 21.242 % | 157.97/158.09 c | 129551 | 108619 896714 2479154 | 1 44230 183 | 21.242 % | 157.97/158.09 c | 129651 | 108619 896714 2479154 | 1 24508 69 | 21.242 % | 157.97/158.09 c | 130264 | 108615 896714 2479154 | 1 25120 71 | 21.245 % | 157.97/158.09 c | 130504 | 108615 896714 2479154 | 1 25360 71 | 21.245 % | 157.97/158.09 c | 130732 | 108615 896714 2479154 | 1 25588 72 | 21.245 % | 157.97/158.09 c | 130832 | 108615 896714 2479154 | 1 25688 72 | 21.245 % | 157.97/158.09 c | 130932 | 108615 896714 2479154 | 1 25788 72 | 21.245 % | 157.97/158.09 c | 131200 | 108615 896714 2479154 | 1 26056 74 | 21.245 % | 157.97/158.09 c | 131300 | 108615 896714 2479154 | 1 26156 74 | 21.245 % | 157.97/158.09 c | 131954 | 108606 896680 2479030 | 1 26803 78 | 21.251 % | 157.97/158.09 c | 132329 | 108595 896680 2479030 | 1 27176 79 | 21.259 % | 157.97/158.09 c | 132431 | 108595 896680 2479030 | 1 27278 79 | 21.259 % | 157.97/158.09 c | 132561 | 108595 896617 2478811 | 1 27406 80 | 21.259 % | 157.97/158.09 c | 132661 | 108595 896617 2478811 | 1 27506 81 | 21.259 % | 157.97/158.09 c | 133030 | 108594 896617 2478811 | 1 27874 83 | 21.260 % | 157.97/158.09 c | 133130 | 108594 896617 2478811 | 1 27974 83 | 21.260 % | 157.97/158.09 c | 133956 | 108581 896565 2478623 | 1 28799 92 | 21.270 % | 157.97/158.09 c | 134059 | 108581 896565 2478623 | 1 28902 92 | 21.270 % | 157.97/158.09 c | 134335 | 108573 896565 2478623 | 1 29177 93 | 21.275 % | 157.97/158.09 c | 134435 | 108573 896565 2478623 | 1 29277 94 | 21.275 % | 157.97/158.09 c | 134726 | 108573 896565 2478623 | 1 29568 95 | 21.275 % | 157.97/158.09 c | 135014 | 108573 896540 2478524 | 1 29828 97 | 21.275 % | 157.97/158.09 c | 135115 | 108573 896540 2478524 | 1 29929 97 | 21.275 % | 157.97/158.09 c | 136693 | 108573 896540 2478524 | 1 31507 105 | 21.275 % | 157.97/158.09 c | 137029 | 108573 896540 2478524 | 1 31843 107 | 21.275 % | 157.97/158.09 c | 137129 | 108573 896540 2478524 | 1 31943 108 | 21.275 % | 157.97/158.09 c | 137230 | 108573 896540 2478524 | 1 32044 108 | 21.275 % | 157.97/158.09 c | 137501 | 108562 896489 2478368 | 1 32302 110 | 21.283 % | 157.97/158.09 c | 137601 | 108562 896489 2478368 | 1 32402 110 | 21.283 % | 186.58/186.63 c | 137706 | 108562 896489 2478368 | 1 32507 110 | 21.283 % | 186.58/186.63 c | 137965 | 108542 896489 2478368 | 1 32765 111 | 21.298 % | 186.58/186.63 c | 138065 | 108542 896489 2478368 | 1 32865 112 | 21.298 % | 186.58/186.63 c | 138231 | 108542 896489 2478368 | 1 33031 113 | 21.298 % | 186.58/186.63 c | 138336 | 108542 896489 2478368 | 1 33136 113 | 21.298 % | 186.58/186.63 c | 138719 | 108542 896489 2478368 | 1 33519 114 | 21.298 % | 186.58/186.63 c | 138819 | 108536 896438 2478185 | 1 33594 115 | 21.302 % | 186.58/186.63 c | 139943 | 108535 896438 2478185 | 1 34717 118 | 21.303 % | 186.58/186.63 c | 140122 | 108535 896404 2478083 | 1 34892 119 | 21.303 % | 186.58/186.63 c | 140222 | 108446 896404 2478083 | 1 34989 119 | 21.368 % | 186.58/186.63 c | 140968 | 108446 896404 2478083 | 1 35735 123 | 21.368 % | 186.58/186.63 c | 141120 | 108446 896404 2478083 | 1 35887 123 | 21.368 % | 186.58/186.63 c | 141305 | 108446 896404 2478083 | 1 36072 124 | 21.368 % | 186.58/186.63 c | 143405 | 108446 896404 2478083 | 1 38172 139 | 21.368 % | 186.58/186.63 c | 143507 | 108446 896063 2476898 | 1 38014 140 | 21.368 % | 186.58/186.63 c | 143609 | 108446 896063 2476898 | 1 38116 140 | 21.368 % | 186.58/186.63 c | 143709 | 108446 896063 2476898 | 1 38216 141 | 21.368 % | 186.58/186.63 c | 144375 | 108435 896063 2476898 | 1 38881 141 | 21.375 % | 186.58/186.63 c | 144476 | 108435 896063 2476898 | 1 38982 141 | 21.375 % | 186.58/186.63 c | 144694 | 108403 896063 2476898 | 1 39199 142 | 21.399 % | 186.58/186.63 c | 144795 | 108403 896063 2476898 | 1 39300 142 | 21.399 % | 186.58/186.63 c | 144895 | 108403 896063 2476898 | 1 39400 143 | 21.399 % | 186.58/186.63 c | 144995 | 108403 896063 2476898 | 1 39500 143 | 21.399 % | 186.58/186.63 c | 145157 | 108403 896063 2476898 | 1 39662 144 | 21.399 % | 186.58/186.63 c | 145257 | 108389 895961 2476554 | 1 39730 144 | 21.409 % | 186.58/186.63 c | 145536 | 108389 895961 2476554 | 1 40009 145 | 21.409 % | 186.58/186.63 c | 145982 | 108389 895961 2476554 | 1 40455 147 | 21.409 % | 186.58/186.63 c | 146082 | 108389 895961 2476554 | 1 40555 147 | 21.409 % | 186.58/186.63 c | 146621 | 108281 895961 2476554 | 1 41093 148 | 21.487 % | 186.58/186.63 c | 146859 | 108281 895961 2476554 | 1 41331 150 | 21.487 % | 186.58/186.63 c | 147101 | 108281 895867 2476242 | 1 41557 150 | 21.487 % | 186.58/186.63 c | 147466 | 108280 895867 2476242 | 1 41921 151 | 21.488 % | 186.58/186.63 c | 147567 | 108280 895867 2476242 | 1 42022 151 | 21.488 % | 186.58/186.63 c | 148923 | 108267 895867 2476242 | 1 43377 163 | 21.497 % | 186.58/186.63 c | 149026 | 108267 895824 2476083 | 1 43479 163 | 21.497 % | 186.58/186.63 c | 149129 | 108267 895824 2476083 | 1 43582 164 | 21.497 % | 186.58/186.63 c | 149324 | 108267 895824 2476083 | 1 43777 164 | 21.497 % | 186.58/186.63 c | 149427 | 108267 895824 2476083 | 1 43880 164 | 21.497 % | 186.58/186.63 c | 149528 | 108267 895824 2476083 | 1 43981 165 | 21.497 % | 186.58/186.63 c | 149628 | 108267 895824 2476083 | 1 44081 165 | 21.497 % | 186.58/186.63 c | 149728 | 108267 895824 2476083 | 1 44181 165 | 21.497 % | 186.58/186.63 c | 150174 | 108267 895824 2476083 | 1 44627 169 | 21.497 % | 186.58/186.63 c | 150340 | 108267 895824 2476083 | 1 44793 170 | 21.497 % | 186.58/186.63 c | 150440 | 108267 895824 2476083 | 1 44893 170 | 21.497 % | 186.58/186.63 c | 150972 | 108260 895824 2476083 | 1 45424 170 | 21.502 % | 186.58/186.63 c | 152024 | 108260 895824 2476083 | 1 46476 173 | 21.502 % | 186.58/186.63 c | 152124 | 108252 895781 2475946 | 1 46573 173 | 21.508 % | 186.58/186.63 c | 152224 | 108240 895781 2475946 | 1 46672 173 | 21.517 % | 186.58/186.63 c | 152351 | 108240 895781 2475946 | 1 46799 173 | 21.517 % | 186.58/186.63 c | 152925 | 108240 895781 2475946 | 1 47373 175 | 21.517 % | 205.68/205.72 c | 153096 | 108240 895781 2475946 | 1 47544 175 | 21.517 % | 205.68/205.72 c | 153387 | 108240 895781 2475946 | 1 47835 175 | 21.517 % | 205.68/205.72 c | 153490 | 108240 895781 2475946 | 1 47938 176 | 21.517 % | 205.68/205.72 c | 153593 | 108240 895781 2475946 | 1 48041 176 | 21.517 % | 205.68/205.72 c | 153693 | 108240 895781 2475946 | 1 48141 176 | 21.517 % | 205.68/205.72 c | 153856 | 108240 895781 2475946 | 1 48304 176 | 21.517 % | 205.68/205.72 c | 153972 | 108240 895781 2475946 | 1 48420 177 | 21.517 % | 205.68/205.72 c | 154073 | 108240 895781 2475946 | 1 48521 177 | 21.517 % | 205.68/205.72 c | 154267 | 108240 895781 2475946 | 1 48715 177 | 21.517 % | 205.68/205.72 c | 154479 | 108229 895781 2475946 | 1 48926 178 | 21.525 % | 205.68/205.72 c | 154615 | 108228 895781 2475946 | 1 49061 178 | 21.526 % | 205.68/205.72 c | 155350 | 108228 895781 2475946 | 1 49796 180 | 21.526 % | 205.68/205.72 c | 156404 | 108091 895633 2475462 | 1 50840 183 | 21.625 % | 205.68/205.72 c | 156578 | 108091 895633 2475462 | 1 51014 183 | 21.625 % | 205.68/205.72 c | 156678 | 108091 895633 2475462 | 1 51114 183 | 21.625 % | 205.68/205.72 c | 156778 | 108091 895633 2475462 | 1 51214 183 | 21.625 % | 205.68/205.72 c | 156878 | 108091 895633 2475462 | 1 51314 183 | 21.625 % | 205.68/205.72 c | 157382 | 108091 895633 2475462 | 1 28121 69 | 21.625 % | 205.68/205.72 c | 157482 | 108091 895633 2475462 | 1 28221 70 | 21.625 % | 205.68/205.72 c | 157582 | 108091 895633 2475462 | 1 28321 71 | 21.625 % | 205.68/205.72 c | 157683 | 108091 895633 2475462 | 1 28422 71 | 21.625 % | 205.68/205.72 c | 157783 | 108091 895633 2475462 | 1 28522 72 | 21.625 % | 205.68/205.72 c | 157883 | 108091 895633 2475462 | 1 28622 72 | 21.625 % | 205.68/205.72 c | 158488 | 108079 895633 2475462 | 1 29226 77 | 21.634 % | 205.68/205.72 c | 159063 | 108079 895534 2475135 | 1 29796 79 | 21.634 % | 205.68/205.72 c | 159206 | 108079 895534 2475135 | 1 29939 80 | 21.634 % | 205.68/205.72 c | 159424 | 108079 895534 2475135 | 1 30157 80 | 21.634 % | 205.68/205.72 c | 159524 | 108079 895534 2475135 | 1 30257 80 | 21.634 % | 205.68/205.72 c | 159723 | 108079 895534 2475135 | 1 30456 82 | 21.634 % | 205.68/205.72 c | 159947 | 107863 895534 2475135 | 1 30679 83 | 21.790 % | 205.68/205.72 c | 160053 | 107863 895534 2475135 | 1 30785 83 | 21.790 % | 205.68/205.72 c | 160223 | 107863 895534 2475135 | 1 30955 85 | 21.790 % | 205.68/205.72 c | 160484 | 107853 895534 2475135 | 1 31215 86 | 21.797 % | 205.68/205.72 c | 160674 | 107853 895534 2475135 | 1 31405 86 | 21.797 % | 205.68/205.72 c | 160827 | 107853 895534 2475135 | 1 31558 88 | 21.797 % | 205.68/205.72 c | 160929 | 107853 895486 2474983 | 1 31651 88 | 21.797 % | 205.68/205.72 c | 161029 | 107853 895486 2474983 | 1 31751 89 | 21.797 % | 205.68/205.72 c | 161130 | 107853 895486 2474983 | 1 31852 90 | 21.797 % | 205.68/205.72 c | 163157 | 107846 895450 2474862 | 1 33872 101 | 21.803 % | 205.68/205.72 c | 163257 | 107845 895450 2474862 | 1 33971 102 | 21.803 % | 205.68/205.72 c | 163380 | 107845 895450 2474862 | 1 34094 102 | 21.803 % | 205.68/205.72 c | 163483 | 107845 895450 2474862 | 1 34197 103 | 21.803 % | 205.68/205.72 c | 163583 | 107845 895450 2474862 | 1 34297 103 | 21.803 % | 205.68/205.72 c | 163683 | 107845 895450 2474862 | 1 34397 103 | 21.803 % | 205.68/205.72 c | 163962 | 107845 895450 2474862 | 1 34676 105 | 21.803 % | 205.68/205.72 c | 164064 | 107845 895450 2474862 | 1 34778 106 | 21.803 % | 205.68/205.72 c | 164683 | 107845 895450 2474862 | 1 35397 107 | 21.803 % | 205.68/205.72 c | 164880 | 107845 895450 2474862 | 1 35594 108 | 21.803 % | 205.68/205.72 c | 164980 | 107845 895450 2474862 | 1 35694 108 | 21.803 % | 205.68/205.72 c | 165197 | 107845 895450 2474862 | 1 35911 109 | 21.803 % | 232.77/232.85 c | 165318 | 107845 895450 2474862 | 1 36032 110 | 21.803 % | 232.77/232.85 c | 165419 | 107845 895450 2474862 | 1 36133 111 | 21.803 % | 232.77/232.85 c | 165828 | 107825 895450 2474862 | 1 36541 111 | 21.818 % | 232.77/232.85 c | 166244 | 107824 895353 2474541 | 1 36949 114 | 21.819 % | 232.77/232.85 c | 166749 | 107818 895353 2474541 | 1 37453 117 | 21.823 % | 232.77/232.85 c | 166851 | 107680 895353 2474541 | 1 37554 118 | 21.923 % | 232.77/232.85 c | 166953 | 107680 895353 2474541 | 1 37656 118 | 21.923 % | 232.77/232.85 c | 168003 | 107680 895353 2474541 | 1 38706 132 | 21.923 % | 232.77/232.85 c | 168104 | 107680 894959 2473224 | 1 38771 132 | 21.923 % | 232.77/232.85 c | 168322 | 107680 894959 2473224 | 1 38989 133 | 21.923 % | 232.77/232.85 c | 168898 | 107680 894959 2473224 | 1 39565 136 | 21.923 % | 232.77/232.85 c | 169005 | 107680 894959 2473224 | 1 39672 135 | 21.923 % | 232.77/232.85 c | 169131 | 107680 894959 2473224 | 1 39798 135 | 21.923 % | 232.77/232.85 c | 170792 | 107680 894959 2473224 | 1 41459 149 | 21.923 % | 232.77/232.85 c | 170910 | 107680 894959 2473224 | 1 41577 150 | 21.923 % | 232.77/232.85 c | 171013 | 107680 894959 2473224 | 1 41680 150 | 21.923 % | 232.77/232.85 c | 171113 | 107680 894959 2473224 | 1 41780 150 | 21.923 % | 232.77/232.85 c | 171213 | 107680 894959 2473224 | 1 41880 150 | 21.923 % | 232.77/232.85 c | 172468 | 107679 894959 2473224 | 1 43134 155 | 21.924 % | 232.77/232.85 c | 172568 | 107679 894959 2473224 | 1 43234 155 | 21.924 % | 232.77/232.85 c | 172668 | 107679 894959 2473224 | 1 43334 155 | 21.924 % | 232.77/232.85 c | 173039 | 107666 894959 2473224 | 1 43704 156 | 21.933 % | 232.77/232.85 c | 173557 | 107666 894959 2473224 | 1 44222 158 | 21.933 % | 232.77/232.85 c | 173657 | 107666 894959 2473224 | 1 44322 158 | 21.933 % | 232.77/232.85 c | 174011 | 107666 894959 2473224 | 1 44676 159 | 21.933 % | 232.77/232.85 c | 174186 | 107666 894959 2473224 | 1 44851 160 | 21.933 % | 232.77/232.85 c | 174723 | 107666 894870 2472927 | 1 45388 162 | 21.933 % | 232.77/232.85 c | 175268 | 107666 894870 2472927 | 1 45933 163 | 21.933 % | 232.77/232.85 c | 175370 | 107666 894870 2472927 | 1 46035 163 | 21.933 % | 232.77/232.85 c | 175470 | 107666 894870 2472927 | 1 46135 163 | 21.933 % | 232.77/232.85 c | 175570 | 107666 894870 2472927 | 1 46235 164 | 21.933 % | 232.77/232.85 c | 175670 | 107666 894870 2472927 | 1 46335 164 | 21.933 % | 232.77/232.85 c | 176011 | 107666 894870 2472927 | 1 46676 165 | 21.933 % | 232.77/232.85 c | 176121 | 107666 894870 2472927 | 1 46786 166 | 21.933 % | 232.77/232.85 c | 176221 | 107666 894870 2472927 | 1 46886 166 | 21.933 % | 232.77/232.85 c | 176322 | 107666 894870 2472927 | 1 46987 166 | 21.933 % | 232.77/232.85 c | 176425 | 107666 894870 2472927 | 1 47090 166 | 21.933 % | 232.77/232.85 c | 176696 | 107630 894870 2472927 | 1 47360 166 | 21.959 % | 232.77/232.85 c | 177462 | 107615 894780 2472657 | 1 48114 165 | 21.970 % | 232.77/232.85 c | 177563 | 107615 894780 2472657 | 1 48215 165 | 21.970 % | 232.77/232.85 c | 178856 | 107615 894780 2472657 | 1 49508 172 | 21.970 % | 232.77/232.85 c | 178966 | 107615 894780 2472657 | 1 49618 173 | 21.970 % | 232.77/232.85 c | 179193 | 107615 894780 2472657 | 1 49845 173 | 21.970 % | 232.77/232.85 c | 179294 | 107615 894780 2472657 | 1 49946 173 | 21.970 % | 232.77/232.85 c | 179394 | 107606 894699 2472358 | 1 50043 173 | 21.977 % | 232.77/232.85 c | 179494 | 107606 894699 2472358 | 1 50143 175 | 21.977 % | 232.77/232.85 c | 179595 | 107606 894699 2472358 | 1 50244 175 | 21.977 % | 232.77/232.85 c | 179705 | 107606 894699 2472358 | 1 50354 175 | 21.977 % | 232.77/232.85 c | 179883 | 107606 894699 2472358 | 1 50532 175 | 21.977 % | 232.77/232.85 c | 179986 | 107604 894699 2472358 | 1 50634 175 | 21.978 % | 269.08/269.13 c | 180088 | 107604 894699 2472358 | 1 50736 175 | 21.978 % | 269.08/269.13 c | 180634 | 107604 894699 2472358 | 1 51282 176 | 21.978 % | 269.08/269.13 c | 180738 | 107604 894699 2472358 | 1 51386 176 | 21.978 % | 269.08/269.13 c | 180840 | 107604 894699 2472358 | 1 51488 176 | 21.978 % | 269.08/269.13 c | 181064 | 107604 894699 2472358 | 1 51712 177 | 21.978 % | 269.08/269.13 c | 181174 | 107604 894699 2472358 | 1 51822 178 | 21.978 % | 269.08/269.13 c | 181344 | 107604 894699 2472358 | 1 51992 178 | 21.978 % | 269.08/269.13 c | 182148 | 107604 894699 2472358 | 1 52796 181 | 21.978 % | 269.08/269.13 c | 182358 | 107604 894697 2472341 | 1 53005 181 | 21.978 % | 269.08/269.13 c | 182465 | 107604 894697 2472341 | 1 53112 181 | 21.978 % | 269.08/269.13 c | 182903 | 107601 894697 2472341 | 1 53549 181 | 21.980 % | 269.08/269.13 c | 183218 | 107593 894697 2472341 | 1 53863 182 | 21.986 % | 269.08/269.13 c | 184902 | 107270 894697 2472341 | 1 55545 189 | 22.220 % | 269.08/269.13 c | 185081 | 107270 890581 2459977 | 1 55707 189 | 22.220 % | 269.08/269.13 c | 185181 | 107270 890581 2459977 | 1 55807 189 | 22.220 % | 269.08/269.13 c | 185477 | 107270 890581 2459977 | 1 56103 190 | 22.220 % | 269.08/269.13 c | 185577 | 107270 890581 2459977 | 1 56203 190 | 22.220 % | 269.08/269.13 c | 186580 | 107201 890581 2459977 | 1 57205 194 | 22.270 % | 269.08/269.13 c | 186874 | 107201 890581 2459977 | 1 57499 194 | 22.270 % | 269.08/269.13 c | 186974 | 107201 890581 2459977 | 1 57599 194 | 22.270 % | 269.08/269.13 c | 187074 | 107153 890581 2459977 | 1 31598 70 | 22.305 % | 269.08/269.13 c | 187545 | 106917 890378 2459240 | 1 32047 72 | 22.476 % | 269.08/269.13 c | 188017 | 106855 890378 2459240 | 1 32518 79 | 22.521 % | 269.08/269.13 c | 188119 | 106855 890378 2459240 | 1 32620 79 | 22.521 % | 269.08/269.13 c | 188229 | 106855 889686 2456867 | 1 32672 80 | 22.521 % | 269.08/269.13 c | 188329 | 106855 889686 2456867 | 1 32772 81 | 22.521 % | 269.08/269.13 c | 188430 | 106855 889686 2456867 | 1 32873 81 | 22.521 % | 269.08/269.13 c | 188885 | 106855 889686 2456867 | 1 33328 85 | 22.521 % | 269.08/269.13 c | 189825 | 106779 889619 2456636 | 1 34263 88 | 22.576 % | 269.08/269.13 c | 189925 | 106779 889619 2456636 | 1 34363 89 | 22.576 % | 269.08/269.13 c | 190027 | 106779 889619 2456636 | 1 34465 89 | 22.576 % | 269.08/269.13 c | 190145 | 106779 889619 2456636 | 1 34583 89 | 22.576 % | 269.08/269.13 c | 190330 | 106779 889619 2456636 | 1 34768 90 | 22.576 % | 269.08/269.13 c | 190579 | 106779 889619 2456636 | 1 35017 92 | 22.576 % | 269.08/269.13 c | 190679 | 106765 889479 2456216 | 1 35073 92 | 22.586 % | 269.08/269.13 c | 190779 | 106765 889479 2456216 | 1 35173 93 | 22.586 % | 269.08/269.13 c | 190879 | 106765 889479 2456216 | 1 35273 94 | 22.586 % | 269.08/269.13 c | 190980 | 106765 889479 2456216 | 1 35374 95 | 22.586 % | 269.08/269.13 c | 191133 | 106765 889479 2456216 | 1 35527 95 | 22.586 % | 269.08/269.13 c | 191807 | 106765 889479 2456216 | 1 36201 98 | 22.586 % | 269.08/269.13 c | 191907 | 106765 889479 2456216 | 1 36301 99 | 22.586 % | 269.08/269.13 c | 195975 | 106764 889392 2455925 | 1 40360 129 | 22.587 % | 269.08/269.13 c | 196503 | 106764 889392 2455925 | 1 40888 133 | 22.587 % | 269.08/269.13 c | 196698 | 106764 889392 2455925 | 1 41083 134 | 22.587 % | 269.08/269.13 c | 196798 | 106764 889392 2455925 | 1 41183 134 | 22.587 % | 269.08/269.13 c | 197043 | 106752 889392 2455925 | 1 41427 135 | 22.596 % | 269.08/269.13 c | 197361 | 106740 889392 2455925 | 1 41744 136 | 22.605 % | 269.08/269.13 c | 197461 | 106740 889311 2455644 | 1 41820 137 | 22.605 % | 269.08/269.13 c | 197562 | 106740 889311 2455644 | 1 41921 137 | 22.605 % | 269.08/269.13 c | 197662 | 106740 889311 2455644 | 1 42021 138 | 22.605 % | 300.98/301.06 c | 197768 | 106740 889311 2455644 | 1 42127 138 | 22.605 % | 300.98/301.06 c | 197868 | 106740 889311 2455644 | 1 42227 138 | 22.605 % | 300.98/301.06 c | 198738 | 106740 889311 2455644 | 1 43097 145 | 22.605 % | 300.98/301.06 c | 198934 | 106740 889311 2455644 | 1 43293 146 | 22.605 % | 300.98/301.06 c | 199304 | 106739 889311 2455644 | 1 43662 147 | 22.605 % | 300.98/301.06 c | 199406 | 106739 889311 2455644 | 1 43764 147 | 22.605 % | 300.98/301.06 c | 199510 | 106739 889311 2455644 | 1 43868 148 | 22.605 % | 300.98/301.06 c | 199611 | 106739 889311 2455644 | 1 43969 148 | 22.605 % | 300.98/301.06 c | 199863 | 106739 889311 2455644 | 1 44221 149 | 22.605 % | 300.98/301.06 c | 200464 | 106719 889311 2455644 | 1 44821 151 | 22.620 % | 300.98/301.06 c | 200564 | 106719 889311 2455644 | 1 44921 151 | 22.620 % | 300.98/301.06 c | 200761 | 106718 889311 2455644 | 1 45117 151 | 22.620 % | 300.98/301.06 c | 202340 | 106718 889311 2455644 | 1 46696 154 | 22.620 % | 300.98/301.06 c | 202443 | 106706 889249 2455442 | 1 46771 154 | 22.629 % | 300.98/301.06 c | 202616 | 106706 889249 2455442 | 1 46944 155 | 22.629 % | 300.98/301.06 c | 202719 | 106706 889249 2455442 | 1 47047 155 | 22.629 % | 300.98/301.06 c | 204347 | 106706 889249 2455442 | 1 48675 162 | 22.629 % | 300.98/301.06 c | 205480 | 106705 889207 2455286 | 1 49807 167 | 22.630 % | 300.98/301.06 c | 205581 | 106705 889207 2455286 | 1 49908 167 | 22.630 % | 300.98/301.06 c | 205931 | 106705 889207 2455286 | 1 50258 167 | 22.630 % | 300.98/301.06 c | 206229 | 106705 889207 2455286 | 1 50556 166 | 22.630 % | 300.98/301.06 c | 206329 | 106705 889207 2455286 | 1 50656 166 | 22.630 % | 300.98/301.06 c | 206429 | 106683 889207 2455286 | 1 50755 166 | 22.646 % | 300.98/301.06 c | 207902 | 106673 889057 2454836 | 1 52194 169 | 22.653 % | 300.98/301.06 c | 208019 | 106673 889057 2454836 | 1 52311 169 | 22.653 % | 300.98/301.06 c | 209541 | 106673 889057 2454836 | 1 53833 170 | 22.653 % | 300.98/301.06 c | 209747 | 106673 889057 2454836 | 1 54039 170 | 22.653 % | 300.98/301.06 c | 209850 | 106672 889057 2454836 | 1 54140 170 | 22.654 % | 300.98/301.06 c | 209950 | 106672 889057 2454836 | 1 54240 170 | 22.654 % | 300.98/301.06 c | 210050 | 106672 889057 2454836 | 1 54340 171 | 22.654 % | 300.98/301.06 c | 210152 | 106672 889057 2454836 | 1 54442 171 | 22.654 % | 300.98/301.06 c | 210252 | 106672 889057 2454836 | 1 54542 171 | 22.654 % | 300.98/301.06 c | 210352 | 106672 889057 2454836 | 1 54642 171 | 22.654 % | 300.98/301.06 c | 210559 | 106672 889057 2454836 | 1 54849 172 | 22.654 % | 300.98/301.06 c | 210659 | 106672 889057 2454836 | 1 54949 173 | 22.654 % | 300.98/301.06 c | 210770 | 106672 889057 2454836 | 1 55060 173 | 22.654 % | 300.98/301.06 c | 211839 | 106664 889057 2454836 | 1 56128 176 | 22.660 % | 300.98/301.06 c | 211941 | 106663 889057 2454836 | 1 56229 176 | 22.660 % | 300.98/301.06 c | 212098 | 106663 889057 2454836 | 1 56386 177 | 22.660 % | 300.98/301.06 c | 212199 | 106663 889025 2454732 | 1 56475 177 | 22.660 % | 300.98/301.06 c | 212477 | 106663 889025 2454732 | 1 56753 177 | 22.660 % | 300.98/301.06 c | 212577 | 106663 889025 2454732 | 1 56853 177 | 22.660 % | 300.98/301.06 c | 212766 | 106663 889025 2454732 | 1 57042 177 | 22.660 % | 300.98/301.06 c | 213025 | 106621 889025 2454732 | 1 57298 178 | 22.691 % | 300.98/301.06 c | 213125 | 106621 889025 2454732 | 1 57398 178 | 22.691 % | 300.98/301.06 c | 213225 | 106621 889025 2454732 | 1 57498 179 | 22.691 % | 300.98/301.06 c | 213326 | 106620 889025 2454732 | 1 57598 179 | 22.692 % | 300.98/301.06 c | 213426 | 106620 889025 2454732 | 1 57698 179 | 22.692 % | 300.98/301.06 c | 213715 | 106620 889025 2454732 | 1 57987 180 | 22.692 % | 300.98/301.06 c | 213815 | 106620 889025 2454732 | 1 58087 180 | 22.692 % | 354.48/354.52 c | 214413 | 106546 889025 2454732 | 1 58678 181 | 22.745 % | 354.48/354.52 c | 214617 | 106546 888649 2453372 | 1 58867 181 | 22.745 % | 354.48/354.52 c | 215113 | 106546 888649 2453372 | 1 59363 182 | 22.745 % | 354.48/354.52 c | 215372 | 106546 888649 2453372 | 1 59622 184 | 22.745 % | 354.48/354.52 c | 215472 | 106546 888649 2453372 | 1 59722 184 | 22.745 % | 354.48/354.52 c | 216405 | 106545 888649 2453372 | 1 60654 186 | 22.746 % | 354.48/354.52 c | 216734 | 106545 888649 2453372 | 1 60983 187 | 22.746 % | 354.48/354.52 c | 216836 | 106545 888649 2453372 | 1 61085 187 | 22.746 % | 354.48/354.52 c | 216959 | 106545 888649 2453372 | 1 61208 187 | 22.746 % | 354.48/354.52 c | 217601 | 106544 888649 2453372 | 1 61849 189 | 22.747 % | 354.48/354.52 c | 217938 | 106409 888649 2453372 | 1 62185 189 | 22.845 % | 354.48/354.52 c | 218039 | 106409 888649 2453372 | 1 62286 189 | 22.845 % | 354.48/354.52 c | 218222 | 106409 888649 2453372 | 1 62469 189 | 22.845 % | 354.48/354.52 c | 218415 | 106409 888649 2453372 | 1 62662 190 | 22.845 % | 354.48/354.52 c | 218515 | 106409 888649 2453372 | 1 62762 190 | 22.845 % | 354.48/354.52 c | 218783 | 106409 888649 2453372 | 1 63030 190 | 22.845 % | 354.48/354.52 c | 219236 | 106409 888649 2453372 | 1 63483 190 | 22.845 % | 354.48/354.52 c | 219336 | 106409 888649 2453372 | 1 63583 190 | 22.845 % | 354.48/354.52 c | 220197 | 106407 888541 2452996 | 1 35389 78 | 22.846 % | 354.48/354.52 c | 220299 | 106407 888541 2452996 | 1 35491 78 | 22.846 % | 354.48/354.52 c | 220426 | 106407 888541 2452996 | 1 35618 79 | 22.846 % | 354.48/354.52 c | 221986 | 106365 888500 2452841 | 1 37175 94 | 22.876 % | 354.48/354.52 c | 224822 | 106365 888500 2452841 | 1 40011 127 | 22.876 % | 354.48/354.52 c | 224923 | 106365 888405 2452492 | 1 40109 127 | 22.876 % | 354.48/354.52 c | 225023 | 106365 888405 2452492 | 1 40209 128 | 22.876 % | 354.48/354.52 c | 231338 | 105959 881102 2430583 | 1 46520 158 | 23.171 % | 354.48/354.52 c | 231621 | 105959 881102 2430583 | 1 46803 159 | 23.171 % | 354.48/354.52 c | 231721 | 105959 881102 2430583 | 1 46903 160 | 23.171 % | 354.48/354.52 c | 231822 | 105959 881102 2430583 | 1 47004 160 | 23.171 % | 354.48/354.52 c | 231925 | 105959 881102 2430583 | 1 47107 161 | 23.171 % | 354.48/354.52 c | 233031 | 105959 881102 2430583 | 1 48213 166 | 23.171 % | 354.48/354.52 c | 233131 | 105959 881102 2430583 | 1 48313 166 | 23.171 % | 354.48/354.52 c | 233231 | 105959 881102 2430583 | 1 48413 167 | 23.171 % | 354.48/354.52 c | 233332 | 105959 881102 2430583 | 1 48514 167 | 23.171 % | 354.48/354.52 c | 233781 | 105959 881102 2430583 | 1 48963 169 | 23.171 % | 354.48/354.52 c | 233882 | 105959 881102 2430583 | 1 49064 169 | 23.171 % | 354.48/354.52 c | 234752 | 105959 881102 2430583 | 1 49934 171 | 23.171 % | 354.48/354.52 c | 234934 | 105959 881102 2430583 | 1 50116 172 | 23.171 % | 354.48/354.52 c | 235039 | 105959 881102 2430583 | 1 50221 172 | 23.171 % | 354.48/354.52 c | 235139 | 105959 881102 2430583 | 1 50321 172 | 23.171 % | 354.48/354.52 c | 235239 | 105959 881102 2430583 | 1 50421 172 | 23.171 % | 354.48/354.52 c | 235339 | 105945 881059 2430422 | 1 50519 173 | 23.181 % | 354.48/354.52 c | 235440 | 105943 881059 2430422 | 1 50619 174 | 23.182 % | 354.48/354.52 c | 236866 | 105365 881059 2430422 | 1 52041 176 | 23.601 % | 354.48/354.52 c | 237030 | 105358 881059 2430422 | 1 52204 176 | 23.607 % | 354.48/354.52 c | 237130 | 105358 881059 2430422 | 1 52304 176 | 23.607 % | 354.48/354.52 c | 237230 | 105358 881059 2430422 | 1 52404 176 | 23.607 % | 354.48/354.52 c | 237333 | 105358 881059 2430422 | 1 52507 177 | 23.607 % | 354.48/354.52 c | 237433 | 105358 881059 2430422 | 1 52607 177 | 23.607 % | 354.48/354.52 c | 237789 | 105353 873546 2407859 | 1 52946 178 | 23.610 % | 397.98/398.00 c | 238201 | 105345 873546 2407859 | 1 53357 179 | 23.616 % | 397.98/398.00 c | 238373 | 105345 873546 2407859 | 1 53529 179 | 23.616 % | 397.98/398.00 c | 238844 | 105345 873546 2407859 | 1 54000 180 | 23.616 % | 397.98/398.00 c | 240604 | 105345 873546 2407859 | 1 55760 182 | 23.616 % | 397.98/398.00 c | 240704 | 105345 873513 2407744 | 1 55860 182 | 23.616 % | 397.98/398.00 c | 240804 | 105345 873513 2407744 | 1 55960 182 | 23.616 % | 397.98/398.00 c | 241162 | 105345 873513 2407744 | 1 56318 184 | 23.616 % | 397.98/398.00 c | 241264 | 105345 873513 2407744 | 1 56420 184 | 23.616 % | 397.98/398.00 c | 241482 | 105345 873513 2407744 | 1 56638 184 | 23.616 % | 397.98/398.00 c | 243747 | 105344 873513 2407744 | 1 58902 189 | 23.617 % | 397.98/398.00 c | 244013 | 105344 873513 2407744 | 1 59165 189 | 23.617 % | 397.98/398.00 c | 244114 | 105344 873513 2407744 | 1 59266 189 | 23.617 % | 397.98/398.00 c | 244441 | 105344 873513 2407744 | 1 59593 190 | 23.617 % | 397.98/398.00 c | 244603 | 105343 873513 2407744 | 1 59754 191 | 23.617 % | 397.98/398.00 c | 247484 | 105273 873513 2407744 | 1 62634 197 | 23.668 % | 397.98/398.00 c | 247586 | 105273 873513 2407744 | 1 62736 197 | 23.668 % | 397.98/398.00 c | 247686 | 105273 873513 2407744 | 1 62836 198 | 23.668 % | 397.98/398.00 c | 248232 | 105259 873469 2407580 | 1 63381 199 | 23.678 % | 397.98/398.00 c | 248385 | 105259 873469 2407580 | 1 63534 199 | 23.678 % | 397.98/398.00 c | 248486 | 105259 873469 2407580 | 1 63635 199 | 23.678 % | 397.98/398.00 c | 248737 | 105239 873469 2407580 | 1 63884 199 | 23.693 % | 397.98/398.00 c | 248946 | 105239 873469 2407580 | 1 64093 199 | 23.693 % | 397.98/398.00 c | 249046 | 105239 873469 2407580 | 1 64193 199 | 23.693 % | 397.98/398.00 c | 250114 | 105238 873469 2407580 | 1 65260 200 | 23.694 % | 397.98/398.00 c | 250214 | 105238 873469 2407580 | 1 65360 200 | 23.694 % | 397.98/398.00 c | 250315 | 105238 873469 2407580 | 1 65461 200 | 23.694 % | 397.98/398.00 c | 250495 | 105229 873469 2407580 | 1 65640 200 | 23.700 % | 397.98/398.00 c | 250595 | 105229 873469 2407580 | 1 65740 200 | 23.700 % | 397.98/398.00 c | 250696 | 105229 873469 2407580 | 1 65841 201 | 23.700 % | 397.98/398.00 c | 250798 | 105229 873469 2407580 | 1 65943 201 | 23.700 % | 397.98/398.00 c | 251670 | 105229 873355 2407180 | 1 66807 202 | 23.700 % | 397.98/398.00 c | 251950 | 105228 873355 2407180 | 1 67086 202 | 23.701 % | 397.98/398.00 c | 252131 | 105228 873355 2407180 | 1 67267 203 | 23.701 % | 397.98/398.00 c | 252234 | 105228 873355 2407180 | 1 67370 203 | 23.701 % | 397.98/398.00 c | 252919 | 105228 873355 2407180 | 1 68055 204 | 23.701 % | 397.98/398.00 c | 253020 | 105228 873355 2407180 | 1 68156 204 | 23.701 % | 397.98/398.00 c | 253122 | 105228 873355 2407180 | 1 68258 204 | 23.701 % | 397.98/398.00 c | 253290 | 105228 873355 2407180 | 1 68426 204 | 23.701 % | 397.98/398.00 c | 253390 | 105228 873355 2407180 | 1 68526 205 | 23.701 % | 397.98/398.00 c | 253693 | 105218 873355 2407180 | 1 68828 205 | 23.708 % | 397.98/398.00 c | 253794 | 105218 873292 2406961 | 1 68928 206 | 23.708 % | 397.98/398.00 c | 253898 | 105218 873292 2406961 | 1 69032 206 | 23.708 % | 397.98/398.00 c | 255055 | 105218 873292 2406961 | 1 38486 81 | 23.708 % | 397.98/398.00 c | 255208 | 105218 873292 2406961 | 1 38639 82 | 23.708 % | 397.98/398.00 c | 255357 | 105210 873292 2406961 | 1 38787 82 | 23.714 % | 397.98/398.00 c | 256697 | 105195 873292 2406961 | 1 40126 94 | 23.725 % | 397.98/398.00 c | 257088 | 105195 873206 2406655 | 1 40513 96 | 23.725 % | 397.98/398.00 c | 257960 | 105175 873206 2406655 | 1 41384 102 | 23.739 % | 397.98/398.00 c | 258060 | 105175 873206 2406655 | 1 41484 102 | 23.739 % | 397.98/398.00 c | 258630 | 105175 873206 2406655 | 1 42054 104 | 23.739 % | 462.28/462.38 c | 258861 | 105175 873206 2406655 | 1 42285 105 | 23.739 % | 462.28/462.38 c | 259784 | 105175 873206 2406655 | 1 43208 108 | 23.739 % | 462.28/462.38 c | 260312 | 105175 873206 2406655 | 1 43736 110 | 23.739 % | 462.28/462.38 c | 260413 | 105160 873206 2406655 | 1 43833 110 | 23.750 % | 462.28/462.38 c | 262615 | 105151 873127 2406369 | 1 46034 125 | 23.757 % | 462.28/462.38 c | 266270 | 105123 873085 2406211 | 1 49683 130 | 23.777 % | 462.28/462.38 c | 266754 | 105098 873085 2406211 | 1 50165 131 | 23.795 % | 462.28/462.38 c | 266947 | 105098 873085 2406211 | 1 50358 132 | 23.795 % | 462.28/462.38 c | 267107 | 105098 873085 2406211 | 1 50518 132 | 23.795 % | 462.28/462.38 c | 267475 | 105085 873085 2406211 | 1 50885 134 | 23.805 % | 462.28/462.38 c | 267576 | 105085 873085 2406211 | 1 50986 135 | 23.805 % | 462.28/462.38 c | 267683 | 105085 873085 2406211 | 1 51093 135 | 23.805 % | 462.28/462.38 c | 268032 | 105084 873085 2406211 | 1 51441 139 | 23.805 % | 462.28/462.38 c | 268132 | 105084 872828 2405316 | 1 51533 139 | 23.805 % | 462.28/462.38 c | 268429 | 105084 872828 2405316 | 1 51830 139 | 23.805 % | 462.28/462.38 c | 268542 | 105084 872828 2405316 | 1 51943 140 | 23.805 % | 462.28/462.38 c | 268642 | 105084 872828 2405316 | 1 52043 140 | 23.805 % | 462.28/462.38 c | 272098 | 105071 872781 2405145 | 1 55492 151 | 23.815 % | 462.28/462.38 c | 272256 | 105071 872781 2405145 | 1 55650 151 | 23.815 % | 462.28/462.38 c | 272420 | 105071 872781 2405145 | 1 55814 152 | 23.815 % | 462.28/462.38 c | 272523 | 105071 872781 2405145 | 1 55917 152 | 23.815 % | 462.28/462.38 c | 273275 | 105071 872781 2405145 | 1 56669 157 | 23.815 % | 462.28/462.38 c | 273377 | 105071 872781 2405145 | 1 56771 157 | 23.815 % | 462.28/462.38 c | 273478 | 105071 872781 2405145 | 1 56872 158 | 23.815 % | 462.28/462.38 c | 273578 | 105071 872781 2405145 | 1 56972 158 | 23.815 % | 462.28/462.38 c | 273779 | 105071 872781 2405145 | 1 57173 158 | 23.815 % | 462.28/462.38 c | 274016 | 105071 872781 2405145 | 1 57410 159 | 23.815 % | 462.28/462.38 c | 281959 | 105031 872781 2405145 | 1 65343 169 | 23.844 % | 462.28/462.38 c | 282060 | 105031 872781 2405145 | 1 65444 169 | 23.844 % | 462.28/462.38 c | 282207 | 105031 872781 2405145 | 1 65591 169 | 23.844 % | 462.28/462.38 c | 282308 | 105031 872781 2405145 | 1 65692 170 | 23.844 % | 462.28/462.38 c | 282411 | 105031 872781 2405145 | 1 65795 170 | 23.844 % | 462.28/462.38 c | 282577 | 105031 872781 2405145 | 1 65961 170 | 23.844 % | 462.28/462.38 c | 282879 | 105023 872781 2405145 | 1 66262 170 | 23.849 % | 462.28/462.38 c | 282980 | 105023 872781 2405145 | 1 66363 171 | 23.849 % | 462.28/462.38 c | 283188 | 105023 872781 2405145 | 1 66571 171 | 23.849 % | 462.28/462.38 c | 283452 | 105023 872781 2405145 | 1 66835 172 | 23.849 % | 462.28/462.38 c | 283682 | 105023 872781 2405145 | 1 67065 172 | 23.849 % | 462.28/462.38 c | 283804 | 105023 872781 2405145 | 1 67187 173 | 23.849 % | 462.28/462.38 c | 283905 | 105023 872781 2405145 | 1 67288 173 | 23.849 % | 462.28/462.38 c | 284006 | 105023 872781 2405145 | 1 67389 173 | 23.849 % | 462.28/462.38 c | 284106 | 105023 872781 2405145 | 1 67489 174 | 23.849 % | 462.28/462.38 c | 284246 | 105023 872781 2405145 | 1 67629 173 | 23.849 % | 462.28/462.38 c | 284526 | 105023 872781 2405145 | 1 67909 174 | 23.849 % | 462.28/462.38 c | 285022 | 105023 872781 2405145 | 1 68405 175 | 23.849 % | 462.28/462.38 c | 285134 | 105023 872781 2405145 | 1 68517 175 | 23.849 % | 462.28/462.38 c | 285234 | 105023 872781 2405145 | 1 68617 175 | 23.849 % | 462.28/462.38 c | 285799 | 105023 872781 2405145 | 1 69182 176 | 23.849 % | 462.28/462.38 c | 286381 | 105023 872781 2405145 | 1 69764 177 | 23.849 % | 462.28/462.38 c | 286482 | 105023 872781 2405145 | 1 69865 177 | 23.849 % | 498.98/499.08 c | 286582 | 105023 872781 2405145 | 1 69965 177 | 23.849 % | 498.98/499.08 c | 286848 | 105023 872781 2405145 | 1 70231 178 | 23.849 % | 498.98/499.08 c | 286948 | 105023 872781 2405145 | 1 70331 178 | 23.849 % | 498.98/499.08 c | 287050 | 105023 872781 2405145 | 1 70433 178 | 23.849 % | 498.98/499.08 c | 288026 | 105023 872781 2405145 | 1 71409 182 | 23.849 % | 498.98/499.08 c | 288129 | 105023 872781 2405145 | 1 71512 182 | 23.849 % | 498.98/499.08 c | 288238 | 105023 872781 2405145 | 1 71621 183 | 23.849 % | 498.98/499.08 c | 288338 | 105023 872781 2405145 | 1 71721 183 | 23.849 % | 498.98/499.08 c | 288438 | 105023 872781 2405145 | 1 71821 183 | 23.849 % | 498.98/499.08 c | 288538 | 105023 872781 2405145 | 1 71921 183 | 23.849 % | 498.98/499.08 c | 288640 | 105022 872781 2405145 | 1 72022 183 | 23.850 % | 498.98/499.08 c | 288741 | 105022 872781 2405145 | 1 72123 184 | 23.850 % | 498.98/499.08 c | 288841 | 105022 872781 2405145 | 1 72223 184 | 23.850 % | 498.98/499.08 c | 288941 | 105022 872781 2405145 | 1 72323 184 | 23.850 % | 498.98/499.08 c | 289042 | 105022 872781 2405145 | 1 72424 185 | 23.850 % | 498.98/499.08 c | 289252 | 105022 872781 2405145 | 1 72634 185 | 23.850 % | 498.98/499.08 c | 290834 | 105022 872781 2405145 | 1 74216 188 | 23.850 % | 498.98/499.08 c | 291231 | 104777 872781 2405145 | 1 74612 188 | 24.028 % | 498.98/499.08 c | 291400 | 104777 872781 2405145 | 1 74781 188 | 24.028 % | 498.98/499.08 c | 291501 | 104777 872781 2405145 | 1 74882 188 | 24.028 % | 498.98/499.08 c | 291601 | 104777 872781 2405145 | 1 74982 188 | 24.028 % | 498.98/499.08 c | 292114 | 104771 872683 2404851 | 1 75483 189 | 24.032 % | 498.98/499.08 c | 293491 | 104719 872683 2404851 | 1 42802 85 | 24.070 % | 498.98/499.08 c | 293592 | 104719 872683 2404851 | 1 42903 86 | 24.070 % | 498.98/499.08 c | 293961 | 104710 872683 2404851 | 1 43271 87 | 24.076 % | 498.98/499.08 c | 294062 | 104710 872473 2404144 | 1 43320 88 | 24.076 % | 498.98/499.08 c | 294242 | 104693 872473 2404144 | 1 43498 88 | 24.089 % | 498.98/499.08 c | 294342 | 104692 872473 2404144 | 1 43597 89 | 24.089 % | 498.98/499.08 c | 294444 | 104692 872473 2404144 | 1 43699 89 | 24.089 % | 498.98/499.08 c | 294544 | 104692 872473 2404144 | 1 43799 90 | 24.089 % | 498.98/499.08 c | 294645 | 104692 872473 2404144 | 1 43900 91 | 24.089 % | 498.98/499.08 c | 294745 | 104692 872473 2404144 | 1 44000 91 | 24.089 % | 498.98/499.08 c | 294851 | 104692 872473 2404144 | 1 44106 92 | 24.089 % | 498.98/499.08 c | 294952 | 104692 872403 2403901 | 1 44207 92 | 24.089 % | 498.98/499.08 c | 295123 | 104692 872403 2403901 | 1 44378 93 | 24.089 % | 498.98/499.08 c | 295223 | 104692 872403 2403901 | 1 44478 94 | 24.089 % | 498.98/499.08 c | 295323 | 104690 872403 2403901 | 1 44576 94 | 24.091 % | 498.98/499.08 c | 295439 | 104690 872403 2403901 | 1 44692 95 | 24.091 % | 498.98/499.08 c | 295793 | 104690 872403 2403901 | 1 45046 96 | 24.091 % | 498.98/499.08 c | 296094 | 104690 872403 2403901 | 1 45347 97 | 24.091 % | 498.98/499.08 c | 296819 | 104690 872403 2403901 | 1 46072 99 | 24.091 % | 498.98/499.08 c | 296923 | 104690 872403 2403901 | 1 46171 99 | 24.091 % | 498.98/499.08 c | 297224 | 104690 872403 2403901 | 1 46472 99 | 24.091 % | 498.98/499.08 c | 299369 | 104686 872385 2403847 | 1 48616 103 | 24.094 % | 498.98/499.08 c | 301466 | 104686 872385 2403847 | 1 50713 110 | 24.094 % | 498.98/499.08 c | 304511 | 104685 872385 2403847 | 1 53757 119 | 24.095 % | 498.98/499.08 c | 304611 | 104685 872385 2403847 | 1 53857 120 | 24.095 % | 498.98/499.08 c | 305372 | 104600 872385 2403847 | 1 54617 122 | 24.156 % | 498.98/499.08 c | 305476 | 104600 872385 2403847 | 1 54721 122 | 24.156 % | 498.98/499.08 c | 305936 | 104600 872385 2403847 | 1 55181 124 | 24.156 % | 556.09/556.15 c | 306213 | 104585 872343 2403721 | 1 55457 125 | 24.167 % | 556.09/556.15 c | 306313 | 104585 872343 2403721 | 1 55557 125 | 24.167 % | 556.09/556.15 c | 306416 | 104585 872343 2403721 | 1 55660 126 | 24.167 % | 556.09/556.15 c | 306526 | 104585 872343 2403721 | 1 55770 126 | 24.167 % | 556.09/556.15 c | 307243 | 104585 872343 2403721 | 1 56487 128 | 24.167 % | 556.09/556.15 c | 307344 | 104585 872343 2403721 | 1 56588 128 | 24.167 % | 556.09/556.15 c | 307532 | 104585 872343 2403721 | 1 56776 129 | 24.167 % | 556.09/556.15 c | 307851 | 104585 872343 2403721 | 1 57095 129 | 24.167 % | 556.09/556.15 c | 307951 | 104585 872295 2403545 | 1 57193 130 | 24.167 % | 556.09/556.15 c | 308051 | 104585 872295 2403545 | 1 57293 130 | 24.167 % | 556.09/556.15 c | 308195 | 104585 872295 2403545 | 1 57437 130 | 24.167 % | 556.09/556.15 c | 308296 | 104585 872295 2403545 | 1 57538 130 | 24.167 % | 556.09/556.15 c | 316906 | 104495 872295 2403545 | 1 66136 140 | 24.232 % | 556.09/556.15 c | 317008 | 104495 871979 2402425 | 1 66191 140 | 24.232 % | 556.09/556.15 c | 321616 | 104494 871979 2402425 | 1 70798 145 | 24.233 % | 556.09/556.15 c | 322083 | 104494 871979 2402425 | 1 71265 145 | 24.233 % | 556.09/556.15 c | 322967 | 104494 871979 2402425 | 1 72149 146 | 24.233 % | 556.09/556.15 c | 323067 | 104494 871979 2402425 | 1 72249 146 | 24.233 % | 556.09/556.15 c | 323168 | 104494 871979 2402425 | 1 72350 146 | 24.233 % | 556.09/556.15 c | 323270 | 104494 871979 2402425 | 1 72452 146 | 24.233 % | 556.09/556.15 c | 324272 | 104494 871979 2402425 | 1 73454 149 | 24.233 % | 556.09/556.15 c | 324535 | 104494 871979 2402425 | 1 73717 149 | 24.233 % | 556.09/556.15 c | 324716 | 104494 871979 2402425 | 1 73898 150 | 24.233 % | 556.09/556.15 c | 324918 | 104494 871979 2402425 | 1 74100 150 | 24.233 % | 556.09/556.15 c | 325019 | 104494 871979 2402425 | 1 74201 150 | 24.233 % | 556.09/556.15 c | 325468 | 104466 871893 2402103 | 1 74645 151 | 24.253 % | 556.09/556.15 c | 325568 | 104466 871893 2402103 | 1 74745 151 | 24.253 % | 556.09/556.15 c | 325668 | 104466 871893 2402103 | 1 74845 151 | 24.253 % | 556.09/556.15 c | 325768 | 104466 871893 2402103 | 1 74945 151 | 24.253 % | 556.09/556.15 c | 325868 | 104466 871893 2402103 | 1 75045 151 | 24.253 % | 556.09/556.15 c | 325968 | 104466 871893 2402103 | 1 75145 152 | 24.253 % | 556.09/556.15 c | 326068 | 104466 871893 2402103 | 1 75245 152 | 24.253 % | 556.09/556.15 c | 326168 | 104466 871893 2402103 | 1 75345 152 | 24.253 % | 556.09/556.15 c | 326268 | 104466 871893 2402103 | 1 75445 152 | 24.253 % | 556.09/556.15 c | 326610 | 104466 871893 2402103 | 1 75787 153 | 24.253 % | 556.09/556.15 c | 326714 | 104466 871893 2402103 | 1 75891 153 | 24.253 % | 556.09/556.15 c | 326931 | 104466 871893 2402103 | 1 76108 153 | 24.253 % | 556.09/556.15 c | 328077 | 104466 871893 2402103 | 1 77254 153 | 24.253 % | 556.09/556.15 c | 329425 | 104466 871893 2402103 | 1 78602 157 | 24.253 % | 556.09/556.15 c | 329525 | 104466 871893 2402103 | 1 78702 157 | 24.253 % | 556.09/556.15 c | 329625 | 104466 871893 2402103 | 1 78802 158 | 24.253 % | 556.09/556.15 c | 329725 | 104466 871893 2402103 | 1 78902 158 | 24.253 % | 556.09/556.15 c | 330790 | 104452 871848 2401936 | 1 79964 159 | 24.263 % | 556.09/556.15 c | 330890 | 104452 871848 2401936 | 1 80064 159 | 24.263 % | 556.09/556.15 c | 333256 | 104305 871800 2401760 | 1 44622 70 | 24.370 % | 556.09/556.15 c | 333422 | 104305 871800 2401760 | 1 44788 70 | 24.370 % | 556.09/556.15 c | 333523 | 104305 871800 2401760 | 1 44889 70 | 24.370 % | 556.09/556.15 c | 335873 | 104292 871345 2400095 | 1 47228 76 | 24.380 % | 556.09/556.15 c | 336375 | 104292 871345 2400095 | 1 47730 77 | 24.380 % | 556.09/556.15 c | 336538 | 104290 871345 2400095 | 1 47891 79 | 24.381 % | 646.79/646.85 c | 336638 | 104290 871345 2400095 | 1 47991 79 | 24.381 % | 646.79/646.85 c | 336738 | 104290 871345 2400095 | 1 48091 79 | 24.381 % | 646.79/646.85 c | 336883 | 104290 871345 2400095 | 1 48236 80 | 24.381 % | 646.79/646.85 c | 339837 | 104290 871345 2400095 | 1 51190 93 | 24.381 % | 646.79/646.85 c | 339937 | 104289 871345 2400095 | 1 51289 93 | 24.382 % | 646.79/646.85 c | 340094 | 104278 871345 2400095 | 1 51445 94 | 24.390 % | 646.79/646.85 c | 340336 | 104278 871345 2400095 | 1 51687 95 | 24.390 % | 646.79/646.85 c | 340436 | 104278 871345 2400095 | 1 51787 95 | 24.390 % | 646.79/646.85 c | 340869 | 104278 871345 2400095 | 1 52220 97 | 24.390 % | 646.79/646.85 c | 343457 | 104278 871345 2400095 | 1 54808 110 | 24.390 % | 646.79/646.85 c | 343557 | 104278 871272 2399846 | 1 54906 110 | 24.390 % | 646.79/646.85 c | 343657 | 104278 871272 2399846 | 1 55006 110 | 24.390 % | 646.79/646.85 c | 343759 | 104278 871272 2399846 | 1 55108 110 | 24.390 % | 646.79/646.85 c | 343859 | 104278 871272 2399846 | 1 55208 111 | 24.390 % | 646.79/646.85 c | 349615 | 104278 871272 2399846 | 1 60964 130 | 24.390 % | 646.79/646.85 c | 349716 | 104278 871272 2399846 | 1 61065 130 | 24.390 % | 646.79/646.85 c | 349816 | 104278 871272 2399846 | 1 61165 130 | 24.390 % | 646.79/646.85 c | 350362 | 104272 871270 2399829 | 1 61708 131 | 24.394 % | 646.79/646.85 c | 350548 | 104272 871270 2399829 | 1 61894 132 | 24.394 % | 646.79/646.85 c | 350648 | 104272 871270 2399829 | 1 61994 132 | 24.394 % | 646.79/646.85 c | 350752 | 104272 871270 2399829 | 1 62098 132 | 24.394 % | 646.79/646.85 c | 351511 | 104272 871270 2399829 | 1 62857 135 | 24.394 % | 646.79/646.85 c | 354936 | 104249 871222 2399642 | 1 66274 137 | 24.411 % | 646.79/646.85 c | 355036 | 104249 871222 2399642 | 1 66374 138 | 24.411 % | 646.79/646.85 c | 355252 | 104249 871222 2399642 | 1 66590 138 | 24.411 % | 646.79/646.85 c | 355352 | 104249 871222 2399642 | 1 66690 138 | 24.411 % | 646.79/646.85 c | 358566 | 104248 871222 2399642 | 1 69903 142 | 24.411 % | 646.79/646.85 c | 358955 | 104248 871220 2399625 | 1 70292 143 | 24.411 % | 646.79/646.85 c | 362825 | 104236 871187 2399510 | 1 74147 151 | 24.420 % | 646.79/646.85 c | 366427 | 104223 871114 2399261 | 1 77743 159 | 24.430 % | 646.79/646.85 c | 368344 | 104213 871052 2399045 | 1 79658 162 | 24.437 % | 646.79/646.85 c | 374647 | 104186 871052 2399045 | 1 85956 169 | 24.456 % | 646.79/646.85 c | 374748 | 104186 871052 2399045 | 1 86057 169 | 24.456 % | 646.79/646.85 c | 374848 | 104186 871052 2399045 | 1 86157 169 | 24.456 % | 646.79/646.85 c | 374949 | 104186 871052 2399045 | 1 86258 170 | 24.456 % | 646.79/646.85 c | 378808 | 104186 871052 2399045 | 1 51463 90 | 24.456 % | 646.79/646.85 c | 378908 | 104186 870950 2398689 | 1 51557 91 | 24.456 % | 646.79/646.85 c | 379008 | 104186 870950 2398689 | 1 51657 91 | 24.456 % | 646.79/646.85 c | 379110 | 104186 870950 2398689 | 1 51759 92 | 24.456 % | 646.79/646.85 c | 379210 | 104186 870950 2398689 | 1 51859 92 | 24.456 % | 646.79/646.85 c | 379382 | 104186 870950 2398689 | 1 52031 93 | 24.456 % | 646.79/646.85 c | 379483 | 104186 870950 2398689 | 1 52132 93 | 24.456 % | 646.79/646.85 c | 379583 | 104186 870950 2398689 | 1 52232 94 | 24.456 % | 646.79/646.85 c | 379686 | 104186 870950 2398689 | 1 52335 94 | 24.456 % | 646.79/646.85 c | 379912 | 104186 870950 2398689 | 1 52561 95 | 24.456 % | 646.79/646.85 c | 380014 | 104186 870950 2398689 | 1 52663 95 | 24.456 % | 646.79/646.85 c | 380114 | 104186 870950 2398689 | 1 52763 96 | 24.456 % | 646.79/646.85 c | 382027 | 104186 870950 2398689 | 1 54676 100 | 24.456 % | 646.79/646.85 c | 382767 | 104185 870950 2398689 | 1 55415 103 | 24.457 % | 646.79/646.85 c | 382867 | 104185 870950 2398689 | 1 55515 104 | 24.457 % | 698.09/698.14 c | 382968 | 104185 870950 2398689 | 1 55616 104 | 24.457 % | 698.09/698.14 c | 385438 | 104185 870950 2398689 | 1 58086 111 | 24.457 % | 698.09/698.14 c | 387773 | 104176 870950 2398689 | 1 60419 119 | 24.464 % | 698.09/698.14 c | 387873 | 104176 870950 2398689 | 1 60519 119 | 24.464 % | 698.09/698.14 c | 388030 | 104176 870950 2398689 | 1 60676 119 | 24.464 % | 698.09/698.14 c | 388599 | 104176 870950 2398689 | 1 61245 121 | 24.464 % | 698.09/698.14 c | 388701 | 104176 870950 2398689 | 1 61347 121 | 24.464 % | 698.09/698.14 c | 388802 | 104176 870950 2398689 | 1 61448 121 | 24.464 % | 698.09/698.14 c | 389692 | 104154 870864 2398385 | 1 62324 121 | 24.480 % | 698.09/698.14 c | 394105 | 104154 870864 2398385 | 1 66737 134 | 24.480 % | 698.09/698.14 c | 394463 | 104143 870818 2398223 | 1 67090 135 | 24.488 % | 698.09/698.14 c | 394770 | 104143 870818 2398223 | 1 67397 135 | 24.488 % | 698.09/698.14 c | 395005 | 104143 870818 2398223 | 1 67632 136 | 24.488 % | 698.09/698.14 c | 395105 | 104143 870818 2398223 | 1 67732 136 | 24.488 % | 698.09/698.14 c | 395205 | 104143 870818 2398223 | 1 67832 136 | 24.488 % | 698.09/698.14 c | 395306 | 104143 870818 2398223 | 1 67933 136 | 24.488 % | 698.09/698.14 c | 395406 | 104143 870818 2398223 | 1 68033 136 | 24.488 % | 698.09/698.14 c | 395508 | 104143 870818 2398223 | 1 68135 136 | 24.488 % | 698.09/698.14 c | 395610 | 104135 870818 2398223 | 1 68236 136 | 24.493 % | 698.09/698.14 c | 396904 | 104135 870818 2398223 | 1 69530 139 | 24.493 % | 698.09/698.14 c | 398015 | 104077 870777 2398068 | 1 70636 140 | 24.535 % | 698.09/698.14 c | 399096 | 104077 870777 2398068 | 1 71717 141 | 24.535 % | 698.09/698.14 c | 399196 | 104077 870672 2397705 | 1 71800 141 | 24.535 % | 698.09/698.14 c | 399385 | 104077 870672 2397705 | 1 71989 142 | 24.535 % | 698.09/698.14 c | 400106 | 104077 870672 2397705 | 1 72710 142 | 24.535 % | 698.09/698.14 c | 400206 | 104077 870672 2397705 | 1 72810 143 | 24.535 % | 698.09/698.14 c | 400308 | 104077 870672 2397705 | 1 72912 143 | 24.535 % | 698.09/698.14 c | 400410 | 104077 870672 2397705 | 1 73014 143 | 24.535 % | 698.09/698.14 c | 401790 | 104077 870672 2397705 | 1 74394 151 | 24.535 % | 698.09/698.14 c | 405083 | 104064 870597 2397450 | 1 77682 156 | 24.545 % | 698.09/698.14 c | 405220 | 104064 870597 2397450 | 1 77819 157 | 24.545 % | 698.09/698.14 c | 405320 | 104064 870597 2397450 | 1 77919 157 | 24.545 % | 698.09/698.14 c | 405502 | 104064 870597 2397450 | 1 78101 157 | 24.545 % | 698.09/698.14 c | 405688 | 104064 870597 2397450 | 1 78287 157 | 24.545 % | 698.09/698.14 c | 405788 | 104064 870597 2397450 | 1 78387 158 | 24.545 % | 698.09/698.14 c | 405892 | 104064 870597 2397450 | 1 78491 158 | 24.545 % | 698.09/698.14 c | 405993 | 104064 870597 2397450 | 1 78592 158 | 24.545 % | 698.09/698.14 c | 406094 | 104064 870597 2397450 | 1 78693 158 | 24.545 % | 698.09/698.14 c | 406194 | 104064 870597 2397450 | 1 78793 158 | 24.545 % | 698.09/698.14 c | 406317 | 104064 870597 2397450 | 1 78916 159 | 24.545 % | 698.09/698.14 c | 407022 | 104064 870597 2397450 | 1 79621 159 | 24.545 % | 698.09/698.14 c | 407576 | 104060 870585 2397414 | 1 80172 161 | 24.548 % | 698.09/698.14 c | 407677 | 104060 870585 2397414 | 1 80273 161 | 24.548 % | 698.09/698.14 c | 407778 | 104060 870585 2397414 | 1 80374 161 | 24.548 % | 698.09/698.14 c | 407878 | 104060 870585 2397414 | 1 80474 161 | 24.548 % | 698.09/698.14 c | 408107 | 104060 870585 2397414 | 1 80703 162 | 24.548 % | 698.09/698.14 c | 408207 | 104060 870585 2397414 | 1 80803 162 | 24.548 % | 698.09/698.14 c | 408307 | 104060 870585 2397414 | 1 80903 162 | 24.548 % | 698.09/698.14 c | 408407 | 104060 870585 2397414 | 1 81003 162 | 24.548 % | 698.09/698.14 c | 408759 | 104060 870585 2397414 | 1 81355 163 | 24.548 % | 785.39/785.47 c | 409561 | 104060 870585 2397414 | 1 82157 163 | 24.548 % | 785.39/785.47 c | 410082 | 104060 870585 2397414 | 1 82678 164 | 24.548 % | 785.39/785.47 c | 410184 | 104060 870585 2397414 | 1 82780 164 | 24.548 % | 785.39/785.47 c | 410362 | 104060 870585 2397414 | 1 82958 164 | 24.548 % | 785.39/785.47 c | 410691 | 104059 870585 2397414 | 1 83286 165 | 24.548 % | 785.39/785.47 c | 413274 | 104059 870585 2397414 | 1 85869 165 | 24.548 % | 785.39/785.47 c | 413374 | 104059 870585 2397414 | 1 85969 165 | 24.548 % | 785.39/785.47 c | 413474 | 104059 870585 2397414 | 1 86069 165 | 24.548 % | 785.39/785.47 c | 413575 | 104059 870585 2397414 | 1 86170 165 | 24.548 % | 785.39/785.47 c | 414175 | 104050 870582 2397405 | 1 86767 165 | 24.555 % | 785.39/785.47 c | 418911 | 104050 870582 2397405 | 1 91503 172 | 24.555 % | 785.39/785.47 c | 419013 | 104050 870582 2397405 | 1 91605 172 | 24.555 % | 785.39/785.47 c | 427949 | 104050 870582 2397405 | 1 56351 108 | 24.555 % | 785.39/785.47 c | 432179 | 104040 870582 2397405 | 1 60579 118 | 24.562 % | 785.39/785.47 c | 432771 | 104012 870579 2397396 | 1 61169 118 | 24.583 % | 785.39/785.47 c | 433762 | 104012 870579 2397396 | 1 62160 122 | 24.583 % | 785.39/785.47 c | 433863 | 104012 870527 2397210 | 1 62253 123 | 24.583 % | 785.39/785.47 c | 433963 | 104012 870527 2397210 | 1 62353 123 | 24.583 % | 785.39/785.47 c | 434071 | 104008 870527 2397210 | 1 62460 123 | 24.585 % | 785.39/785.47 c | 434385 | 104008 870527 2397210 | 1 62774 124 | 24.585 % | 785.39/785.47 c | 434485 | 104008 870527 2397210 | 1 62874 124 | 24.585 % | 785.39/785.47 c | 434585 | 104008 870527 2397210 | 1 62974 124 | 24.585 % | 785.39/785.47 c | 434686 | 104008 870527 2397210 | 1 63075 124 | 24.585 % | 785.39/785.47 c | 434788 | 104008 870527 2397210 | 1 63177 124 | 24.585 % | 785.39/785.47 c | 434888 | 104008 870527 2397210 | 1 63277 125 | 24.585 % | 785.39/785.47 c | 434997 | 104008 870527 2397210 | 1 63386 125 | 24.585 % | 785.39/785.47 c | 435098 | 104008 870527 2397210 | 1 63487 125 | 24.585 % | 785.39/785.47 c | 435201 | 104008 870527 2397210 | 1 63590 125 | 24.585 % | 785.39/785.47 c | 439529 | 103986 870481 2397048 | 1 67906 137 | 24.601 % | 785.39/785.47 c | 439629 | 103986 870481 2397048 | 1 68006 137 | 24.601 % | 785.39/785.47 c | 439731 | 103986 870481 2397048 | 1 68108 137 | 24.601 % | 785.39/785.47 c | 439831 | 103986 870481 2397048 | 1 68208 138 | 24.601 % | 785.39/785.47 c | 440055 | 103986 870481 2397048 | 1 68432 138 | 24.601 % | 785.39/785.47 c | 440156 | 103986 870481 2397048 | 1 68533 138 | 24.601 % | 785.39/785.47 c | 440706 | 103620 870481 2397048 | 1 69082 139 | 24.867 % | 785.39/785.47 c | 441041 | 103610 870481 2397048 | 1 69416 140 | 24.874 % | 785.39/785.47 c | 441963 | 103610 870481 2397048 | 1 70338 141 | 24.874 % | 785.39/785.47 c | 444781 | 103610 869149 2392132 | 1 73144 147 | 24.874 % | 785.39/785.47 c | 444881 | 103610 869149 2392132 | 1 73244 148 | 24.874 % | 785.39/785.47 c | 444982 | 103610 869149 2392132 | 1 73345 148 | 24.874 % | 785.39/785.47 c | 445343 | 103610 869149 2392132 | 1 73706 148 | 24.874 % | 785.39/785.47 c | 445443 | 103592 869147 2392115 | 1 73804 149 | 24.887 % | 785.39/785.47 c | 447720 | 103592 869147 2392115 | 1 76081 157 | 24.887 % | 785.39/785.47 c | 447820 | 103592 869147 2392115 | 1 76181 157 | 24.887 % | 785.39/785.47 c | 447966 | 103592 869082 2391890 | 1 76324 157 | 24.887 % | 785.39/785.47 c | 448066 | 103592 869082 2391890 | 1 76424 157 | 24.887 % | 785.39/785.47 c | 448167 | 103592 869082 2391890 | 1 76525 158 | 24.887 % | 785.39/785.47 c | 449724 | 103582 869082 2391890 | 1 78081 159 | 24.894 % | 785.39/785.47 c | 450406 | 103581 869028 2391706 | 1 78753 159 | 24.895 % | 785.39/785.47 c | 450831 | 103581 869028 2391706 | 1 79178 160 | 24.895 % | 840.69/840.73 c | 450931 | 103581 869028 2391706 | 1 79278 160 | 24.895 % | 840.69/840.73 c | 451032 | 103581 869028 2391706 | 1 79379 160 | 24.895 % | 840.69/840.73 c | 451654 | 103581 869028 2391706 | 1 80001 161 | 24.895 % | 840.69/840.73 c | 452330 | 103581 869028 2391706 | 1 80677 162 | 24.895 % | 840.69/840.73 c | 452431 | 103581 869028 2391706 | 1 80778 162 | 24.895 % | 840.69/840.73 c | 452531 | 103581 869028 2391706 | 1 80878 163 | 24.895 % | 840.69/840.73 c | 452715 | 103581 869028 2391706 | 1 81062 163 | 24.895 % | 840.69/840.73 c | 453104 | 103581 869028 2391706 | 1 81451 164 | 24.895 % | 840.69/840.73 c | 453204 | 103581 869028 2391706 | 1 81551 164 | 24.895 % | 840.69/840.73 c | 454866 | 103581 869028 2391706 | 1 83213 165 | 24.895 % | 840.69/840.73 c | 455070 | 103581 869028 2391706 | 1 83417 165 | 24.895 % | 840.69/840.73 c | 461065 | 103580 869028 2391706 | 1 89409 182 | 24.896 % | 840.69/840.73 c | 461843 | 103580 869028 2391706 | 1 90187 183 | 24.896 % | 840.69/840.73 c | 465649 | 103580 869028 2391706 | 1 93993 190 | 24.896 % | 840.69/840.73 c | 466578 | 103579 869028 2391706 | 1 94921 191 | 24.896 % | 840.69/840.73 c | 467079 | 103579 869028 2391706 | 1 95422 191 | 24.896 % | 840.69/840.73 c | 467700 | 103579 869028 2391706 | 1 96043 192 | 24.896 % | 840.69/840.73 c | 468169 | 103579 869028 2391706 | 1 96512 193 | 24.896 % | 840.69/840.73 c | 468270 | 103579 869028 2391706 | 1 96613 193 | 24.896 % | 840.69/840.73 c | 468472 | 103561 869028 2391706 | 1 96814 193 | 24.910 % | 840.69/840.73 c | 468574 | 103560 869028 2391706 | 1 96915 193 | 24.910 % | 840.69/840.73 c | 468727 | 103560 869028 2391706 | 1 97068 193 | 24.910 % | 840.69/840.73 c | 468827 | 103560 869028 2391706 | 1 97168 193 | 24.910 % | 840.69/840.73 c | 468932 | 103560 869028 2391706 | 1 97273 193 | 24.910 % | 840.69/840.73 c | 469050 | 103560 869028 2391706 | 1 97391 194 | 24.910 % | 840.69/840.73 c | 469150 | 103560 869028 2391706 | 1 97491 193 | 24.910 % | 840.69/840.73 c | 469250 | 103560 869028 2391706 | 1 97591 194 | 24.910 % | 840.69/840.73 c | 469351 | 103515 869028 2391706 | 1 97691 194 | 24.943 % | 840.69/840.73 c | 469451 | 103515 869028 2391706 | 1 97791 194 | 24.943 % | 840.69/840.73 c | 469633 | 103515 869028 2391706 | 1 97973 194 | 24.943 % | 840.69/840.73 c | 469733 | 103515 869028 2391706 | 1 98073 194 | 24.943 % | 840.69/840.73 c | 469834 | 103515 869028 2391706 | 1 52605 81 | 24.943 % | 840.69/840.73 c | 469934 | 103515 869028 2391706 | 1 52705 81 | 24.943 % | 840.69/840.73 c | 471053 | 103515 869028 2391706 | 1 53824 85 | 24.943 % | 840.69/840.73 c | 471155 | 102884 868900 2391289 | 1 53919 85 | 25.400 % | 840.69/840.73 c | 472233 | 102883 868900 2391289 | 1 54996 87 | 25.401 % | 840.69/840.73 c | 475196 | 102870 859812 2363995 | 1 57944 93 | 25.411 % | 840.69/840.73 c | 475296 | 102870 859812 2363995 | 1 58044 94 | 25.411 % | 840.69/840.73 c | 475397 | 102870 859812 2363995 | 1 58145 94 | 25.411 % | 840.69/840.73 c | 475958 | 102786 859755 2363794 | 1 58700 96 | 25.471 % | 840.69/840.73 c | 476058 | 102786 859755 2363794 | 1 58800 96 | 25.471 % | 840.69/840.73 c | 476159 | 102786 859755 2363794 | 1 58901 96 | 25.471 % | 840.69/840.73 c | 476262 | 102786 859755 2363794 | 1 59004 96 | 25.471 % | 840.69/840.73 c | 476363 | 102786 859755 2363794 | 1 59105 97 | 25.471 % | 840.69/840.73 c | 476924 | 102786 859755 2363794 | 1 59666 98 | 25.471 % | 840.69/840.73 c | 477025 | 102786 859755 2363794 | 1 59767 98 | 25.471 % | 840.69/840.73 c | 477128 | 102786 859513 2362948 | 1 59848 98 | 25.471 % | 840.69/840.73 c | 478189 | 102786 859513 2362948 | 1 60909 99 | 25.471 % | 840.69/840.73 c | 478296 | 102786 859513 2362948 | 1 61016 99 | 25.471 % | 840.69/840.73 c | 478711 | 102783 859513 2362948 | 1 61430 100 | 25.474 % | 964.39/964.46 c | 478968 | 102783 859513 2362948 | 1 61687 101 | 25.474 % | 964.39/964.46 c | 479068 | 102783 859513 2362948 | 1 61787 102 | 25.474 % | 964.39/964.46 c | 479315 | 102783 859513 2362948 | 1 62034 103 | 25.474 % | 964.39/964.46 c | 479416 | 102783 859513 2362948 | 1 62135 103 | 25.474 % | 964.39/964.46 c | 479816 | 102782 859513 2362948 | 1 62534 104 | 25.474 % | 964.39/964.46 c | 479916 | 102782 859513 2362948 | 1 62634 104 | 25.474 % | 964.39/964.46 c | 480016 | 102782 859513 2362948 | 1 62734 104 | 25.474 % | 964.39/964.46 c | 480386 | 102782 859513 2362948 | 1 63104 105 | 25.474 % | 964.39/964.46 c | 480491 | 102782 859513 2362948 | 1 63209 105 | 25.474 % | 964.39/964.46 c | 481744 | 102782 859513 2362948 | 1 64462 106 | 25.474 % | 964.39/964.46 c | 482129 | 102782 859513 2362948 | 1 64847 107 | 25.474 % | 964.39/964.46 c | 482369 | 102782 859513 2362948 | 1 65087 107 | 25.474 % | 964.39/964.46 c | 482469 | 102782 859513 2362948 | 1 65187 107 | 25.474 % | 964.39/964.46 c | 486080 | 102782 859513 2362948 | 1 68798 111 | 25.474 % | 964.39/964.46 c | 486444 | 102753 859417 2362628 | 1 69146 111 | 25.495 % | 964.39/964.46 c | 486706 | 102742 859417 2362628 | 1 69407 112 | 25.503 % | 964.39/964.46 c | 487117 | 102742 859417 2362628 | 1 69818 112 | 25.503 % | 964.39/964.46 c | 487447 | 102742 859417 2362628 | 1 70148 113 | 25.503 % | 964.39/964.46 c | 489048 | 102732 859417 2362628 | 1 71748 116 | 25.511 % | 964.39/964.46 c | 489151 | 102732 859325 2362298 | 1 71846 117 | 25.511 % | 964.39/964.46 c | 489433 | 102732 859325 2362298 | 1 72128 117 | 25.511 % | 964.39/964.46 c | 489533 | 102731 859325 2362298 | 1 72227 118 | 25.511 % | 964.39/964.46 c | 489804 | 102731 859325 2362298 | 1 72498 118 | 25.511 % | 964.39/964.46 c | 490024 | 102731 859325 2362298 | 1 72718 119 | 25.511 % | 964.39/964.46 c | 490735 | 102723 859325 2362298 | 1 73428 120 | 25.517 % | 964.39/964.46 c | 490933 | 102723 859325 2362298 | 1 73626 120 | 25.517 % | 964.39/964.46 c | 491521 | 102723 859286 2362165 | 1 74211 121 | 25.517 % | 964.39/964.46 c | 497325 | 102714 859255 2362056 | 1 80010 130 | 25.524 % | 964.39/964.46 c | 497573 | 102714 859255 2362056 | 1 80258 130 | 25.524 % | 964.39/964.46 c | 497735 | 102714 859255 2362056 | 1 80420 131 | 25.524 % | 964.39/964.46 c | 497837 | 102713 859255 2362056 | 1 80521 131 | 25.524 % | 964.39/964.46 c | 497942 | 102713 859255 2362056 | 1 80626 132 | 25.524 % | 964.39/964.46 c | 498043 | 102713 859255 2362056 | 1 80727 132 | 25.524 % | 964.39/964.46 c | 498155 | 102713 859255 2362056 | 1 80839 132 | 25.524 % | 964.39/964.46 c | 498255 | 102713 859255 2362056 | 1 80939 132 | 25.524 % | 964.39/964.46 c | 498361 | 102713 859255 2362056 | 1 81045 132 | 25.524 % | 964.39/964.46 c | 498463 | 102713 859255 2362056 | 1 81147 133 | 25.524 % | 964.39/964.46 c | 498808 | 102713 859255 2362056 | 1 81492 133 | 25.524 % | 964.39/964.46 c | 498943 | 102713 859255 2362056 | 1 81627 134 | 25.524 % | 964.39/964.46 c | 499044 | 102713 859255 2362056 | 1 81728 134 | 25.524 % | 964.39/964.46 c | 499145 | 102713 859255 2362056 | 1 81829 134 | 25.524 % | 964.39/964.46 c | 499250 | 102713 859255 2362056 | 1 81934 134 | 25.524 % | 964.39/964.46 c | 499354 | 102713 859255 2362056 | 1 82038 134 | 25.524 % | 964.39/964.46 c | 499454 | 102713 859255 2362056 | 1 82138 135 | 25.524 % | 964.39/964.46 c | 499555 | 102713 859255 2362056 | 1 82239 135 | 25.524 % | 964.39/964.46 c | 499688 | 102713 859255 2362056 | 1 82372 135 | 25.524 % | 964.39/964.46 c | 506619 | 102712 859255 2362056 | 1 89302 138 | 25.525 % | 964.39/964.46 c | 509220 | 102695 859183 2361807 | 1 91899 140 | 25.537 % | 964.39/964.46 c | 510155 | 102695 859183 2361807 | 1 92834 141 | 25.537 % | 964.39/964.46 c | 535760 | 102692 859163 2361747 | 1 72391 85 | 25.540 % | 1092.71/1092.79 c | 540615 | 102594 859163 2361747 | 1 77244 89 | 25.611 % | 1092.71/1092.79 c | 540836 | 102594 859163 2361747 | 1 77465 89 | 25.611 % | 1092.71/1092.79 c | 540937 | 102594 859163 2361747 | 1 77566 90 | 25.611 % | 1092.71/1092.79 c | 543189 | 102594 859163 2361747 | 1 79818 96 | 25.611 % | 1092.71/1092.79 c | 543289 | 102594 859163 2361747 | 1 79918 96 | 25.611 % | 1092.71/1092.79 c | 543391 | 102594 859163 2361747 | 1 80020 96 | 25.611 % | 1092.71/1092.79 c | 543708 | 102594 859163 2361747 | 1 80337 97 | 25.611 % | 1092.71/1092.79 c | 558490 | 102593 859163 2361747 | 1 95118 114 | 25.611 % | 1092.71/1092.79 c | 558891 | 102593 859163 2361747 | 1 95519 114 | 25.611 % | 1092.71/1092.79 c | 558992 | 102593 859163 2361747 | 1 95620 114 | 25.611 % | 1092.71/1092.79 c | 559092 | 102593 859163 2361747 | 1 95720 114 | 25.611 % | 1092.71/1092.79 c | 559194 | 102593 859163 2361747 | 1 95822 115 | 25.611 % | 1092.71/1092.79 c | 559295 | 102593 859163 2361747 | 1 95923 115 | 25.611 % | 1092.71/1092.79 c | 559481 | 102593 859163 2361747 | 1 96109 115 | 25.611 % | 1092.71/1092.79 c | 559583 | 102593 859163 2361747 | 1 96211 115 | 25.611 % | 1092.71/1092.79 c | 559687 | 102593 859163 2361747 | 1 96315 115 | 25.611 % | 1092.71/1092.79 c | 564556 | 102593 859163 2361747 | 1 101184 117 | 25.611 % | 1092.71/1092.79 c | 564657 | 102593 859163 2361747 | 1 101285 117 | 25.611 % | 1092.71/1092.79 c | 564757 | 102593 859163 2361747 | 1 101385 117 | 25.611 % | 1092.71/1092.79 c | 564858 | 102593 859163 2361747 | 1 101486 117 | 25.611 % | 1092.71/1092.79 c | 564958 | 102593 859163 2361747 | 1 101586 117 | 25.611 % | 1092.71/1092.79 c | 565058 | 102593 859163 2361747 | 1 101686 117 | 25.611 % | 1092.71/1092.79 c | 566951 | 102593 859163 2361747 | 1 103579 122 | 25.611 % | 1092.71/1092.79 c | 567338 | 102593 859163 2361747 | 1 103966 122 | 25.611 % | 1092.71/1092.79 c | 567439 | 102593 859163 2361747 | 1 104067 122 | 25.611 % | 1092.71/1092.79 c | 567542 | 102593 859163 2361747 | 1 104170 122 | 25.611 % | 1092.71/1092.79 c | 567642 | 102593 859163 2361747 | 1 104270 122 | 25.611 % | 1092.71/1092.79 c | 567742 | 102593 859163 2361747 | 1 104370 123 | 25.611 % | 1092.71/1092.79 c | 572031 | 102592 859163 2361747 | 1 108655 126 | 25.612 % | 1092.71/1092.79 c | 573329 | 102592 859163 2361747 | 1 109953 127 | 25.612 % | 1092.71/1092.79 c | 573495 | 102592 859163 2361747 | 1 110119 127 | 25.612 % | 1092.71/1092.79 c | 573595 | 102592 859163 2361747 | 1 110219 127 | 25.612 % | 1092.71/1092.79 c | 573696 | 102592 859163 2361747 | 1 110320 127 | 25.612 % | 1092.71/1092.79 c | 573797 | 102592 859163 2361747 | 1 110421 127 | 25.612 % | 1092.71/1092.79 c | 573899 | 102592 859163 2361747 | 1 110523 127 | 25.612 % | 1092.71/1092.79 c | 574000 | 102592 859163 2361747 | 1 110624 128 | 25.612 % | 1092.71/1092.79 c | 574101 | 102592 859163 2361747 | 1 60512 70 | 25.612 % | 1092.71/1092.79 c | 579840 | 102309 858830 2360684 | 1 66211 79 | 25.817 % | 1092.71/1092.79 c | 584449 | 102309 858830 2360684 | 1 70820 88 | 25.817 % | 1092.71/1092.79 c | 584559 | 102309 858830 2360684 | 1 70930 89 | 25.817 % | 1092.71/1092.79 c | 584659 | 102309 858830 2360684 | 1 71030 89 | 25.817 % | 1092.71/1092.79 c | 589382 | 102300 858795 2360563 | 1 75750 97 | 25.824 % | 1092.71/1092.79 c | 592458 | 102300 858795 2360563 | 1 78826 100 | 25.824 % | 1092.71/1092.79 c | 592666 | 102300 858795 2360563 | 1 79034 101 | 25.824 % | 1092.71/1092.79 c | 593259 | 102300 858795 2360563 | 1 79627 103 | 25.824 % | 1092.71/1092.79 c | 593359 | 102300 858795 2360563 | 1 79727 103 | 25.824 % | 1092.71/1092.79 c | 594078 | 102299 858795 2360563 | 1 80445 105 | 25.825 % | 1092.71/1092.79 c | 594250 | 102299 858795 2360563 | 1 80617 105 | 25.825 % | 1092.71/1092.79 c | 597020 | 102299 858795 2360563 | 1 83387 114 | 25.825 % |
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-3283652-1303755591/watcher-3283652-1303755591 -o /tmp/evaluation-result-3283652-1303755591/solver-3283652-1303755591 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3283652-1303755591.cnf running on 2 cores: 4,6 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.40 3.84 3.56 5/192 27430 /proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 [startup+0.0781919 s] /proc/loadavg: 3.40 3.84 3.56 5/192 27430 /proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.101189 s] /proc/loadavg: 3.40 3.84 3.56 5/192 27430 /proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.301151 s] /proc/loadavg: 3.40 3.84 3.56 5/192 27430 /proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.701081 s] /proc/loadavg: 3.40 3.84 3.56 5/192 27430 /proc/meminfo: memFree=13130000/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50094 s] /proc/loadavg: 3.40 3.84 3.56 5/194 27432 /proc/meminfo: memFree=12887872/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 [pid=27431] ppid=27430 vsize=150320 CPUtime=1.49 cores=4,6 /proc/27431/stat : 27431 (SatELite_releas) R 27430 27430 26036 0 -1 4202496 39170 0 0 0 139 10 0 0 25 0 1 0 565789902 153927680 35639 33554432000 134512640 135144242 4288558656 18446744073709551615 134585745 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/27431/statm: 37580 35639 77 155 0 37423 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 159024 [startup+3.10064 s] /proc/loadavg: 3.40 3.84 3.56 5/194 27433 /proc/meminfo: memFree=12883160/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=0 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 333 0 0 0 0 0 0 0 21 0 1 0 565789902 8912896 253 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 253 211 178 0 69 0 [pid=27431] ppid=27430 vsize=151932 CPUtime=3.09 cores=4,6 /proc/27431/stat : 27431 (SatELite_releas) R 27430 27430 26036 0 -1 4202496 42451 0 0 0 298 11 0 0 25 0 1 0 565789902 155578368 36106 33554432000 134512640 135144242 4288558656 18446744073709551615 134585353 0 0 4096 3 0 0 0 17 4 0 0 0 /proc/27431/statm: 37983 36106 77 155 0 37826 0 Current children cumulated CPU time (s) 3.09 Current children cumulated vsize (KiB) 160636 [startup+6.3011 s] /proc/loadavg: 3.69 3.89 3.58 5/194 27436 /proc/meminfo: memFree=13033896/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=98336 CPUtime=1.99 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 18663 0 0 0 196 3 0 0 25 0 1 0 565790333 100696064 17519 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224797 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 24584 17519 250 17 0 21225 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 107040 [startup+12.701 s] /proc/loadavg: 3.87 3.93 3.59 5/194 27436 /proc/meminfo: memFree=13024840/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=99800 CPUtime=8.38 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 20160 0 0 0 835 3 0 0 25 0 1 0 565790333 102195200 19003 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224776 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 24950 19003 250 17 0 21591 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 108504 [startup+25.5007 s] /proc/loadavg: 3.90 3.93 3.60 5/194 27436 /proc/meminfo: memFree=12983560/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=101144 CPUtime=21.18 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 33396 0 0 0 2113 5 0 0 25 0 1 0 565790333 103571456 18554 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 25286 18554 251 17 0 21927 0 Current children cumulated CPU time (s) 25.47 Current children cumulated vsize (KiB) 109848 [startup+51.1072 s] /proc/loadavg: 3.93 3.93 3.61 5/194 27437 /proc/meminfo: memFree=12857148/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=131640 CPUtime=46.79 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 43635 0 0 0 4672 7 0 0 25 0 1 0 565790333 134799360 27865 33554432000 4194304 4260849 140736958606000 18446744073709551615 4210116 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 32910 27865 251 17 0 29551 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 140344 [startup+102.3 s] /proc/loadavg: 3.69 3.88 3.61 4/187 27458 /proc/meminfo: memFree=12888604/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=97.98 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 70462 0 0 0 9786 12 0 0 25 0 1 0 565790333 185303040 37642 33554432000 4194304 4260849 140736958606000 18446744073709551615 4225409 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 37642 251 17 0 41881 0 Current children cumulated CPU time (s) 102.27 Current children cumulated vsize (KiB) 189664 [startup+162.301 s] /proc/loadavg: 3.25 3.72 3.57 4/187 27459 /proc/meminfo: memFree=12893620/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=157.99 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 91683 0 0 0 15781 18 0 0 25 0 1 0 565790333 185303040 36293 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 36293 251 17 0 41881 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 189664 [startup+222.3 s] /proc/loadavg: 3.09 3.58 3.53 4/187 27461 /proc/meminfo: memFree=12870384/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=217.99 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 108059 0 0 0 21776 23 0 0 25 0 1 0 565790333 185303040 39054 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 39054 251 17 0 41881 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 189664 [startup+282.301 s] /proc/loadavg: 3.03 3.47 3.49 4/187 27462 /proc/meminfo: memFree=12861444/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=277.98 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 124051 0 0 0 27770 28 0 0 25 0 1 0 565790333 185303040 39745 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224383 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 39745 251 17 0 41881 0 Current children cumulated CPU time (s) 282.27 Current children cumulated vsize (KiB) 189664 [startup+342.3 s] /proc/loadavg: 3.01 3.39 3.46 4/187 27464 /proc/meminfo: memFree=12904004/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=337.99 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 139883 0 0 0 33765 34 0 0 25 0 1 0 565790333 185303040 39310 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 39310 251 17 0 41881 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 189664 [startup+402.301 s] /proc/loadavg: 3.00 3.31 3.43 4/187 27466 /proc/meminfo: memFree=12861172/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 ################ # More data... # ################ /proc/27436/statm: 45240 37100 251 17 0 41881 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 189664 [startup+702.306 s] /proc/loadavg: 2.03 2.59 3.09 3/180 27493 /proc/meminfo: memFree=12934000/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=211780 CPUtime=698 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 220370 0 0 0 69740 60 0 0 25 0 1 0 565790333 216862720 45608 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 52945 45608 251 17 0 49586 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 220484 [startup+762.301 s] /proc/loadavg: 2.01 2.48 3.02 3/180 27494 /proc/meminfo: memFree=12974480/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=211780 CPUtime=758 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 237436 0 0 0 75735 65 0 0 25 0 1 0 565790333 216862720 41093 33554432000 4194304 4260849 140736958606000 18446744073709551615 4209252 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 52945 41093 251 17 0 49586 0 Current children cumulated CPU time (s) 762.29 Current children cumulated vsize (KiB) 220484 [startup+822.301 s] /proc/loadavg: 2.00 2.39 2.95 2/174 27515 /proc/meminfo: memFree=13203824/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=261868 CPUtime=818 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 246856 0 0 0 81732 68 0 0 25 0 1 0 565790333 268152832 50489 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 65467 50489 251 17 0 62108 0 Current children cumulated CPU time (s) 822.29 Current children cumulated vsize (KiB) 270572 [startup+882.301 s] /proc/loadavg: 1.37 2.13 2.82 2/173 27516 /proc/meminfo: memFree=13237092/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=211780 CPUtime=878 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 262961 0 0 0 87727 73 0 0 25 0 1 0 565790333 216862720 42754 33554432000 4194304 4260849 140736958606000 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 52945 42754 251 17 0 49586 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 220484 [startup+942.301 s] /proc/loadavg: 1.13 1.92 2.71 2/173 27518 /proc/meminfo: memFree=13261376/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=938 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 276340 0 0 0 93723 77 0 0 25 0 1 0 565790333 185303040 36663 33554432000 4194304 4260849 140736958606000 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 36663 251 17 0 41881 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 189664 [startup+1002.3 s] /proc/loadavg: 1.05 1.75 2.60 2/173 27519 /proc/meminfo: memFree=13239896/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=211780 CPUtime=998 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 281779 0 0 0 99721 79 0 0 25 0 1 0 565790333 216862720 42078 33554432000 4194304 4260849 140736958606000 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 52945 42078 251 17 0 49586 0 Current children cumulated CPU time (s) 1002.29 Current children cumulated vsize (KiB) 220484 [startup+1062.3 s] /proc/loadavg: 1.02 1.61 2.50 2/173 27521 /proc/meminfo: memFree=13257352/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=1058.01 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 296522 0 0 0 105717 84 0 0 25 0 1 0 565790333 185303040 37763 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 37763 251 17 0 41881 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 189664 [startup+1122.3 s] /proc/loadavg: 1.00 1.50 2.40 2/173 27523 /proc/meminfo: memFree=13221236/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=211780 CPUtime=1118.01 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 305581 0 0 0 111713 88 0 0 25 0 1 0 565790333 216862720 46795 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 52945 46795 251 17 0 49586 0 Current children cumulated CPU time (s) 1122.3 Current children cumulated vsize (KiB) 220484 [startup+1182.3 s] /proc/loadavg: 1.00 1.41 2.31 2/173 27527 /proc/meminfo: memFree=13256748/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=1178.01 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 319249 0 0 0 117710 91 0 0 25 0 1 0 565790333 185303040 37886 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 37886 251 17 0 41881 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 189664 [startup+1242.3 s] /proc/loadavg: 1.00 1.33 2.22 2/173 27529 /proc/meminfo: memFree=13237384/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=211780 CPUtime=1238.01 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 324019 0 0 0 123708 93 0 0 25 0 1 0 565790333 216862720 42632 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224477 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 52945 42632 251 17 0 49586 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 220484 Maximum wall clock time exceeded: sending SIGTERM then SIGKILL [startup+1300 s] /proc/loadavg: 1.00 1.27 2.14 2/173 27530 /proc/meminfo: memFree=13255208/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=1295.71 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 340251 0 0 0 129474 97 0 0 25 0 1 0 565790333 185303040 38132 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 38132 251 17 0 41881 0 Current children cumulated CPU time (s) 1300 Current children cumulated vsize (KiB) 189664 Sending SIGTERM to process tree (bottom up) Sleeping 2 seconds Solver just ended. Dumping a history of the last processes samples [startup+1300 s] /proc/loadavg: 1.00 1.27 2.14 2/173 27530 /proc/meminfo: memFree=13255208/32951124 swapFree=67102140/67111528 [pid=27430] ppid=27428 vsize=8704 CPUtime=4.29 cores=4,6 /proc/27430/stat : 27430 (glucose.sh) S 27428 27430 26036 0 -1 4202496 360 46948 0 0 0 0 414 15 18 0 1 0 565789902 8912896 255 33554432000 4194304 4922060 140734339079520 18446744073709551615 216734997637 0 65536 4100 65538 18446744071562232103 0 0 17 4 0 0 0 /proc/27430/statm: 2176 255 211 178 0 69 0 [pid=27436] ppid=27430 vsize=180960 CPUtime=1295.71 cores=4,6 /proc/27436/stat : 27436 (glucose_static) R 27430 27430 26036 0 -1 4202496 340251 0 0 0 129474 97 0 0 25 0 1 0 565790333 185303040 38132 33554432000 4194304 4260849 140736958606000 18446744073709551615 4224658 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/27436/statm: 45240 38132 251 17 0 41881 0 Current children cumulated CPU time (s) 1300 Current children cumulated vsize (KiB) 189664 Child ended because it received signal 15 (SIGTERM) # WARNING: # CPU time reported by wait4() is probably wrong ! # wait4(...,&childrusage) returns 27430 and gives # childrusage.ru_utime.tv_sec=4 # childrusage.ru_utime.tv_usec=147369 # childrusage.ru_stime.tv_sec=0 # childrusage.ru_stime.tv_usec=157975 # CPU time returned by wait4() is 4.30534 # while last known CPU time is 1300 # # Solver probably didn't/couldn't wait for its children # Using CPU time of the last sample as value... Real time (s): 1300.01 CPU time (s): 1300 CPU user time (s): 1298.88 CPU system time (s): 1.12 CPU usage (%): 99.9991 Max. virtual memory (cumulated for all children) (KiB): 319892 getrusage(RUSAGE_CHILDREN,...) data: user time used= 4.14737 system time used= 0.157975 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 47308 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= 8 involuntary context switches= 14 runsolver used 2.22566 second user time and 4.41233 second system time The end
Begin job on node119 at 2011-04-25 20:19:52 IDJOB=3283652 IDBENCH=71055 IDSOLVER=1651 FILE ID=node119/3283652-1303755591 RUNJOBID= node119-1303755591-27386 PBS_JOBID= 13154043 Free space on /tmp= 71812 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/APPLICATIONS/diagnosis/UR-20-10p1.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3283652-1303755591/watcher-3283652-1303755591 -o /tmp/evaluation-result-3283652-1303755591/solver-3283652-1303755591 -C 2400 -W 1300 -M 7680 glucose.sh HOME/instance-3283652-1303755591.cnf TIME LIMIT= 2400 seconds MEMORY LIMIT= 7680 MiB NBCORE= 2 MD5SUM BENCH= 6ace5cfbe110f1a43049037cb7432998 RANDOM SEED=277659337 node119.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.815 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.63 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 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.67 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.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.815 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 13130776 kB Buffers: 2220152 kB Cached: 16715328 kB SwapCached: 5504 kB Active: 8246504 kB Inactive: 10988504 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 13130776 kB SwapTotal: 67111528 kB SwapFree: 67102140 kB Dirty: 92744 kB Writeback: 0 kB AnonPages: 296308 kB Mapped: 15124 kB Slab: 520208 kB PageTables: 5468 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 515208 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= 71844 MiB End job on node119 at 2011-04-25 20:41:34