Waiting for domain win8 (domid 11) to die [pid 2474]
Domain 11 has been destroyed.