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