Fix bug #1591
| Job | Run time |
|---|---|
| 34m 59s | |
| 33m 46s | |
| 33m 35s | |
| 35m 57s | |
| 36m 14s | |
| 26m 25s | |
| 28m 0s | |
| 27m 16s | |
| 24m 48s | |
| 26m 15s | |
| 28m 54s | |
| 27m 13s | |
| 27m 14s | |
| 25m 4s | |
| 26m 37s | |
| 37m 28s | |
| 31m 12s | |
| 33m 12s | |
| 35m 34s | |
| 37m 49s | |
| 16m 43s | |
| 17m 13s | |
| 15m 9s | |
| 13m 17s | |
| 13m 15s | |
| 18m 9s | |
| 16m 31s | |
| 15m 8s | |
| 13m 49s | |
| 13m 1s | |
| 12h 49m 47s |