real 10.71
user 20.49
sys 5.94