Hi,
I want to try running the COIN-OR CBC solver in multithreaded mode. According to the documentation it says that "-p N" should do that together with "--enabled-cbc-parallel" (which I had to wrap inside "--cbcFlag", or else minizinc rejects it), but it doesn't seem to make any difference when I view the process in top. Am I doing something wrong?
The command I'm running is:
$ minizinc --solver cbc model.mzn -p 4 --cbcFlag enable-cbc-parallel
Cheers,
Gabriel