solutions: 8
nodes: 19  modelTime: 1094  solveTime: 4123  totalTime: 5369  modelSize: 92856  readTime: 152