solutions: 4
nodes: 7  modelTime: 1201  solveTime: 1666  totalTime: 3032  modelSize: 54154  readTime: 164