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