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