real 13.04
user 27.16
sys 7.30