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