(2,20) (3,16) (4,19) (5,27) (6,29) (7,17) (8,23) (9,25) (10,28) (11,18) (12,22) (13,26) (14,21) (15,24) 
nodes: 28513  conflicts: 14  modelTime: 1218  solveTime: 68984  totalTime: 70211  modelSize: 41292  readTime: 9 size: 14