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