问题描述
我正在使用 OR-Tools / CP-sat 求解器解决 Python 中的优化问题。我使用的文件需要几个小时才能达到最佳解决方案。有什么方法可以在终端中查看进程的进展情况，例如迄今为止找到的最佳解决方案、经过的时间等......？我知道使用 cplex 求解器我们可以看到这一点。
谢谢
解决方法
首先，您需要在参数中添加 log_search_progress:true。
其次，一个很好的方法来加速解决它以使用多个工人。这是通过使用 num_search_workers:XXX 参数完成的。如果你有一台像样的机器，XXX=8 是好的。如果您有更强大的机器，您可以尝试 XXX=12 或 16（或更多）。