added time_kcoloring