(XEN) DEBUG vcpu_wake 450 ns=1640
(XEN) DEBUG schedule 1401 ns=480
(XEN) DEBUG schedule 1401 ns=590
(XEN) DEBUG schedule 1401 ns=980
(XEN) DEBUG vcpu_wake 450 ns=2080
(XEN) DEBUG schedule 1401 ns=330
(XEN) DEBUG schedule 1401 ns=800
(XEN) DEBUG vcpu_wake 450 ns=930
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=770
(XEN) DEBUG vcpu_wake 450 ns=800
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=800
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=800
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=790
(XEN) DEBUG vcpu_wake 450 ns=1510
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=780
(XEN) DEBUG schedule 1401 ns=250
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=780
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=770
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=760
(XEN) DEBUG vcpu_wake 450 ns=1170
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=760
(XEN) DEBUG vcpu_wake 450 ns=720
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=800
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=760
(XEN) DEBUG vcpu_wake 450 ns=780
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=760
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=770
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=770
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=780
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=700
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=760
(XEN) DEBUG vcpu_wake 450 ns=720
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=740
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=700
(XEN) DEBUG vcpu_wake 450 ns=720
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=780
(XEN) DEBUG vcpu_wake 450 ns=720
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=740
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=790
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=770
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=740
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=760
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=710
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=700
[B[B[B[B[B[B(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
[B[B[B[B(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=280
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=690
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=700
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=770
(XEN) DEBUG vcpu_wake 450 ns=720
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=690
(XEN) DEBUG vcpu_wake 450 ns=780
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=740
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=740
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=750
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=720
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=710
(XEN) DEBUG schedule 1401 ns=300
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=730
(XEN) DEBUG schedule 1401 ns=290
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=250
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=710
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=700
(XEN) DEBUG vcpu_wake 450 ns=690
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=730
(XEN) DEBUG vcpu_wake 450 ns=770
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=720
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=780
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=670
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=710
(XEN) DEBUG vcpu_wake 450 ns=760
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=700
(XEN) DEBUG vcpu_wake 450 ns=750
(XEN) DEBUG schedule 1401 ns=260
(XEN) DEBUG schedule 1401 ns=700
(XEN) DEBUG vcpu_wake 450 ns=740
(XEN) DEBUG schedule 1401 ns=270
(XEN) DEBUG schedule 1401 ns=700