Graph partition with MIP