added some print commands for deadlock