solutions: 0 nodes: 8 modelTime: 168 solveTime: 323 totalTime: 1200 modelSize: 355819