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