(1,14) (2,6) (3,16) (4,15) (5,8) (7,25) (9,23) (10,12) (11,28) (13,17) (18,20) (19,21) (22,24) (26,30) (27,29) 
nodes: 52634  conflicts: 38  modelTime: 1693  solveTime: 269248  totalTime: 270956  modelSize: 72269  readTime: 15 size: 15