Found mathematical model for contended cache lines in a skip list, simulation verifies result