real 12.40
user 17.18
sys 6.08