我正在尝试通过bash使用OSICBC求解器运行MiniZinc模型，并带有以下命令行参数（时间限制为30000ms或30s）：
minizinc --solver osicbc model.mzn data.dzn --time-limit 30000 --output-time
但是对于这次运行，执行命令以获取输出的整个过程大约需要一分钟，并且输出显示最后“经过的时间：36.21s”。
这是在运行此模型时施加时间限制的正确方法吗，其中所花费的总时间包括从调用命令开始到在终端中显示输出的时间？
答案 0 :(得分：1)
MiniZinc 2.2.0中引入了--time-limit命令行标志，以允许用户限制编译器和求解器的组合时间。它还引入了--solver-time-limit来 just 限制求解器时间。
请注意，minizinc将使求解器有更多时间输出最终解决方案。
如果您遇到这些标志未将求解器限制在指定的时间并且它们没有在给定限制的一秒钟内停止，那么这将表明存在错误，我邀请您提交错误报告：{{ 3}}