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