solutions: -1
nodes: 9  modelTime: 114  solveTime: 49  totalTime: 356  modelSize: 15470  readTime: 193