(2,18) (3,30) (4,22) (5,26) (6,27) (7,17) (8,29) (9,24) (10,21) (11,23) (12,19) (13,28) (14,20) 
nodes: 10066  conflicts: 53  modelTime: 685  solveTime: 24017  totalTime: 24709  modelSize: 41292  readTime: 7 size: 13