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