solutions: 0 nodes: 4 modelTime: 152 solveTime: 392 totalTime: 1113 modelSize: 263003