Version: v9.10.4067
Language: Python
Solver: CP-SAT
I did a preliminary evaluation of my problem by running it many times with different options for num_search_worker and got the results as shown in the picture. Why is it that when using the most threads, most of the results are worse than using fewer threads (on same CPU)? How does num_search_worker work?