solutions: 3
nodes: 6  modelTime: 1190  solveTime: 4039  totalTime: 5381  modelSize: 92844  readTime: 152