(1,19) (2,18) (3,27) (5,23) (8,25) (9,28) (10,21) (11,22) (12,29) (13,17) 
nodes: 925  conflicts: 81  modelTime: 664  solveTime: 823  totalTime: 1494  modelSize: 41300  readTime: 7 size: 10