This closes #1572 #785
| Job | Run time |
|---|---|
| 13m 53s | |
| 13m 30s | |
| 15m 53s | |
| 14m 38s | |
| 16m 48s | |
| 10m 56s | |
| 13m 50s | |
| 14m 2s | |
| 14m 43s | |
| 14m 31s | |
| 18m 15s | |
| 16m 53s | |
| 13m 43s | |
| 14m 2s | |
| 12m 22s | |
| 13m 21s | |
| 17m 51s | |
| 19m 53s | |
| 14m 44s | |
| 14m 1s | |
| 13m 39s | |
| 13m 35s | |
| 18m 52s | |
| 18m 17s | |
| 21m 3s | |
| 16m 43s | |
| 18m 8s | |
| 16m 45s | |
| 22m 44s | |
| 18m 32s | |
| 7h 56m 7s |