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