Add number of nodes to MIP_MMF output