4 ms·

Apologies for that. The machine ran out of disk space as I wasn't garbage-collecting containers properly.