命令行中施加的时间限制似乎没有限制 运行 时间
Time limit imposed in command line does not seem to constraint run time
我正在尝试 运行 通过 bash 使用 OSICBC 求解器的 MiniZinc 模型，使用以下命令行参数（时间限制为 30000 毫秒或 30 秒）：
minizinc --solver osicbc model.mzn data.dzn --time-limit 30000 --output-time
但是仅仅这个运行，从执行命令到得到输出的整个过程大约需要一分钟，最后输出显示"Time Elapsed: 36.21s"。
这是在 运行 模型中施加时间限制的正确方法吗，其中所用的总时间包括从调用命令到在我的终端中显示输出的时间？
MiniZinc 2.2.0 中引入了 --time-limit 命令行标志，以允许用户限制 编译器和求解器 所花费的组合时间。它还引入了 --solver-time-limit 到 只是 限制求解器时间。
请注意，minizinc 将使求解器有一些额外的时间来输出他们的最终解决方案。
如果您遇到这些标志没有将求解器限制在指定的时间并且它们没有在给定限制的一秒内停止，那么这表明存在错误，我会邀请您进行错误报告： https://github.com/MiniZinc/libminizinc/issues
我正在尝试 运行 通过 bash 使用 OSICBC 求解器的 MiniZinc 模型，使用以下命令行参数（时间限制为 30000 毫秒或 30 秒）：
minizinc --solver osicbc model.mzn data.dzn --time-limit 30000 --output-time
但是仅仅这个运行，从执行命令到得到输出的整个过程大约需要一分钟，最后输出显示"Time Elapsed: 36.21s"。
这是在 运行 模型中施加时间限制的正确方法吗，其中所用的总时间包括从调用命令到在我的终端中显示输出的时间？
MiniZinc 2.2.0 中引入了 --time-limit 命令行标志，以允许用户限制 编译器和求解器 所花费的组合时间。它还引入了 --solver-time-limit 到 只是 限制求解器时间。
请注意，minizinc 将使求解器有一些额外的时间来输出他们的最终解决方案。
如果您遇到这些标志没有将求解器限制在指定的时间并且它们没有在给定限制的一秒内停止，那么这表明存在错误，我会邀请您进行错误报告： https://github.com/MiniZinc/libminizinc/issues