4 1 Tue Aug 16 16:07:59 2016 6 2 Tue Aug 16 16:07:59 2016 12 4 Tue Aug 16 16:07:59 2016 24 6 Tue Aug 16 16:07:59 2016 36 7 Tue Aug 16 16:07:59 2016 48 8 Tue Aug 16 16:07:59 2016 60 10 Tue Aug 16 16:07:59 2016 120 14 Tue Aug 16 16:07:59 2016 180 16 Tue Aug 16 16:07:59 2016 240 18 Tue Aug 16 16:07:59 2016 360 22 Tue Aug 16 16:07:59 2016 720 28 Tue Aug 16 16:07:59 2016 840 30 Tue Aug 16 16:07:59 2016 1260 34 Tue Aug 16 16:07:59 2016 1680 38 Tue Aug 16 16:07:59 2016 2520 46 Tue Aug 16 16:07:59 2016 5040 58 Tue Aug 16 16:07:59 2016 7560 62 Tue Aug 16 16:07:59 2016 10080 70 Tue Aug 16 16:07:59 2016 15120 78 Tue Aug 16 16:08:00 2016 20160 82 Tue Aug 16 16:08:00 2016 25200 88 Tue Aug 16 16:08:00 2016 27720 94 Tue Aug 16 16:08:00 2016 45360 98 Tue Aug 16 16:08:02 2016 50400 106 Tue Aug 16 16:08:02 2016 55440 118 Tue Aug 16 16:08:03 2016 83160 126 Tue Aug 16 16:08:07 2016 110880 142 Tue Aug 16 16:08:13 2016 166320 158 Tue Aug 16 16:08:31 2016 Used 4.20 seconds of CPU time. Finished in about 46 seconds.