output timestamp, to help with debugging