solutions: 0 nodes: 3 modelTime: 145 solveTime: 246 totalTime: 783 modelSize: 123762