| Solver Name | Answer | CPU time | Wall clock time |
|---|---|---|---|
| glucose 2 | UNSAT | 940.782 | 940.77 |
| Name | application/jarvisalo/AAAI2010-SATPlanning/ aaai10-planning-ipc5-TPP-21-step11.cnf |
| MD5SUM | 00d93f117a3253605ad3ac6a153ec61f |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 218.303 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 99736 |
| Number of clauses | 783991 |
| Sum of the clauses size | 1708562 |
| Maximum clause length | 91 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 139 |
| Number of clauses of size 2 | 756759 |
| Number of clauses of size 3 | 7636 |
| Number of clauses of size 4 | 11357 |
| Number of clauses of size 5 | 745 |
| Number of clauses of size over 5 | 7355 |
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.25 c ============================================================================== 0.00/0.25 c | | ORIGINAL | LEARNT | | 0.00/0.25 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress | 0.00/0.25 c ============================================================================== 0.00/0.25 c | 0 | 783852 1708423 | 235155 0 0 nan | 0.000 % | 0.99/1.03 c | 0 | 779390 1794017 | -- 0 -- -- | -- | -3820/87017 0.99/1.03 c ============================================================================== 0.99/1.03 c Result : #vars: 97280 #clauses: 779390 #literals: 1794017 0.99/1.03 c CPU time: 1.00385 s 0.99/1.03 c ============================================================================== 1.29/1.35 c 1.29/1.35 c Starting glucose 1.29/1.35 c 5.58/5.63 c This is glucose 2.0 -- based on MiniSAT (Many thanks to MiniSAT team) 5.58/5.63 c WARNING: for repeatability, setting FPU to use double precision 5.58/5.63 c ============================[ Problem Statistics ]============================= 5.58/5.63 c | | 5.58/5.63 c | Number of variables: 97280 | 5.58/5.63 c | Number of clauses: 779390 | 5.58/5.63 c | Parse time: 0.17 s | 5.58/5.63 c | | 5.58/5.63 c ============================[ Search Statistics ]============================== 5.58/5.63 c | Conflicts | ORIGINAL | LEARNT | Progress | 5.58/5.63 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | | 5.58/5.63 c =============================================================================== 5.58/5.63 c | 507 | 97074 779390 1794017 | 1 503 83 | 0.212 % | 5.58/5.63 c | 637 | 97074 779377 1793794 | 1 633 101 | 0.212 % | 5.58/5.63 c | 737 | 96969 779377 1793794 | 1 732 106 | 0.320 % | 5.58/5.63 c | 837 | 96956 779377 1793794 | 1 823 105 | 0.333 % | 5.58/5.63 c | 1451 | 96680 779377 1793794 | 1 1430 115 | 0.617 % | 5.58/5.63 c | 1808 | 96559 779325 1793285 | 1 1761 115 | 0.741 % | 5.58/5.63 c | 1921 | 96471 779325 1793285 | 1 1872 113 | 0.832 % | 5.58/5.63 c | 2021 | 96446 779325 1793285 | 1 1971 112 | 0.857 % | 5.58/5.63 c | 2124 | 96446 779325 1793285 | 1 2074 125 | 0.857 % | 5.58/5.63 c | 2577 | 96318 779261 1792603 | 1 2467 153 | 0.989 % | 5.58/5.63 c | 3031 | 96227 779261 1792603 | 1 2919 154 | 1.082 % | 5.58/5.63 c | 3131 | 96227 779192 1791931 | 1 3013 152 | 1.082 % | 5.58/5.63 c | 3360 | 95989 779192 1791931 | 1 3238 154 | 1.327 % | 5.58/5.63 c | 4768 | 95988 779192 1791931 | 1 2716 97 | 1.328 % | 5.58/5.63 c | 4918 | 95988 779164 1791847 | 1 2866 99 | 1.328 % | 5.58/5.63 c | 5018 | 95988 779164 1791847 | 1 2966 99 | 1.328 % | 5.58/5.63 c | 5283 | 95981 779164 1791847 | 1 3230 148 | 1.335 % | 5.58/5.63 c | 5384 | 95958 779143 1791597 | 1 3290 148 | 1.359 % | 5.58/5.63 c | 5913 | 95958 779143 1791597 | 1 3819 161 | 1.359 % | 5.58/5.63 c | 6492 | 95729 779085 1791204 | 1 4386 178 | 1.594 % | 5.58/5.63 c | 6592 | 95729 779085 1791204 | 1 4486 176 | 1.594 % | 5.58/5.63 c | 6697 | 95729 779085 1791204 | 1 4591 174 | 1.594 % | 5.58/5.63 c | 7022 | 95629 779085 1791204 | 1 4909 174 | 1.697 % | 5.58/5.63 c | 7122 | 95629 779085 1791204 | 1 5009 175 | 1.697 % | 5.58/5.63 c | 7240 | 95629 779085 1791204 | 1 5127 173 | 1.697 % | 5.58/5.63 c | 7579 | 95565 779085 1791204 | 1 5464 176 | 1.763 % | 5.58/5.63 c | 7921 | 95565 778999 1790263 | 1 5785 177 | 1.763 % | 5.58/5.63 c | 8397 | 95561 778999 1790263 | 1 6257 178 | 1.767 % | 5.58/5.63 c | 8641 | 95558 778999 1790263 | 1 6491 179 | 1.770 % | 5.58/5.63 c | 8742 | 95557 778999 1790263 | 1 6591 180 | 1.771 % | 5.58/5.63 c | 8943 | 95548 778999 1790263 | 1 6787 181 | 1.780 % | 5.58/5.63 c | 9047 | 95548 778999 1790263 | 1 6891 181 | 1.780 % | 5.58/5.63 c | 9634 | 95521 778994 1790239 | 1 7464 185 | 1.808 % | 5.58/5.63 c | 9928 | 95513 778994 1790239 | 1 7755 188 | 1.816 % | 5.58/5.63 c | 10030 | 95513 778987 1790184 | 1 7841 188 | 1.816 % | 5.58/5.63 c | 10269 | 95511 778987 1790184 | 1 8078 198 | 1.818 % | 5.58/5.63 c | 10705 | 95497 778987 1790184 | 1 4310 83 | 1.833 % | 5.58/5.63 c | 10806 | 95362 778982 1790158 | 1 4391 84 | 1.972 % | 5.58/5.63 c | 10907 | 95362 778982 1790158 | 1 4492 85 | 1.972 % | 12.38/12.46 c | 11344 | 95362 778982 1790158 | 1 4929 94 | 1.972 % | 12.38/12.46 c | 11518 | 95350 778950 1789942 | 1 5090 97 | 1.984 % | 12.38/12.46 c | 11698 | 95350 778950 1789942 | 1 5270 108 | 1.984 % | 12.38/12.46 c | 11989 | 95230 778950 1789942 | 1 5557 118 | 2.107 % | 12.38/12.46 c | 12090 | 95082 778927 1789757 | 1 5623 118 | 2.259 % | 12.38/12.46 c | 12299 | 95082 778927 1789757 | 1 5832 123 | 2.259 % | 12.38/12.46 c | 12545 | 94966 778927 1789757 | 1 6077 129 | 2.379 % | 12.38/12.46 c | 12667 | 94965 778880 1789371 | 1 6179 133 | 2.380 % | 12.38/12.46 c | 13606 | 94965 778880 1789371 | 1 7118 158 | 2.380 % | 12.38/12.46 c | 13987 | 94839 778860 1789210 | 1 7493 162 | 2.509 % | 12.38/12.46 c | 14177 | 94838 778860 1789210 | 1 7682 170 | 2.510 % | 12.38/12.46 c | 14278 | 94838 778860 1789210 | 1 7783 170 | 2.510 % | 12.38/12.46 c | 14378 | 94836 778860 1789210 | 1 7881 171 | 2.512 % | 12.38/12.46 c | 15212 | 94836 778857 1789195 | 1 8702 196 | 2.512 % | 12.38/12.46 c | 15563 | 94700 778813 1788704 | 1 9032 199 | 2.652 % | 12.38/12.46 c | 15933 | 94699 778813 1788704 | 1 9401 199 | 2.653 % | 12.38/12.46 c | 16033 | 94699 778813 1788704 | 1 9501 201 | 2.653 % | 12.38/12.46 c | 16289 | 94689 778810 1788695 | 1 9746 200 | 2.663 % | 12.38/12.46 c | 16439 | 94689 778810 1788695 | 1 9896 202 | 2.663 % | 12.38/12.46 c | 16708 | 94686 778810 1788695 | 1 10162 201 | 2.667 % | 12.38/12.46 c | 16809 | 94686 778810 1788695 | 1 10263 201 | 2.667 % | 12.38/12.46 c | 17238 | 94654 778810 1788695 | 1 10691 214 | 2.699 % | 12.38/12.46 c | 17341 | 94618 778792 1788481 | 1 10759 214 | 2.736 % | 12.38/12.46 c | 17479 | 94618 778792 1788481 | 1 10897 215 | 2.736 % | 12.38/12.46 c | 17581 | 94617 778792 1788481 | 1 10998 215 | 2.737 % | 12.38/12.46 c | 17689 | 94616 778792 1788481 | 1 11105 217 | 2.738 % | 12.38/12.46 c | 17905 | 94616 778792 1788481 | 1 11321 214 | 2.738 % | 12.38/12.46 c | 18019 | 94615 778792 1788481 | 1 11434 217 | 2.740 % | 12.38/12.46 c | 18120 | 94613 778792 1788481 | 1 11533 216 | 2.742 % | 12.38/12.46 c | 18331 | 94599 778789 1788443 | 1 11707 218 | 2.756 % | 12.38/12.46 c | 18924 | 94564 778789 1788443 | 1 12297 222 | 2.792 % | 12.38/12.46 c | 19318 | 94561 778772 1788206 | 1 12661 227 | 2.795 % | 12.38/12.46 c | 19418 | 94561 778772 1788206 | 1 12761 230 | 2.795 % | 12.38/12.46 c | 19518 | 94561 778772 1788206 | 1 12861 229 | 2.795 % | 12.38/12.46 c | 20062 | 94560 778772 1788206 | 1 6834 102 | 2.796 % | 12.38/12.46 c | 20167 | 94560 778772 1788206 | 1 6939 106 | 2.796 % | 12.38/12.46 c | 20267 | 94560 778772 1788206 | 1 7034 107 | 2.796 % | 12.38/12.46 c | 20775 | 94554 778772 1788206 | 1 7536 128 | 2.802 % | 12.38/12.46 c | 20876 | 94552 778772 1788206 | 1 7617 129 | 2.804 % | 12.38/12.46 c | 21094 | 94552 778772 1788206 | 1 7835 133 | 2.804 % | 12.38/12.46 c | 21218 | 94552 778772 1788206 | 1 7959 136 | 2.804 % | 12.38/12.46 c | 21360 | 94552 778772 1788206 | 1 8101 137 | 2.804 % | 12.38/12.46 c | 21932 | 94551 778772 1788206 | 1 8669 145 | 2.805 % | 12.38/12.46 c | 22130 | 94547 778772 1788206 | 1 8863 148 | 2.809 % | 12.38/12.46 c | 22234 | 94545 778772 1788206 | 1 8965 148 | 2.811 % | 12.38/12.46 c | 22394 | 94543 778772 1788206 | 1 9123 150 | 2.814 % | 12.38/12.46 c | 22494 | 94543 778772 1788206 | 1 9223 152 | 2.814 % | 12.38/12.46 c | 22993 | 94527 778772 1788206 | 1 9701 156 | 2.830 % | 12.38/12.46 c | 23332 | 94527 778772 1788206 | 1 10040 156 | 2.830 % | 12.38/12.46 c | 23859 | 94513 778769 1788178 | 1 10537 162 | 2.844 % | 20.58/20.63 c | 24668 | 94482 778763 1788119 | 1 11304 168 | 2.876 % | 20.58/20.63 c | 24771 | 94482 778763 1788119 | 1 11407 168 | 2.876 % | 20.58/20.63 c | 24875 | 94482 778763 1788119 | 1 11511 171 | 2.876 % | 20.58/20.63 c | 24981 | 94482 778763 1788119 | 1 11617 171 | 2.876 % | 20.58/20.63 c | 25303 | 94480 778763 1788119 | 1 11937 177 | 2.878 % | 20.58/20.63 c | 25403 | 94479 778763 1788119 | 1 12030 176 | 2.879 % | 20.58/20.63 c | 25618 | 94478 778763 1788119 | 1 12244 182 | 2.880 % | 20.58/20.63 c | 26124 | 93827 778763 1788119 | 1 12746 185 | 3.550 % | 20.58/20.63 c | 26674 | 93827 778763 1788119 | 1 13296 189 | 3.550 % | 20.58/20.63 c | 26775 | 93827 778599 1786715 | 1 13284 191 | 3.550 % | 20.58/20.63 c | 26961 | 93515 778599 1786715 | 1 13466 191 | 3.870 % | 20.58/20.63 c | 27075 | 93515 778599 1786715 | 1 13580 191 | 3.870 % | 20.58/20.63 c | 27175 | 93513 778599 1786715 | 1 13679 192 | 3.872 % | 20.58/20.63 c | 27781 | 93513 778599 1786715 | 1 14285 193 | 3.872 % | 20.58/20.63 c | 28958 | 93353 778543 1786020 | 1 15417 199 | 4.037 % | 20.58/20.63 c | 30470 | 93349 778543 1786020 | 1 16926 204 | 4.041 % | 20.58/20.63 c | 30823 | 93315 778501 1785542 | 1 17247 205 | 4.076 % | 20.58/20.63 c | 30923 | 93315 778501 1785542 | 1 17347 205 | 4.076 % | 20.58/20.63 c | 31036 | 93315 778501 1785542 | 1 17460 205 | 4.076 % | 20.58/20.63 c | 31164 | 93314 778501 1785542 | 1 17587 205 | 4.077 % | 20.58/20.63 c | 31265 | 93313 778501 1785542 | 1 17687 205 | 4.078 % | 20.58/20.63 c | 31365 | 93313 778501 1785542 | 1 17787 205 | 4.078 % | 20.58/20.63 c | 31497 | 93312 778501 1785542 | 1 17918 207 | 4.079 % | 20.58/20.63 c | 31756 | 93307 778484 1785337 | 1 9157 80 | 4.084 % | 20.58/20.63 c | 31878 | 93307 778484 1785337 | 1 9279 81 | 4.084 % | 20.58/20.63 c | 31978 | 93307 778484 1785337 | 1 9379 81 | 4.084 % | 20.58/20.63 c | 32647 | 93305 778484 1785337 | 1 10046 92 | 4.086 % | 20.58/20.63 c | 33215 | 93290 778484 1785337 | 1 10612 106 | 4.102 % | 20.58/20.63 c | 33321 | 93290 778478 1785303 | 1 10664 108 | 4.102 % | 20.58/20.63 c | 34636 | 93241 778478 1785303 | 1 11978 110 | 4.152 % | 20.58/20.63 c | 34738 | 93241 778423 1784710 | 1 12069 110 | 4.152 % | 20.58/20.63 c | 34839 | 93240 778423 1784710 | 1 12169 111 | 4.153 % | 20.58/20.63 c | 34942 | 93240 778423 1784710 | 1 12272 112 | 4.153 % | 20.58/20.63 c | 35042 | 93240 778423 1784710 | 1 12372 114 | 4.153 % | 20.58/20.63 c | 35151 | 93240 778423 1784710 | 1 12481 116 | 4.153 % | 20.58/20.63 c | 35495 | 93238 778423 1784710 | 1 12823 119 | 4.155 % | 20.58/20.63 c | 35750 | 93234 778423 1784710 | 1 13071 120 | 4.159 % | 20.58/20.63 c | 35939 | 93234 778423 1784710 | 1 13260 122 | 4.159 % | 20.58/20.63 c | 36786 | 93229 778421 1784699 | 1 14089 131 | 4.164 % | 20.58/20.63 c | 36888 | 93229 778421 1784699 | 1 14191 131 | 4.164 % | 20.58/20.63 c | 36991 | 93227 778421 1784699 | 1 14293 132 | 4.166 % | 20.58/20.63 c | 37526 | 93226 778406 1784525 | 1 14810 136 | 4.167 % | 20.58/20.63 c | 37636 | 93226 778406 1784525 | 1 14920 137 | 4.167 % | 20.58/20.63 c | 37798 | 93223 778406 1784525 | 1 15076 137 | 4.170 % | 20.58/20.63 c | 37899 | 93222 778406 1784525 | 1 15176 137 | 4.171 % | 20.58/20.63 c | 38428 | 93222 778406 1784525 | 1 15705 141 | 4.171 % | 20.58/20.63 c | 38532 | 93222 778406 1784525 | 1 15809 141 | 4.171 % | 20.58/20.63 c | 38638 | 93222 778406 1784525 | 1 15914 142 | 4.171 % | 20.58/20.63 c | 38890 | 93222 778406 1784525 | 1 16166 144 | 4.171 % | 20.58/20.63 c | 38990 | 93222 778406 1784525 | 1 16266 144 | 4.171 % | 33.08/33.12 c | 39209 | 93222 778406 1784525 | 1 16485 146 | 4.171 % | 33.08/33.12 c | 39309 | 93222 778406 1784525 | 1 16585 146 | 4.171 % | 33.08/33.12 c | 39564 | 93211 778384 1784313 | 1 16805 148 | 4.183 % | 33.08/33.12 c | 40143 | 93206 778384 1784313 | 1 17382 152 | 4.188 % | 33.08/33.12 c | 40972 | 93206 778384 1784313 | 1 18211 161 | 4.188 % | 33.08/33.12 c | 41073 | 93204 778370 1784142 | 1 18305 161 | 4.190 % | 33.08/33.12 c | 41305 | 93204 778370 1784142 | 1 18537 166 | 4.190 % | 33.08/33.12 c | 42334 | 93203 778370 1784142 | 1 19565 171 | 4.191 % | 33.08/33.12 c | 42447 | 93203 778370 1784142 | 1 19674 171 | 4.191 % | 33.08/33.12 c | 42579 | 93203 778370 1784142 | 1 19806 172 | 4.191 % | 33.08/33.12 c | 42679 | 93203 778370 1784142 | 1 19906 172 | 4.191 % | 33.08/33.12 c | 42779 | 93203 778370 1784142 | 1 20006 173 | 4.191 % | 33.08/33.12 c | 42879 | 93203 778370 1784142 | 1 20106 173 | 4.191 % | 33.08/33.12 c | 42982 | 93203 778370 1784142 | 1 20209 174 | 4.191 % | 33.08/33.12 c | 43082 | 93172 778370 1784142 | 1 20308 173 | 4.223 % | 33.08/33.12 c | 43182 | 93172 778370 1784142 | 1 20408 174 | 4.223 % | 33.08/33.12 c | 43418 | 93113 778365 1784063 | 1 20588 175 | 4.284 % | 33.08/33.12 c | 44069 | 93113 778365 1784063 | 1 21239 180 | 4.284 % | 33.08/33.12 c | 44177 | 93113 778365 1784063 | 1 21347 180 | 4.284 % | 33.08/33.12 c | 44637 | 93113 778365 1784063 | 1 21807 184 | 4.284 % | 33.08/33.12 c | 44907 | 93113 778362 1784024 | 1 22071 185 | 4.284 % | 33.08/33.12 c | 45111 | 93113 778362 1784024 | 1 22275 187 | 4.284 % | 33.08/33.12 c | 45556 | 92837 778362 1784024 | 1 22719 189 | 4.567 % | 33.08/33.12 c | 46294 | 92834 778301 1783585 | 1 11853 71 | 4.570 % | 33.08/33.12 c | 46395 | 92834 778301 1783585 | 1 11954 73 | 4.570 % | 33.08/33.12 c | 46497 | 92834 778301 1783585 | 1 12056 74 | 4.570 % | 33.08/33.12 c | 46597 | 92834 778301 1783585 | 1 12156 75 | 4.570 % | 33.08/33.12 c | 46805 | 92834 778301 1783585 | 1 12364 76 | 4.570 % | 33.08/33.12 c | 47155 | 92833 778301 1783585 | 1 12708 79 | 4.571 % | 33.08/33.12 c | 47858 | 92826 778301 1783585 | 1 13410 88 | 4.579 % | 33.08/33.12 c | 47958 | 92826 778284 1783397 | 1 13489 89 | 4.579 % | 33.08/33.12 c | 48642 | 92825 778284 1783397 | 1 14170 93 | 4.580 % | 33.08/33.12 c | 48751 | 92824 778284 1783397 | 1 14278 93 | 4.581 % | 33.08/33.12 c | 52068 | 92821 778284 1783397 | 1 17590 145 | 4.584 % | 33.08/33.12 c | 52170 | 92821 778269 1783222 | 1 17683 146 | 4.584 % | 33.08/33.12 c | 52414 | 92819 778269 1783222 | 1 17925 147 | 4.586 % | 33.08/33.12 c | 53001 | 92819 778269 1783222 | 1 18512 152 | 4.586 % | 33.08/33.12 c | 53101 | 92818 778269 1783222 | 1 18603 153 | 4.587 % | 33.08/33.12 c | 53442 | 92818 778269 1783222 | 1 18944 154 | 4.587 % | 33.08/33.12 c | 54089 | 92818 778269 1783222 | 1 19591 157 | 4.587 % | 33.08/33.12 c | 54806 | 92816 778269 1783222 | 1 20304 162 | 4.589 % | 33.08/33.12 c | 55448 | 92807 778269 1783222 | 1 20922 164 | 4.598 % | 33.08/33.12 c | 55549 | 92807 778269 1783222 | 1 21023 165 | 4.598 % | 33.08/33.12 c | 55649 | 92807 778269 1783222 | 1 21123 165 | 4.598 % | 33.08/33.12 c | 55751 | 92807 778269 1783222 | 1 21225 165 | 4.598 % | 33.08/33.12 c | 56979 | 92807 778269 1783222 | 1 22453 175 | 4.598 % | 33.08/33.12 c | 57079 | 92807 778267 1783208 | 1 22532 176 | 4.598 % | 33.08/33.12 c | 57181 | 92807 778267 1783208 | 1 22634 176 | 4.598 % | 33.08/33.12 c | 57281 | 92807 778267 1783208 | 1 22734 176 | 4.598 % | 33.08/33.12 c | 58704 | 92802 778267 1783208 | 1 24155 182 | 4.603 % | 49.68/49.77 c | 60222 | 92800 778252 1783033 | 1 25646 188 | 4.605 % | 49.68/49.77 c | 60324 | 92800 778237 1782859 | 1 25747 188 | 4.605 % | 49.68/49.77 c | 60893 | 92677 778237 1782859 | 1 26313 189 | 4.732 % | 49.68/49.77 c | 61225 | 92677 778237 1782859 | 1 26645 191 | 4.732 % | 49.68/49.77 c | 61619 | 92676 778237 1782859 | 1 27038 191 | 4.733 % | 49.68/49.77 c | 63836 | 92643 778199 1782484 | 1 15037 88 | 4.767 % | 49.68/49.77 c | 63936 | 92643 778199 1782484 | 1 15137 88 | 4.767 % | 49.68/49.77 c | 65286 | 92639 778198 1782480 | 1 16476 98 | 4.771 % | 49.68/49.77 c | 67269 | 92638 778198 1782480 | 1 18458 127 | 4.772 % | 49.68/49.77 c | 67536 | 92638 778198 1782480 | 1 18718 129 | 4.772 % | 49.68/49.77 c | 67637 | 92638 778198 1782480 | 1 18819 130 | 4.772 % | 49.68/49.77 c | 67738 | 92638 778198 1782480 | 1 18920 131 | 4.772 % | 49.68/49.77 c | 67838 | 92638 778198 1782480 | 1 19020 131 | 4.772 % | 49.68/49.77 c | 68173 | 92638 778198 1782480 | 1 19355 136 | 4.772 % | 49.68/49.77 c | 68274 | 92638 778198 1782480 | 1 19456 136 | 4.772 % | 49.68/49.77 c | 69042 | 92636 778183 1782305 | 1 20215 145 | 4.774 % | 49.68/49.77 c | 69142 | 92636 778183 1782305 | 1 20315 145 | 4.774 % | 49.68/49.77 c | 69243 | 92635 778183 1782305 | 1 20415 146 | 4.775 % | 49.68/49.77 c | 69344 | 92635 778183 1782305 | 1 20516 146 | 4.775 % | 49.68/49.77 c | 69444 | 92635 778183 1782305 | 1 20616 148 | 4.775 % | 49.68/49.77 c | 69961 | 92632 778166 1782125 | 1 21123 152 | 4.778 % | 49.68/49.77 c | 70061 | 92632 778166 1782125 | 1 21223 153 | 4.778 % | 49.68/49.77 c | 70161 | 92632 778166 1782125 | 1 21323 153 | 4.778 % | 49.68/49.77 c | 70261 | 92632 778166 1782125 | 1 21423 154 | 4.778 % | 49.68/49.77 c | 70361 | 92632 778166 1782125 | 1 21523 154 | 4.778 % | 49.68/49.77 c | 71988 | 92629 778166 1782125 | 1 23142 165 | 4.781 % | 49.68/49.77 c | 72090 | 92629 778166 1782125 | 1 23244 166 | 4.781 % | 49.68/49.77 c | 72190 | 92629 778166 1782125 | 1 23344 167 | 4.781 % | 49.68/49.77 c | 72567 | 92628 778166 1782125 | 1 23720 168 | 4.782 % | 49.68/49.77 c | 72667 | 92628 778166 1782125 | 1 23820 168 | 4.782 % | 49.68/49.77 c | 75039 | 92628 778166 1782125 | 1 26192 182 | 4.782 % | 49.68/49.77 c | 75385 | 92627 778166 1782125 | 1 26536 183 | 4.783 % | 49.68/49.77 c | 77109 | 92627 778166 1782125 | 1 28260 192 | 4.783 % | 49.68/49.77 c | 77220 | 92627 778166 1782125 | 1 28370 193 | 4.783 % | 49.68/49.77 c | 78714 | 92596 778166 1782125 | 1 29861 196 | 4.815 % | 49.68/49.77 c | 78814 | 92596 778163 1782086 | 1 29951 196 | 4.815 % | 49.68/49.77 c | 79681 | 92596 778163 1782086 | 1 30818 199 | 4.815 % | 49.68/49.77 c | 79843 | 92569 778163 1782086 | 1 30979 199 | 4.843 % | 49.68/49.77 c | 80506 | 92569 778163 1782086 | 1 31642 200 | 4.843 % | 49.68/49.77 c | 80656 | 92569 778160 1782048 | 1 31766 200 | 4.843 % | 49.68/49.77 c | 81774 | 92566 778160 1782048 | 1 32882 203 | 4.846 % | 49.68/49.77 c | 81966 | 92565 778160 1782048 | 1 33073 204 | 4.847 % | 49.68/49.77 c | 82068 | 92565 778160 1782048 | 1 33175 204 | 4.847 % | 49.68/49.77 c | 82798 | 92565 778160 1782048 | 1 17062 83 | 4.847 % | 49.68/49.77 c | 82899 | 92565 778146 1781877 | 1 17158 84 | 4.847 % | 49.68/49.77 c | 83781 | 92565 778146 1781877 | 1 18040 98 | 4.847 % | 49.68/49.77 c | 84083 | 92381 778122 1781708 | 1 18337 102 | 5.036 % | 49.68/49.77 c | 84192 | 92363 778122 1781708 | 1 18445 103 | 5.054 % | 49.68/49.77 c | 84292 | 92356 778122 1781708 | 1 18544 105 | 5.062 % | 49.68/49.77 c | 84392 | 92356 778122 1781708 | 1 18644 105 | 5.062 % | 63.08/63.16 c | 84912 | 92354 778097 1781544 | 1 19154 111 | 5.064 % | 63.08/63.16 c | 85085 | 92353 778097 1781544 | 1 19326 112 | 5.065 % | 63.08/63.16 c | 85186 | 92353 778097 1781544 | 1 19427 112 | 5.065 % | 63.08/63.16 c | 86361 | 92352 778097 1781544 | 1 20597 120 | 5.066 % | 63.08/63.16 c | 86461 | 92352 778097 1781544 | 1 20697 120 | 5.066 % | 63.08/63.16 c | 86647 | 92352 778097 1781544 | 1 20883 120 | 5.066 % | 63.08/63.16 c | 86804 | 92352 778097 1781544 | 1 21040 121 | 5.066 % | 63.08/63.16 c | 87831 | 92352 778097 1781544 | 1 22067 128 | 5.066 % | 63.08/63.16 c | 87932 | 92352 778097 1781544 | 1 22168 129 | 5.066 % | 63.08/63.16 c | 88034 | 92352 778097 1781544 | 1 22270 129 | 5.066 % | 63.08/63.16 c | 88253 | 92352 778097 1781544 | 1 22489 131 | 5.066 % | 63.08/63.16 c | 88675 | 92351 778097 1781544 | 1 22908 134 | 5.067 % | 63.08/63.16 c | 90341 | 92349 778097 1781544 | 1 24568 143 | 5.069 % | 63.08/63.16 c | 91408 | 92341 778097 1781544 | 1 25634 160 | 5.077 % | 63.08/63.16 c | 91510 | 92269 778097 1781544 | 1 25735 160 | 5.151 % | 63.08/63.16 c | 91617 | 92269 778097 1781544 | 1 25842 160 | 5.151 % | 63.08/63.16 c | 91958 | 92269 778072 1781399 | 1 26172 160 | 5.151 % | 63.08/63.16 c | 92393 | 92268 778072 1781399 | 1 26606 160 | 5.152 % | 63.08/63.16 c | 93641 | 92267 778072 1781399 | 1 27851 161 | 5.153 % | 63.08/63.16 c | 93841 | 92267 778072 1781399 | 1 28051 163 | 5.153 % | 63.08/63.16 c | 93943 | 92267 778072 1781399 | 1 28153 163 | 5.153 % | 63.08/63.16 c | 94044 | 92267 778072 1781399 | 1 28254 163 | 5.153 % | 63.08/63.16 c | 94186 | 92266 778072 1781399 | 1 28395 164 | 5.154 % | 63.08/63.16 c | 94609 | 92264 778072 1781399 | 1 28816 166 | 5.156 % | 63.08/63.16 c | 94709 | 92264 778072 1781399 | 1 28916 166 | 5.156 % | 63.08/63.16 c | 94809 | 92264 778072 1781399 | 1 29016 166 | 5.156 % | 63.08/63.16 c | 95174 | 92264 778072 1781399 | 1 29374 166 | 5.156 % | 63.08/63.16 c | 95480 | 92263 778072 1781399 | 1 29679 168 | 5.157 % | 63.08/63.16 c | 95716 | 92263 778072 1781399 | 1 29915 170 | 5.157 % | 63.08/63.16 c | 95816 | 92263 778072 1781399 | 1 30015 170 | 5.157 % | 63.08/63.16 c | 96688 | 92263 778072 1781399 | 1 30887 174 | 5.157 % | 63.08/63.16 c | 96806 | 92263 778072 1781399 | 1 31005 174 | 5.157 % | 63.08/63.16 c | 97022 | 92263 778072 1781399 | 1 31221 174 | 5.157 % | 63.08/63.16 c | 97142 | 92263 778072 1781399 | 1 31341 175 | 5.157 % | 63.08/63.16 c | 98175 | 92263 778072 1781399 | 1 32374 178 | 5.157 % | 63.08/63.16 c | 98424 | 92263 778072 1781399 | 1 32623 182 | 5.157 % | 63.08/63.16 c | 98525 | 92263 778072 1781399 | 1 32724 183 | 5.157 % | 63.08/63.16 c | 99826 | 92263 778072 1781399 | 1 34025 185 | 5.157 % | 63.08/63.16 c | 100051 | 92263 778072 1781399 | 1 34250 186 | 5.157 % | 63.08/63.16 c | 100152 | 92263 778072 1781399 | 1 34351 186 | 5.157 % | 63.08/63.16 c | 100255 | 92263 778072 1781399 | 1 34454 186 | 5.157 % | 63.08/63.16 c | 100650 | 92262 778072 1781399 | 1 34846 188 | 5.158 % | 63.08/63.16 c | 100792 | 92262 778072 1781399 | 1 34988 189 | 5.158 % | 63.08/63.16 c | 100892 | 92262 778072 1781399 | 1 35088 189 | 5.158 % | 63.08/63.16 c | 101081 | 92262 778072 1781399 | 1 35277 189 | 5.158 % | 63.08/63.16 c | 102291 | 92235 778072 1781399 | 1 36486 206 | 5.186 % | 63.08/63.16 c | 103406 | 92226 778041 1781019 | 1 37577 205 | 5.195 % | 63.08/63.16 c | 103506 | 92226 778041 1781019 | 1 37677 205 | 5.195 % | 63.08/63.16 c | 103606 | 92226 778041 1781019 | 1 37777 205 | 5.195 % | 63.08/63.16 c | 103934 | 92225 778041 1781019 | 1 38104 206 | 5.196 % | 83.98/84.05 c | 104035 | 92225 778041 1781019 | 1 38205 206 | 5.196 % | 83.98/84.05 c | 105674 | 92225 778041 1781019 | 1 20381 88 | 5.196 % | 83.98/84.05 c | 105774 | 92224 778041 1781019 | 1 20472 89 | 5.197 % | 83.98/84.05 c | 106702 | 92224 778041 1781019 | 1 21400 95 | 5.197 % | 83.98/84.05 c | 106803 | 92224 778041 1781019 | 1 21500 96 | 5.197 % | 83.98/84.05 c | 106903 | 92224 778041 1781019 | 1 21600 96 | 5.197 % | 83.98/84.05 c | 107423 | 92224 778041 1781019 | 1 22120 99 | 5.197 % | 83.98/84.05 c | 107850 | 92224 778041 1781019 | 1 22547 105 | 5.197 % | 83.98/84.05 c | 108564 | 92222 778041 1781019 | 1 23259 111 | 5.199 % | 83.98/84.05 c | 108886 | 92222 778041 1781019 | 1 23581 115 | 5.199 % | 83.98/84.05 c | 108986 | 92222 778041 1781019 | 1 23681 115 | 5.199 % | 83.98/84.05 c | 109644 | 92222 778041 1781019 | 1 24339 117 | 5.199 % | 83.98/84.05 c | 109860 | 92157 778041 1781019 | 1 24554 117 | 5.266 % | 83.98/84.05 c | 110306 | 92156 778021 1780816 | 1 24984 119 | 5.267 % | 83.98/84.05 c | 110419 | 92156 778021 1780816 | 1 25097 119 | 5.267 % | 83.98/84.05 c | 110653 | 92154 778021 1780816 | 1 25330 119 | 5.269 % | 83.98/84.05 c | 112101 | 92151 778006 1780642 | 1 26754 124 | 5.272 % | 83.98/84.05 c | 112393 | 92151 778006 1780642 | 1 27046 126 | 5.272 % | 83.98/84.05 c | 112495 | 92150 778006 1780642 | 1 27147 127 | 5.273 % | 83.98/84.05 c | 112777 | 92150 778006 1780642 | 1 27429 130 | 5.273 % | 83.98/84.05 c | 115483 | 92149 778006 1780642 | 1 30128 151 | 5.274 % | 83.98/84.05 c | 115584 | 92149 778006 1780642 | 1 30229 152 | 5.274 % | 83.98/84.05 c | 115685 | 92149 778006 1780642 | 1 30330 152 | 5.274 % | 83.98/84.05 c | 117329 | 92148 778006 1780642 | 1 31973 158 | 5.275 % | 83.98/84.05 c | 117571 | 92148 778006 1780642 | 1 32213 159 | 5.275 % | 83.98/84.05 c | 117745 | 92148 778006 1780642 | 1 32387 159 | 5.275 % | 83.98/84.05 c | 117985 | 92148 778006 1780642 | 1 32627 160 | 5.275 % | 83.98/84.05 c | 118235 | 92147 778006 1780642 | 1 32876 159 | 5.277 % | 83.98/84.05 c | 120560 | 91888 777974 1780404 | 1 35185 164 | 5.543 % | 83.98/84.05 c | 120661 | 91888 777974 1780404 | 1 35286 164 | 5.543 % | 83.98/84.05 c | 120761 | 91888 777974 1780404 | 1 35386 164 | 5.543 % | 83.98/84.05 c | 120861 | 91886 777974 1780404 | 1 35485 165 | 5.545 % | 83.98/84.05 c | 123447 | 91877 777928 1779982 | 1 38052 168 | 5.554 % | 83.98/84.05 c | 123551 | 91810 777928 1779982 | 1 38155 169 | 5.623 % | 83.98/84.05 c | 123877 | 91742 777928 1779982 | 1 38478 170 | 5.693 % | 83.98/84.05 c | 123988 | 91742 777928 1779982 | 1 38589 170 | 5.693 % | 83.98/84.05 c | 125214 | 91706 777928 1779982 | 1 39810 175 | 5.730 % | 83.98/84.05 c | 129989 | 91692 777840 1779218 | 1 22474 82 | 5.744 % | 83.98/84.05 c | 130089 | 91691 777840 1779218 | 1 22568 83 | 5.745 % | 83.98/84.05 c | 130242 | 91691 777840 1779218 | 1 22721 85 | 5.745 % | 83.98/84.05 c | 132811 | 91688 777840 1779218 | 1 25275 98 | 5.748 % | 83.98/84.05 c | 132991 | 91688 777840 1779218 | 1 25455 101 | 5.748 % | 83.98/84.05 c | 133091 | 91688 777840 1779218 | 1 25555 102 | 5.748 % | 83.98/84.05 c | 133191 | 91688 777840 1779218 | 1 25655 102 | 5.748 % | 83.98/84.05 c | 133291 | 91688 777840 1779218 | 1 25755 103 | 5.748 % | 83.98/84.05 c | 133435 | 91688 777840 1779218 | 1 25899 104 | 5.748 % | 83.98/84.05 c | 133818 | 91687 777840 1779218 | 1 26270 108 | 5.749 % | 83.98/84.05 c | 133918 | 91687 777840 1779218 | 1 26370 109 | 5.749 % | 83.98/84.05 c | 134021 | 91687 777840 1779218 | 1 26473 109 | 5.749 % | 109.38/109.46 c | 134282 | 91687 777840 1779218 | 1 26734 111 | 5.749 % | 109.38/109.46 c | 134382 | 91686 777840 1779218 | 1 26833 111 | 5.750 % | 109.38/109.46 c | 134775 | 91686 777840 1779218 | 1 27226 113 | 5.750 % | 109.38/109.46 c | 134883 | 91686 777840 1779218 | 1 27328 114 | 5.750 % | 109.38/109.46 c | 134983 | 91686 777840 1779218 | 1 27428 115 | 5.750 % | 109.38/109.46 c | 135192 | 91685 777840 1779218 | 1 27636 115 | 5.751 % | 109.38/109.46 c | 136150 | 91684 777840 1779218 | 1 28593 124 | 5.752 % | 109.38/109.46 c | 136436 | 91684 777840 1779218 | 1 28866 124 | 5.752 % | 109.38/109.46 c | 136806 | 91684 777840 1779218 | 1 29236 125 | 5.752 % | 109.38/109.46 c | 137252 | 91684 777840 1779218 | 1 29682 129 | 5.752 % | 109.38/109.46 c | 138282 | 91683 777840 1779218 | 1 30701 138 | 5.753 % | 109.38/109.46 c | 138386 | 91682 777840 1779218 | 1 30804 139 | 5.755 % | 109.38/109.46 c | 138486 | 91682 777840 1779218 | 1 30904 139 | 5.755 % | 109.38/109.46 c | 138631 | 91682 777840 1779218 | 1 31049 141 | 5.755 % | 109.38/109.46 c | 138731 | 91682 777840 1779218 | 1 31146 141 | 5.755 % | 109.38/109.46 c | 138833 | 91682 777840 1779218 | 1 31248 141 | 5.755 % | 109.38/109.46 c | 138933 | 91682 777840 1779218 | 1 31348 142 | 5.755 % | 109.38/109.46 c | 139035 | 91682 777840 1779218 | 1 31450 143 | 5.755 % | 109.38/109.46 c | 141982 | 91677 777840 1779218 | 1 34372 149 | 5.760 % | 109.38/109.46 c | 143080 | 91677 777840 1779218 | 1 35470 152 | 5.760 % | 109.38/109.46 c | 143613 | 91675 777825 1779044 | 1 35998 152 | 5.762 % | 109.38/109.46 c | 143757 | 91675 777825 1779044 | 1 36142 153 | 5.762 % | 109.38/109.46 c | 143862 | 91675 777825 1779044 | 1 36247 153 | 5.762 % | 109.38/109.46 c | 147340 | 91669 777825 1779044 | 1 39713 158 | 5.768 % | 109.38/109.46 c | 148402 | 91669 777825 1779044 | 1 40775 165 | 5.768 % | 109.38/109.46 c | 148504 | 91669 777825 1779044 | 1 40877 165 | 5.768 % | 109.38/109.46 c | 149245 | 91665 777796 1778699 | 1 41601 165 | 5.772 % | 109.38/109.46 c | 149600 | 91664 777796 1778699 | 1 41955 165 | 5.773 % | 109.38/109.46 c | 154035 | 91664 777796 1778699 | 1 46390 179 | 5.773 % | 109.38/109.46 c | 154708 | 91664 777796 1778699 | 1 47061 179 | 5.773 % | 109.38/109.46 c | 154809 | 91664 777796 1778699 | 1 47162 179 | 5.773 % | 109.38/109.46 c | 158041 | 91662 777796 1778699 | 1 25727 85 | 5.775 % | 109.38/109.46 c | 160436 | 91659 777781 1778524 | 1 28116 98 | 5.778 % | 109.38/109.46 c | 160536 | 91659 777781 1778524 | 1 28216 98 | 5.778 % | 109.38/109.46 c | 161555 | 91659 777781 1778524 | 1 29235 111 | 5.778 % | 109.38/109.46 c | 161655 | 91659 777781 1778524 | 1 29335 111 | 5.778 % | 109.38/109.46 c | 161858 | 91658 777781 1778524 | 1 29533 112 | 5.779 % | 109.38/109.46 c | 163050 | 91658 777781 1778524 | 1 30725 125 | 5.779 % | 109.38/109.46 c | 163153 | 91658 777781 1778524 | 1 30828 125 | 5.779 % | 109.38/109.46 c | 163808 | 91658 777781 1778524 | 1 31483 127 | 5.779 % | 109.38/109.46 c | 164265 | 91656 777781 1778524 | 1 31937 128 | 5.781 % | 109.38/109.46 c | 164549 | 91656 777781 1778524 | 1 32221 129 | 5.781 % | 109.38/109.46 c | 165638 | 91656 777781 1778524 | 1 33310 134 | 5.781 % | 109.38/109.46 c | 166068 | 91595 777781 1778524 | 1 33738 135 | 5.844 % | 109.38/109.46 c | 166168 | 91595 777781 1778524 | 1 33838 135 | 5.844 % | 109.38/109.46 c | 167277 | 91590 777781 1778524 | 1 34942 139 | 5.849 % | 109.38/109.46 c | 168934 | 91588 777780 1778521 | 1 36595 143 | 5.851 % | 109.38/109.46 c | 169313 | 91587 777780 1778521 | 1 36972 144 | 5.852 % | 109.38/109.46 c | 169919 | 91587 777780 1778521 | 1 37578 149 | 5.852 % | 109.38/109.46 c | 170087 | 91587 777780 1778521 | 1 37746 149 | 5.852 % | 133.09/133.13 c | 170189 | 91586 777780 1778521 | 1 37847 149 | 5.853 % | 133.09/133.13 c | 170291 | 91586 777780 1778521 | 1 37949 150 | 5.853 % | 133.09/133.13 c | 171004 | 91583 777778 1778510 | 1 38657 151 | 5.856 % | 133.09/133.13 c | 171312 | 91583 777778 1778510 | 1 38965 151 | 5.856 % | 133.09/133.13 c | 173908 | 91581 777778 1778510 | 1 41550 156 | 5.858 % | 133.09/133.13 c | 174008 | 91581 777778 1778510 | 1 41650 156 | 5.858 % | 133.09/133.13 c | 174542 | 91581 777778 1778510 | 1 42184 160 | 5.858 % | 133.09/133.13 c | 174642 | 91581 777778 1778510 | 1 42284 160 | 5.858 % | 133.09/133.13 c | 175105 | 91580 777778 1778510 | 1 42745 163 | 5.859 % | 133.09/133.13 c | 175315 | 91579 777778 1778510 | 1 42954 164 | 5.860 % | 133.09/133.13 c | 175415 | 91578 777778 1778510 | 1 43053 164 | 5.861 % | 133.09/133.13 c | 175858 | 91578 777778 1778510 | 1 43496 165 | 5.861 % | 133.09/133.13 c | 175958 | 91578 777778 1778510 | 1 43596 166 | 5.861 % | 133.09/133.13 c | 176449 | 91577 777778 1778510 | 1 44086 169 | 5.862 % | 133.09/133.13 c | 176575 | 91577 777778 1778510 | 1 44212 169 | 5.862 % | 133.09/133.13 c | 178819 | 91577 777778 1778510 | 1 46456 176 | 5.862 % | 133.09/133.13 c | 182366 | 91574 777776 1778504 | 1 49998 181 | 5.866 % | 133.09/133.13 c | 182731 | 91574 777776 1778504 | 1 50363 183 | 5.866 % | 133.09/133.13 c | 182832 | 91574 777776 1778504 | 1 50464 183 | 5.866 % | 133.09/133.13 c | 183135 | 91574 777776 1778504 | 1 50767 183 | 5.866 % | 133.09/133.13 c | 183717 | 91574 777776 1778504 | 1 51349 184 | 5.866 % | 133.09/133.13 c | 185184 | 91573 777775 1778500 | 1 52813 184 | 5.867 % | 133.09/133.13 c | 185601 | 91573 777775 1778500 | 1 53230 185 | 5.867 % | 133.09/133.13 c | 186391 | 91573 777775 1778500 | 1 54020 189 | 5.867 % | 133.09/133.13 c | 186491 | 91573 777775 1778500 | 1 54115 189 | 5.867 % | 133.09/133.13 c | 186669 | 91570 777775 1778500 | 1 54290 190 | 5.870 % | 133.09/133.13 c | 186769 | 91570 777775 1778500 | 1 54390 190 | 5.870 % | 133.09/133.13 c | 187343 | 91568 777775 1778500 | 1 27663 76 | 5.872 % | 133.09/133.13 c | 187444 | 91568 777775 1778500 | 1 27764 76 | 5.872 % | 133.09/133.13 c | 187953 | 91568 777775 1778500 | 1 28273 79 | 5.872 % | 133.09/133.13 c | 188181 | 91568 777775 1778500 | 1 28501 80 | 5.872 % | 133.09/133.13 c | 188281 | 91568 777775 1778500 | 1 28601 80 | 5.872 % | 133.09/133.13 c | 188543 | 91568 777761 1778375 | 1 28853 81 | 5.872 % | 133.09/133.13 c | 191081 | 91568 777761 1778375 | 1 31391 97 | 5.872 % | 133.09/133.13 c | 192358 | 91568 777761 1778375 | 1 32668 108 | 5.872 % | 133.09/133.13 c | 192463 | 91568 777761 1778375 | 1 32773 109 | 5.872 % | 133.09/133.13 c | 193698 | 91568 777761 1778375 | 1 34008 114 | 5.872 % | 133.09/133.13 c | 193929 | 91568 777761 1778375 | 1 34239 115 | 5.872 % | 133.09/133.13 c | 194727 | 91566 777761 1778375 | 1 35035 116 | 5.874 % | 133.09/133.13 c | 194855 | 91566 777761 1778375 | 1 35163 116 | 5.874 % | 133.09/133.13 c | 194955 | 91566 777761 1778375 | 1 35263 116 | 5.874 % | 133.09/133.13 c | 197022 | 91565 777761 1778375 | 1 37329 120 | 5.875 % | 133.09/133.13 c | 197540 | 91564 777761 1778375 | 1 37840 122 | 5.876 % | 133.09/133.13 c | 197641 | 91564 777761 1778375 | 1 37941 122 | 5.876 % | 133.09/133.13 c | 197741 | 91564 777761 1778375 | 1 38041 123 | 5.876 % | 133.09/133.13 c | 198443 | 91562 777761 1778375 | 1 38719 127 | 5.878 % | 133.09/133.13 c | 199612 | 91562 777761 1778375 | 1 39888 133 | 5.878 % | 133.09/133.13 c | 201752 | 91561 777761 1778375 | 1 42024 149 | 5.879 % | 133.09/133.13 c | 201854 | 91561 777761 1778375 | 1 42126 149 | 5.879 % | 133.09/133.13 c | 202314 | 91560 777761 1778375 | 1 42580 151 | 5.880 % | 178.09/178.15 c | 202415 | 91560 777761 1778375 | 1 42681 152 | 5.880 % | 178.09/178.15 c | 202515 | 91560 777761 1778375 | 1 42781 152 | 5.880 % | 178.09/178.15 c | 202698 | 91560 777761 1778375 | 1 42964 152 | 5.880 % | 178.09/178.15 c | 203193 | 91531 777761 1778375 | 1 43456 153 | 5.910 % | 178.09/178.15 c | 203728 | 91530 777758 1778336 | 1 43976 153 | 5.911 % | 178.09/178.15 c | 207898 | 91530 777758 1778336 | 1 48146 161 | 5.911 % | 178.09/178.15 c | 209648 | 91463 777758 1778336 | 1 49887 161 | 5.980 % | 178.09/178.15 c | 215964 | 91461 777742 1778194 | 1 56171 178 | 5.982 % | 178.09/178.15 c | 220384 | 91425 777739 1778155 | 1 30675 81 | 6.019 % | 178.09/178.15 c | 220826 | 91425 777739 1778155 | 1 31117 85 | 6.019 % | 178.09/178.15 c | 220928 | 91425 777739 1778155 | 1 31219 86 | 6.019 % | 178.09/178.15 c | 222040 | 91425 777739 1778155 | 1 32331 100 | 6.019 % | 178.09/178.15 c | 225140 | 91425 777739 1778155 | 1 35431 110 | 6.019 % | 178.09/178.15 c | 225323 | 91425 777739 1778155 | 1 35614 112 | 6.019 % | 178.09/178.15 c | 225423 | 91425 777739 1778155 | 1 35714 112 | 6.019 % | 178.09/178.15 c | 226103 | 91424 777739 1778155 | 1 36389 118 | 6.020 % | 178.09/178.15 c | 226209 | 91423 777739 1778155 | 1 36494 118 | 6.021 % | 178.09/178.15 c | 227931 | 91422 777739 1778155 | 1 38215 127 | 6.022 % | 178.09/178.15 c | 231861 | 91421 777737 1778149 | 1 42131 135 | 6.023 % | 178.09/178.15 c | 235000 | 91420 777737 1778149 | 1 45266 138 | 6.024 % | 178.09/178.15 c | 236042 | 91420 777737 1778149 | 1 46308 140 | 6.024 % | 178.09/178.15 c | 236206 | 91420 777737 1778149 | 1 46472 141 | 6.024 % | 178.09/178.15 c | 236323 | 91420 777737 1778149 | 1 46589 141 | 6.024 % | 178.09/178.15 c | 236424 | 91420 777737 1778149 | 1 46690 141 | 6.024 % | 178.09/178.15 c | 237237 | 91420 777737 1778149 | 1 47503 144 | 6.024 % | 178.09/178.15 c | 237337 | 91420 777737 1778149 | 1 47603 144 | 6.024 % | 178.09/178.15 c | 237496 | 91419 777737 1778149 | 1 47760 145 | 6.025 % | 178.09/178.15 c | 237600 | 91419 777737 1778149 | 1 47864 145 | 6.025 % | 178.09/178.15 c | 238452 | 91417 777737 1778149 | 1 48714 146 | 6.027 % | 178.09/178.15 c | 238619 | 91416 777737 1778149 | 1 48880 147 | 6.028 % | 178.09/178.15 c | 246988 | 91414 777723 1778024 | 1 57230 157 | 6.030 % | 178.09/178.15 c | 247088 | 91414 777723 1778024 | 1 57330 157 | 6.030 % | 178.09/178.15 c | 248315 | 91414 777723 1778024 | 1 58557 157 | 6.030 % | 178.09/178.15 c | 249169 | 91412 777723 1778024 | 1 59409 159 | 6.032 % | 178.09/178.15 c | 249518 | 91412 777723 1778024 | 1 59758 160 | 6.032 % | 178.09/178.15 c | 249724 | 91411 777723 1778024 | 1 59963 160 | 6.033 % | 178.09/178.15 c | 249988 | 91407 777723 1778024 | 1 60223 160 | 6.037 % | 178.09/178.15 c | 250088 | 91407 777723 1778024 | 1 60323 160 | 6.037 % | 178.09/178.15 c | 250188 | 91407 777723 1778024 | 1 60423 161 | 6.037 % | 178.09/178.15 c | 250597 | 91407 777723 1778024 | 1 60832 161 | 6.037 % | 178.09/178.15 c | 252188 | 91403 777723 1778024 | 1 62416 163 | 6.041 % | 178.09/178.15 c | 254656 | 91402 777713 1777960 | 1 64876 166 | 6.042 % | 178.09/178.15 c | 254759 | 91402 777713 1777960 | 1 64979 166 | 6.042 % | 178.09/178.15 c | 255383 | 91401 777713 1777960 | 1 33098 72 | 6.043 % | 178.09/178.15 c | 255484 | 91401 777713 1777960 | 1 33199 72 | 6.043 % | 178.09/178.15 c | 258379 | 91398 777713 1777960 | 1 36023 81 | 6.046 % | 178.09/178.15 c | 258480 | 91398 777713 1777960 | 1 36124 82 | 6.046 % | 178.09/178.15 c | 258580 | 91398 777713 1777960 | 1 36224 82 | 6.046 % | 178.09/178.15 c | 258726 | 91398 777713 1777960 | 1 36370 83 | 6.046 % | 178.09/178.15 c | 258827 | 91398 777713 1777960 | 1 36471 83 | 6.046 % | 211.09/211.15 c | 259669 | 91397 777713 1777960 | 1 37312 90 | 6.047 % | 211.09/211.15 c | 259964 | 91397 777713 1777960 | 1 37607 92 | 6.047 % | 211.09/211.15 c | 260584 | 91397 777713 1777960 | 1 38227 93 | 6.047 % | 211.09/211.15 c | 261296 | 91397 777713 1777960 | 1 38939 96 | 6.047 % | 211.09/211.15 c | 264537 | 91393 777698 1777786 | 1 42174 105 | 6.052 % | 211.09/211.15 c | 265119 | 91393 777696 1777775 | 1 42752 108 | 6.052 % | 211.09/211.15 c | 265222 | 91393 777696 1777775 | 1 42855 108 | 6.052 % | 211.09/211.15 c | 265323 | 91393 777696 1777775 | 1 42956 109 | 6.052 % | 211.09/211.15 c | 265436 | 91393 777696 1777775 | 1 43069 109 | 6.052 % | 211.09/211.15 c | 265536 | 91393 777696 1777775 | 1 43169 110 | 6.052 % | 211.09/211.15 c | 265637 | 91393 777696 1777775 | 1 43270 110 | 6.052 % | 211.09/211.15 c | 265737 | 91393 777696 1777775 | 1 43370 110 | 6.052 % | 211.09/211.15 c | 265907 | 91393 777696 1777775 | 1 43540 110 | 6.052 % | 211.09/211.15 c | 266484 | 91392 777696 1777775 | 1 44115 111 | 6.053 % | 211.09/211.15 c | 266585 | 91392 777696 1777775 | 1 44216 112 | 6.053 % | 211.09/211.15 c | 272328 | 91333 777675 1777655 | 1 49955 119 | 6.113 % | 211.09/211.15 c | 273045 | 91333 777675 1777655 | 1 50672 121 | 6.113 % | 211.09/211.15 c | 273153 | 91333 777675 1777655 | 1 50780 121 | 6.113 % | 211.09/211.15 c | 273323 | 91333 777675 1777655 | 1 50950 121 | 6.113 % | 211.09/211.15 c | 273457 | 91333 777675 1777655 | 1 51084 122 | 6.113 % | 211.09/211.15 c | 274493 | 91333 777675 1777655 | 1 52120 123 | 6.113 % | 211.09/211.15 c | 274623 | 91332 777675 1777655 | 1 52249 124 | 6.114 % | 211.09/211.15 c | 274786 | 91332 777675 1777655 | 1 52412 124 | 6.114 % | 211.09/211.15 c | 275042 | 91332 777675 1777655 | 1 52668 126 | 6.114 % | 211.09/211.15 c | 275434 | 91331 777675 1777655 | 1 53059 127 | 6.115 % | 211.09/211.15 c | 275539 | 91329 777675 1777655 | 1 53162 127 | 6.117 % | 211.09/211.15 c | 276011 | 91328 777675 1777655 | 1 53633 128 | 6.118 % | 211.09/211.15 c | 276496 | 91328 777675 1777655 | 1 54109 130 | 6.118 % | 211.09/211.15 c | 276787 | 91328 777675 1777655 | 1 54400 131 | 6.118 % | 211.09/211.15 c | 276953 | 91328 777675 1777655 | 1 54566 131 | 6.118 % | 211.09/211.15 c | 277396 | 91328 777675 1777655 | 1 55009 132 | 6.118 % | 211.09/211.15 c | 278054 | 91328 777675 1777655 | 1 55667 133 | 6.118 % | 211.09/211.15 c | 278157 | 91327 777675 1777655 | 1 55769 133 | 6.119 % | 211.09/211.15 c | 278353 | 91327 777675 1777655 | 1 55965 134 | 6.119 % | 211.09/211.15 c | 278454 | 91327 777675 1777655 | 1 56066 135 | 6.119 % | 211.09/211.15 c | 279601 | 91326 777675 1777655 | 1 57212 137 | 6.120 % | 211.09/211.15 c | 280446 | 91326 777675 1777655 | 1 58057 139 | 6.120 % | 211.09/211.15 c | 280546 | 91326 777675 1777655 | 1 58155 139 | 6.120 % | 211.09/211.15 c | 284163 | 91324 777675 1777655 | 1 61761 142 | 6.123 % | 211.09/211.15 c | 284282 | 91323 777675 1777655 | 1 61879 142 | 6.124 % | 211.09/211.15 c | 285377 | 91322 777675 1777655 | 1 62973 143 | 6.125 % | 211.09/211.15 c | 285477 | 91322 777675 1777655 | 1 63073 143 | 6.125 % | 211.09/211.15 c | 285582 | 91322 777675 1777655 | 1 63178 144 | 6.125 % | 211.09/211.15 c | 285682 | 91322 777675 1777655 | 1 63278 144 | 6.125 % | 211.09/211.15 c | 287126 | 91322 777675 1777655 | 1 64722 146 | 6.125 % | 211.09/211.15 c | 287229 | 91322 777675 1777655 | 1 64817 146 | 6.125 % | 211.09/211.15 c | 287358 | 91322 777675 1777655 | 1 64946 146 | 6.125 % | 211.09/211.15 c | 298578 | 91320 777675 1777655 | 1 41078 85 | 6.127 % | 211.09/211.15 c | 298678 | 91319 777675 1777655 | 1 41177 86 | 6.128 % | 211.09/211.15 c | 299627 | 91319 777675 1777655 | 1 42126 90 | 6.128 % | 246.08/246.12 c | 300477 | 91319 777675 1777655 | 1 42972 92 | 6.128 % | 246.08/246.12 c | 304302 | 91319 777675 1777655 | 1 46797 110 | 6.128 % | 246.08/246.12 c | 304721 | 91319 777675 1777655 | 1 47216 110 | 6.128 % | 246.08/246.12 c | 304821 | 91318 777675 1777655 | 1 47308 111 | 6.129 % | 246.08/246.12 c | 305339 | 91318 777675 1777655 | 1 47826 111 | 6.129 % | 246.08/246.12 c | 308465 | 91318 777675 1777655 | 1 50952 123 | 6.129 % | 246.08/246.12 c | 308581 | 91318 777675 1777655 | 1 51068 123 | 6.129 % | 246.08/246.12 c | 308804 | 91318 777675 1777655 | 1 51291 123 | 6.129 % | 246.08/246.12 c | 309649 | 91317 777675 1777655 | 1 52128 125 | 6.130 % | 246.08/246.12 c | 314829 | 91317 777675 1777655 | 1 57308 131 | 6.130 % | 246.08/246.12 c | 315027 | 91317 777675 1777655 | 1 57506 131 | 6.130 % | 246.08/246.12 c | 315833 | 91317 777675 1777655 | 1 58312 134 | 6.130 % | 246.08/246.12 c | 315935 | 91317 777675 1777655 | 1 58414 135 | 6.130 % | 246.08/246.12 c | 316142 | 91317 777675 1777655 | 1 58621 135 | 6.130 % | 246.08/246.12 c | 316368 | 91317 777675 1777655 | 1 58847 136 | 6.130 % | 246.08/246.12 c | 316513 | 91317 777675 1777655 | 1 58992 137 | 6.130 % | 246.08/246.12 c | 316614 | 91316 777675 1777655 | 1 59088 137 | 6.131 % | 246.08/246.12 c | 317023 | 91316 777675 1777655 | 1 59497 138 | 6.131 % | 246.08/246.12 c | 317123 | 91316 777675 1777655 | 1 59597 138 | 6.131 % | 246.08/246.12 c | 317225 | 91316 777675 1777655 | 1 59699 138 | 6.131 % | 246.08/246.12 c | 317429 | 91315 777675 1777655 | 1 59902 138 | 6.132 % | 246.08/246.12 c | 317581 | 91313 777675 1777655 | 1 60052 139 | 6.134 % | 246.08/246.12 c | 317685 | 91313 777675 1777655 | 1 60156 139 | 6.134 % | 246.08/246.12 c | 318751 | 91313 777675 1777655 | 1 61222 146 | 6.134 % | 246.08/246.12 c | 318852 | 91313 777675 1777655 | 1 61318 146 | 6.134 % | 246.08/246.12 c | 318952 | 91313 777675 1777655 | 1 61418 146 | 6.134 % | 246.08/246.12 c | 319092 | 91313 777675 1777655 | 1 61558 147 | 6.134 % | 246.08/246.12 c | 327084 | 91312 777675 1777655 | 1 69549 159 | 6.135 % | 246.08/246.12 c | 327469 | 91312 777675 1777655 | 1 69931 160 | 6.135 % | 246.08/246.12 c | 328398 | 91310 777675 1777655 | 1 70858 163 | 6.137 % | 246.08/246.12 c | 328500 | 91310 777675 1777655 | 1 70960 163 | 6.137 % | 246.08/246.12 c | 329946 | 91310 777675 1777655 | 1 72406 163 | 6.137 % | 246.08/246.12 c | 330576 | 91310 777675 1777655 | 1 73034 163 | 6.137 % | 246.08/246.12 c | 330683 | 91310 777675 1777655 | 1 73141 163 | 6.137 % | 246.08/246.12 c | 330968 | 91310 777675 1777655 | 1 73426 164 | 6.137 % | 246.08/246.12 c | 331252 | 91310 777675 1777655 | 1 73710 164 | 6.137 % | 246.08/246.12 c | 331607 | 91310 777675 1777655 | 1 74065 164 | 6.137 % | 246.08/246.12 c | 331906 | 91309 777675 1777655 | 1 74363 164 | 6.138 % | 246.08/246.12 c | 334319 | 91309 777675 1777655 | 1 39056 84 | 6.138 % | 246.08/246.12 c | 334561 | 91192 777675 1777655 | 1 39296 85 | 6.258 % | 246.08/246.12 c | 334939 | 91191 777675 1777655 | 1 39673 87 | 6.259 % | 246.08/246.12 c | 336017 | 91191 777675 1777655 | 1 40751 90 | 6.259 % | 246.08/246.12 c | 336121 | 91191 777651 1777473 | 1 40849 90 | 6.259 % | 246.08/246.12 c | 336222 | 91191 777651 1777473 | 1 40950 91 | 6.259 % | 246.08/246.12 c | 337116 | 91191 777651 1777473 | 1 41844 93 | 6.259 % | 246.08/246.12 c | 337246 | 91191 777651 1777473 | 1 41974 93 | 6.259 % | 246.08/246.12 c | 338118 | 91191 777651 1777473 | 1 42846 98 | 6.259 % | 246.08/246.12 c | 338955 | 91191 777651 1777473 | 1 43683 100 | 6.259 % | 246.08/246.12 c | 339059 | 91191 777651 1777473 | 1 43787 100 | 6.259 % | 246.08/246.12 c | 342211 | 91191 777651 1777473 | 1 46939 114 | 6.259 % | 286.69/286.77 c | 342394 | 91191 777651 1777473 | 1 47122 115 | 6.259 % | 286.69/286.77 c | 347346 | 91190 777651 1777473 | 1 52071 125 | 6.260 % | 286.69/286.77 c | 347446 | 91190 777651 1777473 | 1 52171 126 | 6.260 % | 286.69/286.77 c | 347547 | 91190 777651 1777473 | 1 52272 126 | 6.260 % | 286.69/286.77 c | 347720 | 91189 777651 1777473 | 1 52444 126 | 6.261 % | 286.69/286.77 c | 347822 | 91189 777651 1777473 | 1 52546 126 | 6.261 % | 286.69/286.77 c | 349528 | 91189 777651 1777473 | 1 54252 130 | 6.261 % | 286.69/286.77 c | 349629 | 91188 777651 1777473 | 1 54347 130 | 6.262 % | 286.69/286.77 c | 352100 | 91188 777651 1777473 | 1 56818 131 | 6.262 % | 286.69/286.77 c | 353042 | 91188 777651 1777473 | 1 57759 133 | 6.262 % | 286.69/286.77 c | 354642 | 91188 777651 1777473 | 1 59359 135 | 6.262 % | 286.69/286.77 c | 356474 | 91186 777651 1777473 | 1 61189 137 | 6.264 % | 286.69/286.77 c | 356966 | 91186 777651 1777473 | 1 61678 138 | 6.264 % | 286.69/286.77 c | 365615 | 91185 777651 1777473 | 1 70319 145 | 6.265 % | 286.69/286.77 c | 366045 | 91185 777651 1777473 | 1 70749 146 | 6.265 % | 286.69/286.77 c | 367798 | 91185 777651 1777473 | 1 72502 152 | 6.265 % | 286.69/286.77 c | 368083 | 91185 777651 1777473 | 1 72787 152 | 6.265 % | 286.69/286.77 c | 368183 | 91185 777651 1777473 | 1 72887 152 | 6.265 % | 286.69/286.77 c | 368284 | 91185 777651 1777473 | 1 72988 153 | 6.265 % | 286.69/286.77 c | 368680 | 91185 777651 1777473 | 1 73384 154 | 6.265 % | 286.69/286.77 c | 368782 | 91185 777651 1777473 | 1 73486 154 | 6.265 % | 286.69/286.77 c | 369088 | 91185 777651 1777473 | 1 73792 155 | 6.265 % | 286.69/286.77 c | 369193 | 91185 777651 1777473 | 1 73897 155 | 6.265 % | 286.69/286.77 c | 371508 | 91185 777651 1777473 | 1 76212 158 | 6.265 % | 286.69/286.77 c | 372597 | 91174 777593 1776827 | 1 77260 158 | 6.277 % | 286.69/286.77 c | 372708 | 91174 777593 1776827 | 1 77371 158 | 6.277 % | 286.69/286.77 c | 372810 | 91173 777593 1776827 | 1 77472 158 | 6.278 % | 286.69/286.77 c | 372912 | 91173 777593 1776827 | 1 77574 159 | 6.278 % | 286.69/286.77 c | 375888 | 91173 777593 1776827 | 1 80550 164 | 6.278 % | 286.69/286.77 c | 376177 | 91173 777593 1776827 | 1 40517 69 | 6.278 % | 286.69/286.77 c | 376277 | 91173 777593 1776827 | 1 40617 69 | 6.278 % | 286.69/286.77 c | 376377 | 91173 777593 1776827 | 1 40717 70 | 6.278 % | 286.69/286.77 c | 376728 | 91173 777593 1776827 | 1 41068 72 | 6.278 % | 286.69/286.77 c | 376995 | 91172 777593 1776827 | 1 41334 73 | 6.279 % | 286.69/286.77 c | 377095 | 91172 777593 1776827 | 1 41434 74 | 6.279 % | 286.69/286.77 c | 377197 | 91172 777593 1776827 | 1 41536 75 | 6.279 % | 286.69/286.77 c | 377376 | 91172 777593 1776827 | 1 41715 77 | 6.279 % | 286.69/286.77 c | 378697 | 91172 777593 1776827 | 1 43036 84 | 6.279 % | 286.69/286.77 c | 378929 | 91171 777593 1776827 | 1 43261 85 | 6.280 % | 286.69/286.77 c | 379516 | 91171 777593 1776827 | 1 43848 86 | 6.280 % | 286.69/286.77 c | 379766 | 91171 777593 1776827 | 1 44098 87 | 6.280 % | 286.69/286.77 c | 381000 | 91171 777593 1776827 | 1 45332 96 | 6.280 % | 286.69/286.77 c | 381273 | 91171 777593 1776827 | 1 45605 97 | 6.280 % | 286.69/286.77 c | 381519 | 91171 777593 1776827 | 1 45851 98 | 6.280 % | 286.69/286.77 c | 381621 | 91171 777593 1776827 | 1 45953 98 | 6.280 % | 286.69/286.77 c | 383926 | 91171 777593 1776827 | 1 48258 107 | 6.280 % | 286.69/286.77 c | 384114 | 91170 777593 1776827 | 1 48444 108 | 6.281 % | 286.69/286.77 c | 386801 | 91170 777593 1776827 | 1 51131 116 | 6.281 % | 286.69/286.77 c | 388309 | 91109 777589 1776815 | 1 52638 123 | 6.344 % | 286.69/286.77 c | 388410 | 91109 777589 1776815 | 1 52739 123 | 6.344 % | 325.68/325.72 c | 388997 | 91109 777589 1776815 | 1 53326 126 | 6.344 % | 325.68/325.72 c | 389098 | 91109 777589 1776815 | 1 53427 126 | 6.344 % | 325.68/325.72 c | 389785 | 91108 777589 1776815 | 1 54113 129 | 6.345 % | 325.68/325.72 c | 394967 | 91106 777589 1776815 | 1 59286 137 | 6.347 % | 325.68/325.72 c | 395773 | 91106 777589 1776815 | 1 60092 139 | 6.347 % | 325.68/325.72 c | 395875 | 91106 777589 1776815 | 1 60194 139 | 6.347 % | 325.68/325.72 c | 397597 | 91106 777589 1776815 | 1 61916 142 | 6.347 % | 325.68/325.72 c | 397699 | 91106 777589 1776815 | 1 62018 142 | 6.347 % | 325.68/325.72 c | 398840 | 91106 777589 1776815 | 1 63159 147 | 6.347 % | 325.68/325.72 c | 398940 | 91106 777589 1776815 | 1 63259 147 | 6.347 % | 325.68/325.72 c | 399293 | 91106 777589 1776815 | 1 63612 148 | 6.347 % | 325.68/325.72 c | 399394 | 91106 777589 1776815 | 1 63713 148 | 6.347 % | 325.68/325.72 c | 401185 | 91103 777588 1776811 | 1 65498 150 | 6.350 % | 325.68/325.72 c | 402039 | 91100 777588 1776811 | 1 66351 152 | 6.353 % | 325.68/325.72 c | 402139 | 91100 777588 1776811 | 1 66451 152 | 6.353 % | 325.68/325.72 c | 403759 | 91100 777588 1776811 | 1 68071 155 | 6.353 % | 325.68/325.72 c | 403861 | 91100 777574 1776686 | 1 68162 155 | 6.353 % | 325.68/325.72 c | 405214 | 91100 777574 1776686 | 1 69515 156 | 6.353 % | 325.68/325.72 c | 409728 | 91099 777574 1776686 | 1 74028 157 | 6.354 % | 325.68/325.72 c | 410650 | 91099 777574 1776686 | 1 74950 158 | 6.354 % | 325.68/325.72 c | 410751 | 91099 777574 1776686 | 1 75051 158 | 6.354 % | 325.68/325.72 c | 410851 | 91099 777574 1776686 | 1 75151 158 | 6.354 % | 325.68/325.72 c | 410954 | 91099 777574 1776686 | 1 75254 159 | 6.354 % | 325.68/325.72 c | 411054 | 91098 777574 1776686 | 1 75353 159 | 6.355 % | 325.68/325.72 c | 413502 | 91098 777574 1776686 | 1 77801 158 | 6.355 % | 325.68/325.72 c | 413603 | 91098 777574 1776686 | 1 77900 158 | 6.355 % | 325.68/325.72 c | 414318 | 91098 777574 1776686 | 1 78615 160 | 6.355 % | 325.68/325.72 c | 414418 | 91098 777574 1776686 | 1 78715 160 | 6.355 % | 325.68/325.72 c | 416056 | 91098 777574 1776686 | 1 80353 162 | 6.355 % | 325.68/325.72 c | 417647 | 91098 777574 1776686 | 1 81944 163 | 6.355 % | 325.68/325.72 c | 417749 | 91098 777574 1776686 | 1 82046 163 | 6.355 % | 325.68/325.72 c | 419723 | 91098 777574 1776686 | 1 84020 165 | 6.355 % | 325.68/325.72 c | 419824 | 91098 777574 1776686 | 1 84121 165 | 6.355 % | 325.68/325.72 c | 419924 | 91098 777574 1776686 | 1 84221 165 | 6.355 % | 325.68/325.72 c | 421068 | 91098 777574 1776686 | 1 85365 165 | 6.355 % | 325.68/325.72 c | 421443 | 91098 777574 1776686 | 1 85740 165 | 6.355 % | 325.68/325.72 c | 423149 | 91098 777574 1776686 | 1 44507 82 | 6.355 % | 325.68/325.72 c | 423322 | 91098 777574 1776686 | 1 44680 82 | 6.355 % | 325.68/325.72 c | 424179 | 91098 777574 1776686 | 1 45537 85 | 6.355 % | 325.68/325.72 c | 424380 | 91096 777574 1776686 | 1 45735 85 | 6.357 % | 325.68/325.72 c | 424609 | 91096 777574 1776686 | 1 45964 86 | 6.357 % | 325.68/325.72 c | 424709 | 91096 777574 1776686 | 1 46064 86 | 6.357 % | 325.68/325.72 c | 424810 | 91096 777574 1776686 | 1 46165 87 | 6.357 % | 325.68/325.72 c | 425929 | 90572 777574 1776686 | 1 47277 89 | 6.896 % | 325.68/325.72 c | 426189 | 90572 777574 1776686 | 1 47537 91 | 6.896 % | 325.68/325.72 c | 429367 | 90571 777502 1775853 | 1 50685 104 | 6.897 % | 325.68/325.72 c | 429662 | 90571 777502 1775853 | 1 50980 104 | 6.897 % | 325.68/325.72 c | 430272 | 90561 777502 1775853 | 1 51589 107 | 6.907 % | 325.68/325.72 c | 430373 | 90561 777502 1775853 | 1 51690 107 | 6.907 % | 325.68/325.72 c | 431462 | 90561 777502 1775853 | 1 52779 114 | 6.907 % | 386.98/387.03 c | 431623 | 90561 777500 1775836 | 1 52937 115 | 6.907 % | 386.98/387.03 c | 433700 | 90559 777500 1775836 | 1 55008 119 | 6.909 % | 386.98/387.03 c | 433800 | 90559 777500 1775836 | 1 55108 120 | 6.909 % | 386.98/387.03 c | 434205 | 90543 777500 1775836 | 1 55512 121 | 6.925 % | 386.98/387.03 c | 435054 | 90542 777500 1775836 | 1 56360 123 | 6.926 % | 386.98/387.03 c | 435287 | 90542 777500 1775836 | 1 56593 124 | 6.926 % | 386.98/387.03 c | 435387 | 90542 777473 1775626 | 1 56672 124 | 6.926 % | 386.98/387.03 c | 435487 | 90542 777473 1775626 | 1 56772 124 | 6.926 % | 386.98/387.03 c | 435688 | 90542 777473 1775626 | 1 56973 125 | 6.926 % | 386.98/387.03 c | 437408 | 90542 777473 1775626 | 1 58693 128 | 6.926 % | 386.98/387.03 c | 439680 | 90541 777473 1775626 | 1 60963 132 | 6.927 % | 386.98/387.03 c | 439780 | 90541 777473 1775626 | 1 61063 132 | 6.927 % | 386.98/387.03 c | 440540 | 90541 777473 1775626 | 1 61823 133 | 6.927 % | 386.98/387.03 c | 440640 | 90541 777473 1775626 | 1 61923 133 | 6.927 % | 386.98/387.03 c | 441189 | 90540 777473 1775626 | 1 62469 134 | 6.928 % | 386.98/387.03 c | 444695 | 90539 777473 1775626 | 1 65974 140 | 6.929 % | 386.98/387.03 c | 447548 | 90538 777473 1775626 | 1 68822 146 | 6.931 % | 386.98/387.03 c | 447648 | 90538 777473 1775626 | 1 68922 146 | 6.931 % | 386.98/387.03 c | 448064 | 90538 777473 1775626 | 1 69338 147 | 6.931 % | 386.98/387.03 c | 454316 | 90538 777473 1775626 | 1 75590 157 | 6.931 % | 386.98/387.03 c | 454416 | 90537 777473 1775626 | 1 75689 157 | 6.932 % | 386.98/387.03 c | 454800 | 90536 777473 1775626 | 1 76072 157 | 6.933 % | 386.98/387.03 c | 454904 | 90536 777473 1775626 | 1 76176 158 | 6.933 % | 386.98/387.03 c | 455886 | 90536 777473 1775626 | 1 77158 158 | 6.933 % | 386.98/387.03 c | 457503 | 90536 777473 1775626 | 1 78775 159 | 6.933 % | 386.98/387.03 c | 457688 | 90536 777473 1775626 | 1 78960 159 | 6.933 % | 386.98/387.03 c | 457791 | 90536 777473 1775626 | 1 79063 160 | 6.933 % | 386.98/387.03 c | 457891 | 90536 777473 1775626 | 1 79163 160 | 6.933 % | 386.98/387.03 c | 459902 | 90536 777473 1775626 | 1 81174 164 | 6.933 % | 386.98/387.03 c | 460423 | 90536 777473 1775626 | 1 81695 164 | 6.933 % | 386.98/387.03 c | 474381 | 90510 777471 1775597 | 1 50110 92 | 6.959 % | 386.98/387.03 c | 476146 | 90509 777471 1775597 | 1 51869 99 | 6.960 % | 386.98/387.03 c | 476247 | 90509 777471 1775597 | 1 51970 100 | 6.960 % | 386.98/387.03 c | 476347 | 90509 777471 1775597 | 1 52070 100 | 6.960 % | 386.98/387.03 c | 476447 | 90391 777449 1775422 | 1 52162 101 | 7.082 % | 386.98/387.03 c | 476547 | 90391 777449 1775422 | 1 52262 101 | 7.082 % | 386.98/387.03 c | 476969 | 90391 777449 1775422 | 1 52684 102 | 7.082 % | 386.98/387.03 c | 479912 | 90391 777449 1775422 | 1 55627 106 | 7.082 % | 386.98/387.03 c | 480583 | 90391 777449 1775422 | 1 56298 108 | 7.082 % | 386.98/387.03 c | 481244 | 90391 777449 1775422 | 1 56959 110 | 7.082 % | 386.98/387.03 c | 481344 | 90391 777449 1775422 | 1 57059 110 | 7.082 % | 386.98/387.03 c | 484206 | 90390 777449 1775422 | 1 59917 116 | 7.083 % | 386.98/387.03 c | 484920 | 90389 777449 1775422 | 1 60630 117 | 7.084 % | 386.98/387.03 c | 485020 | 90389 777449 1775422 | 1 60730 117 | 7.084 % | 386.98/387.03 c | 487811 | 90388 777449 1775422 | 1 63518 123 | 7.085 % | 386.98/387.03 c | 488197 | 90388 777449 1775422 | 1 63904 124 | 7.085 % | 386.98/387.03 c | 491792 | 89803 777449 1775422 | 1 67498 129 | 7.686 % | 386.98/387.03 c | 492499 | 89801 777066 1771151 | 1 67563 131 | 7.688 % | 386.98/387.03 c | 499499 | 89800 777063 1771134 | 1 74559 133 | 7.689 % | 386.98/387.03 c | 499599 | 89800 777063 1771134 | 1 74659 133 | 7.689 % | 477.89/477.93 c | 499702 | 89800 777063 1771134 | 1 74762 133 | 7.689 % | 477.89/477.93 c | 501243 | 89798 777063 1771134 | 1 76301 133 | 7.691 % | 477.89/477.93 c | 501343 | 89798 777063 1771134 | 1 76401 133 | 7.691 % | 477.89/477.93 c | 506102 | 89798 777063 1771134 | 1 81160 140 | 7.691 % | 477.89/477.93 c | 508492 | 89797 777063 1771134 | 1 83549 141 | 7.692 % | 477.89/477.93 c | 509079 | 89792 777048 1770959 | 1 84104 142 | 7.697 % | 477.89/477.93 c | 509179 | 89792 777048 1770959 | 1 84204 142 | 7.697 % | 477.89/477.93 c | 510345 | 89791 777048 1770959 | 1 85369 143 | 7.698 % | 477.89/477.93 c | 511663 | 89790 777048 1770959 | 1 86686 145 | 7.699 % | 477.89/477.93 c | 511763 | 89790 777048 1770959 | 1 86773 145 | 7.699 % | 477.89/477.93 c | 521764 | 89788 777048 1770959 | 1 48983 71 | 7.701 % | 477.89/477.93 c | 522309 | 89788 777048 1770959 | 1 49528 72 | 7.701 % | 477.89/477.93 c | 525393 | 89787 777048 1770959 | 1 52606 81 | 7.703 % | 477.89/477.93 c | 525497 | 89787 777048 1770959 | 1 52710 81 | 7.703 % | 477.89/477.93 c | 526142 | 89753 777048 1770959 | 1 53353 82 | 7.737 % | 477.89/477.93 c | 532303 | 89747 777035 1770876 | 1 59484 85 | 7.744 % | 477.89/477.93 c | 534695 | 89747 777035 1770876 | 1 61876 91 | 7.744 % | 477.89/477.93 c | 534796 | 89747 777033 1770862 | 1 61972 91 | 7.744 % | 477.89/477.93 c | 536628 | 89747 777033 1770862 | 1 63804 94 | 7.744 % | 477.89/477.93 c | 544235 | 89746 777033 1770862 | 1 71401 110 | 7.745 % | 477.89/477.93 c | 547081 | 89746 777033 1770862 | 1 74247 114 | 7.745 % | 477.89/477.93 c | 550828 | 89740 777009 1770673 | 1 77954 119 | 7.751 % | 477.89/477.93 c | 552297 | 89739 777009 1770673 | 1 79422 122 | 7.752 % | 477.89/477.93 c | 556365 | 89739 777009 1770673 | 1 83490 127 | 7.752 % | 477.89/477.93 c | 556467 | 89739 777009 1770673 | 1 83589 127 | 7.752 % | 477.89/477.93 c | 557081 | 89739 777009 1770673 | 1 84203 129 | 7.752 % | 477.89/477.93 c | 557181 | 89739 777009 1770673 | 1 84303 129 | 7.752 % | 477.89/477.93 c | 559214 | 89739 777009 1770673 | 1 86336 131 | 7.752 % | 477.89/477.93 c | 561082 | 89739 777009 1770673 | 1 88204 133 | 7.752 % | 477.89/477.93 c | 565804 | 89706 776990 1770545 | 1 92903 134 | 7.786 % | 477.89/477.93 c | 568858 | 89704 776990 1770545 | 1 95955 137 | 7.788 % | 477.89/477.93 c | 570740 | 89704 776990 1770545 | 1 97837 139 | 7.788 % | 477.89/477.93 c | 573504 | 89702 776990 1770545 | 1 100590 141 | 7.790 % | 477.89/477.93 c | 576037 | 89701 776976 1770419 | 1 52578 78 | 7.791 % | 477.89/477.93 c | 576262 | 89701 776976 1770419 | 1 52803 79 | 7.791 % | 477.89/477.93 c | 576363 | 89701 776976 1770419 | 1 52904 79 | 7.791 % | 477.89/477.93 c | 579171 | 89701 776976 1770419 | 1 55712 86 | 7.791 % | 477.89/477.93 c | 579277 | 89701 776976 1770419 | 1 55817 86 | 7.791 % | 477.89/477.93 c | 579377 | 89701 776976 1770419 | 1 55917 86 | 7.791 % | 477.89/477.93 c | 579477 | 89700 776976 1770419 | 1 56016 86 | 7.792 % | 477.89/477.93 c | 579668 | 89700 776976 1770419 | 1 56207 87 | 7.792 % | 477.89/477.93 c | 579769 | 89700 776976 1770419 | 1 56308 87 | 7.792 % | 477.89/477.93 c | 582384 | 89699 776976 1770419 | 1 58922 93 | 7.793 % | 477.89/477.93 c | 584596 | 89699 776976 1770419 | 1 61134 97 | 7.793 % | 477.89/477.93 c | 584905 | 89698 776976 1770419 | 1 61436 98 | 7.794 % | 477.89/477.93 c | 588790 | 89696 776976 1770419 | 1 65318 108 | 7.796 % | 477.89/477.93 c | 588890 | 89696 776976 1770419 | 1 65418 108 | 7.796 % | 477.89/477.93 c | 589410 | 89696 776976 1770419 | 1 65938 109 | 7.796 % | 477.89/477.93 c | 590851 | 89695 776976 1770419 | 1 67375 113 | 7.797 % | 477.89/477.93 c | 602137 | 89692 776976 1770419 | 1 78650 125 | 7.800 % | 623.39/623.42 c | 602237 | 89692 776976 1770419 | 1 78750 125 | 7.800 % | 623.39/623.42 c | 605024 | 89692 776976 1770419 | 1 81537 130 | 7.800 % | 623.39/623.42 c | 605834 | 89692 776976 1770419 | 1 82347 131 | 7.800 % | 623.39/623.42 c | 620100 | 89691 776976 1770419 | 1 96612 139 | 7.801 % | 623.39/623.42 c | 621272 | 89691 776976 1770419 | 1 97776 141 | 7.801 % | 623.39/623.42 c | 621715 | 89691 776976 1770419 | 1 98219 141 | 7.801 % | 623.39/623.42 c | 622178 | 89690 776976 1770419 | 1 98681 142 | 7.802 % | 623.39/623.42 c | 624244 | 89690 776976 1770419 | 1 100747 143 | 7.802 % | 623.39/623.42 c | 624344 | 89690 776976 1770419 | 1 100846 143 | 7.802 % | 623.39/623.42 c | 629750 | 89689 776976 1770419 | 1 106251 145 | 7.803 % | 623.39/623.42 c | 630476 | 89689 776976 1770419 | 1 53738 71 | 7.803 % | 623.39/623.42 c | 642007 | 89688 776976 1770419 | 1 65265 88 | 7.804 % | 623.39/623.42 c | 642109 | 89688 776976 1770419 | 1 65367 89 | 7.804 % | 623.39/623.43 c | 646984 | 89688 776976 1770419 | 1 70242 97 | 7.804 % | 623.39/623.43 c | 649307 | 89688 776976 1770419 | 1 72565 98 | 7.804 % | 623.39/623.43 c | 651751 | 89687 776976 1770419 | 1 75008 100 | 7.805 % | 623.39/623.43 c | 652274 | 89686 776976 1770419 | 1 75530 101 | 7.806 % | 623.39/623.43 c | 655354 | 89686 776976 1770419 | 1 78610 105 | 7.806 % | 623.39/623.43 c | 655454 | 89686 776976 1770419 | 1 78710 105 | 7.806 % | 623.39/623.43 c | 657861 | 89686 776976 1770419 | 1 81117 109 | 7.806 % | 623.39/623.43 c | 661062 | 89685 776976 1770419 | 1 84314 112 | 7.807 % | 623.39/623.43 c | 664806 | 89685 776976 1770419 | 1 88058 118 | 7.807 % | 623.39/623.43 c | 664950 | 89685 776976 1770419 | 1 88202 118 | 7.807 % | 623.39/623.43 c | 665327 | 89685 776976 1770419 | 1 88579 118 | 7.807 % | 623.39/623.43 c | 666039 | 89685 776976 1770419 | 1 89291 119 | 7.807 % | 623.39/623.43 c | 675441 | 89685 776976 1770419 | 1 98693 134 | 7.807 % | 623.39/623.43 c | 677791 | 89684 776976 1770419 | 1 101040 135 | 7.808 % | 623.39/623.43 c | 677892 | 89684 776976 1770419 | 1 101141 135 | 7.808 % | 623.39/623.43 c | 685146 | 89684 776976 1770419 | 1 108395 138 | 7.808 % | 623.39/623.43 c | 685247 | 89684 776976 1770419 | 1 108496 138 | 7.808 % | 623.39/623.43 c | 688038 | 89684 776976 1770419 | 1 111287 141 | 7.808 % | 623.39/623.43 c | 688138 | 89684 776976 1770419 | 1 111387 141 | 7.808 % | 623.39/623.43 c | 691074 | 89681 776976 1770419 | 1 58402 73 | 7.811 % | 623.39/623.43 c | 691174 | 89681 776976 1770419 | 1 58502 73 | 7.811 % | 623.39/623.43 c | 692706 | 89681 776973 1770402 | 1 60034 79 | 7.811 % | 623.39/623.43 c | 692841 | 89681 776973 1770402 | 1 60169 79 | 7.811 % | 623.39/623.43 c | 693903 | 89681 776973 1770402 | 1 61231 81 | 7.811 % | 623.39/623.43 c | 694005 | 89681 776973 1770402 | 1 61333 81 | 7.811 % | 623.39/623.43 c | 694108 | 89681 776973 1770402 | 1 61436 81 | 7.811 % | 623.39/623.43 c | 694975 | 89681 776973 1770402 | 1 62303 83 | 7.811 % | 623.39/623.43 c | 698859 | 89680 776973 1770402 | 1 66182 86 | 7.812 % | 623.39/623.43 c | 700980 | 89679 776973 1770402 | 1 68302 90 | 7.814 % | 623.39/623.43 c | 701082 | 89678 776973 1770402 | 1 68403 90 | 7.815 % | 623.39/623.43 c | 705655 | 89678 776973 1770402 | 1 72976 96 | 7.815 % | 623.39/623.43 c | 716941 | 89616 776971 1770396 | 1 84247 103 | 7.878 % | 623.39/623.43 c | 721090 | 89616 776971 1770396 | 1 88396 110 | 7.878 % | 623.39/623.43 c | 721192 | 89616 776971 1770396 | 1 88498 110 | 7.878 % | 623.39/623.43 c | 721526 | 89616 776971 1770396 | 1 88832 111 | 7.878 % | 623.39/623.43 c | 731680 | 89613 776971 1770396 | 1 98979 115 | 7.881 % | 623.39/623.43 c | 753129 | 89602 776971 1770396 | 1 60192 73 | 7.893 % | 775.89/775.96 c | 753314 | 89602 776953 1770201 | 1 59655 74 | 7.893 % | 775.89/775.96 c | 753473 | 89601 776953 1770201 | 1 59813 74 | 7.894 % | 775.89/775.96 c | 757570 | 89601 776953 1770201 | 1 63910 83 | 7.894 % | 775.89/775.96 c | 765040 | 89601 776953 1770201 | 1 71380 98 | 7.894 % | 775.89/775.96 c | 765140 | 89601 776953 1770201 | 1 71480 98 | 7.894 % | 775.89/775.96 c | 767981 | 89600 776953 1770201 | 1 74320 104 | 7.895 % | 775.89/775.96 c | 768082 | 89600 776953 1770201 | 1 74421 104 | 7.895 % | 775.89/775.96 c | 768630 | 89599 776953 1770201 | 1 74968 105 | 7.896 % | 775.89/775.96 c | 772724 | 89598 776953 1770201 | 1 79061 108 | 7.897 % | 775.89/775.96 c | 776686 | 89598 776953 1770201 | 1 83023 109 | 7.897 % | 775.89/775.96 c | 777940 | 89598 776953 1770201 | 1 84277 111 | 7.897 % | 775.89/775.96 c | 782127 | 89598 776953 1770201 | 1 88464 120 | 7.897 % | 775.89/775.96 c | 786979 | 89597 776953 1770201 | 1 93053 125 | 7.898 % | 775.89/775.96 c | 787079 | 89596 776953 1770201 | 1 93152 125 | 7.899 % | 775.89/775.96 c | 787179 | 89596 776953 1770201 | 1 93252 125 | 7.899 % | 775.89/775.96 c | 787279 | 89596 776953 1770201 | 1 93352 126 | 7.899 % | 775.89/775.96 c | 787496 | 89595 776953 1770201 | 1 93568 126 | 7.900 % | 775.89/775.96 c | 787768 | 89594 776953 1770201 | 1 93839 126 | 7.901 % | 775.89/775.96 c | 788511 | 89593 776953 1770201 | 1 94581 126 | 7.902 % | 775.89/775.96 c | 788747 | 89593 776953 1770201 | 1 94817 127 | 7.902 % | 775.89/775.96 c | 789192 | 89593 776953 1770201 | 1 95262 128 | 7.902 % | 775.89/775.96 c | 789292 | 89593 776953 1770201 | 1 95362 128 | 7.902 % | 775.89/775.96 c | 790574 | 89592 776953 1770201 | 1 96639 129 | 7.903 % | 775.89/775.96 c | 791558 | 89592 776953 1770201 | 1 97623 130 | 7.903 % | 775.89/775.96 c | 795997 | 89591 776953 1770201 | 1 102058 132 | 7.904 % | 775.89/775.96 c | 797106 | 89550 776953 1770201 | 1 103165 134 | 7.946 % | 775.89/775.96 c | 797222 | 89550 776953 1770201 | 1 103281 134 | 7.946 % | 775.89/775.96 c | 797397 | 89548 776953 1770201 | 1 103454 134 | 7.948 % | 775.89/775.96 c | 836027 | 89547 776937 1770102 | 1 82245 83 | 7.949 % | 775.89/775.96 c | 841953 | 89547 776937 1770102 | 1 88171 91 | 7.949 % | 775.89/775.96 c | 842054 | 89547 776937 1770102 | 1 88272 91 | 7.949 % | 775.89/775.96 c | 845749 | 89546 776937 1770102 | 1 91966 98 | 7.950 % | 775.89/775.96 c | 845853 | 89546 776937 1770102 | 1 92070 98 | 7.950 % | 775.89/775.96 c | 846220 | 89546 776937 1770102 | 1 92437 99 | 7.950 % | 775.89/775.96 c | 855083 | 89543 776922 1769927 | 1 101272 106 | 7.953 % | 775.89/775.96 c | 855732 | 89541 776919 1769910 | 1 101919 106 | 7.955 % | 775.89/775.96 c | 856877 | 89541 776919 1769910 | 1 103064 107 | 7.955 % | 775.89/775.96 c | 868928 | 89541 776919 1769910 | 1 115115 118 | 7.955 % | 775.89/775.96 c | 884155 | 89539 776919 1769910 | 1 67253 72 | 7.957 % | 775.89/775.96 c | 885414 | 89539 776919 1769910 | 1 68512 75 | 7.957 % | 775.89/775.96 c | 888221 | 89536 776919 1769910 | 1 71308 79 | 7.961 % | 775.89/775.96 c | 888418 | 89536 776919 1769910 | 1 71505 80 | 7.961 % | 775.89/775.96 c | 888519 | 89535 776919 1769910 | 1 71605 80 | 7.962 % | 775.89/775.96 c | 888641 | 89534 776919 1769910 | 1 71726 81 | 7.963 % | 775.89/775.96 c | 890353 | 89532 776919 1769910 | 1 73427 82 | 7.965 % | 775.89/775.96 c | 909250 | 89532 776919 1769910 | 1 92324 105 | 7.965 % | 775.89/775.96 c | 909350 | 89532 776919 1769910 | 1 92422 105 | 7.965 % | 775.89/775.96 c | 909455 | 89532 776919 1769910 | 1 92527 105 | 7.965 % | 775.89/775.96 c | 910052 | 89532 776919 1769910 | 1 93124 106 | 7.965 % | 775.89/775.96 c | 910152 | 89532 776919 1769910 | 1 93224 106 | 7.965 % | 940.70/940.75 c | 910252 | 89532 776919 1769910 | 1 93324 107 | 7.965 % | 940.70/940.75 c | 926923 | 89528 776919 1769910 | 1 109992 121 | 7.969 % | 940.70/940.75 c | 932029 | 89527 776904 1769696 | 1 115080 123 | 7.970 % | 940.70/940.75 c | 937405 | 89435 776902 1769602 | 1 120454 126 | 8.064 % | 940.70/940.75 c | 938350 | 89435 776902 1769602 | 1 121399 127 | 8.064 % | 940.70/940.75 c | 940868 | 89435 776902 1769602 | 1 123917 129 | 8.064 % | 940.70/940.75 c | 941121 | 89434 776902 1769602 | 1 124167 130 | 8.065 % | 940.70/940.75 c | 941221 | 89434 776902 1769602 | 1 124267 130 | 8.065 % | 940.70/940.75 c | 945787 | 89434 776902 1769602 | 1 128833 132 | 8.065 % | 940.70/940.75 c | 948427 | 89434 776902 1769602 | 1 131467 134 | 8.065 % | 940.70/940.75 c | 948528 | 89434 776902 1769602 | 1 131568 135 | 8.065 % | 940.70/940.75 c | 951999 | 89431 776902 1769602 | 1 69025 77 | 8.068 % | 940.70/940.75 c | 958750 | 89431 776902 1769602 | 1 75773 87 | 8.068 % | 940.70/940.75 c | 968373 | 89431 776902 1769602 | 1 85396 100 | 8.068 % | 940.70/940.75 c | 968608 | 89431 776902 1769602 | 1 85631 100 | 8.068 % | 940.70/940.75 c | 969183 | 89430 776902 1769602 | 1 86203 101 | 8.069 % | 940.70/940.75 c | 983211 | 89427 776902 1769602 | 1 100216 118 | 8.073 % | 940.70/940.75 c | 983311 | 89427 776902 1769602 | 1 100316 118 | 8.073 % | 940.70/940.75 c | 989310 | 89426 776902 1769602 | 1 106293 121 | 8.074 % | 940.70/940.75 c | 989616 | 89426 776902 1769602 | 1 106599 121 | 8.074 % | 940.70/940.75 c | 989716 | 89426 776902 1769602 | 1 106699 121 | 8.074 % | 940.70/940.75 c | 994739 | 89425 776902 1769602 | 1 111712 129 | 8.075 % | 940.70/940.75 c | 994840 | 89425 776902 1769602 | 1 111813 129 | 8.075 % | 940.70/940.75 c | 1010329 | 89423 776902 1769602 | 1 127300 136 | 8.077 % | 940.70/940.75 c | 1038070 | 89413 776898 1769582 | 1 86238 95 | 8.087 % | 940.70/940.75 c | 1039744 | 89412 776898 1769582 | 1 87911 98 | 8.088 % | 940.70/940.75 c | 1039910 | 89412 776898 1769582 | 1 88077 98 | 8.088 % | 940.70/940.75 c | 1042061 | 89411 776898 1769582 | 1 90227 100 | 8.089 % | 940.70/940.75 c | 1048969 | 89403 776896 1769568 | 1 97126 103 | 8.097 % | 940.70/940.75 c | 1049655 | 89403 776896 1769568 | 1 97812 104 | 8.097 % | 940.70/940.75 c | 1049757 | 89403 776896 1769568 | 1 97914 104 | 8.097 % | 940.70/940.75 c | 1051523 | 89403 776896 1769568 | 1 99680 105 | 8.097 % | 940.70/940.75 c | 1063262 | 89401 776896 1769568 | 1 109988 111 | 8.099 % | 940.70/940.75 c | 1063780 | 89400 776896 1769568 | 1 110505 112 | 8.100 % | 940.70/940.75 c | 1064887 | 89400 776896 1769568 | 1 111612 112 | 8.100 % | 940.70/940.75 c | 1065210 | 56806 776896 1769568 | 1 111928 112 | 41.606 % | 940.70/940.75 c =============================================================================== 940.70/940.75 c restarts : 924 940.70/940.75 c nb ReduceDB : 27 940.70/940.75 c nb removed Clauses : 943722 940.70/940.75 c nb learnts DL2 : 4132 940.70/940.75 c nb learnts size 2 : 1914 940.70/940.75 c nb learnts size 1 : 659 940.70/940.75 c conflicts : 1065210 (1135 /sec) 940.70/940.75 c decisions : 2449285 (0.00 % random) (2610 /sec) 940.70/940.75 c propagations : 5882482570 (6267533 /sec) 940.70/940.75 c conflict literals : 240269457 (46.36 % deleted) 940.70/940.75 c nb reduced Clauses : 2101 940.70/940.75 c CPU time : 938.564 s 940.70/940.75 940.70/940.76 s UNSATISFIABLE
No possible verification on an UNSAT instance
runsolver Copyright (C) 2010-2011 Olivier ROUSSEL This is runsolver version 3.3.0 (svn: 935) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-3303909-1303904364/watcher-3303909-1303904364 -o /tmp/evaluation-result-3303909-1303904364/solver-3303909-1303904364 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303909-1303904364.cnf running on 4 cores: 0,2,4,6 Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 5000 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 5030 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 5100 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 2.00 2.00 1.94 3/178 593 /proc/meminfo: memFree=15229580/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 502035106 8912896 253 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/593/statm: 2176 253 211 178 0 69 0 [startup+0.00940395 s] /proc/loadavg: 2.00 2.00 1.94 3/178 593 /proc/meminfo: memFree=15229580/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 502035106 8912896 253 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/593/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.100427 s] /proc/loadavg: 2.00 2.00 1.94 3/178 593 /proc/meminfo: memFree=15229580/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 502035106 8912896 253 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/593/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.300358 s] /proc/loadavg: 2.00 2.00 1.94 3/178 593 /proc/meminfo: memFree=15229580/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 502035106 8912896 253 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/593/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+0.700274 s] /proc/loadavg: 2.00 2.00 1.94 3/178 593 /proc/meminfo: memFree=15229580/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=0 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 335 0 0 0 0 0 0 0 21 0 1 0 502035106 8912896 253 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 0 0 0 0 /proc/593/statm: 2176 253 211 178 0 69 0 Current children cumulated CPU time (s) 0 Current children cumulated vsize (KiB) 8704 [startup+1.50114 s] /proc/loadavg: 2.00 2.00 1.94 3/180 605 /proc/meminfo: memFree=15160944/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 Current children cumulated CPU time (s) 1.34 Current children cumulated vsize (KiB) 8704 [startup+3.1008 s] /proc/loadavg: 2.00 2.00 1.94 3/180 606 /proc/meminfo: memFree=15161812/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=70708 CPUtime=1.74 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 13500 0 0 0 173 1 0 0 25 0 1 0 502035241 72404992 12812 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224416 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 17677 12812 251 17 0 14318 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 79412 [startup+6.30039 s] /proc/loadavg: 2.00 2.00 1.94 3/180 606 /proc/meminfo: memFree=15145436/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=71724 CPUtime=4.94 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 19930 0 0 0 492 2 0 0 25 0 1 0 502035241 73445376 12986 33554432000 4194304 4260849 140736053629328 18446744073709551615 4226453 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 17931 12986 252 17 0 14572 0 Current children cumulated CPU time (s) 6.28 Current children cumulated vsize (KiB) 80428 [startup+12.7003 s] /proc/loadavg: 2.08 2.02 1.94 3/180 607 /proc/meminfo: memFree=15138524/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=102168 CPUtime=11.34 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 32695 0 0 0 1130 4 0 0 25 0 1 0 502035241 104620032 18784 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 25542 18784 252 17 0 22183 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 110872 [startup+25.5011 s] /proc/loadavg: 2.06 2.02 1.94 3/180 607 /proc/meminfo: memFree=15086016/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=120844 CPUtime=24.14 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 48379 0 0 0 2408 6 0 0 25 0 1 0 502035241 123744256 25970 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224875 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 30211 25970 252 17 0 26852 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 129548 [startup+51.1008 s] /proc/loadavg: 2.04 2.01 1.94 3/180 608 /proc/meminfo: memFree=15095304/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=120844 CPUtime=49.74 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 67415 0 0 0 4966 8 0 0 25 0 1 0 502035241 123744256 25970 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224488 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 30211 25970 252 17 0 26852 0 Current children cumulated CPU time (s) 51.08 Current children cumulated vsize (KiB) 129548 [startup+102.306 s] /proc/loadavg: 2.02 2.01 1.94 3/180 609 /proc/meminfo: memFree=15038764/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=120844 CPUtime=100.94 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 102200 0 0 0 10081 13 0 0 25 0 1 0 502035241 123744256 25970 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224374 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 30211 25970 252 17 0 26852 0 Current children cumulated CPU time (s) 102.28 Current children cumulated vsize (KiB) 129548 [startup+162.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 611 /proc/meminfo: memFree=15062224/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=160.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 140504 0 0 0 16075 20 0 0 25 0 1 0 502035241 174247936 36721 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 36721 252 17 0 39182 0 Current children cumulated CPU time (s) 162.29 Current children cumulated vsize (KiB) 178868 [startup+222.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 612 /proc/meminfo: memFree=14937460/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=220.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 167923 0 0 0 22070 25 0 0 25 0 1 0 502035241 174247936 36468 33554432000 4194304 4260849 140736053629328 18446744073709551615 4225149 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 36468 252 17 0 39182 0 Current children cumulated CPU time (s) 222.29 Current children cumulated vsize (KiB) 178868 [startup+282.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 614 /proc/meminfo: memFree=14983828/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=280.94 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 197744 0 0 0 28063 31 0 0 25 0 1 0 502035241 174247936 34108 33554432000 4194304 4260849 140736053629328 18446744073709551615 4238067 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 34108 252 17 0 39182 0 Current children cumulated CPU time (s) 282.28 Current children cumulated vsize (KiB) 178868 [startup+342.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 616 /proc/meminfo: memFree=14984300/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=340.94 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 221058 0 0 0 34058 36 0 0 25 0 1 0 502035241 205807616 39963 33554432000 4194304 4260849 140736053629328 18446744073709551615 4225124 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 39963 252 17 0 46887 0 Current children cumulated CPU time (s) 342.28 Current children cumulated vsize (KiB) 209688 [startup+402.301 s] /proc/loadavg: 2.00 2.00 1.94 3/180 617 /proc/meminfo: memFree=15012808/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=400.94 cores=0,2,4,6 ################ # More data... # ################ [startup+582.3 s] /proc/loadavg: 2.04 2.01 1.95 3/180 622 /proc/meminfo: memFree=14912584/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=580.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 309625 0 0 0 58038 57 0 0 25 0 1 0 502035241 174247936 36819 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224416 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 36819 252 17 0 39182 0 Current children cumulated CPU time (s) 582.29 Current children cumulated vsize (KiB) 178868 [startup+642.3 s] /proc/loadavg: 2.07 2.02 1.95 3/180 624 /proc/meminfo: memFree=15014992/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=640.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 329591 0 0 0 64033 62 0 0 25 0 1 0 502035241 174247936 38145 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224776 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 38145 252 17 0 39182 0 Current children cumulated CPU time (s) 642.29 Current children cumulated vsize (KiB) 178868 [startup+702.3 s] /proc/loadavg: 2.02 2.02 1.95 3/180 625 /proc/meminfo: memFree=14910452/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=700.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 348444 0 0 0 70029 66 0 0 25 0 1 0 502035241 174247936 35963 33554432000 4194304 4260849 140736053629328 18446744073709551615 4225104 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 35963 252 17 0 39182 0 Current children cumulated CPU time (s) 702.29 Current children cumulated vsize (KiB) 178868 [startup+762.306 s] /proc/loadavg: 2.01 2.01 1.95 3/180 627 /proc/meminfo: memFree=15038784/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=760.96 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 367882 0 0 0 76023 73 0 0 25 0 1 0 502035241 174247936 36221 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224431 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 36221 252 17 0 39182 0 Current children cumulated CPU time (s) 762.3 Current children cumulated vsize (KiB) 178868 [startup+822.301 s] /proc/loadavg: 2.00 2.01 1.95 3/180 628 /proc/meminfo: memFree=14935476/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=820.96 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 388159 0 0 0 82018 78 0 0 25 0 1 0 502035241 174247936 34644 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224822 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 34644 252 17 0 39182 0 Current children cumulated CPU time (s) 822.3 Current children cumulated vsize (KiB) 178868 [startup+882.301 s] /proc/loadavg: 2.00 2.00 1.95 3/180 630 /proc/meminfo: memFree=14758144/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=251072 CPUtime=880.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 400103 0 0 0 88015 80 0 0 25 0 1 0 502035241 257097728 46533 33554432000 4194304 4260849 140736053629328 18446744073709551615 4213356 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 62768 46533 252 17 0 59409 0 Current children cumulated CPU time (s) 882.29 Current children cumulated vsize (KiB) 259776 Solver just ended. Dumping a history of the last processes samples [startup+895.901 s] /proc/loadavg: 2.00 2.00 1.95 3/180 630 /proc/meminfo: memFree=14778728/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=170164 CPUtime=894.56 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 411326 0 0 0 89373 83 0 0 25 0 1 0 502035241 174247936 34542 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224477 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 42541 34542 252 17 0 39182 0 Current children cumulated CPU time (s) 895.9 Current children cumulated vsize (KiB) 178868 [startup+921.5 s] /proc/loadavg: 2.00 2.00 1.95 3/180 631 /proc/meminfo: memFree=15001168/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=920.16 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 415861 0 0 0 91932 84 0 0 25 0 1 0 502035241 205807616 39048 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224895 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 39048 252 17 0 46887 0 Current children cumulated CPU time (s) 921.5 Current children cumulated vsize (KiB) 209688 [startup+934.3 s] /proc/loadavg: 2.00 2.00 1.95 3/180 631 /proc/meminfo: memFree=14961116/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=932.95 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 417825 0 0 0 93211 84 0 0 25 0 1 0 502035241 205807616 41006 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 41006 252 17 0 46887 0 Current children cumulated CPU time (s) 934.29 Current children cumulated vsize (KiB) 209688 [startup+937.501 s] /proc/loadavg: 2.00 2.00 1.95 3/180 632 /proc/meminfo: memFree=14955908/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=936.16 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 418305 0 0 0 93531 85 0 0 25 0 1 0 502035241 205807616 41484 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 41484 252 17 0 46887 0 Current children cumulated CPU time (s) 937.5 Current children cumulated vsize (KiB) 209688 [startup+939.1 s] /proc/loadavg: 2.00 2.00 1.95 3/180 632 /proc/meminfo: memFree=14953676/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=937.75 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 418531 0 0 0 93690 85 0 0 25 0 1 0 502035241 205807616 41710 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224707 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 41710 252 17 0 46887 0 Current children cumulated CPU time (s) 939.09 Current children cumulated vsize (KiB) 209688 [startup+939.9 s] /proc/loadavg: 2.00 2.00 1.95 3/180 632 /proc/meminfo: memFree=14952312/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=938.55 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 418658 0 0 0 93770 85 0 0 25 0 1 0 502035241 205807616 41835 33554432000 4194304 4260849 140736053629328 18446744073709551615 4209990 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 41835 252 17 0 46887 0 Current children cumulated CPU time (s) 939.89 Current children cumulated vsize (KiB) 209688 [startup+940.301 s] /proc/loadavg: 2.00 2.00 1.95 3/180 632 /proc/meminfo: memFree=14952312/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=938.96 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 418705 0 0 0 93811 85 0 0 25 0 1 0 502035241 205807616 41882 33554432000 4194304 4260849 140736053629328 18446744073709551615 4209346 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 41882 252 17 0 46887 0 Current children cumulated CPU time (s) 940.3 Current children cumulated vsize (KiB) 209688 [startup+940.701 s] /proc/loadavg: 2.00 2.00 1.95 3/180 632 /proc/meminfo: memFree=14949832/32950928 swapFree=67111528/67111528 [pid=593] ppid=591 vsize=8704 CPUtime=1.34 cores=0,2,4,6 /proc/593/stat : 593 (glucose.sh) S 591 593 32703 0 -1 4202496 361 17572 0 0 0 0 130 4 18 0 1 0 502035106 8912896 255 33554432000 4194304 4922060 140735919843040 18446744073709551615 251814059141 0 65536 4100 65538 18446744071562232103 0 0 17 2 0 0 0 /proc/593/statm: 2176 255 211 178 0 69 0 [pid=606] ppid=593 vsize=200984 CPUtime=939.36 cores=0,2,4,6 /proc/606/stat : 606 (glucose_static) R 593 593 32703 0 -1 4202496 418755 0 0 0 93851 85 0 0 25 0 1 0 502035241 205807616 41931 33554432000 4194304 4260849 140736053629328 18446744073709551615 4224352 0 0 4096 0 0 0 0 17 4 0 0 0 /proc/606/statm: 50246 41931 252 17 0 46887 0 Current children cumulated CPU time (s) 940.7 Current children cumulated vsize (KiB) 209688 Child status: 20 Real time (s): 940.77 CPU time (s): 940.782 CPU user time (s): 939.869 CPU system time (s): 0.912861 CPU usage (%): 100.001 Max. virtual memory (cumulated for all children) (KiB): 309096 getrusage(RUSAGE_CHILDREN,...) data: user time used= 939.869 system time used= 0.912861 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 436906 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= 40 involuntary context switches= 1527 runsolver used 1.60376 second user time and 3.41748 second system time The end
Begin job on node126 at 2011-04-27 13:39:24 IDJOB=3303909 IDBENCH=82431 IDSOLVER=1687 FILE ID=node126/3303909-1303904364 RUNJOBID= node126-1303899342-32721 PBS_JOBID= 13164522 Free space on /tmp= 71556 MiB SOLVER NAME= glucose 2 BENCH NAME= SAT11/application/jarvisalo/AAAI2010-SATPlanning/aaai10-planning-ipc5-TPP-21-step11.cnf COMMAND LINE= glucose.sh BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-3303909-1303904364/watcher-3303909-1303904364 -o /tmp/evaluation-result-3303909-1303904364/solver-3303909-1303904364 -C 5000 -W 5100 -M 15500 glucose.sh HOME/instance-3303909-1303904364.cnf TIME LIMIT= 5000 seconds MEMORY LIMIT= 15500 MiB NBCORE= 4 MD5SUM BENCH= 00d93f117a3253605ad3ac6a153ec61f RANDOM SEED=1014779006 node126.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.783 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.56 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 0 cpu cores : 4 apicid : 16 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.75 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 2 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 cache size : 8192 KB physical id : 0 siblings : 4 core id : 1 cpu cores : 4 apicid : 2 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.74 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] processor : 3 vendor_id : GenuineIntel cpu family : 6 model : 26 model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz stepping : 5 cpu MHz : 2666.783 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.74 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.783 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.80 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.783 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.783 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.783 cache size : 8192 KB physical id : 1 siblings : 4 core id : 3 cpu cores : 4 apicid : 22 fpu : yes fpu_exception : yes cpuid level : 11 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx rdtscp lm constant_tsc ida nonstop_tsc pni monitor ds_cpl vmx est tm2 cx16 xtpr popcnt lahf_lm bogomips : 5332.76 clflush size : 64 cache_alignment : 64 address sizes : 40 bits physical, 48 bits virtual power management: [8] /proc/meminfo: MemTotal: 32950928 kB MemFree: 15229728 kB Buffers: 1835612 kB Cached: 15160028 kB SwapCached: 0 kB Active: 6604532 kB Inactive: 10530132 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 32950928 kB LowFree: 15229728 kB SwapTotal: 67111528 kB SwapFree: 67111528 kB Dirty: 62740 kB Writeback: 0 kB AnonPages: 139016 kB Mapped: 15092 kB Slab: 520068 kB PageTables: 4244 kB NFS_Unstable: 0 kB Bounce: 0 kB CommitLimit: 83586992 kB Committed_AS: 302352 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= 71556 MiB End job on node126 at 2011-04-27 13:55:05