solutions: 4
nodes: 9  modelTime: 1333  solveTime: 5858  totalTime: 7413  modelSize: 116113  readTime: 222