solutions: 0 nodes: 8 modelTime: 200 solveTime: 300 totalTime: 1095 modelSize: 263003