reworked to work with a map instead of a vector so as to have the key = thread_id, and the value be the LP-clock