solutions: 4
nodes: 9  modelTime: 868  solveTime: 643  totalTime: 1654  modelSize: 38676  readTime: 143