solutions: -1
nodes: 8  modelTime: 143  solveTime: 72  totalTime: 380  modelSize: 15489  readTime: 164