real 1712.24
user 1695.26
sys 16.80