real 12.40
user 20.97
sys 5.98