re-enable output colors
coloring solving time by value