(1,16) (2,18) (3,20) (4,17) (5,13) (6,19) (8,11) 
nodes: 329  conflicts: 36  modelTime: 672  solveTime: 792  totalTime: 1469  modelSize: 20646  readTime: 5 size: 7