Read state file, add precision to formatTime output