DIMACS to CPLEX file