Counted 900285 lines
It took  6245 wallclock secs ( 6242.69 usr +  1.87 sys =  6244.56 CPU)