solutions: 0 nodes: 8 modelTime: 152 solveTime: 332 totalTime: 1057 modelSize: 262995