solutions: 0
nodes: 4  modelTime: 1155  solveTime: 5458  totalTime: 6797  modelSize: 116110  readTime: 184