pub fn print_stats( stdout: &mut StandardStream, duration: Duration, usage: usize, )
Prints the solving stats (elapsed time and allocated memory).