[CP-SAT] more diversity in first solution workers #857
Job | Run time |
---|---|
1h 12m 5s | |
1h 13m 0s | |
1h 18m 43s | |
1h 13m 10s | |
1h 0m 24s | |
1h 3m 8s | |
1h 10m 45s | |
1h 5m 9s | |
58m 13s | |
1h 6m 2s | |
1h 9m 10s | |
1h 0m 57s | |
1h 1m 11s | |
1h 3m 59s | |
1h 13m 49s | |
1h 2m 55s | |
54m 24s | |
59m 56s | |
1h 5m 2s | |
59m 35s | |
1h 49m 5s | |
1h 46m 54s | |
1h 48m 13s | |
1h 50m 16s | |
52m 58s | |
57m 55s | |
1h 3m 6s | |
58m 50s | |
1d 8h 58m 54s |