public void record(int time_sec){
  this.count++;
  this.total_time_sec+=time_sec;
  if (this.min_time_sec < 0)   this.min_time_sec=time_sec;
 else   this.min_time_sec=Math.min(this.min_time_sec,time_sec);
  this.max_time_sec=Math.max(this.max_time_sec,time_sec);
}

public void record ( int time_sec ) { this . count ++ ; this . total_time_sec += time_sec ; if ( this . min_time_sec < 0 ) this . min_time_sec = time_sec ; else this . min_time_sec = Math . min ( this . min_time_sec , time_sec ) ; this . max_time_sec = Math . max ( this . max_time_sec , time_sec ) ; }
record one execution instance time . later we might want to add more metrics for example , rows_read , etc
