real 10.50
user 20.35
sys 5.43