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