meminfo - z3-1.0.0-Xclang-no-enable-noundef-analysis

Return To z3-1.0.0-Xclang-no-enable-noundef-analysis System Information

MemTotal:       1053268656 kB
MemFree:        1015059172 kB
MemAvailable:   1043648932 kB
Buffers:          370168 kB
Cached:         31411380 kB
SwapCached:            0 kB
Active:           831112 kB
Inactive:       31074108 kB
Active(anon):     143136 kB
Inactive(anon):        0 kB
Active(file):     687976 kB
Inactive(file): 31074108 kB
Unevictable:       15108 kB
Mlocked:           12036 kB
SwapTotal:             0 kB
SwapFree:              0 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:               268 kB
Writeback:             0 kB
AnonPages:        139500 kB
Mapped:           159580 kB
Shmem:              9628 kB
KReclaimable:    1793272 kB
Slab:            2619596 kB
SReclaimable:    1793272 kB
SUnreclaim:       826324 kB
KernelStack:       30528 kB
PageTables:         4768 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    526634328 kB
Committed_AS:    1612004 kB
VmallocTotal:   133141626880 kB
VmallocUsed:      479388 kB
VmallocChunk:          0 kB
Percpu:           116480 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
CmaTotal:          32768 kB
CmaFree:               0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB

Return To z3-1.0.0-Xclang-no-enable-noundef-analysis System Information