(1,14) (2,15) (4,13) (5,11) (9,17) (10,19) 
nodes: 128  conflicts: 39  modelTime: 816  solveTime: 570  totalTime: 1393  modelSize: 20646  readTime: 6 size: 6