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