(1,19) (2,20) (3,27) (4,21) (5,22) (6,24) (8,16) (9,25) (10,29) (11,17) (12,18) (13,28) (14,26) (15,23) 
nodes: 3345  conflicts: 34  modelTime: 664  solveTime: 5328  totalTime: 5999  modelSize: 41298  readTime: 7 size: 14