(1,28) (2,21) (3,18) (4,29) (5,23) (9,26) (10,24) (11,17) (13,27) (14,20) 
nodes: 556  conflicts: 76  modelTime: 665  solveTime: 986  totalTime: 1658  modelSize: 41300  readTime: 7 size: 10