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