solutions: 7
nodes: 12  modelTime: 112  solveTime: 54  totalTime: 331  modelSize: 15470  readTime: 165