Waiting for domain wxp (domid 3) to die [pid 1187]
Domain 3 has shut down, reason code 0 0x0
Action for shutdown reason code 0 is destroy
Domain 3 needs to be cleaned up: destroying the domain
Done. Exiting now