0.00/0.00 c Parsing...
0.00/0.16 c ==============================================================================
0.00/0.16 c | | ORIGINAL | LEARNT | |
0.00/0.16 c | Conflicts | Clauses Literals | Limit Clauses Literals Lit/Cl | Progress |
0.00/0.16 c ==============================================================================
0.00/0.16 c | 0 | 180292 522218 | 54087 0 0 nan | 0.000 % |
0.00/0.83 c | 0 | 120343 408065 | -- 0 -- -- | -- | -57260/-106174
0.00/0.83 c ==============================================================================
0.00/0.83 c Result : #vars: 20573 #clauses: 120343 #literals: 408065
0.00/0.83 c CPU time: 0.78288 s
0.00/0.83 c ==============================================================================
0.00/0.96 c This is MiniSat 2.0 beta
0.00/0.96 c WARNING: for repeatability, setting FPU to use double precision
0.00/0.96 c ============================[ Problem Statistics ]=============================
0.00/0.96 c | |
0.00/0.97 c | Number of variables: 20573 |
0.00/0.97 c | Number of clauses: 120343 |
0.97/1.05 c | Parsing time: 0.07 s |
0.97/1.05 c ============================[ Search Statistics ]==============================
0.97/1.05 c | Conflicts | ORIGINAL | LEARNT | Progress |
0.97/1.05 c | | Vars Clauses Literals | Limit Clauses Lit/Cl | |
0.97/1.05 c ===============================================================================
0.97/1.05 c | 0 | 20573 120343 408065 | 40114 0 nan | 0.000 % |
0.97/1.06 c | 102 | 20573 120343 408065 | 40114 102 4 | 0.000 % |
0.97/1.07 c | 202 | 20573 120343 408065 | 40114 202 4 | 0.000 % |
0.97/1.09 c | 302 | 20571 120343 408065 | 40114 301 4 | 0.015 % |
1.07/1.11 c | 414 | 20570 120343 408065 | 40114 412 4 | 0.019 % |
1.07/1.12 c | 514 | 20570 120343 408065 | 40114 512 5 | 0.019 % |
1.07/1.13 c | 626 | 20569 120343 408065 | 40114 623 5 | 0.034 % |
1.07/1.13 c | 748 | 20569 120343 408065 | 40114 745 6 | 0.034 % |
1.07/1.14 c | 850 | 20569 120343 408065 | 40114 847 5 | 0.034 % |
1.07/1.16 c | 960 | 20569 120343 408065 | 40114 957 5 | 0.034 % |
1.07/1.16 c | 1081 | 20569 120343 408065 | 40114 1078 6 | 0.034 % |
1.07/1.19 c | 1214 | 20569 120343 408065 | 40114 1211 5 | 0.034 % |
1.17/1.20 c | 1314 | 20569 120343 408065 | 40114 1311 6 | 0.034 % |
1.17/1.21 c | 1425 | 20569 120343 408065 | 40114 1422 6 | 0.034 % |
1.17/1.24 c | 1547 | 20569 120343 408065 | 40114 1544 6 | 0.034 % |
1.17/1.27 c | 1680 | 20569 120343 408065 | 40114 1677 6 | 0.034 % |
1.27/1.33 c | 1827 | 20563 120306 407968 | 40114 1820 6 | 0.053 % |
1.27/1.34 c | 1928 | 20563 120306 407968 | 40114 1921 6 | 0.053 % |
1.27/1.35 c | 2038 | 20563 120306 407968 | 40114 2031 6 | 0.053 % |
1.27/1.35 c | 2161 | 20562 120306 407968 | 40114 2153 6 | 0.063 % |
1.27/1.37 c | 2294 | 20562 120306 407968 | 40114 2286 6 | 0.063 % |
1.37/1.40 c | 2440 | 20562 120306 407968 | 40114 2432 6 | 0.063 % |
1.37/1.43 c | 2601 | 20562 120306 407968 | 40114 2593 6 | 0.063 % |
1.37/1.44 c | 2701 | 20562 120306 407968 | 40114 2693 6 | 0.063 % |
1.37/1.44 c | 2811 | 20562 120306 407968 | 40114 2803 6 | 0.063 % |
1.37/1.44 c | 2933 | 20562 120306 407968 | 40114 2925 6 | 0.063 % |
1.37/1.45 c | 3066 | 20562 120306 407968 | 40114 3058 6 | 0.063 % |
1.37/1.45 c | 3212 | 20562 120306 407968 | 40114 3204 6 | 0.063 % |
1.37/1.45 c | 3373 | 20562 120306 407968 | 40114 3365 7 | 0.063 % |
1.37/1.46 c | 3550 | 20562 120306 407968 | 40114 3542 7 | 0.063 % |
1.37/1.46 c | 3651 | 20562 120306 407968 | 40114 3643 7 | 0.063 % |
1.37/1.46 c | 3762 | 20562 120306 407968 | 40114 3754 7 | 0.063 % |
1.37/1.47 c | 3884 | 20562 120306 407968 | 40114 3876 7 | 0.063 % |
1.37/1.47 c | 4017 | 20562 120306 407968 | 40114 4009 7 | 0.063 % |
1.37/1.48 c | 4164 | 20562 120306 407968 | 40114 4156 7 | 0.063 % |
1.37/1.48 c | 4325 | 20562 120306 407968 | 40114 4317 7 | 0.063 % |
1.37/1.49 c | 4501 | 20562 120306 407968 | 40114 4493 7 | 0.063 % |
1.37/1.49 c | 4696 | 20562 120306 407968 | 40114 4688 7 | 0.063 % |
1.37/1.49 c | 4798 | 20562 120306 407968 | 40114 4790 7 | 0.063 % |
1.47/1.50 c | 4908 | 20562 120306 407968 | 40114 4900 7 | 0.063 % |
1.47/1.51 c | 5030 | 20562 120306 407968 | 40114 5022 7 | 0.063 % |
1.47/1.52 c | 5165 | 20562 120306 407968 | 40114 5157 7 | 0.063 % |
1.47/1.52 c | 5311 | 20562 120306 407968 | 40114 5303 7 | 0.063 % |
1.47/1.53 c | 5471 | 20562 120306 407968 | 40114 5463 7 | 0.063 % |
1.47/1.54 c | 5647 | 20560 120273 407881 | 40114 5638 7 | 0.063 % |
1.47/1.55 c | 5840 | 20560 120273 407881 | 40114 5831 7 | 0.063 % |
1.47/1.55 c | 6052 | 20560 120273 407881 | 40114 6043 7 | 0.063 % |
1.47/1.56 c | 6154 | 20560 120273 407881 | 40114 6145 7 | 0.063 % |
1.47/1.56 c | 6264 | 20560 120273 407881 | 40114 6255 7 | 0.063 % |
1.47/1.56 c | 6385 | 20560 120273 407881 | 40114 6376 7 | 0.063 % |
1.47/1.57 c | 6518 | 20555 120273 407881 | 40114 6508 7 | 0.092 % |
1.47/1.57 c | 6664 | 20555 120273 407881 | 40114 6654 7 | 0.092 % |
1.47/1.58 c | 6825 | 20553 120273 407881 | 40114 6814 8 | 0.107 % |
1.47/1.58 c | 7001 | 20553 120273 407881 | 40114 6990 7 | 0.107 % |
1.47/1.59 c | 7194 | 20553 120273 407881 | 40114 7183 8 | 0.107 % |
1.57/1.63 c | 7406 | 20553 120273 407881 | 40114 7395 8 | 0.107 % |
1.57/1.67 c | 7641 | 20553 120273 407881 | 40114 7630 8 | 0.107 % |
1.57/1.67 c | 7742 | 20553 120273 407881 | 40114 7731 8 | 0.107 % |
1.57/1.68 c | 7853 | 20553 120273 407881 | 40114 7842 8 | 0.107 % |
1.57/1.68 c | 7975 | 20553 120273 407881 | 40114 7964 8 | 0.107 % |
1.57/1.69 c | 8108 | 20553 120273 407881 | 40114 8097 8 | 0.107 % |
1.57/1.69 c | 8255 | 20553 120273 407881 | 40114 8244 8 | 0.107 % |
1.57/1.69 c | 8416 | 20552 120273 407881 | 40114 8404 8 | 0.136 % |
1.66/1.70 c | 8592 | 20550 120273 407881 | 40114 8580 8 | 0.136 % |
1.66/1.71 c | 8786 | 20550 120273 407881 | 40114 8774 8 | 0.136 % |
1.66/1.71 c | 8998 | 20550 120273 407881 | 40114 8986 8 | 0.136 % |
1.66/1.72 c | 9232 | 20550 120273 407881 | 40114 9220 8 | 0.136 % |
1.66/1.73 c | 9488 | 20550 120273 407881 | 40114 9476 8 | 0.136 % |
1.66/1.74 c | 9589 | 20550 120273 407881 | 40114 9577 8 | 0.136 % |
1.66/1.74 c | 9700 | 20550 120273 407881 | 40114 9688 8 | 0.136 % |
1.66/1.74 c | 9821 | 20550 120273 407881 | 40114 9809 8 | 0.136 % |
1.66/1.75 c | 9956 | 20550 120273 407881 | 40114 9944 8 | 0.136 % |
1.66/1.75 c | 10102 | 20550 120273 407881 | 2147483647 10090 8 | 0.136 % |
1.66/1.76 c | 10263 | 20550 120273 407881 | 2147483647 10251 8 | 0.136 % |
1.66/1.77 c | 10441 | 20547 120273 407881 | 2147483647 10428 8 | 0.170 % |
1.66/1.77 c | 10635 | 20547 120273 407881 | 2147483647 10622 8 | 0.170 % |
1.66/1.78 c | 10848 | 20547 120273 407881 | 2147483647 10835 8 | 0.170 % |
1.66/1.79 c | 11081 | 20545 120273 407881 | 2147483647 11068 8 | 0.170 % |
1.76/1.80 c | 11337 | 20545 120273 407881 | 2147483647 11324 8 | 0.170 % |
1.76/1.81 c | 11619 | 20545 120273 407881 | 2147483647 11606 8 | 0.170 % |
1.76/1.82 c | 11720 | 20545 120273 407881 | 2147483647 11707 8 | 0.170 % |
1.76/1.82 c | 11830 | 20545 120273 407881 | 2147483647 11817 8 | 0.170 % |
1.76/1.83 c | 11952 | 20545 120273 407881 | 2147483647 11939 8 | 0.170 % |
1.76/1.84 c | 12085 | 20545 120273 407881 | 2147483647 12072 8 | 0.170 % |
1.76/1.84 c | 12232 | 20545 120273 407881 | 2147483647 12219 8 | 0.170 % |
1.76/1.86 c | 12393 | 20528 120079 407290 | 2147483647 12291 8 | 0.243 % |
1.76/1.87 c | 12569 | 20528 120079 407290 | 2147483647 12467 8 | 0.243 % |
1.76/1.87 c | 12764 | 20528 120079 407290 | 2147483647 12662 8 | 0.243 % |
1.76/1.88 c | 12977 | 20528 120079 407290 | 2147483647 12875 8 | 0.243 % |
1.76/1.89 c | 13212 | 20528 120079 407290 | 2147483647 13110 8 | 0.243 % |
1.86/1.90 c | 13470 | 20528 120079 407290 | 2147483647 13368 8 | 0.243 % |
1.86/1.91 c | 13753 | 20528 120079 407290 | 2147483647 13651 9 | 0.243 % |
1.86/1.92 c | 14063 | 20528 120079 407290 | 2147483647 13961 9 | 0.243 % |
1.86/1.93 c | 14163 | 20528 120079 407290 | 2147483647 14061 9 | 0.243 % |
1.86/1.93 c | 14273 | 20528 120079 407290 | 2147483647 14171 9 | 0.243 % |
1.86/1.93 c | 14394 | 20528 120079 407290 | 2147483647 14292 9 | 0.243 % |
1.86/1.94 c | 14528 | 20526 120079 407290 | 2147483647 14425 9 | 0.253 % |
1.86/1.95 c | 14674 | 20526 120079 407290 | 2147483647 14571 9 | 0.253 % |
1.86/1.95 c | 14834 | 20526 120079 407290 | 2147483647 14731 9 | 0.253 % |
1.86/1.96 c | 15010 | 20526 120079 407290 | 2147483647 14907 9 | 0.253 % |
1.86/1.97 c | 15204 | 20526 120079 407290 | 2147483647 15101 9 | 0.253 % |
1.86/1.97 c | 15416 | 20526 120079 407290 | 2147483647 15313 9 | 0.253 % |
1.86/1.98 c | 15649 | 20526 120079 407290 | 2147483647 15546 9 | 0.253 % |
1.86/2.00 c | 15906 | 20522 120079 407290 | 2147483647 15801 9 | 0.297 % |
1.96/2.01 c | 16187 | 20515 120079 407290 | 2147483647 16081 9 | 0.331 % |
1.96/2.02 c | 16496 | 20515 120079 407290 | 2147483647 16390 9 | 0.331 % |
1.96/2.04 c | 16835 | 20515 120079 407290 | 2147483647 16729 9 | 0.331 % |
1.96/2.05 c | 16935 | 20509 120079 407290 | 2147483647 16829 9 | 0.331 % |
1.96/2.06 c | 17046 | 20509 120079 407290 | 2147483647 16940 9 | 0.331 % |
1.96/2.07 c | 17167 | 20509 120079 407290 | 2147483647 17061 9 | 0.331 % |
1.96/2.10 c | 17300 | 20509 120079 407290 | 2147483647 17194 9 | 0.331 % |
2.07/2.11 c | 17446 | 20505 120079 407290 | 2147483647 17339 9 | 0.355 % |
2.07/2.12 c | 17607 | 20505 120079 407290 | 2147483647 17500 9 | 0.355 % |
2.07/2.12 c | 17783 | 20505 120079 407290 | 2147483647 17676 9 | 0.355 % |
2.07/2.13 c | 17977 | 20501 120079 407290 | 2147483647 17869 9 | 0.389 % |
2.07/2.15 c | 18191 | 20493 120079 407290 | 2147483647 18081 9 | 0.442 % |
2.07/2.16 c | 18424 | 20493 120079 407290 | 2147483647 18314 9 | 0.442 % |
2.07/2.17 c | 18680 | 20491 120079 407290 | 2147483647 18570 9 | 0.442 % |
2.17/2.25 c | 18962 | 20481 119599 405753 | 2147483647 17166 9 | 0.447 % |
2.17/2.27 c | 19271 | 20481 119599 405753 | 2147483647 17475 9 | 0.447 % |
2.17/2.28 c | 19610 | 20477 119599 405753 | 2147483647 17813 9 | 0.467 % |
2.26/2.30 c | 19982 | 20448 119599 405753 | 2147483647 18184 9 | 0.690 % |
2.26/2.31 c | 20085 | 20442 119599 405753 | 2147483647 18287 9 | 0.690 % |
2.26/2.31 c | 20195 | 20442 119599 405753 | 2147483647 18397 9 | 0.690 % |
2.26/2.32 c | 20316 | 20442 119599 405753 | 2147483647 18518 9 | 0.690 % |
2.26/2.33 c | 20449 | 20442 119599 405753 | 2147483647 18651 9 | 0.690 % |
2.26/2.34 c | 20595 | 20442 119599 405753 | 2147483647 18797 9 | 0.690 % |
2.26/2.35 c | 20755 | 20442 119599 405753 | 2147483647 18957 9 | 0.690 % |
2.26/2.35 c | 20933 | 20442 119599 405753 | 2147483647 19135 9 | 0.690 % |
2.26/2.36 c | 21128 | 20442 119599 405753 | 2147483647 19330 9 | 0.690 % |
2.26/2.37 c | 21340 | 20429 119599 405753 | 2147483647 19540 9 | 0.768 % |
2.26/2.39 c | 21573 | 20429 119599 405753 | 2147483647 19773 9 | 0.768 % |
2.36/2.40 c | 21830 | 20429 119599 405753 | 2147483647 20030 9 | 0.768 % |
2.36/2.42 c | 22111 | 20429 119599 405753 | 2147483647 20311 9 | 0.768 % |
2.36/2.46 c | 22421 | 20417 119599 405753 | 2147483647 20621 9 | 0.768 % |
2.46/2.50 c | 22761 | 20417 119599 405753 | 2147483647 20961 9 | 0.768 % |
2.46/2.52 c | 23134 | 20417 119599 405753 | 2147483647 21334 9 | 0.768 % |
2.46/2.55 c | 23544 | 20415 119599 405753 | 2147483647 21743 9 | 0.778 % |
2.46/2.57 c | 23644 | 20415 119599 405753 | 2147483647 21843 9 | 0.778 % |
2.46/2.60 c | 23754 | 20415 119599 405753 | 2147483647 21953 9 | 0.778 % |
2.56/2.60 c | 23875 | 20415 119599 405753 | 2147483647 22074 9 | 0.778 % |
2.56/2.60 c | 24011 | 20415 119599 405753 | 2147483647 22210 9 | 0.778 % |
2.56/2.61 c | 24157 | 20415 119599 405753 | 2147483647 22356 9 | 0.778 % |
2.56/2.62 c | 24317 | 20415 119599 405753 | 2147483647 22516 9 | 0.778 % |
2.56/2.63 c | 24493 | 20415 119599 405753 | 2147483647 22692 9 | 0.778 % |
2.56/2.64 c | 24686 | 20411 119599 405753 | 2147483647 22883 9 | 0.807 % |
2.56/2.67 c | 24898 | 20406 119599 405753 | 2147483647 23093 9 | 0.831 % |
2.56/2.68 c | 25131 | 20388 119599 405753 | 2147483647 23325 9 | 1.021 % |
2.66/2.70 c | 25388 | 20388 119599 405753 | 2147483647 23582 9 | 1.021 % |
2.66/2.71 c | 25669 | 20388 119599 405753 | 2147483647 23863 9 | 1.021 % |
2.66/2.74 c | 25979 | 20388 119599 405753 | 2147483647 24173 9 | 1.021 % |
2.66/2.77 c | 26320 | 20363 118610 402562 | 2147483647 19793 9 | 1.021 % |
2.66/2.79 c | 26692 | 20348 118610 402562 | 2147483647 20162 9 | 1.099 % |
2.76/2.81 c | 27101 | 20348 118610 402562 | 2147483647 20571 9 | 1.099 % |
2.76/2.84 c | 27550 | 20337 118610 402562 | 2147483647 21019 9 | 1.220 % |
2.76/2.85 c | 27650 | 20337 118610 402562 | 2147483647 21119 9 | 1.220 % |
2.76/2.87 c | 27760 | 20327 118610 402562 | 2147483647 21229 9 | 1.220 % |
2.76/2.87 c | 27882 | 20327 118610 402562 | 2147483647 21351 9 | 1.220 % |
2.76/2.88 c | 28015 | 20327 118610 402562 | 2147483647 21484 9 | 1.220 % |
2.76/2.89 c | 28161 | 20327 118610 402562 | 2147483647 21630 9 | 1.220 % |
2.86/2.91 c | 28322 | 20327 118610 402562 | 2147483647 21791 9 | 1.220 % |
2.86/2.92 c | 28498 | 20323 118610 402562 | 2147483647 21966 9 | 1.259 % |
2.86/2.93 c | 28691 | 20323 118610 402562 | 2147483647 22159 9 | 1.259 % |
2.86/2.94 c | 28904 | 20323 118610 402562 | 2147483647 22372 9 | 1.259 % |
2.86/2.96 c | 29137 | 20316 118610 402562 | 2147483647 22604 9 | 1.332 % |
2.96/3.01 c | 29394 | 20314 118610 402562 | 2147483647 22861 9 | 1.332 % |
2.96/3.04 c | 29676 | 20314 118610 402562 | 2147483647 23143 9 | 1.332 % |
2.96/3.06 c | 29985 | 20314 118610 402562 | 2147483647 23452 9 | 1.332 % |
3.07/3.10 c | 30324 | 20310 118610 402562 | 2147483647 23789 9 | 1.366 % |
3.07/3.13 c | 30697 | 20310 118610 402562 | 2147483647 24162 9 | 1.366 % |
3.07/3.16 c | 31106 | 20308 118610 402562 | 2147483647 24570 9 | 1.410 % |
3.07/3.19 c | 31556 | 20306 118610 402562 | 2147483647 25020 9 | 1.410 % |
3.16/3.23 c | 32050 | 20306 118610 402562 | 2147483647 25514 9 | 1.410 % |
3.16/3.26 c | 32153 | 20283 118011 400687 | 2147483647 23685 9 | 1.410 % |
3.16/3.28 c | 32264 | 20283 118011 400687 | 2147483647 23796 9 | 1.410 % |
3.16/3.29 c | 32386 | 20274 118011 400687 | 2147483647 23916 9 | 1.512 % |
3.16/3.30 c | 32519 | 20274 118011 400687 | 2147483647 24049 9 | 1.512 % |
3.26/3.31 c | 32667 | 20274 118011 400687 | 2147483647 24197 9 | 1.512 % |
3.26/3.33 c | 32831 | 20274 118011 400687 | 2147483647 24361 9 | 1.512 % |
3.26/3.34 c | 33009 | 20269 118011 400687 | 2147483647 24538 9 | 1.546 % |
3.26/3.36 c | 33203 | 20268 118011 400687 | 2147483647 24731 9 | 1.551 % |
3.26/3.38 c | 33415 | 20268 118011 400687 | 2147483647 24943 9 | 1.551 % |
3.36/3.40 c | 33650 | 20268 118011 400687 | 2147483647 25178 9 | 1.551 % |
3.36/3.44 c | 33906 | 20267 118011 400687 | 2147483647 25434 9 | 1.551 % |
3.36/3.48 c | 34188 | 20267 118011 400687 | 2147483647 25716 9 | 1.551 % |
3.46/3.53 c | 34498 | 20267 118011 400687 | 2147483647 26026 9 | 1.551 % |
3.46/3.57 c | 34838 | 20264 118011 400687 | 2147483647 26365 9 | 1.560 % |
3.46/3.58 c | 35210 | 20264 118011 400687 | 2147483647 26737 9 | 1.560 % |
3.46/3.60 c | 35619 | 20264 118011 400687 | 2147483647 27146 9 | 1.560 % |
3.56/3.63 c | 36068 | 20263 118011 400687 | 2147483647 27594 9 | 1.580 % |
3.56/3.67 c | 36562 | 20263 118011 400687 | 2147483647 28088 9 | 1.580 % |
3.66/3.70 c | 37104 | 20156 118011 400687 | 2147483647 28627 9 | 2.265 % |
3.66/3.71 c | 37205 | 20156 118011 400687 | 2147483647 28728 9 | 2.265 % |
3.66/3.72 c | 37315 | 20151 118011 400687 | 2147483647 28837 9 | 2.275 % |
3.66/3.73 c | 37436 | 20151 118011 400687 | 2147483647 28958 9 | 2.275 % |
3.66/3.74 c | 37569 | 20151 118011 400687 | 2147483647 29091 9 | 2.275 % |
3.66/3.76 c | 37716 | 20151 118011 400687 | 2147483647 29238 9 | 2.275 % |
3.66/3.76 c | 37876 | 20151 118011 400687 | 2147483647 29398 9 | 2.275 % |
3.66/3.79 c | 38052 | 20105 116722 396615 | 2147483647 23761 8 | 2.275 % |
3.66/3.79 c | 38245 | 20105 116722 396615 | 2147483647 23954 8 | 2.275 % |
3.76/3.81 c | 38457 | 20105 116722 396615 | 2147483647 24166 8 | 2.275 % |
3.76/3.83 c | 38690 | 20105 116722 396615 | 2147483647 24399 8 | 2.275 % |
3.76/3.86 c | 38946 | 20105 116722 396615 | 2147483647 24655 8 | 2.275 % |
3.76/3.87 c | 39228 | 20092 116722 396615 | 2147483647 24936 8 | 2.382 % |
3.76/3.89 c | 39539 | 20088 116722 396615 | 2147483647 25246 8 | 2.401 % |
3.86/3.91 c | 39878 | 20088 116722 396615 | 2147483647 25585 8 | 2.401 % |
3.86/3.91 c | 40250 | 20088 116722 396615 | 2147483647 25957 8 | 2.401 % |
3.86/3.93 c | 40659 | 20087 116722 396615 | 2147483647 26365 8 | 2.406 % |
3.86/3.96 c | 41110 | 20086 116722 396615 | 2147483647 26815 8 | 2.411 % |
3.86/3.99 c | 41604 | 20084 116722 396615 | 2147483647 27309 8 | 2.411 % |
3.96/4.04 c | 42146 | 20082 116722 396615 | 2147483647 27850 8 | 2.421 % |
3.96/4.09 c | 42742 | 20078 116722 396615 | 2147483647 28444 8 | 2.430 % |
4.06/4.10 c | 42842 | 20078 116722 396615 | 2147483647 28544 8 | 2.430 % |
4.06/4.12 c | 42952 | 20078 116722 396615 | 2147483647 28654 8 | 2.430 % |
4.06/4.13 c | 43074 | 20078 116722 396615 | 2147483647 28776 8 | 2.430 % |
4.06/4.13 c | 43208 | 20078 116722 396615 | 2147483647 28910 8 | 2.430 % |
4.06/4.15 c | 43355 | 20078 116722 396615 | 2147483647 29057 8 | 2.430 % |
4.06/4.17 c | 43516 | 20075 116722 396615 | 2147483647 29217 8 | 2.445 % |
4.15/4.20 c | 43692 | 20074 116722 396615 | 2147483647 29392 8 | 2.450 % |
4.15/4.21 c | 43886 | 20074 116722 396615 | 2147483647 29586 8 | 2.450 % |
4.15/4.22 c | 44100 | 20074 116722 396615 | 2147483647 29800 8 | 2.450 % |
4.15/4.24 c | 44333 | 20063 116722 396615 | 2147483647 30030 8 | 2.834 % |
4.15/4.25 c | 44589 | 20057 116722 396615 | 2147483647 30285 8 | 2.839 % |
4.26/4.30 c | 44870 | 20019 116722 396615 | 2147483647 30566 8 | 2.839 % |
4.26/4.35 c | 45180 | 19989 115942 394108 | 2147483647 28107 8 | 2.839 % |
4.26/4.37 c | 45520 | 19989 115942 394108 | 2147483647 28447 8 | 2.839 % |
4.26/4.40 c | 45892 | 19984 115942 394108 | 2147483647 28818 8 | 2.863 % |
4.36/4.42 c | 46301 | 19984 115942 394108 | 2147483647 29227 8 | 2.863 % |
4.36/4.46 c | 46751 | 19983 115942 394108 | 2147483647 29676 8 | 2.868 % |
4.36/4.49 c | 47245 | 19983 115942 394108 | 2147483647 30170 8 | 2.868 % |
4.45/4.55 c | 47787 | 19969 115942 394108 | 2147483647 30707 8 | 3.276 % |
4.55/4.61 c | 48383 | 19968 115942 394108 | 2147483647 31303 8 | 3.276 % |
4.55/4.69 c | 49038 | 19913 115942 394108 | 2147483647 31958 9 | 3.276 % |
4.55/4.69 c | 49138 | 19913 115942 394108 | 2147483647 32058 9 | 3.276 % |
4.65/4.70 c | 49248 | 19913 115942 394108 | 2147483647 32168 9 | 3.276 % |
4.65/4.71 c | 49370 | 19913 115942 394108 | 2147483647 32290 8 | 3.276 % |
4.65/4.71 c | 49504 | 19913 115942 394108 | 2147483647 32424 8 | 3.276 % |
4.65/4.72 c | 49650 | 19913 115942 394108 | 2147483647 32570 8 | 3.276 % |
4.65/4.72 c | 49811 | 19913 115942 394108 | 2147483647 32731 8 | 3.276 % |
4.65/4.73 c | 49987 | 19913 115942 394108 | 2147483647 32907 9 | 3.276 % |
4.65/4.73 c | 50180 | 19913 115942 394108 | 2147483647 33100 9 | 3.276 % |
4.65/4.74 c | 50393 | 19913 115942 394108 | 2147483647 33313 9 | 3.276 % |
4.65/4.76 c | 50626 | 19909 115942 394108 | 2147483647 33545 9 | 3.296 % |
4.65/4.78 c | 50882 | 19909 115942 394108 | 2147483647 33801 9 | 3.296 % |
4.75/4.80 c | 51165 | 19909 115942 394108 | 2147483647 34084 9 | 3.296 % |
4.75/4.83 c | 51475 | 19909 115942 394108 | 2147483647 34394 9 | 3.296 % |
4.75/4.85 c | 51815 | 19909 115942 394108 | 2147483647 34734 9 | 3.296 % |
4.75/4.89 c | 52188 | 19909 115942 394108 | 2147483647 35107 9 | 3.296 % |
4.85/4.94 c | 52597 | 19893 115243 391830 | 2147483647 33633 8 | 3.354 % |
4.85/4.97 c | 53046 | 19888 115243 391830 | 2147483647 34081 8 | 3.398 % |
4.85/5.00 c | 53541 | 19885 115243 391830 | 2147483647 34575 8 | 3.412 % |
4.95/5.05 c | 54083 | 19885 115243 391830 | 2147483647 35117 8 | 3.412 % |
4.95/5.09 c | 54680 | 19883 115243 391830 | 2147483647 35713 8 | 3.441 % |
5.06/5.12 c | 55335 | 19882 115243 391830 | 2147483647 36367 8 | 3.451 % |
5.16/5.21 c | 56055 | 19879 115243 391830 | 2147483647 37087 9 | 3.451 % |
5.16/5.22 c | 56157 | 19879 115243 391830 | 2147483647 37189 9 | 3.451 % |
5.16/5.22 c | 56267 | 19879 115243 391830 | 2147483647 37299 9 | 3.451 % |
5.16/5.25 c | 56391 | 19879 115243 391830 | 2147483647 37423 9 | 3.451 % |
5.16/5.27 c | 56525 | 19870 115243 391830 | 2147483647 37557 9 | 3.451 % |
5.16/5.28 c | 56671 | 19870 115243 391830 | 2147483647 37703 9 | 3.451 % |
5.16/5.29 c | 56831 | 19870 115243 391830 | 2147483647 37863 9 | 3.451 % |
5.16/5.30 c | 57010 | 19870 115243 391830 | 2147483647 38042 9 | 3.451 % |
5.26/5.30 c | 57205 | 19870 115243 391830 | 2147483647 38237 9 | 3.451 % |
5.26/5.31 c | 57418 | 19870 115243 391830 | 2147483647 38450 9 | 3.451 % |
5.26/5.33 c | 57652 | 19870 115243 391830 | 2147483647 38684 9 | 3.451 % |
5.26/5.36 c | 57908 | 19866 115243 391830 | 2147483647 38939 9 | 3.485 % |
5.26/5.38 c | 58189 | 19862 115243 391830 | 2147483647 39218 9 | 3.514 % |
5.36/5.44 c | 58498 | 19859 115243 391830 | 2147483647 39527 9 | 3.514 % |
5.36/5.49 c | 58838 | 19859 115243 391830 | 2147483647 39867 9 | 3.514 % |
5.46/5.55 c | 59211 | 19858 115243 391830 | 2147483647 40239 9 | 3.519 % |
5.46/5.57 c | 59621 | 19848 114808 390408 | 2147483647 37551 8 | 3.524 % |
5.56/5.61 c | 60070 | 19848 114808 390408 | 2147483647 38000 8 | 3.524 % |
5.56/5.66 c | 60564 | 19848 114808 390408 | 2147483647 38494 8 | 3.524 % |
5.56/5.67 c | 61106 | 19848 114808 390408 | 2147483647 39036 8 | 3.524 % |
5.66/5.74 c | 61704 | 19848 114808 390408 | 2147483647 39634 9 | 3.524 % |
5.76/5.83 c | 62359 | 19848 114808 390408 | 2147483647 40289 9 | 3.524 % |
5.86/5.91 c | 63080 | 19848 114808 390408 | 2147483647 41010 9 | 3.524 % |
5.86/5.98 c | 63873 | 19848 114808 390408 | 2147483647 41803 9 | 3.524 % |
5.96/6.00 c | 63974 | 19848 114808 390408 | 2147483647 41904 9 | 3.524 % |
5.96/6.02 c | 64085 | 19848 114808 390408 | 2147483647 42015 9 | 3.524 % |
5.96/6.02 c | 64206 | 19848 114808 390408 | 2147483647 42136 9 | 3.524 % |
5.96/6.04 c | 64340 | 19846 114808 390408 | 2147483647 42269 9 | 3.563 % |
5.96/6.04 c | 64488 | 19846 114808 390408 | 2147483647 42417 9 | 3.563 % |
5.96/6.06 c | 64649 | 19846 114808 390408 | 2147483647 42578 9 | 3.563 % |
5.96/6.06 c | 64828 | 19846 114808 390408 | 2147483647 42757 9 | 3.563 % |
5.96/6.07 c | 65022 | 19846 114808 390408 | 2147483647 42951 9 | 3.563 % |
5.96/6.09 c | 65234 | 19846 114808 390408 | 2147483647 43163 9 | 3.563 % |
5.96/6.09 c | 65467 | 19846 114808 390408 | 2147483647 43396 9 | 3.563 % |
6.06/6.11 c | 65723 | 19846 114808 390408 | 2147483647 43652 9 | 3.563 % |
6.06/6.18 c | 66004 | 19846 114808 390408 | 2147483647 43933 9 | 3.563 % |
6.16/6.20 c | 66313 | 19846 114808 390408 | 2147483647 44242 9 | 3.563 % |
6.16/6.21 c | 66652 | 19846 114808 390408 | 2147483647 44581 9 | 3.563 % |
6.16/6.23 c | 67024 | 19846 114808 390408 | 2147483647 44953 9 | 3.563 % |
6.26/6.34 c | 67434 | 19835 114719 390119 | 2147483647 44632 9 | 3.621 % |
6.36/6.45 c | 67883 | 19835 114719 390119 | 2147483647 45081 9 | 3.621 % |
6.46/6.52 c | 68376 | 19835 114719 390119 | 2147483647 45574 9 | 3.621 % |
6.46/6.60 c | 68918 | 19833 114719 390119 | 2147483647 46116 9 | 3.621 % |
6.56/6.61 c | 69514 | 19833 114719 390119 | 2147483647 46712 9 | 3.621 % |
6.56/6.64 c | 70171 | 19831 114719 390119 | 2147483647 47368 9 | 3.636 % |
6.65/6.72 c | 70892 | 19828 114719 390119 | 2147483647 48088 9 | 3.650 % |
6.65/6.77 c | 71686 | 19828 114719 390119 | 2147483647 48882 9 | 3.650 % |
6.75/6.88 c | 72558 | 19828 114719 390119 | 2147483647 49754 9 | 3.650 % |
6.85/6.92 c | 72658 | 19828 114719 390119 | 2147483647 49854 9 | 3.650 % |
6.85/6.95 c | 72769 | 19828 114719 390119 | 2147483647 49965 9 | 3.650 % |
6.85/6.96 c | 72890 | 19828 114719 390119 | 2147483647 50086 9 | 3.650 % |
6.95/7.00 c | 73024 | 19828 114719 390119 | 2147483647 50220 9 | 3.650 % |
6.95/7.03 c | 73170 | 19822 114617 389827 | 2147483647 50198 9 | 3.650 % |
6.95/7.07 c | 73332 | 19822 114617 389827 | 2147483647 50360 9 | 3.650 % |
6.95/7.08 c | 73510 | 19811 114617 389827 | 2147483647 50536 9 | 3.937 % |
7.05/7.10 c | 73703 | 19805 114617 389827 | 2147483647 50729 9 | 3.937 % |
7.05/7.11 c | 73916 | 19805 114617 389827 | 2147483647 50942 9 | 3.937 % |
7.05/7.15 c | 74150 | 19795 114617 389827 | 2147483647 51176 9 | 3.937 % |
7.05/7.17 c | 74406 | 19776 114617 389827 | 2147483647 51428 9 | 4.171 % |
7.15/7.20 c | 74687 | 19776 114617 389827 | 2147483647 51709 9 | 4.171 % |
7.15/7.23 c | 74997 | 19776 114617 389827 | 2147483647 52019 9 | 4.171 % |
7.15/7.26 c | 75338 | 19768 114617 389827 | 2147483647 52358 9 | 4.239 % |
7.25/7.36 c | 75711 | 19735 114617 389827 | 2147483647 52731 9 | 4.239 % |
7.35/7.40 c | 76120 | 19735 114617 389827 | 2147483647 53140 9 | 4.239 % |
7.35/7.49 c | 76570 | 19732 114617 389827 | 2147483647 53588 9 | 4.253 % |
7.56/7.60 c | 77063 | 19732 114617 389827 | 2147483647 54081 9 | 4.253 % |
7.66/7.76 c | 77605 | 19732 114617 389827 | 2147483647 54622 9 | 4.258 % |
7.75/7.89 c | 78202 | 19728 114617 389827 | 2147483647 55218 9 | 4.273 % |
8.05/8.11 c | 78857 | 19694 113603 386518 | 2147483647 50765 9 | 4.273 % |
8.15/8.23 c | 79577 | 19652 113603 386518 | 2147483647 51475 9 | 5.186 % |
8.25/8.34 c | 80369 | 19628 113603 386518 | 2147483647 52262 9 | 5.376 % |
8.35/8.43 c | 81241 | 19619 113603 386518 | 2147483647 53131 9 | 5.420 % |
8.55/8.60 c | 82199 | 19605 113603 386518 | 2147483647 54085 9 | 5.497 % |
8.55/8.66 c | 82299 | 19427 112102 381833 | 2147483647 51848 9 | 5.570 % |
8.55/8.69 c | 82409 | 19427 112102 381833 | 2147483647 51958 9 | 5.570 % |
8.55/8.70 c | 82530 | 19427 112102 381833 | 2147483647 52079 9 | 5.570 % |
8.66/8.70 c | 82664 | 19427 112102 381833 | 2147483647 52213 9 | 5.570 % |
8.66/8.72 c | 82811 | 19427 112102 381833 | 2147483647 52360 9 | 5.570 % |
8.66/8.76 c | 82971 | 19420 112102 381833 | 2147483647 52517 9 | 5.604 % |
8.76/8.83 c | 83148 | 19420 112102 381833 | 2147483647 52694 9 | 5.604 % |
8.76/8.88 c | 83342 | 19420 112102 381833 | 2147483647 52888 9 | 5.604 % |
8.76/8.89 c | 83554 | 19420 112102 381833 | 2147483647 53100 9 | 5.604 % |
8.85/8.95 c | 83787 | 19416 112102 381833 | 2147483647 53332 9 | 5.638 % |
8.95/9.04 c | 84044 | 19401 112102 381833 | 2147483647 53587 9 | 5.707 % |
8.95/9.06 c | 84325 | 19401 112102 381833 | 2147483647 53868 9 | 5.707 % |
9.05/9.10 c | 84635 | 19401 112102 381833 | 2147483647 54178 9 | 5.707 % |
9.05/9.18 c | 84974 | 19401 112102 381833 | 2147483647 54517 9 | 5.707 % |
9.05/9.19 c | 85346 | 19401 112102 381833 | 2147483647 54889 9 | 5.707 % |
9.15/9.20 c | 85755 | 19401 112102 381833 | 2147483647 55298 9 | 5.707 % |
9.15/9.21 c | 86204 | 19401 112102 381833 | 2147483647 55747 9 | 5.707 % |
9.15/9.24 c | 86698 | 19389 112102 381833 | 2147483647 56238 9 | 5.770 % |
9.15/9.28 c | 87240 | 19387 112102 381833 | 2147483647 56779 9 | 5.784 % |
9.25/9.30 c | 87836 | 19387 112102 381833 | 2147483647 57375 9 | 5.784 % |
9.25/9.35 c | 88491 | 19387 112102 381833 | 2147483647 58030 9 | 5.784 % |
9.25/9.37 c | 89211 | 19387 112102 381833 | 2147483647 58750 9 | 5.784 % |
9.35/9.40 c | 90003 | 19387 112102 381833 | 2147483647 59542 9 | 5.784 % |
9.35/9.46 c | 90874 | 19387 112102 381833 | 2147483647 60413 9 | 5.784 % |
9.45/9.54 c | 91833 | 19383 111761 380734 | 2147483647 59415 9 | 5.784 % |
9.45/9.60 c | 92886 | 19383 111761 380734 | 2147483647 60468 9 | 5.784 % |
9.55/9.61 c | 92986 | 19383 111761 380734 | 2147483647 60568 9 | 5.784 % |
9.55/9.62 c | 93097 | 19383 111761 380734 | 2147483647 60679 9 | 5.784 % |
9.55/9.63 c | 93219 | 19377 111761 380734 | 2147483647 60800 9 | 5.813 % |
9.55/9.66 c | 93352 | 19377 111761 380734 | 2147483647 60933 9 | 5.813 % |
9.55/9.68 c | 93498 | 19377 111761 380734 | 2147483647 61079 9 | 5.813 % |
9.55/9.70 c | 93660 | 19377 111761 380734 | 2147483647 61241 9 | 5.813 % |
9.64/9.72 c | 93836 | 19377 111761 380734 | 2147483647 61417 9 | 5.813 % |
9.64/9.73 c | 94029 | 19377 111761 380734 | 2147483647 61610 9 | 5.813 % |
9.64/9.74 c | 94241 | 19377 111761 380734 | 2147483647 61822 9 | 5.813 % |
9.75/9.83 c | 94476 | 19369 111761 380734 | 2147483647 62054 9 | 5.901 % |
9.75/9.88 c | 94732 | 19369 111761 380734 | 2147483647 62310 9 | 5.901 % |
9.85/9.95 c | 95013 | 19367 111761 380734 | 2147483647 62589 9 | 5.916 % |
9.85/9.99 c | 95323 | 19367 111761 380734 | 2147483647 62899 9 | 5.916 % |
9.94/10.05 c | 95662 | 19367 111761 380734 | 2147483647 63238 9 | 5.916 % |
9.94/10.08 c | 96034 | 19367 111761 380734 | 2147483647 63610 9 | 5.916 % |
10.04/10.17 c | 96443 | 19367 111761 380734 | 2147483647 64019 9 | 5.916 % |
10.24/10.30 c | 96894 | 19367 111761 380734 | 2147483647 64470 9 | 5.916 % |
10.24/10.35 c | 97388 | 19367 111761 380734 | 2147483647 64964 9 | 5.916 % |
10.34/10.42 c | 97930 | 19367 111761 380734 | 2147483647 65506 9 | 5.916 % |
10.34/10.47 c | 98527 | 19355 111615 380281 | 2147483647 64706 9 | 5.920 % |
10.54/10.60 c | 99182 | 19349 111615 380281 | 2147483647 65359 9 | 5.959 % |
10.64/10.76 c | 99904 | 19348 111615 380281 | 2147483647 66081 9 | 5.959 % |
10.74/10.81 c | 100696 | 19348 111615 380281 | 2147483647 66873 9 | 5.959 % |
10.74/10.88 c | 101568 | 19348 111615 380281 | 2147483647 67745 9 | 5.959 % |
10.85/10.93 c | 102527 | 19348 111615 380281 | 2147483647 68704 9 | 5.959 % |
11.04/11.19 c | 103580 | 19333 111615 380281 | 2147483647 69756 10 | 6.056 % |
11.34/11.43 c | 104738 | 19332 111615 380281 | 2147483647 70913 10 | 6.061 % |
11.34/11.46 c | 104842 | 19326 111362 379432 | 2147483647 69373 10 | 6.061 % |
11.34/11.49 c | 104953 | 19326 111362 379432 | 2147483647 69484 10 | 6.061 % |
11.34/11.49 c | 105074 | 19326 111362 379432 | 2147483647 69605 10 | 6.061 % |
11.44/11.54 c | 105207 | 19326 111362 379432 | 2147483647 69738 10 | 6.061 % |
11.44/11.58 c | 105353 | 19326 111362 379432 | 2147483647 69884 10 | 6.061 % |
11.54/11.63 c | 105514 | 19326 111362 379432 | 2147483647 70045 10 | 6.061 % |
11.54/11.67 c | 105690 | 19324 111362 379432 | 2147483647 70220 10 | 6.086 % |
11.64/11.72 c | 105883 | 19324 111362 379432 | 2147483647 70413 10 | 6.086 % |
11.64/11.76 c | 106097 | 19324 111362 379432 | 2147483647 70627 10 | 6.086 % |
11.74/11.80 c | 106331 | 19324 111362 379432 | 2147483647 70861 10 | 6.086 % |
11.84/11.90 c | 106588 | 19324 111362 379432 | 2147483647 71118 10 | 6.086 % |
11.84/11.94 c | 106869 | 19324 111362 379432 | 2147483647 71399 10 | 6.086 % |
11.84/11.98 c | 107181 | 19324 111362 379432 | 2147483647 71711 10 | 6.086 % |
11.94/12.06 c | 107520 | 19324 111362 379432 | 2147483647 72050 10 | 6.086 % |
12.04/12.18 c | 107892 | 19324 111362 379432 | 2147483647 72422 10 | 6.086 % |
12.14/12.25 c | 108301 | 19324 111362 379432 | 2147483647 72831 10 | 6.086 % |
12.24/12.30 c | 108750 | 19324 111362 379432 | 2147483647 73280 10 | 6.086 % |
12.34/12.42 c | 109243 | 19310 111362 379432 | 2147483647 73770 10 | 6.231 % |
12.34/12.49 c | 109786 | 19306 111362 379432 | 2147483647 74313 10 | 6.231 % |
12.54/12.60 c | 110383 | 19303 111362 379432 | 2147483647 74909 10 | 6.251 % |
12.64/12.74 c | 111038 | 19302 111362 379432 | 2147483647 75564 10 | 6.251 % |
12.94/13.06 c | 111758 | 19286 111072 378481 | 2147483647 75468 10 | 6.256 % |
13.14/13.23 c | 112552 | 19286 111072 378481 | 2147483647 76262 10 | 6.256 % |
13.33/13.45 c | 113423 | 19284 111072 378481 | 2147483647 77132 10 | 6.265 % |
13.53/13.61 c | 114381 | 19284 111072 378481 | 2147483647 78090 10 | 6.265 % |
13.63/13.79 c | 115435 | 19284 111072 378481 | 2147483647 79144 11 | 6.265 % |
13.93/14.02 c | 116593 | 19245 111072 378481 | 2147483647 80301 11 | 6.684 % |
14.33/14.43 c | 117867 | 19197 110502 376573 | 2147483647 79988 11 | 6.688 % |
14.33/14.43 c | 117967 | 19197 110502 376573 | 2147483647 80088 11 | 6.688 % |
14.33/14.48 c | 118077 | 19197 110502 376573 | 2147483647 80198 11 | 6.688 % |
14.43/14.51 c | 118199 | 19197 110502 376573 | 2147483647 80320 11 | 6.688 % |
14.43/14.59 c | 118333 | 19197 110502 376573 | 2147483647 80454 11 | 6.688 % |
14.53/14.63 c | 118480 | 19196 110502 376573 | 2147483647 80600 11 | 6.693 % |
14.53/14.65 c | 118640 | 19196 110502 376573 | 2147483647 80760 11 | 6.693 % |
14.53/14.66 c | 118816 | 19196 110502 376573 | 2147483647 80936 11 | 6.693 % |
14.63/14.71 c | 119009 | 19196 110502 376573 | 2147483647 81129 11 | 6.693 % |
14.63/14.73 c | 119222 | 19196 110502 376573 | 2147483647 81342 11 | 6.693 % |
14.63/14.75 c | 119455 | 19196 110502 376573 | 2147483647 81575 11 | 6.693 % |
14.63/14.79 c | 119711 | 19196 110502 376573 | 2147483647 81831 11 | 6.693 % |
14.73/14.86 c | 119992 | 19196 110502 376573 | 2147483647 82112 11 | 6.693 % |
14.83/14.91 c | 120301 | 19194 110502 376573 | 2147483647 82420 11 | 6.703 % |
14.83/14.97 c | 120641 | 19194 110502 376573 | 2147483647 82760 11 | 6.703 % |
14.94/15.04 c | 121013 | 19194 110502 376573 | 2147483647 83132 11 | 6.703 % |
14.94/15.07 c | 121422 | 19194 110502 376573 | 2147483647 83541 11 | 6.703 % |
15.14/15.20 c | 121871 | 19194 110502 376573 | 2147483647 83990 11 | 6.703 % |
15.25/15.34 c | 122365 | 19194 110502 376573 | 2147483647 84484 11 | 6.703 % |
15.35/15.43 c | 122907 | 19190 110502 376573 | 2147483647 85025 11 | 6.722 % |
15.44/15.57 c | 123504 | 19184 110502 376573 | 2147483647 85621 11 | 6.752 % |
15.54/15.68 c | 124159 | 19179 110402 376267 | 2147483647 85492 11 | 6.800 % |
15.84/15.95 c | 124880 | 19178 110402 376267 | 2147483647 86212 11 | 6.805 % |
15.94/16.00 c | 125673 | 19178 110402 376267 | 2147483647 87005 11 | 6.805 % |
15.94/16.02 c | 126546 | 19178 110402 376267 | 2147483647 87878 11 | 6.805 % |
16.04/16.12 c | 127505 | 19178 110402 376267 | 2147483647 88837 11 | 6.805 % |
16.14/16.27 c | 128558 | 19175 110402 376267 | 2147483647 89889 11 | 6.820 % |
16.74/16.81 c | 129716 | 19174 110402 376267 | 2147483647 91046 11 | 6.824 % |
17.24/17.33 c | 130989 | 19158 110402 376267 | 2147483647 92315 11 | 6.951 % |
17.44/17.53 c | 132389 | 19139 110079 375202 | 2147483647 92050 11 | 6.970 % |
17.44/17.59 c | 132489 | 19139 110079 375202 | 2147483647 92150 11 | 6.970 % |
17.54/17.60 c | 132599 | 19139 110079 375202 | 2147483647 92260 11 | 6.970 % |
17.54/17.63 c | 132720 | 19139 110079 375202 | 2147483647 92381 11 | 6.970 % |
17.54/17.69 c | 132853 | 19139 110079 375202 | 2147483647 92514 11 | 6.970 % |
17.64/17.79 c | 133000 | 19139 110079 375202 | 2147483647 92661 11 | 6.970 % |
17.74/17.84 c | 133161 | 19139 110079 375202 | 2147483647 92822 11 | 6.970 % |
17.74/17.85 c | 133337 | 19129 110079 375202 | 2147483647 92994 11 | 7.029 % |
17.84/17.92 c | 133531 | 19123 110079 375202 | 2147483647 93187 11 | 7.068 % |
17.94/18.03 c | 133743 | 19123 110079 375202 | 2147483647 93399 11 | 7.068 % |
18.04/18.12 c | 133978 | 19123 110079 375202 | 2147483647 93634 11 | 7.068 % |
18.04/18.14 c | 134235 | 19123 110079 375202 | 2147483647 93891 11 | 7.068 % |
18.04/18.17 c | 134516 | 19123 110079 375202 | 2147483647 94172 11 | 7.068 % |
18.14/18.21 c | 134826 | 19121 110079 375202 | 2147483647 94481 11 | 7.111 % |
18.14/18.23 c | 135165 | 19121 110079 375202 | 2147483647 94820 11 | 7.111 % |
18.24/18.39 c | 135537 | 19121 110079 375202 | 2147483647 95192 11 | 7.111 % |
18.34/18.46 c | 135946 | 19121 110079 375202 | 2147483647 95601 11 | 7.111 % |
18.54/18.62 c | 136395 | 19121 110079 375202 | 2147483647 96050 11 | 7.111 % |
18.74/18.84 c | 136888 | 19120 110079 375202 | 2147483647 96542 11 | 7.165 % |
18.94/19.04 c | 137431 | 19120 110079 375202 | 2147483647 97085 11 | 7.165 % |
19.14/19.22 c | 138028 | 19120 110079 375202 | 2147483647 97682 11 | 7.165 % |
19.34/19.50 c | 138683 | 19099 109759 374150 | 2147483647 96574 11 | 7.165 % |
19.74/19.88 c | 139403 | 19099 109759 374150 | 2147483647 97294 12 | 7.165 % |
20.14/20.23 c | 140195 | 19093 109759 374150 | 2147483647 98085 12 | 7.204 % |
20.44/20.53 c | 141066 | 19093 109759 374150 | 2147483647 98956 12 | 7.204 % |
20.74/20.80 c | 142026 | 19093 109759 374150 | 2147483647 99916 12 | 7.204 % |
21.53/21.65 c | 143079 | 19093 109759 374150 | 2147483647 100969 13 | 7.204 % |
21.73/21.80 c | 144238 | 19091 109707 373972 | 2147483647 102109 13 | 7.204 % |
22.23/22.34 c | 145511 | 19091 109707 373972 | 2147483647 103382 13 | 7.204 % |
22.94/23.07 c | 146912 | 19090 109707 373972 | 2147483647 104782 14 | 7.208 % |
23.04/23.18 c | 148453 | 19090 109707 373972 | 2147483647 106323 14 | 7.208 % |
23.13/23.22 c | 148553 | 19090 109707 373972 | 2147483647 106423 14 | 7.208 % |
23.23/23.32 c | 148663 | 19090 109707 373972 | 2147483647 106533 14 | 7.208 % |
23.23/23.40 c | 148785 | 19090 109707 373972 | 2147483647 106655 14 | 7.208 % |
23.33/23.48 c | 148918 | 19090 109707 373972 | 2147483647 106788 14 | 7.208 % |
23.43/23.53 c | 149065 | 19090 109707 373972 | 2147483647 106935 14 | 7.208 % |
23.53/23.61 c | 149225 | 19090 109707 373972 | 2147483647 107095 14 | 7.208 % |
23.53/23.63 c | 149403 | 19090 109707 373972 | 2147483647 107273 14 | 7.208 % |
23.53/23.66 c | 149596 | 19090 109707 373972 | 2147483647 107466 14 | 7.208 % |
23.73/23.80 c | 149808 | 19090 109707 373972 | 2147483647 107678 14 | 7.208 % |
23.73/23.87 c | 150041 | 19088 109707 373972 | 2147483647 107910 14 | 7.228 % |
23.83/23.98 c | 150298 | 19086 109677 373876 | 2147483647 108107 14 | 7.228 % |
23.93/24.01 c | 150579 | 19086 109677 373876 | 2147483647 108388 14 | 7.228 % |
24.14/24.27 c | 150889 | 19086 109677 373876 | 2147483647 108698 14 | 7.228 % |
24.23/24.38 c | 151228 | 19086 109677 373876 | 2147483647 109036 14 | 7.233 % |
24.53/24.61 c | 151600 | 19086 109677 373876 | 2147483647 109408 14 | 7.233 % |
24.63/24.76 c | 152009 | 19086 109677 373876 | 2147483647 109817 14 | 7.233 % |
24.73/24.88 c | 152459 | 19086 109677 373876 | 2147483647 110267 14 | 7.233 % |
24.93/25.08 c | 152952 | 19086 109677 373876 | 2147483647 110760 14 | 7.233 % |
25.23/25.31 c | 153494 | 19086 109677 373876 | 2147483647 111302 14 | 7.233 % |
25.53/25.60 c | 154091 | 19086 109677 373876 | 2147483647 111899 14 | 7.233 % |
25.93/26.00 c | 154747 | 19086 109677 373876 | 2147483647 112555 15 | 7.233 % |
26.13/26.28 c | 155467 | 19086 109677 373876 | 2147483647 113275 15 | 7.233 % |
26.93/27.02 c | 156261 | 19086 109677 373876 | 2147483647 114069 16 | 7.233 % |
27.43/27.55 c | 157134 | 19085 109671 373856 | 2147483647 114941 16 | 7.233 % |
28.12/28.27 c | 158092 | 19085 109671 373856 | 2147483647 115899 16 | 7.233 % |
28.32/28.49 c | 159146 | 19085 109671 373856 | 2147483647 116953 16 | 7.233 % |
29.43/29.52 c | 160304 | 19085 109671 373856 | 2147483647 118111 18 | 7.233 % |
30.13/30.22 c | 161577 | 19085 109671 373856 | 2147483647 119384 18 | 7.233 % |
30.73/30.86 c | 162978 | 19082 109631 373722 | 2147483647 120262 18 | 7.247 % |
31.63/31.77 c | 164519 | 19082 109631 373722 | 2147483647 121803 19 | 7.247 % |
33.32/33.44 c | 166213 | 19082 109631 373722 | 2147483647 123497 20 | 7.247 % |
33.32/33.47 c | 166315 | 19082 109631 373722 | 2147483647 123599 20 | 7.247 % |
33.42/33.52 c | 166426 | 19082 109631 373722 | 2147483647 123710 20 | 7.247 % |
33.42/33.54 c | 166548 | 19082 109631 373722 | 2147483647 123832 20 | 7.247 % |
33.52/33.65 c | 166683 | 19081 109631 373722 | 2147483647 123966 20 | 7.252 % |
33.52/33.65 c | 166829 | 19081 109631 373722 | 2147483647 124112 20 | 7.252 % |
33.62/33.78 c | 166989 | 19081 109631 373722 | 2147483647 124272 20 | 7.252 % |
33.72/33.85 c | 167165 | 19081 109631 373722 | 2147483647 124448 20 | 7.252 % |
33.82/33.92 c | 167358 | 19081 109631 373722 | 2147483647 124641 20 | 7.252 % |
33.82/33.99 c | 167570 | 19081 109631 373722 | 2147483647 124853 20 | 7.252 % |
33.92/34.07 c | 167803 | 19081 109631 373722 | 2147483647 125086 20 | 7.252 % |
33.92/34.09 c | 168059 | 19081 109631 373722 | 2147483647 125342 20 | 7.252 % |
34.22/34.39 c | 168341 | 19081 109626 373710 | 2147483647 125623 20 | 7.252 % |
34.42/34.58 c | 168650 | 19081 109626 373710 | 2147483647 125932 20 | 7.252 % |
34.62/34.77 c | 168989 | 19081 109626 373710 | 2147483647 126271 20 | 7.252 % |
34.92/35.03 c | 169362 | 19081 109626 373710 | 2147483647 126644 20 | 7.252 % |
35.12/35.26 c | 169771 | 19081 109626 373710 | 2147483647 127053 20 | 7.252 % |
35.43/35.52 c | 170221 | 19081 109626 373710 | 2147483647 127503 20 | 7.252 % |
35.43/35.58 c | 170714 | 19081 109626 373710 | 2147483647 127996 20 | 7.252 % |
35.73/35.85 c | 171257 | 19081 109626 373710 | 2147483647 128539 20 | 7.252 % |
36.13/36.26 c | 171854 | 19081 109626 373710 | 2147483647 129136 21 | 7.252 % |
36.43/36.57 c | 172509 | 19081 109626 373710 | 2147483647 129791 21 | 7.252 % |
37.03/37.18 c | 173229 | 19081 109626 373710 | 2147483647 130511 21 | 7.252 % |
37.53/37.67 c | 174021 | 19081 109626 373710 | 2147483647 131303 22 | 7.252 % |
38.32/38.48 c | 174893 | 19081 109626 373710 | 2147483647 132175 22 | 7.252 % |
39.22/39.34 c | 175851 | 19081 109626 373710 | 2147483647 133133 23 | 7.252 % |
40.02/40.14 c | 176905 | 19081 109626 373710 | 2147483647 134187 24 | 7.252 % |
40.72/40.88 c | 178063 | 19081 109626 373710 | 2147483647 135345 24 | 7.252 % |
41.72/41.86 c | 179336 | 19081 109626 373710 | 2147483647 136618 24 | 7.252 % |
43.22/43.36 c | 180736 | 19081 109626 373710 | 2147483647 138018 26 | 7.252 % |
44.92/45.08 c | 182278 | 19081 109626 373710 | 2147483647 139560 28 | 7.252 % |
46.42/46.53 c | 183972 | 19081 109626 373710 | 2147483647 141254 29 | 7.252 % |
47.52/47.63 c | 185835 | 19079 109618 373682 | 2147483647 143106 29 | 7.262 % |
47.62/47.74 c | 185935 | 19079 109618 373682 | 2147483647 143206 29 | 7.262 % |
47.62/47.79 c | 186045 | 19079 109618 373682 | 2147483647 143316 29 | 7.262 % |
47.72/47.86 c | 186166 | 19079 109618 373682 | 2147483647 143437 29 | 7.262 % |
47.82/47.97 c | 186299 | 19079 109618 373682 | 2147483647 143570 29 | 7.262 % |
47.92/48.05 c | 186445 | 19079 109618 373682 | 2147483647 143716 29 | 7.262 % |
48.12/48.20 c | 186605 | 19079 109618 373682 | 2147483647 143876 29 | 7.262 % |
48.12/48.29 c | 186781 | 19079 109618 373682 | 2147483647 144052 29 | 7.262 % |
48.32/48.41 c | 186974 | 19079 109618 373682 | 2147483647 144245 29 | 7.262 % |
48.42/48.56 c | 187186 | 19079 109618 373682 | 2147483647 144457 29 | 7.262 % |
48.62/48.72 c | 187421 | 19079 109618 373682 | 2147483647 144692 29 | 7.262 % |
48.72/48.83 c | 187679 | 19079 109618 373682 | 2147483647 144950 29 | 7.262 % |
48.92/49.00 c | 187960 | 19077 109618 373682 | 2147483647 145230 29 | 7.272 % |
49.02/49.19 c | 188270 | 19077 109618 373682 | 2147483647 145540 29 | 7.272 % |
49.22/49.39 c | 188609 | 19077 109618 373682 | 2147483647 145879 29 | 7.272 % |
49.51/49.68 c | 188982 | 19077 109618 373682 | 2147483647 146252 29 | 7.272 % |
49.81/49.94 c | 189392 | 19077 109618 373682 | 2147483647 146662 29 | 7.272 % |
50.01/50.19 c | 189841 | 19077 109618 373682 | 2147483647 147111 29 | 7.272 % |
50.52/50.65 c | 190334 | 19077 109618 373682 | 2147483647 147604 29 | 7.272 % |
50.81/50.91 c | 190877 | 19077 109618 373682 | 2147483647 148147 29 | 7.272 % |
51.11/51.20 c | 191473 | 19077 109618 373682 | 2147483647 148743 29 | 7.272 % |
51.92/52.02 c | 192129 | 19077 109618 373682 | 2147483647 149399 30 | 7.272 % |
52.32/52.41 c | 192849 | 19077 109618 373682 | 2147483647 150119 30 | 7.272 % |
52.91/53.06 c | 193641 | 19077 109618 373682 | 2147483647 150911 30 | 7.272 % |
53.51/53.68 c | 194512 | 19077 109618 373682 | 2147483647 151782 30 | 7.272 % |
54.21/54.36 c | 195470 | 19077 109618 373682 | 2147483647 152740 30 | 7.272 % |
54.61/54.75 c | 196524 | 19077 109618 373682 | 2147483647 153794 30 | 7.272 % |
55.40/55.53 c | 197683 | 19077 109618 373682 | 2147483647 154953 30 | 7.272 % |
56.01/56.18 c | 198956 | 19077 109618 373682 | 2147483647 156226 30 | 7.272 % |
57.00/57.11 c | 200356 | 19077 109602 373626 | 2147483647 157621 31 | 7.272 % |
58.10/58.23 c | 201898 | 19077 109602 373626 | 2147483647 159163 31 | 7.272 % |
59.50/59.68 c | 203592 | 19077 109602 373626 | 2147483647 160857 32 | 7.272 % |
60.70/60.81 c | 205456 | 19077 109602 373626 | 2147483647 162721 32 | 7.272 % |
62.50/62.61 c | 207506 | 19077 109602 373626 | 2147483647 164771 32 | 7.272 % |
62.50/62.66 c | 207607 | 19077 109602 373626 | 2147483647 164872 32 | 7.272 % |
62.60/62.76 c | 207718 | 19077 109602 373626 | 2147483647 164983 32 | 7.272 % |
62.80/62.91 c | 207839 | 19077 109602 373626 | 2147483647 165104 32 | 7.272 % |
62.90/63.01 c | 207972 | 19077 109602 373626 | 2147483647 165237 32 | 7.272 % |
63.00/63.14 c | 208118 | 19077 109602 373626 | 2147483647 165383 32 | 7.272 % |
63.10/63.29 c | 208279 | 19077 109602 373626 | 2147483647 165544 32 | 7.272 % |
63.30/63.47 c | 208455 | 19077 109602 373626 | 2147483647 165720 32 | 7.272 % |
63.50/63.61 c | 208648 | 19077 109602 373626 | 2147483647 165913 32 | 7.272 % |
63.60/63.77 c | 208860 | 19077 109602 373626 | 2147483647 166125 32 | 7.272 % |
63.90/64.03 c | 209093 | 19077 109602 373626 | 2147483647 166358 33 | 7.272 % |
64.09/64.24 c | 209350 | 19077 109602 373626 | 2147483647 166615 33 | 7.272 % |
64.29/64.45 c | 209631 | 19077 109602 373626 | 2147483647 166896 33 | 7.272 % |
64.70/64.81 c | 209941 | 19077 109602 373626 | 2147483647 167206 33 | 7.272 % |
64.89/65.06 c | 210280 | 19077 109602 373626 | 2147483647 167545 33 | 7.272 % |
65.19/65.30 c | 210653 | 19077 109602 373626 | 2147483647 167918 33 | 7.272 % |
65.49/65.60 c | 211062 | 19077 109602 373626 | 2147483647 168327 33 | 7.272 % |
65.80/65.98 c | 211511 | 19077 109602 373626 | 2147483647 168776 33 | 7.272 % |
66.29/66.47 c | 212005 | 19077 109602 373626 | 2147483647 169270 33 | 7.272 % |
66.89/67.08 c | 212547 | 19077 109602 373626 | 2147483647 169812 33 | 7.272 % |
67.59/67.71 c | 213144 | 19077 109602 373626 | 2147483647 170409 34 | 7.272 % |
67.89/68.07 c | 213799 | 19077 109602 373626 | 2147483647 171064 33 | 7.272 % |
68.39/68.54 c | 214520 | 19072 109595 373603 | 2147483647 171782 34 | 7.320 % |
69.00/69.15 c | 215312 | 19072 109595 373603 | 2147483647 172574 34 | 7.320 % |
69.99/70.11 c | 216183 | 19072 109595 373603 | 2147483647 173445 34 | 7.320 % |
70.69/70.81 c | 217145 | 19072 109595 373603 | 2147483647 174407 34 | 7.320 % |
71.39/71.58 c | 218198 | 19072 109595 373603 | 2147483647 175460 35 | 7.320 % |
72.29/72.43 c | 219356 | 19072 109595 373603 | 2147483647 176618 35 | 7.320 % |
73.29/73.49 c | 220629 | 19072 109595 373603 | 2147483647 177891 35 | 7.320 % |
75.49/75.63 c | 222032 | 19072 109595 373603 | 2147483647 179294 36 | 7.320 % |
77.89/78.09 c | 223572 | 19072 109595 373603 | 2147483647 180834 38 | 7.320 % |
79.78/79.95 c | 225266 | 19072 109595 373603 | 2147483647 182528 38 | 7.320 % |
83.08/83.30 c | 227130 | 19072 109595 373603 | 2147483647 184392 40 | 7.320 % |
85.18/85.31 c | 229179 | 19067 109512 373333 | 2147483647 184742 41 | 7.320 % |
87.19/87.32 c | 231432 | 19067 109512 373333 | 2147483647 186995 41 | 7.320 % |
87.19/87.38 c | 231532 | 19067 109512 373333 | 2147483647 187095 41 | 7.320 % |
87.39/87.51 c | 231643 | 19067 109512 373333 | 2147483647 187206 41 | 7.320 % |
87.49/87.66 c | 231765 | 19067 109512 373333 | 2147483647 187328 41 | 7.320 % |
87.69/87.80 c | 231899 | 19067 109512 373333 | 2147483647 187462 41 | 7.320 % |
87.79/87.99 c | 232047 | 19067 109512 373333 | 2147483647 187610 41 | 7.320 % |
87.89/88.08 c | 232207 | 19067 109512 373333 | 2147483647 187769 41 | 7.335 % |
87.99/88.15 c | 232384 | 19067 109512 373333 | 2147483647 187946 41 | 7.335 % |
88.09/88.22 c | 232578 | 19067 109512 373333 | 2147483647 188140 41 | 7.335 % |
88.29/88.43 c | 232791 | 19067 109512 373333 | 2147483647 188353 41 | 7.335 % |
88.39/88.58 c | 233024 | 19067 109512 373333 | 2147483647 188586 41 | 7.335 % |
88.68/88.82 c | 233281 | 19067 109512 373333 | 2147483647 188843 41 | 7.335 % |
88.89/89.04 c | 233562 | 19067 109512 373333 | 2147483647 189124 41 | 7.335 % |
89.28/89.43 c | 233873 | 19067 109512 373333 | 2147483647 189435 41 | 7.335 % |
89.58/89.77 c | 234212 | 19067 109512 373333 | 2147483647 189774 41 | 7.335 % |
89.99/90.11 c | 234584 | 19067 109512 373333 | 2147483647 190146 41 | 7.335 % |
90.28/90.47 c | 234994 | 19067 109512 373333 | 2147483647 190556 41 | 7.335 % |
90.68/90.89 c | 235443 | 19067 109512 373333 | 2147483647 191005 41 | 7.335 % |
90.98/91.11 c | 235936 | 19067 109512 373333 | 2147483647 191498 41 | 7.335 % |
91.48/91.61 c | 236479 | 19067 109512 373333 | 2147483647 192041 41 | 7.335 % |
92.18/92.37 c | 237075 | 19067 109512 373333 | 2147483647 192637 42 | 7.335 % |
92.68/92.84 c | 237730 | 19067 109512 373333 | 2147483647 193292 42 | 7.335 % |
93.28/93.48 c | 238451 | 19065 109512 373333 | 2147483647 194012 42 | 7.345 % |
94.18/94.37 c | 239243 | 19065 109512 373333 | 2147483647 194804 42 | 7.345 % |
95.88/96.05 c | 240114 | 19065 109512 373333 | 2147483647 195675 42 | 7.345 % |
96.59/96.79 c | 241072 | 19065 109512 373333 | 2147483647 196633 43 | 7.345 % |
97.68/97.80 c | 242125 | 19065 109512 373333 | 2147483647 197686 43 | 7.345 % |
98.98/99.19 c | 243283 | 19065 109512 373333 | 2147483647 198844 43 | 7.345 % |
100.48/100.67 c | 244556 | 19065 109512 373333 | 2147483647 200117 44 | 7.345 % |
102.18/102.39 c | 245958 | 19062 109463 373183 | 2147483647 201344 44 | 7.345 % |
104.17/104.31 c | 247498 | 19062 109463 373183 | 2147483647 202884 45 | 7.345 % |
105.67/105.87 c | 249192 | 19061 109463 373183 | 2147483647 204577 45 | 7.354 % |
108.47/108.67 c | 251055 | 19061 109463 373183 | 2147483647 206440 46 | 7.354 % |
110.47/110.60 c | 253104 | 19061 109463 373183 | 2147483647 208489 47 | 7.354 % |
113.17/113.31 c | 255357 | 19061 109463 373183 | 2147483647 210742 47 | 7.354 % |
116.08/116.29 c | 257835 | 19061 109463 373183 | 2147483647 213220 49 | 7.354 % |
116.28/116.41 c | 257935 | 19061 109463 373183 | 2147483647 213320 49 | 7.354 % |
116.38/116.55 c | 258045 | 19061 109463 373183 | 2147483647 213430 49 | 7.354 % |
116.58/116.75 c | 258166 | 19061 109463 373183 | 2147483647 213551 49 | 7.354 % |
116.78/116.91 c | 258299 | 19061 109463 373183 | 2147483647 213684 49 | 7.354 % |
116.98/117.17 c | 258446 | 19061 109463 373183 | 2147483647 213831 49 | 7.354 % |
117.18/117.34 c | 258606 | 19061 109463 373183 | 2147483647 213991 49 | 7.354 % |
117.48/117.64 c | 258783 | 19061 109463 373183 | 2147483647 214168 49 | 7.354 % |
117.58/117.80 c | 258978 | 19061 109463 373183 | 2147483647 214363 49 | 7.354 % |
117.78/117.99 c | 259191 | 19061 109463 373183 | 2147483647 214576 49 | 7.354 % |
118.07/118.23 c | 259424 | 19061 109463 373183 | 2147483647 214809 49 | 7.354 % |
118.27/118.49 c | 259681 | 19061 109463 373183 | 2147483647 215066 49 | 7.354 % |
118.58/118.74 c | 259963 | 19061 109463 373183 | 2147483647 215348 49 | 7.354 % |
118.97/119.15 c | 260273 | 19061 109463 373183 | 2147483647 215658 49 | 7.354 % |
119.27/119.44 c | 260612 | 19061 109463 373183 | 2147483647 215997 49 | 7.354 % |
119.67/119.89 c | 260987 | 19061 109463 373183 | 2147483647 216372 49 | 7.354 % |
120.17/120.35 c | 261396 | 19061 109463 373183 | 2147483647 216781 49 | 7.354 % |
120.57/120.75 c | 261845 | 19061 109463 373183 | 2147483647 217230 49 | 7.354 % |
120.67/120.82 c | 262339 | 19061 109463 373183 | 2147483647 217724 49 | 7.354 % |
121.07/121.29 c | 262881 | 19061 109463 373183 | 2147483647 218266 49 | 7.354 % |
121.77/121.99 c | 263477 | 19061 109463 373183 | 2147483647 218862 49 | 7.354 % |
122.57/122.79 c | 264133 | 19061 109463 373183 | 2147483647 219518 49 | 7.354 % |
123.46/123.68 c | 264853 | 19060 109453 373157 | 2147483647 220222 49 | 7.354 % |
124.46/124.64 c | 265645 | 19060 109453 373157 | 2147483647 221014 49 | 7.354 % |
125.36/125.51 c | 266516 | 19060 109453 373157 | 2147483647 221885 49 | 7.354 % |
126.57/126.74 c | 267474 | 19060 109453 373157 | 2147483647 222843 49 | 7.354 % |
127.67/127.89 c | 268528 | 19060 109453 373157 | 2147483647 223897 49 | 7.354 % |
128.96/129.18 c | 269686 | 19059 109453 373157 | 2147483647 225054 50 | 7.359 % |
129.86/130.01 c | 270960 | 19059 109453 373157 | 2147483647 226328 50 | 7.359 % |
131.66/131.85 c | 272360 | 19059 109453 373157 | 2147483647 227728 50 | 7.359 % |
133.66/133.89 c | 273901 | 19059 109453 373157 | 2147483647 229269 51 | 7.359 % |
136.16/136.33 c | 275596 | 19059 109453 373157 | 2147483647 230964 52 | 7.359 % |
138.36/138.56 c | 277460 | 19059 109453 373157 | 2147483647 232828 52 | 7.359 % |
140.66/140.83 c | 279509 | 19059 109453 373157 | 2147483647 234877 52 | 7.359 % |
144.05/144.21 c | 281764 | 19059 109453 373157 | 2147483647 237132 54 | 7.359 % |
146.06/146.25 c | 284243 | 19059 109453 373157 | 2147483647 239611 54 | 7.359 % |
150.66/150.86 c | 286968 | 19059 109453 373157 | 2147483647 242336 55 | 7.359 % |
150.96/151.10 c | 287068 | 19059 109448 373145 | 2147483647 242436 55 | 7.359 % |
151.06/151.25 c | 287178 | 19059 109448 373145 | 2147483647 242546 55 | 7.359 % |
151.16/151.36 c | 287299 | 19059 109448 373145 | 2147483647 242667 55 | 7.359 % |
151.36/151.50 c | 287432 | 19059 109448 373145 | 2147483647 242800 55 | 7.359 % |
151.46/151.68 c | 287578 | 19059 109448 373145 | 2147483647 242946 55 | 7.359 % |
151.66/151.86 c | 287738 | 19059 109448 373145 | 2147483647 243106 55 | 7.359 % |
151.96/152.17 c | 287915 | 19059 109448 373145 | 2147483647 243283 55 | 7.359 % |
152.16/152.36 c | 288108 | 19059 109448 373145 | 2147483647 243476 55 | 7.359 % |
152.26/152.45 c | 288320 | 19059 109448 373145 | 2147483647 243688 55 | 7.359 % |
152.66/152.83 c | 288554 | 19059 109448 373145 | 2147483647 243922 55 | 7.359 % |
152.85/153.03 c | 288810 | 19059 109448 373145 | 2147483647 244178 55 | 7.359 % |
152.95/153.19 c | 289092 | 19059 109448 373145 | 2147483647 244460 55 | 7.359 % |
153.45/153.63 c | 289401 | 19059 109448 373145 | 2147483647 244769 55 | 7.359 % |
153.76/153.93 c | 289740 | 19059 109448 373145 | 2147483647 245108 55 | 7.359 % |
154.35/154.56 c | 290112 | 19059 109448 373145 | 2147483647 245480 55 | 7.359 % |
154.85/155.07 c | 290522 | 19059 109448 373145 | 2147483647 245890 55 | 7.359 % |
155.35/155.59 c | 290972 | 19059 109448 373145 | 2147483647 246340 55 | 7.359 % |
156.15/156.33 c | 291466 | 19059 109448 373145 | 2147483647 246834 55 | 7.359 % |
156.85/157.00 c | 292008 | 19059 109448 373145 | 2147483647 247376 55 | 7.359 % |
158.15/158.34 c | 292606 | 19059 109448 373145 | 2147483647 247974 56 | 7.359 % |
158.65/158.83 c | 293261 | 19059 109448 373145 | 2147483647 248629 56 | 7.359 % |
159.25/159.49 c | 293982 | 19059 109448 373145 | 2147483647 249350 56 | 7.359 % |
160.94/161.11 c | 294774 | 19059 109448 373145 | 2147483647 250142 56 | 7.359 % |
161.74/161.91 c | 295645 | 19059 109448 373145 | 2147483647 251013 56 | 7.359 % |
162.94/163.19 c | 296605 | 19059 109448 373145 | 2147483647 251973 56 | 7.359 % |
163.94/164.17 c | 297659 | 19059 109448 373145 | 2147483647 253027 56 | 7.359 % |
165.75/165.94 c | 298818 | 19059 109448 373145 | 2147483647 254186 57 | 7.359 % |
167.05/167.21 c | 300092 | 19059 109448 373145 | 2147483647 255460 57 | 7.359 % |
169.35/169.55 c | 301494 | 19050 109448 373145 | 2147483647 256858 57 | 7.408 % |
171.74/171.98 c | 303034 | 19050 109448 373145 | 2147483647 258398 58 | 7.408 % |
174.13/174.34 c | 304728 | 19050 109448 373145 | 2147483647 260092 58 | 7.408 % |
177.03/177.23 c | 306592 | 19050 109448 373145 | 2147483647 261956 58 | 7.408 % |
180.23/180.43 c | 308644 | 19050 109448 373145 | 2147483647 264008 59 | 7.408 % |
183.44/183.61 c | 310898 | 19050 109448 373145 | 265366 266262 59 | 7.408 % |
186.83/187.02 c | 313376 | 19050 109448 373145 | 265366 268740 60 | 7.408 % |
190.53/190.76 c | 316102 | 19050 109448 373145 | 265366 238778 65 | 7.408 % |
195.43/195.70 c | 319099 | 19049 109360 372867 | 265366 240371 66 | 7.408 % |
195.54/195.74 c | 319202 | 19049 109360 372867 | 265366 240474 66 | 7.408 % |
195.54/195.80 c | 319314 | 19049 109360 372867 | 265366 240586 66 | 7.408 % |
195.64/195.86 c | 319436 | 19049 109360 372867 | 265366 240708 66 | 7.408 % |
195.73/195.95 c | 319570 | 19049 109360 372867 | 265366 240842 66 | 7.408 % |
195.93/196.14 c | 319716 | 19049 109360 372867 | 265366 240988 66 | 7.408 % |
196.13/196.32 c | 319878 | 19049 109360 372867 | 265366 241150 66 | 7.408 % |
196.43/196.64 c | 320054 | 19049 109360 372867 | 2147483647 241326 66 | 7.408 % |
196.63/196.86 c | 320247 | 19049 109360 372867 | 2147483647 241519 66 | 7.408 % |
197.03/197.21 c | 320459 | 19049 109360 372867 | 2147483647 241731 66 | 7.408 % |
197.23/197.44 c | 320694 | 19049 109360 372867 | 2147483647 241966 66 | 7.408 % |
197.33/197.58 c | 320952 | 19049 109360 372867 | 2147483647 242224 66 | 7.408 % |
197.73/197.96 c | 321233 | 19049 109360 372867 | 2147483647 242505 66 | 7.408 % |
198.13/198.33 c | 321543 | 19049 109360 372867 | 2147483647 242815 66 | 7.408 % |
198.73/198.99 c | 321882 | 19049 109360 372867 | 2147483647 243154 66 | 7.408 % |
199.43/199.61 c | 322254 | 19049 109360 372867 | 2147483647 243526 66 | 7.408 % |
199.73/199.96 c | 322663 | 19049 109360 372867 | 2147483647 243935 66 | 7.408 % |
200.53/200.72 c | 323113 | 19049 109360 372867 | 2147483647 244385 66 | 7.408 % |
201.03/201.27 c | 323606 | 19049 109360 372867 | 2147483647 244878 66 | 7.408 % |
201.93/202.15 c | 324149 | 19049 109360 372867 | 2147483647 245421 66 | 7.408 % |
202.63/202.86 c | 324746 | 19049 109360 372867 | 2147483647 246018 66 | 7.408 % |
203.52/203.76 c | 325402 | 19049 109360 372867 | 2147483647 246674 66 | 7.408 % |
204.52/204.72 c | 326124 | 19049 109360 372867 | 2147483647 247396 67 | 7.408 % |
205.32/205.50 c | 326916 | 19049 109360 372867 | 2147483647 248188 66 | 7.408 % |
206.82/207.03 c | 327787 | 19049 109360 372867 | 2147483647 249059 67 | 7.408 % |
207.93/208.18 c | 328746 | 19049 109360 372867 | 2147483647 250018 67 | 7.408 % |
209.83/210.00 c | 329800 | 19049 109360 372867 | 2147483647 251072 67 | 7.408 % |
211.33/211.58 c | 330959 | 19049 109360 372867 | 2147483647 252231 67 | 7.408 % |
212.82/213.08 c | 332232 | 19049 109360 372867 | 2147483647 253504 68 | 7.408 % |
214.72/214.94 c | 333632 | 19049 109360 372867 | 2147483647 254904 68 | 7.408 % |
216.62/216.84 c | 335172 | 19049 109360 372867 | 2147483647 256444 68 | 7.408 % |
218.31/218.57 c | 336868 | 19049 109360 372867 | 2147483647 258140 68 | 7.408 % |
220.71/220.91 c | 338732 | 19049 109360 372867 | 2147483647 260004 68 | 7.408 % |
224.11/224.37 c | 340783 | 19049 109360 372867 | 261273 262055 69 | 7.408 % |
227.01/227.22 c | 343037 | 19049 109360 372867 | 261273 264309 69 | 7.408 % |
231.61/231.84 c | 345516 | 19049 109360 372867 | 261273 236947 68 | 7.408 % |
235.21/235.48 c | 348241 | 19049 109360 372867 | 261273 239672 69 | 7.408 % |
240.41/240.65 c | 351238 | 19049 109360 372867 | 2147483647 242669 70 | 7.408 % |
244.41/244.67 c | 354534 | 19049 109360 372867 | 2147483647 245965 71 | 7.408 % |
244.51/244.79 c | 354635 | 19049 109360 372867 | 2147483647 246066 71 | 7.408 % |
244.71/244.97 c | 354745 | 19049 109360 372867 | 2147483647 246176 71 | 7.408 % |
244.81/245.08 c | 354866 | 19049 109360 372867 | 2147483647 246297 71 | 7.408 % |
245.01/245.26 c | 354999 | 19049 109360 372867 | 2147483647 246430 71 | 7.408 % |
245.11/245.34 c | 355147 | 19049 109360 372867 | 2147483647 246578 71 | 7.408 % |
245.20/245.47 c | 355308 | 19049 109360 372867 | 2147483647 246739 71 | 7.408 % |
245.60/245.81 c | 355484 | 19049 109360 372867 | 2147483647 246915 71 | 7.408 % |
245.70/245.98 c | 355678 | 19049 109360 372867 | 2147483647 247109 71 | 7.408 % |
246.11/246.39 c | 355890 | 19049 109360 372867 | 2147483647 247321 71 | 7.408 % |
246.40/246.64 c | 356123 | 19049 109360 372867 | 2147483647 247554 71 | 7.408 % |
246.80/247.01 c | 356380 | 19049 109360 372867 | 2147483647 247811 71 | 7.408 % |
247.10/247.35 c | 356661 | 19049 109360 372867 | 2147483647 248092 71 | 7.408 % |
247.50/247.77 c | 356971 | 19049 109360 372867 | 2147483647 248402 71 | 7.408 % |
248.00/248.29 c | 357311 | 19049 109360 372867 | 2147483647 248742 71 | 7.408 % |
248.60/248.81 c | 357684 | 19049 109360 372867 | 2147483647 249115 71 | 7.408 % |
249.00/249.26 c | 358095 | 19049 109360 372867 | 2147483647 249526 71 | 7.408 % |
249.60/249.87 c | 358545 | 19049 109360 372867 | 2147483647 249976 71 | 7.408 % |
250.10/250.36 c | 359038 | 19049 109360 372867 | 2147483647 250469 71 | 7.408 % |
250.80/251.07 c | 359581 | 19049 109360 372867 | 2147483647 251012 71 | 7.408 % |
251.50/251.75 c | 360177 | 19049 109360 372867 | 251433 251608 71 | 7.408 % |
252.20/252.49 c | 360835 | 19049 109360 372867 | 251433 252266 71 | 7.408 % |
253.10/253.34 c | 361555 | 19049 109360 372867 | 251433 252986 71 | 7.408 % |
254.40/254.65 c | 362347 | 19049 109360 372867 | 251433 225213 76 | 7.408 % |
255.80/256.02 c | 363219 | 19049 109360 372867 | 251433 226085 76 | 7.408 % |
257.30/257.56 c | 364177 | 19049 109360 372867 | 251433 227043 76 | 7.408 % |
258.89/259.10 c | 365230 | 19049 109360 372867 | 251433 228096 77 | 7.408 % |
260.79/261.05 c | 366390 | 19049 109360 372867 | 251433 229256 77 | 7.408 % |
262.99/263.27 c | 367664 | 19048 109355 372855 | 251433 230527 77 | 7.413 % |
264.48/264.73 c | 369066 | 19048 109355 372855 | 251433 231929 77 | 7.413 % |
266.78/267.00 c | 370606 | 19048 109355 372855 | 2147483647 233469 78 | 7.413 % |
268.88/269.11 c | 372300 | 19048 109355 372855 | 2147483647 235163 78 | 7.413 % |
271.68/271.92 c | 374163 | 19048 109355 372855 | 2147483647 237026 78 | 7.413 % |
274.79/275.02 c | 376213 | 19048 109355 372855 | 2147483647 239076 79 | 7.413 % |
278.08/278.38 c | 378466 | 19048 109355 372855 | 2147483647 241329 80 | 7.413 % |
281.57/281.89 c | 380946 | 19048 109355 372855 | 2147483647 243809 80 | 7.413 % |
285.38/285.65 c | 383671 | 19048 109355 372855 | 2147483647 246534 81 | 7.413 % |
289.78/290.02 c | 386668 | 19048 109355 372855 | 2147483647 249531 81 | 7.413 % |
295.38/295.66 c | 389964 | 19048 109355 372855 | 2147483647 252827 83 | 7.413 % |
300.17/300.47 c | 393590 | 19048 109355 372855 | 2147483647 256453 83 | 7.413 % |
300.27/300.58 c | 393692 | 19048 109355 372855 | 2147483647 256555 83 | 7.413 % |
300.47/300.74 c | 393802 | 19048 109355 372855 | 2147483647 256665 83 | 7.413 % |
300.67/300.96 c | 393923 | 19048 109355 372855 | 2147483647 256786 83 | 7.413 % |
300.87/301.19 c | 394057 | 19048 109355 372855 | 2147483647 256920 83 | 7.413 % |
301.07/301.35 c | 394203 | 19048 109355 372855 | 2147483647 257066 83 | 7.413 % |
301.37/301.67 c | 394365 | 19048 109355 372855 | 2147483647 257228 83 | 7.413 % |
301.77/302.01 c | 394543 | 19048 109355 372855 | 2147483647 257406 83 | 7.413 % |
301.97/302.29 c | 394739 | 19048 109355 372855 | 2147483647 257602 83 | 7.413 % |
302.27/302.60 c | 394953 | 19048 109355 372855 | 2147483647 257816 83 | 7.413 % |
302.67/302.93 c | 395186 | 19048 109355 372855 | 2147483647 258049 83 | 7.413 % |
302.97/303.25 c | 395442 | 19048 109355 372855 | 2147483647 258305 83 | 7.413 % |
303.37/303.68 c | 395726 | 19048 109355 372855 | 2147483647 258589 83 | 7.413 % |
303.77/304.07 c | 396035 | 19048 109355 372855 | 2147483647 258898 83 | 7.413 % |
304.17/304.40 c | 396375 | 19048 109355 372855 | 2147483647 259238 83 | 7.413 % |
304.57/304.89 c | 396747 | 19048 109355 372855 | 2147483647 259610 83 | 7.413 % |
305.07/305.35 c | 397157 | 19048 109355 372855 | 2147483647 260020 83 | 7.413 % |
305.76/306.00 c | 397607 | 19048 109355 372855 | 2147483647 260470 83 | 7.413 % |
306.27/306.54 c | 398100 | 19048 109355 372855 | 2147483647 260963 83 | 7.413 % |
306.97/307.23 c | 398642 | 19048 109355 372855 | 2147483647 261505 83 | 7.413 % |
307.67/308.00 c | 399239 | 19048 109355 372855 | 2147483647 262102 83 | 7.413 % |
308.66/308.97 c | 399894 | 19048 109355 372855 | 2147483647 262757 83 | 7.413 % |
309.76/310.10 c | 400615 | 19048 109355 372855 | 262866 263478 83 | 7.413 % |
311.25/311.57 c | 401407 | 19048 109355 372855 | 262866 264270 83 | 7.413 % |
312.25/312.55 c | 402279 | 19048 109355 372855 | 262866 265142 83 | 7.413 % |
314.85/315.14 c | 403237 | 19048 109355 372855 | 262866 233388 81 | 7.413 % |
315.85/316.19 c | 404290 | 19048 109355 372855 | 262866 234441 81 | 7.413 % |
317.75/318.03 c | 405448 | 19048 109355 372855 | 262866 235599 81 | 7.413 % |
319.55/319.82 c | 406722 | 19048 109355 372855 | 262866 236873 82 | 7.413 % |
321.25/321.53 c | 408122 | 19048 109355 372855 | 262866 238273 82 | 7.413 % |
322.75/323.04 c | 409662 | 19048 109355 372855 | 262866 239813 82 | 7.413 % |
325.35/325.68 c | 411358 | 19048 109355 372855 | 2147483647 241509 82 | 7.413 % |
327.45/327.73 c | 413222 | 19048 109355 372855 | 2147483647 243373 82 | 7.413 % |
330.44/330.73 c | 415272 | 19048 109355 372855 | 2147483647 245423 83 | 7.413 % |
333.74/334.10 c | 417526 | 19048 109355 372855 | 2147483647 247677 84 | 7.413 % |
337.45/337.70 c | 420004 | 19048 109355 372855 | 250151 250155 84 | 7.413 % |
341.54/341.87 c | 422729 | 19048 109355 372855 | 250151 252880 85 | 7.413 % |
346.24/346.55 c | 425728 | 19048 109355 372855 | 250151 230591 81 | 7.413 % |
352.14/352.42 c | 429024 | 19048 109355 372855 | 250151 233887 83 | 7.413 % |
358.13/358.47 c | 432649 | 19048 109355 372855 | 2147483647 237512 85 | 7.413 % |
365.53/365.84 c | 436637 | 19048 109355 372855 | 2147483647 241500 86 | 7.413 % |
365.73/366.03 c | 436737 | 19048 109355 372855 | 2147483647 241600 86 | 7.413 % |
365.93/366.23 c | 436851 | 19048 109355 372855 | 2147483647 241714 86 | 7.413 % |
366.13/366.41 c | 436972 | 19048 109355 372855 | 2147483647 241835 86 | 7.413 % |
366.33/366.63 c | 437106 | 19048 109355 372855 | 2147483647 241969 85 | 7.413 % |
366.53/366.85 c | 437253 | 19048 109355 372855 | 2147483647 242116 85 | 7.413 % |
366.73/367.06 c | 437414 | 19048 109355 372855 | 2147483647 242277 85 | 7.413 % |
366.93/367.27 c | 437594 | 19048 109355 372855 | 2147483647 242457 85 | 7.413 % |
367.23/367.55 c | 437787 | 19048 109355 372855 | 2147483647 242650 85 | 7.413 % |
367.53/367.82 c | 438000 | 19048 109355 372855 | 2147483647 242863 85 | 7.413 % |
367.93/368.20 c | 438236 | 19048 109355 372855 | 2147483647 243099 85 | 7.413 % |
368.23/368.52 c | 438492 | 19048 109355 372855 | 2147483647 243355 85 | 7.413 % |
368.53/368.89 c | 438774 | 19048 109355 372855 | 2147483647 243637 85 | 7.413 % |
369.23/369.59 c | 439083 | 19048 109355 372855 | 2147483647 243946 85 | 7.413 % |
369.62/369.98 c | 439425 | 19048 109355 372855 | 2147483647 244288 85 | 7.413 % |
370.02/370.39 c | 439797 | 19048 109355 372855 | 2147483647 244660 85 | 7.413 % |
370.72/371.00 c | 440207 | 19048 109355 372855 | 244863 245070 85 | 7.413 % |
371.23/371.59 c | 440656 | 19048 109355 372855 | 244863 245519 85 | 7.413 % |
371.93/372.24 c | 441149 | 19048 109355 372855 | 244863 246012 85 | 7.413 % |
372.73/373.08 c | 441693 | 19048 109355 372855 | 244863 246556 85 | 7.413 % |
373.64/374.00 c | 442289 | 19048 109355 372855 | 244863 217801 87 | 7.413 % |
374.84/375.13 c | 442944 | 19048 109355 372855 | 244863 218456 87 | 7.413 % |
375.63/375.96 c | 443665 | 19048 109355 372855 | 244863 219177 87 | 7.413 % |
376.63/376.93 c | 444458 | 19048 109355 372855 | 244863 219970 87 | 7.413 % |
377.83/378.15 c | 445329 | 19048 109355 372855 | 244863 220841 87 | 7.413 % |
379.53/379.84 c | 446287 | 19048 109355 372855 | 244863 221799 87 | 7.413 % |
381.33/381.67 c | 447340 | 19048 109355 372855 | 244863 222852 88 | 7.413 % |
382.63/382.94 c | 448499 | 19048 109355 372855 | 244863 224011 87 | 7.413 % |
384.23/384.58 c | 449772 | 19048 109355 372855 | 244863 225284 88 | 7.413 % |
385.93/386.29 c | 451173 | 19048 109355 372855 | 2147483647 226685 88 | 7.413 % |
388.73/389.07 c | 452713 | 19048 109355 372855 | 2147483647 228225 88 | 7.413 % |
391.73/392.05 c | 454407 | 19048 109355 372855 | 2147483647 229919 89 | 7.413 % |
394.63/394.91 c | 456270 | 19048 109355 372855 | 2147483647 231782 90 | 7.413 % |
397.52/397.84 c | 458319 | 19048 109355 372855 | 2147483647 233831 90 | 7.413 % |
400.72/401.02 c | 460573 | 19048 109355 372855 | 2147483647 236085 91 | 7.413 % |
406.72/407.08 c | 463052 | 19048 109355 372855 | 2147483647 238564 92 | 7.413 % |
410.71/411.06 c | 465777 | 19048 109355 372855 | 2147483647 241289 93 | 7.413 % |
414.60/414.90 c | 468774 | 19048 109355 372855 | 2147483647 244286 94 | 7.413 % |
420.21/420.53 c | 472070 | 19048 109355 372855 | 2147483647 247582 95 | 7.413 % |
426.60/426.91 c | 475697 | 19048 109355 372855 | 2147483647 251209 96 | 7.413 % |
432.80/433.14 c | 479685 | 19047 109346 372824 | 2147483647 255193 97 | 7.417 % |
439.30/439.61 c | 484071 | 19047 109346 372824 | 255508 230416 96 | 7.417 % |
439.40/439.75 c | 484171 | 19047 109346 372824 | 255508 230516 96 | 7.417 % |
439.60/439.92 c | 484281 | 19047 109346 372824 | 255508 230626 96 | 7.417 % |
439.70/440.06 c | 484402 | 19047 109346 372824 | 255508 230747 96 | 7.417 % |
439.90/440.29 c | 484535 | 19046 109346 372824 | 255508 230879 96 | 7.422 % |
440.30/440.61 c | 484682 | 19046 109346 372824 | 255508 231026 96 | 7.422 % |
440.50/440.85 c | 484842 | 19046 109346 372824 | 255508 231186 95 | 7.422 % |
440.70/441.01 c | 485018 | 19046 109346 372824 | 255508 231362 95 | 7.422 % |
441.10/441.43 c | 485212 | 19046 109346 372824 | 255508 231556 96 | 7.422 % |
441.30/441.61 c | 485424 | 19046 109346 372824 | 255508 231768 95 | 7.422 % |
441.70/442.04 c | 485658 | 19046 109346 372824 | 255508 232002 95 | 7.422 % |
442.09/442.40 c | 485916 | 19046 109346 372824 | 255508 232260 95 | 7.422 % |
442.39/442.75 c | 486198 | 19046 109346 372824 | 255508 232542 95 | 7.422 % |
442.79/443.12 c | 486507 | 19046 109346 372824 | 255508 232851 95 | 7.422 % |
443.19/443.56 c | 486846 | 19046 109346 372824 | 255508 233190 95 | 7.422 % |
443.69/444.05 c | 487218 | 19046 109346 372824 | 255508 233562 95 | 7.422 % |
444.19/444.51 c | 487628 | 19046 109346 372824 | 255508 233972 95 | 7.422 % |
444.89/445.26 c | 488077 | 19046 109346 372824 | 255508 234421 95 | 7.422 % |
445.59/445.99 c | 488571 | 19046 109346 372824 | 255508 234915 95 | 7.422 % |
446.39/446.78 c | 489113 | 19046 109346 372824 | 255508 235457 95 | 7.422 % |
447.29/447.65 c | 489710 | 19046 109346 372824 | 255508 236054 95 | 7.422 % |
448.29/448.69 c | 490366 | 19046 109346 372824 | 236345 236710 95 | 7.422 % |
449.29/449.64 c | 491087 | 19046 109346 372824 | 236345 237431 95 | 7.422 % |
450.39/450.78 c | 491879 | 19046 109346 372824 | 236345 238223 96 | 7.422 % |
452.19/452.55 c | 492752 | 19046 109346 372824 | 236345 215274 94 | 7.422 % |
453.89/454.24 c | 493710 | 19046 109346 372824 | 236345 216232 94 | 7.422 % |
455.78/456.14 c | 494765 | 19046 109346 372824 | 236345 217287 94 | 7.422 % |
457.38/457.73 c | 495923 | 19046 109346 372824 | 236345 218445 95 | 7.422 % |
459.18/459.51 c | 497196 | 19046 109346 372824 | 236345 219718 95 | 7.422 % |
460.98/461.33 c | 498596 | 19046 109346 372824 | 236345 221118 95 | 7.422 % |
463.38/463.77 c | 500136 | 19046 109346 372824 | 2147483647 222658 95 | 7.422 % |
465.68/466.00 c | 501830 | 19046 109346 372824 | 2147483647 224352 95 | 7.422 % |
469.18/469.52 c | 503694 | 19046 109346 372824 | 2147483647 226216 96 | 7.422 % |
471.98/472.35 c | 505743 | 19046 109346 372824 | 2147483647 228265 96 | 7.422 % |
475.88/476.30 c | 507996 | 19046 109346 372824 | 2147483647 230518 97 | 7.422 % |
479.18/479.56 c | 510476 | 19046 109346 372824 | 2147483647 232998 97 | 7.422 % |
483.07/483.47 c | 513202 | 19046 109346 372824 | 2147483647 235724 97 | 7.422 % |
486.17/486.58 c | 516201 | 19046 109346 372824 | 2147483647 238723 97 | 7.422 % |
491.97/492.38 c | 519498 | 19046 109346 372824 | 2147483647 242020 98 | 7.422 % |
497.87/498.22 c | 523124 | 19046 109346 372824 | 242523 245646 98 | 7.422 % |
504.06/504.43 c | 527111 | 19046 109346 372824 | 242523 225069 97 | 7.422 % |
513.46/513.89 c | 531498 | 19046 109339 372801 | 2147483647 229456 101 | 7.422 % |
520.56/521.00 c | 536321 | 19046 109339 372801 | 2147483647 234279 102 | 7.422 % |
520.76/521.18 c | 536421 | 19046 109339 372801 | 2147483647 234379 102 | 7.422 % |
520.96/521.38 c | 536531 | 19046 109339 372801 | 2147483647 234489 102 | 7.422 % |
521.16/521.56 c | 536652 | 19046 109339 372801 | 2147483647 234610 102 | 7.422 % |
521.36/521.70 c | 536785 | 19046 109339 372801 | 2147483647 234743 102 | 7.422 % |
521.46/521.83 c | 536932 | 19046 109339 372801 | 2147483647 234890 102 | 7.422 % |
521.65/522.07 c | 537092 | 19046 109339 372801 | 2147483647 235050 102 | 7.422 % |
522.06/522.42 c | 537268 | 19046 109339 372801 | 2147483647 235226 102 | 7.422 % |
522.35/522.70 c | 537461 | 19046 109339 372801 | 2147483647 235419 102 | 7.422 % |
522.75/523.15 c | 537674 | 19046 109339 372801 | 2147483647 235632 102 | 7.422 % |
523.05/523.43 c | 537907 | 19046 109339 372801 | 2147483647 235865 102 | 7.422 % |
523.35/523.71 c | 538164 | 19046 109339 372801 | 2147483647 236122 102 | 7.422 % |
523.65/524.08 c | 538445 | 19046 109339 372801 | 2147483647 236403 102 | 7.422 % |
524.05/524.42 c | 538754 | 19046 109339 372801 | 2147483647 236712 102 | 7.422 % |
524.45/524.80 c | 539094 | 19046 109339 372801 | 2147483647 237052 102 | 7.422 % |
525.15/525.54 c | 539467 | 19046 109339 372801 | 2147483647 237425 102 | 7.422 % |
525.46/525.85 c | 539876 | 19046 109339 372801 | 2147483647 237834 102 | 7.422 % |
526.35/526.76 c | 540325 | 19046 109339 372801 | 2147483647 238283 102 | 7.422 % |
526.85/527.23 c | 540818 | 19046 109339 372801 | 2147483647 238776 102 | 7.422 % |
527.45/527.83 c | 541362 | 19046 109339 372801 | 2147483647 239320 102 | 7.422 % |
527.95/528.34 c | 541958 | 19046 109339 372801 | 2147483647 239916 102 | 7.422 % |
528.65/529.01 c | 542613 | 19045 109339 372801 | 2147483647 240570 101 | 7.427 % |
529.86/530.29 c | 543333 | 19045 109339 372801 | 2147483647 241290 102 | 7.427 % |
530.85/531.26 c | 544125 | 19045 109339 372801 | 2147483647 242082 101 | 7.427 % |
532.15/532.54 c | 544996 | 19045 109339 372801 | 2147483647 242953 101 | 7.427 % |
533.24/533.67 c | 545954 | 19045 109339 372801 | 2147483647 243911 101 | 7.427 % |
534.94/535.32 c | 547007 | 19045 109339 372801 | 2147483647 244964 102 | 7.427 % |
536.84/537.28 c | 548165 | 19045 109339 372801 | 2147483647 246122 102 | 7.427 % |
538.95/539.32 c | 549439 | 19045 109339 372801 | 2147483647 247396 102 | 7.427 % |
540.35/540.79 c | 550841 | 19045 109339 372801 | 2147483647 248798 102 | 7.427 % |
542.85/543.29 c | 552381 | 19045 109339 372801 | 2147483647 250338 102 | 7.427 % |
546.25/546.63 c | 554076 | 19045 109339 372801 | 2147483647 252033 102 | 7.427 % |
549.04/549.40 c | 555941 | 19045 109339 372801 | 2147483647 253898 103 | 7.427 % |
553.14/553.59 c | 557990 | 19045 109339 372801 | 2147483647 255947 104 | 7.427 % |
556.74/557.14 c | 560244 | 19045 109339 372801 | 2147483647 258201 104 | 7.427 % |
561.83/562.24 c | 562723 | 19045 109339 372801 | 2147483647 260680 105 | 7.427 % |
565.34/565.73 c | 565451 | 19045 109339 372801 | 2147483647 263408 105 | 7.427 % |
570.33/570.71 c | 568448 | 19045 109339 372801 | 2147483647 266405 105 | 7.427 % |
575.63/576.02 c | 571745 | 19045 109334 372787 | 267959 269702 105 | 7.427 % |
580.92/581.33 c | 575370 | 19045 109334 372787 | 267959 241590 103 | 7.427 % |
587.92/588.35 c | 579357 | 19045 109334 372787 | 267959 245577 103 | 7.427 % |
593.62/594.00 c | 583743 | 19045 109334 372787 | 246221 249963 104 | 7.427 % |
601.61/602.08 c | 588566 | 19045 109334 372787 | 246221 225464 102 | 7.427 % |
615.51/615.96 c | 593871 | 19045 109334 372787 | 226900 230769 106 | 7.427 % |
615.91/616.37 c | 593971 | 19045 109334 372787 | 226900 207793 102 | 7.427 % |
616.01/616.46 c | 594083 | 19045 109334 372787 | 226900 207905 102 | 7.427 % |
616.21/616.63 c | 594204 | 19045 109334 372787 | 226900 208026 102 | 7.427 % |
616.41/616.80 c | 594337 | 19045 109334 372787 | 226900 208159 102 | 7.427 % |
616.51/616.96 c | 594485 | 19045 109334 372787 | 226900 208307 102 | 7.427 % |
616.81/617.22 c | 594646 | 19045 109334 372787 | 226900 208468 102 | 7.427 % |
616.91/617.36 c | 594823 | 19045 109334 372787 | 226900 208645 102 | 7.427 % |
617.31/617.73 c | 595016 | 19045 109334 372787 | 226900 208838 102 | 7.427 % |
617.61/618.06 c | 595228 | 19045 109334 372787 | 226900 209050 102 | 7.427 % |
617.91/618.37 c | 595461 | 19045 109334 372787 | 226900 209283 102 | 7.427 % |
618.21/618.67 c | 595717 | 19045 109334 372787 | 226900 209539 102 | 7.427 % |
618.51/618.95 c | 595998 | 19045 109334 372787 | 226900 209820 102 | 7.427 % |
619.01/619.47 c | 596309 | 19045 109334 372787 | 226900 210131 102 | 7.427 % |
619.41/619.86 c | 596649 | 19045 109334 372787 | 226900 210471 102 | 7.427 % |
619.81/620.27 c | 597021 | 19045 109334 372787 | 226900 210843 101 | 7.427 % |
620.41/620.86 c | 597430 | 19045 109334 372787 | 226900 211252 101 | 7.427 % |
620.91/621.39 c | 597879 | 19045 109334 372787 | 226900 211701 101 | 7.427 % |
621.61/622.07 c | 598373 | 19045 109334 372787 | 226900 212195 101 | 7.427 % |
622.01/622.43 c | 598916 | 19045 109334 372787 | 226900 212738 101 | 7.427 % |
622.90/623.38 c | 599514 | 19045 109334 372787 | 226900 213336 101 | 7.427 % |
623.70/624.13 c | 600172 | 19045 109334 372787 | 2147483647 213994 101 | 7.427 % |
624.70/625.10 c | 600892 | 19045 109334 372787 | 2147483647 214714 101 | 7.427 % |
625.70/626.16 c | 601684 | 19045 109334 372787 | 2147483647 215506 101 | 7.427 % |
626.80/627.20 c | 602556 | 19045 109334 372787 | 2147483647 216378 101 | 7.427 % |
628.60/629.09 c | 603514 | 19045 109334 372787 | 2147483647 217336 102 | 7.427 % |
630.40/630.81 c | 604567 | 19045 109334 372787 | 2147483647 218389 102 | 7.427 % |
632.90/633.33 c | 605726 | 19045 109334 372787 | 2147483647 219548 103 | 7.427 % |
634.50/634.92 c | 607000 | 19045 109334 372787 | 2147483647 220822 103 | 7.427 % |
636.20/636.65 c | 608402 | 19045 109334 372787 | 2147483647 222224 103 | 7.427 % |
638.40/638.82 c | 609943 | 19045 109334 372787 | 2147483647 223765 103 | 7.427 % |
640.40/640.85 c | 611637 | 19045 109334 372787 | 2147483647 225459 103 | 7.427 % |
642.80/643.26 c | 613500 | 19045 109334 372787 | 2147483647 227322 104 | 7.427 % |
646.20/646.69 c | 615549 | 19045 109334 372787 | 2147483647 229371 104 | 7.427 % |
649.00/649.42 c | 617802 | 19045 109334 372787 | 2147483647 231624 104 | 7.427 % |
653.89/654.37 c | 620281 | 19045 109334 372787 | 2147483647 234103 105 | 7.427 % |
657.40/657.80 c | 623007 | 19045 109334 372787 | 2147483647 236829 105 | 7.427 % |
661.39/661.86 c | 626005 | 19045 109334 372787 | 2147483647 239827 106 | 7.427 % |
667.79/668.24 c | 629302 | 19045 109334 372787 | 2147483647 243124 107 | 7.427 % |
672.38/672.90 c | 632927 | 19045 109334 372787 | 2147483647 246749 107 | 7.427 % |
678.08/678.57 c | 636914 | 19045 109334 372787 | 2147483647 250736 108 | 7.427 % |
684.58/685.00 c | 641300 | 19045 109334 372787 | 253822 255122 109 | 7.427 % |
692.08/692.57 c | 646124 | 19045 109334 372787 | 253822 232709 105 | 7.427 % |
702.68/703.10 c | 651431 | 19045 109334 372787 | 2147483647 238016 108 | 7.427 % |
712.47/712.96 c | 657267 | 19045 109334 372787 | 2147483647 243852 109 | 7.427 % |
712.67/713.17 c | 657368 | 19045 109334 372787 | 2147483647 243953 109 | 7.427 % |
712.87/713.39 c | 657478 | 19045 109334 372787 | 2147483647 244063 109 | 7.427 % |
713.17/713.64 c | 657599 | 19045 109334 372787 | 2147483647 244184 109 | 7.427 % |
713.37/713.86 c | 657732 | 19045 109334 372787 | 2147483647 244317 109 | 7.427 % |
713.57/714.07 c | 657878 | 19045 109334 372787 | 2147483647 244463 109 | 7.427 % |
713.97/714.40 c | 658038 | 19045 109334 372787 | 2147483647 244623 109 | 7.427 % |
714.27/714.70 c | 658215 | 19045 109334 372787 | 2147483647 244800 109 | 7.427 % |
714.57/715.02 c | 658410 | 19045 109334 372787 | 2147483647 244995 109 | 7.427 % |
714.87/715.32 c | 658623 | 19045 109334 372787 | 2147483647 245208 109 | 7.427 % |
715.07/715.57 c | 658856 | 19045 109334 372787 | 2147483647 245441 109 | 7.427 % |
715.57/716.04 c | 659115 | 19045 109334 372787 | 2147483647 245700 109 | 7.427 % |
715.87/716.39 c | 659396 | 19045 109334 372787 | 2147483647 245981 109 | 7.427 % |
716.37/716.82 c | 659705 | 19045 109334 372787 | 2147483647 246290 109 | 7.427 % |
716.87/717.32 c | 660044 | 19045 109334 372787 | 246585 246629 109 | 7.427 % |
717.97/718.41 c | 660418 | 19045 109334 372787 | 246585 247003 109 | 7.427 % |
718.56/719.01 c | 660827 | 19045 109334 372787 | 246585 247412 109 | 7.427 % |
719.36/719.80 c | 661276 | 19045 109334 372787 | 246585 247861 109 | 7.427 % |
720.16/720.62 c | 661771 | 19045 109334 372787 | 246585 248356 109 | 7.427 % |
721.07/721.59 c | 662313 | 19045 109334 372787 | 246585 220043 105 | 7.427 % |
722.17/722.68 c | 662909 | 19045 109334 372787 | 246585 220639 105 | 7.427 % |
722.96/723.44 c | 663564 | 19045 109334 372787 | 246585 221294 105 | 7.427 % |
724.06/724.58 c | 664285 | 19045 109334 372787 | 246585 222015 105 | 7.427 % |
724.86/725.38 c | 665077 | 19045 109334 372787 | 246585 222807 104 | 7.427 % |
726.06/726.50 c | 665948 | 19045 109334 372787 | 246585 223678 104 | 7.427 % |
726.86/727.33 c | 666908 | 19045 109334 372787 | 246585 224638 104 | 7.427 % |
729.26/729.72 c | 667961 | 19045 109334 372787 | 246585 225691 105 | 7.427 % |
730.36/730.86 c | 669120 | 19045 109334 372787 | 246585 226850 105 | 7.427 % |
732.46/732.99 c | 670393 | 19045 109334 372787 | 2147483647 228123 105 | 7.427 % |
733.86/734.38 c | 671794 | 19045 109334 372787 | 2147483647 229524 105 | 7.427 % |
736.76/737.27 c | 673335 | 19045 109334 372787 | 2147483647 231065 106 | 7.427 % |
738.86/739.39 c | 675030 | 19045 109334 372787 | 2147483647 232760 106 | 7.427 % |
741.36/741.85 c | 676893 | 19045 109334 372787 | 2147483647 234623 105 | 7.427 % |
744.56/745.04 c | 678942 | 19045 109334 372787 | 2147483647 236672 106 | 7.427 % |
748.56/749.07 c | 681195 | 19045 109334 372787 | 2147483647 238925 107 | 7.427 % |
752.26/752.78 c | 683675 | 19045 109334 372787 | 2147483647 241405 107 | 7.427 % |
756.95/757.46 c | 686400 | 19045 109334 372787 | 2147483647 244130 107 | 7.427 % |
761.25/761.77 c | 689397 | 19045 109334 372787 | 2147483647 247127 108 | 7.427 % |
765.94/766.49 c | 692696 | 19045 109334 372787 | 2147483647 250426 108 | 7.427 % |
771.15/771.66 c | 696321 | 19045 109334 372787 | 2147483647 254051 108 | 7.427 % |
777.55/778.09 c | 700308 | 19045 109334 372787 | 2147483647 258038 109 | 7.427 % |
785.74/786.25 c | 704694 | 19045 109334 372787 | 2147483647 262424 110 | 7.427 % |
793.74/794.27 c | 709517 | 19045 109334 372787 | 2147483647 267247 112 | 7.427 % |
804.23/804.74 c | 714823 | 19045 109334 372787 | 267730 272553 113 | 7.427 % |
814.72/815.23 c | 720660 | 19045 109334 372787 | 227453 228113 110 | 7.427 % |
825.12/825.62 c | 727078 | 19045 109334 372787 | 227453 196363 102 | 7.427 % |
825.22/825.77 c | 727178 | 19045 109334 372787 | 227453 196463 102 | 7.427 % |
825.52/826.03 c | 727290 | 19045 109334 372787 | 227453 196575 102 | 7.427 % |
825.62/826.11 c | 727411 | 19045 109334 372787 | 227453 196696 102 | 7.427 % |
825.62/826.12 c | 727545 | 19045 109334 372787 | 227453 196830 102 | 7.427 % |
825.82/826.31 c | 727691 | 19045 109334 372787 | 227453 196976 102 | 7.427 % |
826.02/826.55 c | 727854 | 19045 109334 372787 | 227453 197139 102 | 7.427 % |
826.22/826.72 c | 728030 | 19045 109334 372787 | 227453 197315 102 | 7.427 % |
826.52/827.01 c | 728223 | 19045 109334 372787 | 227453 197508 102 | 7.427 % |
826.62/827.18 c | 728435 | 19045 109334 372787 | 227453 197720 101 | 7.427 % |
826.92/827.45 c | 728669 | 19045 109334 372787 | 227453 197954 101 | 7.427 % |
827.12/827.69 c | 728925 | 19045 109334 372787 | 227453 198210 101 | 7.427 % |
827.42/827.97 c | 729206 | 19045 109334 372787 | 227453 198491 101 | 7.427 % |
827.92/828.42 c | 729515 | 19045 109334 372787 | 227453 198800 101 | 7.427 % |
828.32/828.82 c | 729854 | 19045 109334 372787 | 227453 199139 101 | 7.427 % |
829.02/829.51 c | 730226 | 19045 109334 372787 | 199285 199511 101 | 7.427 % |
829.42/829.92 c | 730635 | 19045 109334 372787 | 199285 199920 101 | 7.427 % |
829.82/830.34 c | 731086 | 19045 109334 372787 | 199285 200371 101 | 7.427 % |
830.32/830.90 c | 731580 | 19045 109334 372787 | 199285 200865 101 | 7.427 % |
831.02/831.55 c | 732122 | 19045 109334 372787 | 199285 180869 98 | 7.427 % |
831.62/832.13 c | 732719 | 19045 109334 372787 | 199285 181466 98 | 7.427 % |
832.32/832.83 c | 733374 | 19045 109334 372787 | 199285 182121 98 | 7.427 % |
833.32/833.84 c | 734094 | 19045 109334 372787 | 199285 182841 98 | 7.427 % |
834.22/834.70 c | 734887 | 19045 109334 372787 | 199285 183634 98 | 7.427 % |
835.21/835.80 c | 735761 | 19045 109334 372787 | 199285 184508 98 | 7.427 % |
836.81/837.35 c | 736719 | 19045 109334 372787 | 199285 185466 98 | 7.427 % |
838.01/838.52 c | 737772 | 19045 109334 372787 | 199285 186519 98 | 7.427 % |
839.31/839.86 c | 738930 | 19045 109334 372787 | 199285 187677 98 | 7.427 % |
841.51/842.03 c | 740203 | 19045 109334 372787 | 2147483647 188950 98 | 7.427 % |
843.31/843.89 c | 741603 | 19045 109334 372787 | 2147483647 190350 99 | 7.427 % |
845.51/846.04 c | 743146 | 19045 109334 372787 | 2147483647 191893 99 | 7.427 % |
847.51/848.03 c | 744840 | 19045 109334 372787 | 2147483647 193587 99 | 7.427 % |
851.60/852.14 c | 746705 | 19045 109334 372787 | 2147483647 195452 101 | 7.427 % |
854.00/854.51 c | 748754 | 19045 109334 372787 | 2147483647 197501 101 | 7.427 % |
856.89/857.46 c | 751008 | 19045 109334 372787 | 2147483647 199755 102 | 7.427 % |
860.99/861.53 c | 753486 | 19045 109334 372787 | 2147483647 202233 103 | 7.427 % |
863.79/864.34 c | 756212 | 19045 109334 372787 | 2147483647 204959 103 | 7.427 % |
867.79/868.33 c | 759211 | 19045 109334 372787 | 2147483647 207958 103 | 7.427 % |
872.49/873.09 c | 762507 | 19045 109334 372787 | 2147483647 211254 104 | 7.427 % |
877.39/877.95 c | 766134 | 19045 109334 372787 | 2147483647 214881 105 | 7.427 % |
884.17/884.73 c | 770122 | 19045 109334 372787 | 2147483647 218869 107 | 7.427 % |
892.17/892.73 c | 774507 | 19045 109334 372787 | 2147483647 223254 109 | 7.427 % |
898.07/898.63 c | 779331 | 19045 109334 372787 | 2147483647 228078 108 | 7.427 % |
906.26/906.89 c | 784638 | 19045 109334 372787 | 2147483647 233385 110 | 7.427 % |
917.15/917.80 c | 790473 | 19045 109334 372787 | 2147483647 239220 112 | 7.427 % |
929.45/930.08 c | 796892 | 19045 109334 372787 | 2147483647 245639 114 | 7.427 % |
942.34/942.93 c | 803951 | 19045 109334 372787 | 248748 252698 117 | 7.427 % |
942.74/943.34 c | 804051 | 19045 109334 372787 | 248748 227529 114 | 7.427 % |
942.84/943.45 c | 804162 | 19045 109334 372787 | 248748 227640 114 | 7.427 % |
943.04/943.63 c | 804284 | 19045 109334 372787 | 248748 227762 114 | 7.427 % |
943.14/943.77 c | 804417 | 19045 109334 372787 | 248748 227895 114 | 7.427 % |
943.34/943.96 c | 804563 | 19045 109334 372787 | 248748 228041 114 | 7.427 % |
943.54/944.11 c | 804723 | 19045 109334 372787 | 248748 228201 114 | 7.427 % |
943.64/944.20 c | 804899 | 19045 109334 372787 | 248748 228377 114 | 7.427 % |
943.74/944.38 c | 805092 | 19045 109334 372787 | 248748 228570 114 | 7.427 % |
944.14/944.70 c | 805304 | 19045 109334 372787 | 248748 228782 114 | 7.427 % |
944.44/945.01 c | 805539 | 19045 109334 372787 | 248748 229017 114 | 7.427 % |
944.64/945.27 c | 805796 | 19045 109334 372787 | 248748 229274 114 | 7.427 % |
945.14/945.72 c | 806078 | 19045 109334 372787 | 248748 229556 113 | 7.427 % |
945.54/946.16 c | 806388 | 19045 109334 372787 | 248748 229866 113 | 7.427 % |
946.24/946.88 c | 806727 | 19045 109334 372787 | 248748 230205 114 | 7.427 % |
946.74/947.39 c | 807100 | 19045 109334 372787 | 248748 230578 113 | 7.427 % |
947.64/948.27 c | 807510 | 19045 109334 372787 | 248748 230988 114 | 7.427 % |
948.14/948.72 c | 807962 | 19045 109334 372787 | 248748 231440 114 | 7.427 % |
949.14/949.71 c | 808456 | 19045 109334 372787 | 248748 231934 114 | 7.427 % |
949.64/950.22 c | 809000 | 19045 109334 372787 | 248748 232478 114 | 7.427 % |
950.63/951.28 c | 809597 | 19045 109334 372787 | 248748 233075 114 | 7.427 % |
951.53/952.11 c | 810252 | 19045 109334 372787 | 2147483647 233730 114 | 7.427 % |
952.43/953.02 c | 810972 | 19045 109334 372787 | 2147483647 234450 113 | 7.427 % |
953.53/954.11 c | 811764 | 19045 109334 372787 | 2147483647 235242 113 | 7.427 % |
954.73/955.37 c | 812636 | 19045 109334 372787 | 2147483647 236114 113 | 7.427 % |
956.34/956.93 c | 813594 | 19044 109327 372766 | 2147483647 237071 113 | 7.432 % |
957.73/958.35 c | 814647 | 19044 109327 372766 | 2147483647 238124 114 | 7.432 % |
959.13/959.75 c | 815806 | 19044 109327 372766 | 2147483647 239283 113 | 7.432 % |
961.93/962.53 c | 817080 | 19044 109327 372766 | 2147483647 240557 114 | 7.432 % |
964.93/965.52 c | 818482 | 19044 109327 372766 | 2147483647 241959 115 | 7.432 % |
967.13/967.70 c | 820022 | 19044 109327 372766 | 2147483647 243499 115 | 7.432 % |
971.44/972.06 c | 821717 | 19043 109327 372766 | 2147483647 245193 116 | 7.437 % |
974.54/975.16 c | 823580 | 19043 109327 372766 | 2147483647 247056 116 | 7.437 % |
977.34/977.99 c | 825629 | 19043 109327 372766 | 2147483647 249105 116 | 7.437 % |
981.93/982.51 c | 827882 | 19043 109327 372766 | 2147483647 251358 117 | 7.437 % |
985.62/986.28 c | 830360 | 19043 109327 372766 | 2147483647 253836 116 | 7.437 % |
989.02/989.66 c | 833086 | 19043 109327 372766 | 2147483647 256562 116 | 7.437 % |
996.12/996.79 c | 836086 | 19043 109327 372766 | 2147483647 259562 117 | 7.437 % |
1002.52/1003.18 c | 839384 | 19043 109327 372766 | 2147483647 262860 118 | 7.437 % |
1007.71/1008.31 c | 843009 | 19043 109327 372766 | 2147483647 266485 118 | 7.437 % |
1015.11/1015.70 c | 846997 | 19043 109327 372766 | 2147483647 270473 119 | 7.437 % |
1025.20/1025.86 c | 851383 | 19043 109327 372766 | 273476 274859 121 | 7.437 % |
1034.09/1034.73 c | 856209 | 19043 109327 372766 | 273476 247041 115 | 7.437 % |
1044.79/1045.46 c | 861514 | 19043 109327 372766 | 2147483647 252346 116 | 7.437 % |
1055.69/1056.33 c | 867350 | 19043 109322 372751 | 2147483647 258182 117 | 7.437 % |
1066.48/1067.16 c | 873768 | 19043 109322 372751 | 260833 264600 119 | 7.437 % |
1079.37/1080.00 c | 880828 | 19043 109322 372751 | 2147483647 245200 120 | 7.437 % |
1094.77/1095.44 c | 888592 | 19043 109322 372751 | 2147483647 252964 122 | 7.437 % |
1094.98/1095.63 c | 888695 | 19043 109322 372751 | 2147483647 253067 122 | 7.437 % |
1095.17/1095.81 c | 888805 | 19043 109322 372751 | 2147483647 253177 122 | 7.437 % |
1095.27/1095.97 c | 888926 | 19043 109322 372751 | 2147483647 253298 122 | 7.437 % |
1095.47/1096.11 c | 889060 | 19043 109322 372751 | 2147483647 253432 122 | 7.437 % |
1095.77/1096.44 c | 889206 | 19043 109322 372751 | 2147483647 253578 122 | 7.437 % |
1095.97/1096.60 c | 889366 | 19043 109322 372751 | 2147483647 253738 122 | 7.437 % |
1096.27/1096.90 c | 889546 | 19043 109322 372751 | 2147483647 253918 122 | 7.437 % |
1096.57/1097.22 c | 889740 | 19043 109322 372751 | 2147483647 254112 122 | 7.437 % |
1096.77/1097.46 c | 889952 | 19043 109322 372751 | 2147483647 254324 122 | 7.437 % |
1097.17/1097.88 c | 890185 | 19043 109322 372751 | 254372 254557 122 | 7.437 % |
1097.57/1098.22 c | 890446 | 19043 109322 372751 | 254372 254818 122 | 7.437 % |
1097.67/1098.36 c | 890728 | 19043 109322 372751 | 254372 255100 122 | 7.437 % |
1098.37/1099.06 c | 891037 | 19043 109322 372751 | 254372 255409 122 | 7.437 % |
1098.87/1099.59 c | 891376 | 19043 109322 372751 | 254372 255747 122 | 7.452 % |
1099.47/1100.16 c | 891749 | 19043 109322 372751 | 254372 256120 122 | 7.452 % |
1100.27/1100.97 c | 892159 | 19043 109322 372751 | 254372 228292 117 | 7.452 % |
1101.17/1101.82 c | 892610 | 19043 109322 372751 | 254372 228743 117 | 7.452 % |
1101.86/1102.57 c | 893103 | 19043 109322 372751 | 254372 229236 117 | 7.452 % |
1102.57/1103.28 c | 893646 | 19043 109322 372751 | 254372 229779 117 | 7.452 % |
1103.36/1104.06 c | 894244 | 19043 109322 372751 | 254372 230377 117 | 7.452 % |
1104.26/1104.98 c | 894899 | 19043 109322 372751 | 254372 231032 117 | 7.452 % |
1105.06/1105.72 c | 895619 | 19043 109322 372751 | 254372 231752 116 | 7.452 % |
1106.46/1107.10 c | 896411 | 19043 109322 372751 | 254372 232544 117 | 7.452 % |
1107.56/1108.25 c | 897283 | 19043 109322 372751 | 254372 233416 116 | 7.452 % |
1108.66/1109.31 c | 898241 | 19043 109322 372751 | 254372 234374 116 | 7.452 % |
1110.06/1110.71 c | 899295 | 19043 109322 372751 | 254372 235428 116 | 7.452 % |
1111.66/1112.30 c | 900453 | 19043 109322 372751 | 236134 236586 116 | 7.452 % |
1113.56/1114.27 c | 901727 | 19043 109322 372751 | 236134 237860 116 | 7.452 % |
1115.56/1116.27 c | 903127 | 19043 109322 372751 | 236134 209945 110 | 7.452 % |
1118.05/1118.76 c | 904669 | 19043 109322 372751 | 236134 211487 110 | 7.452 % |
1120.55/1121.30 c | 906364 | 19043 109322 372751 | 236134 213182 111 | 7.452 % |
1123.25/1123.98 c | 908229 | 19043 109322 372751 | 236134 215047 111 | 7.452 % |
1125.65/1126.34 c | 910278 | 19043 109322 372751 | 2147483647 217096 111 | 7.452 % |
1128.95/1129.61 c | 912533 | 19043 109322 372751 | 2147483647 219351 112 | 7.452 % |
1134.84/1135.55 c | 915011 | 19043 109322 372751 | 2147483647 221829 113 | 7.452 % |
1137.94/1138.61 c | 917736 | 19040 109310 372716 | 2147483647 224552 113 | 7.452 % |
1142.44/1143.17 c | 920735 | 19040 109310 372716 | 2147483647 227551 114 | 7.452 % |
1146.54/1147.28 c | 924033 | 19040 109310 372716 | 2147483647 230849 114 | 7.452 % |
1153.83/1154.52 c | 927660 | 19040 109310 372716 | 2147483647 234476 115 | 7.452 % |
1161.53/1162.27 c | 931648 | 19040 109310 372716 | 2147483647 238464 117 | 7.452 % |
1167.62/1168.39 c | 936033 | 19040 109310 372716 | 2147483647 242849 117 | 7.452 % |
1177.52/1178.26 c | 940857 | 19038 109310 372716 | 2147483647 247672 119 | 7.466 % |
1185.12/1185.85 c | 946162 | 19038 109310 372716 | 2147483647 252977 119 | 7.466 % |
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1832417-1242772925/watcher-1832417-1242772925 -o /tmp/evaluation-result-1832417-1242772925/solver-1832417-1242772925 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832417-1242772925.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: 10240 KiB
[startup+0 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6331
/proc/meminfo: memFree=1972144/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0
/proc/6331/stat : 6331 (SatELiteGTI) R 6329 6331 6066 0 -1 4194304 290 249 0 0 0 0 0 0 18 0 1 0 305326288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418595827 0 0 4100 65536 0 0 0 17 0 0 0
/proc/6331/statm: 1339 237 197 169 0 50 0
[startup+0.0157479 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6331
/proc/meminfo: memFree=1972144/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305326288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6331/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.102757 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6331
/proc/meminfo: memFree=1972144/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305326288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6331/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.302778 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6331
/proc/meminfo: memFree=1972144/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305326288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6331/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+0.702823 s]
/proc/loadavg: 0.92 0.98 0.99 3/64 6331
/proc/meminfo: memFree=1972144/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 310 249 0 0 0 0 0 0 18 0 1 0 305326288 5484544 237 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 1 0 0
/proc/6331/statm: 1339 237 197 169 0 50 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 5356
[startup+1.50191 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 6337
/proc/meminfo: memFree=1962912/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=9444 CPUtime=0.52
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 2149 0 0 0 52 0 0 0 22 0 1 0 305326385 9670656 2135 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 2361 2135 77 171 0 2188 0
Current children cumulated CPU time (s) 1.47
Current children cumulated vsize (KiB) 14800
[startup+3.10109 s]
/proc/loadavg: 0.92 0.98 0.99 2/66 6337
/proc/meminfo: memFree=1957728/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=11032 CPUtime=2.12
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 2545 0 0 0 211 1 0 0 25 0 1 0 305326385 11296768 2531 1992294400 134512640 135215339 4294956256 18446744073709551615 134721382 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 2758 2531 77 171 0 2585 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 16388
[startup+6.30145 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 6337
/proc/meminfo: memFree=1955632/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=12860 CPUtime=5.31
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 2979 0 0 0 529 2 0 0 25 0 1 0 305326385 13168640 2965 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 3215 2965 77 171 0 3042 0
Current children cumulated CPU time (s) 6.26
Current children cumulated vsize (KiB) 18216
[startup+12.7012 s]
/proc/loadavg: 0.93 0.98 0.99 2/66 6337
/proc/meminfo: memFree=1952752/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=15620 CPUtime=11.69
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 3660 0 0 0 1167 2 0 0 25 0 1 0 305326385 15994880 3646 1992294400 134512640 135215339 4294956256 18446744073709551615 134528849 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 3905 3646 77 171 0 3732 0
Current children cumulated CPU time (s) 12.64
Current children cumulated vsize (KiB) 20976
[startup+25.5026 s]
/proc/loadavg: 0.95 0.98 0.99 2/66 6337
/proc/meminfo: memFree=1947888/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=20420 CPUtime=24.48
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 4865 0 0 0 2445 3 0 0 25 0 1 0 305326385 20910080 4851 1992294400 134512640 135215339 4294956256 18446744073709551615 134528748 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 5105 4851 77 171 0 4932 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 25776
[startup+51.1025 s]
/proc/loadavg: 0.96 0.98 0.99 2/66 6337
/proc/meminfo: memFree=1935664/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=32700 CPUtime=50.06
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 7912 0 0 0 5000 6 0 0 25 0 1 0 305326385 33484800 7898 1992294400 134512640 135215339 4294956256 18446744073709551615 134539363 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 8175 7898 77 171 0 8002 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 38056
[startup+102.306 s]
/proc/loadavg: 0.98 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1915504/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=52500 CPUtime=101.23
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 12888 0 0 0 10110 13 0 0 25 0 1 0 305326385 53760000 12874 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 13125 12874 77 171 0 12952 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 57856
[startup+162.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1892976/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=75084 CPUtime=161.19
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 18500 0 0 0 16101 18 0 0 25 0 1 0 305326385 76886016 18486 1992294400 134512640 135215339 4294956256 18446744073709551615 134532626 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 18771 18486 77 171 0 18598 0
Current children cumulated CPU time (s) 162.14
Current children cumulated vsize (KiB) 80440
[startup+222.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1877104/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=90660 CPUtime=221.16
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 22411 0 0 0 22094 22 0 0 25 0 1 0 305326385 92835840 22397 1992294400 134512640 135215339 4294956256 18446744073709551615 134528769 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 22665 22397 77 171 0 22492 0
Current children cumulated CPU time (s) 222.11
Current children cumulated vsize (KiB) 96016
[startup+282.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1870128/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=97788 CPUtime=281.12
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 24178 0 0 0 28088 24 0 0 25 0 1 0 305326385 100134912 24164 1992294400 134512640 135215339 4294956256 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 24447 24164 77 171 0 24274 0
Current children cumulated CPU time (s) 282.07
Current children cumulated vsize (KiB) 103144
[startup+342.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1859760/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=107820 CPUtime=341.09
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 26683 0 0 0 34082 27 0 0 25 0 1 0 305326385 110407680 26669 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 26955 26669 77 171 0 26782 0
Current children cumulated CPU time (s) 342.04
Current children cumulated vsize (KiB) 113176
[startup+402.303 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1859632/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=107820 CPUtime=401.07
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 26683 0 0 0 40079 28 0 0 25 0 1 0 305326385 110407680 26669 1992294400 134512640 135215339 4294956256 18446744073709551615 134529051 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 26955 26669 77 171 0 26782 0
Current children cumulated CPU time (s) 402.02
Current children cumulated vsize (KiB) 113176
[startup+462.302 s]
################
# More data... #
################
/proc/6337/statm: 33489 33208 77 171 0 33316 0
Current children cumulated CPU time (s) 581.92
Current children cumulated vsize (KiB) 139312
[startup+642.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1833008/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=133956 CPUtime=640.95
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 33222 0 0 0 64061 34 0 0 25 0 1 0 305326385 137170944 33208 1992294400 134512640 135215339 4294956256 18446744073709551615 134528728 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 33489 33208 77 171 0 33316 0
Current children cumulated CPU time (s) 641.9
Current children cumulated vsize (KiB) 139312
[startup+702.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1832944/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=133956 CPUtime=700.93
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 33222 0 0 0 70059 34 0 0 25 0 1 0 305326385 137170944 33208 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 33489 33208 77 171 0 33316 0
Current children cumulated CPU time (s) 701.88
Current children cumulated vsize (KiB) 139312
[startup+762.306 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1832880/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=133956 CPUtime=760.9
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 33222 0 0 0 76056 34 0 0 25 0 1 0 305326385 137170944 33208 1992294400 134512640 135215339 4294956256 18446744073709551615 134532732 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 33489 33208 77 171 0 33316 0
Current children cumulated CPU time (s) 761.85
Current children cumulated vsize (KiB) 139312
[startup+822.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1823344/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=143460 CPUtime=820.87
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 35600 0 0 0 82049 38 0 0 25 0 1 0 305326385 146903040 35586 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 35865 35586 77 171 0 35692 0
Current children cumulated CPU time (s) 821.82
Current children cumulated vsize (KiB) 148816
[startup+882.301 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1823280/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=143460 CPUtime=880.83
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 35600 0 0 0 88045 38 0 0 25 0 1 0 305326385 146903040 35586 1992294400 134512640 135215339 4294956256 18446744073709551615 134528682 0 0 4096 3 0 0 0 17 1 0 0
/proc/6337/statm: 35865 35586 77 171 0 35692 0
Current children cumulated CPU time (s) 881.78
Current children cumulated vsize (KiB) 148816
[startup+942.302 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1823152/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=143460 CPUtime=940.79
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 35600 0 0 0 94041 38 0 0 25 0 1 0 305326385 146903040 35586 1992294400 134512640 135215339 4294956256 18446744073709551615 134532678 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 35865 35586 77 171 0 35692 0
Current children cumulated CPU time (s) 941.74
Current children cumulated vsize (KiB) 148816
[startup+1002.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1822256/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=144384 CPUtime=1000.77
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 35847 0 0 0 100038 39 0 0 25 0 1 0 305326385 147849216 35833 1992294400 134512640 135215339 4294956256 18446744073709551615 134528717 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 36096 35833 77 171 0 35923 0
Current children cumulated CPU time (s) 1001.72
Current children cumulated vsize (KiB) 149740
[startup+1062.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1810352/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=156000 CPUtime=1060.73
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 38744 0 0 0 106031 42 0 0 25 0 1 0 305326385 159744000 38730 1992294400 134512640 135215339 4294956256 18446744073709551615 134525029 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 39000 38730 77 171 0 38827 0
Current children cumulated CPU time (s) 1061.68
Current children cumulated vsize (KiB) 161356
[startup+1122.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6339
/proc/meminfo: memFree=1810288/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=156000 CPUtime=1120.7
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 38744 0 0 0 112028 42 0 0 25 0 1 0 305326385 159744000 38730 1992294400 134512640 135215339 4294956256 18446744073709551615 134528666 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 39000 38730 77 171 0 38827 0
Current children cumulated CPU time (s) 1121.65
Current children cumulated vsize (KiB) 161356
[startup+1182.3 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6344
/proc/meminfo: memFree=1810032/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=156000 CPUtime=1180.67
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 38744 0 0 0 118025 42 0 0 25 0 1 0 305326385 159744000 38730 1992294400 134512640 135215339 4294956256 18446744073709551615 134529083 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 39000 38730 77 171 0 38827 0
Current children cumulated CPU time (s) 1181.62
Current children cumulated vsize (KiB) 161356
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6344
/proc/meminfo: memFree=1810032/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=156000 CPUtime=1199.07
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 38744 0 0 0 119865 42 0 0 25 0 1 0 305326385 159744000 38730 1992294400 134512640 135215339 4294956256 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 39000 38730 77 171 0 38827 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 161356
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1200.7 s]
/proc/loadavg: 0.99 0.98 0.99 2/66 6344
/proc/meminfo: memFree=1810032/2055920 swapFree=4179692/4192956
[pid=6331] ppid=6329 vsize=5356 CPUtime=0.95
/proc/6331/stat : 6331 (SatELiteGTI) S 6329 6331 6066 0 -1 4194304 336 8251 0 0 0 0 90 5 16 0 1 0 305326288 5484544 239 1992294400 4194304 4889804 548682068832 18446744073709551615 215418987332 0 65536 4100 65538 18446744071563356171 0 0 17 0 0 0
/proc/6331/statm: 1339 239 197 169 0 50 0
[pid=6337] ppid=6331 vsize=156000 CPUtime=1199.07
/proc/6337/stat : 6337 (minisat_static) R 6331 6331 6066 0 -1 4194304 38744 0 0 0 119865 42 0 0 25 0 1 0 305326385 159744000 38730 1992294400 134512640 135215339 4294956256 18446744073709551615 134538543 0 0 4096 3 0 0 0 17 0 0 0
/proc/6337/statm: 39000 38730 77 171 0 38827 0
Current children cumulated CPU time (s) 1200.02
Current children cumulated vsize (KiB) 161356
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 6331 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=905862
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=62990
# CPU time returned by wait4() is 0.968852
# while last known CPU time is 1200.02
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1200.71
CPU time (s): 1200.02
CPU user time (s): 1199.55
CPU system time (s): 0.47
CPU usage (%): 99.9424
Max. virtual memory (cumulated for all children) (KiB): 161356
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.905862
system time used= 0.06299
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 8587
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= 13
involuntary context switches= 9
runsolver used 0.972852 second user time and 3.50047 second system time
The end
Begin job on node9 at 2009-05-20 00:42:05
IDJOB=1832417
IDBENCH=69598
IDSOLVER=671
FILE ID=node9/1832417-1242772925
PBS_JOBID= 9322289
Free space on /tmp= 66508 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= BIN/runsolver --timestamp -w /tmp/evaluation-result-1832417-1242772925/watcher-1832417-1242772925 -o /tmp/evaluation-result-1832417-1242772925/solver-1832417-1242772925 -C 1200 -W 1800 -M 1800 SatELiteGTI HOME/instance-1832417-1242772925.cnf
TIME LIMIT= 1200 seconds
MEMORY LIMIT= 1800 MiB
MAX NB THREAD= 0
MD5SUM BENCH= f43e1bf70d9ce8021bafd328efc83ae7
RANDOM SEED=935613170
node9.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5914.62
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 15
model : 4
model name : Intel(R) Xeon(TM) CPU 3.00GHz
stepping : 3
cpu MHz : 3000.240
cache size : 2048 KB
fpu : yes
fpu_exception : yes
cpuid level : 5
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm syscall nx lm pni monitor ds_cpl cid cx16 xtpr
bogomips : 5586.94
clflush size : 64
cache_alignment : 128
address sizes : 36 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 2055920 kB
MemFree: 1972688 kB
Buffers: 11824 kB
Cached: 35688 kB
SwapCached: 7704 kB
Active: 27064 kB
Inactive: 29544 kB
HighTotal: 0 kB
HighFree: 0 kB
LowTotal: 2055920 kB
LowFree: 1972688 kB
SwapTotal: 4192956 kB
SwapFree: 4179692 kB
Dirty: 5704 kB
Writeback: 0 kB
Mapped: 13968 kB
Slab: 12648 kB
Committed_AS: 957276 kB
PageTables: 1392 kB
VmallocTotal: 536870911 kB
VmallocUsed: 264952 kB
VmallocChunk: 536605679 kB
HugePages_Total: 0
HugePages_Free: 0
Hugepagesize: 2048 kB
Free space on /tmp at the end= 66500 MiB
End job on node9 at 2009-05-20 01:02:08