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