(1,16) (2,4) (3,29) (5,12) (7,21) (8,19) (9,15) (10,20) (11,30) (13,14) (17,23) (18,28) (24,25) (26,27) 
nodes: 70607  conflicts: 33  modelTime: 1727  solveTime: 331743  totalTime: 333497  modelSize: 72265  readTime: 27 size: 14