python/util/time_util.py

import time


def int_to_min_sec(i):
    return time.strftime('%M:%S', time.gmtime(i))