solutions: 4
nodes: 9  modelTime: 1038  solveTime: 826  totalTime: 2036  modelSize: 54146  readTime: 171