solutions: 0 nodes: 4 modelTime: 153 solveTime: 256 totalTime: 959 modelSize: 263001