Quick fix for final MILP time in output