extract_json_from_time

parse_unix_time.sh

#!/usr/bin/bash

tfile=$1
usr=`rg "(\d+\.\d+)user" $tfile -or '$1'`
sys=`rg "(\d+\.\d+)system" $tfile -or '$1'`
elap=`rg "([\d:\.]+)elapsed" $tfile -or '$1'`
mem=`rg "(\d+)maxresident" $tfile -or '$1'`

tot_elap=`echo "$elap" | sed -E 's/(.*):(.+):(.+)/\1*3600+\2*60+\3/;s/(.+):(.+)/\1*60+\2/' | bc`

echo "{ "
echo "\"user\": $usr,"
echo "\"sys\": $sys,"
echo "\"elapsed\": $tot_elap,"
echo "\"mem\": $mem"
echo "}"