Machine-check capabilities: 0x0000000000001c09
 family: 6 model: 44 stepping: 2 microcode: 31
 signature: 0x206c2
 Intel(R) Xeon(R) CPU           X5690  @ 3.47GHz
 9 error-reporting banks
Processor 12: IA32_MCG_STATUS: 0x0000000000000004
 IA32_MC1_STATUS(0x405): 0xbe00000000400e0f
 IA32_MC1_ADDR(0x406):   0x000000e1e7e1e000
 IA32_MC1_MISC(0x407):   0x0000000001000000
Processor 13: IA32_MCG_STATUS: 0x0000000000000004
 IA32_MC1_STATUS(0x405): 0xbe00000000400e0f
 IA32_MC1_ADDR(0x406):   0x000000e1e7e1e000
 IA32_MC1_MISC(0x407):   0x0000000001000000
Processor 14: IA32_MCG_STATUS: 0x0000000000000004
 IA32_MC1_STATUS(0x405): 0xbe00000000400e0f
 IA32_MC1_ADDR(0x406):   0x000000e1e7e1e000
 IA32_MC1_MISC(0x407):   0x0000000001000000
Processor 15: IA32_MCG_STATUS: 0x0000000000000004
 IA32_MC1_STATUS(0x405): 0xbe00000000400e0f
 IA32_MC1_ADDR(0x406):   0x000000e1e7e1e000
 IA32