execution time bounded by timer thread make file works correctly