4 ms·

But the file is loaded in cat, which isn't timed

• icebraining 7y ago
  But the timed program still has to wait for cat to load the file. Both programs are launched (almost) simultaneously by the shell.
  • eMSF 7y ago
    The article only listed user and sys time usage, so technically that doesn't matter. That being said, in my experience those timings are not very accurate at this time scale; timing a program which takes just a few tenths to execute may report halving or doubling the user time between subsequent runs (and vice versa for systime).