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