(1,9) (2,27) (3,19) (4,28) (5,16) (6,8) (7,26) (10,12) (11,24) (13,20) (14,21) (15,22) (17,18) (23,25) (29,30) 
nodes: 165887  conflicts: 36  modelTime: 949  solveTime: 519497  totalTime: 520457  modelSize: 72275  readTime: 11 size: 15