(1,19) (3,18) (4,16) (6,11) (7,15) (8,12) 
nodes: 432  conflicts: 34  modelTime: 718  solveTime: 841  totalTime: 1565  modelSize: 20646  readTime: 6 size: 6