solutions: 3
nodes: 6  modelTime: 1059  solveTime: 5651  totalTime: 6878  modelSize: 116136  readTime: 168