real 13.40
user 27.00
sys 7.36