solutions: 8
nodes: 15  modelTime: 1055  solveTime: 2364  totalTime: 3599  modelSize: 69620  readTime: 180