我一直在使用 OR-Tools，到目前为止我一直在使用默认参数。它在大多数情况下都能在不同的场景下正常工作。然而，有时计算永远不会停止。我已经设置了time_limit_ms参数，我看到默认情况下LocalSearchMetaheuristic设置为AUTOMATIC. 这意味着什么？被LocalSearchMetaheuristic选中的怎么样？总是GREEDY_DESCENT因为我不设置time_limit_ms吗？
我已经尝试用谷歌搜索它，但我没有找到任何声明此函数/参数的文档或代码。