| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 1266.18 | 1266.16 |
| Name | crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/ VanDerWaerden_pd_2-3-22_445.cnf |
| MD5SUM | 4f7ff14ba0d33c4cf7de4e3c004f2f79 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 893.472 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 223 |
| Number of clauses | 26441 |
| Sum of the clauses size | 116565 |
| Maximum clause length | 22 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 296 |
| Number of clauses of size 3 | 24153 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 1992 |
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.01 c ============================================================================== 0.00/0.01 c | | ORIGINAL | LEARNT | | 0.00/0.01 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.01 c ============================================================================== 0.00/0.01 c | 0 | 26441 116565 | 7932 0 0 nan | 0.000 % | 0.00/0.01 c ============================================================================== 0.00/0.01 c Result : #vars: 223 #clauses: 26441 #literals: 116565 0.00/0.01 c CPU time: 0.007998 s 0.00/0.01 c ============================================================================== 0.00/0.02 c 0.00/0.02 c Starting glucose 0.00/0.02 c 28.60/28.63 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 28.60/28.63 c WARNING: for repeatability, setting FPU to use double precision 28.60/28.63 c ============================[ Problem Statistics ]============================= 28.60/28.63 c | | 28.60/28.63 c | Number of variables: 223 | 28.60/28.63 c | Number of clauses: 26441 | 28.60/28.63 c | Parse time: 0.01 s | 28.60/28.63 c | | 28.60/28.63 c ============================[ Search Statistics ]============================== 28.60/28.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 28.60/28.63 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 28.60/28.63 c =============================================================================== 28.60/28.63 c | 4954 | 223 26441 116565 | 1 2958 22 | 0.000 % | 28.60/28.63 c | 8940 | 223 26441 116565 | 1 6944 24 | 0.000 % | 28.60/28.63 c | 9040 | 223 26441 116565 | 1 7044 24 | 0.000 % | 28.60/28.63 c | 9142 | 223 26441 116565 | 1 7146 24 | 0.000 % | 28.60/28.63 c | 11809 | 223 26441 116565 | 1 5519 23 | 0.000 % | 28.60/28.63 c | 16413 | 223 26441 116565 | 1 10123 24 | 0.000 % | 28.60/28.63 c | 33262 | 223 26441 116565 | 1 10950 24 | 0.000 % | 28.60/28.63 c | 34238 | 223 26441 116565 | 1 11926 24 | 0.000 % | 28.60/28.63 c | 62468 | 223 26441 116565 | 1 28313 24 | 0.000 % | 28.60/28.63 c | 178426 | 223 26441 116565 | 1 46238 21 | 0.000 % | 28.60/28.63 c | 179663 | 223 26441 116565 | 1 47475 21 | 0.000 % | 28.60/28.63 c | 179763 | 223 26441 116565 | 1 47575 21 | 0.000 % | 28.60/28.63 c | 203147 | 223 26441 116565 | 1 43562 22 | 0.000 % | 28.60/28.63 c | 221263 | 223 26441 116565 | 1 31679 20 | 0.000 % | 28.60/28.63 c | 222734 | 223 26441 116565 | 1 33150 20 | 0.000 % | 28.60/28.63 c | 253630 | 223 26441 116565 | 1 64046 22 | 0.000 % | 28.60/28.63 c | 267842 | 223 26441 116565 | 1 45656 21 | 0.000 % | 28.60/28.63 c | 324857 | 223 26441 116565 | 1 67472 22 | 0.000 % | 28.60/28.63 c | 334468 | 223 26441 116565 | 1 39288 20 | 0.000 % | 28.60/28.63 c | 378318 | 223 26441 116565 | 1 42728 20 | 0.000 % | 28.60/28.63 c | 447716 | 223 26441 116565 | 1 69125 20 | 0.000 % | 28.60/28.63 c | 447817 | 223 26441 116565 | 1 69226 20 | 0.000 % | 28.60/28.63 c | 467835 | 223 26441 116565 | 1 89244 20 | 0.000 % | 28.60/28.63 c | 467935 | 223 26441 116565 | 1 89344 20 | 0.000 % | 28.60/28.63 c | 468036 | 223 26441 116565 | 1 89445 20 | 0.000 % | 28.60/28.63 c | 472637 | 223 26441 116565 | 1 48448 19 | 0.000 % | 28.60/28.63 c | 475210 | 223 26441 116565 | 1 51021 19 | 0.000 % | 28.60/28.63 c | 475941 | 223 26441 116565 | 1 51752 19 | 0.000 % | 28.60/28.63 c | 476403 | 223 26441 116565 | 1 52214 19 | 0.000 % | 28.60/28.63 c | 476665 | 223 26441 116565 | 1 52476 19 | 0.000 % | 28.60/28.63 c | 481254 | 223 26441 116565 | 1 57065 20 | 0.000 % | 28.60/28.63 c | 481356 | 223 26441 116565 | 1 57167 20 | 0.000 % | 28.60/28.63 c | 500810 | 223 26441 116565 | 1 76621 21 | 0.000 % | 28.60/28.63 c | 501435 | 223 26441 116565 | 1 77246 21 | 0.000 % | 28.60/28.63 c | 501536 | 223 26441 116565 | 1 77347 21 | 0.000 % | 28.60/28.63 c | 502034 | 223 26441 116565 | 1 77845 21 | 0.000 % | 28.60/28.63 c | 502401 | 223 26441 116565 | 1 78212 21 | 0.000 % | 28.60/28.63 c | 503746 | 223 26441 116565 | 1 79557 21 | 0.000 % | 28.60/28.63 c | 503847 | 223 26441 116565 | 1 79658 21 | 0.000 % | 47.40/47.45 c | 507329 | 223 26441 116565 | 1 83140 21 | 0.000 % | 47.40/47.45 c | 512634 | 223 26441 116565 | 1 88445 21 | 0.000 % | 47.40/47.45 c | 527661 | 223 26441 116565 | 1 55271 19 | 0.000 % | 47.40/47.45 c | 529688 | 223 26441 116565 | 1 57298 19 | 0.000 % | 47.40/47.45 c | 530403 | 223 26441 116565 | 1 58013 19 | 0.000 % | 47.40/47.45 c | 530504 | 223 26441 116565 | 1 58114 19 | 0.000 % | 47.40/47.45 c | 530675 | 223 26441 116565 | 1 58285 19 | 0.000 % | 47.40/47.45 c | 559688 | 223 26441 116565 | 1 87298 21 | 0.000 % | 47.40/47.45 c | 642597 | 223 26441 116565 | 1 66006 19 | 0.000 % | 47.40/47.45 c | 643510 | 223 26441 116565 | 1 66919 19 | 0.000 % | 47.40/47.45 c | 644654 | 223 26441 116565 | 1 68063 19 | 0.000 % | 47.40/47.45 c | 644819 | 223 26441 116565 | 1 68228 19 | 0.000 % | 47.40/47.45 c | 653816 | 223 26441 116565 | 1 77225 20 | 0.000 % | 47.40/47.45 c | 657017 | 223 26441 116565 | 1 80426 20 | 0.000 % | 47.40/47.45 c | 658529 | 223 26441 116565 | 1 81938 20 | 0.000 % | 47.40/47.45 c | 658631 | 223 26441 116565 | 1 82040 20 | 0.000 % | 47.40/47.45 c | 658733 | 223 26441 116565 | 1 82142 20 | 0.000 % | 47.40/47.45 c | 658833 | 223 26441 116565 | 1 82242 20 | 0.000 % | 47.40/47.45 c | 663150 | 223 26441 116565 | 1 86559 20 | 0.000 % | 47.40/47.45 c | 663433 | 223 26441 116565 | 1 86842 21 | 0.000 % | 47.40/47.45 c | 664550 | 223 26441 116565 | 1 87959 21 | 0.000 % | 47.40/47.45 c | 664774 | 223 26441 116565 | 1 88183 21 | 0.000 % | 47.40/47.45 c | 664914 | 223 26441 116565 | 1 88323 21 | 0.000 % | 47.40/47.45 c | 665017 | 223 26441 116565 | 1 88426 21 | 0.000 % | 47.40/47.45 c | 674051 | 223 26441 116565 | 1 97460 21 | 0.000 % | 47.40/47.45 c | 674871 | 223 26441 116565 | 1 98280 21 | 0.000 % | 47.40/47.45 c | 676436 | 223 26441 116565 | 1 99845 21 | 0.000 % | 47.40/47.45 c | 680965 | 223 26441 116565 | 1 104374 21 | 0.000 % | 47.40/47.45 c | 681949 | 223 26441 116565 | 1 105358 21 | 0.000 % | 47.40/47.45 c | 684421 | 223 26441 116565 | 1 107830 21 | 0.000 % | 47.40/47.45 c | 704092 | 223 26441 116565 | 1 71499 20 | 0.000 % | 47.40/47.45 c | 712191 | 223 26441 116565 | 1 79598 20 | 0.000 % | 47.40/47.45 c | 713571 | 223 26441 116565 | 1 80978 20 | 0.000 % | 47.40/47.45 c | 714238 | 223 26441 116565 | 1 81645 20 | 0.000 % | 47.40/47.45 c | 714375 | 223 26441 116565 | 1 81782 20 | 0.000 % | 47.40/47.45 c | 717316 | 223 26441 116565 | 1 84723 21 | 0.000 % | 47.40/47.45 c | 717417 | 223 26441 116565 | 1 84824 21 | 0.000 % | 47.40/47.45 c | 756323 | 223 26441 116565 | 1 65133 19 | 0.000 % | 47.40/47.45 c | 756735 | 223 26441 116565 | 1 65545 19 | 0.000 % | 47.40/47.45 c | 756835 | 223 26441 116565 | 1 65645 19 | 0.000 % | 47.40/47.45 c | 756943 | 223 26441 116565 | 1 65753 19 | 0.000 % | 47.40/47.45 c | 759715 | 223 26441 116565 | 1 68525 19 | 0.000 % | 47.40/47.45 c | 763453 | 223 26441 116565 | 1 72263 19 | 0.000 % | 47.40/47.45 c | 763699 | 223 26441 116565 | 1 72509 19 | 0.000 % | 47.40/47.45 c | 763800 | 223 26441 116565 | 1 72610 19 | 0.000 % | 47.40/47.45 c | 771527 | 223 26441 116565 | 1 80337 20 | 0.000 % | 47.40/47.45 c | 773622 | 223 26441 116565 | 1 82432 20 | 0.000 % | 47.40/47.45 c | 774015 | 223 26441 116565 | 1 82825 20 | 0.000 % | 47.40/47.45 c | 776852 | 223 26441 116565 | 1 85662 20 | 0.000 % | 47.40/47.45 c | 777155 | 223 26441 116565 | 1 85965 20 | 0.000 % | 67.78/67.89 c | 778933 | 223 26441 116565 | 1 87743 20 | 0.000 % | 67.78/67.89 c | 784606 | 223 26441 116565 | 1 93416 21 | 0.000 % | 67.78/67.89 c | 790413 | 223 26441 116565 | 1 99223 21 | 0.000 % | 67.78/67.89 c | 792886 | 223 26441 116565 | 1 101696 21 | 0.000 % | 67.78/67.89 c | 809207 | 223 26441 116565 | 1 118017 22 | 0.000 % | 67.78/67.89 c | 823052 | 223 26441 116565 | 1 70666 19 | 0.000 % | 67.78/67.89 c | 823202 | 223 26441 116565 | 1 70816 19 | 0.000 % | 67.78/67.89 c | 829545 | 223 26441 116565 | 1 77159 20 | 0.000 % | 67.78/67.89 c | 836823 | 223 26441 116565 | 1 84437 20 | 0.000 % | 67.78/67.89 c | 836987 | 223 26441 116565 | 1 84601 20 | 0.000 % | 67.78/67.89 c | 837492 | 223 26441 116565 | 1 85106 20 | 0.000 % | 67.78/67.89 c | 838559 | 223 26441 116565 | 1 86173 20 | 0.000 % | 67.78/67.89 c | 838660 | 223 26441 116565 | 1 86274 20 | 0.000 % | 67.78/67.89 c | 843459 | 223 26441 116565 | 1 91073 20 | 0.000 % | 67.78/67.89 c | 846421 | 223 26441 116565 | 1 94035 20 | 0.000 % | 67.78/67.89 c | 864264 | 223 26441 116565 | 1 111878 21 | 0.000 % | 67.78/67.89 c | 864454 | 223 26441 116565 | 1 112068 21 | 0.000 % | 67.78/67.89 c | 869953 | 223 26441 116565 | 1 117567 21 | 0.000 % | 67.78/67.89 c | 870874 | 223 26441 116565 | 1 118488 21 | 0.000 % | 67.78/67.89 c | 871630 | 223 26441 116565 | 1 119244 21 | 0.000 % | 67.78/67.89 c | 871731 | 223 26441 116565 | 1 119345 21 | 0.000 % | 67.78/67.89 c | 871831 | 223 26441 116565 | 1 119445 21 | 0.000 % | 67.78/67.89 c | 872090 | 223 26441 116565 | 1 119704 21 | 0.000 % | 67.78/67.89 c | 872190 | 223 26441 116565 | 1 119804 21 | 0.000 % | 67.78/67.89 c | 880138 | 223 26441 116565 | 1 63954 18 | 0.000 % | 67.78/67.89 c | 889239 | 223 26441 116565 | 1 73055 19 | 0.000 % | 67.78/67.89 c | 889612 | 223 26441 116565 | 1 73428 19 | 0.000 % | 67.78/67.89 c | 889712 | 223 26441 116565 | 1 73528 19 | 0.000 % | 67.78/67.89 c | 889903 | 223 26441 116565 | 1 73719 19 | 0.000 % | 67.78/67.89 c | 902832 | 223 26441 116565 | 1 86648 20 | 0.000 % | 67.78/67.89 c | 903672 | 223 26441 116565 | 1 87488 20 | 0.000 % | 67.78/67.89 c | 903772 | 223 26441 116565 | 1 87588 20 | 0.000 % | 67.78/67.89 c | 911395 | 223 26441 116565 | 1 95211 21 | 0.000 % | 67.78/67.89 c | 940410 | 223 26441 116565 | 1 124226 21 | 0.000 % | 67.78/67.89 c | 941745 | 223 26441 116565 | 1 125561 21 | 0.000 % | 67.78/67.89 c | 941846 | 223 26441 116565 | 1 125662 21 | 0.000 % | 67.78/67.89 c | 941946 | 223 26441 116565 | 1 125762 21 | 0.000 % | 67.78/67.89 c | 950224 | 223 26441 116565 | 1 67641 19 | 0.000 % | 67.78/67.89 c | 954422 | 223 26441 116565 | 1 71839 19 | 0.000 % | 67.78/67.89 c | 969103 | 223 26441 116565 | 1 86520 20 | 0.000 % | 67.78/67.89 c | 969501 | 223 26441 116565 | 1 86918 20 | 0.000 % | 67.78/67.89 c | 970286 | 223 26441 116565 | 1 87703 20 | 0.000 % | 67.78/67.89 c | 975373 | 223 26441 116565 | 1 92790 20 | 0.000 % | 67.78/67.89 c | 975474 | 223 26441 116565 | 1 92891 20 | 0.000 % | 67.78/67.89 c | 1020947 | 223 26441 116565 | 1 69362 18 | 0.000 % | 67.78/67.89 c | 1024480 | 223 26441 116565 | 1 72895 19 | 0.000 % | 67.78/67.89 c | 1044327 | 223 26441 116565 | 1 92742 20 | 0.000 % | 67.78/67.89 c | 1044427 | 223 26441 116565 | 1 92842 20 | 0.000 % | 67.78/67.89 c | 1053510 | 223 26441 116565 | 1 101925 20 | 0.000 % | 67.78/67.89 c | 1057333 | 223 26441 116565 | 1 105748 21 | 0.000 % | 88.88/88.92 c | 1060833 | 223 26441 116565 | 1 109248 21 | 0.000 % | 88.88/88.92 c | 1090916 | 223 26441 116565 | 1 139331 21 | 0.000 % | 88.88/88.92 c | 1114343 | 223 26441 116565 | 1 91161 19 | 0.000 % | 88.88/88.92 c | 1115422 | 223 26441 116565 | 1 92240 20 | 0.000 % | 88.88/88.92 c | 1115766 | 223 26441 116565 | 1 92584 20 | 0.000 % | 88.88/88.92 c | 1115868 | 223 26441 116565 | 1 92686 20 | 0.000 % | 88.88/88.92 c | 1115979 | 223 26441 116565 | 1 92797 20 | 0.000 % | 88.88/88.92 c | 1120698 | 223 26441 116565 | 1 97516 20 | 0.000 % | 88.88/88.92 c | 1120799 | 223 26441 116565 | 1 97617 20 | 0.000 % | 88.88/88.92 c | 1121355 | 223 26441 116565 | 1 98173 20 | 0.000 % | 88.88/88.92 c | 1121816 | 223 26441 116565 | 1 98634 20 | 0.000 % | 88.88/88.92 c | 1125825 | 223 26441 116565 | 1 102643 20 | 0.000 % | 88.88/88.92 c | 1125925 | 223 26441 116565 | 1 102743 20 | 0.000 % | 88.88/88.92 c | 1130087 | 223 26441 116565 | 1 106905 20 | 0.000 % | 88.88/88.92 c | 1130188 | 223 26441 116565 | 1 107006 20 | 0.000 % | 88.88/88.92 c | 1130289 | 223 26441 116565 | 1 107107 20 | 0.000 % | 88.88/88.92 c | 1130389 | 223 26441 116565 | 1 107207 20 | 0.000 % | 88.88/88.92 c | 1130529 | 223 26441 116565 | 1 107347 20 | 0.000 % | 88.88/88.92 c | 1137047 | 223 26441 116565 | 1 113865 21 | 0.000 % | 88.88/88.92 c | 1137355 | 223 26441 116565 | 1 114173 21 | 0.000 % | 88.88/88.92 c | 1138423 | 223 26441 116565 | 1 115241 21 | 0.000 % | 88.88/88.92 c | 1139011 | 223 26441 116565 | 1 115829 21 | 0.000 % | 88.88/88.92 c | 1139243 | 223 26441 116565 | 1 116061 21 | 0.000 % | 88.88/88.92 c | 1139603 | 223 26441 116565 | 1 116421 21 | 0.000 % | 88.88/88.92 c | 1152663 | 223 26441 116565 | 1 129481 21 | 0.000 % | 88.88/88.92 c | 1178266 | 223 26441 116565 | 1 80886 19 | 0.000 % | 88.88/88.92 c | 1181618 | 223 26441 116565 | 1 84238 19 | 0.000 % | 88.88/88.92 c | 1207313 | 223 26441 116565 | 1 109933 20 | 0.000 % | 88.88/88.92 c | 1207414 | 223 26441 116565 | 1 110034 20 | 0.000 % | 88.88/88.92 c | 1214141 | 223 26441 116565 | 1 116761 21 | 0.000 % | 88.88/88.92 c | 1214242 | 223 26441 116565 | 1 116862 21 | 0.000 % | 88.88/88.92 c | 1238580 | 223 26441 116565 | 1 141200 21 | 0.000 % | 88.88/88.92 c | 1258437 | 223 26441 116565 | 1 84256 19 | 0.000 % | 88.88/88.92 c | 1258537 | 223 26441 116565 | 1 84356 19 | 0.000 % | 88.88/88.92 c | 1261881 | 223 26441 116565 | 1 87700 19 | 0.000 % | 88.88/88.92 c | 1294732 | 223 26441 116565 | 1 120551 21 | 0.000 % | 88.88/88.92 c | 1305021 | 223 26441 116565 | 1 130840 21 | 0.000 % | 88.88/88.92 c | 1305121 | 223 26441 116565 | 1 130940 21 | 0.000 % | 88.88/88.92 c | 1305416 | 223 26441 116565 | 1 131235 21 | 0.000 % | 88.88/88.92 c | 1305524 | 223 26441 116565 | 1 131343 21 | 0.000 % | 88.88/88.92 c | 1306175 | 223 26441 116565 | 1 131994 21 | 0.000 % | 88.88/88.92 c | 1306349 | 223 26441 116565 | 1 132168 21 | 0.000 % | 88.88/88.92 c | 1306449 | 223 26441 116565 | 1 132268 21 | 0.000 % | 88.88/88.92 c | 1308031 | 223 26441 116565 | 1 133850 21 | 0.000 % | 88.88/88.92 c | 1311621 | 223 26441 116565 | 1 137440 21 | 0.000 % | 88.88/88.92 c | 1311914 | 223 26441 116565 | 1 137733 21 | 0.000 % | 88.88/88.92 c | 1312464 | 223 26441 116565 | 1 138283 21 | 0.000 % | 88.88/88.92 c | 1318006 | 223 26441 116565 | 1 143825 21 | 0.000 % | 88.88/88.92 c | 1327301 | 223 26441 116565 | 1 153120 22 | 0.000 % | 88.88/88.92 c | 1331667 | 223 26441 116565 | 1 157486 22 | 0.000 % | 120.00/120.05 c | 1336595 | 223 26441 116565 | 1 83011 19 | 0.000 % | 120.00/120.05 c | 1338373 | 223 26441 116565 | 1 84789 19 | 0.000 % | 120.00/120.05 c | 1339201 | 223 26441 116565 | 1 85617 19 | 0.000 % | 120.00/120.05 c | 1339301 | 223 26441 116565 | 1 85717 19 | 0.000 % | 120.00/120.05 c | 1339901 | 223 26441 116565 | 1 86317 19 | 0.000 % | 120.00/120.05 c | 1340003 | 223 26441 116565 | 1 86419 19 | 0.000 % | 120.00/120.05 c | 1343413 | 223 26441 116565 | 1 89829 19 | 0.000 % | 120.00/120.05 c | 1344669 | 223 26441 116565 | 1 91085 19 | 0.000 % | 120.00/120.05 c | 1348186 | 223 26441 116565 | 1 94602 19 | 0.000 % | 120.00/120.05 c | 1424894 | 223 26441 116565 | 1 89308 18 | 0.000 % | 120.00/120.05 c | 1447152 | 223 26441 116565 | 1 111566 19 | 0.000 % | 120.00/120.05 c | 1480959 | 223 26441 116565 | 1 145373 20 | 0.000 % | 120.00/120.05 c | 1483196 | 223 26441 116565 | 1 147610 20 | 0.000 % | 120.00/120.05 c | 1484421 | 223 26441 116565 | 1 148835 20 | 0.000 % | 120.00/120.05 c | 1485325 | 223 26441 116565 | 1 149739 20 | 0.000 % | 120.00/120.05 c | 1499336 | 223 26441 116565 | 1 163750 20 | 0.000 % | 120.00/120.05 c | 1500797 | 223 26441 116565 | 1 165211 21 | 0.000 % | 120.00/120.05 c | 1535603 | 223 26441 116565 | 1 115419 19 | 0.000 % | 120.00/120.05 c | 1537518 | 223 26441 116565 | 1 117334 20 | 0.000 % | 120.00/120.05 c | 1537618 | 223 26441 116565 | 1 117434 20 | 0.000 % | 120.00/120.05 c | 1538914 | 223 26441 116565 | 1 118730 20 | 0.000 % | 120.00/120.05 c | 1539015 | 223 26441 116565 | 1 118831 20 | 0.000 % | 120.00/120.05 c | 1539271 | 223 26441 116565 | 1 119087 20 | 0.000 % | 120.00/120.05 c | 1539373 | 223 26441 116565 | 1 119189 20 | 0.000 % | 120.00/120.05 c | 1551855 | 223 26441 116565 | 1 131671 20 | 0.000 % | 120.00/120.05 c | 1570332 | 223 26441 116565 | 1 150148 20 | 0.000 % | 120.00/120.05 c | 1585480 | 223 26441 116565 | 1 165296 21 | 0.000 % | 120.00/120.05 c | 1601277 | 223 26441 116565 | 1 93894 19 | 0.000 % | 120.00/120.05 c | 1602637 | 223 26441 116565 | 1 95254 19 | 0.000 % | 120.00/120.05 c | 1609198 | 223 26441 116565 | 1 101815 19 | 0.000 % | 120.00/120.05 c | 1621746 | 223 26441 116565 | 1 114363 19 | 0.000 % | 120.00/120.05 c | 1623258 | 223 26441 116565 | 1 115875 19 | 0.000 % | 120.00/120.05 c | 1625076 | 223 26441 116565 | 1 117693 19 | 0.000 % | 120.00/120.05 c | 1628957 | 223 26441 116565 | 1 121574 20 | 0.000 % | 120.00/120.05 c | 1662022 | 223 26441 116565 | 1 154639 21 | 0.000 % | 120.00/120.05 c | 1662122 | 223 26441 116565 | 1 154739 21 | 0.000 % | 120.00/120.05 c | 1665453 | 223 26441 116565 | 1 158070 21 | 0.000 % | 120.00/120.05 c | 1667301 | 223 26441 116565 | 1 159918 21 | 0.000 % | 120.00/120.05 c | 1668387 | 223 26441 116565 | 1 161004 21 | 0.000 % | 120.00/120.05 c | 1669441 | 223 26441 116565 | 1 162058 21 | 0.000 % | 120.00/120.05 c | 1669773 | 223 26441 116565 | 1 162390 21 | 0.000 % | 120.00/120.05 c | 1669873 | 223 26441 116565 | 1 162490 21 | 0.000 % | 120.00/120.05 c | 1669973 | 223 26441 116565 | 1 162590 21 | 0.000 % | 120.00/120.05 c | 1682629 | 223 26441 116565 | 1 175246 21 | 0.000 % | 120.00/120.05 c | 1683110 | 223 26441 116565 | 1 175727 21 | 0.000 % | 120.00/120.05 c | 1683464 | 223 26441 116565 | 1 176081 21 | 0.000 % | 120.00/120.05 c | 1705883 | 223 26441 116565 | 1 108700 19 | 0.000 % | 120.00/120.05 c | 1708521 | 223 26441 116565 | 1 111338 19 | 0.000 % | 120.00/120.05 c | 1708991 | 223 26441 116565 | 1 111808 19 | 0.000 % | 120.00/120.05 c | 1709092 | 223 26441 116565 | 1 111909 19 | 0.000 % | 137.50/137.59 c | 1710161 | 223 26441 116565 | 1 112978 19 | 0.000 % | 137.50/137.59 c | 1723563 | 223 26441 116565 | 1 126380 20 | 0.000 % | 137.50/137.59 c | 1725855 | 223 26441 116565 | 1 128672 20 | 0.000 % | 137.50/137.59 c | 1727060 | 223 26441 116565 | 1 129877 20 | 0.000 % | 137.50/137.59 c | 1727160 | 223 26441 116565 | 1 129977 20 | 0.000 % | 137.50/137.59 c | 1728149 | 223 26441 116565 | 1 130966 20 | 0.000 % | 137.50/137.59 c | 1728252 | 223 26441 116565 | 1 131069 20 | 0.000 % | 137.50/137.59 c | 1728352 | 223 26441 116565 | 1 131169 20 | 0.000 % | 137.50/137.59 c | 1745309 | 223 26441 116565 | 1 148126 20 | 0.000 % | 137.50/137.59 c | 1747151 | 223 26441 116565 | 1 149968 20 | 0.000 % | 137.50/137.59 c | 1747252 | 223 26441 116565 | 1 150069 20 | 0.000 % | 137.50/137.59 c | 1772572 | 223 26441 116565 | 1 175389 21 | 0.000 % | 137.50/137.59 c | 1773622 | 223 26441 116565 | 1 176439 21 | 0.000 % | 137.50/137.59 c | 1773722 | 223 26441 116565 | 1 176539 21 | 0.000 % | 137.50/137.59 c | 1773996 | 223 26441 116565 | 1 176813 21 | 0.000 % | 137.50/137.59 c | 1801388 | 223 26441 116565 | 1 111803 19 | 0.000 % | 137.50/137.59 c | 1806204 | 223 26441 116565 | 1 116619 19 | 0.000 % | 137.50/137.59 c | 1809337 | 223 26441 116565 | 1 119752 19 | 0.000 % | 137.50/137.59 c | 1810813 | 223 26441 116565 | 1 121228 19 | 0.000 % | 137.50/137.59 c | 1812174 | 223 26441 116565 | 1 122589 20 | 0.000 % | 137.50/137.59 c | 1813318 | 223 26441 116565 | 1 123733 20 | 0.000 % | 137.50/137.59 c | 1813543 | 223 26441 116565 | 1 123958 20 | 0.000 % | 137.50/137.59 c | 1814018 | 223 26441 116565 | 1 124433 20 | 0.000 % | 137.50/137.59 c | 1814223 | 223 26441 116565 | 1 124638 20 | 0.000 % | 137.50/137.59 c | 1818289 | 223 26441 116565 | 1 128704 20 | 0.000 % | 137.50/137.59 c | 1821007 | 223 26441 116565 | 1 131422 20 | 0.000 % | 137.50/137.59 c | 1821107 | 223 26441 116565 | 1 131522 20 | 0.000 % | 137.50/137.59 c | 1824801 | 223 26441 116565 | 1 135216 20 | 0.000 % | 137.50/137.59 c | 1824901 | 223 26441 116565 | 1 135316 20 | 0.000 % | 137.50/137.59 c | 1825002 | 223 26441 116565 | 1 135417 20 | 0.000 % | 137.50/137.59 c | 1825525 | 223 26441 116565 | 1 135940 20 | 0.000 % | 137.50/137.59 c | 1838994 | 223 26441 116565 | 1 149409 20 | 0.000 % | 137.50/137.59 c | 1839094 | 223 26441 116565 | 1 149509 20 | 0.000 % | 137.50/137.59 c | 1839888 | 223 26441 116565 | 1 150303 20 | 0.000 % | 137.50/137.59 c | 1849813 | 223 26441 116565 | 1 160228 20 | 0.000 % | 137.50/137.59 c | 1850058 | 223 26441 116565 | 1 160473 21 | 0.000 % | 137.50/137.59 c | 1850813 | 223 26441 116565 | 1 161228 21 | 0.000 % | 137.50/137.60 c | 1862155 | 223 26441 116565 | 1 172570 21 | 0.000 % | 137.50/137.60 c | 1863094 | 223 26441 116565 | 1 173509 21 | 0.000 % | 137.50/137.60 c | 1863194 | 223 26441 116565 | 1 173609 21 | 0.000 % | 137.50/137.60 c | 1863522 | 223 26441 116565 | 1 173937 21 | 0.000 % | 137.50/137.60 c | 1864341 | 223 26441 116565 | 1 174756 21 | 0.000 % | 137.50/137.60 c | 1864479 | 223 26441 116565 | 1 174894 21 | 0.000 % | 137.50/137.60 c | 1864579 | 223 26441 116565 | 1 174994 21 | 0.000 % | 137.50/137.60 c | 1864679 | 223 26441 116565 | 1 175094 21 | 0.000 % | 137.50/137.60 c | 1898321 | 223 26441 116565 | 1 113737 19 | 0.000 % | 137.50/137.60 c | 1914298 | 223 26441 116565 | 1 129714 19 | 0.000 % | 137.50/137.60 c | 1914449 | 223 26441 116565 | 1 129865 19 | 0.000 % | 137.50/137.60 c | 1915735 | 223 26441 116565 | 1 131151 19 | 0.000 % | 137.50/137.60 c | 1915836 | 223 26441 116565 | 1 131252 19 | 0.000 % | 154.11/154.13 c | 1920234 | 223 26441 116565 | 1 135650 19 | 0.000 % | 154.11/154.13 c | 1920369 | 223 26441 116565 | 1 135785 19 | 0.000 % | 154.11/154.13 c | 1920715 | 223 26441 116565 | 1 136131 20 | 0.000 % | 154.11/154.13 c | 1922092 | 223 26441 116565 | 1 137508 20 | 0.000 % | 154.11/154.13 c | 1922386 | 223 26441 116565 | 1 137802 20 | 0.000 % | 154.11/154.13 c | 1924628 | 223 26441 116565 | 1 140044 20 | 0.000 % | 154.11/154.13 c | 1925108 | 223 26441 116565 | 1 140524 20 | 0.000 % | 154.11/154.13 c | 1925458 | 223 26441 116565 | 1 140874 20 | 0.000 % | 154.11/154.13 c | 1928252 | 223 26441 116565 | 1 143668 20 | 0.000 % | 154.11/154.13 c | 1956499 | 223 26441 116565 | 1 171915 20 | 0.000 % | 154.11/154.13 c | 1956599 | 223 26441 116565 | 1 172015 20 | 0.000 % | 154.11/154.13 c | 1956755 | 223 26441 116565 | 1 172171 20 | 0.000 % | 154.11/154.13 c | 1956943 | 223 26441 116565 | 1 172359 20 | 0.000 % | 154.11/154.13 c | 1957049 | 223 26441 116565 | 1 172465 20 | 0.000 % | 154.11/154.13 c | 2011040 | 223 26441 116565 | 1 128858 19 | 0.000 % | 154.11/154.13 c | 2031222 | 223 26441 116565 | 1 149040 20 | 0.000 % | 154.11/154.13 c | 2045499 | 223 26441 116565 | 1 163317 20 | 0.000 % | 154.11/154.13 c | 2046523 | 223 26441 116565 | 1 164341 20 | 0.000 % | 154.11/154.13 c | 2046623 | 223 26441 116565 | 1 164441 20 | 0.000 % | 154.11/154.13 c | 2046723 | 223 26441 116565 | 1 164541 20 | 0.000 % | 154.11/154.13 c | 2046824 | 223 26441 116565 | 1 164642 20 | 0.000 % | 154.11/154.13 c | 2049535 | 223 26441 116565 | 1 167353 20 | 0.000 % | 154.11/154.13 c | 2049636 | 223 26441 116565 | 1 167454 20 | 0.000 % | 154.11/154.13 c | 2050276 | 223 26441 116565 | 1 168094 20 | 0.000 % | 154.11/154.13 c | 2058604 | 223 26441 116565 | 1 176422 20 | 0.000 % | 154.11/154.13 c | 2058706 | 223 26441 116565 | 1 176524 20 | 0.000 % | 154.11/154.13 c | 2058962 | 223 26441 116565 | 1 176780 20 | 0.000 % | 154.11/154.13 c | 2059790 | 223 26441 116565 | 1 177608 20 | 0.000 % | 154.11/154.13 c | 2061556 | 223 26441 116565 | 1 179374 20 | 0.000 % | 154.11/154.13 c | 2062045 | 223 26441 116565 | 1 179863 20 | 0.000 % | 154.11/154.13 c | 2062145 | 223 26441 116565 | 1 179963 20 | 0.000 % | 154.11/154.13 c | 2068351 | 223 26441 116565 | 1 186169 20 | 0.000 % | 154.11/154.13 c | 2068942 | 223 26441 116565 | 1 186760 21 | 0.000 % | 154.11/154.13 c | 2074102 | 223 26441 116565 | 1 191920 21 | 0.000 % | 154.11/154.13 c | 2075506 | 223 26441 116565 | 1 193324 21 | 0.000 % | 154.11/154.13 c | 2076094 | 223 26441 116565 | 1 193912 21 | 0.000 % | 154.11/154.13 c | 2076194 | 223 26441 116565 | 1 194012 21 | 0.000 % | 154.11/154.13 c | 2081539 | 223 26441 116565 | 1 199357 21 | 0.000 % | 154.11/154.13 c | 2082007 | 223 26441 116565 | 1 199825 21 | 0.000 % | 154.11/154.13 c | 2084421 | 223 26441 116565 | 1 102035 18 | 0.000 % | 154.11/154.13 c | 2084523 | 223 26441 116565 | 1 102137 18 | 0.000 % | 154.11/154.13 c | 2094373 | 223 26441 116565 | 1 111987 18 | 0.000 % | 154.11/154.13 c | 2094749 | 223 26441 116565 | 1 112363 18 | 0.000 % | 154.11/154.13 c | 2095197 | 223 26441 116565 | 1 112811 18 | 0.000 % | 154.11/154.13 c | 2095297 | 223 26441 116565 | 1 112911 18 | 0.000 % | 154.11/154.13 c | 2095397 | 223 26441 116565 | 1 113011 18 | 0.000 % | 154.11/154.13 c | 2095591 | 223 26441 116565 | 1 113205 18 | 0.000 % | 154.11/154.13 c | 2095749 | 223 26441 116565 | 1 113363 18 | 0.000 % | 154.11/154.13 c | 2095850 | 223 26441 116565 | 1 113464 18 | 0.000 % | 195.19/195.25 c | 2099915 | 223 26441 116565 | 1 117529 18 | 0.000 % | 195.19/195.25 c | 2148113 | 223 26441 116565 | 1 165727 20 | 0.000 % | 195.19/195.25 c | 2197699 | 223 26441 116565 | 1 112513 18 | 0.000 % | 195.19/195.25 c | 2245740 | 223 26441 116565 | 1 160554 19 | 0.000 % | 195.19/195.25 c | 2249642 | 223 26441 116565 | 1 164456 20 | 0.000 % | 195.19/195.25 c | 2254268 | 223 26441 116565 | 1 169082 20 | 0.000 % | 195.19/195.25 c | 2267383 | 223 26441 116565 | 1 182197 20 | 0.000 % | 195.19/195.25 c | 2289839 | 223 26441 116565 | 1 204653 21 | 0.000 % | 195.19/195.25 c | 2290558 | 223 26441 116565 | 1 205372 21 | 0.000 % | 195.19/195.25 c | 2291980 | 223 26441 116565 | 1 206794 21 | 0.000 % | 195.19/195.25 c | 2292080 | 223 26441 116565 | 1 206894 21 | 0.000 % | 195.19/195.25 c | 2292181 | 223 26441 116565 | 1 206995 21 | 0.000 % | 195.19/195.25 c | 2292281 | 223 26441 116565 | 1 207095 21 | 0.000 % | 195.19/195.25 c | 2293906 | 223 26441 116565 | 1 208720 21 | 0.000 % | 195.19/195.25 c | 2310157 | 223 26441 116565 | 1 119571 18 | 0.000 % | 195.19/195.25 c | 2310259 | 223 26441 116565 | 1 119673 18 | 0.000 % | 195.19/195.25 c | 2318021 | 223 26441 116565 | 1 127435 19 | 0.000 % | 195.19/195.25 c | 2325708 | 223 26441 116565 | 1 135122 19 | 0.000 % | 195.19/195.25 c | 2325947 | 223 26441 116565 | 1 135361 19 | 0.000 % | 195.19/195.25 c | 2330905 | 223 26441 116565 | 1 140319 19 | 0.000 % | 195.19/195.25 c | 2334498 | 223 26441 116565 | 1 143912 19 | 0.000 % | 195.19/195.25 c | 2352635 | 223 26441 116565 | 1 162049 20 | 0.000 % | 195.19/195.25 c | 2355024 | 223 26441 116565 | 1 164438 20 | 0.000 % | 195.19/195.25 c | 2357793 | 223 26441 116565 | 1 167207 20 | 0.000 % | 195.19/195.25 c | 2361836 | 223 26441 116565 | 1 171250 20 | 0.000 % | 195.19/195.25 c | 2368695 | 223 26441 116565 | 1 178109 21 | 0.000 % | 195.19/195.25 c | 2445121 | 223 26441 116565 | 1 146536 19 | 0.000 % | 195.19/195.25 c | 2445222 | 223 26441 116565 | 1 146637 19 | 0.000 % | 195.19/195.25 c | 2458371 | 223 26441 116565 | 1 159786 20 | 0.000 % | 195.19/195.25 c | 2461622 | 223 26441 116565 | 1 163037 20 | 0.000 % | 195.19/195.25 c | 2462868 | 223 26441 116565 | 1 164283 20 | 0.000 % | 195.19/195.25 c | 2472346 | 223 26441 116565 | 1 173761 20 | 0.000 % | 195.19/195.25 c | 2472446 | 223 26441 116565 | 1 173861 20 | 0.000 % | 195.19/195.25 c | 2472547 | 223 26441 116565 | 1 173962 20 | 0.000 % | 195.19/195.25 c | 2491017 | 223 26441 116565 | 1 192432 20 | 0.000 % | 195.19/195.25 c | 2491117 | 223 26441 116565 | 1 192532 20 | 0.000 % | 195.19/195.25 c | 2497625 | 223 26441 116565 | 1 199040 20 | 0.000 % | 195.19/195.25 c | 2497727 | 223 26441 116565 | 1 199142 20 | 0.000 % | 195.19/195.25 c | 2500742 | 223 26441 116565 | 1 202157 20 | 0.000 % | 195.19/195.25 c | 2500842 | 223 26441 116565 | 1 202257 20 | 0.000 % | 195.19/195.25 c | 2505816 | 223 26441 116565 | 1 207231 21 | 0.000 % | 195.19/195.25 c | 2517831 | 223 26441 116565 | 1 219246 21 | 0.000 % | 195.19/195.25 c | 2529842 | 223 26441 116565 | 1 120655 18 | 0.000 % | 195.19/195.25 c | 2529943 | 223 26441 116565 | 1 120756 18 | 0.000 % | 195.19/195.25 c | 2542042 | 223 26441 116565 | 1 132855 18 | 0.000 % | 195.19/195.25 c | 2544268 | 223 26441 116565 | 1 135081 18 | 0.000 % | 195.19/195.25 c | 2545298 | 223 26441 116565 | 1 136111 18 | 0.000 % | 195.19/195.25 c | 2547547 | 223 26441 116565 | 1 138360 19 | 0.000 % | 195.19/195.25 c | 2549568 | 223 26441 116565 | 1 140381 19 | 0.000 % | 195.19/195.25 c | 2549670 | 223 26441 116565 | 1 140483 19 | 0.000 % | 230.19/230.27 c | 2556056 | 223 26441 116565 | 1 146869 19 | 0.000 % | 230.19/230.27 c | 2561004 | 223 26441 116565 | 1 151817 19 | 0.000 % | 230.19/230.27 c | 2562207 | 223 26441 116565 | 1 153020 19 | 0.000 % | 230.19/230.27 c | 2569493 | 223 26441 116565 | 1 160306 19 | 0.000 % | 230.19/230.27 c | 2570033 | 223 26441 116565 | 1 160846 19 | 0.000 % | 230.19/230.27 c | 2570384 | 223 26441 116565 | 1 161197 19 | 0.000 % | 230.19/230.27 c | 2600843 | 223 26441 116565 | 1 191656 20 | 0.000 % | 230.19/230.27 c | 2606496 | 223 26441 116565 | 1 197309 20 | 0.000 % | 230.19/230.27 c | 2607011 | 223 26441 116565 | 1 197824 20 | 0.000 % | 230.19/230.27 c | 2610008 | 223 26441 116565 | 1 200821 20 | 0.000 % | 230.19/230.27 c | 2610327 | 223 26441 116565 | 1 201140 20 | 0.000 % | 230.19/230.27 c | 2610588 | 223 26441 116565 | 1 201401 20 | 0.000 % | 230.19/230.27 c | 2611827 | 223 26441 116565 | 1 202640 20 | 0.000 % | 230.19/230.27 c | 2612141 | 223 26441 116565 | 1 202954 20 | 0.000 % | 230.19/230.27 c | 2617088 | 223 26441 116565 | 1 207901 21 | 0.000 % | 230.19/230.27 c | 2617189 | 223 26441 116565 | 1 208002 21 | 0.000 % | 230.19/230.27 c | 2617289 | 223 26441 116565 | 1 208102 21 | 0.000 % | 230.19/230.27 c | 2617390 | 223 26441 116565 | 1 208203 21 | 0.000 % | 230.19/230.27 c | 2618257 | 223 26441 116565 | 1 209070 21 | 0.000 % | 230.19/230.27 c | 2633012 | 223 26441 116565 | 1 223825 21 | 0.000 % | 230.19/230.27 c | 2670893 | 223 26441 116565 | 1 148504 19 | 0.000 % | 230.19/230.27 c | 2681918 | 223 26441 116565 | 1 159529 19 | 0.000 % | 230.19/230.27 c | 2682065 | 223 26441 116565 | 1 159676 19 | 0.000 % | 230.19/230.27 c | 2686343 | 223 26441 116565 | 1 163954 19 | 0.000 % | 230.19/230.27 c | 2687235 | 223 26441 116565 | 1 164846 19 | 0.000 % | 230.19/230.27 c | 2703912 | 223 26441 116565 | 1 181523 19 | 0.000 % | 230.19/230.27 c | 2705528 | 223 26441 116565 | 1 183139 20 | 0.000 % | 230.19/230.27 c | 2717971 | 223 26441 116565 | 1 195582 20 | 0.000 % | 230.19/230.27 c | 2720515 | 223 26441 116565 | 1 198126 20 | 0.000 % | 230.19/230.27 c | 2720615 | 223 26441 116565 | 1 198226 20 | 0.000 % | 230.19/230.27 c | 2721811 | 223 26441 116565 | 1 199422 20 | 0.000 % | 230.19/230.27 c | 2723545 | 223 26441 116565 | 1 201156 20 | 0.000 % | 230.19/230.27 c | 2726869 | 223 26441 116565 | 1 204480 20 | 0.000 % | 230.19/230.27 c | 2743125 | 223 26441 116565 | 1 220736 20 | 0.000 % | 230.19/230.27 c | 2750982 | 223 26441 116565 | 1 228593 20 | 0.000 % | 230.19/230.27 c | 2751284 | 223 26441 116565 | 1 228895 20 | 0.000 % | 230.19/230.27 c | 2761886 | 223 26441 116565 | 1 123696 18 | 0.000 % | 230.19/230.27 c | 2761988 | 223 26441 116565 | 1 123798 18 | 0.000 % | 230.19/230.27 c | 2762716 | 223 26441 116565 | 1 124526 18 | 0.000 % | 230.19/230.27 c | 2762818 | 223 26441 116565 | 1 124628 18 | 0.000 % | 230.19/230.27 c | 2773803 | 223 26441 116565 | 1 135613 18 | 0.000 % | 230.19/230.27 c | 2773991 | 223 26441 116565 | 1 135801 18 | 0.000 % | 230.19/230.27 c | 2784233 | 223 26441 116565 | 1 146043 19 | 0.000 % | 230.19/230.27 c | 2855236 | 223 26441 116565 | 1 217046 20 | 0.000 % | 230.19/230.27 c | 2904486 | 223 26441 116565 | 1 147894 18 | 0.000 % | 230.19/230.27 c | 2914263 | 223 26441 116565 | 1 157671 19 | 0.000 % | 230.19/230.27 c | 2914513 | 223 26441 116565 | 1 157921 19 | 0.000 % | 230.19/230.27 c | 2915460 | 223 26441 116565 | 1 158868 19 | 0.000 % | 230.19/230.27 c | 2915800 | 223 26441 116565 | 1 159208 19 | 0.000 % | 230.19/230.27 c | 2915900 | 223 26441 116565 | 1 159308 19 | 0.000 % | 280.79/280.86 c | 2916003 | 223 26441 116565 | 1 159411 19 | 0.000 % | 280.79/280.86 c | 2916483 | 223 26441 116565 | 1 159891 19 | 0.000 % | 280.79/280.86 c | 2918117 | 223 26441 116565 | 1 161525 19 | 0.000 % | 280.79/280.86 c | 2918220 | 223 26441 116565 | 1 161628 19 | 0.000 % | 280.79/280.86 c | 2926705 | 223 26441 116565 | 1 170113 19 | 0.000 % | 280.79/280.86 c | 3094197 | 223 26441 116565 | 1 216609 19 | 0.000 % | 280.79/280.86 c | 3094298 | 223 26441 116565 | 1 216710 19 | 0.000 % | 280.79/280.86 c | 3103125 | 223 26441 116565 | 1 225537 19 | 0.000 % | 280.79/280.86 c | 3105129 | 223 26441 116565 | 1 227541 19 | 0.000 % | 280.79/280.86 c | 3105323 | 223 26441 116565 | 1 227735 19 | 0.000 % | 280.79/280.86 c | 3107010 | 223 26441 116565 | 1 229422 19 | 0.000 % | 280.79/280.86 c | 3119139 | 223 26441 116565 | 1 241551 20 | 0.000 % | 280.79/280.86 c | 3121535 | 223 26441 116565 | 1 243947 20 | 0.000 % | 280.79/280.86 c | 3121652 | 223 26441 116565 | 1 244064 20 | 0.000 % | 280.79/280.86 c | 3128549 | 223 26441 116565 | 1 127368 17 | 0.000 % | 280.79/280.86 c | 3128721 | 223 26441 116565 | 1 127540 17 | 0.000 % | 280.79/280.86 c | 3128821 | 223 26441 116565 | 1 127640 17 | 0.000 % | 280.79/280.86 c | 3132941 | 223 26441 116565 | 1 131760 18 | 0.000 % | 280.79/280.86 c | 3133436 | 223 26441 116565 | 1 132255 18 | 0.000 % | 280.79/280.86 c | 3147320 | 223 26441 116565 | 1 146139 18 | 0.000 % | 280.79/280.86 c | 3151069 | 223 26441 116565 | 1 149888 18 | 0.000 % | 280.79/280.86 c | 3158786 | 223 26441 116565 | 1 157605 19 | 0.000 % | 280.79/280.86 c | 3160445 | 223 26441 116565 | 1 159264 19 | 0.000 % | 280.79/280.86 c | 3177651 | 223 26441 116565 | 1 176470 19 | 0.000 % | 280.79/280.86 c | 3200556 | 223 26441 116565 | 1 199375 20 | 0.000 % | 280.79/280.86 c | 3200657 | 223 26441 116565 | 1 199476 20 | 0.000 % | 280.79/280.86 c | 3203762 | 223 26441 116565 | 1 202581 20 | 0.000 % | 280.79/280.86 c | 3204566 | 223 26441 116565 | 1 203385 20 | 0.000 % | 280.79/280.86 c | 3205809 | 223 26441 116565 | 1 204628 20 | 0.000 % | 280.79/280.86 c | 3209035 | 223 26441 116565 | 1 207854 20 | 0.000 % | 280.79/280.86 c | 3211935 | 223 26441 116565 | 1 210754 20 | 0.000 % | 280.79/280.86 c | 3212035 | 223 26441 116565 | 1 210854 20 | 0.000 % | 280.79/280.86 c | 3214745 | 223 26441 116565 | 1 213564 20 | 0.000 % | 280.79/280.86 c | 3277410 | 223 26441 116565 | 1 150034 18 | 0.000 % | 280.79/280.86 c | 3279745 | 223 26441 116565 | 1 152369 18 | 0.000 % | 280.79/280.86 c | 3325013 | 223 26441 116565 | 1 197637 19 | 0.000 % | 280.79/280.86 c | 3339249 | 223 26441 116565 | 1 211873 19 | 0.000 % | 280.79/280.86 c | 3342663 | 223 26441 116565 | 1 215287 19 | 0.000 % | 280.79/280.86 c | 3372509 | 223 26441 116565 | 1 245133 20 | 0.000 % | 280.79/280.86 c | 3386096 | 223 26441 116565 | 1 129914 17 | 0.000 % | 280.79/280.86 c | 3386869 | 223 26441 116565 | 1 130687 17 | 0.000 % | 280.79/280.86 c | 3387537 | 223 26441 116565 | 1 131355 17 | 0.000 % | 280.79/280.86 c | 3387652 | 223 26441 116565 | 1 131470 17 | 0.000 % | 280.79/280.86 c | 3402891 | 223 26441 116565 | 1 146709 18 | 0.000 % | 280.79/280.86 c | 3404265 | 223 26441 116565 | 1 148083 18 | 0.000 % | 280.79/280.86 c | 3410666 | 223 26441 116565 | 1 154484 18 | 0.000 % | 280.79/280.86 c | 3410770 | 223 26441 116565 | 1 154588 18 | 0.000 % | 280.79/280.86 c | 3410870 | 223 26441 116565 | 1 154688 18 | 0.000 % | 280.79/280.86 c | 3410970 | 223 26441 116565 | 1 154788 18 | 0.000 % | 280.79/280.86 c | 3423327 | 223 26441 116565 | 1 167145 19 | 0.000 % | 318.49/318.54 c | 3424644 | 223 26441 116565 | 1 168462 19 | 0.000 % | 318.49/318.54 c | 3424745 | 223 26441 116565 | 1 168563 19 | 0.000 % | 318.49/318.54 c | 3424847 | 223 26441 116565 | 1 168665 19 | 0.000 % | 318.49/318.54 c | 3441068 | 223 26441 116565 | 1 184886 19 | 0.000 % | 318.49/318.54 c | 3441170 | 223 26441 116565 | 1 184988 19 | 0.000 % | 318.49/318.54 c | 3441983 | 223 26441 116565 | 1 185801 19 | 0.000 % | 318.49/318.54 c | 3455781 | 223 26441 116565 | 1 199599 20 | 0.000 % | 318.49/318.54 c | 3491327 | 223 26441 116565 | 1 235145 20 | 0.000 % | 318.49/318.54 c | 3512335 | 223 26441 116565 | 1 256153 20 | 0.000 % | 318.49/318.54 c | 3512780 | 223 26441 116565 | 1 256598 20 | 0.000 % | 318.49/318.54 c | 3517919 | 223 26441 116565 | 1 261737 20 | 0.000 % | 318.49/318.54 c | 3518799 | 223 26441 116565 | 1 262617 20 | 0.000 % | 318.49/318.54 c | 3521998 | 223 26441 116565 | 1 134409 18 | 0.000 % | 318.49/318.54 c | 3522098 | 223 26441 116565 | 1 134509 18 | 0.000 % | 318.49/318.54 c | 3522354 | 223 26441 116565 | 1 134765 18 | 0.000 % | 318.49/318.54 c | 3522455 | 223 26441 116565 | 1 134866 18 | 0.000 % | 318.49/318.54 c | 3534916 | 223 26441 116565 | 1 147327 18 | 0.000 % | 318.49/318.54 c | 3537145 | 223 26441 116565 | 1 149556 18 | 0.000 % | 318.49/318.54 c | 3556949 | 223 26441 116565 | 1 169360 19 | 0.000 % | 318.49/318.54 c | 3557049 | 223 26441 116565 | 1 169460 19 | 0.000 % | 318.49/318.54 c | 3564798 | 223 26441 116565 | 1 177209 19 | 0.000 % | 318.49/318.54 c | 3601151 | 223 26441 116565 | 1 213562 20 | 0.000 % | 318.49/318.54 c | 3601253 | 223 26441 116565 | 1 213664 20 | 0.000 % | 318.49/318.54 c | 3609754 | 223 26441 116565 | 1 222165 20 | 0.000 % | 318.49/318.54 c | 3611343 | 223 26441 116565 | 1 223754 20 | 0.000 % | 318.49/318.54 c | 3611455 | 223 26441 116565 | 1 223866 20 | 0.000 % | 318.49/318.54 c | 3613127 | 223 26441 116565 | 1 225538 20 | 0.000 % | 318.49/318.54 c | 3613233 | 223 26441 116565 | 1 225644 20 | 0.000 % | 318.49/318.54 c | 3627666 | 223 26441 116565 | 1 240077 20 | 0.000 % | 318.49/318.54 c | 3628012 | 223 26441 116565 | 1 240423 20 | 0.000 % | 318.49/318.54 c | 3632170 | 223 26441 116565 | 1 244581 20 | 0.000 % | 318.49/318.54 c | 3632271 | 223 26441 116565 | 1 244682 20 | 0.000 % | 318.49/318.54 c | 3653902 | 223 26441 116565 | 1 266313 20 | 0.000 % | 318.49/318.54 c | 3654388 | 223 26441 116565 | 1 266799 20 | 0.000 % | 318.49/318.54 c | 3654778 | 223 26441 116565 | 1 267189 20 | 0.000 % | 318.49/318.54 c | 3677849 | 223 26441 116565 | 1 156257 18 | 0.000 % | 318.49/318.54 c | 3679877 | 223 26441 116565 | 1 158285 18 | 0.000 % | 318.49/318.54 c | 3680083 | 223 26441 116565 | 1 158491 18 | 0.000 % | 318.49/318.54 c | 3685339 | 223 26441 116565 | 1 163747 18 | 0.000 % | 318.49/318.54 c | 3686215 | 223 26441 116565 | 1 164623 18 | 0.000 % | 318.49/318.54 c | 3686316 | 223 26441 116565 | 1 164724 18 | 0.000 % | 318.49/318.54 c | 3686849 | 223 26441 116565 | 1 165257 19 | 0.000 % | 318.49/318.54 c | 3721299 | 223 26441 116565 | 1 199707 19 | 0.000 % | 318.49/318.54 c | 3725371 | 223 26441 116565 | 1 203779 19 | 0.000 % | 318.49/318.54 c | 3727268 | 223 26441 116565 | 1 205676 19 | 0.000 % | 318.49/318.54 c | 3727368 | 223 26441 116565 | 1 205776 19 | 0.000 % | 318.49/318.54 c | 3727543 | 223 26441 116565 | 1 205951 19 | 0.000 % | 318.49/318.54 c | 3750120 | 223 26441 116565 | 1 228528 20 | 0.000 % | 318.49/318.54 c | 3757133 | 223 26441 116565 | 1 235541 20 | 0.000 % | 318.49/318.54 c | 3783189 | 223 26441 116565 | 1 261597 20 | 0.000 % | 352.59/352.67 c | 3799625 | 223 26441 116565 | 1 141435 17 | 0.000 % | 352.59/352.67 c | 3800423 | 223 26441 116565 | 1 142233 17 | 0.000 % | 352.59/352.67 c | 3803250 | 223 26441 116565 | 1 145060 18 | 0.000 % | 352.59/352.67 c | 3804112 | 223 26441 116565 | 1 145922 18 | 0.000 % | 352.59/352.67 c | 3804575 | 223 26441 116565 | 1 146385 18 | 0.000 % | 352.59/352.67 c | 3804677 | 223 26441 116565 | 1 146487 18 | 0.000 % | 352.59/352.67 c | 3834803 | 223 26441 116565 | 1 176613 18 | 0.000 % | 352.59/352.67 c | 3835067 | 223 26441 116565 | 1 176877 18 | 0.000 % | 352.59/352.67 c | 3835715 | 223 26441 116565 | 1 177525 18 | 0.000 % | 352.59/352.67 c | 3839561 | 223 26441 116565 | 1 181371 18 | 0.000 % | 352.59/352.67 c | 3880221 | 223 26441 116565 | 1 222031 19 | 0.000 % | 352.59/352.67 c | 3880358 | 223 26441 116565 | 1 222168 19 | 0.000 % | 352.59/352.67 c | 3880461 | 223 26441 116565 | 1 222271 19 | 0.000 % | 352.59/352.67 c | 3915083 | 223 26441 116565 | 1 256893 20 | 0.000 % | 352.59/352.67 c | 3917158 | 223 26441 116565 | 1 258968 20 | 0.000 % | 352.59/352.67 c | 3919197 | 223 26441 116565 | 1 261007 20 | 0.000 % | 352.59/352.67 c | 3919303 | 223 26441 116565 | 1 261113 20 | 0.000 % | 352.59/352.67 c | 3920498 | 223 26441 116565 | 1 262308 20 | 0.000 % | 352.59/352.67 c | 3940124 | 223 26441 116565 | 1 142736 17 | 0.000 % | 352.59/352.67 c | 3942780 | 223 26441 116565 | 1 145392 17 | 0.000 % | 352.59/352.67 c | 3943085 | 223 26441 116565 | 1 145697 17 | 0.000 % | 352.59/352.67 c | 3949188 | 223 26441 116565 | 1 151800 18 | 0.000 % | 352.59/352.67 c | 3959750 | 223 26441 116565 | 1 162362 18 | 0.000 % | 352.59/352.67 c | 3964337 | 223 26441 116565 | 1 166949 18 | 0.000 % | 352.59/352.67 c | 3975440 | 223 26441 116565 | 1 178052 19 | 0.000 % | 352.59/352.67 c | 3975840 | 223 26441 116565 | 1 178452 19 | 0.000 % | 352.59/352.67 c | 3980970 | 223 26441 116565 | 1 183582 19 | 0.000 % | 352.59/352.67 c | 3981302 | 223 26441 116565 | 1 183914 19 | 0.000 % | 352.59/352.67 c | 3982335 | 223 26441 116565 | 1 184947 19 | 0.000 % | 352.59/352.67 c | 3983154 | 223 26441 116565 | 1 185766 19 | 0.000 % | 352.59/352.67 c | 3983254 | 223 26441 116565 | 1 185866 19 | 0.000 % | 352.59/352.67 c | 3987993 | 223 26441 116565 | 1 190605 19 | 0.000 % | 352.59/352.67 c | 3988126 | 223 26441 116565 | 1 190738 19 | 0.000 % | 352.59/352.67 c | 3988226 | 223 26441 116565 | 1 190838 19 | 0.000 % | 352.59/352.67 c | 3993243 | 223 26441 116565 | 1 195855 19 | 0.000 % | 352.59/352.67 c | 3995691 | 223 26441 116565 | 1 198303 19 | 0.000 % | 352.59/352.67 c | 4013910 | 223 26441 116565 | 1 216522 20 | 0.000 % | 352.59/352.67 c | 4017989 | 223 26441 116565 | 1 220601 20 | 0.000 % | 352.59/352.67 c | 4019470 | 223 26441 116565 | 1 222082 20 | 0.000 % | 352.59/352.67 c | 4023706 | 223 26441 116565 | 1 226318 20 | 0.000 % | 352.59/352.67 c | 4045262 | 223 26441 116565 | 1 247874 20 | 0.000 % | 352.59/352.67 c | 4045386 | 223 26441 116565 | 1 247998 20 | 0.000 % | 352.59/352.67 c | 4046224 | 223 26441 116565 | 1 248836 20 | 0.000 % | 352.59/352.67 c | 4047036 | 223 26441 116565 | 1 249648 20 | 0.000 % | 352.59/352.67 c | 4050821 | 223 26441 116565 | 1 253433 20 | 0.000 % | 352.59/352.67 c | 4078885 | 223 26441 116565 | 1 281497 20 | 0.000 % | 352.59/352.67 c | 4082751 | 223 26441 116565 | 1 143568 17 | 0.000 % | 352.59/352.67 c | 4085937 | 223 26441 116565 | 1 146754 17 | 0.000 % | 352.59/352.67 c | 4086825 | 223 26441 116565 | 1 147642 18 | 0.000 % | 352.59/352.67 c | 4090256 | 223 26441 116565 | 1 151073 18 | 0.000 % | 398.50/398.58 c | 4190644 | 223 26441 116565 | 1 251461 19 | 0.000 % | 398.50/398.58 c | 4190745 | 223 26441 116565 | 1 251562 19 | 0.000 % | 398.50/398.58 c | 4198734 | 223 26441 116565 | 1 259551 19 | 0.000 % | 398.50/398.58 c | 4231135 | 223 26441 116565 | 1 147550 17 | 0.000 % | 398.50/398.58 c | 4236097 | 223 26441 116565 | 1 152512 17 | 0.000 % | 398.50/398.58 c | 4241381 | 223 26441 116565 | 1 157796 17 | 0.000 % | 398.50/398.58 c | 4252108 | 223 26441 116565 | 1 168523 18 | 0.000 % | 398.50/398.58 c | 4256386 | 223 26441 116565 | 1 172801 18 | 0.000 % | 398.50/398.58 c | 4257135 | 223 26441 116565 | 1 173550 18 | 0.000 % | 398.50/398.58 c | 4283118 | 223 26441 116565 | 1 199533 19 | 0.000 % | 398.50/398.58 c | 4294803 | 223 26441 116565 | 1 211218 19 | 0.000 % | 398.50/398.58 c | 4310858 | 223 26441 116565 | 1 227273 19 | 0.000 % | 398.50/398.58 c | 4312300 | 223 26441 116565 | 1 228715 19 | 0.000 % | 398.50/398.58 c | 4312492 | 223 26441 116565 | 1 228907 19 | 0.000 % | 398.50/398.58 c | 4316256 | 223 26441 116565 | 1 232671 20 | 0.000 % | 398.50/398.58 c | 4316356 | 223 26441 116565 | 1 232771 20 | 0.000 % | 398.50/398.58 c | 4316562 | 223 26441 116565 | 1 232977 20 | 0.000 % | 398.50/398.58 c | 4316662 | 223 26441 116565 | 1 233077 20 | 0.000 % | 398.50/398.58 c | 4316762 | 223 26441 116565 | 1 233177 20 | 0.000 % | 398.50/398.58 c | 4338196 | 223 26441 116565 | 1 254611 20 | 0.000 % | 398.50/398.58 c | 4338298 | 223 26441 116565 | 1 254713 20 | 0.000 % | 398.50/398.58 c | 4342523 | 223 26441 116565 | 1 258938 20 | 0.000 % | 398.50/398.58 c | 4342624 | 223 26441 116565 | 1 259039 20 | 0.000 % | 398.50/398.58 c | 4350482 | 223 26441 116565 | 1 266897 20 | 0.000 % | 398.50/398.58 c | 4350642 | 223 26441 116565 | 1 267057 20 | 0.000 % | 398.50/398.58 c | 4357662 | 223 26441 116565 | 1 274077 20 | 0.000 % | 398.50/398.58 c | 4361858 | 223 26441 116565 | 1 278273 20 | 0.000 % | 398.50/398.58 c | 4361960 | 223 26441 116565 | 1 278375 20 | 0.000 % | 398.50/398.58 c | 4399643 | 223 26441 116565 | 1 169058 18 | 0.000 % | 398.50/398.58 c | 4400469 | 223 26441 116565 | 1 169884 18 | 0.000 % | 398.50/398.58 c | 4402315 | 223 26441 116565 | 1 171730 18 | 0.000 % | 398.50/398.58 c | 4403288 | 223 26441 116565 | 1 172703 18 | 0.000 % | 398.50/398.58 c | 4403388 | 223 26441 116565 | 1 172803 18 | 0.000 % | 398.50/398.58 c | 4404042 | 223 26441 116565 | 1 173457 18 | 0.000 % | 398.50/398.58 c | 4422766 | 223 26441 116565 | 1 192181 19 | 0.000 % | 398.50/398.58 c | 4430102 | 223 26441 116565 | 1 199517 19 | 0.000 % | 398.50/398.58 c | 4431365 | 223 26441 116565 | 1 200780 19 | 0.000 % | 398.50/398.58 c | 4435384 | 223 26441 116565 | 1 204799 19 | 0.000 % | 398.50/398.58 c | 4436368 | 223 26441 116565 | 1 205783 19 | 0.000 % | 398.50/398.58 c | 4436470 | 223 26441 116565 | 1 205885 19 | 0.000 % | 398.50/398.58 c | 4440755 | 223 26441 116565 | 1 210170 19 | 0.000 % | 398.50/398.58 c | 4441034 | 223 26441 116565 | 1 210449 19 | 0.000 % | 398.50/398.58 c | 4441137 | 223 26441 116565 | 1 210552 19 | 0.000 % | 398.50/398.58 c | 4451374 | 223 26441 116565 | 1 220789 19 | 0.000 % | 398.50/398.58 c | 4487441 | 223 26441 116565 | 1 256856 20 | 0.000 % | 398.50/398.58 c | 4494304 | 223 26441 116565 | 1 263719 20 | 0.000 % | 398.50/398.58 c | 4494408 | 223 26441 116565 | 1 263823 20 | 0.000 % | 398.50/398.58 c | 4494715 | 223 26441 116565 | 1 264130 20 | 0.000 % | 398.50/398.58 c | 4495208 | 223 26441 116565 | 1 264623 20 | 0.000 % | 398.50/398.58 c | 4506725 | 223 26441 116565 | 1 276140 20 | 0.000 % | 470.30/470.39 c | 4508014 | 223 26441 116565 | 1 277429 20 | 0.000 % | 470.30/470.39 c | 4514323 | 223 26441 116565 | 1 283738 20 | 0.000 % | 470.30/470.39 c | 4517497 | 223 26441 116565 | 1 286912 20 | 0.000 % | 470.30/470.39 c | 4523202 | 223 26441 116565 | 1 292617 20 | 0.000 % | 470.30/470.39 c | 4523520 | 223 26441 116565 | 1 292935 20 | 0.000 % | 470.30/470.39 c | 4527313 | 223 26441 116565 | 1 296728 20 | 0.000 % | 470.30/470.39 c | 4528052 | 223 26441 116565 | 1 297467 20 | 0.000 % | 470.30/470.39 c | 4588040 | 223 26441 116565 | 1 207852 18 | 0.000 % | 470.30/470.39 c | 4606648 | 223 26441 116565 | 1 226460 19 | 0.000 % | 470.30/470.39 c | 4622282 | 223 26441 116565 | 1 242094 19 | 0.000 % | 470.30/470.39 c | 4635798 | 223 26441 116565 | 1 255610 19 | 0.000 % | 470.30/470.39 c | 4643562 | 223 26441 116565 | 1 263374 19 | 0.000 % | 470.30/470.39 c | 4654390 | 223 26441 116565 | 1 274202 19 | 0.000 % | 470.30/470.39 c | 4749988 | 223 26441 116565 | 1 217604 18 | 0.000 % | 470.30/470.39 c | 4750318 | 223 26441 116565 | 1 217934 18 | 0.000 % | 470.30/470.39 c | 4757870 | 223 26441 116565 | 1 225486 18 | 0.000 % | 470.30/470.39 c | 4758240 | 223 26441 116565 | 1 225856 18 | 0.000 % | 470.30/470.39 c | 4907873 | 223 26441 116565 | 1 220690 18 | 0.000 % | 470.30/470.39 c | 4910638 | 223 26441 116565 | 1 223455 18 | 0.000 % | 470.30/470.39 c | 4915620 | 223 26441 116565 | 1 228437 18 | 0.000 % | 470.30/470.39 c | 4944945 | 223 26441 116565 | 1 257762 19 | 0.000 % | 470.30/470.39 c | 4947983 | 223 26441 116565 | 1 260800 19 | 0.000 % | 470.30/470.39 c | 4980169 | 223 26441 116565 | 1 292986 19 | 0.000 % | 470.30/470.39 c | 4985593 | 223 26441 116565 | 1 298410 19 | 0.000 % | 470.30/470.39 c | 4991287 | 223 26441 116565 | 1 304104 19 | 0.000 % | 470.30/470.39 c | 4991405 | 223 26441 116565 | 1 304222 19 | 0.000 % | 470.30/470.39 c | 5005917 | 223 26441 116565 | 1 161336 17 | 0.000 % | 470.30/470.39 c | 5017846 | 223 26441 116565 | 1 173265 17 | 0.000 % | 470.30/470.39 c | 5021296 | 223 26441 116565 | 1 176715 17 | 0.000 % | 470.30/470.39 c | 5027066 | 223 26441 116565 | 1 182485 18 | 0.000 % | 470.30/470.39 c | 5035883 | 223 26441 116565 | 1 191302 18 | 0.000 % | 470.30/470.39 c | 5035985 | 223 26441 116565 | 1 191404 18 | 0.000 % | 470.30/470.39 c | 5036289 | 223 26441 116565 | 1 191708 18 | 0.000 % | 470.30/470.39 c | 5057177 | 223 26441 116565 | 1 212596 18 | 0.000 % | 470.30/470.39 c | 5078634 | 223 26441 116565 | 1 234053 19 | 0.000 % | 470.30/470.39 c | 5084281 | 223 26441 116565 | 1 239700 19 | 0.000 % | 470.30/470.39 c | 5085064 | 223 26441 116565 | 1 240483 19 | 0.000 % | 470.30/470.39 c | 5092361 | 223 26441 116565 | 1 247780 19 | 0.000 % | 470.30/470.39 c | 5101623 | 223 26441 116565 | 1 257042 19 | 0.000 % | 470.30/470.39 c | 5102846 | 223 26441 116565 | 1 258265 19 | 0.000 % | 470.30/470.39 c | 5102947 | 223 26441 116565 | 1 258366 19 | 0.000 % | 470.30/470.39 c | 5103515 | 223 26441 116565 | 1 258934 19 | 0.000 % | 470.30/470.39 c | 5104230 | 223 26441 116565 | 1 259649 19 | 0.000 % | 470.30/470.39 c | 5104330 | 223 26441 116565 | 1 259749 19 | 0.000 % | 470.30/470.39 c | 5104432 | 223 26441 116565 | 1 259851 19 | 0.000 % | 470.30/470.39 c | 5108428 | 223 26441 116565 | 1 263847 19 | 0.000 % | 470.30/470.39 c | 5112156 | 223 26441 116565 | 1 267575 19 | 0.000 % | 470.30/470.39 c | 5117910 | 223 26441 116565 | 1 273329 20 | 0.000 % | 470.30/470.39 c | 5121028 | 223 26441 116565 | 1 276447 20 | 0.000 % | 470.30/470.39 c | 5131886 | 223 26441 116565 | 1 287305 20 | 0.000 % | 506.02/506.02 c | 5163249 | 223 26441 116565 | 1 318668 20 | 0.000 % | 506.02/506.02 c | 5166263 | 223 26441 116565 | 1 161679 17 | 0.000 % | 506.02/506.02 c | 5168188 | 223 26441 116565 | 1 163604 17 | 0.000 % | 506.02/506.02 c | 5168288 | 223 26441 116565 | 1 163704 17 | 0.000 % | 506.02/506.02 c | 5168744 | 223 26441 116565 | 1 164160 17 | 0.000 % | 506.02/506.02 c | 5170123 | 223 26441 116565 | 1 165539 17 | 0.000 % | 506.02/506.02 c | 5170223 | 223 26441 116565 | 1 165639 17 | 0.000 % | 506.02/506.02 c | 5175739 | 223 26441 116565 | 1 171155 17 | 0.000 % | 506.02/506.02 c | 5177905 | 223 26441 116565 | 1 173321 18 | 0.000 % | 506.02/506.02 c | 5179401 | 223 26441 116565 | 1 174817 18 | 0.000 % | 506.02/506.02 c | 5179816 | 223 26441 116565 | 1 175232 18 | 0.000 % | 506.02/506.02 c | 5179916 | 223 26441 116565 | 1 175332 18 | 0.000 % | 506.02/506.02 c | 5201708 | 223 26441 116565 | 1 197124 18 | 0.000 % | 506.02/506.02 c | 5202071 | 223 26441 116565 | 1 197487 18 | 0.000 % | 506.02/506.02 c | 5241269 | 223 26441 116565 | 1 236685 19 | 0.000 % | 506.02/506.02 c | 5241986 | 223 26441 116565 | 1 237402 19 | 0.000 % | 506.02/506.02 c | 5250739 | 223 26441 116565 | 1 246155 19 | 0.000 % | 506.02/506.02 c | 5250979 | 223 26441 116565 | 1 246395 19 | 0.000 % | 506.02/506.02 c | 5258076 | 223 26441 116565 | 1 253492 19 | 0.000 % | 506.02/506.02 c | 5258389 | 223 26441 116565 | 1 253805 19 | 0.000 % | 506.02/506.02 c | 5258489 | 223 26441 116565 | 1 253905 19 | 0.000 % | 506.02/506.02 c | 5312015 | 223 26441 116565 | 1 307431 20 | 0.000 % | 506.02/506.02 c | 5312115 | 223 26441 116565 | 1 307531 20 | 0.000 % | 506.02/506.02 c | 5312222 | 223 26441 116565 | 1 307638 20 | 0.000 % | 506.02/506.02 c | 5312322 | 223 26441 116565 | 1 307738 20 | 0.000 % | 506.02/506.02 c | 5322158 | 223 26441 116565 | 1 317574 20 | 0.000 % | 506.02/506.02 c | 5322854 | 223 26441 116565 | 1 318270 20 | 0.000 % | 506.02/506.02 c | 5323196 | 223 26441 116565 | 1 318612 20 | 0.000 % | 506.02/506.02 c | 5324552 | 223 26441 116565 | 1 319968 20 | 0.000 % | 506.02/506.02 c | 5331139 | 223 26441 116565 | 1 163957 17 | 0.000 % | 506.02/506.02 c | 5341631 | 223 26441 116565 | 1 174449 17 | 0.000 % | 506.02/506.02 c | 5347204 | 223 26441 116565 | 1 180022 18 | 0.000 % | 506.02/506.02 c | 5347306 | 223 26441 116565 | 1 180124 18 | 0.000 % | 506.02/506.02 c | 5348422 | 223 26441 116565 | 1 181240 18 | 0.000 % | 506.02/506.02 c | 5352716 | 223 26441 116565 | 1 185534 18 | 0.000 % | 506.02/506.02 c | 5358983 | 223 26441 116565 | 1 191801 18 | 0.000 % | 506.02/506.02 c | 5359332 | 223 26441 116565 | 1 192150 18 | 0.000 % | 506.02/506.02 c | 5361676 | 223 26441 116565 | 1 194494 18 | 0.000 % | 506.02/506.02 c | 5361823 | 223 26441 116565 | 1 194641 18 | 0.000 % | 506.02/506.02 c | 5362513 | 223 26441 116565 | 1 195331 18 | 0.000 % | 506.02/506.02 c | 5366840 | 223 26441 116565 | 1 199658 18 | 0.000 % | 506.02/506.02 c | 5374286 | 223 26441 116565 | 1 207104 18 | 0.000 % | 506.02/506.02 c | 5390362 | 223 26441 116565 | 1 223180 19 | 0.000 % | 506.02/506.02 c | 5406887 | 223 26441 116565 | 1 239705 19 | 0.000 % | 506.02/506.02 c | 5406987 | 223 26441 116565 | 1 239805 19 | 0.000 % | 506.02/506.02 c | 5408945 | 223 26441 116565 | 1 241763 19 | 0.000 % | 506.02/506.02 c | 5409045 | 223 26441 116565 | 1 241863 19 | 0.000 % | 506.02/506.02 c | 5417015 | 223 26441 116565 | 1 249833 19 | 0.000 % | 506.02/506.02 c | 5418136 | 223 26441 116565 | 1 250954 19 | 0.000 % | 506.02/506.02 c | 5448207 | 223 26441 116565 | 1 281025 20 | 0.000 % | 574.00/574.05 c | 5458236 | 223 26441 116565 | 1 291054 20 | 0.000 % | 574.00/574.05 c | 5458961 | 223 26441 116565 | 1 291779 20 | 0.000 % | 574.00/574.05 c | 5495846 | 223 26441 116565 | 1 328664 20 | 0.000 % | 574.00/574.05 c | 5504083 | 223 26441 116565 | 1 171697 17 | 0.000 % | 574.00/574.05 c | 5504255 | 223 26441 116565 | 1 171869 17 | 0.000 % | 574.00/574.05 c | 5504582 | 223 26441 116565 | 1 172196 17 | 0.000 % | 574.00/574.05 c | 5504695 | 223 26441 116565 | 1 172309 17 | 0.000 % | 574.00/574.05 c | 5504811 | 223 26441 116565 | 1 172425 17 | 0.000 % | 574.00/574.05 c | 5504911 | 223 26441 116565 | 1 172525 17 | 0.000 % | 574.00/574.05 c | 5515134 | 223 26441 116565 | 1 182748 18 | 0.000 % | 574.00/574.05 c | 5516256 | 223 26441 116565 | 1 183870 18 | 0.000 % | 574.00/574.05 c | 5517133 | 223 26441 116565 | 1 184747 18 | 0.000 % | 574.00/574.05 c | 5518598 | 223 26441 116565 | 1 186212 18 | 0.000 % | 574.00/574.05 c | 5521167 | 223 26441 116565 | 1 188781 18 | 0.000 % | 574.00/574.05 c | 5565367 | 223 26441 116565 | 1 232981 19 | 0.000 % | 574.00/574.05 c | 5565468 | 223 26441 116565 | 1 233082 19 | 0.000 % | 574.00/574.05 c | 5566483 | 223 26441 116565 | 1 234097 19 | 0.000 % | 574.00/574.05 c | 5566893 | 223 26441 116565 | 1 234507 19 | 0.000 % | 574.00/574.05 c | 5571015 | 223 26441 116565 | 1 238629 19 | 0.000 % | 574.00/574.05 c | 5571413 | 223 26441 116565 | 1 239027 19 | 0.000 % | 574.00/574.05 c | 5578533 | 223 26441 116565 | 1 246147 19 | 0.000 % | 574.00/574.05 c | 5578858 | 223 26441 116565 | 1 246472 19 | 0.000 % | 574.00/574.05 c | 5627860 | 223 26441 116565 | 1 295474 20 | 0.000 % | 574.00/574.05 c | 5640096 | 223 26441 116565 | 1 307710 20 | 0.000 % | 574.00/574.05 c | 5643966 | 223 26441 116565 | 1 311580 20 | 0.000 % | 574.00/574.05 c | 5680871 | 223 26441 116565 | 1 180684 17 | 0.000 % | 574.00/574.05 c | 5716939 | 223 26441 116565 | 1 216752 18 | 0.000 % | 574.00/574.05 c | 5721811 | 223 26441 116565 | 1 221624 18 | 0.000 % | 574.00/574.05 c | 5750098 | 223 26441 116565 | 1 249911 19 | 0.000 % | 574.00/574.05 c | 5806115 | 223 26441 116565 | 1 305928 19 | 0.000 % | 574.00/574.05 c | 5812923 | 223 26441 116565 | 1 312736 19 | 0.000 % | 574.00/574.05 c | 5813024 | 223 26441 116565 | 1 312837 19 | 0.000 % | 574.00/574.05 c | 5819685 | 223 26441 116565 | 1 319498 19 | 0.000 % | 574.00/574.05 c | 5833074 | 223 26441 116565 | 1 332887 20 | 0.000 % | 574.00/574.05 c | 5856359 | 223 26441 116565 | 1 185776 17 | 0.000 % | 574.00/574.05 c | 5866465 | 223 26441 116565 | 1 195882 17 | 0.000 % | 574.00/574.05 c | 5867745 | 223 26441 116565 | 1 197162 18 | 0.000 % | 574.00/574.05 c | 5868871 | 223 26441 116565 | 1 198288 18 | 0.000 % | 574.00/574.05 c | 5870516 | 223 26441 116565 | 1 199933 18 | 0.000 % | 574.00/574.05 c | 5872187 | 223 26441 116565 | 1 201604 18 | 0.000 % | 574.00/574.05 c | 5872287 | 223 26441 116565 | 1 201704 18 | 0.000 % | 574.00/574.05 c | 5903132 | 223 26441 116565 | 1 232549 18 | 0.000 % | 574.00/574.05 c | 5919836 | 223 26441 116565 | 1 249253 19 | 0.000 % | 574.00/574.05 c | 5929120 | 223 26441 116565 | 1 258537 19 | 0.000 % | 574.00/574.05 c | 5936106 | 223 26441 116565 | 1 265523 19 | 0.000 % | 574.00/574.05 c | 5936936 | 223 26441 116565 | 1 266353 19 | 0.000 % | 574.00/574.05 c | 5961654 | 223 26441 116565 | 1 291071 19 | 0.000 % | 574.00/574.05 c | 5972170 | 223 26441 116565 | 1 301587 20 | 0.000 % | 574.00/574.05 c | 5995401 | 223 26441 116565 | 1 324818 20 | 0.000 % | 574.00/574.05 c | 6007809 | 223 26441 116565 | 1 337226 20 | 0.000 % | 620.29/620.38 c | 6009694 | 223 26441 116565 | 1 339111 20 | 0.000 % | 620.29/620.38 c | 6013974 | 223 26441 116565 | 1 343391 20 | 0.000 % | 620.29/620.38 c | 6029039 | 223 26441 116565 | 1 185455 17 | 0.000 % | 620.29/620.38 c | 6030321 | 223 26441 116565 | 1 186737 17 | 0.000 % | 620.29/620.38 c | 6034404 | 223 26441 116565 | 1 190820 17 | 0.000 % | 620.29/620.38 c | 6035067 | 223 26441 116565 | 1 191483 17 | 0.000 % | 620.29/620.38 c | 6047237 | 223 26441 116565 | 1 203653 18 | 0.000 % | 620.29/620.38 c | 6047680 | 223 26441 116565 | 1 204096 18 | 0.000 % | 620.29/620.38 c | 6047781 | 223 26441 116565 | 1 204197 18 | 0.000 % | 620.29/620.38 c | 6050555 | 223 26441 116565 | 1 206971 18 | 0.000 % | 620.29/620.38 c | 6056610 | 223 26441 116565 | 1 213026 18 | 0.000 % | 620.29/620.38 c | 6068562 | 223 26441 116565 | 1 224978 18 | 0.000 % | 620.29/620.38 c | 6138231 | 223 26441 116565 | 1 294647 19 | 0.000 % | 620.29/620.38 c | 6138643 | 223 26441 116565 | 1 295059 19 | 0.000 % | 620.29/620.38 c | 6141230 | 223 26441 116565 | 1 297646 19 | 0.000 % | 620.29/620.38 c | 6142949 | 223 26441 116565 | 1 299365 19 | 0.000 % | 620.29/620.38 c | 6190374 | 223 26441 116565 | 1 346790 20 | 0.000 % | 620.29/620.38 c | 6190474 | 223 26441 116565 | 1 346890 20 | 0.000 % | 620.29/620.38 c | 6196909 | 223 26441 116565 | 1 177724 17 | 0.000 % | 620.29/620.38 c | 6203095 | 223 26441 116565 | 1 183910 17 | 0.000 % | 620.29/620.38 c | 6203449 | 223 26441 116565 | 1 184264 17 | 0.000 % | 620.29/620.38 c | 6203549 | 223 26441 116565 | 1 184364 17 | 0.000 % | 620.29/620.38 c | 6203649 | 223 26441 116565 | 1 184464 17 | 0.000 % | 620.29/620.38 c | 6208763 | 223 26441 116565 | 1 189578 17 | 0.000 % | 620.29/620.38 c | 6208863 | 223 26441 116565 | 1 189678 17 | 0.000 % | 620.29/620.38 c | 6209130 | 223 26441 116565 | 1 189945 17 | 0.000 % | 620.29/620.38 c | 6212226 | 223 26441 116565 | 1 193041 17 | 0.000 % | 620.29/620.38 c | 6216556 | 223 26441 116565 | 1 197371 17 | 0.000 % | 620.29/620.38 c | 6227933 | 223 26441 116565 | 1 208748 18 | 0.000 % | 620.29/620.38 c | 6232570 | 223 26441 116565 | 1 213385 18 | 0.000 % | 620.29/620.38 c | 6246882 | 223 26441 116565 | 1 227697 18 | 0.000 % | 620.29/620.38 c | 6249674 | 223 26441 116565 | 1 230489 18 | 0.000 % | 620.29/620.38 c | 6250608 | 223 26441 116565 | 1 231423 18 | 0.000 % | 620.29/620.38 c | 6250708 | 223 26441 116565 | 1 231523 18 | 0.000 % | 620.29/620.38 c | 6250989 | 223 26441 116565 | 1 231804 18 | 0.000 % | 620.29/620.38 c | 6256513 | 223 26441 116565 | 1 237328 18 | 0.000 % | 620.29/620.38 c | 6257167 | 223 26441 116565 | 1 237982 18 | 0.000 % | 620.29/620.38 c | 6275005 | 223 26441 116565 | 1 255820 19 | 0.000 % | 620.29/620.38 c | 6275105 | 223 26441 116565 | 1 255920 19 | 0.000 % | 620.29/620.38 c | 6275207 | 223 26441 116565 | 1 256022 19 | 0.000 % | 620.29/620.38 c | 6275768 | 223 26441 116565 | 1 256583 19 | 0.000 % | 620.29/620.38 c | 6276026 | 223 26441 116565 | 1 256841 19 | 0.000 % | 620.29/620.38 c | 6282906 | 223 26441 116565 | 1 263721 19 | 0.000 % | 620.29/620.38 c | 6297850 | 223 26441 116565 | 1 278665 19 | 0.000 % | 620.29/620.38 c | 6310122 | 223 26441 116565 | 1 290937 19 | 0.000 % | 620.29/620.38 c | 6314741 | 223 26441 116565 | 1 295556 19 | 0.000 % | 620.29/620.38 c | 6314841 | 223 26441 116565 | 1 295656 19 | 0.000 % | 620.29/620.38 c | 6375504 | 223 26441 116565 | 1 356319 20 | 0.000 % | 620.29/620.38 c | 6377357 | 223 26441 116565 | 1 179973 17 | 0.000 % | 620.29/620.38 c | 6377458 | 223 26441 116565 | 1 180074 17 | 0.000 % | 676.00/676.06 c | 6382992 | 223 26441 116565 | 1 185608 17 | 0.000 % | 676.00/676.06 c | 6386129 | 223 26441 116565 | 1 188745 17 | 0.000 % | 676.00/676.06 c | 6396898 | 223 26441 116565 | 1 199514 17 | 0.000 % | 676.00/676.06 c | 6397726 | 223 26441 116565 | 1 200342 17 | 0.000 % | 676.00/676.06 c | 6437762 | 223 26441 116565 | 1 240378 18 | 0.000 % | 676.00/676.06 c | 6465151 | 223 26441 116565 | 1 267767 19 | 0.000 % | 676.00/676.06 c | 6467641 | 223 26441 116565 | 1 270257 19 | 0.000 % | 676.00/676.06 c | 6470991 | 223 26441 116565 | 1 273607 19 | 0.000 % | 676.00/676.06 c | 6477276 | 223 26441 116565 | 1 279892 19 | 0.000 % | 676.00/676.06 c | 6500569 | 223 26441 116565 | 1 303185 19 | 0.000 % | 676.00/676.06 c | 6502609 | 223 26441 116565 | 1 305225 19 | 0.000 % | 676.00/676.06 c | 6502710 | 223 26441 116565 | 1 305326 19 | 0.000 % | 676.00/676.06 c | 6503411 | 223 26441 116565 | 1 306027 19 | 0.000 % | 676.00/676.06 c | 6514522 | 223 26441 116565 | 1 317138 19 | 0.000 % | 676.00/676.06 c | 6555534 | 223 26441 116565 | 1 358150 20 | 0.000 % | 676.00/676.06 c | 6563708 | 223 26441 116565 | 1 185518 17 | 0.000 % | 676.00/676.06 c | 6567283 | 223 26441 116565 | 1 189093 17 | 0.000 % | 676.00/676.06 c | 6567383 | 223 26441 116565 | 1 189193 17 | 0.000 % | 676.00/676.06 c | 6567547 | 223 26441 116565 | 1 189357 17 | 0.000 % | 676.00/676.06 c | 6569419 | 223 26441 116565 | 1 191229 17 | 0.000 % | 676.00/676.06 c | 6572047 | 223 26441 116565 | 1 193857 17 | 0.000 % | 676.00/676.06 c | 6606745 | 223 26441 116565 | 1 228555 18 | 0.000 % | 676.00/676.06 c | 6617161 | 223 26441 116565 | 1 238971 18 | 0.000 % | 676.00/676.06 c | 6617866 | 223 26441 116565 | 1 239676 18 | 0.000 % | 676.00/676.06 c | 6618328 | 223 26441 116565 | 1 240138 18 | 0.000 % | 676.00/676.06 c | 6618430 | 223 26441 116565 | 1 240240 18 | 0.000 % | 676.00/676.06 c | 6631992 | 223 26441 116565 | 1 253802 19 | 0.000 % | 676.00/676.06 c | 6634562 | 223 26441 116565 | 1 256372 19 | 0.000 % | 676.00/676.06 c | 6634799 | 223 26441 116565 | 1 256609 19 | 0.000 % | 676.00/676.06 c | 6635472 | 223 26441 116565 | 1 257282 19 | 0.000 % | 676.00/676.06 c | 6656557 | 223 26441 116565 | 1 278367 19 | 0.000 % | 676.00/676.06 c | 6656661 | 223 26441 116565 | 1 278471 19 | 0.000 % | 676.00/676.06 c | 6669455 | 223 26441 116565 | 1 291265 19 | 0.000 % | 676.00/676.06 c | 6669555 | 223 26441 116565 | 1 291365 19 | 0.000 % | 676.00/676.06 c | 6669687 | 223 26441 116565 | 1 291497 19 | 0.000 % | 676.00/676.06 c | 6673345 | 223 26441 116565 | 1 295155 19 | 0.000 % | 676.00/676.06 c | 6674463 | 223 26441 116565 | 1 296273 19 | 0.000 % | 676.00/676.06 c | 6688188 | 223 26441 116565 | 1 309998 20 | 0.000 % | 676.00/676.06 c | 6688735 | 223 26441 116565 | 1 310545 20 | 0.000 % | 676.00/676.06 c | 6689736 | 223 26441 116565 | 1 311546 20 | 0.000 % | 676.00/676.06 c | 6711394 | 223 26441 116565 | 1 333204 20 | 0.000 % | 676.00/676.06 c | 6718730 | 223 26441 116565 | 1 340540 20 | 0.000 % | 676.00/676.06 c | 6746237 | 223 26441 116565 | 1 184654 17 | 0.000 % | 676.00/676.06 c | 6751930 | 223 26441 116565 | 1 190347 17 | 0.000 % | 676.00/676.06 c | 6754245 | 223 26441 116565 | 1 192662 17 | 0.000 % | 676.00/676.06 c | 6766277 | 223 26441 116565 | 1 204694 17 | 0.000 % | 676.00/676.06 c | 6766377 | 223 26441 116565 | 1 204794 17 | 0.000 % | 676.00/676.06 c | 6780992 | 223 26441 116565 | 1 219409 18 | 0.000 % | 676.00/676.06 c | 6808883 | 223 26441 116565 | 1 247300 18 | 0.000 % | 676.00/676.06 c | 6824235 | 223 26441 116565 | 1 262652 19 | 0.000 % | 748.29/748.38 c | 6857691 | 223 26441 116565 | 1 296108 19 | 0.000 % | 748.29/748.38 c | 6869429 | 223 26441 116565 | 1 307846 19 | 0.000 % | 748.29/748.38 c | 6872128 | 223 26441 116565 | 1 310545 19 | 0.000 % | 748.29/748.38 c | 6876761 | 223 26441 116565 | 1 315178 19 | 0.000 % | 748.29/748.38 c | 6877031 | 223 26441 116565 | 1 315448 19 | 0.000 % | 748.29/748.38 c | 6877161 | 223 26441 116565 | 1 315578 19 | 0.000 % | 748.29/748.38 c | 6878567 | 223 26441 116565 | 1 316984 19 | 0.000 % | 748.29/748.38 c | 6882400 | 223 26441 116565 | 1 320817 19 | 0.000 % | 748.29/748.38 c | 6882855 | 223 26441 116565 | 1 321272 19 | 0.000 % | 748.29/748.38 c | 6885741 | 223 26441 116565 | 1 324158 20 | 0.000 % | 748.29/748.38 c | 6885841 | 223 26441 116565 | 1 324258 20 | 0.000 % | 748.29/748.38 c | 6886081 | 223 26441 116565 | 1 324498 20 | 0.000 % | 748.29/748.38 c | 6886181 | 223 26441 116565 | 1 324598 20 | 0.000 % | 748.29/748.38 c | 6887252 | 223 26441 116565 | 1 325669 20 | 0.000 % | 748.29/748.38 c | 6887485 | 223 26441 116565 | 1 325902 20 | 0.000 % | 748.29/748.38 c | 6887585 | 223 26441 116565 | 1 326002 20 | 0.000 % | 748.29/748.38 c | 6908419 | 223 26441 116565 | 1 346836 20 | 0.000 % | 748.29/748.38 c | 6954280 | 223 26441 116565 | 1 206695 17 | 0.000 % | 748.29/748.38 c | 6956114 | 223 26441 116565 | 1 208529 17 | 0.000 % | 748.29/748.38 c | 6981166 | 223 26441 116565 | 1 233581 18 | 0.000 % | 748.29/748.38 c | 6995778 | 223 26441 116565 | 1 248193 18 | 0.000 % | 748.29/748.38 c | 7009290 | 223 26441 116565 | 1 261705 18 | 0.000 % | 748.29/748.38 c | 7009390 | 223 26441 116565 | 1 261805 18 | 0.000 % | 748.29/748.38 c | 7017623 | 223 26441 116565 | 1 270038 18 | 0.000 % | 748.29/748.38 c | 7046516 | 223 26441 116565 | 1 298931 19 | 0.000 % | 748.29/748.38 c | 7056041 | 223 26441 116565 | 1 308456 19 | 0.000 % | 748.29/748.38 c | 7072220 | 223 26441 116565 | 1 324635 19 | 0.000 % | 748.29/748.38 c | 7079870 | 223 26441 116565 | 1 332285 19 | 0.000 % | 748.29/748.38 c | 7080505 | 223 26441 116565 | 1 332920 19 | 0.000 % | 748.29/748.38 c | 7084779 | 223 26441 116565 | 1 337194 19 | 0.000 % | 748.29/748.38 c | 7088445 | 223 26441 116565 | 1 340860 19 | 0.000 % | 748.29/748.38 c | 7163946 | 223 26441 116565 | 1 227762 17 | 0.000 % | 748.29/748.38 c | 7168618 | 223 26441 116565 | 1 232434 17 | 0.000 % | 748.29/748.38 c | 7169009 | 223 26441 116565 | 1 232825 17 | 0.000 % | 748.29/748.38 c | 7170693 | 223 26441 116565 | 1 234509 17 | 0.000 % | 748.29/748.38 c | 7227011 | 223 26441 116565 | 1 290827 18 | 0.000 % | 748.29/748.38 c | 7228635 | 223 26441 116565 | 1 292451 18 | 0.000 % | 748.29/748.38 c | 7308449 | 223 26441 116565 | 1 372265 19 | 0.000 % | 748.29/748.38 c | 7312358 | 223 26441 116565 | 1 376174 19 | 0.000 % | 748.29/748.38 c | 7331351 | 223 26441 116565 | 1 203967 17 | 0.000 % | 748.29/748.38 c | 7346629 | 223 26441 116565 | 1 219245 17 | 0.000 % | 748.29/748.38 c | 7348161 | 223 26441 116565 | 1 220777 17 | 0.000 % | 748.29/748.38 c | 7353132 | 223 26441 116565 | 1 225748 17 | 0.000 % | 748.29/748.38 c | 7353325 | 223 26441 116565 | 1 225941 17 | 0.000 % | 748.29/748.38 c | 7354359 | 223 26441 116565 | 1 226975 18 | 0.000 % | 748.29/748.38 c | 7354459 | 223 26441 116565 | 1 227075 18 | 0.000 % | 748.29/748.38 c | 7363253 | 223 26441 116565 | 1 235869 18 | 0.000 % | 748.29/748.38 c | 7369596 | 223 26441 116565 | 1 242212 18 | 0.000 % | 748.29/748.38 c | 7377697 | 223 26441 116565 | 1 250313 18 | 0.000 % | 748.29/748.38 c | 7395521 | 223 26441 116565 | 1 268137 18 | 0.000 % | 810.09/810.16 c | 7397430 | 223 26441 116565 | 1 270046 18 | 0.000 % | 810.09/810.16 c | 7397532 | 223 26441 116565 | 1 270148 18 | 0.000 % | 810.09/810.16 c | 7403325 | 223 26441 116565 | 1 275941 19 | 0.000 % | 810.09/810.16 c | 7403425 | 223 26441 116565 | 1 276041 19 | 0.000 % | 810.09/810.16 c | 7439453 | 223 26441 116565 | 1 312069 19 | 0.000 % | 810.09/810.16 c | 7445696 | 223 26441 116565 | 1 318312 19 | 0.000 % | 810.09/810.16 c | 7455829 | 223 26441 116565 | 1 328445 19 | 0.000 % | 810.09/810.16 c | 7465801 | 223 26441 116565 | 1 338417 19 | 0.000 % | 810.09/810.16 c | 7479430 | 223 26441 116565 | 1 352046 19 | 0.000 % | 810.09/810.16 c | 7492987 | 223 26441 116565 | 1 365603 20 | 0.000 % | 810.09/810.16 c | 7493163 | 223 26441 116565 | 1 365779 20 | 0.000 % | 810.09/810.16 c | 7503619 | 223 26441 116565 | 1 376235 20 | 0.000 % | 810.09/810.16 c | 7504007 | 223 26441 116565 | 1 376623 20 | 0.000 % | 810.09/810.16 c | 7505815 | 223 26441 116565 | 1 378431 20 | 0.000 % | 810.09/810.16 c | 7525275 | 223 26441 116565 | 1 204092 17 | 0.000 % | 810.09/810.16 c | 7526201 | 223 26441 116565 | 1 205018 17 | 0.000 % | 810.09/810.16 c | 7528449 | 223 26441 116565 | 1 207266 17 | 0.000 % | 810.09/810.16 c | 7530390 | 223 26441 116565 | 1 209207 17 | 0.000 % | 810.09/810.16 c | 7543883 | 223 26441 116565 | 1 222700 17 | 0.000 % | 810.09/810.16 c | 7544078 | 223 26441 116565 | 1 222895 17 | 0.000 % | 810.09/810.16 c | 7546276 | 223 26441 116565 | 1 225093 17 | 0.000 % | 810.09/810.16 c | 7565465 | 223 26441 116565 | 1 244282 18 | 0.000 % | 810.09/810.16 c | 7572568 | 223 26441 116565 | 1 251385 18 | 0.000 % | 810.09/810.16 c | 7581890 | 223 26441 116565 | 1 260707 18 | 0.000 % | 810.09/810.16 c | 7583811 | 223 26441 116565 | 1 262628 18 | 0.000 % | 810.09/810.16 c | 7617754 | 223 26441 116565 | 1 296571 19 | 0.000 % | 810.09/810.16 c | 7618133 | 223 26441 116565 | 1 296950 19 | 0.000 % | 810.09/810.16 c | 7618464 | 223 26441 116565 | 1 297281 19 | 0.000 % | 810.09/810.16 c | 7626160 | 223 26441 116565 | 1 304977 19 | 0.000 % | 810.09/810.16 c | 7626260 | 223 26441 116565 | 1 305077 19 | 0.000 % | 810.09/810.16 c | 7692542 | 223 26441 116565 | 1 371359 20 | 0.000 % | 810.09/810.16 c | 7696735 | 223 26441 116565 | 1 375552 20 | 0.000 % | 810.09/810.16 c | 7696835 | 223 26441 116565 | 1 375652 20 | 0.000 % | 810.09/810.16 c | 7696941 | 223 26441 116565 | 1 375758 20 | 0.000 % | 810.09/810.16 c | 7697504 | 223 26441 116565 | 1 376321 20 | 0.000 % | 810.09/810.16 c | 7773315 | 223 26441 116565 | 1 255740 18 | 0.000 % | 810.09/810.16 c | 7784773 | 223 26441 116565 | 1 267198 18 | 0.000 % | 810.09/810.16 c | 7785516 | 223 26441 116565 | 1 267941 18 | 0.000 % | 810.09/810.16 c | 7798698 | 223 26441 116565 | 1 281123 18 | 0.000 % | 810.09/810.16 c | 7804940 | 223 26441 116565 | 1 287365 18 | 0.000 % | 810.09/810.16 c | 7813152 | 223 26441 116565 | 1 295577 19 | 0.000 % | 810.09/810.16 c | 7814309 | 223 26441 116565 | 1 296734 19 | 0.000 % | 810.09/810.16 c | 7814707 | 223 26441 116565 | 1 297132 19 | 0.000 % | 810.09/810.16 c | 7815389 | 223 26441 116565 | 1 297814 19 | 0.000 % | 810.09/810.16 c | 7816885 | 223 26441 116565 | 1 299310 19 | 0.000 % | 810.09/810.16 c | 7818225 | 223 26441 116565 | 1 300650 19 | 0.000 % | 810.09/810.16 c | 7828105 | 223 26441 116565 | 1 310530 19 | 0.000 % | 810.09/810.16 c | 7851408 | 223 26441 116565 | 1 333833 19 | 0.000 % | 810.09/810.16 c | 7853230 | 223 26441 116565 | 1 335655 19 | 0.000 % | 810.09/810.16 c | 7854405 | 223 26441 116565 | 1 336830 19 | 0.000 % | 877.10/877.16 c | 7858393 | 223 26441 116565 | 1 340818 19 | 0.000 % | 877.10/877.16 c | 7863617 | 223 26441 116565 | 1 346042 19 | 0.000 % | 877.10/877.16 c | 7865031 | 223 26441 116565 | 1 347456 19 | 0.000 % | 877.10/877.16 c | 7866526 | 223 26441 116565 | 1 348951 19 | 0.000 % | 877.10/877.16 c | 7870639 | 223 26441 116565 | 1 353064 19 | 0.000 % | 877.10/877.16 c | 7871682 | 223 26441 116565 | 1 354107 19 | 0.000 % | 877.10/877.16 c | 7873959 | 223 26441 116565 | 1 356384 19 | 0.000 % | 877.10/877.16 c | 7875631 | 223 26441 116565 | 1 358056 19 | 0.000 % | 877.10/877.16 c | 7883750 | 223 26441 116565 | 1 366175 19 | 0.000 % | 877.10/877.16 c | 7883909 | 223 26441 116565 | 1 366334 19 | 0.000 % | 877.10/877.16 c | 7884009 | 223 26441 116565 | 1 366434 19 | 0.000 % | 877.10/877.16 c | 7904188 | 223 26441 116565 | 1 386613 20 | 0.000 % | 877.10/877.16 c | 7909042 | 223 26441 116565 | 1 391467 20 | 0.000 % | 877.10/877.16 c | 7910808 | 223 26441 116565 | 1 393233 20 | 0.000 % | 877.10/877.16 c | 7910908 | 223 26441 116565 | 1 393333 20 | 0.000 % | 877.10/877.16 c | 7912404 | 223 26441 116565 | 1 394829 20 | 0.000 % | 877.10/877.16 c | 7933308 | 223 26441 116565 | 1 216731 17 | 0.000 % | 877.10/877.16 c | 7940725 | 223 26441 116565 | 1 224148 17 | 0.000 % | 877.10/877.16 c | 7943421 | 223 26441 116565 | 1 226844 17 | 0.000 % | 877.10/877.16 c | 7944572 | 223 26441 116565 | 1 227995 17 | 0.000 % | 877.10/877.16 c | 7956540 | 223 26441 116565 | 1 239963 18 | 0.000 % | 877.10/877.16 c | 7962847 | 223 26441 116565 | 1 246270 18 | 0.000 % | 877.10/877.16 c | 7963462 | 223 26441 116565 | 1 246885 18 | 0.000 % | 877.10/877.16 c | 7967050 | 223 26441 116565 | 1 250473 18 | 0.000 % | 877.10/877.16 c | 7970888 | 223 26441 116565 | 1 254311 18 | 0.000 % | 877.10/877.16 c | 7971474 | 223 26441 116565 | 1 254897 18 | 0.000 % | 877.10/877.16 c | 7971575 | 223 26441 116565 | 1 254998 18 | 0.000 % | 877.10/877.16 c | 7971675 | 223 26441 116565 | 1 255098 18 | 0.000 % | 877.10/877.16 c | 7997650 | 223 26441 116565 | 1 281073 18 | 0.000 % | 877.10/877.16 c | 8076574 | 223 26441 116565 | 1 359997 19 | 0.000 % | 877.10/877.16 c | 8078915 | 223 26441 116565 | 1 362338 19 | 0.000 % | 877.10/877.16 c | 8128217 | 223 26441 116565 | 1 210032 16 | 0.000 % | 877.10/877.16 c | 8131295 | 223 26441 116565 | 1 213110 17 | 0.000 % | 877.10/877.16 c | 8134888 | 223 26441 116565 | 1 216703 17 | 0.000 % | 877.10/877.16 c | 8150432 | 223 26441 116565 | 1 232247 17 | 0.000 % | 877.10/877.16 c | 8164134 | 223 26441 116565 | 1 245949 17 | 0.000 % | 877.10/877.16 c | 8165726 | 223 26441 116565 | 1 247541 17 | 0.000 % | 877.10/877.16 c | 8192613 | 223 26441 116565 | 1 274428 18 | 0.000 % | 877.10/877.16 c | 8197722 | 223 26441 116565 | 1 279537 18 | 0.000 % | 877.10/877.16 c | 8212293 | 223 26441 116565 | 1 294108 18 | 0.000 % | 877.10/877.16 c | 8214189 | 223 26441 116565 | 1 296004 18 | 0.000 % | 877.10/877.16 c | 8214295 | 223 26441 116565 | 1 296110 18 | 0.000 % | 877.10/877.16 c | 8226068 | 223 26441 116565 | 1 307883 18 | 0.000 % | 877.10/877.16 c | 8239439 | 223 26441 116565 | 1 321254 19 | 0.000 % | 877.10/877.16 c | 8341646 | 223 26441 116565 | 1 219263 17 | 0.000 % | 877.10/877.16 c | 8341746 | 223 26441 116565 | 1 219363 17 | 0.000 % | 877.10/877.16 c | 8347611 | 223 26441 116565 | 1 225228 17 | 0.000 % | 877.10/877.16 c | 8347784 | 223 26441 116565 | 1 225401 17 | 0.000 % | 877.10/877.16 c | 8347901 | 223 26441 116565 | 1 225518 17 | 0.000 % | 877.10/877.16 c | 8349210 | 223 26441 116565 | 1 226827 17 | 0.000 % | 932.10/932.13 c | 8349311 | 223 26441 116565 | 1 226928 17 | 0.000 % | 932.10/932.13 c | 8350717 | 223 26441 116565 | 1 228334 17 | 0.000 % | 932.10/932.13 c | 8354582 | 223 26441 116565 | 1 232199 17 | 0.000 % | 932.10/932.13 c | 8355454 | 223 26441 116565 | 1 233071 17 | 0.000 % | 932.10/932.13 c | 8367004 | 223 26441 116565 | 1 244621 18 | 0.000 % | 932.10/932.13 c | 8367104 | 223 26441 116565 | 1 244721 18 | 0.000 % | 932.10/932.13 c | 8387561 | 223 26441 116565 | 1 265178 18 | 0.000 % | 932.10/932.13 c | 8396567 | 223 26441 116565 | 1 274184 18 | 0.000 % | 932.10/932.13 c | 8396667 | 223 26441 116565 | 1 274284 18 | 0.000 % | 932.10/932.13 c | 8470024 | 223 26441 116565 | 1 347641 19 | 0.000 % | 932.10/932.13 c | 8486578 | 223 26441 116565 | 1 364195 19 | 0.000 % | 932.10/932.13 c | 8498028 | 223 26441 116565 | 1 375645 19 | 0.000 % | 932.10/932.13 c | 8508067 | 223 26441 116565 | 1 385684 20 | 0.000 % | 932.10/932.13 c | 8508613 | 223 26441 116565 | 1 386230 20 | 0.000 % | 932.10/932.13 c | 8511950 | 223 26441 116565 | 1 389567 20 | 0.000 % | 932.10/932.13 c | 8518662 | 223 26441 116565 | 1 396279 20 | 0.000 % | 932.10/932.13 c | 8518762 | 223 26441 116565 | 1 396379 20 | 0.000 % | 932.10/932.13 c | 8519861 | 223 26441 116565 | 1 397478 20 | 0.000 % | 932.10/932.13 c | 8520757 | 223 26441 116565 | 1 398374 20 | 0.000 % | 932.10/932.13 c | 8520857 | 223 26441 116565 | 1 398474 20 | 0.000 % | 932.10/932.13 c | 8529812 | 223 26441 116565 | 1 407429 20 | 0.000 % | 932.10/932.13 c | 8553839 | 223 26441 116565 | 1 224662 17 | 0.000 % | 932.10/932.13 c | 8553939 | 223 26441 116565 | 1 224762 17 | 0.000 % | 932.10/932.13 c | 8554039 | 223 26441 116565 | 1 224862 17 | 0.000 % | 932.10/932.13 c | 8565609 | 223 26441 116565 | 1 236432 17 | 0.000 % | 932.10/932.13 c | 8574052 | 223 26441 116565 | 1 244875 17 | 0.000 % | 932.10/932.13 c | 8585525 | 223 26441 116565 | 1 256348 18 | 0.000 % | 932.10/932.13 c | 8585628 | 223 26441 116565 | 1 256451 18 | 0.000 % | 932.10/932.13 c | 8586784 | 223 26441 116565 | 1 257607 18 | 0.000 % | 932.10/932.13 c | 8600591 | 223 26441 116565 | 1 271414 18 | 0.000 % | 932.10/932.13 c | 8604903 | 223 26441 116565 | 1 275726 18 | 0.000 % | 932.10/932.13 c | 8607606 | 223 26441 116565 | 1 278429 18 | 0.000 % | 932.10/932.13 c | 8624572 | 223 26441 116565 | 1 295395 18 | 0.000 % | 932.10/932.13 c | 8629863 | 223 26441 116565 | 1 300686 18 | 0.000 % | 932.10/932.13 c | 8637035 | 223 26441 116565 | 1 307858 19 | 0.000 % | 932.10/932.13 c | 8637136 | 223 26441 116565 | 1 307959 19 | 0.000 % | 932.10/932.13 c | 8637402 | 223 26441 116565 | 1 308225 19 | 0.000 % | 932.10/932.13 c | 8637622 | 223 26441 116565 | 1 308445 19 | 0.000 % | 932.10/932.13 c | 8642291 | 223 26441 116565 | 1 313114 19 | 0.000 % | 932.10/932.13 c | 8673697 | 223 26441 116565 | 1 344520 19 | 0.000 % | 932.10/932.13 c | 8673797 | 223 26441 116565 | 1 344620 19 | 0.000 % | 932.10/932.13 c | 8681169 | 223 26441 116565 | 1 351992 19 | 0.000 % | 932.10/932.13 c | 8682749 | 223 26441 116565 | 1 353572 19 | 0.000 % | 932.10/932.13 c | 8684814 | 223 26441 116565 | 1 355637 19 | 0.000 % | 932.10/932.13 c | 8687365 | 223 26441 116565 | 1 358188 19 | 0.000 % | 932.10/932.13 c | 8688257 | 223 26441 116565 | 1 359080 19 | 0.000 % | 932.10/932.13 c | 8696167 | 223 26441 116565 | 1 366990 19 | 0.000 % | 932.10/932.13 c | 8697060 | 223 26441 116565 | 1 367883 19 | 0.000 % | 932.10/932.13 c | 8743221 | 223 26441 116565 | 1 414044 19 | 0.000 % | 932.10/932.13 c | 8744665 | 223 26441 116565 | 1 415488 20 | 0.000 % | 1003.80/1003.84 c | 8758387 | 223 26441 116565 | 1 219807 17 | 0.000 % | 1003.80/1003.84 c | 8759440 | 223 26441 116565 | 1 220860 17 | 0.000 % | 1003.80/1003.84 c | 8762023 | 223 26441 116565 | 1 223443 17 | 0.000 % | 1003.80/1003.84 c | 8764031 | 223 26441 116565 | 1 225451 17 | 0.000 % | 1003.80/1003.84 c | 8764131 | 223 26441 116565 | 1 225551 17 | 0.000 % | 1003.80/1003.84 c | 8775828 | 223 26441 116565 | 1 237248 17 | 0.000 % | 1003.80/1003.84 c | 8776537 | 223 26441 116565 | 1 237957 17 | 0.000 % | 1003.80/1003.84 c | 8789844 | 223 26441 116565 | 1 251264 17 | 0.000 % | 1003.80/1003.84 c | 8798141 | 223 26441 116565 | 1 259561 18 | 0.000 % | 1003.80/1003.84 c | 8798327 | 223 26441 116565 | 1 259747 18 | 0.000 % | 1003.80/1003.84 c | 8799322 | 223 26441 116565 | 1 260742 18 | 0.000 % | 1003.80/1003.84 c | 8804164 | 223 26441 116565 | 1 265584 18 | 0.000 % | 1003.80/1003.84 c | 8804838 | 223 26441 116565 | 1 266258 18 | 0.000 % | 1003.80/1003.84 c | 8808632 | 223 26441 116565 | 1 270052 18 | 0.000 % | 1003.80/1003.84 c | 8813955 | 223 26441 116565 | 1 275375 18 | 0.000 % | 1003.80/1003.84 c | 8839023 | 223 26441 116565 | 1 300443 18 | 0.000 % | 1003.80/1003.84 c | 8841088 | 223 26441 116565 | 1 302508 18 | 0.000 % | 1003.80/1003.84 c | 8850562 | 223 26441 116565 | 1 311982 18 | 0.000 % | 1003.80/1003.84 c | 8855038 | 223 26441 116565 | 1 316458 18 | 0.000 % | 1003.80/1003.84 c | 8862740 | 223 26441 116565 | 1 324160 18 | 0.000 % | 1003.80/1003.84 c | 8925665 | 223 26441 116565 | 1 387085 19 | 0.000 % | 1003.80/1003.84 c | 8931051 | 223 26441 116565 | 1 392471 19 | 0.000 % | 1003.80/1003.84 c | 8976482 | 223 26441 116565 | 1 225895 17 | 0.000 % | 1003.80/1003.84 c | 9004766 | 223 26441 116565 | 1 254179 17 | 0.000 % | 1003.80/1003.84 c | 9008658 | 223 26441 116565 | 1 258071 17 | 0.000 % | 1003.80/1003.84 c | 9016134 | 223 26441 116565 | 1 265547 17 | 0.000 % | 1003.80/1003.84 c | 9022747 | 223 26441 116565 | 1 272160 17 | 0.000 % | 1003.80/1003.84 c | 9059520 | 223 26441 116565 | 1 308933 18 | 0.000 % | 1003.80/1003.84 c | 9126370 | 223 26441 116565 | 1 375783 18 | 0.000 % | 1003.80/1003.84 c | 9140621 | 223 26441 116565 | 1 390034 19 | 0.000 % | 1003.80/1003.84 c | 9150395 | 223 26441 116565 | 1 399808 19 | 0.000 % | 1003.80/1003.84 c | 9150693 | 223 26441 116565 | 1 400106 19 | 0.000 % | 1003.80/1003.84 c | 9155782 | 223 26441 116565 | 1 405195 19 | 0.000 % | 1003.80/1003.84 c | 9158143 | 223 26441 116565 | 1 407556 19 | 0.000 % | 1003.80/1003.84 c | 9161560 | 223 26441 116565 | 1 410973 19 | 0.000 % | 1003.80/1003.84 c | 9164718 | 223 26441 116565 | 1 414131 19 | 0.000 % | 1003.80/1003.84 c | 9177811 | 223 26441 116565 | 1 427224 19 | 0.000 % | 1003.80/1003.84 c | 9179454 | 223 26441 116565 | 1 428867 19 | 0.000 % | 1003.80/1003.84 c | 9189413 | 223 26441 116565 | 1 224225 16 | 0.000 % | 1003.80/1003.84 c | 9191292 | 223 26441 116565 | 1 226104 16 | 0.000 % | 1003.80/1003.84 c | 9206106 | 223 26441 116565 | 1 240918 17 | 0.000 % | 1003.80/1003.84 c | 9211403 | 223 26441 116565 | 1 246215 17 | 0.000 % | 1003.80/1003.84 c | 9214798 | 223 26441 116565 | 1 249610 17 | 0.000 % | 1003.80/1003.84 c | 9227678 | 223 26441 116565 | 1 262490 17 | 0.000 % | 1003.80/1003.84 c | 9237719 | 223 26441 116565 | 1 272531 17 | 0.000 % | 1003.80/1003.84 c | 9238239 | 223 26441 116565 | 1 273051 17 | 0.000 % | 1003.80/1003.84 c | 9248292 | 223 26441 116565 | 1 283104 18 | 0.000 % | 1003.80/1003.84 c | 9251740 | 223 26441 116565 | 1 286552 18 | 0.000 % | 1003.80/1003.84 c | 9251915 | 223 26441 116565 | 1 286727 18 | 0.000 % | 1003.80/1003.84 c | 9260687 | 223 26441 116565 | 1 295499 18 | 0.000 % | 1069.22/1069.24 c | 9282709 | 223 26441 116565 | 1 317521 18 | 0.000 % | 1069.22/1069.24 c | 9312155 | 223 26441 116565 | 1 346967 18 | 0.000 % | 1069.22/1069.24 c | 9312255 | 223 26441 116565 | 1 347067 18 | 0.000 % | 1069.22/1069.24 c | 9313825 | 223 26441 116565 | 1 348637 19 | 0.000 % | 1069.22/1069.24 c | 9318780 | 223 26441 116565 | 1 353592 19 | 0.000 % | 1069.22/1069.24 c | 9373620 | 223 26441 116565 | 1 408432 19 | 0.000 % | 1069.22/1069.24 c | 9375735 | 223 26441 116565 | 1 410547 19 | 0.000 % | 1069.22/1069.24 c | 9378048 | 223 26441 116565 | 1 412860 19 | 0.000 % | 1069.22/1069.24 c | 9463228 | 223 26441 116565 | 1 280839 17 | 0.000 % | 1069.22/1069.24 c | 9463938 | 223 26441 116565 | 1 281549 17 | 0.000 % | 1069.22/1069.24 c | 9480831 | 223 26441 116565 | 1 298442 18 | 0.000 % | 1069.22/1069.24 c | 9482259 | 223 26441 116565 | 1 299870 18 | 0.000 % | 1069.22/1069.24 c | 9486060 | 223 26441 116565 | 1 303671 18 | 0.000 % | 1069.22/1069.24 c | 9487518 | 223 26441 116565 | 1 305129 18 | 0.000 % | 1069.22/1069.24 c | 9496781 | 223 26441 116565 | 1 314392 18 | 0.000 % | 1069.22/1069.24 c | 9496894 | 223 26441 116565 | 1 314505 18 | 0.000 % | 1069.22/1069.24 c | 9497101 | 223 26441 116565 | 1 314712 18 | 0.000 % | 1069.22/1069.24 c | 9515552 | 223 26441 116565 | 1 333163 18 | 0.000 % | 1069.22/1069.24 c | 9515776 | 223 26441 116565 | 1 333387 18 | 0.000 % | 1069.22/1069.24 c | 9516026 | 223 26441 116565 | 1 333637 18 | 0.000 % | 1069.22/1069.24 c | 9523220 | 223 26441 116565 | 1 340831 18 | 0.000 % | 1069.22/1069.24 c | 9526413 | 223 26441 116565 | 1 344024 18 | 0.000 % | 1069.22/1069.24 c | 9529203 | 223 26441 116565 | 1 346814 18 | 0.000 % | 1069.22/1069.24 c | 9537650 | 223 26441 116565 | 1 355261 18 | 0.000 % | 1069.22/1069.24 c | 9547030 | 223 26441 116565 | 1 364641 18 | 0.000 % | 1069.22/1069.24 c | 9547151 | 223 26441 116565 | 1 364762 18 | 0.000 % | 1069.22/1069.24 c | 9547327 | 223 26441 116565 | 1 364938 18 | 0.000 % | 1069.22/1069.24 c | 9553122 | 223 26441 116565 | 1 370733 18 | 0.000 % | 1069.22/1069.24 c | 9581810 | 223 26441 116565 | 1 399421 19 | 0.000 % | 1069.22/1069.24 c | 9594983 | 223 26441 116565 | 1 412594 19 | 0.000 % | 1069.22/1069.24 c | 9608126 | 223 26441 116565 | 1 425737 19 | 0.000 % | 1069.22/1069.24 c | 9612445 | 223 26441 116565 | 1 430056 19 | 0.000 % | 1069.22/1069.24 c | 9617185 | 223 26441 116565 | 1 434796 19 | 0.000 % | 1069.22/1069.24 c | 9617285 | 223 26441 116565 | 1 434896 19 | 0.000 % | 1069.22/1069.24 c | 9617753 | 223 26441 116565 | 1 435364 19 | 0.000 % | 1069.22/1069.24 c | 9617856 | 223 26441 116565 | 1 435467 19 | 0.000 % | 1069.22/1069.24 c | 9639827 | 223 26441 116565 | 1 237640 16 | 0.000 % | 1069.22/1069.24 c | 9644388 | 223 26441 116565 | 1 242201 16 | 0.000 % | 1069.22/1069.24 c | 9658707 | 223 26441 116565 | 1 256520 17 | 0.000 % | 1069.22/1069.24 c | 9679576 | 223 26441 116565 | 1 277389 17 | 0.000 % | 1069.22/1069.24 c | 9683213 | 223 26441 116565 | 1 281026 17 | 0.000 % | 1069.22/1069.24 c | 9684058 | 223 26441 116565 | 1 281871 17 | 0.000 % | 1069.22/1069.24 c | 9689518 | 223 26441 116565 | 1 287331 17 | 0.000 % | 1069.22/1069.24 c | 9689618 | 223 26441 116565 | 1 287431 17 | 0.000 % | 1069.22/1069.24 c | 9689718 | 223 26441 116565 | 1 287531 17 | 0.000 % | 1069.22/1069.24 c | 9689881 | 223 26441 116565 | 1 287694 17 | 0.000 % | 1069.22/1069.24 c | 9689981 | 223 26441 116565 | 1 287794 17 | 0.000 % | 1069.22/1069.24 c | 9692315 | 223 26441 116565 | 1 290128 18 | 0.000 % | 1069.22/1069.24 c | 9697782 | 223 26441 116565 | 1 295595 18 | 0.000 % | 1069.22/1069.24 c | 9697978 | 223 26441 116565 | 1 295791 18 | 0.000 % | 1205.72/1205.73 c | 9700923 | 223 26441 116565 | 1 298736 18 | 0.000 % | 1205.72/1205.73 c | 9705828 | 223 26441 116565 | 1 303641 18 | 0.000 % | 1205.72/1205.73 c | 9727820 | 223 26441 116565 | 1 325633 18 | 0.000 % | 1205.72/1205.73 c | 9728231 | 223 26441 116565 | 1 326044 18 | 0.000 % | 1205.72/1205.73 c | 9728574 | 223 26441 116565 | 1 326387 18 | 0.000 % | 1205.72/1205.73 c | 9732276 | 223 26441 116565 | 1 330089 18 | 0.000 % | 1205.72/1205.73 c | 9733103 | 223 26441 116565 | 1 330916 18 | 0.000 % | 1205.72/1205.73 c | 9751845 | 223 26441 116565 | 1 349658 18 | 0.000 % | 1205.72/1205.73 c | 9758655 | 223 26441 116565 | 1 356468 18 | 0.000 % | 1205.72/1205.73 c | 9773399 | 223 26441 116565 | 1 371212 18 | 0.000 % | 1205.72/1205.73 c | 9788317 | 223 26441 116565 | 1 386130 19 | 0.000 % | 1205.72/1205.73 c | 9802678 | 223 26441 116565 | 1 400491 19 | 0.000 % | 1205.72/1205.73 c | 9804522 | 223 26441 116565 | 1 402335 19 | 0.000 % | 1205.72/1205.73 c | 9818769 | 223 26441 116565 | 1 416582 19 | 0.000 % | 1205.72/1205.73 c | 9822786 | 223 26441 116565 | 1 420599 19 | 0.000 % | 1205.72/1205.73 c | 9887550 | 223 26441 116565 | 1 262962 17 | 0.000 % | 1205.72/1205.73 c | 9925595 | 223 26441 116565 | 1 301007 17 | 0.000 % | 1205.72/1205.73 c | 9937130 | 223 26441 116565 | 1 312542 18 | 0.000 % | 1205.72/1205.73 c | 10007318 | 222 26050 115392 | 1 319960 18 | 0.448 % | 1205.72/1205.73 c | 10018101 | 222 26050 115392 | 1 330743 18 | 0.448 % | 1205.72/1205.73 c | 10030196 | 222 26050 115392 | 1 342838 19 | 0.448 % | 1205.72/1205.73 c | 10030411 | 222 26050 115392 | 1 343053 19 | 0.448 % | 1205.72/1205.73 c | 10030511 | 222 26050 115392 | 1 343153 19 | 0.448 % | 1205.72/1205.73 c | 10032755 | 222 26050 115392 | 1 345397 19 | 0.448 % | 1205.72/1205.73 c | 10064610 | 222 26050 115392 | 1 377252 19 | 0.448 % | 1205.72/1205.73 c | 10158453 | 221 26050 115392 | 1 277477 17 | 0.897 % | 1205.72/1205.73 c | 10159045 | 221 26050 115392 | 1 278069 17 | 0.897 % | 1205.72/1205.73 c | 10159145 | 221 26050 115392 | 1 278169 17 | 0.897 % | 1205.72/1205.73 c | 10178774 | 221 26050 115392 | 1 297798 17 | 0.897 % | 1205.72/1205.73 c | 10211795 | 221 26050 115392 | 1 330819 18 | 0.897 % | 1205.72/1205.73 c | 10216756 | 221 25630 114132 | 1 282435 18 | 0.897 % | 1205.72/1205.73 c | 10237300 | 221 25630 114132 | 1 302979 18 | 0.897 % | 1205.72/1205.73 c | 10304202 | 221 25630 114132 | 1 369881 19 | 0.897 % | 1205.72/1205.73 c | 10318580 | 221 25630 114132 | 1 199021 16 | 0.897 % | 1205.72/1205.73 c | 10321514 | 221 25630 114132 | 1 201955 16 | 0.897 % | 1205.72/1205.73 c | 10325965 | 221 25630 114132 | 1 206406 17 | 0.897 % | 1205.72/1205.73 c | 10328077 | 221 25630 114132 | 1 208518 17 | 0.897 % | 1205.72/1205.73 c | 10328177 | 221 25630 114132 | 1 208618 17 | 0.897 % | 1205.72/1205.73 c | 10339994 | 221 25630 114132 | 1 220435 17 | 0.897 % | 1205.72/1205.73 c | 10340095 | 221 25630 114132 | 1 220536 17 | 0.897 % | 1205.72/1205.73 c | 10379990 | 221 25630 114132 | 1 260431 18 | 0.897 % | 1205.72/1205.73 c | 10396337 | 221 25630 114132 | 1 276778 18 | 0.897 % | 1205.72/1205.73 c | 10444749 | 221 25630 114132 | 1 325190 18 | 0.897 % | 1205.72/1205.73 c | 10460133 | 221 25630 114132 | 1 340574 18 | 0.897 % | 1205.72/1205.73 c | 10525705 | 221 25630 114132 | 1 406146 19 | 0.897 % | 1205.72/1205.73 c | 10545859 | 221 25630 114132 | 1 217286 16 | 0.897 % | 1205.72/1205.73 c | 10574295 | 220 25216 112890 | 1 210683 16 | 1.345 % | 1205.72/1205.73 c | 10575488 | 220 25216 112890 | 1 211876 16 | 1.345 % | 1205.72/1205.73 c | 10582306 | 220 25216 112890 | 1 218694 17 | 1.345 % | 1205.72/1205.73 c | 10585625 | 220 25216 112890 | 1 222013 17 | 1.345 % | 1266.12/1266.15 c | 10635080 | 218 25216 112890 | 1 271466 17 | 2.242 % | 1266.12/1266.15 c | 10644972 | 218 25216 112890 | 1 281358 17 | 2.242 % | 1266.12/1266.15 c | 10656160 | 218 25216 112890 | 1 292546 17 | 2.242 % | 1266.12/1266.15 c | 10658466 | 218 25216 112890 | 1 294852 17 | 2.242 % | 1266.12/1266.15 c | 10666071 | 218 25216 112890 | 1 302457 18 | 2.242 % | 1266.12/1266.15 c | 10666260 | 218 25216 112890 | 1 302646 18 | 2.242 % | 1266.12/1266.15 c | 10695936 | 218 25216 112890 | 1 332322 18 | 2.242 % | 1266.12/1266.15 c | 10701991 | 218 24464 110634 | 1 279116 18 | 2.242 % | 1266.12/1266.15 c | 10742162 | 218 24464 110634 | 1 319287 19 | 2.242 % | 1266.12/1266.15 c | 10795761 | 217 24464 110634 | 1 197831 16 | 2.691 % | 1266.12/1266.15 c | 10810094 | 217 24464 110634 | 1 212164 17 | 2.691 % | 1266.12/1266.15 c | 10846304 | 217 24464 110634 | 1 248374 17 | 2.691 % | 1266.12/1266.15 c | 10873297 | 217 24464 110634 | 1 275367 18 | 2.691 % | 1266.12/1266.15 c | 10890664 | 217 24117 109593 | 1 277688 18 | 2.691 % | 1266.12/1266.15 c | 10892043 | 217 24117 109593 | 1 279067 18 | 2.691 % | 1266.12/1266.15 c | 10905816 | 215 24117 109593 | 1 292838 18 | 3.587 % | 1266.12/1266.15 c | 10941137 | 168 24117 109593 | 1 328151 18 | 24.664 % | 1266.12/1266.15 c =============================================================================== 1266.12/1266.15 c restarts : 1255 1266.12/1266.15 c nb ReduceDB : 90 1266.12/1266.15 c nb removed Clauses : 10387511 1266.12/1266.15 c nb learnts DL2 : 290 1266.12/1266.15 c nb learnts size 2 : 148 1266.12/1266.15 c nb learnts size 1 : 15 1266.12/1266.15 c conflicts : 10941137 (8644 /sec) 1266.12/1266.15 c decisions : 12989847 (0.00 % random) (10262 /sec) 1266.12/1266.15 c propagations : 335825051 (265314 /sec) 1266.12/1266.15 c conflict literals : 248783123 (49.55 % deleted) 1266.12/1266.15 c nb reduced Clauses : 21595 1266.12/1266.15 c CPU time : 1265.76 s 1266.12/1266.15 1266.12/1266.15 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 977) 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-3303493-1306933372/watcher-3303493-1306933372 -o /tmp/evaluation-result-3303493-1306933372/solver-3303493-1306933372 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303493-1306933372.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.03 2.00 2/518 23930 /proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 334 0 0 0 0 0 0 0 25 0 1 0 804933902 8912896 253 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 5 0 0 0 /proc/23930/statm: 2176 253 211 178 0 69 0 [startup+0.112695 s] /proc/loadavg: 2.01 2.03 2.00 2/518 23930 /proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.200673 s] /proc/loadavg: 2.01 2.03 2.00 2/518 23930 /proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.30066 s] /proc/loadavg: 2.01 2.03 2.00 2/518 23930 /proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+0.700572 s] /proc/loadavg: 2.01 2.03 2.00 2/518 23930 /proc/meminfo: memFree=21816092/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 0.02 Current children cumulated vsize (KiB) 8704 [startup+1.50042 s] /proc/loadavg: 2.01 2.03 2.00 3/520 23933 /proc/meminfo: memFree=21806540/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=24048 CPUtime=1.46 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 3610 0 0 0 146 0 0 0 20 0 1 0 804933905 24625152 2726 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224647 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 6012 2726 249 17 0 2653 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 32752 [startup+3.1011 s] /proc/loadavg: 2.01 2.03 2.00 3/520 23933 /proc/meminfo: memFree=21802572/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=25080 CPUtime=3.06 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 3880 0 0 0 306 0 0 0 25 0 1 0 804933905 25681920 2984 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225418 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 6270 2984 249 17 0 2911 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 33784 [startup+6.30045 s] /proc/loadavg: 2.01 2.03 2.00 3/520 23933 /proc/meminfo: memFree=21800428/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=29432 CPUtime=6.26 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 5646 0 0 0 626 0 0 0 25 0 1 0 804933905 30138368 3464 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 7358 3464 249 17 0 3999 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 38136 [startup+12.7012 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23933 /proc/meminfo: memFree=21792252/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=34628 CPUtime=12.67 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 7559 0 0 0 1266 1 0 0 25 0 1 0 804933905 35459072 5269 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224864 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 8657 5269 250 17 0 5298 0 Current children cumulated CPU time (s) 12.69 Current children cumulated vsize (KiB) 43332 [startup+25.5006 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23934 /proc/meminfo: memFree=21780216/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=51080 CPUtime=25.46 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 10860 0 0 0 2545 1 0 0 25 0 1 0 804933905 52305920 8491 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224665 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 12770 8491 250 17 0 9411 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 59784 [startup+51.1005 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23934 /proc/meminfo: memFree=21766052/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=60980 CPUtime=51.06 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 16789 0 0 0 5104 2 0 0 25 0 1 0 804933905 62443520 11922 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224885 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 15245 11922 250 17 0 11886 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 69684 [startup+102.301 s] /proc/loadavg: 2.00 2.02 2.00 3/520 23938 /proc/meminfo: memFree=21728452/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=64728 CPUtime=102.28 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 17808 0 0 0 10226 2 0 0 25 0 1 0 804933905 66281472 12902 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 16182 12902 250 17 0 12823 0 Current children cumulated CPU time (s) 102.3 Current children cumulated vsize (KiB) 73432 [startup+162.3 s] /proc/loadavg: 2.11 2.05 2.01 3/520 23940 /proc/meminfo: memFree=21718632/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=84600 CPUtime=162.27 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 24822 0 0 0 16224 3 0 0 25 0 1 0 804933905 86630400 15087 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 21150 15087 250 17 0 17791 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 93304 [startup+222.32 s] /proc/loadavg: 2.04 2.04 2.00 3/520 23942 /proc/meminfo: memFree=21716884/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=85076 CPUtime=222.29 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 25590 0 0 0 22226 3 0 0 25 0 1 0 804933905 87117824 15832 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 21269 15832 250 17 0 17910 0 Current children cumulated CPU time (s) 222.31 Current children cumulated vsize (KiB) 93780 [startup+282.3 s] /proc/loadavg: 2.17 2.06 2.01 3/520 23944 /proc/meminfo: memFree=21731108/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=85076 CPUtime=282.27 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 26064 0 0 0 28224 3 0 0 25 0 1 0 804933905 87117824 16290 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224718 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 21269 16290 250 17 0 17910 0 Current children cumulated CPU time (s) 282.29 Current children cumulated vsize (KiB) 93780 [startup+342.3 s] /proc/loadavg: 2.13 2.06 2.01 3/520 23945 /proc/meminfo: memFree=21710252/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=103560 CPUtime=342.27 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 31433 0 0 0 34223 4 0 0 25 0 1 0 804933905 106045440 21402 33554432000 4194304 4260849 140733978623104 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 25890 21402 250 17 0 22531 0 Current children cumulated CPU time (s) 342.29 Current children cumulated vsize (KiB) 112264 [startup+402.301 s] /proc/loadavg: 2.05 2.05 2.00 3/520 23947 /proc/meminfo: memFree=21708108/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 ################ # More data... # ################ [startup+882.32 s] /proc/loadavg: 2.02 2.05 2.00 3/520 23990 /proc/meminfo: memFree=21719284/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=882.3 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 170146 0 0 0 88208 22 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224682 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 882.32 Current children cumulated vsize (KiB) 126096 [startup+942.301 s] /proc/loadavg: 2.01 2.03 2.00 3/520 23991 /proc/meminfo: memFree=21689248/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=942.27 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 189063 0 0 0 94202 25 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224685 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 942.29 Current children cumulated vsize (KiB) 126096 [startup+1002.3 s] /proc/loadavg: 2.00 2.03 2.00 3/520 23993 /proc/meminfo: memFree=21686372/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1002.28 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 207978 0 0 0 100201 27 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1002.3 Current children cumulated vsize (KiB) 126096 [startup+1062.3 s] /proc/loadavg: 2.00 2.02 2.00 3/520 23994 /proc/meminfo: memFree=21688460/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1062.28 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 227331 0 0 0 106198 30 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1062.3 Current children cumulated vsize (KiB) 126096 [startup+1122.3 s] /proc/loadavg: 2.11 2.05 2.01 3/520 23996 /proc/meminfo: memFree=21684704/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=166712 CPUtime=1122.27 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 245773 0 0 0 112195 32 0 0 25 0 1 0 804933905 170713088 34704 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 41678 34704 250 17 0 38319 0 Current children cumulated CPU time (s) 1122.29 Current children cumulated vsize (KiB) 175416 [startup+1182.3 s] /proc/loadavg: 2.14 2.06 2.01 3/520 24029 /proc/meminfo: memFree=21777040/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1182.28 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 256131 0 0 0 118194 34 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1182.3 Current children cumulated vsize (KiB) 126096 [startup+1242.3 s] /proc/loadavg: 2.05 2.05 2.01 3/520 24030 /proc/meminfo: memFree=21760092/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1242.28 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 124191 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1242.3 Current children cumulated vsize (KiB) 126096 Solver just ended. Dumping a history of the last processes samples [startup+1254.4 s] /proc/loadavg: 2.04 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758348/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1254.38 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 125401 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224635 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1254.4 Current children cumulated vsize (KiB) 126096 [startup+1260.8 s] /proc/loadavg: 2.03 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1260.78 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126041 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225146 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1260.8 Current children cumulated vsize (KiB) 126096 [startup+1264.02 s] /proc/loadavg: 2.03 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1264 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126363 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224898 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1264.02 Current children cumulated vsize (KiB) 126096 [startup+1264.8 s] /proc/loadavg: 2.03 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1264.78 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126441 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1264.8 Current children cumulated vsize (KiB) 126096 [startup+1265.6 s] /proc/loadavg: 2.03 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1265.58 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126521 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224632 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1265.6 Current children cumulated vsize (KiB) 126096 [startup+1266 s] /proc/loadavg: 2.03 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1265.98 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126561 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1266 Current children cumulated vsize (KiB) 126096 [startup+1266.1 s] /proc/loadavg: 2.03 2.05 2.01 3/520 24031 /proc/meminfo: memFree=21758084/32950928 swapFree=34979748/67111528 [pid=23930] ppid=23928 vsize=8704 CPUtime=0.02 cores=1,3,5,7 /proc/23930/stat : 23930 (glucose.sh) S 23928 23930 22442 0 -1 4202496 360 594 0 0 0 0 2 0 25 0 1 0 804933902 8912896 255 33554432000 4194304 4922060 140733903505312 18446744073709551615 254500510853 0 65536 4100 65538 18446744071562232103 0 0 17 1 0 0 0 /proc/23930/statm: 2176 255 211 178 0 69 0 [pid=23933] ppid=23930 vsize=117392 CPUtime=1266.1 cores=1,3,5,7 /proc/23933/stat : 23933 (glucose_static) R 23930 23930 22442 0 -1 4202496 280616 0 0 0 126573 37 0 0 25 0 1 0 804933905 120209408 26068 33554432000 4194304 4260849 140733978623104 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 3 0 0 0 /proc/23933/statm: 29348 26068 250 17 0 25989 0 Current children cumulated CPU time (s) 1266.12 Current children cumulated vsize (KiB) 126096 Child status: 20 Real time (s): 1266.16 CPU time (s): 1266.18 CPU user time (s): 1265.79 CPU system time (s): 0.39094 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 175416 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1265.79 system time used= 0.39094 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 281785 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= 42 involuntary context switches= 2014 runsolver used 6.15406 second user time and 15.7826 second system time The end
Begin job on node149 at 2011-06-01 15:02:52 IDJOB=3303493 IDBENCH=83311 IDSOLVER=1687 FILE ID=node149/3303493-1306933372 RUNJOBID= node149-1306927227-23496 PBS_JOBID= 13488481 Free space on /tmp= 73616 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/VanDerWaerden_pd_2-3-22_445.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303493-1306933372/watcher-3303493-1306933372 -o /tmp/evaluation-result-3303493-1306933372/solver-3303493-1306933372 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303493-1306933372.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 4f7ff14ba0d33c4cf7de4e3c004f2f79 RANDOM SEED=708690594 node149.alineos.net Linux 2.6.18-164.el5 #1 SMP Thu Sep 3 03:28:30 EDT 2009 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 0 cpu cores : 4 apicid : 0 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5333.61 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.83 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 1 cpu cores : 4 apicid : 18 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.73 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 4 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 2 cpu cores : 4 apicid : 4 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 5 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 2 cpu cores : 4 apicid : 20 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 6 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 0 siblings : 4 core id : 3 cpu cores : 4 apicid : 6 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.82 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 7 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.806 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 21816240 kB Buffers: 295144 kB Cached: 2246616 kB SwapCached: 84504 kB Active: 2056768 kB Inactive: 8748488 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 21816240 kB SwapTotal: 67111528 kB SwapFree: 34979748 kB Dirty: 1576 kB Writeback: 0 kB AnonPages: 8203960 kB Mapped: 18104 kB Slab: 139736 kB PageTables: 118044 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 173212812 kB VmallocTotal: 34359738367 kB VmallocUsed: 296008 kB VmallocChunk: 34359440975 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 Hugepagesize: 2048 kB Free space on /tmp at the end= 73616 MiB End job on node149 at 2011-06-01 15:23:58