It had a bug due to an unexpected failure to communicate with an exchange price feed. I restarted it and will fix the bug.