As ugly as it is, combined the report printing into a single printf to prevent it from being broken up by concurrent threads