SCIP 求解器无限期运行

Question

我正在使用 SCIP 交互式 shell，从 LP 文件解决问题，求解器运行了几个小时，优化 GAP 没有任何改进，通常这个 MIP 问题由免费求解器在不到一秒的时间内解决。

这是控制台日志的一部分，几个小时都一样

 7564s|682700 |669166 | 20689k|  30.3 |4674M| 241 | 110 |1276 |1664 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7565s|682800 |669266 | 20693k|  30.3 |4675M| 241 |  61 |1276 |1670 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7565s|682900 |669354 | 20699k|  30.3 |4675M| 241 | 129 |1276 |1687 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7566s|683000 |669454 | 20701k|  30.3 |4675M| 241 | 102 |1276 |1677 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7567s|683100 |669554 | 20706k|  30.3 |4675M| 241 | 149 |1276 |1677 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7567s|683200 |669652 | 20709k|  30.3 |4676M| 241 | 106 |1276 |1666 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7568s|683300 |669746 | 20713k|  30.3 |4676M| 241 | 112 |1276 |1660 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7569s|683400 |669834 | 20716k|  30.3 |4679M| 241 | 139 |1276 |1656 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7569s|683500 |669934 | 20721k|  30.3 |4680M| 241 |  93 |1276 |1649 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 time | node  | left  |LP iter|LP it/n| mem |mdpt |frac |vars |cons |cols |rows |cuts |confs|strbr|  dualbound   | primalbound  |  gap   
 7570s|683600 |670034 | 20724k|  30.3 |4680M| 241 |  92 |1276 |1646 |1276 |1395 |   1 |  31k|  20k| 2.876849e+05 | 2.342078e+05 |  22.83%
 7571s|683700 |670134 | 20727k|  30.3 |4680M| 241 |  78 |1276 |1643 |1276 |1395 |   1 |  31k|  20k| 2.876848e+05 | 2.342078e+05 |  22.83%
 7571s|683800 |670234 | 20730k|  30.3 |4681M| 241 | 141 |1276 |1649 |1276 |1395 |   1 |  31k|  20k| 2.876848e+05 | 2.342078e+05 |  22.83%
 7572s|683900 |670318 | 20733k|  30.3 |4682M| 241 |   - |1276 |1642 |1276

我是否缺少某种终止参数，除了时间限制和优化差距，因为它们提供了非全局解决方案

Answer 1

如果您想完全控制求解过程，则可以使用事件处理程序自行检查对偶和原始绑定的进度。 您可以在此处找到一个示例，该示例展示了如何将事件处理程序添加到 SCIP。 在您的情况下，我建议捕获SCIP_EVENTTYPE_NODESOLVED事件，该事件在处理分支定界树的每个节点后引发。