solutions: 1
nodes: 4  modelTime: 1450  solveTime: 6511  totalTime: 8177  modelSize: 116049  readTime: 216