(1,20) (4,22) (5,26) (6,16) (7,29) (8,24) (9,23) (11,30) (13,21) 
nodes: 847  conflicts: 92  modelTime: 803  solveTime: 872  totalTime: 1681  modelSize: 41300  readTime: 6 size: 9