(1,28) (3,29) (5,18) (6,16) (8,22) (9,30) (10,20) (11,24) (12,17) (13,23) 
nodes: 736  conflicts: 105  modelTime: 667  solveTime: 1097  totalTime: 1771  modelSize: 41300  readTime: 7 size: 10