solutions: 4
nodes: 12  modelTime: 115  solveTime: 29  totalTime: 288  modelSize: 7735  readTime: 143