solutions: -1
nodes: 3  modelTime: 104  solveTime: 56  totalTime: 352  modelSize: 15470  readTime: 191