[CP-SAT] fix presolve bug; fix callback bug #1521
| Job | Run time |
|---|---|
| 37m 57s | |
| 37m 49s | |
| 37m 34s | |
| 38m 11s | |
| 37m 39s | |
| 37m 59s | |
| 38m 28s | |
| 37m 47s | |
| 37m 58s | |
| 38m 6s | |
| 38m 7s | |
| 6h 57m 35s |
| Job | Run time |
|---|---|
| 37m 57s | |
| 37m 49s | |
| 37m 34s | |
| 38m 11s | |
| 37m 39s | |
| 37m 59s | |
| 38m 28s | |
| 37m 47s | |
| 37m 58s | |
| 38m 6s | |
| 38m 7s | |
| 6h 57m 35s |