real 12.92
user 17.01
sys 6.52