(1,11) (2,17) (3,18) (6,13) (7,12) (8,20) (9,19) (10,14) 
nodes: 321  conflicts: 29  modelTime: 717  solveTime: 691  totalTime: 1413  modelSize: 20646  readTime: 5 size: 8