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