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