(1,16) (2,29) (3,17) (5,25) (6,26) (7,28) (8,22) (9,24) (10,18) (11,19) (12,21) (13,27) (15,20) 
nodes: 1017  conflicts: 41  modelTime: 664  solveTime: 1109  totalTime: 1792  modelSize: 41293  readTime: 19 size: 13