real 19.90
user 11.35
sys 10.95