solutions: 6
nodes: 12  modelTime: 771  solveTime: 974  totalTime: 1887  modelSize: 38676  readTime: 142