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