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