solutions: 9
nodes: 20  modelTime: 109  solveTime: 131  totalTime: 535  modelSize: 38676