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