solutions: 7
nodes: 12  modelTime: 972  solveTime: 6066  totalTime: 7194  modelSize: 116052  readTime: 156