Print statistics.
Output file. Use NULL for stderr.
Most detailed when using a debug build.
See Implementation
Print statistics.