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