solutions: 2
nodes: 8  modelTime: 1431  solveTime: 5527  totalTime: 7230  modelSize: 116050  readTime: 272