0.00/0.00 c Parsing...
1.21/1.29 c ==============================================================================
1.21/1.29 c | | ORIGINAL | LEARNT | |
1.21/1.29 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
1.21/1.29 c ==============================================================================
1.21/1.29 c | 0 | 1268704 3718600 | 380611 0 0 nan | 0.000 % |
33.21/33.30 c | 0 | 433228 1602137 | -- 0 -- -- | -- | -674843/-1677597
33.21/33.31 c ==============================================================================
33.21/33.31 c Result : #vars: 41452 #clauses: 433228 #literals: 1602137
33.21/33.31 c CPU time: 32.99 s
33.21/33.31 c ==============================================================================
33.81/33.88 c This is MiniSat 2.0 beta
33.81/33.88 c WARNING: for repeatability, setting FPU to use double precision
33.81/33.88 c ============================[ Problem Statistics ]=============================
33.81/33.88 c | |
33.81/33.88 c | Number of variables: 41452 |
33.81/33.88 c | Number of clauses: 433228 |
34.11/34.17 c | Parsing time: 0.23 s |
34.11/34.20 c ============================[ Search Statistics ]==============================
34.11/34.20 c | Conflicts | ORIGINAL | LEARNT | Progress |
34.11/34.20 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
34.11/34.20 c ===============================================================================
34.11/34.20 c | 0 | 41452 433228 1602137 | 144409 0 nan | 0.000 % |
34.21/34.22 c | 100 | 41439 433228 1602137 | 144409 96 10 | 0.183 % |
34.21/34.25 c | 200 | 41439 433228 1602137 | 144409 196 9 | 0.183 % |
34.21/34.26 c | 300 | 41439 433228 1602137 | 144409 296 10 | 0.183 % |
34.21/34.27 c | 410 | 41439 433228 1602137 | 144409 406 10 | 0.183 % |
34.31/34.32 c | 510 | 41439 433228 1602137 | 144409 506 11 | 0.183 % |
34.31/34.35 c | 621 | 41439 433228 1602137 | 144409 617 13 | 0.183 % |
34.31/34.40 c | 743 | 41439 433228 1602137 | 144409 739 14 | 0.183 % |
34.31/34.41 c | 843 | 41439 433228 1602137 | 144409 839 15 | 0.183 % |
34.41/34.41 c | 954 | 41433 433228 1602137 | 144409 948 14 | 0.268 % |
34.41/34.42 c | 1075 | 41433 433228 1602137 | 144409 1069 14 | 0.268 % |
34.41/34.43 c | 1209 | 41391 433228 1602137 | 144409 1201 13 | 0.560 % |
34.41/34.44 c | 1310 | 41391 433228 1602137 | 144409 1302 13 | 0.560 % |
34.41/34.44 c | 1421 | 41390 433228 1602137 | 144409 1413 13 | 0.560 % |
34.41/34.46 c | 1543 | 41390 433228 1602137 | 144409 1535 13 | 0.560 % |
34.41/34.47 c | 1676 | 41379 433228 1602137 | 144409 1663 12 | 0.620 % |
34.41/34.49 c | 1822 | 41378 433228 1602137 | 144409 1809 12 | 0.620 % |
34.41/34.50 c | 1922 | 41378 433228 1602137 | 144409 1909 12 | 0.620 % |
34.41/34.50 c | 2032 | 41378 433228 1602137 | 144409 2019 12 | 0.620 % |
34.51/34.56 c | 2154 | 41373 433228 1602137 | 144409 2140 12 | 0.688 % |
34.51/34.58 c | 2287 | 41366 433228 1602137 | 144409 2272 12 | 0.719 % |
34.51/34.60 c | 2435 | 41317 433228 1602137 | 144409 2420 12 | 0.719 % |
34.61/34.63 c | 2597 | 41317 433228 1602137 | 144409 2582 12 | 0.719 % |
34.61/34.68 c | 2697 | 41317 433228 1602137 | 144409 2682 12 | 0.719 % |
34.61/34.70 c | 2807 | 41317 433228 1602137 | 144409 2792 12 | 0.719 % |
34.61/34.71 c | 2928 | 41317 433228 1602137 | 144409 2913 12 | 0.719 % |
34.71/34.73 c | 3061 | 41315 433228 1602137 | 144409 3045 12 | 0.726 % |
34.71/34.76 c | 3207 | 41191 433228 1602137 | 144409 3189 12 | 1.288 % |
34.71/34.78 c | 3368 | 41040 433228 1602137 | 144409 3344 12 | 2.574 % |
34.81/34.84 c | 3545 | 40952 433228 1602137 | 144409 3521 12 | 2.574 % |
34.81/34.85 c | 3646 | 40952 433228 1602137 | 144409 3622 12 | 2.574 % |
34.81/34.86 c | 3756 | 40952 433228 1602137 | 144409 3732 12 | 2.574 % |
34.81/34.87 c | 3878 | 40952 433228 1602137 | 144409 3854 12 | 2.574 % |
34.81/34.90 c | 4011 | 40952 433228 1602137 | 144409 3987 12 | 2.574 % |
34.91/34.97 c | 4158 | 40952 433228 1602137 | 144409 4134 12 | 2.574 % |
34.91/35.00 c | 4319 | 40887 433228 1602137 | 144409 4295 12 | 2.574 % |
35.01/35.01 c | 4495 | 40887 433228 1602137 | 144409 4471 12 | 2.574 % |
35.01/35.06 c | 4688 | 40887 433228 1602137 | 144409 4664 12 | 2.574 % |
35.01/35.07 c | 4790 | 40887 433228 1602137 | 144409 4766 12 | 2.574 % |
35.01/35.09 c | 4900 | 40887 433228 1602137 | 144409 4876 12 | 2.574 % |
35.11/35.14 c | 5022 | 40887 433228 1602137 | 144409 4998 12 | 2.574 % |
35.11/35.16 c | 5156 | 40887 433228 1602137 | 144409 5132 12 | 2.574 % |
35.11/35.18 c | 5303 | 40887 433228 1602137 | 144409 5279 12 | 2.574 % |
35.21/35.22 c | 5463 | 40883 433228 1602137 | 144409 5436 12 | 2.668 % |
35.21/35.31 c | 5639 | 40852 433228 1602137 | 144409 5609 12 | 2.731 % |
35.31/35.34 c | 5832 | 40852 433228 1602137 | 144409 5802 12 | 2.731 % |
35.31/35.36 c | 6044 | 40852 433228 1602137 | 144409 6014 12 | 2.731 % |
35.41/35.42 c | 6145 | 40320 391313 1368688 | 144409 5132 11 | 2.731 % |
35.41/35.47 c | 6256 | 40320 391313 1368688 | 144409 5243 11 | 2.731 % |
35.51/35.51 c | 6378 | 40320 391313 1368688 | 144409 5365 11 | 2.731 % |
35.51/35.60 c | 6512 | 40319 391313 1368688 | 144409 5498 11 | 2.777 % |
35.61/35.66 c | 6658 | 40311 391313 1368688 | 144409 5644 11 | 2.777 % |
35.71/35.74 c | 6820 | 40311 391313 1368688 | 144409 5806 11 | 2.777 % |
35.71/35.75 c | 6998 | 40311 391313 1368688 | 144409 5984 11 | 2.777 % |
35.71/35.79 c | 7191 | 40311 391313 1368688 | 144409 6177 11 | 2.777 % |
35.81/35.86 c | 7403 | 40311 391313 1368688 | 144409 6389 11 | 2.777 % |
35.81/35.87 c | 7638 | 40311 391313 1368688 | 144409 6624 11 | 2.777 % |
35.81/35.90 c | 7738 | 40311 391313 1368688 | 144409 6724 11 | 2.777 % |
35.81/35.91 c | 7849 | 40311 391313 1368688 | 144409 6835 11 | 2.777 % |
35.91/35.92 c | 7970 | 40311 391313 1368688 | 144409 6956 11 | 2.777 % |
35.91/35.94 c | 8103 | 40311 391313 1368688 | 144409 7089 11 | 2.777 % |
35.91/35.95 c | 8250 | 40311 391313 1368688 | 144409 7236 11 | 2.777 % |
35.91/35.96 c | 8411 | 40311 391313 1368688 | 144409 7397 11 | 2.777 % |
35.91/35.97 c | 8587 | 40311 391313 1368688 | 144409 7573 11 | 2.777 % |
35.91/36.00 c | 8782 | 40311 391313 1368688 | 144409 7768 12 | 2.777 % |
36.01/36.02 c | 8994 | 40308 391313 1368688 | 144409 7979 12 | 2.791 % |
36.11/36.12 c | 9227 | 40299 391313 1368688 | 144409 8207 12 | 3.098 % |
36.11/36.13 c | 9483 | 40299 391313 1368688 | 144409 8463 12 | 3.098 % |
36.11/36.14 c | 9586 | 40299 391313 1368688 | 144409 8566 12 | 3.098 % |
36.11/36.17 c | 9697 | 40299 391313 1368688 | 144409 8677 12 | 3.098 % |
36.11/36.19 c | 9819 | 40299 391313 1368688 | 144409 8799 12 | 3.098 % |
36.21/36.22 c | 9953 | 40299 391313 1368688 | 144409 8933 12 | 3.098 % |
36.21/36.27 c | 10099 | 40229 391313 1368688 | 2147483647 9077 12 | 3.148 % |
36.21/36.28 c | 10259 | 40229 391313 1368688 | 2147483647 9237 12 | 3.148 % |
36.21/36.29 c | 10437 | 40229 391313 1368688 | 2147483647 9415 12 | 3.148 % |
36.21/36.30 c | 10630 | 40229 391313 1368688 | 2147483647 9608 12 | 3.148 % |
36.31/36.34 c | 10842 | 40229 391313 1368688 | 2147483647 9820 12 | 3.148 % |
36.41/36.43 c | 11075 | 40229 391313 1368688 | 2147483647 10053 12 | 3.148 % |
36.41/36.46 c | 11331 | 40224 391313 1368688 | 2147483647 10309 12 | 3.148 % |
36.51/36.53 c | 11612 | 40147 387805 1349861 | 2147483647 10287 12 | 3.148 % |
36.51/36.55 c | 11715 | 40147 387805 1349861 | 2147483647 10390 12 | 3.148 % |
36.51/36.55 c | 11825 | 40147 387805 1349861 | 2147483647 10500 12 | 3.148 % |
36.51/36.56 c | 11948 | 40147 387805 1349861 | 2147483647 10623 12 | 3.148 % |
36.51/36.58 c | 12081 | 40147 387805 1349861 | 2147483647 10756 12 | 3.148 % |
36.51/36.61 c | 12227 | 40147 387805 1349861 | 2147483647 10902 12 | 3.148 % |
36.61/36.64 c | 12387 | 40147 387805 1349861 | 2147483647 11062 12 | 3.148 % |
36.61/36.65 c | 12563 | 40147 387805 1349861 | 2147483647 11238 12 | 3.148 % |
36.61/36.68 c | 12756 | 40147 387805 1349861 | 2147483647 11431 12 | 3.148 % |
36.71/36.72 c | 12969 | 40147 387805 1349861 | 2147483647 11644 12 | 3.148 % |
36.71/36.79 c | 13202 | 40147 387805 1349861 | 2147483647 11877 12 | 3.148 % |
36.81/36.81 c | 13458 | 40147 387805 1349861 | 2147483647 12133 12 | 3.148 % |
36.81/36.88 c | 13743 | 40147 387805 1349861 | 2147483647 12418 12 | 3.148 % |
36.81/36.90 c | 14055 | 40147 387805 1349861 | 2147483647 12730 12 | 3.148 % |
36.91/36.92 c | 14155 | 40147 387805 1349861 | 2147483647 12830 12 | 3.148 % |
36.91/36.93 c | 14266 | 40147 387805 1349861 | 2147483647 12941 13 | 3.148 % |
36.91/36.94 c | 14388 | 40147 387805 1349861 | 2147483647 13063 13 | 3.148 % |
36.91/36.95 c | 14522 | 40147 387805 1349861 | 2147483647 13197 13 | 3.148 % |
37.01/37.03 c | 14668 | 40147 387805 1349861 | 2147483647 13343 13 | 3.148 % |
37.01/37.05 c | 14829 | 40147 387805 1349861 | 2147483647 13504 13 | 3.148 % |
37.01/37.07 c | 15005 | 40147 387805 1349861 | 2147483647 13680 13 | 3.148 % |
37.01/37.10 c | 15198 | 40147 387805 1349861 | 2147483647 13873 13 | 3.148 % |
37.11/37.12 c | 15413 | 40147 387805 1349861 | 2147483647 14088 13 | 3.148 % |
37.11/37.14 c | 15648 | 40147 387805 1349861 | 2147483647 14323 13 | 3.148 % |
37.11/37.16 c | 15905 | 40147 387805 1349861 | 2147483647 14580 13 | 3.148 % |
37.11/37.18 c | 16187 | 40147 387805 1349861 | 2147483647 14862 13 | 3.148 % |
37.21/37.22 c | 16496 | 40147 387805 1349861 | 2147483647 15171 13 | 3.148 % |
37.21/37.27 c | 16835 | 40147 387805 1349861 | 2147483647 15510 13 | 3.148 % |
37.21/37.30 c | 16937 | 40147 387805 1349861 | 2147483647 15612 13 | 3.148 % |
37.21/37.31 c | 17047 | 40147 387805 1349861 | 2147483647 15722 13 | 3.148 % |
37.31/37.33 c | 17168 | 40147 387805 1349861 | 2147483647 15843 13 | 3.148 % |
37.31/37.34 c | 17301 | 40147 387805 1349861 | 2147483647 15976 13 | 3.148 % |
37.31/37.37 c | 17450 | 40147 387805 1349861 | 2147483647 16125 13 | 3.148 % |
37.41/37.42 c | 17611 | 40147 387805 1349861 | 2147483647 16286 13 | 3.148 % |
37.41/37.44 c | 17788 | 40147 387805 1349861 | 2147483647 16463 13 | 3.148 % |
37.41/37.46 c | 17982 | 40147 387805 1349861 | 2147483647 16657 13 | 3.148 % |
37.41/37.47 c | 18194 | 40147 387805 1349861 | 2147483647 16869 13 | 3.148 % |
37.41/37.50 c | 18427 | 40147 387805 1349861 | 2147483647 17102 13 | 3.148 % |
37.51/37.54 c | 18686 | 40147 387805 1349861 | 2147483647 17361 13 | 3.148 % |
37.61/37.64 c | 18967 | 40147 387805 1349861 | 2147483647 17642 13 | 3.148 % |
37.61/37.71 c | 19277 | 40147 387805 1349861 | 2147483647 17952 13 | 3.148 % |
37.71/37.77 c | 19617 | 40147 387805 1349861 | 2147483647 18292 13 | 3.148 % |
37.81/37.83 c | 19989 | 40147 387805 1349861 | 2147483647 18664 13 | 3.148 % |
37.81/37.85 c | 20089 | 40147 387805 1349861 | 2147483647 18764 13 | 3.148 % |
37.81/37.88 c | 20200 | 40147 387805 1349861 | 2147483647 18875 13 | 3.148 % |
37.81/37.90 c | 20321 | 40147 387805 1349861 | 2147483647 18996 13 | 3.148 % |
37.91/37.93 c | 20454 | 40147 387805 1349861 | 2147483647 19129 14 | 3.148 % |
37.91/37.95 c | 20601 | 40147 387805 1349861 | 2147483647 19276 14 | 3.148 % |
37.91/37.98 c | 20763 | 40147 387805 1349861 | 2147483647 19438 14 | 3.148 % |
38.01/38.03 c | 20939 | 40147 387805 1349861 | 2147483647 19614 14 | 3.148 % |
38.01/38.05 c | 21133 | 40147 387805 1349861 | 2147483647 19808 14 | 3.148 % |
38.01/38.11 c | 21345 | 40147 387805 1349861 | 2147483647 20020 14 | 3.148 % |
38.11/38.14 c | 21579 | 40147 387805 1349861 | 2147483647 20254 14 | 3.148 % |
38.11/38.20 c | 21836 | 40147 387805 1349861 | 2147483647 20511 14 | 3.148 % |
38.21/38.27 c | 22120 | 40147 387805 1349861 | 2147483647 20795 14 | 3.148 % |
38.31/38.39 c | 22429 | 40147 387805 1349861 | 2147483647 21104 14 | 3.148 % |
38.41/38.49 c | 22770 | 40147 387805 1349861 | 2147483647 21445 14 | 3.148 % |
38.51/38.58 c | 23144 | 40147 387805 1349861 | 2147483647 21819 14 | 3.148 % |
38.61/38.67 c | 23553 | 40147 387805 1349861 | 2147483647 22228 14 | 3.148 % |
38.61/38.68 c | 23654 | 40147 387805 1349861 | 2147483647 22329 14 | 3.148 % |
38.61/38.70 c | 23765 | 40147 387805 1349861 | 2147483647 22440 14 | 3.148 % |
38.71/38.73 c | 23887 | 40147 387805 1349861 | 2147483647 22562 14 | 3.148 % |
38.71/38.75 c | 24020 | 40147 387805 1349861 | 2147483647 22695 14 | 3.148 % |
38.81/38.82 c | 24166 | 40147 387805 1349861 | 2147483647 22841 14 | 3.148 % |
38.81/38.85 c | 24326 | 40147 387805 1349861 | 2147483647 23001 14 | 3.148 % |
38.81/38.88 c | 24503 | 40147 387805 1349861 | 2147483647 23178 14 | 3.148 % |
38.91/38.92 c | 24697 | 40147 387805 1349861 | 2147483647 23372 14 | 3.148 % |
38.91/38.97 c | 24909 | 40144 387781 1349779 | 2147483647 23581 14 | 3.155 % |
39.01/39.03 c | 25144 | 40144 387781 1349779 | 2147483647 23816 14 | 3.155 % |
39.01/39.06 c | 25400 | 40144 387781 1349779 | 2147483647 24072 14 | 3.155 % |
39.11/39.11 c | 25681 | 40144 387781 1349779 | 2147483647 24353 15 | 3.155 % |
39.11/39.19 c | 25991 | 40144 387781 1349779 | 2147483647 24663 15 | 3.155 % |
39.21/39.23 c | 26333 | 40144 387781 1349779 | 2147483647 25005 15 | 3.155 % |
39.31/39.36 c | 26705 | 40144 387781 1349779 | 2147483647 25377 15 | 3.155 % |
39.41/39.45 c | 27114 | 40144 387781 1349779 | 2147483647 25786 15 | 3.155 % |
39.41/39.51 c | 27564 | 40144 387781 1349779 | 2147483647 26236 15 | 3.155 % |
39.51/39.55 c | 27664 | 40144 387781 1349779 | 2147483647 26336 15 | 3.155 % |
39.51/39.58 c | 27774 | 40144 387781 1349779 | 2147483647 26446 15 | 3.155 % |
39.51/39.60 c | 27896 | 40144 387781 1349779 | 2147483647 26568 15 | 3.155 % |
39.61/39.61 c | 28029 | 40144 387781 1349779 | 2147483647 26701 15 | 3.155 % |
39.61/39.67 c | 28175 | 40144 387781 1349779 | 2147483647 26847 15 | 3.155 % |
39.61/39.71 c | 28335 | 40144 387781 1349779 | 2147483647 27007 15 | 3.155 % |
39.71/39.73 c | 28511 | 40144 387781 1349779 | 2147483647 27183 15 | 3.155 % |
39.71/39.76 c | 28704 | 40144 387781 1349779 | 2147483647 27376 15 | 3.155 % |
39.71/39.81 c | 28916 | 40144 387781 1349779 | 2147483647 27588 15 | 3.155 % |
39.81/39.85 c | 29152 | 40144 387781 1349779 | 2147483647 27824 15 | 3.155 % |
39.81/39.88 c | 29408 | 40144 387781 1349779 | 2147483647 28080 15 | 3.155 % |
39.91/39.94 c | 29691 | 40144 387781 1349779 | 2147483647 28363 15 | 3.155 % |
39.91/39.99 c | 30001 | 40144 387781 1349779 | 2147483647 28673 15 | 3.155 % |
40.01/40.09 c | 30342 | 40144 387781 1349779 | 2147483647 29014 15 | 3.155 % |
40.11/40.18 c | 30716 | 40144 387781 1349779 | 2147483647 29388 15 | 3.155 % |
40.21/40.23 c | 31126 | 40144 387781 1349779 | 2147483647 29798 15 | 3.155 % |
40.21/40.31 c | 31576 | 40144 387781 1349779 | 2147483647 30248 15 | 3.155 % |
40.31/40.38 c | 32069 | 40144 387781 1349779 | 2147483647 30741 15 | 3.155 % |
40.41/40.45 c | 32170 | 40144 387781 1349779 | 2147483647 30842 15 | 3.155 % |
40.41/40.49 c | 32280 | 40144 387781 1349779 | 2147483647 30952 16 | 3.155 % |
40.51/40.52 c | 32402 | 40144 387781 1349779 | 2147483647 31074 15 | 3.155 % |
40.51/40.56 c | 32536 | 40144 387781 1349779 | 2147483647 31208 16 | 3.155 % |
40.51/40.61 c | 32683 | 40144 387781 1349779 | 2147483647 31355 16 | 3.155 % |
40.61/40.64 c | 32843 | 40144 387781 1349779 | 2147483647 31515 16 | 3.155 % |
40.61/40.68 c | 33019 | 40144 387781 1349779 | 2147483647 31691 16 | 3.155 % |
40.71/40.75 c | 33212 | 40144 387781 1349779 | 2147483647 31884 16 | 3.155 % |
40.71/40.81 c | 33426 | 40144 387781 1349779 | 2147483647 32098 16 | 3.155 % |
40.81/40.85 c | 33659 | 40144 387781 1349779 | 2147483647 32331 16 | 3.155 % |
40.91/40.92 c | 33917 | 40144 387781 1349779 | 2147483647 32589 16 | 3.155 % |
40.91/41.00 c | 34199 | 40144 387781 1349779 | 2147483647 32871 16 | 3.155 % |
41.11/41.11 c | 34508 | 40144 387781 1349779 | 2147483647 33180 16 | 3.155 % |
41.21/41.22 c | 34847 | 40144 387781 1349779 | 2147483647 33519 16 | 3.155 % |
41.21/41.27 c | 35219 | 40144 387781 1349779 | 2147483647 33891 16 | 3.155 % |
41.31/41.39 c | 35628 | 40144 387781 1349779 | 2147483647 34300 16 | 3.155 % |
41.51/41.55 c | 36078 | 40144 387781 1349779 | 2147483647 34750 16 | 3.155 % |
41.61/41.66 c | 36573 | 40144 387781 1349779 | 2147483647 35245 16 | 3.155 % |
41.81/41.84 c | 37115 | 40144 387781 1349779 | 2147483647 35787 16 | 3.155 % |
41.81/41.87 c | 37217 | 40144 387781 1349779 | 2147483647 35889 16 | 3.155 % |
41.81/41.90 c | 37327 | 40144 387781 1349779 | 2147483647 35999 16 | 3.155 % |
41.91/41.95 c | 37449 | 40144 387781 1349779 | 2147483647 36121 16 | 3.155 % |
41.91/41.98 c | 37583 | 40144 387781 1349779 | 2147483647 36255 16 | 3.155 % |
41.91/42.00 c | 37729 | 40144 387781 1349779 | 2147483647 36401 16 | 3.155 % |
42.01/42.02 c | 37894 | 40144 387781 1349779 | 2147483647 36566 16 | 3.155 % |
42.01/42.04 c | 38071 | 40144 387781 1349779 | 2147483647 36743 16 | 3.155 % |
42.01/42.07 c | 38264 | 40144 387781 1349779 | 2147483647 36936 16 | 3.155 % |
42.11/42.13 c | 38476 | 40144 387781 1349779 | 2147483647 37148 16 | 3.155 % |
42.21/42.23 c | 38711 | 40144 387781 1349779 | 2147483647 37383 16 | 3.155 % |
42.31/42.33 c | 38970 | 40144 387781 1349779 | 2147483647 37642 16 | 3.155 % |
42.41/42.51 c | 39251 | 40144 387781 1349779 | 2147483647 37923 16 | 3.155 % |
42.51/42.60 c | 39561 | 40144 387781 1349779 | 2147483647 38233 16 | 3.155 % |
42.61/42.66 c | 39901 | 40144 387781 1349779 | 2147483647 38573 16 | 3.155 % |
42.71/42.75 c | 40273 | 40144 387781 1349779 | 2147483647 38945 17 | 3.155 % |
42.91/42.92 c | 40682 | 40144 387781 1349779 | 2147483647 39354 17 | 3.155 % |
43.01/43.06 c | 41132 | 40144 387781 1349779 | 2147483647 39804 17 | 3.155 % |
43.11/43.18 c | 41627 | 40144 387781 1349779 | 2147483647 40299 17 | 3.155 % |
43.31/43.34 c | 42170 | 40144 387781 1349779 | 2147483647 40842 17 | 3.155 % |
43.51/43.55 c | 42767 | 40144 387781 1349779 | 2147483647 41439 17 | 3.155 % |
43.51/43.59 c | 42868 | 40144 387781 1349779 | 2147483647 41540 17 | 3.155 % |
43.61/43.61 c | 42978 | 40144 387781 1349779 | 2147483647 41650 17 | 3.155 % |
43.61/43.65 c | 43100 | 40144 387781 1349779 | 2147483647 41772 17 | 3.155 % |
43.61/43.68 c | 43234 | 40144 387781 1349779 | 2147483647 41906 17 | 3.155 % |
43.71/43.74 c | 43383 | 40144 387781 1349779 | 2147483647 42055 17 | 3.155 % |
43.71/43.80 c | 43545 | 40144 387781 1349779 | 2147483647 42217 17 | 3.155 % |
43.81/43.90 c | 43721 | 40144 387781 1349779 | 2147483647 42393 17 | 3.155 % |
43.91/43.96 c | 43919 | 40144 387781 1349779 | 2147483647 42591 17 | 3.155 % |
44.01/44.02 c | 44134 | 40144 387781 1349779 | 2147483647 42806 17 | 3.155 % |
44.01/44.08 c | 44367 | 40144 387781 1349779 | 2147483647 43039 17 | 3.155 % |
44.11/44.13 c | 44625 | 40144 387781 1349779 | 2147483647 43297 17 | 3.155 % |
44.21/44.25 c | 44906 | 40144 387781 1349779 | 2147483647 43578 17 | 3.155 % |
44.31/44.37 c | 45217 | 40144 387781 1349779 | 2147483647 43889 17 | 3.155 % |
44.41/44.49 c | 45558 | 40144 387781 1349779 | 2147483647 44230 17 | 3.155 % |
44.61/44.66 c | 45931 | 40144 387781 1349779 | 2147483647 44603 17 | 3.155 % |
44.81/44.82 c | 46340 | 40144 387781 1349779 | 2147483647 45012 17 | 3.155 % |
44.91/44.97 c | 46789 | 40144 387781 1349779 | 2147483647 45461 17 | 3.155 % |
45.11/45.16 c | 47282 | 40144 387781 1349779 | 2147483647 45954 17 | 3.155 % |
45.41/45.43 c | 47825 | 40144 387781 1349779 | 2147483647 46497 17 | 3.155 % |
45.61/45.65 c | 48421 | 40144 387781 1349779 | 2147483647 47093 17 | 3.155 % |
45.81/45.87 c | 49076 | 40144 387781 1349779 | 2147483647 47748 18 | 3.155 % |
45.91/45.95 c | 49177 | 40144 387781 1349779 | 2147483647 47849 18 | 3.155 % |
45.91/46.01 c | 49287 | 40144 387781 1349779 | 2147483647 47959 18 | 3.155 % |
46.01/46.09 c | 49408 | 40144 387781 1349779 | 2147483647 48080 18 | 3.155 % |
46.11/46.18 c | 49541 | 40144 387781 1349779 | 2147483647 48213 18 | 3.155 % |
46.21/46.24 c | 49687 | 40144 387781 1349779 | 2147483647 48359 18 | 3.155 % |
46.31/46.32 c | 49847 | 40144 387781 1349779 | 2147483647 48519 18 | 3.155 % |
46.41/46.42 c | 50028 | 40144 387781 1349779 | 2147483647 48700 18 | 3.155 % |
46.51/46.53 c | 50221 | 40144 387781 1349779 | 2147483647 48893 18 | 3.155 % |
46.51/46.59 c | 50433 | 40144 387781 1349779 | 2147483647 49105 18 | 3.155 % |
46.61/46.68 c | 50667 | 40144 387781 1349779 | 2147483647 49339 18 | 3.155 % |
46.71/46.75 c | 50924 | 40144 387781 1349779 | 2147483647 49596 18 | 3.155 % |
46.81/46.84 c | 51208 | 40144 387781 1349779 | 2147483647 49880 18 | 3.155 % |
47.01/47.01 c | 51518 | 40144 387781 1349779 | 2147483647 50190 18 | 3.155 % |
47.11/47.12 c | 51859 | 40144 387781 1349779 | 2147483647 50531 18 | 3.155 % |
47.11/47.20 c | 52233 | 40144 387781 1349779 | 2147483647 50905 18 | 3.155 % |
47.21/47.28 c | 52643 | 40144 387781 1349779 | 2147483647 51315 18 | 3.155 % |
47.51/47.57 c | 53093 | 40144 387781 1349779 | 2147483647 51765 18 | 3.155 % |
47.71/47.81 c | 53587 | 40144 387781 1349779 | 2147483647 52259 18 | 3.155 % |
47.91/48.00 c | 54129 | 40144 387781 1349779 | 2147483647 52801 18 | 3.155 % |
48.11/48.19 c | 54725 | 40144 387781 1349779 | 2147483647 53397 18 | 3.155 % |
48.41/48.46 c | 55380 | 40144 387781 1349779 | 2147483647 54052 18 | 3.155 % |
48.51/48.59 c | 56100 | 40144 387781 1349779 | 2147483647 54772 18 | 3.155 % |
48.61/48.62 c | 56202 | 40144 387781 1349779 | 2147483647 54874 18 | 3.155 % |
48.61/48.65 c | 56314 | 40144 387781 1349779 | 2147483647 54986 18 | 3.155 % |
48.61/48.70 c | 56437 | 40144 387781 1349779 | 2147483647 55109 18 | 3.155 % |
48.71/48.76 c | 56570 | 40144 387781 1349779 | 2147483647 55242 18 | 3.155 % |
48.81/48.81 c | 56717 | 40144 387781 1349779 | 2147483647 55389 18 | 3.155 % |
48.81/48.90 c | 56877 | 40144 387781 1349779 | 2147483647 55549 18 | 3.155 % |
48.91/49.00 c | 57053 | 40144 387781 1349779 | 2147483647 55725 18 | 3.155 % |
49.01/49.10 c | 57249 | 40144 387781 1349779 | 2147483647 55921 19 | 3.155 % |
49.11/49.17 c | 57461 | 40144 387781 1349779 | 2147483647 56133 19 | 3.155 % |
49.21/49.22 c | 57694 | 40144 387781 1349779 | 2147483647 56366 19 | 3.155 % |
49.31/49.37 c | 57950 | 40144 387781 1349779 | 2147483647 56622 19 | 3.155 % |
49.41/49.49 c | 58231 | 40144 387781 1349779 | 2147483647 56903 19 | 3.155 % |
49.61/49.66 c | 58540 | 40144 387781 1349779 | 2147483647 57212 19 | 3.155 % |
49.81/49.81 c | 58879 | 40144 387781 1349779 | 2147483647 57551 19 | 3.155 % |
50.01/50.02 c | 59251 | 40143 387508 1348175 | 2147483647 57922 19 | 3.158 % |
50.31/50.32 c | 59662 | 40143 387508 1348175 | 2147483647 58333 19 | 3.158 % |
50.41/50.49 c | 60111 | 40143 387508 1348175 | 2147483647 58782 19 | 3.158 % |
50.61/50.71 c | 60604 | 40143 387508 1348175 | 2147483647 59275 19 | 3.158 % |
50.81/50.87 c | 61149 | 40143 387508 1348175 | 2147483647 59820 19 | 3.158 % |
51.11/51.13 c | 61748 | 40143 387508 1348175 | 2147483647 60419 19 | 3.158 % |
51.31/51.38 c | 62403 | 40143 387508 1348175 | 2147483647 61074 19 | 3.158 % |
51.51/51.52 c | 63123 | 40143 387508 1348175 | 2147483647 61794 19 | 3.158 % |
51.81/51.89 c | 63915 | 40143 387508 1348175 | 2147483647 62586 19 | 3.158 % |
51.91/51.94 c | 64015 | 40143 387508 1348175 | 2147483647 62686 19 | 3.158 % |
51.91/51.98 c | 64125 | 40143 387508 1348175 | 2147483647 62796 19 | 3.158 % |
52.01/52.04 c | 64247 | 40143 387508 1348175 | 2147483647 62918 19 | 3.158 % |
52.11/52.11 c | 64380 | 40143 387508 1348175 | 2147483647 63051 19 | 3.158 % |
52.11/52.16 c | 64529 | 40143 387508 1348175 | 2147483647 63200 19 | 3.158 % |
52.11/52.21 c | 64689 | 40143 387508 1348175 | 2147483647 63360 19 | 3.158 % |
52.21/52.25 c | 64865 | 40143 387508 1348175 | 2147483647 63536 19 | 3.158 % |
52.31/52.31 c | 65059 | 40143 387508 1348175 | 2147483647 63730 19 | 3.158 % |
52.31/52.36 c | 65271 | 40143 387508 1348175 | 2147483647 63942 19 | 3.158 % |
52.41/52.45 c | 65506 | 40143 387508 1348175 | 2147483647 64177 19 | 3.158 % |
52.51/52.54 c | 65764 | 40143 387508 1348175 | 2147483647 64435 19 | 3.158 % |
52.51/52.61 c | 66046 | 40143 387508 1348175 | 2147483647 64717 19 | 3.158 % |
52.71/52.81 c | 66355 | 40142 387504 1348167 | 2147483647 65025 19 | 3.160 % |
52.91/52.98 c | 66695 | 40142 387504 1348167 | 2147483647 65365 19 | 3.160 % |
53.21/53.25 c | 67069 | 40142 387504 1348167 | 2147483647 65739 19 | 3.160 % |
53.41/53.47 c | 67478 | 40142 387504 1348167 | 2147483647 66148 19 | 3.160 % |
53.81/53.86 c | 67927 | 40142 387504 1348167 | 2147483647 66597 19 | 3.160 % |
54.11/54.18 c | 68420 | 40142 387504 1348167 | 2147483647 67090 19 | 3.160 % |
54.51/54.51 c | 68964 | 40142 387504 1348167 | 2147483647 67634 19 | 3.160 % |
54.81/54.86 c | 69560 | 40142 387504 1348167 | 2147483647 68230 19 | 3.160 % |
55.11/55.18 c | 70215 | 40142 387504 1348167 | 2147483647 68885 19 | 3.160 % |
55.51/55.59 c | 70936 | 40142 387504 1348167 | 2147483647 69606 20 | 3.160 % |
56.01/56.10 c | 71729 | 40142 387504 1348167 | 2147483647 70399 20 | 3.160 % |
56.61/56.61 c | 72600 | 40142 387504 1348167 | 2147483647 71270 20 | 3.160 % |
56.61/56.67 c | 72703 | 40142 387504 1348167 | 2147483647 71373 20 | 3.160 % |
56.71/56.73 c | 72813 | 40142 387504 1348167 | 2147483647 71483 20 | 3.160 % |
56.71/56.78 c | 72934 | 40142 387504 1348167 | 2147483647 71604 20 | 3.160 % |
56.81/56.85 c | 73067 | 40142 387504 1348167 | 2147483647 71737 20 | 3.160 % |
56.91/56.97 c | 73215 | 40142 387504 1348167 | 2147483647 71885 20 | 3.160 % |
57.01/57.11 c | 73375 | 40142 387504 1348167 | 2147483647 72045 20 | 3.160 % |
57.11/57.21 c | 73551 | 40142 387504 1348167 | 2147483647 72221 20 | 3.160 % |
57.21/57.30 c | 73744 | 40142 387504 1348167 | 2147483647 72414 20 | 3.160 % |
57.31/57.39 c | 73957 | 40142 387504 1348167 | 2147483647 72627 20 | 3.160 % |
57.41/57.45 c | 74193 | 40142 387504 1348167 | 2147483647 72863 20 | 3.160 % |
57.51/57.54 c | 74450 | 40142 387504 1348167 | 2147483647 73120 20 | 3.160 % |
57.71/57.73 c | 74732 | 40142 387504 1348167 | 2147483647 73402 20 | 3.160 % |
57.81/57.91 c | 75041 | 40142 387504 1348167 | 2147483647 73711 20 | 3.160 % |
58.11/58.16 c | 75380 | 40142 387504 1348167 | 2147483647 74050 20 | 3.160 % |
58.31/58.36 c | 75753 | 40142 387504 1348167 | 2147483647 74423 20 | 3.160 % |
58.51/58.56 c | 76162 | 40142 387504 1348167 | 2147483647 74832 20 | 3.160 % |
58.81/58.87 c | 76611 | 40142 387504 1348167 | 2147483647 75281 20 | 3.160 % |
59.11/59.14 c | 77104 | 40142 387504 1348167 | 2147483647 75774 20 | 3.160 % |
59.51/59.55 c | 77646 | 40142 387504 1348167 | 2147483647 76316 20 | 3.160 % |
60.01/60.01 c | 78244 | 40142 387504 1348167 | 2147483647 76914 20 | 3.160 % |
60.31/60.40 c | 78899 | 40142 387504 1348167 | 2147483647 77569 20 | 3.160 % |
60.81/60.85 c | 79621 | 40142 387504 1348167 | 2147483647 78291 20 | 3.160 % |
61.41/61.45 c | 80413 | 40142 387504 1348167 | 2147483647 79083 20 | 3.160 % |
62.01/62.11 c | 81285 | 40142 387504 1348167 | 2147483647 79955 20 | 3.160 % |
62.61/62.65 c | 82243 | 40142 387504 1348167 | 2147483647 80913 20 | 3.160 % |
62.71/62.71 c | 82345 | 40142 387504 1348167 | 2147483647 81015 20 | 3.160 % |
62.71/62.79 c | 82455 | 40142 387504 1348167 | 2147483647 81125 20 | 3.160 % |
62.81/62.83 c | 82576 | 40142 387504 1348167 | 2147483647 81246 20 | 3.160 % |
62.81/62.90 c | 82710 | 40142 387504 1348167 | 2147483647 81380 20 | 3.160 % |
62.91/62.95 c | 82857 | 40142 387504 1348167 | 2147483647 81527 20 | 3.160 % |
63.01/63.03 c | 83017 | 40142 387504 1348167 | 2147483647 81687 20 | 3.160 % |
63.11/63.14 c | 83194 | 40142 387504 1348167 | 2147483647 81864 20 | 3.160 % |
63.21/63.24 c | 83387 | 40142 387504 1348167 | 2147483647 82057 20 | 3.160 % |
63.31/63.35 c | 83599 | 40142 387504 1348167 | 2147483647 82269 20 | 3.160 % |
63.41/63.47 c | 83832 | 40142 387504 1348167 | 2147483647 82502 20 | 3.160 % |
63.51/63.61 c | 84088 | 40142 387504 1348167 | 2147483647 82758 20 | 3.160 % |
63.71/63.80 c | 84369 | 40142 387504 1348167 | 2147483647 83039 20 | 3.160 % |
64.01/64.05 c | 84678 | 40142 387504 1348167 | 2147483647 83348 20 | 3.160 % |
64.21/64.23 c | 85018 | 40142 387504 1348167 | 2147483647 83688 20 | 3.160 % |
64.41/64.45 c | 85394 | 40142 387504 1348167 | 2147483647 84064 20 | 3.160 % |
64.61/64.65 c | 85803 | 40142 387504 1348167 | 2147483647 84473 20 | 3.160 % |
65.01/65.05 c | 86253 | 40142 387504 1348167 | 2147483647 84923 20 | 3.160 % |
65.41/65.48 c | 86746 | 40142 387504 1348167 | 2147483647 85416 20 | 3.160 % |
65.71/65.79 c | 87289 | 40142 387504 1348167 | 2147483647 85959 20 | 3.160 % |
66.11/66.15 c | 87885 | 40142 387504 1348167 | 2147483647 86555 20 | 3.160 % |
66.41/66.43 c | 88540 | 40142 387504 1348167 | 2147483647 87210 20 | 3.160 % |
66.81/66.88 c | 89260 | 40142 387504 1348167 | 2147483647 87930 20 | 3.160 % |
67.61/67.66 c | 90053 | 40142 387504 1348167 | 2147483647 88723 20 | 3.160 % |
68.21/68.25 c | 90925 | 40142 387504 1348167 | 2147483647 89595 20 | 3.160 % |
68.61/68.65 c | 91887 | 40142 387504 1348167 | 2147483647 90557 20 | 3.160 % |
68.81/68.82 c | 92944 | 40142 387504 1348167 | 2147483647 91614 20 | 3.160 % |
68.81/68.85 c | 93046 | 40142 387504 1348167 | 2147483647 91716 20 | 3.160 % |
68.81/68.88 c | 93157 | 40142 387504 1348167 | 2147483647 91827 20 | 3.160 % |
68.91/68.92 c | 93279 | 40142 387504 1348167 | 2147483647 91949 20 | 3.160 % |
68.91/68.95 c | 93412 | 40142 387504 1348167 | 2147483647 92082 20 | 3.160 % |
68.91/68.99 c | 93559 | 40142 387504 1348167 | 2147483647 92229 20 | 3.160 % |
69.01/69.10 c | 93719 | 40142 387504 1348167 | 2147483647 92389 20 | 3.160 % |
69.11/69.16 c | 93895 | 40142 387504 1348167 | 2147483647 92565 20 | 3.160 % |
69.11/69.21 c | 94088 | 40142 387504 1348167 | 2147483647 92758 20 | 3.160 % |
69.31/69.39 c | 94302 | 40142 387504 1348167 | 2147483647 92972 20 | 3.160 % |
69.51/69.57 c | 94536 | 40142 387504 1348167 | 2147483647 93206 21 | 3.160 % |
69.71/69.76 c | 94792 | 40142 387504 1348167 | 2147483647 93462 21 | 3.160 % |
69.91/69.95 c | 95073 | 40142 387504 1348167 | 2147483647 93743 21 | 3.160 % |
70.11/70.20 c | 95382 | 40142 387504 1348167 | 2147483647 94052 21 | 3.160 % |
70.51/70.56 c | 95721 | 40142 387504 1348167 | 2147483647 94391 21 | 3.160 % |
70.71/70.78 c | 96093 | 40142 387504 1348167 | 2147483647 94763 21 | 3.160 % |
71.11/71.11 c | 96503 | 40142 387504 1348167 | 2147483647 95173 21 | 3.160 % |
71.41/71.48 c | 96952 | 40142 387504 1348167 | 2147483647 95622 21 | 3.160 % |
71.71/71.78 c | 97446 | 40142 387504 1348167 | 2147483647 96116 21 | 3.160 % |
72.21/72.28 c | 97988 | 40142 387504 1348167 | 2147483647 96658 21 | 3.160 % |
72.81/72.84 c | 98584 | 40142 387504 1348167 | 2147483647 97254 21 | 3.160 % |
73.11/73.18 c | 99240 | 40142 387504 1348167 | 2147483647 97910 21 | 3.160 % |
73.51/73.61 c | 99960 | 40142 387504 1348167 | 2147483647 98630 21 | 3.160 % |
73.91/73.94 c | 100752 | 40142 387504 1348167 | 2147483647 99422 21 | 3.160 % |
74.61/74.70 c | 101623 | 40142 387504 1348167 | 2147483647 100293 21 | 3.160 % |
75.01/75.03 c | 102581 | 40142 387504 1348167 | 2147483647 101251 21 | 3.160 % |
75.91/75.92 c | 103634 | 40142 387504 1348167 | 2147483647 102304 21 | 3.160 % |
76.51/76.57 c | 104792 | 40142 387504 1348167 | 2147483647 103462 21 | 3.160 % |
76.61/76.65 c | 104892 | 40142 387504 1348167 | 2147483647 103562 21 | 3.160 % |
76.71/76.73 c | 105003 | 40142 387504 1348167 | 2147483647 103673 21 | 3.160 % |
76.81/76.86 c | 105124 | 40142 387504 1348167 | 2147483647 103794 21 | 3.160 % |
76.91/76.97 c | 105259 | 40142 387504 1348167 | 2147483647 103929 21 | 3.160 % |
77.11/77.13 c | 105408 | 40142 387504 1348167 | 2147483647 104078 21 | 3.160 % |
77.21/77.27 c | 105568 | 40142 387504 1348167 | 2147483647 104238 21 | 3.160 % |
77.51/77.54 c | 105745 | 40142 387504 1348167 | 2147483647 104415 21 | 3.160 % |
77.61/77.70 c | 105942 | 40142 387504 1348167 | 2147483647 104612 21 | 3.160 % |
77.81/77.84 c | 106156 | 40142 387504 1348167 | 2147483647 104826 21 | 3.160 % |
77.91/77.95 c | 106391 | 40142 387504 1348167 | 2147483647 105061 21 | 3.160 % |
78.01/78.10 c | 106648 | 40142 387504 1348167 | 2147483647 105318 21 | 3.160 % |
78.31/78.39 c | 106929 | 40142 387504 1348167 | 2147483647 105599 21 | 3.160 % |
78.61/78.65 c | 107241 | 40142 387504 1348167 | 2147483647 105911 21 | 3.160 % |
78.71/78.76 c | 107580 | 40142 387504 1348167 | 2147483647 106250 21 | 3.160 % |
79.11/79.12 c | 107953 | 40142 387504 1348167 | 2147483647 106623 21 | 3.160 % |
79.31/79.37 c | 108363 | 40142 387504 1348167 | 2147483647 107033 21 | 3.160 % |
79.71/79.74 c | 108814 | 40142 387504 1348167 | 2147483647 107484 21 | 3.160 % |
80.11/80.14 c | 109308 | 40142 387504 1348167 | 2147483647 107978 21 | 3.160 % |
80.41/80.46 c | 109852 | 40142 387504 1348167 | 2147483647 108522 21 | 3.160 % |
80.61/80.71 c | 110449 | 40142 387504 1348167 | 2147483647 109119 21 | 3.160 % |
81.01/81.07 c | 111104 | 40142 387504 1348167 | 2147483647 109774 21 | 3.160 % |
81.71/81.74 c | 111824 | 40142 387504 1348167 | 2147483647 110494 21 | 3.160 % |
82.11/82.20 c | 112616 | 40142 387504 1348167 | 2147483647 111286 21 | 3.160 % |
82.81/82.91 c | 113488 | 40142 387504 1348167 | 2147483647 112158 21 | 3.160 % |
83.71/83.74 c | 114446 | 40142 387504 1348167 | 2147483647 113116 21 | 3.160 % |
84.81/84.88 c | 115499 | 40142 387504 1348167 | 2147483647 114169 21 | 3.160 % |
86.11/86.14 c | 116657 | 40142 387504 1348167 | 2147483647 115327 21 | 3.160 % |
87.51/87.52 c | 117930 | 40142 387504 1348167 | 2147483647 116600 21 | 3.160 % |
87.61/87.66 c | 118031 | 40142 387504 1348167 | 2147483647 116701 21 | 3.160 % |
87.71/87.79 c | 118142 | 40142 387504 1348167 | 2147483647 116812 21 | 3.160 % |
87.81/87.88 c | 118264 | 40142 387504 1348167 | 2147483647 116934 21 | 3.160 % |
87.91/87.93 c | 118400 | 40142 387504 1348167 | 2147483647 117070 21 | 3.160 % |
87.91/88.01 c | 118546 | 40142 387504 1348167 | 2147483647 117216 21 | 3.160 % |
88.11/88.12 c | 118706 | 40142 387504 1348167 | 2147483647 117376 21 | 3.160 % |
88.21/88.22 c | 118883 | 40142 387504 1348167 | 2147483647 117553 21 | 3.160 % |
88.41/88.41 c | 119077 | 40142 387504 1348167 | 2147483647 117747 21 | 3.160 % |
88.41/88.49 c | 119289 | 40142 387504 1348167 | 2147483647 117959 21 | 3.160 % |
88.61/88.70 c | 119523 | 40142 387504 1348167 | 2147483647 118193 21 | 3.160 % |
88.81/88.90 c | 119780 | 40142 387504 1348167 | 2147483647 118450 21 | 3.160 % |
89.11/89.21 c | 120063 | 40142 387504 1348167 | 2147483647 118733 21 | 3.160 % |
89.51/89.59 c | 120372 | 40142 387504 1348167 | 2147483647 119042 21 | 3.160 % |
89.91/89.97 c | 120713 | 40142 387504 1348167 | 2147483647 119383 21 | 3.160 % |
90.01/90.09 c | 121086 | 40142 387504 1348167 | 2147483647 119756 21 | 3.160 % |
90.41/90.41 c | 121495 | 40142 387504 1348167 | 2147483647 120165 21 | 3.160 % |
90.71/90.73 c | 121944 | 40142 387504 1348167 | 2147483647 120614 21 | 3.160 % |
90.91/90.91 c | 122437 | 40142 387504 1348167 | 2147483647 121107 21 | 3.160 % |
91.41/91.42 c | 122980 | 40142 387504 1348167 | 2147483647 121650 21 | 3.160 % |
91.71/91.78 c | 123576 | 40142 387504 1348167 | 2147483647 122246 21 | 3.160 % |
92.01/92.09 c | 124231 | 40142 387504 1348167 | 2147483647 122901 21 | 3.160 % |
92.91/92.91 c | 124951 | 40142 387504 1348167 | 2147483647 123621 21 | 3.160 % |
93.41/93.51 c | 125744 | 40142 387504 1348167 | 2147483647 124414 21 | 3.160 % |
94.31/94.38 c | 126618 | 40142 387504 1348167 | 2147483647 125288 21 | 3.160 % |
95.11/95.19 c | 127577 | 40142 387504 1348167 | 2147483647 126247 22 | 3.160 % |
95.91/95.98 c | 128631 | 40142 387504 1348167 | 2147483647 127301 22 | 3.160 % |
96.71/96.78 c | 129789 | 40142 387504 1348167 | 2147483647 128459 22 | 3.160 % |
97.41/97.42 c | 131063 | 40142 387504 1348167 | 2147483647 129733 22 | 3.160 % |
98.11/98.14 c | 132464 | 40142 387504 1348167 | 2147483647 131134 22 | 3.160 % |
98.21/98.22 c | 132564 | 40142 387504 1348167 | 2147483647 131234 22 | 3.160 % |
98.21/98.27 c | 132675 | 40142 387504 1348167 | 2147483647 131345 22 | 3.160 % |
98.31/98.31 c | 132796 | 40142 387504 1348167 | 2147483647 131466 22 | 3.160 % |
98.31/98.37 c | 132929 | 40142 387504 1348167 | 2147483647 131599 22 | 3.160 % |
98.51/98.54 c | 133076 | 40142 387504 1348167 | 2147483647 131746 22 | 3.160 % |
98.71/98.72 c | 133237 | 40142 387504 1348167 | 2147483647 131907 22 | 3.160 % |
98.91/98.94 c | 133413 | 40142 387504 1348167 | 2147483647 132083 22 | 3.160 % |
99.02/99.05 c | 133607 | 40142 387504 1348167 | 2147483647 132277 22 | 3.160 % |
99.31/99.32 c | 133819 | 40142 387504 1348167 | 2147483647 132489 22 | 3.160 % |
99.51/99.51 c | 134053 | 40142 387504 1348167 | 2147483647 132723 22 | 3.160 % |
99.71/99.71 c | 134309 | 40142 387504 1348167 | 2147483647 132979 22 | 3.160 % |
99.91/99.97 c | 134590 | 40142 387504 1348167 | 2147483647 133260 22 | 3.160 % |
100.31/100.35 c | 134900 | 40142 387504 1348167 | 2147483647 133570 22 | 3.160 % |
100.71/100.80 c | 135239 | 40142 387504 1348167 | 2147483647 133909 22 | 3.160 % |
101.31/101.32 c | 135613 | 40142 387504 1348167 | 2147483647 134283 22 | 3.160 % |
101.71/101.79 c | 136024 | 40142 387504 1348167 | 2147483647 134694 22 | 3.160 % |
102.41/102.44 c | 136475 | 40142 387504 1348167 | 2147483647 135145 22 | 3.160 % |
102.71/102.77 c | 136969 | 40142 387504 1348167 | 2147483647 135639 22 | 3.160 % |
103.11/103.17 c | 137511 | 40142 387504 1348167 | 2147483647 136181 22 | 3.160 % |
103.51/103.54 c | 138107 | 40142 387504 1348167 | 2147483647 136777 22 | 3.160 % |
104.41/104.41 c | 138762 | 40142 387504 1348167 | 2147483647 137432 22 | 3.160 % |
105.51/105.60 c | 139484 | 40142 387504 1348167 | 2147483647 138154 22 | 3.160 % |
106.81/106.83 c | 140276 | 40067 382748 1329458 | 2147483647 109250 22 | 3.341 % |
107.31/107.39 c | 141147 | 40067 382748 1329458 | 2147483647 110121 22 | 3.341 % |
108.41/108.41 c | 142105 | 40067 382748 1329458 | 2147483647 111079 22 | 3.341 % |
109.21/109.26 c | 143159 | 40067 382748 1329458 | 2147483647 112133 22 | 3.341 % |
110.11/110.15 c | 144318 | 40067 382748 1329458 | 2147483647 113292 22 | 3.341 % |
111.01/111.05 c | 145592 | 40067 382748 1329458 | 2147483647 114566 22 | 3.341 % |
112.22/112.22 c | 146993 | 40067 382748 1329458 | 2147483647 115967 22 | 3.341 % |
113.21/113.30 c | 148535 | 40067 382748 1329458 | 2147483647 117509 22 | 3.341 % |
113.32/113.36 c | 148637 | 40067 382748 1329458 | 2147483647 117611 22 | 3.341 % |
113.32/113.40 c | 148747 | 40067 382748 1329458 | 2147483647 117721 22 | 3.341 % |
113.41/113.43 c | 148868 | 40067 382748 1329458 | 2147483647 117842 22 | 3.341 % |
113.41/113.48 c | 149002 | 40067 382748 1329458 | 2147483647 117976 22 | 3.341 % |
113.51/113.59 c | 149149 | 40067 382748 1329458 | 2147483647 118123 22 | 3.341 % |
113.61/113.62 c | 149310 | 40067 382748 1329458 | 2147483647 118284 22 | 3.341 % |
113.61/113.68 c | 149487 | 40067 382748 1329458 | 2147483647 118461 22 | 3.341 % |
113.71/113.79 c | 149683 | 40067 382748 1329458 | 2147483647 118657 22 | 3.341 % |
113.81/113.88 c | 149896 | 40067 382748 1329458 | 2147483647 118870 22 | 3.341 % |
114.01/114.04 c | 150131 | 40067 382748 1329458 | 2147483647 119105 22 | 3.341 % |
114.11/114.15 c | 150388 | 40067 382748 1329458 | 2147483647 119362 22 | 3.341 % |
114.31/114.36 c | 150670 | 40067 382748 1329458 | 2147483647 119644 22 | 3.341 % |
114.61/114.62 c | 150981 | 40067 382748 1329458 | 2147483647 119955 22 | 3.341 % |
114.91/114.96 c | 151321 | 40067 382748 1329458 | 2147483647 120295 22 | 3.341 % |
115.11/115.19 c | 151693 | 40067 382748 1329458 | 2147483647 120667 22 | 3.341 % |
115.52/115.55 c | 152103 | 40067 382748 1329458 | 2147483647 121077 22 | 3.341 % |
115.91/115.94 c | 152554 | 40067 382748 1329458 | 2147483647 121528 22 | 3.341 % |
116.62/116.66 c | 153052 | 40067 382748 1329458 | 2147483647 122026 22 | 3.341 % |
117.21/117.26 c | 153597 | 40067 382748 1329458 | 2147483647 122571 22 | 3.341 % |
118.01/118.04 c | 154193 | 40067 382748 1329458 | 2147483647 123167 22 | 3.341 % |
118.71/118.74 c | 154848 | 40067 382748 1329458 | 2147483647 123822 22 | 3.341 % |
119.31/119.36 c | 155569 | 40067 382748 1329458 | 2147483647 124543 22 | 3.341 % |
120.21/120.24 c | 156361 | 40067 382748 1329458 | 2147483647 125335 22 | 3.341 % |
120.71/120.72 c | 157232 | 40067 382748 1329458 | 2147483647 126206 22 | 3.341 % |
121.71/121.77 c | 158191 | 40067 382748 1329458 | 2147483647 127165 22 | 3.341 % |
122.61/122.61 c | 159244 | 40067 382748 1329458 | 2147483647 128218 23 | 3.341 % |
123.11/123.19 c | 160402 | 40067 382748 1329458 | 2147483647 129376 23 | 3.341 % |
124.32/124.33 c | 161675 | 40067 382748 1329458 | 2147483647 130649 23 | 3.341 % |
125.21/125.26 c | 163078 | 40067 382748 1329458 | 2147483647 132052 23 | 3.341 % |
126.81/126.85 c | 164620 | 40067 382748 1329458 | 2147483647 133594 23 | 3.341 % |
128.72/128.76 c | 166316 | 40067 382748 1329458 | 2147483647 135290 23 | 3.341 % |
128.81/128.91 c | 166417 | 40067 382748 1329458 | 2147483647 135391 23 | 3.341 % |
129.01/129.03 c | 166527 | 40067 382748 1329458 | 2147483647 135501 23 | 3.341 % |
129.11/129.17 c | 166651 | 40067 382748 1329458 | 2147483647 135625 23 | 3.341 % |
129.21/129.29 c | 166784 | 40067 382748 1329458 | 2147483647 135758 23 | 3.341 % |
129.31/129.39 c | 166930 | 40067 382748 1329458 | 2147483647 135904 23 | 3.341 % |
129.51/129.60 c | 167091 | 40067 382748 1329458 | 2147483647 136065 23 | 3.341 % |
129.82/129.84 c | 167268 | 40067 382748 1329458 | 2147483647 136242 23 | 3.341 % |
130.01/130.01 c | 167461 | 40067 382748 1329458 | 2147483647 136435 23 | 3.341 % |
130.21/130.26 c | 167673 | 40067 382748 1329458 | 2147483647 136647 23 | 3.341 % |
130.51/130.52 c | 167906 | 40067 382748 1329458 | 2147483647 136880 23 | 3.341 % |
130.81/130.88 c | 168162 | 40067 382748 1329458 | 2147483647 137136 23 | 3.341 % |
131.21/131.21 c | 168444 | 40067 382748 1329458 | 2147483647 137418 23 | 3.341 % |
131.41/131.48 c | 168755 | 40067 382748 1329458 | 2147483647 137729 23 | 3.341 % |
131.81/131.90 c | 169096 | 40067 382748 1329458 | 2147483647 138070 23 | 3.341 % |
132.21/132.21 c | 169469 | 40067 382748 1329458 | 2147483647 138443 23 | 3.341 % |
132.51/132.54 c | 169878 | 40067 382748 1329458 | 2147483647 138852 23 | 3.341 % |
133.01/133.05 c | 170328 | 40067 382748 1329458 | 2147483647 139302 23 | 3.341 % |
133.41/133.49 c | 170821 | 40067 382748 1329458 | 2147483647 139795 23 | 3.341 % |
133.91/134.00 c | 171364 | 40067 382748 1329458 | 2147483647 140338 23 | 3.341 % |
134.51/134.60 c | 171961 | 40067 382748 1329458 | 2147483647 140935 23 | 3.341 % |
134.91/134.96 c | 172617 | 40067 382748 1329458 | 2147483647 141591 23 | 3.341 % |
135.61/135.70 c | 173338 | 40067 382748 1329458 | 2147483647 142312 23 | 3.341 % |
136.61/136.70 c | 174131 | 40067 382748 1329458 | 2147483647 143105 23 | 3.341 % |
137.21/137.31 c | 175002 | 40067 382748 1329458 | 2147483647 143976 23 | 3.341 % |
138.51/138.60 c | 175964 | 40067 382748 1329458 | 2147483647 144938 23 | 3.341 % |
140.01/140.01 c | 177017 | 40067 382748 1329458 | 2147483647 145991 23 | 3.341 % |
141.11/141.17 c | 178175 | 40067 382748 1329458 | 2147483647 147149 23 | 3.341 % |
142.11/142.15 c | 179448 | 40067 382748 1329458 | 2147483647 148422 24 | 3.341 % |
143.91/143.98 c | 180849 | 40067 382748 1329458 | 2147483647 149823 24 | 3.341 % |
145.42/145.48 c | 182389 | 40067 382748 1329458 | 2147483647 151363 24 | 3.341 % |
146.32/146.40 c | 184085 | 40067 382748 1329458 | 2147483647 153059 24 | 3.341 % |
148.22/148.25 c | 185949 | 40067 382748 1329458 | 2147483647 154923 24 | 3.341 % |
148.32/148.33 c | 186050 | 40067 382748 1329458 | 2147483647 155024 24 | 3.341 % |
148.42/148.47 c | 186161 | 40067 382748 1329458 | 2147483647 155135 24 | 3.341 % |
148.52/148.53 c | 186282 | 40067 382748 1329458 | 2147483647 155256 24 | 3.341 % |
148.62/148.71 c | 186416 | 40067 382748 1329458 | 2147483647 155390 24 | 3.341 % |
148.82/148.87 c | 186563 | 40067 382748 1329458 | 2147483647 155537 24 | 3.341 % |
148.92/148.99 c | 186727 | 40067 382748 1329458 | 2147483647 155701 24 | 3.341 % |
149.12/149.16 c | 186903 | 40067 382748 1329458 | 2147483647 155877 24 | 3.341 % |
149.22/149.28 c | 187096 | 40067 382748 1329458 | 2147483647 156070 24 | 3.341 % |
149.42/149.49 c | 187309 | 40067 382748 1329458 | 2147483647 156283 24 | 3.341 % |
149.62/149.70 c | 187547 | 40067 382748 1329458 | 2147483647 156521 24 | 3.341 % |
149.92/149.97 c | 187803 | 40067 382748 1329458 | 2147483647 156777 24 | 3.341 % |
150.32/150.36 c | 188085 | 40067 382748 1329458 | 2147483647 157059 24 | 3.341 % |
150.82/150.87 c | 188394 | 40067 382748 1329458 | 2147483647 157368 24 | 3.341 % |
151.12/151.19 c | 188733 | 40067 382748 1329458 | 2147483647 157707 24 | 3.341 % |
151.72/151.80 c | 189105 | 40067 382748 1329458 | 2147483647 158079 24 | 3.341 % |
152.22/152.23 c | 189516 | 40067 382748 1329458 | 2147483647 158490 24 | 3.341 % |
152.82/152.86 c | 189968 | 40067 382748 1329458 | 2147483647 158942 24 | 3.341 % |
153.22/153.29 c | 190461 | 40067 382748 1329458 | 2147483647 159435 24 | 3.341 % |
154.02/154.04 c | 191006 | 40067 382748 1329458 | 2147483647 159980 24 | 3.341 % |
154.32/154.36 c | 191604 | 40067 382748 1329458 | 2147483647 160578 24 | 3.341 % |
154.82/154.82 c | 192259 | 40067 382748 1329458 | 2147483647 161233 24 | 3.341 % |
155.22/155.22 c | 192980 | 40067 382748 1329458 | 2147483647 161954 24 | 3.341 % |
156.02/156.08 c | 193774 | 40067 382748 1329458 | 2147483647 162748 24 | 3.341 % |
156.82/156.89 c | 194646 | 40067 382748 1329458 | 2147483647 163620 24 | 3.341 % |
157.92/157.98 c | 195604 | 40067 382748 1329458 | 2147483647 164578 24 | 3.341 % |
158.62/158.63 c | 196659 | 40067 382748 1329458 | 2147483647 165633 24 | 3.341 % |
159.12/159.16 c | 197817 | 40067 382748 1329458 | 2147483647 166791 24 | 3.341 % |
160.02/160.02 c | 199090 | 40067 382748 1329458 | 2147483647 168064 24 | 3.341 % |
161.52/161.59 c | 200490 | 40067 382748 1329458 | 2147483647 169464 24 | 3.341 % |
163.12/163.16 c | 202032 | 40067 382748 1329458 | 2147483647 171006 24 | 3.341 % |
165.32/165.39 c | 203726 | 40067 382748 1329458 | 2147483647 172700 24 | 3.341 % |
166.92/166.94 c | 205590 | 40067 382748 1329458 | 2147483647 174564 24 | 3.341 % |
168.22/168.28 c | 207640 | 40067 382748 1329458 | 2147483647 176614 24 | 3.341 % |
168.32/168.40 c | 207740 | 40067 382748 1329458 | 2147483647 176714 24 | 3.341 % |
168.52/168.61 c | 207851 | 40067 382748 1329458 | 2147483647 176825 24 | 3.341 % |
168.62/168.67 c | 207972 | 40067 382748 1329458 | 2147483647 176946 24 | 3.341 % |
168.82/168.86 c | 208105 | 40067 382748 1329458 | 2147483647 177079 24 | 3.341 % |
169.02/169.09 c | 208251 | 40067 382748 1329458 | 2147483647 177225 24 | 3.341 % |
169.32/169.33 c | 208412 | 40067 382748 1329458 | 2147483647 177386 24 | 3.341 % |
169.52/169.54 c | 208589 | 40067 382748 1329458 | 2147483647 177563 24 | 3.341 % |
169.82/169.84 c | 208783 | 40067 382748 1329458 | 2147483647 177757 24 | 3.341 % |
170.22/170.23 c | 208995 | 40067 382748 1329458 | 2147483647 177969 24 | 3.341 % |
170.42/170.46 c | 209228 | 40067 382748 1329458 | 2147483647 178202 24 | 3.341 % |
170.72/170.76 c | 209485 | 40067 382748 1329458 | 2147483647 178459 24 | 3.341 % |
171.02/171.05 c | 209767 | 40067 382748 1329458 | 2147483647 178741 24 | 3.341 % |
171.52/171.58 c | 210078 | 40067 382748 1329458 | 2147483647 179052 24 | 3.341 % |
172.12/172.14 c | 210418 | 40067 382748 1329458 | 2147483647 179392 24 | 3.341 % |
172.52/172.59 c | 210791 | 40067 382748 1329458 | 2147483647 179765 24 | 3.341 % |
172.82/172.90 c | 211201 | 40067 382748 1329458 | 2147483647 180175 24 | 3.341 % |
173.12/173.19 c | 211651 | 40067 382748 1329458 | 2147483647 180625 24 | 3.341 % |
173.62/173.63 c | 212144 | 40067 382748 1329458 | 2147483647 181118 24 | 3.341 % |
174.32/174.41 c | 212690 | 40067 382748 1329458 | 2147483647 181664 24 | 3.341 % |
174.82/174.91 c | 213286 | 40067 382748 1329458 | 2147483647 182260 24 | 3.341 % |
175.62/175.68 c | 213941 | 40067 382748 1329458 | 2147483647 182915 24 | 3.341 % |
175.92/175.93 c | 214662 | 40067 382748 1329458 | 2147483647 183636 24 | 3.341 % |
176.72/176.79 c | 215454 | 40067 382748 1329458 | 2147483647 184428 24 | 3.341 % |
177.62/177.65 c | 216325 | 40067 382748 1329458 | 2147483647 185299 24 | 3.341 % |
178.02/178.08 c | 217285 | 40067 382748 1329458 | 2147483647 186259 24 | 3.341 % |
179.22/179.29 c | 218338 | 40067 382748 1329458 | 2147483647 187312 24 | 3.341 % |
180.22/180.30 c | 219496 | 40067 382748 1329458 | 2147483647 188470 24 | 3.341 % |
181.22/181.26 c | 220770 | 40067 382748 1329458 | 2147483647 189744 24 | 3.341 % |
182.82/182.83 c | 222170 | 40067 382748 1329458 | 2147483647 191144 25 | 3.341 % |
184.72/184.75 c | 223711 | 40067 382748 1329458 | 2147483647 192685 25 | 3.341 % |
187.02/187.02 c | 225406 | 40067 382748 1329458 | 2147483647 194380 25 | 3.341 % |
188.72/188.73 c | 227273 | 40067 382748 1329458 | 2147483647 196247 25 | 3.341 % |
191.12/191.19 c | 229322 | 40067 382748 1329458 | 2147483647 198296 25 | 3.341 % |
194.22/194.28 c | 231576 | 40067 382748 1329458 | 2147483647 200550 25 | 3.341 % |
194.42/194.48 c | 231679 | 40067 382748 1329458 | 2147483647 200653 25 | 3.341 % |
194.62/194.62 c | 231789 | 40067 382748 1329458 | 2147483647 200763 25 | 3.341 % |
194.72/194.77 c | 231914 | 40067 382748 1329458 | 2147483647 200888 25 | 3.341 % |
194.92/194.97 c | 232047 | 40067 382748 1329458 | 2147483647 201021 25 | 3.341 % |
195.12/195.16 c | 232193 | 40067 382748 1329458 | 2147483647 201167 25 | 3.341 % |
195.32/195.40 c | 232355 | 40067 382748 1329458 | 2147483647 201329 25 | 3.341 % |
195.62/195.65 c | 232532 | 40067 382748 1329458 | 2147483647 201506 25 | 3.341 % |
195.82/195.90 c | 232725 | 40067 382748 1329458 | 2147483647 201699 25 | 3.341 % |
196.12/196.13 c | 232939 | 40067 382748 1329458 | 2147483647 201913 25 | 3.341 % |
196.52/196.59 c | 233172 | 40067 382748 1329458 | 2147483647 202146 25 | 3.341 % |
196.92/196.96 c | 233428 | 40067 382748 1329458 | 2147483647 202402 25 | 3.341 % |
197.32/197.35 c | 233710 | 40067 382748 1329458 | 2147483647 202684 25 | 3.341 % |
197.62/197.69 c | 234019 | 40067 382748 1329458 | 2147483647 202993 25 | 3.341 % |
197.92/198.00 c | 234358 | 40067 382748 1329458 | 2147483647 203332 25 | 3.341 % |
198.42/198.45 c | 234730 | 40067 382748 1329458 | 2147483647 203704 25 | 3.341 % |
198.92/199.01 c | 235145 | 40067 382748 1329458 | 2147483647 204119 25 | 3.341 % |
199.42/199.42 c | 235597 | 40067 382748 1329458 | 2147483647 204571 25 | 3.341 % |
199.82/199.88 c | 236090 | 40067 382748 1329458 | 2147483647 205064 25 | 3.341 % |
200.52/200.59 c | 236632 | 40067 382748 1329458 | 2147483647 205606 25 | 3.341 % |
200.92/201.00 c | 237228 | 40067 382748 1329458 | 2147483647 206202 25 | 3.341 % |
201.82/201.83 c | 237883 | 40067 382748 1329458 | 2147483647 206857 25 | 3.341 % |
202.82/202.83 c | 238603 | 40067 382748 1329458 | 2147483647 207577 25 | 3.341 % |
203.52/203.56 c | 239395 | 40067 382748 1329458 | 2147483647 208369 25 | 3.341 % |
205.41/205.47 c | 240267 | 40067 382748 1329458 | 2147483647 209241 25 | 3.341 % |
206.41/206.51 c | 241229 | 40067 382748 1329458 | 2147483647 210203 26 | 3.341 % |
207.51/207.54 c | 242285 | 40067 382748 1329458 | 2147483647 211259 26 | 3.341 % |
208.91/208.96 c | 243443 | 40067 382748 1329458 | 2147483647 212417 26 | 3.341 % |
211.01/211.07 c | 244716 | 40067 382748 1329458 | 2147483647 213690 26 | 3.341 % |
213.61/213.62 c | 246119 | 40067 382748 1329458 | 2147483647 215093 26 | 3.341 % |
215.71/215.75 c | 247659 | 40067 382748 1329458 | 2147483647 216633 26 | 3.341 % |
218.11/218.12 c | 249353 | 40067 382748 1329458 | 2147483647 218327 26 | 3.341 % |
220.31/220.36 c | 251216 | 40067 382748 1329458 | 2147483647 220190 26 | 3.341 % |
223.41/223.47 c | 253266 | 40067 382748 1329458 | 2147483647 222240 26 | 3.341 % |
227.01/227.05 c | 255519 | 40067 382748 1329458 | 2147483647 224493 26 | 3.341 % |
231.21/231.29 c | 257999 | 40067 382748 1329458 | 2147483647 226973 26 | 3.341 % |
231.51/231.61 c | 258100 | 40067 382748 1329458 | 2147483647 227074 26 | 3.341 % |
231.71/231.73 c | 258210 | 40067 382748 1329458 | 2147483647 227184 26 | 3.341 % |
231.91/231.92 c | 258331 | 40067 382748 1329458 | 2147483647 227305 26 | 3.341 % |
232.01/232.11 c | 258466 | 40067 382748 1329458 | 2147483647 227440 26 | 3.341 % |
232.31/232.31 c | 258612 | 40067 382748 1329458 | 2147483647 227586 26 | 3.341 % |
232.51/232.58 c | 258774 | 40067 382748 1329458 | 2147483647 227748 26 | 3.341 % |
232.91/233.01 c | 258950 | 40067 382748 1329458 | 2147483647 227924 26 | 3.341 % |
233.31/233.37 c | 259145 | 40067 382748 1329458 | 2147483647 228119 26 | 3.341 % |
233.51/233.60 c | 259357 | 40067 382748 1329458 | 2147483647 228331 26 | 3.341 % |
233.91/234.01 c | 259590 | 40067 382748 1329458 | 2147483647 228564 26 | 3.341 % |
234.41/234.51 c | 259849 | 40064 382724 1329376 | 2147483647 228819 26 | 3.348 % |
234.90/234.93 c | 260130 | 40064 382724 1329376 | 2147483647 229100 26 | 3.348 % |
235.41/235.46 c | 260440 | 40064 382724 1329376 | 2147483647 229410 26 | 3.348 % |
235.80/235.86 c | 260779 | 40064 382724 1329376 | 2147483647 229749 26 | 3.348 % |
236.30/236.34 c | 261151 | 40064 382724 1329376 | 2147483647 230121 26 | 3.348 % |
237.00/237.02 c | 261560 | 40064 382724 1329376 | 2147483647 230530 26 | 3.348 % |
237.70/237.72 c | 262012 | 40064 382724 1329376 | 2147483647 230982 26 | 3.348 % |
238.60/238.63 c | 262505 | 40064 382724 1329376 | 2147483647 231475 26 | 3.348 % |
239.30/239.40 c | 263048 | 40064 382724 1329376 | 2147483647 232018 26 | 3.348 % |
240.40/240.47 c | 263645 | 40064 382724 1329376 | 2147483647 232615 26 | 3.348 % |
241.20/241.23 c | 264300 | 40064 382724 1329376 | 2147483647 233270 26 | 3.348 % |
242.10/242.12 c | 265020 | 40064 382724 1329376 | 2147483647 233990 26 | 3.348 % |
243.70/243.80 c | 265812 | 40064 382724 1329376 | 2147483647 234782 26 | 3.348 % |
245.10/245.16 c | 266683 | 40064 382724 1329376 | 2147483647 235653 26 | 3.348 % |
247.00/247.01 c | 267641 | 40064 382724 1329376 | 2147483647 236611 26 | 3.348 % |
248.90/248.90 c | 268694 | 40064 382724 1329376 | 2147483647 237664 26 | 3.348 % |
251.20/251.20 c | 269852 | 40064 382724 1329376 | 2147483647 238822 27 | 3.348 % |
253.30/253.38 c | 271127 | 40064 382724 1329376 | 2147483647 240097 27 | 3.348 % |
255.40/255.45 c | 272531 | 40064 382724 1329376 | 2147483647 241501 27 | 3.348 % |
258.20/258.25 c | 274072 | 40064 382724 1329376 | 2147483647 243042 27 | 3.348 % |
261.31/261.32 c | 275768 | 40064 382724 1329376 | 2147483647 244738 27 | 3.348 % |
264.71/264.73 c | 277631 | 40064 382724 1329376 | 2147483647 246601 27 | 3.348 % |
269.11/269.14 c | 279680 | 40064 382724 1329376 | 2147483647 248650 27 | 3.348 % |
273.61/273.62 c | 281933 | 40064 382724 1329376 | 2147483647 250903 27 | 3.348 % |
277.61/277.68 c | 284411 | 40064 382724 1329376 | 2147483647 253381 27 | 3.348 % |
281.01/281.08 c | 287136 | 40064 382724 1329376 | 2147483647 256106 27 | 3.348 % |
281.21/281.25 c | 287236 | 40064 382724 1329376 | 2147483647 256206 27 | 3.348 % |
281.41/281.42 c | 287347 | 40064 382724 1329376 | 2147483647 256317 27 | 3.349 % |
281.61/281.63 c | 287468 | 40064 382724 1329376 | 2147483647 256438 27 | 3.348 % |
281.91/281.96 c | 287602 | 40064 382724 1329376 | 2147483647 256572 27 | 3.348 % |
282.21/282.21 c | 287750 | 40064 382724 1329376 | 2147483647 256720 27 | 3.348 % |
282.51/282.53 c | 287911 | 40064 382724 1329376 | 2147483647 256881 27 | 3.348 % |
282.81/282.83 c | 288087 | 40064 382724 1329376 | 2147483647 257057 27 | 3.348 % |
283.41/283.44 c | 288280 | 40064 382724 1329376 | 2147483647 257250 27 | 3.348 % |
283.91/283.97 c | 288493 | 40064 382724 1329376 | 2147483647 257463 27 | 3.348 % |
284.41/284.48 c | 288726 | 40064 382724 1329376 | 2147483647 257696 27 | 3.348 % |
284.91/284.95 c | 288982 | 40064 382724 1329376 | 2147483647 257952 27 | 3.348 % |
285.31/285.40 c | 289263 | 40064 382724 1329376 | 2147483647 258233 27 | 3.348 % |
286.11/286.17 c | 289573 | 40064 382724 1329376 | 2147483647 258543 27 | 3.348 % |
286.81/286.88 c | 289913 | 40064 382724 1329376 | 2147483647 258883 27 | 3.348 % |
287.41/287.50 c | 290286 | 40064 382724 1329376 | 2147483647 259256 27 | 3.348 % |
288.11/288.11 c | 290695 | 40064 382724 1329376 | 2147483647 259665 27 | 3.348 % |
288.91/288.99 c | 291144 | 40064 382724 1329376 | 2147483647 260114 27 | 3.348 % |
289.61/289.61 c | 291637 | 40064 382724 1329376 | 2147483647 260607 27 | 3.348 % |
290.51/290.51 c | 292179 | 40064 382724 1329376 | 2147483647 261149 27 | 3.348 % |
291.11/291.12 c | 292775 | 40064 382724 1329376 | 2147483647 261745 27 | 3.348 % |
292.21/292.27 c | 293431 | 40064 382724 1329376 | 2147483647 262401 27 | 3.348 % |
293.21/293.24 c | 294152 | 40064 382724 1329376 | 2147483647 263122 27 | 3.348 % |
294.81/294.83 c | 294944 | 40064 382724 1329376 | 2147483647 263914 27 | 3.348 % |
296.31/296.33 c | 295815 | 40064 382724 1329376 | 2147483647 264785 27 | 3.348 % |
298.71/298.80 c | 296773 | 40064 382724 1329376 | 2147483647 265743 27 | 3.348 % |
300.11/300.13 c | 297828 | 40064 382724 1329376 | 2147483647 266798 27 | 3.348 % |
302.61/302.64 c | 298987 | 40064 382724 1329376 | 2147483647 267957 27 | 3.348 % |
304.91/304.97 c | 300261 | 40064 382724 1329376 | 2147483647 269231 27 | 3.348 % |
308.91/308.99 c | 301662 | 40064 382724 1329376 | 2147483647 270632 27 | 3.348 % |
311.91/312.00 c | 303203 | 40064 382724 1329376 | 2147483647 272173 27 | 3.348 % |
313.91/313.95 c | 304897 | 40064 382724 1329376 | 2147483647 273867 27 | 3.348 % |
317.01/317.06 c | 306761 | 40064 382724 1329376 | 2147483647 275731 27 | 3.348 % |
320.61/320.63 c | 308810 | 40064 382724 1329376 | 2147483647 277780 27 | 3.348 % |
322.11/322.14 c | 311063 | 40064 382724 1329376 | 2147483647 280033 27 | 3.348 % |
326.61/326.63 c | 313541 | 40064 382724 1329376 | 2147483647 282511 27 | 3.348 % |
329.61/329.69 c | 316268 | 40064 382724 1329376 | 2147483647 285238 28 | 3.348 % |
332.71/332.72 c | 319265 | 40064 382724 1329376 | 2147483647 288235 28 | 3.348 % |
332.91/332.99 c | 319366 | 40064 382724 1329376 | 2147483647 288336 28 | 3.348 % |
333.01/333.09 c | 319477 | 40064 382724 1329376 | 2147483647 288447 28 | 3.348 % |
333.11/333.17 c | 319598 | 40064 382724 1329376 | 2147483647 288568 28 | 3.348 % |
333.32/333.36 c | 319732 | 40064 382724 1329376 | 2147483647 288702 28 | 3.348 % |
333.51/333.53 c | 319879 | 40064 382724 1329376 | 2147483647 288849 28 | 3.348 % |
333.61/333.63 c | 320042 | 40064 382724 1329376 | 2147483647 289012 28 | 3.348 % |
333.71/333.78 c | 320218 | 40064 382724 1329376 | 2147483647 289188 28 | 3.348 % |
333.81/333.90 c | 320411 | 40064 382724 1329376 | 2147483647 289381 28 | 3.348 % |
334.11/334.15 c | 320623 | 40064 382724 1329376 | 2147483647 289593 28 | 3.349 % |
334.31/334.40 c | 320857 | 40064 382724 1329376 | 2147483647 289827 28 | 3.349 % |
334.81/334.82 c | 321114 | 40064 382724 1329376 | 2147483647 290084 28 | 3.348 % |
335.41/335.49 c | 321396 | 40064 382724 1329376 | 2147483647 290366 28 | 3.348 % |
335.91/335.91 c | 321705 | 40064 382724 1329376 | 2147483647 290675 28 | 3.348 % |
336.51/336.55 c | 322045 | 40064 382724 1329376 | 2147483647 291015 28 | 3.348 % |
337.41/337.46 c | 322419 | 40064 382724 1329376 | 2147483647 291389 28 | 3.349 % |
338.41/338.42 c | 322831 | 40064 382724 1329376 | 2147483647 291801 28 | 3.349 % |
339.21/339.28 c | 323282 | 40064 382724 1329376 | 2147483647 292252 28 | 3.348 % |
340.71/340.78 c | 323776 | 40064 382724 1329376 | 2147483647 292746 28 | 3.348 % |
342.31/342.32 c | 324320 | 40064 382724 1329376 | 2147483647 293290 28 | 3.348 % |
343.11/343.20 c | 324916 | 40064 382724 1329376 | 2147483647 293886 28 | 3.348 % |
344.51/344.57 c | 325571 | 40064 382724 1329376 | 2147483647 294541 28 | 3.348 % |
346.91/346.92 c | 326292 | 40064 382724 1329376 | 2147483647 295262 28 | 3.348 % |
348.61/348.64 c | 327084 | 40064 382724 1329376 | 2147483647 296054 28 | 3.348 % |
350.31/350.32 c | 327957 | 40064 382724 1329376 | 2147483647 296927 28 | 3.348 % |
351.91/351.98 c | 328915 | 40064 382724 1329376 | 2147483647 297885 28 | 3.348 % |
353.41/353.50 c | 329969 | 40064 382724 1329376 | 2147483647 298939 28 | 3.348 % |
354.71/354.77 c | 331128 | 40064 382724 1329376 | 2147483647 300098 28 | 3.348 % |
357.61/357.64 c | 332401 | 40064 382724 1329376 | 2147483647 301371 28 | 3.348 % |
359.51/359.53 c | 333801 | 40064 382724 1329376 | 2147483647 302771 28 | 3.348 % |
362.51/362.58 c | 335342 | 40064 382724 1329376 | 2147483647 304312 28 | 3.348 % |
366.51/366.54 c | 337036 | 40064 382724 1329376 | 2147483647 306006 28 | 3.348 % |
368.52/368.54 c | 338899 | 40064 382724 1329376 | 2147483647 307869 28 | 3.348 % |
373.62/373.62 c | 340948 | 40064 382724 1329376 | 2147483647 309918 28 | 3.348 % |
378.82/378.83 c | 343204 | 40064 382724 1329376 | 2147483647 312174 28 | 3.348 % |
384.32/384.32 c | 345685 | 40064 382724 1329376 | 2147483647 314655 28 | 3.348 % |
391.52/391.55 c | 348410 | 40064 382724 1329376 | 2147483647 317380 28 | 3.348 % |
398.22/398.24 c | 351407 | 40064 382724 1329376 | 2147483647 320377 28 | 3.348 % |
405.12/405.17 c | 354703 | 40064 382724 1329376 | 2147483647 323673 28 | 3.348 % |
405.52/405.53 c | 354803 | 40064 382724 1329376 | 2147483647 323773 28 | 3.348 % |
405.72/405.78 c | 354913 | 40064 382724 1329376 | 2147483647 323883 28 | 3.348 % |
405.82/405.83 c | 355038 | 40064 382724 1329376 | 2147483647 324008 28 | 3.348 % |
405.92/405.99 c | 355171 | 40064 382724 1329376 | 2147483647 324141 28 | 3.348 % |
406.02/406.08 c | 355319 | 40064 382724 1329376 | 2147483647 324289 28 | 3.348 % |
406.22/406.27 c | 355481 | 40064 382724 1329376 | 2147483647 324451 28 | 3.348 % |
406.52/406.58 c | 355657 | 40064 382724 1329376 | 2147483647 324627 28 | 3.348 % |
406.62/406.68 c | 355850 | 40064 382724 1329376 | 2147483647 324820 28 | 3.348 % |
406.92/406.99 c | 356062 | 40064 382724 1329376 | 2147483647 325032 28 | 3.348 % |
407.62/407.67 c | 356296 | 40064 382724 1329376 | 2147483647 325266 28 | 3.348 % |
408.02/408.07 c | 356553 | 40064 382724 1329376 | 2147483647 325523 28 | 3.348 % |
409.02/409.07 c | 356834 | 40064 382724 1329376 | 2147483647 325804 28 | 3.348 % |
409.82/409.83 c | 357143 | 40064 382724 1329376 | 2147483647 326113 28 | 3.348 % |
410.42/410.51 c | 357482 | 40064 382724 1329376 | 2147483647 326452 28 | 3.348 % |
411.62/411.64 c | 357854 | 40064 382724 1329376 | 2147483647 326824 28 | 3.348 % |
412.82/412.82 c | 358266 | 40064 382724 1329376 | 2147483647 327236 28 | 3.348 % |
413.92/413.93 c | 358717 | 40064 382724 1329376 | 2147483647 327687 28 | 3.348 % |
414.52/414.60 c | 359210 | 40064 382724 1329376 | 2147483647 328180 28 | 3.348 % |
415.72/415.78 c | 359756 | 40064 382724 1329376 | 2147483647 328726 28 | 3.348 % |
417.32/417.37 c | 360352 | 40064 382724 1329376 | 2147483647 329322 28 | 3.348 % |
418.92/418.98 c | 361009 | 40064 382724 1329376 | 2147483647 329979 28 | 3.348 % |
421.32/421.37 c | 361729 | 40064 382724 1329376 | 2147483647 330699 28 | 3.348 % |
423.22/423.24 c | 362521 | 40064 382724 1329376 | 2147483647 331491 28 | 3.348 % |
426.12/426.14 c | 363393 | 40064 382724 1329376 | 2147483647 332363 28 | 3.348 % |
427.82/427.88 c | 364351 | 40064 382724 1329376 | 2147483647 333321 29 | 3.348 % |
430.82/430.87 c | 365404 | 40064 382724 1329376 | 2147483647 334374 29 | 3.348 % |
432.72/432.73 c | 366562 | 40064 382724 1329376 | 2147483647 335532 29 | 3.348 % |
436.32/436.38 c | 367836 | 40064 382724 1329376 | 2147483647 336806 29 | 3.348 % |
438.72/438.74 c | 369237 | 40064 382724 1329376 | 2147483647 338207 29 | 3.348 % |
443.62/443.67 c | 370777 | 40064 382724 1329376 | 2147483647 339747 29 | 3.348 % |
446.72/446.77 c | 372472 | 40064 382724 1329376 | 2147483647 341442 29 | 3.348 % |
452.72/452.72 c | 374335 | 40064 382724 1329376 | 2147483647 343305 29 | 3.348 % |
457.12/457.14 c | 376385 | 40064 382724 1329376 | 2147483647 345355 29 | 3.348 % |
463.72/463.77 c | 378638 | 40064 382724 1329376 | 2147483647 347608 29 | 3.348 % |
467.12/467.17 c | 381117 | 40064 382724 1329376 | 2147483647 350087 29 | 3.348 % |
475.92/475.94 c | 383844 | 40064 382724 1329376 | 2147483647 352814 29 | 3.348 % |
482.72/482.77 c | 386841 | 40064 382724 1329376 | 2147483647 355811 29 | 3.348 % |
493.73/493.79 c | 390137 | 40064 382724 1329376 | 2147483647 359107 29 | 3.348 % |
503.43/503.42 c | 393762 | 40064 382724 1329376 | 2147483647 362732 29 | 3.348 % |
503.73/503.75 c | 393862 | 40064 382724 1329376 | 2147483647 362832 29 | 3.348 % |
504.13/504.18 c | 393972 | 40064 382724 1329376 | 2147483647 362942 29 | 3.348 % |
504.83/504.83 c | 394094 | 40064 382724 1329376 | 2147483647 363064 29 | 3.348 % |
505.23/505.28 c | 394230 | 40064 382724 1329376 | 2147483647 363200 29 | 3.348 % |
505.73/505.72 c | 394376 | 40064 382724 1329376 | 2147483647 363346 29 | 3.348 % |
506.43/506.46 c | 394536 | 40064 382724 1329376 | 2147483647 363506 29 | 3.348 % |
506.93/506.95 c | 394712 | 40064 382724 1329376 | 2147483647 363682 29 | 3.348 % |
507.53/507.55 c | 394906 | 40064 382724 1329376 | 2147483647 363876 29 | 3.348 % |
508.23/508.23 c | 395121 | 40064 382724 1329376 | 2147483647 364091 29 | 3.349 % |
509.03/509.04 c | 395354 | 40064 382724 1329376 | 2147483647 364324 29 | 3.348 % |
509.73/509.72 c | 395610 | 40064 382724 1329376 | 2147483647 364580 29 | 3.348 % |
510.63/510.71 c | 395893 | 40064 382724 1329376 | 2147483647 364863 29 | 3.348 % |
511.53/511.52 c | 396203 | 40064 382724 1329376 | 2147483647 365173 29 | 3.348 % |
512.63/512.71 c | 396543 | 40064 382724 1329376 | 2147483647 365513 29 | 3.348 % |
514.13/514.17 c | 396915 | 40064 382724 1329376 | 2147483647 365885 29 | 3.348 % |
515.43/515.50 c | 397325 | 40064 382724 1329376 | 2147483647 366295 29 | 3.348 % |
516.73/516.80 c | 397774 | 40064 382724 1329376 | 2147483647 366744 29 | 3.348 % |
518.33/518.42 c | 398268 | 40064 382724 1329376 | 2147483647 367238 29 | 3.348 % |
519.93/519.98 c | 398810 | 40064 382724 1329376 | 2147483647 367780 29 | 3.348 % |
522.33/522.42 c | 399408 | 40064 382724 1329376 | 2147483647 368378 29 | 3.348 % |
524.13/524.14 c | 400064 | 40064 382724 1329376 | 2147483647 369034 29 | 3.348 % |
525.93/525.96 c | 400784 | 40064 382724 1329376 | 2147483647 369754 29 | 3.349 % |
528.13/528.16 c | 401576 | 40064 382724 1329376 | 2147483647 370546 29 | 3.348 % |
529.93/530.02 c | 402447 | 40064 382724 1329376 | 2147483647 371417 29 | 3.348 % |
534.33/534.35 c | 403405 | 40064 382724 1329376 | 2147483647 372375 29 | 3.348 % |
537.43/537.44 c | 404459 | 40064 382724 1329376 | 2147483647 373429 29 | 3.348 % |
540.83/540.83 c | 405617 | 40064 382724 1329376 | 2147483647 374587 29 | 3.348 % |
543.83/543.90 c | 406891 | 40064 382724 1329376 | 2147483647 375861 29 | 3.348 % |
545.53/545.61 c | 408291 | 40064 382724 1329376 | 2147483647 377261 29 | 3.348 % |
550.53/550.60 c | 409832 | 40064 382724 1329376 | 2147483647 378802 29 | 3.348 % |
556.03/556.04 c | 411526 | 40064 382724 1329376 | 2147483647 380496 29 | 3.348 % |
561.53/561.61 c | 413389 | 40064 382724 1329376 | 2147483647 382359 29 | 3.348 % |
568.33/568.41 c | 415438 | 40064 382724 1329376 | 2147483647 384408 30 | 3.348 % |
573.03/573.08 c | 417692 | 40064 382724 1329376 | 2147483647 386662 30 | 3.348 % |
582.13/582.17 c | 420172 | 40064 382724 1329376 | 2147483647 389142 30 | 3.348 % |
591.53/591.57 c | 422898 | 40060 382709 1329329 | 2147483647 391867 30 | 3.358 % |
601.13/601.16 c | 425895 | 40060 382709 1329329 | 2147483647 394864 30 | 3.358 % |
612.73/612.81 c | 429193 | 40060 382709 1329329 | 2147483647 398162 30 | 3.358 % |
628.03/628.07 c | 432819 | 40060 382709 1329329 | 2147483647 401788 30 | 3.358 % |
641.93/641.98 c | 436809 | 40060 382709 1329329 | 2147483647 405778 30 | 3.358 % |
642.23/642.27 c | 436911 | 40060 382709 1329329 | 2147483647 405880 30 | 3.358 % |
642.73/642.74 c | 437021 | 40060 382709 1329329 | 2147483647 405990 30 | 3.358 % |
643.23/643.23 c | 437143 | 40060 382709 1329329 | 2147483647 406112 30 | 3.358 % |
643.63/643.63 c | 437276 | 40060 382709 1329329 | 2147483647 406245 30 | 3.358 % |
644.23/644.22 c | 437424 | 40060 382709 1329329 | 2147483647 406393 30 | 3.358 % |
644.73/644.74 c | 437586 | 40060 382709 1329329 | 2147483647 406555 30 | 3.358 % |
645.43/645.50 c | 437762 | 40060 382709 1329329 | 2147483647 406731 30 | 3.358 % |
646.13/646.18 c | 437957 | 40060 382709 1329329 | 2147483647 406926 30 | 3.358 % |
646.83/646.85 c | 438169 | 40060 382709 1329329 | 2147483647 407138 30 | 3.358 % |
647.43/647.46 c | 438403 | 40060 382709 1329329 | 2147483647 407372 30 | 3.358 % |
648.43/648.44 c | 438659 | 40060 382709 1329329 | 2147483647 407628 30 | 3.358 % |
649.63/649.68 c | 438940 | 40060 382709 1329329 | 2147483647 407909 30 | 3.358 % |
650.73/650.77 c | 439250 | 40060 382709 1329329 | 2147483647 408219 30 | 3.358 % |
652.03/652.04 c | 439589 | 40060 382709 1329329 | 2147483647 408558 30 | 3.358 % |
653.53/653.58 c | 439961 | 40060 382709 1329329 | 2147483647 408930 30 | 3.358 % |
654.93/654.91 c | 440370 | 40060 382709 1329329 | 2147483647 409339 30 | 3.358 % |
656.63/656.70 c | 440820 | 40060 382709 1329329 | 2147483647 409789 30 | 3.358 % |
658.03/658.05 c | 441317 | 40060 382709 1329329 | 2147483647 410286 30 | 3.358 % |
659.93/659.93 c | 441859 | 40060 382709 1329329 | 2147483647 410828 30 | 3.358 % |
661.83/661.90 c | 442458 | 40060 382709 1329329 | 2147483647 411427 30 | 3.358 % |
664.03/664.10 c | 443115 | 40060 382709 1329329 | 2147483647 412084 30 | 3.358 % |
667.53/667.53 c | 443836 | 40060 382709 1329329 | 2147483647 412805 30 | 3.358 % |
670.53/670.52 c | 444630 | 40060 382709 1329329 | 2147483647 413599 30 | 3.358 % |
673.13/673.21 c | 445501 | 40060 382709 1329329 | 2147483647 414470 30 | 3.358 % |
676.83/676.82 c | 446459 | 40060 382709 1329329 | 2147483647 415428 30 | 3.358 % |
680.73/680.79 c | 447513 | 40060 382709 1329329 | 2147483647 416482 30 | 3.358 % |
686.53/686.51 c | 448674 | 40060 382709 1329329 | 2147483647 417643 30 | 3.358 % |
691.53/691.52 c | 449947 | 40057 381934 1327007 | 2147483647 189182 21 | 3.365 % |
692.83/692.89 c | 451347 | 40057 381934 1327007 | 2147483647 190582 21 | 3.365 % |
694.53/694.54 c | 452887 | 40057 381934 1327007 | 2147483647 192122 21 | 3.365 % |
696.13/696.19 c | 454581 | 40057 381934 1327007 | 2147483647 193816 21 | 3.365 % |
697.53/697.61 c | 456444 | 40057 381934 1327007 | 2147483647 195679 21 | 3.365 % |
700.73/700.80 c | 458495 | 40057 381934 1327007 | 2147483647 197730 21 | 3.365 % |
703.32/703.39 c | 460749 | 40057 381934 1327007 | 2147483647 199984 21 | 3.365 % |
705.82/705.85 c | 463227 | 40057 381934 1327007 | 2147483647 202462 21 | 3.365 % |
710.42/710.42 c | 465952 | 40057 381934 1327007 | 2147483647 205187 21 | 3.365 % |
715.83/715.88 c | 468949 | 40057 381934 1327007 | 2147483647 208184 21 | 3.365 % |
722.03/722.06 c | 472245 | 40057 381934 1327007 | 2147483647 211480 21 | 3.365 % |
728.23/728.26 c | 475871 | 40057 381934 1327007 | 2147483647 215106 21 | 3.365 % |
737.03/737.04 c | 479860 | 40057 381934 1327007 | 2147483647 219095 21 | 3.365 % |
743.63/743.62 c | 484245 | 40057 381934 1327007 | 2147483647 223480 22 | 3.365 % |
743.83/743.82 c | 484345 | 40057 381934 1327007 | 2147483647 223580 22 | 3.365 % |
744.03/744.03 c | 484457 | 40057 381934 1327007 | 2147483647 223692 22 | 3.365 % |
744.23/744.26 c | 484580 | 40057 381934 1327007 | 2147483647 223815 22 | 3.365 % |
744.73/744.77 c | 484713 | 39555 368814 1266662 | 2147483647 195008 22 | 4.576 % |
745.13/745.18 c | 484859 | 39555 368814 1266662 | 2147483647 195154 22 | 4.576 % |
745.53/745.53 c | 485019 | 39555 368814 1266662 | 2147483647 195314 22 | 4.576 % |
745.83/745.86 c | 485196 | 39555 368814 1266662 | 2147483647 195491 22 | 4.577 % |
746.23/746.29 c | 485390 | 39555 368814 1266662 | 2147483647 195685 22 | 4.576 % |
746.73/746.74 c | 485602 | 39555 368814 1266662 | 2147483647 195897 22 | 4.576 % |
747.23/747.22 c | 485836 | 39555 368814 1266662 | 2147483647 196131 22 | 4.576 % |
747.63/747.69 c | 486092 | 39555 368814 1266662 | 2147483647 196387 22 | 4.576 % |
748.23/748.27 c | 486373 | 39555 368814 1266662 | 2147483647 196668 22 | 4.577 % |
748.93/748.95 c | 486682 | 39555 368814 1266662 | 2147483647 196977 22 | 4.576 % |
749.53/749.55 c | 487021 | 39555 368814 1266662 | 2147483647 197316 22 | 4.576 % |
750.43/750.48 c | 487395 | 39555 368814 1266662 | 2147483647 197690 22 | 4.576 % |
751.03/751.01 c | 487804 | 39555 368814 1266662 | 2147483647 198099 22 | 4.576 % |
751.93/751.92 c | 488254 | 39555 368814 1266662 | 2147483647 198549 22 | 4.576 % |
752.83/752.86 c | 488747 | 39555 368814 1266662 | 2147483647 199042 22 | 4.576 % |
754.13/754.11 c | 489291 | 39555 368814 1266662 | 2147483647 199586 22 | 4.576 % |
754.83/754.85 c ===============================================================================
754.83/754.85 c restarts : 882
754.83/754.85 c conflicts : 489612 (679 /sec)
754.83/754.85 c decisions : 781001 (1.71 % random) (1084 /sec)
754.83/754.85 c propagations : 287753089 (399341 /sec)
754.83/754.85 c conflict literals : 14079747 (44.84 % deleted)
754.83/754.85 c Memory used : 87.70 MB
754.83/754.85 c CPU time : 720.57 s
754.83/754.85 c
754.83/754.85 s UNSATISFIABLE
754.83/754.86 s UNSATISFIABLE
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1821466-1242529954/watcher-1821466-1242529954 -o /tmp/evaluation-result-1821466-1242529954/solver-1821466-1242529954 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821466-1242529954.cnf
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1230 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1922
/proc/meminfo: memFree=1130068/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) R 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=816 CPUtime=0
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4194304 69 0 0 0 0 0 0 0 25 0 1 0 1017496471 835584 5 4294967295 134512640 135223648 3217627088 3217627052 134658240 0 0 0 0 0 0 0 17 1 0 0 0
/proc/1926/statm: 205 15 9 174 0 30 0
[startup+0.038247 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1922
/proc/meminfo: memFree=1130068/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=10144 CPUtime=0.04
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 2045 0 0 0 2 2 0 0 25 0 1 0 1017496471 10387456 1917 4294967295 134512640 135223648 3217627088 3217625860 134741470 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1926/statm: 2536 1917 47 174 0 2361 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 12556
[startup+0.108242 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1922
/proc/meminfo: memFree=1130068/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=20092 CPUtime=0.11
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 4403 0 0 0 8 3 0 0 25 0 1 0 1017496471 20574208 4275 4294967295 134512640 135223648 3217627088 3217625860 134741470 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1926/statm: 5023 4275 47 174 0 4848 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 22504
[startup+0.308232 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1922
/proc/meminfo: memFree=1130068/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=46356 CPUtime=0.31
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 9454 0 0 0 25 6 0 0 25 0 1 0 1017496471 47468544 9326 4294967295 134512640 135223648 3217627088 3217626040 134737310 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1926/statm: 11589 9327 47 174 0 11414 0
Current children cumulated CPU time (s) 0.31
Current children cumulated vsize (KiB) 48768
[startup+0.708212 s]
/proc/loadavg: 1.00 1.00 1.00 3/93 1922
/proc/meminfo: memFree=1130068/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=101344 CPUtime=0.71
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 19393 0 0 0 57 14 0 0 25 0 1 0 1017496471 103776256 19265 4294967295 134512640 135223648 3217627088 3217625656 134719062 0 0 0 3 0 0 0 17 1 0 0 0
/proc/1926/statm: 25336 19265 47 174 0 25161 0
Current children cumulated CPU time (s) 0.71
Current children cumulated vsize (KiB) 103756
[startup+1.50817 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1927
/proc/meminfo: memFree=1029216/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=162452 CPUtime=1.5
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 33841 0 0 0 128 22 0 0 25 0 1 0 1017496471 166350848 33713 4294967295 134512640 135223648 3217627088 3217625680 134548343 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1926/statm: 40613 33713 67 174 0 40438 0
Current children cumulated CPU time (s) 1.5
Current children cumulated vsize (KiB) 164864
[startup+3.1081 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1927
/proc/meminfo: memFree=995736/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=174888 CPUtime=3.1
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 36808 0 0 0 287 23 0 0 25 0 1 0 1017496471 179085312 36615 4294967295 134512640 135223648 3217627088 3217625264 134548203 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1926/statm: 43722 36615 72 174 0 43547 0
Current children cumulated CPU time (s) 3.1
Current children cumulated vsize (KiB) 177300
[startup+6.30794 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1927
/proc/meminfo: memFree=984220/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=174888 CPUtime=6.3
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 36827 0 0 0 607 23 0 0 25 0 1 0 1017496471 179085312 36634 4294967295 134512640 135223648 3217627088 3217625168 134548581 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1926/statm: 43722 36634 72 174 0 43547 0
Current children cumulated CPU time (s) 6.3
Current children cumulated vsize (KiB) 177300
[startup+12.7076 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 1929
/proc/meminfo: memFree=983896/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=174752 CPUtime=12.7
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 36862 0 0 0 1247 23 0 0 25 0 1 0 1017496471 178946048 36635 4294967295 134512640 135223648 3217627088 3217625168 134548581 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1926/statm: 43688 36635 72 174 0 43513 0
Current children cumulated CPU time (s) 12.7
Current children cumulated vsize (KiB) 177164
[startup+25.507 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2114
/proc/meminfo: memFree=983196/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2412 CPUtime=0
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 365 648 0 0 0 0 0 0 25 0 1 0 1017496471 2469888 276 4294967295 134512640 135169312 3216690944 3216689480 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 603 276 235 161 0 42 0
[pid=1926] ppid=1922 vsize=176152 CPUtime=25.5
/proc/1926/stat : 1926 (SatELite_releas) R 1922 1922 10114 0 -1 4202496 37030 0 0 0 2527 23 0 0 25 0 1 0 1017496471 180379648 36769 4294967295 134512640 135223648 3217627088 3217625168 134548560 0 0 0 3 0 0 0 17 0 0 0 0
/proc/1926/statm: 44038 36769 72 174 0 43863 0
Current children cumulated CPU time (s) 25.5
Current children cumulated vsize (KiB) 178564
[startup+51.1158 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2115
/proc/meminfo: memFree=1078876/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=30332 CPUtime=17.24
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 7326 0 0 0 1716 8 0 0 25 0 1 0 1017499860 31059968 7246 4294967295 134512640 135215339 3220460256 3220458544 134528700 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2115/statm: 7583 7246 73 172 0 7410 0
Current children cumulated CPU time (s) 51.11
Current children cumulated vsize (KiB) 32748
[startup+102.323 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2304
/proc/meminfo: memFree=1068232/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=40388 CPUtime=68.45
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 9851 0 0 0 6831 14 0 0 25 0 1 0 1017499860 41357312 9771 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2115/statm: 10097 9771 73 172 0 9924 0
Current children cumulated CPU time (s) 102.32
Current children cumulated vsize (KiB) 42804
[startup+162.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2498
/proc/meminfo: memFree=1062228/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=46696 CPUtime=128.45
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 11393 0 0 0 12828 17 0 0 25 0 1 0 1017499860 47816704 11313 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 1 0 0 0
/proc/2115/statm: 11674 11313 73 172 0 11501 0
Current children cumulated CPU time (s) 162.32
Current children cumulated vsize (KiB) 49112
[startup+222.317 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2696
/proc/meminfo: memFree=1054044/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=55436 CPUtime=188.44
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 13506 0 0 0 18821 23 0 0 25 0 1 0 1017499860 56766464 13426 4294967295 134512640 135215339 3220460256 3220458544 134529099 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 13859 13426 73 172 0 13686 0
Current children cumulated CPU time (s) 222.31
Current children cumulated vsize (KiB) 57852
[startup+282.315 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 2890
/proc/meminfo: memFree=1048068/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=61296 CPUtime=248.44
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 14992 0 0 0 24818 26 0 0 25 0 1 0 1017499860 62767104 14912 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 15324 14912 73 172 0 15151 0
Current children cumulated CPU time (s) 282.31
Current children cumulated vsize (KiB) 63712
[startup+342.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3080
/proc/meminfo: memFree=1041520/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=67548 CPUtime=308.44
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 16567 0 0 0 30815 29 0 0 25 0 1 0 1017499860 69169152 16487 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 16887 16487 73 172 0 16714 0
Current children cumulated CPU time (s) 342.31
################
# More data... #
################
[startup+462.316 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3478
/proc/meminfo: memFree=1032220/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=77400 CPUtime=428.45
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 18915 0 0 0 42814 31 0 0 25 0 1 0 1017499860 79257600 18835 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 19350 18835 73 172 0 19177 0
Current children cumulated CPU time (s) 462.32
Current children cumulated vsize (KiB) 79816
[startup+522.323 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3671
/proc/meminfo: memFree=1028376/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=81144 CPUtime=488.46
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 19859 0 0 0 48814 32 0 0 25 0 1 0 1017499860 83091456 19779 4294967295 134512640 135215339 3220460256 3220458544 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 20286 19779 73 172 0 20113 0
Current children cumulated CPU time (s) 522.33
Current children cumulated vsize (KiB) 83560
[startup+582.32 s]
/proc/loadavg: 1.06 1.01 1.00 2/95 3864
/proc/meminfo: memFree=1024284/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=85016 CPUtime=548.46
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 20840 0 0 0 54813 33 0 0 25 0 1 0 1017499860 87056384 20760 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 21254 20760 73 172 0 21081 0
Current children cumulated CPU time (s) 582.33
Current children cumulated vsize (KiB) 87432
[startup+642.317 s]
/proc/loadavg: 1.02 1.01 1.00 2/95 4051
/proc/meminfo: memFree=1021284/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=87748 CPUtime=608.46
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 21564 0 0 0 60812 34 0 0 25 0 1 0 1017499860 89853952 21484 4294967295 134512640 135215339 3220460256 3220458544 134528806 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 21937 21484 73 172 0 21764 0
Current children cumulated CPU time (s) 642.33
Current children cumulated vsize (KiB) 90164
[startup+702.304 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4240
/proc/meminfo: memFree=1019432/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=668.45
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 66811 34 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 702.32
Current children cumulated vsize (KiB) 92216
Solver just ended. Dumping a history of the last processes samples
[startup+716.714 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4240
/proc/meminfo: memFree=1019488/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=682.86
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 68250 36 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 716.73
Current children cumulated vsize (KiB) 92216
[startup+729.513 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4240
/proc/meminfo: memFree=1019488/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=695.66
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 69527 39 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528721 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 729.53
Current children cumulated vsize (KiB) 92216
[startup+742.312 s]
/proc/loadavg: 1.00 1.00 1.00 4/96 4346
/proc/meminfo: memFree=1018944/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=708.46
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 70803 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 742.33
Current children cumulated vsize (KiB) 92216
[startup+748.712 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 4425
/proc/meminfo: memFree=1019336/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=714.86
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 71443 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528779 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 748.73
Current children cumulated vsize (KiB) 92216
[startup+751.912 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4425
/proc/meminfo: memFree=1019384/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=718.06
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 71763 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 751.93
Current children cumulated vsize (KiB) 92216
[startup+753.512 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4425
/proc/meminfo: memFree=1019384/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=719.66
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 71923 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 753.53
Current children cumulated vsize (KiB) 92216
[startup+754.312 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4425
/proc/meminfo: memFree=1019384/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=720.46
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 72003 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 754.33
Current children cumulated vsize (KiB) 92216
[startup+754.712 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4425
/proc/meminfo: memFree=1019384/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=720.86
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 72043 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528788 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 754.73
Current children cumulated vsize (KiB) 92216
[startup+754.812 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4425
/proc/meminfo: memFree=1019384/2074464 swapFree=1950884/1959888
[pid=1922] ppid=1920 vsize=2416 CPUtime=33.87
/proc/1922/stat : 1922 (SatELiteGTI) S 1920 1922 10114 0 -1 4194304 385 46443 0 0 0 0 3350 37 18 0 1 0 1017496471 2473984 278 4294967295 134512640 135169312 3216690944 3216687160 3085242094 0 65536 4 65538 3222381614 0 0 17 0 0 0 0
/proc/1922/statm: 604 278 235 161 0 43 0
[pid=2115] ppid=1922 vsize=89800 CPUtime=720.96
/proc/2115/stat : 2115 (minisat_static) R 1922 1922 10114 0 -1 4202496 22076 0 0 0 72053 43 0 0 25 0 1 0 1017499860 91955200 21996 4294967295 134512640 135215339 3220460256 3220458544 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/2115/statm: 22450 21996 73 172 0 22277 0
Current children cumulated CPU time (s) 754.83
Current children cumulated vsize (KiB) 92216
Child status: 20
Real time (s): 754.878
CPU time (s): 754.89
CPU user time (s): 754.07
CPU system time (s): 0.82
CPU usage (%): 100.002
Max. virtual memory (cumulated for all children) (KiB): 190580
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 754.07
system time used= 0.82
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 69183
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= 21
involuntary context switches= 1221
runsolver used 0 second user time and 0.01 second system time
The end
Begin job on tipi13 at 2009-05-17 05:12:34
IDJOB=1821466
IDBENCH=70962
IDSOLVER=657
FILE ID=tipi13/1821466-1242529954
PBS_JOBID=
Free space on /tmp= 7031 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT09/APPLICATIONS/bioinfo/q_query_3_L90_coli.sat.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1821466-1242529954/watcher-1821466-1242529954 -o /tmp/evaluation-result-1821466-1242529954/solver-1821466-1242529954 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1821466-1242529954.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= a9e7651569c1b43a1021c78982fb4e6b
RANDOM SEED= 759492854
Linux tipi13 2.6.18 #19 SMP Tue Jun 19 11:27:27 CEST 2007 i686 GNU/Linux
/proc/cpuinfo:
processor : 0
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3618.37
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 0
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 0
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.77
processor : 3
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.475
cache size : 1024 KB
physical id : 1
siblings : 2
core id : 1
cpu cores : 2
fdiv_bug : no
hlt_bug : no
f00f_bug : no
coma_bug : no
fpu : yes
fpu_exception : yes
cpuid level : 1
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt lm 3dnowext 3dnow pni lahf_lm cmp_legacy ts fid vid ttp
bogomips : 3616.78
/proc/meminfo:
MemTotal: 2074464 kB
MemFree: 1130092 kB
Buffers: 46832 kB
Cached: 804056 kB
SwapCached: 3516 kB
Active: 379052 kB
Inactive: 481480 kB
HighTotal: 1178688 kB
HighFree: 398168 kB
LowTotal: 895776 kB
LowFree: 731924 kB
SwapTotal: 1959888 kB
SwapFree: 1950884 kB
Dirty: 28688 kB
Writeback: 0 kB
AnonPages: 8556 kB
Mapped: 2884 kB
Slab: 74932 kB
PageTables: 512 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90600 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 7030 MiB
End job on tipi13 at 2009-05-17 05:25:12