(1,18) (2,20) (5,12) (6,14) (7,16) (10,17) 
nodes: 512  conflicts: 43  modelTime: 685  solveTime: 625  totalTime: 1316  modelSize: 20646  readTime: 6 size: 6