real 4821.90
user 25855.51
sys 374.67