solutions: 4
nodes: 9  modelTime: 793  solveTime: 347  totalTime: 1267  modelSize: 30940  readTime: 127