Should this really be log level INFO? Imagine Crawljax running on 200 states, which isn't rare. Maybe this should be debug?