(2,22) (3,28) (4,26) (5,29) (6,21) (7,30) (9,16) (10,27) (11,24) (13,18) 
nodes: 496  conflicts: 64  modelTime: 795  solveTime: 612  totalTime: 1415  modelSize: 41293  readTime: 8 size: 10