solutions: 4
nodes: 8  modelTime: 1116  solveTime: 1067  totalTime: 2383  modelSize: 116111  readTime: 200