Closed retroinspect closed 1 year ago
I wonder what is it mean by measuring memory usage with top.
top shows instant virtual memory usage and memory usage rate, but it soonly disappears as the process(cbmc) terminates.
top
I tried to utilize other softwares such as valgrind, but it seems not possible to setup the tools without sudo permission.
You can try grep ^VmPeak /proc/<process id>/status
grep ^VmPeak /proc/<process id>/status
Or you can try top -d 0.1| grep cbmc > mem_usage.txt where -d N indicates update frequency in second.
top -d 0.1| grep cbmc > mem_usage.txt
-d N
I wonder what is it mean by measuring memory usage with top.
top
shows instant virtual memory usage and memory usage rate, but it soonly disappears as the process(cbmc) terminates.I tried to utilize other softwares such as valgrind, but it seems not possible to setup the tools without sudo permission.