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