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