How to downsample timeseries in QuestDb?

Question

I have a table with metrics per box in QuestDb with columns

• Timestamp (designated timestamp)
• Machine (Symbol)
• CPU (double)

and I wan