solutions: 10
nodes: 21  modelTime: 1176  solveTime: 3780  totalTime: 5163  modelSize: 92842  readTime: 206