real 10.94
user 20.45
sys 3.44