(1,19) (2,15) (4,12) (6,13) (8,20) (9,17) 
nodes: 359  conflicts: 39  modelTime: 665  solveTime: 390  totalTime: 1061  modelSize: 20646  readTime: 6 size: 6