meminfo - z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis

Return To z3-1.0.0-fdrop-inbounds-from-gep-mllvm-disable-oob-analysis System Information

MemTotal:       2377581852 kB
MemFree:        2344530064 kB
MemAvailable:   2361375348 kB
Buffers:          273788 kB
Cached:         25957756 kB
SwapCached:            0 kB
Active:          3946600 kB
Inactive:       22447164 kB
Active(anon):     185236 kB
Inactive(anon):        0 kB
Active(file):    3761364 kB
Inactive(file): 22447164 kB
Unevictable:       38088 kB
Mlocked:           35016 kB
SwapTotal:             0 kB
SwapFree:              0 kB
Zswap:                 0 kB
Zswapped:              0 kB
Dirty:                60 kB
Writeback:             0 kB
AnonPages:        200808 kB
Mapped:           198340 kB
Shmem:              8804 kB
KReclaimable:    1186036 kB
Slab:            2291968 kB
SReclaimable:    1186036 kB
SUnreclaim:      1105932 kB
KernelStack:       61392 kB
PageTables:         4436 kB
SecPageTables:         0 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    1188790924 kB
Committed_AS:    1217968 kB
VmallocTotal:   13743895347199 kB
VmallocUsed:      919032 kB
VmallocChunk:          0 kB
Percpu:           556032 kB
HardwareCorrupted:     0 kB
AnonHugePages:         0 kB
ShmemHugePages:        0 kB
ShmemPmdMapped:        0 kB
FileHugePages:         0 kB
FilePmdMapped:         0 kB
Unaccepted:            0 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
Hugetlb:               0 kB
DirectMap4k:      230172 kB
DirectMap2M:    12060672 kB
DirectMap1G:    2403336192 kB