real 11.81
user 16.92
sys 6.40