(1,21) (2,24) (3,20) (5,18) (6,29) (7,19) (8,26) (9,25) (12,17) (13,28) (14,22) (15,27) 
nodes: 759  conflicts: 64  modelTime: 661  solveTime: 1635  totalTime: 2303  modelSize: 41292  readTime: 7 size: 12