solutions: 1
nodes: 9  modelTime: 8826  solveTime: 14232  totalTime: 23406  modelSize: 1693825