solutions: -1
nodes: 9  modelTime: 133  solveTime: 67  totalTime: 370  modelSize: 15470  readTime: 170