Adding some callback retrieving time statistics for solver that can produce intermediate results #1064
| Job | Run time |
|---|---|
| 31s | |
| 1s | |
| 14s | |
| 37m 44s | |
| 3s | |
| 46m 9s | |
| 36m 3s | |
| 4m 26s | |
| 32m 23s | |
| 39m 55s | |
| 38m 16s | |
| 1m 25s | |
| 0s | |
| 0s | |
| 3h 57m 10s |
| Job | Run time |
|---|---|
| 31s | |
| 1s | |
| 14s | |
| 37m 44s | |
| 3s | |
| 46m 9s | |
| 36m 3s | |
| 4m 26s | |
| 32m 23s | |
| 39m 55s | |
| 38m 16s | |
| 1m 25s | |
| 0s | |
| 0s | |
| 3h 57m 10s |