(1,11) (3,15) (4,14) (6,16) (8,20) (9,18) (10,17) 
nodes: 171  conflicts: 36  modelTime: 767  solveTime: 432  totalTime: 1205  modelSize: 20646  readTime: 6 size: 7