optimizer: Print time