real 11.39
user 21.33
sys 5.92