#! /usr/bin/awk -f BEGIN { pb=1e50; prerec=""; } /Time/ { next; } { b = $6 + $9; if (b < pb) { if (prerec != "") print prerec; } pb = b; prerec = $0; } END { if (prerec != "") print prerec; }