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