(1,12) (2,13) (3,25) (5,7) (6,8) (9,23) (10,29) (11,22) (14,21) (15,17) (16,20) (18,28) (19,26) (27,30) 
nodes: 7825  conflicts: 81  modelTime: 980  solveTime: 27128  totalTime: 28119  modelSize: 72266  readTime: 11 size: 14