(1,11) (6,12) (7,19) (8,14) (9,17) (10,16) 
nodes: 138  conflicts: 29  modelTime: 696  solveTime: 353  totalTime: 1055  modelSize: 20646  readTime: 6 size: 6