python-2.7 - ConflictRefiner 不提供任何输出

Question

我正在使用带有 python 的 docplex 处理混合整数线性优化问题。在解决问题时，我得到的问题状态为 INTEGER INFEASIBLE。错误内容如下：行'Constraint1_358_36'不可行，所有条目都在隐含边界。我尝试了冲突优化模块来识别可能的冲突。但是，冲突优化器似乎需要无限的时间才能产生结果。可能的原因是什么？有没有其他方法来检测这种不可行的原因？型号详情如下：

Model: ABCD
 - number of variables: 175200
   - binary=70080, integer=0, continuous=105120
 - number of constraints: 402964
   - linear=402964
 - parameters: defaults
CPXPARAM_Read_DataCheck                          1
Row 'Constraint1_358_36' infeasible, all entries at implied bounds.
Presolve time = 0.56 sec. (411.93 ticks)

调用冲突细化器的代码如下：

conf = ConflictRefiner()                                   
conf.display_conflicts(conf.refine_conflict(model))