Temporarily moved output to mip_solver to avoid lousy cplex memory problems