0.00/0.00 c Parsing...
0.12/0.18 c ==============================================================================
0.12/0.18 c | | ORIGINAL | LEARNT | |
0.12/0.18 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.12/0.18 c ==============================================================================
0.12/0.18 c | 0 | 180292 522218 | 54087 0 0 nan | 0.000 % |
0.72/0.78 c | 0 | 120343 408065 | -- 0 -- -- | -- | -57260/-106174
0.72/0.78 c ==============================================================================
0.72/0.78 c Result : #vars: 20573 #clauses: 120343 #literals: 408065
0.72/0.78 c CPU time: 0.78 s
0.72/0.78 c ==============================================================================
0.92/0.93 c This is MiniSat 2.0 beta
0.92/0.93 c WARNING: for repeatability, setting FPU to use double precision
0.92/0.93 c ============================[ Problem Statistics ]=============================
0.92/0.93 c | |
0.92/0.93 c | Number of variables: 20573 |
0.92/0.93 c | Number of clauses: 120343 |
1.02/1.01 c | Parsing time: 0.08 s |
1.02/1.02 c ============================[ Search Statistics ]==============================
1.02/1.02 c | Conflicts | ORIGINAL | LEARNT | Progress |
1.02/1.02 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
1.02/1.02 c ===============================================================================
1.02/1.02 c | 0 | 20573 120343 408065 | 40114 0 nan | 0.000 % |
1.02/1.02 c | 102 | 20573 120343 408065 | 40114 102 4 | 0.000 % |
1.02/1.03 c | 202 | 20573 120343 408065 | 40114 202 4 | 0.000 % |
1.02/1.05 c | 302 | 20571 120343 408065 | 40114 301 4 | 0.015 % |
1.02/1.08 c | 414 | 20570 120343 408065 | 40114 412 4 | 0.019 % |
1.02/1.10 c | 514 | 20570 120343 408065 | 40114 512 5 | 0.019 % |
1.02/1.11 c | 626 | 20569 120343 408065 | 40114 623 5 | 0.034 % |
1.02/1.11 c | 748 | 20569 120343 408065 | 40114 745 6 | 0.034 % |
1.02/1.11 c | 850 | 20569 120343 408065 | 40114 847 5 | 0.034 % |
1.13/1.13 c | 960 | 20569 120343 408065 | 40114 957 5 | 0.034 % |
1.13/1.14 c | 1081 | 20569 120343 408065 | 40114 1078 6 | 0.034 % |
1.13/1.17 c | 1214 | 20569 120343 408065 | 40114 1211 5 | 0.034 % |
1.13/1.19 c | 1314 | 20569 120343 408065 | 40114 1311 6 | 0.034 % |
1.13/1.20 c | 1425 | 20569 120343 408065 | 40114 1422 6 | 0.034 % |
1.22/1.22 c | 1547 | 20569 120343 408065 | 40114 1544 6 | 0.034 % |
1.22/1.26 c | 1680 | 20569 120343 408065 | 40114 1677 6 | 0.034 % |
1.32/1.34 c | 1827 | 20563 120306 407968 | 40114 1820 6 | 0.053 % |
1.32/1.35 c | 1928 | 20563 120306 407968 | 40114 1921 6 | 0.053 % |
1.32/1.36 c | 2038 | 20563 120306 407968 | 40114 2031 6 | 0.053 % |
1.32/1.36 c | 2161 | 20562 120306 407968 | 40114 2153 6 | 0.063 % |
1.32/1.38 c | 2294 | 20562 120306 407968 | 40114 2286 6 | 0.063 % |
1.42/1.42 c | 2440 | 20562 120306 407968 | 40114 2432 6 | 0.063 % |
1.42/1.45 c | 2601 | 20562 120306 407968 | 40114 2593 6 | 0.063 % |
1.42/1.46 c | 2701 | 20562 120306 407968 | 40114 2693 6 | 0.063 % |
1.42/1.46 c | 2811 | 20562 120306 407968 | 40114 2803 6 | 0.063 % |
1.42/1.47 c | 2933 | 20562 120306 407968 | 40114 2925 6 | 0.063 % |
1.42/1.47 c | 3066 | 20562 120306 407968 | 40114 3058 6 | 0.063 % |
1.42/1.47 c | 3212 | 20562 120306 407968 | 40114 3204 6 | 0.063 % |
1.42/1.48 c | 3373 | 20562 120306 407968 | 40114 3365 7 | 0.063 % |
1.42/1.48 c | 3550 | 20562 120306 407968 | 40114 3542 7 | 0.063 % |
1.42/1.48 c | 3651 | 20562 120306 407968 | 40114 3643 7 | 0.063 % |
1.42/1.48 c | 3762 | 20562 120306 407968 | 40114 3754 7 | 0.063 % |
1.42/1.49 c | 3884 | 20562 120306 407968 | 40114 3876 7 | 0.063 % |
1.42/1.49 c | 4017 | 20562 120306 407968 | 40114 4009 7 | 0.063 % |
1.42/1.50 c | 4164 | 20562 120306 407968 | 40114 4156 7 | 0.063 % |
1.42/1.50 c | 4325 | 20562 120306 407968 | 40114 4317 7 | 0.063 % |
1.42/1.50 c | 4501 | 20562 120306 407968 | 40114 4493 7 | 0.063 % |
1.52/1.51 c | 4696 | 20562 120306 407968 | 40114 4688 7 | 0.063 % |
1.52/1.51 c | 4798 | 20562 120306 407968 | 40114 4790 7 | 0.063 % |
1.52/1.51 c | 4908 | 20562 120306 407968 | 40114 4900 7 | 0.063 % |
1.52/1.52 c | 5030 | 20562 120306 407968 | 40114 5022 7 | 0.063 % |
1.52/1.54 c | 5165 | 20562 120306 407968 | 40114 5157 7 | 0.063 % |
1.52/1.54 c | 5311 | 20562 120306 407968 | 40114 5303 7 | 0.063 % |
1.52/1.54 c | 5471 | 20562 120306 407968 | 40114 5463 7 | 0.063 % |
1.52/1.56 c | 5647 | 20560 120273 407881 | 40114 5638 7 | 0.063 % |
1.52/1.56 c | 5840 | 20560 120273 407881 | 40114 5831 7 | 0.063 % |
1.52/1.57 c | 6052 | 20560 120273 407881 | 40114 6043 7 | 0.063 % |
1.52/1.57 c | 6154 | 20560 120273 407881 | 40114 6145 7 | 0.063 % |
1.52/1.58 c | 6264 | 20560 120273 407881 | 40114 6255 7 | 0.063 % |
1.52/1.58 c | 6385 | 20560 120273 407881 | 40114 6376 7 | 0.063 % |
1.52/1.58 c | 6518 | 20555 120273 407881 | 40114 6508 7 | 0.092 % |
1.52/1.59 c | 6664 | 20555 120273 407881 | 40114 6654 7 | 0.092 % |
1.52/1.59 c | 6825 | 20553 120273 407881 | 40114 6814 8 | 0.107 % |
1.52/1.59 c | 7001 | 20553 120273 407881 | 40114 6990 7 | 0.107 % |
1.52/1.60 c | 7194 | 20553 120273 407881 | 40114 7183 8 | 0.107 % |
1.62/1.65 c | 7406 | 20553 120273 407881 | 40114 7395 8 | 0.107 % |
1.62/1.70 c | 7641 | 20553 120273 407881 | 40114 7630 8 | 0.107 % |
1.62/1.70 c | 7742 | 20553 120273 407881 | 40114 7731 8 | 0.107 % |
1.72/1.71 c | 7853 | 20553 120273 407881 | 40114 7842 8 | 0.107 % |
1.72/1.71 c | 7975 | 20553 120273 407881 | 40114 7964 8 | 0.107 % |
1.72/1.71 c | 8108 | 20553 120273 407881 | 40114 8097 8 | 0.107 % |
1.72/1.72 c | 8255 | 20553 120273 407881 | 40114 8244 8 | 0.107 % |
1.72/1.72 c | 8416 | 20552 120273 407881 | 40114 8404 8 | 0.136 % |
1.72/1.73 c | 8592 | 20550 120273 407881 | 40114 8580 8 | 0.136 % |
1.72/1.73 c | 8786 | 20550 120273 407881 | 40114 8774 8 | 0.136 % |
1.72/1.74 c | 8998 | 20550 120273 407881 | 40114 8986 8 | 0.136 % |
1.72/1.74 c | 9232 | 20550 120273 407881 | 40114 9220 8 | 0.136 % |
1.72/1.75 c | 9488 | 20550 120273 407881 | 40114 9476 8 | 0.136 % |
1.72/1.76 c | 9589 | 20550 120273 407881 | 40114 9577 8 | 0.136 % |
1.72/1.76 c | 9700 | 20550 120273 407881 | 40114 9688 8 | 0.136 % |
1.72/1.76 c | 9821 | 20550 120273 407881 | 40114 9809 8 | 0.136 % |
1.72/1.77 c | 9956 | 20550 120273 407881 | 40114 9944 8 | 0.136 % |
1.72/1.77 c | 10102 | 20550 120273 407881 | 2147483647 10090 8 | 0.136 % |
1.72/1.78 c | 10263 | 20550 120273 407881 | 2147483647 10251 8 | 0.136 % |
1.72/1.79 c | 10441 | 20547 120273 407881 | 2147483647 10428 8 | 0.170 % |
1.72/1.79 c | 10635 | 20547 120273 407881 | 2147483647 10622 8 | 0.170 % |
1.72/1.80 c | 10848 | 20547 120273 407881 | 2147483647 10835 8 | 0.170 % |
1.82/1.81 c | 11081 | 20545 120273 407881 | 2147483647 11068 8 | 0.170 % |
1.82/1.82 c | 11337 | 20545 120273 407881 | 2147483647 11324 8 | 0.170 % |
1.82/1.83 c | 11619 | 20545 120273 407881 | 2147483647 11606 8 | 0.170 % |
1.82/1.83 c | 11720 | 20545 120273 407881 | 2147483647 11707 8 | 0.170 % |
1.82/1.84 c | 11830 | 20545 120273 407881 | 2147483647 11817 8 | 0.170 % |
1.82/1.84 c | 11952 | 20545 120273 407881 | 2147483647 11939 8 | 0.170 % |
1.82/1.85 c | 12085 | 20545 120273 407881 | 2147483647 12072 8 | 0.170 % |
1.82/1.86 c | 12232 | 20545 120273 407881 | 2147483647 12219 8 | 0.170 % |
1.82/1.88 c | 12393 | 20528 120079 407290 | 2147483647 12291 8 | 0.243 % |
1.82/1.88 c | 12569 | 20528 120079 407290 | 2147483647 12467 8 | 0.243 % |
1.82/1.89 c | 12764 | 20528 120079 407290 | 2147483647 12662 8 | 0.243 % |
1.82/1.90 c | 12977 | 20528 120079 407290 | 2147483647 12875 8 | 0.243 % |
1.82/1.91 c | 13212 | 20528 120079 407290 | 2147483647 13110 8 | 0.243 % |
1.92/1.91 c | 13470 | 20528 120079 407290 | 2147483647 13368 8 | 0.243 % |
1.92/1.93 c | 13753 | 20528 120079 407290 | 2147483647 13651 9 | 0.243 % |
1.92/1.93 c | 14063 | 20528 120079 407290 | 2147483647 13961 9 | 0.243 % |
1.92/1.94 c | 14163 | 20528 120079 407290 | 2147483647 14061 9 | 0.243 % |
1.92/1.94 c | 14273 | 20528 120079 407290 | 2147483647 14171 9 | 0.243 % |
1.92/1.94 c | 14394 | 20528 120079 407290 | 2147483647 14292 9 | 0.243 % |
1.92/1.95 c | 14528 | 20526 120079 407290 | 2147483647 14425 9 | 0.253 % |
1.92/1.95 c | 14674 | 20526 120079 407290 | 2147483647 14571 9 | 0.253 % |
1.92/1.96 c | 14834 | 20526 120079 407290 | 2147483647 14731 9 | 0.253 % |
1.92/1.97 c | 15010 | 20526 120079 407290 | 2147483647 14907 9 | 0.253 % |
1.92/1.97 c | 15204 | 20526 120079 407290 | 2147483647 15101 9 | 0.253 % |
1.92/1.98 c | 15416 | 20526 120079 407290 | 2147483647 15313 9 | 0.253 % |
1.92/1.99 c | 15649 | 20526 120079 407290 | 2147483647 15546 9 | 0.253 % |
1.92/2.00 c | 15906 | 20522 120079 407290 | 2147483647 15801 9 | 0.297 % |
2.02/2.01 c | 16187 | 20515 120079 407290 | 2147483647 16081 9 | 0.331 % |
2.02/2.02 c | 16496 | 20515 120079 407290 | 2147483647 16390 9 | 0.331 % |
2.02/2.04 c | 16835 | 20515 120079 407290 | 2147483647 16729 9 | 0.331 % |
2.02/2.05 c | 16935 | 20509 120079 407290 | 2147483647 16829 9 | 0.331 % |
2.02/2.07 c | 17046 | 20509 120079 407290 | 2147483647 16940 9 | 0.331 % |
2.02/2.07 c | 17167 | 20509 120079 407290 | 2147483647 17061 9 | 0.331 % |
2.12/2.11 c | 17300 | 20509 120079 407290 | 2147483647 17194 9 | 0.331 % |
2.12/2.13 c | 17446 | 20505 120079 407290 | 2147483647 17339 9 | 0.355 % |
2.12/2.13 c | 17607 | 20505 120079 407290 | 2147483647 17500 9 | 0.355 % |
2.12/2.14 c | 17783 | 20505 120079 407290 | 2147483647 17676 9 | 0.355 % |
2.12/2.15 c | 17977 | 20501 120079 407290 | 2147483647 17869 9 | 0.389 % |
2.12/2.16 c | 18191 | 20493 120079 407290 | 2147483647 18081 9 | 0.442 % |
2.12/2.17 c | 18424 | 20493 120079 407290 | 2147483647 18314 9 | 0.442 % |
2.12/2.18 c | 18680 | 20491 120079 407290 | 2147483647 18570 9 | 0.442 % |
2.23/2.28 c | 18962 | 20481 119599 405753 | 2147483647 17166 9 | 0.447 % |
2.23/2.29 c | 19271 | 20481 119599 405753 | 2147483647 17475 9 | 0.447 % |
2.23/2.31 c | 19610 | 20477 119599 405753 | 2147483647 17813 9 | 0.467 % |
2.32/2.32 c | 19982 | 20448 119599 405753 | 2147483647 18184 9 | 0.690 % |
2.32/2.33 c | 20085 | 20442 119599 405753 | 2147483647 18287 9 | 0.690 % |
2.32/2.33 c | 20195 | 20442 119599 405753 | 2147483647 18397 9 | 0.690 % |
2.32/2.34 c | 20316 | 20442 119599 405753 | 2147483647 18518 9 | 0.690 % |
2.32/2.35 c | 20449 | 20442 119599 405753 | 2147483647 18651 9 | 0.690 % |
2.32/2.36 c | 20595 | 20442 119599 405753 | 2147483647 18797 9 | 0.690 % |
2.32/2.36 c | 20755 | 20442 119599 405753 | 2147483647 18957 9 | 0.690 % |
2.32/2.37 c | 20933 | 20442 119599 405753 | 2147483647 19135 9 | 0.690 % |
2.32/2.38 c | 21128 | 20442 119599 405753 | 2147483647 19330 9 | 0.690 % |
2.32/2.39 c | 21340 | 20429 119599 405753 | 2147483647 19540 9 | 0.768 % |
2.32/2.41 c | 21573 | 20429 119599 405753 | 2147483647 19773 9 | 0.768 % |
2.42/2.42 c | 21830 | 20429 119599 405753 | 2147483647 20030 9 | 0.768 % |
2.42/2.43 c | 22111 | 20429 119599 405753 | 2147483647 20311 9 | 0.768 % |
2.42/2.48 c | 22421 | 20417 119599 405753 | 2147483647 20621 9 | 0.768 % |
2.52/2.53 c | 22761 | 20417 119599 405753 | 2147483647 20961 9 | 0.768 % |
2.52/2.55 c | 23134 | 20417 119599 405753 | 2147483647 21334 9 | 0.768 % |
2.52/2.58 c | 23544 | 20415 119599 405753 | 2147483647 21743 9 | 0.778 % |
2.52/2.60 c | 23644 | 20415 119599 405753 | 2147483647 21843 9 | 0.778 % |
2.62/2.63 c | 23754 | 20415 119599 405753 | 2147483647 21953 9 | 0.778 % |
2.62/2.63 c | 23875 | 20415 119599 405753 | 2147483647 22074 9 | 0.778 % |
2.62/2.64 c | 24011 | 20415 119599 405753 | 2147483647 22210 9 | 0.778 % |
2.62/2.64 c | 24157 | 20415 119599 405753 | 2147483647 22356 9 | 0.778 % |
2.62/2.65 c | 24317 | 20415 119599 405753 | 2147483647 22516 9 | 0.778 % |
2.62/2.66 c | 24493 | 20415 119599 405753 | 2147483647 22692 9 | 0.778 % |
2.62/2.67 c | 24686 | 20411 119599 405753 | 2147483647 22883 9 | 0.807 % |
2.62/2.70 c | 24898 | 20406 119599 405753 | 2147483647 23093 9 | 0.831 % |
2.72/2.72 c | 25131 | 20388 119599 405753 | 2147483647 23325 9 | 1.021 % |
2.72/2.73 c | 25388 | 20388 119599 405753 | 2147483647 23582 9 | 1.021 % |
2.72/2.75 c | 25669 | 20388 119599 405753 | 2147483647 23863 9 | 1.021 % |
2.72/2.78 c | 25979 | 20388 119599 405753 | 2147483647 24173 9 | 1.021 % |
2.72/2.81 c | 26320 | 20363 118610 402562 | 2147483647 19793 9 | 1.021 % |
2.82/2.83 c | 26692 | 20348 118610 402562 | 2147483647 20162 9 | 1.099 % |
2.82/2.85 c | 27101 | 20348 118610 402562 | 2147483647 20571 9 | 1.099 % |
2.82/2.87 c | 27550 | 20337 118610 402562 | 2147483647 21019 9 | 1.220 % |
2.82/2.89 c | 27650 | 20337 118610 402562 | 2147483647 21119 9 | 1.220 % |
2.92/2.91 c | 27760 | 20327 118610 402562 | 2147483647 21229 9 | 1.220 % |
2.92/2.91 c | 27882 | 20327 118610 402562 | 2147483647 21351 9 | 1.220 % |
2.92/2.91 c | 28015 | 20327 118610 402562 | 2147483647 21484 9 | 1.220 % |
2.92/2.93 c | 28161 | 20327 118610 402562 | 2147483647 21630 9 | 1.220 % |
2.92/2.95 c | 28322 | 20327 118610 402562 | 2147483647 21791 9 | 1.220 % |
2.92/2.96 c | 28498 | 20323 118610 402562 | 2147483647 21966 9 | 1.259 % |
2.92/2.97 c | 28691 | 20323 118610 402562 | 2147483647 22159 9 | 1.259 % |
2.92/2.98 c | 28904 | 20323 118610 402562 | 2147483647 22372 9 | 1.259 % |
2.92/3.01 c | 29137 | 20316 118610 402562 | 2147483647 22604 9 | 1.332 % |
3.02/3.06 c | 29394 | 20314 118610 402562 | 2147483647 22861 9 | 1.332 % |
3.02/3.09 c | 29676 | 20314 118610 402562 | 2147483647 23143 9 | 1.332 % |
3.02/3.11 c | 29985 | 20314 118610 402562 | 2147483647 23452 9 | 1.332 % |
3.12/3.15 c | 30324 | 20310 118610 402562 | 2147483647 23789 9 | 1.366 % |
3.12/3.18 c | 30697 | 20310 118610 402562 | 2147483647 24162 9 | 1.366 % |
3.22/3.22 c | 31106 | 20308 118610 402562 | 2147483647 24570 9 | 1.410 % |
3.22/3.25 c | 31556 | 20306 118610 402562 | 2147483647 25020 9 | 1.410 % |
3.22/3.30 c | 32050 | 20306 118610 402562 | 2147483647 25514 9 | 1.410 % |
3.33/3.32 c | 32153 | 20283 118011 400687 | 2147483647 23685 9 | 1.410 % |
3.33/3.35 c | 32264 | 20283 118011 400687 | 2147483647 23796 9 | 1.410 % |
3.33/3.35 c | 32386 | 20274 118011 400687 | 2147483647 23916 9 | 1.512 % |
3.33/3.36 c | 32519 | 20274 118011 400687 | 2147483647 24049 9 | 1.512 % |
3.33/3.38 c | 32667 | 20274 118011 400687 | 2147483647 24197 9 | 1.512 % |
3.33/3.39 c | 32831 | 20274 118011 400687 | 2147483647 24361 9 | 1.512 % |
3.42/3.41 c | 33009 | 20269 118011 400687 | 2147483647 24538 9 | 1.546 % |
3.42/3.43 c | 33203 | 20268 118011 400687 | 2147483647 24731 9 | 1.551 % |
3.42/3.45 c | 33415 | 20268 118011 400687 | 2147483647 24943 9 | 1.551 % |
3.42/3.48 c | 33650 | 20268 118011 400687 | 2147483647 25178 9 | 1.551 % |
3.52/3.52 c | 33906 | 20267 118011 400687 | 2147483647 25434 9 | 1.551 % |
3.52/3.57 c | 34188 | 20267 118011 400687 | 2147483647 25716 9 | 1.551 % |
3.62/3.63 c | 34498 | 20267 118011 400687 | 2147483647 26026 9 | 1.551 % |
3.62/3.67 c | 34838 | 20264 118011 400687 | 2147483647 26365 9 | 1.560 % |
3.62/3.68 c | 35210 | 20264 118011 400687 | 2147483647 26737 9 | 1.560 % |
3.62/3.69 c | 35619 | 20264 118011 400687 | 2147483647 27146 9 | 1.560 % |
3.72/3.73 c | 36068 | 20263 118011 400687 | 2147483647 27594 9 | 1.580 % |
3.72/3.78 c | 36562 | 20263 118011 400687 | 2147483647 28088 9 | 1.580 % |
3.72/3.80 c | 37104 | 20156 118011 400687 | 2147483647 28627 9 | 2.265 % |
3.82/3.81 c | 37205 | 20156 118011 400687 | 2147483647 28728 9 | 2.265 % |
3.82/3.82 c | 37315 | 20151 118011 400687 | 2147483647 28837 9 | 2.275 % |
3.82/3.83 c | 37436 | 20151 118011 400687 | 2147483647 28958 9 | 2.275 % |
3.82/3.85 c | 37569 | 20151 118011 400687 | 2147483647 29091 9 | 2.275 % |
3.82/3.86 c | 37716 | 20151 118011 400687 | 2147483647 29238 9 | 2.275 % |
3.82/3.87 c | 37876 | 20151 118011 400687 | 2147483647 29398 9 | 2.275 % |
3.82/3.90 c | 38052 | 20105 116722 396615 | 2147483647 23761 8 | 2.275 % |
3.82/3.90 c | 38245 | 20105 116722 396615 | 2147483647 23954 8 | 2.275 % |
3.92/3.93 c | 38457 | 20105 116722 396615 | 2147483647 24166 8 | 2.275 % |
3.92/3.95 c | 38690 | 20105 116722 396615 | 2147483647 24399 8 | 2.275 % |
3.92/3.98 c | 38946 | 20105 116722 396615 | 2147483647 24655 8 | 2.275 % |
3.92/3.99 c | 39228 | 20092 116722 396615 | 2147483647 24936 8 | 2.382 % |
4.02/4.01 c | 39539 | 20088 116722 396615 | 2147483647 25246 8 | 2.401 % |
4.02/4.02 c | 39878 | 20088 116722 396615 | 2147483647 25585 8 | 2.401 % |
4.02/4.03 c | 40250 | 20088 116722 396615 | 2147483647 25957 8 | 2.401 % |
4.02/4.04 c | 40659 | 20087 116722 396615 | 2147483647 26365 8 | 2.406 % |
4.02/4.08 c | 41110 | 20086 116722 396615 | 2147483647 26815 8 | 2.411 % |
4.02/4.11 c | 41604 | 20084 116722 396615 | 2147483647 27309 8 | 2.411 % |
4.12/4.16 c | 42146 | 20082 116722 396615 | 2147483647 27850 8 | 2.421 % |
4.22/4.21 c | 42742 | 20078 116722 396615 | 2147483647 28444 8 | 2.430 % |
4.22/4.23 c | 42842 | 20078 116722 396615 | 2147483647 28544 8 | 2.430 % |
4.22/4.25 c | 42952 | 20078 116722 396615 | 2147483647 28654 8 | 2.430 % |
4.22/4.26 c | 43074 | 20078 116722 396615 | 2147483647 28776 8 | 2.430 % |
4.22/4.26 c | 43208 | 20078 116722 396615 | 2147483647 28910 8 | 2.430 % |
4.22/4.28 c | 43355 | 20078 116722 396615 | 2147483647 29057 8 | 2.430 % |
4.22/4.30 c | 43516 | 20075 116722 396615 | 2147483647 29217 8 | 2.445 % |
4.32/4.34 c | 43692 | 20074 116722 396615 | 2147483647 29392 8 | 2.450 % |
4.32/4.35 c | 43886 | 20074 116722 396615 | 2147483647 29586 8 | 2.450 % |
4.32/4.36 c | 44100 | 20074 116722 396615 | 2147483647 29800 8 | 2.450 % |
4.32/4.38 c | 44333 | 20063 116722 396615 | 2147483647 30030 8 | 2.834 % |
4.32/4.39 c | 44589 | 20057 116722 396615 | 2147483647 30285 8 | 2.839 % |
4.43/4.45 c | 44870 | 20019 116722 396615 | 2147483647 30566 8 | 2.839 % |
4.52/4.51 c | 45180 | 19989 115942 394108 | 2147483647 28107 8 | 2.839 % |
4.52/4.53 c | 45520 | 19989 115942 394108 | 2147483647 28447 8 | 2.839 % |
4.52/4.55 c | 45892 | 19984 115942 394108 | 2147483647 28818 8 | 2.863 % |
4.52/4.57 c | 46301 | 19984 115942 394108 | 2147483647 29227 8 | 2.863 % |
4.62/4.62 c | 46751 | 19983 115942 394108 | 2147483647 29676 8 | 2.868 % |
4.62/4.65 c | 47245 | 19983 115942 394108 | 2147483647 30170 8 | 2.868 % |
4.72/4.72 c | 47787 | 19969 115942 394108 | 2147483647 30707 8 | 3.276 % |
4.72/4.77 c | 48383 | 19968 115942 394108 | 2147483647 31303 8 | 3.276 % |
4.82/4.86 c | 49038 | 19913 115942 394108 | 2147483647 31958 9 | 3.276 % |
4.82/4.87 c | 49138 | 19913 115942 394108 | 2147483647 32058 9 | 3.276 % |
4.82/4.87 c | 49248 | 19913 115942 394108 | 2147483647 32168 9 | 3.276 % |
4.82/4.89 c | 49370 | 19913 115942 394108 | 2147483647 32290 8 | 3.276 % |
4.82/4.89 c | 49504 | 19913 115942 394108 | 2147483647 32424 8 | 3.276 % |
4.82/4.89 c | 49650 | 19913 115942 394108 | 2147483647 32570 8 | 3.276 % |
4.82/4.90 c | 49811 | 19913 115942 394108 | 2147483647 32731 8 | 3.276 % |
4.82/4.90 c | 49987 | 19913 115942 394108 | 2147483647 32907 9 | 3.276 % |
4.92/4.91 c | 50180 | 19913 115942 394108 | 2147483647 33100 9 | 3.276 % |
4.92/4.91 c | 50393 | 19913 115942 394108 | 2147483647 33313 9 | 3.276 % |
4.92/4.93 c | 50626 | 19909 115942 394108 | 2147483647 33545 9 | 3.296 % |
4.92/4.96 c | 50882 | 19909 115942 394108 | 2147483647 33801 9 | 3.296 % |
4.92/4.98 c | 51165 | 19909 115942 394108 | 2147483647 34084 9 | 3.296 % |
5.02/5.01 c | 51475 | 19909 115942 394108 | 2147483647 34394 9 | 3.296 % |
5.02/5.03 c | 51815 | 19909 115942 394108 | 2147483647 34734 9 | 3.296 % |
5.02/5.08 c | 52188 | 19909 115942 394108 | 2147483647 35107 9 | 3.296 % |
5.12/5.13 c | 52597 | 19893 115243 391830 | 2147483647 33633 8 | 3.354 % |
5.12/5.16 c | 53046 | 19888 115243 391830 | 2147483647 34081 8 | 3.398 % |
5.12/5.19 c | 53541 | 19885 115243 391830 | 2147483647 34575 8 | 3.412 % |
5.22/5.25 c | 54083 | 19885 115243 391830 | 2147483647 35117 8 | 3.412 % |
5.22/5.29 c | 54680 | 19883 115243 391830 | 2147483647 35713 8 | 3.441 % |
5.32/5.32 c | 55335 | 19882 115243 391830 | 2147483647 36367 8 | 3.451 % |
5.42/5.42 c | 56055 | 19879 115243 391830 | 2147483647 37087 9 | 3.451 % |
5.42/5.43 c | 56157 | 19879 115243 391830 | 2147483647 37189 9 | 3.451 % |
5.42/5.43 c | 56267 | 19879 115243 391830 | 2147483647 37299 9 | 3.451 % |
5.42/5.46 c | 56391 | 19879 115243 391830 | 2147483647 37423 9 | 3.451 % |
5.42/5.49 c | 56525 | 19870 115243 391830 | 2147483647 37557 9 | 3.451 % |
5.42/5.49 c | 56671 | 19870 115243 391830 | 2147483647 37703 9 | 3.451 % |
5.42/5.50 c | 56831 | 19870 115243 391830 | 2147483647 37863 9 | 3.451 % |
5.42/5.51 c | 57010 | 19870 115243 391830 | 2147483647 38042 9 | 3.451 % |
5.42/5.52 c | 57205 | 19870 115243 391830 | 2147483647 38237 9 | 3.451 % |
5.53/5.52 c | 57418 | 19870 115243 391830 | 2147483647 38450 9 | 3.451 % |
5.53/5.54 c | 57652 | 19870 115243 391830 | 2147483647 38684 9 | 3.451 % |
5.53/5.58 c | 57908 | 19866 115243 391830 | 2147483647 38939 9 | 3.485 % |
5.53/5.60 c | 58189 | 19862 115243 391830 | 2147483647 39218 9 | 3.514 % |
5.62/5.67 c | 58498 | 19859 115243 391830 | 2147483647 39527 9 | 3.514 % |
5.72/5.72 c | 58838 | 19859 115243 391830 | 2147483647 39867 9 | 3.514 % |
5.72/5.79 c | 59211 | 19858 115243 391830 | 2147483647 40239 9 | 3.519 % |
5.82/5.82 c | 59621 | 19848 114808 390408 | 2147483647 37551 8 | 3.524 % |
5.82/5.85 c | 60070 | 19848 114808 390408 | 2147483647 38000 8 | 3.524 % |
5.82/5.90 c | 60564 | 19848 114808 390408 | 2147483647 38494 8 | 3.524 % |
5.92/5.92 c | 61106 | 19848 114808 390408 | 2147483647 39036 8 | 3.524 % |
5.92/5.98 c | 61704 | 19848 114808 390408 | 2147483647 39634 9 | 3.524 % |
6.02/6.08 c | 62359 | 19848 114808 390408 | 2147483647 40289 9 | 3.524 % |
6.12/6.18 c | 63080 | 19848 114808 390408 | 2147483647 41010 9 | 3.524 % |
6.22/6.24 c | 63873 | 19848 114808 390408 | 2147483647 41803 9 | 3.524 % |
6.22/6.27 c | 63974 | 19848 114808 390408 | 2147483647 41904 9 | 3.524 % |
6.22/6.29 c | 64085 | 19848 114808 390408 | 2147483647 42015 9 | 3.524 % |
6.22/6.29 c | 64206 | 19848 114808 390408 | 2147483647 42136 9 | 3.524 % |
6.32/6.31 c | 64340 | 19846 114808 390408 | 2147483647 42269 9 | 3.563 % |
6.32/6.32 c | 64488 | 19846 114808 390408 | 2147483647 42417 9 | 3.563 % |
6.32/6.33 c | 64649 | 19846 114808 390408 | 2147483647 42578 9 | 3.563 % |
6.32/6.34 c | 64828 | 19846 114808 390408 | 2147483647 42757 9 | 3.563 % |
6.32/6.35 c | 65022 | 19846 114808 390408 | 2147483647 42951 9 | 3.563 % |
6.32/6.36 c | 65234 | 19846 114808 390408 | 2147483647 43163 9 | 3.563 % |
6.32/6.36 c | 65467 | 19846 114808 390408 | 2147483647 43396 9 | 3.563 % |
6.32/6.38 c | 65723 | 19846 114808 390408 | 2147483647 43652 9 | 3.563 % |
6.42/6.45 c | 66004 | 19846 114808 390408 | 2147483647 43933 9 | 3.563 % |
6.42/6.47 c | 66313 | 19846 114808 390408 | 2147483647 44242 9 | 3.563 % |
6.42/6.48 c | 66652 | 19846 114808 390408 | 2147483647 44581 9 | 3.563 % |
6.42/6.49 c | 67024 | 19846 114808 390408 | 2147483647 44953 9 | 3.563 % |
6.63/6.63 c | 67434 | 19835 114719 390119 | 2147483647 44632 9 | 3.621 % |
6.72/6.75 c | 67883 | 19835 114719 390119 | 2147483647 45081 9 | 3.621 % |
6.82/6.83 c | 68376 | 19835 114719 390119 | 2147483647 45574 9 | 3.621 % |
6.92/6.93 c | 68918 | 19833 114719 390119 | 2147483647 46116 9 | 3.621 % |
6.92/6.94 c | 69514 | 19833 114719 390119 | 2147483647 46712 9 | 3.621 % |
6.92/6.96 c | 70171 | 19831 114719 390119 | 2147483647 47368 9 | 3.636 % |
7.02/7.05 c | 70892 | 19828 114719 390119 | 2147483647 48088 9 | 3.650 % |
7.02/7.10 c | 71686 | 19828 114719 390119 | 2147483647 48882 9 | 3.650 % |
7.22/7.23 c | 72558 | 19828 114719 390119 | 2147483647 49754 9 | 3.650 % |
7.22/7.27 c | 72658 | 19828 114719 390119 | 2147483647 49854 9 | 3.650 % |
7.32/7.31 c | 72769 | 19828 114719 390119 | 2147483647 49965 9 | 3.650 % |
7.32/7.31 c | 72890 | 19828 114719 390119 | 2147483647 50086 9 | 3.650 % |
7.32/7.36 c | 73024 | 19828 114719 390119 | 2147483647 50220 9 | 3.650 % |
7.32/7.40 c | 73170 | 19822 114617 389827 | 2147483647 50198 9 | 3.650 % |
7.42/7.45 c | 73332 | 19822 114617 389827 | 2147483647 50360 9 | 3.650 % |
7.42/7.46 c | 73510 | 19811 114617 389827 | 2147483647 50536 9 | 3.937 % |
7.42/7.47 c | 73703 | 19805 114617 389827 | 2147483647 50729 9 | 3.937 % |
7.42/7.48 c | 73916 | 19805 114617 389827 | 2147483647 50942 9 | 3.937 % |
7.52/7.53 c | 74150 | 19795 114617 389827 | 2147483647 51176 9 | 3.937 % |
7.52/7.55 c | 74406 | 19776 114617 389827 | 2147483647 51428 9 | 4.171 % |
7.52/7.59 c | 74687 | 19776 114617 389827 | 2147483647 51709 9 | 4.171 % |
7.62/7.62 c | 74997 | 19776 114617 389827 | 2147483647 52019 9 | 4.171 % |
7.62/7.65 c | 75338 | 19768 114617 389827 | 2147483647 52358 9 | 4.239 % |
7.73/7.76 c | 75711 | 19735 114617 389827 | 2147483647 52731 9 | 4.239 % |
7.73/7.80 c | 76120 | 19735 114617 389827 | 2147483647 53140 9 | 4.239 % |
7.82/7.90 c | 76570 | 19732 114617 389827 | 2147483647 53588 9 | 4.253 % |
8.02/8.03 c | 77063 | 19732 114617 389827 | 2147483647 54081 9 | 4.253 % |
8.22/8.22 c | 77605 | 19732 114617 389827 | 2147483647 54622 9 | 4.258 % |
8.32/8.38 c | 78202 | 19728 114617 389827 | 2147483647 55218 9 | 4.273 % |
8.62/8.64 c | 78857 | 19694 113603 386518 | 2147483647 50765 9 | 4.273 % |
8.72/8.77 c | 79577 | 19652 113603 386518 | 2147483647 51475 9 | 5.186 % |
8.83/8.90 c | 80369 | 19628 113603 386518 | 2147483647 52262 9 | 5.376 % |
8.92/9.00 c | 81241 | 19619 113603 386518 | 2147483647 53131 9 | 5.420 % |
9.12/9.19 c | 82199 | 19605 113603 386518 | 2147483647 54085 9 | 5.497 % |
9.22/9.26 c | 82299 | 19427 112102 381833 | 2147483647 51848 9 | 5.570 % |
9.22/9.30 c | 82409 | 19427 112102 381833 | 2147483647 51958 9 | 5.570 % |
9.22/9.31 c | 82530 | 19427 112102 381833 | 2147483647 52079 9 | 5.570 % |
9.32/9.31 c | 82664 | 19427 112102 381833 | 2147483647 52213 9 | 5.570 % |
9.32/9.33 c | 82811 | 19427 112102 381833 | 2147483647 52360 9 | 5.570 % |
9.32/9.38 c | 82971 | 19420 112102 381833 | 2147483647 52517 9 | 5.604 % |
9.42/9.46 c | 83148 | 19420 112102 381833 | 2147483647 52694 9 | 5.604 % |
9.52/9.52 c | 83342 | 19420 112102 381833 | 2147483647 52888 9 | 5.604 % |
9.52/9.53 c | 83554 | 19420 112102 381833 | 2147483647 53100 9 | 5.604 % |
9.52/9.60 c | 83787 | 19416 112102 381833 | 2147483647 53332 9 | 5.638 % |
9.72/9.71 c | 84044 | 19401 112102 381833 | 2147483647 53587 9 | 5.707 % |
9.72/9.73 c | 84325 | 19401 112102 381833 | 2147483647 53868 9 | 5.707 % |
9.72/9.77 c | 84635 | 19401 112102 381833 | 2147483647 54178 9 | 5.707 % |
9.82/9.87 c | 84974 | 19401 112102 381833 | 2147483647 54517 9 | 5.707 % |
9.82/9.88 c | 85346 | 19401 112102 381833 | 2147483647 54889 9 | 5.707 % |
9.82/9.88 c | 85755 | 19401 112102 381833 | 2147483647 55298 9 | 5.707 % |
9.82/9.89 c | 86204 | 19401 112102 381833 | 2147483647 55747 9 | 5.707 % |
9.93/9.92 c | 86698 | 19389 112102 381833 | 2147483647 56238 9 | 5.770 % |
9.93/9.97 c | 87240 | 19387 112102 381833 | 2147483647 56779 9 | 5.784 % |
9.93/9.99 c | 87836 | 19387 112102 381833 | 2147483647 57375 9 | 5.784 % |
10.02/10.04 c | 88491 | 19387 112102 381833 | 2147483647 58030 9 | 5.784 % |
10.02/10.06 c | 89211 | 19387 112102 381833 | 2147483647 58750 9 | 5.784 % |
10.02/10.08 c | 90003 | 19387 112102 381833 | 2147483647 59542 9 | 5.784 % |
10.12/10.14 c | 90874 | 19387 112102 381833 | 2147483647 60413 9 | 5.784 % |
10.22/10.23 c | 91833 | 19383 111761 380734 | 2147483647 59415 9 | 5.784 % |
10.22/10.29 c | 92886 | 19383 111761 380734 | 2147483647 60468 9 | 5.784 % |
10.22/10.30 c | 92986 | 19383 111761 380734 | 2147483647 60568 9 | 5.784 % |
10.32/10.32 c | 93097 | 19383 111761 380734 | 2147483647 60679 9 | 5.784 % |
10.32/10.32 c | 93219 | 19377 111761 380734 | 2147483647 60800 9 | 5.813 % |
10.32/10.36 c | 93352 | 19377 111761 380734 | 2147483647 60933 9 | 5.813 % |
10.32/10.38 c | 93498 | 19377 111761 380734 | 2147483647 61079 9 | 5.813 % |
10.32/10.40 c | 93660 | 19377 111761 380734 | 2147483647 61241 9 | 5.813 % |
10.42/10.43 c | 93836 | 19377 111761 380734 | 2147483647 61417 9 | 5.813 % |
10.42/10.43 c | 94029 | 19377 111761 380734 | 2147483647 61610 9 | 5.813 % |
10.42/10.45 c | 94241 | 19377 111761 380734 | 2147483647 61822 9 | 5.813 % |
10.52/10.55 c | 94476 | 19369 111761 380734 | 2147483647 62054 9 | 5.901 % |
10.62/10.61 c | 94732 | 19369 111761 380734 | 2147483647 62310 9 | 5.901 % |
10.62/10.69 c | 95013 | 19367 111761 380734 | 2147483647 62589 9 | 5.916 % |
10.72/10.73 c | 95323 | 19367 111761 380734 | 2147483647 62899 9 | 5.916 % |
10.72/10.80 c | 95662 | 19367 111761 380734 | 2147483647 63238 9 | 5.916 % |
10.82/10.83 c | 96034 | 19367 111761 380734 | 2147483647 63610 9 | 5.916 % |
10.92/10.94 c | 96443 | 19367 111761 380734 | 2147483647 64019 9 | 5.916 % |
11.03/11.09 c | 96894 | 19367 111761 380734 | 2147483647 64470 9 | 5.916 % |
11.12/11.14 c | 97388 | 19367 111761 380734 | 2147483647 64964 9 | 5.916 % |
11.22/11.22 c | 97930 | 19367 111761 380734 | 2147483647 65506 9 | 5.916 % |
11.22/11.27 c | 98527 | 19355 111615 380281 | 2147483647 64706 9 | 5.920 % |
11.42/11.42 c | 99182 | 19349 111615 380281 | 2147483647 65359 9 | 5.959 % |
11.52/11.60 c | 99904 | 19348 111615 380281 | 2147483647 66081 9 | 5.959 % |
11.62/11.66 c | 100696 | 19348 111615 380281 | 2147483647 66873 9 | 5.959 % |
11.72/11.72 c | 101568 | 19348 111615 380281 | 2147483647 67745 9 | 5.959 % |
11.72/11.77 c | 102527 | 19348 111615 380281 | 2147483647 68704 9 | 5.959 % |
12.02/12.08 c | 103580 | 19333 111615 380281 | 2147483647 69756 10 | 6.056 % |
12.32/12.36 c | 104738 | 19332 111615 380281 | 2147483647 70913 10 | 6.061 % |
12.32/12.40 c | 104842 | 19326 111362 379432 | 2147483647 69373 10 | 6.061 % |
12.42/12.42 c | 104953 | 19326 111362 379432 | 2147483647 69484 10 | 6.061 % |
12.42/12.43 c | 105074 | 19326 111362 379432 | 2147483647 69605 10 | 6.061 % |
12.42/12.49 c | 105207 | 19326 111362 379432 | 2147483647 69738 10 | 6.061 % |
12.52/12.53 c | 105353 | 19326 111362 379432 | 2147483647 69884 10 | 6.061 % |
12.52/12.60 c | 105514 | 19326 111362 379432 | 2147483647 70045 10 | 6.061 % |
12.62/12.64 c | 105690 | 19324 111362 379432 | 2147483647 70220 10 | 6.086 % |
12.62/12.69 c | 105883 | 19324 111362 379432 | 2147483647 70413 10 | 6.086 % |
12.72/12.73 c | 106097 | 19324 111362 379432 | 2147483647 70627 10 | 6.086 % |
12.72/12.78 c | 106331 | 19324 111362 379432 | 2147483647 70861 10 | 6.086 % |
12.83/12.90 c | 106588 | 19324 111362 379432 | 2147483647 71118 10 | 6.086 % |
12.92/12.95 c | 106869 | 19324 111362 379432 | 2147483647 71399 10 | 6.086 % |
12.92/12.99 c | 107181 | 19324 111362 379432 | 2147483647 71711 10 | 6.086 % |
13.02/13.08 c | 107520 | 19324 111362 379432 | 2147483647 72050 10 | 6.086 % |
13.23/13.23 c | 107892 | 19324 111362 379432 | 2147483647 72422 10 | 6.086 % |
13.23/13.30 c | 108301 | 19324 111362 379432 | 2147483647 72831 10 | 6.086 % |
13.32/13.36 c | 108750 | 19324 111362 379432 | 2147483647 73280 10 | 6.086 % |
13.43/13.50 c | 109243 | 19310 111362 379432 | 2147483647 73770 10 | 6.231 % |
13.53/13.57 c | 109786 | 19306 111362 379432 | 2147483647 74313 10 | 6.231 % |
13.63/13.70 c | 110383 | 19303 111362 379432 | 2147483647 74909 10 | 6.251 % |
13.83/13.86 c | 111038 | 19302 111362 379432 | 2147483647 75564 10 | 6.251 % |
14.23/14.23 c | 111758 | 19286 111072 378481 | 2147483647 75468 10 | 6.256 % |
14.43/14.43 c | 112552 | 19286 111072 378481 | 2147483647 76262 10 | 6.256 % |
14.63/14.68 c | 113423 | 19284 111072 378481 | 2147483647 77132 10 | 6.265 % |
14.83/14.86 c | 114381 | 19284 111072 378481 | 2147483647 78090 10 | 6.265 % |
15.03/15.07 c | 115435 | 19284 111072 378481 | 2147483647 79144 11 | 6.265 % |
15.33/15.34 c | 116593 | 19245 111072 378481 | 2147483647 80301 11 | 6.684 % |
15.83/15.82 c | 117867 | 19197 110502 376573 | 2147483647 79988 11 | 6.688 % |
15.83/15.82 c | 117967 | 19197 110502 376573 | 2147483647 80088 11 | 6.688 % |
15.83/15.88 c | 118077 | 19197 110502 376573 | 2147483647 80198 11 | 6.688 % |
15.93/15.92 c | 118199 | 19197 110502 376573 | 2147483647 80320 11 | 6.688 % |
15.93/16.01 c | 118333 | 19197 110502 376573 | 2147483647 80454 11 | 6.688 % |
16.03/16.06 c | 118480 | 19196 110502 376573 | 2147483647 80600 11 | 6.693 % |
16.03/16.08 c | 118640 | 19196 110502 376573 | 2147483647 80760 11 | 6.693 % |
16.03/16.09 c | 118816 | 19196 110502 376573 | 2147483647 80936 11 | 6.693 % |
16.13/16.14 c | 119009 | 19196 110502 376573 | 2147483647 81129 11 | 6.693 % |
16.13/16.17 c | 119222 | 19196 110502 376573 | 2147483647 81342 11 | 6.693 % |
16.13/16.19 c | 119455 | 19196 110502 376573 | 2147483647 81575 11 | 6.693 % |
16.23/16.23 c | 119711 | 19196 110502 376573 | 2147483647 81831 11 | 6.693 % |
16.23/16.32 c | 119992 | 19196 110502 376573 | 2147483647 82112 11 | 6.693 % |
16.33/16.37 c | 120301 | 19194 110502 376573 | 2147483647 82420 11 | 6.703 % |
16.43/16.43 c | 120641 | 19194 110502 376573 | 2147483647 82760 11 | 6.703 % |
16.43/16.52 c | 121013 | 19194 110502 376573 | 2147483647 83132 11 | 6.703 % |
16.53/16.54 c | 121422 | 19194 110502 376573 | 2147483647 83541 11 | 6.703 % |
16.63/16.70 c | 121871 | 19194 110502 376573 | 2147483647 83990 11 | 6.703 % |
16.83/16.85 c | 122365 | 19194 110502 376573 | 2147483647 84484 11 | 6.703 % |
16.93/16.95 c | 122907 | 19190 110502 376573 | 2147483647 85025 11 | 6.722 % |
17.03/17.11 c | 123504 | 19184 110502 376573 | 2147483647 85621 11 | 6.752 % |
17.23/17.24 c | 124159 | 19179 110402 376267 | 2147483647 85492 11 | 6.800 % |
17.53/17.56 c | 124880 | 19178 110402 376267 | 2147483647 86212 11 | 6.805 % |
17.53/17.61 c | 125673 | 19178 110402 376267 | 2147483647 87005 11 | 6.805 % |
17.63/17.63 c | 126546 | 19178 110402 376267 | 2147483647 87878 11 | 6.805 % |
17.73/17.74 c | 127505 | 19178 110402 376267 | 2147483647 88837 11 | 6.805 % |
17.83/17.90 c | 128558 | 19175 110402 376267 | 2147483647 89889 11 | 6.820 % |
18.53/18.55 c | 129716 | 19174 110402 376267 | 2147483647 91046 11 | 6.824 % |
19.13/19.17 c | 130989 | 19158 110402 376267 | 2147483647 92315 11 | 6.951 % |
19.33/19.39 c | 132389 | 19139 110079 375202 | 2147483647 92050 11 | 6.970 % |
19.43/19.45 c | 132489 | 19139 110079 375202 | 2147483647 92150 11 | 6.970 % |
19.43/19.47 c | 132599 | 19139 110079 375202 | 2147483647 92260 11 | 6.970 % |
19.43/19.51 c | 132720 | 19139 110079 375202 | 2147483647 92381 11 | 6.970 % |
19.53/19.57 c | 132853 | 19139 110079 375202 | 2147483647 92514 11 | 6.970 % |
19.63/19.69 c | 133000 | 19139 110079 375202 | 2147483647 92661 11 | 6.970 % |
19.73/19.75 c | 133161 | 19139 110079 375202 | 2147483647 92822 11 | 6.970 % |
19.73/19.76 c | 133337 | 19129 110079 375202 | 2147483647 92994 11 | 7.029 % |
19.83/19.84 c | 133531 | 19123 110079 375202 | 2147483647 93187 11 | 7.068 % |
19.93/19.98 c | 133743 | 19123 110079 375202 | 2147483647 93399 11 | 7.068 % |
20.03/20.08 c | 133978 | 19123 110079 375202 | 2147483647 93634 11 | 7.068 % |
20.03/20.10 c | 134235 | 19123 110079 375202 | 2147483647 93891 11 | 7.068 % |
20.13/20.13 c | 134516 | 19123 110079 375202 | 2147483647 94172 11 | 7.068 % |
20.13/20.17 c | 134826 | 19121 110079 375202 | 2147483647 94481 11 | 7.111 % |
20.13/20.19 c | 135165 | 19121 110079 375202 | 2147483647 94820 11 | 7.111 % |
20.33/20.38 c | 135537 | 19121 110079 375202 | 2147483647 95192 11 | 7.111 % |
20.43/20.46 c | 135946 | 19121 110079 375202 | 2147483647 95601 11 | 7.111 % |
20.63/20.65 c | 136395 | 19121 110079 375202 | 2147483647 96050 11 | 7.111 % |
20.83/20.91 c | 136888 | 19120 110079 375202 | 2147483647 96542 11 | 7.165 % |
21.13/21.14 c | 137431 | 19120 110079 375202 | 2147483647 97085 11 | 7.165 % |
21.33/21.36 c | 138028 | 19120 110079 375202 | 2147483647 97682 11 | 7.165 % |
21.63/21.68 c | 138683 | 19099 109759 374150 | 2147483647 96574 11 | 7.165 % |
22.13/22.14 c | 139403 | 19099 109759 374150 | 2147483647 97294 12 | 7.165 % |
22.53/22.56 c | 140195 | 19093 109759 374150 | 2147483647 98085 12 | 7.204 % |
22.93/22.92 c | 141066 | 19093 109759 374150 | 2147483647 98956 12 | 7.204 % |
23.23/23.23 c | 142026 | 19093 109759 374150 | 2147483647 99916 12 | 7.204 % |
24.23/24.28 c | 143079 | 19093 109759 374150 | 2147483647 100969 13 | 7.204 % |
24.43/24.43 c | 144238 | 19091 109707 373972 | 2147483647 102109 13 | 7.204 % |
25.03/25.09 c | 145511 | 19091 109707 373972 | 2147483647 103382 13 | 7.204 % |
25.93/25.97 c | 146912 | 19090 109707 373972 | 2147483647 104782 14 | 7.208 % |
26.03/26.08 c | 148453 | 19090 109707 373972 | 2147483647 106323 14 | 7.208 % |
26.13/26.13 c | 148553 | 19090 109707 373972 | 2147483647 106423 14 | 7.208 % |
26.23/26.24 c | 148663 | 19090 109707 373972 | 2147483647 106533 14 | 7.208 % |
26.33/26.33 c | 148785 | 19090 109707 373972 | 2147483647 106655 14 | 7.208 % |
26.43/26.43 c | 148918 | 19090 109707 373972 | 2147483647 106788 14 | 7.208 % |
26.43/26.49 c | 149065 | 19090 109707 373972 | 2147483647 106935 14 | 7.208 % |
26.53/26.59 c | 149225 | 19090 109707 373972 | 2147483647 107095 14 | 7.208 % |
26.53/26.61 c | 149403 | 19090 109707 373972 | 2147483647 107273 14 | 7.208 % |
26.63/26.63 c | 149596 | 19090 109707 373972 | 2147483647 107466 14 | 7.208 % |
26.73/26.81 c | 149808 | 19090 109707 373972 | 2147483647 107678 14 | 7.208 % |
26.83/26.90 c | 150041 | 19088 109707 373972 | 2147483647 107910 14 | 7.228 % |
27.03/27.02 c | 150298 | 19086 109677 373876 | 2147483647 108107 14 | 7.228 % |
27.03/27.05 c | 150579 | 19086 109677 373876 | 2147483647 108388 14 | 7.228 % |
27.33/27.36 c | 150889 | 19086 109677 373876 | 2147483647 108698 14 | 7.228 % |
27.43/27.49 c | 151228 | 19086 109677 373876 | 2147483647 109036 14 | 7.233 % |
27.73/27.77 c | 151600 | 19086 109677 373876 | 2147483647 109408 14 | 7.233 % |
27.93/27.94 c | 152009 | 19086 109677 373876 | 2147483647 109817 14 | 7.233 % |
28.03/28.08 c | 152459 | 19086 109677 373876 | 2147483647 110267 14 | 7.233 % |
28.33/28.33 c | 152952 | 19086 109677 373876 | 2147483647 110760 14 | 7.233 % |
28.53/28.60 c | 153494 | 19086 109677 373876 | 2147483647 111302 14 | 7.233 % |
28.93/28.95 c | 154091 | 19086 109677 373876 | 2147483647 111899 14 | 7.233 % |
29.43/29.44 c | 154747 | 19086 109677 373876 | 2147483647 112555 15 | 7.233 % |
29.73/29.77 c | 155467 | 19086 109677 373876 | 2147483647 113275 15 | 7.233 % |
30.63/30.67 c | 156261 | 19086 109677 373876 | 2147483647 114069 16 | 7.233 % |
31.23/31.30 c | 157134 | 19085 109671 373856 | 2147483647 114941 16 | 7.233 % |
32.13/32.20 c | 158092 | 19085 109671 373856 | 2147483647 115899 16 | 7.233 % |
32.43/32.46 c | 159146 | 19085 109671 373856 | 2147483647 116953 16 | 7.233 % |
33.73/33.73 c | 160304 | 19085 109671 373856 | 2147483647 118111 18 | 7.233 % |
34.53/34.58 c | 161577 | 19085 109671 373856 | 2147483647 119384 18 | 7.233 % |
35.33/35.34 c | 162978 | 19082 109631 373722 | 2147483647 120262 18 | 7.247 % |
36.43/36.45 c | 164519 | 19082 109631 373722 | 2147483647 121803 19 | 7.247 % |
38.43/38.48 c | 166213 | 19082 109631 373722 | 2147483647 123497 20 | 7.247 % |
38.53/38.53 c | 166315 | 19082 109631 373722 | 2147483647 123599 20 | 7.247 % |
38.53/38.58 c | 166426 | 19082 109631 373722 | 2147483647 123710 20 | 7.247 % |
38.53/38.61 c | 166548 | 19082 109631 373722 | 2147483647 123832 20 | 7.247 % |
38.73/38.73 c | 166683 | 19081 109631 373722 | 2147483647 123966 20 | 7.252 % |
38.73/38.74 c | 166829 | 19081 109631 373722 | 2147483647 124112 20 | 7.252 % |
38.83/38.89 c | 166989 | 19081 109631 373722 | 2147483647 124272 20 | 7.252 % |
38.93/38.98 c | 167165 | 19081 109631 373722 | 2147483647 124448 20 | 7.252 % |
39.03/39.05 c | 167358 | 19081 109631 373722 | 2147483647 124641 20 | 7.252 % |
39.13/39.13 c | 167570 | 19081 109631 373722 | 2147483647 124853 20 | 7.252 % |
39.23/39.23 c | 167803 | 19081 109631 373722 | 2147483647 125086 20 | 7.252 % |
39.23/39.24 c | 168059 | 19081 109631 373722 | 2147483647 125342 20 | 7.252 % |
39.53/39.61 c | 168341 | 19081 109626 373710 | 2147483647 125623 20 | 7.252 % |
39.83/39.84 c | 168650 | 19081 109626 373710 | 2147483647 125932 20 | 7.252 % |
40.03/40.07 c | 168989 | 19081 109626 373710 | 2147483647 126271 20 | 7.252 % |
40.33/40.37 c | 169362 | 19081 109626 373710 | 2147483647 126644 20 | 7.252 % |
40.63/40.65 c | 169771 | 19081 109626 373710 | 2147483647 127053 20 | 7.252 % |
40.93/40.97 c | 170221 | 19081 109626 373710 | 2147483647 127503 20 | 7.252 % |
41.03/41.03 c | 170714 | 19081 109626 373710 | 2147483647 127996 20 | 7.252 % |
41.33/41.36 c | 171257 | 19081 109626 373710 | 2147483647 128539 20 | 7.252 % |
41.83/41.85 c | 171854 | 19081 109626 373710 | 2147483647 129136 21 | 7.252 % |
42.23/42.23 c | 172509 | 19081 109626 373710 | 2147483647 129791 21 | 7.252 % |
42.93/42.96 c | 173229 | 19081 109626 373710 | 2147483647 130511 21 | 7.252 % |
43.53/43.56 c | 174021 | 19081 109626 373710 | 2147483647 131303 22 | 7.252 % |
44.53/44.54 c | 174893 | 19081 109626 373710 | 2147483647 132175 22 | 7.252 % |
45.53/45.59 c | 175851 | 19081 109626 373710 | 2147483647 133133 23 | 7.252 % |
46.53/46.56 c | 176905 | 19081 109626 373710 | 2147483647 134187 24 | 7.252 % |
47.43/47.45 c | 178063 | 19081 109626 373710 | 2147483647 135345 24 | 7.252 % |
48.63/48.66 c | 179336 | 19081 109626 373710 | 2147483647 136618 24 | 7.252 % |
50.53/50.52 c | 180736 | 19081 109626 373710 | 2147483647 138018 26 | 7.252 % |
52.63/52.63 c | 182278 | 19081 109626 373710 | 2147483647 139560 28 | 7.252 % |
54.43/54.44 c | 183972 | 19081 109626 373710 | 2147483647 141254 29 | 7.252 % |
55.73/55.78 c | 185835 | 19079 109618 373682 | 2147483647 143106 29 | 7.262 % |
55.93/55.92 c | 185935 | 19079 109618 373682 | 2147483647 143206 29 | 7.262 % |
55.93/55.98 c | 186045 | 19079 109618 373682 | 2147483647 143316 29 | 7.262 % |
56.03/56.05 c | 186166 | 19079 109618 373682 | 2147483647 143437 29 | 7.262 % |
56.13/56.19 c | 186299 | 19079 109618 373682 | 2147483647 143570 29 | 7.262 % |
56.23/56.28 c | 186445 | 19079 109618 373682 | 2147483647 143716 29 | 7.262 % |
56.43/56.48 c | 186605 | 19079 109618 373682 | 2147483647 143876 29 | 7.262 % |
56.53/56.58 c | 186781 | 19079 109618 373682 | 2147483647 144052 29 | 7.262 % |
56.73/56.72 c | 186974 | 19079 109618 373682 | 2147483647 144245 29 | 7.262 % |
56.83/56.90 c | 187186 | 19079 109618 373682 | 2147483647 144457 29 | 7.262 % |
57.03/57.08 c | 187421 | 19079 109618 373682 | 2147483647 144692 29 | 7.262 % |
57.23/57.22 c | 187679 | 19079 109618 373682 | 2147483647 144950 29 | 7.262 % |
57.43/57.42 c | 187960 | 19077 109618 373682 | 2147483647 145230 29 | 7.272 % |
57.63/57.65 c | 188270 | 19077 109618 373682 | 2147483647 145540 29 | 7.272 % |
57.83/57.88 c | 188609 | 19077 109618 373682 | 2147483647 145879 29 | 7.272 % |
58.23/58.23 c | 188982 | 19077 109618 373682 | 2147483647 146252 29 | 7.272 % |
58.53/58.55 c | 189392 | 19077 109618 373682 | 2147483647 146662 29 | 7.272 % |
58.83/58.85 c | 189841 | 19077 109618 373682 | 2147483647 147111 29 | 7.272 % |
59.33/59.41 c | 190334 | 19077 109618 373682 | 2147483647 147604 29 | 7.272 % |
59.73/59.73 c | 190877 | 19077 109618 373682 | 2147483647 148147 29 | 7.272 % |
60.03/60.08 c | 191473 | 19077 109618 373682 | 2147483647 148743 29 | 7.272 % |
61.03/61.08 c | 192129 | 19077 109618 373682 | 2147483647 149399 30 | 7.272 % |
61.53/61.54 c | 192849 | 19077 109618 373682 | 2147483647 150119 30 | 7.272 % |
62.23/62.30 c | 193641 | 19077 109618 373682 | 2147483647 150911 30 | 7.272 % |
63.03/63.02 c | 194512 | 19077 109618 373682 | 2147483647 151782 30 | 7.272 % |
63.83/63.83 c | 195470 | 19077 109618 373682 | 2147483647 152740 30 | 7.272 % |
64.23/64.28 c | 196524 | 19077 109618 373682 | 2147483647 153794 30 | 7.272 % |
65.13/65.20 c | 197683 | 19077 109618 373682 | 2147483647 154953 30 | 7.272 % |
65.93/65.98 c | 198956 | 19077 109618 373682 | 2147483647 156226 30 | 7.272 % |
67.03/67.10 c | 200356 | 19077 109602 373626 | 2147483647 157621 31 | 7.272 % |
68.43/68.46 c | 201898 | 19077 109602 373626 | 2147483647 159163 31 | 7.272 % |
70.23/70.25 c | 203592 | 19077 109602 373626 | 2147483647 160857 32 | 7.272 % |
71.54/71.58 c | 205456 | 19077 109602 373626 | 2147483647 162721 32 | 7.272 % |
73.83/73.83 c | 207506 | 19077 109602 373626 | 2147483647 164771 32 | 7.272 % |
73.83/73.89 c | 207607 | 19077 109602 373626 | 2147483647 164872 32 | 7.272 % |
73.93/74.00 c | 207718 | 19077 109602 373626 | 2147483647 164983 32 | 7.272 % |
74.13/74.18 c | 207839 | 19077 109602 373626 | 2147483647 165104 32 | 7.272 % |
74.23/74.30 c | 207972 | 19077 109602 373626 | 2147483647 165237 32 | 7.272 % |
74.43/74.46 c | 208118 | 19077 109602 373626 | 2147483647 165383 32 | 7.272 % |
74.63/74.64 c | 208279 | 19077 109602 373626 | 2147483647 165544 32 | 7.272 % |
74.84/74.86 c | 208455 | 19077 109602 373626 | 2147483647 165720 32 | 7.272 % |
75.03/75.02 c | 208648 | 19077 109602 373626 | 2147483647 165913 32 | 7.272 % |
75.23/75.21 c | 208860 | 19077 109602 373626 | 2147483647 166125 32 | 7.272 % |
75.53/75.53 c | 209093 | 19077 109602 373626 | 2147483647 166358 33 | 7.272 % |
75.73/75.79 c | 209350 | 19077 109602 373626 | 2147483647 166615 33 | 7.272 % |
76.03/76.04 c | 209631 | 19077 109602 373626 | 2147483647 166896 33 | 7.272 % |
76.43/76.48 c | 209941 | 19077 109602 373626 | 2147483647 167206 33 | 7.272 % |
76.73/76.79 c | 210280 | 19077 109602 373626 | 2147483647 167545 33 | 7.272 % |
77.04/77.07 c | 210653 | 19077 109602 373626 | 2147483647 167918 33 | 7.272 % |
77.43/77.44 c | 211062 | 19077 109602 373626 | 2147483647 168327 33 | 7.272 % |
77.83/77.90 c | 211511 | 19077 109602 373626 | 2147483647 168776 33 | 7.272 % |
78.43/78.50 c | 212005 | 19077 109602 373626 | 2147483647 169270 33 | 7.272 % |
79.24/79.25 c | 212547 | 19077 109602 373626 | 2147483647 169812 33 | 7.272 % |
80.03/80.01 c | 213144 | 19077 109602 373626 | 2147483647 170409 34 | 7.272 % |
80.43/80.45 c | 213799 | 19077 109602 373626 | 2147483647 171064 33 | 7.272 % |
80.93/80.99 c | 214520 | 19072 109595 373603 | 2147483647 171782 34 | 7.320 % |
81.73/81.72 c | 215312 | 19072 109595 373603 | 2147483647 172574 34 | 7.320 % |
82.93/82.92 c | 216183 | 19072 109595 373603 | 2147483647 173445 34 | 7.320 % |
83.73/83.80 c | 217145 | 19072 109595 373603 | 2147483647 174407 34 | 7.320 % |
84.74/84.73 c | 218198 | 19072 109595 373603 | 2147483647 175460 35 | 7.320 % |
85.73/85.75 c | 219356 | 19072 109595 373603 | 2147483647 176618 35 | 7.320 % |
87.03/87.06 c | 220629 | 19072 109595 373603 | 2147483647 177891 35 | 7.320 % |
89.73/89.76 c | 222032 | 19072 109595 373603 | 2147483647 179294 36 | 7.320 % |
92.73/92.79 c | 223572 | 19072 109595 373603 | 2147483647 180834 38 | 7.320 % |
95.13/95.14 c | 225266 | 19072 109595 373603 | 2147483647 182528 38 | 7.320 % |
99.33/99.32 c | 227130 | 19072 109595 373603 | 2147483647 184392 40 | 7.320 % |
101.73/101.79 c | 229179 | 19067 109512 373333 | 2147483647 184742 41 | 7.320 % |
104.23/104.26 c | 231432 | 19067 109512 373333 | 2147483647 186995 41 | 7.320 % |
104.33/104.33 c | 231532 | 19067 109512 373333 | 2147483647 187095 41 | 7.320 % |
104.43/104.47 c | 231643 | 19067 109512 373333 | 2147483647 187206 41 | 7.320 % |
104.63/104.66 c | 231765 | 19067 109512 373333 | 2147483647 187328 41 | 7.320 % |
104.83/104.83 c | 231899 | 19067 109512 373333 | 2147483647 187462 41 | 7.320 % |
105.03/105.05 c | 232047 | 19067 109512 373333 | 2147483647 187610 41 | 7.320 % |
105.13/105.16 c | 232207 | 19067 109512 373333 | 2147483647 187769 41 | 7.335 % |
105.23/105.23 c | 232384 | 19067 109512 373333 | 2147483647 187946 41 | 7.335 % |
105.23/105.31 c | 232578 | 19067 109512 373333 | 2147483647 188140 41 | 7.335 % |
105.53/105.56 c | 232791 | 19067 109512 373333 | 2147483647 188353 41 | 7.335 % |
105.73/105.73 c | 233024 | 19067 109512 373333 | 2147483647 188586 41 | 7.335 % |
106.03/106.03 c | 233281 | 19067 109512 373333 | 2147483647 188843 41 | 7.335 % |
106.23/106.28 c | 233562 | 19067 109512 373333 | 2147483647 189124 41 | 7.335 % |
106.74/106.76 c | 233873 | 19067 109512 373333 | 2147483647 189435 41 | 7.335 % |
107.13/107.18 c | 234212 | 19067 109512 373333 | 2147483647 189774 41 | 7.335 % |
107.53/107.59 c | 234584 | 19067 109512 373333 | 2147483647 190146 41 | 7.335 % |
108.03/108.02 c | 234994 | 19067 109512 373333 | 2147483647 190556 41 | 7.335 % |
108.53/108.54 c | 235443 | 19067 109512 373333 | 2147483647 191005 41 | 7.335 % |
108.73/108.80 c | 235936 | 19067 109512 373333 | 2147483647 191498 41 | 7.335 % |
109.43/109.41 c | 236479 | 19067 109512 373333 | 2147483647 192041 41 | 7.335 % |
110.33/110.35 c | 237075 | 19067 109512 373333 | 2147483647 192637 42 | 7.335 % |
110.83/110.90 c | 237730 | 19067 109512 373333 | 2147483647 193292 42 | 7.335 % |
111.63/111.66 c | 238451 | 19065 109512 373333 | 2147483647 194012 42 | 7.345 % |
112.74/112.77 c | 239243 | 19065 109512 373333 | 2147483647 194804 42 | 7.345 % |
114.84/114.84 c | 240114 | 19065 109512 373333 | 2147483647 195675 42 | 7.345 % |
115.64/115.71 c | 241072 | 19065 109512 373333 | 2147483647 196633 43 | 7.345 % |
116.94/116.94 c | 242125 | 19065 109512 373333 | 2147483647 197686 43 | 7.345 % |
118.64/118.65 c | 243283 | 19065 109512 373333 | 2147483647 198844 43 | 7.345 % |
120.44/120.49 c | 244556 | 19065 109512 373333 | 2147483647 200117 44 | 7.345 % |
122.64/122.63 c | 245958 | 19062 109463 373183 | 2147483647 201344 44 | 7.345 % |
125.04/125.05 c | 247498 | 19062 109463 373183 | 2147483647 202884 45 | 7.345 % |
126.94/126.96 c | 249192 | 19061 109463 373183 | 2147483647 204577 45 | 7.354 % |
130.44/130.44 c | 251055 | 19061 109463 373183 | 2147483647 206440 46 | 7.354 % |
132.84/132.87 c | 253104 | 19061 109463 373183 | 2147483647 208489 47 | 7.354 % |
136.24/136.26 c | 255357 | 19061 109463 373183 | 2147483647 210742 47 | 7.354 % |
139.94/139.98 c | 257835 | 19061 109463 373183 | 2147483647 213220 49 | 7.354 % |
140.14/140.12 c | 257935 | 19061 109463 373183 | 2147483647 213320 49 | 7.354 % |
140.24/140.28 c | 258045 | 19061 109463 373183 | 2147483647 213430 49 | 7.354 % |
140.54/140.52 c | 258166 | 19061 109463 373183 | 2147483647 213551 49 | 7.354 % |
140.64/140.70 c | 258299 | 19061 109463 373183 | 2147483647 213684 49 | 7.354 % |
141.04/141.02 c | 258446 | 19061 109463 373183 | 2147483647 213831 49 | 7.354 % |
141.14/141.21 c | 258606 | 19061 109463 373183 | 2147483647 213991 49 | 7.354 % |
141.54/141.58 c | 258783 | 19061 109463 373183 | 2147483647 214168 49 | 7.354 % |
141.74/141.76 c | 258978 | 19061 109463 373183 | 2147483647 214363 49 | 7.354 % |
141.94/141.99 c | 259191 | 19061 109463 373183 | 2147483647 214576 49 | 7.354 % |
142.24/142.27 c | 259424 | 19061 109463 373183 | 2147483647 214809 49 | 7.354 % |
142.54/142.58 c | 259681 | 19061 109463 373183 | 2147483647 215066 49 | 7.354 % |
142.84/142.87 c | 259963 | 19061 109463 373183 | 2147483647 215348 49 | 7.354 % |
143.34/143.36 c | 260273 | 19061 109463 373183 | 2147483647 215658 49 | 7.354 % |
143.64/143.68 c | 260612 | 19061 109463 373183 | 2147483647 215997 49 | 7.354 % |
144.24/144.25 c | 260987 | 19061 109463 373183 | 2147483647 216372 49 | 7.354 % |
144.74/144.79 c | 261396 | 19061 109463 373183 | 2147483647 216781 49 | 7.354 % |
145.24/145.27 c | 261845 | 19061 109463 373183 | 2147483647 217230 49 | 7.354 % |
145.34/145.35 c | 262339 | 19061 109463 373183 | 2147483647 217724 49 | 7.354 % |
145.84/145.91 c | 262881 | 19061 109463 373183 | 2147483647 218266 49 | 7.354 % |
146.74/146.76 c | 263477 | 19061 109463 373183 | 2147483647 218862 49 | 7.354 % |
147.74/147.74 c | 264133 | 19061 109463 373183 | 2147483647 219518 49 | 7.354 % |
148.74/148.81 c | 264853 | 19060 109453 373157 | 2147483647 220222 49 | 7.354 % |
150.04/150.02 c | 265645 | 19060 109453 373157 | 2147483647 221014 49 | 7.354 % |
151.04/151.06 c | 266516 | 19060 109453 373157 | 2147483647 221885 49 | 7.354 % |
152.54/152.58 c | 267474 | 19060 109453 373157 | 2147483647 222843 49 | 7.354 % |
153.94/153.99 c | 268528 | 19060 109453 373157 | 2147483647 223897 49 | 7.354 % |
155.54/155.55 c | 269686 | 19059 109453 373157 | 2147483647 225054 50 | 7.359 % |
156.54/156.54 c | 270960 | 19059 109453 373157 | 2147483647 226328 50 | 7.359 % |
158.84/158.82 c | 272360 | 19059 109453 373157 | 2147483647 227728 50 | 7.359 % |
161.34/161.34 c | 273901 | 19059 109453 373157 | 2147483647 229269 51 | 7.359 % |
164.34/164.37 c | 275596 | 19059 109453 373157 | 2147483647 230964 52 | 7.359 % |
167.04/167.11 c | 277460 | 19059 109453 373157 | 2147483647 232828 52 | 7.359 % |
169.84/169.90 c | 279509 | 19059 109453 373157 | 2147483647 234877 52 | 7.359 % |
174.14/174.17 c | 281764 | 19059 109453 373157 | 2147483647 237132 54 | 7.359 % |
176.64/176.62 c | 284243 | 19059 109453 373157 | 2147483647 239611 54 | 7.359 % |
182.44/182.45 c | 286968 | 19059 109453 373157 | 2147483647 242336 55 | 7.359 % |
182.65/182.70 c | 287068 | 19059 109448 373145 | 2147483647 242436 55 | 7.359 % |
182.84/182.87 c | 287178 | 19059 109448 373145 | 2147483647 242546 55 | 7.359 % |
182.94/182.98 c | 287299 | 19059 109448 373145 | 2147483647 242667 55 | 7.359 % |
183.14/183.15 c | 287432 | 19059 109448 373145 | 2147483647 242800 55 | 7.359 % |
183.34/183.35 c | 287578 | 19059 109448 373145 | 2147483647 242946 55 | 7.359 % |
183.54/183.56 c | 287738 | 19059 109448 373145 | 2147483647 243106 55 | 7.359 % |
183.94/183.93 c | 287915 | 19059 109448 373145 | 2147483647 243283 55 | 7.359 % |
184.14/184.14 c | 288108 | 19059 109448 373145 | 2147483647 243476 55 | 7.359 % |
184.24/184.25 c | 288320 | 19059 109448 373145 | 2147483647 243688 55 | 7.359 % |
184.64/184.70 c | 288554 | 19059 109448 373145 | 2147483647 243922 55 | 7.359 % |
184.94/184.92 c | 288810 | 19059 109448 373145 | 2147483647 244178 55 | 7.359 % |
185.04/185.09 c | 289092 | 19059 109448 373145 | 2147483647 244460 55 | 7.359 % |
185.64/185.62 c | 289401 | 19059 109448 373145 | 2147483647 244769 55 | 7.359 % |
185.95/185.95 c | 289740 | 19059 109448 373145 | 2147483647 245108 55 | 7.359 % |
186.74/186.73 c | 290112 | 19059 109448 373145 | 2147483647 245480 55 | 7.359 % |
187.34/187.33 c | 290522 | 19059 109448 373145 | 2147483647 245890 55 | 7.359 % |
187.94/187.95 c | 290972 | 19059 109448 373145 | 2147483647 246340 55 | 7.359 % |
188.84/188.86 c | 291466 | 19059 109448 373145 | 2147483647 246834 55 | 7.359 % |
189.64/189.70 c | 292008 | 19059 109448 373145 | 2147483647 247376 55 | 7.359 % |
191.34/191.33 c | 292606 | 19059 109448 373145 | 2147483647 247974 56 | 7.359 % |
191.94/191.91 c | 293261 | 19059 109448 373145 | 2147483647 248629 56 | 7.359 % |
192.64/192.68 c | 293982 | 19059 109448 373145 | 2147483647 249350 56 | 7.359 % |
194.64/194.69 c | 294774 | 19059 109448 373145 | 2147483647 250142 56 | 7.359 % |
195.64/195.65 c | 295645 | 19059 109448 373145 | 2147483647 251013 56 | 7.359 % |
197.24/197.24 c | 296605 | 19059 109448 373145 | 2147483647 251973 56 | 7.359 % |
198.44/198.42 c | 297659 | 19059 109448 373145 | 2147483647 253027 56 | 7.359 % |
200.64/200.69 c | 298818 | 19059 109448 373145 | 2147483647 254186 57 | 7.359 % |
202.14/202.18 c | 300092 | 19059 109448 373145 | 2147483647 255460 57 | 7.359 % |
205.14/205.16 c | 301494 | 19050 109448 373145 | 2147483647 256858 57 | 7.408 % |
208.24/208.22 c | 303034 | 19050 109448 373145 | 2147483647 258398 58 | 7.408 % |
211.05/211.09 c | 304728 | 19050 109448 373145 | 2147483647 260092 58 | 7.408 % |
214.65/214.72 c | 306592 | 19050 109448 373145 | 2147483647 261956 58 | 7.408 % |
218.65/218.66 c | 308644 | 19050 109448 373145 | 2147483647 264008 59 | 7.408 % |
222.65/222.68 c | 310898 | 19050 109448 373145 | 265366 266262 59 | 7.408 % |
226.95/226.95 c | 313376 | 19050 109448 373145 | 265366 268740 60 | 7.408 % |
231.45/231.44 c | 316102 | 19050 109448 373145 | 265366 238778 65 | 7.408 % |
237.45/237.48 c | 319099 | 19049 109360 372867 | 265366 240371 66 | 7.408 % |
237.55/237.53 c | 319202 | 19049 109360 372867 | 265366 240474 66 | 7.408 % |
237.55/237.59 c | 319314 | 19049 109360 372867 | 265366 240586 66 | 7.408 % |
237.65/237.66 c | 319436 | 19049 109360 372867 | 265366 240708 66 | 7.408 % |
237.75/237.76 c | 319570 | 19049 109360 372867 | 265366 240842 66 | 7.408 % |
237.95/237.97 c | 319716 | 19049 109360 372867 | 265366 240988 66 | 7.408 % |
238.15/238.16 c | 319878 | 19049 109360 372867 | 265366 241150 66 | 7.408 % |
238.55/238.53 c | 320054 | 19049 109360 372867 | 2147483647 241326 66 | 7.408 % |
238.75/238.78 c | 320247 | 19049 109360 372867 | 2147483647 241519 66 | 7.408 % |
239.15/239.20 c | 320459 | 19049 109360 372867 | 2147483647 241731 66 | 7.408 % |
239.45/239.47 c | 320694 | 19049 109360 372867 | 2147483647 241966 66 | 7.408 % |
239.65/239.62 c | 320952 | 19049 109360 372867 | 2147483647 242224 66 | 7.408 % |
240.05/240.06 c | 321233 | 19049 109360 372867 | 2147483647 242505 66 | 7.408 % |
240.45/240.50 c | 321543 | 19049 109360 372867 | 2147483647 242815 66 | 7.408 % |
241.25/241.30 c | 321882 | 19049 109360 372867 | 2147483647 243154 66 | 7.408 % |
242.05/242.04 c | 322254 | 19049 109360 372867 | 2147483647 243526 66 | 7.408 % |
242.45/242.43 c | 322663 | 19049 109360 372867 | 2147483647 243935 66 | 7.408 % |
243.35/243.36 c | 323113 | 19049 109360 372867 | 2147483647 244385 66 | 7.408 % |
244.05/244.02 c | 323606 | 19049 109360 372867 | 2147483647 244878 66 | 7.408 % |
245.05/245.11 c | 324149 | 19049 109360 372867 | 2147483647 245421 66 | 7.408 % |
245.95/245.94 c | 324746 | 19049 109360 372867 | 2147483647 246018 66 | 7.408 % |
247.05/247.05 c | 325402 | 19049 109360 372867 | 2147483647 246674 66 | 7.408 % |
248.15/248.21 c | 326124 | 19049 109360 372867 | 2147483647 247396 67 | 7.408 % |
249.15/249.12 c | 326916 | 19049 109360 372867 | 2147483647 248188 66 | 7.408 % |
251.05/251.02 c | 327787 | 19049 109360 372867 | 2147483647 249059 67 | 7.408 % |
252.45/252.42 c | 328746 | 19049 109360 372867 | 2147483647 250018 67 | 7.408 % |
254.65/254.71 c | 329800 | 19049 109360 372867 | 2147483647 251072 67 | 7.408 % |
256.65/256.70 c | 330959 | 19049 109360 372867 | 2147483647 252231 67 | 7.408 % |
258.55/258.54 c | 332232 | 19049 109360 372867 | 2147483647 253504 68 | 7.408 % |
260.75/260.79 c | 333632 | 19049 109360 372867 | 2147483647 254904 68 | 7.408 % |
263.15/263.12 c | 335172 | 19049 109360 372867 | 2147483647 256444 68 | 7.408 % |
265.15/265.16 c | 336868 | 19049 109360 372867 | 2147483647 258140 68 | 7.408 % |
268.05/268.08 c | 338732 | 19049 109360 372867 | 2147483647 260004 68 | 7.408 % |
272.35/272.38 c | 340783 | 19049 109360 372867 | 261273 262055 69 | 7.408 % |
275.85/275.87 c | 343037 | 19049 109360 372867 | 261273 264309 69 | 7.408 % |
281.45/281.49 c | 345516 | 19049 109360 372867 | 261273 236947 68 | 7.408 % |
285.94/285.99 c | 348241 | 19049 109360 372867 | 261273 239672 69 | 7.408 % |
292.34/292.32 c | 351238 | 19049 109360 372867 | 2147483647 242669 70 | 7.408 % |
297.34/297.34 c | 354534 | 19049 109360 372867 | 2147483647 245965 71 | 7.408 % |
297.44/297.47 c | 354635 | 19049 109360 372867 | 2147483647 246066 71 | 7.408 % |
297.64/297.69 c | 354745 | 19049 109360 372867 | 2147483647 246176 71 | 7.408 % |
297.84/297.81 c | 354866 | 19049 109360 372867 | 2147483647 246297 71 | 7.408 % |
298.04/298.01 c | 354999 | 19049 109360 372867 | 2147483647 246430 71 | 7.408 % |
298.04/298.09 c | 355147 | 19049 109360 372867 | 2147483647 246578 71 | 7.408 % |
298.24/298.23 c | 355308 | 19049 109360 372867 | 2147483647 246739 71 | 7.408 % |
298.64/298.64 c | 355484 | 19049 109360 372867 | 2147483647 246915 71 | 7.408 % |
298.84/298.82 c | 355678 | 19049 109360 372867 | 2147483647 247109 71 | 7.408 % |
299.34/299.32 c | 355890 | 19049 109360 372867 | 2147483647 247321 71 | 7.408 % |
299.64/299.61 c | 356123 | 19049 109360 372867 | 2147483647 247554 71 | 7.408 % |
300.04/300.07 c | 356380 | 19049 109360 372867 | 2147483647 247811 71 | 7.408 % |
300.44/300.46 c | 356661 | 19049 109360 372867 | 2147483647 248092 71 | 7.408 % |
300.94/300.96 c | 356971 | 19049 109360 372867 | 2147483647 248402 71 | 7.408 % |
301.54/301.57 c | 357311 | 19049 109360 372867 | 2147483647 248742 71 | 7.408 % |
302.24/302.21 c | 357684 | 19049 109360 372867 | 2147483647 249115 71 | 7.408 % |
302.74/302.74 c | 358095 | 19049 109360 372867 | 2147483647 249526 71 | 7.408 % |
303.44/303.48 c | 358545 | 19049 109360 372867 | 2147483647 249976 71 | 7.408 % |
304.04/304.05 c | 359038 | 19049 109360 372867 | 2147483647 250469 71 | 7.408 % |
304.94/304.92 c | 359581 | 19049 109360 372867 | 2147483647 251012 71 | 7.408 % |
305.74/305.72 c | 360177 | 19049 109360 372867 | 251433 251608 71 | 7.408 % |
306.64/306.63 c | 360835 | 19049 109360 372867 | 251433 252266 71 | 7.408 % |
307.64/307.64 c | 361555 | 19049 109360 372867 | 251433 252986 71 | 7.408 % |
309.05/309.09 c | 362347 | 19049 109360 372867 | 251433 225213 76 | 7.408 % |
310.75/310.77 c | 363219 | 19049 109360 372867 | 251433 226085 76 | 7.408 % |
312.65/312.64 c | 364177 | 19049 109360 372867 | 251433 227043 76 | 7.408 % |
314.55/314.52 c | 365230 | 19049 109360 372867 | 251433 228096 77 | 7.408 % |
316.85/316.89 c | 366390 | 19049 109360 372867 | 251433 229256 77 | 7.408 % |
319.45/319.50 c | 367664 | 19048 109355 372855 | 251433 230527 77 | 7.413 % |
321.25/321.22 c | 369066 | 19048 109355 372855 | 251433 231929 77 | 7.413 % |
323.95/324.00 c | 370606 | 19048 109355 372855 | 2147483647 233469 78 | 7.413 % |
326.55/326.56 c | 372300 | 19048 109355 372855 | 2147483647 235163 78 | 7.413 % |
329.95/329.95 c | 374163 | 19048 109355 372855 | 2147483647 237026 78 | 7.413 % |
333.65/333.69 c | 376213 | 19048 109355 372855 | 2147483647 239076 79 | 7.413 % |
337.85/337.83 c | 378466 | 19048 109355 372855 | 2147483647 241329 80 | 7.413 % |
342.15/342.13 c | 380946 | 19048 109355 372855 | 2147483647 243809 80 | 7.413 % |
346.75/346.77 c | 383671 | 19048 109355 372855 | 2147483647 246534 81 | 7.413 % |
352.25/352.27 c | 386668 | 19048 109355 372855 | 2147483647 249531 81 | 7.413 % |
359.25/359.21 c | 389964 | 19048 109355 372855 | 2147483647 252827 83 | 7.413 % |
365.15/365.15 c | 393590 | 19048 109355 372855 | 2147483647 256453 83 | 7.413 % |
365.25/365.26 c | 393692 | 19048 109355 372855 | 2147483647 256555 83 | 7.413 % |
365.45/365.45 c | 393802 | 19048 109355 372855 | 2147483647 256665 83 | 7.413 % |
365.65/365.70 c | 393923 | 19048 109355 372855 | 2147483647 256786 83 | 7.413 % |
365.95/365.98 c | 394057 | 19048 109355 372855 | 2147483647 256920 83 | 7.413 % |
366.15/366.15 c | 394203 | 19048 109355 372855 | 2147483647 257066 83 | 7.413 % |
366.55/366.52 c | 394365 | 19048 109355 372855 | 2147483647 257228 83 | 7.413 % |
366.95/366.94 c | 394543 | 19048 109355 372855 | 2147483647 257406 83 | 7.413 % |
367.25/367.25 c | 394739 | 19048 109355 372855 | 2147483647 257602 83 | 7.413 % |
367.65/367.61 c | 394953 | 19048 109355 372855 | 2147483647 257816 83 | 7.413 % |
367.95/368.00 c | 395186 | 19048 109355 372855 | 2147483647 258049 83 | 7.413 % |
368.35/368.38 c | 395442 | 19048 109355 372855 | 2147483647 258305 83 | 7.413 % |
368.85/368.88 c | 395726 | 19048 109355 372855 | 2147483647 258589 83 | 7.413 % |
369.35/369.33 c | 396035 | 19048 109355 372855 | 2147483647 258898 83 | 7.413 % |
369.75/369.71 c | 396375 | 19048 109355 372855 | 2147483647 259238 83 | 7.413 % |
370.35/370.32 c | 396747 | 19048 109355 372855 | 2147483647 259610 83 | 7.413 % |
370.85/370.82 c | 397157 | 19048 109355 372855 | 2147483647 260020 83 | 7.413 % |
371.65/371.62 c | 397607 | 19048 109355 372855 | 2147483647 260470 83 | 7.413 % |
372.25/372.25 c | 398100 | 19048 109355 372855 | 2147483647 260963 83 | 7.413 % |
373.05/373.09 c | 398642 | 19048 109355 372855 | 2147483647 261505 83 | 7.413 % |
374.06/374.03 c | 399239 | 19048 109355 372855 | 2147483647 262102 83 | 7.413 % |
375.16/375.17 c | 399894 | 19048 109355 372855 | 2147483647 262757 83 | 7.413 % |
376.55/376.53 c | 400615 | 19048 109355 372855 | 262866 263478 83 | 7.413 % |
378.35/378.38 c | 401407 | 19048 109355 372855 | 262866 264270 83 | 7.413 % |
379.56/379.56 c | 402279 | 19048 109355 372855 | 262866 265142 83 | 7.413 % |
382.55/382.58 c | 403237 | 19048 109355 372855 | 262866 233388 81 | 7.413 % |
383.85/383.83 c | 404290 | 19048 109355 372855 | 262866 234441 81 | 7.413 % |
386.05/386.05 c | 405448 | 19048 109355 372855 | 262866 235599 81 | 7.413 % |
388.15/388.20 c | 406722 | 19048 109355 372855 | 262866 236873 82 | 7.413 % |
390.25/390.25 c | 408122 | 19048 109355 372855 | 262866 238273 82 | 7.413 % |
392.05/392.08 c | 409662 | 19048 109355 372855 | 262866 239813 82 | 7.413 % |
395.45/395.42 c | 411358 | 19048 109355 372855 | 2147483647 241509 82 | 7.413 % |
397.95/397.94 c | 413222 | 19048 109355 372855 | 2147483647 243373 82 | 7.413 % |
401.65/401.63 c | 415272 | 19048 109355 372855 | 2147483647 245423 83 | 7.413 % |
405.75/405.74 c | 417526 | 19048 109355 372855 | 2147483647 247677 84 | 7.413 % |
410.26/410.25 c | 420004 | 19048 109355 372855 | 250151 250155 84 | 7.413 % |
415.36/415.41 c | 422729 | 19048 109355 372855 | 250151 252880 85 | 7.413 % |
421.16/421.16 c | 425728 | 19048 109355 372855 | 250151 230591 81 | 7.413 % |
428.36/428.41 c | 429024 | 19048 109355 372855 | 250151 233887 83 | 7.413 % |
435.76/435.80 c | 432649 | 19048 109355 372855 | 2147483647 237512 85 | 7.413 % |
445.06/445.10 c | 436637 | 19048 109355 372855 | 2147483647 241500 86 | 7.413 % |
445.26/445.31 c | 436737 | 19048 109355 372855 | 2147483647 241600 86 | 7.413 % |
445.56/445.54 c | 436851 | 19048 109355 372855 | 2147483647 241714 86 | 7.413 % |
445.76/445.74 c | 436972 | 19048 109355 372855 | 2147483647 241835 86 | 7.413 % |
445.96/445.99 c | 437106 | 19048 109355 372855 | 2147483647 241969 85 | 7.413 % |
446.26/446.24 c | 437253 | 19048 109355 372855 | 2147483647 242116 85 | 7.413 % |
446.46/446.47 c | 437414 | 19048 109355 372855 | 2147483647 242277 85 | 7.413 % |
446.66/446.71 c | 437594 | 19048 109355 372855 | 2147483647 242457 85 | 7.413 % |
447.06/447.02 c | 437787 | 19048 109355 372855 | 2147483647 242650 85 | 7.413 % |
447.36/447.33 c | 438000 | 19048 109355 372855 | 2147483647 242863 85 | 7.413 % |
447.76/447.78 c | 438236 | 19048 109355 372855 | 2147483647 243099 85 | 7.413 % |
448.16/448.17 c | 438492 | 19048 109355 372855 | 2147483647 243355 85 | 7.413 % |
448.56/448.60 c | 438774 | 19048 109355 372855 | 2147483647 243637 85 | 7.413 % |
449.46/449.45 c | 439083 | 19048 109355 372855 | 2147483647 243946 85 | 7.413 % |
449.86/449.90 c | 439425 | 19048 109355 372855 | 2147483647 244288 85 | 7.413 % |
450.36/450.37 c | 439797 | 19048 109355 372855 | 2147483647 244660 85 | 7.413 % |
451.06/451.07 c | 440207 | 19048 109355 372855 | 244863 245070 85 | 7.413 % |
451.76/451.76 c | 440656 | 19048 109355 372855 | 244863 245519 85 | 7.413 % |
452.56/452.55 c | 441149 | 19048 109355 372855 | 244863 246012 85 | 7.413 % |
453.56/453.58 c | 441693 | 19048 109355 372855 | 244863 246556 85 | 7.413 % |
454.56/454.52 c | 442289 | 19048 109355 372855 | 244863 217801 87 | 7.413 % |
455.96/455.91 c | 442944 | 19048 109355 372855 | 244863 218456 87 | 7.413 % |
456.86/456.89 c | 443665 | 19048 109355 372855 | 244863 219177 87 | 7.413 % |
458.06/458.04 c | 444458 | 19048 109355 372855 | 244863 219970 87 | 7.413 % |
459.46/459.49 c | 445329 | 19048 109355 372855 | 244863 220841 87 | 7.413 % |
461.56/461.52 c | 446287 | 19048 109355 372855 | 244863 221799 87 | 7.413 % |
463.76/463.76 c | 447340 | 19048 109355 372855 | 244863 222852 88 | 7.413 % |
465.26/465.24 c | 448499 | 19048 109355 372855 | 244863 224011 87 | 7.413 % |
467.26/467.27 c | 449772 | 19048 109355 372855 | 244863 225284 88 | 7.413 % |
469.26/469.30 c | 451173 | 19048 109355 372855 | 2147483647 226685 88 | 7.413 % |
472.76/472.76 c | 452713 | 19048 109355 372855 | 2147483647 228225 88 | 7.413 % |
476.37/476.36 c | 454407 | 19048 109355 372855 | 2147483647 229919 89 | 7.413 % |
479.86/479.84 c | 456270 | 19048 109355 372855 | 2147483647 231782 90 | 7.413 % |
483.46/483.42 c | 458319 | 19048 109355 372855 | 2147483647 233831 90 | 7.413 % |
487.37/487.37 c | 460573 | 19048 109355 372855 | 2147483647 236085 91 | 7.413 % |
494.86/494.86 c | 463052 | 19048 109355 372855 | 2147483647 238564 92 | 7.413 % |
499.76/499.74 c | 465777 | 19048 109355 372855 | 2147483647 241289 93 | 7.413 % |
504.56/504.52 c | 468774 | 19048 109355 372855 | 2147483647 244286 94 | 7.413 % |
511.47/511.43 c | 472070 | 19048 109355 372855 | 2147483647 247582 95 | 7.413 % |
519.47/519.44 c | 475697 | 19048 109355 372855 | 2147483647 251209 96 | 7.413 % |
527.07/527.07 c | 479685 | 19047 109346 372824 | 2147483647 255193 97 | 7.417 % |
534.87/534.84 c | 484071 | 19047 109346 372824 | 255508 230416 96 | 7.417 % |
534.97/534.98 c | 484171 | 19047 109346 372824 | 255508 230516 96 | 7.417 % |
535.17/535.18 c | 484281 | 19047 109346 372824 | 255508 230626 96 | 7.417 % |
535.37/535.33 c | 484402 | 19047 109346 372824 | 255508 230747 96 | 7.417 % |
535.57/535.59 c | 484535 | 19046 109346 372824 | 255508 230879 96 | 7.422 % |
535.97/535.95 c | 484682 | 19046 109346 372824 | 255508 231026 96 | 7.422 % |
536.27/536.22 c | 484842 | 19046 109346 372824 | 255508 231186 95 | 7.422 % |
536.37/536.39 c | 485018 | 19046 109346 372824 | 255508 231362 95 | 7.422 % |
536.87/536.89 c | 485212 | 19046 109346 372824 | 255508 231556 96 | 7.422 % |
537.07/537.08 c | 485424 | 19046 109346 372824 | 255508 231768 95 | 7.422 % |
537.57/537.60 c | 485658 | 19046 109346 372824 | 255508 232002 95 | 7.422 % |
538.07/538.03 c | 485916 | 19046 109346 372824 | 255508 232260 95 | 7.422 % |
538.47/538.44 c | 486198 | 19046 109346 372824 | 255508 232542 95 | 7.422 % |
538.87/538.88 c | 486507 | 19046 109346 372824 | 255508 232851 95 | 7.422 % |
539.37/539.39 c | 486846 | 19046 109346 372824 | 255508 233190 95 | 7.422 % |
539.97/539.95 c | 487218 | 19046 109346 372824 | 255508 233562 95 | 7.422 % |
540.47/540.49 c | 487628 | 19046 109346 372824 | 255508 233972 95 | 7.422 % |
541.37/541.41 c | 488077 | 19046 109346 372824 | 255508 234421 95 | 7.422 % |
542.27/542.28 c | 488571 | 19046 109346 372824 | 255508 234915 95 | 7.422 % |
543.27/543.23 c | 489113 | 19046 109346 372824 | 255508 235457 95 | 7.422 % |
544.27/544.26 c | 489710 | 19046 109346 372824 | 255508 236054 95 | 7.422 % |
545.57/545.52 c | 490366 | 19046 109346 372824 | 236345 236710 95 | 7.422 % |
546.67/546.65 c | 491087 | 19046 109346 372824 | 236345 237431 95 | 7.422 % |
548.07/548.03 c | 491879 | 19046 109346 372824 | 236345 238223 96 | 7.422 % |
550.07/550.08 c | 492752 | 19046 109346 372824 | 236345 215274 94 | 7.422 % |
552.17/552.11 c | 493710 | 19046 109346 372824 | 236345 216232 94 | 7.422 % |
554.47/554.42 c | 494765 | 19046 109346 372824 | 236345 217287 94 | 7.422 % |
556.37/556.35 c | 495923 | 19046 109346 372824 | 236345 218445 95 | 7.422 % |
558.57/558.56 c | 497196 | 19046 109346 372824 | 236345 219718 95 | 7.422 % |
560.77/560.74 c | 498596 | 19046 109346 372824 | 236345 221118 95 | 7.422 % |
563.67/563.71 c | 500136 | 19046 109346 372824 | 2147483647 222658 95 | 7.422 % |
566.37/566.33 c | 501830 | 19046 109346 372824 | 2147483647 224352 95 | 7.422 % |
570.67/570.65 c | 503694 | 19046 109346 372824 | 2147483647 226216 96 | 7.422 % |
574.17/574.15 c | 505743 | 19046 109346 372824 | 2147483647 228265 96 | 7.422 % |
578.87/578.89 c | 507996 | 19046 109346 372824 | 2147483647 230518 97 | 7.422 % |
582.87/582.85 c | 510476 | 19046 109346 372824 | 2147483647 232998 97 | 7.422 % |
587.67/587.61 c | 513202 | 19046 109346 372824 | 2147483647 235724 97 | 7.422 % |
591.37/591.35 c | 516201 | 19046 109346 372824 | 2147483647 238723 97 | 7.422 % |
598.57/598.59 c | 519498 | 19046 109346 372824 | 2147483647 242020 98 | 7.422 % |
605.68/605.64 c | 523124 | 19046 109346 372824 | 242523 245646 98 | 7.422 % |
613.08/613.03 c | 527111 | 19046 109346 372824 | 242523 225069 97 | 7.422 % |
624.48/624.49 c | 531498 | 19046 109339 372801 | 2147483647 229456 101 | 7.422 % |
633.28/633.25 c | 536321 | 19046 109339 372801 | 2147483647 234279 102 | 7.422 % |
633.48/633.45 c | 536421 | 19046 109339 372801 | 2147483647 234379 102 | 7.422 % |
633.68/633.68 c | 536531 | 19046 109339 372801 | 2147483647 234489 102 | 7.422 % |
633.88/633.87 c | 536652 | 19046 109339 372801 | 2147483647 234610 102 | 7.422 % |
634.08/634.02 c | 536785 | 19046 109339 372801 | 2147483647 234743 102 | 7.422 % |
634.18/634.16 c | 536932 | 19046 109339 372801 | 2147483647 234890 102 | 7.422 % |
634.48/634.43 c | 537092 | 19046 109339 372801 | 2147483647 235050 102 | 7.422 % |
634.88/634.82 c | 537268 | 19046 109339 372801 | 2147483647 235226 102 | 7.422 % |
635.18/635.17 c | 537461 | 19046 109339 372801 | 2147483647 235419 102 | 7.422 % |
635.68/635.71 c | 537674 | 19046 109339 372801 | 2147483647 235632 102 | 7.422 % |
636.08/636.02 c | 537907 | 19046 109339 372801 | 2147483647 235865 102 | 7.422 % |
636.38/636.33 c | 538164 | 19046 109339 372801 | 2147483647 236122 102 | 7.422 % |
636.78/636.75 c | 538445 | 19046 109339 372801 | 2147483647 236403 102 | 7.422 % |
637.18/637.15 c | 538754 | 19046 109339 372801 | 2147483647 236712 102 | 7.422 % |
637.58/637.58 c | 539094 | 19046 109339 372801 | 2147483647 237052 102 | 7.422 % |
638.48/638.46 c | 539467 | 19046 109339 372801 | 2147483647 237425 102 | 7.422 % |
638.78/638.81 c | 539876 | 19046 109339 372801 | 2147483647 237834 102 | 7.422 % |
639.97/639.93 c | 540325 | 19046 109339 372801 | 2147483647 238283 102 | 7.422 % |
640.47/640.46 c | 540818 | 19046 109339 372801 | 2147483647 238776 102 | 7.422 % |
641.17/641.16 c | 541362 | 19046 109339 372801 | 2147483647 239320 102 | 7.422 % |
641.77/641.74 c | 541958 | 19046 109339 372801 | 2147483647 239916 102 | 7.422 % |
642.57/642.51 c | 542613 | 19045 109339 372801 | 2147483647 240570 101 | 7.427 % |
644.07/644.06 c | 543333 | 19045 109339 372801 | 2147483647 241290 102 | 7.427 % |
645.27/645.21 c | 544125 | 19045 109339 372801 | 2147483647 242082 101 | 7.427 % |
646.77/646.76 c | 544996 | 19045 109339 372801 | 2147483647 242953 101 | 7.427 % |
648.07/648.07 c | 545954 | 19045 109339 372801 | 2147483647 243911 101 | 7.427 % |
650.17/650.11 c | 547007 | 19045 109339 372801 | 2147483647 244964 102 | 7.427 % |
652.47/652.46 c | 548165 | 19045 109339 372801 | 2147483647 246122 102 | 7.427 % |
655.07/655.01 c | 549439 | 19045 109339 372801 | 2147483647 247396 102 | 7.427 % |
656.77/656.74 c | 550841 | 19045 109339 372801 | 2147483647 248798 102 | 7.427 % |
659.77/659.71 c | 552381 | 19045 109339 372801 | 2147483647 250338 102 | 7.427 % |
663.77/663.77 c | 554076 | 19045 109339 372801 | 2147483647 252033 102 | 7.427 % |
667.27/667.24 c | 555941 | 19045 109339 372801 | 2147483647 253898 103 | 7.427 % |
672.27/672.29 c | 557990 | 19045 109339 372801 | 2147483647 255947 104 | 7.427 % |
676.58/676.57 c | 560244 | 19045 109339 372801 | 2147483647 258201 104 | 7.427 % |
682.97/682.94 c | 562723 | 19045 109339 372801 | 2147483647 260680 105 | 7.427 % |
687.17/687.12 c | 565451 | 19045 109339 372801 | 2147483647 263408 105 | 7.427 % |
693.47/693.43 c | 568448 | 19045 109339 372801 | 2147483647 266405 105 | 7.427 % |
699.87/699.86 c | 571745 | 19045 109334 372787 | 267959 269702 105 | 7.427 % |
706.38/706.31 c | 575370 | 19045 109334 372787 | 267959 241590 103 | 7.427 % |
714.88/714.85 c | 579357 | 19045 109334 372787 | 267959 245577 103 | 7.427 % |
721.88/721.84 c | 583743 | 19045 109334 372787 | 246221 249963 104 | 7.427 % |
731.68/731.69 c | 588566 | 19045 109334 372787 | 246221 225464 102 | 7.427 % |
748.79/748.81 c | 593871 | 19045 109334 372787 | 226900 230769 106 | 7.427 % |
749.19/749.18 c | 593971 | 19045 109334 372787 | 226900 207793 102 | 7.427 % |
749.29/749.27 c | 594083 | 19045 109334 372787 | 226900 207905 102 | 7.427 % |
749.49/749.46 c | 594204 | 19045 109334 372787 | 226900 208026 102 | 7.427 % |
749.69/749.66 c | 594337 | 19045 109334 372787 | 226900 208159 102 | 7.427 % |
749.89/749.83 c | 594485 | 19045 109334 372787 | 226900 208307 102 | 7.427 % |
750.19/750.12 c | 594646 | 19045 109334 372787 | 226900 208468 102 | 7.427 % |
750.29/750.28 c | 594823 | 19045 109334 372787 | 226900 208645 102 | 7.427 % |
750.69/750.71 c | 595016 | 19045 109334 372787 | 226900 208838 102 | 7.427 % |
751.09/751.07 c | 595228 | 19045 109334 372787 | 226900 209050 102 | 7.427 % |
751.49/751.42 c | 595461 | 19045 109334 372787 | 226900 209283 102 | 7.427 % |
751.79/751.76 c | 595717 | 19045 109334 372787 | 226900 209539 102 | 7.427 % |
752.09/752.07 c | 595998 | 19045 109334 372787 | 226900 209820 102 | 7.427 % |
752.69/752.67 c | 596309 | 19045 109334 372787 | 226900 210131 102 | 7.427 % |
753.09/753.10 c | 596649 | 19045 109334 372787 | 226900 210471 102 | 7.427 % |
753.59/753.58 c | 597021 | 19045 109334 372787 | 226900 210843 101 | 7.427 % |
754.29/754.26 c | 597430 | 19045 109334 372787 | 226900 211252 101 | 7.427 % |
754.89/754.87 c | 597879 | 19045 109334 372787 | 226900 211701 101 | 7.427 % |
755.69/755.70 c | 598373 | 19045 109334 372787 | 226900 212195 101 | 7.427 % |
756.09/756.10 c | 598916 | 19045 109334 372787 | 226900 212738 101 | 7.427 % |
757.29/757.23 c | 599514 | 19045 109334 372787 | 226900 213336 101 | 7.427 % |
758.19/758.11 c | 600172 | 19045 109334 372787 | 2147483647 213994 101 | 7.427 % |
759.29/759.29 c | 600892 | 19045 109334 372787 | 2147483647 214714 101 | 7.427 % |
760.59/760.57 c | 601684 | 19045 109334 372787 | 2147483647 215506 101 | 7.427 % |
761.79/761.79 c | 602556 | 19045 109334 372787 | 2147483647 216378 101 | 7.427 % |
764.19/764.12 c | 603514 | 19045 109334 372787 | 2147483647 217336 102 | 7.427 % |
766.29/766.22 c | 604567 | 19045 109334 372787 | 2147483647 218389 102 | 7.427 % |
769.39/769.37 c | 605726 | 19045 109334 372787 | 2147483647 219548 103 | 7.427 % |
771.29/771.25 c | 607000 | 19045 109334 372787 | 2147483647 220822 103 | 7.427 % |
773.40/773.33 c | 608402 | 19045 109334 372787 | 2147483647 222224 103 | 7.427 % |
775.99/775.94 c | 609943 | 19045 109334 372787 | 2147483647 223765 103 | 7.427 % |
778.39/778.36 c | 611637 | 19045 109334 372787 | 2147483647 225459 103 | 7.427 % |
781.29/781.31 c | 613500 | 19045 109334 372787 | 2147483647 227322 104 | 7.427 % |
785.50/785.45 c | 615549 | 19045 109334 372787 | 2147483647 229371 104 | 7.427 % |
788.80/788.76 c | 617802 | 19045 109334 372787 | 2147483647 231624 104 | 7.427 % |
794.99/794.95 c | 620281 | 19045 109334 372787 | 2147483647 234103 105 | 7.427 % |
799.09/799.04 c | 623007 | 19045 109334 372787 | 2147483647 236829 105 | 7.427 % |
804.00/803.98 c | 626005 | 19045 109334 372787 | 2147483647 239827 106 | 7.427 % |
812.00/811.98 c | 629302 | 19045 109334 372787 | 2147483647 243124 107 | 7.427 % |
817.80/817.73 c | 632927 | 19045 109334 372787 | 2147483647 246749 107 | 7.427 % |
824.70/824.66 c | 636914 | 19045 109334 372787 | 2147483647 250736 108 | 7.427 % |
832.60/832.56 c | 641300 | 19045 109334 372787 | 253822 255122 109 | 7.427 % |
841.80/841.78 c | 646124 | 19045 109334 372787 | 253822 232709 105 | 7.427 % |
854.70/854.62 c | 651431 | 19045 109334 372787 | 2147483647 238016 108 | 7.427 % |
867.20/867.18 c | 657267 | 19045 109334 372787 | 2147483647 243852 109 | 7.427 % |
867.40/867.41 c | 657368 | 19045 109334 372787 | 2147483647 243953 109 | 7.427 % |
867.70/867.66 c | 657478 | 19045 109334 372787 | 2147483647 244063 109 | 7.427 % |
868.01/867.94 c | 657599 | 19045 109334 372787 | 2147483647 244184 109 | 7.427 % |
868.20/868.17 c | 657732 | 19045 109334 372787 | 2147483647 244317 109 | 7.427 % |
868.40/868.39 c | 657878 | 19045 109334 372787 | 2147483647 244463 109 | 7.427 % |
868.80/868.79 c | 658038 | 19045 109334 372787 | 2147483647 244623 109 | 7.427 % |
869.11/869.11 c | 658215 | 19045 109334 372787 | 2147483647 244800 109 | 7.427 % |
869.50/869.49 c | 658410 | 19045 109334 372787 | 2147483647 244995 109 | 7.427 % |
869.90/869.84 c | 658623 | 19045 109334 372787 | 2147483647 245208 109 | 7.427 % |
870.10/870.11 c | 658856 | 19045 109334 372787 | 2147483647 245441 109 | 7.427 % |
870.70/870.67 c | 659115 | 19045 109334 372787 | 2147483647 245700 109 | 7.427 % |
871.10/871.06 c | 659396 | 19045 109334 372787 | 2147483647 245981 109 | 7.427 % |
871.60/871.59 c | 659705 | 19045 109334 372787 | 2147483647 246290 109 | 7.427 % |
872.20/872.17 c | 660044 | 19045 109334 372787 | 246585 246629 109 | 7.427 % |
873.60/873.53 c | 660418 | 19045 109334 372787 | 246585 247003 109 | 7.427 % |
874.30/874.22 c | 660827 | 19045 109334 372787 | 246585 247412 109 | 7.427 % |
875.20/875.16 c | 661276 | 19045 109334 372787 | 246585 247861 109 | 7.427 % |
876.20/876.16 c | 661771 | 19045 109334 372787 | 246585 248356 109 | 7.427 % |
877.20/877.18 c | 662313 | 19045 109334 372787 | 246585 220043 105 | 7.427 % |
878.50/878.49 c | 662909 | 19045 109334 372787 | 246585 220639 105 | 7.427 % |
879.40/879.37 c | 663564 | 19045 109334 372787 | 246585 221294 105 | 7.427 % |
880.80/880.76 c | 664285 | 19045 109334 372787 | 246585 222015 105 | 7.427 % |
881.70/881.68 c | 665077 | 19045 109334 372787 | 246585 222807 104 | 7.427 % |
883.10/883.02 c | 665948 | 19045 109334 372787 | 246585 223678 104 | 7.427 % |
884.00/883.99 c | 666908 | 19045 109334 372787 | 246585 224638 104 | 7.427 % |
887.00/886.96 c | 667961 | 19045 109334 372787 | 246585 225691 105 | 7.427 % |
888.30/888.30 c | 669120 | 19045 109334 372787 | 246585 226850 105 | 7.427 % |
891.00/890.96 c | 670393 | 19045 109334 372787 | 2147483647 228123 105 | 7.427 % |
892.60/892.57 c | 671794 | 19045 109334 372787 | 2147483647 229524 105 | 7.427 % |
896.10/896.10 c | 673335 | 19045 109334 372787 | 2147483647 231065 106 | 7.427 % |
898.70/898.63 c | 675030 | 19045 109334 372787 | 2147483647 232760 106 | 7.427 % |
901.61/901.60 c | 676893 | 19045 109334 372787 | 2147483647 234623 105 | 7.427 % |
905.51/905.44 c | 678942 | 19045 109334 372787 | 2147483647 236672 106 | 7.427 % |
910.51/910.42 c | 681195 | 19045 109334 372787 | 2147483647 238925 107 | 7.427 % |
914.91/914.90 c | 683675 | 19045 109334 372787 | 2147483647 241405 107 | 7.427 % |
920.71/920.70 c | 686400 | 19045 109334 372787 | 2147483647 244130 107 | 7.427 % |
926.01/925.93 c | 689397 | 19045 109334 372787 | 2147483647 247127 108 | 7.427 % |
931.91/931.89 c | 692696 | 19045 109334 372787 | 2147483647 250426 108 | 7.427 % |
938.31/938.24 c | 696321 | 19045 109334 372787 | 2147483647 254051 108 | 7.427 % |
946.01/945.94 c | 700308 | 19045 109334 372787 | 2147483647 258038 109 | 7.427 % |
956.31/956.28 c | 704694 | 19045 109334 372787 | 2147483647 262424 110 | 7.427 % |
966.21/966.14 c | 709517 | 19045 109334 372787 | 2147483647 267247 112 | 7.427 % |
979.51/979.46 c | 714823 | 19045 109334 372787 | 267730 272553 113 | 7.427 % |
992.32/992.24 c | 720660 | 19045 109334 372787 | 227453 228113 110 | 7.427 % |
1005.21/1005.14 c | 727078 | 19045 109334 372787 | 227453 196363 102 | 7.427 % |
1005.31/1005.30 c | 727178 | 19045 109334 372787 | 227453 196463 102 | 7.427 % |
1005.61/1005.60 c | 727290 | 19045 109334 372787 | 227453 196575 102 | 7.427 % |
1005.71/1005.69 c | 727411 | 19045 109334 372787 | 227453 196696 102 | 7.427 % |
1005.71/1005.70 c | 727545 | 19045 109334 372787 | 227453 196830 102 | 7.427 % |
1005.91/1005.91 c | 727691 | 19045 109334 372787 | 227453 196976 102 | 7.427 % |
1006.21/1006.19 c | 727854 | 19045 109334 372787 | 227453 197139 102 | 7.427 % |
1006.41/1006.38 c | 728030 | 19045 109334 372787 | 227453 197315 102 | 7.427 % |
1006.71/1006.70 c | 728223 | 19045 109334 372787 | 227453 197508 102 | 7.427 % |
1006.91/1006.88 c | 728435 | 19045 109334 372787 | 227453 197720 101 | 7.427 % |
1007.21/1007.19 c | 728669 | 19045 109334 372787 | 227453 197954 101 | 7.427 % |
1007.51/1007.45 c | 728925 | 19045 109334 372787 | 227453 198210 101 | 7.427 % |
1007.81/1007.76 c | 729206 | 19045 109334 372787 | 227453 198491 101 | 7.427 % |
1008.31/1008.29 c | 729515 | 19045 109334 372787 | 227453 198800 101 | 7.427 % |
1008.81/1008.75 c | 729854 | 19045 109334 372787 | 227453 199139 101 | 7.427 % |
1009.61/1009.57 c | 730226 | 19045 109334 372787 | 199285 199511 101 | 7.427 % |
1010.11/1010.04 c | 730635 | 19045 109334 372787 | 199285 199920 101 | 7.427 % |
1010.61/1010.53 c | 731086 | 19045 109334 372787 | 199285 200371 101 | 7.427 % |
1011.21/1011.18 c | 731580 | 19045 109334 372787 | 199285 200865 101 | 7.427 % |
1011.91/1011.88 c | 732122 | 19045 109334 372787 | 199285 180869 98 | 7.427 % |
1012.61/1012.54 c | 732719 | 19045 109334 372787 | 199285 181466 98 | 7.427 % |
1013.41/1013.33 c | 733374 | 19045 109334 372787 | 199285 182121 98 | 7.427 % |
1014.51/1014.51 c | 734094 | 19045 109334 372787 | 199285 182841 98 | 7.427 % |
1015.51/1015.47 c | 734887 | 19045 109334 372787 | 199285 183634 98 | 7.427 % |
1016.81/1016.76 c | 735761 | 19045 109334 372787 | 199285 184508 98 | 7.427 % |
1018.61/1018.60 c | 736719 | 19045 109334 372787 | 199285 185466 98 | 7.427 % |
1020.01/1019.95 c | 737772 | 19045 109334 372787 | 199285 186519 98 | 7.427 % |
1021.51/1021.50 c | 738930 | 19045 109334 372787 | 199285 187677 98 | 7.427 % |
1024.11/1024.06 c | 740203 | 19045 109334 372787 | 2147483647 188950 98 | 7.427 % |
1026.41/1026.31 c | 741603 | 19045 109334 372787 | 2147483647 190350 99 | 7.427 % |
1028.91/1028.85 c | 743146 | 19045 109334 372787 | 2147483647 191893 99 | 7.427 % |
1031.31/1031.24 c | 744840 | 19045 109334 372787 | 2147483647 193587 99 | 7.427 % |
1036.21/1036.12 c | 746705 | 19045 109334 372787 | 2147483647 195452 101 | 7.427 % |
1039.01/1038.94 c | 748754 | 19045 109334 372787 | 2147483647 197501 101 | 7.427 % |
1042.51/1042.48 c | 751008 | 19045 109334 372787 | 2147483647 199755 102 | 7.427 % |
1047.41/1047.37 c | 753486 | 19045 109334 372787 | 2147483647 202233 103 | 7.427 % |
1050.71/1050.67 c | 756212 | 19045 109334 372787 | 2147483647 204959 103 | 7.427 % |
1055.61/1055.57 c | 759211 | 19045 109334 372787 | 2147483647 207958 103 | 7.427 % |
1061.41/1061.34 c | 762507 | 19045 109334 372787 | 2147483647 211254 104 | 7.427 % |
1067.31/1067.28 c | 766134 | 19045 109334 372787 | 2147483647 214881 105 | 7.427 % |
1075.41/1075.34 c | 770122 | 19045 109334 372787 | 2147483647 218869 107 | 7.427 % |
1085.31/1085.28 c | 774507 | 19045 109334 372787 | 2147483647 223254 109 | 7.427 % |
1092.42/1092.32 c | 779331 | 19045 109334 372787 | 2147483647 228078 108 | 7.427 % |
1102.62/1102.53 c | 784638 | 19045 109334 372787 | 2147483647 233385 110 | 7.427 % |
1116.02/1115.95 c | 790473 | 19045 109334 372787 | 2147483647 239220 112 | 7.427 % |
1131.82/1131.75 c | 796892 | 19045 109334 372787 | 2147483647 245639 114 | 7.427 % |
1147.52/1147.49 c | 803951 | 19045 109334 372787 | 248748 252698 117 | 7.427 % |
1147.92/1147.87 c | 804051 | 19045 109334 372787 | 248748 227529 114 | 7.427 % |
1148.02/1147.99 c | 804162 | 19045 109334 372787 | 248748 227640 114 | 7.427 % |
1148.22/1148.18 c | 804284 | 19045 109334 372787 | 248748 227762 114 | 7.427 % |
1148.42/1148.33 c | 804417 | 19045 109334 372787 | 248748 227895 114 | 7.427 % |
1148.62/1148.55 c | 804563 | 19045 109334 372787 | 248748 228041 114 | 7.427 % |
1148.72/1148.71 c | 804723 | 19045 109334 372787 | 248748 228201 114 | 7.427 % |
1148.82/1148.80 c | 804899 | 19045 109334 372787 | 248748 228377 114 | 7.427 % |
1149.02/1148.98 c | 805092 | 19045 109334 372787 | 248748 228570 114 | 7.427 % |
1149.42/1149.36 c | 805304 | 19045 109334 372787 | 248748 228782 114 | 7.427 % |
1149.82/1149.71 c | 805539 | 19045 109334 372787 | 248748 229017 114 | 7.427 % |
1150.02/1150.00 c | 805796 | 19045 109334 372787 | 248748 229274 114 | 7.427 % |
1150.62/1150.53 c | 806078 | 19045 109334 372787 | 248748 229556 113 | 7.427 % |
1151.12/1151.04 c | 806388 | 19045 109334 372787 | 248748 229866 113 | 7.427 % |
1152.02/1151.92 c | 806727 | 19045 109334 372787 | 248748 230205 114 | 7.427 % |
1152.62/1152.52 c | 807100 | 19045 109334 372787 | 248748 230578 113 | 7.427 % |
1153.62/1153.59 c | 807510 | 19045 109334 372787 | 248748 230988 114 | 7.427 % |
1154.22/1154.11 c | 807962 | 19045 109334 372787 | 248748 231440 114 | 7.427 % |
1155.32/1155.31 c | 808456 | 19045 109334 372787 | 248748 231934 114 | 7.427 % |
1155.92/1155.90 c | 809000 | 19045 109334 372787 | 248748 232478 114 | 7.427 % |
1157.22/1157.19 c | 809597 | 19045 109334 372787 | 248748 233075 114 | 7.427 % |
1158.22/1158.16 c | 810252 | 19045 109334 372787 | 2147483647 233730 114 | 7.427 % |
1159.32/1159.24 c | 810972 | 19045 109334 372787 | 2147483647 234450 113 | 7.427 % |
1160.63/1160.52 c | 811764 | 19045 109334 372787 | 2147483647 235242 113 | 7.427 % |
1162.12/1162.02 c | 812636 | 19045 109334 372787 | 2147483647 236114 113 | 7.427 % |
1163.82/1163.81 c | 813594 | 19044 109327 372766 | 2147483647 237071 113 | 7.432 % |
1165.62/1165.55 c | 814647 | 19044 109327 372766 | 2147483647 238124 114 | 7.432 % |
1167.23/1167.19 c | 815806 | 19044 109327 372766 | 2147483647 239283 113 | 7.432 % |
1170.72/1170.64 c | 817080 | 19044 109327 372766 | 2147483647 240557 114 | 7.432 % |
1174.32/1174.25 c | 818482 | 19044 109327 372766 | 2147483647 241959 115 | 7.432 % |
1177.02/1176.97 c | 820022 | 19044 109327 372766 | 2147483647 243499 115 | 7.432 % |
1182.42/1182.38 c | 821717 | 19043 109327 372766 | 2147483647 245193 116 | 7.437 % |
1186.22/1186.14 c | 823580 | 19043 109327 372766 | 2147483647 247056 116 | 7.437 % |
1189.62/1189.53 c | 825629 | 19043 109327 372766 | 2147483647 249105 116 | 7.437 % |
1195.22/1195.13 c | 827882 | 19043 109327 372766 | 2147483647 251358 117 | 7.437 % |
1199.83/1199.72 c | 830360 | 19043 109327 372766 | 2147483647 253836 116 | 7.437 % |
1200.03/1199.93 HOME/SatELiteGTI: line 36: 338 Terminated $MS $TMP.cnf $TMP.result
runsolver version 3.2.9 (svn:503) (c) roussel@cril.univ-artois.fr
command line: runsolver --timestamp -w /tmp/evaluation-result-1820794-1242477187/watcher-1820794-1242477187 -o /tmp/evaluation-result-1820794-1242477187/solver-1820794-1242477187 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820794-1242477187.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 2/93 332
/proc/meminfo: memFree=581628/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2412 CPUtime=0.01
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 366 644 0 0 0 0 0 1 18 0 1 0 1012215834 2469888 276 4294967295 134512640 135169312 3218106448 3218104984 3085160174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/332/statm: 603 276 235 161 0 42 0
[pid=336] ppid=332 vsize=956 CPUtime=0
/proc/336/stat : 336 (SatELite_releas) R 332 332 14060 0 -1 4202496 128 0 0 0 0 0 0 0 20 0 1 0 1012215835 978944 64 4294967295 134512640 135223648 3219165520 3219164240 134734703 0 0 0 3 0 0 0 17 3 0 0 0
/proc/336/statm: 239 67 47 174 0 64 0
[startup+0.032739 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 332
/proc/meminfo: memFree=581628/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2412 CPUtime=0.01
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 366 644 0 0 0 0 0 1 18 0 1 0 1012215834 2469888 276 4294967295 134512640 135169312 3218106448 3218104984 3085160174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/332/statm: 603 276 235 161 0 42 0
[pid=336] ppid=332 vsize=4532 CPUtime=0.03
/proc/336/stat : 336 (SatELite_releas) R 332 332 14060 0 -1 4202496 941 0 0 0 3 0 0 0 20 0 1 0 1012215835 4640768 877 4294967295 134512640 135223648 3219165520 3219164472 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/336/statm: 1133 878 47 174 0 958 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 6944
[startup+0.11271 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 332
/proc/meminfo: memFree=581628/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2412 CPUtime=0.01
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 366 644 0 0 0 0 0 1 18 0 1 0 1012215834 2469888 276 4294967295 134512640 135169312 3218106448 3218104984 3085160174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/332/statm: 603 276 235 161 0 42 0
[pid=336] ppid=332 vsize=15492 CPUtime=0.11
/proc/336/stat : 336 (SatELite_releas) R 332 332 14060 0 -1 4202496 3169 0 0 0 11 0 0 0 20 0 1 0 1012215835 15863808 3105 4294967295 134512640 135223648 3219165520 3219164472 134737310 0 0 0 3 0 0 0 17 3 0 0 0
/proc/336/statm: 3873 3106 47 174 0 3698 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 17904
[startup+0.312693 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 332
/proc/meminfo: memFree=581628/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2412 CPUtime=0.01
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 366 644 0 0 0 0 0 1 18 0 1 0 1012215834 2469888 276 4294967295 134512640 135169312 3218106448 3218104984 3085160174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/332/statm: 603 276 235 161 0 42 0
[pid=336] ppid=332 vsize=27672 CPUtime=0.31
/proc/336/stat : 336 (SatELite_releas) R 332 332 14060 0 -1 4202496 6569 0 0 0 31 0 0 0 21 0 1 0 1012215835 28336128 6054 4294967295 134512640 135223648 3219165520 3219163288 134737406 0 0 0 3 0 0 0 17 3 0 0 0
/proc/336/statm: 6918 6054 73 174 0 6743 0
Current children cumulated CPU time (s) 0.32
Current children cumulated vsize (KiB) 30084
[startup+0.712658 s]
/proc/loadavg: 1.00 1.00 1.00 2/93 332
/proc/meminfo: memFree=581628/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2412 CPUtime=0.01
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 366 644 0 0 0 0 0 1 18 0 1 0 1012215834 2469888 276 4294967295 134512640 135169312 3218106448 3218104984 3085160174 0 65536 4 65538 3222381614 0 0 17 2 0 0 0
/proc/332/statm: 603 276 235 161 0 42 0
[pid=336] ppid=332 vsize=30068 CPUtime=0.71
/proc/336/stat : 336 (SatELite_releas) R 332 332 14060 0 -1 4202496 7670 0 0 0 71 0 0 0 22 0 1 0 1012215835 30789632 6612 4294967295 134512640 135223648 3219165520 3219163536 134586777 0 0 0 3 0 0 0 17 3 0 0 0
/proc/336/statm: 7517 6612 73 174 0 7342 0
Current children cumulated CPU time (s) 0.72
Current children cumulated vsize (KiB) 32480
[startup+1.51259 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 338
/proc/meminfo: memFree=569568/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=9460 CPUtime=0.59
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 2192 0 0 0 58 1 0 0 22 0 1 0 1012215927 9687040 2127 4294967295 134512640 135215339 3217113008 3217111224 134721382 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 2365 2127 73 172 0 2192 0
Current children cumulated CPU time (s) 1.52
Current children cumulated vsize (KiB) 11876
[startup+3.11245 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 338
/proc/meminfo: memFree=567708/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=11048 CPUtime=2.19
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 2587 0 0 0 218 1 0 0 25 0 1 0 1012215927 11313152 2522 4294967295 134512640 135215339 3217113008 3217111296 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 2762 2522 73 172 0 2589 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 13464
[startup+6.31217 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 521
/proc/meminfo: memFree=565636/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=12612 CPUtime=5.39
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 2968 0 0 0 538 1 0 0 25 0 1 0 1012215927 12914688 2903 4294967295 134512640 135215339 3217113008 3217111104 134527372 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 3153 2903 73 172 0 2980 0
Current children cumulated CPU time (s) 6.32
Current children cumulated vsize (KiB) 15028
[startup+12.7116 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 521
/proc/meminfo: memFree=562912/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=15240 CPUtime=11.79
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 3618 0 0 0 1177 2 0 0 25 0 1 0 1012215927 15605760 3553 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 3810 3553 73 172 0 3637 0
Current children cumulated CPU time (s) 12.72
Current children cumulated vsize (KiB) 17656
[startup+25.5205 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 527
/proc/meminfo: memFree=558636/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=19248 CPUtime=24.6
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 4607 0 0 0 2457 3 0 0 25 0 1 0 1012215927 19709952 4542 4294967295 134512640 135215339 3217113008 3217111296 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 4812 4542 73 172 0 4639 0
Current children cumulated CPU time (s) 25.53
Current children cumulated vsize (KiB) 21664
[startup+51.1183 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 531
/proc/meminfo: memFree=548532/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=29680 CPUtime=50.2
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 7187 0 0 0 5015 5 0 0 25 0 1 0 1012215927 30392320 7122 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 7420 7122 73 172 0 7247 0
Current children cumulated CPU time (s) 51.13
Current children cumulated vsize (KiB) 32096
[startup+102.324 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 716
/proc/meminfo: memFree=531320/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=46576 CPUtime=101.41
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 11429 0 0 0 10134 7 0 0 25 0 1 0 1012215927 47693824 11364 4294967295 134512640 135215339 3217113008 3217111296 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 11644 11364 73 172 0 11471 0
Current children cumulated CPU time (s) 102.34
Current children cumulated vsize (KiB) 48992
[startup+162.319 s]
/proc/loadavg: 1.04 1.01 1.00 2/95 913
/proc/meminfo: memFree=512860/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=65068 CPUtime=161.41
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 16013 0 0 0 16131 10 0 0 25 0 1 0 1012215927 66629632 15948 4294967295 134512640 135215339 3217113008 3217111296 134528734 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 16267 15948 73 172 0 16094 0
Current children cumulated CPU time (s) 162.34
Current children cumulated vsize (KiB) 67484
[startup+222.324 s]
/proc/loadavg: 1.05 1.02 1.00 2/95 1106
/proc/meminfo: memFree=495632/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=82096 CPUtime=221.42
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 20317 0 0 0 22130 12 0 0 25 0 1 0 1012215927 84066304 20252 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 20524 20252 73 172 0 20351 0
Current children cumulated CPU time (s) 222.35
Current children cumulated vsize (KiB) 84512
[startup+282.308 s]
/proc/loadavg: 1.02 1.02 1.00 3/95 1295
/proc/meminfo: memFree=485456/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=92260 CPUtime=281.41
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 22836 0 0 0 28125 16 0 0 25 0 1 0 1012215927 94474240 22771 4294967295 134512640 135215339 3217113008 3217111296 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 23065 22771 73 172 0 22892 0
Current children cumulated CPU time (s) 282.34
Current children cumulated vsize (KiB) 94676
[startup+342.313 s]
/proc/loadavg: 1.00 1.01 1.00 2/95 1487
/proc/meminfo: memFree=479868/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=97804 CPUtime=341.42
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 24220 0 0 0 34122 20 0 0 25 0 1 0 1012215927 100151296 24155 4294967295 134512640 135215339 3217113008 3217111296 134528666 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 24451 24155 73 172 0 24278 0
Current children cumulated CPU time (s) 342.35
################
# More data... #
################
[pid=338] ppid=332 vsize=117076 CPUtime=521.44
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 29056 0 0 0 52116 28 0 0 25 0 1 0 1012215927 119885824 28991 4294967295 134512640 135215339 3217113008 3217111296 134528691 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 29269 28991 73 172 0 29096 0
Current children cumulated CPU time (s) 522.37
Current children cumulated vsize (KiB) 119492
[startup+582.313 s]
/proc/loadavg: 1.00 1.00 1.00 4/95 2240
/proc/meminfo: memFree=457432/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=120244 CPUtime=581.44
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 29860 0 0 0 58115 29 0 0 25 0 1 0 1012215927 123129856 29795 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 30061 29795 73 172 0 29888 0
Current children cumulated CPU time (s) 582.37
Current children cumulated vsize (KiB) 122660
[startup+642.307 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2426
/proc/meminfo: memFree=457400/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=120244 CPUtime=641.44
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 29860 0 0 0 64115 29 0 0 25 0 1 0 1012215927 123129856 29795 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 30061 29795 73 172 0 29888 0
Current children cumulated CPU time (s) 642.37
Current children cumulated vsize (KiB) 122660
[startup+702.302 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2618
/proc/meminfo: memFree=443760/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=133972 CPUtime=701.44
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 33268 0 0 0 70114 30 0 0 25 0 1 0 1012215927 137187328 33203 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 33493 33203 73 172 0 33320 0
Current children cumulated CPU time (s) 702.37
Current children cumulated vsize (KiB) 136388
[startup+762.327 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2805
/proc/meminfo: memFree=443824/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=133972 CPUtime=761.47
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 33268 0 0 0 76117 30 0 0 25 0 1 0 1012215927 137187328 33203 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 33493 33203 73 172 0 33320 0
Current children cumulated CPU time (s) 762.4
Current children cumulated vsize (KiB) 136388
[startup+822.322 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 2995
/proc/meminfo: memFree=443900/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=133972 CPUtime=821.47
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 33268 0 0 0 82117 30 0 0 25 0 1 0 1012215927 137187328 33203 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 33493 33203 73 172 0 33320 0
Current children cumulated CPU time (s) 822.4
Current children cumulated vsize (KiB) 136388
[startup+882.317 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3193
/proc/meminfo: memFree=444040/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=133972 CPUtime=881.47
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 33268 0 0 0 88117 30 0 0 25 0 1 0 1012215927 137187328 33203 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 33493 33203 73 172 0 33320 0
Current children cumulated CPU time (s) 882.4
Current children cumulated vsize (KiB) 136388
[startup+942.322 s]
/proc/loadavg: 1.00 1.00 1.00 3/95 3384
/proc/meminfo: memFree=443900/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=133972 CPUtime=941.48
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 33268 0 0 0 94118 30 0 0 25 0 1 0 1012215927 137187328 33203 4294967295 134512640 135215339 3217113008 3217111008 134532915 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 33493 33203 73 172 0 33320 0
Current children cumulated CPU time (s) 942.41
Current children cumulated vsize (KiB) 136388
[startup+1002.32 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 3577
/proc/meminfo: memFree=434220/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=143476 CPUtime=1001.48
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 35646 0 0 0 100115 33 0 0 25 0 1 0 1012215927 146919424 35581 4294967295 134512640 135215339 3217113008 3217111216 134534297 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 35869 35581 73 172 0 35696 0
Current children cumulated CPU time (s) 1002.41
Current children cumulated vsize (KiB) 145892
[startup+1062.31 s]
/proc/loadavg: 1.04 1.01 1.00 3/95 3766
/proc/meminfo: memFree=434500/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=143476 CPUtime=1061.48
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 35646 0 0 0 106115 33 0 0 25 0 1 0 1012215927 146919424 35581 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 35869 35581 73 172 0 35696 0
Current children cumulated CPU time (s) 1062.41
Current children cumulated vsize (KiB) 145892
[startup+1122.32 s]
/proc/loadavg: 1.01 1.01 1.00 2/95 3967
/proc/meminfo: memFree=434360/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=143476 CPUtime=1121.49
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 35646 0 0 0 112116 33 0 0 25 0 1 0 1012215927 146919424 35581 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 35869 35581 73 172 0 35696 0
Current children cumulated CPU time (s) 1122.42
Current children cumulated vsize (KiB) 145892
[startup+1182.31 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4171
/proc/meminfo: memFree=434368/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=143476 CPUtime=1181.49
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 35646 0 0 0 118116 33 0 0 25 0 1 0 1012215927 146919424 35581 4294967295 134512640 135215339 3217113008 3217111296 134528863 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 35869 35581 73 172 0 35696 0
Current children cumulated CPU time (s) 1182.42
Current children cumulated vsize (KiB) 145892
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4171
/proc/meminfo: memFree=434376/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=143476 CPUtime=1199.1
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 35646 0 0 0 119877 33 0 0 25 0 1 0 1012215927 146919424 35581 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 35869 35581 73 172 0 35696 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 145892
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1199.92 s]
/proc/loadavg: 1.00 1.00 1.00 2/95 4171
/proc/meminfo: memFree=434376/2074464 swapFree=1949056/1959888
[pid=332] ppid=330 vsize=2416 CPUtime=0.93
/proc/332/stat : 332 (SatELiteGTI) S 330 332 14060 0 -1 4194304 385 8693 0 0 0 0 91 2 18 0 1 0 1012215834 2473984 277 4294967295 134512640 135169312 3218106448 3218102664 3085160174 0 65536 4 65538 3222381614 0 0 17 3 0 0 0
/proc/332/statm: 604 277 235 161 0 43 0
[pid=338] ppid=332 vsize=143476 CPUtime=1199.1
/proc/338/stat : 338 (minisat_static) R 332 332 14060 0 -1 4202496 35646 0 0 0 119877 33 0 0 25 0 1 0 1012215927 146919424 35581 4294967295 134512640 135215339 3217113008 3217111296 134528682 0 0 0 3 0 0 0 17 0 0 0 0
/proc/338/statm: 35869 35581 73 172 0 35696 0
Current children cumulated CPU time (s) 1200.03
Current children cumulated vsize (KiB) 145892
Child status: 143
Real time (s): 1199.94
CPU time (s): 1200.04
CPU user time (s): 1199.68
CPU system time (s): 0.36
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 145892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1199.68
system time used= 0.36
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 44999
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= 23
involuntary context switches= 665
runsolver used 0.01 second user time and 0.04 second system time
The end
Begin job on tipi27 at 2009-05-16 14:33:07
IDJOB=1820794
IDBENCH=69598
IDSOLVER=657
FILE ID=tipi27/1820794-1242477187
PBS_JOBID=
Free space on /tmp= 9284 MiB
SOLVER NAME= minisat_cumr p-2009-03-18
BENCH NAME= SAT_RACE08/cnf/mizh-sha0-36-4.cnf
COMMAND LINE= SatELiteGTI BENCHNAME
RUNSOLVER COMMAND LINE= runsolver --timestamp -w /tmp/evaluation-result-1820794-1242477187/watcher-1820794-1242477187 -o /tmp/evaluation-result-1820794-1242477187/solver-1820794-1242477187 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1820794-1242477187.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f43e1bf70d9ce8021bafd328efc83ae7
RANDOM SEED= 959744635
Linux tipi27 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.389
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.40
processor : 1
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.79
processor : 2
vendor_id : AuthenticAMD
cpu family : 15
model : 33
model name : Dual Core AMD Opteron(tm) Processor 265
stepping : 2
cpu MHz : 1808.389
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.389
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: 581628 kB
Buffers: 59976 kB
Cached: 1306792 kB
SwapCached: 5508 kB
Active: 843684 kB
Inactive: 532824 kB
HighTotal: 1178688 kB
HighFree: 345120 kB
LowTotal: 895776 kB
LowFree: 236508 kB
SwapTotal: 1959888 kB
SwapFree: 1949056 kB
Dirty: 5764 kB
Writeback: 0 kB
AnonPages: 9064 kB
Mapped: 3236 kB
Slab: 107352 kB
PageTables: 400 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
CommitLimit: 2997120 kB
Committed_AS: 90628 kB
VmallocTotal: 114680 kB
VmallocUsed: 1324 kB
VmallocChunk: 113264 kB
Free space on /tmp at the end= 9284 MiB
End job on tipi27 at 2009-05-16 14:53:07