(1,22) (2,5) (3,23) (4,12) (6,9) (7,21) (8,14) (10,26) (11,15) (13,24) (16,17) (18,28) (19,29) (20,30) (25,27) 
nodes: 8904  conflicts: 48  modelTime: 1695  solveTime: 26453  totalTime: 28189  modelSize: 72268  readTime: 41 size: 15