solutions: -1
nodes: 6  modelTime: 134  solveTime: 32  totalTime: 336  modelSize: 15472  readTime: 170