Search time is now reported in seconds with 3 decimals