(1,20) (2,26) (3,25) (4,21) (5,19) (6,23) (8,17) (9,27) (10,24) (11,28) (12,18) (14,16) (15,29) 
nodes: 537  conflicts: 37  modelTime: 662  solveTime: 953  totalTime: 1623  modelSize: 41293  readTime: 7 size: 13