solutions: 7
nodes: 13  modelTime: 113  solveTime: 40  totalTime: 308  modelSize: 15470  readTime: 155