Results

Here is a small script to get some data out of your output.

#!/bin/bash
FILE=$1
shift

# last modified time
stat -c %y $FILE | cut -d'.' -f1

# slurm id
echo $FILE | cut -d'-' -f2 | cut -d'.' -f1

# Synch
grep -o "synch=[[:digit:]]" $FILE | cut -d'=' -f2

# Batch
grep -o "batch=[[:digit:]]* " $FILE | cut -d'=' -f2

# GVT
grep -o "gvt-interval=[[:digit:]]* " $FILE | cut -d'=' -f2

# End
grep -o "end=[[:digit:]]* " $FILE | cut -d'=' -f2

# Run Time
grep "Running" $FILE | cut -d' ' -f5

# Net Events
grep "Net Events" $FILE | tr -s ' ' | cut -d' ' -f4