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