solutions: 0 nodes: 8 modelTime: 152 solveTime: 269 totalTime: 1042 modelSize: 263005