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