Name                                      ID   Mem VCPUs      State   Time(s)
Domain-0                                   0   238     1     r-----    114.0
a1.split-horizon.org                       4   128     1     ------   3776.8
h1.split-horizon.org                       8   128     1     ------    532.6