#200	DONE   cov: 1904 ft: 4876 corp: 14/35b lim: 4 exec/s: 0 rss: 63Mb
Done 200 runs in 0 second(s)
#200	DONE   cov: 89 ft: 90 corp: 1/1b lim: 4 exec/s: 0 rss: 56Mb
Done 200 runs in 0 second(s)
#200	DONE   cov: 2109 ft: 2298 corp: 3/6b lim: 4 exec/s: 0 rss: 145Mb
Done 200 runs in 0 second(s)
###### End of recommended dictionary. ######
Done 200 runs in 0 second(s)
#200	DONE   cov: 1859 ft: 2036 corp: 5/10b lim: 4 exec/s: 0 rss: 96Mb
Done 200 runs in 0 second(s)
#200	DONE   cov: 431 ft: 462 corp: 10/15b lim: 4 exec/s: 0 rss: 69Mb
Done 200 runs in 0 second(s)
#200	DONE   cov: 353 ft: 489 corp: 7/20b lim: 4 exec/s: 0 rss: 52Mb
Done 200 runs in 0 second(s)
#200	DONE   cov: 1978 ft: 2790 corp: 5/10b lim: 4 exec/s: 0 rss: 69Mb
Done 200 runs in 0 second(s)