(1,19) (2,18) (4,16) (6,20) (7,17) (8,12) 
nodes: 416  conflicts: 43  modelTime: 670  solveTime: 531  totalTime: 1206  modelSize: 20646  readTime: 5 size: 6