real 12.67
user 17.15
sys 6.26