readOutput(): Reset readChannel on processes so readyRead() is triggered correctly in standalone executions
readOutput(): Reset readChannel on processes so readyRead() is triggered correctly in standalone executions

MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE,MiniZinc/MiniZincIDE