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