solutions: 3 nodes: 9 modelTime: 157 solveTime: 304 totalTime: 1142 modelSize: 262995