(1,26) (2,30) (3,23) (4,28) (6,27) (7,24) (9,18) (11,29) (13,16) 
nodes: 805  conflicts: 79  modelTime: 664  solveTime: 698  totalTime: 1369  modelSize: 41300  readTime: 7 size: 9