solutions: 0 nodes: 3 modelTime: 167 solveTime: 325 totalTime: 1211 modelSize: 355823