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