dc736eda

Lock file maintenance
Time to Start Worker time Duration Time to finish
Config 44s 1s 1s 45s
Eval 2m50s 3s 3s 2m53s
Build 22m35s 1h13m20s 1h13m29s 1h36m04s
Suite 44s 1h13m24s 1h35m20s 1h36m04s