solutions: 4
nodes: 8  modelTime: 1209  solveTime: 3034  totalTime: 4447  modelSize: 69638  readTime: 204