Add time-stamps (in simulated milliseconds) to log file; add some more
javadoc