convert-hybrid-timestamp.py

#!/usr/bin/python

import time
import re
import sys

def convert_ts(ts_match):
  ts_i = int(ts_match.group(0))
  phys, logical = (ts_i >> 12, ts_i & ((1 << 12) - 1))
  phys_sec = phys / 1000000
  phys_micros = phys % 1000000
  f = time.strftime("%F %H:%M:%S", time.localtime(phys_sec))
  return "%s.%06d L=%d" % (f, phys_micros, logical)

for l in sys.stdin.xreadlines():
  print re.sub(r"\d{10,19}", convert_ts, l),