Improve server.py UI

[brunoloureiro]

The current version of server.py prints every log received from the DUTs, which can get very chaotic.

Instead, for each machine, we could print:

-Status: running/rebooting/sleeping/etc.

• For machines running:

  • Benchmark duration (s)
  • Logs/sec
  • Time since last log (maybe round down so it shows 0 while active)
  • Program/benchmark name? (requires a readable name, maybe add an optional field in the command.json)
  • SDC count
    • maybe per run
    • maybe per program/benchmark (command.json)

• For machines being rebooted:

  • How many reboot attempts (currently)
  • How long since it was last active
  • How long since last reboot attempt (when the command was sent)
  • Program? (same as above)

• For machines sleeping (too many hard reboots failed):

  • How long until next attempt to reboot
  • How long since it was last active
  • How long since last reboot attempt (when the command was sent)
  • Program? (same as above)

The current efforts towards printing with curses is a nice start and could make this very readable.

I will help when possible :)