real 3492.60
user 1448.06
sys 12.85