solutions: -1
nodes: 5  modelTime: 133  solveTime: 62  totalTime: 450  modelSize: 15485  readTime: 255