real 13.50
user 27.88
sys 4.84