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