solutions: -1
nodes: 7  modelTime: 146  solveTime: 91  totalTime: 503  modelSize: 15485  readTime: 266