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