real 13.61
user 27.20
sys 7.47