solutions: 0 nodes: 3 modelTime: 119 solveTime: 142 totalTime: 562 modelSize: 38676