solutions: 0 nodes: 8 modelTime: 200 solveTime: 269 totalTime: 1127 modelSize: 263003