IDS=$(cat out4.txt | grep 'posix-mutrace\|__env_setup+0x24a' | grep -B 1 '__env_setup+0x24a' | grep 'posix-mutrace' | sed -e 's/.*0x\([0-9a-f]*\).*/\1\\|/g' | tr -d '\n' | sed -e 's/\\|$//')
cat out4.txt | grep -e "$IDS" | grep posix-mutrace | grep -v backtrace | awk '{ print $6 };' | awk '{s+=$1} END {print s}'

