solutions: 0 nodes: 5 modelTime: 146 solveTime: 248 totalTime: 1138 modelSize: 263003