(1,16) (2,9) (3,30) (4,28) (5,19) (6,18) (7,10) (11,25) (12,22) (13,23) (14,24) (15,29) (17,27) (20,21) 
nodes: 8850  conflicts: 24  modelTime: 1190  solveTime: 34326  totalTime: 35528  modelSize: 72269  readTime: 11 size: 14