#!/bin/bash
# 20160823
# Usage: filter-timing.sh <outfile> <N>

OUT=${1:?Output file required as arg 1}
N=${2:?N required as arg 2}

grep "^WR[0-9][0-9]" "$OUT" |awk '$2 == N {print}' "N=$N" | sort -gk 7