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