real 10.50
user 20.37
sys 5.30