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