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

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

MemTotal:       1053268660 kB
MemFree:        1021989156 kB
MemAvailable:   1044105720 kB
Buffers:          283584 kB
Cached:         25345408 kB
SwapCached:            0 kB
Active:          3740600 kB
Inactive:       22006788 kB
Active(anon):     137860 kB
Inactive(anon):        0 kB
Active(file):    3602740 kB
Inactive(file): 22006788 kB
Unevictable:       15112 kB
Mlocked:           12040 kB
SwapTotal:             0 kB
SwapFree:              0 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:                 8 kB
Writeback:             0 kB
AnonPages:        134408 kB
Mapped:           128436 kB
Shmem:              9620 kB
KReclaimable:    1151944 kB
Slab:            1915072 kB
SReclaimable:    1151944 kB
SUnreclaim:       763128 kB
KernelStack:       30240 kB
PageTables:         4468 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    526634328 kB
Committed_AS:    1449336 kB
VmallocTotal:   133141626880 kB
VmallocUsed:      478572 kB
VmallocChunk:          0 kB
Percpu:            99840 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