dump prove trace in shutdown hook; ignore interrupted exception, it's not good to use anyway