(1,28) (2,16) (3,30) (4,17) (5,27) (7,21) (8,22) (9,25) (10,29) (11,19) (12,26) (14,23) (15,24) 
nodes: 8845  conflicts: 40  modelTime: 660  solveTime: 15287  totalTime: 15953  modelSize: 41293  readTime: 6 size: 13