solutions: 7
nodes: 12  modelTime: 142  solveTime: 83  totalTime: 455  modelSize: 15470  readTime: 230