solutions: -1
nodes: 5  modelTime: 122  solveTime: 60  totalTime: 392  modelSize: 15470  readTime: 210