(1,19) (2,28) (3,7) (5,30) (6,13) (8,14) (9,26) (11,29) (12,21) (15,23) (16,22) (17,25) (18,27) (20,24) 
nodes: 11264  conflicts: 35  modelTime: 1101  solveTime: 30815  totalTime: 31939  modelSize: 72270  readTime: 23 size: 14