solutions: 0 nodes: 4 modelTime: 2127 solveTime: 2600 totalTime: 4965 modelSize: 341147