(2,17) (3,25) (4,22) (5,14) (6,19) (7,23) (8,12) (9,11) (13,27) (15,18) (16,21) (20,24) (26,28) (29,30) 
nodes: 168314  conflicts: 27  modelTime: 1695  solveTime: 683169  totalTime: 684883  modelSize: 72275  readTime: 19 size: 14