solutions: -1
nodes: 4  modelTime: 111  solveTime: 12  totalTime: 218  modelSize: 7735  readTime: 95