real 11.50
user 21.09
sys 6.00