(2,21) (4,20) (5,23) (7,18) (8,22) (9,24) (10,28) (11,17) (12,19) (14,16) 
nodes: 367  conflicts: 66  modelTime: 809  solveTime: 687  totalTime: 1504  modelSize: 41300  readTime: 8 size: 10