solutions: 0 nodes: 3 modelTime: 152 solveTime: 262 totalTime: 1122 modelSize: 263005