Added millisecond-accurate timestamp to JSON output