重播

重播

要重播Gurobi记录,可以发出以下命令:

> gurobi_cl recording000.grbr
您应该调整文件名以匹配您希望重播的文件。如果您的程序生成了多个录音文件,您将需要分别重播每个文件。

当重播开始时,你将看到的第一个输出如下所示:

*重放文件'recording000.grbr'
*重放*录像捕获周二9月13日19:28:48 2019
*回放*记录与Gurobi版本8.1.1 (linux64)

在此输出之后,重播将开始执行程序发出的命令…

*重放*加载新的Gurobi环境*重放*创建新的Gurobi模型(0 rows, 0 cols) *重放*更新Gurobi模型*重放*更改客观意义为-1 *重放*添加3个新变量

这将一直持续到录音文件结束。在这一点上,重播将打印出最终的运行时核算……

*重放*重放完成*重放* Gurobi API例程运行时:0.05s

如果您的程序泄漏了任何Gurobi模型或环境,您还可以在输出中看到:

*重放*模型泄漏:2 *重放*环境泄漏:1