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