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