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