solutions: 0
nodes: 6  modelTime: 179  solveTime: 255  totalTime: 1231  modelSize: 262998