19 wallclock secs (17.36 usr +  0.94 sys = 18.30 CPU)