real 1410.59
user 14527.27
sys 139.09