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