solutions: 0 nodes: 6 modelTime: 162 solveTime: 313 totalTime: 1222 modelSize: 355818