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