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