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