(1,7) (2,9) (3,29) (4,25) (5,27) (6,17) (8,21) (10,22) (11,26) (13,20) (14,16) (15,18) (19,23) (28,30) 
nodes: 9963  conflicts: 57  modelTime: 1731  solveTime: 39292  totalTime: 41043  modelSize: 72264  readTime: 20 size: 14