Change stdout outputs to stderr, to not break piped output
#12094
| Job | Run time |
|---|---|
| 7m 49s | |
| 7m 34s | |
| 28m 4s | |
| 21m 16s | |
| 20m 5s | |
| 7m 45s | |
| 10m 1s | |
| 10m 17s | |
| 28m 34s | |
| 24m 46s | |
| 20m 29s | |
| 17m 21s | |
| 18m 41s | |
| 7m 51s | |
| 18m 50s | |
| 17m 39s | |
| 0s | |
| 0s | |
| 4h 27m 2s |