solutions: 4
nodes: 9  modelTime: 648  solveTime: 470  totalTime: 1249  modelSize: 23205  readTime: 131