solutions: 4
nodes: 9  modelTime: 1122  solveTime: 589  totalTime: 1891  modelSize: 54147  readTime: 180