(1,17) (2,21) (3,12) (4,5) (6,26) (8,16) (9,13) (11,24) (14,23) (15,27) (18,25) (19,28) (20,22) (29,30) 
nodes: 32572  conflicts: 27  modelTime: 976  solveTime: 214077  totalTime: 215064  modelSize: 72268  readTime: 11 size: 14