(1,16) (2,25) (5,23) (6,21) (7,29) (8,18) (9,17) (10,20) (11,26) (13,27) (14,28) (15,22) 
nodes: 3162  conflicts: 50  modelTime: 666  solveTime: 5230  totalTime: 5914  modelSize: 41293  readTime: 18 size: 12