(1,24) (2,28) (3,21) (4,16) (5,20) (6,23) (7,22) (8,30) (9,18) (10,27) (12,26) (13,17) (14,29) (15,25) 
nodes: 4727  conflicts: 33  modelTime: 655  solveTime: 7707  totalTime: 8369  modelSize: 41293  readTime: 6 size: 14