2021/10/13 08:01:03 fuzzer started 2021/10/13 08:01:04 dialing manager at localhost:43653 2021/10/13 08:01:04 checking machine... 2021/10/13 08:01:04 checking revisions... 2021/10/13 08:01:04 testing simple program... 2021/10/13 08:01:04 Manager.Check call failed: machine check failed: got no fallback coverage: VM DIAGNOSIS: 08:01:04 Registers: info registers vcpu 0 RAX=000000000000003d RBX=ffffffffc8f79b00 RCX=ffffffffc8f79b08 RDX=0000001b2c8ade4e RSI=0000000000000003 RDI=ffffffffc8f79b00 RBP=fffffff001073fd8 RSP=fffffff001073fd8 R8 =0000000000001000 R9 =000000000000000c R10=0000000000000078 R11=ffffffffc8f79bb8 R12=0000000000000000 R13=ffffffffc8f79c48 R14=ffffffffc2000130 R15=0000000000000000 RIP=ffffffffc20aad51 RFL=00000246 [---Z-P-] CPL=0 II=0 A20=1 SMM=0 HLT=1 ES =0000 0000000000000000 ffffffff 00c00000 CS =0008 0000000000000000 00000000 00209900 DPL=0 CS64 [--A] SS =0010 0000000000000000 ffffffff 00809300 DPL=0 DS [-WA] DS =0000 0000000000000000 ffffffff 00c00000 FS =0000 0000300000349ca0 ffffffff 00c00000 GS =0000 ffffffffc8f79b00 ffffffff 00c00000 LDT=0000 0000000000000000 ffffffff 00c00000 TR =0028 ffffffffc90a8a40 00000068 00008b00 DPL=0 TSS64-busy GDT= ffff800000100374 00000037 IDT= ffffffffc8f72ef0 00000fff CR0=80010033 CR2=00007f7fff9fad00 CR3=0000000000101000 CR4=000506b0 DR0=0000000000000000 DR1=0000000000000000 DR2=0000000000000000 DR3=0000000000000000 DR6=00000000ffff0ff0 DR7=0000000000000400 EFER=0000000000000501 FCW=037f FSW=0000 [ST=0] FTW=00 MXCSR=00001f80 FPR0=0000000000000000 0000 FPR1=0000000000000000 0000 FPR2=0000000000000000 0000 FPR3=0000000000000000 0000 FPR4=0000000000000000 0000 FPR5=0000000000000000 0000 FPR6=0000000000000000 0000 FPR7=0000000000000000 0000 XMM00=00000000000000000000000000000000 XMM01=00000000000000000000000000000000 XMM02=00000000000000000000000000000000 XMM03=00000000000000000000000000000000 XMM04=00000000000000000000000000000000 XMM05=00000000000000000000000000000000 XMM06=00000000000000000000000000000000 XMM07=00000000000000000000000000000000 XMM08=00000000000000000000000000000000 XMM09=00000000000000000000000000000000 XMM10=00000000000000000000000000000000 XMM11=00000000000000000000000000000000 XMM12=00000000000000000000000000000000 XMM13=00000000000000000000000000000000 XMM14=00000000000000000000000000000000 XMM15=00000000000000000000000000000000 info registers vcpu 1 RAX=000000000000003d RBX=ffffffffc8f79dc0 RCX=ffffffffc8f79dc8 RDX=00000010fbb4fd88 RSI=0000000000000003 RDI=ffffffffc8f79dc0 RBP=fffffff000015fd8 RSP=fffffff000015fd8 R8 =0000000000000000 R9 =ffff80000d946fc8 R10=0000000000001000 R11=ffff80000d946000 R12=0000000000000000 R13=0000000000000000 R14=0000000000000000 R15=0000000000000000 RIP=ffffffffc20aad51 RFL=00000246 [---Z-P-] CPL=0 II=0 A20=1 SMM=0 HLT=1 ES =0000 0000000000000000 ffffffff 00c00000 CS =0008 0000000000000000 00000000 00209900 DPL=0 CS64 [--A] SS =0000 0000000000000000 ffffffff 00c00000 DS =0000 0000000000000000 ffffffff 00c00000 FS =0000 0000000000000000 ffffffff 00c00000 GS =0000 ffffffffc8f79dc0 ffffffff 00c00000 LDT=0000 0000000000000000 ffffffff 00c00000 TR =0028 ffff80000d94b720 00000068 00008b00 DPL=0 TSS64-busy GDT= ffff80000d94b792 00000037 IDT= ffffffffc8f72ef0 00000fff CR0=80010033 CR2=0000000000000000 CR3=0000000000101000 CR4=000506b0 DR0=0000000000000000 DR1=0000000000000000 DR2=0000000000000000 DR3=0000000000000000 DR6=00000000ffff0ff0 DR7=0000000000000400 EFER=0000000000000501 FCW=037f FSW=0000 [ST=0] FTW=00 MXCSR=00001f80 FPR0=0000000000000000 0000 FPR1=0000000000000000 0000 FPR2=0000000000000000 0000 FPR3=0000000000000000 0000 FPR4=0000000000000000 0000 FPR5=0000000000000000 0000 FPR6=0000000000000000 0000 FPR7=0000000000000000 0000 XMM00=00000000000000000000000000000000 XMM01=00000000000000000000000000000000 XMM02=00000000000000000000000000000000 XMM03=00000000000000000000000000000000 XMM04=00000000000000000000000000000000 XMM05=00000000000000000000000000000000 XMM06=00000000000000000000000000000000 XMM07=00000000000000000000000000000000 XMM08=697265732d6f6974726976004d564b2f XMM09=00000000000000000000000000000000 XMM10=00000000000000000000000000000000 XMM11=00000000000000000000000000000000 XMM12=00000000000000000000000000000000 XMM13=00000000000000000000000000000000 XMM14=00000000000000000000000000000000 XMM15=00000000000000000000000000000000 info registers vcpu 2 RAX=000000000000003d RBX=ffffffffc8f7a080 RCX=ffffffffc8f7a088 RDX=00000010fbb505bb RSI=0000000000000003 RDI=ffffffffc8f7a080 RBP=fffffff00000ffd8 RSP=fffffff00000ffd8 R8 =0000000000000000 R9 =ffff80000d947fc8 R10=0000000000001000 R11=ffff80000d947000 R12=0000000000000000 R13=0000000000000000 R14=0000000000000000 R15=0000000000000000 RIP=ffffffffc20aad51 RFL=00000246 [---Z-P-] CPL=0 II=0 A20=1 SMM=0 HLT=1 ES =0000 0000000000000000 ffffffff 00c00000 CS =0008 0000000000000000 00000000 00209900 DPL=0 CS64 [--A] SS =0000 0000000000000000 ffffffff 00c00000 DS =0000 0000000000000000 ffffffff 00c00000 FS =0000 0000000000000000 ffffffff 00c00000 GS =0000 ffffffffc8f7a080 ffffffff 00c00000 LDT=0000 0000000000000000 ffffffff 00c00000 TR =0028 ffff80000d94b920 00000068 00008b00 DPL=0 TSS64-busy GDT= ffff80000d94b992 00000037 IDT= ffffffffc8f72ef0 00000fff CR0=80010033 CR2=0000000000000000 CR3=0000000000101000 CR4=000506b0 DR0=0000000000000000 DR1=0000000000000000 DR2=0000000000000000 DR3=0000000000000000 DR6=00000000ffff0ff0 DR7=0000000000000400 EFER=0000000000000501 FCW=037f FSW=0000 [ST=0] FTW=00 MXCSR=00001f80 FPR0=0000000000000000 0000 FPR1=0000000000000000 0000 FPR2=0000000000000000 0000 FPR3=0000000000000000 0000 FPR4=0000000000000000 0000 FPR5=0000000000000000 0000 FPR6=0000000000000000 0000 FPR7=0000000000000000 0000 XMM00=00000000000000000000000000000000 XMM01=00000000000000000000000000000000 XMM02=00000000000000000000000000000000 XMM03=00000000000000000000000000000000 XMM04=00000000000000000000000000000000 XMM05=00000000000000000000000000000000 XMM06=00000000000000000000000000000000 XMM07=00000000000000000000000000000000 XMM08=697265732d6f6974726976004d564b2f XMM09=00000000000000000000000000000000 XMM10=00000000000000000000000000000000 XMM11=00000000000000000000000000000000 XMM12=00000000000000000000000000000000 XMM13=00000000000000000000000000000000 XMM14=00000000000000000000000000000000 XMM15=00000000000000000000000000000000 info registers vcpu 3 RAX=000000000000003d RBX=ffffffffc8f7a340 RCX=ffffffffc8f7a348 RDX=00000010fbb50e52 RSI=0000000000000003 RDI=ffffffffc8f7a340 RBP=fffffff000012fd8 RSP=fffffff000012fd8 R8 =0000000000000000 R9 =ffff80000d945fc8 R10=0000000000001000 R11=ffff80000d945000 R12=0000000000000000 R13=0000000000000000 R14=0000000000000000 R15=0000000000000000 RIP=ffffffffc20aad51 RFL=00000246 [---Z-P-] CPL=0 II=0 A20=1 SMM=0 HLT=1 ES =0000 0000000000000000 ffffffff 00000000 CS =0008 0000000000000000 00000000 00209900 DPL=0 CS64 [--A] SS =0000 0000000000000000 ffffffff 00000000 DS =0000 0000000000000000 ffffffff 00000000 FS =0000 0000000000000000 ffffffff 00000000 GS =0000 ffffffffc8f7a340 ffffffff 00000000 LDT=0000 0000000000000000 ffffffff 00000000 TR =0028 ffff80000d94b820 00000068 00008b00 DPL=0 TSS64-busy GDT= ffff80000d94b892 00000037 IDT= ffffffffc8f72ef0 00000fff CR0=80010033 CR2=0000000000000000 CR3=0000000000101000 CR4=000506b0 DR0=0000000000000000 DR1=0000000000000000 DR2=0000000000000000 DR3=0000000000000000 DR6=00000000ffff0ff0 DR7=0000000000000400 EFER=0000000000000501 FCW=037f FSW=0000 [ST=0] FTW=00 MXCSR=00001f80 FPR0=0000000000000000 0000 FPR1=0000000000000000 0000 FPR2=0000000000000000 0000 FPR3=0000000000000000 0000 FPR4=0000000000000000 0000 FPR5=0000000000000000 0000 FPR6=0000000000000000 0000 FPR7=0000000000000000 0000 XMM00=00000000000000000000000000000000 XMM01=00000000000000000000000000000000 XMM02=00000000000000000000000000000000 XMM03=00000000000000000000000000000000 XMM04=00000000000000000000000000000000 XMM05=00000000000000000000000000000000 XMM06=00000000000000000000000000000000 XMM07=00000000000000000000000000000000 XMM08=697265732d6f6974726976004d564b2f XMM09=00000000000000000000000000000000 XMM10=00000000000000000000000000000000 XMM11=00000000000000000000000000000000 XMM12=00000000000000000000000000000000 XMM13=00000000000000000000000000000000 XMM14=00000000000000000000000000000000 XMM15=00000000000000000000000000000000