solutions: 0 nodes: 5 modelTime: 251 solveTime: 490 totalTime: 2042 modelSize: 340915