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