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