Reduce memory usage by avoiding eager allocation of H #3504
| Job | Run time |
|---|---|
| 6s | |
| 31m 5s | |
| 32m 20s | |
| 34m 15s | |
| 44m 12s | |
| 35m 32s | |
| 31m 48s | |
| 40m 34s | |
| 41m 17s | |
| 35m 5s | |
| 10m 36s | |
| 13m 19s | |
| 12m 36s | |
| 12m 58s | |
| 26m 16s | |
| 24m 58s | |
| 26m 6s | |
| 25m 11s | |
| 49m 32s | |
| 48m 8s | |
| 50m 7s | |
| 49m 13s | |
| 11h 15m 14s |