(1,8) (2,7) (3,18) (4,11) (5,6) (9,28) (10,24) (13,29) (14,26) (15,21) (16,30) (17,20) (19,22) (25,27) 
nodes: 8952  conflicts: 46  modelTime: 1708  solveTime: 37780  totalTime: 39508  modelSize: 72266  readTime: 20 size: 14