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