solutions: 3
nodes: 6  modelTime: 1115  solveTime: 1932  totalTime: 3223  modelSize: 54154  readTime: 176