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