solutions: 6
nodes: 13  modelTime: 827  solveTime: 1023  totalTime: 1999  modelSize: 38676  readTime: 149