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