4 1 Tue Aug 16 17:28:15 2016 6 2 Tue Aug 16 17:28:15 2016 12 4 Tue Aug 16 17:28:15 2016 24 6 Tue Aug 16 17:28:15 2016 36 7 Tue Aug 16 17:28:15 2016 48 8 Tue Aug 16 17:28:15 2016 60 10 Tue Aug 16 17:28:15 2016 120 14 Tue Aug 16 17:28:15 2016 180 16 Tue Aug 16 17:28:15 2016 240 18 Tue Aug 16 17:28:15 2016 360 22 Tue Aug 16 17:28:15 2016 720 28 Tue Aug 16 17:28:15 2016 840 30 Tue Aug 16 17:28:15 2016 1260 34 Tue Aug 16 17:28:15 2016 1680 38 Tue Aug 16 17:28:15 2016 2520 46 Tue Aug 16 17:28:15 2016 5040 58 Tue Aug 16 17:28:15 2016 7560 62 Tue Aug 16 17:28:15 2016 10080 70 Tue Aug 16 17:28:15 2016 15120 78 Tue Aug 16 17:28:16 2016 20160 82 Tue Aug 16 17:28:16 2016 25200 88 Tue Aug 16 17:28:17 2016 27720 94 Tue Aug 16 17:28:18 2016 45360 98 Tue Aug 16 17:28:23 2016 50400 106 Tue Aug 16 17:28:25 2016 55440 118 Tue Aug 16 17:28:27 2016 83160 126 Tue Aug 16 17:28:43 2016 Used 4.20 seconds of CPU time. Finished in about 41 seconds.