solutions: 3
nodes: 8  modelTime: 924  solveTime: 3138  totalTime: 4251  modelSize: 69637  readTime: 189