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