real 9.49
user 20.91
sys 3.44