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