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