(1,25) (2,26) (3,28) (4,18) (5,16) (6,22) (8,23) (10,17) (11,24) (12,21) (13,20) (14,27) (15,30) 
nodes: 3493  conflicts: 40  modelTime: 660  solveTime: 6257  totalTime: 6923  modelSize: 41293  readTime: 6 size: 13