(1,19) (2,27) (3,21) (4,26) (5,25) (7,16) (8,22) (9,28) (10,18) (11,17) (12,29) (14,24) (15,23) 
nodes: 1963  conflicts: 21  modelTime: 661  solveTime: 3306  totalTime: 3973  modelSize: 41293  readTime: 6 size: 13