solutions: 6
nodes: 12  modelTime: 952  solveTime: 524  totalTime: 1621  modelSize: 54147  readTime: 145