solutions: -1
nodes: 7  modelTime: 143  solveTime: 72  totalTime: 406  modelSize: 15489  readTime: 191