~> sysinfo Kernel name: kernel_x86 built on: Apr 27 2016 03:54:02 version 0x1 4 Intel Core™ i5-4440, revision 306c3 running at 3092MHz CPU #0: "Intel(R) Core(TM) i5-4440 CPU @ 3.10GHz" Raw CPUID: 0x0306c3, Type 0, family 6, model 60, stepping 3, features 0xbfebfbff FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT PSE36 CFLUSH DS ACPI MMX FXSTR SSE SSE2 SS HTT TM PBE Extended Intel: 0x77fafbbf SSE3 PCLMULDQ DTES64 MONITOR DS-CPL VMX EST TM2 SSSE3 FMA CX16 xTPR PDCM PCID SSE4.1 SSE4.2 x2APIC MOVEB POPCNT TSC-DEADLINE AES XSAVE AVX F16C RDRND Extended AMD: type 0, family 0, model 0, stepping 0, features 0x2c100000 NX RDTSCP 64 Power Management Features: L2 Data cache fully associative, 1 lines/tag, 64 bytes/line L2 cache: 0 KB, 1-way set associative, 0 lines/tag, 63 bytes/line Unknown cache descriptor 0x63 Data TLB: 4k-byte pages, 4-way set associative, 64 entries Unknown cache descriptor 0x76 Unknown cache descriptor 0xff Unknown cache descriptor 0xb6 64-byte Prefetching Unknown cache descriptor 0xc1 CPU #1: "Intel(R) Core(TM) i5-4440 CPU @ 3.10GHz" Raw CPUID: 0x0306c3, Type 0, family 6, model 60, stepping 3, features 0xbfebfbff FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT PSE36 CFLUSH DS ACPI MMX FXSTR SSE SSE2 SS HTT TM PBE Extended Intel: 0x77fafbbf SSE3 PCLMULDQ DTES64 MONITOR DS-CPL VMX EST TM2 SSSE3 FMA CX16 xTPR PDCM PCID SSE4.1 SSE4.2 x2APIC MOVEB POPCNT TSC-DEADLINE AES XSAVE AVX F16C RDRND Extended AMD: type 0, family 0, model 0, stepping 0, features 0x2c100000 NX RDTSCP 64 Power Management Features: L2 Data cache fully associative, 1 lines/tag, 64 bytes/line L2 cache: 0 KB, 1-way set associative, 0 lines/tag, 63 bytes/line Unknown cache descriptor 0x63 Data TLB: 4k-byte pages, 4-way set associative, 64 entries Unknown cache descriptor 0x76 Unknown cache descriptor 0xff Unknown cache descriptor 0xb6 64-byte Prefetching Unknown cache descriptor 0xc1 CPU #2: "Intel(R) Core(TM) i5-4440 CPU @ 3.10GHz" Raw CPUID: 0x0306c3, Type 0, family 6, model 60, stepping 3, features 0xbfebfbff FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT PSE36 CFLUSH DS ACPI MMX FXSTR SSE SSE2 SS HTT TM PBE Extended Intel: 0x77fafbbf SSE3 PCLMULDQ DTES64 MONITOR DS-CPL VMX EST TM2 SSSE3 FMA CX16 xTPR PDCM PCID SSE4.1 SSE4.2 x2APIC MOVEB POPCNT TSC-DEADLINE AES XSAVE AVX F16C RDRND Extended AMD: type 0, family 0, model 0, stepping 0, features 0x2c100000 NX RDTSCP 64 Power Management Features: L2 Data cache fully associative, 1 lines/tag, 64 bytes/line L2 cache: 0 KB, 1-way set associative, 0 lines/tag, 63 bytes/line Unknown cache descriptor 0x63 Data TLB: 4k-byte pages, 4-way set associative, 64 entries Unknown cache descriptor 0x76 Unknown cache descriptor 0xff Unknown cache descriptor 0xb6 64-byte Prefetching Unknown cache descriptor 0xc1 CPU #3: "Intel(R) Core(TM) i5-4440 CPU @ 3.10GHz" Raw CPUID: 0x0306c3, Type 0, family 6, model 60, stepping 3, features 0xbfebfbff FPU VME DE PSE TSC MSR PAE MCE CX8 APIC SEP MTRR PGE MCA CMOV PAT PSE36 CFLUSH DS ACPI MMX FXSTR SSE SSE2 SS HTT TM PBE Extended Intel: 0x77fafbbf SSE3 PCLMULDQ DTES64 MONITOR DS-CPL VMX EST TM2 SSSE3 FMA CX16 xTPR PDCM PCID SSE4.1 SSE4.2 x2APIC MOVEB POPCNT TSC-DEADLINE AES XSAVE AVX F16C RDRND Extended AMD: type 0, family 0, model 0, stepping 0, features 0x2c100000 NX RDTSCP 64 Power Management Features: L2 Data cache fully associative, 1 lines/tag, 64 bytes/line L2 cache: 0 KB, 1-way set associative, 0 lines/tag, 63 bytes/line Unknown cache descriptor 0x63 Data TLB: 4k-byte pages, 4-way set associative, 64 entries Unknown cache descriptor 0x76 Unknown cache descriptor 0xff Unknown cache descriptor 0xb6 64-byte Prefetching Unknown cache descriptor 0xc1 7571374080 bytes free (used/max 913047552 / 8484421632) (cached 1078906880) 63768 semaphores free (used/max 1768 / 65536) 3834 ports free (used/max 262 / 4096) 3896 threads free (used/max 200 / 4096) 2024 teams free (used/max 24 / 2048) ~>