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