Я использую Gurobi в Java с Java API Gurobi, и мне хотелось бы отслеживать полный объем памяти, занимаемый решением на основе Gurobi, для решения проблемы с другими решениями, такими как решатели SAT.
В моих тестах использовался профилировщик сборки мусора (GC) Java microbenchmarking (JMH), но я узнал, что этот профилировщик не включает в себя собственную память Gurobi, используемую во время решения.
Может ли кто-нибудь порекомендуйте метод измерения собственной памяти Гуроби поверх распределения кучи Java?
Подробнее здесь: https://stackoverflow.com/questions/790 ... bi-in-java
