(1,20) (5,24) (6,19) (7,25) (8,18) (9,16) (11,23) (12,22) (14,26) 
nodes: 977  conflicts: 100  modelTime: 670  solveTime: 1061  totalTime: 1738  modelSize: 41300  readTime: 7 size: 9