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