(1,3) (2,5) (4,17) (6,27) (8,29) (9,30) (10,20) (11,28) (12,22) (13,25) (14,16) (15,23) (18,19) (24,26) 
nodes: 6804  conflicts: 61  modelTime: 1704  solveTime: 17006  totalTime: 18729  modelSize: 72264  readTime: 19 size: 14