solutions: 0 nodes: 6 modelTime: 242 solveTime: 489 totalTime: 2140 modelSize: 207775