Better output (now also to file)
syncing query with the full program
Timing