(1,28) (2,20) (3,21) (4,16) (5,14) (6,8) (7,13) (9,25) (10,15) (11,22) (12,30) (17,24) (19,23) (26,27) 
nodes: 7304  conflicts: 23  modelTime: 1288  solveTime: 31677  totalTime: 32984  modelSize: 72263  readTime: 19 size: 14