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