Waiting for domain win7 (domid 20) to die [pid 11878]
Domain 20 has been destroyed.