(1,15) (2,20) (3,16) (5,11) (6,14) (8,18) (9,19) (10,17) 
nodes: 266  conflicts: 33  modelTime: 672  solveTime: 466  totalTime: 1143  modelSize: 20646  readTime: 5 size: 8