Name                                        ID   Mem VCPUs      State   Time(s)
Domain-0                                     0  1023     1     r----- 154706.1
server01.example.com                         1  1024     1     -b---- 167643.2
(null)                                   28441   789     1     --psc-      1.2
alsodying.example.com                    28448  1024     1     --psc-      1.4
