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