solutions: 6
nodes: 12  modelTime: 154  solveTime: 42  totalTime: 379  modelSize: 7735  readTime: 183