solutions: 6
nodes: 13  modelTime: 642  solveTime: 702  totalTime: 1434  modelSize: 30940  readTime: 90