solutions: 4
nodes: 9  modelTime: 1002  solveTime: 3585  totalTime: 4752  modelSize: 92844  readTime: 165