solutions: 1
nodes: 4  modelTime: 830  solveTime: 872  totalTime: 1838  modelSize: 38676  readTime: 136