real 5577.40
user 25496.64
sys 305.86