real 12.16
user 17.49
sys 6.42