(1,29) (2,30) (3,22) (4,28) (5,18) (7,25) (8,17) (9,16) (11,24) (13,23) (14,20) (15,26) 
nodes: 10975  conflicts: 44  modelTime: 655  solveTime: 17211  totalTime: 17873  modelSize: 41293  readTime: 7 size: 12