(1,13) (2,11) (3,12) (4,16) (5,14) (6,19) (9,18) 
nodes: 254  conflicts: 39  modelTime: 667  solveTime: 351  totalTime: 1024  modelSize: 20646  readTime: 6 size: 7