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