solutions: 4
nodes: 8  modelTime: 1214  solveTime: 5662  totalTime: 7102  modelSize: 116112  readTime: 226