solutions: 0 nodes: 6 modelTime: 152 solveTime: 267 totalTime: 1064 modelSize: 262998