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