BEGIN {
    max = 0.0;
    min = 1000000.0;
}

(! /^#/ ) {
    if ( $2 > max )
    {
	max = $3;
	maxtime = $1;
    }

    if ( $2 < min )
    {
	min = $3;
	mintime = $1;
    }

}

END {
    printf("Max %6.2f at %9.5f\n", max, maxtime);
    printf("Min %6.2f at %9.5f\n", min, mintime);
   }