(2,16) (5,20) (7,18) (8,12) (9,19) (10,11) 
nodes: 445  conflicts: 32  modelTime: 656  solveTime: 727  totalTime: 1389  modelSize: 20646  readTime: 6 size: 6