solutions: -1
nodes: 7  modelTime: 112  solveTime: 65  totalTime: 394  modelSize: 15470  readTime: 217