real 13.01
user 26.55
sys 4.14