real 11.90
user 26.81
sys 4.49