solutions: 4
nodes: 8  modelTime: 910  solveTime: 777  totalTime: 1853  modelSize: 54147  readTime: 166