(1,19) (2,11) (5,12) (6,20) (9,13) (10,16) 
nodes: 213  conflicts: 39  modelTime: 639  solveTime: 423  totalTime: 1067  modelSize: 20646  readTime: 5 size: 6