Replaced the current way to get KLEE's total memory usage with a new one, allowing KLEE's memory cap to be set to values greater than 2000 mb