solutions: 4
nodes: 9  modelTime: 218  solveTime: 104  totalTime: 353  modelSize: 10323  readTime: 31