solutions: 3
nodes: 6  modelTime: 1063  solveTime: 3125  totalTime: 4385  modelSize: 69636  readTime: 196