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