solutions: 6
nodes: 13  modelTime: 1075  solveTime: 366  totalTime: 1585  modelSize: 38676  readTime: 144