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