code: def getFooter():
      
      return "# job finished in %i seconds at %s -- %s -- %s" %\
             (time.time() - global_starting_time,
              time.asctime(time.localtime(time.time())),
              " ".join(map(lambda x: "%5.2f" % x, os.times()[:4])),
              global_id)
docs: return a header string with command line options and
      timestamp.