(1,12) (2,20) (3,27) (4,19) (5,14) (6,28) (7,24) (8,23) (9,25) (10,21) (11,15) (13,30) (16,22) (17,18) (26,29) 
nodes: 1321275  conflicts: 17  modelTime: 949  solveTime: 7610319  totalTime: 7611277  modelSize: 72264  readTime: 8 size: 15