heatmap: time ticks from pksato