solutions: 9
nodes: 20  modelTime: 2375  solveTime: 2688  totalTime: 5329  modelSize: 341214