real 12.37
user 20.90
sys 5.40