real 12.31
user 17.12
sys 6.43