Fix insufficient number width allocated when using -print-lines
#1334
| Job | Run time |
|---|---|
| 5m 19s | |
| 5m 37s | |
| 4m 10s | |
| 7m 28s | |
| 10m 59s | |
| 33m 33s |
-print-lines
#1334
| Job | Run time |
|---|---|
| 5m 19s | |
| 5m 37s | |
| 4m 10s | |
| 7m 28s | |
| 10m 59s | |
| 33m 33s |