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