(1,13) (3,23) (4,20) (5,24) (6,15) (8,22) (9,30) (10,18) (16,27) (17,19) (21,25) (26,28) 
nodes: 2866  conflicts: 84  modelTime: 1884  solveTime: 11635  totalTime: 13541  modelSize: 72262  readTime: 22 size: 12