No deadlocks found