solutions: 4
nodes: 9  modelTime: 118  solveTime: 51  totalTime: 361  modelSize: 15470  readTime: 192