Fixed extra end-of-line in elapsed time messages
Fixed OVERLAPS message production
Fixed lock/unlock ordering in proxy