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