Added detailed debugging information for deadlocks