Enable save_metric=1 and sources MCMC metric info from new JSON file
#1237
| Job | Run time |
|---|---|
| 2s | |
| 7m 21s | |
| 6m 25s | |
| 6m 38s | |
| 6m 51s | |
| 8m 25s | |
| 6m 27s | |
| 12m 14s | |
| 11m 53s | |
| 7m 27s | |
| 12m 42s | |
| 7m 21s | |
| 5m 27s | |
| 12m 23s | |
| 12m 20s | |
| 5m 22s | |
| 2h 9m 18s |