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