0

我正在使用基于 SCIP (3.0.1) 的软件。我有一堆实验要执行，为此我想简单地为 SCIP 强制执行最大执行时间：如果您还没有找到最佳解决方案，那么无论如何在 x 秒后输出迄今为止找到的最佳解决方案。

现在我正在使用一个脚本，该脚本在所需时间后向绑定的 PID 进程发送信号中断，但它并非一直有效。我想用 SCIP 正确编码。听起来很简单，我找不到这样做的相关选项。

你有什么主意吗？

亲切的问候你的时间。

4

2 回答 2

3

有一个时间限制参数用于以秒为单位设置求解时间：

SCIPsetRealParam(scip, "limits/time", 600)

将此限制设置为 10 分钟。

在SCIP 文档中可以找到所有参数的列表。

于 2014-10-21T13:29:16.447 回答
1

您也可以通过设置来做到这一点。在交互式外壳中：

set limits time <your_timelimit>

或在设置文件中，您在解决之前读入：

limits/time = <your_timelimit>
于 2014-10-21T13:29:25.157 回答