(1,16) (2,23) (3,22) (4,27) (5,30) (6,28) (7,21) (8,26) (9,17) (10,25) (11,20) (12,24) (14,29) (15,19) 
nodes: 26772  conflicts: 17  modelTime: 1184  solveTime: 77757  totalTime: 78950  modelSize: 41292  readTime: 9 size: 14