real 11.50
user 16.85
sys 6.19