java - JRE 使用 CPLEX LazyCallBack 检测到 fatal error

Question

我在使用 cplex 的 LazyCallback 运行针对库存路由问题的分支剪切法时遇到问题。

public class lazyConstraintCallback extends IloCplex.LazyConstraintCallback {

private IloCplex cplex;
private IloNumVar[][][][] x;
private IloNumVar[][][] y;
private int nbLocations;
private int horizon;
private int nbVehicles;
private double[][] graph;
private boolean subtour;

public lazyConstraintCallback (IloCplex cplex, IloNumVar[][][][] x, IloNumVar[][][] y, int nbLocations, int horizon, int nbVehicles, double[][] graph, boolean subtour) {
    this.cplex=cplex;
    this.x=x;
    this.y=y;
    this.nbLocations=nbLocations;
    this.horizon=horizon;
    this.nbVehicles=nbVehicles;
    this.graph=graph;
    this.subtour=subtour;
}

protected void main() throws IloException {
    this.graph= new double[this.nbLocations][this.nbLocations];
    for(int t=0;t<this.horizon;t++) {
        for(int k=0;k<this.nbVehicles;k++) {
            double tourlength=1;
            for(int i=1;i<this.nbLocations;i++) {
                if(getValue(y[i][t][k])>0.1) {
                    tourlength++;
                }
            }
            int[] subtour = null;
            if(tourlength>5) {
                for(int i=0;i<this.nbLocations;i++) {
                    for(int j=i+1;j<this.nbLocations;j++) {
                        graph[i][j]=getValue(x[i][j][t][k]);
                    }
                }
                subtour=this.getSubtours(graph, tourlength);
                if(this.subtour) {
                    IloLinearNumExpr expr = this.cplex.linearNumExpr();
                    for (int i=0;i<subtour.length; i++) {
                        for (int j=i+1;j<subtour.length;j++) {
                            if (subtour[i] < subtour[j]) {
                                expr.addTerm(1, this.x[subtour[i]][subtour[j]][t][k]);
                            } else {
                                expr.addTerm(1, this.x[subtour[j]][subtour[i]][t][k]);
                            }
                        }
                    }
                    IloRange SEC = this.cplex.le(expr, subtour.length-1);
                    this.cplex.addLazyConstraint(SEC);
                    System.out.println(SEC);
                }
            }
        }
    }
}

看来问题是在添加SEC剪切时出现的。但是，剪切似乎没有任何问题，如下所示:

IloRange  : -infinity <= (1.0*x_{2,5}^{1,2} + 1.0*x_{2,6}^{1,2} + 1.0*x_{5,6}^{1,2}) <= 2.0

如果有人有想法，我将不胜感激。

这是错误消息:

Java 运行时环境检测到 fatal error : SIGSEGV (0xb) 位于 pc=0x000000012cc5020b，pid=7202，tid=10499

JRE 版本:Java(TM) SE 运行时环境 (10.0.1+10)(内部版本 10.0.1+10) Java VM:Java HotSpot(TM) 64 位服务器 VM(10.0.1+10、混合模式、分层、压缩 oops、g1 gc、bsd-amd64) 有问题的框架: C [libcplex1271remotejni.jnilib+0x73920b] _72f67b7f5c69d5c29f1bcb05ad4e6d45+0x1b

不会写入核心转储。核心转储已被禁用。要启用核心转储，请在再次启动 Java 之前尝试“ulimit -c unlimited”

包含更多信息的错误报告文件另存为:/Users/faycal/Desktop/AcademicWork/info/workspace/IRP/hs_err_pid7202.log

如果您想提交错误报告，请访问: http://bugreport.java.com/bugreport/crash.jsp 崩溃发生在 Java 虚拟机之外的 native 代码中。 请参阅有问题的框架以了解在哪里报告错误。

Answer 1

问题出在这一行:

this.cplex.addLazyConstraint(SEC);

您在这里所做的是将惰性约束添加到模型静态惰性约束表中。由于这是模型的一部分，因此在优化期间不允许修改它。为了从回调添加惰性约束，请使用回调的 add() 方法:

add(SEC);