real 12.77
user 17.85
sys 6.22