### uname -a: Linux mt-farm05 3.2.0-4-amd64 #1 SMP Debian 3.2.60-1+deb7u3 x86_64 GNU/Linux ### cat /proc/cpuinfo: processor : 0 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 0 cpu cores : 8 apicid : 0 initial apicid : 0 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.32 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 1 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 1 cpu cores : 8 apicid : 1 initial apicid : 1 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 4999.95 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 2 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 2 cpu cores : 8 apicid : 2 initial apicid : 2 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 3 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 3 cpu cores : 8 apicid : 3 initial apicid : 3 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.02 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 4 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 4 cpu cores : 8 apicid : 4 initial apicid : 4 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.06 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 5 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 5 cpu cores : 8 apicid : 5 initial apicid : 5 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.10 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 6 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 6 cpu cores : 8 apicid : 6 initial apicid : 6 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.08 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 7 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 7 cpu cores : 8 apicid : 7 initial apicid : 7 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.06 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 8 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 0 cpu cores : 8 apicid : 8 initial apicid : 8 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 4999.99 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 9 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 1 cpu cores : 8 apicid : 9 initial apicid : 9 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5004.97 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 10 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 2 cpu cores : 8 apicid : 10 initial apicid : 10 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 11 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 3 cpu cores : 8 apicid : 11 initial apicid : 11 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.03 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 12 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 4 cpu cores : 8 apicid : 12 initial apicid : 12 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 13 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 5 cpu cores : 8 apicid : 13 initial apicid : 13 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.02 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 14 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 6 cpu cores : 8 apicid : 14 initial apicid : 14 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 15 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 0 siblings : 16 core id : 7 cpu cores : 8 apicid : 15 initial apicid : 15 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 16 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 0 cpu cores : 8 apicid : 96 initial apicid : 96 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.16 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 17 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 1 cpu cores : 8 apicid : 97 initial apicid : 97 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.16 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 18 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 2 cpu cores : 8 apicid : 98 initial apicid : 98 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.11 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 19 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 3 cpu cores : 8 apicid : 99 initial apicid : 99 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 20 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 4 cpu cores : 8 apicid : 100 initial apicid : 100 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.02 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 21 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 5 cpu cores : 8 apicid : 101 initial apicid : 101 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.03 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 22 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 6 cpu cores : 8 apicid : 102 initial apicid : 102 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.03 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 23 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 7 cpu cores : 8 apicid : 103 initial apicid : 103 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.08 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 24 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 0 cpu cores : 8 apicid : 104 initial apicid : 104 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.03 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 25 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 1 cpu cores : 8 apicid : 105 initial apicid : 105 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.10 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 26 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 2 cpu cores : 8 apicid : 106 initial apicid : 106 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.13 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 27 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 3 cpu cores : 8 apicid : 107 initial apicid : 107 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.15 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 28 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 4 cpu cores : 8 apicid : 108 initial apicid : 108 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.14 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 29 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 5 cpu cores : 8 apicid : 109 initial apicid : 109 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.21 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 30 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 6 cpu cores : 8 apicid : 110 initial apicid : 110 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.12 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 31 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 3 siblings : 16 core id : 7 cpu cores : 8 apicid : 111 initial apicid : 111 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.10 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 32 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 0 cpu cores : 8 apicid : 32 initial apicid : 32 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.17 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 33 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 1 cpu cores : 8 apicid : 33 initial apicid : 33 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.18 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 34 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 2 cpu cores : 8 apicid : 34 initial apicid : 34 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.16 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 35 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 3 cpu cores : 8 apicid : 35 initial apicid : 35 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.17 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 36 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 4 cpu cores : 8 apicid : 36 initial apicid : 36 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.15 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 37 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 5 cpu cores : 8 apicid : 37 initial apicid : 37 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.05 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 38 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 6 cpu cores : 8 apicid : 38 initial apicid : 38 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.04 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 39 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 7 cpu cores : 8 apicid : 39 initial apicid : 39 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.06 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 40 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 0 cpu cores : 8 apicid : 40 initial apicid : 40 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.02 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 41 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 1 cpu cores : 8 apicid : 41 initial apicid : 41 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.05 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 42 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 2 cpu cores : 8 apicid : 42 initial apicid : 42 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.16 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 43 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 3 cpu cores : 8 apicid : 43 initial apicid : 43 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.07 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 44 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 4 cpu cores : 8 apicid : 44 initial apicid : 44 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.13 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 45 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 5 cpu cores : 8 apicid : 45 initial apicid : 45 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.12 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 46 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 6 cpu cores : 8 apicid : 46 initial apicid : 46 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 4999.96 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 47 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 1 siblings : 16 core id : 7 cpu cores : 8 apicid : 47 initial apicid : 47 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.20 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 48 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 0 cpu cores : 8 apicid : 64 initial apicid : 64 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.17 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 49 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 1 cpu cores : 8 apicid : 65 initial apicid : 65 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.17 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 50 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 2 cpu cores : 8 apicid : 66 initial apicid : 66 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.01 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 51 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 3 cpu cores : 8 apicid : 67 initial apicid : 67 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.06 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 52 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 4 cpu cores : 8 apicid : 68 initial apicid : 68 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.09 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 53 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 5 cpu cores : 8 apicid : 69 initial apicid : 69 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.03 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 54 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 6 cpu cores : 8 apicid : 70 initial apicid : 70 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.11 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 55 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 7 cpu cores : 8 apicid : 71 initial apicid : 71 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.08 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 56 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 0 cpu cores : 8 apicid : 72 initial apicid : 72 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.07 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 57 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 1 cpu cores : 8 apicid : 73 initial apicid : 73 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.07 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 58 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 2 cpu cores : 8 apicid : 74 initial apicid : 74 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.16 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 59 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 3 cpu cores : 8 apicid : 75 initial apicid : 75 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.08 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 60 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 4 cpu cores : 8 apicid : 76 initial apicid : 76 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 4999.99 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 61 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 5 cpu cores : 8 apicid : 77 initial apicid : 77 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.06 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 62 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 6 cpu cores : 8 apicid : 78 initial apicid : 78 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.18 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] processor : 63 vendor_id : AuthenticAMD cpu family : 21 model : 2 model name : AMD Opteron(tm) Processor 6380 stepping : 0 microcode : 0x6000822 cpu MHz : 2500.162 cache size : 2048 KB physical id : 2 siblings : 16 core id : 7 cpu cores : 8 apicid : 79 initial apicid : 79 fpu : yes fpu_exception : yes cpuid level : 13 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush mmx fxsr sse sse2 ht syscall nx mmxext fxsr_opt pdpe1gb rdtscp lm constant_tsc rep_good nopl nonstop_tsc extd_apicid amd_dcm aperfmperf pni pclmulqdq monitor ssse3 fma cx16 sse4_1 sse4_2 popcnt aes xsave avx f16c lahf_lm cmp_legacy svm extapic cr8_legacy abm sse4a misalignsse 3dnowprefetch osvw ibs xop skinit wdt lwp fma4 nodeid_msr tbm topoext perfctr_core arat cpb hw_pstate npt lbrv svm_lock nrip_save tsc_scale vmcb_clean flushbyasid decodeassists pausefilter pfthreshold bogomips : 5000.06 TLB size : 1536 4K pages clflush size : 64 cache_alignment : 64 address sizes : 48 bits physical, 48 bits virtual power management: ts ttp tm 100mhzsteps hwpstate [9] [10] ### cat /proc/meminfo: MemTotal: 264656428 kB MemFree: 232715832 kB Buffers: 971236 kB Cached: 25840988 kB SwapCached: 0 kB Active: 3614208 kB Inactive: 24971092 kB Active(anon): 1773704 kB Inactive(anon): 196 kB Active(file): 1840504 kB Inactive(file): 24970896 kB Unevictable: 32 kB Mlocked: 32 kB SwapTotal: 0 kB SwapFree: 0 kB Dirty: 65512 kB Writeback: 0 kB AnonPages: 1773432 kB Mapped: 77272 kB Shmem: 320 kB Slab: 727488 kB SReclaimable: 652856 kB SUnreclaim: 74632 kB KernelStack: 9104 kB PageTables: 14976 kB NFS_Unstable: 0 kB Bounce: 0 kB WritebackTmp: 0 kB CommitLimit: 132328212 kB Committed_AS: 7256820 kB VmallocTotal: 34359738367 kB VmallocUsed: 500156 kB VmallocChunk: 34124348048 kB HardwareCorrupted: 0 kB AnonHugePages: 0 kB HugePages_Total: 0 HugePages_Free: 0 HugePages_Rsvd: 0 HugePages_Surp: 0 Hugepagesize: 2048 kB DirectMap4k: 238052 kB DirectMap2M: 24901632 kB DirectMap1G: 243269632 kB ### date: Sat Apr 4 12:10:26 BST 2015 ### user: jenkins-slave ### ulimit -a: core file size (blocks, -c) 0 data seg size (kbytes, -d) unlimited scheduling priority (-e) 0 file size (blocks, -f) unlimited pending signals (-i) 2067012 max locked memory (kbytes, -l) 64 max memory size (kbytes, -m) unlimited open files (-n) 4096 pipe size (512 bytes, -p) 8 POSIX message queues (bytes, -q) 819200 real-time priority (-r) 0 stack size (kbytes, -s) unlimited cpu time (seconds, -t) unlimited max user processes (-u) 2067012 virtual memory (kbytes, -v) unlimited file locks (-x) unlimited ### timeout: timeout -s SIGINT 120 ### tool version info: 5.0 ### tool command: profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check ### full command line: profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/matmul.bin ### expected verification result: invalid ############################################################################### CBMC version 5.0 64-bit x86_64 linux Reading GOTO program from file Adding CPROVER library Function Pointer Removal Partial Inlining Generic Property Instrumentation Starting Bounded Model Checking Unwinding loop matmul.0 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.1 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 65 function matmul thread 0 Unwinding loop matmul.0 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.1 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 65 function matmul thread 0 Unwinding loop matmul.0 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.1 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 65 function matmul thread 0 Unwinding loop matmul.0 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.1 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 65 function matmul thread 0 Unwinding loop matmul.0 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.0 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 Unwinding loop matmul.1 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 65 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.4 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 69 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.4 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 69 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.4 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 69 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.4 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 69 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.2 iteration 1 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 2 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 3 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 4 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.2 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 71 function matmul thread 0 Unwinding loop matmul.3 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 70 function matmul thread 0 Unwinding loop matmul.4 iteration 5 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 69 function matmul thread 0 size of program expression: 3223 steps simple slicing removed 8 assignments Generated 3635 VCC(s), 2435 remaining after simplification Passing problem to propositional reduction converting SSA Running propositional reduction Post-processing Solving with MiniSAT 2.2.0 with simplifier 105 variables, 11 clauses SAT checker: negated claim is SATISFIABLE, i.e., does not hold Runtime decision procedure: 0.196s Building error trace Counterexample: State 3 file line 21 thread 0 ---------------------------------------------------- __CPROVER_thread_id=0 (0000000000000000000000000000000000000000000000000000000000000000) State 4 file line 57 thread 0 ---------------------------------------------------- __CPROVER_rounding_mode=0 (00000000000000000000000000000000) State 5 file line 22 thread 0 ---------------------------------------------------- __CPROVER_threads_exited=__CPROVER_threads_exited#1 (?) State 6 file line 23 thread 0 ---------------------------------------------------- __CPROVER_next_thread_id=0 (0000000000000000000000000000000000000000000000000000000000000000) State 7 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 58 thread 0 ---------------------------------------------------- c={ { 0, 0, 0, 0, 0, 0 }, { 0, 0, 0, 0, 0, 0 }, { 0, 0, 0, 0, 0, 0 }, { 0, 0, 0, 0, 0, 0 }, { 0, 0, 0, 0, 0, 0 }, { 0, 0, 0, 0, 0, 0 } } ({ { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 } }) State 8 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 46 thread 0 ---------------------------------------------------- a={ { 0, 0, 0, 0, 0, 0 }, { 0, 0, 9, 4, 7, 9 }, { 0, 12, 14, 15, 16, 11 }, { 0, 2, 3, 4, 5, 6 }, { 0, 4, 3, 2, 1, 2 }, { 0, 2, 7, 6, 4, 9 } } ({ { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000001001, 00000000000000000000000000000100, 00000000000000000000000000000111, 00000000000000000000000000001001 }, { 00000000000000000000000000000000, 00000000000000000000000000001100, 00000000000000000000000000001110, 00000000000000000000000000001111, 00000000000000000000000000010000, 00000000000000000000000000001011 }, { 00000000000000000000000000000000, 00000000000000000000000000000010, 00000000000000000000000000000011, 00000000000000000000000000000100, 00000000000000000000000000000101, 00000000000000000000000000000110 }, { 00000000000000000000000000000000, 00000000000000000000000000000100, 00000000000000000000000000000011, 00000000000000000000000000000010, 00000000000000000000000000000001, 00000000000000000000000000000010 }, { 00000000000000000000000000000000, 00000000000000000000000000000010, 00000000000000000000000000000111, 00000000000000000000000000000110, 00000000000000000000000000000100, 00000000000000000000000000001001 } }) State 9 file line 79 thread 0 ---------------------------------------------------- __CPROVER_pipe_count=0 (00000000000000000000000000000000) State 10 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 52 thread 0 ---------------------------------------------------- b={ { 0, 0, 0, 0, 0, 0 }, { 0, 0, 9, 4, 7, 9 }, { 0, 12, 14, 15, 16, 11 }, { 0, 2, 3, 4, 5, 6 }, { 0, 4, 3, 2, 1, 2 }, { 0, 2, 7, 6, 4, 9 } } ({ { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000000000 }, { 00000000000000000000000000000000, 00000000000000000000000000000000, 00000000000000000000000000001001, 00000000000000000000000000000100, 00000000000000000000000000000111, 00000000000000000000000000001001 }, { 00000000000000000000000000000000, 00000000000000000000000000001100, 00000000000000000000000000001110, 00000000000000000000000000001111, 00000000000000000000000000010000, 00000000000000000000000000001011 }, { 00000000000000000000000000000000, 00000000000000000000000000000010, 00000000000000000000000000000011, 00000000000000000000000000000100, 00000000000000000000000000000101, 00000000000000000000000000000110 }, { 00000000000000000000000000000000, 00000000000000000000000000000100, 00000000000000000000000000000011, 00000000000000000000000000000010, 00000000000000000000000000000001, 00000000000000000000000000000010 }, { 00000000000000000000000000000000, 00000000000000000000000000000010, 00000000000000000000000000000111, 00000000000000000000000000000110, 00000000000000000000000000000100, 00000000000000000000000000001001 } }) State 11 file line 30 thread 0 ---------------------------------------------------- __CPROVER_deallocated=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 12 file line 31 thread 0 ---------------------------------------------------- __CPROVER_dead_object=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 13 file line 32 thread 0 ---------------------------------------------------- __CPROVER_malloc_object=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 14 file line 33 thread 0 ---------------------------------------------------- __CPROVER_malloc_size=0 (0000000000000000000000000000000000000000000000000000000000000000) State 15 file line 34 thread 0 ---------------------------------------------------- __CPROVER_malloc_is_new_array=FALSE (0) State 16 file line 35 thread 0 ---------------------------------------------------- __CPROVER_memory_leak=NULL (0000000000000000000000000000000000000000000000000000000000000000) State 22 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 78 function main thread 0 ---------------------------------------------------- a=a[0] (0000001000000000000000000000000000000000000000000000000000000000) State 23 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 78 function main thread 0 ---------------------------------------------------- b=b[0] (0000001100000000000000000000000000000000000000000000000000000000) State 24 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 78 function main thread 0 ---------------------------------------------------- c=c[0] (0000010000000000000000000000000000000000000000000000000000000000) State 25 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 63 function matmul thread 0 ---------------------------------------------------- i=0 (00000000000000000000000000000000) State 26 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 63 function matmul thread 0 ---------------------------------------------------- j=0 (00000000000000000000000000000000) State 27 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 63 function matmul thread 0 ---------------------------------------------------- k=0 (00000000000000000000000000000000) State 28 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 65 function matmul thread 0 ---------------------------------------------------- i=1 (00000000000000000000000000000001) State 29 file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 66 function matmul thread 0 ---------------------------------------------------- j=1 (00000000000000000000000000000001) Violated property: file /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/snu/matmul.c line 67 function matmul array lower bound in c[(signed long int)i][(signed long int)j] 4 * (signed long int)j + -(24 * (signed long int)i + POINTER_OFFSET(c)) >= 0 VERIFICATION FAILED ############################################################################### ### exit code: 10 ### /usr/bin/time -v: Command exited with non-zero status 10 Command being timed: "profiling-merged-irep-cbmc --bounds-check --div-by-zero-check --pointer-check --signed-overflow-check --unsigned-overflow-check /srv/jenkins-slave/workspace/JOB-Profiling/llbmc-bench/build/snu/matmul.bin" User time (seconds): 3.02 System time (seconds): 0.05 Percent of CPU this job got: 99% Elapsed (wall clock) time (h:mm:ss or m:ss): 0:03.07 Average shared text size (kbytes): 0 Average unshared data size (kbytes): 0 Average stack size (kbytes): 0 Average total size (kbytes): 0 Maximum resident set size (kbytes): 20688 Average resident set size (kbytes): 0 Major (requiring I/O) page faults: 0 Minor (reclaiming a frame) page faults: 5272 Voluntary context switches: 1 Involuntary context switches: 6 Swaps: 0 File system inputs: 0 File system outputs: 2472 Socket messages sent: 0 Socket messages received: 0 Signals delivered: 0 Page size (bytes): 4096 Exit status: 10