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