solutions: -1
nodes: 8  modelTime: 103  solveTime: 32  totalTime: 274  modelSize: 15472  readTime: 139