solutions: 4
nodes: 10  modelTime: 1292  solveTime: 1296  totalTime: 2734  modelSize: 38676  readTime: 146