solutions: 8
nodes: 23  modelTime: 149  solveTime: 246  totalTime: 872  modelSize: 123762