(1,24) (2,25) (3,21) (4,29) (5,18) (6,19) (8,23) (9,28) (10,17) (11,16) (12,20) (15,27) 
nodes: 1356  conflicts: 71  modelTime: 668  solveTime: 1328  totalTime: 2004  modelSize: 41292  readTime: 8 size: 12