real 10.93
user 17.78
sys 5.87