solutions: 0 nodes: 8 modelTime: 128 solveTime: 201 totalTime: 762 modelSize: 123767