(1,30) (2,16) (3,7) (4,8) (5,6) (9,15) (10,28) (11,23) (12,17) (13,21) (14,22) (18,27) (19,20) (24,25) 
nodes: 4742  conflicts: 66  modelTime: 949  solveTime: 16226  totalTime: 17186  modelSize: 72265  readTime: 11 size: 14