4 ms·

Good point, but so does a standard print call. Calling flush() after each write does bring the perf to 1.5MiB