(1,14) (2,11) (5,15) (6,19) (8,16) (9,18) 
nodes: 374  conflicts: 39  modelTime: 768  solveTime: 447  totalTime: 1221  modelSize: 20646  readTime: 6 size: 6