real 12.92
user 26.17
sys 6.87