solutions: 5
nodes: 9  modelTime: 941  solveTime: 1633  totalTime: 2741  modelSize: 54155  readTime: 167