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