solutions: 0 nodes: 4 modelTime: 151 solveTime: 257 totalTime: 1010 modelSize: 263005