solutions: 0 nodes: 8 modelTime: 222 solveTime: 351 totalTime: 1321 modelSize: 355819