Print usage statistics on internal mutexes and mutexes associated with
dynamic predicates. For each mutex two numbers are printed: the number
of times the mutex was acquired and the number of collisions:
the number of times the calling thread has to wait for the mutex.
Generally collision count is close to zero on single-CPU hardware.