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