use standard hash_maps for cp model_cache #3709
| Job | Run time |
|---|---|
| 1h 7m 39s | |
| 56m 28s | |
| 1h 29m 14s | |
| 1h 14m 18s | |
| 6m 47s | |
| 1h 6m 17s | |
| 1h 13m 10s | |
| 1h 25m 40s | |
| 6m 40s | |
| 7m 14s | |
| 1h 14m 23s | |
| 1h 7m 49s | |
| 6m 54s | |
| 9m 0s | |
| 1h 9m 29s | |
| 1h 16m 39s | |
| 56m 4s | |
| 1h 32m 12s | |
| 1h 9m 2s | |
| 1h 2m 3s | |
| 1h 8m 43s | |
| 1h 7m 48s | |
| 1h 7m 41s | |
| 1h 7m 43s | |
| 7m 37s | |
| 1h 7m 53s | |
| 7m 2s | |
| 7m 44s | |
| 1h 3m 46s | |
| 1h 22m 51s | |
| 1h 6m 28s | |
| 1h 0m 11s | |
| 1d 5h 12m 29s |