solutions: -1
nodes: 4  modelTime: 148  solveTime: 18  totalTime: 252  modelSize: 7735  readTime: 86