solutions: 0 nodes: 3 modelTime: 147 solveTime: 310 totalTime: 894 modelSize: 123769