add combine_result.awk: combine cplex outputs