重播
重播
要重播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