Add solving time to info file for MIP_MMF