solutions: 3
nodes: 6  modelTime: 113  solveTime: 74  totalTime: 393  modelSize: 15470  readTime: 206