solutions: 0 nodes: 8 modelTime: 154 solveTime: 259 totalTime: 1168 modelSize: 262995