real 12.80
user 19.96
sys 5.32