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