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