Or-Tools with Minizinc, multi threading support

[Alessio Pellegrino]

Good morning everyone.

I am using Or-Tools with minizinc, and I noticed that it works only in a 1-core or 8-core setup but not with intermediate values (2-7).  I saw that it is something that has been enforced in the code (https://github.com/google/or-tools/blob/7ee639cf6981a9beeba908cf543a50f4ee7413ad/ortools/flatzinc/cp_model_fz_solver.cc#L1701) and I was wondering why that decision was made. Is there any specific requirement that cannot be met with, for example, 4 cores?
Many thanks,

Alessio

[Laurent Perron]

https://github.com/google/or-tools/blob/stable/ortools/sat/docs/troubleshooting.md#improving-performance-with-multiple-workers

I manually enforce that you always use at least 8 workers. Performance is bad with the default set of workers with only 4 workers.

You can edit the set of active subsolvers as done in the same file.

Laurent Perron | Operations Research | lpe...@google.com | (33) 1 42 68 53 00

--
You received this message because you are subscribed to the Google Groups "or-tools-discuss" group.
To unsubscribe from this group and stop receiving emails from it, send an email to or-tools-discu...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/or-tools-discuss/6a182268-e815-464d-a457-7f613ca119e9n%40googlegroups.com.

[Alessio Pellegrino]

Okay, thank you!