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