solutions: 6
nodes: 17  modelTime: 132791  solveTime: 139010  totalTime: 272934  modelSize: 4950030  readTime: 1132