Solver Name | Answer | CPU time | Wall clock time |
---|---|---|---|
glucose 2 | UNSAT | 486.148 | 486.147 |
Name | APPLICATIONS/diagnosis/ UTI-20-10p0.cnf |
MD5SUM | 209f7789e3588d11f275f2003f2c6a67 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 335.143 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 259616 |
Number of clauses | 1374599 |
Sum of the clauses size | 3310772 |
Maximum clause length | 10 |
Minimum clause length | 1 |
Number of clauses of size 1 | 13149 |
Number of clauses of size 2 | 982807 |
Number of clauses of size 3 | 313283 |
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.67 c ============================================================================== 0.00/0.67 c | | ORIGINAL | LEARNT | | 0.00/0.67 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.67 c ============================================================================== 0.00/0.67 c | 0 | 1360580 3295883 | 408173 0 0 nan | 0.000 % | 3.68/3.75 c | 0 | 942285 2636352 | -- 0 -- -- | -- | -116200/27697 3.68/3.75 c ============================================================================== 3.68/3.75 c Result : #vars: 138309 #clauses: 942285 #literals: 2636352 3.68/3.75 c CPU time: 3.63145 s 3.68/3.75 c ============================================================================== 4.19/4.25 c 4.19/4.25 c Starting glucose 4.19/4.25 c 12.18/12.23 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 12.18/12.23 c WARNING: for repeatability, setting FPU to use double precision 12.18/12.23 c ============================[ Problem Statistics ]============================= 12.18/12.23 c | | 12.18/12.23 c | Number of variables: 138309 | 12.18/12.23 c | Number of clauses: 942285 | 12.18/12.23 c | Parse time: 0.24 s | 12.18/12.23 c | | 12.18/12.23 c ============================[ Search Statistics ]============================== 12.18/12.23 c | Conflicts | ORIGINAL | LEARNT | Progress | 12.18/12.23 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 12.18/12.23 c =============================================================================== 12.18/12.23 c | 1078 | 134348 941447 2633168 | 1 1059 39 | 2.864 % | 12.18/12.23 c | 1604 | 131036 937845 2620088 | 1 1572 37 | 5.259 % | 12.18/12.23 c | 1900 | 129902 931567 2597140 | 1 1833 38 | 6.078 % | 12.18/12.23 c | 3468 | 123738 923183 2566250 | 1 3367 46 | 10.535 % | 12.18/12.23 c | 3568 | 123738 923183 2566250 | 1 3467 47 | 10.535 % | 12.18/12.23 c | 3944 | 123738 923183 2566250 | 1 3843 54 | 10.535 % | 12.18/12.23 c | 4463 | 122592 916195 2545254 | 1 2423 38 | 11.364 % | 12.18/12.23 c | 4565 | 122592 916195 2545254 | 1 2525 38 | 11.364 % | 12.18/12.23 c | 4665 | 122584 916195 2545254 | 1 2624 39 | 11.369 % | 12.18/12.23 c | 4768 | 122584 916195 2545254 | 1 2727 40 | 11.369 % | 12.18/12.23 c | 4868 | 122584 916195 2545254 | 1 2827 41 | 11.369 % | 12.18/12.23 c | 4970 | 122584 916195 2545254 | 1 2929 41 | 11.369 % | 12.18/12.23 c | 6667 | 121531 907946 2518939 | 1 4459 48 | 12.131 % | 12.18/12.23 c | 7241 | 120870 906763 2514942 | 1 5018 53 | 12.609 % | 12.18/12.23 c | 7465 | 120547 906763 2514942 | 1 5240 55 | 12.842 % | 12.18/12.23 c | 7782 | 119246 906763 2514942 | 1 5552 55 | 13.783 % | 12.18/12.23 c | 7942 | 119246 906763 2514942 | 1 5712 56 | 13.783 % | 12.18/12.23 c | 8943 | 119246 902959 2502310 | 1 6694 64 | 13.783 % | 12.18/12.23 c | 9152 | 119043 902959 2502310 | 1 6900 65 | 13.930 % | 12.18/12.23 c | 9281 | 119030 902959 2502310 | 1 7028 65 | 13.939 % | 12.18/12.23 c | 9381 | 119030 902959 2502310 | 1 7128 66 | 13.939 % | 12.18/12.23 c | 9565 | 118865 902404 2500197 | 1 7303 66 | 14.058 % | 12.18/12.23 c | 9846 | 118478 902404 2500197 | 1 7581 67 | 14.338 % | 12.18/12.23 c | 10064 | 118478 902404 2500197 | 1 7799 68 | 14.338 % | 12.18/12.23 c | 10644 | 118278 902404 2500197 | 1 4245 42 | 14.483 % | 12.18/12.23 c | 11202 | 118272 902404 2500197 | 1 4802 45 | 14.487 % | 12.18/12.23 c | 11302 | 118272 901908 2498317 | 1 4900 48 | 14.487 % | 12.18/12.23 c | 11711 | 118177 901908 2498317 | 1 5308 49 | 14.556 % | 12.18/12.23 c | 11811 | 118159 901908 2498317 | 1 5406 50 | 14.569 % | 12.18/12.23 c | 11911 | 118144 901908 2498317 | 1 5505 50 | 14.580 % | 12.18/12.23 c | 12649 | 117824 901908 2498317 | 1 6242 55 | 14.811 % | 12.18/12.23 c | 12749 | 117824 901686 2497561 | 1 6334 55 | 14.811 % | 12.18/12.23 c | 13640 | 117612 901686 2497561 | 1 7222 69 | 14.964 % | 12.18/12.23 c | 13764 | 117592 901686 2497561 | 1 7344 69 | 14.979 % | 12.18/12.23 c | 14227 | 117051 901082 2495273 | 1 7794 70 | 15.370 % | 12.18/12.23 c | 14706 | 116966 901082 2495273 | 1 8269 70 | 15.431 % | 12.18/12.23 c | 15945 | 116351 895476 2478222 | 1 9489 70 | 15.876 % | 12.18/12.23 c | 16103 | 116339 895476 2478222 | 1 9646 71 | 15.885 % | 12.18/12.23 c | 16203 | 116339 895476 2478222 | 1 9746 71 | 15.885 % | 21.08/21.13 c | 16339 | 116339 895476 2478222 | 1 9882 71 | 15.885 % | 21.08/21.13 c | 16564 | 115675 895476 2478222 | 1 10106 71 | 16.365 % | 21.08/21.13 c | 16686 | 115595 895476 2478222 | 1 10224 71 | 16.423 % | 21.08/21.13 c | 16790 | 115514 895476 2478222 | 1 10319 71 | 16.481 % | 21.08/21.13 c | 17325 | 115054 886751 2451773 | 1 10780 71 | 16.814 % | 21.08/21.13 c | 17729 | 115035 886751 2451773 | 1 11182 72 | 16.828 % | 21.08/21.13 c | 18533 | 114955 886751 2451773 | 1 11979 74 | 16.885 % | 21.08/21.13 c | 18675 | 114955 886751 2451773 | 1 12121 74 | 16.885 % | 21.08/21.13 c | 18775 | 114955 885706 2448458 | 1 12182 74 | 16.885 % | 21.08/21.13 c | 20249 | 114570 885706 2448458 | 1 7095 44 | 17.164 % | 21.08/21.13 c | 20669 | 114570 884792 2445012 | 1 7511 46 | 17.164 % | 21.08/21.13 c | 20954 | 114559 884792 2445012 | 1 7795 47 | 17.172 % | 21.08/21.13 c | 21579 | 114475 884792 2445012 | 1 8417 51 | 17.232 % | 21.08/21.13 c | 21682 | 114475 884792 2445012 | 1 8520 51 | 17.232 % | 21.08/21.13 c | 21782 | 114475 884519 2443995 | 1 8614 53 | 17.232 % | 21.08/21.13 c | 21884 | 114475 884519 2443995 | 1 8716 54 | 17.232 % | 21.08/21.13 c | 22681 | 114475 884519 2443995 | 1 9513 58 | 17.232 % | 21.08/21.13 c | 23474 | 114475 884519 2443995 | 1 10306 62 | 17.232 % | 21.08/21.13 c | 23576 | 114475 884519 2443995 | 1 10408 63 | 17.232 % | 21.08/21.13 c | 23676 | 113955 884519 2443995 | 1 10507 64 | 17.608 % | 21.08/21.13 c | 24302 | 113927 883208 2439006 | 1 11112 65 | 17.629 % | 21.08/21.13 c | 24749 | 113794 883208 2439006 | 1 11554 64 | 17.725 % | 21.08/21.13 c | 24849 | 113683 883208 2439006 | 1 11649 65 | 17.805 % | 21.08/21.13 c | 25150 | 113672 883208 2439006 | 1 11949 66 | 17.813 % | 21.08/21.13 c | 25556 | 113663 882654 2437135 | 1 12338 66 | 17.820 % | 21.08/21.13 c | 26027 | 113663 882654 2437135 | 1 12809 68 | 17.820 % | 21.08/21.13 c | 26131 | 113651 882654 2437135 | 1 12912 69 | 17.828 % | 21.08/21.13 c | 26231 | 113651 882654 2437135 | 1 13012 69 | 17.828 % | 21.08/21.13 c | 26333 | 113651 882654 2437135 | 1 13114 70 | 17.828 % | 21.08/21.13 c | 27115 | 113651 882654 2437135 | 1 13896 76 | 17.828 % | 21.08/21.13 c | 27276 | 113649 882654 2437135 | 1 14056 77 | 17.830 % | 21.08/21.13 c | 27519 | 113649 882585 2436879 | 1 14295 77 | 17.830 % | 21.08/21.13 c | 27756 | 113649 882585 2436879 | 1 14532 78 | 17.830 % | 21.08/21.13 c | 27856 | 113649 882585 2436879 | 1 14632 79 | 17.830 % | 21.08/21.13 c | 27956 | 113589 882585 2436879 | 1 14730 79 | 17.873 % | 21.08/21.13 c | 28385 | 112985 882585 2436879 | 1 15157 79 | 18.310 % | 21.08/21.13 c | 28489 | 112985 882585 2436879 | 1 15261 80 | 18.310 % | 21.08/21.13 c | 29291 | 112983 882585 2436879 | 1 16062 80 | 18.311 % | 21.08/21.13 c | 30160 | 112491 874176 2411652 | 1 16912 83 | 18.667 % | 21.08/21.13 c | 30269 | 112491 874176 2411652 | 1 17021 83 | 18.667 % | 21.08/21.13 c | 30372 | 112491 874176 2411652 | 1 17124 83 | 18.667 % | 21.08/21.13 c | 30531 | 112482 874176 2411652 | 1 17282 83 | 18.673 % | 21.08/21.13 c | 30631 | 112481 874176 2411652 | 1 17381 84 | 18.674 % | 21.08/21.13 c | 30732 | 112481 874176 2411652 | 1 17482 84 | 18.674 % | 21.08/21.13 c | 31697 | 112481 874095 2411355 | 1 9719 52 | 18.674 % | 21.08/21.13 c | 32963 | 112153 874095 2411355 | 1 10982 55 | 18.911 % | 21.08/21.13 c | 33065 | 112153 874095 2411355 | 1 11084 56 | 18.911 % | 21.08/21.13 c | 33166 | 112153 874078 2411304 | 1 11179 56 | 18.911 % | 21.08/21.13 c | 33266 | 112153 874078 2411304 | 1 11279 58 | 18.911 % | 21.08/21.13 c | 33730 | 112153 874078 2411304 | 1 11743 60 | 18.911 % | 30.98/31.01 c | 33831 | 112153 874078 2411304 | 1 11844 60 | 18.911 % | 30.98/31.01 c | 34039 | 112153 874078 2411304 | 1 12052 62 | 18.911 % | 30.98/31.01 c | 34369 | 112153 874078 2411304 | 1 12382 63 | 18.911 % | 30.98/31.01 c | 34982 | 112153 874078 2411304 | 1 12995 65 | 18.911 % | 30.98/31.01 c | 35687 | 112153 874078 2411304 | 1 13700 68 | 18.911 % | 30.98/31.01 c | 36503 | 111782 874078 2411304 | 1 14510 67 | 19.180 % | 30.98/31.01 c | 36603 | 111258 874078 2411304 | 1 14609 67 | 19.558 % | 30.98/31.01 c | 38722 | 109931 866374 2388073 | 1 16705 70 | 20.518 % | 30.98/31.01 c | 39041 | 109931 866374 2388073 | 1 17024 72 | 20.518 % | 30.98/31.01 c | 39142 | 109931 866374 2388073 | 1 17125 73 | 20.518 % | 30.98/31.01 c | 39668 | 109931 866374 2388073 | 1 17651 72 | 20.518 % | 30.98/31.01 c | 40343 | 109695 866069 2387158 | 1 18282 72 | 20.688 % | 30.98/31.01 c | 40703 | 109550 866069 2387158 | 1 18641 72 | 20.793 % | 30.98/31.01 c | 40803 | 109550 866069 2387158 | 1 18741 72 | 20.793 % | 30.98/31.01 c | 42560 | 109317 864964 2383767 | 1 20487 78 | 20.962 % | 30.98/31.01 c | 42660 | 109317 864964 2383767 | 1 20587 79 | 20.962 % | 30.98/31.01 c | 42831 | 109317 864964 2383767 | 1 20758 79 | 20.962 % | 30.98/31.01 c | 43079 | 109317 864964 2383767 | 1 21006 80 | 20.962 % | 30.98/31.01 c | 43293 | 109317 864964 2383767 | 1 21220 81 | 20.962 % | 30.98/31.01 c | 43434 | 109317 864937 2383678 | 1 21358 81 | 20.962 % | 30.98/31.01 c | 44093 | 109312 864937 2383678 | 1 22016 82 | 20.965 % | 30.98/31.01 c | 44193 | 109312 864937 2383678 | 1 22116 83 | 20.965 % | 30.98/31.01 c | 44539 | 109312 864937 2383678 | 1 22462 84 | 20.965 % | 30.98/31.01 c | 44997 | 109312 864937 2383678 | 1 22920 84 | 20.965 % | 30.98/31.01 c | 46043 | 108288 858863 2365381 | 1 12610 41 | 21.706 % | 30.98/31.01 c | 46468 | 108288 858863 2365381 | 1 13035 48 | 21.706 % | 30.98/31.01 c | 47068 | 108269 858863 2365381 | 1 13633 51 | 21.719 % | 30.98/31.01 c | 47806 | 107772 858863 2365381 | 1 14370 54 | 22.079 % | 30.98/31.01 c | 48243 | 107772 858863 2365381 | 1 14807 57 | 22.079 % | 30.98/31.01 c | 48343 | 107772 857198 2359364 | 1 14897 57 | 22.079 % | 30.98/31.01 c | 48464 | 107772 857198 2359364 | 1 15018 58 | 22.079 % | 30.98/31.01 c | 49694 | 107535 857198 2359364 | 1 16244 61 | 22.250 % | 30.98/31.01 c | 49956 | 107283 856361 2356459 | 1 16495 61 | 22.432 % | 30.98/31.01 c | 50056 | 107283 856361 2356459 | 1 16595 62 | 22.432 % | 30.98/31.01 c | 50160 | 107272 856361 2356459 | 1 16698 62 | 22.440 % | 30.98/31.01 c | 50388 | 107272 856361 2356459 | 1 16926 62 | 22.440 % | 30.98/31.01 c | 50753 | 106756 856361 2356459 | 1 17287 62 | 22.813 % | 30.98/31.01 c | 51152 | 106756 856361 2356459 | 1 17686 62 | 22.813 % | 30.98/31.01 c | 51256 | 106756 856361 2356459 | 1 17790 62 | 22.813 % | 30.98/31.01 c | 51732 | 106559 849224 2334856 | 1 18259 64 | 22.956 % | 30.98/31.01 c | 51983 | 106559 849224 2334856 | 1 18510 65 | 22.956 % | 30.98/31.01 c | 52085 | 106559 849224 2334856 | 1 18612 65 | 22.956 % | 30.98/31.01 c | 52186 | 106559 849224 2334856 | 1 18713 66 | 22.956 % | 30.98/31.01 c | 52356 | 106559 849224 2334856 | 1 18883 66 | 22.956 % | 30.98/31.01 c | 52457 | 106559 849224 2334856 | 1 18984 66 | 22.956 % | 30.98/31.01 c | 53229 | 106341 848114 2331350 | 1 19686 66 | 23.113 % | 30.98/31.01 c | 53374 | 106328 848114 2331350 | 1 19830 66 | 23.123 % | 30.98/31.01 c | 53767 | 106328 848114 2331350 | 1 20223 69 | 23.123 % | 30.98/31.01 c | 53869 | 106222 848114 2331350 | 1 20323 69 | 23.200 % | 30.98/31.01 c | 54533 | 106205 848114 2331350 | 1 20984 70 | 23.212 % | 38.48/38.53 c | 54633 | 106205 848114 2331350 | 1 21084 70 | 23.212 % | 38.48/38.53 c | 54736 | 106204 848114 2331350 | 1 21186 70 | 23.213 % | 38.48/38.53 c | 54996 | 106204 848114 2331350 | 1 21446 71 | 23.213 % | 38.48/38.53 c | 55096 | 106204 848114 2331350 | 1 21546 71 | 23.213 % | 38.48/38.53 c | 55978 | 106052 847936 2330752 | 1 22419 72 | 23.322 % | 38.48/38.53 c | 56088 | 106052 847936 2330752 | 1 22529 72 | 23.322 % | 38.48/38.53 c | 56992 | 106052 847936 2330752 | 1 23433 73 | 23.322 % | 38.48/38.53 c | 57176 | 106052 847936 2330752 | 1 23617 73 | 23.322 % | 38.48/38.53 c | 57276 | 106052 847936 2330752 | 1 23689 73 | 23.322 % | 38.48/38.53 c | 57837 | 106052 847936 2330752 | 1 24250 76 | 23.322 % | 38.48/38.53 c | 57938 | 106046 847936 2330752 | 1 24349 76 | 23.327 % | 38.48/38.53 c | 58038 | 106043 847936 2330752 | 1 24448 76 | 23.329 % | 38.48/38.53 c | 58138 | 106043 847936 2330752 | 1 24548 77 | 23.329 % | 38.48/38.53 c | 58238 | 106043 847936 2330752 | 1 24648 77 | 23.329 % | 38.48/38.53 c | 58566 | 106043 847936 2330752 | 1 24976 77 | 23.329 % | 38.48/38.53 c | 58775 | 106015 847936 2330752 | 1 25184 77 | 23.349 % | 38.48/38.53 c | 59461 | 105953 847936 2330752 | 1 25869 76 | 23.394 % | 38.48/38.53 c | 60821 | 105638 847726 2330111 | 1 27206 79 | 23.622 % | 38.48/38.53 c | 60929 | 105638 847726 2330111 | 1 27314 79 | 23.622 % | 38.48/38.53 c | 61186 | 105638 847726 2330111 | 1 27571 79 | 23.622 % | 38.48/38.53 c | 61287 | 105638 847726 2330111 | 1 27672 79 | 23.622 % | 38.48/38.53 c | 61756 | 105638 847726 2330111 | 1 28141 79 | 23.622 % | 38.48/38.53 c | 62185 | 105628 847187 2328446 | 1 28549 81 | 23.629 % | 38.48/38.53 c | 62285 | 105627 847187 2328446 | 1 28648 81 | 23.630 % | 38.48/38.53 c | 62846 | 105627 847187 2328446 | 1 29209 81 | 23.630 % | 38.48/38.53 c | 63028 | 105627 847187 2328446 | 1 16274 41 | 23.630 % | 38.48/38.53 c | 63129 | 105627 847187 2328446 | 1 16375 42 | 23.630 % | 38.48/38.53 c | 63480 | 105603 847187 2328446 | 1 16723 43 | 23.647 % | 38.48/38.53 c | 64137 | 105603 847187 2328446 | 1 17380 45 | 23.647 % | 38.48/38.53 c | 64241 | 105603 847069 2328000 | 1 17481 45 | 23.647 % | 38.48/38.53 c | 65214 | 105566 847069 2328000 | 1 18450 48 | 23.674 % | 38.48/38.53 c | 65316 | 105566 847069 2328000 | 1 18552 49 | 23.674 % | 38.48/38.53 c | 65714 | 105566 847069 2328000 | 1 18950 50 | 23.674 % | 38.48/38.53 c | 65819 | 105566 846960 2327598 | 1 19034 50 | 23.674 % | 38.48/38.53 c | 66419 | 105556 846960 2327598 | 1 19632 53 | 23.681 % | 38.48/38.53 c | 66520 | 105556 846960 2327598 | 1 19733 54 | 23.681 % | 38.48/38.53 c | 66626 | 105556 846960 2327598 | 1 19839 54 | 23.681 % | 38.48/38.53 c | 66765 | 105548 846960 2327598 | 1 19977 54 | 23.687 % | 38.48/38.53 c | 66865 | 105548 846960 2327598 | 1 20077 54 | 23.687 % | 38.48/38.53 c | 67462 | 105511 846378 2325820 | 1 20649 54 | 23.714 % | 38.48/38.53 c | 67758 | 105511 846378 2325820 | 1 20945 55 | 23.714 % | 38.48/38.53 c | 67860 | 105511 846378 2325820 | 1 21047 56 | 23.714 % | 38.48/38.53 c | 68235 | 104421 846378 2325820 | 1 21420 56 | 24.502 % | 38.48/38.53 c | 68664 | 104421 846378 2325820 | 1 21849 57 | 24.502 % | 38.48/38.53 c | 69025 | 104371 846378 2325820 | 1 22202 58 | 24.538 % | 38.48/38.53 c | 69126 | 104371 846378 2325820 | 1 22303 58 | 24.538 % | 38.48/38.53 c | 69779 | 104360 830290 2277471 | 1 22707 59 | 24.546 % | 38.48/38.53 c | 69880 | 104353 830290 2277471 | 1 22807 60 | 24.551 % | 38.48/38.53 c | 70057 | 104353 830290 2277471 | 1 22984 59 | 24.551 % | 38.48/38.53 c | 70228 | 104353 830290 2277471 | 1 23155 60 | 24.551 % | 45.18/45.21 c | 70488 | 104353 830290 2277471 | 1 23415 61 | 24.551 % | 45.18/45.21 c | 70741 | 104353 830290 2277471 | 1 23668 61 | 24.551 % | 45.18/45.21 c | 71181 | 103083 830290 2277471 | 1 24105 63 | 25.469 % | 45.18/45.21 c | 71282 | 103083 830290 2277471 | 1 24206 63 | 25.469 % | 45.18/45.21 c | 71382 | 102975 813526 2227099 | 1 23892 63 | 25.547 % | 45.18/45.21 c | 71498 | 102975 813526 2227099 | 1 24008 64 | 25.547 % | 45.18/45.21 c | 71599 | 102975 813526 2227099 | 1 24109 64 | 25.547 % | 45.18/45.21 c | 71699 | 102900 813526 2227099 | 1 24207 64 | 25.601 % | 45.18/45.21 c | 71801 | 102900 813526 2227099 | 1 24309 64 | 25.601 % | 45.18/45.21 c | 71901 | 102900 813526 2227099 | 1 24409 65 | 25.601 % | 45.18/45.21 c | 72379 | 102886 813526 2227099 | 1 24886 65 | 25.611 % | 45.18/45.21 c | 72661 | 102886 813526 2227099 | 1 25168 66 | 25.611 % | 45.18/45.21 c | 72836 | 102876 813526 2227099 | 1 25340 66 | 25.619 % | 45.18/45.21 c | 72984 | 102876 813526 2227099 | 1 25488 66 | 25.619 % | 45.18/45.21 c | 73541 | 102870 813526 2227099 | 1 26044 68 | 25.623 % | 45.18/45.21 c | 73921 | 102860 813116 2225747 | 1 26374 69 | 25.630 % | 45.18/45.21 c | 74021 | 102860 813116 2225747 | 1 26474 69 | 25.630 % | 45.18/45.21 c | 74443 | 102860 813116 2225747 | 1 26896 70 | 25.630 % | 45.18/45.21 c | 74562 | 102785 813116 2225747 | 1 27014 70 | 25.685 % | 45.18/45.21 c | 74662 | 102785 813116 2225747 | 1 27114 71 | 25.685 % | 45.18/45.21 c | 75011 | 102785 813116 2225747 | 1 27463 72 | 25.685 % | 45.18/45.21 c | 75111 | 102785 813116 2225747 | 1 27563 72 | 25.685 % | 45.18/45.21 c | 75211 | 102785 813116 2225747 | 1 27663 72 | 25.685 % | 45.18/45.21 c | 75312 | 102785 813116 2225747 | 1 27764 73 | 25.685 % | 45.18/45.21 c | 75414 | 102785 813116 2225747 | 1 27866 73 | 25.685 % | 45.18/45.21 c | 75648 | 102785 813116 2225747 | 1 28100 74 | 25.685 % | 45.18/45.21 c | 75824 | 102785 812862 2224953 | 1 28262 74 | 25.685 % | 45.18/45.21 c | 75942 | 102776 812862 2224953 | 1 28379 74 | 25.691 % | 45.18/45.21 c | 76074 | 102776 812862 2224953 | 1 28511 74 | 25.691 % | 45.18/45.21 c | 76180 | 102776 812862 2224953 | 1 28617 74 | 25.691 % | 45.18/45.21 c | 76393 | 102776 812862 2224953 | 1 28830 75 | 25.691 % | 45.18/45.21 c | 76854 | 102776 812862 2224953 | 1 29291 76 | 25.691 % | 45.18/45.21 c | 78013 | 102776 812862 2224953 | 1 30450 83 | 25.691 % | 45.18/45.21 c | 78115 | 102776 812862 2224953 | 1 30552 83 | 25.691 % | 45.18/45.21 c | 78215 | 102776 812862 2224953 | 1 30652 84 | 25.691 % | 45.18/45.21 c | 78317 | 102767 812862 2224953 | 1 30753 84 | 25.698 % | 45.18/45.21 c | 78417 | 102763 812862 2224953 | 1 30852 84 | 25.700 % | 45.18/45.21 c | 79084 | 102758 812802 2224696 | 1 31312 84 | 25.704 % | 45.18/45.21 c | 79385 | 102738 812802 2224696 | 1 31612 84 | 25.718 % | 45.18/45.21 c | 79619 | 102738 812802 2224696 | 1 31846 85 | 25.718 % | 45.18/45.21 c | 79719 | 102738 812802 2224696 | 1 31946 85 | 25.718 % | 45.18/45.21 c | 80444 | 102687 812802 2224696 | 1 32668 85 | 25.755 % | 45.18/45.21 c | 80640 | 102687 812802 2224696 | 1 32864 86 | 25.755 % | 45.18/45.21 c | 80740 | 102687 812802 2224696 | 1 32964 86 | 25.755 % | 45.18/45.21 c | 81108 | 102670 812802 2224696 | 1 33329 86 | 25.768 % | 45.18/45.21 c | 81209 | 102670 812802 2224696 | 1 33430 86 | 25.768 % | 45.18/45.21 c | 81440 | 102670 812802 2224696 | 1 33661 86 | 25.768 % | 45.18/45.21 c | 81900 | 102660 812691 2224291 | 1 34112 87 | 25.775 % | 45.18/45.21 c | 82035 | 102660 812691 2224291 | 1 34247 88 | 25.775 % | 45.18/45.21 c | 82457 | 102660 812691 2224291 | 1 34669 88 | 25.775 % | 50.98/51.02 c | 82557 | 102660 812691 2224291 | 1 34769 88 | 25.775 % | 50.98/51.02 c | 82660 | 102660 812691 2224291 | 1 19912 42 | 25.775 % | 50.98/51.02 c | 83284 | 102651 812691 2224291 | 1 20534 45 | 25.781 % | 50.98/51.02 c | 83386 | 102651 812691 2224291 | 1 20636 46 | 25.781 % | 50.98/51.02 c | 83656 | 102651 812691 2224291 | 1 20906 48 | 25.781 % | 50.98/51.02 c | 83758 | 102651 812691 2224291 | 1 21008 49 | 25.781 % | 50.98/51.02 c | 83858 | 102651 812691 2224291 | 1 21108 49 | 25.781 % | 50.98/51.02 c | 83991 | 102650 812691 2224291 | 1 21240 50 | 25.782 % | 50.98/51.02 c | 84142 | 102650 812691 2224291 | 1 21391 51 | 25.782 % | 50.98/51.02 c | 84247 | 102650 812691 2224291 | 1 21496 51 | 25.782 % | 50.98/51.02 c | 84587 | 102650 812691 2224291 | 1 21836 53 | 25.782 % | 50.98/51.02 c | 84797 | 102649 812652 2224131 | 1 22045 53 | 25.783 % | 50.98/51.02 c | 85260 | 102638 812652 2224131 | 1 22505 56 | 25.791 % | 50.98/51.02 c | 85729 | 102632 812652 2224131 | 1 22973 57 | 25.795 % | 50.98/51.02 c | 85944 | 102632 812652 2224131 | 1 23188 58 | 25.795 % | 50.98/51.02 c | 86590 | 102632 812652 2224131 | 1 23834 61 | 25.795 % | 50.98/51.02 c | 86691 | 102632 812652 2224131 | 1 23935 61 | 25.795 % | 50.98/51.02 c | 86791 | 102632 812652 2224131 | 1 24035 61 | 25.795 % | 50.98/51.02 c | 87134 | 102613 812619 2223976 | 1 24372 63 | 25.809 % | 50.98/51.02 c | 87236 | 102613 812619 2223976 | 1 24474 63 | 25.809 % | 50.98/51.02 c | 87337 | 102611 812619 2223976 | 1 24574 64 | 25.810 % | 50.98/51.02 c | 87510 | 102611 812619 2223976 | 1 24747 65 | 25.810 % | 50.98/51.02 c | 87718 | 102611 812619 2223976 | 1 24955 65 | 25.810 % | 50.98/51.02 c | 88026 | 102611 812619 2223976 | 1 25263 66 | 25.810 % | 50.98/51.02 c | 88519 | 102611 812619 2223976 | 1 25756 66 | 25.810 % | 50.98/51.02 c | 88622 | 102611 812586 2223821 | 1 25855 66 | 25.810 % | 50.98/51.02 c | 88722 | 102100 812586 2223821 | 1 25954 66 | 26.180 % | 50.98/51.02 c | 88823 | 102028 812586 2223821 | 1 26054 67 | 26.232 % | 50.98/51.02 c | 89202 | 102023 812586 2223821 | 1 26432 68 | 26.235 % | 50.98/51.02 c | 89302 | 102023 812586 2223821 | 1 26532 69 | 26.235 % | 50.98/51.02 c | 89968 | 102017 812586 2223821 | 1 27196 70 | 26.240 % | 50.98/51.02 c | 90082 | 102017 812586 2223821 | 1 27310 70 | 26.240 % | 50.98/51.02 c | 90265 | 102009 812586 2223821 | 1 27492 71 | 26.246 % | 50.98/51.02 c | 90365 | 102009 812586 2223821 | 1 27592 71 | 26.246 % | 50.98/51.02 c | 90466 | 101910 812586 2223821 | 1 27692 71 | 26.317 % | 50.98/51.02 c | 90623 | 101910 812586 2223821 | 1 27849 72 | 26.317 % | 50.98/51.02 c | 90767 | 101910 804534 2199646 | 1 27894 72 | 26.317 % | 50.98/51.02 c | 90868 | 101910 804534 2199646 | 1 27995 73 | 26.317 % | 50.98/51.02 c | 91345 | 101864 804534 2199646 | 1 28468 75 | 26.350 % | 50.98/51.02 c | 91527 | 101864 804534 2199646 | 1 28650 76 | 26.350 % | 50.98/51.02 c | 91633 | 101864 804534 2199646 | 1 28756 77 | 26.350 % | 50.98/51.02 c | 91856 | 101864 804534 2199646 | 1 28979 78 | 26.350 % | 50.98/51.02 c | 91956 | 101863 804534 2199646 | 1 29078 79 | 26.351 % | 50.98/51.02 c | 92056 | 101863 804534 2199646 | 1 29178 79 | 26.351 % | 50.98/51.02 c | 92157 | 101860 804534 2199646 | 1 29278 79 | 26.353 % | 50.98/51.02 c | 92257 | 101860 804534 2199646 | 1 29378 79 | 26.353 % | 50.98/51.02 c | 92568 | 101860 804534 2199646 | 1 29689 81 | 26.353 % | 50.98/51.02 c | 93115 | 101860 804534 2199646 | 1 30236 82 | 26.353 % | 50.98/51.02 c | 93220 | 101860 804534 2199646 | 1 30341 82 | 26.353 % | 50.98/51.02 c | 93321 | 101859 803980 2197973 | 1 30381 82 | 26.354 % | 57.18/57.27 c | 93423 | 101859 803980 2197973 | 1 30483 82 | 26.354 % | 57.18/57.27 c | 93828 | 101859 803980 2197973 | 1 30888 84 | 26.354 % | 57.18/57.27 c | 94172 | 101859 803980 2197973 | 1 31232 85 | 26.354 % | 57.18/57.27 c | 94272 | 101857 803980 2197973 | 1 31331 85 | 26.355 % | 57.18/57.27 c | 94372 | 101857 803980 2197973 | 1 31431 85 | 26.355 % | 57.18/57.27 c | 94474 | 101857 803980 2197973 | 1 31533 86 | 26.355 % | 57.18/57.27 c | 94922 | 101856 803980 2197973 | 1 31980 87 | 26.356 % | 57.18/57.27 c | 95330 | 101836 803980 2197973 | 1 32386 88 | 26.371 % | 57.18/57.27 c | 95430 | 101836 803980 2197973 | 1 32486 88 | 26.371 % | 57.18/57.27 c | 95535 | 101836 803980 2197973 | 1 32591 88 | 26.371 % | 57.18/57.27 c | 95676 | 101835 803980 2197973 | 1 32731 88 | 26.371 % | 57.18/57.27 c | 95781 | 101835 803980 2197973 | 1 32836 89 | 26.371 % | 57.18/57.27 c | 95987 | 101835 803980 2197973 | 1 33042 89 | 26.371 % | 57.18/57.27 c | 96098 | 101827 803916 2197705 | 1 33144 89 | 26.377 % | 57.18/57.27 c | 96566 | 101827 803916 2197705 | 1 33612 89 | 26.377 % | 57.18/57.27 c | 96671 | 101827 803916 2197705 | 1 33717 89 | 26.377 % | 57.18/57.27 c | 96772 | 101817 803916 2197705 | 1 33817 89 | 26.384 % | 57.18/57.27 c | 97453 | 101749 803916 2197705 | 1 34496 91 | 26.434 % | 57.18/57.27 c | 97619 | 101749 803916 2197705 | 1 34662 93 | 26.434 % | 57.18/57.27 c | 97719 | 101749 803916 2197705 | 1 34762 93 | 26.434 % | 57.18/57.27 c | 97955 | 101734 803916 2197705 | 1 34997 94 | 26.444 % | 57.18/57.27 c | 98369 | 101731 803916 2197705 | 1 35410 94 | 26.447 % | 57.18/57.27 c | 99352 | 101723 803916 2197705 | 1 36392 95 | 26.452 % | 57.18/57.27 c | 99735 | 101716 803601 2196650 | 1 36741 95 | 26.457 % | 57.18/57.27 c | 99863 | 101716 803601 2196650 | 1 36869 95 | 26.457 % | 57.18/57.27 c | 99963 | 101716 803601 2196650 | 1 36969 96 | 26.457 % | 57.18/57.27 c | 100219 | 101716 803601 2196650 | 1 37225 96 | 26.457 % | 57.18/57.27 c | 100388 | 101716 803601 2196650 | 1 37394 96 | 26.457 % | 57.18/57.27 c | 100730 | 101716 803601 2196650 | 1 37736 97 | 26.457 % | 57.18/57.27 c | 100831 | 101716 803601 2196650 | 1 37837 97 | 26.457 % | 57.18/57.27 c | 100959 | 101716 803601 2196650 | 1 37965 98 | 26.457 % | 57.18/57.27 c | 101060 | 101716 803601 2196650 | 1 38066 98 | 26.457 % | 57.18/57.27 c | 101162 | 101716 803601 2196650 | 1 38168 98 | 26.457 % | 57.18/57.27 c | 101567 | 101707 803601 2196650 | 1 38572 99 | 26.464 % | 57.18/57.27 c | 101667 | 101707 803601 2196650 | 1 38672 99 | 26.464 % | 57.18/57.27 c | 101767 | 101707 803601 2196650 | 1 38772 99 | 26.464 % | 57.18/57.27 c | 101876 | 101707 803601 2196650 | 1 38881 100 | 26.464 % | 57.18/57.27 c | 101977 | 101707 803601 2196650 | 1 38982 100 | 26.464 % | 57.18/57.27 c | 102078 | 101707 803601 2196650 | 1 39083 100 | 26.464 % | 57.18/57.27 c | 102221 | 101707 803548 2196451 | 1 39223 101 | 26.464 % | 57.18/57.27 c | 102323 | 101705 803548 2196451 | 1 39324 101 | 26.465 % | 57.18/57.27 c | 102423 | 101705 803548 2196451 | 1 39424 102 | 26.465 % | 57.18/57.27 c | 102523 | 101705 803548 2196451 | 1 39524 102 | 26.465 % | 57.18/57.27 c | 102627 | 101705 803548 2196451 | 1 39628 102 | 26.465 % | 57.18/57.27 c | 103194 | 101690 803548 2196451 | 1 40192 103 | 26.476 % | 57.18/57.27 c | 103395 | 101690 803548 2196451 | 1 40393 103 | 26.476 % | 57.18/57.27 c | 103495 | 101690 803548 2196451 | 1 40493 103 | 26.476 % | 57.18/57.27 c | 103595 | 101690 803548 2196451 | 1 40593 103 | 26.476 % | 57.18/57.27 c | 103695 | 101690 803548 2196451 | 1 40693 103 | 26.476 % | 66.68/66.78 c | 104017 | 101690 803548 2196451 | 1 41015 104 | 26.476 % | 66.68/66.78 c | 104118 | 101690 803548 2196451 | 1 41116 104 | 26.476 % | 66.68/66.78 c | 104218 | 101690 803548 2196451 | 1 41216 104 | 26.476 % | 66.68/66.78 c | 105063 | 101689 803548 2196451 | 1 24200 48 | 26.477 % | 66.68/66.78 c | 105344 | 101689 803494 2196261 | 1 24472 50 | 26.477 % | 66.68/66.78 c | 105445 | 101689 803494 2196261 | 1 24573 50 | 26.477 % | 66.68/66.78 c | 105605 | 101679 803494 2196261 | 1 24732 50 | 26.484 % | 66.68/66.78 c | 106328 | 101679 803494 2196261 | 1 25455 53 | 26.484 % | 66.68/66.78 c | 106819 | 101679 803494 2196261 | 1 25946 57 | 26.484 % | 66.68/66.78 c | 106920 | 101679 803494 2196261 | 1 26047 57 | 26.484 % | 66.68/66.78 c | 107242 | 101174 803494 2196261 | 1 26368 59 | 26.849 % | 66.68/66.78 c | 107717 | 101169 796684 2175785 | 1 26830 59 | 26.853 % | 66.68/66.78 c | 108618 | 101125 796684 2175785 | 1 27730 62 | 26.885 % | 66.68/66.79 c | 108718 | 101125 796684 2175785 | 1 27830 63 | 26.885 % | 66.68/66.79 c | 109803 | 101125 796684 2175785 | 1 28915 70 | 26.885 % | 66.68/66.79 c | 110874 | 101125 796664 2175714 | 1 29984 75 | 26.885 % | 66.68/66.79 c | 110975 | 101125 796664 2175714 | 1 30085 76 | 26.885 % | 66.68/66.79 c | 111075 | 101125 796664 2175714 | 1 30185 76 | 26.885 % | 66.68/66.79 c | 111177 | 101124 796664 2175714 | 1 30286 76 | 26.885 % | 66.68/66.79 c | 111490 | 101124 796664 2175714 | 1 30599 76 | 26.885 % | 66.68/66.79 c | 111882 | 101124 796664 2175714 | 1 30991 77 | 26.885 % | 66.68/66.79 c | 112155 | 101124 796664 2175714 | 1 31264 78 | 26.885 % | 66.68/66.79 c | 112358 | 101124 796664 2175714 | 1 31467 78 | 26.885 % | 66.68/66.79 c | 112465 | 101030 796664 2175714 | 1 31572 78 | 26.953 % | 66.68/66.79 c | 112690 | 101030 796664 2175714 | 1 31797 79 | 26.953 % | 66.68/66.79 c | 112790 | 101030 796664 2175714 | 1 31897 79 | 26.953 % | 66.68/66.79 c | 112890 | 101030 796664 2175714 | 1 31997 80 | 26.953 % | 66.68/66.79 c | 113245 | 100974 796664 2175714 | 1 32351 80 | 26.994 % | 66.68/66.79 c | 113346 | 100974 796664 2175714 | 1 32452 80 | 26.994 % | 66.68/66.79 c | 113538 | 100974 796664 2175714 | 1 32644 81 | 26.994 % | 66.68/66.79 c | 113639 | 100959 796664 2175714 | 1 32743 81 | 27.005 % | 66.68/66.79 c | 113854 | 100959 796664 2175714 | 1 32958 82 | 27.005 % | 66.68/66.79 c | 113955 | 100959 796664 2175714 | 1 33059 83 | 27.005 % | 66.68/66.79 c | 114097 | 100959 796664 2175714 | 1 33201 83 | 27.005 % | 66.68/66.79 c | 114722 | 100959 796664 2175714 | 1 33826 86 | 27.005 % | 66.68/66.79 c | 115395 | 100958 795274 2171448 | 1 34473 86 | 27.005 % | 66.68/66.79 c | 115668 | 100953 795274 2171448 | 1 34744 87 | 27.009 % | 66.68/66.79 c | 115769 | 100953 795274 2171448 | 1 34845 87 | 27.009 % | 66.68/66.79 c | 115871 | 100953 795274 2171448 | 1 34947 88 | 27.009 % | 66.68/66.79 c | 115973 | 100953 795274 2171448 | 1 35049 88 | 27.009 % | 66.68/66.79 c | 116073 | 100953 795274 2171448 | 1 35149 88 | 27.009 % | 66.68/66.79 c | 116260 | 100953 795274 2171448 | 1 35336 89 | 27.009 % | 66.68/66.79 c | 117068 | 100953 795274 2171448 | 1 36144 91 | 27.009 % | 66.68/66.79 c | 118082 | 100893 795270 2171408 | 1 37155 93 | 27.052 % | 66.68/66.79 c | 118182 | 100893 795270 2171408 | 1 37255 94 | 27.052 % | 66.68/66.79 c | 118282 | 100893 795270 2171408 | 1 37355 94 | 27.052 % | 66.68/66.79 c | 118383 | 100893 795270 2171408 | 1 37456 94 | 27.052 % | 66.68/66.79 c | 118485 | 100893 795270 2171408 | 1 37558 94 | 27.052 % | 66.68/66.79 c | 119477 | 100893 795270 2171408 | 1 38550 94 | 27.052 % | 66.68/66.79 c | 119579 | 100893 795270 2171408 | 1 38652 94 | 27.052 % | 75.89/75.99 c | 119690 | 100893 795270 2171408 | 1 38763 94 | 27.052 % | 75.89/75.99 c | 120050 | 100893 795270 2171408 | 1 39123 94 | 27.052 % | 75.89/75.99 c | 120150 | 100893 795270 2171408 | 1 39223 94 | 27.052 % | 75.89/75.99 c | 121259 | 100885 795252 2171343 | 1 40329 96 | 27.058 % | 75.89/75.99 c | 121460 | 100885 795252 2171343 | 1 40530 97 | 27.058 % | 75.89/75.99 c | 121712 | 100885 795252 2171343 | 1 40782 97 | 27.058 % | 75.89/75.99 c | 121812 | 100885 795252 2171343 | 1 40882 97 | 27.058 % | 75.89/75.99 c | 122003 | 100885 795252 2171343 | 1 41073 97 | 27.058 % | 75.89/75.99 c | 122355 | 100885 795252 2171343 | 1 41425 98 | 27.058 % | 75.89/75.99 c | 122455 | 100885 795252 2171343 | 1 41525 99 | 27.058 % | 75.89/75.99 c | 122555 | 100885 795252 2171343 | 1 41625 99 | 27.058 % | 75.89/75.99 c | 122655 | 100885 795252 2171343 | 1 41725 100 | 27.058 % | 75.89/75.99 c | 122755 | 100885 795252 2171343 | 1 41825 100 | 27.058 % | 75.89/75.99 c | 123078 | 100885 795252 2171343 | 1 42148 100 | 27.058 % | 75.89/75.99 c | 123809 | 100885 795252 2171343 | 1 42879 104 | 27.058 % | 75.89/75.99 c | 123909 | 100885 795252 2171343 | 1 42979 104 | 27.058 % | 75.89/75.99 c | 124260 | 100885 795252 2171343 | 1 43329 105 | 27.058 % | 75.89/75.99 c | 124629 | 100885 795252 2171343 | 1 43698 105 | 27.058 % | 75.89/75.99 c | 125085 | 100885 795252 2171343 | 1 44154 106 | 27.058 % | 75.89/75.99 c | 125410 | 100877 795252 2171343 | 1 44478 106 | 27.064 % | 75.89/75.99 c | 125512 | 100877 795252 2171343 | 1 44580 106 | 27.064 % | 75.89/75.99 c | 126312 | 100877 795252 2171343 | 1 45380 108 | 27.064 % | 75.89/75.99 c | 126542 | 100877 795252 2171343 | 1 45610 109 | 27.064 % | 75.89/75.99 c | 126642 | 100845 795252 2171343 | 1 45709 109 | 27.087 % | 75.89/75.99 c | 126742 | 100845 795252 2171343 | 1 45809 110 | 27.087 % | 75.89/75.99 c | 126843 | 100843 795252 2171343 | 1 45909 110 | 27.089 % | 75.89/75.99 c | 127292 | 100843 795252 2171343 | 1 46358 110 | 27.089 % | 75.89/75.99 c | 127394 | 100843 795139 2170968 | 1 46450 111 | 27.089 % | 75.89/75.99 c | 127538 | 100843 795139 2170968 | 1 46594 111 | 27.089 % | 75.89/75.99 c | 127639 | 100843 795139 2170968 | 1 46695 111 | 27.089 % | 75.89/75.99 c | 127836 | 100843 795139 2170968 | 1 46892 111 | 27.089 % | 75.89/75.99 c | 128507 | 100842 795139 2170968 | 1 47562 113 | 27.089 % | 75.89/75.99 c | 128609 | 100842 795139 2170968 | 1 47664 113 | 27.089 % | 75.89/75.99 c | 128798 | 100841 795139 2170968 | 1 47852 113 | 27.090 % | 75.89/75.99 c | 129361 | 100802 795139 2170968 | 1 48412 113 | 27.118 % | 75.89/75.99 c | 129491 | 100802 795139 2170968 | 1 48542 113 | 27.118 % | 75.89/75.99 c | 129741 | 100802 795139 2170968 | 1 28783 55 | 27.118 % | 75.89/75.99 c | 129968 | 100794 795139 2170968 | 1 29009 56 | 27.124 % | 75.89/75.99 c | 130170 | 100793 795139 2170968 | 1 29210 56 | 27.125 % | 75.89/75.99 c | 131028 | 100705 795139 2170968 | 1 30066 61 | 27.188 % | 75.89/75.99 c | 131129 | 100705 794497 2168970 | 1 30119 62 | 27.188 % | 75.89/75.99 c | 131229 | 100705 794497 2168970 | 1 30219 63 | 27.188 % | 75.89/75.99 c | 131329 | 100705 794497 2168970 | 1 30319 63 | 27.188 % | 75.89/75.99 c | 131530 | 100680 794497 2168970 | 1 30519 64 | 27.206 % | 75.89/75.99 c | 131857 | 100680 794497 2168970 | 1 30846 65 | 27.206 % | 75.89/75.99 c | 131957 | 100680 794497 2168970 | 1 30946 66 | 27.206 % | 75.89/75.99 c | 132058 | 100680 794497 2168970 | 1 31047 66 | 27.206 % | 75.89/75.99 c | 132333 | 100680 794497 2168970 | 1 31322 68 | 27.206 % | 75.89/75.99 c | 132433 | 100680 794497 2168970 | 1 31422 68 | 27.206 % | 75.89/75.99 c | 132535 | 100644 794497 2168970 | 1 31523 69 | 27.233 % | 85.18/85.29 c | 132635 | 100644 794497 2168970 | 1 31623 69 | 27.233 % | 85.18/85.29 c | 132740 | 100644 794497 2168970 | 1 31728 70 | 27.233 % | 85.18/85.29 c | 132841 | 100644 794497 2168970 | 1 31829 71 | 27.233 % | 85.18/85.29 c | 132941 | 100644 794308 2168307 | 1 31912 71 | 27.233 % | 85.18/85.29 c | 133624 | 100529 794308 2168307 | 1 32593 72 | 27.316 % | 85.18/85.29 c | 133942 | 100529 794308 2168307 | 1 32911 73 | 27.316 % | 85.18/85.29 c | 134056 | 100529 794308 2168307 | 1 33025 73 | 27.316 % | 85.18/85.29 c | 134156 | 100529 794308 2168307 | 1 33125 74 | 27.316 % | 85.18/85.29 c | 135436 | 100529 794308 2168307 | 1 34405 79 | 27.316 % | 85.18/85.29 c | 135536 | 100529 793972 2167299 | 1 34499 80 | 27.316 % | 85.18/85.29 c | 135837 | 100529 793972 2167299 | 1 34800 81 | 27.316 % | 85.18/85.29 c | 135937 | 100529 793972 2167299 | 1 34900 81 | 27.316 % | 85.18/85.29 c | 136151 | 100529 793972 2167299 | 1 35114 82 | 27.316 % | 85.18/85.29 c | 136652 | 100514 793972 2167299 | 1 35613 84 | 27.326 % | 85.18/85.29 c | 136752 | 100514 793972 2167299 | 1 35713 84 | 27.326 % | 85.18/85.29 c | 136852 | 100514 793972 2167299 | 1 35813 85 | 27.326 % | 85.18/85.29 c | 138646 | 100504 793972 2167299 | 1 37606 89 | 27.334 % | 85.18/85.29 c | 139395 | 100504 793972 2167299 | 1 38355 92 | 27.334 % | 85.18/85.29 c | 139495 | 100504 793927 2167134 | 1 38455 92 | 27.334 % | 85.18/85.29 c | 139987 | 100504 793927 2167134 | 1 38947 94 | 27.334 % | 85.18/85.29 c | 140088 | 100483 793927 2167134 | 1 39047 94 | 27.349 % | 85.18/85.29 c | 140188 | 100483 793927 2167134 | 1 39147 94 | 27.349 % | 85.18/85.29 c | 140299 | 100483 793927 2167134 | 1 39258 95 | 27.349 % | 85.18/85.29 c | 140400 | 100483 793927 2167134 | 1 39359 95 | 27.349 % | 85.18/85.29 c | 140509 | 100483 793927 2167134 | 1 39468 96 | 27.349 % | 85.18/85.29 c | 140748 | 100483 793927 2167134 | 1 39707 96 | 27.349 % | 85.18/85.29 c | 141321 | 100483 793927 2167134 | 1 40280 97 | 27.349 % | 85.18/85.29 c | 141867 | 100473 793927 2167134 | 1 40825 98 | 27.356 % | 85.18/85.29 c | 142289 | 100473 793927 2167134 | 1 41247 99 | 27.356 % | 85.18/85.29 c | 142389 | 100472 793821 2166726 | 1 41339 99 | 27.357 % | 85.18/85.29 c | 142489 | 100472 793821 2166726 | 1 41439 100 | 27.357 % | 85.18/85.29 c | 142597 | 100472 793821 2166726 | 1 41547 100 | 27.357 % | 85.18/85.29 c | 142890 | 100472 793821 2166726 | 1 41840 100 | 27.357 % | 85.18/85.29 c | 143287 | 100472 793821 2166726 | 1 42237 101 | 27.357 % | 85.18/85.29 c | 143561 | 100472 793821 2166726 | 1 42511 102 | 27.357 % | 85.18/85.29 c | 143665 | 100472 793821 2166726 | 1 42615 103 | 27.357 % | 85.18/85.29 c | 143765 | 100472 793821 2166726 | 1 42715 103 | 27.357 % | 85.18/85.29 c | 143865 | 100472 793821 2166726 | 1 42815 103 | 27.357 % | 85.18/85.29 c | 143965 | 100472 793821 2166726 | 1 42915 104 | 27.357 % | 85.18/85.29 c | 144407 | 100472 793821 2166726 | 1 43357 104 | 27.357 % | 85.18/85.29 c | 144507 | 100472 793821 2166726 | 1 43457 104 | 27.357 % | 85.18/85.29 c | 144615 | 100472 793821 2166726 | 1 43565 104 | 27.357 % | 85.18/85.29 c | 144761 | 100472 793821 2166726 | 1 43711 104 | 27.357 % | 85.18/85.29 c | 145052 | 100471 793821 2166726 | 1 44001 104 | 27.358 % | 85.18/85.29 c | 145272 | 100471 793821 2166726 | 1 44221 105 | 27.358 % | 85.18/85.29 c | 145373 | 100471 793821 2166726 | 1 44322 105 | 27.358 % | 85.18/85.29 c | 145605 | 100471 793821 2166726 | 1 44554 106 | 27.358 % | 85.18/85.29 c | 145705 | 100471 793821 2166726 | 1 44654 106 | 27.358 % | 85.18/85.29 c | 145817 | 100471 793821 2166726 | 1 44766 106 | 27.358 % | 85.18/85.29 c | 145917 | 100471 793821 2166726 | 1 44866 106 | 27.358 % | 95.79/95.87 c | 146670 | 100471 793821 2166726 | 1 45619 107 | 27.358 % | 95.79/95.87 c | 146771 | 100471 793821 2166726 | 1 45720 108 | 27.358 % | 95.79/95.87 c | 146871 | 100471 793821 2166726 | 1 45820 108 | 27.358 % | 95.79/95.87 c | 147076 | 100471 793821 2166726 | 1 46025 108 | 27.358 % | 95.79/95.87 c | 147884 | 100272 793821 2166726 | 1 46831 110 | 27.501 % | 95.79/95.87 c | 148398 | 100272 793821 2166726 | 1 47345 112 | 27.501 % | 95.79/95.87 c | 148499 | 100272 793821 2166726 | 1 47446 112 | 27.501 % | 95.79/95.87 c | 148756 | 100263 793821 2166726 | 1 47702 112 | 27.508 % | 95.79/95.87 c | 148856 | 100263 793325 2165197 | 1 47784 113 | 27.508 % | 95.79/95.87 c | 148965 | 100263 793325 2165197 | 1 47893 113 | 27.508 % | 95.79/95.87 c | 149069 | 100263 793325 2165197 | 1 47997 113 | 27.508 % | 95.79/95.87 c | 149171 | 100261 793325 2165197 | 1 48097 114 | 27.509 % | 95.79/95.87 c | 149493 | 100261 793325 2165197 | 1 48419 114 | 27.509 % | 95.79/95.87 c | 149678 | 100261 793325 2165197 | 1 48604 114 | 27.509 % | 95.79/95.87 c | 149779 | 100261 793325 2165197 | 1 48705 115 | 27.509 % | 95.79/95.87 c | 149879 | 100261 793325 2165197 | 1 48805 115 | 27.509 % | 95.79/95.87 c | 149982 | 100261 793325 2165197 | 1 48908 115 | 27.509 % | 95.79/95.87 c | 150121 | 100261 793325 2165197 | 1 49047 115 | 27.509 % | 95.79/95.87 c | 150290 | 100261 793325 2165197 | 1 49216 115 | 27.509 % | 95.79/95.87 c | 150390 | 100261 793325 2165197 | 1 49316 115 | 27.509 % | 95.79/95.87 c | 150490 | 100261 793325 2165197 | 1 49416 116 | 27.509 % | 95.79/95.87 c | 150590 | 100261 793325 2165197 | 1 49516 116 | 27.509 % | 95.79/95.87 c | 150978 | 100261 793325 2165197 | 1 49904 117 | 27.509 % | 95.79/95.87 c | 151085 | 100261 793325 2165197 | 1 50011 117 | 27.509 % | 95.79/95.87 c | 151187 | 100261 793325 2165197 | 1 50113 117 | 27.509 % | 95.79/95.87 c | 151287 | 100261 793325 2165197 | 1 50213 117 | 27.509 % | 95.79/95.87 c | 151834 | 100257 793325 2165197 | 1 50758 118 | 27.512 % | 95.79/95.87 c | 151934 | 100257 793325 2165197 | 1 50858 118 | 27.512 % | 95.79/95.87 c | 152132 | 100257 793321 2165161 | 1 51050 118 | 27.512 % | 95.79/95.87 c | 152869 | 100257 793321 2165161 | 1 51787 121 | 27.512 % | 95.79/95.87 c | 155861 | 100256 793321 2165161 | 1 54778 126 | 27.513 % | 95.79/95.87 c | 155961 | 100256 793321 2165161 | 1 54878 126 | 27.513 % | 95.79/95.87 c | 156347 | 100256 793321 2165161 | 1 55264 127 | 27.513 % | 95.79/95.87 c | 156451 | 100256 793321 2165161 | 1 55368 127 | 27.513 % | 95.79/95.87 c | 156595 | 100256 793321 2165161 | 1 55512 128 | 27.513 % | 95.79/95.87 c | 156696 | 100256 793321 2165161 | 1 55613 128 | 27.513 % | 95.79/95.87 c | 156796 | 100256 793321 2165161 | 1 55713 128 | 27.513 % | 95.79/95.87 c | 156951 | 100256 793321 2165161 | 1 55868 129 | 27.513 % | 95.79/95.87 c | 157051 | 100256 793321 2165161 | 1 32718 54 | 27.513 % | 95.79/95.87 c | 157174 | 100256 793321 2165161 | 1 32841 55 | 27.513 % | 95.79/95.87 c | 157283 | 100256 793321 2165161 | 1 32950 55 | 27.513 % | 95.79/95.87 c | 157841 | 100256 793321 2165161 | 1 33508 59 | 27.513 % | 95.79/95.87 c | 158027 | 100234 793321 2165161 | 1 33693 59 | 27.529 % | 95.79/95.87 c | 158492 | 100234 793321 2165161 | 1 34158 63 | 27.529 % | 95.79/95.87 c | 159178 | 100234 793321 2165161 | 1 34844 65 | 27.529 % | 95.79/95.87 c | 159800 | 100173 793321 2165161 | 1 35463 65 | 27.573 % | 95.79/95.87 c | 159900 | 100173 793321 2165161 | 1 35563 66 | 27.573 % | 95.79/95.87 c | 160387 | 100163 793321 2165161 | 1 36049 66 | 27.580 % | 95.79/95.87 c | 160487 | 100163 793321 2165161 | 1 36149 67 | 27.580 % | 95.79/95.87 c | 160589 | 100163 793321 2165161 | 1 36251 67 | 27.580 % | 105.88/105.97 c | 161129 | 100162 793321 2165161 | 1 36790 71 | 27.581 % | 105.88/105.97 c | 161231 | 100162 793321 2165161 | 1 36892 71 | 27.581 % | 105.88/105.97 c | 161612 | 100162 793321 2165161 | 1 37273 73 | 27.581 % | 105.88/105.97 c | 161712 | 100162 793321 2165161 | 1 37373 74 | 27.581 % | 105.88/105.97 c | 162207 | 100162 793321 2165161 | 1 37868 75 | 27.581 % | 105.88/105.97 c | 162307 | 100162 793150 2164558 | 1 37957 75 | 27.581 % | 105.88/105.97 c | 162407 | 100162 793150 2164558 | 1 38057 76 | 27.581 % | 105.88/105.97 c | 163817 | 100162 793150 2164558 | 1 39467 81 | 27.581 % | 105.88/105.97 c | 163917 | 100162 793150 2164558 | 1 39567 82 | 27.581 % | 105.88/105.97 c | 164019 | 100162 793150 2164558 | 1 39669 82 | 27.581 % | 105.88/105.97 c | 164120 | 100162 793150 2164558 | 1 39770 83 | 27.581 % | 105.88/105.97 c | 164220 | 100162 793150 2164558 | 1 39870 83 | 27.581 % | 105.88/105.97 c | 164324 | 100162 793150 2164558 | 1 39974 84 | 27.581 % | 105.88/105.97 c | 165005 | 100162 793150 2164558 | 1 40655 85 | 27.581 % | 105.88/105.97 c | 165124 | 100162 793150 2164558 | 1 40774 86 | 27.581 % | 105.88/105.97 c | 165241 | 100162 793150 2164558 | 1 40891 86 | 27.581 % | 105.88/105.97 c | 165344 | 100162 793150 2164558 | 1 40994 87 | 27.581 % | 105.88/105.97 c | 165446 | 100162 793150 2164558 | 1 41096 87 | 27.581 % | 105.88/105.97 c | 165760 | 100162 793150 2164558 | 1 41410 88 | 27.581 % | 105.88/105.97 c | 166773 | 100162 793150 2164558 | 1 42423 93 | 27.581 % | 105.88/105.97 c | 167088 | 100162 793150 2164558 | 1 42738 94 | 27.581 % | 105.88/105.97 c | 167574 | 100162 793150 2164558 | 1 43224 95 | 27.581 % | 105.88/105.97 c | 167936 | 100161 793150 2164558 | 1 43585 96 | 27.582 % | 105.88/105.97 c | 168036 | 100160 793150 2164558 | 1 43684 96 | 27.582 % | 105.88/105.97 c | 168136 | 100160 793150 2164558 | 1 43784 96 | 27.582 % | 105.88/105.97 c | 168238 | 100160 793150 2164558 | 1 43886 96 | 27.582 % | 105.88/105.97 c | 168988 | 100138 793150 2164558 | 1 44635 97 | 27.598 % | 105.88/105.97 c | 169092 | 100138 793150 2164558 | 1 44739 97 | 27.598 % | 105.88/105.97 c | 169792 | 100138 793150 2164558 | 1 45439 98 | 27.598 % | 105.88/105.97 c | 169893 | 100138 793150 2164558 | 1 45540 98 | 27.598 % | 105.88/105.97 c | 170212 | 100138 793150 2164558 | 1 45859 99 | 27.598 % | 105.88/105.97 c | 170313 | 100138 793150 2164558 | 1 45960 100 | 27.598 % | 105.88/105.97 c | 170416 | 100128 793150 2164558 | 1 46061 100 | 27.606 % | 105.88/105.97 c | 170517 | 100128 793087 2164337 | 1 46150 101 | 27.606 % | 105.88/105.97 c | 170617 | 100128 793087 2164337 | 1 46250 101 | 27.606 % | 105.88/105.97 c | 170797 | 100128 793087 2164337 | 1 46430 101 | 27.606 % | 105.88/105.97 c | 171143 | 100128 793087 2164337 | 1 46776 102 | 27.606 % | 105.88/105.97 c | 171500 | 100028 793087 2164337 | 1 47130 101 | 27.678 % | 105.88/105.97 c | 171618 | 100028 793087 2164337 | 1 47248 102 | 27.678 % | 105.88/105.97 c | 171718 | 100028 793087 2164337 | 1 47348 103 | 27.678 % | 105.88/105.97 c | 171829 | 100028 793087 2164337 | 1 47459 103 | 27.678 % | 105.88/105.97 c | 171931 | 100028 793087 2164337 | 1 47561 103 | 27.678 % | 105.88/105.97 c | 172176 | 99461 793087 2164337 | 1 47805 103 | 28.088 % | 105.88/105.97 c | 172437 | 99461 793087 2164337 | 1 48066 104 | 28.088 % | 105.88/105.97 c | 172543 | 99461 793087 2164337 | 1 48172 104 | 28.088 % | 105.88/105.97 c | 172708 | 99461 793087 2164337 | 1 48337 105 | 28.088 % | 105.88/105.97 c | 172809 | 99461 793087 2164337 | 1 48438 105 | 28.088 % | 105.88/105.97 c | 173889 | 99461 793087 2164337 | 1 49518 105 | 28.088 % | 105.88/105.97 c | 173990 | 99461 784781 2139419 | 1 49522 105 | 28.088 % | 105.88/105.97 c | 174092 | 99461 784781 2139419 | 1 49624 106 | 28.088 % | 116.08/116.12 c | 174713 | 99461 784781 2139419 | 1 50245 106 | 28.088 % | 116.08/116.12 c | 175934 | 99459 784781 2139419 | 1 51465 109 | 28.089 % | 116.08/116.12 c | 176403 | 98871 784781 2139419 | 1 51933 109 | 28.514 % | 116.08/116.12 c | 176503 | 98871 784781 2139419 | 1 52033 109 | 28.514 % | 116.08/116.12 c | 176605 | 98871 784781 2139419 | 1 52135 110 | 28.514 % | 116.08/116.12 c | 176705 | 98871 784781 2139419 | 1 52235 110 | 28.514 % | 116.08/116.12 c | 176807 | 98871 784781 2139419 | 1 52337 110 | 28.514 % | 116.08/116.12 c | 176909 | 98871 784781 2139419 | 1 52439 111 | 28.514 % | 116.08/116.12 c | 177009 | 98871 784781 2139419 | 1 52539 111 | 28.514 % | 116.08/116.12 c | 177109 | 98871 784781 2139419 | 1 52639 111 | 28.514 % | 116.08/116.12 c | 177335 | 98871 784781 2139419 | 1 52865 112 | 28.514 % | 116.08/116.12 c | 177435 | 98871 784781 2139419 | 1 52965 112 | 28.514 % | 116.08/116.12 c | 177535 | 98871 784781 2139419 | 1 53065 112 | 28.514 % | 116.08/116.12 c | 177635 | 98871 777759 2118341 | 1 53064 112 | 28.514 % | 116.08/116.12 c | 178586 | 98841 777759 2118341 | 1 54014 112 | 28.536 % | 116.08/116.12 c | 179012 | 98840 777759 2118341 | 1 54439 114 | 28.537 % | 116.08/116.12 c | 179501 | 98535 777759 2118341 | 1 54927 114 | 28.757 % | 116.08/116.12 c | 179602 | 98535 777759 2118341 | 1 55028 114 | 28.757 % | 116.08/116.12 c | 179831 | 98535 777759 2118341 | 1 55257 115 | 28.757 % | 116.08/116.12 c | 180010 | 98535 777759 2118341 | 1 55436 115 | 28.757 % | 116.08/116.12 c | 180110 | 98535 777759 2118341 | 1 55536 115 | 28.757 % | 116.08/116.12 c | 182233 | 98532 774835 2109561 | 1 57485 121 | 28.760 % | 116.08/116.12 c | 182333 | 98532 774835 2109561 | 1 57585 121 | 28.760 % | 116.08/116.12 c | 182434 | 98532 774835 2109561 | 1 57686 121 | 28.760 % | 116.08/116.12 c | 182538 | 98532 774835 2109561 | 1 57790 121 | 28.760 % | 116.08/116.12 c | 183252 | 98532 774835 2109561 | 1 58504 122 | 28.760 % | 116.08/116.12 c | 183355 | 98531 774835 2109561 | 1 58606 122 | 28.760 % | 116.08/116.12 c | 183457 | 98528 774835 2109561 | 1 58707 122 | 28.762 % | 116.08/116.12 c | 183597 | 98528 774835 2109561 | 1 58847 122 | 28.762 % | 116.08/116.12 c | 183721 | 98528 774835 2109561 | 1 58971 122 | 28.762 % | 116.08/116.12 c | 183832 | 98528 774835 2109561 | 1 59082 122 | 28.762 % | 116.08/116.12 c | 184483 | 98464 774835 2109561 | 1 59732 124 | 28.809 % | 116.08/116.12 c | 185060 | 98188 774835 2109561 | 1 60307 123 | 29.008 % | 116.08/116.12 c | 185234 | 98177 774835 2109561 | 1 60480 124 | 29.016 % | 116.08/116.12 c | 185624 | 98173 774835 2109561 | 1 60869 125 | 29.019 % | 116.08/116.12 c | 185724 | 98173 774835 2109561 | 1 60969 126 | 29.019 % | 116.08/116.12 c | 185824 | 98173 774835 2109561 | 1 61069 126 | 29.019 % | 116.08/116.12 c | 185925 | 98173 774835 2109561 | 1 61170 126 | 29.019 % | 116.08/116.12 c | 186091 | 98173 773383 2105181 | 1 61264 126 | 29.019 % | 116.08/116.12 c | 186288 | 98173 773383 2105181 | 1 61461 127 | 29.019 % | 116.08/116.12 c | 186440 | 98173 773383 2105181 | 1 61613 127 | 29.019 % | 116.08/116.12 c | 186581 | 98173 773383 2105181 | 1 61754 127 | 29.019 % | 116.08/116.12 c | 186731 | 98170 773383 2105181 | 1 61903 127 | 29.021 % | 116.08/116.12 c | 186831 | 98170 773383 2105181 | 1 62003 128 | 29.021 % | 116.08/116.12 c | 186933 | 98170 773383 2105181 | 1 62105 128 | 29.021 % | 116.08/116.12 c | 187550 | 98167 773383 2105181 | 1 37023 53 | 29.023 % | 116.08/116.12 c | 188333 | 98167 773383 2105181 | 1 37806 55 | 29.023 % | 116.08/116.12 c | 188433 | 98167 773383 2105181 | 1 37906 55 | 29.023 % | 116.08/116.12 c | 188533 | 98167 773383 2105181 | 1 38006 55 | 29.023 % | 116.08/116.12 c | 188684 | 98167 773383 2105181 | 1 38157 56 | 29.023 % | 123.88/123.90 c | 189187 | 98167 773383 2105181 | 1 38660 57 | 29.023 % | 123.88/123.90 c | 189288 | 98167 773383 2105181 | 1 38761 57 | 29.023 % | 123.88/123.90 c | 189872 | 98132 773383 2105181 | 1 39344 61 | 29.049 % | 123.88/123.90 c | 189972 | 98132 773383 2105181 | 1 39444 61 | 29.049 % | 123.88/123.90 c | 190566 | 98132 773383 2105181 | 1 40038 62 | 29.049 % | 123.88/123.90 c | 190666 | 98132 773383 2105181 | 1 40138 63 | 29.049 % | 123.88/123.90 c | 191076 | 98132 773383 2105181 | 1 40548 64 | 29.049 % | 123.88/123.90 c | 191181 | 98132 773289 2104899 | 1 40644 65 | 29.049 % | 123.88/123.90 c | 191283 | 98132 773289 2104899 | 1 40746 65 | 29.049 % | 123.88/123.90 c | 191629 | 98123 773289 2104899 | 1 41091 66 | 29.055 % | 123.88/123.90 c | 191729 | 98120 773289 2104899 | 1 41190 67 | 29.057 % | 123.88/123.90 c | 191829 | 98120 773289 2104899 | 1 41290 67 | 29.057 % | 123.88/123.90 c | 192310 | 98120 773289 2104899 | 1 41771 69 | 29.057 % | 123.88/123.90 c | 192412 | 98120 773289 2104899 | 1 41873 69 | 29.057 % | 123.88/123.90 c | 192513 | 98120 773289 2104899 | 1 41974 70 | 29.057 % | 123.88/123.90 c | 192613 | 98120 773289 2104899 | 1 42074 70 | 29.057 % | 123.88/123.90 c | 192886 | 98120 773289 2104899 | 1 42347 71 | 29.057 % | 123.88/123.90 c | 193042 | 98120 773289 2104899 | 1 42503 71 | 29.057 % | 123.88/123.90 c | 193286 | 98120 773289 2104899 | 1 42747 73 | 29.057 % | 123.88/123.90 c | 193977 | 98120 773289 2104899 | 1 43438 75 | 29.057 % | 123.88/123.90 c | 194077 | 98120 773249 2104749 | 1 43537 75 | 29.057 % | 123.88/123.90 c | 194447 | 98120 773249 2104749 | 1 43907 77 | 29.057 % | 123.88/123.90 c | 194547 | 98120 773249 2104749 | 1 44007 77 | 29.057 % | 123.88/123.90 c | 194811 | 98120 773249 2104749 | 1 44271 78 | 29.057 % | 123.88/123.90 c | 195339 | 98113 773249 2104749 | 1 44795 80 | 29.062 % | 123.88/123.90 c | 195442 | 98113 773249 2104749 | 1 44898 80 | 29.062 % | 123.88/123.90 c | 195725 | 98112 773249 2104749 | 1 45180 81 | 29.063 % | 123.88/123.90 c | 195825 | 98047 773249 2104749 | 1 45279 81 | 29.110 % | 123.88/123.90 c | 196390 | 98047 773249 2104749 | 1 45844 83 | 29.110 % | 123.88/123.90 c | 196522 | 98047 773249 2104749 | 1 45976 83 | 29.110 % | 123.88/123.90 c | 196623 | 98047 773249 2104749 | 1 46077 84 | 29.110 % | 123.88/123.90 c | 196723 | 98047 773249 2104749 | 1 46177 84 | 29.110 % | 123.88/123.90 c | 196823 | 98047 773219 2104623 | 1 46275 85 | 29.110 % | 123.88/123.90 c | 196924 | 98047 773219 2104623 | 1 46376 85 | 29.110 % | 123.88/123.90 c | 197024 | 98047 773219 2104623 | 1 46476 85 | 29.110 % | 123.88/123.90 c | 197125 | 98047 773219 2104623 | 1 46577 86 | 29.110 % | 123.88/123.90 c | 197273 | 98047 773219 2104623 | 1 46725 86 | 29.110 % | 123.88/123.90 c | 197374 | 98047 773219 2104623 | 1 46826 86 | 29.110 % | 123.88/123.90 c | 197620 | 98047 773219 2104623 | 1 47072 87 | 29.110 % | 123.88/123.90 c | 197720 | 98047 773219 2104623 | 1 47172 88 | 29.110 % | 123.88/123.90 c | 197820 | 98047 773219 2104623 | 1 47272 88 | 29.110 % | 123.88/123.90 c | 197921 | 98047 773219 2104623 | 1 47373 89 | 29.110 % | 123.88/123.90 c | 198022 | 98047 773219 2104623 | 1 47474 89 | 29.110 % | 123.88/123.90 c | 198185 | 98047 773219 2104623 | 1 47637 89 | 29.110 % | 123.88/123.90 c | 198790 | 98047 773219 2104623 | 1 48242 92 | 29.110 % | 123.88/123.90 c | 198892 | 98022 773219 2104623 | 1 48343 92 | 29.128 % | 123.88/123.90 c | 199164 | 98022 773219 2104623 | 1 48615 93 | 29.128 % | 123.88/123.90 c | 200149 | 98022 773156 2104370 | 1 49589 94 | 29.128 % | 123.88/123.90 c | 200250 | 98022 773156 2104370 | 1 49690 94 | 29.128 % | 123.88/123.90 c | 200353 | 98022 773156 2104370 | 1 49793 95 | 29.128 % | 143.88/143.94 c | 200453 | 98022 773156 2104370 | 1 49893 96 | 29.128 % | 143.88/143.94 c | 200556 | 98022 773156 2104370 | 1 49996 96 | 29.128 % | 143.88/143.94 c | 202037 | 98015 773156 2104370 | 1 51476 99 | 29.133 % | 143.88/143.94 c | 202140 | 98015 773156 2104370 | 1 51579 100 | 29.133 % | 143.88/143.94 c | 202243 | 98015 773156 2104370 | 1 51682 100 | 29.133 % | 143.88/143.94 c | 202343 | 98015 773156 2104370 | 1 51782 100 | 29.133 % | 143.88/143.94 c | 202443 | 98015 773156 2104370 | 1 51882 100 | 29.133 % | 143.88/143.94 c | 207105 | 98008 773123 2104255 | 1 56536 121 | 29.138 % | 143.88/143.94 c | 207207 | 98008 773123 2104255 | 1 56638 122 | 29.138 % | 143.88/143.94 c | 207371 | 98008 773123 2104255 | 1 56802 122 | 29.138 % | 143.88/143.94 c | 207471 | 98008 773123 2104255 | 1 56902 122 | 29.138 % | 143.88/143.94 c | 207574 | 98008 773123 2104255 | 1 57005 122 | 29.138 % | 143.88/143.94 c | 211139 | 97990 773087 2104147 | 1 60563 128 | 29.151 % | 143.88/143.94 c | 211242 | 97990 773087 2104147 | 1 60666 128 | 29.151 % | 143.88/143.94 c | 211399 | 97990 773087 2104147 | 1 60823 128 | 29.151 % | 143.88/143.94 c | 211499 | 97990 773087 2104147 | 1 60923 129 | 29.151 % | 143.88/143.94 c | 211599 | 97990 773087 2104147 | 1 61023 129 | 29.151 % | 143.88/143.94 c | 212674 | 97990 773087 2104147 | 1 62098 131 | 29.151 % | 143.88/143.94 c | 212774 | 97990 773087 2104147 | 1 62198 132 | 29.151 % | 143.88/143.94 c | 212874 | 97990 773087 2104147 | 1 62298 132 | 29.151 % | 143.88/143.94 c | 212975 | 97990 773087 2104147 | 1 62399 132 | 29.151 % | 143.88/143.94 c | 213600 | 97990 773087 2104147 | 1 63024 133 | 29.151 % | 143.88/143.94 c | 213700 | 97990 773087 2104147 | 1 63124 134 | 29.151 % | 143.88/143.94 c | 213801 | 97990 773087 2104147 | 1 63225 134 | 29.151 % | 143.88/143.94 c | 213901 | 97990 773087 2104147 | 1 63325 134 | 29.151 % | 143.88/143.94 c | 214001 | 97980 773085 2104129 | 1 63420 134 | 29.159 % | 143.88/143.94 c | 214555 | 97975 773085 2104129 | 1 63972 134 | 29.162 % | 143.88/143.94 c | 214951 | 97968 773085 2104129 | 1 64367 135 | 29.167 % | 143.88/143.94 c | 215576 | 97968 773085 2104129 | 1 64992 135 | 29.167 % | 143.88/143.94 c | 215716 | 97968 773085 2104129 | 1 65132 135 | 29.167 % | 143.88/143.94 c | 215818 | 97968 773085 2104129 | 1 65234 135 | 29.167 % | 143.88/143.94 c | 216536 | 97951 773085 2104129 | 1 65951 136 | 29.180 % | 143.88/143.94 c | 216636 | 97951 773085 2104129 | 1 66051 137 | 29.180 % | 143.88/143.94 c | 216738 | 97951 773085 2104129 | 1 66153 137 | 29.180 % | 143.88/143.94 c | 216933 | 97951 773085 2104129 | 1 66348 138 | 29.180 % | 143.88/143.94 c | 217396 | 97951 773085 2104129 | 1 66811 138 | 29.180 % | 143.88/143.94 c | 217568 | 97951 773085 2104129 | 1 66983 138 | 29.180 % | 143.88/143.94 c | 217668 | 97951 773085 2104129 | 1 67083 139 | 29.180 % | 143.88/143.94 c | 217832 | 97951 773085 2104129 | 1 67247 139 | 29.180 % | 143.88/143.94 c | 218800 | 97951 773085 2104129 | 1 68215 141 | 29.180 % | 143.88/143.94 c | 218900 | 97951 773085 2104129 | 1 68315 141 | 29.180 % | 143.88/143.94 c | 219000 | 97951 773085 2104129 | 1 68415 141 | 29.180 % | 143.88/143.94 c | 219104 | 97951 772996 2103722 | 1 68511 141 | 29.180 % | 143.88/143.94 c | 220120 | 97951 772996 2103722 | 1 41934 66 | 29.180 % | 143.88/143.94 c | 220834 | 97951 772996 2103722 | 1 42648 68 | 29.180 % | 143.88/143.94 c | 222058 | 97950 772996 2103722 | 1 43871 71 | 29.180 % | 143.88/143.94 c | 222607 | 97941 772996 2103722 | 1 44419 72 | 29.187 % | 143.88/143.94 c | 222892 | 97941 772996 2103722 | 1 44704 73 | 29.187 % | 143.88/143.94 c | 222992 | 97941 772996 2103722 | 1 44804 73 | 29.187 % | 143.88/143.94 c | 223149 | 97941 772996 2103722 | 1 44961 74 | 29.187 % | 157.07/157.11 c | 224085 | 97941 772996 2103722 | 1 45897 76 | 29.187 % | 157.07/157.11 c | 224187 | 97941 772996 2103722 | 1 45999 77 | 29.187 % | 157.07/157.11 c | 224399 | 97941 772996 2103722 | 1 46211 77 | 29.187 % | 157.07/157.11 c | 224499 | 97941 772996 2103722 | 1 46311 78 | 29.187 % | 157.07/157.11 c | 224675 | 97941 772996 2103722 | 1 46487 78 | 29.187 % | 157.07/157.11 c | 225700 | 97940 772996 2103722 | 1 47511 80 | 29.188 % | 157.07/157.11 c | 225800 | 97940 772970 2103612 | 1 47608 81 | 29.188 % | 157.07/157.11 c | 225900 | 97940 772970 2103612 | 1 47708 81 | 29.188 % | 157.07/157.11 c | 226001 | 97940 772970 2103612 | 1 47809 81 | 29.188 % | 157.07/157.11 c | 226155 | 97939 772970 2103612 | 1 47962 82 | 29.188 % | 157.07/157.11 c | 226562 | 97939 772970 2103612 | 1 48369 82 | 29.188 % | 157.07/157.11 c | 226672 | 97939 772970 2103612 | 1 48479 83 | 29.188 % | 157.07/157.11 c | 226774 | 97939 772970 2103612 | 1 48581 83 | 29.188 % | 157.07/157.11 c | 226876 | 97939 772970 2103612 | 1 48683 84 | 29.188 % | 157.07/157.11 c | 226976 | 97939 772970 2103612 | 1 48783 84 | 29.188 % | 157.07/157.11 c | 227328 | 97939 772970 2103612 | 1 49135 85 | 29.188 % | 157.07/157.11 c | 227429 | 97939 772970 2103612 | 1 49236 85 | 29.188 % | 157.07/157.11 c | 227529 | 97939 772970 2103612 | 1 49336 86 | 29.188 % | 157.07/157.11 c | 227630 | 97932 772970 2103612 | 1 49436 86 | 29.193 % | 157.07/157.11 c | 228224 | 97932 772970 2103612 | 1 50030 89 | 29.193 % | 157.07/157.11 c | 228324 | 97932 772970 2103612 | 1 50119 90 | 29.193 % | 157.07/157.11 c | 228424 | 97932 772970 2103612 | 1 50219 90 | 29.193 % | 157.07/157.11 c | 228525 | 97932 772970 2103612 | 1 50320 91 | 29.193 % | 157.07/157.11 c | 228625 | 97932 772970 2103612 | 1 50420 91 | 29.193 % | 157.07/157.11 c | 228748 | 97931 772970 2103612 | 1 50542 91 | 29.194 % | 157.07/157.11 c | 228864 | 97931 772970 2103612 | 1 50658 91 | 29.194 % | 157.07/157.11 c | 228988 | 97931 772970 2103612 | 1 50782 92 | 29.194 % | 157.07/157.11 c | 229178 | 97931 772970 2103612 | 1 50972 92 | 29.194 % | 157.07/157.11 c | 229453 | 97931 772970 2103612 | 1 51247 92 | 29.194 % | 157.07/157.11 c | 229570 | 97931 772970 2103612 | 1 51364 92 | 29.194 % | 157.07/157.11 c | 229981 | 97923 772970 2103612 | 1 51774 93 | 29.200 % | 157.07/157.11 c | 230081 | 97923 772970 2103612 | 1 51874 93 | 29.200 % | 157.07/157.11 c | 230182 | 97919 772970 2103612 | 1 51974 94 | 29.203 % | 157.07/157.11 c | 233405 | 97743 772580 2102106 | 1 55035 98 | 29.330 % | 157.07/157.11 c | 233685 | 97540 772580 2102106 | 1 55313 98 | 29.477 % | 157.07/157.11 c | 233934 | 97469 772580 2102106 | 1 55559 99 | 29.528 % | 157.07/157.11 c | 234486 | 97469 772580 2102106 | 1 56111 99 | 29.528 % | 157.07/157.11 c | 234592 | 97469 772580 2102106 | 1 56217 100 | 29.528 % | 157.07/157.11 c | 234884 | 97469 772580 2102106 | 1 56509 100 | 29.528 % | 157.07/157.11 c | 235096 | 97469 772580 2102106 | 1 56721 100 | 29.528 % | 157.07/157.11 c | 235338 | 97468 772088 2100141 | 1 55054 100 | 29.529 % | 157.07/157.11 c | 235533 | 97468 772088 2100141 | 1 55249 101 | 29.529 % | 157.07/157.11 c | 235635 | 97468 772088 2100141 | 1 55351 101 | 29.529 % | 157.07/157.11 c | 236383 | 97468 772088 2100141 | 1 56099 102 | 29.529 % | 157.07/157.11 c | 237657 | 97468 772088 2100141 | 1 57373 104 | 29.529 % | 157.07/157.11 c | 238370 | 97468 772088 2100141 | 1 58086 106 | 29.529 % | 157.07/157.11 c | 238549 | 97467 772088 2100141 | 1 58264 106 | 29.530 % | 157.07/157.11 c | 238881 | 97467 772088 2100141 | 1 58596 107 | 29.530 % | 157.07/157.11 c | 239140 | 97467 772088 2100141 | 1 58855 108 | 29.530 % | 157.07/157.11 c | 240765 | 97314 772027 2099958 | 1 60436 110 | 29.640 % | 176.98/177.01 c | 240865 | 97314 772027 2099958 | 1 60536 111 | 29.640 % | 176.98/177.01 c | 241061 | 97313 772027 2099958 | 1 60731 111 | 29.641 % | 176.98/177.01 c | 242101 | 97313 772027 2099958 | 1 61771 114 | 29.641 % | 176.98/177.01 c | 242372 | 97298 772027 2099958 | 1 62041 115 | 29.652 % | 176.98/177.01 c | 244248 | 97298 772027 2099958 | 1 63917 120 | 29.652 % | 176.98/177.01 c | 244582 | 97298 771981 2099772 | 1 64243 120 | 29.652 % | 176.98/177.01 c | 244685 | 97298 771981 2099772 | 1 64346 120 | 29.652 % | 176.98/177.01 c | 245948 | 97298 771981 2099772 | 1 65609 121 | 29.652 % | 176.98/177.01 c | 246089 | 97298 771981 2099772 | 1 65750 121 | 29.652 % | 176.98/177.01 c | 246190 | 97298 771981 2099772 | 1 65851 121 | 29.652 % | 176.98/177.01 c | 246294 | 97298 771981 2099772 | 1 65955 121 | 29.652 % | 176.98/177.01 c | 246394 | 97298 771981 2099772 | 1 66055 122 | 29.652 % | 176.98/177.01 c | 246495 | 97298 771981 2099772 | 1 66156 122 | 29.652 % | 176.98/177.01 c | 246829 | 97298 771981 2099772 | 1 66490 122 | 29.652 % | 176.98/177.01 c | 246933 | 97298 771981 2099772 | 1 66594 122 | 29.652 % | 176.98/177.01 c | 247033 | 97298 771981 2099772 | 1 66694 122 | 29.652 % | 176.98/177.01 c | 247134 | 97298 771981 2099772 | 1 66795 122 | 29.652 % | 176.98/177.01 c | 247646 | 97297 771981 2099772 | 1 67306 123 | 29.652 % | 176.98/177.01 c | 248431 | 97297 771981 2099772 | 1 68090 125 | 29.652 % | 176.98/177.01 c | 248531 | 97297 771981 2099772 | 1 68190 126 | 29.652 % | 176.98/177.01 c | 248632 | 97297 771981 2099772 | 1 68291 126 | 29.652 % | 176.98/177.01 c | 250630 | 97289 771981 2099772 | 1 70288 130 | 29.658 % | 176.98/177.01 c | 251131 | 97289 771981 2099772 | 1 70789 130 | 29.658 % | 176.98/177.01 c | 252923 | 97283 771981 2099772 | 1 72580 133 | 29.663 % | 176.98/177.01 c | 253056 | 97283 771981 2099772 | 1 72713 133 | 29.663 % | 176.98/177.01 c | 253156 | 97283 771981 2099772 | 1 72813 134 | 29.663 % | 176.98/177.01 c | 253256 | 97283 771966 2099708 | 1 72913 134 | 29.663 % | 176.98/177.01 c | 254658 | 97265 771966 2099708 | 1 74314 135 | 29.676 % | 176.98/177.01 c | 256068 | 97252 771966 2099708 | 1 46689 62 | 29.685 % | 176.98/177.01 c | 256168 | 97252 771966 2099708 | 1 46789 63 | 29.685 % | 176.98/177.01 c | 256273 | 97252 771966 2099708 | 1 46894 63 | 29.685 % | 176.98/177.01 c | 256376 | 97252 771966 2099708 | 1 46997 63 | 29.685 % | 176.98/177.01 c | 256482 | 97252 771966 2099708 | 1 47103 64 | 29.685 % | 176.98/177.01 c | 256583 | 97252 771966 2099708 | 1 47204 64 | 29.685 % | 176.98/177.01 c | 256684 | 97252 771966 2099708 | 1 47305 65 | 29.685 % | 176.98/177.01 c | 256898 | 97252 771966 2099708 | 1 47519 65 | 29.685 % | 176.98/177.01 c | 256999 | 97252 771939 2099627 | 1 47611 66 | 29.685 % | 176.98/177.01 c | 260093 | 97252 771939 2099627 | 1 50705 73 | 29.685 % | 176.98/177.01 c | 260195 | 97252 771939 2099627 | 1 50807 73 | 29.685 % | 176.98/177.01 c | 261756 | 97252 771939 2099627 | 1 52368 81 | 29.685 % | 176.98/177.01 c | 261925 | 97252 771939 2099627 | 1 52537 82 | 29.685 % | 176.98/177.01 c | 262025 | 97252 771939 2099627 | 1 52637 82 | 29.685 % | 176.98/177.01 c | 262192 | 97252 771939 2099627 | 1 52804 82 | 29.685 % | 176.98/177.01 c | 262292 | 97252 771939 2099627 | 1 52904 83 | 29.685 % | 176.98/177.01 c | 262392 | 97252 771939 2099627 | 1 53004 83 | 29.685 % | 176.98/177.01 c | 262845 | 97252 771939 2099627 | 1 53457 84 | 29.685 % | 176.98/177.01 c | 263147 | 97252 771939 2099627 | 1 53759 84 | 29.685 % | 176.98/177.01 c | 263247 | 97252 771939 2099627 | 1 53859 84 | 29.685 % | 176.98/177.01 c | 263453 | 97252 771939 2099627 | 1 54065 85 | 29.685 % | 176.98/177.01 c | 263780 | 97249 771938 2099624 | 1 54391 86 | 29.687 % | 194.58/194.63 c | 263882 | 97249 771938 2099624 | 1 54493 86 | 29.687 % | 194.58/194.63 c | 264699 | 97248 771938 2099624 | 1 55309 88 | 29.688 % | 194.58/194.63 c | 264801 | 97248 771938 2099624 | 1 55411 88 | 29.688 % | 194.58/194.63 c | 265059 | 97248 771938 2099624 | 1 55669 88 | 29.688 % | 194.58/194.63 c | 265502 | 97248 771938 2099624 | 1 56112 90 | 29.688 % | 194.58/194.63 c | 265604 | 97248 771938 2099624 | 1 56214 90 | 29.688 % | 194.58/194.63 c | 265804 | 97248 771938 2099624 | 1 56414 90 | 29.688 % | 194.58/194.63 c | 265904 | 97248 771938 2099624 | 1 56514 90 | 29.688 % | 194.58/194.63 c | 266004 | 97248 771938 2099624 | 1 56614 91 | 29.688 % | 194.58/194.63 c | 266280 | 97248 771938 2099624 | 1 56890 91 | 29.688 % | 194.58/194.63 c | 266563 | 97248 771938 2099624 | 1 57172 91 | 29.688 % | 194.58/194.63 c | 268119 | 97245 771938 2099624 | 1 58727 94 | 29.690 % | 194.58/194.63 c | 268550 | 97245 771938 2099624 | 1 59158 96 | 29.690 % | 194.58/194.63 c | 268778 | 97245 771938 2099624 | 1 59386 96 | 29.690 % | 194.58/194.63 c | 271043 | 97244 771936 2099618 | 1 61636 100 | 29.691 % | 194.58/194.63 c | 271144 | 97244 771936 2099618 | 1 61737 100 | 29.691 % | 194.58/194.63 c | 271244 | 97244 771936 2099618 | 1 61837 101 | 29.691 % | 194.58/194.63 c | 271345 | 97244 771936 2099618 | 1 61938 101 | 29.691 % | 194.58/194.63 c | 271448 | 97244 771936 2099618 | 1 62041 101 | 29.691 % | 194.58/194.63 c | 272234 | 97227 771936 2099618 | 1 62825 102 | 29.703 % | 194.58/194.63 c | 272691 | 97227 771936 2099618 | 1 63282 102 | 29.703 % | 194.58/194.63 c | 273168 | 97166 771936 2099618 | 1 63758 103 | 29.747 % | 194.58/194.63 c | 273274 | 97166 771936 2099618 | 1 63864 103 | 29.747 % | 194.58/194.63 c | 273681 | 97166 771936 2099618 | 1 64271 104 | 29.747 % | 194.58/194.63 c | 273782 | 97166 771936 2099618 | 1 64372 104 | 29.747 % | 194.58/194.63 c | 273918 | 97166 771936 2099618 | 1 64508 104 | 29.747 % | 194.58/194.63 c | 274149 | 97166 771936 2099618 | 1 64739 105 | 29.747 % | 194.58/194.63 c | 274263 | 97166 771936 2099618 | 1 64853 105 | 29.747 % | 194.58/194.63 c | 274583 | 97166 771936 2099618 | 1 65173 105 | 29.747 % | 194.58/194.63 c | 274686 | 97166 771936 2099618 | 1 65276 105 | 29.747 % | 194.58/194.63 c | 274860 | 97160 771847 2099327 | 1 65426 105 | 29.751 % | 194.58/194.63 c | 276307 | 97153 771847 2099327 | 1 66872 108 | 29.757 % | 194.58/194.63 c | 276407 | 97153 771847 2099327 | 1 66972 108 | 29.757 % | 194.58/194.63 c | 277389 | 97153 771847 2099327 | 1 67954 111 | 29.757 % | 194.58/194.63 c | 277595 | 97153 771847 2099327 | 1 68160 111 | 29.757 % | 194.58/194.63 c | 277696 | 97132 771847 2099327 | 1 68260 112 | 29.772 % | 194.58/194.63 c | 277797 | 97132 771847 2099327 | 1 68361 112 | 29.772 % | 194.58/194.63 c | 277897 | 97132 771847 2099327 | 1 68461 112 | 29.772 % | 194.58/194.63 c | 277997 | 97132 771847 2099327 | 1 68561 112 | 29.772 % | 194.58/194.63 c | 278097 | 97128 771847 2099327 | 1 68657 112 | 29.775 % | 194.58/194.63 c | 278945 | 97123 771847 2099327 | 1 69503 115 | 29.778 % | 194.58/194.63 c | 279045 | 97123 771847 2099327 | 1 69603 115 | 29.778 % | 194.58/194.63 c | 279182 | 97123 771847 2099327 | 1 69740 115 | 29.778 % | 194.58/194.63 c | 279704 | 97123 771752 2099002 | 1 70238 117 | 29.778 % | 194.58/194.63 c | 279807 | 97123 771752 2099002 | 1 70341 117 | 29.778 % | 194.58/194.63 c | 280571 | 97123 771752 2099002 | 1 71105 118 | 29.778 % | 194.58/194.63 c | 280671 | 97123 771752 2099002 | 1 71205 118 | 29.778 % | 194.58/194.63 c | 283175 | 97120 771752 2099002 | 1 73708 119 | 29.780 % | 194.58/194.63 c | 283420 | 97120 771746 2098984 | 1 73953 119 | 29.780 % | 194.58/194.63 c | 284977 | 97120 771746 2098984 | 1 75510 122 | 29.780 % | 218.58/218.63 c | 285443 | 97120 771746 2098984 | 1 75976 122 | 29.780 % | 218.58/218.63 c | 285543 | 97120 771746 2098984 | 1 76076 122 | 29.780 % | 218.58/218.63 c | 287904 | 97120 771746 2098984 | 1 78437 123 | 29.780 % | 218.58/218.63 c | 288292 | 96953 771746 2098984 | 1 78824 124 | 29.901 % | 218.58/218.63 c | 289210 | 96953 771746 2098984 | 1 79699 124 | 29.901 % | 218.58/218.63 c | 290667 | 96946 771746 2098984 | 1 81155 127 | 29.906 % | 218.58/218.63 c | 290883 | 96946 771746 2098984 | 1 81371 127 | 29.906 % | 218.58/218.63 c | 290984 | 96946 771746 2098984 | 1 81472 127 | 29.906 % | 218.58/218.63 c | 291089 | 96946 771746 2098984 | 1 81577 127 | 29.906 % | 218.58/218.63 c | 292923 | 96946 771746 2098984 | 1 50456 58 | 29.906 % | 218.58/218.63 c | 293186 | 96935 771746 2098984 | 1 50718 59 | 29.914 % | 218.58/218.63 c | 293604 | 96928 771746 2098984 | 1 51135 60 | 29.919 % | 218.58/218.63 c | 294134 | 96928 771746 2098984 | 1 51665 61 | 29.919 % | 218.58/218.63 c | 295183 | 96928 771746 2098984 | 1 52714 64 | 29.919 % | 218.58/218.63 c | 295285 | 96921 771679 2098711 | 1 52794 64 | 29.924 % | 218.58/218.63 c | 295799 | 96921 771679 2098711 | 1 53308 66 | 29.924 % | 218.58/218.63 c | 296590 | 96921 771679 2098711 | 1 54099 68 | 29.924 % | 218.58/218.63 c | 296809 | 96921 771679 2098711 | 1 54318 68 | 29.924 % | 218.58/218.63 c | 296910 | 96921 771679 2098711 | 1 54419 68 | 29.924 % | 218.58/218.63 c | 297386 | 96921 771679 2098711 | 1 54895 69 | 29.924 % | 218.58/218.63 c | 297486 | 96921 771679 2098711 | 1 54995 70 | 29.924 % | 218.58/218.63 c | 298143 | 96921 771679 2098711 | 1 55652 71 | 29.924 % | 218.58/218.63 c | 299455 | 96921 771661 2098641 | 1 56964 71 | 29.924 % | 218.58/218.63 c | 300153 | 96921 771661 2098641 | 1 57662 72 | 29.924 % | 218.58/218.63 c | 300260 | 96921 771661 2098641 | 1 57769 73 | 29.924 % | 218.58/218.63 c | 300368 | 96921 771661 2098641 | 1 57877 73 | 29.924 % | 218.58/218.63 c | 302454 | 96885 771661 2098641 | 1 59961 77 | 29.950 % | 218.58/218.63 c | 303028 | 96885 771576 2098296 | 1 60508 78 | 29.950 % | 218.58/218.63 c | 303131 | 96885 771576 2098296 | 1 60611 79 | 29.950 % | 218.58/218.63 c | 303466 | 96885 771576 2098296 | 1 60946 79 | 29.950 % | 218.58/218.63 c | 303927 | 96885 771576 2098296 | 1 61407 80 | 29.950 % | 218.58/218.63 c | 307187 | 96877 771551 2098195 | 1 64659 86 | 29.956 % | 218.58/218.63 c | 307354 | 96877 771551 2098195 | 1 64826 86 | 29.956 % | 218.58/218.63 c | 307457 | 96877 771551 2098195 | 1 64929 86 | 29.956 % | 218.58/218.63 c | 311008 | 96877 771551 2098195 | 1 68480 93 | 29.956 % | 218.58/218.63 c | 311780 | 96876 771551 2098195 | 1 69247 94 | 29.957 % | 218.58/218.63 c | 312515 | 96876 771551 2098195 | 1 69982 95 | 29.957 % | 218.58/218.63 c | 312615 | 96876 771551 2098195 | 1 70082 95 | 29.957 % | 218.58/218.63 c | 312964 | 96876 771551 2098195 | 1 70431 96 | 29.957 % | 218.58/218.63 c | 313162 | 96876 771551 2098195 | 1 70629 96 | 29.957 % | 218.58/218.63 c | 314424 | 96875 771551 2098195 | 1 71890 100 | 29.958 % | 218.58/218.63 c | 314889 | 96874 771551 2098195 | 1 72354 100 | 29.958 % | 218.58/218.63 c | 314990 | 96874 771551 2098195 | 1 72455 100 | 29.958 % | 218.58/218.63 c | 315327 | 96874 771551 2098195 | 1 72792 101 | 29.958 % | 218.58/218.63 c | 316338 | 96858 771551 2098195 | 1 73802 101 | 29.970 % | 218.58/218.63 c | 317903 | 96858 771551 2098195 | 1 75360 106 | 29.970 % | 218.58/218.63 c | 318682 | 96856 771551 2098195 | 1 76137 107 | 29.971 % | 218.58/218.63 c | 319122 | 96856 771551 2098195 | 1 76577 108 | 29.971 % | 218.58/218.63 c | 319222 | 96856 771551 2098195 | 1 76677 108 | 29.971 % | 218.58/218.63 c | 319378 | 96856 771551 2098195 | 1 76833 108 | 29.971 % | 235.78/235.88 c | 320300 | 96856 771551 2098195 | 1 77755 108 | 29.971 % | 235.78/235.88 c | 320874 | 96840 771551 2098195 | 1 78328 109 | 29.983 % | 235.78/235.88 c | 320974 | 96840 771551 2098195 | 1 78428 109 | 29.983 % | 235.78/235.88 c | 321075 | 96840 771551 2098195 | 1 78529 109 | 29.983 % | 235.78/235.88 c | 321236 | 96840 771551 2098195 | 1 78690 109 | 29.983 % | 235.78/235.88 c | 322150 | 96840 771551 2098195 | 1 79604 110 | 29.983 % | 235.78/235.88 c | 322639 | 96840 771508 2098034 | 1 80077 111 | 29.983 % | 235.78/235.88 c | 322740 | 96840 771508 2098034 | 1 80178 111 | 29.983 % | 235.78/235.88 c | 322851 | 96840 771508 2098034 | 1 80289 111 | 29.983 % | 235.78/235.88 c | 322958 | 96840 771508 2098034 | 1 80396 111 | 29.983 % | 235.78/235.88 c | 323058 | 96840 771508 2098034 | 1 80496 112 | 29.983 % | 235.78/235.88 c | 323297 | 96662 771508 2098034 | 1 80734 112 | 30.112 % | 235.78/235.88 c | 323674 | 96660 771508 2098034 | 1 81110 112 | 30.113 % | 235.78/235.88 c | 323775 | 96660 771508 2098034 | 1 81211 112 | 30.113 % | 235.78/235.88 c | 323960 | 96660 771508 2098034 | 1 81396 113 | 30.113 % | 235.78/235.88 c | 324060 | 96660 771508 2098034 | 1 81496 113 | 30.113 % | 235.78/235.88 c | 324743 | 96660 771508 2098034 | 1 82179 114 | 30.113 % | 235.78/235.88 c | 325681 | 96647 771508 2098034 | 1 83116 114 | 30.122 % | 235.78/235.88 c | 325786 | 96647 771508 2098034 | 1 83221 114 | 30.122 % | 235.78/235.88 c | 325886 | 96647 771508 2098034 | 1 83321 114 | 30.122 % | 235.78/235.88 c | 326205 | 96647 771508 2098034 | 1 83640 114 | 30.122 % | 235.78/235.88 c | 326334 | 96647 771445 2097845 | 1 83753 114 | 30.122 % | 235.78/235.88 c | 326435 | 96647 771445 2097845 | 1 83854 114 | 30.122 % | 235.78/235.88 c | 328123 | 96647 771445 2097845 | 1 85542 117 | 30.122 % | 235.78/235.88 c | 329889 | 96647 771445 2097845 | 1 87308 119 | 30.122 % | 235.78/235.88 c | 329989 | 96647 771445 2097845 | 1 87408 119 | 30.122 % | 235.78/235.88 c | 330089 | 96647 771445 2097845 | 1 87508 119 | 30.122 % | 235.78/235.88 c | 330191 | 96647 771445 2097845 | 1 87610 120 | 30.122 % | 235.78/235.88 c | 330292 | 96647 771445 2097845 | 1 87711 120 | 30.122 % | 235.78/235.88 c | 330530 | 96647 771445 2097845 | 1 87949 120 | 30.122 % | 235.78/235.88 c | 330636 | 96647 771445 2097845 | 1 88055 120 | 30.122 % | 235.78/235.88 c | 331258 | 96640 771445 2097845 | 1 88676 120 | 30.127 % | 235.78/235.88 c | 332317 | 96636 771424 2097760 | 1 89717 121 | 30.130 % | 235.78/235.88 c | 332728 | 96636 771424 2097760 | 1 90128 121 | 30.130 % | 235.78/235.88 c | 332830 | 96636 771424 2097760 | 1 90230 122 | 30.130 % | 235.78/235.88 c | 333113 | 96636 771424 2097760 | 1 55486 57 | 30.130 % | 235.78/235.88 c | 334098 | 96636 771424 2097760 | 1 56471 61 | 30.130 % | 235.78/235.88 c | 334200 | 96636 771424 2097760 | 1 56573 62 | 30.130 % | 235.78/235.88 c | 335273 | 96636 771424 2097760 | 1 57646 65 | 30.130 % | 235.78/235.88 c | 335390 | 96636 771424 2097760 | 1 57763 65 | 30.130 % | 235.78/235.88 c | 336341 | 96636 771424 2097760 | 1 58714 65 | 30.130 % | 235.78/235.88 c | 336444 | 96636 771424 2097760 | 1 58817 66 | 30.130 % | 235.78/235.88 c | 336682 | 96636 771424 2097760 | 1 59055 66 | 30.130 % | 235.78/235.88 c | 338136 | 96599 771350 2097514 | 1 60481 69 | 30.157 % | 235.78/235.88 c | 338238 | 96599 771350 2097514 | 1 60583 70 | 30.157 % | 235.78/235.88 c | 338343 | 96599 771350 2097514 | 1 60688 70 | 30.157 % | 235.78/235.88 c | 338444 | 96599 771350 2097514 | 1 60789 70 | 30.157 % | 235.78/235.88 c | 339397 | 96599 771350 2097514 | 1 61742 72 | 30.157 % | 235.78/235.88 c | 341816 | 96599 771350 2097514 | 1 64161 75 | 30.157 % | 235.78/235.88 c | 342374 | 96599 771350 2097514 | 1 64719 76 | 30.157 % | 257.47/257.55 c | 342477 | 96599 771350 2097514 | 1 64822 76 | 30.157 % | 257.47/257.55 c | 342915 | 96599 771350 2097514 | 1 65260 78 | 30.157 % | 257.47/257.55 c | 343016 | 96599 771350 2097514 | 1 65361 78 | 30.157 % | 257.47/257.55 c | 343120 | 96599 771350 2097514 | 1 65465 78 | 30.157 % | 257.47/257.55 c | 343753 | 96599 771350 2097514 | 1 66098 79 | 30.157 % | 257.47/257.55 c | 343853 | 96599 771350 2097514 | 1 66198 80 | 30.157 % | 257.47/257.55 c | 346023 | 96590 771322 2097398 | 1 68358 82 | 30.164 % | 257.47/257.55 c | 346231 | 96590 771322 2097398 | 1 68566 82 | 30.164 % | 257.47/257.55 c | 346788 | 96590 771322 2097398 | 1 69123 83 | 30.164 % | 257.47/257.55 c | 346888 | 96590 771322 2097398 | 1 69223 83 | 30.164 % | 257.47/257.55 c | 347500 | 96590 771322 2097398 | 1 69835 85 | 30.164 % | 257.47/257.55 c | 347798 | 96590 771322 2097398 | 1 70133 85 | 30.164 % | 257.47/257.55 c | 347899 | 96590 771322 2097398 | 1 70234 85 | 30.164 % | 257.47/257.55 c | 348046 | 96590 771322 2097398 | 1 70381 86 | 30.164 % | 257.47/257.55 c | 348147 | 96590 771322 2097398 | 1 70482 86 | 30.164 % | 257.47/257.55 c | 348248 | 96590 771322 2097398 | 1 70583 87 | 30.164 % | 257.47/257.55 c | 348350 | 96590 771322 2097398 | 1 70685 87 | 30.164 % | 257.47/257.55 c | 348748 | 96590 771322 2097398 | 1 71083 87 | 30.164 % | 257.47/257.55 c | 349949 | 96590 771322 2097398 | 1 72284 89 | 30.164 % | 257.47/257.55 c | 350052 | 96590 771322 2097398 | 1 72387 89 | 30.164 % | 257.47/257.55 c | 350155 | 96590 771322 2097398 | 1 72490 89 | 30.164 % | 257.47/257.55 c | 350255 | 96590 771322 2097398 | 1 72590 89 | 30.164 % | 257.47/257.55 c | 351829 | 96585 771311 2097365 | 1 74163 91 | 30.167 % | 257.47/257.55 c | 356819 | 96575 771311 2097365 | 1 79151 98 | 30.174 % | 257.47/257.55 c | 356919 | 96567 771265 2097211 | 1 79244 98 | 30.180 % | 257.47/257.55 c | 357019 | 96567 771265 2097211 | 1 79344 98 | 30.180 % | 257.47/257.55 c | 357737 | 96567 771265 2097211 | 1 80062 98 | 30.180 % | 257.47/257.55 c | 358136 | 96567 771265 2097211 | 1 80461 99 | 30.180 % | 257.47/257.55 c | 358357 | 96567 771265 2097211 | 1 80682 100 | 30.180 % | 257.47/257.55 c | 358586 | 96567 771265 2097211 | 1 80911 100 | 30.180 % | 257.47/257.55 c | 361731 | 95103 753102 2042698 | 1 83978 106 | 31.239 % | 257.47/257.55 c | 362100 | 95103 753102 2042698 | 1 84347 106 | 31.239 % | 257.47/257.55 c | 362206 | 95103 753102 2042698 | 1 84453 107 | 31.239 % | 257.47/257.55 c | 363831 | 95026 753102 2042698 | 1 86077 109 | 31.294 % | 257.47/257.55 c | 363932 | 95026 753102 2042698 | 1 86178 110 | 31.294 % | 257.47/257.55 c | 364062 | 95026 753102 2042698 | 1 86308 110 | 31.294 % | 257.47/257.55 c | 364248 | 95026 753102 2042698 | 1 86494 110 | 31.294 % | 257.47/257.55 c | 366005 | 95026 753102 2042698 | 1 88251 110 | 31.294 % | 257.47/257.55 c | 366105 | 95026 753102 2042698 | 1 88351 110 | 31.294 % | 257.47/257.55 c | 366206 | 95026 753102 2042698 | 1 88452 111 | 31.294 % | 257.47/257.55 c | 366306 | 95026 753102 2042698 | 1 88552 111 | 31.294 % | 257.47/257.55 c | 366810 | 95026 753102 2042698 | 1 89056 111 | 31.294 % | 257.47/257.55 c | 367142 | 95018 752976 2042160 | 1 89384 111 | 31.300 % | 257.47/257.55 c | 367842 | 95017 752976 2042160 | 1 90083 112 | 31.301 % | 257.47/257.55 c | 367942 | 95017 752976 2042160 | 1 90183 112 | 31.301 % | 257.47/257.55 c | 368050 | 95017 752976 2042160 | 1 90291 112 | 31.301 % | 257.47/257.55 c | 369150 | 95017 752976 2042160 | 1 91391 113 | 31.301 % | 257.47/257.55 c | 370419 | 95017 752976 2042160 | 1 92660 113 | 31.301 % | 257.47/257.55 c | 370613 | 95017 752976 2042160 | 1 92854 113 | 31.301 % | 257.47/257.55 c | 371203 | 95017 752976 2042160 | 1 93444 113 | 31.301 % | 284.98/285.06 c | 372212 | 95017 752976 2042160 | 1 94453 114 | 31.301 % | 284.98/285.06 c | 372312 | 95017 752976 2042160 | 1 94553 114 | 31.301 % | 284.98/285.06 c | 372698 | 95017 752976 2042160 | 1 94939 114 | 31.301 % | 284.98/285.06 c | 372799 | 95017 752976 2042160 | 1 95040 114 | 31.301 % | 284.98/285.06 c | 372902 | 94997 752976 2042160 | 1 95141 114 | 31.315 % | 284.98/285.06 c | 373892 | 94997 752953 2042059 | 1 96107 114 | 31.315 % | 284.98/285.06 c | 374244 | 94997 752953 2042059 | 1 96459 115 | 31.315 % | 284.98/285.06 c | 374344 | 94997 752953 2042059 | 1 96559 115 | 31.315 % | 284.98/285.06 c | 374447 | 94997 752953 2042059 | 1 96662 115 | 31.315 % | 284.98/285.06 c | 374548 | 94997 752953 2042059 | 1 96763 115 | 31.315 % | 284.98/285.06 c | 374649 | 94997 752953 2042059 | 1 96864 115 | 31.315 % | 284.98/285.06 c | 374868 | 94997 752953 2042059 | 1 97083 115 | 31.315 % | 284.98/285.06 c | 375971 | 94993 752953 2042059 | 1 98185 118 | 31.318 % | 284.98/285.06 c | 377001 | 94993 752953 2042059 | 1 61593 59 | 31.318 % | 284.98/285.06 c | 377101 | 94993 752953 2042059 | 1 61693 59 | 31.318 % | 284.98/285.06 c | 380226 | 94911 752300 2040048 | 1 64743 66 | 31.378 % | 284.98/285.06 c | 380348 | 94911 752300 2040048 | 1 64865 66 | 31.378 % | 284.98/285.06 c | 380946 | 94911 752300 2040048 | 1 65463 67 | 31.378 % | 284.98/285.06 c | 381046 | 94911 752300 2040048 | 1 65563 67 | 31.378 % | 284.98/285.06 c | 381763 | 94911 752300 2040048 | 1 66280 69 | 31.378 % | 284.98/285.06 c | 382848 | 94911 752300 2040048 | 1 67365 71 | 31.378 % | 284.98/285.06 c | 382981 | 94911 752300 2040048 | 1 67498 71 | 31.378 % | 284.98/285.06 c | 383568 | 94911 752300 2040048 | 1 68085 72 | 31.378 % | 284.98/285.06 c | 383668 | 94911 752300 2040048 | 1 68185 72 | 31.378 % | 284.98/285.06 c | 390274 | 94910 752300 2040048 | 1 74785 85 | 31.378 % | 284.98/285.06 c | 390395 | 94910 752300 2040048 | 1 74906 85 | 31.378 % | 284.98/285.06 c | 390606 | 94910 752300 2040048 | 1 75117 85 | 31.378 % | 284.98/285.06 c | 391141 | 94909 752300 2040048 | 1 75651 86 | 31.379 % | 284.98/285.06 c | 391241 | 94909 752300 2040048 | 1 75751 86 | 31.379 % | 284.98/285.06 c | 391341 | 94909 752300 2040048 | 1 75851 86 | 31.379 % | 284.98/285.06 c | 392640 | 94868 752300 2040048 | 1 77149 87 | 31.409 % | 284.98/285.06 c | 393322 | 94868 752300 2040048 | 1 77831 89 | 31.409 % | 284.98/285.06 c | 393553 | 94868 752300 2040048 | 1 78062 89 | 31.409 % | 284.98/285.06 c | 393920 | 94868 752300 2040048 | 1 78429 90 | 31.409 % | 284.98/285.06 c | 394896 | 94866 752300 2040048 | 1 79403 92 | 31.410 % | 284.98/285.06 c | 396871 | 94842 752191 2039721 | 1 81350 95 | 31.427 % | 284.98/285.06 c | 396971 | 94842 752191 2039721 | 1 81450 95 | 31.427 % | 284.98/285.06 c | 397249 | 94764 752191 2039721 | 1 81727 95 | 31.484 % | 284.98/285.06 c | 399814 | 94639 752191 2039721 | 1 84291 98 | 31.574 % | 284.98/285.06 c | 399999 | 94639 752191 2039721 | 1 84476 98 | 31.574 % | 284.98/285.06 c | 400283 | 94639 751667 2037595 | 1 82634 99 | 31.574 % | 284.98/285.06 c | 402901 | 94639 751667 2037595 | 1 85252 105 | 31.574 % | 284.98/285.06 c | 403481 | 94639 751667 2037595 | 1 85832 106 | 31.574 % | 284.98/285.06 c | 403732 | 94639 751667 2037595 | 1 86083 106 | 31.574 % | 284.98/285.06 c | 403834 | 94639 751667 2037595 | 1 86185 106 | 31.574 % | 284.98/285.06 c | 403935 | 94639 751667 2037595 | 1 86286 106 | 31.574 % | 284.98/285.06 c | 406037 | 94631 751667 2037595 | 1 88387 109 | 31.580 % | 284.98/285.06 c | 406141 | 94631 751667 2037595 | 1 88491 109 | 31.580 % | 284.98/285.06 c | 407155 | 94625 751667 2037595 | 1 89504 111 | 31.584 % | 284.98/285.06 c | 407257 | 94625 751623 2037407 | 1 89507 111 | 31.584 % | 300.88/300.92 c | 408450 | 94621 751623 2037407 | 1 90699 112 | 31.587 % | 300.88/300.92 c | 408554 | 94621 751623 2037407 | 1 90803 112 | 31.587 % | 300.88/300.92 c | 408957 | 94554 751623 2037407 | 1 91204 113 | 31.636 % | 300.88/300.92 c | 409059 | 94554 751623 2037407 | 1 91306 113 | 31.636 % | 300.88/300.92 c | 409223 | 94554 751623 2037407 | 1 91470 113 | 31.636 % | 300.88/300.92 c | 410936 | 94554 751623 2037407 | 1 93183 114 | 31.636 % | 300.88/300.92 c | 413537 | 94538 751502 2036965 | 1 95720 117 | 31.647 % | 300.88/300.92 c | 413944 | 94538 751502 2036965 | 1 96127 118 | 31.647 % | 300.88/300.92 c | 414061 | 94538 751502 2036965 | 1 96244 118 | 31.647 % | 300.88/300.92 c | 414161 | 94538 751502 2036965 | 1 96344 118 | 31.647 % | 300.88/300.92 c | 414261 | 94538 751502 2036965 | 1 96444 118 | 31.647 % | 300.88/300.92 c | 414490 | 94538 751502 2036965 | 1 96673 118 | 31.647 % | 300.88/300.92 c | 414591 | 94538 751502 2036965 | 1 96774 119 | 31.647 % | 300.88/300.92 c | 414693 | 94538 751502 2036965 | 1 96876 119 | 31.647 % | 300.88/300.92 c | 414794 | 94538 751502 2036965 | 1 96977 119 | 31.647 % | 300.88/300.92 c | 415595 | 94538 751502 2036965 | 1 97778 120 | 31.647 % | 300.88/300.92 c | 416421 | 94538 751502 2036965 | 1 98604 121 | 31.647 % | 300.88/300.92 c | 416621 | 94538 751502 2036965 | 1 98804 121 | 31.647 % | 300.88/300.92 c | 416824 | 94538 751502 2036965 | 1 99007 121 | 31.647 % | 300.88/300.92 c | 416927 | 94538 751502 2036965 | 1 99110 121 | 31.647 % | 300.88/300.92 c | 418266 | 94535 751502 2036965 | 1 100448 121 | 31.649 % | 300.88/300.92 c | 419648 | 94518 751502 2036965 | 1 101827 121 | 31.662 % | 300.88/300.92 c | 419893 | 94518 751502 2036965 | 1 102072 121 | 31.662 % | 300.88/300.92 c | 420009 | 94518 751502 2036965 | 1 102185 121 | 31.662 % | 300.88/300.92 c | 420509 | 94510 751502 2036965 | 1 102684 122 | 31.667 % | 300.88/300.92 c | 420611 | 94510 751502 2036965 | 1 102786 122 | 31.667 % | 300.88/300.92 c | 421248 | 94510 751502 2036965 | 1 103423 123 | 31.667 % | 300.88/300.92 c | 421350 | 94510 751502 2036965 | 1 103525 123 | 31.667 % | 300.88/300.92 c | 421452 | 94510 751502 2036965 | 1 103627 123 | 31.667 % | 300.88/300.92 c | 421556 | 94510 751502 2036965 | 1 103731 123 | 31.667 % | 300.88/300.92 c | 421656 | 94510 751502 2036965 | 1 64405 60 | 31.667 % | 300.88/300.92 c | 421758 | 94510 751502 2036965 | 1 64507 60 | 31.667 % | 300.88/300.92 c | 421930 | 94510 751502 2036965 | 1 64679 61 | 31.667 % | 300.88/300.92 c | 422648 | 94509 751502 2036965 | 1 65396 63 | 31.668 % | 300.88/300.92 c | 423016 | 94509 751502 2036965 | 1 65764 64 | 31.668 % | 300.88/300.92 c | 423119 | 94509 751502 2036965 | 1 65867 64 | 31.668 % | 300.88/300.92 c | 423221 | 94509 751502 2036965 | 1 65969 64 | 31.668 % | 300.88/300.92 c | 423323 | 94509 751502 2036965 | 1 66071 64 | 31.668 % | 300.88/300.92 c | 423424 | 94509 751502 2036965 | 1 66172 65 | 31.668 % | 300.88/300.92 c | 423741 | 94508 751502 2036965 | 1 66488 65 | 31.669 % | 300.88/300.92 c | 424010 | 94508 751502 2036965 | 1 66757 65 | 31.669 % | 300.88/300.92 c | 424373 | 94508 751502 2036965 | 1 67120 66 | 31.669 % | 300.88/300.92 c | 424917 | 94508 751502 2036965 | 1 67664 67 | 31.669 % | 300.88/300.92 c | 425112 | 94507 751502 2036965 | 1 67858 68 | 31.670 % | 300.88/300.92 c | 426575 | 94507 751502 2036965 | 1 69321 69 | 31.670 % | 300.88/300.92 c | 426675 | 94507 751470 2036839 | 1 69386 69 | 31.670 % | 300.88/300.92 c | 426831 | 94507 751470 2036839 | 1 69542 70 | 31.670 % | 300.88/300.92 c | 427958 | 94501 751470 2036839 | 1 70668 72 | 31.674 % | 300.88/300.92 c | 428061 | 94501 751470 2036839 | 1 70771 72 | 31.674 % | 300.88/300.92 c | 428487 | 94494 751470 2036839 | 1 71196 73 | 31.679 % | 328.38/328.46 c | 432388 | 94493 751470 2036839 | 1 75096 79 | 31.680 % | 328.38/328.46 c | 433132 | 94493 751426 2036651 | 1 75757 80 | 31.680 % | 328.38/328.46 c | 433450 | 94493 751426 2036651 | 1 76075 81 | 31.680 % | 328.38/328.46 c | 433551 | 94493 751426 2036651 | 1 76176 81 | 31.680 % | 328.38/328.46 c | 433736 | 94485 751426 2036651 | 1 76360 81 | 31.686 % | 328.38/328.46 c | 437489 | 94485 751426 2036651 | 1 80113 82 | 31.686 % | 328.38/328.46 c | 437590 | 94485 751401 2036546 | 1 80213 83 | 31.686 % | 328.38/328.46 c | 437690 | 94485 751401 2036546 | 1 80313 83 | 31.686 % | 328.38/328.46 c | 438011 | 94484 751401 2036546 | 1 80633 83 | 31.686 % | 328.38/328.46 c | 438159 | 94484 751401 2036546 | 1 80781 83 | 31.686 % | 328.38/328.46 c | 438260 | 94484 751401 2036546 | 1 80882 83 | 31.686 % | 328.38/328.46 c | 438459 | 94466 751401 2036546 | 1 81079 83 | 31.699 % | 328.38/328.46 c | 439348 | 94466 751401 2036546 | 1 81968 84 | 31.699 % | 328.38/328.46 c | 439725 | 94466 751401 2036546 | 1 82345 85 | 31.699 % | 328.38/328.46 c | 440669 | 94465 751348 2036323 | 1 83245 86 | 31.700 % | 328.38/328.46 c | 441440 | 94465 751348 2036323 | 1 84016 87 | 31.700 % | 328.38/328.46 c | 441983 | 94465 751348 2036323 | 1 84559 87 | 31.700 % | 328.38/328.46 c | 442809 | 94465 751348 2036323 | 1 85385 88 | 31.700 % | 328.38/328.46 c | 442911 | 94465 751348 2036323 | 1 85487 88 | 31.700 % | 328.38/328.46 c | 443184 | 94465 751348 2036323 | 1 85760 89 | 31.700 % | 328.38/328.46 c | 444163 | 94465 751348 2036323 | 1 86739 91 | 31.700 % | 328.38/328.46 c | 444263 | 94465 751348 2036323 | 1 86839 91 | 31.700 % | 328.38/328.46 c | 444370 | 94465 751348 2036323 | 1 86946 91 | 31.700 % | 328.38/328.46 c | 446800 | 94457 751348 2036323 | 1 89375 94 | 31.706 % | 328.38/328.46 c | 446900 | 94457 751320 2036209 | 1 89463 94 | 31.706 % | 328.38/328.46 c | 447225 | 94457 751320 2036209 | 1 89788 94 | 31.706 % | 328.38/328.46 c | 447325 | 94457 751320 2036209 | 1 89888 94 | 31.706 % | 328.38/328.46 c | 447426 | 94457 751320 2036209 | 1 89989 94 | 31.706 % | 328.38/328.46 c | 447639 | 94457 751320 2036209 | 1 90202 95 | 31.706 % | 328.38/328.46 c | 447739 | 94457 751320 2036209 | 1 90302 95 | 31.706 % | 328.38/328.46 c | 447875 | 94457 751320 2036209 | 1 90438 95 | 31.706 % | 328.38/328.46 c | 449731 | 92828 751320 2036209 | 1 92290 96 | 32.884 % | 328.38/328.46 c | 449835 | 92828 751320 2036209 | 1 92394 96 | 32.884 % | 328.38/328.46 c | 452580 | 92828 751320 2036209 | 1 95139 98 | 32.884 % | 328.38/328.46 c | 452959 | 92828 738627 1997532 | 1 89768 97 | 32.884 % | 328.38/328.46 c | 454342 | 92787 738627 1997532 | 1 91149 98 | 32.913 % | 328.38/328.46 c | 454847 | 92787 738627 1997532 | 1 91654 99 | 32.913 % | 328.38/328.46 c | 454947 | 92787 738627 1997532 | 1 91754 99 | 32.913 % | 328.38/328.46 c | 455268 | 92786 738627 1997532 | 1 92074 99 | 32.914 % | 328.38/328.46 c | 455671 | 92786 738627 1997532 | 1 92477 99 | 32.914 % | 328.38/328.46 c | 455777 | 92786 738627 1997532 | 1 92583 99 | 32.914 % | 328.38/328.46 c | 455990 | 92786 738627 1997532 | 1 92796 100 | 32.914 % | 328.38/328.46 c | 456365 | 92786 738627 1997532 | 1 93171 100 | 32.914 % | 328.38/328.46 c | 456893 | 92786 738627 1997532 | 1 93699 100 | 32.914 % | 328.38/328.46 c | 457535 | 92786 738627 1997532 | 1 94341 100 | 32.914 % | 328.38/328.46 c | 457635 | 92786 738627 1997532 | 1 94441 100 | 32.914 % | 328.38/328.46 c | 458276 | 92786 738520 1997083 | 1 95013 102 | 32.914 % | 328.38/328.46 c | 462199 | 92786 738520 1997083 | 1 98936 109 | 32.914 % | 328.38/328.46 c | 462318 | 92786 738520 1997083 | 1 99055 109 | 32.914 % | 328.38/328.46 c | 462796 | 92786 738520 1997083 | 1 99533 110 | 32.914 % | 348.48/348.53 c | 462896 | 92786 738520 1997083 | 1 99633 110 | 32.914 % | 348.48/348.53 c | 464243 | 92785 738520 1997083 | 1 100979 111 | 32.915 % | 348.48/348.53 c | 464621 | 92785 738520 1997083 | 1 101357 111 | 32.915 % | 348.48/348.53 c | 465108 | 92785 738520 1997083 | 1 101844 112 | 32.915 % | 348.48/348.53 c | 466301 | 92785 738520 1997083 | 1 103037 112 | 32.915 % | 348.48/348.53 c | 468080 | 92784 738520 1997083 | 1 104815 114 | 32.915 % | 348.48/348.53 c | 468180 | 92784 738520 1997083 | 1 104915 114 | 32.915 % | 348.48/348.53 c | 468504 | 92783 738520 1997083 | 1 105238 114 | 32.916 % | 348.48/348.53 c | 468604 | 92783 738520 1997083 | 1 105338 114 | 32.916 % | 348.48/348.53 c | 469176 | 92745 738520 1997083 | 1 105908 114 | 32.944 % | 348.48/348.53 c | 469276 | 92745 738520 1997083 | 1 106008 114 | 32.944 % | 348.48/348.53 c | 470474 | 92745 738520 1997083 | 1 66919 59 | 32.944 % | 348.48/348.53 c | 470574 | 92741 738520 1997083 | 1 67018 59 | 32.947 % | 348.48/348.53 c | 470678 | 92741 738520 1997083 | 1 67122 59 | 32.947 % | 348.48/348.53 c | 471206 | 92739 738520 1997083 | 1 67649 60 | 32.948 % | 348.48/348.53 c | 471307 | 92739 738520 1997083 | 1 67750 61 | 32.948 % | 348.48/348.53 c | 471827 | 92738 738520 1997083 | 1 68269 62 | 32.949 % | 348.48/348.53 c | 471927 | 92738 738520 1997083 | 1 68369 62 | 32.949 % | 348.48/348.53 c | 473093 | 92738 738520 1997083 | 1 69535 65 | 32.949 % | 348.48/348.53 c | 473503 | 92738 738492 1996955 | 1 69698 65 | 32.949 % | 348.48/348.53 c | 475565 | 92738 738492 1996955 | 1 71760 71 | 32.949 % | 348.48/348.53 c | 475665 | 92738 738492 1996955 | 1 71860 71 | 32.949 % | 348.48/348.53 c | 475766 | 92738 738492 1996955 | 1 71961 71 | 32.949 % | 348.48/348.53 c | 477420 | 92738 738492 1996955 | 1 73615 73 | 32.949 % | 348.48/348.53 c | 478174 | 92738 738492 1996955 | 1 74369 74 | 32.949 % | 348.48/348.53 c | 478274 | 92738 738492 1996955 | 1 74469 74 | 32.949 % | 348.48/348.53 c | 479482 | 92722 738474 1996877 | 1 75667 76 | 32.960 % | 348.48/348.53 c | 479584 | 92722 738474 1996877 | 1 75769 77 | 32.960 % | 348.48/348.53 c | 479946 | 92722 738474 1996877 | 1 76131 77 | 32.960 % | 348.48/348.53 c | 480046 | 92722 738474 1996877 | 1 76231 77 | 32.960 % | 348.48/348.53 c | 480146 | 92722 738474 1996877 | 1 76331 78 | 32.960 % | 348.48/348.53 c | 481970 | 92722 738474 1996877 | 1 78155 80 | 32.960 % | 348.48/348.53 c | 482316 | 92722 738474 1996877 | 1 78501 81 | 32.960 % | 348.48/348.53 c | 482416 | 92722 738474 1996877 | 1 78601 81 | 32.960 % | 348.48/348.53 c | 482516 | 92722 738474 1996877 | 1 78701 81 | 32.960 % | 348.48/348.53 c | 483892 | 92722 738474 1996877 | 1 80077 84 | 32.960 % | 348.48/348.53 c | 485260 | 92192 738468 1996859 | 1 81444 86 | 33.343 % | 348.48/348.53 c | 485360 | 92192 738468 1996859 | 1 81544 86 | 33.343 % | 348.48/348.53 c | 485508 | 92192 738468 1996859 | 1 81692 86 | 33.343 % | 348.48/348.53 c | 485807 | 92192 738468 1996859 | 1 81991 87 | 33.343 % | 348.48/348.53 c | 485907 | 92192 738468 1996859 | 1 82091 87 | 33.343 % | 348.48/348.53 c | 486988 | 92192 738468 1996859 | 1 83172 89 | 33.343 % | 348.48/348.53 c | 487088 | 92192 738468 1996859 | 1 83272 89 | 33.343 % | 348.48/348.53 c | 487188 | 92192 738468 1996859 | 1 83372 89 | 33.343 % | 348.48/348.53 c | 487288 | 92192 738468 1996859 | 1 83472 89 | 33.343 % | 348.48/348.53 c | 487421 | 92192 738468 1996859 | 1 83605 89 | 33.343 % | 348.48/348.53 c | 487912 | 92192 738468 1996859 | 1 84096 90 | 33.343 % | 348.48/348.53 c | 488843 | 92177 737294 1992479 | 1 84727 90 | 33.354 % | 348.48/348.53 c | 490410 | 92177 737294 1992479 | 1 86294 94 | 33.354 % | 348.48/348.53 c | 490622 | 92177 737294 1992479 | 1 86506 94 | 33.354 % | 369.79/369.88 c | 490882 | 92177 737294 1992479 | 1 86766 94 | 33.354 % | 369.79/369.88 c | 492896 | 92177 737294 1992479 | 1 88780 96 | 33.354 % | 369.79/369.88 c | 494095 | 92177 737294 1992479 | 1 89979 98 | 33.354 % | 369.79/369.88 c | 494199 | 92177 737259 1992342 | 1 90082 98 | 33.354 % | 369.79/369.88 c | 495506 | 92177 737259 1992342 | 1 91389 99 | 33.354 % | 369.79/369.88 c | 497069 | 92177 737259 1992342 | 1 92952 100 | 33.354 % | 369.79/369.88 c | 497169 | 92177 737259 1992342 | 1 93052 100 | 33.354 % | 369.79/369.88 c | 497272 | 92177 737259 1992342 | 1 93155 100 | 33.354 % | 369.79/369.88 c | 497893 | 92177 737259 1992342 | 1 93776 101 | 33.354 % | 369.79/369.88 c | 498105 | 92177 737259 1992342 | 1 93988 101 | 33.354 % | 369.79/369.88 c | 498771 | 92177 737259 1992342 | 1 94654 101 | 33.354 % | 369.79/369.88 c | 500981 | 92160 737259 1992342 | 1 96863 105 | 33.367 % | 369.79/369.88 c | 501213 | 92160 737208 1992109 | 1 97081 105 | 33.367 % | 369.79/369.88 c | 501852 | 92160 737208 1992109 | 1 97720 106 | 33.367 % | 369.79/369.88 c | 501954 | 92160 737208 1992109 | 1 97822 106 | 33.367 % | 369.79/369.88 c | 502607 | 92160 737208 1992109 | 1 98475 106 | 33.367 % | 369.79/369.88 c | 502708 | 92160 737208 1992109 | 1 98576 107 | 33.367 % | 369.79/369.88 c | 503828 | 92160 737208 1992109 | 1 99696 108 | 33.367 % | 369.79/369.88 c | 504264 | 92160 737208 1992109 | 1 100132 108 | 33.367 % | 369.79/369.88 c | 505067 | 92148 737208 1992109 | 1 100934 108 | 33.375 % | 369.79/369.88 c | 505237 | 92148 737208 1992109 | 1 101104 108 | 33.375 % | 369.79/369.88 c | 505532 | 92148 737208 1992109 | 1 101399 109 | 33.375 % | 369.79/369.88 c | 506713 | 92148 737208 1992109 | 1 102580 110 | 33.375 % | 369.79/369.88 c | 511093 | 92148 737179 1991990 | 1 106957 114 | 33.375 % | 369.79/369.88 c | 511193 | 92140 737179 1991990 | 1 107056 114 | 33.381 % | 369.79/369.88 c | 511804 | 92140 737179 1991990 | 1 107667 114 | 33.381 % | 369.79/369.88 c | 511920 | 92140 737179 1991990 | 1 107783 114 | 33.381 % | 369.79/369.88 c | 512818 | 92140 737179 1991990 | 1 108681 116 | 33.381 % | 369.79/369.88 c | 512920 | 92140 737179 1991990 | 1 108783 116 | 33.381 % | 369.79/369.88 c | 513515 | 92140 737179 1991990 | 1 109378 116 | 33.381 % | 369.79/369.88 c | 513669 | 92140 737179 1991990 | 1 109532 116 | 33.381 % | 369.79/369.88 c | 513769 | 92140 737179 1991990 | 1 109632 116 | 33.381 % | 369.79/369.88 c | 513869 | 92140 737179 1991990 | 1 109732 117 | 33.381 % | 369.79/369.88 c | 513969 | 92140 737179 1991990 | 1 109832 117 | 33.381 % | 369.79/369.88 c | 514617 | 92126 737179 1991990 | 1 110478 117 | 33.391 % | 369.79/369.88 c | 514995 | 92126 737179 1991990 | 1 110856 117 | 33.391 % | 369.79/369.88 c | 515095 | 92126 737097 1991712 | 1 110935 117 | 33.391 % | 369.79/369.88 c | 516965 | 92118 737097 1991712 | 1 112804 118 | 33.397 % | 369.79/369.88 c | 517102 | 92118 737097 1991712 | 1 112941 118 | 33.397 % | 369.79/369.88 c | 517204 | 92118 737097 1991712 | 1 113043 118 | 33.397 % | 369.79/369.88 c | 517638 | 92118 737097 1991712 | 1 113477 118 | 33.397 % | 369.79/369.88 c | 517740 | 92118 737097 1991712 | 1 113579 118 | 33.397 % | 369.79/369.88 c | 518549 | 92092 737097 1991712 | 1 114387 118 | 33.416 % | 369.79/369.88 c | 518825 | 92092 737097 1991712 | 1 114663 118 | 33.416 % | 369.79/369.88 c | 519097 | 92092 737097 1991712 | 1 114935 118 | 33.416 % | 369.79/369.88 c | 519296 | 92092 737097 1991712 | 1 115134 118 | 33.416 % | 369.79/369.88 c | 519399 | 92092 737097 1991712 | 1 115237 118 | 33.416 % | 369.79/369.88 c | 519503 | 92092 737097 1991712 | 1 115341 118 | 33.416 % | 369.79/369.88 c | 519603 | 92092 737097 1991712 | 1 115441 118 | 33.416 % | 369.79/369.88 c | 519703 | 92092 737097 1991712 | 1 115541 118 | 33.416 % | 389.28/389.37 c | 520467 | 92092 737097 1991712 | 1 116305 119 | 33.416 % | 389.28/389.37 c | 521433 | 92092 737097 1991712 | 1 117271 119 | 33.416 % | 389.28/389.37 c | 521533 | 92092 737097 1991712 | 1 117371 119 | 33.416 % | 389.28/389.37 c | 521633 | 92092 736999 1991284 | 1 117439 119 | 33.416 % | 389.28/389.37 c | 521905 | 92092 736999 1991284 | 1 117711 120 | 33.416 % | 389.28/389.37 c | 522007 | 92092 736999 1991284 | 1 117813 120 | 33.416 % | 389.28/389.37 c | 522111 | 92091 736999 1991284 | 1 117916 120 | 33.416 % | 389.28/389.37 c | 524881 | 92091 736999 1991284 | 1 120686 122 | 33.416 % | 389.28/389.37 c | 524984 | 92091 736999 1991284 | 1 120789 122 | 33.416 % | 389.28/389.37 c | 525889 | 91981 736999 1991284 | 1 121693 122 | 33.496 % | 389.28/389.37 c | 525990 | 91981 736999 1991284 | 1 121794 122 | 33.496 % | 389.28/389.37 c | 526090 | 91981 736999 1991284 | 1 121894 122 | 33.496 % | 389.28/389.37 c | 526198 | 91981 736999 1991284 | 1 122002 122 | 33.496 % | 389.28/389.37 c | 526415 | 91981 736999 1991284 | 1 122219 122 | 33.496 % | 389.28/389.37 c | 526515 | 91981 736999 1991284 | 1 122319 122 | 33.496 % | 389.28/389.37 c | 526619 | 91981 736999 1991284 | 1 122423 122 | 33.496 % | 389.28/389.37 c | 529629 | 91842 736671 1989916 | 1 123024 123 | 33.597 % | 389.28/389.37 c | 529729 | 91842 736671 1989916 | 1 123124 123 | 33.597 % | 389.28/389.37 c | 530291 | 91665 736671 1989916 | 1 123684 123 | 33.724 % | 389.28/389.37 c | 530392 | 91665 736671 1989916 | 1 123785 123 | 33.724 % | 389.28/389.37 c | 531058 | 91663 736671 1989916 | 1 124450 123 | 33.726 % | 389.28/389.37 c | 531158 | 91663 736671 1989916 | 1 124550 123 | 33.726 % | 389.28/389.37 c | 531288 | 91663 736671 1989916 | 1 124680 123 | 33.726 % | 389.28/389.37 c | 532204 | 91663 736671 1989916 | 1 125596 124 | 33.726 % | 389.28/389.37 c | 532304 | 91663 736671 1989916 | 1 125696 124 | 33.726 % | 389.28/389.37 c | 532421 | 91663 736671 1989916 | 1 125813 124 | 33.726 % | 389.28/389.37 c | 533149 | 91663 736671 1989916 | 1 126541 124 | 33.726 % | 389.28/389.37 c | 533500 | 91663 736671 1989916 | 1 126892 124 | 33.726 % | 389.28/389.37 c | 534213 | 91663 736671 1989916 | 1 127605 124 | 33.726 % | 389.28/389.37 c | 534319 | 91663 736671 1989916 | 1 127711 124 | 33.726 % | 389.28/389.37 c | 535543 | 91662 736671 1989916 | 1 128934 125 | 33.727 % | 389.28/389.37 c | 535645 | 91662 736671 1989916 | 1 129036 125 | 33.727 % | 389.28/389.37 c | 535748 | 91662 736671 1989916 | 1 129139 125 | 33.727 % | 389.28/389.37 c | 535848 | 91662 736671 1989916 | 1 129239 125 | 33.727 % | 389.28/389.37 c | 537914 | 91662 736671 1989916 | 1 131305 126 | 33.727 % | 389.28/389.37 c | 538018 | 91662 736669 1989898 | 1 131299 126 | 33.727 % | 389.28/389.37 c | 538308 | 91662 736669 1989898 | 1 131589 126 | 33.727 % | 389.28/389.37 c | 539284 | 91662 736669 1989898 | 1 132565 126 | 33.727 % | 389.28/389.37 c | 540187 | 91654 736669 1989898 | 1 80654 66 | 33.732 % | 389.28/389.37 c | 540291 | 91654 736669 1989898 | 1 80758 66 | 33.732 % | 389.28/389.37 c | 540639 | 91654 736669 1989898 | 1 81106 67 | 33.732 % | 389.28/389.37 c | 540960 | 91654 736669 1989898 | 1 81427 67 | 33.732 % | 389.28/389.37 c | 541156 | 91654 736669 1989898 | 1 81623 67 | 33.732 % | 389.28/389.37 c | 541262 | 91654 736669 1989898 | 1 81729 67 | 33.732 % | 389.28/389.37 c | 541362 | 91654 736669 1989898 | 1 81829 67 | 33.732 % | 389.28/389.37 c | 541622 | 91654 736669 1989898 | 1 82089 68 | 33.732 % | 389.28/389.37 c | 542074 | 91653 736669 1989898 | 1 82540 68 | 33.733 % | 389.28/389.37 c | 543042 | 91652 736669 1989898 | 1 83507 70 | 33.734 % | 389.28/389.37 c | 543383 | 91652 736669 1989898 | 1 83848 70 | 33.734 % | 419.28/419.35 c | 544510 | 91652 736669 1989898 | 1 84975 71 | 33.734 % | 419.28/419.35 c | 545571 | 91652 736669 1989898 | 1 86036 73 | 33.734 % | 419.28/419.35 c | 546105 | 91652 736669 1989898 | 1 86570 73 | 33.734 % | 419.28/419.35 c | 546211 | 91652 736669 1989898 | 1 86676 73 | 33.734 % | 419.28/419.35 c | 546926 | 91652 736669 1989898 | 1 87391 74 | 33.734 % | 419.28/419.35 c | 547527 | 91652 736643 1989788 | 1 87759 74 | 33.734 % | 419.28/419.35 c | 548714 | 91652 736643 1989788 | 1 88946 76 | 33.734 % | 419.28/419.35 c | 548815 | 91652 736643 1989788 | 1 89047 76 | 33.734 % | 419.28/419.35 c | 549284 | 91652 736643 1989788 | 1 89516 77 | 33.734 % | 419.28/419.35 c | 549821 | 91648 736643 1989788 | 1 90052 77 | 33.737 % | 419.28/419.35 c | 551180 | 91640 736643 1989788 | 1 91410 78 | 33.743 % | 419.28/419.35 c | 552226 | 91640 736614 1989671 | 1 92410 79 | 33.743 % | 419.28/419.35 c | 553507 | 91640 736614 1989671 | 1 93691 79 | 33.743 % | 419.28/419.35 c | 555603 | 91639 736614 1989671 | 1 95785 81 | 33.743 % | 419.28/419.35 c | 555707 | 91639 736614 1989671 | 1 95889 81 | 33.743 % | 419.28/419.35 c | 555855 | 91639 736614 1989671 | 1 96037 81 | 33.743 % | 419.28/419.35 c | 555962 | 91639 736614 1989671 | 1 96144 81 | 33.743 % | 419.28/419.35 c | 556256 | 91639 736614 1989671 | 1 96438 82 | 33.743 % | 419.28/419.35 c | 557211 | 91639 736614 1989671 | 1 97393 83 | 33.743 % | 419.28/419.35 c | 557635 | 91639 736614 1989671 | 1 97817 84 | 33.743 % | 419.28/419.35 c | 558441 | 89392 736614 1989671 | 1 98621 84 | 35.368 % | 419.28/419.35 c | 558541 | 89392 736614 1989671 | 1 98721 84 | 35.368 % | 419.28/419.35 c | 563237 | 89385 714276 1922617 | 1 103316 90 | 35.373 % | 419.28/419.35 c | 563382 | 89385 714276 1922617 | 1 103461 91 | 35.373 % | 419.28/419.35 c | 563981 | 89385 714276 1922617 | 1 104060 91 | 35.373 % | 419.28/419.35 c | 564998 | 89385 714276 1922617 | 1 105077 92 | 35.373 % | 419.28/419.35 c | 565099 | 89385 714276 1922617 | 1 105178 92 | 35.373 % | 419.28/419.35 c | 565863 | 89385 714276 1922617 | 1 105942 92 | 35.373 % | 419.28/419.35 c | 567588 | 89385 714276 1922617 | 1 107667 94 | 35.373 % | 419.28/419.35 c | 567691 | 89385 714276 1922617 | 1 107770 95 | 35.373 % | 419.28/419.35 c | 570944 | 89293 714061 1921692 | 1 109905 98 | 35.439 % | 419.28/419.35 c | 571471 | 89220 714061 1921692 | 1 110429 98 | 35.492 % | 419.28/419.35 c | 571571 | 89220 714061 1921692 | 1 110529 98 | 35.492 % | 419.28/419.35 c | 573156 | 89220 714061 1921692 | 1 112114 100 | 35.492 % | 419.28/419.35 c | 573558 | 89220 714061 1921692 | 1 112516 100 | 35.492 % | 419.28/419.35 c | 573749 | 89220 714061 1921692 | 1 112707 100 | 35.492 % | 419.28/419.35 c | 574670 | 89219 714061 1921692 | 1 113627 100 | 35.493 % | 419.28/419.35 c | 577845 | 89154 714061 1921692 | 1 116801 104 | 35.540 % | 419.28/419.35 c | 578757 | 89154 714061 1921692 | 1 117713 105 | 35.540 % | 419.28/419.35 c | 578857 | 89154 713890 1920947 | 1 117178 104 | 35.540 % | 419.28/419.35 c | 578993 | 89154 713890 1920947 | 1 117314 104 | 35.540 % | 419.28/419.35 c | 579172 | 89154 713890 1920947 | 1 117493 104 | 35.540 % | 419.28/419.35 c | 579272 | 89154 713890 1920947 | 1 117593 104 | 35.540 % | 419.28/419.35 c | 579863 | 88783 713890 1920947 | 1 118183 105 | 35.808 % | 419.28/419.35 c | 580002 | 88783 713890 1920947 | 1 118322 105 | 35.808 % | 419.28/419.35 c | 580684 | 88783 713890 1920947 | 1 119004 105 | 35.808 % | 419.28/419.35 c | 580971 | 88783 713890 1920947 | 1 119291 105 | 35.808 % | 419.28/419.35 c | 581688 | 88783 713890 1920947 | 1 120008 105 | 35.808 % | 419.28/419.35 c | 582484 | 88783 713890 1920947 | 1 120804 105 | 35.808 % | 419.28/419.35 c | 582651 | 88783 713890 1920947 | 1 120971 105 | 35.808 % | 451.58/451.66 c | 582753 | 88783 713890 1920947 | 1 121073 105 | 35.808 % | 451.58/451.66 c | 587403 | 88782 713890 1920947 | 1 125722 111 | 35.809 % | 451.58/451.66 c | 587503 | 88782 711908 1915001 | 1 125405 111 | 35.809 % | 451.58/451.66 c | 587689 | 88782 711908 1915001 | 1 125591 111 | 35.809 % | 451.58/451.66 c | 587976 | 88781 711908 1915001 | 1 125877 111 | 35.810 % | 451.58/451.66 c | 588076 | 88781 711908 1915001 | 1 125977 111 | 35.810 % | 451.58/451.66 c | 588176 | 88781 711908 1915001 | 1 126077 111 | 35.810 % | 451.58/451.66 c | 588837 | 88781 711908 1915001 | 1 126738 111 | 35.810 % | 451.58/451.66 c | 588937 | 88780 711908 1915001 | 1 126837 112 | 35.810 % | 451.58/451.66 c | 591498 | 88772 711908 1915001 | 1 129397 116 | 35.816 % | 451.58/451.66 c | 594141 | 88772 711908 1915001 | 1 80290 63 | 35.816 % | 451.58/451.66 c | 594241 | 88772 711908 1915001 | 1 80390 63 | 35.816 % | 451.58/451.66 c | 594342 | 88772 711908 1915001 | 1 80491 63 | 35.816 % | 451.58/451.66 c | 596796 | 88772 711908 1915001 | 1 82945 68 | 35.816 % | 451.58/451.66 c | 597234 | 88772 711884 1914897 | 1 83373 68 | 35.816 % | 451.58/451.66 c | 597703 | 88772 711884 1914897 | 1 83842 69 | 35.816 % | 451.58/451.66 c | 597809 | 88771 711884 1914897 | 1 83947 69 | 35.817 % | 451.58/451.66 c | 597938 | 88771 711884 1914897 | 1 84076 69 | 35.817 % | 451.58/451.66 c | 598099 | 88771 711884 1914897 | 1 84237 69 | 35.817 % | 451.58/451.66 c | 599261 | 88746 711884 1914897 | 1 85397 70 | 35.835 % | 451.58/451.66 c | 601283 | 88738 711799 1914558 | 1 87093 74 | 35.841 % | 451.58/451.66 c | 605338 | 88737 711799 1914558 | 1 91147 76 | 35.841 % | 451.58/451.66 c | 605860 | 88737 711799 1914558 | 1 91664 77 | 35.841 % | 451.58/451.66 c | 605960 | 88737 711799 1914558 | 1 91764 77 | 35.841 % | 451.58/451.66 c | 609569 | 88735 711799 1914558 | 1 95372 82 | 35.843 % | 451.58/451.66 c | 612146 | 88618 711444 1913493 | 1 97940 84 | 35.928 % | 451.58/451.66 c | 612247 | 88618 711444 1913493 | 1 98041 84 | 35.928 % | 451.58/451.66 c | 612419 | 88618 711444 1913493 | 1 98213 84 | 35.928 % | 451.58/451.66 c | 613881 | 88618 711444 1913493 | 1 99675 85 | 35.928 % | 451.58/451.66 c | 614017 | 88618 711444 1913493 | 1 99811 85 | 35.928 % | 451.58/451.66 c | 615479 | 88617 711444 1913493 | 1 101272 85 | 35.928 % | 451.58/451.66 c | 616402 | 88609 711444 1913493 | 1 102194 86 | 35.934 % | 451.58/451.66 c | 617667 | 88609 711444 1913493 | 1 103459 87 | 35.934 % | 451.58/451.66 c | 617768 | 88609 711418 1913383 | 1 103555 87 | 35.934 % | 451.58/451.66 c | 617875 | 88609 711418 1913383 | 1 103662 87 | 35.934 % | 451.58/451.66 c | 617975 | 88609 711418 1913383 | 1 103762 87 | 35.934 % | 451.58/451.66 c | 618740 | 88609 711418 1913383 | 1 104527 88 | 35.934 % | 451.58/451.66 c | 619895 | 88608 711418 1913383 | 1 105681 89 | 35.935 % | 451.58/451.66 c | 620678 | 88608 711418 1913383 | 1 106464 90 | 35.935 % | 451.58/451.66 c | 621637 | 88608 711418 1913383 | 1 107423 90 | 35.935 % | 451.58/451.66 c | 623335 | 88608 711418 1913383 | 1 109121 92 | 35.935 % | 451.58/451.66 c | 623435 | 88608 711418 1913383 | 1 109221 92 | 35.935 % | 451.58/451.66 c | 624627 | 88608 711418 1913383 | 1 110413 93 | 35.935 % | 451.58/451.66 c | 624768 | 88607 711418 1913383 | 1 110553 93 | 35.935 % | 451.58/451.66 c | 624870 | 88607 711418 1913383 | 1 110655 93 | 35.935 % | 451.58/451.66 c | 625597 | 88607 711418 1913383 | 1 111382 94 | 35.935 % | 451.58/451.66 c | 626907 | 88607 711418 1913383 | 1 112692 94 | 35.935 % | 451.58/451.66 c | 627008 | 88607 711418 1913383 | 1 112793 94 | 35.935 % | 451.58/451.66 c | 627873 | 88598 711418 1913383 | 1 113656 94 | 35.942 % | 451.58/451.66 c | 627975 | 88598 711418 1913383 | 1 113758 94 | 35.942 % | 468.89/468.94 c | 628372 | 88598 711418 1913383 | 1 114155 94 | 35.942 % | 468.89/468.94 c | 630375 | 88598 711418 1913383 | 1 116158 95 | 35.942 % | 468.89/468.94 c | 632237 | 88598 711390 1913267 | 1 118020 95 | 35.942 % | 468.89/468.94 c | 632409 | 88598 711390 1913267 | 1 118192 95 | 35.942 % | 468.89/468.94 c | 632511 | 88598 711390 1913267 | 1 118294 95 | 35.942 % | 468.89/468.94 c | 632616 | 88598 711390 1913267 | 1 118399 95 | 35.942 % | 468.89/468.94 c | 632716 | 88598 711390 1913267 | 1 118499 95 | 35.942 % | 468.89/468.94 c | 632816 | 88598 711390 1913267 | 1 118599 95 | 35.942 % | 468.89/468.94 c | 633321 | 88598 711390 1913267 | 1 119104 95 | 35.942 % | 468.89/468.94 c | 633422 | 88598 711390 1913267 | 1 119205 95 | 35.942 % | 468.89/468.94 c | 633757 | 88596 711390 1913267 | 1 119539 95 | 35.943 % | 468.89/468.94 c | 633858 | 88596 711390 1913267 | 1 119640 95 | 35.943 % | 468.89/468.94 c | 634543 | 88596 711390 1913267 | 1 120325 96 | 35.943 % | 468.89/468.94 c | 634683 | 88596 711390 1913267 | 1 120465 96 | 35.943 % | 468.89/468.94 c | 634786 | 88577 711390 1913267 | 1 120567 96 | 35.957 % | 468.89/468.94 c | 637601 | 88577 711390 1913267 | 1 123382 97 | 35.957 % | 468.89/468.94 c | 638021 | 88577 711348 1913109 | 1 123798 98 | 35.957 % | 468.89/468.94 c | 638236 | 88577 711348 1913109 | 1 124013 98 | 35.957 % | 468.89/468.94 c | 639240 | 88577 711348 1913109 | 1 125017 98 | 35.957 % | 468.89/468.94 c | 639342 | 88577 711348 1913109 | 1 125119 98 | 35.957 % | 468.89/468.94 c | 639642 | 88577 711348 1913109 | 1 125419 98 | 35.957 % | 468.89/468.94 c | 641012 | 88577 711348 1913109 | 1 126789 98 | 35.957 % | 468.89/468.94 c | 641228 | 88577 711348 1913109 | 1 127005 98 | 35.957 % | 468.89/468.94 c | 641405 | 88577 711348 1913109 | 1 127182 98 | 35.957 % | 468.89/468.94 c | 641554 | 88577 711348 1913109 | 1 127331 99 | 35.957 % | 468.89/468.94 c | 641656 | 88577 711348 1913109 | 1 127433 99 | 35.957 % | 468.89/468.94 c | 642157 | 88577 711348 1913109 | 1 127934 99 | 35.957 % | 468.89/468.94 c | 642259 | 88577 711348 1913109 | 1 128036 99 | 35.957 % | 468.89/468.94 c | 642799 | 88577 711348 1913109 | 1 128576 99 | 35.957 % | 468.89/468.94 c | 642900 | 88577 711348 1913109 | 1 128677 99 | 35.957 % | 468.89/468.94 c | 643081 | 88577 711348 1913109 | 1 128858 99 | 35.957 % | 468.89/468.94 c | 643203 | 88447 711348 1913109 | 1 128978 99 | 36.051 % | 468.89/468.94 c | 644471 | 88447 711348 1913109 | 1 130246 99 | 36.051 % | 468.89/468.94 c | 644671 | 88447 710768 1911357 | 1 130010 100 | 36.051 % | 468.89/468.94 c | 644778 | 88447 710768 1911357 | 1 130117 100 | 36.051 % | 468.89/468.94 c | 644878 | 86466 710768 1911357 | 1 130216 100 | 37.483 % | 468.89/468.94 c | 645126 | 86466 710768 1911357 | 1 130464 100 | 37.483 % | 468.89/468.94 c | 647002 | 86464 710768 1911357 | 1 132339 101 | 37.485 % | 468.89/468.94 c | 647103 | 86464 710768 1911357 | 1 132440 101 | 37.485 % | 468.89/468.94 c | 650380 | 86464 710768 1911357 | 1 135717 103 | 37.485 % | 468.89/468.94 c | 650481 | 86464 710768 1911357 | 1 135818 103 | 37.485 % | 468.89/468.94 c | 651481 | 86464 710768 1911357 | 1 85370 55 | 37.485 % | 468.89/468.94 c | 652481 | 86464 710768 1911357 | 1 86370 56 | 37.485 % | 468.89/468.94 c | 652640 | 86464 710768 1911357 | 1 86529 56 | 37.485 % | 468.89/468.94 c | 652742 | 86464 710768 1911357 | 1 86631 56 | 37.485 % | 468.89/468.94 c | 653210 | 85531 697279 1870890 | 1 87050 56 | 38.159 % | 468.89/468.94 c | 653314 | 85531 697279 1870890 | 1 87154 57 | 38.159 % | 468.89/468.94 c | 653417 | 85531 697279 1870890 | 1 87257 57 | 38.159 % | 468.89/468.94 c | 653518 | 85531 697279 1870890 | 1 87358 57 | 38.159 % | 468.89/468.94 c | 653621 | 85531 697279 1870890 | 1 87461 57 | 38.159 % | 486.09/486.13 c | 654856 | 85118 697279 1870890 | 1 88695 58 | 38.458 % | 486.09/486.13 c | 655080 | 85118 697279 1870890 | 1 88919 58 | 38.458 % | 486.09/486.13 c | 655183 | 85118 697279 1870890 | 1 89022 58 | 38.458 % | 486.09/486.13 c | 655283 | 85118 697279 1870890 | 1 89122 58 | 38.458 % | 486.09/486.13 c | 655452 | 84324 697279 1870890 | 1 89290 58 | 39.032 % | 486.09/486.13 c | 655717 | 84324 697279 1870890 | 1 89555 58 | 39.032 % | 486.09/486.13 c | 656214 | 84324 697279 1870890 | 1 90052 58 | 39.032 % | 486.09/486.13 c | 656773 | 84316 697279 1870890 | 1 90609 58 | 39.038 % | 486.09/486.13 c | 656874 | 84316 697279 1870890 | 1 90710 59 | 39.038 % | 486.09/486.13 c | 657815 | 84316 697279 1870890 | 1 91651 59 | 39.038 % | 486.09/486.13 c | 658929 | 84314 687979 1842947 | 1 92547 61 | 39.039 % | 486.09/486.13 c | 659356 | 84307 687979 1842947 | 1 92973 61 | 39.044 % | 486.09/486.13 c | 659458 | 84307 687979 1842947 | 1 93075 61 | 39.044 % | 486.09/486.13 c | 660224 | 84307 687979 1842947 | 1 93841 62 | 39.044 % | 486.09/486.13 c | 660415 | 84307 687979 1842947 | 1 94032 62 | 39.044 % | 486.09/486.13 c | 660517 | 84307 687979 1842947 | 1 94134 62 | 39.044 % | 486.09/486.13 c | 660824 | 84307 687953 1842845 | 1 94430 62 | 39.044 % | 486.09/486.13 c | 660926 | 84307 687953 1842845 | 1 94532 62 | 39.044 % | 486.09/486.13 c | 661305 | 84307 687953 1842845 | 1 94911 63 | 39.044 % | 486.09/486.13 c | 661912 | 84307 687953 1842845 | 1 95518 63 | 39.044 % | 486.09/486.13 c | 663557 | 84301 687953 1842845 | 1 97162 64 | 39.049 % | 486.09/486.13 c | 663687 | 84301 687953 1842845 | 1 97292 64 | 39.049 % | 486.09/486.13 c | 664245 | 84301 687953 1842845 | 1 97850 65 | 39.049 % | 486.09/486.13 c | 666040 | 84301 687934 1842756 | 1 99635 67 | 39.049 % | 486.09/486.13 c | 666326 | 84301 687934 1842756 | 1 99921 67 | 39.049 % | 486.09/486.13 c | 667867 | 84226 687779 1842055 | 1 93173 64 | 39.103 % | 486.09/486.13 c | 670932 | 84226 687779 1842055 | 1 96238 68 | 39.103 % | 486.09/486.13 c | 671037 | 84210 687779 1842055 | 1 96341 68 | 39.115 % | 486.09/486.13 c | 674422 | 76070 673822 1780560 | 1 91943 68 | 45.000 % | 486.09/486.13 c | 674522 | 76063 673822 1780560 | 1 92042 68 | 45.005 % | 486.09/486.13 c | 677113 | 75885 673822 1780560 | 1 94630 70 | 45.134 % | 486.09/486.13 c | 678307 | 75885 673822 1780560 | 1 95824 71 | 45.134 % | 486.09/486.13 c | 678407 | 75885 664208 1741024 | 1 80188 61 | 45.134 % | 486.09/486.13 c | 678743 | 75885 664208 1741024 | 1 80524 61 | 45.134 % | 486.09/486.13 c | 678844 | 75885 664208 1741024 | 1 80625 61 | 45.134 % | 486.09/486.13 c | 679003 | 75885 664208 1741024 | 1 80784 61 | 45.134 % | 486.09/486.13 c | 679634 | 75852 664208 1741024 | 1 81414 62 | 45.158 % | 486.09/486.13 c | 679735 | 75852 664208 1741024 | 1 81515 62 | 45.158 % | 486.09/486.13 c | 679836 | 75852 664208 1741024 | 1 81616 62 | 45.158 % | 486.09/486.13 c | 679941 | 75852 664208 1741024 | 1 81721 62 | 45.158 % | 486.09/486.13 c | 680045 | 75852 664208 1741024 | 1 81825 62 | 45.158 % | 486.09/486.13 c | 680387 | 75848 664208 1741024 | 1 82166 62 | 45.160 % | 486.09/486.13 c | 680751 | 75848 664208 1741024 | 1 82530 62 | 45.160 % | 486.09/486.13 c | 681549 | 71877 664208 1741024 | 1 83324 62 | 48.032 % | 486.09/486.13 c =============================================================================== 486.09/486.13 c restarts : 1531 486.09/486.13 c nb ReduceDB : 21 486.09/486.13 c nb removed Clauses : 545530 486.09/486.13 c nb learnts DL2 : 12613 486.09/486.13 c nb learnts size 2 : 8341 486.09/486.13 c nb learnts size 1 : 688 486.09/486.13 c conflicts : 681549 (1416 /sec) 486.09/486.13 c decisions : 2625410 (0.00 % random) (5454 /sec) 486.09/486.13 c propagations : 1401156550 (2910945 /sec) 486.09/486.13 c conflict literals : 124894288 (44.85 % deleted) 486.09/486.13 c nb reduced Clauses : 5660 486.09/486.13 c CPU time : 481.341 s 486.09/486.13 486.09/486.13 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303771-1303904336/watcher-3303771-1303904336 -o /tmp/evaluation-result-3303771-1303904336/solver-3303771-1303904336 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303771-1303904336.cnf running on 4 cores: 1,3,5,7 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.01 2.02 1.97 3/182 20237 /proc/meminfo: memFree=17119636/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 [startup+0.00891889 s] /proc/loadavg: 2.01 2.02 1.97 3/182 20237 /proc/meminfo: memFree=17119636/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100902 s] /proc/loadavg: 2.01 2.02 1.97 3/182 20237 /proc/meminfo: memFree=17119636/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300853 s] /proc/loadavg: 2.01 2.02 1.97 3/182 20237 /proc/meminfo: memFree=17119636/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700779 s] /proc/loadavg: 2.01 2.02 1.97 3/182 20237 /proc/meminfo: memFree=17119636/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50063 s] /proc/loadavg: 2.01 2.02 1.97 3/184 20239 /proc/meminfo: memFree=16982724/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 [pid=20238] ppid=20237 vsize=151116 CPUtime=1.49 cores=1,3,5,7 /proc/20238/stat : 20238 (SatELite_releas) R 20237 20237 19992 0 -1 4202496 39227 0 0 0 139 10 0 0 25 0 1 0 502031588 154742784 35721 33554432000 134512640 135144242 4291029520 18446744073709551615 134597528 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20238/statm: 37779 35721 77 155 0 37622 0 Current children cumulated CPU time (s) 1.49 Current children cumulated vsize (KiB) 159820 [startup+3.10034 s] /proc/loadavg: 2.01 2.02 1.97 3/184 20240 /proc/meminfo: memFree=17015832/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 334 0 0 0 0 0 0 0 22 0 1 0 502031588 8912896 253 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/20237/statm: 2176 253 211 178 0 69 0 [pid=20238] ppid=20237 vsize=167384 CPUtime=3.08 cores=1,3,5,7 /proc/20238/stat : 20238 (SatELite_releas) R 20237 20237 19992 0 -1 4202496 44985 0 0 0 297 11 0 0 25 0 1 0 502031588 171401216 38139 33554432000 134512640 135144242 4291029520 18446744073709551615 134605075 0 0 4096 3 0 0 0 17 1 0 0 0 /proc/20238/statm: 41846 38139 77 155 0 41689 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 176088 [startup+6.30076 s] /proc/loadavg: 2.01 2.02 1.97 3/184 20241 /proc/meminfo: memFree=17048824/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=90832 CPUtime=2.04 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 18347 0 0 0 201 3 0 0 25 0 1 0 502032013 93011968 17247 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 22708 17247 250 17 0 19349 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 99536 [startup+12.7006 s] /proc/loadavg: 2.01 2.02 1.97 3/184 20241 /proc/meminfo: memFree=17042876/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=104388 CPUtime=8.43 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 20124 0 0 0 839 4 0 0 25 0 1 0 502032013 106893312 19003 33554432000 4194304 4260849 140736270421120 18446744073709551615 4209488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 26097 19003 250 17 0 22738 0 Current children cumulated CPU time (s) 12.67 Current children cumulated vsize (KiB) 113092 [startup+25.5003 s] /proc/loadavg: 2.01 2.02 1.97 3/184 20241 /proc/meminfo: memFree=16992000/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=123444 CPUtime=21.24 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 38405 0 0 0 2117 7 0 0 25 0 1 0 502032013 126406656 23835 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 30861 23835 251 17 0 27502 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 132148 [startup+51.1006 s] /proc/loadavg: 2.00 2.02 1.97 3/184 20271 /proc/meminfo: memFree=16899216/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=142120 CPUtime=46.84 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 45266 0 0 0 4675 9 0 0 25 0 1 0 502032013 145530880 29885 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224488 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 35530 29885 251 17 0 32171 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 150824 [startup+102.306 s] /proc/loadavg: 2.00 2.01 1.97 4/184 20334 /proc/meminfo: memFree=16946956/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=98.05 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 82011 0 0 0 9792 13 0 0 25 0 1 0 502032013 196034560 38306 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224845 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 47860 38306 251 17 0 44501 0 Current children cumulated CPU time (s) 102.29 Current children cumulated vsize (KiB) 200144 [startup+162.3 s] /proc/loadavg: 2.00 2.01 1.97 3/184 20336 /proc/meminfo: memFree=16882296/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=158.04 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 110967 0 0 0 15785 19 0 0 25 0 1 0 502032013 196034560 42158 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 47860 42158 251 17 0 44501 0 Current children cumulated CPU time (s) 162.28 Current children cumulated vsize (KiB) 200144 [startup+222.3 s] /proc/loadavg: 2.06 2.02 1.98 3/184 20368 /proc/meminfo: memFree=16979352/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=222260 CPUtime=218.04 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 140110 0 0 0 21779 25 0 0 25 0 1 0 502032013 227594240 43210 33554432000 4194304 4260849 140736270421120 18446744073709551615 4209287 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/20241/statm: 55565 43210 251 17 0 52206 0 Current children cumulated CPU time (s) 222.28 Current children cumulated vsize (KiB) 230964 [startup+282.301 s] /proc/loadavg: 2.02 2.01 1.98 3/184 20369 /proc/meminfo: memFree=16959188/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=222260 CPUtime=278.04 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 169876 0 0 0 27772 32 0 0 25 0 1 0 502032013 227594240 43211 33554432000 4194304 4260849 140736270421120 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 55565 43211 251 17 0 52206 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 230964 [startup+342.301 s] /proc/loadavg: 2.01 2.01 1.98 3/184 20371 /proc/meminfo: memFree=16950240/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=338.04 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 199761 0 0 0 33765 39 0 0 25 0 1 0 502032013 196034560 40203 33554432000 4194304 4260849 140736270421120 18446744073709551615 4209146 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 40203 251 17 0 44501 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 200144 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20372 /proc/meminfo: memFree=16941420/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=398.05 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 223555 0 0 0 39760 45 0 0 25 0 1 0 502032013 196034560 42599 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 42599 251 17 0 44501 0 Current children cumulated CPU time (s) 402.29 Current children cumulated vsize (KiB) 200144 [startup+462.301 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20374 /proc/meminfo: memFree=16916852/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=222260 CPUtime=458.04 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 247435 0 0 0 45754 50 0 0 25 0 1 0 502032013 227594240 46516 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224583 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 55565 46516 251 17 0 52206 0 Current children cumulated CPU time (s) 462.28 Current children cumulated vsize (KiB) 230964 Solver just ended. Dumping a history of the last processes samples [startup+473.501 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20374 /proc/meminfo: memFree=16944500/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=469.24 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 259018 0 0 0 46872 52 0 0 25 0 1 0 502032013 196034560 39727 33554432000 4194304 4260849 140736270421120 18446744073709551615 4209318 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 39727 251 17 0 44501 0 Current children cumulated CPU time (s) 473.48 Current children cumulated vsize (KiB) 200144 [startup+479.901 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20375 /proc/meminfo: memFree=16939044/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=475.64 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 260318 0 0 0 47512 52 0 0 25 0 1 0 502032013 196034560 41019 33554432000 4194304 4260849 140736270421120 18446744073709551615 4209645 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 41019 251 17 0 44501 0 Current children cumulated CPU time (s) 479.88 Current children cumulated vsize (KiB) 200144 [startup+483.101 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20375 /proc/meminfo: memFree=16936192/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=478.85 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 261028 0 0 0 47832 53 0 0 25 0 1 0 502032013 196034560 41725 33554432000 4194304 4260849 140736270421120 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 41725 251 17 0 44501 0 Current children cumulated CPU time (s) 483.09 Current children cumulated vsize (KiB) 200144 [startup+484.701 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20375 /proc/meminfo: memFree=16934952/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=480.45 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 261428 0 0 0 47992 53 0 0 25 0 1 0 502032013 196034560 42121 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 42121 251 17 0 44501 0 Current children cumulated CPU time (s) 484.69 Current children cumulated vsize (KiB) 200144 [startup+485.501 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20375 /proc/meminfo: memFree=16933712/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=481.25 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 270433 0 0 0 48071 54 0 0 25 0 1 0 502032013 196034560 38475 33554432000 4194304 4260849 140736270421120 18446744073709551615 4224484 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 38475 251 17 0 44501 0 Current children cumulated CPU time (s) 485.49 Current children cumulated vsize (KiB) 200144 [startup+485.901 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20375 /proc/meminfo: memFree=16933712/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=481.65 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 270551 0 0 0 48111 54 0 0 25 0 1 0 502032013 196034560 38593 33554432000 4194304 4260849 140736270421120 18446744073709551615 4226551 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 38593 251 17 0 44501 0 Current children cumulated CPU time (s) 485.89 Current children cumulated vsize (KiB) 200144 [startup+486.1 s] /proc/loadavg: 2.00 2.00 1.98 3/184 20375 /proc/meminfo: memFree=16948220/32951124 swapFree=67111528/67111528 [pid=20237] ppid=20235 vsize=8704 CPUtime=4.24 cores=1,3,5,7 /proc/20237/stat : 20237 (glucose.sh) S 20235 20237 19992 0 -1 4202496 361 47953 0 0 0 0 409 15 18 0 1 0 502031588 8912896 255 33554432000 4194304 4922060 140733954993696 18446744073709551615 271550356613 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/20237/statm: 2176 255 211 178 0 69 0 [pid=20241] ppid=20237 vsize=191440 CPUtime=481.85 cores=1,3,5,7 /proc/20241/stat : 20241 (glucose_static) R 20237 20237 19992 0 -1 4202496 270593 0 0 0 48131 54 0 0 25 0 1 0 502032013 196034560 38633 33554432000 4194304 4260849 140736270421120 18446744073709551615 4229336 0 0 4096 0 0 0 0 17 5 0 0 0 /proc/20241/statm: 47860 38633 251 17 0 44501 0 Current children cumulated CPU time (s) 486.09 Current children cumulated vsize (KiB) 200144 Child status: 20 Real time (s): 486.147 CPU time (s): 486.148 CPU user time (s): 485.438 CPU system time (s): 0.709892 CPU usage (%): 100 Max. virtual memory (cumulated for all children) (KiB): 330372 getrusage(RUSAGE_CHILDREN,...) data: user time used= 485.438 system time used= 0.709892 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 319124 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= 39 involuntary context switches= 3196 runsolver used 0.78488 second user time and 1.88071 second system time The end
Begin job on node133 at 2011-04-27 13:38:57 IDJOB=3303771 IDBENCH=71037 IDSOLVER=1687 FILE ID=node133/3303771-1303904336 RUNJOBID= node133-1303899333-20011 PBS_JOBID= 13164515 Free space on /tmp= 71860 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT09/APPLICATIONS/diagnosis/UTI-20-10p0.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303771-1303904336/watcher-3303771-1303904336 -o /tmp/evaluation-result-3303771-1303904336/solver-3303771-1303904336 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303771-1303904336.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 209f7789e3588d11f275f2003f2c6a67 RANDOM SEED=416211043 node133.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.834 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.66 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.834 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.75 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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 : 6741.12 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.834 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.834 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.834 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.834 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32951124 kB MemFree: 17119908 kB Buffers: 2185760 kB Cached: 12931192 kB SwapCached: 0 kB Active: 8906032 kB Inactive: 6361220 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32951124 kB LowFree: 17119908 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 45384 kB Writeback: 0 kB AnonPages: 149576 kB Mapped: 15064 kB Slab: 501496 kB PageTables: 5028 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83587088 kB Committed_AS: 306336 kB VmallocTotal: 34359738367 kB VmallocUsed: 33868 kB VmallocChunk: 34359703231 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 71864 MiB End job on node133 at 2011-04-27 13:47:03