real 10103.65
user 16467.50
sys 5149.52