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