(1,2) (3,4) (5,28) (6,27) (7,22) (8,14) (9,10) (11,29) (12,18) (13,26) (15,20) (17,25) (21,30) (23,24) 
nodes: 8512  conflicts: 73  modelTime: 1791  solveTime: 33155  totalTime: 34970  modelSize: 72262  readTime: 24 size: 14