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