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