really use time in k, not available for xargs (bash builtin)