This patch adds milliseconds to the time string used for logging. This helps when debugging some timing issues and should have no real negative side effect.