real 11.80
user 17.27
sys 6.47