solutions: -1
nodes: 9  modelTime: 106  solveTime: 55  totalTime: 357  modelSize: 15470  readTime: 196