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