(2,17) (3,21) (4,13) (5,25) (6,19) (7,16) (8,23) (9,18) (10,20) (11,27) (15,26) (22,29) (24,28) 
nodes: 3669  conflicts: 43  modelTime: 939  solveTime: 17299  totalTime: 18250  modelSize: 72262  readTime: 12 size: 13