Use unique_ptr to manage objects owned by the ScheduleDAGMI.