如何从CPLEX OPL导出最佳后处理可行解并生成结构化表格导出

配置前提 #

你已经在.ops文件中开启的postprocess feasible solutions功能是所有操作的基础——这个功能会让求解进程在触发内存报错、手动中断、到时间限制终止时，不直接清空内存中已经寻获的可行解，而是把解暂存到可读取的内存块，不会出现进程断了就完全拿不到解的情况。

绕开Solutions窗口向量展示的结构化解读取方法 #

IDE默认对带4个、5个索引的高维决策变量，会拍平成一维向量在Solutions窗口展示，没法直接对应索引梳理路径，不需要手动在窗口翻找，直接在模型末尾加自动执行的导出脚本即可：

脚本放置在你的.mod模型文件最后，求解进程不管什么原因终止（包括内存崩溃），只要postprocess选项开启，引擎就会在退出前自动执行这段逻辑，直接从内存暂存的解对象里遍历变量值，不会依赖IDE的解展示模块。

execute ExportStoredSolution {
    // 定义文本输出对象，生成结构化的CSV格式表格
    var solutionWriter = new IloOplOutputFile("vrp_solution_dump.csv");
    
    // 替换成你自己实际定义的变量、对应索引集即可
    // 例：4维变量x[起点,终点,附加约束维度,车辆编号]
    solutionWriter.writeln("=== 4维决策变量非零值表 ===");
    solutionWriter.writeln("起点节点,终点节点,附加约束维度,车辆编号,变量取值");
    for(var i in NodeSet1) 
        for(var j in NodeSet2) 
            for(var k in ExtraSet1) 
                for(var v in VehicleSet) {
            // 过滤接近0的冗余值，减少内存占用
            if (x[i][j][k][v].value > 1e-6) {
                solutionWriter.writeln(i,",",j,",",k,",",v,",",x[i][j][k][v].value);
            }
    }

    // 同理遍历5维变量
    solutionWriter.writeln("\n=== 5维决策变量非零值表 ===");
    solutionWriter.writeln("索引1,索引2,索引3,索引4,索引5,变量取值");
    for(var i in NodeSet1) 
        for(var j in NodeSet2) 
            for(var k in ExtraSet1) 
                for(var v in VehicleSet)
                    for(var t in TimeSet) {
            if (y[i][j][k][v][t].value > 1e-6) {
                solutionWriter.writeln(i,",",j,",",k,",",v,",",t,",",y[i][j][k][v][t].value);
            }
    }
    solutionWriter.close();
}

导出的CSV文件可以直接用Excel打开，按列对应所有索引值，完全可以用来梳理车辆路径。

直接导出为XLS格式的实现 #

不需要手动转换CSV格式，CPLEX OPL原生支持直接写入Excel文件，只需要把上面脚本里的输出对象做替换即可：

• 把IloOplOutputFile替换为IloOplExcelFile，新建的对象会直接生成后缀为.xls的二进制表格文件
• 按变量类型分不同sheet存储：4维变量存在sheet1，5维变量存在sheet2，对应列写入索引值和变量取值，保存时不需要额外格式转换

// 直接生成XLS文件的核心替换代码
var excelWriter = new IloOplExcelFile("final_vrp_solution.xls");
excelWriter.setSheet(0, "4维路径变量");
// 后续遍历变量时按行列位置写入单元格即可

内存不足场景下的注意事项 #

• 所有变量值的输出一定要加1e-6的阈值过滤，把趋近于0的冗余值跳过，避免本来就紧张的内存被额外占用，加速进程崩溃。
• 不要依赖IDE自带的Tabular Report生成功能：这个功能只有当求解器正常完成全流程、把完整解对象回传给IDE时才会触发，进程中途内存中断时IDE拿不到完整解，根本生成不了对应的表格。
• 如果内存崩溃的节点不可预测，可以把.ops里的求解时间限制提前设置成比你过往触发崩溃的时长早30-60秒，主动触发求解器的收尾流程，让导出脚本正常跑完，比等内存强制终止进程的可靠性更高。

内容的提问来源于stack exchange，提问作者purkai