Allow querying SolutionTime attribute (mentioned in the docs, but so far unimplemented)
#134
| Job | Run time |
|---|---|
| 15m 21s | |
| 21m 34s | |
| 22m 20s | |
| 13m 17s | |
| 20m 41s | |
| 13m 46s | |
| 21m 2s | |
| 36m 8s | |
| 22m 9s | |
| 3h 6m 18s |