solutions: 4
nodes: 8  modelTime: 1042  solveTime: 2769  totalTime: 3995  modelSize: 69657  readTime: 184