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