2021/10/13 08:24:54 fuzzer started 2021/10/13 08:24:55 dialing manager at localhost:34573 2021/10/13 08:24:55 checking machine... 2021/10/13 08:24:55 checking revisions... 2021/10/13 08:24:55 testing simple program... 2021/10/13 08:24:55 Manager.Check call failed: machine check failed: got no fallback coverage: VM DIAGNOSIS: 08:24:55 Registers: info registers vcpu 0 RAX=00000000000001ff RBX=00000000000000f0 RCX=000000000000080f RDX=0000000000000000 RSI=0000000000000000 RDI=000000000000080f RBP=fffffff001076eb0 RSP=fffffff001076e98 R8 =0000000000001000 R9 =000000000000000c R10=0000000000000078 R11=ffffffffc8f79bb8 R12=0000000000000000 R13=ffffffffc8f79b00 R14=fffffff001076f10 R15=0000000000000000 RIP=ffffffffc20a7b1d RFL=00000083 [--S---C] CPL=0 II=0 A20=1 SMM=0 HLT=0 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=00000023b3eed965 RSI=0000000000000003 RDI=ffffffffc8f79dc0 RBP=fffffff000015fd8 RSP=fffffff000015fd8 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 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=00000023b029fda7 RSI=0000000000000003 RDI=ffffffffc8f7a080 RBP=fffffff000012fd8 RSP=fffffff000012fd8 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 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 ffffffffc8f7a080 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 info registers vcpu 3 RAX=000000000000003d RBX=ffffffffc8f7a340 RCX=ffffffffc8f7a348 RDX=00000023b657812b RSI=0000000000000003 RDI=ffffffffc8f7a340 RBP=fffffff00000ffd8 RSP=fffffff00000ffd8 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 ffffffffc8f7a340 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