real 12.33
user 17.16
sys 6.67