Fix: replace system_clock with high_resolution_clock