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